user=mdettweiler [2016-03-19 00:25:46] 853*2^1423535-1 is not prime. Res64: B33EDAD7BDEFE3CC Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:47] 973*2^1423535-1 is not prime. Res64: DD44071FFDE2C612 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:47] 609*2^1423536-1 is not prime. Res64: 9D9E060E8D5A0AFA Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:47] 683*2^1423536-1 is not prime. Res64: D20A89899FB7D3FB Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:48] 707*2^1423536-1 is not prime. Res64: 20F348CB5C9479FC Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:56] 735*2^1423536-1 is not prime. Res64: 6B8451AA9FB3D1F6 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:56] 759*2^1423536-1 is not prime. Res64: 37072ACF6119BE46 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:57] 969*2^1423536-1 is not prime. Res64: 6E2DCAF90E61DEC6 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:57] 601*2^1423537-1 is not prime. Res64: 3F6022FE8345A5E8 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:25:58] 607*2^1423537-1 is not prime. Res64: 8057E6507EFC7065 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:30:13] 667*2^1423537-1 is not prime. Res64: 96F97A49E4D35CF4 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:30:14] 831*2^1423537-1 is not prime. Res64: AC856E8B9B3F2E36 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:30:15] 731*2^1423538-1 is not prime. Res64: 3AB2C477C3E0EAF0 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:30:16] 825*2^1423538-1 is not prime. Res64: F0C8092A29156E5C Time : 0.0 sec. user=mdettweiler [2016-03-19 00:30:17] 845*2^1423538-1 is not prime. Res64: 1F449A3CF32CEA86 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:31:24] 887*2^1423538-1 is not prime. Res64: 6AE85F8132F7C599 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:31:25] 953*2^1423538-1 is not prime. Res64: 3D058C01BEAD00D6 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:31:26] 1001*2^1423538-1 is not prime. Res64: D9F79A60ABCA8382 Time : 0.0 sec. user=mdettweiler [2016-03-19 00:31:27] 619*2^1423539-1 is not prime. Res64: 436A07D732F6049B Time : 0.0 sec. user=mdettweiler [2016-03-19 00:31:27] 703*2^1423539-1 is not prime. Res64: D153C2357168B1D9 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:01] 705*2^1423539-1 is not prime. Res64: 8ECBFD4C9E018243 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:01] 909*2^1423539-1 is not prime. Res64: EDEA1355934793BA Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:01] 741*2^1423539-1 is not prime. Res64: 4BBA876AA5F8AFB6 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:01] 973*2^1423539-1 is not prime. Res64: 1B55EE78DE6FF3E1 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:02] 751*2^1423539-1 is not prime. Res64: E648A3AFF7BCBA09 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:02] 647*2^1423540-1 is not prime. Res64: E46FE2BDE2105D50 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:02] 823*2^1423539-1 is not prime. Res64: A8B469DEF396E47B Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:02] 677*2^1423540-1 is not prime. Res64: C0805FACAE991211 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:03] 829*2^1423539-1 is not prime. Res64: 1F1C3081CF7EC467 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:11:03] 717*2^1423540-1 is not prime. Res64: 3DEA314413B68658 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:15:42] 875*2^1423540-1 is not prime. Res64: 3839FDEB01DCF17F Time : 0.0 sec. user=mdettweiler [2016-03-19 01:15:43] 995*2^1423540-1 is not prime. Res64: 7855E78B96D71488 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:15:43] 649*2^1423541-1 is not prime. Res64: 894A0E06502C6783 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:15:43] 769*2^1423541-1 is not prime. Res64: E66BFEEFFC088BE4 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:15:44] 951*2^1423541-1 is not prime. Res64: FBB1E539D1EF2439 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:16:27] 957*2^1423541-1 is not prime. Res64: 9F642DCA80C3735E Time : 0.0 sec. user=mdettweiler [2016-03-19 01:16:27] 991*2^1423541-1 is not prime. Res64: 23AFB05D638EE66B Time : 0.0 sec. user=mdettweiler [2016-03-19 01:16:27] 621*2^1423542-1 is not prime. Res64: 76C2F0CBFCEB8FBA Time : 0.0 sec. user=mdettweiler [2016-03-19 01:16:28] 627*2^1423542-1 is not prime. Res64: 654CBDE65663D457 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:16:28] 647*2^1423542-1 is not prime. Res64: 30C328C5586BB791 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:06] 651*2^1423542-1 is not prime. Res64: 23EEDC4066C534EF Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:07] 825*2^1423542-1 is not prime. Res64: C8DAA829BACD8CA9 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:07] 673*2^1423543-1 is not prime. Res64: 012FE8B31EFD0324 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:07] 917*2^1423542-1 is not prime. Res64: 2FFD063B35C49CA4 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:08] 675*2^1423543-1 is not prime. Res64: 2252620F71E95B6E Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:08] 983*2^1423542-1 is not prime. Res64: C7354F579365D40F Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:08] 685*2^1423543-1 is not prime. Res64: 2005208745B5B04F Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:09] 615*2^1423543-1 is not prime. Res64: 9E3913E5399E07F4 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:09] 705*2^1423543-1 is not prime. Res64: 46803C43AB6A1882 Time : 0.0 sec. user=mdettweiler [2016-03-19 01:56:09] 859*2^1423543-1 is not prime. Res64: DC6B02C55FAA8CD6 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:00:53] 861*2^1423543-1 is not prime. Res64: 408BF053D1B93FE3 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:00:55] 933*2^1423543-1 is not prime. Res64: CA95825F021B3338 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:00:56] 973*2^1423543-1 is not prime. Res64: A2774973EB137651 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:00:57] 623*2^1423544-1 is not prime. Res64: 7A61F6E92E3BCA38 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:00:59] 755*2^1423544-1 is not prime. Res64: 030FA230D781306C Time : 0.0 sec. user=mdettweiler [2016-03-19 02:01:17] 767*2^1423544-1 is not prime. Res64: AFB608409222C08B Time : 0.0 sec. user=mdettweiler [2016-03-19 02:01:19] 843*2^1423544-1 is not prime. Res64: 6ECF067ADC0EE0E1 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:01:20] 651*2^1423545-1 is not prime. Res64: 201014C848D3341C Time : 0.0 sec. user=mdettweiler [2016-03-19 02:01:21] 709*2^1423545-1 is not prime. Res64: 045DAF5BE8613F36 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:01:22] 885*2^1423545-1 is not prime. Res64: 376981BD96E904E1 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:01:58] 915*2^1423545-1 is not prime. Res64: 67E52AA86630CF71 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:02:17] 657*2^1423546-1 is not prime. Res64: B33469896CCD59D7 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:37:53] 871*2^1423551-1 is not prime. Res64: C4AE8BB50F49E6BE Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:27] 695*2^1423546-1 is not prime. Res64: CD3AD907B14BCE19 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:28] 833*2^1423546-1 is not prime. Res64: 8009724904418150 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:28] 861*2^1423546-1 is not prime. Res64: 8F73139A5D810521 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:28] 1001*2^1423546-1 is not prime. Res64: C6DCFE82B99521DE Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:29] 655*2^1423547-1 is not prime. Res64: E8F09F7D5D526DFF Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:30] 685*2^1423547-1 is not prime. Res64: 8D31F98DBFEFF988 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:31] 825*2^1423547-1 is not prime. Res64: 689153CCE28500A8 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:31] 879*2^1423547-1 is not prime. Res64: B6C9C106C9B290E8 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:31] 889*2^1423547-1 is not prime. Res64: 85F2E2B9B9193498 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:41:32] 773*2^1423548-1 is not prime. Res64: 469FEA42E578779A Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:41] 809*2^1423548-1 is not prime. Res64: FF84F0B01186E531 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:41] 639*2^1423549-1 is not prime. Res64: EC647F13C7586497 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:41] 811*2^1423549-1 is not prime. Res64: 42ED907459684B2B Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:41] 877*2^1423549-1 is not prime. Res64: 8351E724BA6C9137 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:42] 997*2^1423549-1 is not prime. Res64: C8BF67C33947FCE9 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:57] 843*2^1423550-1 is not prime. Res64: 173B7C3895EABF26 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:57] 851*2^1423550-1 is not prime. Res64: 2314A01E172FD24D Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:57] 893*2^1423550-1 is not prime. Res64: 8CF9AAA7FDCC5719 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:57] 981*2^1423550-1 is not prime. Res64: 87F2AE5ABEFD3604 Time : 0.0 sec. user=mdettweiler [2016-03-19 02:46:58] 987*2^1423550-1 is not prime. Res64: 5129B84BC3B77CD2 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:29] 779*2^1423552-1 is not prime. Res64: 3DDCC591C2944DBF Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:31] 873*2^1423552-1 is not prime. Res64: A60818606F872A16 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:32] 627*2^1423553-1 is not prime. Res64: 5392CD31C8FCA8BC Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:33] 705*2^1423553-1 is not prime. Res64: 13A420EA7CF79209 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:34] 781*2^1423553-1 is not prime. Res64: D6E8C253AAE1CB3C Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:56] 949*2^1423551-1 is not prime. Res64: EA2B6D11767C5668 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:56] 605*2^1423552-1 is not prime. Res64: BC61C1FA7AE40E0F Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:57] 645*2^1423552-1 is not prime. Res64: B2DC490C4D670B59 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:57] 657*2^1423552-1 is not prime. Res64: 91ABC42FF93ED87B Time : 0.0 sec. user=mdettweiler [2016-03-19 03:27:58] 665*2^1423552-1 is not prime. Res64: AA61072C02B5A1B7 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:33] 803*2^1423554-1 is not prime. Res64: 0CFC80F10401F18A Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:35] 837*2^1423554-1 is not prime. Res64: 38DDF470841AC09C Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:35] 947*2^1423554-1 is not prime. Res64: D0613E77E994B009 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:36] 983*2^1423554-1 is not prime. Res64: 19E5E6CE69C8996E Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:37] 693*2^1423555-1 is not prime. Res64: F2EF01FDA38BD95D Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:45] 627*2^1423554-1 is not prime. Res64: 517A180EA9B57D56 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:46] 681*2^1423554-1 is not prime. Res64: 73C8A5353E78E1D4 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:47] 705*2^1423554-1 is not prime. Res64: F68BCB6BDF221BA8 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:48] 725*2^1423554-1 is not prime. Res64: 752794E4866F51C3 Time : 0.0 sec. user=mdettweiler [2016-03-19 03:32:49] 765*2^1423554-1 is not prime. Res64: DA37978E34426E67 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:12:46] 759*2^1423555-1 is not prime. Res64: 05BFD21E92F39E84 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:12:47] 871*2^1423555-1 is not prime. Res64: 1CDB0FC932581912 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:12:47] 883*2^1423555-1 is not prime. Res64: 3FECDFD0E2F15B30 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:12:48] 951*2^1423555-1 is not prime. Res64: 6E031C6D545F13F1 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:12:48] 961*2^1423555-1 is not prime. Res64: A1D0801F5109D361 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:13:16] 985*2^1423555-1 is not prime. Res64: 704C82AEAAFCEC4B Time : 0.0 sec. user=mdettweiler [2016-03-19 04:13:17] 999*2^1423555-1 is not prime. Res64: 6C4EC7B3E5302535 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:13:17] 717*2^1423556-1 is not prime. Res64: 200B347013C00143 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:13:18] 759*2^1423556-1 is not prime. Res64: 7DE7AF09EF3BD0D7 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:13:18] 773*2^1423556-1 is not prime. Res64: 4A54C6BBB44390A2 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:17:57] 717*2^1423557-1 is not prime. Res64: 8DE808FCEB0FEEF7 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:17:57] 765*2^1423557-1 is not prime. Res64: 49673EF212367ADF Time : 0.0 sec. user=mdettweiler [2016-03-19 04:17:58] 885*2^1423557-1 is not prime. Res64: 4085743C53E7661C Time : 0.0 sec. user=mdettweiler [2016-03-19 04:17:58] 901*2^1423557-1 is not prime. Res64: F7562B09B0208228 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:17:59] 833*2^1423556-1 is not prime. Res64: 41FDEB85F97A987D Time : 0.0 sec. user=mdettweiler [2016-03-19 04:17:59] 919*2^1423557-1 is not prime. Res64: 4F75C467CD1F19A7 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:17:59] 845*2^1423556-1 is not prime. Res64: F22CAFB07E67C75C Time : 0.0 sec. user=mdettweiler [2016-03-19 04:18:00] 999*2^1423556-1 is not prime. Res64: E771AE0739B2805E Time : 0.0 sec. user=mdettweiler [2016-03-19 04:18:00] 615*2^1423557-1 is not prime. Res64: 75FCB93672B8DD0C Time : 0.0 sec. user=mdettweiler [2016-03-19 04:18:00] 699*2^1423557-1 is not prime. Res64: 8D94DB129D586EC8 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:24:56] 843*2^1423559-1 is not prime. Res64: DBBE15694B90F5B8 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:57:52] 955*2^1423557-1 is not prime. Res64: F9DDDC2399589EAF Time : 0.0 sec. user=mdettweiler [2016-03-19 04:57:52] 645*2^1423558-1 is not prime. Res64: 13FC419EC905EB76 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:57:52] 671*2^1423558-1 is not prime. Res64: 74C02A9E007E0BDA Time : 0.0 sec. user=mdettweiler [2016-03-19 04:57:53] 801*2^1423558-1 is not prime. Res64: B865820C918B4F99 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:57:53] 813*2^1423558-1 is not prime. Res64: 52496E0E8912E18A Time : 0.0 sec. user=mdettweiler [2016-03-19 04:58:24] 827*2^1423558-1 is not prime. Res64: 3D2067294ADB6283 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:58:24] 693*2^1423559-1 is not prime. Res64: D1B0310F280F768A Time : 0.0 sec. user=mdettweiler [2016-03-19 04:58:24] 721*2^1423559-1 is not prime. Res64: 6F6CC4BF5B0C45F5 Time : 0.0 sec. user=mdettweiler [2016-03-19 04:58:25] 741*2^1423559-1 is not prime. Res64: 6E14F17CED60140A Time : 0.0 sec. user=mdettweiler [2016-03-19 04:58:25] 759*2^1423559-1 is not prime. Res64: A975B943AC232456 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:19] 723*2^1423560-1 is not prime. Res64: 9ADDCD95F2C26D19 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:20] 879*2^1423559-1 is not prime. Res64: 69346A4CF2C0C51E Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:21] 991*2^1423559-1 is not prime. Res64: F8B3CAD9168AC7DA Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:22] 737*2^1423560-1 is not prime. Res64: 9060303E38434AFB Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:23] 629*2^1423560-1 is not prime. Res64: F1EA58A0C0A0EFCE Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:24] 635*2^1423560-1 is not prime. Res64: FF3920B19ECAF503 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:26] 773*2^1423560-1 is not prime. Res64: AA2452E46523637A Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:27] 693*2^1423560-1 is not prime. Res64: D258371D298424AF Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:28] 819*2^1423560-1 is not prime. Res64: BD1AB070F8CBD402 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:03:31] 899*2^1423560-1 is not prime. Res64: 0A36C856F2AFB5CE Time : 0.0 sec. user=mdettweiler [2016-03-19 05:42:57] 909*2^1423560-1 is not prime. Res64: 0130A85734FDB032 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:42:58] 619*2^1423561-1 is not prime. Res64: 7011A59F47F6A523 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:42:58] 685*2^1423561-1 is not prime. Res64: 1EBEBFA0C16C71CF Time : 0.0 sec. user=mdettweiler [2016-03-19 05:42:58] 705*2^1423561-1 is not prime. Res64: 1DC6D0EA3D51ABA5 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:42:59] 715*2^1423561-1 is not prime. Res64: 941D62BBBA1F918F Time : 0.0 sec. user=mdettweiler [2016-03-19 05:43:22] 771*2^1423561-1 is not prime. Res64: 263878C7A1481D80 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:43:23] 855*2^1423561-1 is not prime. Res64: 4C8F943B155AA416 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:43:23] 861*2^1423561-1 is not prime. Res64: 9524B8842E976B17 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:43:24] 945*2^1423561-1 is not prime. Res64: FCE4F8B95DCF10B5 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:43:24] 683*2^1423562-1 is not prime. Res64: 60D16B47D34155FF Time : 0.0 sec. user=mdettweiler [2016-03-19 05:48:48] 995*2^1423562-1 is not prime. Res64: E068D3CEEF9792BC Time : 0.0 sec. user=mdettweiler [2016-03-19 05:48:48] 685*2^1423563-1 is not prime. Res64: 3C0BF66CBBC25463 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:48:48] 709*2^1423563-1 is not prime. Res64: CBC07F7234387B39 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:48:49] 829*2^1423563-1 is not prime. Res64: 84AF26529A842868 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:48:49] 879*2^1423563-1 is not prime. Res64: E2F3D6AE2EDAE3DE Time : 0.0 sec. user=mdettweiler [2016-03-19 05:49:01] 701*2^1423562-1 is not prime. Res64: 08609364BE54491B Time : 0.0 sec. user=mdettweiler [2016-03-19 05:49:01] 815*2^1423562-1 is not prime. Res64: 1300543AB56D0702 Time : 0.0 sec. user=mdettweiler [2016-03-19 05:49:01] 887*2^1423562-1 is not prime. Res64: B1DCDE7664066B0A Time : 0.0 sec. user=mdettweiler [2016-03-19 05:49:02] 893*2^1423562-1 is not prime. Res64: 4AADE0209216886F Time : 0.0 sec. user=mdettweiler [2016-03-19 05:49:02] 921*2^1423562-1 is not prime. Res64: A555F021C9C7D28E Time : 0.0 sec. user=mdettweiler [2016-03-19 05:53:16] 741*2^1423565-1 is not prime. Res64: 4912BE8F28C58CB4 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:32] 687*2^1423564-1 is not prime. Res64: 8938B44C85EF2C0F Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:33] 705*2^1423564-1 is not prime. Res64: 80426973CFF4C076 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:33] 827*2^1423564-1 is not prime. Res64: 39ACC66DD12E8213 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:33] 895*2^1423563-1 is not prime. Res64: F3EE78F8F3F03C5A Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:33] 843*2^1423564-1 is not prime. Res64: 2E50C12233391134 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:34] 985*2^1423563-1 is not prime. Res64: 6755E8A54D679406 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:34] 601*2^1423565-1 is not prime. Res64: 620AFAF520F72175 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:34] 605*2^1423564-1 is not prime. Res64: ECFEEC84A39CF4EA Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:34] 617*2^1423564-1 is not prime. Res64: 41257756B0549DFC Time : 0.0 sec. user=mdettweiler [2016-03-19 06:28:35] 639*2^1423564-1 is not prime. Res64: 33DF3EA1A1A90957 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:12] 799*2^1423565-1 is not prime. Res64: FA38595CAC3F47AC Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:12] 889*2^1423565-1 is not prime. Res64: 3A9A8594D3220478 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:13] 937*2^1423565-1 is not prime. Res64: DEE3A16D7F2BD5CC Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:13] 969*2^1423565-1 is not prime. Res64: E7A392E7B43A2BEB Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:13] 677*2^1423566-1 is not prime. Res64: E6C2AE42B3D8D20F Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:29] 707*2^1423566-1 is not prime. Res64: BF7BE3D9B027A932 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:29] 737*2^1423566-1 is not prime. Res64: 4B068A18133F5FB5 Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:29] 893*2^1423566-1 is not prime. Res64: EC872E17D3E07D3E Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:30] 945*2^1423566-1 is not prime. Res64: BCB26D57B05863BA Time : 0.0 sec. user=mdettweiler [2016-03-19 06:34:30] 957*2^1423566-1 is not prime. Res64: B448C0E918302095 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:03:30] 631*2^1423571-1 is not prime. Res64: 987E39BBBB43ED32 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:03:54] 669*2^1423571-1 is not prime. Res64: AF9A5E3FF16383DF Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:34] 603*2^1423567-1 is not prime. Res64: 1047D4FE6818F185 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:35] 649*2^1423567-1 is not prime. Res64: 38FCCA61CC7DD580 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:36] 763*2^1423567-1 is not prime. Res64: 4D45814A37F2D9F8 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:38] 895*2^1423567-1 is not prime. Res64: 71A48E576644B8C9 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:39] 915*2^1423567-1 is not prime. Res64: F1E90BCB2CCA39E0 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:41] 659*2^1423568-1 is not prime. Res64: A75AB6CE4E5F4D94 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:42] 827*2^1423568-1 is not prime. Res64: 85A8A65F6BC0E2BE Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:43] 839*2^1423568-1 is not prime. Res64: 877EE75B63E67646 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:45] 927*2^1423568-1 is not prime. Res64: D4D6DF4AB416F6E1 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:13:46] 959*2^1423568-1 is not prime. Res64: C237167E790EA9A7 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:10] 669*2^1423569-1 is not prime. Res64: 896443EA377D205D Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:11] 861*2^1423569-1 is not prime. Res64: B41921B32A01C906 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:14] 603*2^1423570-1 is not prime. Res64: 8BA78EBE47BD6ABB Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:15] 647*2^1423570-1 is not prime. Res64: 11094BB3CB6E359D Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:16] 657*2^1423570-1 is not prime. Res64: 9FD7C201647E1697 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:28] 675*2^1423570-1 is not prime. Res64: 3E2AB9DD67564730 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:30] 677*2^1423570-1 is not prime. Res64: 7673FBFE15270BEB Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:30] 773*2^1423570-1 is not prime. Res64: A742D182175DD293 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:31] 873*2^1423570-1 is not prime. Res64: DEBE77384F66643E Time : 0.0 sec. user=mdettweiler [2016-03-19 07:19:32] 609*2^1423571-1 is not prime. Res64: F2E2D9342DCC4096 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:51] 703*2^1423571-1 is not prime. Res64: 4876B5F5326B4D3E Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:51] 871*2^1423571-1 is not prime. Res64: 8142A82938D00380 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:52] 711*2^1423571-1 is not prime. Res64: D6842BDB2861D483 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:52] 909*2^1423571-1 is not prime. Res64: 53674D51AC4CF1E4 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:53] 759*2^1423571-1 is not prime. Res64: CF6E910B10400D70 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:53] 999*2^1423571-1 is not prime. Res64: 4A0F3C9EDCA85A43 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:54] 783*2^1423571-1 is not prime. Res64: 476CF378ECFE8212 Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:54] 629*2^1423572-1 is not prime. Res64: 3CD05E94B20202AC Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:55] 855*2^1423571-1 is not prime. Res64: 9C7A68877DA54DFC Time : 0.0 sec. user=mdettweiler [2016-03-19 07:58:55] 723*2^1423572-1 is not prime. Res64: 641AA210910A5CC1 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:24] 749*2^1423572-1 is not prime. Res64: 4F26E1EECC10C470 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:25] 863*2^1423572-1 is not prime. Res64: 01BC93D97F546CB3 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:27] 887*2^1423572-1 is not prime. Res64: A66ED874F13FA458 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:29] 945*2^1423572-1 is not prime. Res64: AB62F78B30C5A53E Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:30] 607*2^1423573-1 is not prime. Res64: 37648FD92D935D98 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:51] 681*2^1423573-1 is not prime. Res64: 281736149A43CDE5 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:52] 685*2^1423573-1 is not prime. Res64: 7C7F92B4529B7975 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:53] 687*2^1423573-1 is not prime. Res64: 2917733C4E50E540 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:55] 727*2^1423573-1 is not prime. Res64: 075672BD8E3AE7F9 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:04:56] 757*2^1423573-1 is not prime. Res64: 49E7DD4AD7AA0AC6 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:08] 855*2^1423573-1 is not prime. Res64: 3CEC73753F7EE1AF Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:09] 979*2^1423573-1 is not prime. Res64: 53E59CE9585885A8 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:10] 615*2^1423574-1 is not prime. Res64: 505A24B8B6E8F091 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:11] 851*2^1423574-1 is not prime. Res64: 1DD2DEA09CEB66B1 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:11] 705*2^1423574-1 is not prime. Res64: E96B77F49307D42C Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:12] 897*2^1423574-1 is not prime. Res64: B7F4B3D5F0697F75 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:12] 791*2^1423574-1 is not prime. Res64: 8FA3DDDCBEC9BB7A Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:13] 945*2^1423574-1 is not prime. Res64: 5CC34D2645233A77 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:14] 693*2^1423575-1 is not prime. Res64: F36CFF2476139061 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:44:15] 739*2^1423575-1 is not prime. Res64: 4CC11C70C3ADA7D5 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:49:45] 825*2^1423575-1 is not prime. Res64: 2A32D96EFFB2935D Time : 0.0 sec. user=mdettweiler [2016-03-19 08:49:46] 849*2^1423575-1 is not prime. Res64: 0704B89B4A62A69C Time : 0.0 sec. user=mdettweiler [2016-03-19 08:49:47] 859*2^1423575-1 is not prime. Res64: C3498B09F2718EB8 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:49:48] 895*2^1423575-1 is not prime. Res64: 5E2C73B53835FADB Time : 0.0 sec. user=mdettweiler [2016-03-19 08:49:49] 951*2^1423575-1 is not prime. Res64: A921131AF028670A Time : 0.0 sec. user=mdettweiler [2016-03-19 08:50:20] 963*2^1423575-1 is not prime. Res64: C0AD12E18031BB26 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:50:21] 629*2^1423576-1 is not prime. Res64: 4A3C8B24CBF7223D Time : 0.0 sec. user=mdettweiler [2016-03-19 08:50:22] 803*2^1423576-1 is not prime. Res64: C59814391D601922 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:50:22] 843*2^1423576-1 is not prime. Res64: 0CF9122BE5364209 Time : 0.0 sec. user=mdettweiler [2016-03-19 08:50:23] 899*2^1423576-1 is not prime. Res64: 5BE01E804A50F79E Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:21] 615*2^1423577-1 is not prime. Res64: FAB4DEB68D0D2032 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:22] 619*2^1423577-1 is not prime. Res64: A410FB1ED71A8DAC Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:23] 637*2^1423577-1 is not prime. Res64: 5D98758976C6ADC2 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:24] 805*2^1423577-1 is not prime. Res64: 0B562C1966E02F81 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:25] 837*2^1423577-1 is not prime. Res64: D23B9FCBA0A7FAD6 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:35] 847*2^1423577-1 is not prime. Res64: 13D379B1540FD876 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:36] 671*2^1423578-1 is not prime. Res64: 85639A2E7062E65E Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:37] 677*2^1423578-1 is not prime. Res64: 7D73F093B1C7C1BF Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:38] 681*2^1423578-1 is not prime. Res64: 95CAFC09626ECCC3 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:29:39] 777*2^1423578-1 is not prime. Res64: 1CFC4BE01DB0553F Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:10] 803*2^1423578-1 is not prime. Res64: 55BB68150E319938 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:11] 875*2^1423578-1 is not prime. Res64: EA0388287B275BDF Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:12] 891*2^1423578-1 is not prime. Res64: 8883B6578F83FB14 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:13] 933*2^1423578-1 is not prime. Res64: D1CDE2408F85EC08 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:14] 993*2^1423578-1 is not prime. Res64: 57E5827108704AEF Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:57] 771*2^1423579-1 is not prime. Res64: 6090548BFD149905 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:58] 775*2^1423579-1 is not prime. Res64: D8E02364C40A8DAC Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:59] 789*2^1423579-1 is not prime. Res64: 714965A58329D92C Time : 0.0 sec. user=mdettweiler [2016-03-19 09:35:59] 829*2^1423579-1 is not prime. Res64: EFD082F86DFF6000 Time : 0.0 sec. user=mdettweiler [2016-03-19 09:36:00] 853*2^1423579-1 is not prime. Res64: 7DA4E88A92B0C2B4 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:38] 931*2^1423579-1 is not prime. Res64: 83F9104F5B677191 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:39] 975*2^1423579-1 is not prime. Res64: E4B2BC764F981DF2 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:39] 979*2^1423579-1 is not prime. Res64: A73D58F9F4D896FC Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:40] 785*2^1423580-1 is not prime. Res64: 0235FA181F7C0053 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:40] 825*2^1423580-1 is not prime. Res64: 46CEED66FAB0359D Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:43] 839*2^1423580-1 is not prime. Res64: 80F42CBF54815778 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:43] 615*2^1423581-1 is not prime. Res64: DEE9D7DC419AA238 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:44] 709*2^1423581-1 is not prime. Res64: 4220BD6CFD2F7A8A Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:44] 745*2^1423581-1 is not prime. Res64: B4D0E620AD9725E9 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:14:45] 829*2^1423581-1 is not prime. Res64: F82876653C662FCD Time : 0.0 sec. user=mdettweiler [2016-03-19 10:19:33] 609*2^1423583-1 is not prime. Res64: 41FD83262C2B7490 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:19:35] 735*2^1423583-1 is not prime. Res64: 9FFCAE46116BD062 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:19:37] 739*2^1423583-1 is not prime. Res64: 80201897A502DC53 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:20:38] 837*2^1423581-1 is not prime. Res64: 624D0C24F1C9A153 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:20:39] 907*2^1423581-1 is not prime. Res64: 206A092487889113 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:20:39] 969*2^1423581-1 is not prime. Res64: 22C464561BE8E534 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:20:39] 621*2^1423582-1 is not prime. Res64: 93F008113892E7EE Time : 0.0 sec. user=mdettweiler [2016-03-19 10:20:40] 671*2^1423582-1 is not prime. Res64: EC69BF7745017CA9 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:21:15] 741*2^1423582-1 is not prime. Res64: 824F403EE0169B3F Time : 0.0 sec. user=mdettweiler [2016-03-19 10:21:16] 827*2^1423582-1 is not prime. Res64: A0A03B11AF3DC6A9 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:21:16] 885*2^1423582-1 is not prime. Res64: 3EBBE39B303CF1AC Time : 0.0 sec. user=mdettweiler [2016-03-19 10:21:16] 941*2^1423582-1 is not prime. Res64: 79495F1AFC584A4C Time : 0.0 sec. user=mdettweiler [2016-03-19 10:21:17] 951*2^1423582-1 is not prime. Res64: D65F0CBE270D6C1E Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:38] 759*2^1423583-1 is not prime. Res64: 004B246DC9749B7A Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:38] 963*2^1423583-1 is not prime. Res64: 7C41238A920BA874 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:39] 849*2^1423584-1 is not prime. Res64: EBC26685AF4C902D Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:39] 765*2^1423585-1 is not prime. Res64: 96E97264B06737DD Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:40] 885*2^1423585-1 is not prime. Res64: DBD9C8692A08E426 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:49] 895*2^1423585-1 is not prime. Res64: EAA6E3301BD26239 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:49] 717*2^1423586-1 is not prime. Res64: FEAB3372C6C64262 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:49] 741*2^1423586-1 is not prime. Res64: 4B1C7983B3F606E2 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:50] 755*2^1423586-1 is not prime. Res64: 3EAA80B162F43154 Time : 0.0 sec. user=mdettweiler [2016-03-19 10:59:50] 887*2^1423586-1 is not prime. Res64: 12621F5C65111A0E Time : 0.0 sec. user=mdettweiler [2016-03-19 11:05:36] 921*2^1423586-1 is not prime. Res64: C7B86E98C530EB14 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:05:38] 709*2^1423587-1 is not prime. Res64: 9A20717063CF3558 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:05:39] 903*2^1423587-1 is not prime. Res64: 34ABA9D3DFD6F9ED Time : 0.0 sec. user=mdettweiler [2016-03-19 11:05:40] 985*2^1423587-1 is not prime. Res64: 40A50881078937CF Time : 0.0 sec. user=mdettweiler [2016-03-19 11:05:41] 777*2^1423588-1 is not prime. Res64: 7B6F836045EB2DAE Time : 0.0 sec. user=mdettweiler [2016-03-19 11:06:07] 987*2^1423588-1 is not prime. Res64: D072140E51823A1F Time : 0.0 sec. user=mdettweiler [2016-03-19 11:06:08] 697*2^1423589-1 is not prime. Res64: FAEBEE88F1FBBAE4 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:06:09] 729*2^1423589-1 is not prime. Res64: 5805563081F97E15 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:06:09] 745*2^1423589-1 is not prime. Res64: CF790C920F4E794E Time : 0.0 sec. user=mdettweiler [2016-03-19 11:06:10] 747*2^1423589-1 is not prime. Res64: D341A754F0F80E34 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:42] 987*2^1423589-1 is not prime. Res64: 29A3ED64C500A5CB Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:42] 641*2^1423590-1 is not prime. Res64: 4CCD3C7399F7AD97 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:42] 723*2^1423590-1 is not prime. Res64: D1234FE41D02F7C3 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:43] 801*2^1423590-1 is not prime. Res64: C401DDB946811EE4 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:43] 941*2^1423590-1 is not prime. Res64: 7D6FDCC8C9BD74F1 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:50] 615*2^1423591-1 is not prime. Res64: AD1B72260FED7615 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:51] 639*2^1423591-1 is not prime. Res64: 8175025291A25D70 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:51] 673*2^1423591-1 is not prime. Res64: D8DA6E08678591FE Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:51] 693*2^1423591-1 is not prime. Res64: D576511433FF7839 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:44:52] 705*2^1423591-1 is not prime. Res64: BAD93CA3E7FA341D Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:02] 715*2^1423591-1 is not prime. Res64: 6ACB73C36829E7C3 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:03] 723*2^1423591-1 is not prime. Res64: 8EEC27F7FA312721 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:03] 943*2^1423591-1 is not prime. Res64: 5CEB77ACD1B1EB50 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:04] 973*2^1423591-1 is not prime. Res64: 0CAAFF7AFF87FF64 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:04] 975*2^1423591-1 is not prime. Res64: C2129209EDA3D3E3 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:29] 615*2^1423592-1 is not prime. Res64: 0333A65AA282487A Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:29] 875*2^1423592-1 is not prime. Res64: 4379FFEC42C3C85A Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:30] 899*2^1423592-1 is not prime. Res64: 81FA9F198957AF7E Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:30] 675*2^1423593-1 is not prime. Res64: 50925B42CAD41060 Time : 0.0 sec. user=mdettweiler [2016-03-19 11:51:31] 679*2^1423593-1 is not prime. Res64: C6CC6C674F5B91F5 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:24:01] 667*2^1423597-1 is not prime. Res64: DAF27082A7D8383E Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:48] 915*2^1423593-1 is not prime. Res64: EE3F5117B15E1D2C Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:48] 605*2^1423594-1 is not prime. Res64: 97C377C3128246D6 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:49] 635*2^1423594-1 is not prime. Res64: 9EAE9EF83009393C Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:49] 645*2^1423594-1 is not prime. Res64: 18548F7797B43D89 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:50] 651*2^1423594-1 is not prime. Res64: 533291750CA68ECA Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:53] 701*2^1423594-1 is not prime. Res64: E9FE38C1759437D4 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:53] 737*2^1423594-1 is not prime. Res64: 2377284A32753B80 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:54] 755*2^1423594-1 is not prime. Res64: 75D977D3EF67114E Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:54] 609*2^1423595-1 is not prime. Res64: 9AFBB710C32F0328 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:29:55] 643*2^1423595-1 is not prime. Res64: 3D18050E8A9B2DAD Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:05] 645*2^1423595-1 is not prime. Res64: B77C52F5B8DBAE48 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:05] 963*2^1423595-1 is not prime. Res64: 4BE6EF56E3E73657 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:06] 979*2^1423595-1 is not prime. Res64: 0CC746B85DD34D54 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:06] 623*2^1423596-1 is not prime. Res64: A017499F6AF6F5CB Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:06] 635*2^1423596-1 is not prime. Res64: 8751B5D3F275D651 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:39] 669*2^1423596-1 is not prime. Res64: CC6AC8143CAE92D0 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:40] 683*2^1423596-1 is not prime. Res64: 04E154EBA17CFB8B Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:40] 783*2^1423596-1 is not prime. Res64: 5D6E06CE97AA8BD4 Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:41] 789*2^1423596-1 is not prime. Res64: B30D9A5C3D76DFAF Time : 0.0 sec. user=mdettweiler [2016-03-19 12:36:41] 837*2^1423596-1 is not prime. Res64: C86258807FC647F3 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:16:18] 675*2^1423597-1 is not prime. Res64: 8849D85068A023A8 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:16:19] 717*2^1423597-1 is not prime. Res64: CA2BAC7180531EB4 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:16:19] 747*2^1423597-1 is not prime. Res64: 69AAF6700D1EE6F5 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:16:20] 751*2^1423597-1 is not prime. Res64: 30067E7646808E19 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:16:21] 805*2^1423597-1 is not prime. Res64: 08FE958214B972CB Time : 0.0 sec. user=mdettweiler [2016-03-19 13:17:04] 825*2^1423597-1 is not prime. Res64: F0AF2BF497C83713 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:17:05] 861*2^1423597-1 is not prime. Res64: 31405F87D661F148 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:17:05] 915*2^1423597-1 is not prime. Res64: 1AD4A685944B02F0 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:17:05] 937*2^1423597-1 is not prime. Res64: 61D6C7D6056702AA Time : 0.0 sec. user=mdettweiler [2016-03-19 13:17:05] 955*2^1423597-1 is not prime. Res64: 33E710E865B1BB81 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:23:54] 975*2^1423597-1 is not prime. Res64: FFA12D1C6046CAE0 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:23:55] 985*2^1423597-1 is not prime. Res64: 59A07D489DF3AB1A Time : 0.0 sec. user=mdettweiler [2016-03-19 13:23:55] 683*2^1423598-1 is not prime. Res64: FB5202D680ACF459 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:23:55] 771*2^1423598-1 is not prime. Res64: 712419112448EACB Time : 0.0 sec. user=mdettweiler [2016-03-19 13:23:55] 801*2^1423598-1 is not prime. Res64: 455FC0F24F8E9D5D Time : 0.0 sec. user=mdettweiler [2016-03-19 13:25:16] 825*2^1423598-1 is not prime. Res64: 4B4B0E932C0EBAB0 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:25:16] 845*2^1423598-1 is not prime. Res64: 4EE9DDBD2E3B1C32 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:25:17] 857*2^1423598-1 is not prime. Res64: 58A440D2877BCE82 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:25:17] 915*2^1423598-1 is not prime. Res64: F66A9E37966E9904 Time : 0.0 sec. user=mdettweiler [2016-03-19 13:25:18] 923*2^1423598-1 is not prime. Res64: 3C5845B0DF5F577E Time : 0.0 sec. user=mdettweiler [2016-03-19 14:16:39] 609*2^1423599-1 is not prime. Res64: 2F62A4C54FCBF291 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:16:40] 619*2^1423599-1 is not prime. Res64: 05363F8B1E145AF2 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:16:40] 661*2^1423599-1 is not prime. Res64: C1472E39984B67F5 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:16:40] 741*2^1423599-1 is not prime. Res64: 962C5070936DC175 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:16:41] 775*2^1423599-1 is not prime. Res64: BB41B726FE915EA2 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:18:30] 859*2^1423599-1 is not prime. Res64: BF03CF994CBC4227 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:18:30] 895*2^1423599-1 is not prime. Res64: 77A1565B81B7C038 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:18:30] 951*2^1423599-1 is not prime. Res64: E2C0415B354BD459 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:18:31] 603*2^1423600-1 is not prime. Res64: 990A7E45AA445958 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:18:31] 605*2^1423600-1 is not prime. Res64: 9FA9AECDF512FC18 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:23:31] 645*2^1423600-1 is not prime. Res64: 27759F9DADD0BBB5 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:23:31] 663*2^1423600-1 is not prime. Res64: A7E64616A7DDAA82 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:23:32] 675*2^1423600-1 is not prime. Res64: 17E6E6D46BD04D82 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:23:32] 689*2^1423600-1 is not prime. Res64: E0AFC6883825F8ED Time : 0.0 sec. user=mdettweiler [2016-03-19 14:23:32] 693*2^1423600-1 is not prime. Res64: 6D45B577E33D2AE6 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:25:26] 723*2^1423600-1 is not prime. Res64: 069CA7DE03F85CFC Time : 0.0 sec. user=mdettweiler [2016-03-19 14:25:27] 813*2^1423600-1 is not prime. Res64: 2ED5BFFE4AF5E99E Time : 0.0 sec. user=mdettweiler [2016-03-19 14:25:27] 825*2^1423600-1 is not prime. Res64: 485DFD6278DE3E57 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:25:27] 827*2^1423600-1 is not prime. Res64: 3F8630E9752EA500 Time : 0.0 sec. user=mdettweiler [2016-03-19 14:25:28] 843*2^1423600-1 is not prime. Res64: 45A26609314F5CF2 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:04:04] 887*2^1423600-1 is not prime. Res64: 1219115851A12F1F Time : 0.0 sec. user=mdettweiler [2016-03-19 15:04:06] 909*2^1423600-1 is not prime. Res64: 32AFEEFEEAB449FE Time : 0.0 sec. user=mdettweiler [2016-03-19 15:04:08] 607*2^1423601-1 is not prime. Res64: DB0E43F2485653A5 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:04:10] 631*2^1423601-1 is not prime. Res64: 9157EB22FE6CCB3A Time : 0.0 sec. user=mdettweiler [2016-03-19 15:04:12] 691*2^1423601-1 is not prime. Res64: 9BD79F98ADEEDFB2 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:05:43] 837*2^1423601-1 is not prime. Res64: CA138FB1C1E4FFDE Time : 0.0 sec. user=mdettweiler [2016-03-19 15:05:47] 855*2^1423601-1 is not prime. Res64: B65B33E5E6C5D420 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:05:49] 949*2^1423601-1 is not prime. Res64: A04741CCBF1A2F5B Time : 0.0 sec. user=mdettweiler [2016-03-19 15:05:51] 957*2^1423601-1 is not prime. Res64: 097F5BE79B810C31 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:05:55] 967*2^1423601-1 is not prime. Res64: 91BF2E3520903933 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:10:47] 651*2^1423602-1 is not prime. Res64: AA84B91BEF1AAE54 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:10:48] 737*2^1423602-1 is not prime. Res64: 881F3DAC4C82E0E4 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:10:48] 741*2^1423602-1 is not prime. Res64: F3C44FAD55AAE35E Time : 0.0 sec. user=mdettweiler [2016-03-19 15:10:49] 807*2^1423602-1 is not prime. Res64: 70A994486A73F491 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:10:49] 825*2^1423602-1 is not prime. Res64: 9A03D1DE5C8ECD8E Time : 0.0 sec. user=mdettweiler [2016-03-19 15:12:17] 917*2^1423602-1 is not prime. Res64: 1D5F58D6AF8570C3 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:12:17] 941*2^1423602-1 is not prime. Res64: EA7FBB003CEEA820 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:12:17] 945*2^1423602-1 is not prime. Res64: C4225E6266663458 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:12:18] 977*2^1423602-1 is not prime. Res64: B286E9DE357E9992 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:12:18] 1001*2^1423602-1 is not prime. Res64: 4D708D251EF4990E Time : 0.0 sec. user=mdettweiler [2016-03-19 15:53:32] 603*2^1423603-1 is not prime. Res64: 197C3A06458D16FE Time : 0.0 sec. user=mdettweiler [2016-03-19 15:53:32] 615*2^1423603-1 is not prime. Res64: CA0AF34632AFE3DC Time : 0.0 sec. user=mdettweiler [2016-03-19 15:53:32] 631*2^1423603-1 is not prime. Res64: 98D22791D4C81776 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:53:33] 673*2^1423603-1 is not prime. Res64: 1D954256A831B524 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:53:33] 693*2^1423603-1 is not prime. Res64: BA8B6CBE86829D17 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:55:07] 741*2^1423603-1 is not prime. Res64: FD8841731C0C132A Time : 0.0 sec. user=mdettweiler [2016-03-19 15:55:07] 849*2^1423603-1 is not prime. Res64: 63C2FA049923C5F7 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:55:08] 853*2^1423603-1 is not prime. Res64: C66CF3AAA48A7841 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:55:08] 859*2^1423603-1 is not prime. Res64: 37AD283B70167225 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:55:08] 861*2^1423603-1 is not prime. Res64: EB059E6CF57F90DD Time : 0.0 sec. user=mdettweiler [2016-03-19 15:59:34] 719*2^1423604-1 is not prime. Res64: 659E2B336A632DF1 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:59:34] 819*2^1423604-1 is not prime. Res64: 2340ECA6F9693A65 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:59:34] 893*2^1423604-1 is not prime. Res64: BB0E6BC807AAB7E8 Time : 0.0 sec. user=mdettweiler [2016-03-19 15:59:35] 953*2^1423604-1 is not prime. Res64: D2E059B16CB29A6F Time : 0.0 sec. user=mdettweiler [2016-03-19 15:59:35] 983*2^1423604-1 is not prime. Res64: 65537F30ABB9950C Time : 0.0 sec. user=mdettweiler [2016-03-19 16:01:28] 995*2^1423604-1 is not prime. Res64: 36F05720CB6834DF Time : 0.0 sec. user=mdettweiler [2016-03-19 16:01:29] 649*2^1423605-1 is not prime. Res64: DB95E09FF4136AD4 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:01:30] 709*2^1423605-1 is not prime. Res64: 1481E0FFE288D137 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:01:31] 741*2^1423605-1 is not prime. Res64: 2184D928F87F2432 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:01:31] 787*2^1423605-1 is not prime. Res64: 2020E5F4DE4EF31F Time : 0.0 sec. user=mdettweiler [2016-03-19 16:14:14] 777*2^1423608-1 is not prime. Res64: 5E9F9A360A1E15FD Time : 0.0 sec. user=mdettweiler [2016-03-19 16:14:38] 815*2^1423608-1 is not prime. Res64: F212054E52A3C0D1 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:19] 811*2^1423605-1 is not prime. Res64: 516ACA050D4CB7DA Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:20] 891*2^1423605-1 is not prime. Res64: 963FA7D3C9038E28 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:20] 997*2^1423605-1 is not prime. Res64: E8AD7ACCC70119DD Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:20] 645*2^1423606-1 is not prime. Res64: 63B43D0AB276623F Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:21] 677*2^1423606-1 is not prime. Res64: 2BDC750AE28C695E Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:57] 761*2^1423606-1 is not prime. Res64: C4FB1E67ED013EC7 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:57] 867*2^1423606-1 is not prime. Res64: 6055895283FB7CF1 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:58] 917*2^1423606-1 is not prime. Res64: 5F1CE1C3AA121AF4 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:58] 993*2^1423606-1 is not prime. Res64: C2507DCD0188836C Time : 0.0 sec. user=mdettweiler [2016-03-19 16:44:58] 1001*2^1423606-1 is not prime. Res64: 30777D15F992CDD8 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:50:25] 615*2^1423607-1 is not prime. Res64: E1A87C20BB304F82 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:50:25] 619*2^1423607-1 is not prime. Res64: D7A36B699D889B8D Time : 0.0 sec. user=mdettweiler [2016-03-19 16:50:26] 705*2^1423607-1 is not prime. Res64: 75E76215BA20B278 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:50:26] 735*2^1423607-1 is not prime. Res64: E63499F436C15EB1 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:50:27] 861*2^1423607-1 is not prime. Res64: CFDE88B68B57C41B Time : 0.0 sec. user=mdettweiler [2016-03-19 16:52:14] 963*2^1423607-1 is not prime. Res64: 5D53449759C31449 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:52:14] 627*2^1423608-1 is not prime. Res64: BA391C3D5FB8AB5E Time : 0.0 sec. user=mdettweiler [2016-03-19 16:52:15] 639*2^1423608-1 is not prime. Res64: E2F00A8D6D9956F8 Time : 0.0 sec. user=mdettweiler [2016-03-19 16:52:15] 735*2^1423608-1 is not prime. Res64: E9AFC40D6114657E Time : 0.0 sec. user=mdettweiler [2016-03-19 16:52:16] 747*2^1423608-1 is not prime. Res64: 2DFE281D9191815A Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:12] 915*2^1423608-1 is not prime. Res64: 843446B2AD35E14B Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:12] 681*2^1423609-1 is not prime. Res64: 4D70811D83038BC4 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:12] 799*2^1423609-1 is not prime. Res64: 99537B5B9A9603E7 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:13] 831*2^1423609-1 is not prime. Res64: 5EEE94560791E0A2 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:13] 867*2^1423609-1 is not prime. Res64: 6663091FBACAFE11 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:21] 895*2^1423609-1 is not prime. Res64: C32F97458142C34F Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:21] 641*2^1423610-1 is not prime. Res64: 0C2F0C2FB60A13A8 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:22] 677*2^1423610-1 is not prime. Res64: 3B020A29C6497660 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:22] 791*2^1423610-1 is not prime. Res64: 5D08893BACD20F9C Time : 0.0 sec. user=mdettweiler [2016-03-19 17:31:23] 813*2^1423610-1 is not prime. Res64: 8CB35B3D59EDC989 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:37:19] 831*2^1423610-1 is not prime. Res64: F87861724210F4EE Time : 0.0 sec. user=mdettweiler [2016-03-19 17:37:19] 971*2^1423610-1 is not prime. Res64: 5DAFC2E83EA170A8 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:37:19] 739*2^1423611-1 is not prime. Res64: 1B1E43A40A6B4AE7 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:37:20] 795*2^1423611-1 is not prime. Res64: FB6BB82C92ACC782 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:37:20] 629*2^1423612-1 is not prime. Res64: 43B85F3C201A8ECF Time : 0.0 sec. user=mdettweiler [2016-03-19 17:39:19] 665*2^1423612-1 is not prime. Res64: 47AAFD262AF8565C Time : 0.0 sec. user=mdettweiler [2016-03-19 17:39:19] 677*2^1423612-1 is not prime. Res64: 5FB489C34B727285 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:39:20] 735*2^1423612-1 is not prime. Res64: 5113AF9BA3FC3109 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:39:20] 819*2^1423612-1 is not prime. Res64: 04BC1C225B3C5383 Time : 0.0 sec. user=mdettweiler [2016-03-19 17:39:20] 897*2^1423612-1 is not prime. Res64: EFD95BE6DED1DAC5 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:30] 699*2^1423613-1 is not prime. Res64: 885755852934A93A Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:31] 747*2^1423613-1 is not prime. Res64: 580ACC764BD92D67 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:31] 939*2^1423613-1 is not prime. Res64: D0C9DA4EF634CDD0 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:32] 949*2^1423613-1 is not prime. Res64: 950A507315E503CB Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:32] 967*2^1423613-1 is not prime. Res64: 9D7C04453F134C4C Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:41] 903*2^1423612-1 is not prime. Res64: 8F9423F633BA7FF9 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:41] 989*2^1423612-1 is not prime. Res64: 0D1C00D64D31BA7F Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:41] 607*2^1423613-1 is not prime. Res64: FD2A9FF61252D0FE Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:42] 621*2^1423613-1 is not prime. Res64: C1B02D3759CC7B91 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:17:42] 697*2^1423613-1 is not prime. Res64: 534BF47193CB6C01 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:23:46] 635*2^1423614-1 is not prime. Res64: 5DEDD876EDCE5C8C Time : 0.0 sec. user=mdettweiler [2016-03-19 18:23:46] 657*2^1423614-1 is not prime. Res64: DABC35DCBAEA2B4C Time : 0.0 sec. user=mdettweiler [2016-03-19 18:23:47] 663*2^1423614-1 is not prime. Res64: 47B73321B40F4EF8 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:23:47] 707*2^1423614-1 is not prime. Res64: 0FF9E790F80B96F1 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:23:48] 737*2^1423614-1 is not prime. Res64: 9CC57582B3039658 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:25:39] 765*2^1423614-1 is not prime. Res64: 568EF2AED951D955 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:25:40] 795*2^1423614-1 is not prime. Res64: B5D3834ACA445F23 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:25:40] 917*2^1423614-1 is not prime. Res64: 113A1A59EFC0F600 Time : 0.0 sec. user=mdettweiler [2016-03-19 18:25:40] 965*2^1423614-1 is not prime. Res64: AE1C2144E8765BEB Time : 0.0 sec. user=mdettweiler [2016-03-19 18:25:41] 609*2^1423615-1 is not prime. Res64: BB9959B213FAC3B0 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:36] 693*2^1423616-1 is not prime. Res64: 294CD6809EB60A91 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:37] 759*2^1423616-1 is not prime. Res64: FC05DF8617AB59BA Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:38] 767*2^1423616-1 is not prime. Res64: 394B9975B08B0133 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:39] 789*2^1423616-1 is not prime. Res64: 87EE5C3CB863A92A Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:40] 741*2^1423615-1 is not prime. Res64: 2A75276E14042750 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:41] 805*2^1423615-1 is not prime. Res64: 46F7C354496303CA Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:43] 843*2^1423616-1 is not prime. Res64: 50B8234E647E1F79 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:44] 859*2^1423615-1 is not prime. Res64: B7DF8715DDC66463 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:45] 919*2^1423615-1 is not prime. Res64: DBCE52C09C7602B7 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:04:47] 615*2^1423616-1 is not prime. Res64: 3A73DC9FFB703B45 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:11:05] 873*2^1423616-1 is not prime. Res64: 3DFD0C1BF24C0145 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:11:05] 927*2^1423616-1 is not prime. Res64: C28A8EE2BC354B41 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:11:05] 945*2^1423616-1 is not prime. Res64: 3C7F53F69F5F5F82 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:11:06] 969*2^1423616-1 is not prime. Res64: 411E558F57999A42 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:11:06] 667*2^1423617-1 is not prime. Res64: B3735059E767EA53 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:12:33] 685*2^1423617-1 is not prime. Res64: 48CEAD8B2DA64E06 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:12:33] 727*2^1423617-1 is not prime. Res64: D0163D7FCC9FD215 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:12:34] 739*2^1423617-1 is not prime. Res64: B6FF32C9C0A2A6FB Time : 0.0 sec. user=mdettweiler [2016-03-19 19:12:34] 741*2^1423617-1 is not prime. Res64: 772F5168BAB30568 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:12:34] 985*2^1423617-1 is not prime. Res64: F9BCDB0CB2882283 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:12] 791*2^1423618-1 is not prime. Res64: 3DA70090909C584C Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:12] 971*2^1423618-1 is not prime. Res64: F207706EFBA6E591 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:12] 987*2^1423618-1 is not prime. Res64: C8BE01DDBE8F38DA Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:12] 651*2^1423618-1 is not prime. Res64: ECAE7B48ED45E835 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:13] 679*2^1423619-1 is not prime. Res64: 69B142269E538EDD Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:13] 731*2^1423618-1 is not prime. Res64: 4B563DEB410E8363 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:13] 733*2^1423619-1 is not prime. Res64: C16DB0C184DC48BE Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:13] 801*2^1423618-1 is not prime. Res64: 2737A4A532E93E1C Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:13] 843*2^1423618-1 is not prime. Res64: 143452D18F89029E Time : 0.0 sec. user=mdettweiler [2016-03-19 19:52:14] 951*2^1423618-1 is not prime. Res64: 915618883A7134EF Time : 0.0 sec. user=mdettweiler [2016-03-19 19:58:38] 771*2^1423619-1 is not prime. Res64: EC885DD07A686EAB Time : 0.0 sec. user=mdettweiler [2016-03-19 19:58:38] 801*2^1423619-1 is not prime. Res64: CEC87D8F2763CA87 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:58:39] 669*2^1423620-1 is not prime. Res64: 910B006650DBBE70 Time : 0.0 sec. user=mdettweiler [2016-03-19 19:58:39] 717*2^1423620-1 is not prime. Res64: 3064C2AA493AD68E Time : 0.0 sec. user=mdettweiler [2016-03-19 19:58:39] 777*2^1423620-1 is not prime. Res64: F61DFD6CAC16F77B Time : 0.0 sec. user=mdettweiler [2016-03-19 20:00:55] 825*2^1423620-1 is not prime. Res64: 531A87DE342636B0 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:00:55] 867*2^1423620-1 is not prime. Res64: BC0716430B5D2B0F Time : 0.0 sec. user=mdettweiler [2016-03-19 20:00:56] 975*2^1423620-1 is not prime. Res64: A1095E96958AD8B4 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:00:56] 999*2^1423620-1 is not prime. Res64: C2C57BE60AE93757 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:00:57] 615*2^1423621-1 is not prime. Res64: BABCA9AF80ADF3E8 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:40:22] 855*2^1423624-1 is not prime. Res64: E49F1DBC8047D727 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:08] 623*2^1423622-1 is not prime. Res64: 71C0EFF2C9F12301 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:08] 677*2^1423622-1 is not prime. Res64: 3D102C112CC71931 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:08] 797*2^1423622-1 is not prime. Res64: 8DD19DA4A7FA9CC4 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:08] 827*2^1423622-1 is not prime. Res64: 5250D946648DED0F Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:09] 867*2^1423622-1 is not prime. Res64: 93F48CAB1C43ADF1 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:36] 645*2^1423621-1 is not prime. Res64: 37236CD83A555E89 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:36] 945*2^1423621-1 is not prime. Res64: 51B1A4BEB60F4F1F Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:36] 987*2^1423621-1 is not prime. Res64: A1AA25A3A8A020C4 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:36] 999*2^1423621-1 is not prime. Res64: 481950D7FCE2E371 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:41:37] 603*2^1423622-1 is not prime. Res64: E841B55E3925F604 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:48:16] 923*2^1423622-1 is not prime. Res64: 8C3D621F7B93EB8D Time : 0.0 sec. user=mdettweiler [2016-03-19 20:48:16] 951*2^1423622-1 is not prime. Res64: B712E690FCB81B6E Time : 0.0 sec. user=mdettweiler [2016-03-19 20:48:16] 669*2^1423623-1 is not prime. Res64: 426171667394B0BB Time : 0.0 sec. user=mdettweiler [2016-03-19 20:48:17] 705*2^1423623-1 is not prime. Res64: CD7212EE0CFE13AC Time : 0.0 sec. user=mdettweiler [2016-03-19 20:48:17] 763*2^1423623-1 is not prime. Res64: DE4E6ACE201F10F3 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:50:01] 885*2^1423623-1 is not prime. Res64: E116442FA2991DB0 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:50:02] 949*2^1423623-1 is not prime. Res64: D8A06C5AA5D85A3E Time : 0.0 sec. user=mdettweiler [2016-03-19 20:50:02] 623*2^1423624-1 is not prime. Res64: 0C7B24A64B228F51 Time : 0.0 sec. user=mdettweiler [2016-03-19 20:50:03] 677*2^1423624-1 is not prime. Res64: 3E9041CC6090080D Time : 0.0 sec. user=mdettweiler [2016-03-19 20:50:03] 693*2^1423624-1 is not prime. Res64: 4DE60D6B980EF672 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:09] 903*2^1423624-1 is not prime. Res64: 4866F440E8BCB894 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:10] 909*2^1423624-1 is not prime. Res64: 5538E94A8E9774BE Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:10] 993*2^1423624-1 is not prime. Res64: 713FBFD7E2A9AB70 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:10] 705*2^1423625-1 is not prime. Res64: 6E4EEE4B0AA53179 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:11] 721*2^1423625-1 is not prime. Res64: D72E4ABC81485C65 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:41] 729*2^1423625-1 is not prime. Res64: A3B0FCFA4550370D Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:41] 735*2^1423625-1 is not prime. Res64: 25B7A787744365FC Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:41] 937*2^1423625-1 is not prime. Res64: 7BDFB29A41CCE85D Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:42] 611*2^1423626-1 is not prime. Res64: 9B7A6B3795D44469 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:31:42] 641*2^1423626-1 is not prime. Res64: EA092AFD87D4BF1D Time : 0.0 sec. user=mdettweiler [2016-03-19 21:37:56] 723*2^1423626-1 is not prime. Res64: 843D5D422A8535A2 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:37:57] 801*2^1423626-1 is not prime. Res64: 3CE6F573CA7DF13B Time : 0.0 sec. user=mdettweiler [2016-03-19 21:37:57] 807*2^1423626-1 is not prime. Res64: CE46BDEFE54EE9A6 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:37:57] 875*2^1423626-1 is not prime. Res64: 074E0005F2CAEE84 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:37:57] 625*2^1423627-1 is not prime. Res64: 0157A83E344CB492 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:40:07] 649*2^1423627-1 is not prime. Res64: B442F1F77AB9105A Time : 0.0 sec. user=mdettweiler [2016-03-19 21:40:07] 691*2^1423627-1 is not prime. Res64: 81D1040333172885 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:40:07] 805*2^1423627-1 is not prime. Res64: 5F243C5CA6AAE87A Time : 0.0 sec. user=mdettweiler [2016-03-19 21:40:08] 871*2^1423627-1 is not prime. Res64: 64586E33F57618D8 Time : 0.0 sec. user=mdettweiler [2016-03-19 21:40:08] 885*2^1423627-1 is not prime. Res64: A2AA2CCA49A748CA Time : 0.0 sec. user=mdettweiler [2016-03-19 21:51:15] 995*2^1423630-1 is not prime. Res64: FFD69F32112A3E50 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:20:56] 961*2^1423627-1 is not prime. Res64: C7ED2BDD76CF67AF Time : 0.0 sec. user=mdettweiler [2016-03-19 22:20:56] 615*2^1423628-1 is not prime. Res64: 756B0BF56A396A07 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:20:57] 759*2^1423628-1 is not prime. Res64: A8EAED86EBA6E738 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:20:57] 869*2^1423628-1 is not prime. Res64: F772BF2700458B6B Time : 0.0 sec. user=mdettweiler [2016-03-19 22:20:58] 927*2^1423628-1 is not prime. Res64: 981237A301291916 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:21:33] 959*2^1423628-1 is not prime. Res64: 657A5ED32C225996 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:21:34] 963*2^1423628-1 is not prime. Res64: 0CDCF879070D1B7F Time : 0.0 sec. user=mdettweiler [2016-03-19 22:21:35] 669*2^1423629-1 is not prime. Res64: 64BC8F4E55D41552 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:21:36] 769*2^1423629-1 is not prime. Res64: 2BEF5C5F01C57836 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:21:37] 885*2^1423629-1 is not prime. Res64: 77E9D9CED6B59600 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:26:23] 615*2^1423631-1 is not prime. Res64: 25B10CEB55F0C029 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:28:06] 955*2^1423629-1 is not prime. Res64: 8FD18E29D85DE287 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:28:06] 985*2^1423629-1 is not prime. Res64: 36222C33CB89870D Time : 0.0 sec. user=mdettweiler [2016-03-19 22:28:06] 999*2^1423629-1 is not prime. Res64: C3CDC9FD2C37DDAE Time : 0.0 sec. user=mdettweiler [2016-03-19 22:28:07] 605*2^1423630-1 is not prime. Res64: 2FC332E6204CF166 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:28:07] 665*2^1423630-1 is not prime. Res64: 43645F4338086E3D Time : 0.0 sec. user=mdettweiler [2016-03-19 22:30:53] 791*2^1423630-1 is not prime. Res64: 2EC410C4C20F83D1 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:30:54] 831*2^1423630-1 is not prime. Res64: 042AAB442008F402 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:30:54] 843*2^1423630-1 is not prime. Res64: A2D368271E29EB70 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:30:54] 863*2^1423630-1 is not prime. Res64: 724ED29281852FA1 Time : 0.0 sec. user=mdettweiler [2016-03-19 22:30:54] 897*2^1423630-1 is not prime. Res64: 51636CDA544ED5A9 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:13] 651*2^1423631-1 is not prime. Res64: 28E7476A3FC26C74 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:14] 735*2^1423631-1 is not prime. Res64: 901A0250B2E991EF Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:14] 759*2^1423631-1 is not prime. Res64: 505DC377FB95416B Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:14] 855*2^1423631-1 is not prime. Res64: 7D5FDA5F47C43893 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:15] 883*2^1423631-1 is not prime. Res64: 9F576F890B6BB787 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:27] 889*2^1423631-1 is not prime. Res64: E981B1B35494015A Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:27] 979*2^1423631-1 is not prime. Res64: 3371D1A8FD4B03BA Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:27] 669*2^1423632-1 is not prime. Res64: CD89DB743C4618A0 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:28] 779*2^1423632-1 is not prime. Res64: B7A3E4855CE59073 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:10:28] 803*2^1423632-1 is not prime. Res64: EB218AA3046A7156 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:17:07] 637*2^1423633-1 is not prime. Res64: 19E19CA386A50DF6 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:17:07] 649*2^1423633-1 is not prime. Res64: E2ABB0F442A3CD44 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:17:08] 685*2^1423633-1 is not prime. Res64: 8BEB83B7CBF82BE2 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:17:08] 687*2^1423633-1 is not prime. Res64: D604B96E311B1088 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:17:09] 691*2^1423633-1 is not prime. Res64: 8A91AE80C991EB07 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:19:43] 961*2^1423635-1 is not prime. Res64: 280B3934E585C504 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:19:50] 727*2^1423633-1 is not prime. Res64: 05E7B5F3A4EBED1E Time : 0.0 sec. user=mdettweiler [2016-03-19 23:19:51] 861*2^1423633-1 is not prime. Res64: AED587A648877211 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:19:52] 897*2^1423633-1 is not prime. Res64: 9938D95F7E518B9C Time : 0.0 sec. user=mdettweiler [2016-03-19 23:19:53] 937*2^1423633-1 is not prime. Res64: 04A35C2429537417 Time : 0.0 sec. user=mdettweiler [2016-03-19 23:19:54] 951*2^1423633-1 is not prime. Res64: 28BBD5EAE71106C7 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:00:34] 645*2^1423634-1 is not prime. Res64: F6DEAA8FB8798926 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:00:34] 767*2^1423634-1 is not prime. Res64: 132AF463EC0098CC Time : 0.0 sec. user=mdettweiler [2016-03-20 00:00:34] 815*2^1423634-1 is not prime. Res64: AF58571C7D533B49 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:00:34] 837*2^1423634-1 is not prime. Res64: 967465548F74BF41 Time : 0.0 sec. user=mdettweiler [2016-03-20 00:00:35] 709*2^1423635-1 is not prime. Res64: 9B08BE35841CA985 Time : 0.0 sec.