proof-10000.n3 548 KB