T[1,10] := [   		// time = 0.09 seconds
   <2, 1>,		// time = 0.02 seconds 
   <3, 1>,		// time = 0 seconds 
   <5, 1>,		// time = 0.01 seconds 
   <7, 1>,		// time = 0 seconds 
   <11, 1>,		// time = 0.01 seconds 
   <13, 1>,		// time = 0.01 seconds 
   <17, 1>,		// time = 0.02 seconds 
   <19, 1>,		// time = 0.02 seconds 
   <23, 1>,		// time = 0.019 seconds 
   <29, 1>,		// time = 0.03 seconds 
   <31, 1>,		// time = 0.03 seconds 
   <37, 1>,		// time = 0.04 seconds 
   <41, 1>,		// time = 0.04 seconds 
   <43, 1>,		// time = 0.05 seconds 
   <47, 1>,		// time = 0.049 seconds 
   <53, 1>,		// time = 0.06 seconds 
   <59, 1>,		// time = 0.06 seconds 
   <61, 1>,		// time = 0.069 seconds 
   <67, 1>,		// time = 0.08 seconds 
   <71, 1>,		// time = 0.08 seconds 
   <73, 1>,		// time = 0.08 seconds 
   <79, 1>,		// time = 0.089 seconds 
   <83, 1>,		// time = 0.1 seconds 
   <89, 1>,		// time = 0.1 seconds 
   <97, 1>,		// time = 0.12 seconds 
   <101, 1>,		// time = 0.119 seconds 
   <103, 1>,		// time = 0.12 seconds 
   <107, 1>,		// time = 0.13 seconds 
   <109, 1>,		// time = 0.131 seconds 
   <113, 1>,		// time = 0.129 seconds 
   <127, 1>,		// time = 0.159 seconds 
   <131, 1>,		// time = 0.171 seconds 
   <137, 1>,		// time = 0.169 seconds 
   <139, 1>,		// time = 0.169 seconds 
   <149, 1>,		// time = 0.19 seconds 
   <151, 1>,		// time = 0.191 seconds 
   <157, 1>,		// time = 0.199 seconds 
   <163, 1>,		// time = 0.21 seconds 
   <167, 1>,		// time = 0.21 seconds 
   <173, 1>,		// time = 0.221 seconds 
   <179, 1>,		// time = 0.229 seconds 
   <181, 1>,		// time = 0.24 seconds 
   <191, 1>,		// time = 0.261 seconds 
   <193, 1>,		// time = 0.261 seconds 
   <197, 1>,		// time = 0.25 seconds 
   <199, 1>,		// time = 0.269 seconds 
   <211, 1>,		// time = 0.28 seconds 
   <223, 1>,		// time = 0.299 seconds 
   <227, 1>,		// time = 0.299 seconds 
   <229, 1>,		// time = 0.311 seconds 
   <233, 1>,		// time = 0.319 seconds 
   <239, 1>,		// time = 0.34 seconds 
   <241, 1>,		// time = 0.33 seconds 
   <251, 1>,		// time = 0.35 seconds 
   <257, 1>,		// time = 0.34 seconds 
   <263, 1>,		// time = 0.361 seconds 
   <269, 1>,		// time = 0.369 seconds 
   <271, 1>,		// time = 0.371 seconds 
   <277, 1>,		// time = 0.389 seconds 
   <281, 1>,		// time = 0.381 seconds 
   <283, 1>,		// time = 0.4 seconds 
   <293, 1>,		// time = 0.429 seconds 
   <307, 1>,		// time = 0.429 seconds 
   <311, 1>,		// time = 0.429 seconds 
   <313, 1>,		// time = 0.451 seconds 
   <317, 1>,		// time = 0.439 seconds 
   <331, 1>,		// time = 0.469 seconds 
   <337, 1>,		// time = 0.48 seconds 
   <347, 1>,		// time = 0.48 seconds 
   <349, 1>,		// time = 0.51 seconds 
   <353, 1>,		// time = 0.5 seconds 
   <359, 1>,		// time = 0.559 seconds 
   <367, 1>,		// time = 0.55 seconds 
   <373, 1>,		// time = 0.529 seconds 
   <379, 1>,		// time = 0.56 seconds 
   <383, 1>,		// time = 0.55 seconds 
   <389, 1>,		// time = 0.569 seconds 
   <397, 1>,		// time = 0.57 seconds 
   <401, 1>,		// time = 0.59 seconds 
   <409, 1>,		// time = 0.6 seconds 
   <419, 1>,		// time = 0.611 seconds 
   <421, 1>,		// time = 0.62 seconds 
   <431, 1>,		// time = 0.679 seconds 
   <433, 1>,		// time = 0.629 seconds 
   <439, 1>,		// time = 0.65 seconds 
   <443, 1>,		// time = 0.649 seconds 
   <449, 1>,		// time = 0.671 seconds 
   <457, 1>,		// time = 0.679 seconds 
   <461, 1>,		// time = 0.679 seconds 
   <463, 1>,		// time = 0.689 seconds 
   <467, 1>,		// time = 0.69 seconds 
   <479, 1>,		// time = 0.721 seconds 
   <487, 1>,		// time = 0.73 seconds 
   <491, 1>,		// time = 0.8 seconds 
   <499, 1>,		// time = 0.74 seconds 
   <503, 1>,		// time = 0.75 seconds 
   <509, 1>,		// time = 0.761 seconds 
   <521, 1>,		// time = 0.789 seconds 
   <523, 1>,		// time = 0.789 seconds 
   <541, 1>,		// time = 0.82 seconds 
   <547, 1>,		// time = 0.829 seconds 
   <557, 1>,		// time = 0.85 seconds 
   <563, 1>,		// time = 0.859 seconds 
   <569, 1>,		// time = 0.859 seconds 
   <571, 1>,		// time = 0.869 seconds 
   <577, 1>,		// time = 0.881 seconds 
   <587, 1>,		// time = 0.99 seconds 
   <593, 1>,		// time = 0.909 seconds 
   <599, 1>,		// time = 0.92 seconds 
   <601, 1>,		// time = 0.92 seconds 
   <607, 1>,		// time = 0.939 seconds 
   <613, 1>,		// time = 0.939 seconds 
   <617, 1>,		// time = 0.951 seconds 
   <619, 1>,		// time = 0.949 seconds 
   <631, 1>,		// time = 0.971 seconds 
   <641, 1>,		// time = 1 seconds 
   <643, 1>,		// time = 0.989 seconds 
   <647, 1>,		// time = 1.011 seconds 
   <653, 1>,		// time = 1.009 seconds 
   <659, 1>,		// time = 1.03 seconds 
   <661, 1>,		// time = 1.149 seconds 
   <673, 1>,		// time = 1.06 seconds 
   <677, 1>,		// time = 1.049 seconds 
   <683, 1>,		// time = 1.06 seconds 
   <691, 1>,		// time = 1.079 seconds 
   <701, 1>,		// time = 1.1 seconds 
   <709, 1>,		// time = 1.109 seconds 
   <719, 1>,		// time = 1.129 seconds 
   <727, 1>,		// time = 1.14 seconds 
   <733, 1>,		// time = 1.15 seconds 
   <739, 1>,		// time = 1.17 seconds 
   <743, 1>,		// time = 1.17 seconds 
   <751, 1>,		// time = 1.179 seconds 
   <757, 1>,		// time = 1.191 seconds 
   <761, 1>,		// time = 1.21 seconds 
   <769, 1>,		// time = 1.209 seconds 
   <773, 1>,		// time = 1.371 seconds 
   <787, 1>,		// time = 1.25 seconds 
   <797, 1>,		// time = 1.259 seconds 
   <809, 1>,		// time = 1.29 seconds 
   <811, 1>,		// time = 1.29 seconds 
   <821, 1>,		// time = 1.299 seconds 
   <823, 1>,		// time = 1.31 seconds 
   <827, 1>,		// time = 1.309 seconds 
   <829, 1>,		// time = 1.331 seconds 
   <839, 1>,		// time = 1.339 seconds 
   <853, 1>,		// time = 1.37 seconds 
   <857, 1>,		// time = 1.379 seconds 
   <859, 1>,		// time = 1.37 seconds 
   <863, 1>,		// time = 1.379 seconds 
   <877, 1>,		// time = 1.411 seconds 
   <881, 1>,		// time = 1.419 seconds 
   <883, 1>,		// time = 1.411 seconds 
   <887, 1>,		// time = 1.679 seconds 
   <907, 1>,		// time = 1.5 seconds 
   <911, 1>,		// time = 1.53 seconds 
   <919, 1>,		// time = 1.521 seconds 
   <929, 1>,		// time = 1.57 seconds 
   <937, 1>,		// time = 1.519 seconds 
   <941, 1>,		// time = 1.531 seconds 
   <947, 1>,		// time = 1.541 seconds 
   <953, 1>,		// time = 1.539 seconds 
   <967, 1>,		// time = 1.57 seconds 
   <971, 1>,		// time = 1.589 seconds 
   <977, 1>,		// time = 1.6 seconds 
   <983, 1>,		// time = 1.59 seconds 
   <991, 1>,		// time = 1.619 seconds 
   <997, 1>		// time = 1.64 seconds 
];

T[1,12] := [   		// time = 1.28 seconds
   <2, x + 24>,		// time = 0.011 seconds 
   <3, x - 252>,		// time = 0 seconds 
   <5, x - 4830>,		// time = 0.009 seconds 
   <7, x + 16744>,		// time = 0.01 seconds 
   <11, x - 534612>,		// time = 0.021 seconds 
   <13, x + 577738>,		// time = 0.021 seconds 
   <17, x + 6905934>,		// time = 0.03 seconds 
   <19, x - 10661420>,		// time = 0.039 seconds 
   <23, x - 18643272>,		// time = 0.041 seconds 
   <29, x - 128406630>,		// time = 0.06 seconds 
   <31, x + 52843168>,		// time = 0.069 seconds 
   <37, x + 182213314>,		// time = 0.069 seconds 
   <41, x - 308120442>,		// time = 0.09 seconds 
   <43, x + 17125708>,		// time = 0.09 seconds 
   <47, x - 2687348496>,		// time = 0.109 seconds 
   <53, x + 1596055698>,		// time = 0.111 seconds 
   <59, x + 5189203740>,		// time = 0.141 seconds 
   <61, x - 6956478662>,		// time = 0.141 seconds 
   <67, x + 15481826884>,		// time = 0.15 seconds 
   <71, x - 9791485272>,		// time = 0.169 seconds 
   <73, x - 1463791322>,		// time = 0.17 seconds 
   <79, x - 38116845680>,		// time = 0.191 seconds 
   <83, x + 29335099668>,		// time = 0.199 seconds 
   <89, x + 24992917110>,		// time = 0.22 seconds 
   <97, x - 75013568546>,		// time = 0.24 seconds 
   <101, x - 81742959102>,		// time = 0.25 seconds 
   <103, x + 225755128648>,		// time = 0.259 seconds 
   <107, x - 90241258356>,		// time = 0.26 seconds 
   <109, x - 73482676310>,		// time = 0.281 seconds 
   <113, x + 85146862638>,		// time = 0.28 seconds 
   <127, x + 262717201024>,		// time = 0.329 seconds 
   <131, x - 631528759932>,		// time = 0.329 seconds 
   <137, x + 297198746214>,		// time = 0.361 seconds 
   <139, x - 596793577940>,		// time = 0.361 seconds 
   <149, x + 1115433620850>,		// time = 0.4 seconds 
   <151, x + 824447297848>,		// time = 0.399 seconds 
   <157, x - 1315116754406>,		// time = 0.42 seconds 
   <163, x + 357832759588>,		// time = 0.43 seconds 
   <167, x - 2754833892216>,		// time = 0.45 seconds 
   <173, x + 950387449578>,		// time = 0.469 seconds 
   <179, x - 1681384224780>,		// time = 0.479 seconds 
   <181, x + 996774496018>,		// time = 0.501 seconds 
   <191, x - 2762403350592>,		// time = 0.521 seconds 
   <193, x - 5442387685442>,		// time = 0.53 seconds 
   <197, x + 2876091504354>,		// time = 0.549 seconds 
   <199, x - 728391402200>,		// time = 0.54 seconds 
   <211, x + 6793168439188>,		// time = 0.59 seconds 
   <223, x - 7334863021472>,		// time = 0.629 seconds 
   <227, x + 1359839565924>,		// time = 0.639 seconds 
   <229, x + 11824411223170>,		// time = 0.641 seconds 
   <233, x + 17563353448518>,		// time = 0.669 seconds 
   <239, x + 7139577462960>,		// time = 0.671 seconds 
   <241, x + 231306909358>,		// time = 0.689 seconds 
   <251, x - 12983053545252>,		// time = 0.719 seconds 
   <257, x - 23961192565506>,		// time = 0.739 seconds 
   <263, x + 24273728464488>,		// time = 0.75 seconds 
   <269, x - 25837706543670>,		// time = 0.78 seconds 
   <271, x + 3767932360528>,		// time = 0.791 seconds 
   <277, x + 16418932005874>,		// time = 0.81 seconds 
   <281, x - 21035722907082>,		// time = 0.809 seconds 
   <283, x - 16713176326532>,		// time = 0.83 seconds 
   <293, x + 23926858987458>,		// time = 0.86 seconds 
   <307, x - 15311092828556>,		// time = 0.899 seconds 
   <311, x - 49875160575912>,		// time = 0.921 seconds 
   <313, x + 99480832756438>,		// time = 0.93 seconds 
   <317, x - 83369248359366>,		// time = 0.939 seconds 
   <331, x + 63584021925868>,		// time = 0.989 seconds 
   <337, x - 121001428335986>,		// time = 1.001 seconds 
   <347, x + 155661561078204>,		// time = 1.051 seconds 
   <349, x + 25643022194650>,		// time = 1.049 seconds 
   <353, x - 24909815245602>,		// time = 1.07 seconds 
   <359, x - 157584150853560>,		// time = 1.079 seconds 
   <367, x + 177901220129584>,		// time = 1.121 seconds 
   <373, x + 55161734023378>,		// time = 1.131 seconds 
   <379, x - 146463116322980>,		// time = 1.151 seconds 
   <383, x - 231449571733632>,		// time = 1.171 seconds 
   <389, x + 149871571611810>,		// time = 1.189 seconds 
   <397, x - 208110680273846>,		// time = 1.209 seconds 
   <401, x + 133407937691598>,		// time = 1.231 seconds 
   <409, x + 206167580638390>,		// time = 1.259 seconds 
   <419, x - 73403515193820>,		// time = 1.289 seconds 
   <421, x - 171111932338622>,		// time = 1.301 seconds 
   <431, x + 71775829446768>,		// time = 1.34 seconds 
   <433, x - 99881248225682>,		// time = 1.34 seconds 
   <439, x + 29031220908760>,		// time = 1.359 seconds 
   <443, x - 328369848718692>,		// time = 1.381 seconds 
   <449, x + 612368143631550>,		// time = 1.401 seconds 
   <457, x - 303483032911706>,		// time = 1.431 seconds 
   <461, x + 729307946668938>,		// time = 1.449 seconds 
   <463, x - 122188164073712>,		// time = 1.471 seconds 
   <467, x + 617380683662484>,		// time = 1.471 seconds 
   <479, x - 1050837984850080>,		// time = 1.51 seconds 
   <487, x + 219909971761864>,		// time = 1.539 seconds 
   <491, x + 483863128068108>,		// time = 1.56 seconds 
   <499, x + 108877719272500>,		// time = 1.579 seconds 
   <503, x - 506588355787752>,		// time = 1.59 seconds 
   <509, x - 85753393288710>,		// time = 1.631 seconds 
   <521, x - 927574652509722>,		// time = 1.661 seconds 
   <523, x + 21818651341228>,		// time = 1.669 seconds 
   <541, x + 1695266465052058>,		// time = 1.741 seconds 
   <547, x - 752144751323996>,		// time = 1.759 seconds 
   <557, x - 187489032934806>,		// time = 1.801 seconds 
   <563, x - 244971285916812>,		// time = 1.81 seconds 
   <569, x - 1352425875836970>,		// time = 1.839 seconds 
   <571, x - 1432228477996772>,		// time = 1.84 seconds 
   <577, x + 877659324192574>,		// time = 1.871 seconds 
   <587, x + 2434250501782764>,		// time = 1.891 seconds 
   <593, x + 303318212278158>,		// time = 1.929 seconds 
   <599, x + 1701984261329400>,		// time = 1.94 seconds 
   <601, x - 2339216023326602>,		// time = 1.95 seconds 
   <607, x + 2496072486898144>,		// time = 1.969 seconds 
   <613, x - 2473009012516862>,		// time = 1.99 seconds 
   <617, x - 24336777156666>,		// time = 2 seconds 
   <619, x - 4225450805148020>,		// time = 2.009 seconds 
   <631, x + 4263261111420568>,		// time = 2.06 seconds 
   <641, x - 1008295928583042>,		// time = 2.099 seconds 
   <643, x - 303982416160892>,		// time = 2.111 seconds 
   <647, x - 3435828424131096>,		// time = 2.129 seconds 
   <653, x + 1185387156769098>,		// time = 2.139 seconds 
   <659, x + 2265102374509140>,		// time = 2.161 seconds 
   <661, x + 5330121520762738>,		// time = 2.191 seconds 
   <673, x - 4741198635421922>,		// time = 2.23 seconds 
   <677, x + 1413071638641474>,		// time = 2.239 seconds 
   <683, x + 3031157627077068>,		// time = 2.26 seconds 
   <691, x + 2747313442193908>,		// time = 2.28 seconds 
   <701, x - 5727465442629702>,		// time = 2.319 seconds 
   <709, x - 698326457818910>,		// time = 2.359 seconds 
   <719, x - 9709787093595120>,		// time = 2.4 seconds 
   <727, x - 2464686886685576>,		// time = 2.421 seconds 
   <733, x - 7912852398754982>,		// time = 2.439 seconds 
   <739, x + 8406936179151460>,		// time = 2.479 seconds 
   <743, x - 1362869794471992>,		// time = 2.48 seconds 
   <751, x - 6817220120892752>,		// time = 2.509 seconds 
   <757, x + 667048975014994>,		// time = 2.519 seconds 
   <761, x + 7744079729695638>,		// time = 2.56 seconds 
   <769, x - 2524111226919170>,		// time = 2.58 seconds 
   <773, x + 11145268112466978>,		// time = 2.589 seconds 
   <787, x - 13227104255899436>,		// time = 2.65 seconds 
   <797, x - 2302477758246246>,		// time = 2.691 seconds 
   <809, x - 5604717670694010>,		// time = 2.719 seconds 
   <811, x + 5085164185024588>,		// time = 2.74 seconds 
   <821, x - 279110773799022>,		// time = 2.769 seconds 
   <823, x + 13526517861603928>,		// time = 2.79 seconds 
   <827, x - 272543929352676>,		// time = 2.8 seconds 
   <829, x - 18045917610367430>,		// time = 2.829 seconds 
   <839, x + 7961834707368360>,		// time = 2.839 seconds 
   <853, x + 14982644001390898>,		// time = 2.92 seconds 
   <857, x + 22256130175851894>,		// time = 2.92 seconds 
   <859, x - 5442366024533060>,		// time = 2.93 seconds 
   <863, x - 10810987426382112>,		// time = 2.939 seconds 
   <877, x + 28102437759471274>,		// time = 3 seconds 
   <881, x - 4222089494633682>,		// time = 3.029 seconds 
   <883, x - 516091995437132>,		// time = 3.031 seconds 
   <887, x - 5719060466578536>,		// time = 3.029 seconds 
   <907, x + 84377784300844>,		// time = 3.12 seconds 
   <911, x + 11009058285505488>,		// time = 3.15 seconds 
   <919, x + 4863513801242680>,		// time = 3.151 seconds 
   <929, x - 3575343976258530>,		// time = 3.209 seconds 
   <937, x - 38637331724206586>,		// time = 3.221 seconds 
   <941, x + 34899727878407658>,		// time = 3.25 seconds 
   <947, x + 28512291118415604>,		// time = 3.289 seconds 
   <953, x - 40033434235820202>,		// time = 3.331 seconds 
   <967, x - 18495304308397016>,		// time = 3.359 seconds 
   <971, x + 21487665696030828>,		// time = 3.37 seconds 
   <977, x + 8738799717564174>,		// time = 3.401 seconds 
   <983, x - 11892426157508232>,		// time = 3.409 seconds 
   <991, x - 23440857788319392>,		// time = 3.451 seconds 
   <997, x + 21400415987399554>		// time = 3.489 seconds 
];

T[1,14] := [   		// time = 1.651 seconds
   <2, 1>,		// time = 0 seconds 
   <3, 1>,		// time = 0 seconds 
   <5, 1>,		// time = 0.009 seconds 
   <7, 1>,		// time = 0.009 seconds 
   <11, 1>,		// time = 0.01 seconds 
   <13, 1>,		// time = 0.01 seconds 
   <17, 1>,		// time = 0.021 seconds 
   <19, 1>,		// time = 0.019 seconds 
   <23, 1>,		// time = 0.031 seconds 
   <29, 1>,		// time = 0.029 seconds 
   <31, 1>,		// time = 0.04 seconds 
   <37, 1>,		// time = 0.049 seconds 
   <41, 1>,		// time = 0.05 seconds 
   <43, 1>,		// time = 0.05 seconds 
   <47, 1>,		// time = 0.06 seconds 
   <53, 1>,		// time = 0.069 seconds 
   <59, 1>,		// time = 0.08 seconds 
   <61, 1>,		// time = 0.081 seconds 
   <67, 1>,		// time = 0.089 seconds 
   <71, 1>,		// time = 0.091 seconds 
   <73, 1>,		// time = 0.099 seconds 
   <79, 1>,		// time = 0.11 seconds 
   <83, 1>,		// time = 0.12 seconds 
   <89, 1>,		// time = 0.12 seconds 
   <97, 1>,		// time = 0.139 seconds 
   <101, 1>,		// time = 0.149 seconds 
   <103, 1>,		// time = 0.151 seconds 
   <107, 1>,		// time = 0.149 seconds 
   <109, 1>,		// time = 0.161 seconds 
   <113, 1>,		// time = 0.159 seconds 
   <127, 1>,		// time = 0.19 seconds 
   <131, 1>,		// time = 0.201 seconds 
   <137, 1>,		// time = 0.199 seconds 
   <139, 1>,		// time = 0.209 seconds 
   <149, 1>,		// time = 0.221 seconds 
   <151, 1>,		// time = 0.239 seconds 
   <157, 1>,		// time = 0.23 seconds 
   <163, 1>,		// time = 0.26 seconds 
   <167, 1>,		// time = 0.26 seconds 
   <173, 1>,		// time = 0.261 seconds 
   <179, 1>,		// time = 0.279 seconds 
   <181, 1>,		// time = 0.281 seconds 
   <191, 1>,		// time = 0.3 seconds 
   <193, 1>,		// time = 0.299 seconds 
   <197, 1>,		// time = 0.31 seconds 
   <199, 1>,		// time = 0.32 seconds 
   <211, 1>,		// time = 0.341 seconds 
   <223, 1>,		// time = 0.36 seconds 
   <227, 1>,		// time = 0.359 seconds 
   <229, 1>,		// time = 0.37 seconds 
   <233, 1>,		// time = 0.38 seconds 
   <239, 1>,		// time = 0.391 seconds 
   <241, 1>,		// time = 0.399 seconds 
   <251, 1>,		// time = 0.411 seconds 
   <257, 1>,		// time = 0.419 seconds 
   <263, 1>,		// time = 0.43 seconds 
   <269, 1>,		// time = 0.45 seconds 
   <271, 1>,		// time = 0.451 seconds 
   <277, 1>,		// time = 0.459 seconds 
   <281, 1>,		// time = 0.469 seconds 
   <283, 1>,		// time = 0.471 seconds 
   <293, 1>,		// time = 0.49 seconds 
   <307, 1>,		// time = 0.519 seconds 
   <311, 1>,		// time = 0.52 seconds 
   <313, 1>,		// time = 0.531 seconds 
   <317, 1>,		// time = 0.529 seconds 
   <331, 1>,		// time = 0.56 seconds 
   <337, 1>,		// time = 0.581 seconds 
   <347, 1>,		// time = 0.589 seconds 
   <349, 1>,		// time = 0.6 seconds 
   <353, 1>,		// time = 0.599 seconds 
   <359, 1>,		// time = 0.61 seconds 
   <367, 1>,		// time = 0.63 seconds 
   <373, 1>,		// time = 0.651 seconds 
   <379, 1>,		// time = 0.649 seconds 
   <383, 1>,		// time = 0.67 seconds 
   <389, 1>,		// time = 0.68 seconds 
   <397, 1>,		// time = 0.689 seconds 
   <401, 1>,		// time = 0.699 seconds 
   <409, 1>,		// time = 0.709 seconds 
   <419, 1>,		// time = 0.73 seconds 
   <421, 1>,		// time = 0.75 seconds 
   <431, 1>,		// time = 0.759 seconds 
   <433, 1>,		// time = 0.769 seconds 
   <439, 1>,		// time = 0.771 seconds 
   <443, 1>,		// time = 0.789 seconds 
   <449, 1>,		// time = 0.79 seconds 
   <457, 1>,		// time = 0.819 seconds 
   <461, 1>,		// time = 0.82 seconds 
   <463, 1>,		// time = 0.83 seconds 
   <467, 1>,		// time = 0.831 seconds 
   <479, 1>,		// time = 0.859 seconds 
   <487, 1>,		// time = 0.881 seconds 
   <491, 1>,		// time = 0.879 seconds 
   <499, 1>,		// time = 0.899 seconds 
   <503, 1>,		// time = 0.911 seconds 
   <509, 1>,		// time = 0.919 seconds 
   <521, 1>,		// time = 0.94 seconds 
   <523, 1>,		// time = 0.951 seconds 
   <541, 1>,		// time = 0.989 seconds 
   <547, 1>,		// time = 1 seconds 
   <557, 1>,		// time = 1.021 seconds 
   <563, 1>,		// time = 1.029 seconds 
   <569, 1>,		// time = 1.031 seconds 
   <571, 1>,		// time = 1.049 seconds 
   <577, 1>,		// time = 1.05 seconds 
   <587, 1>,		// time = 1.081 seconds 
   <593, 1>,		// time = 1.089 seconds 
   <599, 1>,		// time = 1.1 seconds 
   <601, 1>,		// time = 1.109 seconds 
   <607, 1>,		// time = 1.12 seconds 
   <613, 1>,		// time = 1.13 seconds 
   <617, 1>,		// time = 1.141 seconds 
   <619, 1>,		// time = 1.139 seconds 
   <631, 1>,		// time = 1.159 seconds 
   <641, 1>,		// time = 1.201 seconds 
   <643, 1>,		// time = 1.189 seconds 
   <647, 1>,		// time = 1.209 seconds 
   <653, 1>,		// time = 1.209 seconds 
   <659, 1>,		// time = 1.23 seconds 
   <661, 1>,		// time = 1.24 seconds 
   <673, 1>,		// time = 1.25 seconds 
   <677, 1>,		// time = 1.269 seconds 
   <683, 1>,		// time = 1.271 seconds 
   <691, 1>,		// time = 1.299 seconds 
   <701, 1>,		// time = 1.32 seconds 
   <709, 1>,		// time = 1.331 seconds 
   <719, 1>,		// time = 1.349 seconds 
   <727, 1>,		// time = 1.38 seconds 
   <733, 1>,		// time = 1.38 seconds 
   <739, 1>,		// time = 1.401 seconds 
   <743, 1>,		// time = 1.399 seconds 
   <751, 1>,		// time = 1.42 seconds 
   <757, 1>,		// time = 1.439 seconds 
   <761, 1>,		// time = 1.45 seconds 
   <769, 1>,		// time = 1.45 seconds 
   <773, 1>,		// time = 1.48 seconds 
   <787, 1>,		// time = 1.49 seconds 
   <797, 1>,		// time = 1.529 seconds 
   <809, 1>,		// time = 1.54 seconds 
   <811, 1>,		// time = 1.56 seconds 
   <821, 1>,		// time = 1.57 seconds 
   <823, 1>,		// time = 1.58 seconds 
   <827, 1>,		// time = 1.581 seconds 
   <829, 1>,		// time = 1.599 seconds 
   <839, 1>,		// time = 1.61 seconds 
   <853, 1>,		// time = 1.63 seconds 
   <857, 1>,		// time = 1.651 seconds 
   <859, 1>,		// time = 1.649 seconds 
   <863, 1>,		// time = 1.649 seconds 
   <877, 1>,		// time = 1.68 seconds 
   <881, 1>,		// time = 1.7 seconds 
   <883, 1>,		// time = 1.711 seconds 
   <887, 1>,		// time = 1.709 seconds 
   <907, 1>,		// time = 1.76 seconds 
   <911, 1>,		// time = 1.771 seconds 
   <919, 1>,		// time = 1.769 seconds 
   <929, 1>,		// time = 1.8 seconds 
   <937, 1>,		// time = 1.819 seconds 
   <941, 1>,		// time = 1.829 seconds 
   <947, 1>,		// time = 1.85 seconds 
   <953, 1>,		// time = 1.839 seconds 
   <967, 1>,		// time = 1.88 seconds 
   <971, 1>,		// time = 1.901 seconds 
   <977, 1>,		// time = 1.909 seconds 
   <983, 1>,		// time = 1.911 seconds 
   <991, 1>,		// time = 1.93 seconds 
   <997, 1>		// time = 1.959 seconds 
];

T[1,16] := [   		// time = 1.33 seconds
   <2, x - 216>,		// time = 0 seconds 
   <3, x + 3348>,		// time = 0.01 seconds 
   <5, x - 52110>,		// time = 0.011 seconds 
   <7, x - 2822456>,		// time = 0.009 seconds 
   <11, x - 20586852>,		// time = 0.029 seconds 
   <13, x + 190073338>,		// time = 0.021 seconds 
   <17, x - 1646527986>,		// time = 0.039 seconds 
   <19, x - 1563257180>,		// time = 0.05 seconds 
   <23, x - 9451116072>,		// time = 0.05 seconds 
   <29, x + 36902568330>,		// time = 0.069 seconds 
   <31, x - 71588483552>,		// time = 0.079 seconds 
   <37, x + 1033652081554>,		// time = 0.091 seconds 
   <41, x - 1641974018202>,		// time = 0.109 seconds 
   <43, x + 492403109308>,		// time = 0.12 seconds 
   <47, x + 3410684952624>,		// time = 0.12 seconds 
   <53, x - 6797151655902>,		// time = 0.151 seconds 
   <59, x - 9858856815540>,		// time = 0.159 seconds 
   <61, x - 4931842626902>,		// time = 0.18 seconds 
   <67, x + 28837826625364>,		// time = 0.19 seconds 
   <71, x - 125050114914552>,		// time = 0.211 seconds 
   <73, x + 82171455513478>,		// time = 0.209 seconds 
   <79, x + 25413078694480>,		// time = 0.23 seconds 
   <83, x + 281736730890468>,		// time = 0.25 seconds 
   <89, x - 715618564776810>,		// time = 0.269 seconds 
   <97, x - 612786136081826>,		// time = 0.29 seconds 
   <101, x + 817641571654098>,		// time = 0.319 seconds 
   <103, x - 741114547982552>,		// time = 0.321 seconds 
   <107, x + 2514301452571644>,		// time = 0.33 seconds 
   <109, x - 1268353947457190>,		// time = 0.329 seconds 
   <113, x + 2054162866352238>,		// time = 0.35 seconds 
   <127, x - 2990675947730816>,		// time = 0.399 seconds 
   <131, x + 1626226733523348>,		// time = 0.421 seconds 
   <137, x - 10592201511845946>,		// time = 0.429 seconds 
   <139, x + 18670911522208540>,		// time = 0.45 seconds 
   <149, x + 12555957651134850>,		// time = 0.479 seconds 
   <151, x - 28758788173002152>,		// time = 0.5 seconds 
   <157, x + 14527638158544394>,		// time = 0.51 seconds 
   <163, x - 16774137626235212>,		// time = 0.531 seconds 
   <167, x - 64199924334659736>,		// time = 0.549 seconds 
   <173, x + 75986044070753178>,		// time = 0.581 seconds 
   <179, x - 93374877047641020>,		// time = 0.6 seconds 
   <181, x - 74317669765796702>,		// time = 0.599 seconds 
   <191, x + 98622390566317248>,		// time = 0.651 seconds 
   <193, x + 8911776556935358>,		// time = 0.659 seconds 
   <197, x - 35417574134917326>,		// time = 0.669 seconds 
   <199, x + 286460988828497800>,		// time = 0.671 seconds 
   <211, x - 375833826551569052>,		// time = 0.729 seconds 
   <223, x + 25307787891567328>,		// time = 0.771 seconds 
   <227, x - 303691994772520716>,		// time = 0.789 seconds 
   <229, x - 107991586981028270>,		// time = 0.789 seconds 
   <233, x + 790506217682068518>,		// time = 0.821 seconds 
   <239, x - 352956492128946960>,		// time = 0.829 seconds 
   <241, x - 68568967462179602>,		// time = 0.841 seconds 
   <251, x - 1588056499493163252>,		// time = 0.88 seconds 
   <257, x + 828562059034685694>,		// time = 0.91 seconds 
   <263, x - 1404454851260256312>,		// time = 0.931 seconds 
   <269, x - 1435820360137377030>,		// time = 0.949 seconds 
   <271, x - 509159783589159152>,		// time = 0.971 seconds 
   <277, x - 568946210839495166>,		// time = 0.98 seconds 
   <281, x + 4061836641519738198>,		// time = 1.01 seconds 
   <283, x - 2785059360043480532>,		// time = 1.02 seconds 
   <293, x + 3638027115775808658>,		// time = 1.051 seconds 
   <307, x + 975296087300763844>,		// time = 1.12 seconds 
   <311, x - 336691659808831752>,		// time = 1.129 seconds 
   <313, x - 3655511591562842762>,		// time = 1.139 seconds 
   <317, x + 797379754904038314>,		// time = 1.149 seconds 
   <331, x + 10158512678893878748>,		// time = 1.211 seconds 
   <337, x + 4814653881814264654>,		// time = 1.24 seconds 
   <347, x - 4502751666049603476>,		// time = 1.289 seconds 
   <349, x - 22432314991369546550>,		// time = 1.299 seconds 
   <353, x - 8025097307604388002>,		// time = 1.311 seconds 
   <359, x - 1615072843193774040>,		// time = 1.329 seconds 
   <367, x + 9977994448626462064>,		// time = 1.36 seconds 
   <373, x + 23686588714485006178>,		// time = 1.401 seconds 
   <379, x - 18685121156982396020>,		// time = 1.419 seconds 
   <383, x + 30252066823473936768>,		// time = 1.439 seconds 
   <389, x + 1007143932951970290>,		// time = 1.471 seconds 
   <397, x - 35632419864211771526>,		// time = 1.49 seconds 
   <401, x - 39432703089652313202>,		// time = 1.52 seconds 
   <409, x + 52782330312986685910>,		// time = 1.551 seconds 
   <419, x - 8626299410782459980>,		// time = 1.589 seconds 
   <421, x + 42924857411864654098>,		// time = 1.61 seconds 
   <431, x - 50476373204365891152>,		// time = 1.64 seconds 
   <433, x - 50573397093112460882>,		// time = 1.661 seconds 
   <439, x - 24794607909003802760>,		// time = 1.679 seconds 
   <443, x + 130654278967707957708>,		// time = 1.701 seconds 
   <449, x + 77827995175927650750>,		// time = 1.719 seconds 
   <457, x + 118450824223090809094>,		// time = 1.75 seconds 
   <461, x - 138643031119690399302>,		// time = 1.781 seconds 
   <463, x - 175645004594544548912>,		// time = 1.789 seconds 
   <467, x + 136630964339996286564>,		// time = 1.8 seconds 
   <479, x - 64105810232391205920>,		// time = 1.86 seconds 
   <487, x + 24134317584467009704>,		// time = 1.89 seconds 
   <491, x + 28090793884898388348>,		// time = 1.921 seconds 
   <499, x + 171993603615123328900>,		// time = 1.949 seconds 
   <503, x + 183496515279116728248>,		// time = 1.961 seconds 
   <509, x - 267203608600830147990>,		// time = 2 seconds 
   <521, x + 201467622292352438598>,		// time = 2.03 seconds 
   <523, x - 358988638501746249572>,		// time = 2.061 seconds 
   <541, x - 202328193434804061302>,		// time = 2.12 seconds 
   <547, x - 74096261798900732876>,		// time = 2.169 seconds 
   <557, x - 2096258165482303206>,		// time = 2.221 seconds 
   <563, x - 687352768991581988412>,		// time = 2.23 seconds 
   <569, x + 90521802682779479670>,		// time = 2.259 seconds 
   <571, x - 205773783706772924852>,		// time = 2.279 seconds 
   <577, x - 570778361125879587266>,		// time = 2.3 seconds 
   <587, x + 930363435275990480604>,		// time = 2.35 seconds 
   <593, x - 354224807936897233842>,		// time = 2.36 seconds 
   <599, x + 330045214241748274200>,		// time = 2.4 seconds 
   <601, x + 335883995287326350998>,		// time = 2.401 seconds 
   <607, x + 1334375729047804699744>,		// time = 2.449 seconds 
   <613, x - 5688435372944444462>,		// time = 2.451 seconds 
   <617, x - 398915477694945040986>,		// time = 2.469 seconds 
   <619, x + 540016641807600756220>,		// time = 2.48 seconds 
   <631, x - 959110676308468369352>,		// time = 2.541 seconds 
   <641, x + 925925342118025231998>,		// time = 2.579 seconds 
   <643, x + 765927858754026197908>,		// time = 2.6 seconds 
   <647, x - 1360754271840232136376>,		// time = 2.6 seconds 
   <653, x + 271808672598939928698>,		// time = 2.649 seconds 
   <659, x - 674316250030836216540>,		// time = 2.67 seconds 
   <661, x - 1267268866679850853502>,		// time = 2.681 seconds 
   <673, x + 1139445987246513182878>,		// time = 2.74 seconds 
   <677, x - 1744312019604807273966>,		// time = 2.759 seconds 
   <683, x + 1437390792807621086268>,		// time = 2.789 seconds 
   <691, x + 1775475477541366791748>,		// time = 2.821 seconds 
   <701, x - 1431003389167119462102>,		// time = 2.86 seconds 
   <709, x + 2418403187913507119410>,		// time = 2.889 seconds 
   <719, x - 4744438233844295461680>,		// time = 2.949 seconds 
   <727, x + 3592646945141378296984>,		// time = 2.971 seconds 
   <733, x + 2768235432318591148618>,		// time = 3.01 seconds 
   <739, x - 3558241342219996245260>,		// time = 3.041 seconds 
   <743, x + 1940919448954530628008>,		// time = 3.059 seconds 
   <751, x - 4755648944590489774352>,		// time = 3.1 seconds 
   <757, x - 3621365428229853791006>,		// time = 3.11 seconds 
   <761, x + 3863611493551703142198>,		// time = 3.169 seconds 
   <769, x + 5393270765226373961470>,		// time = 3.16 seconds 
   <773, x - 6570369572295558011022>,		// time = 3.211 seconds 
   <787, x + 372073581785586295204>,		// time = 3.259 seconds 
   <797, x - 2615111134656369060726>,		// time = 3.311 seconds 
   <809, x - 5348992550333367700890>,		// time = 3.349 seconds 
   <811, x - 8464923563697895536452>,		// time = 3.38 seconds 
   <821, x - 7993973312037568404702>,		// time = 3.421 seconds 
   <823, x - 1968405114515095582472>,		// time = 3.439 seconds 
   <827, x + 14353875238140627185484>,		// time = 3.451 seconds 
   <829, x + 8833271554558074901930>,		// time = 3.47 seconds 
   <839, x - 12669646577325254931960>,		// time = 3.509 seconds 
   <853, x - 6005322570637837971902>,		// time = 3.569 seconds 
   <857, x - 14758947243889334451306>,		// time = 3.62 seconds 
   <859, x - 964956153039498126740>,		// time = 3.6 seconds 
   <863, x - 3443909030568133847712>,		// time = 3.62 seconds 
   <877, x + 10985023771436785030234>,		// time = 3.679 seconds 
   <881, x + 7984619570820038841198>,		// time = 3.711 seconds 
   <883, x - 5452357163027018171132>,		// time = 3.711 seconds 
   <887, x - 16712728456718529373896>,		// time = 3.74 seconds 
   <907, x + 15338437699335420028444>,		// time = 3.839 seconds 
   <911, x + 14913372374629398837648>,		// time = 3.86 seconds 
   <919, x + 5866674181682656972120>,		// time = 3.88 seconds 
   <929, x + 16794638211772494268830>,		// time = 3.941 seconds 
   <937, x - 5044656161649011646746>,		// time = 3.97 seconds 
   <941, x - 16542548428439130835302>,		// time = 4 seconds 
   <947, x + 9815830250691060979524>,		// time = 4.029 seconds 
   <953, x + 5979138890537025630198>,		// time = 4.039 seconds 
   <967, x + 14475696971583064201864>,		// time = 4.12 seconds 
   <971, x - 1779211406030716089252>,		// time = 4.13 seconds 
   <977, x - 10408769654278916425266>,		// time = 4.15 seconds 
   <983, x - 32646136192413800125032>,		// time = 4.211 seconds 
   <991, x + 7473270757865514401248>,		// time = 4.221 seconds 
   <997, x + 31080942682464818856274>		// time = 4.269 seconds 
];

T[1,18] := [   		// time = 1.49 seconds
   <2, x + 528>,		// time = 0 seconds 
   <3, x + 4284>,		// time = 0.009 seconds 
   <5, x + 1025850>,		// time = 0.009 seconds 
   <7, x - 3225992>,		// time = 0.01 seconds 
   <11, x + 753618228>,		// time = 0.03 seconds 
   <13, x - 2541064526>,		// time = 0.031 seconds 
   <17, x + 5429742318>,		// time = 0.039 seconds 
   <19, x - 1487499860>,		// time = 0.039 seconds 
   <23, x + 317091823464>,		// time = 0.061 seconds 
   <29, x - 2433410602590>,		// time = 0.079 seconds 
   <31, x + 8849722053088>,		// time = 0.081 seconds 
   <37, x - 12691652946662>,		// time = 0.1 seconds 
   <41, x - 48864151002282>,		// time = 0.12 seconds 
   <43, x + 91019974317844>,		// time = 0.12 seconds 
   <47, x + 49304994276048>,		// time = 0.129 seconds 
   <53, x - 22940453195766>,		// time = 0.159 seconds 
   <59, x - 32695090729980>,		// time = 0.17 seconds 
   <61, x + 1308285854869378>,		// time = 0.181 seconds 
   <67, x - 5196143861984132>,		// time = 0.21 seconds 
   <71, x + 3709489877412408>,		// time = 0.209 seconds 
   <73, x - 3402372968272586>,		// time = 0.23 seconds 
   <79, x - 2366533941308240>,		// time = 0.25 seconds 
   <83, x + 29766750443172204>,		// time = 0.26 seconds 
   <89, x - 29167184100574170>,		// time = 0.29 seconds 
   <97, x + 63769879140957598>,		// time = 0.311 seconds 
   <101, x + 160611451805102298>,		// time = 0.33 seconds 
   <103, x + 90713576977116184>,		// time = 0.329 seconds 
   <107, x - 195549453377774892>,		// time = 0.35 seconds 
   <109, x - 213755725457651630>,		// time = 0.36 seconds 
   <113, x + 281382909919711374>,		// time = 0.379 seconds 
   <127, x + 870305059081414528>,		// time = 0.419 seconds 
   <131, x - 131783402773788612>,		// time = 0.441 seconds 
   <137, x - 1871283274137719562>,		// time = 0.46 seconds 
   <139, x - 1587062594616703820>,		// time = 0.479 seconds 
   <149, x + 477239652427291050>,		// time = 0.51 seconds 
   <151, x + 3929641697032521448>,		// time = 0.531 seconds 
   <157, x + 2294533625364666658>,		// time = 0.539 seconds 
   <163, x - 8010439791098248676>,		// time = 0.57 seconds 
   <167, x + 8614773616496938968>,		// time = 0.589 seconds 
   <173, x - 2314298560280392686>,		// time = 0.61 seconds 
   <179, x + 7903074249987272460>,		// time = 0.63 seconds 
   <181, x - 14072859473096249462>,		// time = 0.63 seconds 
   <191, x + 28250056704631311168>,		// time = 0.681 seconds 
   <193, x - 49175488372560218306>,		// time = 0.699 seconds 
   <197, x - 12945762789989287302>,		// time = 0.701 seconds 
   <199, x + 55175476546424361400>,		// time = 0.72 seconds 
   <211, x - 17350987521680017172>,		// time = 0.759 seconds 
   <223, x - 94841481906128896736>,		// time = 0.809 seconds 
   <227, x + 183781743854956721628>,		// time = 0.841 seconds 
   <229, x + 91490806306339102810>,		// time = 0.84 seconds 
   <233, x - 98749681248765635946>,		// time = 0.87 seconds 
   <239, x - 189336916815368475120>,		// time = 0.879 seconds 
   <241, x + 138762012936381922318>,		// time = 0.889 seconds 
   <251, x + 334507667142851495748>,		// time = 0.939 seconds 
   <257, x - 49138214992960426242>,		// time = 0.961 seconds 
   <263, x - 17884459880036272776>,		// time = 0.98 seconds 
   <269, x - 115237132981956844110>,		// time = 1.009 seconds 
   <271, x + 147067104186007937008>,		// time = 1.019 seconds 
   <277, x + 178744304449573755178>,		// time = 1.05 seconds 
   <281, x - 280546008737900331162>,		// time = 1.061 seconds 
   <283, x - 339876639409010699996>,		// time = 1.08 seconds 
   <293, x + 764887057924736109594>,		// time = 1.109 seconds 
   <307, x - 1384717113938486712692>,		// time = 1.181 seconds 
   <311, x + 2347334666067782701128>,		// time = 1.199 seconds 
   <313, x - 1584244383306594352826>,		// time = 1.211 seconds 
   <317, x - 898378316948672000382>,		// time = 1.221 seconds 
   <331, x - 4004688355059819008012>,		// time = 1.279 seconds 
   <337, x + 1067532990477549662638>,		// time = 1.311 seconds 
   <347, x + 1618407086246806533348>,		// time = 1.37 seconds 
   <349, x + 5600778231592951780450>,		// time = 1.37 seconds 
   <353, x - 5107740654588957108066>,		// time = 1.389 seconds 
   <359, x - 5849646150515287835880>,		// time = 1.409 seconds 
   <367, x - 429534675949689694832>,		// time = 1.439 seconds 
   <373, x + 6547343306405273959114>,		// time = 1.48 seconds 
   <379, x - 1518498474580113486140>,		// time = 1.5 seconds 
   <383, x + 8045971998736996619904>,		// time = 1.52 seconds 
   <389, x - 6840403015095275072070>,		// time = 1.541 seconds 
   <397, x - 6234580227124717073102>,		// time = 1.59 seconds 
   <401, x + 2320475993929343865198>,		// time = 1.599 seconds 
   <409, x - 23859040192122913461530>,		// time = 1.651 seconds 
   <419, x + 26183873269354137542940>,		// time = 1.669 seconds 
   <421, x - 11190291442195614141542>,		// time = 1.689 seconds 
   <431, x - 17429616774732221441712>,		// time = 1.74 seconds 
   <433, x + 45141263472119455403854>,		// time = 1.75 seconds 
   <439, x - 38526562295180825585720>,		// time = 1.77 seconds 
   <443, x + 3849658152391736013444>,		// time = 1.791 seconds 
   <449, x + 2776139877731031705150>,		// time = 1.819 seconds 
   <457, x + 13413933814780880811958>,		// time = 1.85 seconds 
   <461, x + 43272778781434817038578>,		// time = 1.88 seconds 
   <463, x - 38572148086890114208976>,		// time = 1.9 seconds 
   <467, x - 49672422571695751923732>,		// time = 1.911 seconds 
   <479, x + 42651283338417541270560>,		// time = 1.959 seconds 
   <487, x + 92812581655380263707288>,		// time = 1.99 seconds 
   <491, x - 1298768054727774133932>,		// time = 2.031 seconds 
   <499, x + 76678815414755957207500>,		// time = 2.059 seconds 
   <503, x - 66771244239038847108216>,		// time = 2.08 seconds 
   <509, x + 115659056252100192799170>,		// time = 2.12 seconds 
   <521, x + 179855143005181283152758>,		// time = 2.159 seconds 
   <523, x - 93721058817507961337036>,		// time = 2.179 seconds 
   <541, x + 152396205092267358605218>,		// time = 2.26 seconds 
   <547, x - 204978565536918064068452>,		// time = 2.291 seconds 
   <557, x + 407359071384692843111058>,		// time = 2.329 seconds 
   <563, x - 221297011647026280041076>,		// time = 2.36 seconds 
   <569, x - 488685688747618423214010>,		// time = 2.39 seconds 
   <571, x - 342217679946152388092>,		// time = 2.401 seconds 
   <577, x + 195910554940856667564478>,		// time = 2.429 seconds 
   <587, x + 480676459929276985286388>,		// time = 2.46 seconds 
   <593, x + 640803912479945537925294>,		// time = 2.509 seconds 
   <599, x - 360949848389335750147800>,		// time = 2.519 seconds 
   <601, x - 653955034973087113930202>,		// time = 2.549 seconds 
   <607, x - 408714909856448329911392>,		// time = 2.571 seconds 
   <613, x - 180349262969745306233126>,		// time = 2.61 seconds 
   <617, x - 442851039023330128271082>,		// time = 2.62 seconds 
   <619, x - 17109820895085667919660>,		// time = 2.629 seconds 
   <631, x + 282293119722601667674888>,		// time = 2.679 seconds 
   <641, x + 377613197198070166747518>,		// time = 2.721 seconds 
   <643, x + 465535579479129734301244>,		// time = 2.74 seconds 
   <647, x - 1004115821043804976313352>,		// time = 2.779 seconds 
   <653, x - 126097968575809092924366>,		// time = 2.79 seconds 
   <659, x + 1061050394008258728338220>,		// time = 2.811 seconds 
   <661, x - 1575110657353559631476822>,		// time = 2.84 seconds 
   <673, x - 291330459065178544769186>,		// time = 2.889 seconds 
   <677, x - 1338613730896911805912422>,		// time = 2.909 seconds 
   <683, x + 1052954153732516111891604>,		// time = 2.93 seconds 
   <691, x + 57131090188152974822668>,		// time = 2.98 seconds 
   <701, x + 318403448622788566564098>,		// time = 3.01 seconds 
   <709, x - 2129965696288822312087430>,		// time = 3.061 seconds 
   <719, x + 2342343870326118418709040>,		// time = 3.12 seconds 
   <727, x - 3581853665345551458006872>,		// time = 3.179 seconds 
   <733, x + 3290125098345465523235554>,		// time = 3.191 seconds 
   <739, x - 1741295714787442650819620>,		// time = 3.22 seconds 
   <743, x + 4615441012904041337205144>,		// time = 3.239 seconds 
   <751, x + 81960658760876191583248>,		// time = 3.281 seconds 
   <757, x + 2516075900596800985213258>,		// time = 3.319 seconds 
   <761, x + 527745046053123669017478>,		// time = 3.35 seconds 
   <769, x + 751718600857887036379390>,		// time = 3.37 seconds 
   <773, x - 2819136984810492489401286>,		// time = 3.4 seconds 
   <787, x + 3207324918299312882428588>,		// time = 3.451 seconds 
   <797, x - 2363283632908174339428702>,		// time = 3.5 seconds 
   <809, x - 9607213326730342456610730>,		// time = 3.559 seconds 
   <811, x + 6646164547259439360324628>,		// time = 3.591 seconds 
   <821, x + 5094578017599003967163658>,		// time = 3.629 seconds 
   <823, x - 5781978271536170124497336>,		// time = 3.671 seconds 
   <827, x - 8389068804767359260587772>,		// time = 3.669 seconds 
   <829, x - 5027694796964745846020990>,		// time = 3.691 seconds 
   <839, x - 938327987125078323742920>,		// time = 3.711 seconds 
   <853, x - 2331879916677175242636566>,		// time = 3.799 seconds 
   <857, x + 10900835014363810390232358>,		// time = 3.82 seconds 
   <859, x + 14783787161334517448315620>,		// time = 3.811 seconds 
   <863, x - 5860871150063640239873376>,		// time = 3.849 seconds 
   <877, x + 10836378806680182976701778>,		// time = 3.911 seconds 
   <881, x - 5000536452902812944757362>,		// time = 3.919 seconds 
   <883, x + 1041083496983276703971404>,		// time = 3.951 seconds 
   <887, x - 14765133772179500888952312>,		// time = 3.951 seconds 
   <907, x + 299746871313495060713908>,		// time = 4.07 seconds 
   <911, x + 1714306641421081714754928>,		// time = 4.101 seconds 
   <919, x + 24253856056624732047422440>,		// time = 4.119 seconds 
   <929, x - 14013758571322555974736290>,		// time = 4.151 seconds 
   <937, x + 24321734664731258383713238>,		// time = 4.21 seconds 
   <941, x - 598393654997457068793582>,		// time = 4.23 seconds 
   <947, x - 36247682041916308194776052>,		// time = 4.269 seconds 
   <953, x + 18815658765322070204315334>,		// time = 4.279 seconds 
   <967, x + 1812116692416003354115768>,		// time = 4.339 seconds 
   <971, x - 20368467949393342030346892>,		// time = 4.381 seconds 
   <977, x + 25259045550982007772760878>,		// time = 4.429 seconds 
   <983, x + 1518395194029642475067304>,		// time = 4.461 seconds 
   <991, x + 6696496233346891897473568>,		// time = 4.48 seconds 
   <997, x + 34532574735545687248561498>		// time = 4.58 seconds 
];