Context Navigation

Back to Ticket #248

Ticket #248: bugreport

File bugreport, 43.1 KB (added by Simon King, 13 years ago)
An example exhibiting the bug

Line
1	ring r = (2),(b_2_3,b_2_4,b_2_5,b_2_6,b_4_21,b_4_22,b_6_43,c_8_83,b_1_0,b_1_1,b_1_2,a_3_4,b_3_11,b_3_12,b_3_13,b_5_31,a_7_17),(M(2,2,2,2,4,4,6,8,1,1,1,3,3,3,3,5,7,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0),C);
2	ideal i = b_1_0b_1_1,b_1_0b_1_2+b_1_0^2,b_1_1b_1_2,b_2_3b_1_0,b_2_3b_1_2,b_2_4b_1_2+b_2_4b_1_0,b_2_5b_1_1+b_2_4b_1_1+b_2_3b_1_1,b_2_6b_1_0+b_2_4b_1_0,b_1_1a_3_4,b_1_2a_3_4,b_2_3b_2_5+b_2_3b_2_4+b_2_3^2+b_1_0a_3_4,b_2_4b_2_6+b_2_4^2,b_2_4b_1_1^2+b_2_3b_1_1^2+b_2_3^2,b_1_0b_3_12+b_1_0b_3_11+b_2_4b_1_0^2,b_1_0b_3_13+b_2_4b_2_5+b_2_4^2+b_2_3b_2_4+b_1_0a_3_4,b_1_1b_3_11+b_2_3b_2_4,b_1_1b_3_12+b_2_3b_2_6+b_2_3^2,b_1_2b_3_11+b_1_0b_3_11+b_1_0a_3_4,b_1_2b_3_13+b_2_5b_2_6+b_2_4^2+b_2_3b_2_6,b_2_3a_3_4,b_2_4a_3_4,b_2_6a_3_4,b_1_0^2a_3_4,b_2_3b_3_12+b_2_3b_3_11+b_2_3b_2_6b_1_1+b_2_3^2b_1_1,b_2_4^2b_1_1+b_2_3b_3_11+b_2_3b_2_4b_1_1,b_2_4b_3_12+b_2_4b_3_11+b_2_4^2b_1_0+b_2_3b_3_11,b_2_5b_3_13+b_2_4b_3_13+b_2_3b_3_13,b_2_6b_3_11+b_2_4b_3_11,b_4_21b_1_1+b_2_3b_3_13+b_2_3b_1_1^3+b_2_3b_2_6b_1_1,b_4_22b_1_2+b_4_21b_1_2+b_4_21b_1_0+b_2_5b_3_12+b_2_5b_3_11+b_2_5b_1_0^3+b_2_5b_2_6b_1_2+b_2_5^2b_1_2+b_2_5^2b_1_0+b_2_3b_3_11+b_2_3b_2_6b_1_1+b_2_3^2b_1_1,b_1_0^2b_3_11+b_1_0^5+b_4_21b_1_0+b_2_5b_3_11+b_2_5b_1_0^3+b_2_5^2b_1_0+b_2_4b_3_11+b_2_4b_1_0^3+b_2_4^2b_1_0+b_2_3b_3_11+b_2_5a_3_4,b_1_2^2b_3_12+b_1_0^5+b_4_21b_1_2+b_2_5b_3_12+b_2_5b_1_0^3+b_2_5b_2_6b_1_2+b_2_5^2b_1_2+b_2_4b_3_11+b_2_4^2b_1_0+b_2_3b_2_6b_1_1+b_2_3^2b_1_1+b_2_5a_3_4,a_3_4^2,a_3_4b_3_11,a_3_4b_3_12,a_3_4b_3_13,b_2_3b_2_6b_1_1^2+b_2_3^2b_1_1^2+b_2_3^2b_2_6+b_2_3^2b_2_4+b_2_3^3,b_2_4b_2_5^2+b_2_4^3+b_2_3^2b_2_4+b_2_5b_1_0a_3_4,b_2_4b_1_1b_3_13+b_2_3b_1_1b_3_13+b_2_3b_4_21+b_2_3^2b_1_1^2+b_2_3^2b_2_6+b_2_5b_1_0a_3_4,b_2_5^2b_2_6+b_2_4^3+b_2_3^2b_2_6,b_4_22b_1_0^2+b_2_5b_1_0^4,b_1_0b_5_31+b_1_0^6+b_2_5b_1_0b_3_11+b_2_5^2b_1_0^2+b_2_4b_1_0b_3_11+b_2_4b_1_0^4+b_2_4^2b_1_0^2,b_1_2b_5_31+b_1_0^6+b_2_5b_1_2b_3_12+b_2_5b_2_6b_1_2^2+b_2_5^2b_1_0^2+b_2_4b_1_0b_3_11+b_2_4b_1_0^4+b_2_4^2b_1_0^2,b_3_11^2+b_1_0^6+b_2_4b_1_0b_3_11+b_2_4b_1_0^4+b_2_4b_2_5b_1_0^2+b_2_4^2b_1_0^2+b_2_4^2b_2_5,b_3_11b_3_12+b_1_0^6+b_2_4b_1_0^4+b_2_4b_2_5b_1_0^2+b_2_4^2b_1_0^2+b_2_4^2b_2_5+b_2_3b_2_4^2+b_2_3^2b_2_4,b_3_11b_3_13+b_2_4b_1_0b_3_11+b_2_4b_1_0^4+b_2_4b_4_21+b_2_4b_2_5b_1_0^2+b_2_4^2b_1_0^2+b_2_3b_2_4^2+b_2_3^2b_1_1^2+b_2_3^3+b_2_5b_1_0a_3_4,b_3_12^2+b_1_0^6+b_2_6b_1_2b_3_12+b_2_5b_2_6b_1_2^2+b_2_5b_2_6^2+b_2_4b_1_0^4+b_2_4^2b_1_0^2+b_2_3^2b_2_4+b_2_3^3,b_3_12b_3_13+b_2_6b_1_2b_3_12+b_2_6b_4_21+b_2_5b_2_6^2+b_2_4b_1_0^4+b_2_4b_2_5b_1_0^2+b_2_4^3+b_2_3b_4_21+b_2_3^2b_2_4+b_2_3^3+b_2_5b_1_0a_3_4,b_3_13^2+b_1_1b_5_31+b_4_22b_1_1^2+b_2_6b_1_2b_3_12+b_2_6b_4_22+b_2_4b_1_0b_3_11+b_2_4b_2_5b_1_0^2+b_2_4^2b_1_0^2+b_2_3^2b_1_1^2+b_2_3^2b_2_4+b_2_3^3,b_4_21a_3_4+b_2_5^2a_3_4,b_2_4b_4_22b_1_0+b_2_4b_2_5b_1_0^3,b_2_5b_5_31+b_2_5b_1_0^5+b_2_5^2b_3_12+b_2_5^3b_1_0+b_2_4b_5_31+b_2_4b_1_0^5+b_2_4b_2_5b_1_0^3+b_2_4^2b_3_11+b_2_4^2b_1_0^3+b_2_4^2b_2_5b_1_0+b_2_4^3b_1_0+b_2_3b_5_31+b_2_3b_2_4b_3_11+b_2_3^2b_3_11+b_2_3^2b_2_6b_1_1+b_2_3^3b_1_1,b_4_21b_3_11+b_4_21b_1_0^3+b_2_5^2b_3_11+b_2_5^2b_1_0^3+b_2_4b_4_21b_1_0+b_2_4b_2_5b_1_0^3+b_2_4^2b_3_13+b_2_4^2b_3_11+b_2_4^2b_2_5b_1_0+b_2_3b_2_4b_3_13+b_2_3b_2_4b_3_11+b_2_3^2b_3_11+b_2_3^2b_2_4b_1_1,b_4_21b_3_12+b_4_21b_1_0^3+b_2_6b_4_21b_1_2+b_2_5b_2_6b_3_12+b_2_5b_2_6b_1_2^3+b_2_5^2b_3_12+b_2_5^2b_1_0^3+b_2_4b_4_21b_1_0+b_2_4b_2_5b_3_11+b_2_4^2b_3_13+b_2_4^2b_3_11+b_2_4^3b_1_0+b_2_3b_2_6b_3_13+b_2_3b_2_4b_3_13+b_2_3b_2_4b_3_11+b_2_3^2b_3_13+b_2_3^2b_3_11,b_4_22b_3_12+b_4_21b_3_13+b_2_6b_4_21b_1_2+b_2_5b_1_0^5+b_2_5b_4_21b_1_0+b_2_5b_2_6b_1_2^3+b_2_5^2b_3_11+b_2_5^2b_1_0^3+b_2_5^3b_1_0+b_2_4b_4_22b_1_1+b_2_4b_4_21b_1_0+b_2_4^2b_3_11+b_2_4^2b_1_0^3+b_2_4^2b_2_5b_1_0+b_2_3b_5_31+b_2_3b_1_1^2b_3_13+b_2_3b_2_6b_3_13+b_2_3^2b_2_4b_1_1+b_4_22a_3_4+b_2_5^2a_3_4,b_6_43b_1_2+b_6_43b_1_0+b_4_21b_1_2^3+b_4_21b_1_0^3+b_2_6b_4_21b_1_2+b_2_5^2b_1_2^3+b_2_5^2b_1_0^3+b_2_4b_4_21b_1_0,b_1_0^7+b_6_43b_1_0+b_4_21b_1_0^3+b_2_5b_1_0^5+b_2_5b_4_21b_1_0+b_2_5^2b_3_11+b_2_5^2b_1_0^3+b_2_5^3b_1_0+b_2_4b_1_0^5+b_2_4b_4_21b_1_0+b_2_4b_2_5b_3_11+b_2_4^3b_1_0+b_2_3b_2_4b_3_11+b_2_3^2b_3_11+b_2_5^2a_3_4,b_1_1^4b_3_13+b_6_43b_1_1+b_4_22b_1_1^3+b_2_6b_4_22b_1_1+b_2_4b_4_22b_1_1+b_2_3b_5_31+b_2_3b_1_1^5+b_2_3b_2_6b_3_13+b_2_3^2b_3_13+b_2_3^2b_3_11+b_2_3^2b_2_6b_1_1+b_2_3^3b_1_1,a_3_4b_5_31+b_1_1a_7_17+b_2_5^2b_1_0a_3_4,b_2_3b_2_6b_1_1b_3_13+b_2_3b_2_6b_4_21+b_2_3b_2_4b_4_21+b_2_3^2b_1_1b_3_13+b_2_3^2b_4_21+b_2_3^2b_2_6^2+b_2_3^2b_2_4^2+b_2_3^3b_1_1^2+b_2_3^3b_2_4,b_2_4b_2_5b_4_22+b_2_4^2b_4_22+b_2_4^2b_2_5b_1_0^2+b_2_4^3b_1_0^2+b_2_3b_2_4b_4_22+b_1_1a_7_17+b_4_22b_1_0a_3_4,b_2_4b_2_5b_1_0b_3_11+b_2_4b_2_5b_1_0^4+b_2_4b_2_5b_4_21+b_2_4^2b_1_0b_3_11+b_2_4^2b_1_0^4+b_2_4^2b_4_21+b_2_3b_2_4b_4_21+b_2_5^2b_1_0a_3_4,b_2_4b_1_1b_5_31+b_2_3b_1_1b_5_31+b_2_3b_1_1^3b_3_13+b_2_3b_6_43+b_2_3b_4_22b_1_1^2+b_2_3b_2_6b_4_22+b_2_3b_2_6b_4_21+b_2_3b_2_4b_4_22+b_2_3^2b_1_1^4+b_2_3^2b_4_21+b_2_3^2b_2_6^2+b_2_3^2b_2_4^2+b_2_3^3b_2_6,b_2_5b_2_6b_4_22+b_2_5b_2_6b_4_21+b_2_4b_2_5b_4_21+b_2_4^2b_4_22+b_2_4^2b_2_5b_1_0^2+b_2_4^3b_1_0^2+b_2_3b_2_6b_4_22+b_2_3b_2_6b_4_21+b_2_3b_2_4b_4_21+b_2_5^2b_1_0a_3_4,b_2_5b_2_6b_1_2b_3_12+b_2_5b_2_6b_4_21+b_2_4b_2_5b_1_0^4+b_2_4^2b_1_0b_3_11+b_2_4^2b_1_0^4+b_2_4^2b_4_21+b_2_4^2b_2_5b_1_0^2+b_2_3b_2_6b_4_21,b_2_5b_4_21b_1_2^2+b_2_5b_4_21b_1_0^2+b_2_5b_2_6b_1_2^4+b_2_5b_2_6b_4_21+b_2_5^2b_1_2b_3_12+b_2_5^2b_1_0^4+b_2_5^3b_1_2^2+b_2_5^3b_1_0^2+b_2_4b_2_5b_1_0^4+b_2_4b_2_5b_4_21+b_2_4^2b_1_0b_3_11+b_2_4^2b_1_0^4+b_2_4^2b_2_5b_1_0^2+b_2_3b_2_6b_4_21+b_2_3b_2_4b_4_21+b_1_2a_7_17+b_2_5^2b_1_0a_3_4,b_2_5b_1_0^6+b_2_5b_6_43+b_2_5b_4_21b_1_0^2+b_2_5b_2_6b_1_2^4+b_2_5^2b_1_2b_3_12+b_2_4b_1_0^6+b_2_4b_6_43+b_2_4b_4_21b_1_0^2+b_2_4b_2_5b_1_0^4+b_2_4^2b_1_0b_3_11+b_2_4^2b_2_5b_1_0^2+b_2_3b_6_43+b_1_2a_7_17+b_1_1a_7_17+b_1_0a_7_17+b_2_5^2b_1_0a_3_4,b_4_21^2+b_2_6b_4_21b_1_2^2+b_2_5b_2_6b_1_2^4+b_2_5b_2_6b_4_21+b_2_5^4+b_2_4^2b_1_0^4+b_2_4^2b_4_22+b_2_4^2b_4_21+b_2_4^4+b_2_3b_1_1^3b_3_13+b_2_3b_6_43+b_2_3b_4_22b_1_1^2+b_2_3b_2_4b_4_22+b_2_3^2b_4_22+b_2_3^2b_4_21+b_2_3^3b_2_6+b_2_3^4,b_4_22b_1_0b_3_11+b_2_5b_6_43+b_2_5b_2_6b_1_2^4+b_2_5^2b_1_2b_3_12+b_2_5^2b_1_0b_3_11+b_2_5^2b_1_0^4+b_2_5^3b_1_0^2+b_2_4b_1_0^6+b_2_4b_6_43+b_2_4b_4_21b_1_0^2+b_2_4b_2_5b_1_0^4+b_2_4b_2_5b_4_21+b_2_4^2b_1_0^4+b_2_4^2b_4_21+b_2_3b_6_43+b_2_3b_2_4b_4_21+b_1_2a_7_17+b_1_1a_7_17+b_1_0a_7_17+b_4_22b_1_0a_3_4+b_2_5^2b_1_0a_3_4,b_3_11b_5_31+b_6_43b_1_0^2+b_2_5^2b_1_0b_3_11+b_2_5^2b_1_0^4+b_2_4b_6_43+b_2_4^2b_1_0^4+b_2_4^2b_4_21+b_2_4^3b_1_0^2+b_2_3b_1_1^3b_3_13+b_2_3b_4_22b_1_1^2+b_2_3b_2_4b_4_21+b_2_3^2b_1_1b_3_13+b_2_3^2b_1_1^4+b_2_3^2b_4_22+b_2_3^2b_2_4^2+b_2_3^3b_1_1^2+b_1_1a_7_17,b_3_12b_5_31+b_6_43b_1_0^2+b_2_6b_1_1^3b_3_13+b_2_6b_6_43+b_2_6b_4_22b_1_1^2+b_2_6b_4_21b_1_2^2+b_2_6^2b_1_2b_3_12+b_2_6^2b_4_22+b_2_6^2b_4_21+b_2_5^2b_1_0b_3_11+b_2_5^2b_1_0^4+b_2_4b_1_0^6+b_2_4b_4_21b_1_0^2+b_2_4b_2_5b_1_0^4+b_2_4b_2_5b_4_21+b_2_4^2b_1_0b_3_11+b_2_4^2b_1_0^4+b_2_4^2b_4_22+b_2_4^2b_4_21+b_2_3b_1_1^3b_3_13+b_2_3b_6_43+b_2_3b_4_22b_1_1^2+b_2_3b_2_6b_4_22+b_2_3b_2_6^3+b_2_3b_2_4b_4_22+b_2_3b_2_4b_4_21+b_2_3b_2_4^3+b_2_3^2b_4_21+b_2_3^2b_2_4^2+b_2_3^3b_1_1^2+b_2_3^3b_2_4+b_1_1a_7_17+b_2_5^2b_1_0a_3_4,b_6_43a_3_4+b_2_3a_7_17,b_1_1^2a_7_17,b_2_3b_4_22b_3_11+b_2_3b_4_21b_3_13+b_2_3b_2_6b_4_22b_1_1+b_2_3b_2_4b_4_22b_1_1+b_2_3^2b_5_31+b_2_3^2b_1_1^2b_3_13+b_2_3^2b_4_22b_1_1+b_2_3^2b_2_6b_3_13+b_2_3^3b_3_11+b_2_3^3b_2_4b_1_1,b_2_4^3b_2_5b_1_0+b_2_4^4b_1_0+b_2_4a_7_17+b_2_3a_7_17,b_2_4b_4_22b_3_11+b_2_4b_4_21b_3_13+b_2_4b_2_5b_1_0^5+b_2_4b_2_5b_4_21b_1_0+b_2_3b_2_4b_5_31+b_2_3b_2_4b_4_22b_1_1+b_2_3b_2_4^2b_3_13+b_2_3^2b_1_1^2b_3_13+b_2_3^2b_2_4b_3_11+b_2_3^3b_3_13+b_2_3^3b_3_11+b_2_3^3b_2_4b_1_1,b_2_4b_6_43b_1_1+b_2_3b_6_43b_1_1+b_2_3b_2_6b_4_22b_1_1+b_2_3b_2_4b_5_31+b_2_3b_2_4b_4_22b_1_1+b_2_3b_2_4^2b_3_13+b_2_3^2b_5_31+b_2_3^2b_1_1^2b_3_13+b_2_3^2b_4_22b_1_1+b_2_3^2b_2_6b_3_13+b_2_3^2b_2_4b_3_13+b_2_3^2b_2_4b_3_11+b_2_3^3b_3_13+b_2_3^3b_1_1^3+b_2_3^3b_2_6b_1_1+b_2_3^4b_1_1,b_2_5^2b_4_21b_1_0+b_2_5^3b_3_11+b_2_5^3b_1_0^3+b_2_5^4b_1_0+b_2_4^2b_4_21b_1_0+b_2_4^2b_2_5b_3_11+b_2_4^3b_1_0^3+b_2_4^4b_1_0+b_2_3^2b_2_4b_3_11+b_2_3^3b_3_11+b_1_0^2a_7_17+b_2_5^3a_3_4,b_2_5b_2_6b_4_21b_1_2+b_2_5b_2_6^2b_3_12+b_2_5b_2_6^2b_1_2^3+b_2_4b_2_5b_4_21b_1_0+b_2_4^2b_2_5b_3_11+b_2_4^2b_2_5b_1_0^3+b_2_4^4b_1_0+b_2_3b_2_6^3b_1_1+b_2_3b_2_4^2b_3_11+b_2_3^2b_2_6^2b_1_1+b_2_6a_7_17,b_2_5b_4_22b_3_11+b_2_5^2b_1_0^5+b_2_4b_4_21b_3_13+b_2_4^2b_4_21b_1_0+b_2_4^2b_2_5b_1_0^3+b_2_4^3b_1_0^3+b_2_3b_4_21b_3_13+b_2_3b_2_6b_4_22b_1_1+b_2_3b_2_4b_5_31+b_2_3b_2_4^2b_3_13+b_2_3^2b_5_31+b_2_3^2b_4_22b_1_1+b_2_3^2b_2_6b_3_13+b_2_3^2b_2_4b_3_11+b_2_3^3b_3_13+b_1_0^2a_7_17+b_2_5b_4_22a_3_4+b_2_3a_7_17,b_4_21b_4_22b_1_0+b_2_5b_4_21b_1_0^3+b_2_5^2b_4_22b_1_0+b_2_5^3b_1_0^3+b_2_3a_7_17,b_6_43b_3_11+b_6_43b_1_0^3+b_4_21b_1_0^5+b_2_5^2b_1_0^5+b_2_4b_4_21b_1_0^3+b_2_4b_2_5b_1_0^5+b_2_4^2b_5_31+b_2_4^2b_1_0^5+b_2_4^2b_4_21b_1_0+b_2_4^2b_2_5b_1_0^3+b_2_4^3b_3_13+b_2_4^3b_1_0^3+b_2_3b_2_4b_5_31+b_2_3b_2_4b_4_22b_1_1+b_2_3b_2_4^2b_3_11+b_2_3^2b_1_1^2b_3_13+b_2_3^2b_2_4b_3_13+b_2_3^3b_3_13+b_2_3^3b_3_11+b_2_3^3b_1_1^3+b_2_3^4b_1_1+b_1_0^2a_7_17+b_2_3a_7_17,b_6_43b_3_12+b_6_43b_1_0^3+b_4_21b_1_0^5+b_2_6b_4_21b_3_13+b_2_6b_4_21b_1_2^3+b_2_6^2b_4_21b_1_2+b_2_5b_2_6b_1_2^5+b_2_5b_2_6^2b_3_12+b_2_5^2b_1_0^5+b_2_4b_6_43b_1_0+b_2_4b_4_21b_3_13+b_2_4^2b_5_31+b_2_4^2b_1_0^5+b_2_4^2b_2_5b_3_11+b_2_4^2b_2_5b_1_0^3+b_2_4^3b_3_13+b_2_4^3b_1_0^3+b_2_4^4b_1_0+b_2_3b_2_6b_4_22b_1_1+b_2_3b_2_6^3b_1_1+b_2_3b_2_4^2b_3_13+b_2_3^2b_5_31+b_2_3^2b_4_22b_1_1+b_2_3^2b_2_4b_3_13+b_2_3^2b_2_4b_3_11+b_2_3^3b_2_6b_1_1+b_2_3^3b_2_4b_1_1+b_1_0^2a_7_17+b_2_6a_7_17+b_2_3a_7_17,b_1_1^4b_5_31+b_6_43b_3_13+b_4_22b_1_1^2b_3_13+b_4_22b_1_1^5+b_4_21b_5_31+b_4_21b_1_0^5+b_2_6b_4_22b_3_13+b_2_6b_4_22b_1_1^3+b_2_6b_4_21b_3_13+b_2_5b_4_21b_1_0^3+b_2_5b_2_6^2b_1_2^3+b_2_5^3b_3_12+b_2_5^3b_3_11+b_2_5^4b_1_0+b_2_4b_4_22b_3_13+b_2_4b_2_5b_1_0^5+b_2_4^2b_1_0^5+b_2_4^2b_2_5b_3_11+b_2_4^2b_2_5b_1_0^3+b_2_4^3b_3_11+b_2_3b_1_1^2b_5_31+b_2_3b_6_43b_1_1+b_2_3b_4_22b_1_1^3+b_2_3b_4_21b_3_13+b_2_3b_2_6b_5_31+b_2_3b_2_6b_4_22b_1_1+b_2_3b_2_6^2b_3_13+b_2_3b_2_4b_4_22b_1_1+b_2_3b_2_4^2b_3_13+b_2_3^2b_5_31+b_2_3^2b_2_4b_3_11+b_2_3^3b_3_13+b_2_3^4b_1_1+b_1_0^2a_7_17+b_2_6a_7_17+b_2_5^3a_3_4,b_2_3b_1_1a_7_17,b_2_4b_1_1a_7_17,b_2_6b_1_1a_7_17,b_3_13a_7_17,b_2_3b_2_6b_1_1b_5_31+b_2_3b_2_6b_6_43+b_2_3b_2_6^2b_4_22+b_2_3b_2_6^2b_4_21+b_2_3b_2_4b_6_43+b_2_3b_2_4^2b_4_22+b_2_3b_2_4^2b_4_21+b_2_3^2b_1_1b_5_31+b_2_3^2b_1_1^3b_3_13+b_2_3^2b_6_43+b_2_3^2b_4_22b_1_1^2+b_2_3^2b_2_6b_4_21+b_2_3^2b_2_6^3+b_2_3^2b_2_4^3+b_2_3^3b_1_1^4+b_2_3^3b_4_21+b_2_3^3b_2_6^2+b_2_3^3b_2_4^2+b_2_3^4b_2_6,b_2_4^2b_2_5b_4_21+b_2_4^3b_4_21+b_2_3b_2_4^2b_4_21+b_3_11a_7_17+b_1_0^3a_7_17+a_3_4a_7_17,b_2_5b_2_6^2b_4_21+b_2_4^3b_4_21+b_2_3b_2_6^2b_4_21+b_3_12a_7_17+b_1_0^3a_7_17+b_2_4b_1_0a_7_17+a_3_4a_7_17,b_2_5b_2_6b_6_43+b_2_5b_2_6^2b_1_2^4+b_2_4b_2_5b_6_43+b_2_4^2b_2_5b_1_0^4+b_2_3b_2_6b_6_43+b_2_3b_2_4b_6_43+b_2_6b_1_2a_7_17+b_2_4b_1_0a_7_17,b_2_5b_4_21b_4_22+b_2_5b_2_6^2b_1_2^4+b_2_5^3b_1_0b_3_11+b_2_5^3b_1_0^4+b_2_5^3b_4_22+b_2_4b_4_21b_4_22+b_2_4b_2_5b_4_21b_1_0^2+b_2_4^2b_4_21b_1_0^2+b_2_4^3b_1_0b_3_11+b_2_4^3b_4_22+b_2_3b_4_21b_4_22+b_2_3b_2_4^2b_4_22+b_2_3^2b_2_4b_4_22+b_2_3^3b_4_22+b_3_12a_7_17+b_2_6b_1_2a_7_17+b_2_5b_4_22b_1_0a_3_4+b_2_5^3b_1_0a_3_4+b_2_4b_1_0a_7_17,b_4_21b_1_0^6+b_4_21b_6_43+b_2_6b_4_21b_1_2^4+b_2_6b_4_21b_4_22+b_2_5b_4_21b_1_0^4+b_2_5b_2_6b_1_2^6+b_2_5b_2_6^2b_1_2^4+b_2_5^3b_1_2b_3_12+b_2_5^3b_1_0^4+b_2_5^4b_1_0^2+b_2_4b_3_13b_5_31+b_2_4b_4_21b_1_0^4+b_2_4b_4_21b_4_22+b_2_4b_2_5b_4_21b_1_0^2+b_2_4^2b_1_0^6+b_2_4^2b_2_5b_1_0^4+b_2_4^3b_1_0b_3_11+b_2_4^3b_4_22+b_2_4^4b_1_0^2+b_2_4^4b_2_5+b_2_4^5+b_2_3b_3_13b_5_31+b_2_3b_1_1^3b_5_31+b_2_3b_6_43b_1_1^2+b_2_3b_4_22b_1_1b_3_13+b_2_3b_4_22b_1_1^4+b_2_3b_2_6^2b_4_22+b_2_3b_2_6^2b_4_21+b_2_3b_2_4^2b_4_22+b_2_3b_2_4^2b_4_21+b_2_3b_2_4^4+b_2_3^2b_1_1^3b_3_13+b_2_3^2b_6_43+b_2_3^2b_4_22b_1_1^2+b_2_3^2b_2_6^3+b_2_3^2b_2_4^3+b_2_3^3b_1_1b_3_13+b_2_3^3b_1_1^4+b_2_3^3b_4_22+b_2_3^4b_1_1^2+b_2_3^4b_2_6+b_3_12a_7_17+b_1_0^3a_7_17+b_2_6b_1_2a_7_17+b_2_5b_1_2a_7_17+b_2_5b_1_0a_7_17+b_2_5b_4_22b_1_0a_3_4+b_2_5^3b_1_0a_3_4+a_3_4a_7_17,b_5_31^2+b_6_43b_1_1b_3_13+b_6_43b_1_0^4+b_4_22b_1_1b_5_31+b_4_22b_1_1^3b_3_13+b_4_22^2b_1_1^2+b_4_21b_6_43+b_2_6b_6_43b_1_1^2+b_2_6b_4_22b_1_1b_3_13+b_2_6b_4_22^2+b_2_6b_4_21b_1_2^4+b_2_6b_4_21b_4_22+b_2_6^2b_1_1^3b_3_13+b_2_6^2b_4_22b_1_1^2+b_2_6^2b_4_21b_1_2^2+b_2_5b_6_43b_1_0^2+b_2_5b_4_21b_1_0^4+b_2_5b_2_6b_1_2^6+b_2_5^3b_1_2b_3_12+b_2_4b_3_13b_5_31+b_2_4b_6_43b_1_0^2+b_2_4b_4_21b_1_0^4+b_2_4b_4_21b_4_22+b_2_4b_2_5b_6_43+b_2_4b_2_5b_4_21b_1_0^2+b_2_4^2b_1_0^6+b_2_4^2b_6_43+b_2_4^2b_4_21b_1_0^2+b_2_4^2b_2_5b_1_0^4+b_2_4^3b_1_0b_3_11+b_2_4^3b_1_0^4+b_2_4^3b_4_22+b_2_4^4b_2_5+b_2_4^5+b_2_3b_1_1^3b_5_31+b_2_3b_1_1^8+b_2_3b_4_22b_1_1b_3_13+b_2_3b_4_21b_4_22+b_2_3b_2_4b_6_43+b_2_3b_2_4^2b_4_22+b_2_3b_2_4^4+b_2_3^2b_1_1b_5_31+b_2_3^2b_1_1^3b_3_13+b_2_3^2b_1_1^6+b_2_3^2b_4_22b_1_1^2+b_2_3^2b_2_6b_4_21+b_2_3^2b_2_4b_4_21+b_2_3^3b_1_1b_3_13+b_2_3^3b_1_1^4+b_2_3^3b_4_21+b_2_3^4b_1_1^2+b_2_3^4b_2_6+b_3_11a_7_17+b_1_0^3a_7_17+b_2_6b_1_2a_7_17+b_2_5b_1_2a_7_17+b_2_5b_1_0a_7_17+b_2_5^3b_1_0a_3_4+a_3_4a_7_17+c_8_83b_1_1^2,b_2_3^2a_7_17,b_2_3b_2_4a_7_17,b_2_3b_2_6a_7_17,b_2_4b_2_5a_7_17+b_2_4^2a_7_17+b_1_0a_3_4a_7_17,b_2_5b_2_6a_7_17+b_2_4^2a_7_17,b_1_2b_3_12a_7_17+b_1_0^4a_7_17+b_4_21a_7_17+b_2_5^2a_7_17+b_2_4b_1_0^2a_7_17+b_2_4^2a_7_17+b_1_0a_3_4a_7_17,b_2_3b_2_6b_4_21b_3_13+b_2_3b_2_6^2b_4_22b_1_1+b_2_3b_2_4b_4_21b_3_13+b_2_3^2b_4_21b_3_13+b_2_3^2b_2_6b_5_31+b_2_3^2b_2_6^2b_3_13+b_2_3^2b_2_4b_5_31+b_2_3^2b_2_4b_4_22b_1_1+b_2_3^2b_2_4^2b_3_13+b_2_3^3b_5_31+b_2_3^3b_1_1^2b_3_13+b_2_3^3b_4_22b_1_1+b_2_3^3b_2_4b_3_13+b_2_3^4b_3_11+b_2_3^4b_2_4b_1_1,b_2_3b_2_6b_6_43b_1_1+b_2_3b_2_6^2b_4_22b_1_1+b_2_3^2b_6_43b_1_1+b_2_3^2b_4_21b_3_13+b_2_3^2b_2_6b_5_31+b_2_3^2b_2_6b_4_22b_1_1+b_2_3^2b_2_6^2b_3_13+b_2_3^3b_2_6^2b_1_1+b_2_3^3b_2_4b_3_13+b_2_3^3b_2_4b_3_11+b_2_3^4b_3_13+b_2_3^4b_1_1^3+b_2_3^4b_2_6b_1_1+b_2_3^5b_1_1,b_2_4b_6_43b_3_13+b_2_4b_4_21b_5_31+b_2_4b_4_21b_1_0^5+b_2_4b_2_5b_4_21b_1_0^3+b_2_4^2b_4_21b_3_13+b_2_4^2b_2_5b_1_0^5+b_2_4^3b_1_0^5+b_2_4^3b_2_5b_3_11+b_2_4^4b_3_11+b_2_3b_6_43b_3_13+b_2_3b_4_21b_5_31+b_2_3b_2_6b_4_22b_3_13+b_2_3b_2_6^2b_4_22b_1_1+b_2_3b_2_4b_4_22b_3_13+b_2_3b_2_4^2b_5_31+b_2_3b_2_4^3b_3_11+b_2_3^2b_1_1^2b_5_31+b_2_3^2b_4_22b_3_13+b_2_3^2b_4_22b_1_1^3+b_2_3^2b_2_6b_4_22b_1_1+b_2_3^2b_2_4b_5_31+b_2_3^2b_2_4b_4_22b_1_1+b_2_3^2b_2_4^2b_3_13+b_2_3^3b_4_22b_1_1+b_2_3^3b_2_6b_3_13+b_2_3^3b_2_4b_3_13+b_2_3^4b_3_11+b_2_3^4b_1_1^3+b_2_3^5b_1_1+b_2_4b_1_0^2a_7_17,b_2_5b_2_6^3b_3_12+b_2_5b_2_6^3b_1_2^3+b_2_4^3b_2_5b_3_11+b_2_4^4b_1_0^3+b_2_4^5b_1_0+b_2_3b_2_6^4b_1_1+b_2_3b_2_4^3b_3_11+b_2_3^2b_2_6^3b_1_1+b_1_0b_3_11a_7_17+b_1_0^4a_7_17+b_4_21a_7_17+b_2_6^2a_7_17+b_2_5^2a_7_17+b_2_4b_1_0^2a_7_17+b_2_4^2a_7_17,b_4_22b_6_43b_1_0+b_2_5b_6_43b_1_0^3,b_1_1^3b_3_13b_5_31+b_6_43b_5_31+b_6_43b_1_0^5+b_4_22b_1_1^2b_5_31+b_4_21b_4_22b_3_13+b_2_6b_4_22b_5_31+b_2_6b_4_21b_5_31+b_2_5b_6_43b_1_0^3+b_2_5b_4_21b_1_0^5+b_2_5^2b_6_43b_1_0+b_2_5^3b_1_0^5+b_2_4b_4_22b_5_31+b_2_4^2b_6_43b_1_0+b_2_4^2b_4_21b_1_0^3+b_2_4^2b_2_5b_1_0^5+b_2_3b_4_22b_1_1^2b_3_13+b_2_3b_4_22b_1_1^5+b_2_3b_4_21b_5_31+b_2_3b_2_6b_4_22b_3_13+b_2_3b_2_6^2b_5_31+b_2_3b_2_4^2b_5_31+b_2_3^2b_1_1^7+b_2_3^2b_6_43b_1_1+b_2_3^2b_4_22b_3_13+b_2_3^2b_4_22b_1_1^3+b_2_3^2b_2_6b_5_31+b_2_3^2b_2_6^2b_3_13+b_2_3^2b_2_4b_5_31+b_2_3^3b_5_31+b_2_3^3b_1_1^2b_3_13+b_2_3^3b_1_1^5+b_2_3^3b_2_6b_3_13+b_2_3^3b_2_6^2b_1_1+b_2_3^3b_2_4b_3_11+b_2_3^4b_3_11+b_2_3^4b_2_6b_1_1+b_2_3^4b_2_4b_1_1+b_2_3^5b_1_1+b_4_21a_7_17+b_2_5b_1_0^2a_7_17+b_2_5^2a_7_17+b_2_3c_8_83b_1_1,b_2_3b_3_11a_7_17,b_2_5b_3_11a_7_17+b_2_5b_1_0^3a_7_17+b_2_4b_3_11a_7_17+b_2_4b_1_0^3a_7_17+b_2_5a_3_4a_7_17,b_2_5b_3_12a_7_17+b_2_5b_1_0^3a_7_17+b_2_4b_3_11a_7_17+b_2_4b_1_0^3a_7_17+b_2_4^2b_1_0a_7_17+b_2_5a_3_4a_7_17,b_5_31a_7_17+b_1_0^5a_7_17+b_4_22b_1_1a_7_17+b_2_5b_1_0^3a_7_17+b_2_5^2b_1_0a_7_17+b_2_4^2b_1_0a_7_17+b_2_5a_3_4a_7_17,b_2_3b_4_21b_6_43+b_2_3b_2_6b_4_21b_4_22+b_2_3b_2_4b_3_13b_5_31+b_2_3b_2_4b_4_21b_4_22+b_2_3b_2_4^3b_4_22+b_2_3^2b_3_13b_5_31+b_2_3^2b_1_1^3b_5_31+b_2_3^2b_6_43b_1_1^2+b_2_3^2b_4_22b_1_1b_3_13+b_2_3^2b_4_22b_1_1^4+b_2_3^2b_2_6^2b_4_22+b_2_3^2b_2_6^2b_4_21+b_2_3^2b_2_4^2b_4_22+b_2_3^2b_2_4^2b_4_21+b_2_3^3b_1_1^3b_3_13+b_2_3^3b_6_43+b_2_3^3b_4_22b_1_1^2+b_2_3^3b_2_6^3+b_2_3^3b_2_4^3+b_2_3^4b_1_1b_3_13+b_2_3^4b_1_1^4+b_2_3^4b_4_22+b_2_3^5b_1_1^2+b_2_3^5b_2_6,b_2_5b_2_6^3b_1_2^4+b_2_4^4b_1_0^4+b_4_21b_1_2a_7_17+b_4_21b_1_0a_7_17+b_2_6b_3_12a_7_17+b_2_6^2b_1_2a_7_17+b_2_5^2b_1_2a_7_17+b_2_5^2b_1_0a_7_17+b_2_4b_3_11a_7_17+b_2_4b_1_0^3a_7_17,b_2_5b_4_22b_6_43+b_2_5b_2_6^2b_1_2^6+b_2_5^2b_6_43b_1_0^2+b_2_4b_4_22b_6_43+b_2_4b_2_5b_6_43b_1_0^2+b_2_4^2b_2_5b_6_43+b_2_4^3b_1_0^6+b_2_4^3b_6_43+b_2_3b_4_22b_6_43+b_2_3b_2_4^2b_6_43+b_4_22b_1_1a_7_17+b_4_22b_1_0a_7_17+b_4_21b_1_0a_7_17+b_2_6b_1_2^3a_7_17+b_2_5b_1_0^3a_7_17+b_2_5^2b_1_0a_7_17+b_2_5^2b_4_22b_1_0a_3_4+b_2_4b_1_0^3a_7_17,b_2_6b_4_21b_6_43+b_2_6^2b_4_21b_1_2^4+b_2_6^2b_4_21b_4_22+b_2_5b_2_6^2b_1_2^6+b_2_4b_4_21b_6_43+b_2_4^2b_4_21b_1_0^4+b_2_4^2b_4_21b_4_22+b_2_4^2b_2_5b_6_43+b_2_4^3b_1_0^6+b_2_4^3b_6_43+b_2_3b_2_6b_3_13b_5_31+b_2_3b_2_6b_4_21b_4_22+b_2_3b_2_6^3b_4_22+b_2_3b_2_6^3b_4_21+b_2_3b_2_4b_3_13b_5_31+b_2_3b_2_4b_4_21b_4_22+b_2_3b_2_4^2b_6_43+b_2_3b_2_4^3b_4_22+b_2_3b_2_4^3b_4_21+b_2_3^2b_2_6b_6_43+b_2_3^2b_2_6^2b_4_21+b_2_3^2b_2_6^4+b_2_3^2b_2_4b_6_43+b_2_3^2b_2_4^2b_4_21+b_2_3^2b_2_4^4+b_2_3^3b_2_6b_4_22+b_2_3^3b_2_6^3+b_2_3^3b_2_4b_4_22+b_2_3^3b_2_4^3+b_2_3^4b_2_6^2+b_2_3^4b_2_4^2+b_4_21b_1_2a_7_17+b_2_5^2b_1_2a_7_17,b_4_21b_3_13b_5_31+b_2_6b_4_22b_1_1^3b_3_13+b_2_6b_4_22b_6_43+b_2_6b_4_22^2b_1_1^2+b_2_6^2b_4_22^2+b_2_6^2b_4_21b_1_2^4+b_2_6^2b_4_21b_4_22+b_2_6^3b_4_21b_1_2^2+b_2_5b_2_6^2b_1_2^6+b_2_4b_2_5b_6_43b_1_0^2+b_2_4b_2_5b_4_21b_1_0^4+b_2_4^2b_4_22^2+b_2_4^2b_2_5b_6_43+b_2_4^3b_1_0^6+b_2_4^3b_6_43+b_2_3b_1_1^2b_3_13b_5_31+b_2_3b_6_43b_1_1b_3_13+b_2_3b_4_22b_1_1^3b_3_13+b_2_3b_4_22^2b_1_1^2+b_2_3b_2_6b_3_13b_5_31+b_2_3b_2_6b_4_22^2+b_2_3b_2_6^3b_4_22+b_2_3b_2_4b_4_21b_4_22+b_2_3b_2_4^2b_6_43+b_2_3b_2_4^3b_4_22+b_2_3^2b_3_13b_5_31+b_2_3^2b_1_1^8+b_2_3^2b_4_22b_1_1b_3_13+b_2_3^2b_2_6b_6_43+b_2_3^2b_2_4^2b_4_21+b_2_3^3b_1_1^3b_3_13+b_2_3^3b_1_1^6+b_2_3^3b_6_43+b_2_3^3b_4_22b_1_1^2+b_2_3^4b_1_1b_3_13+b_2_3^4b_4_22+b_2_3^4b_4_21+b_2_3^4b_2_4^2+b_4_21b_1_0a_7_17+b_2_6^2b_1_2a_7_17+b_2_5^2b_1_0a_7_17+b_2_4^2b_1_0a_7_17+b_2_3c_8_83b_1_1^2,b_6_43b_1_1^3b_3_13+b_6_43b_1_0^6+b_6_43^2+b_4_22b_6_43b_1_1^2+b_4_21b_6_43b_1_0^2+b_2_6b_4_22b_1_1^3b_3_13+b_2_6b_4_22^2b_1_1^2+b_2_6b_4_21b_1_2^6+b_2_6^2b_4_22^2+b_2_5b_6_43b_1_0^4+b_2_5b_4_21b_6_43+b_2_5b_2_6b_1_2^8+b_2_5^3b_6_43+b_2_5^4b_1_0b_3_11+b_2_5^4b_1_0^4+b_2_4b_6_43b_1_0^4+b_2_4b_2_5b_4_21b_1_0^4+b_2_4^2b_3_13b_5_31+b_2_4^2b_4_21b_1_0^4+b_2_4^2b_2_5b_6_43+b_2_4^3b_4_21b_1_0^2+b_2_4^4b_1_0b_3_11+b_2_4^5b_2_5+b_2_4^6+b_2_3b_1_1^2b_3_13b_5_31+b_2_3b_6_43b_1_1^4+b_2_3b_4_22b_1_1b_5_31+b_2_3b_4_22b_6_43+b_2_3b_2_6b_4_21b_4_22+b_2_3b_2_6^2b_6_43+b_2_3b_2_6^3b_4_21+b_2_3b_2_4b_4_22^2+b_2_3b_2_4^5+b_2_3^2b_3_13b_5_31+b_2_3^2b_4_22b_1_1b_3_13+b_2_3^2b_2_6b_6_43+b_2_3^2b_2_6^2b_4_22+b_2_3^2b_2_6^2b_4_21+b_2_3^2b_2_6^4+b_2_3^2b_2_4^4+b_2_3^3b_1_1^6+b_2_3^3b_2_6b_4_22+b_2_3^3b_2_6b_4_21+b_2_3^3b_2_6^3+b_2_3^3b_2_4b_4_21+b_2_3^4b_1_1^4+b_2_3^4b_4_21+b_2_3^4b_2_4^2+b_2_3^5b_2_6+b_1_0^5a_7_17+b_4_21b_1_2a_7_17+b_4_21b_1_0a_7_17+b_2_5b_1_0^3a_7_17+b_2_5^2b_1_2a_7_17+b_2_5^2b_1_0a_7_17+b_2_5^4b_1_0a_3_4+b_2_4b_1_0^3a_7_17+b_2_4^2b_1_0a_7_17+b_2_3^2c_8_83,b_2_3b_4_21a_7_17+b_2_5b_1_0a_3_4a_7_17,b_2_4b_4_22a_7_17+b_2_4^2b_1_0^2a_7_17+b_2_3b_4_22a_7_17,b_2_4b_1_0b_3_11a_7_17+b_2_4b_1_0^4a_7_17+b_2_4b_4_21a_7_17+b_2_5b_1_0a_3_4a_7_17,b_2_5b_4_21a_7_17+b_2_5^3a_7_17+b_2_4b_4_21a_7_17+b_2_4^3a_7_17,b_2_6b_4_22a_7_17+b_2_6b_4_21a_7_17+b_2_4b_4_21a_7_17+b_2_4^2b_1_0^2a_7_17+b_2_5b_1_0a_3_4a_7_17,b_1_0^6a_7_17+b_6_43a_7_17+b_4_21b_1_2^2a_7_17+b_2_6b_4_21a_7_17+b_2_5b_1_0^4a_7_17+b_2_5^2b_1_2^2a_7_17+b_2_5^2b_1_0^2a_7_17+b_2_4b_1_0^4a_7_17+b_2_4b_4_21a_7_17+b_2_4^2b_1_0^2a_7_17,b_2_3b_2_6b_6_43b_3_13+b_2_3b_2_6b_4_21b_5_31+b_2_3b_2_6^2b_4_22b_3_13+b_2_3b_2_6^3b_4_22b_1_1+b_2_3b_2_4^2b_4_22b_3_13+b_2_3b_2_4^2b_4_21b_3_13+b_2_3^2b_6_43b_3_13+b_2_3^2b_4_21b_5_31+b_2_3^2b_2_4b_4_21b_3_13+b_2_3^2b_2_4^2b_5_31+b_2_3^3b_1_1^2b_5_31+b_2_3^3b_4_22b_3_13+b_2_3^3b_4_22b_1_1^3+b_2_3^3b_2_6b_5_31+b_2_3^3b_2_6b_4_22b_1_1+b_2_3^3b_2_6^2b_3_13+b_2_3^3b_2_4b_5_31+b_2_3^3b_2_4^2b_3_13+b_2_3^4b_1_1^2b_3_13+b_2_3^4b_4_22b_1_1+b_2_3^4b_2_6b_3_13+b_2_3^4b_2_4b_3_13+b_2_3^4b_2_4b_3_11+b_2_3^5b_3_13+b_2_3^5b_1_1^3+b_2_3^5b_2_4b_1_1+b_2_3^6b_1_1,b_2_4b_6_43b_5_31+b_2_4b_6_43b_1_0^5+b_2_4b_4_21b_4_22b_3_13+b_2_4b_2_5b_6_43b_1_0^3+b_2_4b_2_5b_4_21b_1_0^5+b_2_4^2b_4_21b_5_31+b_2_4^3b_4_21b_1_0^3+b_2_3b_6_43b_5_31+b_2_3b_4_21b_4_22b_3_13+b_2_3b_2_6b_4_22b_5_31+b_2_3b_2_6b_4_21b_5_31+b_2_3b_2_4b_4_22b_5_31+b_2_3b_2_4b_4_21b_5_31+b_2_3b_2_4^2b_4_22b_3_13+b_2_3^2b_1_1b_3_13b_5_31+b_2_3^2b_4_22b_5_31+b_2_3^2b_4_21b_5_31+b_2_3^2b_2_6b_4_22b_3_13+b_2_3^2b_2_6^2b_5_31+b_2_3^2b_2_4b_4_22b_3_13+b_2_3^2b_2_4^2b_5_31+b_2_3^2b_2_4^3b_3_13+b_2_3^3b_4_22b_1_1^3+b_2_3^3b_2_6b_5_31+b_2_3^3b_2_6b_4_22b_1_1+b_2_3^3b_2_6^2b_3_13+b_2_3^3b_2_4b_5_31+b_2_3^3b_2_4b_4_22b_1_1+b_2_3^3b_2_4^2b_3_11+b_2_3^4b_1_1^2b_3_13+b_2_3^4b_1_1^5+b_2_3^4b_2_6^2b_1_1+b_2_3^4b_2_4b_3_13+b_2_3^5b_2_4b_1_1+b_2_4b_4_21a_7_17+b_2_4^2b_1_0^2a_7_17+b_2_4^3a_7_17+b_2_5b_1_0a_3_4a_7_17+b_2_3b_2_4c_8_83b_1_1+b_2_3^2c_8_83b_1_1,b_4_21b_6_43b_3_13+b_2_6b_4_21b_4_22b_3_13+b_2_4b_4_21b_4_22b_3_13+b_2_4b_2_5b_4_21b_1_0^5+b_2_4^2b_4_22b_5_31+b_2_4^2b_4_21b_1_0^5+b_2_4^2b_2_5b_6_43b_1_0+b_2_4^3b_4_22b_3_13+b_2_4^3b_4_21b_1_0^3+b_2_4^4b_1_0^5+b_2_4^4b_2_5b_3_11+b_2_4^5b_3_11+b_2_4^5b_1_0^3+b_2_3b_6_43b_5_31+b_2_3b_6_43b_1_1^2b_3_13+b_2_3b_4_22b_6_43b_1_1+b_2_3b_2_6b_4_21b_5_31+b_2_3b_2_6^2b_4_22b_3_13+b_2_3b_2_6^3b_4_22b_1_1+b_2_3b_2_4b_4_22b_5_31+b_2_3b_2_4b_4_22^2b_1_1+b_2_3b_2_4^2b_4_22b_3_13+b_2_3b_2_4^4b_3_11+b_2_3^2b_6_43b_3_13+b_2_3^2b_4_22b_1_1^2b_3_13+b_2_3^2b_4_21b_5_31+b_2_3^2b_2_6b_4_22b_3_13+b_2_3^2b_2_6^2b_4_22b_1_1+b_2_3^2b_2_4b_4_21b_3_13+b_2_3^2b_2_4^2b_5_31+b_2_3^3b_1_1^2b_5_31+b_2_3^3b_6_43b_1_1+b_2_3^3b_4_21b_3_13+b_2_3^3b_2_6b_5_31+b_2_3^3b_2_6b_4_22b_1_1+b_2_3^3b_2_6^2b_3_13+b_2_3^3b_2_4b_5_31+b_2_3^3b_2_4b_4_22b_1_1+b_2_3^4b_1_1^2b_3_13+b_2_3^4b_2_6b_3_13+b_2_3^4b_2_4b_3_11+b_2_3^5b_3_11+b_2_3^5b_1_1^3+b_2_3^5b_2_6b_1_1+b_2_3^5b_2_4b_1_1+b_2_3^6b_1_1+b_4_21b_1_2^2a_7_17+b_4_21b_1_0^2a_7_17+b_2_5^2b_1_2^2a_7_17+b_2_5^2b_1_0^2a_7_17+b_2_4b_1_0^4a_7_17+b_2_4b_4_21a_7_17+b_2_5b_1_0a_3_4a_7_17,a_7_17^2,b_4_22b_3_11a_7_17+b_2_5b_1_0^5a_7_17+b_2_4b_4_21b_1_0a_7_17+b_4_22a_3_4a_7_17,b_6_43b_1_1a_7_17,b_2_4^3b_2_5b_6_43+b_2_4^4b_6_43+b_2_3b_2_4^3b_6_43+b_2_4b_1_0^5a_7_17+b_2_4b_4_21b_1_0a_7_17+b_2_4^3b_1_0a_7_17,b_2_4b_6_43b_1_0^6+b_2_4b_6_43^2+b_2_4b_4_21b_6_43b_1_0^2+b_2_4b_2_5b_6_43b_1_0^4+b_2_4b_2_5b_4_21b_6_43+b_2_4^2b_6_43b_1_0^4+b_2_4^2b_4_21b_6_43+b_2_4^2b_2_5b_6_43b_1_0^2+b_2_4^3b_4_22^2+b_2_4^5b_1_0^4+b_2_4^5b_4_22+b_2_4^6b_1_0^2+b_2_3b_6_43^2+b_2_3b_2_6^2b_4_22^2+b_2_3b_2_4b_4_22b_6_43+b_2_3b_2_4^2b_3_13b_5_31+b_2_3b_2_4^2b_4_22^2+b_2_3b_2_4^2b_4_21b_4_22+b_2_3b_2_4^3b_6_43+b_2_3b_2_4^4b_4_22+b_2_3b_2_4^4b_4_21+b_2_3^2b_6_43b_1_1b_3_13+b_2_3^2b_4_22b_1_1^3b_3_13+b_2_3^2b_4_22b_6_43+b_2_3^2b_4_22^2b_1_1^2+b_2_3^2b_2_6^2b_6_43+b_2_3^2b_2_6^3b_4_21+b_2_3^2b_2_4b_3_13b_5_31+b_2_3^2b_2_4b_4_21b_4_22+b_2_3^2b_2_4^2b_6_43+b_2_3^2b_2_4^3b_4_21+b_2_3^3b_3_13b_5_31+b_2_3^3b_1_1^3b_5_31+b_2_3^3b_4_21b_4_22+b_2_3^3b_2_6b_6_43+b_2_3^3b_2_6^4+b_2_3^3b_2_4^2b_4_21+b_2_3^4b_1_1b_5_31+b_2_3^4b_6_43+b_2_3^4b_2_4b_4_21+b_2_3^4b_2_4^3+b_2_3^5b_1_1^4+b_2_3^5b_4_22+b_2_3^5b_4_21+b_2_3^5b_2_6^2+b_2_3^5b_2_4^2+b_2_3^6b_1_1^2+b_2_3^6b_2_4+b_4_21b_1_0^3a_7_17+b_2_5^2b_1_0^3a_7_17+b_2_4b_1_0^5a_7_17+b_2_4^2b_3_11a_7_17+b_2_4^3b_1_0a_7_17+b_2_3^2b_2_4c_8_83+b_2_3^3c_8_83,b_2_5^2b_4_21b_6_43+b_2_5^4b_6_43+b_2_5^5b_1_0b_3_11+b_2_5^5b_1_0^4+b_2_4^2b_4_21b_6_43+b_2_4^2b_2_5b_6_43b_1_0^2+b_2_4^3b_6_43b_1_0^2+b_2_4^4b_6_43+b_2_4^5b_1_0b_3_11+b_2_4^5b_1_0^4+b_2_3^2b_2_6b_4_21b_4_22+b_2_3^2b_2_4b_3_13b_5_31+b_2_3^2b_2_4b_4_21b_4_22+b_2_3^2b_2_4^3b_4_22+b_2_3^3b_3_13b_5_31+b_2_3^3b_1_1^3b_5_31+b_2_3^3b_6_43b_1_1^2+b_2_3^3b_4_22b_1_1b_3_13+b_2_3^3b_4_22b_1_1^4+b_2_3^3b_2_6^2b_4_22+b_2_3^3b_2_6^2b_4_21+b_2_3^3b_2_4^2b_4_22+b_2_3^3b_2_4^2b_4_21+b_2_3^4b_1_1^3b_3_13+b_2_3^4b_4_22b_1_1^2+b_2_3^4b_2_6^3+b_2_3^4b_2_4^3+b_2_3^5b_1_1b_3_13+b_2_3^5b_1_1^4+b_2_3^5b_4_22+b_2_3^6b_1_1^2+b_2_3^6b_2_6+b_6_43b_1_0a_7_17+b_2_5b_1_0^5a_7_17+b_2_5^2b_1_0^3a_7_17+b_2_5^5b_1_0a_3_4+b_2_4b_1_0^5a_7_17+b_2_4^2b_3_11a_7_17,b_4_21b_4_22b_6_43+b_2_6b_4_21b_4_22^2+b_2_6^2b_4_21b_1_2^6+b_2_5b_4_21b_6_43b_1_0^2+b_2_4b_4_22b_3_13b_5_31+b_2_4b_4_21b_4_22^2+b_2_4^2b_4_21b_6_43+b_2_4^3b_3_13b_5_31+b_2_4^3b_4_22^2+b_2_4^3b_4_21b_1_0^4+b_2_4^4b_4_21b_1_0^2+b_2_4^5b_4_22+b_2_4^6b_1_0^2+b_2_4^6b_2_5+b_2_4^7+b_2_3b_4_22b_3_13b_5_31+b_2_3b_4_22b_1_1^3b_5_31+b_2_3b_4_22b_6_43b_1_1^2+b_2_3b_4_22^2b_1_1b_3_13+b_2_3b_4_22^2b_1_1^4+b_2_3b_2_6^2b_4_22^2+b_2_3b_2_6^2b_4_21b_4_22+b_2_3b_2_4^2b_3_13b_5_31+b_2_3b_2_4^2b_4_22^2+b_2_3b_2_4^2b_4_21b_4_22+b_2_3b_2_4^6+b_2_3^2b_4_22b_1_1^3b_3_13+b_2_3^2b_4_22b_6_43+b_2_3^2b_4_22^2b_1_1^2+b_2_3^2b_2_6^3b_4_22+b_2_3^2b_2_4b_4_21b_4_22+b_2_3^2b_2_4^2b_6_43+b_2_3^2b_2_4^3b_4_22+b_2_3^3b_1_1^3b_5_31+b_2_3^3b_6_43b_1_1^2+b_2_3^3b_4_22^2+b_2_3^3b_4_21b_4_22+b_2_3^3b_2_4b_6_43+b_2_3^4b_4_22b_1_1^2+b_2_3^4b_2_6b_4_22+b_2_3^4b_2_6b_4_21+b_2_3^4b_2_4b_4_21+b_2_3^4b_2_4^3+b_2_3^5b_1_1b_3_13+b_2_3^5b_4_22+b_2_3^5b_4_21+b_2_3^5b_2_6^2+b_2_3^6b_2_6+b_2_3^6b_2_4+b_2_3^7+b_4_21b_1_2^3a_7_17+b_2_6b_1_2^5a_7_17+b_2_5b_4_22b_1_0a_7_17+b_2_5b_4_22^2b_1_0a_3_4+b_2_5^2b_1_2^3a_7_17+b_2_5^2b_1_0^3a_7_17+b_2_5^3b_4_22b_1_0a_3_4+b_2_4b_1_0^5a_7_17+b_2_4b_4_21b_1_0a_7_17+b_2_4^3b_1_0a_7_17,b_6_43b_3_13b_5_31+b_6_43^2b_1_1^2+b_4_22b_1_1^2b_3_13b_5_31+b_2_6b_6_43b_1_1^6+b_2_6b_4_22b_3_13b_5_31+b_2_6b_4_22b_1_1^3b_5_31+b_2_6b_4_22^2b_1_1^4+b_2_6b_4_21b_4_22^2+b_2_6^2b_6_43b_1_1^4+b_2_6^2b_4_22b_1_1^3b_3_13+b_2_6^2b_4_22b_6_43+b_2_6^3b_4_22b_1_1^4+b_2_6^3b_4_22^2+b_2_6^3b_4_21b_4_22+b_2_6^4b_4_21b_1_2^2+b_2_4b_4_22b_3_13b_5_31+b_2_4b_2_5b_6_43b_1_0^4+b_2_4^2b_6_43b_1_0^4+b_2_4^3b_6_43b_1_0^2+b_2_4^3b_4_22^2+b_2_4^3b_4_21b_1_0^4+b_2_3b_1_1^12+b_2_3b_4_22b_3_13b_5_31+b_2_3b_4_22^2b_1_1b_3_13+b_2_3b_2_6b_4_22b_6_43+b_2_3b_2_6^2b_4_22^2+b_2_3b_2_6^4b_4_22+b_2_3b_2_4^2b_3_13b_5_31+b_2_3b_2_4^2b_4_22^2+b_2_3b_2_4^4b_4_22+b_2_3^2b_1_1^10+b_2_3^2b_6_43b_1_1b_3_13+b_2_3^2b_4_22b_1_1^6+b_2_3^2b_4_22^2b_1_1^2+b_2_3^2b_2_6b_3_13b_5_31+b_2_3^2b_2_6b_4_21b_4_22+b_2_3^2b_2_6^2b_6_43+b_2_3^2b_2_6^3b_4_22+b_2_3^2b_2_6^3b_4_21+b_2_3^2b_2_4b_4_21b_4_22+b_2_3^3b_1_1^3b_5_31+b_2_3^3b_1_1^8+b_2_3^3b_4_22b_1_1b_3_13+b_2_3^3b_4_22b_1_1^4+b_2_3^3b_2_6b_6_43+b_2_3^3b_2_6^4+b_2_3^3b_2_4^4+b_2_3^4b_1_1^3b_3_13+b_2_3^4b_6_43+b_2_3^4b_4_22b_1_1^2+b_2_3^4b_2_6b_4_21+b_2_3^4b_2_4b_4_22+b_2_3^4b_2_4b_4_21+b_2_3^4b_2_4^3+b_2_3^5b_1_1b_3_13+b_2_3^5b_1_1^4+b_2_3^5b_2_6^2+b_2_3^6b_2_6+b_2_3^7+b_4_21b_1_2^3a_7_17+b_4_21b_1_0^3a_7_17+b_2_6^3b_1_2a_7_17+b_2_5^2b_1_2^3a_7_17+b_2_5^2b_1_0^3a_7_17+b_2_4b_4_21b_1_0a_7_17+b_2_4^3b_1_0a_7_17+c_8_83b_1_1^6+b_2_3c_8_83b_1_1b_3_13+b_2_3^2c_8_83b_1_1^2+b_2_3^2b_2_6c_8_83+b_2_3^2b_2_4c_8_83+b_2_3^3c_8_83,b_2_3b_6_43a_7_17,b_2_6b_6_43a_7_17+b_2_6b_4_21b_1_2^2a_7_17+b_2_6^2b_4_21a_7_17+b_2_4b_6_43a_7_17+b_2_4b_4_21b_1_0^2a_7_17+b_2_4^2b_4_21a_7_17,b_4_21b_4_22a_7_17+b_2_6b_4_21b_1_2^2a_7_17+b_2_5^2b_4_22a_7_17+b_2_4^3b_1_0^2a_7_17+b_4_22b_1_0a_3_4a_7_17,b_2_3b_2_6b_6_43b_5_31+b_2_3b_2_6^2b_4_22b_5_31+b_2_3b_2_6^2b_4_22^2b_1_1+b_2_3b_2_6^2b_4_21b_5_31+b_2_3b_2_4b_4_21b_4_22b_3_13+b_2_3b_2_4^2b_4_22b_5_31+b_2_3^2b_6_43b_5_31+b_2_3^2b_2_6b_4_22b_5_31+b_2_3^2b_2_6b_4_21b_5_31+b_2_3^2b_2_6^3b_5_31+b_2_3^2b_2_4b_4_22b_5_31+b_2_3^2b_2_4b_4_22^2b_1_1+b_2_3^2b_2_4b_4_21b_5_31+b_2_3^2b_2_4^2b_4_22b_3_13+b_2_3^2b_2_4^3b_5_31+b_2_3^3b_1_1b_3_13b_5_31+b_2_3^3b_4_22b_1_1^2b_3_13+b_2_3^3b_4_22^2b_1_1+b_2_3^3b_4_21b_5_31+b_2_3^3b_2_6b_4_22b_3_13+b_2_3^3b_2_6^2b_5_31+b_2_3^3b_2_6^2b_4_22b_1_1+b_2_3^3b_2_6^3b_3_13+b_2_3^3b_2_4^2b_5_31+b_2_3^4b_4_22b_1_1^3+b_2_3^4b_2_6^2b_3_13+b_2_3^4b_2_6^3b_1_1+b_2_3^4b_2_4^2b_3_11+b_2_3^5b_1_1^2b_3_13+b_2_3^5b_1_1^5+b_2_3^5b_2_6b_3_13+b_2_3^5b_2_6^2b_1_1+b_2_3^5b_2_4b_3_11+b_2_3^6b_3_11+b_2_3^6b_2_6b_1_1+b_2_3^6b_2_4b_1_1+b_2_3^2b_2_6c_8_83b_1_1+b_2_3^3c_8_83b_1_1,b_4_21b_6_43b_5_31+b_4_21b_6_43b_1_0^5+b_2_6b_4_21b_4_22b_5_31+b_2_5b_4_21b_6_43b_1_0^3+b_2_5^4b_6_43b_1_0+b_2_4b_4_21b_4_22b_5_31+b_2_4b_2_5b_4_21b_6_43b_1_0+b_2_4^2b_4_22^2b_3_13+b_2_4^2b_4_21b_6_43b_1_0+b_2_4^2b_2_5b_6_43b_1_0^3+b_2_4^3b_6_43b_1_0^3+b_2_4^3b_4_22b_5_31+b_2_4^4b_4_21b_1_0^3+b_2_4^5b_1_0^5+b_2_4^5b_2_5b_3_11+b_2_4^6b_3_11+b_2_4^6b_1_0^3+b_2_3b_6_43b_1_1^2b_5_31+b_2_3b_6_43^2b_1_1+b_2_3b_4_22b_1_1b_3_13b_5_31+b_2_3b_4_21b_4_22b_5_31+b_2_3b_2_6b_4_22^2b_3_13+b_2_3b_2_6^2b_4_22b_5_31+b_2_3b_2_6^2b_4_22^2b_1_1+b_2_3b_2_6^2b_4_21b_5_31+b_2_3b_2_4^2b_4_22b_5_31+b_2_3b_2_4^2b_4_21b_5_31+b_2_3b_2_4^5b_3_11+b_2_3^2b_1_1^11+b_2_3^2b_6_43b_5_31+b_2_3^2b_6_43b_1_1^5+b_2_3^2b_4_22^2b_3_13+b_2_3^2b_4_22^2b_1_1^3+b_2_3^2b_4_21b_4_22b_3_13+b_2_3^2b_2_6b_4_22b_5_31+b_2_3^2b_2_6^3b_5_31+b_2_3^2b_2_4b_4_22^2b_1_1+b_2_3^2b_2_4b_4_21b_5_31+b_2_3^2b_2_4^2b_4_22b_3_13+b_2_3^2b_2_4^3b_5_31+b_2_3^3b_1_1b_3_13b_5_31+b_2_3^3b_1_1^9+b_2_3^3b_6_43b_3_13+b_2_3^3b_4_22b_1_1^5+b_2_3^3b_4_21b_5_31+b_2_3^3b_2_6b_4_22b_3_13+b_2_3^3b_2_6^2b_4_22b_1_1+b_2_3^3b_2_4b_4_21b_3_13+b_2_3^3b_2_4^2b_5_31+b_2_3^3b_2_4^3b_3_13+b_2_3^4b_1_1^2b_5_31+b_2_3^4b_1_1^7+b_2_3^4b_4_22b_3_13+b_2_3^4b_4_22b_1_1^3+b_2_3^4b_4_21b_3_13+b_2_3^4b_2_6b_5_31+b_2_3^4b_2_6^2b_3_13+b_2_3^4b_2_4b_4_22b_1_1+b_2_3^4b_2_4^2b_3_11+b_2_3^5b_5_31+b_2_3^5b_1_1^5+b_2_3^5b_4_22b_1_1+b_2_3^5b_2_6b_3_13+b_2_3^5b_2_6^2b_1_1+b_2_3^5b_2_4b_3_13+b_2_3^6b_3_11+b_2_3^6b_1_1^3+b_2_3^6b_2_6b_1_1+b_2_3^6b_2_4b_1_1+b_2_3^7b_1_1+b_6_43b_1_0^2a_7_17+b_2_4b_4_21b_1_0^2a_7_17+b_2_4^2b_1_0^4a_7_17+b_2_4^4a_7_17+b_2_5^2b_1_0a_3_4a_7_17+b_2_3c_8_83b_1_1^5+b_2_3^2c_8_83b_3_13+b_2_3^3c_8_83b_1_1,b_2_3b_2_4b_6_43^2+b_2_3b_2_4^3b_4_22^2+b_2_3b_2_4^5b_4_22+b_2_3^2b_6_43^2+b_2_3^2b_2_6^2b_4_22^2+b_2_3^2b_2_4b_4_22b_6_43+b_2_3^2b_2_4^2b_4_22^2+b_2_3^2b_2_4^2b_4_21b_4_22+b_2_3^2b_2_4^3b_6_43+b_2_3^2b_2_4^4b_4_21+b_2_3^3b_6_43b_1_1b_3_13+b_2_3^3b_4_22b_1_1^3b_3_13+b_2_3^3b_4_22b_6_43+b_2_3^3b_4_22^2b_1_1^2+b_2_3^3b_2_6^2b_6_43+b_2_3^3b_2_6^3b_4_21+b_2_3^3b_2_4b_4_21b_4_22+b_2_3^3b_2_4^2b_6_43+b_2_3^3b_2_4^3b_4_21+b_2_3^4b_3_13b_5_31+b_2_3^4b_6_43b_1_1^2+b_2_3^4b_4_22b_1_1b_3_13+b_2_3^4b_4_22b_1_1^4+b_2_3^4b_2_6b_6_43+b_2_3^4b_2_6^4+b_2_3^4b_2_4b_6_43+b_2_3^4b_2_4^2b_4_21+b_2_3^5b_1_1^3b_3_13+b_2_3^5b_4_22b_1_1^2+b_2_3^5b_2_6b_4_22+b_2_3^5b_2_4b_4_22+b_2_3^5b_2_4b_4_21+b_2_3^5b_2_4^3+b_2_3^6b_2_6^2+b_2_3^7b_2_6+b_2_3^7b_2_4+b_2_3^8+b_2_3^3b_2_4c_8_83+b_2_3^4c_8_83,b_2_3b_2_6b_6_43^2+b_2_3b_2_6^3b_4_22^2+b_2_3b_2_4^5b_4_22+b_2_3^2b_6_43^2+b_2_3^2b_2_6b_4_22b_6_43+b_2_3^2b_2_6^2b_4_22^2+b_2_3^2b_2_6^2b_4_21b_4_22+b_2_3^2b_2_6^3b_6_43+b_2_3^2b_2_6^4b_4_21+b_2_3^2b_2_4^2b_4_22^2+b_2_3^3b_6_43b_1_1b_3_13+b_2_3^3b_4_22b_1_1^3b_3_13+b_2_3^3b_4_22b_6_43+b_2_3^3b_4_22^2b_1_1^2+b_2_3^3b_2_6b_4_22^2+b_2_3^3b_2_6b_4_21b_4_22+b_2_3^3b_2_6^2b_6_43+b_2_3^3b_2_6^3b_4_22+b_2_3^3b_2_6^5+b_2_3^3b_2_4b_4_22^2+b_2_3^3b_2_4^2b_6_43+b_2_3^3b_2_4^3b_4_22+b_2_3^3b_2_4^5+b_2_3^4b_3_13b_5_31+b_2_3^4b_6_43b_1_1^2+b_2_3^4b_4_22b_1_1b_3_13+b_2_3^4b_4_22b_1_1^4+b_2_3^4b_2_6^2b_4_22+b_2_3^4b_2_6^2b_4_21+b_2_3^4b_2_4^2b_4_22+b_2_3^4b_2_4^4+b_2_3^5b_1_1^3b_3_13+b_2_3^5b_4_22b_1_1^2+b_2_3^5b_2_6b_4_21+b_2_3^5b_2_4^3+b_2_3^6b_2_4^2+b_2_3^7b_2_6+b_2_3^7b_2_4+b_2_3^8+b_2_3^3b_2_6c_8_83+b_2_3^4c_8_83,b_4_22b_6_43a_7_17+b_2_6b_4_21b_1_2^4a_7_17+b_2_6^2b_4_21b_1_2^2a_7_17+b_2_5b_6_43b_1_0^2a_7_17+b_2_4b_4_21b_1_0^4a_7_17+b_2_4^2b_4_21b_1_0^2a_7_17+b_2_5b_4_22b_1_0a_3_4a_7_17,b_6_43^2b_5_31+b_6_43^2b_1_1^5+b_6_43^2b_1_0^5+b_4_22^2b_6_43b_3_13+b_4_22^3b_1_1^2b_3_13+b_4_22^3b_1_1^5+b_4_21b_4_22^2b_5_31+b_2_6b_6_43b_1_1^9+b_2_6b_4_22b_6_43b_1_1^2b_3_13+b_2_6b_4_22^2b_6_43b_1_1+b_2_6b_4_22^3b_3_13+b_2_6b_4_21b_4_22^2b_3_13+b_2_6^2b_6_43b_1_1^7+b_2_6^2b_4_22^2b_5_31+b_2_6^2b_4_22^2b_1_1^2b_3_13+b_2_6^2b_4_22^3b_1_1+b_2_6^3b_4_22b_1_1^7+b_2_5b_6_43^2b_1_0^3+b_2_5b_4_21b_6_43b_1_0^5+b_2_5^2b_6_43^2b_1_0+b_2_5^3b_6_43b_1_0^5+b_2_5^4b_6_43b_1_0^3+b_2_5^4b_4_22^2b_1_0+b_2_5^6b_1_0^5+b_2_4b_4_22^3b_3_13+b_2_4b_4_21b_6_43b_1_0^5+b_2_4b_2_5b_4_21b_6_43b_1_0^3+b_2_4^2b_6_43^2b_1_0+b_2_4^3b_6_43b_1_0^5+b_2_4^4b_4_22b_5_31+b_2_4^5b_6_43b_1_0+b_2_4^5b_4_21b_1_0^3+b_2_4^6b_2_5b_3_11+b_2_4^7b_3_11+b_2_4^7b_1_0^3+b_2_3b_1_1^15+b_2_3b_4_22b_6_43b_1_1^5+b_2_3b_4_22^2b_1_1^2b_5_31+b_2_3b_4_22^2b_1_1^7+b_2_3b_4_22^2b_6_43b_1_1+b_2_3b_4_22^3b_1_1^3+b_2_3b_4_21b_4_22^2b_3_13+b_2_3b_2_6b_4_22^2b_5_31+b_2_3b_2_6b_4_21b_4_22b_5_31+b_2_3b_2_6^3b_4_22b_5_31+b_2_3b_2_4b_4_22^3b_1_1+b_2_3b_2_4b_4_21b_4_22b_5_31+b_2_3b_2_4^2b_4_22^2b_3_13+b_2_3b_2_4^2b_4_21b_4_22b_3_13+b_2_3b_2_4^6b_3_11+b_2_3^2b_1_1^13+b_2_3^2b_6_43b_1_1^7+b_2_3^2b_4_22b_1_1b_3_13b_5_31+b_2_3^2b_4_22b_6_43b_3_13+b_2_3^2b_4_22b_6_43b_1_1^3+b_2_3^2b_4_22^2b_5_31+b_2_3^2b_4_22^2b_1_1^5+b_2_3^2b_4_22^3b_1_1+b_2_3^2b_4_21b_4_22b_5_31+b_2_3^2b_2_6^2b_4_22^2b_1_1+b_2_3^2b_2_6^2b_4_21b_5_31+b_2_3^2b_2_4^2b_4_22b_5_31+b_2_3^2b_2_4^3b_4_22b_3_13+b_2_3^3b_1_1^11+b_2_3^3b_6_43b_5_31+b_2_3^3b_6_43b_1_1^2b_3_13+b_2_3^3b_4_22b_1_1^2b_5_31+b_2_3^3b_4_22b_1_1^7+b_2_3^3b_4_22^2b_3_13+b_2_3^3b_4_21b_4_22b_3_13+b_2_3^3b_2_6b_4_22b_5_31+b_2_3^3b_2_6b_4_22^2b_1_1+b_2_3^3b_2_6b_4_21b_5_31+b_2_3^3b_2_6^2b_4_22b_3_13+b_2_3^3b_2_6^3b_5_31+b_2_3^3b_2_6^4b_3_13+b_2_3^3b_2_4b_4_22b_5_31+b_2_3^3b_2_4b_4_22^2b_1_1+b_2_3^3b_2_4^2b_4_22b_3_13+b_2_3^4b_1_1^9+b_2_3^4b_6_43b_1_1^3+b_2_3^4b_4_22b_5_31+b_2_3^4b_4_22b_1_1^5+b_2_3^4b_2_6b_4_22b_3_13+b_2_3^4b_2_6^2b_5_31+b_2_3^4b_2_6^3b_3_13+b_2_3^4b_2_6^4b_1_1+b_2_3^4b_2_4b_4_22b_3_13+b_2_3^4b_2_4^2b_5_31+b_2_3^4b_2_4^3b_3_11+b_2_3^5b_1_1^2b_5_31+b_2_3^5b_1_1^7+b_2_3^5b_2_6b_4_22b_1_1+b_2_3^5b_2_6^2b_3_13+b_2_3^5b_2_6^3b_1_1+b_2_3^5b_2_4b_4_22b_1_1+b_2_3^5b_2_4^2b_3_11+b_2_3^6b_5_31+b_2_3^6b_1_1^2b_3_13+b_2_3^6b_1_1^5+b_2_3^6b_2_6b_3_13+b_2_3^6b_2_4b_3_11+b_2_3^7b_3_11+b_2_3^7b_2_4b_1_1+b_2_3^8b_1_1+b_6_43b_1_0^4a_7_17+b_4_21b_6_43a_7_17+b_2_5^3b_4_22^2a_3_4+b_2_5^4b_1_0^2a_7_17+b_2_4b_6_43b_1_0^2a_7_17+b_2_4b_4_21b_1_0^4a_7_17+b_2_4^2b_4_21b_1_0^2a_7_17+b_2_4^3b_1_0^4a_7_17+b_2_4^3b_4_21a_7_17+b_2_4^4b_1_0^2a_7_17+b_2_4^5a_7_17+b_2_5b_4_22b_1_0a_3_4a_7_17+b_2_5^3b_1_0a_3_4a_7_17+c_8_83b_1_1^9+b_2_3^2c_8_83b_5_31+b_2_3^2b_4_22c_8_83b_1_1+b_2_3^2b_2_6^2c_8_83b_1_1+b_2_3^3b_2_4c_8_83b_1_1,b_2_4b_4_22b_6_43^2+b_2_4b_2_5b_6_43^2b_1_0^2+b_2_4^3b_4_22^3+b_2_4^5b_4_22^2+b_2_4^6b_1_0^6+b_2_4^7b_1_0^4+b_2_3b_4_22b_6_43^2+b_2_3b_2_6^2b_4_22^3+b_2_3b_2_4b_4_22^2b_6_43+b_2_3b_2_4^2b_4_22^3+b_2_3b_2_4^2b_4_21b_4_22^2+b_2_3b_2_4^3b_4_22b_6_43+b_2_3b_2_4^4b_4_21b_4_22+b_2_3^2b_4_22b_6_43b_1_1b_3_13+b_2_3^2b_4_22^2b_1_1^3b_3_13+b_2_3^2b_4_22^2b_6_43+b_2_3^2b_4_22^3b_1_1^2+b_2_3^2b_2_6^2b_4_22b_6_43+b_2_3^2b_2_6^3b_4_21b_4_22+b_2_3^2b_2_4b_4_21b_4_22^2+b_2_3^2b_2_4^2b_4_22b_6_43+b_2_3^2b_2_4^3b_4_21b_4_22+b_2_3^3b_4_22b_3_13b_5_31+b_2_3^3b_4_22b_6_43b_1_1^2+b_2_3^3b_4_22^2b_1_1b_3_13+b_2_3^3b_4_22^2b_1_1^4+b_2_3^3b_2_6b_4_22b_6_43+b_2_3^3b_2_6^4b_4_22+b_2_3^3b_2_4b_4_22b_6_43+b_2_3^3b_2_4^2b_4_21b_4_22+b_2_3^4b_4_22b_1_1^3b_3_13+b_2_3^4b_4_22^2b_1_1^2+b_2_3^4b_2_6b_4_22^2+b_2_3^4b_2_4b_4_22^2+b_2_3^4b_2_4b_4_21b_4_22+b_2_3^4b_2_4^3b_4_22+b_2_3^5b_2_6^2b_4_22+b_2_3^6b_2_6b_4_22+b_2_3^6b_2_4b_4_22+b_2_3^7b_4_22+b_2_4^3b_1_0^5a_7_17+b_2_3^2b_2_4b_4_22c_8_83+b_2_3^3b_4_22c_8_83,b_6_43^2b_1_1^9+b_6_43^3b_3_13+b_4_22b_6_43^2b_1_1^2b_3_13+b_4_22b_6_43^2b_1_1^5+b_4_22^2b_6_43^2b_1_1+b_4_22^3b_1_1^9+b_4_22^4b_1_1^5+b_2_6b_6_43b_1_1^13+b_2_6b_4_22b_6_43^2b_3_13+b_2_6^2b_6_43b_1_1^11+b_2_6^2b_4_22^2b_6_43b_3_13+b_2_6^2b_4_22^3b_1_1^2b_3_13+b_2_6^2b_4_22^3b_1_1^5+b_2_6^2b_4_22^4b_1_1+b_2_6^3b_4_22b_1_1^11+b_2_6^3b_4_22^3b_3_13+b_2_4b_2_5b_6_43^2b_1_0^5+b_2_4b_2_5b_4_21b_6_43^2b_1_0+b_2_4^2b_6_43^2b_1_0^5+b_2_4^2b_4_21b_6_43^2b_1_0+b_2_4^4b_4_21b_4_22b_5_31+b_2_4^5b_4_22^2b_3_13+b_2_4^5b_4_21b_6_43b_1_0+b_2_4^5b_4_21b_4_22b_3_13+b_2_4^7b_4_21b_1_0^3+b_2_4^8b_1_0^5+b_2_3b_1_1^19+b_2_3b_4_22b_6_43b_1_1^9+b_2_3b_4_22b_6_43^2b_3_13+b_2_3b_4_22^2b_1_1^11+b_2_3b_4_22^2b_6_43b_5_31+b_2_3b_4_22^3b_1_1^2b_5_31+b_2_3b_4_21b_4_22^3b_3_13+b_2_3b_2_6b_4_22^3b_5_31+b_2_3b_2_6b_4_22^4b_1_1+b_2_3b_2_6^2b_4_22^3b_3_13+b_2_3b_2_6^3b_4_21b_4_22b_5_31+b_2_3b_2_6^5b_4_22^2b_1_1+b_2_3b_2_4b_4_22^3b_5_31+b_2_3b_2_4b_4_21b_4_22^2b_5_31+b_2_3b_2_4^3b_4_22^2b_5_31+b_2_3b_2_4^3b_4_21b_4_22b_5_31+b_2_3b_2_4^4b_4_22^2b_3_13+b_2_3^2b_1_1^17+b_2_3^2b_4_22b_1_1^13+b_2_3^2b_4_22b_6_43b_1_1^7+b_2_3^2b_4_22^2b_1_1^9+b_2_3^2b_4_22^3b_5_31+b_2_3^2b_4_22^3b_1_1^5+b_2_3^2b_4_22^4b_1_1+b_2_3^2b_2_6b_4_22^3b_3_13+b_2_3^2b_2_6^2b_4_22^2b_5_31+b_2_3^2b_2_6^2b_4_22^3b_1_1+b_2_3^2b_2_6^2b_4_21b_4_22b_5_31+b_2_3^2b_2_6^4b_4_22b_5_31+b_2_3^2b_2_6^4b_4_22^2b_1_1+b_2_3^2b_2_4b_4_22^3b_3_13+b_2_3^2b_2_4^3b_4_21b_4_22b_3_13+b_2_3^2b_2_4^4b_4_22b_5_31+b_2_3^2b_2_4^4b_4_21b_5_31+b_2_3^3b_4_22b_1_1^11+b_2_3^3b_4_22b_6_43b_1_1^2b_3_13+b_2_3^3b_4_22b_6_43b_1_1^5+b_2_3^3b_2_6b_4_22^3b_1_1+b_2_3^3b_2_6b_4_21b_4_22b_5_31+b_2_3^3b_2_6^5b_4_22b_1_1+b_2_3^3b_2_4b_4_22^2b_5_31+b_2_3^3b_2_4b_4_22^3b_1_1+b_2_3^3b_2_4b_4_21b_4_22b_5_31+b_2_3^3b_2_4^2b_4_22^2b_3_13+b_2_3^3b_2_4^2b_4_21b_4_22b_3_13+b_2_3^3b_2_4^4b_4_21b_3_13+b_2_3^4b_1_1^13+b_2_3^4b_6_43b_1_1^2b_5_31+b_2_3^4b_6_43b_1_1^7+b_2_3^4b_6_43^2b_1_1+b_2_3^4b_4_22b_1_1^9+b_2_3^4b_4_22b_6_43b_3_13+b_2_3^4b_4_22^2b_5_31+b_2_3^4b_4_22^3b_1_1+b_2_3^4b_2_6b_4_22^2b_3_13+b_2_3^4b_2_6^2b_4_22^2b_1_1+b_2_3^4b_2_6^2b_4_21b_5_31+b_2_3^4b_2_6^3b_4_22b_3_13+b_2_3^4b_2_6^4b_5_31+b_2_3^4b_2_6^4b_4_22b_1_1+b_2_3^4b_2_6^5b_3_13+b_2_3^4b_2_4b_4_22^2b_3_13+b_2_3^4b_2_4^2b_4_22b_5_31+b_2_3^4b_2_4^3b_4_22b_3_13+b_2_3^4b_2_4^3b_4_21b_3_13+b_2_3^4b_2_4^4b_5_31+b_2_3^5b_6_43b_5_31+b_2_3^5b_6_43b_1_1^2b_3_13+b_2_3^5b_4_22b_1_1^7+b_2_3^5b_4_22b_6_43b_1_1+b_2_3^5b_4_22^2b_3_13+b_2_3^5b_4_22^2b_1_1^3+b_2_3^5b_2_6b_4_22b_5_31+b_2_3^5b_2_6^2b_4_22b_3_13+b_2_3^5b_2_6^3b_5_31+b_2_3^5b_2_6^5b_1_1+b_2_3^5b_2_4b_4_22b_5_31+b_2_3^5b_2_4b_4_21b_5_31+b_2_3^5b_2_4^2b_4_22b_3_13+b_2_3^5b_2_4^4b_3_13+b_2_3^5b_2_4^4b_3_11+b_2_3^6b_1_1b_3_13b_5_31+b_2_3^6b_6_43b_1_1^3+b_2_3^6b_4_22b_5_31+b_2_3^6b_4_22b_1_1^2b_3_13+b_2_3^6b_4_22^2b_1_1+b_2_3^6b_2_6^2b_5_31+b_2_3^6b_2_6^3b_3_13+b_2_3^6b_2_6^4b_1_1+b_2_3^6b_2_4b_4_21b_3_13+b_2_3^6b_2_4^3b_3_11+b_2_3^7b_4_22b_1_1^3+b_2_3^7b_2_6b_5_31+b_2_3^7b_2_6^2b_3_13+b_2_3^7b_2_6^3b_1_1+b_2_3^7b_2_4^2b_3_13+b_2_3^7b_2_4^2b_3_11+b_2_3^8b_1_1^2b_3_13+b_2_3^8b_1_1^5+b_2_3^8b_4_22b_1_1+b_2_3^8b_2_6b_3_13+b_2_3^8b_2_6^2b_1_1+b_2_3^8b_2_4b_3_11+b_2_3^9b_3_13+b_2_3^9b_3_11+b_2_3^9b_1_1^3+b_2_3^9b_2_6b_1_1+b_2_3^9b_2_4b_1_1+b_2_6b_4_21b_1_2^8a_7_17+b_2_4b_4_21b_6_43b_1_0^2a_7_17+b_2_4^3b_6_43b_1_0^2a_7_17+b_2_4^5b_4_21a_7_17+b_2_4^6b_1_0^2a_7_17+b_2_4^7a_7_17+c_8_83b_1_1^13+b_2_3b_6_43c_8_83b_1_1^5+b_2_3b_4_22c_8_83b_1_1^7+b_2_3^2c_8_83b_1_1^9+b_2_3^2b_4_22c_8_83b_1_1^5+b_2_3^2b_4_21c_8_83b_5_31+b_2_3^2b_2_6^2b_4_22c_8_83b_1_1+b_2_3^2b_2_4b_4_22c_8_83b_3_13+b_2_3^2b_2_4b_4_21c_8_83b_3_13+b_2_3^3c_8_83b_1_1^2b_5_31+b_2_3^3c_8_83b_1_1^7+b_2_3^3b_4_22c_8_83b_1_1^3+b_2_3^3b_2_6b_4_22c_8_83b_1_1+b_2_3^3b_2_6^2c_8_83b_3_13+b_2_3^3b_2_6^3c_8_83b_1_1+b_2_3^3b_2_4c_8_83b_5_31+b_2_3^3b_2_4b_4_22c_8_83b_1_1+b_2_3^4c_8_83b_5_31+b_2_3^4c_8_83b_1_1^5+b_2_3^4b_2_6^2c_8_83b_1_1+b_2_3^4b_2_4c_8_83b_3_13+b_2_3^5c_8_83b_3_13+b_2_3^5c_8_83b_3_11+b_2_3^5b_2_4c_8_83b_1_1+b_2_3^6c_8_83*b_1_1;
3	ideal p = c_8_83,b_1_1^4 + b_1_2^4 + b_2_4b_1_0^2 + b_2_5b_1_0^2 + b_2_3b_1_1^2 + b_2_3b_2_4 + b_2_4b_2_5 + b_2_5^2 + b_2_6^2 + b_1_0b_3_11 + b_1_2b_3_12 + b_1_1b_3_13 + b_4_22,b_2_4b_1_0^4 + b_2_5b_1_0^4 + b_2_3b_1_1^4 + b_2_4^2b_1_0^2 + b_2_4b_2_5b_1_0^2 + b_2_5^2b_1_0^2 + b_2_6^2b_1_1^2 + b_2_5^2b_1_2^2 + b_2_6^2b_1_2^2 + b_1_1^3b_3_13 + b_2_3^3 + b_2_3^2b_2_4 + b_2_4^3 + b_2_3b_2_6^2 + b_2_5b_2_6^2 + b_4_22b_1_1^2 + b_2_5b_1_0b_3_11 + b_2_6b_1_2b_3_12 + b_2_6b_1_1b_3_13 + b_2_3b_4_22 + b_2_4b_4_22 + b_2_5b_4_22 + b_2_6*b_4_22,b_1_1;

Download in other formats:

Original Format