Changeset 75f460 in git for Tst/Short/bug_40.tst
- Timestamp:
- Dec 16, 2014, 3:43:21 PM (9 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- fce947c9e6c3e8c6d5a622c7f6b0d724580993cc
- Parents:
- a2e4470c6e9a666de8ab7b706370c15e13092f76
- File:
-
- 1 edited
-
Tst/Short/bug_40.tst (modified) (10 diffs)
Legend:
- Unmodified
- Added
- Removed
-
Tst/Short/bug_40.tst
ra2e447 r75f460 5 5 ring r=(0,y1, y2, y3),(z1, z2, z3, z4, z5, z6),dp; 6 6 option(redSB); 7 ideal F = -z2^2-y1*z3^6*z4^6*z5^6*z6^6-z1^3-z3^12*z4^12-y3*y1^2*z5^12*z6^12-z4^12*z6^12-y2*y1^2*z3^12*z5^12+z1*z2*z3*z4*z5*z6, 8 z4^12*z6^12-y2*y1^2*z3^12*z5^12, z3^12*z4^12-y3*y1^2*z5^12*z6^12, 9 -2*y1*z3^6*z4^6*z5^6*z6^6+z1^3-2*z3^12*z4^12-2*y3*y1^2*z5^12*z6^12-2*z4^12*z6^12-2*y2*y1^2*z3^12*z5^12, 7 ideal F = -z2^2-y1*z3^6*z4^6*z5^6*z6^6-z1^3-z3^12*z4^12-y3*y1^2*z5^12*z6^12-z4^12*z6^12-y2*y1^2*z3^12*z5^12+z1*z2*z3*z4*z5*z6, 8 z4^12*z6^12-y2*y1^2*z3^12*z5^12, z3^12*z4^12-y3*y1^2*z5^12*z6^12, 9 -2*y1*z3^6*z4^6*z5^6*z6^6+z1^3-2*z3^12*z4^12-2*y3*y1^2*z5^12*z6^12-2*z4^12*z6^12-2*y2*y1^2*z3^12*z5^12, 10 10 z2^2-3*y1*z3^6*z4^6*z5^6*z6^6-3*z3^12*z4^12-3*y3*y1^2*z5^12*z6^12-3*z4^12*z6^12-3*y2*y1^2*z3^12*z5^12; 11 11 ideal iStd = std(F); … … 13 13 14 14 ideal iMagma= 15 z2^2*z5^29*z6^17 - 1/12/(y1^5*y2^2*y3 - 2*y1^5*y2*y3^2 + y1^5*y3^3 - 16 1/2*y1^5*y2*y3 - 1/2*y1^5*y3^2 + 1/16*y1^5*y3)*z1*z2^3*z3^7*z4^19 + 17 (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 15 z2^2*z5^29*z6^17 - 1/12/(y1^5*y2^2*y3 - 2*y1^5*y2*y3^2 + y1^5*y3^3 - 16 1/2*y1^5*y2*y3 - 1/2*y1^5*y3^2 + 1/16*y1^5*y3)*z1*z2^3*z3^7*z4^19 + 17 (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 18 18 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^7*z5^12 + 19 (-1/6*y2 + 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 20 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^4*z4^12*z5^5*z6^5 + 21 (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 19 (-1/6*y2 + 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 20 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^4*z4^12*z5^5*z6^5 + 21 (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 22 22 1/2*y1^2*y2 - 1/2*y1^2*y3 + 1/16*y1^2)*z2^4*z5^17*z6^5, 23 23 z4^6*z5^24*z6^18 + (1/12*y2 + 1/12*y3 - 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 24 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 25 1/16*y1^3*y3)*z2^2*z3^6*z4^12*z5^6 - 1/6*y2/(y1*y2^2 - 2*y1*y2*y3 + 26 y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z2^2*z3^6*z5^18 + (-1/6*y2 + 27 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 24 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 25 1/16*y1^3*y3)*z2^2*z3^6*z4^12*z5^6 - 1/6*y2/(y1*y2^2 - 2*y1*y2*y3 + 26 y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z2^2*z3^6*z5^18 + (-1/6*y2 + 27 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 28 28 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^2*z4^18*z6^6 + (1/6*y2 29 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 29 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 30 30 1/2*y1^2*y3 + 1/16*y1^2)*z2^2*z4^6*z5^12*z6^6, 31 z5^30*z6^18 - 1/6/(y1^5*y2^2*y3 - 2*y1^5*y2*y3^2 + y1^5*y3^3 - 32 1/2*y1^5*y2*y3 - 1/2*y1^5*y3^2 + 1/16*y1^5*y3)*z2^2*z3^6*z4^18 + 33 (1/12*y2 + 1/12*y3 - 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 34 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^6*z5^12 + 35 (-1/6*y2 + 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 36 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^2*z4^12*z5^6*z6^6 + 37 (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 31 z5^30*z6^18 - 1/6/(y1^5*y2^2*y3 - 2*y1^5*y2*y3^2 + y1^5*y3^3 - 32 1/2*y1^5*y2*y3 - 1/2*y1^5*y3^2 + 1/16*y1^5*y3)*z2^2*z3^6*z4^18 + 33 (1/12*y2 + 1/12*y3 - 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 34 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^6*z5^12 + 35 (-1/6*y2 + 1/6*y3 + 1/24)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 36 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z2^2*z4^12*z5^6*z6^6 + 37 (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 38 38 1/2*y1^2*y2 - 1/2*y1^2*y3 + 1/16*y1^2)*z2^2*z5^18*z6^6, 39 z4^6*z5^18*z6^24 + (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 40 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 41 1/16*y1^2*y3)*z2^2*z3^12*z4^6*z5^6 + (1/12*y2 + 1/12*y3 - 42 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 43 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^12*z6^6 - 1/6*y2/(y1*y2^2 - 44 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 45 1/16*y1)*z2^2*z3^6*z5^12*z6^6 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 46 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 39 z4^6*z5^18*z6^24 + (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 40 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 41 1/16*y1^2*y3)*z2^2*z3^12*z4^6*z5^6 + (1/12*y2 + 1/12*y3 - 42 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 43 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^12*z6^6 - 1/6*y2/(y1*y2^2 - 44 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 45 1/16*y1)*z2^2*z3^6*z5^12*z6^6 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 46 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 47 47 1/16*y1^2)*z2^2*z4^6*z5^6*z6^12, 48 z2^2*z5^17*z6^29 - 1/12*y2/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 49 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^19*z4^7 + 50 (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 48 z2^2*z5^17*z6^29 - 1/12*y2/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 49 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^19*z4^7 + 50 (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 51 51 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^7*z6^12 + 52 (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + 53 y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 52 (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + 53 y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 54 54 1/16*y1^2*y3)*z2^4*z3^12*z5^5*z6^5 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 55 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 55 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 56 56 1/16*y1^2)*z2^4*z5^5*z6^17, 57 z4^6*z5^12*z6^30 + (1/12*y2^2 + 1/12*y2*y3 - 1/48*y2)/(y1*y2^2*y3 - 58 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + 59 1/16*y1*y3)*z2^2*z3^18*z5^6 + (-1/6*y2^2 + 1/6*y2*y3 + 60 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 61 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z2^2*z3^12*z4^6*z6^6 - 1/6*y2/(y1*y2^2 - 62 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 63 1/16*y1)*z2^2*z3^6*z5^6*z6^12 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 64 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 57 z4^6*z5^12*z6^30 + (1/12*y2^2 + 1/12*y2*y3 - 1/48*y2)/(y1*y2^2*y3 - 58 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + 59 1/16*y1*y3)*z2^2*z3^18*z5^6 + (-1/6*y2^2 + 1/6*y2*y3 + 60 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 61 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z2^2*z3^12*z4^6*z6^6 - 1/6*y2/(y1*y2^2 - 62 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 63 1/16*y1)*z2^2*z3^6*z5^6*z6^12 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 64 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 65 65 1/16*y1^2)*z2^2*z4^6*z6^18, 66 z5^18*z6^30 - 1/6*y2/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 67 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^18*z4^6 + 68 (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + 69 y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 70 1/16*y1^2*y3)*z2^2*z3^12*z5^6*z6^6 + (1/12*y2 + 1/12*y3 - 71 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 72 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^6*z6^12 + (1/6*y2 - 1/6*y3 + 73 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 66 z5^18*z6^30 - 1/6*y2/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 67 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^18*z4^6 + 68 (-1/6*y2^2 + 1/6*y2*y3 + 1/24*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + 69 y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 70 1/16*y1^2*y3)*z2^2*z3^12*z5^6*z6^6 + (1/12*y2 + 1/12*y3 - 71 1/48)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 72 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z2^2*z3^6*z4^6*z6^12 + (1/6*y2 - 1/6*y3 + 73 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 74 74 + 1/16*y1^2)*z2^2*z5^6*z6^18, 75 z2^2*z3^5*z5^29*z6^11 + (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - 76 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 77 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^13*z5^6 + (1/12*y2 - 1/12*y3 + 78 1/48)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 79 + 1/16*y1^2)*z1*z2^3*z3^6*z4*z5^18 + (1/24*y2 + 1/24*y3 - 75 z2^2*z3^5*z5^29*z6^11 + (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - 76 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 77 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^13*z5^6 + (1/12*y2 - 1/12*y3 + 78 1/48)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 79 + 1/16*y1^2)*z1*z2^3*z3^6*z4*z5^18 + (1/24*y2 + 1/24*y3 - 80 80 1/96)/(y1^5*y2^3*y3 - 2*y1^5*y2^2*y3^2 + y1^5*y2*y3^3 - 1/2*y1^5*y2^2*y3 81 - 1/2*y1^5*y2*y3^2 + 1/16*y1^5*y2*y3)*z1*z2^3*z4^19*z6^6 - 81 - 1/2*y1^5*y2*y3^2 + 1/16*y1^5*y2*y3)*z1*z2^3*z4^19*z6^6 - 82 82 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + 83 83 1/16*y1^3)*z1*z2^3*z4^7*z5^12*z6^6, 84 z2^2*z4^11*z5^17*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 85 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 86 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^18 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + 87 y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z4^6*z5^12 + 88 (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 89 1/2*y3 + 1/16)*z1*z2^3*z3*z5^18*z6^6 + (1/6*y2 - 1/6*y3 + 90 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 84 z2^2*z4^11*z5^17*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 85 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 86 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^18 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + 87 y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z4^6*z5^12 + 88 (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 89 1/2*y3 + 1/16)*z1*z2^3*z3*z5^18*z6^6 + (1/6*y2 - 1/6*y3 + 90 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 91 91 + 1/16*y1^2)*z2^4*z4^11*z5^5*z6^5, 92 z2^2*z3^5*z5^23*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 93 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 94 1/16*y1^3*y3)*z1*z2^3*z3^12*z4^7*z5^6 + (-1/12*y2 + 1/12*y3 + 95 1/48)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 96 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^13*z6^6 - 1/12/(y1^3*y2^2 97 - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + 92 z2^2*z3^5*z5^23*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 93 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 94 1/16*y1^3*y3)*z1*z2^3*z3^12*z4^7*z5^6 + (-1/12*y2 + 1/12*y3 + 95 1/48)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 96 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^13*z6^6 - 1/12/(y1^3*y2^2 97 - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + 98 98 1/16*y1^3)*z1*z2^3*z4^7*z5^6*z6^12 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 99 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 99 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 100 100 1/16*y1^2)*z2^4*z3^5*z5^11*z6^5, 101 z2^2*z4^5*z5^23*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 102 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 103 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^12*z5^6 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + 104 y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z5^18 + 101 z2^2*z4^5*z5^23*z6^17 + (1/24*y2 + 1/24*y3 - 1/96)/(y1^3*y2^2*y3 - 102 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 1/2*y1^3*y3^2 + 103 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^12*z5^6 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + 104 y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z5^18 + 105 105 (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - 2*y1^4*y2*y3^2 + y1^4*y3^3 - 106 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z1*z2^3*z3*z4^18*z6^6 + 107 (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 106 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 1/16*y1^4*y3)*z1*z2^3*z3*z4^18*z6^6 + 107 (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 108 108 1/2*y1^2*y2 - 1/2*y1^2*y3 + 1/16*y1^2)*z2^4*z4^5*z5^11*z6^5, 109 z2^2*z3^5*z5^17*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y1^2*y2^2*y3 - 110 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 111 1/16*y1^2*y3)*z1*z2^3*z3^18*z4*z5^6 + (1/24*y2 + 1/24*y3 - 112 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 113 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^12*z4^7*z6^6 - 1/12/(y1^3*y2^2 114 - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + 115 1/16*y1^3)*z1*z2^3*z4^7*z6^18 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 116 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 109 z2^2*z3^5*z5^17*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y1^2*y2^2*y3 - 110 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 111 1/16*y1^2*y3)*z1*z2^3*z3^18*z4*z5^6 + (1/24*y2 + 1/24*y3 - 112 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 113 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^12*z4^7*z6^6 - 1/12/(y1^3*y2^2 114 - 2*y1^3*y2*y3 + y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + 115 1/16*y1^3)*z1*z2^3*z4^7*z6^18 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 116 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 117 117 1/16*y1^2)*z2^4*z3^5*z5^5*z6^11, 118 z2^2*z4^5*z5^17*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y1^2*y2^2*y3 - 119 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 120 1/16*y1^2*y3)*z1*z2^3*z3^13*z4^6*z5^6 + (1/24*y2 + 1/24*y3 - 121 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 118 z2^2*z4^5*z5^17*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 1/48*y2)/(y1^2*y2^2*y3 - 119 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 1/2*y1^2*y3^2 + 120 1/16*y1^2*y3)*z1*z2^3*z3^13*z4^6*z5^6 + (1/24*y2 + 1/24*y3 - 121 1/96)/(y1^3*y2^2*y3 - 2*y1^3*y2*y3^2 + y1^3*y3^3 - 1/2*y1^3*y2*y3 - 122 122 1/2*y1^3*y3^2 + 1/16*y1^3*y3)*z1*z2^3*z3^7*z4^12*z6^6 - 1/12*y2/(y1*y2^2 123 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 123 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 124 124 1/16*y1)*z1*z2^3*z3^7*z5^12*z6^6 + (1/6*y2 - 1/6*y3 + 1/24)/(y1^2*y2^2 - 125 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 125 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 126 126 1/16*y1^2)*z2^4*z4^5*z5^5*z6^11, 127 z2^2*z4^11*z5^5*z6^29 + (1/24*y2^2 + 1/24*y2*y3 - 1/96*y2)/(y1*y2^2*y3 - 128 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + 129 1/16*y1*y3)*z1*z2^3*z3^19*z4^6 + (1/12*y2^2 - 1/12*y2*y3 + 130 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 131 1/16)*z1*z2^3*z3^13*z5^6*z6^6 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 127 z2^2*z4^11*z5^5*z6^29 + (1/24*y2^2 + 1/24*y2*y3 - 1/96*y2)/(y1*y2^2*y3 - 128 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + 129 1/16*y1*y3)*z1*z2^3*z3^19*z4^6 + (1/12*y2^2 - 1/12*y2*y3 + 130 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 131 1/16)*z1*z2^3*z3^13*z5^6*z6^6 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 132 132 - 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^7*z4^6*z6^12 + (-1/12*y2^2 133 + 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 133 + 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 134 134 1/16)*z1*z2^3*z3*z5^6*z6^18, 135 z2^2*z4^5*z5^11*z6^29 + (1/24*y2^2 + 1/24*y2*y3 - 1/96*y2)/(y1*y2^2*y3 - 136 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + 137 1/16*y1*y3)*z1*z2^3*z3^19*z5^6 + (-1/12*y2^2 + 1/12*y2*y3 + 138 1/48*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 135 z2^2*z4^5*z5^11*z6^29 + (1/24*y2^2 + 1/24*y2*y3 - 1/96*y2)/(y1*y2^2*y3 - 136 2*y1*y2*y3^2 + y1*y3^3 - 1/2*y1*y2*y3 - 1/2*y1*y3^2 + 137 1/16*y1*y3)*z1*z2^3*z3^19*z5^6 + (-1/12*y2^2 + 1/12*y2*y3 + 138 1/48*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 139 139 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z1*z2^3*z3^13*z4^6*z6^6 - 1/12*y2/(y1*y2^2 140 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 140 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 141 141 1/16*y1)*z1*z2^3*z3^7*z5^6*z6^12 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 142 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 142 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 143 143 1/16*y1^2)*z1*z2^3*z3*z4^6*z6^18, 144 z2^2*z3^29*z4^5*z5^5*z6^5 - y3/y2*z2^2*z3^5*z4^5*z5^5*z6^29 - 144 z2^2*z3^29*z4^5*z5^5*z6^5 - y3/y2*z2^2*z3^5*z4^5*z5^5*z6^29 - 145 145 1/6/y1*z1*z2^3*z3^24 + 1/6*y3/(y1*y2)*z1*z2^3*z6^24, 146 z2^2*z3^5*z4^29*z5^5*z6^5 - y1^4*y2*y3*z2^2*z3^5*z4^5*z5^29*z6^5 - 146 z2^2*z3^5*z4^29*z5^5*z6^5 - y1^4*y2*y3*z2^2*z3^5*z4^5*z5^29*z6^5 - 147 147 1/6/y1*z1*z2^3*z4^24 + 1/6*y1^3*y2*y3*z1*z2^3*z5^24, 148 z2^2*z3^5*z4^11*z5^17*z6^11 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 - 149 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 150 1/16*y1^2)*z1*z2^3*z3^6*z4^12*z5^6 + (-1/12*y2^2 + 1/12*y2*y3 + 151 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 152 1/16)*z1*z2^3*z3^6*z5^18 - 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + y1^3*y3^2 - 153 1/2*y1^3*y2 - 1/2*y1^3*y3 + 1/16*y1^3)*z1*z2^3*z4^18*z6^6 + (1/24*y2 + 154 1/24*y3 - 1/96)/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 148 z2^2*z3^5*z4^11*z5^17*z6^11 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 - 149 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 150 1/16*y1^2)*z1*z2^3*z3^6*z4^12*z5^6 + (-1/12*y2^2 + 1/12*y2*y3 + 151 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 152 1/16)*z1*z2^3*z3^6*z5^18 - 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + y1^3*y3^2 - 153 1/2*y1^3*y2 - 1/2*y1^3*y3 + 1/16*y1^3)*z1*z2^3*z4^18*z6^6 + (1/24*y2 + 154 1/24*y3 - 1/96)/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 155 155 + 1/16*y1)*z1*z2^3*z4^6*z5^12*z6^6, 156 z2^2*z3^5*z4^5*z5^23*z6^11 + (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - 157 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 156 z2^2*z3^5*z4^5*z5^23*z6^11 + (-1/12*y2 + 1/12*y3 + 1/48)/(y1^4*y2^2*y3 - 157 2*y1^4*y2*y3^2 + y1^4*y3^3 - 1/2*y1^4*y2*y3 - 1/2*y1^4*y3^2 + 158 158 1/16*y1^4*y3)*z1*z2^3*z3^6*z4^18 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 159 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 160 1/16*y1^2)*z1*z2^3*z3^6*z4^6*z5^12 - 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + 161 y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + 159 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 160 1/16*y1^2)*z1*z2^3*z3^6*z4^6*z5^12 - 1/12/(y1^3*y2^2 - 2*y1^3*y2*y3 + 161 y1^3*y3^2 - 1/2*y1^3*y2 - 1/2*y1^3*y3 + 162 162 1/16*y1^3)*z1*z2^3*z4^12*z5^6*z6^6 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 163 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 163 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 164 164 1/16*y1)*z1*z2^3*z5^18*z6^6, 165 z2^2*z3^5*z4^11*z5^11*z6^17 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 166 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^12*z4^6*z5^6 + (1/12*y2 - 167 1/12*y3 + 1/48)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 168 1/2*y1^2*y3 + 1/16*y1^2)*z1*z2^3*z3^6*z4^12*z6^6 + (-1/12*y2^2 + 169 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 170 1/16)*z1*z2^3*z3^6*z5^12*z6^6 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 - 171 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 165 z2^2*z3^5*z4^11*z5^11*z6^17 - 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 166 1/2*y1*y2 - 1/2*y1*y3 + 1/16*y1)*z1*z2^3*z3^12*z4^6*z5^6 + (1/12*y2 - 167 1/12*y3 + 1/48)/(y1^2*y2^2 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 168 1/2*y1^2*y3 + 1/16*y1^2)*z1*z2^3*z3^6*z4^12*z6^6 + (-1/12*y2^2 + 169 1/12*y2*y3 + 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 170 1/16)*z1*z2^3*z3^6*z5^12*z6^6 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 - 171 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 172 172 1/16*y1)*z1*z2^3*z4^6*z5^6*z6^12, 173 z2^2*z3^5*z4^11*z5^5*z6^23 + (1/12*y2^2 - 1/12*y2*y3 + 1/48*y2)/(y2^2 - 174 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 1/16)*z1*z2^3*z3^18*z5^6 - 175 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 176 1/16*y1)*z1*z2^3*z3^12*z4^6*z6^6 + (-1/12*y2^2 + 1/12*y2*y3 + 177 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 178 1/16)*z1*z2^3*z3^6*z5^6*z6^12 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 - 179 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 173 z2^2*z3^5*z4^11*z5^5*z6^23 + (1/12*y2^2 - 1/12*y2*y3 + 1/48*y2)/(y2^2 - 174 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 1/16)*z1*z2^3*z3^18*z5^6 - 175 1/12*y2/(y1*y2^2 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 176 1/16*y1)*z1*z2^3*z3^12*z4^6*z6^6 + (-1/12*y2^2 + 1/12*y2*y3 + 177 1/48*y2)/(y2^2 - 2*y2*y3 + y3^2 - 1/2*y2 - 1/2*y3 + 178 1/16)*z1*z2^3*z3^6*z5^6*z6^12 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 - 179 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 180 180 1/16*y1)*z1*z2^3*z4^6*z6^18, 181 z2^2*z3^5*z4^5*z5^11*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 182 1/48*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 183 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z1*z2^3*z3^18*z4^6 - 1/12*y2/(y1*y2^2 - 184 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 181 z2^2*z3^5*z4^5*z5^11*z6^23 + (-1/12*y2^2 + 1/12*y2*y3 + 182 1/48*y2)/(y1^2*y2^2*y3 - 2*y1^2*y2*y3^2 + y1^2*y3^3 - 1/2*y1^2*y2*y3 - 183 1/2*y1^2*y3^2 + 1/16*y1^2*y3)*z1*z2^3*z3^18*z4^6 - 1/12*y2/(y1*y2^2 - 184 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 185 185 1/16*y1)*z1*z2^3*z3^12*z5^6*z6^6 + (1/12*y2 - 1/12*y3 + 1/48)/(y1^2*y2^2 186 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 186 - 2*y1^2*y2*y3 + y1^2*y3^2 - 1/2*y1^2*y2 - 1/2*y1^2*y3 + 187 187 1/16*y1^2)*z1*z2^3*z3^6*z4^6*z6^12 + (1/24*y2 + 1/24*y3 - 1/96)/(y1*y2^2 188 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 188 - 2*y1*y2*y3 + y1*y3^2 - 1/2*y1*y2 - 1/2*y1*y3 + 189 189 1/16*y1)*z1*z2^3*z5^6*z6^18, 190 z2^2*z3^6*z4^12*z6^23 + y1^2*y2*z2^2*z3^6*z5^12*z6^23 + 190 z2^2*z3^6*z4^12*z6^23 + y1^2*y2*z2^2*z3^6*z5^12*z6^23 + 191 191 1/2*y1*z2^2*z4^6*z5^6*z6^29 - 1/12*y2/y3*z1*z2^3*z3^19*z4*z5, 192 z2^2*z3^6*z5^29*z6^5 + 2/(y1^3*y2)*z2^2*z4^18*z5^11*z6^11 + 192 z2^2*z3^6*z5^29*z6^5 + 2/(y1^3*y2)*z2^2*z4^18*z5^11*z6^11 + 193 193 2/y1*z2^2*z4^6*z5^23*z6^11 - 1/6/(y1^5*y2*y3)*z1*z2^3*z3*z4^19, 194 z2^2*z4^23*z6^17 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z2^2*z4^11*z5^12*z6^17 + 195 1/24*y1*y2/(y2 + y3 - 1/4)*z1*z2^3*z3^7*z4^6*z5^7 - 1/12*y1^2*y2*y3/(y2 196 + y3 - 1/4)*z1*z2^3*z3*z5^13*z6^6 - 1/6*y2/(y2 + y3 - 194 z2^2*z4^23*z6^17 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z2^2*z4^11*z5^12*z6^17 + 195 1/24*y1*y2/(y2 + y3 - 1/4)*z1*z2^3*z3^7*z4^6*z5^7 - 1/12*y1^2*y2*y3/(y2 196 + y3 - 1/4)*z1*z2^3*z3*z5^13*z6^6 - 1/6*y2/(y2 + y3 - 197 197 1/4)*z2^4*z4^11*z6^5, 198 z2^2*z3^12*z4^6*z5^5*z6^17 + (-2*y1*y2 + 2*y1*y3)*z2^2*z3^6*z5^11*z6^23 - 199 z2^2*z4^6*z5^5*z6^29 + 1/6*y2/(y1*y3)*z1*z2^3*z3^19*z4 - 198 z2^2*z3^12*z4^6*z5^5*z6^17 + (-2*y1*y2 + 2*y1*y3)*z2^2*z3^6*z5^11*z6^23 - 199 z2^2*z4^6*z5^5*z6^29 + 1/6*y2/(y1*y3)*z1*z2^3*z3^19*z4 - 200 200 1/6/y1*z1*z2^3*z3^7*z4*z6^12, 201 z2^2*z3^12*z4^5*z5^6*z6^17 + (2*y2 - 2*y3)/(y1*y2)*z2^2*z3^6*z4^11*z6^23 - 202 y3/y2*z2^2*z4^5*z5^6*z6^29 + 1/6/y1*z1*z2^3*z3^19*z5 - 201 z2^2*z3^12*z4^5*z5^6*z6^17 + (2*y2 - 2*y3)/(y1*y2)*z2^2*z3^6*z4^11*z6^23 - 202 y3/y2*z2^2*z4^5*z5^6*z6^29 + 1/6/y1*z1*z2^3*z3^19*z5 - 203 203 1/6/y1*z1*z2^3*z3^7*z5*z6^12, 204 z2^2*z4^12*z5^11*z6^17 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 205 1/8*y1^2)*z2^2*z5^23*z6^17 + 1/48/(y1*y3)*z1*z2^3*z3^7*z4^7*z5^6 - 204 z2^2*z4^12*z5^11*z6^17 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 205 1/8*y1^2)*z2^2*z5^23*z6^17 + 1/48/(y1*y3)*z1*z2^3*z3^7*z4^7*z5^6 - 206 206 1/24/(y1^2*y3)*z1*z2^3*z3*z4^13*z6^6 - 1/12*z2^4*z5^11*z6^5, 207 z2^2*z3^6*z5^17*z6^17 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - 207 z2^2*z3^6*z5^17*z6^17 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - 208 208 1/4*y1)*z2^2*z4^6*z5^11*z6^23 + (-1/6*y2 + 1/24)/(y1^3*y2*y3 + y1^3*y3^2 209 - 1/4*y1^3*y3)*z1*z2^3*z3^13*z4^7 + 1/6/(y1^3*y2 + y1^3*y3 - 210 1/4*y1^3)*z1*z2^3*z3*z4^7*z6^12 - 1/6/(y1^2*y2 + y1^2*y3 - 209 - 1/4*y1^3*y3)*z1*z2^3*z3^13*z4^7 + 1/6/(y1^3*y2 + y1^3*y3 - 210 1/4*y1^3)*z1*z2^3*z3*z4^7*z6^12 - 1/6/(y1^2*y2 + y1^2*y3 - 211 211 1/4*y1^2)*z2^4*z3^6*z5^5*z6^5, 212 z4^18*z5^6*z6^18 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - 213 1/4)*z4^6*z5^18*z6^18 - 1/12/(y1*y2 - y1*y3 - 1/4*y1)*z2^2*z3^6*z4^12 + 212 z4^18*z5^6*z6^18 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - 213 1/4)*z4^6*z5^18*z6^18 - 1/12/(y1*y2 - y1*y3 - 1/4*y1)*z2^2*z3^6*z4^12 + 214 214 1/12*y1*y2/(y2 - y3 - 1/4)*z2^2*z3^6*z5^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 215 215 - 1/4)*z2^2*z4^6*z5^6*z6^6, 216 z4^12*z5^12*z6^18 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 1/8*y1^2)*z5^24*z6^18 + 217 1/24/(y1*y3)*z2^2*z3^6*z4^6*z5^6 - 1/12/(y1^2*y3)*z2^2*z4^12*z6^6 - 216 z4^12*z5^12*z6^18 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 1/8*y1^2)*z5^24*z6^18 + 217 1/24/(y1*y3)*z2^2*z3^6*z4^6*z5^6 - 1/12/(y1^2*y3)*z2^2*z4^12*z6^6 - 218 218 1/12*z2^2*z5^12*z6^6, 219 z2^2*z4^17*z6^23 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z2^2*z4^5*z5^12*z6^23 - 220 1/12*y2/(y2 + y3 - 1/4)*z1*z2^3*z3^13*z4^6*z5 + 1/24*y1*y2/(y2 + y3 - 219 z2^2*z4^17*z6^23 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z2^2*z4^5*z5^12*z6^23 - 220 1/12*y2/(y2 + y3 - 1/4)*z1*z2^3*z3^13*z4^6*z5 + 1/24*y1*y2/(y2 + y3 - 221 221 1/4)*z1*z2^3*z3^7*z5^7*z6^6 - 1/6*y2/(y2 + y3 - 1/4)*z2^4*z4^5*z6^11, 222 z2^2*z4^12*z5^5*z6^23 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 223 1/8*y1^2)*z2^2*z5^17*z6^23 - 1/24*y2/y3*z1*z2^3*z3^13*z4*z5^6 + 222 z2^2*z4^12*z5^5*z6^23 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 223 1/8*y1^2)*z2^2*z5^17*z6^23 - 1/24*y2/y3*z1*z2^3*z3^13*z4*z5^6 + 224 224 1/48/(y1*y3)*z1*z2^3*z3^7*z4^7*z6^6 - 1/12*z2^4*z5^5*z6^11, 225 z4^18*z6^24 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z4^6*z5^12*z6^24 - 1/6*y2/(y2 + 226 y3 - 1/4)*z2^2*z3^12*z4^6 + 1/12*y1*y2/(y2 + y3 - 225 z4^18*z6^24 + 2*y1^2*y2*y3/(y2 + y3 - 1/4)*z4^6*z5^12*z6^24 - 1/6*y2/(y2 + 226 y3 - 1/4)*z2^2*z3^12*z4^6 + 1/12*y1*y2/(y2 + y3 - 227 227 1/4)*z2^2*z3^6*z5^6*z6^6 - 1/6*y2/(y2 + y3 - 1/4)*z2^2*z4^6*z6^12, 228 z4^12*z5^6*z6^24 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 1/8*y1^2)*z5^18*z6^24 - 229 1/12*y2/y3*z2^2*z3^12*z5^6 + 1/24/(y1*y3)*z2^2*z3^6*z4^6*z6^6 - 228 z4^12*z5^6*z6^24 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 1/8*y1^2)*z5^18*z6^24 - 229 1/12*y2/y3*z2^2*z3^12*z5^6 + 1/24/(y1*y3)*z2^2*z3^6*z4^6*z6^6 - 230 230 1/12*z2^2*z5^6*z6^12, 231 z2^2*z3^5*z4^23*z6^11 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 232 1/8*y1^2)*z2^2*z3^5*z4^11*z5^12*z6^11 - 1/24*z1*z2^3*z3^6*z4^12*z5 - 231 z2^2*z3^5*z4^23*z6^11 + (1/2*y1^2*y2 + 1/2*y1^2*y3 - 232 1/8*y1^2)*z2^2*z3^5*z4^11*z5^12*z6^11 - 1/24*z1*z2^3*z3^6*z4^12*z5 - 233 233 1/24*y1^2*y2*z1*z2^3*z3^6*z5^13 + 1/48*y1*z1*z2^3*z4^6*z5^7*z6^6, 234 z2^2*z3^5*z4^12*z5^11*z6^11 + 2*y1^2*y2*y3/(y2 + y3 - 235 1/4)*z2^2*z3^5*z5^23*z6^11 - 1/12/(y1^2*y2 + y1^2*y3 - 236 1/4*y1^2)*z1*z2^3*z3^6*z4^13 - 1/12*y2/(y2 + y3 - 237 1/4)*z1*z2^3*z3^6*z4*z5^12 + 1/24/(y1*y2 + y1*y3 - 234 z2^2*z3^5*z4^12*z5^11*z6^11 + 2*y1^2*y2*y3/(y2 + y3 - 235 1/4)*z2^2*z3^5*z5^23*z6^11 - 1/12/(y1^2*y2 + y1^2*y3 - 236 1/4*y1^2)*z1*z2^3*z3^6*z4^13 - 1/12*y2/(y2 + y3 - 237 1/4)*z1*z2^3*z3^6*z4*z5^12 + 1/24/(y1*y2 + y1*y3 - 238 238 1/4*y1)*z1*z2^3*z4^7*z5^6*z6^6, 239 z2^2*z3^11*z5^17*z6^11 + (1/2*y2 + 1/2*y3 - 1/8)/(y1*y2^2 - y1*y2*y3 - 240 1/4*y1*y2)*z2^2*z3^5*z4^6*z5^11*z6^17 + 1/12/(y1^2*y2 - y1^2*y3 - 241 1/4*y1^2)*z1*z2^3*z3^12*z4*z5^6 - 1/24/(y1^3*y2^2 - y1^3*y2*y3 - 242 1/4*y1^3*y2)*z1*z2^3*z3^6*z4^7*z6^6 + (-1/12*y2 + 1/48)/(y1^2*y2^2 - 239 z2^2*z3^11*z5^17*z6^11 + (1/2*y2 + 1/2*y3 - 1/8)/(y1*y2^2 - y1*y2*y3 - 240 1/4*y1*y2)*z2^2*z3^5*z4^6*z5^11*z6^17 + 1/12/(y1^2*y2 - y1^2*y3 - 241 1/4*y1^2)*z1*z2^3*z3^12*z4*z5^6 - 1/24/(y1^3*y2^2 - y1^3*y2*y3 - 242 1/4*y1^3*y2)*z1*z2^3*z3^6*z4^7*z6^6 + (-1/12*y2 + 1/48)/(y1^2*y2^2 - 243 243 y1^2*y2*y3 - 1/4*y1^2*y2)*z1*z2^3*z4*z5^6*z6^12, 244 z2^2*z3^6*z4^5*z5^17*z6^11 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - 245 1/4*y1)*z2^2*z4^11*z5^11*z6^17 - 1/12/(y1^2*y2 + y1^2*y3 - 246 1/4*y1^2)*z1*z2^3*z3^7*z4^6*z5^6 + 1/6/(y1^3*y2 + y1^3*y3 - 247 1/4*y1^3)*z1*z2^3*z3*z4^12*z6^6 + (-1/6*y2 + 1/24)/(y1*y2 + y1*y3 - 244 z2^2*z3^6*z4^5*z5^17*z6^11 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - 245 1/4*y1)*z2^2*z4^11*z5^11*z6^17 - 1/12/(y1^2*y2 + y1^2*y3 - 246 1/4*y1^2)*z1*z2^3*z3^7*z4^6*z5^6 + 1/6/(y1^3*y2 + y1^3*y3 - 247 1/4*y1^3)*z1*z2^3*z3*z4^12*z6^6 + (-1/6*y2 + 1/24)/(y1*y2 + y1*y3 - 248 248 1/4*y1)*z1*z2^3*z3*z5^12*z6^6, 249 z2^2*z3^5*z4^17*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - 250 1/4)*z2^2*z3^5*z4^5*z5^12*z6^17 + 1/24*y1*y2/(y2 - y3 - 251 1/4)*z1*z2^3*z3^12*z5^7 - 1/24*y1*y3/(y2 - y3 - 1/4)*z1*z2^3*z5^7*z6^12 249 z2^2*z3^5*z4^17*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - 250 1/4)*z2^2*z3^5*z4^5*z5^12*z6^17 + 1/24*y1*y2/(y2 - y3 - 251 1/4)*z1*z2^3*z3^12*z5^7 - 1/24*y1*y3/(y2 - y3 - 1/4)*z1*z2^3*z5^7*z6^12 252 252 + (-1/6*y2 + 1/6*y3)/(y2 - y3 - 1/4)*z2^4*z3^5*z4^5*z6^5, 253 z2^2*z3^6*z4^11*z5^5*z6^17 + (-2*y1*y2*y3 + 2*y1*y3^2 - 1/2*y1*y3)/(y2 + y3 254 - 1/4)*z2^2*z4^5*z5^11*z6^23 + 1/6*y2/(y1*y2 + y1*y3 - 255 1/4*y1)*z1*z2^3*z3^13*z4^6 - 1/12*y2/(y2 + y3 - 256 1/4)*z1*z2^3*z3^7*z5^6*z6^6 + (-1/6*y3 + 1/24)/(y1*y2 + y1*y3 - 253 z2^2*z3^6*z4^11*z5^5*z6^17 + (-2*y1*y2*y3 + 2*y1*y3^2 - 1/2*y1*y3)/(y2 + y3 254 - 1/4)*z2^2*z4^5*z5^11*z6^23 + 1/6*y2/(y1*y2 + y1*y3 - 255 1/4*y1)*z1*z2^3*z3^13*z4^6 - 1/12*y2/(y2 + y3 - 256 1/4)*z1*z2^3*z3^7*z5^6*z6^6 + (-1/6*y3 + 1/24)/(y1*y2 + y1*y3 - 257 257 1/4*y1)*z1*z2^3*z3*z4^6*z6^12, 258 258 z2^2*z3^5*z4^12*z5^5*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 259 - 1/4)*z2^2*z3^5*z5^17*z6^17 - 1/24/(y1*y2 - y1*y3 - 260 1/4*y1)*z1*z2^3*z3^12*z4^7 + 1/24/(y1*y2 - y1*y3 - 261 1/4*y1)*z1*z2^3*z4^7*z6^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 - 259 - 1/4)*z2^2*z3^5*z5^17*z6^17 - 1/24/(y1*y2 - y1*y3 - 260 1/4*y1)*z1*z2^3*z3^12*z4^7 + 1/24/(y1*y2 - y1*y3 - 261 1/4*y1)*z1*z2^3*z4^7*z6^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 - 262 262 1/4)*z2^4*z3^5*z5^5*z6^5, 263 z2^2*z4^17*z5^5*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - 264 1/4)*z2^2*z4^5*z5^17*z6^17 - 1/24/(y1*y2 - y1*y3 - 265 1/4*y1)*z1*z2^3*z3^7*z4^12 + 1/24*y1*y2/(y2 - y3 - 266 1/4)*z1*z2^3*z3^7*z5^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 - 263 z2^2*z4^17*z5^5*z6^17 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 - 264 1/4)*z2^2*z4^5*z5^17*z6^17 - 1/24/(y1*y2 - y1*y3 - 265 1/4*y1)*z1*z2^3*z3^7*z4^12 + 1/24*y1*y2/(y2 - y3 - 266 1/4)*z1*z2^3*z3^7*z5^12 + (-1/6*y2 + 1/6*y3)/(y2 - y3 - 267 267 1/4)*z2^4*z4^5*z5^5*z6^5, 268 z2^2*z3^6*z4^5*z5^11*z6^17 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - 269 1/4*y1)*z2^2*z4^11*z5^5*z6^23 + 1/6*y2/(y1*y2 + y1*y3 - 270 1/4*y1)*z1*z2^3*z3^13*z5^6 - 1/12/(y1^2*y2 + y1^2*y3 - 271 1/4*y1^2)*z1*z2^3*z3^7*z4^6*z6^6 + (-1/6*y2 + 1/24)/(y1*y2 + y1*y3 - 268 z2^2*z3^6*z4^5*z5^11*z6^17 + (2*y2 - 2*y3 - 1/2)/(y1*y2 + y1*y3 - 269 1/4*y1)*z2^2*z4^11*z5^5*z6^23 + 1/6*y2/(y1*y2 + y1*y3 - 270 1/4*y1)*z1*z2^3*z3^13*z5^6 - 1/12/(y1^2*y2 + y1^2*y3 - 271 1/4*y1^2)*z1*z2^3*z3^7*z4^6*z6^6 + (-1/6*y2 + 1/24)/(y1*y2 + y1*y3 - 272 272 1/4*y1)*z1*z2^3*z3*z5^6*z6^12, 273 z2^2*z3^11*z4^5*z5^17*z6^5 + (y2 - y3 + 274 1/4)/(y1*y2)*z2^2*z3^5*z4^11*z5^11*z6^11 + 275 1/12/(y1^3*y2)*z1*z2^3*z3^6*z4^12 - 1/12/y1*z1*z2^3*z3^6*z5^12 - 273 z2^2*z3^11*z4^5*z5^17*z6^5 + (y2 - y3 + 274 1/4)/(y1*y2)*z2^2*z3^5*z4^11*z5^11*z6^11 + 275 1/12/(y1^3*y2)*z1*z2^3*z3^6*z4^12 - 1/12/y1*z1*z2^3*z3^6*z5^12 - 276 276 1/24/(y1^2*y2)*z1*z2^3*z4^6*z5^6*z6^6, 277 z2^2*z3^11*z4^11*z5^5*z6^11 - y1*y3/(y2 - y3 - 278 1/4)*z2^2*z3^5*z4^5*z5^11*z6^17 - 1/12*y2/(y2 - y3 - 279 1/4)*z1*z2^3*z3^12*z5^6 + 1/24/(y1*y2 - y1*y3 - 280 1/4*y1)*z1*z2^3*z3^6*z4^6*z6^6 + 1/12*y3/(y2 - y3 - 277 z2^2*z3^11*z4^11*z5^5*z6^11 - y1*y3/(y2 - y3 - 278 1/4)*z2^2*z3^5*z4^5*z5^11*z6^17 - 1/12*y2/(y2 - y3 - 279 1/4)*z1*z2^3*z3^12*z5^6 + 1/24/(y1*y2 - y1*y3 - 280 1/4*y1)*z1*z2^3*z3^6*z4^6*z6^6 + 1/12*y3/(y2 - y3 - 281 281 1/4)*z1*z2^3*z5^6*z6^12, 282 282 z2^2*z3^5*z4^17*z5^5*z6^11 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3)/(y2 - y3 283 - 1/4)*z2^2*z3^5*z4^5*z5^17*z6^11 + (-1/12*y2 + 1/12*y3)/(y2 - y3 - 284 1/4)*z1*z2^3*z3^6*z4^6*z5^6 + 1/24/(y1*y2 - y1*y3 - 285 1/4*y1)*z1*z2^3*z4^12*z6^6 - 1/24*y1*y3/(y2 - y3 - 283 - 1/4)*z2^2*z3^5*z4^5*z5^17*z6^11 + (-1/12*y2 + 1/12*y3)/(y2 - y3 - 284 1/4)*z1*z2^3*z3^6*z4^6*z5^6 + 1/24/(y1*y2 - y1*y3 - 285 1/4*y1)*z1*z2^3*z4^12*z6^6 - 1/24*y1*y3/(y2 - y3 - 286 286 1/4)*z1*z2^3*z5^12*z6^6, 287 z2^2*z3^11*z4^5*z5^11*z6^11 + 1/(y1*y2 - y1*y3 + 288 1/4*y1)*z2^2*z3^5*z4^11*z5^5*z6^17 + 1/12/(y1^2*y2 - y1^2*y3 + 289 1/4*y1^2)*z1*z2^3*z3^12*z4^6 - 1/24/(y1*y2 - y1*y3 + 290 1/4*y1)*z1*z2^3*z3^6*z5^6*z6^6 - 1/12/(y1^2*y2 - y1^2*y3 + 287 z2^2*z3^11*z4^5*z5^11*z6^11 + 1/(y1*y2 - y1*y3 + 288 1/4*y1)*z2^2*z3^5*z4^11*z5^5*z6^17 + 1/12/(y1^2*y2 - y1^2*y3 + 289 1/4*y1^2)*z1*z2^3*z3^12*z4^6 - 1/24/(y1*y2 - y1*y3 + 290 1/4*y1)*z1*z2^3*z3^6*z5^6*z6^6 - 1/12/(y1^2*y2 - y1^2*y3 + 291 291 1/4*y1^2)*z1*z2^3*z4^6*z6^12, 292 z1*z2*z5^24*z6^12 + 1/(y1^3*y2*y3 - y1^3*y3^2)*z2^2*z3^5*z4^17*z5^5*z6^5 - 293 1/(y1*y2 - y1*y3)*z2^2*z3^5*z4^5*z5^17*z6^5 - 1/6/(y1^4*y2*y3 - 292 z1*z2*z5^24*z6^12 + 1/(y1^3*y2*y3 - y1^3*y3^2)*z2^2*z3^5*z4^17*z5^5*z6^5 - 293 1/(y1*y2 - y1*y3)*z2^2*z3^5*z4^5*z5^17*z6^5 - 1/6/(y1^4*y2*y3 - 294 294 y1^4*y3^2)*z1*z2^3*z4^12 + 1/6/(y1^2*y2 - y1^2*y3)*z1*z2^3*z5^12, 295 z1*z2*z5^12*z6^24 + y2/(y1*y2*y3 - y1*y3^2)*z2^2*z3^17*z4^5*z5^5*z6^5 - 296 1/(y1*y2 - y1*y3)*z2^2*z3^5*z4^5*z5^5*z6^17 - 1/6*y2/(y1^2*y2*y3 - 295 z1*z2*z5^12*z6^24 + y2/(y1*y2*y3 - y1*y3^2)*z2^2*z3^17*z4^5*z5^5*z6^5 - 296 1/(y1*y2 - y1*y3)*z2^2*z3^5*z4^5*z5^5*z6^17 - 1/6*y2/(y1^2*y2*y3 - 297 297 y1^2*y3^2)*z1*z2^3*z3^12 + 1/6/(y1^2*y2 - y1^2*y3)*z1*z2^3*z6^12, 298 z2^2*z3^6*z5^18*z6^11 + (-2*y2 + 1/2)/(y1^3*y2*y3)*z2^2*z4^18*z6^17 - 299 2/y1*z2^2*z4^6*z5^12*z6^17 - 1/12/(y1^2*y3)*z1*z2^3*z3^7*z4*z5^7 + 298 z2^2*z3^6*z5^18*z6^11 + (-2*y2 + 1/2)/(y1^3*y2*y3)*z2^2*z4^18*z6^17 - 299 2/y1*z2^2*z4^6*z5^12*z6^17 - 1/12/(y1^2*y3)*z1*z2^3*z3^7*z4*z5^7 + 300 300 1/3/(y1^3*y3)*z2^4*z4^6*z6^5, 301 z1*z2^2*z5^23*z6^11 + (36*y1 - 1/12)/(y1^4*y2*y3 - 302 y1^4*y3^2)*z1^2*z2^3*z3*z4^13 + (-36*y1 + 1/12)/(y1^2*y2 - 301 z1*z2^2*z5^23*z6^11 + (36*y1 - 1/12)/(y1^4*y2*y3 - 302 y1^4*y3^2)*z1^2*z2^3*z3*z4^13 + (-36*y1 + 1/12)/(y1^2*y2 - 303 303 y1^2*y3)*z1^2*z2^3*z3*z4*z5^12, 304 z1*z2^2*z4^11*z6^23 + (-36*y1*y2 + 1/12*y2)/(y2 - y3)*z1^2*z2^3*z3^13*z5 + 304 z1*z2^2*z4^11*z6^23 + (-36*y1*y2 + 1/12*y2)/(y2 - y3)*z1^2*z2^3*z3^13*z5 + 305 305 (36*y1*y2 - 1/12*y2)/(y2 - y3)*z1^2*z2^3*z3*z5*z6^12, 306 z1*z2^2*z5^11*z6^23 + (36*y1*y2 - 1/12*y2)/(y1^2*y2*y3 - 307 y1^2*y3^2)*z1^2*z2^3*z3^13*z4 + (-36*y1 + 1/12)/(y1^2*y2 - 306 z1*z2^2*z5^11*z6^23 + (36*y1*y2 - 1/12*y2)/(y1^2*y2*y3 - 307 y1^2*y3^2)*z1^2*z2^3*z3^13*z4 + (-36*y1 + 1/12)/(y1^2*y2 - 308 308 y1^2*y3)*z1^2*z2^3*z3*z4*z6^12, 309 z2^2*z3^11*z5^23 - 1/2/(y1^3*y2^2 - y1^3*y2*y3)*z2^2*z3^5*z4^18*z5^5*z6^6 + 310 1/2/(y1*y2 - y1*y3)*z2^2*z3^5*z4^6*z5^17*z6^6 + 1/12/(y1^4*y2^2 - 311 y1^4*y2*y3)*z1*z2^3*z4^13*z6 - 1/12/(y1^2*y2 - 309 z2^2*z3^11*z5^23 - 1/2/(y1^3*y2^2 - y1^3*y2*y3)*z2^2*z3^5*z4^18*z5^5*z6^6 + 310 1/2/(y1*y2 - y1*y3)*z2^2*z3^5*z4^6*z5^17*z6^6 + 1/12/(y1^4*y2^2 - 311 y1^4*y2*y3)*z1*z2^3*z4^13*z6 - 1/12/(y1^2*y2 - 312 312 y1^2*y3)*z1*z2^3*z4*z5^12*z6, 313 z2^2*z3^11*z5^18*z6^5 - 2/(y1^3*y2)*z2^2*z3^5*z4^18*z6^11 + (-2*y3 + 314 1/2)/(y1*y2)*z2^2*z3^5*z4^6*z5^12*z6^11 + 315 1/6/(y1^3*y2)*z1*z2^3*z3^6*z4^7*z5 - 313 z2^2*z3^11*z5^18*z6^5 - 2/(y1^3*y2)*z2^2*z3^5*z4^18*z6^11 + (-2*y3 + 314 1/2)/(y1*y2)*z2^2*z3^5*z4^6*z5^12*z6^11 + 315 1/6/(y1^3*y2)*z1*z2^3*z3^6*z4^7*z5 - 316 316 1/12/(y1^2*y2)*z1*z2^3*z4*z5^7*z6^6, 317 z2^2*z3^6*z4^5*z5^18*z6^5 + 2/(y1^3*y2)*z2^2*z4^23*z6^11 + 317 z2^2*z3^6*z4^5*z5^18*z6^5 + 2/(y1^3*y2)*z2^2*z4^23*z6^11 + 318 318 2/y1*z2^2*z4^11*z5^12*z6^11 - 1/6/y1*z1*z2^3*z3*z5^13, 319 z1*z2^2*z3^11*z4^11*z6^11 + (36*y1*y2 - 1/12*y2)/(y2 - 320 y3)*z1^2*z2^3*z3^12*z5 + (-36*y1*y3 + 1/12*y3)/(y2 - 319 z1*z2^2*z3^11*z4^11*z6^11 + (36*y1*y2 - 1/12*y2)/(y2 - 320 y3)*z1^2*z2^3*z3^12*z5 + (-36*y1*y3 + 1/12*y3)/(y2 - 321 321 y3)*z1^2*z2^3*z5*z6^12, 322 z2^2*z3^6*z4^17*z6^11 + (y1^2*y3 - 1/4*y1^2)*z2^2*z3^6*z4^5*z5^12*z6^11 - 323 1/2*y1*z2^2*z4^11*z5^6*z6^17 - 1/12*z1*z2^3*z3^7*z4^6*z5 + 322 z2^2*z3^6*z4^17*z6^11 + (y1^2*y3 - 1/4*y1^2)*z2^2*z3^6*z4^5*z5^12*z6^11 - 323 1/2*y1*z2^2*z4^11*z5^6*z6^17 - 1/12*z1*z2^3*z3^7*z4^6*z5 + 324 324 1/24*y1*z1*z2^3*z3*z5^7*z6^6, 325 z2^2*z3^6*z4^12*z5^5*z6^11 + y1^2*y2*y3/(y2 - 1/4)*z2^2*z3^6*z5^17*z6^11 - 326 1/2*y1*y3/(y2 - 1/4)*z2^2*z4^6*z5^11*z6^17 - 1/12*y2/(y2 - 325 z2^2*z3^6*z4^12*z5^5*z6^11 + y1^2*y2*y3/(y2 - 1/4)*z2^2*z3^6*z5^17*z6^11 - 326 1/2*y1*y3/(y2 - 1/4)*z2^2*z4^6*z5^11*z6^17 - 1/12*y2/(y2 - 327 327 1/4)*z1*z2^3*z3^7*z4*z5^6 + 1/24/(y1*y2 - 1/4*y1)*z1*z2^3*z3*z4^7*z6^6, 328 z1*z2^2*z3^11*z5^11*z6^11 + (-36*y1 + 1/12)/(y1^2*y2 - 329 y1^2*y3)*z1^2*z2^3*z3^12*z4 + (36*y1 - 1/12)/(y1^2*y2 - 328 z1*z2^2*z3^11*z5^11*z6^11 + (-36*y1 + 1/12)/(y1^2*y2 - 329 y1^2*y3)*z1^2*z2^3*z3^12*z4 + (36*y1 - 1/12)/(y1^2*y2 - 330 330 y1^2*y3)*z1^2*z2^3*z4*z6^12, 331 z1*z2^2*z4^11*z5^11*z6^11 + (-36*y1 + 1/12)/(y1^2*y2 - 332 y1^2*y3)*z1^2*z2^3*z3*z4^12 + (36*y1*y2 - 1/12*y2)/(y2 - 331 z1*z2^2*z4^11*z5^11*z6^11 + (-36*y1 + 1/12)/(y1^2*y2 - 332 y1^2*y3)*z1^2*z2^3*z3*z4^12 + (36*y1*y2 - 1/12*y2)/(y2 - 333 333 y3)*z1^2*z2^3*z3*z5^12, 334 z3^6*z4^18*z6^12 - 2*y1*y3*z4^12*z5^6*z6^18 + (-2*y1^3*y3^2 + 335 1/2*y1^3*y3)*z5^18*z6^18 - 1/6*z2^2*z3^6*z4^6 + 334 z3^6*z4^18*z6^12 - 2*y1*y3*z4^12*z5^6*z6^18 + (-2*y1^3*y3^2 + 335 1/2*y1^3*y3)*z5^18*z6^18 - 1/6*z2^2*z3^6*z4^6 + 336 336 1/3*y1*y3*z2^2*z5^6*z6^6, 337 337 z4^24*z6^12 - y1^4*y2*y3*z5^24*z6^12, 338 z3^6*z5^18*z6^12 + (-2*y2 + 1/2)/(y1^3*y2*y3)*z4^18*z6^18 - 339 2/y1*z4^6*z5^12*z6^18 - 1/6/(y1^2*y3)*z2^2*z3^6*z5^6 + 338 z3^6*z5^18*z6^12 + (-2*y2 + 1/2)/(y1^3*y2*y3)*z4^18*z6^18 - 339 2/y1*z4^6*z5^12*z6^18 - 1/6/(y1^2*y3)*z2^2*z3^6*z5^6 + 340 340 1/3/(y1^3*y3)*z2^2*z4^6*z6^6, 341 z2^2*z3^11*z4^11*z5^11 + 1/2/(y1*y2 - y1*y3)*z2^2*z3^5*z4^17*z5^5*z6^6 - 342 1/2*y1*y3/(y2 - y3)*z2^2*z3^5*z4^5*z5^17*z6^6 - 1/12/(y1^2*y2 - 341 z2^2*z3^11*z4^11*z5^11 + 1/2/(y1*y2 - y1*y3)*z2^2*z3^5*z4^17*z5^5*z6^6 - 342 1/2*y1*y3/(y2 - y3)*z2^2*z3^5*z4^5*z5^17*z6^6 - 1/12/(y1^2*y2 - 343 343 y1^2*y3)*z1*z2^3*z4^12*z6 + 1/12*y3/(y2 - y3)*z1*z2^3*z5^12*z6, 344 z2^3*z3^10*z5^22 + (-18*y1 + 1/24)/(y1^4*y2^2 - 345 y1^4*y2*y3)*z1^2*z2^3*z4^14*z6^2 + (18*y1 - 1/24)/(y1^2*y2 - 344 z2^3*z3^10*z5^22 + (-18*y1 + 1/24)/(y1^4*y2^2 - 345 y1^4*y2*y3)*z1^2*z2^3*z4^14*z6^2 + (18*y1 - 1/24)/(y1^2*y2 - 346 346 y1^2*y3)*z1^2*z2^3*z4^2*z5^12*z6^2, 347 347 z1*z2^2*z3^6*z5^25*z6 - 2/(y1^4*y2*y3)*z2^3*z3^5*z4^23, 348 z2^2*z3^17*z4^6*z5^5*z6^5 + (-2*y1*y2 + 2*y1*y3)*z2^2*z3^11*z5^11*z6^11 - 349 z2^2*z3^5*z4^6*z5^5*z6^17 - 1/6/y1*z1*z2^3*z3^12*z4 + 348 z2^2*z3^17*z4^6*z5^5*z6^5 + (-2*y1*y2 + 2*y1*y3)*z2^2*z3^11*z5^11*z6^11 - 349 z2^2*z3^5*z4^6*z5^5*z6^17 - 1/6/y1*z1*z2^3*z3^12*z4 + 350 350 1/6/y1*z1*z2^3*z4*z6^12, 351 z2^2*z3^6*z4^17*z5^5*z6^5 - y1^2*y2*z2^2*z3^6*z4^5*z5^17*z6^5 + (-2*y1*y2 + 352 2*y1*y3)*z2^2*z4^11*z5^11*z6^11 - 1/6/y1*z1*z2^3*z3*z4^12 + 351 z2^2*z3^6*z4^17*z5^5*z6^5 - y1^2*y2*z2^2*z3^6*z4^5*z5^17*z6^5 + (-2*y1*y2 + 352 2*y1*y3)*z2^2*z4^11*z5^11*z6^11 - 1/6/y1*z1*z2^3*z3*z4^12 + 353 353 1/6*y1*y2*z1*z2^3*z3*z5^12, 354 z2^2*z3^17*z4^5*z5^6*z6^5 + (2*y2 - 2*y3)/(y1*y2)*z2^2*z3^11*z4^11*z6^11 - 355 y3/y2*z2^2*z3^5*z4^5*z5^6*z6^17 - 1/6/y1*z1*z2^3*z3^12*z5 + 354 z2^2*z3^17*z4^5*z5^6*z6^5 + (2*y2 - 2*y3)/(y1*y2)*z2^2*z3^11*z4^11*z6^11 - 355 y3/y2*z2^2*z3^5*z4^5*z5^6*z6^17 - 1/6/y1*z1*z2^3*z3^12*z5 + 356 356 1/6*y3/(y1*y2)*z1*z2^3*z5*z6^12, 357 357 z1*z2^2*z3*z5^25*z6^6 - 2/(y1^4*y2*y3)*z2^3*z4^23*z6^5, 358 z2^3*z5^22*z6^10 + (18*y1 - 1/24)/(y1^4*y2*y3 - 359 y1^4*y3^2)*z1^2*z2^3*z3^2*z4^14 + (-18*y1 + 1/24)/(y1^2*y2 - 358 z2^3*z5^22*z6^10 + (18*y1 - 1/24)/(y1^4*y2*y3 - 359 y1^4*y3^2)*z1^2*z2^3*z3^2*z4^14 + (-18*y1 + 1/24)/(y1^2*y2 - 360 360 y1^2*y3)*z1^2*z2^3*z3^2*z4^2*z5^12, 361 z2^3*z4^10*z6^22 + (-18*y1*y2 + 1/24*y2)/(y2 - y3)*z1^2*z2^3*z3^14*z5^2 + 361 z2^3*z4^10*z6^22 + (-18*y1*y2 + 1/24*y2)/(y2 - y3)*z1^2*z2^3*z3^14*z5^2 + 362 362 (18*y1*y2 - 1/24*y2)/(y2 - y3)*z1^2*z2^3*z3^2*z5^2*z6^12, 363 z2^3*z5^10*z6^22 + (18*y1*y2 - 1/24*y2)/(y1^2*y2*y3 - 364 y1^2*y3^2)*z1^2*z2^3*z3^14*z4^2 + (-18*y1 + 1/24)/(y1^2*y2 - 363 z2^3*z5^10*z6^22 + (18*y1*y2 - 1/24*y2)/(y1^2*y2*y3 - 364 y1^2*y3^2)*z1^2*z2^3*z3^14*z4^2 + (-18*y1 + 1/24)/(y1^2*y2 - 365 365 y1^2*y3)*z1^2*z2^3*z3^2*z4^2*z6^12, 366 366 z1*z2^2*z4^6*z5*z6^25 - 2*y2/y3*z2^3*z3^23*z4^5, 367 367 z1*z2^2*z4*z5^6*z6^25 - 2*y2/y3*z2^3*z3^23*z5^5, 368 z1^2*z2^2*z3^9*z5^21 + (-6*y1 + 1/72)/(y1^4*y2^2 - 369 y1^4*y2*y3)*z1^2*z2^3*z4^15*z6^3 + (6*y1 - 1/72)/(y1^2*y2 - 368 z1^2*z2^2*z3^9*z5^21 + (-6*y1 + 1/72)/(y1^4*y2^2 - 369 y1^4*y2*y3)*z1^2*z2^3*z4^15*z6^3 + (6*y1 - 1/72)/(y1^2*y2 - 370 370 y1^2*y3)*z1^2*z2^3*z4^3*z5^12*z6^3, 371 371 z1^2*z2^2*z3^4*z5^25*z6 - 2/(y1^4*y2*y3)*z1*z2^3*z3^3*z4^23, … … 373 373 z1^2*z2^2*z3*z5^25*z6^4 - 2/(y1^4*y2*y3)*z1*z2^3*z4^23*z6^3, 374 374 z2^3*z3*z5^25*z6^5 - 3/(y1^4*y2*y3)*z1^2*z2^2*z4^23*z6^4, 375 z1^2*z2^2*z5^21*z6^9 + (6*y1 - 1/72)/(y1^4*y2*y3 - 376 y1^4*y3^2)*z1^2*z2^3*z3^3*z4^15 + (-6*y1 + 1/72)/(y1^2*y2 - 375 z1^2*z2^2*z5^21*z6^9 + (6*y1 - 1/72)/(y1^4*y2*y3 - 376 y1^4*y3^2)*z1^2*z2^3*z3^3*z4^15 + (-6*y1 + 1/72)/(y1^2*y2 - 377 377 y1^2*y3)*z1^2*z2^3*z3^3*z4^3*z5^12, 378 378 z1^2*z2^2*z4^9*z6^21 + (-6*y1*y2 + 1/72*y2)/(y2 - y3)*z1^2*z2^3*z3^15*z5^3 + 379 379 (6*y1*y2 - 1/72*y2)/(y2 - y3)*z1^2*z2^3*z3^3*z5^3*z6^12, 380 z1^2*z2^2*z5^9*z6^21 + (6*y1*y2 - 1/72*y2)/(y1^2*y2*y3 - 381 y1^2*y3^2)*z1^2*z2^3*z3^15*z4^3 + (-6*y1 + 1/72)/(y1^2*y2 - 380 z1^2*z2^2*z5^9*z6^21 + (6*y1*y2 - 1/72*y2)/(y1^2*y2*y3 - 381 y1^2*y3^2)*z1^2*z2^3*z3^15*z4^3 + (-6*y1 + 1/72)/(y1^2*y2 - 382 382 y1^2*y3)*z1^2*z2^3*z3^3*z4^3*z6^12, 383 383 z1^2*z2^2*z4^4*z5*z6^25 - 2*y2/y3*z1*z2^3*z3^23*z4^3, … … 385 385 z1^2*z2^2*z4*z5^4*z6^25 - 2*y2/y3*z1*z2^3*z3^23*z5^3, 386 386 z2^3*z4*z5^5*z6^25 - 3*y2/y3*z1^2*z2^2*z3^23*z5^4, 387 z2^3*z3^10*z4^10*z5^10 + (18*y1 - 1/24)/(y1^2*y2 - 388 y1^2*y3)*z1^2*z2^3*z4^12*z6^2 + (-18*y1*y3 + 1/24*y3)/(y2 - 387 z2^3*z3^10*z4^10*z5^10 + (18*y1 - 1/24)/(y1^2*y2 - 388 y1^2*y3)*z1^2*z2^3*z4^12*z6^2 + (-18*y1*y3 + 1/24*y3)/(y2 - 389 389 y3)*z1^2*z2^3*z5^12*z6^2, 390 390 z2^3*z3^10*z4^10*z6^10 + (18*y1*y2 - 1/24*y2)/(y2 - y3)*z1^2*z2^3*z3^12*z5^2 391 391 + (-18*y1*y3 + 1/24*y3)/(y2 - y3)*z1^2*z2^3*z5^2*z6^12, 392 z2^3*z3^10*z5^10*z6^10 + (-18*y1 + 1/24)/(y1^2*y2 - 393 y1^2*y3)*z1^2*z2^3*z3^12*z4^2 + (18*y1 - 1/24)/(y1^2*y2 - 392 z2^3*z3^10*z5^10*z6^10 + (-18*y1 + 1/24)/(y1^2*y2 - 393 y1^2*y3)*z1^2*z2^3*z3^12*z4^2 + (18*y1 - 1/24)/(y1^2*y2 - 394 394 y1^2*y3)*z1^2*z2^3*z4^2*z6^12, 395 z2^3*z4^10*z5^10*z6^10 + (-18*y1 + 1/24)/(y1^2*y2 - 396 y1^2*y3)*z1^2*z2^3*z3^2*z4^12 + (18*y1*y2 - 1/24*y2)/(y2 - 395 z2^3*z4^10*z5^10*z6^10 + (-18*y1 + 1/24)/(y1^2*y2 - 396 y1^2*y3)*z1^2*z2^3*z3^2*z4^12 + (18*y1*y2 - 1/24*y2)/(y2 - 397 397 y3)*z1^2*z2^3*z3^2*z5^12, 398 398 z1^2*z2^2*z3^24*z4^4 - y3/y2*z1^2*z2^2*z4^4*z6^24, … … 405 405 z2^3*z3^24*z5^5 - y3/y2*z2^3*z5^5*z6^24, 406 406 z2^2*z3^24*z5^6 - y3/y2*z2^2*z5^6*z6^24, 407 z1*z2^3*z3^8*z5^20 + (-3*y1 + 1/144)/(y1^4*y2^2 - 408 y1^4*y2*y3)*z1^2*z2^3*z4^16*z6^4 + (3*y1 - 1/144)/(y1^2*y2 - 407 z1*z2^3*z3^8*z5^20 + (-3*y1 + 1/144)/(y1^4*y2^2 - 408 y1^4*y2*y3)*z1^2*z2^3*z4^16*z6^4 + (3*y1 - 1/144)/(y1^2*y2 - 409 409 y1^2*y3)*z1^2*z2^3*z4^4*z5^12*z6^4, 410 410 z1^2*z2^2*z4^24*z6^4 - y1^4*y2*y3*z1^2*z2^2*z5^24*z6^4, 411 411 z2^3*z4^24*z6^5 - y1^4*y2*y3*z2^3*z5^24*z6^5, 412 412 z2^2*z4^24*z6^6 - y1^4*y2*y3*z2^2*z5^24*z6^6, 413 z1*z2^3*z5^20*z6^8 + (3*y1 - 1/144)/(y1^4*y2*y3 - 414 y1^4*y3^2)*z1^2*z2^3*z3^4*z4^16 + (-3*y1 + 1/144)/(y1^2*y2 - 413 z1*z2^3*z5^20*z6^8 + (3*y1 - 1/144)/(y1^4*y2*y3 - 414 y1^4*y3^2)*z1^2*z2^3*z3^4*z4^16 + (-3*y1 + 1/144)/(y1^2*y2 - 415 415 y1^2*y3)*z1^2*z2^3*z3^4*z4^4*z5^12, 416 z1*z2^3*z4^8*z6^20 + (-3*y1*y2 + 1/144*y2)/(y2 - y3)*z1^2*z2^3*z3^16*z5^4 + 416 z1*z2^3*z4^8*z6^20 + (-3*y1*y2 + 1/144*y2)/(y2 - y3)*z1^2*z2^3*z3^16*z5^4 + 417 417 (3*y1*y2 - 1/144*y2)/(y2 - y3)*z1^2*z2^3*z3^4*z5^4*z6^12, 418 z1*z2^3*z5^8*z6^20 + (3*y1*y2 - 1/144*y2)/(y1^2*y2*y3 - 419 y1^2*y3^2)*z1^2*z2^3*z3^16*z4^4 + (-3*y1 + 1/144)/(y1^2*y2 - 418 z1*z2^3*z5^8*z6^20 + (3*y1*y2 - 1/144*y2)/(y1^2*y2*y3 - 419 y1^2*y3^2)*z1^2*z2^3*z3^16*z4^4 + (-3*y1 + 1/144)/(y1^2*y2 - 420 420 y1^2*y3)*z1^2*z2^3*z3^4*z4^4*z6^12, 421 z1^2*z2^2*z3^9*z4^9*z5^9 + (6*y1 - 1/72)/(y1^2*y2 - 422 y1^2*y3)*z1^2*z2^3*z4^12*z6^3 + (-6*y1*y3 + 1/72*y3)/(y2 - 421 z1^2*z2^2*z3^9*z4^9*z5^9 + (6*y1 - 1/72)/(y1^2*y2 - 422 y1^2*y3)*z1^2*z2^3*z4^12*z6^3 + (-6*y1*y3 + 1/72*y3)/(y2 - 423 423 y3)*z1^2*z2^3*z5^12*z6^3, 424 424 z1*z2^3*z3*z5^25*z6 - 2/(y1^4*y2*y3)*z2^4*z4^23, 425 425 z2^4*z3*z5^25*z6 - 3/(y1^4*y2*y3)*z1^2*z2^3*z4^23, 426 z1^2*z2^2*z3^9*z4^9*z6^9 + (6*y1*y2 - 1/72*y2)/(y2 - 427 y3)*z1^2*z2^3*z3^12*z5^3 + (-6*y1*y3 + 1/72*y3)/(y2 - 426 z1^2*z2^2*z3^9*z4^9*z6^9 + (6*y1*y2 - 1/72*y2)/(y2 - 427 y3)*z1^2*z2^3*z3^12*z5^3 + (-6*y1*y3 + 1/72*y3)/(y2 - 428 428 y3)*z1^2*z2^3*z5^3*z6^12, 429 z1^2*z2^2*z3^9*z5^9*z6^9 + (-6*y1 + 1/72)/(y1^2*y2 - 430 y1^2*y3)*z1^2*z2^3*z3^12*z4^3 + (6*y1 - 1/72)/(y1^2*y2 - 429 z1^2*z2^2*z3^9*z5^9*z6^9 + (-6*y1 + 1/72)/(y1^2*y2 - 430 y1^2*y3)*z1^2*z2^3*z3^12*z4^3 + (6*y1 - 1/72)/(y1^2*y2 - 431 431 y1^2*y3)*z1^2*z2^3*z4^3*z6^12, 432 z1^2*z2^2*z4^9*z5^9*z6^9 + (-6*y1 + 1/72)/(y1^2*y2 - 433 y1^2*y3)*z1^2*z2^3*z3^3*z4^12 + (6*y1*y2 - 1/72*y2)/(y2 - 432 z1^2*z2^2*z4^9*z5^9*z6^9 + (-6*y1 + 1/72)/(y1^2*y2 - 433 y1^2*y3)*z1^2*z2^3*z3^3*z4^12 + (6*y1*y2 - 1/72*y2)/(y2 - 434 434 y3)*z1^2*z2^3*z3^3*z5^12, 435 435 z1*z2^3*z4*z5*z6^25 - 2*y2/y3*z2^4*z3^23, 436 436 z2^4*z4*z5*z6^25 - 3*y2/y3*z1^2*z2^3*z3^23, 437 z2^4*z3^7*z5^19 + (-3/2*y1 + 1/288)/(y1^4*y2^2 - 438 y1^4*y2*y3)*z1^2*z2^3*z4^17*z6^5 + (3/2*y1 - 1/288)/(y1^2*y2 - 437 z2^4*z3^7*z5^19 + (-3/2*y1 + 1/288)/(y1^4*y2^2 - 438 y1^4*y2*y3)*z1^2*z2^3*z4^17*z6^5 + (3/2*y1 - 1/288)/(y1^2*y2 - 439 439 y1^2*y3)*z1^2*z2^3*z4^5*z5^12*z6^5, 440 z2^4*z5^19*z6^7 + (3/2*y1 - 1/288)/(y1^4*y2*y3 - 441 y1^4*y3^2)*z1^2*z2^3*z3^5*z4^17 + (-3/2*y1 + 1/288)/(y1^2*y2 - 440 z2^4*z5^19*z6^7 + (3/2*y1 - 1/288)/(y1^4*y2*y3 - 441 y1^4*y3^2)*z1^2*z2^3*z3^5*z4^17 + (-3/2*y1 + 1/288)/(y1^2*y2 - 442 442 y1^2*y3)*z1^2*z2^3*z3^5*z4^5*z5^12, 443 z2^4*z4^7*z6^19 + (-3/2*y1*y2 + 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^17*z5^5 + 443 z2^4*z4^7*z6^19 + (-3/2*y1*y2 + 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^17*z5^5 + 444 444 (3/2*y1*y2 - 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^5*z5^5*z6^12, 445 z2^4*z5^7*z6^19 + (3/2*y1*y2 - 1/288*y2)/(y1^2*y2*y3 - 446 y1^2*y3^2)*z1^2*z2^3*z3^17*z4^5 + (-3/2*y1 + 1/288)/(y1^2*y2 - 445 z2^4*z5^7*z6^19 + (3/2*y1*y2 - 1/288*y2)/(y1^2*y2*y3 - 446 y1^2*y3^2)*z1^2*z2^3*z3^17*z4^5 + (-3/2*y1 + 1/288)/(y1^2*y2 - 447 447 y1^2*y3)*z1^2*z2^3*z3^5*z4^5*z6^12, 448 448 z1^2*z2^3*z3^24 - y3/y2*z1^2*z2^3*z6^24, … … 460 460 z2^4*z3^24 - y3/y2*z2^4*z6^24, 461 461 z2^4*z4^24 - y1^4*y2*y3*z2^4*z5^24, 462 z1*z2^3*z3^8*z4^8*z5^8 + (3*y1 - 1/144)/(y1^2*y2 - 463 y1^2*y3)*z1^2*z2^3*z4^12*z6^4 + (-3*y1*y3 + 1/144*y3)/(y2 - 462 z1*z2^3*z3^8*z4^8*z5^8 + (3*y1 - 1/144)/(y1^2*y2 - 463 y1^2*y3)*z1^2*z2^3*z4^12*z6^4 + (-3*y1*y3 + 1/144*y3)/(y2 - 464 464 y3)*z1^2*z2^3*z5^12*z6^4, 465 z1*z2^2*z3^11*z5^13*z6 + 2/(y1^2*y2)*z2^3*z3^10*z4^11 + (36*y1 - 465 z1*z2^2*z3^11*z5^13*z6 + 2/(y1^2*y2)*z2^3*z3^10*z4^11 + (36*y1 - 466 466 1/12)/(y1^2*y2)*z1^2*z2^3*z4*z5^2*z6^2, 467 467 z1*z2^3*z3^8*z4^8*z6^8 + (3*y1*y2 - 1/144*y2)/(y2 - y3)*z1^2*z2^3*z3^12*z5^4 468 468 + (-3*y1*y3 + 1/144*y3)/(y2 - y3)*z1^2*z2^3*z5^4*z6^12, 469 z1*z2^3*z3^8*z5^8*z6^8 + (-3*y1 + 1/144)/(y1^2*y2 - 470 y1^2*y3)*z1^2*z2^3*z3^12*z4^4 + (3*y1 - 1/144)/(y1^2*y2 - 469 z1*z2^3*z3^8*z5^8*z6^8 + (-3*y1 + 1/144)/(y1^2*y2 - 470 y1^2*y3)*z1^2*z2^3*z3^12*z4^4 + (3*y1 - 1/144)/(y1^2*y2 - 471 471 y1^2*y3)*z1^2*z2^3*z4^4*z6^12, 472 z1*z2^3*z4^8*z5^8*z6^8 + (-3*y1 + 1/144)/(y1^2*y2 - 473 y1^2*y3)*z1^2*z2^3*z3^4*z4^12 + (3*y1*y2 - 1/144*y2)/(y2 - 472 z1*z2^3*z4^8*z5^8*z6^8 + (-3*y1 + 1/144)/(y1^2*y2 - 473 y1^2*y3)*z1^2*z2^3*z3^4*z4^12 + (3*y1*y2 - 1/144*y2)/(y2 - 474 474 y3)*z1^2*z2^3*z3^4*z5^12, 475 z1*z2^2*z3*z5^13*z6^11 + 2/(y1^2*y3)*z2^3*z4^11*z6^10 + (36*y1 - 475 z1*z2^2*z3*z5^13*z6^11 + 2/(y1^2*y3)*z2^3*z4^11*z6^10 + (36*y1 - 476 476 1/12)/(y1^2*y3)*z1^2*z2^3*z3^2*z4*z5^2, 477 z1*z2*z3*z5^13*z6^12 + 1/(y1*y3)*z2^2*z3^6*z4^5*z5^6*z6^5 + 477 z1*z2*z3*z5^13*z6^12 + 1/(y1*y3)*z2^2*z3^6*z4^5*z5^6*z6^5 + 478 478 2/(y1^2*y3)*z2^2*z4^11*z6^11 - 1/6/(y1^2*y3)*z1*z2^3*z3*z5, 479 z1*z2^2*z4^11*z5*z6^13 + 2*z2^3*z3^11*z4^10 + (36*y1 - 479 z1*z2^2*z4^11*z5*z6^13 + 2*z2^3*z3^11*z4^10 + (36*y1 - 480 480 1/12)*z1^2*z2^3*z3*z5^2*z6^2, 481 z1*z2^2*z4*z5^11*z6^13 + 2*y2/y3*z2^3*z3^11*z5^10 + (36*y1 - 481 z1*z2^2*z4*z5^11*z6^13 + 2*y2/y3*z2^3*z3^11*z5^10 + (36*y1 - 482 482 1/12)/(y1^2*y3)*z1^2*z2^3*z3*z4^2*z6^2, 483 z1*z2*z4*z5^12*z6^13 + 2*y2/y3*z2^2*z3^11*z5^11 + 483 z1*z2*z4*z5^12*z6^13 + 2*y2/y3*z2^2*z3^11*z5^11 + 484 484 1/(y1*y3)*z2^2*z3^5*z4^6*z5^5*z6^6 - 1/6/(y1^2*y3)*z1*z2^3*z4*z6, 485 485 z1*z2*z5^13*z6^13 - 2/(y1^2*y3)*z2^2*z3^11*z4^11, 486 486 z1*z2^4*z3^5*z5^17, 487 z1^2*z2^2*z3^9*z5^13*z6 + 2/(y1^2*y2)*z1*z2^3*z3^8*z4^11 + (6*y1 - 487 z1^2*z2^2*z3^9*z5^13*z6 + 2/(y1^2*y2)*z1*z2^3*z3^8*z4^11 + (6*y1 - 488 488 1/72)/(y1^2*y2)*z1^2*z2^3*z4^3*z5^4*z6^4, 489 z2^3*z3^10*z5^13*z6 + 3/(y1^2*y2)*z1^2*z2^2*z3^9*z4^11 + (18*y1 - 489 z2^3*z3^10*z5^13*z6 + 3/(y1^2*y2)*z1^2*z2^2*z3^9*z4^11 + (18*y1 - 490 490 1/24)/(y1^2*y2)*z1^2*z2^3*z4^2*z5^3*z6^3, 491 491 z1*z2^4*z5^17*z6^5, 492 z1^2*z2^2*z3*z5^13*z6^9 + 2/(y1^2*y3)*z1*z2^3*z4^11*z6^8 + (6*y1 - 492 z1^2*z2^2*z3*z5^13*z6^9 + 2/(y1^2*y3)*z1*z2^3*z4^11*z6^8 + (6*y1 - 493 493 1/72)/(y1^2*y3)*z1^2*z2^3*z3^4*z4^3*z5^4, 494 z2^3*z3*z5^13*z6^10 + 3/(y1^2*y3)*z1^2*z2^2*z4^11*z6^9 + (18*y1 - 494 z2^3*z3*z5^13*z6^10 + 3/(y1^2*y3)*z1^2*z2^2*z4^11*z6^9 + (18*y1 - 495 495 1/24)/(y1^2*y3)*z1^2*z2^3*z3^3*z4^2*z5^3, 496 z1^2*z2^2*z4^9*z5*z6^13 + 2*z1*z2^3*z3^11*z4^8 + (6*y1 - 496 z1^2*z2^2*z4^9*z5*z6^13 + 2*z1*z2^3*z3^11*z4^8 + (6*y1 - 497 497 1/72)*z1^2*z2^3*z3^3*z5^4*z6^4, 498 z2^3*z4^10*z5*z6^13 + 3*z1^2*z2^2*z3^11*z4^9 + (18*y1 - 498 z2^3*z4^10*z5*z6^13 + 3*z1^2*z2^2*z3^11*z4^9 + (18*y1 - 499 499 1/24)*z1^2*z2^3*z3^2*z5^3*z6^3, 500 z1^2*z2^2*z4*z5^9*z6^13 + 2*y2/y3*z1*z2^3*z3^11*z5^8 + (6*y1 - 500 z1^2*z2^2*z4*z5^9*z6^13 + 2*y2/y3*z1*z2^3*z3^11*z5^8 + (6*y1 - 501 501 1/72)/(y1^2*y3)*z1^2*z2^3*z3^3*z4^4*z6^4, 502 z2^3*z4*z5^10*z6^13 + 3*y2/y3*z1^2*z2^2*z3^11*z5^9 + (18*y1 - 502 z2^3*z4*z5^10*z6^13 + 3*y2/y3*z1^2*z2^2*z3^11*z5^9 + (18*y1 - 503 503 1/24)/(y1^2*y3)*z1^2*z2^3*z3^2*z4^3*z6^3, 504 504 z1*z2^4*z4^5*z6^17, … … 507 507 z1*z2^4*z3^5*z4^11*z5^5, 508 508 z1*z2^4*z3^5*z4^5*z5^11, 509 z1*z2^3*z3^8*z5^13*z6 + 2/(y1^2*y2)*z2^4*z3^7*z4^11 + (3*y1 - 509 z1*z2^3*z3^8*z5^13*z6 + 2/(y1^2*y2)*z2^4*z3^7*z4^11 + (3*y1 - 510 510 1/144)/(y1^2*y2)*z1^2*z2^3*z4^4*z5^5*z6^5, 511 511 z1*z2^4*z3^11*z4^5*z6^5, … … 515 515 z1*z2^4*z3^5*z5^11*z6^5, 516 516 z1*z2^4*z4^5*z5^11*z6^5, 517 z1*z2^3*z3*z5^13*z6^8 + 2/(y1^2*y3)*z2^4*z4^11*z6^7 + (3*y1 - 517 z1*z2^3*z3*z5^13*z6^8 + 2/(y1^2*y3)*z2^4*z4^11*z6^7 + (3*y1 - 518 518 1/144)/(y1^2*y3)*z1^2*z2^3*z3^5*z4^4*z5^5, 519 519 z1*z2^4*z3^5*z4^5*z6^11, 520 z1*z2^2*z4^12*z6^11 + y1^2*y3*z1*z2^2*z5^12*z6^11 + (36*y1 - 520 z1*z2^2*z4^12*z6^11 + y1^2*y3*z1*z2^2*z5^12*z6^11 + (36*y1 - 521 521 1/12)*z1^2*z2^3*z3*z4*z5, 522 522 z1*z2^4*z3^5*z5^5*z6^11, 523 523 z1*z2^4*z4^5*z5^5*z6^11, 524 z1*z2*z4^12*z6^12 + y1^2*y3*z1*z2*z5^12*z6^12 + y1*z2^2*z3^5*z4^5*z5^5*z6^5 524 z1*z2*z4^12*z6^12 + y1^2*y3*z1*z2*z5^12*z6^12 + y1*z2^2*z3^5*z4^5*z5^5*z6^5 525 525 - 1/6*z1*z2^3, 526 z1*z2^3*z4^8*z5*z6^13 + 2*z2^4*z3^11*z4^7 + (3*y1 - 526 z1*z2^3*z4^8*z5*z6^13 + 2*z2^4*z3^11*z4^7 + (3*y1 - 527 527 1/144)*z1^2*z2^3*z3^4*z5^5*z6^5, 528 z1*z2^3*z4*z5^8*z6^13 + 2*y2/y3*z2^4*z3^11*z5^7 + (3*y1 - 528 z1*z2^3*z4*z5^8*z6^13 + 2*y2/y3*z2^4*z3^11*z5^7 + (3*y1 - 529 529 1/144)/(y1^2*y3)*z1^2*z2^3*z3^4*z4^5*z6^5, 530 z1^2*z2^2*z3^12*z4^9 + z1^2*z2^2*z4^9*z6^12 + (6*y1 - 530 z1^2*z2^2*z3^12*z4^9 + z1^2*z2^2*z4^9*z6^12 + (6*y1 - 531 531 1/72)*z1^2*z2^3*z3^3*z5^3*z6^3, 532 z2^3*z3^12*z4^10 + z2^3*z4^10*z6^12 + (18*y1 - 532 z2^3*z3^12*z4^10 + z2^3*z4^10*z6^12 + (18*y1 - 533 533 1/24)*z1^2*z2^3*z3^2*z5^2*z6^2, 534 z2^2*z3^12*z4^11 + 1/2*y1*z2^2*z3^6*z4^5*z5^6*z6^6 + z2^2*z4^11*z6^12 - 534 z2^2*z3^12*z4^11 + 1/2*y1*z2^2*z3^6*z4^5*z5^6*z6^6 + z2^2*z4^11*z6^12 - 535 535 1/12*z1*z2^3*z3*z5*z6, 536 z1^2*z2^2*z3^9*z4^12 + y1^2*y2*z1^2*z2^2*z3^9*z5^12 + (6*y1 - 536 z1^2*z2^2*z3^9*z4^12 + y1^2*y2*z1^2*z2^2*z3^9*z5^12 + (6*y1 - 537 537 1/72)*z1^2*z2^3*z4^3*z5^3*z6^3, 538 z2^3*z3^10*z4^12 + y1^2*y2*z2^3*z3^10*z5^12 + (18*y1 - 538 z2^3*z3^10*z4^12 + y1^2*y2*z2^3*z3^10*z5^12 + (18*y1 - 539 539 1/24)*z1^2*z2^3*z4^2*z5^2*z6^2, 540 z2^2*z3^11*z4^12 + y1^2*y2*z2^2*z3^11*z5^12 + 540 z2^2*z3^11*z4^12 + y1^2*y2*z2^2*z3^11*z5^12 + 541 541 1/2*y1*z2^2*z3^5*z4^6*z5^6*z6^6 - 1/12*z1*z2^3*z4*z5*z6, 542 z2^4*z3^7*z4^7*z5^7 + (3/2*y1 - 1/288)/(y1^2*y2 - 543 y1^2*y3)*z1^2*z2^3*z4^12*z6^5 + (-3/2*y1*y3 + 1/288*y3)/(y2 - 542 z2^4*z3^7*z4^7*z5^7 + (3/2*y1 - 1/288)/(y1^2*y2 - 543 y1^2*y3)*z1^2*z2^3*z4^12*z6^5 + (-3/2*y1*y3 + 1/288*y3)/(y2 - 544 544 y3)*z1^2*z2^3*z5^12*z6^5, 545 z1^2*z2^2*z3^12*z5^9 + y3/y2*z1^2*z2^2*z5^9*z6^12 + (6*y1 - 545 z1^2*z2^2*z3^12*z5^9 + y3/y2*z1^2*z2^2*z5^9*z6^12 + (6*y1 - 546 546 1/72)/(y1^2*y2)*z1^2*z2^3*z3^3*z4^3*z6^3, 547 z2^3*z3^12*z5^10 + y3/y2*z2^3*z5^10*z6^12 + (18*y1 - 547 z2^3*z3^12*z5^10 + y3/y2*z2^3*z5^10*z6^12 + (18*y1 - 548 548 1/24)/(y1^2*y2)*z1^2*z2^3*z3^2*z4^2*z6^2, 549 z2^2*z3^12*z5^11 + 1/2/(y1*y2)*z2^2*z3^6*z4^6*z5^5*z6^6 + 549 z2^2*z3^12*z5^11 + 1/2/(y1*y2)*z2^2*z3^6*z4^6*z5^5*z6^6 + 550 550 y3/y2*z2^2*z5^11*z6^12 - 1/12/(y1^2*y2)*z1*z2^3*z3*z4*z6, 551 551 z2^5*z3^4*z5^16, 552 z2^4*z3^7*z5^13*z6 + 3/(y1^2*y2)*z1^2*z2^3*z3^6*z4^11 + (3/2*y1 - 552 z2^4*z3^7*z5^13*z6 + 3/(y1^2*y2)*z1^2*z2^3*z3^6*z4^11 + (3/2*y1 - 553 553 1/288)/(y1^2*y2)*z1^2*z2^3*z4^5*z5^6*z6^6, 554 554 z2^5*z5^16*z6^4, 555 z2^2*z3^6*z4^6*z5^6*z6^5 + 2/y1*z2^2*z4^12*z6^11 + 2*y1*y3*z2^2*z5^12*z6^11 555 z2^2*z3^6*z4^6*z5^6*z6^5 + 2/y1*z2^2*z4^12*z6^11 + 2*y1*y3*z2^2*z5^12*z6^11 556 556 - 1/6/y1*z1*z2^3*z3*z4*z5, 557 z1^2*z2^3*z3*z5^13*z6^6 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 558 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 557 z1^2*z2^3*z3*z5^13*z6^6 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 558 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 559 559 1/746496*y1^2*y3)*z1*z2^4*z4^11*z6^5, 560 z2^4*z3^7*z4^7*z6^7 + (3/2*y1*y2 - 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^12*z5^5 560 z2^4*z3^7*z4^7*z6^7 + (3/2*y1*y2 - 1/288*y2)/(y2 - y3)*z1^2*z2^3*z3^12*z5^5 561 561 + (-3/2*y1*y3 + 1/288*y3)/(y2 - y3)*z1^2*z2^3*z5^5*z6^12, 562 z1^2*z2^3*z4^7*z5^6*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 562 z1^2*z2^3*z4^7*z5^6*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 563 563 1/4*y1^2 - 1/864*y1 + 1/746496)*z1*z2^4*z3^5*z5^11, 564 z2^4*z3^7*z5^7*z6^7 + (-3/2*y1 + 1/288)/(y1^2*y2 - 565 y1^2*y3)*z1^2*z2^3*z3^12*z4^5 + (3/2*y1 - 1/288)/(y1^2*y2 - 564 z2^4*z3^7*z5^7*z6^7 + (-3/2*y1 + 1/288)/(y1^2*y2 - 565 y1^2*y3)*z1^2*z2^3*z3^12*z4^5 + (3/2*y1 - 1/288)/(y1^2*y2 - 566 566 y1^2*y3)*z1^2*z2^3*z4^5*z6^12, 567 z1^2*z2^3*z4^6*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 567 z1^2*z2^3*z4^6*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 568 568 1/864*y1 - 1/746496)*z1*z2^4*z3^5*z4^11, 569 z2^4*z4^7*z5^7*z6^7 + (-3/2*y1 + 1/288)/(y1^2*y2 - 570 y1^2*y3)*z1^2*z2^3*z3^5*z4^12 + (3/2*y1*y2 - 1/288*y2)/(y2 - 569 z2^4*z4^7*z5^7*z6^7 + (-3/2*y1 + 1/288)/(y1^2*y2 - 570 y1^2*y3)*z1^2*z2^3*z3^5*z4^12 + (3/2*y1*y2 - 1/288*y2)/(y2 - 571 571 y3)*z1^2*z2^3*z3^5*z5^12, 572 z2^4*z3*z5^13*z6^7 + (3/2*y1 - 1/288)/(y1^2*y3)*z1^2*z2^3*z3^6*z4^5*z5^6 + 572 z2^4*z3*z5^13*z6^7 + (3/2*y1 - 1/288)/(y1^2*y3)*z1^2*z2^3*z3^6*z4^5*z5^6 + 573 573 3/(y1^2*y3)*z1^2*z2^3*z4^11*z6^6, 574 z1^2*z2^2*z4^12*z6^9 + y1^2*y3*z1^2*z2^2*z5^12*z6^9 + (6*y1 - 574 z1^2*z2^2*z4^12*z6^9 + y1^2*y3*z1^2*z2^2*z5^12*z6^9 + (6*y1 - 575 575 1/72)*z1^2*z2^3*z3^3*z4^3*z5^3, 576 z2^3*z4^12*z6^10 + y1^2*y3*z2^3*z5^12*z6^10 + (18*y1 - 576 z2^3*z4^12*z6^10 + y1^2*y3*z2^3*z5^12*z6^10 + (18*y1 - 577 577 1/24)*z1^2*z2^3*z3^2*z4^2*z5^2, 578 z1^2*z2^3*z4^6*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 579 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 578 z1^2*z2^3*z4^6*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 579 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 580 580 1/746496)*z1*z2^4*z3^11*z4^5, 581 z2^4*z4^7*z5*z6^13 + 3*z1^2*z2^3*z3^11*z4^6 + (3/2*y1 - 581 z2^4*z4^7*z5*z6^13 + 3*z1^2*z2^3*z3^11*z4^6 + (3/2*y1 - 582 582 1/288)*z1^2*z2^3*z3^5*z5^6*z6^6, 583 z1^2*z2^3*z4*z5^6*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 584 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 583 z1^2*z2^3*z4*z5^6*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 584 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 585 585 1/864*y1*y3 + 1/746496*y3)*z1*z2^4*z3^11*z5^5, 586 z2^4*z4*z5^7*z6^13 + 3*y2/y3*z1^2*z2^3*z3^11*z5^6 + (3/2*y1 - 586 z2^4*z4*z5^7*z6^13 + 3*y2/y3*z1^2*z2^3*z3^11*z5^6 + (3/2*y1 - 587 587 1/288)/(y1^2*y3)*z1^2*z2^3*z3^5*z4^6*z6^6, 588 588 z2^5*z4^4*z6^16, 589 589 z2^5*z5^4*z6^16, 590 z1*z2^3*z3^12*z4^8 + z1*z2^3*z4^8*z6^12 + (3*y1 - 590 z1*z2^3*z3^12*z4^8 + z1*z2^3*z4^8*z6^12 + (3*y1 - 591 591 1/144)*z1^2*z2^3*z3^4*z5^4*z6^4, 592 z1*z2^3*z3^8*z4^12 + y1^2*y2*z1*z2^3*z3^8*z5^12 + (3*y1 - 592 z1*z2^3*z3^8*z4^12 + y1^2*y2*z1*z2^3*z3^8*z5^12 + (3*y1 - 593 593 1/144)*z1^2*z2^3*z4^4*z5^4*z6^4, 594 594 z3^12*z4^12 - y1^2*y3*z5^12*z6^12, 595 z1*z2^3*z3^12*z5^8 + y3/y2*z1*z2^3*z5^8*z6^12 + (3*y1 - 595 z1*z2^3*z3^12*z5^8 + y3/y2*z1*z2^3*z5^8*z6^12 + (3*y1 - 596 596 1/144)/(y1^2*y2)*z1^2*z2^3*z3^4*z4^4*z6^4, 597 597 z3^12*z5^12 - 1/(y1^2*y2)*z4^12*z6^12, 598 598 z1^2*z2^4*z3^3*z5^15, 599 z1*z2^4*z3^5*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 600 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 599 z1*z2^4*z3^5*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 600 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 601 601 1/746496*y1^2*y2)*z2^5*z3^4*z4^11, 602 602 z1^2*z2^4*z5^15*z6^3, 603 z1*z2^4*z3*z5^13*z6^5 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 604 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 603 z1*z2^4*z3*z5^13*z6^5 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 604 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 605 605 1/746496*y1^2*y3)*z2^5*z4^11*z6^4, 606 606 z3^6*z4^6*z5^6*z6^6 + 2/y1*z4^12*z6^12 + 2*y1*y3*z5^12*z6^12 - 1/3/y1*z2^2, 607 z1*z2^4*z3^5*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 607 z1*z2^4*z3^5*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 608 608 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^5*z3^10*z5^5, 609 z1*z2^4*z4^7*z5^5*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 609 z1*z2^4*z4^7*z5^5*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 610 610 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^5*z3^5*z5^10, 611 z1*z2^4*z3^5*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 611 z1*z2^4*z3^5*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 612 612 1/864*y1 - 1/746496)*z2^5*z3^10*z4^5, 613 z1*z2^4*z4^5*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 613 z1*z2^4*z4^5*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 614 614 1/864*y1 - 1/746496)*z2^5*z3^5*z4^10, 615 z1^2*z2^3*z5^12*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 615 z1^2*z2^3*z5^12*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 616 616 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^4*z3^5*z4^5*z5^5, 617 z1*z2^3*z4^12*z6^8 + y1^2*y3*z1*z2^3*z5^12*z6^8 + (3*y1 - 617 z1*z2^3*z4^12*z6^8 + y1^2*y3*z1*z2^3*z5^12*z6^8 + (3*y1 - 618 618 1/144)*z1^2*z2^3*z3^4*z4^4*z5^4, 619 z1^2*z2^3*z4^7*z6^12 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 619 z1^2*z2^3*z4^7*z6^12 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 620 620 1/373248)/(y1 - 1/432)*z1*z2^4*z3^5*z5^5*z6^5, 621 z1^2*z2^3*z5^7*z6^12 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 621 z1^2*z2^3*z5^7*z6^12 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 622 622 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^4*z3^5*z4^5*z6^5, 623 z1*z2^4*z4^5*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 624 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 623 z1*z2^4*z4^5*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 624 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 625 625 1/746496)*z2^5*z3^11*z4^4, 626 z1*z2^4*z4*z5^5*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 627 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 626 z1*z2^4*z4*z5^5*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 627 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 628 628 1/864*y1*y3 + 1/746496*y3)*z2^5*z3^11*z5^4, 629 629 z1^2*z2^4*z4^3*z6^15, 630 630 z1^2*z2^4*z5^3*z6^15, 631 z1^2*z2^3*z3^12*z4^6 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 632 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 631 z1^2*z2^3*z3^12*z4^6 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 632 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 633 633 1/746496)*z1^2*z2^3*z4^6*z6^12, 634 z2^4*z3^12*z4^7 + z2^4*z4^7*z6^12 + (3/2*y1 - 634 z2^4*z3^12*z4^7 + z2^4*z4^7*z6^12 + (3/2*y1 - 635 635 1/288)*z1^2*z2^3*z3^5*z5^5*z6^5, 636 z1^2*z2^3*z3^6*z4^12 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 636 z1^2*z2^3*z3^6*z4^12 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 637 637 1/746496)/(y1 - 1/432)*z1^2*z2^3*z4^6*z5^6*z6^6, 638 z2^4*z3^7*z4^12 + y1^2*y2*z2^4*z3^7*z5^12 + (3/2*y1 - 638 z2^4*z3^7*z4^12 + y1^2*y2*z2^4*z3^7*z5^12 + (3/2*y1 - 639 639 1/288)*z1^2*z2^3*z4^5*z5^5*z6^5, 640 640 z2^5*z3^10*z4^4*z5^4, 641 641 z2^5*z3^4*z4^10*z5^4, 642 642 z1^2*z2^3*z3^12*z5^6 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 643 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 643 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 644 644 1/746496*y2)*z1^2*z2^3*z5^6*z6^12, 645 z1^2*z2^3*z3^6*z4^6*z5^6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 645 z1^2*z2^3*z3^6*z4^6*z5^6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 646 646 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^3*z5^12*z6^6, 647 z2^4*z3^12*z5^7 + y3/y2*z2^4*z5^7*z6^12 + (3/2*y1 - 647 z2^4*z3^12*z5^7 + y3/y2*z2^4*z5^7*z6^12 + (3/2*y1 - 648 648 1/288)/(y1^2*y2)*z1^2*z2^3*z3^5*z4^5*z6^5, 649 649 z2^5*z3^4*z4^4*z5^10, 650 z1^2*z2^3*z3^6*z5^12 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 650 z1^2*z2^3*z3^6*z5^12 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 651 651 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1^2*z2^3*z4^6*z5^6*z6^6, 652 z1^2*z2^4*z3^3*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 653 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 652 z1^2*z2^4*z3^3*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 653 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 654 654 1/746496*y1^2*y2)*z1*z2^5*z3^2*z4^11, 655 z2^5*z3^4*z5^13*z6 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 656 1/248832)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 655 z2^5*z3^4*z5^13*z6 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 656 1/248832)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 657 657 1/746496*y1^2*y2)*z1^2*z2^4*z3^3*z4^11, 658 z1^2*z2^4*z3*z5^13*z6^3 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 659 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 658 z1^2*z2^4*z3*z5^13*z6^3 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 659 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 660 660 1/746496*y1^2*y3)*z1*z2^5*z4^11*z6^2, 661 661 z2^5*z3^10*z4^4*z6^4, … … 665 665 z2^5*z3^4*z5^10*z6^4, 666 666 z2^5*z4^4*z5^10*z6^4, 667 z2^5*z3*z5^13*z6^4 + (3*y1^2*y2 - 3*y1^2*y3 - 3/4*y1^2 + 1/288*y1 - 668 1/248832)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 667 z2^5*z3*z5^13*z6^4 + (3*y1^2*y2 - 3*y1^2*y3 - 3/4*y1^2 + 1/288*y1 - 668 1/248832)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 669 669 1/746496*y1^2*y3)*z1^2*z2^4*z4^11*z6^3, 670 z1^2*z2^3*z3^6*z4^6*z6^6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 670 z1^2*z2^3*z3^6*z4^6*z6^6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 671 671 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^3*z5^6*z6^12, 672 672 z1^2*z2^3*z4^12*z6^6 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 673 + 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 673 + 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 674 674 1/746496)*z1^2*z2^3*z5^12*z6^6, 675 z1^2*z2^3*z3^6*z5^6*z6^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 675 z1^2*z2^3*z3^6*z5^6*z6^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 676 676 1/864*y1 + 1/746496)*z1^2*z2^3*z4^6*z6^12, 677 z1^2*z2^4*z3^3*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 677 z1^2*z2^4*z3^3*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 678 678 1/4*y1^2 - 1/864*y1 + 1/746496)*z1*z2^5*z3^8*z5^5, 679 z2^5*z3^4*z4^7*z6^7 + (3*y1^3*y2 - 1/144*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 679 z2^5*z3^4*z4^7*z6^7 + (3*y1^3*y2 - 1/144*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 680 680 1/4*y1^2 - 1/864*y1 + 1/746496)*z1^2*z2^4*z3^9*z5^5, 681 z1*z2^4*z4^11*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 681 z1*z2^4*z4^11*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 682 682 1/373248)/(y1 - 1/432)*z2^5*z3^5*z4^4*z5^5, 683 z2^4*z4^12*z6^7 + y1^2*y3*z2^4*z5^12*z6^7 + (3/2*y1 - 683 z2^4*z4^12*z6^7 + y1^2*y3*z2^4*z5^12*z6^7 + (3/2*y1 - 684 684 1/288)*z1^2*z2^3*z3^5*z4^5*z5^5, 685 z1^2*z2^4*z4^7*z5^3*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 685 z1^2*z2^4*z4^7*z5^3*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 686 686 1/4*y1^2 - 1/864*y1 + 1/746496)*z1*z2^5*z3^5*z5^8, 687 z2^5*z4^7*z5^4*z6^7 + (3*y1^3*y2 - 1/144*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 687 z2^5*z4^7*z5^4*z6^7 + (3*y1^3*y2 - 1/144*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 688 688 1/4*y1^2 - 1/864*y1 + 1/746496)*z1^2*z2^4*z3^5*z5^9, 689 z1^2*z2^4*z3^3*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 689 z1^2*z2^4*z3^3*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 690 690 1/864*y1 - 1/746496)*z1*z2^5*z3^8*z4^5, 691 z2^5*z3^4*z5^7*z6^7 + (-3*y1 + 1/144)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 691 z2^5*z3^4*z5^7*z6^7 + (-3*y1 + 1/144)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 692 692 1/864*y1 - 1/746496)*z1^2*z2^4*z3^9*z4^5, 693 z1^2*z2^4*z4^3*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 693 z1^2*z2^4*z4^3*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 694 694 1/864*y1 - 1/746496)*z1*z2^5*z3^5*z4^8, 695 z2^5*z4^4*z5^7*z6^7 + (-3*y1 + 1/144)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 695 z2^5*z4^4*z5^7*z6^7 + (-3*y1 + 1/144)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 696 696 1/864*y1 - 1/746496)*z1^2*z2^4*z3^5*z4^9, 697 z1*z2^4*z5^11*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 697 z1*z2^4*z5^11*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 698 698 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^5*z3^5*z4^5*z5^4, 699 699 z2^5*z3^4*z4^4*z6^10, 700 700 z2^5*z3^4*z5^4*z6^10, 701 701 z2^5*z4^4*z5^4*z6^10, 702 z1*z2^4*z4^7*z6^11 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 702 z1*z2^4*z4^7*z6^11 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 703 703 1/373248)/(y1 - 1/432)*z2^5*z3^5*z5^5*z6^4, 704 z1*z2^4*z5^7*z6^11 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 704 z1*z2^4*z5^7*z6^11 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 705 705 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^5*z3^5*z4^5*z6^4, 706 z1^2*z2^4*z4^3*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 707 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 706 z1^2*z2^4*z4^3*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 707 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 708 708 1/746496)*z1*z2^5*z3^11*z4^2, 709 z2^5*z4^4*z5*z6^13 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 710 1/248832)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 709 z2^5*z4^4*z5*z6^13 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 710 1/248832)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 711 711 1/746496)*z1^2*z2^4*z3^11*z4^3, 712 z1^2*z2^4*z4*z5^3*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 713 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 712 z1^2*z2^4*z4*z5^3*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 713 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 714 714 1/864*y1*y3 + 1/746496*y3)*z1*z2^5*z3^11*z5^2, 715 715 z2^5*z4*z5^4*z6^13 + (3*y1^2*y2^2 - 3*y1^2*y2*y3 - 3/4*y1^2*y2 + 1/288*y1*y2 716 - 1/248832*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 716 - 1/248832*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 717 717 1/746496*y3)*z1^2*z2^4*z3^11*z5^3, 718 z1*z2^4*z3^12*z4^5 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 719 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 718 z1*z2^4*z3^12*z4^5 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 719 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 720 720 1/746496)*z1*z2^4*z4^5*z6^12, 721 z1*z2^4*z3^11*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 721 z1*z2^4*z3^11*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 722 722 1/746496)/(y1 - 1/432)*z1*z2^4*z3^5*z5^6*z6^6, 723 z1*z2^4*z3^6*z4^11 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 723 z1*z2^4*z3^6*z4^11 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 724 724 1/746496)/(y1 - 1/432)*z1*z2^4*z4^5*z5^6*z6^6, 725 725 z1*z2^4*z3^5*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 726 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 726 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 727 727 1/746496)*z1*z2^4*z3^5*z5^12, 728 z1*z2^4*z3^12*z5^5 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 729 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 728 z1*z2^4*z3^12*z5^5 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 729 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 730 730 1/746496*y2)*z1*z2^4*z5^5*z6^12, 731 z1*z2^4*z3^6*z4^6*z5^5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 731 z1*z2^4*z3^6*z4^6*z5^5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 732 732 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^4*z5^11*z6^6, 733 z1*z2^4*z3^11*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 733 z1*z2^4*z3^11*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 734 734 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^4*z3^5*z4^6*z6^6, 735 z1*z2^4*z3^6*z4^5*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 735 z1*z2^4*z3^6*z4^5*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 736 736 1/864*y1 + 1/746496)*z1*z2^4*z4^11*z6^6, 737 z1*z2^4*z3^6*z5^11 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 737 z1*z2^4*z3^6*z5^11 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 738 738 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^4*z4^6*z5^5*z6^6, 739 739 z1*z2^5*z3^2*z5^14, 740 z1*z2^5*z3^2*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 741 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 740 z1*z2^5*z3^2*z5^13*z6 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 741 1/373248)/(y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 742 742 1/746496*y1^2*y2)*z2^6*z3*z4^11, 743 z1*z2^5*z3*z5^13*z6^2 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 744 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 743 z1*z2^5*z3*z5^13*z6^2 + (2*y1^2*y2 - 2*y1^2*y3 - 1/2*y1^2 + 1/432*y1 - 744 1/373248)/(y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 745 745 1/746496*y1^2*y3)*z2^6*z4^11*z6, 746 746 z1*z2^5*z5^14*z6^2, 747 z1*z2^4*z3^6*z4^6*z6^5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 747 z1*z2^4*z3^6*z4^6*z6^5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 748 748 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^4*z5^6*z6^11, 749 749 z1*z2^4*z4^12*z6^5 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 750 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 750 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 751 751 1/746496)*z1*z2^4*z5^12*z6^5, 752 z1*z2^4*z3^6*z5^6*z6^5 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 752 z1*z2^4*z3^6*z5^6*z6^5 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 753 753 1/864*y1 + 1/746496)*z1*z2^4*z4^6*z6^11, 754 z1*z2^5*z3^2*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 754 z1*z2^5*z3^2*z4^7*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 755 755 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^6*z3^7*z5^5, 756 z1^2*z2^4*z4^9*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 756 z1^2*z2^4*z4^9*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 757 757 1/373248)/(y1 - 1/432)*z1*z2^5*z3^5*z4^2*z5^5, 758 z2^5*z4^10*z6^7 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 758 z2^5*z4^10*z6^7 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 759 759 1/248832)/(y1 - 1/432)*z1^2*z2^4*z3^5*z4^3*z5^5, 760 z1*z2^5*z4^7*z5^2*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 760 z1*z2^5*z4^7*z5^2*z6^7 + (2*y1^3*y2 - 1/216*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 761 761 1/4*y1^2 - 1/864*y1 + 1/746496)*z2^6*z3^5*z5^7, 762 z1*z2^5*z3^2*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 762 z1*z2^5*z3^2*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 763 763 1/864*y1 - 1/746496)*z2^6*z3^7*z4^5, 764 z1*z2^5*z4^2*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 764 z1*z2^5*z4^2*z5^7*z6^7 + (-2*y1 + 1/216)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 765 765 1/864*y1 - 1/746496)*z2^6*z3^5*z4^7, 766 z1^2*z2^4*z5^9*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 766 z1^2*z2^4*z5^9*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 767 767 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^5*z3^5*z4^5*z5^2, 768 z2^5*z5^10*z6^7 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 768 z2^5*z5^10*z6^7 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 769 769 1/248832)/(y1^3*y3 - 1/432*y1^2*y3)*z1^2*z2^4*z3^5*z4^5*z5^3, 770 z1^2*z2^4*z4^7*z6^9 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 770 z1^2*z2^4*z4^7*z6^9 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 771 771 1/373248)/(y1 - 1/432)*z1*z2^5*z3^5*z5^5*z6^2, 772 z1^2*z2^4*z5^7*z6^9 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 772 z1^2*z2^4*z5^7*z6^9 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 773 773 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z1*z2^5*z3^5*z4^5*z6^2, 774 z2^5*z4^7*z6^10 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 774 z2^5*z4^7*z6^10 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 775 775 1/248832)/(y1 - 1/432)*z1^2*z2^4*z3^5*z5^5*z6^3, 776 z2^5*z5^7*z6^10 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 776 z2^5*z5^7*z6^10 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 777 777 1/248832)/(y1^3*y3 - 1/432*y1^2*y3)*z1^2*z2^4*z3^5*z4^5*z6^3, 778 z1*z2^5*z4^2*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 779 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 778 z1*z2^5*z4^2*z5*z6^13 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 779 1/373248)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 780 780 1/746496)*z2^6*z3^11*z4, 781 z1*z2^5*z4*z5^2*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 782 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 781 z1*z2^5*z4*z5^2*z6^13 + (2*y1^2*y2^2 - 2*y1^2*y2*y3 - 1/2*y1^2*y2 + 782 1/432*y1*y2 - 1/373248*y2)/(y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 783 783 1/864*y1*y3 + 1/746496*y3)*z2^6*z3^11*z5, 784 784 z1*z2^5*z4^2*z6^14, 785 785 z1*z2^5*z5^2*z6^14, 786 z1^2*z2^4*z3^12*z4^3 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 787 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 786 z1^2*z2^4*z3^12*z4^3 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 787 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 788 788 1/746496)*z1^2*z2^4*z4^3*z6^12, 789 z2^5*z3^12*z4^4 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 790 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 789 z2^5*z3^12*z4^4 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 790 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 791 791 1/746496)*z2^5*z4^4*z6^12, 792 z1^2*z2^4*z3^9*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 792 z1^2*z2^4*z3^9*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 793 793 1/746496)/(y1 - 1/432)*z1^2*z2^4*z3^3*z5^6*z6^6, 794 z2^5*z3^10*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 794 z2^5*z3^10*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 795 795 - 1/432)*z2^5*z3^4*z5^6*z6^6, 796 z1^2*z2^4*z3^6*z4^9 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 796 z1^2*z2^4*z3^6*z4^9 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 797 797 1/746496)/(y1 - 1/432)*z1^2*z2^4*z4^3*z5^6*z6^6, 798 z2^5*z3^6*z4^10 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 798 z2^5*z3^6*z4^10 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 799 799 - 1/432)*z2^5*z4^4*z5^6*z6^6, 800 800 z1^2*z2^4*z3^3*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 801 - 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 801 - 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 802 802 1/746496)*z1^2*z2^4*z3^3*z5^12, 803 z2^5*z3^4*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 804 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 803 z2^5*z3^4*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 804 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 805 805 1/746496)*z2^5*z3^4*z5^12, 806 806 z1^2*z2^4*z3^12*z5^3 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 807 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 807 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 808 808 1/746496*y2)*z1^2*z2^4*z5^3*z6^12, 809 809 z1^2*z2^4*z3^9*z4^3*z5^3, 810 z1^2*z2^4*z3^6*z4^6*z5^3 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 810 z1^2*z2^4*z3^6*z4^6*z5^3 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 811 811 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^4*z5^9*z6^6, 812 812 z1^2*z2^4*z3^3*z4^9*z5^3, 813 z2^5*z3^12*z5^4 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 814 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 813 z2^5*z3^12*z5^4 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 814 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 815 815 1/746496*y2)*z2^5*z5^4*z6^12, 816 z2^5*z3^6*z4^6*z5^4 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 816 z2^5*z3^6*z4^6*z5^4 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 817 817 1/4*y1^2 + 1/864*y1 - 1/746496)*z2^5*z5^10*z6^6, 818 z1^2*z2^4*z3^9*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 818 z1^2*z2^4*z3^9*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 819 819 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1^2*z2^4*z3^3*z4^6*z6^6, 820 z2^5*z3^10*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 820 z2^5*z3^10*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 821 821 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^5*z3^4*z4^6*z6^6, 822 z1^2*z2^4*z3^6*z4^3*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 822 z1^2*z2^4*z3^6*z4^3*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 823 823 1/864*y1 + 1/746496)*z1^2*z2^4*z4^9*z6^6, 824 z2^5*z3^6*z4^4*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 824 z2^5*z3^6*z4^4*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 825 825 + 1/746496)*z2^5*z4^10*z6^6, 826 z1^2*z2^4*z3^6*z5^9 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 826 z1^2*z2^4*z3^6*z5^9 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 827 827 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1^2*z2^4*z4^6*z5^3*z6^6, 828 828 z1^2*z2^4*z3^3*z4^3*z5^9, 829 z2^5*z3^6*z5^10 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 829 z2^5*z3^6*z5^10 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 830 830 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^5*z4^6*z5^4*z6^6, 831 831 z1^2*z2^4*z3^9*z4^3*z6^3, 832 z1^2*z2^4*z3^6*z4^6*z6^3 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 832 z1^2*z2^4*z3^6*z4^6*z6^3 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 833 833 1/4*y1^2 + 1/864*y1 - 1/746496)*z1^2*z2^4*z5^6*z6^9, 834 834 z1^2*z2^4*z3^3*z4^9*z6^3, 835 835 z1^2*z2^4*z4^12*z6^3 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 836 + 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 836 + 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 837 837 1/746496)*z1^2*z2^4*z5^12*z6^3, 838 838 z1^2*z2^4*z3^9*z5^3*z6^3, 839 839 z1^2*z2^4*z4^9*z5^3*z6^3, 840 z1^2*z2^4*z3^6*z5^6*z6^3 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 840 z1^2*z2^4*z3^6*z5^6*z6^3 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 841 841 1/864*y1 + 1/746496)*z1^2*z2^4*z4^6*z6^9, 842 842 z1^2*z2^4*z3^3*z5^9*z6^3, 843 843 z1^2*z2^4*z4^3*z5^9*z6^3, 844 z2^5*z3^6*z4^6*z6^4 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 844 z2^5*z3^6*z4^6*z6^4 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 845 845 1/4*y1^2 + 1/864*y1 - 1/746496)*z2^5*z5^6*z6^10, 846 z2^5*z4^12*z6^4 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 847 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 846 z2^5*z4^12*z6^4 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 847 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 848 848 1/746496)*z2^5*z5^12*z6^4, 849 z2^5*z3^6*z5^6*z6^4 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 849 z2^5*z3^6*z5^6*z6^4 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 850 850 + 1/746496)*z2^5*z4^6*z6^10, 851 z1*z2^5*z4^8*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 851 z1*z2^5*z4^8*z6^7 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 852 852 1/373248)/(y1 - 1/432)*z2^6*z3^5*z4*z5^5, 853 z1*z2^5*z5^8*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 853 z1*z2^5*z5^8*z6^7 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 854 854 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^6*z3^5*z4^5*z5, 855 z1*z2^5*z4^7*z6^8 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 855 z1*z2^5*z4^7*z6^8 + (2*y1^2*y2 - 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 856 856 1/373248)/(y1 - 1/432)*z2^6*z3^5*z5^5*z6, 857 z1*z2^5*z5^7*z6^8 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 857 z1*z2^5*z5^7*z6^8 + (-2*y1^2*y2 + 2*y1^2*y3 + 1/2*y1^2 - 1/432*y1 + 858 858 1/373248)/(y1^3*y3 - 1/432*y1^2*y3)*z2^6*z3^5*z4^5*z6, 859 859 z1^2*z2^4*z3^3*z4^3*z6^9, 860 860 z1^2*z2^4*z3^3*z5^3*z6^9, 861 861 z1^2*z2^4*z4^3*z5^3*z6^9, 862 z1*z2^5*z3^12*z4^2 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 863 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 862 z1*z2^5*z3^12*z4^2 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 863 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 864 864 1/746496)*z1*z2^5*z4^2*z6^12, 865 z1*z2^5*z3^8*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 865 z1*z2^5*z3^8*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 866 866 1/746496)/(y1 - 1/432)*z1*z2^5*z3^2*z5^6*z6^6, 867 z1*z2^5*z3^6*z4^8 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 867 z1*z2^5*z3^6*z4^8 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 868 868 1/746496)/(y1 - 1/432)*z1*z2^5*z4^2*z5^6*z6^6, 869 869 z1*z2^5*z3^2*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 870 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 870 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 871 871 1/746496)*z1*z2^5*z3^2*z5^12, 872 z1*z2^5*z3^12*z5^2 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 873 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 872 z1*z2^5*z3^12*z5^2 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 873 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 874 874 1/746496*y2)*z1*z2^5*z5^2*z6^12, 875 z1*z2^5*z3^6*z4^6*z5^2 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 875 z1*z2^5*z3^6*z4^6*z5^2 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 876 876 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^5*z5^8*z6^6, 877 z1*z2^5*z3^8*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 877 z1*z2^5*z3^8*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 878 878 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^5*z3^2*z4^6*z6^6, 879 z1*z2^5*z3^6*z4^2*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 879 z1*z2^5*z3^6*z4^2*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 880 880 1/864*y1 + 1/746496)*z1*z2^5*z4^8*z6^6, 881 z1*z2^5*z3^6*z5^8 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 881 z1*z2^5*z3^6*z5^8 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 882 882 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z1*z2^5*z4^6*z5^2*z6^6, 883 883 z2^6*z3*z5^13, 884 884 z2^6*z5^13*z6, 885 z1*z2^5*z3^6*z4^6*z6^2 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 885 z1*z2^5*z3^6*z4^6*z6^2 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 886 886 1/4*y1^2 + 1/864*y1 - 1/746496)*z1*z2^5*z5^6*z6^8, 887 887 z1*z2^5*z4^12*z6^2 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 888 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 888 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 889 889 1/746496)*z1*z2^5*z5^12*z6^2, 890 z1*z2^5*z3^6*z5^6*z6^2 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 890 z1*z2^5*z3^6*z5^6*z6^2 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 891 891 1/864*y1 + 1/746496)*z1*z2^5*z4^6*z6^8, 892 z2^6*z4^7*z6^7 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 892 z2^6*z4^7*z6^7 + (3*y1^2*y2 - 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 893 893 1/248832)/(y1 - 1/432)*z1^2*z2^5*z3^5*z5^5, 894 z2^6*z5^7*z6^7 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 894 z2^6*z5^7*z6^7 + (-3*y1^2*y2 + 3*y1^2*y3 + 3/4*y1^2 - 1/288*y1 + 895 895 1/248832)/(y1^3*y3 - 1/432*y1^2*y3)*z1^2*z2^5*z3^5*z4^5, 896 896 z2^6*z4*z6^13, 897 897 z2^6*z5*z6^13, 898 z2^6*z3^12*z4 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 899 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 898 z2^6*z3^12*z4 + (y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 899 1/746496)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 900 900 1/746496)*z2^6*z4*z6^12, 901 901 z2^6*z3^7*z4^6 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 - … … 903 903 z2^6*z3^6*z4^7 + (-y1^2*y2 + y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 1/746496)/(y1 - 904 904 1/432)*z2^6*z4*z5^6*z6^6, 905 z2^6*z3*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 906 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 905 z2^6*z3*z4^12 + (y1^4*y2^2 - y1^4*y2*y3 - 1/4*y1^4*y2 + 1/864*y1^3*y2 - 906 1/746496*y1^2*y2)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 907 907 1/746496)*z2^6*z3*z5^12, 908 z2^6*z3^12*z5 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 909 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 908 z2^6*z3^12*z5 + (y1^2*y2*y3 - y1^2*y3^2 + 1/4*y1^2*y3 - 1/864*y1*y3 + 909 1/746496*y3)/(y1^2*y2^2 - y1^2*y2*y3 - 1/4*y1^2*y2 + 1/864*y1*y2 - 910 910 1/746496*y2)*z2^6*z5*z6^12, 911 911 z2^6*z3^6*z4^6*z5 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 912 912 + 1/864*y1 - 1/746496)*z2^6*z5^7*z6^6, 913 z2^6*z3^7*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 913 z2^6*z3^7*z5^6 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 914 914 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^6*z3*z4^6*z6^6, 915 z2^6*z3^6*z4*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 915 z2^6*z3^6*z4*z5^6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 916 916 1/746496)*z2^6*z4^7*z6^6, 917 z2^6*z3^6*z5^7 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 917 z2^6*z3^6*z5^7 + (y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 918 918 1/746496)/(y1^3*y2 - 1/432*y1^2*y2)*z2^6*z4^6*z5*z6^6, 919 919 z2^6*z3^6*z4^6*z6 + (-y1^3*y3 + 1/432*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 920 920 + 1/864*y1 - 1/746496)*z2^6*z5^6*z6^7, 921 z2^6*z4^12*z6 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 922 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 921 z2^6*z4^12*z6 + (y1^4*y2*y3 - y1^4*y3^2 + 1/4*y1^4*y3 - 1/864*y1^3*y3 + 922 1/746496*y1^2*y3)/(y1^2*y2 - y1^2*y3 - 1/4*y1^2 + 1/864*y1 - 923 923 1/746496)*z2^6*z5^12*z6, 924 z2^6*z3^6*z5^6*z6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 924 z2^6*z3^6*z5^6*z6 + (y1 - 1/432)/(y1^2*y2 - y1^2*y3 + 1/4*y1^2 - 1/864*y1 + 925 925 1/746496)*z2^6*z4^6*z6^7, 926 926 z1*z2^5*z3^8*z4^2*z5^2,
Note: See TracChangeset
for help on using the changeset viewer.
