function F = KBSAT1(x)
%

F(1) = -1+(1-x(34))+(1-x(110))+x(79)-(1-x(34))*(1-x(110))-(1-x(34))*x(79)-(1-x(110))*x(79)+(1-x(34))*(1-x(110))*x(79);
F(2) = -1+x(45)+(1-x(153))+(1-x(166))-x(45)*(1-x(153))-x(45)*(1-x(166))-(1-x(153))*(1-x(166))+x(45)*(1-x(153))*(1-x(166));
F(3) = -1+(1-x(71))+x(84)+x(74)-(1-x(71))*x(84)-(1-x(71))*x(74)-x(84)*x(74)+(1-x(71))*x(84)*x(74);
F(4) = -1+(1-x(227))+(1-x(145))+x(236)-(1-x(227))*(1-x(145))-(1-x(227))*x(236)-(1-x(145))*x(236)+(1-x(227))*(1-x(145))*x(236);
F(5) = -1+(1-x(226))+(1-x(241))+x(171)-(1-x(226))*(1-x(241))-(1-x(226))*x(171)-(1-x(241))*x(171)+(1-x(226))*(1-x(241))*x(171);
F(6) = -1+(1-x(22))+x(239)+x(147)-(1-x(22))*x(239)-(1-x(22))*x(147)-x(239)*x(147)+(1-x(22))*x(239)*x(147);
F(7) = -1+x(178)+(1-x(215))+(1-x(25))-x(178)*(1-x(215))-x(178)*(1-x(25))-(1-x(215))*(1-x(25))+x(178)*(1-x(215))*(1-x(25));
F(8) = -1+x(250)+(1-x(87))+x(166)-x(250)*(1-x(87))-x(250)*x(166)-(1-x(87))*x(166)+x(250)*(1-x(87))*x(166);
F(9) = -1+x(187)+x(195)+x(65)-x(187)*x(195)-x(187)*x(65)-x(195)*x(65)+x(187)*x(195)*x(65);
F(10) = -1+(1-x(127))+x(4)+(1-x(37))-(1-x(127))*x(4)-(1-x(127))*(1-x(37))-x(4)*(1-x(37))+(1-x(127))*x(4)*(1-x(37));
F(11) = -1+(1-x(92))+x(128)+x(189)-(1-x(92))*x(128)-(1-x(92))*x(189)-x(128)*x(189)+(1-x(92))*x(128)*x(189);
F(12) = -1+x(148)+(1-x(215))+x(198)-x(148)*(1-x(215))-x(148)*x(198)-(1-x(215))*x(198)+x(148)*(1-x(215))*x(198);
F(13) = -1+x(242)+x(85)+x(31)-x(242)*x(85)-x(242)*x(31)-x(85)*x(31)+x(242)*x(85)*x(31);
F(14) = -1+x(237)+(1-x(144))+x(50)-x(237)*(1-x(144))-x(237)*x(50)-(1-x(144))*x(50)+x(237)*(1-x(144))*x(50);
F(15) = -1+(1-x(111))+(1-x(249))+x(42)-(1-x(111))*(1-x(249))-(1-x(111))*x(42)-(1-x(249))*x(42)+(1-x(111))*(1-x(249))*x(42);
F(16) = -1+x(38)+x(94)+(1-x(214))-x(38)*x(94)-x(38)*(1-x(214))-x(94)*(1-x(214))+x(38)*x(94)*(1-x(214));
F(17) = -1+(1-x(189))+(1-x(149))+x(224)-(1-x(189))*(1-x(149))-(1-x(189))*x(224)-(1-x(149))*x(224)+(1-x(189))*(1-x(149))*x(224);
F(18) = -1+x(144)+(1-x(43))+x(229)-x(144)*(1-x(43))-x(144)*x(229)-(1-x(43))*x(229)+x(144)*(1-x(43))*x(229);
F(19) = -1+x(42)+(1-x(211))+(1-x(80))-x(42)*(1-x(211))-x(42)*(1-x(80))-(1-x(211))*(1-x(80))+x(42)*(1-x(211))*(1-x(80));
F(20) = -1+x(16)+x(185)+(1-x(113))-x(16)*x(185)-x(16)*(1-x(113))-x(185)*(1-x(113))+x(16)*x(185)*(1-x(113));
F(21) = -1+(1-x(191))+(1-x(138))+x(237)-(1-x(191))*(1-x(138))-(1-x(191))*x(237)-(1-x(138))*x(237)+(1-x(191))*(1-x(138))*x(237);
F(22) = -1+(1-x(17))+(1-x(230))+(1-x(231))-(1-x(17))*(1-x(230))-(1-x(17))*(1-x(231))-(1-x(230))*(1-x(231))+(1-x(17))*(1-x(230))*(1-x(231));
F(23) = -1+(1-x(204))+x(100)+(1-x(96))-(1-x(204))*x(100)-(1-x(204))*(1-x(96))-x(100)*(1-x(96))+(1-x(204))*x(100)*(1-x(96));
F(24) = -1+(1-x(25))+x(200)+x(227)-(1-x(25))*x(200)-(1-x(25))*x(227)-x(200)*x(227)+(1-x(25))*x(200)*x(227);
F(25) = -1+(1-x(56))+x(107)+x(50)-(1-x(56))*x(107)-(1-x(56))*x(50)-x(107)*x(50)+(1-x(56))*x(107)*x(50);
F(26) = -1+(1-x(213))+x(174)+x(146)-(1-x(213))*x(174)-(1-x(213))*x(146)-x(174)*x(146)+(1-x(213))*x(174)*x(146);
F(27) = -1+x(177)+(1-x(46))+(1-x(151))-x(177)*(1-x(46))-x(177)*(1-x(151))-(1-x(46))*(1-x(151))+x(177)*(1-x(46))*(1-x(151));
F(28) = -1+(1-x(28))+(1-x(49))+x(100)-(1-x(28))*(1-x(49))-(1-x(28))*x(100)-(1-x(49))*x(100)+(1-x(28))*(1-x(49))*x(100);
F(29) = -1+(1-x(207))+x(31)+x(110)-(1-x(207))*x(31)-(1-x(207))*x(110)-x(31)*x(110)+(1-x(207))*x(31)*x(110);
F(30) = -1+(1-x(186))+x(250)+x(156)-(1-x(186))*x(250)-(1-x(186))*x(156)-x(250)*x(156)+(1-x(186))*x(250)*x(156);
F(31) = -1+x(11)+(1-x(40))+x(220)-x(11)*(1-x(40))-x(11)*x(220)-(1-x(40))*x(220)+x(11)*(1-x(40))*x(220);
F(32) = -1+(1-x(95))+(1-x(96))+x(52)-(1-x(95))*(1-x(96))-(1-x(95))*x(52)-(1-x(96))*x(52)+(1-x(95))*(1-x(96))*x(52);
F(33) = -1+(1-x(167))+(1-x(100))+(1-x(207))-(1-x(167))*(1-x(100))-(1-x(167))*(1-x(207))-(1-x(100))*(1-x(207))+(1-x(167))*(1-x(100))*(1-x(207));
F(34) = -1+(1-x(109))+(1-x(74))+x(70)-(1-x(109))*(1-x(74))-(1-x(109))*x(70)-(1-x(74))*x(70)+(1-x(109))*(1-x(74))*x(70);
F(35) = -1+(1-x(147))+x(99)+x(46)-(1-x(147))*x(99)-(1-x(147))*x(46)-x(99)*x(46)+(1-x(147))*x(99)*x(46);
F(36) = -1+(1-x(195))+(1-x(124))+x(240)-(1-x(195))*(1-x(124))-(1-x(195))*x(240)-(1-x(124))*x(240)+(1-x(195))*(1-x(124))*x(240);
F(37) = -1+x(169)+x(238)+x(226)-x(169)*x(238)-x(169)*x(226)-x(238)*x(226)+x(169)*x(238)*x(226);
F(38) = -1+(1-x(10))+x(119)+x(106)-(1-x(10))*x(119)-(1-x(10))*x(106)-x(119)*x(106)+(1-x(10))*x(119)*x(106);
F(39) = -1+x(58)+x(239)+x(102)-x(58)*x(239)-x(58)*x(102)-x(239)*x(102)+x(58)*x(239)*x(102);
F(40) = -1+x(65)+(1-x(62))+x(145)-x(65)*(1-x(62))-x(65)*x(145)-(1-x(62))*x(145)+x(65)*(1-x(62))*x(145);
F(41) = -1+x(168)+(1-x(163))+(1-x(74))-x(168)*(1-x(163))-x(168)*(1-x(74))-(1-x(163))*(1-x(74))+x(168)*(1-x(163))*(1-x(74));
F(42) = -1+(1-x(133))+(1-x(238))+x(6)-(1-x(133))*(1-x(238))-(1-x(133))*x(6)-(1-x(238))*x(6)+(1-x(133))*(1-x(238))*x(6);
F(43) = -1+x(160)+(1-x(104))+x(123)-x(160)*(1-x(104))-x(160)*x(123)-(1-x(104))*x(123)+x(160)*(1-x(104))*x(123);
F(44) = -1+x(103)+x(172)+(1-x(62))-x(103)*x(172)-x(103)*(1-x(62))-x(172)*(1-x(62))+x(103)*x(172)*(1-x(62));
F(45) = -1+x(148)+(1-x(22))+(1-x(39))-x(148)*(1-x(22))-x(148)*(1-x(39))-(1-x(22))*(1-x(39))+x(148)*(1-x(22))*(1-x(39));
F(46) = -1+x(66)+x(6)+(1-x(247))-x(66)*x(6)-x(66)*(1-x(247))-x(6)*(1-x(247))+x(66)*x(6)*(1-x(247));
F(47) = -1+x(131)+(1-x(71))+x(250)-x(131)*(1-x(71))-x(131)*x(250)-(1-x(71))*x(250)+x(131)*(1-x(71))*x(250);
F(48) = -1+x(80)+x(90)+(1-x(186))-x(80)*x(90)-x(80)*(1-x(186))-x(90)*(1-x(186))+x(80)*x(90)*(1-x(186));
F(49) = -1+(1-x(141))+(1-x(143))+(1-x(129))-(1-x(141))*(1-x(143))-(1-x(141))*(1-x(129))-(1-x(143))*(1-x(129))+(1-x(141))*(1-x(143))*(1-x(129));
F(50) = -1+x(86)+x(81)+x(235)-x(86)*x(81)-x(86)*x(235)-x(81)*x(235)+x(86)*x(81)*x(235);
F(51) = -1+(1-x(24))+(1-x(76))+(1-x(28))-(1-x(24))*(1-x(76))-(1-x(24))*(1-x(28))-(1-x(76))*(1-x(28))+(1-x(24))*(1-x(76))*(1-x(28));
F(52) = -1+(1-x(108))+x(201)+x(26)-(1-x(108))*x(201)-(1-x(108))*x(26)-x(201)*x(26)+(1-x(108))*x(201)*x(26);
F(53) = -1+(1-x(3))+x(108)+(1-x(38))-(1-x(3))*x(108)-(1-x(3))*(1-x(38))-x(108)*(1-x(38))+(1-x(3))*x(108)*(1-x(38));
F(54) = -1+(1-x(54))+(1-x(82))+x(240)-(1-x(54))*(1-x(82))-(1-x(54))*x(240)-(1-x(82))*x(240)+(1-x(54))*(1-x(82))*x(240);
F(55) = -1+(1-x(151))+x(237)+(1-x(183))-(1-x(151))*x(237)-(1-x(151))*(1-x(183))-x(237)*(1-x(183))+(1-x(151))*x(237)*(1-x(183));
F(56) = -1+x(100)+(1-x(21))+x(235)-x(100)*(1-x(21))-x(100)*x(235)-(1-x(21))*x(235)+x(100)*(1-x(21))*x(235);
F(57) = -1+(1-x(247))+x(207)+x(19)-(1-x(247))*x(207)-(1-x(247))*x(19)-x(207)*x(19)+(1-x(247))*x(207)*x(19);
F(58) = -1+(1-x(147))+x(87)+x(113)-(1-x(147))*x(87)-(1-x(147))*x(113)-x(87)*x(113)+(1-x(147))*x(87)*x(113);
F(59) = -1+x(48)+x(52)+x(113)-x(48)*x(52)-x(48)*x(113)-x(52)*x(113)+x(48)*x(52)*x(113);
F(60) = -1+x(91)+x(117)+x(244)-x(91)*x(117)-x(91)*x(244)-x(117)*x(244)+x(91)*x(117)*x(244);
F(61) = -1+x(48)+x(5)+x(18)-x(48)*x(5)-x(48)*x(18)-x(5)*x(18)+x(48)*x(5)*x(18);
F(62) = -1+x(118)+x(80)+x(211)-x(118)*x(80)-x(118)*x(211)-x(80)*x(211)+x(118)*x(80)*x(211);
F(63) = -1+(1-x(57))+x(119)+x(111)-(1-x(57))*x(119)-(1-x(57))*x(111)-x(119)*x(111)+(1-x(57))*x(119)*x(111);
F(64) = -1+(1-x(18))+x(149)+x(39)-(1-x(18))*x(149)-(1-x(18))*x(39)-x(149)*x(39)+(1-x(18))*x(149)*x(39);
F(65) = -1+x(111)+x(24)+x(206)-x(111)*x(24)-x(111)*x(206)-x(24)*x(206)+x(111)*x(24)*x(206);
F(66) = -1+(1-x(26))+x(111)+x(73)-(1-x(26))*x(111)-(1-x(26))*x(73)-x(111)*x(73)+(1-x(26))*x(111)*x(73);
F(67) = -1+x(19)+x(143)+x(15)-x(19)*x(143)-x(19)*x(15)-x(143)*x(15)+x(19)*x(143)*x(15);
F(68) = -1+x(197)+(1-x(210))+(1-x(215))-x(197)*(1-x(210))-x(197)*(1-x(215))-(1-x(210))*(1-x(215))+x(197)*(1-x(210))*(1-x(215));
F(69) = -1+(1-x(48))+x(230)+x(52)-(1-x(48))*x(230)-(1-x(48))*x(52)-x(230)*x(52)+(1-x(48))*x(230)*x(52);
F(70) = -1+x(207)+x(148)+x(139)-x(207)*x(148)-x(207)*x(139)-x(148)*x(139)+x(207)*x(148)*x(139);
F(71) = -1+x(248)+x(107)+x(196)-x(248)*x(107)-x(248)*x(196)-x(107)*x(196)+x(248)*x(107)*x(196);
F(72) = -1+x(236)+x(119)+x(63)-x(236)*x(119)-x(236)*x(63)-x(119)*x(63)+x(236)*x(119)*x(63);
F(73) = -1+(1-x(231))+x(204)+(1-x(76))-(1-x(231))*x(204)-(1-x(231))*(1-x(76))-x(204)*(1-x(76))+(1-x(231))*x(204)*(1-x(76));
F(74) = -1+x(11)+x(150)+x(68)-x(11)*x(150)-x(11)*x(68)-x(150)*x(68)+x(11)*x(150)*x(68);
F(75) = -1+x(9)+(1-x(113))+(1-x(5))-x(9)*(1-x(113))-x(9)*(1-x(5))-(1-x(113))*(1-x(5))+x(9)*(1-x(113))*(1-x(5));
F(76) = -1+x(10)+x(166)+(1-x(110))-x(10)*x(166)-x(10)*(1-x(110))-x(166)*(1-x(110))+x(10)*x(166)*(1-x(110));
F(77) = -1+(1-x(44))+(1-x(75))+(1-x(223))-(1-x(44))*(1-x(75))-(1-x(44))*(1-x(223))-(1-x(75))*(1-x(223))+(1-x(44))*(1-x(75))*(1-x(223));
F(78) = -1+(1-x(45))+(1-x(147))+(1-x(145))-(1-x(45))*(1-x(147))-(1-x(45))*(1-x(145))-(1-x(147))*(1-x(145))+(1-x(45))*(1-x(147))*(1-x(145));
F(79) = -1+(1-x(165))+(1-x(95))+x(146)-(1-x(165))*(1-x(95))-(1-x(165))*x(146)-(1-x(95))*x(146)+(1-x(165))*(1-x(95))*x(146);
F(80) = -1+(1-x(16))+(1-x(186))+(1-x(61))-(1-x(16))*(1-x(186))-(1-x(16))*(1-x(61))-(1-x(186))*(1-x(61))+(1-x(16))*(1-x(186))*(1-x(61));
F(81) = -1+x(130)+x(192)+(1-x(185))-x(130)*x(192)-x(130)*(1-x(185))-x(192)*(1-x(185))+x(130)*x(192)*(1-x(185));
F(82) = -1+x(156)+x(146)+x(141)-x(156)*x(146)-x(156)*x(141)-x(146)*x(141)+x(156)*x(146)*x(141);
F(83) = -1+(1-x(119))+(1-x(73))+(1-x(183))-(1-x(119))*(1-x(73))-(1-x(119))*(1-x(183))-(1-x(73))*(1-x(183))+(1-x(119))*(1-x(73))*(1-x(183));
F(84) = -1+(1-x(237))+(1-x(122))+(1-x(162))-(1-x(237))*(1-x(122))-(1-x(237))*(1-x(162))-(1-x(122))*(1-x(162))+(1-x(237))*(1-x(122))*(1-x(162));
F(85) = -1+(1-x(243))+x(172)+(1-x(56))-(1-x(243))*x(172)-(1-x(243))*(1-x(56))-x(172)*(1-x(56))+(1-x(243))*x(172)*(1-x(56));
F(86) = -1+(1-x(119))+x(52)+(1-x(230))-(1-x(119))*x(52)-(1-x(119))*(1-x(230))-x(52)*(1-x(230))+(1-x(119))*x(52)*(1-x(230));
F(87) = -1+x(112)+(1-x(216))+x(117)-x(112)*(1-x(216))-x(112)*x(117)-(1-x(216))*x(117)+x(112)*(1-x(216))*x(117);
F(88) = -1+(1-x(126))+(1-x(42))+x(250)-(1-x(126))*(1-x(42))-(1-x(126))*x(250)-(1-x(42))*x(250)+(1-x(126))*(1-x(42))*x(250);
F(89) = -1+(1-x(165))+x(71)+(1-x(67))-(1-x(165))*x(71)-(1-x(165))*(1-x(67))-x(71)*(1-x(67))+(1-x(165))*x(71)*(1-x(67));
F(90) = -1+x(54)+x(160)+(1-x(239))-x(54)*x(160)-x(54)*(1-x(239))-x(160)*(1-x(239))+x(54)*x(160)*(1-x(239));
F(91) = -1+x(207)+(1-x(150))+x(168)-x(207)*(1-x(150))-x(207)*x(168)-(1-x(150))*x(168)+x(207)*(1-x(150))*x(168);
F(92) = -1+(1-x(245))+(1-x(16))+x(36)-(1-x(245))*(1-x(16))-(1-x(245))*x(36)-(1-x(16))*x(36)+(1-x(245))*(1-x(16))*x(36);
F(93) = -1+(1-x(67))+x(116)+x(110)-(1-x(67))*x(116)-(1-x(67))*x(110)-x(116)*x(110)+(1-x(67))*x(116)*x(110);
F(94) = -1+(1-x(82))+x(101)+x(60)-(1-x(82))*x(101)-(1-x(82))*x(60)-x(101)*x(60)+(1-x(82))*x(101)*x(60);
F(95) = -1+(1-x(135))+x(228)+x(88)-(1-x(135))*x(228)-(1-x(135))*x(88)-x(228)*x(88)+(1-x(135))*x(228)*x(88);
F(96) = -1+x(10)+(1-x(74))+(1-x(53))-x(10)*(1-x(74))-x(10)*(1-x(53))-(1-x(74))*(1-x(53))+x(10)*(1-x(74))*(1-x(53));
F(97) = -1+x(40)+x(20)+x(8)-x(40)*x(20)-x(40)*x(8)-x(20)*x(8)+x(40)*x(20)*x(8);
F(98) = -1+x(187)+x(217)+(1-x(182))-x(187)*x(217)-x(187)*(1-x(182))-x(217)*(1-x(182))+x(187)*x(217)*(1-x(182));
F(99) = -1+x(168)+x(99)+x(165)-x(168)*x(99)-x(168)*x(165)-x(99)*x(165)+x(168)*x(99)*x(165);
F(100) = -1+x(186)+x(22)+x(93)-x(186)*x(22)-x(186)*x(93)-x(22)*x(93)+x(186)*x(22)*x(93);
F(101) = -1+(1-x(129))+(1-x(154))+x(12)-(1-x(129))*(1-x(154))-(1-x(129))*x(12)-(1-x(154))*x(12)+(1-x(129))*(1-x(154))*x(12);
F(102) = -1+x(193)+x(4)+(1-x(105))-x(193)*x(4)-x(193)*(1-x(105))-x(4)*(1-x(105))+x(193)*x(4)*(1-x(105));
F(103) = -1+x(18)+(1-x(85))+(1-x(94))-x(18)*(1-x(85))-x(18)*(1-x(94))-(1-x(85))*(1-x(94))+x(18)*(1-x(85))*(1-x(94));
F(104) = -1+(1-x(59))+(1-x(29))+(1-x(67))-(1-x(59))*(1-x(29))-(1-x(59))*(1-x(67))-(1-x(29))*(1-x(67))+(1-x(59))*(1-x(29))*(1-x(67));
F(105) = -1+x(241)+x(127)+(1-x(197))-x(241)*x(127)-x(241)*(1-x(197))-x(127)*(1-x(197))+x(241)*x(127)*(1-x(197));
F(106) = -1+x(185)+(1-x(206))+x(57)-x(185)*(1-x(206))-x(185)*x(57)-(1-x(206))*x(57)+x(185)*(1-x(206))*x(57);
F(107) = -1+x(247)+(1-x(110))+x(71)-x(247)*(1-x(110))-x(247)*x(71)-(1-x(110))*x(71)+x(247)*(1-x(110))*x(71);
F(108) = -1+x(143)+(1-x(110))+(1-x(171))-x(143)*(1-x(110))-x(143)*(1-x(171))-(1-x(110))*(1-x(171))+x(143)*(1-x(110))*(1-x(171));
F(109) = -1+x(246)+(1-x(77))+(1-x(142))-x(246)*(1-x(77))-x(246)*(1-x(142))-(1-x(77))*(1-x(142))+x(246)*(1-x(77))*(1-x(142));
F(110) = -1+x(238)+(1-x(231))+(1-x(215))-x(238)*(1-x(231))-x(238)*(1-x(215))-(1-x(231))*(1-x(215))+x(238)*(1-x(231))*(1-x(215));
F(111) = -1+(1-x(118))+x(28)+(1-x(95))-(1-x(118))*x(28)-(1-x(118))*(1-x(95))-x(28)*(1-x(95))+(1-x(118))*x(28)*(1-x(95));
F(112) = -1+(1-x(222))+x(144)+x(193)-(1-x(222))*x(144)-(1-x(222))*x(193)-x(144)*x(193)+(1-x(222))*x(144)*x(193);
F(113) = -1+(1-x(208))+(1-x(119))+(1-x(70))-(1-x(208))*(1-x(119))-(1-x(208))*(1-x(70))-(1-x(119))*(1-x(70))+(1-x(208))*(1-x(119))*(1-x(70));
F(114) = -1+(1-x(236))+(1-x(239))+x(90)-(1-x(236))*(1-x(239))-(1-x(236))*x(90)-(1-x(239))*x(90)+(1-x(236))*(1-x(239))*x(90);
F(115) = -1+(1-x(205))+x(12)+(1-x(191))-(1-x(205))*x(12)-(1-x(205))*(1-x(191))-x(12)*(1-x(191))+(1-x(205))*x(12)*(1-x(191));
F(116) = -1+(1-x(113))+(1-x(125))+(1-x(133))-(1-x(113))*(1-x(125))-(1-x(113))*(1-x(133))-(1-x(125))*(1-x(133))+(1-x(113))*(1-x(125))*(1-x(133));
F(117) = -1+(1-x(224))+(1-x(61))+x(185)-(1-x(224))*(1-x(61))-(1-x(224))*x(185)-(1-x(61))*x(185)+(1-x(224))*(1-x(61))*x(185);
F(118) = -1+(1-x(80))+(1-x(87))+x(209)-(1-x(80))*(1-x(87))-(1-x(80))*x(209)-(1-x(87))*x(209)+(1-x(80))*(1-x(87))*x(209);
F(119) = -1+(1-x(238))+x(223)+(1-x(7))-(1-x(238))*x(223)-(1-x(238))*(1-x(7))-x(223)*(1-x(7))+(1-x(238))*x(223)*(1-x(7));
F(120) = -1+x(107)+x(140)+(1-x(147))-x(107)*x(140)-x(107)*(1-x(147))-x(140)*(1-x(147))+x(107)*x(140)*(1-x(147));
F(121) = -1+x(93)+x(139)+x(149)-x(93)*x(139)-x(93)*x(149)-x(139)*x(149)+x(93)*x(139)*x(149);
F(122) = -1+x(187)+x(125)+(1-x(239))-x(187)*x(125)-x(187)*(1-x(239))-x(125)*(1-x(239))+x(187)*x(125)*(1-x(239));
F(123) = -1+(1-x(250))+x(201)+(1-x(16))-(1-x(250))*x(201)-(1-x(250))*(1-x(16))-x(201)*(1-x(16))+(1-x(250))*x(201)*(1-x(16));
F(124) = -1+(1-x(243))+(1-x(104))+x(231)-(1-x(243))*(1-x(104))-(1-x(243))*x(231)-(1-x(104))*x(231)+(1-x(243))*(1-x(104))*x(231);
F(125) = -1+(1-x(27))+(1-x(72))+(1-x(204))-(1-x(27))*(1-x(72))-(1-x(27))*(1-x(204))-(1-x(72))*(1-x(204))+(1-x(27))*(1-x(72))*(1-x(204));
F(126) = -1+(1-x(246))+x(228)+x(15)-(1-x(246))*x(228)-(1-x(246))*x(15)-x(228)*x(15)+(1-x(246))*x(228)*x(15);
F(127) = -1+x(155)+x(249)+x(198)-x(155)*x(249)-x(155)*x(198)-x(249)*x(198)+x(155)*x(249)*x(198);
F(128) = -1+(1-x(88))+(1-x(55))+(1-x(33))-(1-x(88))*(1-x(55))-(1-x(88))*(1-x(33))-(1-x(55))*(1-x(33))+(1-x(88))*(1-x(55))*(1-x(33));
F(129) = -1+(1-x(197))+x(75)+(1-x(240))-(1-x(197))*x(75)-(1-x(197))*(1-x(240))-x(75)*(1-x(240))+(1-x(197))*x(75)*(1-x(240));
F(130) = -1+x(161)+(1-x(142))+x(183)-x(161)*(1-x(142))-x(161)*x(183)-(1-x(142))*x(183)+x(161)*(1-x(142))*x(183);
F(131) = -1+(1-x(201))+(1-x(143))+x(63)-(1-x(201))*(1-x(143))-(1-x(201))*x(63)-(1-x(143))*x(63)+(1-x(201))*(1-x(143))*x(63);
F(132) = -1+x(56)+x(108)+(1-x(247))-x(56)*x(108)-x(56)*(1-x(247))-x(108)*(1-x(247))+x(56)*x(108)*(1-x(247));
F(133) = -1+(1-x(42))+(1-x(2))+(1-x(123))-(1-x(42))*(1-x(2))-(1-x(42))*(1-x(123))-(1-x(2))*(1-x(123))+(1-x(42))*(1-x(2))*(1-x(123));
F(134) = -1+(1-x(167))+(1-x(60))+x(120)-(1-x(167))*(1-x(60))-(1-x(167))*x(120)-(1-x(60))*x(120)+(1-x(167))*(1-x(60))*x(120);
F(135) = -1+x(46)+(1-x(66))+x(12)-x(46)*(1-x(66))-x(46)*x(12)-(1-x(66))*x(12)+x(46)*(1-x(66))*x(12);
F(136) = -1+(1-x(32))+x(176)+(1-x(141))-(1-x(32))*x(176)-(1-x(32))*(1-x(141))-x(176)*(1-x(141))+(1-x(32))*x(176)*(1-x(141));
F(137) = -1+x(81)+x(205)+x(250)-x(81)*x(205)-x(81)*x(250)-x(205)*x(250)+x(81)*x(205)*x(250);
F(138) = -1+x(243)+(1-x(36))+(1-x(138))-x(243)*(1-x(36))-x(243)*(1-x(138))-(1-x(36))*(1-x(138))+x(243)*(1-x(36))*(1-x(138));
F(139) = -1+(1-x(29))+x(227)+x(45)-(1-x(29))*x(227)-(1-x(29))*x(45)-x(227)*x(45)+(1-x(29))*x(227)*x(45);
F(140) = -1+(1-x(137))+(1-x(125))+x(27)-(1-x(137))*(1-x(125))-(1-x(137))*x(27)-(1-x(125))*x(27)+(1-x(137))*(1-x(125))*x(27);
F(141) = -1+(1-x(200))+x(98)+x(232)-(1-x(200))*x(98)-(1-x(200))*x(232)-x(98)*x(232)+(1-x(200))*x(98)*x(232);
F(142) = -1+(1-x(113))+x(184)+x(250)-(1-x(113))*x(184)-(1-x(113))*x(250)-x(184)*x(250)+(1-x(113))*x(184)*x(250);
F(143) = -1+(1-x(19))+x(225)+(1-x(236))-(1-x(19))*x(225)-(1-x(19))*(1-x(236))-x(225)*(1-x(236))+(1-x(19))*x(225)*(1-x(236));
F(144) = -1+(1-x(212))+x(166)+(1-x(102))-(1-x(212))*x(166)-(1-x(212))*(1-x(102))-x(166)*(1-x(102))+(1-x(212))*x(166)*(1-x(102));
F(145) = -1+x(34)+(1-x(49))+x(190)-x(34)*(1-x(49))-x(34)*x(190)-(1-x(49))*x(190)+x(34)*(1-x(49))*x(190);
F(146) = -1+x(45)+x(133)+x(14)-x(45)*x(133)-x(45)*x(14)-x(133)*x(14)+x(45)*x(133)*x(14);
F(147) = -1+x(130)+(1-x(177))+(1-x(193))-x(130)*(1-x(177))-x(130)*(1-x(193))-(1-x(177))*(1-x(193))+x(130)*(1-x(177))*(1-x(193));
F(148) = -1+(1-x(247))+x(168)+x(15)-(1-x(247))*x(168)-(1-x(247))*x(15)-x(168)*x(15)+(1-x(247))*x(168)*x(15);
F(149) = -1+(1-x(83))+x(168)+(1-x(165))-(1-x(83))*x(168)-(1-x(83))*(1-x(165))-x(168)*(1-x(165))+(1-x(83))*x(168)*(1-x(165));
F(150) = -1+(1-x(207))+x(8)+x(106)-(1-x(207))*x(8)-(1-x(207))*x(106)-x(8)*x(106)+(1-x(207))*x(8)*x(106);
F(151) = -1+(1-x(81))+x(86)+x(42)-(1-x(81))*x(86)-(1-x(81))*x(42)-x(86)*x(42)+(1-x(81))*x(86)*x(42);
F(152) = -1+(1-x(79))+x(225)+(1-x(235))-(1-x(79))*x(225)-(1-x(79))*(1-x(235))-x(225)*(1-x(235))+(1-x(79))*x(225)*(1-x(235));
F(153) = -1+x(182)+(1-x(128))+x(202)-x(182)*(1-x(128))-x(182)*x(202)-(1-x(128))*x(202)+x(182)*(1-x(128))*x(202);
F(154) = -1+(1-x(3))+(1-x(120))+x(33)-(1-x(3))*(1-x(120))-(1-x(3))*x(33)-(1-x(120))*x(33)+(1-x(3))*(1-x(120))*x(33);
F(155) = -1+x(190)+(1-x(232))+x(245)-x(190)*(1-x(232))-x(190)*x(245)-(1-x(232))*x(245)+x(190)*(1-x(232))*x(245);
F(156) = -1+(1-x(144))+(1-x(237))+x(40)-(1-x(144))*(1-x(237))-(1-x(144))*x(40)-(1-x(237))*x(40)+(1-x(144))*(1-x(237))*x(40);
F(157) = -1+(1-x(78))+(1-x(200))+x(124)-(1-x(78))*(1-x(200))-(1-x(78))*x(124)-(1-x(200))*x(124)+(1-x(78))*(1-x(200))*x(124);
F(158) = -1+(1-x(219))+(1-x(165))+x(154)-(1-x(219))*(1-x(165))-(1-x(219))*x(154)-(1-x(165))*x(154)+(1-x(219))*(1-x(165))*x(154);
F(159) = -1+x(239)+x(151)+x(77)-x(239)*x(151)-x(239)*x(77)-x(151)*x(77)+x(239)*x(151)*x(77);
F(160) = -1+x(142)+(1-x(172))+x(213)-x(142)*(1-x(172))-x(142)*x(213)-(1-x(172))*x(213)+x(142)*(1-x(172))*x(213);
F(161) = -1+(1-x(210))+(1-x(243))+x(86)-(1-x(210))*(1-x(243))-(1-x(210))*x(86)-(1-x(243))*x(86)+(1-x(210))*(1-x(243))*x(86);
F(162) = -1+(1-x(226))+x(151)+x(215)-(1-x(226))*x(151)-(1-x(226))*x(215)-x(151)*x(215)+(1-x(226))*x(151)*x(215);
F(163) = -1+x(109)+(1-x(78))+x(30)-x(109)*(1-x(78))-x(109)*x(30)-(1-x(78))*x(30)+x(109)*(1-x(78))*x(30);
F(164) = -1+x(140)+(1-x(138))+x(127)-x(140)*(1-x(138))-x(140)*x(127)-(1-x(138))*x(127)+x(140)*(1-x(138))*x(127);
F(165) = -1+x(223)+(1-x(230))+(1-x(141))-x(223)*(1-x(230))-x(223)*(1-x(141))-(1-x(230))*(1-x(141))+x(223)*(1-x(230))*(1-x(141));
F(166) = -1+x(61)+x(50)+(1-x(48))-x(61)*x(50)-x(61)*(1-x(48))-x(50)*(1-x(48))+x(61)*x(50)*(1-x(48));
F(167) = -1+(1-x(85))+(1-x(48))+x(198)-(1-x(85))*(1-x(48))-(1-x(85))*x(198)-(1-x(48))*x(198)+(1-x(85))*(1-x(48))*x(198);
F(168) = -1+x(8)+(1-x(196))+x(80)-x(8)*(1-x(196))-x(8)*x(80)-(1-x(196))*x(80)+x(8)*(1-x(196))*x(80);
F(169) = -1+x(67)+(1-x(243))+(1-x(9))-x(67)*(1-x(243))-x(67)*(1-x(9))-(1-x(243))*(1-x(9))+x(67)*(1-x(243))*(1-x(9));
F(170) = -1+(1-x(168))+(1-x(137))+x(124)-(1-x(168))*(1-x(137))-(1-x(168))*x(124)-(1-x(137))*x(124)+(1-x(168))*(1-x(137))*x(124);
F(171) = -1+(1-x(90))+x(129)+(1-x(237))-(1-x(90))*x(129)-(1-x(90))*(1-x(237))-x(129)*(1-x(237))+(1-x(90))*x(129)*(1-x(237));
F(172) = -1+(1-x(24))+x(199)+x(55)-(1-x(24))*x(199)-(1-x(24))*x(55)-x(199)*x(55)+(1-x(24))*x(199)*x(55);
F(173) = -1+(1-x(84))+x(202)+(1-x(148))-(1-x(84))*x(202)-(1-x(84))*(1-x(148))-x(202)*(1-x(148))+(1-x(84))*x(202)*(1-x(148));
F(174) = -1+(1-x(4))+(1-x(250))+x(169)-(1-x(4))*(1-x(250))-(1-x(4))*x(169)-(1-x(250))*x(169)+(1-x(4))*(1-x(250))*x(169);
F(175) = -1+(1-x(115))+(1-x(238))+x(234)-(1-x(115))*(1-x(238))-(1-x(115))*x(234)-(1-x(238))*x(234)+(1-x(115))*(1-x(238))*x(234);
F(176) = -1+x(30)+(1-x(46))+x(212)-x(30)*(1-x(46))-x(30)*x(212)-(1-x(46))*x(212)+x(30)*(1-x(46))*x(212);
F(177) = -1+x(84)+(1-x(103))+(1-x(57))-x(84)*(1-x(103))-x(84)*(1-x(57))-(1-x(103))*(1-x(57))+x(84)*(1-x(103))*(1-x(57));
F(178) = -1+x(177)+x(220)+(1-x(170))-x(177)*x(220)-x(177)*(1-x(170))-x(220)*(1-x(170))+x(177)*x(220)*(1-x(170));
F(179) = -1+x(160)+x(83)+x(170)-x(160)*x(83)-x(160)*x(170)-x(83)*x(170)+x(160)*x(83)*x(170);
F(180) = -1+(1-x(167))+(1-x(88))+(1-x(37))-(1-x(167))*(1-x(88))-(1-x(167))*(1-x(37))-(1-x(88))*(1-x(37))+(1-x(167))*(1-x(88))*(1-x(37));
F(181) = -1+(1-x(17))+(1-x(145))+(1-x(223))-(1-x(17))*(1-x(145))-(1-x(17))*(1-x(223))-(1-x(145))*(1-x(223))+(1-x(17))*(1-x(145))*(1-x(223));
F(182) = -1+x(95)+(1-x(92))+(1-x(88))-x(95)*(1-x(92))-x(95)*(1-x(88))-(1-x(92))*(1-x(88))+x(95)*(1-x(92))*(1-x(88));
F(183) = -1+x(105)+x(39)+(1-x(143))-x(105)*x(39)-x(105)*(1-x(143))-x(39)*(1-x(143))+x(105)*x(39)*(1-x(143));
F(184) = -1+x(191)+x(131)+(1-x(211))-x(191)*x(131)-x(191)*(1-x(211))-x(131)*(1-x(211))+x(191)*x(131)*(1-x(211));
F(185) = -1+x(24)+(1-x(85))+x(32)-x(24)*(1-x(85))-x(24)*x(32)-(1-x(85))*x(32)+x(24)*(1-x(85))*x(32);
F(186) = -1+x(183)+(1-x(187))+(1-x(110))-x(183)*(1-x(187))-x(183)*(1-x(110))-(1-x(187))*(1-x(110))+x(183)*(1-x(187))*(1-x(110));
F(187) = -1+(1-x(183))+(1-x(215))+x(151)-(1-x(183))*(1-x(215))-(1-x(183))*x(151)-(1-x(215))*x(151)+(1-x(183))*(1-x(215))*x(151);
F(188) = -1+x(172)+(1-x(66))+x(79)-x(172)*(1-x(66))-x(172)*x(79)-(1-x(66))*x(79)+x(172)*(1-x(66))*x(79);
F(189) = -1+(1-x(168))+(1-x(10))+(1-x(43))-(1-x(168))*(1-x(10))-(1-x(168))*(1-x(43))-(1-x(10))*(1-x(43))+(1-x(168))*(1-x(10))*(1-x(43));
F(190) = -1+x(99)+(1-x(98))+x(178)-x(99)*(1-x(98))-x(99)*x(178)-(1-x(98))*x(178)+x(99)*(1-x(98))*x(178);
F(191) = -1+x(55)+(1-x(177))+(1-x(187))-x(55)*(1-x(177))-x(55)*(1-x(187))-(1-x(177))*(1-x(187))+x(55)*(1-x(177))*(1-x(187));
F(192) = -1+(1-x(150))+(1-x(240))+x(144)-(1-x(150))*(1-x(240))-(1-x(150))*x(144)-(1-x(240))*x(144)+(1-x(150))*(1-x(240))*x(144);
F(193) = -1+x(167)+(1-x(145))+x(26)-x(167)*(1-x(145))-x(167)*x(26)-(1-x(145))*x(26)+x(167)*(1-x(145))*x(26);
F(194) = -1+(1-x(191))+x(243)+(1-x(242))-(1-x(191))*x(243)-(1-x(191))*(1-x(242))-x(243)*(1-x(242))+(1-x(191))*x(243)*(1-x(242));
F(195) = -1+(1-x(171))+x(101)+x(23)-(1-x(171))*x(101)-(1-x(171))*x(23)-x(101)*x(23)+(1-x(171))*x(101)*x(23);
F(196) = -1+(1-x(148))+x(138)+x(68)-(1-x(148))*x(138)-(1-x(148))*x(68)-x(138)*x(68)+(1-x(148))*x(138)*x(68);
F(197) = -1+(1-x(111))+x(194)+(1-x(81))-(1-x(111))*x(194)-(1-x(111))*(1-x(81))-x(194)*(1-x(81))+(1-x(111))*x(194)*(1-x(81));
F(198) = -1+(1-x(241))+x(153)+x(230)-(1-x(241))*x(153)-(1-x(241))*x(230)-x(153)*x(230)+(1-x(241))*x(153)*x(230);
F(199) = -1+x(109)+x(122)+x(120)-x(109)*x(122)-x(109)*x(120)-x(122)*x(120)+x(109)*x(122)*x(120);
F(200) = -1+x(135)+(1-x(203))+x(59)-x(135)*(1-x(203))-x(135)*x(59)-(1-x(203))*x(59)+x(135)*(1-x(203))*x(59);
F(201) = -1+x(13)+x(52)+x(31)-x(13)*x(52)-x(13)*x(31)-x(52)*x(31)+x(13)*x(52)*x(31);
F(202) = -1+x(224)+x(86)+x(241)-x(224)*x(86)-x(224)*x(241)-x(86)*x(241)+x(224)*x(86)*x(241);
F(203) = -1+(1-x(4))+(1-x(164))+x(116)-(1-x(4))*(1-x(164))-(1-x(4))*x(116)-(1-x(164))*x(116)+(1-x(4))*(1-x(164))*x(116);
F(204) = -1+x(85)+(1-x(62))+x(75)-x(85)*(1-x(62))-x(85)*x(75)-(1-x(62))*x(75)+x(85)*(1-x(62))*x(75);
F(205) = -1+(1-x(68))+x(221)+(1-x(194))-(1-x(68))*x(221)-(1-x(68))*(1-x(194))-x(221)*(1-x(194))+(1-x(68))*x(221)*(1-x(194));
F(206) = -1+x(245)+x(236)+x(107)-x(245)*x(236)-x(245)*x(107)-x(236)*x(107)+x(245)*x(236)*x(107);
F(207) = -1+(1-x(166))+x(157)+(1-x(247))-(1-x(166))*x(157)-(1-x(166))*(1-x(247))-x(157)*(1-x(247))+(1-x(166))*x(157)*(1-x(247));
F(208) = -1+x(168)+(1-x(129))+(1-x(157))-x(168)*(1-x(129))-x(168)*(1-x(157))-(1-x(129))*(1-x(157))+x(168)*(1-x(129))*(1-x(157));
F(209) = -1+(1-x(224))+(1-x(218))+(1-x(196))-(1-x(224))*(1-x(218))-(1-x(224))*(1-x(196))-(1-x(218))*(1-x(196))+(1-x(224))*(1-x(218))*(1-x(196));
F(210) = -1+(1-x(217))+(1-x(1))+x(34)-(1-x(217))*(1-x(1))-(1-x(217))*x(34)-(1-x(1))*x(34)+(1-x(217))*(1-x(1))*x(34);
F(211) = -1+x(217)+x(151)+(1-x(75))-x(217)*x(151)-x(217)*(1-x(75))-x(151)*(1-x(75))+x(217)*x(151)*(1-x(75));
F(212) = -1+(1-x(219))+(1-x(87))+(1-x(242))-(1-x(219))*(1-x(87))-(1-x(219))*(1-x(242))-(1-x(87))*(1-x(242))+(1-x(219))*(1-x(87))*(1-x(242));
F(213) = -1+(1-x(22))+x(84)+(1-x(241))-(1-x(22))*x(84)-(1-x(22))*(1-x(241))-x(84)*(1-x(241))+(1-x(22))*x(84)*(1-x(241));
F(214) = -1+x(144)+(1-x(232))+x(250)-x(144)*(1-x(232))-x(144)*x(250)-(1-x(232))*x(250)+x(144)*(1-x(232))*x(250);
F(215) = -1+x(154)+x(191)+(1-x(99))-x(154)*x(191)-x(154)*(1-x(99))-x(191)*(1-x(99))+x(154)*x(191)*(1-x(99));
F(216) = -1+x(2)+x(73)+(1-x(7))-x(2)*x(73)-x(2)*(1-x(7))-x(73)*(1-x(7))+x(2)*x(73)*(1-x(7));
F(217) = -1+(1-x(67))+(1-x(165))+(1-x(178))-(1-x(67))*(1-x(165))-(1-x(67))*(1-x(178))-(1-x(165))*(1-x(178))+(1-x(67))*(1-x(165))*(1-x(178));
F(218) = -1+x(217)+(1-x(87))+(1-x(2))-x(217)*(1-x(87))-x(217)*(1-x(2))-(1-x(87))*(1-x(2))+x(217)*(1-x(87))*(1-x(2));
F(219) = -1+(1-x(171))+x(93)+x(161)-(1-x(171))*x(93)-(1-x(171))*x(161)-x(93)*x(161)+(1-x(171))*x(93)*x(161);
F(220) = -1+x(137)+(1-x(151))+x(75)-x(137)*(1-x(151))-x(137)*x(75)-(1-x(151))*x(75)+x(137)*(1-x(151))*x(75);
F(221) = -1+(1-x(160))+x(250)+x(153)-(1-x(160))*x(250)-(1-x(160))*x(153)-x(250)*x(153)+(1-x(160))*x(250)*x(153);
F(222) = -1+(1-x(22))+x(100)+x(27)-(1-x(22))*x(100)-(1-x(22))*x(27)-x(100)*x(27)+(1-x(22))*x(100)*x(27);
F(223) = -1+x(124)+x(38)+(1-x(201))-x(124)*x(38)-x(124)*(1-x(201))-x(38)*(1-x(201))+x(124)*x(38)*(1-x(201));
F(224) = -1+x(191)+(1-x(22))+(1-x(42))-x(191)*(1-x(22))-x(191)*(1-x(42))-(1-x(22))*(1-x(42))+x(191)*(1-x(22))*(1-x(42));
F(225) = -1+x(30)+(1-x(33))+(1-x(217))-x(30)*(1-x(33))-x(30)*(1-x(217))-(1-x(33))*(1-x(217))+x(30)*(1-x(33))*(1-x(217));
F(226) = -1+(1-x(180))+(1-x(185))+x(108)-(1-x(180))*(1-x(185))-(1-x(180))*x(108)-(1-x(185))*x(108)+(1-x(180))*(1-x(185))*x(108);
F(227) = -1+(1-x(185))+(1-x(57))+(1-x(66))-(1-x(185))*(1-x(57))-(1-x(185))*(1-x(66))-(1-x(57))*(1-x(66))+(1-x(185))*(1-x(57))*(1-x(66));
F(228) = -1+x(61)+(1-x(77))+x(149)-x(61)*(1-x(77))-x(61)*x(149)-(1-x(77))*x(149)+x(61)*(1-x(77))*x(149);
F(229) = -1+(1-x(138))+x(148)+x(123)-(1-x(138))*x(148)-(1-x(138))*x(123)-x(148)*x(123)+(1-x(138))*x(148)*x(123);
F(230) = -1+(1-x(92))+x(117)+(1-x(82))-(1-x(92))*x(117)-(1-x(92))*(1-x(82))-x(117)*(1-x(82))+(1-x(92))*x(117)*(1-x(82));
F(231) = -1+(1-x(232))+x(210)+x(190)-(1-x(232))*x(210)-(1-x(232))*x(190)-x(210)*x(190)+(1-x(232))*x(210)*x(190);
F(232) = -1+x(4)+x(197)+(1-x(158))-x(4)*x(197)-x(4)*(1-x(158))-x(197)*(1-x(158))+x(4)*x(197)*(1-x(158));
F(233) = -1+x(144)+x(202)+(1-x(66))-x(144)*x(202)-x(144)*(1-x(66))-x(202)*(1-x(66))+x(144)*x(202)*(1-x(66));
F(234) = -1+(1-x(247))+x(190)+x(112)-(1-x(247))*x(190)-(1-x(247))*x(112)-x(190)*x(112)+(1-x(247))*x(190)*x(112);
F(235) = -1+x(82)+x(215)+(1-x(77))-x(82)*x(215)-x(82)*(1-x(77))-x(215)*(1-x(77))+x(82)*x(215)*(1-x(77));
F(236) = -1+(1-x(31))+(1-x(58))+x(225)-(1-x(31))*(1-x(58))-(1-x(31))*x(225)-(1-x(58))*x(225)+(1-x(31))*(1-x(58))*x(225);
F(237) = -1+(1-x(58))+x(120)+(1-x(40))-(1-x(58))*x(120)-(1-x(58))*(1-x(40))-x(120)*(1-x(40))+(1-x(58))*x(120)*(1-x(40));
F(238) = -1+(1-x(16))+(1-x(245))+x(153)-(1-x(16))*(1-x(245))-(1-x(16))*x(153)-(1-x(245))*x(153)+(1-x(16))*(1-x(245))*x(153);
F(239) = -1+(1-x(67))+x(13)+x(42)-(1-x(67))*x(13)-(1-x(67))*x(42)-x(13)*x(42)+(1-x(67))*x(13)*x(42);
F(240) = -1+(1-x(69))+(1-x(77))+x(72)-(1-x(69))*(1-x(77))-(1-x(69))*x(72)-(1-x(77))*x(72)+(1-x(69))*(1-x(77))*x(72);
F(241) = -1+x(80)+x(212)+x(93)-x(80)*x(212)-x(80)*x(93)-x(212)*x(93)+x(80)*x(212)*x(93);
F(242) = -1+x(133)+(1-x(166))+x(153)-x(133)*(1-x(166))-x(133)*x(153)-(1-x(166))*x(153)+x(133)*(1-x(166))*x(153);
F(243) = -1+(1-x(30))+x(138)+(1-x(136))-(1-x(30))*x(138)-(1-x(30))*(1-x(136))-x(138)*(1-x(136))+(1-x(30))*x(138)*(1-x(136));
F(244) = -1+(1-x(85))+x(189)+x(208)-(1-x(85))*x(189)-(1-x(85))*x(208)-x(189)*x(208)+(1-x(85))*x(189)*x(208);
F(245) = -1+x(222)+(1-x(104))+(1-x(59))-x(222)*(1-x(104))-x(222)*(1-x(59))-(1-x(104))*(1-x(59))+x(222)*(1-x(104))*(1-x(59));
F(246) = -1+x(203)+x(27)+x(25)-x(203)*x(27)-x(203)*x(25)-x(27)*x(25)+x(203)*x(27)*x(25);
F(247) = -1+x(101)+(1-x(19))+x(159)-x(101)*(1-x(19))-x(101)*x(159)-(1-x(19))*x(159)+x(101)*(1-x(19))*x(159);
F(248) = -1+x(221)+(1-x(90))+x(213)-x(221)*(1-x(90))-x(221)*x(213)-(1-x(90))*x(213)+x(221)*(1-x(90))*x(213);
F(249) = -1+x(148)+x(176)+x(145)-x(148)*x(176)-x(148)*x(145)-x(176)*x(145)+x(148)*x(176)*x(145);
F(250) = -1+(1-x(66))+x(160)+x(166)-(1-x(66))*x(160)-(1-x(66))*x(166)-x(160)*x(166)+(1-x(66))*x(160)*x(166);
F(251) = -1+(1-x(94))+x(107)+x(32)-(1-x(94))*x(107)-(1-x(94))*x(32)-x(107)*x(32)+(1-x(94))*x(107)*x(32);
F(252) = -1+(1-x(240))+x(38)+(1-x(149))-(1-x(240))*x(38)-(1-x(240))*(1-x(149))-x(38)*(1-x(149))+(1-x(240))*x(38)*(1-x(149));
F(253) = -1+(1-x(179))+(1-x(135))+(1-x(228))-(1-x(179))*(1-x(135))-(1-x(179))*(1-x(228))-(1-x(135))*(1-x(228))+(1-x(179))*(1-x(135))*(1-x(228));
F(254) = -1+x(242)+x(146)+(1-x(211))-x(242)*x(146)-x(242)*(1-x(211))-x(146)*(1-x(211))+x(242)*x(146)*(1-x(211));
F(255) = -1+x(52)+x(157)+x(195)-x(52)*x(157)-x(52)*x(195)-x(157)*x(195)+x(52)*x(157)*x(195);
F(256) = -1+(1-x(180))+x(189)+x(159)-(1-x(180))*x(189)-(1-x(180))*x(159)-x(189)*x(159)+(1-x(180))*x(189)*x(159);
F(257) = -1+(1-x(167))+x(102)+(1-x(155))-(1-x(167))*x(102)-(1-x(167))*(1-x(155))-x(102)*(1-x(155))+(1-x(167))*x(102)*(1-x(155));
F(258) = -1+(1-x(151))+(1-x(119))+(1-x(101))-(1-x(151))*(1-x(119))-(1-x(151))*(1-x(101))-(1-x(119))*(1-x(101))+(1-x(151))*(1-x(119))*(1-x(101));
F(259) = -1+x(133)+(1-x(220))+(1-x(10))-x(133)*(1-x(220))-x(133)*(1-x(10))-(1-x(220))*(1-x(10))+x(133)*(1-x(220))*(1-x(10));
F(260) = -1+x(68)+x(207)+(1-x(23))-x(68)*x(207)-x(68)*(1-x(23))-x(207)*(1-x(23))+x(68)*x(207)*(1-x(23));
F(261) = -1+x(46)+(1-x(190))+(1-x(238))-x(46)*(1-x(190))-x(46)*(1-x(238))-(1-x(190))*(1-x(238))+x(46)*(1-x(190))*(1-x(238));
F(262) = -1+x(204)+x(247)+(1-x(109))-x(204)*x(247)-x(204)*(1-x(109))-x(247)*(1-x(109))+x(204)*x(247)*(1-x(109));
F(263) = -1+(1-x(54))+(1-x(234))+x(45)-(1-x(54))*(1-x(234))-(1-x(54))*x(45)-(1-x(234))*x(45)+(1-x(54))*(1-x(234))*x(45);
F(264) = -1+(1-x(18))+x(177)+(1-x(206))-(1-x(18))*x(177)-(1-x(18))*(1-x(206))-x(177)*(1-x(206))+(1-x(18))*x(177)*(1-x(206));
F(265) = -1+x(168)+x(248)+(1-x(247))-x(168)*x(248)-x(168)*(1-x(247))-x(248)*(1-x(247))+x(168)*x(248)*(1-x(247));
F(266) = -1+x(26)+(1-x(222))+x(64)-x(26)*(1-x(222))-x(26)*x(64)-(1-x(222))*x(64)+x(26)*(1-x(222))*x(64);
F(267) = -1+x(115)+(1-x(34))+(1-x(211))-x(115)*(1-x(34))-x(115)*(1-x(211))-(1-x(34))*(1-x(211))+x(115)*(1-x(34))*(1-x(211));
F(268) = -1+(1-x(233))+(1-x(9))+(1-x(29))-(1-x(233))*(1-x(9))-(1-x(233))*(1-x(29))-(1-x(9))*(1-x(29))+(1-x(233))*(1-x(9))*(1-x(29));
F(269) = -1+x(205)+x(13)+x(143)-x(205)*x(13)-x(205)*x(143)-x(13)*x(143)+x(205)*x(13)*x(143);
F(270) = -1+x(183)+x(55)+(1-x(161))-x(183)*x(55)-x(183)*(1-x(161))-x(55)*(1-x(161))+x(183)*x(55)*(1-x(161));
F(271) = -1+x(221)+(1-x(46))+x(92)-x(221)*(1-x(46))-x(221)*x(92)-(1-x(46))*x(92)+x(221)*(1-x(46))*x(92);
F(272) = -1+x(225)+(1-x(169))+(1-x(180))-x(225)*(1-x(169))-x(225)*(1-x(180))-(1-x(169))*(1-x(180))+x(225)*(1-x(169))*(1-x(180));
F(273) = -1+(1-x(95))+x(73)+(1-x(190))-(1-x(95))*x(73)-(1-x(95))*(1-x(190))-x(73)*(1-x(190))+(1-x(95))*x(73)*(1-x(190));
F(274) = -1+x(130)+x(58)+x(54)-x(130)*x(58)-x(130)*x(54)-x(58)*x(54)+x(130)*x(58)*x(54);
F(275) = -1+x(74)+x(90)+(1-x(165))-x(74)*x(90)-x(74)*(1-x(165))-x(90)*(1-x(165))+x(74)*x(90)*(1-x(165));
F(276) = -1+x(208)+(1-x(131))+x(112)-x(208)*(1-x(131))-x(208)*x(112)-(1-x(131))*x(112)+x(208)*(1-x(131))*x(112);
F(277) = -1+(1-x(179))+(1-x(114))+(1-x(158))-(1-x(179))*(1-x(114))-(1-x(179))*(1-x(158))-(1-x(114))*(1-x(158))+(1-x(179))*(1-x(114))*(1-x(158));
F(278) = -1+x(20)+(1-x(63))+(1-x(83))-x(20)*(1-x(63))-x(20)*(1-x(83))-(1-x(63))*(1-x(83))+x(20)*(1-x(63))*(1-x(83));
F(279) = -1+(1-x(103))+(1-x(85))+(1-x(89))-(1-x(103))*(1-x(85))-(1-x(103))*(1-x(89))-(1-x(85))*(1-x(89))+(1-x(103))*(1-x(85))*(1-x(89));
F(280) = -1+(1-x(142))+(1-x(36))+x(177)-(1-x(142))*(1-x(36))-(1-x(142))*x(177)-(1-x(36))*x(177)+(1-x(142))*(1-x(36))*x(177);
F(281) = -1+(1-x(192))+x(246)+x(31)-(1-x(192))*x(246)-(1-x(192))*x(31)-x(246)*x(31)+(1-x(192))*x(246)*x(31);
F(282) = -1+(1-x(178))+(1-x(137))+(1-x(66))-(1-x(178))*(1-x(137))-(1-x(178))*(1-x(66))-(1-x(137))*(1-x(66))+(1-x(178))*(1-x(137))*(1-x(66));
F(283) = -1+(1-x(250))+x(26)+(1-x(45))-(1-x(250))*x(26)-(1-x(250))*(1-x(45))-x(26)*(1-x(45))+(1-x(250))*x(26)*(1-x(45));
F(284) = -1+x(4)+(1-x(248))+x(54)-x(4)*(1-x(248))-x(4)*x(54)-(1-x(248))*x(54)+x(4)*(1-x(248))*x(54);
F(285) = -1+(1-x(247))+x(15)+x(2)-(1-x(247))*x(15)-(1-x(247))*x(2)-x(15)*x(2)+(1-x(247))*x(15)*x(2);
F(286) = -1+x(26)+x(249)+(1-x(15))-x(26)*x(249)-x(26)*(1-x(15))-x(249)*(1-x(15))+x(26)*x(249)*(1-x(15));
F(287) = -1+(1-x(128))+x(238)+(1-x(233))-(1-x(128))*x(238)-(1-x(128))*(1-x(233))-x(238)*(1-x(233))+(1-x(128))*x(238)*(1-x(233));
F(288) = -1+(1-x(59))+(1-x(139))+x(45)-(1-x(59))*(1-x(139))-(1-x(59))*x(45)-(1-x(139))*x(45)+(1-x(59))*(1-x(139))*x(45);
F(289) = -1+x(192)+x(81)+x(138)-x(192)*x(81)-x(192)*x(138)-x(81)*x(138)+x(192)*x(81)*x(138);
F(290) = -1+x(26)+x(79)+(1-x(166))-x(26)*x(79)-x(26)*(1-x(166))-x(79)*(1-x(166))+x(26)*x(79)*(1-x(166));
F(291) = -1+x(231)+(1-x(22))+x(213)-x(231)*(1-x(22))-x(231)*x(213)-(1-x(22))*x(213)+x(231)*(1-x(22))*x(213);
F(292) = -1+(1-x(9))+(1-x(228))+(1-x(105))-(1-x(9))*(1-x(228))-(1-x(9))*(1-x(105))-(1-x(228))*(1-x(105))+(1-x(9))*(1-x(228))*(1-x(105));
F(293) = -1+x(50)+x(194)+(1-x(246))-x(50)*x(194)-x(50)*(1-x(246))-x(194)*(1-x(246))+x(50)*x(194)*(1-x(246));
F(294) = -1+(1-x(121))+(1-x(37))+(1-x(126))-(1-x(121))*(1-x(37))-(1-x(121))*(1-x(126))-(1-x(37))*(1-x(126))+(1-x(121))*(1-x(37))*(1-x(126));
F(295) = -1+x(84)+x(58)+(1-x(190))-x(84)*x(58)-x(84)*(1-x(190))-x(58)*(1-x(190))+x(84)*x(58)*(1-x(190));
F(296) = -1+x(242)+(1-x(165))+x(150)-x(242)*(1-x(165))-x(242)*x(150)-(1-x(165))*x(150)+x(242)*(1-x(165))*x(150);
F(297) = -1+x(51)+x(217)+x(154)-x(51)*x(217)-x(51)*x(154)-x(217)*x(154)+x(51)*x(217)*x(154);
F(298) = -1+(1-x(239))+x(233)+x(141)-(1-x(239))*x(233)-(1-x(239))*x(141)-x(233)*x(141)+(1-x(239))*x(233)*x(141);
F(299) = -1+x(171)+(1-x(166))+x(212)-x(171)*(1-x(166))-x(171)*x(212)-(1-x(166))*x(212)+x(171)*(1-x(166))*x(212);
F(300) = -1+x(130)+x(191)+(1-x(209))-x(130)*x(191)-x(130)*(1-x(209))-x(191)*(1-x(209))+x(130)*x(191)*(1-x(209));
F(301) = -1+(1-x(161))+x(51)+(1-x(214))-(1-x(161))*x(51)-(1-x(161))*(1-x(214))-x(51)*(1-x(214))+(1-x(161))*x(51)*(1-x(214));
F(302) = -1+(1-x(201))+x(109)+(1-x(43))-(1-x(201))*x(109)-(1-x(201))*(1-x(43))-x(109)*(1-x(43))+(1-x(201))*x(109)*(1-x(43));
F(303) = -1+(1-x(238))+(1-x(216))+x(214)-(1-x(238))*(1-x(216))-(1-x(238))*x(214)-(1-x(216))*x(214)+(1-x(238))*(1-x(216))*x(214);
F(304) = -1+x(199)+x(118)+(1-x(91))-x(199)*x(118)-x(199)*(1-x(91))-x(118)*(1-x(91))+x(199)*x(118)*(1-x(91));
F(305) = -1+(1-x(154))+x(125)+(1-x(158))-(1-x(154))*x(125)-(1-x(154))*(1-x(158))-x(125)*(1-x(158))+(1-x(154))*x(125)*(1-x(158));
F(306) = -1+(1-x(226))+(1-x(33))+(1-x(142))-(1-x(226))*(1-x(33))-(1-x(226))*(1-x(142))-(1-x(33))*(1-x(142))+(1-x(226))*(1-x(33))*(1-x(142));
F(307) = -1+x(227)+x(12)+x(9)-x(227)*x(12)-x(227)*x(9)-x(12)*x(9)+x(227)*x(12)*x(9);
F(308) = -1+x(98)+(1-x(85))+x(216)-x(98)*(1-x(85))-x(98)*x(216)-(1-x(85))*x(216)+x(98)*(1-x(85))*x(216);
F(309) = -1+x(169)+x(182)+(1-x(27))-x(169)*x(182)-x(169)*(1-x(27))-x(182)*(1-x(27))+x(169)*x(182)*(1-x(27));
F(310) = -1+x(115)+(1-x(242))+(1-x(25))-x(115)*(1-x(242))-x(115)*(1-x(25))-(1-x(242))*(1-x(25))+x(115)*(1-x(242))*(1-x(25));
F(311) = -1+x(73)+(1-x(217))+x(27)-x(73)*(1-x(217))-x(73)*x(27)-(1-x(217))*x(27)+x(73)*(1-x(217))*x(27);
F(312) = -1+(1-x(103))+x(200)+x(89)-(1-x(103))*x(200)-(1-x(103))*x(89)-x(200)*x(89)+(1-x(103))*x(200)*x(89);
F(313) = -1+x(167)+x(204)+(1-x(250))-x(167)*x(204)-x(167)*(1-x(250))-x(204)*(1-x(250))+x(167)*x(204)*(1-x(250));
F(314) = -1+x(49)+(1-x(83))+(1-x(205))-x(49)*(1-x(83))-x(49)*(1-x(205))-(1-x(83))*(1-x(205))+x(49)*(1-x(83))*(1-x(205));
F(315) = -1+x(3)+x(40)+(1-x(60))-x(3)*x(40)-x(3)*(1-x(60))-x(40)*(1-x(60))+x(3)*x(40)*(1-x(60));
F(316) = -1+(1-x(144))+(1-x(65))+x(238)-(1-x(144))*(1-x(65))-(1-x(144))*x(238)-(1-x(65))*x(238)+(1-x(144))*(1-x(65))*x(238);
F(317) = -1+x(217)+x(95)+x(203)-x(217)*x(95)-x(217)*x(203)-x(95)*x(203)+x(217)*x(95)*x(203);
F(318) = -1+x(125)+(1-x(121))+(1-x(247))-x(125)*(1-x(121))-x(125)*(1-x(247))-(1-x(121))*(1-x(247))+x(125)*(1-x(121))*(1-x(247));
F(319) = -1+(1-x(39))+x(150)+(1-x(189))-(1-x(39))*x(150)-(1-x(39))*(1-x(189))-x(150)*(1-x(189))+(1-x(39))*x(150)*(1-x(189));
F(320) = -1+(1-x(64))+(1-x(146))+(1-x(43))-(1-x(64))*(1-x(146))-(1-x(64))*(1-x(43))-(1-x(146))*(1-x(43))+(1-x(64))*(1-x(146))*(1-x(43));
F(321) = -1+x(6)+(1-x(148))+x(198)-x(6)*(1-x(148))-x(6)*x(198)-(1-x(148))*x(198)+x(6)*(1-x(148))*x(198);
F(322) = -1+(1-x(82))+(1-x(31))+x(226)-(1-x(82))*(1-x(31))-(1-x(82))*x(226)-(1-x(31))*x(226)+(1-x(82))*(1-x(31))*x(226);
F(323) = -1+(1-x(154))+x(233)+x(216)-(1-x(154))*x(233)-(1-x(154))*x(216)-x(233)*x(216)+(1-x(154))*x(233)*x(216);
F(324) = -1+(1-x(193))+x(60)+x(248)-(1-x(193))*x(60)-(1-x(193))*x(248)-x(60)*x(248)+(1-x(193))*x(60)*x(248);
F(325) = -1+(1-x(243))+x(226)+(1-x(185))-(1-x(243))*x(226)-(1-x(243))*(1-x(185))-x(226)*(1-x(185))+(1-x(243))*x(226)*(1-x(185));
F(326) = -1+(1-x(177))+x(124)+x(182)-(1-x(177))*x(124)-(1-x(177))*x(182)-x(124)*x(182)+(1-x(177))*x(124)*x(182);
F(327) = -1+x(189)+x(114)+x(49)-x(189)*x(114)-x(189)*x(49)-x(114)*x(49)+x(189)*x(114)*x(49);
F(328) = -1+(1-x(125))+(1-x(184))+(1-x(227))-(1-x(125))*(1-x(184))-(1-x(125))*(1-x(227))-(1-x(184))*(1-x(227))+(1-x(125))*(1-x(184))*(1-x(227));
F(329) = -1+(1-x(87))+(1-x(153))+x(11)-(1-x(87))*(1-x(153))-(1-x(87))*x(11)-(1-x(153))*x(11)+(1-x(87))*(1-x(153))*x(11);
F(330) = -1+x(144)+x(212)+x(142)-x(144)*x(212)-x(144)*x(142)-x(212)*x(142)+x(144)*x(212)*x(142);
F(331) = -1+(1-x(137))+x(86)+x(142)-(1-x(137))*x(86)-(1-x(137))*x(142)-x(86)*x(142)+(1-x(137))*x(86)*x(142);
F(332) = -1+x(82)+x(32)+(1-x(50))-x(82)*x(32)-x(82)*(1-x(50))-x(32)*(1-x(50))+x(82)*x(32)*(1-x(50));
F(333) = -1+(1-x(33))+(1-x(31))+x(116)-(1-x(33))*(1-x(31))-(1-x(33))*x(116)-(1-x(31))*x(116)+(1-x(33))*(1-x(31))*x(116);
F(334) = -1+(1-x(177))+x(14)+(1-x(169))-(1-x(177))*x(14)-(1-x(177))*(1-x(169))-x(14)*(1-x(169))+(1-x(177))*x(14)*(1-x(169));
F(335) = -1+(1-x(191))+(1-x(26))+x(27)-(1-x(191))*(1-x(26))-(1-x(191))*x(27)-(1-x(26))*x(27)+(1-x(191))*(1-x(26))*x(27);
F(336) = -1+(1-x(149))+x(172)+x(131)-(1-x(149))*x(172)-(1-x(149))*x(131)-x(172)*x(131)+(1-x(149))*x(172)*x(131);
F(337) = -1+(1-x(120))+x(198)+(1-x(243))-(1-x(120))*x(198)-(1-x(120))*(1-x(243))-x(198)*(1-x(243))+(1-x(120))*x(198)*(1-x(243));
F(338) = -1+x(93)+x(197)+x(34)-x(93)*x(197)-x(93)*x(34)-x(197)*x(34)+x(93)*x(197)*x(34);
F(339) = -1+(1-x(241))+x(80)+x(148)-(1-x(241))*x(80)-(1-x(241))*x(148)-x(80)*x(148)+(1-x(241))*x(80)*x(148);
F(340) = -1+x(161)+(1-x(129))+x(169)-x(161)*(1-x(129))-x(161)*x(169)-(1-x(129))*x(169)+x(161)*(1-x(129))*x(169);
F(341) = -1+x(99)+x(18)+(1-x(108))-x(99)*x(18)-x(99)*(1-x(108))-x(18)*(1-x(108))+x(99)*x(18)*(1-x(108));
F(342) = -1+x(23)+(1-x(61))+(1-x(147))-x(23)*(1-x(61))-x(23)*(1-x(147))-(1-x(61))*(1-x(147))+x(23)*(1-x(61))*(1-x(147));
F(343) = -1+x(201)+x(79)+x(111)-x(201)*x(79)-x(201)*x(111)-x(79)*x(111)+x(201)*x(79)*x(111);
F(344) = -1+(1-x(209))+(1-x(72))+(1-x(105))-(1-x(209))*(1-x(72))-(1-x(209))*(1-x(105))-(1-x(72))*(1-x(105))+(1-x(209))*(1-x(72))*(1-x(105));
F(345) = -1+(1-x(36))+x(57)+(1-x(202))-(1-x(36))*x(57)-(1-x(36))*(1-x(202))-x(57)*(1-x(202))+(1-x(36))*x(57)*(1-x(202));
F(346) = -1+(1-x(69))+(1-x(44))+(1-x(70))-(1-x(69))*(1-x(44))-(1-x(69))*(1-x(70))-(1-x(44))*(1-x(70))+(1-x(69))*(1-x(44))*(1-x(70));
F(347) = -1+x(235)+(1-x(129))+(1-x(64))-x(235)*(1-x(129))-x(235)*(1-x(64))-(1-x(129))*(1-x(64))+x(235)*(1-x(129))*(1-x(64));
F(348) = -1+x(99)+x(14)+(1-x(161))-x(99)*x(14)-x(99)*(1-x(161))-x(14)*(1-x(161))+x(99)*x(14)*(1-x(161));
F(349) = -1+(1-x(39))+x(226)+x(157)-(1-x(39))*x(226)-(1-x(39))*x(157)-x(226)*x(157)+(1-x(39))*x(226)*x(157);
F(350) = -1+x(80)+(1-x(96))+(1-x(107))-x(80)*(1-x(96))-x(80)*(1-x(107))-(1-x(96))*(1-x(107))+x(80)*(1-x(96))*(1-x(107));
F(351) = -1+x(112)+(1-x(98))+x(12)-x(112)*(1-x(98))-x(112)*x(12)-(1-x(98))*x(12)+x(112)*(1-x(98))*x(12);
F(352) = -1+x(57)+(1-x(11))+x(42)-x(57)*(1-x(11))-x(57)*x(42)-(1-x(11))*x(42)+x(57)*(1-x(11))*x(42);
F(353) = -1+x(211)+(1-x(87))+(1-x(67))-x(211)*(1-x(87))-x(211)*(1-x(67))-(1-x(87))*(1-x(67))+x(211)*(1-x(87))*(1-x(67));
F(354) = -1+x(99)+x(116)+x(215)-x(99)*x(116)-x(99)*x(215)-x(116)*x(215)+x(99)*x(116)*x(215);
F(355) = -1+(1-x(154))+(1-x(215))+(1-x(180))-(1-x(154))*(1-x(215))-(1-x(154))*(1-x(180))-(1-x(215))*(1-x(180))+(1-x(154))*(1-x(215))*(1-x(180));
F(356) = -1+(1-x(48))+(1-x(246))+x(197)-(1-x(48))*(1-x(246))-(1-x(48))*x(197)-(1-x(246))*x(197)+(1-x(48))*(1-x(246))*x(197);
F(357) = -1+(1-x(63))+x(3)+x(190)-(1-x(63))*x(3)-(1-x(63))*x(190)-x(3)*x(190)+(1-x(63))*x(3)*x(190);
F(358) = -1+(1-x(146))+(1-x(184))+x(124)-(1-x(146))*(1-x(184))-(1-x(146))*x(124)-(1-x(184))*x(124)+(1-x(146))*(1-x(184))*x(124);
F(359) = -1+x(230)+x(104)+(1-x(46))-x(230)*x(104)-x(230)*(1-x(46))-x(104)*(1-x(46))+x(230)*x(104)*(1-x(46));
F(360) = -1+(1-x(118))+x(112)+(1-x(199))-(1-x(118))*x(112)-(1-x(118))*(1-x(199))-x(112)*(1-x(199))+(1-x(118))*x(112)*(1-x(199));
F(361) = -1+(1-x(154))+(1-x(83))+x(142)-(1-x(154))*(1-x(83))-(1-x(154))*x(142)-(1-x(83))*x(142)+(1-x(154))*(1-x(83))*x(142);
F(362) = -1+x(156)+x(33)+x(27)-x(156)*x(33)-x(156)*x(27)-x(33)*x(27)+x(156)*x(33)*x(27);
F(363) = -1+(1-x(203))+x(122)+x(156)-(1-x(203))*x(122)-(1-x(203))*x(156)-x(122)*x(156)+(1-x(203))*x(122)*x(156);
F(364) = -1+(1-x(135))+x(217)+(1-x(231))-(1-x(135))*x(217)-(1-x(135))*(1-x(231))-x(217)*(1-x(231))+(1-x(135))*x(217)*(1-x(231));
F(365) = -1+(1-x(56))+x(212)+x(181)-(1-x(56))*x(212)-(1-x(56))*x(181)-x(212)*x(181)+(1-x(56))*x(212)*x(181);
F(366) = -1+x(208)+(1-x(157))+x(233)-x(208)*(1-x(157))-x(208)*x(233)-(1-x(157))*x(233)+x(208)*(1-x(157))*x(233);
F(367) = -1+(1-x(70))+(1-x(2))+x(47)-(1-x(70))*(1-x(2))-(1-x(70))*x(47)-(1-x(2))*x(47)+(1-x(70))*(1-x(2))*x(47);
F(368) = -1+(1-x(74))+(1-x(201))+(1-x(134))-(1-x(74))*(1-x(201))-(1-x(74))*(1-x(134))-(1-x(201))*(1-x(134))+(1-x(74))*(1-x(201))*(1-x(134));
F(369) = -1+(1-x(191))+(1-x(240))+x(7)-(1-x(191))*(1-x(240))-(1-x(191))*x(7)-(1-x(240))*x(7)+(1-x(191))*(1-x(240))*x(7);
F(370) = -1+x(170)+x(68)+x(230)-x(170)*x(68)-x(170)*x(230)-x(68)*x(230)+x(170)*x(68)*x(230);
F(371) = -1+x(41)+(1-x(82))+(1-x(228))-x(41)*(1-x(82))-x(41)*(1-x(228))-(1-x(82))*(1-x(228))+x(41)*(1-x(82))*(1-x(228));
F(372) = -1+(1-x(245))+(1-x(203))+x(149)-(1-x(245))*(1-x(203))-(1-x(245))*x(149)-(1-x(203))*x(149)+(1-x(245))*(1-x(203))*x(149);
F(373) = -1+x(24)+x(248)+(1-x(167))-x(24)*x(248)-x(24)*(1-x(167))-x(248)*(1-x(167))+x(24)*x(248)*(1-x(167));
F(374) = -1+x(80)+(1-x(150))+x(15)-x(80)*(1-x(150))-x(80)*x(15)-(1-x(150))*x(15)+x(80)*(1-x(150))*x(15);
F(375) = -1+(1-x(39))+(1-x(219))+(1-x(64))-(1-x(39))*(1-x(219))-(1-x(39))*(1-x(64))-(1-x(219))*(1-x(64))+(1-x(39))*(1-x(219))*(1-x(64));
F(376) = -1+(1-x(105))+(1-x(136))+x(52)-(1-x(105))*(1-x(136))-(1-x(105))*x(52)-(1-x(136))*x(52)+(1-x(105))*(1-x(136))*x(52);
F(377) = -1+x(250)+x(161)+(1-x(43))-x(250)*x(161)-x(250)*(1-x(43))-x(161)*(1-x(43))+x(250)*x(161)*(1-x(43));
F(378) = -1+(1-x(201))+x(31)+(1-x(41))-(1-x(201))*x(31)-(1-x(201))*(1-x(41))-x(31)*(1-x(41))+(1-x(201))*x(31)*(1-x(41));
F(379) = -1+x(80)+(1-x(55))+(1-x(189))-x(80)*(1-x(55))-x(80)*(1-x(189))-(1-x(55))*(1-x(189))+x(80)*(1-x(55))*(1-x(189));
F(380) = -1+x(136)+x(3)+(1-x(84))-x(136)*x(3)-x(136)*(1-x(84))-x(3)*(1-x(84))+x(136)*x(3)*(1-x(84));
F(381) = -1+(1-x(52))+x(170)+(1-x(125))-(1-x(52))*x(170)-(1-x(52))*(1-x(125))-x(170)*(1-x(125))+(1-x(52))*x(170)*(1-x(125));
F(382) = -1+x(51)+(1-x(18))+x(77)-x(51)*(1-x(18))-x(51)*x(77)-(1-x(18))*x(77)+x(51)*(1-x(18))*x(77);
F(383) = -1+(1-x(20))+(1-x(126))+(1-x(226))-(1-x(20))*(1-x(126))-(1-x(20))*(1-x(226))-(1-x(126))*(1-x(226))+(1-x(20))*(1-x(126))*(1-x(226));
F(384) = -1+x(249)+x(36)+x(34)-x(249)*x(36)-x(249)*x(34)-x(36)*x(34)+x(249)*x(36)*x(34);
F(385) = -1+x(122)+x(201)+(1-x(23))-x(122)*x(201)-x(122)*(1-x(23))-x(201)*(1-x(23))+x(122)*x(201)*(1-x(23));
F(386) = -1+x(190)+x(222)+(1-x(12))-x(190)*x(222)-x(190)*(1-x(12))-x(222)*(1-x(12))+x(190)*x(222)*(1-x(12));
F(387) = -1+(1-x(81))+x(221)+(1-x(24))-(1-x(81))*x(221)-(1-x(81))*(1-x(24))-x(221)*(1-x(24))+(1-x(81))*x(221)*(1-x(24));
F(388) = -1+x(158)+x(74)+x(94)-x(158)*x(74)-x(158)*x(94)-x(74)*x(94)+x(158)*x(74)*x(94);
F(389) = -1+x(200)+x(104)+x(145)-x(200)*x(104)-x(200)*x(145)-x(104)*x(145)+x(200)*x(104)*x(145);
F(390) = -1+x(208)+x(57)+(1-x(141))-x(208)*x(57)-x(208)*(1-x(141))-x(57)*(1-x(141))+x(208)*x(57)*(1-x(141));
F(391) = -1+(1-x(192))+x(153)+(1-x(190))-(1-x(192))*x(153)-(1-x(192))*(1-x(190))-x(153)*(1-x(190))+(1-x(192))*x(153)*(1-x(190));
F(392) = -1+x(10)+x(226)+(1-x(119))-x(10)*x(226)-x(10)*(1-x(119))-x(226)*(1-x(119))+x(10)*x(226)*(1-x(119));
F(393) = -1+(1-x(27))+(1-x(43))+x(60)-(1-x(27))*(1-x(43))-(1-x(27))*x(60)-(1-x(43))*x(60)+(1-x(27))*(1-x(43))*x(60);
F(394) = -1+(1-x(150))+x(229)+(1-x(243))-(1-x(150))*x(229)-(1-x(150))*(1-x(243))-x(229)*(1-x(243))+(1-x(150))*x(229)*(1-x(243));
F(395) = -1+(1-x(141))+(1-x(140))+(1-x(109))-(1-x(141))*(1-x(140))-(1-x(141))*(1-x(109))-(1-x(140))*(1-x(109))+(1-x(141))*(1-x(140))*(1-x(109));
F(396) = -1+(1-x(26))+(1-x(110))+x(214)-(1-x(26))*(1-x(110))-(1-x(26))*x(214)-(1-x(110))*x(214)+(1-x(26))*(1-x(110))*x(214);
F(397) = -1+(1-x(92))+(1-x(70))+(1-x(204))-(1-x(92))*(1-x(70))-(1-x(92))*(1-x(204))-(1-x(70))*(1-x(204))+(1-x(92))*(1-x(70))*(1-x(204));
F(398) = -1+x(68)+(1-x(215))+(1-x(80))-x(68)*(1-x(215))-x(68)*(1-x(80))-(1-x(215))*(1-x(80))+x(68)*(1-x(215))*(1-x(80));
F(399) = -1+(1-x(246))+(1-x(33))+x(232)-(1-x(246))*(1-x(33))-(1-x(246))*x(232)-(1-x(33))*x(232)+(1-x(246))*(1-x(33))*x(232);
F(400) = -1+x(97)+(1-x(227))+(1-x(70))-x(97)*(1-x(227))-x(97)*(1-x(70))-(1-x(227))*(1-x(70))+x(97)*(1-x(227))*(1-x(70));
F(401) = -1+(1-x(17))+(1-x(134))+x(24)-(1-x(17))*(1-x(134))-(1-x(17))*x(24)-(1-x(134))*x(24)+(1-x(17))*(1-x(134))*x(24);
F(402) = -1+x(176)+(1-x(71))+(1-x(184))-x(176)*(1-x(71))-x(176)*(1-x(184))-(1-x(71))*(1-x(184))+x(176)*(1-x(71))*(1-x(184));
F(403) = -1+(1-x(184))+x(4)+(1-x(110))-(1-x(184))*x(4)-(1-x(184))*(1-x(110))-x(4)*(1-x(110))+(1-x(184))*x(4)*(1-x(110));
F(404) = -1+(1-x(173))+(1-x(62))+x(80)-(1-x(173))*(1-x(62))-(1-x(173))*x(80)-(1-x(62))*x(80)+(1-x(173))*(1-x(62))*x(80);
F(405) = -1+(1-x(231))+(1-x(167))+(1-x(163))-(1-x(231))*(1-x(167))-(1-x(231))*(1-x(163))-(1-x(167))*(1-x(163))+(1-x(231))*(1-x(167))*(1-x(163));
F(406) = -1+(1-x(42))+(1-x(81))+x(55)-(1-x(42))*(1-x(81))-(1-x(42))*x(55)-(1-x(81))*x(55)+(1-x(42))*(1-x(81))*x(55);
F(407) = -1+(1-x(23))+(1-x(219))+(1-x(226))-(1-x(23))*(1-x(219))-(1-x(23))*(1-x(226))-(1-x(219))*(1-x(226))+(1-x(23))*(1-x(219))*(1-x(226));
F(408) = -1+(1-x(116))+(1-x(152))+x(57)-(1-x(116))*(1-x(152))-(1-x(116))*x(57)-(1-x(152))*x(57)+(1-x(116))*(1-x(152))*x(57);
F(409) = -1+(1-x(202))+x(118)+(1-x(185))-(1-x(202))*x(118)-(1-x(202))*(1-x(185))-x(118)*(1-x(185))+(1-x(202))*x(118)*(1-x(185));
F(410) = -1+x(58)+(1-x(124))+(1-x(123))-x(58)*(1-x(124))-x(58)*(1-x(123))-(1-x(124))*(1-x(123))+x(58)*(1-x(124))*(1-x(123));
F(411) = -1+x(210)+(1-x(216))+x(89)-x(210)*(1-x(216))-x(210)*x(89)-(1-x(216))*x(89)+x(210)*(1-x(216))*x(89);
F(412) = -1+(1-x(144))+x(1)+(1-x(203))-(1-x(144))*x(1)-(1-x(144))*(1-x(203))-x(1)*(1-x(203))+(1-x(144))*x(1)*(1-x(203));
F(413) = -1+x(15)+(1-x(135))+x(188)-x(15)*(1-x(135))-x(15)*x(188)-(1-x(135))*x(188)+x(15)*(1-x(135))*x(188);
F(414) = -1+(1-x(178))+x(171)+x(154)-(1-x(178))*x(171)-(1-x(178))*x(154)-x(171)*x(154)+(1-x(178))*x(171)*x(154);
F(415) = -1+(1-x(243))+x(21)+(1-x(186))-(1-x(243))*x(21)-(1-x(243))*(1-x(186))-x(21)*(1-x(186))+(1-x(243))*x(21)*(1-x(186));
F(416) = -1+(1-x(152))+(1-x(56))+x(185)-(1-x(152))*(1-x(56))-(1-x(152))*x(185)-(1-x(56))*x(185)+(1-x(152))*(1-x(56))*x(185);
F(417) = -1+(1-x(138))+x(5)+x(191)-(1-x(138))*x(5)-(1-x(138))*x(191)-x(5)*x(191)+(1-x(138))*x(5)*x(191);
F(418) = -1+(1-x(114))+x(27)+x(122)-(1-x(114))*x(27)-(1-x(114))*x(122)-x(27)*x(122)+(1-x(114))*x(27)*x(122);
F(419) = -1+x(190)+x(105)+x(95)-x(190)*x(105)-x(190)*x(95)-x(105)*x(95)+x(190)*x(105)*x(95);
F(420) = -1+(1-x(216))+x(220)+x(202)-(1-x(216))*x(220)-(1-x(216))*x(202)-x(220)*x(202)+(1-x(216))*x(220)*x(202);
F(421) = -1+(1-x(129))+(1-x(49))+(1-x(221))-(1-x(129))*(1-x(49))-(1-x(129))*(1-x(221))-(1-x(49))*(1-x(221))+(1-x(129))*(1-x(49))*(1-x(221));
F(422) = -1+x(79)+(1-x(62))+(1-x(245))-x(79)*(1-x(62))-x(79)*(1-x(245))-(1-x(62))*(1-x(245))+x(79)*(1-x(62))*(1-x(245));
F(423) = -1+x(41)+(1-x(208))+(1-x(107))-x(41)*(1-x(208))-x(41)*(1-x(107))-(1-x(208))*(1-x(107))+x(41)*(1-x(208))*(1-x(107));
F(424) = -1+(1-x(32))+(1-x(128))+(1-x(157))-(1-x(32))*(1-x(128))-(1-x(32))*(1-x(157))-(1-x(128))*(1-x(157))+(1-x(32))*(1-x(128))*(1-x(157));
F(425) = -1+(1-x(145))+x(59)+(1-x(108))-(1-x(145))*x(59)-(1-x(145))*(1-x(108))-x(59)*(1-x(108))+(1-x(145))*x(59)*(1-x(108));
F(426) = -1+(1-x(18))+x(114)+(1-x(171))-(1-x(18))*x(114)-(1-x(18))*(1-x(171))-x(114)*(1-x(171))+(1-x(18))*x(114)*(1-x(171));
F(427) = -1+x(51)+x(192)+(1-x(83))-x(51)*x(192)-x(51)*(1-x(83))-x(192)*(1-x(83))+x(51)*x(192)*(1-x(83));
F(428) = -1+x(115)+x(45)+(1-x(191))-x(115)*x(45)-x(115)*(1-x(191))-x(45)*(1-x(191))+x(115)*x(45)*(1-x(191));
F(429) = -1+(1-x(150))+(1-x(197))+x(108)-(1-x(150))*(1-x(197))-(1-x(150))*x(108)-(1-x(197))*x(108)+(1-x(150))*(1-x(197))*x(108);
F(430) = -1+(1-x(249))+x(225)+(1-x(116))-(1-x(249))*x(225)-(1-x(249))*(1-x(116))-x(225)*(1-x(116))+(1-x(249))*x(225)*(1-x(116));
F(431) = -1+(1-x(68))+x(201)+(1-x(16))-(1-x(68))*x(201)-(1-x(68))*(1-x(16))-x(201)*(1-x(16))+(1-x(68))*x(201)*(1-x(16));
F(432) = -1+x(238)+(1-x(113))+(1-x(144))-x(238)*(1-x(113))-x(238)*(1-x(144))-(1-x(113))*(1-x(144))+x(238)*(1-x(113))*(1-x(144));
F(433) = -1+x(193)+(1-x(48))+x(90)-x(193)*(1-x(48))-x(193)*x(90)-(1-x(48))*x(90)+x(193)*(1-x(48))*x(90);
F(434) = -1+(1-x(105))+(1-x(225))+x(139)-(1-x(105))*(1-x(225))-(1-x(105))*x(139)-(1-x(225))*x(139)+(1-x(105))*(1-x(225))*x(139);
F(435) = -1+(1-x(215))+(1-x(30))+(1-x(195))-(1-x(215))*(1-x(30))-(1-x(215))*(1-x(195))-(1-x(30))*(1-x(195))+(1-x(215))*(1-x(30))*(1-x(195));
F(436) = -1+x(214)+x(28)+(1-x(1))-x(214)*x(28)-x(214)*(1-x(1))-x(28)*(1-x(1))+x(214)*x(28)*(1-x(1));
F(437) = -1+(1-x(165))+(1-x(250))+(1-x(58))-(1-x(165))*(1-x(250))-(1-x(165))*(1-x(58))-(1-x(250))*(1-x(58))+(1-x(165))*(1-x(250))*(1-x(58));
F(438) = -1+x(4)+(1-x(81))+x(133)-x(4)*(1-x(81))-x(4)*x(133)-(1-x(81))*x(133)+x(4)*(1-x(81))*x(133);
F(439) = -1+(1-x(248))+(1-x(207))+(1-x(200))-(1-x(248))*(1-x(207))-(1-x(248))*(1-x(200))-(1-x(207))*(1-x(200))+(1-x(248))*(1-x(207))*(1-x(200));
F(440) = -1+(1-x(195))+(1-x(209))+x(245)-(1-x(195))*(1-x(209))-(1-x(195))*x(245)-(1-x(209))*x(245)+(1-x(195))*(1-x(209))*x(245);
F(441) = -1+x(71)+(1-x(166))+(1-x(122))-x(71)*(1-x(166))-x(71)*(1-x(122))-(1-x(166))*(1-x(122))+x(71)*(1-x(166))*(1-x(122));
F(442) = -1+x(141)+x(155)+x(62)-x(141)*x(155)-x(141)*x(62)-x(155)*x(62)+x(141)*x(155)*x(62);
F(443) = -1+(1-x(32))+(1-x(212))+(1-x(116))-(1-x(32))*(1-x(212))-(1-x(32))*(1-x(116))-(1-x(212))*(1-x(116))+(1-x(32))*(1-x(212))*(1-x(116));
F(444) = -1+(1-x(34))+(1-x(82))+x(86)-(1-x(34))*(1-x(82))-(1-x(34))*x(86)-(1-x(82))*x(86)+(1-x(34))*(1-x(82))*x(86);
F(445) = -1+(1-x(85))+(1-x(195))+x(5)-(1-x(85))*(1-x(195))-(1-x(85))*x(5)-(1-x(195))*x(5)+(1-x(85))*(1-x(195))*x(5);
F(446) = -1+x(196)+x(146)+(1-x(173))-x(196)*x(146)-x(196)*(1-x(173))-x(146)*(1-x(173))+x(196)*x(146)*(1-x(173));
F(447) = -1+x(28)+(1-x(53))+x(202)-x(28)*(1-x(53))-x(28)*x(202)-(1-x(53))*x(202)+x(28)*(1-x(53))*x(202);
F(448) = -1+(1-x(144))+x(180)+(1-x(97))-(1-x(144))*x(180)-(1-x(144))*(1-x(97))-x(180)*(1-x(97))+(1-x(144))*x(180)*(1-x(97));
F(449) = -1+x(200)+(1-x(159))+(1-x(119))-x(200)*(1-x(159))-x(200)*(1-x(119))-(1-x(159))*(1-x(119))+x(200)*(1-x(159))*(1-x(119));
F(450) = -1+x(62)+x(25)+x(246)-x(62)*x(25)-x(62)*x(246)-x(25)*x(246)+x(62)*x(25)*x(246);
F(451) = -1+x(194)+(1-x(104))+x(52)-x(194)*(1-x(104))-x(194)*x(52)-(1-x(104))*x(52)+x(194)*(1-x(104))*x(52);
F(452) = -1+x(108)+(1-x(88))+x(12)-x(108)*(1-x(88))-x(108)*x(12)-(1-x(88))*x(12)+x(108)*(1-x(88))*x(12);
F(453) = -1+(1-x(25))+x(23)+x(12)-(1-x(25))*x(23)-(1-x(25))*x(12)-x(23)*x(12)+(1-x(25))*x(23)*x(12);
F(454) = -1+x(249)+(1-x(242))+x(153)-x(249)*(1-x(242))-x(249)*x(153)-(1-x(242))*x(153)+x(249)*(1-x(242))*x(153);
F(455) = -1+x(70)+x(59)+(1-x(206))-x(70)*x(59)-x(70)*(1-x(206))-x(59)*(1-x(206))+x(70)*x(59)*(1-x(206));
F(456) = -1+(1-x(6))+x(93)+(1-x(84))-(1-x(6))*x(93)-(1-x(6))*(1-x(84))-x(93)*(1-x(84))+(1-x(6))*x(93)*(1-x(84));
F(457) = -1+(1-x(138))+x(110)+x(211)-(1-x(138))*x(110)-(1-x(138))*x(211)-x(110)*x(211)+(1-x(138))*x(110)*x(211);
F(458) = -1+x(55)+(1-x(88))+x(103)-x(55)*(1-x(88))-x(55)*x(103)-(1-x(88))*x(103)+x(55)*(1-x(88))*x(103);
F(459) = -1+x(27)+x(244)+x(218)-x(27)*x(244)-x(27)*x(218)-x(244)*x(218)+x(27)*x(244)*x(218);
F(460) = -1+x(72)+(1-x(73))+x(103)-x(72)*(1-x(73))-x(72)*x(103)-(1-x(73))*x(103)+x(72)*(1-x(73))*x(103);
F(461) = -1+x(133)+(1-x(87))+x(167)-x(133)*(1-x(87))-x(133)*x(167)-(1-x(87))*x(167)+x(133)*(1-x(87))*x(167);
F(462) = -1+(1-x(174))+x(93)+x(203)-(1-x(174))*x(93)-(1-x(174))*x(203)-x(93)*x(203)+(1-x(174))*x(93)*x(203);
F(463) = -1+x(166)+(1-x(37))+(1-x(74))-x(166)*(1-x(37))-x(166)*(1-x(74))-(1-x(37))*(1-x(74))+x(166)*(1-x(37))*(1-x(74));
F(464) = -1+(1-x(90))+x(240)+x(119)-(1-x(90))*x(240)-(1-x(90))*x(119)-x(240)*x(119)+(1-x(90))*x(240)*x(119);
F(465) = -1+x(230)+x(245)+x(70)-x(230)*x(245)-x(230)*x(70)-x(245)*x(70)+x(230)*x(245)*x(70);
F(466) = -1+x(80)+x(206)+x(177)-x(80)*x(206)-x(80)*x(177)-x(206)*x(177)+x(80)*x(206)*x(177);
F(467) = -1+x(88)+x(176)+x(133)-x(88)*x(176)-x(88)*x(133)-x(176)*x(133)+x(88)*x(176)*x(133);
F(468) = -1+(1-x(232))+x(136)+(1-x(52))-(1-x(232))*x(136)-(1-x(232))*(1-x(52))-x(136)*(1-x(52))+(1-x(232))*x(136)*(1-x(52));
F(469) = -1+x(157)+(1-x(59))+x(224)-x(157)*(1-x(59))-x(157)*x(224)-(1-x(59))*x(224)+x(157)*(1-x(59))*x(224);
F(470) = -1+(1-x(104))+(1-x(118))+x(5)-(1-x(104))*(1-x(118))-(1-x(104))*x(5)-(1-x(118))*x(5)+(1-x(104))*(1-x(118))*x(5);
F(471) = -1+(1-x(196))+(1-x(140))+x(2)-(1-x(196))*(1-x(140))-(1-x(196))*x(2)-(1-x(140))*x(2)+(1-x(196))*(1-x(140))*x(2);
F(472) = -1+x(23)+(1-x(165))+(1-x(18))-x(23)*(1-x(165))-x(23)*(1-x(18))-(1-x(165))*(1-x(18))+x(23)*(1-x(165))*(1-x(18));
F(473) = -1+x(76)+(1-x(96))+x(18)-x(76)*(1-x(96))-x(76)*x(18)-(1-x(96))*x(18)+x(76)*(1-x(96))*x(18);
F(474) = -1+(1-x(170))+x(37)+x(70)-(1-x(170))*x(37)-(1-x(170))*x(70)-x(37)*x(70)+(1-x(170))*x(37)*x(70);
F(475) = -1+x(156)+x(214)+(1-x(21))-x(156)*x(214)-x(156)*(1-x(21))-x(214)*(1-x(21))+x(156)*x(214)*(1-x(21));
F(476) = -1+(1-x(212))+(1-x(53))+x(117)-(1-x(212))*(1-x(53))-(1-x(212))*x(117)-(1-x(53))*x(117)+(1-x(212))*(1-x(53))*x(117);
F(477) = -1+(1-x(166))+(1-x(142))+(1-x(87))-(1-x(166))*(1-x(142))-(1-x(166))*(1-x(87))-(1-x(142))*(1-x(87))+(1-x(166))*(1-x(142))*(1-x(87));
F(478) = -1+x(128)+x(159)+(1-x(123))-x(128)*x(159)-x(128)*(1-x(123))-x(159)*(1-x(123))+x(128)*x(159)*(1-x(123));
F(479) = -1+(1-x(120))+x(100)+x(21)-(1-x(120))*x(100)-(1-x(120))*x(21)-x(100)*x(21)+(1-x(120))*x(100)*x(21);
F(480) = -1+(1-x(167))+(1-x(93))+x(200)-(1-x(167))*(1-x(93))-(1-x(167))*x(200)-(1-x(93))*x(200)+(1-x(167))*(1-x(93))*x(200);
F(481) = -1+(1-x(98))+(1-x(79))+(1-x(12))-(1-x(98))*(1-x(79))-(1-x(98))*(1-x(12))-(1-x(79))*(1-x(12))+(1-x(98))*(1-x(79))*(1-x(12));
F(482) = -1+(1-x(204))+x(84)+x(9)-(1-x(204))*x(84)-(1-x(204))*x(9)-x(84)*x(9)+(1-x(204))*x(84)*x(9);
F(483) = -1+(1-x(6))+(1-x(82))+x(109)-(1-x(6))*(1-x(82))-(1-x(6))*x(109)-(1-x(82))*x(109)+(1-x(6))*(1-x(82))*x(109);
F(484) = -1+(1-x(90))+(1-x(246))+x(134)-(1-x(90))*(1-x(246))-(1-x(90))*x(134)-(1-x(246))*x(134)+(1-x(90))*(1-x(246))*x(134);
F(485) = -1+(1-x(109))+x(193)+x(180)-(1-x(109))*x(193)-(1-x(109))*x(180)-x(193)*x(180)+(1-x(109))*x(193)*x(180);
F(486) = -1+(1-x(64))+x(54)+x(177)-(1-x(64))*x(54)-(1-x(64))*x(177)-x(54)*x(177)+(1-x(64))*x(54)*x(177);
F(487) = -1+x(88)+(1-x(243))+x(227)-x(88)*(1-x(243))-x(88)*x(227)-(1-x(243))*x(227)+x(88)*(1-x(243))*x(227);
F(488) = -1+x(90)+(1-x(136))+x(146)-x(90)*(1-x(136))-x(90)*x(146)-(1-x(136))*x(146)+x(90)*(1-x(136))*x(146);
F(489) = -1+(1-x(125))+(1-x(222))+x(175)-(1-x(125))*(1-x(222))-(1-x(125))*x(175)-(1-x(222))*x(175)+(1-x(125))*(1-x(222))*x(175);
F(490) = -1+x(137)+x(155)+(1-x(234))-x(137)*x(155)-x(137)*(1-x(234))-x(155)*(1-x(234))+x(137)*x(155)*(1-x(234));
F(491) = -1+(1-x(222))+x(111)+x(190)-(1-x(222))*x(111)-(1-x(222))*x(190)-x(111)*x(190)+(1-x(222))*x(111)*x(190);
F(492) = -1+(1-x(91))+(1-x(169))+(1-x(198))-(1-x(91))*(1-x(169))-(1-x(91))*(1-x(198))-(1-x(169))*(1-x(198))+(1-x(91))*(1-x(169))*(1-x(198));
F(493) = -1+x(83)+x(128)+x(209)-x(83)*x(128)-x(83)*x(209)-x(128)*x(209)+x(83)*x(128)*x(209);
F(494) = -1+(1-x(214))+(1-x(9))+x(205)-(1-x(214))*(1-x(9))-(1-x(214))*x(205)-(1-x(9))*x(205)+(1-x(214))*(1-x(9))*x(205);
F(495) = -1+x(41)+x(216)+(1-x(171))-x(41)*x(216)-x(41)*(1-x(171))-x(216)*(1-x(171))+x(41)*x(216)*(1-x(171));
F(496) = -1+(1-x(30))+x(247)+x(168)-(1-x(30))*x(247)-(1-x(30))*x(168)-x(247)*x(168)+(1-x(30))*x(247)*x(168);
F(497) = -1+(1-x(178))+(1-x(213))+(1-x(90))-(1-x(178))*(1-x(213))-(1-x(178))*(1-x(90))-(1-x(213))*(1-x(90))+(1-x(178))*(1-x(213))*(1-x(90));
F(498) = -1+x(242)+(1-x(198))+(1-x(141))-x(242)*(1-x(198))-x(242)*(1-x(141))-(1-x(198))*(1-x(141))+x(242)*(1-x(198))*(1-x(141));
F(499) = -1+x(142)+x(239)+(1-x(39))-x(142)*x(239)-x(142)*(1-x(39))-x(239)*(1-x(39))+x(142)*x(239)*(1-x(39));
F(500) = -1+x(83)+x(34)+(1-x(25))-x(83)*x(34)-x(83)*(1-x(25))-x(34)*(1-x(25))+x(83)*x(34)*(1-x(25));
