variables
  x[68] in (0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0);

function f(x[68])
  return(x(1)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(2)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(3)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(4)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(5)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(6)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(7)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(8)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(9)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(10)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(11)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(12)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(13)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(14)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(15)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(16)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(17)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(18)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(19)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(20)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(21)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(22)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(23)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(24)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(25)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(26)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(27)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(28)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(29)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(30)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(31)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(32)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(33)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(34)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(35)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(36)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(37)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(38)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(39)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(40)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(41)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(42)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(43)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(44)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(45)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(46)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(47)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(48)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(49)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(50)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(51)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(52)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(53)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(54)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(55)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(56)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(57)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(58)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(59)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(60)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(61)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(62)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(63)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(64)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(65)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(66)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(67)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)); x(68)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)*x(9)*x(10)*x(11)*x(12)*x(13)*x(14)*x(15)*x(16)*x(17)*x(18)*x(19)*x(20)*x(21)*x(22)*x(23)*x(24)*x(25)*x(26)*x(27)*x(28)*x(29)*x(30)*x(31)*x(32)*x(33)*x(34)*x(35)*x(36)*x(37)*x(38)*x(39)*x(40)*x(41)*x(42)*x(43)*x(44)*x(45)*x(46)*x(47)*x(48)*x(49)*x(50)*x(51)*x(52)*x(53)*x(54)*x(55)*x(56)*x(57)*x(58)*x(59)*x(60)*x(61)*x(62)*x(63)*x(64)*x(65)*x(66)*x(67)*x(68)));
end

function v(u[68])
  return(u(1)^2 + u(2)^2 + u(3)^2 + u(4)^2 + u(5)^2 + u(6)^2 + u(7)^2 + u(8)^2 + u(9)^2 + u(10)^2 + u(11)^2 + u(12)^2 + u(13)^2 + u(14)^2 + u(15)^2 + u(16)^2 + u(17)^2 + u(18)^2 + u(19)^2 + u(20)^2 + u(21)^2 + u(22)^2 + u(23)^2 + u(24)^2 + u(25)^2 + u(26)^2 + u(27)^2 + u(28)^2 + u(29)^2 + u(30)^2 + u(31)^2 + u(32)^2 + u(33)^2 + u(34)^2 + u(35)^2 + u(36)^2 + u(37)^2 + u(38)^2 + u(39)^2 + u(40)^2 + u(41)^2 + u(42)^2 + u(43)^2 + u(44)^2 + u(45)^2 + u(46)^2 + u(47)^2 + u(48)^2 + u(49)^2 + u(50)^2 + u(51)^2 + u(52)^2 + u(53)^2 + u(54)^2 + u(55)^2 + u(56)^2 + u(57)^2 + u(58)^2 + u(59)^2 + u(60)^2 + u(61)^2 + u(62)^2 + u(63)^2 + u(64)^2 + u(65)^2 + u(66)^2 + u(67)^2 + u(68)^2);
end