# ninja log v5
0	1049	1687422310988622382	out/proof/Regular	5733ceae28c5e680
