x(1)*x(66) + x(6)*x(75) + x(11)*x(84) + x(16)*x(93) + x(21)*x(102) + x(26)*x(111) + x(31)*x(120) + x(36)*x(129) + x(41)*x(138) + x(46)*x(147) + x(51)*x(156) + x(56)*x(165) + x(61)*x(174) + 1
x(1)*x(2)*x(66) + x(6)*x(7)*x(75) + x(11)*x(12)*x(84) + x(16)*x(17)*x(93) + x(21)*x(22)*x(102) + x(26)*x(27)*x(111) + x(31)*x(32)*x(120) + x(36)*x(37)*x(129) + x(41)*x(42)*x(138) + x(46)*x(47)*x(147) + x(51)*x(52)*x(156) + x(56)*x(57)*x(165) + x(61)*x(62)*x(174)
x(2)*x(66) + x(7)*x(75) + x(12)*x(84) + x(17)*x(93) + x(22)*x(102) + x(27)*x(111) + x(32)*x(120) + x(37)*x(129) + x(42)*x(138) + x(47)*x(147) + x(52)*x(156) + x(57)*x(165) + x(62)*x(174)
x(1)*x(3)*x(66) + x(6)*x(8)*x(75) + x(11)*x(13)*x(84) + x(16)*x(18)*x(93) + x(21)*x(23)*x(102) + x(26)*x(28)*x(111) + x(31)*x(33)*x(120) + x(36)*x(38)*x(129) + x(41)*x(43)*x(138) + x(46)*x(48)*x(147) + x(51)*x(53)*x(156) + x(56)*x(58)*x(165) + x(61)*x(63)*x(174)
x(2)*x(3)*x(66) + x(7)*x(8)*x(75) + x(12)*x(13)*x(84) + x(17)*x(18)*x(93) + x(22)*x(23)*x(102) + x(27)*x(28)*x(111) + x(32)*x(33)*x(120) + x(37)*x(38)*x(129) + x(42)*x(43)*x(138) + x(47)*x(48)*x(147) + x(52)*x(53)*x(156) + x(57)*x(58)*x(165) + x(62)*x(63)*x(174)
x(3)*x(66) + x(8)*x(75) + x(13)*x(84) + x(18)*x(93) + x(23)*x(102) + x(28)*x(111) + x(33)*x(120) + x(38)*x(129) + x(43)*x(138) + x(48)*x(147) + x(53)*x(156) + x(58)*x(165) + x(63)*x(174)
x(1)*x(4)*x(66) + x(6)*x(9)*x(75) + x(11)*x(14)*x(84) + x(16)*x(19)*x(93) + x(21)*x(24)*x(102) + x(26)*x(29)*x(111) + x(31)*x(34)*x(120) + x(36)*x(39)*x(129) + x(41)*x(44)*x(138) + x(46)*x(49)*x(147) + x(51)*x(54)*x(156) + x(56)*x(59)*x(165) + x(61)*x(64)*x(174)
x(2)*x(4)*x(66) + x(7)*x(9)*x(75) + x(12)*x(14)*x(84) + x(17)*x(19)*x(93) + x(22)*x(24)*x(102) + x(27)*x(29)*x(111) + x(32)*x(34)*x(120) + x(37)*x(39)*x(129) + x(42)*x(44)*x(138) + x(47)*x(49)*x(147) + x(52)*x(54)*x(156) + x(57)*x(59)*x(165) + x(62)*x(64)*x(174)
x(3)*x(4)*x(66) + x(8)*x(9)*x(75) + x(13)*x(14)*x(84) + x(18)*x(19)*x(93) + x(23)*x(24)*x(102) + x(28)*x(29)*x(111) + x(33)*x(34)*x(120) + x(38)*x(39)*x(129) + x(43)*x(44)*x(138) + x(48)*x(49)*x(147) + x(53)*x(54)*x(156) + x(58)*x(59)*x(165) + x(63)*x(64)*x(174)
x(4)*x(66) + x(9)*x(75) + x(14)*x(84) + x(19)*x(93) + x(24)*x(102) + x(29)*x(111) + x(34)*x(120) + x(39)*x(129) + x(44)*x(138) + x(49)*x(147) + x(54)*x(156) + x(59)*x(165) + x(64)*x(174)
x(1)*x(5)*x(66) + x(6)*x(10)*x(75) + x(11)*x(15)*x(84) + x(16)*x(20)*x(93) + x(21)*x(25)*x(102) + x(26)*x(30)*x(111) + x(31)*x(35)*x(120) + x(36)*x(40)*x(129) + x(41)*x(45)*x(138) + x(46)*x(50)*x(147) + x(51)*x(55)*x(156) + x(56)*x(60)*x(165) + x(61)*x(65)*x(174)
x(2)*x(5)*x(66) + x(7)*x(10)*x(75) + x(12)*x(15)*x(84) + x(17)*x(20)*x(93) + x(22)*x(25)*x(102) + x(27)*x(30)*x(111) + x(32)*x(35)*x(120) + x(37)*x(40)*x(129) + x(42)*x(45)*x(138) + x(47)*x(50)*x(147) + x(52)*x(55)*x(156) + x(57)*x(60)*x(165) + x(62)*x(65)*x(174)
x(3)*x(5)*x(66) + x(8)*x(10)*x(75) + x(13)*x(15)*x(84) + x(18)*x(20)*x(93) + x(23)*x(25)*x(102) + x(28)*x(30)*x(111) + x(33)*x(35)*x(120) + x(38)*x(40)*x(129) + x(43)*x(45)*x(138) + x(48)*x(50)*x(147) + x(53)*x(55)*x(156) + x(58)*x(60)*x(165) + x(63)*x(65)*x(174)
x(4)*x(5)*x(66) + x(9)*x(10)*x(75) + x(14)*x(15)*x(84) + x(19)*x(20)*x(93) + x(24)*x(25)*x(102) + x(29)*x(30)*x(111) + x(34)*x(35)*x(120) + x(39)*x(40)*x(129) + x(44)*x(45)*x(138) + x(49)*x(50)*x(147) + x(54)*x(55)*x(156) + x(59)*x(60)*x(165) + x(64)*x(65)*x(174)
x(5)*x(66) + x(10)*x(75) + x(15)*x(84) + x(20)*x(93) + x(25)*x(102) + x(30)*x(111) + x(35)*x(120) + x(40)*x(129) + x(45)*x(138) + x(50)*x(147) + x(55)*x(156) + x(60)*x(165) + x(65)*x(174)
x(1)*x(67) + x(6)*x(76) + x(11)*x(85) + x(16)*x(94) + x(21)*x(103) + x(26)*x(112) + x(31)*x(121) + x(36)*x(130) + x(41)*x(139) + x(46)*x(148) + x(51)*x(157) + x(56)*x(166) + x(61)*x(175)
x(1)*x(2)*x(67) + x(6)*x(7)*x(76) + x(11)*x(12)*x(85) + x(16)*x(17)*x(94) + x(21)*x(22)*x(103) + x(26)*x(27)*x(112) + x(31)*x(32)*x(121) + x(36)*x(37)*x(130) + x(41)*x(42)*x(139) + x(46)*x(47)*x(148) + x(51)*x(52)*x(157) + x(56)*x(57)*x(166) + x(61)*x(62)*x(175) + 1
x(2)*x(67) + x(7)*x(76) + x(12)*x(85) + x(17)*x(94) + x(22)*x(103) + x(27)*x(112) + x(32)*x(121) + x(37)*x(130) + x(42)*x(139) + x(47)*x(148) + x(52)*x(157) + x(57)*x(166) + x(62)*x(175)
x(1)*x(3)*x(67) + x(6)*x(8)*x(76) + x(11)*x(13)*x(85) + x(16)*x(18)*x(94) + x(21)*x(23)*x(103) + x(26)*x(28)*x(112) + x(31)*x(33)*x(121) + x(36)*x(38)*x(130) + x(41)*x(43)*x(139) + x(46)*x(48)*x(148) + x(51)*x(53)*x(157) + x(56)*x(58)*x(166) + x(61)*x(63)*x(175)
x(2)*x(3)*x(67) + x(7)*x(8)*x(76) + x(12)*x(13)*x(85) + x(17)*x(18)*x(94) + x(22)*x(23)*x(103) + x(27)*x(28)*x(112) + x(32)*x(33)*x(121) + x(37)*x(38)*x(130) + x(42)*x(43)*x(139) + x(47)*x(48)*x(148) + x(52)*x(53)*x(157) + x(57)*x(58)*x(166) + x(62)*x(63)*x(175)
x(3)*x(67) + x(8)*x(76) + x(13)*x(85) + x(18)*x(94) + x(23)*x(103) + x(28)*x(112) + x(33)*x(121) + x(38)*x(130) + x(43)*x(139) + x(48)*x(148) + x(53)*x(157) + x(58)*x(166) + x(63)*x(175)
x(1)*x(4)*x(67) + x(6)*x(9)*x(76) + x(11)*x(14)*x(85) + x(16)*x(19)*x(94) + x(21)*x(24)*x(103) + x(26)*x(29)*x(112) + x(31)*x(34)*x(121) + x(36)*x(39)*x(130) + x(41)*x(44)*x(139) + x(46)*x(49)*x(148) + x(51)*x(54)*x(157) + x(56)*x(59)*x(166) + x(61)*x(64)*x(175)
x(2)*x(4)*x(67) + x(7)*x(9)*x(76) + x(12)*x(14)*x(85) + x(17)*x(19)*x(94) + x(22)*x(24)*x(103) + x(27)*x(29)*x(112) + x(32)*x(34)*x(121) + x(37)*x(39)*x(130) + x(42)*x(44)*x(139) + x(47)*x(49)*x(148) + x(52)*x(54)*x(157) + x(57)*x(59)*x(166) + x(62)*x(64)*x(175)
x(3)*x(4)*x(67) + x(8)*x(9)*x(76) + x(13)*x(14)*x(85) + x(18)*x(19)*x(94) + x(23)*x(24)*x(103) + x(28)*x(29)*x(112) + x(33)*x(34)*x(121) + x(38)*x(39)*x(130) + x(43)*x(44)*x(139) + x(48)*x(49)*x(148) + x(53)*x(54)*x(157) + x(58)*x(59)*x(166) + x(63)*x(64)*x(175)
x(4)*x(67) + x(9)*x(76) + x(14)*x(85) + x(19)*x(94) + x(24)*x(103) + x(29)*x(112) + x(34)*x(121) + x(39)*x(130) + x(44)*x(139) + x(49)*x(148) + x(54)*x(157) + x(59)*x(166) + x(64)*x(175)
x(1)*x(5)*x(67) + x(6)*x(10)*x(76) + x(11)*x(15)*x(85) + x(16)*x(20)*x(94) + x(21)*x(25)*x(103) + x(26)*x(30)*x(112) + x(31)*x(35)*x(121) + x(36)*x(40)*x(130) + x(41)*x(45)*x(139) + x(46)*x(50)*x(148) + x(51)*x(55)*x(157) + x(56)*x(60)*x(166) + x(61)*x(65)*x(175)
x(2)*x(5)*x(67) + x(7)*x(10)*x(76) + x(12)*x(15)*x(85) + x(17)*x(20)*x(94) + x(22)*x(25)*x(103) + x(27)*x(30)*x(112) + x(32)*x(35)*x(121) + x(37)*x(40)*x(130) + x(42)*x(45)*x(139) + x(47)*x(50)*x(148) + x(52)*x(55)*x(157) + x(57)*x(60)*x(166) + x(62)*x(65)*x(175)
x(3)*x(5)*x(67) + x(8)*x(10)*x(76) + x(13)*x(15)*x(85) + x(18)*x(20)*x(94) + x(23)*x(25)*x(103) + x(28)*x(30)*x(112) + x(33)*x(35)*x(121) + x(38)*x(40)*x(130) + x(43)*x(45)*x(139) + x(48)*x(50)*x(148) + x(53)*x(55)*x(157) + x(58)*x(60)*x(166) + x(63)*x(65)*x(175)
x(4)*x(5)*x(67) + x(9)*x(10)*x(76) + x(14)*x(15)*x(85) + x(19)*x(20)*x(94) + x(24)*x(25)*x(103) + x(29)*x(30)*x(112) + x(34)*x(35)*x(121) + x(39)*x(40)*x(130) + x(44)*x(45)*x(139) + x(49)*x(50)*x(148) + x(54)*x(55)*x(157) + x(59)*x(60)*x(166) + x(64)*x(65)*x(175)
x(5)*x(67) + x(10)*x(76) + x(15)*x(85) + x(20)*x(94) + x(25)*x(103) + x(30)*x(112) + x(35)*x(121) + x(40)*x(130) + x(45)*x(139) + x(50)*x(148) + x(55)*x(157) + x(60)*x(166) + x(65)*x(175)
x(1)*x(68) + x(6)*x(77) + x(11)*x(86) + x(16)*x(95) + x(21)*x(104) + x(26)*x(113) + x(31)*x(122) + x(36)*x(131) + x(41)*x(140) + x(46)*x(149) + x(51)*x(158) + x(56)*x(167) + x(61)*x(176)
x(1)*x(2)*x(68) + x(6)*x(7)*x(77) + x(11)*x(12)*x(86) + x(16)*x(17)*x(95) + x(21)*x(22)*x(104) + x(26)*x(27)*x(113) + x(31)*x(32)*x(122) + x(36)*x(37)*x(131) + x(41)*x(42)*x(140) + x(46)*x(47)*x(149) + x(51)*x(52)*x(158) + x(56)*x(57)*x(167) + x(61)*x(62)*x(176)
x(2)*x(68) + x(7)*x(77) + x(12)*x(86) + x(17)*x(95) + x(22)*x(104) + x(27)*x(113) + x(32)*x(122) + x(37)*x(131) + x(42)*x(140) + x(47)*x(149) + x(52)*x(158) + x(57)*x(167) + x(62)*x(176) + 1
x(1)*x(3)*x(68) + x(6)*x(8)*x(77) + x(11)*x(13)*x(86) + x(16)*x(18)*x(95) + x(21)*x(23)*x(104) + x(26)*x(28)*x(113) + x(31)*x(33)*x(122) + x(36)*x(38)*x(131) + x(41)*x(43)*x(140) + x(46)*x(48)*x(149) + x(51)*x(53)*x(158) + x(56)*x(58)*x(167) + x(61)*x(63)*x(176) + 1
x(2)*x(3)*x(68) + x(7)*x(8)*x(77) + x(12)*x(13)*x(86) + x(17)*x(18)*x(95) + x(22)*x(23)*x(104) + x(27)*x(28)*x(113) + x(32)*x(33)*x(122) + x(37)*x(38)*x(131) + x(42)*x(43)*x(140) + x(47)*x(48)*x(149) + x(52)*x(53)*x(158) + x(57)*x(58)*x(167) + x(62)*x(63)*x(176)
x(3)*x(68) + x(8)*x(77) + x(13)*x(86) + x(18)*x(95) + x(23)*x(104) + x(28)*x(113) + x(33)*x(122) + x(38)*x(131) + x(43)*x(140) + x(48)*x(149) + x(53)*x(158) + x(58)*x(167) + x(63)*x(176)
x(1)*x(4)*x(68) + x(6)*x(9)*x(77) + x(11)*x(14)*x(86) + x(16)*x(19)*x(95) + x(21)*x(24)*x(104) + x(26)*x(29)*x(113) + x(31)*x(34)*x(122) + x(36)*x(39)*x(131) + x(41)*x(44)*x(140) + x(46)*x(49)*x(149) + x(51)*x(54)*x(158) + x(56)*x(59)*x(167) + x(61)*x(64)*x(176)
x(2)*x(4)*x(68) + x(7)*x(9)*x(77) + x(12)*x(14)*x(86) + x(17)*x(19)*x(95) + x(22)*x(24)*x(104) + x(27)*x(29)*x(113) + x(32)*x(34)*x(122) + x(37)*x(39)*x(131) + x(42)*x(44)*x(140) + x(47)*x(49)*x(149) + x(52)*x(54)*x(158) + x(57)*x(59)*x(167) + x(62)*x(64)*x(176)
x(3)*x(4)*x(68) + x(8)*x(9)*x(77) + x(13)*x(14)*x(86) + x(18)*x(19)*x(95) + x(23)*x(24)*x(104) + x(28)*x(29)*x(113) + x(33)*x(34)*x(122) + x(38)*x(39)*x(131) + x(43)*x(44)*x(140) + x(48)*x(49)*x(149) + x(53)*x(54)*x(158) + x(58)*x(59)*x(167) + x(63)*x(64)*x(176)
x(4)*x(68) + x(9)*x(77) + x(14)*x(86) + x(19)*x(95) + x(24)*x(104) + x(29)*x(113) + x(34)*x(122) + x(39)*x(131) + x(44)*x(140) + x(49)*x(149) + x(54)*x(158) + x(59)*x(167) + x(64)*x(176)
x(1)*x(5)*x(68) + x(6)*x(10)*x(77) + x(11)*x(15)*x(86) + x(16)*x(20)*x(95) + x(21)*x(25)*x(104) + x(26)*x(30)*x(113) + x(31)*x(35)*x(122) + x(36)*x(40)*x(131) + x(41)*x(45)*x(140) + x(46)*x(50)*x(149) + x(51)*x(55)*x(158) + x(56)*x(60)*x(167) + x(61)*x(65)*x(176)
x(2)*x(5)*x(68) + x(7)*x(10)*x(77) + x(12)*x(15)*x(86) + x(17)*x(20)*x(95) + x(22)*x(25)*x(104) + x(27)*x(30)*x(113) + x(32)*x(35)*x(122) + x(37)*x(40)*x(131) + x(42)*x(45)*x(140) + x(47)*x(50)*x(149) + x(52)*x(55)*x(158) + x(57)*x(60)*x(167) + x(62)*x(65)*x(176)
x(3)*x(5)*x(68) + x(8)*x(10)*x(77) + x(13)*x(15)*x(86) + x(18)*x(20)*x(95) + x(23)*x(25)*x(104) + x(28)*x(30)*x(113) + x(33)*x(35)*x(122) + x(38)*x(40)*x(131) + x(43)*x(45)*x(140) + x(48)*x(50)*x(149) + x(53)*x(55)*x(158) + x(58)*x(60)*x(167) + x(63)*x(65)*x(176)
x(4)*x(5)*x(68) + x(9)*x(10)*x(77) + x(14)*x(15)*x(86) + x(19)*x(20)*x(95) + x(24)*x(25)*x(104) + x(29)*x(30)*x(113) + x(34)*x(35)*x(122) + x(39)*x(40)*x(131) + x(44)*x(45)*x(140) + x(49)*x(50)*x(149) + x(54)*x(55)*x(158) + x(59)*x(60)*x(167) + x(64)*x(65)*x(176)
x(5)*x(68) + x(10)*x(77) + x(15)*x(86) + x(20)*x(95) + x(25)*x(104) + x(30)*x(113) + x(35)*x(122) + x(40)*x(131) + x(45)*x(140) + x(50)*x(149) + x(55)*x(158) + x(60)*x(167) + x(65)*x(176)
x(1)*x(69) + x(6)*x(78) + x(11)*x(87) + x(16)*x(96) + x(21)*x(105) + x(26)*x(114) + x(31)*x(123) + x(36)*x(132) + x(41)*x(141) + x(46)*x(150) + x(51)*x(159) + x(56)*x(168) + x(61)*x(177)
x(1)*x(2)*x(69) + x(6)*x(7)*x(78) + x(11)*x(12)*x(87) + x(16)*x(17)*x(96) + x(21)*x(22)*x(105) + x(26)*x(27)*x(114) + x(31)*x(32)*x(123) + x(36)*x(37)*x(132) + x(41)*x(42)*x(141) + x(46)*x(47)*x(150) + x(51)*x(52)*x(159) + x(56)*x(57)*x(168) + x(61)*x(62)*x(177)
x(2)*x(69) + x(7)*x(78) + x(12)*x(87) + x(17)*x(96) + x(22)*x(105) + x(27)*x(114) + x(32)*x(123) + x(37)*x(132) + x(42)*x(141) + x(47)*x(150) + x(52)*x(159) + x(57)*x(168) + x(62)*x(177)
x(1)*x(3)*x(69) + x(6)*x(8)*x(78) + x(11)*x(13)*x(87) + x(16)*x(18)*x(96) + x(21)*x(23)*x(105) + x(26)*x(28)*x(114) + x(31)*x(33)*x(123) + x(36)*x(38)*x(132) + x(41)*x(43)*x(141) + x(46)*x(48)*x(150) + x(51)*x(53)*x(159) + x(56)*x(58)*x(168) + x(61)*x(63)*x(177)
x(2)*x(3)*x(69) + x(7)*x(8)*x(78) + x(12)*x(13)*x(87) + x(17)*x(18)*x(96) + x(22)*x(23)*x(105) + x(27)*x(28)*x(114) + x(32)*x(33)*x(123) + x(37)*x(38)*x(132) + x(42)*x(43)*x(141) + x(47)*x(48)*x(150) + x(52)*x(53)*x(159) + x(57)*x(58)*x(168) + x(62)*x(63)*x(177) + 1
x(3)*x(69) + x(8)*x(78) + x(13)*x(87) + x(18)*x(96) + x(23)*x(105) + x(28)*x(114) + x(33)*x(123) + x(38)*x(132) + x(43)*x(141) + x(48)*x(150) + x(53)*x(159) + x(58)*x(168) + x(63)*x(177)
x(1)*x(4)*x(69) + x(6)*x(9)*x(78) + x(11)*x(14)*x(87) + x(16)*x(19)*x(96) + x(21)*x(24)*x(105) + x(26)*x(29)*x(114) + x(31)*x(34)*x(123) + x(36)*x(39)*x(132) + x(41)*x(44)*x(141) + x(46)*x(49)*x(150) + x(51)*x(54)*x(159) + x(56)*x(59)*x(168) + x(61)*x(64)*x(177) + 1
x(2)*x(4)*x(69) + x(7)*x(9)*x(78) + x(12)*x(14)*x(87) + x(17)*x(19)*x(96) + x(22)*x(24)*x(105) + x(27)*x(29)*x(114) + x(32)*x(34)*x(123) + x(37)*x(39)*x(132) + x(42)*x(44)*x(141) + x(47)*x(49)*x(150) + x(52)*x(54)*x(159) + x(57)*x(59)*x(168) + x(62)*x(64)*x(177)
x(3)*x(4)*x(69) + x(8)*x(9)*x(78) + x(13)*x(14)*x(87) + x(18)*x(19)*x(96) + x(23)*x(24)*x(105) + x(28)*x(29)*x(114) + x(33)*x(34)*x(123) + x(38)*x(39)*x(132) + x(43)*x(44)*x(141) + x(48)*x(49)*x(150) + x(53)*x(54)*x(159) + x(58)*x(59)*x(168) + x(63)*x(64)*x(177)
x(4)*x(69) + x(9)*x(78) + x(14)*x(87) + x(19)*x(96) + x(24)*x(105) + x(29)*x(114) + x(34)*x(123) + x(39)*x(132) + x(44)*x(141) + x(49)*x(150) + x(54)*x(159) + x(59)*x(168) + x(64)*x(177)
x(1)*x(5)*x(69) + x(6)*x(10)*x(78) + x(11)*x(15)*x(87) + x(16)*x(20)*x(96) + x(21)*x(25)*x(105) + x(26)*x(30)*x(114) + x(31)*x(35)*x(123) + x(36)*x(40)*x(132) + x(41)*x(45)*x(141) + x(46)*x(50)*x(150) + x(51)*x(55)*x(159) + x(56)*x(60)*x(168) + x(61)*x(65)*x(177)
x(2)*x(5)*x(69) + x(7)*x(10)*x(78) + x(12)*x(15)*x(87) + x(17)*x(20)*x(96) + x(22)*x(25)*x(105) + x(27)*x(30)*x(114) + x(32)*x(35)*x(123) + x(37)*x(40)*x(132) + x(42)*x(45)*x(141) + x(47)*x(50)*x(150) + x(52)*x(55)*x(159) + x(57)*x(60)*x(168) + x(62)*x(65)*x(177)
x(3)*x(5)*x(69) + x(8)*x(10)*x(78) + x(13)*x(15)*x(87) + x(18)*x(20)*x(96) + x(23)*x(25)*x(105) + x(28)*x(30)*x(114) + x(33)*x(35)*x(123) + x(38)*x(40)*x(132) + x(43)*x(45)*x(141) + x(48)*x(50)*x(150) + x(53)*x(55)*x(159) + x(58)*x(60)*x(168) + x(63)*x(65)*x(177)
x(4)*x(5)*x(69) + x(9)*x(10)*x(78) + x(14)*x(15)*x(87) + x(19)*x(20)*x(96) + x(24)*x(25)*x(105) + x(29)*x(30)*x(114) + x(34)*x(35)*x(123) + x(39)*x(40)*x(132) + x(44)*x(45)*x(141) + x(49)*x(50)*x(150) + x(54)*x(55)*x(159) + x(59)*x(60)*x(168) + x(64)*x(65)*x(177)
x(5)*x(69) + x(10)*x(78) + x(15)*x(87) + x(20)*x(96) + x(25)*x(105) + x(30)*x(114) + x(35)*x(123) + x(40)*x(132) + x(45)*x(141) + x(50)*x(150) + x(55)*x(159) + x(60)*x(168) + x(65)*x(177)
x(1)*x(70) + x(6)*x(79) + x(11)*x(88) + x(16)*x(97) + x(21)*x(106) + x(26)*x(115) + x(31)*x(124) + x(36)*x(133) + x(41)*x(142) + x(46)*x(151) + x(51)*x(160) + x(56)*x(169) + x(61)*x(178)
x(1)*x(2)*x(70) + x(6)*x(7)*x(79) + x(11)*x(12)*x(88) + x(16)*x(17)*x(97) + x(21)*x(22)*x(106) + x(26)*x(27)*x(115) + x(31)*x(32)*x(124) + x(36)*x(37)*x(133) + x(41)*x(42)*x(142) + x(46)*x(47)*x(151) + x(51)*x(52)*x(160) + x(56)*x(57)*x(169) + x(61)*x(62)*x(178)
x(2)*x(70) + x(7)*x(79) + x(12)*x(88) + x(17)*x(97) + x(22)*x(106) + x(27)*x(115) + x(32)*x(124) + x(37)*x(133) + x(42)*x(142) + x(47)*x(151) + x(52)*x(160) + x(57)*x(169) + x(62)*x(178)
x(1)*x(3)*x(70) + x(6)*x(8)*x(79) + x(11)*x(13)*x(88) + x(16)*x(18)*x(97) + x(21)*x(23)*x(106) + x(26)*x(28)*x(115) + x(31)*x(33)*x(124) + x(36)*x(38)*x(133) + x(41)*x(43)*x(142) + x(46)*x(48)*x(151) + x(51)*x(53)*x(160) + x(56)*x(58)*x(169) + x(61)*x(63)*x(178)
x(2)*x(3)*x(70) + x(7)*x(8)*x(79) + x(12)*x(13)*x(88) + x(17)*x(18)*x(97) + x(22)*x(23)*x(106) + x(27)*x(28)*x(115) + x(32)*x(33)*x(124) + x(37)*x(38)*x(133) + x(42)*x(43)*x(142) + x(47)*x(48)*x(151) + x(52)*x(53)*x(160) + x(57)*x(58)*x(169) + x(62)*x(63)*x(178)
x(3)*x(70) + x(8)*x(79) + x(13)*x(88) + x(18)*x(97) + x(23)*x(106) + x(28)*x(115) + x(33)*x(124) + x(38)*x(133) + x(43)*x(142) + x(48)*x(151) + x(53)*x(160) + x(58)*x(169) + x(63)*x(178) + 1
x(1)*x(4)*x(70) + x(6)*x(9)*x(79) + x(11)*x(14)*x(88) + x(16)*x(19)*x(97) + x(21)*x(24)*x(106) + x(26)*x(29)*x(115) + x(31)*x(34)*x(124) + x(36)*x(39)*x(133) + x(41)*x(44)*x(142) + x(46)*x(49)*x(151) + x(51)*x(54)*x(160) + x(56)*x(59)*x(169) + x(61)*x(64)*x(178)
x(2)*x(4)*x(70) + x(7)*x(9)*x(79) + x(12)*x(14)*x(88) + x(17)*x(19)*x(97) + x(22)*x(24)*x(106) + x(27)*x(29)*x(115) + x(32)*x(34)*x(124) + x(37)*x(39)*x(133) + x(42)*x(44)*x(142) + x(47)*x(49)*x(151) + x(52)*x(54)*x(160) + x(57)*x(59)*x(169) + x(62)*x(64)*x(178) + 1
x(3)*x(4)*x(70) + x(8)*x(9)*x(79) + x(13)*x(14)*x(88) + x(18)*x(19)*x(97) + x(23)*x(24)*x(106) + x(28)*x(29)*x(115) + x(33)*x(34)*x(124) + x(38)*x(39)*x(133) + x(43)*x(44)*x(142) + x(48)*x(49)*x(151) + x(53)*x(54)*x(160) + x(58)*x(59)*x(169) + x(63)*x(64)*x(178)
x(4)*x(70) + x(9)*x(79) + x(14)*x(88) + x(19)*x(97) + x(24)*x(106) + x(29)*x(115) + x(34)*x(124) + x(39)*x(133) + x(44)*x(142) + x(49)*x(151) + x(54)*x(160) + x(59)*x(169) + x(64)*x(178)
x(1)*x(5)*x(70) + x(6)*x(10)*x(79) + x(11)*x(15)*x(88) + x(16)*x(20)*x(97) + x(21)*x(25)*x(106) + x(26)*x(30)*x(115) + x(31)*x(35)*x(124) + x(36)*x(40)*x(133) + x(41)*x(45)*x(142) + x(46)*x(50)*x(151) + x(51)*x(55)*x(160) + x(56)*x(60)*x(169) + x(61)*x(65)*x(178) + 1
x(2)*x(5)*x(70) + x(7)*x(10)*x(79) + x(12)*x(15)*x(88) + x(17)*x(20)*x(97) + x(22)*x(25)*x(106) + x(27)*x(30)*x(115) + x(32)*x(35)*x(124) + x(37)*x(40)*x(133) + x(42)*x(45)*x(142) + x(47)*x(50)*x(151) + x(52)*x(55)*x(160) + x(57)*x(60)*x(169) + x(62)*x(65)*x(178)
x(3)*x(5)*x(70) + x(8)*x(10)*x(79) + x(13)*x(15)*x(88) + x(18)*x(20)*x(97) + x(23)*x(25)*x(106) + x(28)*x(30)*x(115) + x(33)*x(35)*x(124) + x(38)*x(40)*x(133) + x(43)*x(45)*x(142) + x(48)*x(50)*x(151) + x(53)*x(55)*x(160) + x(58)*x(60)*x(169) + x(63)*x(65)*x(178)
x(4)*x(5)*x(70) + x(9)*x(10)*x(79) + x(14)*x(15)*x(88) + x(19)*x(20)*x(97) + x(24)*x(25)*x(106) + x(29)*x(30)*x(115) + x(34)*x(35)*x(124) + x(39)*x(40)*x(133) + x(44)*x(45)*x(142) + x(49)*x(50)*x(151) + x(54)*x(55)*x(160) + x(59)*x(60)*x(169) + x(64)*x(65)*x(178)
x(5)*x(70) + x(10)*x(79) + x(15)*x(88) + x(20)*x(97) + x(25)*x(106) + x(30)*x(115) + x(35)*x(124) + x(40)*x(133) + x(45)*x(142) + x(50)*x(151) + x(55)*x(160) + x(60)*x(169) + x(65)*x(178)
x(1)*x(71) + x(6)*x(80) + x(11)*x(89) + x(16)*x(98) + x(21)*x(107) + x(26)*x(116) + x(31)*x(125) + x(36)*x(134) + x(41)*x(143) + x(46)*x(152) + x(51)*x(161) + x(56)*x(170) + x(61)*x(179)
x(1)*x(2)*x(71) + x(6)*x(7)*x(80) + x(11)*x(12)*x(89) + x(16)*x(17)*x(98) + x(21)*x(22)*x(107) + x(26)*x(27)*x(116) + x(31)*x(32)*x(125) + x(36)*x(37)*x(134) + x(41)*x(42)*x(143) + x(46)*x(47)*x(152) + x(51)*x(52)*x(161) + x(56)*x(57)*x(170) + x(61)*x(62)*x(179)
x(2)*x(71) + x(7)*x(80) + x(12)*x(89) + x(17)*x(98) + x(22)*x(107) + x(27)*x(116) + x(32)*x(125) + x(37)*x(134) + x(42)*x(143) + x(47)*x(152) + x(52)*x(161) + x(57)*x(170) + x(62)*x(179)
x(1)*x(3)*x(71) + x(6)*x(8)*x(80) + x(11)*x(13)*x(89) + x(16)*x(18)*x(98) + x(21)*x(23)*x(107) + x(26)*x(28)*x(116) + x(31)*x(33)*x(125) + x(36)*x(38)*x(134) + x(41)*x(43)*x(143) + x(46)*x(48)*x(152) + x(51)*x(53)*x(161) + x(56)*x(58)*x(170) + x(61)*x(63)*x(179)
x(2)*x(3)*x(71) + x(7)*x(8)*x(80) + x(12)*x(13)*x(89) + x(17)*x(18)*x(98) + x(22)*x(23)*x(107) + x(27)*x(28)*x(116) + x(32)*x(33)*x(125) + x(37)*x(38)*x(134) + x(42)*x(43)*x(143) + x(47)*x(48)*x(152) + x(52)*x(53)*x(161) + x(57)*x(58)*x(170) + x(62)*x(63)*x(179)
x(3)*x(71) + x(8)*x(80) + x(13)*x(89) + x(18)*x(98) + x(23)*x(107) + x(28)*x(116) + x(33)*x(125) + x(38)*x(134) + x(43)*x(143) + x(48)*x(152) + x(53)*x(161) + x(58)*x(170) + x(63)*x(179)
x(1)*x(4)*x(71) + x(6)*x(9)*x(80) + x(11)*x(14)*x(89) + x(16)*x(19)*x(98) + x(21)*x(24)*x(107) + x(26)*x(29)*x(116) + x(31)*x(34)*x(125) + x(36)*x(39)*x(134) + x(41)*x(44)*x(143) + x(46)*x(49)*x(152) + x(51)*x(54)*x(161) + x(56)*x(59)*x(170) + x(61)*x(64)*x(179)
x(2)*x(4)*x(71) + x(7)*x(9)*x(80) + x(12)*x(14)*x(89) + x(17)*x(19)*x(98) + x(22)*x(24)*x(107) + x(27)*x(29)*x(116) + x(32)*x(34)*x(125) + x(37)*x(39)*x(134) + x(42)*x(44)*x(143) + x(47)*x(49)*x(152) + x(52)*x(54)*x(161) + x(57)*x(59)*x(170) + x(62)*x(64)*x(179)
x(3)*x(4)*x(71) + x(8)*x(9)*x(80) + x(13)*x(14)*x(89) + x(18)*x(19)*x(98) + x(23)*x(24)*x(107) + x(28)*x(29)*x(116) + x(33)*x(34)*x(125) + x(38)*x(39)*x(134) + x(43)*x(44)*x(143) + x(48)*x(49)*x(152) + x(53)*x(54)*x(161) + x(58)*x(59)*x(170) + x(63)*x(64)*x(179) + 1
x(4)*x(71) + x(9)*x(80) + x(14)*x(89) + x(19)*x(98) + x(24)*x(107) + x(29)*x(116) + x(34)*x(125) + x(39)*x(134) + x(44)*x(143) + x(49)*x(152) + x(54)*x(161) + x(59)*x(170) + x(64)*x(179)
x(1)*x(5)*x(71) + x(6)*x(10)*x(80) + x(11)*x(15)*x(89) + x(16)*x(20)*x(98) + x(21)*x(25)*x(107) + x(26)*x(30)*x(116) + x(31)*x(35)*x(125) + x(36)*x(40)*x(134) + x(41)*x(45)*x(143) + x(46)*x(50)*x(152) + x(51)*x(55)*x(161) + x(56)*x(60)*x(170) + x(61)*x(65)*x(179)
x(2)*x(5)*x(71) + x(7)*x(10)*x(80) + x(12)*x(15)*x(89) + x(17)*x(20)*x(98) + x(22)*x(25)*x(107) + x(27)*x(30)*x(116) + x(32)*x(35)*x(125) + x(37)*x(40)*x(134) + x(42)*x(45)*x(143) + x(47)*x(50)*x(152) + x(52)*x(55)*x(161) + x(57)*x(60)*x(170) + x(62)*x(65)*x(179) + 1
x(3)*x(5)*x(71) + x(8)*x(10)*x(80) + x(13)*x(15)*x(89) + x(18)*x(20)*x(98) + x(23)*x(25)*x(107) + x(28)*x(30)*x(116) + x(33)*x(35)*x(125) + x(38)*x(40)*x(134) + x(43)*x(45)*x(143) + x(48)*x(50)*x(152) + x(53)*x(55)*x(161) + x(58)*x(60)*x(170) + x(63)*x(65)*x(179)
x(4)*x(5)*x(71) + x(9)*x(10)*x(80) + x(14)*x(15)*x(89) + x(19)*x(20)*x(98) + x(24)*x(25)*x(107) + x(29)*x(30)*x(116) + x(34)*x(35)*x(125) + x(39)*x(40)*x(134) + x(44)*x(45)*x(143) + x(49)*x(50)*x(152) + x(54)*x(55)*x(161) + x(59)*x(60)*x(170) + x(64)*x(65)*x(179)
x(5)*x(71) + x(10)*x(80) + x(15)*x(89) + x(20)*x(98) + x(25)*x(107) + x(30)*x(116) + x(35)*x(125) + x(40)*x(134) + x(45)*x(143) + x(50)*x(152) + x(55)*x(161) + x(60)*x(170) + x(65)*x(179)
x(1)*x(72) + x(6)*x(81) + x(11)*x(90) + x(16)*x(99) + x(21)*x(108) + x(26)*x(117) + x(31)*x(126) + x(36)*x(135) + x(41)*x(144) + x(46)*x(153) + x(51)*x(162) + x(56)*x(171) + x(61)*x(180)
x(1)*x(2)*x(72) + x(6)*x(7)*x(81) + x(11)*x(12)*x(90) + x(16)*x(17)*x(99) + x(21)*x(22)*x(108) + x(26)*x(27)*x(117) + x(31)*x(32)*x(126) + x(36)*x(37)*x(135) + x(41)*x(42)*x(144) + x(46)*x(47)*x(153) + x(51)*x(52)*x(162) + x(56)*x(57)*x(171) + x(61)*x(62)*x(180)
x(2)*x(72) + x(7)*x(81) + x(12)*x(90) + x(17)*x(99) + x(22)*x(108) + x(27)*x(117) + x(32)*x(126) + x(37)*x(135) + x(42)*x(144) + x(47)*x(153) + x(52)*x(162) + x(57)*x(171) + x(62)*x(180)
x(1)*x(3)*x(72) + x(6)*x(8)*x(81) + x(11)*x(13)*x(90) + x(16)*x(18)*x(99) + x(21)*x(23)*x(108) + x(26)*x(28)*x(117) + x(31)*x(33)*x(126) + x(36)*x(38)*x(135) + x(41)*x(43)*x(144) + x(46)*x(48)*x(153) + x(51)*x(53)*x(162) + x(56)*x(58)*x(171) + x(61)*x(63)*x(180)
x(2)*x(3)*x(72) + x(7)*x(8)*x(81) + x(12)*x(13)*x(90) + x(17)*x(18)*x(99) + x(22)*x(23)*x(108) + x(27)*x(28)*x(117) + x(32)*x(33)*x(126) + x(37)*x(38)*x(135) + x(42)*x(43)*x(144) + x(47)*x(48)*x(153) + x(52)*x(53)*x(162) + x(57)*x(58)*x(171) + x(62)*x(63)*x(180)
x(3)*x(72) + x(8)*x(81) + x(13)*x(90) + x(18)*x(99) + x(23)*x(108) + x(28)*x(117) + x(33)*x(126) + x(38)*x(135) + x(43)*x(144) + x(48)*x(153) + x(53)*x(162) + x(58)*x(171) + x(63)*x(180)
x(1)*x(4)*x(72) + x(6)*x(9)*x(81) + x(11)*x(14)*x(90) + x(16)*x(19)*x(99) + x(21)*x(24)*x(108) + x(26)*x(29)*x(117) + x(31)*x(34)*x(126) + x(36)*x(39)*x(135) + x(41)*x(44)*x(144) + x(46)*x(49)*x(153) + x(51)*x(54)*x(162) + x(56)*x(59)*x(171) + x(61)*x(64)*x(180)
x(2)*x(4)*x(72) + x(7)*x(9)*x(81) + x(12)*x(14)*x(90) + x(17)*x(19)*x(99) + x(22)*x(24)*x(108) + x(27)*x(29)*x(117) + x(32)*x(34)*x(126) + x(37)*x(39)*x(135) + x(42)*x(44)*x(144) + x(47)*x(49)*x(153) + x(52)*x(54)*x(162) + x(57)*x(59)*x(171) + x(62)*x(64)*x(180)
x(3)*x(4)*x(72) + x(8)*x(9)*x(81) + x(13)*x(14)*x(90) + x(18)*x(19)*x(99) + x(23)*x(24)*x(108) + x(28)*x(29)*x(117) + x(33)*x(34)*x(126) + x(38)*x(39)*x(135) + x(43)*x(44)*x(144) + x(48)*x(49)*x(153) + x(53)*x(54)*x(162) + x(58)*x(59)*x(171) + x(63)*x(64)*x(180)
x(4)*x(72) + x(9)*x(81) + x(14)*x(90) + x(19)*x(99) + x(24)*x(108) + x(29)*x(117) + x(34)*x(126) + x(39)*x(135) + x(44)*x(144) + x(49)*x(153) + x(54)*x(162) + x(59)*x(171) + x(64)*x(180) + 1
x(1)*x(5)*x(72) + x(6)*x(10)*x(81) + x(11)*x(15)*x(90) + x(16)*x(20)*x(99) + x(21)*x(25)*x(108) + x(26)*x(30)*x(117) + x(31)*x(35)*x(126) + x(36)*x(40)*x(135) + x(41)*x(45)*x(144) + x(46)*x(50)*x(153) + x(51)*x(55)*x(162) + x(56)*x(60)*x(171) + x(61)*x(65)*x(180)
x(2)*x(5)*x(72) + x(7)*x(10)*x(81) + x(12)*x(15)*x(90) + x(17)*x(20)*x(99) + x(22)*x(25)*x(108) + x(27)*x(30)*x(117) + x(32)*x(35)*x(126) + x(37)*x(40)*x(135) + x(42)*x(45)*x(144) + x(47)*x(50)*x(153) + x(52)*x(55)*x(162) + x(57)*x(60)*x(171) + x(62)*x(65)*x(180)
x(3)*x(5)*x(72) + x(8)*x(10)*x(81) + x(13)*x(15)*x(90) + x(18)*x(20)*x(99) + x(23)*x(25)*x(108) + x(28)*x(30)*x(117) + x(33)*x(35)*x(126) + x(38)*x(40)*x(135) + x(43)*x(45)*x(144) + x(48)*x(50)*x(153) + x(53)*x(55)*x(162) + x(58)*x(60)*x(171) + x(63)*x(65)*x(180) + 1
x(4)*x(5)*x(72) + x(9)*x(10)*x(81) + x(14)*x(15)*x(90) + x(19)*x(20)*x(99) + x(24)*x(25)*x(108) + x(29)*x(30)*x(117) + x(34)*x(35)*x(126) + x(39)*x(40)*x(135) + x(44)*x(45)*x(144) + x(49)*x(50)*x(153) + x(54)*x(55)*x(162) + x(59)*x(60)*x(171) + x(64)*x(65)*x(180)
x(5)*x(72) + x(10)*x(81) + x(15)*x(90) + x(20)*x(99) + x(25)*x(108) + x(30)*x(117) + x(35)*x(126) + x(40)*x(135) + x(45)*x(144) + x(50)*x(153) + x(55)*x(162) + x(60)*x(171) + x(65)*x(180)
x(1)*x(73) + x(6)*x(82) + x(11)*x(91) + x(16)*x(100) + x(21)*x(109) + x(26)*x(118) + x(31)*x(127) + x(36)*x(136) + x(41)*x(145) + x(46)*x(154) + x(51)*x(163) + x(56)*x(172) + x(61)*x(181)
x(1)*x(2)*x(73) + x(6)*x(7)*x(82) + x(11)*x(12)*x(91) + x(16)*x(17)*x(100) + x(21)*x(22)*x(109) + x(26)*x(27)*x(118) + x(31)*x(32)*x(127) + x(36)*x(37)*x(136) + x(41)*x(42)*x(145) + x(46)*x(47)*x(154) + x(51)*x(52)*x(163) + x(56)*x(57)*x(172) + x(61)*x(62)*x(181)
x(2)*x(73) + x(7)*x(82) + x(12)*x(91) + x(17)*x(100) + x(22)*x(109) + x(27)*x(118) + x(32)*x(127) + x(37)*x(136) + x(42)*x(145) + x(47)*x(154) + x(52)*x(163) + x(57)*x(172) + x(62)*x(181)
x(1)*x(3)*x(73) + x(6)*x(8)*x(82) + x(11)*x(13)*x(91) + x(16)*x(18)*x(100) + x(21)*x(23)*x(109) + x(26)*x(28)*x(118) + x(31)*x(33)*x(127) + x(36)*x(38)*x(136) + x(41)*x(43)*x(145) + x(46)*x(48)*x(154) + x(51)*x(53)*x(163) + x(56)*x(58)*x(172) + x(61)*x(63)*x(181)
x(2)*x(3)*x(73) + x(7)*x(8)*x(82) + x(12)*x(13)*x(91) + x(17)*x(18)*x(100) + x(22)*x(23)*x(109) + x(27)*x(28)*x(118) + x(32)*x(33)*x(127) + x(37)*x(38)*x(136) + x(42)*x(43)*x(145) + x(47)*x(48)*x(154) + x(52)*x(53)*x(163) + x(57)*x(58)*x(172) + x(62)*x(63)*x(181)
x(3)*x(73) + x(8)*x(82) + x(13)*x(91) + x(18)*x(100) + x(23)*x(109) + x(28)*x(118) + x(33)*x(127) + x(38)*x(136) + x(43)*x(145) + x(48)*x(154) + x(53)*x(163) + x(58)*x(172) + x(63)*x(181)
x(1)*x(4)*x(73) + x(6)*x(9)*x(82) + x(11)*x(14)*x(91) + x(16)*x(19)*x(100) + x(21)*x(24)*x(109) + x(26)*x(29)*x(118) + x(31)*x(34)*x(127) + x(36)*x(39)*x(136) + x(41)*x(44)*x(145) + x(46)*x(49)*x(154) + x(51)*x(54)*x(163) + x(56)*x(59)*x(172) + x(61)*x(64)*x(181)
x(2)*x(4)*x(73) + x(7)*x(9)*x(82) + x(12)*x(14)*x(91) + x(17)*x(19)*x(100) + x(22)*x(24)*x(109) + x(27)*x(29)*x(118) + x(32)*x(34)*x(127) + x(37)*x(39)*x(136) + x(42)*x(44)*x(145) + x(47)*x(49)*x(154) + x(52)*x(54)*x(163) + x(57)*x(59)*x(172) + x(62)*x(64)*x(181)
x(3)*x(4)*x(73) + x(8)*x(9)*x(82) + x(13)*x(14)*x(91) + x(18)*x(19)*x(100) + x(23)*x(24)*x(109) + x(28)*x(29)*x(118) + x(33)*x(34)*x(127) + x(38)*x(39)*x(136) + x(43)*x(44)*x(145) + x(48)*x(49)*x(154) + x(53)*x(54)*x(163) + x(58)*x(59)*x(172) + x(63)*x(64)*x(181)
x(4)*x(73) + x(9)*x(82) + x(14)*x(91) + x(19)*x(100) + x(24)*x(109) + x(29)*x(118) + x(34)*x(127) + x(39)*x(136) + x(44)*x(145) + x(49)*x(154) + x(54)*x(163) + x(59)*x(172) + x(64)*x(181)
x(1)*x(5)*x(73) + x(6)*x(10)*x(82) + x(11)*x(15)*x(91) + x(16)*x(20)*x(100) + x(21)*x(25)*x(109) + x(26)*x(30)*x(118) + x(31)*x(35)*x(127) + x(36)*x(40)*x(136) + x(41)*x(45)*x(145) + x(46)*x(50)*x(154) + x(51)*x(55)*x(163) + x(56)*x(60)*x(172) + x(61)*x(65)*x(181)
x(2)*x(5)*x(73) + x(7)*x(10)*x(82) + x(12)*x(15)*x(91) + x(17)*x(20)*x(100) + x(22)*x(25)*x(109) + x(27)*x(30)*x(118) + x(32)*x(35)*x(127) + x(37)*x(40)*x(136) + x(42)*x(45)*x(145) + x(47)*x(50)*x(154) + x(52)*x(55)*x(163) + x(57)*x(60)*x(172) + x(62)*x(65)*x(181)
x(3)*x(5)*x(73) + x(8)*x(10)*x(82) + x(13)*x(15)*x(91) + x(18)*x(20)*x(100) + x(23)*x(25)*x(109) + x(28)*x(30)*x(118) + x(33)*x(35)*x(127) + x(38)*x(40)*x(136) + x(43)*x(45)*x(145) + x(48)*x(50)*x(154) + x(53)*x(55)*x(163) + x(58)*x(60)*x(172) + x(63)*x(65)*x(181)
x(4)*x(5)*x(73) + x(9)*x(10)*x(82) + x(14)*x(15)*x(91) + x(19)*x(20)*x(100) + x(24)*x(25)*x(109) + x(29)*x(30)*x(118) + x(34)*x(35)*x(127) + x(39)*x(40)*x(136) + x(44)*x(45)*x(145) + x(49)*x(50)*x(154) + x(54)*x(55)*x(163) + x(59)*x(60)*x(172) + x(64)*x(65)*x(181) + 1
x(5)*x(73) + x(10)*x(82) + x(15)*x(91) + x(20)*x(100) + x(25)*x(109) + x(30)*x(118) + x(35)*x(127) + x(40)*x(136) + x(45)*x(145) + x(50)*x(154) + x(55)*x(163) + x(60)*x(172) + x(65)*x(181)
x(1)*x(74) + x(6)*x(83) + x(11)*x(92) + x(16)*x(101) + x(21)*x(110) + x(26)*x(119) + x(31)*x(128) + x(36)*x(137) + x(41)*x(146) + x(46)*x(155) + x(51)*x(164) + x(56)*x(173) + x(61)*x(182)
x(1)*x(2)*x(74) + x(6)*x(7)*x(83) + x(11)*x(12)*x(92) + x(16)*x(17)*x(101) + x(21)*x(22)*x(110) + x(26)*x(27)*x(119) + x(31)*x(32)*x(128) + x(36)*x(37)*x(137) + x(41)*x(42)*x(146) + x(46)*x(47)*x(155) + x(51)*x(52)*x(164) + x(56)*x(57)*x(173) + x(61)*x(62)*x(182)
x(2)*x(74) + x(7)*x(83) + x(12)*x(92) + x(17)*x(101) + x(22)*x(110) + x(27)*x(119) + x(32)*x(128) + x(37)*x(137) + x(42)*x(146) + x(47)*x(155) + x(52)*x(164) + x(57)*x(173) + x(62)*x(182)
x(1)*x(3)*x(74) + x(6)*x(8)*x(83) + x(11)*x(13)*x(92) + x(16)*x(18)*x(101) + x(21)*x(23)*x(110) + x(26)*x(28)*x(119) + x(31)*x(33)*x(128) + x(36)*x(38)*x(137) + x(41)*x(43)*x(146) + x(46)*x(48)*x(155) + x(51)*x(53)*x(164) + x(56)*x(58)*x(173) + x(61)*x(63)*x(182)
x(2)*x(3)*x(74) + x(7)*x(8)*x(83) + x(12)*x(13)*x(92) + x(17)*x(18)*x(101) + x(22)*x(23)*x(110) + x(27)*x(28)*x(119) + x(32)*x(33)*x(128) + x(37)*x(38)*x(137) + x(42)*x(43)*x(146) + x(47)*x(48)*x(155) + x(52)*x(53)*x(164) + x(57)*x(58)*x(173) + x(62)*x(63)*x(182)
x(3)*x(74) + x(8)*x(83) + x(13)*x(92) + x(18)*x(101) + x(23)*x(110) + x(28)*x(119) + x(33)*x(128) + x(38)*x(137) + x(43)*x(146) + x(48)*x(155) + x(53)*x(164) + x(58)*x(173) + x(63)*x(182)
x(1)*x(4)*x(74) + x(6)*x(9)*x(83) + x(11)*x(14)*x(92) + x(16)*x(19)*x(101) + x(21)*x(24)*x(110) + x(26)*x(29)*x(119) + x(31)*x(34)*x(128) + x(36)*x(39)*x(137) + x(41)*x(44)*x(146) + x(46)*x(49)*x(155) + x(51)*x(54)*x(164) + x(56)*x(59)*x(173) + x(61)*x(64)*x(182)
x(2)*x(4)*x(74) + x(7)*x(9)*x(83) + x(12)*x(14)*x(92) + x(17)*x(19)*x(101) + x(22)*x(24)*x(110) + x(27)*x(29)*x(119) + x(32)*x(34)*x(128) + x(37)*x(39)*x(137) + x(42)*x(44)*x(146) + x(47)*x(49)*x(155) + x(52)*x(54)*x(164) + x(57)*x(59)*x(173) + x(62)*x(64)*x(182)
x(3)*x(4)*x(74) + x(8)*x(9)*x(83) + x(13)*x(14)*x(92) + x(18)*x(19)*x(101) + x(23)*x(24)*x(110) + x(28)*x(29)*x(119) + x(33)*x(34)*x(128) + x(38)*x(39)*x(137) + x(43)*x(44)*x(146) + x(48)*x(49)*x(155) + x(53)*x(54)*x(164) + x(58)*x(59)*x(173) + x(63)*x(64)*x(182)
x(4)*x(74) + x(9)*x(83) + x(14)*x(92) + x(19)*x(101) + x(24)*x(110) + x(29)*x(119) + x(34)*x(128) + x(39)*x(137) + x(44)*x(146) + x(49)*x(155) + x(54)*x(164) + x(59)*x(173) + x(64)*x(182)
x(1)*x(5)*x(74) + x(6)*x(10)*x(83) + x(11)*x(15)*x(92) + x(16)*x(20)*x(101) + x(21)*x(25)*x(110) + x(26)*x(30)*x(119) + x(31)*x(35)*x(128) + x(36)*x(40)*x(137) + x(41)*x(45)*x(146) + x(46)*x(50)*x(155) + x(51)*x(55)*x(164) + x(56)*x(60)*x(173) + x(61)*x(65)*x(182)
x(2)*x(5)*x(74) + x(7)*x(10)*x(83) + x(12)*x(15)*x(92) + x(17)*x(20)*x(101) + x(22)*x(25)*x(110) + x(27)*x(30)*x(119) + x(32)*x(35)*x(128) + x(37)*x(40)*x(137) + x(42)*x(45)*x(146) + x(47)*x(50)*x(155) + x(52)*x(55)*x(164) + x(57)*x(60)*x(173) + x(62)*x(65)*x(182)
x(3)*x(5)*x(74) + x(8)*x(10)*x(83) + x(13)*x(15)*x(92) + x(18)*x(20)*x(101) + x(23)*x(25)*x(110) + x(28)*x(30)*x(119) + x(33)*x(35)*x(128) + x(38)*x(40)*x(137) + x(43)*x(45)*x(146) + x(48)*x(50)*x(155) + x(53)*x(55)*x(164) + x(58)*x(60)*x(173) + x(63)*x(65)*x(182)
x(4)*x(5)*x(74) + x(9)*x(10)*x(83) + x(14)*x(15)*x(92) + x(19)*x(20)*x(101) + x(24)*x(25)*x(110) + x(29)*x(30)*x(119) + x(34)*x(35)*x(128) + x(39)*x(40)*x(137) + x(44)*x(45)*x(146) + x(49)*x(50)*x(155) + x(54)*x(55)*x(164) + x(59)*x(60)*x(173) + x(64)*x(65)*x(182)
x(5)*x(74) + x(10)*x(83) + x(15)*x(92) + x(20)*x(101) + x(25)*x(110) + x(30)*x(119) + x(35)*x(128) + x(40)*x(137) + x(45)*x(146) + x(50)*x(155) + x(55)*x(164) + x(60)*x(173) + x(65)*x(182) + 1