user=mdettweiler [2015-08-29 00:03:31] 789*2^1407663-1 is not prime. Res64: AFD3813F64AAFC21 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:03:32] 819*2^1407663-1 is not prime. Res64: 4A8AF08118DC2ABA Time : 0.0 sec. user=mdettweiler [2015-08-29 00:03:56] 885*2^1407663-1 is not prime. Res64: 029199EED2733DAE Time : 0.0 sec. user=mdettweiler [2015-08-29 00:03:57] 895*2^1407663-1 is not prime. Res64: 567EBC340FF37DE9 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:03:58] 963*2^1407663-1 is not prime. Res64: 0C4EAA3A41ACFE32 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:03:59] 755*2^1407664-1 is not prime. Res64: 21D2B66FD42F6ED1 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:05:29] 849*2^1407664-1 is not prime. Res64: 2FD8384E179BB495 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:05:30] 909*2^1407664-1 is not prime. Res64: 4985A8F23716E180 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:21:15] 917*2^1407664-1 is not prime. Res64: 17BCC8FADA2F95FD Time : 0.0 sec. user=mdettweiler [2015-08-29 00:21:17] 947*2^1407664-1 is not prime. Res64: E0DD4E66BFBBB00C Time : 0.0 sec. user=mdettweiler [2015-08-29 00:21:33] 711*2^1407666-1 is not prime. Res64: 4B6C9E392BA64057 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:21:34] 755*2^1407666-1 is not prime. Res64: ED9506FAE757F77A Time : 0.0 sec. user=mdettweiler [2015-08-29 00:21:35] 985*2^1407665-1 is not prime. Res64: 4FD6D3AE40BB34D3 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:21:36] 641*2^1407666-1 is not prime. Res64: DB227B785CAD8FA1 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:23:11] 833*2^1407666-1 is not prime. Res64: A1C06A65CF216643 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:23:12] 893*2^1407666-1 is not prime. Res64: B216C2DBDDE5D034 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:38:58] 975*2^1407666-1 is not prime. Res64: 2858D58F00DF34CB Time : 0.0 sec. user=mdettweiler [2015-08-29 00:38:59] 639*2^1407667-1 is not prime. Res64: F16FF46693C0684B Time : 0.0 sec. user=mdettweiler [2015-08-29 00:39:17] 741*2^1407667-1 is not prime. Res64: 4E405B2159F22D5D Time : 0.0 sec. user=mdettweiler [2015-08-29 00:39:17] 759*2^1407667-1 is not prime. Res64: 5552E69E6BCC5361 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:39:18] 775*2^1407667-1 is not prime. Res64: DCE8AC6F41F95DB9 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:39:18] 945*2^1407667-1 is not prime. Res64: DEE4C73D54A36768 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:40:50] 635*2^1407668-1 is not prime. Res64: 1E460D68806D2289 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:40:51] 749*2^1407668-1 is not prime. Res64: 58B842C6C465B52C Time : 0.0 sec. user=mdettweiler [2015-08-29 00:56:34] 935*2^1407668-1 is not prime. Res64: B2656C7061EDFAFD Time : 0.0 sec. user=mdettweiler [2015-08-29 00:56:34] 751*2^1407669-1 is not prime. Res64: AE237AFB65386821 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:56:56] 895*2^1407669-1 is not prime. Res64: BA21D8EEE2F591F5 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:56:56] 951*2^1407669-1 is not prime. Res64: 7771D85002EA8C7F Time : 0.0 sec. user=mdettweiler [2015-08-29 00:57:00] 831*2^1407669-1 is not prime. Res64: A80ECF4F284680E7 Time : 0.0 sec. user=mdettweiler [2015-08-29 00:57:00] 877*2^1407669-1 is not prime. Res64: CAECA3826802DFDD Time : 0.0 sec. user=mdettweiler [2015-08-29 00:58:30] 605*2^1407670-1 is not prime. Res64: 339E9B4CE9FE20BC Time : 0.0 sec. user=mdettweiler [2015-08-29 00:58:30] 647*2^1407670-1 is not prime. Res64: 6EA0A02537DE6BFE Time : 0.0 sec. user=mdettweiler [2015-08-29 01:14:17] 687*2^1407670-1 is not prime. Res64: EBC571556CD1AE17 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:14:18] 731*2^1407670-1 is not prime. Res64: 4BB54452F26F7B15 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:14:41] 773*2^1407670-1 is not prime. Res64: FF9405410366D982 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:14:42] 827*2^1407670-1 is not prime. Res64: 36815C31F2040C88 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:14:44] 843*2^1407670-1 is not prime. Res64: 983734EFD92567A6 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:14:44] 933*2^1407670-1 is not prime. Res64: 942C762C7F1FEA28 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:16:14] 945*2^1407670-1 is not prime. Res64: ACAC82ECE83B52FF Time : 0.0 sec. user=mdettweiler [2015-08-29 01:16:14] 971*2^1407670-1 is not prime. Res64: AE6A939A66B440C6 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:32:03] 603*2^1407671-1 is not prime. Res64: C36441AFD6ACA910 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:32:04] 609*2^1407671-1 is not prime. Res64: 039321CC4AC40830 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:32:27] 813*2^1407671-1 is not prime. Res64: 405919E2E6ADED44 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:32:28] 823*2^1407671-1 is not prime. Res64: D9A87452A3670112 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:32:32] 693*2^1407671-1 is not prime. Res64: 42B7A462F6B70C27 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:32:32] 763*2^1407671-1 is not prime. Res64: 4BEB9035339CC54A Time : 0.0 sec. user=mdettweiler [2015-08-29 01:34:00] 829*2^1407671-1 is not prime. Res64: AE6F4A1348170026 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:34:01] 879*2^1407671-1 is not prime. Res64: 7C39A16F2E00EE63 Time : 0.0 sec. user=S_K_ [2015-08-29 01:45:35] 779*2^1407660-1 is not prime. Res64: C400C65AF41127C6 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:49:41] 993*2^1407671-1 is not prime. Res64: 99CAA21C7942160B Time : 0.0 sec. user=mdettweiler [2015-08-29 01:49:42] 669*2^1407672-1 is not prime. Res64: 107212EC00AB154E Time : 0.0 sec. user=mdettweiler [2015-08-29 01:50:07] 803*2^1407672-1 is not prime. Res64: 8C123BC1B7E1B519 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:50:07] 923*2^1407672-1 is not prime. Res64: 6AD575C310E37D3F Time : 0.0 sec. user=mdettweiler [2015-08-29 01:50:08] 935*2^1407672-1 is not prime. Res64: FC298BB633BEE23B Time : 0.0 sec. user=mdettweiler [2015-08-29 01:50:08] 959*2^1407672-1 is not prime. Res64: 904040BC2246EE78 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:51:48] 639*2^1407673-1 is not prime. Res64: F4D81FD051C80FB7 Time : 0.0 sec. user=mdettweiler [2015-08-29 01:51:48] 765*2^1407673-1 is not prime. Res64: C0033F11F15B2734 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:07:33] 847*2^1407673-1 is not prime. Res64: EC8499EAEAE3A0B7 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:07:33] 645*2^1407674-1 is not prime. Res64: 6BA59A7C0B7340B7 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:07:48] 941*2^1407674-1 is not prime. Res64: C20EE8275E6E23D4 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:07:48] 951*2^1407674-1 is not prime. Res64: 9E6FE0EC76336E0C Time : 0.0 sec. user=mdettweiler [2015-08-29 02:07:51] 665*2^1407674-1 is not prime. Res64: 93017FA2508021C4 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:07:51] 797*2^1407674-1 is not prime. Res64: D927B7C8F419127B Time : 0.0 sec. user=mdettweiler [2015-08-29 02:09:28] 675*2^1407675-1 is not prime. Res64: C7988AF440B2DB24 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:09:28] 679*2^1407675-1 is not prime. Res64: 64D8FA5D309C9A09 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:25:24] 979*2^1407675-1 is not prime. Res64: FC16B12AA0C20E55 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:25:25] 999*2^1407675-1 is not prime. Res64: F08910B5A4186BFB Time : 0.0 sec. user=mdettweiler [2015-08-29 02:25:25] 709*2^1407675-1 is not prime. Res64: 5C5327ED6F6892FD Time : 0.0 sec. user=mdettweiler [2015-08-29 02:25:25] 711*2^1407675-1 is not prime. Res64: 120B98CF69122C93 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:25:40] 793*2^1407675-1 is not prime. Res64: 29622FBC63D7BDDA Time : 0.0 sec. user=mdettweiler [2015-08-29 02:25:40] 795*2^1407675-1 is not prime. Res64: 2AA9610C8DE2C3C1 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:27:10] 617*2^1407676-1 is not prime. Res64: 1F9374BEF3324CDE Time : 0.0 sec. user=mdettweiler [2015-08-29 02:27:11] 845*2^1407676-1 is not prime. Res64: AF002AE70AE166B1 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:43:02] 903*2^1407676-1 is not prime. Res64: 4E1224DC5DB14C5F Time : 0.0 sec. user=mdettweiler [2015-08-29 02:43:02] 927*2^1407676-1 is not prime. Res64: 6FF89559542F9262 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:43:14] 933*2^1407676-1 is not prime. Res64: ED788E95B68A906B Time : 0.0 sec. user=mdettweiler [2015-08-29 02:43:14] 715*2^1407677-1 is not prime. Res64: 3B3B18B42AE91F86 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:43:24] 759*2^1407677-1 is not prime. Res64: A5CF53F733A3F718 Time : 0.0 sec. user=mdettweiler [2015-08-29 02:43:24] 837*2^1407677-1 is not prime. Res64: D0C99641B3C64A1E Time : 0.0 sec. user=mdettweiler [2015-08-29 02:44:49] 847*2^1407677-1 is not prime. Res64: BA97436BB9E5484C Time : 0.0 sec. user=mdettweiler [2015-08-29 02:44:49] 901*2^1407677-1 is not prime. Res64: 2D3156F1F0D85346 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:00:37] 937*2^1407677-1 is not prime. Res64: 452B32D2428000ED Time : 0.0 sec. user=mdettweiler [2015-08-29 03:00:38] 693*2^1407678-1 is not prime. Res64: 0D5347AF14DD7CC9 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:00:52] 615*2^1407679-1 is not prime. Res64: 13E6981023F69815 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:00:53] 639*2^1407679-1 is not prime. Res64: 309AE80E04A334D4 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:01:00] 675*2^1407679-1 is not prime. Res64: 117B480B31D1ACB6 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:01:01] 681*2^1407679-1 is not prime. Res64: D6CEBB892275B74F Time : 0.0 sec. user=mdettweiler [2015-08-29 03:02:28] 685*2^1407679-1 is not prime. Res64: ED5B2FA182C0076D Time : 0.0 sec. user=mdettweiler [2015-08-29 03:02:28] 693*2^1407679-1 is not prime. Res64: EE5A6AB3BC816B4A Time : 0.0 sec. user=mdettweiler [2015-08-29 03:18:26] 705*2^1407679-1 is not prime. Res64: D882E507CB23336B Time : 0.0 sec. user=mdettweiler [2015-08-29 03:18:26] 853*2^1407679-1 is not prime. Res64: 518E43192B4CA824 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:18:40] 873*2^1407679-1 is not prime. Res64: 307BEBF65E6FAB71 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:18:40] 919*2^1407679-1 is not prime. Res64: 9B7EB6A95AA33EEC Time : 0.0 sec. user=mdettweiler [2015-08-29 03:18:57] 785*2^1407680-1 is not prime. Res64: 606198DAA4CF4B9E Time : 0.0 sec. user=mdettweiler [2015-08-29 03:18:58] 827*2^1407680-1 is not prime. Res64: E0337DA81458BBE2 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:20:17] 977*2^1407680-1 is not prime. Res64: 5195EAE104C2B308 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:20:17] 711*2^1407681-1 is not prime. Res64: 658B43634433B7F8 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:36:09] 745*2^1407681-1 is not prime. Res64: BAF9B0872F046A90 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:36:10] 861*2^1407681-1 is not prime. Res64: A597546B6FB1BBDA Time : 0.0 sec. user=mdettweiler [2015-08-29 03:36:16] 885*2^1407681-1 is not prime. Res64: 4DAA1C4CF1E26E4D Time : 0.0 sec. user=mdettweiler [2015-08-29 03:36:17] 909*2^1407681-1 is not prime. Res64: 04D19BA96851E8BE Time : 0.0 sec. user=mdettweiler [2015-08-29 03:36:46] 979*2^1407681-1 is not prime. Res64: 970C97B1C0A2025A Time : 0.0 sec. user=mdettweiler [2015-08-29 03:36:47] 657*2^1407682-1 is not prime. Res64: 791FA23665B7C399 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:38:00] 777*2^1407682-1 is not prime. Res64: EE28CEB341A9D75D Time : 0.0 sec. user=mdettweiler [2015-08-29 03:38:01] 813*2^1407682-1 is not prime. Res64: C86B4EF20D72DD2C Time : 0.0 sec. user=mdettweiler [2015-08-29 03:54:12] 781*2^1407683-1 is not prime. Res64: AAAC93DC68932660 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:54:13] 843*2^1407682-1 is not prime. Res64: 793FCF9D0D07CDAA Time : 0.0 sec. user=mdettweiler [2015-08-29 03:54:13] 801*2^1407683-1 is not prime. Res64: FC2ACA84D57559E4 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:54:13] 945*2^1407682-1 is not prime. Res64: A0C2EB7206EE97A2 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:54:39] 885*2^1407683-1 is not prime. Res64: A4357B0D78FB21D2 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:54:39] 889*2^1407683-1 is not prime. Res64: C34BAB282F55E9C1 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:56:00] 915*2^1407683-1 is not prime. Res64: A409A8F228778A99 Time : 0.0 sec. user=mdettweiler [2015-08-29 03:56:00] 955*2^1407683-1 is not prime. Res64: E4979984239B8F3E Time : 0.0 sec. user=mdettweiler [2015-08-29 04:11:57] 717*2^1407684-1 is not prime. Res64: 1E1D699F665BBE61 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:11:58] 723*2^1407684-1 is not prime. Res64: 67990A22DEE82A4A Time : 0.0 sec. user=mdettweiler [2015-08-29 04:12:00] 981*2^1407683-1 is not prime. Res64: 6580765D82D5D395 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:12:00] 999*2^1407683-1 is not prime. Res64: 903558C1FE67F285 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:12:29] 725*2^1407684-1 is not prime. Res64: 80A496CD3F0A406F Time : 0.0 sec. user=mdettweiler [2015-08-29 04:12:29] 619*2^1407685-1 is not prime. Res64: 6232FE3131F26414 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:13:44] 661*2^1407685-1 is not prime. Res64: 551BBAE847FD3B12 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:13:45] 679*2^1407685-1 is not prime. Res64: 50768BB020096F39 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:29:33] 895*2^1407685-1 is not prime. Res64: C22842FF3EF6120C Time : 0.0 sec. user=mdettweiler [2015-08-29 04:29:34] 645*2^1407686-1 is not prime. Res64: C3A7586C0B8E38F9 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:29:37] 813*2^1407686-1 is not prime. Res64: 1AABEDB73F1C5EA6 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:29:37] 843*2^1407686-1 is not prime. Res64: 1619AA5DD3AC0437 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:30:05] 911*2^1407686-1 is not prime. Res64: EC78FD6B158DE08A Time : 0.0 sec. user=mdettweiler [2015-08-29 04:30:05] 993*2^1407686-1 is not prime. Res64: 0088BA6BB8AC193F Time : 0.0 sec. user=mdettweiler [2015-08-29 04:31:26] 601*2^1407687-1 is not prime. Res64: 064EBA8264AEA66B Time : 0.0 sec. user=mdettweiler [2015-08-29 04:31:27] 661*2^1407687-1 is not prime. Res64: 9A402E221BF1EEE3 Time : 0.0 sec. user=S_K_ [2015-08-29 04:31:41] 821*2^1407682-1 is not prime. Res64: 64CE8AFD723BA6BF Time : 0.0 sec. user=mdettweiler [2015-08-29 04:47:14] 741*2^1407687-1 is not prime. Res64: 47B42E9656094E60 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:47:15] 951*2^1407687-1 is not prime. Res64: 91701BD43CDAE1E0 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:47:15] 669*2^1407687-1 is not prime. Res64: DC89FC21520C8C84 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:47:16] 685*2^1407687-1 is not prime. Res64: ED80E6841D27C365 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:47:46] 961*2^1407687-1 is not prime. Res64: 8C4B0D63FBDA6332 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:47:47] 979*2^1407687-1 is not prime. Res64: 4400D98C3A1F59D3 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:49:10] 605*2^1407688-1 is not prime. Res64: 70B0D1FCC922EEF7 Time : 0.0 sec. user=mdettweiler [2015-08-29 04:49:10] 663*2^1407688-1 is not prime. Res64: 6ADB26A0188EEDCF Time : 0.0 sec. user=mdettweiler [2015-08-29 05:04:51] 687*2^1407688-1 is not prime. Res64: 4FC6992F8526C314 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:04:53] 875*2^1407688-1 is not prime. Res64: EC7B81033F20EBB7 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:04:54] 695*2^1407688-1 is not prime. Res64: B133BA4360E79229 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:04:55] 989*2^1407688-1 is not prime. Res64: 3120844248A35051 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:05:24] 601*2^1407689-1 is not prime. Res64: 0B43F7502B3D30ED Time : 0.0 sec. user=mdettweiler [2015-08-29 05:05:25] 771*2^1407689-1 is not prime. Res64: F0AFDA721BD2EE66 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:06:45] 795*2^1407689-1 is not prime. Res64: 83BDC5C16A1129E3 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:06:47] 847*2^1407689-1 is not prime. Res64: 7FA8CF99D21ECCBB Time : 0.0 sec. user=mdettweiler [2015-08-29 05:22:55] 861*2^1407689-1 is not prime. Res64: EB6F5EF219477E7D Time : 0.0 sec. user=mdettweiler [2015-08-29 05:22:55] 931*2^1407689-1 is not prime. Res64: E7E688DD21403CA0 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:22:56] 677*2^1407690-1 is not prime. Res64: C50AE9CDA3BBC249 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:22:56] 711*2^1407690-1 is not prime. Res64: 1579F9E484C6FA98 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:23:11] 713*2^1407690-1 is not prime. Res64: 15AB34259331C991 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:23:12] 797*2^1407690-1 is not prime. Res64: 7727EBD57E1D5944 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:24:34] 893*2^1407690-1 is not prime. Res64: 47AEE2F23A758206 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:24:34] 915*2^1407690-1 is not prime. Res64: A88163763541068C Time : 0.0 sec. user=mdettweiler [2015-08-29 05:40:33] 917*2^1407690-1 is not prime. Res64: 69A64790E1217267 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:40:33] 933*2^1407690-1 is not prime. Res64: E29DC84B8DBE9904 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:40:41] 703*2^1407691-1 is not prime. Res64: 8C73D5C8C42B2B8A Time : 0.0 sec. user=mdettweiler [2015-08-29 05:40:41] 735*2^1407691-1 is not prime. Res64: 5CAB9A1A8439F004 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:40:50] 759*2^1407691-1 is not prime. Res64: 4A39470B333A3533 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:40:51] 835*2^1407691-1 is not prime. Res64: 64D27542ACA27108 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:42:15] 909*2^1407691-1 is not prime. Res64: F96327F05EF83FF8 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:42:15] 925*2^1407691-1 is not prime. Res64: 0688D7608A69623A Time : 0.0 sec. user=mdettweiler [2015-08-29 05:58:11] 973*2^1407691-1 is not prime. Res64: A88E1653BA2FD545 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:58:12] 975*2^1407691-1 is not prime. Res64: A578293E29733C63 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:58:25] 617*2^1407692-1 is not prime. Res64: 282992C8746848F6 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:58:25] 683*2^1407692-1 is not prime. Res64: 0D1F6B5A82F5CA6F Time : 0.0 sec. user=mdettweiler [2015-08-29 05:58:29] 725*2^1407692-1 is not prime. Res64: 55EEBFDDFC763BC2 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:58:29] 777*2^1407692-1 is not prime. Res64: 5A6CCB7017A119F5 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:59:50] 827*2^1407692-1 is not prime. Res64: 1CF72E55DC889159 Time : 0.0 sec. user=mdettweiler [2015-08-29 05:59:50] 843*2^1407692-1 is not prime. Res64: FFDFB6392FBCCD29 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:15:51] 867*2^1407692-1 is not prime. Res64: 6E1AE6B137785E29 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:15:51] 885*2^1407692-1 is not prime. Res64: AB93E4D0797FEFD2 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:16:04] 945*2^1407692-1 is not prime. Res64: A252B6D48C1F161A Time : 0.0 sec. user=mdettweiler [2015-08-29 06:16:04] 959*2^1407692-1 is not prime. Res64: 9FF65762DE3EE42F Time : 0.0 sec. user=mdettweiler [2015-08-29 06:16:11] 847*2^1407693-1 is not prime. Res64: 3DE4B5624AC2B96B Time : 0.0 sec. user=mdettweiler [2015-08-29 06:16:11] 849*2^1407693-1 is not prime. Res64: 83C4BA92E64EE0E3 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:17:34] 951*2^1407693-1 is not prime. Res64: 89E3A020607CECB7 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:17:34] 961*2^1407693-1 is not prime. Res64: DA0D904B91E92FAD Time : 0.0 sec. user=mdettweiler [2015-08-29 06:33:30] 979*2^1407693-1 is not prime. Res64: 2AAA73080DE84E1D Time : 0.0 sec. user=mdettweiler [2015-08-29 06:33:31] 611*2^1407694-1 is not prime. Res64: E4E2469008835E1F Time : 0.0 sec. user=mdettweiler [2015-08-29 06:33:47] 681*2^1407694-1 is not prime. Res64: 159A6BB15C950318 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:33:48] 915*2^1407694-1 is not prime. Res64: C62506AF88735CCC Time : 0.0 sec. user=mdettweiler [2015-08-29 06:34:00] 951*2^1407694-1 is not prime. Res64: F83646AD80E96272 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:34:00] 1001*2^1407694-1 is not prime. Res64: C156FCD47669E9EF Time : 0.0 sec. user=mdettweiler [2015-08-29 06:35:08] 661*2^1407695-1 is not prime. Res64: D29A09A7576805EE Time : 0.0 sec. user=mdettweiler [2015-08-29 06:35:09] 705*2^1407695-1 is not prime. Res64: E366741B079DB6CF Time : 0.0 sec. user=mdettweiler [2015-08-29 06:51:14] 759*2^1407695-1 is not prime. Res64: 3D21D0C2413E53BE Time : 0.0 sec. user=mdettweiler [2015-08-29 06:51:14] 781*2^1407695-1 is not prime. Res64: 0D44A6E7788A566B Time : 0.0 sec. user=mdettweiler [2015-08-29 06:51:22] 853*2^1407695-1 is not prime. Res64: 21FAF0C8B6395589 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:51:22] 855*2^1407695-1 is not prime. Res64: 3C00A3EEF4B29A37 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:51:45] 909*2^1407695-1 is not prime. Res64: F295260258EF324A Time : 0.0 sec. user=mdettweiler [2015-08-29 06:51:46] 949*2^1407695-1 is not prime. Res64: 12AB56CDC021DCE2 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:52:44] 623*2^1407696-1 is not prime. Res64: CE151A047F2FD519 Time : 0.0 sec. user=mdettweiler [2015-08-29 06:52:45] 843*2^1407696-1 is not prime. Res64: 8C525FA38ECAE064 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:08:50] 867*2^1407696-1 is not prime. Res64: 8599E0C5F6AE24D6 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:08:50] 903*2^1407696-1 is not prime. Res64: 4D51575DB289360D Time : 0.0 sec. user=mdettweiler [2015-08-29 07:08:57] 983*2^1407696-1 is not prime. Res64: ABBF8C74C2F72DF1 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:08:58] 649*2^1407697-1 is not prime. Res64: F3CC28D68ECE4645 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:09:25] 667*2^1407697-1 is not prime. Res64: 5E695FD44FC31445 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:09:26] 753*2^1407698-1 is not prime. Res64: 11192E605B3EC9E9 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:10:34] 797*2^1407698-1 is not prime. Res64: CA9020FC906FB02C Time : 0.0 sec. user=mdettweiler [2015-08-29 07:10:34] 801*2^1407698-1 is not prime. Res64: 38A995031A86F359 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:26:27] 941*2^1407698-1 is not prime. Res64: F5523BC759ED1282 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:26:28] 679*2^1407699-1 is not prime. Res64: EE92C0E6699DA6B2 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:26:37] 691*2^1407699-1 is not prime. Res64: F94CA3FD391B3628 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:26:37] 825*2^1407699-1 is not prime. Res64: F5888C52D6C2CD2D Time : 0.0 sec. user=mdettweiler [2015-08-29 07:27:00] 885*2^1407699-1 is not prime. Res64: 022A6B06AEB4F460 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:27:00] 635*2^1407700-1 is not prime. Res64: 17C6CDB27862EE78 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:28:08] 677*2^1407700-1 is not prime. Res64: 2A1D8942AA967F4B Time : 0.0 sec. user=mdettweiler [2015-08-29 07:28:08] 707*2^1407700-1 is not prime. Res64: E0C451DFD4EB151B Time : 0.0 sec. user=mdettweiler [2015-08-29 07:44:04] 783*2^1407700-1 is not prime. Res64: F33D0A67F93407FF Time : 0.0 sec. user=mdettweiler [2015-08-29 07:44:04] 873*2^1407700-1 is not prime. Res64: 47D584D512137DFF Time : 0.0 sec. user=mdettweiler [2015-08-29 07:44:20] 939*2^1407700-1 is not prime. Res64: 7C2C8B57AB87C6B4 Time : 0.0 sec. user=mdettweiler [2015-08-29 07:44:20] 975*2^1407700-1 is not prime. Res64: BCEBA9AF34B0D16F Time : 0.0 sec. user=mdettweiler [2015-08-29 07:44:39] 983*2^1407700-1 is not prime. Res64: 340EF3850EA779BB Time : 0.0 sec. user=mdettweiler [2015-08-29 07:44:39] 607*2^1407701-1 is not prime. Res64: E41FA33B8682CD4C Time : 0.0 sec. user=mdettweiler [2015-08-29 07:45:44] 615*2^1407701-1 is not prime. Res64: 9AB843F87E07F04E Time : 0.0 sec. user=mdettweiler [2015-08-29 07:45:44] 631*2^1407701-1 is not prime. Res64: 644B8233A95ABD96 Time : 0.0 sec. user=S_K_ [2015-08-29 07:57:59] 831*2^1407698-1 is not prime. Res64: 789561B942F93A9E Time : 0.0 sec. user=mdettweiler [2015-08-29 08:01:40] 781*2^1407701-1 is not prime. Res64: 9C1131F1AB89AA00 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:01:41] 801*2^1407701-1 is not prime. Res64: 7463E3E7C5F447E4 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:02:06] 865*2^1407701-1 is not prime. Res64: 5125F41B89DFEE69 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:02:06] 981*2^1407701-1 is not prime. Res64: A4307907114E1898 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:02:19] 627*2^1407702-1 is not prime. Res64: 323FFD65B91B34F5 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:02:20] 755*2^1407702-1 is not prime. Res64: FCA31DC42D8B75EC Time : 0.0 sec. user=mdettweiler [2015-08-29 08:03:25] 917*2^1407702-1 is not prime. Res64: 1D84CBCEF21F6055 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:03:26] 709*2^1407703-1 is not prime. Res64: B85E8F9C317D4EB5 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:19:37] 871*2^1407703-1 is not prime. Res64: 1F1039738FFC5995 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:19:37] 617*2^1407704-1 is not prime. Res64: AEB9A66916FC7FD6 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:19:42] 657*2^1407704-1 is not prime. Res64: A7AADCB3B68AC96E Time : 0.0 sec. user=mdettweiler [2015-08-29 08:19:42] 825*2^1407704-1 is not prime. Res64: E79C571423E4F760 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:19:58] 843*2^1407704-1 is not prime. Res64: 2451F8847DEC6C1F Time : 0.0 sec. user=mdettweiler [2015-08-29 08:19:58] 855*2^1407704-1 is not prime. Res64: 6C4A7AF3460BFDFA Time : 0.0 sec. user=mdettweiler [2015-08-29 08:21:08] 903*2^1407704-1 is not prime. Res64: B83CD6BC865081BA Time : 0.0 sec. user=mdettweiler [2015-08-29 08:21:09] 983*2^1407704-1 is not prime. Res64: B848F7E90F9F2C81 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:37:20] 995*2^1407704-1 is not prime. Res64: 62FA5659EEE95B34 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:37:20] 657*2^1407705-1 is not prime. Res64: 9437B51C6EB6A42A Time : 0.0 sec. user=mdettweiler [2015-08-29 08:37:20] 685*2^1407705-1 is not prime. Res64: 317441F2D3AA7306 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:37:21] 691*2^1407705-1 is not prime. Res64: 5DCC604985336E63 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:37:42] 781*2^1407705-1 is not prime. Res64: F327BD91E12065F6 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:37:42] 795*2^1407705-1 is not prime. Res64: F9C49DE38CB13756 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:38:49] 877*2^1407705-1 is not prime. Res64: CE5FF9500C0B5D19 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:38:49] 603*2^1407706-1 is not prime. Res64: 2F3BF7F22C150245 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:55:00] 777*2^1407706-1 is not prime. Res64: E231EDEB2D8E19F2 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:55:00] 917*2^1407706-1 is not prime. Res64: 35EEF8B9827EE245 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:55:03] 651*2^1407706-1 is not prime. Res64: 10C5E15D9C87DDD5 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:55:04] 773*2^1407706-1 is not prime. Res64: 8C15AE6A79E4FBEA Time : 0.0 sec. user=mdettweiler [2015-08-29 08:55:18] 975*2^1407706-1 is not prime. Res64: 90F475F975BEF039 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:55:18] 735*2^1407707-1 is not prime. Res64: DB9C8AD0CA79D874 Time : 0.0 sec. user=mdettweiler [2015-08-29 08:56:36] 825*2^1407707-1 is not prime. Res64: E2FCAE695D76A83B Time : 0.0 sec. user=mdettweiler [2015-08-29 08:56:36] 915*2^1407707-1 is not prime. Res64: A1BA3FD8E4F5D77B Time : 0.0 sec. user=mdettweiler [2015-08-29 09:12:36] 663*2^1407708-1 is not prime. Res64: 28173789C1C64C66 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:12:36] 689*2^1407708-1 is not prime. Res64: 917B4F0F1F4E4967 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:12:37] 931*2^1407707-1 is not prime. Res64: 26E16AC3A71B9149 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:12:37] 939*2^1407707-1 is not prime. Res64: D20761CB60F043D7 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:12:58] 753*2^1407708-1 is not prime. Res64: 2AAA09E776483D89 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:12:58] 797*2^1407708-1 is not prime. Res64: 947EE22F7E4DFB06 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:14:12] 721*2^1407709-1 is not prime. Res64: B5602916E4014B60 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:14:13] 895*2^1407709-1 is not prime. Res64: 75EE64729DA495D2 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:30:15] 951*2^1407709-1 is not prime. Res64: C44DE6CF7B83AF73 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:30:15] 955*2^1407709-1 is not prime. Res64: 0C4A3CC344D9A044 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:30:18] 967*2^1407709-1 is not prime. Res64: D3367F0CD0DF501B Time : 0.0 sec. user=mdettweiler [2015-08-29 09:30:18] 997*2^1407709-1 is not prime. Res64: D34933DE9A0B98B4 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:30:37] 603*2^1407710-1 is not prime. Res64: 8EE6A4634C5E9CE6 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:30:37] 605*2^1407710-1 is not prime. Res64: 6182CC8212813227 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:31:51] 791*2^1407710-1 is not prime. Res64: E7D5407432E3E142 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:31:51] 797*2^1407710-1 is not prime. Res64: BB3A0B7E8689D1F7 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:47:53] 801*2^1407710-1 is not prime. Res64: 5F280CEED3DC1831 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:47:53] 861*2^1407710-1 is not prime. Res64: 3631082BE1182920 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:47:57] 923*2^1407710-1 is not prime. Res64: 76BBDA5F47CDC61B Time : 0.0 sec. user=mdettweiler [2015-08-29 09:47:58] 935*2^1407710-1 is not prime. Res64: B3067E1B3451ABB2 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:48:12] 945*2^1407710-1 is not prime. Res64: 46959DAEC02D9369 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:48:12] 957*2^1407710-1 is not prime. Res64: 564CE3A79F5EDC97 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:49:27] 849*2^1407711-1 is not prime. Res64: E6A3A15454BDAEA6 Time : 0.0 sec. user=mdettweiler [2015-08-29 09:49:27] 901*2^1407711-1 is not prime. Res64: 45386E5A94FA8142 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:05:33] 705*2^1407712-1 is not prime. Res64: FA3E5FE911F8ADE8 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:05:34] 755*2^1407712-1 is not prime. Res64: BE5181D83E36658B Time : 0.0 sec. user=mdettweiler [2015-08-29 10:05:37] 665*2^1407712-1 is not prime. Res64: 4F5C827F503D2F2B Time : 0.0 sec. user=mdettweiler [2015-08-29 10:05:39] 693*2^1407712-1 is not prime. Res64: 8EBD1142B37F2B47 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:05:56] 803*2^1407712-1 is not prime. Res64: 17810053BDC32E83 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:05:58] 819*2^1407712-1 is not prime. Res64: 0E93E232282091D9 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:07:03] 843*2^1407712-1 is not prime. Res64: BDEBD01AF931B308 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:07:04] 849*2^1407712-1 is not prime. Res64: 9BF4FA3F9354013B Time : 0.0 sec. user=mdettweiler [2015-08-29 10:23:36] 903*2^1407712-1 is not prime. Res64: FE5BC95C0E703273 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:23:36] 965*2^1407712-1 is not prime. Res64: 03D75B3732D87716 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:23:37] 631*2^1407713-1 is not prime. Res64: F7D5B0698BA8BD3D Time : 0.0 sec. user=mdettweiler [2015-08-29 10:23:37] 699*2^1407713-1 is not prime. Res64: 845E80C82CDD182F Time : 0.0 sec. user=mdettweiler [2015-08-29 10:23:38] 741*2^1407713-1 is not prime. Res64: 65C933B02237206F Time : 0.0 sec. user=mdettweiler [2015-08-29 10:23:39] 621*2^1407714-1 is not prime. Res64: 0559F085271E4C98 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:24:36] 683*2^1407714-1 is not prime. Res64: 0184D48007B838CC Time : 0.0 sec. user=mdettweiler [2015-08-29 10:24:36] 711*2^1407714-1 is not prime. Res64: 1D5ECBEDF81CD04F Time : 0.0 sec. user=mdettweiler [2015-08-29 10:41:27] 747*2^1407714-1 is not prime. Res64: C1DCD381547D83C4 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:41:27] 767*2^1407714-1 is not prime. Res64: 95B9C51C2C5D81A6 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:41:27] 773*2^1407714-1 is not prime. Res64: A8D912DC16ED0F8A Time : 0.0 sec. user=mdettweiler [2015-08-29 10:41:27] 941*2^1407714-1 is not prime. Res64: 5AE1474D081E3E7C Time : 0.0 sec. user=mdettweiler [2015-08-29 10:41:29] 731*2^1407714-1 is not prime. Res64: 843B788CDB009F64 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:41:29] 741*2^1407714-1 is not prime. Res64: 25F69EBFCB821872 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:42:17] 971*2^1407714-1 is not prime. Res64: 971C3DE509335A3D Time : 0.0 sec. user=mdettweiler [2015-08-29 10:42:17] 1001*2^1407714-1 is not prime. Res64: 1BE2E98E329817F4 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:59:05] 601*2^1407715-1 is not prime. Res64: A782E219A3AE00EC Time : 0.0 sec. user=mdettweiler [2015-08-29 10:59:06] 609*2^1407715-1 is not prime. Res64: 9596808D5E7D4EC7 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:59:09] 645*2^1407715-1 is not prime. Res64: 93A5F4CCC642C739 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:59:09] 691*2^1407715-1 is not prime. Res64: F9839D0CB54F182E Time : 0.0 sec. user=mdettweiler [2015-08-29 10:59:11] 709*2^1407715-1 is not prime. Res64: 8594F93AE9819029 Time : 0.0 sec. user=mdettweiler [2015-08-29 10:59:11] 647*2^1407716-1 is not prime. Res64: 74B4D2AA140DEEF1 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:00:02] 693*2^1407716-1 is not prime. Res64: B2B5104F29BCC3A2 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:00:02] 869*2^1407716-1 is not prime. Res64: FA47C08DD88FDFAD Time : 0.0 sec. user=mdettweiler [2015-08-29 11:16:41] 873*2^1407716-1 is not prime. Res64: 713945884B174930 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:16:41] 987*2^1407716-1 is not prime. Res64: 26A4D18CBB49072C Time : 0.0 sec. user=mdettweiler [2015-08-29 11:16:43] 649*2^1407717-1 is not prime. Res64: 4B7C27298D1D34F0 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:16:44] 741*2^1407717-1 is not prime. Res64: 0A08F58738960847 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:16:46] 747*2^1407717-1 is not prime. Res64: 318E5ED92DA281F8 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:16:46] 825*2^1407717-1 is not prime. Res64: 26390AB2F7D49847 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:17:36] 871*2^1407717-1 is not prime. Res64: 26F6B5A87F46CE89 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:17:37] 997*2^1407717-1 is not prime. Res64: 146AF74E5B0B63C2 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:34:19] 747*2^1407718-1 is not prime. Res64: 5768D417AB2E44E7 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:34:20] 761*2^1407718-1 is not prime. Res64: 9FBF8EA98619C857 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:34:23] 777*2^1407718-1 is not prime. Res64: C195715513BD2B66 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:34:23] 623*2^1407718-1 is not prime. Res64: 61F6286C08F0DC88 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:34:24] 831*2^1407718-1 is not prime. Res64: 1DB650C5270C141F Time : 0.0 sec. user=mdettweiler [2015-08-29 11:34:24] 737*2^1407718-1 is not prime. Res64: AA19A1CB7CCE95C2 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:35:14] 843*2^1407718-1 is not prime. Res64: E06A195C2ADD69E7 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:35:15] 915*2^1407718-1 is not prime. Res64: 82C0A518D752F91F Time : 0.0 sec. user=mdettweiler [2015-08-29 11:51:55] 987*2^1407718-1 is not prime. Res64: 394538379C39646D Time : 0.0 sec. user=mdettweiler [2015-08-29 11:51:55] 633*2^1407719-1 is not prime. Res64: A35FF3D1E1152175 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:52:06] 799*2^1407719-1 is not prime. Res64: 003F6A6BDBED2C5B Time : 0.0 sec. user=mdettweiler [2015-08-29 11:52:06] 879*2^1407719-1 is not prime. Res64: 22DD08B57F90848E Time : 0.0 sec. user=mdettweiler [2015-08-29 11:52:11] 759*2^1407719-1 is not prime. Res64: 3FFADD63328D9E4A Time : 0.0 sec. user=mdettweiler [2015-08-29 11:52:12] 771*2^1407719-1 is not prime. Res64: 15E8E6AFF16521A6 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:52:50] 883*2^1407719-1 is not prime. Res64: ABAE3D9F05888981 Time : 0.0 sec. user=mdettweiler [2015-08-29 11:52:51] 955*2^1407719-1 is not prime. Res64: 10B0224A02D8BD0F Time : 0.0 sec. user=mdettweiler [2015-08-29 12:09:30] 627*2^1407720-1 is not prime. Res64: F1D130778E7B9B9E Time : 0.0 sec. user=mdettweiler [2015-08-29 12:09:30] 665*2^1407720-1 is not prime. Res64: 29479FFC4B3F8DEE Time : 0.0 sec. user=mdettweiler [2015-08-29 12:09:45] 875*2^1407720-1 is not prime. Res64: 17CDC284AF7BAAE1 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:09:45] 879*2^1407720-1 is not prime. Res64: 244AD402D3D58986 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:09:47] 719*2^1407720-1 is not prime. Res64: 96FBA806F485D29B Time : 0.0 sec. user=mdettweiler [2015-08-29 12:09:47] 819*2^1407720-1 is not prime. Res64: 4A2D0F3D37503A9C Time : 0.0 sec. user=mdettweiler [2015-08-29 12:10:29] 905*2^1407720-1 is not prime. Res64: 3B1A021D64FE4B31 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:10:29] 915*2^1407720-1 is not prime. Res64: 7C12D56A34CB1857 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:27:07] 983*2^1407720-1 is not prime. Res64: 519639DBB778D648 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:27:08] 715*2^1407721-1 is not prime. Res64: 795F17019D02A349 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:27:33] 777*2^1407721-1 is not prime. Res64: C52C1E8A750515A9 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:27:33] 651*2^1407722-1 is not prime. Res64: 01A94BD9872CD880 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:27:38] 713*2^1407722-1 is not prime. Res64: C4BE6038B085FC59 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:27:39] 735*2^1407722-1 is not prime. Res64: E4A6B73D7C420AFE Time : 0.0 sec. user=mdettweiler [2015-08-29 12:28:16] 837*2^1407722-1 is not prime. Res64: 2E98BB3BBB9B9DEF Time : 0.0 sec. user=mdettweiler [2015-08-29 12:28:16] 945*2^1407722-1 is not prime. Res64: AB1C4C275CD3E61B Time : 0.0 sec. user=mdettweiler [2015-08-29 12:44:46] 957*2^1407722-1 is not prime. Res64: CE90469475CB14A3 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:44:46] 613*2^1407723-1 is not prime. Res64: 08CF64B3C991E05A Time : 0.0 sec. user=mdettweiler [2015-08-29 12:45:18] 895*2^1407723-1 is not prime. Res64: CE52579446F71CF3 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:45:18] 919*2^1407723-1 is not prime. Res64: BE348ACE64928840 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:45:24] 675*2^1407723-1 is not prime. Res64: DD74D05447B37A51 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:45:25] 891*2^1407723-1 is not prime. Res64: DD083820ACB57EF0 Time : 0.0 sec. user=mdettweiler [2015-08-29 12:45:58] 961*2^1407723-1 is not prime. Res64: 519F1573F678DD3A Time : 0.0 sec. user=mdettweiler [2015-08-29 12:45:58] 969*2^1407723-1 is not prime. Res64: 4C664430BB2683FE Time : 0.0 sec. user=mdettweiler [2015-08-29 13:02:25] 723*2^1407724-1 is not prime. Res64: 444988DF58F17030 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:02:26] 743*2^1407724-1 is not prime. Res64: 4CE4354D521C4CBD Time : 0.0 sec. user=mdettweiler [2015-08-29 13:03:05] 947*2^1407724-1 is not prime. Res64: 79FA8ACF2EE3881C Time : 0.0 sec. user=mdettweiler [2015-08-29 13:03:06] 969*2^1407724-1 is not prime. Res64: CCFED77E92E2AA86 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:03:25] 685*2^1407725-1 is not prime. Res64: 2B984AB38F97A991 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:03:26] 727*2^1407725-1 is not prime. Res64: 1C7B482680CB0BCA Time : 0.0 sec. user=mdettweiler [2015-08-29 13:03:37] 787*2^1407725-1 is not prime. Res64: B310857AE5EC66E7 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:03:38] 927*2^1407725-1 is not prime. Res64: DDF07D4FB71BE588 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:20:16] 677*2^1407726-1 is not prime. Res64: E4D1D5C12F0EEB44 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:20:16] 815*2^1407726-1 is not prime. Res64: AE32A9C667184FE0 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:20:44] 825*2^1407726-1 is not prime. Res64: 7691F956B2EB1431 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:20:44] 861*2^1407726-1 is not prime. Res64: 2509940A59A6F947 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:21:05] 881*2^1407726-1 is not prime. Res64: FCAEE0EDB2223E36 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:21:05] 921*2^1407726-1 is not prime. Res64: 48C12A3AF4D7341B Time : 0.0 sec. user=mdettweiler [2015-08-29 13:21:20] 971*2^1407726-1 is not prime. Res64: 31329E253EA0CFD3 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:21:20] 983*2^1407726-1 is not prime. Res64: BF86B7332DDAAA15 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:37:56] 663*2^1407727-1 is not prime. Res64: A5BB9F16A03A70C9 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:37:56] 715*2^1407727-1 is not prime. Res64: 9E5F6629AD82CCCA Time : 0.0 sec. user=mdettweiler [2015-08-29 13:38:26] 915*2^1407727-1 is not prime. Res64: 49E1B56532E40ED2 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:38:26] 665*2^1407728-1 is not prime. Res64: 203AA9047499497B Time : 0.0 sec. user=mdettweiler [2015-08-29 13:38:50] 669*2^1407728-1 is not prime. Res64: 0CAD1D6E7C304524 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:38:50] 713*2^1407728-1 is not prime. Res64: C6B3CA18601585DD Time : 0.0 sec. user=mdettweiler [2015-08-29 13:39:12] 735*2^1407728-1 is not prime. Res64: FA037C2A9E2AFF1B Time : 0.0 sec. user=mdettweiler [2015-08-29 13:39:13] 935*2^1407728-1 is not prime. Res64: 00BA7BF0799E711A Time : 0.0 sec. user=mdettweiler [2015-08-29 13:55:37] 865*2^1407729-1 is not prime. Res64: 69C71865B0EF5B14 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:55:38] 877*2^1407729-1 is not prime. Res64: 37F4822946116BB6 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:56:10] 909*2^1407729-1 is not prime. Res64: A24D87AF2DF7759A Time : 0.0 sec. user=mdettweiler [2015-08-29 13:56:10] 945*2^1407729-1 is not prime. Res64: 2DCEBE53AE4AF237 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:56:39] 969*2^1407729-1 is not prime. Res64: 0D2BF6D8CA6C3879 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:56:39] 635*2^1407730-1 is not prime. Res64: 16DCB92C47300388 Time : 0.0 sec. user=mdettweiler [2015-08-29 13:56:50] 647*2^1407730-1 is not prime. Res64: E776CC5D989FEA0D Time : 0.0 sec. user=mdettweiler [2015-08-29 13:56:50] 653*2^1407730-1 is not prime. Res64: C3C991786C6896C1 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:13:14] 695*2^1407730-1 is not prime. Res64: 19E1EC7AA8F28D33 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:13:15] 845*2^1407730-1 is not prime. Res64: 819437372BE0501F Time : 0.0 sec. user=mdettweiler [2015-08-29 14:13:50] 885*2^1407730-1 is not prime. Res64: 983ADF17138855E6 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:13:50] 917*2^1407730-1 is not prime. Res64: 26C5A94622FD7C0D Time : 0.0 sec. user=mdettweiler [2015-08-29 14:14:22] 987*2^1407730-1 is not prime. Res64: 2942D0130951E147 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:14:22] 669*2^1407731-1 is not prime. Res64: D92BD415A2C067CD Time : 0.0 sec. user=mdettweiler [2015-08-29 14:14:33] 679*2^1407731-1 is not prime. Res64: 6924D64B0A80DA34 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:14:33] 711*2^1407731-1 is not prime. Res64: AC433F89E9E13070 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:31:00] 775*2^1407731-1 is not prime. Res64: 6BDCB861A5BD9406 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:31:00] 871*2^1407731-1 is not prime. Res64: F8212E838E578057 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:31:31] 895*2^1407731-1 is not prime. Res64: 051C5194137793B5 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:31:32] 945*2^1407731-1 is not prime. Res64: D5A8A674B64270F2 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:32:12] 725*2^1407732-1 is not prime. Res64: 14A1EC7ABCEBE03D Time : 0.0 sec. user=mdettweiler [2015-08-29 14:32:13] 779*2^1407732-1 is not prime. Res64: 3039EE2573505EBF Time : 0.0 sec. user=mdettweiler [2015-08-29 14:32:24] 899*2^1407732-1 is not prime. Res64: 1676901CE3C2ABEA Time : 0.0 sec. user=mdettweiler [2015-08-29 14:32:24] 909*2^1407732-1 is not prime. Res64: A34D0197A3CF509B Time : 0.0 sec. user=mdettweiler [2015-08-29 14:48:41] 945*2^1407732-1 is not prime. Res64: BDBC8EB704BFF0FF Time : 0.0 sec. user=mdettweiler [2015-08-29 14:48:42] 607*2^1407733-1 is not prime. Res64: AC25ACE1927F8C56 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:49:09] 615*2^1407733-1 is not prime. Res64: 6285E5BC640636A2 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:49:09] 687*2^1407733-1 is not prime. Res64: 4531588EDF515D95 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:49:52] 747*2^1407733-1 is not prime. Res64: C31E071109377288 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:49:52] 771*2^1407733-1 is not prime. Res64: 530965EE6DCFE70E Time : 0.0 sec. user=mdettweiler [2015-08-29 14:50:00] 789*2^1407733-1 is not prime. Res64: E9762CD8F177AB78 Time : 0.0 sec. user=mdettweiler [2015-08-29 14:50:00] 885*2^1407733-1 is not prime. Res64: AE390721BC906316 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:06:30] 897*2^1407733-1 is not prime. Res64: 7146E66AACEC1D94 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:06:32] 665*2^1407734-1 is not prime. Res64: 172D877DA94C6A17 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:07:00] 675*2^1407734-1 is not prime. Res64: CE7829EEAC6A38C5 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:07:01] 743*2^1407734-1 is not prime. Res64: 7A20F2F033B953CA Time : 0.0 sec. user=mdettweiler [2015-08-29 15:07:36] 755*2^1407734-1 is not prime. Res64: 2400A93AF4586E51 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:07:37] 813*2^1407734-1 is not prime. Res64: 7E270FAD769F8BE0 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:07:54] 851*2^1407734-1 is not prime. Res64: F6944E25AF0FD153 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:07:55] 873*2^1407734-1 is not prime. Res64: 837C63119FB88DB8 Time : 0.0 sec. user=S_K_ [2015-08-29 15:11:14] 945*2^1407730-1 is not prime. Res64: 04D7407E2398252F Time : 0.0 sec. user=mdettweiler [2015-08-29 15:24:38] 965*2^1407734-1 is not prime. Res64: 59559D75E65BA9AA Time : 0.0 sec. user=mdettweiler [2015-08-29 15:24:38] 633*2^1407735-1 is not prime. Res64: A13F73D83B779ADE Time : 0.0 sec. user=mdettweiler [2015-08-29 15:24:52] 693*2^1407735-1 is not prime. Res64: 3816845A45CC4E79 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:24:53] 739*2^1407735-1 is not prime. Res64: 23EAC32B9AF37932 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:25:33] 861*2^1407735-1 is not prime. Res64: 0937C5A39BEE9FE9 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:25:34] 985*2^1407735-1 is not prime. Res64: 4EE77266899B023B Time : 0.0 sec. user=mdettweiler [2015-08-29 15:25:54] 723*2^1407736-1 is not prime. Res64: A97C6DC7FF53D63D Time : 0.0 sec. user=mdettweiler [2015-08-29 15:25:54] 785*2^1407736-1 is not prime. Res64: 0937AF61DE083F87 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:42:39] 975*2^1407736-1 is not prime. Res64: 737D7C882D1AC19A Time : 0.0 sec. user=mdettweiler [2015-08-29 15:42:40] 993*2^1407736-1 is not prime. Res64: 0F5E5EE598E71A91 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:42:50] 649*2^1407737-1 is not prime. Res64: D2B5CFC8FCAA017F Time : 0.0 sec. user=mdettweiler [2015-08-29 15:42:51] 669*2^1407737-1 is not prime. Res64: 9CE96A0F65C4BDA0 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:43:23] 819*2^1407737-1 is not prime. Res64: AEC4DF968E0990A8 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:43:23] 915*2^1407737-1 is not prime. Res64: A9645B8BF24B8789 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:43:44] 939*2^1407737-1 is not prime. Res64: 8765AA8764D691B6 Time : 0.0 sec. user=mdettweiler [2015-08-29 15:43:44] 957*2^1407737-1 is not prime. Res64: 3D8D4DA60BD80107 Time : 0.0 sec. user=S_K_ [2015-08-29 15:59:33] 909*2^1407736-1 is not prime. Res64: 4741B2DEC57AE571 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:00:21] 777*2^1407738-1 is not prime. Res64: 648AAD65E1352494 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:00:21] 803*2^1407738-1 is not prime. Res64: F066539FFA3980F7 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:00:33] 887*2^1407738-1 is not prime. Res64: F7B28378D597B775 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:00:33] 921*2^1407738-1 is not prime. Res64: 8E8268946148CD58 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:01:02] 977*2^1407738-1 is not prime. Res64: 62C6BF397334B370 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:01:03] 745*2^1407739-1 is not prime. Res64: CD49C164D0B22CD0 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:01:24] 829*2^1407739-1 is not prime. Res64: 527E075124F70476 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:01:25] 855*2^1407739-1 is not prime. Res64: 7A511D0F2DB3338F Time : 0.0 sec. user=mdettweiler [2015-08-29 16:18:20] 913*2^1407739-1 is not prime. Res64: FAE869D4B94E9770 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:18:20] 919*2^1407739-1 is not prime. Res64: 6EB43506EE98A00E Time : 0.0 sec. user=mdettweiler [2015-08-29 16:18:36] 973*2^1407739-1 is not prime. Res64: F034A25C3894FEB5 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:18:36] 603*2^1407740-1 is not prime. Res64: 232FD1EB0CEE6DA5 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:19:01] 629*2^1407740-1 is not prime. Res64: C747E1D8DE06D99A Time : 0.0 sec. user=mdettweiler [2015-08-29 16:19:01] 633*2^1407740-1 is not prime. Res64: D33C1BDD14CA271D Time : 0.0 sec. user=mdettweiler [2015-08-29 16:19:27] 635*2^1407740-1 is not prime. Res64: 4F91181898616566 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:19:27] 803*2^1407740-1 is not prime. Res64: C8BA307C99A07193 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:37:29] 813*2^1407740-1 is not prime. Res64: F9D59353B25BE493 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:37:30] 609*2^1407741-1 is not prime. Res64: 44612D03CE6B6959 Time : 0.0 sec. user=S_K_ [2015-08-29 16:37:38] 859*2^1407739-1 is not prime. Res64: FA4C304F3DC91350 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:37:49] 625*2^1407741-1 is not prime. Res64: 45B81E7300C6B560 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:37:49] 741*2^1407741-1 is not prime. Res64: 489A9C2E53B535E1 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:38:12] 861*2^1407741-1 is not prime. Res64: F030EDAC70CBB3EA Time : 0.0 sec. user=mdettweiler [2015-08-29 16:38:12] 927*2^1407741-1 is not prime. Res64: A9D46140A37D1771 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:38:35] 979*2^1407741-1 is not prime. Res64: D99CBCA60592565C Time : 0.0 sec. user=mdettweiler [2015-08-29 16:38:36] 675*2^1407742-1 is not prime. Res64: 50BDAD60B7559DAE Time : 0.0 sec. user=mdettweiler [2015-08-29 16:56:18] 983*2^1407742-1 is not prime. Res64: 587FF914A4133EB1 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:56:18] 995*2^1407742-1 is not prime. Res64: 8457BFE5521BC3FB Time : 0.0 sec. user=mdettweiler [2015-08-29 16:56:20] 827*2^1407742-1 is not prime. Res64: 0FA29875B7A5384B Time : 0.0 sec. user=mdettweiler [2015-08-29 16:56:21] 965*2^1407742-1 is not prime. Res64: 1ED54AB7C1BB5B79 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:56:53] 703*2^1407743-1 is not prime. Res64: 5AA8D0CEA9EEC525 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:56:54] 759*2^1407743-1 is not prime. Res64: 9B179EE8A12B1BB2 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:57:06] 811*2^1407743-1 is not prime. Res64: 21CF4CCB2F1251F4 Time : 0.0 sec. user=mdettweiler [2015-08-29 16:57:07] 829*2^1407743-1 is not prime. Res64: 9BE8A2445D083D95 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:14:16] 861*2^1407743-1 is not prime. Res64: 0D4B0730F9C6581B Time : 0.0 sec. user=mdettweiler [2015-08-29 17:14:17] 945*2^1407743-1 is not prime. Res64: 673A17E9E45AEE66 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:14:25] 955*2^1407743-1 is not prime. Res64: D4E5E040B6B0DA9D Time : 0.0 sec. user=mdettweiler [2015-08-29 17:14:26] 981*2^1407743-1 is not prime. Res64: 76CD032040BE123E Time : 0.0 sec. user=mdettweiler [2015-08-29 17:14:47] 991*2^1407743-1 is not prime. Res64: A35A24E105ED25A2 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:14:48] 789*2^1407744-1 is not prime. Res64: B4809603FEF9363A Time : 0.0 sec. user=mdettweiler [2015-08-29 17:15:08] 915*2^1407744-1 is not prime. Res64: E44D11075ED10FB1 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:15:09] 969*2^1407744-1 is not prime. Res64: 1ED452DD49CD3DD2 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:31:53] 983*2^1407744-1 is not prime. Res64: CAD9C404E1A42646 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:31:53] 727*2^1407745-1 is not prime. Res64: B52BD65BD461B22A Time : 0.0 sec. user=mdettweiler [2015-08-29 17:32:01] 729*2^1407745-1 is not prime. Res64: EDF5F8B6F9BA6FC0 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:32:01] 811*2^1407745-1 is not prime. Res64: 7276931C9DFD8FDA Time : 0.0 sec. user=mdettweiler [2015-08-29 17:32:29] 925*2^1407745-1 is not prime. Res64: EC7783C25028006E Time : 0.0 sec. user=mdettweiler [2015-08-29 17:32:29] 957*2^1407745-1 is not prime. Res64: FD0234360776658A Time : 0.0 sec. user=mdettweiler [2015-08-29 17:32:56] 641*2^1407746-1 is not prime. Res64: 685A11D544B4F08A Time : 0.0 sec. user=mdettweiler [2015-08-29 17:32:56] 677*2^1407746-1 is not prime. Res64: 125C43C48EDE18CC Time : 0.0 sec. user=mdettweiler [2015-08-29 17:49:37] 743*2^1407746-1 is not prime. Res64: 2D873A2DB03097F5 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:49:37] 801*2^1407746-1 is not prime. Res64: 5E447435F74F5F5F Time : 0.0 sec. user=mdettweiler [2015-08-29 17:49:47] 831*2^1407746-1 is not prime. Res64: 837187620F99EA59 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:49:48] 833*2^1407746-1 is not prime. Res64: 49B4D42CCD3C0886 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:50:14] 857*2^1407746-1 is not prime. Res64: DED319DCD019367C Time : 0.0 sec. user=mdettweiler [2015-08-29 17:50:14] 873*2^1407746-1 is not prime. Res64: 6C49421FDFB86110 Time : 0.0 sec. user=mdettweiler [2015-08-29 17:50:29] 887*2^1407746-1 is not prime. Res64: E65BCAF4DB37056D Time : 0.0 sec. user=mdettweiler [2015-08-29 17:50:29] 935*2^1407746-1 is not prime. Res64: 81C9CAC3B8805A76 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:07:25] 615*2^1407747-1 is not prime. Res64: C3BC0EAC3579295C Time : 0.0 sec. user=mdettweiler [2015-08-29 18:07:26] 621*2^1407747-1 is not prime. Res64: 761F55900065C3AB Time : 0.0 sec. user=mdettweiler [2015-08-29 18:07:28] 675*2^1407747-1 is not prime. Res64: 18CBD023C89C2DD7 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:07:29] 741*2^1407747-1 is not prime. Res64: 714A374DA4BBC61A Time : 0.0 sec. user=mdettweiler [2015-08-29 18:07:57] 769*2^1407747-1 is not prime. Res64: 3974612D9263946E Time : 0.0 sec. user=mdettweiler [2015-08-29 18:07:58] 795*2^1407747-1 is not prime. Res64: 3610152D9D8E4F5C Time : 0.0 sec. user=mdettweiler [2015-08-29 18:08:05] 871*2^1407747-1 is not prime. Res64: DAA23485C52B500B Time : 0.0 sec. user=mdettweiler [2015-08-29 18:08:05] 623*2^1407748-1 is not prime. Res64: 7E46E3DF20D2E0F4 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:04] 833*2^1407748-1 is not prime. Res64: DEC2A2E9D26931E0 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:04] 885*2^1407748-1 is not prime. Res64: 7FF902DF547676FE Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:09] 677*2^1407748-1 is not prime. Res64: 9EE851E95774B94C Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:09] 723*2^1407748-1 is not prime. Res64: 86084A22F5F8D0A3 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:40] 897*2^1407748-1 is not prime. Res64: DBAB6F5D22BC79F3 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:41] 929*2^1407748-1 is not prime. Res64: 52A845D8A67348EA Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:53] 989*2^1407748-1 is not prime. Res64: 326FEE9E446762E9 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:25:54] 615*2^1407749-1 is not prime. Res64: A3B944EB100A9F1A Time : 0.0 sec. user=S_K_ [2015-08-29 18:30:15] 639*2^1407748-1 is not prime. Res64: 67F9F0F196511089 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:42:47] 697*2^1407749-1 is not prime. Res64: 306A7083536B7CC7 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:42:47] 711*2^1407749-1 is not prime. Res64: 0683365157DDCFF9 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:42:53] 619*2^1407749-1 is not prime. Res64: 6EDF3053D15135CD Time : 0.0 sec. user=mdettweiler [2015-08-29 18:42:53] 657*2^1407749-1 is not prime. Res64: 7FC21B2F2E638A62 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:43:15] 867*2^1407749-1 is not prime. Res64: B508F5342E1F9AFC Time : 0.0 sec. user=mdettweiler [2015-08-29 18:43:15] 885*2^1407749-1 is not prime. Res64: 00B797AD528C8D8F Time : 0.0 sec. user=mdettweiler [2015-08-29 18:43:34] 747*2^1407750-1 is not prime. Res64: 01A5ACF1AC3A5CE8 Time : 0.0 sec. user=mdettweiler [2015-08-29 18:43:35] 801*2^1407750-1 is not prime. Res64: 8136C3C30ECB3AE7 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:00:26] 851*2^1407750-1 is not prime. Res64: DDCEDE0F3BDDE71B Time : 0.0 sec. user=mdettweiler [2015-08-29 19:00:27] 915*2^1407750-1 is not prime. Res64: F13AAD0975EBE095 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:00:29] 945*2^1407750-1 is not prime. Res64: 6091F950FC7A7294 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:00:30] 1001*2^1407750-1 is not prime. Res64: E76C4AA2D2147052 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:00:51] 621*2^1407751-1 is not prime. Res64: 405F981FEF5252A8 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:00:51] 679*2^1407751-1 is not prime. Res64: CE93D3657DD46C63 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:01:11] 685*2^1407751-1 is not prime. Res64: 3667D8E3F4CC8D5F Time : 0.0 sec. user=mdettweiler [2015-08-29 19:01:12] 735*2^1407751-1 is not prime. Res64: C4476DEEF37E585C Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:01] 843*2^1407751-1 is not prime. Res64: C633B2800A478AEE Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:02] 859*2^1407751-1 is not prime. Res64: 3AB1FD08AB663C9C Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:07] 913*2^1407751-1 is not prime. Res64: 79DFC2BC4C44BCF8 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:07] 629*2^1407752-1 is not prime. Res64: 6E346CE8A52DF1CA Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:33] 677*2^1407752-1 is not prime. Res64: D043521A1F72A1A5 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:33] 755*2^1407752-1 is not prime. Res64: A03E1EE4B0E88CB6 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:51] 819*2^1407752-1 is not prime. Res64: 936851C2A61447B6 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:18:52] 855*2^1407752-1 is not prime. Res64: 5DDE8649AB5EDF03 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:35:39] 945*2^1407752-1 is not prime. Res64: DFA5D652820F8594 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:35:40] 963*2^1407752-1 is not prime. Res64: 4D3E05FF5D40B529 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:35:49] 885*2^1407753-1 is not prime. Res64: DFAF5D52B7211FD7 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:35:50] 915*2^1407753-1 is not prime. Res64: 11456D2AC52FCCE4 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:36:14] 937*2^1407753-1 is not prime. Res64: 91610A48EDBB2CF5 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:36:14] 985*2^1407753-1 is not prime. Res64: 7B76C2CD34B2A9A1 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:36:39] 663*2^1407754-1 is not prime. Res64: EF1D09AD7D1FA924 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:36:39] 747*2^1407754-1 is not prime. Res64: 9B07004D397B1BA9 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:54:04] 857*2^1407754-1 is not prime. Res64: 89968673027DB3D9 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:54:05] 887*2^1407754-1 is not prime. Res64: B066C3F9396DDB73 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:54:08] 905*2^1407754-1 is not prime. Res64: 418D8FA6680471D5 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:54:08] 923*2^1407754-1 is not prime. Res64: 2C9DDD4449F195E2 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:54:43] 941*2^1407754-1 is not prime. Res64: F995480604A895AB Time : 0.0 sec. user=mdettweiler [2015-08-29 19:54:43] 951*2^1407754-1 is not prime. Res64: FB7A5EB675262E49 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:55:07] 619*2^1407755-1 is not prime. Res64: E499FDF046CA5B83 Time : 0.0 sec. user=mdettweiler [2015-08-29 19:55:07] 651*2^1407755-1 is not prime. Res64: 9A2B2C98E61A63FB Time : 0.0 sec. user=mdettweiler [2015-08-29 20:12:59] 685*2^1407755-1 is not prime. Res64: 2C6C3E3E088FE1B7 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:13:00] 699*2^1407755-1 is not prime. Res64: 8716853B222AAE28 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:13:23] 771*2^1407755-1 is not prime. Res64: FF6217D1599D217E Time : 0.0 sec. user=mdettweiler [2015-08-29 20:13:23] 909*2^1407755-1 is not prime. Res64: 62AC811FD7B383ED Time : 0.0 sec. user=mdettweiler [2015-08-29 20:13:42] 609*2^1407756-1 is not prime. Res64: F2B01FC858E04336 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:13:43] 705*2^1407756-1 is not prime. Res64: E0CDC03F9B2A67BB Time : 0.0 sec. user=mdettweiler [2015-08-29 20:14:24] 707*2^1407756-1 is not prime. Res64: 987ADC161451206D Time : 0.0 sec. user=mdettweiler [2015-08-29 20:14:24] 749*2^1407756-1 is not prime. Res64: 6E7A2FD4D8F084F8 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:31:56] 759*2^1407756-1 is not prime. Res64: 30D6C1AD88D79DBB Time : 0.0 sec. user=mdettweiler [2015-08-29 20:31:57] 765*2^1407756-1 is not prime. Res64: 08BD6D8274757145 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:32:03] 779*2^1407756-1 is not prime. Res64: 58AF7351BA8DDA81 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:32:03] 789*2^1407756-1 is not prime. Res64: F6883D179D449FF1 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:32:39] 857*2^1407756-1 is not prime. Res64: B30AEC44311DB8AF Time : 0.0 sec. user=mdettweiler [2015-08-29 20:32:39] 975*2^1407756-1 is not prime. Res64: B9D9C30CBAE286F2 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:33:07] 675*2^1407757-1 is not prime. Res64: 3E8EE43918EFC120 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:33:08] 777*2^1407757-1 is not prime. Res64: 2F737E2FBBA62052 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:50:59] 801*2^1407757-1 is not prime. Res64: 0C100ED44188274B Time : 0.0 sec. user=mdettweiler [2015-08-29 20:50:59] 817*2^1407757-1 is not prime. Res64: C595BFAC78B38FE5 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:51:31] 847*2^1407757-1 is not prime. Res64: 9BBAE0730E3A43AA Time : 0.0 sec. user=mdettweiler [2015-08-29 20:51:31] 731*2^1407758-1 is not prime. Res64: 895E3BECF9FE834A Time : 0.0 sec. user=mdettweiler [2015-08-29 20:51:55] 753*2^1407758-1 is not prime. Res64: 82C16B34CAC4BADB Time : 0.0 sec. user=mdettweiler [2015-08-29 20:51:55] 767*2^1407758-1 is not prime. Res64: 9A796D1B65A03DB9 Time : 0.0 sec. user=mdettweiler [2015-08-29 20:53:02] 815*2^1407758-1 is not prime. Res64: 2E22DB8DB8F3A6FB Time : 0.0 sec. user=mdettweiler [2015-08-29 20:53:02] 843*2^1407758-1 is not prime. Res64: 8482B2220C76186D Time : 0.0 sec. user=mdettweiler [2015-08-29 21:10:09] 845*2^1407758-1 is not prime. Res64: B03E685C9B45BA5F Time : 0.0 sec. user=mdettweiler [2015-08-29 21:10:10] 935*2^1407758-1 is not prime. Res64: 4B4C06CE3C12E48B Time : 0.0 sec. user=mdettweiler [2015-08-29 21:11:04] 795*2^1407759-1 is not prime. Res64: 691393E5FBBCEB14 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:11:04] 885*2^1407759-1 is not prime. Res64: 963BAED5886012D6 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:11:10] 945*2^1407758-1 is not prime. Res64: 60A0ECE1A14DDCEF Time : 0.0 sec. user=mdettweiler [2015-08-29 21:11:10] 661*2^1407759-1 is not prime. Res64: E3AB79099D4645C2 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:11:54] 891*2^1407759-1 is not prime. Res64: DEB8B78EC45100EB Time : 0.0 sec. user=mdettweiler [2015-08-29 21:11:54] 895*2^1407759-1 is not prime. Res64: EC7FAE07D3BE2FC2 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:29:27] 913*2^1407759-1 is not prime. Res64: DF2D329BE0D38F1A Time : 0.0 sec. user=mdettweiler [2015-08-29 21:29:27] 933*2^1407759-1 is not prime. Res64: 854636A1EA7C565E Time : 0.0 sec. user=mdettweiler [2015-08-29 21:30:08] 645*2^1407760-1 is not prime. Res64: E5F04DF796B4DE9B Time : 0.0 sec. user=mdettweiler [2015-08-29 21:30:10] 755*2^1407760-1 is not prime. Res64: CB3E1D72904CF781 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:30:32] 819*2^1407760-1 is not prime. Res64: D5B5B6E597F03E95 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:30:32] 685*2^1407761-1 is not prime. Res64: D3B17EEF6A1A86A6 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:31:08] 799*2^1407761-1 is not prime. Res64: F11352B3F16F8B66 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:31:08] 925*2^1407761-1 is not prime. Res64: 1DE257E4E45E6AEF Time : 0.0 sec. user=mdettweiler [2015-08-29 21:48:36] 981*2^1407761-1 is not prime. Res64: A205023906653144 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:48:36] 991*2^1407761-1 is not prime. Res64: E7B461A6638E6E5F Time : 0.0 sec. user=mdettweiler [2015-08-29 21:49:16] 921*2^1407762-1 is not prime. Res64: 96C39DF8F4973D2D Time : 0.0 sec. user=mdettweiler [2015-08-29 21:49:16] 1001*2^1407762-1 is not prime. Res64: C6EE370F7079A32F Time : 0.0 sec. user=mdettweiler [2015-08-29 21:49:35] 631*2^1407763-1 is not prime. Res64: E7F11037B41B5BB2 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:49:35] 705*2^1407763-1 is not prime. Res64: 16AB1A5B8B723651 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:50:20] 849*2^1407763-1 is not prime. Res64: 536EF50276E16F69 Time : 0.0 sec. user=mdettweiler [2015-08-29 21:50:21] 885*2^1407763-1 is not prime. Res64: 103A7F571DAACF31 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:07:49] 629*2^1407764-1 is not prime. Res64: 6AEACDDF25B0D69A Time : 0.0 sec. user=mdettweiler [2015-08-29 22:07:52] 635*2^1407764-1 is not prime. Res64: 5E5C23F2E7399DB2 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:08:41] 753*2^1407764-1 is not prime. Res64: 71638AE5B226C60C Time : 0.0 sec. user=mdettweiler [2015-08-29 22:08:43] 759*2^1407764-1 is not prime. Res64: 56022D7741DB801B Time : 0.0 sec. user=mdettweiler [2015-08-29 22:08:46] 665*2^1407764-1 is not prime. Res64: 07019F0E0B298D9D Time : 0.0 sec. user=mdettweiler [2015-08-29 22:08:48] 687*2^1407764-1 is not prime. Res64: 68F97476040E4E4C Time : 0.0 sec. user=mdettweiler [2015-08-29 22:09:53] 843*2^1407764-1 is not prime. Res64: 347E6A3800013E23 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:09:53] 869*2^1407764-1 is not prime. Res64: 4A1CDFBAA232B7C9 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:25:47] 873*2^1407764-1 is not prime. Res64: 0260BFEA203CC2BA Time : 0.0 sec. user=mdettweiler [2015-08-29 22:25:47] 935*2^1407764-1 is not prime. Res64: 1BE2547B7CE72281 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:26:25] 609*2^1407765-1 is not prime. Res64: 912D14C56726E718 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:26:25] 787*2^1407765-1 is not prime. Res64: E613C5D745016EF0 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:26:35] 795*2^1407765-1 is not prime. Res64: 7562A44F5F81F840 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:26:36] 819*2^1407765-1 is not prime. Res64: 32D8D96A4A149D2C Time : 0.0 sec. user=mdettweiler [2015-08-29 22:27:37] 825*2^1407765-1 is not prime. Res64: C799D7D936149F15 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:27:37] 937*2^1407765-1 is not prime. Res64: 9D8B6BD81589BC16 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:43:31] 765*2^1407766-1 is not prime. Res64: 4FE0D6C744D9AAF7 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:43:32] 855*2^1407766-1 is not prime. Res64: ED990A16B45543A5 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:44:07] 645*2^1407767-1 is not prime. Res64: 04047A92B6C9F926 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:44:07] 685*2^1407767-1 is not prime. Res64: C652234A0C0D6E00 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:44:20] 711*2^1407767-1 is not prime. Res64: CA78A503B09C2E62 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:44:20] 909*2^1407767-1 is not prime. Res64: 3332D16C841EBFF5 Time : 0.0 sec. user=mdettweiler [2015-08-29 22:45:21] 777*2^1407768-1 is not prime. Res64: F4234EE992819DFB Time : 0.0 sec. user=mdettweiler [2015-08-29 22:45:21] 875*2^1407768-1 is not prime. Res64: 2934B1126B7B1F4D Time : 0.0 sec. user=mdettweiler [2015-08-29 23:01:32] 879*2^1407768-1 is not prime. Res64: 4BA6D5D6EE5342C7 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:01:33] 909*2^1407768-1 is not prime. Res64: B86591BB692EF66A Time : 0.0 sec. user=mdettweiler [2015-08-29 23:02:18] 997*2^1407769-1 is not prime. Res64: FB9C00302608D869 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:02:19] 671*2^1407770-1 is not prime. Res64: 8D86C7CDE19C01F5 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:02:19] 799*2^1407769-1 is not prime. Res64: F1CD19F76925F3C2 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:02:20] 985*2^1407769-1 is not prime. Res64: 57E4D0D01E99B3C2 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:03:30] 717*2^1407770-1 is not prime. Res64: A8497588CE5C44AC Time : 0.0 sec. user=mdettweiler [2015-08-29 23:03:31] 783*2^1407770-1 is not prime. Res64: 3AD96E6A545C04B4 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:20:06] 785*2^1407770-1 is not prime. Res64: 010154EECB540D34 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:20:07] 813*2^1407770-1 is not prime. Res64: 49C3061C5A1C0DF1 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:20:48] 833*2^1407770-1 is not prime. Res64: CCC1EBC59902A2E5 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:20:48] 945*2^1407770-1 is not prime. Res64: 61D4D4621A5F39C5 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:20:48] 971*2^1407770-1 is not prime. Res64: 91444AD626E5A594 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:20:48] 867*2^1407770-1 is not prime. Res64: 9E2DFEF51BA42E9B Time : 0.0 sec. user=mdettweiler [2015-08-29 23:21:53] 639*2^1407771-1 is not prime. Res64: E02489C63031EACA Time : 0.0 sec. user=mdettweiler [2015-08-29 23:21:54] 741*2^1407771-1 is not prime. Res64: 6DEDAA06839DFA24 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:38:28] 745*2^1407771-1 is not prime. Res64: 309EF8DEBB3DDDCF Time : 0.0 sec. user=mdettweiler [2015-08-29 23:38:29] 629*2^1407772-1 is not prime. Res64: 3BC3C28AC3F02C37 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:39:10] 697*2^1407773-1 is not prime. Res64: 8B85DBA178A8C830 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:39:10] 735*2^1407773-1 is not prime. Res64: 0956996AEA2D7B11 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:39:10] 833*2^1407772-1 is not prime. Res64: 4B99E5E0C18A5DF3 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:39:11] 975*2^1407772-1 is not prime. Res64: 5C3C0569930A904B Time : 0.0 sec. user=mdettweiler [2015-08-29 23:40:19] 741*2^1407773-1 is not prime. Res64: 6B76853C92A8E020 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:40:19] 781*2^1407773-1 is not prime. Res64: 313D0B9C7ECC348D Time : 0.0 sec. user=mdettweiler [2015-08-29 23:56:54] 879*2^1407773-1 is not prime. Res64: D30FFCDF2409A167 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:56:54] 957*2^1407773-1 is not prime. Res64: 7F7111111C7FA83F Time : 0.0 sec. user=mdettweiler [2015-08-29 23:57:31] 981*2^1407773-1 is not prime. Res64: 3FB14B8D8BB82BE6 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:57:31] 681*2^1407774-1 is not prime. Res64: E703A47B0F433B7B Time : 0.0 sec. user=mdettweiler [2015-08-29 23:57:43] 717*2^1407774-1 is not prime. Res64: 548DA43DA3E1766C Time : 0.0 sec. user=mdettweiler [2015-08-29 23:57:43] 737*2^1407774-1 is not prime. Res64: B4AD4E6999925036 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:58:51] 755*2^1407774-1 is not prime. Res64: 9B339EF2385E7A90 Time : 0.0 sec. user=mdettweiler [2015-08-29 23:58:51] 863*2^1407774-1 is not prime. Res64: 0CE6F38B8C90F7EF Time : 0.0 sec.