user=mdettweiler [2012-01-24 00:05:12] 955*2^1002579-1 is not prime. Res64: 0EB76EE34E8B9028 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:05:13] 833*2^1002580-1 is not prime. Res64: D3ADAD945EB033C0 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:07:37] 747*2^1002581-1 is not prime. Res64: 1C258A7F69B0B8CD Time : 0.0 sec. user=mdettweiler [2012-01-24 00:07:38] 801*2^1002581-1 is not prime. Res64: 4617D08089CB6D64 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:09:41] 939*2^1002580-1 is not prime. Res64: B60BB9F21BDF1FED Time : 0.0 sec. user=mdettweiler [2012-01-24 00:09:42] 651*2^1002581-1 is not prime. Res64: 7E8D9BDB2156ACFF Time : 0.0 sec. user=mdettweiler [2012-01-24 00:14:45] 899*2^1002576-1 is not prime. Res64: F49D4FB24781F693 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:14:46] 933*2^1002576-1 is not prime. Res64: 26681F6E1FDCD0A3 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:16:27] 927*2^1002581-1 is not prime. Res64: 867B50D732E61BB4 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:16:28] 957*2^1002581-1 is not prime. Res64: E082D5546D3C2F63 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:24:55] 755*2^1002582-1 is not prime. Res64: 6DA02446151E7B1D Time : 0.0 sec. user=mdettweiler [2012-01-24 00:24:56] 765*2^1002582-1 is not prime. Res64: 70E347438BC9D33B Time : 0.0 sec. user=mdettweiler [2012-01-24 00:27:24] 815*2^1002582-1 is not prime. Res64: 0BD5A59264FDB032 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:27:25] 673*2^1002583-1 is not prime. Res64: BD88CA0FFE9E2AEC Time : 0.0 sec. user=mdettweiler [2012-01-24 00:29:27] 679*2^1002583-1 is not prime. Res64: A9678A79029009D9 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:29:28] 745*2^1002583-1 is not prime. Res64: 8836437E3FFC88C6 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:36:08] 615*2^1002584-1 is not prime. Res64: 3D77A551ADF22CB7 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:36:09] 629*2^1002584-1 is not prime. Res64: 515825F6D6328D49 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:44:39] 743*2^1002584-1 is not prime. Res64: 12A7285FF2FCEE8C Time : 0.0 sec. user=mdettweiler [2012-01-24 00:44:39] 813*2^1002584-1 is not prime. Res64: 745AB5BF1CA80E62 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:47:08] 825*2^1002584-1 is not prime. Res64: 7950E26243BD11C7 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:47:08] 837*2^1002584-1 is not prime. Res64: BDE202A4E4B6B14F Time : 0.0 sec. user=mdettweiler [2012-01-24 00:49:11] 869*2^1002584-1 is not prime. Res64: 52D7B09FDE3ABAED Time : 0.0 sec. user=mdettweiler [2012-01-24 00:49:12] 607*2^1002585-1 is not prime. Res64: FDBCFF819E5DF9CA Time : 0.0 sec. user=mdettweiler [2012-01-24 00:52:12] 795*2^1002579-1 is not prime. Res64: ACF624CCE0001AAA Time : 0.0 sec. user=mdettweiler [2012-01-24 00:52:12] 913*2^1002579-1 is not prime. Res64: FA3520169D76C50C Time : 0.0 sec. user=mdettweiler [2012-01-24 00:55:51] 625*2^1002585-1 is not prime. Res64: 57712E473D26A0C2 Time : 0.0 sec. user=mdettweiler [2012-01-24 00:55:52] 709*2^1002585-1 is not prime. Res64: 91D6B861EB458421 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:04:22] 727*2^1002585-1 is not prime. Res64: FB17CDD509D30790 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:04:23] 787*2^1002585-1 is not prime. Res64: B7C5D21E92772343 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:11:13] 991*2^1002585-1 is not prime. Res64: F0F0C5F52ABDB4F8 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:11:14] 663*2^1002586-1 is not prime. Res64: C3578F4A24E74FE6 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:11:24] 921*2^1002585-1 is not prime. Res64: F3F8616AF0DD6E26 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:11:25] 949*2^1002585-1 is not prime. Res64: 68FDF4ED47A45A7D Time : 0.0 sec. user=mdettweiler [2012-01-24 01:15:39] 717*2^1002586-1 is not prime. Res64: 9C5351209910456E Time : 0.0 sec. user=mdettweiler [2012-01-24 01:15:39] 735*2^1002586-1 is not prime. Res64: FAFFE3E35AA6FEE0 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:16:58] 705*2^1002582-1 is not prime. Res64: C143D972559B470E Time : 0.0 sec. user=mdettweiler [2012-01-24 01:16:58] 725*2^1002582-1 is not prime. Res64: 561BFA5E803C1C15 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:24:08] 873*2^1002586-1 is not prime. Res64: 733D6D9D90447006 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:24:08] 631*2^1002587-1 is not prime. Res64: CE6D19CBF6EB75C7 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:31:00] 643*2^1002587-1 is not prime. Res64: FF04A9CFFE0D340C Time : 0.0 sec. user=mdettweiler [2012-01-24 01:31:00] 663*2^1002587-1 is not prime. Res64: 76B6CE2C4B87D9A9 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:31:07] 629*2^1002588-1 is not prime. Res64: 9B5556906B9C5999 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:31:07] 797*2^1002588-1 is not prime. Res64: D753BA9B2D0C6031 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:32:04] 775*2^1002583-1 is not prime. Res64: CE734038FF6C5BD1 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:32:05] 849*2^1002583-1 is not prime. Res64: 048550DA37D3A86A Time : 0.0 sec. user=mdettweiler [2012-01-24 01:37:38] 899*2^1002588-1 is not prime. Res64: 5884955DC7739A06 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:37:38] 947*2^1002588-1 is not prime. Res64: 56F5211685F884BC Time : 0.0 sec. user=mdettweiler [2012-01-24 01:43:51] 751*2^1002589-1 is not prime. Res64: FFB60C094C7DAF66 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:43:52] 811*2^1002589-1 is not prime. Res64: D1E34EB83864B78D Time : 0.0 sec. user=mdettweiler [2012-01-24 01:50:42] 819*2^1002589-1 is not prime. Res64: 14B759E0FFB9F92D Time : 0.0 sec. user=mdettweiler [2012-01-24 01:50:42] 885*2^1002589-1 is not prime. Res64: 71FF30CE73D05706 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:53:03] 895*2^1002589-1 is not prime. Res64: 1C5CFFBDE3AC53AE Time : 0.0 sec. user=mdettweiler [2012-01-24 01:53:03] 931*2^1002589-1 is not prime. Res64: 26B961AD7B3C23E8 Time : 0.0 sec. user=mdettweiler [2012-01-24 01:59:33] 861*2^1002590-1 is not prime. Res64: 32375D0410AA101B Time : 0.0 sec. user=mdettweiler [2012-01-24 01:59:34] 917*2^1002590-1 is not prime. Res64: F3BD46E88B346F05 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:03:31] 619*2^1002591-1 is not prime. Res64: B88DE1B7E19C13D6 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:03:31] 625*2^1002591-1 is not prime. Res64: 1587A8B76A0054EC Time : 0.0 sec. user=mdettweiler [2012-01-24 02:08:24] 675*2^1002586-1 is not prime. Res64: 1F9549F550BE530A Time : 0.0 sec. user=mdettweiler [2012-01-24 02:08:24] 701*2^1002586-1 is not prime. Res64: 411C06349E43D8AC Time : 0.0 sec. user=mdettweiler [2012-01-24 02:10:25] 643*2^1002591-1 is not prime. Res64: 130B18C2A695DFDF Time : 0.0 sec. user=mdettweiler [2012-01-24 02:10:28] 661*2^1002591-1 is not prime. Res64: 63932CCD94CB220F Time : 0.0 sec. user=mdettweiler [2012-01-24 02:12:50] 783*2^1002591-1 is not prime. Res64: 0C7BF89769710E1C Time : 0.0 sec. user=mdettweiler [2012-01-24 02:12:51] 871*2^1002591-1 is not prime. Res64: CFFB3CFDA22E42D0 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:23:17] 609*2^1002592-1 is not prime. Res64: D2C4C5B2088EFF90 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:23:17] 705*2^1002592-1 is not prime. Res64: DE34D9743F9CAF35 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:23:46] 933*2^1002591-1 is not prime. Res64: 5582398EA7A47212 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:23:47] 999*2^1002591-1 is not prime. Res64: 850CD7C8CECED55E Time : 0.0 sec. user=mdettweiler [2012-01-24 02:30:12] 869*2^1002592-1 is not prime. Res64: C4C7DA609B17227E Time : 0.0 sec. user=mdettweiler [2012-01-24 02:30:15] 899*2^1002592-1 is not prime. Res64: 2D3ADC67E3983A12 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:32:32] 721*2^1002593-1 is not prime. Res64: 454668FB077E7301 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:32:33] 727*2^1002593-1 is not prime. Res64: 8D6C0C7CAFE08BC1 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:33:12] 615*2^1002589-1 is not prime. Res64: BB18C7BB7D15B30E Time : 0.0 sec. user=mdettweiler [2012-01-24 02:33:13] 667*2^1002589-1 is not prime. Res64: 31788E23719EE2DF Time : 0.0 sec. user=mdettweiler [2012-01-24 02:43:29] 657*2^1002594-1 is not prime. Res64: DF1C1D2D9367D7F8 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:43:30] 747*2^1002594-1 is not prime. Res64: DD422032E88524F0 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:45:10] 871*2^1002593-1 is not prime. Res64: 2ADACD8B4F5B3E74 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:45:11] 951*2^1002593-1 is not prime. Res64: 4CFB14965320F46D Time : 0.0 sec. user=mdettweiler [2012-01-24 02:48:17] 741*2^1002590-1 is not prime. Res64: 55DD6E5398AD4E0F Time : 0.0 sec. user=mdettweiler [2012-01-24 02:48:17] 825*2^1002590-1 is not prime. Res64: 770362D54CDA3B70 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:49:57] 783*2^1002594-1 is not prime. Res64: C271137A90536A38 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:49:57] 875*2^1002594-1 is not prime. Res64: 002239992A6EA957 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:54:34] 905*2^1002594-1 is not prime. Res64: DCA3E97BB77CDF53 Time : 0.0 sec. user=mdettweiler [2012-01-24 02:54:34] 923*2^1002594-1 is not prime. Res64: 6F6129B6C18A0528 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:03:10] 741*2^1002595-1 is not prime. Res64: B0F160FFD0841AB9 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:03:11] 859*2^1002595-1 is not prime. Res64: 569C88C10BCC70C8 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:07:10] 969*2^1002595-1 is not prime. Res64: F8E740DDD97A7F0B Time : 0.0 sec. user=mdettweiler [2012-01-24 03:07:11] 669*2^1002596-1 is not prime. Res64: 8F8A39C2F021E02E Time : 0.0 sec. user=mdettweiler [2012-01-24 03:11:55] 843*2^1002596-1 is not prime. Res64: 2E499145EF643D51 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:11:58] 969*2^1002596-1 is not prime. Res64: 22BC907173152A66 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:14:27] 607*2^1002597-1 is not prime. Res64: 2CBBEC28021EDD49 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:14:28] 649*2^1002597-1 is not prime. Res64: EBD4B3DDF53EC130 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:23:14] 751*2^1002597-1 is not prime. Res64: 0A6831278037B14D Time : 0.0 sec. user=mdettweiler [2012-01-24 03:23:15] 795*2^1002597-1 is not prime. Res64: 5FF7C2F83AE57FE9 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:25:14] 797*2^1002592-1 is not prime. Res64: FBA4EA7959BF15ED Time : 0.0 sec. user=mdettweiler [2012-01-24 03:25:14] 803*2^1002592-1 is not prime. Res64: 4A3BB8C646A3A39F Time : 0.0 sec. user=mdettweiler [2012-01-24 03:27:16] 871*2^1002597-1 is not prime. Res64: 11C3C18DA2EDF045 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:27:17] 895*2^1002597-1 is not prime. Res64: F8D0701B02159949 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:32:07] 773*2^1002598-1 is not prime. Res64: 7D743D30F855A228 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:32:08] 815*2^1002598-1 is not prime. Res64: D649EBEE42D49CC4 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:34:17] 861*2^1002598-1 is not prime. Res64: B52FE43A5F3A3968 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:34:18] 867*2^1002598-1 is not prime. Res64: F193C893AE8A2472 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:47:29] 987*2^1002598-1 is not prime. Res64: EB658F704562BED4 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:47:30] 995*2^1002598-1 is not prime. Res64: D90FF4A9CE3136C0 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:50:10] 631*2^1002595-1 is not prime. Res64: 2345C32B0461A676 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:50:10] 651*2^1002595-1 is not prime. Res64: CEE68BC9F6161E9C Time : 0.0 sec. user=mdettweiler [2012-01-24 03:51:31] 985*2^1002599-1 is not prime. Res64: 1C40ED9C8ED63A2F Time : 0.0 sec. user=mdettweiler [2012-01-24 03:51:31] 991*2^1002599-1 is not prime. Res64: E5F5CA14CFC541FE Time : 0.0 sec. user=mdettweiler [2012-01-24 03:51:54] 635*2^1002600-1 is not prime. Res64: EBBB5DE81F27B813 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:51:55] 665*2^1002600-1 is not prime. Res64: 874563F458983196 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:54:04] 695*2^1002600-1 is not prime. Res64: 6869FB05B88A9F74 Time : 0.0 sec. user=mdettweiler [2012-01-24 03:54:05] 717*2^1002600-1 is not prime. Res64: F1AB5679561A39AE Time : 0.0 sec. user=mdettweiler [2012-01-24 04:04:57] 749*2^1002596-1 is not prime. Res64: 128E78E3F135813D Time : 0.0 sec. user=mdettweiler [2012-01-24 04:04:57] 773*2^1002596-1 is not prime. Res64: 40E6BBED4D3112EE Time : 0.0 sec. user=mdettweiler [2012-01-24 04:07:16] 789*2^1002600-1 is not prime. Res64: 21E4E00203843E31 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:07:16] 839*2^1002600-1 is not prime. Res64: CDD012D98F80B52F Time : 0.0 sec. user=mdettweiler [2012-01-24 04:11:16] 887*2^1002600-1 is not prime. Res64: 5187A25E81A8576F Time : 0.0 sec. user=mdettweiler [2012-01-24 04:11:16] 893*2^1002600-1 is not prime. Res64: 66F615BB25014E6E Time : 0.0 sec. user=mdettweiler [2012-01-24 04:13:57] 899*2^1002600-1 is not prime. Res64: 065028F7CC1A112A Time : 0.0 sec. user=mdettweiler [2012-01-24 04:13:57] 945*2^1002600-1 is not prime. Res64: 75A6DC36C9AFCAC5 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:18:18] 931*2^1002601-1 is not prime. Res64: EB64DE857C498C64 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:18:19] 997*2^1002601-1 is not prime. Res64: 13F1FE160E77241F Time : 0.0 sec. user=mdettweiler [2012-01-24 04:27:01] 755*2^1002602-1 is not prime. Res64: BE598DFF49125D4D Time : 0.0 sec. user=mdettweiler [2012-01-24 04:27:01] 843*2^1002602-1 is not prime. Res64: 7AED5DA07FC47BB0 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:30:59] 873*2^1002602-1 is not prime. Res64: A88FDE0F9BBDF34C Time : 0.0 sec. user=mdettweiler [2012-01-24 04:31:01] 893*2^1002602-1 is not prime. Res64: DF13B7C3788B8A63 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:33:43] 609*2^1002603-1 is not prime. Res64: 9DFB3FB1F348CF5E Time : 0.0 sec. user=mdettweiler [2012-01-24 04:33:44] 619*2^1002603-1 is not prime. Res64: E78A8225E386CB86 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:40:12] 901*2^1002603-1 is not prime. Res64: BB22E7CC9CA81A73 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:40:13] 919*2^1002603-1 is not prime. Res64: E1C08C0530BBE64C Time : 0.0 sec. user=mdettweiler [2012-01-24 04:41:34] 729*2^1002599-1 is not prime. Res64: D33C28FCF897EC7F Time : 0.0 sec. user=mdettweiler [2012-01-24 04:41:34] 885*2^1002599-1 is not prime. Res64: 7FFF1C06B6F10B37 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:49:04] 921*2^1002603-1 is not prime. Res64: 02892538B91326C2 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:49:04] 635*2^1002604-1 is not prime. Res64: FEB118DA680C7C0E Time : 0.0 sec. user=mdettweiler [2012-01-24 04:50:47] 693*2^1002604-1 is not prime. Res64: 786B14CD8AD7854A Time : 0.0 sec. user=mdettweiler [2012-01-24 04:50:48] 743*2^1002604-1 is not prime. Res64: 63B1CFC81789760B Time : 0.0 sec. user=mdettweiler [2012-01-24 04:53:29] 825*2^1002604-1 is not prime. Res64: E0A04C93049BF603 Time : 0.0 sec. user=mdettweiler [2012-01-24 04:53:30] 833*2^1002604-1 is not prime. Res64: 8F9507890AA69C58 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:02:11] 915*2^1002604-1 is not prime. Res64: 6C1B0D1F3FABE832 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:02:12] 989*2^1002604-1 is not prime. Res64: FB36A5FD62D4F4EA Time : 0.0 sec. user=mdettweiler [2012-01-24 05:06:41] 843*2^1002600-1 is not prime. Res64: 8CB2774937D25EC7 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:06:43] 845*2^1002600-1 is not prime. Res64: E9D52633CD586421 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:08:54] 847*2^1002605-1 is not prime. Res64: 108F71295EF63F2F Time : 0.0 sec. user=mdettweiler [2012-01-24 05:08:56] 859*2^1002605-1 is not prime. Res64: 4E4DD74D43D43869 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:12:47] 951*2^1002605-1 is not prime. Res64: 77D658C077C22FF2 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:12:48] 711*2^1002606-1 is not prime. Res64: 955EC33BD9A0D50D Time : 0.0 sec. user=mdettweiler [2012-01-24 05:13:13] 801*2^1002606-1 is not prime. Res64: 3C14289B8A2D09F9 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:13:13] 887*2^1002606-1 is not prime. Res64: E79243A86BF2EDEB Time : 0.0 sec. user=mdettweiler [2012-01-24 05:21:31] 635*2^1002602-1 is not prime. Res64: 01F04222928D7E68 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:21:31] 645*2^1002602-1 is not prime. Res64: E8FEDE9B423B245A Time : 0.0 sec. user=mdettweiler [2012-01-24 05:24:18] 917*2^1002606-1 is not prime. Res64: A1F50FC0C3807AE4 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:24:18] 685*2^1002607-1 is not prime. Res64: 3BBC282793A551CF Time : 0.0 sec. user=mdettweiler [2012-01-24 05:33:15] 919*2^1002607-1 is not prime. Res64: F732B0BD5A327EE5 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:33:16] 945*2^1002607-1 is not prime. Res64: 1CBEA23725AB74F0 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:35:17] 985*2^1002607-1 is not prime. Res64: 95C900CD73B8A51A Time : 0.0 sec. user=mdettweiler [2012-01-24 05:35:18] 669*2^1002608-1 is not prime. Res64: B1432AA9F14A31E1 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:37:00] 951*2^1002607-1 is not prime. Res64: AFFE47DA50DBB663 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:37:01] 975*2^1002607-1 is not prime. Res64: E02974511A803AD2 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:46:18] 797*2^1002608-1 is not prime. Res64: AF3FCDC7B0B358E7 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:46:18] 999*2^1002608-1 is not prime. Res64: A3D4EF8F0AF842CE Time : 0.0 sec. user=mdettweiler [2012-01-24 05:52:58] 691*2^1002609-1 is not prime. Res64: A1EB750E98A013C9 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:52:59] 705*2^1002609-1 is not prime. Res64: 54458382ABED7DC7 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:54:58] 735*2^1002609-1 is not prime. Res64: 8DBB68A5C9FF9FDA Time : 0.0 sec. user=mdettweiler [2012-01-24 05:54:59] 811*2^1002609-1 is not prime. Res64: AB4A6E9026E481E5 Time : 0.0 sec. user=mdettweiler [2012-01-24 05:56:39] 817*2^1002609-1 is not prime. Res64: 168794B8D6CEF43B Time : 0.0 sec. user=mdettweiler [2012-01-24 05:56:40] 867*2^1002609-1 is not prime. Res64: F31FFFA61AA5DB7C Time : 0.0 sec. user=mdettweiler [2012-01-24 06:06:08] 995*2^1002604-1 is not prime. Res64: 8FEDFFB1D8AA55CD Time : 0.0 sec. user=mdettweiler [2012-01-24 06:06:08] 831*2^1002605-1 is not prime. Res64: 79FC5F9BF15BF79E Time : 0.0 sec. user=mdettweiler [2012-01-24 06:08:22] 907*2^1002609-1 is not prime. Res64: A802EBA3558B35BF Time : 0.0 sec. user=mdettweiler [2012-01-24 06:08:23] 951*2^1002609-1 is not prime. Res64: B91DF78FB4E9ED90 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:17:18] 975*2^1002609-1 is not prime. Res64: 81E9EA906CDA3EB8 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:17:19] 917*2^1002610-1 is not prime. Res64: 8AA4865BCE3D45C8 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:18:45] 981*2^1002610-1 is not prime. Res64: F65784DC70FEAC50 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:18:45] 669*2^1002611-1 is not prime. Res64: 9F4F54936B9CE68B Time : 0.0 sec. user=mdettweiler [2012-01-24 06:19:20] 923*2^1002610-1 is not prime. Res64: A7B30274C7A57805 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:19:21] 945*2^1002610-1 is not prime. Res64: DC7767163317C4C1 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:22:49] 763*2^1002607-1 is not prime. Res64: 1C35A181888BEF54 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:22:49] 913*2^1002607-1 is not prime. Res64: 9A9FE52148187ADD Time : 0.0 sec. user=mdettweiler [2012-01-24 06:30:34] 859*2^1002611-1 is not prime. Res64: 9F4D9C588228FCA5 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:30:35] 955*2^1002611-1 is not prime. Res64: 29E5A03F683C6088 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:37:38] 743*2^1002608-1 is not prime. Res64: 4CDA318DC11C7EBC Time : 0.0 sec. user=mdettweiler [2012-01-24 06:37:38] 753*2^1002608-1 is not prime. Res64: 5991EBF816C93611 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:38:33] 635*2^1002612-1 is not prime. Res64: E6A8EE89BA643D17 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:38:34] 669*2^1002612-1 is not prime. Res64: 68286B9574CCF8AE Time : 0.0 sec. user=mdettweiler [2012-01-24 06:39:03] 695*2^1002612-1 is not prime. Res64: 741ABCE4C583AE00 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:39:04] 717*2^1002612-1 is not prime. Res64: 21ADE03D3BE458C6 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:39:16] 969*2^1002611-1 is not prime. Res64: F3B9A62A8FFBAD25 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:39:17] 609*2^1002612-1 is not prime. Res64: 802C89C1446E35B0 Time : 0.0 sec. user=mdettweiler [2012-01-24 06:50:18] 915*2^1002612-1 is not prime. Res64: 67A89FEA6D1B626A Time : 0.0 sec. user=mdettweiler [2012-01-24 06:50:18] 679*2^1002613-1 is not prime. Res64: 1129768CA40EFA8A Time : 0.0 sec. user=mdettweiler [2012-01-24 06:58:53] 657*2^1002614-1 is not prime. Res64: F88CEE601F47D05F Time : 0.0 sec. user=mdettweiler [2012-01-24 06:58:53] 741*2^1002614-1 is not prime. Res64: DF4215FB98AD6764 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:01:16] 797*2^1002614-1 is not prime. Res64: 70D56C1EAC6268ED Time : 0.0 sec. user=mdettweiler [2012-01-24 07:01:17] 923*2^1002614-1 is not prime. Res64: BEE75A891F3F6E42 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:02:47] 927*2^1002613-1 is not prime. Res64: 961206D7748C32DC Time : 0.0 sec. user=mdettweiler [2012-01-24 07:02:48] 999*2^1002613-1 is not prime. Res64: 1E5658BC523392FB Time : 0.0 sec. user=mdettweiler [2012-01-24 07:12:17] 1001*2^1002614-1 is not prime. Res64: 1CFD9FAB56D467C4 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:12:20] 735*2^1002615-1 is not prime. Res64: 0913956C30FA0B55 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:18:37] 751*2^1002615-1 is not prime. Res64: DA4A9987C4C6DD0D Time : 0.0 sec. user=mdettweiler [2012-01-24 07:18:38] 795*2^1002615-1 is not prime. Res64: 80A47FF680F83213 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:21:00] 861*2^1002615-1 is not prime. Res64: A3613DB02D16016C Time : 0.0 sec. user=mdettweiler [2012-01-24 07:21:01] 873*2^1002615-1 is not prime. Res64: E2DFC381262884AA Time : 0.0 sec. user=mdettweiler [2012-01-24 07:22:08] 759*2^1002611-1 is not prime. Res64: 5DAB2DF1C2215673 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:22:08] 829*2^1002611-1 is not prime. Res64: 99251194E72F337F Time : 0.0 sec. user=mdettweiler [2012-01-24 07:24:47] 909*2^1002615-1 is not prime. Res64: E281E93C7A558AFC Time : 0.0 sec. user=mdettweiler [2012-01-24 07:24:48] 969*2^1002615-1 is not prime. Res64: 7A88F484E0D4E48F Time : 0.0 sec. user=mdettweiler [2012-01-24 07:34:27] 979*2^1002615-1 is not prime. Res64: 466866C7F111319C Time : 0.0 sec. user=mdettweiler [2012-01-24 07:34:27] 609*2^1002616-1 is not prime. Res64: 48BD2B32200FFAE6 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:38:20] 617*2^1002616-1 is not prime. Res64: EA4B5FB09879565E Time : 0.0 sec. user=mdettweiler [2012-01-24 07:38:21] 719*2^1002616-1 is not prime. Res64: 6D14D0209DBDE5F9 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:38:43] 737*2^1002612-1 is not prime. Res64: F12AEB65B78DCB6C Time : 0.0 sec. user=mdettweiler [2012-01-24 07:38:44] 873*2^1002612-1 is not prime. Res64: 620AD6A8998F7086 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:42:54] 875*2^1002616-1 is not prime. Res64: 7D4EC3DD0D2431FD Time : 0.0 sec. user=mdettweiler [2012-01-24 07:42:55] 957*2^1002616-1 is not prime. Res64: 5C474368EA92C015 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:44:27] 651*2^1002617-1 is not prime. Res64: 220C1EF6ED797A69 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:44:27] 697*2^1002617-1 is not prime. Res64: 034B02064C913809 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:54:06] 727*2^1002617-1 is not prime. Res64: 058452935C4FBE41 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:54:07] 777*2^1002617-1 is not prime. Res64: BFAF02B307C886B2 Time : 0.0 sec. user=mdettweiler [2012-01-24 07:58:02] 837*2^1002617-1 is not prime. Res64: 0EB611F9A5A0D1CE Time : 0.0 sec. user=mdettweiler [2012-01-24 07:58:03] 861*2^1002617-1 is not prime. Res64: 86A06C1ABD2E8B20 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:02:35] 635*2^1002618-1 is not prime. Res64: 9024E5811EAE7732 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:02:36] 657*2^1002618-1 is not prime. Res64: EFCB32C7CCF0ECB5 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:04:06] 747*2^1002618-1 is not prime. Res64: 927657A04172118B Time : 0.0 sec. user=mdettweiler [2012-01-24 08:04:07] 797*2^1002618-1 is not prime. Res64: A3E4D4FC8CC6960A Time : 0.0 sec. user=mdettweiler [2012-01-24 08:16:03] 825*2^1002618-1 is not prime. Res64: EF5F69F8C658E0B5 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:16:04] 957*2^1002618-1 is not prime. Res64: 7F7F15BC5F9278ED Time : 0.0 sec. user=mdettweiler [2012-01-24 08:17:41] 633*2^1002619-1 is not prime. Res64: 9B51F4D7B0C7B595 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:17:41] 649*2^1002619-1 is not prime. Res64: 9E199D51EB7D1D24 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:22:16] 685*2^1002619-1 is not prime. Res64: 3E3257B8CF98AFA9 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:22:16] 723*2^1002619-1 is not prime. Res64: 5B1D7F0B69A34266 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:23:52] 885*2^1002619-1 is not prime. Res64: 878770471D9FB3AB Time : 0.0 sec. user=mdettweiler [2012-01-24 08:23:53] 665*2^1002620-1 is not prime. Res64: 909F66E65EFA1800 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:35:48] 699*2^1002620-1 is not prime. Res64: 1F828FE9191E8EB6 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:35:48] 773*2^1002620-1 is not prime. Res64: 64234B6C64B083F4 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:39:39] 909*2^1002620-1 is not prime. Res64: 2A0D5FF0EF4CA790 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:39:39] 977*2^1002620-1 is not prime. Res64: BADBF920C9C2D8CC Time : 0.0 sec. user=mdettweiler [2012-01-24 08:43:41] 679*2^1002621-1 is not prime. Res64: CEE797B9ADBCB577 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:43:41] 685*2^1002621-1 is not prime. Res64: 8D0555D45B0D693A Time : 0.0 sec. user=mdettweiler [2012-01-24 08:44:17] 999*2^1002620-1 is not prime. Res64: 7F8357026517BC00 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:44:17] 607*2^1002621-1 is not prime. Res64: D963D0A80056412D Time : 0.0 sec. user=mdettweiler [2012-01-24 08:55:35] 789*2^1002621-1 is not prime. Res64: D71377472463BF81 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:55:35] 889*2^1002621-1 is not prime. Res64: BA3E521686A16E3E Time : 0.0 sec. user=mdettweiler [2012-01-24 08:59:23] 867*2^1002622-1 is not prime. Res64: C228823463230D43 Time : 0.0 sec. user=mdettweiler [2012-01-24 08:59:24] 911*2^1002622-1 is not prime. Res64: 761CD577C18F0AA9 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:03:59] 619*2^1002623-1 is not prime. Res64: 581127BB3C7D3BAB Time : 0.0 sec. user=mdettweiler [2012-01-24 09:04:00] 721*2^1002623-1 is not prime. Res64: AA4835CE1FECD86D Time : 0.0 sec. user=mdettweiler [2012-01-24 09:05:42] 1001*2^1002622-1 is not prime. Res64: 0217507EFAC268AF Time : 0.0 sec. user=mdettweiler [2012-01-24 09:05:43] 615*2^1002623-1 is not prime. Res64: 25CCB957FD6F8913 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:15:16] 789*2^1002623-1 is not prime. Res64: B316AEA1EE7F77BA Time : 0.0 sec. user=mdettweiler [2012-01-24 09:15:16] 853*2^1002623-1 is not prime. Res64: 7C9FD07DC9850709 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:21:19] 985*2^1002623-1 is not prime. Res64: 9CCAC678CC77C641 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:21:20] 627*2^1002624-1 is not prime. Res64: D6EBDEFF882E03E0 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:23:45] 719*2^1002624-1 is not prime. Res64: 1F8F1FB3C81EF60D Time : 0.0 sec. user=mdettweiler [2012-01-24 09:23:46] 723*2^1002624-1 is not prime. Res64: 6476006910EC42DE Time : 0.0 sec. user=mdettweiler [2012-01-24 09:25:22] 725*2^1002624-1 is not prime. Res64: 4A1DC3B37AC90DF5 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:25:23] 747*2^1002624-1 is not prime. Res64: 657B79F74FDA76C3 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:34:59] 789*2^1002624-1 is not prime. Res64: 4349AF851319CEFE Time : 0.0 sec. user=mdettweiler [2012-01-24 09:34:59] 875*2^1002624-1 is not prime. Res64: BA20BD2B2CA429DD Time : 0.0 sec. user=mdettweiler [2012-01-24 09:41:03] 685*2^1002625-1 is not prime. Res64: 0EA0BD4A9909642D Time : 0.0 sec. user=mdettweiler [2012-01-24 09:41:03] 771*2^1002625-1 is not prime. Res64: 3AD767DF46944F8D Time : 0.0 sec. user=mdettweiler [2012-01-24 09:43:34] 847*2^1002625-1 is not prime. Res64: 931E2C7571608792 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:43:34] 855*2^1002625-1 is not prime. Res64: 16195DA90DE5A986 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:49:38] 939*2^1002625-1 is not prime. Res64: A3EE64863788BD36 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:49:38] 985*2^1002625-1 is not prime. Res64: 985CD02A9CE716C7 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:54:42] 623*2^1002626-1 is not prime. Res64: 27DB9E9124732933 Time : 0.0 sec. user=mdettweiler [2012-01-24 09:54:44] 641*2^1002626-1 is not prime. Res64: EE3A4B709639718B Time : 0.0 sec. user=mdettweiler [2012-01-24 10:00:43] 675*2^1002626-1 is not prime. Res64: CD9C9C57A7A0F0F7 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:00:45] 713*2^1002626-1 is not prime. Res64: CFCF87156CB9B37F Time : 0.0 sec. user=mdettweiler [2012-01-24 10:03:19] 735*2^1002626-1 is not prime. Res64: 29DA0041EF2784F0 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:03:19] 755*2^1002626-1 is not prime. Res64: 2081DCB8B58BD95B Time : 0.0 sec. user=mdettweiler [2012-01-24 10:09:22] 825*2^1002626-1 is not prime. Res64: 9C303EC72A803B5F Time : 0.0 sec. user=mdettweiler [2012-01-24 10:09:24] 887*2^1002626-1 is not prime. Res64: C839169B329D9B2A Time : 0.0 sec. user=mdettweiler [2012-01-24 10:16:41] 963*2^1002626-1 is not prime. Res64: A08AE15BAD337EC0 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:16:42] 639*2^1002627-1 is not prime. Res64: E9A8DDD069B6392F Time : 0.0 sec. user=mdettweiler [2012-01-24 10:20:24] 643*2^1002627-1 is not prime. Res64: A66C022375F74E27 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:20:24] 703*2^1002627-1 is not prime. Res64: 94EBB151946965C5 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:23:02] 775*2^1002627-1 is not prime. Res64: 3191F32C8E27714F Time : 0.0 sec. user=mdettweiler [2012-01-24 10:23:02] 805*2^1002627-1 is not prime. Res64: 7C9B2BDB58A41F9D Time : 0.0 sec. user=mdettweiler [2012-01-24 10:29:08] 825*2^1002627-1 is not prime. Res64: EA7D1CB7A24B5DDA Time : 0.0 sec. user=mdettweiler [2012-01-24 10:29:09] 829*2^1002627-1 is not prime. Res64: 5CDDC8E137349A6C Time : 0.0 sec. user=mdettweiler [2012-01-24 10:36:22] 885*2^1002627-1 is not prime. Res64: 9DDE810168BE9E02 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:36:22] 901*2^1002627-1 is not prime. Res64: 18F3611E122883BD Time : 0.0 sec. user=mdettweiler [2012-01-24 10:42:46] 689*2^1002628-1 is not prime. Res64: 9729E2DB1D7D4D5E Time : 0.0 sec. user=mdettweiler [2012-01-24 10:42:47] 743*2^1002628-1 is not prime. Res64: D5A4AA4569F8F340 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:44:35] 979*2^1002627-1 is not prime. Res64: DA751E852E8CA75F Time : 0.0 sec. user=mdettweiler [2012-01-24 10:44:35] 985*2^1002627-1 is not prime. Res64: C0A43C0E15F3923A Time : 0.0 sec. user=mdettweiler [2012-01-24 10:48:50] 797*2^1002628-1 is not prime. Res64: 1369B86F030FFE4A Time : 0.0 sec. user=mdettweiler [2012-01-24 10:48:50] 801*2^1002629-1 is not prime. Res64: 67587AB553B94D95 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:56:05] 611*2^1002630-1 is not prime. Res64: 0E81F81CB575E327 Time : 0.0 sec. user=mdettweiler [2012-01-24 10:56:05] 665*2^1002630-1 is not prime. Res64: E7FDF5785FC5EDE3 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:02:30] 791*2^1002630-1 is not prime. Res64: 1E9A64FEFDFDBCD6 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:02:32] 873*2^1002630-1 is not prime. Res64: 1825D42204AE7F90 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:06:34] 893*2^1002630-1 is not prime. Res64: 90C5883414E0B326 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:06:35] 921*2^1002630-1 is not prime. Res64: B7A03E8D2D781BBB Time : 0.0 sec. user=mdettweiler [2012-01-24 11:13:05] 923*2^1002630-1 is not prime. Res64: 42BA20A438CA7410 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:13:06] 941*2^1002630-1 is not prime. Res64: 61FFAFDAA6002FFD Time : 0.0 sec. user=mdettweiler [2012-01-24 11:15:48] 673*2^1002631-1 is not prime. Res64: 11C43C72E34E4A64 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:15:49] 681*2^1002631-1 is not prime. Res64: 3BFA7BF534EF6989 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:22:24] 709*2^1002631-1 is not prime. Res64: F31EEB025E70219D Time : 0.0 sec. user=mdettweiler [2012-01-24 11:22:24] 783*2^1002631-1 is not prime. Res64: E04B254C49EDFD2C Time : 0.0 sec. user=mdettweiler [2012-01-24 11:26:19] 793*2^1002631-1 is not prime. Res64: 44522E241FA03204 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:26:20] 805*2^1002631-1 is not prime. Res64: 7E836D2EF3084B70 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:32:54] 813*2^1002631-1 is not prime. Res64: C0A233AA529D855C Time : 0.0 sec. user=mdettweiler [2012-01-24 11:32:54] 873*2^1002631-1 is not prime. Res64: A6058D988CE367E4 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:35:30] 615*2^1002632-1 is not prime. Res64: 7DFBEE34582F7616 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:35:31] 633*2^1002632-1 is not prime. Res64: 384EE4184C037318 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:42:03] 669*2^1002632-1 is not prime. Res64: 2F9FCA9B023779A1 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:42:04] 683*2^1002632-1 is not prime. Res64: BA4287C3ED05BFA8 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:45:57] 689*2^1002632-1 is not prime. Res64: D3EE1AA481B7E22E Time : 0.0 sec. user=mdettweiler [2012-01-24 11:45:58] 735*2^1002632-1 is not prime. Res64: 5909EEC353955C98 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:52:36] 813*2^1002632-1 is not prime. Res64: FE777A209DD03526 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:52:37] 843*2^1002632-1 is not prime. Res64: 75CE0643D8600064 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:57:26] 855*2^1002632-1 is not prime. Res64: B78D95D1CB11B9A8 Time : 0.0 sec. user=mdettweiler [2012-01-24 11:57:27] 935*2^1002632-1 is not prime. Res64: 4F8D90D9C9206687 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:04:01] 977*2^1002632-1 is not prime. Res64: A1422C7B234D4FE2 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:04:02] 721*2^1002633-1 is not prime. Res64: 6AB7BACF49800D2F Time : 0.0 sec. user=mdettweiler [2012-01-24 12:05:45] 861*2^1002633-1 is not prime. Res64: 9FE5B3E466BA60CF Time : 0.0 sec. user=mdettweiler [2012-01-24 12:05:46] 871*2^1002633-1 is not prime. Res64: 7E0E62751B9C30AD Time : 0.0 sec. user=mdettweiler [2012-01-24 12:14:34] 889*2^1002633-1 is not prime. Res64: E655160E4C5A8A03 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:14:34] 937*2^1002633-1 is not prime. Res64: C897DEA8E6FF2BB4 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:19:24] 999*2^1002633-1 is not prime. Res64: F04908791F29EB24 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:19:24] 687*2^1002634-1 is not prime. Res64: E10F549AA602FAE1 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:25:35] 685*2^1002635-1 is not prime. Res64: 21D5CD87BB433BCC Time : 0.0 sec. user=mdettweiler [2012-01-24 12:25:36] 715*2^1002635-1 is not prime. Res64: 8C5209CD0F649F1B Time : 0.0 sec. user=mdettweiler [2012-01-24 12:26:02] 891*2^1002634-1 is not prime. Res64: D833F568A0B83E57 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:26:03] 915*2^1002634-1 is not prime. Res64: 04B71872A365F962 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:34:18] 741*2^1002635-1 is not prime. Res64: 8F4A242F602F5CDB Time : 0.0 sec. user=mdettweiler [2012-01-24 12:34:19] 823*2^1002635-1 is not prime. Res64: 08351510D0A34BC3 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:41:21] 981*2^1002635-1 is not prime. Res64: 62387D0AABB37DB2 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:41:22] 627*2^1002636-1 is not prime. Res64: 675D6C295E1BAD5C Time : 0.0 sec. user=mdettweiler [2012-01-24 12:45:44] 699*2^1002637-1 is not prime. Res64: 895F2EFE1837C814 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:45:45] 747*2^1002637-1 is not prime. Res64: 79FFD4565F56F8B7 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:47:28] 879*2^1002636-1 is not prime. Res64: 953239B1F6338377 Time : 0.0 sec. user=mdettweiler [2012-01-24 12:47:29] 969*2^1002636-1 is not prime. Res64: 0D39C29DDEC903AB Time : 0.0 sec. user=mdettweiler [2012-01-24 12:53:58] 829*2^1002637-1 is not prime. Res64: E219013BAADCDA6B Time : 0.0 sec. user=mdettweiler [2012-01-24 12:53:59] 831*2^1002637-1 is not prime. Res64: 3E552D0D17B8FA64 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:03:20] 755*2^1002638-1 is not prime. Res64: 84FF521DE2C70DD5 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:03:21] 987*2^1002638-1 is not prime. Res64: 0D8B7DC3F4854C9D Time : 0.0 sec. user=mdettweiler [2012-01-24 13:05:30] 675*2^1002639-1 is not prime. Res64: E1EB237A6588075E Time : 0.0 sec. user=mdettweiler [2012-01-24 13:05:31] 693*2^1002639-1 is not prime. Res64: 4DAA3ED886172B86 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:07:12] 705*2^1002639-1 is not prime. Res64: 4C94C3744DFC1650 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:07:13] 861*2^1002639-1 is not prime. Res64: C4D46DDDF5C916FA Time : 0.0 sec. user=mdettweiler [2012-01-24 13:18:16] 933*2^1002639-1 is not prime. Res64: 33DA74621A29EB9A Time : 0.0 sec. user=mdettweiler [2012-01-24 13:18:16] 975*2^1002639-1 is not prime. Res64: 1B0E3F51A9F3BFE6 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:25:13] 687*2^1002640-1 is not prime. Res64: D6C43096FC04B543 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:25:14] 717*2^1002640-1 is not prime. Res64: 1E8A2769032DF417 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:25:15] 985*2^1002639-1 is not prime. Res64: 1F22B0E327F5EA85 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:25:15] 603*2^1002640-1 is not prime. Res64: 3416D3ECF9B89E48 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:26:58] 759*2^1002640-1 is not prime. Res64: 1188B218CACD035F Time : 0.0 sec. user=mdettweiler [2012-01-24 13:26:58] 875*2^1002640-1 is not prime. Res64: DC96D13D36C3939F Time : 0.0 sec. user=mdettweiler [2012-01-24 13:38:00] 705*2^1002641-1 is not prime. Res64: 4506F5D6D54F6193 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:38:01] 741*2^1002641-1 is not prime. Res64: B7C28CE1BD8DFEA2 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:46:40] 731*2^1002642-1 is not prime. Res64: 262CC7A2B22724AC Time : 0.0 sec. user=mdettweiler [2012-01-24 13:46:41] 737*2^1002642-1 is not prime. Res64: 9DB9B9F57D697762 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:47:12] 885*2^1002641-1 is not prime. Res64: 7647A37410082EF0 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:47:13] 925*2^1002641-1 is not prime. Res64: 26E6DCB67D07D370 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:49:30] 955*2^1002641-1 is not prime. Res64: C470C1F78D864B3F Time : 0.0 sec. user=mdettweiler [2012-01-24 13:49:31] 967*2^1002641-1 is not prime. Res64: F4AFFC788C964FE3 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:57:48] 755*2^1002642-1 is not prime. Res64: 0B6CF57263D195F2 Time : 0.0 sec. user=mdettweiler [2012-01-24 13:57:49] 801*2^1002642-1 is not prime. Res64: 37C88BFE932B1229 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:06:58] 691*2^1002643-1 is not prime. Res64: E130AFF23B6156DA Time : 0.0 sec. user=mdettweiler [2012-01-24 14:07:00] 709*2^1002643-1 is not prime. Res64: C317677FEB473304 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:09:18] 819*2^1002643-1 is not prime. Res64: B3EEE4BAE938DE9D Time : 0.0 sec. user=mdettweiler [2012-01-24 14:09:19] 901*2^1002643-1 is not prime. Res64: 69EA391551C0845F Time : 0.0 sec. user=mdettweiler [2012-01-24 14:10:59] 917*2^1002642-1 is not prime. Res64: 7243B820DBCF0C15 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:11:00] 941*2^1002642-1 is not prime. Res64: 2C151BB9ADD21F63 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:19:49] 973*2^1002643-1 is not prime. Res64: 4A7975A4EF034C0E Time : 0.0 sec. user=mdettweiler [2012-01-24 14:19:50] 629*2^1002644-1 is not prime. Res64: 59A1A23DBB9175A0 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:26:43] 635*2^1002644-1 is not prime. Res64: 872F5A46A7809E9E Time : 0.0 sec. user=mdettweiler [2012-01-24 14:26:43] 743*2^1002644-1 is not prime. Res64: CAA2EA221F92C81E Time : 0.0 sec. user=mdettweiler [2012-01-24 14:29:01] 767*2^1002644-1 is not prime. Res64: 47BA1FC69319EEAB Time : 0.0 sec. user=mdettweiler [2012-01-24 14:29:02] 833*2^1002644-1 is not prime. Res64: 43F9036C9FD5678D Time : 0.0 sec. user=mdettweiler [2012-01-24 14:30:39] 897*2^1002644-1 is not prime. Res64: 95409F0CA322540E Time : 0.0 sec. user=mdettweiler [2012-01-24 14:30:40] 909*2^1002644-1 is not prime. Res64: DFE25812CFA90A7D Time : 0.0 sec. user=mdettweiler [2012-01-24 14:44:01] 957*2^1002644-1 is not prime. Res64: CA3B6E0950FEC503 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:44:02] 959*2^1002644-1 is not prime. Res64: 47B85900DA034C3E Time : 0.0 sec. user=mdettweiler [2012-01-24 14:46:26] 609*2^1002645-1 is not prime. Res64: 5EF91224E4CEAD3B Time : 0.0 sec. user=mdettweiler [2012-01-24 14:46:26] 667*2^1002645-1 is not prime. Res64: F4B3D6E03C31032D Time : 0.0 sec. user=mdettweiler [2012-01-24 14:48:42] 727*2^1002645-1 is not prime. Res64: 769CEDD5170575AF Time : 0.0 sec. user=mdettweiler [2012-01-24 14:48:43] 751*2^1002645-1 is not prime. Res64: 2F115F43EDABFE80 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:50:21] 765*2^1002645-1 is not prime. Res64: 5ECF3EAE8E554135 Time : 0.0 sec. user=mdettweiler [2012-01-24 14:50:22] 777*2^1002645-1 is not prime. Res64: 8DF0B509EA6A2885 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:03:43] 645*2^1002646-1 is not prime. Res64: E8A064D7BF5DFB79 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:03:43] 647*2^1002646-1 is not prime. Res64: 6B3AF1E67FC272F6 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:06:04] 663*2^1002646-1 is not prime. Res64: BCE93999D2D91CFB Time : 0.0 sec. user=mdettweiler [2012-01-24 15:06:06] 677*2^1002646-1 is not prime. Res64: 7D933F30706FF303 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:08:24] 737*2^1002646-1 is not prime. Res64: F75915426B1A8A1F Time : 0.0 sec. user=mdettweiler [2012-01-24 15:08:24] 777*2^1002646-1 is not prime. Res64: BC0B8FEF8D054ED2 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:10:01] 813*2^1002646-1 is not prime. Res64: 57EF1C16EB566D12 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:10:02] 815*2^1002646-1 is not prime. Res64: 458900E6254158AB Time : 0.0 sec. user=mdettweiler [2012-01-24 15:23:27] 825*2^1002646-1 is not prime. Res64: A935E70EF3D681DC Time : 0.0 sec. user=mdettweiler [2012-01-24 15:23:27] 861*2^1002646-1 is not prime. Res64: 853FA536AEB653AF Time : 0.0 sec. user=mdettweiler [2012-01-24 15:25:55] 601*2^1002647-1 is not prime. Res64: F8C2D1B769C94F97 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:25:55] 619*2^1002647-1 is not prime. Res64: FA5145E25A466A39 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:28:18] 669*2^1002647-1 is not prime. Res64: DF160B1F56AE7218 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:28:18] 735*2^1002647-1 is not prime. Res64: 482EDCDDCAB16E9E Time : 0.0 sec. user=mdettweiler [2012-01-24 15:30:00] 759*2^1002647-1 is not prime. Res64: F34D8EB05D566C59 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:30:00] 861*2^1002647-1 is not prime. Res64: 2F5ED5DAAB29C7BE Time : 0.0 sec. user=mdettweiler [2012-01-24 15:44:30] 883*2^1002647-1 is not prime. Res64: C0E0534438E2A6DF Time : 0.0 sec. user=mdettweiler [2012-01-24 15:44:30] 895*2^1002647-1 is not prime. Res64: 1993BB1CF5C4E0D5 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:51:12] 985*2^1002647-1 is not prime. Res64: 53AE1F2530BCEEDB Time : 0.0 sec. user=mdettweiler [2012-01-24 15:51:12] 737*2^1002648-1 is not prime. Res64: B3269D98FBC36E3E Time : 0.0 sec. user=mdettweiler [2012-01-24 15:51:12] 707*2^1002648-1 is not prime. Res64: E8764FE7E47A171F Time : 0.0 sec. user=mdettweiler [2012-01-24 15:51:12] 753*2^1002648-1 is not prime. Res64: 23FD4864E8FA02F2 Time : 0.0 sec. user=mdettweiler [2012-01-24 15:51:35] 939*2^1002647-1 is not prime. Res64: A04AD99138EA5ACE Time : 0.0 sec. user=mdettweiler [2012-01-24 15:51:35] 979*2^1002647-1 is not prime. Res64: D4CBD2FB9C698846 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:04:45] 773*2^1002648-1 is not prime. Res64: 64C68B284C5C6A36 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:04:47] 789*2^1002648-1 is not prime. Res64: 04DC64A770EAA4A1 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:11:48] 839*2^1002648-1 is not prime. Res64: 1E53654CF2246BEB Time : 0.0 sec. user=mdettweiler [2012-01-24 16:11:49] 875*2^1002648-1 is not prime. Res64: A28DAE28307D56A0 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:11:56] 687*2^1002649-1 is not prime. Res64: 9ACCE5A6C857DBA5 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:11:56] 769*2^1002649-1 is not prime. Res64: F92FFE00BC1AAFEF Time : 0.0 sec. user=mdettweiler [2012-01-24 16:13:59] 977*2^1002648-1 is not prime. Res64: 3862F8791AED9B35 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:14:01] 661*2^1002649-1 is not prime. Res64: 9B3349EAFD722F0C Time : 0.0 sec. user=mdettweiler [2012-01-24 16:28:12] 877*2^1002649-1 is not prime. Res64: D89504DCCED7BEC9 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:28:12] 931*2^1002649-1 is not prime. Res64: BA9049D2F2930F9A Time : 0.0 sec. user=mdettweiler [2012-01-24 16:32:44] 711*2^1002650-1 is not prime. Res64: 858F7F57CC783079 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:32:44] 785*2^1002650-1 is not prime. Res64: C13BA771654B002E Time : 0.0 sec. user=mdettweiler [2012-01-24 16:37:12] 825*2^1002650-1 is not prime. Res64: 9CE6E412FE15AE6E Time : 0.0 sec. user=mdettweiler [2012-01-24 16:37:13] 941*2^1002650-1 is not prime. Res64: 97BB45F3790B122E Time : 0.0 sec. user=mdettweiler [2012-01-24 16:37:23] 985*2^1002649-1 is not prime. Res64: 700497EA01AF11B8 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:37:23] 999*2^1002649-1 is not prime. Res64: 24FBF8BCDAA35B93 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:53:17] 643*2^1002651-1 is not prime. Res64: 59EB7B1BAF1CD069 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:53:17] 703*2^1002651-1 is not prime. Res64: 0CF7C6E0AB5DF0D2 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:53:31] 951*2^1002650-1 is not prime. Res64: 2583BFA51921005E Time : 0.0 sec. user=mdettweiler [2012-01-24 16:53:31] 987*2^1002650-1 is not prime. Res64: 6B093A767DCE3D28 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:57:48] 741*2^1002651-1 is not prime. Res64: 586784271A9E3B91 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:57:49] 783*2^1002651-1 is not prime. Res64: 6B0565E56AE89BE3 Time : 0.0 sec. user=mdettweiler [2012-01-24 16:57:55] 835*2^1002651-1 is not prime. Res64: FE382FB556B3289A Time : 0.0 sec. user=mdettweiler [2012-01-24 16:57:55] 861*2^1002651-1 is not prime. Res64: 20AC4572545E727A Time : 0.0 sec. user=mdettweiler [2012-01-24 17:13:54] 653*2^1002652-1 is not prime. Res64: 4BB3E389E8D53399 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:13:54] 675*2^1002652-1 is not prime. Res64: DB467BAE9A644054 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:18:06] 875*2^1002652-1 is not prime. Res64: 1563D8D1922BCA10 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:18:06] 675*2^1002653-1 is not prime. Res64: B99CE17ADD9C3F01 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:18:15] 943*2^1002651-1 is not prime. Res64: DA61DA054836C16A Time : 0.0 sec. user=mdettweiler [2012-01-24 17:18:15] 969*2^1002651-1 is not prime. Res64: 702E21267F783124 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:18:17] 679*2^1002653-1 is not prime. Res64: F329B117EB0E3874 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:18:17] 741*2^1002653-1 is not prime. Res64: 0806C2C2264E33E0 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:33:53] 745*2^1002653-1 is not prime. Res64: 1ACE2DEE2DD67FB8 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:33:53] 855*2^1002653-1 is not prime. Res64: 7B0B49F97FB50D4D Time : 0.0 sec. user=mdettweiler [2012-01-24 17:38:13] 695*2^1002654-1 is not prime. Res64: 3535F5FDFC895C91 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:38:13] 765*2^1002654-1 is not prime. Res64: 4BDB9D871C77E3CE Time : 0.0 sec. user=mdettweiler [2012-01-24 17:38:23] 821*2^1002654-1 is not prime. Res64: D12DAA8728C60D38 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:38:23] 833*2^1002654-1 is not prime. Res64: 147979CCC865CC4E Time : 0.0 sec. user=mdettweiler [2012-01-24 17:40:24] 957*2^1002653-1 is not prime. Res64: 9201CC6382539F3D Time : 0.0 sec. user=mdettweiler [2012-01-24 17:40:24] 627*2^1002654-1 is not prime. Res64: A6192E72540D424D Time : 0.0 sec. user=mdettweiler [2012-01-24 17:53:53] 873*2^1002654-1 is not prime. Res64: BFCB4068B01EB7C5 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:53:53] 881*2^1002654-1 is not prime. Res64: 96271D0AA20CF543 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:58:23] 625*2^1002655-1 is not prime. Res64: 8F24D618C05A4096 Time : 0.0 sec. user=mdettweiler [2012-01-24 17:58:23] 679*2^1002655-1 is not prime. Res64: 708120D6A4F46DD0 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:00:22] 759*2^1002655-1 is not prime. Res64: 5BE5F40046FBEF9B Time : 0.0 sec. user=mdettweiler [2012-01-24 18:00:22] 763*2^1002655-1 is not prime. Res64: 0CED0B94C94F916E Time : 0.0 sec. user=mdettweiler [2012-01-24 18:00:35] 945*2^1002654-1 is not prime. Res64: 978F91684C7BD395 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:00:36] 603*2^1002655-1 is not prime. Res64: 4F1025A12C8D4ECF Time : 0.0 sec. user=mdettweiler [2012-01-24 18:14:05] 841*2^1002655-1 is not prime. Res64: 78D37169DA9AAE3F Time : 0.0 sec. user=mdettweiler [2012-01-24 18:14:05] 759*2^1002656-1 is not prime. Res64: 1E474B099D454538 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:18:36] 777*2^1002656-1 is not prime. Res64: 63352B82D6CF7B51 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:18:36] 813*2^1002656-1 is not prime. Res64: 9BD43A58100C7F8B Time : 0.0 sec. user=mdettweiler [2012-01-24 18:20:25] 815*2^1002656-1 is not prime. Res64: 0A8AA5C8F17E3BD1 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:20:25] 843*2^1002656-1 is not prime. Res64: 02DDF2AB127A3794 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:21:02] 855*2^1002656-1 is not prime. Res64: B52069107BF220E5 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:21:02] 857*2^1002656-1 is not prime. Res64: 8882E629C7DEEC32 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:36:14] 999*2^1002656-1 is not prime. Res64: 6D4CDDF987024AB9 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:36:15] 649*2^1002657-1 is not prime. Res64: D7A5C694263B14CD Time : 0.0 sec. user=mdettweiler [2012-01-24 18:38:32] 651*2^1002657-1 is not prime. Res64: 77891A5900481BAC Time : 0.0 sec. user=mdettweiler [2012-01-24 18:38:33] 681*2^1002657-1 is not prime. Res64: 23DE2F4E10F4B082 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:40:16] 759*2^1002657-1 is not prime. Res64: C4326B0C85781BE9 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:40:16] 777*2^1002657-1 is not prime. Res64: 87BCB07C9D608CE9 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:43:14] 805*2^1002657-1 is not prime. Res64: BD939C6683709849 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:43:15] 979*2^1002657-1 is not prime. Res64: BEF79E74A14F2294 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:56:06] 605*2^1002658-1 is not prime. Res64: BACBB21870379492 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:56:08] 621*2^1002658-1 is not prime. Res64: 1E65D507993649B9 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:58:25] 623*2^1002658-1 is not prime. Res64: 47ADE868CD78F052 Time : 0.0 sec. user=mdettweiler [2012-01-24 18:58:25] 665*2^1002658-1 is not prime. Res64: 089400E3837AC5B1 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:00:11] 821*2^1002658-1 is not prime. Res64: 03B2D82F88DB8FFD Time : 0.0 sec. user=mdettweiler [2012-01-24 19:00:13] 867*2^1002658-1 is not prime. Res64: 244820F9F3268395 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:03:05] 885*2^1002658-1 is not prime. Res64: CB5C589E216DA5F2 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:03:06] 693*2^1002659-1 is not prime. Res64: 21A7379E58887C78 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:16:04] 629*2^1002660-1 is not prime. Res64: CCB4376442C39B8A Time : 0.0 sec. user=mdettweiler [2012-01-24 19:16:05] 647*2^1002660-1 is not prime. Res64: D0EB94C26D8161C5 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:18:23] 723*2^1002660-1 is not prime. Res64: D41009E1678BAECA Time : 0.0 sec. user=mdettweiler [2012-01-24 19:18:23] 767*2^1002660-1 is not prime. Res64: 9759D60FE9EB289A Time : 0.0 sec. user=mdettweiler [2012-01-24 19:20:05] 779*2^1002660-1 is not prime. Res64: 980F1F59B905B19B Time : 0.0 sec. user=mdettweiler [2012-01-24 19:20:06] 845*2^1002660-1 is not prime. Res64: AD205189D8D58939 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:23:07] 873*2^1002660-1 is not prime. Res64: 92B63D5C3FE67C27 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:23:08] 879*2^1002660-1 is not prime. Res64: EE8A48769C4B3574 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:38:30] 687*2^1002661-1 is not prime. Res64: FB7903431FC87D3C Time : 0.0 sec. user=mdettweiler [2012-01-24 19:38:31] 789*2^1002661-1 is not prime. Res64: 2C403A86D4ADFD14 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:38:44] 965*2^1002660-1 is not prime. Res64: F7966ECC7D76113A Time : 0.0 sec. user=mdettweiler [2012-01-24 19:38:44] 615*2^1002661-1 is not prime. Res64: F8E2529918BD171C Time : 0.0 sec. user=mdettweiler [2012-01-24 19:40:07] 811*2^1002661-1 is not prime. Res64: A2F7E08465A665D4 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:40:07] 825*2^1002661-1 is not prime. Res64: 3739906408468552 Time : 0.0 sec. user=mdettweiler [2012-01-24 19:43:25] 835*2^1002661-1 is not prime. Res64: 17A8E69C76205ADB Time : 0.0 sec. user=mdettweiler [2012-01-24 19:43:25] 855*2^1002661-1 is not prime. Res64: 7EB3B7769EC312B0 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:00:56] 861*2^1002661-1 is not prime. Res64: 145A9B2E71034E69 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:00:58] 951*2^1002661-1 is not prime. Res64: 50A7B5285D150A37 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:01:08] 997*2^1002661-1 is not prime. Res64: E794CE4D06ABFCE7 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:01:08] 857*2^1002662-1 is not prime. Res64: 7C3401E868128257 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:03:31] 639*2^1002663-1 is not prime. Res64: D65EDCA56598298A Time : 0.0 sec. user=mdettweiler [2012-01-24 20:03:32] 709*2^1002663-1 is not prime. Res64: 46FC73FD874FAB88 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:04:45] 981*2^1002662-1 is not prime. Res64: 768AB17517690A66 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:04:46] 983*2^1002662-1 is not prime. Res64: 240C962D7A9C654F Time : 0.0 sec. user=mdettweiler [2012-01-24 20:20:59] 793*2^1002663-1 is not prime. Res64: F65491EE848C5D63 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:21:00] 861*2^1002663-1 is not prime. Res64: F25DB5E2AD1C8599 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:21:02] 879*2^1002663-1 is not prime. Res64: 772D08C1AFEE48A7 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:21:03] 913*2^1002663-1 is not prime. Res64: 399B8F8A47BFF7B0 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:23:30] 999*2^1002616-1 is not prime. Res64: 602B11A46F45F030 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:23:30] 649*2^1002617-1 is not prime. Res64: 769ED62D2904926E Time : 0.0 sec. user=mdettweiler [2012-01-24 20:23:43] 741*2^1002613-1 is not prime. Res64: AB3B1DACEEA377C7 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:23:43] 747*2^1002613-1 is not prime. Res64: A0C444F227555824 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:24:02] 909*2^1002617-1 is not prime. Res64: F11997DAF29B1C7A Time : 0.0 sec. user=mdettweiler [2012-01-24 20:24:03] 991*2^1002617-1 is not prime. Res64: 0FB51C4F960BCC8B Time : 0.0 sec. user=mdettweiler [2012-01-24 20:27:09] 991*2^1002663-1 is not prime. Res64: 5C3D9B249029EBB5 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:27:09] 869*2^1002664-1 is not prime. Res64: 9AB765ED5424989C Time : 0.0 sec. user=mdettweiler [2012-01-24 20:27:57] 943*2^1002663-1 is not prime. Res64: B7DF6D71CFFEC034 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:27:57] 963*2^1002663-1 is not prime. Res64: A52C8D375979E5F1 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:40:48] 735*2^1002665-1 is not prime. Res64: 7494140B4968EDAD Time : 0.0 sec. user=mdettweiler [2012-01-24 20:40:49] 867*2^1002665-1 is not prime. Res64: DAA30F0BB78F9B4D Time : 0.0 sec. user=mdettweiler [2012-01-24 20:43:12] 939*2^1002665-1 is not prime. Res64: 6D61D041B053B81C Time : 0.0 sec. user=mdettweiler [2012-01-24 20:43:12] 633*2^1002666-1 is not prime. Res64: 9921886D83947DCD Time : 0.0 sec. user=mdettweiler [2012-01-24 20:46:59] 649*2^1002667-1 is not prime. Res64: 182AA3CCD3DCFA3F Time : 0.0 sec. user=mdettweiler [2012-01-24 20:47:00] 775*2^1002667-1 is not prime. Res64: 3DCD7BEAB13CAD8F Time : 0.0 sec. user=mdettweiler [2012-01-24 20:49:58] 889*2^1002667-1 is not prime. Res64: AC22C590656EE069 Time : 0.0 sec. user=mdettweiler [2012-01-24 20:49:58] 919*2^1002667-1 is not prime. Res64: 0AFDC17DA1870B8A Time : 0.0 sec. user=mdettweiler [2012-01-24 21:05:08] 931*2^1002667-1 is not prime. Res64: 72D57EE34A5AD867 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:05:10] 945*2^1002667-1 is not prime. Res64: 1BFF362109F79076 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:05:14] 985*2^1002667-1 is not prime. Res64: FA1C623F83A073A7 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:05:17] 603*2^1002668-1 is not prime. Res64: 769B317A38ECA8D7 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:06:43] 657*2^1002668-1 is not prime. Res64: 33F3E26942F829F0 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:06:44] 687*2^1002668-1 is not prime. Res64: 3A92C0B3080C9A80 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:09:42] 839*2^1002668-1 is not prime. Res64: 203F3960C3496AE7 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:09:44] 845*2^1002668-1 is not prime. Res64: 52788D29314901F0 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:25:05] 601*2^1002669-1 is not prime. Res64: 1CC9F2937A2FEFE4 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:25:06] 621*2^1002669-1 is not prime. Res64: 861E6FAAAC09648A Time : 0.0 sec. user=mdettweiler [2012-01-24 21:26:35] 781*2^1002669-1 is not prime. Res64: F7614D5FF92F9FB7 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:26:36] 877*2^1002669-1 is not prime. Res64: E8FAF1678E4D0DFC Time : 0.0 sec. user=mdettweiler [2012-01-24 21:29:27] 969*2^1002668-1 is not prime. Res64: 9C666F17B926F3BF Time : 0.0 sec. user=mdettweiler [2012-01-24 21:29:28] 999*2^1002668-1 is not prime. Res64: 52780147042CEECA Time : 0.0 sec. user=mdettweiler [2012-01-24 21:31:48] 907*2^1002669-1 is not prime. Res64: 3F938386C5EFEC9C Time : 0.0 sec. user=mdettweiler [2012-01-24 21:31:49] 985*2^1002669-1 is not prime. Res64: FF5F8D52B812C90F Time : 0.0 sec. user=mdettweiler [2012-01-24 21:44:47] 603*2^1002670-1 is not prime. Res64: 391660143B9E2C54 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:44:47] 663*2^1002670-1 is not prime. Res64: C7EBB070449F9131 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:46:17] 755*2^1002670-1 is not prime. Res64: 27049E0814B4678F Time : 0.0 sec. user=mdettweiler [2012-01-24 21:46:17] 765*2^1002670-1 is not prime. Res64: BD17364CE28ADBEF Time : 0.0 sec. user=mdettweiler [2012-01-24 21:49:10] 813*2^1002670-1 is not prime. Res64: 86C8D3D820CFCC0D Time : 0.0 sec. user=mdettweiler [2012-01-24 21:49:11] 845*2^1002670-1 is not prime. Res64: 34C76B6EC1B24EA1 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:51:29] 661*2^1002671-1 is not prime. Res64: 860E389D250CEF28 Time : 0.0 sec. user=mdettweiler [2012-01-24 21:51:30] 703*2^1002671-1 is not prime. Res64: 4C84D7110997EA93 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:04:31] 841*2^1002671-1 is not prime. Res64: 080BF18293E43822 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:04:32] 859*2^1002671-1 is not prime. Res64: 786FBABB3B3072FE Time : 0.0 sec. user=mdettweiler [2012-01-24 22:08:16] 885*2^1002671-1 is not prime. Res64: AFABD94702788F8B Time : 0.0 sec. user=mdettweiler [2012-01-24 22:08:17] 993*2^1002671-1 is not prime. Res64: 0377CFCF05B82895 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:08:56] 623*2^1002672-1 is not prime. Res64: 8E81B1C6A54E63CA Time : 0.0 sec. user=mdettweiler [2012-01-24 22:08:57] 639*2^1002672-1 is not prime. Res64: E6B78EB93815B9A9 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:11:14] 669*2^1002672-1 is not prime. Res64: 50AF62930D2171F4 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:11:15] 689*2^1002672-1 is not prime. Res64: 9C8B1A4EEF83EEE6 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:24:15] 695*2^1002672-1 is not prime. Res64: 3CEB11F987C2E23D Time : 0.0 sec. user=mdettweiler [2012-01-24 22:24:16] 699*2^1002672-1 is not prime. Res64: 7AC42E0508A02C50 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:28:09] 717*2^1002672-1 is not prime. Res64: 8A39113B6169985E Time : 0.0 sec. user=mdettweiler [2012-01-24 22:28:09] 803*2^1002672-1 is not prime. Res64: 7FAEB8A73401EB46 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:28:50] 879*2^1002672-1 is not prime. Res64: 096010DB6A21E183 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:28:51] 609*2^1002673-1 is not prime. Res64: 0B2D612737062775 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:31:05] 715*2^1002673-1 is not prime. Res64: F448B2D58657F08C Time : 0.0 sec. user=mdettweiler [2012-01-24 22:31:06] 775*2^1002673-1 is not prime. Res64: 9965E745C46BCF26 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:46:36] 855*2^1002673-1 is not prime. Res64: 10C8A55A53DEA526 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:46:36] 939*2^1002673-1 is not prime. Res64: C2FE26625DF00360 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:48:16] 635*2^1002674-1 is not prime. Res64: 5279429B771634AA Time : 0.0 sec. user=mdettweiler [2012-01-24 22:48:16] 645*2^1002674-1 is not prime. Res64: AECE48B1066B84C7 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:48:54] 741*2^1002674-1 is not prime. Res64: 4C0F5753F2392D6B Time : 0.0 sec. user=mdettweiler [2012-01-24 22:48:55] 773*2^1002674-1 is not prime. Res64: DAEBCA32078E12B4 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:51:09] 791*2^1002674-1 is not prime. Res64: 0DAAA1A7EFD69699 Time : 0.0 sec. user=mdettweiler [2012-01-24 22:51:09] 827*2^1002674-1 is not prime. Res64: F1269860B866753E Time : 0.0 sec. user=mdettweiler [2012-01-24 23:09:02] 619*2^1002675-1 is not prime. Res64: A13D8FB3804B8839 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:09:04] 669*2^1002675-1 is not prime. Res64: 1F55925AC54668FB Time : 0.0 sec. user=mdettweiler [2012-01-24 23:11:16] 709*2^1002675-1 is not prime. Res64: CDEE187C58BA280B Time : 0.0 sec. user=mdettweiler [2012-01-24 23:11:17] 819*2^1002675-1 is not prime. Res64: FECE51DEFCA030D0 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:11:32] 921*2^1002674-1 is not prime. Res64: 6B6FF533F507B4A5 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:11:32] 923*2^1002674-1 is not prime. Res64: B636471DFE83305E Time : 0.0 sec. user=mdettweiler [2012-01-24 23:13:09] 941*2^1002674-1 is not prime. Res64: 5235FE06C858EB6A Time : 0.0 sec. user=mdettweiler [2012-01-24 23:13:10] 983*2^1002674-1 is not prime. Res64: A22DFD308895AD32 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:31:38] 853*2^1002675-1 is not prime. Res64: 7071D6EA53B8FADF Time : 0.0 sec. user=mdettweiler [2012-01-24 23:31:38] 961*2^1002675-1 is not prime. Res64: E8E06D5D1363E591 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:31:53] 693*2^1002676-1 is not prime. Res64: 8C674DB4FF27F651 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:31:53] 707*2^1002676-1 is not prime. Res64: 9708C0AD21E0D517 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:33:18] 773*2^1002676-1 is not prime. Res64: F395315F62FA881F Time : 0.0 sec. user=mdettweiler [2012-01-24 23:33:18] 607*2^1002677-1 is not prime. Res64: DDE0ADCCC844B04B Time : 0.0 sec. user=mdettweiler [2012-01-24 23:33:43] 991*2^1002675-1 is not prime. Res64: 82659A1948B79AB9 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:33:44] 647*2^1002676-1 is not prime. Res64: 2A5E73523E9E725C Time : 0.0 sec. user=mdettweiler [2012-01-24 23:51:48] 735*2^1002677-1 is not prime. Res64: 3B75EBF2692EBE2E Time : 0.0 sec. user=mdettweiler [2012-01-24 23:51:48] 769*2^1002677-1 is not prime. Res64: 03463597C10B7BE5 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:53:35] 705*2^1002678-1 is not prime. Res64: F053A050010EE3B1 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:53:35] 725*2^1002678-1 is not prime. Res64: 8451E5DD4E64FB66 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:54:01] 755*2^1002678-1 is not prime. Res64: CB6C2BCA78DEC0E7 Time : 0.0 sec. user=mdettweiler [2012-01-24 23:54:01] 765*2^1002678-1 is not prime. Res64: E7F70E396CEB594F Time : 0.0 sec. user=mdettweiler [2012-01-24 23:54:36] 889*2^1002677-1 is not prime. Res64: 687F279076EC7F8F Time : 0.0 sec. user=mdettweiler [2012-01-24 23:54:36] 981*2^1002677-1 is not prime. Res64: E7D9CEAD3CC754EE Time : 0.0 sec.