user=vaughan [2013-02-03 00:02:01] 945*2^1240434-1 is not prime. Res64: 5FB8F485296B9105 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:02:51] 961*2^1240435-1 is not prime. Res64: 5F5FEEEC91A0B7EB Time : 0.0 sec. user=mdettweiler [2013-02-03 00:02:52] 617*2^1240436-1 is not prime. Res64: 0734E1665FC57BCE Time : 0.0 sec. user=mdettweiler [2013-02-03 00:02:53] 609*2^1240436-1 is not prime. Res64: 7072E9E2386B4D39 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:02:53] 759*2^1240436-1 is not prime. Res64: 1BE62F50A78885D3 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:20:22] 833*2^1240436-1 is not prime. Res64: DCD1DB559F541B86 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:20:23] 843*2^1240436-1 is not prime. Res64: 41361062E3D8FAC0 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:20:24] 935*2^1240436-1 is not prime. Res64: D696C9AE1C4CA3DE Time : 0.0 sec. user=mdettweiler [2013-02-03 00:20:24] 987*2^1240436-1 is not prime. Res64: 3F66D01EA293265F Time : 0.0 sec. user=mdettweiler [2013-02-03 00:37:52] 621*2^1240437-1 is not prime. Res64: AB6D05B9B4D2047F Time : 0.0 sec. user=mdettweiler [2013-02-03 00:37:53] 817*2^1240437-1 is not prime. Res64: CEB3B107B25B73D9 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:37:53] 651*2^1240437-1 is not prime. Res64: ACEE2FFE6A38FA8E Time : 0.0 sec. user=mdettweiler [2013-02-03 00:37:53] 825*2^1240437-1 is not prime. Res64: 9629D9ECC7A23F47 Time : 0.0 sec. user=vaughan [2013-02-03 00:40:04] 813*2^1240436-1 is not prime. Res64: C1287FE80915C0A5 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:55:21] 871*2^1240437-1 is not prime. Res64: 34799DA4B57C7E47 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:55:22] 961*2^1240437-1 is not prime. Res64: 5822C68799B2E1AB Time : 0.0 sec. user=mdettweiler [2013-02-03 00:55:23] 991*2^1240437-1 is not prime. Res64: 1591525FDD7447B3 Time : 0.0 sec. user=mdettweiler [2013-02-03 00:55:24] 635*2^1240438-1 is not prime. Res64: 7FE6D889D4D811D3 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:12:50] 687*2^1240438-1 is not prime. Res64: 60DBB90D0509682E Time : 0.0 sec. user=mdettweiler [2013-02-03 01:12:50] 821*2^1240438-1 is not prime. Res64: C1A11166D62C9DAB Time : 0.0 sec. user=mdettweiler [2013-02-03 01:12:51] 827*2^1240438-1 is not prime. Res64: 4858CAE72A580A79 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:12:52] 945*2^1240438-1 is not prime. Res64: 7CDEE83FDCF2F4C4 Time : 0.0 sec. user=vaughan [2013-02-03 01:18:02] 645*2^1240438-1 is not prime. Res64: 8AF97CE7DCBA6B89 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:30:21] 987*2^1240438-1 is not prime. Res64: DD6B07FC725DD8C3 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:30:21] 669*2^1240439-1 is not prime. Res64: D704731827B46DD9 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:30:22] 621*2^1240439-1 is not prime. Res64: EDC9E9E3B2FAF864 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:30:22] 685*2^1240439-1 is not prime. Res64: FDF63B9E3C69AAA9 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:47:50] 841*2^1240439-1 is not prime. Res64: F31D51717A0E683E Time : 0.0 sec. user=mdettweiler [2013-02-03 01:47:50] 885*2^1240439-1 is not prime. Res64: 8BE0E430FAEEAB46 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:47:50] 999*2^1240439-1 is not prime. Res64: A1524AF55845A853 Time : 0.0 sec. user=mdettweiler [2013-02-03 01:47:51] 689*2^1240440-1 is not prime. Res64: 9EBC8727C3B03363 Time : 0.0 sec. user=vaughan [2013-02-03 01:56:04] 693*2^1240439-1 is not prime. Res64: D811C50C928B685D Time : 0.0 sec. user=mdettweiler [2013-02-03 02:05:18] 765*2^1240440-1 is not prime. Res64: A7250C6FB87F074E Time : 0.0 sec. user=mdettweiler [2013-02-03 02:05:18] 899*2^1240440-1 is not prime. Res64: 2DDD7B61C202F4B0 Time : 0.0 sec. user=mdettweiler [2013-02-03 02:05:19] 829*2^1240441-1 is not prime. Res64: A5D95F69B90DBF60 Time : 0.0 sec. user=mdettweiler [2013-02-03 02:05:20] 861*2^1240441-1 is not prime. Res64: EEB70A77A138C15B Time : 0.0 sec. user=mdettweiler [2013-02-03 02:22:50] 987*2^1240441-1 is not prime. Res64: BA8679C04AD13C16 Time : 0.0 sec. user=mdettweiler [2013-02-03 02:22:50] 791*2^1240442-1 is not prime. Res64: EB360D78910748E1 Time : 0.0 sec. user=mdettweiler [2013-02-03 02:22:51] 633*2^1240442-1 is not prime. Res64: 6A50203549C1B208 Time : 0.0 sec. user=mdettweiler [2013-02-03 02:22:51] 797*2^1240442-1 is not prime. Res64: 382B21C662964277 Time : 0.0 sec. user=vaughan [2013-02-03 02:33:59] 957*2^1240441-1 is not prime. Res64: DFFFCFB85CCC336B Time : 0.0 sec. user=mdettweiler [2013-02-03 02:40:19] 825*2^1240442-1 is not prime. Res64: 44A43D32A3820FBA Time : 0.0 sec. user=mdettweiler [2013-02-03 02:40:21] 873*2^1240442-1 is not prime. Res64: 9261ADA0F861D328 Time : 0.0 sec. user=mdettweiler [2013-02-03 02:40:23] 843*2^1240442-1 is not prime. Res64: 225517BCCF885C5D Time : 0.0 sec. user=mdettweiler [2013-02-03 02:40:25] 935*2^1240442-1 is not prime. Res64: 7EF19523BF57FCFB Time : 0.0 sec. user=mdettweiler [2013-02-03 02:58:12] 981*2^1240442-1 is not prime. Res64: EE1AE842DC1E73BB Time : 0.0 sec. user=mdettweiler [2013-02-03 02:58:13] 613*2^1240443-1 is not prime. Res64: 8D30954C683C4BCD Time : 0.0 sec. user=vaughan [2013-02-03 03:11:57] 953*2^1240442-1 is not prime. Res64: F96DB960EAB165C0 Time : 0.0 sec. user=mdettweiler [2013-02-03 03:24:09] 709*2^1240443-1 is not prime. Res64: 8431EA17DEDFEEAC Time : 0.0 sec. user=mdettweiler [2013-02-03 03:25:15] 679*2^1240443-1 is not prime. Res64: 398889CD613F4212 Time : 0.0 sec. user=mdettweiler [2013-02-03 03:41:41] 769*2^1240443-1 is not prime. Res64: 97475BEEAE04B8C8 Time : 0.0 sec. user=mdettweiler [2013-02-03 03:41:48] 825*2^1240443-1 is not prime. Res64: 1F9AAF4FA6AEF198 Time : 0.0 sec. user=mdettweiler [2013-02-03 03:42:43] 901*2^1240443-1 is not prime. Res64: 7492C1DC95B19B5A Time : 0.0 sec. user=mdettweiler [2013-02-03 03:42:48] 969*2^1240443-1 is not prime. Res64: 9CA82C1DE26863B3 Time : 0.0 sec. user=vaughan [2013-02-03 03:50:34] 735*2^1240443-1 is not prime. Res64: 8D2D1C9CBC85D9D2 Time : 0.0 sec. user=mdettweiler [2013-02-03 03:59:48] 675*2^1240444-1 is not prime. Res64: CE81E6CD54626523 Time : 0.0 sec. user=mdettweiler [2013-02-03 03:59:49] 759*2^1240444-1 is not prime. Res64: 2FE8B237A4F0B191 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:00:36] 833*2^1240444-1 is not prime. Res64: 82120D019F32D3E9 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:00:37] 869*2^1240444-1 is not prime. Res64: BE79579E172E61CC Time : 0.0 sec. user=mdettweiler [2013-02-03 04:17:16] 729*2^1240445-1 is not prime. Res64: 50568959A5099C2B Time : 0.0 sec. user=mdettweiler [2013-02-03 04:17:16] 759*2^1240445-1 is not prime. Res64: 46B4C5890A86580E Time : 0.0 sec. user=mdettweiler [2013-02-03 04:18:06] 781*2^1240445-1 is not prime. Res64: BF40EB269CE50D88 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:18:07] 789*2^1240445-1 is not prime. Res64: 599E23FD33DF138C Time : 0.0 sec. user=vaughan [2013-02-03 04:28:33] 873*2^1240444-1 is not prime. Res64: AA3432F9FF1FAE1E Time : 0.0 sec. user=mdettweiler [2013-02-03 04:34:46] 861*2^1240445-1 is not prime. Res64: 56FA91138D413F37 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:34:49] 657*2^1240446-1 is not prime. Res64: 1D8A3E3A16A7E166 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:35:35] 747*2^1240446-1 is not prime. Res64: CBEC2CE7DBEAA939 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:35:37] 755*2^1240446-1 is not prime. Res64: 36FFBADA5598A980 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:52:22] 807*2^1240446-1 is not prime. Res64: D7625DBECCA34B8B Time : 0.0 sec. user=mdettweiler [2013-02-03 04:52:22] 861*2^1240446-1 is not prime. Res64: B5B0B622D82F9458 Time : 0.0 sec. user=mdettweiler [2013-02-03 04:53:10] 917*2^1240446-1 is not prime. Res64: 16FD3E78C00AA30B Time : 0.0 sec. user=mdettweiler [2013-02-03 04:53:10] 619*2^1240447-1 is not prime. Res64: BD17A787DD3589E9 Time : 0.0 sec. user=vaughan [2013-02-03 05:06:29] 765*2^1240446-1 is not prime. Res64: 4403B757523A1D1D Time : 0.0 sec. user=mdettweiler [2013-02-03 05:09:56] 673*2^1240447-1 is not prime. Res64: 9F45C6532C381B3A Time : 0.0 sec. user=mdettweiler [2013-02-03 05:09:58] 675*2^1240447-1 is not prime. Res64: 1B3440340232948C Time : 0.0 sec. user=mdettweiler [2013-02-03 05:10:38] 703*2^1240447-1 is not prime. Res64: 9512F3207790F9BF Time : 0.0 sec. user=mdettweiler [2013-02-03 05:10:40] 769*2^1240447-1 is not prime. Res64: 776410D35AEED77D Time : 0.0 sec. user=mdettweiler [2013-02-03 05:27:33] 885*2^1240447-1 is not prime. Res64: 858C2269A317AA07 Time : 0.0 sec. user=mdettweiler [2013-02-03 05:27:33] 909*2^1240447-1 is not prime. Res64: 0F8BB26DC9DA20F0 Time : 0.0 sec. user=mdettweiler [2013-02-03 05:28:10] 951*2^1240447-1 is not prime. Res64: 6B771AB987AE498D Time : 0.0 sec. user=mdettweiler [2013-02-03 05:28:10] 993*2^1240447-1 is not prime. Res64: 0D2EEB33D47D4E97 Time : 0.0 sec. user=vaughan [2013-02-03 05:44:37] 861*2^1240447-1 is not prime. Res64: C751E5F81E6B5BD9 Time : 0.0 sec. user=mdettweiler [2013-02-03 05:45:01] 617*2^1240448-1 is not prime. Res64: 0C92421FC1DF502F Time : 0.0 sec. user=mdettweiler [2013-02-03 05:45:02] 669*2^1240448-1 is not prime. Res64: 340C3E1910A3FAA1 Time : 0.0 sec. user=mdettweiler [2013-02-03 05:45:38] 687*2^1240448-1 is not prime. Res64: A8A2E7E41941CBEA Time : 0.0 sec. user=mdettweiler [2013-02-03 05:45:38] 743*2^1240448-1 is not prime. Res64: 074C26979ED74E89 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:02:31] 753*2^1240448-1 is not prime. Res64: B013BA9EB84729A7 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:02:33] 755*2^1240448-1 is not prime. Res64: 245FD86A868387F6 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:03:07] 879*2^1240448-1 is not prime. Res64: 275A7A884D27FDEA Time : 0.0 sec. user=mdettweiler [2013-02-03 06:03:08] 897*2^1240448-1 is not prime. Res64: D1164DAD23B31403 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:20:10] 899*2^1240448-1 is not prime. Res64: CA73692CE12D597B Time : 0.0 sec. user=mdettweiler [2013-02-03 06:20:11] 615*2^1240449-1 is not prime. Res64: EF5EAEF383CB76DB Time : 0.0 sec. user=mdettweiler [2013-02-03 06:20:42] 721*2^1240449-1 is not prime. Res64: 70303346310096DB Time : 0.0 sec. user=mdettweiler [2013-02-03 06:20:43] 835*2^1240449-1 is not prime. Res64: CFCE6F5628FF1884 Time : 0.0 sec. user=vaughan [2013-02-03 06:22:36] 747*2^1240448-1 is not prime. Res64: BBA54A845F13F1F4 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:37:41] 847*2^1240449-1 is not prime. Res64: F79F192783DDF95A Time : 0.0 sec. user=mdettweiler [2013-02-03 06:37:41] 895*2^1240449-1 is not prime. Res64: D3DA9D18533671B9 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:38:10] 645*2^1240450-1 is not prime. Res64: 9E78FAFCF0ACC154 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:38:10] 647*2^1240450-1 is not prime. Res64: E88F67FF852282BA Time : 0.0 sec. user=mdettweiler [2013-02-03 06:55:09] 671*2^1240450-1 is not prime. Res64: 7B2ECFF51BB85EC8 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:55:09] 675*2^1240450-1 is not prime. Res64: 47B637EB804C1B21 Time : 0.0 sec. user=mdettweiler [2013-02-03 06:55:38] 773*2^1240450-1 is not prime. Res64: 4504CE0497201EAE Time : 0.0 sec. user=mdettweiler [2013-02-03 06:55:39] 873*2^1240450-1 is not prime. Res64: EDBFF07BB18720C7 Time : 0.0 sec. user=vaughan [2013-02-03 07:00:34] 665*2^1240450-1 is not prime. Res64: FAFAFA5655A4D5E8 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:12:38] 917*2^1240450-1 is not prime. Res64: CBA34F42E0DE08C4 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:12:39] 923*2^1240450-1 is not prime. Res64: 813A7D32957724A2 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:13:07] 945*2^1240450-1 is not prime. Res64: 769391E58EEC1BD7 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:13:08] 1001*2^1240450-1 is not prime. Res64: 7C478BFBDC5B3791 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:30:16] 621*2^1240451-1 is not prime. Res64: E6983DDD45886C5F Time : 0.0 sec. user=mdettweiler [2013-02-03 07:30:17] 703*2^1240451-1 is not prime. Res64: 4956F1256B2B67DB Time : 0.0 sec. user=mdettweiler [2013-02-03 07:30:37] 711*2^1240451-1 is not prime. Res64: D529D7CF2D539CC4 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:30:37] 825*2^1240451-1 is not prime. Res64: AE14343C49F5C8CA Time : 0.0 sec. user=vaughan [2013-02-03 07:38:34] 619*2^1240451-1 is not prime. Res64: 779E38CAD99A14AD Time : 0.0 sec. user=mdettweiler [2013-02-03 07:47:45] 885*2^1240451-1 is not prime. Res64: 6744B4D982C97324 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:47:45] 605*2^1240452-1 is not prime. Res64: 5BFE8EEFCCCBC238 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:48:05] 639*2^1240452-1 is not prime. Res64: 025507AAC00EC989 Time : 0.0 sec. user=mdettweiler [2013-02-03 07:48:06] 653*2^1240452-1 is not prime. Res64: 244B6FAF5CA63AE6 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:05:13] 983*2^1240452-1 is not prime. Res64: AF7A5E6FC8DEAF14 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:05:14] 615*2^1240453-1 is not prime. Res64: D136D0197262F01C Time : 0.0 sec. user=mdettweiler [2013-02-03 08:05:33] 691*2^1240453-1 is not prime. Res64: 25AE00DBEFFAA625 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:05:34] 715*2^1240453-1 is not prime. Res64: EF183C2DFD75F3E8 Time : 0.0 sec. user=vaughan [2013-02-03 08:16:34] 665*2^1240452-1 is not prime. Res64: 5928F98DB2BAF3E8 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:22:46] 745*2^1240453-1 is not prime. Res64: 320333603FCFA4C4 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:22:46] 765*2^1240453-1 is not prime. Res64: D7AC7281412BD3C7 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:23:03] 831*2^1240453-1 is not prime. Res64: 01E52C96B1AE1326 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:23:03] 867*2^1240453-1 is not prime. Res64: 98DA9DF15177CDD8 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:40:13] 939*2^1240453-1 is not prime. Res64: 6522B058E6F7416C Time : 0.0 sec. user=mdettweiler [2013-02-03 08:40:14] 945*2^1240453-1 is not prime. Res64: 1DD22F934E4B07E0 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:40:31] 999*2^1240453-1 is not prime. Res64: 34947C2FBEB87BA5 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:40:31] 617*2^1240454-1 is not prime. Res64: FF57E790C5684AF1 Time : 0.0 sec. user=vaughan [2013-02-03 08:54:33] 895*2^1240453-1 is not prime. Res64: 0CEB38C033C71623 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:57:41] 665*2^1240454-1 is not prime. Res64: 1D5DB788E4310399 Time : 0.0 sec. user=mdettweiler [2013-02-03 08:57:42] 825*2^1240454-1 is not prime. Res64: 20AB03C65CE7927F Time : 0.0 sec. user=mdettweiler [2013-02-03 08:57:59] 885*2^1240454-1 is not prime. Res64: ECAE888B7F48E05E Time : 0.0 sec. user=mdettweiler [2013-02-03 08:57:59] 923*2^1240454-1 is not prime. Res64: 00DC746B1D55A9F3 Time : 0.0 sec. user=mdettweiler [2013-02-03 09:15:09] 987*2^1240454-1 is not prime. Res64: C8D2E60E87831D8D Time : 0.0 sec. user=mdettweiler [2013-02-03 09:15:10] 783*2^1240455-1 is not prime. Res64: EF68BD4B3C31BA5A Time : 0.0 sec. user=mdettweiler [2013-02-03 09:15:27] 859*2^1240455-1 is not prime. Res64: CE2A3EC9337D76D0 Time : 0.0 sec. user=mdettweiler [2013-02-03 09:15:28] 871*2^1240455-1 is not prime. Res64: 6F4FD70826AFAEFC Time : 0.0 sec. user=vaughan [2013-02-03 09:32:30] 941*2^1240454-1 is not prime. Res64: C90BE8990A20CB85 Time : 0.0 sec. user=mdettweiler [2013-02-03 09:32:39] 623*2^1240456-1 is not prime. Res64: C099045BCBED6ADB Time : 0.0 sec. user=mdettweiler [2013-02-03 09:32:40] 717*2^1240456-1 is not prime. Res64: 70AA45BAEF0C021E Time : 0.0 sec. user=mdettweiler [2013-02-03 09:32:55] 833*2^1240456-1 is not prime. Res64: A2D2E57B662D9CB5 Time : 0.0 sec. user=mdettweiler [2013-02-03 09:32:55] 839*2^1240456-1 is not prime. Res64: 0AF0BBDED8A4CA65 Time : 0.0 sec. user=mdettweiler [2013-02-03 09:50:07] 873*2^1240456-1 is not prime. Res64: 8ED921350B95F5C7 Time : 0.0 sec. user=mdettweiler [2013-02-03 09:50:08] 897*2^1240456-1 is not prime. Res64: 59C888661284BB64 Time : 0.0 sec. user=mdettweiler [2013-02-03 09:50:23] 965*2^1240456-1 is not prime. Res64: A060DF88B53A921A Time : 0.0 sec. user=mdettweiler [2013-02-03 09:50:24] 619*2^1240457-1 is not prime. Res64: B0DC40508C862C7D Time : 0.0 sec. user=mdettweiler [2013-02-03 10:07:38] 669*2^1240457-1 is not prime. Res64: 3175ABB0499416EA Time : 0.0 sec. user=mdettweiler [2013-02-03 10:07:39] 715*2^1240457-1 is not prime. Res64: 509FF9684986FF89 Time : 0.0 sec. user=mdettweiler [2013-02-03 10:07:51] 795*2^1240457-1 is not prime. Res64: A36114298B37CCEB Time : 0.0 sec. user=mdettweiler [2013-02-03 10:07:52] 841*2^1240457-1 is not prime. Res64: 5DBEA8636B048DD1 Time : 0.0 sec. user=vaughan [2013-02-03 10:10:31] 855*2^1240456-1 is not prime. Res64: 15086F7EBF875D4B Time : 0.0 sec. user=mdettweiler [2013-02-03 10:25:07] 641*2^1240458-1 is not prime. Res64: AADD115CB32E4DFE Time : 0.0 sec. user=mdettweiler [2013-02-03 10:25:08] 647*2^1240458-1 is not prime. Res64: D9DA5CA019F9BED9 Time : 0.0 sec. user=mdettweiler [2013-02-03 10:25:20] 711*2^1240458-1 is not prime. Res64: AC999B392852064E Time : 0.0 sec. user=mdettweiler [2013-02-03 10:25:20] 815*2^1240458-1 is not prime. Res64: E20A96D42598ED89 Time : 0.0 sec. user=mdettweiler [2013-02-03 10:42:36] 837*2^1240458-1 is not prime. Res64: 472D3BB2D6256AAE Time : 0.0 sec. user=mdettweiler [2013-02-03 10:42:36] 891*2^1240458-1 is not prime. Res64: 0AD60D621B5C1A2B Time : 0.0 sec. user=mdettweiler [2013-02-03 10:42:48] 893*2^1240458-1 is not prime. Res64: 2F640C354CE98E6E Time : 0.0 sec. user=mdettweiler [2013-02-03 10:42:48] 915*2^1240458-1 is not prime. Res64: A8FD842538F3A26F Time : 0.0 sec. user=vaughan [2013-02-03 10:48:31] 833*2^1240458-1 is not prime. Res64: D19B3D4A8DD84BC1 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:00:07] 927*2^1240458-1 is not prime. Res64: 4CF23D47781CA981 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:00:08] 993*2^1240458-1 is not prime. Res64: C0E7F7B40528EB06 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:00:15] 621*2^1240459-1 is not prime. Res64: FD2E32A94CC02543 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:00:16] 693*2^1240459-1 is not prime. Res64: 522A37BF6378D91B Time : 0.0 sec. user=mdettweiler [2013-02-03 11:17:36] 745*2^1240459-1 is not prime. Res64: 1818621642D7E81F Time : 0.0 sec. user=mdettweiler [2013-02-03 11:17:36] 873*2^1240459-1 is not prime. Res64: A5FCAAB85B8C3FC7 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:17:44] 885*2^1240459-1 is not prime. Res64: 8899F018B8A0A0E6 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:17:45] 913*2^1240459-1 is not prime. Res64: 7BD0D40871F95870 Time : 0.0 sec. user=vaughan [2013-02-03 11:26:29] 703*2^1240459-1 is not prime. Res64: 7425246EC440EFCE Time : 0.0 sec. user=mdettweiler [2013-02-03 11:35:04] 755*2^1240460-1 is not prime. Res64: 74AF4173ADE0F1D8 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:35:04] 827*2^1240460-1 is not prime. Res64: 0AAC5A9F1882F87D Time : 0.0 sec. user=mdettweiler [2013-02-03 11:35:12] 833*2^1240460-1 is not prime. Res64: D51BA0F5D15097E4 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:35:12] 875*2^1240460-1 is not prime. Res64: 568283B9800137CC Time : 0.0 sec. user=mdettweiler [2013-02-03 11:52:32] 889*2^1240461-1 is not prime. Res64: F3D77735EB0403F2 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:52:32] 907*2^1240461-1 is not prime. Res64: D229A9EA8E7AF783 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:52:39] 951*2^1240461-1 is not prime. Res64: 3C32EF52FC317862 Time : 0.0 sec. user=mdettweiler [2013-02-03 11:52:39] 651*2^1240462-1 is not prime. Res64: 28EB9E88EE8710DF Time : 0.0 sec. user=vaughan [2013-02-03 12:04:27] 963*2^1240460-1 is not prime. Res64: 540DFA6DACD05C91 Time : 0.0 sec. user=mdettweiler [2013-02-03 12:09:59] 657*2^1240462-1 is not prime. Res64: 1F5F77BAA2B8AC53 Time : 0.0 sec. user=mdettweiler [2013-02-03 12:10:01] 737*2^1240462-1 is not prime. Res64: 5168E290D4E0930D Time : 0.0 sec. user=mdettweiler [2013-02-03 12:10:06] 777*2^1240462-1 is not prime. Res64: 51923EE2676393A4 Time : 0.0 sec. user=mdettweiler [2013-02-03 12:10:09] 827*2^1240462-1 is not prime. Res64: A22566406F9E4CCB Time : 0.0 sec. user=mdettweiler [2013-02-03 12:27:54] 951*2^1240462-1 is not prime. Res64: 1480E934BCEE9D42 Time : 0.0 sec. user=mdettweiler [2013-02-03 12:27:55] 981*2^1240462-1 is not prime. Res64: A15AAA62F3BD3BA5 Time : 0.0 sec. user=mdettweiler [2013-02-03 12:27:58] 1001*2^1240462-1 is not prime. Res64: 37A8113F8D5F523F Time : 0.0 sec. user=mdettweiler [2013-02-03 12:27:59] 669*2^1240463-1 is not prime. Res64: 5C699FDE20D8769A Time : 0.0 sec. user=vaughan [2013-02-03 12:42:29] 881*2^1240462-1 is not prime. Res64: 18C1267B25BE2C29 Time : 0.0 sec. user=mdettweiler [2013-02-03 12:45:37] 739*2^1240463-1 is not prime. Res64: BC5E37F19CFDA5CA Time : 0.0 sec. user=mdettweiler [2013-02-03 12:45:37] 823*2^1240463-1 is not prime. Res64: 08AD6FB50DE1C49E Time : 0.0 sec. user=mdettweiler [2013-02-03 12:45:41] 825*2^1240463-1 is not prime. Res64: C5F46D7FD0064A1C Time : 0.0 sec. user=mdettweiler [2013-02-03 12:45:41] 861*2^1240463-1 is not prime. Res64: 2C90ABBF02EFD02E Time : 0.0 sec. user=mdettweiler [2013-02-03 13:03:26] 635*2^1240464-1 is not prime. Res64: 4170DB51D590DA98 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:03:28] 759*2^1240464-1 is not prime. Res64: A2D7FE3607B0D4DF Time : 0.0 sec. user=mdettweiler [2013-02-03 13:03:32] 765*2^1240464-1 is not prime. Res64: 622F17C70D90521C Time : 0.0 sec. user=mdettweiler [2013-02-03 13:03:33] 825*2^1240464-1 is not prime. Res64: 55A8C9EC5B2363F0 Time : 0.0 sec. user=vaughan [2013-02-03 13:20:25] 973*2^1240463-1 is not prime. Res64: 610752C20B2E66CB Time : 0.0 sec. user=mdettweiler [2013-02-03 13:21:15] 837*2^1240464-1 is not prime. Res64: 5E48F7F46FB9162A Time : 0.0 sec. user=mdettweiler [2013-02-03 13:21:15] 873*2^1240464-1 is not prime. Res64: 506ACB72C5296BB2 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:21:15] 909*2^1240464-1 is not prime. Res64: 5682A089089490A7 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:21:16] 817*2^1240465-1 is not prime. Res64: 11D7991A5FA7B2E2 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:38:44] 677*2^1240466-1 is not prime. Res64: E5EE4B15B4DFC197 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:38:45] 741*2^1240466-1 is not prime. Res64: 673D3C0B80AA0D0F Time : 0.0 sec. user=mdettweiler [2013-02-03 13:38:46] 801*2^1240466-1 is not prime. Res64: 42DA8DBFBABD7B74 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:38:46] 815*2^1240466-1 is not prime. Res64: 987C6C136E3CB29A Time : 0.0 sec. user=mdettweiler [2013-02-03 13:56:14] 837*2^1240466-1 is not prime. Res64: F576CEDF5D482049 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:56:15] 861*2^1240466-1 is not prime. Res64: AA2EF791AF6C741E Time : 0.0 sec. user=mdettweiler [2013-02-03 13:56:15] 857*2^1240466-1 is not prime. Res64: D91A4E3EBBE6C807 Time : 0.0 sec. user=mdettweiler [2013-02-03 13:56:15] 921*2^1240466-1 is not prime. Res64: 5CE18329A82F935B Time : 0.0 sec. user=vaughan [2013-02-03 13:58:23] 889*2^1240465-1 is not prime. Res64: EAD734DA6F0C53D8 Time : 0.0 sec. user=mdettweiler [2013-02-03 14:13:44] 609*2^1240467-1 is not prime. Res64: F75B98FB105ED19C Time : 0.0 sec. user=mdettweiler [2013-02-03 14:13:44] 935*2^1240466-1 is not prime. Res64: B9EE4C0B734BCCDB Time : 0.0 sec. user=mdettweiler [2013-02-03 14:13:45] 685*2^1240467-1 is not prime. Res64: DD3104721EECE8B4 Time : 0.0 sec. user=mdettweiler [2013-02-03 14:13:45] 945*2^1240466-1 is not prime. Res64: BAFFF52CA8A2AAB2 Time : 0.0 sec. user=mdettweiler [2013-02-03 14:31:27] 781*2^1240467-1 is not prime. Res64: 6E7C9358A6E71F2A Time : 0.0 sec. user=mdettweiler [2013-02-03 14:31:27] 903*2^1240467-1 is not prime. Res64: FA3FF8A350857C22 Time : 0.0 sec. user=mdettweiler [2013-02-03 14:31:28] 919*2^1240467-1 is not prime. Res64: 61BB9ACBA595F12E Time : 0.0 sec. user=mdettweiler [2013-02-03 14:31:30] 979*2^1240467-1 is not prime. Res64: BB75F9B296CDB3E2 Time : 0.0 sec. user=vaughan [2013-02-03 14:36:23] 709*2^1240467-1 is not prime. Res64: C1332886637F4718 Time : 0.0 sec. user=mdettweiler [2013-02-03 14:49:07] 615*2^1240468-1 is not prime. Res64: D03D38B2451F68E4 Time : 0.0 sec. user=mdettweiler [2013-02-03 14:49:07] 695*2^1240468-1 is not prime. Res64: DD75C62B2FBC1D51 Time : 0.0 sec. user=mdettweiler [2013-02-03 14:49:09] 797*2^1240468-1 is not prime. Res64: 3E8C60C80734283F Time : 0.0 sec. user=mdettweiler [2013-02-03 14:49:10] 813*2^1240468-1 is not prime. Res64: F005F37E9AD1D30B Time : 0.0 sec. user=mdettweiler [2013-02-03 15:07:01] 621*2^1240469-1 is not prime. Res64: 5A56635B4704C7A8 Time : 0.0 sec. user=mdettweiler [2013-02-03 15:07:01] 645*2^1240469-1 is not prime. Res64: B59536F58A7A8566 Time : 0.0 sec. user=mdettweiler [2013-02-03 15:07:03] 795*2^1240469-1 is not prime. Res64: 6BDD20B262745C0F Time : 0.0 sec. user=mdettweiler [2013-02-03 15:07:04] 829*2^1240469-1 is not prime. Res64: D2CBC917DF6F4250 Time : 0.0 sec. user=vaughan [2013-02-03 15:14:20] 915*2^1240468-1 is not prime. Res64: 829CEA73B3576DBD Time : 0.0 sec. user=mdettweiler [2013-02-03 15:24:53] 831*2^1240469-1 is not prime. Res64: 2A0813783E1631B3 Time : 0.0 sec. user=mdettweiler [2013-02-03 15:24:54] 847*2^1240469-1 is not prime. Res64: 34CA587583E499BD Time : 0.0 sec. user=mdettweiler [2013-02-03 15:24:56] 717*2^1240470-1 is not prime. Res64: 51A72B2D80CE0F8A Time : 0.0 sec. user=mdettweiler [2013-02-03 15:24:57] 755*2^1240470-1 is not prime. Res64: AC93EE6C7B0C3D5A Time : 0.0 sec. user=mdettweiler [2013-02-03 15:42:29] 893*2^1240470-1 is not prime. Res64: 9AB2E874B21D4107 Time : 0.0 sec. user=mdettweiler [2013-02-03 15:42:29] 923*2^1240470-1 is not prime. Res64: 5434E67BA3508B49 Time : 0.0 sec. user=mdettweiler [2013-02-03 15:42:29] 933*2^1240470-1 is not prime. Res64: CC2982A1A64BBFA5 Time : 0.0 sec. user=mdettweiler [2013-02-03 15:42:30] 965*2^1240470-1 is not prime. Res64: 27B6AAB0DBC840A4 Time : 0.0 sec. user=vaughan [2013-02-03 15:52:19] 773*2^1240470-1 is not prime. Res64: 594605367E8A7027 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:00:13] 609*2^1240471-1 is not prime. Res64: 61C25C59E82EC6F5 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:00:14] 693*2^1240471-1 is not prime. Res64: 72C6D9C0866DA4A4 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:00:14] 705*2^1240471-1 is not prime. Res64: 414B6573FAA420C7 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:00:15] 759*2^1240471-1 is not prime. Res64: 55E754D61F196590 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:18:15] 883*2^1240471-1 is not prime. Res64: C236710776D40CC7 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:18:16] 885*2^1240471-1 is not prime. Res64: 5052572E779FFAD2 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:18:16] 841*2^1240471-1 is not prime. Res64: 60D230F0690A36F6 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:18:17] 849*2^1240471-1 is not prime. Res64: 5D1355098BB83E8D Time : 0.0 sec. user=vaughan [2013-02-03 16:30:14] 783*2^1240471-1 is not prime. Res64: 11A12F3312789E6F Time : 0.0 sec. user=mdettweiler [2013-02-03 16:36:37] 603*2^1240472-1 is not prime. Res64: A687438AE13E572E Time : 0.0 sec. user=mdettweiler [2013-02-03 16:36:37] 669*2^1240472-1 is not prime. Res64: D426C60C08D7B13B Time : 0.0 sec. user=mdettweiler [2013-02-03 16:36:37] 833*2^1240472-1 is not prime. Res64: A557B5D1D81AA10F Time : 0.0 sec. user=mdettweiler [2013-02-03 16:36:37] 657*2^1240473-1 is not prime. Res64: 3D60D77E8DAFC469 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:54:55] 751*2^1240473-1 is not prime. Res64: 4E5B17840BBE86B5 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:54:56] 759*2^1240473-1 is not prime. Res64: B91EDAC95611F385 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:54:56] 807*2^1240473-1 is not prime. Res64: EDF41D72B9BB8884 Time : 0.0 sec. user=mdettweiler [2013-02-03 16:54:56] 811*2^1240473-1 is not prime. Res64: 9217E339FAB0A897 Time : 0.0 sec. user=vaughan [2013-02-03 17:08:10] 699*2^1240473-1 is not prime. Res64: 4F73C8E275511BA1 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:12:47] 979*2^1240473-1 is not prime. Res64: EFFA581E92793CFF Time : 0.0 sec. user=mdettweiler [2013-02-03 17:12:47] 717*2^1240474-1 is not prime. Res64: AF13570155753629 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:12:50] 687*2^1240474-1 is not prime. Res64: 10584A5635F3986B Time : 0.0 sec. user=mdettweiler [2013-02-03 17:12:51] 741*2^1240474-1 is not prime. Res64: EBAF44F74B4634B3 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:30:27] 857*2^1240474-1 is not prime. Res64: 7C20864EF2C26FB4 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:30:27] 923*2^1240474-1 is not prime. Res64: B416E08725665C18 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:30:29] 663*2^1240475-1 is not prime. Res64: CBDB859962CCF7DF Time : 0.0 sec. user=mdettweiler [2013-02-03 17:30:30] 669*2^1240475-1 is not prime. Res64: 163472E93E89CF2A Time : 0.0 sec. user=vaughan [2013-02-03 17:46:14] 803*2^1240474-1 is not prime. Res64: 40B30806BAA80E12 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:47:58] 705*2^1240475-1 is not prime. Res64: D3A7ECBA4D19912E Time : 0.0 sec. user=mdettweiler [2013-02-03 17:47:59] 733*2^1240475-1 is not prime. Res64: 4EBDD3BE3A5CAC50 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:47:59] 783*2^1240475-1 is not prime. Res64: 9E6A98B6C4CC11B1 Time : 0.0 sec. user=mdettweiler [2013-02-03 17:47:59] 853*2^1240475-1 is not prime. Res64: A0CDE2119D024A2E Time : 0.0 sec. user=mdettweiler [2013-02-03 18:05:27] 689*2^1240476-1 is not prime. Res64: AB0F1E37D7FB8FF4 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:05:28] 839*2^1240476-1 is not prime. Res64: B88A9A26A26FA82A Time : 0.0 sec. user=mdettweiler [2013-02-03 18:05:29] 765*2^1240476-1 is not prime. Res64: 3850CDC55570863B Time : 0.0 sec. user=mdettweiler [2013-02-03 18:05:30] 857*2^1240476-1 is not prime. Res64: 19FB999A7CC70245 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:23:02] 607*2^1240477-1 is not prime. Res64: 567B071862EFD339 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:23:03] 717*2^1240477-1 is not prime. Res64: 69B8C5508B695CDD Time : 0.0 sec. user=mdettweiler [2013-02-03 18:23:03] 801*2^1240477-1 is not prime. Res64: B2912E0A10CC7F41 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:23:04] 819*2^1240477-1 is not prime. Res64: 1928770AA911AB4D Time : 0.0 sec. user=vaughan [2013-02-03 18:24:13] 639*2^1240476-1 is not prime. Res64: 2F4F06EAD9E6D3DA Time : 0.0 sec. user=mdettweiler [2013-02-03 18:40:33] 829*2^1240477-1 is not prime. Res64: 6219E549EB4651C7 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:40:33] 871*2^1240477-1 is not prime. Res64: 4F99A5D114A6376B Time : 0.0 sec. user=mdettweiler [2013-02-03 18:40:36] 885*2^1240477-1 is not prime. Res64: 0DDC64F4565C37B8 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:40:36] 939*2^1240477-1 is not prime. Res64: 8DD830C5E2BED98C Time : 0.0 sec. user=mdettweiler [2013-02-03 18:58:06] 651*2^1240478-1 is not prime. Res64: 95187472E2D3B693 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:58:06] 713*2^1240478-1 is not prime. Res64: 5DC015561B5FC0A0 Time : 0.0 sec. user=mdettweiler [2013-02-03 18:58:09] 831*2^1240478-1 is not prime. Res64: EFB625FD3478A0EC Time : 0.0 sec. user=mdettweiler [2013-02-03 18:58:09] 971*2^1240478-1 is not prime. Res64: 56EA466C9CD655C0 Time : 0.0 sec. user=vaughan [2013-02-03 19:02:10] 979*2^1240477-1 is not prime. Res64: 3685091CC4A32FB0 Time : 0.0 sec. user=mdettweiler [2013-02-03 19:15:41] 993*2^1240478-1 is not prime. Res64: F89FBA9BA8BA4E09 Time : 0.0 sec. user=mdettweiler [2013-02-03 19:15:42] 663*2^1240479-1 is not prime. Res64: 45B94F728DC72F25 Time : 0.0 sec. user=mdettweiler [2013-02-03 19:15:44] 705*2^1240479-1 is not prime. Res64: D49269BE3B5816FE Time : 0.0 sec. user=mdettweiler [2013-02-03 19:15:45] 979*2^1240479-1 is not prime. Res64: DD059C1D310742CE Time : 0.0 sec. user=mdettweiler [2013-02-03 19:33:21] 957*2^1240480-1 is not prime. Res64: B7F96B55A7F4FE05 Time : 0.0 sec. user=mdettweiler [2013-02-03 19:33:21] 999*2^1240480-1 is not prime. Res64: 3AB4EE7F89F3F349 Time : 0.0 sec. user=mdettweiler [2013-02-03 19:33:35] 813*2^1240480-1 is not prime. Res64: 498819A8094107A1 Time : 0.0 sec. user=mdettweiler [2013-02-03 19:33:35] 839*2^1240480-1 is not prime. Res64: 7502AEC51F961BA3 Time : 0.0 sec. user=vaughan [2013-02-03 19:40:07] 777*2^1240480-1 is not prime. Res64: BE82F1059B88D97F Time : 0.0 sec. user=mdettweiler [2013-02-03 19:51:09] 651*2^1240481-1 is not prime. Res64: 32142ED324F35F5B Time : 0.0 sec. user=mdettweiler [2013-02-03 19:51:09] 781*2^1240481-1 is not prime. Res64: FB0F87E55BF240F3 Time : 0.0 sec. user=mdettweiler [2013-02-03 19:51:19] 837*2^1240481-1 is not prime. Res64: 566E61C51134690D Time : 0.0 sec. user=mdettweiler [2013-02-03 19:51:19] 713*2^1240482-1 is not prime. Res64: 23E37AF7620F9EEC Time : 0.0 sec. user=mdettweiler [2013-02-03 20:09:35] 807*2^1240482-1 is not prime. Res64: 5A6341B8DE286C83 Time : 0.0 sec. user=mdettweiler [2013-02-03 20:09:37] 837*2^1240482-1 is not prime. Res64: A69F3618E835C8D5 Time : 0.0 sec. user=mdettweiler [2013-02-03 20:09:46] 875*2^1240482-1 is not prime. Res64: 30A2E88C5336857A Time : 0.0 sec. user=mdettweiler [2013-02-03 20:09:49] 945*2^1240482-1 is not prime. Res64: 14F47151FB00EFB7 Time : 0.0 sec. user=vaughan [2013-02-03 20:18:04] 731*2^1240482-1 is not prime. Res64: EAAC0CD3CDD0B595 Time : 0.0 sec. user=mdettweiler [2013-02-03 20:27:32] 615*2^1240483-1 is not prime. Res64: 7CF34CB4557FF2B8 Time : 0.0 sec. user=mdettweiler [2013-02-03 20:27:33] 625*2^1240483-1 is not prime. Res64: 1C1FFA3BBFF70C03 Time : 0.0 sec. user=mdettweiler [2013-02-03 20:27:39] 693*2^1240483-1 is not prime. Res64: 7C38C31399D8CAF0 Time : 0.0 sec. user=mdettweiler [2013-02-03 20:27:39] 915*2^1240483-1 is not prime. Res64: C9E9E7F81D78832F Time : 0.0 sec. user=mdettweiler [2013-02-03 20:45:01] 683*2^1240484-1 is not prime. Res64: 08FC3B1FE9363821 Time : 0.0 sec. user=mdettweiler [2013-02-03 20:45:01] 687*2^1240484-1 is not prime. Res64: 1D11D885D89BE7BA Time : 0.0 sec. user=mdettweiler [2013-02-03 20:45:08] 729*2^1240484-1 is not prime. Res64: 75378AD6A17C1C1F Time : 0.0 sec. user=mdettweiler [2013-02-03 20:45:09] 753*2^1240484-1 is not prime. Res64: 546AA7ADE4A14AE9 Time : 0.0 sec. user=vaughan [2013-02-03 20:56:04] 615*2^1240484-1 is not prime. Res64: 32901F490428C494 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:02:30] 843*2^1240484-1 is not prime. Res64: 1AA12B5502F2C0BB Time : 0.0 sec. user=mdettweiler [2013-02-03 21:02:31] 903*2^1240484-1 is not prime. Res64: 4DD2B071B8529D7D Time : 0.0 sec. user=mdettweiler [2013-02-03 21:02:40] 945*2^1240484-1 is not prime. Res64: DBEFDD5AB80BCBF7 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:02:41] 609*2^1240485-1 is not prime. Res64: 4695B51FD22A30CB Time : 0.0 sec. user=mdettweiler [2013-02-03 21:20:00] 877*2^1240485-1 is not prime. Res64: 4E9D6F568155DCF4 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:20:01] 937*2^1240485-1 is not prime. Res64: F292B51073145E3F Time : 0.0 sec. user=mdettweiler [2013-02-03 21:20:10] 653*2^1240486-1 is not prime. Res64: 4CA5C95692E09299 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:20:10] 843*2^1240486-1 is not prime. Res64: CB4FED7232A754A5 Time : 0.0 sec. user=vaughan [2013-02-03 21:34:04] 759*2^1240485-1 is not prime. Res64: 45FD24C82DF163C0 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:37:31] 857*2^1240486-1 is not prime. Res64: 5B2297698C96A355 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:37:31] 861*2^1240486-1 is not prime. Res64: D521C25574705EFB Time : 0.0 sec. user=mdettweiler [2013-02-03 21:37:39] 867*2^1240486-1 is not prime. Res64: DD772070FAB18474 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:37:39] 887*2^1240486-1 is not prime. Res64: 91C08967B8172B36 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:55:02] 933*2^1240486-1 is not prime. Res64: 8257A87256CB1DD3 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:55:03] 993*2^1240486-1 is not prime. Res64: 22C6775B183FAFB9 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:55:11] 775*2^1240487-1 is not prime. Res64: BA4F078CFEBE2D10 Time : 0.0 sec. user=mdettweiler [2013-02-03 21:55:11] 813*2^1240487-1 is not prime. Res64: F3C053E5EA5D2899 Time : 0.0 sec. user=vaughan [2013-02-03 22:12:03] 911*2^1240486-1 is not prime. Res64: B570DA9CE744B4B1 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:12:33] 901*2^1240487-1 is not prime. Res64: 87C4FE0DCACB74AF Time : 0.0 sec. user=mdettweiler [2013-02-03 22:12:36] 963*2^1240487-1 is not prime. Res64: 05A89B037FAE9F04 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:12:41] 979*2^1240487-1 is not prime. Res64: B01F511275AC8E10 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:12:42] 991*2^1240487-1 is not prime. Res64: FC4FAC741FC14E68 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:30:09] 887*2^1240488-1 is not prime. Res64: F7C280C8154F4007 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:30:10] 945*2^1240488-1 is not prime. Res64: B33FC1B796F6721F Time : 0.0 sec. user=mdettweiler [2013-02-03 22:30:16] 957*2^1240488-1 is not prime. Res64: 2914C4B7583ABEF2 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:30:16] 609*2^1240489-1 is not prime. Res64: 707B4575FD10C87C Time : 0.0 sec. user=mdettweiler [2013-02-03 22:47:47] 679*2^1240489-1 is not prime. Res64: ECC4ACF72D173654 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:47:47] 841*2^1240489-1 is not prime. Res64: 3F271EC619DAFA44 Time : 0.0 sec. user=mdettweiler [2013-02-03 22:47:51] 641*2^1240490-1 is not prime. Res64: 285AB148BD9D9A5D Time : 0.0 sec. user=mdettweiler [2013-02-03 22:47:52] 743*2^1240490-1 is not prime. Res64: B9A2F0A9E7DA9397 Time : 0.0 sec. user=vaughan [2013-02-03 22:50:11] 705*2^1240488-1 is not prime. Res64: 528E47021D813E94 Time : 0.0 sec. user=mdettweiler [2013-02-03 23:05:45] 833*2^1240490-1 is not prime. Res64: C03C27A01A59DB39 Time : 0.0 sec. user=mdettweiler [2013-02-03 23:05:47] 887*2^1240490-1 is not prime. Res64: C3609D336A0552CE Time : 0.0 sec. user=mdettweiler [2013-02-03 23:05:50] 609*2^1240491-1 is not prime. Res64: C516A55C151E298E Time : 0.0 sec. user=mdettweiler [2013-02-03 23:05:52] 751*2^1240491-1 is not prime. Res64: 4C54515FC6451FAD Time : 0.0 sec. user=mdettweiler [2013-02-03 23:23:13] 955*2^1240491-1 is not prime. Res64: BD6C56650C67B16A Time : 0.0 sec. user=mdettweiler [2013-02-03 23:23:13] 901*2^1240491-1 is not prime. Res64: ED6843A0E2C59C57 Time : 0.0 sec. user=mdettweiler [2013-02-03 23:23:14] 975*2^1240491-1 is not prime. Res64: A08D01190B4A214B Time : 0.0 sec. user=mdettweiler [2013-02-03 23:23:14] 909*2^1240491-1 is not prime. Res64: 8F5155A85443E736 Time : 0.0 sec. user=vaughan [2013-02-03 23:28:11] 861*2^1240491-1 is not prime. Res64: B0BE0CE8ED19C285 Time : 0.0 sec. user=mdettweiler [2013-02-03 23:40:41] 695*2^1240492-1 is not prime. Res64: ED3D12D89208E149 Time : 0.0 sec. user=mdettweiler [2013-02-03 23:40:42] 825*2^1240492-1 is not prime. Res64: 6852BF1C0BDE3AA1 Time : 0.0 sec. user=mdettweiler [2013-02-03 23:40:44] 923*2^1240492-1 is not prime. Res64: 9DE2CE72F2F5A3E4 Time : 0.0 sec. user=mdettweiler [2013-02-03 23:40:44] 959*2^1240492-1 is not prime. Res64: E993903C98BDD24D Time : 0.0 sec. user=mdettweiler [2013-02-03 23:58:03] 685*2^1240493-1 is not prime. Res64: 706488664B6296CD Time : 0.0 sec. user=mdettweiler [2013-02-03 23:58:03] 721*2^1240493-1 is not prime. Res64: 7BAE37E0254E8E0E Time : 0.0 sec. user=mdettweiler [2013-02-03 23:58:05] 745*2^1240493-1 is not prime. Res64: B6CBE6E1C9FE761A Time : 0.0 sec. user=mdettweiler [2013-02-03 23:58:06] 775*2^1240493-1 is not prime. Res64: 31F9ACDF2EC26129 Time : 0.0 sec.