12*312^5003+1 is composite: RES64: [B19D8BA1ED5981D5] (6.9101s+0.0014s)
12*312^5022+1 is composite: RES64: [99F0A7E98A96C859] (6.9391s+0.0022s)
12*312^5030+1 is composite: RES64: [E4D0303BFEEFD94B] (6.9336s+0.0036s)
12*312^5039+1 is composite: RES64: [0863CE80349B2DBC] (6.8508s+0.0018s)
12*312^5040+1 is composite: RES64: [ADF02E8992431D89] (7.3018s+0.0017s)
12*312^5052+1 is composite: RES64: [72F1436E099E4D71] (6.9545s+0.0186s)
12*312^5060+1 is composite: RES64: [899BCC92A00B7FFD] (7.4571s+0.0016s)
12*312^5066+1 is composite: RES64: [C75809B42CD2057C] (7.1976s+0.0018s)
12*312^5067+1 is composite: RES64: [20CAA15BDC144193] (7.3171s+0.0016s)
12*312^5078+1 is composite: RES64: [9C127A842025EA73] (6.7672s+0.0016s)
12*312^5082+1 is composite: RES64: [6AA2511C40931048] (6.9783s+0.0187s)
12*312^5084+1 is composite: RES64: [03BE62D817B08880] (7.5459s+0.0037s)
12*312^5087+1 is composite: RES64: [5D02C259D9726EE1] (11.6121s+0.0032s)
12*312^5106+1 is composite: RES64: [C8FEC7754EFAB94D] (6.1008s+0.0021s)
12*312^5108+1 is composite: RES64: [74F42E692BC577AC] (5.5813s+0.0278s)
12*312^5112+1 is composite: RES64: [CBC52656F99950F5] (5.3651s+0.0019s)
12*312^5118+1 is composite: RES64: [E64C835B3E033298] (5.3650s+0.0224s)
12*312^5139+1 is composite: RES64: [91ACAE1A7857869E] (5.3403s+0.0148s)
12*312^5154+1 is composite: RES64: [C35BC582E45F1AFD] (5.3685s+0.0017s)
12*312^5168+1 is composite: RES64: [24627C8B8DF1E214] (5.3608s+0.0017s)
12*312^5171+1 is composite: RES64: [C5A82E456C714EC4] (5.4097s+0.0255s)
12*312^5174+1 is composite: RES64: [23FCC8C5553A3462] (5.3719s+0.0199s)
12*312^5178+1 is composite: RES64: [FD1DDE5E9AED9A98] (5.4183s+0.0017s)
12*312^5180+1 is composite: RES64: [67E39CFEC5225072] (5.4077s+0.0017s)
12*312^5186+1 is composite: RES64: [5358C7B41EF8BDE7] (5.3866s+0.0017s)
12*312^5202+1 is composite: RES64: [B187DC96BAE30161] (5.3811s+0.0019s)
12*312^5228+1 is composite: RES64: [C1148ADADCCE19BE] (5.5632s+0.3314s)
12*312^5232+1 is composite: RES64: [2DECFF0D2F7900D6] (5.4804s+0.0018s)
12*312^5235+1 is composite: RES64: [D1783A37547D653E] (5.4520s+0.0015s)
12*312^5250+1 is composite: RES64: [8A04C2448DC60EEF] (5.4776s+0.0020s)
12*312^5255+1 is composite: RES64: [78A563B59508D72D] (5.4411s+0.0014s)
12*312^5258+1 is composite: RES64: [F6C3495D11039891] (5.3817s+0.0014s)
12*312^5259+1 is composite: RES64: [3C15E2B4A9C8A8BE] (5.5064s+0.0255s)
12*312^5271+1 is composite: RES64: [5C78EA71B0F0CE89] (5.4256s+0.0015s)
12*312^5279+1 is composite: RES64: [83E0CC97A98AB012] (5.4680s+0.0015s)
12*312^5294+1 is composite: RES64: [2864E366C811769E] (5.4436s+0.0014s)
12*312^5304+1 is composite: RES64: [2CFEE6128B089342] (5.4719s+0.0015s)
12*312^5316+1 is composite: RES64: [DF877FB29CB759F5] (5.4787s+0.0015s)
12*312^5327+1 is composite: RES64: [2933EBB93AFD96C8] (5.5162s+0.0169s)
12*312^5330+1 is composite: RES64: [6641BEB393E78DC6] (5.4811s+0.0015s)
12*312^5351+1 is composite: RES64: [5F054473304F1CB8] (5.5100s+0.0015s)
12*312^5400+1 is composite: RES64: [8DC58156A8576423] (5.5417s+0.0014s)
12*312^5406+1 is composite: RES64: [EC27FEA4871FA9C3] (5.5366s+0.0014s)
12*312^5411+1 is composite: RES64: [C84988ECBB9056F5] (5.5252s+0.0014s)
12*312^5420+1 is composite: RES64: [F97714E8AD6DDC6E] (5.6120s+0.0153s)
12*312^5423+1 is composite: RES64: [874C03093A38EAA8] (5.6299s+0.0015s)
12*312^5435+1 is composite: RES64: [7BB396DDB04AAC5C] (5.5981s+0.0015s)
12*312^5439+1 is composite: RES64: [EB9D6FBFA1266A7C] (5.5900s+0.0014s)
12*312^5460+1 is composite: RES64: [F72514270FE5C1ED] (5.5802s+0.0014s)
12*312^5462+1 is composite: RES64: [118B05DA07E44679] (5.5736s+0.0016s)
12*312^5466+1 is composite: RES64: [4D7136E6BF5258A6] (5.6259s+0.0177s)
12*312^5471+1 is composite: RES64: [26EE39EAD009C7AE] (5.6378s+0.0015s)
12*312^5490+1 is composite: RES64: [ADF872449DE62C2E] (5.6489s+0.0015s)
12*312^5502+1 is composite: RES64: [DA049F2DBA2E303B] (5.7077s+0.0015s)
12*312^5504+1 is composite: RES64: [1F290FA06DEB38EC] (5.6465s+0.0015s)
12*312^5508+1 is composite: RES64: [81BA6DBCA965650A] (5.6483s+0.0014s)
12*312^5511+1 is composite: RES64: [30AABC4AB5C206A0] (5.7039s+0.0151s)
12*312^5535+1 is composite: RES64: [6C2987663B4086E7] (5.6460s+0.0015s)
12*312^5546+1 is composite: RES64: [DEA69739DDD9EE6E] (5.6921s+0.0018s)
12*312^5556+1 is composite: RES64: [5171079C38BE8DFA] (5.7118s+0.0014s)
12*312^5558+1 is composite: RES64: [F683CEF849E7B29A] (5.6632s+0.0015s)
12*312^5559+1 is composite: RES64: [064EBDCC3D8523D6] (5.6862s+0.0018s)
12*312^5571+1 is composite: RES64: [60B26C7C22F88C69] (5.7724s+0.0171s)
12*312^5580+1 is composite: RES64: [661DB7C3681386D4] (6.1898s+0.0015s)
12*312^5582+1 is composite: RES64: [9A48C9696B240B47] (5.7173s+0.0015s)
12*312^5591+1 is composite: RES64: [2D8F19D6E10D4DA1] (5.7264s+0.0015s)
12*312^5595+1 is composite: RES64: [34186F16FA678CDE] (5.7373s+0.0015s)
12*312^5598+1 is composite: RES64: [B058CBF474174A67] (5.7318s+0.0015s)
12*312^5603+1 is composite: RES64: [85B0F608DBD3C6CD] (5.7993s+0.0901s)
12*312^5606+1 is composite: RES64: [F6ABB271E1B55E75] (5.7358s+0.0014s)
12*312^5607+1 is composite: RES64: [99B035108A9FA21B] (5.7652s+0.0015s)
12*312^5615+1 is composite: RES64: [662B5314DAE30D03] (5.7639s+0.0015s)
12*312^5616+1 is composite: RES64: [613A0AB9830AA9B3] (68.2422s+0.0014s)
12*312^5618+1 is composite: RES64: [C6D220196D72A2A8] (11.6205s+1.2644s)
12*312^5624+1 is composite: RES64: [0FA94589D98B0B81] (11.9274s+0.0355s)
12*312^5630+1 is composite: RES64: [EA30780CE8E8A46F] (9.7503s+0.0027s)
12*312^5640+1 is composite: RES64: [64DBB7F7F98DA3B5] (9.3983s+0.1073s)
12*312^5648+1 is composite: RES64: [B8C3E23AAADBA597] (11.4207s+0.0023s)
12*312^5663+1 is composite: RES64: [FAF82CE0AD6D1625] (8.9769s+0.0027s)
12*312^5664+1 is composite: RES64: [FC32B2EBA6BDB83D] (9.6997s+0.0024s)
12*312^5666+1 is composite: RES64: [1677068BC3D01FCC] (9.2526s+3.3629s)
12*312^5670+1 is composite: RES64: [3BD3DC70545AE735] (11.7223s+0.0027s)
12*312^5678+1 is composite: RES64: [3D477D0831DAB71B] (9.7272s+0.0023s)
12*312^5703+1 is composite: RES64: [CE40D08565B8F464] (9.4786s+0.0395s)
12*312^5715+1 is composite: RES64: [079F21651E1C0F8E] (9.0708s+0.0023s)
12*312^5720+1 is composite: RES64: [031F5ED53F21B964] (9.0696s+0.0024s)
12*312^5739+1 is composite: RES64: [08A3D230D2FB4A30] (9.2952s+0.0345s)
12*312^5754+1 is composite: RES64: [DB0AC9FFCD39B642] (9.1896s+0.0331s)
12*312^5774+1 is composite: RES64: [A365F68A866907CA] (9.1099s+0.0024s)
12*312^5792+1 is composite: RES64: [B6A23268F15808C3] (9.0915s+0.0045s)
12*312^5802+1 is composite: RES64: [781EB4E334F70A3C] (10.9103s+0.0044s)
12*312^5807+1 is composite: RES64: [8CFF1C99E325B339] (9.1744s+0.0515s)
12*312^5819+1 is composite: RES64: [27DB7082416C24D4] (10.5188s+0.0024s)
12*312^5834+1 is composite: RES64: [911E5FADCD9B4161] (125.0026s+0.0027s)
12*312^5850+1 is composite: RES64: [6827F37CD0FF1546] (11.6875s+0.0174s)
12*312^5858+1 is composite: RES64: [9AA9464664ED19FC] (11.0596s+0.0046s)
12*312^5870+1 is composite: RES64: [5F9EF91C6896B7D4] (10.7125s+0.0024s)
12*312^5871+1 is composite: RES64: [B33510865D52C0A0] (10.4980s+0.0275s)
12*312^5883+1 is composite: RES64: [53E7FECA1EC85D20] (10.2170s+0.0029s)
12*312^5892+1 is composite: RES64: [79486363ABB68342] (9.9554s+0.0029s)
12*312^5895+1 is composite: RES64: [F8ED97EC0F024180] (9.6363s+0.0025s)
12*312^5903+1 is composite: RES64: [502BCC9B250F32EC] (9.9331s+0.0300s)
12*312^5904+1 is composite: RES64: [4ADE6C961514D977] (12.0597s+0.0045s)
12*312^5918+1 is composite: RES64: [60EC266B1AE03DEB] (9.9772s+0.0024s)
12*312^5928+1 is composite: RES64: [352A68EE7B8FCC15] (15.0135s+0.0317s)
12*312^5936+1 is composite: RES64: [52F8CE4F61C2B60D] (9.9831s+0.0024s)
12*312^5948+1 is composite: RES64: [3379C0CBF26E59CD] (9.8629s+0.0025s)
12*312^5964+1 is composite: RES64: [B6C4307E016454D1] (11.3957s+0.0410s)
12*312^5966+1 is composite: RES64: [34DDCF2BC647530B] (12.2865s+0.0026s)
12*312^5996+1 is composite: RES64: [B08FC8ED4E019F1C] (11.9053s+0.0024s)
12*312^5999+1 is composite: RES64: [83382A2DFEE7B812] (10.0501s+0.1088s)
12*312^6027+1 is composite: RES64: [D05881864C6F6A0A] (9.9709s+0.0035s)
12*312^6032+1 is composite: RES64: [73B3FBA2E296A035] (9.8890s+0.0024s)
12*312^6039+1 is composite: RES64: [66F84B14E8A066BF] (10.2346s+0.0024s)
12*312^6056+1 is composite: RES64: [FCF7A9CAD05F8331] (10.1344s+0.0036s)
12*312^6072+1 is composite: RES64: [D89BC4A46228B486] (10.2624s+0.0025s)
12*312^6074+1 is composite: RES64: [B67034F8F0BD2D2F] (10.2333s+0.0024s)
12*312^6095+1 is composite: RES64: [E6E2C807D7B11F10] (10.4001s+0.0026s)
12*312^6098+1 is composite: RES64: [B9147B1AD55FAC8F] (10.6533s+0.0025s)
12*312^6147+1 is composite: RES64: [8146AFF1F34CEAFC] (17.0497s+0.0027s)
12*312^6155+1 is composite: RES64: [5B837621C26F7ECA] (11.2229s+0.0200s)
12*312^6164+1 is composite: RES64: [DC4A25B62F08EED6] (11.9716s+0.0025s)
12*312^6170+1 is composite: RES64: [B38502C5429BC16A] (11.0452s+0.0027s)
12*312^6194+1 is composite: RES64: [364DB6A4DC7E5D9A] (11.1435s+0.0025s)
12*312^6198+1 is composite: RES64: [33A12B0B2C510155] (14.0099s+0.0029s)
12*312^6200+1 is composite: RES64: [D40A88B4A90EB18C] (11.3353s+0.0023s)
12*312^6204+1 is composite: RES64: [9708B6E5DD06A993] (11.2608s+0.0024s)
12*312^6212+1 is composite: RES64: [5DB4F49FAB6EAE29] (11.8819s+0.0025s)
12*312^6224+1 is composite: RES64: [3F862CA115DE3ADA] (10.6663s+0.0025s)
12*312^6228+1 is composite: RES64: [323E878788B86A7D] (12.7596s+0.0028s)
12*312^6230+1 is composite: RES64: [1577FC8A3816D9C3] (14.3637s+0.0050s)
12*312^6239+1 is composite: RES64: [6251C43610019756] (10.6166s+0.0026s)
12*312^6242+1 is composite: RES64: [607CD466B1BB0BDF] (10.3063s+0.0024s)
12*312^6243+1 is composite: RES64: [3D9CD8A9F73C625E] (10.2885s+0.0025s)
12*312^6254+1 is composite: RES64: [21BDB4506E8D2E4F] (11.8306s+0.0023s)
12*312^6270+1 is composite: RES64: [6DCCEE539E959303] (12.2843s+0.0029s)
12*312^6290+1 is composite: RES64: [2AB767E40CE52C0F] (10.7342s+0.0023s)
12*312^6296+1 is composite: RES64: [2CA41BD010670D1D] (11.0581s+0.0040s)
12*312^6311+1 is composite: RES64: [599C1CB378280AE0] (11.2027s+0.0025s)
12*312^6314+1 is composite: RES64: [CA04953C860C834C] (22.2379s+0.0028s)
12*312^6324+1 is composite: RES64: [FE1265C130446997] (10.6360s+0.0024s)
12*312^6326+1 is composite: RES64: [DF1645DB1F426131] (10.4903s+0.0026s)
12*312^6336+1 is composite: RES64: [31259D50A1ED9DEE] (10.7551s+0.0023s)
12*312^6344+1 is composite: RES64: [B82C1A78B868368F] (10.5046s+0.0025s)
12*312^6387+1 is composite: RES64: [1402534B35D0FDA8] (10.5631s+0.0024s)
12*312^6407+1 is composite: RES64: [700CA7EA7EF7C600] (10.6639s+0.0315s)
12*312^6410+1 is composite: RES64: [873DB4B87F414869] (10.6405s+0.0024s)
12*312^6411+1 is composite: RES64: [392F1BE8239D223F] (10.4440s+0.0029s)
12*312^6420+1 is composite: RES64: [DFE297D319AA4890] (10.9938s+0.0026s)
12*312^6426+1 is composite: RES64: [C119357E539641F1] (10.5828s+0.0310s)
12*312^6431+1 is composite: RES64: [573F372774659045] (20.1650s+0.0042s)
12*312^6440+1 is composite: RES64: [B6A92DBBF60BE874] (10.6170s+0.0026s)
12*312^6446+1 is composite: RES64: [94899068B284ACCC] (7.9879s+0.0026s)
12*312^6450+1 is composite: RES64: [E2AD3AEB69348EA6] (7.5445s+0.0015s)
12*312^6488+1 is composite: RES64: [6527A1F20281075C] (10.6796s+0.0016s)
12*312^6492+1 is composite: RES64: [3BB8E9B23B64BF16] (14.2389s+0.0025s)
12*312^6494+1 is composite: RES64: [84DF42BAA447F1FA] (10.2464s+0.0019s)
12*312^6516+1 is composite: RES64: [18B98C72A6D9F2DD] (7.6298s+0.0016s)
12*312^6524+1 is composite: RES64: [093C2EE747AFDCBF] (7.5111s+0.0016s)
12*312^6527+1 is composite: RES64: [59E85915916B2F5E] (17.1803s+0.0016s)
12*312^6530+1 is composite: RES64: [41A97FCB8FAB37DB] (7.4265s+0.0015s)
12*312^6539+1 is composite: RES64: [6AAE9245786F68D9] (8.5090s+0.0016s)
12*312^6551+1 is composite: RES64: [8A844E1FE1AAEAC9] (29.8304s+0.0015s)
12*312^6560+1 is composite: RES64: [5E54B3B46FC965EE] (13.8704s+0.0032s)
12*312^6579+1 is composite: RES64: [C4C71A1701CA14F1] (46.4656s+0.0029s)
12*312^6582+1 is composite: RES64: [95176C3618155343] (45.6509s+0.0597s)
12*312^6590+1 is composite: RES64: [03236066D0BD51BA] (23.4518s+0.0375s)
12*312^6599+1 is composite: RES64: [82C12686CBD19BD5] (22.8407s+0.0025s)
12*312^6603+1 is composite: RES64: [46B219F0367C2440] (23.8651s+0.0024s)
12*312^6636+1 is composite: RES64: [91C6962E2D492978] (32.8087s+0.0027s)
12*312^6650+1 is composite: RES64: [DD6CA19D8A1B4D6B] (27.2587s+0.2064s)
12*312^6660+1 is composite: RES64: [0205EDFA12FD43C2] (29.9600s+0.0050s)
12*312^6662+1 is composite: RES64: [9171504E247A6C61] (30.3647s+0.0025s)
12*312^6672+1 is composite: RES64: [C8A056E5B6D5D1A0] (27.6902s+0.0024s)
12*312^6678+1 is composite: RES64: [9F959390C17FFD9F] (70.3840s+0.0104s)
12*312^6680+1 is composite: RES64: [1A67166F874E6E49] (68.9337s+0.4829s)
12*312^6690+1 is composite: RES64: [711702E69ED85C39] (63.5342s+0.8930s)
12*312^6695+1 is composite: RES64: [534D9B1A034EB56E] (46.5142s+0.8748s)
12*312^6698+1 is composite: RES64: [969FA6A2A3EAC721] (31.8483s+0.0965s)
12*312^6704+1 is composite: RES64: [9929515793D3517B] (21.1520s+0.3887s)
12*312^6707+1 is composite: RES64: [BA793444EAB99512] (15.2477s+0.0021s)
12*312^6723+1 is composite: RES64: [F9B37322281396E5] (15.1983s+0.0035s)
12*312^6752+1 is composite: RES64: [B1D2F5581C4DEA03] (16.1904s+0.0037s)
12*312^6755+1 is composite: RES64: [859B166B12438D97] (15.5041s+0.0038s)
12*312^6758+1 is composite: RES64: [869A7B19D2B8AF10] (16.0022s+0.0153s)
12*312^6768+1 is composite: RES64: [0EE001D73061857E] (15.3241s+0.0019s)
12*312^6776+1 is composite: RES64: [DB2EDD0E1FE81D31] (15.3037s+0.0019s)
12*312^6783+1 is composite: RES64: [B3FBDD671737E878] (15.3661s+0.0019s)
12*312^6786+1 is composite: RES64: [3CE1B1D096C5C7C0] (19.0793s+0.0020s)
12*312^6804+1 is composite: RES64: [C10D33D00131BB87] (20.2473s+0.0019s)
12*312^6836+1 is composite: RES64: [563757151507DAD4] (30.8328s+0.0038s)
12*312^6846+1 is composite: RES64: [1FDCB09C6BBB4766] (20.1680s+0.0238s)
12*312^6854+1 is composite: RES64: [CA06953F56EC7E51] (15.5358s+0.0016s)
12*312^6875+1 is composite: RES64: [B561239631657C8A] (16.3023s+0.0016s)
12*312^6876+1 is composite: RES64: [CD672A15882694F3] (15.7261s+0.0015s)
12*312^6888+1 is composite: RES64: [ACEA68C224411C6C] (15.6094s+0.0017s)
12*312^6903+1 is composite: RES64: [07E43B5C013C6BEC] (15.5921s+0.0016s)
12*312^6915+1 is composite: RES64: [BA39B16C5D763F55] (15.7788s+0.0016s)
12*312^6918+1 is composite: RES64: [5EBEA747E966CC05] (23.2802s+0.0016s)
12*312^6923+1 is composite: RES64: [884873C8B751D9EE] (17.8380s+0.0015s)
12*312^6935+1 is composite: RES64: [41FE90F2D35167A8] (18.1634s+0.0016s)
12*312^6951+1 is composite: RES64: [4547001E974D8A07] (27.1121s+0.1719s)
12*312^6954+1 is composite: RES64: [1548D628368B04F3] (33.8993s+0.1248s)
12*312^6968+1 is composite: RES64: [3DB67A50A6723BC7] (26.1724s+0.3855s)
12*312^6974+1 is composite: RES64: [576E8604D24C7EDA] (16.7950s+0.0017s)
12*312^6978+1 is composite: RES64: [F0F48C156EEE2AB4] (34.5351s+0.0016s)
12*312^6986+1 is composite: RES64: [41B17CCC53BD8B34] (37.5015s+0.4986s)
12*312^7002+1 is composite: RES64: [80E41E36EFCCB811] (17.1167s+0.0232s)
12*312^7016+1 is composite: RES64: [DB8CF3AAA769E3A5] (17.1172s+0.0016s)
12*312^7026+1 is composite: RES64: [0E6B68D4F1E1813D] (19.2622s+0.0016s)
12*312^7040+1 is composite: RES64: [3BAD790A6902B7D0] (31.0175s+0.2384s)
12*312^7043+1 is composite: RES64: [EC0F7800AB7890C1] (32.8087s+0.4021s)
12*312^7044+1 is composite: RES64: [3937F39BFCF06AF6] (32.6113s+0.2826s)
12*312^7050+1 is composite: RES64: [E03367519D92DE1E] (32.2534s+0.2757s)
12*312^7056+1 is composite: RES64: [BE2B516E08E170B6] (31.7444s+0.2855s)
12*312^7067+1 is composite: RES64: [EA097061D23D7814] (33.4611s+0.2494s)
12*312^7080+1 is composite: RES64: [0BEF15D69B8D2482] (32.0806s+0.2987s)
12*312^7098+1 is composite: RES64: [2E7ED6DD8C00B035] (32.7891s+0.2558s)
12*312^7130+1 is composite: RES64: [77DF395E766E8203] (34.3097s+0.2993s)
12*312^7131+1 is composite: RES64: [BA4E337DB323970B] (36.5053s+0.3991s)
12*312^7152+1 is composite: RES64: [15CAF0A9EB1C9905] (36.1174s+0.2725s)
12*312^7164+1 is composite: RES64: [4DD80128FBC21AA4] (37.4074s+0.3338s)
12*312^7166+1 is composite: RES64: [A4B4169A969D470E] (37.1570s+0.3276s)
12*312^7194+1 is composite: RES64: [7E303E6DD4EDFB7E] (37.2381s+0.3980s)
12*312^7203+1 is composite: RES64: [2B27FBA019105B1D] (38.1034s+0.4324s)
12*312^7226+1 is composite: RES64: [958C8553DBC5A2C8] (38.2543s+0.3825s)
12*312^7235+1 is composite: RES64: [AC33C2756DCED619] (37.5376s+0.3147s)
12*312^7238+1 is composite: RES64: [5747C8D4FE05BAF7] (37.4224s+0.3326s)
12*312^7239+1 is composite: RES64: [0DC3E5B3AB2DD3D1] (37.4628s+0.3646s)
12*312^7251+1 is composite: RES64: [81BBE14142B82CC8] (37.2884s+0.3436s)
12*312^7254+1 is composite: RES64: [1D9C589CD11110BF] (37.5875s+0.3960s)
12*312^7260+1 is composite: RES64: [3F2007B779B27018] (36.8708s+0.3171s)
12*312^7274+1 is composite: RES64: [DEAB480C132D8E7D] (37.6707s+0.4823s)
12*312^7302+1 is composite: RES64: [12EF25BD6E64635D] (39.3334s+0.2839s)
12*312^7304+1 is composite: RES64: [39F736F65CDCF6D2] (38.1022s+0.3557s)
12*312^7307+1 is composite: RES64: [D7894EE6C2D88E1D] (37.5666s+0.4104s)
12*312^7331+1 is composite: RES64: [2B27982BC89A3B2F] (37.8479s+0.3593s)
12*312^7335+1 is composite: RES64: [ECEF8FDE9260C89C] (37.5962s+0.3072s)
12*312^7344+1 is composite: RES64: [DDE666D7D3A14866] (37.3391s+0.3659s)
12*312^7346+1 is composite: RES64: [1A552BFC77314C7C] (37.7287s+0.4812s)
12*312^7350+1 is composite: RES64: [EE5445D42C7F0F9C] (38.2198s+0.3578s)
12*312^7362+1 is composite: RES64: [F5C802172C313A54] (38.1690s+0.3492s)
12*312^7367+1 is composite: RES64: [938C050EBA2BB9E9] (38.7878s+2.3497s)
12*312^7370+1 is composite: RES64: [1D8DA1C5F4781DB9] (39.4066s+0.3552s)
12*312^7376+1 is composite: RES64: [4E88C744D0AE6542] (31.4478s+0.3172s)
12*312^7380+1 is composite: RES64: [08D5FE7ED959EDA0] (30.3591s+0.3313s)
12*312^7382+1 is composite: RES64: [20D58E65EED13CBE] (31.3103s+0.2663s)
12*312^7386+1 is composite: RES64: [108D6BF82AA0DCFD] (30.0365s+0.3248s)
12*312^7394+1 is composite: RES64: [1DA82D0BF30AB83A] (29.7975s+0.2528s)
12*312^7398+1 is composite: RES64: [4D2A6154DF69FB13] (29.8513s+0.2493s)
12*312^7400+1 is composite: RES64: [7A49E6CB8A28DCB8] (30.2350s+0.2807s)
12*312^7415+1 is composite: RES64: [A3B878AEF8712C86] (29.8173s+0.2641s)
12*312^7422+1 is composite: RES64: [EE5B3ABA10294786] (30.0003s+0.2658s)
12*312^7439+1 is composite: RES64: [C3A864562F20C0F8] (29.8831s+0.2826s)
12*312^7442+1 is composite: RES64: [8C21EB14B9ED652F] (30.6823s+0.2167s)
12*312^7448+1 is composite: RES64: [7404049D8FE0647E] (30.1499s+0.3159s)
12*312^7455+1 is composite: RES64: [E577FE6D1BC9D59C] (30.5944s+0.3024s)
12*312^7463+1 is composite: RES64: [67D73BB3D681A59C] (30.0323s+0.2522s)
12*312^7475+1 is composite: RES64: [A5A539C78560C0A4] (29.6351s+0.2494s)
12*312^7476+1 is composite: RES64: [D093DDF070709080] (29.6813s+0.2609s)
12*312^7478+1 is composite: RES64: [C1E6DE0F53641779] (31.2314s+0.2395s)
12*312^7484+1 is composite: RES64: [6979ED2E5801FC74] (30.3259s+0.4158s)
12*312^7488+1 is composite: RES64: [AED5CADFAD825D07] (29.0964s+0.2731s)
12*312^7496+1 is composite: RES64: [48E97CCD17E5BB6F] (31.5316s+0.2540s)
12*312^7502+1 is composite: RES64: [DFB2ABF27C4A630C] (29.0507s+0.3680s)
12*312^7512+1 is composite: RES64: [9E298899E6D5F179] (29.2514s+0.2483s)
12*312^7518+1 is composite: RES64: [11BEB56A0AF54D54] (29.0524s+0.2654s)
12*312^7530+1 is composite: RES64: [7B6E3D5CF9C655BB] (29.9992s+0.2004s)
12*312^7554+1 is composite: RES64: [D8E0345A53915509] (29.5701s+0.2661s)
12*312^7559+1 is composite: RES64: [6E929398D538591C] (30.4617s+0.2635s)
12*312^7574+1 is composite: RES64: [1EE28D460F38CDBB] (32.7955s+0.4034s)
12*312^7580+1 is composite: RES64: [1A5311C1BCB59A9D] (30.0404s+0.2257s)
12*312^7584+1 is composite: RES64: [6D20860D6D26EFA7] (30.4070s+0.2082s)
12*312^7592+1 is composite: RES64: [E4690103A2E9C046] (29.6027s+0.2811s)
12*312^7611+1 is composite: RES64: [6446EE26DBF3C45D] (30.6360s+0.2328s)
12*312^7614+1 is composite: RES64: [856B605296DF127E] (30.0833s+0.2791s)
12*312^7616+1 is composite: RES64: [94BB272858A3D7D1] (29.7225s+0.2609s)
12*312^7632+1 is composite: RES64: [9097162B6B5DD8BB] (29.8360s+0.2971s)
12*312^7643+1 is composite: RES64: [AF0F37B6FD5C2B22] (31.2802s+0.2327s)
12*312^7644+1 is composite: RES64: [C62A21126D4EBC16] (30.1934s+0.2515s)
12*312^7659+1 is composite: RES64: [527262A2C649E0F4] (30.5325s+0.2217s)
12*312^7664+1 is composite: RES64: [A2F34C3BB348B186] (30.1000s+0.4158s)
12*312^7668+1 is composite: RES64: [F33DFC43F021FA4A] (30.0509s+0.3162s)
12*312^7691+1 is composite: RES64: [E355F66DF65E8CD2] (30.1998s+0.2484s)
12*312^7692+1 is composite: RES64: [D936FD4C427EF992] (30.4494s+0.2328s)
12*312^7694+1 is composite: RES64: [8E926E6B9EC42281] (29.8902s+0.3095s)
12*312^7703+1 is composite: RES64: [727DBA2722875250] (29.7241s+0.2759s)
12*312^7706+1 is composite: RES64: [524DF5609D5D1F97] (29.7272s+0.3002s)
12*312^7710+1 is composite: RES64: [5445372EF7090B97] (30.6482s+0.1563s)
12*312^7719+1 is composite: RES64: [D7A19056BE971B6F] (30.8163s+0.3493s)
12*312^7730+1 is composite: RES64: [41A379858A7BE0FE] (30.6352s+0.2828s)
12*312^7755+1 is composite: RES64: [E76D843E1518BB53] (30.9652s+0.3622s)
12*312^7766+1 is composite: RES64: [C4604E0DD78A89E7] (30.4161s+0.2161s)
12*312^7775+1 is composite: RES64: [82B7A6583A5F2BAA] (29.6674s+0.2327s)
12*312^7787+1 is composite: RES64: [32285D2DFD5CF381] (30.9340s+0.3160s)
12*312^7808+1 is composite: RES64: [6FE9246B312E9D36] (30.2999s+0.3305s)
12*312^7815+1 is composite: RES64: [E97BB2C500848D4C] (30.7391s+0.1992s)
12*312^7818+1 is composite: RES64: [9AC1466C8E4EED0A] (30.8270s+0.2810s)
12*312^7826+1 is composite: RES64: [F04313AE60F737B8] (31.4301s+0.2670s)
12*312^7836+1 is composite: RES64: [06437D1BA44F13AC] (31.0712s+0.3598s)
12*312^7838+1 is composite: RES64: [AFDC97CDD1AB8DE4] (30.6990s+0.3160s)
12*312^7839+1 is composite: RES64: [A7A435673A6674E1] (30.5615s+0.3702s)
12*312^7863+1 is composite: RES64: [9F7C27725CDA6675] (30.0659s+0.2670s)
12*312^7871+1 is composite: RES64: [8F1B2CF31E2F4D56] (30.8726s+0.2328s)
12*312^7883+1 is composite: RES64: [8F9D14CED82467D0] (31.6474s+0.1923s)
12*312^7886+1 is composite: RES64: [A54A2CA727134850] (31.3171s+0.3301s)
12*312^7908+1 is composite: RES64: [F5DF2A9DAD045154] (31.0224s+0.1995s)
12*312^7911+1 is composite: RES64: [D98CFD5B1C6BF105] (31.4469s+0.3253s)
12*312^7919+1 is composite: RES64: [2093542899B2072C] (31.1337s+0.2496s)
12*312^7934+1 is composite: RES64: [9F496834E7113DAF] (30.8173s+0.2820s)
12*312^7940+1 is composite: RES64: [EF7F8033117E8EA5] (30.9819s+0.2634s)
12*312^7944+1 is composite: RES64: [3342E26170D19F2B] (30.5538s+0.2669s)
12*312^7947+1 is composite: RES64: [8C557B61F041A8C5] (30.8987s+0.1940s)
12*312^7952+1 is composite: RES64: [4F033AB0A777EF17] (31.1483s+0.2160s)
12*312^7986+1 is composite: RES64: [37D046C143DE2A30] (31.7640s+0.2494s)
12*312^7992+1 is composite: RES64: [361856461DB2545A] (32.0957s+0.7162s)
12*312^7994+1 is composite: RES64: [ED9EA6032D3AC9BB] (31.6608s+0.3026s)
12*312^8004+1 is composite: RES64: [20B2D76A5D84E5A3] (31.5982s+0.4990s)
12*312^8012+1 is composite: RES64: [5DD826151F23FAB3] (32.0136s+0.2819s)
12*312^8016+1 is composite: RES64: [E0B3EF186849B9B5] (30.1666s+0.4323s)
12*312^8034+1 is composite: RES64: [B3D66C213F3426C3] (30.5752s+0.2769s)
12*312^8043+1 is composite: RES64: [0F8508D497660C7D] (32.1457s+0.2966s)
12*312^8051+1 is composite: RES64: [87028E98386CA38A] (32.0967s+0.3492s)
12*312^8064+1 is composite: RES64: [FC1C7AED7F741B17] (32.7944s+0.3503s)
12*312^8066+1 is composite: RES64: [EEBB55D21906422F] (31.6401s+0.4230s)
12*312^8108+1 is composite: RES64: [729A8EE674E7927B] (32.9592s+0.3493s)
12*312^8111+1 is composite: RES64: [F6C98675CEFB56FD] (32.0468s+0.2854s)
12*312^8112+1 is composite: RES64: [4FDDDDCDFBDAD9F0] (32.6666s+0.2993s)
12*312^8120+1 is composite: RES64: [C8663FC76B76619F] (32.0660s+0.3592s)
12*312^8139+1 is composite: RES64: [C3F97EEBF489589B] (31.8551s+0.3657s)
12*312^8144+1 is composite: RES64: [BD5C6E702F9CBE20] (31.8970s+0.2581s)
12*312^8154+1 is composite: RES64: [57E8F34643E76ACD] (31.2343s+0.3825s)
12*312^8160+1 is composite: RES64: [CB4FBF26A3AC55B8] (32.6129s+0.3129s)
12*312^8175+1 is composite: RES64: [83B2735483B8E79B] (32.1837s+0.3618s)
12*312^8199+1 is composite: RES64: [D089277812D3B9DF] (33.3991s+0.3946s)
12*312^8202+1 is composite: RES64: [ADE4E1518BC59BA9] (32.4353s+0.3417s)
12*312^8204+1 is composite: RES64: [53F5356D513CA221] (32.5295s+0.3019s)
12*312^8220+1 is composite: RES64: [E4BD1F3BF9AAD633] (32.5531s+0.3480s)
12*312^8226+1 is composite: RES64: [AFA037B77A615B8B] (32.3239s+0.2588s)
12*312^8246+1 is composite: RES64: [1A0ED3130284D40B] (32.5959s+0.3549s)
12*312^8247+1 is composite: RES64: [1BE0DA4257D8F0DA] (32.8371s+0.3658s)
12*312^8252+1 is composite: RES64: [BBDF10AC6DC0608C] (32.6355s+0.4775s)
12*312^8256+1 is composite: RES64: [64A0577EB8C8B0D0] (32.1519s+0.2341s)
12*312^8259+1 is composite: RES64: [18F17B11B070A82F] (32.7290s+0.3493s)
12*312^8270+1 is composite: RES64: [49332F13F5308624] (31.6054s+0.3831s)
12*312^8276+1 is composite: RES64: [31E977D876B2C40B] (32.3301s+0.3901s)
12*312^8283+1 is composite: RES64: [25F1D87102DD4B2D] (34.2430s+0.3992s)
12*312^8303+1 is composite: RES64: [6547848D1D700884] (32.4608s+0.3658s)
12*312^8304+1 is composite: RES64: [EA11F619974538BC] (32.7965s+0.3844s)
12*312^8312+1 is composite: RES64: [658F7E4019C70C4A] (33.3497s+0.2830s)
12*312^8316+1 is composite: RES64: [20408672851BB10C] (32.6713s+0.3441s)
12*312^8322+1 is composite: RES64: [C1E6C3E6ED9B3002] (32.5564s+0.4397s)
12*312^8342+1 is composite: RES64: [6BD3803C3210E4A1] (32.4009s+0.4044s)
12*312^8348+1 is composite: RES64: [A4AAD2F435121E16] (32.6384s+0.4609s)
12*312^8382+1 is composite: RES64: [8F0C05B9D55562BE] (33.1616s+0.3399s)
12*312^8391+1 is composite: RES64: [36080E8416A4F9E4] (33.0460s+0.3658s)
12*312^8402+1 is composite: RES64: [3DEEBDB2D28016B5] (32.9584s+0.3151s)
12*312^8406+1 is composite: RES64: [72D946F9D230EBC0] (33.1552s+0.3258s)
12*312^8415+1 is composite: RES64: [7C578C59E4CA388F] (33.7765s+0.3325s)
12*312^8423+1 is composite: RES64: [6007C337D37930ED] (33.6431s+0.2678s)
12*312^8426+1 is composite: RES64: [75B52300A07B9247] (33.5446s+0.5489s)
12*312^8427+1 is composite: RES64: [575E424CFF53B937] (33.2965s+0.4136s)
12*312^8442+1 is composite: RES64: [BF67B28EB8E82823] (34.5236s+0.2837s)
12*312^8448+1 is composite: RES64: [28EA3C6A243D6EC0] (33.1374s+0.3748s)
12*312^8480+1 is composite: RES64: [BCC6B337BDD3C838] (36.8854s+0.6493s)
12*312^8487+1 is composite: RES64: [ABE233C1DFC858D1] (32.5959s+0.3353s)
12*312^8499+1 is composite: RES64: [42FCB4A8E568696F] (33.1990s+0.3783s)
12*312^8508+1 is composite: RES64: [02CA3A24BBFAE3AF] (33.2282s+0.2993s)
12*312^8514+1 is composite: RES64: [A2A27C29BD2D1333] (33.4530s+0.3980s)
12*312^8519+1 is composite: RES64: [6AFB4D9E20650ECA] (33.3675s+0.3583s)
12*312^8531+1 is composite: RES64: [0CBA35D49BCB3AE4] (34.1594s+0.3097s)
12*312^8534+1 is composite: RES64: [7CD87571C9DE272F] (33.1616s+0.3497s)
12*312^8540+1 is composite: RES64: [9E4B4D8C51816386] (33.2649s+0.3080s)
12*312^8547+1 is composite: RES64: [FD5D432BA187F222] (34.0757s+0.3370s)
12*312^8564+1 is composite: RES64: [378FB50EF360E713] (33.5109s+0.3004s)
12*312^8568+1 is composite: RES64: [CF6CFBB086AD8D9C] (34.0768s+0.3658s)
12*312^8579+1 is composite: RES64: [3D331C9F16AE614F] (34.3263s+0.4490s)
12*312^8583+1 is composite: RES64: [5FF9542CE804C34E] (33.7859s+0.3159s)
12*312^8595+1 is composite: RES64: [FAEA5FE5C4FA7226] (33.9603s+0.3738s)
12*312^8604+1 is composite: RES64: [736B8D1F1AD4D831] (33.4019s+0.2503s)
12*312^8610+1 is composite: RES64: [A62D5A99FD722859] (34.0702s+0.3076s)
12*312^8616+1 is composite: RES64: [F33E0E7564492691] (34.8431s+0.3891s)
12*312^8636+1 is composite: RES64: [F7AE89F426669543] (34.1894s+0.3482s)
12*312^8639+1 is composite: RES64: [F5246A00E8D0B5A7] (34.2931s+0.3364s)
12*312^8642+1 is composite: RES64: [34E8D02278399354] (34.5564s+0.3551s)
12*312^8651+1 is composite: RES64: [9D88E46EC7D79C91] (33.5392s+0.3178s)
12*312^8658+1 is composite: RES64: [B413643424DBD182] (33.9095s+0.3168s)
12*312^8663+1 is composite: RES64: [98068E60116CAC7A] (33.7774s+0.2825s)
12*312^8664+1 is composite: RES64: [28C3FA5FF9557160] (34.8040s+0.2993s)
12*312^8676+1 is composite: RES64: [65470A139805A6C2] (34.3763s+0.2874s)
12*312^8696+1 is composite: RES64: [627FA0E726BB1B64] (33.9436s+0.2993s)
12*312^8700+1 is composite: RES64: [946938EAEFCF0E41] (34.7982s+0.6320s)
12*312^8702+1 is composite: RES64: [15431CEF103BE787] (35.0581s+0.3927s)
12*312^8706+1 is composite: RES64: [30E210219803383B] (34.7922s+0.3666s)
12*312^8711+1 is composite: RES64: [5FDCF9E15C400E87] (34.8245s+0.3669s)
12*312^8742+1 is composite: RES64: [C359EAE90BA3817D] (34.7311s+0.3325s)
12*312^8744+1 is composite: RES64: [6322A4624787B986] (35.0074s+0.3448s)
12*312^8750+1 is composite: RES64: [351A0B55C03EDA34] (34.7334s+0.2996s)
12*312^8759+1 is composite: RES64: [EE3658FA3CF061F9] (35.9893s+0.2921s)
12*312^8772+1 is composite: RES64: [96258E92D313D9CE] (35.2146s+7.4015s)
12*312^8786+1 is composite: RES64: [00012DF6035A06AD] (35.6547s+0.3107s)
12*312^8795+1 is composite: RES64: [D2A0BDB5C5AF60BD] (34.4711s+0.3748s)
12*312^8807+1 is composite: RES64: [602BF2A7E5785E4B] (35.3075s+0.3326s)
12*312^8810+1 is composite: RES64: [E0B899684B230245] (34.9919s+0.3663s)
12*312^8823+1 is composite: RES64: [9CE7CB21801501E1] (34.9340s+0.3901s)
12*312^8826+1 is composite: RES64: [C37C7C12FEA15019] (35.5576s+0.3161s)
12*312^8832+1 is composite: RES64: [3CFBFA59B07C4258] (35.3817s+0.3753s)
12*312^8834+1 is composite: RES64: [C0FC256BE5F9E075] (36.2167s+0.3326s)
12*312^8835+1 is composite: RES64: [B43669955FE74D94] (34.9095s+0.3223s)
12*312^8843+1 is composite: RES64: [A93D659DFF9D31E6] (35.3163s+0.4565s)
12*312^8846+1 is composite: RES64: [D05B5E908A7BDAEB] (35.5259s+0.3476s)
12*312^8855+1 is composite: RES64: [8E19DFD4BB66BA5D] (35.9488s+0.3825s)
12*312^8862+1 is composite: RES64: [4B569D92A7B2F3D7] (34.8089s+0.2575s)
12*312^8867+1 is composite: RES64: [61755EF2946AB273] (35.3080s+0.3658s)
12*312^8874+1 is composite: RES64: [E468D7B6A9E25A2F] (35.4720s+0.2993s)
12*312^8882+1 is composite: RES64: [A7448933861AD8BC] (35.7524s+0.4182s)
12*312^8891+1 is composite: RES64: [3556DD5728A3C429] (34.9254s+0.5537s)
12*312^8895+1 is composite: RES64: [EDEE0C7A994CEA23] (35.9365s+0.3658s)
12*312^8898+1 is composite: RES64: [F31E64196A69DCB3] (35.3813s+0.3862s)
12*312^8900+1 is composite: RES64: [53C0CE9BAB7F0189] (34.8668s+0.3011s)
12*312^8903+1 is composite: RES64: [3BC9E0B64F05015F] (34.5224s+0.3824s)
12*312^8912+1 is composite: RES64: [A20D305090508437] (35.5210s+0.4060s)
12*312^8916+1 is composite: RES64: [054F8F256FA198AB] (34.9409s+0.3502s)
12*312^8931+1 is composite: RES64: [22DFFA4730FE194C] (35.8975s+0.3825s)
12*312^8939+1 is composite: RES64: [2F04D6B502E7A769] (36.0544s+0.4585s)
12*312^8946+1 is composite: RES64: [58DFAA5530B3FA78] (35.4073s+0.3349s)
12*312^8948+1 is composite: RES64: [6B101045BEC0EECB] (35.7573s+0.3663s)
12*312^8954+1 is composite: RES64: [1BBEC423A2F06A9F] (35.5925s+0.3143s)
12*312^8982+1 is composite: RES64: [C29826C7668F5D82] (35.2264s+0.3168s)
12*312^8987+1 is composite: RES64: [97F3C41A1A5B6B3F] (35.3755s+0.3800s)
12*312^9014+1 is composite: RES64: [487B3904C07E4539] (38.7143s+0.3982s)
12*312^9023+1 is composite: RES64: [64950C5DAC2674AF] (35.2704s+0.3748s)
12*312^9035+1 is composite: RES64: [7CE2D722683C7913] (36.4062s+0.3326s)
12*312^9036+1 is composite: RES64: [92CAD7CDB5E53129] (35.9493s+0.3658s)
12*312^9039+1 is composite: RES64: [24B2BFC0E19242B8] (36.2478s+0.3079s)
12*312^9044+1 is composite: RES64: [E71EBE7A3618C91F] (36.4586s+0.3236s)
12*312^9059+1 is composite: RES64: [24028D39F3BECA28] (35.5087s+0.3799s)
12*312^9072+1 is composite: RES64: [596ECD5366AF4281] (35.3414s+0.3482s)
12*312^9075+1 is composite: RES64: [988B32D6704BB557] (35.4317s+0.3751s)
12*312^9084+1 is composite: RES64: [DFD6CC13EEE5E538] (35.2605s+0.4718s)
12*312^9104+1 is composite: RES64: [B058BECC71608332] (37.1493s+0.3758s)
12*312^9110+1 is composite: RES64: [8736EB5708353012] (36.4894s+0.3531s)
12*312^9128+1 is composite: RES64: [F02A1E19E97E9439] (35.8903s+0.3159s)
12*312^9135+1 is composite: RES64: [7B68FED781E3232F] (35.5742s+0.4157s)
12*312^9144+1 is composite: RES64: [21B69CF77E133D55] (35.8148s+0.2993s)
12*312^9146+1 is composite: RES64: [BD4CE0DBF1F5CE22] (36.2565s+0.3749s)
12*312^9152+1 is composite: RES64: [371716DE186B9C8D] (35.9912s+0.3491s)
12*312^9170+1 is composite: RES64: [2BF28287CA76A29A] (37.0385s+0.3315s)
12*312^9176+1 is composite: RES64: [CAE77A63B239A589] (38.0211s+0.4324s)
12*312^9191+1 is composite: RES64: [7B1A8AD2E5CDEC14] (36.5896s+0.3981s)
12*312^9194+1 is composite: RES64: [3FF2D3E90C7AF780] (36.8090s+0.2965s)
12*312^9200+1 is composite: RES64: [FA2F349B68E89505] (36.3563s+0.3814s)
12*312^9206+1 is composite: RES64: [C20A988D5B86C493] (36.7335s+0.3991s)
12*312^9207+1 is composite: RES64: [D1931AFFE25796A6] (72.8588s+0.3179s)
12*312^9227+1 is composite: RES64: [4FF1A365E12BB589] (45.0272s+0.4370s)
12*312^9228+1 is composite: RES64: [33DC0F187080A301] (37.3036s+0.2337s)
12*312^9239+1 is composite: RES64: [03D46F5C836C3D0A] (36.6038s+0.3825s)
12*312^9251+1 is composite: RES64: [4A958A0A988F67EC] (37.1812s+0.3346s)
12*312^9255+1 is composite: RES64: [C0BBFE4E0E97F7AA] (36.6544s+0.3229s)
12*312^9263+1 is composite: RES64: [34B8A45FC305A6B8] (36.3855s+0.4004s)
12*312^9266+1 is composite: RES64: [E20CD964EB7DA035] (36.8885s+0.3867s)
12*312^9270+1 is composite: RES64: [37D3C7883EDB77A3] (36.9237s+0.3054s)
12*312^9282+1 is composite: RES64: [7AF5E922E6076DFD] (36.9266s+0.2748s)
12*312^9284+1 is composite: RES64: [86EB60349F376411] (38.3020s+0.4530s)
12*312^9306+1 is composite: RES64: [6245150F5ED613AA] (36.4240s+0.3591s)
12*312^9308+1 is composite: RES64: [2F39C8C2D84C870D] (37.0001s+0.3471s)
12*312^9315+1 is composite: RES64: [83B5AF4F80384960] (36.9284s+0.2979s)
12*312^9320+1 is composite: RES64: [B7FF0DB1CE17F64D] (37.9931s+0.3763s)
12*312^9324+1 is composite: RES64: [209FA1D1D1798B03] (37.4396s+0.2808s)
12*312^9366+1 is composite: RES64: [FFD1A6C1424E8983] (37.4506s+0.3824s)
12*312^9368+1 is composite: RES64: [C6E93ABD0F467A18] (37.4831s+0.3863s)
12*312^9371+1 is composite: RES64: [843BC014F23B516D] (38.3530s+0.3537s)
12*312^9374+1 is composite: RES64: [31AD590BF2A80FB1] (37.5053s+0.3325s)
12*312^9392+1 is composite: RES64: [05DE27A1A204C4FB] (37.4051s+0.3318s)
12*312^9399+1 is composite: RES64: [561BFF7235226316] (38.0114s+0.2651s)
12*312^9408+1 is composite: RES64: [A027D1EB95FD2FB1] (36.9410s+0.4222s)
12*312^9414+1 is composite: RES64: [685089EC533E3BF1] (37.9453s+0.4080s)
12*312^9416+1 is composite: RES64: [9DEACD2150EBEF47] (37.7976s+0.5467s)
12*312^9455+1 is composite: RES64: [141426D057FA103A] (37.6949s+0.4372s)
12*312^9456+1 is composite: RES64: [4676A9A92C1E5B32] (38.6400s+0.3747s)
12*312^9458+1 is composite: RES64: [66F1D12334F7BB1E] (36.6424s+0.3610s)
12*312^9459+1 is composite: RES64: [366F79CF7C975608] (37.5373s+0.3904s)
12*312^9462+1 is composite: RES64: [780EC7A8F08CB4CC] (36.3431s+0.2432s)
12*312^9470+1 is composite: RES64: [47FBD1BF9EABE35F] (38.1071s+0.3552s)
12*312^9471+1 is composite: RES64: [08CEE786B16237A4] (74.2190s+0.4373s)
12*312^9474+1 is composite: RES64: [EAD493E50A8D3BE1] (37.3845s+0.4214s)
12*312^9491+1 is composite: RES64: [B8E7275B07939058] (37.2841s+0.2753s)
12*312^9492+1 is composite: RES64: [51C73426E6383150] (37.0574s+0.3295s)
12*312^9495+1 is composite: RES64: [CC2612C49EBB30D2] (38.3556s+0.3921s)
12*312^9504+1 is composite: RES64: [6FE5E9B66170F4A7] (37.4706s+0.3863s)
12*312^9512+1 is composite: RES64: [FBD110299DC6668E] (36.4776s+0.3749s)
12*312^9515+1 is composite: RES64: [29D1D5E892BBC01D] (38.1073s+0.3590s)
12*312^9518+1 is composite: RES64: [2F7C48F96FF2DCC9] (37.7768s+0.4057s)
12*312^9519+1 is composite: RES64: [A27DC45E84BE089C] (37.8747s+0.3435s)
12*312^9522+1 is composite: RES64: [68F249A4DF883AC9] (38.7222s+0.4217s)
12*312^9542+1 is composite: RES64: [5DC20A98FC139384] (37.8816s+0.8595s)
12*312^9546+1 is composite: RES64: [65BCDA63298C1166] (38.7725s+0.4359s)
12*312^9555+1 is composite: RES64: [8599A4F3B7F99949] (37.5766s+0.3902s)
12*312^9564+1 is composite: RES64: [7E89F843C13D7456] (37.5593s+0.4060s)
12*312^9566+1 is composite: RES64: [D24A31BCEABBB220] (37.4908s+0.4063s)
12*312^9584+1 is composite: RES64: [4632F64B809A3C99] (37.9081s+0.3591s)
12*312^9600+1 is composite: RES64: [978B865083876699] (37.5987s+0.3593s)
12*312^9608+1 is composite: RES64: [76039BA6265465D2] (39.0123s+0.4223s)
12*312^9624+1 is composite: RES64: [75ACFF8114A09CB7] (37.6742s+0.4238s)
12*312^9630+1 is composite: RES64: [84C7899856332667] (38.0263s+0.3906s)
12*312^9632+1 is composite: RES64: [F3181E2304E3B2F5] (37.8941s+0.2822s)
12*312^9638+1 is composite: RES64: [80B9A83BF39C935D] (38.3485s+0.3579s)
12*312^9648+1 is composite: RES64: [F47C37C124BED91F] (37.0563s+0.2824s)
12*312^9668+1 is composite: RES64: [6F2840473B6993B9] (37.9878s+0.3593s)
12*312^9672+1 is composite: RES64: [B675EE07731388BE] (39.3543s+0.3587s)
12*312^9675+1 is composite: RES64: [955849A51983800B] (37.9253s+0.2966s)
12*312^9714+1 is composite: RES64: [F0D89275A552EDFB] (74.5112s+0.7810s)
12*312^9726+1 is composite: RES64: [95E1B917B204819A] (76.5974s+0.2239s)
12*312^9731+1 is composite: RES64: [3390D0B743786A95] (76.2567s+0.3277s)
12*312^9732+1 is composite: RES64: [DCBBCFB69ACF3030] (76.0411s+0.3124s)
12*312^9735+1 is composite: RES64: [475172978287792F] (77.6527s+0.3592s)
12*312^9740+1 is composite: RES64: [07B436E6FD493D25] (75.7068s+0.3904s)
12*312^9747+1 is composite: RES64: [2DB6120CE02E8E74] (79.1086s+0.5000s)
12*312^9756+1 is composite: RES64: [390C079F4E232F35] (77.4822s+0.3904s)
12*312^9776+1 is composite: RES64: [46C9FF3E0E4FC203] (76.2814s+0.3919s)
12*312^9779+1 is composite: RES64: [2609A62670C64133] (76.5701s+0.4372s)
12*312^9782+1 is composite: RES64: [5B2A3BDB2CFDACD0] (75.1210s+0.3258s)
12*312^9798+1 is composite: RES64: [3358B60BCC4E84BD] (75.3269s+0.3833s)
12*312^9800+1 is composite: RES64: [1C1BDA7017311FD7] (76.4479s+0.3901s)
12*312^9812+1 is composite: RES64: [FA9C300B08638D74] (76.2372s+0.3256s)
12*312^9818+1 is composite: RES64: [1EC86360E322E383] (75.4995s+0.4217s)
12*312^9824+1 is composite: RES64: [4EF2CF7F39736094] (77.4173s+0.4216s)
12*312^9834+1 is composite: RES64: [99DE8948D90F4B97] (49.5015s+0.3121s)
12*312^9840+1 is composite: RES64: [74835652854A8518] (49.4339s+0.3437s)
12*312^9852+1 is composite: RES64: [5D14D2B8ACF6E447] (49.3408s+0.4214s)
12*312^9860+1 is composite: RES64: [1443D880FA77DFE3] (49.6710s+0.3899s)
12*312^9864+1 is composite: RES64: [1F719E05D486DD70] (48.8534s+0.3281s)
12*312^9902+1 is composite: RES64: [5918B5DFE5947910] (48.1793s+0.3906s)
12*312^9912+1 is composite: RES64: [E98B2123D6646549] (49.7480s+0.3595s)
12*312^9923+1 is composite: RES64: [C42DF55284B445A9] (49.1021s+0.2966s)
12*312^9926+1 is composite: RES64: [EEB345D333BDB6A9] (50.1165s+0.3904s)
12*312^9927+1 is composite: RES64: [0B6B224D01501376] (48.7500s+0.4373s)
12*312^9938+1 is composite: RES64: [68B4F4715F2BE831] (50.5953s+0.3598s)
12*312^9942+1 is composite: RES64: [F88E463729C01D26] (49.2474s+0.3687s)
12*312^9944+1 is composite: RES64: [5992DF80D84D5D11] (49.7574s+0.4396s)
12*312^9950+1 is composite: RES64: [53AAA3DC46EBDF4B] (49.8159s+0.2838s)
12*312^9960+1 is composite: RES64: [E5103BA885540D34] (49.6139s+0.4217s)
12*312^9983+1 is composite: RES64: [255C2A4D9910C52C] (50.3466s+0.4685s)
12*312^9986+1 is composite: RES64: [AAB09C725F7F8E83] (50.1116s+0.3435s)
12*312^9990+1 is composite: RES64: [A7C67BE4228E8EBA] (50.5406s+0.4518s)
12*312^10007+1 is composite: RES64: [D7A8F2D07B740EBB] (50.6929s+0.4372s)
12*312^10008+1 is composite: RES64: [D48DEAE8C8AA808B] (48.8914s+0.3265s)
12*312^10023+1 is composite: RES64: [6EB65E55F8C368C4] (50.3593s+0.4372s)
12*312^10028+1 is composite: RES64: [77913D717029359A] (50.4430s+0.4062s)
12*312^10032+1 is composite: RES64: [ECF8F2A01FB74298] (50.8709s+0.3589s)
12*312^10038+1 is composite: RES64: [58E39D137C38D637] (50.2355s+0.4528s)
12*312^10040+1 is composite: RES64: [CE269AAF8E908E6A] (49.9851s+0.4215s)
12*312^10046+1 is composite: RES64: [7A4ACBA1AA98EA13] (51.0449s+0.3885s)
12*312^10047+1 is composite: RES64: [92309FDB8171E96C] (49.9032s+0.3124s)
12*312^10050+1 is composite: RES64: [B9C865523F5B4DEA] (50.0443s+0.2810s)
12*312^10055+1 is composite: RES64: [4B40C180926F98DF] (50.4427s+0.4216s)
12*312^10068+1 is composite: RES64: [06EDC9328B41C3E1] (50.7598s+0.2978s)
12*312^10070+1 is composite: RES64: [1E4714A23208F650] (50.2527s+0.3901s)
12*312^10076+1 is composite: RES64: [527F2E3F3AECC31B] (49.9474s+0.3269s)
12*312^10080+1 is composite: RES64: [4403DCEC1258903D] (50.4993s+0.3590s)
12*312^10082+1 is composite: RES64: [6C440BDBD93CF2F4] (50.5530s+0.3124s)
12*312^10083+1 is composite: RES64: [92D497B0467AFB33] (51.8327s+0.4076s)
12*312^10086+1 is composite: RES64: [74C85351D1DF5F24] (50.6985s+0.3925s)
12*312^10103+1 is composite: RES64: [EE1C7F65B431A30D] (50.7666s+0.3609s)
12*312^10107+1 is composite: RES64: [39084220AE70DCDB] (50.8425s+0.3752s)
12*312^10110+1 is composite: RES64: [3ADCE1059616E6C2] (50.5022s+0.4058s)
12*312^10112+1 is composite: RES64: [98C974879205829C] (51.4684s+0.3116s)
12*312^10118+1 is composite: RES64: [2594B5758BBFA0BA] (52.0298s+0.4215s)
12*312^10122+1 is composite: RES64: [FF05DC648F9B495E] (50.4816s+0.4218s)
12*312^10136+1 is composite: RES64: [1009F38C19EEF7CA] (51.2021s+0.3266s)
12*312^10142+1 is composite: RES64: [13C1B7E3AE9891D0] (50.1334s+0.2652s)
12*312^10146+1 is composite: RES64: [314F03E0EA29A187] (50.9808s+0.3903s)
12*312^10160+1 is composite: RES64: [61194A7473F33811] (51.7226s+0.3516s)
12*312^10179+1 is composite: RES64: [247EDEAA825D5165] (51.4020s+0.3589s)
12*312^10208+1 is composite: RES64: [FE33A73B1B964E90] (50.7915s+0.4058s)
12*312^10214+1 is composite: RES64: [662FAD8EC19E6E01] (50.5629s+0.3253s)
12*312^10226+1 is composite: RES64: [3B607A27F5D5348E] (50.4515s+0.4328s)
12*312^10230+1 is composite: RES64: [7247EEC41475FF87] (50.2518s+0.2732s)
12*312^10239+1 is composite: RES64: [68EB094BB080FB63] (50.7771s+0.4685s)
12*312^10274+1 is composite: RES64: [CB7AA8168AB3F07B] (51.8630s+0.3904s)
12*312^10280+1 is composite: RES64: [C031ADC6710C1C14] (50.9231s+0.4057s)
12*312^10286+1 is composite: RES64: [F80A4EF52AC79539] (52.0313s+0.2654s)
12*312^10295+1 is composite: RES64: [43C64DF355A0DC5A] (51.2206s+0.3430s)
12*312^10298+1 is composite: RES64: [10E91274EA36AC75] (52.9680s+0.4199s)
12*312^10299+1 is composite: RES64: [2963A64FACB4154A] (52.3219s+0.3746s)
12*312^10310+1 is composite: RES64: [D0F1318D83E61F1C] (51.6043s+0.2968s)
12*312^10314+1 is composite: RES64: [2C4924F5D36582EE] (51.3919s+2.2572s)
12*312^10326+1 is composite: RES64: [BBE55283F9B76D25] (52.0104s+0.3437s)
12*312^10328+1 is composite: RES64: [5109CA5FA5F024D2] (51.0034s+0.3906s)
12*312^10340+1 is composite: RES64: [78F40116D732422F] (50.9807s+0.4215s)
12*312^10343+1 is composite: RES64: [AD3CF5E6A7BFD674] (51.7103s+0.4370s)
12*312^10347+1 is composite: RES64: [A5C25CD704863E9B] (51.3541s+0.3243s)
12*312^10370+1 is composite: RES64: [4B3BD4FE4459B4C2] (51.5882s+0.3371s)
12*312^10394+1 is composite: RES64: [D94A6E2754E9380D] (51.7920s+0.3902s)
12*312^10398+1 is composite: RES64: [0A14CC794C390927] (52.1925s+0.4378s)
12*312^10407+1 is composite: RES64: [D989F7336E6FF9AC] (52.2889s+0.3263s)
12*312^10412+1 is composite: RES64: [F16A3FAD36786450] (53.6178s+0.4215s)
12*312^10416+1 is composite: RES64: [6F2D9A9CDB05FD2A] (53.0161s+0.3875s)
12*312^10422+1 is composite: RES64: [1828B7B0F0432E91] (52.3936s+0.4055s)
12*312^10428+1 is composite: RES64: [ABCD785E6E14DD65] (52.5245s+0.3919s)
12*312^10458+1 is composite: RES64: [FC7A16CB87BCE2CB] (52.5627s+0.2868s)
12*312^10460+1 is composite: RES64: [67D4717770C913C1] (50.8824s+0.4372s)
12*312^10466+1 is composite: RES64: [FA197317011EF1D8] (51.8349s+0.4372s)
12*312^10470+1 is composite: RES64: [2F8C775E6F4681F4] (52.7241s+0.4118s)
12*312^10475+1 is composite: RES64: [763A26EFAD6F3A62] (51.7010s+0.4061s)
12*312^10482+1 is composite: RES64: [8F423142D0ACA000] (52.7580s+0.4165s)
12*312^10494+1 is composite: RES64: [6CA69DD295BEB43A] (51.8261s+0.3593s)
12*312^10502+1 is composite: RES64: [14C5F856C454D8E2] (55.3260s+0.3280s)
12*312^10508+1 is composite: RES64: [FBDE492E16FC38FC] (52.9969s+0.3748s)
12*312^10514+1 is composite: RES64: [FA635A202FCE736D] (53.6831s+0.3839s)
12*312^10520+1 is composite: RES64: [0BE3DB57EC32392C] (52.7171s+0.3442s)
12*312^10527+1 is composite: RES64: [1DA5D1C417BCCDCC] (52.3142s+0.3905s)
12*312^10532+1 is composite: RES64: [4DE9A4471F477200] (52.2906s+0.3420s)
12*312^10536+1 is composite: RES64: [84C0CD455ED94488] (51.8030s+0.4060s)
12*312^10554+1 is composite: RES64: [BB007666CB9FFDE0] (53.5657s+0.3123s)
12*312^10562+1 is composite: RES64: [05F82DACCED6C545] (53.0381s+0.5153s)
12*312^10566+1 is composite: RES64: [11AD448A7B820525] (53.0263s+0.3906s)
12*312^10568+1 is composite: RES64: [6FA221DDB54B1923] (52.7395s+0.3902s)
12*312^10571+1 is composite: RES64: [32BA6F9572B59ED6] (53.4522s+0.3280s)
12*312^10590+1 is composite: RES64: [C41B352CF2152020] (53.1421s+0.6092s)
12*312^10599+1 is composite: RES64: [2E47B4A23602612F] (52.3158s+0.3746s)
12*312^10614+1 is composite: RES64: [9748EBFC13A5D82A] (53.0197s+0.3747s)
12*312^10620+1 is composite: RES64: [B2115CBC5697AC29] (53.1963s+0.3435s)
12*312^10635+1 is composite: RES64: [DBE1C84695221F58] (52.3900s+0.4060s)
12*312^10640+1 is composite: RES64: [FAC8047F255CD6A2] (53.8156s+0.3280s)
12*312^10646+1 is composite: RES64: [1635FA2971772121] (53.3046s+0.3435s)
12*312^10650+1 is composite: RES64: [94CE8BE184748DBE] (53.4739s+0.3594s)
12*312^10662+1 is composite: RES64: [1FBF7AF164DB482F] (53.2908s+0.3877s)
12*312^10674+1 is composite: RES64: [0EE15B4D25566422] (53.7203s+0.3904s)
12*312^10679+1 is composite: RES64: [38B2B55E449A37C1] (53.7291s+0.3900s)
12*312^10695+1 is composite: RES64: [6C5C91D5C76DA07C] (50.1804s+0.5582s)
12*312^10698+1 is composite: RES64: [227989E37E25FB78] (53.5966s+0.3966s)
12*312^10748+1 is composite: RES64: [DF30ABA7735CB3A5] (53.4410s+0.3903s)
12*312^10754+1 is composite: RES64: [637F93ED8291A424] (54.8232s+0.3593s)
12*312^10779+1 is composite: RES64: [12AE9E41EF028B0F] (53.2252s+0.3904s)
12*312^10790+1 is composite: RES64: [D834F3F4FB31F4C4] (54.5310s+0.3271s)
12*312^10794+1 is composite: RES64: [4772D213182BF018] (53.3430s+0.3905s)
12*312^10806+1 is composite: RES64: [6040027FADD189EB] (53.5811s+0.3437s)
12*312^10808+1 is composite: RES64: [EBDCF53A19A98E3F] (54.9087s+0.3292s)
12*312^10824+1 is composite: RES64: [80CC0C198631E8B9] (53.2325s+0.4683s)
12*312^10842+1 is composite: RES64: [D32ED7FBF49D528B] (54.8549s+0.3541s)
12*312^10860+1 is composite: RES64: [AE26E58724048DDF] (55.8305s+0.3109s)
12*312^10866+1 is composite: RES64: [225537E60727F5FA] (54.4497s+0.2981s)
12*312^10868+1 is composite: RES64: [735F9D83A165382E] (54.7037s+0.3904s)
12*312^10872+1 is composite: RES64: [FEB716B18915B273] (53.9905s+0.3891s)
12*312^10874+1 is composite: RES64: [4B455CBC324DCA08] (54.3248s+0.4528s)
12*312^10883+1 is composite: RES64: [C1A163327DDA1EA9] (56.2028s+0.2025s)
12*312^10884+1 is composite: RES64: [56752C1184147028] (54.9919s+0.3433s)
12*312^10892+1 is composite: RES64: [9A0B10786F880BAD] (54.7289s+0.3606s)
12*312^10899+1 is composite: RES64: [B1EEE470272FD4CC] (55.7856s+0.4060s)
12*312^10920+1 is composite: RES64: [A3164FF05894A7B4] (56.8177s+0.4397s)
12*312^10931+1 is composite: RES64: [7A53A1A396AA96E6] (56.6356s+0.3374s)
12*312^10932+1 is composite: RES64: [3DACD7BE6930F60E] (55.0554s+0.3915s)
12*312^10934+1 is composite: RES64: [649F1DE73574DF64] (55.4670s+0.4373s)
12*312^10935+1 is composite: RES64: [DB9F360A2BFEEA16] (55.6395s+0.6731s)
12*312^10944+1 is composite: RES64: [5E9631CB5ACE112A] (54.8073s+0.3236s)
12*312^10947+1 is composite: RES64: [EB05B405DAC9244B] (54.7905s+0.3963s)
12*312^10986+1 is composite: RES64: [74EAD17DC6FE8B70] (55.0124s+0.4216s)
12*312^10988+1 is composite: RES64: [3EA6B22462539520] (54.3417s+0.4373s)
12*312^10994+1 is composite: RES64: [EE005D072FC08AD9] (54.7924s+0.4061s)
12*312^10995+1 is composite: RES64: [3BAB9170F14E8C62] (56.1638s+0.3606s)
12*312^11007+1 is composite: RES64: [A5F210B51E37BCCA] (54.9818s+0.3276s)
12*312^11012+1 is composite: RES64: [189399CE3254E3BE] (56.9190s+0.3384s)
12*312^11024+1 is composite: RES64: [C311B78F35752A6E] (54.9816s+0.3463s)
12*312^11031+1 is composite: RES64: [987FE95F86164B84] (54.7375s+0.2838s)
12*312^11034+1 is composite: RES64: [9F22E9DEC2DD50FD] (55.5504s+0.3864s)
12*312^11066+1 is composite: RES64: [15A8251EEDF8CFC5] (54.7904s+0.3747s)
12*312^11067+1 is composite: RES64: [3EB5D45BFD7E35C1] (55.2550s+0.3436s)
12*312^11111+1 is composite: RES64: [5D0513924FC44FEB] (55.9858s+0.4089s)
12*312^11112+1 is composite: RES64: [BB9FA65A1C3E7EC7] (55.7442s+0.3434s)
12*312^11126+1 is composite: RES64: [31972862E4CBF771] (56.1316s+0.4218s)
12*312^11138+1 is composite: RES64: [80A38A30EA893766] (55.7193s+0.4060s)
12*312^11156+1 is composite: RES64: [713CF55F038C92FF] (55.5307s+0.4058s)
12*312^11168+1 is composite: RES64: [2F30B3684116A70C] (57.5006s+0.3736s)
12*312^11178+1 is composite: RES64: [D04ABB67B2004905] (56.3901s+0.4043s)
12*312^11186+1 is composite: RES64: [BDF6AF7813903B84] (57.1763s+0.3108s)
12*312^11195+1 is composite: RES64: [D2E26E021E3B3C32] (56.4431s+0.2962s)
12*312^11198+1 is composite: RES64: [698E82AF8BF89EE5] (55.6964s+0.4372s)
12*312^11216+1 is composite: RES64: [F50F3B378EBF9E37] (56.4636s+0.4691s)
12*312^11220+1 is composite: RES64: [4A06DF39880B0716] (56.7374s+0.3748s)
12*312^11243+1 is composite: RES64: [FA93CE9C8F172E39] (57.0923s+0.4216s)
12*312^11250+1 is composite: RES64: [E294CC886B7ACDBA] (56.0443s+0.4062s)
12*312^11252+1 is composite: RES64: [5FF22065F16EEF07] (57.6760s+0.4372s)
12*312^11262+1 is composite: RES64: [2BFC12A9CDA318B6] (58.0876s+0.3437s)
12*312^11267+1 is composite: RES64: [ED2DC35ACD08B55A] (57.7956s+0.3747s)
12*312^11282+1 is composite: RES64: [B00E0DFB5CA2C433] (56.5579s+0.4214s)
12*312^11291+1 is composite: RES64: [8E2D6DAB0F129373] (57.3798s+0.4057s)
12*312^11294+1 is composite: RES64: [F7940488E7BF8CE6] (57.0980s+0.2967s)
12*312^11298+1 is composite: RES64: [C5B64539C47E7E76] (56.4028s+0.4060s)
12*312^11303+1 is composite: RES64: [95B65F0D0FF9008B] (57.2473s+0.4187s)
12*312^11312+1 is composite: RES64: [F27A395FA60E253B] (57.3111s+0.4372s)
12*312^11315+1 is composite: RES64: [D975C8894F76ECFF] (57.9926s+0.4212s)
12*312^11328+1 is composite: RES64: [E1EB927BC82DF2B1] (57.9942s+0.4374s)
12*312^11330+1 is composite: RES64: [F6178180C6773B99] (58.1820s+0.3582s)
12*312^11334+1 is composite: RES64: [66FA4CF697CFE537] (58.4622s+0.4215s)
12*312^11339+1 is composite: RES64: [8AB7EBF216149A28] (58.8025s+0.4372s)
12*312^11346+1 is composite: RES64: [DCAE0687AEE458E7] (57.5573s+0.4215s)
12*312^11352+1 is composite: RES64: [8ACEFF25ED26AAE3] (57.1403s+0.3588s)
12*312^11354+1 is composite: RES64: [106659767EC7B5C7] (58.0675s+0.3749s)
12*312^11355+1 is composite: RES64: [AD5B6FFAE53FD3B9] (58.0464s+0.3714s)
12*312^11367+1 is composite: RES64: [D28E554B3F5BE0E3] (57.3384s+0.3439s)
12*312^11376+1 is composite: RES64: [01DEF9013B1AEE7F] (58.8784s+0.3387s)
12*312^11387+1 is composite: RES64: [51321DBA59CD24A5] (56.9667s+0.3137s)
12*312^11390+1 is composite: RES64: [913CBC62E1F451C4] (56.3658s+0.3906s)
12*312^11391+1 is composite: RES64: [869EB791EFC1B9C8] (58.1642s+0.4372s)
12*312^11396+1 is composite: RES64: [F3A806691F95AC62] (57.8567s+0.4061s)
12*312^11408+1 is composite: RES64: [EB98769C435FC341] (57.6993s+0.3451s)
12*312^11412+1 is composite: RES64: [7468EEB725B81CA7] (57.0856s+0.3591s)
12*312^11414+1 is composite: RES64: [8EE3E8FD0ED80020] (58.2724s+0.3915s)
12*312^11423+1 is composite: RES64: [113C10724A409838] (57.4035s+0.4062s)
12*312^11426+1 is composite: RES64: [D8DF6EC71D99ACE3] (57.3416s+0.4907s)
12*312^11436+1 is composite: RES64: [F57370C0CCDBEF4D] (57.8255s+0.3751s)
12*312^11448+1 is composite: RES64: [06EFA91450AE2FC1] (57.6718s+0.3756s)
12*312^11450+1 is composite: RES64: [05DD1EE73A882256] (60.5743s+0.4032s)
12*312^11466+1 is composite: RES64: [F548551218AD6A72] (58.2647s+0.3435s)
12*312^11472+1 is composite: RES64: [E4CC690692878007] (58.5008s+0.4373s)
12*312^11486+1 is composite: RES64: [A1E78EA652CB4F60] (59.0293s+0.4527s)
12*312^11492+1 is composite: RES64: [AEBD6B30701BDF8E] (58.8460s+0.4535s)
12*312^11499+1 is composite: RES64: [A6DBE8EC95463E80] (57.8992s+0.4202s)
12*312^11511+1 is composite: RES64: [4C9D433D03140796] (58.4529s+0.5784s)
12*312^11528+1 is composite: RES64: [D3B3BD649D271D81] (58.9946s+0.3591s)
12*312^11532+1 is composite: RES64: [1050FBF6E379031A] (59.0963s+0.4388s)
12*312^11535+1 is composite: RES64: [2C65886EAE344524] (58.4999s+0.3909s)
12*312^11550+1 is composite: RES64: [6CB65186E21BD927] (58.0846s+0.4061s)
12*312^11570+1 is composite: RES64: [FF76D9E47F1E505C] (59.5581s+0.3904s)
12*312^11574+1 is composite: RES64: [9CF0B4F1533DB5E0] (59.3961s+0.3433s)
12*312^11582+1 is composite: RES64: [80E7D84E10DD3B89] (59.0136s+0.3904s)
12*312^11586+1 is composite: RES64: [260223B29BBD80AF] (59.6490s+0.3902s)
12*312^11591+1 is composite: RES64: [CA11BEEEAE4FAD1C] (59.5716s+0.4014s)
12*312^11592+1 is composite: RES64: [CAD843C28F8400D4] (61.3920s+0.3888s)
12*312^11594+1 is composite: RES64: [E02F08158ECD63D1] (58.4337s+0.3592s)
12*312^11618+1 is composite: RES64: [9887FCCEC4BB6AF7] (58.4630s+0.4527s)
12*312^11619+1 is composite: RES64: [781998F01757B859] (58.1286s+0.4370s)
12*312^11622+1 is composite: RES64: [6E1CA96ECA50D8E6] (58.1022s+0.3749s)
12*312^11627+1 is composite: RES64: [9318347F61430E09] (59.2031s+0.4202s)
12*312^11634+1 is composite: RES64: [6D6DA911C5F8AE62] (58.7444s+0.3433s)
12*312^11636+1 is composite: RES64: [55F150A4E3090B40] (59.2432s+0.4060s)
12*312^11651+1 is composite: RES64: [ECC80AC5FACE9BAD] (58.5271s+0.4388s)
12*312^11654+1 is composite: RES64: [8F99D7A56CB5C3F2] (58.8123s+0.3346s)
12*312^11664+1 is composite: RES64: [D0530EF4A4141136] (58.7385s+0.3748s)
12*312^11666+1 is composite: RES64: [1D23E054FFDE4712] (58.2681s+0.4083s)
12*312^11667+1 is composite: RES64: [845615BFDE3359C4] (57.9296s+0.4956s)
12*312^11676+1 is composite: RES64: [3DB620E87AC011ED] (59.3363s+0.4218s)
12*312^11690+1 is composite: RES64: [39C1E9CA737FD923] (58.6940s+0.4372s)
12*312^11711+1 is composite: RES64: [1C35821C70090EE4] (56.2908s+0.3454s)
12*312^11712+1 is composite: RES64: [C73612E5DA3DF1E2] (64.0066s+0.0157s)
12*312^11714+1 is composite: RES64: [13604053A88DBABF] (58.4062s+0.2747s)
12*312^11720+1 is composite: RES64: [F6FFD52ABE4D4AA6] (59.4025s+0.3902s)
12*312^11723+1 is composite: RES64: [E802C5E4AC74B039] (59.7170s+0.3259s)
12*312^11735+1 is composite: RES64: [87EF581E4B84030D] (257.9654s+0.3938s)
12*312^11750+1 is composite: RES64: [15A838B04EEED923] (120.7276s+2.8392s)
12*312^11751+1 is composite: RES64: [33CDCF774618BE0A] (127.5838s+1.3567s)
12*312^11762+1 is composite: RES64: [C0347909772B4F09] (63.2850s+0.4216s)
12*312^11774+1 is composite: RES64: [E20891DCAA17A026] (59.2107s+0.2346s)
12*312^11775+1 is composite: RES64: [5EDAD5C33720E09E] (60.1899s+0.3681s)
12*312^11780+1 is composite: RES64: [905884D523D6F26D] (60.6144s+0.3592s)
12*312^11787+1 is composite: RES64: [C909A84E9787A4AD] (61.7955s+0.2174s)
12*312^11796+1 is composite: RES64: [9F31464AF8EC1BFA] (61.3398s+0.3137s)
12*312^11798+1 is composite: RES64: [F1CF3C5759085A33] (50.5441s+0.3737s)
12*312^11808+1 is composite: RES64: [EEFEF9F9F42B27BA] (43.4693s+0.0151s)
12*312^11810+1 is composite: RES64: [4EE913B30F4CB338] (43.3835s+0.0155s)
12*312^11826+1 is composite: RES64: [7850696E902670A0] (43.4791s+0.0181s)
12*312^11832+1 is composite: RES64: [F6BE751DF432D25D] (43.5731s+0.0142s)
12*312^11844+1 is composite: RES64: [333C444FC51B7C23] (43.3675s+0.0193s)
12*312^11855+1 is composite: RES64: [8D56EFEFDFD430F6] (43.5109s+0.1686s)
12*312^11856+1 is composite: RES64: [46B6100D1A2200F4] (43.4370s+0.0164s)
12*312^11867+1 is composite: RES64: [2454AFCB183718A6] (43.7018s+0.0175s)
12*312^11870+1 is composite: RES64: [A2D96E2793789585] (43.7041s+0.0160s)
12*312^11874+1 is composite: RES64: [0E02451B1F8C74FE] (43.6770s+0.0155s)
12*312^11876+1 is composite: RES64: [40D971C6767350EE] (43.6457s+0.0156s)
12*312^11879+1 is composite: RES64: [BBAAE2117367A2D3] (43.7299s+0.0174s)
12*312^11880+1 is composite: RES64: [CFC6D87BA563B442] (43.6067s+0.0144s)
12*312^11888+1 is composite: RES64: [C574BD9937428666] (44.1938s+0.0176s)
12*312^11891+1 is composite: RES64: [72D2BA219E118ACC] (43.8456s+0.0272s)
12*312^11892+1 is composite: RES64: [A1C02BC4FCE72CF5] (43.4868s+0.0183s)
12*312^11907+1 is composite: RES64: [CDCA0F4CDDF22AA9] (43.7832s+0.0145s)
12*312^11910+1 is composite: RES64: [B040247841FA2276] (43.6224s+0.0157s)
12*312^11912+1 is composite: RES64: [329677B4A5B43240] (43.6516s+0.0165s)
12*312^11930+1 is composite: RES64: [4644C62B35CEDC6C] (43.8355s+0.0201s)
12*312^11934+1 is composite: RES64: [655ABA416F983C73] (43.6405s+0.1941s)
12*312^11943+1 is composite: RES64: [0125227F400ED01F] (43.7985s+0.0150s)
12*312^11966+1 is composite: RES64: [3A944C2B7B4AB6F6] (44.8174s+0.0160s)
12*312^11970+1 is composite: RES64: [5AA3469EFD3DDA33] (44.0899s+0.0151s)
12*312^11978+1 is composite: RES64: [37134C900E6DAEE7] (43.9286s+0.0178s)
12*312^11984+1 is composite: RES64: [DF811F08125D59D1] (44.0877s+0.0151s)
12*312^11994+1 is composite: RES64: [98576F0F8F5704AC] (44.0417s+0.0173s)
12*312^11996+1 is composite: RES64: [C5DE58AE46758326] (44.1740s+0.0424s)
12*312^11999+1 is composite: RES64: [EB9828090B582B25] (44.8794s+0.0183s)
12*312^12008+1 is composite: RES64: [7117DBDFCD035D5B] (43.8539s+0.0140s)
12*312^12011+1 is composite: RES64: [33AF0B280A406A64] (44.4658s+0.0180s)
12*312^12054+1 is composite: RES64: [DBBBA0243742E918] (44.2557s+0.0144s)
12*312^12056+1 is composite: RES64: [5D7FC083846FC80E] (44.3908s+0.0179s)
12*312^12060+1 is composite: RES64: [A39851294E591413] (44.1648s+0.0145s)
12*312^12075+1 is composite: RES64: [3A9AECDA9009D14C] (44.3092s+0.0141s)
12*312^12080+1 is composite: RES64: [86397481C0A0E941] (44.3500s+0.0176s)
12*312^12095+1 is composite: RES64: [3678F38814351F90] (44.2722s+0.0165s)
12*312^12096+1 is composite: RES64: [4F3934A1AF444B34] (44.5837s+0.0137s)
12*312^12108+1 is composite: RES64: [9F38EA7540BCBFD7] (44.6981s+0.0168s)
12*312^12131+1 is composite: RES64: [E054BBC55DCDFE27] (44.9564s+0.0155s)
12*312^12138+1 is composite: RES64: [7517EE2F70A6ABA6] (44.4457s+0.0163s)
12*312^12144+1 is composite: RES64: [3BEEEBA0A32881FE] (44.5703s+0.0156s)
12*312^12152+1 is composite: RES64: [FB41F025C479DA1C] (44.7382s+0.0186s)
12*312^12164+1 is composite: RES64: [FA6402DA5C838598] (44.6175s+0.0142s)
12*312^12176+1 is composite: RES64: [099D62F2120EC67C] (44.8730s+0.0144s)
12*312^12188+1 is composite: RES64: [7FE340DF630B6A06] (44.8931s+0.0171s)
12*312^12192+1 is composite: RES64: [C2AFBF704C01CC25] (44.8935s+0.0188s)
12*312^12194+1 is composite: RES64: [74FBF8A4A275CE3F] (44.7921s+0.0184s)
12*312^12206+1 is composite: RES64: [8136CCC14A684003] (44.6018s+0.0527s)
12*312^12218+1 is composite: RES64: [1902A5CCD73BEA08] (44.7974s+0.0184s)
12*312^12255+1 is composite: RES64: [3A68F278047EA9DE] (73.3376s+0.0149s)
12*312^12260+1 is composite: RES64: [38A213F3F5EDB7AC] (44.7835s+0.0157s)
12*312^12263+1 is composite: RES64: [28FC73B0DBC3D0A3] (45.2056s+0.3035s)
12*312^12291+1 is composite: RES64: [508D6B7FAE3AB623] (73.1830s+0.0162s)
12*312^12296+1 is composite: RES64: [6832742C178C587D] (45.2465s+0.0147s)
12*312^12306+1 is composite: RES64: [92098289C61BC9B2] (45.2961s+0.0166s)
12*312^12308+1 is composite: RES64: [3A2DB0553E3ACA5B] (45.2822s+0.0158s)
12*312^12312+1 is composite: RES64: [F147313F90448018] (45.1198s+0.0288s)
12*312^12323+1 is composite: RES64: [C4149D054273049C] (45.1846s+0.0149s)
12*312^12344+1 is composite: RES64: [FF5C5D6569993EFC] (45.3971s+0.0194s)
12*312^12348+1 is composite: RES64: [CED92A9D0BE0A030] (45.3806s+0.0153s)
12*312^12356+1 is composite: RES64: [CE3170E3A49D887B] (45.2512s+0.0174s)
12*312^12363+1 is composite: RES64: [762FAE3E205C526A] (45.2529s+0.0147s)
12*312^12375+1 is composite: RES64: [D99D0FF3DB8C6EAA] (45.3545s+0.0147s)
12*312^12380+1 is composite: RES64: [178CF75CAD3C46B6] (45.3246s+0.0175s)
12*312^12383+1 is composite: RES64: [2BEB52464FAABBB2] (45.5926s+0.0146s)
12*312^12384+1 is composite: RES64: [CC0F3BECC8FF9969] (45.6768s+0.0153s)
12*312^12390+1 is composite: RES64: [09CC4F1B6A64F474] (45.6444s+0.0154s)
12*312^12392+1 is composite: RES64: [12AFE6035515F792] (45.5810s+0.0615s)
12*312^12416+1 is composite: RES64: [6542039D46597E3C] (45.8825s+0.0145s)
12*312^12423+1 is composite: RES64: [FBDE0A95A91A30AE] (45.8278s+0.0163s)
12*312^12443+1 is composite: RES64: [237EA34DC7E7E8D6] (49.3678s+0.0167s)
12*312^12467+1 is composite: RES64: [EFB29BCB6B4B62F6] (46.6216s+0.0166s)
12*312^12468+1 is composite: RES64: [341A3ACEE6A8CDDF] (46.0128s+0.0161s)
12*312^12494+1 is composite: RES64: [8AD7D71206DBFAE7] (46.2619s+0.0149s)
12*312^12498+1 is composite: RES64: [1BFE309C8692BDBC] (46.1402s+0.0174s)
12*312^12500+1 is composite: RES64: [CC98D84724EC3399] (45.9522s+0.0418s)
12*312^12504+1 is composite: RES64: [9F33153B926AAAED] (46.3832s+0.0179s)
12*312^12518+1 is composite: RES64: [0771A05A94C67CA8] (45.9252s+0.0186s)
12*312^12527+1 is composite: RES64: [F17F400E60206206] (45.9914s+0.0180s)
12*312^12539+1 is composite: RES64: [4F4F82C5F3294D56] (46.0368s+0.0200s)
12*312^12546+1 is composite: RES64: [8B121201BA73A2F0] (45.9823s+0.0179s)
12*312^12548+1 is composite: RES64: [F7A2A6BD5E3292B1] (46.2145s+0.0152s)
12*312^12566+1 is composite: RES64: [784B9FA98EDF69A1] (46.3310s+0.0144s)
12*312^12570+1 is composite: RES64: [70E4616C6296AF30] (46.3637s+0.0169s)
12*312^12579+1 is composite: RES64: [5B9A4450D9B55DF4] (46.2333s+0.0195s)
12*312^12582+1 is composite: RES64: [97B3B2BA98B8EB99] (46.3019s+0.0175s)
12*312^12591+1 is composite: RES64: [D0A3D42F3FDF40AE] (46.3199s+0.0161s)
12*312^12594+1 is composite: RES64: [80A08DA4D34E85F4] (47.1214s+0.0188s)
12*312^12606+1 is composite: RES64: [5A09077965CE4C2F] (46.2269s+0.0145s)
12*312^12608+1 is composite: RES64: [E7192F97E439BB49] (46.5116s+0.0170s)
12*312^12620+1 is composite: RES64: [61812F43ED0128B1] (46.6013s+0.0166s)
12*312^12627+1 is composite: RES64: [CF1685A940242E83] (46.8741s+0.0323s)
12*312^12636+1 is composite: RES64: [D85534D1A483AC50] (46.5957s+0.0142s)
12*312^12638+1 is composite: RES64: [223E842647143511] (46.4250s+0.0149s)
12*312^12648+1 is composite: RES64: [8E068135A81415EA] (46.6681s+0.0161s)
12*312^12663+1 is composite: RES64: [379DEF6588A41BAA] (46.6835s+0.0190s)
12*312^12671+1 is composite: RES64: [26A3C5D11E8EAA65] (46.8805s+0.0304s)
12*312^12672+1 is composite: RES64: [3E6BF8CA302EEA1C] (46.7863s+0.0163s)
12*312^12675+1 is composite: RES64: [700F98AD74FF947B] (46.7217s+0.0185s)
12*312^12678+1 is composite: RES64: [5CBACA400A1EAB37] (46.5921s+0.0151s)
12*312^12680+1 is composite: RES64: [0AC160A68A7AE043] (46.8339s+0.0170s)
12*312^12686+1 is composite: RES64: [F64B091E5FCCFE48] (46.6457s+0.0153s)
12*312^12692+1 is composite: RES64: [7C151741697A41BF] (46.5107s+0.0152s)
12*312^12698+1 is composite: RES64: [3F675966A1D55E9B] (46.5510s+0.0211s)
12*312^12704+1 is composite: RES64: [7CB3B1826E8A6693] (48.0779s+0.0151s)
12*312^12726+1 is composite: RES64: [F182915DF52370CC] (46.9607s+0.0191s)
12*312^12756+1 is composite: RES64: [E734DBCF1BF2B41D] (47.4684s+0.0165s)
12*312^12758+1 is composite: RES64: [5597CD4282F0AC63] (46.9616s+0.0176s)
12*312^12791+1 is composite: RES64: [F55042EC34BD77BA] (47.0111s+0.0141s)
12*312^12792+1 is composite: RES64: [1211D69A2127421D] (47.1543s+0.0160s)
12*312^12798+1 is composite: RES64: [0D665A2D4590A8C9] (46.9689s+0.0163s)
12*312^12800+1 is composite: RES64: [1E1387DDBC4DB363] (47.0590s+0.0176s)
12*312^12803+1 is composite: RES64: [61318B955874167B] (46.9901s+0.0144s)
12*312^12806+1 is composite: RES64: [B9A27A0437D3F5D9] (47.3264s+0.0235s)
12*312^12810+1 is composite: RES64: [AF51F43985B2A529] (47.2033s+0.0183s)
12*312^12816+1 is composite: RES64: [0163B9A51E51E75C] (47.2161s+0.0138s)
12*312^12824+1 is composite: RES64: [BD7A2F16E8D5759C] (46.9537s+0.1153s)
12*312^12843+1 is composite: RES64: [ADE0BA62DF83F811] (47.5202s+0.0153s)
12*312^12854+1 is composite: RES64: [D728EB42B5C45BAF] (47.4216s+0.0186s)
12*312^12860+1 is composite: RES64: [CEDF9244265DA734] (47.3516s+0.0846s)
12*312^12863+1 is composite: RES64: [AEBF08A303866105] (102.7250s+0.0162s)
12*312^12866+1 is composite: RES64: [177EEDB33A139633] (47.1280s+0.0163s)
12*312^12867+1 is composite: RES64: [44E564D9AA1DD18E] (47.3267s+0.0184s)
12*312^12878+1 is composite: RES64: [D3BDADD6AB226BCE] (47.4127s+0.0186s)
12*312^12882+1 is composite: RES64: [0EB89FB1F893CE2B] (48.1514s+0.0146s)
12*312^12902+1 is composite: RES64: [01D8D1B143CAF9B3] (103.1579s+0.0177s)
12*312^12920+1 is composite: RES64: [74538FF2B5F835E7] (103.2334s+0.0156s)
12*312^12938+1 is composite: RES64: [7EBE74B0AF2B0629] (103.9010s+0.0426s)
12*312^12951+1 is composite: RES64: [1270FCEDC34E9582] (103.0686s+0.0920s)
12*312^12959+1 is composite: RES64: [015662BE19979B70] (103.4318s+0.0144s)
12*312^12960+1 is composite: RES64: [D8D745580F96E0A1] (103.9500s+0.0179s)
12*312^12968+1 is composite: RES64: [2C6A05721A59B476] (103.4085s+0.0183s)
12*312^12974+1 is composite: RES64: [7BCA22038173D30A] (103.5314s+0.0189s)
12*312^12984+1 is composite: RES64: [903CA11D20F03D23] (105.3550s+1.9420s)
12*312^12987+1 is composite: RES64: [FDD5D37736927333] (140.9998s+0.0321s)
12*312^13019+1 is composite: RES64: [02C04AAF262DF417] (139.7396s+0.3611s)
12*312^13026+1 is composite: RES64: [6A8D8DB69124A786] (138.1676s+0.3481s)
12*312^13031+1 is composite: RES64: [4876EF25D9290F25] (147.4000s+0.3513s)
12*312^13032+1 is composite: RES64: [FCBD8324EE62A184] (138.8488s+0.4526s)
12*312^13046+1 is composite: RES64: [16B38E6C3187DE4E] (140.0069s+0.3864s)
12*312^13056+1 is composite: RES64: [563D82A3E7FC8F36] (142.3167s+0.3278s)
12*312^13070+1 is composite: RES64: [94DDEE11D2A55901] (151.3478s+0.3435s)
12*312^13083+1 is composite: RES64: [4B1FD62166AC884D] (142.7526s+0.3822s)
12*312^13088+1 is composite: RES64: [EBFC954054C815E3] (138.5754s+0.2598s)
12*312^13094+1 is composite: RES64: [CE1B5CBC77CD02D7] (140.6481s+0.3585s)
12*312^13107+1 is composite: RES64: [C7723234324F7F4C] (140.5901s+0.3345s)
12*312^13110+1 is composite: RES64: [1E23231C54B12E69] (138.2530s+0.4569s)
12*312^13119+1 is composite: RES64: [F32E0DD0059C8882] (138.6191s+0.4157s)
12*312^13139+1 is composite: RES64: [8B86381EB3831287] (138.2739s+0.4758s)
12*312^13140+1 is composite: RES64: [A517C28770114250] (141.0151s+0.6009s)
12*312^13148+1 is composite: RES64: [89368259386D6182] (141.0983s+0.3657s)
12*312^13151+1 is composite: RES64: [CA1625BE12EE8363] (137.1715s+0.3491s)
12*312^13152+1 is composite: RES64: [F2C0151A4BFFE9C2] (139.7379s+0.4989s)
12*312^13155+1 is composite: RES64: [BE7D16A89A661C27] (138.6813s+0.2497s)
12*312^13158+1 is composite: RES64: [7F264AD89D0C8E4A] (140.2391s+0.5721s)
12*312^13160+1 is composite: RES64: [4422452EB65C8614] (139.8319s+0.4530s)
12*312^13167+1 is composite: RES64: [29197BC43A32C611] (138.8924s+0.3673s)
12*312^13170+1 is composite: RES64: [F7E273ED9104387A] (138.6550s+0.4060s)
12*312^13188+1 is composite: RES64: [ACC4D17DD7618721] (142.5920s+0.3491s)
12*312^13194+1 is composite: RES64: [748561A8A3F99665] (139.2522s+2.0501s)
12*312^13196+1 is composite: RES64: [A27F50941E9565AB] (140.5991s+0.3316s)
12*312^13202+1 is composite: RES64: [A987D3C26C01D62C] (135.7135s+0.4303s)
12*312^13208+1 is composite: RES64: [7AD85032468D8304] (138.0156s+0.0176s)
12*312^13211+1 is composite: RES64: [FA04137DF8C51AA5] (142.1133s+0.3815s)
12*312^13212+1 is composite: RES64: [702B48D0BC0EE33F] (144.8171s+0.4585s)
12*312^13214+1 is composite: RES64: [685800CE1DBBF10E] (143.1973s+0.3812s)
12*312^13223+1 is composite: RES64: [021C4C11348CBC7F] (143.8770s+0.3799s)
12*312^13236+1 is composite: RES64: [9A4B8D5DDA1B8E02] (139.3877s+0.3824s)
12*312^13242+1 is composite: RES64: [8BEFCA501AEFF64A] (140.0511s+0.3282s)
12*312^13244+1 is composite: RES64: [F5FB8DA2F4A54CF5] (141.1792s+0.3459s)
12*312^13266+1 is composite: RES64: [F00E352AE15A83E4] (141.7022s+0.4685s)
12*312^13272+1 is composite: RES64: [7DCF879EF7FEFABA] (144.0931s+0.4798s)
12*312^13287+1 is composite: RES64: [7EFF0E50EE34311B] (140.5825s+0.3327s)
12*312^13292+1 is composite: RES64: [C58CA51B9CE0FB81] (144.7400s+1.9114s)
12*312^13296+1 is composite: RES64: [4F86CF68DB8FE608] (140.0646s+0.3032s)
12*312^13316+1 is composite: RES64: [DB23A7058F40B8CF] (144.6524s+0.3345s)
12*312^13346+1 is composite: RES64: [48C2E1D948A44D12] (142.0652s+0.4371s)
12*312^13358+1 is composite: RES64: [97FFC9D666B65D21] (143.2124s+0.4488s)
12*312^13379+1 is composite: RES64: [3B1067222315BBB3] (133.3474s+0.3250s)
12*312^13380+1 is composite: RES64: [91DE06B89A10D117] (130.1698s+0.0167s)
12*312^13382+1 is composite: RES64: [5898E1E8CA8CA625] (131.7148s+0.3326s)
12*312^13391+1 is composite: RES64: [104796FB21E1C297] (131.6640s+0.6309s)
12*312^13404+1 is composite: RES64: [AC7D9EDA2CC11559] (132.0106s+0.2493s)
12*312^13428+1 is composite: RES64: [0962942A1DF4C57D] (139.4843s+0.2688s)
12*312^13430+1 is composite: RES64: [41ECF61D0C1EDF57] (142.7577s+0.3990s)
12*312^13436+1 is composite: RES64: [76675E330D7D5C67] (142.0368s+0.3967s)
12*312^13439+1 is composite: RES64: [A4BF475731CE94E1] (142.0553s+0.3991s)
12*312^13446+1 is composite: RES64: [39C5231CB883B220] (142.6486s+0.3915s)
12*312^13451+1 is composite: RES64: [BEA8AE51BA53FB92] (144.1755s+0.3296s)
12*312^13452+1 is composite: RES64: [A7074BD2C8CA8E4E] (140.6279s+0.3655s)
12*312^13464+1 is composite: RES64: [AF94CBC7E186DB0A] (143.9103s+0.3370s)
12*312^13467+1 is composite: RES64: [1E1DA784C6DB38C9] (142.5905s+0.4725s)
12*312^13478+1 is composite: RES64: [9CFFC6740CB49E68] (124.9917s+0.4141s)
12*312^13487+1 is composite: RES64: [6A462EADC0B72776] (128.8378s+0.3159s)
12*312^13491+1 is composite: RES64: [3A37A9B8D79A840C] (142.1824s+0.4218s)
12*312^13506+1 is composite: RES64: [A7F1CAD87EA73C38] (141.6215s+0.2880s)
12*312^13515+1 is composite: RES64: [76568930FFB9DABC] (142.6949s+0.3591s)
12*312^13524+1 is composite: RES64: [6F23DE3E3C86B155] (147.4143s+0.3893s)
12*312^13527+1 is composite: RES64: [9E2A57439CFDE3D1] (143.4317s+0.3949s)
12*312^13532+1 is composite: RES64: [9470D04418AE6A12] (143.2509s+0.3594s)
12*312^13538+1 is composite: RES64: [D644C4A475440BA4] (142.7505s+0.3658s)
12*312^13551+1 is composite: RES64: [88990DCF50A6266D] (144.2686s+0.4606s)
12*312^13556+1 is composite: RES64: [252DB2CB618C47D0] (144.1144s+0.3401s)
12*312^13572+1 is composite: RES64: [D1B95A5782DC611D] (145.1914s+0.3279s)
12*312^13578+1 is composite: RES64: [2C3831F76951774D] (143.7991s+0.2998s)
12*312^13590+1 is composite: RES64: [AA362B1FA84BB2CE] (143.0973s+0.4239s)
12*312^13595+1 is composite: RES64: [9F9F97D734C43555] (143.1348s+0.3658s)
12*312^13604+1 is composite: RES64: [EC92934782A37D28] (143.3944s+0.2937s)
12*312^13610+1 is composite: RES64: [A54ED01F44D06399] (142.7301s+0.4312s)
12*312^13631+1 is composite: RES64: [A073106F89B879DA] (144.7480s+0.3420s)
12*312^13634+1 is composite: RES64: [F1E3FED9F162F81D] (143.2114s+0.3159s)
12*312^13635+1 is composite: RES64: [751E80B32C4296D3] (144.9429s+0.2826s)
12*312^13643+1 is composite: RES64: [FA4CEF32E0C950EE] (144.0267s+0.3314s)
12*312^13680+1 is composite: RES64: [BF1CEE03682BF4F7] (145.1406s+0.4113s)
12*312^13688+1 is composite: RES64: [84A68F548C4360EA] (144.1998s+0.2812s)
12*312^13692+1 is composite: RES64: [AB38FBAC96930F0E] (145.7130s+0.3434s)
12*312^13694+1 is composite: RES64: [375C0FA598EA20AB] (145.1262s+0.3657s)
12*312^13695+1 is composite: RES64: [A0B67FA447B95AEC] (147.3934s+0.3311s)
12*312^13704+1 is composite: RES64: [F6F16CBEE7EF1927] (146.0372s+16.0035s)
12*312^13712+1 is composite: RES64: [9937205C436F93A0] (145.1215s+0.3064s)
12*312^13718+1 is composite: RES64: [3FBA413FC1CECC70] (142.5791s+0.3120s)
12*312^13734+1 is composite: RES64: [D80C6425AB7AFCF2] (145.9608s+0.3271s)
12*312^13736+1 is composite: RES64: [DA331AC6109D2E6B] (148.5037s+0.3506s)
12*312^13743+1 is composite: RES64: [CBD4A9B1E66B0217] (148.3373s+0.3313s)
12*312^13755+1 is composite: RES64: [CC36661AE0A11D40] (144.5606s+0.3480s)
12*312^13760+1 is composite: RES64: [02FAADD56192E782] (145.7404s+0.2645s)
12*312^13770+1 is composite: RES64: [319B1532808096AE] (148.2214s+0.3474s)
12*312^13776+1 is composite: RES64: [563AE976BFB13A81] (145.9224s+0.3669s)
12*312^13784+1 is composite: RES64: [45A10FBEACB69B4C] (146.7983s+0.2992s)
12*312^13787+1 is composite: RES64: [B8709174391D9DCE] (145.1435s+0.4373s)
12*312^13788+1 is composite: RES64: [300A3A36DF3C4B54] (148.9363s+0.3325s)
12*312^13799+1 is composite: RES64: [80ED16A54496F981] (151.3696s+0.3313s)
12*312^13838+1 is composite: RES64: [D51703553CE01065] (147.6008s+0.4372s)
12*312^13850+1 is composite: RES64: [99D17FD434E28D36] (145.8084s+0.3590s)
12*312^13856+1 is composite: RES64: [47BC153C43F24B2B] (145.1171s+0.4185s)
12*312^13866+1 is composite: RES64: [C88C9569C162B713] (147.0210s+0.3588s)
12*312^13874+1 is composite: RES64: [3A7BF46DFFAD750B] (144.4103s+0.3591s)
12*312^13884+1 is composite: RES64: [0A54B970BFC450E3] (144.5894s+0.3189s)
12*312^13886+1 is composite: RES64: [BBE71A534C197CBB] (146.8886s+0.3434s)
12*312^13890+1 is composite: RES64: [7F6C3208089AD508] (146.3246s+0.3888s)
12*312^13931+1 is composite: RES64: [FF376012136318C3] (147.2186s+0.4366s)
12*312^13934+1 is composite: RES64: [34DC0F6C7631DFC7] (148.1814s+0.3598s)
12*312^13935+1 is composite: RES64: [FB0659B69B1814C4] (151.8264s+0.4417s)
12*312^13943+1 is composite: RES64: [5BE2050DB3AD1522] (145.2282s+0.3294s)
12*312^13944+1 is composite: RES64: [C16C7EB826CA6B6E] (144.8043s+0.4387s)
12*312^13950+1 is composite: RES64: [862A0255EDCDA4D9] (147.0151s+0.5621s)
12*312^13952+1 is composite: RES64: [44A4A0918BECB430] (150.5448s+0.3282s)
12*312^13982+1 is composite: RES64: [5754BDE8794BEAF3] (147.1074s+0.3481s)
12*312^13994+1 is composite: RES64: [A70CDFC0EA847F95] (157.7888s+0.4705s)
12*312^14028+1 is composite: RES64: [DF3046FCA9BF43B6] (151.1584s+0.3606s)
12*312^14048+1 is composite: RES64: [5353CFDFCAD4E74E] (148.5664s+0.4839s)
12*312^14052+1 is composite: RES64: [17B232B1FCA43497] (148.3957s+0.3280s)
12*312^14054+1 is composite: RES64: [10B92CB4E2EADE87] (146.7319s+0.3591s)
12*312^14066+1 is composite: RES64: [1FC6D046C5761C04] (155.9415s+0.3435s)
12*312^14084+1 is composite: RES64: [1314988E8D3BC92F] (169.4631s+1.2442s)
12*312^14087+1 is composite: RES64: [7E479907FECD585F] (147.5012s+0.4372s)
12*312^14090+1 is composite: RES64: [BDA18F1ABE86C656] (147.5350s+0.3590s)
12*312^14102+1 is composite: RES64: [BBD9E2373561AE20] (146.8339s+0.3907s)
12*312^14103+1 is composite: RES64: [89C71EC7417A8F83] (155.0066s+0.3592s)
12*312^14115+1 is composite: RES64: [5BBE59527CB45D4A] (148.9259s+0.4060s)
12*312^14120+1 is composite: RES64: [8433E5AE8EBCD98C] (150.5515s+0.3545s)
12*312^14127+1 is composite: RES64: [884D66712331B852] (147.2274s+0.4837s)
12*312^14132+1 is composite: RES64: [EEA88DE9D7422368] (150.2527s+0.4997s)
12*312^14142+1 is composite: RES64: [D093B91FF6AACF71] (147.9925s+0.3590s)
12*312^14148+1 is composite: RES64: [7EAAF77D1940E177] (150.0936s+0.4328s)
12*312^14154+1 is composite: RES64: [5568D5E32CCDEEF6] (151.9715s+0.4057s)
12*312^14160+1 is composite: RES64: [9E9DFD1D86F2F85E] (151.1205s+0.3122s)
12*312^14166+1 is composite: RES64: [7A8DA5A6399A5658] (147.5645s+0.3279s)
12*312^14168+1 is composite: RES64: [36CCE94166907C25] (147.9716s+0.3592s)
12*312^14171+1 is composite: RES64: [AE591DF1B4C653B7] (149.5542s+0.3592s)
12*312^14187+1 is composite: RES64: [17E8A920F5FE48BB] (153.4947s+0.3329s)
12*312^14226+1 is composite: RES64: [F9452E8CD5C17668] (152.5155s+0.3005s)
12*312^14234+1 is composite: RES64: [2B015F3D2BAD13C2] (147.5594s+0.4687s)
12*312^14238+1 is composite: RES64: [82B7D229F7A8E632] (151.7585s+0.3590s)
12*312^14255+1 is composite: RES64: [3AE5914CAC20E16B] (151.1698s+0.2981s)
12*312^14259+1 is composite: RES64: [C99D638B96EBA187] (148.5667s+0.3910s)
12*312^14264+1 is composite: RES64: [0D7DAA632532A027] (149.6218s+0.3903s)
12*312^14267+1 is composite: RES64: [91AFA85733041FE6] (150.2747s+0.4525s)
12*312^14270+1 is composite: RES64: [2BB6BAF162E09291] (150.1305s+0.4845s)
12*312^14276+1 is composite: RES64: [BAF871A7F5B83B6F] (150.9025s+0.3900s)
12*312^14300+1 is composite: RES64: [0212337FADC855DB] (149.4965s+0.3890s)
12*312^14307+1 is composite: RES64: [27659BF973D51EF2] (151.2520s+0.3120s)
12*312^14312+1 is composite: RES64: [441B050073DD5CD7] (150.5245s+0.3125s)
12*312^14316+1 is composite: RES64: [D275BBC891AC18C3] (150.3888s+0.3122s)
12*312^14328+1 is composite: RES64: [39D24F8AB07A353D] (148.9539s+0.3433s)
12*312^14351+1 is composite: RES64: [3248B4ACAF376BEC] (156.2280s+0.3485s)
12*312^14352+1 is composite: RES64: [28BB1737CE97522B] (150.9713s+0.4060s)
12*312^14354+1 is composite: RES64: [7EA9E6BE23045292] (162.2204s+0.4059s)
12*312^14355+1 is composite: RES64: [16842B4F63F572BA] (158.6450s+0.4840s)
12*312^14360+1 is composite: RES64: [5203ADB748430713] (174.9546s+0.4843s)
12*312^14363+1 is composite: RES64: [50AE0F9DAED04440] (152.2368s+0.3420s)
12*312^14375+1 is composite: RES64: [18D0FD9FE5E0A4B2] (151.0050s+0.4536s)
12*312^14378+1 is composite: RES64: [946D6410D6053DD0] (148.9373s+0.4075s)
12*312^14379+1 is composite: RES64: [61F5414A2FC94E98] (152.9502s+0.3875s)
12*312^14388+1 is composite: RES64: [4CDDAE15265017EC] (152.6370s+0.3569s)
12*312^14412+1 is composite: RES64: [3E56CE6424DCE6C1] (150.6622s+0.3424s)
12*312^14418+1 is composite: RES64: [141BABC1A1F1C321] (150.2063s+0.4219s)
12*312^14430+1 is composite: RES64: [6CA8A079E8D7AAEE] (153.7085s+0.3280s)
12*312^14432+1 is composite: RES64: [5E1F59F3190D1E10] (152.7483s+0.3589s)
12*312^14435+1 is composite: RES64: [7DDAC9341A52CFF6] (152.1168s+0.3907s)
12*312^14444+1 is composite: RES64: [5388CDAF36D901FF] (152.4868s+0.3276s)
12*312^14448+1 is composite: RES64: [92DF996D5D30D20B] (152.5323s+0.4060s)
12*312^14451+1 is composite: RES64: [137978D092B91FB2] (150.9458s+0.5125s)
12*312^14456+1 is composite: RES64: [74195636C49D69E9] (150.3346s+0.3591s)
12*312^14471+1 is composite: RES64: [1EABDC151D5CB06F] (152.3771s+0.4230s)
12*312^14472+1 is composite: RES64: [10C9CB1055986531] (160.3291s+0.4214s)
12*312^14496+1 is composite: RES64: [62D1BBCC9CB3A365] (156.6769s+0.8590s)
12*312^14498+1 is composite: RES64: [5AB8D0044C772695] (151.6062s+0.4652s)
12*312^14499+1 is composite: RES64: [73669CD3EDBEFB1B] (152.2116s+0.3278s)
12*312^14504+1 is composite: RES64: [7B3064F31E2D5103] (157.5146s+0.4059s)
12*312^14510+1 is composite: RES64: [B52FE9D9C4A27106] (151.0163s+0.3594s)
12*312^14511+1 is composite: RES64: [DA7D24A90F9DE055] (152.8173s+0.3904s)
12*312^14514+1 is composite: RES64: [365FBEE270907155] (153.5182s+0.4408s)
12*312^14519+1 is composite: RES64: [B620F366DBBF155A] (152.6420s+0.4372s)
12*312^14535+1 is composite: RES64: [AF613C564131ABEA] (152.7559s+0.3904s)
12*312^14546+1 is composite: RES64: [B04D7AB4A4D85677] (157.9427s+0.4371s)
12*312^14552+1 is composite: RES64: [247B4DD4A78438E7] (151.3620s+0.4821s)
12*312^14558+1 is composite: RES64: [85D869A0B413582F] (153.8480s+0.3434s)
12*312^14559+1 is composite: RES64: [F7BD9E68184E8C00] (153.5955s+0.3904s)
12*312^14579+1 is composite: RES64: [07DC88E888D2AF5F] (151.3534s+0.3557s)
12*312^14582+1 is composite: RES64: [CA53B0BF172042F3] (156.4730s+0.4536s)
12*312^14583+1 is composite: RES64: [6334B685636EEBE2] (154.7973s+0.4221s)
12*312^14586+1 is composite: RES64: [BE9228CDFFB57703] (154.1527s+0.3589s)
12*312^14595+1 is composite: RES64: [24DC5AF65EC96791] (153.1412s+0.6402s)
12*312^14600+1 is composite: RES64: [5CCF3E573F4BA615] (166.4873s+0.3919s)
12*312^14606+1 is composite: RES64: [766ED1788E92282F] (211.0299s+0.4528s)
12*312^14615+1 is composite: RES64: [095CA4EAF8269A73] (154.2604s+0.5310s)
12*312^14631+1 is composite: RES64: [3C0BBBFA6BB63F70] (154.2481s+0.4178s)
12*312^14663+1 is composite: RES64: [ADE4B369D53F6C76] (156.9626s+0.3122s)
12*312^14664+1 is composite: RES64: [28193BCFBDE3100A] (157.0567s+0.4372s)
12*312^14667+1 is composite: RES64: [853601BF5EE4BB23] (160.3055s+0.4527s)
12*312^14675+1 is composite: RES64: [D0551F706E3B41FF] (156.5113s+0.3744s)
12*312^14678+1 is composite: RES64: [8FBA74789FE5E5D0] (156.0462s+0.3746s)
12*312^14682+1 is composite: RES64: [51B48B1BF040D514] (159.0662s+0.3644s)
12*312^14694+1 is composite: RES64: [0AAE412DF26B7AF5] (154.3886s+0.3733s)
12*312^14711+1 is composite: RES64: [2CA1906FE6BBD91F] (155.1724s+0.4686s)
12*312^14715+1 is composite: RES64: [AF267486B60DE373] (156.5710s+0.3594s)
12*312^14726+1 is composite: RES64: [E03E85DD8287B604] (157.3276s+0.5467s)
12*312^14738+1 is composite: RES64: [34F4C3A23A48A8AC] (160.3197s+0.4249s)
12*312^14748+1 is composite: RES64: [D705C0D5ACDCCE5F] (118.2512s+0.3739s)
12*312^14754+1 is composite: RES64: [00051D0B5329153F] (119.8428s+0.3746s)
12*312^14772+1 is composite: RES64: [6C10C6E8D7A85FA8] (119.6181s+0.3276s)
12*312^14783+1 is composite: RES64: [5FF87BAEE76BDFC8] (117.6748s+0.4843s)
12*312^14798+1 is composite: RES64: [53D53E88389A69B0] (119.5087s+0.3904s)
12*312^14808+1 is composite: RES64: [E9ADD7C53BABD7A0] (117.3558s+0.3753s)
12*312^14811+1 is composite: RES64: [37EF039EA7B39712] (121.6364s+0.3732s)
12*312^14826+1 is composite: RES64: [62BAB23C43BCEBEF] (118.4731s+0.4082s)
12*312^14832+1 is composite: RES64: [179BF0F09C5611D2] (119.9514s+0.3767s)
12*312^14835+1 is composite: RES64: [D1F428BC2E09C225] (118.2675s+0.3903s)
12*312^14847+1 is composite: RES64: [6C086A6191AD8B77] (117.8936s+0.5781s)
12*312^14855+1 is composite: RES64: [F0DC8363C049F145] (118.0525s+0.4216s)
12*312^14856+1 is composite: RES64: [A74EE2409F1FD6BE] (117.3337s+0.4060s)
12*312^14870+1 is composite: RES64: [F4BFD93510048AFF] (117.7904s+0.4372s)
12*312^14871+1 is composite: RES64: [760E9ABAB751EBAE] (117.1337s+0.4818s)
12*312^14874+1 is composite: RES64: [8E8E5E9EA07D0655] (119.8702s+0.3742s)
12*312^14883+1 is composite: RES64: [BB5CB5737A10D5A5] (119.7917s+0.4388s)
12*312^14895+1 is composite: RES64: [6F24B0F7BE7884E6] (120.2947s+0.4218s)
12*312^14898+1 is composite: RES64: [75726A5929041D7C] (120.5464s+0.4215s)
12*312^14900+1 is composite: RES64: [DD72F328E6683D7A] (119.4376s+0.5950s)
12*312^14918+1 is composite: RES64: [7BFF621EACDB0EC3] (118.7998s+0.4999s)
12*312^14966+1 is composite: RES64: [54C0B36686E9D9FA] (123.1882s+0.4087s)
12*312^14975+1 is composite: RES64: [EB1085F1DE11CF0A] (119.7865s+0.4689s)
12*312^14996+1 is composite: RES64: [C5B969429304F360] (119.8488s+0.3916s)
12*312^15008+1 is composite: RES64: [50B807AEC403053F] (125.4750s+0.4842s)
12*312^15020+1 is composite: RES64: [4541FD67D3688AB4] (128.8322s+0.3512s)
12*312^15036+1 is composite: RES64: [6EC7E9BBB71E05DB] (123.7582s+0.4380s)
12*312^15038+1 is composite: RES64: [0E757F3873A5EE4F] (118.8298s+0.3590s)
12*312^15044+1 is composite: RES64: [0743F6C845295558] (120.0908s+0.3880s)
12*312^15060+1 is composite: RES64: [1AEA7BDAA52A961A] (118.4623s+0.4358s)
12*312^15083+1 is composite: RES64: [5EF7D06E7BCDD3DE] (123.3827s+0.5291s)
12*312^15086+1 is composite: RES64: [E6D1595E82B595B1] (125.0537s+0.2902s)
12*312^15092+1 is composite: RES64: [21DE14B31366C211] (124.0317s+0.4058s)
12*312^15111+1 is composite: RES64: [5414929973A3E490] (121.8178s+0.4373s)
12*312^15114+1 is composite: RES64: [3F1F57BF52A8F900] (120.9007s+0.3434s)
12*312^15132+1 is composite: RES64: [AB4BA9FADA3DB730] (121.8843s+0.4218s)
12*312^15140+1 is composite: RES64: [B33A40808C9C1415] (123.5714s+0.4840s)
12*312^15158+1 is composite: RES64: [CEE82A788E6FF414] (122.3489s+1.3427s)
12*312^15170+1 is composite: RES64: [C46CBE2C337110A1] (126.1458s+0.3903s)
12*312^15182+1 is composite: RES64: [FFC915AA0AAC1156] (127.9861s+0.4528s)
12*312^15188+1 is composite: RES64: [222F054759B93B49] (124.3997s+0.4075s)
12*312^15203+1 is composite: RES64: [86660D62CADF6B3C] (122.4899s+0.4365s)
12*312^15206+1 is composite: RES64: [37DF77D90E58C130] (121.5503s+0.4219s)
12*312^15216+1 is composite: RES64: [F36F23187F4A1990] (122.6487s+0.4372s)
12*312^15218+1 is composite: RES64: [D7A1F8F8697EF617] (122.3197s+0.5933s)
12*312^15224+1 is composite: RES64: [E8906C4C565A4B08] (127.3755s+0.4123s)
12*312^15228+1 is composite: RES64: [9BF0FE1F644F5EFB] (125.2927s+0.5310s)
12*312^15234+1 is composite: RES64: [C3D0C26E609D20C5] (120.5843s+0.3617s)
12*312^15239+1 is composite: RES64: [BFA1B3523847E0A0] (122.7237s+0.3920s)
12*312^15248+1 is composite: RES64: [5886EACAA30F911C] (121.7539s+0.4054s)
12*312^15254+1 is composite: RES64: [AE5CDE734A7DABEF] (123.8140s+0.4997s)
12*312^15260+1 is composite: RES64: [185EF56C82C6E80E] (124.7814s+0.5309s)
12*312^15290+1 is composite: RES64: [EC86E49FFD86C8D0] (122.9048s+0.3436s)
12*312^15296+1 is composite: RES64: [28AD6D9F3185BA1B] (122.8681s+0.4984s)
12*312^15299+1 is composite: RES64: [03D08DE69A806561] (124.7306s+0.4685s)
12*312^15314+1 is composite: RES64: [628AD40B0590F55B] (125.3468s+0.4670s)
12*312^15315+1 is composite: RES64: [F405E147F5837D4D] (124.9094s+0.5306s)
12*312^15320+1 is composite: RES64: [FD7040A44CD8288D] (122.7648s+0.3907s)
12*312^15326+1 is composite: RES64: [CACCCC000D884374] (122.3118s+0.3751s)
12*312^15330+1 is composite: RES64: [2AA57F166F943C9C] (124.4473s+0.3437s)
12*312^15336+1 is composite: RES64: [A6E0D32F195FE86A] (124.9638s+0.4437s)
12*312^15338+1 is composite: RES64: [F167BCFAEF27239B] (125.6077s+0.4528s)
12*312^15339+1 is composite: RES64: [5159CE62F937A547] (129.8019s+0.3919s)
12*312^15350+1 is composite: RES64: [810C6DEF5F627FAC] (123.2412s+0.5312s)
12*312^15356+1 is composite: RES64: [FF8FE9105BDD3E28] (126.4650s+0.3746s)
12*312^15359+1 is composite: RES64: [DEC0FDEBD4B10909] (124.6201s+0.3433s)
12*312^15362+1 is composite: RES64: [5BB70D172C811D15] (123.3193s+0.3512s)
12*312^15372+1 is composite: RES64: [28B00CBC8FDB7E3F] (123.4561s+0.3420s)
12*312^15374+1 is composite: RES64: [D7ADA27D6D4486F8] (126.2609s+0.3302s)
12*312^15380+1 is composite: RES64: [6935C75611850140] (123.6399s+0.3905s)
12*312^15384+1 is composite: RES64: [AFC3C780B046C734] (125.3388s+0.4059s)
12*312^15431+1 is composite: RES64: [8F5F39B3D77E2097] (122.5396s+0.3909s)
12*312^15450+1 is composite: RES64: [34CC75D3CFC293BB] (123.5557s+0.3593s)
12*312^15452+1 is composite: RES64: [E7D4B406B819A5A9] (123.9707s+0.5161s)
12*312^15468+1 is composite: RES64: [65005E96F6A4B244] (123.9852s+0.4840s)
12*312^15483+1 is composite: RES64: [228B41127FF7C04C] (126.5441s+0.5156s)
12*312^15498+1 is composite: RES64: [B14B642F64EB1A9E] (124.5136s+0.4218s)
12*312^15500+1 is composite: RES64: [12E47A058BAE9B36] (123.4624s+0.9356s)
12*312^15510+1 is composite: RES64: [89DDBEEB5419CE0C] (123.0063s+0.3447s)
12*312^15512+1 is composite: RES64: [881FC5ED0EB7A7A4] (127.3158s+0.4373s)
12*312^15518+1 is composite: RES64: [CC258AAE62754D47] (124.7364s+0.3590s)
12*312^15519+1 is composite: RES64: [7F87A11397778BCF] (124.4533s+0.3432s)
12*312^15536+1 is composite: RES64: [6BF836D88FC8C967] (123.7604s+0.4989s)
12*312^15540+1 is composite: RES64: [2851CD3F0F617618] (127.3949s+0.4372s)
12*312^15546+1 is composite: RES64: [004BC2786D883BA5] (195.2727s+0.4998s)
12*312^15551+1 is composite: RES64: [55C1D9A5F47360BC] (125.8367s+0.4061s)
12*312^15554+1 is composite: RES64: [031806062144E126] (123.9887s+0.4371s)
12*312^15560+1 is composite: RES64: [1E64F905EA636F88] (128.0792s+0.3594s)
12*312^15564+1 is composite: RES64: [A688DF5F0B4F64B2] (124.6891s+0.4059s)
12*312^15575+1 is composite: RES64: [6A926D28E0B3092C] (129.0708s+0.5621s)
12*312^15582+1 is composite: RES64: [B97C33AFA61BCDD7] (130.6210s+0.4683s)
12*312^15614+1 is composite: RES64: [C7EAB8C4D15DB11F] (125.6033s+0.0411s)
12*312^15615+1 is composite: RES64: [EAF867E16B648ED0] (128.7802s+0.6976s)
12*312^15624+1 is composite: RES64: [1562CBD413340282] (132.5958s+0.3554s)
12*312^15626+1 is composite: RES64: [B4A96618479A053A] (126.6889s+0.3325s)
12*312^15639+1 is composite: RES64: [18D9A35F838A10FE] (126.0112s+0.3839s)
12*312^15660+1 is composite: RES64: [43EB1E6E2846AA45] (126.0106s+0.3904s)
12*312^15683+1 is composite: RES64: [C17224DB37FE0D59] (128.3030s+0.2981s)
12*312^15716+1 is composite: RES64: [D696BB8A49F5CFD4] (128.7586s+0.3104s)
12*312^15719+1 is composite: RES64: [08C5B8A1D97DC190] (127.7611s+0.3315s)
12*312^15728+1 is composite: RES64: [89C62A5C27F5072E] (128.8520s+0.4584s)
12*312^15735+1 is composite: RES64: [BBCAC47B4355E342] (129.1710s+0.3659s)
12*312^15743+1 is composite: RES64: [C68E142FDDFDA4C9] (128.4860s+0.3795s)
12*312^15744+1 is composite: RES64: [9718FF11CD4F734E] (127.3556s+0.3824s)
12*312^15758+1 is composite: RES64: [56A43B76808EE1E9] (126.9208s+0.7485s)
12*312^15762+1 is composite: RES64: [3E21747B5638A47C] (128.3862s+0.3159s)
12*312^15764+1 is composite: RES64: [23F86BACD967E4A2] (127.9515s+0.4657s)
12*312^15770+1 is composite: RES64: [A04DCB9205C3EBF8] (128.9175s+0.4020s)
12*312^15774+1 is composite: RES64: [765C268C8BDE6C2C] (127.9369s+0.3991s)
12*312^15783+1 is composite: RES64: [017CC7E5313F6D3C] (126.9718s+0.4823s)
12*312^15786+1 is composite: RES64: [70AE1850F739B0E5] (128.3861s+0.3325s)
12*312^15794+1 is composite: RES64: [8833878D77D1EA25] (130.2176s+0.4323s)
12*312^15803+1 is composite: RES64: [38C1BF27F9B653EA] (128.9514s+0.3480s)
12*312^15815+1 is composite: RES64: [62DAD07DBED8FACB] (128.2015s+0.4843s)
12*312^15830+1 is composite: RES64: [0F41DE93D5B05705] (129.2513s+0.4324s)
12*312^15842+1 is composite: RES64: [6AA7EE3ABF0E0D3D] (130.5253s+0.3169s)
12*312^15846+1 is composite: RES64: [BE16031D5A2F9404] (128.3625s+0.4386s)
12*312^15851+1 is composite: RES64: [27E1A686A12CF0EA] (128.2530s+0.3229s)
12*312^15860+1 is composite: RES64: [08469E8649AB2459] (128.8729s+0.3824s)
12*312^15867+1 is composite: RES64: [63E94E48F0D7226C] (129.6359s+0.3459s)
12*312^15870+1 is composite: RES64: [93859294A553419F] (129.0260s+0.4218s)
12*312^15876+1 is composite: RES64: [1C104D073BAC6894] (133.2418s+0.4217s)
12*312^15878+1 is composite: RES64: [9849E9D448D506AF] (126.8788s+0.5108s)
12*312^15888+1 is composite: RES64: [4F96F870B3422A62] (130.8181s+0.3746s)
12*312^15914+1 is composite: RES64: [D254762A79457AAF] (129.3346s+0.3491s)
12*312^15930+1 is composite: RES64: [67ABCE1554AFAA69] (134.8935s+0.2977s)
12*312^15939+1 is composite: RES64: [D8C5226DA6F65DFB] (135.0980s+0.5425s)
12*312^15948+1 is composite: RES64: [BAD9B4848FF621A6] (138.2887s+0.5330s)
12*312^15954+1 is composite: RES64: [1F279B6C92458BDE] (129.9409s+0.3466s)
12*312^15956+1 is composite: RES64: [E78E5C9E14886317] (129.5487s+0.4085s)
12*312^15960+1 is composite: RES64: [9F53F9CCCF7A1B70] (131.3478s+0.6998s)
12*312^15990+1 is composite: RES64: [9834FB93B617018D] (129.0939s+0.3621s)
12*312^16002+1 is composite: RES64: [4EA8A611CF9D373A] (130.0263s+0.4061s)
12*312^16011+1 is composite: RES64: [2DB8328A3F26E72E] (129.7928s+0.2772s)
12*312^16038+1 is composite: RES64: [1D7DCB6CC7EA1CAA] (129.9441s+0.4684s)
12*312^16040+1 is composite: RES64: [45D57BEF88CF3CB1] (133.2111s+0.3269s)
12*312^16043+1 is composite: RES64: [6ECD32C578DA27AF] (129.2495s+0.5308s)
12*312^16055+1 is composite: RES64: [1ADC4C7554139DC6] (130.3447s+0.3527s)
12*312^16058+1 is composite: RES64: [956107A98E4C6358] (131.6308s+0.4050s)
12*312^16079+1 is composite: RES64: [DECD69BE682BB9A2] (133.0451s+0.3146s)
12*312^16080+1 is composite: RES64: [7EB9329E593AFDDD] (130.2078s+0.3410s)
12*312^16082+1 is composite: RES64: [5C6CFEBF2FA5E343] (130.8077s+0.3491s)
12*312^16086+1 is composite: RES64: [9C8C0EC460C314BC] (128.2850s+0.3583s)
12*312^16106+1 is composite: RES64: [3327384CBDCE8C15] (131.1815s+0.2992s)
12*312^16112+1 is composite: RES64: [4BC9FF8418ADCE01] (133.0953s+0.3158s)
12*312^16119+1 is composite: RES64: [529E0A615DDD14BE] (135.9735s+0.4486s)
12*312^16122+1 is composite: RES64: [A6B7DA1AF7724EB9] (130.7781s+0.3491s)
12*312^16127+1 is composite: RES64: [DA30D852572E7C4D] (129.0207s+0.5152s)
12*312^16128+1 is composite: RES64: [6611BC68F43BC35E] (130.2215s+0.3906s)
12*312^16130+1 is composite: RES64: [7231CCBD7771F8DB] (132.7812s+0.4057s)
12*312^16152+1 is composite: RES64: [0C7DC3EC35BEF7F8] (132.3398s+0.4328s)
12*312^16155+1 is composite: RES64: [69B21C252C6B5DDC] (130.9831s+0.4529s)
12*312^16158+1 is composite: RES64: [835F5AFACC5BCD00] (134.9466s+0.4060s)
12*312^16160+1 is composite: RES64: [BEAADCF66059F632] (129.6577s+0.4061s)
12*312^16164+1 is composite: RES64: [7C5226674C2FB18A] (132.3910s+0.3901s)
12*312^16166+1 is composite: RES64: [5885615CA27AF33F] (132.9995s+0.5466s)
12*312^16178+1 is composite: RES64: [BA80FD48DCF9C407] (131.6467s+0.4349s)
12*312^16199+1 is composite: RES64: [F8FFD3627C03CB21] (135.0463s+0.4839s)
12*312^16211+1 is composite: RES64: [64DF08532AD197C2] (131.4133s+0.4044s)
12*312^16215+1 is composite: RES64: [092C130D5C29A7E5] (131.3432s+0.3806s)
12*312^16227+1 is composite: RES64: [DF6BFFEBFAFC0EB1] (136.7185s+0.4515s)
12*312^16232+1 is composite: RES64: [924904A3BD0BCEA8] (132.7789s+0.2947s)
12*312^16239+1 is composite: RES64: [5C08A67B59C0DF52] (140.3839s+0.3990s)
12*312^16242+1 is composite: RES64: [5B3A8EEA7A05AE07] (131.4016s+0.5616s)
12*312^16244+1 is composite: RES64: [3CAD5794682056B5] (141.1838s+0.4497s)
12*312^16260+1 is composite: RES64: [39C0C2605D7FFB89] (142.7994s+0.2809s)
12*312^16271+1 is composite: RES64: [08744F0DE89C1ED9] (139.5850s+0.3192s)
12*312^16274+1 is composite: RES64: [C0B06ABF3C338632] (141.0439s+0.4388s)
12*312^16284+1 is composite: RES64: [4FA3DE2703B9019E] (138.4339s+0.3275s)
12*312^16298+1 is composite: RES64: [442F46710E7E9E76] (129.9362s+0.4157s)
12*312^16310+1 is composite: RES64: [745D561DB0BAC828] (145.9205s+1.1903s)
12*312^16319+1 is composite: RES64: [718DEE973E8A88EE] (137.6087s+0.3036s)
12*312^16323+1 is composite: RES64: [DD7B15EA9DA1087E] (140.2106s+0.3093s)
12*312^16331+1 is composite: RES64: [5DC2932308BDDE11] (125.6402s+0.3135s)
12*312^16334+1 is composite: RES64: [0B922D62AB97291A] (125.5106s+0.3279s)
12*312^16350+1 is composite: RES64: [67115F3C4A33157A] (139.0449s+0.2766s)
12*312^16352+1 is composite: RES64: [093429658A3E8DA9] (133.0119s+0.4329s)
12*312^16359+1 is composite: RES64: [4276DAB16918E2B7] (137.0540s+0.3939s)
12*312^16371+1 is composite: RES64: [47CE485ADE322446] (131.6151s+0.3939s)
12*312^16376+1 is composite: RES64: [9E49F1C3EE15E423] (150.0577s+0.3866s)
12*312^16379+1 is composite: RES64: [97459BAF3C4594D1] (145.3719s+0.3435s)
12*312^16386+1 is composite: RES64: [18A22546242DD006] (128.4874s+0.2973s)
12*312^16392+1 is composite: RES64: [DF34892553FC44D4] (132.4201s+0.3278s)
12*312^16394+1 is composite: RES64: [8073DEA816335957] (108.3779s+0.0163s)
12*312^16400+1 is composite: RES64: [BC94CD6331ED78ED] (108.4028s+0.1470s)
12*312^16404+1 is composite: RES64: [25FFB238E6B32B2C] (100.7230s+0.1958s)
12*312^16415+1 is composite: RES64: [2DC3AB00A7B639A2] (116.0810s+0.1766s)
12*312^16416+1 is composite: RES64: [D675165BACB9900A] (106.6763s+0.1619s)
12*312^16424+1 is composite: RES64: [F5DE959EA5047D5D] (98.7014s+0.3842s)
12*312^16428+1 is composite: RES64: [6F90EF7D9DD2DFC0] (92.9372s+0.1720s)
12*312^16434+1 is composite: RES64: [E4D3214DEEF2FBC2] (97.4578s+0.2922s)
12*312^16436+1 is composite: RES64: [501492AAEE8384E3] (97.1297s+0.2041s)
12*312^16448+1 is composite: RES64: [7FC90C05E4FA5779] (115.1938s+0.1393s)
12*312^16451+1 is composite: RES64: [94CB04F638040526] (113.1081s+0.1848s)
12*312^16463+1 is composite: RES64: [4902B5A56232C894] (115.7280s+0.1721s)
12*312^16466+1 is composite: RES64: [D84AF3A5546043B9] (120.0229s+0.3123s)
12*312^16467+1 is composite: RES64: [03D9ECEF7FFC9E41] (120.0194s+0.2812s)
12*312^16476+1 is composite: RES64: [7AF78A3C5DD3013F] (121.8424s+0.3125s)
12*312^16491+1 is composite: RES64: [23CAD795D2104622] (136.1831s+0.2965s)
12*312^16496+1 is composite: RES64: [32F560B18499314B] (125.7535s+0.3746s)
12*312^16508+1 is composite: RES64: [3B82788FE1F7C651] (146.5171s+0.3120s)
12*312^16526+1 is composite: RES64: [AEAB1867A445EE2B] (178.5384s+0.2603s)
12*312^16551+1 is composite: RES64: [39F2750BEFE84BE0] (140.0749s+1.0632s)
12*312^16574+1 is composite: RES64: [C21738718B6D158F] (119.5757s+0.3297s)
12*312^16580+1 is composite: RES64: [94540838924302A6] (118.8409s+0.3278s)
12*312^16584+1 is composite: RES64: [B3FE6890409004FF] (125.3822s+0.2856s)
12*312^16592+1 is composite: RES64: [816F12ADB78CC257] (150.0509s+0.2557s)
12*312^16602+1 is composite: RES64: [0EBD888CE532EE28] (131.3794s+0.3409s)
12*312^16610+1 is composite: RES64: [28FD58DE6F22BC27] (128.2744s+0.2450s)
12*312^16611+1 is composite: RES64: [4F083B7DAE03B9E1] (168.8272s+0.2844s)
12*312^16614+1 is composite: RES64: [D6154F3E995C1132] (187.4874s+0.7623s)
12*312^16616+1 is composite: RES64: [F04FF54DF2D652BB] (177.4071s+0.2410s)
12*312^16628+1 is composite: RES64: [9F51B8918B5355C0] (208.4911s+0.3591s)
12*312^16634+1 is composite: RES64: [A487EF6D519AF4F6] (154.8396s+0.1965s)
12*312^16644+1 is composite: RES64: [DC63E19DF656D4B3] (217.6788s+0.7717s)
12*312^16647+1 is composite: RES64: [ED2AFBBE320A6807] (153.0432s+0.4795s)
12*312^16656+1 is composite: RES64: [759D360D80576A40] (227.6398s+0.2494s)
12*312^16659+1 is composite: RES64: [21320B1B9B3FDC5E] (125.8120s+0.5867s)
12*312^16664+1 is composite: RES64: [04D45A80BAAB9AF4] (131.3996s+0.2039s)
12*312^16670+1 is composite: RES64: [9A60E71C235122E3] (156.5097s+0.4424s)
12*312^16680+1 is composite: RES64: [2FE542FCA9DED0FA] (138.3658s+0.3121s)
12*312^16698+1 is composite: RES64: [FD02D96B5F740A7A] (125.9873s+0.3262s)
12*312^16706+1 is composite: RES64: [A1F9E94A0B40A6E3] (166.2271s+0.3175s)
12*312^16712+1 is composite: RES64: [92D7153DA4D8C288] (196.0521s+0.3567s)
12*312^16730+1 is composite: RES64: [AC3E3A56FD3A8651] (222.0368s+0.2353s)
12*312^16739+1 is composite: RES64: [CFC0F392BF635246] (236.0102s+0.7830s)
12*312^16752+1 is composite: RES64: [7920553873ADFFBF] (233.4345s+0.6772s)
12*312^16758+1 is composite: RES64: [9A240D60A19EC0B5] (246.3972s+0.5464s)
12*312^16778+1 is composite: RES64: [E757325D7A1304DD] (207.5673s+0.7812s)
12*312^16779+1 is composite: RES64: [C426F399985559AF] (209.2418s+0.7183s)
12*312^16802+1 is composite: RES64: [6A4C6069BD354A7E] (207.3157s+0.8182s)
12*312^16812+1 is composite: RES64: [CFB8184F28054D64] (209.3047s+0.7834s)
12*312^16815+1 is composite: RES64: [7FF1ECABA28257F7] (208.0634s+1.0935s)
12*312^16830+1 is composite: RES64: [140CAC16A66E4F80] (209.5637s+0.7852s)
12*312^16835+1 is composite: RES64: [9FA65717C64BF23C] (208.0151s+0.8771s)
12*312^16836+1 is composite: RES64: [8169D6110432685F] (208.3757s+0.7966s)
12*312^16838+1 is composite: RES64: [3603A80AFC213D73] (212.2348s+0.8749s)
12*312^16862+1 is composite: RES64: [391894045905EB58] (221.1694s+0.7925s)
12*312^16871+1 is composite: RES64: [57AF9BC3A64059A6] (210.3044s+0.7485s)
12*312^16872+1 is composite: RES64: [F8530B8B99E99CDC] (213.3330s+0.8588s)
12*312^16880+1 is composite: RES64: [397F34D31F109080] (215.5318s+0.7220s)
12*312^16890+1 is composite: RES64: [7E6BAA786D9B5355] (217.6623s+0.6381s)
12*312^16892+1 is composite: RES64: [AF487E1B95D38EA2] (220.3554s+0.4783s)
12*312^16898+1 is composite: RES64: [6505BAAF7A05B673] (215.9662s+1.0466s)
12*312^16910+1 is composite: RES64: [37AED4F96C4EB48E] (218.3237s+0.7791s)
12*312^16911+1 is composite: RES64: [06B7262B5D6D93AD] (216.8551s+0.7653s)
12*312^16914+1 is composite: RES64: [335A9DEDF9F89879] (217.0406s+0.7876s)
12*312^16926+1 is composite: RES64: [F4227187A8C4F11A] (216.5079s+0.7651s)
12*312^16934+1 is composite: RES64: [8836BD4DD80009A7] (216.4095s+0.7187s)
12*312^16940+1 is composite: RES64: [AB1DEDFAB775E45E] (215.9057s+0.7812s)
12*312^16946+1 is composite: RES64: [5020F5895D8272D2] (215.5719s+0.8276s)
12*312^16956+1 is composite: RES64: [D5219678D9EBF746] (212.9153s+0.8045s)
12*312^16968+1 is composite: RES64: [30E66E2CBF31088B] (215.3154s+0.5674s)
12*312^16971+1 is composite: RES64: [B5281B7C63CFB5BB] (216.1054s+0.7170s)
12*312^16976+1 is composite: RES64: [143E84D8B3BFB4B4] (219.2261s+0.7497s)
12*312^16991+1 is composite: RES64: [F78D62752612A7E4] (216.1745s+0.7699s)
12*312^17000+1 is composite: RES64: [470BA8F592EB38D5] (217.5844s+0.7850s)
12*312^17015+1 is composite: RES64: [3AEB0B63709A498E] (221.6135s+0.8746s)
12*312^17016+1 is composite: RES64: [7443EAA09F4DACEE] (216.7822s+0.7813s)
12*312^17018+1 is composite: RES64: [D48CC410ECFA5EEC] (220.0165s+0.8121s)
12*312^17034+1 is composite: RES64: [9D61C8F278A6F803] (220.0137s+0.7988s)
12*312^17036+1 is composite: RES64: [C02490DEEBAA6E2C] (220.3915s+0.6718s)
12*312^17039+1 is composite: RES64: [C3DCF9133934E394] (215.8452s+0.8747s)
12*312^17040+1 is composite: RES64: [9614254D4C7AEC43] (221.1745s+0.7717s)
12*312^17075+1 is composite: RES64: [59DDE33A00FA4130] (217.8993s+0.9687s)
12*312^17115+1 is composite: RES64: [771F6245F9A55FD4] (219.9910s+0.6874s)
12*312^17120+1 is composite: RES64: [F6039B2328CA37ED] (222.4367s+0.5753s)
12*312^17126+1 is composite: RES64: [A7D441BADAF6AD79] (224.4849s+0.7653s)
12*312^17135+1 is composite: RES64: [62D0E63107D80DB6] (221.0696s+0.9997s)
12*312^17142+1 is composite: RES64: [FA9281E3F52A05CC] (220.0261s+0.7498s)
12*312^17144+1 is composite: RES64: [A39CFF55CBE5F9AF] (220.9083s+0.7968s)
12*312^17150+1 is composite: RES64: [299F061327F295C4] (221.8568s+0.8747s)
12*312^17156+1 is composite: RES64: [9E94493435838CA2] (218.3187s+0.6871s)
12*312^17160+1 is composite: RES64: [60FA543FD9CD6213] (221.1454s+0.8279s)
12*312^17168+1 is composite: RES64: [6C229963823335AF] (219.2114s+0.9998s)
12*312^17172+1 is composite: RES64: [E2BF144C464EDC6C] (221.3837s+0.9214s)
12*312^17187+1 is composite: RES64: [43D03D6CA854C876] (222.5919s+0.8566s)
12*312^17192+1 is composite: RES64: [48AC73940338B554] (223.3875s+0.7967s)
12*312^17199+1 is composite: RES64: [A198BA5B70D987CB] (220.6776s+0.5972s)
12*312^17204+1 is composite: RES64: [7F3A2D7E6B8BB735] (220.4406s+0.9532s)
12*312^17207+1 is composite: RES64: [FD783DAA3B6233B0] (221.3073s+0.7499s)
12*312^17211+1 is composite: RES64: [771DE11D0582F662] (224.0539s+0.6714s)
12*312^17214+1 is composite: RES64: [0F4E15B0C147A90B] (217.0977s+0.7443s)
12*312^17219+1 is composite: RES64: [65FE64D8BCE8BE9C] (218.4722s+0.8747s)
12*312^17220+1 is composite: RES64: [909619308C7C4805] (222.8389s+0.5936s)
12*312^17231+1 is composite: RES64: [F0515015012CE77C] (218.7556s+0.9102s)
12*312^17240+1 is composite: RES64: [1541776A742EEF61] (223.0174s+0.8122s)
12*312^17244+1 is composite: RES64: [42805F66A53DA9F6] (221.8005s+0.7810s)
12*312^17246+1 is composite: RES64: [F03BADD4A67733DF] (220.3141s+0.7867s)
12*312^17268+1 is composite: RES64: [DD21698BF82BF168] (221.5445s+0.7653s)
12*312^17274+1 is composite: RES64: [F5306BEC8FEE89A9] (220.2606s+0.8436s)
12*312^17288+1 is composite: RES64: [08F3FC1BCE12D660] (226.6047s+0.6874s)
12*312^17291+1 is composite: RES64: [D92954B3D1728AF5] (218.8562s+0.7183s)
12*312^17300+1 is composite: RES64: [167355805634FB20] (240.4188s+0.7655s)
12*312^17307+1 is composite: RES64: [941E1EC8CBEAFDDF] (351.4752s+0.8701s)
12*312^17336+1 is composite: RES64: [5E21601C2D97831C] (269.3011s+1.1976s)
12*312^17339+1 is composite: RES64: [18620B28A91A1831] (221.6972s+0.5487s)
12*312^17351+1 is composite: RES64: [794E175DEF6C8781] (220.8993s+0.6311s)
12*312^17366+1 is composite: RES64: [69BA2617B87B5FD6] (394.2428s+0.6987s)
12*312^17375+1 is composite: RES64: [F9D05DD90A86B5B0] (232.6289s+1.9464s)
12*312^17379+1 is composite: RES64: [EC6CF890E818DE0B] (246.0565s+0.5985s)
12*312^17384+1 is composite: RES64: [319FD6A4AF7AE5E3] (252.5555s+0.5390s)
12*312^17390+1 is composite: RES64: [B2542E35442D1335] (244.2634s+0.5821s)
12*312^17399+1 is composite: RES64: [39F8ED4AA4BDF358] (213.4106s+0.0177s)
12*312^17408+1 is composite: RES64: [54F289F5CE3EED75] (220.9395s+2.5394s)
12*312^17420+1 is composite: RES64: [4F6CF75D6327107F] (238.1558s+0.6941s)
12*312^17426+1 is composite: RES64: [53D6EF1FA265E7C3] (227.3878s+1.7586s)
12*312^17442+1 is composite: RES64: [8BEEBCF93E189604] (295.6241s+0.5487s)
12*312^17462+1 is composite: RES64: [FA10259FA21D8818] (312.0210s+0.6406s)
12*312^17486+1 is composite: RES64: [031EC027119DB9C1] (226.4857s+0.6818s)
12*312^17496+1 is composite: RES64: [29944BB8E8532F03] (230.7744s+0.6098s)
12*312^17504+1 is composite: RES64: [ADAB09F6073CA30B] (230.9817s+0.6153s)
12*312^17538+1 is composite: RES64: [785C40508DE4E6A2] (231.2419s+0.6819s)
12*312^17547+1 is composite: RES64: [CB787086FEC53FE6] (227.2212s+0.5880s)
12*312^17552+1 is composite: RES64: [B8C718B773C61938] (229.8337s+0.5654s)
12*312^17568+1 is composite: RES64: [A1951404DB243485] (231.7970s+0.6485s)
12*312^17570+1 is composite: RES64: [31A16584F0701E0C] (227.0548s+0.5820s)
12*312^17576+1 is composite: RES64: [5B6CF937CF177321] (230.7820s+0.4988s)
12*312^17579+1 is composite: RES64: [D3B58E2C0362C533] (239.5720s+0.7104s)
12*312^17582+1 is composite: RES64: [C3E7BEC280A88A7C] (234.0600s+0.6153s)
12*312^17588+1 is composite: RES64: [7418FD8E7A191CF2] (229.3499s+0.6154s)
12*312^17598+1 is composite: RES64: [5BC50065F4ABFAE9] (229.3178s+0.5497s)
12*312^17600+1 is composite: RES64: [223F89E4A084496D] (233.4276s+0.6984s)
12*312^17610+1 is composite: RES64: [91F408507BA9616F] (229.6173s+0.4988s)
12*312^17619+1 is composite: RES64: [4D2F7617306A1A4B] (233.4111s+0.5155s)
12*312^17627+1 is composite: RES64: [A588F27EC91340FD] (230.1324s+0.4986s)
12*312^17639+1 is composite: RES64: [F0DB04A4C2DD7CBE] (231.6839s+0.5959s)
12*312^17640+1 is composite: RES64: [4554877337F29F33] (231.4976s+0.6153s)
12*312^17648+1 is composite: RES64: [2F8FA8420F593FF0] (233.8415s+0.5653s)
12*312^17676+1 is composite: RES64: [80832925D25D1471] (231.2310s+0.5936s)
12*312^17682+1 is composite: RES64: [29A7BAFA29A7BCD1] (230.6137s+0.6063s)
12*312^17688+1 is composite: RES64: [2FE441C0CD5EF00B] (231.7470s+0.6668s)
12*312^17691+1 is composite: RES64: [43CEDB748E4F5760] (233.5575s+0.6319s)
12*312^17723+1 is composite: RES64: [29BDBD4E24552EBF] (233.8584s+0.6684s)
12*312^17732+1 is composite: RES64: [31BF7066501C9499] (229.6673s+0.6670s)
12*312^17748+1 is composite: RES64: [3D1EE03E9BAF8E0A] (231.2312s+0.6485s)
12*312^17750+1 is composite: RES64: [565C60D59D799B02] (234.2597s+0.6486s)
12*312^17759+1 is composite: RES64: [425C9ED2DB7021F2] (232.9950s+0.5985s)
12*312^17774+1 is composite: RES64: [853BA646E04E7862] (234.9084s+0.6984s)
12*312^17775+1 is composite: RES64: [AFC24CF8AB2C034B] (236.6270s+0.5982s)
12*312^17783+1 is composite: RES64: [1A244B07B0A82E7B] (232.7787s+0.6275s)
12*312^17795+1 is composite: RES64: [F1B675E8F6506A7F] (236.9883s+0.5820s)
12*312^17798+1 is composite: RES64: [929F6013EA46CAEA] (233.3942s+0.5820s)
12*312^17802+1 is composite: RES64: [6CE12D36E8510E3F] (234.2633s+0.6322s)
12*312^17814+1 is composite: RES64: [9F8ACCFC978DC800] (231.9022s+0.5281s)
12*312^17819+1 is composite: RES64: [FCB75064428FCCAF] (232.4460s+0.7262s)
12*312^17820+1 is composite: RES64: [4BDABC11A2A36702] (235.2745s+0.6318s)
12*312^17823+1 is composite: RES64: [0167E68E8835D629] (231.7991s+0.5798s)
12*312^17832+1 is composite: RES64: [37DBA56E100FC080] (236.8302s+0.5987s)
12*312^17850+1 is composite: RES64: [11E128B6E4365DBD] (233.0093s+0.6901s)
12*312^17858+1 is composite: RES64: [4BF6B5606982864F] (229.7989s+0.8121s)
12*312^17874+1 is composite: RES64: [86E1046AA39C9E7B] (233.6928s+0.7186s)
12*312^17880+1 is composite: RES64: [41E733AA17A8C49A] (230.1393s+0.8123s)
12*312^17922+1 is composite: RES64: [2CDEE61AE688D3CB] (230.9682s+0.7051s)
12*312^17930+1 is composite: RES64: [0DDEEDDDF47C05AC] (266.1092s+0.7027s)
12*312^17936+1 is composite: RES64: [174E8A362FC1FF10] (218.5360s+0.6486s)
12*312^17939+1 is composite: RES64: [69FB3D0B39E191CF] (231.7803s+0.7149s)
12*312^17942+1 is composite: RES64: [CF220935F838E7F4] (228.8709s+0.6794s)
12*312^17946+1 is composite: RES64: [A66462C2A9BD790C] (227.4210s+0.6319s)
12*312^17954+1 is composite: RES64: [05322C06F9555A8F] (232.0131s+0.7319s)
12*312^17955+1 is composite: RES64: [39BEDA8ABF719CFD] (224.9643s+0.5820s)
12*312^17960+1 is composite: RES64: [19966D519F7BF561] (224.0532s+0.8111s)
12*312^17963+1 is composite: RES64: [EF903E360C8DA594] (226.6317s+0.7029s)
12*312^17966+1 is composite: RES64: [C18D0ECD508EBE73] (227.4609s+0.7351s)
12*312^17967+1 is composite: RES64: [D34ADC6F72089966] (224.5192s+0.7963s)
12*312^17970+1 is composite: RES64: [2DF1F5331CA6E5BE] (226.6016s+0.6715s)
12*312^17982+1 is composite: RES64: [304F6EE2C23620BB] (224.7105s+0.6227s)
12*312^17987+1 is composite: RES64: [E3993A04978AE444] (222.8167s+0.7342s)
12*312^18000+1 is composite: RES64: [B0192A852B224A38] (225.5418s+0.7495s)
12*312^18018+1 is composite: RES64: [5E89B718FD57A2EB] (222.4089s+0.7966s)
12*312^18024+1 is composite: RES64: [E2A922DBC6563589] (229.2879s+0.8902s)
12*312^18054+1 is composite: RES64: [98F094CE18931687] (232.5682s+0.6249s)
12*312^18060+1 is composite: RES64: [F565B7602A5A68D5] (235.3816s+0.7967s)
12*312^18068+1 is composite: RES64: [73C69BEADC1F37C9] (232.3022s+0.8146s)
12*312^18074+1 is composite: RES64: [E0B84773E98D9B8B] (232.4163s+0.8923s)
12*312^18083+1 is composite: RES64: [A11FFA06A35432DC] (231.0393s+0.8434s)
12*312^18095+1 is composite: RES64: [7F0BE4FEF0961E26] (234.5110s+0.8162s)
12*312^18098+1 is composite: RES64: [E2AE5943D84981DF] (236.5578s+0.8592s)
12*312^18104+1 is composite: RES64: [4A67C3E6C3F45EBD] (231.5428s+0.7653s)
12*312^18110+1 is composite: RES64: [2D4C2E0F1D195CF9] (231.9343s+0.8704s)
12*312^18114+1 is composite: RES64: [1229AD2C5B467245] (234.0230s+1.2028s)
12*312^18123+1 is composite: RES64: [26949757DDAE5CD3] (233.4718s+0.7029s)
12*312^18134+1 is composite: RES64: [41A7BFBFBA5D6141] (233.3770s+0.7813s)
12*312^18138+1 is composite: RES64: [07BC54B1E65098D6] (237.8637s+0.7656s)
12*312^18140+1 is composite: RES64: [B2866EEE24F6CEE1] (233.4980s+1.1244s)
12*312^18143+1 is composite: RES64: [7285AFBD539449D0] (234.3893s+0.7028s)
12*312^18146+1 is composite: RES64: [978A743412EFE919] (230.5425s+0.5622s)
12*312^18182+1 is composite: RES64: [9B4A6AE1231D571A] (234.2018s+0.7653s)
12*312^18188+1 is composite: RES64: [5C7F2CDE81EF16AE] (236.2221s+0.9218s)
12*312^18194+1 is composite: RES64: [887EC6642675B56E] (243.8767s+0.7964s)
12*312^18198+1 is composite: RES64: [B49719F25ABD5134] (236.4561s+0.7808s)
12*312^18200+1 is composite: RES64: [31BC050FA1CD2054] (231.1958s+0.7968s)
12*312^18203+1 is composite: RES64: [37E87248D5E4BF9D] (235.9135s+0.7327s)
12*312^18210+1 is composite: RES64: [5B88815FD5304789] (234.6890s+0.7653s)
12*312^18218+1 is composite: RES64: [7ABAD1504B3F8851] (235.8523s+0.7188s)
12*312^18219+1 is composite: RES64: [33FF1F7AAFF5C0F8] (233.4596s+0.7803s)
12*312^18230+1 is composite: RES64: [D3CDA6DC5A3BEBD6] (235.9047s+0.7653s)
12*312^18236+1 is composite: RES64: [EE4E3CE6385B38CF] (233.6962s+0.7895s)
12*312^18243+1 is composite: RES64: [175B3B461432276D] (234.7877s+0.9841s)
12*312^18260+1 is composite: RES64: [8C701276CB92DE5D] (235.5302s+0.7585s)
12*312^18263+1 is composite: RES64: [6BADCD5259CA15BB] (237.9777s+0.7523s)
12*312^18278+1 is composite: RES64: [9CA71C4AE4FC8E19] (234.4534s+0.7530s)
12*312^18279+1 is composite: RES64: [FD0D885EB6BC464D] (237.5815s+0.8220s)
12*312^18287+1 is composite: RES64: [2DF8626B690ED147] (235.5044s+0.8122s)
12*312^18290+1 is composite: RES64: [095C354D8B8761B8] (234.9566s+0.7185s)
12*312^18300+1 is composite: RES64: [1BFC444E7423221A] (245.3554s+0.7933s)
12*312^18314+1 is composite: RES64: [B7FA9C6E62A9DCC0] (234.8284s+0.8904s)
12*312^18332+1 is composite: RES64: [88775A9AECFEEA82] (233.4895s+0.8256s)
12*312^18348+1 is composite: RES64: [10F08578319DDD46] (236.6900s+0.8747s)
12*312^18383+1 is composite: RES64: [0FC9B4D328B637EF] (235.0503s+0.7568s)
12*312^18384+1 is composite: RES64: [9DAFCC23239530D6] (238.3145s+0.7340s)
12*312^18390+1 is composite: RES64: [BB0D2D49744018C4] (236.3496s+0.6854s)
12*312^18395+1 is composite: RES64: [90AF30EEF18CAA25] (239.8010s+0.6249s)
12*312^18407+1 is composite: RES64: [DD794B384AE6E46B] (236.5104s+0.9374s)
12*312^18419+1 is composite: RES64: [31A893D83AF5DEFB] (238.6032s+0.6887s)
12*312^18420+1 is composite: RES64: [D90BDE18AC568C4E] (240.4402s+0.6983s)
12*312^18423+1 is composite: RES64: [F1FF3E1FCB0EFCFB] (464.6894s+0.7498s)
12*312^18440+1 is composite: RES64: [77F6845B98139688] (238.5852s+0.7793s)
12*312^18459+1 is composite: RES64: [6EF215447B5524B8] (239.2707s+0.8746s)
12*312^18468+1 is composite: RES64: [B2D16AB7E8582095] (242.9786s+0.8472s)
12*312^18474+1 is composite: RES64: [A036F4AC773FBC72] (238.3587s+0.7652s)
12*312^18476+1 is composite: RES64: [550F33D58A123D74] (236.3679s+0.9216s)
12*312^18482+1 is composite: RES64: [A362B96DF12BEB39] (238.6862s+0.7340s)
12*312^18486+1 is composite: RES64: [D4DABA6188CBF59D] (236.5917s+0.7498s)
12*312^18488+1 is composite: RES64: [E5D00098A19865FD] (240.2091s+0.7463s)
12*312^18491+1 is composite: RES64: [7881B8CBBE0218C1] (242.8247s+0.7967s)
12*312^18500+1 is composite: RES64: [D3B87E7A4DC4A572] (236.5113s+0.7344s)
12*312^18512+1 is composite: RES64: [5F13606736816437] (239.8815s+0.7896s)
12*312^18528+1 is composite: RES64: [6084D67967ABEA53] (236.8719s+0.8280s)
12*312^18531+1 is composite: RES64: [94B362C46A07F0B7] (237.1289s+0.7811s)
12*312^18536+1 is composite: RES64: [7C56D7A3226FB764] (237.5768s+0.8748s)
12*312^18579+1 is composite: RES64: [7684192223605C1A] (240.1291s+0.7810s)
12*312^18588+1 is composite: RES64: [D1829A575932C051] (238.9627s+0.7184s)
12*312^18590+1 is composite: RES64: [B74F2E6265A66334] (242.2023s+0.9039s)
12*312^18612+1 is composite: RES64: [1E046A6988AD1FA8] (238.8104s+0.8748s)
12*312^18623+1 is composite: RES64: [0880A72F4747EA70] (241.0685s+0.8440s)
12*312^18626+1 is composite: RES64: [1CB661070A5C37B0] (238.4928s+0.7812s)
12*312^18632+1 is composite: RES64: [D1E7FA86CA140484] (237.5601s+0.8437s)
12*312^18639+1 is composite: RES64: [58C5619FACB5FD0B] (238.2566s+0.8132s)
12*312^18642+1 is composite: RES64: [41E043642BE97B89] (244.3192s+0.6873s)
12*312^18644+1 is composite: RES64: [2737BCE8735CA04C] (239.8196s+0.8746s)
12*312^18648+1 is composite: RES64: [EC1039C05718657B] (291.0640s+0.8436s)
12*312^18659+1 is composite: RES64: [8BFEC1B6E422D5D1] (263.8778s+0.7251s)
12*312^18662+1 is composite: RES64: [4470DB97F2443841] (240.4781s+0.8122s)
12*312^18672+1 is composite: RES64: [16DF467A312ADFFD] (246.9210s+0.8122s)
12*312^18696+1 is composite: RES64: [E37B5FA384CBA9DA] (242.3095s+0.8125s)
12*312^18720+1 is composite: RES64: [10F082375CE0527E] (242.2649s+0.8436s)
12*312^18731+1 is composite: RES64: [DB98259A467F059F] (242.8004s+0.7314s)
12*312^18734+1 is composite: RES64: [76BD7FCBA251770E] (243.4136s+0.7963s)
12*312^18744+1 is composite: RES64: [B353B2498D47829E] (242.1493s+0.7826s)
12*312^18756+1 is composite: RES64: [6792481212CF922D] (241.7056s+0.8593s)
12*312^18776+1 is composite: RES64: [6F275392B5AE283F] (241.2811s+2.3774s)
12*312^18780+1 is composite: RES64: [351A5F3E164D16F1] (243.6838s+0.8593s)
12*312^18783+1 is composite: RES64: [D51A967BFE66C85F] (241.5745s+0.6795s)
12*312^18786+1 is composite: RES64: [AA560E5A27ACCE85] (245.5819s+0.8434s)
12*312^18795+1 is composite: RES64: [B01744337D9758F1] (246.0093s+0.9058s)
12*312^18818+1 is composite: RES64: [061481FB2D94FF75] (241.7132s+0.9528s)
12*312^18822+1 is composite: RES64: [A9F99B0715997915] (239.1421s+0.7968s)
12*312^18824+1 is composite: RES64: [8BDE825B23C24A4F] (244.3767s+0.8905s)
12*312^18831+1 is composite: RES64: [7675117E8C8FE85E] (240.8527s+0.8747s)
12*312^18836+1 is composite: RES64: [EDCBB31EEFFA0168] (239.3946s+0.6929s)
12*312^18840+1 is composite: RES64: [0A766F0CAD73E0E1] (246.2359s+0.7968s)
12*312^18846+1 is composite: RES64: [BB0AA99C223028EC] (242.1227s+0.9058s)
12*312^18863+1 is composite: RES64: [4F19E4018DD05488] (242.4497s+0.7655s)
12*312^18864+1 is composite: RES64: [CCDA1A2404C6B724] (248.7666s+0.7341s)
12*312^18875+1 is composite: RES64: [0743EE0FF5CDB7BF] (482.9248s+0.8747s)
12*312^18890+1 is composite: RES64: [B9523C5117CCE7A9] (479.9892s+0.7966s)
12*312^18896+1 is composite: RES64: [6F4E65418E06C86A] (484.8686s+0.8747s)
12*312^18900+1 is composite: RES64: [B684ED9B757AD6FC] (484.2447s+0.8576s)
12*312^18902+1 is composite: RES64: [9E80627ECF9F2AD6] (491.2891s+0.9216s)
12*312^18903+1 is composite: RES64: [441F9601844799E0] (483.3064s+0.8902s)
12*312^18911+1 is composite: RES64: [BA262DD845893C10] (480.5017s+0.6324s)
12*312^18912+1 is composite: RES64: [DCFEB086247D51A6] (483.8976s+0.9079s)
12*312^18914+1 is composite: RES64: [190571BD78AFE9E5] (479.3633s+0.8550s)
12*312^18932+1 is composite: RES64: [FEDF1D63EE209762] (502.6265s+0.7341s)
12*312^18938+1 is composite: RES64: [A897147222C9CABC] (481.8593s+0.8200s)
12*312^18944+1 is composite: RES64: [8D4BA880DE6619A8] (479.1087s+0.8745s)
12*312^18966+1 is composite: RES64: [843EC2B5D5F2FDE4] (482.4634s+0.7494s)
12*312^18972+1 is composite: RES64: [FAB35D2840D6FE38] (479.0443s+0.8906s)
12*312^18980+1 is composite: RES64: [BEDE53100BD5A808] (480.3716s+0.7810s)
12*312^18987+1 is composite: RES64: [45A0592C5D6C81F8] (484.1192s+0.8435s)
12*312^18992+1 is composite: RES64: [EC0A8437071641D0] (481.0733s+1.0154s)
12*312^18995+1 is composite: RES64: [17D9818BDA3829C1] (484.6489s+0.7183s)
12*312^18999+1 is composite: RES64: [A1686B17F9C45A71] (483.7602s+0.8903s)
12*312^19004+1 is composite: RES64: [6F87879ACCDB1E0F] (478.4905s+0.6989s)
12*312^19014+1 is composite: RES64: [1A22BC685D4A5323] (486.7773s+0.9007s)
12*312^19020+1 is composite: RES64: [2F489C48FC1592E4] (481.8259s+0.6897s)
12*312^19028+1 is composite: RES64: [45CD1DA0653E5911] (478.9979s+0.8109s)
12*312^19031+1 is composite: RES64: [D020EB54D612147D] (481.5310s+0.8903s)
12*312^19032+1 is composite: RES64: [409D0A07CC52D8BA] (485.7441s+0.8888s)
12*312^19059+1 is composite: RES64: [E65DB1D1CCAD7A06] (481.5455s+1.0210s)
12*312^19068+1 is composite: RES64: [DEF7E107A487CF8A] (487.2088s+0.9226s)
12*312^19070+1 is composite: RES64: [63756984B0AA1EF7] (477.0150s+0.8396s)
12*312^19074+1 is composite: RES64: [1902AFA66FDCCA51] (485.4996s+0.7338s)
12*312^19083+1 is composite: RES64: [52366A13DDDF97D1] (485.5398s+0.7655s)
12*312^19094+1 is composite: RES64: [C70E61EBCABD8DDB] (485.9386s+0.8434s)
12*312^19103+1 is composite: RES64: [A52CC3EA2805F42A] (493.1047s+0.8280s)
12*312^19118+1 is composite: RES64: [F11BF342626D708D] (485.0229s+0.8388s)
12*312^19130+1 is composite: RES64: [346A59FBDA374E84] (482.4180s+0.7872s)
12*312^19131+1 is composite: RES64: [644201E2EC91F1B8] (490.7305s+0.7627s)
12*312^19134+1 is composite: RES64: [04323BBC89FF487D] (487.0217s+0.7340s)
12*312^19136+1 is composite: RES64: [BF01CDB5DD1C3FB9] (488.5614s+0.7809s)
12*312^19143+1 is composite: RES64: [1B2A022B4E3F1627] (483.7126s+0.7735s)
12*312^19151+1 is composite: RES64: [C3DEC8FD28EB08D3] (487.4384s+0.7963s)
12*312^19176+1 is composite: RES64: [844842A5FCFDD68F] (492.1075s+0.8435s)
12*312^19184+1 is composite: RES64: [EE05A915BE2D7248] (489.8015s+0.8122s)
12*312^19188+1 is composite: RES64: [6B8554C36AA65127] (492.1293s+0.9700s)
12*312^19190+1 is composite: RES64: [867D37B1817B11D0] (484.1527s+0.8538s)
12*312^19206+1 is composite: RES64: [A396559B8A4C0DBC] (490.7932s+0.6946s)
12*312^19208+1 is composite: RES64: [C72ACD1B78648FB9] (490.2454s+0.7812s)
12*312^19218+1 is composite: RES64: [0AD82F9CAD90F087] (489.2467s+0.8122s)
12*312^19226+1 is composite: RES64: [A46AC04F274CF849] (495.1469s+0.6493s)
12*312^19227+1 is composite: RES64: [D6A9193D37B49E51] (490.0549s+0.8590s)
12*312^19235+1 is composite: RES64: [CCC3FFAB4846E490] (486.9411s+0.9374s)
12*312^19236+1 is composite: RES64: [07248FEBB3C837AA] (491.4845s+0.7539s)
12*312^19242+1 is composite: RES64: [FCE2D51C2EA4E744] (494.1087s+0.8185s)
12*312^19263+1 is composite: RES64: [0629BFDB8DF38DFE] (492.4708s+0.7500s)
12*312^19295+1 is composite: RES64: [0A65774CC99E6F26] (489.4063s+0.7965s)
12*312^19298+1 is composite: RES64: [DC8D9F4D91AC2DF4] (492.1942s+0.8165s)
12*312^19302+1 is composite: RES64: [AACDBD0D75CECE90] (491.5854s+0.9528s)
12*312^19304+1 is composite: RES64: [B9565CC4362906F2] (489.1261s+0.9227s)
12*312^19328+1 is composite: RES64: [056696F17E72450E] (490.9683s+0.7653s)
12*312^19331+1 is composite: RES64: [E238827EAEFA84D3] (493.7227s+0.8746s)
12*312^19352+1 is composite: RES64: [293B171E0E665CA6] (489.4317s+0.8836s)
12*312^19355+1 is composite: RES64: [6865A456BEB421C9] (489.4066s+0.7967s)
12*312^19358+1 is composite: RES64: [811FA5D6FB5AEFE3] (495.5734s+0.7811s)
12*312^19370+1 is composite: RES64: [448F721D6A6DF38A] (498.9508s+0.7095s)
12*312^19392+1 is composite: RES64: [3E1EC0E72B9C988F] (498.0291s+0.8590s)
12*312^19395+1 is composite: RES64: [AAB9A4FD0AA7350B] (492.3660s+0.7209s)
12*312^19398+1 is composite: RES64: [F5D500E8CF2C071F] (495.3812s+0.9069s)
12*312^19403+1 is composite: RES64: [D4A01EB73FEF02EC] (494.0879s+0.8431s)
12*312^19404+1 is composite: RES64: [DBDC4F0F43D23658] (497.9747s+0.7564s)
12*312^19406+1 is composite: RES64: [1C216178880BB93E] (6255.4456s+0.9215s)
12*312^19410+1 is composite: RES64: [EAB5D27E72ACDE6C] (1589.2349s+2.3286s)
12*312^19428+1 is composite: RES64: [8C50D3CF2787C167] (2074.3684s+2.9776s)
12*312^19434+1 is composite: RES64: [72183CFFFAF567B7] (2424.0374s+3.2754s)
12*312^19440+1 is composite: RES64: [49F2B5898CF3BA21] (1710.3894s+2.3257s)
12*312^19442+1 is composite: RES64: [7B13D6AD21439FBA] (1746.4570s+2.4579s)
12*312^19448+1 is composite: RES64: [3FCA9E23E5FEB62C] (1733.4037s+2.5858s)
12*312^19451+1 is composite: RES64: [0CBD0C6E31C18CD1] (1581.4133s+2.6284s)
12*312^19479+1 is composite: RES64: [E3E85D0C8898E299] (1572.1635s+2.3953s)
12*312^19484+1 is composite: RES64: [74F7D9C1971996E2] (1573.5096s+2.3940s)
12*312^19499+1 is composite: RES64: [1ABE7B81DED532AC] (1561.0574s+2.2671s)
12*312^19508+1 is composite: RES64: [91020603A1DF7B20] (1781.4847s+2.4621s)
12*312^19514+1 is composite: RES64: [0924735D190C4F19] (1679.0425s+2.6897s)
12*312^19515+1 is composite: RES64: [83FEFB7C31D6AE74] (1607.4400s+3.1094s)
12*312^19518+1 is composite: RES64: [42F6D9A35DE711A9] (1615.1811s+3.2664s)
12*312^19524+1 is composite: RES64: [95C0E9E91A35D38B] (1603.2710s+3.1875s)
12*312^19542+1 is composite: RES64: [A8BED6825D8EEFC0] (1633.8998s+3.2500s)
12*312^19550+1 is composite: RES64: [C2882EB70EB2350A] (1611.6095s+3.3128s)
12*312^19551+1 is composite: RES64: [22A39F501403DF22] (1616.6709s+3.6878s)
12*312^19586+1 is composite: RES64: [A33187B47F2F4A94] (1611.3354s+3.4090s)
12*312^19598+1 is composite: RES64: [F147BEAB2E66C075] (1608.2992s+3.0319s)
12*312^19599+1 is composite: RES64: [EF86BA2027B6E2C9] (1616.7650s+3.1298s)
12*312^19608+1 is composite: RES64: [738CDFF79EDD9A2E] (1619.6251s+3.2005s)
12*312^19614+1 is composite: RES64: [C3259E79A3EC6CE7] (1632.2906s+3.5727s)
12*312^19616+1 is composite: RES64: [C52575EE318EBB6D] (1616.0185s+2.9675s)
12*312^19623+1 is composite: RES64: [C6C624584F2DB92F] (1629.5080s+3.4533s)
12*312^19643+1 is composite: RES64: [5AAF5639EE5A6230] (1618.0094s+3.1874s)
12*312^19644+1 is composite: RES64: [8D9183FA4259E419] (1652.2511s+2.9063s)
12*312^19646+1 is composite: RES64: [FF1497ED5B85CEB4] (1609.1778s+3.1558s)
12*312^19647+1 is composite: RES64: [E88E35B5ED0AE959] (1622.9446s+3.0297s)
12*312^19652+1 is composite: RES64: [CBA5A07A1870F914] (1617.8520s+3.0002s)
12*312^19656+1 is composite: RES64: [06A85B705D358690] (1647.3323s+2.6580s)
12*312^19671+1 is composite: RES64: [212F008E72422B3B] (1110.7794s+2.9674s)
12*312^19679+1 is composite: RES64: [B1E30F5EF7617B6A] (1094.1252s+3.2753s)
12*312^19688+1 is composite: RES64: [3E5F1551C8ABD29E] (1090.0430s+3.1248s)
12*312^19698+1 is composite: RES64: [56016AFF3DE9BECA] (1091.8176s+3.3148s)
12*312^19703+1 is composite: RES64: [524BD91580FCD8C4] (1144.5268s+2.9060s)
12*312^19707+1 is composite: RES64: [805F8BB9BD74DBF8] (1083.8789s+2.1715s)
12*312^19739+1 is composite: RES64: [8153A030405FEC2D] (1081.1655s+2.5610s)
12*312^19746+1 is composite: RES64: [C4296200C0198EF0] (1086.5075s+2.6781s)
12*312^19748+1 is composite: RES64: [C19557D9104FF4E9] (1082.7726s+2.0607s)
12*312^19754+1 is composite: RES64: [A51BF510330AF97F] (1086.8320s+2.9171s)
12*312^19755+1 is composite: RES64: [AB777586EF47997E] (1084.9080s+2.8010s)
12*312^19760+1 is composite: RES64: [465B60726CE7556E] (1065.6490s+2.1294s)
12*312^19764+1 is composite: RES64: [D67F2C6A8CE258DB] (1057.9603s+3.0824s)
12*312^19766+1 is composite: RES64: [A498A8DA6C58AA00] (1070.9570s+2.2718s)
12*312^19770+1 is composite: RES64: [5FF7F4C057387F9F] (1058.3180s+2.9202s)
12*312^19775+1 is composite: RES64: [FE70B3341F88440F] (1063.1732s+2.4276s)
12*312^19778+1 is composite: RES64: [CA7D6DDE9670D731] (1056.9748s+2.9420s)
12*312^19782+1 is composite: RES64: [F05392677EF9FF1A] (1120.7570s+3.2245s)
12*312^19808+1 is composite: RES64: [7D80D2B821F1FBC7] (1067.2058s+2.3337s)
12*312^19812+1 is composite: RES64: [A2BA419602B336A7] (1063.8166s+3.5994s)
12*312^19830+1 is composite: RES64: [C06862B60F1E2A37] (1067.6081s+3.0811s)
12*312^19839+1 is composite: RES64: [4B21A64653C15802] (1067.2876s+2.8193s)
12*312^19844+1 is composite: RES64: [337C7AA9A1DA9262] (1073.4433s+2.8967s)
12*312^19851+1 is composite: RES64: [986D65770607FF6E] (1057.0040s+2.9326s)
12*312^19859+1 is composite: RES64: [8E8B8E8834DA40B9] (1064.9756s+2.7024s)
12*312^19862+1 is composite: RES64: [6D997EC7CAD90C87] (1069.7206s+2.6056s)
12*312^19866+1 is composite: RES64: [C876E5CE3E765324] (1074.5004s+3.3046s)
12*312^19872+1 is composite: RES64: [9AC4A0913E6F5423] (1074.1344s+2.4905s)
12*312^19880+1 is composite: RES64: [B1C1DFF0E982DDBC] (1065.0914s+2.4613s)
12*312^19886+1 is composite: RES64: [70A450051746BCCB] (1071.6011s+3.1948s)
12*312^19887+1 is composite: RES64: [EC777EFFBC443ED7] (1064.2850s+2.8333s)
12*312^19908+1 is composite: RES64: [6DB9F2046CF3E020] (1069.2196s+2.3268s)
12*312^19911+1 is composite: RES64: [35DCA60213E3C553] (1066.7263s+3.1328s)
12*312^19931+1 is composite: RES64: [3871E0660867AC08] (1069.5534s+3.4128s)
12*312^19932+1 is composite: RES64: [263BC4AB818A1194] (1074.6962s+2.7084s)
12*312^19935+1 is composite: RES64: [44D99D4E8A482023] (1063.2555s+3.0369s)
12*312^19955+1 is composite: RES64: [5889CF25EA53C52B] (1079.4813s+3.0222s)
12*312^19958+1 is composite: RES64: [46AD4AFD9DBEA356] (1072.3930s+2.7870s)
12*312^19988+1 is composite: RES64: [743D25BC0A6253D3] (1079.0557s+2.7411s)
12*312^19992+1 is composite: RES64: [2842B6981B4AD503] (1075.3423s+3.0577s)
12*312^20018+1 is composite: RES64: [7D822907CB7A2127] (1071.0673s+2.8030s)
12*312^20027+1 is composite: RES64: [A2AAF35C4486AC18] (1084.3027s+2.7876s)
12*312^20036+1 is composite: RES64: [8AB1F0A566CC65F0] (1486.1381s+2.6618s)
12*312^20039+1 is composite: RES64: [FF98C43FB3116D7B] (1090.6462s+2.8947s)
12*312^20058+1 is composite: RES64: [1A21CB6EB10C120F] (1096.4812s+2.2378s)
12*312^20060+1 is composite: RES64: [C592E5A976862473] (1094.7026s+2.3790s)
12*312^20078+1 is composite: RES64: [5F23FF9B61FEA43A] (1092.6779s+2.3676s)
12*312^20090+1 is composite: RES64: [D6EF3CC7C62F9C29] (1095.1739s+2.5453s)
12*312^20099+1 is composite: RES64: [C1E92A230330E9ED] (1067.7593s+2.4568s)
12*312^20106+1 is composite: RES64: [05DD3A2DA0D6A13D] (1057.7934s+3.0419s)
12*312^20112+1 is composite: RES64: [C3F21C63A9903D96] (1058.8186s+2.5168s)
12*312^20156+1 is composite: RES64: [CD9C506060172454] (1066.0753s+2.8215s)
12*312^20160+1 is composite: RES64: [0CB24A1E0C89E242] (1108.5904s+7.5575s)
12*312^20163+1 is composite: RES64: [0465ACF8B88E84FB] (1101.0638s+2.3124s)
12*312^20172+1 is composite: RES64: [5BB04127EB4940A5] (1097.4545s+2.1118s)
12*312^20174+1 is composite: RES64: [50E35AAB28488BEC] (1100.1850s+2.1094s)
12*312^20175+1 is composite: RES64: [5BF0BB75786B1913] (1097.4532s+2.2957s)
12*312^20186+1 is composite: RES64: [36135CA71572E9B5] (1099.6485s+2.1804s)
12*312^20192+1 is composite: RES64: [606064FA689B54F1] (1087.1874s+2.6121s)
12*312^20195+1 is composite: RES64: [860025C84FDCCEDF] (1085.8553s+2.5780s)
12*312^20202+1 is composite: RES64: [A95438DEE9CE7A98] (1100.2501s+2.4462s)
12*312^20207+1 is composite: RES64: [CBDF253AD23BBD00] (1095.1736s+3.7085s)
12*312^20208+1 is composite: RES64: [F39EF0CAC7605E4F] (1101.4200s+2.4104s)
12*312^20210+1 is composite: RES64: [2374D45D5FABFF21] (1110.8351s+2.4204s)
12*312^20211+1 is composite: RES64: [79850EC391416736] (1103.0444s+2.1605s)
12*312^20235+1 is composite: RES64: [C99856F84A48262B] (1107.5525s+2.4622s)
12*312^20246+1 is composite: RES64: [A9185AC368808CF3] (1093.0996s+2.1462s)
12*312^20250+1 is composite: RES64: [AB43514E978C99EF] (1075.6368s+2.7138s)
12*312^20256+1 is composite: RES64: [18DBA85B229642FD] (1081.1746s+2.8442s)
12*312^20259+1 is composite: RES64: [E657788B96A70A07] (1179.6887s+2.8951s)
12*312^20264+1 is composite: RES64: [4CD52D0144CA0182] (1095.0657s+2.5164s)
12*312^20276+1 is composite: RES64: [19FD8C9C7B922E16] (1100.1455s+2.6588s)
12*312^20288+1 is composite: RES64: [CFFCE4A968434E2A] (1095.9869s+2.9529s)
12*312^20291+1 is composite: RES64: [E9C15C30EEB343BA] (1092.0857s+2.6851s)
12*312^20306+1 is composite: RES64: [97E3E55976A71B9D] (1091.4679s+2.6562s)
12*312^20310+1 is composite: RES64: [7A4AA5883DAD0EA0] (1142.5146s+2.5906s)
12*312^20315+1 is composite: RES64: [F57302173BE0EC28] (1119.4992s+2.3457s)
12*312^20316+1 is composite: RES64: [3CE48410B733189D] (1121.4792s+2.3623s)
12*312^20318+1 is composite: RES64: [6AB0E3EF79161EED] (1120.8574s+0.7379s)
12*312^20328+1 is composite: RES64: [3E7985E5A0E20F54] (1125.3060s+1.9131s)
12*312^20330+1 is composite: RES64: [85A029AD906D28F6] (1126.7538s+2.4124s)
12*312^20339+1 is composite: RES64: [0467CC9E339DEA9B] (1120.1466s+2.5055s)
12*312^20340+1 is composite: RES64: [80536AEE3CB59213] (1094.8245s+2.9209s)
12*312^20354+1 is composite: RES64: [F2A6061C0D482CBC] (1094.9932s+3.1722s)
12*312^20355+1 is composite: RES64: [CADE64E7F6904C71] (1091.3120s+3.1406s)
12*312^20358+1 is composite: RES64: [77EBB0594DD7B2BE] (1097.6708s+2.9222s)
12*312^20364+1 is composite: RES64: [49593B7970E9B9FE] (1103.2599s+3.2342s)
12*312^20376+1 is composite: RES64: [6FAC0FECE3F9A7B5] (1103.2631s+3.2812s)
12*312^20379+1 is composite: RES64: [B1150A1E9D93B100] (1106.1174s+2.6757s)
12*312^20384+1 is composite: RES64: [0864EA3DA5F2DF28] (1099.7443s+3.2031s)
12*312^20387+1 is composite: RES64: [E39042D37118CD0F] (1101.4453s+2.8126s)
12*312^20390+1 is composite: RES64: [055FC0A959913CB2] (1109.0052s+3.2031s)
12*312^20400+1 is composite: RES64: [1E632A425AE5917B] (1103.9390s+3.1094s)
12*312^20411+1 is composite: RES64: [F3E05E3C93090ED0] (1097.7013s+2.6404s)
12*312^20414+1 is composite: RES64: [C465AB68A6CFCD3D] (1104.5693s+2.7968s)
12*312^20418+1 is composite: RES64: [C35226F4BBD6DC36] (1106.1410s+3.3302s)
12*312^20426+1 is composite: RES64: [D60E0E6882961ECE] (1110.9327s+2.6249s)
12*312^20436+1 is composite: RES64: [9DED8FF3A992BEA1] (1107.4973s+3.0156s)
12*312^20466+1 is composite: RES64: [287D844138E3835E] (1111.1699s+3.7196s)
12*312^20487+1 is composite: RES64: [16AD360DED197FE5] (1104.1591s+2.8108s)
12*312^20496+1 is composite: RES64: [522E4F1421E8CA6E] (1105.9561s+3.1432s)
12*312^20498+1 is composite: RES64: [E61766A0B35A4D75] (1305.8845s+2.6939s)
12*312^20507+1 is composite: RES64: [8B1C4C5EDEEE98DC] (1110.6193s+3.6251s)
12*312^20520+1 is composite: RES64: [088B849F2CB84546] (1120.8278s+3.0007s)
12*312^20523+1 is composite: RES64: [5B2DA0C731A698CE] (1122.4114s+3.6430s)
12*312^20528+1 is composite: RES64: [2BF1EF4A47F5BE4C] (1116.6237s+3.3600s)
12*312^20538+1 is composite: RES64: [99553A63D5F62326] (1116.9034s+3.1875s)
12*312^20558+1 is composite: RES64: [9BEC0E8A84E77198] (1117.2982s+3.2654s)
12*312^20562+1 is composite: RES64: [170A76A063622E7F] (1119.5222s+3.0467s)
12*312^20576+1 is composite: RES64: [840A976299DC2DF3] (1121.1638s+2.6249s)
12*312^20582+1 is composite: RES64: [4949D2CE696817F7] (1122.1623s+3.5006s)
12*312^20615+1 is composite: RES64: [1EC76925BD8002B6] (1119.3905s+3.0152s)
12*312^20628+1 is composite: RES64: [9B847D549199104D] (1118.9808s+2.5624s)
12*312^20634+1 is composite: RES64: [D60757D9A9D44EB7] (1116.7116s+2.7560s)
12*312^20648+1 is composite: RES64: [304E59F930CF6FEE] (1122.5374s+2.5906s)
12*312^20651+1 is composite: RES64: [88798244825B0351] (1119.9567s+2.7351s)
12*312^20652+1 is composite: RES64: [BA47F59CCCD199B8] (1113.8991s+2.9071s)
12*312^20655+1 is composite: RES64: [97BF41EB73C3D96C] (1133.4238s+3.0944s)
12*312^20660+1 is composite: RES64: [F55632B5CCEBE790] (1128.5528s+3.1094s)
12*312^20666+1 is composite: RES64: [67ED5F81C85EC14D] (1104.5315s+3.2186s)
12*312^20688+1 is composite: RES64: [6F7AD7EDF8424CE5] (2022.2440s+1.9630s)
12*312^20690+1 is composite: RES64: [8043E533DA9EB1A6] (1153.9256s+2.4457s)
12*312^20699+1 is composite: RES64: [16CEA1E55881F152] (1169.1836s+2.4954s)
12*312^20736+1 is composite: RES64: [B704F5CF46C9C835] (1165.5230s+1.9465s)
12*312^20738+1 is composite: RES64: [E7CBCF7A9F7BF006] (1229.5328s+2.4288s)
12*312^20744+1 is composite: RES64: [BE2EB6452F811997] (1160.2150s+2.6118s)
12*312^20748+1 is composite: RES64: [6C976899FA8BA531] (1207.6021s+2.1630s)
12*312^20751+1 is composite: RES64: [3766121B3E37B5BD] (1142.1608s+2.3124s)
12*312^20759+1 is composite: RES64: [7F25A3BFEA0D4B16] (1123.4877s+3.3615s)
12*312^20768+1 is composite: RES64: [81F9E83D2BF2D839] (1131.1616s+2.6279s)
12*312^20780+1 is composite: RES64: [8BB685D1F21F5AE9] (1134.9528s+2.6562s)
12*312^20790+1 is composite: RES64: [7819376821EB0D5E] (1138.2668s+3.3440s)
12*312^20810+1 is composite: RES64: [3150A81CD2C7E089] (1138.9276s+2.8670s)
12*312^20828+1 is composite: RES64: [C0FDF97C1E068062] (1136.6749s+2.6994s)
12*312^20838+1 is composite: RES64: [04AF213E29B9AB06] (1141.1862s+2.9389s)
12*312^20846+1 is composite: RES64: [B6FE76A90BE7F4FC] (1137.5594s+3.2766s)
12*312^20847+1 is composite: RES64: [BEB770FB2DD8593A] (1136.2254s+3.0942s)
12*312^20852+1 is composite: RES64: [C2540B5540104B01] (1141.7866s+4.0949s)
12*312^20855+1 is composite: RES64: [994DD42E42B733B9] (1146.0125s+3.1876s)
12*312^20859+1 is composite: RES64: [3559544AFB21B58D] (1146.2532s+3.3288s)
12*312^20862+1 is composite: RES64: [0B1E22586DE953F2] (1148.3800s+3.2043s)
12*312^20879+1 is composite: RES64: [38E0087EA11A8616] (1146.2685s+6.0395s)
12*312^20882+1 is composite: RES64: [7C61ADE2BF8488CE] (1156.5204s+3.1678s)
12*312^20888+1 is composite: RES64: [44CFDEF31B8AC66F] (1155.5624s+2.7812s)
12*312^20894+1 is composite: RES64: [01FA296E2209CC91] (1151.0307s+3.0007s)
12*312^20895+1 is composite: RES64: [58FE139B2FE5140A] (1147.8517s+3.2187s)
12*312^20924+1 is composite: RES64: [3E936E37082CD587] (1148.7071s+2.7654s)
12*312^20928+1 is composite: RES64: [642E23C63336297B] (1154.1901s+3.3392s)
12*312^20936+1 is composite: RES64: [AFB5B7D6D3A744C1] (1154.2921s+3.0472s)
12*312^20940+1 is composite: RES64: [A8BE082F55D098EA] (1165.7348s+2.5937s)
12*312^20943+1 is composite: RES64: [25ED5E6DD026BB54] (1276.0886s+2.1626s)
12*312^20954+1 is composite: RES64: [E196DF8509608518] (1084.1761s+2.3291s)
12*312^20958+1 is composite: RES64: [BEB22CFFC3891E88] (1076.7940s+1.9290s)
12*312^20963+1 is composite: RES64: [ED7969D529698189] (1329.2844s+2.2897s)
12*312^20979+1 is composite: RES64: [809D568D6AF1A67D] (1122.9739s+2.5619s)
12*312^20988+1 is composite: RES64: [600EF2C8689D1F37] (1101.3398s+1.8941s)
12*312^21012+1 is composite: RES64: [8B9CEFF98C914B10] (1073.9579s+2.1325s)
12*312^21020+1 is composite: RES64: [C47245F9AAB4A885] (1105.5013s+2.0564s)
12*312^21032+1 is composite: RES64: [8BEDFD5F4E0389E4] (1098.1747s+1.9553s)
12*312^21086+1 is composite: RES64: [A0F77E2494B147C2] (1103.4113s+2.7250s)
12*312^21087+1 is composite: RES64: [EE947EFC1C4FCA65] (1105.8496s+2.1405s)
12*312^21096+1 is composite: RES64: [D037582E27B3FABB] (1093.1422s+1.8583s)
12*312^21116+1 is composite: RES64: [45F671CADC9F2C99] (1104.1280s+1.7582s)
12*312^21131+1 is composite: RES64: [616C0D63CD934FFB] (1092.5406s+1.9203s)
12*312^21134+1 is composite: RES64: [5EE726D316B98920] (1096.8204s+2.1455s)
12*312^21143+1 is composite: RES64: [DE36CBE13C7BD360] (1096.8825s+1.8593s)
12*312^21147+1 is composite: RES64: [3EF2B652F9B67959] (1091.8540s+2.3577s)
12*312^21152+1 is composite: RES64: [91A4CE4FAFA13E74] (1108.6331s+2.2116s)
12*312^21158+1 is composite: RES64: [64CBCCFBB9C558CB] (1097.1919s+2.3267s)
12*312^21162+1 is 3-PRP! (1089.1146s+2.2355s)
12*312^21171+1 is composite: RES64: [70D0A953685996BF] (1098.2678s+2.7650s)
12*312^21174+1 is composite: RES64: [6B9D272C8BF0FD26] (1093.3313s+2.0924s)
12*312^21179+1 is composite: RES64: [5359D48654285BC7] (1098.8182s+1.9313s)
12*312^21182+1 is composite: RES64: [FC45CFAE8FB87B70] (1093.2897s+2.2836s)
12*312^21192+1 is composite: RES64: [F52BEBCA2DBCF81E] (1095.9727s+1.8778s)
12*312^21200+1 is composite: RES64: [B40B23DBB521ED43] (1100.9974s+2.1133s)
12*312^21222+1 is composite: RES64: [B3157466B33B40F8] (1095.3651s+1.8262s)
12*312^21231+1 is composite: RES64: [05C456358280AFDF] (1101.4806s+2.0394s)
12*312^21234+1 is composite: RES64: [97BB04137EC4DCA5] (1099.8652s+2.0775s)
12*312^21248+1 is composite: RES64: [3958E93D948223D0] (1106.8624s+2.1115s)
12*312^21254+1 is composite: RES64: [07ED82977CB1C7B8] (1107.4433s+2.1715s)
12*312^21255+1 is composite: RES64: [218A94B57FBD4EAD] (1101.9601s+1.7829s)
12*312^21258+1 is composite: RES64: [640488D47ED345BA] (1101.0719s+2.1209s)
12*312^21260+1 is composite: RES64: [734802E3E7C9BE76] (1097.0436s+1.7542s)
12*312^21278+1 is composite: RES64: [04D4F898F307B013] (1100.4617s+2.1495s)
12*312^21296+1 is composite: RES64: [A32B1A524A4D8ADD] (1102.8201s+1.8813s)
12*312^21303+1 is composite: RES64: [896CEA83D81BE120] (1107.7213s+1.6248s)
12*312^21330+1 is composite: RES64: [53A951D9A7CBB051] (1103.7667s+2.1575s)
12*312^21336+1 is composite: RES64: [77411550835A6789] (1106.5862s+2.3797s)
12*312^21338+1 is composite: RES64: [FD9F9A4EBB572C8F] (1102.5946s+2.4728s)
12*312^21359+1 is composite: RES64: [CCAD6BB0AC3F2209] (1107.6161s+2.2947s)
12*312^21362+1 is composite: RES64: [DE6A6AF2FCC89295] (1102.2293s+2.0855s)
12*312^21374+1 is composite: RES64: [2FA8381BEC6E4D6D] (1083.0962s+2.5289s)
12*312^21380+1 is composite: RES64: [5C2E635118EF6626] (1034.9929s+1.5499s)
12*312^21392+1 is composite: RES64: [D88042ED478470D4] (1032.0952s+1.7603s)
12*312^21398+1 is composite: RES64: [2A8BF08C10E5CAAF] (1034.7426s+1.8683s)
12*312^21399+1 is composite: RES64: [5AECD2042A24080D] (1033.5306s+1.6992s)
12*312^21410+1 is composite: RES64: [465B7E1368638F45] (1046.6409s+1.9624s)
PRP: 12*312^21455+1 100000/177766
^C Handler Routine called, shutting down program