user=mdettweiler [2013-02-12 00:05:28] 961*2^1241013-1 is not prime. Res64: 1F6D81AEFB6FB54A Time : 0.0 sec. user=mdettweiler [2013-02-12 00:05:31] 611*2^1241014-1 is not prime. Res64: 7F3B41F3D89206B3 Time : 0.0 sec. user=mdettweiler [2013-02-12 00:05:40] 635*2^1241014-1 is not prime. Res64: 4E2CF7B3F995F98B Time : 0.0 sec. user=mdettweiler [2013-02-12 00:05:41] 663*2^1241014-1 is not prime. Res64: 90EC569066813849 Time : 0.0 sec. user=mdettweiler [2013-02-12 00:23:04] 783*2^1241014-1 is not prime. Res64: 7D7A7956AB42553C Time : 0.0 sec. user=mdettweiler [2013-02-12 00:23:05] 857*2^1241014-1 is not prime. Res64: 7CBD4D1E594947ED Time : 0.0 sec. user=mdettweiler [2013-02-12 00:23:08] 957*2^1241014-1 is not prime. Res64: 383652A54DB1EE24 Time : 0.0 sec. user=mdettweiler [2013-02-12 00:23:09] 643*2^1241015-1 is not prime. Res64: 2FA7EBB1A5E191FC Time : 0.0 sec. user=vaughan [2013-02-12 00:38:05] 741*2^1241014-1 is not prime. Res64: 8B9EB3614627BD8E Time : 0.0 sec. user=mdettweiler [2013-02-12 00:40:30] 759*2^1241015-1 is not prime. Res64: AAAAC1F215130A81 Time : 0.0 sec. user=mdettweiler [2013-02-12 00:40:30] 781*2^1241015-1 is not prime. Res64: D7FE6AE652A766AF Time : 0.0 sec. user=mdettweiler [2013-02-12 00:40:31] 789*2^1241015-1 is not prime. Res64: 20DE338DFD98A70C Time : 0.0 sec. user=mdettweiler [2013-02-12 00:40:32] 841*2^1241015-1 is not prime. Res64: B1A4B1BE13F81070 Time : 0.0 sec. user=mdettweiler [2013-02-12 00:57:56] 845*2^1241016-1 is not prime. Res64: 93950AD9532595DC Time : 0.0 sec. user=mdettweiler [2013-02-12 00:57:56] 653*2^1241016-1 is not prime. Res64: 47DFA90AA01FE6F4 Time : 0.0 sec. user=mdettweiler [2013-02-12 00:57:57] 873*2^1241016-1 is not prime. Res64: 99B5CD4FAE834150 Time : 0.0 sec. user=mdettweiler [2013-02-12 00:57:57] 815*2^1241016-1 is not prime. Res64: A23D71AE2CCE4526 Time : 0.0 sec. user=mdettweiler [2013-02-12 01:15:21] 879*2^1241016-1 is not prime. Res64: 93B57024CDC4EADC Time : 0.0 sec. user=mdettweiler [2013-02-12 01:15:21] 983*2^1241016-1 is not prime. Res64: 5918F20E39B2888D Time : 0.0 sec. user=mdettweiler [2013-02-12 01:15:23] 685*2^1241017-1 is not prime. Res64: A3A67D79F169F553 Time : 0.0 sec. user=mdettweiler [2013-02-12 01:15:23] 687*2^1241017-1 is not prime. Res64: A205CB99DE76B10F Time : 0.0 sec. user=vaughan [2013-02-12 01:15:49] 909*2^1241015-1 is not prime. Res64: E8AB2A93C08F53B1 Time : 0.0 sec. user=mdettweiler [2013-02-12 01:32:46] 747*2^1241017-1 is not prime. Res64: A6AB3166A51413FA Time : 0.0 sec. user=mdettweiler [2013-02-12 01:32:47] 759*2^1241017-1 is not prime. Res64: 22913AEB0958ECA8 Time : 0.0 sec. user=mdettweiler [2013-02-12 01:32:48] 847*2^1241017-1 is not prime. Res64: DEA03F9E000EA375 Time : 0.0 sec. user=mdettweiler [2013-02-12 01:32:48] 895*2^1241017-1 is not prime. Res64: B5511600C7EE62A1 Time : 0.0 sec. user=mdettweiler [2013-02-12 01:50:10] 955*2^1241017-1 is not prime. Res64: 2E5081BD4FE35016 Time : 0.0 sec. user=mdettweiler [2013-02-12 01:50:11] 603*2^1241018-1 is not prime. Res64: 8B6CFB19F41F04AB Time : 0.0 sec. user=mdettweiler [2013-02-12 01:50:11] 645*2^1241018-1 is not prime. Res64: D447B0E1EFFDB5AF Time : 0.0 sec. user=mdettweiler [2013-02-12 01:50:12] 743*2^1241018-1 is not prime. Res64: BAAF963C771839CA Time : 0.0 sec. user=vaughan [2013-02-12 01:53:35] 945*2^1241017-1 is not prime. Res64: 74DDEBF0C09128C5 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:07:34] 755*2^1241018-1 is not prime. Res64: 325AC0B34C890F6F Time : 0.0 sec. user=mdettweiler [2013-02-12 02:07:34] 845*2^1241018-1 is not prime. Res64: 53624AC93B2D0520 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:07:37] 801*2^1241018-1 is not prime. Res64: EA41CC5627ADD264 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:07:38] 893*2^1241018-1 is not prime. Res64: E7A4A397C56C3E27 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:25:08] 619*2^1241019-1 is not prime. Res64: 3913DC2830E62076 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:25:08] 639*2^1241019-1 is not prime. Res64: 5AB60FACB22A319C Time : 0.0 sec. user=mdettweiler [2013-02-12 02:25:09] 703*2^1241019-1 is not prime. Res64: 55DF45E6F3353AAC Time : 0.0 sec. user=mdettweiler [2013-02-12 02:25:10] 913*2^1241019-1 is not prime. Res64: 4DB5D3F2FB4AB718 Time : 0.0 sec. user=vaughan [2013-02-12 02:36:12] 1001*2^1241018-1 is not prime. Res64: C265D0B4F7389348 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:42:31] 975*2^1241019-1 is not prime. Res64: 23A8E063878C14A4 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:42:33] 999*2^1241019-1 is not prime. Res64: EC70DF1D86DA5F68 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:42:33] 605*2^1241020-1 is not prime. Res64: 8E1DFBFBCB07FF2A Time : 0.0 sec. user=mdettweiler [2013-02-12 02:42:35] 989*2^1241020-1 is not prime. Res64: 0C179ADB0F4E8FDD Time : 0.0 sec. user=mdettweiler [2013-02-12 02:59:57] 627*2^1241021-1 is not prime. Res64: F1EC62D2C606F572 Time : 0.0 sec. user=mdettweiler [2013-02-12 02:59:58] 631*2^1241021-1 is not prime. Res64: F616035B3EC83CCB Time : 0.0 sec. user=mdettweiler [2013-02-12 02:59:59] 747*2^1241021-1 is not prime. Res64: 368C4DEAE9FBF119 Time : 0.0 sec. user=mdettweiler [2013-02-12 03:00:00] 927*2^1241021-1 is not prime. Res64: A6A8827A7051D155 Time : 0.0 sec. user=mdettweiler [2013-02-12 03:17:39] 681*2^1241022-1 is not prime. Res64: 8B127D44F0A84CD2 Time : 0.0 sec. user=mdettweiler [2013-02-12 03:17:40] 863*2^1241022-1 is not prime. Res64: 3B774AE76F17896E Time : 0.0 sec. user=mdettweiler [2013-02-12 03:17:43] 619*2^1241023-1 is not prime. Res64: 120655A896F41D09 Time : 0.0 sec. user=mdettweiler [2013-02-12 03:17:44] 729*2^1241023-1 is not prime. Res64: 0E4DD3DEA5F74C7F Time : 0.0 sec. user=vaughan [2013-02-12 03:18:57] 999*2^1241020-1 is not prime. Res64: BF723B485CA21ED2 Time : 0.0 sec. user=mdettweiler [2013-02-12 03:35:10] 751*2^1241023-1 is not prime. Res64: F9F8B09CE5E9313A Time : 0.0 sec. user=mdettweiler [2013-02-12 03:35:11] 901*2^1241023-1 is not prime. Res64: D91E67488AB0C368 Time : 0.0 sec. user=mdettweiler [2013-02-12 03:35:19] 765*2^1241023-1 is not prime. Res64: 86C544EB7CCCBB0A Time : 0.0 sec. user=mdettweiler [2013-02-12 03:35:19] 725*2^1241024-1 is not prime. Res64: 26D45EE15233FFF4 Time : 0.0 sec. user=vaughan [2013-02-12 03:56:43] 747*2^1241024-1 is not prime. Res64: 6115CD91DEE2A8CE Time : 0.0 sec. user=vaughan [2013-02-12 04:34:34] 705*2^1241025-1 is not prime. Res64: 7B7106DC56C9EEE5 Time : 0.0 sec. user=vaughan [2013-02-12 05:12:39] 765*2^1241025-1 is not prime. Res64: FE8E4AD1750ECEE9 Time : 0.0 sec. user=vaughan [2013-02-12 05:50:35] 847*2^1241025-1 is not prime. Res64: 34C506EC01F9BA56 Time : 0.0 sec. user=vaughan [2013-02-12 06:28:29] 877*2^1241025-1 is not prime. Res64: C2291595DC4A4AD9 Time : 0.0 sec. user=vaughan [2013-02-12 07:06:32] 889*2^1241025-1 is not prime. Res64: ED05B6D7229A1961 Time : 0.0 sec. user=vaughan [2013-02-12 07:44:36] 951*2^1241025-1 is not prime. Res64: C3D333A07181DAC2 Time : 0.0 sec. user=vaughan [2013-02-12 08:22:39] 623*2^1241026-1 is not prime. Res64: 4B33BA12E91F0456 Time : 0.0 sec. user=vaughan [2013-02-12 09:00:45] 663*2^1241026-1 is not prime. Res64: 136AECD10CCD7EEC Time : 0.0 sec. user=vaughan [2013-02-12 09:39:01] 695*2^1241026-1 is not prime. Res64: 5B8DBCE82E14D139 Time : 0.0 sec. user=vaughan [2013-02-12 10:50:47] 717*2^1241026-1 is not prime. Res64: 419EAC49F4DBC253 Time : 0.0 sec. user=vaughan [2013-02-12 11:28:55] 735*2^1241026-1 is not prime. Res64: EEB500083044C862 Time : 0.0 sec. user=juhehe [2013-02-12 11:51:46] 661*2^1240989-1 is not prime. Res64: F95438323B0524F3 Time : 0.0 sec. user=vaughan [2013-02-12 12:06:57] 765*2^1241026-1 is not prime. Res64: C7747D5827A1A437 Time : 0.0 sec. user=mdettweiler [2013-02-12 12:15:43] 873*2^1241024-1 is not prime. Res64: 461990D1B6695343 Time : 0.0 sec. user=mdettweiler [2013-02-12 12:15:44] 609*2^1241025-1 is not prime. Res64: 9F4BB374895EAB4A Time : 0.0 sec. user=mdettweiler [2013-02-12 12:15:44] 969*2^1241024-1 is not prime. Res64: ED1284929285E87E Time : 0.0 sec. user=mdettweiler [2013-02-12 12:15:44] 625*2^1241025-1 is not prime. Res64: E5297E6DAC64E43B Time : 0.0 sec. user=juhehe [2013-02-12 12:21:26] 603*2^1241027-1 is not prime. Res64: F5DDA1BC197C73D6 Time : 0.0 sec. user=mdettweiler [2013-02-12 12:33:20] 801*2^1241027-1 is not prime. Res64: F106457D336ABB11 Time : 0.0 sec. user=mdettweiler [2013-02-12 12:33:20] 871*2^1241027-1 is not prime. Res64: 9FEEC41EF4250E6F Time : 0.0 sec. user=mdettweiler [2013-02-12 12:33:21] 741*2^1241027-1 is not prime. Res64: BA1CBA6D0D07B99B Time : 0.0 sec. user=mdettweiler [2013-02-12 12:33:21] 759*2^1241027-1 is not prime. Res64: 72DE7D437E964236 Time : 0.0 sec. user=juhehe [2013-02-12 12:47:00] 883*2^1241027-1 is not prime. Res64: DD4962830AFC6D6D Time : 0.0 sec. user=vaughan [2013-02-12 12:52:27] 663*2^1241027-1 is not prime. Res64: 0528A9F4FE2F290F Time : 0.0 sec. user=mdettweiler [2013-02-12 13:23:36] 615*2^1241028-1 is not prime. Res64: DE2E002F59111B75 Time : 0.0 sec. user=mdettweiler [2013-02-12 13:23:36] 963*2^1241027-1 is not prime. Res64: 482AE8F6C2138BD5 Time : 0.0 sec. user=mdettweiler [2013-02-12 13:23:36] 909*2^1241028-1 is not prime. Res64: 5A463B3953C53A0F Time : 0.0 sec. user=mdettweiler [2013-02-12 13:23:36] 985*2^1241027-1 is not prime. Res64: 9403FEDD03853CFF Time : 0.0 sec. user=vaughan [2013-02-12 13:30:20] 609*2^1241029-1 is not prime. Res64: 7C4BBE35DC6A66E1 Time : 0.0 sec. user=mdettweiler [2013-02-12 13:41:22] 639*2^1241029-1 is not prime. Res64: 22C94D4452CB6E76 Time : 0.0 sec. user=mdettweiler [2013-02-12 13:41:22] 691*2^1241029-1 is not prime. Res64: 42B3AD5D7B06178E Time : 0.0 sec. user=mdettweiler [2013-02-12 13:41:23] 775*2^1241029-1 is not prime. Res64: A7E040DF5897DE46 Time : 0.0 sec. user=mdettweiler [2013-02-12 13:41:23] 801*2^1241029-1 is not prime. Res64: 17E06AD32A695EBD Time : 0.0 sec. user=vaughan [2013-02-12 21:20:38] 931*2^1241029-1 is not prime. Res64: 8890106FEE6537D0 Time : 0.0 sec. user=mdettweiler [2013-02-12 21:28:43] 945*2^1241029-1 is not prime. Res64: D301B0CB08FAFF10 Time : 0.0 sec. user=mdettweiler [2013-02-12 21:28:44] 663*2^1241030-1 is not prime. Res64: E36AA91322A76969 Time : 0.0 sec. user=mdettweiler [2013-02-12 21:28:44] 957*2^1241029-1 is not prime. Res64: FA35AC5CB1D46A0F Time : 0.0 sec. user=mdettweiler [2013-02-12 21:28:44] 665*2^1241030-1 is not prime. Res64: F7925B8661D968B3 Time : 0.0 sec. user=mdettweiler [2013-02-12 22:11:42] 747*2^1241030-1 is not prime. Res64: D80F728804D4E335 Time : 0.0 sec. user=mdettweiler [2013-02-12 22:11:43] 827*2^1241030-1 is not prime. Res64: E019E6882C867BFB Time : 0.0 sec. user=mdettweiler [2013-02-12 22:11:43] 885*2^1241030-1 is not prime. Res64: 3CA7F9339F146504 Time : 0.0 sec. user=mdettweiler [2013-02-12 22:11:44] 887*2^1241030-1 is not prime. Res64: 99EE89D3E27B4853 Time : 0.0 sec. user=vaughan [2013-02-12 22:17:33] 717*2^1241030-1 is not prime. Res64: 2191D3AD301E7FE7 Time : 0.0 sec. user=mdettweiler [2013-02-12 22:53:13] 897*2^1241030-1 is not prime. Res64: AD03346A089D57C5 Time : 0.0 sec. user=mdettweiler [2013-02-12 22:53:13] 921*2^1241030-1 is not prime. Res64: 31EC39ADE6A7D56A Time : 0.0 sec. user=mdettweiler [2013-02-12 22:53:13] 1001*2^1241030-1 is not prime. Res64: 6363E7EE8E38DB88 Time : 0.0 sec. user=mdettweiler [2013-02-12 22:53:14] 615*2^1241031-1 is not prime. Res64: 393164F0FF13DDEA Time : 0.0 sec. user=vaughan [2013-02-12 22:55:27] 705*2^1241031-1 is not prime. Res64: 74EA2B8C6283EE06 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:11:29] 709*2^1241031-1 is not prime. Res64: 11B5D254FCF7184B Time : 0.0 sec. user=mdettweiler [2013-02-12 23:11:31] 763*2^1241031-1 is not prime. Res64: BF2E8849B2203E86 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:11:39] 861*2^1241031-1 is not prime. Res64: 259A6535ACA1D029 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:11:39] 999*2^1241031-1 is not prime. Res64: 67794E527DF418BB Time : 0.0 sec. user=mdettweiler [2013-02-12 23:29:46] 807*2^1241032-1 is not prime. Res64: FD58ED60F698CB74 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:29:46] 843*2^1241032-1 is not prime. Res64: 2293A82354A320BE Time : 0.0 sec. user=mdettweiler [2013-02-12 23:29:51] 873*2^1241032-1 is not prime. Res64: 192E9D6DDF97A963 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:29:52] 939*2^1241032-1 is not prime. Res64: DC9EA181B52E7C98 Time : 0.0 sec. user=vaughan [2013-02-12 23:33:24] 617*2^1241032-1 is not prime. Res64: 8D576F75D023C7A5 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:48:04] 705*2^1241033-1 is not prime. Res64: DE1F3D809C267FA9 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:48:05] 789*2^1241033-1 is not prime. Res64: 9A26D42222C9D92C Time : 0.0 sec. user=mdettweiler [2013-02-12 23:48:13] 925*2^1241033-1 is not prime. Res64: 874529ABB051BC92 Time : 0.0 sec. user=mdettweiler [2013-02-12 23:48:13] 937*2^1241033-1 is not prime. Res64: BFE8EF5A2063E137 Time : 0.0 sec.