forked from m-webster/CSSLO
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtriorthogonal.txt
38 lines (38 loc) · 1.89 KB
/
triorthogonal.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
1 1 5 16 3 2 1 1 1 - -
2 x1x2+x3x4 7 24 3 2 2 2 1 1 1
3 x1x2+x3x4+x5x6 7 28 3 2 2 2 1 1 1
4 x1x2x3+x4x5x6 8 28 3 2 2 2 1 1 1
5 x1x2x3x4+x5x6x7x8 9 30 3 3 2 2 1 1 1
6 1 6 32 3 2 1 1 1 1 -
7 x1x2+x3 7 32 3 2 2 2 1 1 1
8 x2x3+x1x4+x5 7 32 3 2 2 2 1 1 1
9 (x1+1)x2x3+x1x4x5 8 32 3 2 2 2 1 1 1
10 x1x3x4+x1x2x5+x2x3x6 8 32 3 2 2 2 1 1 1
11 x1x2x4+x1x5x6+x2x3x7 8 32 3 2 2 2 1 1 1
12 x1x2x3x4+x1x2x3+(x1x2+x3x4)x5x6 9 32 3 2 2 2 2 2 1
13 x1x2x3x4+x2x3x4x5+x1x5x6x7 9 32 3 2 2 2 1 1 1
14 x1x2x3x5+x3x4x5x7+(x1x2x4+x1x2)x6 9 32 3 2 2 2 2 2 1
15 x1x2x3x4x5+(x1+1)x6x7x8x9 10 32 3 3 2 2 1 1 1
16 x1x2x3x4+(x1x2+x5x6)x7x8 9 34 3 3 2 2 2 2 1
17 x1x3+x4x5+x2x6+1 7 36 3 2 2 2 1 1 1
18 x2x3x5+x1x4x6+x1x2 8 36 3 2 2 2 1 1 1
19 x2x3x5+x1x6x7+(x1x2+x1x3)x4 8 36 3 2 2 2 1 1 1
20 x2x3x4+x1x3x5+x1x2x6+x1x4x7 8 36 3 2 2 2 1 1 1
21 x3x4x6+x1x2x7+(x2x3+x1x4)x5 8 36 3 2 2 2 1 1 1
22 x1x2x3+x2x3x4+x1x2x5+x1x2+(x1x3+x4x5)x6 8 36 3 2 2 2 1 1 1
23 (x1+x2)x5x6+(x1x2+x1x3)x4+(x2x3+x3x5+x4x6)x7 8 36 3 2 2 2 1 1 1
24 x1x2x3x4+x1x2x5x6+x3x4x5x7 9 36 3 2 2 2 2 2 1
25 x2x3x4x5+x1x2x4x7+x1x3x6x8 9 36 3 2 2 2 2 2 1
26 x1x2x4x5+x1x2x5x6+x1x3x4x7+x2x3x6x8 9 36 3 2 2 2 2 2 1
27 x1x2x3x4+x1x3x5x6+(x1x2x5+x2x4x6)x7 9 36 3 2 2 2 2 2 1
28 x2x3x4x5+(x1+x2)x4x5x6+x1x2x3x7+x1x3x6x8 9 36 3 2 2 2 2 2 1
29 x1x2x4x6+x1x2x3x7+(x4x5x6+x3x5x7)x8 9 36 3 2 2 2 2 2 1
30 x1x2x3x4x5+x3x4x6x7x8+(x5+1)x6x7x8x9 10 36 3 3 2 2 2 2 1
31 x1x2x3x4+x2x3x7x8+(x1x2+x1x4)x5x6 9 38 3 3 2 2 2 2 1
32 x1x2x3x5+x1x2x4x6+x2x4x5x7+x1x3x6x8 9 38 3 3 2 2 2 2 1
33 x1x2x4x5+x1x4x5x6+(x2x3x4+x1x5x6)x7+(x1x2x3+x1x2x6+x2x3x7)x8 9 38 3 3 3 2 2 2 1
34 x1x2x3x4+x2x4x5x6+x1x5x6x7+x1x3x7x8 9 38 3 3 2 2 2 2 1
35 x1x2x3x4+x1x2x3x5+x1x5x7x8+(x2x3x4+x1x4x5)x6 9 38 3 3 2 2 2 2 1
36 x1x2x3x4x5+x4x5x6x7x8+x3x6x7x8x9 10 38 3 3 2 2 2 2 1
37 x1x2x3x4x5+x3x4x6x7x8+(x2x5x6x7+x2x6x7x8)x9 10 38 3 3 2 2 2 2 1
38 x1x2x3x4x5x6+(x10x3x4+x10x5x6+x10x5)x7x8x9 11 38 3 3 2 2 2 2 1