user=mdettweiler [2013-08-22 00:02:48] 703*2^1251451-1 is not prime. Res64: DEA2DFE4ED82D837 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:02:49] 973*2^1251451-1 is not prime. Res64: A11197D25C56F0D8 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:13:02] 603*2^1251452-1 is not prime. Res64: EB17B847702BD152 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:13:03] 605*2^1251452-1 is not prime. Res64: 1D1BC178243A24DF Time : 0.0 sec. user=mdettweiler [2013-08-22 00:16:39] 623*2^1251452-1 is not prime. Res64: 987ABF865D4DEB96 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:16:40] 687*2^1251452-1 is not prime. Res64: 42AEC55AE1D0366A Time : 0.0 sec. user=mdettweiler [2013-08-22 00:18:09] 885*2^1251452-1 is not prime. Res64: 3CD8A009331851F3 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:18:10] 983*2^1251452-1 is not prime. Res64: 41D32BE5116A93BB Time : 0.0 sec. user=mdettweiler [2013-08-22 00:24:59] 995*2^1251452-1 is not prime. Res64: E6BF8E0F37C621AC Time : 0.0 sec. user=mdettweiler [2013-08-22 00:24:59] 999*2^1251452-1 is not prime. Res64: 1738C3F7F5D39F74 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:33:24] 691*2^1251453-1 is not prime. Res64: 8649906FA9DE8B1C Time : 0.0 sec. user=mdettweiler [2013-08-22 00:33:24] 885*2^1251453-1 is not prime. Res64: 893ED15821945125 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:38:55] 955*2^1251453-1 is not prime. Res64: C34E0772C838F909 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:38:55] 999*2^1251453-1 is not prime. Res64: 65BE4CCEA1B521EA Time : 0.0 sec. user=mdettweiler [2013-08-22 00:39:22] 983*2^1251454-1 is not prime. Res64: 1615A18FC4B5B212 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:39:22] 655*2^1251455-1 is not prime. Res64: 5716603632D9FDFF Time : 0.0 sec. user=mdettweiler [2013-08-22 00:45:16] 783*2^1251455-1 is not prime. Res64: A5506440D6867A93 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:45:17] 853*2^1251455-1 is not prime. Res64: 74FF22E441693E99 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:54:29] 865*2^1251455-1 is not prime. Res64: F467FBC012475359 Time : 0.0 sec. user=mdettweiler [2013-08-22 00:54:30] 979*2^1251455-1 is not prime. Res64: F3A064E9B8926C9F Time : 0.0 sec. user=mdettweiler [2013-08-22 00:59:31] 693*2^1251456-1 is not prime. Res64: 8EEAF20CB3D1984E Time : 0.0 sec. user=mdettweiler [2013-08-22 00:59:32] 845*2^1251456-1 is not prime. Res64: 11FE4F7956222056 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:00:06] 985*2^1251455-1 is not prime. Res64: 90410A8959F6C6BC Time : 0.0 sec. user=mdettweiler [2013-08-22 01:00:07] 627*2^1251456-1 is not prime. Res64: 25B163DA95F264B9 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:07:27] 909*2^1251456-1 is not prime. Res64: A17D6FFD7AE94B04 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:07:27] 945*2^1251456-1 is not prime. Res64: 5FF503271B6DD790 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:15:44] 975*2^1251456-1 is not prime. Res64: 962096B83EAF10E8 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:15:44] 667*2^1251457-1 is not prime. Res64: 4375A5B639F1CA39 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:19:43] 729*2^1251457-1 is not prime. Res64: 774CAF3A76916157 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:19:43] 819*2^1251457-1 is not prime. Res64: 2CB367702128CEA7 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:20:17] 861*2^1251457-1 is not prime. Res64: 5D17A01F2734F722 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:20:17] 885*2^1251457-1 is not prime. Res64: 33CF25F038C26793 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:29:24] 909*2^1251457-1 is not prime. Res64: DAED073727871D96 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:29:24] 915*2^1251457-1 is not prime. Res64: 7D9908109968F84E Time : 0.0 sec. user=mdettweiler [2013-08-22 01:37:46] 919*2^1251457-1 is not prime. Res64: AD54555698C95EC0 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:37:46] 967*2^1251457-1 is not prime. Res64: 6D0E0A886C4AA33E Time : 0.0 sec. user=mdettweiler [2013-08-22 01:39:49] 605*2^1251458-1 is not prime. Res64: F104C3C0A5059CA2 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:39:49] 731*2^1251458-1 is not prime. Res64: 9C197723BEBB0DA3 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:40:25] 743*2^1251458-1 is not prime. Res64: E4693F0A73CB5427 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:40:26] 813*2^1251458-1 is not prime. Res64: 43FE4A0F00ABD8D2 Time : 0.0 sec. user=mdettweiler [2013-08-22 01:50:28] 867*2^1251458-1 is not prime. Res64: 074A725487F9D19F Time : 0.0 sec. user=mdettweiler [2013-08-22 01:50:29] 911*2^1251458-1 is not prime. Res64: 36559045B7BB9D0E Time : 0.0 sec. user=mdettweiler [2013-08-22 01:59:56] 921*2^1251458-1 is not prime. Res64: 88A87ADF2007CFEC Time : 0.0 sec. user=mdettweiler [2013-08-22 01:59:56] 923*2^1251458-1 is not prime. Res64: 36FE23C658F00433 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:01:29] 1001*2^1251458-1 is not prime. Res64: A7D015A89A8F0DC3 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:01:30] 613*2^1251459-1 is not prime. Res64: D61F6F098C407A4D Time : 0.0 sec. user=mdettweiler [2013-08-22 02:01:56] 935*2^1251458-1 is not prime. Res64: A80A1BCA4EBC4D1D Time : 0.0 sec. user=mdettweiler [2013-08-22 02:01:56] 963*2^1251458-1 is not prime. Res64: 5C1870D2CE68D002 Time : 0.0 sec. user=juhehe [2013-08-22 02:05:08] 985*2^1251457-1 is not prime. Res64: 203BFE86677EA83D Time : 0.0 sec. user=mdettweiler [2013-08-22 02:10:33] 649*2^1251459-1 is not prime. Res64: 609F14F9BF440D29 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:10:34] 703*2^1251459-1 is not prime. Res64: ED5B5BB9871AF944 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:21:01] 879*2^1251459-1 is not prime. Res64: E27191B14B713A57 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:21:02] 913*2^1251459-1 is not prime. Res64: 02DDB7137F4CB7ED Time : 0.0 sec. user=mdettweiler [2013-08-22 02:21:41] 609*2^1251460-1 is not prime. Res64: 5DC4954FEC2C3ABD Time : 0.0 sec. user=mdettweiler [2013-08-22 02:21:41] 759*2^1251460-1 is not prime. Res64: D9281088BEBAFF5B Time : 0.0 sec. user=mdettweiler [2013-08-22 02:22:06] 785*2^1251460-1 is not prime. Res64: 0ED45B541DC2F131 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:22:06] 833*2^1251460-1 is not prime. Res64: 172DC0CDE2006ACA Time : 0.0 sec. user=juhehe [2013-08-22 02:27:02] 723*2^1251459-1 is not prime. Res64: 7EDF509688640A03 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:31:48] 875*2^1251460-1 is not prime. Res64: 971715F1BEFCD0DD Time : 0.0 sec. user=mdettweiler [2013-08-22 02:31:49] 965*2^1251460-1 is not prime. Res64: C28303771EACFFA4 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:41:09] 741*2^1251461-1 is not prime. Res64: F3C11C4547AAA4CF Time : 0.0 sec. user=mdettweiler [2013-08-22 02:41:10] 777*2^1251461-1 is not prime. Res64: 1DA53BE8FB983D50 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:41:51] 789*2^1251461-1 is not prime. Res64: 5C1FC94E647C3F4B Time : 0.0 sec. user=mdettweiler [2013-08-22 02:41:52] 879*2^1251461-1 is not prime. Res64: 23F816B6E5614369 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:43:14] 951*2^1251461-1 is not prime. Res64: F0FF9EC0E11D7196 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:43:16] 711*2^1251462-1 is not prime. Res64: 38EA1F2B392110FC Time : 0.0 sec. user=mdettweiler [2013-08-22 02:51:48] 713*2^1251462-1 is not prime. Res64: A79023138B4C0855 Time : 0.0 sec. user=mdettweiler [2013-08-22 02:51:48] 737*2^1251462-1 is not prime. Res64: 8C20C84E5870C311 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:02:26] 791*2^1251462-1 is not prime. Res64: B6789A3D7AA46446 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:02:27] 917*2^1251462-1 is not prime. Res64: 15872616651AF2AD Time : 0.0 sec. user=mdettweiler [2013-08-22 03:02:53] 945*2^1251462-1 is not prime. Res64: A2C797BD76F06E9E Time : 0.0 sec. user=mdettweiler [2013-08-22 03:02:55] 603*2^1251463-1 is not prime. Res64: 6D9CBB52E9FEF795 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:03:30] 615*2^1251463-1 is not prime. Res64: 95071757C260B09B Time : 0.0 sec. user=mdettweiler [2013-08-22 03:03:31] 639*2^1251463-1 is not prime. Res64: 45CFCFD17BC68B46 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:11:57] 789*2^1251463-1 is not prime. Res64: 77365DF272CCB793 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:11:58] 873*2^1251463-1 is not prime. Res64: 49473E23BF7EDB04 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:23:40] 615*2^1251464-1 is not prime. Res64: B21D4B72F074FCBB Time : 0.0 sec. user=mdettweiler [2013-08-22 03:23:40] 617*2^1251464-1 is not prime. Res64: 8F353F1EF227AAF5 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:23:50] 889*2^1251463-1 is not prime. Res64: 016C9707D80AA1FA Time : 0.0 sec. user=mdettweiler [2013-08-22 03:23:50] 913*2^1251463-1 is not prime. Res64: D546C40C7F20F34B Time : 0.0 sec. user=mdettweiler [2013-08-22 03:24:53] 951*2^1251463-1 is not prime. Res64: 49A86875DA80E250 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:24:54] 999*2^1251463-1 is not prime. Res64: B5EA1178D953394F Time : 0.0 sec. user=mdettweiler [2013-08-22 03:32:07] 663*2^1251464-1 is not prime. Res64: AB9D87558FE14352 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:32:09] 855*2^1251464-1 is not prime. Res64: FA8251701A9F1D49 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:43:55] 609*2^1251465-1 is not prime. Res64: 10A3511EC1BA94C3 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:43:55] 657*2^1251465-1 is not prime. Res64: 86BCD3690C5A0E61 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:44:52] 927*2^1251464-1 is not prime. Res64: E632291DB849C3F4 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:44:53] 601*2^1251465-1 is not prime. Res64: 07EEA4727D8A85D3 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:44:59] 717*2^1251465-1 is not prime. Res64: 52CD6EE2FA275719 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:45:00] 721*2^1251465-1 is not prime. Res64: 19AA71BA68D0C0E2 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:52:34] 739*2^1251465-1 is not prime. Res64: 4444F555381B3DE9 Time : 0.0 sec. user=mdettweiler [2013-08-22 03:52:34] 741*2^1251465-1 is not prime. Res64: 60F7E04E4578EAAB Time : 0.0 sec. user=mdettweiler [2013-08-22 04:04:03] 795*2^1251465-1 is not prime. Res64: E6D593003141C4C2 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:04:04] 677*2^1251466-1 is not prime. Res64: 929AEC7C02ED9B39 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:05:09] 615*2^1251467-1 is not prime. Res64: 0F589EEDB967D3E8 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:05:10] 739*2^1251467-1 is not prime. Res64: 80649BA66D43264B Time : 0.0 sec. user=mdettweiler [2013-08-22 04:05:57] 873*2^1251466-1 is not prime. Res64: D00401EE07DDEB00 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:05:58] 917*2^1251466-1 is not prime. Res64: 2C4BD769712A05DD Time : 0.0 sec. user=mdettweiler [2013-08-22 04:13:44] 741*2^1251467-1 is not prime. Res64: B9D3B2C58887CBFD Time : 0.0 sec. user=mdettweiler [2013-08-22 04:13:44] 901*2^1251467-1 is not prime. Res64: 73721965D9D19C79 Time : 0.0 sec. user=juhehe [2013-08-22 04:21:46] 765*2^1251465-1 is not prime. Res64: 98A52A59BEB700D2 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:25:25] 639*2^1251468-1 is not prime. Res64: 4E95E3AB40771B34 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:25:26] 683*2^1251468-1 is not prime. Res64: AB52BAC14E5DE5D8 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:26:07] 759*2^1251468-1 is not prime. Res64: 8FB70D63DB12BFE3 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:26:08] 767*2^1251468-1 is not prime. Res64: 13A679733386A6DA Time : 0.0 sec. user=mdettweiler [2013-08-22 04:26:23] 903*2^1251467-1 is not prime. Res64: E68F2A33B7E99868 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:26:24] 973*2^1251467-1 is not prime. Res64: D279FE69F10CCCDF Time : 0.0 sec. user=mdettweiler [2013-08-22 04:34:48] 789*2^1251468-1 is not prime. Res64: 8044D7384DE92453 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:34:48] 909*2^1251468-1 is not prime. Res64: FA7149A9ADC9ED85 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:45:35] 819*2^1251469-1 is not prime. Res64: 1A0A6D6C1E1CDB7C Time : 0.0 sec. user=mdettweiler [2013-08-22 04:45:36] 829*2^1251469-1 is not prime. Res64: F78FBA9F3E3ADC8B Time : 0.0 sec. user=mdettweiler [2013-08-22 04:46:30] 677*2^1251470-1 is not prime. Res64: 201666DC837E78D4 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:46:30] 625*2^1251471-1 is not prime. Res64: AA44C9372268A315 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:47:08] 931*2^1251469-1 is not prime. Res64: 4E27F0F7F1F13F14 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:47:09] 663*2^1251470-1 is not prime. Res64: 6F246DDE71C297D5 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:54:55] 751*2^1251471-1 is not prime. Res64: F447B8BC20916983 Time : 0.0 sec. user=mdettweiler [2013-08-22 04:54:56] 763*2^1251471-1 is not prime. Res64: D8E1155ED968678F Time : 0.0 sec. user=mdettweiler [2013-08-22 05:05:48] 781*2^1251471-1 is not prime. Res64: A6FC0C305B8C460E Time : 0.0 sec. user=mdettweiler [2013-08-22 05:05:49] 873*2^1251471-1 is not prime. Res64: 23C5FF0112DAFF39 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:07:33] 979*2^1251471-1 is not prime. Res64: A9CBDC1BB2744685 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:07:35] 623*2^1251472-1 is not prime. Res64: 911DE6E129CCE403 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:07:35] 687*2^1251472-1 is not prime. Res64: 329DF75F93A135AF Time : 0.0 sec. user=mdettweiler [2013-08-22 05:07:36] 705*2^1251472-1 is not prime. Res64: BF7B7A8E2DFCE606 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:15:12] 713*2^1251472-1 is not prime. Res64: D634FB3325AD85D2 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:15:12] 717*2^1251472-1 is not prime. Res64: A2615890DF88920F Time : 0.0 sec. user=mdettweiler [2013-08-22 05:26:09] 755*2^1251472-1 is not prime. Res64: CACCEB78611026BB Time : 0.0 sec. user=mdettweiler [2013-08-22 05:26:10] 803*2^1251472-1 is not prime. Res64: BF38284FF6593614 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:27:40] 849*2^1251472-1 is not prime. Res64: FD008E4AB43F15A5 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:27:41] 855*2^1251472-1 is not prime. Res64: DFC4A257002AC27F Time : 0.0 sec. user=mdettweiler [2013-08-22 05:28:45] 887*2^1251472-1 is not prime. Res64: 059409FFFD4150C2 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:28:45] 929*2^1251472-1 is not prime. Res64: 436EFD7A251E317E Time : 0.0 sec. user=mdettweiler [2013-08-22 05:36:13] 999*2^1251472-1 is not prime. Res64: 63062E3FAB8E1D4B Time : 0.0 sec. user=mdettweiler [2013-08-22 05:36:14] 627*2^1251473-1 is not prime. Res64: 839B671FE7E44864 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:46:13] 631*2^1251473-1 is not prime. Res64: 1BC3CA7A67D16EEF Time : 0.0 sec. user=mdettweiler [2013-08-22 05:46:14] 685*2^1251473-1 is not prime. Res64: FCE383447A2BE9F0 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:47:43] 705*2^1251473-1 is not prime. Res64: 737116CE4C791D68 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:47:44] 795*2^1251473-1 is not prime. Res64: 9B71976E9E723DEE Time : 0.0 sec. user=mdettweiler [2013-08-22 05:49:44] 987*2^1251473-1 is not prime. Res64: 90F396AEC0FC6D50 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:49:44] 641*2^1251474-1 is not prime. Res64: 038D45C09ABF3C46 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:56:15] 671*2^1251474-1 is not prime. Res64: B2E7743DD29BFD72 Time : 0.0 sec. user=mdettweiler [2013-08-22 05:56:15] 705*2^1251474-1 is not prime. Res64: 765A47F6F931C0D3 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:06:22] 807*2^1251474-1 is not prime. Res64: 0076DFFA6585880F Time : 0.0 sec. user=mdettweiler [2013-08-22 06:06:23] 873*2^1251474-1 is not prime. Res64: 1C9076CEA327AFC0 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:07:47] 881*2^1251474-1 is not prime. Res64: 5C4BF953B6554A1F Time : 0.0 sec. user=mdettweiler [2013-08-22 06:07:47] 891*2^1251474-1 is not prime. Res64: 177B974FE83970AB Time : 0.0 sec. user=mdettweiler [2013-08-22 06:11:40] 915*2^1251474-1 is not prime. Res64: 57849A482E5F1104 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:11:41] 917*2^1251474-1 is not prime. Res64: F4EFBEE50C13011E Time : 0.0 sec. user=mdettweiler [2013-08-22 06:16:18] 633*2^1251475-1 is not prime. Res64: 17EE4E8051842160 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:16:18] 649*2^1251475-1 is not prime. Res64: 94AB6618E078751B Time : 0.0 sec. user=mdettweiler [2013-08-22 06:27:31] 793*2^1251475-1 is not prime. Res64: 442B5E67BF1AC762 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:27:32] 943*2^1251475-1 is not prime. Res64: 1982EC4416EBC262 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:27:59] 603*2^1251476-1 is not prime. Res64: 6E37936E5BE4C547 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:28:00] 677*2^1251476-1 is not prime. Res64: CAC91F272284B60B Time : 0.0 sec. user=mdettweiler [2013-08-22 06:31:49] 725*2^1251476-1 is not prime. Res64: 8BB55EE090E9B803 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:31:50] 827*2^1251476-1 is not prime. Res64: BD560FFEE035020C Time : 0.0 sec. user=mdettweiler [2013-08-22 06:37:33] 893*2^1251476-1 is not prime. Res64: B530432040A43877 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:37:33] 897*2^1251476-1 is not prime. Res64: F1B78615D67A9D6A Time : 0.0 sec. user=mdettweiler [2013-08-22 06:47:42] 681*2^1251477-1 is not prime. Res64: ABC1BFE442BB390F Time : 0.0 sec. user=mdettweiler [2013-08-22 06:47:42] 777*2^1251477-1 is not prime. Res64: 34C8AE6993B1EB0A Time : 0.0 sec. user=mdettweiler [2013-08-22 06:48:10] 825*2^1251477-1 is not prime. Res64: 5DD2BC414C3BDDCE Time : 0.0 sec. user=mdettweiler [2013-08-22 06:48:11] 871*2^1251477-1 is not prime. Res64: 1420323059D77D77 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:52:57] 891*2^1251477-1 is not prime. Res64: 9295907313323645 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:52:57] 919*2^1251477-1 is not prime. Res64: 5E43BFB5BE8565F5 Time : 0.0 sec. user=juhehe [2013-08-22 06:57:23] 969*2^1251475-1 is not prime. Res64: 275E119FB4599D08 Time : 0.0 sec. user=mdettweiler [2013-08-22 06:59:34] 979*2^1251477-1 is not prime. Res64: 884CA585A86A04CE Time : 0.0 sec. user=mdettweiler [2013-08-22 06:59:35] 991*2^1251477-1 is not prime. Res64: 5161C704D70BA1A3 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:07:46] 651*2^1251478-1 is not prime. Res64: 1E831431123A8397 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:07:47] 657*2^1251478-1 is not prime. Res64: 35DDE5CA44DE76FA Time : 0.0 sec. user=mdettweiler [2013-08-22 07:08:17] 737*2^1251478-1 is not prime. Res64: C4D58FF92BC03938 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:08:18] 777*2^1251478-1 is not prime. Res64: D9A1213DB19A90BC Time : 0.0 sec. user=mdettweiler [2013-08-22 07:13:09] 857*2^1251478-1 is not prime. Res64: 2D49B0D2A0C3433C Time : 0.0 sec. user=mdettweiler [2013-08-22 07:13:10] 609*2^1251479-1 is not prime. Res64: 7A1AAD8B98930E20 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:19:44] 669*2^1251479-1 is not prime. Res64: 3C85B334EBE0CA01 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:19:45] 703*2^1251479-1 is not prime. Res64: 57EE82683AAFF77B Time : 0.0 sec. user=mdettweiler [2013-08-22 07:27:52] 859*2^1251479-1 is not prime. Res64: 359CF8BA9EAC8F75 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:27:53] 861*2^1251479-1 is not prime. Res64: 3CCA44B09E69472A Time : 0.0 sec. user=mdettweiler [2013-08-22 07:29:24] 879*2^1251479-1 is not prime. Res64: 33FFE65BD30C3898 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:29:25] 939*2^1251479-1 is not prime. Res64: 87FA3E589BEB2123 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:35:23] 949*2^1251479-1 is not prime. Res64: 583C99BF0986DD94 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:35:24] 999*2^1251479-1 is not prime. Res64: C4E0D45EEE6EF3BF Time : 0.0 sec. user=juhehe [2013-08-22 07:38:47] 619*2^1251479-1 is not prime. Res64: 34F2E81011469A40 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:39:53] 609*2^1251480-1 is not prime. Res64: F383A2153238E193 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:39:54] 627*2^1251480-1 is not prime. Res64: DFE88989F7078218 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:48:09] 629*2^1251480-1 is not prime. Res64: 2BC87DD124E96DE7 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:48:09] 707*2^1251480-1 is not prime. Res64: BC7EC9E91C60B9CC Time : 0.0 sec. user=mdettweiler [2013-08-22 07:49:43] 737*2^1251480-1 is not prime. Res64: F52F6EAB734EF000 Time : 0.0 sec. user=mdettweiler [2013-08-22 07:49:43] 773*2^1251480-1 is not prime. Res64: AE0267575F1C368B Time : 0.0 sec. user=mdettweiler [2013-08-22 07:55:32] 825*2^1251480-1 is not prime. Res64: FE567634DDFFD47A Time : 0.0 sec. user=mdettweiler [2013-08-22 07:55:32] 873*2^1251480-1 is not prime. Res64: 922C249BF5E9C3F4 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:02:02] 905*2^1251480-1 is not prime. Res64: 44BF5A1A868663C8 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:02:03] 933*2^1251480-1 is not prime. Res64: 4EB4BB98A0AFF079 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:10:21] 959*2^1251480-1 is not prime. Res64: 397AA6BF232BF420 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:10:22] 975*2^1251480-1 is not prime. Res64: 98E05A29E0C8C7BE Time : 0.0 sec. user=mdettweiler [2013-08-22 08:11:49] 983*2^1251480-1 is not prime. Res64: 75F10071B10723B2 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:11:50] 999*2^1251480-1 is not prime. Res64: 8645958846B9CCC2 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:15:39] 675*2^1251481-1 is not prime. Res64: 85F9067CABE02F00 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:15:39] 751*2^1251481-1 is not prime. Res64: D6845F78F1C60B3C Time : 0.0 sec. user=mdettweiler [2013-08-22 08:22:10] 807*2^1251481-1 is not prime. Res64: 9DDE9541E4083C80 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:22:11] 675*2^1251482-1 is not prime. Res64: 1CAFBA82703E98EE Time : 0.0 sec. user=mdettweiler [2013-08-22 08:30:42] 677*2^1251482-1 is not prime. Res64: 00FAFC33F66E2B20 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:30:42] 705*2^1251482-1 is not prime. Res64: C592B844A159575E Time : 0.0 sec. user=mdettweiler [2013-08-22 08:32:06] 711*2^1251482-1 is not prime. Res64: C67403D8C8F7F8BA Time : 0.0 sec. user=mdettweiler [2013-08-22 08:32:07] 713*2^1251482-1 is not prime. Res64: 31B478D96AF3262E Time : 0.0 sec. user=mdettweiler [2013-08-22 08:35:47] 743*2^1251482-1 is not prime. Res64: A874F859CF1F9CC0 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:35:48] 755*2^1251482-1 is not prime. Res64: AB21249DCDD5586E Time : 0.0 sec. user=mdettweiler [2013-08-22 08:42:30] 767*2^1251482-1 is not prime. Res64: A732E1189DFD58DC Time : 0.0 sec. user=mdettweiler [2013-08-22 08:42:31] 801*2^1251482-1 is not prime. Res64: 8D3EB2C67E621C50 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:51:45] 951*2^1251482-1 is not prime. Res64: 3724CEE13DC54ADB Time : 0.0 sec. user=mdettweiler [2013-08-22 08:51:46] 643*2^1251483-1 is not prime. Res64: 27472A4D2DA89AD8 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:52:14] 649*2^1251483-1 is not prime. Res64: EE06729D5B016C33 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:52:14] 679*2^1251483-1 is not prime. Res64: E2E7B9A2E5FE2CD6 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:56:46] 943*2^1251483-1 is not prime. Res64: A6E6CC0A854F9535 Time : 0.0 sec. user=mdettweiler [2013-08-22 08:56:47] 885*2^1251484-1 is not prime. Res64: 7A0BD5151195B75C Time : 0.0 sec. user=mdettweiler [2013-08-22 09:03:30] 887*2^1251484-1 is not prime. Res64: F10BDD2BDCB4E332 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:03:31] 927*2^1251484-1 is not prime. Res64: 8659001D4BDBEE6D Time : 0.0 sec. user=mdettweiler [2013-08-22 09:11:51] 685*2^1251485-1 is not prime. Res64: 1B09B8C328948B83 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:11:52] 735*2^1251485-1 is not prime. Res64: AEB1A1ADD76C6135 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:12:20] 859*2^1251485-1 is not prime. Res64: FEC53F5DBF296FCA Time : 0.0 sec. user=mdettweiler [2013-08-22 09:12:21] 885*2^1251485-1 is not prime. Res64: 548AB8FC76A4F6BC Time : 0.0 sec. user=mdettweiler [2013-08-22 09:17:59] 937*2^1251485-1 is not prime. Res64: 8B01C9503C59673F Time : 0.0 sec. user=mdettweiler [2013-08-22 09:18:00] 767*2^1251486-1 is not prime. Res64: 65C7F800F0DF65F6 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:23:43] 783*2^1251486-1 is not prime. Res64: F58729C0647F8DDC Time : 0.0 sec. user=mdettweiler [2013-08-22 09:23:44] 807*2^1251486-1 is not prime. Res64: DE26FF5AD2A72C05 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:32:29] 619*2^1251487-1 is not prime. Res64: E02B41E10C55705D Time : 0.0 sec. user=mdettweiler [2013-08-22 09:32:29] 685*2^1251487-1 is not prime. Res64: FBB5934A79CD54DD Time : 0.0 sec. user=mdettweiler [2013-08-22 09:34:01] 917*2^1251486-1 is not prime. Res64: E7E719516BA2C23E Time : 0.0 sec. user=mdettweiler [2013-08-22 09:34:02] 945*2^1251486-1 is not prime. Res64: CAF54A885088CBD4 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:38:11] 775*2^1251487-1 is not prime. Res64: 7DCE64ACE9B93E8B Time : 0.0 sec. user=mdettweiler [2013-08-22 09:38:12] 889*2^1251487-1 is not prime. Res64: 1BCAD183A758CF80 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:45:53] 919*2^1251487-1 is not prime. Res64: 78DCF679A4B9CCF4 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:45:53] 933*2^1251487-1 is not prime. Res64: B50BDC0A18054709 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:52:34] 635*2^1251488-1 is not prime. Res64: 9B157270762F57C7 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:52:35] 765*2^1251489-1 is not prime. Res64: 3D899BC4E3998426 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:55:07] 835*2^1251489-1 is not prime. Res64: 16E636AAB8DD50B1 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:55:08] 949*2^1251489-1 is not prime. Res64: E7BBE5DFD890EBB2 Time : 0.0 sec. user=mdettweiler [2013-08-22 09:58:18] 675*2^1251490-1 is not prime. Res64: 9A0B0D17D7F2148A Time : 0.0 sec. user=mdettweiler [2013-08-22 09:58:19] 765*2^1251490-1 is not prime. Res64: 98E3185A2FF7187B Time : 0.0 sec. user=mdettweiler [2013-08-22 10:06:00] 885*2^1251490-1 is not prime. Res64: 5595F204EC50F528 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:06:02] 891*2^1251490-1 is not prime. Res64: E1F2EECB688D04AD Time : 0.0 sec. user=mdettweiler [2013-08-22 10:14:31] 941*2^1251490-1 is not prime. Res64: 3E59F81808601EE7 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:14:32] 951*2^1251490-1 is not prime. Res64: 53EC9A9E2D2F23EE Time : 0.0 sec. user=mdettweiler [2013-08-22 10:16:06] 995*2^1251490-1 is not prime. Res64: 818E4E39C0405ACF Time : 0.0 sec. user=mdettweiler [2013-08-22 10:16:06] 603*2^1251491-1 is not prime. Res64: E0D652C95715DFFC Time : 0.0 sec. user=juhehe [2013-08-22 10:17:52] 961*2^1251487-1 is not prime. Res64: D1C088643F4D0F55 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:18:25] 693*2^1251491-1 is not prime. Res64: 5FC6F507635CBC04 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:18:26] 735*2^1251491-1 is not prime. Res64: DD4F01C934138CFA Time : 0.0 sec. user=mdettweiler [2013-08-22 10:26:19] 759*2^1251491-1 is not prime. Res64: 995E27CC12CB91FD Time : 0.0 sec. user=mdettweiler [2013-08-22 10:26:19] 775*2^1251491-1 is not prime. Res64: AEDDE969948A95E4 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:35:47] 841*2^1251491-1 is not prime. Res64: 2CF3E876A17514A4 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:35:48] 901*2^1251491-1 is not prime. Res64: D849F5F42B8F3637 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:37:17] 909*2^1251491-1 is not prime. Res64: CF6A65F2969ECF51 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:37:17] 615*2^1251492-1 is not prime. Res64: 6E84216260DE9B11 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:38:38] 623*2^1251492-1 is not prime. Res64: 2C6609AA14F3C6ED Time : 0.0 sec. user=mdettweiler [2013-08-22 10:38:38] 669*2^1251492-1 is not prime. Res64: E8E8A5393ACA8F0C Time : 0.0 sec. user=mdettweiler [2013-08-22 10:46:30] 689*2^1251492-1 is not prime. Res64: 084C51E74F24765D Time : 0.0 sec. user=mdettweiler [2013-08-22 10:46:30] 725*2^1251492-1 is not prime. Res64: B23FB2570EE4F398 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:55:52] 749*2^1251492-1 is not prime. Res64: 3A0DF6BD32A6C5A6 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:55:53] 819*2^1251492-1 is not prime. Res64: 12F81A57400F4E34 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:58:23] 909*2^1251492-1 is not prime. Res64: FB3763F768EB13E8 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:58:23] 621*2^1251493-1 is not prime. Res64: E1E486D449C210BC Time : 0.0 sec. user=mdettweiler [2013-08-22 10:58:47] 721*2^1251493-1 is not prime. Res64: 2F84F62470C5DC20 Time : 0.0 sec. user=mdettweiler [2013-08-22 10:58:48] 747*2^1251493-1 is not prime. Res64: C9F9D560B1815CE3 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:07:43] 751*2^1251493-1 is not prime. Res64: C04105DABDBD18D1 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:07:44] 915*2^1251493-1 is not prime. Res64: C6510DE9B0770F5D Time : 0.0 sec. user=mdettweiler [2013-08-22 11:16:06] 675*2^1251494-1 is not prime. Res64: 5254AB1C17122B0B Time : 0.0 sec. user=mdettweiler [2013-08-22 11:16:07] 747*2^1251494-1 is not prime. Res64: 047418258AC65B33 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:19:36] 753*2^1251494-1 is not prime. Res64: 5ED4A20FFA7955C1 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:19:36] 897*2^1251494-1 is not prime. Res64: 91C01AD1469DBDD9 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:21:05] 917*2^1251494-1 is not prime. Res64: 105CF9D5EEDBA9C0 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:21:05] 971*2^1251494-1 is not prime. Res64: 50FDCE592A98CC86 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:27:53] 639*2^1251495-1 is not prime. Res64: D0531976CAD26162 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:27:53] 643*2^1251495-1 is not prime. Res64: A53489F1178D39BB Time : 0.0 sec. user=mdettweiler [2013-08-22 11:36:18] 741*2^1251495-1 is not prime. Res64: 10B9AF92A6445FB1 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:36:19] 783*2^1251495-1 is not prime. Res64: 0DB72499FCAD3517 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:40:43] 819*2^1251495-1 is not prime. Res64: BF454A74523FCFFA Time : 0.0 sec. user=mdettweiler [2013-08-22 11:40:44] 973*2^1251495-1 is not prime. Res64: A1CF21DA5D1A9C99 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:41:13] 717*2^1251496-1 is not prime. Res64: C69ECF6059D159DE Time : 0.0 sec. user=mdettweiler [2013-08-22 11:41:13] 747*2^1251496-1 is not prime. Res64: 0613D9B02A979EC7 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:48:04] 755*2^1251496-1 is not prime. Res64: 89F09E8198471788 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:48:05] 765*2^1251496-1 is not prime. Res64: 783F8B8C35AB4D2F Time : 0.0 sec. user=juhehe [2013-08-22 11:54:01] 685*2^1251495-1 is not prime. Res64: AA844EE3CE87B251 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:56:30] 631*2^1251497-1 is not prime. Res64: 60982296EF87BAD3 Time : 0.0 sec. user=mdettweiler [2013-08-22 11:56:30] 847*2^1251497-1 is not prime. Res64: 10E5E4A3ECC7E22C Time : 0.0 sec. user=mdettweiler [2013-08-22 12:01:24] 695*2^1251498-1 is not prime. Res64: CC85AF14740A84E0 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:01:25] 725*2^1251498-1 is not prime. Res64: B526CD635F57F8A4 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:01:53] 949*2^1251497-1 is not prime. Res64: 831618D7E1BB2859 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:01:55] 683*2^1251498-1 is not prime. Res64: 8164D2CB87CFF5B1 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:09:15] 773*2^1251498-1 is not prime. Res64: 94C34DD0C3B066F0 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:09:16] 933*2^1251498-1 is not prime. Res64: 6F07AEB0294121F7 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:16:45] 615*2^1251499-1 is not prime. Res64: 55D3D7CEB473E373 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:16:45] 631*2^1251499-1 is not prime. Res64: 44DD2EBC07A8F96F Time : 0.0 sec. user=mdettweiler [2013-08-22 12:21:54] 663*2^1251499-1 is not prime. Res64: E6C602D0E2A60A92 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:21:55] 741*2^1251499-1 is not prime. Res64: 08E40DAFD5F6C4F1 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:22:14] 765*2^1251499-1 is not prime. Res64: ED6DB87FC5044D55 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:22:14] 789*2^1251499-1 is not prime. Res64: 318E25D42F5E358C Time : 0.0 sec. user=mdettweiler [2013-08-22 12:31:33] 951*2^1251499-1 is not prime. Res64: 03D489BA937E6DEC Time : 0.0 sec. user=mdettweiler [2013-08-22 12:31:34] 999*2^1251499-1 is not prime. Res64: DBA3FD466E69B450 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:37:03] 633*2^1251500-1 is not prime. Res64: A9417C021F272BAF Time : 0.0 sec. user=mdettweiler [2013-08-22 12:37:04] 647*2^1251500-1 is not prime. Res64: 322C5A45E967A920 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:42:05] 755*2^1251500-1 is not prime. Res64: BB1DB2135656BB3B Time : 0.0 sec. user=mdettweiler [2013-08-22 12:42:06] 773*2^1251500-1 is not prime. Res64: F32F375234BB6BC9 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:43:33] 875*2^1251500-1 is not prime. Res64: 2A81463D84F4FE20 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:43:33] 923*2^1251500-1 is not prime. Res64: 39F4D5D5D3DFD5E8 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:51:48] 661*2^1251501-1 is not prime. Res64: D90FEBBA68D7FDA1 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:51:48] 691*2^1251501-1 is not prime. Res64: 749912FD681568A0 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:57:16] 777*2^1251501-1 is not prime. Res64: 3D47E7F84DC538C2 Time : 0.0 sec. user=mdettweiler [2013-08-22 12:57:17] 849*2^1251501-1 is not prime. Res64: 978DDF5982FFAE26 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:04:16] 949*2^1251501-1 is not prime. Res64: E49CD113EF613A52 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:04:17] 961*2^1251501-1 is not prime. Res64: F9420C57922EAE68 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:05:50] 969*2^1251501-1 is not prime. Res64: E4750C6DEE007CAA Time : 0.0 sec. user=mdettweiler [2013-08-22 13:05:51] 975*2^1251501-1 is not prime. Res64: ACCE4002A6F2BB3E Time : 0.0 sec. user=mdettweiler [2013-08-22 13:13:00] 997*2^1251501-1 is not prime. Res64: 0E8E2F7B220572D0 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:13:00] 657*2^1251502-1 is not prime. Res64: FF2BCC63A8F34FE9 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:17:25] 671*2^1251502-1 is not prime. Res64: DB6E90867ADB9AC7 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:17:25] 741*2^1251502-1 is not prime. Res64: 9650AA5EF3D6CF88 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:24:28] 765*2^1251502-1 is not prime. Res64: A609BBF5AFC08469 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:24:28] 815*2^1251502-1 is not prime. Res64: A1DEC6358A589B7C Time : 0.0 sec. user=mdettweiler [2013-08-22 13:27:58] 915*2^1251502-1 is not prime. Res64: FE18F224BE99D471 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:27:58] 1001*2^1251502-1 is not prime. Res64: 1DC6FC00E872B1C6 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:33:12] 673*2^1251503-1 is not prime. Res64: 858524ED9F683A48 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:33:12] 741*2^1251503-1 is not prime. Res64: 89CF42CF1F445546 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:37:40] 759*2^1251503-1 is not prime. Res64: 0AE6719B9803FB2A Time : 0.0 sec. user=mdettweiler [2013-08-22 13:37:40] 763*2^1251503-1 is not prime. Res64: F3BCE834C238A833 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:44:38] 831*2^1251503-1 is not prime. Res64: 7623EF7F4360F7BB Time : 0.0 sec. user=mdettweiler [2013-08-22 13:44:38] 871*2^1251503-1 is not prime. Res64: 9D76EB0F1F726013 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:49:05] 885*2^1251503-1 is not prime. Res64: 1C92D1131032F0A2 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:49:06] 939*2^1251503-1 is not prime. Res64: F0754AA8C4BC36A9 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:55:23] 955*2^1251503-1 is not prime. Res64: 8AF7B939E256510F Time : 0.0 sec. user=mdettweiler [2013-08-22 13:55:24] 969*2^1251503-1 is not prime. Res64: 551CD43958D88BAB Time : 0.0 sec. user=mdettweiler [2013-08-22 13:57:52] 623*2^1251504-1 is not prime. Res64: 85E45618D5FF54D3 Time : 0.0 sec. user=mdettweiler [2013-08-22 13:57:52] 693*2^1251504-1 is not prime. Res64: D7059220AFDB13CA Time : 0.0 sec. user=mdettweiler [2013-08-22 14:05:47] 737*2^1251504-1 is not prime. Res64: 723FEAF5C6ECC7E7 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:05:48] 903*2^1251504-1 is not prime. Res64: 0B94135CEE11CE1B Time : 0.0 sec. user=mdettweiler [2013-08-22 14:11:23] 915*2^1251504-1 is not prime. Res64: EC195F43FF321823 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:11:24] 923*2^1251504-1 is not prime. Res64: 1686F5EF2C8CFB06 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:16:36] 929*2^1251504-1 is not prime. Res64: 49402BE371ADB3FB Time : 0.0 sec. user=mdettweiler [2013-08-22 14:16:36] 609*2^1251505-1 is not prime. Res64: 4BBAF65CFBE9855D Time : 0.0 sec. user=mdettweiler [2013-08-22 14:18:03] 729*2^1251505-1 is not prime. Res64: FA812C1527A2D287 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:18:04] 771*2^1251505-1 is not prime. Res64: 46D904C652073D0F Time : 0.0 sec. user=mdettweiler [2013-08-22 14:25:59] 819*2^1251505-1 is not prime. Res64: 9D5142888C5A70A2 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:26:00] 841*2^1251505-1 is not prime. Res64: 20F1091A2697A6AB Time : 0.0 sec. user=mdettweiler [2013-08-22 14:32:36] 861*2^1251505-1 is not prime. Res64: 92A44BF9FC23FC51 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:32:36] 915*2^1251505-1 is not prime. Res64: A66EE5389E3EC468 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:36:47] 617*2^1251506-1 is not prime. Res64: 72EAFF03AB1021E1 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:36:48] 645*2^1251506-1 is not prime. Res64: BDE2DF1BF5D3B521 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:38:13] 717*2^1251506-1 is not prime. Res64: A49D0556650D3170 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:38:13] 735*2^1251506-1 is not prime. Res64: 615A6E6FDFA92869 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:46:15] 813*2^1251506-1 is not prime. Res64: A88573EE3327A9B7 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:46:15] 861*2^1251506-1 is not prime. Res64: 1449290AECE8C706 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:52:54] 633*2^1251507-1 is not prime. Res64: CE42D0C61F534E5E Time : 0.0 sec. user=mdettweiler [2013-08-22 14:52:54] 669*2^1251507-1 is not prime. Res64: D3F7639D5FE4F26A Time : 0.0 sec. user=mdettweiler [2013-08-22 14:57:04] 675*2^1251507-1 is not prime. Res64: 151903DA12C22D52 Time : 0.0 sec. user=mdettweiler [2013-08-22 14:57:04] 871*2^1251507-1 is not prime. Res64: 53D2BBC85CF5CC92 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:00:30] 919*2^1251507-1 is not prime. Res64: 99FBD33A4B02AEB2 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:00:31] 955*2^1251507-1 is not prime. Res64: 05E06669CCD0AAFB Time : 0.0 sec. user=mdettweiler [2013-08-22 15:08:28] 961*2^1251507-1 is not prime. Res64: 74ADD64F3FD34697 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:08:29] 963*2^1251507-1 is not prime. Res64: 818CB8033B8AF61B Time : 0.0 sec. user=mdettweiler [2013-08-22 15:14:04] 973*2^1251507-1 is not prime. Res64: 3E44A0FDDD5346E0 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:14:05] 665*2^1251508-1 is not prime. Res64: 8F1A2A8AFCCBF3D7 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:17:21] 723*2^1251508-1 is not prime. Res64: A2A1C2A529262CE5 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:17:22] 735*2^1251508-1 is not prime. Res64: 66499702DDE6AFFB Time : 0.0 sec. user=mdettweiler [2013-08-22 15:20:47] 773*2^1251508-1 is not prime. Res64: F2E0A0979787B259 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:20:48] 797*2^1251508-1 is not prime. Res64: 58BDC977E133A3FB Time : 0.0 sec. user=mdettweiler [2013-08-22 15:29:36] 953*2^1251508-1 is not prime. Res64: B7FBEDAE1A605E34 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:29:37] 721*2^1251509-1 is not prime. Res64: 3166E1B5B087417A Time : 0.0 sec. user=mdettweiler [2013-08-22 15:34:12] 759*2^1251509-1 is not prime. Res64: 9DA97345267ECDE9 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:34:13] 865*2^1251509-1 is not prime. Res64: 4FA46C084B847BE3 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:37:39] 885*2^1251509-1 is not prime. Res64: F14AD3895E64A768 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:37:39] 651*2^1251510-1 is not prime. Res64: 3AD78931820C6CE8 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:40:58] 725*2^1251510-1 is not prime. Res64: 3B88B1A03C72D9BD Time : 0.0 sec. user=mdettweiler [2013-08-22 15:40:58] 747*2^1251510-1 is not prime. Res64: ED53AD8839500952 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:50:45] 761*2^1251510-1 is not prime. Res64: F7011ED7319B8362 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:50:46] 977*2^1251510-1 is not prime. Res64: F01E17275FCAF267 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:54:29] 811*2^1251511-1 is not prime. Res64: EA6E81397D4D48C1 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:54:30] 855*2^1251511-1 is not prime. Res64: D9CE6AF3D111AEC1 Time : 0.0 sec. user=mdettweiler [2013-08-22 15:58:51] 871*2^1251511-1 is not prime. Res64: DB4CA48152951D7C Time : 0.0 sec. user=mdettweiler [2013-08-22 15:58:52] 933*2^1251511-1 is not prime. Res64: 3EB12F84B5BC949B Time : 0.0 sec. user=mdettweiler [2013-08-22 16:03:19] 943*2^1251511-1 is not prime. Res64: 0F5426A684A398CF Time : 0.0 sec. user=mdettweiler [2013-08-22 16:03:21] 975*2^1251511-1 is not prime. Res64: 6208BB221B6EA33E Time : 0.0 sec. user=mdettweiler [2013-08-22 16:11:01] 635*2^1251512-1 is not prime. Res64: 01E6266C902A115E Time : 0.0 sec. user=mdettweiler [2013-08-22 16:11:03] 743*2^1251512-1 is not prime. Res64: 74A928306A8E64C6 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:14:45] 759*2^1251512-1 is not prime. Res64: 7F8DB0A5E3B7ABF9 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:14:45] 767*2^1251512-1 is not prime. Res64: AA2A9D71539F1B62 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:19:12] 819*2^1251513-1 is not prime. Res64: 97CE94091CD188D6 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:19:12] 847*2^1251513-1 is not prime. Res64: E9628EA9A70BCBE9 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:23:36] 707*2^1251514-1 is not prime. Res64: B2D524474685BB93 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:23:36] 717*2^1251514-1 is not prime. Res64: F99E89579DAEF230 Time : 0.0 sec. user=juhehe [2013-08-22 16:26:57] 843*2^1251508-1 is not prime. Res64: 95268CC4DC5F554F Time : 0.0 sec. user=mdettweiler [2013-08-22 16:31:22] 755*2^1251514-1 is not prime. Res64: 3CEEB74AFA907A56 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:31:23] 885*2^1251514-1 is not prime. Res64: A51CFF0D8776E1CA Time : 0.0 sec. user=mdettweiler [2013-08-22 16:34:57] 609*2^1251515-1 is not prime. Res64: 4278AD00FDA790CC Time : 0.0 sec. user=mdettweiler [2013-08-22 16:34:57] 759*2^1251515-1 is not prime. Res64: 99B000DA730F5B70 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:39:40] 789*2^1251515-1 is not prime. Res64: E5917467C3BFF4B1 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:39:41] 883*2^1251515-1 is not prime. Res64: C44E5E8873A44141 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:43:52] 635*2^1251516-1 is not prime. Res64: E59AD50414484064 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:43:53] 725*2^1251516-1 is not prime. Res64: 10770276F87BF616 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:52:39] 783*2^1251516-1 is not prime. Res64: F6BDFB23F361D7FF Time : 0.0 sec. user=mdettweiler [2013-08-22 16:52:39] 909*2^1251516-1 is not prime. Res64: 7CB2EA5B9387EA63 Time : 0.0 sec. user=mdettweiler [2013-08-22 16:56:14] 999*2^1251516-1 is not prime. Res64: 0C49670E06723DEB Time : 0.0 sec. user=mdettweiler [2013-08-22 16:56:15] 651*2^1251517-1 is not prime. Res64: 1936952813178196 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:00:06] 687*2^1251517-1 is not prime. Res64: 9F8F1268039A9E7B Time : 0.0 sec. user=mdettweiler [2013-08-22 17:00:08] 729*2^1251517-1 is not prime. Res64: ABEF6876A9B09A0B Time : 0.0 sec. user=mdettweiler [2013-08-22 17:05:18] 889*2^1251517-1 is not prime. Res64: FFBB90A7D845DCA2 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:05:19] 915*2^1251517-1 is not prime. Res64: 29FDFEF8166ACE9E Time : 0.0 sec. user=mdettweiler [2013-08-22 17:14:04] 945*2^1251517-1 is not prime. Res64: EF42C4A32D0979AF Time : 0.0 sec. user=mdettweiler [2013-08-22 17:14:05] 705*2^1251518-1 is not prime. Res64: A5A2F5EE6A25B55A Time : 0.0 sec. user=juhehe [2013-08-22 17:15:56] 749*2^1251516-1 is not prime. Res64: 9E1369BC89DA7E60 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:16:42] 707*2^1251518-1 is not prime. Res64: FDC1D0F3AB19F6D9 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:16:43] 755*2^1251518-1 is not prime. Res64: EE587664539770B9 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:21:31] 885*2^1251518-1 is not prime. Res64: 793E8A4A9E82EA2A Time : 0.0 sec. user=mdettweiler [2013-08-22 17:21:32] 945*2^1251518-1 is not prime. Res64: FBDEF7E62653C925 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:27:44] 987*2^1251518-1 is not prime. Res64: 83A2B7EDEFDCEEDD Time : 0.0 sec. user=mdettweiler [2013-08-22 17:27:45] 1001*2^1251518-1 is not prime. Res64: 82EC6378C619345C Time : 0.0 sec. user=mdettweiler [2013-08-22 17:34:26] 709*2^1251519-1 is not prime. Res64: C6F540CBB90E8D99 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:34:27] 723*2^1251519-1 is not prime. Res64: 764B7960E14C5D39 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:38:06] 955*2^1251519-1 is not prime. Res64: 48F3A5A9BBFE2333 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:38:07] 623*2^1251520-1 is not prime. Res64: 19ADDE6D666EBFE4 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:42:03] 675*2^1251520-1 is not prime. Res64: 44A75DA551A8B9B8 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:42:04] 735*2^1251520-1 is not prime. Res64: 70A47152699F387B Time : 0.0 sec. user=mdettweiler [2013-08-22 17:48:08] 747*2^1251520-1 is not prime. Res64: 76AA72739051CD87 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:48:08] 849*2^1251520-1 is not prime. Res64: F47CBBDF88F9D7C6 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:55:47] 875*2^1251520-1 is not prime. Res64: 9EA5439F1004BA5C Time : 0.0 sec. user=mdettweiler [2013-08-22 17:55:48] 915*2^1251520-1 is not prime. Res64: 4A501487954CEB37 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:58:29] 711*2^1251521-1 is not prime. Res64: A1AD95E36AD6C325 Time : 0.0 sec. user=mdettweiler [2013-08-22 17:58:30] 741*2^1251521-1 is not prime. Res64: 64C873316F405A61 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:02:29] 799*2^1251521-1 is not prime. Res64: A973BF6466C859FA Time : 0.0 sec. user=mdettweiler [2013-08-22 18:02:30] 889*2^1251521-1 is not prime. Res64: 1C3C8A111FB7660F Time : 0.0 sec. user=mdettweiler [2013-08-22 18:08:32] 657*2^1251522-1 is not prime. Res64: B11CDA9875C33C58 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:08:33] 671*2^1251522-1 is not prime. Res64: C7FF9B648F629829 Time : 0.0 sec. user=juhehe [2013-08-22 18:09:50] 909*2^1251519-1 is not prime. Res64: AB3C30E1757B1670 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:16:09] 791*2^1251522-1 is not prime. Res64: ADBADBEF24AB7D62 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:16:09] 843*2^1251522-1 is not prime. Res64: 7E10710A7978B688 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:19:51] 957*2^1251522-1 is not prime. Res64: 675C816B993BBED7 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:19:52] 631*2^1251523-1 is not prime. Res64: 64C6AE4B1326E2B2 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:22:56] 835*2^1251523-1 is not prime. Res64: 986F4ECCA348A0F3 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:22:57] 861*2^1251523-1 is not prime. Res64: AA6D7636DB854E14 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:29:56] 883*2^1251523-1 is not prime. Res64: 816BABB811A3FF7A Time : 0.0 sec. user=mdettweiler [2013-08-22 18:29:56] 925*2^1251523-1 is not prime. Res64: 7B6545F4AF1B11CE Time : 0.0 sec. user=mdettweiler [2013-08-22 18:36:32] 635*2^1251524-1 is not prime. Res64: 50B0D82B6A46762D Time : 0.0 sec. user=mdettweiler [2013-08-22 18:36:33] 789*2^1251524-1 is not prime. Res64: A6D38C7828470C4E Time : 0.0 sec. user=mdettweiler [2013-08-22 18:40:19] 813*2^1251524-1 is not prime. Res64: 3395F07C44EA85E4 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:40:20] 819*2^1251524-1 is not prime. Res64: 41BFCDDD41A567E7 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:44:23] 929*2^1251524-1 is not prime. Res64: 985E341491FDAE21 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:44:23] 627*2^1251525-1 is not prime. Res64: 4888C2B13C7B0800 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:50:22] 709*2^1251525-1 is not prime. Res64: BD220BC69541C43E Time : 0.0 sec. user=mdettweiler [2013-08-22 18:50:22] 765*2^1251525-1 is not prime. Res64: C05BE23A33C4F72F Time : 0.0 sec. user=mdettweiler [2013-08-22 18:57:54] 811*2^1251525-1 is not prime. Res64: 86A31960360D7985 Time : 0.0 sec. user=mdettweiler [2013-08-22 18:57:54] 895*2^1251525-1 is not prime. Res64: 177D68AF06D8B762 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:00:48] 855*2^1251526-1 is not prime. Res64: 1FA2F55D0E2B4D76 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:00:49] 873*2^1251526-1 is not prime. Res64: CB78566F4A7B15A6 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:05:43] 965*2^1251526-1 is not prime. Res64: 2B62CDD53AA4A3D3 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:05:44] 651*2^1251527-1 is not prime. Res64: 5D93603ABBA4F687 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:10:46] 655*2^1251527-1 is not prime. Res64: F46B500B691B69CD Time : 0.0 sec. user=mdettweiler [2013-08-22 19:10:47] 693*2^1251527-1 is not prime. Res64: F720FFFEED113CA0 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:21:08] 813*2^1251527-1 is not prime. Res64: 7FC73FAF78D6BE7D Time : 0.0 sec. user=mdettweiler [2013-08-22 19:21:09] 841*2^1251527-1 is not prime. Res64: 43A6C7F5426A593D Time : 0.0 sec. user=mdettweiler [2013-08-22 19:27:04] 885*2^1251527-1 is not prime. Res64: C32121D4B7D7BA72 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:27:04] 895*2^1251527-1 is not prime. Res64: E7B45F879E0CFD7D Time : 0.0 sec. user=mdettweiler [2013-08-22 19:30:23] 715*2^1251527-1 is not prime. Res64: 4A14AE9E8F25842E Time : 0.0 sec. user=mdettweiler [2013-08-22 19:30:24] 729*2^1251527-1 is not prime. Res64: 5C57F72720CD57F3 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:31:06] 669*2^1251528-1 is not prime. Res64: 99DC795C6E308C40 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:31:07] 689*2^1251528-1 is not prime. Res64: A5FD7B4D7158599E Time : 0.0 sec. user=mdettweiler [2013-08-22 19:41:30] 723*2^1251528-1 is not prime. Res64: FA670C2C65997DB4 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:41:30] 765*2^1251528-1 is not prime. Res64: 8F09AE122A9E4F6D Time : 0.0 sec. user=mdettweiler [2013-08-22 19:47:33] 773*2^1251528-1 is not prime. Res64: D41A60174BDFE6AF Time : 0.0 sec. user=mdettweiler [2013-08-22 19:47:33] 777*2^1251528-1 is not prime. Res64: C9F8742B18BE669F Time : 0.0 sec. user=mdettweiler [2013-08-22 19:50:46] 795*2^1251528-1 is not prime. Res64: 4B8AF14ABFBB9E79 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:50:46] 843*2^1251528-1 is not prime. Res64: 6936867954771C90 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:51:25] 615*2^1251529-1 is not prime. Res64: 72C1D793EC9E6FA6 Time : 0.0 sec. user=mdettweiler [2013-08-22 19:51:25] 625*2^1251529-1 is not prime. Res64: BE856E047B42DD40 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:01:50] 691*2^1251529-1 is not prime. Res64: 252D9806BC7AB6AC Time : 0.0 sec. user=mdettweiler [2013-08-22 20:01:51] 747*2^1251529-1 is not prime. Res64: 03164403C37E510B Time : 0.0 sec. user=mdettweiler [2013-08-22 20:07:56] 867*2^1251529-1 is not prime. Res64: 5C2B699870345B04 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:07:57] 885*2^1251529-1 is not prime. Res64: 5A2B8A9D1A10A6E9 Time : 0.0 sec. user=juhehe [2013-08-22 20:08:04] 687*2^1251529-1 is not prime. Res64: 804E0690886BFB52 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:12:49] 999*2^1251529-1 is not prime. Res64: C5C0F396E0E29DC1 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:12:50] 645*2^1251530-1 is not prime. Res64: 6D686E91CAAE97B5 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:13:01] 919*2^1251529-1 is not prime. Res64: D86F1D11F37E6977 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:13:01] 931*2^1251529-1 is not prime. Res64: 509CBA9163934DF8 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:22:11] 735*2^1251530-1 is not prime. Res64: 8D4B8453F39D8F3E Time : 0.0 sec. user=mdettweiler [2013-08-22 20:22:12] 773*2^1251530-1 is not prime. Res64: E13CEA8D91B317C4 Time : 0.0 sec. user=juhehe [2013-08-22 20:28:50] 665*2^1251530-1 is not prime. Res64: 850531EA0D0CE122 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:30:18] 917*2^1251530-1 is not prime. Res64: 627BEE7289146F4E Time : 0.0 sec. user=mdettweiler [2013-08-22 20:30:18] 953*2^1251530-1 is not prime. Res64: 2DE410333771D886 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:33:10] 705*2^1251531-1 is not prime. Res64: B61E609AF6A360D0 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:33:10] 709*2^1251531-1 is not prime. Res64: 115E1DFD2A6516F1 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:33:17] 769*2^1251531-1 is not prime. Res64: D5E281AECF58033E Time : 0.0 sec. user=mdettweiler [2013-08-22 20:33:18] 825*2^1251531-1 is not prime. Res64: FFBB250051DDE8C7 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:44:41] 955*2^1251531-1 is not prime. Res64: 05F3BBE54FBAA452 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:44:42] 961*2^1251531-1 is not prime. Res64: 3639E5A6A576E3CB Time : 0.0 sec. user=mdettweiler [2013-08-22 20:50:48] 605*2^1251532-1 is not prime. Res64: B3746F390BEA5759 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:50:49] 635*2^1251532-1 is not prime. Res64: 0E7C2BD9C3C3D999 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:53:35] 695*2^1251532-1 is not prime. Res64: E1347A49CD521F63 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:53:36] 743*2^1251532-1 is not prime. Res64: 052FF483F699DA40 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:53:40] 797*2^1251532-1 is not prime. Res64: 976F90D93BE051E5 Time : 0.0 sec. user=mdettweiler [2013-08-22 20:53:41] 863*2^1251532-1 is not prime. Res64: E2649CFEAD563029 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:06:01] 987*2^1251532-1 is not prime. Res64: CE7F718975A5D8B5 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:06:02] 607*2^1251533-1 is not prime. Res64: E2543697EE94084F Time : 0.0 sec. user=mdettweiler [2013-08-22 21:11:04] 615*2^1251533-1 is not prime. Res64: 3F739731EFC87B7C Time : 0.0 sec. user=mdettweiler [2013-08-22 21:11:05] 729*2^1251533-1 is not prime. Res64: 1455ABF3DD7F0928 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:13:58] 725*2^1251534-1 is not prime. Res64: C696CF623C03EDCF Time : 0.0 sec. user=mdettweiler [2013-08-22 21:13:58] 755*2^1251534-1 is not prime. Res64: 3C73D164E46FFF91 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:15:55] 981*2^1251533-1 is not prime. Res64: 651E4D6CC70FF38E Time : 0.0 sec. user=mdettweiler [2013-08-22 21:15:56] 991*2^1251533-1 is not prime. Res64: FEF832E074F4089B Time : 0.0 sec. user=mdettweiler [2013-08-22 21:26:27] 797*2^1251534-1 is not prime. Res64: 81AD00D7BD275FAF Time : 0.0 sec. user=mdettweiler [2013-08-22 21:26:28] 833*2^1251534-1 is not prime. Res64: AC1FB89E238A537A Time : 0.0 sec. user=mdettweiler [2013-08-22 21:31:39] 851*2^1251534-1 is not prime. Res64: BA3F85046BD3AB94 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:31:39] 861*2^1251534-1 is not prime. Res64: 9494499E3C47ABF6 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:35:15] 875*2^1251534-1 is not prime. Res64: 15C642C550C1C026 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:35:15] 893*2^1251534-1 is not prime. Res64: F71F75550FB817CA Time : 0.0 sec. user=mdettweiler [2013-08-22 21:36:22] 609*2^1251535-1 is not prime. Res64: D066AC81A110D97D Time : 0.0 sec. user=mdettweiler [2013-08-22 21:36:23] 649*2^1251535-1 is not prime. Res64: D80D30EB6A76D80A Time : 0.0 sec. user=mdettweiler [2013-08-22 21:46:43] 751*2^1251535-1 is not prime. Res64: FDDADA31DEB67633 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:46:44] 855*2^1251535-1 is not prime. Res64: 44C3D5318CFCC8A9 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:52:51] 871*2^1251535-1 is not prime. Res64: E49959BF2E8D502B Time : 0.0 sec. user=mdettweiler [2013-08-22 21:52:52] 913*2^1251535-1 is not prime. Res64: 243353885047255E Time : 0.0 sec. user=mdettweiler [2013-08-22 21:56:28] 919*2^1251535-1 is not prime. Res64: A2746E477A2E0E8C Time : 0.0 sec. user=mdettweiler [2013-08-22 21:56:28] 635*2^1251536-1 is not prime. Res64: B38D72D0C5618D90 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:56:39] 699*2^1251536-1 is not prime. Res64: 94B1661A83EB2067 Time : 0.0 sec. user=mdettweiler [2013-08-22 21:56:40] 735*2^1251536-1 is not prime. Res64: 11452D2A7FF4DFC4 Time : 0.0 sec. user=juhehe [2013-08-22 22:01:09] 675*2^1251535-1 is not prime. Res64: CBEEC25034D761BE Time : 0.0 sec. user=mdettweiler [2013-08-22 22:08:01] 843*2^1251536-1 is not prime. Res64: BA7082D849C6B797 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:08:02] 927*2^1251536-1 is not prime. Res64: 7586C2929F933CB7 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:15:06] 993*2^1251536-1 is not prime. Res64: 370D032B004E5A54 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:15:06] 999*2^1251536-1 is not prime. Res64: 781F9FBD63B4A0DB Time : 0.0 sec. user=mdettweiler [2013-08-22 22:16:43] 667*2^1251537-1 is not prime. Res64: 333FB01BFF78862B Time : 0.0 sec. user=mdettweiler [2013-08-22 22:16:44] 681*2^1251537-1 is not prime. Res64: 8C4B04DAAF53A10E Time : 0.0 sec. user=mdettweiler [2013-08-22 22:16:59] 709*2^1251537-1 is not prime. Res64: CEE98E5428A5C38D Time : 0.0 sec. user=mdettweiler [2013-08-22 22:17:00] 727*2^1251537-1 is not prime. Res64: 4227518CFD5B7AB2 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:28:21] 751*2^1251537-1 is not prime. Res64: 138C6011D0DDFEB4 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:28:21] 871*2^1251537-1 is not prime. Res64: BC735FBF0713D656 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:35:26] 885*2^1251537-1 is not prime. Res64: B7FCB8F3D79A61DE Time : 0.0 sec. user=mdettweiler [2013-08-22 22:35:27] 891*2^1251537-1 is not prime. Res64: 9394E41A98D0F1A0 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:37:15] 845*2^1251538-1 is not prime. Res64: 0EBAE254001A80DD Time : 0.0 sec. user=mdettweiler [2013-08-22 22:37:16] 663*2^1251539-1 is not prime. Res64: B64801BA0037E5FF Time : 0.0 sec. user=mdettweiler [2013-08-22 22:37:57] 991*2^1251537-1 is not prime. Res64: 84322910F5240118 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:37:58] 605*2^1251538-1 is not prime. Res64: DE36920E41EFB889 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:48:34] 753*2^1251539-1 is not prime. Res64: 76312C19480CB707 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:48:34] 855*2^1251539-1 is not prime. Res64: 577949B9D1DAB62E Time : 0.0 sec. user=mdettweiler [2013-08-22 22:56:36] 999*2^1251539-1 is not prime. Res64: 8B0A92750E224A4B Time : 0.0 sec. user=mdettweiler [2013-08-22 22:56:37] 633*2^1251540-1 is not prime. Res64: 4ADC4D8C3C1039A3 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:57:24] 665*2^1251540-1 is not prime. Res64: C22EAF894BD933C9 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:57:24] 719*2^1251540-1 is not prime. Res64: AFD31F27DA74BC11 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:58:12] 843*2^1251540-1 is not prime. Res64: A2B7A1F1F283B9F3 Time : 0.0 sec. user=mdettweiler [2013-08-22 22:58:13] 867*2^1251540-1 is not prime. Res64: 1E61A71A5E53BEF4 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:09:38] 923*2^1251540-1 is not prime. Res64: 9024D8834DA77BFA Time : 0.0 sec. user=mdettweiler [2013-08-22 23:09:40] 615*2^1251541-1 is not prime. Res64: D5591A513ED7A304 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:17:44] 805*2^1251541-1 is not prime. Res64: B628D675004A8105 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:17:45] 931*2^1251541-1 is not prime. Res64: C1C455476B6EF3B3 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:18:27] 615*2^1251542-1 is not prime. Res64: 906CBE45CCDF55C8 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:18:28] 923*2^1251542-1 is not prime. Res64: 77F3A218C734A958 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:19:22] 1001*2^1251542-1 is not prime. Res64: 6FB2D0EADF711759 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:19:22] 691*2^1251543-1 is not prime. Res64: 9C5FAAE3E7641E76 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:29:52] 703*2^1251543-1 is not prime. Res64: E28E59986186A368 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:29:52] 723*2^1251543-1 is not prime. Res64: D215E18A45D56BA8 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:37:54] 823*2^1251543-1 is not prime. Res64: 19D45380E771D48E Time : 0.0 sec. user=mdettweiler [2013-08-22 23:37:55] 871*2^1251543-1 is not prime. Res64: 988DAB8D1B6AEFEC Time : 0.0 sec. user=mdettweiler [2013-08-22 23:39:36] 969*2^1251543-1 is not prime. Res64: 884514B659BA254A Time : 0.0 sec. user=mdettweiler [2013-08-22 23:39:37] 699*2^1251544-1 is not prime. Res64: 77BA369563E91E72 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:39:37] 719*2^1251544-1 is not prime. Res64: 7278051DB4F308A0 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:39:38] 723*2^1251544-1 is not prime. Res64: 53A47C40B20FD66D Time : 0.0 sec. user=mdettweiler [2013-08-22 23:50:10] 819*2^1251544-1 is not prime. Res64: 716CD1328751EB67 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:50:10] 843*2^1251544-1 is not prime. Res64: A818B102A30E6E94 Time : 0.0 sec. user=mdettweiler [2013-08-22 23:59:12] 863*2^1251544-1 is not prime. Res64: F9747F6CDFF2A09B Time : 0.0 sec. user=mdettweiler [2013-08-22 23:59:13] 915*2^1251544-1 is not prime. Res64: 7A2949921A62927A Time : 0.0 sec. user=mdettweiler [2013-08-23 00:00:01] 781*2^1251545-1 is not prime. Res64: BCD0F3CF60A4F6CC Time : 0.0 sec. user=mdettweiler [2013-08-23 00:00:01] 787*2^1251545-1 is not prime. Res64: 8FAD0BDF11DFDDC5 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:00:54] 927*2^1251544-1 is not prime. Res64: 37457A61DA428449 Time : 0.0 sec. user=mdettweiler [2013-08-23 00:00:55] 601*2^1251545-1 is not prime. Res64: 2EAA989F3694CD84 Time : 0.0 sec.