-Z+Y11(+Y-Z)16(+Y+X-Z-Y-Y+Z+Y-Z-X-X+Y-Y+Z+Z-Y-X+Y-Y6(-Z-Y-Z+X+Z+Z+X+Y-Z+Y-X-Z-

X+Y+Z-X+X+Z+X4(-Y-Z-Y+Y-Z-X+X-Y+Z-Y-Z+Z+Z+X-Z+Y12(+X-Y+Z+X-Y+Y-X+Z-X-Y-Z+X-X-X+X-
Y+Z)14(-Y+Y+X-X+Z+Z+Z-Y+X+Y-X-Y-Y-Z-Z+Y+Y-Y+X13(-X-X+Z4(+Y-X+Y+Z-Z-X8(+Y+Y)10(+Z-Z-
X+Z-Z+Z+Y-Z+Y-Z+Y+X14(-Z-X+Z-X+Y14(+Z+X-Z-Z+X-Z+Y+X+Z-Y-Z-Y-Y-Y-Y19(+X-X+Y)2(-Y-Y-
X+Y+Z-Y-X+X-Z+Z+Y+Y4(-Z-Y-Z+X+Z-Z-X-Z+X-X+X-Y+Y+X7(+X-Y+Z-Y-X-Y-Z+X-X+Z+Z-Z-X12(-
Z+Y+Z-Y-Z-X-Z-Z+X+Z+Y+X+Z-X-Z-X+Z)10(-X+Z+X+Z+Z-X-Z-Y-X+X+Y-Y-X+Z+Z-Z-Y17(+Y-
Y+X+Z+Y-X+X6(-Y+Y+Z+X-Y-X3(+X-Y+Y-Y+X+X-X+X+Z+X-Y-Y+Z+X)17(-Y-Y+Z-X+Z-X+Y-X-Y-Z-
Z+Z-X-Y-X-X8(+Y-X+X+Z-Z+Y-Z-X-Z+Y+Y-Z9(-X+Y+Y19(+Y-Z+X-Z+X+Z-Y+Z-X+Y)7(-X-Y-Y-Y+Y-
Z-Y+Z-X10(+Y-X+X-X-Y+Y+Y+X+X+Z7(+Z+Y-X+X-X+Z+Z+Y+X+X18(-X+X+X-Y-X-
Y+X+Y+Z+Y+Z+Y+Z+Y)14(-Z+Y-Z-X+X-X-Y-X+Z-X-Y-Z18(+Y-Y+X+Y+Z-Y+Z14(+Y+Y-Y14(-Z-
X+Z+Y+Y-Y-X-Z+X-X+Y+Z-Z+X-Y+Y-Z)10(+X-Z+Y-X+Y-X+Z-Z16(-X+Y+Y-Y+Y-Z+Y-Z+Y+X+Z-Z-X+Y-
X+Z+Y9(+Z+Y+Y+Y+X-Z-Y+X+X+X-X+Y+X-Z+Z+Y8(+Z-Y-Y-X+Y)9(+Z+X-Z-Y-Y+Z+X-Y-Z+Y+Y+Y-X-Z-
Z+Z+Y7(-Y-X+X-X+Z+Y-Y+Z+X+X-Z4(-Z+Z-X+Y-Z+X+Z+X-X-Z-Y+Y+X-Y-Y-Y+X-Z+Z4(-X-Y-Y-
X)18(-Y+Z+Z+Y+Y+Z-Y+X+Y-X17(-Z+Z+X-Y9(+X-Z+Z+X-Y-X-X-X+Y-Y+Z+Z-Y+Y+Z-Y10(-
X+Y+X+Y+Y+Y-Z-Y+Y+X+Y+Y-Y-Y+X)12(+X+Y-Y-Z+X-X+Y+Y-Z-X9(+X-Z+X+Y12(+Z-Y-X+Y+X-
X+Z+X+X+X+Z+Y+X19(+Z+X+X+X-Z+X+Y+Z+Z+X-Y-X+Z+X+X-Z)11(+Z+X-X15(+Z+Y+Y-Y-Y+Z+Y-Z-Z-
Y-Y+Z+X+X-X-Z-Z9(-Z+X-Y-Y+Z-X+X19(+Y+X+X+Z-Y-Y-Y+X+Z+X+Y+X)11(+X-X-Y-X-Y+X+X-Y+X+X-
Y+X-X13(+X-Z+Y+X-Z-X+X-X-Y-X+Y10(+Y-Z+Z+Z-Y+Y+X-Z-Z-X-Z-Y-X+X2(-
Z+X+Y+Y+Z+Z+Z+Z)15(-X+Z+Z-Y-Z+Y-Z+Y-Z6(+X+X+Y-Y-Y+Y+Z-Z+Z+Z-Y-X+Y10(-X+Z+Y-X-X+Z-
Y+X14(-Z+Z+Z+X-Z-Z-Y+Z+Y-Z-X-Z-Z-X-Z+X+X-Z)5(-Y-Z-Y+Z+X-Z-X+Z-Y6(-Y-Z-Z-
Y+X+Z+Z17(+Y-Y-Y+X-X-Y+Z-Y+X-Z-Z+Y+Z-Z+Z-Y6(+Z+Y+Y-Z-X+X+X-Y-X+Y-Z+Y+Z-X-Y)2(+Z+Y-
Z-Z-X+Z+X-X+Y+X+Y+Y9(+X+Y-Y11(+Y-Z15(+X+Y-Y-X+X+Z-X-Y+Z-X-X+X+X+Z+X-Y)4(+Y-Y8(-Y-
Z+Z+Y-Z-Z+X-Y-Z+X-X+X+X6(-Y+Y+Z15(+Z+Y+Y+Z-X)10(+Z+X+X-Y+X-Y13(-Y-Y+Z-Z+Z+Y+Z+Z+Y-
X-X+Z-X-Z9(+Y-Z-Y-Z+X+Y+Y-Y+Y+Y-X+Z+X+Z-Y13(+X+Z+Z+Z-X+Y-Y-Y-Z+X+Y+X-X-Z-Y)11(-
Z+Z+X+X-X+Y+Y-Z+Y13(-X-X+Z+Y+Y-X-X+Y+X+X-Y-Z+X14(-Z+X8(+Y+X+Y+X+X+Y-Y-Y-Z+X-Y-Z-
Z+X)5(+Z+X-Y-Z-X+X+Y+X-Y+Z+Y+X+Z+Y+Z+X-Y9(-X+X+Z+X-Z+Y+X+X-Z-Y+Y+X+Y+X+Z+Z17(+Z-Y-
Y-Z-Y-Z-X-Y-Z-X+X+X+Y-Z+X6(-Z+Z-Z-X+X+X-Y-Y-X+X+Y+Z+X+X+Z+Y+Z+Y)3(+X-Y-Y+Y+Y+Z-Z+Z-
X-X+Z-Z+X-Y+Z13(-Z+Z+Y-Z+Y-X+Z+X+Y-Y+X+Y+X-Y-Y+X14(-Y+Y-Y+Z-Y-Y-Z+Y+Z-Z+Y+Z-Y-
Y+Z8(+Z-Z+Y+Y+Z+Y+Z-Z-Z+X-X+Y+Z+Y+Z-Z+Y-Y)7(-Y-Y9(-Y+Z-Y-Y+Y18(+Y+X-X+Z-Z+Z+X-
Z+Z+Y-X+Z+Z+Z-Z+X+Y7(+Z-X+Y-Y-Z+Y-X-Z-Y-Y-Y)17(-Y-Z-X+Z+Z14(+Z+X+Z+X-Z+Z-Z+Y+Z-Z-
Z+Z-Z+Y+X+Z+Y4(+Z-Y+X+Z-Z+Y+Z-Y+X-Y+Y19(-X-Y+Y-X+X+X+Y+Z-Z+Y+Y+Y+X)5(-Z-Y-Y+X+Z-
Y+Y-Y-Y+Z7(+Z-Y9(-Y-Y-X+Z-Y+Z+Z+X-X+Y-X+Y+X+Y-X+Z-Z-Y19(+Y-Y+Y+X-Y+Z+Y+Y-Y-Y-Z+Y-Z-
Z-X-X+X+Y-Z)5(+Y-Y-Z-Z+Z+Z+Y-X+Z-Z10(-Z+X+Z-Y+Y-Y+Y17(-X+Z+Z14(+Z-X-X+Y+Z+Y-Z+Z-X-
Y-Y-Z)8(-X-Z+Y+Y+Z-Z-Z-X-X+Z+Y16(-Z+X+X+Y+X11(+X-X+Y-Z-Z+X+Z+X+Z+X+X-Z+Y+Y-Y+Y-
Z10(-X-Z-X+Z+Y+Y-X-Y+Y-Z-X+Z+Y-Z-Y+Z+Z-X+Y)12(-Y+Y+Z-X+X-X-Z+Y-Z+Y5(-Y+Z-X+X+Y+X-Z-
X-Y+Y+Y-Y-Z+Z+Z6(+Y+Y+Y+X+Y+X+Y-Y-Y-X-Y-Y-Z-Y+X+X+Y5(+Z-X+Y-Y-X-X+X-Y)8(-Y-Y-Y-Z+X-
X+Y14(-Z-Z-Y-Z-Y+Z-X-Y-Y+Z+X-Z11(+Z-X-Y-Y-X+Y-X-X-Y+Z+Z+X-X9(-Y-Z)6(-Z+Z-Y-Z-X-
Z+X+X+Z+Z+Z-X-X10(+Z+Z-Y-Z-X+Y-Z+Y17(+Z-Z-Z+Z-Y+Z-Z-Y-Y+X6(-X-Z)4(-Y+X+Z-Z-Y+Y-X-
Z+X-Y-X-X+Y-Y-Y-Z4(-Y-Y+X+X11(+Y-Z-Y+Z+Z+Y-X12(+X+Y+X)7(-Y+Z18(-Y-Y-X-Z+X-X+Z-X-
Y+X+X-Z7(-X-Z+Z+Z+Z+Y-X-Y-X-Z-Z+Z-X-Z+Z-X-Y-X5(-X-Z+X-X+Z+X+Z+Z+Z-Y-X-X+Z-Y-Z-X-
Z)5(-Z-X-X+X-Z-Y+X-X-X-Z+Z+Z+Z-Y+Z+X+X+Y+X7(+Y-Z-Y+X-Y-X6(-X-Y+X-Y+Y+Z-Z-Y+Z7(+Z+X-
Y-Y-Y-Y+X)10(-X+X-Z-Z+Y-Z-Y+Z17(-Y+X-Y-X-X-Y-Y-Y19(-Y+Z-Z-X-Y+X-Z-Y-Y8(-Z+Y+Y-Y+X-
X-Z+Z-X+X+Z-Y-Z-X)13(+Y-X-Z-Y+Y-Y-Y-X-Y-X+Z+X-Y+Z+Z-Y15(+Z+X+Z-Z+Y-Z+Y+Y+Z+Y+Z+Z-
Z+X9(-Y-X+Y-X-Y-X-Y+Y+Z+Y+Z-Z+Z8(-Y+Z+Y-Y+Z-Y)4(-X-Y+Y-X+X-Y+Y+X-Y-Z+Y-X-
Y+Z12(+Y+Y-X+Z+Z-Z-Y-Y+Z+Y+Y-Y+X16(+Z+Z-X10(-X+Z-Y)11(+Z+X+Y+X-Z3(+Y+Z+X-Y-
Z+Y+X+Z+Y+Z-Y+Y-X5(-Z-Y+X+X-Z+Y-Y-Z-X+Z-Z+Z+X-Z+Z-Y-Y+Y+X6(+Z-Z-X+Y-X+X+Z+Y+Z+Y-
X+Z+Z+Y+Y-X-X)12(-Y+Z-Z+X+Y+Z+X+Y-Y+Z+Z+Z+X-Y+X5(-Y-Z+X-X+Z+Z+Z+Z+Y+Z+Z+Z9(-X-X-Z-
Z-Y-X-Y-Y+Z+X-X+Y+Y+Z+X-Y+X-X+Z15(+X-Z+Z-X-X-X-Y-Y-Y+Y-Y+X)16(+Y+Z+X-Y+Z-Z+Z+X-Y-
Y+Y+Z+Y-X-X+Z+Y+Y14(-X+Z+Z-Z+Y+X-Z-X-Y+Z+X+Z+X-X-X13(+X-Z+Y-Y8(-Y+X+Z+X-
Z)18(+Y+Y15(-X+Y+Z+X-Y-Y7(+Z-Z-X-Z15(+Y+Z+Y)19(+Y+Y-Y-Y-Y+X-X+Z+Y-Y+Z-X-X+X+Z-X-
Z+X-Z8(+Y-Y+Z-Z+Y+Y-Z-Z-X+Z-Y-Y+Z4(+Y-X+Y-X13(+X-Z+X+Z-Z-Y-X+X-Z+X-Z-X+Z-Y-X-
Y)13(+Z-Z-Y+X+Y-Z-Z-Y+Z-X+Y-Y+X+Y-X-Y-Z+X18(-X-X-X+X+X+Y-X-Y-Z10(-Y-X+Z19(+X-
Z+Z)5(-X-X-Z-X+X-X-X12(+Z-X+Y15(-Z-Z-Y+X-X-Y-X+Z+Z+Z-X-Z+Y-Z+Z+X16(+Y+Z+Y)10(+Y+X-
Y-Y-Z-Z+X-X-X+Y-Z+Y+X+Z-Y+Z9(-Y-Z+X-X6(-Z-X-Z+Y-X16(-X+Y)13(+Y-Y-X+X+Y17(+X-X+Z-
Y+X-X-X-Y-X+Z-X+Z+X+Y+X+X+Z9(-Y+Z+X+Z+Z-X+Y-Y-X6(+X-Z+X-X-Y-Z-X-Z-Y+Y-Z)5(-Y-Y+X+Y-
Z-X+Z-X-Y-Z-Z+Y-Y+Y+Y+X+X-Z+Y2(+Y+Z11(+Z+X-X+Y-Z-Z-Y+X+X+Z-Z+Y+X+X-X6(+X+Y+Y+Y-
Y+Z+X-Z+X+X-X-Z-X-Z-Z+Z+Z+Y)3(-X-X19(+X-X-X+X+Y+Z+Y+X7(+Y+Y-Z+Y-Y+Y+X+Y+X-Z+X-Y+X-
X+Z+X+Z16(-Y+X-Y+X-Y-Y-X+X-Y-Y-Z-Y-Z+Z)18(+X-Z+Y+Z+Z-Y+X-Y+Y+Y-X-Z+Y+Z12(-Y+Z-X-Y-
Z+Y-X-Z-Z+Y+X-Z-Y+Y+Z-Z18(-X+X-X-Z+X-Y+Y-Z+Z-Y+Z-Y-Z+Z-X-X-Y-Z+Z16(-Z+Y-X-Z+Z+Y-
Z+X-X-Y+Y+Z+X)17(-X+Z-Y-Z+Z-X11(+Z+Y+Z-Y+Z-Z19(-X-X+Z+X-Y-X-Z-X-
Z+Y19(+X+Z+X+X)10(+X+Z-Y+Z+Y-X+Z+Z-Y-Y+Z+Y+Y+Y+X+X18(+Y-Z-Z-X-Y+X19(+X-
X+Z+Y+X+Z+Z+Y-X-Y+X-X+Y+Z-Z-Z7(-X+Y+Z+Z+Y-Y+Y+Z+X)19(+Z-X+Y+Z-Y+X+X+X+Z+Y+X-Y+X-
X+Z-X+X-Z-Z17(-Z-Z-Z+Z-Z+Z+X+Y-Z+Z-Y-X14(+Y-Z10(+X-X-Z-Y-Z-Y+Z-X-X-X+X-Y+Y+Y+Z-
Y)10(-Y+Y+Y-Z+Y-Y7(-Z+Y+Z-Z+Z-X+Y+Z+X+X+Z-Z10(+X+X-X-X+Z-Z+Z+X-Y-Z-
Z+Z17(+Z+Y)10(+X-Z-X+X+Z+Y-Z+X+Z-Y+Z3(+X-Z+Y+Z+Z+X-Y+Y+X-Y+Z+Z+X-Z-Z+X-X-X3(-Y+Y-Y-
X-Y-X-Z-X-Y-X-Y-Y+Y+Y-Z15(+Y+X-Z-Z+Z+X-Z+Y+Y+Y-Y-Y)11(-X+X-Z+Z+Y7(-X+Y-X+Z+X-Z-Y-
Y+X+Z+Z7(+X+Y-Z-Y-X+Z+X-Z-X-Y-Z-Z+Y+X+Z+X-Z-Z8(+X-Y-X-X-X-X-Y-X+Z+X+X-Z-Z-Y)5(-X-
X+Y+X13(-Z-Z+Z+X-Y-Y+X+Z-Z-Z+Y-Z+Z+X+Y7(+Y+X-X-X+Z-Y+Z+X-Y+X+X-Y+Y+Z-Y+Z15(+Y-Z-Y-
Y+X-Z+Z+X+X-Z-X+Y+Y+Z)2(+Z-X-Y+Y+Z+Y+X+Z+X+Y-Y-X+Z+X16(+Y+Z-Y+Z+Z7(-Y+Z-Z-X+X+Y-
Y6(+X+Z-X+X-X-Y-Z+Y-X)2(-Z-Z-X+X4(-X-Z-Z-X-X-Z-Z-X-X+Z+X-X-Y-Z14(+Y+X+Z-X+X-X+Z-X-
Y+Y-X-X8(+X+X+Y+Z+X-Y-Z+Z-Z-Z-X+Y-Y+Y)15(+Y+Z-X+Z+Y-Y+X+X-Y2(-X+X+Z-Y-Z-Y+X-
Y+X2(+Z+Y+Y-X-Z3(+Y-Y)6(+X+Y-Y+Z-X+X-Y+X-Y-Y+Y-Y-Z-Z+Z14(+Y-Y-Z+Z9(-X+Z+Y+Z-Y+Y-Z-
Z+X+Y+Z+Z3(+X-X+Y+Z+Z+Y+X+X+Y-X+Z)16(+Z+Y-Z+Z+X-Z+X+Z+X-Y+Z+Y+Y+Z+X-Z+Y+Z-Y15(-
Y+Y+Z+Z+Y-X+Z-Y+Y-X+Y+X+X-X+X5(+Y+Y-Y+X-Z-Z+X-Z-X-X-Z+X+X10(-Z+Y-Y+Z-Z+X-X+Z+X-
Z+Y)10(+X+Z-X+Y+X-Y4(-X+X+Y+Y+Z+X+Z+Y-Z19(-Z-X+Z-Z-Y+Z-Z+Y+X+Y-X-X13(+Y+X+Z-Z+Z-X-
X+Y-Y+X+Z+X-Y-Z-Z+X)11(+Z-Y-Z+X+X-X-Y+Z+X+Z-X-Y-Z-Z+Z+X15(+Z+Z+Z+Y-Z+Z+Z+X-Y9(-Y-Z-
Z+Y-X+X-Z+Z-Z-Y+Y7(-Z-Y+X-Y)4(+Y-Y-X-X+Z-Z-Y-Z+Y6(+X+Z-X+X+X-Y-Z-Y+Y-Y+Y-X+X-Z-X-
Y+X-Y+Y8(+X+X-Y+Z+Z-Y+X-Z-Y-Y-X+X-X14(+Y+Y+Y-Z-Z)6(+Y+Z16(-Y-X-Y-Z+Y+Y-Z+Z-Y+Z-
Y+Z+X-X-X-Z-X-Z-X17(-Y-Y-Y-X-Y-Y+Y+Y-Z-X+Y-Y-Z-Z+Y+Z18(-X+Z-X+Z+Y-Z+Y+Y-X-Y-
X+Y)9(+Z+Z-Z+Y-Y+Y+X-X+Z-Y-Z+X+Y-Z+Z+X+Z11(+Z+X-Z+Y+Y-Z-Y+X+Z+X+Z+X+Z-Y-Y-Y+X-
Z+Z12(+X-X-Y-X-Z+Z-Y-Y-X+Z-Y-Y-Y-X-Y-Y-Z+Y16(+Z+Y-X-X-Y+Y-X-X+Z-Z+X)8(+Z-X+X+Y-Y-Y-
Y-Y6(-X-Z-Y+Z-Y-Z-Y-Y+X+Y-Z+Z-X-X-X-X+X7(-Y-Z+Y-Y+Y+Z+X-X+X-X-Z+X+Z+X+Y-X+X+X-X11(-
X-Z+Z-Z+Y+X-Z-X-Z+Y+X+Z-Y+Y+Y)13(+X-Z+Y-X+Z+Z-Y+Z-X-Z-X+Y3(-Z-Z-Z-Y14(-X-Z-
Z+X+Y+Y+X-Z-Z-Y-Y-X-Y+Y8(+Z-Y-X-Y-Z-X+Y+X+Y+X)19(+Y-Z-Y-X-Z+Z-X-Y+Y+Z-Z+Y-Z+X14(+X-
Z+X+Y-Z+Z+Z-Y+Z+X-Y+X-Y17(+Y-Y-Z+Y+X+Z-Y+Y-X-X+Y+X+Y+Y+X-Y+Y13(-Z-Y+Z-Z+Y+Z+Z-X+X-
Y)19(+X+Z-Z+Y+Z-Z-Z-X-Y-X-X+X+X17(+Z-Z+X+Z-X-X+Z+Y-Z+Y+Z+Z-Z18(+Y-Z+Z+Y-X+Y+Z+Y-X-
Z+Y-X-X+Z-Y-X+Y-X17(-Y+X+Z-Y+Y+Z-Z+X-Z-Y+Y+X)12(-X-Y+Y+X-Z+Y+X+X+X+Z+Y-Y-X-Z17(-
Z+Z-Z-Y+Z-X+X+X+Z16(+X-Y+Z+Z+X-X-X+X+Z-X+Y+X-Z+Z-Z+Y5(-X-X)18(-Z+Y+Y+Z-Z-Y-X+Y-X-Y-
Z-X+Y-X-Z-X-Y-Y-X3(-Z+Z+X+X+X-X-X6(+X-Y-Y+X-Z+Y12(+Z-Z-Y+X-Y+Y-Y-Z-Y+X+Y+Z)12(-
Y+X+Z+Z+X+X-Y+X-X+X+Z+Z+Z-Z-Z-X-Y2(-Z+Z+X10(+X-X-Z+Y+Y+Y+Y-X+X-X-X-Y+X-Z-X2(-Z-Z-Z-
Y)15(-Z+X+Y-X-Y+X+X-Y+X-Z+Y-X+Z+Y9(+X+X+Z10(+X+Z-X+Z-Z+Z-X+Z+X+X+X+Z-X-Y-X15(-X-
Z+Z+Y-X-Z+Z-Z+Y+Z-X+Y+X+Z-Y+X-X-Y+X)13(-Y-X9(+Z-X+Y+X+X-Z-Z+Y-Z+Y-Z2(+Z-X-Y+Z-Y-Z-
Y-Y+Z-Y+Y-X-Y+Y+Y-X+Z-Z3(+X-Y+Z+X-X+X-X+X-Z+Y)8(-Y+Z+Y-X-Y-X-Y+X+X+Y+Y+Z+Z-
Z+Z19(+X-Z-X3(+Y+Y+X-X9(+Z-Z+Y+Z-Z-X+Z+Z-Z+Y+Y-X+Y-Z)11(-Z+Z+Z-Z+Y+X+X-Z-X10(+X-
X+Y+X-Y17(+Y-Z-Z+Y+Y-Z+X+Y16(+Z-Z+Z+Z-X-Y+Y)2(+Y+X+X-Y-X-Z-X-Y-X-X+Z-X-Y+Y4(+X-Y-
Z+Y-X-Z-Y-X+X+Z15(-X+Y-X+X-Y+Z-Z+X+X-Y+Y-Y-X+Y+X-X+Y-X-Z15(-Z-Y-X+X-Z-Y-Z+Z-Z+Z)3(-
Y+Y-Y-Y-Y-Z-Y-Z+X7(-X+Y-Z-Y-Z-Z+Z-X+X10(-Y+Z-Y-X-Y+Y19(-Y+X+X-Z-Y-X+Z+Z-Z)12(-Y-
Y+X+X-Z-Y+X+Y-X-Z-Z-Y-Y+Y+X+Z-Z14(+Z+Y+Y-Z+Z-Z+X-Z17(+Y+Z9(-Z+X-X-Y+Y+X+Y-
Z+Y+Z)3(+Z+X-Y+X-X-X+X-X+X+Y+Y2(-Z-Y-Y-Z-X-X+Z+X-X-X-Z-Y+X+X-X+Z9(+X+X-X-X+X-Z-Z+Y-
Z-X12(+X-Z)2(-Y-Y17(-Z+Z+X+Z+X2(+X+Z+X+Y-Z10(+Y-Z-X+X-X-X+Y+X-X+Z-X-Z+Z-X)8(+Z+Z-
Z+Y-X+Y+Y19(+Z+Y+X-Y+Y+Z18(-Z-X+Z-X+Z+Z+Z-Y+Y-Y15(-X+Z-Y+Y+X+Y+Z+Y+X-Y-Z-Y)7(-Y-Y-
Y+X+Z-Y-X-Y-X-Y+Y-X+X+Y-X10(+Z+Z-X-Z-X-X+Y-Y+Z+Y+Y+Y19(-Y-X-Y-Z-Z+Z+Z+Y-Y+X+Z-Y-
Z+Z-Z+Z+Y13(+Z-Z)8(-X+Z+Y+Y+Y+X+Z+X+X+Y-X+X-Z+Y15(-X-Y+X-Y+Z-X+Z+Z-Y-Y+X-Z+X-Y-
X+Z+X+Z19(+Z-Y-Y-Z-Y-X+X-X4(+Y+Z-Z-Y-Z+Z-X-Y-X+Z+Y+Y)4(+Y-X+Y-X-Y-Z-Z8(-X-Z-X-Y-Z-
Z+Z-Y-Y7(+Y-Y-Z-X+Y-Y+Z-X-Z+X-Y-Z-Y+Z+Y+Y-Y19(-Y+Z+X-Y+X-Y+X)8(-X+Z+Z+X+Z+Y7(+Y+Y-
Z-Z-X+Y-X+Z+Z+Z+X-X+X-Z18(-Y-Z-Y+Z+X9(-Z+X-Y-X-X+Z+X-Y-X+Z-Z+Z+X-X)11(+Z-X+Z+Z+X+Z-
Y+X+X-Y+Z+Y-Z-Y+Z14(-Z-X-Y-Z+Y+X+Z-Y+Z+Y-Z-Y+Y+Z-X-X+Z-Z+X4(-Z+Z+X+Z+X+Y5(+Y+X-
X+X+X+Z-Y-X+Z-Y-Y)4(-Z-Y-X+Y-Z+X-X+Y-Z-X+Y-X-Z-Y-Z-X19(+X-Z+Y+Z-X-X-X+Y-Y+Y-Y+Z+X-
X-Z+Z+Y10(+Z-X11(-X+X+X+Y+Y+Y+Z+Y-Z+X+Z+Z+X-Z+Z+Y-Y-Y+Y)10(-Z-Z+X6(+X+Y+Z-Z-Z-
Z11(+Y-X+Y-Z+Y+X+Z-Y-X9(-X-Z+Y)13(+Y+Y+X+Z-X+X+X-Z+X-Y+X-Y-X-X-Z+X-Y-X3(+Y+Z-
Y+Y+Z+Z+X-Y-X-X+Y-Y+Y-Y-X-Z+Y+Y-Y14(-Z+Z+X-X-Y-Z+Y+Z17(-X+X+Y+Y+X+Y-Y-Z+Y-Y+Y+Z-Z-
Y-X-Y)18(-X+Y-Y+Z-Y-Y+Y14(-Y+X-X+Z+X+X+Y-Y-Z+Z-X-Z10(-X+Z-Z+Z-Z7(-Z+Y-Y+Z+X+X+Z-
X+Z)12(-Y-Z-X+Z-Y-Y-Y-Y+X+X-Y+Z+Z-X13(-Z+Y-Y-Z+Z-X-Z19(+Z-Z15(+Y-X-Y+Z-Y-Y-Y+X-X-X-
Z-Z+X+Y-Z-Y)9(-Z-X+Z19(-X+Y+X+Z-Y-X+X+X+Z+X-X-Y-X-Y-X+Y+Y-Z8(+X+Z-Y+X+Y-X+Y-Y-
X+X+X-Y-X-Y-Y13(-Y+Z+X-X-X-Y)19(-Y+Y+Y-Z+Z-Z-Z+Z-X+Y+X+X-X+X+X+Y-Z9(+Z+X-Y+Y+Y-X-Z-
X+Y+X+X+Y-Z-X-X-Z-Y18(-Z+Y+Y+Z-Y-X-Y+Z+Y12(+Y-Z+Z+X+X-Z+X)12(+X-Y-Z+Z+X-Z-Z-Y+Z+Z-
X-X+X-Z+Z10(+X+Y+Y+Y+X+Z5(+Y-Z-X-Z+X-Z-X-X-Z-X+Z+X-Z16(-Z+X+Y-Z-Z+X-X-Y-Y-
X)3(+X+X+X-Y+X+X+Z+Y+X-Z+Z+Y-X+Y-Y-Z-X-X+Y9(-Y+Y+Z-Y-Y+X-Y5(+X+Y+Y-Z+X-Z+Y-X+Z-
Z+Z+Y+Y-Y+Y+Z-X+Z+X2(-Z+Y+Y+X+Z+Z-Y+X-Y+X+Y-Z+Z+Y+X+Z-Y+Z)17(+Y-Z9(+X+X-X-Z+X+Y-Y-
Y+Y+Z+X-X-Z+Z-Y+Z+Z+Z14(-Z+Y+X+X+X-Y12(+X+Y+Y-X+Y-Y-Y-Y+Z+Y-Z+X+Y+Y)8(+Z+Z+Z-Z+Z+Z-
Y-X+X-X-X-Y+Y-Y18(+Y+Y-Y+X+Y+X-X-X+X-X3(+X+Y-X+Z-X-X+Y+Y+Z-X+Z-Z+Y13(+Z-Z+Z-Z-
Y+Z+Z+X-Z+Z-X-X+Z+Z-Y-Z-X-Y)10(-X+Z+Z+Y-Y-Y-Z-Y+Y-X+Z-Z+Z11(+X+X-Y+Z+Z-Z-X-Z-
Y+X+X18(-Z-Y+Z+X-Y-Z-Y+Y+X+Z+Z+Z-Z-X+Z-Z12(+Y-Y-Y-Z+X-Y+Z+Y+Z-X+X-Z-Z+Y-Y)9(+Z-Z-
X+Y+X+X6(-X-X+Y+X+Z-X-X-X+Y+Y+Y+Y-Y-Y-Y12(-Z-X-X-Z-Y+X-Y-X+Z-Y+X16(-Y-Z)8(+Y+Z-Y-
Z+Z+X+X+X+X-X+Y-Y+Z+Z+Y+Y+Z+Z13(-Z-Y+Y-Y+Y+Z+Y+Y+Z-Y+X+Y-X-X5(+X-Z-Y+Z-Y11(-Y-Z+Z-
X+X-Z+X+X-Y)15(-Y+X-X-X9(-Y-Y+Z+X-Y-X-Z-Y-
Z+Z-X+Z+Y-X+Y+Y16(+Y-Z+Z+X+Y+Z-X-Y+Z-X+X+X-Y-X-Z-X-X+Y+X13(-Z-X+Y+X-Y+Y-Y-Z-Z)5(-X-
Z-Z+X+X-X-X+Y-Y-Z9(-Z-X+Y+Z-Z-Y+Z-Z18(-Z-X-Y+Y+Z-Z+Z4(+Z-X-Z-X+X-X-Y-Y+Y+Z-Z+X-X-
Z+Z+Z-X)8(-Z+X+Z-Z-X-Y+Z-Z-Z+X-Z16(-X-X-X+Y+X-X-Z+X+Y-Y-X-X-Z-Z6(+X-X-Y+X+X-Z+X-
Y+X3(+X+X+X+X-Y-X+X-Z-Y-Y)3(+Z-X-Z+X+Z-Y+Y-X-Z-Y+X-Z+Z+Y+X+X10(+X+X+X-Y-X+X+Z-
Y+Y+Y-X-X3(+X+Z+X-Z+X-X-Z+X-Y+Z+Z-X+Z-X11(-Z-Y-Z+Y+Y-Z+Y-Y+Z-Z+Y-Z+X-Z+Y+X+Z)3(-X-
Y+Y-Y-Y+Z-Y+Y+Z-X-X12(-Y-X+Y+X+Y+Y+Z-Y+Z-X-X-Z-Y-Y-Y-X-Y-Z+Y4(+X-X-X+Z-
Z+X+X+Z+X+Z+Y-Z-Z-Z+X+X-Z2(-X+Y)4(+X-Z+X-Y-X+Z+X+Z+Z+Z-X4(-Z+X-X-Y-Z-Z-Y+Y-X+X-Y+X-
X+Z-Z+Y+Y-Y18(+Y-Y-X+X+Y-X-Y+Y+Y-X-Z+Y+Y-Y-Y+Z+Y-X12(-Y-Z+X-Z-Z-X+Z+Z-Z+Y+Y-Z-X)5(-
X-X3(+X+X-Z+X-X-Y-Y-Y+Z+X-X-Z+Y+X-X12(-Y-Y+X+X+Y+X+Z-X+Y+X-Y-X-Y-Y+X11(-X+Z+Y+Y+Z-
Z-Y+Z+Z+Z-Y-Z-Y+Y+Z+Z)8(-X-Z+Z-Y6(-X+Z+Y+X+Y-Z-Z+X+Y-X+Z+X+X+Z13(+Y-Y+Y+X+X12(-
Y+X+X-Y-Z-Y-Y-X-Z-Z-Z+Z-Z+Z+Z+X+X-X)10(-Y-X+Y+Y+Y-Y-Z+Y+Z-X+Z-Y+Y-X-X-X11(+Z+Y-X-
X+Y-Y+X-Y-Z-Y-X+X16(+Z+X+Y+Y11(+Y-Z-X+X-Z-X+Y-Y+Y-X-X-Z-X-X+X)4(+X+X+X-Z+Z-X-Z+Y+X-
Z+Z+Z+Z+Y-Z+X-X14(-X-Z+Z+Y+Z+Z+X7(+Z+Y+Y-X+X+X-X+X-Z-X+Z+Z-Z-X3(+Z+X)11(-Z+Y-Z+Z-Y-
Z+X-Y4(+X-Z-Y+Y+Z+X-Y-Y+X+X-X+X18(+Y-Y16(+Z+X+Y+Y+Y-X+X-X-Y-Z+X-Y+Y+Z-Z+Y)9(-X-Y-
Y+X-X-Z-X-Y-Y+X-Y-Z-Z+Y-Z+X-Z-Y+X6(-X+Y-Z+X4(+X-Z+Z-Z+Y-Z+Y16(-Z+Y-Z+X+Y-X-
Y+Y+Y+X+X-Z+Z+X+X-Z-Z-Y-Y)14(-X+Y+Y-Z-Y+X+Z-Y-Z-Y+Y-X-X-Z-Y+Y+Y+X8(+Y+Y-Y-Z+Z-X-X-
Y+Z+X-Z-Y-Y5(-Z+Y-Z-Z-Y-X+X+Z+Z+Z-X-X-Y-X12(-Z-Z-Y+Z-Z+Y+Z-X+Z-X-Z+X-Y)15(+Y-Y-Y-
Z+X+Z-Y-Z+Y+Y-Z-X-X+Y+Y-Z-Z+Z+X14(-Y-Y+X-X+Z-Z+X-X+Z-Z14(-Y-Z-Y-X+Y+Z+X11(+Y-X-
Z)2(-X-Z-X+X+Z-X+X-Y-Y+Z+Z+X+Y-X+X+Z8(-Z-Z+Y+Y+Z-X-Y-Z-Z-X-X+Z+Y18(+X-X-X+Z-X3(-
Z+Z-X+X-X-X+Z)15(-Z-Y+Z-Y+Y-Z+Z+Y-X-Y-X-X6(+Y-Y-X-X+Z-Y+Y+Y+X-X-X-Y18(-Y-X-Y-
Z+X+X+Z+X+Z-Y+X+Z+Z-Y-Y11(-Z+Z-Y+Z+Z-Y+Y+Z+Z+Z+Y-X+X+Y-X-Z)12(-X+Z+Z8(+Z+X+Z+Z+X-Z-
Z9(-Y-X+Y-Z-Y+Y-Z-Z-Z+Z-Z+X+Z-Y7(+Z+Z+Y-X-X+X-X+X+Y-X)7(-X-X-X+Y+Z+Z-Z+Y-Z+Z+Y-Y-
Z14(+Z-Z-X-Z-X+X+Z-Y+X+X+X-Z+Z+Y-X-Z-Y+X14(+Y+Z-Y-X-Z-X+Z-X+Z-X-Y+Y+Z-X+X-X-Z-
X+Y11(-X+X)14(+Z-Z6(-Y-X+Z+X+X+Z-X-Z-Z-X-Y-Z18(+X-X-X-Z+Y+Y-Z+X+Z-Y-Y-Y-Z-Z-X-X-
Y+X4(+Z-Y+Z+Y-Z)14(-Y+Z+Z+Y-Y9(+Y+X-X-X-X+Y-Y+Z-Y+X3(+Z+Y+Z+Y+Y-X-Z-Z+X-X+Y12(-Z-Z-
Z+Z-Y+X+X-Z-X-Z)11(-Y+Z+Y-X+X+Z+Y-Y+Z+Z+Y11(-Y-Z-X-Y+Z15(-Z+Z+Z+Y8(-Z+X)19(-
Z+Z+Y13(+Z+Z+Z-X2(-Y+X+X-Y-Z+Y+Y+Z-X-Z+X8(+Y-Y-X+Z+X+Z-Z)16(-X-Z-X-X+X+X+X+X-X-Z-Y-
Z+X-Y-Z+Y-Y-X4(-Y-Y+Y+X-Y-Z-X+Y-Z+Y-X-Z-Z-Z5(+Y-Z-Y+X-Y+Y-X-Z+X+Z-X-X+X+Z16(-
Y+Z+Z+Z-X+Z+Z-Y-Y-Z+Y-Z+Z+Y-Y+Z-X)7(+Y+Y+X+Y-Y+Y-Z+Y-X-Y+Z-X11(+Y+X+Y-Z+Z+Y+X-
Y+Z+X+Z-Z11(+Z+Z-Z-Y-Y+Y-X8(+X+Z+X-Z+Z+X+Y-X-Y+Y)8(+Z+Y-Z-Z+Z-X+X-Y2(+X-X-Z-X+X-Z-
Y-X10(-X-Y+X+Z+Y+X+X-Z+X-X-X-X-Z+Y+Z+Z+Y+Y-Y16(-Z+Z-X+X+Z-Y-Z+Z+Z-Y+Z-X+Y-X-Y)8(-X-
Y+X-Y+Z+Y10(+Y+X-X-Z+X-X+X+Z-X6(+X+X-Y-Y+X+Z+Y12(-X-Y-Y+Y-Y+Z-Z+Y)10(-X+Z+Z-Y-X+X-
Y+Y-Y-Y19(-X-Z+Z-X-X-Y-Z+Y-Y+X+Y+X-Y+X+X-X-Z6(-Y-Y+Y-X-X-Z-X+X-Z-Z-Y-Y6(+Z-Y+Y-Y+X-
Y-X-X+X+Z-Z+X-Y-Y+X)16(-X-Y18(+Y+Y-Z-X-Y-Y-Y+Z+Z-X-Z+X+Z-Z+X+Y7(+Y-X-Y-Y+Y+Z+Y-Z-
Y+Y-Y+X10(+X+Z-Y+X-Z+Y+Z+Z-X+Y-Z)13(+X-Y-Z-Y-X-Y-Z-X+Z+Y+Z+X-Y-Z-Z15(+Z-X+Y+X-Y-
Y+Z-Y-X-X+Z+Z-X+Y-Z+X6(+X-X+Y-Y-X-Z+X+Y-Y+Y-Z-Z+Z13(-X-X-Y+Y+Z-Y-Y-Y+Y+Z+X+Z+X-
Z+Y+Z-Y)10(+Z+Y+Z-X+Z+Z+Z+X-X+Z+Z-Y-Y4(+Y+Z+Y-X+X+X-Y-X+X+Y-Y-Y-Z-Y-X-X-
Y+Y+X3(+Z+Y+X+Z-Y-X-Y+Y+Y+Y-Y16(-Z+Y)4(+Y+Z-Z+Y+X-Z+Z-Z+X-X+Y-Z-X-Z6(+Z+X-Z+X+X-Z-
Z+X-X+X+X-X3(-X-Y-X-X+Z+Z-X+X+Y-Z+X-Z-Y-Z-X+Y-X+Z11(+X+Z-Y+X-Y-Y-Z)19(-Y+Z-Y+Z-
X19(-Y+Z-Z+Z-X-Z+Z-Z+X+X+Y-X+Y-Z15(-Z+X+Y+X+Z-X-Y-X+Y5(-X+X-X-X+Z-Y+Z+Y+Z-Z-
Z+X+X+Y)15(+X-Y-Y-X+Z-Z-Z-X+Y-Z-Y-Z+Z-Z10(+X+Z+X-X+X-X-Y+X-Y-X+Z3(+Z-Y+Y+Z-X+X13(-
Z-X-Y-Z+Z)12(-Z-Z+Y-Z+Y+Y+Y9(+X-Z+Z+X+Y9(-Z+Z-Z-Y-X-Y+Z9(-Z+Y+Z-X-Z-Z-Y-X+Z+Y-Y-Y-
X-X)2(+Y-Z+Y+Y13(-X+Z+X+Y-Y-X+Y+Z+Z+X-Z+X+Z+X+Y-Y+X-Y-Z12(+Z-Y+Z+Y+Y-X-X15(+Z-Z+Z-
X-Y-X)12(-Y+Y-Z+Y-X-X+X+Y+Z-Z+Z+Z-Y5(+X+X-Y-Z+Y-Y-Y+Z-Z-Z+Y+Z-X+Z-Z+Y15(+Z+X-Y+Y-X-
Y+Z-Y-X19(-Z-X+Y+Y-Z-Y-Z+Y+Y+Y-Y+X)4(+Y+X+Z-X+Y+Y-X-X-Y-Z11(-Y+Z+Z-X10(+Y-
Y+Z+Z+X7(-X-Z+X+Z+Y+Z+Y-Z-Y-Z-X+Z+Y+Z)17(-X+Y+Y-Y+Y-Z18(-Z-Y-Z-Y+Z-Y14(-X-X-X-Z-Y-
Y-X+Z3(-Z-Y+Z-Z+X)15(-Z+Y-Y-Y8(+Z-X+X+Z-Z+Y-Z14(+Z-Y-X+Y+X+Z+X+Z-X+X-Z-X+Z+X-Z8(+Y-
X+Z-X-X+X+X-Y)2(-Y-X-Z-Z-X+Z+X+X-X-Z+Y+Y+X+Z-X+Y+Y+Y-Z4(-X-Y-Y+X17(+Y+Z-Y-Z-Z-X+X-
Y+Y-Y-X-X16(-Y+X+X+Z-Y-Z+X+Y+Z-X-Z+Y+Y-Y)18(-Z-Z-Z-X+Z14(+Z+Z+Z-Y-Y-Y+Y-X+Z+X-Z-
Z+X-Y8(-X+X-Z-X-X+Y9(+X+Y-X-X+Z-Y-Z)11(-X-Y-X+Z-Y+Z-Z+X+Z-Z12(+Z-Z+Y+X+Z-Y+Y-Y+X8(-
Y+X-X+Z-Y-X+X-Y-Y+X+X+X-X+X14(+X-Z+Y+X-Z+Z-Z)3(-Z+Y+X-X-Z+Y+Y+Z-X-Z19(-Y+Z-Z+X-X-Z-
Z-Y+Z-Z-Z-X-X+X-Y+Z-X18(+Y-Y6(-Z+Y-X)13(-Z+X+Z+X+Z+Z-Y-Z17(-X-X+Z+Z-Y-X-X+Z-Y-
Z+Z+X+Y+Y-Z10(+Z+Y-X+Y-Z-Y-Z-Z-Z-X+X-Z11(+Z+Z+Y+X+Z-Y-Z+Z+Y)17(-Y-X+Y-Y5(+Y-
X5(+X+Z-Z+Z-Y+Z+Z+Y+Y-Y-Y-X+Z-Y-X-Z-Y-Z+Y6(+Y+X-X-Y-Z-Z)12(-X-Z-X12(-X+Z-Z19(+X-
X+X+X+Z-Z-Z-Z-Y+Y+Z5(-Z-Z+Y+X-Z-Z+Z+Y-Y+Y-Z+Z)9(-Y-Y+Z+Z+Z-Y+X-Y7(+Z-X-Y-X-Y+Y-X-Z-
X+Z-X+Y+X+Z14(+X+X+Z+X+Y-Z-Y+X-Y-X-Y+Y-Z-X+Z-Z-Y11(+X+Y+X+Y-Z+Z+Z+X+X-Y+Z-X+Y-Y)9(-
Z-Y+Y-X+Z+X-X+Y8(+Z+Z+X-Z-Z+X-Z-Y-Y-Y+X+X-X-X+X-X+Y+X4(-Z-Y-Y+Y-Z11(-Z+X-X+Y-
Y+Y+X+X+Y-Y-Z)18(+Z-Y-Y-X-X-Y19(-Z+X-Y-Y-Y+Z-Z+Y-Y+Y-Z+Y-Y+Y+Y-X+Y-Y+X8(-Y-Y+Y-
Y+Y+Y+Y-Z+Z-X-X+Z-X-X-X8(-Y+X-Z-Z-Y+X-X+X+X-Z+Z-X+Z+X+Z+X-Z-Y-Y)15(+Y+X-Z-Z-Y-Z-Z-
Z+Z+X+Y+Y+Y-Z+Y+X+Y+Z9(-Z-Y+Y-Z-X+Z-Y-X+Y+X+Y+X+X19(+Z-X+Z+Y+Z+Y-X-Z+Y19(-
Z+Y+Y+Y)7(-X+Z-Y-Z+Y+Z-Z+Z-Z-Z11(+X-Y+Y-Y-Z+Z+X+Z-Y-Y+X-Z2(-Z+X+Y-Y+X-Y-Y-Z+X+X-
Y+Y-Z-Z-Z+Z-Y+Z7(+Z+Y-Z-X-Z-Z-Z-Z-Y+Z)10(-Z-Y+X+Y-Z+Z-Y-Z-Y+Y+X+X+X+Z+Z-X16(+X+Y+X-
Z-Z+Y-X+Z-X-Y-X+Y+Y-X+Z+Y8(-Y-Y+Z+X-X-X17(-Z-X+X+X+Z-Y+Z+Y-Z+X-Y-Z)8(+Y+Y+X-Z+Z-X-
Y+X-Y+X-Z+Z-Y-X3(+Y+X+Y-Y-Z-X-Y-X+X-X-X2(+Z+X+X+Y-X+Y-X+Z-X+X-Y2(-Y-Z-X+Y+Y-X-
X+Z+Y+Y-Z+X)13(+Z+Z+Y-Y5(+X-Y3(-Y+Y+Y+X+Z+Y-Y-X+X+X+X-X+Z-Y-Z2(-Y+Y-X+Z)11(+Z-
Y+Y+Z-X+Y+X-X-Z+X+Z+Y+Z-X+Y-Z+Y14(-Z-Z+Z+Y-X17(+X-Z-Z+X-X+X-Z+Y-Z+X-Z-Y-Y-Y10(+Z-
Y+Y+X-Z+X-Z-X-X+X)10(-Z-Z+Y-Y+X-X-Z-X-Z+Y-X-Z11(-Y+Y-X-Y-X-Z-X-Z+Y+Y-X-X-Y+Y+Y-
Y12(+X+Y+X-X+Z-Z-Y+X-Y+Y+Z-Y-Y+Z-Y+Z-Y4(+Y+X-Y+X+X+X-Z-Z+Z-Y-X-X-Y+X-
Z)15(+X+Z+X+X+X-X-X+X+Z+Z-Y-Y+Y-Z-Y+Z+X-Z-Y2(+X-Z-Y-Z-X-Y+Z+Y-Y+X-X+X+X+Y+Y5(-
X+Z+X+X+Z-Y-Z+Z-X+Y-Y-Z+Y+Z-Z-X-Y6(-Z-Y+Y+Y-Z-Y+Z-Z-Y+Z+Z-Y-Y-X+Z)16(+X+Y-Z-Y+Z-Z-
Z-Y5(-Z-Z+X14(+Y-Z18(-X-Z+Y+Y+X+Y+X-Y-Y+X+Z-Y-Y)4(+Z+Y-X+Z+Z15(+Z+X-Y-Y-Z-Z+Z-Z-Y-
Y+Z8(-Z+Y-Y-Z+Z+Z12(-Y+Z-Z-Y+X+Z+X+X)5(+Y+Z+X-Y-Y14(-Y-X+Z-Y-Z-Z+X+Z+Y-Y-Y+Y+Y+Z+Y-
Z-X-X11(-Y-Z8(-Y-Z-X+Y-X-Z-Z+Z)19(-X-Z+Y14(+Y+Z+Y-X-X+Y-X9(-Y-Z-Y-X+X+X-X-Z-
Y+Y4(+Z+Z-Z+Z)19(-X-X11(+X-Z-Y-Z+X+X+Z+X+Z-Z+Y+Z+Z+Y+Y-Y-X-Z-Z13(-X+Z19(+Y+X+X-Z-X-
Y-X+X-Y-X)12(-Z+Z-X-Y-Z+Z-Z+X+X+Y-Y+Y+Y-X+X+Y+Z+Z13(-Y-Z+Z-X-Z-Y-X-Z-Z+Y-Y+Z-Y10(-
Z-Z-X+Y+Z+Y-Y-Z+Y-X-Y-X+Z17(-X+Y+X-Y-X-Y-Z-Z-X+Y+X-Y+Y+Z+Z-Y)13(+Z+Z-Z16(+X+X-Y-
X+Y-X-X+Z-Z+Z+X+X+Z+Z-Z10(+Z-Z-Y-Z-X+X+Y-X+Y10(-Y+X-X+Z-Y+Z+Y+X+Z+Y+Y+X+X-Y-Z)10(-
X-Z+X+Z+Z19(+X-X-Y-Z+Z-X-Z-Z-X+Z-Y+X-Y+Y+Y-Y+X4(-Y+X+X-Y-X-X8(-Z-Z-Y-X-X+Y-X-Y-
X+X+Y)10(+Z+Y+X+Y9(-X+X+X+X-X+Y+Z-X-Z+Y-Y+X+X+Z-Z-Y-Z-X13(+X-Z+X+Y+X-Y+Y-Z+Y-Y-
Z+X+Z7(+X+Z-Y+Z-Y-Y-Y-Y-Y+X-Z-Z-Y+Y-Z)12(-X+X+Z-Y+Y12(+Z-Y-Z-X-X-Y+Y-Y+X+X-X-Y-
Z+Y15(+Z+Z+Y17(+Y-Z+X)17(-X+Y+X+Z-Z+Z+Z4(+Z-Z+Y+X+Y-Z-Y+X-Y+Y+X+X-Z+Y-Y-X14(+Y-X-
Z+X-Z-X+Z-Y-X+X-Z-Z-Z+Y+X+Z14(-Z+X-Y-Z+X+Z+Y-Z+X+Y)9(-Y-Z+Z+Y+Z+X-X-Y-Y+X+Y-
Y+X+Z+Y-X+Y+Y+Z4(-Z-X+Z-Z+Z+Z9(+Y+X-Z-Y+Y+X+Z+Y-Y+Z13(-Z+X+Z-X)17(+Y-Y+X+Z-Y+Y-
X+Z+X+Z-Z-Y-Y+Y+X12(+Y+Z+Y+X+Z+Y+Z+X-Z-Z+Y+Z+X-Z+Y+Y+Y12(+Y-Z+Z+Z+Y+X-X14(-Y-Z+X+Y-
Y-X-Z-Y+X+Y+Y+Y-Y-X-X+Z+X+Z)10(+Y-Z+Z+X-Y-Y-Z-Z+X-Y16(-X+Z-X+Z+Y+Y+Y-X+Z-Y16(+Y-
Y+Z+X-Y+Z+X-X+Y+Y+X+Y-Y+Z-Y+X17(+X-X+Z+Z-X-Y-Y+Z-Z+Z)18(-X-X+Z+X-Z+Y-Y+X+Z-Z+X4(-
Z+Y18(-Y+Y+Y18(-Z+Y-Y-Y+Y-Z)3(-X-X+Y+Z+X-Z3(-X+Y+X+Y13(-Z+Z+Z+Y+Y14(-Y-Y+Z-X+Y)2(-
Z+X-Y-Z+Z+Y+Y-Y+X-Z+Z+Y-Z-Y-Y16(-X+Y-Y+Z-Z+Z+X-Z+Z-X-Y15(+X+Z17(-Y-Z+Y+Y-Z-Y-X-Y+X-
X+X)6(+Y+X-X-Y+X-Y-Z+Z-Z-Y+X12(-Y-Y-Z-X+Z+X-X-Y+X+X+Y-Y+Z12(-X+Z+X+Z-X+Y+Z+Z-X+Y-Y-
Y+Y-Y+X+X+X2(-Z+X+X-Z-Y+Z+Z+Y+X+Y-Y-Z-Y+Y-Y+X-Z)9(+X-Y-X-Z-X-Y+X+Y+Z-Y+Z+Y-Y-Z-
X+Z+Y+Z12(-Z-Y-Y+Z+Y3(-Y-Z+X+Z+Z+Z+Y+Y+Y-Y+Y-Z2(-Y+Z-X+Z-Y+X+X-X-X+Y-X-Z+Y-Y)3(-
Z+Z-Z+X+Z-X+Z19(+Y+Y+X+Z-Y-X6(+Y+Y+Z+Z+X-Z-Z+Y19(+X+X-Z)16(+Z+Y-Z+Y+Z-X3(-X-
X+Y+X+Z-Y+Z-Y+Y19(-X+X-X-Z+X-Y-X-Z+X+Y+X+Y-Z-Z5(+Y-Z+X-X-Z+X-Z-X+Z+Z-X+Z+X-Y+Y+X-
X+Z-Y)3(+X+Z-X+X+Z+X-Y-Y-X+Y-Z18(+Y-Z-Y+Y-Z-Y+Z+X+Y-Y19(+Z+Y18(-X+X+X-X-X-X+Z+Y-Z-
Y+Z-Y-X-Y-Y+Z+Z-X)14(-Y+Y+Y+Z-Y6(+Y-Y+X-Y-Y-Y-Z+Z+X+Y-Y+Z-Y-X-X-Z+X6(+Y+Z+Z+X+Z-
Y+Y-X-Y+Y-Y-X-X4(-X+Z-Z+Y+X-X+X+Z-Z-Y+Y-Z-Z-Y-Y-Y+Z+Y)17(+Y+Z+Z19(-Z-Z-X-X-Y-Z+Z-
X+Y-Z-Y+X-Z-Y-X7(+Y-X+Z+Z18(-Z+Z-X+X+Z-Y-Z-X-Y-Y-X+X+Z+X)17(+Z+Z+Z+Z+Y-Y-Z-
Z+Z+X+Z+Z-Z5(+Y+Y7(+X-Z+Z-Y+Z-Y-X+X-Y-Z12(-Z+Y)9(+Z-Z+Y-Z-Y-X+Y+Y18(-Z-Z-Y+X+Y-Y+Z-
X+Y+X+Z-Y+Y+X+X6(+Y-X-Y+X+Y-X+Y+Y-X-Y-X-Y-Y+Y-Y-X5(-Z+Y+Y-Y+Y-X+X-Z-X)18(+Z-Z+Y-Z-
X-Y-X+Z+Z-Z-Y-Z-X-X+Y+X19(+X-Z+Y+Y+Y+Y-Z13(-Y+Y-X+Z+X-Z-Y-X+X+Z5(-Y-Z+X+X+X+Y+Z-Z-
Z+Y+X)9(+X+X-X+Y-Y+X+X-X+Y+Z-Y-X-X-Y-Z8(-Z+X+Z-Z+Y-Y+Z-Z-Y-X-Y-X+Y2(-Y-Y-Z+Z+Z-X-
X+Z7(-Y-Y+Z+Y+Z-X-Y+X+Z+Y-X-Y-X-Y-X-Y+X-X-Z)4(-X-X+Y+Y+X+Z+X-Z-X+Z-Z-X+Y+X8(+Z-Y-
X+Y+Z+Y+Z+Y19(+X-Z+Z+Z+X+Y-X-X+X+X10(+X-Y-Z+Y-X-Z+Y-X-Z+X)9(-Z+X-X+Z-Y+X-X-
X+Z+Z12(-Z+Y-X-Y-X-Z-X+X+Z-Z13(+X-Y3(+Z+Z+Y+Z+Y+Y-Y-X+Z-Z-Y)10(-Z-Z+Y+X-Y+Y-Z+Y2(-
X+X-Y+Z+Z+X-Y+Z-X+Z+Z11(-X-Y-Y+Y-Y-X-X-X-X5(-Z+X-X-Z-Z-Z-Y)4(+Z-Y+Z-X-Z+X+Z+Y+Z+Z-
Y-Z-Z+Z+Y+Z+X+Z10(-X+Y-Y-X-Y-X+X+X+Y-X2(-Y+Y+Z+X-X+Y-X+X-Y-Y+X-X-Z+Y5(+Z+Z+Z-Z+X-
X+Z+Z+Z-X+Y-X+Y+X-Z-Z+Z)12(+X+X+X2(-Z-Y-Y-Z-Z-X-Y+Z+X-X-Z+Y-Z+Y+Y+Z+X+X2(-Z-Y-Z+Y-
Z-Y-Y8(-X+Z-Z-Y+X+Z+Z-Y+Y+X-X-X-Z+Y+Y-X)7(-Y-X+Y-Z-Y-Z+X+Y-Z-Z+Z-Y-Y13(-X+X+Y-X-Z-
Z+Z-Y+X+X+Y+Z+X+X12(-Z-X+Z+Z+X-Y14(-Z-Y-Z-X+Y+Z+Z-Z+Y+Z+Z-Z-Z-X-X-Z)6(+Y-Y-Z+Y+X+Y-
Z+X3(+X+X2(+X+X+X-Z-X3(-X-Z+Y-Y-Y-Y-Y+Y-Y+X+Z-X-Y+Y)16(-Z+X-X+X-Y+Z+Z-Y+Y+Y-Y+Z-
Y+Y12(+Z-X+X+Y+X+X5(-Y+X-Z+X-Z-Z16(+Z+X-X+X+Z-Z+Y+Y-Y+Z)12(+X-Z+X+Z-Z-Z+Z+Z-Z-
Z+Y+Y+X8(+Y+Y-X+Z-Z-X+Z+Y-X5(+Y+X-Y+X-X-X-Z+X+X+Y-Y-Y-Y+X-Z+X+Y-X+X8(-X+X+X+Z-Z+X-
Y-Y-Z+Y+Y+Z+Y+Y-Y+Y)16(-X-Z4(-Y+Y14(-X-X+Z-X+X+Z-Z+Z+Z+Y+X+X-X+Z+Y-Y+Z-Y-Z9(+X-
X+X+Y-Y+X+Y-Y-Z-Y+Y+Y+X+Y)15(+X-X+Z-Z+Z-X+Z-Z-Y+Y+Z+X14(-Y+X+Y+Y+Y+X-Y+X-X+Z-Z11(-
X+X+Y3(+Y+X-Y+Z-Y-X-Y)2(+Y+Z-X+X+Z+Z+Y-X+Z+Z+Y+Y-Y-Y+Z+Z-Z+Z+Y8(+X+Y+Y-Z+X-Z+Y+X-Y-
Y+Y-Z-Z-Y-X2(-X+X-X-Z-X-Y+Y+Y-Y+Y-Z+Y+Z+Z+Z12(+X-Y+Y+Y-Y+X-X-Y-Z+Z-Y-Z)15(-X-Y-Y-Y-
Z-X-Y+Z-X-Y-Z-Y-X-Y+Y+Y6(+X-Z-Y-Z-Z-Y3(+Y+Z+Y+Z+X+X-Z+Z+X+Y-X-Z+Y-Y-X4(-Y+X)3(-Y-
Z+X+X+X+X+X+Z+Z+X+Y17(-Z+Y+Y+Z+Z+Y-Z+X-X-Y9(-X+X+Z-Y-Z+Z-Y+X-Y13(+Z-Z+X+Y-
Z)13(+X+Z-X+Z+Y-X+X+X+X-X-Y-X-Z+Y+Y+Y-Z15(+Y+Y+Y-Y-Z+Z-Z-X-Y14(-X-X-Z-Y-X+Y+Z+Z-X-
Z+Y+Y-Y+Z-Y-X+Z6(-X+Y-X-Z-Z+X+Z-X-Z-Z+Y-Y)18(-Y+X-Y-Y3(+X-Z17(-Y-Z-Y-Z+Z-X+X-Z+Y-
Y+Y+Y-X+Y-X-Y+Y5(+Y+Y-Y+X+Z-X+X+X-Y)15(+Z+Z+Y-Z+X+Y+Y-X-Y+X+X-Y-Y-Y-Z+Z-Y+Z+Z11(-
Y+X-Z+X+Z+Z+Z+Y+Z+X-Z+Z-X-Y-Y14(+Z-X+Z-Y+Y-Y+Z-X+Z-Y-X+Y-X+Z+X6(-X+Y-X+X-Z+X-Z-
Y)18(-X+Z-X-Y+Z+X+Y+Z-Y+Z+Y+Z-X-X-Z+Y-X18(+Y+Y+X-Y-X-X-X+X-Y+Y-Y-Y-Y+X+X-Z-Y-
Z11(+X-X+Y-X-Y+Y13(-X-Y-Z-X+X+X-Z-Y+X+X-Z+X)7(+X+Z-Y-X+Z-X6(+X+X-X+Z+Y+Z+X-Z-Y+X-Z-
Z+Y-Z-Y-Y+Z-Z+X2(+X-X+Z+X+X+Z-Y+Y-Y+Y+X19(+Y-Y-Y+X-
X-Z-Z-X-Y+X+Z-Z-X+Z-Y-X+X-X)13(+Y-X-X+Y+Z-Z-X-X-X-Z-Y11(-Z-Y+Z-Y+Y-Y+Z-X+X-Y+Y+Z-Z-
X4(+Y-Z+Y-Y-Z+X-Z+Y+Z+X-X3(-Z-X)9(+Z+Y+Z+Z+Y+X-X+Y+Y-X-Y-Z9(+Y+Y+Y-Y-
X4(+Z+Y+Z+Y+X+X-X+Y-X-Z-X+X+X-Z-Z-X-X-Y4(-Z-X+Y+X+Z-X+Z+X-Y+Z+Z-X-Y+Y)19(-X-X-Y-
X+X-X+X-Y+X-Z-X+Z+Z+Y8(-X-Y-X15(+Y+X-Y-Y+Y+Z-Z+X+Z-X+Y+X-X+Y-Z+X-Y-Y+X19(-
Y+Z+Y+Y)11(+Y-Y+Y-X+X-Z-Z-X+Z+Z+Y-Y+X-Y-Z17(+Z+Y2(+X-X+X-Z-X+X-Y-Y+X+Y-Z-Y+Z-Z+X+X-
Y-Y-Z9(-Y+Y-Z)2(+Y-Y-X-X-Z-X-Z+Z11(-X+Y16(+X-X+Z-Y12(-Y+Z-X+Z-Z+X+X+X-X-X-Y-Z-X+X-
Y-Y+Z-X)10(-X-Y-X+Y+Z+X-Z+X+Y-Z+X+Z+X9(-Z+Z-Z+Y+Z+Z-Z+Z-Y-Z-X+Y-Z+Y4(+X+X10(-Z+X-
Y)10(-X+X+X+Z-Z+Y-X-X+X+Y+X-X-X15(-X-Y-Y+Z+Y+X-X-Z-X+Y-Y+Z-Y+Z-X+Y+Y+Z10(-X+X-X+Z-
X-Z+X+Z+Z+Z+Z5(+X-Z+Z+X+Y+Y-X-X+X-Y-Y+Z+Y-Z+Z-Z)10(-Y+Y-Z+Z-X-X+Y+Z+X+Z-Z-Y-Y-
Z+Z11(+Z+Z-Z+Y+Y-Z+X+Y-Z4(+Y+Z17(-Z-Z)13(-Y-Y+Y-X-Y+X13(-X+Y-X+Z-Y18(+X-X+Y3(-Y+Y-
Z-X)17(+Z+X-Y+X-Y-X-X-Y-Z-X+Z+X+Z-Y15(-Y+Z+Y-Y-Z+X15(+Y-Z+Y+Y-Y-X+X-Z-Y-X-
Y+Z+X+Y3(-Z-X+Y-Y+X+Z-X+Z+Z+Z+Z-Z-Z)4(+Y-X-X-Y+Z-X-X-Y-Y-Y18(+X+Z+Y+Z+Y+Z+Y+Y-Y-
Y+Y-X18(+Z-Z+Z-Z-Z-Z+Y+Z-Y-Y-X4(+Z-Y+X+X+Z+X-Z-X-Z-Z+Z+Y+X+Y+Y-Z)11(-Z+Y+X-Z+Y-Y-
X+Y+X-Y+X+Z-Y+Y+X-Z3(-Y+X+Y+Z+Y+Y+Y-X-X-Z-X-Z+Y-Z+Z+Z17(+Z+Y-X+Z-Y-X-X-Y-X+Y+Y+Y4(-
X-X+X-X+X+X-Y+X-Y+Y-Z+Z+Y-X)9(+X+X-Z+X-Z-X-Y+Z+Y-X-Z-Z+Z+Y-Z8(+X+Y+X+Y-Z+X-Y+Y-Y-Y-
X-Z15(-Y-Z+Z+X-Y-X+X+X-Z+X+Y-Z17(-Y-Y+Y+X+Y+Y+Y)18(+X+Y+X+Y+X+X+X-X-Z+Y-Z-X8(+X-Y-
X+Z-Z+Y-Y+Y+X+X+Z-Y-X+Y+Z19(+X-X-Y-Z-X+Z+Z-Y+X+Z+Z6(+Y+X+Z+Z-X+X+X-X+X-X-Z-Y-
Z+Z)6(+X+X+Y-Z-Y-Y-X-X-Z-Y+Z-Y+Z+X+Z2(-X+X+X+Y-X-Y+Y-Y-Y+X+Y-Y+X+X-Y-Y-Z+Y-Y15(-Y-
Z+X-Z+Y-Y-Y-Y-Y-X+X-X+Y-X+Z-X+Y-X11(-Z-Z-Y+Z+Y+Y+Y-Y-Z-Z+Y+X+Y+Z-Y-X+X)18(+Z-Y+Y+Z-
Y-Y+X+X+Z-X+Z8(+Y+Z-Y+Z-Z-Y-X-X-X-X-X2(-X-X-Y-Y-Z+Z11(-Y+Y)16(-Z+X-Y+X-Y-Z+Y+X-Y-X-
Y-Y-X4(+X-Y+X-Z-X-Z-Y-Z6(-Z-Y+X-Y-Y-Z-Z+X+Z-Y-Z+Y+Z-Y-Z-X-Y+X+Y9(-X-Z+Z+Y-X+Y+Z-Z-
Z-Z-Y+Y-X+X+Z)14(+X-Z-X-Z+Y-X-Z-X-Y+Z+Z-Y+X-Z+Y-Y2(+Y+Z-Z+Y17(+Z-Z-X-X+Y-Z+Z-Z+X-X-
X+Z-X-X+X+Y+X-Y+Z15(+X+Z+Z+Y)6(+Y+X+Z2(+X-Y+Z-Y-Y+X+Y-X+Y+X+Z+Z+Z+Z-Y-Y+Y-X6(-
Y+Y+X-Z-Y+X+X-X-Z-Z+Y+Y+Z-Y+Y+X+Z+Z15(-X-Z+Z-Y+Z-Y+Y-X-X-Z+Z-X+X+X+X+X-Z+Z+X)11(-
Y+Y-Y+Z+Y+Z-Y-Y-Y+Y+Y-X+X11(-Z-Z+Y+Z-X-Z-Y-Z16(+Z-Z-Z-Z+Y+Y+Z+X+Z-Y-X-Z13(+Z+Z+X-X-
X-Z)2(-Z-Z+X+Y-Z8(+Z+Y+Z+X-Y-Z-Z+X-Z-Z-Y+Z16(-Z-X-Y+Y-Z13(-Y+Z+Y+Z+Y+Y+Z-Y+X+X-X-
X+X)11(-X+X+Z4(+Y-X+Y-Z-Y+X+Z9(+Y+X-X-Z6(-Z-X+Y+Y+X)5(-Y-X-X-X-X+X+Y-Y+X+X+X-Z5(-
X+Y+X-Y-Y-Z-X-Z+Y6(+Y-Y-Z-Y-Z-X-Y-Z4(-Y-Z+Y)6(+Y-Z-X-Y-Z-Y+X-X-Z+X+Z+X-X-Z+Y-
Z+Y19(-Y+Y+Y-Z-X+Y+Y+X-X-X-Y-Y+Z+X+Y+Z-X+X+Y15(-Z-Y-Z-Y-Y+Y+Z-X-Z-Y-X+X12(+X+X-Y+X-
X+Z+Z+Y-X+Y+Y-Z-Y+X+Z-X+Z-X)12(+X-Z-Y+Y-Z+Y-Y-X-X-Y+Z-Y5(+X+Y+X+X+Y+X-X-Y+Y+Y-Y-Y-
X+Y+Y8(-X+Z-X-Y+Y-X+X+Y-Z+Y-X-Y+X+Z16(+X+X-X-Z+Z-Z-X+Z+X)14(+Y-Z+Y+Z-Z-Z+X-Y-Z+X-
Y+X-X+Z+Z-X2(-Z+Y-Z+X+Z+Z-Z+X-X10(+X-Y-Z+X-Y-Z+Z+Z+X+X+Z+X-X15(-X-Z+Z)14(-Z-X+Y-X-
Z+Y+Y-X-X+Y-Z-Y+X16(+Z+Y+Y+Y+X-X-Z+Z+Y-X+Y-Z-X-X9(-Z-X+Y-X+X-Z+Y+X-Z-Z-Z+Y-X-
Z+X+Z6(-Z+Y-Z+Y+X)11(-Y+Z-Y-Y+Z+Y8(+X-Z-X+Y+X+Z+Z-Z+Z-Y+Z-X16(+Z+Y+Y+Z-Y-Z-Y-Z-Z-
Z+Z+Y+X-X+Y-X-X+X15(+Y+Y-Y+Z+Y+X+Z-X+Y+Y-X-Y+Z-X-Z+Z+X+Y)16(+Y-X+Y+Z17(+Z-X-Y-Y-
Y+Y+Z-Y+Y+Y-Y+Y+Z-Y3(-Y+X+X+Y-Y-Z+Z-Y+X-Z+Y+X+Z-X-Y+Z-Z+Z12(-Y+Z-Y+Z-Z-Z+Y-Z-X-Y+Z-
Y-Y+X+Y+Z+Y)8(-X+X+Z-Z+Y-Z-Z+Y-X+Z-Z+X-X-Z10(+X+Y-X4(-Z+Z-Z+Y+Y-X+Y+X17(+X-Z-Y-
Z+Z+X+Z+Y)7(-Z+Y-Z+Z-Y-Z+X-Y+Z-Y-X-X7(-X+Y+Y+Y-Z-X-Z+Z+Z14(+Z-X+X-Y-Z-X-Z-
X+X+X+Z+Z+Y+X+Y5(+X-X-X+X-X+Y-Y+Y-Z-X-Z+X)15(+Y+Y+Z-X+Z-Y-Y-Z-Y-Z-Y-Y+X-Y+X+Z-
X+Y19(-Y+Y-X18(-X+X-X-Y+X-Z+Y+Z-Y+Z13(+Z+Y+Z+Y+X+Y-Y)19(+Y-X-X+Y+Y-Y+X+Y-Y-X+Z-
Z+Y+Y-Y-Y18(+Z-Z+X-Y-Z+X+Z-X-Y+X-Z-Z-Z-Y9(-Y-Z+Y-Y+X+Y+Y-Y-Z+X-X+Z-Y-Y-X+X+X-
Z13(+X-Z+X+Y-Y+X+Z+X-Z+Z+Y+Z+Z+Z-X+Z)18(-X-Y-X-X-Y12(+Z-Y-X-Y-Y+Y-Y-Z+X+Y-Z-X-X-Z-
Y-Y+X+X-Z13(+Z-Z-X+Y-Z+Y+Z-X+Y-X+X+X-Z-Z-X9(-Y+Z-X-Y+X+X+Y-Z+Z+Y+Z)11(-Z-
Y+Y18(+Z+Z+Z-Y-Y-Y+X+Y-X-Y-Z+Y-Z-Z+X4(-X+Z+Z+Y+Y-X-Y+Y+Y-Y-X+Y-X+X+Y-Y+Z+X+Y15(+Z-
X-Z+Y-Y-Y+Y)15(+Z-Y-Y-Y+Y-X-Z+X-Z+X-X-X-Y+Z+Z+Z+X9(+Z+X+X-Z+Y+X+X-Z+Y19(-Y+Y-Y-
X+X7(-Z+X-Z-Z+X+Z-Y-X+X+Z+X+X+Z-Y-Y+Z+X-X)8(+Z-X+Y+Z+Z+Z+Z+Z+Y-Y-Z-X+X+X+Z-Z+X+Y-
X18(-X+Y-Y-Z-Z17(-Y+Y+Z-Z-Z-Y-X9(+Z+X+Z+Z-X-Y+Z+Y-Y+Z)5(+X+X-Y-X-Z-Z+Z18(+Y+Y-Y-
Z+X-X+Z-Y11(+Z+X-Z+Z+X-Y-Y+Y+Z+Y2(-Z+X-X+Y-Z+X-X+Y+Z+Y+Y+Z-Z+Z)15(-X-X+X+X+X-Z-X-X-
Y-X-Z+Z+X+Y11(+Y-Y-X-Z+X-Z-Y-X+Y-X-Y+Z8(+Y-X-Z-Z+Z-Y10(+X-Y+Z-Y)3(+Y+Z-X-Z-X+Y-Z+Y-
Y+X+Z-X-Y-X7(+Y+Y-Y-Y-X+Z-Z-Y+Z-Z-Y7(+X-X-Y-Z-Y+Y+Z-Z16(+X+X-Z+X+Y)13(-Z-Z-Z+X+Y+Y-
X+Z+X-Y+X+X-X-X4(+X-X-Z-Z+X18(+X+Y-X-X-X+X+X+Y-Y+Y+Z+Z-Y+Z+Z+Z+Z10(+X+Y-Z-
X+Z)16(+X-Z+Y-Y-X-X+X+X-X-X+Y-Z-Z-Z+X+Z-Y-Z16(+Z+X-Y-Y-X+Z+Z-X14(-X-X-X-X-Y8(-X+Z-
Z-X+Z+X-X+Z-Z-Z)10(+X+Z+Z-X-Y+Z+X+Z-Z+Y-Y-X-Y-X12(+X+Y+X-Y-Y9(-Y+Z+Z2(+Y-Y+Z-Y-X-
Y+Z+X+X+X-Y)15(-X+Y-Y+Z8(-X-Y-Y14(+Y+X+Y+X-X-Y+Y-Z+Y-Z-Y+Y+Z-X+X-Z9(+Z+Z+Y+Y-Z+Y-
X+X-Y-Z)11(-Y-X+Z-Z+X+X-Y+Y+Y-Z+X-X-Z+X+Y-X-Z19(-X+X-Z+X19(-Z-X+X+Y+X-Y+Z+Z-
Z+Z+Z+X-
Z+Y+Y+X))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
))))))))))-X+Y