Status of search for Puzzle 10

SOLVED!

The Prime Puzzles and Problems Connection website has the following puzzle:

http://www.primepuzzles.net/puzzles/puzz_010.htm

It is conjectured that ""For every primorial p(k)# there is at least one p(j) from the primorial (1<=j<=k), such that at least one of the following expressions give us a prime :

N = p(k)# * p(j) + 1

N = p(k)# * p(j) - 1

N = p(k)# / p(j) + 1

N = p(k)# / p(j) - 1

(using the Caldwell’s nomenclature, p(k)#=p(1) x p(2) x p(3) x ... x p(k), p(1)=2, p(2)=3, p(3)=5, etc.)

This has been verified to p(5487) and a counter-example has been found. p(5483), i. e. 53819, is prime-free for these 4 equations. Here are primes known to me that support the conjecture (up to p(5483)), in order of p(k)#:

< k < & < n <

Color legend:PRP foundavailable

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

1000110012001300140015001600170018001900
0p(415)*p(1000)#+1p(130)*p(1100)#-1p(745)*p(1200)#-1p(46)*p(1300)#-1p(1257)*p(1400)#-1p(77)*p(1500)#-1p(737)*p(1600)#+1p(1200)*p(1700)#+1p(15)*p(1800)#+1p(426)*p(1900)#+1
1p(7)*p(1001)#+1p(344)*p(1101)#-1p(571)*p(1201)#-1p(649)*p(1301)#-1p(616)*p(1401)#-1p(254)*p(1501)#-1p(266)*p(1601)#-1p(315)*p(1701)#+1p(127)*p(1801)#-1p(1865)*p(1901)#+1
2p(509)*p(1002)#+1p(100)*p(1102)#-1p(613)*p(1202)#-1p(960)*p(1302)#-1p(1273)*p(1402)#-1p(252)*p(1502)#+1p(789)*p(1602)#+1p(202)*p(1702)#-1p(46)*p(1802)#+1p(1263)*p(1902)#+1
3p(378)*p(1003)#+1p(72)*p(1103)#-1p(9)*p(1203)#-1p(1303)#/p(792)+1p(210)*p(1403)#-1p(113)*p(1503)#+1p(597)*p(1603)#-1p(1703)#/p(312)+1p(93)*p(1803)#+1p(802)*p(1903)#+1
4p(975)*p(1004)#+1p(469)*p(1104)#-1p(11)*p(1204)#-1p(40)*p(1304)#-1p(1404)#/p(16)-1p(109)*p(1504)#+1p(1604)#/p(89)-1p(1704)#/p(156)+1p(70)*p(1804)#+1p(1858)*p(1904)#+1
5p(146)*p(1005)#+1p(1105)#/p(180)+1p(939)*p(1205)#-1p(551)*p(1305)#-1p(18)*p(1405)#-1p(271)*p(1505)#+1p(20)*p(1605)#+1p(1705)#/p(32)-1p(218)*p(1805)#-1p(1117)*p(1905)#+1
6p(666)*p(1006)#+1p(17)*p(1106)#-1p(605)*p(1206)#-1p(45)*p(1306)#-1p(812)*p(1406)#-1p(272)*p(1506)#-1p(1606)#/p(188)+1p(270)*p(1706)#-1p(379)*p(1806)#+1p(626)*p(1906)#+1
7p(948)*p(1007)#+1p(936)*p(1107)#-1p(24)*p(1207)#-1p(1020)*p(1307)#-1p(1407)#/p(626)+1p(448)*p(1507)#+1p(1607)#/p(16)+1p(1707)#/p(51)+1p(32)*p(1807)#+1p(1907)#/p(435)+1
8p(152)*p(1008)#+1p(4)*p(1108)#-1p(1159)*p(1208)#-1p(398)*p(1308)#-1p(1263)*p(1408)#-1p(1177)*p(1508)#+1p(1608)#/p(693)+1p(1708)#/p(13)-1p(1808)#/p(654)+1p(560)*p(1908)#+1
9p(15)*p(1009)#+1p(301)*p(1109)#-1p(1209)#/p(906)+1p(91)*p(1309)#-1p(48)*p(1409)#-1p(232)*p(1509)#+1p(1609)#/p(56)+1p(232)*p(1709)#+1p(670)*p(1809)#+1p(66)*p(1909)#+1
10p(154)*p(1010)#-1p(685)*p(1110)#-1p(1210)#/p(923)-1p(458)*p(1310)#-1p(1410)#/p(297)+1p(90)*p(1510)#+1p(1610)#/p(146)-1p(1710)#/p(76)+1p(136)*p(1810)#+1p(1541)*p(1910)#+1
11p(162)*p(1011)#+1p(2)*p(1111)#-1p(64)*p(1211)#-1p(104)*p(1311)#-1p(1307)*p(1411)#-1p(299)*p(1511)#+1p(8)*p(1611)#+1p(1711)#/p(464)-1p(261)*p(1811)#+1p(112)*p(1911)#+1
12p(279)*p(1012)#+1p(321)*p(1112)#-1p(74)*p(1212)#-1p(327)*p(1312)#-1p(285)*p(1412)#-1p(1028)*p(1512)#+1p(1612)#/p(129)+1p(126)*p(1712)#-1p(373)*p(1812)#+1p(484)*p(1912)#+1
13p(990)*p(1013)#+1p(1088)*p(1113)#-1p(1005)*p(1213)#-1p(43)*p(1313)#-1p(2)*p(1413)#-1p(291)*p(1513)#+1p(1613)#/p(134)+1p(66)*p(1713)#-1p(634)*p(1813)#+1p(559)*p(1913)#+1
14p(102)*p(1014)#+1p(115)*p(1114)#-1p(1214)#/p(79)-1p(186)*p(1314)#-1p(558)*p(1414)#-1p(107)*p(1514)#+1p(74)*p(1614)#+1p(1714)#/p(57)-1p(450)*p(1814)#+1p(844)*p(1914)#+1
15p(7)*p(1015)#+1p(106)*p(1115)#-1p(6)*p(1215)#-1p(1315)#/p(44)+1p(189)*p(1415)#-1p(181)*p(1515)#+1p(1615)#/p(238)+1p(13)*p(1715)#-1p(369)*p(1815)#+1p(349)*p(1915)#+1
16p(129)*p(1016)#+1p(721)*p(1116)#-1p(317)*p(1216)#-1p(1316)#/p(227)+1p(479)*p(1416)#-1p(1180)*p(1516)#+1p(78)*p(1616)#+1p(157)*p(1716)#-1p(418)*p(1816)#+1p(167)*p(1916)#-1
17p(420)*p(1017)#+1p(649)*p(1117)#-1p(483)*p(1217)#-1p(569)*p(1317)#-1p(65)*p(1417)#-1p(231)*p(1517)#+1p(1617)#/p(86)-1p(1717)#/p(309)-1p(1243)*p(1817)#+1p(1518)*p(1917)#-1
18p(906)*p(1018)#+1p(149)*p(1118)#-1p(682)*p(1218)#-1p(347)*p(1318)#-1p(1418)#/p(624)+1p(382)*p(1518)#+1p(1618)#/p(56)-1p(1718)#/p(24)+1p(107)*p(1818)#+1p(1069)*p(1918)#+1
19p(709)*p(1019)#+1p(45)*p(1119)#-1p(1219)#/p(960)+1p(217)*p(1319)#-1p(25)*p(1419)#-1p(146)*p(1519)#+1p(1619)#/p(9)-1p(1719)#/p(71)-1p(391)*p(1819)#+1p(685)*p(1919)#+1
20p(208)*p(1020)#+1p(1120)#/p(326)+1p(61)*p(1220)#-1p(1104)*p(1320)#-1p(181)*p(1420)#-1p(1520)#/p(540)+1p(1620)#/p(9)+1p(76)*p(1720)#-1p(255)*p(1820)#-1p(820)*p(1920)#+1
21p(403)*p(1021)#+1p(796)*p(1121)#-1p(61)*p(1221)#-1p(832)*p(1321)#-1p(1421)#/p(240)+1p(68)*p(1521)#+1p(184)*p(1621)#+1p(1721)#/p(474)-1p(662)*p(1821)#+1p(397)*p(1921)#+1
22p(94)*p(1022)#-1p(196)*p(1122)#-1p(280)*p(1222)#-1p(992)*p(1322)#-1p(1422)#/p(362)+1p(180)*p(1522)#+1p(177)*p(1622)#+1p(31)*p(1722)#-1p(929)*p(1822)#+1p(1502)*p(1922)#-1
23p(103)*p(1023)#-1p(222)*p(1123)#-1p(303)*p(1223)#-1p(463)*p(1323)#-1p(676)*p(1423)#-1p(124)*p(1523)#-1p(128)*p(1623)#-1p(185)*p(1723)#-1p(641)*p(1823)#+1p(5)*p(1923)#+1
24p(7)*p(1024)#-1p(422)*p(1124)#-1p(928)*p(1224)#-1p(325)*p(1324)#-1p(290)*p(1424)#-1p(1524)#/p(942)+1p(166)*p(1624)#+1p(1724)#/p(102)+1p(44)*p(1824)#+1p(106)*p(1924)#+1
25p(401)*p(1025)#-1p(1125)#/p(359)+1p(1143)*p(1225)#-1p(1325)#/p(724)+1p(708)*p(1425)#-1p(763)*p(1525)#+1p(231)*p(1625)#-1p(151)*p(1725)#-1p(135)*p(1825)#+1p(415)*p(1925)#+1
26p(641)*p(1026)#-1p(118)*p(1126)#-1p(831)*p(1226)#-1p(112)*p(1326)#-1p(471)*p(1426)#-1p(197)*p(1526)#+1p(1626)#/p(234)-1p(1726)#/p(152)+1p(249)*p(1826)#+1p(252)*p(1926)#-1
27p(688)*p(1027)#-1p(394)*p(1127)#-1p(715)*p(1227)#-1p(314)*p(1327)#-1p(1427)#/p(566)+1p(394)*p(1527)#+1p(1627)#/p(124)+1p(378)*p(1727)#-1p(103)*p(1827)#+1p(973)*p(1927)#+1
28p(1028)#/p(50)+1p(265)*p(1128)#-1p(5)*p(1228)#-1p(698)*p(1328)#-1p(724)*p(1428)#-1p(1465)*p(1528)#+1p(1628)#/p(637)-1p(405)*p(1728)#+1p(233)*p(1828)#+1p(899)*p(1928)#+1
29p(161)*p(1029)#-1p(107)*p(1129)#-1p(623)*p(1229)#-1p(773)*p(1329)#-1p(129)*p(1429)#-1p(402)*p(1529)#+1p(120)*p(1629)#-1p(651)*p(1729)#-1p(106)*p(1829)#+1p(811)*p(1929)#+1
30p(28)*p(1030)#-1p(247)* p(1130)#+1p(1230)#/p(701)+1p(1330)#/p(201)+1p(167)*p(1430)#-1p(199)*p(1530)#-1p(1630)#/p(325)+1p(1730)#/p(25)-1p(334)*p(1830)#+1p(785)*p(1930)#-1
31p(378)*p(1031)#-1p(366)*p(1131)#-1p(401)*p(1231)#-1p(853)*p(1331)#-1p(102)*p(1431)#-1p(107)*p(1531)#+1p(97)*p(1631)#-1p(37)*p(1731)#+1p(136)*p(1831)#+1p(7)*p(1931)#+1
32p(599)*p(1032)#-1p(229)*p(1132)#-1p(686)*p(1232)#-1p(291)*p(1332)#-1p(773)*p(1432)#-1p(181)*p(1532)#+1p(847)*p(1632)#+1p(1732)#/p(1015)-1p(370)*p(1832)#+1p(345)*p(1932)#+1
33p(766)*p(1033)#-1p(111)*p(1133)#-1p(209)*p(1233)#-1p(957)*p(1333)#-1p(940)*p(1433)#-1p(76)*p(1533)#+1p(784)*p(1633)#+1p(1733)#/p(139)-1p(432)*p(1833)#+1p(71)*p(1933)#+1
34p(298)*p(1034)#-1p(291)*p(1134)#-1p(871)*p(1234)#-1p(334)*p(1334)#-1p(511)*p(1434)#-1p(561)*p(1534)#+1p(390)*p(1634)#+1p(417)*p(1734)#+1p(831)*p(1834)#+1p(317)*p(1934)#+1
35p(444)*p(1035)#-1p(4)*p(1135)#-1p(268)*p(1235)#-1p(145)*p(1335)#-1p(1435)#/p(353)+1p(1535)#/p(428)-1p(983)*p(1635)#+1p(423)*p(1735)#+1p(1140)*p(1835)#+1p(540)*p(1935)#+1
36p(379)*p(1036)#-1p(33)*p(1136)#-1p(197)*p(1236)#-1p(521)*p(1336)#-1p(282)*p(1436)#-1p(908)*p(1536)#+1p(510)*p(1636)#+1p(1736)#/p(139)+1p(72)*p(1836)#+1p(1129)*p(1936)#+1
37p(1037)#/p(540)+1p(94)*p(1137)#-1p(1072)*p(1237)#-1p(1266)*p(1337)#-1p(674)*p(1437)#-1p(1537)#/p(710)+1p(486)*p(1637)#-1p(176)*p(1737)#+1p(209)*p(1837)#+1p(413)*p(1937)#+1
38p(192)*p(1038)#-1p(467)*p(1138)#-1p(680)*p(1238)#-1p(160)*p(1338)#-1p(1438)#/p(147)-1p(1538)#/p(524)+1p(184)*p(1638)#+1p(43)*p(1738)#-1p(1838)#/p(152)+1p(1620)*p(1938)#+1
39p(508)*p(1039)#-1p(32)*p(1139)#-1p(102)*p(1239)#-1p(671)*p(1339)#-1p(390)*p(1439)#-1p(1539)#/p(414)+1p(215)*p(1639)#+1p(1739)#/p(940)-1p(355)*p(1839)#+1p(73)*p(1939)#+1
40p(280)*p(1040)#-1p(149)*p(1140)#-1p(327)*p(1240)#-1p(781)*p(1340)#-1p(106)*p(1440)#-1p(59)*p(1540)#+1p(133)*p(1640)#+1p(1740)#/p(18)+1p(799)*p(1840)#+1p(167)*p(1940)#+1
41p(542)*p(1041)#-1p(298)*p(1141)#-1p(677)*p(1241)#-1p(948)*p(1341)#-1p(349)*p(1441)#-1p(1251)*p(1541)#+1p(285)*p(1641)#+1p(1741)#/p(196)+1p(169)*p(1841)#+1p(1493)*p(1941)#+1
42p(262)*p(1042)#-1p(153)*p(1142)#-1p(19)*p(1242)#-1p(1342)#/p(749)+1p(446)*p(1442)#-1p(78)*p(1542)#+1p(1027)*p(1642)#+1p(1742)#/p(18)-1p(1158)*p(1842)#+1p(1293)*p(1942)#+1
43p(1028)*p(1043)#-1p(32)*p(1143)#-1p(525)*p(1243)#-1p(121)*p(1343)#-1p(456)*p(1443)#-1p(742)*p(1543)#+1p(436)*p(1643)#+1p(7)*p(1743)#-1p(185)*p(1843)#-1p(318)*p(1943)#+1
44p(262)*p(1044)#-1p(306)*p(1144)#-1p(14)*p(1244)#-1p(225)*p(1344)#-1p(596)*p(1444)#-1p(1393)*p(1544)#+1p(96)*p(1644)#+1p(240)*p(1744)#+1p(452)*p(1844)#-1p(341)*p(1944)#+1
45p(684)*p(1045)#-1p(264)*p(1145)#-1p(525)*p(1245)#-1p(1345)#/p(886)+1p(118)*p(1445)#-1p(130)*p(1545)#+1p(1017)*p(1645)#+1p(1745)#/p(69)+1p(574)*p(1845)#+1p(1080)*p(1945)#-1
46p(177)*p(1046)#-1p(101)*p(1146)#-1p(253)*p(1246)#-1p(1179)*p(1346)#-1p(787)*p(1446)#-1p(789)*p(1546)#+1p(74)*p(1646)#+1p(1746)#/p(185)+1p(1197)*p(1846)#+1p(903)*p(1946)#+1
47p(1047)#/p(25)+1p(344)*p(1147)#-1p(711)*p(1247)#-1p(769)*p(1347)#-1p(983)*p(1447)#-1p(1547)#/p(1438)+1p(343)*p(1647)#+1p(1747)#/p(257)+1p(73)*p(1847)#-1p(579)*p(1947)#+1
48p(427)*p(1048)#-1p(659)*p(1148)#-1p(4)*p(1248)#-1p(1348)#/p(367)+1p(150)*p(1448)#-1p(1548)#/p(61)+1p(654)*p(1648)#+1p(223)*p(1748)#-1p(1361)*p(1848)#+1p(612)*p(1948)#-1
49p(228)*p(1049)#-1p(1149)#/p(47)+1p(152)*p(1249)#-1p(47)*p(1349)#-1p(668)*p(1449)#-1p(247)*p(1549)#+1p(1341)*p(1649)#+1p(1749)#/p(295)+1p(203)*p(1849)#+1p(695)*p(1949)#-1
50p(6)*p(1050)#+1p(177)*p(1150)#-1p(310)*p(1250)#-1p(692)*p(1350)#-1p(1030)*p(1450)#-1p(1550)#/p(164)-1p(632)*p(1650)#-1p(340)*p(1750)#-1p(825)*p(1850)#+1p(761)*p(1950)#+1
51p(160)*p(1051)#-1p(172)*p(1151)#-1p(237)*p(1251)#-1p(589)*p(1351)#-1p(156)*p(1451)#-1p(1232)*p(1551)#+1p(253)*p(1651)#+1p(1751)#/p(4)+1p(700)*p(1851)#+1p(364)*p(1951)#-1
52p(139)*p(1052)#-1p(1152)#/p(257)+1p(91)*p(1252)#-1p(272)*p(1352)#-1p(233)*p(1452)#-1p(228)*p(1552)#+1p(603)*p(1652)#+1p(1752)#/p(383)-1p(129)*p(1852)#+1p(1090)*p(1952)#+1
53p(921)*p(1053)#-1p(101)*p(1153)#-1p(263)*p(1253)#-1p(551)*p(1353)#-1p(199)*p(1453)#-1p(238)*p(1553)#+1p(96)*p(1653)#+1p(324)*p(1753)#-1p(954)*p(1853)#+1p(1008)*p(1953)#+1
54p(903)*p(1054)#-1p(1154)#/p(366)+1p(240)*p(1254)#-1p(99)*p(1354)#-1p(1329)*p(1454)#-1p(600)*p(1554)#+1p(421)*p(1654)#+1p(1754)#/p(310)+1p(718)*p(1854)#+1p(1504)*p(1954)#+1
55p(128)*p(1055)#-1p(101)*p(1155)#-1p(419)*p(1255)#-1p(23)*p(1355)#-1p(406)*p(1455)#-1p(1010)*p(1555)#+1p(1108)*p(1655)#+1p(1755)#/p(264)+1p(864)*p(1855)#-1p(11)*p(1955)#+1
56p(190)*p(1056)#-1p(438)*p(1156)#-1p(334)*p(1256)#-1p(939)*p(1356)#-1p(1301)*p(1456)#-1p(40)*p(1556)#+1p(810)*p(1656)#-1p(1756)#/p(69)+1p(38)*p(1856)#+1p(188)*p(1956)#+1
57p(1057)#/p(959)+1p(55)*p(1157)#-1p(1257)#/p(949)+1p(1357)#/p(1340)+1p(1457)#/p(1254)+1p(148)*p(1557)#-1p(773)*p(1657)#+1p(1757)#/p(144)+1p(109)*p(1857)#+1p(817)*p(1957)#+1
58p(284)*p(1058)#-1p(242)*p(1158)#-1p(402)*p(1258)#-1p(1358)#/p(824)+1p(109)*p(1458)#-1p(180)*p(1558)#+1p(938)*p(1658)#-1p(118)*p(1758)#+1p(159)*p(1858)#+1p(213)*p(1958)#+1
59p(813)*p(1059)#-1p(943)*p(1159)#-1p(290)*p(1259)#-1p(1222)*p(1359)#-1p(106)*p(1459)#-1p(827)*p(1559)#+1p(463)*p(1659)#+1p(19)*p(1759)#-1p(220)*p(1859)#-1p(541)*p(1959)#+1
60p(676)*p(1060)#-1p(18)*p(1160)#-1p(204)*p(1260)#-1p(135)*p(1360)#-1p(1180)*p(1460)#-1p(1127)*p(1560)#+1p(1491)*p(1660)#+1p(1760)#/p(71)-1p(684)*p(1860)#+1p(1751)*p(1960)#+1
61p(24)*p(1061)#-1p(175)*p(1161)#-1p(313)*p(1261)#-1p(19)*p(1361)#-1p(1461)#/p(957)-1p(122)*p(1561)#-1p(204)*p(1661)#+1p(222)*p(1761)#-1p(752)*p(1861)#-1p(605)*p(1961)#+1
62p(1062)#/p(464)+1p(250)*p(1162)#-1p(75)*p(1262)#-1p(196)*p(1362)#-1p(76)*p(1462)#-1p(43)*p(1562)#+1p(4)*p(1662)#+1p(396)*p(1762)#+1p(1631)*p(1862)#+1p(1378)*p(1962)#+1
63p(64)*p(1063)#-1p(321)*p(1163)#-1p(680)*p(1263)#-1p(131)*p(1363)#-1p(425)*p(1463)#-1p(1306)*p(1563)#+1p(773)*p(1663)#+1p(44)*p(1763)#+1p(944)*p(1863)#+1p(299)*p(1963)#-1
64p(1042)*p(1064)#-1p(483)*p(1164)#-1p(340)*p(1264)#-1p(235)*p(1364)#-1p(1464)#/p(1456)+1p(521)*p(1564)#+1p(1442)*p(1664)#+1p(1764)#/p(94)-1p(679)*p(1864)#+1p(154)*p(1964)#+1
65p(214)*p(1065)#-1p(25)*p(1165)#-1p(37)*p(1265)#-1p(237)*p(1365)#-1p(896)*p(1465)#-1p(487)*p(1565)#+1p(376)*p(1665)#+1p(391)*p(1765)#-1p(281)*p(1865)#+1p(215)*p(1965)#-1
66p(99)*p(1066)#-1p(8)*p(1166)#-1p(5)*p(1266)#-1p(496)*p(1366)#-1p(610)*p(1466)#-1p(955)*p(1566)#+1p(1400)*p(1666)#-1p(135)*p(1766)#-1p(109)*p(1866)#+1p(256)*p(1966)#-1
67p(115)*p(1067)#-1p(968)*p(1167)#-1p(96)*p(1267)#-1p(334)*p(1367)#-1p(1467)#/p(159)+1p(113)*p(1567)#+1p(334)*p(1667)#+1p(272)*p(1767)#+1p(801)*p(1867)#+1p(1946)*p(1967)#+1
68p(403)*p(1068)#-1p(967)*p(1168)#-1p(44)*p(1268)#-1p(110)*p(1368)#-1p(1468)#/p(1119)+1p(889)*p(1568)#+1p(1668)#/p(1432)+1p(163)*p(1768)#-1p(1481)*p(1868)#+1p(527)*p(1968)#+1
69p(635)*p(1069)#-1p(14)*p(1169)#-1p(913)*p(1269)#-1p(350)*p(1369)#-1p(1469)#/p(1427)+1p(50)*p(1569)#+1p(428)*p(1669)#+1p(1769)#/p(144)-1p(985)*p(1869)#-1p(691)*p(1969)#+1
70p(166)*p(1070)#-1p(184)*p(1170)#-1p(1051)*p(1270)#-1p(929)*p(1370)#-1p(255)*p(1470)#-1p(1092)*p(1570)#+1p(671)*p(1670)#+1p(160)*p(1770)#-1p(919)*p(1870)#+1p(685)*p(1970)#+1
71p(1071)#/p(474)+1p(27)*p(1171)#-1p(1271)#/p(898)+1p(354)*p(1371)#-1p(1471)#/p(736)+1p(24)*p(1571)#+1p(1642)*p(1671)#+1p(184)*p(1771)#-1p(832)*p(1871)#+1p(329)*p(1971)#-1
72p(846)*p(1072)#-1p(124)*p(1172)#-1p(853)*p(1272)#-1p(1372)#/p(114)-1p(346)*p(1472)#-1p(969)*p(1572)#+1p(298)*p(1672)#+1p(738)*p(1772)#-1p(138)*p(1872)#+1p(1129)*p(1972)#+1
73p(860)*p(1073)#-1p(539)*p(1173)#-1p(494)*p(1273)#-1p(260)*p(1373)#-1p(635)*p(1473)#-1p(460)*p(1573)#+1p(539)*p(1673)#+1p(1773)#/p(36)-1p(5)*p(1873)#+1p(1813)*p(1973)#+1
74p(433)*p(1074)#-1p(1174)#/p(745)+1p(249)*p(1274)#-1p(112)*p(1374)#-1p(27)*p(1474)#-1p(1574)#/p(562)+1p(1581)*p(1674)#-1p(143)*p(1774)#+1p(574)*p(1874)#-1p(82)*p(1974)#+1
75p(282)*p(1075)#-1p(1175)#/p(579)+1p(300)*p(1275)#-1p(104)*p(1375)#-1p(230)*p(1475)#-1p(1287)*p(1575)#+1p(297)*p(1675)#+1p(1775)#/p(805)+1p(162)*p(1875)#+1p(640)*p(1975)#+1
76p(815)*p(1076)#-1p(17)*p(1176)#-1p(282)*p(1276)#-1p(58)*p(1376)#-1p(1048)*p(1476)#-1p(677)*p(1576)#+1p(830)*p(1676)#+1p(388)*p(1776)#-1p(156)*p(1876)#+1p(138)*p(1976)#+1
77p(829)*p(1077)#-1p(751)*p(1177)#-1p(1277)#/p(489)+1p(157)*p(1377)#-1p(1049)*p(1477)#-1p(815)*p(1577)#+1p(526)*p(1677)#+1p(1777)#/p(88)+1p(643)*p(1877)#-1p(8)*p(1977)#+1
78p(183)*p(1078)#-1p(393)*p(1178)#-1p(818)*p(1278)#-1p(559)*p(1378)#-1p(431)*p(1478)#-1p(182)*p(1578)#+1p(372)*p(1678)#+1p(217)*p(1778)#+1p(1245)*p(1878)#+1p(769)*p(1978)#+1
79p(1079)#/p(465)+1p(1179)#/p(265)+1p(703)*p(1279)#-1p(253)*p(1379)#-1p(636)*p(1479)#-1p(285)*p(1579)#+1p(401)*p(1679)#+1p(1779)#/p(671)+1p(85)*p(1879)#-1p(298)*p(1979)#+1
80p(1080)#/p(101)+1p(628)*p(1180)#-1p(180)*p(1280)#-1p(305)*p(1380)#-1p(1480)#/p(742)+1p(341)*p(1580)#+1p(166)*p(1680)#+1p(157)*p(1780)#+1p(1447)*p(1880)#+1p(968)*p(1980)#+1
81p(33)*p(1081)#-1p(459)*p(1181)#-1p(1270)*p(1281)#-1p(1381)#/p(1229)-1p(1481)#/p(76)-1p(1581)#/p(242)+1p(390)*p(1681)#+1p(1781)#/p(94)+1p(1118)*p(1881)#+1p(784)*p(1981)#+1
82p(74)*p(1082)#-1p(1182)#/p(47)+1p(1149)*p(1282)#-1p(544)*p(1382)#-1p(417)*p(1482)#-1p(1582)#/p(192)+1p(148)*p(1682)#-1p(1782)#/p(536)+1p(202)*p(1882)#-1p(22)*p(1982)#+1
83p(58)*p(1083)#-1p(801)*p(1183)#-1p(324)*p(1283)#-1p(191)*p(1383)#-1p(1483)#/p(1113)+1p(1583)#/p(153)+1p(915)*p(1683)#-1p(1783)#/p(6)-1p(919)*p(1883)#+1p(1288)*p(1983)#-1
84p(288)*p(1084)#-1p(51)*p(1184)#-1p(250)*p(1284)#-1p(224)*p(1384)#-1p(1354)*p(1484)#-1p(1584)#/p(197)+1p(770)*p(1684)#+1p(52)*p(1784)#+1p(255)*p(1884)#+1p(77)*p(1984)#-1
85p(701)*p(1085)#-1p(546)*p(1185)#-1p(129)*p(1285)#-1p(1239)*p(1385)#-1p(1485)#/p(36)+1p(1585)#/p(107)+1p(335)*p(1685)#+1p(1785)#/p(151)+1p(204)*p(1885)#+1p(183)*p(1985)#+1
86p(490)*p(1086)#-1p(549)*p(1186)#-1p(676)*p(1286)#-1p(452)*p(1386)#-1p(652)*p(1486)#-1p(1586)#/p(117)+1p(148)*p(1686)#+1p(1786)#/p(150)-1p(145)*p(1886)#+1p(255)*p(1986)#+1
87p(150)*p(1087)#-1p(171)*p(1187)#-1p(218)*p(1287)#-1p(1387)#/p(37)+1p(76)*p(1487)#-1p(1587)#/p(26)+1p(522)*p(1687)#+1p(1787)#/p(690)+1p(251)*p(1887)#+1p(907)*p(1987)#+1
88p(2)*p(1088)#-1p(215)*p(1188)#-1p(509)*p(1288)#-1p(20)*p(1388)#-1p(1488)#/p(427)+1p(1588)#/p(520)+1p(266)*p(1688)#-1p(74)*p(1788)#-1p(9)*p(1888)#+1p(474)*p(1988)#+1
89p(275)*p(1089)#-1p(1189)#/p(894)+1p(1228)*p(1289)#-1p(343)*p(1389)#-1p(1489)#/p(474)+1p(1589)*p(195)#+1p(1271)*p(1689)#+1p(892)*p(1789)#+1p(630)*p(1889)#+1p(1319)*p(1989)#+1
90p(11)*p(1090)#-1p(1180)*p(1190)#-1p(307)*p(1290)#-1p(74)*p(1390)#-1p(9)*p(1490)#-1p(1590)*p(162)#+1p(830)*p(1690)#+1p(1790)#/p(188)+1p(358)*p(1890)#+1p(6)*p(1990)#+1
91p(979)*p(1091)#-1p(378)*p(1191)#-1p(77)*p(1291)#-1p(473)*p(1391)#-1p(564)*p(1491)#-1p(1591)*p(165)#+1p(568)*p(1691)#-1p(1791)#/p(95)+1p(1472)*p(1891)#+1p(1469)*p(1991)#+1
92p(82)*p(1092)#-1p(101)*p(1192)#-1p(1292)#/p(408)+1p(341)*p(1392)#-1p(1140)*p(1492)#-1p(163)*p(1592)#-1p(139)*p(1692)#+1p(115)*p(1792)#+1p(21)*p(1892)#+1p(127)*p(1992)#+1
93p(148)*p(1093)#-1p(608)*p(1193)#-1p(13)*p(1293)#-1p(189)*p(1393)#-1p(1461)*p(1493)#-1p(1593)#/p(25)+1p(1233)*p(1693)#+1p(1793)#/p(93)+1p(629)*p(1893)#+1p(1042)*p(1993)#+1
94p(31)*p(1094)#-1p(67)*p(1194)#-1p(838)*p(1294)#-1p(115)*p(1394)#-1p(116)*p(1494)#-1p(1382)*p(1594)#+1p(1047)*p(1694)#+1p(106)*p(1794)#-1p(1136)*p(1894)#+1p(597)*p(1994)#+1
95p(85)*p(1095)#-1p(746)*p(1195)#-1p(548)*p(1295)#-1p(172)*p(1395)#-1p(1495)#/p(313)+1p(1030)*p(1595)#+1p(757)*p(1695)#+1p(1795)#/p(688)-1p(505)*p(1895)#+1p(747)*p(1995)#+1
96p(413)*p(1096)#-1p(95)*p(1196)#-1p(29)*p(1296)#-1p(290)*p(1396)#-1p(635)*p(1496)#-1p(935)*p(1596)#+1p(280)*p(1696)#-1p(254)*p(1796)#+1p(1077)*p(1896)#+1p(675)*p(1996)#+1
97p(750)*p(1097)#-1p(599)*p(1197)#-1p(654)*p(1297)#-1p(8)*p(1397)#-1p(93)*p(1497)#-1p(773)*p(1597)#+1p(289)*p(1697)#+1p(1797)#/p(137)+1p(180)*p(1897)#+1p(673)*p(1997)#+1
98p(196)*p(1098)#-1p(1147)*p(1198)#-1p(364)*p(1298)#-1p(527)*p(1398)#-1p(256)*p(1498)#-1p(262)*p(1598)#+1p(604)*p(1698)#+1p(1798)#/p(84)+1p(1722)*p(1898)#+1p(995)*p(1998)#+1
99p(250)*p(1099)#-1p(1199)#/p(1103)+1p(27)*p(1299)#-1p(339)*p(1399)#-1p(1459)*p(1499)#-1p(922)*p(1599)#+1p(524)*p(1699)#+1p(1799)#/p(194)-1p(150)*p(1899)#+1p(1501)*p(1999)#+1

2000210022002300240025002600270028002900
0p(268)*p(2000)#+1p(1833)*p(2100)#+1p(44)*p(2200)#+1p(497)*p(2300)#+1p(593)*p(2400)#+1p(591)*p(2500)#+1p(507)*p(2600)#+1p(1459)*p(2700)#+1p(2800)#/p(1249)+1p(2900)#*p(780)-1
1p(406)*p(2001)#+1p(2)*p(2101)#+1p(1137)*p(2201)#+1p(373)*p(2301)#+1p(1346)*p(2401)#+1p(6)*p(2501)#+1p(574)*p(2601)#-1p(146)*p(2701)#+1p(2555)*p(2801)#+1p(2901)#*p(145)+1
2p(1849)*p(2002)#+1p(171)*p(2102)#-1p(760)*p(2202)#+1p(609)*p(2302)#+1p(166)*p(2402)#+1p(588)*p(2502)#+1p(827)*p(2602)#-1p(336)*p(2702)#+1p(2673)*p(2802)#+1p(2902)#*p(1147)+1
3p(853)*p(2003)#+1p(451)*p(2103)#+1p(2111)*p(2203)#-1p(1627)*p(2303)#+1p(1442)*p(2403)#+1p(179)*p(2503)#+1p(1051)*p(2603)#+1p(1753)*p(2703)#+1p(1143)*p(2803)#+1p(2903)#*p(1158)+1
4p(1265)*p(2004)#-1p(770)*p(2104)#+1p(150)*p(2204)#+1p(514)*p(2304)#+1p(2264)*p(2404)#+1p(310)*p(2504)#+1p(2077)*p(2604)#+1p(109)*p(2704)#-1p(1844)*p(2804)#+1p(2904)#*p(2150)+1
5p(437)*p(2005)#+1p(1739)*p(2105)#+1p(423)*p(2205)#+1p(616)*p(2305)#+1p(964)*p(2405)#+1p(558)*p(2505)#+1p(378)*p(2605)#+1p(326)*p(2705)#+1p(2097)*p(2805)#+1p(2905)#/p(321)+1
6p(2004)*p(2006)#+1p(1878)*p(2106)#+1p(554)*p(2206)#+1p(374)*p(2306)#+1p(60)*p(2406)#+1p(452)*p(2506)#+1p(364)*p(2606)#+1p(342)*p(2706)#+1p(234)*p(2806)#+1p(2906)#*p(1233)+1
7p(933)*p(2007)#+1p(673)*p(2107)#+1p(419)*p(2207)#+1p(541)*p(2307)#+1p(943)*p(2407)#+1p(925)*p(2507)#+1p(2120)*p(2607)#+1p(2210)*p(2707)#-1p(812)*p(2807)#+1p(2907)#*p(495)+1
8p(935)*p(2008)#+1p(1369)*p(2108)#+1p(2039)*p(2208)#+1p(2121)*p(2308)#+1p(1809)*p(2408)#+1p(754)*p(2508)#+1p(337)*p(2608)#+1p(122)*p(2708)#+1p(1396)*p(2808)#+1p(2908)#*p(2768)+1
9p(1053)*p(2009)#+1p(457)*p(2109)#+1p(229)*p(2209)#+1p(1074)*p(2309)#+1p(402)*p(2409)#+1p(807)*p(2509)#+1p(405)*p(2609)#+1p(383)*p(2709)#+1p(4)*p(2809)#+1p(2909)#*p(725)+1
10p(1195)*p(2010)#+1p(151)*p(2110)#+1p(290)*p(2210)#+1p(1956)*p(2310)#-1p(362)*p(2410)#+1p(1605)*p(2510)#+1p(129)*p(2610)#+1p(2204)*p(2710)#+1p(1109)*p(2810)#-1p(2910)#*p(1433)+1
11p(1195)*p(2011)#+1p(549)*p(2111)#+1p(1408)*p(2211)#+1p(432)*p(2311)#+1p(239)*p(2411)#+1p(924)*p(2511)#+1p(66)*p(2611)#+1p(800)*p(2711)#-1p(1337)*p(2811)#+1p(2911)#*p(470)-1
12p(982)*p(2012)#+1p(555)*p(2112)#+1p(1022)*p(2212)#+1p(1870)*p(2312)#+1p(187)*p(2412)#-1p(1615)*p(2512)#+1p(715)*p(2612)#+1p(296)*p(2712)#+1p(1142)*p(2812)#+1p(2912)#*p(1022)+1
13p(1165)*p(2013)#+1p(220)*p(2113)#-1p(1155)*p(2213)#+1p(514)*p(2313)#+1p(1072)*p(2413)#-1p(471)*p(2513)#+1p(574)*p(2613)#+1p(2132)*p(2713)#+1p(1623)*p(2813)#+1p(2913)#*p(723)+1
14p(1226)*p(2014)#+1p(129)*p(2114)#+1p(1388)*p(2214)#+1p(418)*p(2314)#+1p(1124)*p(2414)#+1p(172)*p(2514)#+1p(585)*p(2614)#+1p(714)*p(2714)#+1p(677)*p(2814)#+1p(2914)#*p(820)-1
15p(573)*p(2015)#+1p(85)*p(2115)#+1p(389)*p(2215)#+1p(1399)*p(2315)#+1p(1227)*p(2415)#+1p(60)*p(2515)#+1p(1835)*p(2615)#+1p(57)*p(2715)#+1p(910)*p(2815)#+1p(2915)#*p(2705)+1
16p(51)*p(2016)#+1p(928)*p(2116)#+1p(1365)*p(2216)#+1p(1889)*p(2316)#+1p(87)*p(2416)#-1p(745)*p(2516)#+1p(357)*p(2616)#-1p(357)*p(2716)#+1p(637)*p(2816)#+1p(2916)#*p(298)+1
17p(194)*p(2017)#+1p(46)*p(2117)#+1p(883)*p(2217)#+1p(927)*p(2317)#+1p(310)*p(2417)#+1p(245)*p(2517)#+1p(1480)*p(2617)#+1p(396)*p(2717)#+1p(1482)*p(2817)#+1p(2917)#*p(199)+1
18p(959)*p(2018)#+1p(75)*p(2118)#+1p(554)*p(2218)#+1p(903)*p(2318)#+1p(2150)*p(2418)#+1p(881)*p(2518)#+1p(1270)*p(2618)#+1p(371)*p(2718)#-1p(1636)*p(2818)#-1p(2918)#*p(802)-1
19p(1010)*p(2019)#+1p(590)*p(2119)#+1p(464)*p(2219)#+1p(796)*p(2319)#+1p(2001)*p(2419)#+1p(553)*p(2519)#+1p(1167)*p(2619)#+1p(14)*p(2719)#-1p(1567)*p(2819)#-1p(2919)#*p(407)+1
20p(488)*p(2020)#+1p(518)*p(2120)#+1p(1571)*p(2220)#-1p(1926)*p(2320)#+1p(839)*p(2420)#+1p(793)*p(2520)#+1p(1378)*p(2620)#+1p(499)*p(2720)#-1p(99)*p(2820)#+1p(2920)#*p(1237)+1
21p(1200)*p(2021)#-1p(195)*p(2121)#+1p(611)*p(2221)#+1p(132)*p(2321)#+1p(550)*p(2421)#+1p(857)*p(2521)#+1p(1682)*p(2621)#+1p(1307)*p(2721)#+1p(169)*p(2821)#-1p(2921)#*p(1989)+1
22p(377)*p(2022)#+1p(478)*p(2122)#+1p(51)*p(2222)#-1p(980)*p(2322)#+1p(888)*p(2422)#-1p(379)*p(2522)#+1p(149)*p(2622)#+1p(472)*p(2722)#+1p(574)*p(2822)#+1p(2922)#*p(1657)+1
23p(269)*p(2023)#+1p(1320)*p(2123)#+1p(390)*p(2223)#-1p(690)*p(2323)#+1p(651)*p(2423)#+1p(2523)#/p(125)+1p(115)*p(2623)#+1p(1411)*p(2723)#+1p(1300)*p(2823)#+1p(2923)#*p(931)+1
24p(1619)*p(2024)#+1p(1844)*p(2124)#+1p(49)*p(2224)#+1p(190)*p(2324)#+1p(5)*p(2424)#-1p(1358)*p(2524)#+1p(1278)*p(2624)#+1p(290)*p(2724)#+1p(990)*p(2824)#+1p(2924)#*p(386)+1
25p(1090)*p(2025)#+1p(1136)*p(2125)#+1p(1426)*p(2225)#+1p(936)*p(2325)#+1p(560)*p(2425)#+1p(184)*p(2525)#+1p(362)*p(2625)#+1p(1469)*p(2725)#+1p(1232)*p(2825)#+1p(2925)#*p(671)-1
26p(1399)*p(2026)#+1p(210)*p(2126)#+1p(804)*p(2226)#+1p(172)*p(2326)#+1p(1349)*p(2426)#+1p(779)*p(2526)#+1p(1275)*p(2626)#-1p(2291)*p(2726)#+1p(1830)*p(2826)#-1p(2926)#*p(513)+1
27p(274)*p(2027)#+1p(1878)*p(2127)#+1p(311)*p(2227)#+1p(255)*p(2327)#+1p(733)*p(2427)#+1p(2330)*p(2527)#+1p(1226)*p(2627)#+1p(846)*p(2727)#+1p(2801)*p(2827)#+1p(2927)#*p(1753)+1
28p(727)*p(2028)#+1p(177)*p(2128)#+1p(1637)*p(2228)#+1p(1047)*p(2328)#+1p(1539)*p(2428)#+1p(392)*p(2528)#-1p(886)*p(2628)#+1p(60)*p(2728)#-1p(701)*p(2828)#+1p(2928)#*p(2045)+1
29p(1883)*p(2029)#+1p(1044)*p(2129)#+1p(1143)*p(2229)#+1p(1001)*p(2329)#-1p(890)*p(2429)#+1p(580)*p(2529)#+1p(145)*p(2629)#+1p(56)*p(2729)#+1p(182)*p(2829)#+1p(2929)#*p(1033)+1
30p(1698)*p(2030)#+1p(363)*p(2130)#+1p(111)*p(2230)#-1p(967)*p(2330)#+1p(566)*p(2430)#+1p(952)*p(2530)#+1p(89)*p(2630)#+1p(739)*p(2730)#-1p(1920)*p(2830)#+1p(2930)#*p(1931)+1
31p(850)*p(2031)#+1p(498)*p(2131)#+1p(71)*p(2231)#+1p(765)*p(2331)#+1p(948)*p(2431)#+1p(754)*p(2531)#+1p(441)*p(2631)#+1p(708)*p(2731)#-1p(2330)*p(2831)#+1p(2931)#*p(816)+1
32p(365)*p(2032)#+1p(2124)*p(2132)#+1p(906)*p(2232)#+1p(864)*p(2332)#+1p(419)*p(2432)#+1p(19)*p(2532)#-1p(72)*p(2632)#+1p(604)*p(2732)#+1p(2504)*p(2832)#-1p(2932)#*p(754)+1
33p(831)*p(2033)#+1p(634)*p(2133)#+1p(685)*p(2233)#+1p(959)*p(2333)#+1p(190)*p(2433)#+1p(719)*p(2533)#+1p(1711)*p(2633)#+1p(359)*p(2733)#+1p(577)*p(2833)#-1p(2933)#*p(954)+1
34p(494)*p(2034)#-1p(337)*p(2134)#+1p(568)*p(2234)#+1p(962)*p(2334)#+1p(185)*p(2434)#-1p(267)*p(2534)#+1p(143)*p(2634)#+1p(68)*p(2734)#+1p(1366)*p(2834)#+1p(2934)#*p(1745)+1
35p(167)*p(2035)#+1p(222)*p(2135)#+1p(736)*p(2235)#-1p(584)*p(2335)#+1p(477)*p(2435)#+1p(925)*p(2535)#+1p(1855)*p(2635)#+1p(1738)*p(2735)#+1p(542)*p(2835)#+1p(2935)#*p(2377)-1
36p(1852)*p(2036)#+1p(714)*p(2136)#+1p(556)*p(2236)#+1p(405)*p(2336)#+1p(408)*p(2436)#+1p(181)*p(2536)#+1p(601)*p(2636)#+1p(858)*p(2736)#+1p(523)*p(2836)#+1p(2936)#*p(1253)+1
37p(1836)*p(2037)#+1p(250)*p(2137)#+1p(984)*p(2237)#+1p(607)*p(2337)#+1p(2147)*p(2437)#+1p(1014)*p(2537)#+1p(1610)*p(2637)#+1p(123)*p(2737)#+1p(1071)*p(2837)#+1p(2937)#*p(2243)+1
38p(313)*p(2038)#+1p(473)*p(2138)#+1p(11)*p(2238)#+1p(1390)*p(2338)#+1p(878)*p(2438)#+1p(303)*p(2538)#+1p(728)*p(2638)#+1p(93)*p(2738)#+1p(1069)*p(2838)#+1p(2938)#*p(604)+1
39p(626)*p(2039)#+1p(1912)*p(2139)#+1p(457)*p(2239)#-1p(1285)*p(2339)#+1p(877)*p(2439)#+1p(2435)*p(2539)#+1p(1756)*p(2639)#+1p(778)*p(2739)#+1p(63)*p(2839)#+1p(2939)#*p(2319)+1
40p(14)*p(2040)#+1p(1206)*p(2140)#+1p(1593)*p(2240)#+1p(473)*p(2340)#-1p(465)*p(2440)#+1p(90)*p(2540)#+1p(1730)*p(2640)#+1p(1672)*p(2740)#+1p(2137)*p(2840)#+1p(2940)#*p(207)-1
41p(876)*p(2041)#+1p(961)*p(2141)#+1p(530)*p(2241)#+1p(2038)*p(2341)#+1p(1376)*p(2441)#-1p(159)*p(2541)#+1p(1072)*p(2641)#+1p(1171)*p(2741)#+1p(1378)*p(2841)#+1p(2941)#*p(1494)+1
42p(314)*p(2042)#+1p(41)*p(2142)#+1p(1875)*p(2242)#+1p(376)*p(2342)#+1p(327)*p(2442)#+1p(2085)*p(2542)#+1p(1661)*p(2642)#+1p(1599)*p(2742)#+1p(284)*p(2842)#+1p(2942)#*p(1543)-1
43p(73)*p(2043)#+1p(582)*p(2143)#+1p(514)*p(2243)#+1p(929)*p(2343)#-1p(2217)*p(2443)#-1p(685)*p(2543)#+1p(1084)*p(2643)#+1p(61)*p(2743)#+1p(218)*p(2843)#-1p(2943)#*p(421)+1
44p(800)*p(2044)#+1p(947)*p(2144)#+1p(181)*p(2244)#-1p(2227)*p(2344)#+1p(640)*p(2444)#+1p(2013)*p(2544)#+1p(651)*p(2644)#+1p(38)*p(2744)#-1p(608)*p(2844)#+1p(2944)#*p(490)+1
45p(604)*p(2045)#+1p(741)*p(2145)#+1p(743)*p(2245)#+1p(408)*p(2345)#+1p(1401)*p(2445)#+1p(499)*p(2545)#+1p(1054)*p(2645)#+1p(2579)*p(2745)#+1p(596)*p(2845)#+1p(2945)#*p(1213)+1
46p(125)*p(2046)#+1p(1197)*p(2146)#+1p(1741)*p(2246)#+1p(751)*p(2346)#+1p(880)*p(2446)#+1p(980)*p(2546)#+1p(175)*p(2646)#+1p(222)*p(2746)#+1p(650)*p(2846)#-1p(2946)#*p(240)+1
47p(280)*p(2047)#+1p(1330)*p(2147)#+1p(566)*p(2247)#+1p(290)*p(2347)#+1p(282)*p(2447)#+1p(2253)*p(2547)#+1p(172)*p(2647)#+1p(1711)*p(2747)#+1p(614)*p(2847)#+1p(2947)#*p(451)+1
48p(746)*p(2048)#+1p(1222)*p(2148)#-1p(717)*p(2248)#+1p(966)*p(2348)#+1p(407)*p(2448)#+1p(834)*p(2548)#+1p(827)*p(2648)#+1p(313)*p(2748)#+1p(687)*p(2848)#+1p(2948)#*p(110)+1
49p(236)*p(2049)#-1p(243)*p(2149)#+1p(1011)*p(2249)#+1p(612)*p(2349)#-1p(747)*p(2449)#+1p(1922)*p(2549)#+1p(1156)*p(2649)#+1p(328)*p(2749)#+1p(338)*p(2849)#-1p(2949)#*p(2632)+1
50p(5)*p(2050)#+1p(356)*p(2150)#+1p(73)*p(2250)#+1p(509)*p(2350)#+1p(467)*p(2450)#+1p(1485)*p(2550)#+1p(924)*p(2650)#+1p(1351)*p(2750)#-1p(2440)*p(2850)#+1p(2950)#*p(624)+1
51p(136)*p(2051)#+1p(238)*p(2151)#+1p(462)*p(2251)#+1p(263)*p(2351)#+1p(628)*p(2451)#+1p(1022)*p(2551)#+1p(766)*p(2651)#+1p(308)*p(2751)#+1p(994)*p(2851)#+1p(2951)#*p(640)-1
52p(1597)*p(2052)#+1p(228)*p(2152)#-1p(641)*p(2252)#+1p(161)*p(2352)#-1p(342)*p(2452)#+1p(2472)*p(2552)#+1p(463)*p(2652)#+1p(743)*p(2752)#+1p(1486)*p(2852)#+1p(2952)#*p(409)+1
53p(416)*p(2053)#+1p(2153)#/p(1302)-1p(18)*p(2253)#-1p(8)*p(2353)#+1p(2040)*p(2453)#+1p(1795)*p(2553)#+1p(86)*p(2653)#+1p(1572)*p(2753)#+1p(46)*p(2853)#+1p(2953)#*p(1106)+1
54p(588)*p(2054)#+1p(282)*p(2154)#+1p(1331)*p(2254)#-1p(2224)*p(2354)#+1p(357)*p(2454)#+1p(1601)*p(2554)#+1p(2454)*p(2654)#-1p(1620)*p(2754)#+1p(1361)*p(2854)#+1p(2954)#*p(25)+1
55p(2014)*p(2055)#-1p(1035)*p(2155)#+1p(1506)*p(2255)#+1p(972)*p(2355)#-1p(257)*p(2455)#+1p(1320)*p(2555)#+1p(2174)*p(2655)#+1p(1992)*p(2755)#+1p(2593)*p(2855)#+1p(2955)#*p(2832)+1
56p(235)*p(2056)#+1p(315)*p(2156)#+1p(1380)*p(2256)#+1p(714)*p(2356)#+1p(198)*p(2456)#+1p(420)*p(2556)#+1p(1234)*p(2656)#+1p(291)*p(2756)#-1p(533)*p(2856)#-1p(2956)#*p(751)+1
57p(663)*p(2057)#+1p(358)*p(2157)#+1p(503)*p(2257)#+1p(1600)*p(2357)#+1p(602)*p(2457)#+1p(1752)*p(2557)#+1p(2609)*p(2657)#+1p(379)*p(2757)#+1p(1208)*p(2857)#+1p(2957)#*p(268)+1
58p(189)*p(2058)#+1p(206)*p(2158)#+1p(903)*p(2258)#+1p(709)*p(2358)#+1p(1277)*p(2458)#+1p(2424)*p(2558)#+1p(136)*p(2658)#+1p(1118)*p(2758)#+1p(40)*p(2858)#+1p(2958)#*p(242)+1
59p(542)*p(2059)#+1p(631)*p(2159)#-1p(930)*p(2259)#+1p(572)*p(2359)#+1p(2459)#/p(1511)-1p(1677)*p(2559)#+1p(1328)*p(2659)#+1p(162)*p(2759)#+1p(7)*p(2859)#+1p(2959)#*p(137)+1
60p(1849)*p(2060)#+1p(501)*p(2160)#+1p(660)*p(2260)#+1p(841)*p(2360)#+1p(15)*p(2460)#+1p(1229)*p(2560)#+1p(242)*p(2660)#+1p(437)*p(2760)#+1p(188)*p(2860)#+1p(2960)#*p(2098)+1
61p(703)*p(2061)#+1p(627)*p(2161)#+1p(1244)*p(2261)#+1p(390)*p(2361)#+1p(723)*p(2461)#+1p(19)*p(2561)#+1p(1772)*p(2661)#+1p(1659)*p(2761)#+1p(239)*p(2861)#+1p(2961)#*p(1703)+1
62p(232)*p(2062)#+1p(203)*p(2162)#+1p(1556)*p(2262)#+1p(335)*p(2362)#+1p(218)*p(2462)#+1p(501)*p(2562)#+1p(69)*p(2662)#+1p(1566)*p(2762)#+1p(59)*p(2862)#+1p(2962)#*p(2527)-1
63p(764)*p(2063)#+1p(303)*p(2163)#+1p(800)*p(2263)#+1p(608)*p(2363)#-1p(2088)*p(2463)#+1p(2563)#/p(486)+1p(2079)*p(2663)#+1p(1207)*p(2763)#+1p(2139)*p(2863)#+1p(2963)#*p(1529)+1
64p(809)*p(2064)#+1p(146)*p(2164)#+1p(898)*p(2264)#+1p(458)*p(2364)#+1p(630)*p(2464)#-1p(2564)#/p(997)+1p(1533)*p(2664)#-1p(347)*p(2764)#+1p(1052)*p(2864)#+1p(2964)#*p(1454)+1
65p(465)*p(2065)#+1p(631)*p(2165)#+1p(1038)*p(2265)#+1p(1694)*p(2365)#+1p(149)*p(2465)#-1p(298)*p(2565)#+1p(1066)*p(2665)#+1p(763)*p(2765)#+1p(676)*p(2865)#+1p(2965)#*p(2827)+1
66p(1617)*p(2066)#+1p(775)*p(2166)#+1p(20)*p(2266)#+1p(704)*p(2366)#+1p(900)*p(2466)#+1p(391)*p(2566)#+1p(1428)*p(2666)#+1p(1919)*p(2766)#-1p(586)*p(2866)#+1p(2966)#*p(288)+1
67p(1500)*p(2067)#+1p(492)*p(2167)#+1p(433)*p(2267)#+1p(226)*p(2367)#+1p(1436)*p(2467)#+1p(1208)*p(2567)#+1p(2631)*p(2667)#+1p(1158)*p(2767)#+1p(577)*p(2867)#-1p(2967)#*p(425)+1
68p(481)*p(2068)#+1p(338)*p(2168)#+1p(601)*p(2268)#-1p(476)*p(2368)#+1p(1233)*p(2468)#+1p(434)*p(2568)#+1p(1641)*p(2668)#+1p(1544)*p(2768)#-1p(164)*p(2868)#+1p(2968)#*p(644)+1
69p(2033)*p(2069)#-1p(937)*p(2169)#+1p(411)*p(2269)#+1p(945)*p(2369)#+1p(154)*p(2469)#+1p(336)*p(2569)#+1p(2182)*p(2669)#+1p(165)*p(2769)#+1p(2746)*p(2869)#-1p(2969)#*p(150)+1
70p(1491)*p(2070)#+1p(307)*p(2170)#+1p(864)*p(2270)#-1p(495)*p(2370)#-1p(770)*p(2470)#+1p(588)*p(2570)#+1p(2204)*p(2670)#+1p(1647)*p(2770)#+1p(2229)*p(2870)#+1p(2970)#*p(449)-1
71p(492)*p(2071)#+1p(2052)*p(2171)#+1p(124)*p(2271)#+1p(2371)#/p(640)+1p(1067)*p(2471)#+1p(549)*p(2571)#+1p(862)*p(2671)#+1p(1079)*p(2771)#+1p(801)*p(2871)#+1p(2971)#*p(218)+1
72p(1206)*p(2072)#+1p(602)*p(2172)#+1p(25)*p(2272)#+1p(1159)*p(2372)#+1p(2472)#/p(839)+1p(1088)*p(2572)#+1p(516)*p(2672)#+1p(2772)#/p(772)+1p(2596)*p(2872)#-1p(2972)#*p(1730)+1
73p(481)*p(2073)#+1p(242)*p(2173)#+1p(2273)#/p(28)+1p(11)*p(2373)#+1p(320)*p(2473)#+1p(656)*p(2573)#+1p(844)*p(2673)#+1p(1696)*p(2773)#+1p(825)*p(2873)#+1p(2973)#*p(1828)+1
74p(201)*p(2074)#-1p(318)*p(2174)#+1p(163)*p(2274)#+1p(1011)*p(2374)#-1p(844)*p(2474)#+1p(2388)*p(2574)#+1p(552)*p(2674)#+1p(2129)*p(2774)#+1p(849)*p(2874)#+1p(2974)#*p(1068)+1
75p(1001)*p(2075)#+1p(663)*p(2175)#+1p(310)*p(2275)#+1p(1021)*p(2375)#+1p(1424)*p(2475)#+1p(697)*p(2575)#+1p(1177)*p(2675)#+1p(2775)#/p(1807)+1p(494)*p(2875)#+1p(2975)#*p(1580)-1
76p(1595)*p(2076)#+1p(1506)*p(2176)#+1p(162)*p(2276)#+1p(266)*p(2376)#+1p(481)*p(2476)#+1p(203)*p(2576)#-1p(359)*p(2676)#+1p(920)*p(2776)#-1p(2399)*p(2876)#+1p(2976)#*p(285)+1
77p(524)*p(2077)#-1p(1154)*p(2177)#+1p(141)*p(2277)#+1p(1507)*p(2377)#+1p(1644)*p(2477)#-1p(41)*p(2577)#+1p(255)*p(2677)#+1p(1569)*p(2777)#+1p(27)*p(2877)#+1p(2977)#*p(372)+1
78p(63)*p(2078)#+1p(1141)*p(2178)#+1p(707)*p(2278)#+1p(1119)*p(2378)#-1p(187)*p(2478)#+1p(426)*p(2578)#+1p(926)*p(2678)#+1p(970)*p(2778)#+1p(1860)*p(2878)#+1p(2978)#*p(1126)+1
79p(1191)*p(2079)#+1p(12)*p(2179)#+1p(1379)*p(2279)#+1p(1262)*p(2379)#+1p(799)*p(2479)#+1p(913)*p(2579)#+1p(670)*p(2679)#+1p(43)*p(2779)#-1p(2701)*p(2879)#+1p(2979)#*p(1775)+1
80p(670)*p(2080)#+1p(178)*p(2180)#+1p(109)*p(2280)#+1p(182)*p(2380)#+1p(972)*p(2480)#+1p(532)*p(2580)#+1p(1049)*p(2680)#+1p(1473)*p(2780)#+1p(19)*p(2880)#+1p(2980)#*p(2100)+1
81p(1308)*p(2081)#+1p(83)*p(2181)#+1p(942)*p(2281)#+1p(289)*p(2381)#+1p(1600)*p(2481)#+1p(713)*p(2581)#-1p(1644)*p(2681)#+1p(2231)*p(2781)#+1p(1709)*p(2881)#+1p(2981)#*p(385)+1
82p(1929)*p(2082)#-1p(1363)*p(2182)#+1p(262)*p(2282)#+1p(564)*p(2382)#+1p(206)*p(2482)#+1p(63)*p(2582)#+1p(634)*p(2682)#+1p(1146)*p(2782)#+1p(739)*p(2882)#+1p(2982)#*p(1908)-1
83p(1480)*p(2083)#+1p(1176)*p(2183)#+1p(2283)#/p(100)+1p(720)*p(2383)#-1p(1360)*p(2483)#+1p(51)*p(2583)#+1p(835)*p(2683)#+1p(593)*p(2783)#+1p(1881)*p(2883)#+1p(2983)#*p(1555)+1
84p(1041)*p(2084)#+1p(114)*p(2184)#+1p(1718)*p(2284)#+1p(825)*p(2384)#+1p(566)*p(2484)#-1p(1010)*p(2584)#+1p(406)*p(2684)#+1p(1993)*p(2784)#+1p(1519)*p(2884)#+1p(2984)#*p(233)+1
85p(897)*p(2085)#+1p(408)*p(2185)#+1p(1598)*p(2285)#+1p(863)*p(2385)#+1p(54)*p(2485)#+1p(683)*p(2585)#+1p(1776)*p(2685)#+1p(71)*p(2785)#+1p(1692)*p(2885)#+1p(2985)#*p(1007)+1
86p(252)*p(2086)#+1p(316)*p(2186)#+1p(117)*p(2286)#+1p(275)*p(2386)#+1p(545)*p(2486)#+1p(232)*p(2586)#+1p(277)*p(2686)#+1p(2014)*p(2786)#-1p(2279)*p(2886)#+1p(2986)#*p(65)+1
87p(21)*p(2087)#+1p(1504)*p(2187)#+1p(951)*p(2287)#+1p(151)*p(2387)#+1p(1419)*p(2487)#-1p(960)*p(2587)#+1p(796)*p(2687)#+1p(792)*p(2787)#+1p(2523)*p(2887)#+1p(2987)#*p(229)+1
88p(1013)*p(2088)#+1p(189)*p(2188)#+1p(32)*p(2288)#-1p(27)*p(2388)#+1p(2488)#/p(417)+1p(363)*p(2588)#+1p(560)*p(2688)#+1p(52)*p(2788)#+1p(820)*p(2888)#+1p(2988)#*p(452)+1
89p(604)*p(2089)#+1p(1110)*p(2189)#+1p(688)*p(2289)#+1p(624)*p(2389)#-1p(2115)*p(2489)#+1p(2589)#/p(841)-1p(871)*p(2689)#+1p(2433)*p(2789)#+1p(155)*p(2889)#+1p(2989)#*p(2089)+1
90p(249)*p(2090)#+1p(2009)*p(2190)#+1p(48)*p(2290)#+1p(1492)*p(2390)#+1p(216)*p(2490)#+1p(256)*p(2590)#+1p(832)*p(2690)#+1p(840)*p(2790)#+1p(1163)*p(2890)#-1p(2990)#*p(1436)+1
91p(502)*p(2091)#+1p(749)*p(2191)#+1p(808)*p(2291)#+1p(28)*p(2391)#+1p(175)*p(2491)#+1p(1268)*p(2591)#+1p(2095)*p(2691)#+1p(934)*p(2791)#+1p(819)*p(2891)#+1p(2991)#*p(638)+1
92p(1497)*p(2092)#+1p(456)*p(2192)#+1p(553)*p(2292)#+1p(157)*p(2392)#+1p(624)*p(2492)#+1p(113)*p(2592)#+1p(269)*p(2692)#-1p(771)*p(2792)#+1p(1027)*p(2892)#+1p(2992)#*p(977)+1
93p(154)*p(2093)#-1p(237)*p(2193)#+1p(687)*p(2293)#+1p(787)*p(2393)#+1p(692)*p(2493)#+1p(907)*p(2593)#+1p(128)*p(2693)#+1p(1426)*p(2793)#+1p(1263)*p(2893)#+1p(2993)#*p(181)+1
94p(533)*p(2094)#+1p(126)*p(2194)#-1p(370)*p(2294)#+1p(2098)*p(2394)#+1p(1771)*p(2494)#+1p(589)*p(2594)#+1p(1647)*p(2694)#+1p(1039)*p(2794)#+1p(699)*p(2894)#+1p(2994)#*p(246)+1
95p(79)*p(2095)#+1p(6)*p(2195)#+1p(109)*p(2295)#+1p(1037)*p(2395)#+1p(1491)*p(2495)#+1p(1916)*p(2595)#+1p(1464)*p(2695)#+1p(50)*p(2795)#+1p(701)*p(2895)#+1p(2995)#*p(457)+1
96p(522)*p(2096)#-1p(1088)*p(2196)#+1p(35)*p(2296)#+1p(1575)*p(2396)#+1p(16)*p(2496)#+1p(114)*p(2596)#-1p(1030)*p(2696)#+1p(179)*p(2796)#+1p(21)*p(2896)#+1p(2996)#*p(66)+1
97p(546)*p(2097)#+1p(407)*p(2197)#+1p(189)*p(2297)#+1p(1499)*p(2397)#+1p(1584)*p(2497)#+1p(508)*p(2597)#-1p(1776)*p(2697)#+1p(1255)*p(2797)#+1p(1100)*p(2897)#+1p(2997)#*p(1596)-1
98p(852)*p(2098)#+1p(460)*p(2198)#+1p(130)*p(2298)#+1p(1273)*p(2398)#+1p(2498)#/p(88)+1p(53)*p(2598)#+1p(1816)*p(2698)#+1p(1433)*p(2798)#+1p(186)*p(2898)#+1p(2998)#*p(556)+1
99p(894)*p(2099)#+1p(432)*p(2199)#+1p(1666)*p(2299)#+1p(126)*p(2399)#+1p(1112)*p(2499)#+1p(396)*p(2599)#+1p(914)*p(2699)#+1p(1938)*p(2799)#+1p(1402)*p(2899)#+1p(2999)#*p(121)+1

3000310032003300340035003600370038003900
0p(3000)#/p(153)+1p(3100)#*p(44)+1p(3200)#*p(31)+1p(3300)#*p(298)+1p(3400)#*p(1186)+1p(3500)#*p(281)-1p(3600)#/p(1115)-1p(3700)#/p(98)-1p(3800)#*p(15)+1p(3900)#/p(118)+1
1p(3001)#/p(2513)+1p(3101)#*p(84)+1p(3201)#*p(736)+1p(3301)#*p(232)+1p(3401)#*p(687)-1p(3501)#*p(128)-1p(3601)#/p(227)+1p(3701)#/p(338)-1p(3801)#/p(9)-1p(3901)#/p(3462)+1
2p(3002)#*p(396)+1p(3102)#*p(835)+1p(3202)#/p(467)+1p(3302)#*p(263)-1p(3402)#*p(288)-1p(3502)#*p(706)-1p(3602)#/p(81)+1p(3702)#/p(1873)-1p(3802)#/p(3435)+1p(3902)#/p(3021)+1
3p(3003)#*p(399)+1p(3103)#*p(219)-1p(3203)#*p(340)+1p(3303)#*p(1541)-1p(3403)#*p(262)+1p(3503)#*p(1168)-1p(3603)#/p(809)-1p(3703)#/p(97)-1p(3803)#/p(843)-1p(3903)#/p(139)-1
4p(3004)#*p(277)+1p(3104)#*p(26)+1p(3204)#*p(34)+1p(3304)#*p(2577)+1p(3404)#*p(122)-1p(3504)#*p(706)-1p(3604)#/p(455)+1p(3704)#/p(449)+1p(3804)#/p(837)-1p(3904)#/p(416)+1
5p(3005)#*p(910)+1p(3105)#*p(481)+1p(3205)#/p(341)-1p(3305)#*p(253)-1p(3405)#*p(40)-1p(3505)#*p(127)+1p(3605)#/p(1767)-1p(3705)#/p(1693)-1p(3805)#/p(1388)-1p(3905)#/p(646)+1
6p(3006)#*p(626)+1p(3106)#*p(653)+1p(3206)#*p(469)+1p(3306)#*p(336)-1p(3406)#*p(212)-1p(3506)#*p(32)-1p(3606)#/p(533)+1p(3706)#/p(1597)-1p(3806)#/p(152)+1p(3906)#/p(485)+1
7p(3007)#*p(280)+1p(3107)#*p(145)-1p(3207)#*p(64)-1p(3307)#*p(599)-1p(3407)#*p(403)+1p(3507)#*p(280)+1p(3607)#/p(1488)-1p(3707)*p(2507)-1p(3807)#/p(306)-1p(3907)#/p(618)-1
8p(3008)#*p(292)+1p(3108)#*p(871)-1p(3208)#*p(752)+1p(3308)#*p(329)+1p(3408)#*p(85)-1p(3508)#*p(419)+1p(3608)#/p(1595)-1p(3708)#/p(510)+1p(3808)#/p(339)+1p(3908)#/p(1411)+1
9p(3009)#*p(1021)+1p(3109)#*p(38)-1p(3209)#*p(17)-1p(3309)#*p(932)+1p(3409)#*p(1451)-1p(3509)#*p(1101)-1p(3609)#/p(1440)-1p(3709)#/p(1253)+1p(3809)#/p(1918)-1p(3909)#/p(235)+1
10p(3010)#*p(705)-1p(3110)#*p(1991)+1p(3210)#*p(1399)-1p(3310)#*p(276)+1p(3410)#*p(35)+1p(3510)#*p(2130)+1p(3610)#/p(1478)+1p(3710)#/p(888)+1p(3810)#/p(977)-1p(3910)#/p(121)+1
11p(3011)#*p(1287)+1p(3111)#/p(2792)+1p(3211)#*p(26)-1p(3311)#*p(3096)-1p(3411)#*p(332)-1p(3511)#*p(154)-1p(3611)#/p(817)+1p(3711)#/p(1980)-1p(3811)#*p(60)+1p(3911)#/p(121)+1
12p(3012)#*p(673)-1p(3112)#*p(294)-1p(3212)#*p(825)-1p(3312)#*p(1380)-1p(3412)#*p(892)-1p(3512)#*p(29)-1p(3612)#/p(1592)-1p(3712)#/p(1714)+1p(3812)#/p(1697)-1p(3912)#/p(819)-1
13p(3013)#*p(140)+1p(3113)#*p(328)-1p(3213)#*p(1808)+1p(3313)#*p(1249)-1p(3413)#*p(3298)-1p(3513)#*p(419)-1p(3613)#/p(165)+1p(3713)#/p(204)+1p(3813)#/p(2625)-1p(3913)#/p(183)+1
14p(3014)#*p(39)-1p(3114)#*p(589)+1p(3214)#*p(120)+1p(3314)#*p(566)+1p(3414)#*p(317)+1p(3514)#*p(71)-1p(3614)#/P(1587)-1p(3714)#/p(171)+1p(3814)#/p(1369)+1p(3914)#/p(2204)-1
15p(3015)#*p(720)-1p(3115)#*p(2771)-1p(3215)#*p(1194)+1p(3315)#*p(659)+1p(3415)#*p(1436)-1p(3515)#*p(1052)-1p(3615)#/p(953)+1p(3715)#/p(1161)+1p(3815)#/p(1006)+1p(3915)#/p(706)+1
16p(3016)#*p(304)-1p(3116)#*p(11)-1;p(3216)#*p(375)+1p(3316)#*p(449)+1p(3416)#*p(1104)-1p(3516)#*p(813)-1p(3616)#/p(128)+1p(3716)#/p(175)+1p(3816)#/p(42)-1p(3916)#/p(306)+1
17p(3017)#*p(70)-1p(3117)#*p(1652)-1p(3217)#*p(2784)+1p(3317)#*p(1102)-1p(3417)#*p(127)-1p(3517)#*p(912)-1p(3617)#/p(70)+1p(3717)#/p(1389)+1p(3817)#/p(513)+1 p(3917)#/p(290)-1
18p(3018)#*p(1795)+1p(3118)#*p(383)-1p(3218)#*p(431)+1p(3318)#*p(187)+1p(3418)#*p(1558)+1p(3518)#*p(1734)-1p(3618)#/p(172)-1p(3718)#/p(296)+1p(3818)#/p(130)+1p(3918)#/p(249)-1
19p(3019)#*p(405)+1p(3119)#*p(146)-1p(3219)#*p(378)+1p(3319)#*p(399)+1p(3419)#*p(692)-1p(3519)#*p(113)+1p(3619)#/2054)-1p(3719)#/p(973)-1p(3819)#/p(1536)+1p(3919)#/p(99)-1
20p(3020)#*p(1696)-1p(3120)#*p(834)+1p(3220)#/p(2458)-1p(3320)#*p(465)-1p(3420)#*p(443)+1p(3520)#*p(226)-1p(3620)#*p(3620)-1p(3720)#/p(198)-1p(3820)#/p(2005)-1p(3920)#/p(1937)-1
21p(3021)#*p(2253)-1p(3121)#*p(972)-1p(3221)#*p(382)-1p(3321)#*p(89)+1p(3421)#*p(273)+1p(3521)#*p(2014)-1p(3621)#/p279)-1p(3721)#/p(967)+1p(3821)#/p(1220)+1p(3921)#/p(622)-1
22p(3022)#*p(997)+1p(3122)#*p(993)+1p(3222)#*p(93)+1p(3322)#/p(517)-1p(3422)#*p(239)-1p(3522)#*p(2471)+1p(3622)#/p(587)+1p(3722)#/p(3622)+1p(3822)#/p(147)-1p(3922)#/p(1309)-1
23p(3023)#*p(387)+1p(3123)#*p(23)+1p(3223)#*p(186)+1p(3323)#*p(1682)-1p(3423)#*p(262)-1p(3523)#*p(265)-1p(3623)#/p(259)-1p(3723)#/p(675)-1p(3823)#/p(949)-1p(3923)#*p(1938)-1
24p(3024)#*p(317)+1p(3124)#*p(388)-1p(3224)#*p(615)+1p(3324)#*p(319)+1p(3424)#*p(209)+1p(3524)#*p(22)+1p(3624)#/p(342)-1p(3724)#/p(967)+1p(3824)#/p(339)+1p(3924)#/p(272)-1
25p(3025)#*p(399)-1p(3125)#*p(1119)+1p(3225)#*p(1590)+p(3325)#*p(60)+1p(3425)#*p(1674)+1;p(3525)#*p(1280)-1p(3625)#/p(1587)+1p(3725)#/p(361)-1p(3825)#/p(2178)-1p(3925)#/p(734)-1
26p(3026)#*p(39)-1p(3126)#*p(175)+1p(3226)#*p(130)+1p(3326)#*p(214)-1p(3426)#*p(68)-1p(3526)#*p(872)+1p(3626)#/p(500)+1p(3726)#/p(150)+1p(3826)#/p(3613)+1p(3926)#/p(382)+1
27p(3027)#*p(609)-1p(3127)#*p(360)+1p(3227)#*p(77)+1p(3327)#*p(1876)-1p(3427)#*p(1243)+1p(3527)#*p(201)+1p(3627)#/p(117)+1p(3727)#/p(1369)-1p(3827)#/p(720)+1p(3927)#/p(1976)-1
28p(3028)#*p(280)-1p(3128)#*p(97)-1p(3228)#/p(23)-1p(3328)#*p(247)-1p(3428)#*p(158)-1p(3528)#*p(662)+1p(3628)#/p(2385)+1p(3728)#/p(647)-1p(3828)#/p(522)+1p(3928)#/p(1855)+1
29p(3029)#*p(609)-1p(3129)#*p(1176)+1p(3229)#/p(1021)-1p(3329)#*p(1626)-1p(3429)#*p(494)-1p(3529)#*p(37)+1p(3629)#/p(1363)-1p(3729)#/p(1074)-1P(3829)#/p(1194)-1p(3929)#/p(28)+1
30p(3030)#*p(50)+1p(3130)#*p(261)-1p(3230)#*p(1505)-1p(3330)#*p(803)-1p(3430)#*p(2263)-1p(3530)#*p(46)+1p(3630)#/p(173)+1p(3730)#/p(1355)+1p(3830)#/p(1446)-1p(3930)#/p(993)-1
31p(3031)#*p(294)-1p(3131)#*p(82)+1p(3231)#*p(11)+1p(3331)#*p(845)-1p(3431)#*p(58)-1p(3531)#*p(664)-1p(3631)#/p(760)+1p(3731)#/p(1442)+1p(3831)#/p(2044)-1p(3931)#/p(182)-1
32p(3032)#*p(966)+1p(3132)#*p(141)+1p(3232)#*p(1051)+1p(3332)#*p(233)+1p(3432)#*p(2250)-1p(3532)#*p(44)-1p(3632)#/p(58)+1p(3732)*p(746)+1p(3832)#/p(709)+1p(3932)#/p(1026)+1
33p(3033)#*p(32)+1p(3133)#*p(928)-1p(3233)#*p(61)+1p(3333)#*p(168)-1p(3433)#*p(2152)-1p(3533)#*p(207)+1p(3633)#/p(581)+1p(3733)#/p(276)+1p(3833)#/p(82)+1p(3933)#/p(449)-1
34p(3034)#*p(375)-1p(3134)#*p(101)+1p(3234)#*p(616)-1p(3334)#*p(491)+1p(3434)#*p(215)+1p(3534)#*p(1708)+1p(3634)#/p(1067)+1p(3734)#/p(434)-1p(3834)#/p(3318)+1p(3934)#/p(915)+1
35p(3035)#*p(1274)+1p(3135)#*p(1200)-1;p(3235)#*p(57)-1p(3335)#*p(472)-1p(3435)#*p(1632)+1p(3535)#*p(1)+1p(3635)#/p(1985)+1p(3735)#/p(501)+1p(3835)#/p(649)+1p(3935)#/p(2787)-1
36p(3036)#*p(1054)+1p(3136)#*p(217)+1p(3236)#*p(1038)-1p(3336)#*p(106)+1p(3436)#*p(793)+1p(3536)#*p(717)-1p(3636)#/p(102)+1p(3736)#/p(2319)+1p(3836)#/p(137)+1p(3936)#/p(2008)+1
37p(3037)#*p(317)+1p(3137)#*p(852)+1p(3237)#*p(378)-1p(3337)#*p(360)-1p(3437)#*p(1240)-1p(3537)#*p(1077)+1p(3637)#/p(1560)-1p(3737)#/p(632)+1p(3837)#/p(77)-1p(3937)#/p(391)+1
38p(3038)#*p(303)+1p(3138)#*p(808)-1p(3238)#*p(8)+1p(3338)#*p(553)+1p(3438)#*p(2165)+1p(3538)#*p(154)+1p(3638)#/p(175)+1p(3738)#/p(1375)+1p(3838)#/p(2311)+1p(3938)#/p(9)+1
39p(3039)#*p(25)-1p(3139)#*p(659)+1p(3239)#*p(1491)+1p(3339)#*p(712)+1p(3439)#*p(530)+1p(3539)#*p(1894)-1p(3639)#/p(201)+1p(3739)#/p(439)-1p(3839)#/p(792)-1p(3939)#/p(304)+1
40p(3040)#*p(977)+1p(3140)#*p(1204)+1p(3240)#*p(880)-1p(3340)#*p(478)-1p(3440)#*p(624)+1p(3540)#*p(67)-1p(3640)#/p(614)+1p(3740)#/p(45)-1p(3840)#/p(987)-1p(3940)#/p(565)+1
41p(3041)#*p(610)+1p(3141)#*p(526)+1p(3241)#*p(666)-1p(3341)#*p(14)-1;p(3441)#*p(537)-1p(3541)#*p(383)+1p(3641)#/p(43)-1p(3741)#/p(1443)+1p(3841)#/p(150)+1p(3941)#/p(1111)+1
42p(3042)#*p(34)-1p(3142)#*p(2011)-1p(3242)#*p(785)+1p(3342)#*p(235)-1p(3442)#*p(86)-1p(3542)#*p(3186)+1p(3642)#/p(2)+1p(3742(#/p(813)+1p(3842)#/p(444)-1p(3942)#/p(1235)+1
43p(3043)#*p(749)-1p(3143)#*p(571)+1p(3243)#*p(164)+1p(3343)#*p(779)-1p(3443)#*p(600)-1p(3543)#*p(816)+1p(3643)#/p(1506)+1p(3743)#/p(246)+1p(3843)#/p(421)+1p(3943)#/p(2734)-1
44p(3044)#*p(642)+1p(3144)#*p(265)+1p(3244)#*p(1985)+1p(3344)#*p(16)-1p(3444)#*p(289)+1p(3544)#*p(384)-1p(3644)#/p(86)-1p(3744)#/p(2668)+1p(3844)#/p(386)+1p(3944)#/p(1917)-1
45p(3045)#*p(47)+1p(3145)#*p(583)+1p(3245)#*p(466)+1p(3345)#*p(1519)+1p(3445)#*p(30)+1p(3545)#*p(1148)-1p(3645)#/p(457)+1p(3745)#/p(412)+1p(3845)#/p(97)-1p(3945)#/p(536)+1
46p(3046)#*p(1054)-1p(3146)#*p(1659)-1p(3246)#*p(271)+1p(3346)#/p(1800)-1p(3446)#*p(221)+1p(3546)#*p(376)+1p(3646)#/p(165)+1p(3746)#/p(925)-1p(3846)#/p(2571)+1p(3946)#/p(806)+1
47p(3047)#*p(214)-1p(3147)#*p(527)-1p(3247)#*p(762)-1p(3347)#*p(989)+1p(3447)#*p(2833)+1p(3547)#*p(1516)-1p(3647)#/p(99)-1p(3747)#/p(649)-1p(3847)#/p(186)+1p(3947)#/p(61)+1
48p(3048)#*p(492)+1p(3148)#*p(395)+1p(3248)#*p(432)-1p(3348)#*p(101)-1p(3448)#*p(723)-1p(3548)#*p(860)-1p(3648)#/p(2346)+1p(3748)#/p(1735)-1p(3848)#/p(629)+1p(3948)#/p(495)+1
49p(3049)#*p(1286)+1p(3149)#*p(1517)+p(3249)#*p(635)+1p(3349)#*p(93)-1p(3449)#*p(287)-1p(3549)#*p(1964)+1p(3649)#/p(154)+1p(3749)#/p(31)+1p(3849)#/p(1201)-1p(3949)#/p(41)-1
50p(3050)#*p(372)-1p(3150)#*p(266)+1p(3250)#*p(1260)+1p(3350)#*p(227)-1p(3450)#*p(225)+1p(3550)#*p(1427)+1p(3650)#/p(245)+1p(3750)#/p(272)-1p(3850)#/p(977)-1p(3950)#/p(503)-1
51p(3051)#*p(685)+1p(3151)#*p(466)-1p(3251)#*p(677)+1p(3351)#*p(627)-1p(3451)#*p(1778)-1p(3551)#*p(1864)+1p(3651)#/p(506)+1p(3751)#/p(44)+1p(3851)#/p(189)+1p(3951)#/p(2354)-1
52p(3052)#*p(276)+1p(3152)#*p(395)+1p(3252)#*p(2252)-1p(3352)#*p(457)-1p(3452)#*p(226)+1p(3552)#*p(625)-1p(3652)#/p(423)-1p(3752)#/p(2221)-1p(3852)#/p(310)+1p(3952)#/p(243)+1
53p(3053)#/p(1587)+1p(3153)#*p(408)+1p(3253)#*p(1792)-1p(3353)#*p(432)+1p(3453)#*p(1701)+1p(3553)#*p(1690)-1p(3653)#/p(887)+1p(3753)#/p(377)-1p(3853)#/p(1204)+1p(3953)#/p(234)-1
54p(3054)#*p(1736)-1p(3154)#*p(451)-p(3254)#*p(163)+1p(3354)#*p(291)+1p(3454)#*p(1703)-1p(3554)#*p(861)+1p(3654)#/p(1978)+1p(3754)#/p(895)-1p(3854)#/p(247)+1p(3954)#/p(2693)+1
55p(3055)#*p(76)+1p(3155)#*p(424)-1p(3255)#*p(888)+1p(3355)#*p(21)+1p(3455)#*p(1196)-1p(3555)#*p(38)+1p(3655)#/p(67)+1p(3755)#/p(233)+1p(3855)#/p(66)-1p(3955)#/p(169)-1
56p(3056)#*p(1317)-1p(3156)#*p(35)+1p(3256)#*p(185)-1p(3356)#*p(1080)+1p(3456)#*p(737)-1p(3556)#*p(1103)-1p(3656)#/p(728)+1p(3756)#/p(1680)+1p(3856)#/p(706)+1p(3956)#/p(1599)+1
57p(3057)#*p(221)-1p(3157)#*p(280)+1p(3257)#*p(654)-1p(3357)#*p(504)+1p(3457)#*p(266)+1p(3557)#*p(826)-1p(3657)#/p(795)+1p(3757)/p(96)+1p(3857)#/p(247)-1p(3957)#/p(1302)+1
58p(3058)#*p(1786)+1p(3158)#*p(656)-1p(3258)#*p(1371)-1p(3358)#*p(1308)-1p(3458)#*p(689)-1p(3558)#*p(71)-1p(3658)#/p(1267)+1p(3758)#/p(310)-1p(3858)#/p(572)+1p(3958)#/p(476)+1
59p(3059)#*p(405)+1p(3159)#*p(131)-1p(3259)#*p(739)-1p(3359)#*p(392)-1p(3459)#*p(1015)-1p(3559)#*p(476)+1p(3659)#/p(128)-1p(3759)#/p(354)+1p(3859)#/p(1199)+1p(3959)#/p(549)+1
60p(3060)/p(1403)+1p(3160)#*p(85)+1p(3260)#*p(586)+1;p(3360)#*p(2226)-1p(3460)#*p(380)-1p(3560)#*p(9)-1p(3660)#/p(808)-1p(3760)#/p(1156)+1p(3860)#/p(1294)-1p(3960)#/p(66)+1
61p(3061)#*p(461)-1p(3161)#*p(800)-1p(3261)#*p(1291)+1p(3361)#*p(1092)+1p(3461)#*p(63)+1p(3561)#*p(167)+1p(3661)#/p(3034)+1p(3761)#/p(1884)+1P(3861)#/p(4)+1p(3961)#/p(353)-1
62p(3062)#*p(283)-1p(3162)#*p(942)+1p(3262)#*p(760)-1p(3362)#*p(1105)+1p(3462)#*p(12)+1p(3562)#*p(507)+1p(3662)#/p(497)-1p(3762)#/p(784)+1p(3862)#/p(986)-1p(3962)#/p(152)-1
63p(3063)#*p(375)-1p(3163)#*p(110)+1p(3263)#*p(519)-1p(3363)#*p(758)-1p(3463)#*p(728)+1p(3563)#*p(591)-1p(3663)#/p(150)+1p(3763)#/p(700)+1p(3863)#/p(928)-1p(3963)#/p(177)+1
64p(3064)#*p(60)-1p(3164)#*p(371)+1p(3264)#*p(150)+1p(3364)#*p(393)+1;p(3464)#*p(580)-1p(3564)#*p(410)+1p(3664)#/p(1803)+1p(3764)#/p(1197)+1p(3864)#/p(1854)+1p(3964)#/p(1811)+1
65p(3065)#*p(69)-1p(3165)#*p(967)+1p(3265)#*p(641)+1p(3365)#*p(653)+1p(3465)#*p(388)-1p(3565)#*p(1001)+1p(3665)#/p(394)-1p(3765)#/p(2265)-1p(3865)#/p(394)+1p(3965)#/p(735)+1
66p(3066)#*p(32)+1p(3166)#*p(534)+1p(3266)#*p(1019)-1p(3366)#*p(3332)+1p(3466)#*p(359)-1p(3566)#*p(1190)-1p(3666)#/p(102)+1p(3766)#/p(581)+1p(3866)#/p(25)+1p(3966)#/p(747)-1
67p(3067)#*p(728)-1p(3167)#*p(354)+1p(3267)#*p(2939)-1p(3367)#*p(249)-1p(3467)#*p(2029)-1p(3567)#*p(429)+1p(3667)#/p(330)+1p(3767)#/p(911)-1p(3867)#/p(1557)+1p(3967)#/p(136)-1
68p(3068)#*p(147)+1p(3168)#*p(283)-1p(3268)#*p(2044)-1p(3368)#*p(417)+1p(3468)#*p(604)+1p(3568)#*p(2488)+1p(3668)#/p(1200)-1p(3768)#/p(235)-1p(3868)#/p(194)+1p(3968)#/p(725)-1
69p(3069)#*p(1480)-1p(3169)#*p(2323)-1p(3269)#*p(788)-1p(3369)#*p(1002)-1p(3469)#*p(325)-1p(3569)#*p(423)+1p(3669)#/p(1105)-1p(3769)#/p(1612)-1p(3869)#/p(1030)+1p(3969)#/p(1508)+1
70p(3070)#*p(103)-1p(3170)#*p(385)-1;p(3270)#*p(909)-1p(3370)#*p(748)-1p(3470)#*p(446)-1p(3570)#*p(2604)+1p(3670)#/p(2277)-1p(3770)#/p(2036)+1p(3870)#/p(390)+1p(3970)#/p(1375)-1
71p(3071)#*p(372)+1p(3171)#*p(7)-1p(3271)#*p(253)-1p(3371)#*p(848)+1p(3471)#*p(359)+1;p(3571)#*p(616)+1p(3671)#/p(2199)+1p(3771)#/p(1201)-1p(3871)#/p(1536)-1p(3971)#/p(109)-1
72p(3072)#*p(1722)+1p(3172)#*p(1333)-1p(3272)#*p(54)+1p(3372)#*p(256)-1p(3472)#*p(397)+1p(3572)#*p(1538)+1p(3672)#/p(117)+1p(3772)#/p(674)-1p(3872)#/p(618)+1p(3972)#/p(571)+1
73p(3073)#*p(514)-1p(3173)#*p(287)+1p(3273)#*p(397)-1p(3373)#*p(269)+1p(3473)#*p(2120)-1p(3573)#/p(2141)+1p(3673)#/p(1320)-1p(3773)#p(578)-1p(3873)#/p(190)-1p(3973)#/p(433)+1
74p(3074)#/p(1352)+1p(3174)#*p(699)-1p(3274)#*p(1513)+1p(3374)#*p(2660)-1p(3474)#*p(979)+1p(3574)#*p(1075)-1p(3674)#/p(518)-1p(3774)#/p(216)+1p(3874)#/p(142)+1p(3974)#/p(1084)-1
75p(3075)#*p(205)-1p(3175)#*p(287)-1p(3275)#*p(948)+1p(3375)#*p(359)+1p(3475)#*p(55)+1p(3575)#/p(736)+1p(3675)#/p(1180)+1p(3775)#/p(54)-1p(3875)#/p(1027)+1p(3975)#/p(217)+1
76p(3076)#*p(155)+1p(3176)#*p(897)+1p(3276)#*p(185)-1p(3376)#*p(169)+1p(3476)#*p(495)+1p(3576)#/p(664)-1p(3676)#/p(1390)-1p(3776)#/p(192)-1p(3876)#/p(853)+1p(3976)#/p(96)+1
77p(3077)#*p(629)+1p(3177)#*p(27)+1p(3277)#*p(322)-1p(3377)#*p(222)-1p(3477)#*p(2393)-1p(3577)#/p(416)+1p(3677)#/p(1831)+1p(3777)#/p(217)+1p(3877)#/p(2808)-1p(3977)#/p(1042)+1
78p(3078)#*p(853)+1p(3178)#*p(2074)+1p(3278)#*p(62)+1;p(3378)#*p(56)+1p(3478)#*p(1309)-1p(3578)#/p(2008)-1p(3678)#/p(353)+1p(3778)#/p(1940)-1p(3878)#/p(1035)-1p(3978)#/p(69)+1
79p(3079)#*p(141)-1p(3179)#*p(199)+1p(3279)#*p(397)+1p(3379)#*p(1281)-1p(3479)#*p(300)-1p(3579)#/p(986)-1p(3679)#/p(2362)-1p(3779)#/p(636)-1p(3879)#/p(1786)-1p(3979)#/p(728)-1
80p(3080)#*p(198)+1p(3180)#*p(952)-1p(3280)#*p(1703)+1p(3380)#*p(2006)-1p(3480)#*p(742)-1p(3580)#*p(1028)-1p(3680)#/p(606)-1p(3780)#/p(3643)-1p(3880)#/p(1015)-1p(3980)#/p(925)+1
81p(3081)#*p(815)+1p(3181)#*p(692)-1p(3281)#*p(323)-1p(3381)#*p(678)-1p(3481)#*p(330)-1p(3581)#*p(547)-1p(3681)#/p(2397)-1p(3781)#/p(130)+1p(3881)#/p(167)-1p(3981)#/p(248)-1
82p(3082)#*p(1163)+1p(3182)#*p(548)+1p(3282)#*p(397)-1p(3382)#/p(1977)+1p(3482)#*p(2658)+1p(3582)#*p(374)+1p(3682)#/p(174)+1p(3782)#/p(664)-1p(3882)#/p(292)-1p(3982)#/p(1690)-1
83p(3083)#*p(529)+1p(3183)#*p(72)+1p(3283)#*p(1835)-1p(3383)#*p(109)+1p(3483)#*p(1367)+1p(3583)#*p(907)+1p(3683)#/p(761)-1p(3783)#/p(1593)+1p(3883)#/p(472)+1p(3983)#/p(1470)+1
84p(3084)#*p(101)+1p(3184)#*p(422)-1p(3284)#*p(1037)-1p(3384)#*p(413)+1p(3484)#*p(1673)-1p(3584)#*p(111)+1p(3684)#/p(345)+1p(3784)#/p(107)-1p(3884)#*p(670)+1p(3984)#/p(455)-1
85p(3085)#*p(894)+1p(3185)#*p(404)+1p(3285)#*p(121)+1p(3385)#*p(13)+1p(3485)#*p(189)+1p(3585)#*p(724)-1p(3685)#/p(190)+1p(3785)#/p(176)-1p(3885)#/p(33)+1p(3985)#/p(113)+1
86p(3086)#*p(905)-1p(3186)#*p(939)-1p(3286)#*p(717)-1p(3386)#*p(378)-1p(3486)#*p(414)-1p(3586)#*p(530)-1p(3686)#/p(131)-1p(3786)#/p(776)-1p(3886)#/p(347)+1p(3986)#/p(490)-1
87p(3087)#*p(94)+1p(3187)#*p(349)+1p(3287)#*p(1540)+1p(3387)#*p(91)+1p(3487)#*p(73)-1p(3587)#*p(1387)-1p(3687)#/p(774)+1p(3787)#/p(820)-1p(3887)#/p(161)-1p(3987)#/p(361)+1
88p(3088)#*p(1456)+1p(3188)#*p(1405)-1p(3288)#*p(370)+1p(3388)#*p(114)-1p(3488)#*p(953)+1p(3588)#*p(116)-1p(3688)#/p(425)-1p(3788)#/p(967)+1p(3888)#/p(767)-1p(3988)#/p(2657)+1
89p(3089)#*p(613)+1p(3189)#*p(1141)+1p(3289)#*p(393)+1p(3389)#*p(124)+1p(3489)#*p(1668)+1p(3589)#*p(2994)-1p(3689)#/p(755)+1p(3789)#/p(750)-1p(3889)#/p(553)-1p(3989)#/p(357)+1
90p(3090)#*p(251)-1p(3190)#*p(159)+1p(3290)#*p(90)+1p(3390)#*p(3390)+1p(3490)#*p(137)+1p(3590)#*p(216)+1p(3690)#/p(224)-1p(3790)#/p(492)+1p(3890)#/p(724)+1p(3990)#/p(937)+1
91p(3091)#*p(419)+1p(3191)#*p(1173)+1p(3291)#*p(215)+1p(3391)#*p(86)+1p(3491)#*p(492)+1p(3591)#*p(1943)+1p(3691)#*p(1358)-1p(3791)#/p(599)+1p(3891)#/p(1383)+1p(3991)#*p(1904)+1
92p(3092)#*p(1842)-1p(3192)#*p(277)-1p(3292)#*p(426)-1p(3392)#*p(60)-1p(3492)#*p(430)+1p(3592)#*p(102)-1p(3692)#/p(1244)+1p(3792)#/p(697)+1p(3892)#/p(86)+1p(3992)#*p(144)-1
93p(3093)#*p(717)+1p(3193)#*p(451)-1p(3293)#*p(514)-1p(3393)#*p(482)+1p(3493)#*p(871)-1p(3593)#*p(2)+1p(3693)#/p(593)-1p(3793)#/p(778)-1p(3893)#/p(1264)+1p(3993)#*p(651)-1
94p(3094)#*p(593)+1p(3194)#*p(248)-1p(3294)#*p(1085)-1;p(3394)#*p(491)+1p(3494)#*p(2168)+1p(3594)#*p(187)+1p(3694)#/p(745)+1p(3794)#/p(748)+1p(3894)#/p(3242)+1p(3994)#*p(193)-1
95p(3095)#*p(241)-1p(3195)#*p(833)+1p(3295)#*p(753)-1p(3395)#*p(1125)+1p(3495)#*p(688)+1p(3595)#*p(718)-1p(3695)#/p(306)-1p(3795)#/p(2234)-1p(3895)#/p(80)+1p(3995)#*p(1075)-1
96p(3096)#*p(1506)+1p(3196)#*p(475)-1p(3296)#*p(937)-1p(3396)#*p(221)-1p(3496)#*p(1173)-1p(3596)#*p(155)-1p(3696)#/p(943)-1p(3796)#/p(1176)-1p(3896)#/p(1836)-1p(3996)#*p(357)-1
97p(3097)#*p(635)-1p(3197)#*p(272)-1p(3297)#*p(1227)-1p(3397)#*p(264)-1p(3497)#*p(1390)-1p(3597)#*p(240)-1p(3697)#/p(153)+1p(3797)#/p(1113)+1p(3897)#/p(1542)-1p(3997)#*p(385)-1
98p(3098)#*p(443)-1p(3198)#*p(257)+1p(3298)#*p(1668)-1p(3398)#*p(426)-1p(3498)#*p(1392)-1p(3598)#*p(1535)-1p(3698)#/p(2291)-1p(3798)#/p(1145)-1p(3898)3/p(504)-1p(3998)#*p(340)-1
99p(3099)#*p(85)+1p(3199)#*p(323)+1p(3299)#*p(119)+1p(3399)#*p(134)-1p(3499)#*p(163)+1p(3599)#*p(1056)-1p(3699)#/p(255)-1p(3799)#/p(1038)+1p(3899)#/p(633)-1p(3999)#*p518)-1

4000410042004300440045004600470048004900
0p(210)*p(4000)#-1p(4100)#/p(615)+1p(4200)#/p(326)+1p(4300)#/p(2148)-1p(4400)#/p(776)-1p(4500)#/p(4057)-1p(4600)#*p(65)+1p(4700)#/p(2459)+1p(4800)#/p(436)+1p(4900)#/p(175)+1
1p(4001)#/p(3524)+1p(4101)#/p(55)+1p(4201)#/p(1073)+1p(4301)#/p(2223)-1p(4401)#/p(339)-1p(4501)#/p(1248)+1p(4601)#*p(2503)+1p(4701)#/P(814)-1p(4801)#/p(1063)-1p(4901)#/p(358)+1
2p(4002)#/p(3826)+1p(4102)#/p(1819)+1p(4202)#/p(171)+1p(4302)#/p(1607)-1p(4402)#/p(1767)+1p(4502)#/p(562)+1p(4602)#/p(1618)+1p(4702)#/p(1127)-1p(4802)#/p(1231)+1p(4902)#/p(175)-1
3p(4003)#/p(2406)+1p(4103)#/p(852)-1p(4203)#/p(698)-1p(4303)#/p(286)-1p(4403)#/p(662)-1p(4503)#/p(311)+1p(4603)#/p(659)+1p(4703)#/p(117)+1p(4803)#/p(588)+1p(4903)#/p(956)+1
4p(4004)#/p(2901)+1p(4104)#/p(819)+1p(4204)#/p(229)-1p(4304)#/p(651)+1p(4404)#/p(516)-1p(4504)#/p(1224)+1p(4604)#/p(1446)-1p(4704)#/p(393)+1p(4804)#/p(3551)-1p(4904)#/p(543)+1
5p(1460)*p(4005)#-1p(4105)#/p(1324)+1p(4205)#/p(410)+1p(4305)#/p(1011)+1p(4405)#/p(41)-1p(4505)#/p(1375)+1p(4605)#/p(471)-1p(4705)#/p(172)+1p(4805)#/p(32)-1p(4905)#/p(3199)+1
6p(4006)#/p(3720)+1p(4106)#/p(154)-1p(4206)#*p(880)+1p(4306)#/p(2628)+1p(4406)#/p(113)+1p(4506)#/p(1955)+1p(4606)/p(240)+1p(4706)#/p(2024)-1p(4806)#/p(860)+1p(4906)#/p(1737)+1
7p(4007)#/p(1225)+1p(4107)#/p(1796)-1p(4207)#/p(376)+1p(4307)#/p(646)+1p(4407)#/p(810)+1p(4507)#/p(1026)+1p(5)*p(4607)#-1p(4707)#/p(235)+1p(4807)#/p(3429)-1p(4907)#/p(202)+1
8p(4008)#/p(3)+1p(4108)#/p(57)-1p(4208)#/p(405)+1p(4308)#/p(198)+1p(4408)#/p(1854)+1p(4508)#/p(673)+1p(4608)#/p(93)+1p(4708)#/p(1566)-1p(4808)#/p(1616)-1p(4908)#/p(395)-1
9p(4009)#/p(706)+1p(4109)#/p(2076)-1p(4209)#/p(101)-1p(4309)#/p(1946)+1p(4409)#/p(72)-1p(4509)#/p(614)+1p(4609)#/p(361)-1p(4709)#/p(2233)+1p(4809)#/p(1551)+1p(4909)#/p(1583)+1
10p(4010)#/p(338)-1p(4110)#/p(2134)+1p(4210)#/p(960)-1p(4310)#/p(550)+1p(4410)#/p(802)+1p(4510)#/p(297)+1p(4610)#/p(27)+1p(4710)#/p(2037)+1p(4810)#/p(634)+1p(4910)#/p(623)-1
11p(4011)#/p(320)-1p(4111)#/p(616)+1p(4211)#/p(448)-1p(4311)#/p(1494)-1p(4411)#/p(1174)+1p(4511)#/p(330)+1p(4611)#/p(3595)-1p(4711)#/p(95)+1p(4811)#/p(588)+1p(4911)#/p(7)-1
12p(4012)#/p(73)+1p(4112)#/p(48)-1p(4212)#/p(642)-1p(4312)#/p(192)+1p(4412)#/p(15)-1p(4512)#/p(1364)+1p(4612)#/p(230)+1p(4712)/p(73)-1p(4812)#/p(207)+1p(4912)#/p(1109)-1
13p(4013)#/p(280)+1p(4113)#/p(95)+1p(4213)#/p(2292)-1p(4313)#/p(2243)+1p(4413)#/p(1525)-1p(4513)#/p(543)-1p(4613)#/p(1253)-1p(4713)#/p(439)-1p(4813)#/p(1550)-1p(4913)#/p(198)-1
14p(4014)#/p(4009)+1p(4114)#/p(875)-1p(4214)#/p(37)-1p(4314)#/p(101)-1p(4414)#/p(122)-1p(4514)#/p(554)+1p(4614)#/p(640)-1p(4714)#/p(29)+1p(4814)#/p(347)+1p(4914)#*p(175)-1
15p(4015)#/p(705)-1p(4115)#/p(2585)+1p(4215)#/p(735)-1p(4315)#/p(89)-1p(4415)#/p(2147)-1p(4515)#/p(39)-1p(4615)#/p(3733)+1p(4715)#/p(389)+1p(4815)#/p(2077)-1p(4915)#/p(1079)+1
16p(4016)#/p(965)-1p(4116)#/p(2350)+1p(4216)#/p(1134)+1p(4316)#/p(2210)-1p(4416)#/p(262)-1p(4516)#/p(75)-1p(4616)#/p(1158)+1p(4716)#/p(263)-1p(4816)#/p(929)+1p(4916)#/p(285)+1
17p(4017)#/p(1489)+1p(4117)#/p(233)-1p(4217)#/p(2214)+1p(4317)#/p(400)+1p(4417)#/p(1439)-1p(4517)#/p(2095)+1p(4617)#/p(1986)-1p(4717)#/p(1364)+1p(4817)#/p(722)-1p(4917)#/p(2070)+1
18p(4018)#/p(990)+1p(4118)#/p(2259)+1p(4218)#/p(589)-1p(4318)#/p(3272)+1p(4418)#/p(656)-1p(4518)#/p(355)-1p(4618)#/p(773)-1p(4718)#/p(1205)+1p(4818)#/p(296)+1p(4918)#/p(1492)-1
19p(4019)#/p(2924)+1p(4119)#/p(261)-1p(4219)#/p(270)-1p(4319)#/p(48)+1p(4419)#/p(879)+1p(4519)#/p(371)-1p(4619)#/p(972)+1p(4719)#/p(66)+1p(4819)#/p(586)-1p(4919)#/p(1071)-1
20p(4020)#/p(2824)+1p(4120)#/p(944)-1p(4220)#/p(69)-1p(4320)#/p(427)+1p(4420)#/p(815)-1p(4520)#/p(1043)-1p(4620)#/p(2014)+1p(4720)#/p(392)+1p(4820)#/p(841)-1p(4920)#/p(579)+1
21p(4021)#/p(763)-1p(4121)#/p(692)-1p(4221)#/p(593)+1p(4321)#*p(529)-1p(4421)#/p(1737)-1p(4521)#/p(498)-1p(4621)#/p(126)-1p(4721)#/p(790)+1p(4821)#/p(2080)+1p(4921)#/p(181)-1
22p(4022)#/p(283)+1p(4122)#/p(1028)+1p(4222)#/p(1820)-1p(4322)#/p(519)-1p(4422)#/p(2)+1p(4522)#/p(311)-1p(4622)#/p(1007)+1p(4722)#/p(47)+1p(4822)#/p(3000)-1p(4922)#/p(2182)+1
23p(4023)#/p(609)-1p(4123)#/p(3244)+1p(4223)#/p(358)-1p(4323)#/p(145)-1p(4423)#/p(1761)+1p(4523)#/p(917)+1p(1)*p(4623)#+1p(4723)#/p(1141)+1p(4823)#/p(139)+1p(4923)#/p(950)+1
24p(4024)#/p(112)-1p(4124)#/p(2214)+p(4224)#/p(2840)-1p(4324)#/p(387)-1p(4424)#/p(185)+1p(4524)#/p(1345)-1p(4624)#/p(2072)+1p(4724)#/p(924)+1p(4824)#/p(315)-1p(4924)#/p(2165)-1
25p(4025)#/p(418)+1p(4125)#/p(3)+1p(4225)#/p(2022)-1p(4325)#/p(159)-1p(4425)#/p(433)-1p(4525)#/p(434)-1p(4625)#/p(636)-1p(4725)#/p(148)-1p(4825)#/p(54)+1p(4925)#/p(1108)-1
26p(4026)#/p(2246)+1p(4126)#/p(1848)+1p(4226)#/p(592)+1p(4326)#/p(346)-1p(4426)#/p(351)-1p(4526)#/p(2013)-1p(4626)#/p(30)+1p(4726)#/p(290)-1p(4826)#/p(78)+1p(4926)#/p(262)+1
27p(4027)#/p(489)+1p(4127)#/p(1992)-1p(4227)#/p(1169)-1p(4327)#/p(417)+1p(4427)#/p(23)-1p(4527)#/p(367)+1p(4627)#/p(559)+1p(4727)#/p(420)-1p(4827)#/p(8)-1p(4927)#/p(108)+1
28p(4028)#/p(74)-1p(4128)#/p(949)-1p(4228)#/p(987)+1p(4328)#/p(598)+1p(4428)#/p(1491)-1p(4528)#/p(703)-1p(4628)#/p(546)-1p(4728)#/p(537)+1p(4828)#/p(1529)+1p(4928)#/p(854)-1
29p(4029)#/p(2481)-1p(4129)#/p(921)-1p(4229)#/p(218)-1p(4329)#*p(1003)-1p(4429)#/p(893)+1p(4529)#/p(1393)-1p(4629)#/p(668)+1p(4729)#/p(1132)-1p(4829)#/p(143)+1p(4929)#/p(42)-1
30p(4030)#/p(983)+1p(4130)#/p(1116)+1p(4230)#/p(415)+1p(4330)#/p(1172)-1p(4430)#/p(2240)-1p(4530)#/p(740)+1p(4630)#/p(220)+1p(4730)#/p(463)+1p(4830)#/p(334)+1p(4930)#/p(1232)-1
31p(4031)#/p(92)+1p(4131)#/p(304)-1p(4231)#/p(415)-1p(4331)#/p(1722)-1p(4431)#/p(776)-1p(4531)#/p(1444)-1p(4631)#/p(3206)-1p(4731)#/p(1475)-1p(4831)#/p(128)-1p(4931)#/p(98)-1
32p(4032)#/p(324)-1p(4132)#/p(261)-p(4232)#/p(266)-1p(4332)#/p(4)+1p(4432)#/p(21)-1p(4532)#/p(1320)+1p(4632)#/p(315)-1p(4732)#/p(157)+1p(4832)#/p(250)-1p(4932)#/p(1601)-1
33p(4033)#/p(707)+1p(4133)#/p(1704)+1p(4233)#/p(659)-1p(4333)#/p(1092)-1p(4433)#/p(21)+1p(4533)#/p(251)+1p(4633)#/p(301)+1p(4733)#/p(835)+1p(4833)#/p(602)+1p(4933)#/p(323)-1
34p(4034)#/p(137)+1p(4134)#/p(145)+1p(4234)#/p(442)+1p(4334)#/p(448)-1p(4434)#/p(3331)-1p(4534)#/p(1545)-1p(4634)#/p(2070)+1p(4734)#/p(842)+1p(4834)#/p((3077)-1p(4934)#/p(1934)-1
35p(4035)#/p(78)+1p(4135)#/p(604)-1p(4235)#/p(518)+1p(4335)#/p(829)-1p(4435)#/p(557)-1p(4535)#/p(768)-1p(4635)#/p(162)-1p(4735)#/p(537)+1p(4835)#/p(256)+1p(4935)#/p(326)+1
36p(4036)#/p(1090)-1p(4136)#/p(1555)+1p(4236)#/p(2099)+1p(4336)#/p(1545)-1p(4436)#/p(390)-1p(4536)#/p(33)-1p(4636)#/p(220)+1p(4736)#/p(628)+1p(4836)#/p(843)-1p(4936)#/p(591)-1
37p(4037)#/p(21)+1p(4137)#/p(1103)+1p(4237)#/p(3593)+1p(4337)#/p(527)-1p(4437)#/p(608)-1p(4537)#/p(1702)+1p(4637)#/p(822)+1p(4737)#/p(474)-1p(4837)#/p(489)+1p(4937)#/p(774)-1
38p(4038)#/p(191)+1p(4138)#/p(3205)-1p(4238)#/p(733)+1p(4338)#/p(1141)-1p(4438)#/p(19)+1p(4538)#/p(1088)-1p(4638)#/p(163)+1p(4738)#/p(1596)+1p(4838)#/p(522)-1p(4938)#/p(3254)-1
39p(4039)#/p(446)+1p(4139)#/p(1981)+1p(4239)#/p(823)-1p(4339)#/p(299)-1p(4439)#/p(332)+1p(4539)#/p(198)-1p(4639)#/p(224)-1p(4739)#/p(384)+1p(4839)#/p(1288)+1p(4939)#/p(135)+1
40p(4040)#/p(1669)-1p(4140)#/p(1596)-1p(4240)#/p(640)-1p(4340)#/p(229)+1p(4440)#/p(792)-1p(4540)#/p(28)-1p(4640)#/p(1870)-1p(4740)#/p(32)-1p(4840)#/p(381)-1p(4940)#/p(1343)+1
41p(4041)#/p(2632)-1p(4141)#/p(237)+1p(4241)#/p(394)+1p(4341)#/p(486)+1p(4441)#/p(1039)+1p(4541)#/p(340)-1p(4641)#/p(292)-1p(4741)#/p(101)+1p(4841)#/p(74)-1p(4941)#/p(76)-1
42p(4042)#/p(760)-1p(4142)#/p(1695)+1p(4242)#/p(249)-1p(4342)#/p(2013)-1p(4442)#/p(1951)+1p(4542)#/p(529)+1p(4642#/p(1038)-1p(4742)#/p(239)+1p(4842)#/p(1143)+1p(4942)#/p(1660)-1
43p(4043)#/p(2372)+1p(4143)#/p(868)-1p(4243)#/p(265)+1p(4343)#/p(2979)-1p(4443)#/p(328)+1p(4543)#/p(2754)+1p(4643)#/p(3412)+1p(4743)#/p(1186)-1p(4843)#/p(535)+1p(4943)#/p(2188)+1
44p(4044)#/p(495)-1p(4144)#/p(888)-1p(4244)#/p(233)+1p(4344)#/p(1352)-1p(4444)#/p(1758)+1p(4544)#/p(2395)-1p(4644)#/p(1170)-1p(4744)#/p(3005)+1p(4844)#/p(2393)-1p(4944)#/p(1809)-1
45p(4045)#/p(625)+1p(4145)#/p(49)-1p(4245)#/p(213)-1p(4345)#/p(476)+1p(4445)#/p(220)-1p(4545)#/p(1678)+1p(4645)#/p(1286)-1p(4745)#/p(1164)+1p(4845)#/p(362)-1p(4945)#/p(371)-1
46p(4046)#/p(1199)+1p(4146)#/p(505)-1p(4246)#/p(514)-1p(4346)#/p(1156)+1p(4446)#/p(13)-1p(4546)#/p(589)-1p(4646)#/p(614)-1p(4746)#/p(459)+1p(4846)#/p(1101)+1p(4946)#/p(827)+1
47p(4047)#/p(45)-1p(4147)#/p(378)-1p(4247)#/p(256)-1p(4347)#/p(398)-1p(4447)#/p(212)-1p(4547)#/p(1508)-1p(4647)3/p(413)-1p(4747)#/p(928)-1p(4847)#/p(1042)-1p(4947)#/p(3789)-1
48p(4048)#/p(12)+1p(4148)#/p(694)-p(4248)#/p(468)+1p(4348)#/p(1086)-1p(4448)#/p(125)-1p(4548)#/p(1191)+1p(4648)#/p(93)+1p(4748)#/p(160)-1p(4848)#/p(490)+1p(4948)#/p(817)+1
49p(4049)#/p(186)-1p(4149)#/p(798)-1p(4249)#/p(2316)-1p(4349)#/p(2291)-1p(4449)#/p(467)-1p(4549)#/p(1068)+1p(4649)#/P(231)+1p(4749)#/p(644)-1p(4849)#/p(504)+1p(4949)#/p(476)-1
50p(4050)#/p(1510)+1p(4150)#/p(250)-1p(4250)#/p(1616)-1p(4350)#/p(1901)+1p(4450)#/p(481)+1p(4550)#/p(543)-1p(4650)#/p(263)-1p(4750)#/p(1907)+1p(4850)#/p(328)-1p(4950)#/p(297)+1
51p(4051)#/p(812)+1p(4151)#/p(115)-1p(4251)#/p(464)-1p(4351)#/p(869)-1p(4451)#/p(364)-1p(4551)#/p(514)-1p(4651)#/p(79)+1p(4751)#/p(1718)+1p(4851)#/p(4)-1p(4951)#/p(174)-1
52p(4052)#/p(3933)+1p(4152)#/p(442)+1p(5)*p(4252)#+1p(4352)#/p(847)+1p(4452)#/p(519)-1p(4552)#/p(1645)-1p(4652)#/p(3099)-1p(4752)#/p(196)-1p(4852)#/p(4057)+1p(4952)#/p(2207)+1
53p(4053)#/p(1270)+1p(4153)#/p(2306)-1p(4253)#/p(2900)-1p(4353)#/p(68)+1p(4453)#/p(824)+1p(4553)#/p(984)-1p(4653)#/p(505)+1p(4753)#/p(500)+1p(4853)#/p(1709)-1p(4953)#/p(2404)+1
54p(4054)#/p(1724)-1p(4154)#/p(1223)-1p(4254)#/p(170)-1p(4354)#/p(1241)+1p(4454)#/p(158)+1p(4554)#/p(397)-1p(4654)#/p(350)-1p(4754)#/p(280)-1p(4854)#/p(2285)+1p(4954)#/p(663)-1
55p(4055)#/p(1129)-1p(4155)#/p(311)+1p(4255)#/p(49)+1p(4355)#/p(122)-1p(4455)#/p(389)-1p(4555)#/p(450)-1p(4655)#/p(1260)-1p(4755)#/p(16)-1p(4855)#/p(1293)-1p(4955)#/p(2895)+1
56p(4056)#/p(478)+1p(4156)#/p(868)-1p(4256)#/p(1656)+1p(4356)#/p(349)-1p(4456)#/p(1351)-1p(4556)#/p(119)+1p(4656)#/p(456)-1p(4756)#/p(311)-1p(4856)#/p(179)+1p(4956)#*p(1193)-1
57p(4057)#/p(37)+1p(4157)#/p(392)+1p(4257)#/p(2014)-1p(4357)#/p(1484)+1p(4457)#/p(58)+1p(4557)#/p(927)+1p(4657)#/p(689)-1p(4757)#/p(3443)-1p(4857)#/p(346)-1p(4957)#/p(338)-1
58p(4058)#/p(3278)+1p(4158)#/p(2294)-1p(4258)#/p(494)-1p(4358)#/p(264)+1p(4458)#/p(1837)+1p(4558)#/p(1642)+1p(4658)#/p(108)+1p(4758)#/p(1939)+1p(4858)#/p(1228)-1p(4958)#/p(2585)-1
59p(4059)#/p(1148)+1p(4159)#/p(9)-p(4259)#/p(140)+1p(4359)#/p(490)+1p(4459)#/p(415)+1p(4559)#/p(686)-1p(4659)#/p(1595)-1p(4759)#/p(164)+1p(4859)#/p(410)+1p(4959)#/p(194)-1
60p(4060)#/p(267)-1p(4160)#/p(682)+1p(4260)#/p(508)-1p(4360)#/p(333)+1p(4460)#/p(809)+1p(4560)#/p(290)-1p(4660)#/p(1291)+1p(4760)#/p(715)-1p(4860)#/p(774)+1p(4960)#/p(608)+1
61p(4061)#/p(63)+1p(4161)#/p(718)-1p(4261)#/p(1290)+1p(4361)#/p(1008)+1p(4461)#/p(974)-1p(4561)#/p(438)-1p(4661)#/p(36)+1p(4761)#/p(423)-1p(4861)#/p(1949)-1p(4961)#/p(1766)-1
62p(4062)#/p(303)+1p(4162)#/p(1851)+1p(4262)#/p(237)+1p(4362)#/p(1888)+1p(4462)#/p(266)+1p(4562)#/p(841)-1p(4662)#/p(2700)-1p(4762)#/p(878)-1p(4862)#/p(1215)+1p(4962)#/p(801)+1
63p(4063)#/p(87)-1p(4163)#/p(3143)+1p(4263)#/p(2805)-1p(4363)#/p(457)+1p(4463)#/p(2638)-1p(4563)#/p(816)-1p(4663)#/p(631)-1p(4763)#/p(255)-1p(4863)#/p(1157)+1p(4963)#/p(1284)-1
64p(4064)#*p(528)+1p(4164)#/p(1693)+1p(4264)#/p(991)-1p(4364)#/p(1258)-1p(4464)#/p(187)+1p(4564)#/p(1691)-1p(4664)#/p(71)+1p(4764)#/p(169)+1p(4864)#/p(490)-1p(4964)#/p(345)+1
65p(4065)#/p(1427)+1p(4165)#/p(369)+1p(4265)#/p(1702)+1p(4365)#/p(887)+1p(4465)#/p(326)+1p(4565)#/p(705)+1p(4665)#/p(1576)+1p(4765)#/p(1904)+1p(4865)#/p(841)+1p(4965)#/p(2770)-1
66p(4066)#/p(777)-1p(4166)#/p(3196)-1p(4266)#/p(1637)-1p(4366)#/p(387)-1p(4466)#/p(758)-1p(4566)#/p(117)-1p(4666)#/p(389)+1p(4766)#/p(82)-1p(4866)#/p(1065)+1p(4966)#/p(384)-1
67p(4067)#/p(70)+1p(4167)#/p(1636)+1p(4267)#/p(1876)+1p(4367)#/p(351)-1p(4467)#/p(2026)-1p(4567)#/p(2059)-1p(4667)#/p(726)+1p(4767)#/p(604)-1p(4867)#/p(129)-1p(4967)#/p(223)+1
68p(4068)#/p(1646)+1p(4168)#/p(1154)-1p(4268)#/p(473)-1p(4368)#/p(1094)+1p(4468)#/p(1532)-1p(4568)#/p(2083)+1p(4668)#/p(2704)+1p(4768)#/p(1338)-1p(4868)#/p(433)-1p(4968)#/p(203)-1
69p(4069)#/p(277)+1p(4169)#*p(2934)-1p(4269)#/p(355)+1p(4369)#/p(2157)+1p(4469)#/p(144)-1p(4569)#/p(1283)+1p(4669)#/p(949)+1p(4769)#/p(168)+1p(4869)#/p(874)+1p(4969)#/p(162)-1
70p(4070)#/p(1542)+1p(4170)#/p(1880)+1p(4270)#/p(2020)+1p(4370)#/p(160)+1p(4470)#/p(408)-1p(4570)#/p(75)+1p(4670)#/p(454)-1p(4770)#/p(278)-1p(4870)#/p(662)-1p(4970)#/p(1706)-1
71p(4071)#/p(100)+1p(4171)#/p(163)+1p(4271)#/p(3124)-1p(4371)#/p(156)-1p(4471)#*p(3256)+1p(4571)*p(328)+1p(4671)#/p(162)-1p(4771)#/p(1186)-1p(4871)#/p(3369)+1p(4971)#/p(766)-1
72p(4072)#/p(82)+1p(4172)#/p(1160)+1p(4272)#/p(1863)+1p(4372)#/p(599)+1p(4472)#/p(1526)-1p(4572)#/p(2021)+1p(4672)#*p(733)-1p(4772)#/p(111)+1p(4872)#/p(3045)-1p(4972)#/p(273)-1
73p(4073)#/p(327)-1p(4173)#/p(369)-1p(4273)#/p(406)+1p(4373)#/p(367)+1p(4473)#/p(662)+1p(4573)#/p(440)+1p(4673)#/p(123)-1p(4773)#/p(1627)+1p(4873)#/p(1604)+1p(4973#/p(627)+1
74p(4074)#/p(1808)+1p(4174)#/p(120)-1p(4274)#/p(1973)-1p(4374)#/p(4144)+1p(4474)#/p(1440)-1p(4574)#/p(1626)+1p(4674)#/p(1737)-1p(4774)#/p(1731)-1p(4874)#/p(200)-1p(4974)#/p(5)-1
75p(4075)#/p(252)+1p(4175)#/p(106)-1p(4275)#/p(3683)+1p(4375)#/p(950)-1p(4475)#/p(1497)+1p(4575)#/p(870)+1p(4675)#/p(627)-1p(4775)#/p(174)+1p(4875)#/p(1798)+1p(4975)#/p(325)+1
76p(4076)#/p(865)-1p(4176)#/p(297)-1p(4276)#/p(59)-1p(4376)#/p(396)-1p(4476)#/p(709)-1p(4576)#/p(841)-1p(4676)#/p(3213)-1p(4776)*/p(1789)-1p(4876)#/p(734)-1p(4976)#/p(3797)-1
77p(4077)#/p(427)-1p(4177)#/p(1648)-1p(4277)#/p(589)-1p(4377)#/p(1664)-1p(4477)#/p(192)+1p(4577)#/p(1215)+1p(4677)#/p(730)+1p(4777)#/p(2142)+1p(4877)#/p(2959)-1p(4977)#/p(1188)+1
78p(4078)#/p(387)-1p(4178)#/p(1261)+1p(4278)#/p(429)+1p(4378)#/p(2024)-1p(4478)#/p(1534)+1p(4578)#/p(474)-1p(4678)#/p(1830)-1p(4778)#/p(683)+1P(4878)#/p(472)-1p(4978)#/p(1535)-1
79p(4079)#/p(323)+1p(4179)#/p(72)-1p(4279)#/p(150)+1p(4379)#/p(2543)-1p(4479)3/p(1000)-1p(4579)#/p(756)-1p(4679)#/p(169)-1p(4779)#/p(613)+1p(4879)#/p(3839)+1p(4979)#/p(922)+1
80p(4080)#/p(892)+1p(4180)#/p(481)+1p(4280)#/p(989)+1p(4380)#/p(870)-1p(4480)3/p(49)-1p(4580)#/p(1327)+1p(4680)#/p(384)+1p(4780)#/p(1125)+1p(4880)#/p(3095)-1p(4980)#/p(128)+1
81p(4081)#/p(666)+1p(4181)#/p(200)-1p(4281)#/p(1546)+1p(4381)#/p(198)+1p(4481)#/p(1107)-1p(4581)#/p(774)-1p(4681)#/p(71)-1p(4781)#/p(473)+1p(4881)#/p(207)+1p(4981)#/p(2141)+1
82p(4082)#/p(785)+1p(4182)#/p(495)-1p(4282)#/p(946)-1p(4382)#/p(492)-1p(4482)#/p(622)-1p(4582)#/p(272)+1p(4682)#/p(162)-1p(4782)#/P(1221)+1p(4882)#/p(1030)+1p(4982)#/p(740)+1
83p(4083)#/p(1654)-1p(4183)#/p(669)+1p(4283)#/p(275)+1p(4383)#/p(144)-1p(4483)#/p(523)+1p(4583)#/p(1390)+1p(4683)#/p(117)+1p(4783)#/p(1968)+1p(4883)#/p(3459)-1p(4983)#/p(691)+1
84p(4084)#/p(1976)-1p(5)*p(4184)#+1p(4284)#/p(378)-1p(4384)#/p(221)+1p(4484)#/p(1067)-1p(4584)#/p(1263)+1p(4684)#/p(832)-1p(4784)#/p(1077)+1p(4884)#/p(2186)+1p(4984)#/p(346)-1
85p(4085)#/p(987)-1p(4185)#/p(2114)-1p(4285)#/p(690)-1p(4385)#/p(442)+1p(4485)#/p(3149)+1p(4585)#/p(678)-1p(4685)#/p(292)-1p(4785)#/p(661)+1p(4885)#/p(1871)+1p(4985)#/p(994)-1
86p(4086)#/p(1213)+1p(4186)#/p(483)-1p(4286)#/p(224)-1p(4386)#/p(921)-1p(4486)#/p(825)-1p(4586)#/p(280)+1p(4686)#/p(311)-1p(4786)#/p(393)+1p(4886)#/p(240)-1p(4986)#/p(232)-1
87p(4087)#/p(698)+1p(4187)#/p(1616)-1p(4287)#/p(976)+1p(4387)#/p(553)+1p(4487)#/p(473)+1p(4587)#/p(1488)+1p(4687)#/p(1776)-1p(4787)#/p(835)-1p(4887)#/p(1164)+1p(4987)#/p(67)-1
88p(4088)#/p(1101)-1p(4188)#/p(1862)+1p(4288)#/p(3673)-1p(4388)#/p(1190)-1p(4488)#/p(1274)-1p(4588)#/p(364)-1p(4688)#/p(1422)+1p(4788)#/p(77)-1p(4888)#/p(655)+1p(4988)#/p(2734)+1
89p(4089)#/p(1450)-1p(4189)#/p(2205)+1p(4289)#/p(107)-1p(4389)#/p(155)-1p(4489)#/p(2023)+1p(4589)#/p(894)+1p(4689)#/p(202)-1p(4789)#/p(98)+1p(4889)#/p(800)-1p(4989)#/p(828)+1
90p(4090)#/p(203)-1p(4190)#/p(580)+1p(4290)#/p(564)-1p(4390)#/p(917)+1p(4490)#/p(835)+1p(4590)#/p(2120)-1p(4690)#/p(138)+1p(4790)#/p(604)-1p(4890)#/p(105)+1p(4990)#/p(365)-1
91p(4091)#/p(1095)+1p(4191)#/p(1124)-1p(4291)#*p(2722)-1p(4391)#/p(1991)-1p(4491)#/p(613)-1p(4591)#/p(1239)-1p(4691)#/p(2589)+1p(4791)#/p(345)+1p(4891)#/p(934)+1p(4991)#/p(746)-1
92p(4092)#/p(254)+1p(4192)#/p(450)+1p(4292)#/p(1007)-1p(4392)#/p(2686)+1p(4492)#/p(190)+1p(4592)#/p(502)-1p(4692)#/p(242)+1p(4792)#/p(272)+1p(4892)#/p(592)+1p(4992)#/p(3961)+1
93p(4093)#/p(1539)+1p(4193)#/p(1274)+1p(4293)#/p(29)-1p(4393)#/p(219)-1p(4493)#/p(1472)-1p(4593)#/p(1330)+1p(4693)#/p(471)+1p(4793)#/p(1749)-1p(4893)#*p(1863)+1p(4993)#/p(248)+1
94p(4094)#/p(153)+1p(4194)#/p(489)+1p(4294)#/p(56)+1p(4394)#/p(1871)+1p(4494)#/p(567)+1p(4594)#/p(2069)-1p(4694)#/p(331)-1p(4794)#/p(1238)-1p(4894)#/p(1104)-1p(4994)#/p(2435)+1
95p(4095)#/p(60)-1p(4195)#/p(1042)-1p(4295)#/p(325)+1p(4395)#/p(1102)+1p(4495)#/p(541)-1p(4595)#/p(1612)+1p(4695)#/p(885)-1p(4795)#/p(3022)-1p(4895)#/p(116)-1p(4995)#/p(1543)-1
96p(4096)#/p(100)+1p(4196)#/p(423)+1p(4296)#/p(3217)-1p(4396)#/p(1174)+1p(4496)#/p(556)-1p(4596)#/p(133)+1p(4696)#/p(20)+1p(4796)#/p(875)+1p(4896)#/p(253)+1p(4996)#/p(257)-1
97p(4097)#/p(732)+1p(4197)#/p(2102)-1p(4297)#/p(135)-1p(4397)#/p(1078)+1p(4497)#/p(1098)+1p(4597)#/p(1258)+1p(4697)#/p(208)+1p(4797)#/p(824)+1p(4897)#/p(1033)-1p(4997)#/p(546)+1
98p(4098)#/p(4)-1p(4198)#/p(117)+1p(4298)#/p(986)+1p(4398)#/p(63)+1p(4498)#/p(511)-1p(4598)#/p(440)+1p(4698)#*p(1748)-1p(4798)#/p(134)+1p(4898)#/p(810)-1p(4998)#/p(502)-1
99p(4099)#/p(322)-1p(4199)#/p(1193)+1p(4299)#/p(1280)+1p(4399)#/p(484)+1p(4499)#/p(63)-1p(4599)#/p(2546)-1p(4699)#/p(37)+1p(4799)#/p(369)-1p(4899)#/p(662)+1p(4999)#/p(1841)+1

5000510052005300540055005600570058005900
0p(5000)#/p(313)-1p(5100)#/p(573)+1p(5200)#/p(910)+1p(5300)#/p(165)-1p(5400)#/p(1946)+1     
1p(5001)#/p(678)-1p(5101)#/p(978)-1p(5201)#/p(12)-1p(5301)#/p(2274)-1p(5401)#/p(519)+1     
2p(5002)#/p(3292)+1p(5102)#/p(1486)+1p(5202)#/p(169)-1p(5302)#/p(583)-1p(5402)#/p(426)-1    p(5902)#/p96)-1
3p(5003)#/p(2374)-1p(5103)#/p(973)-1p(5203)#/p(1044)-1p(5303)#/p(1324)-1p(5403)#/p(373)+1    p(5903)#/p(55)-1
4p(5004)#/p(1714)-1p(5104)#/p(214)-1p(5204)#/p(1403)+1p(5304)#/p(26)-1p(5404)#/p(1135)+1     
5p(5005)#/p(23)+1p(5105)#/p(121)+1p(5205)#/p(765)-1p(5305)#/p(1533)-1p(5405)#/p(659)-1     
6p(5006)#/p(4514)-1p(5106)#/p(327)+1p(5206)#/p(1411)-1p(5306)#/p(243)+1p(5406)#/p(1975)+1    p(5906)#/p(54)-1
7p(5007)#/p(62)-1p(5107)#/p(338)-1p(5207)#/p(49)+1p(5307)#/p(38)-1p(5407)#/p(1238)-1    p(5907)#/p(43)-1
8p(5008)#/p(1149)+1p(5108)#/p(1388)-1p(5208)#/p(1535)+1p(5308)#/p(1709)-1p(5408)#/p(2158)+1    p(5908)#/p(81)-1
9p(5009)#/p(1712)+1p(5109)#/p(3408)-1p(5209)#/p(449)-1p(5309)#/p(1249)-1p(5409)#/p(1258)-1    p(5909)#/p(5909)-1
10p(5010)#*p(447)-1p(5110)#/p(137)+1p(5210)#/p(1257)+1p(5310)#/p(2381)-1p(5410)#/p(1371)+1     
11p(5011)#/p(85)-1p(5111)#/p(1593)+1p(5211)#/p(997)+1p(5311)#/p(3105)+1p(5411)#/p(630)-1     
12p(5012)#/p(761)+1p(5112)#/p(360)+1p(5212)#/p(2184)-1p(5312)#/p(3017)+1p(5412)#/p(3621)+1     
13p(5013)#/p(1264)+1p(5113)#/p(470)+1p(5213)#/p(972)-1p(5313)#/p(4236)+1p(5413)#/p(404)-1     
14p(5014)#/p(945)-1p(5114)#*p(443)-1p(5214)#/p(577)-1p(5314)#/p(2784)-1P(5414)#/p(372)+1     
15p(5015)#/p(490)+1p(5115)#/p(1336)-1p(5215)#/p(976)-1p(5315)#/p(5243)+1p(5415)#/p(5)-1     
16p(5016)#/p(2088)+1p(5116)#/p(1279)+1p(5216)#/p(2697)-1p(5316)#/p(4971)+1p(5416)#/p(1383)+1     
17p(5017)#/p(910)-1p(5117)#/p(2211)+1p(5217)#/p(665)+1p(5317)#/p(97)-1p(5417)#/p(294)-1     
18p(5018)#/p(1861)-1p(5118)#/p(145)-1p(5218)#/p(934)-1p(5318)#/p(424)-1p(5418)#/p(2978)+1     
19p(5019)#/p(539)-1p(5119)#/p(1104)-1p(5219)#/p(378)-1p(5319)#/p(2371)+1p(5419)#/p(660)-1     
20p(5020)#/p(994)-1p(5120)#/p(249)-1p(5220)#/p(256)+1p(5320)#/p(17)+1p(5420)#/p(407)-1     
21p(5021)#/p(939)-1p(5121)#/p(672)-1p(5221)#/p(3145)-1p(5321)#/p(1245)-1p(5421)#/p(1555)+1     
22p(5022)#/p(48)+1p(5122)#/p(534)+1p(5222)#/p(388)-1p(5322)#/p(3113)-1p(5422)#/p(955)+1     
23p(5023)#/p(218)+1p(5123)#/p(1738)+1p(5223)#/p(1567)-1p(5323)#/p(346)+1p(5423)#/p(1687)-1     
24p(5024)#/p(1374)-1p(5124)#/p(213)+1p(5224)#/p(815)-1p(5324)#/p(1174)+1p(5424)#/p(1294)+1     
25p(5025)#/p(2072)-1p(5125)#/p(2164)+1p(5225)#/p(3707)-1p(5325)#/p(676)+1p(5425)#/p(1570)-1     
26p(5026)#/p(402)+1p(5126)#/p(2235)+1p(5226)#/p(3434)-1p(5326)#/p(1141)+1p(5426)#/p(171)-1     
27p(5027)#/p(1795)-1p(5127)#/p(2447)+1p(5227)#/p(524)+1p(5327)#/p(99)-1p(5427)#/p(1935)+1     
28p(5028)#/p(2948)+1p(5128)#/p(1732)-1p(5228)#/p(1443)+1p(5328)#/p(1863)+1p(5428)#/p(636)-1     
29p(5029)#/p(288)-1p(5129)#/p(835)-1p(5229)#/p(1139)-1p(5329)#/p(502)-1p(5429)#/p(758)+1     
30p(5030)#/p(56)+1p(5130)#/p(82)+1p(5230)#/p(360)-1p(5330)#/p(637)-1p(5430)#/p(1230)-1     
31p(5031)#/p(105)-1p(5131)#/p(951)+1p(5231)#/p(4343)+1p(5331)#/p(3247)-1p(5431)#/p(1582)-1     
32p(5032)#/p(1114)+1p(5132)#/p(283)+1p(5232)#/p(2330)-1p(5332)#/p(3835)-1p(5432)#*(p(95)+1     
33p(5033)#/p(51)+1p(5133)#/p(1510)-1p(5233)#/p(435)+1p(5333)#/p(1876)+1p(5433)#/p(791)-1     
34p(5034)#/p(32)-1p(5134)#/p(1216)+1p(5234)#/p(1810)+1p(5334)#/p(711)-1p(5434)#/p(431)+1     
35p(5035)#/p(578)-1p(5135)#/p(373)-1p(5235)#/p(126)+1p(5335)#/p(217)-1p(5435)#/p(4237)-1     
36p(5036)#/p(33)-1p(5136)#/p(3795)-1p(5236)#/p(173)-1p(5336)#/p(1775)+1p(5436)#/p(509)-1     
37p(5037)#/p(1398)-1p(5137)#/p(974)+1p(5237)#/p(14)+1p(5337)#/p(1856)-1p(5437)#/p(261)+1     
38p(5038)#/p(907)+1p(5138)#/p(1341)-1p(5238)#/p(258)-1p(5338)#/p(145)+1p(5438)#/p(511)+1     
39p(5039)#/p(3539)-1p(5139)#/p(30)-1p(5239)#/p(2854)+1p(5339)#/p(751)-1p(5439)#/p(5123)+1     
40p(5040)#/p(3831)-1p(5140)#/p(30)-1p(5240)#/p(403)+1p(5340)#/p(431)-1p(5440)#*(64)-1     
41p(5041)#/p(667)-1p(5141)#/p(1979)+1p(5241)#/p(241)-1p(5341)#/p(3916)+1p(5441)#/p(2274)+1     
42p(5042)#/p(616)-1p(5142)#/p(1467)+1p(5242)#/p(2115)-1p(5342)#/p(1912)+1p(5442)#/p(249)+1     
43p(5043)#/p(1644)+1p(5143)#/p(2386)-1p(5243)#/p(524)-1p(5343)#/p(214)+1p(5443)#/p(1247)-1     
44p(5044)#/p(580)+1p(5144)#/p(310)+1p(5244)#/p(2729)+1p(5344)#/p(1776)+1p(5444)#/p(1714)-1     
45p(5045)#/p(499)+1p(5145)#/p(123)+1p(5245)#/p(2439)-1p(5345)#/p(763)+1p(5445)#/p(411)+1     
46p(5046)#/p(1093)+1p(5146)#/p(829)-1p(5246)#/p(1739)-1p(5346)#/p(459)+1p(5446)#/p(751)+1     
47p(5047)#/p(702)-1p(5147)#/p(3377)+1p(5247)#/p(2568)+1p(5347)#*p(558)-1p(5447)#/p(1673)-1     
48p(5048)#/p(175)+1p(5148)#/p(3327)-1p(5248)#/p(39)+1p(5348)#/p(2898)+1p(5448)#/p(360)+1     
49p(5049)#/p(91)-1p(5149)#/p(144)-1p(5249)#/p(1346)+1p(5349)#/p(154)-1p(5449)#/p(806)+1     
50p(5050)#/p(1487)+1p(5150)#*p(1133)+1p(5250)#/p(2272)-1p(5350)#/p(402)+1p(5450)#/p(983)-1     
51p(5051)#/p(704)+1p(5151)#/p(2053)-1p(5251)#/p(50)-1p(5351)#/p(2133)-1p(5451)#/p(1018)+1     
52p(5052)#/p(3147)+1p(5152)#/p(550)+1p(5252)#/p(795)+1p(5352)#/p(1908)+1p(5452)#/p(277)+1  p(5752)#*p(5)-1   
53p(5053)#/p(2110)+1p(5153)#/p(1193)-1p(5253)#/p(991)+1p(5353)#/p(1541)-1p(5453)#/p(2811)-1     
54p(5054)#/p(1479)-1p(5154)#/p(1807)+1p(5254)#/p(664)-1p(5354)#/p(1106)-1p(5454)#/p(195)-1     
55p(5055)#/p(2161)+1p(5155)#/p(1415)-1p(5255)#/p(1778)+1p(5355)#/p(1172)-1p(5455)#/p(30)+1     
56p(5056)#/p(3545)-1p(5156)#/p(558)-1p(5256)#*p(626)+1p(5356)#/p(461)+1p(5456)#/p(333)+1     
57p(5057)#/p(1089)+1p(5157)#/p(157)-1p(5257)#/p(2264)+1p(5357)#/p(1903)-1p(5457)#/p(1654)+1     
58p(5058)#/p(113)-1p(5158)#/p(292)+1p(5258)#/p(160)-1p(5358)#/p(28)-1p(5458)#/p(1254)+1     
59p(5059)#*p(860)+1p(5159)#/p(1644)-1p(5259)#/p(67)-1p(5359)#/p(1612)-1p(5459)#/p(904)-1     
60p(5060)#/p(363)-1p(5160)#/p(1829)-1p(5260)#/p(2184)+1p(5360)#/p(671)+1p(5460)#/p(2114)-1     
61p(5061)#/p(1962)+1p(5161)#/p(295)-1p(5261)#/p(1205)-1p(5361)#/p(393)-1p(5461)#/p(1627)-1     
62p(5062)#/p(1200)+1p(5162)#/p(51)-1p(5262)#/p(2697)+1p(5362)#/p(366)+1p(5462)#/p(1559)-1     
63p(5063)#*p(158)+1p(5163)#/p(429)+1p(5263)#/p(1021)-1p(5363)#/p(494)+1p(5463)#/p(1091)+1     
64p(5064)#/p(48)-1p(5164)#/p(1377)-1p(5264)#/p(941)-1p(5364)#*p(71)+1p(5464)#/p(750)+1     
65p(5065)#/p(341)+1p(5165)#/p(377)-1p(5265)#/p(2723)+1p(5365)#/p(477)+1p(5465)#/p(1124)+1     
66p(5066)#/p(29)-1p(5166)#/p(601)-1p(5266)#/p(1774)-1p(5366)#/p(1271)+1p(5466)#/p(839)+1     
67p(5067)#/p(397)-1p(5167)#/p(4308)-1p(5267)#/p(223)+1p(5367)#/p(118)-1p(5467)#/p(1012)+1     
68p(5068)#/p(58)-1p(5168)#/p(3130)+1p(5268)#/p(658)-1p(5368)#/p(304)-1p(5468)#/p(2028)-1     
69p(5069)#*p(538)+1p(5169)#/p(716)+1p(5269)#/p(2535)+1p(5369)#/p(4056)-1p(5469)#/p(117)-1     
70p(5070)#/p(396)-1p(5170)#/p(385)+1p(5270)#/p(347)+1p(5370)#/p(166)+1p(5470)#/p(449)-1     
71p(5071)#/p(314)+1p(5171)#/p(513)-1p(5271)#/p(208)+1p(5371)#/p(793)-1p(5471)#/p(769)-1     
72p(5072)#/p(1272)+1p(5172)#/p(753)+1p(5272)#*p(1907)+1p(5372)#/p(1534)+1p(5472)#/p(925)-1     
73p(5073)#*p(3500)-1p(5173)#/p(516)+1p(5273)#/p(321)-1p(5373)#/p(1536)+1p(5473)#/p(1136)-1     
74p(5074)#/p(4726)+1p(5174)#/p(3024)-1p(5274)#/p(488)-1p(5374)#/p(2499)-1p(5474)#/p(?)-1     
75p(5075)#/p(42)-1p(5175)#/p(236)-1p(5275)#/p(87)-1p(5375)#/p(1509)-1p(5475)#/p(1165)-1     
76p(5076)#/p(833)-1p(5176)#/p(70)-1p(5276)#/p(335)+1p(5376)#/p(244)+1p(5476)#/p(3531)+1     
77p(5077)#/p(3073)-1p(5177)#/p(2296)+1p(5277)#/p(256)+1p(5377)#/p(293)+1p(5477)#/p(1360)-1    p(5977)#/p(5)+1
78p(5078)#/p(3567)-1p(5178)#/p(112)+1p(5278)#/p(1180)+1p(5378)#/p(293)+1p(5478)#/p(1074)+1     
79p(5079)#*p(5)+1p(5179)#/p(665)-1p(5279)#/p(1696)+1p(5379)#*p(5)+1p(5479)#/p(338)+1     
80p(5080)#/p(4033)-1p(5180)#/p(113)+1p(5280)#/p(475)-1p(5380)#/p(2346)+1p(5480)#/p(252)-1     
81p(5081)#/p(83)-1p(5181)#/p(1538)+1p(5281)#/p(1857)+1p(5381)#/p(220)-1p(5481)#/p(4470)+1     
82p(5082)#/p(791)-1p(5182)#/p(291)+1p(5282)#/p(53)+1p(5382)#/p(168)-1p(5482)#/p(1405)-1     
83p(5083)#/p(11)+1p(5183)#/p(1736)+1p(5283)#/p(1895)+1p(5383)#/p(2081)+1NONE!     
84p(5084)#/p(695)-1p(5184)#/p(246)-1p(5284)#/p(2812)-1p(5384)#/p(965)-1p(5484)#/p(3270)-1     
85p(5085)#/p(1242)+1p(5185)#/p(4277)+1p(5285)#/p(2220)-1p(5385)#/p(5140)+1p(5485)#/p(1573)+1     
86p(5086)#/p(1393)+1p(5186)#/p(1257)+1p(5286)#/p(1232)-1p(5386)#/p(4660)+1p(5486)#/p(1845)-1     
87p(5087)#/p(1694)+1p(5187)#/p(1424)-1p(5287)#/p(2191)+1p(5387)#/p(745)+1p(5487)#/p(202)-1     
88p(5088)#/p(514)+1p(5188)#/p(4217)+1p(5288)#/p(1001)+1p(5388)#/p(2520)+1reserved SH     
89p(5089)#/p(29)-1p(5189)#/p(436)-1p(5289)#/p(47)+1p(5389)#/p(1031)-1reserved SH     
90p(5090)#/p(1722)-1p(5190)#/p(737)-1p(5290)#/p(2489)-1p(5390)#/p(793)-1reserved SH     
91p(5091)#/p(61)+1p(5191)#/p(3804)-1p(5291)#/p(531)-1p(5391)#/p(242)+1reserved SH     
92p(5092)#/p(796)+1p(5192)#*p(1701)-1p(5292)#/p(837)+1p(5392)#/p(4652)+1reserved SH     
93p(5093)#/p(2391)-1p(5193)#/p(79)+1p(5293)#/p(1267)+1p(5393)#/p(1423)+1reserved SH     
94p(5094)#/p(715)+1p(5194)#/p(2917)+1p(5294)#/p(835)-1p(5394)#/p(715)+1reserved SH     
95p(5095)#/p(2026)+1p(5195)#*p(101)-1p(5295)#/p(44)+1p(5395)#/p(540)+1reserved SH     
96p(5096)#/p(45)-1p(5196)#/p(188)+1p(5296)#/p(1523)+1p(5396)#/p(351)-1reserved SH     
97p(5097)#/p(2967)+1p(5197)#/p(1065)-1p(5297)#/p(1297)+1p(5397)#/p(317)+1reserved SH     
98p(5098)#/p(399)-1p(5198)#/p(199)-1p(5298)#/p(442)+1p(5398)#/p(309)-1reserved SH     
99p(5099)#/p(3444)+1p(5199)#/p(29)-1p(5299)#/p(2728)-1p(5399)#/p(1075)+1reserved SH     

and larger primes, not in continuous order, mostly from Caldwell's database:

CandidatePrime/PRPDecimal SizeFinderWhen Found
p(6320)2*62989#-1 27238 p16 2001
p(6579)65851#/11+1 28483 p21 2002
p(7082)71483#/11-1 30916 p21 2002
p(7433)75431#/13+1 32623 p21 2002
p(7765)79231#/11+1 34246 p21 2003
p(7854)3*80209#+1 34684 p16 2002
p(7861)3*80273#+1 34719 p16 2002
p(8652)3*89363#+1 38617 p16 2002
p(8887)3*91997#+1 39782 p16 2002
p(8992)11*93097#-1 40304 p16 2000
p(9070)3*93997#+1 40691 p16 2002
p(9983)104561#/17-1 45251 p12 2000
p(10149)11*106451#-1 46087 p16 2000
p(10453)5471*109987#+1 47620 p67 2003
p(12087)2*129119#+1 55913 p16 2001
p(12166)11*130069#-1 56318 p16 2000
p(12197)11*130411#-1 56476 p16 2000
p(12562)2*134837#+1 58345 p16 2001
p(14717)3*160403#+1 69483 p16 2002
p(14816)13451*161573#+1 70002 p67 2005
p(15629)11*171559#+1 74244 p16 2000
p(17736)2*197009#-1 85337 p16 2002
p(26379)3*304663#-1 131969 p16 2002
p(29686)3*346369#+1 150198 p16 2002

If you have any questions, please e-mail Steven Harvey harvey563@yahoo.com

Contributors: Anderson/Robinson(p21); Barnes, 5200-5299; Benson(p67); D. Heuer(p16); M. Rodenkirch(MR) sieving; 3900-4299; T. Rajala, 4600-4601; H. Rosenthal(p10); T. Sorbara(TS) 3530-3549, Stephano D'Urso 5902-5909


Last Modified: September 23, 2011