Status of search for Puzzle 10

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.)

I have verified this to p(3283) and am continuing the search. If you want to help, or know of a new prime fitting one of the above forms larger that p(3283),[and thus eliminates a p(k)#], please let me know.

Here are primes known to me that support the conjecture, 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)+1      
1p(3001)#/p(2513)+1p(3101)#*p(84)+1p(3201)#*p(736)+1p(3301)#*p(232)+1      
2p(3002)#*p(396)+1p(3102)#*p(835)+1p(3202)#/p(467)+1p(3302)#*p(263)-1      
3p(3003)#*p(399)+1p(3103)#*p(219)-1p(3203)#*p(340)+1p(3303)#*p(1541)-1      
4p(3004)#*p(277)+1p(3104)#*p(26)+1p(3204)#*p(34)+1p(3304)#*p(2577)+1      
5p(3005)#*p(910)+1p(3105)#*p(481)+1p(3205)#*p(373)-1p(3305)#*p(253)-1      
6p(3006)#*p(626)+1p(3106)#*p(653)+1p(3206)#*p(469)+1p(3306)#*p(336)-1      
7p(3007)#*p(280)+1p(3107)#*p(145)-1p(3207)#*p(64)-1p(3307)#*p(599)-1      
8p(3008)#*p(292)+1p(3108)#*p(871)-1p(3208)#*p(752)+1p(3308)#*p(329)+1      
9p(3009)#*p(1021)+1p(3109)#*p(38)-1p(3209)#*p(17)-1p(3309)#*p(932)+1      
10p(3010)#*p(705)-1p(3110)#*p(1991)+1p(3210)#*p(1399)-1p(3310)#*p(276)+1      
11p(3011)#*p(1287)+1p(3111)#/p(2792)+1p(3211)#*p(26)-1       
12p(3012)#*p(673)-1p(3112)#*p(294)-1p(3212)#*p(825)-1       
13p(3013)#*p(140)+1p(3113)#*p(328)-1p(3213)#*p(1808)+1       
14p(3014)#*p(39)-1p(3114)#*p(589)+1p(3214)#*p(120)+1       
15p(3015)#*p(720)-1p(3115)#*p(2771)-1p(3215)#*p(1194)+1       
16p(3016)#*p(304)-1p(3116)#*p(11)-1;p(3216)#*p(375)+1       
17p(3017)#*p(70)-1p(3117)#*p(1652)-1p(3217)#*p(2784)+1       
18p(3018)#*p(1795)+1p(3118)#*p(383)-1p(3218)#*p(431)+1       
19p(3019)#*p(405)+1p(3119)#*p(146)-1p(3219)#*p(378)+1       
20p(3020)#*p(1696)-1p(3120)#*p(834)+1 p(3220)#/p(768)+1   p(3620)#*p(3620)-1   
21p(3021)#*p(2253)-1p(3121)#*p(972)-1p(3221)#*p(382)-1       
22p(3022)#*p(997)+1p(3122)#*p(993)+1p(3222)#*p(93)+1       
23p(3023)#*p(387)+1p(3123)#*p(23)+1p(3223)#*p(186)+1       
24p(3024)#*p(317)+1p(3124)#*p(388)-1p(3224)#*p(615)+1       
25p(3025)#*p(399)-1p(3125)#*p(1119)+1p(3225)#*p(1590)+1       
26p(3026)#*p(39)-1p(3126)#*p(175)+1p(3226)#*p(130)+1       
27p(3027)#*p(609)-1p(3127)#*p(360)+1p(3227)#*p(77)+1       
28p(3028)#*p(280)-1p(3128)#*p(97)-1p(3228)#/p(937)+1       
29p(3029)#*p(609)-1p(3129)#*p(1176)+1p(3229)#/p(1879)+1       
30p(3030)#*p(50)+1p(3130)#*p(261)-1p(3230)#*p(1505)-1       
31p(3031)#*p(294)-1p(3131)#*p(82)+1p(3231)#*p(11)+1       
32p(3032)#*p(966)+1p(3132)#*p(141)+1p(3232)#*p(1051)+1       
33p(3033)#*p(32)+1p(3133)#*p(928)-1p(3233)#*p(61)+1       
34p(3034)#*p(375)-1p(3134)#*p(101)+1p(3234)#*p(616)-1       
35p(3035)#*p(1274)+1p(3135)#*p(1200)-1;p(3235)#*p(57)-1       
36p(3036)#*p(1054)+1p(3136)#*p(217)+1p(3236)#*p(1038)-1       
37p(3037)#*p(317)+1p(3137)#*p(852)+1p(3237)#*p(378)-1       
38p(3038)#*p(303)+1p(3138)#*p(808)-1p(3238)#*p(8)+1       
39p(3039)#*p(25)-1p(3139)#*p(659)+1p(3239)#*p(1491)+1       
40p(3040)#*p(977)+1p(3140)#*p(1204)+1p(3240)#*p(880)-1       
41p(3041)#*p(610)+1p(3141)#*p(526)+1p(3241)#*p(666)-1       
42p(3042)#*p(34)-1p(3142)#*p(2011)-1p(3242)#*p(785)+1       
43p(3043)#*p(749)-1p(3143)#*p(571)+1p(3243)#*p(164)+1       
44p(3044)#*p(642)+1p(3144)#*p(265)+1p(3244)#*p(1985)+1       
45p(3045)#*p(47)+1p(3145)#*p(583)+1p(3245)#*p(466)+1       
46p(3046)#*p(1054)-1p(3146)#*p(1659)-1p(3246)#*p(271)+1       
47p(3047)#*p(214)-1p(3147)#*p(527)-1p(3247)#*p(762)-1       
48p(3048)#*p(492)+1p(3148)#*p(395)+1p(3248)#*p(432)-1p;       
49p(3049)#*p(1286)+1p(3149)#*p(1517)+1p(3249)#*p(635)+1       
50p(3050)#*p(372)-1p(3150)#*p(266)+1p(3250)#*p(1260)+1       
51p(3051)#*p(685)+1p(3151)#*p(466)-1p(3251)#*p(677)+1       
52p(3052)#*p(276)+1p(3152)#*p(395)+1p(3252)#*p(2252)-1       
53p(3053)#/p(1587)+1p(3153)#*p(408)+1p(3253)#*p(1792)-1       
54p(3054)#*p(1736)-1p(3154)#*p(451)-1p(3254)#*p(163)+1       
55p(3055)#*p(76)+1p(3155)#*p(424)-1p(3255)#*p(888)+1       
56p(3056)#*p(1317)-1p(3156)#*p(35)+1p(3256)#*p(185)-1       
57p(3057)#*p(221)-1p(3157)#*p(280)+1p(3257)#*p(654)-1       
58p(3058)#*p(1786)+1p(3158)#*p(656)-1p(3258)#*p(1371)-1       
59p(3059)#*p(405)+1p(3159)#*p(131)-1p(3259)#*p(739)-1       
60p(3060)/p(1403)+1p(3160)#*p(85)+1p(3260)#*p(586)+1       
61p(3061)#*p(461)-1p(3161)#*p(800)-1p(3261)#*p(1291)+1       
62p(3062)#*p(283)-1p(3162)#*p(942)+1p(3262)#*p(760)-1       
63p(3063)#*p(375)-1p(3163)#*p(110)+1p(3263)#*p(519)-1       
64p(3064)#*p(60)-1p(3164)#*p(371)+1p(3264)#*p(150)+1       
65p(3065)#*p(69)-1p(3165)#*p(967)+1p(3265)#*p(641)+1       
66p(3066)#*p(32)+1p(3166)#*p(534)+1p(3266)#*p(1019)-1       
67p(3067)#*p(728)-1p(3167)#*p(354)+1p(3267)#*p(2939)-1       
68p(3068)#*p(147)+1p(3168)#*p(283)-1p(3268)#*p(2044)-1       
69p(3069)#*p(1480)-1p(3169)#*p(2323)-1p(3269)#*p(788)-1       
70p(3070)#*p(103)-1p(3170)#*p(385)-1p(3270)#*p(909)-1       
71p(3071)#*p(372)+1p(3171)#*p(7)-1p(3271)#*p(253)-1       
72p(3072)#*p(1722)+1p(3172)#*p(1333)-1p(3272)#*p(54)+1       
73p(3073)#*p(514)-1p(3173)#*p(287)+1p(3273)#*p(397)-1       
74p(3074)#/p(1352)+1p(3174)#*p(699)-1p(3274)#*p(1513)+1       
75p(3075)#*p(205)-1p(3175)#*p(287)-1p(3275)#*p(948)+1       
76p(3076)#*p(155)+1p(3176)#*p(897)+1p(3276)#*p(185)-1       
77p(3077)#*p(629)+1p(3177)#*p(27)+1p(3277)#*p(322)-1       
78p(3078)#*p(853)+1p(3178)#*p(2074)+1p(3278)#*p(62)+1       
79p(3079)#*p(141)-1p(3179)#*p(199)+1p(3279)#*p(397)+1       
80p(3080)#*p(198)+1p(3180)#*p(952)-1p(3280)#*p(1703)+1       
81p(3081)#*p(815)+1p(3181)#*p(692)-1p(3281)#*p(323)-1       
82p(3082)#*p(1163)+1p(3182)#*p(548)+1p(3282)#*p(397)-1       
83p(3083)#*p(529)+1p(3183)#*p(72)+1p(3283)#*p(1835)-1       
84p(3084)#*p(101)+1p(3184)#*p(422)-1p(3284)#*p(1037)-1       
85p(3085)#*p(894)+1p(3185)#*p(404)+1p(3285)#*p(121)+1     p(3885)#/p(33)+1 
86p(3086)#*p(905)-1p(3186)#*p(939)-1p(3286)#*p(717)-1       
87p(3087)#*p(94)+1;p(3187)#*p(349)+1p(3287)#*p(1540)+1       
88p(3088)#*p(1456)+1p(3188)#*p(1405)-1p(3288)#*p(370)+1       
89p(3089)#*p(613)+1p(3189)#*p(1141)+1p(3289)#*p(393)+1       
90p(3090)#*p(251)-1p(3190)#*p(159)+1p(3290)#*p(90)+1p(3390)#*p(3390)+1      
91p(3091)#*p(419)+1p(3191)#*p(1173)+1p(3291)#*p(215)+1      p(3991)#*p(1904)+1
92p(3092)#*p(1842)-1p(3192)#*p(277)-1p(3292)#*p(426)-1      p(3992)#*p(144)-1
93p(3093)#*p(717)+1p(3193)#*p(451)-1p(3293)#*p(514)-1      p(3993)#*p(651)-1
94p(3094)#*p(593)+1p(3194)#*p(248)-1p(3294)#*p(1085)-1      p(3994)#*p(193)-1
95p(3095)#*p(241)-1p(3195)#*p(833)+1p(3295)#*p(753)-1      p(3995)#*p(1075)-1
96p(3096)#*p(1506)+1p(3196)#*p(475)-1p(3296)#*p(937)-1      p(3996)#*p(357)-1
97p(3097)#*p(635)-1p(3197)#*p(272)-1p(3297)#*p(1227)-1      p(3997)#*p(385)-1
98p(3098)#*p(443)-1p(3198)#*p(257)+1p(3298)#*p(1668)-1      p(3998)#*p(340)-1
99p(3099)#*p(85)+1p(3199)#*p(323)+1p(3299)#*p(119)+1      p(3999)#*p518)-1

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

CandidatePrime/PRPDecimal SizeFinderWhen Found
p(4000)1291*37813#-1 16344 p16 2000
p(4001)37831#/32869+1 16341 p10 2000
p(4002)37847#/36011+1 16345 p10 2000
p(4003)37853#/21433+1 16350 p10 2000
p(4004)37861#/26407+1 16354 p10 2000
p(4005)12211*37871#-1 Harvey 4/17/7
p(4006)37879#/34847+1 16363 p10 2000
p(4007)37889#/9931+1 16368 p10 2000
p(4008)37897#/5+1 16376 p10 2000
p(4009)37907#/5333+1 16378 p10 2000
p(4184)11*39821#+1 17186 p16 2000
p(4252)11*40559#+1 17499 p16 2000
p(4422)42299#/3+1 18282 p21 2000
p(4607)11*44267#-1 19142 p16 1999
p(4623)2*44491#+1 19215 p16 2001
p(4974)48341#/11-1 20852 p21 2001
p(5079)11*49429#+1 21346 p16 2000
p(5379)11*52697#+1 22759 p16 2000
p(5415)53087#/11-1 22927 p21 2001
p(5752)11*56731#-1 24526 p16 1999
p(5977)59113#/11+1 25595 p21 2001
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, you can e-mail Steven Harvey


Last Modified: October 3, 2007
Hosted by www.Geocities.ws

1