user=mdettweiler [2013-01-18 00:14:24] 675*2^1239457-1 is not prime. Res64: DBF8F608A1612F4C Time : 0.0 sec. user=mdettweiler [2013-01-18 00:14:25] 691*2^1239457-1 is not prime. Res64: 5592358C5C2BAE8D Time : 0.0 sec. user=mdettweiler [2013-01-18 00:14:28] 841*2^1239457-1 is not prime. Res64: 5F446400F56EA005 Time : 0.0 sec. user=mdettweiler [2013-01-18 00:14:30] 861*2^1239457-1 is not prime. Res64: 96BFDEAE776EECC6 Time : 0.0 sec. user=mdettweiler [2013-01-18 00:32:04] 979*2^1239457-1 is not prime. Res64: 06945CDC488E4203 Time : 0.0 sec. user=mdettweiler [2013-01-18 00:32:05] 871*2^1239457-1 is not prime. Res64: 6B3EF0C99F6ACF2C Time : 0.0 sec. user=mdettweiler [2013-01-18 00:32:05] 627*2^1239458-1 is not prime. Res64: 53A0A4B04FCDB78B Time : 0.0 sec. user=mdettweiler [2013-01-18 00:32:05] 955*2^1239457-1 is not prime. Res64: 128D79839AC10B2D Time : 0.0 sec. user=mdettweiler [2013-01-18 00:49:32] 683*2^1239458-1 is not prime. Res64: 6A7BAD6B5337BEA7 Time : 0.0 sec. user=mdettweiler [2013-01-18 00:49:32] 705*2^1239458-1 is not prime. Res64: 78D025EA07CF2283 Time : 0.0 sec. user=mdettweiler [2013-01-18 00:49:33] 753*2^1239458-1 is not prime. Res64: B580965BB6DE0835 Time : 0.0 sec. user=mdettweiler [2013-01-18 00:49:35] 773*2^1239458-1 is not prime. Res64: AA5B3CE91B638623 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:06:57] 945*2^1239458-1 is not prime. Res64: F0DC977E69450768 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:06:59] 987*2^1239458-1 is not prime. Res64: 9BA4CA8D2222BFEA Time : 0.0 sec. user=mdettweiler [2013-01-18 01:07:02] 703*2^1239459-1 is not prime. Res64: 16198CF83DE52548 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:07:04] 741*2^1239459-1 is not prime. Res64: 306A24F8B0080136 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:24:31] 885*2^1239459-1 is not prime. Res64: 51EA65097AF8B6FB Time : 0.0 sec. user=mdettweiler [2013-01-18 01:24:32] 603*2^1239460-1 is not prime. Res64: C3379492949E1F1E Time : 0.0 sec. user=mdettweiler [2013-01-18 01:24:34] 635*2^1239460-1 is not prime. Res64: 42525FFD2D47FEF6 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:24:35] 665*2^1239460-1 is not prime. Res64: E418B75AD65ADA9B Time : 0.0 sec. user=mdettweiler [2013-01-18 01:42:06] 797*2^1239460-1 is not prime. Res64: C0F039D12F53F3BF Time : 0.0 sec. user=mdettweiler [2013-01-18 01:42:07] 839*2^1239460-1 is not prime. Res64: FE9DCED0267A86C4 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:42:11] 873*2^1239460-1 is not prime. Res64: B0F7CC58CFF9A1C3 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:42:12] 887*2^1239460-1 is not prime. Res64: 9137A4BDA68644D9 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:59:33] 975*2^1239460-1 is not prime. Res64: 31207C7D3BB7BC11 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:59:34] 837*2^1239461-1 is not prime. Res64: 16E1B008E85206C0 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:59:39] 861*2^1239461-1 is not prime. Res64: 8C16064807E62A08 Time : 0.0 sec. user=mdettweiler [2013-01-18 01:59:40] 865*2^1239461-1 is not prime. Res64: 2EA12992B345A620 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:16:56] 791*2^1239462-1 is not prime. Res64: 4D36283EA9481A13 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:16:57] 873*2^1239462-1 is not prime. Res64: 9D3A9494A923233B Time : 0.0 sec. user=mdettweiler [2013-01-18 02:17:01] 1001*2^1239462-1 is not prime. Res64: 8B0D3B630B070751 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:17:03] 679*2^1239463-1 is not prime. Res64: 57BBFD2E34187D17 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:34:28] 693*2^1239463-1 is not prime. Res64: EDBDBE2FF75AEB2D Time : 0.0 sec. user=mdettweiler [2013-01-18 02:34:30] 729*2^1239463-1 is not prime. Res64: 9140294D33B56867 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:34:32] 775*2^1239463-1 is not prime. Res64: 4397C1AB5A3CB36D Time : 0.0 sec. user=mdettweiler [2013-01-18 02:34:33] 829*2^1239463-1 is not prime. Res64: 02AF66101A4732E8 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:51:59] 993*2^1239463-1 is not prime. Res64: 1E469F164129F4D1 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:51:59] 901*2^1239463-1 is not prime. Res64: 7FAC85C29665607F Time : 0.0 sec. user=mdettweiler [2013-01-18 02:52:01] 659*2^1239464-1 is not prime. Res64: 0039C0BCF0A88EC7 Time : 0.0 sec. user=mdettweiler [2013-01-18 02:52:01] 939*2^1239463-1 is not prime. Res64: E251BDD889EF0A7F Time : 0.0 sec. user=mdettweiler [2013-01-18 03:09:32] 869*2^1239464-1 is not prime. Res64: 90EBCCAC51D25494 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:09:32] 855*2^1239464-1 is not prime. Res64: 9EA9CB8147FF7C22 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:09:35] 893*2^1239464-1 is not prime. Res64: 12B21FB2DB108410 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:09:37] 607*2^1239465-1 is not prime. Res64: 38C6DD2BB9694AD7 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:27:22] 649*2^1239465-1 is not prime. Res64: 89484EF57039E13A Time : 0.0 sec. user=mdettweiler [2013-01-18 03:27:22] 741*2^1239465-1 is not prime. Res64: 8DCAAE75C6429A06 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:27:26] 777*2^1239465-1 is not prime. Res64: 56F289BB93A6F7E2 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:27:27] 915*2^1239465-1 is not prime. Res64: C34C2EC68E407816 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:44:48] 919*2^1239465-1 is not prime. Res64: 2E74E11989F4F577 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:44:49] 657*2^1239466-1 is not prime. Res64: 8967D846F54F43B5 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:44:50] 635*2^1239466-1 is not prime. Res64: EBCFFD1C8976B1F6 Time : 0.0 sec. user=mdettweiler [2013-01-18 03:44:50] 917*2^1239466-1 is not prime. Res64: C5E1C6E10ADED953 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:02:22] 603*2^1239467-1 is not prime. Res64: 112DCFB73050044C Time : 0.0 sec. user=mdettweiler [2013-01-18 04:02:23] 675*2^1239467-1 is not prime. Res64: 4C309792682508DC Time : 0.0 sec. user=mdettweiler [2013-01-18 04:02:24] 633*2^1239467-1 is not prime. Res64: 42AEEEBD658BA6EB Time : 0.0 sec. user=mdettweiler [2013-01-18 04:02:25] 775*2^1239467-1 is not prime. Res64: AE4E20F8349212C1 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:20:06] 871*2^1239467-1 is not prime. Res64: 8D8A97964C1D47A9 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:20:07] 647*2^1239468-1 is not prime. Res64: D48BDA2F9E2B401B Time : 0.0 sec. user=mdettweiler [2013-01-18 04:20:09] 663*2^1239468-1 is not prime. Res64: DE28ADCB701E2EA2 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:20:10] 759*2^1239468-1 is not prime. Res64: 908BE1187847A1C3 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:37:32] 783*2^1239468-1 is not prime. Res64: 9C12F5B0A622514B Time : 0.0 sec. user=mdettweiler [2013-01-18 04:37:34] 893*2^1239468-1 is not prime. Res64: 240A3B43A03CD64E Time : 0.0 sec. user=mdettweiler [2013-01-18 04:37:34] 887*2^1239468-1 is not prime. Res64: A7EDDF9F8E699C0C Time : 0.0 sec. user=mdettweiler [2013-01-18 04:37:35] 993*2^1239468-1 is not prime. Res64: 61859737C3654796 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:55:22] 667*2^1239469-1 is not prime. Res64: D1EA546B708AE878 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:55:23] 675*2^1239469-1 is not prime. Res64: 04AC247C69BFFC97 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:55:24] 747*2^1239469-1 is not prime. Res64: E7E32368A049DB10 Time : 0.0 sec. user=mdettweiler [2013-01-18 04:55:25] 751*2^1239469-1 is not prime. Res64: 7103B70BE6251D04 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:12:46] 979*2^1239469-1 is not prime. Res64: 947D13C32B51EF77 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:12:49] 985*2^1239469-1 is not prime. Res64: 6E3E7EAAFEF4D83E Time : 0.0 sec. user=mdettweiler [2013-01-18 05:12:49] 677*2^1239470-1 is not prime. Res64: 38C70F77D59B6002 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:12:50] 743*2^1239470-1 is not prime. Res64: 404E847DA5F22F71 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:30:25] 861*2^1239470-1 is not prime. Res64: 94394E614D2EA9D6 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:30:26] 867*2^1239470-1 is not prime. Res64: CA96C451F7676617 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:30:27] 977*2^1239470-1 is not prime. Res64: F67F8FD53B1C9A2E Time : 0.0 sec. user=mdettweiler [2013-01-18 05:30:28] 751*2^1239471-1 is not prime. Res64: B01F250C0D9D3207 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:47:59] 775*2^1239471-1 is not prime. Res64: 11DAB674F2DDAFDC Time : 0.0 sec. user=mdettweiler [2013-01-18 05:48:00] 913*2^1239471-1 is not prime. Res64: 9A3985BC4B8BAE23 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:48:01] 973*2^1239471-1 is not prime. Res64: 7D3650A6C9D566F9 Time : 0.0 sec. user=mdettweiler [2013-01-18 05:48:01] 635*2^1239472-1 is not prime. Res64: 6A192700E375540D Time : 0.0 sec. user=mdettweiler [2013-01-18 06:05:23] 657*2^1239472-1 is not prime. Res64: D7D634E959002224 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:05:25] 695*2^1239472-1 is not prime. Res64: 83A590C57928B74A Time : 0.0 sec. user=mdettweiler [2013-01-18 06:05:25] 863*2^1239472-1 is not prime. Res64: 247A35FD5EB224E3 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:05:26] 875*2^1239472-1 is not prime. Res64: 407132393F0BCF5C Time : 0.0 sec. user=mdettweiler [2013-01-18 06:22:55] 637*2^1239473-1 is not prime. Res64: 3339DB43C51EE02D Time : 0.0 sec. user=mdettweiler [2013-01-18 06:22:56] 699*2^1239473-1 is not prime. Res64: 0EDAA053F12AD528 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:22:57] 771*2^1239473-1 is not prime. Res64: 88FFDAB2EFA597B7 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:22:58] 781*2^1239473-1 is not prime. Res64: 56247E705506D118 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:40:19] 801*2^1239473-1 is not prime. Res64: 88A0902EDEFAC89D Time : 0.0 sec. user=mdettweiler [2013-01-18 06:40:20] 641*2^1239474-1 is not prime. Res64: 434E5C679AF87EED Time : 0.0 sec. user=mdettweiler [2013-01-18 06:40:20] 737*2^1239474-1 is not prime. Res64: A59A670692525FE6 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:40:21] 885*2^1239474-1 is not prime. Res64: CE4DB18FD915D41F Time : 0.0 sec. user=mdettweiler [2013-01-18 06:57:45] 905*2^1239474-1 is not prime. Res64: 6B4C891A8057DB38 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:57:45] 601*2^1239475-1 is not prime. Res64: 02061F411D8121A3 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:57:47] 639*2^1239475-1 is not prime. Res64: 330CCE2687008205 Time : 0.0 sec. user=mdettweiler [2013-01-18 06:57:48] 759*2^1239475-1 is not prime. Res64: 92593C716C62C0DF Time : 0.0 sec. user=mdettweiler [2013-01-18 07:15:08] 771*2^1239475-1 is not prime. Res64: 74A7C9340631C799 Time : 0.0 sec. user=mdettweiler [2013-01-18 07:15:09] 775*2^1239475-1 is not prime. Res64: D4D1C583D55C929B Time : 0.0 sec. user=mdettweiler [2013-01-18 07:15:10] 915*2^1239475-1 is not prime. Res64: 6A21801688730C76 Time : 0.0 sec. user=mdettweiler [2013-01-18 07:15:11] 951*2^1239475-1 is not prime. Res64: E2BC54B287AEDBAB Time : 0.0 sec. user=mdettweiler [2013-01-18 07:32:35] 961*2^1239475-1 is not prime. Res64: 37146038C2CDB486 Time : 0.0 sec. user=mdettweiler [2013-01-18 07:32:35] 707*2^1239476-1 is not prime. Res64: A29A4A0EAE7DC9E1 Time : 0.0 sec. user=mdettweiler [2013-01-18 07:32:36] 985*2^1239475-1 is not prime. Res64: FB458FDE1F22FCE1 Time : 0.0 sec. user=mdettweiler [2013-01-18 07:32:36] 903*2^1239476-1 is not prime. Res64: 55671A53A27CC928 Time : 0.0 sec. user=mdettweiler [2013-01-18 07:49:59] 999*2^1239476-1 is not prime. Res64: 772AEFDD528D26A9 Time : 0.0 sec. user=mdettweiler [2013-01-18 07:49:59] 655*2^1239477-1 is not prime. Res64: 43CF42C763E0CBFB Time : 0.0 sec. user=mdettweiler [2013-01-18 07:50:02] 681*2^1239477-1 is not prime. Res64: DAE7F70014F1304B Time : 0.0 sec. user=mdettweiler [2013-01-18 07:50:02] 759*2^1239477-1 is not prime. Res64: F968FA2D49D265C4 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:07:23] 777*2^1239477-1 is not prime. Res64: 3B59F52FEF34E126 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:07:24] 849*2^1239477-1 is not prime. Res64: A8A4CC0E48A25320 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:07:24] 891*2^1239477-1 is not prime. Res64: CF29075DDFB9E0B4 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:07:25] 611*2^1239478-1 is not prime. Res64: FC35DFB92FF4BB18 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:24:51] 601*2^1239479-1 is not prime. Res64: AA1625AB49542B1C Time : 0.0 sec. user=mdettweiler [2013-01-18 08:24:52] 759*2^1239479-1 is not prime. Res64: 4B46B72CF1BF94EA Time : 0.0 sec. user=mdettweiler [2013-01-18 08:24:52] 801*2^1239478-1 is not prime. Res64: D7D38DFB5D93EC36 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:24:53] 981*2^1239478-1 is not prime. Res64: 4866118A43BF4A4E Time : 0.0 sec. user=mdettweiler [2013-01-18 08:42:20] 789*2^1239479-1 is not prime. Res64: F6EE14772ED11F82 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:42:21] 979*2^1239479-1 is not prime. Res64: 2871C21A78EF22B2 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:42:22] 999*2^1239479-1 is not prime. Res64: E81C9FE8E577B0AF Time : 0.0 sec. user=mdettweiler [2013-01-18 08:42:22] 633*2^1239480-1 is not prime. Res64: 2414EAC5E77714C2 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:59:46] 735*2^1239480-1 is not prime. Res64: 1CB98E54423BAFFB Time : 0.0 sec. user=mdettweiler [2013-01-18 08:59:47] 777*2^1239480-1 is not prime. Res64: F51E638469055581 Time : 0.0 sec. user=mdettweiler [2013-01-18 08:59:48] 635*2^1239480-1 is not prime. Res64: 1D8274911EEB751A Time : 0.0 sec. user=mdettweiler [2013-01-18 08:59:48] 665*2^1239480-1 is not prime. Res64: DB3BEA4E14DE3D59 Time : 0.0 sec. user=mdettweiler [2013-01-18 09:17:11] 863*2^1239480-1 is not prime. Res64: 9A55F7D5E7367AB8 Time : 0.0 sec. user=mdettweiler [2013-01-18 09:17:12] 929*2^1239480-1 is not prime. Res64: A628952C7F3CF836 Time : 0.0 sec. user=mdettweiler [2013-01-18 09:26:02] 649*2^1239481-1 is not prime. Res64: 66D8CD0F8394E57F Time : 0.0 sec. user=mdettweiler [2013-01-18 09:26:02] 705*2^1239481-1 is not prime. Res64: 000FB8A6C65A5CFA Time : 0.0 sec. user=mdettweiler [2013-01-18 09:34:43] 799*2^1239481-1 is not prime. Res64: 756497D9AB4E7D4E Time : 0.0 sec. user=mdettweiler [2013-01-18 09:34:43] 819*2^1239481-1 is not prime. Res64: BC7C86E238A838CC Time : 0.0 sec. user=mdettweiler [2013-01-18 09:43:25] 925*2^1239481-1 is not prime. Res64: 60820B07BED2A57F Time : 0.0 sec. user=mdettweiler [2013-01-18 09:43:25] 945*2^1239481-1 is not prime. Res64: 8593CF3C2036AE16 Time : 0.0 sec. user=mdettweiler [2013-01-18 09:52:06] 633*2^1239482-1 is not prime. Res64: ADBFD3E1A661F264 Time : 0.0 sec. user=mdettweiler [2013-01-18 09:52:07] 635*2^1239482-1 is not prime. Res64: C9B8D597BC3BBC3C Time : 0.0 sec. user=mdettweiler [2013-01-18 10:00:54] 735*2^1239482-1 is not prime. Res64: 89C25EC264B0E54B Time : 0.0 sec. user=mdettweiler [2013-01-18 10:00:55] 825*2^1239482-1 is not prime. Res64: FE12D62FCEEDB1A7 Time : 0.0 sec. user=mdettweiler [2013-01-18 10:09:29] 837*2^1239482-1 is not prime. Res64: 8CD6FAA81B3AC38C Time : 0.0 sec. user=mdettweiler [2013-01-18 10:09:31] 867*2^1239482-1 is not prime. Res64: F706468B16648202 Time : 0.0 sec. user=mdettweiler [2013-01-18 10:18:33] 887*2^1239482-1 is not prime. Res64: CA62EE8AB6F2E4BB Time : 0.0 sec. user=mdettweiler [2013-01-18 10:18:36] 893*2^1239482-1 is not prime. Res64: 862FA5F51E51A1E9 Time : 0.0 sec. user=mdettweiler [2013-01-18 10:26:56] 911*2^1239482-1 is not prime. Res64: 9597E85387701F96 Time : 0.0 sec. user=mdettweiler [2013-01-18 10:26:57] 915*2^1239482-1 is not prime. Res64: 1141E69316F9E271 Time : 0.0 sec. user=mdettweiler [2013-01-18 10:36:17] 935*2^1239482-1 is not prime. Res64: CE6E12ADBB46EFE3 Time : 0.0 sec. user=mdettweiler [2013-01-18 10:36:18] 963*2^1239482-1 is not prime. Res64: E77F9BCF0701722D Time : 0.0 sec. user=mdettweiler [2013-01-18 10:44:49] 835*2^1239483-1 is not prime. Res64: 9477D2391365A53C Time : 0.0 sec. user=mdettweiler [2013-01-18 10:44:49] 963*2^1239483-1 is not prime. Res64: 4FEAA09287017D4B Time : 0.0 sec. user=mdettweiler [2013-01-18 10:54:44] 705*2^1239484-1 is not prime. Res64: 81EB1096958AD160 Time : 0.0 sec. user=mdettweiler [2013-01-18 10:54:45] 755*2^1239484-1 is not prime. Res64: 55C92BA3DEF69378 Time : 0.0 sec. user=mdettweiler [2013-01-18 11:02:55] 803*2^1239484-1 is not prime. Res64: 1F95C04ABD88A2FE Time : 0.0 sec. user=mdettweiler [2013-01-18 11:02:57] 855*2^1239484-1 is not prime. Res64: 8ECBFD18C3C02BD2 Time : 0.0 sec. user=mdettweiler [2013-01-18 11:12:17] 903*2^1239484-1 is not prime. Res64: 2DDA1AD234CF23BC Time : 0.0 sec. user=mdettweiler [2013-01-18 11:12:18] 905*2^1239484-1 is not prime. Res64: 5456E9974128F46D Time : 0.0 sec. user=mdettweiler [2013-01-18 11:20:48] 675*2^1239485-1 is not prime. Res64: 8605FD73C7E9F9C2 Time : 0.0 sec. user=mdettweiler [2013-01-18 11:20:49] 729*2^1239485-1 is not prime. Res64: 692B6A8D55FFDA05 Time : 0.0 sec. user=mdettweiler [2013-01-18 11:30:03] 789*2^1239485-1 is not prime. Res64: 2AAA6984CCDE964E Time : 0.0 sec. user=mdettweiler [2013-01-18 11:30:03] 795*2^1239485-1 is not prime. Res64: B98DC84A8704F7A6 Time : 0.0 sec. user=mdettweiler [2013-01-18 11:38:40] 949*2^1239485-1 is not prime. Res64: 1E2964442B10BCE4 Time : 0.0 sec. user=mdettweiler [2013-01-18 11:38:41] 957*2^1239485-1 is not prime. Res64: 96415765407AEC2D Time : 0.0 sec. user=mdettweiler [2013-01-18 11:47:50] 683*2^1239486-1 is not prime. Res64: F988F5E290FF1E3E Time : 0.0 sec. user=mdettweiler [2013-01-18 11:47:50] 801*2^1239486-1 is not prime. Res64: C7FDAC0AABD9F0FF Time : 0.0 sec. user=mdettweiler [2013-01-18 11:56:28] 821*2^1239486-1 is not prime. Res64: A357C0D5DDEB3DF4 Time : 0.0 sec. user=mdettweiler [2013-01-18 11:56:28] 873*2^1239486-1 is not prime. Res64: 2F6858A5104A3CD0 Time : 0.0 sec. user=mdettweiler [2013-01-18 12:05:32] 891*2^1239486-1 is not prime. Res64: 964C02CCCE842A8C Time : 0.0 sec. user=mdettweiler [2013-01-18 12:05:34] 933*2^1239486-1 is not prime. Res64: 79FA9A56548CD70D Time : 0.0 sec. user=mdettweiler [2013-01-18 12:14:02] 971*2^1239486-1 is not prime. Res64: 2EA9162B35146C04 Time : 0.0 sec. user=mdettweiler [2013-01-18 12:14:02] 735*2^1239487-1 is not prime. Res64: B1337865064FEDA6 Time : 0.0 sec. user=mdettweiler [2013-01-18 12:31:29] 975*2^1239487-1 is not prime. Res64: D920E78BA288A6C8 Time : 0.0 sec. user=mdettweiler [2013-01-18 12:31:30] 617*2^1239488-1 is not prime. Res64: D00AD3CD99C3E7B0 Time : 0.0 sec. user=mdettweiler [2013-01-18 12:48:35] 741*2^1239487-1 is not prime. Res64: 723CBA8274FEE38C Time : 0.0 sec. user=mdettweiler [2013-01-18 12:48:35] 909*2^1239487-1 is not prime. Res64: 09F909395EC4EAC3 Time : 0.0 sec. user=mdettweiler [2013-01-18 12:48:56] 645*2^1239488-1 is not prime. Res64: CC420B24891FBB08 Time : 0.0 sec. user=mdettweiler [2013-01-18 12:48:57] 743*2^1239488-1 is not prime. Res64: CA07EF4B44A42B0A Time : 0.0 sec. user=mdettweiler [2013-01-18 13:06:02] 795*2^1239488-1 is not prime. Res64: 284FBDD7D7DFDF83 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:06:04] 909*2^1239488-1 is not prime. Res64: 0D16C6C012094B30 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:06:21] 639*2^1239489-1 is not prime. Res64: B9BC8C7532CF9A7B Time : 0.0 sec. user=mdettweiler [2013-01-18 13:06:22] 685*2^1239489-1 is not prime. Res64: 4DA37FDCDD21EF29 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:23:38] 741*2^1239489-1 is not prime. Res64: 88F7018C020DC812 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:23:40] 765*2^1239489-1 is not prime. Res64: 996DA8B5A704EA14 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:23:52] 865*2^1239489-1 is not prime. Res64: 4142E4FCAACD80E7 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:23:54] 895*2^1239489-1 is not prime. Res64: 454C64F05AB71FDD Time : 0.0 sec. user=mdettweiler [2013-01-18 13:42:07] 969*2^1239489-1 is not prime. Res64: 1CC80A3C9B721442 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:42:07] 687*2^1239490-1 is not prime. Res64: F5FDB5BEFDE2DC82 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:42:11] 747*2^1239490-1 is not prime. Res64: 2802A13C79B9C416 Time : 0.0 sec. user=mdettweiler [2013-01-18 13:42:11] 777*2^1239490-1 is not prime. Res64: 7096731EFC27A40B Time : 0.0 sec. user=mdettweiler [2013-01-18 14:00:35] 813*2^1239490-1 is not prime. Res64: B2C3BE07F53EC5E5 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:00:36] 833*2^1239490-1 is not prime. Res64: 0727946000398861 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:00:39] 867*2^1239490-1 is not prime. Res64: D741A7983BE8BB5E Time : 0.0 sec. user=mdettweiler [2013-01-18 14:00:41] 887*2^1239490-1 is not prime. Res64: 4E8C5534A641AC37 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:18:17] 917*2^1239490-1 is not prime. Res64: DE54A911AC4ECACF Time : 0.0 sec. user=mdettweiler [2013-01-18 14:18:18] 957*2^1239490-1 is not prime. Res64: D8696E9704CB2EF3 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:18:18] 987*2^1239490-1 is not prime. Res64: BEFC48D3A8E27874 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:18:19] 631*2^1239491-1 is not prime. Res64: 9F4818E9B59B9DF2 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:35:46] 715*2^1239491-1 is not prime. Res64: 8261715794309FBE Time : 0.0 sec. user=mdettweiler [2013-01-18 14:35:46] 733*2^1239491-1 is not prime. Res64: 4753276DA40EE855 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:35:47] 813*2^1239491-1 is not prime. Res64: 3FCFEB23250A4460 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:35:48] 823*2^1239491-1 is not prime. Res64: 07D76A517D52F88E Time : 0.0 sec. user=mdettweiler [2013-01-18 14:53:16] 841*2^1239491-1 is not prime. Res64: 967628D7903A267B Time : 0.0 sec. user=mdettweiler [2013-01-18 14:53:16] 843*2^1239491-1 is not prime. Res64: 94FD4C9AE4B824CA Time : 0.0 sec. user=mdettweiler [2013-01-18 14:53:16] 859*2^1239491-1 is not prime. Res64: 263A46E3DC95EE96 Time : 0.0 sec. user=mdettweiler [2013-01-18 14:53:18] 883*2^1239491-1 is not prime. Res64: D8660EEF09BD56D2 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:11:00] 895*2^1239491-1 is not prime. Res64: C3F608613EFDCD23 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:11:01] 623*2^1239492-1 is not prime. Res64: 7218A45FAEE4998B Time : 0.0 sec. user=mdettweiler [2013-01-18 15:11:01] 635*2^1239492-1 is not prime. Res64: 706D5231FC043DD3 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:11:01] 683*2^1239492-1 is not prime. Res64: 1F811C4A4241BCF4 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:28:49] 879*2^1239492-1 is not prime. Res64: 655701C83A75F694 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:28:49] 927*2^1239493-1 is not prime. Res64: 0CEDEE7375EA951D Time : 0.0 sec. user=mdettweiler [2013-01-18 15:28:52] 825*2^1239492-1 is not prime. Res64: C3E692AB0075E347 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:28:52] 873*2^1239492-1 is not prime. Res64: E25A5E60C4836CC0 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:46:39] 675*2^1239494-1 is not prime. Res64: 7C3979E3C0DD2C83 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:46:40] 683*2^1239494-1 is not prime. Res64: A63426226D8D9B25 Time : 0.0 sec. user=mdettweiler [2013-01-18 15:46:40] 707*2^1239494-1 is not prime. Res64: 0C230227DBBE713E Time : 0.0 sec. user=mdettweiler [2013-01-18 15:46:40] 711*2^1239494-1 is not prime. Res64: 87D021A82791A985 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:04:27] 731*2^1239494-1 is not prime. Res64: D11C9E01B1004581 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:04:28] 987*2^1239494-1 is not prime. Res64: 2CF666EFA8D6694F Time : 0.0 sec. user=mdettweiler [2013-01-18 16:04:29] 951*2^1239494-1 is not prime. Res64: 7290181AE459EC88 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:04:31] 613*2^1239495-1 is not prime. Res64: 6C2D296FF79234A7 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:22:11] 651*2^1239495-1 is not prime. Res64: 481CFC488C166F18 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:22:12] 763*2^1239495-1 is not prime. Res64: 23F74C7EA47ABD3D Time : 0.0 sec. user=mdettweiler [2013-01-18 16:22:16] 783*2^1239495-1 is not prime. Res64: C4A57C6B1ED18E93 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:22:17] 829*2^1239495-1 is not prime. Res64: 954E9528599EF1AF Time : 0.0 sec. user=mdettweiler [2013-01-18 16:39:43] 963*2^1239495-1 is not prime. Res64: BE0AB46F95E18FC2 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:39:43] 615*2^1239496-1 is not prime. Res64: 66B0999291332CE6 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:39:46] 719*2^1239496-1 is not prime. Res64: 622A8B95C1C87FB1 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:39:46] 755*2^1239496-1 is not prime. Res64: 33AAAFE3AF0B8B40 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:57:13] 855*2^1239496-1 is not prime. Res64: 3B73947D4B4C4EB3 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:57:14] 927*2^1239496-1 is not prime. Res64: 2398D03AD33DA8C0 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:57:16] 631*2^1239497-1 is not prime. Res64: 65A290305E8F6FE7 Time : 0.0 sec. user=mdettweiler [2013-01-18 16:57:16] 711*2^1239497-1 is not prime. Res64: 8B0C12FE956E81E8 Time : 0.0 sec. user=mdettweiler [2013-01-18 17:14:46] 841*2^1239497-1 is not prime. Res64: F166AB1C80DBC678 Time : 0.0 sec. user=mdettweiler [2013-01-18 17:14:50] 967*2^1239497-1 is not prime. Res64: 3A652857D73DB335 Time : 0.0 sec. user=mdettweiler [2013-01-18 17:14:53] 867*2^1239497-1 is not prime. Res64: 9CB3961E4AA8EA6D Time : 0.0 sec. user=mdettweiler [2013-01-18 17:14:55] 651*2^1239498-1 is not prime. Res64: D2584A3F1162A193 Time : 0.0 sec. user=mdettweiler [2013-01-18 17:32:46] 695*2^1239498-1 is not prime. Res64: E760E8014EB2AFBF Time : 0.0 sec. user=mdettweiler [2013-01-18 17:32:47] 755*2^1239498-1 is not prime. Res64: 1EEAAE867918F81C Time : 0.0 sec. user=mdettweiler [2013-01-18 17:32:53] 767*2^1239498-1 is not prime. Res64: 52D27CBD95D4F608 Time : 0.0 sec. user=mdettweiler [2013-01-18 17:32:54] 843*2^1239498-1 is not prime. Res64: 723BA3E88ABBD70F Time : 0.0 sec. user=mdettweiler [2013-01-18 17:50:24] 921*2^1239498-1 is not prime. Res64: 359ED87172F67CD6 Time : 0.0 sec. user=mdettweiler [2013-01-18 17:50:25] 1001*2^1239498-1 is not prime. Res64: 43D0620D00AB133A Time : 0.0 sec. user=mdettweiler [2013-01-18 17:50:25] 885*2^1239498-1 is not prime. Res64: F4ACAF638EA378AD Time : 0.0 sec. user=mdettweiler [2013-01-18 17:50:25] 893*2^1239498-1 is not prime. Res64: D5392585D636AB70 Time : 0.0 sec. user=mdettweiler [2013-01-18 18:08:21] 645*2^1239499-1 is not prime. Res64: D4F017DD245E8840 Time : 0.0 sec. user=mdettweiler [2013-01-18 18:08:23] 693*2^1239499-1 is not prime. Res64: 1F5B4D0D538EA70D Time : 0.0 sec. user=mdettweiler [2013-01-18 18:08:26] 759*2^1239499-1 is not prime. Res64: DF55CDFA92C1AD6C Time : 0.0 sec. user=mdettweiler [2013-01-18 18:08:27] 769*2^1239499-1 is not prime. Res64: 8A194E1DD2549F4A Time : 0.0 sec. user=mdettweiler [2013-01-18 18:26:16] 635*2^1239500-1 is not prime. Res64: A7011C3A28DEEF74 Time : 0.0 sec. user=mdettweiler [2013-01-18 18:26:16] 861*2^1239499-1 is not prime. Res64: 86A921879C355BC5 Time : 0.0 sec. user=mdettweiler [2013-01-18 18:26:16] 659*2^1239500-1 is not prime. Res64: 802E050533390ADC Time : 0.0 sec. user=mdettweiler [2013-01-18 18:26:16] 633*2^1239500-1 is not prime. Res64: 1F7C76992CFD52EB Time : 0.0 sec. user=mdettweiler [2013-01-18 18:43:43] 669*2^1239500-1 is not prime. Res64: F4D71BEC0B184F3E Time : 0.0 sec. user=mdettweiler [2013-01-18 18:43:44] 759*2^1239500-1 is not prime. Res64: 120895EB04749259 Time : 0.0 sec. user=mdettweiler [2013-01-18 18:43:45] 875*2^1239500-1 is not prime. Res64: B7F4FC1C4A9C0AF1 Time : 0.0 sec. user=mdettweiler [2013-01-18 18:43:46] 735*2^1239501-1 is not prime. Res64: 8A9DB08E1A42C743 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:01:12] 885*2^1239501-1 is not prime. Res64: 5E319D4900909F02 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:01:16] 747*2^1239501-1 is not prime. Res64: 2E755F295E20BA2E Time : 0.0 sec. user=mdettweiler [2013-01-18 19:01:17] 951*2^1239501-1 is not prime. Res64: 6F18A8D22E289642 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:01:18] 835*2^1239501-1 is not prime. Res64: 235A5C536E47EAB1 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:19:15] 681*2^1239502-1 is not prime. Res64: 47E491A6B05B79D8 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:19:16] 765*2^1239502-1 is not prime. Res64: 1DC792ADF036E8E4 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:19:17] 955*2^1239501-1 is not prime. Res64: 4B44365020902A66 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:19:18] 611*2^1239502-1 is not prime. Res64: E6B3424E975A9C76 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:36:44] 873*2^1239502-1 is not prime. Res64: D302A9C54443C36E Time : 0.0 sec. user=mdettweiler [2013-01-18 19:36:44] 801*2^1239502-1 is not prime. Res64: 29E5D821E04CE322 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:36:45] 897*2^1239502-1 is not prime. Res64: 231FA218AEB6886C Time : 0.0 sec. user=mdettweiler [2013-01-18 19:36:45] 843*2^1239502-1 is not prime. Res64: 4395C5BC42BD6A1A Time : 0.0 sec. user=mdettweiler [2013-01-18 19:54:14] 923*2^1239502-1 is not prime. Res64: 8DC947C2083293FA Time : 0.0 sec. user=mdettweiler [2013-01-18 19:54:14] 951*2^1239502-1 is not prime. Res64: E2F75915C7EF72E1 Time : 0.0 sec. user=mdettweiler [2013-01-18 19:54:17] 983*2^1239502-1 is not prime. Res64: 0E0E34A59F8F037D Time : 0.0 sec. user=mdettweiler [2013-01-18 19:54:18] 609*2^1239503-1 is not prime. Res64: F3C7A5D26C3161FE Time : 0.0 sec. user=mdettweiler [2013-01-18 20:11:45] 615*2^1239503-1 is not prime. Res64: 405C8E4919B97F07 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:11:51] 729*2^1239503-1 is not prime. Res64: 5CE98A77DED702D5 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:11:59] 703*2^1239503-1 is not prime. Res64: AC22710310B52E27 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:34:39] 735*2^1239503-1 is not prime. Res64: 32BAE11B50DEBF4F Time : 0.0 sec. user=mdettweiler [2013-01-18 20:39:11] 605*2^1239504-1 is not prime. Res64: 2C29E6A822AFD453 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:39:12] 917*2^1239504-1 is not prime. Res64: CED10F439BD6A080 Time : 0.0 sec. user=gd_barnes [2013-01-18 20:42:38] 811*2^1239503-1 is not prime. Res64: BB7AB1B6FC6CCF71 Time : 0.0 sec. user=gd_barnes [2013-01-18 20:50:16] 871*2^1239503-1 is not prime. Res64: E52D60E93D697360 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:52:03] 619*2^1239505-1 is not prime. Res64: 31206F6674A8EAE4 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:52:04] 751*2^1239505-1 is not prime. Res64: 7742A6B759ECE193 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:56:39] 799*2^1239505-1 is not prime. Res64: 2E6C302BDC008945 Time : 0.0 sec. user=mdettweiler [2013-01-18 20:56:39] 841*2^1239505-1 is not prime. Res64: 29BC7548F52ED457 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:09:28] 847*2^1239505-1 is not prime. Res64: BE841B34E7CBE1F1 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:09:29] 895*2^1239505-1 is not prime. Res64: 3971905D84AE0FC3 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:14:42] 937*2^1239505-1 is not prime. Res64: D4CE041C578BA483 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:27:04] 997*2^1239505-1 is not prime. Res64: 9F934753F4634207 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:27:05] 641*2^1239506-1 is not prime. Res64: 8AE8FCA6B1D59237 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:32:15] 957*2^1239505-1 is not prime. Res64: 583E12939D3B5DF8 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:44:39] 675*2^1239506-1 is not prime. Res64: 79EBCAC63D105599 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:44:40] 711*2^1239506-1 is not prime. Res64: B24C5D5E10175B87 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:49:48] 843*2^1239506-1 is not prime. Res64: 793667A13DFE45A6 Time : 0.0 sec. user=mdettweiler [2013-01-18 21:49:49] 917*2^1239506-1 is not prime. Res64: AA695058C63204F2 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:02:03] 963*2^1239506-1 is not prime. Res64: 2F9D6C3DBAF655BC Time : 0.0 sec. user=mdettweiler [2013-01-18 22:02:05] 993*2^1239506-1 is not prime. Res64: ABB4E4C8432BD0BD Time : 0.0 sec. user=mdettweiler [2013-01-18 22:07:12] 819*2^1239507-1 is not prime. Res64: FB2265F8A990AF83 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:07:14] 849*2^1239507-1 is not prime. Res64: 4E4BD52395005F68 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:19:42] 879*2^1239507-1 is not prime. Res64: D339A3258807068D Time : 0.0 sec. user=mdettweiler [2013-01-18 22:19:43] 909*2^1239507-1 is not prime. Res64: 4E21E5F8C566E6D3 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:24:44] 639*2^1239508-1 is not prime. Res64: 35CD4AFED087648F Time : 0.0 sec. user=mdettweiler [2013-01-18 22:24:44] 657*2^1239508-1 is not prime. Res64: 6D574111D76D8B8F Time : 0.0 sec. user=mdettweiler [2013-01-18 22:37:14] 843*2^1239508-1 is not prime. Res64: 20D25FCB92CE6A17 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:37:14] 923*2^1239508-1 is not prime. Res64: 97C07175EC902142 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:42:06] 969*2^1239508-1 is not prime. Res64: 87542701548773E8 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:42:06] 627*2^1239509-1 is not prime. Res64: B43F59D3AE1069D3 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:54:36] 697*2^1239509-1 is not prime. Res64: F5A4D7B73633B6DC Time : 0.0 sec. user=mdettweiler [2013-01-18 22:54:36] 801*2^1239509-1 is not prime. Res64: 235D0994280F7DA3 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:59:29] 879*2^1239509-1 is not prime. Res64: 29DE841A53CBA1F0 Time : 0.0 sec. user=mdettweiler [2013-01-18 22:59:29] 939*2^1239509-1 is not prime. Res64: ACD8468395BA6CE1 Time : 0.0 sec. user=mdettweiler [2013-01-18 23:11:58] 611*2^1239510-1 is not prime. Res64: EAFAD3ED9C90BC9E Time : 0.0 sec. user=mdettweiler [2013-01-18 23:11:59] 635*2^1239510-1 is not prime. Res64: FEF3885CF1CCFA5A Time : 0.0 sec. user=mdettweiler [2013-01-18 23:16:52] 695*2^1239510-1 is not prime. Res64: 5E1501491D38F0FB Time : 0.0 sec. user=mdettweiler [2013-01-18 23:16:52] 717*2^1239510-1 is not prime. Res64: EEC452942E64ABE8 Time : 0.0 sec. user=mdettweiler [2013-01-18 23:29:25] 723*2^1239510-1 is not prime. Res64: F1B4354EBBBA84F7 Time : 0.0 sec. user=mdettweiler [2013-01-18 23:29:26] 773*2^1239510-1 is not prime. Res64: D688190E05283065 Time : 0.0 sec. user=vaughan [2013-01-18 23:30:43] 951*2^1239509-1 is not prime. Res64: 33F8F1B21C7833F2 Time : 0.0 sec. user=mdettweiler [2013-01-18 23:34:17] 777*2^1239510-1 is not prime. Res64: DA50ABEA0694605F Time : 0.0 sec. user=mdettweiler [2013-01-18 23:34:18] 887*2^1239510-1 is not prime. Res64: C6B78EE2A9314738 Time : 0.0 sec. user=mdettweiler [2013-01-18 23:46:56] 927*2^1239510-1 is not prime. Res64: C08DF633BAEE8985 Time : 0.0 sec. user=mdettweiler [2013-01-18 23:46:56] 603*2^1239511-1 is not prime. Res64: 476B2C041F5551D4 Time : 0.0 sec. user=mdettweiler [2013-01-18 23:51:43] 939*2^1239511-1 is not prime. Res64: 8F72A539DEF1510E Time : 0.0 sec. user=mdettweiler [2013-01-18 23:51:43] 973*2^1239511-1 is not prime. Res64: D697B37F899295DC Time : 0.0 sec.