-
Notifications
You must be signed in to change notification settings - Fork 0
/
sagemath_D2b.sage
113 lines (112 loc) · 31.6 KB
/
sagemath_D2b.sage
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
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimeshatomegaa222dotsa225a23dotsa25a3_1');
var('underbracehatomegaotimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3_2');
var('underbracea1a21a22hatomegaotimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_3');
var('underbrace1otimesshifta1otimesshifta21otimeshatomegaa22otimesshifta23otimesa24a25a3_4');
var('underbracehatomegaotimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_5');
var('underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa25otimesshifta3otimes1_6');
var('underbrace1otimesshifta1a21otimeshatomegaa22dotsa24otimesshifta25otimesshifta3otimes1_7');
var('underbracehatomegaotimesshifta1a21otimesa22dotsa24otimesshifta25otimesshifta3otimes1_8');
var('underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa24otimesshifta25otimesa3_9');
var('underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_10');
var('underbrace1otimesshifta1otimesshifta21otimesa22hatomegaotimesshifta23otimesa24a25a3_11');
var('underbracea1a21dotsa23a241dotsa244hatomegaotimesshifta245otimesshifta25otimesshifta3otimes1_12');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaotimesshifta25otimesa3_13');
var('underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3_14');
var('underbrace1otimesshifta1a21otimesa22dotsa24hatomegaotimesshifta25otimesshifta3otimes1_15');
var('underbracea1a21a22otimesshifta23otimesa24hatomegaotimesshifta25otimesshifta3otimes1_16');
var('underbracea1a21a22otimesshifta23otimeshatomegaa24otimesshifta25otimesshifta3otimes1_17');
var('underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3_18');
var('underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimeshatomegaa24a25a3_19');
var('underbracea1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimeshatomega_20');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa25otimesshifta3otimeshatomega_21');
var('underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimesshifta3otimeshatomega_22');
var('underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimesshifta3otimeshatomega_23');
var('underbrace1otimesshifta1otimes1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3_24');
var('underbrace1otimesshifta1otimes1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_25');
var('underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimes1otimesshifta3otimes1_26');
var('underbracea1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimes1otimesshifta3otimes1_27');
var('underbracea1otimesshifta21otimesa22dotsa24otimesshifta25otimes1otimesshifta3otimes1_28');
var('underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimes1otimesshifta3otimes1_29');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimeshatomegaa3_30');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3hatomega_31');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa25hatomegaotimesshifta3otimes1_32');
var('underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaa25otimesshifta3otimes1_33');
var('underbrace1otimesshifta1otimesa21dotsa24otimesshifta25otimes1otimesshifta3otimes1_34');
var('underbracea1a21dotsa23a241dotsa244otimesshifta245otimes1otimesshifta25otimesshifta3otimes1_35');
var('underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_36');
var('underbrace1otimesshifta1otimesshifta21otimes1otimesshifta221otimesa222dotsa225a23dotsa25a3_37');
var('underbracehatomegaa1a21a22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_38');
var('underbracea1a21hatomegaa22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_39');
var('underbrace1otimesshifta1a21otimesa22hatomegaa23a24otimesshifta25otimesshifta3otimes1_40');
var('underbrace1otimesshifta1a21otimesa22a23hatomegaa24otimesshifta25otimesshifta3otimes1_41');
var('underbracehatomegaa1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_42');
var('underbracea1a21hatomegaa22a23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_43');
var('underbrace1otimesshifta1a21otimesa22a23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_44');
var('underbracea1a21a22hatomegaa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_45');
var('underbracea1a21a22a23a241hatomegaa242dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_46');
var('underbracea1a21a22otimesshifta23a241otimesa242dotsa244otimesshifta245otimesshifta25otimesa3_47');
var('underbracea1otimesshifta21otimesa22otimesshifta23otimesa24a25otimesshifta3otimes1_48');
var('underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24a25otimesshifta3otimes1_49');
var('underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24a25otimesshifta3otimes1_50');
var('underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24a25otimesshifta3otimes1_51');
var('underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25a3hatomega_52');
var('underbracea1otimesshifta21otimesa22otimesshifta23otimesa24otimesshifta25otimesa3_53');
var('underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24hatomegaa25a3_54');
var('underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25hatomegaa3_55');
var('underbrace1otimesshifta1a21otimesa22otimesshifta23otimesa24otimesshifta25otimesa3_56');
var('underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24otimesshifta25otimesa3_57');
var('underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24otimesshifta25otimesa3_58');
var('underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24otimesshifta25otimesa3_59');
var('underbrace1otimesshifta1a21otimesa22otimesshifta23otimesa24a25otimesshifta3otimes1_60');
var('underbracea1a21dotsa23a241a242hatomegaa243a244otimesshifta245otimesshifta25otimesshifta3otimes1_61');
var('underbracea1a21dotsa23a241dotsa243hatomegaa244otimesshifta245otimesshifta25otimesshifta3otimes1_62');
var('underbracea1a21dotsa23a241a242otimesshifta243otimesa244a245otimesshifta25otimesshifta3otimes1_63');
var('underbracea1a21a22a23a241a242otimesshifta243otimesa244otimesshifta245otimesshifta25otimesa3_64');
var('underbracea1otimesshifta21otimesshifta221otimesa222dotsa224otimesshifta225a23otimesa24a25a3_65');
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa224hatomegaa225a23dotsa25a3_66');
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23hatomegaa24a25a3_67');
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23a24hatomegaa25a3_68');
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3hatomega_69');
var('underbracea1otimesshifta21otimesshifta221otimesa222otimesshifta223otimesa224a225a23a24a25a3_70');
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222hatomegaa223dotsa225a23dotsa25a3_71');
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222a223hatomegaa224a225a23dotsa25a3_72');
var('underbrace1otimesshifta1otimesshifta21otimesa221a222otimesshifta223otimesa224a225a23dotsa25a3_73');
var('underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24otimesshifta25a3otimes1_74');
var('underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25otimesshifta3otimes1_75');
var('underbracea1a21otimesshifta221otimesa222dotsa225a23a24otimesshifta25otimesshifta3otimes1_76');
var('underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24otimesshifta25otimesa3_77');
var('underbrace1otimesshifta1a21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesshifta3otimes1_78');
var('underbracea1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesshifta3otimes1_79');
var('underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23dotsa25otimesshifta3otimes1_80');
var('underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesa3_81');
var('underbracea1a21shiftotimesshiftpartialshiftinversea22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_82');
var('underbracea1a21a221dotsa224otimesshifta225otimesshifta23otimesa24a25otimesshifta3otimes1_83');
var('underbracea1a21a221dotsa224otimesshifta225otimesshifta23otimesa24otimesshifta25otimesa3_84');
var('underbracea1a21a221dotsa224otimesshifta225otimesa23a24otimesshifta25otimesshifta3otimes1_85');
var('underbrace1otimesshifta1a21otimesshifta221otimesa222dotsa224otimesshifta225a23otimesa24a25a3_86');
var('underbracea1a21otimesshifta221otimesa222dotsa224otimesshifta225otimesshifta23otimesa24a25a3_87');
var('underbracea1a21a22a23a241dotsa243a2441dotsa2444otimesshifta2445otimesshifta245otimesshifta25otimesa3_88');
var('underbracea1otimesshifta21otimesa221dotsa224otimesshifta225otimesshifta23otimesa24a25a3_89');
var('underbrace1otimesshifta1otimesa21a221dotsa224otimesshifta225otimesshifta23otimesa24a25a3_90');
var('underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22otimesshifta23otimesa24a25a3_91');
var('underbrace1otimesshifta1otimesshifta21otimesa221dotsa224otimesshifta225a23otimesa24a25a3_92');
var('underbrace1otimesshifta1otimesshifta21otimesa221dotsa224otimesshifta225otimesa23dotsa25a3_93');
var('underbracea1a21dotsa23otimesshifta241otimesa242dotsa245otimesshifta25otimesshifta3otimes1_94');
var('underbracea1a21a22otimesshifta23a241otimesa242dotsa245otimesshifta25otimesshifta3otimes1_95');
var('underbracea1a21a22otimesshifta23otimesshiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_96');
var('underbracea1a21a22otimesshifta23otimesshifta241otimesa242dotsa245otimesshifta25otimesa3_97');
var('underbracea1a21a22otimesshifta23otimesshifta241otimesa242dotsa245a25otimesshifta3otimes1_98');
var('underbracea1otimesshifta21otimesa22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_99');
var('underbrace1otimesshifta1a21otimesa22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_100');
var('underbrace1otimesshifta1otimesa21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesa3_101');
var('underbrace1otimesshifta1otimesshifta21otimesa22a23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesa3_102');
var('underbrace1otimesshifta1otimesshifta21otimesa22a23a241dotsa244otimesshifta245otimesa25a3_103');
var('underbracea1otimesshifta21otimesa22otimesshifta23otimesshifta241otimesa242dotsa245a25a3_104');
var('underbrace1otimesshifta1otimesa21a22otimesshifta23otimesshifta241otimesa242dotsa245a25a3_105');
var('underbrace1otimesshifta1otimesshifta21otimesa22a23otimesshifta241otimesa242dotsa245a25a3_106');
var('underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesshiftotimesshiftpartialshiftinversea24a25a3_107');
var('underbracea1otimesshifta21otimesshifta221otimesshifta2221otimesa2222dotsa2225a223dotsa225a23dotsa25a3_108');
var('underbrace1otimesshifta1otimesshifta21otimesshifta221otimesshiftotimesshiftpartialshiftinversea222a223dotsa225a23dotsa25a3_109');
var('underbracea1a21dotsa23a241dotsa243shiftotimesshiftpartialshiftinversea244otimesshifta245otimesshifta25otimesshifta3otimes1_110');
var('underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25a3otimes1_111');
0+underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3hatomega_69-underbracea1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimeshatomega_20-underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimesshifta3otimeshatomega_22+underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25a3hatomega_52-underbrace1otimesshifta1otimesshifta21otimesa22dotsa25otimesshifta3otimeshatomega_21+underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimesshifta3otimeshatomega_23-underbrace1otimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3hatomega_31+underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimes1otimesshifta3otimes1_26-underbracea1otimesshifta21otimesa22dotsa24otimesshifta25otimes1otimesshifta3otimes1_28+underbracea1otimesshifta21otimesa22otimesshifta23otimesa24a25otimesshifta3otimes1_48+underbracea1a21a221dotsa224otimesshifta225otimesshifta23otimesa24a25otimesshifta3otimes1_83+underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25otimesshifta3otimes1_75+underbracea1a21a22otimesshifta23otimesshifta241otimesa242dotsa245a25otimesshifta3otimes1_98+underbracea1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimes1otimesshifta3otimes1_27-underbracehatomegaotimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3_2+underbracehatomegaa1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_42+underbracehatomegaa1a21a22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_38-underbracehatomegaotimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_5+underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_10-underbracehatomegaotimesshifta1a21otimesa22dotsa24otimesshifta25otimesshifta3otimes1_8+underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3_14-0+underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24otimesshifta25otimesa3_58-underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3_18+underbrace1otimesshifta1otimes1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_25+underbrace1otimesshifta1otimesa21a221dotsa224otimesshifta225otimesshifta23otimesa24a25a3_90+underbrace1otimesshifta1otimes1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3_24+underbrace1otimesshifta1otimesa21a22otimesshifta23otimesshifta241otimesa242dotsa245a25a3_105+underbrace1otimesshifta1otimesa21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesa3_101+underbracehatomegaotimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3_2+underbrace1otimesshifta1otimesshifta21otimesshifta221otimeshatomegaa222dotsa225a23dotsa25a3_1-underbrace1otimesshifta1otimes1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3_24-underbrace1otimesshifta1otimesshifta21otimes1otimesshifta221otimesa222dotsa225a23dotsa25a3_37-underbracea1a21hatomegaa22a23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_43-underbracea1a21a22hatomegaa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_45-underbracea1a21hatomegaa22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_39-underbracea1a21a22hatomegaotimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_3-underbracea1a21shiftotimesshiftpartialshiftinversea22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_82+underbracehatomegaotimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_5+underbrace1otimesshifta1otimesshifta21otimeshatomegaa22otimesshifta23otimesa24a25a3_4-underbrace1otimesshifta1otimes1otimesshifta21otimesa22otimesshifta23otimesa24a25a3_25-underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_10-underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa25otimesshifta3otimes1_6+underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_36+underbracehatomegaotimesshifta1a21otimesa22dotsa24otimesshifta25otimesshifta3otimes1_8+underbrace1otimesshifta1a21otimeshatomegaa22dotsa24otimesshifta25otimesshifta3otimes1_7-underbracehatomegaotimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3_14-underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa24otimesshifta25otimesa3_9+underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3_18-underbrace1otimesshifta1otimesshifta21otimesshifta221otimeshatomegaa222dotsa225a23dotsa25a3_1-underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222hatomegaa223dotsa225a23dotsa25a3_71-underbrace1otimesshifta1otimesshifta21otimesshifta221otimesshiftotimesshiftpartialshiftinversea222a223dotsa225a23dotsa25a3_109+underbracea1a21a22a23a241hatomegaa242dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_46+underbracea1a21dotsa23a241a242hatomegaa243a244otimesshifta245otimesshifta25otimesshifta3otimes1_61+underbracea1a21a22hatomegaotimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_3+underbracea1a21a22otimesshifta23otimeshatomegaa24otimesshifta25otimesshifta3otimes1_17-underbrace1otimesshifta1otimesshifta21otimeshatomegaa22otimesshifta23otimesa24a25a3_4-underbrace1otimesshifta1otimesshifta21otimesa22hatomegaotimesshifta23otimesa24a25a3_11-underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22otimesshifta23otimesa24a25a3_91+underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa25otimesshifta3otimes1_6+underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24a25otimesshifta3otimes1_50+underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23dotsa25otimesshifta3otimes1_80-underbrace1otimesshifta1a21otimeshatomegaa22dotsa24otimesshifta25otimesshifta3otimes1_7-underbrace1otimesshifta1a21otimesa22hatomegaa23a24otimesshifta25otimesshifta3otimes1_40-underbrace1otimesshifta1a21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesshifta3otimes1_78+underbrace1otimesshifta1otimesshifta21otimeshatomegaa22dotsa24otimesshifta25otimesa3_9+underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24otimesshifta25otimesa3_59+underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesa3_81+underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222a223hatomegaa224a225a23dotsa25a3_72+underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa224hatomegaa225a23dotsa25a3_66-underbracea1a21dotsa23a241dotsa243hatomegaa244otimesshifta245otimesshifta25otimesshifta3otimes1_62-underbracea1a21dotsa23a241dotsa244hatomegaotimesshifta245otimesshifta25otimesshifta3otimes1_12-underbracea1a21dotsa23a241dotsa243shiftotimesshiftpartialshiftinversea244otimesshifta245otimesshifta25otimesshifta3otimes1_110-underbracea1a21a22otimesshifta23otimeshatomegaa24otimesshifta25otimesshifta3otimes1_17-underbracea1a21a22otimesshifta23otimesa24hatomegaotimesshifta25otimesshifta3otimes1_16-underbracea1a21a22otimesshifta23otimesshiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_96+underbrace1otimesshifta1otimesshifta21otimesa22hatomegaotimesshifta23otimesa24a25a3_11+underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimeshatomegaa24a25a3_19-underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24a25otimesshifta3otimes1_51-underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaa25otimesshifta3otimes1_33+underbrace1otimesshifta1a21otimesa22a23hatomegaa24otimesshifta25otimesshifta3otimes1_41+underbrace1otimesshifta1a21otimesa22dotsa24hatomegaotimesshifta25otimesshifta3otimes1_15+underbrace1otimesshifta1a21otimesa22a23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_44-underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24otimesshifta25otimesa3_57-underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaotimesshifta25otimesa3_13-underbrace1otimesshifta1otimesshifta21otimesa22a23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesa3_102-underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23hatomegaa24a25a3_67-underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23a24hatomegaa25a3_68+underbracea1a21dotsa23a241dotsa244hatomegaotimesshifta245otimesshifta25otimesshifta3otimes1_12+underbracea1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimeshatomega_20-underbracea1a21dotsa23a241dotsa244otimesshifta245otimes1otimesshifta25otimesshifta3otimes1_35-underbracea1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimes1otimesshifta3otimes1_27+underbracea1a21a22otimesshifta23otimesa24hatomegaotimesshifta25otimesshifta3otimes1_16+underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimesshifta3otimeshatomega_22-underbracea1a21a22otimesshifta23otimesa24otimesshifta25otimes1otimesshifta3otimes1_26-underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimeshatomegaa24a25a3_19-underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24hatomegaa25a3_54-underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesshiftotimesshiftpartialshiftinversea24a25a3_107+underbrace1otimesshifta1otimesshifta21otimesa22dotsa25hatomegaotimesshifta3otimes1_32+underbrace1otimesshifta1otimesshifta21otimesa22dotsa25otimesshifta3otimeshatomega_21-underbrace1otimesshifta1a21otimesa22dotsa24hatomegaotimesshifta25otimesshifta3otimes1_15-underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimesshifta3otimeshatomega_23+underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimes1otimesshifta3otimes1_29+underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaotimesshifta25otimesa3_13+underbrace1otimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimeshatomegaa3_30+underbracea1a21otimesshifta221otimesa222dotsa225a23a24otimesshifta25otimesshifta3otimes1_76+underbracea1a21a221dotsa224otimesshifta225otimesa23a24otimesshifta25otimesshifta3otimes1_85-underbrace1otimesshifta1otimes1otimesshifta21otimesa22dotsa25otimesshifta3otimes1_36+underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24a25otimesshifta3otimes1_49-underbrace1otimesshifta1otimesa21dotsa24otimesshifta25otimes1otimesshifta3otimes1_34+underbracea1a21dotsa23otimesshifta241otimesa242dotsa245otimesshifta25otimesshifta3otimes1_94-underbracea1a21dotsa23a241a242otimesshifta243otimesa244a245otimesshifta25otimesshifta3otimes1_63+underbracea1a21dotsa23a241dotsa244otimesshifta245otimes1otimesshifta25otimesshifta3otimes1_35+underbrace1otimesshifta1otimesshifta21otimes1otimesshifta221otimesa222dotsa225a23dotsa25a3_37-underbrace1otimesshifta1otimesshifta21otimesa221a222otimesshifta223otimesa224a225a23dotsa25a3_73+underbrace1otimesshifta1otimesshifta21otimesa221dotsa224otimesshifta225otimesa23dotsa25a3_93+underbrace1otimesshifta1otimesshifta21otimesa22a23otimesshifta241otimesa242dotsa245a25a3_106+underbrace1otimesshifta1otimesshifta21otimesa22a23a241dotsa244otimesshifta245otimesa25a3_103+0+0+underbracea1otimesshifta21otimesa22otimesshifta23otimesa24otimesshifta25otimesa3_53+underbracea1otimesshifta21otimesa22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_99+underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24otimesshifta25otimesa3_77+underbracea1otimesshifta21otimesa221dotsa224otimesshifta225otimesshifta23otimesa24a25a3_89+underbracea1a21a22otimesshifta23otimesshifta241otimesa242dotsa245otimesshifta25otimesa3_97+underbracea1a21a221dotsa224otimesshifta225otimesshifta23otimesa24otimesshifta25otimesa3_84+underbracea1otimesshifta21otimesa22otimesshifta23otimesshifta241otimesa242dotsa245a25a3_104+underbracea1a21otimesshifta221otimesa222dotsa224otimesshifta225otimesshifta23otimesa24a25a3_87-underbracea1a21a22otimesshifta23a241otimesa242dotsa244otimesshifta245otimesshifta25otimesa3_47-underbracea1otimesshifta21otimesshifta221otimesa222dotsa224otimesshifta225a23otimesa24a25a3_65+underbracea1otimesshifta21otimesshifta221otimesa222otimesshifta223otimesa224a225a23a24a25a3_70+underbracea1a21a22a23a241a242otimesshifta243otimesa244otimesshifta245otimesshifta25otimesa3_64+underbracea1a21a22a23a241dotsa243a2441dotsa2444otimesshifta2445otimesshifta245otimesshifta25otimesa3_88+underbracea1otimesshifta21otimesshifta221otimesshifta2221otimesa2222dotsa2225a223dotsa225a23dotsa25a3_108+underbracea1otimesshifta21otimesa22dotsa24otimesshifta25otimes1otimesshifta3otimes1_28-underbrace1otimesshifta1a21otimesa22dotsa24otimesshifta25otimes1otimesshifta3otimes1_29+underbrace1otimesshifta1otimesa21dotsa24otimesshifta25otimes1otimesshifta3otimes1_34+0+0+underbrace1otimesshifta1otimesshifta21otimesa22dotsa24hatomegaa25otimesshifta3otimes1_33-underbrace1otimesshifta1otimesshifta21otimesa22dotsa25hatomegaotimesshifta3otimes1_32-underbrace1otimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimeshatomegaa3_30+underbrace1otimesshifta1otimesshifta21otimesa22dotsa24otimesshifta25otimesa3hatomega_31-underbracehatomegaa1a21a22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_38+underbracea1a21hatomegaa22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_39+0+underbrace1otimesshifta1a21otimesa22hatomegaa23a24otimesshifta25otimesshifta3otimes1_40-underbrace1otimesshifta1a21otimesa22a23hatomegaa24otimesshifta25otimesshifta3otimes1_41+0-underbrace1otimesshifta1a21otimesa22otimesshifta23otimesa24a25otimesshifta3otimes1_60-underbrace1otimesshifta1a21otimesa22otimesshifta23otimesa24otimesshifta25otimesa3_56-underbracehatomegaa1a21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_42+underbracea1a21hatomegaa22a23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_43+0+0+0-underbrace1otimesshifta1a21otimesa22a23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_44-underbrace1otimesshifta1a21otimesa22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_100+0+underbracea1a21a22hatomegaa23a241dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_45-underbracea1a21a22a23a241hatomegaa242dotsa244otimesshifta245otimesshifta25otimesshifta3otimes1_46+0+0-underbracea1a21a22otimesshifta23a241otimesa242dotsa245otimesshifta25otimesshifta3otimes1_95+underbracea1a21a22otimesshifta23a241otimesa242dotsa244otimesshifta245otimesshifta25otimesa3_47-underbracea1otimesshifta21otimesa22otimesshifta23otimesa24a25otimesshifta3otimes1_48+underbrace1otimesshifta1a21otimesa22otimesshifta23otimesa24a25otimesshifta3otimes1_60-underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24a25otimesshifta3otimes1_49+0-underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24a25otimesshifta3otimes1_50+underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24a25otimesshifta3otimes1_51+0+underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25hatomegaa3_55-underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25a3hatomega_52-underbracea1otimesshifta21otimesa22otimesshifta23otimesa24otimesshifta25otimesa3_53+underbrace1otimesshifta1a21otimesa22otimesshifta23otimesa24otimesshifta25otimesa3_56-underbrace1otimesshifta1otimesa21a22otimesshifta23otimesa24otimesshifta25otimesa3_58+0-underbrace1otimesshifta1otimesshifta21otimesa22hatomegaa23a24otimesshifta25otimesa3_59+underbrace1otimesshifta1otimesshifta21otimesa22a23hatomegaa24otimesshifta25otimesa3_57+0+underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24hatomegaa25a3_54-underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesa24a25hatomegaa3_55+0+0-underbracea1a21dotsa23a241a242hatomegaa243a244otimesshifta245otimesshifta25otimesshifta3otimes1_61+underbracea1a21dotsa23a241dotsa243hatomegaa244otimesshifta245otimesshifta25otimesshifta3otimes1_62+0+underbracea1a21dotsa23a241a242otimesshifta243otimesa244a245otimesshifta25otimesshifta3otimes1_63-underbracea1a21a22a23a241a242otimesshifta243otimesa244otimesshifta245otimesshifta25otimesa3_64+underbracea1otimesshifta21otimesshifta221otimesa222dotsa224otimesshifta225a23otimesa24a25a3_65-underbrace1otimesshifta1a21otimesshifta221otimesa222dotsa224otimesshifta225a23otimesa24a25a3_86-underbrace1otimesshifta1otimesshifta21otimesa221dotsa224otimesshifta225a23otimesa24a25a3_92+0+0-underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa224hatomegaa225a23dotsa25a3_66+underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23hatomegaa24a25a3_67+0-underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24otimesshifta25a3otimes1_74-underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25a3otimes1_111+0+0+0+underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23a24hatomegaa25a3_68-underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25a3hatomega_69-underbracea1otimesshifta21otimesshifta221otimesa222otimesshifta223otimesa224a225a23a24a25a3_70+underbrace1otimesshifta1otimesshifta21otimesa221a222otimesshifta223otimesa224a225a23dotsa25a3_73+0+underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222hatomegaa223dotsa225a23dotsa25a3_71-underbrace1otimesshifta1otimesshifta21otimesshifta221otimesa222a223hatomegaa224a225a23dotsa25a3_72+0+0-underbracea1a21otimesshifta221otimesa222dotsa225a23a24otimesshifta25otimesshifta3otimes1_76+underbracea1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesshifta3otimes1_79+0+0+0-underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23dotsa25otimesshifta3otimes1_75+underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24otimesshifta25a3otimes1_74-underbracea1otimesshifta21otimesshifta221otimesa222dotsa225a23a24otimesshifta25otimesa3_77+0+0+underbracea1a21shiftotimesshiftpartialshiftinversea22otimesshifta23otimesa24otimesshifta25otimesshifta3otimes1_82-underbracea1a21a221dotsa224otimesshifta225otimesa23a24otimesshifta25otimesshifta3otimes1_85+0-underbracea1a21a221dotsa224otimesshifta225otimesshifta23otimesa24a25otimesshifta3otimes1_83-underbracea1a21a221dotsa224otimesshifta225otimesshifta23otimesa24otimesshifta25otimesa3_84-underbracea1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesshifta3otimes1_79+underbrace1otimesshifta1a21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesshifta3otimes1_78+0+0+0-underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23dotsa25otimesshifta3otimes1_80+underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25a3otimes1_111-underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22a23a24otimesshifta25otimesa3_81-underbracea1a21otimesshifta221otimesa222dotsa224otimesshifta225otimesshifta23otimesa24a25a3_87+0+0+underbrace1otimesshifta1a21otimesshifta221otimesa222dotsa224otimesshifta225a23otimesa24a25a3_86+0-underbracea1otimesshifta21otimesa221dotsa224otimesshifta225otimesshifta23otimesa24a25a3_89-underbrace1otimesshifta1otimesa21a221dotsa224otimesshifta225otimesshifta23otimesa24a25a3_90+0+0+underbrace1otimesshifta1otimesshifta21otimesshiftotimesshiftpartialshiftinversea22otimesshifta23otimesa24a25a3_91+underbrace1otimesshifta1otimesshifta21otimesa221dotsa224otimesshifta225a23otimesa24a25a3_92-underbrace1otimesshifta1otimesshifta21otimesa221dotsa224otimesshifta225otimesa23dotsa25a3_93+0+0-underbracea1a21dotsa23otimesshifta241otimesa242dotsa245otimesshifta25otimesshifta3otimes1_94+underbracea1a21a22otimesshifta23a241otimesa242dotsa245otimesshifta25otimesshifta3otimes1_95+underbracea1a21a22otimesshifta23otimesshiftotimesshiftpartialshiftinversea24otimesshifta25otimesshifta3otimes1_96+0+0-underbracea1a21a22otimesshifta23otimesshifta241otimesa242dotsa245a25otimesshifta3otimes1_98-underbracea1a21a22otimesshifta23otimesshifta241otimesa242dotsa245otimesshifta25otimesa3_97-underbracea1otimesshifta21otimesa22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_99+underbrace1otimesshifta1a21otimesa22a23a241dotsa244otimesshifta245otimesshifta25otimesa3_100-underbrace1otimesshifta1otimesa21dotsa23a241dotsa244otimesshifta245otimesshifta25otimesa3_101+0+0+0+underbrace1otimesshifta1otimesshifta21otimesa22a23shiftotimesshiftpartialshiftinversea24otimesshifta25otimesa3_102-underbrace1otimesshifta1otimesshifta21otimesa22a23a241dotsa244otimesshifta245otimesa25a3_103-underbracea1otimesshifta21otimesa22otimesshifta23otimesshifta241otimesa242dotsa245a25a3_104-underbrace1otimesshifta1otimesa21a22otimesshifta23otimesshifta241otimesa242dotsa245a25a3_105+0-underbrace1otimesshifta1otimesshifta21otimesa22a23otimesshifta241otimesa242dotsa245a25a3_106+underbrace1otimesshifta1otimesshifta21otimesa22otimesshifta23otimesshiftotimesshiftpartialshiftinversea24a25a3_107+0+0-underbracea1otimesshifta21otimesshifta221otimesshifta2221otimesa2222dotsa2225a223dotsa225a23dotsa25a3_108+underbrace1otimesshifta1otimesshifta21otimesshifta221otimesshiftotimesshiftpartialshiftinversea222a223dotsa225a23dotsa25a3_109+0+0+0+00+0+0+0+underbracea1a21dotsa23a241dotsa243shiftotimesshiftpartialshiftinversea244otimesshifta245otimesshifta25otimesshifta3otimes1_110-underbracea1a21a22a23a241dotsa243a2441dotsa2444otimesshifta2445otimesshifta245otimesshifta25otimesa3_88;