ass9:= +z21111111*(+1*ABBBBBBBB-8*BABBBBBBB+28*BBABBBBBB-56*BBBABBBBB+70*BBBBABBBB-56*BBBBBABBB+28*BBBBBBABB-8*BBBBBBBAB+1*BBBBBBBBA) +z3111111*(-1*AABBBBBBB+2*ABBBBBBBA+7*BAABBBBBB-14*BABBBBBBA-21*BBAABBBBB+42*BBABBBBBA+35*BBBAABBBB-70*BBBABBBBA-35*BBBBAABBB+70*BBBBABBBA+21*BBBBBAABB-42*BBBBBABBA-7*BBBBBBAAB+14*BBBBBBABA-1*BBBBBBBAA) +z411111*(+1*AAABBBBBB-3*AABBBBBBA+3*ABBBBBBAA-6*BAAABBBBB+18*BAABBBBBA-18*BABBBBBAA+15*BBAAABBBB-45*BBAABBBBA+45*BBABBBBAA-20*BBBAAABBB+60*BBBAABBBA-60*BBBABBBAA+15*BBBBAAABB-45*BBBBAABBA+45*BBBBABBAA-6*BBBBBAAAB+18*BBBBBAABA-18*BBBBBABAA+1*BBBBBBAAA) +z51111*(-1*AAAABBBBB+4*AAABBBBBA-6*AABBBBBAA+4*ABBBBBAAA+5*BAAAABBBB-20*BAAABBBBA+30*BAABBBBAA-20*BABBBBAAA-10*BBAAAABBB+40*BBAAABBBA-60*BBAABBBAA+40*BBABBBAAA+10*BBBAAAABB-40*BBBAAABBA+60*BBBAABBAA-40*BBBABBAAA-5*BBBBAAAAB+20*BBBBAAABA-30*BBBBAABAA+20*BBBBABAAA-1*BBBBBAAAA) +z6111*(+1*AAAAABBBB-5*AAAABBBBA+10*AAABBBBAA-10*AABBBBAAA+5*ABBBBAAAA-4*BAAAAABBB+20*BAAAABBBA-40*BAAABBBAA+40*BAABBBAAA-20*BABBBAAAA+6*BBAAAAABB-30*BBAAAABBA+60*BBAAABBAA-60*BBAABBAAA+30*BBABBAAAA-4*BBBAAAAAB+20*BBBAAAABA-40*BBBAAABAA+40*BBBAABAAA-20*BBBABAAAA+1*BBBBAAAAA) +z711*(-1*AAAAAABBB+6*AAAAABBBA-15*AAAABBBAA+20*AAABBBAAA-15*AABBBAAAA+6*ABBBAAAAA+3*BAAAAAABB-18*BAAAAABBA+45*BAAAABBAA-60*BAAABBAAA+45*BAABBAAAA-18*BABBAAAAA-3*BBAAAAAAB+18*BBAAAAABA-45*BBAAAABAA+60*BBAAABAAA-45*BBAABAAAA+18*BBABAAAAA-1*BBBAAAAAA) +z81*(+1*AAAAAAABB-7*AAAAAABBA+21*AAAAABBAA-35*AAAABBAAA+35*AAABBAAAA-21*AABBAAAAA+7*ABBAAAAAA-2*BAAAAAAAB+14*BAAAAAABA-42*BAAAAABAA+70*BAAAABAAA-70*BAAABAAAA+42*BAABAAAAA-14*BABAAAAAA+1*BBAAAAAAA) +z9*(-1*AAAAAAAAB+8*AAAAAAABA-28*AAAAAABAA+56*AAAAABAAA-70*AAAABAAAA+56*AAABAAAAA-28*AABAAAAAA+8*ABAAAAAAA-1*BAAAAAAAA) +z2211111*(-1*ABABBBBBB+1*ABBBBBBBA+1*BAABBBBBB+6*BABABBBBB-7*BABBBBBBA-6*BBAABBBBB-15*BBABABBBB+21*BBABBBBBA+15*BBBAABBBB+20*BBBABABBB-35*BBBABBBBA-20*BBBBAABBB-15*BBBBABABB+35*BBBBABBBA+15*BBBBBAABB+6*BBBBBABAB-21*BBBBBABBA-6*BBBBBBAAB+6*BBBBBBABA) +z2121111*(-1*ABBABBBBB+1*ABBBBBBBA+2*BABABBBBB+5*BABBABBBB-7*BABBBBBBA-1*BBAABBBBB-10*BBABABBBB-10*BBABBABBB+21*BBABBBBBA+5*BBBAABBBB+20*BBBABABBB+10*BBBABBABB-35*BBBABBBBA-10*BBBBAABBB-20*BBBBABABB-5*BBBBABBAB+35*BBBBABBBA+10*BBBBBAABB+10*BBBBBABAB-20*BBBBBABBA-5*BBBBBBAAB+5*BBBBBBABA) +z2112111*(-1*ABBBABBBB+1*ABBBBBBBA+3*BABBABBBB+4*BABBBABBB-7*BABBBBBBA-3*BBABABBBB-12*BBABBABBB-6*BBABBBABB+21*BBABBBBBA+1*BBBAABBBB+12*BBBABABBB+18*BBBABBABB+4*BBBABBBAB-35*BBBABBBBA-4*BBBBAABBB-18*BBBBABABB-12*BBBBABBAB+34*BBBBABBBA+6*BBBBBAABB+12*BBBBBABAB-18*BBBBBABBA-4*BBBBBBAAB+4*BBBBBBABA) +z2111211*(-1*ABBBBABBB+1*ABBBBBBBA+4*BABBBABBB+3*BABBBBABB-7*BABBBBBBA-6*BBABBABBB-12*BBABBBABB-3*BBABBBBAB+21*BBABBBBBA+4*BBBABABBB+18*BBBABBABB+12*BBBABBBAB-34*BBBABBBBA-1*BBBBAABBB-12*BBBBABABB-18*BBBBABBAB+31*BBBBABBBA+3*BBBBBAABB+12*BBBBBABAB-15*BBBBBABBA-3*BBBBBBAAB+3*BBBBBBABA) +z2111121*(-1*ABBBBBABB+1*ABBBBBBBA+5*BABBBBABB+2*BABBBBBAB-7*BABBBBBBA-10*BBABBBABB-10*BBABBBBAB+20*BBABBBBBA+10*BBBABBABB+20*BBBABBBAB-30*BBBABBBBA-5*BBBBABABB-20*BBBBABBAB+25*BBBBABBBA+1*BBBBBAABB+10*BBBBBABAB-11*BBBBBABBA-2*BBBBBBAAB+2*BBBBBBABA) +z2111112*(-1*ABBBBBBAB+1*ABBBBBBBA+6*BABBBBBAB-6*BABBBBBBA-15*BBABBBBAB+15*BBABBBBBA+20*BBBABBBAB-20*BBBABBBBA-15*BBBBABBAB+15*BBBBABBBA+6*BBBBBABAB-6*BBBBBABBA-1*BBBBBBAAB+1*BBBBBBABA) +z231111*(+1*ABAABBBBB-2*ABABBBBBA+1*ABBBBBBAA-1*BAAABBBBB+2*BAABBBBBA-5*BABAABBBB+10*BABABBBBA-6*BABBBBBAA+5*BBAAABBBB-10*BBAABBBBA+10*BBABAABBB-20*BBABABBBA+15*BBABBBBAA-10*BBBAAABBB+20*BBBAABBBA-10*BBBABAABB+20*BBBABABBA-20*BBBABBBAA+10*BBBBAAABB-20*BBBBAABBA+5*BBBBABAAB-10*BBBBABABA+15*BBBBABBAA-5*BBBBBAAAB+10*BBBBBAABA-5*BBBBBABAA) +z213111*(+1*ABBAABBBB-2*ABBABBBBA+1*ABBBBBBAA-2*BABAABBBB+4*BABABBBBA-4*BABBAABBB+8*BABBABBBA-6*BABBBBBAA+1*BBAAABBBB-2*BBAABBBBA+8*BBABAABBB-16*BBABABBBA+6*BBABBAABB-12*BBABBABBA+15*BBABBBBAA-4*BBBAAABBB+8*BBBAABBBA-12*BBBABAABB+24*BBBABABBA-4*BBBABBAAB+8*BBBABBABA-20*BBBABBBAA+6*BBBBAAABB-12*BBBBAABBA+8*BBBBABAAB-16*BBBBABABA+14*BBBBABBAA-4*BBBBBAAAB+8*BBBBBAABA-4*BBBBBABAA) +z211311*(+1*ABBBAABBB-2*ABBBABBBA+1*ABBBBBBAA-3*BABBAABBB+6*BABBABBBA-3*BABBBAABB+6*BABBBABBA-6*BABBBBBAA+3*BBABAABBB-6*BBABABBBA+9*BBABBAABB-18*BBABBABBA+3*BBABBBAAB-6*BBABBBABA+15*BBABBBBAA-1*BBBAAABBB+2*BBBAABBBA-9*BBBABAABB+18*BBBABABBA-9*BBBABBAAB+18*BBBABBABA-19*BBBABBBAA+3*BBBBAAABB-6*BBBBAABBA+9*BBBBABAAB-18*BBBBABABA+12*BBBBABBAA-3*BBBBBAAAB+6*BBBBBAABA-3*BBBBBABAA) +z211131*(+1*ABBBBAABB-2*ABBBBABBA+1*ABBBBBBAA-4*BABBBAABB+8*BABBBABBA-2*BABBBBAAB+4*BABBBBABA-6*BABBBBBAA+6*BBABBAABB-12*BBABBABBA+8*BBABBBAAB-16*BBABBBABA+14*BBABBBBAA-4*BBBABAABB+8*BBBABABBA-12*BBBABBAAB+24*BBBABBABA-16*BBBABBBAA+1*BBBBAAABB-2*BBBBAABBA+8*BBBBABAAB-16*BBBBABABA+9*BBBBABBAA-2*BBBBBAAAB+4*BBBBBAABA-2*BBBBBABAA) +z211113*(+1*ABBBBBAAB-2*ABBBBBABA+1*ABBBBBBAA-5*BABBBBAAB+10*BABBBBABA-5*BABBBBBAA+10*BBABBBAAB-20*BBABBBABA+10*BBABBBBAA-10*BBBABBAAB+20*BBBABBABA-10*BBBABBBAA+5*BBBBABAAB-10*BBBBABABA+5*BBBBABBAA-1*BBBBBAAAB+2*BBBBBAABA-1*BBBBBABAA) +z321111*(+1*AABABBBBB-1*AABBBBBBA-2*ABABBBBBA+2*ABBBBBBAA-1*BAAABBBBB-5*BAABABBBB+8*BAABBBBBA+10*BABABBBBA-12*BABBBBBAA+5*BBAAABBBB+10*BBAABABBB-25*BBAABBBBA-20*BBABABBBA+30*BBABBBBAA-10*BBBAAABBB-10*BBBAABABB+40*BBBAABBBA+20*BBBABABBA-40*BBBABBBAA+10*BBBBAAABB+5*BBBBAABAB-35*BBBBAABBA-10*BBBBABABA+30*BBBBABBAA-5*BBBBBAAAB+15*BBBBBAABA-10*BBBBBABAA) +z312111*(+1*AABBABBBB-1*AABBBBBBA-2*ABBABBBBA+2*ABBBBBBAA-2*BAABABBBB-4*BAABBABBB+6*BAABBBBBA+4*BABABBBBA+8*BABBABBBA-12*BABBBBBAA+1*BBAAABBBB+8*BBAABABBB+6*BBAABBABB-17*BBAABBBBA-16*BBABABBBA-12*BBABBABBA+30*BBABBBBAA-4*BBBAAABBB-12*BBBAABABB-4*BBBAABBAB+28*BBBAABBBA+24*BBBABABBA+8*BBBABBABA-40*BBBABBBAA+6*BBBBAAABB+8*BBBBAABAB-26*BBBBAABBA-16*BBBBABABA+28*BBBBABBAA-4*BBBBBAAAB+12*BBBBBAABA-8*BBBBBABAA) +z311211*(+1*AABBBABBB-1*AABBBBBBA-2*ABBBABBBA+2*ABBBBBBAA-3*BAABBABBB-3*BAABBBABB+6*BAABBBBBA+6*BABBABBBA+6*BABBBABBA-12*BABBBBBAA+3*BBAABABBB+9*BBAABBABB+3*BBAABBBAB-15*BBAABBBBA-6*BBABABBBA-18*BBABBABBA-6*BBABBBABA+30*BBABBBBAA-1*BBBAAABBB-9*BBBAABABB-9*BBBAABBAB+21*BBBAABBBA+18*BBBABABBA+18*BBBABBABA-38*BBBABBBAA+3*BBBBAAABB+9*BBBBAABAB-18*BBBBAABBA-18*BBBBABABA+24*BBBBABBAA-3*BBBBBAAAB+9*BBBBBAABA-6*BBBBBABAA) +z311121*(+1*AABBBBABB-1*AABBBBBBA-2*ABBBBABBA+2*ABBBBBBAA-4*BAABBBABB-2*BAABBBBAB+6*BAABBBBBA+8*BABBBABBA+4*BABBBBABA-12*BABBBBBAA+6*BBAABBABB+8*BBAABBBAB-14*BBAABBBBA-12*BBABBABBA-16*BBABBBABA+28*BBABBBBAA-4*BBBAABABB-12*BBBAABBAB+16*BBBAABBBA+8*BBBABABBA+24*BBBABBABA-32*BBBABBBAA+1*BBBBAAABB+8*BBBBAABAB-11*BBBBAABBA-16*BBBBABABA+18*BBBBABBAA-2*BBBBBAAAB+6*BBBBBAABA-4*BBBBBABAA) +z311112*(+1*AABBBBBAB-1*AABBBBBBA-2*ABBBBBABA+2*ABBBBBBAA-5*BAABBBBAB+5*BAABBBBBA+10*BABBBBABA-10*BABBBBBAA+10*BBAABBBAB-10*BBAABBBBA-20*BBABBBABA+20*BBABBBBAA-10*BBBAABBAB+10*BBBAABBBA+20*BBBABBABA-20*BBBABBBAA+5*BBBBAABAB-5*BBBBAABBA-10*BBBBABABA+10*BBBBABBAA-1*BBBBBAAAB+3*BBBBBAABA-2*BBBBBABAA) +z24111*(-1*ABAAABBBB+3*ABAABBBBA-3*ABABBBBAA+1*ABBBBBAAA+1*BAAAABBBB-3*BAAABBBBA+3*BAABBBBAA+4*BABAAABBB-12*BABAABBBA+12*BABABBBAA-5*BABBBBAAA-4*BBAAAABBB+12*BBAAABBBA-12*BBAABBBAA-6*BBABAAABB+18*BBABAABBA-18*BBABABBAA+10*BBABBBAAA+6*BBBAAAABB-18*BBBAAABBA+18*BBBAABBAA+4*BBBABAAAB-12*BBBABAABA+12*BBBABABAA-10*BBBABBAAA-4*BBBBAAAAB+12*BBBBAAABA-12*BBBBAABAA+4*BBBBABAAA) +z21411*(-1*ABBAAABBB+3*ABBAABBBA-3*ABBABBBAA+1*ABBBBBAAA+2*BABAAABBB-6*BABAABBBA+6*BABABBBAA+3*BABBAAABB-9*BABBAABBA+9*BABBABBAA-5*BABBBBAAA-1*BBAAAABBB+3*BBAAABBBA-3*BBAABBBAA-6*BBABAAABB+18*BBABAABBA-18*BBABABBAA-3*BBABBAAAB+9*BBABBAABA-9*BBABBABAA+10*BBABBBAAA+3*BBBAAAABB-9*BBBAAABBA+9*BBBAABBAA+6*BBBABAAAB-18*BBBABAABA+18*BBBABABAA-9*BBBABBAAA-3*BBBBAAAAB+9*BBBBAAABA-9*BBBBAABAA+3*BBBBABAAA) +z21141*(-1*ABBBAAABB+3*ABBBAABBA-3*ABBBABBAA+1*ABBBBBAAA+3*BABBAAABB-9*BABBAABBA+9*BABBABBAA+2*BABBBAAAB-6*BABBBAABA+6*BABBBABAA-5*BABBBBAAA-3*BBABAAABB+9*BBABAABBA-9*BBABABBAA-6*BBABBAAAB+18*BBABBAABA-18*BBABBABAA+9*BBABBBAAA+1*BBBAAAABB-3*BBBAAABBA+3*BBBAABBAA+6*BBBABAAAB-18*BBBABAABA+18*BBBABABAA-7*BBBABBAAA-2*BBBBAAAAB+6*BBBBAAABA-6*BBBBAABAA+2*BBBBABAAA) +z21114*(-1*ABBBBAAAB+3*ABBBBAABA-3*ABBBBABAA+1*ABBBBBAAA+4*BABBBAAAB-12*BABBBAABA+12*BABBBABAA-4*BABBBBAAA-6*BBABBAAAB+18*BBABBAABA-18*BBABBABAA+6*BBABBBAAA+4*BBBABAAAB-12*BBBABAABA+12*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z33111*(-1*AABAABBBB+2*AABABBBBA-1*AABBBBBAA+2*ABAABBBBA-4*ABABBBBAA+2*ABBBBBAAA+1*BAAAABBBB-4*BAAABBBBA+4*BAABAABBB-8*BAABABBBA+9*BAABBBBAA-8*BABAABBBA+16*BABABBBAA-10*BABBBBAAA-4*BBAAAABBB+16*BBAAABBBA-6*BBAABAABB+12*BBAABABBA-26*BBAABBBAA+12*BBABAABBA-24*BBABABBAA+20*BBABBBAAA+6*BBBAAAABB-24*BBBAAABBA+4*BBBAABAAB-8*BBBAABABA+34*BBBAABBAA-8*BBBABAABA+16*BBBABABAA-20*BBBABBAAA-4*BBBBAAAAB+16*BBBBAAABA-20*BBBBAABAA+8*BBBBABAAA) +z31311*(-1*AABBAABBB+2*AABBABBBA-1*AABBBBBAA+2*ABBAABBBA-4*ABBABBBAA+2*ABBBBBAAA+2*BAABAABBB-4*BAABABBBA+3*BAABBAABB-6*BAABBABBA+5*BAABBBBAA-4*BABAABBBA+8*BABABBBAA-6*BABBAABBA+12*BABBABBAA-10*BABBBBAAA-1*BBAAAABBB+4*BBAAABBBA-6*BBAABAABB+12*BBAABABBA-3*BBAABBAAB+6*BBAABBABA-14*BBAABBBAA+12*BBABAABBA-24*BBABABBAA+6*BBABBAABA-12*BBABBABAA+20*BBABBBAAA+3*BBBAAAABB-12*BBBAAABBA+6*BBBAABAAB-12*BBBAABABA+21*BBBAABBAA-12*BBBABAABA+24*BBBABABAA-18*BBBABBAAA-3*BBBBAAAAB+12*BBBBAAABA-15*BBBBAABAA+6*BBBBABAAA) +z31131*(-1*AABBBAABB+2*AABBBABBA-1*AABBBBBAA+2*ABBBAABBA-4*ABBBABBAA+2*ABBBBBAAA+3*BAABBAABB-6*BAABBABBA+2*BAABBBAAB-4*BAABBBABA+5*BAABBBBAA-6*BABBAABBA+12*BABBABBAA-4*BABBBAABA+8*BABBBABAA-10*BABBBBAAA-3*BBAABAABB+6*BBAABABBA-6*BBAABBAAB+12*BBAABBABA-9*BBAABBBAA+6*BBABAABBA-12*BBABABBAA+12*BBABBAABA-24*BBABBABAA+18*BBABBBAAA+1*BBBAAAABB-4*BBBAAABBA+6*BBBAABAAB-12*BBBAABABA+11*BBBAABBAA-12*BBBABAABA+24*BBBABABAA-14*BBBABBAAA-2*BBBBAAAAB+8*BBBBAAABA-10*BBBBAABAA+4*BBBBABAAA) +z31113*(-1*AABBBBAAB+2*AABBBBABA-1*AABBBBBAA+2*ABBBBAABA-4*ABBBBABAA+2*ABBBBBAAA+4*BAABBBAAB-8*BAABBBABA+4*BAABBBBAA-8*BABBBAABA+16*BABBBABAA-8*BABBBBAAA-6*BBAABBAAB+12*BBAABBABA-6*BBAABBBAA+12*BBABBAABA-24*BBABBABAA+12*BBABBBAAA+4*BBBAABAAB-8*BBBAABABA+4*BBBAABBAA-8*BBBABAABA+16*BBBABABAA-8*BBBABBAAA-1*BBBBAAAAB+4*BBBBAAABA-5*BBBBAABAA+2*BBBBABAAA) +z42111*(-1*AAABABBBB+1*AAABBBBBA+3*AABABBBBA-3*AABBBBBAA-3*ABABBBBAA+3*ABBBBBAAA+1*BAAAABBBB+4*BAAABABBB-8*BAAABBBBA-12*BAABABBBA+18*BAABBBBAA+12*BABABBBAA-15*BABBBBAAA-4*BBAAAABBB-6*BBAAABABB+22*BBAAABBBA+18*BBAABABBA-42*BBAABBBAA-18*BBABABBAA+30*BBABBBAAA+6*BBBAAAABB+4*BBBAAABAB-28*BBBAAABBA-12*BBBAABABA+48*BBBAABBAA+12*BBBABABAA-30*BBBABBAAA-4*BBBBAAAAB+16*BBBBAAABA-24*BBBBAABAA+12*BBBBABAAA) +z41211*(-1*AAABBABBB+1*AAABBBBBA+3*AABBABBBA-3*AABBBBBAA-3*ABBABBBAA+3*ABBBBBAAA+2*BAAABABBB+3*BAAABBABB-5*BAAABBBBA-6*BAABABBBA-9*BAABBABBA+15*BAABBBBAA+6*BABABBBAA+9*BABBABBAA-15*BABBBBAAA-1*BBAAAABBB-6*BBAAABABB-3*BBAAABBAB+13*BBAAABBBA+18*BBAABABBA+9*BBAABBABA-33*BBAABBBAA-18*BBABABBAA-9*BBABBABAA+30*BBABBBAAA+3*BBBAAAABB+6*BBBAAABAB-18*BBBAAABBA-18*BBBAABABA+36*BBBAABBAA+18*BBBABABAA-27*BBBABBAAA-3*BBBBAAAAB+12*BBBBAAABA-18*BBBBAABAA+9*BBBBABAAA) +z41121*(-1*AAABBBABB+1*AAABBBBBA+3*AABBBABBA-3*AABBBBBAA-3*ABBBABBAA+3*ABBBBBAAA+3*BAAABBABB+2*BAAABBBAB-5*BAAABBBBA-9*BAABBABBA-6*BAABBBABA+15*BAABBBBAA+9*BABBABBAA+6*BABBBABAA-15*BABBBBAAA-3*BBAAABABB-6*BBAAABBAB+9*BBAAABBBA+9*BBAABABBA+18*BBAABBABA-27*BBAABBBAA-9*BBABABBAA-18*BBABBABAA+27*BBABBBAAA+1*BBBAAAABB+6*BBBAAABAB-10*BBBAAABBA-18*BBBAABABA+24*BBBAABBAA+18*BBBABABAA-21*BBBABBAAA-2*BBBBAAAAB+8*BBBBAAABA-12*BBBBAABAA+6*BBBBABAAA) +z41112*(-1*AAABBBBAB+1*AAABBBBBA+3*AABBBBABA-3*AABBBBBAA-3*ABBBBABAA+3*ABBBBBAAA+4*BAAABBBAB-4*BAAABBBBA-12*BAABBBABA+12*BAABBBBAA+12*BABBBABAA-12*BABBBBAAA-6*BBAAABBAB+6*BBAAABBBA+18*BBAABBABA-18*BBAABBBAA-18*BBABBABAA+18*BBABBBAAA+4*BBBAAABAB-4*BBBAAABBA-12*BBBAABABA+12*BBBAABBAA+12*BBBABABAA-12*BBBABBAAA-1*BBBBAAAAB+4*BBBBAAABA-6*BBBBAABAA+3*BBBBABAAA) +z2511*(+1*ABAAAABBB-4*ABAAABBBA+6*ABAABBBAA-4*ABABBBAAA+1*ABBBBAAAA-1*BAAAAABBB+4*BAAAABBBA-6*BAAABBBAA+4*BAABBBAAA-3*BABAAAABB+12*BABAAABBA-18*BABAABBAA+12*BABABBAAA-4*BABBBAAAA+3*BBAAAAABB-12*BBAAAABBA+18*BBAAABBAA-12*BBAABBAAA+3*BBABAAAAB-12*BBABAAABA+18*BBABAABAA-12*BBABABAAA+6*BBABBAAAA-3*BBBAAAAAB+12*BBBAAAABA-18*BBBAAABAA+12*BBBAABAAA-3*BBBABAAAA) +z2151*(+1*ABBAAAABB-4*ABBAAABBA+6*ABBAABBAA-4*ABBABBAAA+1*ABBBBAAAA-2*BABAAAABB+8*BABAAABBA-12*BABAABBAA+8*BABABBAAA-2*BABBAAAAB+8*BABBAAABA-12*BABBAABAA+8*BABBABAAA-4*BABBBAAAA+1*BBAAAAABB-4*BBAAAABBA+6*BBAAABBAA-4*BBAABBAAA+4*BBABAAAAB-16*BBABAAABA+24*BBABAABAA-16*BBABABAAA+5*BBABBAAAA-2*BBBAAAAAB+8*BBBAAAABA-12*BBBAAABAA+8*BBBAABAAA-2*BBBABAAAA) +z2115*(+1*ABBBAAAAB-4*ABBBAAABA+6*ABBBAABAA-4*ABBBABAAA+1*ABBBBAAAA-3*BABBAAAAB+12*BABBAAABA-18*BABBAABAA+12*BABBABAAA-3*BABBBAAAA+3*BBABAAAAB-12*BBABAAABA+18*BBABAABAA-12*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z3411*(+1*AABAAABBB-3*AABAABBBA+3*AABABBBAA-1*AABBBBAAA-2*ABAAABBBA+6*ABAABBBAA-6*ABABBBAAA+2*ABBBBAAAA-1*BAAAAABBB+5*BAAAABBBA-9*BAAABBBAA-3*BAABAAABB+9*BAABAABBA-9*BAABABBAA+10*BAABBBAAA+6*BABAAABBA-18*BABAABBAA+18*BABABBAAA-8*BABBBAAAA+3*BBAAAAABB-15*BBAAAABBA+27*BBAAABBAA+3*BBAABAAAB-9*BBAABAABA+9*BBAABABAA-24*BBAABBAAA-6*BBABAAABA+18*BBABAABAA-18*BBABABAAA+12*BBABBAAAA-3*BBBAAAAAB+15*BBBAAAABA-27*BBBAAABAA+21*BBBAABAAA-6*BBBABAAAA) +z3141*(+1*AABBAAABB-3*AABBAABBA+3*AABBABBAA-1*AABBBBAAA-2*ABBAAABBA+6*ABBAABBAA-6*ABBABBAAA+2*ABBBBAAAA-2*BAABAAABB+6*BAABAABBA-6*BAABABBAA-2*BAABBAAAB+6*BAABBAABA-6*BAABBABAA+4*BAABBBAAA+4*BABAAABBA-12*BABAABBAA+12*BABABBAAA+4*BABBAAABA-12*BABBAABAA+12*BABBABAAA-8*BABBBAAAA+1*BBAAAAABB-5*BBAAAABBA+9*BBAAABBAA+4*BBAABAAAB-12*BBAABAABA+12*BBAABABAA-11*BBAABBAAA-8*BBABAAABA+24*BBABAABAA-24*BBABABAAA+10*BBABBAAAA-2*BBBAAAAAB+10*BBBAAAABA-18*BBBAAABAA+14*BBBAABAAA-4*BBBABAAAA) +z3114*(+1*AABBBAAAB-3*AABBBAABA+3*AABBBABAA-1*AABBBBAAA-2*ABBBAAABA+6*ABBBAABAA-6*ABBBABAAA+2*ABBBBAAAA-3*BAABBAAAB+9*BAABBAABA-9*BAABBABAA+3*BAABBBAAA+6*BABBAAABA-18*BABBAABAA+18*BABBABAAA-6*BABBBAAAA+3*BBAABAAAB-9*BBAABAABA+9*BBAABABAA-3*BBAABBAAA-6*BBABAAABA+18*BBABAABAA-18*BBABABAAA+6*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-9*BBBAAABAA+7*BBBAABAAA-2*BBBABAAAA) +z4311*(+1*AAABAABBB-2*AAABABBBA+1*AAABBBBAA-3*AABAABBBA+6*AABABBBAA-3*AABBBBAAA+3*ABAABBBAA-6*ABABBBAAA+3*ABBBBAAAA-1*BAAAAABBB+5*BAAAABBBA-3*BAAABAABB+6*BAAABABBA-13*BAAABBBAA+9*BAABAABBA-18*BAABABBAA+18*BAABBBAAA-9*BABAABBAA+18*BABABBAAA-12*BABBBAAAA+3*BBAAAAABB-15*BBAAAABBA+3*BBAAABAAB-6*BBAAABABA+33*BBAAABBAA-9*BBAABAABA+18*BBAABABAA-36*BBAABBAAA+9*BBABAABAA-18*BBABABAAA+18*BBABBAAAA-3*BBBAAAAAB+15*BBBAAAABA-30*BBBAAABAA+27*BBBAABAAA-9*BBBABAAAA) +z4131*(+1*AAABBAABB-2*AAABBABBA+1*AAABBBBAA-3*AABBAABBA+6*AABBABBAA-3*AABBBBAAA+3*ABBAABBAA-6*ABBABBAAA+3*ABBBBAAAA-2*BAAABAABB+4*BAAABABBA-2*BAAABBAAB+4*BAAABBABA-4*BAAABBBAA+6*BAABAABBA-12*BAABABBAA+6*BAABBAABA-12*BAABBABAA+12*BAABBBAAA-6*BABAABBAA+12*BABABBAAA-6*BABBAABAA+12*BABBABAAA-12*BABBBAAAA+1*BBAAAAABB-5*BBAAAABBA+4*BBAAABAAB-8*BBAAABABA+14*BBAAABBAA-12*BBAABAABA+24*BBAABABAA-21*BBAABBAAA+12*BBABAABAA-24*BBABABAAA+15*BBABBAAAA-2*BBBAAAAAB+10*BBBAAAABA-20*BBBAAABAA+18*BBBAABAAA-6*BBBABAAAA) +z4113*(+1*AAABBBAAB-2*AAABBBABA+1*AAABBBBAA-3*AABBBAABA+6*AABBBABAA-3*AABBBBAAA+3*ABBBAABAA-6*ABBBABAAA+3*ABBBBAAAA-3*BAAABBAAB+6*BAAABBABA-3*BAAABBBAA+9*BAABBAABA-18*BAABBABAA+9*BAABBBAAA-9*BABBAABAA+18*BABBABAAA-9*BABBBAAAA+3*BBAAABAAB-6*BBAAABABA+3*BBAAABBAA-9*BBAABAABA+18*BBAABABAA-9*BBAABBAAA+9*BBABAABAA-18*BBABABAAA+9*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-10*BBBAAABAA+9*BBBAABAAA-3*BBBABAAAA) +z5211*(+1*AAAABABBB-1*AAAABBBBA-4*AAABABBBA+4*AAABBBBAA+6*AABABBBAA-6*AABBBBAAA-4*ABABBBAAA+4*ABBBBAAAA-1*BAAAAABBB-3*BAAAABABB+8*BAAAABBBA+12*BAAABABBA-22*BAAABBBAA-18*BAABABBAA+28*BAABBBAAA+12*BABABBAAA-16*BABBBAAAA+3*BBAAAAABB+3*BBAAAABAB-18*BBAAAABBA-12*BBAAABABA+42*BBAAABBAA+18*BBAABABAA-48*BBAABBAAA-12*BBABABAAA+24*BBABBAAAA-3*BBBAAAAAB+15*BBBAAAABA-30*BBBAAABAA+30*BBBAABAAA-12*BBBABAAAA) +z5121*(+1*AAAABBABB-1*AAAABBBBA-4*AAABBABBA+4*AAABBBBAA+6*AABBABBAA-6*AABBBBAAA-4*ABBABBAAA+4*ABBBBAAAA-2*BAAAABABB-2*BAAAABBAB+4*BAAAABBBA+8*BAAABABBA+8*BAAABBABA-16*BAAABBBAA-12*BAABABBAA-12*BAABBABAA+24*BAABBBAAA+8*BABABBAAA+8*BABBABAAA-16*BABBBAAAA+1*BBAAAAABB+4*BBAAAABAB-9*BBAAAABBA-16*BBAAABABA+26*BBAAABBAA+24*BBAABABAA-34*BBAABBAAA-16*BBABABAAA+20*BBABBAAAA-2*BBBAAAAAB+10*BBBAAAABA-20*BBBAAABAA+20*BBBAABAAA-8*BBBABAAAA) +z5112*(+1*AAAABBBAB-1*AAAABBBBA-4*AAABBBABA+4*AAABBBBAA+6*AABBBABAA-6*AABBBBAAA-4*ABBBABAAA+4*ABBBBAAAA-3*BAAAABBAB+3*BAAAABBBA+12*BAAABBABA-12*BAAABBBAA-18*BAABBABAA+18*BAABBBAAA+12*BABBABAAA-12*BABBBAAAA+3*BBAAAABAB-3*BBAAAABBA-12*BBAAABABA+12*BBAAABBAA+18*BBAABABAA-18*BBAABBAAA-12*BBABABAAA+12*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-10*BBBAAABAA+10*BBBAABAAA-4*BBBABAAAA) +z261*(-1*ABAAAAABB+5*ABAAAABBA-10*ABAAABBAA+10*ABAABBAAA-5*ABABBAAAA+1*ABBBAAAAA+1*BAAAAAABB-5*BAAAAABBA+10*BAAAABBAA-10*BAAABBAAA+5*BAABBAAAA+2*BABAAAAAB-10*BABAAAABA+20*BABAAABAA-20*BABAABAAA+10*BABABAAAA-3*BABBAAAAA-2*BBAAAAAAB+10*BBAAAAABA-20*BBAAAABAA+20*BBAAABAAA-10*BBAABAAAA+2*BBABAAAAA) +z216*(-1*ABBAAAAAB+5*ABBAAAABA-10*ABBAAABAA+10*ABBAABAAA-5*ABBABAAAA+1*ABBBAAAAA+2*BABAAAAAB-10*BABAAAABA+20*BABAAABAA-20*BABAABAAA+10*BABABAAAA-2*BABBAAAAA-1*BBAAAAAAB+5*BBAAAAABA-10*BBAAAABAA+10*BBAAABAAA-5*BBAABAAAA+1*BBABAAAAA) +z351*(-1*AABAAAABB+4*AABAAABBA-6*AABAABBAA+4*AABABBAAA-1*AABBBAAAA+2*ABAAAABBA-8*ABAAABBAA+12*ABAABBAAA-8*ABABBAAAA+2*ABBBAAAAA+1*BAAAAAABB-6*BAAAAABBA+14*BAAAABBAA-16*BAAABBAAA+2*BAABAAAAB-8*BAABAAABA+12*BAABAABAA-8*BAABABAAA+11*BAABBAAAA-4*BABAAAABA+16*BABAAABAA-24*BABAABAAA+16*BABABAAAA-6*BABBAAAAA-2*BBAAAAAAB+12*BBAAAAABA-28*BBAAAABAA+32*BBAAABAAA-18*BBAABAAAA+4*BBABAAAAA) +z315*(-1*AABBAAAAB+4*AABBAAABA-6*AABBAABAA+4*AABBABAAA-1*AABBBAAAA+2*ABBAAAABA-8*ABBAAABAA+12*ABBAABAAA-8*ABBABAAAA+2*ABBBAAAAA+2*BAABAAAAB-8*BAABAAABA+12*BAABAABAA-8*BAABABAAA+2*BAABBAAAA-4*BABAAAABA+16*BABAAABAA-24*BABAABAAA+16*BABABAAAA-4*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-14*BBAAAABAA+16*BBAAABAAA-9*BBAABAAAA+2*BBABAAAAA) +z441*(-1*AAABAAABB+3*AAABAABBA-3*AAABABBAA+1*AAABBBAAA+3*AABAAABBA-9*AABAABBAA+9*AABABBAAA-3*AABBBAAAA-3*ABAAABBAA+9*ABAABBAAA-9*ABABBAAAA+3*ABBBAAAAA+1*BAAAAAABB-6*BAAAAABBA+15*BAAAABBAA+2*BAAABAAAB-6*BAAABAABA+6*BAAABABAA-21*BAAABBAAA-6*BAABAAABA+18*BAABAABAA-18*BAABABAAA+18*BAABBAAAA+6*BABAAABAA-18*BABAABAAA+18*BABABAAAA-9*BABBAAAAA-2*BBAAAAAAB+12*BBAAAAABA-30*BBAAAABAA+38*BBAAABAAA-24*BBAABAAAA+6*BBABAAAAA) +z414*(-1*AAABBAAAB+3*AAABBAABA-3*AAABBABAA+1*AAABBBAAA+3*AABBAAABA-9*AABBAABAA+9*AABBABAAA-3*AABBBAAAA-3*ABBAAABAA+9*ABBAABAAA-9*ABBABAAAA+3*ABBBAAAAA+2*BAAABAAAB-6*BAAABAABA+6*BAAABABAA-2*BAAABBAAA-6*BAABAAABA+18*BAABAABAA-18*BAABABAAA+6*BAABBAAAA+6*BABAAABAA-18*BABAABAAA+18*BABABAAAA-6*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-15*BBAAAABAA+19*BBAAABAAA-12*BBAABAAAA+3*BBABAAAAA) +z531*(-1*AAAABAABB+2*AAAABABBA-1*AAAABBBAA+4*AAABAABBA-8*AAABABBAA+4*AAABBBAAA-6*AABAABBAA+12*AABABBAAA-6*AABBBAAAA+4*ABAABBAAA-8*ABABBAAAA+4*ABBBAAAAA+1*BAAAAAABB-6*BAAAAABBA+2*BAAAABAAB-4*BAAAABABA+17*BAAAABBAA-8*BAAABAABA+16*BAAABABAA-28*BAAABBAAA+12*BAABAABAA-24*BAABABAAA+26*BAABBAAAA-8*BABAABAAA+16*BABABAAAA-12*BABBAAAAA-2*BBAAAAAAB+12*BBAAAAABA-30*BBAAAABAA+40*BBAAABAAA-28*BBAABAAAA+8*BBABAAAAA) +z513*(-1*AAAABBAAB+2*AAAABBABA-1*AAAABBBAA+4*AAABBAABA-8*AAABBABAA+4*AAABBBAAA-6*AABBAABAA+12*AABBABAAA-6*AABBBAAAA+4*ABBAABAAA-8*ABBABAAAA+4*ABBBAAAAA+2*BAAAABAAB-4*BAAAABABA+2*BAAAABBAA-8*BAAABAABA+16*BAAABABAA-8*BAAABBAAA+12*BAABAABAA-24*BAABABAAA+12*BAABBAAAA-8*BABAABAAA+16*BABABAAAA-8*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-15*BBAAAABAA+20*BBAAABAAA-14*BBAABAAAA+4*BBABAAAAA) +z621*(-1*AAAAABABB+1*AAAAABBBA+5*AAAABABBA-5*AAAABBBAA-10*AAABABBAA+10*AAABBBAAA+10*AABABBAAA-10*AABBBAAAA-5*ABABBAAAA+5*ABBBAAAAA+1*BAAAAAABB+2*BAAAAABAB-8*BAAAAABBA-10*BAAAABABA+25*BAAAABBAA+20*BAAABABAA-40*BAAABBAAA-20*BAABABAAA+35*BAABBAAAA+10*BABABAAAA-15*BABBAAAAA-2*BBAAAAAAB+12*BBAAAAABA-30*BBAAAABAA+40*BBAAABAAA-30*BBAABAAAA+10*BBABAAAAA) +z612*(-1*AAAAABBAB+1*AAAAABBBA+5*AAAABBABA-5*AAAABBBAA-10*AAABBABAA+10*AAABBBAAA+10*AABBABAAA-10*AABBBAAAA-5*ABBABAAAA+5*ABBBAAAAA+2*BAAAAABAB-2*BAAAAABBA-10*BAAAABABA+10*BAAAABBAA+20*BAAABABAA-20*BAAABBAAA-20*BAABABAAA+20*BAABBAAAA+10*BABABAAAA-10*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-15*BBAAAABAA+20*BBAAABAAA-15*BBAABAAAA+5*BBABAAAAA) +z27*(+1*ABAAAAAAB-6*ABAAAAABA+15*ABAAAABAA-20*ABAAABAAA+15*ABAABAAAA-6*ABABAAAAA+1*ABBAAAAAA-1*BAAAAAAAB+6*BAAAAAABA-15*BAAAAABAA+20*BAAAABAAA-15*BAAABAAAA+6*BAABAAAAA-1*BABAAAAAA) +z36*(+1*AABAAAAAB-5*AABAAAABA+10*AABAAABAA-10*AABAABAAA+5*AABABAAAA-1*AABBAAAAA-2*ABAAAAABA+10*ABAAAABAA-20*ABAAABAAA+20*ABAABAAAA-10*ABABAAAAA+2*ABBAAAAAA-1*BAAAAAAAB+7*BAAAAAABA-20*BAAAAABAA+30*BAAAABAAA-25*BAAABAAAA+11*BAABAAAAA-2*BABAAAAAA) +z45*(+1*AAABAAAAB-4*AAABAAABA+6*AAABAABAA-4*AAABABAAA+1*AAABBAAAA-3*AABAAAABA+12*AABAAABAA-18*AABAABAAA+12*AABABAAAA-3*AABBAAAAA+3*ABAAAABAA-12*ABAAABAAA+18*ABAABAAAA-12*ABABAAAAA+3*ABBAAAAAA-1*BAAAAAAAB+7*BAAAAAABA-21*BAAAAABAA+34*BAAAABAAA-31*BAAABAAAA+15*BAABAAAAA-3*BABAAAAAA) +z54*(+1*AAAABAAAB-3*AAAABAABA+3*AAAABABAA-1*AAAABBAAA-4*AAABAAABA+12*AAABAABAA-12*AAABABAAA+4*AAABBAAAA+6*AABAAABAA-18*AABAABAAA+18*AABABAAAA-6*AABBAAAAA-4*ABAAABAAA+12*ABAABAAAA-12*ABABAAAAA+4*ABBAAAAAA-1*BAAAAAAAB+7*BAAAAAABA-21*BAAAAABAA+35*BAAAABAAA-34*BAAABAAAA+18*BAABAAAAA-4*BABAAAAAA) +z63*(+1*AAAAABAAB-2*AAAAABABA+1*AAAAABBAA-5*AAAABAABA+10*AAAABABAA-5*AAAABBAAA+10*AAABAABAA-20*AAABABAAA+10*AAABBAAAA-10*AABAABAAA+20*AABABAAAA-10*AABBAAAAA+5*ABAABAAAA-10*ABABAAAAA+5*ABBAAAAAA-1*BAAAAAAAB+7*BAAAAAABA-21*BAAAAABAA+35*BAAAABAAA-35*BAAABAAAA+20*BAABAAAAA-5*BABAAAAAA) +z72*(+1*AAAAAABAB-1*AAAAAABBA-6*AAAAABABA+6*AAAAABBAA+15*AAAABABAA-15*AAAABBAAA-20*AAABABAAA+20*AAABBAAAA+15*AABABAAAA-15*AABBAAAAA-6*ABABAAAAA+6*ABBAAAAAA-1*BAAAAAAAB+7*BAAAAAABA-21*BAAAAABAA+35*BAAAABAAA-35*BAAABAAAA+21*BAABAAAAA-6*BABAAAAAA) +z222111*(+1*ABABABBBB-1*ABABBBBBA-1*ABBABBBBA+1*ABBBBBBAA-1*BAABABBBB+1*BAABBBBBA-1*BABAABBBB-4*BABABABBB+7*BABABBBBA+4*BABBABBBA-6*BABBBBBAA+1*BBAAABBBB+4*BBAABABBB-6*BBAABBBBA+4*BBABAABBB+6*BBABABABB-18*BBABABBBA-6*BBABBABBA+15*BBABBBBAA-4*BBBAAABBB-6*BBBAABABB+14*BBBAABBBA-6*BBBABAABB-4*BBBABABAB+22*BBBABABBA+4*BBBABBABA-20*BBBABBBAA+6*BBBBAAABB+4*BBBBAABAB-16*BBBBAABBA+4*BBBBABAAB-12*BBBBABABA+14*BBBBABBAA-4*BBBBBAAAB+8*BBBBBAABA-4*BBBBBABAA) +z221211*(+1*ABABBABBB-1*ABABBBBBA-1*ABBBABBBA+1*ABBBBBBAA-1*BAABBABBB+1*BAABBBBBA-2*BABABABBB-3*BABABBABB+5*BABABBBBA+3*BABBABBBA+3*BABBBABBA-6*BABBBBBAA+2*BBAABABBB+3*BBAABBABB-5*BBAABBBBA+1*BBABAABBB+6*BBABABABB+3*BBABABBAB-13*BBABABBBA-9*BBABBABBA-3*BBABBBABA+15*BBABBBBAA-1*BBBAAABBB-6*BBBAABABB-3*BBBAABBAB+11*BBBAABBBA-3*BBBABAABB-6*BBBABABAB+18*BBBABABBA+9*BBBABBABA-19*BBBABBBAA+3*BBBBAAABB+6*BBBBAABAB-12*BBBBAABBA+3*BBBBABAAB-12*BBBBABABA+12*BBBBABBAA-3*BBBBBAAAB+6*BBBBBAABA-3*BBBBBABAA) +z221121*(+1*ABABBBABB-1*ABABBBBBA-1*ABBBBABBA+1*ABBBBBBAA-1*BAABBBABB+1*BAABBBBBA-3*BABABBABB-2*BABABBBAB+5*BABABBBBA+4*BABBBABBA+2*BABBBBABA-6*BABBBBBAA+3*BBAABBABB+2*BBAABBBAB-5*BBAABBBBA+3*BBABABABB+6*BBABABBAB-9*BBABABBBA-6*BBABBABBA-8*BBABBBABA+14*BBABBBBAA-3*BBBAABABB-6*BBBAABBAB+9*BBBAABBBA-1*BBBABAABB-6*BBBABABAB+11*BBBABABBA+12*BBBABBABA-16*BBBABBBAA+1*BBBBAAABB+6*BBBBAABAB-8*BBBBAABBA+2*BBBBABAAB-10*BBBBABABA+9*BBBBABBAA-2*BBBBBAAAB+4*BBBBBAABA-2*BBBBBABAA) +z221112*(+1*ABABBBBAB-1*ABABBBBBA-1*ABBBBBABA+1*ABBBBBBAA-1*BAABBBBAB+1*BAABBBBBA-4*BABABBBAB+4*BABABBBBA+5*BABBBBABA-5*BABBBBBAA+4*BBAABBBAB-4*BBAABBBBA+6*BBABABBAB-6*BBABABBBA-10*BBABBBABA+10*BBABBBBAA-6*BBBAABBAB+6*BBBAABBBA-4*BBBABABAB+4*BBBABABBA+10*BBBABBABA-10*BBBABBBAA+4*BBBBAABAB-4*BBBBAABBA+1*BBBBABAAB-6*BBBBABABA+5*BBBBABBAA-1*BBBBBAAAB+2*BBBBBAABA-1*BBBBBABAA) +z212211*(+1*ABBABABBB-1*ABBABBBBA-1*ABBBABBBA+1*ABBBBBBAA-2*BABABABBB+2*BABABBBBA-1*BABBAABBB-3*BABBABABB+7*BABBABBBA+3*BABBBABBA-6*BABBBBBAA+1*BBAABABBB-1*BBAABBBBA+2*BBABAABBB+6*BBABABABB-11*BBABABBBA+3*BBABBAABB+3*BBABBABAB-15*BBABBABBA-3*BBABBBABA+15*BBABBBBAA-1*BBBAAABBB-3*BBBAABABB+5*BBBAABBBA-6*BBBABAABB-6*BBBABABAB+21*BBBABABBA-3*BBBABBAAB+12*BBBABBABA-19*BBBABBBAA+3*BBBBAAABB+3*BBBBAABAB-9*BBBBAABBA+6*BBBBABAAB-15*BBBBABABA+12*BBBBABBAA-3*BBBBBAAAB+6*BBBBBAABA-3*BBBBBABAA) +z212121*(+1*ABBABBABB-1*ABBABBBBA-1*ABBBBABBA+1*ABBBBBBAA-2*BABABBABB+2*BABABBBBA-2*BABBABABB-2*BABBABBAB+4*BABBABBBA+4*BABBBABBA+2*BABBBBABA-6*BABBBBBAA+1*BBAABBABB-1*BBAABBBBA+4*BBABABABB+4*BBABABBAB-8*BBABABBBA+1*BBABBAABB+4*BBABBABAB-11*BBABBABBA-8*BBABBBABA+14*BBABBBBAA-2*BBBAABABB-2*BBBAABBAB+4*BBBAABBBA-2*BBBABAABB-8*BBBABABAB+14*BBBABABBA-2*BBBABBAAB+14*BBBABBABA-16*BBBABBBAA+1*BBBBAAABB+4*BBBBAABAB-6*BBBBAABBA+4*BBBBABAAB-12*BBBBABABA+9*BBBBABBAA-2*BBBBBAAAB+4*BBBBBAABA-2*BBBBBABAA) +z212112*(+1*ABBABBBAB-1*ABBABBBBA-1*ABBBBBABA+1*ABBBBBBAA-2*BABABBBAB+2*BABABBBBA-3*BABBABBAB+3*BABBABBBA+5*BABBBBABA-5*BABBBBBAA+1*BBAABBBAB-1*BBAABBBBA+6*BBABABBAB-6*BBABABBBA+3*BBABBABAB-3*BBABBABBA-10*BBABBBABA+10*BBABBBBAA-3*BBBAABBAB+3*BBBAABBBA-6*BBBABABAB+6*BBBABABBA-1*BBBABBAAB+11*BBBABBABA-10*BBBABBBAA+3*BBBBAABAB-3*BBBBAABBA+2*BBBBABAAB-7*BBBBABABA+5*BBBBABBAA-1*BBBBBAAAB+2*BBBBBAABA-1*BBBBBABAA) +z211221*(+1*ABBBABABB-1*ABBBABBBA-1*ABBBBABBA+1*ABBBBBBAA-3*BABBABABB+3*BABBABBBA-1*BABBBAABB-2*BABBBABAB+7*BABBBABBA+2*BABBBBABA-6*BABBBBBAA+3*BBABABABB-3*BBABABBBA+3*BBABBAABB+6*BBABBABAB-15*BBABBABBA+2*BBABBBAAB-10*BBABBBABA+14*BBABBBBAA-1*BBBAABABB+1*BBBAABBBA-3*BBBABAABB-6*BBBABABAB+13*BBBABABBA-6*BBBABBAAB+18*BBBABBABA-16*BBBABBBAA+1*BBBBAAABB+2*BBBBAABAB-4*BBBBAABBA+6*BBBBABAAB-14*BBBBABABA+9*BBBBABBAA-2*BBBBBAAAB+4*BBBBBAABA-2*BBBBBABAA) +z211212*(+1*ABBBABBAB-1*ABBBABBBA-1*ABBBBBABA+1*ABBBBBBAA-3*BABBABBAB+3*BABBABBBA-2*BABBBABAB+2*BABBBABBA+5*BABBBBABA-5*BABBBBBAA+3*BBABABBAB-3*BBABABBBA+6*BBABBABAB-6*BBABBABBA+1*BBABBBAAB-11*BBABBBABA+10*BBABBBBAA-1*BBBAABBAB+1*BBBAABBBA-6*BBBABABAB+6*BBBABABBA-3*BBBABBAAB+13*BBBABBABA-10*BBBABBBAA+2*BBBBAABAB-2*BBBBAABBA+3*BBBBABAAB-8*BBBBABABA+5*BBBBABBAA-1*BBBBBAAAB+2*BBBBBAABA-1*BBBBBABAA) +z211122*(+1*ABBBBABAB-1*ABBBBABBA-1*ABBBBBABA+1*ABBBBBBAA-4*BABBBABAB+4*BABBBABBA-1*BABBBBAAB+6*BABBBBABA-5*BABBBBBAA+6*BBABBABAB-6*BBABBABBA+4*BBABBBAAB-14*BBABBBABA+10*BBABBBBAA-4*BBBABABAB+4*BBBABABBA-6*BBBABBAAB+16*BBBABBABA-10*BBBABBBAA+1*BBBBAABAB-1*BBBBAABBA+4*BBBBABAAB-9*BBBBABABA+5*BBBBABBAA-1*BBBBBAAAB+2*BBBBBAABA-1*BBBBBABAA) +z22311*(-1*ABABAABBB+2*ABABABBBA-1*ABABBBBAA+1*ABBAABBBA-2*ABBABBBAA+1*ABBBBBAAA+1*BAABAABBB-2*BAABABBBA+1*BAABBBBAA+1*BABAAABBB-4*BABAABBBA+3*BABABAABB-6*BABABABBA+8*BABABBBAA-3*BABBAABBA+6*BABBABBAA-5*BABBBBAAA-1*BBAAAABBB+3*BBAAABBBA-3*BBAABAABB+6*BBAABABBA-6*BBAABBBAA-3*BBABAAABB+12*BBABAABBA-3*BBABABAAB+6*BBABABABA-18*BBABABBAA+3*BBABBAABA-6*BBABBABAA+10*BBABBBAAA+3*BBBAAAABB-9*BBBAAABBA+3*BBBAABAAB-6*BBBAABABA+12*BBBAABBAA+3*BBBABAAAB-12*BBBABAABA+15*BBBABABAA-9*BBBABBAAA-3*BBBBAAAAB+9*BBBBAAABA-9*BBBBAABAA+3*BBBBABAAA) +z22131*(-1*ABABBAABB+2*ABABBABBA-1*ABABBBBAA+1*ABBBAABBA-2*ABBBABBAA+1*ABBBBBAAA+1*BAABBAABB-2*BAABBABBA+1*BAABBBBAA+2*BABABAABB-4*BABABABBA+2*BABABBAAB-4*BABABBABA+4*BABABBBAA-3*BABBAABBA+6*BABBABBAA-2*BABBBAABA+4*BABBBABAA-5*BABBBBAAA-2*BBAABAABB+4*BBAABABBA-2*BBAABBAAB+4*BBAABBABA-4*BBAABBBAA-1*BBABAAABB+5*BBABAABBA-4*BBABABAAB+8*BBABABABA-11*BBABABBAA+6*BBABBAABA-12*BBABBABAA+9*BBABBBAAA+1*BBBAAAABB-3*BBBAAABBA+4*BBBAABAAB-8*BBBAABABA+7*BBBAABBAA+2*BBBABAAAB-10*BBBABAABA+14*BBBABABAA-7*BBBABBAAA-2*BBBBAAAAB+6*BBBBAAABA-6*BBBBAABAA+2*BBBBABAAA) +z22113*(-1*ABABBBAAB+2*ABABBBABA-1*ABABBBBAA+1*ABBBBAABA-2*ABBBBABAA+1*ABBBBBAAA+1*BAABBBAAB-2*BAABBBABA+1*BAABBBBAA+3*BABABBAAB-6*BABABBABA+3*BABABBBAA-4*BABBBAABA+8*BABBBABAA-4*BABBBBAAA-3*BBAABBAAB+6*BBAABBABA-3*BBAABBBAA-3*BBABABAAB+6*BBABABABA-3*BBABABBAA+6*BBABBAABA-12*BBABBABAA+6*BBABBBAAA+3*BBBAABAAB-6*BBBAABABA+3*BBBAABBAA+1*BBBABAAAB-6*BBBABAABA+9*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z21231*(-1*ABBABAABB+2*ABBABABBA-1*ABBABBBAA+1*ABBBAABBA-2*ABBBABBAA+1*ABBBBBAAA+2*BABABAABB-4*BABABABBA+2*BABABBBAA+1*BABBAAABB-5*BABBAABBA+2*BABBABAAB-4*BABBABABA+9*BABBABBAA-2*BABBBAABA+4*BABBBABAA-5*BABBBBAAA-1*BBAABAABB+2*BBAABABBA-1*BBAABBBAA-2*BBABAAABB+7*BBABAABBA-4*BBABABAAB+8*BBABABABA-12*BBABABBAA-2*BBABBAAAB+10*BBABBAABA-14*BBABBABAA+9*BBABBBAAA+1*BBBAAAABB-3*BBBAAABBA+2*BBBAABAAB-4*BBBAABABA+5*BBBAABBAA+4*BBBABAAAB-14*BBBABAABA+16*BBBABABAA-7*BBBABBAAA-2*BBBBAAAAB+6*BBBBAAABA-6*BBBBAABAA+2*BBBBABAAA) +z21213*(-1*ABBABBAAB+2*ABBABBABA-1*ABBABBBAA+1*ABBBBAABA-2*ABBBBABAA+1*ABBBBBAAA+2*BABABBAAB-4*BABABBABA+2*BABABBBAA+2*BABBABAAB-4*BABBABABA+2*BABBABBAA-4*BABBBAABA+8*BABBBABAA-4*BABBBBAAA-1*BBAABBAAB+2*BBAABBABA-1*BBAABBBAA-4*BBABABAAB+8*BBABABABA-4*BBABABBAA-1*BBABBAAAB+8*BBABBAABA-13*BBABBABAA+6*BBABBBAAA+2*BBBAABAAB-4*BBBAABABA+2*BBBAABBAA+2*BBBABAAAB-8*BBBABAABA+10*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z21123*(-1*ABBBABAAB+2*ABBBABABA-1*ABBBABBAA+1*ABBBBAABA-2*ABBBBABAA+1*ABBBBBAAA+3*BABBABAAB-6*BABBABABA+3*BABBABBAA+1*BABBBAAAB-6*BABBBAABA+9*BABBBABAA-4*BABBBBAAA-3*BBABABAAB+6*BBABABABA-3*BBABABBAA-3*BBABBAAAB+12*BBABBAABA-15*BBABBABAA+6*BBABBBAAA+1*BBBAABAAB-2*BBBAABABA+1*BBBAABBAA+3*BBBABAAAB-10*BBBABAABA+11*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z23211*(-1*ABAABABBB+1*ABAABBBBA+2*ABABABBBA-2*ABABBBBAA-1*ABBABBBAA+1*ABBBBBAAA+1*BAAABABBB-1*BAAABBBBA-2*BAABABBBA+2*BAABBBBAA+1*BABAAABBB+3*BABAABABB-6*BABAABBBA-6*BABABABBA+10*BABABBBAA+3*BABBABBAA-5*BABBBBAAA-1*BBAAAABBB-3*BBAAABABB+6*BBAAABBBA+6*BBAABABBA-9*BBAABBBAA-3*BBABAAABB-3*BBABAABAB+12*BBABAABBA+6*BBABABABA-18*BBABABBAA-3*BBABBABAA+10*BBABBBAAA+3*BBBAAAABB+3*BBBAAABAB-12*BBBAAABBA-6*BBBAABABA+15*BBBAABBAA+3*BBBABAAAB-9*BBBABAABA+12*BBBABABAA-9*BBBABBAAA-3*BBBBAAAAB+9*BBBBAAABA-9*BBBBAABAA+3*BBBBABAAA) +z23121*(-1*ABAABBABB+1*ABAABBBBA+2*ABABBABBA-2*ABABBBBAA-1*ABBBABBAA+1*ABBBBBAAA+1*BAAABBABB-1*BAAABBBBA-2*BAABBABBA+2*BAABBBBAA+2*BABAABABB+2*BABAABBAB-4*BABAABBBA-4*BABABABBA-4*BABABBABA+8*BABABBBAA+3*BABBABBAA+2*BABBBABAA-5*BABBBBAAA-2*BBAAABABB-2*BBAAABBAB+4*BBAAABBBA+4*BBAABABBA+4*BBAABBABA-8*BBAABBBAA-1*BBABAAABB-4*BBABAABAB+7*BBABAABBA+8*BBABABABA-13*BBABABBAA-6*BBABBABAA+9*BBABBBAAA+1*BBBAAAABB+4*BBBAAABAB-7*BBBAAABBA-8*BBBAABABA+11*BBBAABBAA+2*BBBABAAAB-6*BBBABAABA+10*BBBABABAA-7*BBBABBAAA-2*BBBBAAAAB+6*BBBBAAABA-6*BBBBAABAA+2*BBBBABAAA) +z23112*(-1*ABAABBBAB+1*ABAABBBBA+2*ABABBBABA-2*ABABBBBAA-1*ABBBBABAA+1*ABBBBBAAA+1*BAAABBBAB-1*BAAABBBBA-2*BAABBBABA+2*BAABBBBAA+3*BABAABBAB-3*BABAABBBA-6*BABABBABA+6*BABABBBAA+4*BABBBABAA-4*BABBBBAAA-3*BBAAABBAB+3*BBAAABBBA+6*BBAABBABA-6*BBAABBBAA-3*BBABAABAB+3*BBABAABBA+6*BBABABABA-6*BBABABBAA-6*BBABBABAA+6*BBABBBAAA+3*BBBAAABAB-3*BBBAAABBA-6*BBBAABABA+6*BBBAABBAA+1*BBBABAAAB-3*BBBABAABA+6*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z21321*(-1*ABBAABABB+1*ABBAABBBA+2*ABBABABBA-2*ABBABBBAA-1*ABBBABBAA+1*ABBBBBAAA+2*BABAABABB-2*BABAABBBA-4*BABABABBA+4*BABABBBAA+1*BABBAAABB+2*BABBAABAB-5*BABBAABBA-4*BABBABABA+9*BABBABBAA+2*BABBBABAA-5*BABBBBAAA-1*BBAAABABB+1*BBAAABBBA+2*BBAABABBA-2*BBAABBBAA-2*BBABAAABB-4*BBABAABAB+10*BBABAABBA+8*BBABABABA-15*BBABABBAA-2*BBABBAAAB+6*BBABBAABA-10*BBABBABAA+9*BBABBBAAA+1*BBBAAAABB+2*BBBAAABAB-5*BBBAAABBA-4*BBBAABABA+7*BBBAABBAA+4*BBBABAAAB-12*BBBABAABA+14*BBBABABAA-7*BBBABBAAA-2*BBBBAAAAB+6*BBBBAAABA-6*BBBBAABAA+2*BBBBABAAA) +z21312*(-1*ABBAABBAB+1*ABBAABBBA+2*ABBABBABA-2*ABBABBBAA-1*ABBBBABAA+1*ABBBBBAAA+2*BABAABBAB-2*BABAABBBA-4*BABABBABA+4*BABABBBAA+2*BABBAABAB-2*BABBAABBA-4*BABBABABA+4*BABBABBAA+4*BABBBABAA-4*BABBBBAAA-1*BBAAABBAB+1*BBAAABBBA+2*BBAABBABA-2*BBAABBBAA-4*BBABAABAB+4*BBABAABBA+8*BBABABABA-8*BBABABBAA-1*BBABBAAAB+3*BBABBAABA-8*BBABBABAA+6*BBABBBAAA+2*BBBAAABAB-2*BBBAAABBA-4*BBBAABABA+4*BBBAABBAA+2*BBBABAAAB-6*BBBABAABA+8*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z21132*(-1*ABBBAABAB+1*ABBBAABBA+2*ABBBABABA-2*ABBBABBAA-1*ABBBBABAA+1*ABBBBBAAA+3*BABBAABAB-3*BABBAABBA-6*BABBABABA+6*BABBABBAA+1*BABBBAAAB-3*BABBBAABA+6*BABBBABAA-4*BABBBBAAA-3*BBABAABAB+3*BBABAABBA+6*BBABABABA-6*BBABABBAA-3*BBABBAAAB+9*BBABBAABA-12*BBABBABAA+6*BBABBBAAA+1*BBBAAABAB-1*BBBAAABBA-2*BBBAABABA+2*BBBAABBAA+3*BBBABAAAB-9*BBBABAABA+10*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z32211*(-1*AABABABBB+1*AABABBBBA+1*AABBABBBA-1*AABBBBBAA+2*ABABABBBA-2*ABABBBBAA-2*ABBABBBAA+2*ABBBBBAAA+1*BAAABABBB-1*BAAABBBBA+1*BAABAABBB+3*BAABABABB-8*BAABABBBA-3*BAABBABBA+7*BAABBBBAA-2*BABAABBBA-6*BABABABBA+12*BABABBBAA+6*BABBABBAA-10*BABBBBAAA-1*BBAAAABBB-3*BBAAABABB+7*BBAAABBBA-3*BBAABAABB-3*BBAABABAB+18*BBAABABBA+3*BBAABBABA-20*BBAABBBAA+6*BBABAABBA+6*BBABABABA-24*BBABABBAA-6*BBABBABAA+20*BBABBBAAA+3*BBBAAAABB+3*BBBAAABAB-15*BBBAAABBA+3*BBBAABAAB-15*BBBAABABA+27*BBBAABBAA-6*BBBABAABA+18*BBBABABAA-18*BBBABBAAA-3*BBBBAAAAB+12*BBBBAAABA-15*BBBBAABAA+6*BBBBABAAA) +z32121*(-1*AABABBABB+1*AABABBBBA+1*AABBBABBA-1*AABBBBBAA+2*ABABBABBA-2*ABABBBBAA-2*ABBBABBAA+2*ABBBBBAAA+1*BAAABBABB-1*BAAABBBBA+2*BAABABABB+2*BAABABBAB-4*BAABABBBA-5*BAABBABBA-2*BAABBBABA+7*BAABBBBAA-4*BABABABBA-4*BABABBABA+8*BABABBBAA+6*BABBABBAA+4*BABBBABAA-10*BABBBBAAA-2*BBAAABABB-2*BBAAABBAB+4*BBAAABBBA-1*BBAABAABB-4*BBAABABAB+12*BBAABABBA+10*BBAABBABA-17*BBAABBBAA+2*BBABAABBA+8*BBABABABA-16*BBABABBAA-12*BBABBABAA+18*BBABBBAAA+1*BBBAAAABB+4*BBBAAABAB-8*BBBAAABBA+2*BBBAABAAB-16*BBBAABABA+19*BBBAABBAA-4*BBBABAABA+16*BBBABABAA-14*BBBABBAAA-2*BBBBAAAAB+8*BBBBAAABA-10*BBBBAABAA+4*BBBBABAAA) +z32112*(-1*AABABBBAB+1*AABABBBBA+1*AABBBBABA-1*AABBBBBAA+2*ABABBBABA-2*ABABBBBAA-2*ABBBBABAA+2*ABBBBBAAA+1*BAAABBBAB-1*BAAABBBBA+3*BAABABBAB-3*BAABABBBA-6*BAABBBABA+6*BAABBBBAA-6*BABABBABA+6*BABABBBAA+8*BABBBABAA-8*BABBBBAAA-3*BBAAABBAB+3*BBAAABBBA-3*BBAABABAB+3*BBAABABBA+12*BBAABBABA-12*BBAABBBAA+6*BBABABABA-6*BBABABBAA-12*BBABBABAA+12*BBABBBAAA+3*BBBAAABAB-3*BBBAAABBA+1*BBBAABAAB-11*BBBAABABA+10*BBBAABBAA-2*BBBABAABA+10*BBBABABAA-8*BBBABBAAA-1*BBBBAAAAB+4*BBBBAAABA-5*BBBBAABAA+2*BBBBABAAA) +z31221*(-1*AABBABABB+1*AABBABBBA+1*AABBBABBA-1*AABBBBBAA+2*ABBABABBA-2*ABBABBBAA-2*ABBBABBAA+2*ABBBBBAAA+2*BAABABABB-2*BAABABBBA+1*BAABBAABB+2*BAABBABAB-6*BAABBABBA-2*BAABBBABA+5*BAABBBBAA-4*BABABABBA+4*BABABBBAA-2*BABBAABBA-4*BABBABABA+12*BABBABBAA+4*BABBBABAA-10*BABBBBAAA-1*BBAAABABB+1*BBAAABBBA-2*BBAABAABB-4*BBAABABAB+11*BBAABABBA-2*BBAABBAAB+8*BBAABBABA-11*BBAABBBAA+4*BBABAABBA+8*BBABABABA-18*BBABABBAA+4*BBABBAABA-16*BBABBABAA+18*BBABBBAAA+1*BBBAAAABB+2*BBBAAABAB-6*BBBAAABBA+4*BBBAABAAB-14*BBBAABABA+15*BBBAABBAA-8*BBBABAABA+20*BBBABABAA-14*BBBABBAAA-2*BBBBAAAAB+8*BBBBAAABA-10*BBBBAABAA+4*BBBBABAAA) +z31212*(-1*AABBABBAB+1*AABBABBBA+1*AABBBBABA-1*AABBBBBAA+2*ABBABBABA-2*ABBABBBAA-2*ABBBBABAA+2*ABBBBBAAA+2*BAABABBAB-2*BAABABBBA+2*BAABBABAB-2*BAABBABBA-4*BAABBBABA+4*BAABBBBAA-4*BABABBABA+4*BABABBBAA-4*BABBABABA+4*BABBABBAA+8*BABBBABAA-8*BABBBBAAA-1*BBAAABBAB+1*BBAAABBBA-4*BBAABABAB+4*BBAABABBA-1*BBAABBAAB+9*BBAABBABA-8*BBAABBBAA+8*BBABABABA-8*BBABABBAA+2*BBABBAABA-14*BBABBABAA+12*BBABBBAAA+2*BBBAAABAB-2*BBBAAABBA+2*BBBAABAAB-10*BBBAABABA+8*BBBAABBAA-4*BBBABAABA+12*BBBABABAA-8*BBBABBAAA-1*BBBBAAAAB+4*BBBBAAABA-5*BBBBAABAA+2*BBBBABAAA) +z31122*(-1*AABBBABAB+1*AABBBABBA+1*AABBBBABA-1*AABBBBBAA+2*ABBBABABA-2*ABBBABBAA-2*ABBBBABAA+2*ABBBBBAAA+3*BAABBABAB-3*BAABBABBA+1*BAABBBAAB-5*BAABBBABA+4*BAABBBBAA-6*BABBABABA+6*BABBABBAA-2*BABBBAABA+10*BABBBABAA-8*BABBBBAAA-3*BBAABABAB+3*BBAABABBA-3*BBAABBAAB+9*BBAABBABA-6*BBAABBBAA+6*BBABABABA-6*BBABABBAA+6*BBABBAABA-18*BBABBABAA+12*BBABBBAAA+1*BBBAAABAB-1*BBBAAABBA+3*BBBAABAAB-9*BBBAABABA+6*BBBAABBAA-6*BBBABAABA+14*BBBABABAA-8*BBBABBAAA-1*BBBBAAAAB+4*BBBBAAABA-5*BBBBAABAA+2*BBBBABAAA) +z2241*(+1*ABABAAABB-3*ABABAABBA+3*ABABABBAA-1*ABABBBAAA-1*ABBAAABBA+3*ABBAABBAA-3*ABBABBAAA+1*ABBBBAAAA-1*BAABAAABB+3*BAABAABBA-3*BAABABBAA+1*BAABBBAAA-1*BABAAAABB+5*BABAAABBA-9*BABAABBAA-2*BABABAAAB+6*BABABAABA-6*BABABABAA+9*BABABBAAA+2*BABBAAABA-6*BABBAABAA+6*BABBABAAA-4*BABBBAAAA+1*BBAAAAABB-4*BBAAAABBA+6*BBAAABBAA+2*BBAABAAAB-6*BBAABAABA+6*BBAABABAA-6*BBAABBAAA+2*BBABAAAAB-10*BBABAAABA+18*BBABAABAA-14*BBABABAAA+5*BBABBAAAA-2*BBBAAAAAB+8*BBBAAAABA-12*BBBAAABAA+8*BBBAABAAA-2*BBBABAAAA) +z2214*(+1*ABABBAAAB-3*ABABBAABA+3*ABABBABAA-1*ABABBBAAA-1*ABBBAAABA+3*ABBBAABAA-3*ABBBABAAA+1*ABBBBAAAA-1*BAABBAAAB+3*BAABBAABA-3*BAABBABAA+1*BAABBBAAA-2*BABABAAAB+6*BABABAABA-6*BABABABAA+2*BABABBAAA+3*BABBAAABA-9*BABBAABAA+9*BABBABAAA-3*BABBBAAAA+2*BBAABAAAB-6*BBAABAABA+6*BBAABABAA-2*BBAABBAAA+1*BBABAAAAB-6*BBABAAABA+12*BBABAABAA-10*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z2124*(+1*ABBABAAAB-3*ABBABAABA+3*ABBABABAA-1*ABBABBAAA-1*ABBBAAABA+3*ABBBAABAA-3*ABBBABAAA+1*ABBBBAAAA-2*BABABAAAB+6*BABABAABA-6*BABABABAA+2*BABABBAAA-1*BABBAAAAB+6*BABBAAABA-12*BABBAABAA+10*BABBABAAA-3*BABBBAAAA+1*BBAABAAAB-3*BBAABAABA+3*BBAABABAA-1*BBAABBAAA+2*BBABAAAAB-9*BBABAAABA+15*BBABAABAA-11*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z2331*(+1*ABAABAABB-2*ABAABABBA+1*ABAABBBAA-2*ABABAABBA+4*ABABABBAA-2*ABABBBAAA+1*ABBAABBAA-2*ABBABBAAA+1*ABBBBAAAA-1*BAAABAABB+2*BAAABABBA-1*BAAABBBAA+2*BAABAABBA-4*BAABABBAA+2*BAABBBAAA-1*BABAAAABB+4*BABAAABBA-2*BABAABAAB+4*BABAABABA-9*BABAABBAA+4*BABABAABA-8*BABABABAA+10*BABABBAAA-2*BABBAABAA+4*BABBABAAA-4*BABBBAAAA+1*BBAAAAABB-4*BBAAAABBA+2*BBAAABAAB-4*BBAAABABA+8*BBAAABBAA-4*BBAABAABA+8*BBAABABAA-8*BBAABBAAA+2*BBABAAAAB-8*BBABAAABA+14*BBABAABAA-12*BBABABAAA+5*BBABBAAAA-2*BBBAAAAAB+8*BBBAAAABA-12*BBBAAABAA+8*BBBAABAAA-2*BBBABAAAA) +z2313*(+1*ABAABBAAB-2*ABAABBABA+1*ABAABBBAA-2*ABABBAABA+4*ABABBABAA-2*ABABBBAAA+1*ABBBAABAA-2*ABBBABAAA+1*ABBBBAAAA-1*BAAABBAAB+2*BAAABBABA-1*BAAABBBAA+2*BAABBAABA-4*BAABBABAA+2*BAABBBAAA-2*BABAABAAB+4*BABAABABA-2*BABAABBAA+4*BABABAABA-8*BABABABAA+4*BABABBAAA-3*BABBAABAA+6*BABBABAAA-3*BABBBAAAA+2*BBAAABAAB-4*BBAAABABA+2*BBAAABBAA-4*BBAABAABA+8*BBAABABAA-4*BBAABBAAA+1*BBABAAAAB-4*BBABAAABA+8*BBABAABAA-8*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z2133*(+1*ABBAABAAB-2*ABBAABABA+1*ABBAABBAA-2*ABBABAABA+4*ABBABABAA-2*ABBABBAAA+1*ABBBAABAA-2*ABBBABAAA+1*ABBBBAAAA-2*BABAABAAB+4*BABAABABA-2*BABAABBAA+4*BABABAABA-8*BABABABAA+4*BABABBAAA-1*BABBAAAAB+4*BABBAAABA-8*BABBAABAA+8*BABBABAAA-3*BABBBAAAA+1*BBAAABAAB-2*BBAAABABA+1*BBAAABBAA-2*BBAABAABA+4*BBAABABAA-2*BBAABBAAA+2*BBABAAAAB-8*BBABAAABA+13*BBABAABAA-10*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z2421*(+1*ABAAABABB-1*ABAAABBBA-3*ABAABABBA+3*ABAABBBAA+3*ABABABBAA-3*ABABBBAAA-1*ABBABBAAA+1*ABBBBAAAA-1*BAAAABABB+1*BAAAABBBA+3*BAAABABBA-3*BAAABBBAA-3*BAABABBAA+3*BAABBBAAA-1*BABAAAABB-2*BABAAABAB+6*BABAAABBA+6*BABAABABA-12*BABAABBAA-6*BABABABAA+11*BABABBAAA+2*BABBABAAA-4*BABBBAAAA+1*BBAAAAABB+2*BBAAAABAB-6*BBAAAABBA-6*BBAAABABA+12*BBAAABBAA+6*BBAABABAA-10*BBAABBAAA+2*BBABAAAAB-8*BBABAAABA+12*BBABAABAA-10*BBABABAAA+5*BBABBAAAA-2*BBBAAAAAB+8*BBBAAAABA-12*BBBAAABAA+8*BBBAABAAA-2*BBBABAAAA) +z2412*(+1*ABAAABBAB-1*ABAAABBBA-3*ABAABBABA+3*ABAABBBAA+3*ABABBABAA-3*ABABBBAAA-1*ABBBABAAA+1*ABBBBAAAA-1*BAAAABBAB+1*BAAAABBBA+3*BAAABBABA-3*BAAABBBAA-3*BAABBABAA+3*BAABBBAAA-2*BABAAABAB+2*BABAAABBA+6*BABAABABA-6*BABAABBAA-6*BABABABAA+6*BABABBAAA+3*BABBABAAA-3*BABBBAAAA+2*BBAAAABAB-2*BBAAAABBA-6*BBAAABABA+6*BBAAABBAA+6*BBAABABAA-6*BBAABBAAA+1*BBABAAAAB-4*BBABAAABA+6*BBABAABAA-6*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z2142*(+1*ABBAAABAB-1*ABBAAABBA-3*ABBAABABA+3*ABBAABBAA+3*ABBABABAA-3*ABBABBAAA-1*ABBBABAAA+1*ABBBBAAAA-2*BABAAABAB+2*BABAAABBA+6*BABAABABA-6*BABAABBAA-6*BABABABAA+6*BABABBAAA-1*BABBAAAAB+4*BABBAAABA-6*BABBAABAA+6*BABBABAAA-3*BABBBAAAA+1*BBAAAABAB-1*BBAAAABBA-3*BBAAABABA+3*BBAAABBAA+3*BBAABABAA-3*BBAABBAAA+2*BBABAAAAB-8*BBABAAABA+12*BBABAABAA-9*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z3231*(+1*AABABAABB-2*AABABABBA+1*AABABBBAA-1*AABBAABBA+2*AABBABBAA-1*AABBBBAAA-2*ABABAABBA+4*ABABABBAA-2*ABABBBAAA+2*ABBAABBAA-4*ABBABBAAA+2*ABBBBAAAA-1*BAAABAABB+2*BAAABABBA-1*BAAABBBAA-1*BAABAAABB+6*BAABAABBA-2*BAABABAAB+4*BAABABABA-11*BAABABBAA+2*BAABBAABA-4*BAABBABAA+6*BAABBBAAA+2*BABAAABBA-8*BABAABBAA+4*BABABAABA-8*BABABABAA+14*BABABBAAA-4*BABBAABAA+8*BABBABAAA-8*BABBBAAAA+1*BBAAAAABB-5*BBAAAABBA+2*BBAAABAAB-4*BBAAABABA+11*BBAAABBAA+2*BBAABAAAB-12*BBAABAABA+18*BBAABABAA-15*BBAABBAAA-4*BBABAAABA+16*BBABAABAA-20*BBABABAAA+10*BBABBAAAA-2*BBBAAAAAB+10*BBBAAAABA-18*BBBAAABAA+14*BBBAABAAA-4*BBBABAAAA) +z3213*(+1*AABABBAAB-2*AABABBABA+1*AABABBBAA-1*AABBBAABA+2*AABBBABAA-1*AABBBBAAA-2*ABABBAABA+4*ABABBABAA-2*ABABBBAAA+2*ABBBAABAA-4*ABBBABAAA+2*ABBBBAAAA-1*BAAABBAAB+2*BAAABBABA-1*BAAABBBAA-2*BAABABAAB+4*BAABABABA-2*BAABABBAA+5*BAABBAABA-10*BAABBABAA+5*BAABBBAAA+4*BABABAABA-8*BABABABAA+4*BABABBAAA-6*BABBAABAA+12*BABBABAAA-6*BABBBAAAA+2*BBAAABAAB-4*BBAAABABA+2*BBAAABBAA+1*BBAABAAAB-9*BBAABAABA+15*BBAABABAA-7*BBAABBAAA-2*BBABAAABA+10*BBABAABAA-14*BBABABAAA+6*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-9*BBBAAABAA+7*BBBAABAAA-2*BBBABAAAA) +z3123*(+1*AABBABAAB-2*AABBABABA+1*AABBABBAA-1*AABBBAABA+2*AABBBABAA-1*AABBBBAAA-2*ABBABAABA+4*ABBABABAA-2*ABBABBAAA+2*ABBBAABAA-4*ABBBABAAA+2*ABBBBAAAA-2*BAABABAAB+4*BAABABABA-2*BAABABBAA-1*BAABBAAAB+5*BAABBAABA-7*BAABBABAA+3*BAABBBAAA+4*BABABAABA-8*BABABABAA+4*BABABBAAA+2*BABBAAABA-10*BABBAABAA+14*BABBABAAA-6*BABBBAAAA+1*BBAAABAAB-2*BBAAABABA+1*BBAAABBAA+2*BBAABAAAB-9*BBAABAABA+12*BBAABABAA-5*BBAABBAAA-4*BBABAAABA+14*BBABAABAA-16*BBABABAAA+6*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-9*BBBAAABAA+7*BBBAABAAA-2*BBBABAAAA) +z3321*(+1*AABAABABB-1*AABAABBBA-2*AABABABBA+2*AABABBBAA+1*AABBABBAA-1*AABBBBAAA-2*ABAABABBA+2*ABAABBBAA+4*ABABABBAA-4*ABABBBAAA-2*ABBABBAAA+2*ABBBBAAAA-1*BAAAABABB+1*BAAAABBBA+4*BAAABABBA-4*BAAABBBAA-1*BAABAAABB-2*BAABAABAB+5*BAABAABBA+4*BAABABABA-12*BAABABBAA-2*BAABBABAA+8*BAABBBAAA+2*BABAAABBA+4*BABAABABA-10*BABAABBAA-8*BABABABAA+16*BABABBAAA+4*BABBABAAA-8*BABBBAAAA+1*BBAAAAABB+2*BBAAAABAB-7*BBAAAABBA-8*BBAAABABA+17*BBAAABBAA+2*BBAABAAAB-6*BBAABAABA+16*BBAABABAA-19*BBAABBAAA-4*BBABAAABA+12*BBABAABAA-16*BBABABAAA+10*BBABBAAAA-2*BBBAAAAAB+10*BBBAAAABA-18*BBBAAABAA+14*BBBAABAAA-4*BBBABAAAA) +z3312*(+1*AABAABBAB-1*AABAABBBA-2*AABABBABA+2*AABABBBAA+1*AABBBABAA-1*AABBBBAAA-2*ABAABBABA+2*ABAABBBAA+4*ABABBABAA-4*ABABBBAAA-2*ABBBABAAA+2*ABBBBAAAA-1*BAAAABBAB+1*BAAAABBBA+4*BAAABBABA-4*BAAABBBAA-2*BAABAABAB+2*BAABAABBA+4*BAABABABA-4*BAABABBAA-7*BAABBABAA+7*BAABBBAAA+4*BABAABABA-4*BABAABBAA-8*BABABABAA+8*BABABBAAA+6*BABBABAAA-6*BABBBAAAA+2*BBAAAABAB-2*BBAAAABBA-8*BBAAABABA+8*BBAAABBAA+1*BBAABAAAB-3*BBAABAABA+13*BBAABABAA-11*BBAABBAAA-2*BBABAAABA+6*BBABAABAA-10*BBABABAAA+6*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-9*BBBAAABAA+7*BBBAABAAA-2*BBBABAAAA) +z3132*(+1*AABBAABAB-1*AABBAABBA-2*AABBABABA+2*AABBABBAA+1*AABBBABAA-1*AABBBBAAA-2*ABBAABABA+2*ABBAABBAA+4*ABBABABAA-4*ABBABBAAA-2*ABBBABAAA+2*ABBBBAAAA-2*BAABAABAB+2*BAABAABBA+4*BAABABABA-4*BAABABBAA-1*BAABBAAAB+3*BAABBAABA-5*BAABBABAA+3*BAABBBAAA+4*BABAABABA-4*BABAABBAA-8*BABABABAA+8*BABABBAAA+2*BABBAAABA-6*BABBAABAA+10*BABBABAAA-6*BABBBAAAA+1*BBAAAABAB-1*BBAAAABBA-4*BBAAABABA+4*BBAAABBAA+2*BBAABAAAB-6*BBAABAABA+11*BBAABABAA-7*BBAABBAAA-4*BBABAAABA+12*BBABAABAA-14*BBABABAAA+6*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-9*BBBAAABAA+7*BBBAABAAA-2*BBBABAAAA) +z4221*(+1*AAABABABB-1*AAABABBBA-1*AAABBABBA+1*AAABBBBAA-3*AABABABBA+3*AABABBBAA+3*AABBABBAA-3*AABBBBAAA+3*ABABABBAA-3*ABABBBAAA-3*ABBABBAAA+3*ABBBBAAAA-1*BAAAABABB+1*BAAAABBBA-1*BAAABAABB-2*BAAABABAB+8*BAAABABBA+2*BAAABBABA-7*BAAABBBAA+3*BAABAABBA+6*BAABABABA-18*BAABABBAA-6*BAABBABAA+15*BAABBBAAA-3*BABAABBAA-6*BABABABAA+15*BABABBAAA+6*BABBABAAA-12*BABBBAAAA+1*BBAAAAABB+2*BBAAAABAB-7*BBAAAABBA+2*BBAAABAAB-12*BBAAABABA+20*BBAAABBAA-6*BBAABAABA+24*BBAABABAA-27*BBAABBAAA+6*BBABAABAA-18*BBABABAAA+15*BBABBAAAA-2*BBBAAAAAB+10*BBBAAAABA-20*BBBAAABAA+18*BBBAABAAA-6*BBBABAAAA) +z4212*(+1*AAABABBAB-1*AAABABBBA-1*AAABBBABA+1*AAABBBBAA-3*AABABBABA+3*AABABBBAA+3*AABBBABAA-3*AABBBBAAA+3*ABABBABAA-3*ABABBBAAA-3*ABBBABAAA+3*ABBBBAAAA-1*BAAAABBAB+1*BAAAABBBA-2*BAAABABAB+2*BAAABABBA+6*BAAABBABA-6*BAAABBBAA+6*BAABABABA-6*BAABABBAA-12*BAABBABAA+12*BAABBBAAA-6*BABABABAA+6*BABABBAAA+9*BABBABAAA-9*BABBBAAAA+2*BBAAAABAB-2*BBAAAABBA+1*BBAAABAAB-10*BBAAABABA+9*BBAAABBAA-3*BBAABAABA+18*BBAABABAA-15*BBAABBAAA+3*BBABAABAA-12*BBABABAAA+9*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-10*BBBAAABAA+9*BBBAABAAA-3*BBBABAAAA) +z4122*(+1*AAABBABAB-1*AAABBABBA-1*AAABBBABA+1*AAABBBBAA-3*AABBABABA+3*AABBABBAA+3*AABBBABAA-3*AABBBBAAA+3*ABBABABAA-3*ABBABBAAA-3*ABBBABAAA+3*ABBBBAAAA-2*BAAABABAB+2*BAAABABBA-1*BAAABBAAB+4*BAAABBABA-3*BAAABBBAA+6*BAABABABA-6*BAABABBAA+3*BAABBAABA-12*BAABBABAA+9*BAABBBAAA-6*BABABABAA+6*BABABBAAA-3*BABBAABAA+12*BABBABAAA-9*BABBBAAAA+1*BBAAAABAB-1*BBAAAABBA+2*BBAAABAAB-8*BBAAABABA+6*BBAAABBAA-6*BBAABAABA+18*BBAABABAA-12*BBAABBAAA+6*BBABAABAA-15*BBABABAAA+9*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-10*BBBAAABAA+9*BBBAABAAA-3*BBBABAAAA) +z225*(-1*ABABAAAAB+4*ABABAAABA-6*ABABAABAA+4*ABABABAAA-1*ABABBAAAA+1*ABBAAAABA-4*ABBAAABAA+6*ABBAABAAA-4*ABBABAAAA+1*ABBBAAAAA+1*BAABAAAAB-4*BAABAAABA+6*BAABAABAA-4*BAABABAAA+1*BAABBAAAA+1*BABAAAAAB-6*BABAAAABA+14*BABAAABAA-16*BABAABAAA+9*BABABAAAA-2*BABBAAAAA-1*BBAAAAAAB+5*BBAAAAABA-10*BBAAAABAA+10*BBAAABAAA-5*BBAABAAAA+1*BBABAAAAA) +z234*(-1*ABAABAAAB+3*ABAABAABA-3*ABAABABAA+1*ABAABBAAA+2*ABABAAABA-6*ABABAABAA+6*ABABABAAA-2*ABABBAAAA-1*ABBAAABAA+3*ABBAABAAA-3*ABBABAAAA+1*ABBBAAAAA+1*BAAABAAAB-3*BAAABAABA+3*BAAABABAA-1*BAAABBAAA-2*BAABAAABA+6*BAABAABAA-6*BAABABAAA+2*BAABBAAAA+1*BABAAAAAB-5*BABAAAABA+11*BABAAABAA-13*BABAABAAA+8*BABABAAAA-2*BABBAAAAA-1*BBAAAAAAB+5*BBAAAAABA-10*BBAAAABAA+10*BBAAABAAA-5*BBAABAAAA+1*BBABAAAAA) +z243*(-1*ABAAABAAB+2*ABAAABABA-1*ABAAABBAA+3*ABAABAABA-6*ABAABABAA+3*ABAABBAAA-3*ABABAABAA+6*ABABABAAA-3*ABABBAAAA+1*ABBAABAAA-2*ABBABAAAA+1*ABBBAAAAA+1*BAAAABAAB-2*BAAAABABA+1*BAAAABBAA-3*BAAABAABA+6*BAAABABAA-3*BAAABBAAA+3*BAABAABAA-6*BAABABAAA+3*BAABBAAAA+1*BABAAAAAB-5*BABAAAABA+10*BABAAABAA-11*BABAABAAA+7*BABABAAAA-2*BABBAAAAA-1*BBAAAAAAB+5*BBAAAAABA-10*BBAAAABAA+10*BBAAABAAA-5*BBAABAAAA+1*BBABAAAAA) +z252*(-1*ABAAAABAB+1*ABAAAABBA+4*ABAAABABA-4*ABAAABBAA-6*ABAABABAA+6*ABAABBAAA+4*ABABABAAA-4*ABABBAAAA-1*ABBABAAAA+1*ABBBAAAAA+1*BAAAAABAB-1*BAAAAABBA-4*BAAAABABA+4*BAAAABBAA+6*BAAABABAA-6*BAAABBAAA-4*BAABABAAA+4*BAABBAAAA+1*BABAAAAAB-5*BABAAAABA+10*BABAAABAA-10*BABAABAAA+6*BABABAAAA-2*BABBAAAAA-1*BBAAAAAAB+5*BBAAAAABA-10*BBAAAABAA+10*BBAAABAAA-5*BBAABAAAA+1*BBABAAAAA) +z324*(-1*AABABAAAB+3*AABABAABA-3*AABABABAA+1*AABABBAAA+1*AABBAAABA-3*AABBAABAA+3*AABBABAAA-1*AABBBAAAA+2*ABABAAABA-6*ABABAABAA+6*ABABABAAA-2*ABABBAAAA-2*ABBAAABAA+6*ABBAABAAA-6*ABBABAAAA+2*ABBBAAAAA+1*BAAABAAAB-3*BAAABAABA+3*BAAABABAA-1*BAAABBAAA+1*BAABAAAAB-7*BAABAAABA+15*BAABAABAA-13*BAABABAAA+4*BAABBAAAA-2*BABAAAABA+10*BABAAABAA-18*BABAABAAA+14*BABABAAAA-4*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-14*BBAAAABAA+16*BBAAABAAA-9*BBAABAAAA+2*BBABAAAAA) +z333*(-1*AABAABAAB+2*AABAABABA-1*AABAABBAA+2*AABABAABA-4*AABABABAA+2*AABABBAAA-1*AABBAABAA+2*AABBABAAA-1*AABBBAAAA+2*ABAABAABA-4*ABAABABAA+2*ABAABBAAA-4*ABABAABAA+8*ABABABAAA-4*ABABBAAAA+2*ABBAABAAA-4*ABBABAAAA+2*ABBBAAAAA+1*BAAAABAAB-2*BAAAABABA+1*BAAAABBAA-4*BAAABAABA+8*BAAABABAA-4*BAAABBAAA+1*BAABAAAAB-4*BAABAAABA+11*BAABAABAA-14*BAABABAAA+6*BAABBAAAA-2*BABAAAABA+8*BABAAABAA-14*BABAABAAA+12*BABABAAAA-4*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-14*BBAAAABAA+16*BBAAABAAA-9*BBAABAAAA+2*BBABAAAAA) +z342*(-1*AABAAABAB+1*AABAAABBA+3*AABAABABA-3*AABAABBAA-3*AABABABAA+3*AABABBAAA+1*AABBABAAA-1*AABBBAAAA+2*ABAAABABA-2*ABAAABBAA-6*ABAABABAA+6*ABAABBAAA+6*ABABABAAA-6*ABABBAAAA-2*ABBABAAAA+2*ABBBAAAAA+1*BAAAAABAB-1*BAAAAABBA-5*BAAAABABA+5*BAAAABBAA+9*BAAABABAA-9*BAAABBAAA+1*BAABAAAAB-4*BAABAAABA+6*BAABAABAA-11*BAABABAAA+8*BAABBAAAA-2*BABAAAABA+8*BABAAABAA-12*BABAABAAA+10*BABABAAAA-4*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-14*BBAAAABAA+16*BBAAABAAA-9*BBAABAAAA+2*BBABAAAAA) +z423*(-1*AAABABAAB+2*AAABABABA-1*AAABABBAA+1*AAABBAABA-2*AAABBABAA+1*AAABBBAAA+3*AABABAABA-6*AABABABAA+3*AABABBAAA-3*AABBAABAA+6*AABBABAAA-3*AABBBAAAA-3*ABABAABAA+6*ABABABAAA-3*ABABBAAAA+3*ABBAABAAA-6*ABBABAAAA+3*ABBBAAAAA+1*BAAAABAAB-2*BAAAABABA+1*BAAAABBAA+1*BAAABAAAB-7*BAAABAABA+11*BAAABABAA-5*BAAABBAAA-3*BAABAAABA+15*BAABAABAA-21*BAABABAAA+9*BAABBAAAA+3*BABAAABAA-12*BABAABAAA+15*BABABAAAA-6*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-15*BBAAAABAA+19*BBAAABAAA-12*BBAABAAAA+3*BBABAAAAA) +z432*(-1*AAABAABAB+1*AAABAABBA+2*AAABABABA-2*AAABABBAA-1*AAABBABAA+1*AAABBBAAA+3*AABAABABA-3*AABAABBAA-6*AABABABAA+6*AABABBAAA+3*AABBABAAA-3*AABBBAAAA-3*ABAABABAA+3*ABAABBAAA+6*ABABABAAA-6*ABABBAAAA-3*ABBABAAAA+3*ABBBAAAAA+1*BAAAAABAB-1*BAAAAABBA-5*BAAAABABA+5*BAAAABBAA+1*BAAABAAAB-3*BAAABAABA+13*BAAABABAA-11*BAAABBAAA-3*BAABAAABA+9*BAABAABAA-18*BAABABAAA+12*BAABBAAAA+3*BABAAABAA-9*BABAABAAA+12*BABABAAAA-6*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-15*BBAAAABAA+19*BBAAABAAA-12*BBAABAAAA+3*BBABAAAAA) +z522*(-1*AAAABABAB+1*AAAABABBA+1*AAAABBABA-1*AAAABBBAA+4*AAABABABA-4*AAABABBAA-4*AAABBABAA+4*AAABBBAAA-6*AABABABAA+6*AABABBAAA+6*AABBABAAA-6*AABBBAAAA+4*ABABABAAA-4*ABABBAAAA-4*ABBABAAAA+4*ABBBAAAAA+1*BAAAAABAB-1*BAAAAABBA+1*BAAAABAAB-7*BAAAABABA+6*BAAAABBAA-4*BAAABAABA+18*BAAABABAA-14*BAAABBAAA+6*BAABAABAA-22*BAABABAAA+16*BAABBAAAA-4*BABAABAAA+12*BABABAAAA-8*BABBAAAAA-1*BBAAAAAAB+6*BBAAAAABA-15*BBAAAABAA+20*BBAAABAAA-14*BBAABAAAA+4*BBABAAAAA) +z22221*(-1*ABABABABB+1*ABABABBBA+1*ABABBABBA-1*ABABBBBAA+1*ABBABABBA-1*ABBABBBAA-1*ABBBABBAA+1*ABBBBBAAA+1*BAABABABB-1*BAABABBBA-1*BAABBABBA+1*BAABBBBAA+1*BABAABABB-1*BABAABBBA+1*BABABAABB+2*BABABABAB-7*BABABABBA-2*BABABBABA+6*BABABBBAA-1*BABBAABBA-2*BABBABABA+6*BABBABBAA+2*BABBBABAA-5*BABBBBAAA-1*BBAAABABB+1*BBAAABBBA-1*BBAABAABB-2*BBAABABAB+6*BBAABABBA+2*BBAABBABA-5*BBAABBBAA-1*BBABAAABB-2*BBABAABAB+6*BBABAABBA-2*BBABABAAB+10*BBABABABA-14*BBABABBAA+2*BBABBAABA-8*BBABBABAA+9*BBABBBAAA+1*BBBAAAABB+2*BBBAAABAB-5*BBBAAABBA+2*BBBAABAAB-8*BBBAABABA+9*BBBAABBAA+2*BBBABAAAB-8*BBBABAABA+12*BBBABABAA-7*BBBABBAAA-2*BBBBAAAAB+6*BBBBAAABA-6*BBBBAABAA+2*BBBBABAAA) +z22212*(-1*ABABABBAB+1*ABABABBBA+1*ABABBBABA-1*ABABBBBAA+1*ABBABBABA-1*ABBABBBAA-1*ABBBBABAA+1*ABBBBBAAA+1*BAABABBAB-1*BAABABBBA-1*BAABBBABA+1*BAABBBBAA+1*BABAABBAB-1*BABAABBBA+2*BABABABAB-2*BABABABBA-5*BABABBABA+5*BABABBBAA-2*BABBABABA+2*BABBABBAA+4*BABBBABAA-4*BABBBBAAA-1*BBAAABBAB+1*BBAAABBBA-2*BBAABABAB+2*BBAABABBA+4*BBAABBABA-4*BBAABBBAA-2*BBABAABAB+2*BBABAABBA-1*BBABABAAB+8*BBABABABA-7*BBABABBAA+1*BBABBAABA-7*BBABBABAA+6*BBABBBAAA+2*BBBAAABAB-2*BBBAAABBA+1*BBBAABAAB-6*BBBAABABA+5*BBBAABBAA+1*BBBABAAAB-4*BBBABAABA+7*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z22122*(-1*ABABBABAB+1*ABABBABBA+1*ABABBBABA-1*ABABBBBAA+1*ABBBABABA-1*ABBBABBAA-1*ABBBBABAA+1*ABBBBBAAA+1*BAABBABAB-1*BAABBABBA-1*BAABBBABA+1*BAABBBBAA+2*BABABABAB-2*BABABABBA+1*BABABBAAB-4*BABABBABA+3*BABABBBAA-3*BABBABABA+3*BABBABBAA-1*BABBBAABA+5*BABBBABAA-4*BABBBBAAA-2*BBAABABAB+2*BBAABABBA-1*BBAABBAAB+4*BBAABBABA-3*BBAABBBAA-1*BBABAABAB+1*BBABAABBA-2*BBABABAAB+8*BBABABABA-6*BBABABBAA+3*BBABBAABA-9*BBABBABAA+6*BBABBBAAA+1*BBBAAABAB-1*BBBAAABBA+2*BBBAABAAB-6*BBBAABABA+4*BBBAABBAA+1*BBBABAAAB-5*BBBABAABA+8*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z21222*(-1*ABBABABAB+1*ABBABABBA+1*ABBABBABA-1*ABBABBBAA+1*ABBBABABA-1*ABBBABBAA-1*ABBBBABAA+1*ABBBBBAAA+2*BABABABAB-2*BABABABBA-2*BABABBABA+2*BABABBBAA+1*BABBAABAB-1*BABBAABBA+1*BABBABAAB-6*BABBABABA+5*BABBABBAA-1*BABBBAABA+5*BABBBABAA-4*BABBBBAAA-1*BBAABABAB+1*BBAABABBA+1*BBAABBABA-1*BBAABBBAA-2*BBABAABAB+2*BBABAABBA-2*BBABABAAB+9*BBABABABA-7*BBABABBAA-1*BBABBAAAB+5*BBABBAABA-10*BBABBABAA+6*BBABBBAAA+1*BBBAAABAB-1*BBBAAABBA+1*BBBAABAAB-4*BBBAABABA+3*BBBAABBAA+2*BBBABAAAB-7*BBBABAABA+9*BBBABABAA-4*BBBABBAAA-1*BBBBAAAAB+3*BBBBAAABA-3*BBBBAABAA+1*BBBBABAAA) +z2223*(+1*ABABABAAB-2*ABABABABA+1*ABABABBAA-1*ABABBAABA+2*ABABBABAA-1*ABABBBAAA-1*ABBABAABA+2*ABBABABAA-1*ABBABBAAA+1*ABBBAABAA-2*ABBBABAAA+1*ABBBBAAAA-1*BAABABAAB+2*BAABABABA-1*BAABABBAA+1*BAABBAABA-2*BAABBABAA+1*BAABBBAAA-1*BABAABAAB+2*BABAABABA-1*BABAABBAA-1*BABABAAAB+6*BABABAABA-9*BABABABAA+4*BABABBAAA+1*BABBAAABA-5*BABBAABAA+7*BABBABAAA-3*BABBBAAAA+1*BBAAABAAB-2*BBAAABABA+1*BBAAABBAA+1*BBAABAAAB-5*BBAABAABA+7*BBAABABAA-3*BBAABBAAA+1*BBABAAAAB-5*BBABAAABA+10*BBABAABAA-9*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z2232*(+1*ABABAABAB-1*ABABAABBA-2*ABABABABA+2*ABABABBAA+1*ABABBABAA-1*ABABBBAAA-1*ABBAABABA+1*ABBAABBAA+2*ABBABABAA-2*ABBABBAAA-1*ABBBABAAA+1*ABBBBAAAA-1*BAABAABAB+1*BAABAABBA+2*BAABABABA-2*BAABABBAA-1*BAABBABAA+1*BAABBBAAA-1*BABAAABAB+1*BABAAABBA+4*BABAABABA-4*BABAABBAA-1*BABABAAAB+3*BABABAABA-8*BABABABAA+6*BABABBAAA+1*BABBAAABA-3*BABBAABAA+5*BABBABAAA-3*BABBBAAAA+1*BBAAAABAB-1*BBAAAABBA-3*BBAAABABA+3*BBAAABBAA+1*BBAABAAAB-3*BBAABAABA+6*BBAABABAA-4*BBAABBAAA+1*BBABAAAAB-5*BBABAAABA+9*BBABAABAA-8*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z2322*(+1*ABAABABAB-1*ABAABABBA-1*ABAABBABA+1*ABAABBBAA-2*ABABABABA+2*ABABABBAA+2*ABABBABAA-2*ABABBBAAA+1*ABBABABAA-1*ABBABBAAA-1*ABBBABAAA+1*ABBBBAAAA-1*BAAABABAB+1*BAAABABBA+1*BAAABBABA-1*BAAABBBAA+2*BAABABABA-2*BAABABBAA-2*BAABBABAA+2*BAABBBAAA-1*BABAAABAB+1*BABAAABBA-1*BABAABAAB+5*BABAABABA-4*BABAABBAA+2*BABABAABA-8*BABABABAA+6*BABABBAAA-1*BABBAABAA+4*BABBABAAA-3*BABBBAAAA+1*BBAAAABAB-1*BBAAAABBA+1*BBAAABAAB-5*BBAAABABA+4*BBAAABBAA-2*BBAABAABA+7*BBAABABAA-5*BBAABBAAA+1*BBABAAAAB-4*BBABAAABA+7*BBABAABAA-7*BBABABAAA+3*BBABBAAAA-1*BBBAAAAAB+4*BBBAAAABA-6*BBBAAABAA+4*BBBAABAAA-1*BBBABAAAA) +z3222*(+1*AABABABAB-1*AABABABBA-1*AABABBABA+1*AABABBBAA-1*AABBABABA+1*AABBABBAA+1*AABBBABAA-1*AABBBBAAA-2*ABABABABA+2*ABABABBAA+2*ABABBABAA-2*ABABBBAAA+2*ABBABABAA-2*ABBABBAAA-2*ABBBABAAA+2*ABBBBAAAA-1*BAAABABAB+1*BAAABABBA+1*BAAABBABA-1*BAAABBBAA-1*BAABAABAB+1*BAABAABBA-1*BAABABAAB+7*BAABABABA-6*BAABABBAA+1*BAABBAABA-6*BAABBABAA+5*BAABBBAAA+2*BABAABABA-2*BABAABBAA+2*BABABAABA-10*BABABABAA+8*BABABBAAA-2*BABBAABAA+8*BABBABAAA-6*BABBBAAAA+1*BBAAAABAB-1*BBAAAABBA+1*BBAAABAAB-6*BBAAABABA+5*BBAAABBAA+1*BBAABAAAB-6*BBAABAABA+14*BBAABABAA-9*BBAABBAAA-2*BBABAAABA+8*BBABAABAA-12*BBABABAAA+6*BBABBAAAA-1*BBBAAAAAB+5*BBBAAAABA-9*BBBAAABAA+7*BBBAABAAA-2*BBBABAAAA) ;