user=mdettweiler [2013-07-09 00:06:13] 863*2^1247532-1 is not prime. Res64: FAE0FAC8FA76CBF3 Time : 0.0 sec. user=mdettweiler [2013-07-09 00:06:14] 903*2^1247532-1 is not prime. Res64: D3EEBD3F58B4C774 Time : 0.0 sec. user=mdettweiler [2013-07-09 00:24:12] 909*2^1247532-1 is not prime. Res64: 58B4BC81E383910A Time : 0.0 sec. user=mdettweiler [2013-07-09 00:24:12] 609*2^1247533-1 is not prime. Res64: 249DECC063C2127C Time : 0.0 sec. user=mdettweiler [2013-07-09 00:42:06] 675*2^1247533-1 is not prime. Res64: 918425335801FA7A Time : 0.0 sec. user=mdettweiler [2013-07-09 00:42:07] 747*2^1247533-1 is not prime. Res64: 03C7A556D1FA3089 Time : 0.0 sec. user=mdettweiler [2013-07-09 00:59:09] 811*2^1247533-1 is not prime. Res64: 328E5E7D2998F110 Time : 0.0 sec. user=mdettweiler [2013-07-09 00:59:09] 693*2^1247534-1 is not prime. Res64: 9D7136CD29BEF68C Time : 0.0 sec. user=mdettweiler [2013-07-09 01:37:38] 741*2^1247534-1 is not prime. Res64: D6424495F16521C0 Time : 0.0 sec. user=mdettweiler [2013-07-09 01:37:39] 921*2^1247534-1 is not prime. Res64: FFB6BCB38EAC5A51 Time : 0.0 sec. user=mdettweiler [2013-07-09 01:55:43] 927*2^1247534-1 is not prime. Res64: D25B837B53C73814 Time : 0.0 sec. user=mdettweiler [2013-07-09 01:55:43] 993*2^1247534-1 is not prime. Res64: 37C7AAB3E22294C4 Time : 0.0 sec. user=mdettweiler [2013-07-09 02:12:52] 609*2^1247535-1 is not prime. Res64: 9D482922922FCB7E Time : 0.0 sec. user=mdettweiler [2013-07-09 02:12:53] 651*2^1247535-1 is not prime. Res64: 28F824398D390FF8 Time : 0.0 sec. user=mdettweiler [2013-07-09 02:29:58] 691*2^1247535-1 is not prime. Res64: 6568182A38E7C5D2 Time : 0.0 sec. user=mdettweiler [2013-07-09 02:29:59] 751*2^1247535-1 is not prime. Res64: 84CFF09AE1A02660 Time : 0.0 sec. user=mdettweiler [2013-07-09 02:47:03] 789*2^1247535-1 is not prime. Res64: A9D3287D5F988975 Time : 0.0 sec. user=mdettweiler [2013-07-09 02:47:05] 819*2^1247535-1 is not prime. Res64: 5C58D9446D99AB6C Time : 0.0 sec. user=mdettweiler [2013-07-09 03:04:59] 951*2^1247535-1 is not prime. Res64: 5DC288BD58856BEA Time : 0.0 sec. user=mdettweiler [2013-07-09 03:05:00] 979*2^1247535-1 is not prime. Res64: 5B8CD46C07786D2B Time : 0.0 sec. user=mdettweiler [2013-07-09 03:22:06] 603*2^1247536-1 is not prime. Res64: 5FF4096121FBF1A3 Time : 0.0 sec. user=mdettweiler [2013-07-09 03:22:06] 705*2^1247536-1 is not prime. Res64: 34C669885797FCE4 Time : 0.0 sec. user=mdettweiler [2013-07-09 03:39:08] 707*2^1247536-1 is not prime. Res64: 6ADB4C14136AA4E4 Time : 0.0 sec. user=mdettweiler [2013-07-09 03:39:09] 869*2^1247536-1 is not prime. Res64: 6DABBEEC00EBDCA9 Time : 0.0 sec. user=mdettweiler [2013-07-09 03:56:12] 873*2^1247536-1 is not prime. Res64: 8D0654EC6AAA46F8 Time : 0.0 sec. user=mdettweiler [2013-07-09 03:56:13] 875*2^1247536-1 is not prime. Res64: 0B0CA4873E5F0A22 Time : 0.0 sec. user=mdettweiler [2013-07-09 04:14:02] 903*2^1247536-1 is not prime. Res64: 7E449BD83E2B8894 Time : 0.0 sec. user=mdettweiler [2013-07-09 04:14:03] 989*2^1247536-1 is not prime. Res64: E4048A61E6E7E4D7 Time : 0.0 sec. user=mdettweiler [2013-07-09 04:31:07] 645*2^1247537-1 is not prime. Res64: 220AD83F2117CF5B Time : 0.0 sec. user=mdettweiler [2013-07-09 04:31:08] 669*2^1247537-1 is not prime. Res64: 99FAA244A33C27C9 Time : 0.0 sec. user=mdettweiler [2013-07-09 04:48:12] 699*2^1247537-1 is not prime. Res64: AB7D989C43FB681C Time : 0.0 sec. user=mdettweiler [2013-07-09 04:48:13] 647*2^1247538-1 is not prime. Res64: BC78AEB6CB5ECA6F Time : 0.0 sec. user=mdettweiler [2013-07-09 05:05:15] 713*2^1247538-1 is not prime. Res64: 2174349E3FDD91CD Time : 0.0 sec. user=mdettweiler [2013-07-09 05:05:15] 725*2^1247538-1 is not prime. Res64: B8D1C9449D21F37C Time : 0.0 sec. user=mdettweiler [2013-07-09 05:22:19] 773*2^1247538-1 is not prime. Res64: FC8500288F5156A9 Time : 0.0 sec. user=mdettweiler [2013-07-09 05:22:20] 777*2^1247538-1 is not prime. Res64: 9EDD1099466A85BD Time : 0.0 sec. user=mdettweiler [2013-07-09 05:39:22] 801*2^1247538-1 is not prime. Res64: 81FD02DAFAEEAD0F Time : 0.0 sec. user=mdettweiler [2013-07-09 05:39:22] 803*2^1247538-1 is not prime. Res64: 33EDD806068F4983 Time : 0.0 sec. user=mdettweiler [2013-07-09 05:57:12] 875*2^1247538-1 is not prime. Res64: 0FE4DC5892F7F4D2 Time : 0.0 sec. user=mdettweiler [2013-07-09 05:57:12] 971*2^1247538-1 is not prime. Res64: 868BA622C9368201 Time : 0.0 sec. user=mdettweiler [2013-07-09 06:14:14] 703*2^1247539-1 is not prime. Res64: 36E375F03BB01EEF Time : 0.0 sec. user=mdettweiler [2013-07-09 06:14:15] 709*2^1247539-1 is not prime. Res64: 6FAF013B9B93DE52 Time : 0.0 sec. user=mdettweiler [2013-07-09 06:31:19] 723*2^1247539-1 is not prime. Res64: 0B2C4C8C6D0BA62A Time : 0.0 sec. user=mdettweiler [2013-07-09 06:31:19] 859*2^1247539-1 is not prime. Res64: F997085361B30F4E Time : 0.0 sec. user=mdettweiler [2013-07-09 06:49:08] 939*2^1247539-1 is not prime. Res64: D1A4F1F79ECBBC66 Time : 0.0 sec. user=mdettweiler [2013-07-09 06:49:08] 985*2^1247539-1 is not prime. Res64: 48ABD3DB3EBF37E6 Time : 0.0 sec. user=mdettweiler [2013-07-09 07:06:09] 785*2^1247540-1 is not prime. Res64: 568B3F19C812FD2E Time : 0.0 sec. user=mdettweiler [2013-07-09 07:06:10] 797*2^1247540-1 is not prime. Res64: 1F63358B9BBBFEB6 Time : 0.0 sec. user=mdettweiler [2013-07-09 07:23:16] 845*2^1247540-1 is not prime. Res64: E3FC85234024E400 Time : 0.0 sec. user=mdettweiler [2013-07-09 07:23:17] 935*2^1247540-1 is not prime. Res64: 7B1DAB33A35DB638 Time : 0.0 sec. user=mdettweiler [2013-07-09 07:40:18] 681*2^1247541-1 is not prime. Res64: 331613FE162E80C4 Time : 0.0 sec. user=mdettweiler [2013-07-09 07:40:19] 745*2^1247541-1 is not prime. Res64: B738DC240F8AB9D6 Time : 0.0 sec. user=mdettweiler [2013-07-09 07:57:20] 829*2^1247541-1 is not prime. Res64: ACE7A4533D1FEA4C Time : 0.0 sec. user=mdettweiler [2013-07-09 07:57:20] 877*2^1247541-1 is not prime. Res64: 0C8F8AF6115BD6BD Time : 0.0 sec. user=mdettweiler [2013-07-09 08:14:22] 895*2^1247541-1 is not prime. Res64: C589A49C9F20A56C Time : 0.0 sec. user=mdettweiler [2013-07-09 08:14:22] 937*2^1247541-1 is not prime. Res64: D015927E802D809C Time : 0.0 sec. user=mdettweiler [2013-07-09 08:32:14] 969*2^1247541-1 is not prime. Res64: 84CA887C3E2347DB Time : 0.0 sec. user=mdettweiler [2013-07-09 08:32:15] 651*2^1247542-1 is not prime. Res64: 44FE439DD99AAE0E Time : 0.0 sec. user=mdettweiler [2013-07-09 08:49:17] 665*2^1247542-1 is not prime. Res64: A61F8EEC91A8E101 Time : 0.0 sec. user=mdettweiler [2013-07-09 08:49:18] 705*2^1247542-1 is not prime. Res64: 6FA6585011BA971E Time : 0.0 sec. user=mdettweiler [2013-07-09 09:06:19] 777*2^1247542-1 is not prime. Res64: 4CE5DA7A6F08AF2C Time : 0.0 sec. user=mdettweiler [2013-07-09 09:06:20] 827*2^1247542-1 is not prime. Res64: 17ED67869C44CE84 Time : 0.0 sec. user=mdettweiler [2013-07-09 09:24:17] 885*2^1247542-1 is not prime. Res64: E6F398AA5BC68010 Time : 0.0 sec. user=mdettweiler [2013-07-09 09:24:18] 995*2^1247542-1 is not prime. Res64: 88552D28A6747173 Time : 0.0 sec. user=mdettweiler [2013-07-09 09:41:19] 619*2^1247543-1 is not prime. Res64: 375CB997EFF392FB Time : 0.0 sec. user=mdettweiler [2013-07-09 09:41:20] 771*2^1247543-1 is not prime. Res64: B83EE964C3A9B528 Time : 0.0 sec. user=mdettweiler [2013-07-09 09:58:21] 775*2^1247543-1 is not prime. Res64: A289CBC26863E904 Time : 0.0 sec. user=mdettweiler [2013-07-09 09:58:22] 943*2^1247543-1 is not prime. Res64: A32B45306581F670 Time : 0.0 sec. user=mdettweiler [2013-07-09 10:15:24] 623*2^1247544-1 is not prime. Res64: 57D6CE237C6D2AD9 Time : 0.0 sec. user=mdettweiler [2013-07-09 10:15:24] 695*2^1247544-1 is not prime. Res64: 1DAF2E3BDD66DA43 Time : 0.0 sec. user=mdettweiler [2013-07-09 10:32:29] 717*2^1247544-1 is not prime. Res64: 1763B637E29F8CBF Time : 0.0 sec. user=mdettweiler [2013-07-09 10:32:29] 795*2^1247544-1 is not prime. Res64: 0D68C0A0C6D29BD9 Time : 0.0 sec. user=mdettweiler [2013-07-09 10:49:30] 849*2^1247544-1 is not prime. Res64: 16E3EC15070C0B47 Time : 0.0 sec. user=mdettweiler [2013-07-09 10:49:31] 899*2^1247544-1 is not prime. Res64: AD3ADDF753F66AE8 Time : 0.0 sec. user=mdettweiler [2013-07-09 11:06:33] 903*2^1247544-1 is not prime. Res64: 21F707AFA610B4AB Time : 0.0 sec. user=mdettweiler [2013-07-09 11:06:34] 687*2^1247545-1 is not prime. Res64: 62DAC4713D5C1192 Time : 0.0 sec. user=mdettweiler [2013-07-09 11:23:39] 721*2^1247545-1 is not prime. Res64: 6FECD008C455A6A3 Time : 0.0 sec. user=mdettweiler [2013-07-09 11:23:39] 847*2^1247545-1 is not prime. Res64: FBD29B38E11510FE Time : 0.0 sec. user=mdettweiler [2013-07-09 11:41:29] 849*2^1247545-1 is not prime. Res64: A156EA8C93CFFB89 Time : 0.0 sec. user=mdettweiler [2013-07-09 11:41:29] 955*2^1247545-1 is not prime. Res64: D84BE07B23D68248 Time : 0.0 sec. user=mdettweiler [2013-07-09 11:59:18] 987*2^1247545-1 is not prime. Res64: 5F6DF43648EEEE87 Time : 0.0 sec. user=mdettweiler [2013-07-09 11:59:19] 645*2^1247546-1 is not prime. Res64: 5957AB19F744D2FC Time : 0.0 sec. user=mdettweiler [2013-07-09 12:16:20] 671*2^1247546-1 is not prime. Res64: E0CB4717F97D40D9 Time : 0.0 sec. user=mdettweiler [2013-07-09 12:16:21] 903*2^1247546-1 is not prime. Res64: 0BDF40220131D039 Time : 0.0 sec. user=mdettweiler [2013-07-09 12:33:23] 941*2^1247546-1 is not prime. Res64: 9BC3FFC7BA77B337 Time : 0.0 sec. user=mdettweiler [2013-07-09 12:33:24] 711*2^1247547-1 is not prime. Res64: 156961FBE5CA5E1E Time : 0.0 sec. user=mdettweiler [2013-07-09 12:50:24] 765*2^1247547-1 is not prime. Res64: 4260A8347D3C8DF6 Time : 0.0 sec. user=mdettweiler [2013-07-09 12:50:24] 769*2^1247547-1 is not prime. Res64: EF8503213FB57D9B Time : 0.0 sec. user=mdettweiler [2013-07-09 13:08:22] 801*2^1247547-1 is not prime. Res64: 6ED505602D4C8FB8 Time : 0.0 sec. user=mdettweiler [2013-07-09 13:08:24] 963*2^1247547-1 is not prime. Res64: E4DE8AA1E29111BB Time : 0.0 sec. user=mdettweiler [2013-07-09 13:26:43] 985*2^1247547-1 is not prime. Res64: A85EA459D1C54E40 Time : 0.0 sec. user=mdettweiler [2013-07-09 13:26:43] 705*2^1247548-1 is not prime. Res64: 7F6DD3C15C23BD58 Time : 0.0 sec. user=mdettweiler [2013-07-09 13:44:15] 827*2^1247548-1 is not prime. Res64: 368C42C09119C4A5 Time : 0.0 sec. user=mdettweiler [2013-07-09 13:44:15] 887*2^1247548-1 is not prime. Res64: 3234393F6432E1BB Time : 0.0 sec. user=mdettweiler [2013-07-09 14:01:44] 675*2^1247549-1 is not prime. Res64: 0228AA33355F8D50 Time : 0.0 sec. user=mdettweiler [2013-07-09 14:01:45] 811*2^1247549-1 is not prime. Res64: C9D14B9DFEBF23D4 Time : 0.0 sec. user=mdettweiler [2013-07-09 14:20:14] 825*2^1247549-1 is not prime. Res64: 3C0C5C22B7B734DB Time : 0.0 sec. user=mdettweiler [2013-07-09 14:20:14] 997*2^1247549-1 is not prime. Res64: 4E5D127E0151FB73 Time : 0.0 sec. user=mdettweiler [2013-07-09 14:46:24] 635*2^1247550-1 is not prime. Res64: 395725023D2E272E Time : 0.0 sec. user=mdettweiler [2013-07-09 14:46:24] 725*2^1247550-1 is not prime. Res64: D04A9418477EF0FA Time : 0.0 sec. user=mdettweiler [2013-07-09 15:04:41] 927*2^1247550-1 is not prime. Res64: 3C21FB2894F3845A Time : 0.0 sec. user=mdettweiler [2013-07-09 15:04:42] 971*2^1247550-1 is not prime. Res64: E154861BFD3CE57F Time : 0.0 sec. user=mdettweiler [2013-07-09 15:22:32] 621*2^1247551-1 is not prime. Res64: 29C65F3491D49B19 Time : 0.0 sec. user=mdettweiler [2013-07-09 15:22:32] 651*2^1247551-1 is not prime. Res64: 6DF0D06A9BA7526B Time : 0.0 sec. user=mdettweiler [2013-07-09 15:40:08] 673*2^1247551-1 is not prime. Res64: F07F6C4A1726AE88 Time : 0.0 sec. user=mdettweiler [2013-07-09 15:40:09] 679*2^1247551-1 is not prime. Res64: 5B66AD5D7A3E1221 Time : 0.0 sec. user=mdettweiler [2013-07-09 15:57:39] 693*2^1247551-1 is not prime. Res64: AA710CC5403BEC2C Time : 0.0 sec. user=mdettweiler [2013-07-09 15:57:39] 759*2^1247551-1 is not prime. Res64: F62E42B8B5DB8A66 Time : 0.0 sec. user=mdettweiler [2013-07-09 16:15:07] 805*2^1247551-1 is not prime. Res64: 2BB539BDA0FCC32E Time : 0.0 sec. user=mdettweiler [2013-07-09 16:15:08] 883*2^1247551-1 is not prime. Res64: D511980FADCD2A9D Time : 0.0 sec. user=mdettweiler [2013-07-09 16:32:39] 885*2^1247551-1 is not prime. Res64: 20F15D0D83E830E2 Time : 0.0 sec. user=mdettweiler [2013-07-09 16:32:40] 939*2^1247551-1 is not prime. Res64: 0F05F45D3CB03F40 Time : 0.0 sec. user=mdettweiler [2013-07-09 16:52:01] 975*2^1247551-1 is not prime. Res64: B90AA18294B75A06 Time : 0.0 sec. user=mdettweiler [2013-07-09 16:52:02] 979*2^1247551-1 is not prime. Res64: D5FD0B61D6C78386 Time : 0.0 sec. user=mdettweiler [2013-07-09 17:10:37] 999*2^1247551-1 is not prime. Res64: A83E0DC3E31C4C85 Time : 0.0 sec. user=mdettweiler [2013-07-09 17:10:38] 629*2^1247552-1 is not prime. Res64: C2DADC6A338D3861 Time : 0.0 sec. user=mdettweiler [2013-07-09 17:28:17] 743*2^1247552-1 is not prime. Res64: C58D5796F98812CB Time : 0.0 sec. user=mdettweiler [2013-07-09 17:28:17] 727*2^1247553-1 is not prime. Res64: DD361BE45714FDB3 Time : 0.0 sec. user=mdettweiler [2013-07-09 17:45:44] 739*2^1247553-1 is not prime. Res64: 764A097FE18D951B Time : 0.0 sec. user=mdettweiler [2013-07-09 17:45:44] 747*2^1247553-1 is not prime. Res64: 49EC532DDDF83F68 Time : 0.0 sec. user=mdettweiler [2013-07-09 18:03:21] 769*2^1247553-1 is not prime. Res64: 57703F6192666EC7 Time : 0.0 sec. user=mdettweiler [2013-07-09 18:03:23] 867*2^1247553-1 is not prime. Res64: 15C2244B24CCEAA6 Time : 0.0 sec. user=mdettweiler [2013-07-09 18:21:21] 889*2^1247553-1 is not prime. Res64: 1D35F76547B9FAA9 Time : 0.0 sec. user=mdettweiler [2013-07-09 18:21:21] 919*2^1247553-1 is not prime. Res64: D61AB855CBD7D46E Time : 0.0 sec. user=mdettweiler [2013-07-09 18:39:05] 611*2^1247554-1 is not prime. Res64: 15F6868A492800DC Time : 0.0 sec. user=mdettweiler [2013-07-09 18:39:05] 741*2^1247554-1 is not prime. Res64: F79AB7567BBFBED5 Time : 0.0 sec. user=mdettweiler [2013-07-09 18:56:45] 825*2^1247554-1 is not prime. Res64: 94674B5939753395 Time : 0.0 sec. user=mdettweiler [2013-07-09 18:56:46] 619*2^1247555-1 is not prime. Res64: CCFEE683CA96E474 Time : 0.0 sec. user=mdettweiler [2013-07-09 19:14:21] 663*2^1247555-1 is not prime. Res64: F97A77B071BE1E54 Time : 0.0 sec. user=mdettweiler [2013-07-09 19:14:22] 895*2^1247555-1 is not prime. Res64: 8F6EAAB1BB032C8D Time : 0.0 sec. user=mdettweiler [2013-07-09 19:32:18] 707*2^1247556-1 is not prime. Res64: CF20B86F3392DEEE Time : 0.0 sec. user=mdettweiler [2013-07-09 19:32:18] 717*2^1247556-1 is not prime. Res64: 5EBAC7EA0698EE65 Time : 0.0 sec. user=mdettweiler [2013-07-09 19:50:59] 905*2^1247556-1 is not prime. Res64: 562E6D70980B75A5 Time : 0.0 sec. user=mdettweiler [2013-07-09 19:50:59] 975*2^1247556-1 is not prime. Res64: 57AC26183C3C7E1C Time : 0.0 sec. user=mdettweiler [2013-07-09 20:08:48] 607*2^1247557-1 is not prime. Res64: 4169CB5607C7AF14 Time : 0.0 sec. user=mdettweiler [2013-07-09 20:08:49] 765*2^1247557-1 is not prime. Res64: AE394385E39C1EFB Time : 0.0 sec. user=mdettweiler [2013-07-09 20:26:39] 931*2^1247557-1 is not prime. Res64: 273A06B30012EFFF Time : 0.0 sec. user=mdettweiler [2013-07-09 20:26:39] 937*2^1247557-1 is not prime. Res64: 3A1B716FC7BBE584 Time : 0.0 sec. user=mdettweiler [2013-07-09 20:44:03] 623*2^1247558-1 is not prime. Res64: 3D1025A803FBF8ED Time : 0.0 sec. user=mdettweiler [2013-07-09 20:44:04] 671*2^1247558-1 is not prime. Res64: 5E5A49AC12176205 Time : 0.0 sec. user=mdettweiler [2013-07-09 21:01:06] 801*2^1247558-1 is not prime. Res64: 49B70A98845616F3 Time : 0.0 sec. user=mdettweiler [2013-07-09 21:01:07] 843*2^1247558-1 is not prime. Res64: CAB08215642EB7E4 Time : 0.0 sec. user=mdettweiler [2013-07-09 21:19:55] 963*2^1247558-1 is not prime. Res64: 3C52D19EC5104C97 Time : 0.0 sec. user=mdettweiler [2013-07-09 21:19:56] 987*2^1247558-1 is not prime. Res64: 61FC440061F59729 Time : 0.0 sec. user=mdettweiler [2013-07-09 21:37:00] 661*2^1247559-1 is not prime. Res64: 38A140420CA7B39D Time : 0.0 sec. user=mdettweiler [2013-07-09 21:37:02] 669*2^1247559-1 is not prime. Res64: 8E5D3EAC94F994C2 Time : 0.0 sec. user=mdettweiler [2013-07-09 21:54:17] 763*2^1247559-1 is not prime. Res64: A8DD928D74733947 Time : 0.0 sec. user=mdettweiler [2013-07-09 21:54:18] 793*2^1247559-1 is not prime. Res64: 7070D7F0E2457458 Time : 0.0 sec. user=mdettweiler [2013-07-09 22:12:10] 955*2^1247559-1 is not prime. Res64: EBF4C84A95F4D37F Time : 0.0 sec. user=mdettweiler [2013-07-09 22:12:11] 845*2^1247560-1 is not prime. Res64: 3A42D2C722519C40 Time : 0.0 sec. user=mdettweiler [2013-07-09 22:30:04] 849*2^1247560-1 is not prime. Res64: A29F3C8B66C3CF3D Time : 0.0 sec. user=mdettweiler [2013-07-09 22:30:05] 989*2^1247560-1 is not prime. Res64: 8F7DAD3D870FF292 Time : 0.0 sec. user=mdettweiler [2013-07-09 22:47:56] 999*2^1247560-1 is not prime. Res64: 4DC6D6DB5880D630 Time : 0.0 sec. user=mdettweiler [2013-07-09 22:47:57] 619*2^1247561-1 is not prime. Res64: 80E4D31834F99995 Time : 0.0 sec. user=mdettweiler [2013-07-09 23:05:00] 631*2^1247561-1 is not prime. Res64: 68D4F8E47C9DECF2 Time : 0.0 sec. user=mdettweiler [2013-07-09 23:05:01] 651*2^1247561-1 is not prime. Res64: BBC526821DB75B18 Time : 0.0 sec. user=mdettweiler [2013-07-09 23:22:07] 789*2^1247561-1 is not prime. Res64: 3AC56D8DCFA0C7B8 Time : 0.0 sec. user=mdettweiler [2013-07-09 23:22:08] 907*2^1247561-1 is not prime. Res64: BB59DC928DE0BCC2 Time : 0.0 sec. user=mdettweiler [2013-07-09 23:39:18] 939*2^1247561-1 is not prime. Res64: DEBA6FB4F8B7BD21 Time : 0.0 sec. user=mdettweiler [2013-07-09 23:39:18] 621*2^1247562-1 is not prime. Res64: A8DD24186BEBD045 Time : 0.0 sec. user=mdettweiler [2013-07-09 23:56:20] 705*2^1247562-1 is not prime. Res64: 42EB4C6CF7A2C68E Time : 0.0 sec. user=mdettweiler [2013-07-09 23:56:21] 713*2^1247562-1 is not prime. Res64: 41383E13A685D2E5 Time : 0.0 sec.