user=mdettweiler [2013-09-13 00:17:29] 601*2^1253081-1 is not prime. Res64: 48AAC242D0314B97 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:17:29] 889*2^1253081-1 is not prime. Res64: D42D6672C86FF2C3 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:17:32] 955*2^1253081-1 is not prime. Res64: 744F74E72A7F0D15 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:17:33] 681*2^1253082-1 is not prime. Res64: 406785BDABEDFEB5 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:19:32] 683*2^1253082-1 is not prime. Res64: E5D13243CE6047DE Time : 0.0 sec. user=mdettweiler [2013-09-13 00:19:33] 713*2^1253082-1 is not prime. Res64: 32B247CFE96AF86C Time : 0.0 sec. user=mdettweiler [2013-09-13 00:20:58] 741*2^1253082-1 is not prime. Res64: E7AB2B3052942C65 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:20:58] 755*2^1253082-1 is not prime. Res64: E4A8D5769BF5D711 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:38:42] 825*2^1253082-1 is not prime. Res64: B003FEF125877017 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:38:42] 887*2^1253082-1 is not prime. Res64: 60A06B951984F749 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:39:50] 951*2^1253082-1 is not prime. Res64: 183CEF56808EE877 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:39:51] 983*2^1253082-1 is not prime. Res64: A6AA50A7EDFA717E Time : 0.0 sec. user=mdettweiler [2013-09-13 00:39:54] 615*2^1253083-1 is not prime. Res64: 37FA5F3BD8F07418 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:39:54] 679*2^1253083-1 is not prime. Res64: 528C2BCA0343F942 Time : 0.0 sec. user=mdettweiler [2013-09-13 00:41:16] 685*2^1253083-1 is not prime. Res64: 25C7CD2F8158396E Time : 0.0 sec. user=mdettweiler [2013-09-13 00:41:16] 751*2^1253083-1 is not prime. Res64: 395B1FB0F8C2EBA8 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:00:09] 945*2^1253083-1 is not prime. Res64: 6F6D8DC53DDB12EC Time : 0.0 sec. user=mdettweiler [2013-09-13 01:00:10] 617*2^1253084-1 is not prime. Res64: CA1CF393A2200923 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:00:14] 753*2^1253084-1 is not prime. Res64: 3B361ACA0941AECD Time : 0.0 sec. user=mdettweiler [2013-09-13 01:00:16] 825*2^1253084-1 is not prime. Res64: E9B9C37193ADE472 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:01:17] 923*2^1253084-1 is not prime. Res64: DDC33B5FCD34B8D8 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:01:18] 721*2^1253085-1 is not prime. Res64: 84C21FD7B7EFE0AA Time : 0.0 sec. user=mdettweiler [2013-09-13 01:01:38] 727*2^1253085-1 is not prime. Res64: 28EE452AD8CCD88C Time : 0.0 sec. user=mdettweiler [2013-09-13 01:01:39] 789*2^1253085-1 is not prime. Res64: 1D8660CE4C48BF3A Time : 0.0 sec. user=mdettweiler [2013-09-13 01:20:23] 867*2^1253085-1 is not prime. Res64: AD0988756D60A95B Time : 0.0 sec. user=mdettweiler [2013-09-13 01:20:23] 675*2^1253086-1 is not prime. Res64: 25F59E6D7CE2AA4C Time : 0.0 sec. user=mdettweiler [2013-09-13 01:21:21] 755*2^1253086-1 is not prime. Res64: F27CB61FBB7180C6 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:21:22] 873*2^1253086-1 is not prime. Res64: B0ED2D457C63856F Time : 0.0 sec. user=mdettweiler [2013-09-13 01:23:21] 891*2^1253086-1 is not prime. Res64: 048525355FF86AFE Time : 0.0 sec. user=mdettweiler [2013-09-13 01:23:21] 917*2^1253086-1 is not prime. Res64: 00EAC1C10C5DC613 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:23:49] 933*2^1253086-1 is not prime. Res64: D9883DCF15B21636 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:23:50] 987*2^1253086-1 is not prime. Res64: 36E03A6FC4BFF8F0 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:41:44] 1001*2^1253086-1 is not prime. Res64: FF75FCBE171EFC70 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:41:44] 759*2^1253087-1 is not prime. Res64: 536A8F164005720C Time : 0.0 sec. user=mdettweiler [2013-09-13 01:42:36] 859*2^1253087-1 is not prime. Res64: 54BB5DE83B562053 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:42:37] 949*2^1253087-1 is not prime. Res64: 844E031342CEC59E Time : 0.0 sec. user=mdettweiler [2013-09-13 01:44:08] 797*2^1253088-1 is not prime. Res64: 9F7E6CBB53B198EC Time : 0.0 sec. user=mdettweiler [2013-09-13 01:44:08] 705*2^1253089-1 is not prime. Res64: 564ED0E5304679FE Time : 0.0 sec. user=mdettweiler [2013-09-13 01:44:32] 993*2^1253087-1 is not prime. Res64: 8D145E9421A63AD1 Time : 0.0 sec. user=mdettweiler [2013-09-13 01:44:33] 707*2^1253088-1 is not prime. Res64: 6C53622CFF0B7F17 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:02:07] 741*2^1253089-1 is not prime. Res64: 8128887679466D66 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:02:08] 747*2^1253089-1 is not prime. Res64: AD85D5540053B233 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:03:52] 807*2^1253089-1 is not prime. Res64: 70A939BF4879DCCA Time : 0.0 sec. user=mdettweiler [2013-09-13 02:03:53] 897*2^1253089-1 is not prime. Res64: 7D2C8C8E58074763 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:06:19] 919*2^1253089-1 is not prime. Res64: 235C32CC4A4A7DFF Time : 0.0 sec. user=mdettweiler [2013-09-13 02:06:20] 955*2^1253089-1 is not prime. Res64: 767460789DFD0C5F Time : 0.0 sec. user=mdettweiler [2013-09-13 02:06:48] 957*2^1253090-1 is not prime. Res64: 97DABA528E92E0A8 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:06:49] 971*2^1253090-1 is not prime. Res64: E39CE11BE1520078 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:22:35] 609*2^1253091-1 is not prime. Res64: 8F7A20567B761420 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:22:35] 685*2^1253091-1 is not prime. Res64: 8E0DF209C9EB0360 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:24:08] 723*2^1253091-1 is not prime. Res64: ED93D7CB15B6E3AA Time : 0.0 sec. user=mdettweiler [2013-09-13 02:24:08] 769*2^1253091-1 is not prime. Res64: D5D928FCC4BA2199 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:26:36] 801*2^1253091-1 is not prime. Res64: E80CF0AF3D486CA2 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:26:36] 825*2^1253091-1 is not prime. Res64: 6DA600577D6147FA Time : 0.0 sec. user=mdettweiler [2013-09-13 02:28:57] 873*2^1253091-1 is not prime. Res64: 20702FCAD8107F7B Time : 0.0 sec. user=mdettweiler [2013-09-13 02:28:58] 975*2^1253091-1 is not prime. Res64: 3B714CB5FE7FDEA8 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:42:53] 693*2^1253092-1 is not prime. Res64: 5CCEF4917F9883A0 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:42:53] 779*2^1253092-1 is not prime. Res64: C1B0F50A8F7A41FA Time : 0.0 sec. user=mdettweiler [2013-09-13 02:44:22] 803*2^1253092-1 is not prime. Res64: 2DB24264D43A83FF Time : 0.0 sec. user=mdettweiler [2013-09-13 02:44:23] 807*2^1253092-1 is not prime. Res64: 05720D1B054DDA46 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:48:48] 875*2^1253092-1 is not prime. Res64: E18730E39E872C4C Time : 0.0 sec. user=mdettweiler [2013-09-13 02:48:49] 903*2^1253092-1 is not prime. Res64: 99DE16BF18403EAC Time : 0.0 sec. user=mdettweiler [2013-09-13 02:50:06] 933*2^1253092-1 is not prime. Res64: A7BF7DB6425D1EE0 Time : 0.0 sec. user=mdettweiler [2013-09-13 02:50:09] 619*2^1253093-1 is not prime. Res64: 488C8B5EE57BBD5E Time : 0.0 sec. user=mdettweiler [2013-09-13 03:03:29] 735*2^1253093-1 is not prime. Res64: 76CC896454DCE502 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:03:30] 723*2^1253094-1 is not prime. Res64: DFD987B454E6E6DB Time : 0.0 sec. user=mdettweiler [2013-09-13 03:04:32] 741*2^1253094-1 is not prime. Res64: 8FFA04E217B43AE6 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:04:33] 765*2^1253094-1 is not prime. Res64: 348BBBF299B1B7C4 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:09:52] 795*2^1253094-1 is not prime. Res64: 086DBBB56286BAFE Time : 0.0 sec. user=mdettweiler [2013-09-13 03:09:52] 965*2^1253094-1 is not prime. Res64: 40A85C564F3E7CE0 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:11:19] 971*2^1253094-1 is not prime. Res64: 197E6426A04A5B07 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:11:20] 603*2^1253095-1 is not prime. Res64: C6CB198ECAEC61C4 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:23:50] 831*2^1253095-1 is not prime. Res64: 606A73D5BC73B916 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:23:51] 843*2^1253095-1 is not prime. Res64: 63D3540BA1EBFEF1 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:26:35] 913*2^1253095-1 is not prime. Res64: 22AC93D3C36F8A05 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:26:35] 985*2^1253095-1 is not prime. Res64: 3D9BD7B4249FEDE7 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:29:58] 747*2^1253096-1 is not prime. Res64: B0D65507502CCC05 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:29:58] 759*2^1253096-1 is not prime. Res64: 7D5B3753231FD738 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:31:27] 833*2^1253096-1 is not prime. Res64: 4CA10D75C62D3338 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:31:29] 857*2^1253096-1 is not prime. Res64: 80D2A52F4CDE77C1 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:45:26] 899*2^1253096-1 is not prime. Res64: 1960CE8A431DA92D Time : 0.0 sec. user=mdettweiler [2013-09-13 03:45:27] 639*2^1253097-1 is not prime. Res64: DFEE533673318E08 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:47:51] 751*2^1253097-1 is not prime. Res64: 1E090936B4CD657A Time : 0.0 sec. user=mdettweiler [2013-09-13 03:47:52] 937*2^1253097-1 is not prime. Res64: 1E7FBEB236F3D9B2 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:50:20] 611*2^1253098-1 is not prime. Res64: F58BCABE9106FCE9 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:50:20] 635*2^1253098-1 is not prime. Res64: 4753D4DEFA9E8644 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:52:08] 747*2^1253098-1 is not prime. Res64: 9A725CBC2AFC5630 Time : 0.0 sec. user=mdettweiler [2013-09-13 03:52:09] 813*2^1253098-1 is not prime. Res64: FFA91ACD75C50151 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:06:33] 867*2^1253098-1 is not prime. Res64: 7E968F4B7859A189 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:06:33] 923*2^1253098-1 is not prime. Res64: 9FF9B4450F0012C1 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:09:51] 933*2^1253098-1 is not prime. Res64: F16ED85539A3521A Time : 0.0 sec. user=mdettweiler [2013-09-13 04:09:52] 971*2^1253098-1 is not prime. Res64: D1E1F7DDBFC6BF11 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:10:25] 619*2^1253099-1 is not prime. Res64: 9149B1A2F2D01F94 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:10:26] 675*2^1253099-1 is not prime. Res64: 109111635FE9A8B5 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:12:11] 735*2^1253099-1 is not prime. Res64: 49A0DC2A331F1214 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:12:12] 813*2^1253099-1 is not prime. Res64: CD5130F9FB0A4118 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:26:34] 823*2^1253099-1 is not prime. Res64: 4F03D5E32AD9B69D Time : 0.0 sec. user=mdettweiler [2013-09-13 04:26:34] 609*2^1253100-1 is not prime. Res64: 7C87D7522A765F77 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:29:53] 629*2^1253100-1 is not prime. Res64: 317D41468ED444B8 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:29:54] 633*2^1253100-1 is not prime. Res64: 4FD1C95DC96BD6B5 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:30:30] 723*2^1253100-1 is not prime. Res64: 99797ECA8A24AD90 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:30:31] 795*2^1253100-1 is not prime. Res64: AA0A2696C6F403A2 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:32:16] 825*2^1253100-1 is not prime. Res64: FF6BE47460AE2D8B Time : 0.0 sec. user=mdettweiler [2013-09-13 04:32:17] 839*2^1253100-1 is not prime. Res64: B4A9CEE450F99AE1 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:47:41] 933*2^1253100-1 is not prime. Res64: 68A52F98F41F585A Time : 0.0 sec. user=mdettweiler [2013-09-13 04:47:41] 769*2^1253101-1 is not prime. Res64: 5BE57AF599CE5FB7 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:50:04] 777*2^1253101-1 is not prime. Res64: 4571A17A869E42E3 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:50:04] 825*2^1253101-1 is not prime. Res64: 06F8F01596E485B1 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:51:37] 847*2^1253101-1 is not prime. Res64: 3678BBB52F0F4754 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:51:38] 889*2^1253101-1 is not prime. Res64: 6464BCB00EDF2C0F Time : 0.0 sec. user=mdettweiler [2013-09-13 04:54:27] 931*2^1253101-1 is not prime. Res64: 836005B6320409D1 Time : 0.0 sec. user=mdettweiler [2013-09-13 04:54:27] 997*2^1253101-1 is not prime. Res64: 1AFE536266F42A58 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:07:48] 671*2^1253102-1 is not prime. Res64: 469B2D8DF8FFA59F Time : 0.0 sec. user=mdettweiler [2013-09-13 05:07:50] 693*2^1253102-1 is not prime. Res64: 282C7775CA8ECD59 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:10:07] 741*2^1253102-1 is not prime. Res64: 3A0B18D13ABF80AC Time : 0.0 sec. user=mdettweiler [2013-09-13 05:10:09] 755*2^1253102-1 is not prime. Res64: 7A9352820C3873E6 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:11:36] 791*2^1253102-1 is not prime. Res64: B5EAE06460BC35CF Time : 0.0 sec. user=mdettweiler [2013-09-13 05:11:37] 813*2^1253102-1 is not prime. Res64: DC6EDCBF64B621D6 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:16:25] 923*2^1253102-1 is not prime. Res64: 9FABE9989B81A518 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:16:26] 935*2^1253102-1 is not prime. Res64: DB1FFB9E7EE9C68F Time : 0.0 sec. user=mdettweiler [2013-09-13 05:28:02] 705*2^1253103-1 is not prime. Res64: ED52A369C2D5321E Time : 0.0 sec. user=mdettweiler [2013-09-13 05:28:02] 735*2^1253103-1 is not prime. Res64: BEFF2C021141BD20 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:30:17] 763*2^1253103-1 is not prime. Res64: 9729C2AD5C3F0F1F Time : 0.0 sec. user=mdettweiler [2013-09-13 05:30:18] 765*2^1253103-1 is not prime. Res64: 2D2D71855265D3D2 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:31:42] 789*2^1253103-1 is not prime. Res64: 8BE0CDCFA3AB812C Time : 0.0 sec. user=mdettweiler [2013-09-13 05:31:42] 853*2^1253103-1 is not prime. Res64: 83DD509C287DE096 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:37:29] 945*2^1253103-1 is not prime. Res64: 6E133E334F1B6BF7 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:37:30] 629*2^1253104-1 is not prime. Res64: 1FE665F91C058FCA Time : 0.0 sec. user=mdettweiler [2013-09-13 05:48:06] 687*2^1253104-1 is not prime. Res64: EBB1617AE7EAAAD1 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:48:07] 813*2^1253104-1 is not prime. Res64: CB89C82D259D2359 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:51:21] 849*2^1253104-1 is not prime. Res64: 4516E92DE2802933 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:51:22] 873*2^1253104-1 is not prime. Res64: 4C46DDCD5ECADEFF Time : 0.0 sec. user=mdettweiler [2013-09-13 05:53:38] 875*2^1253104-1 is not prime. Res64: 22465CA9427B9B64 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:53:39] 915*2^1253104-1 is not prime. Res64: A5706E80ECDB6323 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:57:37] 759*2^1253105-1 is not prime. Res64: B29EE026FC358434 Time : 0.0 sec. user=mdettweiler [2013-09-13 05:57:37] 771*2^1253105-1 is not prime. Res64: DA4E485BFC32A6A8 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:08:07] 777*2^1253105-1 is not prime. Res64: F2946EF69EBBF2EC Time : 0.0 sec. user=mdettweiler [2013-09-13 06:08:07] 787*2^1253105-1 is not prime. Res64: DB9DA1317FED7965 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:12:19] 981*2^1253105-1 is not prime. Res64: 7F49CDE9CF004978 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:12:19] 641*2^1253106-1 is not prime. Res64: 7E1BC93C07702B61 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:13:41] 657*2^1253106-1 is not prime. Res64: EC29AD84A86433E8 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:13:41] 677*2^1253106-1 is not prime. Res64: 1FA1D93DBAC4E341 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:17:37] 705*2^1253106-1 is not prime. Res64: 079D66769B717CA4 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:17:38] 741*2^1253106-1 is not prime. Res64: 181D7DB33A2BFED2 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:29:03] 783*2^1253106-1 is not prime. Res64: 5A8052D1D2B61741 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:29:04] 891*2^1253106-1 is not prime. Res64: C0E85BEC5469A884 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:33:21] 917*2^1253106-1 is not prime. Res64: 5E4209871CD30372 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:33:22] 741*2^1253107-1 is not prime. Res64: 5B4A849C7C231EAC Time : 0.0 sec. user=mdettweiler [2013-09-13 06:33:43] 793*2^1253107-1 is not prime. Res64: 7A8891043BCB5BD9 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:33:43] 859*2^1253107-1 is not prime. Res64: 4239EF386780AB27 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:38:33] 895*2^1253107-1 is not prime. Res64: 612E00FFE5E87D1B Time : 0.0 sec. user=mdettweiler [2013-09-13 06:38:34] 603*2^1253108-1 is not prime. Res64: 08B658E547864693 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:49:06] 659*2^1253108-1 is not prime. Res64: F442C46C8A658BAD Time : 0.0 sec. user=mdettweiler [2013-09-13 06:49:07] 665*2^1253108-1 is not prime. Res64: D44EDB05281130F7 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:53:20] 777*2^1253108-1 is not prime. Res64: 4D48A7C15AC87CD7 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:53:20] 795*2^1253108-1 is not prime. Res64: 3B189B82BD206189 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:54:41] 825*2^1253108-1 is not prime. Res64: 73A9D74116A7B727 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:54:41] 935*2^1253108-1 is not prime. Res64: 769C1CA5DD000E9B Time : 0.0 sec. user=mdettweiler [2013-09-13 06:59:37] 969*2^1253108-1 is not prime. Res64: 428A926108D11532 Time : 0.0 sec. user=mdettweiler [2013-09-13 06:59:37] 727*2^1253109-1 is not prime. Res64: 6DAB75E7BA3851A2 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:09:10] 747*2^1253109-1 is not prime. Res64: EF6DA9A5593D1DC7 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:09:11] 781*2^1253109-1 is not prime. Res64: 648D9599C3954464 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:14:20] 789*2^1253109-1 is not prime. Res64: 7AFCEC5569231D3F Time : 0.0 sec. user=mdettweiler [2013-09-13 07:14:21] 889*2^1253109-1 is not prime. Res64: DE0C098A77B06581 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:15:45] 927*2^1253109-1 is not prime. Res64: 857E25A8683EC56E Time : 0.0 sec. user=mdettweiler [2013-09-13 07:15:46] 677*2^1253110-1 is not prime. Res64: BD832CF7ABB46847 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:19:41] 681*2^1253110-1 is not prime. Res64: BE711C4233C3C401 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:19:41] 687*2^1253110-1 is not prime. Res64: 00E16AEA9DF9D0F1 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:29:08] 707*2^1253110-1 is not prime. Res64: B022332A2871C006 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:29:08] 723*2^1253110-1 is not prime. Res64: C37472BB686C9B70 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:34:21] 765*2^1253110-1 is not prime. Res64: DF1D0ACEC9C27361 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:34:22] 813*2^1253110-1 is not prime. Res64: BAFFCB77B2695DB7 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:36:49] 855*2^1253110-1 is not prime. Res64: 69BF1BA75D850EF3 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:36:49] 885*2^1253110-1 is not prime. Res64: C22CD575935FE8C9 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:40:43] 987*2^1253110-1 is not prime. Res64: C4FBFA263C5CB891 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:40:43] 703*2^1253111-1 is not prime. Res64: 9E6FFBB0B9043094 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:49:13] 789*2^1253111-1 is not prime. Res64: 1FF9F6C8644510EC Time : 0.0 sec. user=mdettweiler [2013-09-13 07:49:14] 859*2^1253111-1 is not prime. Res64: 3EF5996095AF68D5 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:56:31] 913*2^1253111-1 is not prime. Res64: 4B8CA6F427288144 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:56:32] 931*2^1253111-1 is not prime. Res64: F4588A84F9E5F0B1 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:57:59] 939*2^1253111-1 is not prime. Res64: 06E777791768A255 Time : 0.0 sec. user=mdettweiler [2013-09-13 07:58:00] 627*2^1253112-1 is not prime. Res64: C7DB61175187032F Time : 0.0 sec. user=mdettweiler [2013-09-13 08:02:57] 945*2^1253112-1 is not prime. Res64: C3921EBC278C21A5 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:02:59] 877*2^1253113-1 is not prime. Res64: 272EF0065CB04F03 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:09:28] 657*2^1253114-1 is not prime. Res64: EE04CB5B06F3311A Time : 0.0 sec. user=mdettweiler [2013-09-13 08:09:29] 707*2^1253114-1 is not prime. Res64: FBB7DD41382ECB54 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:17:53] 825*2^1253114-1 is not prime. Res64: F2C679C87083F807 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:17:53] 903*2^1253114-1 is not prime. Res64: A4195E6B0713B686 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:18:27] 601*2^1253115-1 is not prime. Res64: 7A25F27925D70DA7 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:18:28] 675*2^1253115-1 is not prime. Res64: 71828D787725B2CA Time : 0.0 sec. user=mdettweiler [2013-09-13 08:23:41] 781*2^1253115-1 is not prime. Res64: 5BD564A823E96F1B Time : 0.0 sec. user=mdettweiler [2013-09-13 08:23:41] 789*2^1253115-1 is not prime. Res64: B7905C21C46BDA0D Time : 0.0 sec. user=mdettweiler [2013-09-13 08:31:24] 829*2^1253115-1 is not prime. Res64: 57CEDF509C50A799 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:31:24] 903*2^1253115-1 is not prime. Res64: B796D6D8C5677037 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:39:48] 705*2^1253116-1 is not prime. Res64: 2CDF4AB8533C2D3E Time : 0.0 sec. user=mdettweiler [2013-09-13 08:39:49] 719*2^1253116-1 is not prime. Res64: E4D50C1A669FC2A1 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:41:23] 909*2^1253115-1 is not prime. Res64: C05F47B0E436AAF1 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:41:23] 999*2^1253115-1 is not prime. Res64: 88FA07C10207BCD5 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:45:30] 777*2^1253116-1 is not prime. Res64: 9355ED51932BD8D0 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:45:31] 783*2^1253116-1 is not prime. Res64: D0CEE56D07AC5EF4 Time : 0.0 sec. user=mdettweiler [2013-09-13 08:54:18] 905*2^1253116-1 is not prime. Res64: FD87D7E7CA5AB02E Time : 0.0 sec. user=mdettweiler [2013-09-13 08:54:19] 933*2^1253116-1 is not prime. Res64: 98C9BBC7B2106033 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:01:45] 601*2^1253117-1 is not prime. Res64: 10080FC6A23274EA Time : 0.0 sec. user=mdettweiler [2013-09-13 09:01:46] 615*2^1253117-1 is not prime. Res64: 96479B3DCBC8ED68 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:02:17] 953*2^1253116-1 is not prime. Res64: D22CC305F8BFE5CB Time : 0.0 sec. user=mdettweiler [2013-09-13 09:02:18] 957*2^1253116-1 is not prime. Res64: 34D11F336435361F Time : 0.0 sec. user=mdettweiler [2013-09-13 09:06:54] 771*2^1253117-1 is not prime. Res64: F788789233432F03 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:06:55] 915*2^1253117-1 is not prime. Res64: 47C49B5846E206CF Time : 0.0 sec. user=mdettweiler [2013-09-13 09:15:26] 937*2^1253117-1 is not prime. Res64: 0C3BA5DF7B670111 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:15:27] 663*2^1253118-1 is not prime. Res64: 9E3612E1601EEC1E Time : 0.0 sec. user=mdettweiler [2013-09-13 09:21:52] 695*2^1253118-1 is not prime. Res64: 759EE945CF772844 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:21:53] 777*2^1253118-1 is not prime. Res64: 436FC226BE63D5B2 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:22:30] 825*2^1253118-1 is not prime. Res64: 44ECE6060E6C7F50 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:22:30] 861*2^1253118-1 is not prime. Res64: 5A80A24CAFC48E93 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:28:05] 975*2^1253118-1 is not prime. Res64: 4B71EBA75CB87443 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:28:06] 615*2^1253119-1 is not prime. Res64: CD43077F3B4F1718 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:35:36] 633*2^1253119-1 is not prime. Res64: 0D57738526439C10 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:35:36] 645*2^1253119-1 is not prime. Res64: 957D652382C76262 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:41:58] 759*2^1253119-1 is not prime. Res64: D7E7FAF59E203E84 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:41:59] 765*2^1253119-1 is not prime. Res64: C372F3965F11EDB3 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:42:40] 843*2^1253119-1 is not prime. Res64: C17CF6FFC2410AA8 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:42:40] 855*2^1253119-1 is not prime. Res64: 12E89A2D57F8C246 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:49:10] 973*2^1253119-1 is not prime. Res64: 2B1AB62BD869BED5 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:49:11] 689*2^1253120-1 is not prime. Res64: 0FEEE520B01CD726 Time : 0.0 sec. user=mdettweiler [2013-09-13 09:57:41] 935*2^1253120-1 is not prime. Res64: FF74AFFF125D6B2A Time : 0.0 sec. user=mdettweiler [2013-09-13 09:57:42] 977*2^1253120-1 is not prime. Res64: A5FC4EBAA4AA24C2 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:02:03] 625*2^1253121-1 is not prime. Res64: C00100B8F48BF03D Time : 0.0 sec. user=mdettweiler [2013-09-13 10:02:03] 675*2^1253121-1 is not prime. Res64: 36EC6190637A8119 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:02:50] 795*2^1253121-1 is not prime. Res64: DE9C4CACB7E158E1 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:02:51] 861*2^1253121-1 is not prime. Res64: D9325F7677F90F38 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:10:16] 865*2^1253121-1 is not prime. Res64: 0F0B0829BBE1860C Time : 0.0 sec. user=mdettweiler [2013-09-13 10:10:17] 877*2^1253121-1 is not prime. Res64: CD6BE7B113567C5C Time : 0.0 sec. user=mdettweiler [2013-09-13 10:19:44] 975*2^1253121-1 is not prime. Res64: D0FB75191C4556DE Time : 0.0 sec. user=mdettweiler [2013-09-13 10:19:45] 979*2^1253121-1 is not prime. Res64: 3FFFB2577EC59A98 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:23:04] 991*2^1253121-1 is not prime. Res64: C1F689DFC17570E3 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:23:05] 681*2^1253122-1 is not prime. Res64: 2EF2461CAD156E31 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:23:57] 737*2^1253122-1 is not prime. Res64: 35031F7B9FA30442 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:23:57] 975*2^1253122-1 is not prime. Res64: 724E951AFF7CC92B Time : 0.0 sec. user=mdettweiler [2013-09-13 10:30:22] 753*2^1253123-1 is not prime. Res64: C215AA70F28DD588 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:30:23] 829*2^1253123-1 is not prime. Res64: 9C4908F0409993EE Time : 0.0 sec. user=mdettweiler [2013-09-13 10:41:45] 913*2^1253123-1 is not prime. Res64: 4B16D5EE9A338285 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:41:46] 945*2^1253123-1 is not prime. Res64: 44FE1943997B4096 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:43:10] 615*2^1253124-1 is not prime. Res64: 173A3ECCA0E5067F Time : 0.0 sec. user=mdettweiler [2013-09-13 10:43:10] 629*2^1253124-1 is not prime. Res64: C2279F5FC89C7D1A Time : 0.0 sec. user=mdettweiler [2013-09-13 10:44:04] 695*2^1253124-1 is not prime. Res64: 0AC30803741FD479 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:44:04] 717*2^1253124-1 is not prime. Res64: F58C8BA35A41909F Time : 0.0 sec. user=mdettweiler [2013-09-13 10:50:22] 737*2^1253124-1 is not prime. Res64: 5469C9699250F113 Time : 0.0 sec. user=mdettweiler [2013-09-13 10:50:23] 789*2^1253124-1 is not prime. Res64: 85C12DFEDB0D09E4 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:02:42] 863*2^1253124-1 is not prime. Res64: 84010FC3E984367E Time : 0.0 sec. user=mdettweiler [2013-09-13 11:02:43] 923*2^1253124-1 is not prime. Res64: 751FE5313C62FC4D Time : 0.0 sec. user=mdettweiler [2013-09-13 11:05:01] 945*2^1253124-1 is not prime. Res64: EB85FC2E57634086 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:05:01] 849*2^1253125-1 is not prime. Res64: 1DAF68019D5730BB Time : 0.0 sec. user=mdettweiler [2013-09-13 11:05:02] 987*2^1253124-1 is not prime. Res64: 2313BA7DD933017F Time : 0.0 sec. user=mdettweiler [2013-09-13 11:05:02] 885*2^1253125-1 is not prime. Res64: 1A0509345D2F8D63 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:11:19] 975*2^1253125-1 is not prime. Res64: 694C12AD7F69FA08 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:11:20] 635*2^1253126-1 is not prime. Res64: 3487389230FA6BC8 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:22:51] 645*2^1253126-1 is not prime. Res64: FC7A4C2C5643E77A Time : 0.0 sec. user=mdettweiler [2013-09-13 11:22:52] 743*2^1253126-1 is not prime. Res64: E607A1AACB202021 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:25:57] 825*2^1253126-1 is not prime. Res64: FAA6CFD05B367253 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:25:57] 893*2^1253126-1 is not prime. Res64: 484950581B50D571 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:26:01] 945*2^1253126-1 is not prime. Res64: 659AA1563901F66A Time : 0.0 sec. user=mdettweiler [2013-09-13 11:26:02] 625*2^1253127-1 is not prime. Res64: D7364851C5F75DBE Time : 0.0 sec. user=mdettweiler [2013-09-13 11:31:21] 649*2^1253127-1 is not prime. Res64: C484F2C4DDF75E29 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:31:22] 703*2^1253127-1 is not prime. Res64: 290B6D2FB0557E12 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:42:54] 735*2^1253127-1 is not prime. Res64: 1861F66D301366FA Time : 0.0 sec. user=mdettweiler [2013-09-13 11:42:55] 793*2^1253127-1 is not prime. Res64: D9F199B0391C2539 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:47:56] 901*2^1253127-1 is not prime. Res64: BB806DF3AC968D2B Time : 0.0 sec. user=mdettweiler [2013-09-13 11:47:56] 931*2^1253127-1 is not prime. Res64: EB17C4F9655092EB Time : 0.0 sec. user=mdettweiler [2013-09-13 11:47:59] 955*2^1253127-1 is not prime. Res64: FB32AEEFC4A40FD2 Time : 0.0 sec. user=mdettweiler [2013-09-13 11:48:00] 979*2^1253127-1 is not prime. Res64: 83F749A0EABA8E0F Time : 0.0 sec. user=mdettweiler [2013-09-13 11:51:28] 603*2^1253128-1 is not prime. Res64: B230D0F608AB2F2F Time : 0.0 sec. user=mdettweiler [2013-09-13 11:51:28] 755*2^1253128-1 is not prime. Res64: 632131784497F375 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:02:53] 797*2^1253128-1 is not prime. Res64: FA367525E67ECFE8 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:02:54] 827*2^1253128-1 is not prime. Res64: BD2699474FE365BF Time : 0.0 sec. user=mdettweiler [2013-09-13 12:07:52] 645*2^1253129-1 is not prime. Res64: 4D1CD73EB314BA4A Time : 0.0 sec. user=mdettweiler [2013-09-13 12:07:53] 711*2^1253129-1 is not prime. Res64: 4B78A2D79BC9839F Time : 0.0 sec. user=mdettweiler [2013-09-13 12:09:48] 897*2^1253129-1 is not prime. Res64: 5F235BF6F61A094B Time : 0.0 sec. user=mdettweiler [2013-09-13 12:09:50] 951*2^1253129-1 is not prime. Res64: 23FE4EA8617B4EFF Time : 0.0 sec. user=mdettweiler [2013-09-13 12:13:17] 967*2^1253129-1 is not prime. Res64: 2CBEC463ABA0D07D Time : 0.0 sec. user=mdettweiler [2013-09-13 12:13:17] 997*2^1253129-1 is not prime. Res64: 9DA6F4FA76190D64 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:23:14] 765*2^1253130-1 is not prime. Res64: 96D2A69BFA6BD897 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:23:14] 797*2^1253130-1 is not prime. Res64: BA123ABA005C1C0A Time : 0.0 sec. user=mdettweiler [2013-09-13 12:29:50] 893*2^1253130-1 is not prime. Res64: DB64E145D0FC12FD Time : 0.0 sec. user=mdettweiler [2013-09-13 12:29:50] 971*2^1253130-1 is not prime. Res64: B3570D8C96F10B22 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:29:54] 603*2^1253131-1 is not prime. Res64: 7019E447ABC10A82 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:29:55] 651*2^1253131-1 is not prime. Res64: 5713775AE30BBA7C Time : 0.0 sec. user=mdettweiler [2013-09-13 12:33:17] 673*2^1253131-1 is not prime. Res64: E872298172961A41 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:33:18] 675*2^1253131-1 is not prime. Res64: 2B5D1322DCEC0CA5 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:43:14] 685*2^1253131-1 is not prime. Res64: 930F33F2B4DCDA10 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:43:14] 805*2^1253131-1 is not prime. Res64: 826FC115071DFB2C Time : 0.0 sec. user=mdettweiler [2013-09-13 12:50:44] 835*2^1253131-1 is not prime. Res64: E5D3E8A1D71AFDB5 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:50:45] 925*2^1253131-1 is not prime. Res64: 9611F4D7A3CF7EB4 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:51:51] 973*2^1253131-1 is not prime. Res64: 7BDD8EB2AE047E75 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:51:52] 975*2^1253131-1 is not prime. Res64: 21D69875EBB902E8 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:53:20] 675*2^1253132-1 is not prime. Res64: A9FECC04444A1418 Time : 0.0 sec. user=mdettweiler [2013-09-13 12:53:20] 767*2^1253132-1 is not prime. Res64: 519BFF7ED92485CA Time : 0.0 sec. user=mdettweiler [2013-09-13 13:03:27] 843*2^1253132-1 is not prime. Res64: E778844CC8087DF8 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:03:29] 657*2^1253133-1 is not prime. Res64: AE9AAD9DF3ACA312 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:11:28] 747*2^1253133-1 is not prime. Res64: B0992E01BF55031C Time : 0.0 sec. user=mdettweiler [2013-09-13 13:11:29] 789*2^1253133-1 is not prime. Res64: 989644528CEFF4E5 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:12:36] 861*2^1253133-1 is not prime. Res64: 441113DB17D61F36 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:12:36] 657*2^1253134-1 is not prime. Res64: 497206F2C24EBBDB Time : 0.0 sec. user=mdettweiler [2013-09-13 13:14:01] 665*2^1253134-1 is not prime. Res64: DEDD6F1615A33171 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:14:01] 681*2^1253134-1 is not prime. Res64: 53BFFDD8F42021D8 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:25:57] 903*2^1253134-1 is not prime. Res64: C2B99EE1AA0036BE Time : 0.0 sec. user=mdettweiler [2013-09-13 13:25:58] 945*2^1253134-1 is not prime. Res64: E20751694F0D1C00 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:32:46] 859*2^1253135-1 is not prime. Res64: C74ADE5E7A8424BE Time : 0.0 sec. user=mdettweiler [2013-09-13 13:32:47] 861*2^1253135-1 is not prime. Res64: BC0FE425333B9CC5 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:33:40] 971*2^1253134-1 is not prime. Res64: 25A7DACC7B3FD157 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:33:41] 975*2^1253134-1 is not prime. Res64: A80A3E57053D626D Time : 0.0 sec. user=mdettweiler [2013-09-13 13:35:06] 895*2^1253135-1 is not prime. Res64: E8D8B53E5CFFAD80 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:35:07] 837*2^1253136-1 is not prime. Res64: C7ADC4D9EE4A3305 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:46:00] 619*2^1253137-1 is not prime. Res64: C4D5FAFCAE7DC82D Time : 0.0 sec. user=mdettweiler [2013-09-13 13:46:00] 741*2^1253137-1 is not prime. Res64: 6F4C02AF9F8C7919 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:52:52] 861*2^1253137-1 is not prime. Res64: F107B77BEC8A8256 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:52:52] 867*2^1253137-1 is not prime. Res64: 58A6608B49E042A1 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:55:15] 603*2^1253138-1 is not prime. Res64: 84A6ECFE87D588BA Time : 0.0 sec. user=mdettweiler [2013-09-13 13:55:15] 641*2^1253138-1 is not prime. Res64: 94458385EDC0189E Time : 0.0 sec. user=mdettweiler [2013-09-13 13:55:43] 909*2^1253137-1 is not prime. Res64: 0451D3493DA77929 Time : 0.0 sec. user=mdettweiler [2013-09-13 13:55:44] 919*2^1253137-1 is not prime. Res64: 99674B3FAC85F64A Time : 0.0 sec. user=mdettweiler [2013-09-13 14:06:54] 657*2^1253138-1 is not prime. Res64: FEDD3A7D2E20E072 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:06:56] 665*2^1253138-1 is not prime. Res64: 4063E0CDBF6B72F7 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:14:08] 797*2^1253138-1 is not prime. Res64: 8C166301D9EF01CD Time : 0.0 sec. user=mdettweiler [2013-09-13 14:14:09] 843*2^1253138-1 is not prime. Res64: 069BF4EAEC281A48 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:17:46] 861*2^1253138-1 is not prime. Res64: B755F2E285810F6C Time : 0.0 sec. user=mdettweiler [2013-09-13 14:17:47] 953*2^1253138-1 is not prime. Res64: A1AD227C5E9AFC8B Time : 0.0 sec. user=mdettweiler [2013-09-13 14:19:00] 963*2^1253138-1 is not prime. Res64: CC5A62C4D816B90E Time : 0.0 sec. user=mdettweiler [2013-09-13 14:19:01] 977*2^1253138-1 is not prime. Res64: 70E5EFDA94157542 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:27:52] 625*2^1253139-1 is not prime. Res64: 6FE1C77CF6234B71 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:27:52] 705*2^1253139-1 is not prime. Res64: C30A123A0CFD0163 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:34:24] 735*2^1253139-1 is not prime. Res64: F608DC1696C7D55A Time : 0.0 sec. user=mdettweiler [2013-09-13 14:34:24] 751*2^1253139-1 is not prime. Res64: 1A7B237A924DE939 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:38:57] 801*2^1253139-1 is not prime. Res64: 151B1AB7060025DF Time : 0.0 sec. user=mdettweiler [2013-09-13 14:38:57] 873*2^1253139-1 is not prime. Res64: 86143C87DE3442D7 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:41:07] 885*2^1253139-1 is not prime. Res64: A093F6B726B61F66 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:41:08] 921*2^1253139-1 is not prime. Res64: 5A429F3394272E6D Time : 0.0 sec. user=mdettweiler [2013-09-13 14:49:02] 969*2^1253139-1 is not prime. Res64: 31D828C0E5F16FAC Time : 0.0 sec. user=mdettweiler [2013-09-13 14:49:02] 629*2^1253140-1 is not prime. Res64: 96A6DEF178E655AE Time : 0.0 sec. user=mdettweiler [2013-09-13 14:54:26] 843*2^1253140-1 is not prime. Res64: 18BADEE1878F5B42 Time : 0.0 sec. user=mdettweiler [2013-09-13 14:54:27] 857*2^1253140-1 is not prime. Res64: 001DECD6B2FAA5F9 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:01:00] 885*2^1253140-1 is not prime. Res64: 7D1F7B3ABF0C21B0 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:01:01] 989*2^1253140-1 is not prime. Res64: 81E84A263CCF370F Time : 0.0 sec. user=mdettweiler [2013-09-13 15:01:11] 615*2^1253141-1 is not prime. Res64: 05B828E5AE4434CD Time : 0.0 sec. user=mdettweiler [2013-09-13 15:01:11] 649*2^1253141-1 is not prime. Res64: BD9F262564F1BE17 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:09:02] 657*2^1253141-1 is not prime. Res64: D9EE37E7658CD4D9 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:09:03] 747*2^1253141-1 is not prime. Res64: 12E2EAD8F103168E Time : 0.0 sec. user=mdettweiler [2013-09-13 15:14:31] 757*2^1253141-1 is not prime. Res64: 581052FF9407E6C8 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:14:31] 867*2^1253141-1 is not prime. Res64: 453FB004881B33D9 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:21:18] 621*2^1253142-1 is not prime. Res64: 660E3DF6292EB218 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:21:18] 717*2^1253142-1 is not prime. Res64: 208ECB3307002471 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:22:00] 939*2^1253141-1 is not prime. Res64: 5E4B9E2C70824BF0 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:22:00] 611*2^1253142-1 is not prime. Res64: 627B731164310335 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:30:07] 833*2^1253142-1 is not prime. Res64: C142E067D5539FF2 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:30:08] 903*2^1253142-1 is not prime. Res64: 2D8865C7C5FDA356 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:34:33] 603*2^1253143-1 is not prime. Res64: 2A73C562E9045154 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:34:33] 783*2^1253143-1 is not prime. Res64: 0897EDF56A32E407 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:41:20] 831*2^1253143-1 is not prime. Res64: 4F9CCB21175E98E1 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:41:21] 855*2^1253143-1 is not prime. Res64: 84723B77EA406BF3 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:42:05] 617*2^1253144-1 is not prime. Res64: AC3F3B3FD82CC341 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:42:05] 759*2^1253144-1 is not prime. Res64: 7AD035AE25DAB34B Time : 0.0 sec. user=mdettweiler [2013-09-13 15:52:10] 915*2^1253144-1 is not prime. Res64: BDFD59DF58DCCAAB Time : 0.0 sec. user=mdettweiler [2013-09-13 15:52:10] 927*2^1253144-1 is not prime. Res64: 02787F133EA0DF58 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:56:39] 929*2^1253144-1 is not prime. Res64: 01FE7CC7F75FF124 Time : 0.0 sec. user=mdettweiler [2013-09-13 15:56:40] 935*2^1253144-1 is not prime. Res64: 409508B835669104 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:01:24] 709*2^1253145-1 is not prime. Res64: 75FB04F7A114DB8E Time : 0.0 sec. user=mdettweiler [2013-09-13 16:01:25] 741*2^1253145-1 is not prime. Res64: 6E425B60001B7795 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:03:07] 817*2^1253145-1 is not prime. Res64: 226529C142C0426B Time : 0.0 sec. user=mdettweiler [2013-09-13 16:03:08] 915*2^1253145-1 is not prime. Res64: E49D9D94BDF232B3 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:13:42] 949*2^1253145-1 is not prime. Res64: AF017C60691E3C39 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:13:42] 645*2^1253146-1 is not prime. Res64: 546AFBC0C5D033BE Time : 0.0 sec. user=mdettweiler [2013-09-13 16:17:14] 713*2^1253146-1 is not prime. Res64: C9140E88B27A4CDF Time : 0.0 sec. user=mdettweiler [2013-09-13 16:17:14] 735*2^1253146-1 is not prime. Res64: 0B3885B893F76018 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:22:30] 737*2^1253146-1 is not prime. Res64: 0ACD462ECACD6EBC Time : 0.0 sec. user=mdettweiler [2013-09-13 16:22:30] 765*2^1253146-1 is not prime. Res64: 20E67BC8FFD11196 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:25:08] 857*2^1253146-1 is not prime. Res64: 585900057861CA1A Time : 0.0 sec. user=mdettweiler [2013-09-13 16:25:08] 941*2^1253146-1 is not prime. Res64: 2F6E37203C057DAF Time : 0.0 sec. user=mdettweiler [2013-09-13 16:35:22] 971*2^1253146-1 is not prime. Res64: 3FB449916E15C907 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:35:22] 669*2^1253147-1 is not prime. Res64: 1923B87D58927B36 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:37:59] 735*2^1253147-1 is not prime. Res64: 008B57287B57455A Time : 0.0 sec. user=mdettweiler [2013-09-13 16:38:00] 739*2^1253147-1 is not prime. Res64: 98D8DB03E0FA82E5 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:43:27] 775*2^1253147-1 is not prime. Res64: 72C0F44F8823B18C Time : 0.0 sec. user=mdettweiler [2013-09-13 16:43:27] 813*2^1253147-1 is not prime. Res64: 807198FE2D174AB8 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:45:46] 639*2^1253148-1 is not prime. Res64: 1434C8A830FF26CB Time : 0.0 sec. user=mdettweiler [2013-09-13 16:45:47] 707*2^1253148-1 is not prime. Res64: A053A63CF00901DD Time : 0.0 sec. user=mdettweiler [2013-09-13 16:55:42] 735*2^1253148-1 is not prime. Res64: 89ADFE1FD2EAC8A4 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:55:42] 749*2^1253148-1 is not prime. Res64: B879CA66916B4BD0 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:58:40] 753*2^1253148-1 is not prime. Res64: 3A566FDCBC6DFAF8 Time : 0.0 sec. user=mdettweiler [2013-09-13 16:58:40] 783*2^1253148-1 is not prime. Res64: F42063705B715096 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:04:14] 843*2^1253148-1 is not prime. Res64: F5293428F4699C7B Time : 0.0 sec. user=mdettweiler [2013-09-13 17:04:15] 845*2^1253148-1 is not prime. Res64: 91945951F7CEDF2D Time : 0.0 sec. user=mdettweiler [2013-09-13 17:07:30] 867*2^1253148-1 is not prime. Res64: AEB7E9B756657C09 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:07:30] 915*2^1253148-1 is not prime. Res64: 7CE0B8D051071E89 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:18:24] 959*2^1253148-1 is not prime. Res64: 6275192864D35ACC Time : 0.0 sec. user=mdettweiler [2013-09-13 17:18:24] 977*2^1253148-1 is not prime. Res64: 354C7E7F241C7263 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:19:22] 601*2^1253149-1 is not prime. Res64: 7EC9F163E38BF572 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:19:23] 691*2^1253149-1 is not prime. Res64: 81C14BDF3FD9EE8B Time : 0.0 sec. user=mdettweiler [2013-09-13 17:24:53] 799*2^1253149-1 is not prime. Res64: 61B3EB9DF6CB8AAC Time : 0.0 sec. user=mdettweiler [2013-09-13 17:24:54] 855*2^1253149-1 is not prime. Res64: DD09738C9BB97CD7 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:29:08] 997*2^1253149-1 is not prime. Res64: 185F5DFB8DBDE84F Time : 0.0 sec. user=mdettweiler [2013-09-13 17:29:08] 665*2^1253150-1 is not prime. Res64: AD9D526F813C5814 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:39:08] 713*2^1253150-1 is not prime. Res64: 2E1218049E81CE90 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:39:08] 753*2^1253150-1 is not prime. Res64: A3015A911D0053BD Time : 0.0 sec. user=mdettweiler [2013-09-13 17:41:13] 785*2^1253150-1 is not prime. Res64: 3C6B49B16736066D Time : 0.0 sec. user=mdettweiler [2013-09-13 17:41:13] 911*2^1253150-1 is not prime. Res64: 1866FC147A77F202 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:46:36] 921*2^1253150-1 is not prime. Res64: 79C9A0818785DE7A Time : 0.0 sec. user=mdettweiler [2013-09-13 17:46:36] 661*2^1253151-1 is not prime. Res64: 41FA9968B5DDD620 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:50:40] 769*2^1253151-1 is not prime. Res64: 12D645ECAAF12089 Time : 0.0 sec. user=mdettweiler [2013-09-13 17:50:41] 895*2^1253151-1 is not prime. Res64: AAE5099EB9B4BC7C Time : 0.0 sec. user=mdettweiler [2013-09-13 18:01:50] 603*2^1253152-1 is not prime. Res64: CC126D5565F96403 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:01:51] 635*2^1253152-1 is not prime. Res64: C83D4EC5523639F8 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:01:53] 933*2^1253151-1 is not prime. Res64: 803EF3617F96F9B5 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:01:54] 979*2^1253151-1 is not prime. Res64: D26AAC4967950AC6 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:08:07] 975*2^1253152-1 is not prime. Res64: 213BAC426E9C5CFD Time : 0.0 sec. user=mdettweiler [2013-09-13 18:08:07] 657*2^1253153-1 is not prime. Res64: C577963E746C27AC Time : 0.0 sec. user=mdettweiler [2013-09-13 18:11:15] 675*2^1253153-1 is not prime. Res64: BF3A682E0DB2D96D Time : 0.0 sec. user=mdettweiler [2013-09-13 18:11:16] 685*2^1253153-1 is not prime. Res64: 32CFE07440D7A297 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:22:44] 727*2^1253153-1 is not prime. Res64: CC6AEA81AEB8B391 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:22:44] 735*2^1253153-1 is not prime. Res64: 5A503951C6F5C9AE Time : 0.0 sec. user=mdettweiler [2013-09-13 18:24:41] 879*2^1253153-1 is not prime. Res64: 7FEFAEE842EB4E18 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:24:41] 987*2^1253153-1 is not prime. Res64: AFA3132C88D957A3 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:28:52] 671*2^1253154-1 is not prime. Res64: 3818CDADAAB98BE1 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:28:52] 747*2^1253154-1 is not prime. Res64: 06A47FABE9EC5AEA Time : 0.0 sec. user=mdettweiler [2013-09-13 18:33:49] 875*2^1253154-1 is not prime. Res64: E10AB46623F6D44B Time : 0.0 sec. user=mdettweiler [2013-09-13 18:33:50] 941*2^1253154-1 is not prime. Res64: A726B816111314E6 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:45:12] 945*2^1253154-1 is not prime. Res64: 9C3509D613197DBF Time : 0.0 sec. user=mdettweiler [2013-09-13 18:45:12] 993*2^1253154-1 is not prime. Res64: 3ADFF1F0DA3519E5 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:45:20] 709*2^1253155-1 is not prime. Res64: 3FB1EAF1FFF0C45C Time : 0.0 sec. user=mdettweiler [2013-09-13 18:45:21] 751*2^1253155-1 is not prime. Res64: FF7062AC14099966 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:49:18] 771*2^1253155-1 is not prime. Res64: CB3BADE3C8C898E5 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:49:18] 801*2^1253155-1 is not prime. Res64: 6152240AA4384280 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:54:22] 707*2^1253156-1 is not prime. Res64: 555555A78FA72295 Time : 0.0 sec. user=mdettweiler [2013-09-13 18:54:23] 717*2^1253156-1 is not prime. Res64: 46AF0F0A5C6DAEF4 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:05:35] 743*2^1253156-1 is not prime. Res64: AC13FFFB26FCFD18 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:05:35] 773*2^1253156-1 is not prime. Res64: E8D46D2286E361ED Time : 0.0 sec. user=mdettweiler [2013-09-13 19:06:55] 837*2^1253156-1 is not prime. Res64: 804C2B8D31E6D883 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:06:56] 897*2^1253156-1 is not prime. Res64: 800463E17294AC76 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:10:50] 983*2^1253156-1 is not prime. Res64: 0BCE060D379E02D9 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:10:50] 727*2^1253157-1 is not prime. Res64: D7E422391DBF666E Time : 0.0 sec. user=mdettweiler [2013-09-13 19:15:51] 747*2^1253157-1 is not prime. Res64: 37A14FA609EC0EF3 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:15:51] 889*2^1253157-1 is not prime. Res64: 51630DD47E2970A8 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:28:25] 915*2^1253157-1 is not prime. Res64: 8555B39750DEE081 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:28:25] 945*2^1253157-1 is not prime. Res64: 8419BB611011725A Time : 0.0 sec. user=mdettweiler [2013-09-13 19:28:34] 961*2^1253157-1 is not prime. Res64: A5C97999DAFB1D61 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:28:34] 681*2^1253158-1 is not prime. Res64: E9C6EDD94B99A122 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:32:28] 857*2^1253158-1 is not prime. Res64: 71844634267779E7 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:32:29] 887*2^1253158-1 is not prime. Res64: 5C72883E4F07D03A Time : 0.0 sec. user=mdettweiler [2013-09-13 19:37:59] 1001*2^1253158-1 is not prime. Res64: EB3CAF8FEECA0F1C Time : 0.0 sec. user=mdettweiler [2013-09-13 19:37:59] 619*2^1253159-1 is not prime. Res64: 92F55849E187581B Time : 0.0 sec. user=mdettweiler [2013-09-13 19:52:32] 771*2^1253159-1 is not prime. Res64: BC2E20BB468DE15D Time : 0.0 sec. user=mdettweiler [2013-09-13 19:52:33] 811*2^1253159-1 is not prime. Res64: E878CECD4B54455C Time : 0.0 sec. user=mdettweiler [2013-09-13 19:52:41] 621*2^1253159-1 is not prime. Res64: 9323FC23D11CCF84 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:52:41] 685*2^1253159-1 is not prime. Res64: 4EC9200BBF3F9765 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:56:25] 859*2^1253159-1 is not prime. Res64: 7435181A12796572 Time : 0.0 sec. user=mdettweiler [2013-09-13 19:56:26] 669*2^1253160-1 is not prime. Res64: 408D785A16822D7B Time : 0.0 sec. user=mdettweiler [2013-09-13 20:01:36] 695*2^1253160-1 is not prime. Res64: EF76B92BB5A9712A Time : 0.0 sec. user=mdettweiler [2013-09-13 20:01:37] 707*2^1253160-1 is not prime. Res64: 554927F0577BD1E0 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:13:16] 759*2^1253160-1 is not prime. Res64: D1DEA0AB4B6F3B6C Time : 0.0 sec. user=mdettweiler [2013-09-13 20:13:17] 809*2^1253160-1 is not prime. Res64: 385A9E7F92C4FDE5 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:15:05] 893*2^1253160-1 is not prime. Res64: 41C9823BCD62FF81 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:15:06] 975*2^1253160-1 is not prime. Res64: BFF749098347AEF0 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:16:41] 609*2^1253161-1 is not prime. Res64: 0B763A5F8DCD09C9 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:16:41] 747*2^1253161-1 is not prime. Res64: 4C68AEC333FB4FC1 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:23:21] 901*2^1253161-1 is not prime. Res64: 127C398BD773A889 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:23:22] 925*2^1253161-1 is not prime. Res64: 61265043ED821C1C Time : 0.0 sec. user=mdettweiler [2013-09-13 20:33:28] 633*2^1253162-1 is not prime. Res64: CF238E24DF9E5D26 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:33:29] 645*2^1253162-1 is not prime. Res64: 69D22DB8AD373701 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:35:10] 675*2^1253162-1 is not prime. Res64: 4FBE81073CF123BD Time : 0.0 sec. user=mdettweiler [2013-09-13 20:35:10] 701*2^1253162-1 is not prime. Res64: 1CA7F426E6DAD39F Time : 0.0 sec. user=mdettweiler [2013-09-13 20:36:48] 705*2^1253162-1 is not prime. Res64: 13BF3136D97E120F Time : 0.0 sec. user=mdettweiler [2013-09-13 20:36:48] 713*2^1253162-1 is not prime. Res64: C961409706EAC24A Time : 0.0 sec. user=mdettweiler [2013-09-13 20:44:45] 827*2^1253162-1 is not prime. Res64: 73A75B6428A17E5A Time : 0.0 sec. user=mdettweiler [2013-09-13 20:44:46] 995*2^1253162-1 is not prime. Res64: 621A8C2843B57626 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:54:28] 1001*2^1253162-1 is not prime. Res64: 9BCE8B74450B2FC0 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:54:28] 663*2^1253163-1 is not prime. Res64: 325755262C927977 Time : 0.0 sec. user=mdettweiler [2013-09-13 20:56:16] 765*2^1253163-1 is not prime. Res64: 31F9C0AA6044A0EF Time : 0.0 sec. user=mdettweiler [2013-09-13 20:56:16] 951*2^1253163-1 is not prime. Res64: 368186E73892211B Time : 0.0 sec. user=mdettweiler [2013-09-13 20:58:42] 963*2^1253163-1 is not prime. Res64: A0E8D0DCAE709DBA Time : 0.0 sec. user=mdettweiler [2013-09-13 20:58:43] 969*2^1253163-1 is not prime. Res64: 88F44F08EA541589 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:04:49] 617*2^1253164-1 is not prime. Res64: 62AC974AB3C925B0 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:04:50] 743*2^1253164-1 is not prime. Res64: 76CC141886640FAA Time : 0.0 sec. user=mdettweiler [2013-09-13 21:14:27] 759*2^1253164-1 is not prime. Res64: A7339088894EBBD4 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:14:28] 655*2^1253165-1 is not prime. Res64: 2B4D68F9DAAE09D5 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:16:16] 711*2^1253165-1 is not prime. Res64: ADFC185F6E9F4FC9 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:16:16] 715*2^1253165-1 is not prime. Res64: CCCB09EDC4DE5CA4 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:18:43] 727*2^1253165-1 is not prime. Res64: CCC760F992A4621F Time : 0.0 sec. user=mdettweiler [2013-09-13 21:18:44] 729*2^1253165-1 is not prime. Res64: 7CA405BC9F521DE2 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:26:40] 871*2^1253165-1 is not prime. Res64: 2D96134106F76A6B Time : 0.0 sec. user=mdettweiler [2013-09-13 21:26:40] 889*2^1253165-1 is not prime. Res64: E712C047C4B1F683 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:36:12] 969*2^1253165-1 is not prime. Res64: 9FA1584EDDD70F55 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:36:13] 981*2^1253165-1 is not prime. Res64: E1EF24094BD9A03C Time : 0.0 sec. user=mdettweiler [2013-09-13 21:37:02] 723*2^1253166-1 is not prime. Res64: 7305545754721F2F Time : 0.0 sec. user=mdettweiler [2013-09-13 21:37:02] 933*2^1253166-1 is not prime. Res64: 1339660363A9CD7C Time : 0.0 sec. user=mdettweiler [2013-09-13 21:39:30] 941*2^1253166-1 is not prime. Res64: 4C12F4E01A94E4A7 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:39:31] 649*2^1253167-1 is not prime. Res64: 4E381F291855A7BD Time : 0.0 sec. user=mdettweiler [2013-09-13 21:46:30] 675*2^1253167-1 is not prime. Res64: FF923462A5F99FC7 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:46:30] 741*2^1253167-1 is not prime. Res64: CDBCCD794F4C5324 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:56:01] 763*2^1253167-1 is not prime. Res64: EE052B386F543803 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:56:01] 861*2^1253167-1 is not prime. Res64: 6F68989A8697330C Time : 0.0 sec. user=mdettweiler [2013-09-13 21:57:45] 931*2^1253167-1 is not prime. Res64: 7A87FCC43412CDE8 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:57:46] 677*2^1253168-1 is not prime. Res64: F88095A9547A9B41 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:59:15] 725*2^1253168-1 is not prime. Res64: 046085B474C67A50 Time : 0.0 sec. user=mdettweiler [2013-09-13 21:59:16] 803*2^1253168-1 is not prime. Res64: D21D8327532DE8BD Time : 0.0 sec. user=mdettweiler [2013-09-13 22:07:22] 843*2^1253168-1 is not prime. Res64: 9143B25527B6472B Time : 0.0 sec. user=mdettweiler [2013-09-13 22:07:24] 957*2^1253168-1 is not prime. Res64: 52151EB4B59ADCE6 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:16:49] 999*2^1253168-1 is not prime. Res64: 7FB2A8A95A9028EA Time : 0.0 sec. user=mdettweiler [2013-09-13 22:16:49] 811*2^1253169-1 is not prime. Res64: 6E63DD9B5AC0CB0F Time : 0.0 sec. user=mdettweiler [2013-09-13 22:19:27] 895*2^1253169-1 is not prime. Res64: EF4C995301DE9765 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:19:28] 919*2^1253169-1 is not prime. Res64: 21A46DE4EC2EECFD Time : 0.0 sec. user=mdettweiler [2013-09-13 22:19:59] 951*2^1253169-1 is not prime. Res64: 250155225D770B11 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:19:59] 605*2^1253170-1 is not prime. Res64: D5062F0BF5DB2016 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:27:07] 675*2^1253170-1 is not prime. Res64: 04AB5DA9737676A8 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:27:07] 681*2^1253170-1 is not prime. Res64: 10F5A7F29BC45E54 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:36:32] 741*2^1253170-1 is not prime. Res64: DD923AA1EAB5B710 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:36:33] 765*2^1253170-1 is not prime. Res64: 2D64B2608AE2CB70 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:39:12] 777*2^1253170-1 is not prime. Res64: 1859F1176D676513 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:39:12] 857*2^1253170-1 is not prime. Res64: 7BCFD6085A960DE7 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:40:39] 861*2^1253170-1 is not prime. Res64: EB2F8E4286AF8838 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:40:39] 915*2^1253170-1 is not prime. Res64: C4FB76A9C322BDA0 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:48:46] 945*2^1253170-1 is not prime. Res64: AD11CADDE4D3071F Time : 0.0 sec. user=mdettweiler [2013-09-13 22:48:46] 981*2^1253170-1 is not prime. Res64: CEB70F9096C2CE04 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:56:16] 643*2^1253171-1 is not prime. Res64: 8BABA8BFA9FE711A Time : 0.0 sec. user=mdettweiler [2013-09-13 22:56:16] 693*2^1253171-1 is not prime. Res64: 241F78AD0DB813AA Time : 0.0 sec. user=mdettweiler [2013-09-13 22:58:59] 705*2^1253171-1 is not prime. Res64: B3406540C0EC8100 Time : 0.0 sec. user=mdettweiler [2013-09-13 22:58:59] 741*2^1253171-1 is not prime. Res64: 7D5CA752EDC3161E Time : 0.0 sec. user=mdettweiler [2013-09-13 23:00:30] 745*2^1253171-1 is not prime. Res64: 9BC28313C6328205 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:00:31] 813*2^1253171-1 is not prime. Res64: 459FB1B840DCF089 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:09:26] 859*2^1253171-1 is not prime. Res64: 59E48172AFB7DB8B Time : 0.0 sec. user=mdettweiler [2013-09-13 23:09:27] 889*2^1253171-1 is not prime. Res64: 9EDB23DAA77A8CC1 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:17:01] 991*2^1253171-1 is not prime. Res64: 0E78FF6BDD9CB0C1 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:17:01] 737*2^1253172-1 is not prime. Res64: 95EC68CAFD374206 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:19:42] 837*2^1253172-1 is not prime. Res64: 303AC847C32E1CE0 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:19:43] 875*2^1253172-1 is not prime. Res64: 71DB22BB3DA88071 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:22:17] 915*2^1253172-1 is not prime. Res64: 35F0922D8EA8C74B Time : 0.0 sec. user=mdettweiler [2013-09-13 23:22:17] 947*2^1253172-1 is not prime. Res64: B5F72A6BB9A51156 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:31:23] 983*2^1253172-1 is not prime. Res64: 1E6394D22E33327D Time : 0.0 sec. user=mdettweiler [2013-09-13 23:31:24] 999*2^1253172-1 is not prime. Res64: F46FDF5A55649B9E Time : 0.0 sec. user=mdettweiler [2013-09-13 23:37:03] 649*2^1253173-1 is not prime. Res64: D4067C805B49B246 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:37:03] 681*2^1253173-1 is not prime. Res64: C4CD45094976FCCF Time : 0.0 sec. user=mdettweiler [2013-09-13 23:40:43] 801*2^1253173-1 is not prime. Res64: 528010040867E0AA Time : 0.0 sec. user=mdettweiler [2013-09-13 23:40:44] 877*2^1253173-1 is not prime. Res64: CEBE415D0E2DB5F0 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:44:11] 897*2^1253173-1 is not prime. Res64: CB5C174AA6063CC8 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:44:12] 919*2^1253173-1 is not prime. Res64: 956EE78D45CEB365 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:52:22] 951*2^1253173-1 is not prime. Res64: 9CD25B30682EE3A6 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:52:22] 755*2^1253174-1 is not prime. Res64: 1B0D822FCE0732DE Time : 0.0 sec. user=mdettweiler [2013-09-13 23:57:42] 857*2^1253174-1 is not prime. Res64: 7B5A974070AB5958 Time : 0.0 sec. user=mdettweiler [2013-09-13 23:57:43] 887*2^1253174-1 is not prime. Res64: C5217D98A5FC1748 Time : 0.0 sec.