user=mdettweiler [2015-11-18 00:10:26] 825*2^1415279-1 is not prime. Res64: C796F61E8AB6E5D6 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:10:29] 883*2^1415279-1 is not prime. Res64: 937D75F84A682399 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:10:31] 969*2^1415279-1 is not prime. Res64: 3E2809EDCFD7FFA2 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:10:33] 723*2^1415280-1 is not prime. Res64: DE22901B4FFA7E68 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:11:21] 759*2^1415280-1 is not prime. Res64: 466DA7F7499640AA Time : 0.0 sec. user=mdettweiler [2015-11-18 00:11:24] 819*2^1415280-1 is not prime. Res64: 663DA45603298052 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:21:17] 899*2^1415280-1 is not prime. Res64: 9A85274AF1646092 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:21:17] 619*2^1415281-1 is not prime. Res64: 67DFFF0141502816 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:32:42] 639*2^1415281-1 is not prime. Res64: B50289D2D2C8BAF4 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:32:42] 855*2^1415281-1 is not prime. Res64: 264FC86814A11EE7 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:32:47] 861*2^1415281-1 is not prime. Res64: 7F807DB8F71B5D50 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:32:47] 931*2^1415281-1 is not prime. Res64: 253781C9EEA30C74 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:33:07] 633*2^1415282-1 is not prime. Res64: DFB40E11C4750EFF Time : 0.0 sec. user=mdettweiler [2015-11-18 00:33:08] 665*2^1415282-1 is not prime. Res64: 6EFA72B687863664 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:41:56] 705*2^1415282-1 is not prime. Res64: 78891FD83687933E Time : 0.0 sec. user=mdettweiler [2015-11-18 00:41:57] 813*2^1415282-1 is not prime. Res64: 580BA8842B5F443B Time : 0.0 sec. user=mdettweiler [2015-11-18 00:51:30] 987*2^1415282-1 is not prime. Res64: DC7EF329259F827F Time : 0.0 sec. user=mdettweiler [2015-11-18 00:51:30] 619*2^1415283-1 is not prime. Res64: 600DBF773B7673E5 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:51:39] 903*2^1415282-1 is not prime. Res64: 91465D23A9C5EF04 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:51:40] 911*2^1415282-1 is not prime. Res64: 81B7ABF7268A6117 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:52:12] 639*2^1415283-1 is not prime. Res64: DE0C0A157C182BE7 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:52:12] 643*2^1415283-1 is not prime. Res64: 490CE00F1F8EF4E7 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:00:14] 649*2^1415283-1 is not prime. Res64: 0291E98422E78475 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:00:15] 675*2^1415283-1 is not prime. Res64: B16DE41AD80AC9D1 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:09:47] 709*2^1415283-1 is not prime. Res64: E27AA1F90880156C Time : 0.0 sec. user=mdettweiler [2015-11-18 01:09:48] 795*2^1415283-1 is not prime. Res64: 2E0FA2040ADEAB78 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:10:05] 605*2^1415284-1 is not prime. Res64: E9D8FD87B30D0436 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:10:06] 663*2^1415284-1 is not prime. Res64: 4040547D0BBDF899 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:10:40] 687*2^1415284-1 is not prime. Res64: 0B231076A879DBC8 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:10:40] 785*2^1415284-1 is not prime. Res64: 62B487821E6C92C7 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:19:25] 803*2^1415284-1 is not prime. Res64: 01E292AD07EC8947 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:19:25] 679*2^1415285-1 is not prime. Res64: CB657451BF5967BB Time : 0.0 sec. user=mdettweiler [2015-11-18 01:29:00] 729*2^1415285-1 is not prime. Res64: 04196181B3C54E9E Time : 0.0 sec. user=mdettweiler [2015-11-18 01:29:01] 855*2^1415285-1 is not prime. Res64: D848B2781BE39C1F Time : 0.0 sec. user=mdettweiler [2015-11-18 01:29:40] 641*2^1415286-1 is not prime. Res64: 749406FDF92851E1 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:29:41] 851*2^1415286-1 is not prime. Res64: 7EE04F1AF68E1554 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:29:51] 861*2^1415285-1 is not prime. Res64: B5602436E7F21E8B Time : 0.0 sec. user=mdettweiler [2015-11-18 01:29:52] 939*2^1415285-1 is not prime. Res64: 005703D6C40D4449 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:38:20] 921*2^1415286-1 is not prime. Res64: B7260DA44CBAECB1 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:38:21] 945*2^1415286-1 is not prime. Res64: DB474AB79C9BEC31 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:48:08] 983*2^1415286-1 is not prime. Res64: D45037E4B0FE5E4A Time : 0.0 sec. user=mdettweiler [2015-11-18 01:48:09] 775*2^1415287-1 is not prime. Res64: DF932809D5A26A12 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:48:19] 849*2^1415287-1 is not prime. Res64: 86861B43D01ADCB4 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:48:19] 617*2^1415288-1 is not prime. Res64: D90AC3D03FDB7B62 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:48:35] 635*2^1415288-1 is not prime. Res64: 3B4567001BA80BC6 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:48:35] 687*2^1415288-1 is not prime. Res64: 289C624EB82C8027 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:56:23] 713*2^1415288-1 is not prime. Res64: 08AA1DEB66E936F1 Time : 0.0 sec. user=mdettweiler [2015-11-18 01:56:24] 729*2^1415288-1 is not prime. Res64: 5DCE3BDA0C8AD191 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:06:18] 735*2^1415288-1 is not prime. Res64: A92FC27ACE99DF68 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:06:19] 773*2^1415288-1 is not prime. Res64: 7A3093A838201B1F Time : 0.0 sec. user=mdettweiler [2015-11-18 02:06:34] 789*2^1415288-1 is not prime. Res64: F85E677DDD7D3E3D Time : 0.0 sec. user=mdettweiler [2015-11-18 02:06:35] 795*2^1415288-1 is not prime. Res64: 7AFDA38B4CEFEBC0 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:06:43] 797*2^1415288-1 is not prime. Res64: D2684623C362AF15 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:06:44] 845*2^1415288-1 is not prime. Res64: 8374D43B128EA5FD Time : 0.0 sec. user=mdettweiler [2015-11-18 02:14:32] 915*2^1415288-1 is not prime. Res64: 62037B3BFC78AE12 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:14:33] 935*2^1415288-1 is not prime. Res64: F4078CFFE1E5AB1C Time : 0.0 sec. user=mdettweiler [2015-11-18 02:24:27] 959*2^1415288-1 is not prime. Res64: FD311F9C696ECA2D Time : 0.0 sec. user=mdettweiler [2015-11-18 02:24:28] 627*2^1415289-1 is not prime. Res64: 3327834F39B215BC Time : 0.0 sec. user=mdettweiler [2015-11-18 02:24:40] 681*2^1415289-1 is not prime. Res64: 8F6FE68DB379DF6D Time : 0.0 sec. user=mdettweiler [2015-11-18 02:24:41] 781*2^1415289-1 is not prime. Res64: F5FDD7BD3E6A9204 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:24:46] 807*2^1415289-1 is not prime. Res64: BBADC3A6C76D38F3 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:24:47] 611*2^1415290-1 is not prime. Res64: BC95D963FD57F0FD Time : 0.0 sec. user=mdettweiler [2015-11-18 02:32:40] 645*2^1415290-1 is not prime. Res64: 69BCD32834116140 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:32:40] 765*2^1415290-1 is not prime. Res64: D0AEB67A88C5D06D Time : 0.0 sec. user=mdettweiler [2015-11-18 02:42:36] 827*2^1415290-1 is not prime. Res64: EE702B72FDD23807 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:42:36] 857*2^1415290-1 is not prime. Res64: 40ECD1AB86D16C49 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:42:47] 1001*2^1415290-1 is not prime. Res64: D1062DC2566CC026 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:42:47] 609*2^1415291-1 is not prime. Res64: 621A0ABF36DE9547 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:42:48] 885*2^1415290-1 is not prime. Res64: AEC868F44A3E7AC4 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:42:48] 995*2^1415290-1 is not prime. Res64: CAEAF64BD269F359 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:50:48] 753*2^1415291-1 is not prime. Res64: 9EFBE917ED521278 Time : 0.0 sec. user=mdettweiler [2015-11-18 02:50:48] 811*2^1415291-1 is not prime. Res64: 56B141922248B07F Time : 0.0 sec. user=mdettweiler [2015-11-18 03:00:41] 879*2^1415291-1 is not prime. Res64: 1FFBDA1FCFCB7D90 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:00:42] 981*2^1415291-1 is not prime. Res64: DD0DA50E0913447D Time : 0.0 sec. user=mdettweiler [2015-11-18 03:00:51] 609*2^1415292-1 is not prime. Res64: 69C2FE0EC0381E3E Time : 0.0 sec. user=mdettweiler [2015-11-18 03:00:52] 915*2^1415292-1 is not prime. Res64: FC035E9EF21DDD47 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:00:56] 615*2^1415293-1 is not prime. Res64: 9C3DEF1C89B33B14 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:00:57] 625*2^1415293-1 is not prime. Res64: AA91126C176EC030 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:08:54] 685*2^1415293-1 is not prime. Res64: DFD18E116F634DDA Time : 0.0 sec. user=mdettweiler [2015-11-18 03:08:54] 831*2^1415293-1 is not prime. Res64: 0D013B1996ACB867 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:19:42] 855*2^1415293-1 is not prime. Res64: 07F617534C86C053 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:19:43] 675*2^1415294-1 is not prime. Res64: FC754ABB65CD5DB1 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:19:58] 683*2^1415294-1 is not prime. Res64: 60F6463E545B5A6A Time : 0.0 sec. user=mdettweiler [2015-11-18 03:19:59] 693*2^1415294-1 is not prime. Res64: EC72B55031CFAC05 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:20:05] 705*2^1415294-1 is not prime. Res64: CDEFEAC6777E816D Time : 0.0 sec. user=mdettweiler [2015-11-18 03:20:05] 785*2^1415294-1 is not prime. Res64: 91276C3DA709ACEC Time : 0.0 sec. user=mdettweiler [2015-11-18 03:28:01] 795*2^1415294-1 is not prime. Res64: 7F2B5A54C4873B43 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:28:02] 813*2^1415294-1 is not prime. Res64: 387B6E736E64F80A Time : 0.0 sec. user=mdettweiler [2015-11-18 03:38:20] 923*2^1415294-1 is not prime. Res64: 4DF05EC9138A3DCB Time : 0.0 sec. user=mdettweiler [2015-11-18 03:38:21] 827*2^1415294-1 is not prime. Res64: C2509EFFD6124924 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:38:22] 945*2^1415294-1 is not prime. Res64: 7B4B4F9D88891027 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:38:22] 861*2^1415294-1 is not prime. Res64: 570784FCEB8ABA6A Time : 0.0 sec. user=mdettweiler [2015-11-18 03:38:35] 971*2^1415294-1 is not prime. Res64: 891BCE18C43E690B Time : 0.0 sec. user=mdettweiler [2015-11-18 03:38:36] 649*2^1415295-1 is not prime. Res64: 208A108076FEBAD0 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:46:54] 685*2^1415295-1 is not prime. Res64: 523C8B7DAA8CE94E Time : 0.0 sec. user=mdettweiler [2015-11-18 03:46:57] 639*2^1415296-1 is not prime. Res64: C1CC1ABCD2760CD1 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:56:43] 645*2^1415296-1 is not prime. Res64: 080D3776F6F25EB2 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:56:43] 833*2^1415296-1 is not prime. Res64: 4BFA8318130BF2D0 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:56:50] 839*2^1415296-1 is not prime. Res64: C4D0606D0B95EBA5 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:56:50] 927*2^1415296-1 is not prime. Res64: 10BD3B8349E73107 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:57:00] 933*2^1415296-1 is not prime. Res64: AB6C0B0402CEC770 Time : 0.0 sec. user=mdettweiler [2015-11-18 03:57:01] 601*2^1415297-1 is not prime. Res64: C2778AEE7C9EFC33 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:05:44] 735*2^1415297-1 is not prime. Res64: 6CCFD0F77385CBB5 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:05:45] 819*2^1415297-1 is not prime. Res64: 81F292D941108944 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:14:51] 829*2^1415297-1 is not prime. Res64: 2181EF6070FB8453 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:14:53] 981*2^1415297-1 is not prime. Res64: 096D1A98A0C39008 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:15:13] 991*2^1415297-1 is not prime. Res64: 810C07E9261FFE03 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:15:14] 997*2^1415297-1 is not prime. Res64: 22E9883C8664ACDC Time : 0.0 sec. user=mdettweiler [2015-11-18 04:15:19] 663*2^1415298-1 is not prime. Res64: 211AB4873025444B Time : 0.0 sec. user=mdettweiler [2015-11-18 04:15:20] 665*2^1415298-1 is not prime. Res64: 8230CD8914B71504 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:23:59] 671*2^1415298-1 is not prime. Res64: 26DA381CCA1C4CB3 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:24:00] 683*2^1415298-1 is not prime. Res64: 4D308E720B055B24 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:33:08] 797*2^1415298-1 is not prime. Res64: E50A925584BB2643 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:33:09] 803*2^1415298-1 is not prime. Res64: 6F6A19BCD8B999B3 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:33:18] 837*2^1415298-1 is not prime. Res64: 8BB2BD141065BA8D Time : 0.0 sec. user=mdettweiler [2015-11-18 04:33:19] 887*2^1415298-1 is not prime. Res64: FF90C4DE846D2C2D Time : 0.0 sec. user=mdettweiler [2015-11-18 04:33:35] 933*2^1415298-1 is not prime. Res64: 1E86E2EC9DF30C24 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:33:35] 993*2^1415298-1 is not prime. Res64: 3AD705602BB30F3E Time : 0.0 sec. user=mdettweiler [2015-11-18 04:42:14] 615*2^1415299-1 is not prime. Res64: 4D9545516212EB01 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:42:15] 691*2^1415299-1 is not prime. Res64: 86E244D3CDC76515 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:51:13] 751*2^1415299-1 is not prime. Res64: 19AB015D91A7A0F8 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:51:14] 789*2^1415299-1 is not prime. Res64: 48614178D1F8D15E Time : 0.0 sec. user=mdettweiler [2015-11-18 04:51:24] 919*2^1415299-1 is not prime. Res64: DA1795117AFCAB31 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:51:24] 999*2^1415299-1 is not prime. Res64: 607FA8F22EAF80FA Time : 0.0 sec. user=mdettweiler [2015-11-18 04:51:48] 609*2^1415300-1 is not prime. Res64: 261C1AEC3A7639C4 Time : 0.0 sec. user=mdettweiler [2015-11-18 04:51:49] 635*2^1415300-1 is not prime. Res64: 4AB1FAF0351AC35D Time : 0.0 sec. user=mdettweiler [2015-11-18 05:00:19] 789*2^1415300-1 is not prime. Res64: FBECB9500E5D08EF Time : 0.0 sec. user=mdettweiler [2015-11-18 05:00:20] 923*2^1415300-1 is not prime. Res64: AA70EB11589C5E11 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:09:26] 625*2^1415301-1 is not prime. Res64: 5F53B20B8476A5D9 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:09:27] 679*2^1415301-1 is not prime. Res64: 854E2DF9BF7853CE Time : 0.0 sec. user=mdettweiler [2015-11-18 05:09:30] 685*2^1415301-1 is not prime. Res64: 7852BBD080B51FA1 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:09:31] 717*2^1415301-1 is not prime. Res64: 41B332285844FFF1 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:10:08] 727*2^1415301-1 is not prime. Res64: CA68C4489F683ED0 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:10:09] 805*2^1415301-1 is not prime. Res64: 7DBC2F908E772909 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:18:33] 867*2^1415301-1 is not prime. Res64: ABDEA7EEAFA05707 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:18:34] 937*2^1415301-1 is not prime. Res64: 8E7F43940A7E8ED0 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:27:37] 999*2^1415301-1 is not prime. Res64: 295EC97822A38B3D Time : 0.0 sec. user=mdettweiler [2015-11-18 05:27:37] 681*2^1415302-1 is not prime. Res64: B845EDDFD7E39880 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:27:38] 621*2^1415302-1 is not prime. Res64: 1A3C04E09ED30C21 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:27:38] 705*2^1415302-1 is not prime. Res64: A27C1AEB8CE97028 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:28:11] 833*2^1415302-1 is not prime. Res64: 284B61B725AA9A88 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:28:12] 891*2^1415302-1 is not prime. Res64: B205D00ADCEC48A1 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:36:41] 945*2^1415302-1 is not prime. Res64: 1BD12F8C2626FB33 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:36:42] 987*2^1415302-1 is not prime. Res64: 7F2F4CCDA17CB857 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:45:41] 603*2^1415303-1 is not prime. Res64: 03C25B9EAF989D16 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:45:42] 721*2^1415303-1 is not prime. Res64: 4BF5A1935AE519B6 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:45:49] 823*2^1415303-1 is not prime. Res64: 637C146AA6383CD0 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:45:50] 921*2^1415303-1 is not prime. Res64: 4AE3BA11B9BEC03C Time : 0.0 sec. user=mdettweiler [2015-11-18 05:46:18] 657*2^1415304-1 is not prime. Res64: 06797DD2A3F7F1E5 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:46:18] 717*2^1415304-1 is not prime. Res64: 338ED5EBEDEB2F35 Time : 0.0 sec. user=mdettweiler [2015-11-18 05:54:52] 767*2^1415304-1 is not prime. Res64: 5873F2D32FAE237B Time : 0.0 sec. user=mdettweiler [2015-11-18 05:54:53] 809*2^1415304-1 is not prime. Res64: 9A824F5FD02F95D1 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:03:52] 741*2^1415305-1 is not prime. Res64: 13606A9EBBC3DB49 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:03:55] 799*2^1415305-1 is not prime. Res64: EFB2F11408084623 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:04:05] 895*2^1415305-1 is not prime. Res64: 59BBB91D45629D13 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:04:08] 925*2^1415305-1 is not prime. Res64: 75CEC6D5586644CD Time : 0.0 sec. user=mdettweiler [2015-11-18 06:04:22] 701*2^1415306-1 is not prime. Res64: 78AACFFEC82BC6AF Time : 0.0 sec. user=mdettweiler [2015-11-18 06:04:24] 717*2^1415306-1 is not prime. Res64: 6B536228C911F1BF Time : 0.0 sec. user=mdettweiler [2015-11-18 06:13:03] 743*2^1415306-1 is not prime. Res64: 3CF47B650545A138 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:13:04] 867*2^1415306-1 is not prime. Res64: 46CC891600B8532F Time : 0.0 sec. user=mdettweiler [2015-11-18 06:22:12] 941*2^1415306-1 is not prime. Res64: C6F9E446B6664A58 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:22:14] 987*2^1415306-1 is not prime. Res64: 05E4D5BFC54C85E5 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:22:26] 633*2^1415307-1 is not prime. Res64: CC4C6E6B733764CD Time : 0.0 sec. user=mdettweiler [2015-11-18 06:22:27] 669*2^1415307-1 is not prime. Res64: EA3FAFA4D74FA14B Time : 0.0 sec. user=mdettweiler [2015-11-18 06:22:33] 703*2^1415307-1 is not prime. Res64: 9CC2F5307323F841 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:22:34] 735*2^1415307-1 is not prime. Res64: F0C7B08902343362 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:31:08] 765*2^1415307-1 is not prime. Res64: 83F1895606FC37D4 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:31:09] 775*2^1415307-1 is not prime. Res64: 970B3554A9F5C510 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:40:25] 825*2^1415307-1 is not prime. Res64: 03ED6153F60FC5E3 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:40:26] 903*2^1415307-1 is not prime. Res64: 36B97C11A16E4599 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:40:39] 623*2^1415308-1 is not prime. Res64: 85DDCD7689CFFF86 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:40:40] 629*2^1415308-1 is not prime. Res64: 72223653ACCAADC5 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:40:42] 635*2^1415308-1 is not prime. Res64: 08D6C59A6E888FBC Time : 0.0 sec. user=mdettweiler [2015-11-18 06:40:43] 687*2^1415308-1 is not prime. Res64: F8836483DA4A0FFD Time : 0.0 sec. user=mdettweiler [2015-11-18 06:49:10] 699*2^1415308-1 is not prime. Res64: DC002D6B06A213FD Time : 0.0 sec. user=mdettweiler [2015-11-18 06:49:11] 797*2^1415308-1 is not prime. Res64: D9CCCB76A32CCA4C Time : 0.0 sec. user=mdettweiler [2015-11-18 06:58:39] 813*2^1415308-1 is not prime. Res64: 72A9E476B7DE65C7 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:58:39] 819*2^1415308-1 is not prime. Res64: DFE28742B32BB148 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:58:51] 863*2^1415308-1 is not prime. Res64: A4CF3B245271E24A Time : 0.0 sec. user=mdettweiler [2015-11-18 06:58:52] 885*2^1415308-1 is not prime. Res64: 3BBD444297BAC4C0 Time : 0.0 sec. user=mdettweiler [2015-11-18 06:58:54] 953*2^1415308-1 is not prime. Res64: 35D056387920AA2B Time : 0.0 sec. user=mdettweiler [2015-11-18 06:58:55] 847*2^1415309-1 is not prime. Res64: 76AA68846D41E44B Time : 0.0 sec. user=mdettweiler [2015-11-18 07:07:25] 907*2^1415309-1 is not prime. Res64: 20EA296D89593E11 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:07:26] 927*2^1415309-1 is not prime. Res64: 29F6A5F5EE23A720 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:16:48] 955*2^1415309-1 is not prime. Res64: FF6EB0EC5954A240 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:16:49] 985*2^1415309-1 is not prime. Res64: 15326BCEEC648248 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:17:04] 747*2^1415310-1 is not prime. Res64: D214C468AE5C95E9 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:17:05] 801*2^1415310-1 is not prime. Res64: 56B7AACFDB6D8442 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:17:06] 927*2^1415310-1 is not prime. Res64: B52F4D056CAD22F2 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:17:07] 951*2^1415310-1 is not prime. Res64: 7E23E724E084249C Time : 0.0 sec. user=mdettweiler [2015-11-18 07:25:42] 601*2^1415311-1 is not prime. Res64: 0FBDD71389A97CB4 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:25:43] 621*2^1415311-1 is not prime. Res64: A115DA5B273E8928 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:35:00] 625*2^1415311-1 is not prime. Res64: 19183542F9574CE4 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:35:01] 649*2^1415311-1 is not prime. Res64: E18C60611930CAD2 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:35:13] 679*2^1415311-1 is not prime. Res64: 06E81BAEBF312A22 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:35:14] 703*2^1415311-1 is not prime. Res64: 2B7CDCEF24C9BB40 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:35:14] 693*2^1415311-1 is not prime. Res64: 389AC8A062751F66 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:35:15] 771*2^1415311-1 is not prime. Res64: 216A76953A8F4530 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:43:51] 843*2^1415311-1 is not prime. Res64: 936A9E9B0E00BC98 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:43:52] 883*2^1415311-1 is not prime. Res64: 518C4D4FF3FC46F2 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:53:07] 925*2^1415311-1 is not prime. Res64: 7FA1773749463094 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:53:08] 603*2^1415312-1 is not prime. Res64: 828DA62340C3F468 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:53:18] 699*2^1415312-1 is not prime. Res64: 3D76417BFD1A4521 Time : 0.0 sec. user=mdettweiler [2015-11-18 07:53:19] 785*2^1415312-1 is not prime. Res64: 66C55DA4C011A26B Time : 0.0 sec. user=mdettweiler [2015-11-18 07:53:30] 797*2^1415312-1 is not prime. Res64: 7558051677D984DD Time : 0.0 sec. user=mdettweiler [2015-11-18 07:53:31] 827*2^1415312-1 is not prime. Res64: 820F2858E5BED45B Time : 0.0 sec. user=mdettweiler [2015-11-18 08:02:06] 811*2^1415313-1 is not prime. Res64: 0EAE4E6C14B9B3B5 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:02:07] 817*2^1415313-1 is not prime. Res64: E2DC4013410CF5A6 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:11:15] 829*2^1415313-1 is not prime. Res64: 4088D9FBAC9889F4 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:11:17] 837*2^1415313-1 is not prime. Res64: C344ABA0761B6466 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:11:34] 919*2^1415313-1 is not prime. Res64: CC89BA674FBBFC39 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:11:35] 747*2^1415314-1 is not prime. Res64: 6F2E70ED7625B466 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:11:42] 783*2^1415314-1 is not prime. Res64: 0DF9D3183862227A Time : 0.0 sec. user=mdettweiler [2015-11-18 08:11:43] 833*2^1415314-1 is not prime. Res64: EB87F25F41469CA2 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:20:24] 881*2^1415314-1 is not prime. Res64: 7DEAFED69F3A9364 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:20:25] 685*2^1415315-1 is not prime. Res64: F6C7BC8ECBF99C27 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:29:21] 699*2^1415315-1 is not prime. Res64: 994292C1621238FB Time : 0.0 sec. user=mdettweiler [2015-11-18 08:29:22] 895*2^1415315-1 is not prime. Res64: 0A76E2CF842661A8 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:29:54] 635*2^1415316-1 is not prime. Res64: D9B78D6AEC762F91 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:29:55] 773*2^1415316-1 is not prime. Res64: 86A2B93A0C94FDA9 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:29:58] 825*2^1415316-1 is not prime. Res64: 8785290326C957E5 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:29:59] 845*2^1415316-1 is not prime. Res64: 4C0AF7F49B55F2C3 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:38:28] 879*2^1415316-1 is not prime. Res64: 77622AB58EEB88B8 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:38:30] 923*2^1415316-1 is not prime. Res64: 19DC28DB4355054F Time : 0.0 sec. user=mdettweiler [2015-11-18 08:47:26] 927*2^1415316-1 is not prime. Res64: BB9EA4BAE10CE7B6 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:47:27] 993*2^1415316-1 is not prime. Res64: DE12D3FB060BDDDD Time : 0.0 sec. user=mdettweiler [2015-11-18 08:48:01] 609*2^1415317-1 is not prime. Res64: 24704F0F6E5FCA29 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:48:02] 741*2^1415317-1 is not prime. Res64: 6F5F83E4A961D858 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:48:03] 777*2^1415317-1 is not prime. Res64: 8497F5FED5A6C0E4 Time : 0.0 sec. user=mdettweiler [2015-11-18 08:48:03] 691*2^1415317-1 is not prime. Res64: F71037A0C2E6BB0D Time : 0.0 sec. user=mdettweiler [2015-11-18 08:56:41] 901*2^1415317-1 is not prime. Res64: 208BC36CF124F0DD Time : 0.0 sec. user=mdettweiler [2015-11-18 08:56:42] 955*2^1415317-1 is not prime. Res64: C01F0807A2C17B1B Time : 0.0 sec. user=mdettweiler [2015-11-18 09:05:37] 603*2^1415318-1 is not prime. Res64: 0CD985F87CA57B1C Time : 0.0 sec. user=mdettweiler [2015-11-18 09:05:40] 683*2^1415318-1 is not prime. Res64: 1DA3DCAC24C03179 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:06:08] 755*2^1415318-1 is not prime. Res64: A561B9866605F575 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:06:10] 773*2^1415318-1 is not prime. Res64: C8328EEC0F3A2BFC Time : 0.0 sec. user=mdettweiler [2015-11-18 09:06:15] 731*2^1415318-1 is not prime. Res64: 1EDF52056C6670CE Time : 0.0 sec. user=mdettweiler [2015-11-18 09:06:16] 743*2^1415318-1 is not prime. Res64: 6A1431190BD93A34 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:14:54] 845*2^1415318-1 is not prime. Res64: 0BE6C7D5CFBCB6DC Time : 0.0 sec. user=mdettweiler [2015-11-18 09:14:55] 911*2^1415318-1 is not prime. Res64: B4678B476E829E45 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:24:07] 995*2^1415318-1 is not prime. Res64: CDE12809C98EF4E0 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:24:09] 663*2^1415319-1 is not prime. Res64: 489DF34F06252E88 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:24:24] 669*2^1415319-1 is not prime. Res64: C68DB149151EADB2 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:24:25] 679*2^1415319-1 is not prime. Res64: 6A2D15345CD2CEC1 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:24:34] 721*2^1415319-1 is not prime. Res64: 8846A3795E851449 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:24:35] 865*2^1415319-1 is not prime. Res64: FB56BB3930E8807A Time : 0.0 sec. user=mdettweiler [2015-11-18 09:33:09] 879*2^1415319-1 is not prime. Res64: 358CE7D777D75539 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:33:10] 895*2^1415319-1 is not prime. Res64: E08E8AD8A1ED1173 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:42:14] 951*2^1415319-1 is not prime. Res64: AD433A9AF32BFF3B Time : 0.0 sec. user=mdettweiler [2015-11-18 09:42:15] 603*2^1415320-1 is not prime. Res64: 55A97880F967EF2F Time : 0.0 sec. user=mdettweiler [2015-11-18 09:42:28] 765*2^1415320-1 is not prime. Res64: D9832CAA00B84B56 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:42:29] 849*2^1415320-1 is not prime. Res64: 3E313E1EDDEC2AD0 Time : 0.0 sec. user=mdettweiler [2015-11-18 09:42:43] 927*2^1415320-1 is not prime. Res64: D2227D7E184DFB0D Time : 0.0 sec. user=mdettweiler [2015-11-18 09:42:44] 959*2^1415320-1 is not prime. Res64: E3E540C3D28A302E Time : 0.0 sec. user=mdettweiler [2015-11-18 09:51:15] 637*2^1415321-1 is not prime. Res64: 31FBDD3A3FC72FBF Time : 0.0 sec. user=mdettweiler [2015-11-18 09:51:15] 811*2^1415321-1 is not prime. Res64: F7C1A9DBE58007D1 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:00:19] 713*2^1415322-1 is not prime. Res64: A67D16817DA9AFEE Time : 0.0 sec. user=mdettweiler [2015-11-18 10:00:20] 741*2^1415322-1 is not prime. Res64: 053EC0792978C863 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:00:40] 791*2^1415322-1 is not prime. Res64: 1D11A99BC167C168 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:00:41] 893*2^1415322-1 is not prime. Res64: A9A605BDC198E0A4 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:00:43] 941*2^1415322-1 is not prime. Res64: 8457A9933E8009F7 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:00:43] 765*2^1415323-1 is not prime. Res64: C934D04C4DF0461E Time : 0.0 sec. user=mdettweiler [2015-11-18 10:09:16] 769*2^1415323-1 is not prime. Res64: DE4249EB2F410D92 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:09:16] 783*2^1415323-1 is not prime. Res64: 89B068A6D8EBE33A Time : 0.0 sec. user=mdettweiler [2015-11-18 10:18:26] 793*2^1415323-1 is not prime. Res64: 4DC5F058E2D49893 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:18:26] 801*2^1415323-1 is not prime. Res64: 8A29125460DD7CE3 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:18:44] 919*2^1415323-1 is not prime. Res64: 2902971DA7C07EE5 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:18:45] 605*2^1415324-1 is not prime. Res64: 26381ED12CAC26B7 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:18:45] 629*2^1415324-1 is not prime. Res64: C36678FF65EBC15F Time : 0.0 sec. user=mdettweiler [2015-11-18 10:18:45] 659*2^1415324-1 is not prime. Res64: B22576AC03597BE8 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:27:14] 833*2^1415324-1 is not prime. Res64: E0E5BF8A3E94024D Time : 0.0 sec. user=mdettweiler [2015-11-18 10:27:14] 923*2^1415324-1 is not prime. Res64: FFFC624245004DB2 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:36:24] 929*2^1415324-1 is not prime. Res64: 4E9D38A86A8CCF85 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:36:25] 935*2^1415324-1 is not prime. Res64: 70C372E66732D980 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:36:41] 735*2^1415325-1 is not prime. Res64: FC1D0769CB64F10E Time : 0.0 sec. user=mdettweiler [2015-11-18 10:36:42] 819*2^1415325-1 is not prime. Res64: 77EC83FD0E424109 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:36:43] 699*2^1415325-1 is not prime. Res64: 27893A2BBEFB5427 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:36:44] 717*2^1415325-1 is not prime. Res64: D69114EAE82DB8EF Time : 0.0 sec. user=mdettweiler [2015-11-18 10:45:12] 773*2^1415326-1 is not prime. Res64: 8CD7259F689F4B5A Time : 0.0 sec. user=mdettweiler [2015-11-18 10:45:13] 821*2^1415326-1 is not prime. Res64: AB10BFB39043AA28 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:54:22] 887*2^1415326-1 is not prime. Res64: F580CB773899EC00 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:54:23] 957*2^1415326-1 is not prime. Res64: 14E4FF5FAF01BF15 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:54:44] 711*2^1415327-1 is not prime. Res64: EC1BDF455A9CB82B Time : 0.0 sec. user=mdettweiler [2015-11-18 10:54:44] 735*2^1415327-1 is not prime. Res64: 0BF833664755865C Time : 0.0 sec. user=mdettweiler [2015-11-18 10:54:47] 663*2^1415327-1 is not prime. Res64: D928FE26A84123E0 Time : 0.0 sec. user=mdettweiler [2015-11-18 10:54:47] 693*2^1415327-1 is not prime. Res64: 3A7EE85F2B320D4F Time : 0.0 sec. user=mdettweiler [2015-11-18 11:03:17] 759*2^1415327-1 is not prime. Res64: 74AA7BAC182461A2 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:03:20] 879*2^1415327-1 is not prime. Res64: FD42C54343AE5349 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:12:21] 963*2^1415327-1 is not prime. Res64: FA3315C0EBF6775E Time : 0.0 sec. user=mdettweiler [2015-11-18 11:12:21] 985*2^1415327-1 is not prime. Res64: 67B2DCC0694D77B5 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:12:36] 633*2^1415328-1 is not prime. Res64: BA3DCE43ABADE93A Time : 0.0 sec. user=mdettweiler [2015-11-18 11:12:36] 899*2^1415328-1 is not prime. Res64: F31F2F31DF988363 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:12:42] 929*2^1415328-1 is not prime. Res64: 55E49930B7E83212 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:12:43] 947*2^1415328-1 is not prime. Res64: 0DDC8B73C41AD820 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:21:44] 959*2^1415328-1 is not prime. Res64: E195A9B783F52E3C Time : 0.0 sec. user=mdettweiler [2015-11-18 11:21:44] 625*2^1415329-1 is not prime. Res64: 817DBE0DE7694E71 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:30:29] 675*2^1415329-1 is not prime. Res64: BFB72ACB5AB4A174 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:30:30] 681*2^1415329-1 is not prime. Res64: A4743FB48F226CD1 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:30:36] 751*2^1415329-1 is not prime. Res64: 6B7D2827D5ACCEA3 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:30:37] 811*2^1415329-1 is not prime. Res64: 2880FC6642214D08 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:31:04] 847*2^1415329-1 is not prime. Res64: 9DE5E1B12AAAA2A7 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:31:05] 885*2^1415329-1 is not prime. Res64: 0163004FB52D0EE9 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:39:48] 895*2^1415329-1 is not prime. Res64: D858A5732FEC04AF Time : 0.0 sec. user=mdettweiler [2015-11-18 11:39:48] 931*2^1415329-1 is not prime. Res64: 2CDE614190589CCB Time : 0.0 sec. user=mdettweiler [2015-11-18 11:48:32] 945*2^1415329-1 is not prime. Res64: BBABE7740F273A57 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:48:33] 987*2^1415329-1 is not prime. Res64: 73DC37F65632C818 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:48:34] 605*2^1415330-1 is not prime. Res64: 55CFCE8F9B1006FB Time : 0.0 sec. user=mdettweiler [2015-11-18 11:48:35] 687*2^1415330-1 is not prime. Res64: 4B740F4C31EBA2A5 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:49:01] 741*2^1415330-1 is not prime. Res64: 1E40A9C749D16765 Time : 0.0 sec. user=mdettweiler [2015-11-18 11:49:01] 773*2^1415330-1 is not prime. Res64: CBCD9C8233273F3B Time : 0.0 sec. user=mdettweiler [2015-11-18 11:57:58] 791*2^1415330-1 is not prime. Res64: 2F2B04C665915F4D Time : 0.0 sec. user=mdettweiler [2015-11-18 11:57:58] 885*2^1415330-1 is not prime. Res64: 3809A376D9A4C644 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:06:30] 957*2^1415330-1 is not prime. Res64: CDFC2426FA158812 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:06:32] 1001*2^1415330-1 is not prime. Res64: 9563FA5C2C412C2C Time : 0.0 sec. user=mdettweiler [2015-11-18 12:06:51] 679*2^1415331-1 is not prime. Res64: 353F886C3BC8FC71 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:06:52] 849*2^1415331-1 is not prime. Res64: 281723F411546BDD Time : 0.0 sec. user=mdettweiler [2015-11-18 12:06:59] 871*2^1415331-1 is not prime. Res64: C4F593CFF112CD1E Time : 0.0 sec. user=mdettweiler [2015-11-18 12:07:01] 931*2^1415331-1 is not prime. Res64: 8B6327FCBBF2C0D1 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:15:51] 969*2^1415331-1 is not prime. Res64: DD51A6104B4AB36F Time : 0.0 sec. user=mdettweiler [2015-11-18 12:15:52] 979*2^1415331-1 is not prime. Res64: 69D42300602D8165 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:24:49] 605*2^1415332-1 is not prime. Res64: 7F0D78A372E66BF1 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:24:50] 639*2^1415332-1 is not prime. Res64: F1FA1206B79FD2A0 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:24:53] 647*2^1415332-1 is not prime. Res64: 87B041EB5BED9E10 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:24:53] 687*2^1415332-1 is not prime. Res64: 2552E8AE639B9CB7 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:25:08] 765*2^1415332-1 is not prime. Res64: 55E48A257459E3F9 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:25:08] 873*2^1415332-1 is not prime. Res64: 578BD1277CCF0C1E Time : 0.0 sec. user=mdettweiler [2015-11-18 12:33:46] 903*2^1415332-1 is not prime. Res64: 620C07794DF2A299 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:33:47] 939*2^1415332-1 is not prime. Res64: 2A0BBCD22A34F230 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:42:48] 965*2^1415332-1 is not prime. Res64: 885783D5984AE906 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:42:48] 649*2^1415333-1 is not prime. Res64: 1198CF0DD79699C3 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:42:57] 727*2^1415333-1 is not prime. Res64: D15D64B674DCBFA7 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:42:57] 741*2^1415333-1 is not prime. Res64: AEC3E3306AB8622D Time : 0.0 sec. user=mdettweiler [2015-11-18 12:43:05] 987*2^1415333-1 is not prime. Res64: CA7F8B17051FAAC2 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:43:06] 991*2^1415333-1 is not prime. Res64: A3D7514DE9567087 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:51:48] 657*2^1415334-1 is not prime. Res64: 94D396DE05FC8298 Time : 0.0 sec. user=mdettweiler [2015-11-18 12:51:49] 663*2^1415334-1 is not prime. Res64: 3D51814202F8A839 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:00:46] 731*2^1415334-1 is not prime. Res64: 789ED3C65205BB50 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:00:47] 851*2^1415334-1 is not prime. Res64: 1C5B0BCB868E1F09 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:00:58] 917*2^1415334-1 is not prime. Res64: CEFE7348706BE942 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:00:59] 975*2^1415334-1 is not prime. Res64: 2CC04E5F121594E8 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:01:06] 603*2^1415335-1 is not prime. Res64: 90FDC94F6C4FD7D6 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:01:07] 645*2^1415335-1 is not prime. Res64: FF59E12624377BCA Time : 0.0 sec. user=mdettweiler [2015-11-18 13:09:51] 651*2^1415335-1 is not prime. Res64: AA7F35E81985AD9F Time : 0.0 sec. user=mdettweiler [2015-11-18 13:09:51] 675*2^1415335-1 is not prime. Res64: 20C82FEBF8E02D41 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:18:53] 685*2^1415335-1 is not prime. Res64: 5FD1ACC173226E8E Time : 0.0 sec. user=mdettweiler [2015-11-18 13:18:54] 705*2^1415335-1 is not prime. Res64: E4E6FDB9577BC475 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:19:00] 759*2^1415335-1 is not prime. Res64: 35E9EA2E86CDA33B Time : 0.0 sec. user=mdettweiler [2015-11-18 13:19:00] 765*2^1415335-1 is not prime. Res64: DE8CD606AD13D454 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:19:08] 775*2^1415335-1 is not prime. Res64: 55DDF38016306C5B Time : 0.0 sec. user=mdettweiler [2015-11-18 13:19:08] 853*2^1415335-1 is not prime. Res64: 072BBD9A20A2C0B0 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:27:50] 873*2^1415335-1 is not prime. Res64: 7EE2CA012D72646D Time : 0.0 sec. user=mdettweiler [2015-11-18 13:27:51] 909*2^1415335-1 is not prime. Res64: 50609AC0C03112FE Time : 0.0 sec. user=mdettweiler [2015-11-18 13:36:56] 913*2^1415335-1 is not prime. Res64: 1552337A57306F92 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:36:57] 919*2^1415335-1 is not prime. Res64: 2B047DE4EA6AE020 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:37:00] 939*2^1415335-1 is not prime. Res64: D094C6CCFBD67E11 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:37:00] 999*2^1415335-1 is not prime. Res64: 58DDE2DB6F78E829 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:37:09] 677*2^1415336-1 is not prime. Res64: 1066F1DBAB258C5F Time : 0.0 sec. user=mdettweiler [2015-11-18 13:37:09] 693*2^1415336-1 is not prime. Res64: CDDA5DEA1771384C Time : 0.0 sec. user=mdettweiler [2015-11-18 13:45:51] 717*2^1415336-1 is not prime. Res64: 2D0E0CD312A2FCEB Time : 0.0 sec. user=mdettweiler [2015-11-18 13:45:51] 903*2^1415336-1 is not prime. Res64: B3AF412DFFA67A30 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:54:54] 957*2^1415336-1 is not prime. Res64: DDB4FC37D77C618C Time : 0.0 sec. user=mdettweiler [2015-11-18 13:54:54] 983*2^1415336-1 is not prime. Res64: 4A51A60D5FC1AA98 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:54:57] 999*2^1415336-1 is not prime. Res64: E6124FCAF993259D Time : 0.0 sec. user=mdettweiler [2015-11-18 13:54:57] 649*2^1415337-1 is not prime. Res64: 00A5091C69E7CAF8 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:55:05] 759*2^1415337-1 is not prime. Res64: 5BF1777F8EA5D355 Time : 0.0 sec. user=mdettweiler [2015-11-18 13:55:05] 895*2^1415337-1 is not prime. Res64: 566FBF9BE1FDF8C8 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:03:57] 915*2^1415337-1 is not prime. Res64: 74828F278C6AC937 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:03:58] 975*2^1415337-1 is not prime. Res64: 329BB8B4A7D44721 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:13:03] 645*2^1415338-1 is not prime. Res64: 6AAABDBA95DCE31C Time : 0.0 sec. user=mdettweiler [2015-11-18 14:13:04] 687*2^1415338-1 is not prime. Res64: A09D52551199E5A5 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:13:09] 765*2^1415338-1 is not prime. Res64: ED5464A66751194B Time : 0.0 sec. user=mdettweiler [2015-11-18 14:13:10] 887*2^1415338-1 is not prime. Res64: 580FC74541558CF7 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:13:16] 891*2^1415338-1 is not prime. Res64: 3076D640A500F1B4 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:13:16] 923*2^1415338-1 is not prime. Res64: C1CD00168FB6ECE6 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:22:27] 951*2^1415338-1 is not prime. Res64: 6B094AB9F498CE20 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:22:28] 957*2^1415338-1 is not prime. Res64: 5A918B59789681E4 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:30:59] 609*2^1415339-1 is not prime. Res64: BED3A4E3CE0ACC6B Time : 0.0 sec. user=mdettweiler [2015-11-18 14:30:59] 669*2^1415339-1 is not prime. Res64: D9D745F1B524F12E Time : 0.0 sec. user=mdettweiler [2015-11-18 14:31:11] 685*2^1415339-1 is not prime. Res64: AAC738268AFF28BC Time : 0.0 sec. user=mdettweiler [2015-11-18 14:31:11] 745*2^1415339-1 is not prime. Res64: 0BD2226A796A4B25 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:31:14] 855*2^1415339-1 is not prime. Res64: A38D68340D0B3EBA Time : 0.0 sec. user=mdettweiler [2015-11-18 14:31:14] 861*2^1415339-1 is not prime. Res64: CDE9A4601E4F192D Time : 0.0 sec. user=mdettweiler [2015-11-18 14:40:40] 913*2^1415339-1 is not prime. Res64: 661C41A06B05464D Time : 0.0 sec. user=mdettweiler [2015-11-18 14:40:41] 985*2^1415339-1 is not prime. Res64: 9211AB836F2D0644 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:48:52] 635*2^1415340-1 is not prime. Res64: B65DF687A09BE636 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:48:52] 765*2^1415340-1 is not prime. Res64: 2E68D496A95595AF Time : 0.0 sec. user=mdettweiler [2015-11-18 14:49:05] 795*2^1415340-1 is not prime. Res64: 5B017E1F6E85C10C Time : 0.0 sec. user=mdettweiler [2015-11-18 14:49:05] 887*2^1415340-1 is not prime. Res64: E54C244618A4E6E2 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:49:09] 899*2^1415340-1 is not prime. Res64: 3D7682E4041FBBDD Time : 0.0 sec. user=mdettweiler [2015-11-18 14:49:09] 929*2^1415340-1 is not prime. Res64: DEA80E650D1A09EC Time : 0.0 sec. user=mdettweiler [2015-11-18 14:58:46] 639*2^1415341-1 is not prime. Res64: 918E831234A663A3 Time : 0.0 sec. user=mdettweiler [2015-11-18 14:58:46] 939*2^1415341-1 is not prime. Res64: 3BABC7DDE3AA33E4 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:06:56] 945*2^1415341-1 is not prime. Res64: 686BFBEB17031FAE Time : 0.0 sec. user=mdettweiler [2015-11-18 15:06:57] 951*2^1415341-1 is not prime. Res64: 9DDA4E75D3275C0D Time : 0.0 sec. user=mdettweiler [2015-11-18 15:07:07] 635*2^1415342-1 is not prime. Res64: 4DC4297646876DA9 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:07:09] 743*2^1415342-1 is not prime. Res64: 34D81A10314C6D3D Time : 0.0 sec. user=mdettweiler [2015-11-18 15:07:12] 753*2^1415342-1 is not prime. Res64: CE533CA15C6825BC Time : 0.0 sec. user=mdettweiler [2015-11-18 15:07:13] 767*2^1415342-1 is not prime. Res64: 8A20EDE3EDCE9028 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:16:50] 873*2^1415342-1 is not prime. Res64: 975234FEB8F22779 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:16:50] 875*2^1415342-1 is not prime. Res64: 5657BBBE0219107F Time : 0.0 sec. user=mdettweiler [2015-11-18 15:25:02] 897*2^1415342-1 is not prime. Res64: BF5DB883C7CA7B36 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:25:02] 951*2^1415342-1 is not prime. Res64: 3BFEB6067BD5F153 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:25:07] 965*2^1415342-1 is not prime. Res64: A6FCC76C8E9F5B70 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:25:07] 613*2^1415343-1 is not prime. Res64: 91436FA496B1F2ED Time : 0.0 sec. user=mdettweiler [2015-11-18 15:25:18] 621*2^1415343-1 is not prime. Res64: 634284DA32ADC8A3 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:25:19] 685*2^1415343-1 is not prime. Res64: 984193D41A90D708 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:34:38] 691*2^1415343-1 is not prime. Res64: 0D062772348B25E4 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:34:39] 709*2^1415343-1 is not prime. Res64: 221204DAAA631B40 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:43:14] 955*2^1415343-1 is not prime. Res64: 7A93D584EDB9530A Time : 0.0 sec. user=mdettweiler [2015-11-18 15:43:15] 963*2^1415343-1 is not prime. Res64: 91ADFEA6EB9851B3 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:43:15] 765*2^1415343-1 is not prime. Res64: 13CCD7C4EF60BD81 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:43:15] 873*2^1415343-1 is not prime. Res64: 3AD3A4D32DDDFCE0 Time : 0.0 sec. user=mdettweiler [2015-11-18 15:43:23] 615*2^1415344-1 is not prime. Res64: C47A3D951D422BFF Time : 0.0 sec. user=mdettweiler [2015-11-18 15:43:24] 677*2^1415344-1 is not prime. Res64: 0FC3F228C08E435C Time : 0.0 sec. user=mdettweiler [2015-11-18 15:52:44] 707*2^1415344-1 is not prime. Res64: 256E609C428D381C Time : 0.0 sec. user=mdettweiler [2015-11-18 15:52:45] 669*2^1415345-1 is not prime. Res64: 822B81CF080016F2 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:01:22] 771*2^1415345-1 is not prime. Res64: FB203B2F198E8B9E Time : 0.0 sec. user=mdettweiler [2015-11-18 16:01:24] 831*2^1415345-1 is not prime. Res64: B2D91CAAF500F33B Time : 0.0 sec. user=mdettweiler [2015-11-18 16:01:25] 715*2^1415345-1 is not prime. Res64: 597EEBF9BC99D3C5 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:01:26] 717*2^1415345-1 is not prime. Res64: D6754AE58A946F44 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:01:38] 871*2^1415345-1 is not prime. Res64: A5CEBED167EDD8BD Time : 0.0 sec. user=mdettweiler [2015-11-18 16:01:39] 937*2^1415345-1 is not prime. Res64: 032912BE1CAA6265 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:11:01] 979*2^1415345-1 is not prime. Res64: 3F8E7D431B952032 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:11:02] 633*2^1415346-1 is not prime. Res64: 192BA80401C98B77 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:19:38] 683*2^1415346-1 is not prime. Res64: 057A945F8F89CA8F Time : 0.0 sec. user=mdettweiler [2015-11-18 16:19:38] 735*2^1415346-1 is not prime. Res64: 103458B8D27102A6 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:19:38] 805*2^1415347-1 is not prime. Res64: 3744BA575E6D17D7 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:19:39] 829*2^1415347-1 is not prime. Res64: 981C94B45ED441EC Time : 0.0 sec. user=mdettweiler [2015-11-18 16:19:46] 815*2^1415346-1 is not prime. Res64: 80408F50076CFA93 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:19:47] 615*2^1415347-1 is not prime. Res64: 54889F26AE6B921A Time : 0.0 sec. user=mdettweiler [2015-11-18 16:29:15] 843*2^1415347-1 is not prime. Res64: 8B024A94A84F0A7F Time : 0.0 sec. user=mdettweiler [2015-11-18 16:29:16] 913*2^1415347-1 is not prime. Res64: 8D4A6AB130CB5923 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:37:35] 845*2^1415348-1 is not prime. Res64: D2C1597AC4BBACCB Time : 0.0 sec. user=mdettweiler [2015-11-18 16:37:36] 893*2^1415348-1 is not prime. Res64: 37D8180BC437D187 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:37:40] 931*2^1415347-1 is not prime. Res64: 071C32F9090C1C47 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:37:41] 623*2^1415348-1 is not prime. Res64: 475E2591C0EE1815 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:37:48] 935*2^1415348-1 is not prime. Res64: 0A9F669617300F2C Time : 0.0 sec. user=mdettweiler [2015-11-18 16:37:48] 963*2^1415348-1 is not prime. Res64: 3AFA5D9E7F1ECBC8 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:47:08] 987*2^1415348-1 is not prime. Res64: 6839ECC491FCCD22 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:47:09] 747*2^1415349-1 is not prime. Res64: C5886C208FD0BA59 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:55:29] 921*2^1415349-1 is not prime. Res64: 06FE2CEC74BB01AD Time : 0.0 sec. user=mdettweiler [2015-11-18 16:55:30] 945*2^1415349-1 is not prime. Res64: 7A38002767D95200 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:55:33] 811*2^1415349-1 is not prime. Res64: 7C427E61B1298EA4 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:55:33] 919*2^1415349-1 is not prime. Res64: 49C5E917296B01A9 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:55:48] 975*2^1415349-1 is not prime. Res64: 278BCD85A8B3E9C2 Time : 0.0 sec. user=mdettweiler [2015-11-18 16:55:48] 773*2^1415350-1 is not prime. Res64: 198C80645B56A4C7 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:05:17] 783*2^1415350-1 is not prime. Res64: 2A3BF10E4450DB4D Time : 0.0 sec. user=mdettweiler [2015-11-18 17:05:18] 827*2^1415350-1 is not prime. Res64: 01FFCB89A5857214 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:13:33] 863*2^1415350-1 is not prime. Res64: F854E05A3F0CDB64 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:13:34] 887*2^1415350-1 is not prime. Res64: 436AE7080C76AF98 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:13:40] 911*2^1415350-1 is not prime. Res64: FC154A7F06D5264A Time : 0.0 sec. user=mdettweiler [2015-11-18 17:13:40] 941*2^1415350-1 is not prime. Res64: F300D8696D73397E Time : 0.0 sec. user=mdettweiler [2015-11-18 17:13:52] 651*2^1415351-1 is not prime. Res64: A7B46B29519853E0 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:13:52] 685*2^1415351-1 is not prime. Res64: E37A87613E6BA6DC Time : 0.0 sec. user=mdettweiler [2015-11-18 17:23:40] 705*2^1415351-1 is not prime. Res64: 3F9F63FEAE33569E Time : 0.0 sec. user=mdettweiler [2015-11-18 17:23:40] 715*2^1415351-1 is not prime. Res64: B0D0D8632F17659A Time : 0.0 sec. user=mdettweiler [2015-11-18 17:31:35] 805*2^1415351-1 is not prime. Res64: EC484EE7D522520E Time : 0.0 sec. user=mdettweiler [2015-11-18 17:31:36] 813*2^1415351-1 is not prime. Res64: B243B69E4BED4E7C Time : 0.0 sec. user=mdettweiler [2015-11-18 17:31:47] 913*2^1415351-1 is not prime. Res64: 71D44A313F6A18F1 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:31:47] 993*2^1415351-1 is not prime. Res64: 752381B86EDBD8FE Time : 0.0 sec. user=mdettweiler [2015-11-18 17:31:50] 797*2^1415352-1 is not prime. Res64: 07D18E962C45AA49 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:31:50] 873*2^1415352-1 is not prime. Res64: 7EA8EB14DC8B4F5D Time : 0.0 sec. user=mdettweiler [2015-11-18 17:41:48] 945*2^1415352-1 is not prime. Res64: 3D903F6BE032C1A8 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:41:49] 947*2^1415352-1 is not prime. Res64: 400486154EC3218C Time : 0.0 sec. user=mdettweiler [2015-11-18 17:49:34] 983*2^1415352-1 is not prime. Res64: 9AE4CF26E09AC089 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:49:34] 609*2^1415353-1 is not prime. Res64: 5A8CC4AE88E9BFCA Time : 0.0 sec. user=mdettweiler [2015-11-18 17:49:47] 861*2^1415353-1 is not prime. Res64: 2AAE20D4B2449F76 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:49:47] 957*2^1415353-1 is not prime. Res64: 2447E51126855086 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:49:51] 649*2^1415353-1 is not prime. Res64: 0F1C6192A9550192 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:49:51] 741*2^1415353-1 is not prime. Res64: D106418A7D9C86CF Time : 0.0 sec. user=mdettweiler [2015-11-18 17:59:55] 635*2^1415354-1 is not prime. Res64: B4174EF4848E61A7 Time : 0.0 sec. user=mdettweiler [2015-11-18 17:59:55] 671*2^1415354-1 is not prime. Res64: 3002790FECEEB9DE Time : 0.0 sec. user=mdettweiler [2015-11-18 18:07:45] 701*2^1415354-1 is not prime. Res64: BCE90A140CCB89CA Time : 0.0 sec. user=mdettweiler [2015-11-18 18:07:45] 815*2^1415354-1 is not prime. Res64: 764A59CBE296E774 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:08:00] 861*2^1415354-1 is not prime. Res64: 0FF193769B9611CC Time : 0.0 sec. user=mdettweiler [2015-11-18 18:08:00] 923*2^1415354-1 is not prime. Res64: EDF9190C6A9F6F0B Time : 0.0 sec. user=mdettweiler [2015-11-18 18:08:04] 935*2^1415354-1 is not prime. Res64: D3B5F2B6DE2E1108 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:08:04] 625*2^1415355-1 is not prime. Res64: 5E035EB2925D87C9 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:17:56] 649*2^1415355-1 is not prime. Res64: 5D806FDBFE39CAA7 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:17:56] 699*2^1415355-1 is not prime. Res64: 68425F40D8B97346 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:25:56] 853*2^1415355-1 is not prime. Res64: 879463297B9D726E Time : 0.0 sec. user=mdettweiler [2015-11-18 18:25:56] 709*2^1415355-1 is not prime. Res64: 5461E185D17F4FCF Time : 0.0 sec. user=mdettweiler [2015-11-18 18:25:57] 871*2^1415355-1 is not prime. Res64: 62E250305AB2FF00 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:25:58] 765*2^1415355-1 is not prime. Res64: 0E1B6705BA90201B Time : 0.0 sec. user=mdettweiler [2015-11-18 18:26:07] 909*2^1415355-1 is not prime. Res64: 4EC8148936300D16 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:26:08] 609*2^1415356-1 is not prime. Res64: 35C66078B3C7CE28 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:36:03] 693*2^1415356-1 is not prime. Res64: 59DC0B764248BB2E Time : 0.0 sec. user=mdettweiler [2015-11-18 18:36:03] 743*2^1415356-1 is not prime. Res64: 26AC094E59B0C5F9 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:43:54] 927*2^1415356-1 is not prime. Res64: 8348F47633A009F9 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:43:54] 989*2^1415356-1 is not prime. Res64: CD89EB74880C7BDD Time : 0.0 sec. user=mdettweiler [2015-11-18 18:44:00] 601*2^1415357-1 is not prime. Res64: 0A48FCF33B981C4D Time : 0.0 sec. user=mdettweiler [2015-11-18 18:44:01] 631*2^1415357-1 is not prime. Res64: D27D37A1AE23EF7E Time : 0.0 sec. user=mdettweiler [2015-11-18 18:44:03] 675*2^1415357-1 is not prime. Res64: B7B071E68CF80A9D Time : 0.0 sec. user=mdettweiler [2015-11-18 18:44:03] 697*2^1415357-1 is not prime. Res64: FD045A5F85202A04 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:54:09] 711*2^1415357-1 is not prime. Res64: 74C98AFA233FAF99 Time : 0.0 sec. user=mdettweiler [2015-11-18 18:54:09] 729*2^1415357-1 is not prime. Res64: DB12A8ABC5AF2E31 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:01:48] 801*2^1415357-1 is not prime. Res64: D7B9C6A7529FB2F7 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:01:49] 663*2^1415358-1 is not prime. Res64: FE5F355EEAE01E10 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:01:55] 711*2^1415358-1 is not prime. Res64: 2DA0010E9DD05F65 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:01:56] 755*2^1415358-1 is not prime. Res64: 9B6CA277DE4F3B53 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:02:02] 791*2^1415358-1 is not prime. Res64: 6A502C5688179BE2 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:02:02] 801*2^1415358-1 is not prime. Res64: 5ED1385F756CAF56 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:11:58] 821*2^1415358-1 is not prime. Res64: 263422E04A363D5B Time : 0.0 sec. user=mdettweiler [2015-11-18 19:11:59] 833*2^1415358-1 is not prime. Res64: 881D87EA5C82E8E3 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:19:56] 843*2^1415358-1 is not prime. Res64: BF7CDCF8B8341FF7 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:19:56] 891*2^1415358-1 is not prime. Res64: 1E95CFD3E11444EC Time : 0.0 sec. user=mdettweiler [2015-11-18 19:19:59] 601*2^1415359-1 is not prime. Res64: 0A471452A94668E5 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:19:59] 693*2^1415359-1 is not prime. Res64: 5000AF03FDCB88FA Time : 0.0 sec. user=mdettweiler [2015-11-18 19:20:03] 859*2^1415359-1 is not prime. Res64: 8D334AB87F3FBC9C Time : 0.0 sec. user=mdettweiler [2015-11-18 19:20:03] 985*2^1415359-1 is not prime. Res64: 962B1B936C98B2C8 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:30:12] 629*2^1415360-1 is not prime. Res64: E679ACF8647DC25C Time : 0.0 sec. user=mdettweiler [2015-11-18 19:30:13] 635*2^1415360-1 is not prime. Res64: E7F9A4CF11318318 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:37:59] 759*2^1415360-1 is not prime. Res64: 811D08FF12E18091 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:37:59] 825*2^1415360-1 is not prime. Res64: E256D90586121793 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:37:59] 983*2^1415360-1 is not prime. Res64: 59AAE66EDFBE5F7F Time : 0.0 sec. user=mdettweiler [2015-11-18 19:38:00] 609*2^1415361-1 is not prime. Res64: C9FB4812A0BBD06F Time : 0.0 sec. user=mdettweiler [2015-11-18 19:38:03] 665*2^1415360-1 is not prime. Res64: D580F10018B3CAF2 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:38:04] 687*2^1415360-1 is not prime. Res64: F2972862C52A139E Time : 0.0 sec. user=mdettweiler [2015-11-18 19:48:25] 649*2^1415361-1 is not prime. Res64: DE621F730F87BE56 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:48:25] 657*2^1415361-1 is not prime. Res64: D3299D4824A8904F Time : 0.0 sec. user=mdettweiler [2015-11-18 19:56:05] 675*2^1415361-1 is not prime. Res64: 6642DE0765651FD7 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:56:06] 741*2^1415361-1 is not prime. Res64: 8B0EDB3041EE0F52 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:56:09] 623*2^1415362-1 is not prime. Res64: B0C92BFB895FD43C Time : 0.0 sec. user=mdettweiler [2015-11-18 19:56:09] 743*2^1415362-1 is not prime. Res64: 72778AB35966CE85 Time : 0.0 sec. user=mdettweiler [2015-11-18 19:56:10] 807*2^1415361-1 is not prime. Res64: 066F2AFBD69583FF Time : 0.0 sec. user=mdettweiler [2015-11-18 19:56:11] 877*2^1415361-1 is not prime. Res64: E86A24A11D4CD0BA Time : 0.0 sec. user=mdettweiler [2015-11-18 20:06:28] 801*2^1415362-1 is not prime. Res64: 89F70C9069945D2E Time : 0.0 sec. user=mdettweiler [2015-11-18 20:06:29] 887*2^1415362-1 is not prime. Res64: 9131F4A7AC7B5BE7 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:14:11] 633*2^1415363-1 is not prime. Res64: 1A06B5F73EB504AF Time : 0.0 sec. user=mdettweiler [2015-11-18 20:14:11] 675*2^1415363-1 is not prime. Res64: F2569AD1FABA13CE Time : 0.0 sec. user=mdettweiler [2015-11-18 20:14:12] 775*2^1415363-1 is not prime. Res64: AD8CA4FCCE1F35F7 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:14:12] 859*2^1415363-1 is not prime. Res64: 7177C672932A4987 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:14:23] 871*2^1415363-1 is not prime. Res64: 6AE5FCD7932223CC Time : 0.0 sec. user=mdettweiler [2015-11-18 20:14:24] 949*2^1415363-1 is not prime. Res64: 18170F674EF0FF07 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:24:30] 955*2^1415363-1 is not prime. Res64: FEA5FD14291C53A3 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:24:30] 623*2^1415364-1 is not prime. Res64: E9D7DD7EFA6B514D Time : 0.0 sec. user=mdettweiler [2015-11-18 20:32:09] 689*2^1415364-1 is not prime. Res64: C710B5D50036224D Time : 0.0 sec. user=mdettweiler [2015-11-18 20:32:09] 699*2^1415364-1 is not prime. Res64: E34B1D90A6DA0BDC Time : 0.0 sec. user=mdettweiler [2015-11-18 20:32:11] 725*2^1415364-1 is not prime. Res64: BC9A844F75AA1783 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:32:11] 899*2^1415364-1 is not prime. Res64: 70063B874A11C417 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:32:27] 969*2^1415364-1 is not prime. Res64: 222C143F3B566DD8 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:32:28] 667*2^1415365-1 is not prime. Res64: 2FC04615184D27D3 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:42:21] 757*2^1415365-1 is not prime. Res64: A2E14F2B2DC199A0 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:42:21] 759*2^1415365-1 is not prime. Res64: CEAFB718A8267DCC Time : 0.0 sec. user=mdettweiler [2015-11-18 20:50:04] 777*2^1415365-1 is not prime. Res64: 2F3A6C4DB88E6359 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:50:04] 627*2^1415366-1 is not prime. Res64: 2A3BD3C747D42B2C Time : 0.0 sec. user=mdettweiler [2015-11-18 20:50:10] 843*2^1415366-1 is not prime. Res64: F0E098F203465203 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:50:11] 911*2^1415366-1 is not prime. Res64: 452D979880A3FD5C Time : 0.0 sec. user=mdettweiler [2015-11-18 20:50:20] 935*2^1415366-1 is not prime. Res64: CD6075B0C4F80687 Time : 0.0 sec. user=mdettweiler [2015-11-18 20:50:20] 965*2^1415366-1 is not prime. Res64: ABBF453E560F729C Time : 0.0 sec. user=mdettweiler [2015-11-18 21:00:25] 625*2^1415367-1 is not prime. Res64: BA1BC5C8C6B19C58 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:00:27] 685*2^1415367-1 is not prime. Res64: 78B69BC12C213AAC Time : 0.0 sec. user=mdettweiler [2015-11-18 21:07:58] 705*2^1415368-1 is not prime. Res64: 1085435BC26B435A Time : 0.0 sec. user=mdettweiler [2015-11-18 21:08:01] 819*2^1415367-1 is not prime. Res64: 7EC1D9028D440455 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:08:02] 743*2^1415368-1 is not prime. Res64: BA4C2C5D6C7F88BE Time : 0.0 sec. user=mdettweiler [2015-11-18 21:08:03] 629*2^1415368-1 is not prime. Res64: 2D12213919E9426A Time : 0.0 sec. user=mdettweiler [2015-11-18 21:08:16] 765*2^1415368-1 is not prime. Res64: B2968F20CF59C1EA Time : 0.0 sec. user=mdettweiler [2015-11-18 21:08:17] 827*2^1415368-1 is not prime. Res64: E2D9174077A45E7C Time : 0.0 sec. user=mdettweiler [2015-11-18 21:18:22] 923*2^1415368-1 is not prime. Res64: E369382491C6E4DE Time : 0.0 sec. user=mdettweiler [2015-11-18 21:18:22] 995*2^1415368-1 is not prime. Res64: C4BB1A323F473AAC Time : 0.0 sec. user=mdettweiler [2015-11-18 21:26:22] 637*2^1415369-1 is not prime. Res64: 98F1760357E4105A Time : 0.0 sec. user=mdettweiler [2015-11-18 21:26:22] 711*2^1415369-1 is not prime. Res64: F876D180907C25A0 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:26:26] 727*2^1415369-1 is not prime. Res64: 306882EA9268CB97 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:26:27] 771*2^1415369-1 is not prime. Res64: 3AA7F5956BDA2A69 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:26:33] 631*2^1415369-1 is not prime. Res64: DA608095189F6FD7 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:26:33] 829*2^1415369-1 is not prime. Res64: DBF56C5DD8A4352C Time : 0.0 sec. user=mdettweiler [2015-11-18 21:36:33] 949*2^1415369-1 is not prime. Res64: 73D8DCBA0CD8CAED Time : 0.0 sec. user=mdettweiler [2015-11-18 21:36:33] 951*2^1415369-1 is not prime. Res64: 2A346A613A717B58 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:44:19] 723*2^1415370-1 is not prime. Res64: A62B0804E79A2477 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:44:19] 797*2^1415370-1 is not prime. Res64: 55EDD6640F09A2AA Time : 0.0 sec. user=mdettweiler [2015-11-18 21:44:27] 851*2^1415370-1 is not prime. Res64: 2C99C408F9AAD491 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:44:27] 923*2^1415370-1 is not prime. Res64: F2D95B0F53307BD5 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:44:31] 927*2^1415370-1 is not prime. Res64: 3E9AD05CD3136198 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:44:31] 945*2^1415370-1 is not prime. Res64: 3AB9B186922FD86F Time : 0.0 sec. user=mdettweiler [2015-11-18 21:54:31] 601*2^1415371-1 is not prime. Res64: 5679B3AAC036D623 Time : 0.0 sec. user=mdettweiler [2015-11-18 21:54:32] 645*2^1415371-1 is not prime. Res64: 2F28063586DB0724 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:02:24] 673*2^1415371-1 is not prime. Res64: 063DF5373007D24F Time : 0.0 sec. user=mdettweiler [2015-11-18 22:02:25] 691*2^1415371-1 is not prime. Res64: 91C8C753B15C3138 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:02:30] 783*2^1415371-1 is not prime. Res64: D8BF4EE85A1D96C4 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:02:32] 855*2^1415371-1 is not prime. Res64: 53245E2AE3903885 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:02:33] 859*2^1415371-1 is not prime. Res64: 09D8CCB42842F33F Time : 0.0 sec. user=mdettweiler [2015-11-18 22:02:36] 871*2^1415371-1 is not prime. Res64: 2917F41DABB946DE Time : 0.0 sec. user=mdettweiler [2015-11-18 22:12:30] 999*2^1415371-1 is not prime. Res64: 807F48CD5CACA2DB Time : 0.0 sec. user=mdettweiler [2015-11-18 22:12:31] 699*2^1415372-1 is not prime. Res64: A06F838159788F1F Time : 0.0 sec. user=mdettweiler [2015-11-18 22:20:45] 923*2^1415372-1 is not prime. Res64: 7E1EFABB7DA6F48E Time : 0.0 sec. user=mdettweiler [2015-11-18 22:20:45] 959*2^1415372-1 is not prime. Res64: 3C64D86D34F0AE63 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:20:46] 977*2^1415372-1 is not prime. Res64: 6313A022CEF3C31A Time : 0.0 sec. user=mdettweiler [2015-11-18 22:20:47] 983*2^1415372-1 is not prime. Res64: 1C27D3A6465E3D66 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:20:55] 625*2^1415373-1 is not prime. Res64: C6D1AA019730A554 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:20:55] 657*2^1415373-1 is not prime. Res64: 7ADF31DDD3EC26E0 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:30:37] 679*2^1415373-1 is not prime. Res64: DA2CD681F375B6C8 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:30:38] 721*2^1415373-1 is not prime. Res64: C4CF56A0484F4832 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:40:33] 765*2^1415373-1 is not prime. Res64: 6226954D5B343798 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:40:34] 849*2^1415373-1 is not prime. Res64: ED29DBADF59F0FE7 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:40:43] 955*2^1415373-1 is not prime. Res64: 3AC1770388184C48 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:40:44] 605*2^1415374-1 is not prime. Res64: DBB5A68247D5D0C3 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:40:48] 705*2^1415374-1 is not prime. Res64: FB090B30F1378382 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:40:49] 741*2^1415374-1 is not prime. Res64: C58E58220C1A6928 Time : 0.0 sec. user=mdettweiler [2015-11-18 22:52:25] 815*2^1415374-1 is not prime. Res64: 78A2269184A8FE8D Time : 0.0 sec. user=mdettweiler [2015-11-18 22:52:25] 917*2^1415374-1 is not prime. Res64: C4A4818D95D302C7 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:02:09] 981*2^1415374-1 is not prime. Res64: 89514BCC948DA180 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:02:10] 871*2^1415375-1 is not prime. Res64: 68AE2DC6A2CEF628 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:02:49] 735*2^1415376-1 is not prime. Res64: 0222D9E67A2E6BFA Time : 0.0 sec. user=mdettweiler [2015-11-18 23:02:50] 849*2^1415376-1 is not prime. Res64: 225776296D235EC6 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:02:54] 695*2^1415376-1 is not prime. Res64: 9B588A22453F88BC Time : 0.0 sec. user=mdettweiler [2015-11-18 23:02:55] 725*2^1415376-1 is not prime. Res64: 9AD1E9FD59644388 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:15:38] 609*2^1415377-1 is not prime. Res64: 7CDD7347D0948885 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:15:39] 615*2^1415377-1 is not prime. Res64: 19B4015EAF2B20FC Time : 0.0 sec. user=mdettweiler [2015-11-18 23:24:38] 901*2^1415377-1 is not prime. Res64: 95F0F739EC6E12C7 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:24:39] 937*2^1415377-1 is not prime. Res64: D58060805C0CADE8 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:25:15] 625*2^1415377-1 is not prime. Res64: 09A1611DE342A9F7 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:25:15] 841*2^1415377-1 is not prime. Res64: 2BE66F935199093A Time : 0.0 sec. user=mdettweiler [2015-11-18 23:25:19] 975*2^1415377-1 is not prime. Res64: 5D2123AC368B2F8E Time : 0.0 sec. user=mdettweiler [2015-11-18 23:25:20] 605*2^1415378-1 is not prime. Res64: 3D15D4D867B8C3E4 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:37:48] 617*2^1415378-1 is not prime. Res64: B0263D1CF34C5029 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:37:48] 641*2^1415378-1 is not prime. Res64: 354AEE6658608859 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:46:16] 915*2^1415378-1 is not prime. Res64: C398F25200EAC835 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:46:17] 613*2^1415379-1 is not prime. Res64: 94AEAD2F55BCB11B Time : 0.0 sec. user=mdettweiler [2015-11-18 23:46:24] 665*2^1415378-1 is not prime. Res64: 3ED569E60B53B982 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:46:24] 735*2^1415378-1 is not prime. Res64: C8121025E0C4A147 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:47:12] 793*2^1415379-1 is not prime. Res64: E097E6BC71A6C8ED Time : 0.0 sec. user=mdettweiler [2015-11-18 23:47:12] 873*2^1415379-1 is not prime. Res64: F2B536AAC739B47C Time : 0.0 sec. user=mdettweiler [2015-11-18 23:57:24] 879*2^1415379-1 is not prime. Res64: E360DC5DA3E5B1A3 Time : 0.0 sec. user=mdettweiler [2015-11-18 23:57:24] 629*2^1415380-1 is not prime. Res64: 7A03D99E0F9D9CA7 Time : 0.0 sec.