1, a, a12
2, a, a12t3
3, a, a13
4, a, a13t2
5, a, a23
6, a, a23t1
7, p, p
8, p, p1
9, p, p12
10, p, p123
11, p, p13
12, p, p2
13, p, p23
14, p, p3
15, A, a12+a12t3+a13+a13t2
16, A, a12+a12t3+a23+a23t1
17, A, a13+a13t2+a23+a23t1
18, B, a12+a12t3+a13+a13t2+2*p+2*p1
19, B, a12+a12t3+a23+a23t1+2*p+2*p2
20, B, a13+a13t2+a23+a23t1+2*p+2*p3
21, B, a12+a12t3+a23+a23t1+2*p1+2*p12
22, B, a13+a13t2+a23+a23t1+2*p1+2*p13
23, B, a12+a12t3+a13+a13t2+2*p2+2*p12
24, B, a13+a13t2+a23+a23t1+2*p2+2*p23
25, B, a12+a12t3+a13+a13t2+2*p3+2*p13
26, B, a12+a12t3+a23+a23t1+2*p3+2*p23
27, B, a13+a13t2+a23+a23t1+2*p12+2*p123
28, B, a12+a12t3+a23+a23t1+2*p13+2*p123
29, B, a12+a12t3+a13+a13t2+2*p23+2*p123
30, C, a12+a13t2+2*p2+2*p12
31, C, a23+a12t3+2*p3+2*p23
32, C, a23+a13t2+2*p2+2*p23
33, C, a13t2+a23t1+2*p12+2*p123
34, C, a12t3+a13t2+2*p23+2*p123
35, C, a12t3+a23t1+2*p13+2*p123