user=mdettweiler [2015-10-05 00:01:48] 919*2^1411057-1 is not prime. Res64: 9CD493E6E4A8378B Time : 0.0 sec. user=mdettweiler [2015-10-05 00:01:48] 635*2^1411058-1 is not prime. Res64: 462ED7E232686CE3 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:17:22] 771*2^1411058-1 is not prime. Res64: 8276979248D5754D Time : 0.0 sec. user=mdettweiler [2015-10-05 00:17:23] 825*2^1411058-1 is not prime. Res64: 68EBD95805A5A9CE Time : 0.0 sec. user=mdettweiler [2015-10-05 00:17:51] 867*2^1411058-1 is not prime. Res64: DED2DB93A7956BDC Time : 0.0 sec. user=mdettweiler [2015-10-05 00:17:51] 923*2^1411058-1 is not prime. Res64: E4F363066ACD231E Time : 0.0 sec. user=mdettweiler [2015-10-05 00:18:22] 711*2^1411059-1 is not prime. Res64: DC49258AB716DB2B Time : 0.0 sec. user=mdettweiler [2015-10-05 00:18:22] 723*2^1411059-1 is not prime. Res64: 2ADF2E196FD18315 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:19:42] 985*2^1411059-1 is not prime. Res64: C2820278AF88E27A Time : 0.0 sec. user=mdettweiler [2015-10-05 00:19:42] 777*2^1411060-1 is not prime. Res64: 608A974723C0CACC Time : 0.0 sec. user=mdettweiler [2015-10-05 00:35:13] 843*2^1411060-1 is not prime. Res64: 5FFDD2B906C49EC5 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:35:14] 933*2^1411060-1 is not prime. Res64: 586BB2C463EB2F5E Time : 0.0 sec. user=mdettweiler [2015-10-05 00:35:42] 999*2^1411060-1 is not prime. Res64: C95B68D34086C034 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:35:43] 697*2^1411061-1 is not prime. Res64: E74694434AC82368 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:36:07] 741*2^1411061-1 is not prime. Res64: 67412281A7641B9D Time : 0.0 sec. user=mdettweiler [2015-10-05 00:36:08] 757*2^1411061-1 is not prime. Res64: 7BE01983FB67456B Time : 0.0 sec. user=mdettweiler [2015-10-05 00:37:34] 805*2^1411061-1 is not prime. Res64: 9AC32D2D5DA3411E Time : 0.0 sec. user=mdettweiler [2015-10-05 00:37:34] 837*2^1411061-1 is not prime. Res64: F6DDA3C1FEF20B81 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:53:00] 859*2^1411061-1 is not prime. Res64: CED919394915433E Time : 0.0 sec. user=mdettweiler [2015-10-05 00:53:01] 957*2^1411061-1 is not prime. Res64: D3FC78A441C55399 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:53:29] 981*2^1411061-1 is not prime. Res64: 416386A0E5B959A9 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:53:29] 683*2^1411062-1 is not prime. Res64: 5BFC9F964EC0EC36 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:54:02] 737*2^1411062-1 is not prime. Res64: 940BAEAE8097C2F9 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:54:03] 755*2^1411062-1 is not prime. Res64: 1670F78A341BC6E8 Time : 0.0 sec. user=mdettweiler [2015-10-05 00:55:25] 791*2^1411062-1 is not prime. Res64: CF537A3DA876000B Time : 0.0 sec. user=mdettweiler [2015-10-05 00:55:25] 807*2^1411062-1 is not prime. Res64: EA99E979A7A7A744 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:10:51] 875*2^1411062-1 is not prime. Res64: B4D772FB1E3D9AC6 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:10:52] 951*2^1411062-1 is not prime. Res64: 15064400C661D8F1 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:11:14] 965*2^1411062-1 is not prime. Res64: FB2868AEF8872EE6 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:11:14] 633*2^1411063-1 is not prime. Res64: 8A21759060D1C880 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:11:48] 741*2^1411063-1 is not prime. Res64: FF01D61F388C62A8 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:11:49] 805*2^1411063-1 is not prime. Res64: BF9E5205264F7154 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:13:12] 675*2^1411064-1 is not prime. Res64: EE4C5D30B8762E6F Time : 0.0 sec. user=mdettweiler [2015-10-05 01:13:13] 717*2^1411064-1 is not prime. Res64: 0876ACC7A658566C Time : 0.0 sec. user=mdettweiler [2015-10-05 01:28:45] 725*2^1411064-1 is not prime. Res64: 229513966A6372D8 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:28:47] 773*2^1411064-1 is not prime. Res64: 51E5BB694C8A5433 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:29:06] 827*2^1411064-1 is not prime. Res64: BE874A7524AE2F79 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:29:09] 857*2^1411064-1 is not prime. Res64: 7EA1440EED5CFFFD Time : 0.0 sec. user=mdettweiler [2015-10-05 01:29:41] 873*2^1411064-1 is not prime. Res64: A284A434784A6B7F Time : 0.0 sec. user=mdettweiler [2015-10-05 01:29:41] 903*2^1411064-1 is not prime. Res64: 0E6BD1D767C9C74F Time : 0.0 sec. user=mdettweiler [2015-10-05 01:31:00] 915*2^1411064-1 is not prime. Res64: 6E59413A655D89D6 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:31:01] 983*2^1411064-1 is not prime. Res64: E0B43BE68FF0CBE7 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:46:59] 627*2^1411065-1 is not prime. Res64: 6E71C188D53E5E37 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:47:00] 657*2^1411065-1 is not prime. Res64: B8E2E0E8C9A40646 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:47:10] 705*2^1411065-1 is not prime. Res64: 68E794FF098A1231 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:47:10] 765*2^1411065-1 is not prime. Res64: 4D68C9A51556CCDC Time : 0.0 sec. user=mdettweiler [2015-10-05 01:47:31] 937*2^1411065-1 is not prime. Res64: 92511DA4BD120E90 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:47:32] 975*2^1411065-1 is not prime. Res64: 0EC77F173A817788 Time : 0.0 sec. user=mdettweiler [2015-10-05 01:48:49] 979*2^1411065-1 is not prime. Res64: 2DB66C5AAD81536A Time : 0.0 sec. user=mdettweiler [2015-10-05 01:48:50] 713*2^1411066-1 is not prime. Res64: 1772B44A0ED76EA3 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:04:54] 975*2^1411066-1 is not prime. Res64: 4BF28FFDBCD5E044 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:04:56] 619*2^1411067-1 is not prime. Res64: 9E00F8CB6C3508D3 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:04:59] 913*2^1411067-1 is not prime. Res64: 705226AE0F37C4E2 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:05:01] 647*2^1411068-1 is not prime. Res64: 17EEE1491B61989A Time : 0.0 sec. user=mdettweiler [2015-10-05 02:05:23] 663*2^1411068-1 is not prime. Res64: D4EA94F4799924ED Time : 0.0 sec. user=mdettweiler [2015-10-05 02:05:24] 789*2^1411068-1 is not prime. Res64: BDA94DAE5ED5AF03 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:06:31] 797*2^1411068-1 is not prime. Res64: 8CAC97723E42BB64 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:06:31] 975*2^1411068-1 is not prime. Res64: CA890A7CA68AFC24 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:23:24] 663*2^1411070-1 is not prime. Res64: 416BDCFB2A7760EC Time : 0.0 sec. user=mdettweiler [2015-10-05 02:23:24] 797*2^1411070-1 is not prime. Res64: FFC95D32409D62A0 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:24:07] 769*2^1411069-1 is not prime. Res64: D0C66AED5245E976 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:24:08] 641*2^1411070-1 is not prime. Res64: 74946B5D17296914 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:24:24] 861*2^1411070-1 is not prime. Res64: A8127ADDCE620BB2 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:24:25] 613*2^1411071-1 is not prime. Res64: 81B149A6E7ECD73E Time : 0.0 sec. user=mdettweiler [2015-10-05 02:24:59] 829*2^1411071-1 is not prime. Res64: 8BEB501F0E36003D Time : 0.0 sec. user=mdettweiler [2015-10-05 02:24:59] 933*2^1411071-1 is not prime. Res64: 30236F78F285616B Time : 0.0 sec. user=mdettweiler [2015-10-05 02:41:15] 979*2^1411071-1 is not prime. Res64: F473B74A2DAE30DB Time : 0.0 sec. user=mdettweiler [2015-10-05 02:41:15] 603*2^1411072-1 is not prime. Res64: 728C228C243B1CEC Time : 0.0 sec. user=mdettweiler [2015-10-05 02:41:59] 713*2^1411072-1 is not prime. Res64: BE93F8B769BB8357 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:41:59] 777*2^1411072-1 is not prime. Res64: 62907830BCAB1426 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:42:20] 863*2^1411072-1 is not prime. Res64: 36C87AFA3ED66F4F Time : 0.0 sec. user=mdettweiler [2015-10-05 02:42:21] 929*2^1411072-1 is not prime. Res64: 2D56285684AEBC1F Time : 0.0 sec. user=mdettweiler [2015-10-05 02:42:58] 801*2^1411073-1 is not prime. Res64: D3D737C8E41D2EBF Time : 0.0 sec. user=mdettweiler [2015-10-05 02:42:59] 837*2^1411073-1 is not prime. Res64: 114D3D4C311C65B9 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:59:03] 885*2^1411073-1 is not prime. Res64: B873419652A7B7A1 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:59:03] 901*2^1411073-1 is not prime. Res64: FB3A2A5EFAE9986E Time : 0.0 sec. user=mdettweiler [2015-10-05 02:59:41] 605*2^1411074-1 is not prime. Res64: 2526B46B025F0B43 Time : 0.0 sec. user=mdettweiler [2015-10-05 02:59:41] 737*2^1411074-1 is not prime. Res64: 2FB986D00A12BFC8 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:00:03] 755*2^1411074-1 is not prime. Res64: C902047EEB40BBDE Time : 0.0 sec. user=mdettweiler [2015-10-05 03:00:04] 807*2^1411074-1 is not prime. Res64: D7308A8B76F3B117 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:00:46] 1001*2^1411074-1 is not prime. Res64: 554BDCAB7E53C3DC Time : 0.0 sec. user=mdettweiler [2015-10-05 03:00:47] 631*2^1411075-1 is not prime. Res64: DB10EBFFDE4ACF82 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:16:52] 663*2^1411075-1 is not prime. Res64: 7A67B3205BA57849 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:16:52] 685*2^1411075-1 is not prime. Res64: 87DF3BD01C39C869 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:17:28] 723*2^1411075-1 is not prime. Res64: E79D56F5C30871F8 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:17:28] 775*2^1411075-1 is not prime. Res64: 7600964773E1ED19 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:17:57] 889*2^1411075-1 is not prime. Res64: D8B00876BA6E6E33 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:17:58] 951*2^1411075-1 is not prime. Res64: 64BEF8C242E1B417 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:18:31] 969*2^1411075-1 is not prime. Res64: 4D1C9CD51AA4FF0C Time : 0.0 sec. user=mdettweiler [2015-10-05 03:18:31] 985*2^1411075-1 is not prime. Res64: 2A29A654B039C550 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:34:47] 603*2^1411076-1 is not prime. Res64: 6B5F75B39343172F Time : 0.0 sec. user=mdettweiler [2015-10-05 03:34:48] 633*2^1411076-1 is not prime. Res64: 3C1056755E42AFC0 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:35:15] 647*2^1411076-1 is not prime. Res64: 6F7A4A4BC70B0385 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:35:17] 735*2^1411076-1 is not prime. Res64: 9A7D3D0FFB84FB22 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:35:48] 825*2^1411076-1 is not prime. Res64: 3F70F96286986481 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:35:49] 837*2^1411076-1 is not prime. Res64: FB4AFE8AF1C8ACC0 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:36:19] 869*2^1411076-1 is not prime. Res64: 9E97BA63A9B29994 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:36:20] 727*2^1411077-1 is not prime. Res64: 2BC46EAADA8B2B0F Time : 0.0 sec. user=mdettweiler [2015-10-05 03:52:47] 819*2^1411077-1 is not prime. Res64: F76A0324A9E59CB2 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:52:47] 895*2^1411077-1 is not prime. Res64: F63EE89CDFAD1E31 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:53:03] 915*2^1411077-1 is not prime. Res64: A5AFA2C787B79ADC Time : 0.0 sec. user=mdettweiler [2015-10-05 03:53:04] 927*2^1411077-1 is not prime. Res64: 63AC225139D9D981 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:53:33] 657*2^1411078-1 is not prime. Res64: F9047998BADDBAE0 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:53:34] 761*2^1411078-1 is not prime. Res64: 8E94146375A0D527 Time : 0.0 sec. user=mdettweiler [2015-10-05 03:54:13] 765*2^1411078-1 is not prime. Res64: C58A714C2AE6654D Time : 0.0 sec. user=mdettweiler [2015-10-05 03:54:13] 951*2^1411078-1 is not prime. Res64: 669D5E84C629AFCA Time : 0.0 sec. user=mdettweiler [2015-10-05 04:10:32] 987*2^1411078-1 is not prime. Res64: 98CDE65D1A480D5B Time : 0.0 sec. user=mdettweiler [2015-10-05 04:10:32] 603*2^1411079-1 is not prime. Res64: 63756C7DD60BAB70 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:10:50] 615*2^1411079-1 is not prime. Res64: C5387C5526150AD8 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:10:50] 711*2^1411079-1 is not prime. Res64: 21D3CD946E781752 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:11:16] 885*2^1411079-1 is not prime. Res64: 5B41D55B87CC8FB3 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:11:17] 909*2^1411079-1 is not prime. Res64: ADA3ACC7E883990B Time : 0.0 sec. user=mdettweiler [2015-10-05 04:11:58] 969*2^1411079-1 is not prime. Res64: 24104EE859F5B804 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:11:59] 627*2^1411080-1 is not prime. Res64: 3B52D2B6CB166629 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:28:20] 765*2^1411080-1 is not prime. Res64: 39C5CB4FCA3C2040 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:28:20] 767*2^1411080-1 is not prime. Res64: A7F9A1C6D427F5C7 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:28:38] 845*2^1411080-1 is not prime. Res64: 01345321C81C0DA9 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:28:38] 909*2^1411080-1 is not prime. Res64: 6B46F9BB8E9C55FA Time : 0.0 sec. user=mdettweiler [2015-10-05 04:29:04] 625*2^1411081-1 is not prime. Res64: 15B176D657FE6097 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:29:04] 691*2^1411081-1 is not prime. Res64: CB6D6417E0D25B82 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:29:46] 861*2^1411081-1 is not prime. Res64: 5A4A0EC7A9B4060A Time : 0.0 sec. user=mdettweiler [2015-10-05 04:29:47] 877*2^1411081-1 is not prime. Res64: 465E2E6B85FE37C2 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:46:19] 665*2^1411082-1 is not prime. Res64: 220DCEB6729455FF Time : 0.0 sec. user=mdettweiler [2015-10-05 04:46:19] 885*2^1411082-1 is not prime. Res64: E90F19AF436DCB7B Time : 0.0 sec. user=mdettweiler [2015-10-05 04:46:33] 935*2^1411082-1 is not prime. Res64: 8DBB85CD16EBBE91 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:46:33] 1001*2^1411082-1 is not prime. Res64: FACB42531B0A7E30 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:46:49] 765*2^1411083-1 is not prime. Res64: 49BDC68A0BD40E61 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:46:50] 853*2^1411083-1 is not prime. Res64: 3A3F42BDF319DD1E Time : 0.0 sec. user=mdettweiler [2015-10-05 04:47:50] 973*2^1411083-1 is not prime. Res64: 11D4B42AEDCE5D12 Time : 0.0 sec. user=mdettweiler [2015-10-05 04:47:50] 635*2^1411084-1 is not prime. Res64: 3BECD162E34CF6F0 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:04:10] 755*2^1411084-1 is not prime. Res64: 53DEE547AED0A06B Time : 0.0 sec. user=mdettweiler [2015-10-05 05:04:12] 819*2^1411084-1 is not prime. Res64: D1DF2ECF70958068 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:04:23] 649*2^1411085-1 is not prime. Res64: 3EB3AEDAC25D7ED1 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:04:25] 715*2^1411085-1 is not prime. Res64: 505211524D28B410 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:04:39] 837*2^1411085-1 is not prime. Res64: A99BC7F784862C0D Time : 0.0 sec. user=mdettweiler [2015-10-05 05:04:40] 987*2^1411085-1 is not prime. Res64: 502674299E9EB36B Time : 0.0 sec. user=mdettweiler [2015-10-05 05:05:38] 611*2^1411086-1 is not prime. Res64: 130F67695B3291CF Time : 0.0 sec. user=mdettweiler [2015-10-05 05:05:38] 723*2^1411086-1 is not prime. Res64: 1AA0F5467002E6CE Time : 0.0 sec. user=mdettweiler [2015-10-05 05:22:19] 755*2^1411086-1 is not prime. Res64: 88B4059E5929D6C9 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:22:19] 783*2^1411086-1 is not prime. Res64: D99249101FB0C7A9 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:22:21] 887*2^1411086-1 is not prime. Res64: 19F58DCFEFF78C22 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:22:22] 945*2^1411086-1 is not prime. Res64: 4CC672FCCABEB423 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:22:36] 715*2^1411087-1 is not prime. Res64: 04E95327E8A95FC2 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:22:36] 931*2^1411087-1 is not prime. Res64: 4A53048499A04A4C Time : 0.0 sec. user=mdettweiler [2015-10-05 05:23:37] 617*2^1411088-1 is not prime. Res64: 228DED519C5358C3 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:23:37] 633*2^1411088-1 is not prime. Res64: D52435892DEFB96D Time : 0.0 sec. user=mdettweiler [2015-10-05 05:40:14] 923*2^1411088-1 is not prime. Res64: A0EC8DEEC8692D25 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:40:15] 675*2^1411089-1 is not prime. Res64: 7682E5D07459691F Time : 0.0 sec. user=mdettweiler [2015-10-05 05:40:18] 635*2^1411088-1 is not prime. Res64: A145AFFCF8DA753C Time : 0.0 sec. user=mdettweiler [2015-10-05 05:40:18] 845*2^1411088-1 is not prime. Res64: B36FA2E9EFCBA95A Time : 0.0 sec. user=mdettweiler [2015-10-05 05:40:38] 691*2^1411089-1 is not prime. Res64: 79203E0FCAA49270 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:40:38] 705*2^1411089-1 is not prime. Res64: 9F09106259C3246E Time : 0.0 sec. user=mdettweiler [2015-10-05 05:41:35] 781*2^1411089-1 is not prime. Res64: 8A1446ADDB541E66 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:41:35] 865*2^1411089-1 is not prime. Res64: 098CB11B174CE751 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:58:00] 867*2^1411089-1 is not prime. Res64: AADD527157299595 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:58:00] 945*2^1411089-1 is not prime. Res64: F8DE2BC5339BB994 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:58:17] 949*2^1411089-1 is not prime. Res64: 84D093EEA21CEB0A Time : 0.0 sec. user=mdettweiler [2015-10-05 05:58:17] 665*2^1411090-1 is not prime. Res64: 98DFC82BBF36B831 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:58:24] 765*2^1411090-1 is not prime. Res64: 50E04B06A8599884 Time : 0.0 sec. user=mdettweiler [2015-10-05 05:58:24] 845*2^1411090-1 is not prime. Res64: 2B2D57ACC8679658 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:16:06] 619*2^1411091-1 is not prime. Res64: A113AE9A7C67F8BE Time : 0.0 sec. user=mdettweiler [2015-10-05 06:16:07] 663*2^1411091-1 is not prime. Res64: B5E1CE639F17F62E Time : 0.0 sec. user=mdettweiler [2015-10-05 06:16:28] 733*2^1411091-1 is not prime. Res64: 96D7386317A9668F Time : 0.0 sec. user=mdettweiler [2015-10-05 06:16:28] 741*2^1411091-1 is not prime. Res64: 8385A9D6DD051B59 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:16:29] 679*2^1411091-1 is not prime. Res64: F2A6788EF859C268 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:16:30] 703*2^1411091-1 is not prime. Res64: 2C42D3920FA8E36D Time : 0.0 sec. user=mdettweiler [2015-10-05 06:34:21] 825*2^1411091-1 is not prime. Res64: 8F17336409D39DA4 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:34:21] 843*2^1411091-1 is not prime. Res64: 336FBA21A51E2044 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:34:26] 903*2^1411091-1 is not prime. Res64: 63D822D8C6DA706E Time : 0.0 sec. user=mdettweiler [2015-10-05 06:34:26] 909*2^1411091-1 is not prime. Res64: EA5A0952D0C2DD45 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:34:45] 991*2^1411091-1 is not prime. Res64: 376BB78180BF19C7 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:34:45] 605*2^1411092-1 is not prime. Res64: 71D75BD5E661FE7A Time : 0.0 sec. user=mdettweiler [2015-10-05 06:52:23] 695*2^1411092-1 is not prime. Res64: 808FD7F217AC2B2C Time : 0.0 sec. user=mdettweiler [2015-10-05 06:52:23] 765*2^1411092-1 is not prime. Res64: F056FF023112FA65 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:52:30] 987*2^1411092-1 is not prime. Res64: 08165221FA8241EC Time : 0.0 sec. user=mdettweiler [2015-10-05 06:52:30] 609*2^1411093-1 is not prime. Res64: 60CE8806DE7946FD Time : 0.0 sec. user=mdettweiler [2015-10-05 06:52:56] 625*2^1411093-1 is not prime. Res64: 032A563400EDD863 Time : 0.0 sec. user=mdettweiler [2015-10-05 06:52:56] 651*2^1411093-1 is not prime. Res64: 065F9A630D892C06 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:10:26] 741*2^1411093-1 is not prime. Res64: CCCDB96F76E29457 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:10:26] 745*2^1411093-1 is not prime. Res64: 0F5EA53449C6F237 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:10:37] 847*2^1411093-1 is not prime. Res64: 054DA98FB837BE5F Time : 0.0 sec. user=mdettweiler [2015-10-05 07:10:38] 895*2^1411093-1 is not prime. Res64: 8A16D2696A61D299 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:11:08] 743*2^1411094-1 is not prime. Res64: E30BCDDDFD867BE1 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:11:09] 755*2^1411094-1 is not prime. Res64: 0F9D53C1FA8FFAA3 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:18:38] 861*2^1411090-1 is not prime. Res64: E685C5DD07306996 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:18:38] 873*2^1411090-1 is not prime. Res64: 2B82BF575F293EDC Time : 0.0 sec. user=mdettweiler [2015-10-05 07:28:24] 827*2^1411094-1 is not prime. Res64: AFB7EB22BB9EA6DC Time : 0.0 sec. user=mdettweiler [2015-10-05 07:28:24] 857*2^1411094-1 is not prime. Res64: 899CCCF2BABC70CC Time : 0.0 sec. user=mdettweiler [2015-10-05 07:28:29] 951*2^1411094-1 is not prime. Res64: 4119FFACF665A971 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:28:29] 965*2^1411094-1 is not prime. Res64: ED2EFF120FEC7957 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:29:04] 971*2^1411094-1 is not prime. Res64: 60D50E5AEC9B6F5F Time : 0.0 sec. user=mdettweiler [2015-10-05 07:29:04] 651*2^1411095-1 is not prime. Res64: B3771D472DC5FD38 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:36:18] 691*2^1411095-1 is not prime. Res64: 54ADD872CD46780C Time : 0.0 sec. user=mdettweiler [2015-10-05 07:36:19] 693*2^1411095-1 is not prime. Res64: 7FC88D6781A809A0 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:46:19] 949*2^1411095-1 is not prime. Res64: 59628C3F3652AF19 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:46:19] 951*2^1411095-1 is not prime. Res64: 20118A0DA79D8931 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:46:22] 819*2^1411095-1 is not prime. Res64: B9F28790BBC719CA Time : 0.0 sec. user=mdettweiler [2015-10-05 07:46:22] 849*2^1411095-1 is not prime. Res64: 558FC3E30FC56164 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:46:52] 695*2^1411096-1 is not prime. Res64: D228318A6D318E15 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:46:52] 705*2^1411096-1 is not prime. Res64: 66BD78EA6DAFF769 Time : 0.0 sec. user=mdettweiler [2015-10-05 07:54:14] 765*2^1411096-1 is not prime. Res64: 295C4D226162FECC Time : 0.0 sec. user=mdettweiler [2015-10-05 07:54:15] 773*2^1411096-1 is not prime. Res64: 8CB5EB9422436FAD Time : 0.0 sec. user=mdettweiler [2015-10-05 08:04:11] 905*2^1411096-1 is not prime. Res64: D233FE4CA3FCB85A Time : 0.0 sec. user=mdettweiler [2015-10-05 08:04:13] 601*2^1411097-1 is not prime. Res64: 790D646FA23E217A Time : 0.0 sec. user=mdettweiler [2015-10-05 08:04:15] 615*2^1411097-1 is not prime. Res64: 163CF15A4953B445 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:04:17] 777*2^1411097-1 is not prime. Res64: EB0693A50E61C831 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:04:45] 781*2^1411097-1 is not prime. Res64: 477AE3B78E1FE89F Time : 0.0 sec. user=mdettweiler [2015-10-05 08:04:46] 847*2^1411097-1 is not prime. Res64: 350294E5CBE2A970 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:12:08] 945*2^1411097-1 is not prime. Res64: 7F17BA900DEAE2CC Time : 0.0 sec. user=mdettweiler [2015-10-05 08:12:08] 621*2^1411098-1 is not prime. Res64: DD5F4C75CF33A307 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:22:19] 681*2^1411098-1 is not prime. Res64: 30A1C1462DA90439 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:22:19] 797*2^1411098-1 is not prime. Res64: BD3EC057973C28A4 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:22:21] 837*2^1411098-1 is not prime. Res64: 14226EAA2EBFC3AB Time : 0.0 sec. user=mdettweiler [2015-10-05 08:22:21] 875*2^1411098-1 is not prime. Res64: 2FC3782D368E03CE Time : 0.0 sec. user=mdettweiler [2015-10-05 08:22:32] 645*2^1411099-1 is not prime. Res64: 3A8E0C60354A12EC Time : 0.0 sec. user=mdettweiler [2015-10-05 08:22:32] 663*2^1411099-1 is not prime. Res64: BB68BAD05BEF539E Time : 0.0 sec. user=mdettweiler [2015-10-05 08:29:53] 693*2^1411099-1 is not prime. Res64: DE5D00A4B5F979B2 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:29:53] 703*2^1411099-1 is not prime. Res64: 9158BBCB7CF0DDD2 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:40:13] 999*2^1411099-1 is not prime. Res64: B81BD4DED1DB1476 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:40:14] 669*2^1411100-1 is not prime. Res64: 272A16D94164FCBB Time : 0.0 sec. user=mdettweiler [2015-10-05 08:40:17] 853*2^1411099-1 is not prime. Res64: 46B8AF0740B99477 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:40:17] 931*2^1411099-1 is not prime. Res64: 7B42A3B9B9F06EC8 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:40:43] 677*2^1411100-1 is not prime. Res64: 7D238559EF96C16E Time : 0.0 sec. user=mdettweiler [2015-10-05 08:40:44] 797*2^1411100-1 is not prime. Res64: 7A346214E231C9BA Time : 0.0 sec. user=mdettweiler [2015-10-05 08:47:48] 827*2^1411100-1 is not prime. Res64: 35B808CFDF6804BB Time : 0.0 sec. user=mdettweiler [2015-10-05 08:47:48] 845*2^1411100-1 is not prime. Res64: 851A0353762AF062 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:58:00] 995*2^1411100-1 is not prime. Res64: 0E582180ADA86987 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:58:01] 615*2^1411101-1 is not prime. Res64: 81A6D8BB8853CC0F Time : 0.0 sec. user=mdettweiler [2015-10-05 08:58:07] 711*2^1411101-1 is not prime. Res64: 2EF1D468116C5161 Time : 0.0 sec. user=mdettweiler [2015-10-05 08:58:08] 741*2^1411101-1 is not prime. Res64: 9826C2CC0704377F Time : 0.0 sec. user=mdettweiler [2015-10-05 08:58:28] 817*2^1411101-1 is not prime. Res64: 5086340D8955381F Time : 0.0 sec. user=mdettweiler [2015-10-05 08:58:28] 829*2^1411101-1 is not prime. Res64: 2B4165A8BA4ACDE4 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:05:35] 861*2^1411101-1 is not prime. Res64: 1C041737CE794811 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:05:37] 969*2^1411101-1 is not prime. Res64: 45FA6DA3CDB9130C Time : 0.0 sec. user=mdettweiler [2015-10-05 09:15:53] 657*2^1411102-1 is not prime. Res64: D140321BE162BA45 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:15:54] 723*2^1411102-1 is not prime. Res64: 0A74123D4B66CCCC Time : 0.0 sec. user=mdettweiler [2015-10-05 09:15:54] 747*2^1411102-1 is not prime. Res64: D0B2265302238108 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:15:55] 761*2^1411102-1 is not prime. Res64: F652E5AB7FC3E568 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:16:24] 885*2^1411102-1 is not prime. Res64: 08E841B0347130AE Time : 0.0 sec. user=mdettweiler [2015-10-05 09:16:25] 917*2^1411102-1 is not prime. Res64: 239BE28B922E5496 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:23:21] 1001*2^1411102-1 is not prime. Res64: BC8484F4380FC0D0 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:23:21] 693*2^1411103-1 is not prime. Res64: CDA1688DF8842F20 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:33:43] 703*2^1411103-1 is not prime. Res64: E80806297BF8C2E5 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:33:43] 729*2^1411103-1 is not prime. Res64: 4F3F7FB75EE28ED6 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:33:46] 861*2^1411103-1 is not prime. Res64: 44A647A130EF2D48 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:33:47] 889*2^1411103-1 is not prime. Res64: 7AA74D6F6D372DC6 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:34:17] 973*2^1411103-1 is not prime. Res64: 6AF6EDC96F056FBE Time : 0.0 sec. user=mdettweiler [2015-10-05 09:34:18] 657*2^1411104-1 is not prime. Res64: 6EE4D36DC9CC17C7 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:41:04] 665*2^1411104-1 is not prime. Res64: 89C5ED82092E5D41 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:41:04] 747*2^1411104-1 is not prime. Res64: 200C68D140909318 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:51:37] 905*2^1411104-1 is not prime. Res64: B6462EE3382823BA Time : 0.0 sec. user=mdettweiler [2015-10-05 09:51:37] 751*2^1411105-1 is not prime. Res64: C077E5B9713FF59F Time : 0.0 sec. user=mdettweiler [2015-10-05 09:51:41] 777*2^1411105-1 is not prime. Res64: 38F94361B0C8AD7F Time : 0.0 sec. user=mdettweiler [2015-10-05 09:51:41] 847*2^1411105-1 is not prime. Res64: 027DAADCB992D9ED Time : 0.0 sec. user=mdettweiler [2015-10-05 09:52:10] 627*2^1411106-1 is not prime. Res64: B4E78D0DB0E38DF4 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:52:11] 675*2^1411106-1 is not prime. Res64: 3919CBA957AF80E1 Time : 0.0 sec. user=mdettweiler [2015-10-05 09:59:05] 701*2^1411106-1 is not prime. Res64: A7C8AD3ACA5D35AC Time : 0.0 sec. user=mdettweiler [2015-10-05 09:59:05] 875*2^1411106-1 is not prime. Res64: 294D66DB97CA2A26 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:09:33] 643*2^1411107-1 is not prime. Res64: BE0D54A1847A530A Time : 0.0 sec. user=mdettweiler [2015-10-05 10:09:34] 741*2^1411107-1 is not prime. Res64: AA9824828E82AF71 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:09:38] 941*2^1411106-1 is not prime. Res64: 5A3B7FED343D6242 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:09:39] 601*2^1411107-1 is not prime. Res64: FC16EBCA30738748 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:10:00] 801*2^1411107-1 is not prime. Res64: 90C28200DA23BF11 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:10:01] 879*2^1411107-1 is not prime. Res64: 5574420F74563117 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:16:58] 885*2^1411107-1 is not prime. Res64: B3E1C35E0A7DB9D6 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:16:59] 931*2^1411107-1 is not prime. Res64: 44322C38C2E3F28E Time : 0.0 sec. user=mdettweiler [2015-10-05 10:27:33] 665*2^1411108-1 is not prime. Res64: A15FAE71F2A986BD Time : 0.0 sec. user=mdettweiler [2015-10-05 10:27:34] 735*2^1411108-1 is not prime. Res64: 4F200724B7A69D56 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:27:36] 617*2^1411108-1 is not prime. Res64: 014093EE28AF51CA Time : 0.0 sec. user=mdettweiler [2015-10-05 10:27:36] 657*2^1411108-1 is not prime. Res64: 4CC793B392FA8227 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:27:50] 827*2^1411108-1 is not prime. Res64: 3E0572954F995350 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:27:50] 869*2^1411108-1 is not prime. Res64: 2893D66A341DB078 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:34:51] 887*2^1411108-1 is not prime. Res64: D27A7496527C01FA Time : 0.0 sec. user=mdettweiler [2015-10-05 10:34:51] 959*2^1411108-1 is not prime. Res64: 8293EA21A45F5FC6 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:45:26] 619*2^1411109-1 is not prime. Res64: 4723137F84C688D6 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:45:26] 655*2^1411109-1 is not prime. Res64: B2CBB95632920C41 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:45:27] 685*2^1411109-1 is not prime. Res64: 3D8A108D038CAECC Time : 0.0 sec. user=mdettweiler [2015-10-05 10:45:27] 699*2^1411109-1 is not prime. Res64: E30E3203079012A9 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:45:41] 747*2^1411109-1 is not prime. Res64: 7D5685BFAC840295 Time : 0.0 sec. user=mdettweiler [2015-10-05 10:45:42] 801*2^1411109-1 is not prime. Res64: 3A649232A4374B8D Time : 0.0 sec. user=mdettweiler [2015-10-05 11:03:28] 603*2^1411111-1 is not prime. Res64: 21E20ECB90BDB57F Time : 0.0 sec. user=mdettweiler [2015-10-05 11:03:30] 645*2^1411111-1 is not prime. Res64: 505750B3E6AF77BA Time : 0.0 sec. user=mdettweiler [2015-10-05 11:03:34] 845*2^1411110-1 is not prime. Res64: A5FF07F14340A0C0 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:03:35] 891*2^1411110-1 is not prime. Res64: 1D58836EE1117973 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:03:47] 741*2^1411111-1 is not prime. Res64: 0CACAD184DE787C2 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:03:48] 759*2^1411111-1 is not prime. Res64: 9D70378780A5D6AE Time : 0.0 sec. user=mdettweiler [2015-10-05 11:22:07] 609*2^1411112-1 is not prime. Res64: 47EBCA3253218FF0 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:22:07] 615*2^1411112-1 is not prime. Res64: 1D387E729B3783C2 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:22:15] 753*2^1411112-1 is not prime. Res64: 6A7512FD245A8BB7 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:22:16] 827*2^1411112-1 is not prime. Res64: B92FA24BF053D1C4 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:22:21] 859*2^1411111-1 is not prime. Res64: 74C66AB14CC9D0FD Time : 0.0 sec. user=mdettweiler [2015-10-05 11:22:22] 975*2^1411111-1 is not prime. Res64: A9401ED798AEE0FA Time : 0.0 sec. user=mdettweiler [2015-10-05 11:40:18] 607*2^1411113-1 is not prime. Res64: 4BF7D2235F20549E Time : 0.0 sec. user=mdettweiler [2015-10-05 11:40:18] 699*2^1411113-1 is not prime. Res64: 64783C77EFB826DA Time : 0.0 sec. user=mdettweiler [2015-10-05 11:40:21] 727*2^1411113-1 is not prime. Res64: 1636A7C20ECC570E Time : 0.0 sec. user=mdettweiler [2015-10-05 11:40:22] 745*2^1411113-1 is not prime. Res64: 63CBB74B2C0485CF Time : 0.0 sec. user=mdettweiler [2015-10-05 11:40:36] 781*2^1411113-1 is not prime. Res64: C110D9ABBFB22837 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:40:36] 805*2^1411113-1 is not prime. Res64: 1789F749FA00BBB6 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:53:44] 957*2^1411109-1 is not prime. Res64: 7B85D4C766D9007F Time : 0.0 sec. user=mdettweiler [2015-10-05 11:53:45] 693*2^1411110-1 is not prime. Res64: 432849FCCA1BF556 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:58:19] 889*2^1411113-1 is not prime. Res64: 12DEEE49A0E3EE58 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:58:19] 687*2^1411114-1 is not prime. Res64: 8A8E9BB735BD6350 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:58:28] 861*2^1411113-1 is not prime. Res64: 3F3B38943D60D658 Time : 0.0 sec. user=mdettweiler [2015-10-05 11:58:29] 885*2^1411113-1 is not prime. Res64: 1C9FEA8218C47E1E Time : 0.0 sec. user=mdettweiler [2015-10-05 11:58:41] 707*2^1411114-1 is not prime. Res64: 0CB6E29F7CACC56E Time : 0.0 sec. user=mdettweiler [2015-10-05 11:58:42] 723*2^1411114-1 is not prime. Res64: 93AF616C10DE7513 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:11:38] 765*2^1411114-1 is not prime. Res64: 3F8A7AA755FD54B1 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:11:38] 803*2^1411114-1 is not prime. Res64: BCC77EEA99C128C7 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:16:11] 813*2^1411114-1 is not prime. Res64: 14CD878222AB29E7 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:16:12] 693*2^1411115-1 is not prime. Res64: 993EA4946914643C Time : 0.0 sec. user=mdettweiler [2015-10-05 12:16:13] 775*2^1411115-1 is not prime. Res64: CADD49EDBA831B2E Time : 0.0 sec. user=mdettweiler [2015-10-05 12:16:14] 781*2^1411115-1 is not prime. Res64: BA0A8B68B105D842 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:16:35] 841*2^1411115-1 is not prime. Res64: A7725F35904D03C9 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:16:35] 855*2^1411115-1 is not prime. Res64: AD8EAC561FA8C8B7 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:29:31] 963*2^1411115-1 is not prime. Res64: 25CF10682FB66225 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:29:32] 999*2^1411115-1 is not prime. Res64: 001494591AE5F5CC Time : 0.0 sec. user=mdettweiler [2015-10-05 12:33:56] 767*2^1411116-1 is not prime. Res64: 0F20D5ECBC92195E Time : 0.0 sec. user=mdettweiler [2015-10-05 12:33:57] 773*2^1411116-1 is not prime. Res64: D6B69F1B85CCD32E Time : 0.0 sec. user=mdettweiler [2015-10-05 12:34:01] 629*2^1411116-1 is not prime. Res64: 29C7C63946AF9FF2 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:34:01] 725*2^1411116-1 is not prime. Res64: 900E2AC89AE82325 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:34:24] 857*2^1411116-1 is not prime. Res64: 540B985A29A966B4 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:34:24] 933*2^1411116-1 is not prime. Res64: 6FD7E26C9F258882 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:47:18] 601*2^1411117-1 is not prime. Res64: 7EECC100CD8BC01F Time : 0.0 sec. user=mdettweiler [2015-10-05 12:47:19] 607*2^1411117-1 is not prime. Res64: 9B27EDE62E9C0A21 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:51:45] 609*2^1411117-1 is not prime. Res64: F9D61EC8E420DB5F Time : 0.0 sec. user=mdettweiler [2015-10-05 12:51:45] 621*2^1411117-1 is not prime. Res64: B03A3EEF95572460 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:51:52] 675*2^1411117-1 is not prime. Res64: F0BB3CA5A1EA4E44 Time : 0.0 sec. user=mdettweiler [2015-10-05 12:51:53] 759*2^1411117-1 is not prime. Res64: C922D458AF867B9B Time : 0.0 sec. user=mdettweiler [2015-10-05 12:52:15] 801*2^1411117-1 is not prime. Res64: A73014E9AE9E1F4E Time : 0.0 sec. user=mdettweiler [2015-10-05 12:52:15] 915*2^1411117-1 is not prime. Res64: 81ACA40C70E91751 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:05:09] 937*2^1411117-1 is not prime. Res64: D1009D10B869988E Time : 0.0 sec. user=mdettweiler [2015-10-05 13:05:11] 967*2^1411117-1 is not prime. Res64: 0D6E12A75BC11B14 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:09:33] 603*2^1411118-1 is not prime. Res64: 062C89A83A38D750 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:09:33] 635*2^1411118-1 is not prime. Res64: 54C76DCDA932741C Time : 0.0 sec. user=mdettweiler [2015-10-05 13:09:48] 651*2^1411118-1 is not prime. Res64: 6BAC18DDAC2ED992 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:09:49] 711*2^1411118-1 is not prime. Res64: 0BAB54ECFA4641C2 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:10:06] 773*2^1411118-1 is not prime. Res64: DEF32FAE16324EE0 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:10:06] 857*2^1411118-1 is not prime. Res64: 4F9503EF09578831 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:23:21] 875*2^1411118-1 is not prime. Res64: B3E1BAF96C5622D7 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:23:21] 897*2^1411118-1 is not prime. Res64: F2BDE02DD4C51DDA Time : 0.0 sec. user=mdettweiler [2015-10-05 13:27:20] 963*2^1411118-1 is not prime. Res64: AD5E68CFDFA09975 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:27:20] 625*2^1411119-1 is not prime. Res64: 759257413C66AF05 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:27:33] 663*2^1411119-1 is not prime. Res64: 38B78CDFFFC29F6D Time : 0.0 sec. user=mdettweiler [2015-10-05 13:27:34] 679*2^1411119-1 is not prime. Res64: 9AE670F6313FC44D Time : 0.0 sec. user=mdettweiler [2015-10-05 13:28:00] 853*2^1411119-1 is not prime. Res64: A76AB7A4D98600EA Time : 0.0 sec. user=mdettweiler [2015-10-05 13:28:00] 931*2^1411119-1 is not prime. Res64: EC35BABAF1F36D2D Time : 0.0 sec. user=mdettweiler [2015-10-05 13:41:28] 961*2^1411119-1 is not prime. Res64: 331E5AE3DBD804D1 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:41:28] 645*2^1411120-1 is not prime. Res64: F23F52F977520DD2 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:45:17] 747*2^1411120-1 is not prime. Res64: 122C3EA7C88CEEF4 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:45:18] 785*2^1411120-1 is not prime. Res64: EBDBF663E88A2A9C Time : 0.0 sec. user=mdettweiler [2015-10-05 13:45:25] 827*2^1411120-1 is not prime. Res64: F47B6B1C9BC50B45 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:45:25] 965*2^1411120-1 is not prime. Res64: 7A65641739273208 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:45:56] 999*2^1411120-1 is not prime. Res64: 610CD4E66EA20BA4 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:45:56] 607*2^1411121-1 is not prime. Res64: 0A1DC2669A2A53E8 Time : 0.0 sec. user=mdettweiler [2015-10-05 13:59:27] 649*2^1411121-1 is not prime. Res64: 3C5937FEE771B29A Time : 0.0 sec. user=mdettweiler [2015-10-05 13:59:27] 711*2^1411121-1 is not prime. Res64: CB1827DD6E8A2221 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:03:10] 769*2^1411121-1 is not prime. Res64: F9C226E63E6EB9AA Time : 0.0 sec. user=mdettweiler [2015-10-05 14:03:11] 871*2^1411121-1 is not prime. Res64: 198043B4104B987C Time : 0.0 sec. user=mdettweiler [2015-10-05 14:03:20] 991*2^1411121-1 is not prime. Res64: 54457C3CDC6905A3 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:03:21] 651*2^1411122-1 is not prime. Res64: 266B7FFDBA772A40 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:03:54] 665*2^1411122-1 is not prime. Res64: B7266E06D4A58978 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:03:56] 677*2^1411122-1 is not prime. Res64: 990785B4F3FB6D8C Time : 0.0 sec. user=mdettweiler [2015-10-05 14:17:19] 681*2^1411122-1 is not prime. Res64: 922017C8CB3A1562 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:17:19] 695*2^1411122-1 is not prime. Res64: A16E349E77DE2508 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:21:09] 801*2^1411122-1 is not prime. Res64: 908A386C14A4D795 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:21:10] 825*2^1411122-1 is not prime. Res64: F62705FF8DF8B0C4 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:21:31] 873*2^1411122-1 is not prime. Res64: 82C110E87189A23E Time : 0.0 sec. user=mdettweiler [2015-10-05 14:21:31] 893*2^1411122-1 is not prime. Res64: 17DF359F5701B452 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:21:59] 945*2^1411122-1 is not prime. Res64: 9ACB229D8277A958 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:21:59] 709*2^1411123-1 is not prime. Res64: BB53F11CF28D5286 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:35:41] 765*2^1411123-1 is not prime. Res64: 624432FFF0F89FBE Time : 0.0 sec. user=mdettweiler [2015-10-05 14:35:41] 951*2^1411123-1 is not prime. Res64: 51262FC218FBB871 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:39:52] 993*2^1411124-1 is not prime. Res64: 776AA5776986674C Time : 0.0 sec. user=mdettweiler [2015-10-05 14:39:52] 627*2^1411125-1 is not prime. Res64: ABB4476126309725 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:39:59] 685*2^1411125-1 is not prime. Res64: EBAE225243F665A7 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:39:59] 895*2^1411125-1 is not prime. Res64: BE4878D6078C2C30 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:40:36] 975*2^1411125-1 is not prime. Res64: A360DB4EE6C087CB Time : 0.0 sec. user=mdettweiler [2015-10-05 14:40:37] 603*2^1411126-1 is not prime. Res64: 88B3BD6A92BA39C8 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:53:57] 677*2^1411126-1 is not prime. Res64: 01E60C958EA5EBA0 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:53:58] 713*2^1411126-1 is not prime. Res64: 8472F67245D5A673 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:57:52] 785*2^1411126-1 is not prime. Res64: C0A0ED04AA5C48B3 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:57:52] 917*2^1411126-1 is not prime. Res64: 8D492038E428C4E5 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:57:53] 975*2^1411126-1 is not prime. Res64: 8E3C38654E378751 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:57:53] 813*2^1411126-1 is not prime. Res64: 64A2B7B7293FFA7A Time : 0.0 sec. user=mdettweiler [2015-10-05 14:58:33] 703*2^1411127-1 is not prime. Res64: 7BA4CB920A96B518 Time : 0.0 sec. user=mdettweiler [2015-10-05 14:58:34] 711*2^1411127-1 is not prime. Res64: 02C6C5BFA021CE3E Time : 0.0 sec. user=mdettweiler [2015-10-05 15:11:44] 799*2^1411127-1 is not prime. Res64: D6CB170160614BB4 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:11:45] 993*2^1411127-1 is not prime. Res64: 6A2531FE9B697DAC Time : 0.0 sec. user=mdettweiler [2015-10-05 15:15:44] 753*2^1411128-1 is not prime. Res64: 832FA952ED3307EC Time : 0.0 sec. user=mdettweiler [2015-10-05 15:15:45] 767*2^1411128-1 is not prime. Res64: E7CFDD6BA7B83E32 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:15:51] 669*2^1411128-1 is not prime. Res64: E76D3EC5A896975F Time : 0.0 sec. user=mdettweiler [2015-10-05 15:15:51] 747*2^1411128-1 is not prime. Res64: 4F8087628711A3FC Time : 0.0 sec. user=mdettweiler [2015-10-05 15:16:25] 809*2^1411128-1 is not prime. Res64: AD863BBAF45E2789 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:16:25] 843*2^1411128-1 is not prime. Res64: B00EEFC4CE1855D6 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:29:46] 945*2^1411128-1 is not prime. Res64: B289DABED8D59947 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:29:46] 615*2^1411129-1 is not prime. Res64: C0DF7239C1E55EAB Time : 0.0 sec. user=mdettweiler [2015-10-05 15:33:46] 817*2^1411129-1 is not prime. Res64: 526C40845930B84D Time : 0.0 sec. user=mdettweiler [2015-10-05 15:33:47] 861*2^1411129-1 is not prime. Res64: DA673DDCE0E4488D Time : 0.0 sec. user=mdettweiler [2015-10-05 15:33:59] 877*2^1411129-1 is not prime. Res64: E7ECDFE8ADFA2953 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:34:00] 919*2^1411129-1 is not prime. Res64: CDCB15B9E19F3BF1 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:34:26] 999*2^1411129-1 is not prime. Res64: F6CCFA6D162CF92A Time : 0.0 sec. user=mdettweiler [2015-10-05 15:34:27] 641*2^1411130-1 is not prime. Res64: 83704DF509423B9D Time : 0.0 sec. user=mdettweiler [2015-10-05 15:47:42] 813*2^1411130-1 is not prime. Res64: C29D2DE05C39F617 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:47:43] 831*2^1411130-1 is not prime. Res64: FCAEF8CF1D943FFF Time : 0.0 sec. user=mdettweiler [2015-10-05 15:51:39] 885*2^1411130-1 is not prime. Res64: 58141627A18959CE Time : 0.0 sec. user=mdettweiler [2015-10-05 15:51:39] 935*2^1411130-1 is not prime. Res64: 47AEF2228EB5D051 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:51:52] 625*2^1411131-1 is not prime. Res64: 2607732AD8C61259 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:51:53] 705*2^1411131-1 is not prime. Res64: A05A2BABCDA3ECC7 Time : 0.0 sec. user=mdettweiler [2015-10-05 15:52:14] 723*2^1411131-1 is not prime. Res64: E1154804063250CB Time : 0.0 sec. user=mdettweiler [2015-10-05 15:52:15] 735*2^1411131-1 is not prime. Res64: C063C0F0C0BA820C Time : 0.0 sec. user=mdettweiler [2015-10-05 16:05:40] 795*2^1411131-1 is not prime. Res64: AC4E66DAD0739B33 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:05:41] 805*2^1411131-1 is not prime. Res64: 7E654CAE47C45CAE Time : 0.0 sec. user=mdettweiler [2015-10-05 16:09:42] 825*2^1411131-1 is not prime. Res64: 0A981D1B7EC967AB Time : 0.0 sec. user=mdettweiler [2015-10-05 16:09:42] 921*2^1411131-1 is not prime. Res64: 0876A53D0AFE2358 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:09:55] 949*2^1411131-1 is not prime. Res64: 1EECD9900884AAFD Time : 0.0 sec. user=mdettweiler [2015-10-05 16:09:56] 603*2^1411132-1 is not prime. Res64: E8D358E531A359BA Time : 0.0 sec. user=mdettweiler [2015-10-05 16:10:11] 723*2^1411132-1 is not prime. Res64: 9A7C6AD87D6A98FE Time : 0.0 sec. user=mdettweiler [2015-10-05 16:10:12] 803*2^1411132-1 is not prime. Res64: 2966AE21CD9DF389 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:23:38] 869*2^1411132-1 is not prime. Res64: 599696244C95D962 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:23:38] 873*2^1411132-1 is not prime. Res64: 8A04B75ECFD43805 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:27:29] 959*2^1411132-1 is not prime. Res64: 4BBF4DFAD75F9BBC Time : 0.0 sec. user=mdettweiler [2015-10-05 16:27:30] 965*2^1411132-1 is not prime. Res64: 2530D7CB4A9AC8C7 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:27:50] 607*2^1411133-1 is not prime. Res64: 31E8D39FE179694A Time : 0.0 sec. user=mdettweiler [2015-10-05 16:27:51] 657*2^1411133-1 is not prime. Res64: F70B5CA58EDD9B44 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:28:01] 735*2^1411133-1 is not prime. Res64: 24A9101D58D97515 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:28:02] 757*2^1411133-1 is not prime. Res64: 4417DB400100ABFB Time : 0.0 sec. user=mdettweiler [2015-10-05 16:41:36] 831*2^1411133-1 is not prime. Res64: F9219F544F291DB5 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:41:37] 897*2^1411133-1 is not prime. Res64: BEC67331C39FCDBC Time : 0.0 sec. user=mdettweiler [2015-10-05 16:45:36] 987*2^1411133-1 is not prime. Res64: 32D45D756A8FCA0C Time : 0.0 sec. user=mdettweiler [2015-10-05 16:45:37] 615*2^1411134-1 is not prime. Res64: 81FF0011C6E19735 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:46:09] 635*2^1411134-1 is not prime. Res64: 899953147257EBBF Time : 0.0 sec. user=mdettweiler [2015-10-05 16:46:10] 755*2^1411134-1 is not prime. Res64: C10DDC4B34ADE930 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:46:12] 783*2^1411134-1 is not prime. Res64: F757E7E3F33F7255 Time : 0.0 sec. user=mdettweiler [2015-10-05 16:46:13] 833*2^1411134-1 is not prime. Res64: 1B92F809B383DE4C Time : 0.0 sec. user=mdettweiler [2015-10-05 17:00:03] 927*2^1411134-1 is not prime. Res64: 67BB5FFDD8888F39 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:00:04] 971*2^1411134-1 is not prime. Res64: B07E00F15886C11C Time : 0.0 sec. user=mdettweiler [2015-10-05 17:04:16] 975*2^1411134-1 is not prime. Res64: 2410C6E66A3967F6 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:04:18] 993*2^1411134-1 is not prime. Res64: 522437D3B5555ECE Time : 0.0 sec. user=mdettweiler [2015-10-05 17:04:31] 609*2^1411135-1 is not prime. Res64: 9DD52A9AD544F87E Time : 0.0 sec. user=mdettweiler [2015-10-05 17:04:33] 709*2^1411135-1 is not prime. Res64: BBC544DDDA96F3F5 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:04:55] 861*2^1411135-1 is not prime. Res64: BB3B7CDBAA6318F5 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:04:56] 933*2^1411135-1 is not prime. Res64: AD51605C4F9ADAF9 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:19:44] 609*2^1411136-1 is not prime. Res64: 4764597B2A54389F Time : 0.0 sec. user=mdettweiler [2015-10-05 17:19:45] 743*2^1411136-1 is not prime. Res64: 61387D2894987A34 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:24:27] 759*2^1411136-1 is not prime. Res64: 34EDBE4F828DF85B Time : 0.0 sec. user=mdettweiler [2015-10-05 17:24:27] 833*2^1411136-1 is not prime. Res64: ADF0EA468F6CE203 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:24:32] 897*2^1411136-1 is not prime. Res64: 046F81A711A1E40C Time : 0.0 sec. user=mdettweiler [2015-10-05 17:24:32] 945*2^1411136-1 is not prime. Res64: 8B206212490021A3 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:24:48] 649*2^1411137-1 is not prime. Res64: C49ED78F09C7B5EC Time : 0.0 sec. user=mdettweiler [2015-10-05 17:24:48] 807*2^1411137-1 is not prime. Res64: BC4FBA1D5484F5BD Time : 0.0 sec. user=mdettweiler [2015-10-05 17:39:01] 837*2^1411137-1 is not prime. Res64: 45C0954C26277682 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:39:01] 895*2^1411137-1 is not prime. Res64: 40431552E9B2C82A Time : 0.0 sec. user=mdettweiler [2015-10-05 17:43:23] 777*2^1411138-1 is not prime. Res64: 827365B4A65A73C1 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:43:23] 803*2^1411138-1 is not prime. Res64: 40203B46C48A4AA1 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:43:27] 611*2^1411138-1 is not prime. Res64: 2636B372D3208209 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:43:28] 705*2^1411138-1 is not prime. Res64: 0065D434187DCB04 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:43:51] 995*2^1411138-1 is not prime. Res64: A76F66428E876066 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:43:51] 669*2^1411139-1 is not prime. Res64: B9275DC90C26F351 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:57:36] 741*2^1411139-1 is not prime. Res64: 74D1CC5E33052610 Time : 0.0 sec. user=mdettweiler [2015-10-05 17:57:36] 759*2^1411139-1 is not prime. Res64: 0CE9EA744828A276 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:01:51] 775*2^1411139-1 is not prime. Res64: 7E2DD30DF636285B Time : 0.0 sec. user=mdettweiler [2015-10-05 18:01:52] 913*2^1411139-1 is not prime. Res64: 723B9CC29435AC56 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:01:56] 943*2^1411139-1 is not prime. Res64: AB2F81890B80AEA8 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:01:56] 993*2^1411139-1 is not prime. Res64: 815D9A159C80A158 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:02:09] 695*2^1411140-1 is not prime. Res64: E40B0E8E2A686452 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:02:09] 723*2^1411140-1 is not prime. Res64: AAD9A6326F032DBF Time : 0.0 sec. user=mdettweiler [2015-10-05 18:15:49] 819*2^1411140-1 is not prime. Res64: 18B7B45E54F20DDF Time : 0.0 sec. user=mdettweiler [2015-10-05 18:15:49] 875*2^1411140-1 is not prime. Res64: 9002B11F6B24939B Time : 0.0 sec. user=mdettweiler [2015-10-05 18:20:00] 691*2^1411141-1 is not prime. Res64: C308A784C5AEFB3C Time : 0.0 sec. user=mdettweiler [2015-10-05 18:20:01] 727*2^1411141-1 is not prime. Res64: CF8C277FFE810A2F Time : 0.0 sec. user=mdettweiler [2015-10-05 18:20:06] 929*2^1411140-1 is not prime. Res64: 8E3E53AB2ED670A2 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:20:07] 639*2^1411141-1 is not prime. Res64: BF405D2042B2707D Time : 0.0 sec. user=mdettweiler [2015-10-05 18:20:18] 741*2^1411141-1 is not prime. Res64: 1F893826EF75F232 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:20:19] 751*2^1411141-1 is not prime. Res64: 37DCEC92EBCE3758 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:33:45] 859*2^1411141-1 is not prime. Res64: F9A033B8C416A47E Time : 0.0 sec. user=mdettweiler [2015-10-05 18:33:45] 877*2^1411141-1 is not prime. Res64: D5FA8E6B32F7A161 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:37:49] 623*2^1411142-1 is not prime. Res64: C2F8488FF6B6F139 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:37:49] 665*2^1411142-1 is not prime. Res64: 13CFA2B3FCCC8C47 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:38:06] 801*2^1411142-1 is not prime. Res64: DAB4503940A50905 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:38:06] 885*2^1411142-1 is not prime. Res64: 4F6AA04EA6544B63 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:38:07] 923*2^1411142-1 is not prime. Res64: 7AB432AB1FB8C36B Time : 0.0 sec. user=mdettweiler [2015-10-05 18:38:07] 977*2^1411142-1 is not prime. Res64: ECC594E42055AF77 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:51:40] 625*2^1411143-1 is not prime. Res64: D9A2283EE1055010 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:51:40] 741*2^1411143-1 is not prime. Res64: 4F66F9C2FABE7D21 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:55:44] 849*2^1411143-1 is not prime. Res64: A7CF66BCA6636893 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:55:44] 873*2^1411143-1 is not prime. Res64: 9D1B10CB8B3BC046 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:55:52] 921*2^1411143-1 is not prime. Res64: B9C8FB70166919FB Time : 0.0 sec. user=mdettweiler [2015-10-05 18:55:53] 943*2^1411143-1 is not prime. Res64: 1309662AF410C47D Time : 0.0 sec. user=mdettweiler [2015-10-05 18:56:08] 961*2^1411143-1 is not prime. Res64: 5EA45CFE1E60BC41 Time : 0.0 sec. user=mdettweiler [2015-10-05 18:56:08] 605*2^1411144-1 is not prime. Res64: AC7F00AC16003A4F Time : 0.0 sec. user=mdettweiler [2015-10-05 19:09:27] 609*2^1411144-1 is not prime. Res64: 01785BF30182106B Time : 0.0 sec. user=mdettweiler [2015-10-05 19:09:27] 617*2^1411144-1 is not prime. Res64: 5BE27ABCA25EE8B4 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:13:38] 747*2^1411144-1 is not prime. Res64: B6C0755BB3553EF9 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:13:39] 915*2^1411144-1 is not prime. Res64: 390E08BF1CAB63D2 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:13:42] 917*2^1411144-1 is not prime. Res64: 835483461E094F78 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:13:42] 975*2^1411144-1 is not prime. Res64: F1BD128CADD20CAA Time : 0.0 sec. user=mdettweiler [2015-10-05 19:14:07] 679*2^1411145-1 is not prime. Res64: 1D9EC3F9D2735D0B Time : 0.0 sec. user=mdettweiler [2015-10-05 19:14:08] 777*2^1411145-1 is not prime. Res64: F25146055099580B Time : 0.0 sec. user=mdettweiler [2015-10-05 19:27:32] 787*2^1411145-1 is not prime. Res64: C0FCA1AD061132A3 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:27:32] 969*2^1411145-1 is not prime. Res64: 42B5446754DD0B29 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:31:25] 717*2^1411146-1 is not prime. Res64: 40B5AD45CC548F9C Time : 0.0 sec. user=mdettweiler [2015-10-05 19:31:25] 765*2^1411146-1 is not prime. Res64: 183A710BB0B1CF3C Time : 0.0 sec. user=mdettweiler [2015-10-05 19:31:32] 815*2^1411146-1 is not prime. Res64: 66254E59B74EAE95 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:31:33] 833*2^1411146-1 is not prime. Res64: 347E54858E39453A Time : 0.0 sec. user=mdettweiler [2015-10-05 19:31:55] 923*2^1411146-1 is not prime. Res64: 641334233CC72D80 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:31:55] 625*2^1411147-1 is not prime. Res64: F93D708FFB28D889 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:45:23] 759*2^1411147-1 is not prime. Res64: 910ECBE9AC29DC9C Time : 0.0 sec. user=mdettweiler [2015-10-05 19:45:23] 835*2^1411147-1 is not prime. Res64: 25ABF80C38EC1E61 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:49:24] 873*2^1411147-1 is not prime. Res64: A67E75182BE8278B Time : 0.0 sec. user=mdettweiler [2015-10-05 19:49:24] 883*2^1411147-1 is not prime. Res64: C50EE0058D9BDA03 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:49:38] 961*2^1411147-1 is not prime. Res64: 697A461AA336C913 Time : 0.0 sec. user=mdettweiler [2015-10-05 19:49:38] 975*2^1411147-1 is not prime. Res64: E988285888AFF01A Time : 0.0 sec. user=mdettweiler [2015-10-05 19:49:42] 985*2^1411147-1 is not prime. Res64: 656928F086DD46DA Time : 0.0 sec. user=mdettweiler [2015-10-05 19:49:43] 603*2^1411148-1 is not prime. Res64: 4E8D17801E25E6B9 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:03:23] 623*2^1411148-1 is not prime. Res64: F88E3C9893A1ECB2 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:03:25] 677*2^1411148-1 is not prime. Res64: EAFEDCD073B2BDB1 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:07:20] 735*2^1411148-1 is not prime. Res64: C1751061B82E22C2 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:07:20] 767*2^1411148-1 is not prime. Res64: 5429BFFBF0D05586 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:07:23] 813*2^1411148-1 is not prime. Res64: 60F2B46572534AD1 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:07:23] 837*2^1411148-1 is not prime. Res64: 3D660A2A431FAA6D Time : 0.0 sec. user=mdettweiler [2015-10-05 20:07:35] 953*2^1411148-1 is not prime. Res64: 5065205D0C56DF88 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:07:35] 627*2^1411149-1 is not prime. Res64: E84222489ED07C8B Time : 0.0 sec. user=mdettweiler [2015-10-05 20:21:43] 667*2^1411149-1 is not prime. Res64: C04662E0A0A9442C Time : 0.0 sec. user=mdettweiler [2015-10-05 20:21:43] 759*2^1411149-1 is not prime. Res64: 2206966A44486026 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:25:12] 765*2^1411149-1 is not prime. Res64: 582DB76A38650A53 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:25:12] 781*2^1411149-1 is not prime. Res64: 5EB9047114317D22 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:25:21] 895*2^1411149-1 is not prime. Res64: B575F9C891C918EF Time : 0.0 sec. user=mdettweiler [2015-10-05 20:25:21] 921*2^1411149-1 is not prime. Res64: 5F4A122BD0785655 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:25:38] 681*2^1411150-1 is not prime. Res64: 1EA3060AE0657ACA Time : 0.0 sec. user=mdettweiler [2015-10-05 20:25:39] 773*2^1411150-1 is not prime. Res64: 24A1E6125590C12F Time : 0.0 sec. user=mdettweiler [2015-10-05 20:39:39] 801*2^1411150-1 is not prime. Res64: B777E836D8ED8744 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:39:39] 857*2^1411150-1 is not prime. Res64: 81FDC9F8B4BAC0BD Time : 0.0 sec. user=mdettweiler [2015-10-05 20:43:02] 867*2^1411150-1 is not prime. Res64: 88F54903C7D210F4 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:43:02] 643*2^1411151-1 is not prime. Res64: 45E8824EC278F9FF Time : 0.0 sec. user=mdettweiler [2015-10-05 20:43:16] 745*2^1411151-1 is not prime. Res64: B41E3A5FAE6E35ED Time : 0.0 sec. user=mdettweiler [2015-10-05 20:43:16] 811*2^1411151-1 is not prime. Res64: B42CE25DE5C57D01 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:43:32] 973*2^1411151-1 is not prime. Res64: BF8FF3D649214EAC Time : 0.0 sec. user=mdettweiler [2015-10-05 20:43:32] 629*2^1411152-1 is not prime. Res64: 53F6A207AD9F186C Time : 0.0 sec. user=mdettweiler [2015-10-05 20:57:44] 947*2^1411152-1 is not prime. Res64: B3648645B7776888 Time : 0.0 sec. user=mdettweiler [2015-10-05 20:57:45] 959*2^1411152-1 is not prime. Res64: B6B540C282178408 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:01:30] 691*2^1411153-1 is not prime. Res64: ED21D471BEA035F2 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:01:31] 705*2^1411153-1 is not prime. Res64: CB13830EE1A0DC84 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:01:31] 619*2^1411153-1 is not prime. Res64: D92B50712E1019D6 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:01:32] 651*2^1411153-1 is not prime. Res64: BB8029914C288E19 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:01:43] 769*2^1411153-1 is not prime. Res64: E9BC1300181DCE4A Time : 0.0 sec. user=mdettweiler [2015-10-05 21:01:44] 789*2^1411153-1 is not prime. Res64: BED1C1B164BE26EB Time : 0.0 sec. user=mdettweiler [2015-10-05 21:15:55] 801*2^1411153-1 is not prime. Res64: 0564193334B23BAB Time : 0.0 sec. user=mdettweiler [2015-10-05 21:15:55] 831*2^1411153-1 is not prime. Res64: 9234CFEB40AFD3E6 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:19:44] 895*2^1411153-1 is not prime. Res64: 20E368AC80ECA01E Time : 0.0 sec. user=mdettweiler [2015-10-05 21:19:45] 797*2^1411154-1 is not prime. Res64: EDA6C30ECDF6C520 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:19:54] 861*2^1411154-1 is not prime. Res64: EC7788E8E8F2351B Time : 0.0 sec. user=mdettweiler [2015-10-05 21:19:54] 875*2^1411154-1 is not prime. Res64: 5B9D9CA9C53010E3 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:20:10] 945*2^1411154-1 is not prime. Res64: 52B4850DE019ED3E Time : 0.0 sec. user=mdettweiler [2015-10-05 21:20:10] 953*2^1411154-1 is not prime. Res64: 51CBE51DA73B533A Time : 0.0 sec. user=mdettweiler [2015-10-05 21:34:09] 639*2^1411155-1 is not prime. Res64: C8A62D8749A30477 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:34:09] 781*2^1411155-1 is not prime. Res64: 32C9727B7E9941AE Time : 0.0 sec. user=mdettweiler [2015-10-05 21:37:52] 793*2^1411155-1 is not prime. Res64: E02B3CEF5C1B0113 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:37:53] 859*2^1411155-1 is not prime. Res64: 10DE974A08C7CBA1 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:38:04] 963*2^1411155-1 is not prime. Res64: 455AC8B6EA9A15A3 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:38:05] 609*2^1411156-1 is not prime. Res64: 0AFC7703F1C79D6E Time : 0.0 sec. user=mdettweiler [2015-10-05 21:38:23] 647*2^1411156-1 is not prime. Res64: 4B5B0EEE1877D0C7 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:38:23] 743*2^1411156-1 is not prime. Res64: 548639A86D513BC4 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:52:27] 825*2^1411156-1 is not prime. Res64: A66451EF6609471B Time : 0.0 sec. user=mdettweiler [2015-10-05 21:52:27] 903*2^1411156-1 is not prime. Res64: 8394B45F5635C470 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:56:20] 909*2^1411156-1 is not prime. Res64: D684B4A4603230A9 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:56:20] 999*2^1411156-1 is not prime. Res64: D361B3DB2F507038 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:56:31] 651*2^1411157-1 is not prime. Res64: 3D311BBA2D5C87ED Time : 0.0 sec. user=mdettweiler [2015-10-05 21:56:31] 697*2^1411157-1 is not prime. Res64: C454ACAAA5CB24D4 Time : 0.0 sec. user=mdettweiler [2015-10-05 21:56:50] 711*2^1411157-1 is not prime. Res64: 526886146795377C Time : 0.0 sec. user=mdettweiler [2015-10-05 21:56:50] 715*2^1411157-1 is not prime. Res64: 64311926F99E3179 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:11:31] 727*2^1411157-1 is not prime. Res64: 54CDDAD69751057A Time : 0.0 sec. user=mdettweiler [2015-10-05 22:11:32] 735*2^1411157-1 is not prime. Res64: 4029862996D8FC55 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:15:37] 747*2^1411157-1 is not prime. Res64: FA2F042421EFE3B1 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:15:38] 837*2^1411157-1 is not prime. Res64: 28687EB5392EAF53 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:15:38] 865*2^1411157-1 is not prime. Res64: F8268226609F1CFA Time : 0.0 sec. user=mdettweiler [2015-10-05 22:15:39] 949*2^1411157-1 is not prime. Res64: AF52F09F2FEFE382 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:16:02] 663*2^1411158-1 is not prime. Res64: 7F8E651A939FA7D8 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:16:02] 665*2^1411158-1 is not prime. Res64: 74137B84497750D2 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:30:14] 711*2^1411158-1 is not prime. Res64: BE1A6EFFC29FCF28 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:30:14] 777*2^1411158-1 is not prime. Res64: 6A5514512978F414 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:34:24] 663*2^1411159-1 is not prime. Res64: EBFEB5FEBC1E3EFF Time : 0.0 sec. user=mdettweiler [2015-10-05 22:34:25] 885*2^1411159-1 is not prime. Res64: BD552030B6B6B990 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:34:51] 633*2^1411160-1 is not prime. Res64: FF485699E4EAF4CE Time : 0.0 sec. user=mdettweiler [2015-10-05 22:34:51] 663*2^1411160-1 is not prime. Res64: 6EF2DF7A879AB9FF Time : 0.0 sec. user=mdettweiler [2015-10-05 22:34:54] 815*2^1411158-1 is not prime. Res64: E35A6D7EA6474A43 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:34:54] 893*2^1411158-1 is not prime. Res64: BB1F132277660B05 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:51:09] 665*2^1411160-1 is not prime. Res64: E46CF80DDA966E5B Time : 0.0 sec. user=mdettweiler [2015-10-05 22:51:09] 897*2^1411160-1 is not prime. Res64: 1D06A9F3A4E235EE Time : 0.0 sec. user=mdettweiler [2015-10-05 22:54:54] 661*2^1411161-1 is not prime. Res64: F2D166F77E19D820 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:54:54] 741*2^1411161-1 is not prime. Res64: 97DE0A9E80EDC547 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:55:17] 777*2^1411161-1 is not prime. Res64: DBFB2FE5313D2365 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:55:17] 807*2^1411161-1 is not prime. Res64: F9E5A95592E9289C Time : 0.0 sec. user=mdettweiler [2015-10-05 22:55:31] 861*2^1411161-1 is not prime. Res64: 7EFD1DEC2E9D4AD3 Time : 0.0 sec. user=mdettweiler [2015-10-05 22:55:31] 871*2^1411161-1 is not prime. Res64: 21322B9AF2DF20FA Time : 0.0 sec. user=mdettweiler [2015-10-05 23:10:41] 877*2^1411161-1 is not prime. Res64: 2ECB888B188DCB15 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:10:41] 895*2^1411161-1 is not prime. Res64: 530E465C851202E9 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:14:19] 937*2^1411161-1 is not prime. Res64: A4858F784BFEDBBA Time : 0.0 sec. user=mdettweiler [2015-10-05 23:14:20] 951*2^1411161-1 is not prime. Res64: F7363B16598A7828 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:14:41] 611*2^1411162-1 is not prime. Res64: 674B682898EECEE6 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:14:41] 621*2^1411162-1 is not prime. Res64: 330D261C2C5AA04E Time : 0.0 sec. user=mdettweiler [2015-10-05 23:15:07] 665*2^1411162-1 is not prime. Res64: 288FA882DC1236A3 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:15:08] 755*2^1411162-1 is not prime. Res64: 296FEC0538614F0A Time : 0.0 sec. user=mdettweiler [2015-10-05 23:30:22] 887*2^1411162-1 is not prime. Res64: FCC5D966C975164C Time : 0.0 sec. user=mdettweiler [2015-10-05 23:30:22] 891*2^1411162-1 is not prime. Res64: 253EF485DA55FBC9 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:33:42] 693*2^1411163-1 is not prime. Res64: 484C7C5EE961FEE5 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:33:43] 783*2^1411163-1 is not prime. Res64: 9F395E7B6F8F38AB Time : 0.0 sec. user=mdettweiler [2015-10-05 23:34:03] 789*2^1411163-1 is not prime. Res64: 89EBC2EF64DADD64 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:34:04] 811*2^1411163-1 is not prime. Res64: A38D4222F4C5E241 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:34:33] 981*2^1411163-1 is not prime. Res64: 57FAFC9F0D30F304 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:34:34] 629*2^1411164-1 is not prime. Res64: 450D7017DB0905DF Time : 0.0 sec. user=mdettweiler [2015-10-05 23:50:06] 635*2^1411164-1 is not prime. Res64: 48BE60E2FC3ED14E Time : 0.0 sec. user=mdettweiler [2015-10-05 23:50:06] 719*2^1411164-1 is not prime. Res64: B2B5E804AFF7C213 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:53:05] 767*2^1411164-1 is not prime. Res64: AEB667601E3677B9 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:53:06] 927*2^1411164-1 is not prime. Res64: 962B4101F68B0596 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:53:26] 929*2^1411164-1 is not prime. Res64: 3382BE2A1C68AACA Time : 0.0 sec. user=mdettweiler [2015-10-05 23:53:27] 965*2^1411164-1 is not prime. Res64: 48541341BAB0E9F5 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:53:58] 877*2^1411165-1 is not prime. Res64: 6319F5F084ACF206 Time : 0.0 sec. user=mdettweiler [2015-10-05 23:53:58] 897*2^1411165-1 is not prime. Res64: F0CA7A5DD106C38E Time : 0.0 sec.