PC Problem 9

[1 ms] P(0, 0, 0) == 1
[0 ms] P(1, 0, 0) == 1
[0 ms] P(2, 0, 0) == 9
[1 ms] P(3, 0, 0) == 49
[1 ms] P(4, 0, 0) == 337
[1 ms] P(5, 0, 0) == 2361
[1 ms] P(6, 0, 0) == 17181
[0 ms] P(7, 0, 0) == 127989
[1 ms] P(8, 0, 0) == 970929
[1 ms] P(9, 0, 0) == 7468897
[1 ms] P(10, 0, 0) == 58106209
[2 ms] P(11, 0, 0) == 456211449
[1 ms] P(12, 0, 0) == 3609400741
[2 ms] P(13, 0, 0) == 28741715341
[2 ms] P(14, 0, 0) == 230143096353
[2 ms] P(15, 0, 0) == 1851692409849
[2 ms] P(16, 0, 0) == 14961118908369
[2 ms] P(17, 0, 0) == 121330076114961
[4 ms] P(18, 0, 0) == 987194635760601
[3 ms] P(19, 0, 0) == 8055938305315233
[4 ms] P(20, 0, 0) == 65914397120545497
[4 ms] P(21, 0, 0) == 540611618884454817
[7 ms] P(22, 0, 0) == 4443616245148759413
[5 ms] P(23, 0, 0) == 36597492662125039533
[5 ms] P(24, 0, 0) == 301965689250917090469
[6 ms] P(25, 0, 0) == 2495697149220549217461
[7 ms] P(26, 0, 0) == 20658465377049117261861
[7 ms] P(27, 0, 0) == 171248289088984095120349
[11 ms] P(28, 0, 0) == 1421451059907558588987289
[7 ms] P(29, 0, 0) == 11813406744469962597340257
[9 ms] P(30, 0, 0) == 98292428605637060768975941
[9 ms] P(31, 0, 0) == 818717749979748566109652861
[9 ms] P(32, 0, 0) == 6826344366857996984556477009
[10 ms] P(33, 0, 0) == 56971193545512596548007981649
[11 ms] P(34, 0, 0) == 475895098677489016395836277657
[13 ms] P(35, 0, 0) == 3978631136687501566977109748289
[12 ms] P(36, 0, 0) == 33289115297342705516531339795329
[13 ms] P(37, 0, 0) == 278739307933309069333375316265961
[14 ms] P(38, 0, 0) == 2335631415221344776581452833174861
[15 ms] P(39, 0, 0) == 19584144005915642794400747930314213
[15 ms] P(40, 0, 0) == 164317697356595108057995459808980729
[17 ms] P(41, 0, 0) == 1379526007846966906500059263902956649
[18 ms] P(42, 0, 0) == 11588535949965990180508629257432964681
[21 ms] P(43, 0, 0) == 97402159937697485944637772488848049121
[26 ms] P(44, 0, 0) == 819103820087576203178252928258682312893
[20 ms] P(45, 0, 0) == 6891748334800915156008644194905232881957
[25 ms] P(46, 0, 0) == 58013675264162193552615085431193694286777
[21 ms] P(47, 0, 0) == 488576854352938047947014143325705350593553
[23 ms] P(48, 0, 0) == 4116503873320199536424355219450184835498373
[24 ms] P(49, 0, 0) == 34698396344868608917303839752580394853689989
[23 ms] P(50, 0, 0) == 292595804381938423755727834322868782108554509
[23 ms] P(51, 0, 0) == 2468298152392718642541185081253461935497571509
[24 ms] P(52, 0, 0) == 20830101937337166875557250196540049287018410781
[26 ms] P(53, 0, 0) == 175850342770620981871101964593958264289497769541
[26 ms] P(54, 0, 0) == 1485071037862361916618901633100525163713487623433
[28 ms] P(55, 0, 0) == 12545786190820948471245387123983197085591883017889
[36 ms] P(56, 0, 0) == 106020521311360036231609764464102626840505690428569
[28 ms] P(57, 0, 0) == 896227820759373959598661010332193675917298251069161
[29 ms] P(58, 0, 0) == 7578419275308403574880775476140102255929631249132121
[31 ms] P(59, 0, 0) == 64101189387224172026202351980151013341395228707008753
[33 ms] P(60, 0, 0) == 542346137055810701563005463477153032682741833030368541
[34 ms] P(61, 0, 0) == 4589929142086460934282089460826381965855638756110535301
[35 ms] P(62, 0, 0) == 38855324061285390525977718662946389251328520241064468409
[36 ms] P(63, 0, 0) == 329008073472719769043560903029931352627777671254988621009
[38 ms] P(64, 0, 0) == 2786573822787362207465117183821791252753620596237986930897
[39 ms] P(65, 0, 0) == 23606913178996929425304683729786460314147758267136855823441
[40 ms] P(66, 0, 0) == 200036538003599012223150448516188708319609375638077716320921
[42 ms] P(67, 0, 0) == 1695422339044674367890634628374566749906934010929497029802049
[43 ms] P(68, 0, 0) == 14372821058308851666779905269377386528965902233602057352282209
[46 ms] P(69, 0, 0) == 121870588889729759469694575608951122300365792692713798324980297
[65 ms] P(70, 0, 0) == 1033584340392607495392923410466879076902422124160831131115944493
[46 ms] P(71, 0, 0) == 8767595613940544460379998532442480652455526420868368166372317573
[46 ms] P(72, 0, 0) == 74387548115952375156651765070387849575044909095750251163727081697
[49 ms] P(73, 0, 0) == 631252027600589788633027337905468396621620672232447119175185525777
[50 ms] P(74, 0, 0) == 5357792575920096672602094964219818679179552425005099712827322590161
[52 ms] P(75, 0, 0) == 45482824177629814328435125413354747587278822381237010988041101532649
[53 ms] P(76, 0, 0) == 386176020558653967332333421227375463925073802814671611726274131516949
[71 ms] P(77, 0, 0) == 3279423836261000320040735741226610128568462850269082256599408504358141
[70 ms] P(78, 0, 0) == 27853658912813174465696237237090696913471263093506505955801532183610001
[77 ms] P(79, 0, 0) == 236612442681326710237666114562494349166849851493448903717049013496132713
[78 ms] P(80, 0, 0) == 2010304105995223595698105531265535198088701984041312105638991289643606809
[71 ms] P(81, 0, 0) == 17082565449357127641881428300176702252530395917264248806728211749232179289
[75 ms] P(82, 0, 0) == 145181052513239815292731219018438598852964911225831275112679185081985596641
[68 ms] P(83, 0, 0) == 1234044217387852376144142114493811920896934183541582328240448328443555735401
[68 ms] P(84, 0, 0) == 10490928132921485844967504009576368573039727279976211437512533046231233384193
[70 ms] P(85, 0, 0) == 89198600959204531800938636424311286419149507594238074507990785662657950231561
[71 ms] P(86, 0, 0) == 758510671271933532384472779148489246235400373771869335866286065683446471610621
[73 ms] P(87, 0, 0) == 6450947384476334217579311402588493084913120799756102053264258513194737052809589
[110 ms] P(88, 0, 0) == 54870906317832562946421735764015387066862390570493453718404126657341236073139389
[72 ms] P(89, 0, 0) == 466784384203210177735019453077988676871588209020675640001759477752384150829001037
[74 ms] P(90, 0, 0) == 3971410864239286579306177667270362339613295474050660650349358143313183711055904701
[76 ms] P(91, 0, 0) == 33792976107181443863947846030242759543869875636996937080971639431193983793364099381
[79 ms] P(92, 0, 0) == 287580893122950245635824208684308133960945634577217710237227987432037298144640738289
[81 ms] P(93, 0, 0) == 2447622640311648763059314969991995021505809926546401081787201439520032256322953117049
[83 ms] P(94, 0, 0) == 20834287809374818319107863177287847617479820626410275255704451706560579529765883635517
[85 ms] P(95, 0, 0) == 177362406329031091153269632449350176373584350562479682285114845994876014106090030936373
[87 ms] P(96, 0, 0) == 1510052981482448167026000953325839702546607202431723528886016387388402769150103831266053
[90 ms] P(97, 0, 0) == 12857884297646728668746379710971845618411486065756573665040570866000763912241892378976517
[93 ms] P(98, 0, 0) == 109494575205390549810688706780333175907848097157494090791439675725071490630715793505442797
[95 ms] P(99, 0, 0) == 932525097077588819433779492264146468622854640176565278051385536090586532459655474865978421
[97 ms] P(100, 0, 0) == 7942777435161635506093931406311234269358176285214834952431215706327435216103132942808512597
[100 ms] P(101, 0, 0) == 67659272826703232646141037876850926794402623100736644551043164955183193961604592544794053597
[101 ms] P(102, 0, 0) == 576400675735195580445083438523248746723004854718575813719654091858230527776443737389439904273
[104 ms] P(103, 0, 0) == 4910922031815342397246496268488658956257887473612903562263401188502279507743096629261777324553
[108 ms] P(104, 0, 0) == 41844868035124874039633037749137710460366848701676863660122293849406737975995028505450923792189
[109 ms] P(105, 0, 0) == 356583462415141650801143827989161633772244609023851374227238849480115741308583829471135730454637
[113 ms] P(106, 0, 0) == 3038920034158551780239614571098727300356362786847139023574950182937812828232170684605237004918477
[116 ms] P(107, 0, 0) == 25900950111864530979197376233771512871668627575942718905923155809801431459678187186499690767596613
[119 ms] P(108, 0, 0) == 220774930332421782875852740607022417479439514533237817531317805178678596310156369142894137092566193
[122 ms] P(109, 0, 0) == 1882004962185008077061858775770621779125163438851525412987708408317056320475875932484382225879857849
[124 ms] P(110, 0, 0) == 16044568675658366637740376778295084876777119551516860995224296974576365585270786908735641096667373213
[1351 ms] P(111, 0, 0) == 136795228536695986180223617542630611072989044549318127885661809272980776443335149702805907180714398293
[156 ms] P(112, 0, 0) == 1166403558921556380063136216226173539778053393339279665100272329841250365343055163622756368876635900537
[147 ms] P(113, 0, 0) == 9946289303700454530534621780739644886448422007630780585252481456324968745276760611176708541860556242937
[148 ms] P(114, 0, 0) == 84821724817258521091546342465399984649974177158966768085347773801616525234454183266275246649921387300321
[151 ms] P(115, 0, 0) == 723412960369530313129120617171375587793097711200750402903292565926572059987062840636263471162771376609833
[154 ms] P(116, 0, 0) == 6170183385871610359237988692474087028488765699009135658916814868818113624291082315391809043661421425636273
[173 ms] P(117, 0, 0) == 52631034010232230491907367717979744960822809224809316429761180480623411906082204106490761555032067507334137
[178 ms] P(118, 0, 0) == 448969907255509879534213312521136955965516778089637872691481139945437946667457066920600629051398384385615117
[159 ms] P(119, 0, 0) == 3830218359038193201931640027833541188550362123683955880377780296198272506166260047773558822497105349900006661
[165 ms] P(120, 0, 0) == 32678362654048955513445997351967184120980041268551993896467444269245253319611904700295553623137548671872364189
[168 ms] P(121, 0, 0) == 278821970882564975457262732659061730942153891457073169982069337315303896325913175629695421863637299390057754029
[172 ms] P(122, 0, 0) == 2379157296643041905818311841878129238541445801071836178326722909208983118673104822072805509264789257634177236381
[175 ms] P(123, 0, 0) == 20302442959228930334310569388117346491114069657379123081080562171317248590922878598375870288607908574956183433621
[178 ms] P(124, 0, 0) == 173261453593404301727690809556996360598547855976860843573744340474649729860830101488090335388559953278945465344753
[180 ms] P(125, 0, 0) == 1478712225779744051077114144093298878397585347262973861792065530129043871029543356005860897496014158681127239043961
[189 ms] P(126, 0, 0) == 12620977230104900830356267397839866404211398392057028204719238404766970413005579660819171632698506179447606358694461
[186 ms] P(127, 0, 0) == 107728218376533248620043047930862052451969456022719082179775012655316923743706140390433884796876536356459554023860149
[189 ms] P(128, 0, 0) == 919586784896195202682933261881687697518885840279430702968731463597219839651558104103333495908909573545309204987259089
[1462 ms] P(129, 0, 0) == 7850228540379930696714385240289875519815078963558513375221611702349909836278221428544596446650182568675469863594299857
[196 ms] P(130, 0, 0) == 67018979200026708059093569995064907649996075329133368253947573385329280061109066677354931270001972143682146327424879321
[200 ms] P(131, 0, 0) == 572188137846290072800961283331682779288835151064664808234565931599700324087442594845815077223036094127188630051541107841
[204 ms] P(132, 0, 0) == 4885455230371850316460624036557949021432274169358668310115704608873051077191766036867037513862342540410733866253083026529
[206 ms] P(133, 0, 0) == 41715359760731694997622399127682245077889600741278942404718327441751399707313369791409620042635222287696136246040421639369
[210 ms] P(134, 0, 0) == 356214297458727524247739576236681407414406694926775187103913464971365309869460013291547936249734363111135424069869405038317
[213 ms] P(135, 0, 0) == 3041940651161003527661839664257625249428728100757418766766282039044421750193440335270693040415356706086396376277936501620549
[216 ms] P(136, 0, 0) == 25978484311934023310749980027879733641106233388900244153985648249603919913199874412139497897743682639313503044806833835082689
[222 ms] P(137, 0, 0) == 221870835123100804521046913957071229553316397225629953970214308948697715840992893583380748090702107811277716443556903877772401
[226 ms] P(138, 0, 0) == 1895001793695010534785719558139541273556345922340621786589178099420875508097509015760231669940860399701936511652012630498198001
[231 ms] P(139, 0, 0) == 16186080644854126530719347607125757063277317535180550612288065630813878164451782483620086227356023509709284405334984615533434633
[470 ms] P(140, 0, 0) == 138259861512110775139014633952558001235393189736568686352488109601523976853998116011378438236460216075683858080233845090094497589
[226 ms] P(141, 0, 0) == 1181061632088832268140271108292029404709337457049938893532465622002019606764434675916328203643368552654950337155387502752166545309
[241 ms] P(142, 0, 0) == 10089524997728992128700741203374696959820604625368811065880454935123140089121584239449235425245227743192813318909542736562360254321
[235 ms] P(143, 0, 0) == 86196631026954449875790773971288478117642979359481506813259060430539173520626577917332309252745593498968059613644022509868877596361
[238 ms] P(144, 0, 0) == 736429161015372181614100637570397881756799039449039921209726314228997312116085277677994663599442366734930545370609410488586843917313
[238 ms] P(145, 0, 0) == 6292054643181376008498969150658542416257612019412589838334456013656992074398304665453024948050793314962636713641449243561559708446017
[244 ms] P(146, 0, 0) == 53761890418321904566670159915210667491304266198573874489808770189352137457951159481069302801139100478117799890505386559302790501238537
[247 ms] P(147, 0, 0) == 459385026003128077407605843300559575391900395767949005759176287387723907446417159257923774586999649810763921586001964277849913730822993
[250 ms] P(148, 0, 0) == 3925537428367086426418440865438130826159528217314113975524720743495258899178984798505022974424917278852234020111726422274024631050042313
[251 ms] P(149, 0, 0) == 33546029590114397891943839713225944468167774741508212687419099897441425016582923316167670547719173853122264610636719812736007050215253009
[255 ms] P(150, 0, 0) == 286683423125925095495081666219208330450139890242279012495479943178179118392226519058733061723989098618626490637284365961324106701747877541
[260 ms] P(151, 0, 0) == 2450096737805768953370701562279830980788107439698671827731329416629713403492256052995739767592251888530183114410810373626260508889476142941
[264 ms] P(152, 0, 0) == 20940296405672880805733764995581000190413263067418226529013895990939017746783640001357199011292580270353179204961825054035892435367350082069
[268 ms] P(153, 0, 0) == 178978602117670330385190170992349879639095718441298606319124690254903509577251020078137669762110258675796444655187685034642304291557035676709
[270 ms] P(154, 0, 0) == 1529811249772016692021688759262462844100794602806307073138645119406694576146661637984731635344557398428526086802073230560745410334610225565717
[275 ms] P(155, 0, 0) == 13076538657208727325721765138335397741912948173530502692240188047457706503611676877467576754616863190842100669493087639352090709427168513433421
[278 ms] P(156, 0, 0) == 111780419048811270373141940000586553005096727501603688766294249316610561732245055213980643565539952377182014015083534256561305770285675399314441
[2587 ms] P(157, 0, 0) == 955556597234698344099271882314682870852885825794139758983161351759054684834889281661776039429687121693488409279737209547156950818784474505832529
[282 ms] P(158, 0, 0) == 8168919620476308575575973338851305657129984529831376931859232536833820541117703918279552751201058944721677180201848302756866758560341025753786869
[287 ms] P(159, 0, 0) == 69837733336080806780772197754996088937258835936649789202301949810623085467170829278983331613149267088252983650205117894506220748982989786100563117
[293 ms] P(160, 0, 0) == 597080292263761823089423647755156346065742423942152736744211982377603340900319291535412383359775652002368815406352463844691682547178126561791814809
[299 ms] P(161, 0, 0) == 5104958481867351540401889801144903547184424090308202718214361529969497220360225390220814732285256884538755354082557238996825285621833167006147921049
[304 ms] P(162, 0, 0) == 43648403141516964124381589555816698752791786536904493780063103336194851307007089230213123113962470849855233316346000208422762066602563734366468945441
[310 ms] P(163, 0, 0) == 373216614130789278687686115676814761903469792320833786986371106990399371785246713668781957482213311118978973009429216882209444958437375354427429048841
[313 ms] P(164, 0, 0) == 3191316221045045040501595698168372180709676008300700626018932153664782342055890362561476855743224201185723695562244324524104420731818993338604194692553
[317 ms] P(165, 0, 0) == 27289449565952349035642545252368012989889513440190546408898416137270542716284376568972689477997315799476059820056983402936367115407292791812447772622449
[322 ms] P(166, 0, 0) == 233364926091440043972682241954435966285200665787362597486166130336856802235697385806211535702919297124442370316338623799971804816748131413581777794372469
[328 ms] P(167, 0, 0) == 1995685366440650079877287514643442759618857826877905797022201549309510762401224100262803516526762095236141501444527267443812638435557302833562685781645261
[334 ms] P(168, 0, 0) == 17067269903220706546205767719910836337351873658656272569075153022772767601851343768994452006878397185871514725068698297244604116993832104017812275770650401
[333 ms] P(169, 0, 0) == 145965880474467010775412135005611545978608701993603619459343736565573204270646878139035057449388647080431078557132595550856088724336201547469820338309295633
[339 ms] P(170, 0, 0) == 1248400048912862363166597955117061911921983185981912275548064322027277928284398438624205398741668914296265468570725739105415611860427434599045402336656460017
[345 ms] P(171, 0, 0) == 10677538758670846411917738817003571733013078684759841205402581494777422064814805666402226570770830044179478566256251491471904221071785112840046358544392548937
[350 ms] P(172, 0, 0) == 91327867284926513632482642938462207634722508327073873563170557276038849775422950979607272088526078947656937624070283733585648352982361611968297766488349436293
[354 ms] P(173, 0, 0) == 781178144698918067290827084910934326906348529498295074548789267886454275346808082117932062862120965027940481819770203949505085513664979110330207324665101607213
[361 ms] P(174, 0, 0) == 6682074197201452237093834394533279488798022480427920922745031169520401301015090495843611765632115002380268556329631619297403167526508374662894506569721589504609
[362 ms] P(175, 0, 0) == 57159283848666879846052223164752426529512277901418733987461737519821866925042460194567108441016050948228968894284975270837228316122533896415407845718635839732089
[856 ms] P(176, 0, 0) == 488963428280422645564154128405489388596593822368834725705647543083444400869376397745560125204165266061962142226138453659109216630286739002308129413303134086706589
[355 ms] P(177, 0, 0) == 4182923579285751153167504692901670023575291297944441688868173480257450356853593934904220092160552846520195253508627685059967796191962311948072102528597506869049501
[357 ms] P(178, 0, 0) == 35784691708120786734683574724795231336594731186405997517181876017539251240954415064740648757205501385215467058747878111598346497548940028797956848650775802031679461
[359 ms] P(179, 0, 0) == 306145776739809796459607179118858229251532425683077503578564955038404562289176960066466184450634348713160033636602910521646104849713149599470259949416523547777122893
[366 ms] P(180, 0, 0) == 2619224694633932421163804817779969277539937836947535490786977391694021383743762876604804552389107890484185031111485119639302732547317876059849681820655733862884526069
[370 ms] P(181, 0, 0) == 22409418271443857182535227727908355188616630760954816351592860471011736623790803157565772806107515356830090890818838695332596107384044889537260238200831431170393136349
[376 ms] P(182, 0, 0) == 191735091159159457437841432492740752317566883888744227337230641996353277073064323536023770749879070720765806236322950786425966332655892985674299942738164207509315316481
[386 ms] P(183, 0, 0) == 1640535667310065156585449339831471640183379649436057393308462759081798712407919076130563021252517192668790253890119223430717323365814101787806199007875119472945582055641
[388 ms] P(184, 0, 0) == 14037270173964637250626810434696777209299375064633385924439853362316437150460014907830944463794709735731270837606269180294464088741426955214473670587150197103653988784113
[389 ms] P(185, 0, 0) == 120113662680050741578297774082453072626878279461281695986989140252436237694795565066626194568775153718977867126104210823779906025501924904715812275312977334214907995405761
[391 ms] P(186, 0, 0) == 1027814627327287515853751884171522365910990034580379756959846717762292018900656476026982273706737219815605581909556663915741777879700170809662996376046664421156515571276721
[4470 ms] P(187, 0, 0) == 8795280100846179226520400391579766042302364645006743348085827227354809020469913786425909157522261119524894398606449804586639599537124675663063101295659088515745785232151689
[398 ms] P(188, 0, 0) == 75265667882640304325397971038080182274306079531311902203516438960165365394328631367435688354412916123888714278583046674198640681468608180046600364395870353508509576540968789
[402 ms] P(189, 0, 0) == 644104595684928133269690144297145469931924446151213799311057166788214211505161362007017751191187372845911674022880917724371599700514470936670433499375966152012433090087200637
[413 ms] P(190, 0, 0) == 5512238249011774271710660976513017116182362930391948654224783235914843228193399169559764976238903139064570324113047513437713736782724704630050968013613407297635456655365010961
[421 ms] P(191, 0, 0) == 47174959969820545959886828093890675101246446738579512953990813608072772763024392054763293010499663619053808611677927903001962524503706863940546196031850071894017044265071656041
[431 ms] P(192, 0, 0) == 403744810374841824229889710773193645272620201303856505277104598721093288734945875230891308890265295501602762150272422116414823622099510370609294811259495397216825792351804765829
[437 ms] P(193, 0, 0) == 3455525448343033244764361924904713298921003157151496655648359098505535586122248688476969673173246579683817178752244965884957005914801531369171996111660972503574431408191573149189
[435 ms] P(194, 0, 0) == 29575551191675612582089695714870768228204884426850295699650687981550097809453425633841862303412851556012789765578198997142811159747128732741122022881969599745813304546251943046637
[442 ms] P(195, 0, 0) == 253141348038234956190194796395114336128921431751323566682757535054555923798823776595875467263750100468000194406210061289610553957682364184040200074035173965674165469669494041033653
[513 ms] P(196, 0, 0) == 2166729529865651408974210860510728592566366443114755662822617351855679265797526622756746333974420466340333393564338504267240135689384616133694685144328187741238974297091565106805333
[519 ms] P(197, 0, 0) == 18546312490463976114315557503527852245437194011697750251226298493074790115950969128859294837583295818625114802527837611387018460487334965724932752086264754176846614564818599930783837
[460 ms] P(198, 0, 0) == 158752870590525277004157848788424412738368343178112024421589241293820075096458154074012348739590944272513640218994017586024313157595086064315952148742731865347363086951633407405472017
[462 ms] P(199, 0, 0) == 1358928578991229927939989735186286309795170760352627002332062059305558429479720301172689091125696752660368826504352730218682876284738647977439481868366103174293487033754520010347505481
[534 ms] P(200, 0, 0) == 11632755449304873177863999093486485196903552486960409269381995584834493711369554338551994381705582619860371652228539430374020299541680211732353488986066014140773611219863500457671679029
[473 ms] P(201, 0, 0) == 99581663383754625561773222598464430111140648290127824044423659217172203524128623402242861786966874631102826320348662880759767179769056400094279749454301654592526726177706866679903489829
[479 ms] P(202, 0, 0) == 852485222697509460549618596406741596406952583714830486555900434914259258899162105498683356495545404553085672951536121860693705726350477843581254700443473137658690763957659505752368665061
[485 ms] P(203, 0, 0) == 7298018201949053224962069128603953160251720934103536249266339860749267789785112648546072956490058073961734413684432693354979289264362492280539842918046169750901384575621286273648048390621
[497 ms] P(204, 0, 0) == 62478920959840528593834942223280074333192150722716307484830568145803252743865580487522894007368712187405442768390215645028727614271043904968789607822354493718466345495276634453551706641273
[503 ms] P(205, 0, 0) == 534899869401662455367836979750310001181887890152976740334690231851820860007269324030572307614738856239057598896077568980852494850762239251993391224327504878872527586867994189225822209429889
[506 ms] P(206, 0, 0) == 4579538932078966733682516750347653630427000739337259202687322620735330652883475932277830389278462002494157809275962421190270545550489160835136759809577741770344178143832131955451938247922469
[509 ms] P(207, 0, 0) == 39208588829468976770767540871178962751920191754250848042485104969334237540759455939574297474415515999143656194616301405696609684420661253599639561070222193264585573884994294145197634969316061
[577 ms] P(208, 0, 0) == 335699552782939258795754781038558435848932959004737862875871125330433889837923309463200800678642007139864826413762628155722087469242213999684575336474636627731582188600423817330136537976717021
[595 ms] P(209, 0, 0) == 2874288198081366067924921820252498054234152340806260727741449350534584703838992410954376133543240291432307564076574135714722577086933010115346263812330253569367398210711612240631508655852653853
[531 ms] P(210, 0, 0) == 24610461820765727001728073568271396239141828039961120754639874948853324410015172071522521759939530317711983013187338069296352149877996164660055293685436710715517923247624176751798842258651075781
[538 ms] P(211, 0, 0) == 210726436971389391925890273044731416247944484018718176682103173288969587646924092328375822323607610550588360251069723874781103914161040601475785419154454033679161657501480851424106264614952210541
[540 ms] P(212, 0, 0) == 1804379984526903115881753364294452253001305465805234485859789951276462664239062608043330277132772294233928386492062008319540956704735994332221113460149253328590693462062284869498073096747138560869
[548 ms] P(213, 0, 0) == 15450644600574400299217057034209250261005307556287905303234494660671103670893760878828677370751804115889228575131951984147508591760484898511249253577585657855059678188323356899686468457592346646669
[554 ms] P(214, 0, 0) == 132304537784868871197689954643842466638138536518965427405374268155863971820789108438187972012545789486605780413291341806112798586211211458759168597216075587035334254676175887230316262196936423869777
[633 ms] P(215, 0, 0) == 1132954120312918124409621212580691847508398389794620760308350156777214899045423817155002921908244532481753784278050217451487096980523861927243796213576854097985146043257049483617361350631636033335721
[643 ms] P(216, 0, 0) == 9701955209515620387565804905798965584351965358250334628650404832123650930009893761692508477003053449587306633830295385628229372684365271973950366483439889172841352998235189693342883530979517492430001
[566 ms] P(217, 0, 0) == 83083633243460941630331941522045035580037174907911007815262763812830988864620229857141033783751830330265277623545835364834728440829439334042680572357560399688810855132161159018991855164182357675549569
[581 ms] P(218, 0, 0) == 711509793115749644224044590805526044188540658894743987600405724416737996266616060254562741580548543462864725580253373426790785699936305588808270829116658894975558965822871119831179809885030818653636529
[586 ms] P(219, 0, 0) == 6093339659798280787596194995184450269266662247815552109346756379749578936082162265569530579379969232247710256145820629864232755605837615130953236881414151252861732257949015183137752263425653024949294857
[591 ms] P(220, 0, 0) == 52184186045725731452829888917031847833598739723586228741804228206272790984644257452311297190595292057579275079889031406529698839356873528758895988213007367141990576141989220325103635025914401365364673333
[1284 ms] P(221, 0, 0) == 446921635259363262408294323933516227031681733132634138272379743774363611359159521853908710568058849682403950600914490094816362124222101860175393660376111393410022314029494617544089227750301838932741339613
[580 ms] P(222, 0, 0) == 3827654264526244043182261367952828659810143404859677707868342481773956081915201469184162425537635643835621288049262506183807943257175330891544119102487793439522221483383665688241166317002034119968902551857
[582 ms] P(223, 0, 0) == 32782555543639392352885379132821114799113178005667771217617306674593176687641791399856959204409523750350338474045016572248497937810660104386273748978005804476477005511757855185683257271787184593961405481737
[592 ms] P(224, 0, 0) == 280777051479649901187663607977377953757387382921106573189617015182875905899958674709342148511756244041684911212159500192317349010202121268195021018842695743895883479933579992953457504595212102621748042382841
[7828 ms] P(225, 0, 0) == 2404855774202967902742103576833709032930924266129652413056498354514246626239732069847870677949572664232689341799097897182005490273700399039330692577451876890335229129948865616559925791506982667819087217656057
[680 ms] P(226, 0, 0) == 20597997880809060953073948346919366316226636140581852321670187073561633501797908436860711947871297731370530838710140531599020327507991374630387708102943759194409248642826825143184662934899864977727497100877057
[598 ms] P(227, 0, 0) == 176428789404769342758051359172398410242635314949429626191736729532132434132523110635378741456124281418928580912924475419269021718047967371900348845270920103021932774700778740222349362692790205351923219657463913
[609 ms] P(228, 0, 0) == 1511201223001300491177080287716799308227047289094004482188043068619912100601539529976960152628909535418631977080165907005902528002054711333109478723284248383152478172231331014676913693750051338716567244834859593
[716 ms] P(229, 0, 0) == 12944445831850530332996295694596963255730248395556438882098474631102872955758693470128359099282563268024034281178790999184123956966246849410884926578455287706028286200461668263217810007953707573150145472627092209
[627 ms] P(230, 0, 0) == 110879913892496107564652055085231779954407402540106848790467402675057514263133239818215271889070791482402140809098605375090556751402994305995172454348115216166518758096152401408197969440169723697904141167075246197
[632 ms] P(231, 0, 0) == 949796308938985831709128411037804005536758026189086664424051900565186894984140662205548081892421118338677471311465478580897635792538369546176999302843438035126190527992405480769215661156152299623343767951725820237
[640 ms] P(232, 0, 0) == 8136098250972983687244134213696061037843632635476991846821634554795526587635178866180517477289528176185132920700357294697657412990442809365866140107796179088941507610576472967481828755814546751994129077299056361553
[645 ms] P(233, 0, 0) == 69696333394788176148860252146656182687381030574961887552409442297749148869105606687192329949532389536597311648114710087218305850412964086217689285793001167683203853154668846369205676977129533061596648926688606836033
[656 ms] P(234, 0, 0) == 597051300993784102884821733543352409255248264654086408171426132340136105499935438520835575725365216800128806076898870365569752889090262395613112790579397928935944575280939251202873356461308008466569843913659604695969
[655 ms] P(235, 0, 0) == 5114713008370037412294761804632676030687590478915707821267418030791826308010161286331001568219458409496196595866519755353404108308454304813182770672507866455854398752366255258625570771913903308883634402196270138735353
[666 ms] P(236, 0, 0) == 43816605277474533002306993190078133906402739653944545547470247365735921864076634737605514052187882978549038319613623990010132382636687415027319178763928120627677559016678887486160238006027555597743431691679916303093333
[772 ms] P(237, 0, 0) == 375373797990734621288827914870254763656745415023933479034440648258327964597069050532091867463242225583628021455952465523724715216944467128731217526952356012664448681009109779202853488905470015133325209310050114678998397
[777 ms] P(238, 0, 0) == 3215858168956433567278997786857475593281053651898234576800624858780146035634280594215616179047990992228537569673392620839510153573041329323934440816954873613479991359780795421969882060404776579325526496165520909666205297
[689 ms] P(239, 0, 0) == 27551005837016505427664861698854005147825979757368784292280532635478187092383770301615016652081534224521810876888431871519896194937184910926489757385178133150519938162310120707335732280451530852579251999229444803446152201
[688 ms] P(240, 0, 0) == 236040000871970295390322455045311494990742176329275677462233724137623695307153913799499595737161175600440601533766429631643981027583428098281183754880989922053616243437136977942367130084138839409429547079363444820133682173
[701 ms] P(241, 0, 0) == 2022279921934312280940115096652151565793305384618740611466625050497283240105835061196521136853642299364503231626027955623494912345923322386274204725456105492650502370399568899959789506026267769463708572483310726612127410813
[707 ms] P(242, 0, 0) == 17326242318847609684828900053709070995917387494036954274257301498836180118021820324225825246788296457044175950226531293346915234809769442937188069307744687086474332501094412460477553888124550546964524461859961146757640267397
[708 ms] P(243, 0, 0) == 148448183665665332113462732494397837156297868819146398387003352229555734937656616333633503938922295563360560424659556881086269328412696145651960159420182482928960032966345930844800514719423945369607000967360330784001771255277
[718 ms] P(244, 0, 0) == 1271899281302358436618521212598344249494838731567699885434832576658053561261505429330919059037665445766224797234605732248213567648487391468955004747180189813640307317241305598667523972494561652821343251651896071088282104249941
[728 ms] P(245, 0, 0) == 10897774708356142451082027030782355736219629226150730670419483136102132374415010436222677107678215386588606221820090019233466368154235410016554436073535392802820190669035314979295827306081525064549269037997532675317496337221309
[732 ms] P(246, 0, 0) == 93374897808042835066664771135590913219927035587794006468022498015564819858789122371121357919575274504868733422213887507751474678348169329341500729751494252799862813989324218631581689931727070775995706748726394380225330174706849
[841 ms] P(247, 0, 0) == 800072983937836871633968943533525151822247937581773086878480627501082113569562740046750399444680435195202644294262030627887724134729552151949890467280633893937310913651146669930376082584332905730025069213785085582931769937322361
[855 ms] P(248, 0, 0) == 6855453141108252686453858298536940663644123322017557930310209217899933183643673313477014979836578517005414222119984114637132435174292501149375292315867065834842277072119960104345140630787971711502467305959427543134585256611186801
[751 ms] P(249, 0, 0) == 58742140135521245683016526524553899672421736241141608898876168450714636921579605314151399396881049013505649055833014520736391540842865560187676177642923644962836875045722523660201357883782250243607880884622384236576624272869580993
[761 ms] P(250, 0, 0) == 503350314764576212623902535272513157179526362040075075081604810540939792662013376708867522076485758638242192662764147205964115498703279785642474281819768235607831947636807087579191062295277850228638137626114883369126060351576577009