Our logs for N3 in N3regular