user=mdettweiler [2013-01-05 00:08:45] 781*2^1238661-1 is not prime. Res64: 6DA9B939DFF6FFC2 Time : 0.0 sec. user=mdettweiler [2013-01-05 00:08:47] 861*2^1238661-1 is not prime. Res64: 6E65E2FE08EB710C Time : 0.0 sec. user=mdettweiler [2013-01-05 00:08:54] 937*2^1238661-1 is not prime. Res64: 37F30DBB077AB87C Time : 0.0 sec. user=mdettweiler [2013-01-05 00:08:56] 961*2^1238661-1 is not prime. Res64: AF369D38C726CF4C Time : 0.0 sec. user=mdettweiler [2013-01-05 00:26:18] 635*2^1238662-1 is not prime. Res64: C079DEA66A8892E6 Time : 0.0 sec. user=mdettweiler [2013-01-05 00:26:19] 651*2^1238662-1 is not prime. Res64: 6AE1A6D05453302E Time : 0.0 sec. user=mdettweiler [2013-01-05 00:26:52] 695*2^1238662-1 is not prime. Res64: 4D389A95DB7C68A9 Time : 0.0 sec. user=mdettweiler [2013-01-05 00:26:53] 737*2^1238662-1 is not prime. Res64: 38FFA678D97E55C0 Time : 0.0 sec. user=juhehe [2013-01-05 00:28:04] 855*2^1238660-1 is not prime. Res64: 5BAB352A66290942 Time : 0.0 sec. user=vaughan [2013-01-05 00:30:43] 633*2^1238659-1 is not prime. Res64: D9EE9469CB1266F3 Time : 0.0 sec. user=juhehe [2013-01-05 00:35:12] 875*2^1238660-1 is not prime. Res64: 59588B4E7BD79DC4 Time : 0.0 sec. user=mdettweiler [2013-01-05 00:43:40] 827*2^1238662-1 is not prime. Res64: DD43E5CFF9992185 Time : 0.0 sec. user=mdettweiler [2013-01-05 00:43:40] 941*2^1238662-1 is not prime. Res64: 5060F054FCBA1BEB Time : 0.0 sec. user=mdettweiler [2013-01-05 00:44:12] 951*2^1238662-1 is not prime. Res64: AE5B3BD364A57DB0 Time : 0.0 sec. user=mdettweiler [2013-01-05 00:44:13] 983*2^1238662-1 is not prime. Res64: BC5E4875D5CC8D74 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:01:00] 825*2^1238663-1 is not prime. Res64: 9C300A649D61C435 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:01:02] 885*2^1238663-1 is not prime. Res64: C5CD01534FABDD74 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:01:32] 963*2^1238663-1 is not prime. Res64: 0DFECECF03DAFE6A Time : 0.0 sec. user=mdettweiler [2013-01-05 01:01:34] 985*2^1238663-1 is not prime. Res64: 1EABBE8C73737B1C Time : 0.0 sec. user=vaughan [2013-01-05 01:08:32] 633*2^1238663-1 is not prime. Res64: A651502ECC57110F Time : 0.0 sec. user=mdettweiler [2013-01-05 01:18:33] 609*2^1238664-1 is not prime. Res64: CBC5D0E53DAE857A Time : 0.0 sec. user=mdettweiler [2013-01-05 01:18:34] 665*2^1238664-1 is not prime. Res64: 7C14AA8BD4D8C7CD Time : 0.0 sec. user=mdettweiler [2013-01-05 01:18:55] 683*2^1238664-1 is not prime. Res64: 98E3DBF6CD28C8E9 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:18:56] 693*2^1238664-1 is not prime. Res64: E69EDFABC7CB0927 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:35:53] 759*2^1238664-1 is not prime. Res64: 777BE7B2830C895F Time : 0.0 sec. user=mdettweiler [2013-01-05 01:35:54] 803*2^1238664-1 is not prime. Res64: 6614BE5AF7560FD1 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:36:15] 873*2^1238664-1 is not prime. Res64: DB803B8C70885741 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:36:15] 651*2^1238665-1 is not prime. Res64: AACE71F4BEBF50A2 Time : 0.0 sec. user=vaughan [2013-01-05 01:46:23] 723*2^1238664-1 is not prime. Res64: F9C128D779F9E7F0 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:53:13] 985*2^1238665-1 is not prime. Res64: D2D058FFF351FAA9 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:53:13] 987*2^1238665-1 is not prime. Res64: 470845AECAD41852 Time : 0.0 sec. user=mdettweiler [2013-01-05 01:53:42] 615*2^1238666-1 is not prime. Res64: 1880BFC5DE614487 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:10:32] 705*2^1238666-1 is not prime. Res64: F68D9631257BA2C1 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:10:33] 711*2^1238666-1 is not prime. Res64: 7046A5D2B9C89CE7 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:11:01] 735*2^1238666-1 is not prime. Res64: 3D261FD6C5847D5D Time : 0.0 sec. user=mdettweiler [2013-01-05 02:11:03] 861*2^1238666-1 is not prime. Res64: 4171661750C6EFDF Time : 0.0 sec. user=vaughan [2013-01-05 02:24:15] 683*2^1238666-1 is not prime. Res64: 71739F6269BD7065 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:27:57] 619*2^1238667-1 is not prime. Res64: 1700572838E3174C Time : 0.0 sec. user=mdettweiler [2013-01-05 02:27:58] 751*2^1238667-1 is not prime. Res64: A1DFD077C8423F10 Time : 0.0 sec. user=juhehe [2013-01-05 02:28:19] 721*2^1238665-1 is not prime. Res64: 098BA04CDE0EAFD1 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:28:24] 781*2^1238667-1 is not prime. Res64: 2BC837A51B471745 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:28:24] 835*2^1238667-1 is not prime. Res64: 3BC2A2E76B1C4321 Time : 0.0 sec. user=juhehe [2013-01-05 02:35:24] 777*2^1238665-1 is not prime. Res64: 419B96596DF71076 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:45:19] 951*2^1238667-1 is not prime. Res64: 79CD7CC3B36C45BE Time : 0.0 sec. user=mdettweiler [2013-01-05 02:45:22] 985*2^1238667-1 is not prime. Res64: 314B601ABA902743 Time : 0.0 sec. user=mdettweiler [2013-01-05 02:45:49] 735*2^1238668-1 is not prime. Res64: DF48A80F5E4E82C0 Time : 0.0 sec. user=vaughan [2013-01-05 03:02:04] 895*2^1238667-1 is not prime. Res64: 5C562CBCD26DE195 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:03:05] 833*2^1238668-1 is not prime. Res64: A7834E5B390E7238 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:03:09] 839*2^1238668-1 is not prime. Res64: 4850032B2E62F6F6 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:13:39] 749*2^1238668-1 is not prime. Res64: 959C061E3D407801 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:21:04] 915*2^1238668-1 is not prime. Res64: 280CE1E655933784 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:21:04] 923*2^1238668-1 is not prime. Res64: 86947A52948A2477 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:31:03] 621*2^1238669-1 is not prime. Res64: 7D676B945F225FBD Time : 0.0 sec. user=mdettweiler [2013-01-05 03:31:04] 657*2^1238669-1 is not prime. Res64: 1AB79B5DE00DF362 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:38:24] 759*2^1238669-1 is not prime. Res64: 7191E63AC5AB9DC3 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:38:25] 889*2^1238669-1 is not prime. Res64: AA296DC25917052E Time : 0.0 sec. user=vaughan [2013-01-05 03:40:14] 869*2^1238668-1 is not prime. Res64: 1A2DCCB5A1ABFC54 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:48:25] 713*2^1238670-1 is not prime. Res64: 73BC09C4B4493162 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:48:25] 821*2^1238670-1 is not prime. Res64: 90461D19B0F7917C Time : 0.0 sec. user=mdettweiler [2013-01-05 03:55:51] 945*2^1238670-1 is not prime. Res64: CBE5A3FD3AA49226 Time : 0.0 sec. user=mdettweiler [2013-01-05 03:55:52] 603*2^1238671-1 is not prime. Res64: 35AEC10011FB8AD1 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:05:45] 625*2^1238671-1 is not prime. Res64: D3C79CA0433D2D8D Time : 0.0 sec. user=mdettweiler [2013-01-05 04:05:45] 805*2^1238671-1 is not prime. Res64: AF1A391A3C827E17 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:13:12] 849*2^1238671-1 is not prime. Res64: 3975502454D7C086 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:13:13] 931*2^1238671-1 is not prime. Res64: 149155274A2F4DFF Time : 0.0 sec. user=vaughan [2013-01-05 04:18:05] 615*2^1238671-1 is not prime. Res64: 8E6F8B38C710B878 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:23:08] 933*2^1238671-1 is not prime. Res64: DE5326942986B6F4 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:23:08] 975*2^1238671-1 is not prime. Res64: B651AD59CCEFF18E Time : 0.0 sec. user=juhehe [2013-01-05 04:28:27] 939*2^1238669-1 is not prime. Res64: 4FBB6CFAD3FB9650 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:30:34] 993*2^1238671-1 is not prime. Res64: 5D3D3A33E1560B57 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:30:35] 677*2^1238672-1 is not prime. Res64: 372DA328D8CA3D25 Time : 0.0 sec. user=juhehe [2013-01-05 04:35:25] 927*2^1238670-1 is not prime. Res64: AEE81CEF712AB84B Time : 0.0 sec. user=mdettweiler [2013-01-05 04:40:27] 873*2^1238672-1 is not prime. Res64: A0AA41301D6898E5 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:40:28] 963*2^1238672-1 is not prime. Res64: CECB2E545052B655 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:47:58] 607*2^1238673-1 is not prime. Res64: 0C8749FBC3540B17 Time : 0.0 sec. user=mdettweiler [2013-01-05 04:47:59] 627*2^1238673-1 is not prime. Res64: 51BC5865F17A28EC Time : 0.0 sec. user=vaughan [2013-01-05 04:55:54] 743*2^1238672-1 is not prime. Res64: 69A196C3564C27BF Time : 0.0 sec. user=mdettweiler [2013-01-05 04:57:50] 657*2^1238673-1 is not prime. Res64: C5D00AFF9853736A Time : 0.0 sec. user=mdettweiler [2013-01-05 04:57:51] 691*2^1238673-1 is not prime. Res64: 4698481CAC997CEB Time : 0.0 sec. user=mdettweiler [2013-01-05 05:05:19] 699*2^1238673-1 is not prime. Res64: FDAD072A5B83239B Time : 0.0 sec. user=mdettweiler [2013-01-05 05:05:20] 769*2^1238673-1 is not prime. Res64: B4C45E160E2A2B3C Time : 0.0 sec. user=mdettweiler [2013-01-05 05:15:10] 789*2^1238673-1 is not prime. Res64: D946703330D34771 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:15:11] 877*2^1238673-1 is not prime. Res64: 41DFD3CBA8319ED8 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:22:49] 889*2^1238673-1 is not prime. Res64: CAFC8D5AE824ED95 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:22:49] 895*2^1238673-1 is not prime. Res64: 7A72158F191B14F0 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:32:35] 723*2^1238674-1 is not prime. Res64: CF4D2D1A649754F1 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:32:36] 947*2^1238674-1 is not prime. Res64: C7A8FD011F4F73C8 Time : 0.0 sec. user=vaughan [2013-01-05 05:33:42] 781*2^1238673-1 is not prime. Res64: 6608C453D914DB94 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:40:09] 971*2^1238674-1 is not prime. Res64: C29AFDAA5FA52388 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:40:10] 633*2^1238675-1 is not prime. Res64: 1CF716687EDA20FD Time : 0.0 sec. user=mdettweiler [2013-01-05 05:49:56] 733*2^1238675-1 is not prime. Res64: 1DC17B6462A6A21A Time : 0.0 sec. user=mdettweiler [2013-01-05 05:49:56] 735*2^1238675-1 is not prime. Res64: 61824A506B3D444F Time : 0.0 sec. user=mdettweiler [2013-01-05 05:57:29] 693*2^1238676-1 is not prime. Res64: 7FC4A46EE5A05047 Time : 0.0 sec. user=mdettweiler [2013-01-05 05:57:29] 723*2^1238676-1 is not prime. Res64: AB2F639E8942B187 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:07:16] 749*2^1238676-1 is not prime. Res64: FCE2B8B6C36B3B21 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:07:18] 777*2^1238676-1 is not prime. Res64: A2DDC399623CF999 Time : 0.0 sec. user=vaughan [2013-01-05 06:12:21] 969*2^1238675-1 is not prime. Res64: 99F6566E695B088E Time : 0.0 sec. user=mdettweiler [2013-01-05 06:14:48] 615*2^1238677-1 is not prime. Res64: FC7604DA1076FB39 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:14:49] 751*2^1238677-1 is not prime. Res64: 75618A22B81BC60F Time : 0.0 sec. user=mdettweiler [2013-01-05 06:24:44] 817*2^1238677-1 is not prime. Res64: 072A1B3083E03843 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:24:45] 831*2^1238677-1 is not prime. Res64: E50B27698F68A4F4 Time : 0.0 sec. user=juhehe [2013-01-05 06:28:49] 675*2^1238675-1 is not prime. Res64: D15BBF8867AD7E1A Time : 0.0 sec. user=mdettweiler [2013-01-05 06:32:10] 867*2^1238677-1 is not prime. Res64: DA93744D19809408 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:32:10] 885*2^1238677-1 is not prime. Res64: 2FF9D873F16703D4 Time : 0.0 sec. user=juhehe [2013-01-05 06:35:30] 629*2^1238676-1 is not prime. Res64: A9B7674158ACBD20 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:42:03] 919*2^1238677-1 is not prime. Res64: C99CC3113FDBFE9D Time : 0.0 sec. user=mdettweiler [2013-01-05 06:42:04] 937*2^1238677-1 is not prime. Res64: 12C72CEBF9A85685 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:49:30] 939*2^1238677-1 is not prime. Res64: EBD967D719F8F3AB Time : 0.0 sec. user=mdettweiler [2013-01-05 06:49:31] 623*2^1238678-1 is not prime. Res64: DE3AB2C986459BF3 Time : 0.0 sec. user=mdettweiler [2013-01-05 06:59:23] 693*2^1238678-1 is not prime. Res64: 6217E08A93412A4B Time : 0.0 sec. user=mdettweiler [2013-01-05 06:59:24] 711*2^1238678-1 is not prime. Res64: 221FC0B8217A775B Time : 0.0 sec. user=mdettweiler [2013-01-05 07:06:50] 743*2^1238678-1 is not prime. Res64: 1D7E93D1C6C41775 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:06:55] 755*2^1238678-1 is not prime. Res64: 1D4B00CAFD420569 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:16:42] 857*2^1238678-1 is not prime. Res64: FBF9DE7E7E4D8C51 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:16:43] 619*2^1238679-1 is not prime. Res64: 15C5719AC882AF3B Time : 0.0 sec. user=mdettweiler [2013-01-05 07:24:41] 723*2^1238679-1 is not prime. Res64: 037BFF0BFD91A70A Time : 0.0 sec. user=mdettweiler [2013-01-05 07:24:42] 795*2^1238679-1 is not prime. Res64: A595FF2D1E7E50AB Time : 0.0 sec. user=mdettweiler [2013-01-05 07:34:04] 829*2^1238679-1 is not prime. Res64: 7CEDB343CDAE4D33 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:34:04] 943*2^1238679-1 is not prime. Res64: 31CC0BD1789BD98D Time : 0.0 sec. user=vaughan [2013-01-05 07:34:30] 797*2^1238678-1 is not prime. Res64: 3F8AD43C49EBA52E Time : 0.0 sec. user=mdettweiler [2013-01-05 07:42:00] 951*2^1238679-1 is not prime. Res64: 5AD423B54BA1CF33 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:42:01] 677*2^1238680-1 is not prime. Res64: E2B43ABBB6B0C2E6 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:51:23] 855*2^1238680-1 is not prime. Res64: 304F4088D4543418 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:51:24] 887*2^1238680-1 is not prime. Res64: 088484D19C0034F6 Time : 0.0 sec. user=mdettweiler [2013-01-05 07:59:21] 975*2^1238680-1 is not prime. Res64: 182437CFB89F640F Time : 0.0 sec. user=mdettweiler [2013-01-05 07:59:21] 619*2^1238681-1 is not prime. Res64: 84007967A440885F Time : 0.0 sec. user=mdettweiler [2013-01-05 08:08:43] 735*2^1238681-1 is not prime. Res64: 25B34C02911D2277 Time : 0.0 sec. user=mdettweiler [2013-01-05 08:08:44] 747*2^1238681-1 is not prime. Res64: 33DB7541081A30B2 Time : 0.0 sec. user=vaughan [2013-01-05 08:12:22] 897*2^1238680-1 is not prime. Res64: 1118D33BA0639836 Time : 0.0 sec. user=mdettweiler [2013-01-05 08:16:40] 925*2^1238681-1 is not prime. Res64: ADFA7316AAFD4C3D Time : 0.0 sec. user=mdettweiler [2013-01-05 08:16:41] 937*2^1238681-1 is not prime. Res64: FE940A4CDB8C0F29 Time : 0.0 sec. user=mdettweiler [2013-01-05 08:26:06] 711*2^1238682-1 is not prime. Res64: 01814A1FF91D60DA Time : 0.0 sec. user=mdettweiler [2013-01-05 08:26:07] 725*2^1238682-1 is not prime. Res64: CCCCA663D151C886 Time : 0.0 sec. user=juhehe [2013-01-05 08:29:22] 765*2^1238680-1 is not prime. Res64: 1678FB0F9F3295A8 Time : 0.0 sec. user=mdettweiler [2013-01-05 08:34:00] 815*2^1238682-1 is not prime. Res64: F8CF8BDFD5B4F82C Time : 0.0 sec. user=mdettweiler [2013-01-05 08:34:01] 875*2^1238682-1 is not prime. Res64: A977C825ADC92F25 Time : 0.0 sec. user=juhehe [2013-01-05 08:35:52] 803*2^1238680-1 is not prime. Res64: 43F24E0C28CE8D98 Time : 0.0 sec. user=mdettweiler [2013-01-05 08:43:26] 885*2^1238682-1 is not prime. Res64: 512DB18BBB6D6389 Time : 0.0 sec. user=mdettweiler [2013-01-05 08:43:27] 891*2^1238682-1 is not prime. Res64: E6B627D78D953B70 Time : 0.0 sec. user=vaughan [2013-01-05 08:50:08] 797*2^1238682-1 is not prime. Res64: DB5E3EFAB5D7F0BA Time : 0.0 sec. user=mdettweiler [2013-01-05 08:51:20] 673*2^1238683-1 is not prime. Res64: 663E69344B87568D Time : 0.0 sec. user=mdettweiler [2013-01-05 08:51:20] 819*2^1238683-1 is not prime. Res64: A367D1015D319F2F Time : 0.0 sec. user=mdettweiler [2013-01-05 09:00:47] 853*2^1238683-1 is not prime. Res64: 35CE58901B50A3D2 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:00:49] 915*2^1238683-1 is not prime. Res64: 10ED89CCCB781C11 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:08:39] 615*2^1238684-1 is not prime. Res64: E83131E77746A108 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:08:40] 677*2^1238684-1 is not prime. Res64: D11B4D9D8574AC60 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:18:21] 707*2^1238684-1 is not prime. Res64: CC4E81CA5664484C Time : 0.0 sec. user=mdettweiler [2013-01-05 09:18:22] 803*2^1238684-1 is not prime. Res64: 89B4FF116024E3D5 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:26:04] 825*2^1238684-1 is not prime. Res64: 3B29EF903695BF77 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:26:05] 899*2^1238684-1 is not prime. Res64: 749B082024287753 Time : 0.0 sec. user=vaughan [2013-01-05 09:27:56] 961*2^1238683-1 is not prime. Res64: CCE9B8ED45C7A0BC Time : 0.0 sec. user=mdettweiler [2013-01-05 09:35:41] 915*2^1238684-1 is not prime. Res64: 46B0DB4C07F3AFFB Time : 0.0 sec. user=mdettweiler [2013-01-05 09:35:42] 953*2^1238684-1 is not prime. Res64: AC91077FCB218732 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:43:23] 607*2^1238685-1 is not prime. Res64: 49FEA9C9022D7F5B Time : 0.0 sec. user=mdettweiler [2013-01-05 09:43:24] 609*2^1238685-1 is not prime. Res64: BAE157C259DAE300 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:53:00] 785*2^1238686-1 is not prime. Res64: 2E5658734C0B2FA4 Time : 0.0 sec. user=mdettweiler [2013-01-05 09:53:00] 633*2^1238687-1 is not prime. Res64: C8C91E5E82FDDB24 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:00:44] 655*2^1238687-1 is not prime. Res64: DECB5EAEC41E94A7 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:00:45] 673*2^1238687-1 is not prime. Res64: 4C8DB843D2D6A859 Time : 0.0 sec. user=vaughan [2013-01-05 10:05:45] 727*2^1238685-1 is not prime. Res64: C039782418DDD84E Time : 0.0 sec. user=mdettweiler [2013-01-05 10:10:19] 703*2^1238687-1 is not prime. Res64: 40C50F2DBD7AC933 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:10:20] 735*2^1238687-1 is not prime. Res64: D291DEE0FC95048F Time : 0.0 sec. user=mdettweiler [2013-01-05 10:18:10] 861*2^1238687-1 is not prime. Res64: A044BB6858A27EA2 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:18:10] 915*2^1238687-1 is not prime. Res64: 9453574EF21F6D08 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:27:39] 963*2^1238687-1 is not prime. Res64: 917FEA61BB78BD82 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:27:40] 635*2^1238688-1 is not prime. Res64: 66E990045ACA0087 Time : 0.0 sec. user=juhehe [2013-01-05 10:30:38] 713*2^1238686-1 is not prime. Res64: BC96219B921615CF Time : 0.0 sec. user=juhehe [2013-01-05 10:34:35] 765*2^1238686-1 is not prime. Res64: 16ECB63CB90C9B31 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:35:31] 789*2^1238688-1 is not prime. Res64: 5B3DE43314F5DFE2 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:35:31] 839*2^1238688-1 is not prime. Res64: 72A039121A298DBD Time : 0.0 sec. user=vaughan [2013-01-05 10:43:36] 949*2^1238687-1 is not prime. Res64: D6DD8307199B0FA2 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:44:59] 887*2^1238688-1 is not prime. Res64: F2EBCA525FC68418 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:44:59] 909*2^1238688-1 is not prime. Res64: 517215F2A0ED9DF0 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:52:50] 945*2^1238688-1 is not prime. Res64: 3BE812659FB9C5C2 Time : 0.0 sec. user=mdettweiler [2013-01-05 10:52:50] 639*2^1238689-1 is not prime. Res64: 7AE4F8A4D7F34982 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:02:18] 831*2^1238689-1 is not prime. Res64: C41DB647E21FFC0D Time : 0.0 sec. user=mdettweiler [2013-01-05 11:02:20] 841*2^1238689-1 is not prime. Res64: 1238E034C78EDF03 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:10:09] 877*2^1238689-1 is not prime. Res64: CD0EE0286EE962D2 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:10:11] 957*2^1238689-1 is not prime. Res64: 09C23000027A2832 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:19:59] 975*2^1238689-1 is not prime. Res64: 321BB1B91DA005EE Time : 0.0 sec. user=mdettweiler [2013-01-05 11:20:00] 675*2^1238690-1 is not prime. Res64: 3240A4846084463C Time : 0.0 sec. user=vaughan [2013-01-05 11:21:25] 705*2^1238689-1 is not prime. Res64: 2460ACC5867830C4 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:27:33] 713*2^1238690-1 is not prime. Res64: 7FE1D20810E4C58C Time : 0.0 sec. user=mdettweiler [2013-01-05 11:27:34] 797*2^1238690-1 is not prime. Res64: 842B8CE141609F51 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:37:19] 945*2^1238690-1 is not prime. Res64: 4FD3542B8DBA5EDD Time : 0.0 sec. user=mdettweiler [2013-01-05 11:37:19] 951*2^1238690-1 is not prime. Res64: 1C36DBBCD794CA59 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:44:53] 835*2^1238691-1 is not prime. Res64: 6072E503ED52D91C Time : 0.0 sec. user=mdettweiler [2013-01-05 11:44:54] 945*2^1238691-1 is not prime. Res64: 3118FCE37DF64AF7 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:54:38] 995*2^1238692-1 is not prime. Res64: 628FD9D7A6B1EF91 Time : 0.0 sec. user=mdettweiler [2013-01-05 11:54:39] 745*2^1238693-1 is not prime. Res64: 63AC4AC70D7DE050 Time : 0.0 sec. user=vaughan [2013-01-05 11:59:15] 769*2^1238691-1 is not prime. Res64: 3A3BA7A736D889C2 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:02:13] 811*2^1238693-1 is not prime. Res64: 2493CC461E3653A2 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:02:14] 859*2^1238693-1 is not prime. Res64: CE93F9975824E4AC Time : 0.0 sec. user=mdettweiler [2013-01-05 12:11:57] 867*2^1238693-1 is not prime. Res64: A4E8928D54AA7C5D Time : 0.0 sec. user=mdettweiler [2013-01-05 12:11:59] 939*2^1238693-1 is not prime. Res64: A4DE32676C4C7AE3 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:19:34] 663*2^1238694-1 is not prime. Res64: F9A8EEFCD7573036 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:19:35] 693*2^1238694-1 is not prime. Res64: 122C76DB148742DE Time : 0.0 sec. user=mdettweiler [2013-01-05 12:29:24] 717*2^1238694-1 is not prime. Res64: B1A1235F1514E893 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:29:24] 737*2^1238694-1 is not prime. Res64: 262F4C6EE70E490E Time : 0.0 sec. user=juhehe [2013-01-05 12:31:13] 979*2^1238691-1 is not prime. Res64: 4E4FB63FE5BF28FB Time : 0.0 sec. user=juhehe [2013-01-05 12:34:30] 873*2^1238692-1 is not prime. Res64: D4E71E221FA25210 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:36:54] 797*2^1238694-1 is not prime. Res64: 9B992A1F10569585 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:36:55] 821*2^1238694-1 is not prime. Res64: 852432B2D331CECE Time : 0.0 sec. user=vaughan [2013-01-05 12:37:01] 605*2^1238694-1 is not prime. Res64: 802A08786B07FBDA Time : 0.0 sec. user=mdettweiler [2013-01-05 12:46:43] 917*2^1238694-1 is not prime. Res64: DC079A53DDEC6907 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:46:44] 951*2^1238694-1 is not prime. Res64: 63B2623D566A4189 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:54:14] 619*2^1238695-1 is not prime. Res64: ED6935A7CD9DA789 Time : 0.0 sec. user=mdettweiler [2013-01-05 12:54:15] 705*2^1238695-1 is not prime. Res64: 65AACFAE3162CD81 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:04:02] 873*2^1238695-1 is not prime. Res64: 27B7C7349D0F4DE5 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:04:03] 891*2^1238695-1 is not prime. Res64: 7D3FB617BE61106B Time : 0.0 sec. user=mdettweiler [2013-01-05 13:11:33] 919*2^1238695-1 is not prime. Res64: A68E4F1328113731 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:11:35] 943*2^1238695-1 is not prime. Res64: 41F3886B8CEA0C4E Time : 0.0 sec. user=vaughan [2013-01-05 13:14:47] 789*2^1238695-1 is not prime. Res64: 35513EBC7661E132 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:21:37] 961*2^1238695-1 is not prime. Res64: 2D79BB57A7E8B4E9 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:21:38] 985*2^1238695-1 is not prime. Res64: 04B2C3B2C6A5CE18 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:29:01] 623*2^1238696-1 is not prime. Res64: 1E898541927073D8 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:29:01] 735*2^1238696-1 is not prime. Res64: CBCED249ED06AE14 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:38:57] 879*2^1238696-1 is not prime. Res64: F6DB4AB1EC705BA5 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:38:58] 699*2^1238697-1 is not prime. Res64: DCB365B032B6F3F4 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:46:19] 837*2^1238697-1 is not prime. Res64: F0259D61E5F716B8 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:46:19] 867*2^1238697-1 is not prime. Res64: ADD72467CD1A8244 Time : 0.0 sec. user=vaughan [2013-01-05 13:52:34] 867*2^1238696-1 is not prime. Res64: 6FC216BFB4E94D6D Time : 0.0 sec. user=mdettweiler [2013-01-05 13:56:16] 937*2^1238697-1 is not prime. Res64: 4F908439020A4297 Time : 0.0 sec. user=mdettweiler [2013-01-05 13:56:17] 611*2^1238698-1 is not prime. Res64: 161DF6AEF7CAADE2 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:03:38] 647*2^1238698-1 is not prime. Res64: ECD8A21FF0A49392 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:03:40] 713*2^1238698-1 is not prime. Res64: 6686FFED8DC4BE8B Time : 0.0 sec. user=mdettweiler [2013-01-05 14:13:35] 755*2^1238698-1 is not prime. Res64: 3652345EF250DD31 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:13:37] 843*2^1238698-1 is not prime. Res64: 5F6C0D6183B60810 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:21:27] 857*2^1238698-1 is not prime. Res64: 506DE43058254E8B Time : 0.0 sec. user=mdettweiler [2013-01-05 14:21:28] 881*2^1238698-1 is not prime. Res64: 11EACF370ABA592D Time : 0.0 sec. user=vaughan [2013-01-05 14:30:22] 747*2^1238698-1 is not prime. Res64: 409134876DD128A7 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:30:57] 923*2^1238698-1 is not prime. Res64: 8C87AE9AE0D45829 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:30:58] 619*2^1238699-1 is not prime. Res64: 619D9AB14F9C1B1B Time : 0.0 sec. user=juhehe [2013-01-05 14:31:40] 915*2^1238697-1 is not prime. Res64: 5112DF941219272C Time : 0.0 sec. user=juhehe [2013-01-05 14:34:38] 919*2^1238697-1 is not prime. Res64: 8B4DDBDABFB74743 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:38:46] 705*2^1238699-1 is not prime. Res64: CCEC9B3D413F04B0 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:38:47] 753*2^1238699-1 is not prime. Res64: 8125E309A83D6F91 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:48:16] 909*2^1238699-1 is not prime. Res64: 0CC8EF895E3F8425 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:48:16] 669*2^1238700-1 is not prime. Res64: 1827B95BFC982773 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:56:05] 765*2^1238700-1 is not prime. Res64: B496DAF40A1918E7 Time : 0.0 sec. user=mdettweiler [2013-01-05 14:56:06] 845*2^1238700-1 is not prime. Res64: 08FCFE43E8135CA4 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:05:35] 887*2^1238700-1 is not prime. Res64: 6E09FBF8836D712D Time : 0.0 sec. user=mdettweiler [2013-01-05 15:05:37] 675*2^1238701-1 is not prime. Res64: DA2C76EFEE0D7457 Time : 0.0 sec. user=vaughan [2013-01-05 15:08:11] 789*2^1238699-1 is not prime. Res64: 7BA81871E3CE4A78 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:13:25] 817*2^1238701-1 is not prime. Res64: F44D9F1A82071B1E Time : 0.0 sec. user=mdettweiler [2013-01-05 15:13:25] 825*2^1238701-1 is not prime. Res64: 226084729B8631D6 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:23:04] 861*2^1238701-1 is not prime. Res64: 147F1298C348A7A3 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:23:05] 961*2^1238701-1 is not prime. Res64: 986F8D66CC9D3929 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:30:44] 997*2^1238701-1 is not prime. Res64: D471705FA34B7ACD Time : 0.0 sec. user=mdettweiler [2013-01-05 15:30:44] 615*2^1238702-1 is not prime. Res64: 41FB11C904C2E92C Time : 0.0 sec. user=mdettweiler [2013-01-05 15:40:25] 683*2^1238702-1 is not prime. Res64: 5BBEF7E2835D3435 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:40:26] 887*2^1238702-1 is not prime. Res64: 123C07029909DB84 Time : 0.0 sec. user=vaughan [2013-01-05 15:46:05] 987*2^1238701-1 is not prime. Res64: 16DFF16B4CC28F0C Time : 0.0 sec. user=mdettweiler [2013-01-05 15:48:03] 951*2^1238702-1 is not prime. Res64: D9EA5893559A3850 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:48:03] 977*2^1238702-1 is not prime. Res64: F295479AFBC5CFE6 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:57:44] 663*2^1238703-1 is not prime. Res64: 49731CF6DB1E0611 Time : 0.0 sec. user=mdettweiler [2013-01-05 15:57:45] 763*2^1238703-1 is not prime. Res64: C26FFE8075F6195E Time : 0.0 sec. user=mdettweiler [2013-01-05 16:05:22] 609*2^1238704-1 is not prime. Res64: ADA25E21B6CA72D9 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:05:25] 693*2^1238704-1 is not prime. Res64: FE84F54058FC1950 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:15:02] 863*2^1238704-1 is not prime. Res64: 1C161ED8EA5F04F5 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:15:03] 601*2^1238705-1 is not prime. Res64: 4EBA04CFEC3F7F6A Time : 0.0 sec. user=mdettweiler [2013-01-05 16:22:54] 679*2^1238705-1 is not prime. Res64: A3D1813EC16FB078 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:22:54] 717*2^1238705-1 is not prime. Res64: B5DF1D41E80E84B3 Time : 0.0 sec. user=vaughan [2013-01-05 16:23:53] 895*2^1238703-1 is not prime. Res64: C932D4EC04A89A80 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:32:23] 741*2^1238705-1 is not prime. Res64: AB0FE03A4EAD3859 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:32:23] 799*2^1238705-1 is not prime. Res64: 6A14D0ED780B9052 Time : 0.0 sec. user=juhehe [2013-01-05 16:38:40] 915*2^1238702-1 is not prime. Res64: 20DBD0360C6FE8CC Time : 0.0 sec. user=mdettweiler [2013-01-05 16:40:14] 801*2^1238705-1 is not prime. Res64: B74D152EA0DA6884 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:40:15] 949*2^1238705-1 is not prime. Res64: 6D18A46105991E1B Time : 0.0 sec. user=juhehe [2013-01-05 16:43:04] 619*2^1238703-1 is not prime. Res64: 7E123BD1150BA393 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:49:47] 657*2^1238706-1 is not prime. Res64: 96F72E84BF3D1FDB Time : 0.0 sec. user=mdettweiler [2013-01-05 16:49:48] 717*2^1238706-1 is not prime. Res64: 2CD9A8C6BD33F644 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:57:59] 725*2^1238706-1 is not prime. Res64: 5DAD404F089A9D80 Time : 0.0 sec. user=mdettweiler [2013-01-05 16:57:59] 747*2^1238706-1 is not prime. Res64: 80F91F02F3269D28 Time : 0.0 sec. user=vaughan [2013-01-05 17:01:41] 987*2^1238705-1 is not prime. Res64: C1BF309A93A6E4C5 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:07:40] 765*2^1238706-1 is not prime. Res64: 6CB3FB3B2209F88D Time : 0.0 sec. user=mdettweiler [2013-01-05 17:07:41] 801*2^1238706-1 is not prime. Res64: 15389AFB0F85DC44 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:15:46] 815*2^1238706-1 is not prime. Res64: 7B56154165487880 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:15:49] 843*2^1238706-1 is not prime. Res64: 90372F088B4730B7 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:25:27] 993*2^1238706-1 is not prime. Res64: 2A8D981A05255E36 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:25:28] 673*2^1238707-1 is not prime. Res64: 7E53BC90A483ACBB Time : 0.0 sec. user=mdettweiler [2013-01-05 17:34:41] 693*2^1238707-1 is not prime. Res64: 9307D2E812E84F0C Time : 0.0 sec. user=mdettweiler [2013-01-05 17:34:41] 793*2^1238707-1 is not prime. Res64: FEDEDF77CE50610D Time : 0.0 sec. user=vaughan [2013-01-05 17:39:31] 905*2^1238706-1 is not prime. Res64: 2B52261ED3E477EC Time : 0.0 sec. user=mdettweiler [2013-01-05 17:43:16] 961*2^1238707-1 is not prime. Res64: FC262CF11AD47777 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:43:16] 985*2^1238707-1 is not prime. Res64: 4213FDFFE361DFE6 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:52:19] 633*2^1238708-1 is not prime. Res64: 2CAA23B6DE037951 Time : 0.0 sec. user=mdettweiler [2013-01-05 17:52:19] 647*2^1238708-1 is not prime. Res64: A37F4A4AA399CFC2 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:00:38] 813*2^1238708-1 is not prime. Res64: 9CCB8CD718506D7D Time : 0.0 sec. user=mdettweiler [2013-01-05 18:00:39] 977*2^1238708-1 is not prime. Res64: 1F56AC9454CE7B37 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:09:41] 885*2^1238709-1 is not prime. Res64: 87300472445A0F4C Time : 0.0 sec. user=mdettweiler [2013-01-05 18:09:42] 891*2^1238709-1 is not prime. Res64: F877FE9F1D3E2BFD Time : 0.0 sec. user=vaughan [2013-01-05 18:17:20] 767*2^1238708-1 is not prime. Res64: 9FA0045A15C2E12B Time : 0.0 sec. user=mdettweiler [2013-01-05 18:18:12] 895*2^1238709-1 is not prime. Res64: 159582179FB38967 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:18:13] 605*2^1238710-1 is not prime. Res64: E02A06F2AEB107E7 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:27:03] 657*2^1238710-1 is not prime. Res64: 158E85CE71322FA4 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:27:04] 741*2^1238710-1 is not prime. Res64: 97D4B388882A1DA2 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:35:33] 845*2^1238710-1 is not prime. Res64: 58730E163CB29C42 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:35:34] 867*2^1238710-1 is not prime. Res64: F7A1728CA24A22E8 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:44:27] 885*2^1238710-1 is not prime. Res64: 44CDA6DA60FE5A18 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:44:28] 693*2^1238711-1 is not prime. Res64: 43AFB128A12DC0A4 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:52:59] 789*2^1238711-1 is not prime. Res64: D54E38B943BDE797 Time : 0.0 sec. user=mdettweiler [2013-01-05 18:53:00] 843*2^1238711-1 is not prime. Res64: 3B2225683F66D740 Time : 0.0 sec. user=vaughan [2013-01-05 18:55:14] 765*2^1238710-1 is not prime. Res64: 77F8130C1EC6239E Time : 0.0 sec. user=juhehe [2013-01-05 18:58:42] 999*2^1238708-1 is not prime. Res64: B51A1E18BB93C3D8 Time : 0.0 sec. user=mdettweiler [2013-01-05 19:01:54] 859*2^1238711-1 is not prime. Res64: 2CF33D44F8CB9F0D Time : 0.0 sec. user=mdettweiler [2013-01-05 19:01:55] 913*2^1238711-1 is not prime. Res64: 37FD9E06C5299FBC Time : 0.0 sec. user=juhehe [2013-01-05 19:02:25] 817*2^1238709-1 is not prime. Res64: 16B1D29B1C1BFB5E Time : 0.0 sec. user=mdettweiler [2013-01-05 19:10:21] 713*2^1238712-1 is not prime. Res64: 3693D0DDD50F7CBC Time : 0.0 sec. user=mdettweiler [2013-01-05 19:10:23] 767*2^1238712-1 is not prime. Res64: BAD5E16C06F64094 Time : 0.0 sec. user=mdettweiler [2013-01-05 19:19:19] 825*2^1238712-1 is not prime. Res64: 124015BA1059FEA0 Time : 0.0 sec. user=mdettweiler [2013-01-05 19:19:20] 873*2^1238712-1 is not prime. Res64: 5119B04EBD3C0D9E Time : 0.0 sec. user=mdettweiler [2013-01-05 19:27:50] 887*2^1238712-1 is not prime. Res64: E85C0A26C777C3BB Time : 0.0 sec. user=mdettweiler [2013-01-05 19:27:50] 915*2^1238712-1 is not prime. Res64: 9A97F4A171D45D28 Time : 0.0 sec. user=vaughan [2013-01-05 19:33:01] 819*2^1238712-1 is not prime. Res64: E207F7B3C31B78F6 Time : 0.0 sec. user=mdettweiler [2013-01-05 19:36:41] 975*2^1238712-1 is not prime. Res64: B41D237E0FB2AB8B Time : 0.0 sec. user=mdettweiler [2013-01-05 19:36:42] 639*2^1238713-1 is not prime. Res64: C1F0DBBCDED12BF2 Time : 0.0 sec. user=mdettweiler [2013-01-05 19:45:11] 691*2^1238713-1 is not prime. Res64: 992A87C5C750146A Time : 0.0 sec. user=mdettweiler [2013-01-05 19:45:11] 741*2^1238713-1 is not prime. Res64: ED5B30A7A082C97F Time : 0.0 sec. user=mdettweiler [2013-01-05 19:54:04] 867*2^1238713-1 is not prime. Res64: 5AFD038532E4868E Time : 0.0 sec. user=mdettweiler [2013-01-05 19:54:05] 897*2^1238713-1 is not prime. Res64: 18A008ACC6991BD1 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:02:34] 951*2^1238713-1 is not prime. Res64: 16385022BE6734CE Time : 0.0 sec. user=mdettweiler [2013-01-05 20:02:36] 957*2^1238713-1 is not prime. Res64: 1A602619CBE8CE25 Time : 0.0 sec. user=vaughan [2013-01-05 20:10:50] 847*2^1238713-1 is not prime. Res64: 477CA777AB1A8C98 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:11:25] 741*2^1238714-1 is not prime. Res64: D566C52B095E6A78 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:11:27] 791*2^1238714-1 is not prime. Res64: 73388EEB7C572B77 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:20:01] 833*2^1238714-1 is not prime. Res64: B263C78BE9FF0C98 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:20:02] 903*2^1238714-1 is not prime. Res64: E8FA19AEF4E690A3 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:28:49] 723*2^1238715-1 is not prime. Res64: 3F26F18AE93FCEA5 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:28:49] 753*2^1238715-1 is not prime. Res64: 1A750A8729A5349C Time : 0.0 sec. user=mdettweiler [2013-01-05 20:37:27] 909*2^1238715-1 is not prime. Res64: 4FC84F049D1A09B3 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:37:28] 689*2^1238716-1 is not prime. Res64: B46174449BFCDD83 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:46:11] 749*2^1238716-1 is not prime. Res64: FE5578711AB59386 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:46:11] 843*2^1238716-1 is not prime. Res64: 9412697B0E47EEBA Time : 0.0 sec. user=vaughan [2013-01-05 20:48:39] 1001*2^1238714-1 is not prime. Res64: 38C9D0E865921F63 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:54:49] 855*2^1238716-1 is not prime. Res64: 504FBCBB61444B82 Time : 0.0 sec. user=mdettweiler [2013-01-05 20:54:49] 869*2^1238716-1 is not prime. Res64: 6A92FA99E5124B1F Time : 0.0 sec. user=mdettweiler [2013-01-05 21:03:34] 619*2^1238717-1 is not prime. Res64: 946BEF0C02B31123 Time : 0.0 sec. user=mdettweiler [2013-01-05 21:03:38] 685*2^1238717-1 is not prime. Res64: C4AB8DC98BF1C6B8 Time : 0.0 sec. user=juhehe [2013-01-05 21:06:09] 827*2^1238714-1 is not prime. Res64: DFCF6247F4EEB70B Time : 0.0 sec. user=juhehe [2013-01-05 21:09:24] 945*2^1238714-1 is not prime. Res64: 0D1A77A599ED449E Time : 0.0 sec. user=mdettweiler [2013-01-05 21:12:10] 769*2^1238717-1 is not prime. Res64: A87343E2E36BE84C Time : 0.0 sec. user=mdettweiler [2013-01-05 21:12:12] 925*2^1238717-1 is not prime. Res64: C4B4F94C92C49963 Time : 0.0 sec. user=mdettweiler [2013-01-05 21:21:18] 641*2^1238718-1 is not prime. Res64: 15D9E10CE6467956 Time : 0.0 sec. user=mdettweiler [2013-01-05 21:21:18] 657*2^1238718-1 is not prime. Res64: DE2452B5E465CBA7 Time : 0.0 sec. user=mdettweiler [2013-01-05 21:29:35] 695*2^1238718-1 is not prime. Res64: 93B4A2E6614002D5 Time : 0.0 sec. user=mdettweiler [2013-01-05 21:29:37] 725*2^1238718-1 is not prime. Res64: 33A6654E788977FC Time : 0.0 sec. user=mdettweiler [2013-01-05 21:38:40] 755*2^1238718-1 is not prime. Res64: 99B57FA09FA30B4B Time : 0.0 sec. user=mdettweiler [2013-01-05 21:38:41] 777*2^1238718-1 is not prime. Res64: 5B5F93B7627CEF2D Time : 0.0 sec. user=mdettweiler [2013-01-05 21:47:01] 887*2^1238718-1 is not prime. Res64: 50DE71B4FE34B57B Time : 0.0 sec. user=mdettweiler [2013-01-05 21:47:01] 933*2^1238718-1 is not prime. Res64: D7523942B13230D5 Time : 0.0 sec. user=mdettweiler [2013-01-05 21:56:09] 945*2^1238718-1 is not prime. Res64: BC3EE2D715B17714 Time : 0.0 sec. user=mdettweiler [2013-01-05 21:56:10] 963*2^1238718-1 is not prime. Res64: 0CDD72020214B67E Time : 0.0 sec. user=mdettweiler [2013-01-05 22:04:28] 675*2^1238719-1 is not prime. Res64: 5EF7E4B5ABC7B501 Time : 0.0 sec. user=mdettweiler [2013-01-05 22:04:29] 693*2^1238719-1 is not prime. Res64: BDF56875EEF07764 Time : 0.0 sec. user=mdettweiler [2013-01-05 22:13:35] 705*2^1238719-1 is not prime. Res64: 268BF884470DB7DF Time : 0.0 sec. user=mdettweiler [2013-01-05 22:13:36] 741*2^1238719-1 is not prime. Res64: 24C852B3D9E68D6D Time : 0.0 sec. user=mdettweiler [2013-01-05 22:21:50] 775*2^1238719-1 is not prime. Res64: EFBB7F493940DCBE Time : 0.0 sec. user=mdettweiler [2013-01-05 22:21:51] 829*2^1238719-1 is not prime. Res64: 631CAFAA7F98D1EA Time : 0.0 sec. user=mdettweiler [2013-01-05 22:30:54] 933*2^1238719-1 is not prime. Res64: 77854EB143708AC1 Time : 0.0 sec. user=mdettweiler [2013-01-05 22:30:54] 969*2^1238719-1 is not prime. Res64: 1BAD3F192AC917F3 Time : 0.0 sec. user=mdettweiler [2013-01-05 22:39:08] 615*2^1238720-1 is not prime. Res64: 7D5D8BE7DE3F41A5 Time : 0.0 sec. user=mdettweiler [2013-01-05 22:39:09] 665*2^1238720-1 is not prime. Res64: 01AD6ECF375B5E32 Time : 0.0 sec. user=mdettweiler [2013-01-05 22:48:14] 717*2^1238720-1 is not prime. Res64: C3D9EB428D86BEA8 Time : 0.0 sec. user=mdettweiler [2013-01-05 22:48:15] 879*2^1238720-1 is not prime. Res64: 21EC9DE8A71CA18C Time : 0.0 sec. user=mdettweiler [2013-01-05 22:56:30] 893*2^1238720-1 is not prime. Res64: 08D09EDB7EA8478B Time : 0.0 sec. user=mdettweiler [2013-01-05 22:56:30] 897*2^1238720-1 is not prime. Res64: 3CBB269840D08C86 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:05:35] 917*2^1238720-1 is not prime. Res64: DEB63B181F9F6C4B Time : 0.0 sec. user=mdettweiler [2013-01-05 23:05:36] 607*2^1238721-1 is not prime. Res64: 4B1354AF4972E101 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:13:49] 685*2^1238721-1 is not prime. Res64: 9BCE8ECE049A344B Time : 0.0 sec. user=mdettweiler [2013-01-05 23:13:50] 745*2^1238721-1 is not prime. Res64: 5FFC0C139F95B21C Time : 0.0 sec. user=vaughan [2013-01-05 23:14:00] 697*2^1238717-1 is not prime. Res64: 4F027958D0D7776F Time : 0.0 sec. user=juhehe [2013-01-05 23:14:51] 859*2^1238719-1 is not prime. Res64: 3EBFB926788254F2 Time : 0.0 sec. user=juhehe [2013-01-05 23:16:01] 895*2^1238719-1 is not prime. Res64: D3ED0F70FCD21584 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:23:02] 777*2^1238721-1 is not prime. Res64: 9EF7E33F5AA570CB Time : 0.0 sec. user=mdettweiler [2013-01-05 23:23:03] 795*2^1238721-1 is not prime. Res64: 9573395141B6C190 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:31:15] 877*2^1238721-1 is not prime. Res64: 476953959CF904ED Time : 0.0 sec. user=mdettweiler [2013-01-05 23:31:15] 975*2^1238721-1 is not prime. Res64: 864743C84B0BD699 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:40:22] 827*2^1238722-1 is not prime. Res64: DA1FC55C9900B60E Time : 0.0 sec. user=mdettweiler [2013-01-05 23:40:23] 885*2^1238722-1 is not prime. Res64: 2F1151F185766B67 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:48:36] 619*2^1238723-1 is not prime. Res64: B2207F7CA965181F Time : 0.0 sec. user=mdettweiler [2013-01-05 23:48:36] 633*2^1238723-1 is not prime. Res64: 80A323ECDC0604F2 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:57:46] 699*2^1238723-1 is not prime. Res64: 9C5880A777ABC031 Time : 0.0 sec. user=mdettweiler [2013-01-05 23:57:46] 859*2^1238723-1 is not prime. Res64: ACC469B98048615E Time : 0.0 sec. user=vaughan [2013-01-05 23:58:46] 731*2^1238722-1 is not prime. Res64: 132809B35BD749BE Time : 0.0 sec.