user=mdettweiler [2012-10-29 00:14:14] 951*2^1233315-1 is not prime. Res64: B490F3A99A2F3E10 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:14:17] 963*2^1233315-1 is not prime. Res64: 863E68D94AC32591 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:17:36] 623*2^1233316-1 is not prime. Res64: 23635E5DDBD2F9C5 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:17:39] 677*2^1233316-1 is not prime. Res64: 4FAA83AB29619E33 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:35:10] 773*2^1233316-1 is not prime. Res64: 10ED3A9B9704B399 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:35:11] 785*2^1233316-1 is not prime. Res64: E5D9E0024C177C10 Time : 0.0 sec. user=vaughan [2012-10-29 00:35:38] 695*2^1233316-1 is not prime. Res64: 501C86CB42850910 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:38:30] 803*2^1233316-1 is not prime. Res64: B31FDAB9D14932A0 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:38:30] 855*2^1233316-1 is not prime. Res64: 92192C67A8124F14 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:55:56] 857*2^1233316-1 is not prime. Res64: A857749166B3C8D8 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:55:57] 899*2^1233316-1 is not prime. Res64: 95E5CB462EC198DE Time : 0.0 sec. user=mdettweiler [2012-10-29 00:59:15] 989*2^1233316-1 is not prime. Res64: 8E02A0B319F165F7 Time : 0.0 sec. user=mdettweiler [2012-10-29 00:59:15] 715*2^1233317-1 is not prime. Res64: AA63498DFCB7E31D Time : 0.0 sec. user=vaughan [2012-10-29 01:13:20] 923*2^1233316-1 is not prime. Res64: 18BAF6EF66ABE1C2 Time : 0.0 sec. user=mdettweiler [2012-10-29 01:16:41] 799*2^1233317-1 is not prime. Res64: 8C4AF53E41FB68DF Time : 0.0 sec. user=mdettweiler [2012-10-29 01:16:42] 915*2^1233317-1 is not prime. Res64: 5E346788117E4D26 Time : 0.0 sec. user=mdettweiler [2012-10-29 01:20:00] 635*2^1233318-1 is not prime. Res64: 551F8199DD493F45 Time : 0.0 sec. user=mdettweiler [2012-10-29 01:20:00] 683*2^1233318-1 is not prime. Res64: 752A2B26AB0EFF65 Time : 0.0 sec. user=mdettweiler [2012-10-29 01:37:28] 773*2^1233318-1 is not prime. Res64: 92E1C15F8D359F71 Time : 0.0 sec. user=mdettweiler [2012-10-29 01:37:28] 791*2^1233318-1 is not prime. Res64: 61660F07C7F9DD9F Time : 0.0 sec. user=mdettweiler [2012-10-29 01:40:45] 797*2^1233318-1 is not prime. Res64: C9CB26B15BB0A858 Time : 0.0 sec. user=mdettweiler [2012-10-29 01:40:46] 861*2^1233318-1 is not prime. Res64: A0F66450AA595697 Time : 0.0 sec. user=vaughan [2012-10-29 01:51:09] 737*2^1233318-1 is not prime. Res64: 56D0134CCC28F2CA Time : 0.0 sec. user=mdettweiler [2012-10-29 01:58:13] 963*2^1233318-1 is not prime. Res64: CB238E971FA66937 Time : 0.0 sec. user=mdettweiler [2012-10-29 01:58:14] 675*2^1233319-1 is not prime. Res64: 755100275A867E18 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:01:31] 679*2^1233319-1 is not prime. Res64: 71B0CF0B0A93A785 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:01:31] 843*2^1233319-1 is not prime. Res64: EB4A791F078EEF6B Time : 0.0 sec. user=mdettweiler [2012-10-29 02:18:58] 931*2^1233319-1 is not prime. Res64: AFA693FF73881D08 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:18:59] 933*2^1233319-1 is not prime. Res64: 92B0A6B8BC20FC74 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:22:17] 663*2^1233320-1 is not prime. Res64: BE5EED57412C357D Time : 0.0 sec. user=mdettweiler [2012-10-29 02:22:17] 915*2^1233320-1 is not prime. Res64: A56A3C1606AD8054 Time : 0.0 sec. user=vaughan [2012-10-29 02:28:46] 895*2^1233319-1 is not prime. Res64: 17292FB6EC814BE8 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:39:48] 959*2^1233320-1 is not prime. Res64: 8C8976AC6B4742F4 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:39:50] 999*2^1233320-1 is not prime. Res64: 68497FD0EA1F27F4 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:43:03] 741*2^1233321-1 is not prime. Res64: 4261C85CD738C5D6 Time : 0.0 sec. user=mdettweiler [2012-10-29 02:43:03] 865*2^1233321-1 is not prime. Res64: 54F659C61D9E07CF Time : 0.0 sec. user=mdettweiler [2012-10-29 03:00:45] 949*2^1233321-1 is not prime. Res64: 047D3B08E8ED931F Time : 0.0 sec. user=mdettweiler [2012-10-29 03:00:48] 657*2^1233322-1 is not prime. Res64: F5CFEE3007BAE9C1 Time : 0.0 sec. user=mdettweiler [2012-10-29 03:03:49] 665*2^1233322-1 is not prime. Res64: 2C2BD631FB770515 Time : 0.0 sec. user=mdettweiler [2012-10-29 03:03:51] 681*2^1233322-1 is not prime. Res64: 09239FD7DC3FE577 Time : 0.0 sec. user=vaughan [2012-10-29 03:06:24] 907*2^1233321-1 is not prime. Res64: 2FB53845612C7410 Time : 0.0 sec. user=mdettweiler [2012-10-29 03:21:52] 741*2^1233322-1 is not prime. Res64: 2EFA13786184B7CE Time : 0.0 sec. user=mdettweiler [2012-10-29 03:21:53] 873*2^1233322-1 is not prime. Res64: 48DD9500A41707A7 Time : 0.0 sec. user=mdettweiler [2012-10-29 03:24:36] 947*2^1233322-1 is not prime. Res64: A6F469004DACE61D Time : 0.0 sec. user=mdettweiler [2012-10-29 03:24:38] 673*2^1233323-1 is not prime. Res64: 91A5D9F094AF296E Time : 0.0 sec. user=mdettweiler [2012-10-29 03:42:40] 789*2^1233323-1 is not prime. Res64: B683234146F28039 Time : 0.0 sec. user=mdettweiler [2012-10-29 03:42:41] 981*2^1233323-1 is not prime. Res64: 36AAD3B4FD9C719F Time : 0.0 sec. user=vaughan [2012-10-29 03:44:05] 685*2^1233323-1 is not prime. Res64: EC0F2610B93CFFCE Time : 0.0 sec. user=mdettweiler [2012-10-29 03:45:23] 991*2^1233323-1 is not prime. Res64: 2B7D5811981A0A9E Time : 0.0 sec. user=mdettweiler [2012-10-29 03:45:24] 663*2^1233324-1 is not prime. Res64: 72C37135221B0624 Time : 0.0 sec. user=mdettweiler [2012-10-29 04:03:29] 753*2^1233324-1 is not prime. Res64: 43521D668A299B74 Time : 0.0 sec. user=mdettweiler [2012-10-29 04:03:30] 759*2^1233324-1 is not prime. Res64: BC5A9FB63ED9B943 Time : 0.0 sec. user=mdettweiler [2012-10-29 04:06:08] 803*2^1233324-1 is not prime. Res64: 72EC9BFECAA5361D Time : 0.0 sec. user=mdettweiler [2012-10-29 04:06:10] 927*2^1233324-1 is not prime. Res64: 72330C1110D3494A Time : 0.0 sec. user=vaughan [2012-10-29 04:21:47] 773*2^1233324-1 is not prime. Res64: 36FC85BBC09F713E Time : 0.0 sec. user=mdettweiler [2012-10-29 04:24:19] 801*2^1233325-1 is not prime. Res64: 384CA20E84070ADF Time : 0.0 sec. user=mdettweiler [2012-10-29 04:24:20] 871*2^1233325-1 is not prime. Res64: 990FF4BE1CA887B4 Time : 0.0 sec. user=mdettweiler [2012-10-29 04:26:58] 937*2^1233325-1 is not prime. Res64: CCF055C64910175F Time : 0.0 sec. user=mdettweiler [2012-10-29 04:26:58] 951*2^1233325-1 is not prime. Res64: CA39E689883E58AA Time : 0.0 sec. user=mdettweiler [2012-10-29 04:45:04] 705*2^1233326-1 is not prime. Res64: 929790BD4813ECF2 Time : 0.0 sec. user=mdettweiler [2012-10-29 04:45:04] 743*2^1233326-1 is not prime. Res64: 480FCEE006F3BF2E Time : 0.0 sec. user=mdettweiler [2012-10-29 04:47:42] 801*2^1233326-1 is not prime. Res64: 0CEFDEC52B3937A8 Time : 0.0 sec. user=mdettweiler [2012-10-29 04:47:43] 897*2^1233326-1 is not prime. Res64: CCBF1336F6C7209D Time : 0.0 sec. user=vaughan [2012-10-29 04:59:30] 987*2^1233325-1 is not prime. Res64: 2E7A80AB35B4B43D Time : 0.0 sec. user=mdettweiler [2012-10-29 05:05:52] 987*2^1233326-1 is not prime. Res64: 80BFB5BA68A90C4D Time : 0.0 sec. user=mdettweiler [2012-10-29 05:05:53] 619*2^1233327-1 is not prime. Res64: AC3F40118D8CACF4 Time : 0.0 sec. user=mdettweiler [2012-10-29 05:08:29] 685*2^1233327-1 is not prime. Res64: 4E049476F6643386 Time : 0.0 sec. user=mdettweiler [2012-10-29 05:08:30] 693*2^1233327-1 is not prime. Res64: C90137E564AF3C89 Time : 0.0 sec. user=mdettweiler [2012-10-29 05:26:41] 751*2^1233327-1 is not prime. Res64: 8C357BD2DFEFF4DE Time : 0.0 sec. user=mdettweiler [2012-10-29 05:26:41] 793*2^1233327-1 is not prime. Res64: D455A390DA2B40AF Time : 0.0 sec. user=mdettweiler [2012-10-29 05:29:16] 885*2^1233327-1 is not prime. Res64: 1F577A5C3FDA16AC Time : 0.0 sec. user=mdettweiler [2012-10-29 05:29:16] 909*2^1233327-1 is not prime. Res64: FC50F1EB32DAF4B5 Time : 0.0 sec. user=vaughan [2012-10-29 05:37:09] 703*2^1233327-1 is not prime. Res64: B5D3032249E4A9D5 Time : 0.0 sec. user=mdettweiler [2012-10-29 05:47:27] 919*2^1233327-1 is not prime. Res64: 251995CEB3B4228A Time : 0.0 sec. user=mdettweiler [2012-10-29 05:47:28] 963*2^1233327-1 is not prime. Res64: BF47B745336BA59C Time : 0.0 sec. user=mdettweiler [2012-10-29 05:50:01] 755*2^1233328-1 is not prime. Res64: 30F81582E7971D5A Time : 0.0 sec. user=mdettweiler [2012-10-29 05:50:02] 995*2^1233328-1 is not prime. Res64: 79E84D61A1DF3F69 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:08:12] 949*2^1233329-1 is not prime. Res64: 1A2B18E58353E4CE Time : 0.0 sec. user=mdettweiler [2012-10-29 06:08:13] 951*2^1233329-1 is not prime. Res64: 0B555BFA26B45B85 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:10:46] 967*2^1233329-1 is not prime. Res64: D13127965E3AB028 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:10:47] 641*2^1233330-1 is not prime. Res64: 3A3F26DEC41F7DA9 Time : 0.0 sec. user=vaughan [2012-10-29 06:14:50] 945*2^1233329-1 is not prime. Res64: 609ACD0E3F5B1887 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:29:02] 653*2^1233330-1 is not prime. Res64: E5E9AEB2A522A468 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:29:02] 671*2^1233330-1 is not prime. Res64: D918A5C52311037D Time : 0.0 sec. user=mdettweiler [2012-10-29 06:31:34] 783*2^1233330-1 is not prime. Res64: 18D3273308CE6D05 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:31:34] 867*2^1233330-1 is not prime. Res64: B675AC59F09E254C Time : 0.0 sec. user=mdettweiler [2012-10-29 06:49:48] 601*2^1233331-1 is not prime. Res64: 3A5669FF78351109 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:49:48] 673*2^1233331-1 is not prime. Res64: BF1290D938B6D8C1 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:52:22] 769*2^1233331-1 is not prime. Res64: 10A637323B304029 Time : 0.0 sec. user=mdettweiler [2012-10-29 06:52:22] 849*2^1233331-1 is not prime. Res64: C0B68E04A8EFAB8F Time : 0.0 sec. user=vaughan [2012-10-29 06:52:47] 1001*2^1233330-1 is not prime. Res64: B1B84D7007C957FF Time : 0.0 sec. user=mdettweiler [2012-10-29 07:10:33] 827*2^1233332-1 is not prime. Res64: FE1522526F1275FC Time : 0.0 sec. user=mdettweiler [2012-10-29 07:10:34] 915*2^1233332-1 is not prime. Res64: 185E6BE8F7C4D9F5 Time : 0.0 sec. user=mdettweiler [2012-10-29 07:13:07] 669*2^1233333-1 is not prime. Res64: 246F0C2F41C2552E Time : 0.0 sec. user=mdettweiler [2012-10-29 07:13:09] 675*2^1233333-1 is not prime. Res64: 29004B096E6C3ABE Time : 0.0 sec. user=vaughan [2012-10-29 07:30:28] 789*2^1233333-1 is not prime. Res64: 5E77B985E6A4C5BC Time : 0.0 sec. user=mdettweiler [2012-10-29 07:31:22] 889*2^1233333-1 is not prime. Res64: EE2DFE8FC6182A13 Time : 0.0 sec. user=mdettweiler [2012-10-29 07:31:23] 891*2^1233333-1 is not prime. Res64: 2E7FFA531DE0C3FE Time : 0.0 sec. user=mdettweiler [2012-10-29 07:34:00] 985*2^1233333-1 is not prime. Res64: A42BD0953174030F Time : 0.0 sec. user=mdettweiler [2012-10-29 07:34:00] 991*2^1233333-1 is not prime. Res64: 09B5857F567CD923 Time : 0.0 sec. user=mdettweiler [2012-10-29 07:52:08] 623*2^1233334-1 is not prime. Res64: 4029EE840CF3BC8A Time : 0.0 sec. user=mdettweiler [2012-10-29 07:52:08] 737*2^1233334-1 is not prime. Res64: 0AAED29EED9F5669 Time : 0.0 sec. user=mdettweiler [2012-10-29 07:54:45] 747*2^1233334-1 is not prime. Res64: 8F394F7F0277E37E Time : 0.0 sec. user=mdettweiler [2012-10-29 07:54:46] 825*2^1233334-1 is not prime. Res64: D0E653A48BAE8276 Time : 0.0 sec. user=vaughan [2012-10-29 08:08:10] 611*2^1233334-1 is not prime. Res64: AEFDECB2C182A412 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:12:54] 885*2^1233334-1 is not prime. Res64: 3726985AC45AD0AF Time : 0.0 sec. user=mdettweiler [2012-10-29 08:12:55] 983*2^1233334-1 is not prime. Res64: 9603EB08DB4587B1 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:15:32] 661*2^1233335-1 is not prime. Res64: 2FE6E06C75D35C66 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:15:33] 685*2^1233335-1 is not prime. Res64: 0BECBE5D3D858AA5 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:33:41] 855*2^1233335-1 is not prime. Res64: 5EE29BEF57FE5A21 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:33:42] 895*2^1233335-1 is not prime. Res64: 39B8D31369D53E88 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:36:19] 913*2^1233335-1 is not prime. Res64: 2F1DF93FD83CB401 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:36:19] 963*2^1233335-1 is not prime. Res64: 68B3167610CA806A Time : 0.0 sec. user=vaughan [2012-10-29 08:45:52] 753*2^1233335-1 is not prime. Res64: E44542F4F21B6FA0 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:54:27] 973*2^1233335-1 is not prime. Res64: C8D892795F1ED891 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:54:28] 981*2^1233335-1 is not prime. Res64: 9EFD8813043BF3A0 Time : 0.0 sec. user=mdettweiler [2012-10-29 08:57:04] 991*2^1233335-1 is not prime. Res64: B0EFAA93ADDC057E Time : 0.0 sec. user=mdettweiler [2012-10-29 08:57:04] 657*2^1233336-1 is not prime. Res64: A99BCD5D332AFBF8 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:15:13] 773*2^1233336-1 is not prime. Res64: F8AA0FDFEB28B77C Time : 0.0 sec. user=mdettweiler [2012-10-29 09:15:14] 845*2^1233336-1 is not prime. Res64: B356CC53CC76A2A6 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:17:51] 893*2^1233336-1 is not prime. Res64: 31E479D7A9DE7C91 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:17:52] 945*2^1233336-1 is not prime. Res64: B366F1139668B8BD Time : 0.0 sec. user=vaughan [2012-10-29 09:23:33] 707*2^1233336-1 is not prime. Res64: D56DCFC78D0B1ABC Time : 0.0 sec. user=mdettweiler [2012-10-29 09:36:11] 983*2^1233336-1 is not prime. Res64: 3E7D56A48077E129 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:36:11] 609*2^1233337-1 is not prime. Res64: 4D2552AF21844B65 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:38:38] 645*2^1233337-1 is not prime. Res64: 49492F6E96C38354 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:38:38] 775*2^1233337-1 is not prime. Res64: BBFCD0D7FDFB1122 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:57:11] 871*2^1233337-1 is not prime. Res64: C1A3E627234BF040 Time : 0.0 sec. user=mdettweiler [2012-10-29 09:57:11] 617*2^1233338-1 is not prime. Res64: 8AC18EBFF0EDC23B Time : 0.0 sec. user=mdettweiler [2012-10-29 09:59:42] 627*2^1233338-1 is not prime. Res64: 8B7D531F80826B5A Time : 0.0 sec. user=mdettweiler [2012-10-29 09:59:43] 665*2^1233338-1 is not prime. Res64: 127E4DAF3710EA77 Time : 0.0 sec. user=vaughan [2012-10-29 10:01:18] 829*2^1233337-1 is not prime. Res64: 1A6C4DEEF77DA9C1 Time : 0.0 sec. user=mdettweiler [2012-10-29 10:18:38] 767*2^1233338-1 is not prime. Res64: ACFD34AA91B6FAE0 Time : 0.0 sec. user=mdettweiler [2012-10-29 10:18:39] 813*2^1233338-1 is not prime. Res64: 19CF453C07F6402D Time : 0.0 sec. user=mdettweiler [2012-10-29 10:20:59] 845*2^1233338-1 is not prime. Res64: 0D384FDAB53EF75D Time : 0.0 sec. user=mdettweiler [2012-10-29 10:20:59] 911*2^1233338-1 is not prime. Res64: 93D928D241675FAB Time : 0.0 sec. user=vaughan [2012-10-29 10:38:57] 957*2^1233338-1 is not prime. Res64: 09DA1F5A7E41DAC7 Time : 0.0 sec. user=mdettweiler [2012-10-29 10:39:33] 669*2^1233339-1 is not prime. Res64: 24FF1F676942F051 Time : 0.0 sec. user=mdettweiler [2012-10-29 10:39:34] 685*2^1233339-1 is not prime. Res64: 22A1CF37DEC55D14 Time : 0.0 sec. user=mdettweiler [2012-10-29 10:41:45] 895*2^1233339-1 is not prime. Res64: 57718FB590E03ACC Time : 0.0 sec. user=mdettweiler [2012-10-29 10:41:45] 985*2^1233339-1 is not prime. Res64: 0D2DF4F90970C09B Time : 0.0 sec. user=mdettweiler [2012-10-29 11:00:18] 635*2^1233340-1 is not prime. Res64: CECFF9F3B5F80F90 Time : 0.0 sec. user=mdettweiler [2012-10-29 11:00:19] 743*2^1233340-1 is not prime. Res64: 53C8E018FF2C2C8A Time : 0.0 sec. user=mdettweiler [2012-10-29 11:02:31] 803*2^1233340-1 is not prime. Res64: 893C66658A82AB0F Time : 0.0 sec. user=mdettweiler [2012-10-29 11:02:32] 885*2^1233340-1 is not prime. Res64: ECA6920384BC4C6B Time : 0.0 sec. user=vaughan [2012-10-29 11:16:39] 605*2^1233340-1 is not prime. Res64: E08CF6ED98BDD892 Time : 0.0 sec. user=mdettweiler [2012-10-29 11:21:07] 959*2^1233340-1 is not prime. Res64: CBBD4E92EF34AE7D Time : 0.0 sec. user=mdettweiler [2012-10-29 11:21:08] 965*2^1233340-1 is not prime. Res64: CBBCE34E9DC25906 Time : 0.0 sec. user=mdettweiler [2012-10-29 11:23:18] 975*2^1233340-1 is not prime. Res64: DE9A1438117AD079 Time : 0.0 sec. user=mdettweiler [2012-10-29 11:23:19] 987*2^1233340-1 is not prime. Res64: DCFE3BBC1E18DB0A Time : 0.0 sec. user=mdettweiler [2012-10-29 11:41:53] 867*2^1233341-1 is not prime. Res64: 90E8ED390D803869 Time : 0.0 sec. user=mdettweiler [2012-10-29 11:41:54] 925*2^1233341-1 is not prime. Res64: 2986659E4C296BB7 Time : 0.0 sec. user=mdettweiler [2012-10-29 11:44:03] 651*2^1233342-1 is not prime. Res64: FBDD745E352FB94D Time : 0.0 sec. user=mdettweiler [2012-10-29 11:44:03] 705*2^1233342-1 is not prime. Res64: 7D9A9AC8A4F0B9B2 Time : 0.0 sec. user=vaughan [2012-10-29 11:54:31] 621*2^1233341-1 is not prime. Res64: D4128D685E06224B Time : 0.0 sec. user=mdettweiler [2012-10-29 12:02:38] 815*2^1233342-1 is not prime. Res64: E4557D6142DCCAD1 Time : 0.0 sec. user=mdettweiler [2012-10-29 12:02:38] 947*2^1233342-1 is not prime. Res64: C22F119DB17D8B2A Time : 0.0 sec. user=mdettweiler [2012-10-29 12:04:47] 963*2^1233342-1 is not prime. Res64: 5E766A090B863F75 Time : 0.0 sec. user=mdettweiler [2012-10-29 12:04:49] 649*2^1233343-1 is not prime. Res64: F818237D56F5DFCB Time : 0.0 sec. user=mdettweiler [2012-10-29 12:24:05] 855*2^1233343-1 is not prime. Res64: A0CF2CBD3AF32264 Time : 0.0 sec. user=mdettweiler [2012-10-29 12:24:05] 883*2^1233343-1 is not prime. Res64: 7ADD898CB47066A1 Time : 0.0 sec. user=mdettweiler [2012-10-29 12:26:52] 969*2^1233343-1 is not prime. Res64: 555DDC7193E5CC81 Time : 0.0 sec. user=mdettweiler [2012-10-29 12:26:52] 645*2^1233344-1 is not prime. Res64: 6825D650CADF639E Time : 0.0 sec. user=vaughan [2012-10-29 12:32:11] 775*2^1233343-1 is not prime. Res64: A0011362D3A72C3B Time : 0.0 sec. user=mdettweiler [2012-10-29 12:45:23] 759*2^1233344-1 is not prime. Res64: E01767C2AC410730 Time : 0.0 sec. user=mdettweiler [2012-10-29 12:45:24] 915*2^1233344-1 is not prime. Res64: 199736288C4D91B3 Time : 0.0 sec. user=mdettweiler [2012-10-29 12:48:06] 945*2^1233344-1 is not prime. Res64: 963D010B733786CA Time : 0.0 sec. user=mdettweiler [2012-10-29 12:48:06] 969*2^1233344-1 is not prime. Res64: 3EAF96CDC2D10ED0 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:06:38] 635*2^1233346-1 is not prime. Res64: B66CEA3E69527211 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:06:39] 717*2^1233346-1 is not prime. Res64: D3C76AB7D4A94A5B Time : 0.0 sec. user=mdettweiler [2012-10-29 13:09:19] 813*2^1233346-1 is not prime. Res64: 76DA72133621DC44 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:09:20] 843*2^1233346-1 is not prime. Res64: C68410D42F803E77 Time : 0.0 sec. user=vaughan [2012-10-29 13:09:52] 741*2^1233345-1 is not prime. Res64: ACD59EBD98E4D4CC Time : 0.0 sec. user=mdettweiler [2012-10-29 13:27:58] 867*2^1233346-1 is not prime. Res64: 44470DBE723482E3 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:27:59] 603*2^1233347-1 is not prime. Res64: 689B1DCEFD4132FC Time : 0.0 sec. user=mdettweiler [2012-10-29 13:30:40] 615*2^1233347-1 is not prime. Res64: 46D855C51DD914F4 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:30:41] 621*2^1233347-1 is not prime. Res64: 8718D28A7490EC2E Time : 0.0 sec. user=vaughan [2012-10-29 13:47:30] 663*2^1233347-1 is not prime. Res64: 7EC8F87086EAEA2C Time : 0.0 sec. user=mdettweiler [2012-10-29 13:49:20] 799*2^1233347-1 is not prime. Res64: 6351D183200A4650 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:49:20] 825*2^1233347-1 is not prime. Res64: F1EFC6ED7F62AA28 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:52:03] 871*2^1233347-1 is not prime. Res64: AD4EA62E235D6920 Time : 0.0 sec. user=mdettweiler [2012-10-29 13:52:04] 949*2^1233347-1 is not prime. Res64: 52ED7BB0A774AC73 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:10:37] 819*2^1233348-1 is not prime. Res64: 3EA5A54904D37DF1 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:10:38] 927*2^1233348-1 is not prime. Res64: 4D2B40275B3D41FD Time : 0.0 sec. user=mdettweiler [2012-10-29 14:13:21] 959*2^1233348-1 is not prime. Res64: 9D4C29F50D17C654 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:13:22] 615*2^1233349-1 is not prime. Res64: 58BB469239733B0A Time : 0.0 sec. user=vaughan [2012-10-29 14:25:15] 705*2^1233348-1 is not prime. Res64: CE435B7D1C93738F Time : 0.0 sec. user=mdettweiler [2012-10-29 14:32:09] 649*2^1233349-1 is not prime. Res64: 10479D9BF35DF375 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:32:09] 687*2^1233349-1 is not prime. Res64: 88865D45D82B2FFD Time : 0.0 sec. user=mdettweiler [2012-10-29 14:34:44] 751*2^1233349-1 is not prime. Res64: E2B2DD34A9765FCA Time : 0.0 sec. user=mdettweiler [2012-10-29 14:34:45] 799*2^1233349-1 is not prime. Res64: 35609CA05C893EB3 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:53:31] 897*2^1233349-1 is not prime. Res64: 65724B277ADB7C84 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:53:31] 925*2^1233349-1 is not prime. Res64: 4D51CC17AA3AA1C4 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:56:07] 987*2^1233349-1 is not prime. Res64: EFBB3CE9A3711C09 Time : 0.0 sec. user=mdettweiler [2012-10-29 14:56:07] 635*2^1233350-1 is not prime. Res64: 29C997A1202AA76D Time : 0.0 sec. user=vaughan [2012-10-29 15:03:01] 895*2^1233349-1 is not prime. Res64: EA8FBD441897A7D9 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:14:52] 707*2^1233350-1 is not prime. Res64: D6FC4D1F4C026721 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:14:54] 731*2^1233350-1 is not prime. Res64: 2771FC8854C660C3 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:17:26] 885*2^1233350-1 is not prime. Res64: AC261BAAC39F7950 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:17:26] 887*2^1233350-1 is not prime. Res64: 57E9CC1D5A2C9EBB Time : 0.0 sec. user=mdettweiler [2012-10-29 15:36:29] 965*2^1233350-1 is not prime. Res64: 1A65D18901EE0A31 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:36:29] 971*2^1233350-1 is not prime. Res64: C8B54449CB86ACBF Time : 0.0 sec. user=mdettweiler [2012-10-29 15:38:52] 981*2^1233350-1 is not prime. Res64: 6BA2BFDA00CE8509 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:38:52] 639*2^1233351-1 is not prime. Res64: FC8169A5FDAB9C4E Time : 0.0 sec. user=vaughan [2012-10-29 15:40:49] 917*2^1233350-1 is not prime. Res64: BA8126F235687DB1 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:57:50] 661*2^1233351-1 is not prime. Res64: 6BED973E6E895521 Time : 0.0 sec. user=mdettweiler [2012-10-29 15:57:51] 691*2^1233351-1 is not prime. Res64: B5B7DDCF692864E7 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:00:12] 751*2^1233351-1 is not prime. Res64: 3DED04D6C52A547B Time : 0.0 sec. user=mdettweiler [2012-10-29 16:00:13] 943*2^1233351-1 is not prime. Res64: EC6139140DDE6B45 Time : 0.0 sec. user=vaughan [2012-10-29 16:18:31] 713*2^1233352-1 is not prime. Res64: 359FDB2EB6593436 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:19:07] 717*2^1233352-1 is not prime. Res64: 1EFDACC3170EBC85 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:19:08] 765*2^1233352-1 is not prime. Res64: 78A81C94DD6B3678 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:21:28] 827*2^1233352-1 is not prime. Res64: 8889C8F7AE60B108 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:21:28] 849*2^1233352-1 is not prime. Res64: A4DC8BE9C6B9ACF2 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:40:23] 903*2^1233352-1 is not prime. Res64: 3C3A1D121ECB2740 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:40:23] 909*2^1233352-1 is not prime. Res64: F68F9F5797AA1DBA Time : 0.0 sec. user=mdettweiler [2012-10-29 16:42:43] 915*2^1233352-1 is not prime. Res64: 2BEB6E88E49AAB92 Time : 0.0 sec. user=mdettweiler [2012-10-29 16:42:43] 917*2^1233352-1 is not prime. Res64: 9F67C06D3314B594 Time : 0.0 sec. user=vaughan [2012-10-29 16:56:23] 855*2^1233352-1 is not prime. Res64: DBEE818C96080813 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:01:36] 957*2^1233352-1 is not prime. Res64: 861AE044840AFFB5 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:01:37] 721*2^1233353-1 is not prime. Res64: F1D25ADE722D500B Time : 0.0 sec. user=mdettweiler [2012-10-29 17:03:44] 771*2^1233353-1 is not prime. Res64: EDFF19B76133137B Time : 0.0 sec. user=mdettweiler [2012-10-29 17:03:45] 847*2^1233353-1 is not prime. Res64: 8C0B28CE0B8E0A47 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:22:21] 955*2^1233353-1 is not prime. Res64: 899F1FD1D82C88A6 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:22:22] 957*2^1233353-1 is not prime. Res64: CED6B20FFEEE0547 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:24:32] 657*2^1233354-1 is not prime. Res64: DBF77E4284576BA9 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:24:33] 677*2^1233354-1 is not prime. Res64: 9F15397F9CC69394 Time : 0.0 sec. user=vaughan [2012-10-29 17:34:04] 937*2^1233353-1 is not prime. Res64: 53B8C3D195BAE5B0 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:43:06] 683*2^1233354-1 is not prime. Res64: 42BD5EB38450FF39 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:43:07] 807*2^1233354-1 is not prime. Res64: BCA30EE232CB0730 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:45:17] 975*2^1233354-1 is not prime. Res64: A38B6C95C3EEA741 Time : 0.0 sec. user=mdettweiler [2012-10-29 17:45:18] 993*2^1233354-1 is not prime. Res64: DC783DC980781EB8 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:03:50] 639*2^1233355-1 is not prime. Res64: 78D9890EB6FE5301 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:03:51] 649*2^1233355-1 is not prime. Res64: 247CC24BB1A830DF Time : 0.0 sec. user=mdettweiler [2012-10-29 18:06:02] 699*2^1233355-1 is not prime. Res64: 3877836889CA97FD Time : 0.0 sec. user=mdettweiler [2012-10-29 18:06:03] 733*2^1233355-1 is not prime. Res64: 1947096FE9988AF0 Time : 0.0 sec. user=vaughan [2012-10-29 18:11:45] 619*2^1233355-1 is not prime. Res64: 12012E2704D72160 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:24:52] 751*2^1233355-1 is not prime. Res64: 47D53606C4E1622F Time : 0.0 sec. user=mdettweiler [2012-10-29 18:24:53] 759*2^1233355-1 is not prime. Res64: F639BAB1365C4B91 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:27:04] 771*2^1233355-1 is not prime. Res64: B0EF322EF5BEE792 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:27:05] 939*2^1233355-1 is not prime. Res64: 979779721A386986 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:46:03] 743*2^1233356-1 is not prime. Res64: 584E03C1FCD0EA76 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:46:03] 813*2^1233356-1 is not prime. Res64: 1E26C0285900F99B Time : 0.0 sec. user=mdettweiler [2012-10-29 18:48:13] 845*2^1233356-1 is not prime. Res64: BECA15DA723EB800 Time : 0.0 sec. user=mdettweiler [2012-10-29 18:48:14] 999*2^1233356-1 is not prime. Res64: 6AA28B0639BFEECA Time : 0.0 sec. user=vaughan [2012-10-29 18:49:43] 969*2^1233355-1 is not prime. Res64: AD618A83F0742EA0 Time : 0.0 sec. user=vaughan [2012-10-29 19:27:23] 747*2^1233357-1 is not prime. Res64: C2390F5708BCBDB0 Time : 0.0 sec. user=vaughan [2012-10-29 20:05:06] 805*2^1233357-1 is not prime. Res64: FD488FDA3685430D Time : 0.0 sec. user=vaughan [2012-10-29 20:42:54] 835*2^1233357-1 is not prime. Res64: 66275D6D94C5B606 Time : 0.0 sec. user=vaughan [2012-10-29 21:20:37] 861*2^1233357-1 is not prime. Res64: 1C5F1CB89343C023 Time : 0.0 sec. user=vaughan [2012-10-29 21:58:18] 645*2^1233358-1 is not prime. Res64: 79FC725DB2237DD1 Time : 0.0 sec. user=vaughan [2012-10-29 22:35:56] 681*2^1233358-1 is not prime. Res64: 69845F3B8AA8E96D Time : 0.0 sec. user=vaughan [2012-10-29 23:13:36] 737*2^1233358-1 is not prime. Res64: 993F42940D02431E Time : 0.0 sec. user=vaughan [2012-10-29 23:51:19] 975*2^1233358-1 is not prime. Res64: B22EFA4CBF6E3176 Time : 0.0 sec.