T[1,20] := [   		// time = 0.1 seconds
   <2, x - 456>,		// time = 0.03 seconds 
   <3, x - 50652>,		// time = 0 seconds 
   <5, x + 2377410>,		// time = 0.01 seconds 
   <7, x + 16917544>,		// time = 0.01 seconds 
   <11, x + 16212108>,		// time = 0.03 seconds 
   <13, x - 50421615062>,		// time = 0.03 seconds 
   <17, x - 225070099506>,		// time = 0.049 seconds 
   <19, x + 1710278572660>,		// time = 0.05 seconds 
   <23, x - 14036534788872>,		// time = 0.06 seconds 
   <29, x - 1137835269510>,		// time = 0.08 seconds 
   <31, x + 104626880141728>,		// time = 0.069 seconds 
   <37, x + 169392327370594>,		// time = 0.12 seconds 
   <41, x + 3309984750560838>,		// time = 0.12 seconds 
   <43, x - 1127913532193492>,		// time = 0.129 seconds 
   <47, x - 3498693987674256>,		// time = 0.149 seconds 
   <53, x - 29956294112980302>,		// time = 0.17 seconds 
   <59, x - 58391397642732420>,		// time = 0.19 seconds 
   <61, x - 23373685132672742>,		// time = 0.201 seconds 
   <67, x + 205102524257382244>,		// time = 0.2 seconds 
   <71, x + 177902341950417768>,		// time = 0.229 seconds 
   <73, x - 299853775038660122>,		// time = 0.239 seconds 
   <79, x + 92227090144007440>,		// time = 0.261 seconds 
   <83, x - 1208542823470585932>,		// time = 0.289 seconds 
   <89, x - 4371201192290304330>,		// time = 0.3 seconds 
   <97, x + 635013222218448094>,		// time = 0.341 seconds 
   <101, x + 14225184990751604898>,		// time = 0.359 seconds 
   <103, x - 4907294374153596152>,		// time = 0.35 seconds 
   <107, x - 26462522729977956756>,		// time = 0.37 seconds 
   <109, x + 18417779076742725130>,		// time = 0.389 seconds 
   <113, x - 25742101939950990162>,		// time = 0.41 seconds 
   <127, x - 88072027398734416256>,		// time = 0.45 seconds 
   <131, x - 71928888557627226972>,		// time = 0.5 seconds 
   <137, x + 295426173292082995494>,		// time = 0.489 seconds 
   <139, x - 138478242598622657780>,		// time = 0.52 seconds 
   <149, x + 266021193813555196050>,		// time = 0.541 seconds 
   <151, x - 575578481645706044552>,		// time = 0.57 seconds 
   <157, x + 1072375480931336531194>,		// time = 0.599 seconds 
   <163, x + 580764662999007691588>,		// time = 0.609 seconds 
   <167, x - 243392417169880585656>,		// time = 0.641 seconds 
   <173, x + 1193502882659918351178>,		// time = 0.66 seconds 
   <179, x + 4146639259449756929940>,		// time = 0.669 seconds 
   <181, x - 3323637583685998127822>,		// time = 0.709 seconds 
   <191, x - 6193795096341916302912>,		// time = 0.75 seconds 
   <193, x + 5206971294736770240958>,		// time = 0.75 seconds 
   <197, x - 2423836313237712027006>,		// time = 0.771 seconds 
   <199, x + 1059072621521283111400>,		// time = 0.779 seconds 
   <211, x + 13242387429757990150708>,		// time = 0.829 seconds 
   <223, x - 20092136783007908058272>,		// time = 0.89 seconds 
   <227, x + 20349408367227979917444>,		// time = 0.91 seconds 
   <229, x + 39990035937447287206690>,		// time = 0.94 seconds 
   <233, x - 24217033172511669439482>,		// time = 0.949 seconds 
   <239, x - 26241066116230112579280>,		// time = 1.001 seconds 
   <241, x - 73644506169104941694162>,		// time = 0.981 seconds 
   <251, x - 72930920304932253837252>,		// time = 1.03 seconds 
   <257, x + 63812030516904649354494>,		// time = 1.07 seconds 
   <263, x + 135819824783556684808488>,		// time = 1.099 seconds 
   <269, x + 133672004682359243213610>,		// time = 1.13 seconds 
   <271, x - 200547574021219881238832>,		// time = 1.131 seconds 
   <277, x - 200222747174096559828206>,		// time = 1.179 seconds 
   <281, x + 119239496202616376591478>,		// time = 1.179 seconds 
   <283, x + 3461084772055526965468>,		// time = 1.2 seconds 
   <293, x + 213235512531799832489058>,		// time = 1.259 seconds 
   <307, x - 191887086781507035813356>,		// time = 1.31 seconds 
   <311, x + 154521700942476731981208>,		// time = 1.319 seconds 
   <313, x - 287407616111100408566762>,		// time = 1.341 seconds 
   <317, x - 26353269327755584850406>,		// time = 1.359 seconds 
   <331, x + 1053375627397004455028428>,		// time = 1.43 seconds 
   <337, x - 676159899744517170641906>,		// time = 1.451 seconds 
   <347, x - 1063246225907504447440356>,		// time = 1.489 seconds 
   <349, x + 714666649174805721201850>,		// time = 1.521 seconds 
   <353, x + 507320765589089335531998>,		// time = 1.539 seconds 
   <359, x - 3320064150855122758012920>,		// time = 1.6 seconds 
   <367, x + 2244298570574857699866544>,		// time = 1.589 seconds 
   <373, x - 5106064897996372955121422>,		// time = 1.631 seconds 
   <379, x + 4289751162168739890186940>,		// time = 1.661 seconds 
   <383, x + 1868030627574609716765568>,		// time = 1.669 seconds 
   <389, x + 6474481839876985824443970>,		// time = 1.701 seconds 
   <397, x - 1227597115000120170846806>,		// time = 1.75 seconds 
   <401, x + 517895245995397565310798>,		// time = 1.759 seconds 
   <409, x - 2818767450506973223394570>,		// time = 1.801 seconds 
   <419, x - 8655708588109946594551740>,		// time = 1.849 seconds 
   <421, x + 5216517712913512492334818>,		// time = 1.871 seconds 
   <431, x - 10436381488383884270310672>,		// time = 1.95 seconds 
   <433, x - 14510951301856278108779282>,		// time = 1.939 seconds 
   <439, x - 17985690752159857937736680>,		// time = 1.969 seconds 
   <443, x - 8736849476979332061375492>,		// time = 1.969 seconds 
   <449, x + 16057594567447141671042750>,		// time = 2.01 seconds 
   <457, x + 2675866234039257366875494>,		// time = 2.049 seconds 
   <461, x - 6968065181802302254603542>,		// time = 2.069 seconds 
   <463, x + 24984337558293435796179088>,		// time = 2.09 seconds 
   <467, x - 19453069178829687522404556>,		// time = 2.111 seconds 
   <479, x - 33415333454065222785017760>,		// time = 2.161 seconds 
   <487, x + 48618082719633037051166344>,		// time = 2.21 seconds 
   <491, x - 9867302508639730608865812>,		// time = 2.28 seconds 
   <499, x + 35415047001126952989663700>,		// time = 2.25 seconds 
   <503, x - 14720352635696539116278952>,		// time = 2.299 seconds 
   <509, x + 48829005109648323366368730>,		// time = 2.31 seconds 
   <521, x - 71444530606997803992245082>,		// time = 2.379 seconds 
   <523, x - 89989490933798334932096372>,		// time = 2.401 seconds 
   <541, x + 93360210082563133894716538>,		// time = 2.479 seconds 
   <547, x + 27467041603607834560578244>,		// time = 2.51 seconds 
   <557, x - 142588699490134503664158006>,		// time = 2.571 seconds 
   <563, x + 172252275378180515000704788>,		// time = 2.589 seconds 
   <569, x - 52489258032363872534509290>,		// time = 2.62 seconds 
   <571, x + 3216737162983851125343868>,		// time = 2.65 seconds 
   <577, x - 117452828132996543064218306>,		// time = 2.669 seconds 
   <587, x - 1868862009035096102933556>,		// time = 2.78 seconds 
   <593, x + 150165073713894823114150158>,		// time = 2.75 seconds 
   <599, x - 165804217294620955662035400>,		// time = 2.781 seconds 
   <601, x + 254795398167551616303036598>,		// time = 2.819 seconds 
   <607, x - 314191293450732569600135456>,		// time = 2.819 seconds 
   <613, x + 391477672780633338462808738>,		// time = 2.861 seconds 
   <617, x - 486066221227871859201962106>,		// time = 2.899 seconds 
   <619, x + 451098253696556017748426860>,		// time = 2.881 seconds 
   <631, x - 203805071384693884419692072>,		// time = 2.949 seconds 
   <641, x - 577926950333012117394136962>,		// time = 3.009 seconds 
   <643, x - 772049268275202746206982492>,		// time = 3.031 seconds 
   <647, x + 1392256800135635419647144>,		// time = 3.071 seconds 
   <653, x + 619470222760661832598870698>,		// time = 3.079 seconds 
   <659, x + 79662660304446879314894580>,		// time = 3.141 seconds 
   <661, x + 185436309592288012497255058>,		// time = 3.259 seconds 
   <673, x - 591531975816112122825354722>,		// time = 3.21 seconds 
   <677, x + 297418062223597907916800994>,		// time = 3.25 seconds 
   <683, x + 1259426577099632388995338668>,		// time = 3.269 seconds 
   <691, x - 31996453716239418771490412>,		// time = 3.281 seconds 
   <701, x - 2064629078554311470359104102>,		// time = 3.341 seconds 
   <709, x + 1440955677319441783081036930>,		// time = 3.391 seconds 
   <719, x + 1263930301200965104242038160>,		// time = 3.449 seconds 
   <727, x - 554467748906702914995440456>,		// time = 3.49 seconds 
   <733, x - 806563014637524944378250182>,		// time = 3.5 seconds 
   <739, x - 663849768850552007374925180>,		// time = 3.569 seconds 
   <743, x + 3640947602991580851653680008>,		// time = 3.569 seconds 
   <751, x + 1554577041827633477827398448>,		// time = 3.6 seconds 
   <757, x - 1334060519009086810602782606>,		// time = 3.651 seconds 
   <761, x + 68982915656223958871596758>,		// time = 3.701 seconds 
   <769, x + 809673088318519394490554110>,		// time = 3.709 seconds 
   <773, x - 1009238467990545727481244222>,		// time = 3.901 seconds 
   <787, x + 4883074190805508431608093044>,		// time = 3.811 seconds 
   <797, x - 1183457735592477326828764806>,		// time = 3.859 seconds 
   <809, x + 5084951459230685387890761030>,		// time = 3.911 seconds 
   <811, x + 27213304830712131339736108>,		// time = 3.939 seconds 
   <821, x + 516380791107383402431504818>,		// time = 4 seconds 
   <823, x + 1976238814126263760979269528>,		// time = 4.009 seconds 
   <827, x + 1167945368430261889372056444>,		// time = 4.05 seconds 
   <829, x - 4208089612099645624896372710>,		// time = 4.06 seconds 
   <839, x - 8492535037153362379496144280>,		// time = 4.069 seconds 
   <853, x + 9333449430453710848291401298>,		// time = 4.17 seconds 
   <857, x + 11103739699848511536058131894>,		// time = 4.219 seconds 
   <859, x - 11147795036950497002528898020>,		// time = 4.19 seconds 
   <863, x - 11544545264508987293598868512>,		// time = 4.23 seconds 
   <877, x - 15591174053274879720999887606>,		// time = 4.289 seconds 
   <881, x - 335920487479087202598947922>,		// time = 4.36 seconds 
   <883, x + 134374308692347566243606868>,		// time = 4.331 seconds 
   <887, x - 9238872428845976272837826856>,		// time = 4.569 seconds 
   <907, x + 18058501386448135781249208844>,		// time = 4.459 seconds 
   <911, x + 19930387918681950794667229008>,		// time = 4.54 seconds 
   <919, x - 10431956843245634836995714440>,		// time = 4.539 seconds 
   <929, x + 5177357237229028065304968990>,		// time = 4.61 seconds 
   <937, x - 9332015844322152887347483706>,		// time = 4.62 seconds 
   <941, x - 4501145845350783495352219062>,		// time = 4.66 seconds 
   <947, x - 17612552500617257594061934956>,		// time = 4.689 seconds 
   <953, x - 5937301978653944117499620202>,		// time = 4.719 seconds 
   <967, x + 25848879904223060783499866344>,		// time = 4.82 seconds 
   <971, x - 20573213660753757730929994932>,		// time = 4.841 seconds 
   <977, x + 23452372740546363458648241294>,		// time = 4.889 seconds 
   <983, x - 42552577586447649578248834632>,		// time = 4.889 seconds 
   <991, x - 52147222626560601969944350112>,		// time = 4.92 seconds 
   <997, x + 1615412567054620685341032994>		// time = 5 seconds 
];

T[1,22] := [   		// time = 1.49 seconds
   <2, x + 288>,		// time = 0.009 seconds 
   <3, x + 128844>,		// time = 0 seconds 
   <5, x - 21640950>,		// time = 0.019 seconds 
   <7, x + 768078808>,		// time = 0.01 seconds 
   <11, x + 94724929188>,		// time = 0.031 seconds 
   <13, x + 80621789794>,		// time = 0.039 seconds 
   <17, x - 3052282930002>,		// time = 0.04 seconds 
   <19, x + 7920788351740>,		// time = 0.06 seconds 
   <23, x + 73845437470344>,		// time = 0.06 seconds 
   <29, x + 4253031736469010>,		// time = 0.089 seconds 
   <31, x - 1900541176310432>,		// time = 0.1 seconds 
   <37, x - 22191429912035222>,		// time = 0.12 seconds 
   <41, x + 20622803144546358>,		// time = 0.129 seconds 
   <43, x + 193605854685795844>,		// time = 0.14 seconds 
   <47, x - 146960504315611632>,		// time = 0.161 seconds 
   <53, x - 2038267110310687206>,		// time = 0.18 seconds 
   <59, x + 5975882742742352820>,		// time = 0.199 seconds 
   <61, x - 6190617154478149262>,		// time = 0.219 seconds 
   <67, x - 16961315295446680052>,		// time = 0.23 seconds 
   <71, x + 5632758963952293528>,		// time = 0.26 seconds 
   <73, x + 43284759511102937494>,		// time = 0.26 seconds 
   <79, x + 51264938664949064560>,		// time = 0.29 seconds 
   <83, x - 48911854702961049156>,		// time = 0.31 seconds 
   <89, x + 504303489899844009030>,		// time = 0.33 seconds 
   <97, x - 808275058155029184482>,		// time = 0.37 seconds 
   <101, x + 1002018079349702950698>,		// time = 0.38 seconds 
   <103, x + 589747054476306481144>,		// time = 0.391 seconds 
   <107, x - 1122100836768400472892>,		// time = 0.409 seconds 
   <109, x - 1723939397379244815230>,		// time = 0.42 seconds 
   <113, x - 495809929052605094706>,		// time = 0.43 seconds 
   <127, x - 1636093498211141405312>,		// time = 0.5 seconds 
   <131, x + 13864963308265839166668>,		// time = 0.519 seconds 
   <137, x + 40078919621811128507478>,		// time = 0.54 seconds 
   <139, x - 44758479808291059117020>,		// time = 0.549 seconds 
   <149, x - 49328908894524903236550>,		// time = 0.6 seconds 
   <151, x - 57041480281980994831352>,		// time = 0.62 seconds 
   <157, x - 63562335234693291666542>,		// time = 0.629 seconds 
   <163, x - 86848360806012005785556>,		// time = 0.67 seconds 
   <167, x + 189411168573448801125048>,		// time = 0.689 seconds 
   <173, x + 418507989542345072272194>,		// time = 0.709 seconds 
   <179, x - 476751571771182829691940>,		// time = 0.75 seconds 
   <181, x + 28862734509184028216218>,		// time = 0.75 seconds 
   <191, x - 886377892508974169952192>,		// time = 0.8 seconds 
   <193, x - 86350861419370594951106>,		// time = 0.81 seconds 
   <197, x + 699007897302572286502218>,		// time = 0.829 seconds 
   <199, x + 1245423293022700543384600>,		// time = 0.841 seconds 
   <211, x - 3508414568865110558396612>,		// time = 0.899 seconds 
   <223, x + 4723499876938725919843744>,		// time = 0.96 seconds 
   <227, x + 5443168797133335298442988>,		// time = 0.99 seconds 
   <229, x - 6906769890393014065423190>,		// time = 0.99 seconds 
   <233, x - 4536502138132360491188106>,		// time = 1.01 seconds 
   <239, x + 2734929976785810304038480>,		// time = 1.05 seconds 
   <241, x + 8089068534967740784314958>,		// time = 1.06 seconds 
   <251, x - 6639265576003324440330252>,		// time = 1.11 seconds 
   <257, x - 1572784572582880285431042>,		// time = 1.129 seconds 
   <263, x + 34007704831734243878665944>,		// time = 1.17 seconds 
   <269, x + 35797484585908924151848290>,		// time = 1.189 seconds 
   <271, x - 24610355301559536092347472>,		// time = 1.209 seconds 
   <277, x + 61167930197964617291422138>,		// time = 1.23 seconds 
   <281, x - 17371006954434479553698682>,		// time = 1.259 seconds 
   <283, x - 75723743460270764544477356>,		// time = 1.259 seconds 
   <293, x - 48868444165733855376762006>,		// time = 1.319 seconds 
   <307, x + 217987303913841181562767708>,		// time = 1.38 seconds 
   <311, x + 40464448729200819848147688>,		// time = 1.401 seconds 
   <313, x + 8741736495920098775109094>,		// time = 1.409 seconds 
   <317, x + 31975828554853721823734898>,		// time = 1.45 seconds 
   <331, x + 252214821588073220443373668>,		// time = 1.511 seconds 
   <337, x + 153126867676011786188538478>,		// time = 1.529 seconds 
   <347, x - 323436088129753442457201132>,		// time = 1.569 seconds 
   <349, x + 677854422495976101280925650>,		// time = 1.61 seconds 
   <353, x - 684291443640449529403335906>,		// time = 1.62 seconds 
   <359, x + 68550020504461629496003320>,		// time = 1.659 seconds 
   <367, x - 1135754326884411482171208752>,		// time = 1.701 seconds 
   <373, x - 382975272769427563667540006>,		// time = 1.729 seconds 
   <379, x - 71476681765193129726476940>,		// time = 1.76 seconds 
   <383, x + 1384251778002467070147567744>,		// time = 1.781 seconds 
   <389, x - 1632131566081847956928241270>,		// time = 1.819 seconds 
   <397, x - 1210289951770833802578359582>,		// time = 1.85 seconds 
   <401, x + 651358092672234306844957998>,		// time = 1.879 seconds 
   <409, x + 4452509308640009615484926470>,		// time = 1.93 seconds 
   <419, x - 4929117920066309934786331860>,		// time = 1.979 seconds 
   <421, x - 1501451475964271757135865622>,		// time = 2 seconds 
   <431, x + 7192208408787252836263540368>,		// time = 2.04 seconds 
   <433, x - 4231039979486647937142977906>,		// time = 2.069 seconds 
   <439, x - 4532345507950689721889204120>,		// time = 2.079 seconds 
   <443, x + 4611861758580901269978709044>,		// time = 2.12 seconds 
   <449, x + 125691710634107392937298750>,		// time = 2.14 seconds 
   <457, x - 11592375120690064099596363242>,		// time = 2.19 seconds 
   <461, x - 10251364377141043522143968862>,		// time = 2.211 seconds 
   <463, x + 5728005750190077010592015344>,		// time = 2.219 seconds 
   <467, x - 11265794999774759881781786052>,		// time = 2.24 seconds 
   <479, x + 11737295436000615389604761760>,		// time = 2.31 seconds 
   <487, x - 4752717872642987025249185672>,		// time = 2.36 seconds 
   <491, x + 25983670171031766454922026308>,		// time = 2.37 seconds 
   <499, x - 38450776510836865272391897700>,		// time = 2.43 seconds 
   <503, x + 32744550835279659331248859944>,		// time = 2.43 seconds 
   <509, x + 20247200613982617886769365170>,		// time = 2.479 seconds 
   <521, x - 4752074954635301477500711722>,		// time = 2.521 seconds 
   <523, x + 128180197215053244081351844>,		// time = 2.549 seconds 
   <541, x - 34274656328077303421562536942>,		// time = 2.651 seconds 
   <547, x + 73032853601376943572884637868>,		// time = 2.68 seconds 
   <557, x + 33259714798117503240689822658>,		// time = 2.719 seconds 
   <563, x + 82833166386840180402048689244>,		// time = 2.771 seconds 
   <569, x - 73541432034222675440706774810>,		// time = 2.819 seconds 
   <571, x - 109130626920792725089300727372>,		// time = 2.839 seconds 
   <577, x - 13072697119255384430631063362>,		// time = 2.87 seconds 
   <587, x + 171459462862893571896113347428>,		// time = 2.91 seconds 
   <593, x - 235277286506353728692049564306>,		// time = 2.959 seconds 
   <599, x + 133384412823451582627272515400>,		// time = 2.98 seconds 
   <601, x + 36447416902986319326209315398>,		// time = 3 seconds 
   <607, x - 271227627181215540047395469792>,		// time = 3.029 seconds 
   <613, x + 202698916028143257089926173994>,		// time = 3.091 seconds 
   <617, x - 304169265740427497878453505802>,		// time = 3.099 seconds 
   <619, x - 121487484873224131263384454460>,		// time = 3.11 seconds 
   <631, x + 179118323410746278123102310568>,		// time = 3.159 seconds 
   <641, x + 341742425780992412389179071358>,		// time = 3.22 seconds 
   <643, x - 75758164069647994355240322356>,		// time = 3.23 seconds 
   <647, x + 299088493885343953698667892568>,		// time = 3.26 seconds 
   <653, x - 54050657891124307079175461406>,		// time = 3.291 seconds 
   <659, x - 22660638043214718006135714180>,		// time = 3.309 seconds 
   <661, x + 187482826359076091819735585338>,		// time = 3.37 seconds 
   <673, x - 753000691407057420241379913506>,		// time = 3.37 seconds 
   <677, x + 812051875824678056735287260138>,		// time = 3.441 seconds 
   <683, x - 469972897548632796837487826556>,		// time = 3.459 seconds 
   <691, x - 358805596844034670680933510692>,		// time = 3.51 seconds 
   <701, x + 733109594156634430617996768498>,		// time = 3.561 seconds 
   <709, x - 1209091792279360098319100495030>,		// time = 3.6 seconds 
   <719, x + 525189439062659479431490752240>,		// time = 3.649 seconds 
   <727, x - 723318091782840375543685184312>,		// time = 3.71 seconds 
   <733, x + 2114087495493409671682372595794>,		// time = 3.739 seconds 
   <739, x + 742068891536737542377897606380>,		// time = 3.791 seconds 
   <743, x - 1699679357057511219743864530056>,		// time = 3.829 seconds 
   <751, x - 590225070899380377343532741552>,		// time = 3.85 seconds 
   <757, x - 1333076245417286181881105272742>,		// time = 3.9 seconds 
   <761, x + 786217296234752404551865196838>,		// time = 3.921 seconds 
   <769, x + 1650825843831149027017656897790>,		// time = 3.98 seconds 
   <773, x - 3779302894002331949030614345206>,		// time = 3.99 seconds 
   <787, x + 3582189155895850005156403346428>,		// time = 4.039 seconds 
   <797, x + 4459013991509129674821903456018>,		// time = 4.11 seconds 
   <809, x - 3091556302581578909161041725130>,		// time = 4.179 seconds 
   <811, x + 985710954571375834730784163588>,		// time = 4.201 seconds 
   <821, x + 5819295509980003569677765623578>,		// time = 4.25 seconds 
   <823, x - 1828477660915060538310548748056>,		// time = 4.269 seconds 
   <827, x + 3809967436089866256476934878388>,		// time = 4.309 seconds 
   <829, x - 924246936816516492950713531790>,		// time = 4.301 seconds 
   <839, x - 2180574840713560389663470012520>,		// time = 4.389 seconds 
   <853, x + 4277540661459166671682864143994>,		// time = 4.46 seconds 
   <857, x + 176321978256569215028208889158>,		// time = 4.509 seconds 
   <859, x - 4740092804763513487964459545580>,		// time = 4.48 seconds 
   <863, x - 810823601157008814082791788256>,		// time = 4.519 seconds 
   <877, x - 1552548727521538775021916955262>,		// time = 4.6 seconds 
   <881, x + 5757216249646820376137356256718>,		// time = 4.619 seconds 
   <883, x + 12913360687045683307151349167644>,		// time = 4.641 seconds 
   <887, x + 4227522565906801827046787439528>,		// time = 4.659 seconds 
   <907, x - 13478618410502600169967727606492>,		// time = 4.769 seconds 
   <911, x + 12888619206142565685594630762288>,		// time = 4.8 seconds 
   <919, x - 1250178927398570334618210919160>,		// time = 4.85 seconds 
   <929, x + 14124505231588636986777423084510>,		// time = 4.921 seconds 
   <937, x + 7128507429613373822931851972278>,		// time = 4.949 seconds 
   <941, x + 107253668033184700395005678658>,		// time = 4.98 seconds 
   <947, x - 29293479178428793583046597808932>,		// time = 5.01 seconds 
   <953, x - 30432047879175387280562346071706>,		// time = 5.061 seconds 
   <967, x + 37848488080891056648372326612248>,		// time = 5.109 seconds 
   <971, x + 16233440423927458231915611821028>,		// time = 5.181 seconds 
   <977, x - 2988581693960192100230788268562>,		// time = 5.23 seconds 
   <983, x + 24137102462439152330833908223944>,		// time = 5.289 seconds 
   <991, x + 22943625633260040059279850383008>,		// time = 5.27 seconds 
   <997, x - 35503639024038538087336360874582>		// time = 5.331 seconds 
];

T[1,24] := [   		// time = 1.539 seconds
   <2, x^2 - 1080*x - 20468736>,		// time = 0.01 seconds 
   <3, x^2 - 339480*x - 19020146544>,		// time = 0.01 seconds 
   <5, x^2 - 73069020*x - 3361250798797500>,		// time = 0.031 seconds 
   <7, x^2 + 1359184400*x - 19714065371291135936>,		// time = 0.039 seconds 
   <11, x^2 - 856801968264*x + 152480473377151271633424>,		// time = 0.059 seconds 
   <13, x^2 - 4376109322060*x - 28609827010851645818437724>,		// time = 0.071 seconds 
   <17, x^2 - 254028147597540*x + 4645977130345617355832980164>,		// time = 0.09 seconds 
   <19, x^2 - 4260600979960*x - 390890637284318960442727766000>,		// time = 0.099 seconds 
   <23, x^2 + 8144713079008560*x + 16349352142320793124704986348096>,		// time = 0.12 seconds 
   <29, x^2 - 20818433601623340*x - 852741827545480891538082188521500>,		// time = 0.161 seconds 
   <31, x^2 - 137714017177000384*x + 185013381333206480619537631396864>,		// time = 0.169 seconds 
   <37, x^2 + 897721264408967780*x - 422811213787781995025683747721355836>,		// time = 0.211 seconds 
   <41, x^2 + 2294435477168314956*x - 5175989760250467987484363287358119516>,		// time = 0.24 seconds 
   <43, x^2 + 1750760768619855800*x - 430924970220552207758522075394804464>,		// time = 0.25 seconds 
   <47, x^2 - 15759744217656780960*x - 212082722765888031552039011400776967936>,		// time = 0.269 seconds 
   <53, x^2 + 140287253401646796420*x + 4881689282828580850774903446073665105156>,		// time = 0.309 seconds 
   <59, x^2 - 280872989971340771880*x - 287141317524725751037029810398574438000>,		// time = 0.36 seconds 
   <61, x^2 + 180452892516502223636*x - 134413668840629596265010008968606860734876>,		// time = 0.37 seconds 
   <67, x^2 - 1754233163431557625240*x + 409680143490650218652123231451406645035664>,		// time = 0.421 seconds 
   <71, x^2 - 3055033510194143328624*x + 1750877789068333226631930662727661614433344>,		// time = 0.439 seconds 
   <73, x^2 + 8063408253877606149260*x + 15965868396225968204333434069799336092015396>,		// time = 0.451 seconds 
   <79, x^2 - 6244916814559639980640*x - 40838059069801232593874766669935539561568000>,		// time = 0.5 seconds 
   <83, x^2 - 6875994082418498976120*x - 112591047310494995468805854565351745122035184>,		// time = 0.519 seconds 
   <89, x^2 - 6395093086173070004820*x + 8298778222734759129202752403913138041846500>,		// time = 0.579 seconds 
   <97, x^2 + 31147288846254030500540*x - 9386917752510939863135558524811583300529914236>,		// time = 0.62 seconds 
   <101, x^2 - 184666203446932934303004*x + 6597341749515172272754684443510869238322616004>,		// time = 0.671 seconds 
   <103, x^2 + 18228587422434248691920*x - 457698408199838775090474046344259337650410944>,		// time = 0.669 seconds 
   <107, x^2 - 1021370333730832326600*x - 3574153910342496521157076561584165113313463536>,		// time = 0.701 seconds 
   <109, x^2 - 231070547077750257251980*x - 16013161947988600460414898412622504291783649500>,		// time = 0.709 seconds 
   <113, x^2 - 302738844624497591053860*x - 17148858679608100956363389636154716827978318524>,		// time = 0.74 seconds 
   <127, x^2 - 3689154332975207384999680*x + 3176016332834747882583702574126152405506980593664>,		// time = 0.841 seconds 
   <131, x^2 - 3503548050490957637602584*x + 2292640655477368317547495835915826720190223109264>,		// time = 0.87 seconds 
   <137, x^2 - 3220314991228999595096820*x - 5407965021613045019551265543193409791356279235036>,		// time = 0.919 seconds 
   <139, x^2 + 4219460506405536156201080*x + 1850802835679421520751231424143906076975916138000>,		// time = 0.921 seconds 
   <149, x^2 - 16410358170768024921613500*x + 16926401408211530354029954035966545747532809722500>,		// time = 1 seconds 
   <151, x^2 + 8760136741540406666843696*x - 47125171290061564279342130622250947536763241704896>,		// time = 1.029 seconds 
   <157, x^2 - 15201150203689144748665900*x + 2884217030678072322184481557314985164506722683364>,		// time = 1.08 seconds 
   <163, x^2 + 48880837531538233665068840*x + 594523188937465753039585979024431717147920038501776>,		// time = 1.109 seconds 
   <167, x^2 - 5942406237138639191755440*x - 209313665463806054748107959815494276464500774515136>,		// time = 1.141 seconds 
   <173, x^2 - 56522652285612959289097740*x - 4954194211463189473940347791038650004627502456867804>,		// time = 1.199 seconds 
   <179, x^2 - 88466246908154795114618040*x - 986201844705582649342500674613502208114333401014000>,		// time = 1.23 seconds 
   <181, x^2 + 4071316561796233985341316*x - 2464086672823848462170999433934137322882707721847036>,		// time = 1.25 seconds 
   <191, x^2 - 224714239694079118008879744*x - 26488400715677506455003747728232858403274939092463616>,		// time = 1.321 seconds 
   <193, x^2 + 394980074159297106017618300*x + 34198884373158709627319013914685906040264176414719236>,		// time = 1.359 seconds 
   <197, x^2 + 490036924840137156453803940*x + 39023976595113196422185644091648582418109624734570564>,		// time = 1.391 seconds 
   <199, x^2 - 321286231700445879256486000*x - 56134955862258960351888425225309169823410205094360000>,		// time = 1.399 seconds 
   <211, x^2 + 208701487262068474079123336*x - 468856292205373916259529267880138570135145121193697776>,		// time = 1.48 seconds 
   <223, x^2 - 819206936965863064901477440*x - 789897304261307829965077053631548913137997375002082304>,		// time = 1.579 seconds 
   <227, x^2 + 3971233132081267292843665320*x + 3915787828564632704816755441478165628545288958610610064>,		// time = 1.63 seconds 
   <229, x^2 - 473444833552740321022067740*x - 712342583162306244520210720073970746170928626568349500>,		// time = 1.64 seconds 
   <233, x^2 - 559347291493928274253933620*x - 3576832505129292339276360395589706251218534752076891484>,		// time = 1.651 seconds 
   <239, x^2 - 3684933532225860061668844320*x + 2842591632865306600599162966935172816608759293583520000>,		// time = 1.719 seconds 
   <241, x^2 - 421321240152242672853092644*x - 2701850142472985266437956617647479905752434217524272316>,		// time = 1.74 seconds 
   <251, x^2 + 3887242411045019767381745496*x - 922882872787882836330571024877934560956576198006928496>,		// time = 1.811 seconds 
   <257, x^2 + 9054313244957527396009890300*x + 20162096311945644266048530268137869903876821129989544964>,		// time = 1.85 seconds 
   <263, x^2 - 11969538733918204299792894960*x + 20060038859995893934729805681974775800691579836747046976>,		// time = 1.929 seconds 
   <269, x^2 - 6363152873282988353982666060*x + 3675642411454157522511104380873726586212169065765102500>,		// time = 1.98 seconds 
   <271, x^2 - 17105092830806726239377843424*x + 61775323544292958223475152183888786078409429204409970944>,		// time = 1.98 seconds 
   <277, x^2 - 7665998307834010354355125180*x - 68630301311711517415256318275033513343416279939418682236>,		// time = 2.049 seconds 
   <281, x^2 - 22089701538692347796988316884*x + 120110406747681156219060765100414251747188543086071227364>,		// time = 2.081 seconds 
   <283, x^2 + 47746655245100759402126915480*x + 564317609329032265580327148502849808499357541603490601616>,		// time = 2.079 seconds 
   <293, x^2 - 19984322361515811245416115100*x - 385164759763204617826809643716227378038899393947831176764>,		// time = 2.151 seconds 
   <307, x^2 + 58583459871302526145893475400*x + 542905991052889294211269564833191559936194886058525525264>,		// time = 2.289 seconds 
   <311, x^2 - 35382020593596333486586744464*x - 32641609987240851598781571013323908459919206314685578176>,		// time = 2.309 seconds 
   <313, x^2 - 14259211863411930381563546260*x - 290755222804788811301065675782854628633186668703829165724>,		// time = 2.35 seconds 
   <317, x^2 - 10875388116664616401281186540*x - 40186274574401533081948567114373946815319886241429556636>,		// time = 2.36 seconds 
   <331, x^2 - 202721557227318126899921317384*x + 6515448541056799553839271460415655465018151421550710990864>,		// time = 2.48 seconds 
   <337, x^2 + 33007459547986254408138631580*x - 21523624935475575853617606723514113213984492521112663435836>,		// time = 2.539 seconds 
   <347, x^2 - 259636958931265780079671056360*x + 16604233915329225200389914926808544541106663615160956702864>,		// time = 2.62 seconds 
   <349, x^2 - 95062833075313992592416342700*x + 1618112383486601290173610504378951449667396435411968182500>,		// time = 2.63 seconds 
   <353, x^2 + 342708765309589060544108972220*x - 9474664465378568081597832979877052406598135332233149246844>,		// time = 2.681 seconds 
   <359, x^2 + 579958553124709204890601267920*x + 82136333501392802622014242086646762316922341020528254696000>,		// time = 2.73 seconds 
   <367, x^2 + 310360527439106185719713224160*x - 76944267491653702721721399290086830999212544403169383636736>,		// time = 2.789 seconds 
   <373, x^2 + 186701340779124483123543705860*x - 30051498490283544671439451907152673112196371784088682475004>,		// time = 2.87 seconds 
   <379, x^2 - 934800419347540367931768700840*x + 180512255313567847790828992687662833115424012921174261594000>,		// time = 2.929 seconds 
   <383, x^2 + 695135452649533900480174222080*x - 294129592574080257839369805486892365556749325711004266512384>,		// time = 2.961 seconds 
   <389, x^2 + 226245417934159248699286796580*x - 895340389538781610415678793126373171528902560803649684749500>,		// time = 3 seconds 
   <397, x^2 - 26694277327045207198401168460*x + 166592520230441182520014159071931590977493622020210924964>,		// time = 3.09 seconds 
   <401, x^2 + 94359664891330141664122362396*x - 186390988363231403472758600890301992860667378961413909844796>,		// time = 3.149 seconds 
   <409, x^2 + 322020351737398734612394469420*x - 411685422303785664636120389574834860540298662554087725993500>,		// time = 3.189 seconds 
   <419, x^2 - 4428155686489990648910311878360*x + 4645621802555608506858199791342331634829914589321420497946000>,		// time = 3.26 seconds 
   <421, x^2 - 1138117002782982427748137159324*x - 1036373595310565300972121966264883861674215213746862981405756>,		// time = 3.271 seconds 
   <431, x^2 - 4228080060288189484617828564384*x + 4430944269248652743284389008856661403593210247429626458564864>,		// time = 3.37 seconds 
   <433, x^2 + 3134002217631917905871966143580*x + 1206552753955618709030424620807544602513974074780778867048516>,		// time = 3.379 seconds 
   <439, x^2 + 1775230357101637068995512212080*x - 419464802979733422434955104207815252946845124598995850200000>,		// time = 3.449 seconds 
   <443, x^2 + 2903360806232078374452322013400*x + 1698981611803824591373215436448227358121498797979618341313936>,		// time = 3.49 seconds 
   <449, x^2 + 1377997182680214211190850296700*x - 8992979542708256513979884014022516789110625745323078128117500>,		// time = 3.53 seconds 
   <457, x^2 - 3690108229259589188976999824500*x + 3316702104917300562782507391209283900771025240892391463068964>,		// time = 3.6 seconds 
   <461, x^2 - 8830433425325424190389311497164*x + 19372636891446289414897986001649018267965939646566705709570724>,		// time = 3.65 seconds 
   <463, x^2 + 8313711821478364631674737787040*x + 4896928934833049256515902407909355175184690656221377723832576>,		// time = 3.681 seconds 
   <467, x^2 + 1725196584969705493881380743560*x - 3321166490833915834151620774190237152874971154421545476413936>,		// time = 3.689 seconds 
   <479, x^2 - 4692066084138171547667332952640*x - 14525292200080060988587209012528282109972221963933570174336000>,		// time = 3.801 seconds 
   <487, x^2 - 5701360012840748773225799529520*x + 4161025594566128414444725007624048435088621280999081489113664>,		// time = 3.879 seconds 
   <491, x^2 + 7495735660101659001152580064056*x + 2462495752271178166122136895202409159611929590965674709632784>,		// time = 3.899 seconds 
   <499, x^2 - 5036365110826800112217020588600*x - 226926451297112822421763439608056505483616886153184662168950000>,		// time = 3.98 seconds 
   <503, x^2 - 23345551898122072218225431032080*x + 110129019454384480474894606161086171994641844841465132052744256>,		// time = 4 seconds 
   <509, x^2 + 33176102777672087481507257257620*x + 253953451332352992941448148150479753208140722966431476962566500>,		// time = 4.079 seconds 
   <521, x^2 + 23852204755378399407695034200076*x + 27786895473653059806319810129186097062578185273909562204561444>,		// time = 4.171 seconds 
   <523, x^2 + 26945866576009911140508044829560*x - 247736657350499920370083541577353966595467520792822493822225904>,		// time = 4.189 seconds 
   <541, x^2 - 6557966246430426070601763641644*x - 25599781891050110509736746648938909758730766317756772417804316>,		// time = 4.36 seconds 
   <547, x^2 + 37066344738920881430824503616040*x + 276017646414245913985755629724437443077561454450562620305906064>,		// time = 4.421 seconds 
   <557, x^2 - 37677285815426291622869765253900*x + 327725412252941686516039243937875442878204471086838084316348964>,		// time = 4.469 seconds 
   <563, x^2 - 52452771709649083157480611871160*x + 665895342972152660852809561370647401817502019722905484037704976>,		// time = 4.561 seconds 
   <569, x^2 + 52207273745305272666924337112940*x - 1184967530671799121102719897883012501015641193777288791024761500>,		// time = 4.62 seconds 
   <571, x^2 + 93163366350131966955964383023576*x + 543176712539118931957986293855874648007350532447135655410796944>,		// time = 4.649 seconds 
   <577, x^2 + 57308513743293979726426679420*x - 254252374149508508727144680523548161933580803039490200079581436>,		// time = 4.689 seconds 
   <587, x^2 - 138771580954238134435364826483720*x + 4663644839994973930762864113422470457554936774211987537767374864>,		// time = 4.791 seconds 
   <593, x^2 - 21251593363086879095904982553700*x - 150813775425146495831492968165077342607918954084006119336021564>,		// time = 4.819 seconds 
   <599, x^2 - 161585612609982381486781464517200*x + 217035941147357969239818916750021799407210345448801789986920000>,		// time = 4.921 seconds 
   <601, x^2 - 10968238076157397436934449835604*x - 6255241673157877481550091049173282339359910186341159482279488796>,		// time = 4.909 seconds 
   <607, x^2 + 48711521786786516149144610744000*x + 529578391665951161633272673890807096343512768424494421278680064>,		// time = 4.97 seconds 
   <613, x^2 - 62913156985828805030746712908060*x + 843087496947674394282591345720926215164217221578050923817275076>,		// time = 5.019 seconds 
   <617, x^2 + 176565199182750095254048025734860*x - 12043318496896778247965486660191589097419746501413504218914227036>,		// time = 5.069 seconds 
   <619, x^2 - 138165468883723103621352541141960*x - 21889132885988485866606088127885472838444607277161651120267894000>,		// time = 5.11 seconds 
   <631, x^2 + 445727322739159871945677218527216*x + 49668205144416454385783496031673246868713665662654304829462937664>,		// time = 5.211 seconds 
   <641, x^2 + 136418745895434245594202717026556*x - 38118596473754903937919999253995306700728377218490887520675934716>,		// time = 5.27 seconds 
   <643, x^2 - 184753780609618992370783202027800*x + 5482386763934547641074612498938125744372064650576816243061333136>,		// time = 5.291 seconds 
   <647, x^2 + 195195730132303641576500056903440*x - 68849935860998404958294821694929157537685991662105318601816115136>,		// time = 5.349 seconds 
   <653, x^2 + 129394079236284577815869617040820*x + 3740195441165934178138514825335666887239692046145522131704590756>,		// time = 5.39 seconds 
   <659, x^2 - 110799125028629482404588590636280*x - 5264311702762250192558241080396647923657116953009081246417110000>,		// time = 5.471 seconds 
   <661, x^2 - 480869417384371089662759868133564*x + 56336697141069884905575082746404214090143667708546788056988795524>,		// time = 5.49 seconds 
   <673, x^2 - 553704775635595746343524307129540*x + 10166147813363316096395472198225632780220266064629840244171230596>,		// time = 5.551 seconds 
   <677, x^2 + 277790862804987878046629769547620*x - 42681388877932656160001564762950299092701962666471365683151947836>,		// time = 5.629 seconds 
   <683, x^2 - 354384515888767153478189388872520*x - 193742867671871269521037408344400338930516603223992856453351571184>,		// time = 5.681 seconds 
   <691, x^2 + 780658209356012405466149444413256*x + 44438936417226167250279833735070594891201134346252603658662490384>,		// time = 5.759 seconds 
   <701, x^2 + 501837067213944790035932301746196*x - 541392958883071951917237753768842269937801631053540030242006122396>,		// time = 5.86 seconds 
   <709, x^2 + 960899360031408540349392740365220*x + 178157937990208976154521110626454144300648139503391915564609810500>,		// time = 5.931 seconds 
   <719, x^2 - 1168122290729227779050734509329760*x + 325455881725550734159469130805822359189050104379685136316308896000>,		// time = 5.99 seconds 
   <727, x^2 - 1716547107512815769340341270278480*x + 580954311009839741423106999982814252042476398310900872959667187264>,		// time = 6.111 seconds 
   <733, x^2 + 1549476872799479649892278493392980*x + 2597353172520686169055549301538862838977852530880562394325247716>,		// time = 6.169 seconds 
   <739, x^2 + 1195914211136905910237863970515880*x - 442631453440716102098310705631018315364225809449187452678773414000>,		// time = 6.24 seconds 
   <743, x^2 + 328377477393141906940222110555600*x - 53768029553017420346919397484204879617299218722557183641770659264>,		// time = 6.26 seconds 
   <751, x^2 - 1077650924867494887109707023843104*x - 500504726289238592682868456157053502329318230297944414733209751296>,		// time = 6.27 seconds 
   <757, x^2 + 1124589828826263072475877968516100*x - 683394938871644169089005612540101277433955900521595474182311434236>,		// time = 6.401 seconds 
   <761, x^2 - 1905845073966880829544382725554964*x - 29410699723989787096087036275261232248621970713978631234416779676>,		// time = 6.42 seconds 
   <769, x^2 - 3900956013847469230665913738477060*x + 3279714511378528347065130367865207743840847910659713149442834922500>,		// time = 6.509 seconds 
   <773, x^2 + 760033622262861521492094203341860*x - 70788205032021967764234597565234162602596529948261901048918959804>,		// time = 6.5 seconds 
   <787, x^2 + 1704138276957553384723195875996680*x - 4212754227451056468148147342862303386654929724637042961462492413936>,		// time = 6.599 seconds 
   <797, x^2 - 3888767198612894336597016340662060*x + 3643902443155346498222495363952585901715616932293078252681427540964>,		// time = 6.671 seconds 
   <809, x^2 - 1237199333637422532131047212076980*x - 9780830069123158171592948671112029955481166598207911261757274577500>,		// time = 6.859 seconds 
   <811, x^2 - 5502246348450964938711792227502664*x + 5338371410433283466158310076725337235923885457368212660885554814224>,		// time = 6.881 seconds 
   <821, x^2 + 3235480301370292224457876648633476*x + 713723229532251143555095198724502287800025203404904408157224720644>,		// time = 6.97 seconds 
   <823, x^2 - 5305215442809041387954619148151440*x - 3024792143409674514435010206299150166058618232074762493023776365504>,		// time = 6.99 seconds 
   <827, x^2 + 3129496821267825316226171438248920*x - 1739846832696410903463805477998235925861718524458570664069779725936>,		// time = 7.049 seconds 
   <829, x^2 - 4123071541871586519142316685192940*x - 13539993852678990859586205447725563724036242172027671688372495193500>,		// time = 7.079 seconds 
   <839, x^2 - 513325437723705008602273445028720*x - 179182287143582961895803248404010955139956635997498968009859288000>,		// time = 7.141 seconds 
   <853, x^2 + 9307773736763343377566594109722820*x + 1775853103762970237075622152684076061446188697207154671657387476356>,		// time = 7.309 seconds 
   <857, x^2 - 4299284449665978028354837486473300*x - 11576345716060690050599136773799084771662537940776058962675383294236>,		// time = 7.309 seconds 
   <859, x^2 - 4606038025702733361862770142434280*x - 12041423336935390079777577725411598133965796526282662103283183878000>,		// time = 7.3 seconds 
   <863, x^2 + 15626484753521646660015708694837440*x + 54329303437703821048200271054521397068604707580489802819481461400576>,		// time = 7.361 seconds 
   <877, x^2 - 7850580636427113785740128659210380*x - 5743728840974972426452759899049644572518953410171192964693460643036>,		// time = 7.509 seconds 
   <881, x^2 - 25768354514075939850377930912360484*x + 165340116300339471451907770630986794421421707650508319778233526538564>,		// time = 7.559 seconds 
   <883, x^2 - 6099005450405171918749659654635320*x + 6885797355123891728012396211078337196868958808643446278593876268816>,		// time = 7.59 seconds 
   <887, x^2 + 13699407625008413744486725315242480*x + 46757909891547503859786387810220016200353590076368502643604633907264>,		// time = 7.621 seconds 
   <907, x^2 - 3384060547516215006371563033438600*x - 19517443459065477666524815093352110943491927695387216863252531108336>,		// time = 7.809 seconds 
   <911, x^2 + 30899689343332439370719945369442336*x + 238387849106338045546962856841243311635973570552588434656756151124224>,		// time = 7.871 seconds 
   <919, x^2 + 12338389136812805722262329969544240*x - 47989053451479751041761423499707705981963018258603810872542918680000>,		// time = 7.939 seconds 
   <929, x^2 - 29263113615364928265489326041055940*x + 207044076577920649466770398726342876467658590097652274264804349274500>,		// time = 8.02 seconds 
   <937, x^2 + 18991287391691715111096090114997580*x + 45822460877036989587904324774864727607468641698586215834726705222564>,		// time = 8.101 seconds 
   <941, x^2 - 36551650566283232292665583031468044*x + 222004312038866369038891492441487987624609892459666908890144588136484>,		// time = 8.16 seconds 
   <947, x^2 + 6434244899633455107782744593652040*x - 676932782959364256263006324614298201502296969615193331921970511300336>,		// time = 8.25 seconds 
   <953, x^2 + 4247655102907598042046542587802220*x - 473046345717824859870416337391506547400048816989645581982712564902044>,		// time = 8.259 seconds 
   <967, x^2 + 26988545192803177241389739123369360*x + 135414956295412368561474725743570545724818579453730629408884027980864>,		// time = 8.409 seconds 
   <971, x^2 - 529807098283373834557941085993224*x - 1141160370427827610988264290086904226258384239118524190332525195881456>,		// time = 8.471 seconds 
   <977, x^2 - 11358156572969876405352280959130980*x - 4317250276247074394759012065551629573312542196064259138414394674236>,		// time = 8.52 seconds 
   <983, x^2 - 6906668233548632741112321278467920*x - 124743905233847572060455185545452711254394063390004002707334639067584>,		// time = 8.58 seconds 
   <991, x^2 - 28729449909531747679781451767508544*x + 70361011112405322814850728302220432830975003971571571429504160809984>,		// time = 8.641 seconds 
   <997, x^2 + 24333229709162682266825770194528740*x + 91480671689179816789770477983460323781661694804527339519945683514564>		// time = 8.701 seconds 
];

T[1,26] := [   		// time = 1.899 seconds
   <2, x + 48>,		// time = 0 seconds 
   <3, x + 195804>,		// time = 0.01 seconds 
   <5, x + 741989850>,		// time = 0.011 seconds 
   <7, x - 39080597192>,		// time = 0.019 seconds 
   <11, x - 8419515299052>,		// time = 0.029 seconds 
   <13, x + 81651045335314>,		// time = 0.049 seconds 
   <17, x + 2519900028948078>,		// time = 0.049 seconds 
   <19, x + 6082056370308940>,		// time = 0.06 seconds 
   <23, x + 94995280296320424>,		// time = 0.081 seconds 
   <29, x + 271246959476737410>,		// time = 0.099 seconds 
   <31, x - 4291666067521509152>,		// time = 0.111 seconds 
   <37, x - 20301484446109126982>,		// time = 0.139 seconds 
   <41, x + 183744249574071224598>,		// time = 0.161 seconds 
   <43, x - 300901824185586335756>,		// time = 0.159 seconds 
   <47, x + 924361048064704868688>,		// time = 0.181 seconds 
   <53, x + 990292205554990470954>,		// time = 0.211 seconds 
   <59, x - 13052569416454201837980>,		// time = 0.24 seconds 
   <61, x - 9015451224701414617502>,		// time = 0.24 seconds 
   <67, x + 26689067808908579702428>,		// time = 0.279 seconds 
   <71, x + 192390516186217637440248>,		// time = 0.289 seconds 
   <73, x - 42404584838092453858826>,		// time = 0.31 seconds 
   <79, x + 271681055025772277197360>,		// time = 0.331 seconds 
   <83, x + 931454457307013524361484>,		// time = 0.349 seconds 
   <89, x + 1763635518049807316502630>,		// time = 0.391 seconds 
   <97, x - 2829240869926872086187362>,		// time = 0.409 seconds 
   <101, x - 1863424798129100831412102>,		// time = 0.451 seconds 
   <103, x - 4858120128770696114246696>,		// time = 0.451 seconds 
   <107, x - 35830422465487817813321292>,		// time = 0.48 seconds 
   <109, x + 47779523949713376857525170>,		// time = 0.49 seconds 
   <113, x + 74647597801541940896262414>,		// time = 0.509 seconds 
   <127, x - 335904534129377492483226752>,		// time = 0.569 seconds 
   <131, x + 174970523892428305728249948>,		// time = 0.6 seconds 
   <137, x - 618313109745960536292087882>,		// time = 0.641 seconds 
   <139, x + 484462128637274579929861780>,		// time = 0.641 seconds 
   <149, x - 905568683500101980256093750>,		// time = 0.689 seconds 
   <151, x - 1161895714542448974565531352>,		// time = 0.711 seconds 
   <157, x + 341504962101535821001216258>,		// time = 0.73 seconds 
   <163, x - 4632019330305293463671472836>,		// time = 0.78 seconds 
   <167, x + 8264701881776285676276280728>,		// time = 0.79 seconds 
   <173, x + 6026024708562761758610453874>,		// time = 0.831 seconds 
   <179, x - 24102261500967183004825491540>,		// time = 0.849 seconds 
   <181, x + 8191932538465314965518627498>,		// time = 0.871 seconds 
   <191, x - 5506016890624536539668892352>,		// time = 0.929 seconds 
   <193, x - 20871590887477398937670272706>,		// time = 0.941 seconds 
   <197, x + 59936987790338741946487251738>,		// time = 0.951 seconds 
   <199, x - 2240424832787305697791685000>,		// time = 0.97 seconds 
   <211, x + 75247451459088716712603051148>,		// time = 1.039 seconds 
   <223, x + 316695888921276124166441057824>,		// time = 1.109 seconds 
   <227, x - 385093867204018424441344878852>,		// time = 1.131 seconds 
   <229, x + 568261440252719522161661910010>,		// time = 1.129 seconds 
   <233, x - 495586486330457297693292119466>,		// time = 1.171 seconds 
   <239, x + 144023448037426492352746292880>,		// time = 1.201 seconds 
   <241, x + 319455938984031179088910841998>,		// time = 1.22 seconds 
   <251, x - 621677267284418547255343836252>,		// time = 1.269 seconds 
   <257, x + 2294462267947666633683914581758>,		// time = 1.299 seconds 
   <263, x - 773315946921138089280627617736>,		// time = 1.34 seconds 
   <269, x - 3622588130389834818682741628910>,		// time = 1.381 seconds 
   <271, x + 3627673250121222001463568596848>,		// time = 1.4 seconds 
   <277, x + 2548076683459664313429095585098>,		// time = 1.409 seconds 
   <281, x - 3598172883135056042267481549402>,		// time = 1.451 seconds 
   <283, x - 3822646294747995463726006273916>,		// time = 1.47 seconds 
   <293, x - 130006531958494180627027636806>,		// time = 1.519 seconds 
   <307, x - 14360214302848177647169534817492>,		// time = 1.589 seconds 
   <311, x + 22463033920144429698250146067848>,		// time = 1.631 seconds 
   <313, x + 1379559471136367894001031739014>,		// time = 1.649 seconds 
   <317, x + 10278651623433080957734662503778>,		// time = 1.661 seconds 
   <331, x + 5753563965996971662984355822548>,		// time = 1.74 seconds 
   <337, x - 66926793150558778433244186524882>,		// time = 1.789 seconds 
   <347, x - 941781150816541824227585338812>,		// time = 1.851 seconds 
   <349, x + 33908112195800308067402386538050>,		// time = 1.869 seconds 
   <353, x - 13031284751559498352132220789346>,		// time = 1.891 seconds 
   <359, x + 130336088347675288184755640431320>,		// time = 1.919 seconds 
   <367, x + 206294354762653692506037305805328>,		// time = 1.971 seconds 
   <373, x - 246050779873833737919701517205526>,		// time = 2.02 seconds 
   <379, x - 71274301600760314844951680645340>,		// time = 2.05 seconds 
   <383, x - 133051294483218319113126298310016>,		// time = 2.081 seconds 
   <389, x - 240508530175723242636509861314470>,		// time = 2.109 seconds 
   <397, x + 412136723690212764833398877672338>,		// time = 2.161 seconds 
   <401, x + 71664659505624898201929474345198>,		// time = 2.19 seconds 
   <409, x - 134430221475968122996297608755930>,		// time = 2.25 seconds 
   <419, x + 171876160097459082884173044372540>,		// time = 2.309 seconds 
   <421, x + 827663831782889538482847281783098>,		// time = 2.319 seconds 
   <431, x + 78383621915046495210172752362448>,		// time = 2.371 seconds 
   <433, x - 633272755307763050690739692591666>,		// time = 2.389 seconds 
   <439, x + 1482986970040060831209497321814280>,		// time = 2.441 seconds 
   <443, x + 1209012635333170464590901871190244>,		// time = 2.44 seconds 
   <449, x + 948861362336468714243755796389950>,		// time = 2.49 seconds 
   <457, x - 1906438015454539953482023226664842>,		// time = 2.549 seconds 
   <461, x + 45626967057782744498214751298898>,		// time = 2.569 seconds 
   <463, x - 2135214165360682091948455931456336>,		// time = 2.58 seconds 
   <467, x + 2672252931140078368886189852908428>,		// time = 2.621 seconds 
   <479, x - 1972399217793483382246331331836640>,		// time = 2.66 seconds 
   <487, x + 396365691342605028028934306158168>,		// time = 2.74 seconds 
   <491, x + 7226256779485390805843060698858548>,		// time = 2.759 seconds 
   <499, x - 8198301737483581650490339755358100>,		// time = 2.819 seconds 
   <503, x - 4725620603026848328690830213571896>,		// time = 2.819 seconds 
   <509, x - 1969545084859124374313398077691230>,		// time = 2.871 seconds 
   <521, x - 7397816591525737266577846621011402>,		// time = 2.939 seconds 
   <523, x - 17033203938239706662701704149092076>,		// time = 2.961 seconds 
   <541, x + 12868103727506073374588427568589698>,		// time = 3.06 seconds 
   <547, x - 20662449349768742309415960538527812>,		// time = 3.141 seconds 
   <557, x + 3287507202857319236737451756367858>,		// time = 3.15 seconds 
   <563, x + 18080449355994165352055799784337964>,		// time = 3.23 seconds 
   <569, x + 3059669485707949000126966308019590>,		// time = 3.25 seconds 
   <571, x + 12988412934313322304448992252392548>,		// time = 3.289 seconds 
   <577, x + 73149007283437031184593659377598>,		// time = 3.319 seconds 
   <587, x - 51622576954284315296250641988959532>,		// time = 3.39 seconds 
   <593, x - 24070451022895515429903274463421906>,		// time = 3.429 seconds 
   <599, x + 8306715731833092425485008028093800>,		// time = 3.471 seconds 
   <601, x + 30040465694002976026741088820368998>,		// time = 3.48 seconds 
   <607, x + 100962655278660281875479010258127008>,		// time = 3.52 seconds 
   <613, x + 1024526308514073350808056160507514>,		// time = 3.55 seconds 
   <617, x - 45327063639607885238749699016129322>,		// time = 3.601 seconds 
   <619, x - 124784313486059742429996939685034060>,		// time = 3.589 seconds 
   <631, x - 48333817152455235297360818912551352>,		// time = 3.671 seconds 
   <641, x - 83049407119340498575305771673129602>,		// time = 3.75 seconds 
   <643, x - 52572397212807570140220263990030756>,		// time = 3.75 seconds 
   <647, x + 203021212934182245316840438243695288>,		// time = 3.789 seconds 
   <653, x - 167656843695783841975546906745288046>,		// time = 3.819 seconds 
   <659, x + 292520764764077767547034646185916620>,		// time = 3.861 seconds 
   <661, x - 83022703976977790010627770051790902>,		// time = 3.879 seconds 
   <673, x + 323598217246990900160837490152839774>,		// time = 3.921 seconds 
   <677, x - 77633340760409856063176405173288902>,		// time = 4 seconds 
   <683, x + 249908521900610788265417549767360884>,		// time = 4.019 seconds 
   <691, x + 85696370131854075386336488795551148>,		// time = 4.049 seconds 
   <701, x - 453463801782936369543916065342799902>,		// time = 4.111 seconds 
   <709, x + 493253946459830644676925328436697370>,		// time = 4.199 seconds 
   <719, x - 213498713808545388991042502994273360>,		// time = 4.25 seconds 
   <727, x - 512190003491531639219969928363945752>,		// time = 4.301 seconds 
   <733, x - 177366164610548743964253082296616766>,		// time = 4.359 seconds 
   <739, x + 1135347530077011177037769659346019580>,		// time = 4.41 seconds 
   <743, x - 40374926372477701905735782397977256>,		// time = 4.439 seconds 
   <751, x - 772404884393222923195887199165623152>,		// time = 4.451 seconds 
   <757, x - 331584959148585596040577353957416342>,		// time = 4.53 seconds 
   <761, x - 2022303291728039968865129534892172602>,		// time = 4.53 seconds 
   <769, x - 771193056134021862301167237188337410>,		// time = 4.601 seconds 
   <773, x - 1960602395367194653286888268993426726>,		// time = 4.629 seconds 
   <787, x + 892654495293574111495131320041147468>,		// time = 4.701 seconds 
   <797, x + 2354935536386796280810376630649963138>,		// time = 4.8 seconds 
   <809, x + 1296165763533323698864614991794011670>,		// time = 4.871 seconds 
   <811, x - 2636056416477357054221085357358365452>,		// time = 4.869 seconds 
   <821, x + 592270505992680220429366303959161898>,		// time = 4.931 seconds 
   <823, x - 476928247666321407950184339078265976>,		// time = 5 seconds 
   <827, x - 4177942458006529804074897026301674652>,		// time = 5 seconds 
   <829, x + 3180226070217526507313196970402771810>,		// time = 5.05 seconds 
   <839, x + 3572695920570651737167056756666687480>,		// time = 5.071 seconds 
   <853, x + 1754663901382733612982072450161497354>,		// time = 5.149 seconds 
   <857, x - 7103238657301854777597975384261375642>,		// time = 5.221 seconds 
   <859, x + 7566948942139016552745489201846935620>,		// time = 5.18 seconds 
   <863, x - 5721949004294555145046114270754672736>,		// time = 5.25 seconds 
   <877, x - 3219258509708242534801954541687009102>,		// time = 5.309 seconds 
   <881, x + 10463253416859950223551856430386179598>,		// time = 5.369 seconds 
   <883, x - 4117448435898373812184041586239319316>,		// time = 5.371 seconds 
   <887, x + 2529037303097500118008581763261629768>,		// time = 5.43 seconds 
   <907, x + 4931287778030781014582333390707925908>,		// time = 5.519 seconds 
   <911, x + 7105476587378448225139854652518494448>,		// time = 5.579 seconds 
   <919, x - 2641548413132821047693879218876582360>,		// time = 5.651 seconds 
   <929, x - 5019344365605312552357640636603350690>,		// time = 5.699 seconds 
   <937, x + 17018932488743426852986073699646170518>,		// time = 5.801 seconds 
   <941, x + 15125431526392966776353989505223811698>,		// time = 5.829 seconds 
   <947, x - 1653293258295818493141829726879888212>,		// time = 5.89 seconds 
   <953, x - 27778351805167089272093426013001009146>,		// time = 5.889 seconds 
   <967, x - 3824414748277568577907801195770305672>,		// time = 5.971 seconds 
   <971, x + 16708665614867499515267004314724420948>,		// time = 6.039 seconds 
   <977, x + 35437572556504850467887446821661773998>,		// time = 6.03 seconds 
   <983, x - 22675898811191401775988244653815457816>,		// time = 6.071 seconds 
   <991, x + 1827055282544037157264700582600143648>,		// time = 6.169 seconds 
   <997, x - 23459931419013195552931575066153510662>		// time = 6.201 seconds 
];

T[1,28] := [   		// time = 1.529 seconds
   <2, x^2 + 8280*x - 195250176>,		// time = 0.01 seconds 
   <3, x^2 + 1286280*x - 7415907642864>,		// time = 0.02 seconds 
   <5, x^2 - 5443587900*x + 2806134622252762500>,		// time = 0.03 seconds 
   <7, x^2 + 175391963600*x - 4229135306881963814336>,		// time = 0.051 seconds 
   <11, x^2 - 138167337691944*x - 14169607695718788263898735216>,		// time = 0.059 seconds 
   <13, x^2 + 753433801271060*x + 97790204141775072469004699236>,		// time = 0.079 seconds 
   <17, x^2 + 29753620331011740*x + 132872597080637177057477127650244>,		// time = 0.111 seconds 
   <19, x^2 - 404565810372684760*x + 39252794097947994239602579403674000>,		// time = 0.109 seconds 
   <23, x^2 - 2929078923121218960*x + 352300300004411059766992071717174336>,		// time = 0.14 seconds 
   <29, x^2 + 15546679995448558260*x + 37624991689281558628931577454149358500>,		// time = 0.189 seconds 
   <31, x^2 - 28544554594467385024*x - 5671028078802786024452842986220443769856>,		// time = 0.201 seconds 
   <37, x^2 - 1867697204682824566780*x + 551539890818735254038656886287983973068804>,		// time = 0.24 seconds 
   <41, x^2 - 9081343698046512254964*x + 19751332914794453834061051854268315268620324>,		// time = 0.27 seconds 
   <43, x^2 - 5145612605801421773800*x - 81424298347005417567057989092239563433463664>,		// time = 0.29 seconds 
   <47, x^2 + 1150251488862201070560*x - 77840412057488578834476594875346232135401216>,		// time = 0.321 seconds 
   <53, x^2 - 106953735591470060758620*x - 8604306797060968440927837357379195635775480764>,		// time = 0.369 seconds 
   <59, x^2 - 2009620977624026488631880*x + 1001802643271076877081684208622120299024157642000>,		// time = 0.411 seconds 
   <61, x^2 - 147857426692448940370444*x - 1953667898501530687522399833461878653767412810716>,		// time = 0.429 seconds 
   <67, x^2 - 3051578535738098902157560*x - 20186369890923170413319391702944380942228431823856>,		// time = 0.48 seconds 
   <71, x^2 + 13175198820369338598286416*x - 56007498362432066366021981668508245524294707468736>,		// time = 0.51 seconds 
   <73, x^2 - 5284260812951286572116660*x - 104850867388473525236688761746192231137197131471964>,		// time = 0.531 seconds 
   <79, x^2 - 62814351035720719918179040*x + 754888933408479757167501215735877933700318282912000>,		// time = 0.569 seconds 
   <83, x^2 - 171806873410054757883176280*x + 7171047284985107507410414265164513416738011022926736>,		// time = 0.609 seconds 
   <89, x^2 + 313473438761105539763494380*x + 24309466808693127210729997389963343654639312012006500>,		// time = 0.661 seconds 
   <97, x^2 + 653202933397052842883888060*x - 389186462773892598466379163399526907016212171003061116>,		// time = 0.71 seconds 
   <101, x^2 + 1360231855929550702761752196*x - 849258993561740123173481882492196714692412679345734396>,		// time = 0.759 seconds 
   <103, x^2 - 3572690377168159520092651120*x + 2015677540658112327982217753554167998105459298001001536>,		// time = 0.779 seconds 
   <107, x^2 + 4525059423832327689289896600*x + 4218023510572416710054661398743095752332400901543390864>,		// time = 0.809 seconds 
   <109, x^2 + 2043996808538784618672888020*x - 3527130806280889580904637064568699256790045447011689500>,		// time = 0.82 seconds 
   <113, x^2 - 435312933929877729866143140*x - 11942725467761157057921997142580747363414512468526328764>,		// time = 0.861 seconds 
   <127, x^2 + 57479038474240556361086362880*x + 822659311655756573197177566603115960806722217445634228224>,		// time = 0.97 seconds 
   <131, x^2 + 7424016689369254121405123976*x - 1245972230096667649058464680439808767790400346386511247856>,		// time = 1 seconds 
   <137, x^2 - 10771848626863364228577456180*x - 224867413816062396821786185818786057608329169171666869596>,		// time = 1.069 seconds 
   <139, x^2 - 26646362416719621259464199720*x - 16538949806661100775367886355311031435106112856716732262000>,		// time = 1.079 seconds 
   <149, x^2 - 374789516549903155244908345500*x + 28213510455566879362970768054315143404741333510586224322500>,		// time = 1.161 seconds 
   <151, x^2 - 423324414065027847597813391504*x + 23104986063853079358962503949007157719128159951042838205504>,		// time = 1.21 seconds 
   <157, x^2 + 1392859071550038759711107198900*x + 483410377028441718067751714474808874702159048853650854176164>,		// time = 1.24 seconds 
   <163, x^2 - 890435868465406180042212310840*x + 196062207164873275156246085298982663867147220744418993841936>,		// time = 1.299 seconds 
   <167, x^2 - 1335138638875767336721465701360*x + 444740252050023673193977063996956383037011248919176397742144>,		// time = 1.329 seconds 
   <173, x^2 - 3916044918034789866451190079660*x + 3266203245777585063395235219823651551943630085704669454097636>,		// time = 1.391 seconds 
   <179, x^2 - 1599778580464160630476409836440*x - 5364831822857064449750005812525399921527086408407921524934000>,		// time = 1.44 seconds 
   <181, x^2 + 859880999619480693548866893476*x - 22212102703239234760806968213409748225930134668590972293159356>,		// time = 1.459 seconds 
   <191, x^2 + 412841292060268758227259275136*x - 30925695059704954763373662779461554333029963387885990176485376>,		// time = 1.551 seconds 
   <193, x^2 + 386318162103343840906138744700*x - 7061185924241523599667996693612817910689263461642806198656764>,		// time = 1.569 seconds 
   <197, x^2 - 12524635218184134044590659089340*x - 74756329739216817249048233534396316337351719112871418182427516>,		// time = 1.609 seconds 
   <199, x^2 + 24180807741959153136755809778000*x + 132391214785890928841441174963831571771492939660474368520040000>,		// time = 1.621 seconds 
   <211, x^2 + 34551002300639063680838902278056*x + 293303990421929948568556708281025968909631904440955601595344784>,		// time = 1.74 seconds 
   <223, x^2 + 15673072932840930521543972047040*x + 54563438016377592298327101104686611858188306138617134317249536>,		// time = 1.839 seconds 
   <227, x^2 - 80275994516527549549791923112120*x - 1344476983445032616549485054406655190308361701377932729874382576>,		// time = 1.881 seconds 
   <229, x^2 + 14748803192487025769569341993860*x - 3003104213914485989372902543641341334270550216100360838812469500>,		// time = 1.909 seconds 
   <233, x^2 - 67824609982191872722802799345780*x - 858893680556806580935989957487826251694620715861843927354438364>,		// time = 1.941 seconds 
   <239, x^2 - 187523586066260973236662956201120*x - 1091645882688723006547220937332435665238006560578864218340960000>,		// time = 1.99 seconds 
   <241, x^2 + 181401115287048512635353531903836*x + 6073015456354853785602094042623467698847365527215961244111878724>,		// time = 2.03 seconds 
   <251, x^2 + 263630188679823865144469575133496*x - 21158910767071506560508489245590362696438493291188526874340704496>,		// time = 2.101 seconds 
   <257, x^2 + 102727930872156135090271557896700*x - 4790932386973697330429743164137654196406522533319998842121917436>,		// time = 2.169 seconds 
   <263, x^2 + 24663308798404259141705672106960*x - 2408396253477768591240183282078902787799376157827885651270000064>,		// time = 2.23 seconds 
   <269, x^2 - 689524291896644373897789657562860*x - 32661377930148463219155314648492711216278988949134221988419417500>,		// time = 2.28 seconds 
   <271, x^2 - 1038459758611045345301406687877984*x + 245151247876040729485398041738775494173258019418723160788556536064>,		// time = 2.321 seconds 
   <277, x^2 + 80077188424159907969812203873380*x - 2093994521421004398334417130665543318176209127661828666255480188476>,		// time = 2.379 seconds 
   <281, x^2 - 1313151787725685780041662148133524*x + 342858278100452313315160839218583164272590194273998409716640524644>,		// time = 2.411 seconds 
   <283, x^2 + 1909589560507255669584142601216120*x + 556872805474317057273672562447166847520824646324905746326720581136>,		// time = 2.429 seconds 
   <293, x^2 + 2410984496316612236543169726788100*x - 970426507318293271121249498369283848414546188270549619503652051964>,		// time = 2.51 seconds 
   <307, x^2 - 3368606686719939511854302162421400*x - 2732522753722786398779070255119229929332468635687027130918444474736>,		// time = 2.641 seconds 
   <311, x^2 - 2964807379843646401225434705278544*x - 11378000677312748209309372181550133693765440709554219142355706350016>,		// time = 2.681 seconds 
   <313, x^2 - 422552768591432943416887397606740*x - 1692663186221443558643660447375935044347541292675345934113102702364>,		// time = 2.71 seconds 
   <317, x^2 + 3850425676145187104171309596618740*x - 53669656593741586912510694090101403257976828137092877113735700488156>,		// time = 2.779 seconds 
   <331, x^2 + 14329968857246794524225010368863576*x + 22498358724548210336657821460603814735354528932761439395249644716944>,		// time = 2.879 seconds 
   <337, x^2 - 195870823323889455343082386404580*x - 11998990908772079145749899061339491385589704525568163134366686356796>,		// time = 2.961 seconds 
   <347, x^2 + 48027347012794626157122055017651960*x + 553045421864628432415673406608689768628090201172502190742956484051984>,		// time = 3.06 seconds 
   <349, x^2 - 32402043033897851777637516242922700*x + 259725190040466024821677643796930263190133710585022661234879847182500>,		// time = 3.081 seconds 
   <353, x^2 - 22731774230550451717289975873700420*x - 119177778547230614334577361643021250875354808537965548030342954858364>,		// time = 3.129 seconds 
   <359, x^2 - 46870953828371492851371054735316080*x + 542359452252836531542518057167313274249701700063261674929049453096000>,		// time = 3.161 seconds 
   <367, x^2 - 50075512994628784478907283917868960*x + 527537864464519097609813496564215928098502988322650645312095817894144>,		// time = 3.25 seconds 
   <373, x^2 - 10054426562225899857949890080759260*x - 631991625561232585535690110591103001588173115437765529728241802123964>,		// time = 3.309 seconds 
   <379, x^2 + 62347273910187507007320123339400760*x + 938866384189466153050404154738503579146070268342799295533929908874000>,		// time = 3.381 seconds 
   <383, x^2 - 81867030201078371213968737397428480*x + 1261437410813883256442657193383866227070568654561929196163564269223936>,		// time = 3.389 seconds 
   <389, x^2 - 122950794316860884548065350180444220*x + 3754529629088901399979021606873155190105987717107407569174689405850500>,		// time = 3.461 seconds 
   <397, x^2 + 291813157544022676152714411274391060*x + 15702236775319754981432391685025791629533723806919020917454716663696484>,		// time = 3.539 seconds 
   <401, x^2 + 109734422652726116439768769450487196*x - 14610641439022867402411238895850223117487549776499492688358083639374396>,		// time = 3.611 seconds 
   <409, x^2 + 98865209614129694108065897998029420*x - 71695883262087682742310436253605924176211027959216684359675735383353500>,		// time = 3.659 seconds 
   <419, x^2 + 486264565950888597417394925402544840*x + 23639687983404417595181000020283665148246316953984747544806237440266000>,		// time = 3.721 seconds 
   <421, x^2 - 303631902890042327975751003145081084*x - 99153942604862696385972967636618076819254606026848357732388926298186236>,		// time = 3.78 seconds 
   <431, x^2 + 330900715627953539337795355203031776*x - 81181448823340348572149017807148169665812863645745868777546259641331456>,		// time = 3.881 seconds 
   <433, x^2 - 311123775206428230697183405032818980*x - 550047064615818578048569642950604388447537416757185857666830908824764>,		// time = 3.939 seconds 
   <439, x^2 - 349879376403937928887062981126160720*x - 269536472283319127886216901440764319891461011488405802088255530518680000>,		// time = 3.99 seconds 
   <443, x^2 + 1292019657055660226972785980952380600*x + 402412526154563080655077845941874206982491968408734323839839463378161936>,		// time = 4.051 seconds 
   <449, x^2 + 2074627852281936363452741375672700*x - 424450046194814558544248656968261450266201691648261463912991228627317500>,		// time = 4.089 seconds 
   <457, x^2 - 1521141540049217707016079846009752500*x + 559010507840760031147901306075229119213537497024692093249813987305504164>,		// time = 4.19 seconds 
   <461, x^2 - 1415641113006555801201480912486894444*x + 402547794034223211778300936136739526459415753738750192079464076417277284>,		// time = 4.21 seconds 
   <463, x^2 + 2498092005146335466384917492126460960*x + 1538906501388240114054472329150904574297053107077628429535876397386875136>,		// time = 4.24 seconds 
   <467, x^2 - 1153501318566131707715953513762422360*x + 248721514292009484756066107519669218560873904219138482122675032354041744>,		// time = 4.259 seconds 
   <479, x^2 + 1745165119297964494209179819327328960*x - 2131551037445871418421213896390359394390179071142952100890509705603456000>,		// time = 4.409 seconds 
   <487, x^2 + 3986586999124581135474885710438629520*x + 3885616618429198885071361506313807716197692686985332194960724033635619904>,		// time = 4.5 seconds 
   <491, x^2 - 4430973397970823556558295219149903464*x + 4683375005748308573501943034333296712138296698174596657201925443823239824>,		// time = 4.55 seconds 
   <499, x^2 - 2365595711787759772620187302323704600*x - 1221948202205359702760185962815174341454573756007705484458365139657350000>,		// time = 4.611 seconds 
   <503, x^2 - 1278043087254206600762987126741223120*x - 7438935469658907851169164071957739595501707122903921630832397461016176064>,		// time = 4.68 seconds 
   <509, x^2 - 4646908363396288918124612842106506380*x + 677663048956794225123690573769391578062446509598891125834425853019806500>,		// time = 4.709 seconds 
   <521, x^2 - 9060362600617875496895871960633266484*x + 7435503273267186726392512726352729792086508336225331976195143118293990564>,		// time = 4.841 seconds 
   <523, x^2 + 3999518443058057007765943145504590040*x - 597866504616922515323155812865507962275452031910966793138032647440855664>,		// time = 4.909 seconds 
   <541, x^2 - 17105717771521748122325038972333279564*x + 68953830341354031379898894369435342821083653091389961951022888406856047524>,		// time = 5.061 seconds 
   <547, x^2 - 20688201479290587727284449156227856440*x + 103309987298684938784412728774016867526779442128392138528988266144633856784>,		// time = 5.149 seconds 
   <557, x^2 - 7690712550484271144611543027881245100*x - 74307680750285538903591233477467675201791084330010231618387072287151947036>,		// time = 5.211 seconds 
   <563, x^2 - 9753510845157347304293471144993778840*x - 223866128953391890594183776932910954526944025211732408010817438931845175664>,		// time = 5.29 seconds 
   <569, x^2 + 8192813953141665369038176687621588140*x - 65392788143723765539812406544091189840232941563230858155959321448221641500>,		// time = 5.351 seconds 
   <571, x^2 - 33659079003690216510679566676894285384*x + 33589069064557591625377100351277803065721128019327840857696336333963246864>,		// time = 5.369 seconds 
   <577, x^2 + 8304530090806330694972477125832582780*x + 17010607082643497208283056678748856672118027034873338917728803692010750724>,		// time = 5.411 seconds 
   <587, x^2 + 6636073987933836371386425928260261720*x - 24505171040243469854652554438772332788814631034410172032853395517559850096>,		// time = 5.529 seconds 
   <593, x^2 + 40454748440803739996725233001886012700*x + 184697647795482957213657876665249285673772010572859254988919628612154877636>,		// time = 5.599 seconds 
   <599, x^2 - 95291575984504352153069097392284477200*x + 2270119020996720678328237907955365721767481640226187787402389869746282920000>,		// time = 5.67 seconds 
   <601, x^2 + 6845492002681320705763209072831279596*x - 408109119352169953182677045468144572111731656378616751609294302899374519196>,		// time = 5.679 seconds 
   <607, x^2 - 43599592961801080998098233659954088000*x + 337342337967288031490705569311509238627420250069742147906862604510997054464>,		// time = 5.75 seconds 
   <613, x^2 + 5636721198169505781378607450455485060*x - 3554387975778813151714402029057040051119705160762233077709351664969753959164>,		// time = 5.82 seconds 
   <617, x^2 + 107138590468756413648557819080432115340*x + 2721408392133811259126669649403097562699619700206284508043831473735960151844>,		// time = 5.92 seconds 
   <619, x^2 + 11563366651491776886905969222618777240*x - 851700312328428791632162665675441163342927759553678316540752595288738374000>,		// time = 5.92 seconds 
   <631, x^2 + 100163875027294699402396380650962185776*x + 1984762641082176837680860100930798317948047438520029341708696839175705940544>,		// time = 6.029 seconds 
   <641, x^2 - 78659568906623388672053687501892028164*x + 1106665900624679078576033971412721204813047670353652949962704900185514462724>,		// time = 6.141 seconds 
   <643, x^2 + 43351885103642488750024494488728977800*x - 5971913219873176300334677070878499665397136597102378139049452981965316385264>,		// time = 6.149 seconds 
   <647, x^2 - 140976078871080788566977968725240257840*x + 192905511101453030262547114610142263208064510103860386421792952597618424384>,		// time = 6.21 seconds 
   <653, x^2 + 253612612300641769628571732785306920980*x + 14433407661436106644355675564274367148036097612367327399048371970587945537636>,		// time = 6.26 seconds 
   <659, x^2 + 52034652119691959930508536138872935720*x - 23973224698152779993899831014177967277348376243758371381951626352195260390000>,		// time = 6.369 seconds 
   <661, x^2 - 162818200433837231979053676488195212444*x + 6208318760362807868996599783757818636795363172878942323539319615504713273284>,		// time = 6.369 seconds 
   <673, x^2 + 61335698558501111599314499014954990140*x - 146248952279624626260667396771082592625717161690024299206621609672306339964>,		// time = 6.471 seconds 
   <677, x^2 + 38018109189433806968612660196122552580*x - 842836496014050083950307897253075163628826829870516759987887315956774202876>,		// time = 6.579 seconds 
   <683, x^2 + 26325412447299123554377568607457572120*x - 29532064786535467192156177292274836068424662625289680654660803848210256708464>,		// time = 6.59 seconds 
   <691, x^2 - 25109373683852273866132748921560915864*x - 15232803761643485251165884241363558585750995555406127428349813362876356523376>,		// time = 6.739 seconds 
   <701, x^2 + 129976086484270657214295097057739044596*x - 19947603739067827409315210834126282079703979408141145082377923059032222239196>,		// time = 6.809 seconds 
   <709, x^2 + 330494961837436001712922820632092721220*x - 147008468958161846366382962359732708298778783898355070069969335411559308229500>,		// time = 6.91 seconds 
   <719, x^2 - 67651795841195769555624906920240302560*x - 60953258310166491349997534249267906705407855026047448802538353695940831584000>,		// time = 6.98 seconds 
   <727, x^2 + 906128328788261444858020756860005469680*x + 177880331834396844157250814817808062468692838375495853383419564443394846658624>,		// time = 7.101 seconds 
   <733, x^2 - 604051250133065339340873028346803922380*x - 3125180646803483122937896218202334858224685875339721814701229049680269859164>,		// time = 7.169 seconds 
   <739, x^2 - 29873709568961851113878947648249844920*x - 288578883667841724128175183509987963038650190627243727963144376350352490934000>,		// time = 7.24 seconds 
   <743, x^2 - 541095498002188659032820105825098847600*x - 473351208743294963536217762985142145747179008546431624434693470923397040380864>,		// time = 7.259 seconds 
   <751, x^2 + 1193646517246871705555282505063969324896*x + 333034844833050825232901660964064195726209876330045114195931557456127070312704>,		// time = 7.389 seconds 
   <757, x^2 - 605041364749661852288943383333665851100*x - 181396625293278325525060632185274150368924995865343613530323938780210028264636>,		// time = 7.48 seconds 
   <761, x^2 + 102558088339777206388396138583333389356*x - 266098574392211088453276977054300419226523276476177703823353667613315962316316>,		// time = 7.471 seconds 
   <769, x^2 - 1573181675233627581570919625356015673860*x + 138769126219712214684014329605626988347181663955676892842948894278615060202500>,		// time = 7.539 seconds 
   <773, x^2 + 771468857423965688303367989612817964740*x - 1959072600843009748403161404459994118360268377522319290347897533204317364477564>,		// time = 7.609 seconds 
   <787, x^2 + 1916042550368596362235566515877270561320*x + 598801469511326547154672998767328423524997979891820931448622334995307039074704>,		// time = 7.74 seconds 
   <797, x^2 + 3472814312292580034520002769864546324660*x + 2845504483798514547378171071633163800525122479473929804862484857826397081419684>,		// time = 7.82 seconds 
   <809, x^2 + 3641048825930520004913517289692743659020*x + 3175885040566371045872741463403108039617106134382134975594758399967853921342500>,		// time = 7.959 seconds 
   <811, x^2 - 2355491003300019224013272600367706336744*x - 1128246725478095883844931522929000994835774491810865130143920739237050135029616>,		// time = 8.05 seconds 
   <821, x^2 + 3886835619139295913952767665574292932516*x + 2774460485415980288376010772700323867417387504757477292394807845023111723882564>,		// time = 8.11 seconds 
   <823, x^2 - 359638445921796360241724241054422458960*x - 3964374159430989722133029164965343260519310694505966786995291997882703957436864>,		// time = 8.159 seconds 
   <827, x^2 - 1706848964959553954301991367147007771720*x - 2056922331451703358906011905539491448653539296063331834331844853984998057601776>,		// time = 8.21 seconds 
   <829, x^2 - 2541076115176143192077963652157861731340*x + 1554128958889792684050081719556706607087926322014612883277598280217365764286500>,		// time = 8.211 seconds 
   <839, x^2 - 1816483501990396775108894003245074521520*x - 3727021370535716014568516753741485580676913876708434238121424742545977034648000>,		// time = 8.3 seconds 
   <853, x^2 - 1196471960194154957866507537869727349020*x - 2126771890765452140059647018929311482829803299157635889130502429094206282703164>,		// time = 8.48 seconds 
   <857, x^2 + 2642863185264401527360243576324034616300*x - 29805356513035399464827034680755894158972792422386497621492257566229978985895836>,		// time = 8.489 seconds 
   <859, x^2 + 8416243599374567255924132196924022313720*x + 11034899396959134933658625696337804685624604295282564729575109726970639413802000>,		// time = 8.519 seconds 
   <863, x^2 - 3161154727774901351248592085687397285440*x - 1943859093652812995290344879719304044709783909550538013742767387882963038321664>,		// time = 8.531 seconds 
   <877, x^2 + 2111070399757459266434436725649053050580*x - 18920632380277635002720230659351483130872953089534647448961748477040051683432476>,		// time = 8.679 seconds 
   <881, x^2 - 1906782529325178849136308428267831637924*x - 67498960342146150737762214664260654108607445319158065904637584158251940217882556>,		// time = 8.75 seconds 
   <883, x^2 + 9539798277829034994325417162434054738920*x + 15419902016840207199677663497069158293818843639752407284193653317817814057685136>,		// time = 8.789 seconds 
   <887, x^2 - 3464267617440347776733866335715910166480*x - 24641619476930310671527646564789638056996920657297155475870045388747836810575296>,		// time = 8.901 seconds 
   <907, x^2 + 13886879268663935771098184264916597104600*x + 26509130952610766418589609175516290414592918727856845068778592837541083736408464>,		// time = 9.059 seconds 
   <911, x^2 - 17836427886556292723313877793571911336544*x + 77570061450656295607455923832024982620512506431012971238945182681631513804105984>,		// time = 9.159 seconds 
   <919, x^2 - 22739471994655515968591186260626537980560*x + 91991547565007916673473857507235380842848151121010091774142088965953031804200000>,		// time = 9.181 seconds 
   <929, x^2 - 6391069164584608402681781163005209574340*x - 22020348508889444634500309205864434827276508165255926561214493105808609151845500>,		// time = 9.269 seconds 
   <937, x^2 + 4607414002358747563359293519329102193420*x + 4873568318807044286578562859761347950790978291744716073999323311623537481978404>,		// time = 9.379 seconds 
   <941, x^2 - 11560556749267943586538401468757227541164*x - 9857417841663049116836272771716674976136213216198192548856913064744367585941276>,		// time = 9.5 seconds 
   <947, x^2 - 19652508220743225092918979879124733740440*x + 58105362611633799784258389878928647407864997553735824170538179671305218294141584>,		// time = 9.51 seconds 
   <953, x^2 + 29301421274775423973066359795553688945580*x + 179771852901983127383755615935342920751574286865684368932392190394326190714347236>,		// time = 9.69 seconds 
   <967, x^2 + 12112277725211863563786519188647496021840*x - 453499509331267723597096207930451952239879199200509820543865097976184959925035456>,		// time = 9.739 seconds 
   <971, x^2 + 5375245400958426473668019124545384918616*x - 232684543349772865997083922767190015560826042032017400354855392203299753525121136>,		// time = 9.82 seconds 
   <977, x^2 - 3478160816917818021156426731956769102820*x - 342440062779012655670419628280361396148158992487095202319315785197038089053570876>,		// time = 9.909 seconds 
   <983, x^2 + 30564757511334243231196462042082243393520*x - 295929477503772273343849994609641066557603879835375120206902365922077064818966464>,		// time = 9.96 seconds 
   <991, x^2 - 29191855269778803385752340077266465184064*x + 209011291467752875240911931736595591545269833749443134083754975242808379726849024>,		// time = 10.161 seconds 
   <997, x^2 - 40272371783476213308571962698674461974140*x - 216890483701049503822145517761566482605598471280544369918748159601946388113829116>		// time = 10.239 seconds 
];