user=mdettweiler [2012-08-16 00:02:33] 699*2^1226525-1 is not prime. Res64: 180783BABA3777AE Time : 0.0 sec. user=mdettweiler [2012-08-16 00:07:12] 805*2^1226525-1 is not prime. Res64: 188F17EF86CEF7A9 Time : 0.0 sec. user=mdettweiler [2012-08-16 00:07:15] 939*2^1226525-1 is not prime. Res64: 744BABAC03BE879C Time : 0.0 sec. user=mdettweiler [2012-08-16 00:16:00] 795*2^1226525-1 is not prime. Res64: 39B4E8BBCDE5FAB5 Time : 0.0 sec. user=mdettweiler [2012-08-16 00:18:39] 725*2^1226526-1 is not prime. Res64: ACA4B1F3011AE2AD Time : 0.0 sec. user=mdettweiler [2012-08-16 00:18:39] 801*2^1226526-1 is not prime. Res64: EB394630FD8F1467 Time : 0.0 sec. user=mdettweiler [2012-08-16 00:28:11] 971*2^1226526-1 is not prime. Res64: BF372EFC1BEBE1EA Time : 0.0 sec. user=mdettweiler [2012-08-16 00:28:12] 1001*2^1226526-1 is not prime. Res64: 3DFE6B3CE54ADEDC Time : 0.0 sec. user=mdettweiler [2012-08-16 00:39:33] 663*2^1226527-1 is not prime. Res64: 71D02F9B2FA99CF7 Time : 0.0 sec. user=mdettweiler [2012-08-16 00:39:33] 793*2^1226527-1 is not prime. Res64: 7F9A5F96EF7551A4 Time : 0.0 sec. user=mdettweiler [2012-08-16 00:49:07] 633*2^1226528-1 is not prime. Res64: 181B5AA59602F4DC Time : 0.0 sec. user=mdettweiler [2012-08-16 00:49:09] 683*2^1226528-1 is not prime. Res64: 2E8C8EC3E1149470 Time : 0.0 sec. user=mdettweiler [2012-08-16 00:57:24] 645*2^1226527-1 is not prime. Res64: 42785533BE3830C9 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:00:32] 797*2^1226528-1 is not prime. Res64: 9679D25D9BEF6401 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:00:41] 803*2^1226528-1 is not prime. Res64: 046DDC79EED09E0C Time : 0.0 sec. user=mdettweiler [2012-08-16 01:10:04] 615*2^1226529-1 is not prime. Res64: F5959AA744C947A8 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:10:05] 625*2^1226529-1 is not prime. Res64: C5B2BF7CC5914722 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:14:34] 821*2^1226526-1 is not prime. Res64: A3FF7F12E17B006D Time : 0.0 sec. user=mdettweiler [2012-08-16 01:21:35] 681*2^1226529-1 is not prime. Res64: 6CBDA1A0B75B828F Time : 0.0 sec. user=mdettweiler [2012-08-16 01:21:37] 727*2^1226529-1 is not prime. Res64: F6B99ED3570667DE Time : 0.0 sec. user=mdettweiler [2012-08-16 01:31:09] 847*2^1226529-1 is not prime. Res64: 864CA25AD1116729 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:31:12] 889*2^1226529-1 is not prime. Res64: 4DDB5D8E4B9CD480 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:42:41] 955*2^1226529-1 is not prime. Res64: 315B2F9ABD70698E Time : 0.0 sec. user=mdettweiler [2012-08-16 01:42:41] 997*2^1226529-1 is not prime. Res64: 28D999EDEE87F838 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:52:10] 645*2^1226530-1 is not prime. Res64: A4EC67F14EE18A50 Time : 0.0 sec. user=mdettweiler [2012-08-16 01:52:10] 741*2^1226530-1 is not prime. Res64: 6B4702A0E66C687F Time : 0.0 sec. user=mdettweiler [2012-08-16 02:03:33] 861*2^1226530-1 is not prime. Res64: 5483954CBA9BB420 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:03:34] 971*2^1226530-1 is not prime. Res64: 7E8B9C909C7B47DB Time : 0.0 sec. user=mdettweiler [2012-08-16 02:07:41] 679*2^1226529-1 is not prime. Res64: 451207659A313B4A Time : 0.0 sec. user=mdettweiler [2012-08-16 02:13:02] 1001*2^1226530-1 is not prime. Res64: 90E2FC160CE17EF8 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:13:05] 615*2^1226531-1 is not prime. Res64: 08ADD5C92483A6F1 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:23:19] 919*2^1226529-1 is not prime. Res64: F3EB2165961997A0 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:24:30] 663*2^1226531-1 is not prime. Res64: F7476FF543487213 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:24:30] 705*2^1226531-1 is not prime. Res64: 57491FB587C32EB4 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:34:20] 885*2^1226531-1 is not prime. Res64: 4EE8BC2F7214265E Time : 0.0 sec. user=mdettweiler [2012-08-16 02:34:21] 949*2^1226531-1 is not prime. Res64: 128B7C6DF83E64B7 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:45:22] 969*2^1226531-1 is not prime. Res64: BB16DED4F3DEDB9D Time : 0.0 sec. user=mdettweiler [2012-08-16 02:45:27] 695*2^1226532-1 is not prime. Res64: A567C3B6D7320873 Time : 0.0 sec. user=mdettweiler [2012-08-16 02:55:14] 765*2^1226532-1 is not prime. Res64: C3F8A577B90490AD Time : 0.0 sec. user=mdettweiler [2012-08-16 02:55:14] 909*2^1226532-1 is not prime. Res64: 5F711C98C5CE6062 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:03:41] 829*2^1226531-1 is not prime. Res64: 6E97523C89DA1F0A Time : 0.0 sec. user=mdettweiler [2012-08-16 03:06:42] 639*2^1226533-1 is not prime. Res64: 8A9F29AD4AFAA8CD Time : 0.0 sec. user=mdettweiler [2012-08-16 03:06:44] 769*2^1226533-1 is not prime. Res64: 4DFB8C652E1A537D Time : 0.0 sec. user=gd_barnes [2012-08-16 03:06:59] 977*2^1226532-1 is not prime. Res64: 7920C50F2132C111 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:16:06] 937*2^1226533-1 is not prime. Res64: BAB72BF1EE903683 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:16:06] 785*2^1226534-1 is not prime. Res64: 57B830D12381A3A7 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:20:58] 955*2^1226531-1 is not prime. Res64: 37A334655E7BDD67 Time : 0.0 sec. user=gd_barnes [2012-08-16 03:25:08] 867*2^1226533-1 is not prime. Res64: DA1FDDDE68068785 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:27:44] 861*2^1226534-1 is not prime. Res64: C17A6AF24A60AA59 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:27:45] 887*2^1226534-1 is not prime. Res64: 4C313C734794F889 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:37:07] 921*2^1226534-1 is not prime. Res64: 63391E7B54616DB7 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:37:07] 971*2^1226534-1 is not prime. Res64: 423D953F31723D07 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:48:54] 643*2^1226535-1 is not prime. Res64: 2ED3B384EDF2483D Time : 0.0 sec. user=mdettweiler [2012-08-16 03:48:54] 783*2^1226535-1 is not prime. Res64: FAAB4999A09C3016 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:58:14] 819*2^1226535-1 is not prime. Res64: 766A51FBD1A04699 Time : 0.0 sec. user=mdettweiler [2012-08-16 03:58:15] 919*2^1226535-1 is not prime. Res64: 4E5892396ECD22D7 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:01:12] 797*2^1226534-1 is not prime. Res64: 1B24FCD317FEDDB9 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:09:46] 961*2^1226535-1 is not prime. Res64: 7278643495928BFE Time : 0.0 sec. user=mdettweiler [2012-08-16 04:09:48] 963*2^1226535-1 is not prime. Res64: B34D415689964E1A Time : 0.0 sec. user=mdettweiler [2012-08-16 04:18:04] 981*2^1226534-1 is not prime. Res64: 1D29EFA8F390BEA1 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:19:09] 999*2^1226535-1 is not prime. Res64: 9193A252695D6EF3 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:19:10] 719*2^1226536-1 is not prime. Res64: 86D3058CE20B8FC7 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:30:47] 825*2^1226536-1 is not prime. Res64: D2B798782AFE352D Time : 0.0 sec. user=mdettweiler [2012-08-16 04:30:48] 839*2^1226536-1 is not prime. Res64: 9EF63383DBBB7ED3 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:39:55] 755*2^1226536-1 is not prime. Res64: 8E81E434656A68F4 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:40:02] 873*2^1226536-1 is not prime. Res64: 26F85A8763432D51 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:40:03] 875*2^1226536-1 is not prime. Res64: BD76433F8D844E6A Time : 0.0 sec. user=gd_barnes [2012-08-16 04:44:43] 843*2^1226536-1 is not prime. Res64: E6A2725950434BE9 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:51:47] 899*2^1226536-1 is not prime. Res64: 236744EC5B93CE90 Time : 0.0 sec. user=mdettweiler [2012-08-16 04:51:47] 933*2^1226536-1 is not prime. Res64: 18FD3D6D333E5EE5 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:00:56] 831*2^1226537-1 is not prime. Res64: A1085C7CFBAD4002 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:00:58] 861*2^1226537-1 is not prime. Res64: 135CF20DA7ECE948 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:10:25] 711*2^1226537-1 is not prime. Res64: 20AD0B1132658C3A Time : 0.0 sec. user=mdettweiler [2012-08-16 05:12:41] 957*2^1226537-1 is not prime. Res64: E99B54D04315FC75 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:12:43] 985*2^1226537-1 is not prime. Res64: 53A12F3818804B3C Time : 0.0 sec. user=mdettweiler [2012-08-16 05:22:13] 891*2^1226538-1 is not prime. Res64: E33B75FCDF57187D Time : 0.0 sec. user=mdettweiler [2012-08-16 05:22:13] 941*2^1226538-1 is not prime. Res64: 24846961683E3F28 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:33:36] 619*2^1226539-1 is not prime. Res64: B7186892A1862340 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:33:36] 625*2^1226539-1 is not prime. Res64: 89C8F2C8306CB3CA Time : 0.0 sec. user=gd_barnes [2012-08-16 05:35:54] 1001*2^1226538-1 is not prime. Res64: 4877DBB750CFDA1F Time : 0.0 sec. user=mdettweiler [2012-08-16 05:43:09] 633*2^1226539-1 is not prime. Res64: E004023597794B06 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:43:09] 775*2^1226539-1 is not prime. Res64: 0F30EBB6DCA9D204 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:43:56] 609*2^1226539-1 is not prime. Res64: 72DED73E3F0E44B1 Time : 0.0 sec. user=mdettweiler [2012-08-16 05:54:30] 835*2^1226539-1 is not prime. Res64: 1844C71F55CC762A Time : 0.0 sec. user=mdettweiler [2012-08-16 05:54:31] 861*2^1226539-1 is not prime. Res64: 3F31A36931A363B3 Time : 0.0 sec. user=mdettweiler [2012-08-16 06:04:02] 889*2^1226539-1 is not prime. Res64: D6FEBB2D7A6148BA Time : 0.0 sec. user=mdettweiler [2012-08-16 06:04:03] 767*2^1226540-1 is not prime. Res64: BF5EB774A7B1FF4D Time : 0.0 sec. user=mdettweiler [2012-08-16 06:13:36] 777*2^1226540-1 is not prime. Res64: BFCBD53FDDB9570B Time : 0.0 sec. user=mdettweiler [2012-08-16 06:15:27] 935*2^1226540-1 is not prime. Res64: 3DAB295120FBD80D Time : 0.0 sec. user=mdettweiler [2012-08-16 06:25:02] 625*2^1226541-1 is not prime. Res64: 49CED8D6424426B2 Time : 0.0 sec. user=mdettweiler [2012-08-16 06:25:03] 717*2^1226541-1 is not prime. Res64: B49BF613BE15F8B3 Time : 0.0 sec. user=gd_barnes [2012-08-16 06:42:37] 835*2^1226541-1 is not prime. Res64: DF0299A720CE2712 Time : 0.0 sec. user=mdettweiler [2012-08-16 06:44:13] 751*2^1226541-1 is not prime. Res64: 826FFA45978E5E63 Time : 0.0 sec. user=gd_barnes [2012-08-16 06:45:19] 811*2^1226541-1 is not prime. Res64: 0C299BE098B3BA39 Time : 0.0 sec. user=mdettweiler [2012-08-16 06:45:56] 871*2^1226541-1 is not prime. Res64: 824C24852BE1CAE1 Time : 0.0 sec. user=mdettweiler [2012-08-16 06:45:56] 949*2^1226541-1 is not prime. Res64: 03F9B5C9C52BA100 Time : 0.0 sec. user=mdettweiler [2012-08-16 06:47:16] 963*2^1226540-1 is not prime. Res64: 1974CDE74B7E7AFA Time : 0.0 sec. user=mdettweiler [2012-08-16 07:06:50] 999*2^1226541-1 is not prime. Res64: 38AE61BA4FCCA7F8 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:06:51] 621*2^1226542-1 is not prime. Res64: 4D6B71F942EFEF8E Time : 0.0 sec. user=mdettweiler [2012-08-16 07:08:11] 873*2^1226542-1 is not prime. Res64: 5E3D41DB96B562B2 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:08:12] 619*2^1226543-1 is not prime. Res64: 7AEFA50A9C53B056 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:14:17] 975*2^1226541-1 is not prime. Res64: 77B9683C299F76CF Time : 0.0 sec. user=mdettweiler [2012-08-16 07:27:51] 741*2^1226543-1 is not prime. Res64: 794ABAEF532C7187 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:27:52] 775*2^1226543-1 is not prime. Res64: 57CBF78BD43DC0C4 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:29:07] 855*2^1226543-1 is not prime. Res64: 0C98190AC05D1F96 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:29:08] 921*2^1226543-1 is not prime. Res64: 964EE3741AA2C162 Time : 0.0 sec. user=gd_barnes [2012-08-16 07:46:19] 699*2^1226544-1 is not prime. Res64: 5949B02223C91023 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:47:24] 943*2^1226543-1 is not prime. Res64: E6EED18B36F756A6 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:48:47] 705*2^1226544-1 is not prime. Res64: 5063DEC7BD9F3551 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:48:47] 759*2^1226544-1 is not prime. Res64: 0E1E135ACADEFC7C Time : 0.0 sec. user=mdettweiler [2012-08-16 07:50:03] 765*2^1226544-1 is not prime. Res64: D037E2C343A684D4 Time : 0.0 sec. user=mdettweiler [2012-08-16 07:50:03] 857*2^1226544-1 is not prime. Res64: 2295B04E94026440 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:09:42] 899*2^1226544-1 is not prime. Res64: 4C76F9D6E25299AE Time : 0.0 sec. user=mdettweiler [2012-08-16 08:09:43] 927*2^1226544-1 is not prime. Res64: B8CAF481B510E571 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:10:57] 947*2^1226544-1 is not prime. Res64: DC9AFDE36C472E64 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:10:59] 691*2^1226545-1 is not prime. Res64: 7CC99B153D9EEB29 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:16:41] 887*2^1226544-1 is not prime. Res64: 11549ED794224704 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:30:45] 717*2^1226545-1 is not prime. Res64: 47BBAE2F00C5A4BA Time : 0.0 sec. user=mdettweiler [2012-08-16 08:30:45] 799*2^1226545-1 is not prime. Res64: FCE7F0E0E56D4D91 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:32:03] 811*2^1226545-1 is not prime. Res64: A229AC66F89B7878 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:32:03] 919*2^1226545-1 is not prime. Res64: 21EE264726E8130C Time : 0.0 sec. user=mdettweiler [2012-08-16 08:33:12] 869*2^1226536-1 is not prime. Res64: 34F510824185E0F8 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:52:04] 999*2^1226545-1 is not prime. Res64: 4252D9DE80CF9803 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:52:05] 677*2^1226546-1 is not prime. Res64: 3544A6D125B8E927 Time : 0.0 sec. user=mdettweiler [2012-08-16 08:53:22] 735*2^1226546-1 is not prime. Res64: 0E5F67A8B2CB965A Time : 0.0 sec. user=mdettweiler [2012-08-16 08:53:23] 755*2^1226546-1 is not prime. Res64: C2A85405D8C65EF9 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:07:59] 993*2^1226546-1 is not prime. Res64: 35B2E9BED46160AA Time : 0.0 sec. user=mdettweiler [2012-08-16 09:13:06] 625*2^1226547-1 is not prime. Res64: 70A327189A537886 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:13:07] 649*2^1226547-1 is not prime. Res64: C478E28A2551A482 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:14:22] 735*2^1226547-1 is not prime. Res64: 9247E1B5C99021BB Time : 0.0 sec. user=mdettweiler [2012-08-16 09:14:24] 765*2^1226547-1 is not prime. Res64: 4CF3B6769C97DA8A Time : 0.0 sec. user=mdettweiler [2012-08-16 09:34:35] 963*2^1226547-1 is not prime. Res64: CE15A296FCFD7516 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:34:35] 973*2^1226547-1 is not prime. Res64: 63D34B82A914C7B0 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:35:53] 975*2^1226547-1 is not prime. Res64: 00975BA016C51B30 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:35:53] 707*2^1226548-1 is not prime. Res64: 51C55307745A2549 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:41:17] 849*2^1226547-1 is not prime. Res64: 16E639783CF01175 Time : 0.0 sec. user=gd_barnes [2012-08-16 09:44:06] 783*2^1226548-1 is not prime. Res64: CF5281A740FBB81C Time : 0.0 sec. user=gd_barnes [2012-08-16 09:46:26] 765*2^1226548-1 is not prime. Res64: 498F1CD22F578770 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:55:47] 839*2^1226548-1 is not prime. Res64: 6F9603A5F95256FB Time : 0.0 sec. user=mdettweiler [2012-08-16 09:55:47] 855*2^1226548-1 is not prime. Res64: 081324CB1CA27E8D Time : 0.0 sec. user=mdettweiler [2012-08-16 09:56:56] 869*2^1226548-1 is not prime. Res64: D7111CE95A7F1713 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:56:57] 899*2^1226548-1 is not prime. Res64: 0BB8F6C1D1BF1CA4 Time : 0.0 sec. user=mdettweiler [2012-08-16 09:59:35] 937*2^1226545-1 is not prime. Res64: 3DDE0AC1F569BDED Time : 0.0 sec. user=mdettweiler [2012-08-16 10:13:36] 969*2^1226548-1 is not prime. Res64: 91E208AE7E649DB2 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:16:41] 989*2^1226548-1 is not prime. Res64: CDB2634294E5B678 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:16:41] 691*2^1226549-1 is not prime. Res64: C589403605AC2DC8 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:17:51] 787*2^1226549-1 is not prime. Res64: 3AAF01B6551EA585 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:17:51] 825*2^1226549-1 is not prime. Res64: D0103CAD378F4FF6 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:30:17] 885*2^1226549-1 is not prime. Res64: 750A8EE1AD0D2BB6 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:37:34] 657*2^1226550-1 is not prime. Res64: 9FEC43DC1C71A88A Time : 0.0 sec. user=mdettweiler [2012-08-16 10:37:34] 677*2^1226550-1 is not prime. Res64: DA381EE682638AA9 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:38:43] 707*2^1226550-1 is not prime. Res64: C6D9BE413D4DE564 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:38:43] 761*2^1226550-1 is not prime. Res64: 1E9763D8B7A11094 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:46:18] 987*2^1226549-1 is not prime. Res64: 7CBB544DF40AF5D2 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:58:25] 863*2^1226550-1 is not prime. Res64: D3B580B0B87461C8 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:58:25] 873*2^1226550-1 is not prime. Res64: F479ADC99F6B759A Time : 0.0 sec. user=mdettweiler [2012-08-16 10:59:33] 891*2^1226550-1 is not prime. Res64: 23FBD0E97D08CF26 Time : 0.0 sec. user=mdettweiler [2012-08-16 10:59:34] 923*2^1226550-1 is not prime. Res64: F183A0F0FB5A767C Time : 0.0 sec. user=mdettweiler [2012-08-16 11:03:19] 801*2^1226550-1 is not prime. Res64: EBDADC1CD21FFA2F Time : 0.0 sec. user=mdettweiler [2012-08-16 11:16:56] 951*2^1226550-1 is not prime. Res64: C0ED4DE86B98A2C8 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:19:16] 625*2^1226551-1 is not prime. Res64: 03C139084880E5F5 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:19:17] 693*2^1226551-1 is not prime. Res64: 48D0E304154C352A Time : 0.0 sec. user=mdettweiler [2012-08-16 11:20:25] 759*2^1226551-1 is not prime. Res64: 4FDBBE81982BE1E4 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:20:25] 843*2^1226551-1 is not prime. Res64: F3CF5C86DA796810 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:34:15] 973*2^1226551-1 is not prime. Res64: 81113D11EAEDB327 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:40:03] 665*2^1226552-1 is not prime. Res64: 1006E99FCAFCBD2C Time : 0.0 sec. user=mdettweiler [2012-08-16 11:40:04] 903*2^1226552-1 is not prime. Res64: 61D9A0C774BEBF51 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:41:09] 915*2^1226552-1 is not prime. Res64: C8C18FDB43C07847 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:41:10] 935*2^1226552-1 is not prime. Res64: 300370D691C87124 Time : 0.0 sec. user=mdettweiler [2012-08-16 11:47:32] 603*2^1226552-1 is not prime. Res64: 0FB80A6EE39293C8 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:00:43] 649*2^1226553-1 is not prime. Res64: 5595A74A1EE2B7C9 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:00:44] 681*2^1226553-1 is not prime. Res64: D1AB1DDBFC57CBC0 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:01:49] 705*2^1226553-1 is not prime. Res64: C698C29E277F5E41 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:01:50] 847*2^1226553-1 is not prime. Res64: 8A7D296BAD51F84F Time : 0.0 sec. user=mdettweiler [2012-08-16 12:06:48] 957*2^1226552-1 is not prime. Res64: 73EA37E5B1D826D4 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:21:06] 895*2^1226553-1 is not prime. Res64: 26BC3543D16EA5B1 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:21:40] 915*2^1226553-1 is not prime. Res64: BAB1B38FFC3D4B6D Time : 0.0 sec. user=mdettweiler [2012-08-16 12:21:41] 945*2^1226553-1 is not prime. Res64: F83FC0BBE3A1CCB1 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:22:31] 951*2^1226553-1 is not prime. Res64: 72B1F8DB243AB1FB Time : 0.0 sec. user=mdettweiler [2012-08-16 12:22:31] 985*2^1226553-1 is not prime. Res64: 168CC6D548B1DFA6 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:42:22] 635*2^1226554-1 is not prime. Res64: 6622B038C2B85327 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:42:22] 731*2^1226554-1 is not prime. Res64: E4922C1AE8AA84E0 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:43:12] 857*2^1226554-1 is not prime. Res64: B172218A4F03B146 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:43:12] 941*2^1226554-1 is not prime. Res64: FA2000739877E704 Time : 0.0 sec. user=mdettweiler [2012-08-16 12:44:34] 611*2^1226554-1 is not prime. Res64: E14AE35A2B428AB2 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:00:15] 617*2^1226554-1 is not prime. Res64: 5ED1F05F2F2A378C Time : 0.0 sec. user=mdettweiler [2012-08-16 13:03:05] 619*2^1226555-1 is not prime. Res64: A20DB3ADCF492D1E Time : 0.0 sec. user=mdettweiler [2012-08-16 13:03:06] 663*2^1226555-1 is not prime. Res64: 917E7DD9AD12422A Time : 0.0 sec. user=mdettweiler [2012-08-16 13:03:54] 789*2^1226555-1 is not prime. Res64: 7138A532EF598444 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:03:54] 841*2^1226555-1 is not prime. Res64: F073B577CF83C6C9 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:22:35] 889*2^1226555-1 is not prime. Res64: 3000E02350F52150 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:23:47] 627*2^1226556-1 is not prime. Res64: 942FA5AE7008AEED Time : 0.0 sec. user=mdettweiler [2012-08-16 13:23:48] 635*2^1226556-1 is not prime. Res64: 8AA1B931B7104E93 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:24:38] 683*2^1226556-1 is not prime. Res64: FBE07FEE2CA595A1 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:24:39] 693*2^1226556-1 is not prime. Res64: BD1F285E2AC21C4E Time : 0.0 sec. user=mdettweiler [2012-08-16 13:34:09] 973*2^1226555-1 is not prime. Res64: 06FD48B57B4F9ACF Time : 0.0 sec. user=mdettweiler [2012-08-16 13:44:31] 773*2^1226556-1 is not prime. Res64: 1C74295F4A0032F3 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:44:31] 777*2^1226556-1 is not prime. Res64: C43360846B6AAC62 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:45:21] 809*2^1226556-1 is not prime. Res64: B0C21AB67FFC6D27 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:45:22] 825*2^1226556-1 is not prime. Res64: 2CD799969E93F792 Time : 0.0 sec. user=mdettweiler [2012-08-16 13:54:02] 695*2^1226556-1 is not prime. Res64: 55398D7904ED8115 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:04:35] 639*2^1226557-1 is not prime. Res64: 53EC217A7B098D4A Time : 0.0 sec. user=mdettweiler [2012-08-16 14:05:15] 699*2^1226557-1 is not prime. Res64: AD86A786E6166E70 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:05:17] 889*2^1226557-1 is not prime. Res64: 644306DBC5E697A5 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:06:05] 945*2^1226557-1 is not prime. Res64: F8ACD2DBAD066495 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:06:06] 713*2^1226558-1 is not prime. Res64: 1957931F0CD68881 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:24:47] 753*2^1226558-1 is not prime. Res64: 8F50EC401AF0DD98 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:26:27] 773*2^1226558-1 is not prime. Res64: C7CBAC71430F27DF Time : 0.0 sec. user=mdettweiler [2012-08-16 14:26:28] 813*2^1226558-1 is not prime. Res64: B18DBA804462FE76 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:27:20] 833*2^1226558-1 is not prime. Res64: DCF257D77DC7CA69 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:27:21] 915*2^1226558-1 is not prime. Res64: 9F84FA9E4CA93EFD Time : 0.0 sec. user=mdettweiler [2012-08-16 14:35:53] 767*2^1226558-1 is not prime. Res64: 2E9441A6D66F1B05 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:47:30] 619*2^1226559-1 is not prime. Res64: 0A6005319C70EC40 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:47:31] 691*2^1226559-1 is not prime. Res64: 10CD5DD60D4110E3 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:48:22] 723*2^1226559-1 is not prime. Res64: F76FBA466640F733 Time : 0.0 sec. user=mdettweiler [2012-08-16 14:48:23] 735*2^1226559-1 is not prime. Res64: A5E4F1347A37070C Time : 0.0 sec. user=mdettweiler [2012-08-16 14:55:07] 941*2^1226558-1 is not prime. Res64: 900A4FB4189B9F23 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:06:10] 741*2^1226559-1 is not prime. Res64: F7B2294A73C8588C Time : 0.0 sec. user=mdettweiler [2012-08-16 15:08:14] 823*2^1226559-1 is not prime. Res64: 5EC1C17E58735E59 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:08:16] 931*2^1226559-1 is not prime. Res64: 0A4F59CE26B6B266 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:09:05] 969*2^1226559-1 is not prime. Res64: AC5E9B7FA8870D81 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:09:05] 973*2^1226559-1 is not prime. Res64: 31C7E081F7DE363F Time : 0.0 sec. user=mdettweiler [2012-08-16 15:26:01] 991*2^1226559-1 is not prime. Res64: F0E7305CBF5229DF Time : 0.0 sec. user=mdettweiler [2012-08-16 15:29:10] 609*2^1226560-1 is not prime. Res64: FA9E70F2F9E55A83 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:29:11] 699*2^1226560-1 is not prime. Res64: 5C7B07FCCF904BA9 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:29:51] 713*2^1226560-1 is not prime. Res64: 8FE98120DC29AC83 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:29:52] 875*2^1226560-1 is not prime. Res64: 7931C04183139130 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:37:11] 603*2^1226560-1 is not prime. Res64: 9EB587A23171899C Time : 0.0 sec. user=mdettweiler [2012-08-16 15:49:56] 691*2^1226561-1 is not prime. Res64: ADDF87F95AEE6860 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:49:57] 747*2^1226561-1 is not prime. Res64: 466C160EF88CE010 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:50:36] 775*2^1226561-1 is not prime. Res64: 27398610209B98C4 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:50:37] 811*2^1226561-1 is not prime. Res64: 2322E957EFD6ABA1 Time : 0.0 sec. user=mdettweiler [2012-08-16 15:56:16] 657*2^1226561-1 is not prime. Res64: F13931F6043F70B4 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:07:21] 865*2^1226561-1 is not prime. Res64: 3F362FEB35249C45 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:10:41] 951*2^1226561-1 is not prime. Res64: 1A14D5F009A752AB Time : 0.0 sec. user=mdettweiler [2012-08-16 16:10:42] 621*2^1226562-1 is not prime. Res64: 46C70229F379CC62 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:11:20] 647*2^1226562-1 is not prime. Res64: 87AB42DFC82976FA Time : 0.0 sec. user=mdettweiler [2012-08-16 16:11:21] 705*2^1226562-1 is not prime. Res64: A105F1DCA0E4CE9B Time : 0.0 sec. user=mdettweiler [2012-08-16 16:26:29] 803*2^1226562-1 is not prime. Res64: 22771079E1265694 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:31:30] 875*2^1226562-1 is not prime. Res64: 70F84887F9885516 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:31:30] 903*2^1226562-1 is not prime. Res64: 3765F17AD3E4166E Time : 0.0 sec. user=mdettweiler [2012-08-16 16:32:12] 1001*2^1226562-1 is not prime. Res64: 69A18BC4D4B599C8 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:32:12] 693*2^1226563-1 is not prime. Res64: 3AE6F89062250B70 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:37:39] 815*2^1226562-1 is not prime. Res64: 60B88610BAEEBB86 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:52:35] 789*2^1226563-1 is not prime. Res64: 8E125D9FFAAE2688 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:52:35] 855*2^1226563-1 is not prime. Res64: 10F550C776C20B16 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:53:17] 861*2^1226563-1 is not prime. Res64: 21391FB193FC21D5 Time : 0.0 sec. user=mdettweiler [2012-08-16 16:53:17] 883*2^1226563-1 is not prime. Res64: 4E05F0DDFB1CD51F Time : 0.0 sec. user=mdettweiler [2012-08-16 16:57:18] 723*2^1226563-1 is not prime. Res64: E4CAB49EDA1766AF Time : 0.0 sec. user=mdettweiler [2012-08-16 17:08:21] 623*2^1226564-1 is not prime. Res64: 09A782C6E2B79A1D Time : 0.0 sec. user=mdettweiler [2012-08-16 17:13:40] 767*2^1226564-1 is not prime. Res64: B950EF76B22E4610 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:13:40] 875*2^1226564-1 is not prime. Res64: A2F3BD1DBF5F0E79 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:14:23] 627*2^1226565-1 is not prime. Res64: 2F8EF300BAFD4487 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:14:23] 639*2^1226565-1 is not prime. Res64: A0786D30638968B3 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:27:27] 895*2^1226565-1 is not prime. Res64: 95028D5D56780ED8 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:35:31] 1001*2^1226566-1 is not prime. Res64: 871B0AE379BD7F66 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:35:32] 619*2^1226567-1 is not prime. Res64: AD54B376AE3117AE Time : 0.0 sec. user=mdettweiler [2012-08-16 17:36:00] 635*2^1226566-1 is not prime. Res64: 8E7BFE19F58D29ED Time : 0.0 sec. user=mdettweiler [2012-08-16 17:36:00] 861*2^1226566-1 is not prime. Res64: 97D8903480688E69 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:38:33] 975*2^1226565-1 is not prime. Res64: 43B53984AB9F303B Time : 0.0 sec. user=mdettweiler [2012-08-16 17:56:37] 685*2^1226567-1 is not prime. Res64: 57ECFB1B50E5C727 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:56:37] 715*2^1226567-1 is not prime. Res64: 8D935FC701672408 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:57:06] 735*2^1226567-1 is not prime. Res64: A88528AFA2F334DB Time : 0.0 sec. user=mdettweiler [2012-08-16 17:57:06] 949*2^1226567-1 is not prime. Res64: C10F1408C28A6AB4 Time : 0.0 sec. user=mdettweiler [2012-08-16 17:57:44] 675*2^1226567-1 is not prime. Res64: F69114917FB914B7 Time : 0.0 sec. user=mdettweiler [2012-08-16 18:08:44] 665*2^1226568-1 is not prime. Res64: A45873E50024D1EC Time : 0.0 sec. user=mdettweiler [2012-08-16 18:17:41] 669*2^1226568-1 is not prime. Res64: C231ED577226017E Time : 0.0 sec. user=mdettweiler [2012-08-16 18:17:41] 683*2^1226568-1 is not prime. Res64: 1490156414ECD7FF Time : 0.0 sec. user=mdettweiler [2012-08-16 18:18:11] 759*2^1226568-1 is not prime. Res64: 7F9857BACEADC9E9 Time : 0.0 sec. user=mdettweiler [2012-08-16 18:18:12] 795*2^1226568-1 is not prime. Res64: 63FA38A6541A361A Time : 0.0 sec. user=mdettweiler [2012-08-16 18:28:04] 927*2^1226568-1 is not prime. Res64: 98A277627A9F710A Time : 0.0 sec. user=mdettweiler [2012-08-16 18:38:48] 639*2^1226569-1 is not prime. Res64: 97EAFC5E128CAAD7 Time : 0.0 sec. user=mdettweiler [2012-08-16 18:38:49] 721*2^1226569-1 is not prime. Res64: 15E2E3F592D2C5F8 Time : 0.0 sec. user=mdettweiler [2012-08-16 18:39:05] 625*2^1226569-1 is not prime. Res64: 8F4A7DBB51CAF294 Time : 0.0 sec. user=mdettweiler [2012-08-16 18:39:16] 775*2^1226569-1 is not prime. Res64: B83920449EBFC89B Time : 0.0 sec. user=mdettweiler [2012-08-16 18:39:16] 829*2^1226569-1 is not prime. Res64: F7C5F3CEDAB79433 Time : 0.0 sec. user=mdettweiler [2012-08-16 18:58:15] 909*2^1226569-1 is not prime. Res64: 7933D1DA7AF00261 Time : 0.0 sec. user=mdettweiler [2012-08-16 18:59:52] 945*2^1226569-1 is not prime. Res64: BBDC221C20D474EE Time : 0.0 sec. user=mdettweiler [2012-08-16 18:59:52] 951*2^1226569-1 is not prime. Res64: B738AF2BE8CE058D Time : 0.0 sec. user=mdettweiler [2012-08-16 19:00:20] 615*2^1226570-1 is not prime. Res64: D1E5529EB97B95F4 Time : 0.0 sec. user=mdettweiler [2012-08-16 19:00:21] 675*2^1226570-1 is not prime. Res64: ADD98351B6346B42 Time : 0.0 sec. user=mdettweiler [2012-08-16 19:09:09] 955*2^1226569-1 is not prime. Res64: C9B0787815ED9355 Time : 0.0 sec. user=mdettweiler [2012-08-16 19:20:56] 857*2^1226570-1 is not prime. Res64: 6A6D4F33DCB10CDB Time : 0.0 sec. user=mdettweiler [2012-08-16 19:20:57] 1001*2^1226570-1 is not prime. Res64: 6E381E86AF20E4A3 Time : 0.0 sec. user=mdettweiler [2012-08-16 19:21:26] 871*2^1226571-1 is not prime. Res64: 054781B70B856A3E Time : 0.0 sec. user=mdettweiler [2012-08-16 19:21:26] 949*2^1226571-1 is not prime. Res64: E9D3E4647706E07A Time : 0.0 sec. user=mdettweiler [2012-08-16 19:28:17] 797*2^1226570-1 is not prime. Res64: 4091B3444B05A8EE Time : 0.0 sec. user=mdettweiler [2012-08-16 19:39:30] 605*2^1226572-1 is not prime. Res64: A19EFB713AFCA3E8 Time : 0.0 sec. user=mdettweiler [2012-08-16 19:42:03] 689*2^1226572-1 is not prime. Res64: 5EC60CBAFB85181A Time : 0.0 sec. user=mdettweiler [2012-08-16 19:42:03] 735*2^1226572-1 is not prime. Res64: 791E3CD4014AE1FE Time : 0.0 sec. user=mdettweiler [2012-08-16 19:42:30] 875*2^1226572-1 is not prime. Res64: 1F67CB38D1E9560D Time : 0.0 sec. user=mdettweiler [2012-08-16 19:42:30] 899*2^1226572-1 is not prime. Res64: E4F51785338A51F5 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:01:27] 923*2^1226572-1 is not prime. Res64: B127D572EE874C36 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:03:05] 745*2^1226573-1 is not prime. Res64: 80338D71388DB610 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:03:05] 771*2^1226573-1 is not prime. Res64: 6EF26B5E277BFB58 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:03:33] 789*2^1226573-1 is not prime. Res64: DE49A8412FD43F5A Time : 0.0 sec. user=mdettweiler [2012-08-16 20:03:34] 831*2^1226573-1 is not prime. Res64: 1E5B185C053BD39C Time : 0.0 sec. user=mdettweiler [2012-08-16 20:11:13] 699*2^1226573-1 is not prime. Res64: 5EFA3776F224ECD5 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:24:08] 901*2^1226573-1 is not prime. Res64: 1AA095ABCA6376D8 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:24:08] 915*2^1226573-1 is not prime. Res64: 17558B5E4425709F Time : 0.0 sec. user=mdettweiler [2012-08-16 20:24:40] 939*2^1226573-1 is not prime. Res64: 92EEE7C6D9AA5555 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:24:40] 627*2^1226574-1 is not prime. Res64: 3C369754FC03CF55 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:31:47] 885*2^1226573-1 is not prime. Res64: 0C01D2CBD7421637 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:41:24] 651*2^1226574-1 is not prime. Res64: 56480AE5BD1FC433 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:45:12] 695*2^1226574-1 is not prime. Res64: 5D0F0EB38CC9C008 Time : 0.0 sec. user=mdettweiler [2012-08-16 20:45:12] 707*2^1226574-1 is not prime. Res64: 7A1698E509F97F8C Time : 0.0 sec. user=mdettweiler [2012-08-16 20:45:45] 737*2^1226574-1 is not prime. Res64: D4E91E0A1C25C38A Time : 0.0 sec. user=mdettweiler [2012-08-16 20:45:45] 747*2^1226574-1 is not prime. Res64: A8E9C160B8A062F9 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:01:52] 821*2^1226574-1 is not prime. Res64: E3C510030F45F6C2 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:06:17] 873*2^1226574-1 is not prime. Res64: 64ECDFAA53E8AE97 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:06:20] 885*2^1226574-1 is not prime. Res64: 99E49ED90293C5B9 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:06:49] 927*2^1226574-1 is not prime. Res64: AAB4B800C4BF7A03 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:06:51] 957*2^1226574-1 is not prime. Res64: 6D020F58716FCE45 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:11:29] 851*2^1226574-1 is not prime. Res64: DA48CFFD0C159631 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:27:31] 723*2^1226575-1 is not prime. Res64: 70EED2402A893832 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:27:31] 735*2^1226575-1 is not prime. Res64: 5D7103ACC0D35979 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:28:01] 849*2^1226575-1 is not prime. Res64: B0ACB6125C69575B Time : 0.0 sec. user=mdettweiler [2012-08-16 21:28:01] 973*2^1226575-1 is not prime. Res64: 210AA1BB318467F2 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:32:09] 693*2^1226575-1 is not prime. Res64: 6311F470045FB169 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:41:38] 633*2^1226576-1 is not prime. Res64: C94FB9DF573CD5DB Time : 0.0 sec. user=mdettweiler [2012-08-16 21:48:40] 659*2^1226576-1 is not prime. Res64: 0D8054A96122235E Time : 0.0 sec. user=mdettweiler [2012-08-16 21:48:40] 815*2^1226576-1 is not prime. Res64: 57407012A1E9F8C6 Time : 0.0 sec. user=mdettweiler [2012-08-16 21:49:04] 781*2^1226577-1 is not prime. Res64: 39AA0E21F02AA53B Time : 0.0 sec. user=mdettweiler [2012-08-16 21:49:04] 909*2^1226577-1 is not prime. Res64: FF3F62E293CA036B Time : 0.0 sec. user=mdettweiler [2012-08-16 22:02:14] 997*2^1226577-1 is not prime. Res64: E483E4537D8A690C Time : 0.0 sec. user=mdettweiler [2012-08-16 22:09:43] 605*2^1226578-1 is not prime. Res64: 3F7F777A3778C995 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:09:45] 821*2^1226578-1 is not prime. Res64: DB834D15071A4211 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:10:08] 827*2^1226578-1 is not prime. Res64: CFA64B8E449E38F6 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:10:09] 645*2^1226579-1 is not prime. Res64: CBEFC1BF43762ECB Time : 0.0 sec. user=mdettweiler [2012-08-16 22:11:41] 603*2^1226578-1 is not prime. Res64: A2F680CB413D395F Time : 0.0 sec. user=mdettweiler [2012-08-16 22:31:08] 735*2^1226579-1 is not prime. Res64: 74B4C3C427A17E75 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:31:08] 745*2^1226579-1 is not prime. Res64: 935F776CAD9FE155 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:31:15] 823*2^1226579-1 is not prime. Res64: D34563901EE0511C Time : 0.0 sec. user=mdettweiler [2012-08-16 22:31:15] 669*2^1226580-1 is not prime. Res64: 0A1FA2441AF5C716 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:32:28] 669*2^1226579-1 is not prime. Res64: 8ED49FC222D9F3F3 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:41:42] 795*2^1226580-1 is not prime. Res64: 47276CF6ACB83CE0 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:52:12] 819*2^1226580-1 is not prime. Res64: 58A04C084F1012A7 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:52:12] 867*2^1226580-1 is not prime. Res64: C1978377D00B1EF1 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:52:18] 965*2^1226580-1 is not prime. Res64: 2E0C88929C871FE9 Time : 0.0 sec. user=mdettweiler [2012-08-16 22:52:18] 625*2^1226581-1 is not prime. Res64: CA76DB3878E1FBFD Time : 0.0 sec. user=mdettweiler [2012-08-16 23:02:37] 771*2^1226581-1 is not prime. Res64: 25ACCBCC6F17F3A1 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:12:00] 801*2^1226581-1 is not prime. Res64: A15DAE04E9793CD8 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:13:17] 825*2^1226581-1 is not prime. Res64: 8C937A0EEFAE235D Time : 0.0 sec. user=mdettweiler [2012-08-16 23:13:17] 835*2^1226581-1 is not prime. Res64: 3F23037B0B8A9B40 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:13:23] 855*2^1226581-1 is not prime. Res64: 0BDA4DD0E5904AE4 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:13:24] 859*2^1226581-1 is not prime. Res64: C9822548A6BA5ED4 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:33:09] 937*2^1226581-1 is not prime. Res64: 948868BF4961FEB1 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:34:27] 987*2^1226581-1 is not prime. Res64: 9A6C9999091E3BC7 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:34:28] 999*2^1226581-1 is not prime. Res64: 7B02B04433D661BF Time : 0.0 sec. user=mdettweiler [2012-08-16 23:34:43] 801*2^1226582-1 is not prime. Res64: 025A56A2DB9C7CBB Time : 0.0 sec. user=mdettweiler [2012-08-16 23:34:43] 875*2^1226582-1 is not prime. Res64: B4418E632B29DCFF Time : 0.0 sec. user=mdettweiler [2012-08-16 23:42:15] 957*2^1226581-1 is not prime. Res64: 2ACCDAD7A3E396A3 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:56:21] 991*2^1226583-1 is not prime. Res64: 8D7E29787BF545C9 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:56:21] 623*2^1226584-1 is not prime. Res64: 136C0B3F7FCF88DD Time : 0.0 sec. user=mdettweiler [2012-08-16 23:56:24] 825*2^1226583-1 is not prime. Res64: 915DA35F917E53E0 Time : 0.0 sec. user=mdettweiler [2012-08-16 23:56:24] 921*2^1226583-1 is not prime. Res64: 5015951038BC09A1 Time : 0.0 sec.