# ninja log v5
0	1246	1687422307138243029	out/proof/Regular	111051bd9e283b88
