user=mdettweiler [2012-11-29 00:07:37] 741*2^1236517-1 is not prime. Res64: 694A192A92FBEB0A Time : 0.0 sec. user=mdettweiler [2012-11-29 00:07:42] 835*2^1236517-1 is not prime. Res64: 98AB0367C486F726 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:09:20] 961*2^1236517-1 is not prime. Res64: FB5FA1C7EE1D8A47 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:09:23] 731*2^1236518-1 is not prime. Res64: 23C38852A6E3160F Time : 0.0 sec. user=mdettweiler [2012-11-29 00:25:31] 771*2^1236518-1 is not prime. Res64: 8F18643B2E855D43 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:25:31] 893*2^1236518-1 is not prime. Res64: 3C596358F7359195 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:26:43] 639*2^1236519-1 is not prime. Res64: D8AA17F9D3A2CC50 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:26:43] 879*2^1236519-1 is not prime. Res64: 46217B5E1C1CA215 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:42:50] 909*2^1236519-1 is not prime. Res64: 70B6DDEED8C196D1 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:42:50] 921*2^1236519-1 is not prime. Res64: 9A0DD81DD0319E31 Time : 0.0 sec. user=mdettweiler [2012-11-29 00:44:00] 943*2^1236519-1 is not prime. Res64: 7A693B2359A0BCFB Time : 0.0 sec. user=mdettweiler [2012-11-29 00:44:00] 951*2^1236519-1 is not prime. Res64: 71E1B31F5F5C2192 Time : 0.0 sec. user=mdettweiler [2012-11-29 01:00:08] 665*2^1236520-1 is not prime. Res64: EE9309CE5103558A Time : 0.0 sec. user=mdettweiler [2012-11-29 01:00:09] 755*2^1236520-1 is not prime. Res64: 33AB92C27F7AA85B Time : 0.0 sec. user=mdettweiler [2012-11-29 01:01:18] 785*2^1236520-1 is not prime. Res64: 1C4B52FD308FE060 Time : 0.0 sec. user=mdettweiler [2012-11-29 01:01:19] 827*2^1236520-1 is not prime. Res64: 8704045CB890C7B3 Time : 0.0 sec. user=mdettweiler [2012-11-29 01:19:17] 741*2^1236521-1 is not prime. Res64: 186231DD54F0483E Time : 0.0 sec. user=mdettweiler [2012-11-29 01:19:17] 865*2^1236521-1 is not prime. Res64: 85369E9C4111FCFD Time : 0.0 sec. user=mdettweiler [2012-11-29 01:31:14] 855*2^1236521-1 is not prime. Res64: BC2A6891CEF859FC Time : 0.0 sec. user=mdettweiler [2012-11-29 01:42:09] 949*2^1236521-1 is not prime. Res64: 110FD1455F59C862 Time : 0.0 sec. user=mdettweiler [2012-11-29 01:48:33] 851*2^1236194-1 is not prime. Res64: 2CB127C89437B7CF Time : 0.0 sec. user=mdettweiler [2012-11-29 01:48:33] 735*2^1236195-1 is not prime. Res64: 7EF0D37031567C82 Time : 0.0 sec. user=mdettweiler [2012-11-29 01:59:27] 909*2^1236195-1 is not prime. Res64: 07CB0A4492727ADA Time : 0.0 sec. user=mdettweiler [2012-11-29 01:59:28] 775*2^1236199-1 is not prime. Res64: 24ABC655911D8316 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:05:51] 885*2^1236199-1 is not prime. Res64: E62378BA0BA40944 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:05:54] 909*2^1236199-1 is not prime. Res64: EB0A3C9137DCED1E Time : 0.0 sec. user=mdettweiler [2012-11-29 02:16:46] 919*2^1236199-1 is not prime. Res64: E210E0F5803E66E7 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:16:50] 961*2^1236199-1 is not prime. Res64: A3D62FDB0D010AC8 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:23:15] 987*2^1236521-1 is not prime. Res64: 360EF9A80903F1E4 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:23:15] 647*2^1236522-1 is not prime. Res64: 83F6092AC0CFC817 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:34:41] 683*2^1236522-1 is not prime. Res64: A7617784EB2E06DF Time : 0.0 sec. user=mdettweiler [2012-11-29 02:34:43] 705*2^1236522-1 is not prime. Res64: 97FB28C8D0C15E85 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:40:33] 731*2^1236522-1 is not prime. Res64: D41E57BD31DBAE94 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:40:38] 777*2^1236522-1 is not prime. Res64: 3419EEA2C3215E9F Time : 0.0 sec. user=mdettweiler [2012-11-29 02:52:07] 791*2^1236522-1 is not prime. Res64: D7E33310E882184E Time : 0.0 sec. user=mdettweiler [2012-11-29 02:52:09] 917*2^1236522-1 is not prime. Res64: 78E90F874EFD7926 Time : 0.0 sec. user=mdettweiler [2012-11-29 02:58:28] 941*2^1236522-1 is not prime. Res64: 9C4821E457EBEAFD Time : 0.0 sec. user=mdettweiler [2012-11-29 02:58:29] 603*2^1236523-1 is not prime. Res64: 5301BFC5AC848A1D Time : 0.0 sec. user=mdettweiler [2012-11-29 03:09:32] 679*2^1236523-1 is not prime. Res64: 218ADD154B606089 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:09:34] 741*2^1236523-1 is not prime. Res64: 778B229BAB27FF25 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:15:53] 771*2^1236523-1 is not prime. Res64: 0EB21D1F400DD443 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:15:54] 783*2^1236523-1 is not prime. Res64: 2977487DCFF9A815 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:27:11] 805*2^1236523-1 is not prime. Res64: CCECFCCC6008069E Time : 0.0 sec. user=mdettweiler [2012-11-29 03:27:12] 813*2^1236523-1 is not prime. Res64: C95D43A446CA0978 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:33:28] 829*2^1236523-1 is not prime. Res64: 3D4CA118C35A8F8D Time : 0.0 sec. user=mdettweiler [2012-11-29 03:33:29] 999*2^1236523-1 is not prime. Res64: BF103AD55990BDE3 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:44:32] 617*2^1236524-1 is not prime. Res64: 264F5D7766E80C39 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:44:35] 675*2^1236524-1 is not prime. Res64: C9803EEC9E5F3B3B Time : 0.0 sec. user=mdettweiler [2012-11-29 03:50:57] 753*2^1236524-1 is not prime. Res64: 214DB34FFA479343 Time : 0.0 sec. user=mdettweiler [2012-11-29 03:50:58] 755*2^1236524-1 is not prime. Res64: EA7C4814391BDBC7 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:02:07] 759*2^1236524-1 is not prime. Res64: D5EEA9FB585CD324 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:02:08] 767*2^1236524-1 is not prime. Res64: 742B6381281D31B6 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:08:16] 843*2^1236524-1 is not prime. Res64: AA28A45D0C523744 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:08:18] 953*2^1236524-1 is not prime. Res64: 71BC2E9EFEAFFAA3 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:19:33] 607*2^1236525-1 is not prime. Res64: 0896AC2C08972478 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:19:34] 849*2^1236525-1 is not prime. Res64: 9AE08130A1BD85FC Time : 0.0 sec. user=mdettweiler [2012-11-29 04:25:55] 877*2^1236525-1 is not prime. Res64: 4FB2D23C460F3126 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:25:56] 997*2^1236525-1 is not prime. Res64: C239CBC919952507 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:36:59] 635*2^1236526-1 is not prime. Res64: C2CE07E65A00F765 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:37:01] 867*2^1236526-1 is not prime. Res64: 31323FC9E5FD380A Time : 0.0 sec. user=mdettweiler [2012-11-29 04:43:13] 923*2^1236526-1 is not prime. Res64: A076C7E6A7746A8E Time : 0.0 sec. user=mdettweiler [2012-11-29 04:43:14] 945*2^1236526-1 is not prime. Res64: 6FD98BB3E4635B56 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:54:40] 673*2^1236527-1 is not prime. Res64: AB7888FAE41C3BB2 Time : 0.0 sec. user=mdettweiler [2012-11-29 04:54:41] 829*2^1236527-1 is not prime. Res64: 0B1B07DAEFB334CE Time : 0.0 sec. user=mdettweiler [2012-11-29 05:00:46] 931*2^1236527-1 is not prime. Res64: D0171FBB6E98B6B6 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:00:48] 979*2^1236527-1 is not prime. Res64: 3EFD5E8447C67645 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:11:58] 635*2^1236528-1 is not prime. Res64: 8E7AD43F45A58D15 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:12:01] 713*2^1236528-1 is not prime. Res64: FC0AFDDA54DFD4B1 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:18:09] 773*2^1236528-1 is not prime. Res64: F388362F2597CCA2 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:18:10] 879*2^1236528-1 is not prime. Res64: D53AD7FFC94855F0 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:29:34] 893*2^1236528-1 is not prime. Res64: 31F19637DBAA36F7 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:29:35] 945*2^1236528-1 is not prime. Res64: 6FE4B2C5CF2D1F13 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:35:34] 977*2^1236528-1 is not prime. Res64: 2F07ACF62E4E2FBE Time : 0.0 sec. user=mdettweiler [2012-11-29 05:35:35] 609*2^1236529-1 is not prime. Res64: 78667234FD2BB204 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:46:54] 729*2^1236529-1 is not prime. Res64: 98C7E4D9C7FF16CF Time : 0.0 sec. user=mdettweiler [2012-11-29 05:46:54] 747*2^1236529-1 is not prime. Res64: A19F47EF76B99CAF Time : 0.0 sec. user=mdettweiler [2012-11-29 05:52:59] 831*2^1236529-1 is not prime. Res64: 1757F0CD0A4BEAE0 Time : 0.0 sec. user=mdettweiler [2012-11-29 05:53:00] 925*2^1236529-1 is not prime. Res64: 5C616BC1EC5EBE9E Time : 0.0 sec. user=mdettweiler [2012-11-29 06:04:11] 677*2^1236530-1 is not prime. Res64: BD80E5570890D3EB Time : 0.0 sec. user=mdettweiler [2012-11-29 06:04:13] 741*2^1236530-1 is not prime. Res64: F23FE76BF729923F Time : 0.0 sec. user=mdettweiler [2012-11-29 06:10:16] 767*2^1236530-1 is not prime. Res64: A650D9A81FAB25A9 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:10:17] 927*2^1236530-1 is not prime. Res64: E6B4AB33060B9B92 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:21:35] 679*2^1236531-1 is not prime. Res64: C47E2860208637D7 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:21:36] 617*2^1236532-1 is not prime. Res64: 143F9D3305E48351 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:27:34] 635*2^1236532-1 is not prime. Res64: 10BE85F0ADEA6FA1 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:27:35] 687*2^1236532-1 is not prime. Res64: 94B7A019438A94D9 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:39:00] 723*2^1236532-1 is not prime. Res64: 72A875BD493B6FB2 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:39:00] 797*2^1236532-1 is not prime. Res64: F26A9C84C9B1D208 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:44:52] 989*2^1236532-1 is not prime. Res64: 7B50EDA67442BC90 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:44:52] 627*2^1236533-1 is not prime. Res64: B4C99DA058AA8C6E Time : 0.0 sec. user=mdettweiler [2012-11-29 06:56:17] 741*2^1236533-1 is not prime. Res64: 1A243F0E6A5AD8D0 Time : 0.0 sec. user=mdettweiler [2012-11-29 06:56:18] 847*2^1236533-1 is not prime. Res64: 3F20D79C44B43CC6 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:02:12] 979*2^1236533-1 is not prime. Res64: 18803AA8804938E3 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:02:15] 641*2^1236534-1 is not prime. Res64: D44124F25900F46E Time : 0.0 sec. user=mdettweiler [2012-11-29 07:13:34] 693*2^1236534-1 is not prime. Res64: 8ED3BCC5D5ED1B80 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:13:36] 711*2^1236534-1 is not prime. Res64: 7A183C215CE201A7 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:19:56] 797*2^1236534-1 is not prime. Res64: 0E0DA94DC87ECA96 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:19:57] 915*2^1236534-1 is not prime. Res64: 857CE716AB211D8F Time : 0.0 sec. user=mdettweiler [2012-11-29 07:30:59] 921*2^1236534-1 is not prime. Res64: 90D65D647C5CA1B5 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:30:59] 983*2^1236534-1 is not prime. Res64: 2FAE1156C26D8344 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:37:17] 1001*2^1236534-1 is not prime. Res64: 05F792FA9208E36B Time : 0.0 sec. user=mdettweiler [2012-11-29 07:37:18] 619*2^1236535-1 is not prime. Res64: A3C55A13845DC918 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:48:16] 651*2^1236535-1 is not prime. Res64: 4F91A30D04B7BBB0 Time : 0.0 sec. user=mdettweiler [2012-11-29 07:48:17] 765*2^1236535-1 is not prime. Res64: F2B47A580A276F9A Time : 0.0 sec. user=mdettweiler [2012-11-29 07:54:36] 853*2^1236535-1 is not prime. Res64: FCE42DAE3CF019FC Time : 0.0 sec. user=mdettweiler [2012-11-29 07:54:37] 873*2^1236535-1 is not prime. Res64: 13DD5189555099FB Time : 0.0 sec. user=mdettweiler [2012-11-29 08:05:34] 925*2^1236535-1 is not prime. Res64: A7B81D30E079DB1E Time : 0.0 sec. user=mdettweiler [2012-11-29 08:05:36] 985*2^1236535-1 is not prime. Res64: 190D8B5237A23079 Time : 0.0 sec. user=mdettweiler [2012-11-29 08:11:53] 803*2^1236536-1 is not prime. Res64: DE1781455CD210D8 Time : 0.0 sec. user=mdettweiler [2012-11-29 08:11:54] 893*2^1236536-1 is not prime. Res64: F10CD1AFA093821B Time : 0.0 sec. user=mdettweiler [2012-11-29 08:23:07] 917*2^1236536-1 is not prime. Res64: 4F19D99B7FECE55B Time : 0.0 sec. user=mdettweiler [2012-11-29 08:23:07] 927*2^1236536-1 is not prime. Res64: 24A90A2531E4C1B9 Time : 0.0 sec. user=mdettweiler [2012-11-29 08:29:16] 935*2^1236536-1 is not prime. Res64: B20A589E15AAF117 Time : 0.0 sec. user=mdettweiler [2012-11-29 08:29:20] 945*2^1236536-1 is not prime. Res64: EFEA67EF96384A7C Time : 0.0 sec. user=mdettweiler [2012-11-29 08:40:24] 957*2^1236536-1 is not prime. Res64: 377F72A6076614DA Time : 0.0 sec. user=mdettweiler [2012-11-29 08:40:25] 739*2^1236537-1 is not prime. Res64: 57E8E690F1999C6E Time : 0.0 sec. user=mdettweiler [2012-11-29 08:46:38] 817*2^1236537-1 is not prime. Res64: CFE4693DF9AA6D87 Time : 0.0 sec. user=mdettweiler [2012-11-29 08:46:39] 849*2^1236537-1 is not prime. Res64: E2ED6B613E2E260B Time : 0.0 sec. user=mdettweiler [2012-11-29 08:57:42] 945*2^1236537-1 is not prime. Res64: A8BA316877917E5C Time : 0.0 sec. user=mdettweiler [2012-11-29 08:57:42] 955*2^1236537-1 is not prime. Res64: FD764582AE343393 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:03:56] 603*2^1236538-1 is not prime. Res64: E4A48CD62DEC6052 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:03:58] 695*2^1236538-1 is not prime. Res64: 9F9CE3B27136D8FC Time : 0.0 sec. user=mdettweiler [2012-11-29 09:14:59] 723*2^1236538-1 is not prime. Res64: 37B25A61BA74F0FD Time : 0.0 sec. user=mdettweiler [2012-11-29 09:15:03] 755*2^1236538-1 is not prime. Res64: 264448CACAC266F5 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:21:16] 773*2^1236538-1 is not prime. Res64: 287C3675F5E0D7DB Time : 0.0 sec. user=mdettweiler [2012-11-29 09:21:17] 821*2^1236538-1 is not prime. Res64: 8C21A27F38FF8E12 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:32:52] 825*2^1236538-1 is not prime. Res64: 46A8C37E42A09ED4 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:32:53] 881*2^1236538-1 is not prime. Res64: 3C8DC2664D54B287 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:38:38] 911*2^1236538-1 is not prime. Res64: A3D0DEB478CC573D Time : 0.0 sec. user=mdettweiler [2012-11-29 09:38:39] 663*2^1236539-1 is not prime. Res64: 5FDC6B9A207CEC35 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:50:10] 685*2^1236539-1 is not prime. Res64: 8EBE4DDC981EE0A8 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:50:11] 703*2^1236539-1 is not prime. Res64: 7B6D23E770E5EAD9 Time : 0.0 sec. user=mdettweiler [2012-11-29 09:55:56] 735*2^1236539-1 is not prime. Res64: D99A7BFFA6E93E1D Time : 0.0 sec. user=mdettweiler [2012-11-29 09:55:57] 771*2^1236539-1 is not prime. Res64: A28E5CC4D1ECE68D Time : 0.0 sec. user=mdettweiler [2012-11-29 10:07:28] 859*2^1236539-1 is not prime. Res64: 6DECFA90E61608BC Time : 0.0 sec. user=mdettweiler [2012-11-29 10:07:29] 985*2^1236539-1 is not prime. Res64: ADDE672E7BD8DA4D Time : 0.0 sec. user=mdettweiler [2012-11-29 10:13:15] 695*2^1236540-1 is not prime. Res64: 8F5EEA5E6410D0BC Time : 0.0 sec. user=mdettweiler [2012-11-29 10:13:16] 725*2^1236540-1 is not prime. Res64: DABA09358114D5BE Time : 0.0 sec. user=mdettweiler [2012-11-29 10:24:52] 899*2^1236540-1 is not prime. Res64: 4C69848D0FF4DEB6 Time : 0.0 sec. user=mdettweiler [2012-11-29 10:24:53] 909*2^1236540-1 is not prime. Res64: 1E0E89D6720F90BA Time : 0.0 sec. user=mdettweiler [2012-11-29 10:30:33] 927*2^1236540-1 is not prime. Res64: FE454EF17C7223FB Time : 0.0 sec. user=mdettweiler [2012-11-29 10:30:34] 645*2^1236541-1 is not prime. Res64: D9D61B28EA7AE253 Time : 0.0 sec. user=mdettweiler [2012-11-29 10:42:15] 715*2^1236541-1 is not prime. Res64: 7ABF7F7C62BEDE39 Time : 0.0 sec. user=mdettweiler [2012-11-29 10:42:15] 777*2^1236541-1 is not prime. Res64: 1F928A9F9B7C8578 Time : 0.0 sec. user=mdettweiler [2012-11-29 10:47:51] 789*2^1236541-1 is not prime. Res64: 8659D9206F729807 Time : 0.0 sec. user=mdettweiler [2012-11-29 10:47:51] 825*2^1236541-1 is not prime. Res64: B3A5D6032A2470B8 Time : 0.0 sec. user=mdettweiler [2012-11-29 10:59:33] 861*2^1236541-1 is not prime. Res64: 8104E951E73BBE7D Time : 0.0 sec. user=mdettweiler [2012-11-29 10:59:33] 871*2^1236541-1 is not prime. Res64: 199FAEBE6722770A Time : 0.0 sec. user=mdettweiler [2012-11-29 11:05:13] 937*2^1236541-1 is not prime. Res64: 6EC935064EF4D8F5 Time : 0.0 sec. user=mdettweiler [2012-11-29 11:05:14] 997*2^1236541-1 is not prime. Res64: A594983BED05B8CD Time : 0.0 sec. user=mdettweiler [2012-11-29 11:16:52] 671*2^1236542-1 is not prime. Res64: C676B20BABA7C4F8 Time : 0.0 sec. user=mdettweiler [2012-11-29 11:16:54] 677*2^1236542-1 is not prime. Res64: 6107E8B557EB2BDD Time : 0.0 sec. user=mdettweiler [2012-11-29 11:22:53] 683*2^1236542-1 is not prime. Res64: 73F2A6D6F57E8F9D Time : 0.0 sec. user=mdettweiler [2012-11-29 11:22:53] 741*2^1236542-1 is not prime. Res64: E30A8B3CDFBD9DFF Time : 0.0 sec. user=mdettweiler [2012-11-29 11:40:10] 893*2^1236542-1 is not prime. Res64: 6ED04ED76B3E4627 Time : 0.0 sec. user=mdettweiler [2012-11-29 11:40:11] 903*2^1236542-1 is not prime. Res64: C4B6C39146EBC002 Time : 0.0 sec. user=mdettweiler [2012-11-29 11:43:20] 813*2^1236542-1 is not prime. Res64: 2C45EE636ADF2CC2 Time : 0.0 sec. user=mdettweiler [2012-11-29 11:43:20] 873*2^1236542-1 is not prime. Res64: ADBCD35F8B09F635 Time : 0.0 sec. user=mdettweiler [2012-11-29 11:57:36] 911*2^1236542-1 is not prime. Res64: 6D9B3F16A0F98EDD Time : 0.0 sec. user=mdettweiler [2012-11-29 11:57:37] 963*2^1236543-1 is not prime. Res64: 00604D0921C3CE6F Time : 0.0 sec. user=mdettweiler [2012-11-29 12:00:37] 985*2^1236543-1 is not prime. Res64: 3E1FF967DB50F3D0 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:00:38] 629*2^1236544-1 is not prime. Res64: 9B59DC749BBEA7E4 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:14:55] 765*2^1236544-1 is not prime. Res64: D96E2AAFC9E6044D Time : 0.0 sec. user=mdettweiler [2012-11-29 12:14:57] 825*2^1236544-1 is not prime. Res64: 8BD6C7FB360BAA6F Time : 0.0 sec. user=mdettweiler [2012-11-29 12:17:57] 869*2^1236544-1 is not prime. Res64: 4A4BF7A5DE62B87D Time : 0.0 sec. user=mdettweiler [2012-11-29 12:17:58] 899*2^1236544-1 is not prime. Res64: EC4C795EFEFF177D Time : 0.0 sec. user=mdettweiler [2012-11-29 12:32:38] 947*2^1236544-1 is not prime. Res64: D77A704ECFC5BC83 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:32:39] 975*2^1236544-1 is not prime. Res64: 6652DD39F64B6F19 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:35:22] 989*2^1236544-1 is not prime. Res64: 4E5413846E7C7358 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:35:23] 651*2^1236545-1 is not prime. Res64: 05913BE68374BFD1 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:50:00] 691*2^1236545-1 is not prime. Res64: 5F10C16AF559D8C0 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:50:01] 801*2^1236545-1 is not prime. Res64: 5DE41FA645ED55A5 Time : 0.0 sec. user=mdettweiler [2012-11-29 12:52:40] 841*2^1236545-1 is not prime. Res64: 2288264213F0407A Time : 0.0 sec. user=mdettweiler [2012-11-29 12:52:40] 861*2^1236545-1 is not prime. Res64: D65FA364467B07D4 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:07:18] 937*2^1236545-1 is not prime. Res64: F9F5F08F90AE8B74 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:07:19] 969*2^1236545-1 is not prime. Res64: 25576D072035A4DD Time : 0.0 sec. user=mdettweiler [2012-11-29 13:09:56] 991*2^1236545-1 is not prime. Res64: 7209C309A48863D4 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:09:58] 633*2^1236546-1 is not prime. Res64: 1CDCE550263623BD Time : 0.0 sec. user=mdettweiler [2012-11-29 13:24:42] 705*2^1236546-1 is not prime. Res64: 1CB6A2E0D6BA031E Time : 0.0 sec. user=mdettweiler [2012-11-29 13:24:43] 783*2^1236546-1 is not prime. Res64: 79C0EDF0DE2CA1B3 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:27:21] 861*2^1236546-1 is not prime. Res64: 48F77D94C17DEF99 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:27:22] 663*2^1236547-1 is not prime. Res64: 294492BDE6DA7710 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:42:09] 733*2^1236547-1 is not prime. Res64: 4104471950602A3C Time : 0.0 sec. user=mdettweiler [2012-11-29 13:42:10] 801*2^1236547-1 is not prime. Res64: 311F994CE57B00E1 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:44:39] 861*2^1236547-1 is not prime. Res64: CCA1754E28B67F1F Time : 0.0 sec. user=mdettweiler [2012-11-29 13:44:39] 961*2^1236547-1 is not prime. Res64: 8241283DE5CDA78A Time : 0.0 sec. user=mdettweiler [2012-11-29 13:59:29] 623*2^1236548-1 is not prime. Res64: 9DD9DDBFAE134E51 Time : 0.0 sec. user=mdettweiler [2012-11-29 13:59:30] 647*2^1236548-1 is not prime. Res64: BE6594AC6F43E18B Time : 0.0 sec. user=mdettweiler [2012-11-29 14:01:56] 669*2^1236548-1 is not prime. Res64: 2509E06D5ED8BA6A Time : 0.0 sec. user=mdettweiler [2012-11-29 14:01:57] 819*2^1236548-1 is not prime. Res64: 728219E310E1E714 Time : 0.0 sec. user=mdettweiler [2012-11-29 14:16:51] 839*2^1236548-1 is not prime. Res64: 0A8BEEBABD44529D Time : 0.0 sec. user=mdettweiler [2012-11-29 14:16:55] 935*2^1236548-1 is not prime. Res64: 91169D79E25B49E8 Time : 0.0 sec. user=mdettweiler [2012-11-29 14:19:22] 625*2^1236549-1 is not prime. Res64: 075E7D0C4E9B6223 Time : 0.0 sec. user=mdettweiler [2012-11-29 14:19:23] 681*2^1236549-1 is not prime. Res64: 082B731AA2D16A8E Time : 0.0 sec. user=mdettweiler [2012-11-29 14:34:33] 735*2^1236549-1 is not prime. Res64: 26C81733FD6F287C Time : 0.0 sec. user=mdettweiler [2012-11-29 14:34:33] 747*2^1236549-1 is not prime. Res64: 53697B26A7941919 Time : 0.0 sec. user=mdettweiler [2012-11-29 14:36:48] 751*2^1236549-1 is not prime. Res64: A3EDFD4E76933EF3 Time : 0.0 sec. user=mdettweiler [2012-11-29 14:36:48] 921*2^1236549-1 is not prime. Res64: 00B2D298FDE77F12 Time : 0.0 sec. user=mdettweiler [2012-11-29 14:39:15] 999*2^1236549-1 is not prime. Res64: 9398BA6212BAAC0B Time : 0.0 sec. user=mdettweiler [2012-11-29 14:52:08] 765*2^1236550-1 is not prime. Res64: DB80CA0049B6CF0B Time : 0.0 sec. user=mdettweiler [2012-11-29 14:52:09] 773*2^1236550-1 is not prime. Res64: 959B22264D9D191E Time : 0.0 sec. user=mdettweiler [2012-11-29 14:54:23] 855*2^1236550-1 is not prime. Res64: C9D66C8FF44F5257 Time : 0.0 sec. user=mdettweiler [2012-11-29 14:54:23] 857*2^1236550-1 is not prime. Res64: 56BBBE14899E5584 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:09:59] 911*2^1236550-1 is not prime. Res64: 13C76F8141AF64E0 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:09:59] 1001*2^1236550-1 is not prime. Res64: B7FBFFC8140A9F86 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:12:13] 619*2^1236551-1 is not prime. Res64: 7A5D3F36FB4EFB19 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:12:15] 711*2^1236551-1 is not prime. Res64: 0EF2A47407A45DA1 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:28:03] 741*2^1236551-1 is not prime. Res64: 57F7E0F7FC2FC418 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:28:03] 781*2^1236551-1 is not prime. Res64: 29F15ED54A58EBC9 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:30:13] 931*2^1236551-1 is not prime. Res64: F7DF4A3C6F35052A Time : 0.0 sec. user=mdettweiler [2012-11-29 15:30:13] 629*2^1236552-1 is not prime. Res64: 8479DD4AE8099489 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:45:50] 653*2^1236552-1 is not prime. Res64: D60EFD9212A67878 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:45:51] 689*2^1236552-1 is not prime. Res64: 49509ADB0A7014BD Time : 0.0 sec. user=mdettweiler [2012-11-29 15:47:59] 719*2^1236552-1 is not prime. Res64: 770701E9A88C0ED0 Time : 0.0 sec. user=mdettweiler [2012-11-29 15:47:59] 849*2^1236552-1 is not prime. Res64: 4FA9C3E4900ECB3C Time : 0.0 sec. user=mdettweiler [2012-11-29 16:05:55] 879*2^1236552-1 is not prime. Res64: CD19E4FFC0C19F92 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:06:02] 929*2^1236552-1 is not prime. Res64: 0D047DDD1C760971 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:24:15] 607*2^1236553-1 is not prime. Res64: 44516CCE0AF71808 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:24:16] 915*2^1236553-1 is not prime. Res64: 1BA067A7497CE743 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:37:51] 641*2^1236554-1 is not prime. Res64: 96859B11E4CF9C30 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:37:51] 717*2^1236554-1 is not prime. Res64: 8DAE284431309B57 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:42:00] 773*2^1236554-1 is not prime. Res64: 6B66626368E92261 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:42:00] 903*2^1236554-1 is not prime. Res64: 34C73B64781CB03E Time : 0.0 sec. user=mdettweiler [2012-11-29 16:55:36] 601*2^1236555-1 is not prime. Res64: 48C45BE47CA796D7 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:55:37] 663*2^1236555-1 is not prime. Res64: 4A4E7E18BB6BDC20 Time : 0.0 sec. user=mdettweiler [2012-11-29 16:59:44] 675*2^1236555-1 is not prime. Res64: 1C47575913A9345F Time : 0.0 sec. user=mdettweiler [2012-11-29 16:59:44] 753*2^1236555-1 is not prime. Res64: 44B60F1862BEC6CB Time : 0.0 sec. user=mdettweiler [2012-11-29 17:13:21] 819*2^1236555-1 is not prime. Res64: AE6527C9ECCF30AB Time : 0.0 sec. user=mdettweiler [2012-11-29 17:13:21] 823*2^1236555-1 is not prime. Res64: 7DB5CB2DD1A935ED Time : 0.0 sec. user=mdettweiler [2012-11-29 17:17:29] 859*2^1236555-1 is not prime. Res64: 69AE3E3A235F26D2 Time : 0.0 sec. user=mdettweiler [2012-11-29 17:17:32] 963*2^1236555-1 is not prime. Res64: 28617C2A0974D2B7 Time : 0.0 sec. user=mdettweiler [2012-11-29 17:31:16] 755*2^1236556-1 is not prime. Res64: 5CE62C05392DFC6C Time : 0.0 sec. user=mdettweiler [2012-11-29 17:31:16] 773*2^1236556-1 is not prime. Res64: 71EF66A1D954CB58 Time : 0.0 sec. user=mdettweiler [2012-11-29 17:35:47] 993*2^1236556-1 is not prime. Res64: C283D9BCDA1F6878 Time : 0.0 sec. user=mdettweiler [2012-11-29 17:35:48] 735*2^1236557-1 is not prime. Res64: C3A045DACA9CFFA8 Time : 0.0 sec. user=mdettweiler [2012-11-29 17:49:02] 819*2^1236557-1 is not prime. Res64: 3946E30F37098D23 Time : 0.0 sec. user=mdettweiler [2012-11-29 17:49:02] 927*2^1236557-1 is not prime. Res64: 4F4AA84E38A3EF84 Time : 0.0 sec. user=mdettweiler [2012-11-29 17:53:32] 711*2^1236558-1 is not prime. Res64: 1596E2A803D9B00A Time : 0.0 sec. user=mdettweiler [2012-11-29 17:53:33] 737*2^1236558-1 is not prime. Res64: FFE44A3106AB4AB5 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:06:46] 821*2^1236558-1 is not prime. Res64: B0C921F400462E51 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:06:48] 977*2^1236558-1 is not prime. Res64: D7C2275E47AD3E24 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:11:16] 745*2^1236559-1 is not prime. Res64: DC29D610ED2E8A41 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:11:17] 751*2^1236559-1 is not prime. Res64: A540E83341F62318 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:24:38] 841*2^1236559-1 is not prime. Res64: 5ACAEE47478446D8 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:24:38] 885*2^1236559-1 is not prime. Res64: C71B45D24D3BB198 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:29:05] 889*2^1236559-1 is not prime. Res64: 74CF126AC9F5511B Time : 0.0 sec. user=mdettweiler [2012-11-29 18:29:05] 909*2^1236559-1 is not prime. Res64: 8260049674B87E1E Time : 0.0 sec. user=mdettweiler [2012-11-29 18:42:24] 913*2^1236559-1 is not prime. Res64: 5EFE43AF4A0C3D5A Time : 0.0 sec. user=mdettweiler [2012-11-29 18:42:24] 777*2^1236560-1 is not prime. Res64: 7FE7066451E56247 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:46:49] 879*2^1236560-1 is not prime. Res64: 172C2FAADA5EB0B1 Time : 0.0 sec. user=mdettweiler [2012-11-29 18:46:50] 995*2^1236560-1 is not prime. Res64: C8555A6BB1448B58 Time : 0.0 sec. user=mdettweiler [2012-11-29 19:00:10] 615*2^1236561-1 is not prime. Res64: 41EE5227C7F26A1C Time : 0.0 sec. user=mdettweiler [2012-11-29 19:00:10] 691*2^1236561-1 is not prime. Res64: 960E637925FC2A35 Time : 0.0 sec. user=mdettweiler [2012-11-29 19:04:45] 741*2^1236561-1 is not prime. Res64: D3549D31881BBD5A Time : 0.0 sec. user=mdettweiler [2012-11-29 19:04:48] 777*2^1236561-1 is not prime. Res64: 68CD5FE95487DFCB Time : 0.0 sec. user=mdettweiler [2012-11-29 19:17:58] 781*2^1236561-1 is not prime. Res64: B8D849CCA3499F8C Time : 0.0 sec. user=mdettweiler [2012-11-29 19:18:02] 835*2^1236561-1 is not prime. Res64: 8277A481C6E91BEF Time : 0.0 sec. user=mdettweiler [2012-11-29 19:22:39] 909*2^1236561-1 is not prime. Res64: C41DB14D25B46D9D Time : 0.0 sec. user=mdettweiler [2012-11-29 19:22:40] 951*2^1236561-1 is not prime. Res64: DFF8FFE6A075A023 Time : 0.0 sec. user=mdettweiler [2012-11-29 19:36:17] 979*2^1236561-1 is not prime. Res64: A8DF0285D336F8B9 Time : 0.0 sec. user=mdettweiler [2012-11-29 19:36:17] 665*2^1236562-1 is not prime. Res64: 2924D95074940D09 Time : 0.0 sec. user=mdettweiler [2012-11-29 19:40:27] 717*2^1236562-1 is not prime. Res64: 506E44CA2283367C Time : 0.0 sec. user=mdettweiler [2012-11-29 19:40:28] 825*2^1236562-1 is not prime. Res64: 60839F33F49849EF Time : 0.0 sec. user=mdettweiler [2012-11-29 19:54:04] 867*2^1236562-1 is not prime. Res64: 024085471D2F1CDA Time : 0.0 sec. user=mdettweiler [2012-11-29 19:54:04] 947*2^1236562-1 is not prime. Res64: AA0473B1364FF79D Time : 0.0 sec. user=mdettweiler [2012-11-29 20:12:42] 823*2^1236563-1 is not prime. Res64: 54B8E97A83CDD496 Time : 0.0 sec. user=mdettweiler [2012-11-29 20:12:42] 825*2^1236563-1 is not prime. Res64: A71DB7D16AB75D4F Time : 0.0 sec. user=mdettweiler [2012-11-29 20:27:29] 975*2^1236562-1 is not prime. Res64: BE23669295D9B7F2 Time : 0.0 sec. user=mdettweiler [2012-11-29 20:27:30] 741*2^1236563-1 is not prime. Res64: 85C7D752E2241CA5 Time : 0.0 sec. user=mdettweiler [2012-11-29 20:30:51] 663*2^1236564-1 is not prime. Res64: 07BD8E312C16EAEB Time : 0.0 sec. user=mdettweiler [2012-11-29 20:30:52] 665*2^1236564-1 is not prime. Res64: 85F6FE8796E248B5 Time : 0.0 sec. user=mdettweiler [2012-11-29 20:45:10] 737*2^1236564-1 is not prime. Res64: C393D5D5EA31A9C4 Time : 0.0 sec. user=mdettweiler [2012-11-29 20:45:10] 923*2^1236564-1 is not prime. Res64: 0FF6F60BE2D96FA1 Time : 0.0 sec. user=mdettweiler [2012-11-29 20:48:29] 927*2^1236564-1 is not prime. Res64: D326561690381A2B Time : 0.0 sec. user=mdettweiler [2012-11-29 20:48:30] 661*2^1236565-1 is not prime. Res64: 33B065BE814B02BA Time : 0.0 sec. user=mdettweiler [2012-11-29 21:02:52] 801*2^1236565-1 is not prime. Res64: BC995A1F6101CA9E Time : 0.0 sec. user=mdettweiler [2012-11-29 21:02:53] 855*2^1236565-1 is not prime. Res64: 1DE9EA3EF02FEC88 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:06:08] 975*2^1236565-1 is not prime. Res64: 6C280E3E6E45FA4C Time : 0.0 sec. user=mdettweiler [2012-11-29 21:06:11] 987*2^1236565-1 is not prime. Res64: 34E7930DA258389C Time : 0.0 sec. user=mdettweiler [2012-11-29 21:20:42] 617*2^1236566-1 is not prime. Res64: D1EA47EA80608B58 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:20:42] 705*2^1236566-1 is not prime. Res64: 3C0819F518179042 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:23:53] 827*2^1236566-1 is not prime. Res64: 6943962CA37AF73F Time : 0.0 sec. user=mdettweiler [2012-11-29 21:23:53] 843*2^1236566-1 is not prime. Res64: 18E529493AA0DB33 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:38:27] 857*2^1236566-1 is not prime. Res64: 84156E26E5CA4FD5 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:38:27] 923*2^1236566-1 is not prime. Res64: B140CF896FDB4C05 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:41:30] 945*2^1236566-1 is not prime. Res64: 131CB2E997EBBD4E Time : 0.0 sec. user=mdettweiler [2012-11-29 21:41:31] 963*2^1236566-1 is not prime. Res64: 3B5C262422FA8888 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:56:03] 751*2^1236567-1 is not prime. Res64: CECE3F2B70272598 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:56:03] 677*2^1236568-1 is not prime. Res64: 20FFD9CB87F834DC Time : 0.0 sec. user=mdettweiler [2012-11-29 21:59:16] 707*2^1236568-1 is not prime. Res64: 8C6BFB1AACF76916 Time : 0.0 sec. user=mdettweiler [2012-11-29 21:59:16] 755*2^1236568-1 is not prime. Res64: 5A16173962C3AE0A Time : 0.0 sec. user=mdettweiler [2012-11-29 22:13:43] 773*2^1236568-1 is not prime. Res64: FAA2D9C5D01008EF Time : 0.0 sec. user=mdettweiler [2012-11-29 22:13:46] 845*2^1236568-1 is not prime. Res64: 661BCDB7BC49C07A Time : 0.0 sec. user=mdettweiler [2012-11-29 22:16:55] 863*2^1236568-1 is not prime. Res64: 55344837873C7257 Time : 0.0 sec. user=mdettweiler [2012-11-29 22:16:55] 615*2^1236569-1 is not prime. Res64: E601100800F60A3D Time : 0.0 sec. user=mdettweiler [2012-11-29 22:31:33] 627*2^1236569-1 is not prime. Res64: D01DD87A3EB34C78 Time : 0.0 sec. user=mdettweiler [2012-11-29 22:31:33] 829*2^1236569-1 is not prime. Res64: 7D83801E7ADB3F41 Time : 0.0 sec. user=mdettweiler [2012-11-29 22:34:34] 897*2^1236569-1 is not prime. Res64: 2C96A3AB11EA6895 Time : 0.0 sec. user=mdettweiler [2012-11-29 22:34:34] 969*2^1236569-1 is not prime. Res64: 64C6EA1C7B883F2C Time : 0.0 sec. user=mdettweiler [2012-11-29 22:49:10] 641*2^1236570-1 is not prime. Res64: 83C1EE6E509ED9BD Time : 0.0 sec. user=mdettweiler [2012-11-29 22:49:10] 851*2^1236570-1 is not prime. Res64: 3EBA3CB3B10F67EA Time : 0.0 sec. user=mdettweiler [2012-11-29 22:52:10] 621*2^1236571-1 is not prime. Res64: 8B984A384716A36E Time : 0.0 sec. user=mdettweiler [2012-11-29 22:52:10] 691*2^1236571-1 is not prime. Res64: 896AD7C97170E4BF Time : 0.0 sec. user=mdettweiler [2012-11-29 23:06:42] 861*2^1236571-1 is not prime. Res64: DF82313FF30CE332 Time : 0.0 sec. user=mdettweiler [2012-11-29 23:06:44] 931*2^1236571-1 is not prime. Res64: 29E92C666794B2EF Time : 0.0 sec. user=mdettweiler [2012-11-29 23:10:19] 605*2^1236572-1 is not prime. Res64: 6086BA9CCA49153B Time : 0.0 sec. user=mdettweiler [2012-11-29 23:10:20] 693*2^1236572-1 is not prime. Res64: E6BD76A3493C9414 Time : 0.0 sec. user=mdettweiler [2012-11-29 23:24:46] 743*2^1236572-1 is not prime. Res64: E130D815016F8F67 Time : 0.0 sec. user=mdettweiler [2012-11-29 23:24:47] 755*2^1236572-1 is not prime. Res64: AE7B15DA80654DA9 Time : 0.0 sec. user=mdettweiler [2012-11-29 23:27:48] 767*2^1236572-1 is not prime. Res64: CAAEACE6CCFDBD6B Time : 0.0 sec. user=mdettweiler [2012-11-29 23:27:48] 797*2^1236572-1 is not prime. Res64: 83060858879B2270 Time : 0.0 sec. user=mdettweiler [2012-11-29 23:42:23] 833*2^1236572-1 is not prime. Res64: 3A2BB36B6A74A88B Time : 0.0 sec. user=mdettweiler [2012-11-29 23:42:23] 837*2^1236572-1 is not prime. Res64: 3FFE9B70B6CB7BEC Time : 0.0 sec. user=mdettweiler [2012-11-29 23:45:24] 855*2^1236572-1 is not prime. Res64: 92439E77DF2985E7 Time : 0.0 sec. user=mdettweiler [2012-11-29 23:45:24] 857*2^1236572-1 is not prime. Res64: 2C16555B1E75D005 Time : 0.0 sec. user=mdettweiler [2012-11-30 00:00:13] 903*2^1236572-1 is not prime. Res64: 184980E3A330BADD Time : 0.0 sec. user=mdettweiler [2012-11-30 00:00:13] 977*2^1236572-1 is not prime. Res64: FF593C92C6A0A784 Time : 0.0 sec.