user=mdettweiler [2013-01-25 00:04:13] 825*2^1239890-1 is not prime. Res64: 30441994D6AFF261 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:04:17] 867*2^1239890-1 is not prime. Res64: A46BFB0597B94F6D Time : 0.0 sec. user=mdettweiler [2013-01-25 00:13:16] 955*2^1239891-1 is not prime. Res64: E83D6C11EC10BEC8 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:13:17] 975*2^1239891-1 is not prime. Res64: 3AD37A87D3BB5942 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:21:53] 825*2^1239892-1 is not prime. Res64: 9D1B63B90848D657 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:21:54] 863*2^1239892-1 is not prime. Res64: 0015763CE69DB9A8 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:30:40] 875*2^1239892-1 is not prime. Res64: 02488B4FB56F41FC Time : 0.0 sec. user=mdettweiler [2013-01-25 00:30:40] 885*2^1239892-1 is not prime. Res64: 135551BEA8E625C5 Time : 0.0 sec. user=juhehe [2013-01-25 00:33:12] 779*2^1239892-1 is not prime. Res64: B6761D90C3B3D574 Time : 0.0 sec. user=vaughan [2013-01-25 00:33:59] 647*2^1239892-1 is not prime. Res64: CEA23F40FDA18BF9 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:39:14] 939*2^1239892-1 is not prime. Res64: 642D22ADBA4A00BE Time : 0.0 sec. user=mdettweiler [2013-01-25 00:39:15] 657*2^1239893-1 is not prime. Res64: ADF7B020306860D4 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:48:02] 669*2^1239893-1 is not prime. Res64: 410A1DD88A9F0515 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:48:02] 757*2^1239893-1 is not prime. Res64: 83265E7EC8FFD190 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:56:35] 621*2^1239894-1 is not prime. Res64: C2FE0C13958F7F50 Time : 0.0 sec. user=mdettweiler [2013-01-25 00:56:36] 635*2^1239894-1 is not prime. Res64: ED9C31C13C90829F Time : 0.0 sec. user=mdettweiler [2013-01-25 01:05:24] 677*2^1239894-1 is not prime. Res64: AADC41C2B8E088A0 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:05:27] 725*2^1239894-1 is not prime. Res64: 66556281C9430E1B Time : 0.0 sec. user=juhehe [2013-01-25 01:06:21] 925*2^1239893-1 is not prime. Res64: DFD23594129FCBFB Time : 0.0 sec. user=vaughan [2013-01-25 01:11:53] 987*2^1239893-1 is not prime. Res64: 8E1FA017758E9711 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:13:55] 797*2^1239894-1 is not prime. Res64: DDA8382328A4DA9A Time : 0.0 sec. user=mdettweiler [2013-01-25 01:13:56] 825*2^1239894-1 is not prime. Res64: 7870B491FD6C2F97 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:23:13] 917*2^1239894-1 is not prime. Res64: AFCB317F9C1A6C4B Time : 0.0 sec. user=mdettweiler [2013-01-25 01:23:13] 965*2^1239894-1 is not prime. Res64: 4CF8BA617942F896 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:31:23] 709*2^1239895-1 is not prime. Res64: B06C62A3DD289CD0 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:31:24] 765*2^1239895-1 is not prime. Res64: AA7F8123BCD144DF Time : 0.0 sec. user=juhehe [2013-01-25 01:39:33] 609*2^1239895-1 is not prime. Res64: BFE2A4F77A879375 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:40:35] 829*2^1239895-1 is not prime. Res64: 2FE3DD0A4D359894 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:40:36] 841*2^1239895-1 is not prime. Res64: 1CD6C823F4D7A654 Time : 0.0 sec. user=mdettweiler [2013-01-25 01:48:45] 999*2^1239895-1 is not prime. Res64: B20EA285CB3ADABF Time : 0.0 sec. user=mdettweiler [2013-01-25 01:48:45] 663*2^1239896-1 is not prime. Res64: 222178BC63DA95BA Time : 0.0 sec. user=vaughan [2013-01-25 01:50:02] 619*2^1239895-1 is not prime. Res64: B7D740E769EE84DA Time : 0.0 sec. user=mdettweiler [2013-01-25 01:57:58] 699*2^1239896-1 is not prime. Res64: 762560CC1A50D32A Time : 0.0 sec. user=mdettweiler [2013-01-25 01:57:58] 869*2^1239896-1 is not prime. Res64: 9E19A0DACA5C75D4 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:06:06] 681*2^1239897-1 is not prime. Res64: 7D6EF47FD30CE979 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:06:07] 759*2^1239897-1 is not prime. Res64: 43F88D5ED147D34E Time : 0.0 sec. user=mdettweiler [2013-01-25 02:15:19] 997*2^1239897-1 is not prime. Res64: 2D5BFC3B5559E9EE Time : 0.0 sec. user=mdettweiler [2013-01-25 02:15:20] 681*2^1239898-1 is not prime. Res64: 3DFFDC5C140A8A56 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:23:32] 813*2^1239898-1 is not prime. Res64: 276C469262616302 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:23:33] 855*2^1239898-1 is not prime. Res64: 6B039B512683C7F0 Time : 0.0 sec. user=vaughan [2013-01-25 02:27:54] 817*2^1239897-1 is not prime. Res64: 0A24FB72D516FEED Time : 0.0 sec. user=mdettweiler [2013-01-25 02:32:43] 933*2^1239898-1 is not prime. Res64: BD97101B626ED3A8 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:32:44] 619*2^1239899-1 is not prime. Res64: 3DD5058A3CDE429D Time : 0.0 sec. user=mdettweiler [2013-01-25 02:40:54] 621*2^1239899-1 is not prime. Res64: 2B4EB86D514FFDDA Time : 0.0 sec. user=mdettweiler [2013-01-25 02:40:57] 745*2^1239899-1 is not prime. Res64: 14FDE8DF174599FD Time : 0.0 sec. user=mdettweiler [2013-01-25 02:50:11] 979*2^1239899-1 is not prime. Res64: BFDF3E2727E829A4 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:50:14] 999*2^1239899-1 is not prime. Res64: 617F59C1D196F8D7 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:58:45] 699*2^1239900-1 is not prime. Res64: 65D01E5014095679 Time : 0.0 sec. user=mdettweiler [2013-01-25 02:58:46] 759*2^1239900-1 is not prime. Res64: 1AE3F450CD89EE92 Time : 0.0 sec. user=vaughan [2013-01-25 03:05:47] 853*2^1239899-1 is not prime. Res64: C2092F7ED1E3BA16 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:07:59] 773*2^1239900-1 is not prime. Res64: 2F80E112D85FC257 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:08:00] 819*2^1239900-1 is not prime. Res64: 0EBDF512884DD007 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:16:09] 839*2^1239900-1 is not prime. Res64: 069C42C3706031B5 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:16:09] 843*2^1239900-1 is not prime. Res64: A758B9C243410BC9 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:25:21] 625*2^1239901-1 is not prime. Res64: 7D2CECFF5B7F95F4 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:25:21] 649*2^1239901-1 is not prime. Res64: C353D8FA099B11E0 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:33:32] 747*2^1239901-1 is not prime. Res64: C1B67DD276E10404 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:33:33] 811*2^1239901-1 is not prime. Res64: C72F06DCF922C6F6 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:42:42] 855*2^1239901-1 is not prime. Res64: E62DA03593D9C010 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:42:43] 925*2^1239901-1 is not prime. Res64: 8DF76EEDE8C0B435 Time : 0.0 sec. user=vaughan [2013-01-25 03:43:46] 933*2^1239900-1 is not prime. Res64: EE4462ED31F4D1F8 Time : 0.0 sec. user=mdettweiler [2013-01-25 03:51:12] 951*2^1239901-1 is not prime. Res64: 311CD88A620CD9AB Time : 0.0 sec. user=mdettweiler [2013-01-25 03:51:12] 955*2^1239901-1 is not prime. Res64: 70AE5A8138D6EA38 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:00:11] 635*2^1239902-1 is not prime. Res64: C976D5CAC02BFB4B Time : 0.0 sec. user=mdettweiler [2013-01-25 04:00:12] 665*2^1239902-1 is not prime. Res64: CA6F3E25E7D3EA2B Time : 0.0 sec. user=mdettweiler [2013-01-25 04:08:32] 843*2^1239902-1 is not prime. Res64: FD6383504CB00FF0 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:08:33] 885*2^1239902-1 is not prime. Res64: 1ECDC1D5025EBF6C Time : 0.0 sec. user=mdettweiler [2013-01-25 04:17:33] 917*2^1239902-1 is not prime. Res64: FB09D872559DB36A Time : 0.0 sec. user=mdettweiler [2013-01-25 04:17:34] 935*2^1239902-1 is not prime. Res64: DEB76291065374C8 Time : 0.0 sec. user=vaughan [2013-01-25 04:21:40] 671*2^1239902-1 is not prime. Res64: 539A9346925BF2D8 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:25:56] 941*2^1239902-1 is not prime. Res64: 6D2ADAE0C68F0935 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:25:57] 661*2^1239903-1 is not prime. Res64: 89CAE7268B5F3696 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:35:04] 703*2^1239903-1 is not prime. Res64: A5DF072815F8E0F4 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:35:05] 741*2^1239903-1 is not prime. Res64: FB342A48AB3F68E0 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:43:18] 825*2^1239903-1 is not prime. Res64: 28AB47ACF6AC008B Time : 0.0 sec. user=mdettweiler [2013-01-25 04:43:18] 861*2^1239903-1 is not prime. Res64: EC7BC2281715E573 Time : 0.0 sec. user=mdettweiler [2013-01-25 04:52:41] 629*2^1239904-1 is not prime. Res64: D94ABDBE50A2974B Time : 0.0 sec. user=mdettweiler [2013-01-25 04:52:41] 675*2^1239904-1 is not prime. Res64: 3CD9E8B38AA69B97 Time : 0.0 sec. user=vaughan [2013-01-25 04:59:32] 751*2^1239903-1 is not prime. Res64: 482683E26AF70D29 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:00:41] 855*2^1239904-1 is not prime. Res64: 7B0F634D0B8EDE2E Time : 0.0 sec. user=mdettweiler [2013-01-25 05:00:42] 927*2^1239904-1 is not prime. Res64: 47EB5DA754BFB3FC Time : 0.0 sec. user=mdettweiler [2013-01-25 05:10:01] 947*2^1239904-1 is not prime. Res64: 6BF85CB6423FC372 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:10:02] 993*2^1239904-1 is not prime. Res64: 36777EA5478B9D20 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:18:04] 685*2^1239905-1 is not prime. Res64: 65B0E89007A1E536 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:18:05] 711*2^1239905-1 is not prime. Res64: 0CE1FBD3A3B5C187 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:27:24] 819*2^1239905-1 is not prime. Res64: 49307C95381F3D15 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:27:24] 861*2^1239905-1 is not prime. Res64: E6A1667DDE6C6E14 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:35:26] 889*2^1239905-1 is not prime. Res64: F23ACAB5B144581C Time : 0.0 sec. user=mdettweiler [2013-01-25 05:35:26] 949*2^1239905-1 is not prime. Res64: 29D48A18B4D55E55 Time : 0.0 sec. user=vaughan [2013-01-25 05:37:25] 649*2^1239905-1 is not prime. Res64: 6A42B7BC6384B0DB Time : 0.0 sec. user=mdettweiler [2013-01-25 05:44:48] 987*2^1239905-1 is not prime. Res64: 38956A9E6B71F59C Time : 0.0 sec. user=mdettweiler [2013-01-25 05:44:48] 683*2^1239906-1 is not prime. Res64: 59BDE5CAF3346D54 Time : 0.0 sec. user=mdettweiler [2013-01-25 05:52:47] 695*2^1239906-1 is not prime. Res64: A4F80B173F0D6A7E Time : 0.0 sec. user=mdettweiler [2013-01-25 05:52:47] 741*2^1239906-1 is not prime. Res64: 0651528D09DA7ABF Time : 0.0 sec. user=mdettweiler [2013-01-25 06:02:09] 631*2^1239907-1 is not prime. Res64: E6C2B57960A21EA3 Time : 0.0 sec. user=mdettweiler [2013-01-25 06:02:11] 699*2^1239907-1 is not prime. Res64: A9CD5B3A5831C655 Time : 0.0 sec. user=mdettweiler [2013-01-25 06:10:07] 715*2^1239907-1 is not prime. Res64: 5814C171B7197B6A Time : 0.0 sec. user=mdettweiler [2013-01-25 06:10:08] 801*2^1239907-1 is not prime. Res64: 39E35A28B201125E Time : 0.0 sec. user=vaughan [2013-01-25 06:15:19] 837*2^1239906-1 is not prime. Res64: A1B32E190906BAB9 Time : 0.0 sec. user=mdettweiler [2013-01-25 06:19:54] 909*2^1239907-1 is not prime. Res64: 484331AF141EE09A Time : 0.0 sec. user=mdettweiler [2013-01-25 06:19:54] 603*2^1239908-1 is not prime. Res64: F8BF2B4C98004689 Time : 0.0 sec. user=mdettweiler [2013-01-25 06:27:31] 617*2^1239908-1 is not prime. Res64: 5D4EDC90F2CD752A Time : 0.0 sec. user=mdettweiler [2013-01-25 06:27:32] 633*2^1239908-1 is not prime. Res64: 977B80D1CC0B662B Time : 0.0 sec. user=mdettweiler [2013-01-25 06:37:15] 789*2^1239908-1 is not prime. Res64: 004B9F0B633FAE7F Time : 0.0 sec. user=mdettweiler [2013-01-25 06:37:15] 839*2^1239908-1 is not prime. Res64: B36C97B02BE10486 Time : 0.0 sec. user=mdettweiler [2013-01-25 06:44:55] 885*2^1239908-1 is not prime. Res64: 01050D0AA70295B9 Time : 0.0 sec. user=mdettweiler [2013-01-25 06:44:56] 929*2^1239908-1 is not prime. Res64: B7DD60446A3F0370 Time : 0.0 sec. user=vaughan [2013-01-25 06:53:11] 677*2^1239908-1 is not prime. Res64: 97B914399A8DE82F Time : 0.0 sec. user=mdettweiler [2013-01-25 06:54:36] 959*2^1239908-1 is not prime. Res64: 91EE954FC174F43C Time : 0.0 sec. user=mdettweiler [2013-01-25 06:54:36] 625*2^1239909-1 is not prime. Res64: 756DCF4D92545D7B Time : 0.0 sec. user=mdettweiler [2013-01-25 07:02:16] 741*2^1239909-1 is not prime. Res64: 110BF2EC4407A6C1 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:02:17] 831*2^1239909-1 is not prime. Res64: 5229FF5418716298 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:11:57] 657*2^1239910-1 is not prime. Res64: 683A8A3BEF9D50F9 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:11:58] 777*2^1239910-1 is not prime. Res64: C8664651A63B17CC Time : 0.0 sec. user=mdettweiler [2013-01-25 07:19:43] 891*2^1239910-1 is not prime. Res64: C2F915084D3D90D8 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:19:43] 951*2^1239910-1 is not prime. Res64: 40500E2D59EB4D31 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:29:29] 965*2^1239910-1 is not prime. Res64: D07B238EAB9C66E0 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:29:30] 645*2^1239911-1 is not prime. Res64: FBAEA1A98769E950 Time : 0.0 sec. user=vaughan [2013-01-25 07:31:07] 611*2^1239910-1 is not prime. Res64: 624F24A4970484CE Time : 0.0 sec. user=mdettweiler [2013-01-25 07:37:04] 679*2^1239911-1 is not prime. Res64: 399396B4146E6171 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:37:05] 693*2^1239911-1 is not prime. Res64: 72402A6F7422033E Time : 0.0 sec. user=mdettweiler [2013-01-25 07:46:51] 735*2^1239911-1 is not prime. Res64: 4D27C2CF52FDF5A0 Time : 0.0 sec. user=mdettweiler [2013-01-25 07:46:51] 741*2^1239911-1 is not prime. Res64: 5B3F928472C77E4D Time : 0.0 sec. user=mdettweiler [2013-01-25 07:54:31] 843*2^1239911-1 is not prime. Res64: 83515FB294D86B9F Time : 0.0 sec. user=mdettweiler [2013-01-25 07:54:31] 979*2^1239911-1 is not prime. Res64: 88049443E84B66FC Time : 0.0 sec. user=juhehe [2013-01-25 07:55:26] 711*2^1239911-1 is not prime. Res64: 6DBA3084B2523470 Time : 0.0 sec. user=mdettweiler [2013-01-25 08:04:21] 991*2^1239911-1 is not prime. Res64: 3931570CD05CD72C Time : 0.0 sec. user=mdettweiler [2013-01-25 08:04:26] 629*2^1239912-1 is not prime. Res64: 5F510663D1EB16FC Time : 0.0 sec. user=vaughan [2013-01-25 08:09:00] 783*2^1239911-1 is not prime. Res64: 3DF0A4625E5246BA Time : 0.0 sec. user=mdettweiler [2013-01-25 08:11:51] 635*2^1239912-1 is not prime. Res64: 97F93F4068347527 Time : 0.0 sec. user=mdettweiler [2013-01-25 08:11:52] 719*2^1239912-1 is not prime. Res64: AEB50F82791448BA Time : 0.0 sec. user=mdettweiler [2013-01-25 08:22:09] 803*2^1239912-1 is not prime. Res64: 17D1B00EA8464945 Time : 0.0 sec. user=mdettweiler [2013-01-25 08:22:09] 929*2^1239912-1 is not prime. Res64: 29B1705A2DC026DA Time : 0.0 sec. user=juhehe [2013-01-25 08:28:33] 765*2^1239912-1 is not prime. Res64: EE8AB45291AFD51B Time : 0.0 sec. user=mdettweiler [2013-01-25 08:29:15] 975*2^1239912-1 is not prime. Res64: 4E14693937F2EA4F Time : 0.0 sec. user=mdettweiler [2013-01-25 08:29:16] 607*2^1239913-1 is not prime. Res64: DD4DBF2A30D2A40F Time : 0.0 sec. user=mdettweiler [2013-01-25 08:46:37] 937*2^1239913-1 is not prime. Res64: 6530617A74F68311 Time : 0.0 sec. user=mdettweiler [2013-01-25 08:46:37] 985*2^1239913-1 is not prime. Res64: 2B1B6036E44A3628 Time : 0.0 sec. user=vaughan [2013-01-25 08:46:58] 933*2^1239912-1 is not prime. Res64: F329804B1E228F8A Time : 0.0 sec. user=mdettweiler [2013-01-25 08:50:38] 771*2^1239913-1 is not prime. Res64: 44ADD25999823D4B Time : 0.0 sec. user=mdettweiler [2013-01-25 08:50:39] 847*2^1239913-1 is not prime. Res64: 4FAF37EBA5C19B50 Time : 0.0 sec. user=juhehe [2013-01-25 09:01:41] 885*2^1239913-1 is not prime. Res64: 038057ED78D4F6EC Time : 0.0 sec. user=mdettweiler [2013-01-25 09:03:58] 605*2^1239914-1 is not prime. Res64: 34F0845CC686C989 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:04:00] 617*2^1239914-1 is not prime. Res64: 55188DF122ADB5F1 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:08:03] 987*2^1239914-1 is not prime. Res64: 234F6FEDC9960D32 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:08:07] 613*2^1239915-1 is not prime. Res64: 14DED99C666F12F2 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:21:25] 775*2^1239915-1 is not prime. Res64: 8785A550BED1952A Time : 0.0 sec. user=mdettweiler [2013-01-25 09:21:26] 871*2^1239915-1 is not prime. Res64: E692D5006563A105 Time : 0.0 sec. user=vaughan [2013-01-25 09:24:48] 971*2^1239914-1 is not prime. Res64: 93179DCF053F6BC3 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:25:28] 991*2^1239915-1 is not prime. Res64: 115EB59C704138DB Time : 0.0 sec. user=mdettweiler [2013-01-25 09:25:29] 623*2^1239916-1 is not prime. Res64: 5400105ECEED877D Time : 0.0 sec. user=juhehe [2013-01-25 09:35:00] 735*2^1239915-1 is not prime. Res64: B8706BF6AED9C204 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:38:51] 629*2^1239916-1 is not prime. Res64: FDF3D93A40BB7F86 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:38:52] 675*2^1239916-1 is not prime. Res64: 9F263244DCAC9184 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:42:49] 759*2^1239916-1 is not prime. Res64: 586B41357375DFA3 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:42:49] 909*2^1239916-1 is not prime. Res64: 983969FED9D33A2D Time : 0.0 sec. user=mdettweiler [2013-01-25 09:56:13] 999*2^1239916-1 is not prime. Res64: 910C5818817D5228 Time : 0.0 sec. user=mdettweiler [2013-01-25 09:56:14] 607*2^1239917-1 is not prime. Res64: B163CCD939B41F29 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:00:10] 699*2^1239917-1 is not prime. Res64: 08ED5C1DB3CD8E1A Time : 0.0 sec. user=mdettweiler [2013-01-25 10:00:13] 759*2^1239917-1 is not prime. Res64: 6D71ED6E06DED40A Time : 0.0 sec. user=vaughan [2013-01-25 10:02:41] 693*2^1239916-1 is not prime. Res64: 6614BA1643E349E8 Time : 0.0 sec. user=juhehe [2013-01-25 10:08:09] 953*2^1239916-1 is not prime. Res64: 9E83DEC15A9D383E Time : 0.0 sec. user=mdettweiler [2013-01-25 10:13:34] 771*2^1239917-1 is not prime. Res64: 8C5F63281364B778 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:13:35] 861*2^1239917-1 is not prime. Res64: 024D987C156972CD Time : 0.0 sec. user=mdettweiler [2013-01-25 10:17:33] 957*2^1239917-1 is not prime. Res64: D03EA9AE09A34DE8 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:17:34] 967*2^1239917-1 is not prime. Res64: 3627714952FD7C67 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:30:59] 767*2^1239918-1 is not prime. Res64: C5D1C0733D9802B5 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:30:59] 861*2^1239918-1 is not prime. Res64: 4B8CA22947EFCE7E Time : 0.0 sec. user=mdettweiler [2013-01-25 10:34:54] 927*2^1239918-1 is not prime. Res64: E63902582EB07912 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:34:55] 933*2^1239918-1 is not prime. Res64: 0E2EF22FE4F5E8CC Time : 0.0 sec. user=vaughan [2013-01-25 10:40:36] 651*2^1239918-1 is not prime. Res64: 1DB129B788C174A5 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:48:20] 971*2^1239918-1 is not prime. Res64: 4ECCE857340FD4A9 Time : 0.0 sec. user=mdettweiler [2013-01-25 10:48:21] 601*2^1239919-1 is not prime. Res64: EE4311A03B6CCB0B Time : 0.0 sec. user=mdettweiler [2013-01-25 10:52:15] 619*2^1239919-1 is not prime. Res64: 991A83074C9469FE Time : 0.0 sec. user=mdettweiler [2013-01-25 10:52:15] 709*2^1239919-1 is not prime. Res64: 057A47EE62BAEBDD Time : 0.0 sec. user=mdettweiler [2013-01-25 11:05:40] 969*2^1239919-1 is not prime. Res64: CF0BA026892D7652 Time : 0.0 sec. user=mdettweiler [2013-01-25 11:05:42] 609*2^1239920-1 is not prime. Res64: DC030BA02A6D4B23 Time : 0.0 sec. user=mdettweiler [2013-01-25 11:09:38] 767*2^1239920-1 is not prime. Res64: B13F8E434D216FD5 Time : 0.0 sec. user=mdettweiler [2013-01-25 11:09:39] 813*2^1239920-1 is not prime. Res64: 36E250305EDD7FF0 Time : 0.0 sec. user=vaughan [2013-01-25 11:18:29] 769*2^1239919-1 is not prime. Res64: 499F6A3D21A0BB85 Time : 0.0 sec. user=mdettweiler [2013-01-25 11:23:20] 855*2^1239920-1 is not prime. Res64: F151E1262483405E Time : 0.0 sec. user=mdettweiler [2013-01-25 11:23:21] 945*2^1239920-1 is not prime. Res64: 390C074D50034A93 Time : 0.0 sec. user=mdettweiler [2013-01-25 11:27:02] 691*2^1239921-1 is not prime. Res64: BD4C9A7AAFB6E989 Time : 0.0 sec. user=mdettweiler [2013-01-25 11:27:03] 751*2^1239921-1 is not prime. Res64: 3009CDB9E4CC8BDD Time : 0.0 sec. user=mdettweiler [2013-01-25 11:40:42] 813*2^1239922-1 is not prime. Res64: 047929CD0054A34B Time : 0.0 sec. user=mdettweiler [2013-01-25 11:40:42] 873*2^1239922-1 is not prime. Res64: 79A991850D61C22A Time : 0.0 sec. user=mdettweiler [2013-01-25 11:44:23] 609*2^1239923-1 is not prime. Res64: 21F4146E46F89E4E Time : 0.0 sec. user=mdettweiler [2013-01-25 11:44:24] 685*2^1239923-1 is not prime. Res64: 950226FD12D93575 Time : 0.0 sec. user=vaughan [2013-01-25 11:56:40] 713*2^1239922-1 is not prime. Res64: EEE6FBAC245E300F Time : 0.0 sec. user=mdettweiler [2013-01-25 11:58:03] 699*2^1239923-1 is not prime. Res64: 7007424B385484FD Time : 0.0 sec. user=mdettweiler [2013-01-25 11:58:04] 801*2^1239923-1 is not prime. Res64: 0088A2581F5196BE Time : 0.0 sec. user=mdettweiler [2013-01-25 12:01:46] 895*2^1239923-1 is not prime. Res64: 668F579827FD5264 Time : 0.0 sec. user=mdettweiler [2013-01-25 12:01:47] 663*2^1239924-1 is not prime. Res64: D03DF7F85231F12C Time : 0.0 sec. user=mdettweiler [2013-01-25 12:15:24] 753*2^1239924-1 is not prime. Res64: EA667F5CFBB25DDA Time : 0.0 sec. user=mdettweiler [2013-01-25 12:15:25] 789*2^1239924-1 is not prime. Res64: 08783C3990BE80AB Time : 0.0 sec. user=mdettweiler [2013-01-25 12:19:21] 903*2^1239924-1 is not prime. Res64: BB5AA40A926E45FD Time : 0.0 sec. user=mdettweiler [2013-01-25 12:19:22] 923*2^1239924-1 is not prime. Res64: 2351D7C70930BC5F Time : 0.0 sec. user=mdettweiler [2013-01-25 12:32:54] 717*2^1239925-1 is not prime. Res64: 05F9D04D7088570B Time : 0.0 sec. user=mdettweiler [2013-01-25 12:32:54] 867*2^1239925-1 is not prime. Res64: EA03CA9930925504 Time : 0.0 sec. user=vaughan [2013-01-25 12:34:32] 683*2^1239924-1 is not prime. Res64: 29F3E1861FE071B4 Time : 0.0 sec. user=mdettweiler [2013-01-25 12:36:50] 957*2^1239925-1 is not prime. Res64: BB4732994B013253 Time : 0.0 sec. user=mdettweiler [2013-01-25 12:36:51] 873*2^1239926-1 is not prime. Res64: DD06984D1038BBAB Time : 0.0 sec. user=mdettweiler [2013-01-25 12:50:17] 993*2^1239926-1 is not prime. Res64: A3E7BA07670BE601 Time : 0.0 sec. user=mdettweiler [2013-01-25 12:50:18] 781*2^1239927-1 is not prime. Res64: C72A755C29879BA9 Time : 0.0 sec. user=mdettweiler [2013-01-25 12:54:13] 865*2^1239927-1 is not prime. Res64: B1845DC8F9C74B9A Time : 0.0 sec. user=mdettweiler [2013-01-25 12:54:14] 961*2^1239927-1 is not prime. Res64: CCC0A36AC8C523D3 Time : 0.0 sec. user=mdettweiler [2013-01-25 13:07:41] 623*2^1239928-1 is not prime. Res64: CCA7358B85F020FF Time : 0.0 sec. user=mdettweiler [2013-01-25 13:07:43] 705*2^1239928-1 is not prime. Res64: DF3585C6BB750989 Time : 0.0 sec. user=mdettweiler [2013-01-25 13:11:37] 747*2^1239928-1 is not prime. Res64: FCC9A78F70320367 Time : 0.0 sec. user=mdettweiler [2013-01-25 13:11:38] 869*2^1239928-1 is not prime. Res64: E818E2B4C747E54E Time : 0.0 sec. user=vaughan [2013-01-25 13:12:26] 819*2^1239927-1 is not prime. Res64: 40C9877756A459DA Time : 0.0 sec. user=mdettweiler [2013-01-25 13:25:12] 875*2^1239928-1 is not prime. Res64: DC8D3597D4584555 Time : 0.0 sec. user=mdettweiler [2013-01-25 13:25:12] 927*2^1239928-1 is not prime. Res64: C5B7AE9FEF0F6269 Time : 0.0 sec. user=mdettweiler [2013-01-25 13:29:06] 947*2^1239928-1 is not prime. Res64: 02F277A5FB33D3DD Time : 0.0 sec. user=mdettweiler [2013-01-25 13:29:07] 989*2^1239928-1 is not prime. Res64: CE7C6160AECAFEB9 Time : 0.0 sec. user=mdettweiler [2013-01-25 13:42:36] 787*2^1239929-1 is not prime. Res64: 9B57B1A40062E3AB Time : 0.0 sec. user=mdettweiler [2013-01-25 13:42:36] 789*2^1239929-1 is not prime. Res64: FB35A94C662050AA Time : 0.0 sec. user=mdettweiler [2013-01-25 13:46:30] 795*2^1239929-1 is not prime. Res64: 149C16C4EB6C5448 Time : 0.0 sec. user=mdettweiler [2013-01-25 13:46:31] 627*2^1239930-1 is not prime. Res64: 2723325F8AADBBAC Time : 0.0 sec. user=vaughan [2013-01-25 13:50:20] 993*2^1239928-1 is not prime. Res64: D0B024470D5D3200 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:00:00] 657*2^1239930-1 is not prime. Res64: 69645A25A7A6CCF6 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:00:01] 885*2^1239930-1 is not prime. Res64: 9362C566DC6B5590 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:03:55] 679*2^1239931-1 is not prime. Res64: 0665D654CC42BCDF Time : 0.0 sec. user=mdettweiler [2013-01-25 14:03:57] 685*2^1239931-1 is not prime. Res64: F2AA0FBF6FD32508 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:17:24] 841*2^1239931-1 is not prime. Res64: DCB5E658A6C04BE9 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:17:25] 925*2^1239931-1 is not prime. Res64: 5F0596D84C6CEDF6 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:21:46] 973*2^1239931-1 is not prime. Res64: 3EB4578F6223DD6A Time : 0.0 sec. user=mdettweiler [2013-01-25 14:21:46] 767*2^1239932-1 is not prime. Res64: 8671FF0D973352BF Time : 0.0 sec. user=vaughan [2013-01-25 14:28:12] 793*2^1239931-1 is not prime. Res64: 7DE23CB6E392C6BF Time : 0.0 sec. user=mdettweiler [2013-01-25 14:34:50] 855*2^1239932-1 is not prime. Res64: E082FA53EEC91032 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:34:51] 903*2^1239932-1 is not prime. Res64: A1DB0C7ED87C81C8 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:39:10] 987*2^1239932-1 is not prime. Res64: F564B145C1CAD4CD Time : 0.0 sec. user=mdettweiler [2013-01-25 14:39:10] 625*2^1239933-1 is not prime. Res64: 08087B25A553FB8C Time : 0.0 sec. user=mdettweiler [2013-01-25 14:52:14] 769*2^1239933-1 is not prime. Res64: 0DFB080BA574C21F Time : 0.0 sec. user=mdettweiler [2013-01-25 14:52:16] 795*2^1239933-1 is not prime. Res64: 48DBB650502C484A Time : 0.0 sec. user=mdettweiler [2013-01-25 14:56:33] 885*2^1239933-1 is not prime. Res64: C4DBE975540AFF07 Time : 0.0 sec. user=mdettweiler [2013-01-25 14:56:34] 919*2^1239933-1 is not prime. Res64: B58667689F08B695 Time : 0.0 sec. user=vaughan [2013-01-25 15:06:08] 747*2^1239933-1 is not prime. Res64: 8524F0E13AB076B9 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:09:40] 961*2^1239933-1 is not prime. Res64: F3CB4D0CBCC9B350 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:09:43] 657*2^1239934-1 is not prime. Res64: C3F5CE91BC0D058F Time : 0.0 sec. user=mdettweiler [2013-01-25 15:13:58] 665*2^1239934-1 is not prime. Res64: 456C626468CD0039 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:13:58] 681*2^1239934-1 is not prime. Res64: 2B13659FE88AB5D0 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:27:12] 783*2^1239934-1 is not prime. Res64: 37B1C1E610812BC3 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:27:13] 857*2^1239934-1 is not prime. Res64: 7651EB3B47622671 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:31:22] 885*2^1239934-1 is not prime. Res64: D6599B8BFBC9D4EA Time : 0.0 sec. user=mdettweiler [2013-01-25 15:31:23] 957*2^1239934-1 is not prime. Res64: 3A06D1C2CCE5D2D1 Time : 0.0 sec. user=vaughan [2013-01-25 15:44:20] 765*2^1239934-1 is not prime. Res64: 3273ECAB4FDBBD95 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:44:47] 603*2^1239935-1 is not prime. Res64: D94CC880CC582BCD Time : 0.0 sec. user=mdettweiler [2013-01-25 15:44:48] 705*2^1239935-1 is not prime. Res64: F622416BCC7809E9 Time : 0.0 sec. user=mdettweiler [2013-01-25 15:49:10] 781*2^1239935-1 is not prime. Res64: C837497247B9898E Time : 0.0 sec. user=mdettweiler [2013-01-25 15:49:10] 789*2^1239935-1 is not prime. Res64: 7A6012DDB13EF44A Time : 0.0 sec. user=mdettweiler [2013-01-25 16:02:55] 913*2^1239935-1 is not prime. Res64: CE08B93491EB2E29 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:02:59] 939*2^1239935-1 is not prime. Res64: 1B402CC99F26CF12 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:07:10] 653*2^1239936-1 is not prime. Res64: B8FDD71460B19BBF Time : 0.0 sec. user=mdettweiler [2013-01-25 16:07:11] 707*2^1239936-1 is not prime. Res64: 49A04B4C762904A2 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:21:23] 737*2^1239936-1 is not prime. Res64: FDC44080977FF017 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:21:23] 879*2^1239936-1 is not prime. Res64: D48CE78D908F2250 Time : 0.0 sec. user=vaughan [2013-01-25 16:22:12] 895*2^1239935-1 is not prime. Res64: 3C5BCCA498190E6A Time : 0.0 sec. user=mdettweiler [2013-01-25 16:25:17] 903*2^1239936-1 is not prime. Res64: 4D974E02AA8E295A Time : 0.0 sec. user=mdettweiler [2013-01-25 16:25:18] 947*2^1239936-1 is not prime. Res64: EEC194D64FD85D7F Time : 0.0 sec. user=mdettweiler [2013-01-25 16:39:20] 601*2^1239937-1 is not prime. Res64: 4A044CF33A65A8B2 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:39:20] 625*2^1239937-1 is not prime. Res64: 76377ECCBE97E5A7 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:43:13] 741*2^1239937-1 is not prime. Res64: CA58024BCD07F1D7 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:43:13] 885*2^1239937-1 is not prime. Res64: 94692049AEA8FE4A Time : 0.0 sec. user=mdettweiler [2013-01-25 16:57:14] 931*2^1239937-1 is not prime. Res64: DA0B091CEBE4DD94 Time : 0.0 sec. user=mdettweiler [2013-01-25 16:57:15] 967*2^1239937-1 is not prime. Res64: A169D818997D7641 Time : 0.0 sec. user=vaughan [2013-01-25 17:00:06] 651*2^1239937-1 is not prime. Res64: A372513DFB0B00C4 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:01:10] 641*2^1239938-1 is not prime. Res64: A3A0FE5EC6E2419E Time : 0.0 sec. user=mdettweiler [2013-01-25 17:01:11] 827*2^1239938-1 is not prime. Res64: 7D50D202F3F9CCCA Time : 0.0 sec. user=mdettweiler [2013-01-25 17:15:08] 971*2^1239938-1 is not prime. Res64: 235FC0F5627BC085 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:15:09] 1001*2^1239938-1 is not prime. Res64: 8CF9A99C702A3E59 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:19:22] 615*2^1239939-1 is not prime. Res64: 761B7C59A9069A05 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:19:22] 895*2^1239939-1 is not prime. Res64: 1B0DDA5C6736649D Time : 0.0 sec. user=mdettweiler [2013-01-25 17:33:12] 955*2^1239939-1 is not prime. Res64: 70BAFFE12D09DD44 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:33:12] 961*2^1239939-1 is not prime. Res64: B04CB0C8BE94858C Time : 0.0 sec. user=mdettweiler [2013-01-25 17:37:15] 653*2^1239940-1 is not prime. Res64: D8194F9E6C40A4EF Time : 0.0 sec. user=mdettweiler [2013-01-25 17:37:16] 707*2^1239940-1 is not prime. Res64: 543686CFDB8952BE Time : 0.0 sec. user=vaughan [2013-01-25 17:38:01] 609*2^1239939-1 is not prime. Res64: DE6898FEA1C193E0 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:51:39] 723*2^1239940-1 is not prime. Res64: D3F85D83D75AC7B5 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:51:39] 777*2^1239940-1 is not prime. Res64: E42343EC26D3D2E5 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:55:44] 825*2^1239940-1 is not prime. Res64: 0887C7F4C8990B29 Time : 0.0 sec. user=mdettweiler [2013-01-25 17:55:44] 905*2^1239940-1 is not prime. Res64: 65B1EE6F010FA29B Time : 0.0 sec. user=mdettweiler [2013-01-25 18:09:39] 987*2^1239940-1 is not prime. Res64: 10EA5084550609FA Time : 0.0 sec. user=mdettweiler [2013-01-25 18:09:40] 995*2^1239940-1 is not prime. Res64: 0D0A303853BE7FBE Time : 0.0 sec. user=mdettweiler [2013-01-25 18:13:43] 657*2^1239941-1 is not prime. Res64: 127B6075B368D4C3 Time : 0.0 sec. user=mdettweiler [2013-01-25 18:13:43] 691*2^1239941-1 is not prime. Res64: 63E678D2A5AFA35E Time : 0.0 sec. user=vaughan [2013-01-25 18:15:55] 909*2^1239940-1 is not prime. Res64: 9C1B6224DAA00A34 Time : 0.0 sec. user=mdettweiler [2013-01-25 18:28:02] 747*2^1239941-1 is not prime. Res64: 600EE67241604348 Time : 0.0 sec. user=mdettweiler [2013-01-25 18:28:03] 777*2^1239941-1 is not prime. Res64: 0F472BDD77982C3A Time : 0.0 sec. user=mdettweiler [2013-01-25 18:32:03] 901*2^1239941-1 is not prime. Res64: 3F25546D47B79F40 Time : 0.0 sec. user=mdettweiler [2013-01-25 18:32:03] 925*2^1239941-1 is not prime. Res64: F0C226A435954336 Time : 0.0 sec. user=mdettweiler [2013-01-25 18:45:38] 651*2^1239942-1 is not prime. Res64: 8306B2B9706EBE34 Time : 0.0 sec. user=mdettweiler [2013-01-25 18:45:38] 717*2^1239942-1 is not prime. Res64: 35D61452BACD069B Time : 0.0 sec. user=vaughan [2013-01-25 18:53:49] 997*2^1239941-1 is not prime. Res64: 5AA6CC6ED6DC6D84 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:03:05] 863*2^1239942-1 is not prime. Res64: 063443DA824ABA0C Time : 0.0 sec. user=mdettweiler [2013-01-25 19:03:07] 887*2^1239942-1 is not prime. Res64: E5A7BD19612EBB8B Time : 0.0 sec. user=mdettweiler [2013-01-25 19:11:58] 797*2^1239942-1 is not prime. Res64: 577941FFB05D34AE Time : 0.0 sec. user=mdettweiler [2013-01-25 19:11:59] 801*2^1239942-1 is not prime. Res64: 35A216094E1C43D3 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:20:49] 663*2^1239943-1 is not prime. Res64: 55BB17858E2CFFD3 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:20:50] 685*2^1239943-1 is not prime. Res64: 760EAC347A431442 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:29:34] 723*2^1239943-1 is not prime. Res64: C0CA8640F02334C8 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:29:34] 745*2^1239943-1 is not prime. Res64: BA51A8590DA9F6D0 Time : 0.0 sec. user=vaughan [2013-01-25 19:31:41] 951*2^1239942-1 is not prime. Res64: 8E04A3269941C8D9 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:38:20] 819*2^1239943-1 is not prime. Res64: 8C4CD2243724D1A5 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:38:21] 855*2^1239943-1 is not prime. Res64: CD6EFAB31DA2B7CD Time : 0.0 sec. user=mdettweiler [2013-01-25 19:47:03] 895*2^1239943-1 is not prime. Res64: F3B3A8FC53A2FA32 Time : 0.0 sec. user=mdettweiler [2013-01-25 19:47:04] 939*2^1239943-1 is not prime. Res64: 58CD3044D8C16E1C Time : 0.0 sec. user=mdettweiler [2013-01-25 19:55:51] 677*2^1239944-1 is not prime. Res64: E843C0DE582F298A Time : 0.0 sec. user=mdettweiler [2013-01-25 19:55:51] 743*2^1239944-1 is not prime. Res64: 64892E159D7566FF Time : 0.0 sec. user=mdettweiler [2013-01-25 20:04:39] 837*2^1239944-1 is not prime. Res64: D4E38DACE534654C Time : 0.0 sec. user=mdettweiler [2013-01-25 20:04:41] 855*2^1239944-1 is not prime. Res64: 44AB64C973845767 Time : 0.0 sec. user=vaughan [2013-01-25 20:09:36] 659*2^1239944-1 is not prime. Res64: BA8986CCFEE1B7CC Time : 0.0 sec. user=mdettweiler [2013-01-25 20:13:31] 897*2^1239944-1 is not prime. Res64: 2EE82CAE39AE09F9 Time : 0.0 sec. user=mdettweiler [2013-01-25 20:13:32] 727*2^1239945-1 is not prime. Res64: FD22D5E6DC79F61F Time : 0.0 sec. user=mdettweiler [2013-01-25 20:22:37] 765*2^1239945-1 is not prime. Res64: 4A2D392315ACBFEF Time : 0.0 sec. user=mdettweiler [2013-01-25 20:22:38] 871*2^1239945-1 is not prime. Res64: 0AED6D687955434B Time : 0.0 sec. user=mdettweiler [2013-01-25 20:31:10] 949*2^1239945-1 is not prime. Res64: 8D069BC95FAC2C7F Time : 0.0 sec. user=mdettweiler [2013-01-25 20:31:11] 979*2^1239945-1 is not prime. Res64: 6224B4D6DB48B253 Time : 0.0 sec. user=mdettweiler [2013-01-25 20:40:22] 603*2^1239946-1 is not prime. Res64: 7842531705B58E9A Time : 0.0 sec. user=mdettweiler [2013-01-25 20:40:23] 635*2^1239946-1 is not prime. Res64: ACB378DD9C837C8F Time : 0.0 sec. user=vaughan [2013-01-25 20:47:37] 885*2^1239945-1 is not prime. Res64: 22689B1AF6F41E37 Time : 0.0 sec. user=mdettweiler [2013-01-25 20:49:58] 701*2^1239946-1 is not prime. Res64: 422F25CEC7D32480 Time : 0.0 sec. user=mdettweiler [2013-01-25 20:49:59] 723*2^1239946-1 is not prime. Res64: 0B11D17398CB1ED1 Time : 0.0 sec. user=mdettweiler [2013-01-25 20:59:02] 735*2^1239946-1 is not prime. Res64: F3F03CBDCE2BE43C Time : 0.0 sec. user=mdettweiler [2013-01-25 20:59:02] 741*2^1239946-1 is not prime. Res64: C13F176E5524BAB8 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:08:05] 747*2^1239946-1 is not prime. Res64: 8DFC2B164891364A Time : 0.0 sec. user=mdettweiler [2013-01-25 21:08:06] 867*2^1239946-1 is not prime. Res64: 1233CD9F81ED293A Time : 0.0 sec. user=mdettweiler [2013-01-25 21:17:01] 903*2^1239946-1 is not prime. Res64: D7A87E68DE586E79 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:17:01] 923*2^1239946-1 is not prime. Res64: 3E8EFBF3AD8D9A93 Time : 0.0 sec. user=vaughan [2013-01-25 21:25:31] 743*2^1239946-1 is not prime. Res64: C84EE57973D1A3A6 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:26:08] 941*2^1239946-1 is not prime. Res64: 49169E46F5759B24 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:26:08] 971*2^1239946-1 is not prime. Res64: F6C3D4D76731CFFE Time : 0.0 sec. user=mdettweiler [2013-01-25 21:35:04] 975*2^1239946-1 is not prime. Res64: 1B477BDB42BDC5E8 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:35:04] 733*2^1239947-1 is not prime. Res64: ACDC304C4E3E4D03 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:44:06] 981*2^1239947-1 is not prime. Res64: 71645128F8972BDC Time : 0.0 sec. user=mdettweiler [2013-01-25 21:44:07] 993*2^1239947-1 is not prime. Res64: 83C9BA529C610175 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:53:00] 999*2^1239947-1 is not prime. Res64: 91CD73ABCF1E9C15 Time : 0.0 sec. user=mdettweiler [2013-01-25 21:53:01] 707*2^1239948-1 is not prime. Res64: 5107B571509ECC34 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:01:58] 749*2^1239948-1 is not prime. Res64: AEF55E8A481F44A4 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:02:00] 803*2^1239948-1 is not prime. Res64: 6E41C00AC8D31865 Time : 0.0 sec. user=vaughan [2013-01-25 22:03:25] 775*2^1239947-1 is not prime. Res64: 0ED0D0902D2D942D Time : 0.0 sec. user=mdettweiler [2013-01-25 22:10:52] 887*2^1239948-1 is not prime. Res64: 59BDA88559D0D64C Time : 0.0 sec. user=mdettweiler [2013-01-25 22:10:53] 957*2^1239948-1 is not prime. Res64: 427563728E41385D Time : 0.0 sec. user=mdettweiler [2013-01-25 22:19:49] 699*2^1239949-1 is not prime. Res64: E538FA4AFEA9CE57 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:19:49] 771*2^1239949-1 is not prime. Res64: 2E4D65367E72C758 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:28:19] 957*2^1239949-1 is not prime. Res64: D289FFD05762D583 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:28:20] 635*2^1239950-1 is not prime. Res64: 9569054A723DA76C Time : 0.0 sec. user=mdettweiler [2013-01-25 22:37:13] 753*2^1239950-1 is not prime. Res64: 626525E6FA093E6C Time : 0.0 sec. user=mdettweiler [2013-01-25 22:37:13] 885*2^1239950-1 is not prime. Res64: 08B6F145E762B27E Time : 0.0 sec. user=vaughan [2013-01-25 22:41:20] 939*2^1239949-1 is not prime. Res64: FB96FD6B0033AAAE Time : 0.0 sec. user=mdettweiler [2013-01-25 22:45:44] 941*2^1239950-1 is not prime. Res64: 900B45BD5042EA44 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:45:44] 957*2^1239950-1 is not prime. Res64: 3A4CB672F1CDA2C5 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:54:34] 795*2^1239951-1 is not prime. Res64: DA08D83841C88961 Time : 0.0 sec. user=mdettweiler [2013-01-25 22:54:35] 921*2^1239951-1 is not prime. Res64: BEB4B7D427F24A46 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:03:06] 609*2^1239952-1 is not prime. Res64: B93FE2F5BAA5EA6B Time : 0.0 sec. user=mdettweiler [2013-01-25 23:03:07] 723*2^1239952-1 is not prime. Res64: 60831E84BF1443F7 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:11:56] 843*2^1239952-1 is not prime. Res64: 90B9877C833071C2 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:11:57] 849*2^1239952-1 is not prime. Res64: E9D1970F52FD6889 Time : 0.0 sec. user=vaughan [2013-01-25 23:19:12] 605*2^1239952-1 is not prime. Res64: 90FA2B4CEAB69DD1 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:20:39] 909*2^1239952-1 is not prime. Res64: 9EFA58884D0627E7 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:20:39] 917*2^1239952-1 is not prime. Res64: 8D63C377538942CC Time : 0.0 sec. user=mdettweiler [2013-01-25 23:29:25] 959*2^1239952-1 is not prime. Res64: 0CDFCBF069C498C7 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:29:25] 805*2^1239953-1 is not prime. Res64: 9778C186C72C3290 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:38:02] 987*2^1239953-1 is not prime. Res64: 704458420C746A0C Time : 0.0 sec. user=mdettweiler [2013-01-25 23:38:02] 681*2^1239954-1 is not prime. Res64: C048A7D086CE7438 Time : 0.0 sec. user=mdettweiler [2013-01-25 23:46:52] 705*2^1239954-1 is not prime. Res64: B627AF0C9047773E Time : 0.0 sec. user=mdettweiler [2013-01-25 23:46:52] 807*2^1239954-1 is not prime. Res64: 7F8EA4CD2A46CFFD Time : 0.0 sec. user=mdettweiler [2013-01-25 23:55:23] 837*2^1239954-1 is not prime. Res64: 67F7A871B0B0DDEB Time : 0.0 sec. user=mdettweiler [2013-01-25 23:55:24] 851*2^1239954-1 is not prime. Res64: 5C4C577735CD8E07 Time : 0.0 sec. user=vaughan [2013-01-25 23:57:09] 945*2^1239953-1 is not prime. Res64: 5DF9120F4C011FFB Time : 0.0 sec.