user=mdettweiler [2016-05-01 00:04:42] 811*2^1427909-1 is not prime. Res64: 70D81B2B62CC7294 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:04:43] 861*2^1427909-1 is not prime. Res64: 662CE6B85B7D3F5C Time : 0.0 sec. user=mdettweiler [2016-05-01 00:04:43] 879*2^1427909-1 is not prime. Res64: 542A1B703C6B509C Time : 0.0 sec. user=mdettweiler [2016-05-01 00:04:44] 897*2^1427909-1 is not prime. Res64: 53219F58FDFC6C4B Time : 0.0 sec. user=mdettweiler [2016-05-01 00:04:44] 925*2^1427909-1 is not prime. Res64: 5CA9BE75EA0A5EC4 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:05:18] 951*2^1427909-1 is not prime. Res64: 1076D276B5E46A3A Time : 0.0 sec. user=mdettweiler [2016-05-01 00:05:20] 985*2^1427909-1 is not prime. Res64: 44D964A909364DB1 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:05:20] 681*2^1427910-1 is not prime. Res64: 10639AE960B2EC74 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:05:21] 717*2^1427910-1 is not prime. Res64: EED6B6CC71DB4815 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:05:22] 765*2^1427910-1 is not prime. Res64: 78C2931EAED51324 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:21] 833*2^1427910-1 is not prime. Res64: E96AE1F521391BB6 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:21] 649*2^1427911-1 is not prime. Res64: B364A827B32A2949 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:22] 681*2^1427911-1 is not prime. Res64: 02A05B1E3FE5E492 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:22] 843*2^1427911-1 is not prime. Res64: E000386DD708D7A9 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:22] 703*2^1427911-1 is not prime. Res64: F7AD66E54F5359AD Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:22] 973*2^1427911-1 is not prime. Res64: 424D95CF65955150 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:22] 735*2^1427911-1 is not prime. Res64: 373ADDAD2E9217DA Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:23] 993*2^1427911-1 is not prime. Res64: 5A72EE10C2BB6AF3 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:23] 629*2^1427912-1 is not prime. Res64: 2FE9A300B39C5941 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:32:24] 689*2^1427912-1 is not prime. Res64: 7776115954C4D514 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:49:57] 785*2^1427912-1 is not prime. Res64: 04444671BED20E99 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:49:57] 797*2^1427912-1 is not prime. Res64: B115322A311220D7 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:49:57] 813*2^1427912-1 is not prime. Res64: E699E693731243DA Time : 0.0 sec. user=mdettweiler [2016-05-01 00:49:58] 999*2^1427912-1 is not prime. Res64: 12FFE0AD5BBCF1B4 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:49:58] 615*2^1427913-1 is not prime. Res64: 761BEF22C4C0774D Time : 0.0 sec. user=mdettweiler [2016-05-01 00:50:28] 627*2^1427913-1 is not prime. Res64: 9818F04E161A2E7B Time : 0.0 sec. user=mdettweiler [2016-05-01 00:50:28] 657*2^1427913-1 is not prime. Res64: D493AD4E315DDE89 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:50:28] 679*2^1427913-1 is not prime. Res64: 57E4C0F39780A2F2 Time : 0.0 sec. user=mdettweiler [2016-05-01 00:50:29] 691*2^1427913-1 is not prime. Res64: B776814AF873AF1F Time : 0.0 sec. user=mdettweiler [2016-05-01 00:50:29] 781*2^1427913-1 is not prime. Res64: 1D833A9E494B2AF4 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:24] 807*2^1427913-1 is not prime. Res64: EB3FAE31943A3DAA Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:24] 901*2^1427913-1 is not prime. Res64: 656BD250EE324244 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:25] 623*2^1427914-1 is not prime. Res64: AB5DBE78E619C7EC Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:26] 681*2^1427914-1 is not prime. Res64: 578134EA7EF2B57B Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:27] 687*2^1427914-1 is not prime. Res64: EEB43E2768AA0E1C Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:30] 707*2^1427914-1 is not prime. Res64: EF9A8C5030B763C5 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:31] 747*2^1427914-1 is not prime. Res64: 1698C5B83B71A80D Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:31] 971*2^1427914-1 is not prime. Res64: EF3DD47F858C6C29 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:32] 983*2^1427914-1 is not prime. Res64: C024941D202527A7 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:17:33] 601*2^1427915-1 is not prime. Res64: AA009BA3F8CCEE80 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:34:56] 663*2^1427915-1 is not prime. Res64: 3ECBB70EF693089E Time : 0.0 sec. user=mdettweiler [2016-05-01 01:34:56] 675*2^1427915-1 is not prime. Res64: 9C8C31BED86E19A5 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:34:57] 705*2^1427915-1 is not prime. Res64: EDE131A9DF6162DB Time : 0.0 sec. user=mdettweiler [2016-05-01 01:34:57] 799*2^1427915-1 is not prime. Res64: D935E76C468B093F Time : 0.0 sec. user=mdettweiler [2016-05-01 01:34:57] 801*2^1427915-1 is not prime. Res64: B072039B37B954EA Time : 0.0 sec. user=mdettweiler [2016-05-01 01:35:31] 861*2^1427915-1 is not prime. Res64: AC3ADAD7B1410246 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:35:31] 921*2^1427915-1 is not prime. Res64: 6790C1ECCBE5A503 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:35:31] 983*2^1427916-1 is not prime. Res64: 2EF0AAD118E09512 Time : 0.0 sec. user=mdettweiler [2016-05-01 01:35:32] 609*2^1427917-1 is not prime. Res64: 016040EBDA67A78E Time : 0.0 sec. user=mdettweiler [2016-05-01 01:35:32] 829*2^1427917-1 is not prime. Res64: 7066FC7EA124A8B9 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:51] 861*2^1427917-1 is not prime. Res64: 37E6D24CF451A543 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:52] 897*2^1427917-1 is not prime. Res64: D72AD51AB0E309B4 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:53] 901*2^1427917-1 is not prime. Res64: 5E24D54ED5CF7A72 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:54] 657*2^1427918-1 is not prime. Res64: 8FA9061844480604 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:54] 945*2^1427917-1 is not prime. Res64: 86D1EB2DD1EEA5D5 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:55] 671*2^1427918-1 is not prime. Res64: 144FC00D50275FBF Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:56] 627*2^1427918-1 is not prime. Res64: A8DBC50C9D99E03E Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:56] 743*2^1427918-1 is not prime. Res64: 2E7662A569553718 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:57] 857*2^1427918-1 is not prime. Res64: 8BC771EAD9D4E5BD Time : 0.0 sec. user=mdettweiler [2016-05-01 02:02:58] 885*2^1427918-1 is not prime. Res64: 693668FCB97E93F8 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:20:15] 963*2^1427918-1 is not prime. Res64: 51A0B4738A03C635 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:20:15] 971*2^1427918-1 is not prime. Res64: 7058E0FBCD13246F Time : 0.0 sec. user=mdettweiler [2016-05-01 02:20:16] 669*2^1427919-1 is not prime. Res64: 3665ED15FAFE8F13 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:20:16] 775*2^1427919-1 is not prime. Res64: 48DA5A9CE214CC52 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:20:17] 831*2^1427919-1 is not prime. Res64: 453E27C4D1D76BE4 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:21:08] 949*2^1427919-1 is not prime. Res64: 18CC892875B20A26 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:21:09] 675*2^1427920-1 is not prime. Res64: 2AFD9D1288502EEA Time : 0.0 sec. user=mdettweiler [2016-05-01 02:21:09] 677*2^1427920-1 is not prime. Res64: 67041C828ACF5A1C Time : 0.0 sec. user=mdettweiler [2016-05-01 02:21:09] 755*2^1427920-1 is not prime. Res64: 02C54A53ACCD574B Time : 0.0 sec. user=mdettweiler [2016-05-01 02:21:10] 765*2^1427920-1 is not prime. Res64: 544C6FEC53CA42FE Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:22] 949*2^1427921-1 is not prime. Res64: 52DE457EE2E529AB Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:22] 955*2^1427921-1 is not prime. Res64: 542828B598C4F831 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:23] 991*2^1427921-1 is not prime. Res64: 2CAE269388575836 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:23] 855*2^1427920-1 is not prime. Res64: 0EE03136FCF97BD4 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:23] 657*2^1427922-1 is not prime. Res64: 6495C7549606511B Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:23] 863*2^1427920-1 is not prime. Res64: 5EAE03658844742C Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:24] 735*2^1427922-1 is not prime. Res64: D04AE80B4739E4A1 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:24] 631*2^1427921-1 is not prime. Res64: BB88C48100006DB4 Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:24] 777*2^1427921-1 is not prime. Res64: 32BA1073D985B33D Time : 0.0 sec. user=mdettweiler [2016-05-01 02:48:25] 801*2^1427921-1 is not prime. Res64: 203A901AA53CDCA6 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:05:26] 703*2^1427923-1 is not prime. Res64: EEF96172ABB79D04 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:05:28] 735*2^1427923-1 is not prime. Res64: BB85280A16AC4F34 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:05:30] 969*2^1427923-1 is not prime. Res64: 6E0F1CDC1B75091B Time : 0.0 sec. user=mdettweiler [2016-05-01 03:05:31] 635*2^1427924-1 is not prime. Res64: 76D7B62808B8D3AE Time : 0.0 sec. user=mdettweiler [2016-05-01 03:05:34] 759*2^1427924-1 is not prime. Res64: 63178E663D935D16 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:06:11] 767*2^1427924-1 is not prime. Res64: 4DBC31BEC22296AE Time : 0.0 sec. user=mdettweiler [2016-05-01 03:06:13] 789*2^1427924-1 is not prime. Res64: 6EA04C3E016AA170 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:06:16] 833*2^1427924-1 is not prime. Res64: 878E84FFF61EE693 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:06:19] 837*2^1427924-1 is not prime. Res64: AC4542686874E162 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:06:21] 885*2^1427924-1 is not prime. Res64: F364E29AA52EACFE Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:36] 805*2^1427925-1 is not prime. Res64: 16B5C769A1E388EA Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:37] 847*2^1427925-1 is not prime. Res64: 12EE53AB3FCED367 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:38] 919*2^1427925-1 is not prime. Res64: 41AE23374A7A748D Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:39] 695*2^1427926-1 is not prime. Res64: 9C896CB44FF44A3D Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:39] 917*2^1427926-1 is not prime. Res64: 90A0B99D98DEAEFB Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:43] 935*2^1427924-1 is not prime. Res64: DD1F90D6E469E80C Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:46] 625*2^1427925-1 is not prime. Res64: 407AA95C3909B39F Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:47] 709*2^1427925-1 is not prime. Res64: 079469067ECF6F4E Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:48] 765*2^1427925-1 is not prime. Res64: 4C04EB6115E107A0 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:33:49] 781*2^1427925-1 is not prime. Res64: 063F61C7AD9A2F47 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:08] 947*2^1427926-1 is not prime. Res64: D07C0E36A10A2275 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:10] 965*2^1427926-1 is not prime. Res64: 6F17CAE2345E4CAA Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:12] 993*2^1427926-1 is not prime. Res64: 9626C4CEB51280A7 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:13] 603*2^1427927-1 is not prime. Res64: A540D84E2D4794E7 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:16] 621*2^1427927-1 is not prime. Res64: B2131F3917421F5A Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:53] 651*2^1427927-1 is not prime. Res64: 680227980CF93A13 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:54] 661*2^1427927-1 is not prime. Res64: 0BB0F87521286A82 Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:55] 799*2^1427927-1 is not prime. Res64: 6D483E3D2C85878C Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:56] 955*2^1427927-1 is not prime. Res64: ED48DAA375B912CF Time : 0.0 sec. user=mdettweiler [2016-05-01 03:51:58] 993*2^1427927-1 is not prime. Res64: 390ADA9F7D19FA3E Time : 0.0 sec. user=mdettweiler [2016-05-01 04:19:37] 899*2^1427928-1 is not prime. Res64: 8FA8D002B85ECB99 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:19:38] 945*2^1427928-1 is not prime. Res64: E598CB4BA7A90B93 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:19:38] 615*2^1427929-1 is not prime. Res64: 055B58888B42E6F7 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:19:38] 639*2^1427929-1 is not prime. Res64: 51A57DB5513AC7C4 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:19:39] 687*2^1427929-1 is not prime. Res64: F09A4BA2AF36D4E3 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:20:16] 999*2^1427927-1 is not prime. Res64: 9197DC11046BA185 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:20:17] 725*2^1427928-1 is not prime. Res64: F52C7C9EA0EBA1EC Time : 0.0 sec. user=mdettweiler [2016-05-01 04:20:17] 747*2^1427928-1 is not prime. Res64: A5851CF1C178A6CF Time : 0.0 sec. user=mdettweiler [2016-05-01 04:20:17] 839*2^1427928-1 is not prime. Res64: 3857741FD5196BD7 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:20:18] 843*2^1427928-1 is not prime. Res64: DF1DB12B877FACE7 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:38:38] 759*2^1427929-1 is not prime. Res64: C2D17CC4A4576907 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:38:39] 877*2^1427929-1 is not prime. Res64: D0F4C51A4DCFEAFD Time : 0.0 sec. user=mdettweiler [2016-05-01 04:38:40] 797*2^1427930-1 is not prime. Res64: E730FCBC217C9212 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:38:40] 827*2^1427930-1 is not prime. Res64: 0E36D5421C209E33 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:38:41] 831*2^1427930-1 is not prime. Res64: 8377AB0D930F00FB Time : 0.0 sec. user=mdettweiler [2016-05-01 04:39:33] 893*2^1427930-1 is not prime. Res64: 25FB48EFA5FA246F Time : 0.0 sec. user=mdettweiler [2016-05-01 04:39:34] 917*2^1427930-1 is not prime. Res64: F0ADC955E96A21C8 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:39:34] 935*2^1427930-1 is not prime. Res64: 15B6EADA2C35EB84 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:39:34] 709*2^1427931-1 is not prime. Res64: 276CE2B28DB864C5 Time : 0.0 sec. user=mdettweiler [2016-05-01 04:39:35] 741*2^1427931-1 is not prime. Res64: 5CB6CD25E9675C75 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:08] 823*2^1427931-1 is not prime. Res64: 4201C29B6EAEDDF0 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:10] 859*2^1427931-1 is not prime. Res64: 98B75E9D5FF4FA2E Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:11] 979*2^1427931-1 is not prime. Res64: 488147170222E8C2 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:12] 639*2^1427932-1 is not prime. Res64: EF5334C26169C87B Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:13] 695*2^1427932-1 is not prime. Res64: D4F524632162AAA2 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:40] 843*2^1427932-1 is not prime. Res64: 086C248EB450388C Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:40] 873*2^1427932-1 is not prime. Res64: 33AF287B531F3AA6 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:41] 897*2^1427932-1 is not prime. Res64: 6CB1B5ADDCF10F73 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:41] 909*2^1427932-1 is not prime. Res64: 3E852ABF5EF11A3B Time : 0.0 sec. user=mdettweiler [2016-05-01 05:06:41] 615*2^1427933-1 is not prime. Res64: 38732D9E552AAED8 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:24:38] 619*2^1427933-1 is not prime. Res64: 9DDF00228974CDE4 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:24:38] 721*2^1427933-1 is not prime. Res64: 68BFD0AD175E4640 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:24:39] 735*2^1427933-1 is not prime. Res64: 5DBEB4CA9E7C561D Time : 0.0 sec. user=mdettweiler [2016-05-01 05:24:39] 787*2^1427933-1 is not prime. Res64: 9C4CAD7568B9F20A Time : 0.0 sec. user=mdettweiler [2016-05-01 05:24:39] 795*2^1427933-1 is not prime. Res64: 4283D7EBAE43B4E2 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:25:36] 981*2^1427933-1 is not prime. Res64: 58BB1A29E0DE6E28 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:25:37] 605*2^1427934-1 is not prime. Res64: CC172BE6558C8149 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:25:37] 657*2^1427934-1 is not prime. Res64: 9256EE3E707DB8CE Time : 0.0 sec. user=mdettweiler [2016-05-01 05:25:38] 707*2^1427934-1 is not prime. Res64: 3B68880A873E56BA Time : 0.0 sec. user=mdettweiler [2016-05-01 05:25:38] 815*2^1427934-1 is not prime. Res64: ED6FF9EDB38C3227 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:51:34] 873*2^1427934-1 is not prime. Res64: 2C976C18664E895B Time : 0.0 sec. user=mdettweiler [2016-05-01 05:51:34] 891*2^1427934-1 is not prime. Res64: 8A03E9F91B9E832C Time : 0.0 sec. user=mdettweiler [2016-05-01 05:51:34] 927*2^1427934-1 is not prime. Res64: 3DC65B53ACC5694D Time : 0.0 sec. user=mdettweiler [2016-05-01 05:51:35] 951*2^1427934-1 is not prime. Res64: B46C61B091AD2013 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:51:35] 971*2^1427934-1 is not prime. Res64: 7BA5F59BD1C08668 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:52:13] 633*2^1427935-1 is not prime. Res64: 1B23857E68B95759 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:52:13] 751*2^1427935-1 is not prime. Res64: B000A8DFCF7282C0 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:52:13] 853*2^1427935-1 is not prime. Res64: E1B65138F392B0BE Time : 0.0 sec. user=mdettweiler [2016-05-01 05:52:14] 979*2^1427935-1 is not prime. Res64: B899F252024D26F3 Time : 0.0 sec. user=mdettweiler [2016-05-01 05:52:14] 999*2^1427935-1 is not prime. Res64: 8CF308D1B081E4CA Time : 0.0 sec. user=mdettweiler [2016-05-01 06:09:52] 603*2^1427936-1 is not prime. Res64: EDD696ED62EFB073 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:09:53] 803*2^1427936-1 is not prime. Res64: EA956EA2E4AAC739 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:09:53] 917*2^1427936-1 is not prime. Res64: 232E40B7CF4BC948 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:09:53] 607*2^1427937-1 is not prime. Res64: 21F7BCA53D301A93 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:09:54] 709*2^1427937-1 is not prime. Res64: 4B74233C6A5358DA Time : 0.0 sec. user=mdettweiler [2016-05-01 06:10:50] 739*2^1427937-1 is not prime. Res64: 729C5103AA7BFD4D Time : 0.0 sec. user=mdettweiler [2016-05-01 06:10:50] 747*2^1427937-1 is not prime. Res64: CFA4128B0AA1634A Time : 0.0 sec. user=mdettweiler [2016-05-01 06:10:50] 759*2^1427937-1 is not prime. Res64: 57B45792A03642FE Time : 0.0 sec. user=mdettweiler [2016-05-01 06:10:51] 765*2^1427937-1 is not prime. Res64: FC3357C7A3097543 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:10:51] 781*2^1427937-1 is not prime. Res64: 44A8BF76080B122A Time : 0.0 sec. user=mdettweiler [2016-05-01 06:36:32] 805*2^1427937-1 is not prime. Res64: 9B6FC1540AE9A157 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:36:33] 817*2^1427937-1 is not prime. Res64: F141DE6E0EBC19EC Time : 0.0 sec. user=mdettweiler [2016-05-01 06:36:33] 885*2^1427937-1 is not prime. Res64: 9621F4624E571628 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:36:33] 975*2^1427937-1 is not prime. Res64: 9004DA21F49F749F Time : 0.0 sec. user=mdettweiler [2016-05-01 06:36:34] 735*2^1427938-1 is not prime. Res64: 794BDD5457EFD55B Time : 0.0 sec. user=mdettweiler [2016-05-01 06:37:14] 747*2^1427938-1 is not prime. Res64: CA84AE24CDA29A58 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:37:15] 803*2^1427938-1 is not prime. Res64: BBA23A4798EEEB6E Time : 0.0 sec. user=mdettweiler [2016-05-01 06:37:15] 867*2^1427938-1 is not prime. Res64: A8D5324006D30436 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:37:15] 911*2^1427938-1 is not prime. Res64: 5D718D6BE3B59B75 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:37:16] 655*2^1427939-1 is not prime. Res64: 217CBB9292C295C6 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:55:00] 693*2^1427939-1 is not prime. Res64: BF2B9A3B207E2650 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:55:01] 703*2^1427939-1 is not prime. Res64: F80CE30DC765FAF6 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:55:01] 735*2^1427939-1 is not prime. Res64: 23DDDDC696AFD5DF Time : 0.0 sec. user=mdettweiler [2016-05-01 06:55:01] 771*2^1427939-1 is not prime. Res64: 26919F8801DEF354 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:55:02] 813*2^1427939-1 is not prime. Res64: D6719771189860F6 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:56:02] 825*2^1427939-1 is not prime. Res64: 611A00BE3A7D617E Time : 0.0 sec. user=mdettweiler [2016-05-01 06:56:03] 843*2^1427939-1 is not prime. Res64: D7F0B87AB344A2FA Time : 0.0 sec. user=mdettweiler [2016-05-01 06:56:03] 859*2^1427939-1 is not prime. Res64: 906F42D4A828A47E Time : 0.0 sec. user=mdettweiler [2016-05-01 06:56:03] 885*2^1427939-1 is not prime. Res64: 3782B857F4EEE6B5 Time : 0.0 sec. user=mdettweiler [2016-05-01 06:56:04] 973*2^1427939-1 is not prime. Res64: F3CE94261C34CB32 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:21:40] 633*2^1427940-1 is not prime. Res64: 2D3DD0AB13AF3DDF Time : 0.0 sec. user=mdettweiler [2016-05-01 07:21:41] 737*2^1427940-1 is not prime. Res64: 7F1F531DFAD2F595 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:21:41] 803*2^1427940-1 is not prime. Res64: E82C9A5535CE5174 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:21:41] 867*2^1427940-1 is not prime. Res64: FF028B367D2BB0D4 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:21:42] 909*2^1427940-1 is not prime. Res64: 586ACBD9EB9AC8DC Time : 0.0 sec. user=mdettweiler [2016-05-01 07:22:12] 959*2^1427940-1 is not prime. Res64: 044A35FA7F840D6A Time : 0.0 sec. user=mdettweiler [2016-05-01 07:22:13] 975*2^1427940-1 is not prime. Res64: 1ABC3F88F2B37ECC Time : 0.0 sec. user=mdettweiler [2016-05-01 07:22:13] 983*2^1427940-1 is not prime. Res64: B73AE9893546E879 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:22:14] 609*2^1427941-1 is not prime. Res64: 26902192006FF25E Time : 0.0 sec. user=mdettweiler [2016-05-01 07:22:14] 687*2^1427941-1 is not prime. Res64: A79FD089D541B969 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:40:05] 745*2^1427941-1 is not prime. Res64: A1D5F4A8612FEC2E Time : 0.0 sec. user=mdettweiler [2016-05-01 07:40:06] 769*2^1427941-1 is not prime. Res64: D593AB0E5F5ADAAC Time : 0.0 sec. user=mdettweiler [2016-05-01 07:40:06] 889*2^1427941-1 is not prime. Res64: 72B2DE476840D326 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:40:07] 945*2^1427941-1 is not prime. Res64: 92B8EF122ED9BB46 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:40:07] 951*2^1427941-1 is not prime. Res64: D1BA3A5C1C80DF62 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:41:09] 957*2^1427941-1 is not prime. Res64: 9FF98739D7ECA135 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:41:09] 999*2^1427941-1 is not prime. Res64: 7639BFA33B5888D6 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:41:10] 693*2^1427942-1 is not prime. Res64: DFBEA616662E8AC8 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:41:11] 827*2^1427942-1 is not prime. Res64: A529BEDAE96AA880 Time : 0.0 sec. user=mdettweiler [2016-05-01 07:41:12] 935*2^1427942-1 is not prime. Res64: F7C96BA5509117F3 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:06:52] 849*2^1427943-1 is not prime. Res64: CA6C7E45EC1E0F53 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:06:52] 961*2^1427943-1 is not prime. Res64: C2DD498C819522F9 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:06:53] 605*2^1427944-1 is not prime. Res64: 4114F3A91D8DE42E Time : 0.0 sec. user=mdettweiler [2016-05-01 08:06:53] 677*2^1427944-1 is not prime. Res64: 84FB1FD8800EAEB7 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:06:54] 807*2^1427944-1 is not prime. Res64: 99E4ED24A10189CF Time : 0.0 sec. user=mdettweiler [2016-05-01 08:07:24] 827*2^1427944-1 is not prime. Res64: 4ADA07A05D65C7D6 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:07:24] 887*2^1427944-1 is not prime. Res64: DDE919F6F9E68EBF Time : 0.0 sec. user=mdettweiler [2016-05-01 08:07:25] 645*2^1427945-1 is not prime. Res64: F9C8575043C3BDA7 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:07:25] 907*2^1427945-1 is not prime. Res64: B4E07D58F19AF78E Time : 0.0 sec. user=mdettweiler [2016-05-01 08:07:25] 615*2^1427946-1 is not prime. Res64: 197442237DDCB35B Time : 0.0 sec. user=mdettweiler [2016-05-01 08:25:08] 641*2^1427946-1 is not prime. Res64: D895D6A4EE531E93 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:25:08] 705*2^1427946-1 is not prime. Res64: 05811528863C3CBB Time : 0.0 sec. user=mdettweiler [2016-05-01 08:25:08] 711*2^1427946-1 is not prime. Res64: E034D9A0AEEAC3BE Time : 0.0 sec. user=mdettweiler [2016-05-01 08:25:09] 717*2^1427946-1 is not prime. Res64: 4EB230D7A42071B5 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:25:09] 725*2^1427946-1 is not prime. Res64: C6E525BAC9E16F0D Time : 0.0 sec. user=mdettweiler [2016-05-01 08:26:20] 783*2^1427946-1 is not prime. Res64: 48211F5D4A3519DC Time : 0.0 sec. user=mdettweiler [2016-05-01 08:26:20] 887*2^1427946-1 is not prime. Res64: E70D6A1C152301B3 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:26:20] 603*2^1427947-1 is not prime. Res64: 6C7367A5371FFA13 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:26:21] 693*2^1427947-1 is not prime. Res64: 9CE6C8F6326EE3E7 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:26:21] 733*2^1427947-1 is not prime. Res64: 759CFE101DA45823 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:08] 829*2^1427947-1 is not prime. Res64: 04844ACA2B2F238E Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:09] 617*2^1427948-1 is not prime. Res64: 4078ACFF6B126BD1 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:09] 669*2^1427948-1 is not prime. Res64: D61265DFAFFB1CBC Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:10] 819*2^1427948-1 is not prime. Res64: D5DFA3015E0F074C Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:10] 839*2^1427948-1 is not prime. Res64: AA1B652F55D17265 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:41] 923*2^1427948-1 is not prime. Res64: BCBC0D5287E344ED Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:42] 945*2^1427948-1 is not prime. Res64: E669D11AA21A364F Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:42] 615*2^1427949-1 is not prime. Res64: 6CEAD4187373024F Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:43] 625*2^1427949-1 is not prime. Res64: 860B3981F66D7141 Time : 0.0 sec. user=mdettweiler [2016-05-01 08:52:43] 765*2^1427949-1 is not prime. Res64: 1CD94FF02D03065C Time : 0.0 sec. user=mdettweiler [2016-05-01 09:10:06] 829*2^1427949-1 is not prime. Res64: 5CC532AD5377A840 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:10:07] 891*2^1427949-1 is not prime. Res64: B33858BA2A2F030D Time : 0.0 sec. user=mdettweiler [2016-05-01 09:10:07] 665*2^1427950-1 is not prime. Res64: 02FA55079138DF44 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:10:08] 723*2^1427950-1 is not prime. Res64: C46FC09C48C8479F Time : 0.0 sec. user=mdettweiler [2016-05-01 09:10:08] 861*2^1427950-1 is not prime. Res64: 4833091085CFB585 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:11:32] 885*2^1427950-1 is not prime. Res64: C7EEC6659F5FD213 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:11:33] 911*2^1427950-1 is not prime. Res64: 9AA29B860C07A04F Time : 0.0 sec. user=mdettweiler [2016-05-01 09:11:33] 945*2^1427950-1 is not prime. Res64: 4BEE9BC959B849BA Time : 0.0 sec. user=mdettweiler [2016-05-01 09:11:34] 975*2^1427950-1 is not prime. Res64: D4798BDA13C2CD44 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:11:34] 981*2^1427950-1 is not prime. Res64: BE7579DFD623C789 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:19] 669*2^1427951-1 is not prime. Res64: 3F19C83160FC4590 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:19] 805*2^1427951-1 is not prime. Res64: 6F53847462416B55 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:20] 811*2^1427951-1 is not prime. Res64: ED407FB0D1920036 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:20] 921*2^1427951-1 is not prime. Res64: 76CB4DB91EB5884E Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:20] 991*2^1427951-1 is not prime. Res64: 183E347B632B23AC Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:57] 803*2^1427952-1 is not prime. Res64: 88F85A63B1D554C5 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:58] 909*2^1427952-1 is not prime. Res64: F950153B69251878 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:58] 923*2^1427952-1 is not prime. Res64: 492595EA91676618 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:58] 929*2^1427952-1 is not prime. Res64: 14310A2CF8BA672D Time : 0.0 sec. user=mdettweiler [2016-05-01 09:37:59] 933*2^1427952-1 is not prime. Res64: EB64457B0AC14C32 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:55:25] 977*2^1427952-1 is not prime. Res64: 8A9C67808CCA90F9 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:55:25] 651*2^1427953-1 is not prime. Res64: 895A23FD32FAB326 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:55:25] 775*2^1427953-1 is not prime. Res64: D2960F57491E2F01 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:55:26] 805*2^1427953-1 is not prime. Res64: D3B58A689AA63FD6 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:55:26] 955*2^1427953-1 is not prime. Res64: A26D145D78CC68F1 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:56:36] 635*2^1427954-1 is not prime. Res64: DBBC5450CC42D570 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:56:37] 675*2^1427954-1 is not prime. Res64: 8D12C231453BD77E Time : 0.0 sec. user=mdettweiler [2016-05-01 09:56:37] 683*2^1427954-1 is not prime. Res64: 3948D6F315279546 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:56:37] 731*2^1427954-1 is not prime. Res64: A4C2E4D60BED5527 Time : 0.0 sec. user=mdettweiler [2016-05-01 09:56:38] 785*2^1427954-1 is not prime. Res64: 15D559A97309BA4B Time : 0.0 sec. user=mdettweiler [2016-05-01 10:22:25] 791*2^1427954-1 is not prime. Res64: 42DEC75B8C6A8EDE Time : 0.0 sec. user=mdettweiler [2016-05-01 10:22:26] 861*2^1427954-1 is not prime. Res64: 216520A5A77C2D8D Time : 0.0 sec. user=mdettweiler [2016-05-01 10:22:26] 995*2^1427954-1 is not prime. Res64: 1AD335BA51A5F277 Time : 0.0 sec. user=mdettweiler [2016-05-01 10:22:26] 751*2^1427955-1 is not prime. Res64: EEB33EFB2F511502 Time : 0.0 sec. user=mdettweiler [2016-05-01 10:22:27] 805*2^1427955-1 is not prime. Res64: 531ABFA6DB56F16E Time : 0.0 sec. user=mdettweiler [2016-05-01 10:23:30] 819*2^1427955-1 is not prime. Res64: EB94E8721C3E6836 Time : 0.0 sec. user=mdettweiler [2016-05-01 10:23:31] 871*2^1427955-1 is not prime. Res64: EC5306C8BD33F0B3 Time : 0.0 sec. user=mdettweiler [2016-05-01 10:23:31] 615*2^1427957-1 is not prime. Res64: 61FC67D31DA59A0B Time : 0.0 sec. user=mdettweiler [2016-05-01 10:23:31] 649*2^1427957-1 is not prime. Res64: 902866641C832115 Time : 0.0 sec. user=mdettweiler [2016-05-01 10:23:32] 685*2^1427957-1 is not prime. Res64: 56DA73EBE4BF59BD Time : 0.0 sec. user=mdettweiler [2016-05-01 11:09:51] 609*2^1427959-1 is not prime. Res64: 716158F6BE2F99F5 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:09:52] 645*2^1427959-1 is not prime. Res64: 75238BD4CE242094 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:09:52] 649*2^1427959-1 is not prime. Res64: 5A25AC5B2279932C Time : 0.0 sec. user=mdettweiler [2016-05-01 11:09:53] 723*2^1427959-1 is not prime. Res64: 081A7EB01C8401A4 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:09:53] 759*2^1427959-1 is not prime. Res64: AE8A0C3E4927BB8D Time : 0.0 sec. user=mdettweiler [2016-05-01 11:10:31] 829*2^1427959-1 is not prime. Res64: A82A51942CE5C4E0 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:10:31] 859*2^1427959-1 is not prime. Res64: 9C8E81B99C6A456D Time : 0.0 sec. user=mdettweiler [2016-05-01 11:10:32] 609*2^1427960-1 is not prime. Res64: A4F2124FFFF31B6B Time : 0.0 sec. user=mdettweiler [2016-05-01 11:10:32] 663*2^1427960-1 is not prime. Res64: D38AC4F9B2D08ED0 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:10:33] 669*2^1427960-1 is not prime. Res64: CF49D1B289857BD7 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:44] 735*2^1427960-1 is not prime. Res64: 2AFDCCCFA260BB07 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:44] 773*2^1427960-1 is not prime. Res64: 33D1D5EBB4BF330E Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:44] 959*2^1427960-1 is not prime. Res64: 0F8FDEB62545A6ED Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:45] 657*2^1427961-1 is not prime. Res64: B14BE952EF4859F8 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:45] 711*2^1427961-1 is not prime. Res64: 7BC9B8B23F77B6F8 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:58] 795*2^1427961-1 is not prime. Res64: B146B959A169EB41 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:58] 861*2^1427961-1 is not prime. Res64: 39DFF44D01FE9C9B Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:58] 617*2^1427962-1 is not prime. Res64: 49CA1A0E506EC83A Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:59] 677*2^1427962-1 is not prime. Res64: 3455665322B257A7 Time : 0.0 sec. user=mdettweiler [2016-05-01 11:58:59] 695*2^1427962-1 is not prime. Res64: ABBB41009F899DC6 Time : 0.0 sec. user=mdettweiler [2016-05-01 12:47:28] 701*2^1427962-1 is not prime. Res64: 0B237B5DAE473917 Time : 0.0 sec. user=mdettweiler [2016-05-01 12:47:29] 731*2^1427962-1 is not prime. Res64: E8C74AC48BFCE13F Time : 0.0 sec. user=mdettweiler [2016-05-01 12:47:29] 743*2^1427962-1 is not prime. Res64: B56F1D2ACA06E25A Time : 0.0 sec. user=mdettweiler [2016-05-01 12:47:29] 755*2^1427962-1 is not prime. Res64: 21DDF43BD32FA306 Time : 0.0 sec. user=mdettweiler [2016-05-01 12:47:30] 801*2^1427962-1 is not prime. Res64: 4E08D963E58BB8F3 Time : 0.0 sec. user=mdettweiler [2016-05-01 12:48:23] 885*2^1427962-1 is not prime. Res64: 479F72F3DD3A9100 Time : 0.0 sec. user=mdettweiler [2016-05-01 12:48:23] 887*2^1427962-1 is not prime. Res64: 425617C85458C479 Time : 0.0 sec. user=mdettweiler [2016-05-01 12:48:23] 1001*2^1427962-1 is not prime. Res64: AFB13A05E7A8A752 Time : 0.0 sec. user=mdettweiler [2016-05-01 12:48:24] 615*2^1427963-1 is not prime. Res64: 40F56E805443007D Time : 0.0 sec. user=mdettweiler [2016-05-01 12:48:24] 633*2^1427963-1 is not prime. Res64: DD96397F0D1B4EAE Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:33] 663*2^1427963-1 is not prime. Res64: 6A751A0E5F8D03C7 Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:33] 735*2^1427963-1 is not prime. Res64: C8F42C72DE5DB6EF Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:33] 759*2^1427963-1 is not prime. Res64: 62B6E69F12ABECA1 Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:34] 913*2^1427963-1 is not prime. Res64: 6AB64557F46D04C9 Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:34] 969*2^1427963-1 is not prime. Res64: 8E6FF5BAD8976EE0 Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:54] 675*2^1427964-1 is not prime. Res64: 1A5DA6A77265D64C Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:54] 843*2^1427964-1 is not prime. Res64: 3CCCB9C6788629C9 Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:54] 969*2^1427964-1 is not prime. Res64: 7C9E0204B060F02B Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:54] 975*2^1427964-1 is not prime. Res64: FDD18D7C2B4C4063 Time : 0.0 sec. user=mdettweiler [2016-05-01 13:37:55] 993*2^1427964-1 is not prime. Res64: 9F9E1445B61A0EF5 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:08:57] 685*2^1427965-1 is not prime. Res64: FAC0B49B17991C48 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:08:58] 717*2^1427965-1 is not prime. Res64: AE7199E5D928C2A2 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:08:58] 729*2^1427965-1 is not prime. Res64: FC799CAA2EEA33B6 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:08:58] 871*2^1427965-1 is not prime. Res64: B6454F58ECB487D0 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:08:59] 981*2^1427965-1 is not prime. Res64: 92732D755000CEB4 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:16:14] 773*2^1427966-1 is not prime. Res64: C46F13D819E399B5 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:16:14] 813*2^1427966-1 is not prime. Res64: CBEEB485CD74B7ED Time : 0.0 sec. user=mdettweiler [2016-05-01 15:16:15] 993*2^1427966-1 is not prime. Res64: A93B582E8A60A7AB Time : 0.0 sec. user=mdettweiler [2016-05-01 15:16:15] 619*2^1427967-1 is not prime. Res64: F4F3410CB5B360F6 Time : 0.0 sec. user=mdettweiler [2016-05-01 15:16:15] 709*2^1427967-1 is not prime. Res64: 38C15880CCE9D1D5 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:01:00] 739*2^1427967-1 is not prime. Res64: 0B11DB6B9D23F1FB Time : 0.0 sec. user=mdettweiler [2016-05-01 16:01:01] 861*2^1427967-1 is not prime. Res64: D146B064DB52D069 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:01:02] 871*2^1427967-1 is not prime. Res64: 4094694D8EC9203D Time : 0.0 sec. user=mdettweiler [2016-05-01 16:01:02] 975*2^1427967-1 is not prime. Res64: D3890649DA6A5411 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:01:03] 639*2^1427968-1 is not prime. Res64: 554D7742E6EB9818 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:06:14] 677*2^1427968-1 is not prime. Res64: 4515333F5BC74004 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:06:15] 723*2^1427968-1 is not prime. Res64: 6E9FE50FF3C51FAE Time : 0.0 sec. user=mdettweiler [2016-05-01 16:06:15] 989*2^1427968-1 is not prime. Res64: 1C1222A0E64058AF Time : 0.0 sec. user=mdettweiler [2016-05-01 16:06:16] 711*2^1427969-1 is not prime. Res64: 3BE96311B7B7C84C Time : 0.0 sec. user=mdettweiler [2016-05-01 16:06:16] 787*2^1427969-1 is not prime. Res64: E3A5560B3D7AD263 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:51:14] 969*2^1427969-1 is not prime. Res64: D40CC9024E01280C Time : 0.0 sec. user=mdettweiler [2016-05-01 16:51:15] 651*2^1427970-1 is not prime. Res64: 8662E8B1754A71F2 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:51:15] 681*2^1427970-1 is not prime. Res64: BE0E985EB7E3DCAA Time : 0.0 sec. user=mdettweiler [2016-05-01 16:51:16] 695*2^1427970-1 is not prime. Res64: DA012FC6A6DD7F82 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:51:16] 725*2^1427970-1 is not prime. Res64: 309A929D908D5B14 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:55:25] 741*2^1427970-1 is not prime. Res64: 92283276E19318B2 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:55:26] 833*2^1427970-1 is not prime. Res64: 468D1025BACA7929 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:55:26] 851*2^1427970-1 is not prime. Res64: B42367719A7BB169 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:55:26] 875*2^1427970-1 is not prime. Res64: AA08B46EAD6352D6 Time : 0.0 sec. user=mdettweiler [2016-05-01 16:55:27] 963*2^1427970-1 is not prime. Res64: BDB7FCADC1BF275E Time : 0.0 sec. user=mdettweiler [2016-05-01 17:42:31] 977*2^1427970-1 is not prime. Res64: 298655A122160135 Time : 0.0 sec. user=mdettweiler [2016-05-01 17:42:31] 631*2^1427971-1 is not prime. Res64: EEE6CAAF3F1C70E1 Time : 0.0 sec. user=mdettweiler [2016-05-01 17:42:32] 639*2^1427971-1 is not prime. Res64: BB575A751C2A2648 Time : 0.0 sec. user=mdettweiler [2016-05-01 17:42:32] 673*2^1427971-1 is not prime. Res64: 6390FFA55E0FCBEF Time : 0.0 sec. user=mdettweiler [2016-05-01 17:42:33] 675*2^1427971-1 is not prime. Res64: EA9AC8320368E1EF Time : 0.0 sec. user=mdettweiler [2016-05-01 17:46:50] 723*2^1427971-1 is not prime. Res64: 76727F8303B52A89 Time : 0.0 sec. user=mdettweiler [2016-05-01 17:46:51] 741*2^1427971-1 is not prime. Res64: C5AF8F824BC3EB90 Time : 0.0 sec. user=mdettweiler [2016-05-01 17:46:51] 771*2^1427971-1 is not prime. Res64: 64852B91A590BE56 Time : 0.0 sec. user=mdettweiler [2016-05-01 17:46:51] 969*2^1427971-1 is not prime. Res64: 3E2A8529090863F7 Time : 0.0 sec. user=mdettweiler [2016-05-01 17:46:52] 665*2^1427972-1 is not prime. Res64: 2F4B8074F4290C60 Time : 0.0 sec. user=mdettweiler [2016-05-01 18:37:25] 735*2^1427972-1 is not prime. Res64: 33AB4382958A97DE Time : 0.0 sec. user=mdettweiler [2016-05-01 18:37:25] 759*2^1427972-1 is not prime. Res64: 1642B8D23FAA7C2C Time : 0.0 sec. user=mdettweiler [2016-05-01 18:37:25] 785*2^1427972-1 is not prime. Res64: 5DF40D5F4446C441 Time : 0.0 sec. user=mdettweiler [2016-05-01 18:37:26] 837*2^1427972-1 is not prime. Res64: 2350EBD4AFA40D92 Time : 0.0 sec. user=mdettweiler [2016-05-01 18:37:26] 877*2^1427973-1 is not prime. Res64: DF1C05FACAC41093 Time : 0.0 sec. user=mdettweiler [2016-05-01 18:42:29] 895*2^1427973-1 is not prime. Res64: A502E42C1014DD4A Time : 0.0 sec. user=mdettweiler [2016-05-01 18:42:30] 921*2^1427973-1 is not prime. Res64: 242348F48073ABF0 Time : 0.0 sec. user=mdettweiler [2016-05-01 18:42:30] 969*2^1427973-1 is not prime. Res64: 1B37DAD4B54431A2 Time : 0.0 sec. user=mdettweiler [2016-05-01 18:42:31] 991*2^1427973-1 is not prime. Res64: CB237204CD23C54A Time : 0.0 sec. user=mdettweiler [2016-05-01 18:42:31] 657*2^1427974-1 is not prime. Res64: B0D199921062D3A6 Time : 0.0 sec. user=mdettweiler [2016-05-01 19:37:38] 861*2^1427974-1 is not prime. Res64: 6DE2D447C6E62B0D Time : 0.0 sec. user=mdettweiler [2016-05-01 19:37:38] 881*2^1427974-1 is not prime. Res64: 273FC0E054D38654 Time : 0.0 sec. user=mdettweiler [2016-05-01 19:37:38] 891*2^1427974-1 is not prime. Res64: 6BA9546FD419B305 Time : 0.0 sec. user=mdettweiler [2016-05-01 19:37:39] 643*2^1427975-1 is not prime. Res64: 8BD838CE8C81090E Time : 0.0 sec. user=mdettweiler [2016-05-01 19:37:39] 655*2^1427975-1 is not prime. Res64: C619FD67A59D3FBE Time : 0.0 sec. user=mdettweiler [2016-05-01 19:45:44] 673*2^1427975-1 is not prime. Res64: B120E95C66B8BD9F Time : 0.0 sec. user=mdettweiler [2016-05-01 19:45:44] 735*2^1427975-1 is not prime. Res64: 32CABBC32FFDE264 Time : 0.0 sec. user=mdettweiler [2016-05-01 19:45:45] 753*2^1427975-1 is not prime. Res64: 5AF08D6D9287D9CE Time : 0.0 sec. user=mdettweiler [2016-05-01 19:45:45] 789*2^1427975-1 is not prime. Res64: 5F41DA04B7760C4D Time : 0.0 sec. user=mdettweiler [2016-05-01 19:45:45] 883*2^1427975-1 is not prime. Res64: 1F8E24C9F9BF1BEB Time : 0.0 sec. user=mdettweiler [2016-05-01 20:39:53] 889*2^1427975-1 is not prime. Res64: 9C8624AA8266132F Time : 0.0 sec. user=mdettweiler [2016-05-01 20:39:54] 979*2^1427975-1 is not prime. Res64: C13F3A1C36F2AA08 Time : 0.0 sec. user=mdettweiler [2016-05-01 20:39:54] 623*2^1427976-1 is not prime. Res64: 19CEB0CF674500B0 Time : 0.0 sec. user=mdettweiler [2016-05-01 20:39:55] 635*2^1427976-1 is not prime. Res64: 2D389A233DF152EE Time : 0.0 sec. user=mdettweiler [2016-05-01 20:39:55] 735*2^1427976-1 is not prime. Res64: E40562A95C2934D4 Time : 0.0 sec. user=mdettweiler [2016-05-01 20:41:49] 747*2^1427976-1 is not prime. Res64: DBD213DC77223C2B Time : 0.0 sec. user=mdettweiler [2016-05-01 20:41:50] 773*2^1427976-1 is not prime. Res64: 98BC64216463F3F6 Time : 0.0 sec. user=mdettweiler [2016-05-01 20:41:50] 777*2^1427976-1 is not prime. Res64: 7A92341BBC500564 Time : 0.0 sec. user=mdettweiler [2016-05-01 20:41:51] 917*2^1427976-1 is not prime. Res64: 39F959B9F2800616 Time : 0.0 sec. user=mdettweiler [2016-05-01 20:41:51] 983*2^1427976-1 is not prime. Res64: 5674E8856CEC3AFC Time : 0.0 sec. user=mdettweiler [2016-05-01 21:28:29] 795*2^1427957-1 is not prime. Res64: DC655BC0EDB9963F Time : 0.0 sec. user=mdettweiler [2016-05-01 21:28:29] 927*2^1427957-1 is not prime. Res64: 3AD123749C4E70E3 Time : 0.0 sec. user=mdettweiler [2016-05-01 21:28:30] 621*2^1427958-1 is not prime. Res64: 6149C876D1878D23 Time : 0.0 sec. user=mdettweiler [2016-05-01 21:28:30] 641*2^1427958-1 is not prime. Res64: B58ED470B0D09EDC Time : 0.0 sec. user=mdettweiler [2016-05-01 21:28:31] 671*2^1427958-1 is not prime. Res64: 7F52CBFB4718D78C Time : 0.0 sec. user=mdettweiler [2016-05-01 21:42:30] 937*2^1427977-1 is not prime. Res64: 679E0FC98AA2547A Time : 0.0 sec. user=mdettweiler [2016-05-01 21:42:31] 623*2^1427978-1 is not prime. Res64: FC3B0CC38337412D Time : 0.0 sec. user=mdettweiler [2016-05-01 21:42:31] 677*2^1427978-1 is not prime. Res64: 9F4F97624512B796 Time : 0.0 sec. user=mdettweiler [2016-05-01 21:42:31] 861*2^1427978-1 is not prime. Res64: BF69993967455E7E Time : 0.0 sec. user=mdettweiler [2016-05-01 21:42:31] 935*2^1427978-1 is not prime. Res64: 160AD122CCD3C67A Time : 0.0 sec. user=mdettweiler [2016-05-01 21:44:49] 993*2^1427976-1 is not prime. Res64: D5B7026793F31FA2 Time : 0.0 sec. user=mdettweiler [2016-05-01 21:44:50] 667*2^1427977-1 is not prime. Res64: CEA28EFD786DCB40 Time : 0.0 sec. user=mdettweiler [2016-05-01 21:44:50] 741*2^1427977-1 is not prime. Res64: 341805540D309304 Time : 0.0 sec. user=mdettweiler [2016-05-01 21:44:50] 841*2^1427977-1 is not prime. Res64: 2EAD1BA95613B247 Time : 0.0 sec. user=mdettweiler [2016-05-01 21:44:50] 871*2^1427977-1 is not prime. Res64: 841DBF20852D5BAB Time : 0.0 sec. user=mdettweiler [2016-05-01 22:03:29] 691*2^1427957-1 is not prime. Res64: 75187DED64E17F6E Time : 0.0 sec. user=mdettweiler [2016-05-01 22:03:30] 697*2^1427957-1 is not prime. Res64: C0F8A9748D0CFD53 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:03:31] 715*2^1427957-1 is not prime. Res64: 57AE313A3B21C4F2 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:03:32] 759*2^1427957-1 is not prime. Res64: D073082380D453ED Time : 0.0 sec. user=mdettweiler [2016-05-01 22:03:33] 769*2^1427957-1 is not prime. Res64: C2F93C1C8F51357B Time : 0.0 sec. user=mdettweiler [2016-05-01 22:25:38] 633*2^1427979-1 is not prime. Res64: C661EED91084402A Time : 0.0 sec. user=mdettweiler [2016-05-01 22:25:38] 685*2^1427979-1 is not prime. Res64: 89975E87044CBD9F Time : 0.0 sec. user=mdettweiler [2016-05-01 22:25:39] 703*2^1427979-1 is not prime. Res64: D571D9821ADA4965 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:25:39] 723*2^1427979-1 is not prime. Res64: 0A904E3D0CCCB4F1 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:25:40] 801*2^1427979-1 is not prime. Res64: F6C75758AD43F549 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:36:14] 843*2^1427979-1 is not prime. Res64: EDC365F800DA4C77 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:36:14] 873*2^1427979-1 is not prime. Res64: FB186FA4A1881B6E Time : 0.0 sec. user=mdettweiler [2016-05-01 22:36:15] 985*2^1427979-1 is not prime. Res64: 460EF1538AF30BB5 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:36:15] 615*2^1427980-1 is not prime. Res64: 35FD07DA8000DFEB Time : 0.0 sec. user=mdettweiler [2016-05-01 22:36:15] 635*2^1427980-1 is not prime. Res64: 8E543C5E698A42A4 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:39:10] 647*2^1427980-1 is not prime. Res64: 67EFEC5B86076453 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:39:10] 735*2^1427980-1 is not prime. Res64: E9318A6A6D5FBB1B Time : 0.0 sec. user=mdettweiler [2016-05-01 22:39:10] 783*2^1427980-1 is not prime. Res64: 724F6B5998CE2E54 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:39:11] 797*2^1427980-1 is not prime. Res64: 0C5C18F481F29EA0 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:39:11] 875*2^1427980-1 is not prime. Res64: 820EBA0F293B05DB Time : 0.0 sec. user=mdettweiler [2016-05-01 22:56:36] 897*2^1427980-1 is not prime. Res64: AD7CADA7764152B7 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:56:36] 965*2^1427980-1 is not prime. Res64: 53EE6AE3F5EF3C9D Time : 0.0 sec. user=mdettweiler [2016-05-01 22:56:36] 995*2^1427980-1 is not prime. Res64: 7811CB02D65BE358 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:56:36] 607*2^1427981-1 is not prime. Res64: C70CEBF4F84AD1D9 Time : 0.0 sec. user=mdettweiler [2016-05-01 22:56:37] 645*2^1427981-1 is not prime. Res64: DF8F68D61CA6E9F8 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:16:02] 795*2^1427981-1 is not prime. Res64: 4ED308FF7478A943 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:16:03] 825*2^1427981-1 is not prime. Res64: E84E9370FED5A9F9 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:16:03] 725*2^1427982-1 is not prime. Res64: 57015D78BEB1E0E9 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:16:04] 741*2^1427982-1 is not prime. Res64: D786E0B700CD55C5 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:16:05] 801*2^1427982-1 is not prime. Res64: BEEE0588D063BC45 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:27:42] 815*2^1427982-1 is not prime. Res64: 4681974E82B4CA70 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:27:42] 693*2^1427983-1 is not prime. Res64: 22E10E7C42953EE0 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:27:43] 705*2^1427983-1 is not prime. Res64: E2323047F97E5F28 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:27:43] 793*2^1427983-1 is not prime. Res64: 3A98BF1E3FA82BB0 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:27:43] 811*2^1427983-1 is not prime. Res64: E788DE498ADA6B1E Time : 0.0 sec. user=mdettweiler [2016-05-01 23:29:20] 819*2^1427983-1 is not prime. Res64: A44B8A8043D97898 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:29:20] 829*2^1427983-1 is not prime. Res64: E97E613AEC8DBEBB Time : 0.0 sec. user=mdettweiler [2016-05-01 23:29:21] 853*2^1427983-1 is not prime. Res64: 5AC83B00D25EC538 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:29:21] 861*2^1427983-1 is not prime. Res64: 40E815820465855A Time : 0.0 sec. user=mdettweiler [2016-05-01 23:29:21] 933*2^1427983-1 is not prime. Res64: F4A29F3DE27C5070 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:45:30] 753*2^1427984-1 is not prime. Res64: 70486C08640F8E14 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:45:30] 609*2^1427985-1 is not prime. Res64: CA5CD71EB18F912B Time : 0.0 sec. user=mdettweiler [2016-05-01 23:45:31] 669*2^1427985-1 is not prime. Res64: 491D347866F5EF54 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:45:31] 699*2^1427985-1 is not prime. Res64: 9A61636897D1DCA3 Time : 0.0 sec. user=mdettweiler [2016-05-01 23:45:32] 727*2^1427985-1 is not prime. Res64: A0682A9DEE0C1540 Time : 0.0 sec.