user=mdettweiler [2013-01-28 00:08:52] 619*2^1240075-1 is not prime. Res64: 65199266918C87F3 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:08:54] 645*2^1240075-1 is not prime. Res64: 8CE19D7469118465 Time : 0.0 sec. user=vaughan [2013-01-28 00:13:31] 683*2^1240074-1 is not prime. Res64: B57D7C322DF78F07 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:16:38] 691*2^1240075-1 is not prime. Res64: BA995DB511E09FB1 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:16:39] 853*2^1240075-1 is not prime. Res64: A523C0E4CB63BB42 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:26:20] 861*2^1240075-1 is not prime. Res64: 0CB437ADBA001949 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:26:21] 623*2^1240076-1 is not prime. Res64: 4AD330031B35E9C0 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:34:03] 777*2^1240076-1 is not prime. Res64: CBF3D6F9A3E71F1E Time : 0.0 sec. user=mdettweiler [2013-01-28 00:34:04] 825*2^1240076-1 is not prime. Res64: 4F29369FE11561C2 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:43:43] 875*2^1240076-1 is not prime. Res64: 83A18D27864546A7 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:43:44] 923*2^1240076-1 is not prime. Res64: 00950595BA7E5DE6 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:51:27] 963*2^1240076-1 is not prime. Res64: FAFFD6D18F87AE62 Time : 0.0 sec. user=mdettweiler [2013-01-28 00:51:28] 999*2^1240076-1 is not prime. Res64: 572594ADA48DE198 Time : 0.0 sec. user=vaughan [2013-01-28 00:51:39] 669*2^1240076-1 is not prime. Res64: 590EA713DA4B1937 Time : 0.0 sec. user=juhehe [2013-01-28 00:55:52] 843*2^1240076-1 is not prime. Res64: 46C29881F5092D5D Time : 0.0 sec. user=mdettweiler [2013-01-28 01:01:05] 621*2^1240077-1 is not prime. Res64: 13A8616BF0F9B5ED Time : 0.0 sec. user=mdettweiler [2013-01-28 01:01:07] 649*2^1240077-1 is not prime. Res64: 326C2EBEED14F8A2 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:08:48] 655*2^1240077-1 is not prime. Res64: 2265BA8CDC2E74C3 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:08:49] 741*2^1240077-1 is not prime. Res64: 52064F738081E32D Time : 0.0 sec. user=mdettweiler [2013-01-28 01:18:39] 825*2^1240077-1 is not prime. Res64: 3EAF03DE1B1AEC69 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:18:40] 889*2^1240077-1 is not prime. Res64: B33C1A8CC7B00D42 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:26:15] 999*2^1240077-1 is not prime. Res64: 191B122113705DBE Time : 0.0 sec. user=mdettweiler [2013-01-28 01:26:15] 731*2^1240078-1 is not prime. Res64: 7E0369DECBE9669E Time : 0.0 sec. user=vaughan [2013-01-28 01:29:33] 747*2^1240077-1 is not prime. Res64: 2F727C2430E34672 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:36:05] 791*2^1240078-1 is not prime. Res64: CFEA5BA077F78C2C Time : 0.0 sec. user=mdettweiler [2013-01-28 01:36:06] 833*2^1240078-1 is not prime. Res64: 66B71EE5D123B1BE Time : 0.0 sec. user=mdettweiler [2013-01-28 01:43:36] 855*2^1240078-1 is not prime. Res64: 969C3ED4E2B7E2E4 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:43:37] 857*2^1240078-1 is not prime. Res64: 57FC77304EA44A05 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:53:29] 911*2^1240078-1 is not prime. Res64: 0C5BC85DB2671F75 Time : 0.0 sec. user=mdettweiler [2013-01-28 01:53:30] 945*2^1240078-1 is not prime. Res64: D06B92D3985ECB0F Time : 0.0 sec. user=mdettweiler [2013-01-28 02:01:01] 633*2^1240079-1 is not prime. Res64: B95CA1E6AA385A09 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:01:02] 705*2^1240079-1 is not prime. Res64: 00B95748427EC668 Time : 0.0 sec. user=vaughan [2013-01-28 02:07:25] 897*2^1240078-1 is not prime. Res64: 3740832F78B9E635 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:10:49] 711*2^1240079-1 is not prime. Res64: 2B0735473C1AB6A3 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:10:51] 721*2^1240079-1 is not prime. Res64: E6E4940B311ECA21 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:18:25] 831*2^1240079-1 is not prime. Res64: 48A94B4CE2C6A7ED Time : 0.0 sec. user=mdettweiler [2013-01-28 02:18:26] 859*2^1240079-1 is not prime. Res64: AE1576C40031BDE2 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:28:16] 931*2^1240079-1 is not prime. Res64: 80A0680333CB45F1 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:28:16] 993*2^1240079-1 is not prime. Res64: 5BDAEF3B5370EF4E Time : 0.0 sec. user=juhehe [2013-01-28 02:32:13] 825*2^1240079-1 is not prime. Res64: 371D3977F7E91D51 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:35:52] 615*2^1240080-1 is not prime. Res64: FC4411ECE6A0DE57 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:35:56] 623*2^1240080-1 is not prime. Res64: 90FBC169D2F5BFAE Time : 0.0 sec. user=vaughan [2013-01-28 02:45:25] 909*2^1240079-1 is not prime. Res64: A92B2E2ABFA76533 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:45:40] 627*2^1240080-1 is not prime. Res64: B29AFDFFB133DA7F Time : 0.0 sec. user=mdettweiler [2013-01-28 02:45:46] 725*2^1240080-1 is not prime. Res64: 57D390B226D8BE38 Time : 0.0 sec. user=mdettweiler [2013-01-28 02:53:21] 753*2^1240080-1 is not prime. Res64: D8447BE2886B389E Time : 0.0 sec. user=mdettweiler [2013-01-28 02:53:23] 795*2^1240080-1 is not prime. Res64: C74C7AFFC4438A53 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:03:28] 887*2^1240080-1 is not prime. Res64: AFFE2E53FF057695 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:03:31] 705*2^1240081-1 is not prime. Res64: FBC6A3C2A33DE668 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:10:56] 855*2^1240081-1 is not prime. Res64: B192825E19333719 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:10:57] 877*2^1240081-1 is not prime. Res64: C6B37A02B5F030D6 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:20:58] 657*2^1240082-1 is not prime. Res64: 3F8C6C895E6314E9 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:20:59] 671*2^1240082-1 is not prime. Res64: AC16B9CF8DB7D398 Time : 0.0 sec. user=vaughan [2013-01-28 03:23:48] 839*2^1240080-1 is not prime. Res64: 7074FAD3A8CCF741 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:28:22] 731*2^1240082-1 is not prime. Res64: 50054C5F4A842C4A Time : 0.0 sec. user=mdettweiler [2013-01-28 03:28:23] 741*2^1240082-1 is not prime. Res64: 0A4EE30B13A7B09E Time : 0.0 sec. user=mdettweiler [2013-01-28 03:38:22] 791*2^1240082-1 is not prime. Res64: 95677D0802A12644 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:38:24] 867*2^1240082-1 is not prime. Res64: E9ABD7B789F8602A Time : 0.0 sec. user=mdettweiler [2013-01-28 03:45:45] 619*2^1240083-1 is not prime. Res64: 9B78FEA06AF6CBD3 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:45:45] 663*2^1240083-1 is not prime. Res64: 2C5DDE207C727331 Time : 0.0 sec. user=mdettweiler [2013-01-28 03:55:51] 795*2^1240083-1 is not prime. Res64: 8DA825B41BB8EA0A Time : 0.0 sec. user=mdettweiler [2013-01-28 03:55:52] 895*2^1240083-1 is not prime. Res64: BECAFA0500970838 Time : 0.0 sec. user=vaughan [2013-01-28 04:01:40] 953*2^1240082-1 is not prime. Res64: 1ED154D8F6F9CE44 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:03:09] 657*2^1240084-1 is not prime. Res64: B49C5A18FDDB0C58 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:03:11] 665*2^1240084-1 is not prime. Res64: 1B8D46D6FF5150EC Time : 0.0 sec. user=juhehe [2013-01-28 04:09:23] 793*2^1240083-1 is not prime. Res64: 66F5D560076CE032 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:13:13] 785*2^1240084-1 is not prime. Res64: 9FB85DFC20150F18 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:13:14] 875*2^1240084-1 is not prime. Res64: C8AE6D226838490F Time : 0.0 sec. user=mdettweiler [2013-01-28 04:20:36] 929*2^1240084-1 is not prime. Res64: 1505043E65B3BF96 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:20:37] 655*2^1240085-1 is not prime. Res64: 577ADE77F96D383B Time : 0.0 sec. user=mdettweiler [2013-01-28 04:30:41] 657*2^1240085-1 is not prime. Res64: 7D3BB872FA369DE0 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:30:42] 685*2^1240085-1 is not prime. Res64: FC7FEB35BAA52DE8 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:37:57] 735*2^1240085-1 is not prime. Res64: DCB1AED2DFAC1C3A Time : 0.0 sec. user=mdettweiler [2013-01-28 04:37:59] 759*2^1240085-1 is not prime. Res64: C7570BAE027B6465 Time : 0.0 sec. user=vaughan [2013-01-28 04:39:47] 905*2^1240084-1 is not prime. Res64: 18DEAA8A23A94816 Time : 0.0 sec. user=mdettweiler [2013-01-28 04:48:13] 987*2^1240085-1 is not prime. Res64: ED936B3E081FD0EC Time : 0.0 sec. user=mdettweiler [2013-01-28 04:48:14] 677*2^1240086-1 is not prime. Res64: 2B1572CA0E6D6B8B Time : 0.0 sec. user=mdettweiler [2013-01-28 04:55:24] 761*2^1240086-1 is not prime. Res64: 9AD3F9CB6AD3393B Time : 0.0 sec. user=mdettweiler [2013-01-28 04:55:24] 875*2^1240086-1 is not prime. Res64: C634AC2992B80DF8 Time : 0.0 sec. user=mdettweiler [2013-01-28 05:05:39] 609*2^1240087-1 is not prime. Res64: 942CA42D48803D75 Time : 0.0 sec. user=mdettweiler [2013-01-28 05:05:40] 649*2^1240087-1 is not prime. Res64: 0BAE257EC1FE1C7D Time : 0.0 sec. user=mdettweiler [2013-01-28 05:12:44] 675*2^1240087-1 is not prime. Res64: B948A9B1DBD3DDC0 Time : 0.0 sec. user=mdettweiler [2013-01-28 05:12:45] 793*2^1240087-1 is not prime. Res64: ADE0C04B5085FA0A Time : 0.0 sec. user=vaughan [2013-01-28 05:17:40] 923*2^1240086-1 is not prime. Res64: 9B90EAC4942CBCE2 Time : 0.0 sec. user=mdettweiler [2013-01-28 05:23:04] 895*2^1240087-1 is not prime. Res64: 1A0852C888F29EFB Time : 0.0 sec. user=mdettweiler [2013-01-28 05:23:05] 919*2^1240087-1 is not prime. Res64: 2DF739D3EAF58ADD Time : 0.0 sec. user=mdettweiler [2013-01-28 05:30:06] 975*2^1240087-1 is not prime. Res64: 876DDA84DBEBFD84 Time : 0.0 sec. user=mdettweiler [2013-01-28 05:30:07] 767*2^1240088-1 is not prime. Res64: CDD6E90CD879780B Time : 0.0 sec. user=mdettweiler [2013-01-28 05:40:25] 777*2^1240088-1 is not prime. Res64: 62483BD9A30573CE Time : 0.0 sec. user=mdettweiler [2013-01-28 05:40:25] 797*2^1240088-1 is not prime. Res64: 205E04926264448D Time : 0.0 sec. user=juhehe [2013-01-28 05:45:52] 933*2^1240087-1 is not prime. Res64: 0FC76FF2639C89AC Time : 0.0 sec. user=mdettweiler [2013-01-28 05:47:29] 825*2^1240088-1 is not prime. Res64: 7FB803CEA5628C47 Time : 0.0 sec. user=mdettweiler [2013-01-28 05:47:29] 827*2^1240088-1 is not prime. Res64: 15C3E54D185A29C6 Time : 0.0 sec. user=vaughan [2013-01-28 05:55:34] 773*2^1240088-1 is not prime. Res64: C7CAA3C320828A7B Time : 0.0 sec. user=mdettweiler [2013-01-28 05:57:46] 845*2^1240088-1 is not prime. Res64: A3AA3D1D1AA60F94 Time : 0.0 sec. user=mdettweiler [2013-01-28 05:57:46] 855*2^1240088-1 is not prime. Res64: D7AFDB4D71BAFD6D Time : 0.0 sec. user=mdettweiler [2013-01-28 06:04:50] 935*2^1240088-1 is not prime. Res64: 766F163E485B37D0 Time : 0.0 sec. user=mdettweiler [2013-01-28 06:04:52] 999*2^1240088-1 is not prime. Res64: 73D4D68F1359578D Time : 0.0 sec. user=mdettweiler [2013-01-28 06:15:28] 691*2^1240089-1 is not prime. Res64: 84330F88295859F6 Time : 0.0 sec. user=mdettweiler [2013-01-28 06:22:18] 861*2^1240089-1 is not prime. Res64: 1477E557E7DF3363 Time : 0.0 sec. user=mdettweiler [2013-01-28 06:22:19] 919*2^1240089-1 is not prime. Res64: A655B4A7A36CDD4C Time : 0.0 sec. user=mdettweiler [2013-01-28 06:33:27] 847*2^1240089-1 is not prime. Res64: DC87573BD53ECA1B Time : 0.0 sec. user=vaughan [2013-01-28 06:33:29] 681*2^1240089-1 is not prime. Res64: C0989BA4C17DC81B Time : 0.0 sec. user=mdettweiler [2013-01-28 06:39:41] 949*2^1240089-1 is not prime. Res64: 9351A7EF6FECF7A9 Time : 0.0 sec. user=mdettweiler [2013-01-28 06:39:41] 951*2^1240089-1 is not prime. Res64: 26EF1EF6FA9B6829 Time : 0.0 sec. user=mdettweiler [2013-01-28 06:50:46] 611*2^1240090-1 is not prime. Res64: 2023C77B904018DF Time : 0.0 sec. user=mdettweiler [2013-01-28 06:50:47] 657*2^1240090-1 is not prime. Res64: 2980EBF6B2B24D27 Time : 0.0 sec. user=mdettweiler [2013-01-28 06:57:01] 701*2^1240090-1 is not prime. Res64: 2C14CBAC66247442 Time : 0.0 sec. user=mdettweiler [2013-01-28 06:57:02] 755*2^1240090-1 is not prime. Res64: F14AF7D181075703 Time : 0.0 sec. user=mdettweiler [2013-01-28 07:08:07] 827*2^1240090-1 is not prime. Res64: DDD71792AE95FEB1 Time : 0.0 sec. user=mdettweiler [2013-01-28 07:08:08] 911*2^1240090-1 is not prime. Res64: 68D034DCD95CEA88 Time : 0.0 sec. user=vaughan [2013-01-28 07:11:23] 695*2^1240090-1 is not prime. Res64: 90C3AF730656A2C6 Time : 0.0 sec. user=mdettweiler [2013-01-28 07:14:23] 933*2^1240090-1 is not prime. Res64: 130AFDE40D2ED63C Time : 0.0 sec. user=mdettweiler [2013-01-28 07:14:24] 941*2^1240090-1 is not prime. Res64: 447B24A7AB94512A Time : 0.0 sec. user=mdettweiler [2013-01-28 07:25:28] 995*2^1240090-1 is not prime. Res64: BA1878505D6FB714 Time : 0.0 sec. user=mdettweiler [2013-01-28 07:25:29] 1001*2^1240090-1 is not prime. Res64: 87559A8E8E9675EB Time : 0.0 sec. user=mdettweiler [2013-01-28 07:31:53] 651*2^1240091-1 is not prime. Res64: F5261709E31C58E1 Time : 0.0 sec. user=mdettweiler [2013-01-28 07:31:53] 685*2^1240091-1 is not prime. Res64: E678E5CAE3F79CE5 Time : 0.0 sec. user=mdettweiler [2013-01-28 07:42:49] 823*2^1240091-1 is not prime. Res64: 84EC9F38A7EC16BA Time : 0.0 sec. user=mdettweiler [2013-01-28 07:42:50] 825*2^1240091-1 is not prime. Res64: 906D4D1790B27132 Time : 0.0 sec. user=mdettweiler [2013-01-28 07:49:13] 841*2^1240091-1 is not prime. Res64: EBAB0FB98EDC3B2B Time : 0.0 sec. user=mdettweiler [2013-01-28 07:49:14] 855*2^1240091-1 is not prime. Res64: A3E05936C83A0EEA Time : 0.0 sec. user=vaughan [2013-01-28 07:49:23] 603*2^1240091-1 is not prime. Res64: 7E0F46C86CC73129 Time : 0.0 sec. user=juhehe [2013-01-28 07:53:50] 801*2^1240091-1 is not prime. Res64: 921FAB0968CAF1BB Time : 0.0 sec. user=mdettweiler [2013-01-28 08:00:14] 669*2^1240092-1 is not prime. Res64: E0AA38A98DB1F99C Time : 0.0 sec. user=mdettweiler [2013-01-28 08:00:15] 945*2^1240092-1 is not prime. Res64: F590DDA39C796898 Time : 0.0 sec. user=mdettweiler [2013-01-28 08:06:34] 957*2^1240092-1 is not prime. Res64: 9B5F85F13506DC12 Time : 0.0 sec. user=mdettweiler [2013-01-28 08:06:36] 625*2^1240093-1 is not prime. Res64: FB3B1879B7DF8BE8 Time : 0.0 sec. user=mdettweiler [2013-01-28 08:17:36] 741*2^1240093-1 is not prime. Res64: 3B9858A81398B64B Time : 0.0 sec. user=mdettweiler [2013-01-28 08:17:36] 855*2^1240093-1 is not prime. Res64: 50155E97FBE23DDE Time : 0.0 sec. user=vaughan [2013-01-28 08:27:17] 687*2^1240093-1 is not prime. Res64: 98BDA7B0E5CA2772 Time : 0.0 sec. user=mdettweiler [2013-01-28 08:34:47] 755*2^1240094-1 is not prime. Res64: 1B79EEBF4BC7E502 Time : 0.0 sec. user=mdettweiler [2013-01-28 08:34:48] 965*2^1240094-1 is not prime. Res64: 4C9ACDE7BE15376E Time : 0.0 sec. user=mdettweiler [2013-01-28 08:52:08] 693*2^1240095-1 is not prime. Res64: 149BE14A14667339 Time : 0.0 sec. user=mdettweiler [2013-01-28 08:52:09] 789*2^1240095-1 is not prime. Res64: 16781B2703CBCF6D Time : 0.0 sec. user=mdettweiler [2013-01-28 08:53:52] 635*2^1240094-1 is not prime. Res64: 0DCE51E13DD7636E Time : 0.0 sec. user=mdettweiler [2013-01-28 08:53:52] 677*2^1240094-1 is not prime. Res64: A736390BA290B120 Time : 0.0 sec. user=vaughan [2013-01-28 09:05:10] 981*2^1240094-1 is not prime. Res64: 145EE0BE84D37767 Time : 0.0 sec. user=mdettweiler [2013-01-28 09:09:28] 873*2^1240095-1 is not prime. Res64: 3A662C9DC3F68ECB Time : 0.0 sec. user=mdettweiler [2013-01-28 09:09:30] 963*2^1240095-1 is not prime. Res64: 8C8E6DF2D7AEF707 Time : 0.0 sec. user=mdettweiler [2013-01-28 09:11:33] 615*2^1240096-1 is not prime. Res64: 34D62C67981896C5 Time : 0.0 sec. user=mdettweiler [2013-01-28 09:11:37] 639*2^1240096-1 is not prime. Res64: A3F982FB410747BE Time : 0.0 sec. user=mdettweiler [2013-01-28 09:26:52] 927*2^1240096-1 is not prime. Res64: CE5B429689EDCACB Time : 0.0 sec. user=mdettweiler [2013-01-28 09:26:53] 933*2^1240096-1 is not prime. Res64: 78878F56BC4447F4 Time : 0.0 sec. user=mdettweiler [2013-01-28 09:29:17] 957*2^1240096-1 is not prime. Res64: 9FC30EB9E2D904A3 Time : 0.0 sec. user=mdettweiler [2013-01-28 09:29:17] 669*2^1240097-1 is not prime. Res64: 6DFFE411467D55ED Time : 0.0 sec. user=vaughan [2013-01-28 09:43:11] 695*2^1240096-1 is not prime. Res64: 2424E5FA123379EE Time : 0.0 sec. user=mdettweiler [2013-01-28 09:44:18] 691*2^1240097-1 is not prime. Res64: 64E07EB307DE46F9 Time : 0.0 sec. user=mdettweiler [2013-01-28 09:44:18] 699*2^1240097-1 is not prime. Res64: 2109DCB7588DE08A Time : 0.0 sec. user=mdettweiler [2013-01-28 09:46:40] 777*2^1240097-1 is not prime. Res64: 74B6251D43E52B3E Time : 0.0 sec. user=mdettweiler [2013-01-28 09:46:40] 831*2^1240097-1 is not prime. Res64: E7CE6A73EC6AD321 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:01:38] 901*2^1240097-1 is not prime. Res64: C2F099B1FC822EDD Time : 0.0 sec. user=mdettweiler [2013-01-28 10:01:40] 651*2^1240098-1 is not prime. Res64: C0530724A24B3177 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:04:01] 705*2^1240098-1 is not prime. Res64: 2265A18A27AAFC8E Time : 0.0 sec. user=mdettweiler [2013-01-28 10:04:02] 737*2^1240098-1 is not prime. Res64: 192938BF3178E73A Time : 0.0 sec. user=mdettweiler [2013-01-28 10:19:12] 861*2^1240098-1 is not prime. Res64: 2DC8E22714E6ED6B Time : 0.0 sec. user=mdettweiler [2013-01-28 10:19:12] 951*2^1240098-1 is not prime. Res64: BB2A1342153E59D8 Time : 0.0 sec. user=vaughan [2013-01-28 10:21:05] 861*2^1240097-1 is not prime. Res64: E2A7372703B8FE71 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:21:24] 633*2^1240099-1 is not prime. Res64: 8A7D2BA22EB783D6 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:21:24] 639*2^1240099-1 is not prime. Res64: 9CECD1AA7C19D3FE Time : 0.0 sec. user=mdettweiler [2013-01-28 10:36:34] 723*2^1240099-1 is not prime. Res64: 5188BA9782763D08 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:36:34] 769*2^1240099-1 is not prime. Res64: FE833FD6E65E45E8 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:38:44] 975*2^1240099-1 is not prime. Res64: 459AD36D889785AC Time : 0.0 sec. user=mdettweiler [2013-01-28 10:38:44] 647*2^1240100-1 is not prime. Res64: F73CFF23CA714810 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:53:55] 675*2^1240100-1 is not prime. Res64: E539AC37213F2E7A Time : 0.0 sec. user=mdettweiler [2013-01-28 10:53:55] 677*2^1240100-1 is not prime. Res64: DF1C89ABC6742DD9 Time : 0.0 sec. user=mdettweiler [2013-01-28 10:56:04] 707*2^1240100-1 is not prime. Res64: EC84A5C0C3201C6A Time : 0.0 sec. user=mdettweiler [2013-01-28 10:56:04] 717*2^1240100-1 is not prime. Res64: 76E86908FF250A0C Time : 0.0 sec. user=vaughan [2013-01-28 10:58:59] 811*2^1240099-1 is not prime. Res64: CBF74C74A9E39B66 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:11:15] 803*2^1240100-1 is not prime. Res64: 7B878712FF684322 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:11:16] 839*2^1240100-1 is not prime. Res64: 5E72E21A0007392A Time : 0.0 sec. user=mdettweiler [2013-01-28 11:13:24] 845*2^1240100-1 is not prime. Res64: 233BD09AF9CBCDE9 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:13:25] 899*2^1240100-1 is not prime. Res64: 9CB589ED12CB7D52 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:28:46] 957*2^1240100-1 is not prime. Res64: DC33D3BFA1C3BD50 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:28:47] 609*2^1240101-1 is not prime. Res64: D7B36EC43BAE0C09 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:30:47] 649*2^1240101-1 is not prime. Res64: AB0C82AD24519297 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:30:48] 727*2^1240101-1 is not prime. Res64: 6566909B9FCE2FF6 Time : 0.0 sec. user=vaughan [2013-01-28 11:36:53] 935*2^1240100-1 is not prime. Res64: A8BC403E21E11983 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:46:07] 741*2^1240101-1 is not prime. Res64: 4992C8EF325B8FA5 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:46:07] 781*2^1240101-1 is not prime. Res64: C591A5906926AF8A Time : 0.0 sec. user=mdettweiler [2013-01-28 11:48:09] 795*2^1240101-1 is not prime. Res64: 72C4021529EF10E0 Time : 0.0 sec. user=mdettweiler [2013-01-28 11:48:09] 889*2^1240101-1 is not prime. Res64: A1CBC720DEE54592 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:03:28] 975*2^1240101-1 is not prime. Res64: 230B348EC8ACF7C9 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:03:31] 979*2^1240101-1 is not prime. Res64: 21CD340505066493 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:05:29] 677*2^1240102-1 is not prime. Res64: 0CD2C4253C7F01F3 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:05:30] 761*2^1240102-1 is not prime. Res64: 36C722CEEF045491 Time : 0.0 sec. user=vaughan [2013-01-28 12:14:48] 951*2^1240101-1 is not prime. Res64: 88C828234091432C Time : 0.0 sec. user=mdettweiler [2013-01-28 12:22:53] 661*2^1240103-1 is not prime. Res64: BF0C3B5C03EA5CED Time : 0.0 sec. user=mdettweiler [2013-01-28 12:22:54] 703*2^1240103-1 is not prime. Res64: 27959F282C82394A Time : 0.0 sec. user=mdettweiler [2013-01-28 12:31:36] 951*2^1240102-1 is not prime. Res64: FA91CB421CB62FCD Time : 0.0 sec. user=mdettweiler [2013-01-28 12:31:37] 621*2^1240103-1 is not prime. Res64: 81FCEC7ACF4B0190 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:40:14] 753*2^1240103-1 is not prime. Res64: F406DEA3AFC56AC5 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:40:15] 813*2^1240103-1 is not prime. Res64: 0681A1B80C403152 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:48:58] 921*2^1240103-1 is not prime. Res64: 5ECC7C3ABC9A219C Time : 0.0 sec. user=mdettweiler [2013-01-28 12:48:59] 955*2^1240103-1 is not prime. Res64: 4D12B1FCB5A6E827 Time : 0.0 sec. user=vaughan [2013-01-28 12:52:49] 715*2^1240103-1 is not prime. Res64: 96CF6B2D890E176D Time : 0.0 sec. user=mdettweiler [2013-01-28 12:57:34] 973*2^1240103-1 is not prime. Res64: 8E9ACE5F43C5ED01 Time : 0.0 sec. user=mdettweiler [2013-01-28 12:57:35] 993*2^1240103-1 is not prime. Res64: 6415EE3331600A8E Time : 0.0 sec. user=mdettweiler [2013-01-28 13:06:24] 717*2^1240104-1 is not prime. Res64: FACE0F4E0A4DDCCC Time : 0.0 sec. user=mdettweiler [2013-01-28 13:06:26] 723*2^1240104-1 is not prime. Res64: E644D1D1D08CAA3E Time : 0.0 sec. user=mdettweiler [2013-01-28 13:15:06] 857*2^1240104-1 is not prime. Res64: F1D442BE18F141C0 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:15:06] 899*2^1240104-1 is not prime. Res64: 0085A62EC61F49AB Time : 0.0 sec. user=mdettweiler [2013-01-28 13:24:08] 959*2^1240104-1 is not prime. Res64: 5FEB6FA4A8B6B84B Time : 0.0 sec. user=mdettweiler [2013-01-28 13:24:09] 729*2^1240105-1 is not prime. Res64: 07F8FBE7F26FB11C Time : 0.0 sec. user=vaughan [2013-01-28 13:30:44] 795*2^1240104-1 is not prime. Res64: 9669A5D25DD118DF Time : 0.0 sec. user=mdettweiler [2013-01-28 13:32:50] 741*2^1240105-1 is not prime. Res64: AB62D5E7910B6B10 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:32:51] 771*2^1240105-1 is not prime. Res64: C425CF061B289FF6 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:41:39] 775*2^1240105-1 is not prime. Res64: 3E5025B1E4BD27F3 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:41:39] 777*2^1240105-1 is not prime. Res64: B492BC4744E054C1 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:50:17] 919*2^1240105-1 is not prime. Res64: D92C83E5CE0AB8F2 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:50:17] 937*2^1240105-1 is not prime. Res64: 987CA9E7560A0691 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:59:05] 617*2^1240106-1 is not prime. Res64: 19DE5EFEC6351727 Time : 0.0 sec. user=mdettweiler [2013-01-28 13:59:06] 627*2^1240106-1 is not prime. Res64: 104BD8C986E519DF Time : 0.0 sec. user=mdettweiler [2013-01-28 14:07:44] 645*2^1240106-1 is not prime. Res64: D73DB08298C6EB98 Time : 0.0 sec. user=mdettweiler [2013-01-28 14:07:44] 657*2^1240106-1 is not prime. Res64: D29DBA467C497BBD Time : 0.0 sec. user=vaughan [2013-01-28 14:08:38] 909*2^1240105-1 is not prime. Res64: A6285A4F0C8379DB Time : 0.0 sec. user=juhehe [2013-01-28 14:13:08] 979*2^1240105-1 is not prime. Res64: 26D21C3AF6119161 Time : 0.0 sec. user=mdettweiler [2013-01-28 14:16:32] 705*2^1240106-1 is not prime. Res64: FE4D12DD60A4E6DC Time : 0.0 sec. user=mdettweiler [2013-01-28 14:16:32] 801*2^1240106-1 is not prime. Res64: C1E57E0BCDAA264B Time : 0.0 sec. user=mdettweiler [2013-01-28 14:25:16] 813*2^1240106-1 is not prime. Res64: 08FD8858EAC2A719 Time : 0.0 sec. user=mdettweiler [2013-01-28 14:25:16] 893*2^1240106-1 is not prime. Res64: 4832120BEAEFD68B Time : 0.0 sec. user=mdettweiler [2013-01-28 14:34:06] 805*2^1240107-1 is not prime. Res64: 57EFA18BD97D6C51 Time : 0.0 sec. user=mdettweiler [2013-01-28 14:34:06] 859*2^1240107-1 is not prime. Res64: 41302EDB592B5EFA Time : 0.0 sec. user=mdettweiler [2013-01-28 14:44:11] 871*2^1240107-1 is not prime. Res64: 11EFEA0985C6289D Time : 0.0 sec. user=mdettweiler [2013-01-28 14:44:11] 903*2^1240107-1 is not prime. Res64: 1621F63E04DDCC26 Time : 0.0 sec. user=vaughan [2013-01-28 14:46:32] 741*2^1240107-1 is not prime. Res64: E71A279E11BFBDA7 Time : 0.0 sec. user=juhehe [2013-01-28 14:46:42] 765*2^1240107-1 is not prime. Res64: E814F09C34C47114 Time : 0.0 sec. user=mdettweiler [2013-01-28 14:53:37] 909*2^1240107-1 is not prime. Res64: 809BD25862C0365B Time : 0.0 sec. user=mdettweiler [2013-01-28 14:53:37] 605*2^1240108-1 is not prime. Res64: 2BA46611612C64EF Time : 0.0 sec. user=mdettweiler [2013-01-28 15:02:26] 689*2^1240108-1 is not prime. Res64: A7CA15AB2958C2C1 Time : 0.0 sec. user=mdettweiler [2013-01-28 15:02:27] 749*2^1240108-1 is not prime. Res64: 664FCC6AC319E4AB Time : 0.0 sec. user=mdettweiler [2013-01-28 15:11:28] 855*2^1240108-1 is not prime. Res64: 9D196EB4871EE8FA Time : 0.0 sec. user=mdettweiler [2013-01-28 15:11:30] 923*2^1240108-1 is not prime. Res64: 96F7F433F9987F24 Time : 0.0 sec. user=juhehe [2013-01-28 15:20:09] 827*2^1240108-1 is not prime. Res64: 43297D42801044CF Time : 0.0 sec. user=mdettweiler [2013-01-28 15:20:30] 959*2^1240108-1 is not prime. Res64: 349DF22469263DFB Time : 0.0 sec. user=mdettweiler [2013-01-28 15:20:31] 615*2^1240109-1 is not prime. Res64: E925861E434D23B8 Time : 0.0 sec. user=vaughan [2013-01-28 15:24:28] 755*2^1240108-1 is not prime. Res64: CA9BD98AD1B04C01 Time : 0.0 sec. user=mdettweiler [2013-01-28 15:29:18] 631*2^1240109-1 is not prime. Res64: 0CF1EC2B97EF0ECF Time : 0.0 sec. user=mdettweiler [2013-01-28 15:29:18] 745*2^1240109-1 is not prime. Res64: B79BF7760C7B7DA0 Time : 0.0 sec. user=mdettweiler [2013-01-28 15:38:04] 825*2^1240109-1 is not prime. Res64: 5E0EC23F244EBC79 Time : 0.0 sec. user=mdettweiler [2013-01-28 15:38:05] 855*2^1240109-1 is not prime. Res64: C91DD20C044EB3F9 Time : 0.0 sec. user=mdettweiler [2013-01-28 15:46:55] 783*2^1240110-1 is not prime. Res64: 2A3D40D8F621C832 Time : 0.0 sec. user=mdettweiler [2013-01-28 15:46:55] 861*2^1240110-1 is not prime. Res64: D7F627759E3D8987 Time : 0.0 sec. user=juhehe [2013-01-28 15:53:36] 771*2^1240109-1 is not prime. Res64: CF047A8F35415537 Time : 0.0 sec. user=mdettweiler [2013-01-28 15:55:42] 863*2^1240110-1 is not prime. Res64: EBC91DAA167EDA1B Time : 0.0 sec. user=mdettweiler [2013-01-28 15:55:42] 945*2^1240110-1 is not prime. Res64: DE7D389747FC5E64 Time : 0.0 sec. user=vaughan [2013-01-28 16:02:24] 777*2^1240110-1 is not prime. Res64: DF2BF7150FE1CD82 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:04:30] 965*2^1240110-1 is not prime. Res64: 29D89815CFF2C671 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:04:31] 971*2^1240110-1 is not prime. Res64: 8DE3F3F8D7F5B0B0 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:13:22] 741*2^1240111-1 is not prime. Res64: 584F974C5F41EB36 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:13:23] 975*2^1240111-1 is not prime. Res64: DF68804EFB25DEE4 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:22:16] 683*2^1240112-1 is not prime. Res64: E051467D4101486F Time : 0.0 sec. user=mdettweiler [2013-01-28 16:22:16] 735*2^1240112-1 is not prime. Res64: C90247D3F3DA2D81 Time : 0.0 sec. user=juhehe [2013-01-28 16:27:00] 709*2^1240111-1 is not prime. Res64: 59EFFFB85D79C11F Time : 0.0 sec. user=mdettweiler [2013-01-28 16:31:16] 755*2^1240112-1 is not prime. Res64: 477A93C2286ABC41 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:31:17] 813*2^1240112-1 is not prime. Res64: 5D1297A2991EF8A3 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:40:03] 825*2^1240112-1 is not prime. Res64: C9EE0B6ABEA8CE16 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:40:03] 843*2^1240112-1 is not prime. Res64: 8A11C2FCE0A24876 Time : 0.0 sec. user=vaughan [2013-01-28 16:40:25] 645*2^1240112-1 is not prime. Res64: 4456B2E07F56A6B9 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:48:53] 855*2^1240112-1 is not prime. Res64: 5DFDD518AD6871CA Time : 0.0 sec. user=mdettweiler [2013-01-28 16:48:53] 959*2^1240112-1 is not prime. Res64: 823C1BE0C1445FB1 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:57:38] 637*2^1240113-1 is not prime. Res64: 37B51BC01CAD2A46 Time : 0.0 sec. user=mdettweiler [2013-01-28 16:57:38] 765*2^1240113-1 is not prime. Res64: 0591D75DC1889466 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:06:28] 891*2^1240113-1 is not prime. Res64: 88B06F37EF378F11 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:06:29] 611*2^1240114-1 is not prime. Res64: 3071E763C66293E3 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:15:12] 621*2^1240114-1 is not prime. Res64: 7C455C548CCD17D3 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:15:15] 635*2^1240114-1 is not prime. Res64: 700B7FA636258CBD Time : 0.0 sec. user=vaughan [2013-01-28 17:18:20] 781*2^1240113-1 is not prime. Res64: 9D9A8E2F61C7560D Time : 0.0 sec. user=mdettweiler [2013-01-28 17:24:04] 663*2^1240114-1 is not prime. Res64: D407A6B47004AEB3 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:24:04] 677*2^1240114-1 is not prime. Res64: 1C862398436DF866 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:32:55] 741*2^1240114-1 is not prime. Res64: 036AD2BBFC827628 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:32:55] 765*2^1240114-1 is not prime. Res64: 4733FEF01592299B Time : 0.0 sec. user=mdettweiler [2013-01-28 17:41:34] 917*2^1240114-1 is not prime. Res64: 52FB878F8E23971E Time : 0.0 sec. user=mdettweiler [2013-01-28 17:41:34] 609*2^1240116-1 is not prime. Res64: C6B85F3C173B3652 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:50:25] 653*2^1240116-1 is not prime. Res64: 254BDB4962BD9784 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:50:25] 675*2^1240116-1 is not prime. Res64: 899E69472BCD65D5 Time : 0.0 sec. user=vaughan [2013-01-28 17:56:15] 773*2^1240114-1 is not prime. Res64: D11334BA192E0602 Time : 0.0 sec. user=mdettweiler [2013-01-28 17:59:04] 705*2^1240116-1 is not prime. Res64: 23DE499B740A026E Time : 0.0 sec. user=mdettweiler [2013-01-28 17:59:05] 749*2^1240116-1 is not prime. Res64: 47B2DFCC2976CFC2 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:08:02] 759*2^1240116-1 is not prime. Res64: F04C2B0FB3259D04 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:08:03] 783*2^1240116-1 is not prime. Res64: D51D5FD0564DDB53 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:16:38] 909*2^1240116-1 is not prime. Res64: 38AEDE0B33528215 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:16:39] 975*2^1240116-1 is not prime. Res64: B0847BE574D7B160 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:25:29] 609*2^1240117-1 is not prime. Res64: F6A1F33708C86C3B Time : 0.0 sec. user=mdettweiler [2013-01-28 18:25:29] 667*2^1240117-1 is not prime. Res64: B383576494ACC84E Time : 0.0 sec. user=mdettweiler [2013-01-28 18:34:06] 919*2^1240117-1 is not prime. Res64: 48847876026742E3 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:34:06] 957*2^1240117-1 is not prime. Res64: 47460A37BEE04482 Time : 0.0 sec. user=vaughan [2013-01-28 18:34:08] 867*2^1240116-1 is not prime. Res64: 18D8B6EFBFF4EAFB Time : 0.0 sec. user=mdettweiler [2013-01-28 18:42:52] 665*2^1240118-1 is not prime. Res64: 369E4C7A6BBFCC64 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:42:52] 683*2^1240118-1 is not prime. Res64: D5B2681F99CC95BF Time : 0.0 sec. user=mdettweiler [2013-01-28 18:51:29] 711*2^1240118-1 is not prime. Res64: DC04307108F3FF02 Time : 0.0 sec. user=mdettweiler [2013-01-28 18:51:29] 773*2^1240118-1 is not prime. Res64: 44EA499911AB6040 Time : 0.0 sec. user=mdettweiler [2013-01-28 19:00:15] 639*2^1240119-1 is not prime. Res64: 70E5040481846869 Time : 0.0 sec. user=mdettweiler [2013-01-28 19:00:16] 649*2^1240119-1 is not prime. Res64: 053ACA2E64CDEEF3 Time : 0.0 sec. user=vaughan [2013-01-28 19:12:01] 977*2^1240118-1 is not prime. Res64: 60E4D183F726D5EF Time : 0.0 sec. user=mdettweiler [2013-01-28 19:17:39] 933*2^1240119-1 is not prime. Res64: 230E6C415DB0194B Time : 0.0 sec. user=mdettweiler [2013-01-28 19:17:40] 653*2^1240120-1 is not prime. Res64: E0AE8F5A82580EC6 Time : 0.0 sec. user=mdettweiler [2013-01-28 19:20:04] 775*2^1240119-1 is not prime. Res64: EFF32B4CA57984DC Time : 0.0 sec. user=mdettweiler [2013-01-28 19:20:04] 829*2^1240119-1 is not prime. Res64: EE17405D06A65E3F Time : 0.0 sec. user=mdettweiler [2013-01-28 19:35:03] 915*2^1240120-1 is not prime. Res64: FC6566543863398B Time : 0.0 sec. user=mdettweiler [2013-01-28 19:35:04] 619*2^1240121-1 is not prime. Res64: 1899650EC9DF43FF Time : 0.0 sec. user=mdettweiler [2013-01-28 19:37:28] 631*2^1240121-1 is not prime. Res64: 3354880A9DB82DE1 Time : 0.0 sec. user=mdettweiler [2013-01-28 19:37:28] 691*2^1240121-1 is not prime. Res64: 9AD31ADAA89FEDF3 Time : 0.0 sec. user=vaughan [2013-01-28 19:50:17] 677*2^1240120-1 is not prime. Res64: 1DA4DCA053EC1BD2 Time : 0.0 sec. user=mdettweiler [2013-01-28 19:52:27] 775*2^1240121-1 is not prime. Res64: E2AF108C315A3105 Time : 0.0 sec. user=mdettweiler [2013-01-28 19:52:27] 799*2^1240121-1 is not prime. Res64: 1FF3939150990A0D Time : 0.0 sec. user=mdettweiler [2013-01-28 19:54:52] 867*2^1240121-1 is not prime. Res64: F9BE1E494BF9BF2D Time : 0.0 sec. user=mdettweiler [2013-01-28 19:54:52] 909*2^1240121-1 is not prime. Res64: 7443F0FD8ABC48B4 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:10:24] 671*2^1240122-1 is not prime. Res64: E01C8C3DD7F11D26 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:10:24] 695*2^1240122-1 is not prime. Res64: E6D1475C934775D9 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:13:16] 825*2^1240122-1 is not prime. Res64: 9B7A56F081690EBE Time : 0.0 sec. user=mdettweiler [2013-01-28 20:13:18] 833*2^1240122-1 is not prime. Res64: 3144CF40BAEEC9B3 Time : 0.0 sec. user=vaughan [2013-01-28 20:28:11] 981*2^1240121-1 is not prime. Res64: 64B96E2DD59A763C Time : 0.0 sec. user=mdettweiler [2013-01-28 20:29:42] 681*2^1240123-1 is not prime. Res64: F9126CB8DDFFC217 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:29:43] 693*2^1240123-1 is not prime. Res64: 1A936E667F9B56B4 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:32:05] 703*2^1240123-1 is not prime. Res64: 2A22ED43DBC4EBA2 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:32:05] 783*2^1240123-1 is not prime. Res64: BA6959B67AF50922 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:47:23] 805*2^1240123-1 is not prime. Res64: 8B0DE2DBC271A3DC Time : 0.0 sec. user=mdettweiler [2013-01-28 20:47:23] 871*2^1240123-1 is not prime. Res64: 377B4F46B5C98FAE Time : 0.0 sec. user=mdettweiler [2013-01-28 20:49:49] 985*2^1240123-1 is not prime. Res64: 07C9055F32E02B51 Time : 0.0 sec. user=mdettweiler [2013-01-28 20:49:50] 665*2^1240124-1 is not prime. Res64: 37681F8F80DAE343 Time : 0.0 sec. user=mdettweiler [2013-01-28 21:04:56] 749*2^1240124-1 is not prime. Res64: 12A6288D661543BB Time : 0.0 sec. user=mdettweiler [2013-01-28 21:04:57] 785*2^1240124-1 is not prime. Res64: FE67FC6FF09A0443 Time : 0.0 sec. user=vaughan [2013-01-28 21:06:03] 789*2^1240123-1 is not prime. Res64: F84A00F2C576FC94 Time : 0.0 sec. user=mdettweiler [2013-01-28 21:07:21] 855*2^1240124-1 is not prime. Res64: 632B49CE4CE69FAC Time : 0.0 sec. user=mdettweiler [2013-01-28 21:07:23] 857*2^1240124-1 is not prime. Res64: 30775D55B832CA89 Time : 0.0 sec. user=mdettweiler [2013-01-28 21:22:34] 873*2^1240124-1 is not prime. Res64: 688E8EAB63ADEACE Time : 0.0 sec. user=mdettweiler [2013-01-28 21:22:34] 959*2^1240124-1 is not prime. Res64: 60E240349372E26E Time : 0.0 sec. user=mdettweiler [2013-01-28 21:39:55] 795*2^1240125-1 is not prime. Res64: B3AE0D04BFC2A8F2 Time : 0.0 sec. user=mdettweiler [2013-01-28 21:39:56] 805*2^1240125-1 is not prime. Res64: 6EB66FB79B9065C1 Time : 0.0 sec. user=vaughan [2013-01-28 21:43:58] 601*2^1240125-1 is not prime. Res64: D683C71CDD726E7F Time : 0.0 sec. user=mdettweiler [2013-01-28 21:47:42] 607*2^1240125-1 is not prime. Res64: F20099CCFF1218D1 Time : 0.0 sec. user=mdettweiler [2013-01-28 21:47:42] 651*2^1240125-1 is not prime. Res64: 2B1013FCB8869B85 Time : 0.0 sec. user=mdettweiler [2013-01-28 21:57:17] 819*2^1240125-1 is not prime. Res64: C6927FE5BFBDA122 Time : 0.0 sec. user=mdettweiler [2013-01-28 21:57:17] 889*2^1240125-1 is not prime. Res64: B0DF0D45223248A8 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:05:06] 651*2^1240126-1 is not prime. Res64: B8CCE1649F3E5AFE Time : 0.0 sec. user=mdettweiler [2013-01-28 22:05:07] 695*2^1240126-1 is not prime. Res64: 6D3346A4663E26A8 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:14:38] 857*2^1240126-1 is not prime. Res64: 8C24B1B3DC75433F Time : 0.0 sec. user=mdettweiler [2013-01-28 22:14:39] 861*2^1240126-1 is not prime. Res64: A3EC21FB95CD3D05 Time : 0.0 sec. user=vaughan [2013-01-28 22:21:53] 969*2^1240125-1 is not prime. Res64: 44089C1222C5085E Time : 0.0 sec. user=mdettweiler [2013-01-28 22:22:37] 867*2^1240126-1 is not prime. Res64: 5BEC45A371B07902 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:22:37] 957*2^1240126-1 is not prime. Res64: 19453745D14BDA6E Time : 0.0 sec. user=mdettweiler [2013-01-28 22:32:03] 609*2^1240127-1 is not prime. Res64: B228768FBB679A16 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:32:04] 619*2^1240127-1 is not prime. Res64: 5064505E3281A451 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:39:58] 735*2^1240127-1 is not prime. Res64: ADD776C98C785E82 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:39:58] 865*2^1240127-1 is not prime. Res64: 5FAA54029D729E67 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:49:24] 931*2^1240127-1 is not prime. Res64: DE8193D8472F64CB Time : 0.0 sec. user=mdettweiler [2013-01-28 22:49:25] 973*2^1240127-1 is not prime. Res64: 5A55ABF6CCF2AC64 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:57:20] 605*2^1240128-1 is not prime. Res64: 5462D98A08F9BFA7 Time : 0.0 sec. user=mdettweiler [2013-01-28 22:57:21] 657*2^1240128-1 is not prime. Res64: 476210CF26B2FC2F Time : 0.0 sec. user=vaughan [2013-01-28 22:59:46] 729*2^1240127-1 is not prime. Res64: 366FFFBF2D7D41F8 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:06:45] 725*2^1240128-1 is not prime. Res64: 677A1B6DBA75C133 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:06:47] 887*2^1240128-1 is not prime. Res64: 006E75723563206F Time : 0.0 sec. user=mdettweiler [2013-01-28 23:14:41] 609*2^1240129-1 is not prime. Res64: B1D00496CED1C2A8 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:14:42] 681*2^1240129-1 is not prime. Res64: 63613885403ED845 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:24:14] 831*2^1240129-1 is not prime. Res64: 70BC81F25CD22991 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:24:15] 895*2^1240129-1 is not prime. Res64: 72746613FB79096D Time : 0.0 sec. user=mdettweiler [2013-01-28 23:32:14] 635*2^1240130-1 is not prime. Res64: BAACFA59A91120DA Time : 0.0 sec. user=mdettweiler [2013-01-28 23:32:14] 797*2^1240130-1 is not prime. Res64: 750DBD1D69116CA4 Time : 0.0 sec. user=vaughan [2013-01-28 23:37:41] 819*2^1240129-1 is not prime. Res64: 5BCBBE3E5AB83E76 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:41:35] 921*2^1240130-1 is not prime. Res64: AD652EBF692BDACD Time : 0.0 sec. user=mdettweiler [2013-01-28 23:41:36] 615*2^1240131-1 is not prime. Res64: B24CEDA3CDE0675D Time : 0.0 sec. user=mdettweiler [2013-01-28 23:49:35] 781*2^1240131-1 is not prime. Res64: A34547DD23A70602 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:49:36] 793*2^1240131-1 is not prime. Res64: 6EFB5428A4140B68 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:58:56] 999*2^1240131-1 is not prime. Res64: A56819A279AD6FA2 Time : 0.0 sec. user=mdettweiler [2013-01-28 23:58:56] 629*2^1240132-1 is not prime. Res64: 678E9B7922B27F76 Time : 0.0 sec.