user=mdettweiler [2016-03-30 00:06:19] 735*2^1424743-1 is not prime. Res64: 6FAAC9EA67024B19 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:06:20] 741*2^1424743-1 is not prime. Res64: 1A03D07F33F86526 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:06:23] 783*2^1424743-1 is not prime. Res64: A66D38E6081EC765 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:06:24] 943*2^1424743-1 is not prime. Res64: 48712A1DBAC867A1 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:06:25] 993*2^1424743-1 is not prime. Res64: E0FAA7722FE0B30F Time : 0.0 sec. user=mdettweiler [2016-03-30 00:21:20] 699*2^1424744-1 is not prime. Res64: 8A8E4B71879D8E73 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:21:21] 813*2^1424744-1 is not prime. Res64: E2B84B03F0A6A39B Time : 0.0 sec. user=mdettweiler [2016-03-30 00:21:21] 873*2^1424744-1 is not prime. Res64: 95BD195B0B114555 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:21:22] 875*2^1424744-1 is not prime. Res64: 8C03B393539CFC92 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:21:22] 897*2^1424744-1 is not prime. Res64: 4B02E9A31477533B Time : 0.0 sec. user=mdettweiler [2016-03-30 00:28:19] 959*2^1424744-1 is not prime. Res64: 2E5CEE50ABE3CC19 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:28:20] 609*2^1424745-1 is not prime. Res64: 1E3914A61192595D Time : 0.0 sec. user=mdettweiler [2016-03-30 00:28:20] 627*2^1424745-1 is not prime. Res64: AC272E1BB6DCCD13 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:28:21] 649*2^1424745-1 is not prime. Res64: CC6A0F1CE1144495 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:28:21] 669*2^1424745-1 is not prime. Res64: 6536FA72B81BDDED Time : 0.0 sec. user=mdettweiler [2016-03-30 00:39:22] 691*2^1424745-1 is not prime. Res64: F1DFAA334FEADDCD Time : 0.0 sec. user=mdettweiler [2016-03-30 00:39:22] 699*2^1424745-1 is not prime. Res64: C0A12CA367451CB0 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:39:22] 781*2^1424745-1 is not prime. Res64: 65D3A0A97827F5F7 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:39:23] 867*2^1424745-1 is not prime. Res64: BBCD5D9F2123B11E Time : 0.0 sec. user=mdettweiler [2016-03-30 00:39:23] 915*2^1424745-1 is not prime. Res64: 56AFF8B41271ED4F Time : 0.0 sec. user=mdettweiler [2016-03-30 00:51:49] 921*2^1424745-1 is not prime. Res64: 83A1A45C7834F56D Time : 0.0 sec. user=mdettweiler [2016-03-30 00:51:50] 979*2^1424745-1 is not prime. Res64: 072C5D92B07C7334 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:51:50] 991*2^1424745-1 is not prime. Res64: 23F6FB681A6A4748 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:51:51] 653*2^1424746-1 is not prime. Res64: E68E05A129220378 Time : 0.0 sec. user=mdettweiler [2016-03-30 00:51:51] 713*2^1424746-1 is not prime. Res64: 4DA5A28C5D8B9711 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:06:24] 903*2^1424746-1 is not prime. Res64: CB17D5EC35767F60 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:06:25] 601*2^1424747-1 is not prime. Res64: A07D0E0D451172E7 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:06:26] 663*2^1424747-1 is not prime. Res64: C0259D7EE5D7A4E7 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:06:28] 735*2^1424747-1 is not prime. Res64: 98930EF7E3E3D10A Time : 0.0 sec. user=mdettweiler [2016-03-30 01:06:29] 741*2^1424747-1 is not prime. Res64: FEF64825CB349B18 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:13:33] 689*2^1424748-1 is not prime. Res64: 8E06F8786D36D69D Time : 0.0 sec. user=mdettweiler [2016-03-30 01:13:33] 809*2^1424748-1 is not prime. Res64: C288EA6F58265F2F Time : 0.0 sec. user=mdettweiler [2016-03-30 01:13:34] 601*2^1424749-1 is not prime. Res64: 0AABB13308610B29 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:13:34] 721*2^1424749-1 is not prime. Res64: 1932ABC4E3393C2A Time : 0.0 sec. user=mdettweiler [2016-03-30 01:13:35] 741*2^1424749-1 is not prime. Res64: C90D64B20DA14C9E Time : 0.0 sec. user=mdettweiler [2016-03-30 01:25:03] 847*2^1424749-1 is not prime. Res64: 7F5664F0FF36899A Time : 0.0 sec. user=mdettweiler [2016-03-30 01:25:04] 877*2^1424749-1 is not prime. Res64: DC4B8D05AAD80DB6 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:25:05] 603*2^1424750-1 is not prime. Res64: 54D38B3ED4C9DFE6 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:25:06] 645*2^1424750-1 is not prime. Res64: F7EF88C3B9941E73 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:25:07] 897*2^1424750-1 is not prime. Res64: CD79E5B90766CD8C Time : 0.0 sec. user=mdettweiler [2016-03-30 01:37:56] 917*2^1424750-1 is not prime. Res64: 3A462C6992AEB175 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:37:56] 775*2^1424751-1 is not prime. Res64: 5756BF49F4421BD7 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:37:57] 849*2^1424751-1 is not prime. Res64: F5ABB9E16C942145 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:37:57] 913*2^1424751-1 is not prime. Res64: 5F094FFFDB6BBED9 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:37:58] 961*2^1424751-1 is not prime. Res64: 120C9D220945273E Time : 0.0 sec. user=mdettweiler [2016-03-30 01:53:05] 605*2^1424752-1 is not prime. Res64: 3FFCF09901EEC74E Time : 0.0 sec. user=mdettweiler [2016-03-30 01:53:06] 635*2^1424752-1 is not prime. Res64: 630F5260026440AA Time : 0.0 sec. user=mdettweiler [2016-03-30 01:53:06] 665*2^1424752-1 is not prime. Res64: 1FE2DCBDCE12ABB4 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:53:07] 719*2^1424752-1 is not prime. Res64: 83C6F0BA59602D09 Time : 0.0 sec. user=mdettweiler [2016-03-30 01:53:07] 765*2^1424752-1 is not prime. Res64: 93AEC0475CEFEF3E Time : 0.0 sec. user=mdettweiler [2016-03-30 02:00:22] 785*2^1424752-1 is not prime. Res64: C20C98A16734C971 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:00:22] 825*2^1424752-1 is not prime. Res64: 4C2BFB99E276ADFA Time : 0.0 sec. user=mdettweiler [2016-03-30 02:00:23] 873*2^1424752-1 is not prime. Res64: 8DF6445E73803523 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:00:24] 917*2^1424752-1 is not prime. Res64: AB4A28FA31DFA377 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:00:25] 939*2^1424752-1 is not prime. Res64: 7B688BEE95766403 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:10:54] 771*2^1424753-1 is not prime. Res64: 3C6A8F6D1EEB5781 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:10:54] 879*2^1424753-1 is not prime. Res64: 69D4C6DA390EC4E8 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:10:54] 937*2^1424753-1 is not prime. Res64: 37BB33FEE6FC1487 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:10:55] 611*2^1424754-1 is not prime. Res64: 560A933292E824E3 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:10:55] 621*2^1424754-1 is not prime. Res64: 7DD9ACC641C9ABDD Time : 0.0 sec. user=mdettweiler [2016-03-30 02:23:52] 681*2^1424754-1 is not prime. Res64: 23EEBFFA57B857E5 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:23:52] 639*2^1424755-1 is not prime. Res64: 8DDF2A4DD4A7D8A0 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:23:53] 709*2^1424755-1 is not prime. Res64: CF9B3F42707363B0 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:23:54] 819*2^1424755-1 is not prime. Res64: C197CC93787185D2 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:23:54] 915*2^1424755-1 is not prime. Res64: F765F549FFD25D24 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:38:00] 659*2^1424756-1 is not prime. Res64: 8855AD02E7ECF240 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:38:01] 833*2^1424756-1 is not prime. Res64: 73E01A4D93C82498 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:38:01] 869*2^1424756-1 is not prime. Res64: D37A52FF51887C41 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:38:02] 609*2^1424757-1 is not prime. Res64: 49BA03EA1DCA0A75 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:38:02] 681*2^1424757-1 is not prime. Res64: 86948046B0806AA7 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:45:27] 759*2^1424757-1 is not prime. Res64: 49EFF6B7434A2713 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:45:28] 765*2^1424757-1 is not prime. Res64: 4ACF77AD7B030978 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:45:28] 781*2^1424757-1 is not prime. Res64: 1DB5ABDC37CEA11C Time : 0.0 sec. user=mdettweiler [2016-03-30 02:45:28] 859*2^1424757-1 is not prime. Res64: 9EF0AD7D41A9BC04 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:45:28] 961*2^1424757-1 is not prime. Res64: 30EF75B1EC3917A6 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:55:55] 635*2^1424758-1 is not prime. Res64: 1E2B15FD2C80D069 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:55:55] 665*2^1424758-1 is not prime. Res64: 0F1C269174A9126F Time : 0.0 sec. user=mdettweiler [2016-03-30 02:55:56] 681*2^1424758-1 is not prime. Res64: 92C51B34B939ECB6 Time : 0.0 sec. user=mdettweiler [2016-03-30 02:55:56] 695*2^1424758-1 is not prime. Res64: 7BC0AD81C8CEBF7A Time : 0.0 sec. user=mdettweiler [2016-03-30 02:55:56] 723*2^1424758-1 is not prime. Res64: CCD11E4963441634 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:08:49] 825*2^1424758-1 is not prime. Res64: 82E67C85860420F9 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:08:50] 863*2^1424758-1 is not prime. Res64: F96598C6A22FA738 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:08:50] 911*2^1424758-1 is not prime. Res64: 2875655A4F0B0D59 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:08:51] 971*2^1424758-1 is not prime. Res64: AD7F8C302E0EA394 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:08:51] 993*2^1424758-1 is not prime. Res64: B3BA80CAF57AF4C7 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:22:50] 621*2^1424759-1 is not prime. Res64: 753F1BFC204B78B4 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:22:51] 703*2^1424759-1 is not prime. Res64: 7ABF2F1D5E5F9D7A Time : 0.0 sec. user=mdettweiler [2016-03-30 03:22:51] 799*2^1424759-1 is not prime. Res64: 5486AE8EC9506FB3 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:22:52] 813*2^1424759-1 is not prime. Res64: 7F6493649CAEA08F Time : 0.0 sec. user=mdettweiler [2016-03-30 03:22:52] 843*2^1424759-1 is not prime. Res64: 84D0650CE02D48CE Time : 0.0 sec. user=mdettweiler [2016-03-30 03:30:25] 853*2^1424759-1 is not prime. Res64: D515F7A61E82E4C3 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:30:27] 895*2^1424759-1 is not prime. Res64: CF05E1B25FF29A02 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:30:29] 931*2^1424759-1 is not prime. Res64: DA5D747D71FFF453 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:30:30] 939*2^1424759-1 is not prime. Res64: 3D06B456AC91CA46 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:30:37] 693*2^1424760-1 is not prime. Res64: 27B4092128DF8639 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:40:58] 767*2^1424760-1 is not prime. Res64: 7EC0578C488FAB54 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:40:59] 773*2^1424760-1 is not prime. Res64: D5E4DC6370FD034B Time : 0.0 sec. user=mdettweiler [2016-03-30 03:41:00] 779*2^1424760-1 is not prime. Res64: 6935BEF82104DD8F Time : 0.0 sec. user=mdettweiler [2016-03-30 03:41:02] 873*2^1424760-1 is not prime. Res64: FE8FB868E3A62443 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:41:03] 601*2^1424761-1 is not prime. Res64: 900E7C1A8DE41B0E Time : 0.0 sec. user=mdettweiler [2016-03-30 03:53:50] 651*2^1424761-1 is not prime. Res64: 8233BC090754E3B6 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:53:51] 681*2^1424761-1 is not prime. Res64: 98E46D1636F1020F Time : 0.0 sec. user=mdettweiler [2016-03-30 03:53:51] 801*2^1424761-1 is not prime. Res64: 5F66730A9B258102 Time : 0.0 sec. user=mdettweiler [2016-03-30 03:53:51] 675*2^1424762-1 is not prime. Res64: B55B251CBF28B7DF Time : 0.0 sec. user=mdettweiler [2016-03-30 03:53:52] 801*2^1424762-1 is not prime. Res64: AFEB4FBABC1CE3B8 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:07:45] 857*2^1424762-1 is not prime. Res64: 7041603A42C5589D Time : 0.0 sec. user=mdettweiler [2016-03-30 04:07:46] 873*2^1424762-1 is not prime. Res64: 8A8D9E0F9C9C8371 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:07:46] 981*2^1424762-1 is not prime. Res64: CEA0A48B8FB48151 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:07:47] 613*2^1424763-1 is not prime. Res64: 35661EBF42302A94 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:07:47] 699*2^1424763-1 is not prime. Res64: 3E8876C71B8F19AC Time : 0.0 sec. user=mdettweiler [2016-03-30 04:13:53] 775*2^1424765-1 is not prime. Res64: 8A0A4EC73EA56F35 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:15:44] 769*2^1424763-1 is not prime. Res64: 394EEA695B1678D0 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:15:44] 819*2^1424763-1 is not prime. Res64: 222AFFC989547F3B Time : 0.0 sec. user=mdettweiler [2016-03-30 04:15:44] 823*2^1424763-1 is not prime. Res64: D8BE7667C8E2D24A Time : 0.0 sec. user=mdettweiler [2016-03-30 04:15:45] 861*2^1424763-1 is not prime. Res64: 957FD67368E9601E Time : 0.0 sec. user=mdettweiler [2016-03-30 04:15:45] 961*2^1424763-1 is not prime. Res64: 903AB076F084D5E2 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:26:15] 635*2^1424764-1 is not prime. Res64: DF3A8340487A4EDD Time : 0.0 sec. user=mdettweiler [2016-03-30 04:26:16] 813*2^1424764-1 is not prime. Res64: F1DBF84A84D6C80A Time : 0.0 sec. user=mdettweiler [2016-03-30 04:26:16] 819*2^1424764-1 is not prime. Res64: BCAC7C6B193F4847 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:26:16] 887*2^1424764-1 is not prime. Res64: 0CE60B6043DCCC17 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:26:17] 905*2^1424764-1 is not prime. Res64: 00CDB5DED8602F98 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:38:56] 927*2^1424764-1 is not prime. Res64: C547C8FEA2817885 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:38:56] 975*2^1424764-1 is not prime. Res64: 7B5989B6192235E4 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:38:56] 711*2^1424765-1 is not prime. Res64: 24B4375320131CCD Time : 0.0 sec. user=mdettweiler [2016-03-30 04:38:57] 715*2^1424765-1 is not prime. Res64: 05A7B93162F5B90C Time : 0.0 sec. user=mdettweiler [2016-03-30 04:38:57] 729*2^1424765-1 is not prime. Res64: CD6091CE95748554 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:52:36] 871*2^1424765-1 is not prime. Res64: 06CD198B0FF836A9 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:52:36] 647*2^1424766-1 is not prime. Res64: 85A5BBFA669E281F Time : 0.0 sec. user=mdettweiler [2016-03-30 04:52:36] 657*2^1424766-1 is not prime. Res64: AA1A02A277483DE0 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:52:37] 705*2^1424766-1 is not prime. Res64: FBDB9EB48C0D7653 Time : 0.0 sec. user=mdettweiler [2016-03-30 04:52:37] 741*2^1424766-1 is not prime. Res64: FBC36E26A5E1F2AE Time : 0.0 sec. user=mdettweiler [2016-03-30 05:00:37] 747*2^1424766-1 is not prime. Res64: 4496D3D9C22A9705 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:00:38] 993*2^1424766-1 is not prime. Res64: 6EBC0030FEA0FCC9 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:00:39] 1001*2^1424766-1 is not prime. Res64: B2D5B192706A4114 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:00:39] 609*2^1424767-1 is not prime. Res64: DA7113ABEB9C150A Time : 0.0 sec. user=mdettweiler [2016-03-30 05:00:40] 715*2^1424767-1 is not prime. Res64: 8FC182ACAAD79112 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:06:09] 751*2^1424769-1 is not prime. Res64: DED68BE709EBD5F7 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:11:39] 741*2^1424767-1 is not prime. Res64: AA9B0861D5FA61EA Time : 0.0 sec. user=mdettweiler [2016-03-30 05:11:40] 829*2^1424767-1 is not prime. Res64: 297A3F0D0846A3BF Time : 0.0 sec. user=mdettweiler [2016-03-30 05:11:40] 861*2^1424767-1 is not prime. Res64: CC72CCA698F4F512 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:11:41] 873*2^1424767-1 is not prime. Res64: EDDE6B886625451E Time : 0.0 sec. user=mdettweiler [2016-03-30 05:11:41] 895*2^1424767-1 is not prime. Res64: C6A8B919F0B2E210 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:25:18] 961*2^1424767-1 is not prime. Res64: CF0A95D7130DF72E Time : 0.0 sec. user=mdettweiler [2016-03-30 05:25:18] 615*2^1424768-1 is not prime. Res64: D9295833F0A80381 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:25:19] 683*2^1424768-1 is not prime. Res64: 5C1DAA7D31106F8D Time : 0.0 sec. user=mdettweiler [2016-03-30 05:25:19] 815*2^1424768-1 is not prime. Res64: 1F09F3B9F1B0A85C Time : 0.0 sec. user=mdettweiler [2016-03-30 05:25:19] 897*2^1424768-1 is not prime. Res64: 7A42CADA457CC722 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:37:53] 963*2^1424768-1 is not prime. Res64: 32A680E022825113 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:37:53] 615*2^1424769-1 is not prime. Res64: F32F906AEEA783CD Time : 0.0 sec. user=mdettweiler [2016-03-30 05:37:54] 681*2^1424769-1 is not prime. Res64: 4CFD488E91CBDF5B Time : 0.0 sec. user=mdettweiler [2016-03-30 05:37:54] 705*2^1424769-1 is not prime. Res64: B9C1D4A4199FB989 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:37:54] 709*2^1424769-1 is not prime. Res64: 99B7DEAA1F28CEB1 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:46:46] 781*2^1424769-1 is not prime. Res64: 5D4F859B1F39DFC8 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:46:46] 789*2^1424769-1 is not prime. Res64: B4C69C4CF2ADA1CC Time : 0.0 sec. user=mdettweiler [2016-03-30 05:46:46] 837*2^1424769-1 is not prime. Res64: 9EA4F456B6B1CDA0 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:46:47] 909*2^1424769-1 is not prime. Res64: 9ED19E9493A809B3 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:46:47] 921*2^1424769-1 is not prime. Res64: 8AFC145A89DC2385 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:56:28] 949*2^1424769-1 is not prime. Res64: A9BE8C78B341389B Time : 0.0 sec. user=mdettweiler [2016-03-30 05:56:29] 657*2^1424770-1 is not prime. Res64: BEF75BA7B6E1931B Time : 0.0 sec. user=mdettweiler [2016-03-30 05:56:29] 665*2^1424770-1 is not prime. Res64: 5A210B34E8C1F052 Time : 0.0 sec. user=mdettweiler [2016-03-30 05:56:30] 785*2^1424770-1 is not prime. Res64: 1CE46427E2373D5F Time : 0.0 sec. user=mdettweiler [2016-03-30 05:56:30] 857*2^1424770-1 is not prime. Res64: 6D5965D3F247270E Time : 0.0 sec. user=mdettweiler [2016-03-30 06:10:17] 663*2^1424771-1 is not prime. Res64: 0F4BB030ECB62651 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:10:17] 735*2^1424771-1 is not prime. Res64: 793475FDD774ABDF Time : 0.0 sec. user=mdettweiler [2016-03-30 06:10:18] 745*2^1424771-1 is not prime. Res64: 12E76E69DD7D4DE2 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:10:18] 829*2^1424771-1 is not prime. Res64: 41F25F5E8E91A38F Time : 0.0 sec. user=mdettweiler [2016-03-30 06:10:19] 841*2^1424771-1 is not prime. Res64: 06694AB88DF366D6 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:22:44] 903*2^1424771-1 is not prime. Res64: 2C625921423697C6 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:22:45] 949*2^1424771-1 is not prime. Res64: F38F5601E65C9A99 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:22:45] 991*2^1424771-1 is not prime. Res64: 300FE871930EDFB5 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:22:46] 669*2^1424772-1 is not prime. Res64: B472BFB94F9CB562 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:22:46] 699*2^1424772-1 is not prime. Res64: F037C53EE1AD69F2 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:31:46] 725*2^1424772-1 is not prime. Res64: 8886392376993532 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:31:46] 887*2^1424772-1 is not prime. Res64: 7028CB0E33C31FB0 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:31:47] 741*2^1424773-1 is not prime. Res64: 29D5C9A74272CC41 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:31:47] 955*2^1424773-1 is not prime. Res64: 7F22C251AF69A922 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:31:48] 605*2^1424774-1 is not prime. Res64: 000B2D0AE2F44A45 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:41:21] 663*2^1424774-1 is not prime. Res64: F348D78C9B98CFE1 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:41:21] 675*2^1424774-1 is not prime. Res64: 701D95C8B39FBAFB Time : 0.0 sec. user=mdettweiler [2016-03-30 06:41:21] 753*2^1424774-1 is not prime. Res64: E08507C55E2EDE47 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:41:22] 797*2^1424774-1 is not prime. Res64: 43ED53BE24F7F553 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:41:22] 857*2^1424774-1 is not prime. Res64: 94C1BC107B5097D9 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:55:17] 885*2^1424774-1 is not prime. Res64: FB870DA97BC99453 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:55:18] 887*2^1424774-1 is not prime. Res64: 4C4FD0D66188D8D1 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:55:18] 1001*2^1424774-1 is not prime. Res64: 25C241A2CC4D1F81 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:55:18] 805*2^1424775-1 is not prime. Res64: 8B78C7330D7E6062 Time : 0.0 sec. user=mdettweiler [2016-03-30 06:55:19] 819*2^1424775-1 is not prime. Res64: A31CF3A715334F81 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:07:30] 951*2^1424775-1 is not prime. Res64: A339B3A822575C5E Time : 0.0 sec. user=mdettweiler [2016-03-30 07:07:32] 963*2^1424775-1 is not prime. Res64: E5F8228842A58F7E Time : 0.0 sec. user=mdettweiler [2016-03-30 07:07:32] 969*2^1424775-1 is not prime. Res64: F9306E4A1CC2E94C Time : 0.0 sec. user=mdettweiler [2016-03-30 07:07:33] 695*2^1424776-1 is not prime. Res64: 1501714BF2CB78D5 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:07:34] 717*2^1424776-1 is not prime. Res64: 2868517A3A840888 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:16:36] 735*2^1424776-1 is not prime. Res64: B4B22EC81D936748 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:16:36] 765*2^1424776-1 is not prime. Res64: 38DEE2FED80BE150 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:16:37] 873*2^1424776-1 is not prime. Res64: 8673AFAAC79B644E Time : 0.0 sec. user=mdettweiler [2016-03-30 07:16:37] 615*2^1424777-1 is not prime. Res64: 77CAFFF99E2555A4 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:16:38] 645*2^1424777-1 is not prime. Res64: 697EB3D0123E324F Time : 0.0 sec. user=mdettweiler [2016-03-30 07:26:19] 865*2^1424777-1 is not prime. Res64: 40C447AD329E82F1 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:26:20] 871*2^1424777-1 is not prime. Res64: 7817A69A38FFDC84 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:26:20] 621*2^1424778-1 is not prime. Res64: 28A8BA85B2D22539 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:26:20] 837*2^1424778-1 is not prime. Res64: DE5DC6EA1740CAC0 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:26:21] 915*2^1424778-1 is not prime. Res64: 939604BD6740368B Time : 0.0 sec. user=mdettweiler [2016-03-30 07:40:15] 971*2^1424778-1 is not prime. Res64: BA48198DE833E123 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:40:16] 975*2^1424778-1 is not prime. Res64: 6E32E52FD9903612 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:40:16] 619*2^1424779-1 is not prime. Res64: 3AFFB1CEA274926D Time : 0.0 sec. user=mdettweiler [2016-03-30 07:40:16] 829*2^1424779-1 is not prime. Res64: 3F8613958397EFED Time : 0.0 sec. user=mdettweiler [2016-03-30 07:40:17] 883*2^1424779-1 is not prime. Res64: 98B179C1A3D2C565 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:52:31] 885*2^1424779-1 is not prime. Res64: 6053162065A9F2EE Time : 0.0 sec. user=mdettweiler [2016-03-30 07:52:32] 931*2^1424779-1 is not prime. Res64: F85B31CDF8FD93A9 Time : 0.0 sec. user=mdettweiler [2016-03-30 07:52:32] 795*2^1424780-1 is not prime. Res64: DC34DCB60CBF873E Time : 0.0 sec. user=mdettweiler [2016-03-30 07:52:32] 803*2^1424780-1 is not prime. Res64: 3E03213D14711BCE Time : 0.0 sec. user=mdettweiler [2016-03-30 07:52:33] 855*2^1424780-1 is not prime. Res64: 95915AED8BF56C1D Time : 0.0 sec. user=mdettweiler [2016-03-30 08:01:23] 773*2^1424784-1 is not prime. Res64: 1C07992E12FE4BC9 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:01:38] 875*2^1424780-1 is not prime. Res64: 31BFBAE997CDE4D6 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:01:39] 879*2^1424780-1 is not prime. Res64: DBBADEF6AFF8CF41 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:01:39] 909*2^1424780-1 is not prime. Res64: 9615E5EE8631C279 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:01:40] 717*2^1424781-1 is not prime. Res64: DB4BEA25CAD7CCE9 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:01:42] 789*2^1424781-1 is not prime. Res64: 1FACCDF6252C32C1 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:11:17] 955*2^1424781-1 is not prime. Res64: 392F48F9B371BAC1 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:11:18] 815*2^1424782-1 is not prime. Res64: 259D62CC0FB24820 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:11:18] 831*2^1424782-1 is not prime. Res64: 125E31082E38F6E4 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:11:19] 885*2^1424782-1 is not prime. Res64: 4FE5AC2E5E363736 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:11:19] 609*2^1424783-1 is not prime. Res64: FB5BE47441C1A075 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:25:18] 621*2^1424783-1 is not prime. Res64: 73CB1FB5F2505D3C Time : 0.0 sec. user=mdettweiler [2016-03-30 08:25:18] 825*2^1424783-1 is not prime. Res64: 83BC5793E5BD17BC Time : 0.0 sec. user=mdettweiler [2016-03-30 08:25:18] 889*2^1424783-1 is not prime. Res64: 9C83D99CAE925BC5 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:25:19] 895*2^1424783-1 is not prime. Res64: EB924410B7029ACE Time : 0.0 sec. user=mdettweiler [2016-03-30 08:25:19] 955*2^1424783-1 is not prime. Res64: 02FEFE1D9280F876 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:37:23] 605*2^1424784-1 is not prime. Res64: 7D7C637090ADFB3B Time : 0.0 sec. user=mdettweiler [2016-03-30 08:37:23] 635*2^1424784-1 is not prime. Res64: 955EE05929983A2C Time : 0.0 sec. user=mdettweiler [2016-03-30 08:37:24] 705*2^1424784-1 is not prime. Res64: E13FFC3E3064A9EB Time : 0.0 sec. user=mdettweiler [2016-03-30 08:37:24] 707*2^1424784-1 is not prime. Res64: F9A099CAB5A334C6 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:37:24] 737*2^1424784-1 is not prime. Res64: 5DE91BDE9A5C05B5 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:46:48] 645*2^1424785-1 is not prime. Res64: 4505FCFAEFBEDB0D Time : 0.0 sec. user=mdettweiler [2016-03-30 08:46:48] 651*2^1424785-1 is not prime. Res64: 400F0F0C4DAD1E7A Time : 0.0 sec. user=mdettweiler [2016-03-30 08:46:48] 699*2^1424785-1 is not prime. Res64: 0E0BCCD63A0812C3 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:46:49] 705*2^1424785-1 is not prime. Res64: A1A135A8ECB26EC3 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:46:49] 717*2^1424785-1 is not prime. Res64: 0B93A6E650A73034 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:54:19] 745*2^1424789-1 is not prime. Res64: 1C11B8AA2846D9E0 Time : 0.0 sec. user=mdettweiler [2016-03-30 08:56:09] 831*2^1424785-1 is not prime. Res64: 71B669C4E2C5A3BA Time : 0.0 sec. user=mdettweiler [2016-03-30 08:56:09] 877*2^1424785-1 is not prime. Res64: ECC8184AB61B67DE Time : 0.0 sec. user=mdettweiler [2016-03-30 08:56:09] 603*2^1424786-1 is not prime. Res64: C2E72A10C932264E Time : 0.0 sec. user=mdettweiler [2016-03-30 08:56:10] 711*2^1424786-1 is not prime. Res64: B69F736A7E4603FA Time : 0.0 sec. user=mdettweiler [2016-03-30 08:56:10] 741*2^1424786-1 is not prime. Res64: A22C33841954C142 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:05:03] 955*2^1424789-1 is not prime. Res64: 9E5753B78A1E7C88 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:10:20] 837*2^1424786-1 is not prime. Res64: 5B0E9B90EAB9445B Time : 0.0 sec. user=mdettweiler [2016-03-30 09:10:21] 843*2^1424786-1 is not prime. Res64: FF25EE387DBA8627 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:10:21] 887*2^1424786-1 is not prime. Res64: 4B2A24BDC3CFE8E3 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:10:21] 669*2^1424787-1 is not prime. Res64: 6F111B6E93157D0F Time : 0.0 sec. user=mdettweiler [2016-03-30 09:10:22] 891*2^1424787-1 is not prime. Res64: ED308EFD0B537203 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:22:09] 665*2^1424788-1 is not prime. Res64: 8855F74C0153ADC5 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:22:10] 875*2^1424788-1 is not prime. Res64: EA2BF25E5BDD0865 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:22:10] 993*2^1424788-1 is not prime. Res64: DA41AE66713F97FD Time : 0.0 sec. user=mdettweiler [2016-03-30 09:22:10] 621*2^1424789-1 is not prime. Res64: 171498F2AD2496EF Time : 0.0 sec. user=mdettweiler [2016-03-30 09:22:11] 631*2^1424789-1 is not prime. Res64: 26D8D35EA0E8EF82 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:31:46] 987*2^1424789-1 is not prime. Res64: E6E6C06CF075B33F Time : 0.0 sec. user=mdettweiler [2016-03-30 09:31:46] 681*2^1424790-1 is not prime. Res64: 5690A9F57B176CD3 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:31:47] 725*2^1424790-1 is not prime. Res64: BBC564A8B416A88E Time : 0.0 sec. user=mdettweiler [2016-03-30 09:31:47] 801*2^1424790-1 is not prime. Res64: CB3D5A97F2377A62 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:31:47] 851*2^1424790-1 is not prime. Res64: A3FF7CFE8F85CA84 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:41:15] 873*2^1424790-1 is not prime. Res64: 2950EB4B1D3651B9 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:41:15] 957*2^1424790-1 is not prime. Res64: B03BCC74F8C5F208 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:41:16] 661*2^1424791-1 is not prime. Res64: C87CCBD02B6D2C3B Time : 0.0 sec. user=mdettweiler [2016-03-30 09:41:16] 843*2^1424791-1 is not prime. Res64: 0594148A2E53D73D Time : 0.0 sec. user=mdettweiler [2016-03-30 09:41:16] 871*2^1424791-1 is not prime. Res64: BA6AF7E6BB693D47 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:55:19] 901*2^1424791-1 is not prime. Res64: 00DAC6D49DFFD564 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:55:20] 925*2^1424791-1 is not prime. Res64: D9408B819670A98C Time : 0.0 sec. user=mdettweiler [2016-03-30 09:55:20] 973*2^1424791-1 is not prime. Res64: EC20042FE177A928 Time : 0.0 sec. user=mdettweiler [2016-03-30 09:55:20] 629*2^1424792-1 is not prime. Res64: 10CCD510D5BB771A Time : 0.0 sec. user=mdettweiler [2016-03-30 09:55:21] 677*2^1424792-1 is not prime. Res64: 24AA1C26902D60E6 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:07:19] 725*2^1424792-1 is not prime. Res64: 7C920A9D9A0EF0CE Time : 0.0 sec. user=mdettweiler [2016-03-30 10:07:21] 797*2^1424792-1 is not prime. Res64: BDAB8E1563A614E4 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:07:22] 609*2^1424793-1 is not prime. Res64: E15BC0CB77100081 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:07:24] 699*2^1424793-1 is not prime. Res64: 6B79685E61DA9842 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:07:25] 727*2^1424793-1 is not prime. Res64: 3D5AB27C23B4BBDB Time : 0.0 sec. user=mdettweiler [2016-03-30 10:16:53] 795*2^1424793-1 is not prime. Res64: F2BAB21EED54622C Time : 0.0 sec. user=mdettweiler [2016-03-30 10:16:54] 623*2^1424794-1 is not prime. Res64: DEAD77C5F25A2B32 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:16:54] 741*2^1424794-1 is not prime. Res64: 256A9443246E631E Time : 0.0 sec. user=mdettweiler [2016-03-30 10:16:55] 765*2^1424794-1 is not prime. Res64: 96C51A20C2A1F8BD Time : 0.0 sec. user=mdettweiler [2016-03-30 10:16:55] 783*2^1424794-1 is not prime. Res64: 0DBF13CFD3E530EA Time : 0.0 sec. user=mdettweiler [2016-03-30 10:22:37] 743*2^1424798-1 is not prime. Res64: EF9756F7ECF97BD9 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:26:14] 993*2^1424794-1 is not prime. Res64: 99A456EBD06CD2B5 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:26:14] 619*2^1424795-1 is not prime. Res64: 62330DE0C34E8BCA Time : 0.0 sec. user=mdettweiler [2016-03-30 10:26:14] 885*2^1424795-1 is not prime. Res64: 3FF5FA5300467FE0 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:26:15] 909*2^1424795-1 is not prime. Res64: E7BCF49588875490 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:26:15] 939*2^1424795-1 is not prime. Res64: 662271940EFCE208 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:40:29] 981*2^1424795-1 is not prime. Res64: 1F696A1E19CEA9D1 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:40:29] 647*2^1424796-1 is not prime. Res64: A6AFCE996FA45C7B Time : 0.0 sec. user=mdettweiler [2016-03-30 10:40:29] 767*2^1424796-1 is not prime. Res64: ADC43E74C15BE024 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:40:30] 625*2^1424797-1 is not prime. Res64: 084904D3E6F008CF Time : 0.0 sec. user=mdettweiler [2016-03-30 10:40:30] 741*2^1424797-1 is not prime. Res64: A9F2E8823D0C6742 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:52:18] 799*2^1424797-1 is not prime. Res64: A98E589A7FBE472A Time : 0.0 sec. user=mdettweiler [2016-03-30 10:52:18] 835*2^1424797-1 is not prime. Res64: AFE77C75C3435705 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:52:18] 847*2^1424797-1 is not prime. Res64: B833C2C134725919 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:52:19] 915*2^1424797-1 is not prime. Res64: D96119CDBD0FE5E1 Time : 0.0 sec. user=mdettweiler [2016-03-30 10:52:19] 603*2^1424798-1 is not prime. Res64: 1965ACA71E49203A Time : 0.0 sec. user=mdettweiler [2016-03-30 11:01:54] 755*2^1424798-1 is not prime. Res64: F2212A314A329CAB Time : 0.0 sec. user=mdettweiler [2016-03-30 11:01:55] 843*2^1424798-1 is not prime. Res64: 4C46A1601087001A Time : 0.0 sec. user=mdettweiler [2016-03-30 11:01:56] 927*2^1424798-1 is not prime. Res64: 23FD3ECA2F2DADAA Time : 0.0 sec. user=mdettweiler [2016-03-30 11:01:56] 609*2^1424799-1 is not prime. Res64: 4C6ABB97F378588F Time : 0.0 sec. user=mdettweiler [2016-03-30 11:01:57] 615*2^1424799-1 is not prime. Res64: B439B58A8594B89E Time : 0.0 sec. user=mdettweiler [2016-03-30 11:11:14] 679*2^1424799-1 is not prime. Res64: C220401D763ED8A8 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:11:15] 635*2^1424800-1 is not prime. Res64: 357A8D1903258BC0 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:11:15] 645*2^1424800-1 is not prime. Res64: 340AE1A24E2A969A Time : 0.0 sec. user=mdettweiler [2016-03-30 11:11:15] 677*2^1424800-1 is not prime. Res64: 8BEC189A140AA3A2 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:11:16] 759*2^1424800-1 is not prime. Res64: F45BC3952D673D82 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:25:40] 765*2^1424800-1 is not prime. Res64: 4B215D954D4D48C3 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:25:40] 905*2^1424800-1 is not prime. Res64: B87468FB371F8853 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:25:41] 965*2^1424800-1 is not prime. Res64: 1F4F36E3D98BE89A Time : 0.0 sec. user=mdettweiler [2016-03-30 11:25:41] 669*2^1424801-1 is not prime. Res64: DE433DF881B6FC36 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:25:41] 675*2^1424801-1 is not prime. Res64: 5BD9020CF9E713F4 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:37:09] 691*2^1424801-1 is not prime. Res64: 168C36C6B135178D Time : 0.0 sec. user=mdettweiler [2016-03-30 11:37:10] 705*2^1424801-1 is not prime. Res64: 4AB107B92CF62D37 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:37:10] 799*2^1424801-1 is not prime. Res64: 6DA4C142F3A506C4 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:37:10] 805*2^1424801-1 is not prime. Res64: B7E19C5862DC3F62 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:37:11] 885*2^1424801-1 is not prime. Res64: 4493B07F18E3B3D9 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:47:35] 889*2^1424801-1 is not prime. Res64: F33454AA3F12B3A5 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:47:35] 711*2^1424802-1 is not prime. Res64: 5AB9A2C4E560EF21 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:47:35] 735*2^1424802-1 is not prime. Res64: 6D8BEDDEE1DACB0F Time : 0.0 sec. user=mdettweiler [2016-03-30 11:47:36] 755*2^1424802-1 is not prime. Res64: BD3D76F863897F1D Time : 0.0 sec. user=mdettweiler [2016-03-30 11:47:36] 791*2^1424802-1 is not prime. Res64: ECD3778B3EB6CC71 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:57:27] 807*2^1424802-1 is not prime. Res64: 8929B1D1A812DEAA Time : 0.0 sec. user=mdettweiler [2016-03-30 11:57:28] 821*2^1424802-1 is not prime. Res64: 1209DA54D7E98C20 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:57:28] 875*2^1424802-1 is not prime. Res64: F65A40FB9D254AB3 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:57:28] 921*2^1424802-1 is not prime. Res64: 9CB249BBAAC01D58 Time : 0.0 sec. user=mdettweiler [2016-03-30 11:57:29] 619*2^1424803-1 is not prime. Res64: 0FDC9BF62D288E30 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:12:46] 685*2^1424803-1 is not prime. Res64: 6A9D186E0DD3908E Time : 0.0 sec. user=mdettweiler [2016-03-30 12:12:47] 789*2^1424803-1 is not prime. Res64: DEF861D878CC5A4D Time : 0.0 sec. user=mdettweiler [2016-03-30 12:12:48] 805*2^1424803-1 is not prime. Res64: D8A64E2C77E3065B Time : 0.0 sec. user=mdettweiler [2016-03-30 12:12:48] 891*2^1424803-1 is not prime. Res64: 189B29DDA7687793 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:12:49] 943*2^1424803-1 is not prime. Res64: 09EAEF390C457C8F Time : 0.0 sec. user=mdettweiler [2016-03-30 12:24:25] 945*2^1424803-1 is not prime. Res64: E2EDC2CF14BD6227 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:24:26] 951*2^1424803-1 is not prime. Res64: 3705F1BBFD6DBFC4 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:24:26] 617*2^1424804-1 is not prime. Res64: A138B5717ABE9714 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:24:26] 873*2^1424804-1 is not prime. Res64: 73F5955962C1EBB5 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:24:27] 953*2^1424804-1 is not prime. Res64: 8E0B724926540B4A Time : 0.0 sec. user=mdettweiler [2016-03-30 12:34:40] 667*2^1424805-1 is not prime. Res64: 4FB909584816A230 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:34:41] 685*2^1424805-1 is not prime. Res64: 5081E4C825A88621 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:34:41] 751*2^1424805-1 is not prime. Res64: FAFFD00652436B7C Time : 0.0 sec. user=mdettweiler [2016-03-30 12:34:42] 937*2^1424805-1 is not prime. Res64: 3211573131BA46DA Time : 0.0 sec. user=mdettweiler [2016-03-30 12:34:42] 611*2^1424806-1 is not prime. Res64: 69EDA17264DF0608 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:44:23] 653*2^1424806-1 is not prime. Res64: 2387CF062184E15F Time : 0.0 sec. user=mdettweiler [2016-03-30 12:44:23] 657*2^1424806-1 is not prime. Res64: 4C6F1AC9E1496078 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:44:24] 743*2^1424806-1 is not prime. Res64: FD6CA36D2DE2595F Time : 0.0 sec. user=mdettweiler [2016-03-30 12:44:24] 815*2^1424806-1 is not prime. Res64: 57B4A0F1BFDB2362 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:44:25] 857*2^1424806-1 is not prime. Res64: 221B86FC62C0F4FB Time : 0.0 sec. user=mdettweiler [2016-03-30 12:59:37] 873*2^1424806-1 is not prime. Res64: 944F13FA50CFED6B Time : 0.0 sec. user=mdettweiler [2016-03-30 12:59:37] 945*2^1424806-1 is not prime. Res64: DD15340694A31AE1 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:59:37] 643*2^1424807-1 is not prime. Res64: A754D14441EE5394 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:59:37] 735*2^1424807-1 is not prime. Res64: CFAD55FE57CEB698 Time : 0.0 sec. user=mdettweiler [2016-03-30 12:59:38] 775*2^1424807-1 is not prime. Res64: 22B3BFA21CAE0AD7 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:11:32] 861*2^1424807-1 is not prime. Res64: AF55BC65D8427C05 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:11:32] 629*2^1424808-1 is not prime. Res64: ACD9B18CD6FA8EB4 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:11:33] 657*2^1424808-1 is not prime. Res64: 87AD2DFD00C735D9 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:11:33] 803*2^1424808-1 is not prime. Res64: 18A7FA5289F0BCE0 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:11:33] 843*2^1424808-1 is not prime. Res64: 06347DDEF1A496FC Time : 0.0 sec. user=mdettweiler [2016-03-30 13:24:11] 915*2^1424808-1 is not prime. Res64: 2855263779448B41 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:24:11] 999*2^1424808-1 is not prime. Res64: 52795649CF80572D Time : 0.0 sec. user=mdettweiler [2016-03-30 13:24:12] 615*2^1424809-1 is not prime. Res64: 922696D7FDACBE32 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:24:12] 741*2^1424809-1 is not prime. Res64: E04BB680495DA6DB Time : 0.0 sec. user=mdettweiler [2016-03-30 13:24:12] 867*2^1424809-1 is not prime. Res64: 9EA9CC421EE4FB8F Time : 0.0 sec. user=mdettweiler [2016-03-30 13:33:09] 895*2^1424809-1 is not prime. Res64: 02AFFC7BEA470BA8 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:33:09] 753*2^1424810-1 is not prime. Res64: 5C86DC927BCBA0C0 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:33:09] 791*2^1424810-1 is not prime. Res64: 133D59E4EF8FF45D Time : 0.0 sec. user=mdettweiler [2016-03-30 13:33:10] 801*2^1424810-1 is not prime. Res64: 9B24A9AED4698465 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:33:10] 851*2^1424810-1 is not prime. Res64: 81ECB3A866B3D121 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:47:55] 923*2^1424810-1 is not prime. Res64: 6EFA351626202272 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:47:55] 935*2^1424810-1 is not prime. Res64: B6410DD0E368CEFC Time : 0.0 sec. user=mdettweiler [2016-03-30 13:47:56] 941*2^1424810-1 is not prime. Res64: FE433C74561901A1 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:47:56] 795*2^1424811-1 is not prime. Res64: ACADB40A1313B2C2 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:47:57] 805*2^1424811-1 is not prime. Res64: 5F57663C7989EC6F Time : 0.0 sec. user=mdettweiler [2016-03-30 13:59:23] 849*2^1424811-1 is not prime. Res64: 060FD4225BC6934F Time : 0.0 sec. user=mdettweiler [2016-03-30 13:59:24] 895*2^1424811-1 is not prime. Res64: 984CFE2D3B9DD9D8 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:59:24] 909*2^1424811-1 is not prime. Res64: B9D62E745807D76A Time : 0.0 sec. user=mdettweiler [2016-03-30 13:59:25] 945*2^1424811-1 is not prime. Res64: D375E60A1AC32BC9 Time : 0.0 sec. user=mdettweiler [2016-03-30 13:59:25] 951*2^1424811-1 is not prime. Res64: A8BFDF7CFBCAD311 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:10:41] 961*2^1424811-1 is not prime. Res64: 60B71CA97E60F032 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:10:41] 615*2^1424812-1 is not prime. Res64: FC16A6E9D7099E1F Time : 0.0 sec. user=mdettweiler [2016-03-30 14:10:42] 617*2^1424812-1 is not prime. Res64: 24AF013CA476E123 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:10:42] 623*2^1424812-1 is not prime. Res64: 61355757261F4205 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:10:43] 639*2^1424812-1 is not prime. Res64: D25FF37EAE63CA1A Time : 0.0 sec. user=mdettweiler [2016-03-30 14:19:31] 743*2^1424812-1 is not prime. Res64: 92F3EEAB29EC90E7 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:19:31] 797*2^1424812-1 is not prime. Res64: 375DD8E5EFD2A756 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:19:32] 833*2^1424812-1 is not prime. Res64: 5F485D14F4A0057D Time : 0.0 sec. user=mdettweiler [2016-03-30 14:19:33] 869*2^1424812-1 is not prime. Res64: 9612F60110D0CE8C Time : 0.0 sec. user=mdettweiler [2016-03-30 14:19:33] 987*2^1424812-1 is not prime. Res64: 5897589F145E283C Time : 0.0 sec. user=mdettweiler [2016-03-30 14:34:39] 669*2^1424813-1 is not prime. Res64: 47BD5A7062D7532E Time : 0.0 sec. user=mdettweiler [2016-03-30 14:34:40] 697*2^1424813-1 is not prime. Res64: 39327A045B3B34C5 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:34:40] 759*2^1424813-1 is not prime. Res64: B95B338AB68A9DD6 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:34:41] 811*2^1424813-1 is not prime. Res64: 11A9E22FC6F3ED8B Time : 0.0 sec. user=mdettweiler [2016-03-30 14:34:41] 851*2^1424814-1 is not prime. Res64: E58553B403FF88FC Time : 0.0 sec. user=mdettweiler [2016-03-30 14:45:44] 625*2^1424815-1 is not prime. Res64: DCEF6182F1342A83 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:45:44] 645*2^1424815-1 is not prime. Res64: 99E6FDC099780FFD Time : 0.0 sec. user=mdettweiler [2016-03-30 14:45:45] 685*2^1424815-1 is not prime. Res64: 284B273C43184111 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:45:45] 793*2^1424815-1 is not prime. Res64: AF11987CE6C01FFE Time : 0.0 sec. user=mdettweiler [2016-03-30 14:45:45] 819*2^1424815-1 is not prime. Res64: CD80220D6E05C257 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:57:34] 885*2^1424815-1 is not prime. Res64: 0B33A5F8021F3384 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:57:35] 979*2^1424815-1 is not prime. Res64: 15BCD39F0BB4BCF4 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:57:35] 609*2^1424816-1 is not prime. Res64: 78E85C13A0B8A783 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:57:35] 633*2^1424816-1 is not prime. Res64: F9032A891D2C70F8 Time : 0.0 sec. user=mdettweiler [2016-03-30 14:57:36] 657*2^1424816-1 is not prime. Res64: 503289848F11DAAF Time : 0.0 sec. user=mdettweiler [2016-03-30 15:03:55] 669*2^1424819-1 is not prime. Res64: E8E76255674F9C88 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:04:07] 733*2^1424819-1 is not prime. Res64: F69FD2881505E0D8 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:05:37] 689*2^1424816-1 is not prime. Res64: 168ED5327DF71181 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:05:38] 717*2^1424816-1 is not prime. Res64: 81B188FB175C454E Time : 0.0 sec. user=mdettweiler [2016-03-30 15:05:39] 897*2^1424816-1 is not prime. Res64: 4D7380B6B0AA58CE Time : 0.0 sec. user=mdettweiler [2016-03-30 15:05:40] 923*2^1424816-1 is not prime. Res64: 991AF40DBCE3F447 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:05:41] 957*2^1424816-1 is not prime. Res64: F20A4E00499B5227 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:20:33] 993*2^1424816-1 is not prime. Res64: 3801EC90AD73168E Time : 0.0 sec. user=mdettweiler [2016-03-30 15:20:33] 685*2^1424817-1 is not prime. Res64: 4591020A7E8318C0 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:20:34] 739*2^1424817-1 is not prime. Res64: 559E804989277010 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:20:34] 831*2^1424817-1 is not prime. Res64: F65831E3F2F7D2DB Time : 0.0 sec. user=mdettweiler [2016-03-30 15:20:34] 915*2^1424817-1 is not prime. Res64: CF65B4E6F4398F42 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:31:03] 815*2^1424818-1 is not prime. Res64: 55BA4440352AAEB6 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:31:04] 821*2^1424818-1 is not prime. Res64: 367E254FAE2FD88E Time : 0.0 sec. user=mdettweiler [2016-03-30 15:31:04] 831*2^1424818-1 is not prime. Res64: 84BF841A7E6359E4 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:31:04] 887*2^1424818-1 is not prime. Res64: 9B9391EDA80A3694 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:31:05] 975*2^1424818-1 is not prime. Res64: FF686A59F24A0383 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:38:26] 893*2^1424822-1 is not prime. Res64: F18F24D8EB5B2954 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:42:09] 955*2^1424819-1 is not prime. Res64: 6F2CF01BAA6BC861 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:42:09] 979*2^1424819-1 is not prime. Res64: 4A94488B3AF22D89 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:42:10] 675*2^1424820-1 is not prime. Res64: 61407F62D8D05941 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:42:10] 753*2^1424820-1 is not prime. Res64: 70FC8A8CF620B25D Time : 0.0 sec. user=mdettweiler [2016-03-30 15:42:10] 923*2^1424820-1 is not prime. Res64: C5118D2882B8EB4D Time : 0.0 sec. user=mdettweiler [2016-03-30 15:50:24] 929*2^1424820-1 is not prime. Res64: 305DEF464C51A45E Time : 0.0 sec. user=mdettweiler [2016-03-30 15:50:25] 999*2^1424820-1 is not prime. Res64: 43F35236E20EBDF6 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:50:25] 625*2^1424821-1 is not prime. Res64: E32866049DA05DEA Time : 0.0 sec. user=mdettweiler [2016-03-30 15:50:26] 747*2^1424821-1 is not prime. Res64: 5ED44ED2DED3B8EB Time : 0.0 sec. user=mdettweiler [2016-03-30 15:50:26] 855*2^1424821-1 is not prime. Res64: 869C839AFBE18E82 Time : 0.0 sec. user=mdettweiler [2016-03-30 15:56:44] 833*2^1424824-1 is not prime. Res64: A89EF41A7A3F875E Time : 0.0 sec. user=mdettweiler [2016-03-30 16:05:20] 867*2^1424821-1 is not prime. Res64: BB79BD75FD3FEFA5 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:05:22] 877*2^1424821-1 is not prime. Res64: C9BBFC7DEAB634AC Time : 0.0 sec. user=mdettweiler [2016-03-30 16:05:23] 645*2^1424822-1 is not prime. Res64: F03E387D1CBD1D63 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:05:24] 651*2^1424822-1 is not prime. Res64: FEEF91913504B39B Time : 0.0 sec. user=mdettweiler [2016-03-30 16:05:25] 873*2^1424822-1 is not prime. Res64: C45B87132032ED86 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:15:43] 987*2^1424822-1 is not prime. Res64: 735895E7FE892361 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:15:43] 619*2^1424823-1 is not prime. Res64: 0FC2F2635BBC9C9A Time : 0.0 sec. user=mdettweiler [2016-03-30 16:15:44] 679*2^1424823-1 is not prime. Res64: 9141A06113004403 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:15:44] 745*2^1424823-1 is not prime. Res64: B2B4B76AD32ACF31 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:15:44] 879*2^1424823-1 is not prime. Res64: 3C8AF76155C6FC05 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:26:54] 943*2^1424823-1 is not prime. Res64: 329DAF401DEE4807 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:26:55] 615*2^1424824-1 is not prime. Res64: 6535CBB975472F42 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:26:55] 705*2^1424824-1 is not prime. Res64: EFBED1BDCDEDD9AA Time : 0.0 sec. user=mdettweiler [2016-03-30 16:26:56] 755*2^1424824-1 is not prime. Res64: C690CEDEA62711B0 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:26:56] 827*2^1424824-1 is not prime. Res64: F450903C6B34E89C Time : 0.0 sec. user=mdettweiler [2016-03-30 16:35:19] 843*2^1424824-1 is not prime. Res64: FB36EFBA363DDF98 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:35:19] 863*2^1424824-1 is not prime. Res64: 326ACD42617D9788 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:35:19] 899*2^1424824-1 is not prime. Res64: EBE28170749C18E8 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:35:20] 927*2^1424824-1 is not prime. Res64: E427A799807C5A36 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:35:20] 959*2^1424824-1 is not prime. Res64: D149881C7BD53CBB Time : 0.0 sec. user=mdettweiler [2016-03-30 16:50:54] 975*2^1424824-1 is not prime. Res64: 3AAA7BDACBB9F4E8 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:50:55] 983*2^1424824-1 is not prime. Res64: E193900D9AB8267B Time : 0.0 sec. user=mdettweiler [2016-03-30 16:50:55] 675*2^1424825-1 is not prime. Res64: 6940B7FF1EA480E2 Time : 0.0 sec. user=mdettweiler [2016-03-30 16:50:55] 741*2^1424825-1 is not prime. Res64: C2C79C877E35AA0C Time : 0.0 sec. user=mdettweiler [2016-03-30 16:50:56] 787*2^1424825-1 is not prime. Res64: 81222F86F71D9A2B Time : 0.0 sec. user=mdettweiler [2016-03-30 17:00:36] 855*2^1424825-1 is not prime. Res64: 3CA32E3EB1B94AF5 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:00:37] 889*2^1424825-1 is not prime. Res64: 83E0F5DE289D484D Time : 0.0 sec. user=mdettweiler [2016-03-30 17:00:38] 747*2^1424826-1 is not prime. Res64: 451664C0F7B91410 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:00:38] 755*2^1424826-1 is not prime. Res64: 5D9BD7EA22A8C7F9 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:00:39] 905*2^1424826-1 is not prime. Res64: 49BF75C5308B2D88 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:12:02] 945*2^1424826-1 is not prime. Res64: 38D7F8C6C348D3F9 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:12:02] 1001*2^1424826-1 is not prime. Res64: 7D29DBC44B830B2D Time : 0.0 sec. user=mdettweiler [2016-03-30 17:12:03] 603*2^1424827-1 is not prime. Res64: FA63DF9691A91031 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:12:03] 615*2^1424827-1 is not prime. Res64: 4CF3B3659514842D Time : 0.0 sec. user=mdettweiler [2016-03-30 17:12:04] 619*2^1424827-1 is not prime. Res64: 55DB0CCB07692669 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:20:11] 633*2^1424827-1 is not prime. Res64: CCDAB3A67CB65088 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:20:11] 645*2^1424827-1 is not prime. Res64: B3AF0D822C62D4E9 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:20:12] 663*2^1424827-1 is not prime. Res64: BA6D3D8B439CC208 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:20:12] 681*2^1424827-1 is not prime. Res64: 6CBF94F3B5CB0900 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:20:12] 693*2^1424827-1 is not prime. Res64: 6390BF9DCAD25A41 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:36:07] 759*2^1424827-1 is not prime. Res64: 59D40754198558BF Time : 0.0 sec. user=mdettweiler [2016-03-30 17:36:07] 819*2^1424827-1 is not prime. Res64: 94E75CE07E02CA0A Time : 0.0 sec. user=mdettweiler [2016-03-30 17:36:08] 973*2^1424827-1 is not prime. Res64: CA2FEC5F289C4F43 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:36:08] 999*2^1424827-1 is not prime. Res64: 43BB26D44A344464 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:36:08] 707*2^1424828-1 is not prime. Res64: 6D5DDFAB07D4DE36 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:45:37] 869*2^1424828-1 is not prime. Res64: 02566B9E38084285 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:45:37] 893*2^1424828-1 is not prime. Res64: 1C832DD4E89AC85E Time : 0.0 sec. user=mdettweiler [2016-03-30 17:45:38] 915*2^1424828-1 is not prime. Res64: 4264E5B1934E7E03 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:45:38] 957*2^1424828-1 is not prime. Res64: 984BE73C83840314 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:45:38] 959*2^1424828-1 is not prime. Res64: 0E35BC9606D5E77B Time : 0.0 sec. user=mdettweiler [2016-03-30 17:57:02] 999*2^1424828-1 is not prime. Res64: 1236373A85F2B406 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:57:03] 709*2^1424829-1 is not prime. Res64: 9AC6A22E3D30C5F2 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:57:03] 741*2^1424829-1 is not prime. Res64: B1E49C04EA0D43E4 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:57:04] 889*2^1424829-1 is not prime. Res64: BE82991D741BAA02 Time : 0.0 sec. user=mdettweiler [2016-03-30 17:57:04] 975*2^1424829-1 is not prime. Res64: 189C4EC8A422C33F Time : 0.0 sec. user=mdettweiler [2016-03-30 18:05:14] 657*2^1424830-1 is not prime. Res64: 9A4F28DD05ECE073 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:05:16] 717*2^1424830-1 is not prime. Res64: CDB34A993CC1EF53 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:05:18] 831*2^1424830-1 is not prime. Res64: C4D9202D734F62AB Time : 0.0 sec. user=mdettweiler [2016-03-30 18:05:19] 845*2^1424830-1 is not prime. Res64: 0B090866DC1F3A6A Time : 0.0 sec. user=mdettweiler [2016-03-30 18:05:20] 873*2^1424830-1 is not prime. Res64: 7BA171ABF01272D3 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:21:09] 619*2^1424831-1 is not prime. Res64: 0D0F3D10949AE304 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:21:10] 693*2^1424831-1 is not prime. Res64: D55565792BF5FBEC Time : 0.0 sec. user=mdettweiler [2016-03-30 18:21:10] 705*2^1424831-1 is not prime. Res64: 2BC548A57B316263 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:21:10] 759*2^1424831-1 is not prime. Res64: 86DC1CB410BD92A1 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:21:11] 879*2^1424831-1 is not prime. Res64: 8E9A6B0A01E5578E Time : 0.0 sec. user=mdettweiler [2016-03-30 18:30:32] 913*2^1424831-1 is not prime. Res64: C25262228645B4F5 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:30:33] 635*2^1424832-1 is not prime. Res64: BBE2469E47C8066E Time : 0.0 sec. user=mdettweiler [2016-03-30 18:30:33] 737*2^1424832-1 is not prime. Res64: B8031900E25B243F Time : 0.0 sec. user=mdettweiler [2016-03-30 18:30:33] 797*2^1424832-1 is not prime. Res64: 83F818ACC13FF12A Time : 0.0 sec. user=mdettweiler [2016-03-30 18:30:34] 863*2^1424832-1 is not prime. Res64: 236F77F9F0F3E5A0 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:42:00] 899*2^1424832-1 is not prime. Res64: 344E5A7E68E19891 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:42:00] 959*2^1424832-1 is not prime. Res64: 3176DC269E462DA1 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:42:00] 651*2^1424833-1 is not prime. Res64: 1856FCADF126EE45 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:42:01] 729*2^1424833-1 is not prime. Res64: 4802A61F55CFF97E Time : 0.0 sec. user=mdettweiler [2016-03-30 18:42:01] 747*2^1424833-1 is not prime. Res64: 0AB16C1272AD79A9 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:50:20] 765*2^1424833-1 is not prime. Res64: 4F4E333C1F4D9F40 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:50:20] 817*2^1424833-1 is not prime. Res64: 07B7FE8754FE9083 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:50:20] 819*2^1424833-1 is not prime. Res64: 4E28DD26B99C034A Time : 0.0 sec. user=mdettweiler [2016-03-30 18:50:21] 847*2^1424833-1 is not prime. Res64: 831DBB264B7A2FC9 Time : 0.0 sec. user=mdettweiler [2016-03-30 18:50:21] 939*2^1424833-1 is not prime. Res64: 3BC536FE4E81B64D Time : 0.0 sec. user=mdettweiler [2016-03-30 19:06:09] 651*2^1424834-1 is not prime. Res64: 8F123A70EC82C9BC Time : 0.0 sec. user=mdettweiler [2016-03-30 19:06:11] 677*2^1424834-1 is not prime. Res64: 092DD735EC094D36 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:06:12] 683*2^1424834-1 is not prime. Res64: BE75AC925A186A82 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:06:14] 783*2^1424834-1 is not prime. Res64: A4557ACD35FB0C04 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:06:15] 837*2^1424834-1 is not prime. Res64: 7914CC25DFDA04E5 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:15:14] 921*2^1424834-1 is not prime. Res64: C58BF3B41A5EF018 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:15:15] 923*2^1424834-1 is not prime. Res64: 182132C59C2001E8 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:15:15] 601*2^1424835-1 is not prime. Res64: 7045E01C33B2ECD3 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:15:15] 651*2^1424835-1 is not prime. Res64: CC8F128E945FBAE6 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:15:16] 699*2^1424835-1 is not prime. Res64: F99F1C33EA8CF4D3 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:26:51] 781*2^1424835-1 is not prime. Res64: 7E8C1BCB2D3C86A4 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:26:51] 783*2^1424835-1 is not prime. Res64: C5E6DDCBE1E79FE0 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:26:52] 825*2^1424835-1 is not prime. Res64: 1CFC196ED44C24B9 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:26:52] 895*2^1424835-1 is not prime. Res64: 227B29184F05773A Time : 0.0 sec. user=mdettweiler [2016-03-30 19:26:53] 955*2^1424835-1 is not prime. Res64: E0448E165ABFFFFB Time : 0.0 sec. user=mdettweiler [2016-03-30 19:27:54] 713*2^1424838-1 is not prime. Res64: BA36D898D1642E48 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:35:12] 963*2^1424835-1 is not prime. Res64: 5EF7F3D8406CBD13 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:35:13] 615*2^1424836-1 is not prime. Res64: 34B27F5422A21B80 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:35:13] 629*2^1424836-1 is not prime. Res64: 5C18328D50B153AF Time : 0.0 sec. user=mdettweiler [2016-03-30 19:35:13] 803*2^1424836-1 is not prime. Res64: 93C338471C8AF98B Time : 0.0 sec. user=mdettweiler [2016-03-30 19:35:14] 869*2^1424836-1 is not prime. Res64: 11771F5F659FA370 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:51:28] 923*2^1424836-1 is not prime. Res64: 5A20FAAC978977A0 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:51:29] 957*2^1424836-1 is not prime. Res64: 5E61B76E4DDAE528 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:51:29] 999*2^1424836-1 is not prime. Res64: 8835BFFC52927C8D Time : 0.0 sec. user=mdettweiler [2016-03-30 19:51:29] 631*2^1424837-1 is not prime. Res64: 73AF053498D4E0DF Time : 0.0 sec. user=mdettweiler [2016-03-30 19:51:30] 655*2^1424837-1 is not prime. Res64: 07D1EE3A88CDE96E Time : 0.0 sec. user=mdettweiler [2016-03-30 19:59:44] 771*2^1424837-1 is not prime. Res64: 9AB3D810D9BAFE27 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:59:45] 799*2^1424837-1 is not prime. Res64: 3449991163AB66BC Time : 0.0 sec. user=mdettweiler [2016-03-30 19:59:45] 861*2^1424837-1 is not prime. Res64: DAFF25F2EC9675C5 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:59:46] 937*2^1424837-1 is not prime. Res64: 8F614946EB2E73B4 Time : 0.0 sec. user=mdettweiler [2016-03-30 19:59:46] 605*2^1424838-1 is not prime. Res64: 662EB1F96CF089AC Time : 0.0 sec. user=mdettweiler [2016-03-30 20:12:00] 755*2^1424838-1 is not prime. Res64: 5AEFA918DB43606C Time : 0.0 sec. user=mdettweiler [2016-03-30 20:12:01] 609*2^1424839-1 is not prime. Res64: E42032773C0CA201 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:12:01] 639*2^1424839-1 is not prime. Res64: 82FA2CC06DD606BA Time : 0.0 sec. user=mdettweiler [2016-03-30 20:12:02] 885*2^1424839-1 is not prime. Res64: DDD25E3CC6EE4A78 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:12:02] 663*2^1424840-1 is not prime. Res64: 5772C54F09396350 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:20:14] 753*2^1424840-1 is not prime. Res64: A4381CC3205AF3B7 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:20:14] 845*2^1424840-1 is not prime. Res64: A16F286E97F6DCB3 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:20:14] 927*2^1424840-1 is not prime. Res64: F81F7B439815C20D Time : 0.0 sec. user=mdettweiler [2016-03-30 20:20:15] 649*2^1424841-1 is not prime. Res64: 29BD3490D3115D56 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:20:15] 705*2^1424841-1 is not prime. Res64: 5D4F176367A4C504 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:36:38] 741*2^1424841-1 is not prime. Res64: DFBFA4EDF23EFF47 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:36:39] 877*2^1424841-1 is not prime. Res64: 7DBC5C0AAFEFC3E9 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:36:39] 907*2^1424841-1 is not prime. Res64: BFB345CFC682F550 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:36:39] 623*2^1424842-1 is not prime. Res64: B0F6280793B83419 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:36:40] 665*2^1424842-1 is not prime. Res64: 94D729F71B594A46 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:44:44] 677*2^1424842-1 is not prime. Res64: 14351AB29F079A3B Time : 0.0 sec. user=mdettweiler [2016-03-30 20:44:44] 813*2^1424842-1 is not prime. Res64: 16CACDA6259AECD8 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:44:45] 981*2^1424842-1 is not prime. Res64: 7DF3177A713DA7F6 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:44:45] 983*2^1424842-1 is not prime. Res64: 25A19B3AEC8D4D88 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:44:45] 699*2^1424843-1 is not prime. Res64: FCF5E022E8915704 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:57:04] 715*2^1424843-1 is not prime. Res64: 9E252B7BF0E138C7 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:57:05] 783*2^1424843-1 is not prime. Res64: 922CF3D9A1166285 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:57:05] 939*2^1424843-1 is not prime. Res64: 88721FDB1A1081D2 Time : 0.0 sec. user=mdettweiler [2016-03-30 20:57:06] 943*2^1424843-1 is not prime. Res64: 90004AF88A60BCBE Time : 0.0 sec. user=mdettweiler [2016-03-30 20:57:06] 683*2^1424844-1 is not prime. Res64: 9FB770D29D7237AC Time : 0.0 sec. user=mdettweiler [2016-03-30 21:05:08] 843*2^1424844-1 is not prime. Res64: 9B2153EED6C8027C Time : 0.0 sec. user=mdettweiler [2016-03-30 21:05:10] 857*2^1424844-1 is not prime. Res64: D0E68CA942D62092 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:05:12] 905*2^1424844-1 is not prime. Res64: B120AD1F9C5FBDC2 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:05:13] 661*2^1424845-1 is not prime. Res64: DB354D82465233C2 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:05:15] 715*2^1424845-1 is not prime. Res64: B7AC915A1C3CB13C Time : 0.0 sec. user=mdettweiler [2016-03-30 21:21:29] 729*2^1424845-1 is not prime. Res64: 1833C542FDD23658 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:21:30] 775*2^1424845-1 is not prime. Res64: CA57E72B52E06A2F Time : 0.0 sec. user=mdettweiler [2016-03-30 21:21:30] 871*2^1424845-1 is not prime. Res64: C19DEADA204B692B Time : 0.0 sec. user=mdettweiler [2016-03-30 21:21:31] 897*2^1424845-1 is not prime. Res64: E776A2C3C66F5A42 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:21:31] 741*2^1424846-1 is not prime. Res64: 19947BAEDC1F30CC Time : 0.0 sec. user=mdettweiler [2016-03-30 21:29:36] 743*2^1424846-1 is not prime. Res64: 51B0B7CE41D09F8E Time : 0.0 sec. user=mdettweiler [2016-03-30 21:29:37] 887*2^1424846-1 is not prime. Res64: 11979D0E518ECDFE Time : 0.0 sec. user=mdettweiler [2016-03-30 21:29:37] 923*2^1424846-1 is not prime. Res64: 40CB28C51DF48221 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:29:38] 625*2^1424847-1 is not prime. Res64: 69E7BBA504C445D2 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:29:38] 661*2^1424847-1 is not prime. Res64: A64EB0305561C182 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:41:56] 675*2^1424847-1 is not prime. Res64: FF818584C0C8F050 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:41:56] 711*2^1424847-1 is not prime. Res64: 283A9BF8BB3BFCA8 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:41:57] 819*2^1424847-1 is not prime. Res64: BB19278AD264BDD5 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:41:57] 861*2^1424847-1 is not prime. Res64: 176B161F6B4FB240 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:41:57] 871*2^1424847-1 is not prime. Res64: B6C9CDEF71C0E189 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:50:07] 885*2^1424847-1 is not prime. Res64: B059C9488274192B Time : 0.0 sec. user=mdettweiler [2016-03-30 21:50:07] 645*2^1424848-1 is not prime. Res64: 0615E6F92E037152 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:50:08] 723*2^1424848-1 is not prime. Res64: 2FEF9A9B3000CB83 Time : 0.0 sec. user=mdettweiler [2016-03-30 21:50:08] 849*2^1424848-1 is not prime. Res64: A1E4E45109A4E1FE Time : 0.0 sec. user=mdettweiler [2016-03-30 21:50:09] 929*2^1424848-1 is not prime. Res64: 8FB4B98A55D4A0ED Time : 0.0 sec. user=mdettweiler [2016-03-30 22:06:29] 771*2^1424849-1 is not prime. Res64: 1E79C55F3D957C42 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:06:30] 841*2^1424849-1 is not prime. Res64: 541CA8F0963221DF Time : 0.0 sec. user=mdettweiler [2016-03-30 22:06:31] 885*2^1424849-1 is not prime. Res64: BE60C90A61E5C88E Time : 0.0 sec. user=mdettweiler [2016-03-30 22:06:32] 949*2^1424849-1 is not prime. Res64: 0E4CFC6CDAD393A1 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:06:33] 979*2^1424849-1 is not prime. Res64: 2B1DDEDB5FD62BFA Time : 0.0 sec. user=mdettweiler [2016-03-30 22:14:17] 647*2^1424850-1 is not prime. Res64: 26221B0BF28EC82C Time : 0.0 sec. user=mdettweiler [2016-03-30 22:14:17] 653*2^1424850-1 is not prime. Res64: 82D7674A8E9B9B69 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:14:18] 765*2^1424850-1 is not prime. Res64: C2216973A64964B4 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:14:18] 803*2^1424850-1 is not prime. Res64: E8A9E5E9D3C54720 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:14:18] 873*2^1424850-1 is not prime. Res64: 723AB72389C1A02D Time : 0.0 sec. user=mdettweiler [2016-03-30 22:26:53] 651*2^1424851-1 is not prime. Res64: 9AE44916A9A53737 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:26:53] 693*2^1424851-1 is not prime. Res64: EE4FA98DC4E462C4 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:26:53] 771*2^1424851-1 is not prime. Res64: E9F32151D5955725 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:26:53] 805*2^1424851-1 is not prime. Res64: 2302CF38A8E55B2F Time : 0.0 sec. user=mdettweiler [2016-03-30 22:26:54] 975*2^1424851-1 is not prime. Res64: 4F0C26EA2EF01F94 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:35:05] 605*2^1424852-1 is not prime. Res64: 74A684DE78A91D25 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:35:06] 693*2^1424852-1 is not prime. Res64: 81E28C93427329F0 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:35:06] 719*2^1424852-1 is not prime. Res64: B1ED2FCC5B0E7505 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:35:06] 749*2^1424852-1 is not prime. Res64: 489E42B36D3604BA Time : 0.0 sec. user=mdettweiler [2016-03-30 22:35:07] 753*2^1424852-1 is not prime. Res64: C86CCAC2D6FD2534 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:51:40] 625*2^1424853-1 is not prime. Res64: 5F0B040FF28B9878 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:51:41] 639*2^1424853-1 is not prime. Res64: 9732C0183038B2BF Time : 0.0 sec. user=mdettweiler [2016-03-30 22:51:41] 747*2^1424853-1 is not prime. Res64: 8BA1BFC2A08D6405 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:51:41] 787*2^1424853-1 is not prime. Res64: 3A784F04857E1406 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:51:41] 837*2^1424853-1 is not prime. Res64: E5F5E4C779014823 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:59:03] 891*2^1424853-1 is not prime. Res64: 02DDAF45987C1DDB Time : 0.0 sec. user=mdettweiler [2016-03-30 22:59:04] 999*2^1424853-1 is not prime. Res64: 96975A82BF480FC2 Time : 0.0 sec. user=mdettweiler [2016-03-30 22:59:04] 717*2^1424854-1 is not prime. Res64: 805FDC93142FD02F Time : 0.0 sec. user=mdettweiler [2016-03-30 22:59:04] 747*2^1424854-1 is not prime. Res64: 4E04A301787D8A7C Time : 0.0 sec. user=mdettweiler [2016-03-30 22:59:04] 783*2^1424854-1 is not prime. Res64: C094B2377BC23A62 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:11:44] 791*2^1424854-1 is not prime. Res64: 23AC64B8F5280EF9 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:11:44] 815*2^1424854-1 is not prime. Res64: 2AF1F92D5EDF6A47 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:11:45] 825*2^1424854-1 is not prime. Res64: E4531EB94E843BE4 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:11:45] 915*2^1424854-1 is not prime. Res64: E0501F793A642594 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:11:45] 923*2^1424854-1 is not prime. Res64: BFB165A579A4E953 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:19:52] 987*2^1424854-1 is not prime. Res64: 06E2E593BB20811E Time : 0.0 sec. user=mdettweiler [2016-03-30 23:19:53] 619*2^1424855-1 is not prime. Res64: 2A4AAF5BAF964EDF Time : 0.0 sec. user=mdettweiler [2016-03-30 23:19:53] 781*2^1424855-1 is not prime. Res64: 08CD8BFEE7E3D40C Time : 0.0 sec. user=mdettweiler [2016-03-30 23:19:53] 843*2^1424855-1 is not prime. Res64: 2C3E7CDB184F8CB4 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:19:53] 609*2^1424856-1 is not prime. Res64: 7FA8ED2DC03060A1 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:36:34] 669*2^1424856-1 is not prime. Res64: 7AAB13E055613F48 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:36:34] 725*2^1424856-1 is not prime. Res64: DDC0427B5BBA154C Time : 0.0 sec. user=mdettweiler [2016-03-30 23:36:34] 747*2^1424856-1 is not prime. Res64: F4B044D144104ACE Time : 0.0 sec. user=mdettweiler [2016-03-30 23:36:35] 779*2^1424856-1 is not prime. Res64: E5F8FBF04B970215 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:36:35] 899*2^1424856-1 is not prime. Res64: 104B4CD83DC4738A Time : 0.0 sec. user=mdettweiler [2016-03-30 23:43:50] 645*2^1424857-1 is not prime. Res64: 2EFFEE4F03BDF274 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:43:51] 675*2^1424857-1 is not prime. Res64: 631F748F92D10BE8 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:43:51] 691*2^1424857-1 is not prime. Res64: 7781A7A107062CD8 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:43:51] 741*2^1424857-1 is not prime. Res64: 86D266430D55D594 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:43:52] 805*2^1424857-1 is not prime. Res64: BCCA33F3C20AB16A Time : 0.0 sec. user=mdettweiler [2016-03-30 23:56:31] 641*2^1424858-1 is not prime. Res64: AB8801D4BA5C0CC1 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:56:31] 657*2^1424858-1 is not prime. Res64: 8CAA5BFBBEB6AD2B Time : 0.0 sec. user=mdettweiler [2016-03-30 23:56:32] 753*2^1424858-1 is not prime. Res64: 210F104A3AAB253D Time : 0.0 sec. user=mdettweiler [2016-03-30 23:56:32] 825*2^1424858-1 is not prime. Res64: 438724F1EB7D4B16 Time : 0.0 sec. user=mdettweiler [2016-03-30 23:56:32] 861*2^1424858-1 is not prime. Res64: 47ED8DB3F084A1B3 Time : 0.0 sec.