user=mdettweiler [2012-10-08 00:02:17] 843*2^1230239-1 is not prime. Res64: 69F2AD9072F93AC7 Time : 0.0 sec. user=mdettweiler [2012-10-08 00:02:22] 859*2^1230239-1 is not prime. Res64: A42DA58CFB1B2C89 Time : 0.0 sec. user=mdettweiler [2012-10-08 00:10:54] 913*2^1230239-1 is not prime. Res64: F60262BC55579F9A Time : 0.0 sec. user=mdettweiler [2012-10-08 00:10:56] 955*2^1230239-1 is not prime. Res64: BBE09F95B202FE5D Time : 0.0 sec. user=vaughan [2012-10-08 00:21:08] 889*2^1230239-1 is not prime. Res64: 9AC13ECD0D5B062B Time : 0.0 sec. user=mdettweiler [2012-10-08 00:22:57] 627*2^1230240-1 is not prime. Res64: 04BB29B8771C5E9C Time : 0.0 sec. user=mdettweiler [2012-10-08 00:22:58] 905*2^1230240-1 is not prime. Res64: 5D86FC1ADB6467D7 Time : 0.0 sec. user=mdettweiler [2012-10-08 00:31:35] 929*2^1230240-1 is not prime. Res64: 00E551071C8996CE Time : 0.0 sec. user=mdettweiler [2012-10-08 00:31:35] 945*2^1230240-1 is not prime. Res64: 8932CD7238DEFE44 Time : 0.0 sec. user=mdettweiler [2012-10-08 00:43:32] 625*2^1230241-1 is not prime. Res64: 9B2F28C3C32E8531 Time : 0.0 sec. user=mdettweiler [2012-10-08 00:43:32] 807*2^1230241-1 is not prime. Res64: 0E470BB4486CA963 Time : 0.0 sec. user=mdettweiler [2012-10-08 00:52:09] 877*2^1230241-1 is not prime. Res64: 5FE518D833426532 Time : 0.0 sec. user=mdettweiler [2012-10-08 00:52:10] 617*2^1230242-1 is not prime. Res64: E3FD9674B300D1FD Time : 0.0 sec. user=vaughan [2012-10-08 00:59:03] 983*2^1230240-1 is not prime. Res64: 65AA4441BAF463FD Time : 0.0 sec. user=mdettweiler [2012-10-08 01:04:06] 671*2^1230242-1 is not prime. Res64: F2338535EFCD2136 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:04:07] 731*2^1230242-1 is not prime. Res64: 79DFFAE78E03EDD8 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:12:43] 735*2^1230242-1 is not prime. Res64: BD98E61E374F5320 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:12:44] 785*2^1230242-1 is not prime. Res64: 676EE89D9132EF85 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:24:49] 935*2^1230242-1 is not prime. Res64: 1AB2FCE5F1352EF4 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:24:50] 945*2^1230242-1 is not prime. Res64: CEF3E748238FD299 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:33:24] 951*2^1230242-1 is not prime. Res64: 0F0CDEAE175373C3 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:33:24] 981*2^1230242-1 is not prime. Res64: CADA24EFFE170A8B Time : 0.0 sec. user=vaughan [2012-10-08 01:36:49] 825*2^1230242-1 is not prime. Res64: E152244DADBFA83D Time : 0.0 sec. user=mdettweiler [2012-10-08 01:45:33] 1001*2^1230242-1 is not prime. Res64: 7128B2BAD1626C23 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:45:33] 615*2^1230243-1 is not prime. Res64: 0F6B90D90114C635 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:53:58] 669*2^1230243-1 is not prime. Res64: 36F6D02FBF4A2BC9 Time : 0.0 sec. user=mdettweiler [2012-10-08 01:53:59] 685*2^1230243-1 is not prime. Res64: 3772B729618F4944 Time : 0.0 sec. user=mdettweiler [2012-10-08 02:06:07] 775*2^1230243-1 is not prime. Res64: 739B046B8852D920 Time : 0.0 sec. user=mdettweiler [2012-10-08 02:06:08] 795*2^1230243-1 is not prime. Res64: 8641E91AACD3B2A5 Time : 0.0 sec. user=mdettweiler [2012-10-08 02:14:32] 805*2^1230243-1 is not prime. Res64: ECF7DB2DD5E408DC Time : 0.0 sec. user=mdettweiler [2012-10-08 02:14:36] 891*2^1230243-1 is not prime. Res64: 29D4A8CE4EFCDCB0 Time : 0.0 sec. user=vaughan [2012-10-08 02:14:38] 745*2^1230243-1 is not prime. Res64: 989746499920E8A8 Time : 0.0 sec. user=mdettweiler [2012-10-08 02:26:44] 961*2^1230243-1 is not prime. Res64: E8D38858EA5D3648 Time : 0.0 sec. user=mdettweiler [2012-10-08 02:26:45] 605*2^1230244-1 is not prime. Res64: 63F4157682E04F8A Time : 0.0 sec. user=mdettweiler [2012-10-08 02:36:03] 803*2^1230244-1 is not prime. Res64: A89FD675EC9ADFCE Time : 0.0 sec. user=mdettweiler [2012-10-08 02:36:05] 875*2^1230244-1 is not prime. Res64: C424831D356721BF Time : 0.0 sec. user=mdettweiler [2012-10-08 02:47:21] 983*2^1230244-1 is not prime. Res64: FCF990E16F018B42 Time : 0.0 sec. user=mdettweiler [2012-10-08 02:47:22] 721*2^1230245-1 is not prime. Res64: E50249F859770C07 Time : 0.0 sec. user=vaughan [2012-10-08 02:53:08] 609*2^1230244-1 is not prime. Res64: 6D74D42CB2048362 Time : 0.0 sec. user=mdettweiler [2012-10-08 02:56:51] 727*2^1230245-1 is not prime. Res64: E71FC0F80B4A237B Time : 0.0 sec. user=mdettweiler [2012-10-08 02:56:51] 757*2^1230245-1 is not prime. Res64: 67F243F87103E705 Time : 0.0 sec. user=mdettweiler [2012-10-08 03:08:10] 789*2^1230245-1 is not prime. Res64: 2E0F0EFEC06C5767 Time : 0.0 sec. user=mdettweiler [2012-10-08 03:08:13] 871*2^1230245-1 is not prime. Res64: BF9771F53851507F Time : 0.0 sec. user=mdettweiler [2012-10-08 03:17:25] 969*2^1230245-1 is not prime. Res64: A200E24583D6A81A Time : 0.0 sec. user=mdettweiler [2012-10-08 03:17:26] 981*2^1230245-1 is not prime. Res64: 0681EE3F03478FDA Time : 0.0 sec. user=mdettweiler [2012-10-08 03:29:09] 641*2^1230246-1 is not prime. Res64: B8FD4C9E0BCC4B11 Time : 0.0 sec. user=mdettweiler [2012-10-08 03:29:09] 755*2^1230246-1 is not prime. Res64: D6C8E91081B6C499 Time : 0.0 sec. user=vaughan [2012-10-08 03:30:52] 937*2^1230245-1 is not prime. Res64: D874105291008BCE Time : 0.0 sec. user=mdettweiler [2012-10-08 03:38:03] 795*2^1230246-1 is not prime. Res64: E37B11B36B35DC23 Time : 0.0 sec. user=mdettweiler [2012-10-08 03:38:04] 821*2^1230246-1 is not prime. Res64: ECDCCAD357BAA9EE Time : 0.0 sec. user=mdettweiler [2012-10-08 03:49:44] 861*2^1230246-1 is not prime. Res64: 09A4748B8AE4E3D3 Time : 0.0 sec. user=mdettweiler [2012-10-08 03:49:44] 603*2^1230247-1 is not prime. Res64: 9E39A00C7A12008D Time : 0.0 sec. user=mdettweiler [2012-10-08 03:58:46] 663*2^1230247-1 is not prime. Res64: 62378EDBCA63B3BB Time : 0.0 sec. user=mdettweiler [2012-10-08 03:58:47] 831*2^1230247-1 is not prime. Res64: 37992418028F5133 Time : 0.0 sec. user=vaughan [2012-10-08 04:08:41] 645*2^1230247-1 is not prime. Res64: BDB70B9EEA81F1BC Time : 0.0 sec. user=mdettweiler [2012-10-08 04:10:19] 849*2^1230247-1 is not prime. Res64: 8BF0616D3A4F65B0 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:10:20] 925*2^1230247-1 is not prime. Res64: B83D9A65C1D1B1B2 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:19:20] 933*2^1230247-1 is not prime. Res64: F2169D79AF0EBEA7 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:19:21] 951*2^1230247-1 is not prime. Res64: 1B4FA01C2D9C4A27 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:30:57] 993*2^1230247-1 is not prime. Res64: D45594F8D1DE2816 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:30:58] 603*2^1230248-1 is not prime. Res64: 384F9735EF2BBE66 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:40:01] 699*2^1230248-1 is not prime. Res64: 65576D3BA6DC06EF Time : 0.0 sec. user=mdettweiler [2012-10-08 04:40:02] 725*2^1230248-1 is not prime. Res64: F19D5CCCD8BBBF07 Time : 0.0 sec. user=vaughan [2012-10-08 04:46:29] 961*2^1230247-1 is not prime. Res64: 8C86361D176BBE16 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:51:39] 795*2^1230248-1 is not prime. Res64: 0FAB0CDAD3FA12B6 Time : 0.0 sec. user=mdettweiler [2012-10-08 04:51:40] 845*2^1230248-1 is not prime. Res64: D171C6039DE0D662 Time : 0.0 sec. user=mdettweiler [2012-10-08 05:00:45] 867*2^1230248-1 is not prime. Res64: 8A53466ADC0E45F7 Time : 0.0 sec. user=mdettweiler [2012-10-08 05:00:46] 929*2^1230248-1 is not prime. Res64: 3FC646E3483799CC Time : 0.0 sec. user=mdettweiler [2012-10-08 05:12:13] 735*2^1230249-1 is not prime. Res64: 33DE8F07318ED2D1 Time : 0.0 sec. user=mdettweiler [2012-10-08 05:12:15] 741*2^1230249-1 is not prime. Res64: C39CC404D621541C Time : 0.0 sec. user=mdettweiler [2012-10-08 05:21:33] 745*2^1230249-1 is not prime. Res64: 279143F6F925759D Time : 0.0 sec. user=mdettweiler [2012-10-08 05:21:33] 769*2^1230249-1 is not prime. Res64: 9999D83921B8235A Time : 0.0 sec. user=vaughan [2012-10-08 05:24:24] 657*2^1230249-1 is not prime. Res64: 7906C5E6B91EB2D5 Time : 0.0 sec. user=mdettweiler [2012-10-08 05:32:56] 817*2^1230249-1 is not prime. Res64: 4F5D7AD39C1B6D41 Time : 0.0 sec. user=mdettweiler [2012-10-08 05:32:57] 889*2^1230249-1 is not prime. Res64: 22CFA2F9F5798D5C Time : 0.0 sec. user=mdettweiler [2012-10-08 05:42:10] 969*2^1230249-1 is not prime. Res64: 70A7660DD79D50F4 Time : 0.0 sec. user=mdettweiler [2012-10-08 05:42:11] 831*2^1230250-1 is not prime. Res64: 6DA6D502D4405CAE Time : 0.0 sec. user=mdettweiler [2012-10-08 05:53:32] 619*2^1230251-1 is not prime. Res64: E3C34A734EE85D99 Time : 0.0 sec. user=mdettweiler [2012-10-08 05:53:32] 705*2^1230251-1 is not prime. Res64: CF0729E3B34ACB2B Time : 0.0 sec. user=vaughan [2012-10-08 06:02:09] 905*2^1230250-1 is not prime. Res64: C3310971D8A86A51 Time : 0.0 sec. user=mdettweiler [2012-10-08 06:02:45] 789*2^1230251-1 is not prime. Res64: 25F8EDC56FA2A99F Time : 0.0 sec. user=mdettweiler [2012-10-08 06:02:46] 859*2^1230251-1 is not prime. Res64: D201143BA9156DBD Time : 0.0 sec. user=mdettweiler [2012-10-08 06:14:07] 895*2^1230251-1 is not prime. Res64: 970D1C5058F19AB1 Time : 0.0 sec. user=mdettweiler [2012-10-08 06:14:09] 973*2^1230251-1 is not prime. Res64: DDB99943553B1849 Time : 0.0 sec. user=mdettweiler [2012-10-08 06:23:20] 737*2^1230252-1 is not prime. Res64: 0A14FC675460620E Time : 0.0 sec. user=mdettweiler [2012-10-08 06:23:22] 879*2^1230252-1 is not prime. Res64: 86BF4389B298BF17 Time : 0.0 sec. user=mdettweiler [2012-10-08 06:34:56] 887*2^1230252-1 is not prime. Res64: AC3EC0B17E104BAD Time : 0.0 sec. user=mdettweiler [2012-10-08 06:34:56] 893*2^1230252-1 is not prime. Res64: F65C8EED7429BC82 Time : 0.0 sec. user=vaughan [2012-10-08 06:40:05] 979*2^1230251-1 is not prime. Res64: 2D2E0E9F9A7A48DC Time : 0.0 sec. user=mdettweiler [2012-10-08 06:44:00] 959*2^1230252-1 is not prime. Res64: F2AF15DF52BBAA7C Time : 0.0 sec. user=mdettweiler [2012-10-08 06:44:01] 607*2^1230253-1 is not prime. Res64: 5ADD37A9DC516601 Time : 0.0 sec. user=mdettweiler [2012-10-08 06:55:30] 615*2^1230253-1 is not prime. Res64: FDB007E8FF74EDCA Time : 0.0 sec. user=mdettweiler [2012-10-08 06:55:30] 721*2^1230253-1 is not prime. Res64: 2B6B81EBFB524DB3 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:04:33] 925*2^1230253-1 is not prime. Res64: 7FD1D20F6C3DBD45 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:04:34] 955*2^1230253-1 is not prime. Res64: 5DEC1FBBE73D24FF Time : 0.0 sec. user=mdettweiler [2012-10-08 07:16:04] 981*2^1230253-1 is not prime. Res64: 7EEED82C71ACDFD4 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:16:06] 605*2^1230254-1 is not prime. Res64: 96D585DD37DFDFAF Time : 0.0 sec. user=vaughan [2012-10-08 07:17:48] 769*2^1230253-1 is not prime. Res64: 1013B5439618DD8A Time : 0.0 sec. user=mdettweiler [2012-10-08 07:25:14] 755*2^1230254-1 is not prime. Res64: F09730475C279B75 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:25:14] 857*2^1230254-1 is not prime. Res64: 742140F0B4F146D3 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:36:58] 887*2^1230254-1 is not prime. Res64: D2A69BF2AE7F9973 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:36:59] 679*2^1230255-1 is not prime. Res64: AE28C59F9BB95E16 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:45:47] 793*2^1230255-1 is not prime. Res64: 81ACF4435F49F7FC Time : 0.0 sec. user=mdettweiler [2012-10-08 07:45:48] 891*2^1230255-1 is not prime. Res64: E344672E81DDA199 Time : 0.0 sec. user=vaughan [2012-10-08 07:55:35] 723*2^1230255-1 is not prime. Res64: 6BB180C5188FE896 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:57:36] 707*2^1230256-1 is not prime. Res64: F15E141B91785BD3 Time : 0.0 sec. user=mdettweiler [2012-10-08 07:57:37] 765*2^1230256-1 is not prime. Res64: 603415CF6D7BF5D9 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:06:21] 803*2^1230256-1 is not prime. Res64: 5C8682BC5FA74C04 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:06:23] 873*2^1230256-1 is not prime. Res64: 47AC8C1443F7CFF8 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:18:11] 619*2^1230257-1 is not prime. Res64: 1F3D3292AD1B14E8 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:18:12] 627*2^1230257-1 is not prime. Res64: D625A0A84F82287D Time : 0.0 sec. user=mdettweiler [2012-10-08 08:26:58] 669*2^1230257-1 is not prime. Res64: E926F018C8C0ABFD Time : 0.0 sec. user=mdettweiler [2012-10-08 08:26:58] 729*2^1230257-1 is not prime. Res64: 108732E46F0CB5B8 Time : 0.0 sec. user=vaughan [2012-10-08 08:33:19] 875*2^1230256-1 is not prime. Res64: F7BD198F8D4ADC16 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:38:51] 735*2^1230257-1 is not prime. Res64: B120DFA7A1659201 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:38:52] 777*2^1230257-1 is not prime. Res64: FC1C9472556242FC Time : 0.0 sec. user=mdettweiler [2012-10-08 08:47:30] 819*2^1230257-1 is not prime. Res64: 620F7D3910F3C247 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:47:31] 847*2^1230257-1 is not prime. Res64: 41F8564D0820445C Time : 0.0 sec. user=mdettweiler [2012-10-08 08:59:25] 915*2^1230257-1 is not prime. Res64: 06F1AB1D3A86C510 Time : 0.0 sec. user=mdettweiler [2012-10-08 08:59:25] 957*2^1230257-1 is not prime. Res64: 74D2566A1CE466F9 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:08:04] 627*2^1230258-1 is not prime. Res64: EC203561613A4353 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:08:05] 671*2^1230258-1 is not prime. Res64: 092EBB177C41A6D9 Time : 0.0 sec. user=vaughan [2012-10-08 09:10:59] 865*2^1230257-1 is not prime. Res64: FEBF1704BD478A71 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:19:58] 747*2^1230258-1 is not prime. Res64: C05C688B441D9CB6 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:19:59] 773*2^1230258-1 is not prime. Res64: 68E177DDE56B6594 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:28:44] 791*2^1230258-1 is not prime. Res64: 4B0C737792E88F82 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:28:45] 833*2^1230258-1 is not prime. Res64: 8F555A6E6A59E3CF Time : 0.0 sec. user=mdettweiler [2012-10-08 09:40:35] 951*2^1230258-1 is not prime. Res64: 57014A3B50DB5955 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:40:36] 679*2^1230259-1 is not prime. Res64: ED194546F1F654F4 Time : 0.0 sec. user=vaughan [2012-10-08 09:48:36] 945*2^1230258-1 is not prime. Res64: 88C4B768F6EB3AE4 Time : 0.0 sec. user=mdettweiler [2012-10-08 09:49:18] 693*2^1230259-1 is not prime. Res64: 6CD4408FBF41E0DA Time : 0.0 sec. user=mdettweiler [2012-10-08 09:49:19] 703*2^1230259-1 is not prime. Res64: 1BF1EAA2C8FE3582 Time : 0.0 sec. user=mdettweiler [2012-10-08 10:01:10] 723*2^1230259-1 is not prime. Res64: 027914E90AD9B00E Time : 0.0 sec. user=mdettweiler [2012-10-08 10:01:12] 751*2^1230259-1 is not prime. Res64: 442220A24B0A9867 Time : 0.0 sec. user=mdettweiler [2012-10-08 10:09:52] 689*2^1230260-1 is not prime. Res64: 4167C6092495E8E0 Time : 0.0 sec. user=mdettweiler [2012-10-08 10:09:53] 707*2^1230260-1 is not prime. Res64: 870561E0A535F81D Time : 0.0 sec. user=mdettweiler [2012-10-08 10:22:00] 935*2^1230260-1 is not prime. Res64: 2D80C8837E65A232 Time : 0.0 sec. user=mdettweiler [2012-10-08 10:22:01] 709*2^1230261-1 is not prime. Res64: 4D9F91FE3FB55621 Time : 0.0 sec. user=vaughan [2012-10-08 10:26:10] 891*2^1230259-1 is not prime. Res64: 3EE759894524E391 Time : 0.0 sec. user=mdettweiler [2012-10-08 10:30:29] 741*2^1230261-1 is not prime. Res64: F5F1D4585678407A Time : 0.0 sec. user=mdettweiler [2012-10-08 10:30:29] 745*2^1230261-1 is not prime. Res64: 8FE8074AB5DFA741 Time : 0.0 sec. user=mdettweiler [2012-10-08 10:42:37] 949*2^1230261-1 is not prime. Res64: 8656C0BDF000AE7A Time : 0.0 sec. user=mdettweiler [2012-10-08 10:42:37] 961*2^1230261-1 is not prime. Res64: 4982CB0872BB099F Time : 0.0 sec. user=mdettweiler [2012-10-08 10:51:02] 623*2^1230262-1 is not prime. Res64: 703E4A328C77BEB8 Time : 0.0 sec. user=mdettweiler [2012-10-08 10:51:02] 665*2^1230262-1 is not prime. Res64: 0CFD305418B102EB Time : 0.0 sec. user=mdettweiler [2012-10-08 11:03:10] 677*2^1230262-1 is not prime. Res64: B0D50A079513F629 Time : 0.0 sec. user=mdettweiler [2012-10-08 11:03:11] 705*2^1230262-1 is not prime. Res64: C4DA36F107623DC8 Time : 0.0 sec. user=vaughan [2012-10-08 11:03:45] 999*2^1230261-1 is not prime. Res64: D6AD51054E46B9AC Time : 0.0 sec. user=mdettweiler [2012-10-08 11:11:36] 785*2^1230262-1 is not prime. Res64: A81253A973E534C0 Time : 0.0 sec. user=mdettweiler [2012-10-08 11:11:38] 791*2^1230262-1 is not prime. Res64: 3336CBB0B0EA5ED4 Time : 0.0 sec. user=mdettweiler [2012-10-08 11:23:55] 983*2^1230262-1 is not prime. Res64: 4DD5CA28353DEB2B Time : 0.0 sec. user=mdettweiler [2012-10-08 11:23:55] 995*2^1230262-1 is not prime. Res64: 99507133743C5737 Time : 0.0 sec. user=mdettweiler [2012-10-08 11:32:26] 811*2^1230263-1 is not prime. Res64: AAB24A597715BC36 Time : 0.0 sec. user=mdettweiler [2012-10-08 11:32:26] 829*2^1230263-1 is not prime. Res64: FDF976735CF268B6 Time : 0.0 sec. user=vaughan [2012-10-08 11:41:25] 763*2^1230263-1 is not prime. Res64: BE0B7C25FA1A967B Time : 0.0 sec. user=mdettweiler [2012-10-08 11:44:43] 915*2^1230263-1 is not prime. Res64: 9B848F2F25F8B1D5 Time : 0.0 sec. user=mdettweiler [2012-10-08 11:44:44] 943*2^1230263-1 is not prime. Res64: 7F13660E01881D87 Time : 0.0 sec. user=mdettweiler [2012-10-08 11:53:17] 963*2^1230263-1 is not prime. Res64: 12EDE5DCEC49B75A Time : 0.0 sec. user=mdettweiler [2012-10-08 11:53:18] 969*2^1230263-1 is not prime. Res64: FB0890F0B095DED9 Time : 0.0 sec. user=mdettweiler [2012-10-08 12:06:22] 887*2^1230264-1 is not prime. Res64: 04DF854AFD9FB6AA Time : 0.0 sec. user=mdettweiler [2012-10-08 12:06:24] 651*2^1230265-1 is not prime. Res64: 83D1B271F0BA0F53 Time : 0.0 sec. user=mdettweiler [2012-10-08 12:15:03] 661*2^1230265-1 is not prime. Res64: 8DD80D96449B3CD1 Time : 0.0 sec. user=mdettweiler [2012-10-08 12:15:06] 729*2^1230265-1 is not prime. Res64: BF4632B03D9E3864 Time : 0.0 sec. user=vaughan [2012-10-08 12:19:01] 717*2^1230264-1 is not prime. Res64: 92CEDD811BD4DD4A Time : 0.0 sec. user=mdettweiler [2012-10-08 12:27:52] 775*2^1230265-1 is not prime. Res64: 9D4B15B91E8D9578 Time : 0.0 sec. user=mdettweiler [2012-10-08 12:27:52] 801*2^1230265-1 is not prime. Res64: F114538963F5391B Time : 0.0 sec. user=mdettweiler [2012-10-08 12:36:30] 855*2^1230265-1 is not prime. Res64: 304EBAFAA417178C Time : 0.0 sec. user=mdettweiler [2012-10-08 12:36:30] 985*2^1230265-1 is not prime. Res64: 0F65E9D438E90836 Time : 0.0 sec. user=mdettweiler [2012-10-08 12:48:50] 623*2^1230266-1 is not prime. Res64: 458117013E743314 Time : 0.0 sec. user=mdettweiler [2012-10-08 12:48:50] 671*2^1230266-1 is not prime. Res64: E7ABB52EB39AAA32 Time : 0.0 sec. user=vaughan [2012-10-08 12:56:41] 615*2^1230266-1 is not prime. Res64: 6AC2D5824BA6E66B Time : 0.0 sec. user=mdettweiler [2012-10-08 12:57:27] 773*2^1230266-1 is not prime. Res64: EFB5AFC9F5B0023B Time : 0.0 sec. user=mdettweiler [2012-10-08 12:57:27] 801*2^1230266-1 is not prime. Res64: 4B12B6BD4CA49DB4 Time : 0.0 sec. user=mdettweiler [2012-10-08 13:09:55] 825*2^1230266-1 is not prime. Res64: 2E209D1D973C09CB Time : 0.0 sec. user=mdettweiler [2012-10-08 13:09:57] 831*2^1230266-1 is not prime. Res64: 695D849FF366155B Time : 0.0 sec. user=mdettweiler [2012-10-08 13:18:32] 935*2^1230266-1 is not prime. Res64: ED3190FE8A670478 Time : 0.0 sec. user=mdettweiler [2012-10-08 13:18:32] 739*2^1230267-1 is not prime. Res64: 35F51C77C1C50029 Time : 0.0 sec. user=mdettweiler [2012-10-08 13:31:09] 769*2^1230267-1 is not prime. Res64: BEFCC380DF65FFB6 Time : 0.0 sec. user=mdettweiler [2012-10-08 13:31:10] 819*2^1230267-1 is not prime. Res64: CFA7C0CE04BEDEC6 Time : 0.0 sec. user=vaughan [2012-10-08 13:34:27] 923*2^1230266-1 is not prime. Res64: 03E7032F81310287 Time : 0.0 sec. user=mdettweiler [2012-10-08 13:39:40] 873*2^1230267-1 is not prime. Res64: 624E07AA7155B591 Time : 0.0 sec. user=mdettweiler [2012-10-08 13:39:41] 891*2^1230267-1 is not prime. Res64: 49A44665435F4881 Time : 0.0 sec. user=mdettweiler [2012-10-08 13:52:15] 635*2^1230268-1 is not prime. Res64: A5EFA8CB6BE89EEF Time : 0.0 sec. user=mdettweiler [2012-10-08 13:52:16] 665*2^1230268-1 is not prime. Res64: 8832439FBECED7DD Time : 0.0 sec. user=mdettweiler [2012-10-08 14:00:47] 905*2^1230268-1 is not prime. Res64: B2E6EF922A7453AE Time : 0.0 sec. user=mdettweiler [2012-10-08 14:00:48] 923*2^1230268-1 is not prime. Res64: 831C7AEDD94693A8 Time : 0.0 sec. user=vaughan [2012-10-08 14:12:04] 707*2^1230268-1 is not prime. Res64: 7FF3F414FFEAB65D Time : 0.0 sec. user=mdettweiler [2012-10-08 14:13:17] 953*2^1230268-1 is not prime. Res64: CC5A52EC11228177 Time : 0.0 sec. user=mdettweiler [2012-10-08 14:13:18] 989*2^1230268-1 is not prime. Res64: 690A82A810335774 Time : 0.0 sec. user=mdettweiler [2012-10-08 14:22:02] 711*2^1230269-1 is not prime. Res64: 8BBE9D7A89E2B9A9 Time : 0.0 sec. user=mdettweiler [2012-10-08 14:22:02] 787*2^1230269-1 is not prime. Res64: A9FAA7B142810713 Time : 0.0 sec. user=mdettweiler [2012-10-08 14:34:25] 725*2^1230270-1 is not prime. Res64: E6CD9191CBFA8F33 Time : 0.0 sec. user=mdettweiler [2012-10-08 14:34:26] 801*2^1230270-1 is not prime. Res64: C2EE235F5ED7C26B Time : 0.0 sec. user=mdettweiler [2012-10-08 14:43:17] 833*2^1230270-1 is not prime. Res64: DFFEC3548B23051E Time : 0.0 sec. user=mdettweiler [2012-10-08 14:43:17] 887*2^1230270-1 is not prime. Res64: C3276264CE9CD2C3 Time : 0.0 sec. user=vaughan [2012-10-08 14:49:54] 647*2^1230270-1 is not prime. Res64: 44F8C991977E39E4 Time : 0.0 sec. user=mdettweiler [2012-10-08 14:55:35] 971*2^1230270-1 is not prime. Res64: 5021C7E966A54794 Time : 0.0 sec. user=mdettweiler [2012-10-08 14:55:36] 673*2^1230271-1 is not prime. Res64: 033E60E80A445B21 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:04:39] 715*2^1230271-1 is not prime. Res64: F42C4CC7A86A1868 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:04:40] 909*2^1230271-1 is not prime. Res64: AF0F0D17928BAA45 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:17:34] 685*2^1230273-1 is not prime. Res64: E0A13EBFEE7689F2 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:17:35] 765*2^1230273-1 is not prime. Res64: EE3BE9FFDB322616 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:26:26] 895*2^1230273-1 is not prime. Res64: 00C5B4E3F46EA1D8 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:26:27] 611*2^1230274-1 is not prime. Res64: AC925E73661CD59C Time : 0.0 sec. user=vaughan [2012-10-08 15:27:30] 753*2^1230272-1 is not prime. Res64: AAB95D76A09925AC Time : 0.0 sec. user=mdettweiler [2012-10-08 15:38:40] 645*2^1230274-1 is not prime. Res64: 126BB42FEDCB5AF7 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:38:41] 681*2^1230274-1 is not prime. Res64: C61121F148E7582F Time : 0.0 sec. user=mdettweiler [2012-10-08 15:47:33] 785*2^1230274-1 is not prime. Res64: 963B0866AFCD33A5 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:47:34] 803*2^1230274-1 is not prime. Res64: E6A5F6C25481B704 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:59:40] 885*2^1230274-1 is not prime. Res64: EA01680146588977 Time : 0.0 sec. user=mdettweiler [2012-10-08 15:59:40] 987*2^1230274-1 is not prime. Res64: 0BED39A14720274B Time : 0.0 sec. user=vaughan [2012-10-08 16:05:03] 861*2^1230274-1 is not prime. Res64: 0ED9DF835982DBBA Time : 0.0 sec. user=mdettweiler [2012-10-08 16:08:36] 651*2^1230275-1 is not prime. Res64: 9C8F37D7F240B50B Time : 0.0 sec. user=mdettweiler [2012-10-08 16:08:37] 655*2^1230275-1 is not prime. Res64: 7527CACF6A8EE3AD Time : 0.0 sec. user=mdettweiler [2012-10-08 16:20:40] 733*2^1230275-1 is not prime. Res64: D557C3E956E7A34D Time : 0.0 sec. user=mdettweiler [2012-10-08 16:20:41] 753*2^1230275-1 is not prime. Res64: D514C05B2AEE9D19 Time : 0.0 sec. user=mdettweiler [2012-10-08 16:29:44] 981*2^1230275-1 is not prime. Res64: 3EA13D2237B2F6E1 Time : 0.0 sec. user=mdettweiler [2012-10-08 16:29:44] 675*2^1230276-1 is not prime. Res64: 149B71A4A714B7BD Time : 0.0 sec. user=mdettweiler [2012-10-08 16:41:51] 707*2^1230276-1 is not prime. Res64: 120AFF3B42AE33ED Time : 0.0 sec. user=mdettweiler [2012-10-08 16:41:52] 717*2^1230276-1 is not prime. Res64: DBC1BB9432A61F07 Time : 0.0 sec. user=vaughan [2012-10-08 16:42:40] 759*2^1230275-1 is not prime. Res64: 5EF2445D61585B1E Time : 0.0 sec. user=mdettweiler [2012-10-08 16:50:47] 783*2^1230276-1 is not prime. Res64: 84BB8F45C1806243 Time : 0.0 sec. user=mdettweiler [2012-10-08 16:50:47] 845*2^1230276-1 is not prime. Res64: B833F6B97027600D Time : 0.0 sec. user=mdettweiler [2012-10-08 17:02:54] 945*2^1230276-1 is not prime. Res64: 6A2FE5CC0A81CC84 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:02:55] 699*2^1230277-1 is not prime. Res64: C6F085E8F75E77F6 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:11:49] 757*2^1230277-1 is not prime. Res64: 44098C0A0B1C0D12 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:11:50] 775*2^1230277-1 is not prime. Res64: E6E0CC5649AAF65D Time : 0.0 sec. user=vaughan [2012-10-08 17:20:16] 741*2^1230277-1 is not prime. Res64: 3C4A2092194F2449 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:24:08] 805*2^1230277-1 is not prime. Res64: E0772C5D7A122DE1 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:24:09] 829*2^1230277-1 is not prime. Res64: A6703CA61453AF9F Time : 0.0 sec. user=mdettweiler [2012-10-08 17:33:11] 901*2^1230277-1 is not prime. Res64: 6DABD5FA10B79551 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:33:12] 915*2^1230277-1 is not prime. Res64: 3E22C3898E400670 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:45:29] 937*2^1230277-1 is not prime. Res64: 30901B3BB5F4F7B3 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:45:29] 961*2^1230277-1 is not prime. Res64: 959CB4077B674B6C Time : 0.0 sec. user=mdettweiler [2012-10-08 17:54:26] 999*2^1230277-1 is not prime. Res64: 311050BDFB959414 Time : 0.0 sec. user=mdettweiler [2012-10-08 17:54:26] 773*2^1230278-1 is not prime. Res64: B339597192CC9823 Time : 0.0 sec. user=vaughan [2012-10-08 17:57:54] 927*2^1230277-1 is not prime. Res64: FD81F3DD92566EFF Time : 0.0 sec. user=mdettweiler [2012-10-08 18:06:45] 831*2^1230278-1 is not prime. Res64: 174A6CD443570697 Time : 0.0 sec. user=mdettweiler [2012-10-08 18:06:46] 857*2^1230278-1 is not prime. Res64: 13E2039732942CE1 Time : 0.0 sec. user=mdettweiler [2012-10-08 18:15:41] 921*2^1230278-1 is not prime. Res64: BE1D545B464D85A9 Time : 0.0 sec. user=mdettweiler [2012-10-08 18:15:42] 963*2^1230278-1 is not prime. Res64: FC6BFAB3B8E98DA7 Time : 0.0 sec. user=mdettweiler [2012-10-08 18:28:01] 977*2^1230278-1 is not prime. Res64: B40085E5C57A5746 Time : 0.0 sec. user=mdettweiler [2012-10-08 18:28:02] 987*2^1230278-1 is not prime. Res64: CFF8AE0380F63F24 Time : 0.0 sec. user=vaughan [2012-10-08 18:35:30] 971*2^1230278-1 is not prime. Res64: 12AC7F770FC760EA Time : 0.0 sec. user=mdettweiler [2012-10-08 18:37:05] 879*2^1230279-1 is not prime. Res64: 6C327043EAFBC629 Time : 0.0 sec. user=mdettweiler [2012-10-08 18:37:05] 891*2^1230279-1 is not prime. Res64: BE3CBB7704FADE18 Time : 0.0 sec. user=mdettweiler [2012-10-08 18:49:20] 951*2^1230279-1 is not prime. Res64: B99622F60485C34B Time : 0.0 sec. user=mdettweiler [2012-10-08 18:49:20] 689*2^1230280-1 is not prime. Res64: 57B8250A56FECC2C Time : 0.0 sec. user=mdettweiler [2012-10-08 18:58:30] 637*2^1230281-1 is not prime. Res64: 17E8489327F00B7D Time : 0.0 sec. user=mdettweiler [2012-10-08 18:58:30] 657*2^1230281-1 is not prime. Res64: 996DC636108E3C6B Time : 0.0 sec. user=mdettweiler [2012-10-08 19:10:38] 679*2^1230281-1 is not prime. Res64: B114FB0B4202E08A Time : 0.0 sec. user=mdettweiler [2012-10-08 19:10:40] 747*2^1230281-1 is not prime. Res64: 5F3A7B3D38E4E126 Time : 0.0 sec. user=vaughan [2012-10-08 19:13:06] 983*2^1230280-1 is not prime. Res64: 09BE0C76A4A84B6F Time : 0.0 sec. user=mdettweiler [2012-10-08 19:19:35] 777*2^1230281-1 is not prime. Res64: FC5C2B050E027924 Time : 0.0 sec. user=mdettweiler [2012-10-08 19:19:37] 795*2^1230281-1 is not prime. Res64: 969D65A6830C8960 Time : 0.0 sec. user=mdettweiler [2012-10-08 19:31:55] 865*2^1230281-1 is not prime. Res64: A7EF553614C30CF9 Time : 0.0 sec. user=mdettweiler [2012-10-08 19:31:55] 955*2^1230281-1 is not prime. Res64: 0CD867ADCC23C590 Time : 0.0 sec. user=mdettweiler [2012-10-08 19:41:00] 683*2^1230282-1 is not prime. Res64: CE62769DFA271559 Time : 0.0 sec. user=mdettweiler [2012-10-08 19:41:00] 803*2^1230282-1 is not prime. Res64: AADFABD2DBB938D6 Time : 0.0 sec. user=vaughan [2012-10-08 19:50:45] 677*2^1230282-1 is not prime. Res64: 40DADD3C9FBB90F5 Time : 0.0 sec. user=mdettweiler [2012-10-08 19:53:06] 891*2^1230282-1 is not prime. Res64: 85170FB77EF32DE7 Time : 0.0 sec. user=mdettweiler [2012-10-08 19:53:06] 921*2^1230282-1 is not prime. Res64: 38D2BA2D73AA2F00 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:02:13] 945*2^1230282-1 is not prime. Res64: 02B8C2D2FB5DB150 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:02:14] 963*2^1230282-1 is not prime. Res64: CBB6B7D92E5B92B8 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:14:37] 703*2^1230283-1 is not prime. Res64: 828DF1E94CE59666 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:14:38] 765*2^1230283-1 is not prime. Res64: 7F7B5A26DE11AA4A Time : 0.0 sec. user=mdettweiler [2012-10-08 20:24:05] 819*2^1230283-1 is not prime. Res64: 46574239A6596401 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:24:05] 609*2^1230284-1 is not prime. Res64: BA7178890C037BE5 Time : 0.0 sec. user=vaughan [2012-10-08 20:28:23] 633*2^1230283-1 is not prime. Res64: DC00251DAC8850AD Time : 0.0 sec. user=mdettweiler [2012-10-08 20:36:29] 683*2^1230284-1 is not prime. Res64: 8C5CDA768A1FD0E5 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:36:29] 843*2^1230284-1 is not prime. Res64: 2050847A78A83423 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:45:26] 857*2^1230284-1 is not prime. Res64: 2EAA18B6E53151AC Time : 0.0 sec. user=mdettweiler [2012-10-08 20:45:26] 909*2^1230284-1 is not prime. Res64: 37AE983EF6C944D3 Time : 0.0 sec. user=mdettweiler [2012-10-08 20:57:48] 651*2^1230285-1 is not prime. Res64: 1B48F92DB03E87FE Time : 0.0 sec. user=mdettweiler [2012-10-08 20:57:48] 727*2^1230285-1 is not prime. Res64: C127A0E405C51E7F Time : 0.0 sec. user=vaughan [2012-10-08 21:05:58] 995*2^1230284-1 is not prime. Res64: 4D5A5D876BCC0FC2 Time : 0.0 sec. user=mdettweiler [2012-10-08 21:06:45] 735*2^1230285-1 is not prime. Res64: D6FBA66FD2D220B5 Time : 0.0 sec. user=mdettweiler [2012-10-08 21:06:47] 787*2^1230285-1 is not prime. Res64: AA0DE3628901B713 Time : 0.0 sec. user=mdettweiler [2012-10-08 21:19:06] 871*2^1230285-1 is not prime. Res64: 8C964495A22B3940 Time : 0.0 sec. user=mdettweiler [2012-10-08 21:19:06] 877*2^1230285-1 is not prime. Res64: 33F182E7613E2D4A Time : 0.0 sec. user=mdettweiler [2012-10-08 21:28:14] 949*2^1230285-1 is not prime. Res64: F5192B8C8ED3446A Time : 0.0 sec. user=mdettweiler [2012-10-08 21:28:14] 979*2^1230285-1 is not prime. Res64: 633DDE5F60BB2330 Time : 0.0 sec. user=mdettweiler [2012-10-08 21:40:38] 997*2^1230285-1 is not prime. Res64: DB2BE23544ED9731 Time : 0.0 sec. user=mdettweiler [2012-10-08 21:40:38] 647*2^1230286-1 is not prime. Res64: B95A9618552ED747 Time : 0.0 sec. user=vaughan [2012-10-08 21:43:40] 895*2^1230285-1 is not prime. Res64: AE0BB924653EA198 Time : 0.0 sec. user=mdettweiler [2012-10-08 21:50:03] 663*2^1230286-1 is not prime. Res64: 811C01F61A727FDA Time : 0.0 sec. user=mdettweiler [2012-10-08 21:50:03] 717*2^1230286-1 is not prime. Res64: B80CC80D1FC80978 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:02:32] 743*2^1230286-1 is not prime. Res64: 8565FD9C03C293A2 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:02:33] 777*2^1230286-1 is not prime. Res64: 0FBC08DEBC8C861D Time : 0.0 sec. user=mdettweiler [2012-10-08 22:11:22] 867*2^1230286-1 is not prime. Res64: F3301E3535C2C5A9 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:11:24] 923*2^1230286-1 is not prime. Res64: 5ACC8CFC54CE279A Time : 0.0 sec. user=vaughan [2012-10-08 22:22:18] 815*2^1230286-1 is not prime. Res64: 881348610CDAB0C6 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:24:02] 619*2^1230287-1 is not prime. Res64: 2230066A6982FC2D Time : 0.0 sec. user=mdettweiler [2012-10-08 22:24:02] 621*2^1230287-1 is not prime. Res64: 44A3A444542B7D4C Time : 0.0 sec. user=mdettweiler [2012-10-08 22:32:54] 685*2^1230287-1 is not prime. Res64: 4D3631C687997988 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:32:54] 705*2^1230287-1 is not prime. Res64: EC4F1F1EA73FF345 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:45:22] 741*2^1230287-1 is not prime. Res64: C01963BAF2446353 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:45:22] 753*2^1230287-1 is not prime. Res64: 4103FC634BD564E7 Time : 0.0 sec. user=mdettweiler [2012-10-08 22:54:09] 955*2^1230287-1 is not prime. Res64: BAAA15D5981762DF Time : 0.0 sec. user=mdettweiler [2012-10-08 22:54:09] 981*2^1230287-1 is not prime. Res64: 4903B1C13C1F6D97 Time : 0.0 sec. user=mdettweiler [2012-10-08 23:06:37] 797*2^1230288-1 is not prime. Res64: A532920D36CEFFC5 Time : 0.0 sec. user=mdettweiler [2012-10-08 23:06:40] 839*2^1230288-1 is not prime. Res64: 50984C0DA969A9F6 Time : 0.0 sec. user=mdettweiler [2012-10-08 23:15:25] 993*2^1230288-1 is not prime. Res64: C1ADEE27DF189E95 Time : 0.0 sec. user=mdettweiler [2012-10-08 23:15:30] 601*2^1230289-1 is not prime. Res64: 844FCCC6B163CB26 Time : 0.0 sec. user=vaughan [2012-10-08 23:16:47] 735*2^1230287-1 is not prime. Res64: 1776EFA223C8E811 Time : 0.0 sec. user=mdettweiler [2012-10-08 23:27:58] 817*2^1230289-1 is not prime. Res64: 013C86CD90AE48EA Time : 0.0 sec. user=mdettweiler [2012-10-08 23:27:59] 867*2^1230289-1 is not prime. Res64: B4D9A069C77EC7FE Time : 0.0 sec. user=mdettweiler [2012-10-08 23:36:52] 925*2^1230289-1 is not prime. Res64: F102CA515CBCAAEF Time : 0.0 sec. user=mdettweiler [2012-10-08 23:36:53] 931*2^1230289-1 is not prime. Res64: CFA88640A4CB024A Time : 0.0 sec. user=mdettweiler [2012-10-08 23:48:37] 987*2^1230289-1 is not prime. Res64: E9EBDD3E014E3F6B Time : 0.0 sec. user=mdettweiler [2012-10-08 23:48:37] 645*2^1230290-1 is not prime. Res64: AA56D52FB34570D8 Time : 0.0 sec. user=mdettweiler [2012-10-08 23:57:30] 731*2^1230290-1 is not prime. Res64: 03C7DECFFA8D27D9 Time : 0.0 sec. user=mdettweiler [2012-10-08 23:57:30] 753*2^1230290-1 is not prime. Res64: C74F9344F85D1250 Time : 0.0 sec.