ass2:= 
+z2*(-1*AB+1*BA)
;
ass3:= 
+z21*(+1*ABB-2*BAB+1*BBA)
+z3*(-1*AAB+2*ABA-1*BAA)
;
ass4:= 
+z211*(-1*ABBB+3*BABB-3*BBAB+1*BBBA)
+z31*(+1*AABB-2*ABBA-2*BAAB+4*BABA-1*BBAA)
+z4*(-1*AAAB+3*AABA-3*ABAA+1*BAAA)
+z22*(+1*ABAB-1*ABBA-1*BAAB+1*BABA)
;
ass5:= 
+z2111*(+1*ABBBB-4*BABBB+6*BBABB-4*BBBAB+1*BBBBA)
+z311*(-1*AABBB+2*ABBBA+3*BAABB-6*BABBA-3*BBAAB+6*BBABA-1*BBBAA)
+z41*(+1*AAABB-3*AABBA+3*ABBAA-2*BAAAB+6*BAABA-6*BABAA+1*BBAAA)
+z5*(-1*AAAAB+4*AAABA-6*AABAA+4*ABAAA-1*BAAAA)
+z221*(-1*ABABB+1*ABBBA+1*BAABB+2*BABAB-3*BABBA-2*BBAAB+2*BBABA)
+z212*(-1*ABBAB+1*ABBBA+2*BABAB-2*BABBA-1*BBAAB+1*BBABA)
+z23*(+1*ABAAB-2*ABABA+1*ABBAA-1*BAAAB+2*BAABA-1*BABAA)
+z32*(+1*AABAB-1*AABBA-2*ABABA+2*ABBAA-1*BAAAB+3*BAABA-2*BABAA)
;
ass6:= 
+z21111*(-1*ABBBBB+5*BABBBB-10*BBABBB+10*BBBABB-5*BBBBAB+1*BBBBBA)
+z3111*(+1*AABBBB-2*ABBBBA-4*BAABBB+8*BABBBA+6*BBAABB-12*BBABBA-4*BBBAAB+8*BBBABA-1*BBBBAA)
+z411*(-1*AAABBB+3*AABBBA-3*ABBBAA+3*BAAABB-9*BAABBA+9*BABBAA-3*BBAAAB+9*BBAABA-9*BBABAA+1*BBBAAA)
+z51*(+1*AAAABB-4*AAABBA+6*AABBAA-4*ABBAAA-2*BAAAAB+8*BAAABA-12*BAABAA+8*BABAAA-1*BBAAAA)
+z6*(-1*AAAAAB+5*AAAABA-10*AAABAA+10*AABAAA-5*ABAAAA+1*BAAAAA)
+z2211*(+1*ABABBB-1*ABBBBA-1*BAABBB-3*BABABB+4*BABBBA+3*BBAABB+3*BBABAB-6*BBABBA-3*BBBAAB+3*BBBABA)
+z2121*(+1*ABBABB-1*ABBBBA-2*BABABB-2*BABBAB+4*BABBBA+1*BBAABB+4*BBABAB-5*BBABBA-2*BBBAAB+2*BBBABA)
+z2112*(+1*ABBBAB-1*ABBBBA-3*BABBAB+3*BABBBA+3*BBABAB-3*BBABBA-1*BBBAAB+1*BBBABA)
+z231*(-1*ABAABB+2*ABABBA-1*ABBBAA+1*BAAABB-2*BAABBA+2*BABAAB-4*BABABA+3*BABBAA-2*BBAAAB+4*BBAABA-2*BBABAA)
+z213*(-1*ABBAAB+2*ABBABA-1*ABBBAA+2*BABAAB-4*BABABA+2*BABBAA-1*BBAAAB+2*BBAABA-1*BBABAA)
+z321*(-1*AABABB+1*AABBBA+2*ABABBA-2*ABBBAA+1*BAAABB+2*BAABAB-5*BAABBA-4*BABABA+6*BABBAA-2*BBAAAB+6*BBAABA-4*BBABAA)
+z312*(-1*AABBAB+1*AABBBA+2*ABBABA-2*ABBBAA+2*BAABAB-2*BAABBA-4*BABABA+4*BABBAA-1*BBAAAB+3*BBAABA-2*BBABAA)
+z24*(+1*ABAAAB-3*ABAABA+3*ABABAA-1*ABBAAA-1*BAAAAB+3*BAAABA-3*BAABAA+1*BABAAA)
+z33*(+1*AABAAB-2*AABABA+1*AABBAA-2*ABAABA+4*ABABAA-2*ABBAAA-1*BAAAAB+4*BAAABA-5*BAABAA+2*BABAAA)
+z42*(+1*AAABAB-1*AAABBA-3*AABABA+3*AABBAA+3*ABABAA-3*ABBAAA-1*BAAAAB+4*BAAABA-6*BAABAA+3*BABAAA)
+z222*(-1*ABABAB+1*ABABBA+1*ABBABA-1*ABBBAA+1*BAABAB-1*BAABBA+1*BABAAB-3*BABABA+2*BABBAA-1*BBAAAB+2*BBAABA-1*BBABAA)
;
ass7:= 
+z211111*(+1*ABBBBBB-6*BABBBBB+15*BBABBBB-20*BBBABBB+15*BBBBABB-6*BBBBBAB+1*BBBBBBA)
+z31111*(-1*AABBBBB+2*ABBBBBA+5*BAABBBB-10*BABBBBA-10*BBAABBB+20*BBABBBA+10*BBBAABB-20*BBBABBA-5*BBBBAAB+10*BBBBABA-1*BBBBBAA)
+z4111*(+1*AAABBBB-3*AABBBBA+3*ABBBBAA-4*BAAABBB+12*BAABBBA-12*BABBBAA+6*BBAAABB-18*BBAABBA+18*BBABBAA-4*BBBAAAB+12*BBBAABA-12*BBBABAA+1*BBBBAAA)
+z511*(-1*AAAABBB+4*AAABBBA-6*AABBBAA+4*ABBBAAA+3*BAAAABB-12*BAAABBA+18*BAABBAA-12*BABBAAA-3*BBAAAAB+12*BBAAABA-18*BBAABAA+12*BBABAAA-1*BBBAAAA)
+z61*(+1*AAAAABB-5*AAAABBA+10*AAABBAA-10*AABBAAA+5*ABBAAAA-2*BAAAAAB+10*BAAAABA-20*BAAABAA+20*BAABAAA-10*BABAAAA+1*BBAAAAA)
+z7*(-1*AAAAAAB+6*AAAAABA-15*AAAABAA+20*AAABAAA-15*AABAAAA+6*ABAAAAA-1*BAAAAAA)
+z22111*(-1*ABABBBB+1*ABBBBBA+1*BAABBBB+4*BABABBB-5*BABBBBA-4*BBAABBB-6*BBABABB+10*BBABBBA+6*BBBAABB+4*BBBABAB-10*BBBABBA-4*BBBBAAB+4*BBBBABA)
+z21211*(-1*ABBABBB+1*ABBBBBA+2*BABABBB+3*BABBABB-5*BABBBBA-1*BBAABBB-6*BBABABB-3*BBABBAB+10*BBABBBA+3*BBBAABB+6*BBBABAB-9*BBBABBA-3*BBBBAAB+3*BBBBABA)
+z21121*(-1*ABBBABB+1*ABBBBBA+3*BABBABB+2*BABBBAB-5*BABBBBA-3*BBABABB-6*BBABBAB+9*BBABBBA+1*BBBAABB+6*BBBABAB-7*BBBABBA-2*BBBBAAB+2*BBBBABA)
+z21112*(-1*ABBBBAB+1*ABBBBBA+4*BABBBAB-4*BABBBBA-6*BBABBAB+6*BBABBBA+4*BBBABAB-4*BBBABBA-1*BBBBAAB+1*BBBBABA)
+z2311*(+1*ABAABBB-2*ABABBBA+1*ABBBBAA-1*BAAABBB+2*BAABBBA-3*BABAABB+6*BABABBA-4*BABBBAA+3*BBAAABB-6*BBAABBA+3*BBABAAB-6*BBABABA+6*BBABBAA-3*BBBAAAB+6*BBBAABA-3*BBBABAA)
+z2131*(+1*ABBAABB-2*ABBABBA+1*ABBBBAA-2*BABAABB+4*BABABBA-2*BABBAAB+4*BABBABA-4*BABBBAA+1*BBAAABB-2*BBAABBA+4*BBABAAB-8*BBABABA+5*BBABBAA-2*BBBAAAB+4*BBBAABA-2*BBBABAA)
+z2113*(+1*ABBBAAB-2*ABBBABA+1*ABBBBAA-3*BABBAAB+6*BABBABA-3*BABBBAA+3*BBABAAB-6*BBABABA+3*BBABBAA-1*BBBAAAB+2*BBBAABA-1*BBBABAA)
+z3211*(+1*AABABBB-1*AABBBBA-2*ABABBBA+2*ABBBBAA-1*BAAABBB-3*BAABABB+6*BAABBBA+6*BABABBA-8*BABBBAA+3*BBAAABB+3*BBAABAB-12*BBAABBA-6*BBABABA+12*BBABBAA-3*BBBAAAB+9*BBBAABA-6*BBBABAA)
+z3121*(+1*AABBABB-1*AABBBBA-2*ABBABBA+2*ABBBBAA-2*BAABABB-2*BAABBAB+4*BAABBBA+4*BABABBA+4*BABBABA-8*BABBBAA+1*BBAAABB+4*BBAABAB-7*BBAABBA-8*BBABABA+10*BBABBAA-2*BBBAAAB+6*BBBAABA-4*BBBABAA)
+z3112*(+1*AABBBAB-1*AABBBBA-2*ABBBABA+2*ABBBBAA-3*BAABBAB+3*BAABBBA+6*BABBABA-6*BABBBAA+3*BBAABAB-3*BBAABBA-6*BBABABA+6*BBABBAA-1*BBBAAAB+3*BBBAABA-2*BBBABAA)
+z241*(-1*ABAAABB+3*ABAABBA-3*ABABBAA+1*ABBBAAA+1*BAAAABB-3*BAAABBA+3*BAABBAA+2*BABAAAB-6*BABAABA+6*BABABAA-3*BABBAAA-2*BBAAAAB+6*BBAAABA-6*BBAABAA+2*BBABAAA)
+z214*(-1*ABBAAAB+3*ABBAABA-3*ABBABAA+1*ABBBAAA+2*BABAAAB-6*BABAABA+6*BABABAA-2*BABBAAA-1*BBAAAAB+3*BBAAABA-3*BBAABAA+1*BBABAAA)
+z331*(-1*AABAABB+2*AABABBA-1*AABBBAA+2*ABAABBA-4*ABABBAA+2*ABBBAAA+1*BAAAABB-4*BAAABBA+2*BAABAAB-4*BAABABA+7*BAABBAA-4*BABAABA+8*BABABAA-6*BABBAAA-2*BBAAAAB+8*BBAAABA-10*BBAABAA+4*BBABAAA)
+z313*(-1*AABBAAB+2*AABBABA-1*AABBBAA+2*ABBAABA-4*ABBABAA+2*ABBBAAA+2*BAABAAB-4*BAABABA+2*BAABBAA-4*BABAABA+8*BABABAA-4*BABBAAA-1*BBAAAAB+4*BBAAABA-5*BBAABAA+2*BBABAAA)
+z421*(-1*AAABABB+1*AAABBBA+3*AABABBA-3*AABBBAA-3*ABABBAA+3*ABBBAAA+1*BAAAABB+2*BAAABAB-6*BAAABBA-6*BAABABA+12*BAABBAA+6*BABABAA-9*BABBAAA-2*BBAAAAB+8*BBAAABA-12*BBAABAA+6*BBABAAA)
+z412*(-1*AAABBAB+1*AAABBBA+3*AABBABA-3*AABBBAA-3*ABBABAA+3*ABBBAAA+2*BAAABAB-2*BAAABBA-6*BAABABA+6*BAABBAA+6*BABABAA-6*BABBAAA-1*BBAAAAB+4*BBAAABA-6*BBAABAA+3*BBABAAA)
+z25*(+1*ABAAAAB-4*ABAAABA+6*ABAABAA-4*ABABAAA+1*ABBAAAA-1*BAAAAAB+4*BAAAABA-6*BAAABAA+4*BAABAAA-1*BABAAAA)
+z34*(+1*AABAAAB-3*AABAABA+3*AABABAA-1*AABBAAA-2*ABAAABA+6*ABAABAA-6*ABABAAA+2*ABBAAAA-1*BAAAAAB+5*BAAAABA-9*BAAABAA+7*BAABAAA-2*BABAAAA)
+z43*(+1*AAABAAB-2*AAABABA+1*AAABBAA-3*AABAABA+6*AABABAA-3*AABBAAA+3*ABAABAA-6*ABABAAA+3*ABBAAAA-1*BAAAAAB+5*BAAAABA-10*BAAABAA+9*BAABAAA-3*BABAAAA)
+z52*(+1*AAAABAB-1*AAAABBA-4*AAABABA+4*AAABBAA+6*AABABAA-6*AABBAAA-4*ABABAAA+4*ABBAAAA-1*BAAAAAB+5*BAAAABA-10*BAAABAA+10*BAABAAA-4*BABAAAA)
+z2221*(+1*ABABABB-1*ABABBBA-1*ABBABBA+1*ABBBBAA-1*BAABABB+1*BAABBBA-1*BABAABB-2*BABABAB+5*BABABBA+2*BABBABA-4*BABBBAA+1*BBAAABB+2*BBAABAB-4*BBAABBA+2*BBABAAB-6*BBABABA+5*BBABBAA-2*BBBAAAB+4*BBBAABA-2*BBBABAA)
+z2212*(+1*ABABBAB-1*ABABBBA-1*ABBBABA+1*ABBBBAA-1*BAABBAB+1*BAABBBA-2*BABABAB+2*BABABBA+3*BABBABA-3*BABBBAA+2*BBAABAB-2*BBAABBA+1*BBABAAB-4*BBABABA+3*BBABBAA-1*BBBAAAB+2*BBBAABA-1*BBBABAA)
+z2122*(+1*ABBABAB-1*ABBABBA-1*ABBBABA+1*ABBBBAA-2*BABABAB+2*BABABBA-1*BABBAAB+4*BABBABA-3*BABBBAA+1*BBAABAB-1*BBAABBA+2*BBABAAB-5*BBABABA+3*BBABBAA-1*BBBAAAB+2*BBBAABA-1*BBBABAA)
+z223*(-1*ABABAAB+2*ABABABA-1*ABABBAA+1*ABBAABA-2*ABBABAA+1*ABBBAAA+1*BAABAAB-2*BAABABA+1*BAABBAA+1*BABAAAB-4*BABAABA+5*BABABAA-2*BABBAAA-1*BBAAAAB+3*BBAAABA-3*BBAABAA+1*BBABAAA)
+z232*(-1*ABAABAB+1*ABAABBA+2*ABABABA-2*ABABBAA-1*ABBABAA+1*ABBBAAA+1*BAAABAB-1*BAAABBA-2*BAABABA+2*BAABBAA+1*BABAAAB-3*BABAABA+4*BABABAA-2*BABBAAA-1*BBAAAAB+3*BBAAABA-3*BBAABAA+1*BBABAAA)
+z322*(-1*AABABAB+1*AABABBA+1*AABBABA-1*AABBBAA+2*ABABABA-2*ABABBAA-2*ABBABAA+2*ABBBAAA+1*BAAABAB-1*BAAABBA+1*BAABAAB-5*BAABABA+4*BAABBAA-2*BABAABA+6*BABABAA-4*BABBAAA-1*BBAAAAB+4*BBAAABA-5*BBAABAA+2*BBABAAA)
;
ass8:= 
+z2111111*(-1*ABBBBBBB+7*BABBBBBB-21*BBABBBBB+35*BBBABBBB-35*BBBBABBB+21*BBBBBABB-7*BBBBBBAB+1*BBBBBBBA)
+z311111*(+1*AABBBBBB-2*ABBBBBBA-6*BAABBBBB+12*BABBBBBA+15*BBAABBBB-30*BBABBBBA-20*BBBAABBB+40*BBBABBBA+15*BBBBAABB-30*BBBBABBA-6*BBBBBAAB+12*BBBBBABA-1*BBBBBBAA)
+z41111*(-1*AAABBBBB+3*AABBBBBA-3*ABBBBBAA+5*BAAABBBB-15*BAABBBBA+15*BABBBBAA-10*BBAAABBB+30*BBAABBBA-30*BBABBBAA+10*BBBAAABB-30*BBBAABBA+30*BBBABBAA-5*BBBBAAAB+15*BBBBAABA-15*BBBBABAA+1*BBBBBAAA)
+z5111*(+1*AAAABBBB-4*AAABBBBA+6*AABBBBAA-4*ABBBBAAA-4*BAAAABBB+16*BAAABBBA-24*BAABBBAA+16*BABBBAAA+6*BBAAAABB-24*BBAAABBA+36*BBAABBAA-24*BBABBAAA-4*BBBAAAAB+16*BBBAAABA-24*BBBAABAA+16*BBBABAAA-1*BBBBAAAA)
+z611*(-1*AAAAABBB+5*AAAABBBA-10*AAABBBAA+10*AABBBAAA-5*ABBBAAAA+3*BAAAAABB-15*BAAAABBA+30*BAAABBAA-30*BAABBAAA+15*BABBAAAA-3*BBAAAAAB+15*BBAAAABA-30*BBAAABAA+30*BBAABAAA-15*BBABAAAA+1*BBBAAAAA)
+z71*(+1*AAAAAABB-6*AAAAABBA+15*AAAABBAA-20*AAABBAAA+15*AABBAAAA-6*ABBAAAAA-2*BAAAAAAB+12*BAAAAABA-30*BAAAABAA+40*BAAABAAA-30*BAABAAAA+12*BABAAAAA-1*BBAAAAAA)
+z8*(-1*AAAAAAAB+7*AAAAAABA-21*AAAAABAA+35*AAAABAAA-35*AAABAAAA+21*AABAAAAA-7*ABAAAAAA+1*BAAAAAAA)
+z221111*(+1*ABABBBBB-1*ABBBBBBA-1*BAABBBBB-5*BABABBBB+6*BABBBBBA+5*BBAABBBB+10*BBABABBB-15*BBABBBBA-10*BBBAABBB-10*BBBABABB+20*BBBABBBA+10*BBBBAABB+5*BBBBABAB-15*BBBBABBA-5*BBBBBAAB+5*BBBBBABA)
+z212111*(+1*ABBABBBB-1*ABBBBBBA-2*BABABBBB-4*BABBABBB+6*BABBBBBA+1*BBAABBBB+8*BBABABBB+6*BBABBABB-15*BBABBBBA-4*BBBAABBB-12*BBBABABB-4*BBBABBAB+20*BBBABBBA+6*BBBBAABB+8*BBBBABAB-14*BBBBABBA-4*BBBBBAAB+4*BBBBBABA)
+z211211*(+1*ABBBABBB-1*ABBBBBBA-3*BABBABBB-3*BABBBABB+6*BABBBBBA+3*BBABABBB+9*BBABBABB+3*BBABBBAB-15*BBABBBBA-1*BBBAABBB-9*BBBABABB-9*BBBABBAB+19*BBBABBBA+3*BBBBAABB+9*BBBBABAB-12*BBBBABBA-3*BBBBBAAB+3*BBBBBABA)
+z211121*(+1*ABBBBABB-1*ABBBBBBA-4*BABBBABB-2*BABBBBAB+6*BABBBBBA+6*BBABBABB+8*BBABBBAB-14*BBABBBBA-4*BBBABABB-12*BBBABBAB+16*BBBABBBA+1*BBBBAABB+8*BBBBABAB-9*BBBBABBA-2*BBBBBAAB+2*BBBBBABA)
+z211112*(+1*ABBBBBAB-1*ABBBBBBA-5*BABBBBAB+5*BABBBBBA+10*BBABBBAB-10*BBABBBBA-10*BBBABBAB+10*BBBABBBA+5*BBBBABAB-5*BBBBABBA-1*BBBBBAAB+1*BBBBBABA)
+z23111*(-1*ABAABBBB+2*ABABBBBA-1*ABBBBBAA+1*BAAABBBB-2*BAABBBBA+4*BABAABBB-8*BABABBBA+5*BABBBBAA-4*BBAAABBB+8*BBAABBBA-6*BBABAABB+12*BBABABBA-10*BBABBBAA+6*BBBAAABB-12*BBBAABBA+4*BBBABAAB-8*BBBABABA+10*BBBABBAA-4*BBBBAAAB+8*BBBBAABA-4*BBBBABAA)
+z21311*(-1*ABBAABBB+2*ABBABBBA-1*ABBBBBAA+2*BABAABBB-4*BABABBBA+3*BABBAABB-6*BABBABBA+5*BABBBBAA-1*BBAAABBB+2*BBAABBBA-6*BBABAABB+12*BBABABBA-3*BBABBAAB+6*BBABBABA-10*BBABBBAA+3*BBBAAABB-6*BBBAABBA+6*BBBABAAB-12*BBBABABA+9*BBBABBAA-3*BBBBAAAB+6*BBBBAABA-3*BBBBABAA)
+z21131*(-1*ABBBAABB+2*ABBBABBA-1*ABBBBBAA+3*BABBAABB-6*BABBABBA+2*BABBBAAB-4*BABBBABA+5*BABBBBAA-3*BBABAABB+6*BBABABBA-6*BBABBAAB+12*BBABBABA-9*BBABBBAA+1*BBBAAABB-2*BBBAABBA+6*BBBABAAB-12*BBBABABA+7*BBBABBAA-2*BBBBAAAB+4*BBBBAABA-2*BBBBABAA)
+z21113*(-1*ABBBBAAB+2*ABBBBABA-1*ABBBBBAA+4*BABBBAAB-8*BABBBABA+4*BABBBBAA-6*BBABBAAB+12*BBABBABA-6*BBABBBAA+4*BBBABAAB-8*BBBABABA+4*BBBABBAA-1*BBBBAAAB+2*BBBBAABA-1*BBBBABAA)
+z32111*(-1*AABABBBB+1*AABBBBBA+2*ABABBBBA-2*ABBBBBAA+1*BAAABBBB+4*BAABABBB-7*BAABBBBA-8*BABABBBA+10*BABBBBAA-4*BBAAABBB-6*BBAABABB+18*BBAABBBA+12*BBABABBA-20*BBABBBAA+6*BBBAAABB+4*BBBAABAB-22*BBBAABBA-8*BBBABABA+20*BBBABBAA-4*BBBBAAAB+12*BBBBAABA-8*BBBBABAA)
+z31211*(-1*AABBABBB+1*AABBBBBA+2*ABBABBBA-2*ABBBBBAA+2*BAABABBB+3*BAABBABB-5*BAABBBBA-4*BABABBBA-6*BABBABBA+10*BABBBBAA-1*BBAAABBB-6*BBAABABB-3*BBAABBAB+12*BBAABBBA+12*BBABABBA+6*BBABBABA-20*BBABBBAA+3*BBBAAABB+6*BBBAABAB-15*BBBAABBA-12*BBBABABA+18*BBBABBAA-3*BBBBAAAB+9*BBBBAABA-6*BBBBABAA)
+z31121*(-1*AABBBABB+1*AABBBBBA+2*ABBBABBA-2*ABBBBBAA+3*BAABBABB+2*BAABBBAB-5*BAABBBBA-6*BABBABBA-4*BABBBABA+10*BABBBBAA-3*BBAABABB-6*BBAABBAB+9*BBAABBBA+6*BBABABBA+12*BBABBABA-18*BBABBBAA+1*BBBAAABB+6*BBBAABAB-9*BBBAABBA-12*BBBABABA+14*BBBABBAA-2*BBBBAAAB+6*BBBBAABA-4*BBBBABAA)
+z31112*(-1*AABBBBAB+1*AABBBBBA+2*ABBBBABA-2*ABBBBBAA+4*BAABBBAB-4*BAABBBBA-8*BABBBABA+8*BABBBBAA-6*BBAABBAB+6*BBAABBBA+12*BBABBABA-12*BBABBBAA+4*BBBAABAB-4*BBBAABBA-8*BBBABABA+8*BBBABBAA-1*BBBBAAAB+3*BBBBAABA-2*BBBBABAA)
+z2411*(+1*ABAAABBB-3*ABAABBBA+3*ABABBBAA-1*ABBBBAAA-1*BAAAABBB+3*BAAABBBA-3*BAABBBAA-3*BABAAABB+9*BABAABBA-9*BABABBAA+4*BABBBAAA+3*BBAAAABB-9*BBAAABBA+9*BBAABBAA+3*BBABAAAB-9*BBABAABA+9*BBABABAA-6*BBABBAAA-3*BBBAAAAB+9*BBBAAABA-9*BBBAABAA+3*BBBABAAA)
+z2141*(+1*ABBAAABB-3*ABBAABBA+3*ABBABBAA-1*ABBBBAAA-2*BABAAABB+6*BABAABBA-6*BABABBAA-2*BABBAAAB+6*BABBAABA-6*BABBABAA+4*BABBBAAA+1*BBAAAABB-3*BBAAABBA+3*BBAABBAA+4*BBABAAAB-12*BBABAABA+12*BBABABAA-5*BBABBAAA-2*BBBAAAAB+6*BBBAAABA-6*BBBAABAA+2*BBBABAAA)
+z2114*(+1*ABBBAAAB-3*ABBBAABA+3*ABBBABAA-1*ABBBBAAA-3*BABBAAAB+9*BABBAABA-9*BABBABAA+3*BABBBAAA+3*BBABAAAB-9*BBABAABA+9*BBABABAA-3*BBABBAAA-1*BBBAAAAB+3*BBBAAABA-3*BBBAABAA+1*BBBABAAA)
+z3311*(+1*AABAABBB-2*AABABBBA+1*AABBBBAA-2*ABAABBBA+4*ABABBBAA-2*ABBBBAAA-1*BAAAABBB+4*BAAABBBA-3*BAABAABB+6*BAABABBA-8*BAABBBAA+6*BABAABBA-12*BABABBAA+8*BABBBAAA+3*BBAAAABB-12*BBAAABBA+3*BBAABAAB-6*BBAABABA+18*BBAABBAA-6*BBABAABA+12*BBABABAA-12*BBABBAAA-3*BBBAAAAB+12*BBBAAABA-15*BBBAABAA+6*BBBABAAA)
+z3131*(+1*AABBAABB-2*AABBABBA+1*AABBBBAA-2*ABBAABBA+4*ABBABBAA-2*ABBBBAAA-2*BAABAABB+4*BAABABBA-2*BAABBAAB+4*BAABBABA-4*BAABBBAA+4*BABAABBA-8*BABABBAA+4*BABBAABA-8*BABBABAA+8*BABBBAAA+1*BBAAAABB-4*BBAAABBA+4*BBAABAAB-8*BBAABABA+9*BBAABBAA-8*BBABAABA+16*BBABABAA-10*BBABBAAA-2*BBBAAAAB+8*BBBAAABA-10*BBBAABAA+4*BBBABAAA)
+z3113*(+1*AABBBAAB-2*AABBBABA+1*AABBBBAA-2*ABBBAABA+4*ABBBABAA-2*ABBBBAAA-3*BAABBAAB+6*BAABBABA-3*BAABBBAA+6*BABBAABA-12*BABBABAA+6*BABBBAAA+3*BBAABAAB-6*BBAABABA+3*BBAABBAA-6*BBABAABA+12*BBABABAA-6*BBABBAAA-1*BBBAAAAB+4*BBBAAABA-5*BBBAABAA+2*BBBABAAA)
+z4211*(+1*AAABABBB-1*AAABBBBA-3*AABABBBA+3*AABBBBAA+3*ABABBBAA-3*ABBBBAAA-1*BAAAABBB-3*BAAABABB+7*BAAABBBA+9*BAABABBA-15*BAABBBAA-9*BABABBAA+12*BABBBAAA+3*BBAAAABB+3*BBAAABAB-15*BBAAABBA-9*BBAABABA+27*BBAABBAA+9*BBABABAA-18*BBABBAAA-3*BBBAAAAB+12*BBBAAABA-18*BBBAABAA+9*BBBABAAA)
+z4121*(+1*AAABBABB-1*AAABBBBA-3*AABBABBA+3*AABBBBAA+3*ABBABBAA-3*ABBBBAAA-2*BAAABABB-2*BAAABBAB+4*BAAABBBA+6*BAABABBA+6*BAABBABA-12*BAABBBAA-6*BABABBAA-6*BABBABAA+12*BABBBAAA+1*BBAAAABB+4*BBAAABAB-8*BBAAABBA-12*BBAABABA+18*BBAABBAA+12*BBABABAA-15*BBABBAAA-2*BBBAAAAB+8*BBBAAABA-12*BBBAABAA+6*BBBABAAA)
+z4112*(+1*AAABBBAB-1*AAABBBBA-3*AABBBABA+3*AABBBBAA+3*ABBBABAA-3*ABBBBAAA-3*BAAABBAB+3*BAAABBBA+9*BAABBABA-9*BAABBBAA-9*BABBABAA+9*BABBBAAA+3*BBAAABAB-3*BBAAABBA-9*BBAABABA+9*BBAABBAA+9*BBABABAA-9*BBABBAAA-1*BBBAAAAB+4*BBBAAABA-6*BBBAABAA+3*BBBABAAA)
+z251*(-1*ABAAAABB+4*ABAAABBA-6*ABAABBAA+4*ABABBAAA-1*ABBBAAAA+1*BAAAAABB-4*BAAAABBA+6*BAAABBAA-4*BAABBAAA+2*BABAAAAB-8*BABAAABA+12*BABAABAA-8*BABABAAA+3*BABBAAAA-2*BBAAAAAB+8*BBAAAABA-12*BBAAABAA+8*BBAABAAA-2*BBABAAAA)
+z215*(-1*ABBAAAAB+4*ABBAAABA-6*ABBAABAA+4*ABBABAAA-1*ABBBAAAA+2*BABAAAAB-8*BABAAABA+12*BABAABAA-8*BABABAAA+2*BABBAAAA-1*BBAAAAAB+4*BBAAAABA-6*BBAAABAA+4*BBAABAAA-1*BBABAAAA)
+z341*(-1*AABAAABB+3*AABAABBA-3*AABABBAA+1*AABBBAAA+2*ABAAABBA-6*ABAABBAA+6*ABABBAAA-2*ABBBAAAA+1*BAAAAABB-5*BAAAABBA+9*BAAABBAA+2*BAABAAAB-6*BAABAABA+6*BAABABAA-9*BAABBAAA-4*BABAAABA+12*BABAABAA-12*BABABAAA+6*BABBAAAA-2*BBAAAAAB+10*BBAAAABA-18*BBAAABAA+14*BBAABAAA-4*BBABAAAA)
+z314*(-1*AABBAAAB+3*AABBAABA-3*AABBABAA+1*AABBBAAA+2*ABBAAABA-6*ABBAABAA+6*ABBABAAA-2*ABBBAAAA+2*BAABAAAB-6*BAABAABA+6*BAABABAA-2*BAABBAAA-4*BABAAABA+12*BABAABAA-12*BABABAAA+4*BABBAAAA-1*BBAAAAAB+5*BBAAAABA-9*BBAAABAA+7*BBAABAAA-2*BBABAAAA)
+z431*(-1*AAABAABB+2*AAABABBA-1*AAABBBAA+3*AABAABBA-6*AABABBAA+3*AABBBAAA-3*ABAABBAA+6*ABABBAAA-3*ABBBAAAA+1*BAAAAABB-5*BAAAABBA+2*BAAABAAB-4*BAAABABA+12*BAAABBAA-6*BAABAABA+12*BAABABAA-15*BAABBAAA+6*BABAABAA-12*BABABAAA+9*BABBAAAA-2*BBAAAAAB+10*BBAAAABA-20*BBAAABAA+18*BBAABAAA-6*BBABAAAA)
+z413*(-1*AAABBAAB+2*AAABBABA-1*AAABBBAA+3*AABBAABA-6*AABBABAA+3*AABBBAAA-3*ABBAABAA+6*ABBABAAA-3*ABBBAAAA+2*BAAABAAB-4*BAAABABA+2*BAAABBAA-6*BAABAABA+12*BAABABAA-6*BAABBAAA+6*BABAABAA-12*BABABAAA+6*BABBAAAA-1*BBAAAAAB+5*BBAAAABA-10*BBAAABAA+9*BBAABAAA-3*BBABAAAA)
+z521*(-1*AAAABABB+1*AAAABBBA+4*AAABABBA-4*AAABBBAA-6*AABABBAA+6*AABBBAAA+4*ABABBAAA-4*ABBBAAAA+1*BAAAAABB+2*BAAAABAB-7*BAAAABBA-8*BAAABABA+18*BAAABBAA+12*BAABABAA-22*BAABBAAA-8*BABABAAA+12*BABBAAAA-2*BBAAAAAB+10*BBAAAABA-20*BBAAABAA+20*BBAABAAA-8*BBABAAAA)
+z512*(-1*AAAABBAB+1*AAAABBBA+4*AAABBABA-4*AAABBBAA-6*AABBABAA+6*AABBBAAA+4*ABBABAAA-4*ABBBAAAA+2*BAAAABAB-2*BAAAABBA-8*BAAABABA+8*BAAABBAA+12*BAABABAA-12*BAABBAAA-8*BABABAAA+8*BABBAAAA-1*BBAAAAAB+5*BBAAAABA-10*BBAAABAA+10*BBAABAAA-4*BBABAAAA)
+z26*(+1*ABAAAAAB-5*ABAAAABA+10*ABAAABAA-10*ABAABAAA+5*ABABAAAA-1*ABBAAAAA-1*BAAAAAAB+5*BAAAAABA-10*BAAAABAA+10*BAAABAAA-5*BAABAAAA+1*BABAAAAA)
+z35*(+1*AABAAAAB-4*AABAAABA+6*AABAABAA-4*AABABAAA+1*AABBAAAA-2*ABAAAABA+8*ABAAABAA-12*ABAABAAA+8*ABABAAAA-2*ABBAAAAA-1*BAAAAAAB+6*BAAAAABA-14*BAAAABAA+16*BAAABAAA-9*BAABAAAA+2*BABAAAAA)
+z44*(+1*AAABAAAB-3*AAABAABA+3*AAABABAA-1*AAABBAAA-3*AABAAABA+9*AABAABAA-9*AABABAAA+3*AABBAAAA+3*ABAAABAA-9*ABAABAAA+9*ABABAAAA-3*ABBAAAAA-1*BAAAAAAB+6*BAAAAABA-15*BAAAABAA+19*BAAABAAA-12*BAABAAAA+3*BABAAAAA)
+z53*(+1*AAAABAAB-2*AAAABABA+1*AAAABBAA-4*AAABAABA+8*AAABABAA-4*AAABBAAA+6*AABAABAA-12*AABABAAA+6*AABBAAAA-4*ABAABAAA+8*ABABAAAA-4*ABBAAAAA-1*BAAAAAAB+6*BAAAAABA-15*BAAAABAA+20*BAAABAAA-14*BAABAAAA+4*BABAAAAA)
+z62*(+1*AAAAABAB-1*AAAAABBA-5*AAAABABA+5*AAAABBAA+10*AAABABAA-10*AAABBAAA-10*AABABAAA+10*AABBAAAA+5*ABABAAAA-5*ABBAAAAA-1*BAAAAAAB+6*BAAAAABA-15*BAAAABAA+20*BAAABAAA-15*BAABAAAA+5*BABAAAAA)
+z22211*(-1*ABABABBB+1*ABABBBBA+1*ABBABBBA-1*ABBBBBAA+1*BAABABBB-1*BAABBBBA+1*BABAABBB+3*BABABABB-6*BABABBBA-3*BABBABBA+5*BABBBBAA-1*BBAAABBB-3*BBAABABB+5*BBAABBBA-3*BBABAABB-3*BBABABAB+12*BBABABBA+3*BBABBABA-10*BBABBBAA+3*BBBAAABB+3*BBBAABAB-9*BBBAABBA+3*BBBABAAB-9*BBBABABA+9*BBBABBAA-3*BBBBAAAB+6*BBBBAABA-3*BBBBABAA)
+z22121*(-1*ABABBABB+1*ABABBBBA+1*ABBBABBA-1*ABBBBBAA+1*BAABBABB-1*BAABBBBA+2*BABABABB+2*BABABBAB-4*BABABBBA-3*BABBABBA-2*BABBBABA+5*BABBBBAA-2*BBAABABB-2*BBAABBAB+4*BBAABBBA-1*BBABAABB-4*BBABABAB+8*BBABABBA+6*BBABBABA-9*BBABBBAA+1*BBBAAABB+4*BBBAABAB-6*BBBAABBA+2*BBBABAAB-8*BBBABABA+7*BBBABBAA-2*BBBBAAAB+4*BBBBAABA-2*BBBBABAA)
+z22112*(-1*ABABBBAB+1*ABABBBBA+1*ABBBBABA-1*ABBBBBAA+1*BAABBBAB-1*BAABBBBA+3*BABABBAB-3*BABABBBA-4*BABBBABA+4*BABBBBAA-3*BBAABBAB+3*BBAABBBA-3*BBABABAB+3*BBABABBA+6*BBABBABA-6*BBABBBAA+3*BBBAABAB-3*BBBAABBA+1*BBBABAAB-5*BBBABABA+4*BBBABBAA-1*BBBBAAAB+2*BBBBAABA-1*BBBBABAA)
+z21221*(-1*ABBABABB+1*ABBABBBA+1*ABBBABBA-1*ABBBBBAA+2*BABABABB-2*BABABBBA+1*BABBAABB+2*BABBABAB-6*BABBABBA-2*BABBBABA+5*BABBBBAA-1*BBAABABB+1*BBAABBBA-2*BBABAABB-4*BBABABAB+9*BBABABBA-2*BBABBAAB+8*BBABBABA-9*BBABBBAA+1*BBBAAABB+2*BBBAABAB-4*BBBAABBA+4*BBBABAAB-10*BBBABABA+7*BBBABBAA-2*BBBBAAAB+4*BBBBAABA-2*BBBBABAA)
+z21212*(-1*ABBABBAB+1*ABBABBBA+1*ABBBBABA-1*ABBBBBAA+2*BABABBAB-2*BABABBBA+2*BABBABAB-2*BABBABBA-4*BABBBABA+4*BABBBBAA-1*BBAABBAB+1*BBAABBBA-4*BBABABAB+4*BBABABBA-1*BBABBAAB+7*BBABBABA-6*BBABBBAA+2*BBBAABAB-2*BBBAABBA+2*BBBABAAB-6*BBBABABA+4*BBBABBAA-1*BBBBAAAB+2*BBBBAABA-1*BBBBABAA)
+z21122*(-1*ABBBABAB+1*ABBBABBA+1*ABBBBABA-1*ABBBBBAA+3*BABBABAB-3*BABBABBA+1*BABBBAAB-5*BABBBABA+4*BABBBBAA-3*BBABABAB+3*BBABABBA-3*BBABBAAB+9*BBABBABA-6*BBABBBAA+1*BBBAABAB-1*BBBAABBA+3*BBBABAAB-7*BBBABABA+4*BBBABBAA-1*BBBBAAAB+2*BBBBAABA-1*BBBBABAA)
+z2231*(+1*ABABAABB-2*ABABABBA+1*ABABBBAA-1*ABBAABBA+2*ABBABBAA-1*ABBBBAAA-1*BAABAABB+2*BAABABBA-1*BAABBBAA-1*BABAAABB+4*BABAABBA-2*BABABAAB+4*BABABABA-7*BABABBAA+2*BABBAABA-4*BABBABAA+4*BABBBAAA+1*BBAAAABB-3*BBAAABBA+2*BBAABAAB-4*BBAABABA+5*BBAABBAA+2*BBABAAAB-8*BBABAABA+10*BBABABAA-5*BBABBAAA-2*BBBAAAAB+6*BBBAAABA-6*BBBAABAA+2*BBBABAAA)
+z2213*(+1*ABABBAAB-2*ABABBABA+1*ABABBBAA-1*ABBBAABA+2*ABBBABAA-1*ABBBBAAA-1*BAABBAAB+2*BAABBABA-1*BAABBBAA-2*BABABAAB+4*BABABABA-2*BABABBAA+3*BABBAABA-6*BABBABAA+3*BABBBAAA+2*BBAABAAB-4*BBAABABA+2*BBAABBAA+1*BBABAAAB-5*BBABAABA+7*BBABABAA-3*BBABBAAA-1*BBBAAAAB+3*BBBAAABA-3*BBBAABAA+1*BBBABAAA)
+z2123*(+1*ABBABAAB-2*ABBABABA+1*ABBABBAA-1*ABBBAABA+2*ABBBABAA-1*ABBBBAAA-2*BABABAAB+4*BABABABA-2*BABABBAA-1*BABBAAAB+5*BABBAABA-7*BABBABAA+3*BABBBAAA+1*BBAABAAB-2*BBAABABA+1*BBAABBAA+2*BBABAAAB-7*BBABAABA+8*BBABABAA-3*BBABBAAA-1*BBBAAAAB+3*BBBAAABA-3*BBBAABAA+1*BBBABAAA)
+z2321*(+1*ABAABABB-1*ABAABBBA-2*ABABABBA+2*ABABBBAA+1*ABBABBAA-1*ABBBBAAA-1*BAAABABB+1*BAAABBBA+2*BAABABBA-2*BAABBBAA-1*BABAAABB-2*BABAABAB+5*BABAABBA+4*BABABABA-8*BABABBAA-2*BABBABAA+4*BABBBAAA+1*BBAAAABB+2*BBAAABAB-5*BBAAABBA-4*BBAABABA+7*BBAABBAA+2*BBABAAAB-6*BBABAABA+8*BBABABAA-5*BBABBAAA-2*BBBAAAAB+6*BBBAAABA-6*BBBAABAA+2*BBBABAAA)
+z2312*(+1*ABAABBAB-1*ABAABBBA-2*ABABBABA+2*ABABBBAA+1*ABBBABAA-1*ABBBBAAA-1*BAAABBAB+1*BAAABBBA+2*BAABBABA-2*BAABBBAA-2*BABAABAB+2*BABAABBA+4*BABABABA-4*BABABBAA-3*BABBABAA+3*BABBBAAA+2*BBAAABAB-2*BBAAABBA-4*BBAABABA+4*BBAABBAA+1*BBABAAAB-3*BBABAABA+5*BBABABAA-3*BBABBAAA-1*BBBAAAAB+3*BBBAAABA-3*BBBAABAA+1*BBBABAAA)
+z2132*(+1*ABBAABAB-1*ABBAABBA-2*ABBABABA+2*ABBABBAA+1*ABBBABAA-1*ABBBBAAA-2*BABAABAB+2*BABAABBA+4*BABABABA-4*BABABBAA-1*BABBAAAB+3*BABBAABA-5*BABBABAA+3*BABBBAAA+1*BBAAABAB-1*BBAAABBA-2*BBAABABA+2*BBAABBAA+2*BBABAAAB-6*BBABAABA+7*BBABABAA-3*BBABBAAA-1*BBBAAAAB+3*BBBAAABA-3*BBBAABAA+1*BBBABAAA)
+z3221*(+1*AABABABB-1*AABABBBA-1*AABBABBA+1*AABBBBAA-2*ABABABBA+2*ABABBBAA+2*ABBABBAA-2*ABBBBAAA-1*BAAABABB+1*BAAABBBA-1*BAABAABB-2*BAABABAB+7*BAABABBA+2*BAABBABA-6*BAABBBAA+2*BABAABBA+4*BABABABA-10*BABABBAA-4*BABBABAA+8*BABBBAAA+1*BBAAAABB+2*BBAAABAB-6*BBAAABBA+2*BBAABAAB-10*BBAABABA+13*BBAABBAA-4*BBABAABA+12*BBABABAA-10*BBABBAAA-2*BBBAAAAB+8*BBBAAABA-10*BBBAABAA+4*BBBABAAA)
+z3212*(+1*AABABBAB-1*AABABBBA-1*AABBBABA+1*AABBBBAA-2*ABABBABA+2*ABABBBAA+2*ABBBABAA-2*ABBBBAAA-1*BAAABBAB+1*BAAABBBA-2*BAABABAB+2*BAABABBA+5*BAABBABA-5*BAABBBAA+4*BABABABA-4*BABABBAA-6*BABBABAA+6*BABBBAAA+2*BBAAABAB-2*BBAAABBA+1*BBAABAAB-8*BBAABABA+7*BBAABBAA-2*BBABAABA+8*BBABABAA-6*BBABBAAA-1*BBBAAAAB+4*BBBAAABA-5*BBBAABAA+2*BBBABAAA)
+z3122*(+1*AABBABAB-1*AABBABBA-1*AABBBABA+1*AABBBBAA-2*ABBABABA+2*ABBABBAA+2*ABBBABAA-2*ABBBBAAA-2*BAABABAB+2*BAABABBA-1*BAABBAAB+4*BAABBABA-3*BAABBBAA+4*BABABABA-4*BABABBAA+2*BABBAABA-8*BABBABAA+6*BABBBAAA+1*BBAAABAB-1*BBAAABBA+2*BBAABAAB-7*BBAABABA+5*BBAABBAA-4*BBABAABA+10*BBABABAA-6*BBABBAAA-1*BBBAAAAB+4*BBBAAABA-5*BBBAABAA+2*BBBABAAA)
+z224*(-1*ABABAAAB+3*ABABAABA-3*ABABABAA+1*ABABBAAA+1*ABBAAABA-3*ABBAABAA+3*ABBABAAA-1*ABBBAAAA+1*BAABAAAB-3*BAABAABA+3*BAABABAA-1*BAABBAAA+1*BABAAAAB-5*BABAAABA+9*BABAABAA-7*BABABAAA+2*BABBAAAA-1*BBAAAAAB+4*BBAAAABA-6*BBAAABAA+4*BBAABAAA-1*BBABAAAA)
+z233*(-1*ABAABAAB+2*ABAABABA-1*ABAABBAA+2*ABABAABA-4*ABABABAA+2*ABABBAAA-1*ABBAABAA+2*ABBABAAA-1*ABBBAAAA+1*BAAABAAB-2*BAAABABA+1*BAAABBAA-2*BAABAABA+4*BAABABAA-2*BAABBAAA+1*BABAAAAB-4*BABAAABA+7*BABAABAA-6*BABABAAA+2*BABBAAAA-1*BBAAAAAB+4*BBAAAABA-6*BBAAABAA+4*BBAABAAA-1*BBABAAAA)
+z242*(-1*ABAAABAB+1*ABAAABBA+3*ABAABABA-3*ABAABBAA-3*ABABABAA+3*ABABBAAA+1*ABBABAAA-1*ABBBAAAA+1*BAAAABAB-1*BAAAABBA-3*BAAABABA+3*BAAABBAA+3*BAABABAA-3*BAABBAAA+1*BABAAAAB-4*BABAAABA+6*BABAABAA-5*BABABAAA+2*BABBAAAA-1*BBAAAAAB+4*BBAAAABA-6*BBAAABAA+4*BBAABAAA-1*BBABAAAA)
+z323*(-1*AABABAAB+2*AABABABA-1*AABABBAA+1*AABBAABA-2*AABBABAA+1*AABBBAAA+2*ABABAABA-4*ABABABAA+2*ABABBAAA-2*ABBAABAA+4*ABBABAAA-2*ABBBAAAA+1*BAAABAAB-2*BAAABABA+1*BAAABBAA+1*BAABAAAB-6*BAABAABA+9*BAABABAA-4*BAABBAAA-2*BABAAABA+8*BABAABAA-10*BABABAAA+4*BABBAAAA-1*BBAAAAAB+5*BBAAAABA-9*BBAAABAA+7*BBAABAAA-2*BBABAAAA)
+z332*(-1*AABAABAB+1*AABAABBA+2*AABABABA-2*AABABBAA-1*AABBABAA+1*AABBBAAA+2*ABAABABA-2*ABAABBAA-4*ABABABAA+4*ABABBAAA+2*ABBABAAA-2*ABBBAAAA+1*BAAAABAB-1*BAAAABBA-4*BAAABABA+4*BAAABBAA+1*BAABAAAB-3*BAABAABA+8*BAABABAA-6*BAABBAAA-2*BABAAABA+6*BABAABAA-8*BABABAAA+4*BABBAAAA-1*BBAAAAAB+5*BBAAAABA-9*BBAAABAA+7*BBAABAAA-2*BBABAAAA)
+z422*(-1*AAABABAB+1*AAABABBA+1*AAABBABA-1*AAABBBAA+3*AABABABA-3*AABABBAA-3*AABBABAA+3*AABBBAAA-3*ABABABAA+3*ABABBAAA+3*ABBABAAA-3*ABBBAAAA+1*BAAAABAB-1*BAAAABBA+1*BAAABAAB-6*BAAABABA+5*BAAABBAA-3*BAABAABA+12*BAABABAA-9*BAABBAAA+3*BABAABAA-9*BABABAAA+6*BABBAAAA-1*BBAAAAAB+5*BBAAAABA-10*BBAAABAA+9*BBAABAAA-3*BBABAAAA)
+z2222*(+1*ABABABAB-1*ABABABBA-1*ABABBABA+1*ABABBBAA-1*ABBABABA+1*ABBABBAA+1*ABBBABAA-1*ABBBBAAA-1*BAABABAB+1*BAABABBA+1*BAABBABA-1*BAABBBAA-1*BABAABAB+1*BABAABBA-1*BABABAAB+5*BABABABA-4*BABABBAA+1*BABBAABA-4*BABBABAA+3*BABBBAAA+1*BBAAABAB-1*BBAAABBA+1*BBAABAAB-4*BBAABABA+3*BBAABBAA+1*BBABAAAB-4*BBABAABA+6*BBABABAA-3*BBABBAAA-1*BBBAAAAB+3*BBBAAABA-3*BBBAABAA+1*BBBABAAA)
;