/
out_g43_forbidden_monochrome_3star.txt
184 lines (184 loc) · 23.2 KB
/
out_g43_forbidden_monochrome_3star.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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
+ ./Singular/Singular/Singular -q --no-rc -e 2>&1 < "g43_forbidden_monochrome_3star.s"
STDIN 1> // n=4 c=3
STDIN 2. // total variables: 54
STDIN 3. // total constraints: 81
STDIN 4. ring R = QQ[
STDIN 5. w0100, w0101, w0102, w0110, w0111, w0112, w0120, w0121, w0122,
STDIN 6. w0200, w0201, w0202, w0210, w0211, w0212, w0220, w0221, w0222,
STDIN 7. w0300, w0301, w0302, w0310, w0311, w0312, w0320, w0321, w0322,
STDIN 8. w1200, w1201, w1202, w1210, w1211, w1212, w1220, w1221, w1222,
STDIN 9. w1300, w1301, w1302, w1310, w1311, w1312, w1320, w1321, w1322,
STDIN 10. w2300, w2301, w2302, w2310, w2311, w2312, w2320, w2321, w2322];
STDIN 11> ideal I =
STDIN 12. w0100*w2300 + w0200*w1300 + w0300*w1200 - 1,
STDIN 13. w0100*w2301 + w0200*w1301 + w0301*w1200,
STDIN 14. w0100*w2302 + w0200*w1302 + w0302*w1200,
STDIN 15. w0100*w2310 + w0201*w1300 + w0300*w1201,
STDIN 16. w0100*w2311 + w0201*w1301 + w0301*w1201,
STDIN 17. w0100*w2312 + w0201*w1302 + w0302*w1201,
STDIN 18. w0100*w2320 + w0202*w1300 + w0300*w1202,
STDIN 19. w0100*w2321 + w0202*w1301 + w0301*w1202,
STDIN 20. w0100*w2322 + w0202*w1302 + w0302*w1202,
STDIN 21. w0101*w2300 + w0200*w1310 + w0300*w1210,
STDIN 22. w0101*w2301 + w0200*w1311 + w0301*w1210,
STDIN 23. w0101*w2302 + w0200*w1312 + w0302*w1210,
STDIN 24. w0101*w2310 + w0201*w1310 + w0300*w1211,
STDIN 25. w0101*w2311 + w0201*w1311 + w0301*w1211,
STDIN 26. w0101*w2312 + w0201*w1312 + w0302*w1211,
STDIN 27. w0101*w2320 + w0202*w1310 + w0300*w1212,
STDIN 28. w0101*w2321 + w0202*w1311 + w0301*w1212,
STDIN 29. w0101*w2322 + w0202*w1312 + w0302*w1212,
STDIN 30. w0102*w2300 + w0200*w1320 + w0300*w1220,
STDIN 31. w0102*w2301 + w0200*w1321 + w0301*w1220,
STDIN 32. w0102*w2302 + w0200*w1322 + w0302*w1220,
STDIN 33. w0102*w2310 + w0201*w1320 + w0300*w1221,
STDIN 34. w0102*w2311 + w0201*w1321 + w0301*w1221,
STDIN 35. w0102*w2312 + w0201*w1322 + w0302*w1221,
STDIN 36. w0102*w2320 + w0202*w1320 + w0300*w1222,
STDIN 37. w0102*w2321 + w0202*w1321 + w0301*w1222,
STDIN 38. w0102*w2322 + w0202*w1322 + w0302*w1222,
STDIN 39. w0110*w2300 + w0210*w1300 + w0310*w1200,
STDIN 40. w0110*w2301 + w0210*w1301 + w0311*w1200,
STDIN 41. w0110*w2302 + w0210*w1302 + w0312*w1200,
STDIN 42. w0110*w2310 + w0211*w1300 + w0310*w1201,
STDIN 43. w0110*w2311 + w0211*w1301 + w0311*w1201,
STDIN 44. w0110*w2312 + w0211*w1302 + w0312*w1201,
STDIN 45. w0110*w2320 + w0212*w1300 + w0310*w1202,
STDIN 46. w0110*w2321 + w0212*w1301 + w0311*w1202,
STDIN 47. w0110*w2322 + w0212*w1302 + w0312*w1202,
STDIN 48. w0111*w2300 + w0210*w1310 + w0310*w1210,
STDIN 49. w0111*w2301 + w0210*w1311 + w0311*w1210,
STDIN 50. w0111*w2302 + w0210*w1312 + w0312*w1210,
STDIN 51. w0111*w2310 + w0211*w1310 + w0310*w1211,
STDIN 52. w0111*w2311 + w0211*w1311 + w0311*w1211 - 1,
STDIN 53. w0111*w2312 + w0211*w1312 + w0312*w1211,
STDIN 54. w0111*w2320 + w0212*w1310 + w0310*w1212,
STDIN 55. w0111*w2321 + w0212*w1311 + w0311*w1212,
STDIN 56. w0111*w2322 + w0212*w1312 + w0312*w1212,
STDIN 57. w0112*w2300 + w0210*w1320 + w0310*w1220,
STDIN 58. w0112*w2301 + w0210*w1321 + w0311*w1220,
STDIN 59. w0112*w2302 + w0210*w1322 + w0312*w1220,
STDIN 60. w0112*w2310 + w0211*w1320 + w0310*w1221,
STDIN 61. w0112*w2311 + w0211*w1321 + w0311*w1221,
STDIN 62. w0112*w2312 + w0211*w1322 + w0312*w1221,
STDIN 63. w0112*w2320 + w0212*w1320 + w0310*w1222,
STDIN 64. w0112*w2321 + w0212*w1321 + w0311*w1222,
STDIN 65. w0112*w2322 + w0212*w1322 + w0312*w1222,
STDIN 66. w0120*w2300 + w0220*w1300 + w0320*w1200,
STDIN 67. w0120*w2301 + w0220*w1301 + w0321*w1200,
STDIN 68. w0120*w2302 + w0220*w1302 + w0322*w1200,
STDIN 69. w0120*w2310 + w0221*w1300 + w0320*w1201,
STDIN 70. w0120*w2311 + w0221*w1301 + w0321*w1201,
STDIN 71. w0120*w2312 + w0221*w1302 + w0322*w1201,
STDIN 72. w0120*w2320 + w0222*w1300 + w0320*w1202,
STDIN 73. w0120*w2321 + w0222*w1301 + w0321*w1202,
STDIN 74. w0120*w2322 + w0222*w1302 + w0322*w1202,
STDIN 75. w0121*w2300 + w0220*w1310 + w0320*w1210,
STDIN 76. w0121*w2301 + w0220*w1311 + w0321*w1210,
STDIN 77. w0121*w2302 + w0220*w1312 + w0322*w1210,
STDIN 78. w0121*w2310 + w0221*w1310 + w0320*w1211,
STDIN 79. w0121*w2311 + w0221*w1311 + w0321*w1211,
STDIN 80. w0121*w2312 + w0221*w1312 + w0322*w1211,
STDIN 81. w0121*w2320 + w0222*w1310 + w0320*w1212,
STDIN 82. w0121*w2321 + w0222*w1311 + w0321*w1212,
STDIN 83. w0121*w2322 + w0222*w1312 + w0322*w1212,
STDIN 84. w0122*w2300 + w0220*w1320 + w0320*w1220,
STDIN 85. w0122*w2301 + w0220*w1321 + w0321*w1220,
STDIN 86. w0122*w2302 + w0220*w1322 + w0322*w1220,
STDIN 87. w0122*w2310 + w0221*w1320 + w0320*w1221,
STDIN 88. w0122*w2311 + w0221*w1321 + w0321*w1221,
STDIN 89. w0122*w2312 + w0221*w1322 + w0322*w1221,
STDIN 90. w0122*w2320 + w0222*w1320 + w0320*w1222,
STDIN 91. w0122*w2321 + w0222*w1321 + w0321*w1222,
STDIN 92. w0122*w2322 + w0222*w1322 + w0322*w1222 - 1;
STDIN 93> //option(redSB);
STDIN 94. //option(prot); // show progress/debug output
STDIN 95. ideal subI = ideal(w0322*w1322*w2322);
STDIN 96> matrix T;
STDIN 97> matrix T2 = lift(I, subI, T, "slimgb");
STDIN 98> T2;
T2[1,1]=-w0322*w1322*w2322
T2[2,1]=0
T2[3,1]=-w0322*w1322*w2320-w0322*w1320*w2322-w0320*w1322*w2322
T2[4,1]=w0111*w0322*w1322*w2302*w2321+w0111*w0322*w1321*w2302*w2322+w0111*w0321*w1322*w2302*w2322-w0312*w1311*w2302-w0311*w1312*w2302
T2[5,1]=w0111*w0322*w1322*w2302*w2320+w0111*w0322*w1322*w2300*w2322+w0111*w0322*w1320*w2302*w2322+w0111*w0320*w1322*w2302*w2322-w0312*w1312*w2300-w0312*w1310*w2302-w0310*w1312*w2302
T2[6,1]=w0111*w0322*w1321*w2302*w2320+w0111*w0321*w1322*w2302*w2320+w0111*w0322*w1322*w2300*w2321+w0111*w0322*w1320*w2302*w2321+w0111*w0320*w1322*w2302*w2321+w0111*w0322*w1321*w2300*w2322+w0111*w0321*w1322*w2300*w2322+w0111*w0321*w1320*w2302*w2322+w0111*w0320*w1321*w2302*w2322-w0312*w1311*w2300-w0311*w1312*w2300-w0311*w1310*w2302-w0310*w1311*w2302
T2[7,1]=-w0111*w0322*w1322*w2302*w2311-w0111*w0322*w1321*w2302*w2312-w0111*w0321*w1322*w2302*w2312+w0322*w1322*w2302
T2[8,1]=-w0111*w0322*w1322*w2302*w2310-w0111*w0322*w1322*w2300*w2312-w0111*w0322*w1320*w2302*w2312-w0111*w0320*w1322*w2302*w2312
T2[9,1]=-w0111*w0322*w1321*w2302*w2310-w0111*w0321*w1322*w2302*w2310-w0111*w0322*w1322*w2300*w2311-w0111*w0322*w1320*w2302*w2311-w0111*w0320*w1322*w2302*w2311-w0111*w0322*w1321*w2300*w2312-w0111*w0321*w1322*w2300*w2312-w0111*w0321*w1320*w2302*w2312-w0111*w0320*w1321*w2302*w2312+w0322*w1322*w2300+w0322*w1320*w2302+w0320*w1322*w2302
T2[10,1]=0
T2[11,1]=0
T2[12,1]=0
T2[13,1]=-w0110*w0322*w1322*w2302*w2321-w0110*w0322*w1321*w2302*w2322-w0110*w0321*w1322*w2302*w2322+w0312*w1301*w2302+w0311*w1302*w2302
T2[14,1]=-w0110*w0322*w1322*w2302*w2320-w0110*w0322*w1322*w2300*w2322-w0110*w0322*w1320*w2302*w2322-w0110*w0320*w1322*w2302*w2322+w0312*w1302*w2300+w0312*w1300*w2302+w0310*w1302*w2302
T2[15,1]=-w0110*w0322*w1321*w2302*w2320-w0110*w0321*w1322*w2302*w2320-w0110*w0322*w1322*w2300*w2321-w0110*w0322*w1320*w2302*w2321-w0110*w0320*w1322*w2302*w2321-w0110*w0322*w1321*w2300*w2322-w0110*w0321*w1322*w2300*w2322-w0110*w0321*w1320*w2302*w2322-w0110*w0320*w1321*w2302*w2322+w0312*w1301*w2300+w0311*w1302*w2300+w0311*w1300*w2302+w0310*w1301*w2302
T2[16,1]=w0110*w0322*w1322*w2302*w2311+w0110*w0322*w1321*w2302*w2312+w0110*w0321*w1322*w2302*w2312
T2[17,1]=w0110*w0322*w1322*w2302*w2310+w0110*w0322*w1322*w2300*w2312+w0110*w0322*w1320*w2302*w2312+w0110*w0320*w1322*w2302*w2312
T2[18,1]=w0110*w0322*w1321*w2302*w2310+w0110*w0321*w1322*w2302*w2310+w0110*w0322*w1322*w2300*w2311+w0110*w0322*w1320*w2302*w2311+w0110*w0320*w1322*w2302*w2311+w0110*w0322*w1321*w2300*w2312+w0110*w0321*w1322*w2300*w2312+w0110*w0321*w1320*w2302*w2312+w0110*w0320*w1321*w2302*w2312
T2[19,1]=w0322*w1302*w2322
T2[20,1]=0
T2[21,1]=w0322*w1302*w2320+w0322*w1300*w2322+w0320*w1302*w2322
T2[22,1]=-w0111*w0322*w1302*w2302*w2321+w0110*w0322*w1312*w2302*w2321-w0111*w0322*w1301*w2302*w2322-w0111*w0321*w1302*w2302*w2322+w0110*w0322*w1311*w2302*w2322+w0110*w0321*w1312*w2302*w2322
T2[23,1]=-w0111*w0322*w1302*w2302*w2320+w0110*w0322*w1312*w2302*w2320-w0111*w0322*w1302*w2300*w2322+w0110*w0322*w1312*w2300*w2322-w0111*w0322*w1300*w2302*w2322-w0111*w0320*w1302*w2302*w2322+w0110*w0322*w1310*w2302*w2322+w0110*w0320*w1312*w2302*w2322
T2[24,1]=-w0111*w0322*w1301*w2302*w2320-w0111*w0321*w1302*w2302*w2320+w0110*w0322*w1311*w2302*w2320+w0110*w0321*w1312*w2302*w2320-w0111*w0322*w1302*w2300*w2321+w0110*w0322*w1312*w2300*w2321-w0111*w0322*w1300*w2302*w2321-w0111*w0320*w1302*w2302*w2321+w0110*w0322*w1310*w2302*w2321+w0110*w0320*w1312*w2302*w2321-w0111*w0322*w1301*w2300*w2322-w0111*w0321*w1302*w2300*w2322+w0110*w0322*w1311*w2300*w2322+w0110*w0321*w1312*w2300*w2322-w0111*w0321*w1300*w2302*w2322-w0111*w0320*w1301*w2302*w2322+w0110*w0321*w1310*w2302*w2322+w0110*w0320*w1311*w2302*w2322
T2[25,1]=w0111*w0322*w1302*w2302*w2311-w0110*w0322*w1312*w2302*w2311+w0111*w0322*w1301*w2302*w2312+w0111*w0321*w1302*w2302*w2312-w0110*w0322*w1311*w2302*w2312-w0110*w0321*w1312*w2302*w2312-w0322*w1302*w2302
T2[26,1]=w0111*w0322*w1302*w2302*w2310-w0110*w0322*w1312*w2302*w2310+w0111*w0322*w1302*w2300*w2312-w0110*w0322*w1312*w2300*w2312+w0111*w0322*w1300*w2302*w2312+w0111*w0320*w1302*w2302*w2312-w0110*w0322*w1310*w2302*w2312-w0110*w0320*w1312*w2302*w2312
T2[27,1]=w0111*w0322*w1301*w2302*w2310+w0111*w0321*w1302*w2302*w2310-w0110*w0322*w1311*w2302*w2310-w0110*w0321*w1312*w2302*w2310+w0111*w0322*w1302*w2300*w2311-w0110*w0322*w1312*w2300*w2311+w0111*w0322*w1300*w2302*w2311+w0111*w0320*w1302*w2302*w2311-w0110*w0322*w1310*w2302*w2311-w0110*w0320*w1312*w2302*w2311+w0111*w0322*w1301*w2300*w2312+w0111*w0321*w1302*w2300*w2312-w0110*w0322*w1311*w2300*w2312-w0110*w0321*w1312*w2300*w2312+w0111*w0321*w1300*w2302*w2312+w0111*w0320*w1301*w2302*w2312-w0110*w0321*w1310*w2302*w2312-w0110*w0320*w1311*w2302*w2312-w0322*w1302*w2300-w0322*w1300*w2302-w0320*w1302*w2302
T2[28,1]=0
T2[29,1]=0
T2[30,1]=0
T2[31,1]=-w0101*w0322*w1322*w2302*w2321-w0101*w0322*w1321*w2302*w2322-w0101*w0321*w1322*w2302*w2322+w0302*w1311*w2302+w0301*w1312*w2302
T2[32,1]=-w0101*w0322*w1322*w2302*w2320-w0101*w0322*w1322*w2300*w2322-w0101*w0322*w1320*w2302*w2322-w0101*w0320*w1322*w2302*w2322+w0302*w1312*w2300+w0302*w1310*w2302+w0300*w1312*w2302
T2[33,1]=-w0101*w0322*w1321*w2302*w2320-w0101*w0321*w1322*w2302*w2320-w0101*w0322*w1322*w2300*w2321-w0101*w0322*w1320*w2302*w2321-w0101*w0320*w1322*w2302*w2321-w0101*w0322*w1321*w2300*w2322-w0101*w0321*w1322*w2300*w2322-w0101*w0321*w1320*w2302*w2322-w0101*w0320*w1321*w2302*w2322+w0302*w1311*w2300+w0301*w1312*w2300+w0301*w1310*w2302+w0300*w1311*w2302
T2[34,1]=w0101*w0322*w1322*w2302*w2311+w0101*w0322*w1321*w2302*w2312+w0101*w0321*w1322*w2302*w2312
T2[35,1]=w0101*w0322*w1322*w2302*w2310+w0101*w0322*w1322*w2300*w2312+w0101*w0322*w1320*w2302*w2312+w0101*w0320*w1322*w2302*w2312
T2[36,1]=w0101*w0322*w1321*w2302*w2310+w0101*w0321*w1322*w2302*w2310+w0101*w0322*w1322*w2300*w2311+w0101*w0322*w1320*w2302*w2311+w0101*w0320*w1322*w2302*w2311+w0101*w0322*w1321*w2300*w2312+w0101*w0321*w1322*w2300*w2312+w0101*w0321*w1320*w2302*w2312+w0101*w0320*w1321*w2302*w2312
T2[37,1]=w0100*w0322*w1322*w2312*w2321+w0100*w0322*w1322*w2311*w2322+w0100*w0322*w1321*w2312*w2322+w0100*w0321*w1322*w2312*w2322
T2[38,1]=w0100*w0322*w1322*w2312*w2320+w0100*w0322*w1322*w2310*w2322+w0100*w0322*w1320*w2312*w2322+w0100*w0320*w1322*w2312*w2322
T2[39,1]=w0100*w0322*w1322*w2311*w2320+w0100*w0322*w1321*w2312*w2320+w0100*w0321*w1322*w2312*w2320+w0100*w0322*w1322*w2310*w2321+w0100*w0322*w1320*w2312*w2321+w0100*w0320*w1322*w2312*w2321+w0100*w0322*w1321*w2310*w2322+w0100*w0321*w1322*w2310*w2322+w0100*w0322*w1320*w2311*w2322+w0100*w0320*w1322*w2311*w2322+w0100*w0321*w1320*w2312*w2322+w0100*w0320*w1321*w2312*w2322
T2[40,1]=-w0100*w0322*w1322*w2301*w2322-w0302*w1301*w2302-w0301*w1302*w2302
T2[41,1]=-w0302*w1302*w2300-w0302*w1300*w2302-w0300*w1302*w2302
T2[42,1]=-w0100*w0322*w1322*w2301*w2320-w0100*w0322*w1320*w2301*w2322-w0100*w0320*w1322*w2301*w2322-w0302*w1301*w2300-w0301*w1302*w2300-w0301*w1300*w2302-w0300*w1301*w2302
T2[43,1]=-w0100*w0322*w1322*w2302*w2311-w0100*w0322*w1321*w2302*w2312-w0100*w0321*w1322*w2302*w2312
T2[44,1]=-w0100*w0322*w1322*w2302*w2310-w0100*w0322*w1322*w2300*w2312-w0100*w0322*w1320*w2302*w2312-w0100*w0320*w1322*w2302*w2312
T2[45,1]=-w0100*w0322*w1321*w2302*w2310-w0100*w0321*w1322*w2302*w2310-w0100*w0322*w1322*w2300*w2311-w0100*w0322*w1320*w2302*w2311-w0100*w0320*w1322*w2302*w2311-w0100*w0322*w1321*w2300*w2312-w0100*w0321*w1322*w2300*w2312-w0100*w0321*w1320*w2302*w2312-w0100*w0320*w1321*w2302*w2312
T2[46,1]=-w0100*w0322*w1312*w2312*w2321-w0100*w0322*w1312*w2311*w2322-w0100*w0322*w1311*w2312*w2322-w0100*w0321*w1312*w2312*w2322
T2[47,1]=-w0100*w0322*w1312*w2312*w2320-w0100*w0322*w1312*w2310*w2322-w0100*w0322*w1310*w2312*w2322-w0100*w0320*w1312*w2312*w2322
T2[48,1]=-w0100*w0322*w1312*w2311*w2320-w0100*w0322*w1311*w2312*w2320-w0100*w0321*w1312*w2312*w2320-w0100*w0322*w1312*w2310*w2321-w0100*w0322*w1310*w2312*w2321-w0100*w0320*w1312*w2312*w2321-w0100*w0322*w1311*w2310*w2322-w0100*w0321*w1312*w2310*w2322-w0100*w0322*w1310*w2311*w2322-w0100*w0320*w1312*w2311*w2322-w0100*w0321*w1310*w2312*w2322-w0100*w0320*w1311*w2312*w2322
T2[49,1]=w0101*w0322*w1302*w2302*w2321+w0100*w0322*w1312*w2301*w2322+w0101*w0322*w1301*w2302*w2322+w0101*w0321*w1302*w2302*w2322
T2[50,1]=w0101*w0322*w1302*w2302*w2320+w0101*w0322*w1302*w2300*w2322+w0101*w0322*w1300*w2302*w2322+w0101*w0320*w1302*w2302*w2322
T2[51,1]=w0100*w0322*w1312*w2301*w2320+w0101*w0322*w1301*w2302*w2320+w0101*w0321*w1302*w2302*w2320+w0101*w0322*w1302*w2300*w2321+w0101*w0322*w1300*w2302*w2321+w0101*w0320*w1302*w2302*w2321+w0101*w0322*w1301*w2300*w2322+w0101*w0321*w1302*w2300*w2322+w0100*w0322*w1310*w2301*w2322+w0100*w0320*w1312*w2301*w2322+w0101*w0321*w1300*w2302*w2322+w0101*w0320*w1301*w2302*w2322
T2[52,1]=-w0101*w0322*w1302*w2302*w2311+w0100*w0322*w1312*w2302*w2311-w0101*w0322*w1301*w2302*w2312-w0101*w0321*w1302*w2302*w2312+w0100*w0322*w1311*w2302*w2312+w0100*w0321*w1312*w2302*w2312
T2[53,1]=-w0101*w0322*w1302*w2302*w2310+w0100*w0322*w1312*w2302*w2310-w0101*w0322*w1302*w2300*w2312+w0100*w0322*w1312*w2300*w2312-w0101*w0322*w1300*w2302*w2312-w0101*w0320*w1302*w2302*w2312+w0100*w0322*w1310*w2302*w2312+w0100*w0320*w1312*w2302*w2312
T2[54,1]=-w0101*w0322*w1301*w2302*w2310-w0101*w0321*w1302*w2302*w2310+w0100*w0322*w1311*w2302*w2310+w0100*w0321*w1312*w2302*w2310-w0101*w0322*w1302*w2300*w2311+w0100*w0322*w1312*w2300*w2311-w0101*w0322*w1300*w2302*w2311-w0101*w0320*w1302*w2302*w2311+w0100*w0322*w1310*w2302*w2311+w0100*w0320*w1312*w2302*w2311-w0101*w0322*w1301*w2300*w2312-w0101*w0321*w1302*w2300*w2312+w0100*w0322*w1311*w2300*w2312+w0100*w0321*w1312*w2300*w2312-w0101*w0321*w1300*w2302*w2312-w0101*w0320*w1301*w2302*w2312+w0100*w0321*w1310*w2302*w2312+w0100*w0320*w1311*w2302*w2312
T2[55,1]=w0302*w1322*w2322
T2[56,1]=0
T2[57,1]=w0302*w1322*w2320+w0302*w1320*w2322+w0300*w1322*w2322
T2[58,1]=-w0111*w0302*w1322*w2302*w2321+w0101*w0312*w1322*w2302*w2321-w0111*w0302*w1321*w2302*w2322+w0101*w0312*w1321*w2302*w2322-w0111*w0301*w1322*w2302*w2322+w0101*w0311*w1322*w2302*w2322
T2[59,1]=-w0111*w0302*w1322*w2302*w2320+w0101*w0312*w1322*w2302*w2320-w0111*w0302*w1322*w2300*w2322+w0101*w0312*w1322*w2300*w2322-w0111*w0302*w1320*w2302*w2322+w0101*w0312*w1320*w2302*w2322-w0111*w0300*w1322*w2302*w2322+w0101*w0310*w1322*w2302*w2322
T2[60,1]=-w0111*w0302*w1321*w2302*w2320+w0101*w0312*w1321*w2302*w2320-w0111*w0301*w1322*w2302*w2320+w0101*w0311*w1322*w2302*w2320-w0111*w0302*w1322*w2300*w2321+w0101*w0312*w1322*w2300*w2321-w0111*w0302*w1320*w2302*w2321+w0101*w0312*w1320*w2302*w2321-w0111*w0300*w1322*w2302*w2321+w0101*w0310*w1322*w2302*w2321-w0111*w0302*w1321*w2300*w2322+w0101*w0312*w1321*w2300*w2322-w0111*w0301*w1322*w2300*w2322+w0101*w0311*w1322*w2300*w2322-w0111*w0301*w1320*w2302*w2322+w0101*w0311*w1320*w2302*w2322-w0111*w0300*w1321*w2302*w2322+w0101*w0310*w1321*w2302*w2322
T2[61,1]=w0111*w0302*w1322*w2302*w2311-w0101*w0312*w1322*w2302*w2311+w0111*w0302*w1321*w2302*w2312-w0101*w0312*w1321*w2302*w2312+w0111*w0301*w1322*w2302*w2312-w0101*w0311*w1322*w2302*w2312-w0302*w1322*w2302
T2[62,1]=w0111*w0302*w1322*w2302*w2310-w0101*w0312*w1322*w2302*w2310+w0111*w0302*w1322*w2300*w2312-w0101*w0312*w1322*w2300*w2312+w0111*w0302*w1320*w2302*w2312-w0101*w0312*w1320*w2302*w2312+w0111*w0300*w1322*w2302*w2312-w0101*w0310*w1322*w2302*w2312
T2[63,1]=w0111*w0302*w1321*w2302*w2310-w0101*w0312*w1321*w2302*w2310+w0111*w0301*w1322*w2302*w2310-w0101*w0311*w1322*w2302*w2310+w0111*w0302*w1322*w2300*w2311-w0101*w0312*w1322*w2300*w2311+w0111*w0302*w1320*w2302*w2311-w0101*w0312*w1320*w2302*w2311+w0111*w0300*w1322*w2302*w2311-w0101*w0310*w1322*w2302*w2311+w0111*w0302*w1321*w2300*w2312-w0101*w0312*w1321*w2300*w2312+w0111*w0301*w1322*w2300*w2312-w0101*w0311*w1322*w2300*w2312+w0111*w0301*w1320*w2302*w2312-w0101*w0311*w1320*w2302*w2312+w0111*w0300*w1321*w2302*w2312-w0101*w0310*w1321*w2302*w2312-w0302*w1322*w2300-w0302*w1320*w2302-w0300*w1322*w2302
T2[64,1]=-w0100*w0312*w1322*w2312*w2321-w0100*w0312*w1322*w2311*w2322-w0100*w0312*w1321*w2312*w2322-w0100*w0311*w1322*w2312*w2322
T2[65,1]=-w0100*w0312*w1322*w2312*w2320-w0100*w0312*w1322*w2310*w2322-w0100*w0312*w1320*w2312*w2322-w0100*w0310*w1322*w2312*w2322
T2[66,1]=-w0100*w0312*w1322*w2311*w2320-w0100*w0312*w1321*w2312*w2320-w0100*w0311*w1322*w2312*w2320-w0100*w0312*w1322*w2310*w2321-w0100*w0312*w1320*w2312*w2321-w0100*w0310*w1322*w2312*w2321-w0100*w0312*w1321*w2310*w2322-w0100*w0311*w1322*w2310*w2322-w0100*w0312*w1320*w2311*w2322-w0100*w0310*w1322*w2311*w2322-w0100*w0311*w1320*w2312*w2322-w0100*w0310*w1321*w2312*w2322
T2[67,1]=w0110*w0302*w1322*w2302*w2321+w0100*w0312*w1322*w2301*w2322+w0110*w0302*w1321*w2302*w2322+w0110*w0301*w1322*w2302*w2322
T2[68,1]=w0110*w0302*w1322*w2302*w2320+w0110*w0302*w1322*w2300*w2322+w0110*w0302*w1320*w2302*w2322+w0110*w0300*w1322*w2302*w2322
T2[69,1]=w0100*w0312*w1322*w2301*w2320+w0110*w0302*w1321*w2302*w2320+w0110*w0301*w1322*w2302*w2320+w0110*w0302*w1322*w2300*w2321+w0110*w0302*w1320*w2302*w2321+w0110*w0300*w1322*w2302*w2321+w0110*w0302*w1321*w2300*w2322+w0110*w0301*w1322*w2300*w2322+w0100*w0312*w1320*w2301*w2322+w0100*w0310*w1322*w2301*w2322+w0110*w0301*w1320*w2302*w2322+w0110*w0300*w1321*w2302*w2322
T2[70,1]=-w0110*w0302*w1322*w2302*w2311+w0100*w0312*w1322*w2302*w2311-w0110*w0302*w1321*w2302*w2312+w0100*w0312*w1321*w2302*w2312-w0110*w0301*w1322*w2302*w2312+w0100*w0311*w1322*w2302*w2312
T2[71,1]=-w0110*w0302*w1322*w2302*w2310+w0100*w0312*w1322*w2302*w2310-w0110*w0302*w1322*w2300*w2312+w0100*w0312*w1322*w2300*w2312-w0110*w0302*w1320*w2302*w2312+w0100*w0312*w1320*w2302*w2312-w0110*w0300*w1322*w2302*w2312+w0100*w0310*w1322*w2302*w2312
T2[72,1]=-w0110*w0302*w1321*w2302*w2310+w0100*w0312*w1321*w2302*w2310-w0110*w0301*w1322*w2302*w2310+w0100*w0311*w1322*w2302*w2310-w0110*w0302*w1322*w2300*w2311+w0100*w0312*w1322*w2300*w2311-w0110*w0302*w1320*w2302*w2311+w0100*w0312*w1320*w2302*w2311-w0110*w0300*w1322*w2302*w2311+w0100*w0310*w1322*w2302*w2311-w0110*w0302*w1321*w2300*w2312+w0100*w0312*w1321*w2300*w2312-w0110*w0301*w1322*w2300*w2312+w0100*w0311*w1322*w2300*w2312-w0110*w0301*w1320*w2302*w2312+w0100*w0311*w1320*w2302*w2312-w0110*w0300*w1321*w2302*w2312+w0100*w0310*w1321*w2302*w2312
T2[73,1]=w0100*w0312*w1312*w2312*w2321+w0100*w0312*w1312*w2311*w2322+w0100*w0312*w1311*w2312*w2322+w0100*w0311*w1312*w2312*w2322-w0302*w1302*w2322
T2[74,1]=w0100*w0312*w1312*w2312*w2320+w0100*w0312*w1312*w2310*w2322+w0100*w0312*w1310*w2312*w2322+w0100*w0310*w1312*w2312*w2322
T2[75,1]=w0100*w0312*w1312*w2311*w2320+w0100*w0312*w1311*w2312*w2320+w0100*w0311*w1312*w2312*w2320+w0100*w0312*w1312*w2310*w2321+w0100*w0312*w1310*w2312*w2321+w0100*w0310*w1312*w2312*w2321+w0100*w0312*w1311*w2310*w2322+w0100*w0311*w1312*w2310*w2322+w0100*w0312*w1310*w2311*w2322+w0100*w0310*w1312*w2311*w2322+w0100*w0311*w1310*w2312*w2322+w0100*w0310*w1311*w2312*w2322-w0302*w1302*w2320-w0302*w1300*w2322-w0300*w1302*w2322
T2[76,1]=w0111*w0302*w1302*w2302*w2321-w0101*w0312*w1302*w2302*w2321-w0110*w0302*w1312*w2302*w2321-w0100*w0312*w1312*w2301*w2322+w0111*w0302*w1301*w2302*w2322-w0101*w0312*w1301*w2302*w2322+w0111*w0301*w1302*w2302*w2322-w0101*w0311*w1302*w2302*w2322-w0110*w0302*w1311*w2302*w2322-w0110*w0301*w1312*w2302*w2322
T2[77,1]=w0111*w0302*w1302*w2302*w2320-w0101*w0312*w1302*w2302*w2320-w0110*w0302*w1312*w2302*w2320+w0111*w0302*w1302*w2300*w2322-w0101*w0312*w1302*w2300*w2322-w0110*w0302*w1312*w2300*w2322+w0111*w0302*w1300*w2302*w2322-w0101*w0312*w1300*w2302*w2322+w0111*w0300*w1302*w2302*w2322-w0101*w0310*w1302*w2302*w2322-w0110*w0302*w1310*w2302*w2322-w0110*w0300*w1312*w2302*w2322
T2[78,1]=-w0100*w0312*w1312*w2301*w2320+w0111*w0302*w1301*w2302*w2320-w0101*w0312*w1301*w2302*w2320+w0111*w0301*w1302*w2302*w2320-w0101*w0311*w1302*w2302*w2320-w0110*w0302*w1311*w2302*w2320-w0110*w0301*w1312*w2302*w2320+w0111*w0302*w1302*w2300*w2321-w0101*w0312*w1302*w2300*w2321-w0110*w0302*w1312*w2300*w2321+w0111*w0302*w1300*w2302*w2321-w0101*w0312*w1300*w2302*w2321+w0111*w0300*w1302*w2302*w2321-w0101*w0310*w1302*w2302*w2321-w0110*w0302*w1310*w2302*w2321-w0110*w0300*w1312*w2302*w2321+w0111*w0302*w1301*w2300*w2322-w0101*w0312*w1301*w2300*w2322+w0111*w0301*w1302*w2300*w2322-w0101*w0311*w1302*w2300*w2322-w0110*w0302*w1311*w2300*w2322-w0110*w0301*w1312*w2300*w2322-w0100*w0312*w1310*w2301*w2322-w0100*w0310*w1312*w2301*w2322+w0111*w0301*w1300*w2302*w2322-w0101*w0311*w1300*w2302*w2322+w0111*w0300*w1301*w2302*w2322-w0101*w0310*w1301*w2302*w2322-w0110*w0301*w1310*w2302*w2322-w0110*w0300*w1311*w2302*w2322
T2[79,1]=-w0111*w0302*w1302*w2302*w2311+w0101*w0312*w1302*w2302*w2311+w0110*w0302*w1312*w2302*w2311-w0100*w0312*w1312*w2302*w2311-w0111*w0302*w1301*w2302*w2312+w0101*w0312*w1301*w2302*w2312-w0111*w0301*w1302*w2302*w2312+w0101*w0311*w1302*w2302*w2312+w0110*w0302*w1311*w2302*w2312-w0100*w0312*w1311*w2302*w2312+w0110*w0301*w1312*w2302*w2312-w0100*w0311*w1312*w2302*w2312+w0302*w1302*w2302
T2[80,1]=-w0111*w0302*w1302*w2302*w2310+w0101*w0312*w1302*w2302*w2310+w0110*w0302*w1312*w2302*w2310-w0100*w0312*w1312*w2302*w2310-w0111*w0302*w1302*w2300*w2312+w0101*w0312*w1302*w2300*w2312+w0110*w0302*w1312*w2300*w2312-w0100*w0312*w1312*w2300*w2312-w0111*w0302*w1300*w2302*w2312+w0101*w0312*w1300*w2302*w2312-w0111*w0300*w1302*w2302*w2312+w0101*w0310*w1302*w2302*w2312+w0110*w0302*w1310*w2302*w2312-w0100*w0312*w1310*w2302*w2312+w0110*w0300*w1312*w2302*w2312-w0100*w0310*w1312*w2302*w2312
T2[81,1]=-w0111*w0302*w1301*w2302*w2310+w0101*w0312*w1301*w2302*w2310-w0111*w0301*w1302*w2302*w2310+w0101*w0311*w1302*w2302*w2310+w0110*w0302*w1311*w2302*w2310-w0100*w0312*w1311*w2302*w2310+w0110*w0301*w1312*w2302*w2310-w0100*w0311*w1312*w2302*w2310-w0111*w0302*w1302*w2300*w2311+w0101*w0312*w1302*w2300*w2311+w0110*w0302*w1312*w2300*w2311-w0100*w0312*w1312*w2300*w2311-w0111*w0302*w1300*w2302*w2311+w0101*w0312*w1300*w2302*w2311-w0111*w0300*w1302*w2302*w2311+w0101*w0310*w1302*w2302*w2311+w0110*w0302*w1310*w2302*w2311-w0100*w0312*w1310*w2302*w2311+w0110*w0300*w1312*w2302*w2311-w0100*w0310*w1312*w2302*w2311-w0111*w0302*w1301*w2300*w2312+w0101*w0312*w1301*w2300*w2312-w0111*w0301*w1302*w2300*w2312+w0101*w0311*w1302*w2300*w2312+w0110*w0302*w1311*w2300*w2312-w0100*w0312*w1311*w2300*w2312+w0110*w0301*w1312*w2300*w2312-w0100*w0311*w1312*w2300*w2312-w0111*w0301*w1300*w2302*w2312+w0101*w0311*w1300*w2302*w2312-w0111*w0300*w1301*w2302*w2312+w0101*w0310*w1301*w2302*w2312+w0110*w0301*w1310*w2302*w2312-w0100*w0311*w1310*w2302*w2312+w0110*w0300*w1311*w2302*w2312-w0100*w0310*w1311*w2302*w2312+w0302*w1302*w2300+w0302*w1300*w2302+w0300*w1302*w2302
STDIN 99> // verify lift
STDIN 100. matrix(I)*T2;
_[1,1]=w0322*w1322*w2322
max memory(KB):1113496 time(sec):103.11 = 1:43.11