user=mdettweiler [2012-01-29 00:03:27] 753*2^1003104-1 is not prime. Res64: 62AD3CEF5C9EEB71 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:03:28] 765*2^1003104-1 is not prime. Res64: 0F0BCDD09A42B28C Time : 0.0 sec. user=mdettweiler [2012-01-29 00:03:41] 717*2^1003105-1 is not prime. Res64: A165753D6B8FECCF Time : 0.0 sec. user=mdettweiler [2012-01-29 00:03:42] 777*2^1003105-1 is not prime. Res64: 65D26AF0DF961515 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:10:13] 877*2^1003105-1 is not prime. Res64: 2ABFF3FD50BE75D9 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:10:15] 677*2^1003106-1 is not prime. Res64: F820C985B10C7E62 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:20:58] 981*2^1003106-1 is not prime. Res64: CEC6E01846E1EFEC Time : 0.0 sec. user=mdettweiler [2012-01-29 00:20:59] 625*2^1003107-1 is not prime. Res64: A6097FE050EA1F62 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:23:12] 741*2^1003107-1 is not prime. Res64: 277B039403B0510A Time : 0.0 sec. user=mdettweiler [2012-01-29 00:23:12] 781*2^1003107-1 is not prime. Res64: 579E7868A1157139 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:23:28] 793*2^1003107-1 is not prime. Res64: A1EEFC0B222E0976 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:23:29] 901*2^1003107-1 is not prime. Res64: 0C9678F5829B18C3 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:34:33] 961*2^1003107-1 is not prime. Res64: 83B2C8CBFC2E0859 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:34:34] 979*2^1003107-1 is not prime. Res64: 66BD893D440F51F7 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:38:33] 921*2^1003091-1 is not prime. Res64: FC5E6B2AD9C2EA47 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:40:09] 683*2^1003092-1 is not prime. Res64: 30FB4EE9D5888992 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:40:10] 689*2^1003092-1 is not prime. Res64: EBFD7352049B7968 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:40:39] 783*2^1003108-1 is not prime. Res64: CC71C3BAF0F430CA Time : 0.0 sec. user=mdettweiler [2012-01-29 00:40:39] 833*2^1003108-1 is not prime. Res64: F9528D96E745BE0C Time : 0.0 sec. user=mdettweiler [2012-01-29 00:42:54] 845*2^1003108-1 is not prime. Res64: BF673147C0A2023A Time : 0.0 sec. user=mdettweiler [2012-01-29 00:42:55] 897*2^1003108-1 is not prime. Res64: D40B7504FCDF47D5 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:47:42] 929*2^1003108-1 is not prime. Res64: 20804B1507A8B790 Time : 0.0 sec. user=mdettweiler [2012-01-29 00:47:42] 989*2^1003108-1 is not prime. Res64: 5D594C71E931374F Time : 0.0 sec. user=mdettweiler [2012-01-29 00:54:22] 747*2^1003109-1 is not prime. Res64: 23EE54F747839BFE Time : 0.0 sec. user=mdettweiler [2012-01-29 00:54:22] 847*2^1003109-1 is not prime. Res64: C219818536D1B671 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:00:22] 871*2^1003111-1 is not prime. Res64: 935A289E8BF4A750 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:00:25] 885*2^1003111-1 is not prime. Res64: FCDD594851F6F1D9 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:04:49] 969*2^1003111-1 is not prime. Res64: 8165DEFCC4DFA045 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:04:50] 687*2^1003112-1 is not prime. Res64: B43E5A8F8E66F24D Time : 0.0 sec. user=mdettweiler [2012-01-29 01:07:21] 753*2^1003112-1 is not prime. Res64: D1CF7501C9E64D4F Time : 0.0 sec. user=mdettweiler [2012-01-29 01:07:22] 867*2^1003112-1 is not prime. Res64: 38FDD169FF8E493C Time : 0.0 sec. user=mdettweiler [2012-01-29 01:15:14] 957*2^1003094-1 is not prime. Res64: 71FF6CEFEBA4CF93 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:18:33] 995*2^1003112-1 is not prime. Res64: 52F234D010E255FC Time : 0.0 sec. user=mdettweiler [2012-01-29 01:18:34] 999*2^1003112-1 is not prime. Res64: 169F136F22140265 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:20:12] 685*2^1003113-1 is not prime. Res64: 568C5CE36AE7F88A Time : 0.0 sec. user=mdettweiler [2012-01-29 01:20:13] 705*2^1003113-1 is not prime. Res64: 02A20F764CC28799 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:24:34] 765*2^1003113-1 is not prime. Res64: AF93CC54402280E0 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:24:35] 889*2^1003113-1 is not prime. Res64: 8CEE77B3E794A63B Time : 0.0 sec. user=mdettweiler [2012-01-29 01:27:04] 681*2^1003114-1 is not prime. Res64: 3FA77A5F983F3716 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:27:04] 705*2^1003114-1 is not prime. Res64: 234B976DF5E25962 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:38:15] 747*2^1003114-1 is not prime. Res64: 6DCE1AE544C5EDDB Time : 0.0 sec. user=mdettweiler [2012-01-29 01:38:15] 885*2^1003114-1 is not prime. Res64: 555EBF265A66EFEB Time : 0.0 sec. user=mdettweiler [2012-01-29 01:44:15] 669*2^1003115-1 is not prime. Res64: 8313B091501A537C Time : 0.0 sec. user=mdettweiler [2012-01-29 01:44:16] 675*2^1003115-1 is not prime. Res64: B91D48E299FA1C9F Time : 0.0 sec. user=mdettweiler [2012-01-29 01:44:29] 975*2^1003114-1 is not prime. Res64: 550B9DE1BA3AFBCE Time : 0.0 sec. user=mdettweiler [2012-01-29 01:44:29] 987*2^1003114-1 is not prime. Res64: 2569433B4B400AC5 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:46:46] 771*2^1003115-1 is not prime. Res64: E39238E7B6F3AB0C Time : 0.0 sec. user=mdettweiler [2012-01-29 01:46:46] 783*2^1003115-1 is not prime. Res64: 3F917A8E92AAAC2E Time : 0.0 sec. user=mdettweiler [2012-01-29 01:57:57] 859*2^1003115-1 is not prime. Res64: 7404A62B564A4DB9 Time : 0.0 sec. user=mdettweiler [2012-01-29 01:57:57] 883*2^1003115-1 is not prime. Res64: 28B79D5728C4D4DE Time : 0.0 sec. user=mdettweiler [2012-01-29 02:04:08] 689*2^1003116-1 is not prime. Res64: 518D79980C129DA7 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:04:10] 693*2^1003116-1 is not prime. Res64: 217F4F4265C2BC0E Time : 0.0 sec. user=mdettweiler [2012-01-29 02:06:14] 999*2^1003115-1 is not prime. Res64: ED3988925AFE14CB Time : 0.0 sec. user=mdettweiler [2012-01-29 02:06:14] 609*2^1003116-1 is not prime. Res64: 4C42BF511946350C Time : 0.0 sec. user=mdettweiler [2012-01-29 02:06:23] 845*2^1003116-1 is not prime. Res64: C5F16329B1794407 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:06:24] 873*2^1003116-1 is not prime. Res64: 8A8F025413D232A6 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:19:54] 879*2^1003116-1 is not prime. Res64: 7CAF089696C00959 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:19:55] 927*2^1003116-1 is not prime. Res64: 42948E29A7F33AC7 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:26:06] 645*2^1003117-1 is not prime. Res64: FE6AA0D905D9CBA3 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:26:06] 649*2^1003117-1 is not prime. Res64: 3A4A0EE837C4247E Time : 0.0 sec. user=mdettweiler [2012-01-29 02:26:10] 975*2^1003116-1 is not prime. Res64: 899D7515F8F74D5E Time : 0.0 sec. user=mdettweiler [2012-01-29 02:26:10] 601*2^1003117-1 is not prime. Res64: 6C6D4CD1550406EF Time : 0.0 sec. user=mdettweiler [2012-01-29 02:28:24] 985*2^1003117-1 is not prime. Res64: 778ACF6FC369D9F0 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:28:25] 635*2^1003118-1 is not prime. Res64: 30D8C379154566DA Time : 0.0 sec. user=mdettweiler [2012-01-29 02:41:57] 707*2^1003118-1 is not prime. Res64: 41EF2BDBD4739AE8 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:41:57] 921*2^1003118-1 is not prime. Res64: ACF44D27C19D4C11 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:45:58] 693*2^1003119-1 is not prime. Res64: FAF8C74F62738C9D Time : 0.0 sec. user=mdettweiler [2012-01-29 02:45:59] 705*2^1003119-1 is not prime. Res64: 5253B2BD3D123C15 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:48:04] 963*2^1003118-1 is not prime. Res64: C179FAF0A3070ED7 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:48:05] 691*2^1003119-1 is not prime. Res64: 94D59DF94A605F4C Time : 0.0 sec. user=mdettweiler [2012-01-29 02:50:22] 861*2^1003119-1 is not prime. Res64: 592B1B691C2B8CF9 Time : 0.0 sec. user=mdettweiler [2012-01-29 02:50:23] 955*2^1003119-1 is not prime. Res64: 94CC2C9A63F5A071 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:03:53] 969*2^1003119-1 is not prime. Res64: 8E7B87590C60550B Time : 0.0 sec. user=mdettweiler [2012-01-29 03:03:54] 609*2^1003120-1 is not prime. Res64: 67747B00ABAAED3E Time : 0.0 sec. user=mdettweiler [2012-01-29 03:05:39] 623*2^1003120-1 is not prime. Res64: 206FAC63D797D86D Time : 0.0 sec. user=mdettweiler [2012-01-29 03:05:39] 755*2^1003120-1 is not prime. Res64: B06A00E2DB96D048 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:07:47] 785*2^1003120-1 is not prime. Res64: FF134CC516DAF388 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:07:48] 833*2^1003120-1 is not prime. Res64: 2E0BED49F445ECC1 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:12:21] 849*2^1003120-1 is not prime. Res64: 3751029847D4E0B7 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:12:22] 965*2^1003120-1 is not prime. Res64: A350EA5D9FA1E1E5 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:25:35] 619*2^1003121-1 is not prime. Res64: CC4AE0C15866377D Time : 0.0 sec. user=mdettweiler [2012-01-29 03:25:35] 675*2^1003121-1 is not prime. Res64: 2B05A85B3FD86D73 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:25:57] 983*2^1003120-1 is not prime. Res64: 45856C7F842D2EF2 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:25:57] 615*2^1003121-1 is not prime. Res64: 527FBF685963315D Time : 0.0 sec. user=mdettweiler [2012-01-29 03:27:25] 981*2^1003094-1 is not prime. Res64: 6983B15FB8D032C4 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:29:58] 685*2^1003121-1 is not prime. Res64: 2D8A5483FD1875D5 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:29:59] 907*2^1003121-1 is not prime. Res64: 5A10D0210829C1DA Time : 0.0 sec. user=mdettweiler [2012-01-29 03:34:24] 957*2^1003121-1 is not prime. Res64: 6FA80997E0BDA870 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:34:24] 633*2^1003122-1 is not prime. Res64: 217202680E38C7BC Time : 0.0 sec. user=mdettweiler [2012-01-29 03:45:15] 677*2^1003122-1 is not prime. Res64: 603D6A350335D21C Time : 0.0 sec. user=mdettweiler [2012-01-29 03:45:15] 683*2^1003122-1 is not prime. Res64: 128DB5E353020620 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:45:37] 777*2^1003122-1 is not prime. Res64: E96C3C7F29F5BB90 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:45:38] 615*2^1003123-1 is not prime. Res64: 983F25FD9FA33A8E Time : 0.0 sec. user=mdettweiler [2012-01-29 03:49:37] 793*2^1003123-1 is not prime. Res64: 2EBB2067D2B916EF Time : 0.0 sec. user=mdettweiler [2012-01-29 03:49:37] 885*2^1003123-1 is not prime. Res64: E26CAF2ECD55FCB0 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:58:39] 939*2^1003123-1 is not prime. Res64: 48A15ED817DDCAF7 Time : 0.0 sec. user=mdettweiler [2012-01-29 03:58:39] 961*2^1003123-1 is not prime. Res64: E14D73FCACF48F09 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:02:15] 931*2^1003109-1 is not prime. Res64: 9B60522C74418B61 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:02:16] 611*2^1003110-1 is not prime. Res64: 578541B6A513FDBE Time : 0.0 sec. user=mdettweiler [2012-01-29 04:03:55] 917*2^1003110-1 is not prime. Res64: ECE113D37B91E4CD Time : 0.0 sec. user=mdettweiler [2012-01-29 04:03:56] 603*2^1003111-1 is not prime. Res64: 8FE4A733EFE4A4AA Time : 0.0 sec. user=mdettweiler [2012-01-29 04:04:57] 743*2^1003124-1 is not prime. Res64: 85ECD60E61284E2F Time : 0.0 sec. user=mdettweiler [2012-01-29 04:04:58] 767*2^1003124-1 is not prime. Res64: BBB8A907004ED2B7 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:07:33] 795*2^1003124-1 is not prime. Res64: 64A195B8A4B477EB Time : 0.0 sec. user=mdettweiler [2012-01-29 04:07:34] 987*2^1003124-1 is not prime. Res64: 62923EC8492E440C Time : 0.0 sec. user=mdettweiler [2012-01-29 04:09:28] 651*2^1003125-1 is not prime. Res64: 6268A3856C2193D0 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:09:29] 789*2^1003125-1 is not prime. Res64: CD437979587316E4 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:23:01] 951*2^1003125-1 is not prime. Res64: FD225854972D6EF2 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:23:01] 991*2^1003125-1 is not prime. Res64: 846D7B239F07FF09 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:29:11] 933*2^1003126-1 is not prime. Res64: 6E0995B21107E897 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:29:11] 957*2^1003126-1 is not prime. Res64: E9758B962F71CB82 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:29:17] 675*2^1003127-1 is not prime. Res64: FA3D59D04CF9290F Time : 0.0 sec. user=mdettweiler [2012-01-29 04:29:17] 685*2^1003127-1 is not prime. Res64: C196BD8DD673D708 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:29:34] 987*2^1003126-1 is not prime. Res64: 3F98B35A1C998595 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:29:34] 621*2^1003127-1 is not prime. Res64: 73B46F7864B0253D Time : 0.0 sec. user=mdettweiler [2012-01-29 04:44:47] 679*2^1003123-1 is not prime. Res64: F8811AC1240A7239 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:44:47] 693*2^1003123-1 is not prime. Res64: 75AB13F60E30B8D2 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:47:14] 909*2^1003127-1 is not prime. Res64: DAA9BE3A671E6CFC Time : 0.0 sec. user=mdettweiler [2012-01-29 04:47:14] 963*2^1003127-1 is not prime. Res64: CDA303E60AE2A70E Time : 0.0 sec. user=mdettweiler [2012-01-29 04:49:00] 663*2^1003128-1 is not prime. Res64: 6FA5B1E1FE60C49E Time : 0.0 sec. user=mdettweiler [2012-01-29 04:49:00] 683*2^1003128-1 is not prime. Res64: 37DC66BE2515975E Time : 0.0 sec. user=mdettweiler [2012-01-29 04:49:12] 737*2^1003128-1 is not prime. Res64: A8895166A7F569FE Time : 0.0 sec. user=mdettweiler [2012-01-29 04:49:12] 795*2^1003128-1 is not prime. Res64: 5C25F8285E335360 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:51:05] 985*2^1003127-1 is not prime. Res64: A1D923B85BE01327 Time : 0.0 sec. user=mdettweiler [2012-01-29 04:51:05] 627*2^1003128-1 is not prime. Res64: 4E33FDC142BAA96A Time : 0.0 sec. user=MyDogBuster [2012-01-29 05:01:40] 815*2^1003128-1 is not prime. Res64: 7E15C1CC06D10114 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:06:58] 639*2^1003129-1 is not prime. Res64: 5F69CC20D2D6D54F Time : 0.0 sec. user=mdettweiler [2012-01-29 05:06:59] 675*2^1003129-1 is not prime. Res64: 72E8FFDA2102307A Time : 0.0 sec. user=mdettweiler [2012-01-29 05:08:38] 847*2^1003129-1 is not prime. Res64: 84D285CBEC7742B8 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:08:40] 861*2^1003129-1 is not prime. Res64: CECD2DEC3F851B33 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:10:44] 657*2^1003130-1 is not prime. Res64: D90780DB9B71B99D Time : 0.0 sec. user=mdettweiler [2012-01-29 05:10:46] 731*2^1003130-1 is not prime. Res64: B2B83FE7F6DA969A Time : 0.0 sec. user=mdettweiler [2012-01-29 05:13:24] 967*2^1003129-1 is not prime. Res64: 7591E5782F52EB5E Time : 0.0 sec. user=mdettweiler [2012-01-29 05:13:26] 997*2^1003129-1 is not prime. Res64: 0BCA63CC3FA1B077 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:26:50] 825*2^1003130-1 is not prime. Res64: 5243994120D50A99 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:26:50] 857*2^1003130-1 is not prime. Res64: 50B47AC36B7E0A5B Time : 0.0 sec. user=mdettweiler [2012-01-29 05:27:54] 999*2^1003125-1 is not prime. Res64: 31DA5311BBF17692 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:27:54] 765*2^1003126-1 is not prime. Res64: 413EE78CC889874B Time : 0.0 sec. user=mdettweiler [2012-01-29 05:29:33] 855*2^1003126-1 is not prime. Res64: 1A8EEB33A2CB5597 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:29:33] 911*2^1003126-1 is not prime. Res64: 34C10C6C9BF08BD6 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:32:53] 977*2^1003130-1 is not prime. Res64: A6AE007223FBE686 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:32:54] 601*2^1003131-1 is not prime. Res64: 6BBBC51F96E6E104 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:32:54] 935*2^1003130-1 is not prime. Res64: ABC2486C85CCAC34 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:32:55] 941*2^1003130-1 is not prime. Res64: 8737EE8D20EE40EC Time : 0.0 sec. user=mdettweiler [2012-01-29 05:33:07] 613*2^1003131-1 is not prime. Res64: 44A7B2ACFD506990 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:33:08] 775*2^1003131-1 is not prime. Res64: 159CB92695749827 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:46:32] 789*2^1003131-1 is not prime. Res64: 6C2CD88428187372 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:46:33] 795*2^1003131-1 is not prime. Res64: 39F3C5569C90FD24 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:52:30] 623*2^1003132-1 is not prime. Res64: 7D8E40B6F072583A Time : 0.0 sec. user=mdettweiler [2012-01-29 05:52:31] 665*2^1003132-1 is not prime. Res64: 1A28E240105FA3E8 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:52:32] 699*2^1003132-1 is not prime. Res64: 605D5BAA330A72E5 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:52:32] 779*2^1003132-1 is not prime. Res64: 5A33C9BB7D005C98 Time : 0.0 sec. user=mdettweiler [2012-01-29 05:52:49] 819*2^1003132-1 is not prime. Res64: A41778E0D6EE107C Time : 0.0 sec. user=mdettweiler [2012-01-29 05:52:50] 863*2^1003132-1 is not prime. Res64: 759C603C18020890 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:08:33] 873*2^1003132-1 is not prime. Res64: 38F1AE0726628E6F Time : 0.0 sec. user=mdettweiler [2012-01-29 06:08:34] 939*2^1003132-1 is not prime. Res64: 6B7E6C4C54D2BE33 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:10:25] 977*2^1003128-1 is not prime. Res64: 7EA4C4BD9C5A2C64 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:10:26] 637*2^1003129-1 is not prime. Res64: 9145D52FDD2B9F01 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:12:32] 621*2^1003134-1 is not prime. Res64: F18A8618A97746CD Time : 0.0 sec. user=mdettweiler [2012-01-29 06:12:35] 651*2^1003134-1 is not prime. Res64: 7B2CFC77D5716697 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:14:29] 995*2^1003132-1 is not prime. Res64: 6E5779335B643151 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:14:36] 651*2^1003133-1 is not prime. Res64: 0090990094969C83 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:14:36] 837*2^1003133-1 is not prime. Res64: 1AC7A8B498D5B1B9 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:14:37] 951*2^1003133-1 is not prime. Res64: F7777126F48DB3B9 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:28:21] 665*2^1003134-1 is not prime. Res64: CFE50775EADCDA85 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:28:22] 711*2^1003134-1 is not prime. Res64: 2EB2A4E984260AF3 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:34:17] 673*2^1003135-1 is not prime. Res64: 276C746AC6BBD602 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:34:18] 741*2^1003135-1 is not prime. Res64: 392A55415485E4C6 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:34:21] 805*2^1003135-1 is not prime. Res64: D5EA2DEE29DB994D Time : 0.0 sec. user=mdettweiler [2012-01-29 06:34:21] 855*2^1003135-1 is not prime. Res64: 8733D43780B858C6 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:34:36] 927*2^1003134-1 is not prime. Res64: C4DB0D8CD8C580ED Time : 0.0 sec. user=mdettweiler [2012-01-29 06:34:36] 651*2^1003135-1 is not prime. Res64: 54C397332D8829A0 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:50:17] 895*2^1003135-1 is not prime. Res64: 16079B3531D49E2D Time : 0.0 sec. user=mdettweiler [2012-01-29 06:50:18] 933*2^1003135-1 is not prime. Res64: A897615BF0856EEC Time : 0.0 sec. user=mdettweiler [2012-01-29 06:53:29] 849*2^1003131-1 is not prime. Res64: DB5903515E63395E Time : 0.0 sec. user=mdettweiler [2012-01-29 06:53:30] 913*2^1003131-1 is not prime. Res64: 7E7F674A23521AFD Time : 0.0 sec. user=mdettweiler [2012-01-29 06:54:01] 609*2^1003136-1 is not prime. Res64: 8A05B36FFFE4075E Time : 0.0 sec. user=mdettweiler [2012-01-29 06:54:02] 629*2^1003136-1 is not prime. Res64: C899A8C0B1E634C8 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:54:02] 693*2^1003136-1 is not prime. Res64: AE2AC8B0F103CC94 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:54:02] 725*2^1003136-1 is not prime. Res64: 2B92C2A7F47EFA98 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:54:15] 813*2^1003136-1 is not prime. Res64: 153793893961F708 Time : 0.0 sec. user=mdettweiler [2012-01-29 06:54:15] 825*2^1003136-1 is not prime. Res64: 0224F9D6B9E53D20 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:03:35] 943*2^1003131-1 is not prime. Res64: 0A2BA2D4AF3AE885 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:03:35] 979*2^1003131-1 is not prime. Res64: FC2BF150D5FEA9B4 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:09:59] 879*2^1003136-1 is not prime. Res64: FC20037159D30ABB Time : 0.0 sec. user=mdettweiler [2012-01-29 07:10:00] 685*2^1003137-1 is not prime. Res64: D5F98FD3CEC4AFB1 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:13:46] 807*2^1003137-1 is not prime. Res64: 31B5915F5FC43019 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:13:47] 829*2^1003137-1 is not prime. Res64: 911704161654EFCC Time : 0.0 sec. user=mdettweiler [2012-01-29 07:13:48] 871*2^1003137-1 is not prime. Res64: FA70BB645BCF58F8 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:13:49] 671*2^1003138-1 is not prime. Res64: BFBB3445C377026F Time : 0.0 sec. user=mdettweiler [2012-01-29 07:16:12] 987*2^1003138-1 is not prime. Res64: 2455EF71091AEF78 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:16:12] 609*2^1003139-1 is not prime. Res64: 02072BCFF23A044D Time : 0.0 sec. user=mdettweiler [2012-01-29 07:27:28] 747*2^1003134-1 is not prime. Res64: 348D5EB9731FB305 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:27:29] 755*2^1003134-1 is not prime. Res64: 1E4CC3960EA9A875 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:29:47] 693*2^1003139-1 is not prime. Res64: CE92F6051CF300B6 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:29:48] 813*2^1003139-1 is not prime. Res64: 10DA1DFDE1F7D031 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:35:44] 999*2^1003139-1 is not prime. Res64: 444A2C1BB0A413D7 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:35:45] 719*2^1003140-1 is not prime. Res64: 0F3585F928EF94CA Time : 0.0 sec. user=mdettweiler [2012-01-29 07:35:45] 859*2^1003139-1 is not prime. Res64: 11E4C3C26FF73D65 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:35:46] 939*2^1003139-1 is not prime. Res64: DF8B3D5DCCD948CE Time : 0.0 sec. user=mdettweiler [2012-01-29 07:35:52] 753*2^1003140-1 is not prime. Res64: 6CE845B9AC9071B5 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:35:53] 765*2^1003140-1 is not prime. Res64: F58CF0E6D79F566F Time : 0.0 sec. user=mdettweiler [2012-01-29 07:49:30] 805*2^1003141-1 is not prime. Res64: 1F1D5CA1358E7DFA Time : 0.0 sec. user=mdettweiler [2012-01-29 07:49:30] 895*2^1003141-1 is not prime. Res64: 27B2D550206316FC Time : 0.0 sec. user=mdettweiler [2012-01-29 07:55:29] 617*2^1003142-1 is not prime. Res64: E892D33B48D48BB1 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:55:30] 645*2^1003142-1 is not prime. Res64: 16141825C8ACCF57 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:55:36] 693*2^1003142-1 is not prime. Res64: 7D95FF81D8FA7ABA Time : 0.0 sec. user=mdettweiler [2012-01-29 07:55:36] 741*2^1003142-1 is not prime. Res64: C0B887A2F8D42926 Time : 0.0 sec. user=mdettweiler [2012-01-29 07:59:56] 931*2^1003141-1 is not prime. Res64: E1AED6D43181424B Time : 0.0 sec. user=mdettweiler [2012-01-29 07:59:57] 987*2^1003141-1 is not prime. Res64: 88E5F579A2C5FAFD Time : 0.0 sec. user=mdettweiler [2012-01-29 08:10:24] 717*2^1003137-1 is not prime. Res64: 5F7493EF81901DF6 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:10:26] 765*2^1003137-1 is not prime. Res64: 184D7FB70E294B9B Time : 0.0 sec. user=mdettweiler [2012-01-29 08:11:32] 887*2^1003142-1 is not prime. Res64: 3DBF3D93DC782906 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:11:33] 915*2^1003142-1 is not prime. Res64: FE3871A7FCC11740 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:19:51] 921*2^1003142-1 is not prime. Res64: 75F2F74E2BA3F142 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:19:51] 923*2^1003142-1 is not prime. Res64: 9A32F26ADEA6EC89 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:19:56] 935*2^1003142-1 is not prime. Res64: D3E748F483C483CD Time : 0.0 sec. user=mdettweiler [2012-01-29 08:19:57] 957*2^1003142-1 is not prime. Res64: 6D82D8DE8CB8A57F Time : 0.0 sec. user=mdettweiler [2012-01-29 08:20:33] 615*2^1003139-1 is not prime. Res64: D4017723E054EC39 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:20:33] 669*2^1003139-1 is not prime. Res64: 419E8706CA9F448C Time : 0.0 sec. user=mdettweiler [2012-01-29 08:21:57] 963*2^1003142-1 is not prime. Res64: 8F7939981FA351D4 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:21:58] 663*2^1003143-1 is not prime. Res64: 8225511E3F9601C2 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:31:18] 793*2^1003143-1 is not prime. Res64: 88BC8BA9705650EF Time : 0.0 sec. user=mdettweiler [2012-01-29 08:31:19] 823*2^1003143-1 is not prime. Res64: B45D03E56936AA0D Time : 0.0 sec. user=mdettweiler [2012-01-29 08:39:39] 605*2^1003144-1 is not prime. Res64: D6E8C6F08DA423EE Time : 0.0 sec. user=mdettweiler [2012-01-29 08:39:39] 615*2^1003144-1 is not prime. Res64: E14EFA6D54F1E02A Time : 0.0 sec. user=mdettweiler [2012-01-29 08:41:36] 705*2^1003144-1 is not prime. Res64: 248A2FFA17E0DFF1 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:41:37] 863*2^1003144-1 is not prime. Res64: 3E8230B3F011EA41 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:41:45] 891*2^1003143-1 is not prime. Res64: 0BC561612E7EDBA5 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:41:45] 951*2^1003143-1 is not prime. Res64: C7CB558679BEA1E7 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:50:55] 657*2^1003145-1 is not prime. Res64: FB94BB731019A8CB Time : 0.0 sec. user=mdettweiler [2012-01-29 08:50:56] 697*2^1003145-1 is not prime. Res64: 190304BCB8E2B6D1 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:52:57] 945*2^1003140-1 is not prime. Res64: CC918C4B29225E83 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:52:57] 645*2^1003141-1 is not prime. Res64: E74A1B5DF9A72442 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:59:21] 711*2^1003145-1 is not prime. Res64: E665A9E5E3DDB555 Time : 0.0 sec. user=mdettweiler [2012-01-29 08:59:22] 717*2^1003145-1 is not prime. Res64: C0BBF4C605BB0DFA Time : 0.0 sec. user=mdettweiler [2012-01-29 09:01:26] 765*2^1003146-1 is not prime. Res64: 8CBFAFF51CED4A4F Time : 0.0 sec. user=mdettweiler [2012-01-29 09:01:27] 861*2^1003146-1 is not prime. Res64: 132D396C85B2F4C2 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:03:30] 795*2^1003145-1 is not prime. Res64: FA34BD2B5B35B024 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:03:30] 949*2^1003145-1 is not prime. Res64: 1E17C22F414B74CE Time : 0.0 sec. user=mdettweiler [2012-01-29 09:12:56] 921*2^1003146-1 is not prime. Res64: C3D15CE81466BF70 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:12:56] 603*2^1003147-1 is not prime. Res64: 68FF89930A94BA96 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:19:02] 685*2^1003147-1 is not prime. Res64: 8112D7FBF7144B6D Time : 0.0 sec. user=mdettweiler [2012-01-29 09:19:02] 735*2^1003147-1 is not prime. Res64: FD5A2395A4A9CCDB Time : 0.0 sec. user=mdettweiler [2012-01-29 09:23:28] 883*2^1003147-1 is not prime. Res64: 80494C3873092696 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:23:29] 913*2^1003147-1 is not prime. Res64: 6B8E5CCF3E4374C2 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:25:24] 951*2^1003147-1 is not prime. Res64: 1EC5FBFF022AAD29 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:25:24] 735*2^1003148-1 is not prime. Res64: 68665E6060839A52 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:27:28] 775*2^1003143-1 is not prime. Res64: 53E66F4A258C3990 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:27:28] 789*2^1003143-1 is not prime. Res64: 2D507F4716478E4C Time : 0.0 sec. user=mdettweiler [2012-01-29 09:32:35] 743*2^1003148-1 is not prime. Res64: EDDABF8703C6D75D Time : 0.0 sec. user=mdettweiler [2012-01-29 09:32:35] 837*2^1003148-1 is not prime. Res64: 20CAEB919B2EDEEF Time : 0.0 sec. user=mdettweiler [2012-01-29 09:37:30] 617*2^1003144-1 is not prime. Res64: 63ED301A10F113F3 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:37:30] 695*2^1003144-1 is not prime. Res64: 9C20F6F3A4AE2652 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:38:50] 843*2^1003148-1 is not prime. Res64: 666ED7E2AEB10498 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:45:25] 893*2^1003148-1 is not prime. Res64: 0289338457FCDB85 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:45:25] 927*2^1003148-1 is not prime. Res64: 2B51F2E812F5A4BF Time : 0.0 sec. user=mdettweiler [2012-01-29 09:47:26] 977*2^1003148-1 is not prime. Res64: BC893494C79B51EC Time : 0.0 sec. user=mdettweiler [2012-01-29 09:47:26] 655*2^1003149-1 is not prime. Res64: 7485BA9C3184CF29 Time : 0.0 sec. user=mdettweiler [2012-01-29 09:52:20] 837*2^1003149-1 is not prime. Res64: 4D23277D8F1D060D Time : 0.0 sec. user=mdettweiler [2012-01-29 09:52:20] 895*2^1003149-1 is not prime. Res64: 738004C32607A9F3 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:03:10] 961*2^1003149-1 is not prime. Res64: AE67BBFE83FF14A9 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:03:11] 985*2^1003149-1 is not prime. Res64: 712D86E2442A0F33 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:05:12] 611*2^1003150-1 is not prime. Res64: 0B93D899D16BCFDA Time : 0.0 sec. user=mdettweiler [2012-01-29 10:05:13] 665*2^1003150-1 is not prime. Res64: 1157A5916D3107A6 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:07:18] 791*2^1003150-1 is not prime. Res64: 853CF58E1847B944 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:07:19] 825*2^1003150-1 is not prime. Res64: AACB4DE5BCF2C835 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:09:58] 615*2^1003147-1 is not prime. Res64: 3A3098EB0AE4B1C4 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:09:59] 681*2^1003147-1 is not prime. Res64: 4ECC649367C6E5E7 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:12:04] 873*2^1003150-1 is not prime. Res64: 0B85C1A325EFE31F Time : 0.0 sec. user=mdettweiler [2012-01-29 10:12:06] 885*2^1003150-1 is not prime. Res64: 5B20F7F6171C63BC Time : 0.0 sec. user=mdettweiler [2012-01-29 10:23:01] 651*2^1003151-1 is not prime. Res64: D5EC9A78BC7E64B8 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:23:02] 669*2^1003151-1 is not prime. Res64: 897EC262976A602B Time : 0.0 sec. user=mdettweiler [2012-01-29 10:25:09] 759*2^1003151-1 is not prime. Res64: 3D1080281AF5EE05 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:25:10] 775*2^1003151-1 is not prime. Res64: 067011937EF5BE4D Time : 0.0 sec. user=mdettweiler [2012-01-29 10:27:04] 781*2^1003151-1 is not prime. Res64: 283E94D95CF900AB Time : 0.0 sec. user=mdettweiler [2012-01-29 10:27:04] 783*2^1003151-1 is not prime. Res64: BD305F8484D4AA0D Time : 0.0 sec. user=mdettweiler [2012-01-29 10:34:12] 993*2^1003151-1 is not prime. Res64: 2C03B3951F8BE7C4 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:34:13] 737*2^1003152-1 is not prime. Res64: 76D99C22DBB5C7DC Time : 0.0 sec. user=mdettweiler [2012-01-29 10:42:47] 779*2^1003152-1 is not prime. Res64: 25A6F284F547D2C6 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:42:47] 879*2^1003152-1 is not prime. Res64: BBFBF41F71A8E4A2 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:44:27] 727*2^1003149-1 is not prime. Res64: C02903E315646C85 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:44:28] 829*2^1003149-1 is not prime. Res64: CC1EF3AF0883935A Time : 0.0 sec. user=mdettweiler [2012-01-29 10:47:09] 923*2^1003152-1 is not prime. Res64: 5993B973BED3AFB2 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:47:10] 681*2^1003153-1 is not prime. Res64: 564D7C469CC3D1E6 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:49:05] 861*2^1003153-1 is not prime. Res64: D734639490825F1A Time : 0.0 sec. user=mdettweiler [2012-01-29 10:49:05] 919*2^1003153-1 is not prime. Res64: B352DF84362F2300 Time : 0.0 sec. user=mdettweiler [2012-01-29 10:53:58] 665*2^1003154-1 is not prime. Res64: CF620272E6560F4D Time : 0.0 sec. user=mdettweiler [2012-01-29 10:53:58] 675*2^1003154-1 is not prime. Res64: 1218BA31ED333F00 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:02:33] 701*2^1003154-1 is not prime. Res64: 13335A8CE0EF9D90 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:02:34] 831*2^1003154-1 is not prime. Res64: 61B3477962342A8D Time : 0.0 sec. user=mdettweiler [2012-01-29 11:06:55] 613*2^1003155-1 is not prime. Res64: 47E1B3E1B6391823 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:06:56] 709*2^1003155-1 is not prime. Res64: FA673FEFF75F90AC Time : 0.0 sec. user=mdettweiler [2012-01-29 11:08:51] 765*2^1003155-1 is not prime. Res64: 3FECF31C7AADF802 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:08:52] 775*2^1003155-1 is not prime. Res64: 17F2A6211D7BFCB9 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:11:40] 927*2^1003149-1 is not prime. Res64: E563D5F74806A9E1 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:11:41] 955*2^1003149-1 is not prime. Res64: 4E8481E180017BA9 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:18:20] 955*2^1003155-1 is not prime. Res64: 08ECCA16B27018A3 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:18:20] 985*2^1003155-1 is not prime. Res64: EE3D0F9593E1218B Time : 0.0 sec. user=mdettweiler [2012-01-29 11:22:26] 609*2^1003156-1 is not prime. Res64: D8EBB4634EF65848 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:22:26] 825*2^1003156-1 is not prime. Res64: 450EEB3B82EAEB69 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:30:58] 993*2^1003156-1 is not prime. Res64: 3063D5166ADE6FE8 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:30:59] 615*2^1003157-1 is not prime. Res64: AF82B26BF5AB9BCD Time : 0.0 sec. user=mdettweiler [2012-01-29 11:31:15] 957*2^1003156-1 is not prime. Res64: 8E647F258DA11CB6 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:31:15] 975*2^1003156-1 is not prime. Res64: A6D218A57A9B2905 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:35:47] 813*2^1003151-1 is not prime. Res64: B36CBDB2D7E472AC Time : 0.0 sec. user=mdettweiler [2012-01-29 11:35:47] 913*2^1003151-1 is not prime. Res64: 53DB5E405B74B2DD Time : 0.0 sec. user=mdettweiler [2012-01-29 11:38:03] 815*2^1003158-1 is not prime. Res64: B370D03AE3CDD831 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:38:03] 833*2^1003158-1 is not prime. Res64: 914F9B3AB2B33409 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:42:09] 633*2^1003159-1 is not prime. Res64: FBD3EAB093D8EBBA Time : 0.0 sec. user=mdettweiler [2012-01-29 11:42:10] 663*2^1003159-1 is not prime. Res64: CC7BB60412FAB796 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:50:41] 763*2^1003159-1 is not prime. Res64: 6A1314B9EA2BDDD5 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:50:42] 843*2^1003159-1 is not prime. Res64: 4D9ED7117B703189 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:53:13] 985*2^1003159-1 is not prime. Res64: 1237B54C2A42EF6A Time : 0.0 sec. user=mdettweiler [2012-01-29 11:53:14] 645*2^1003160-1 is not prime. Res64: EFC51F9D828F515B Time : 0.0 sec. user=mdettweiler [2012-01-29 11:57:52] 767*2^1003160-1 is not prime. Res64: 807DBCB07F6FB032 Time : 0.0 sec. user=mdettweiler [2012-01-29 11:57:52] 789*2^1003160-1 is not prime. Res64: AAE88BD49F5F4793 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:04:10] 797*2^1003160-1 is not prime. Res64: 94D13BD6AFD2A95F Time : 0.0 sec. user=mdettweiler [2012-01-29 12:04:11] 927*2^1003160-1 is not prime. Res64: 1F0B668534037A44 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:10:12] 873*2^1003154-1 is not prime. Res64: 4D24B3E447DF9EBF Time : 0.0 sec. user=mdettweiler [2012-01-29 12:10:15] 927*2^1003154-1 is not prime. Res64: E5D0053E4FE0AD5E Time : 0.0 sec. user=mdettweiler [2012-01-29 12:12:45] 963*2^1003160-1 is not prime. Res64: F8552E30A57A004C Time : 0.0 sec. user=mdettweiler [2012-01-29 12:12:46] 609*2^1003161-1 is not prime. Res64: 7329BFE6500B6476 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:13:03] 675*2^1003161-1 is not prime. Res64: 56D391C6DCC0A15C Time : 0.0 sec. user=mdettweiler [2012-01-29 12:13:04] 709*2^1003161-1 is not prime. Res64: 797EBA46166173BF Time : 0.0 sec. user=mdettweiler [2012-01-29 12:17:36] 745*2^1003161-1 is not prime. Res64: A830CAA015CB27DD Time : 0.0 sec. user=mdettweiler [2012-01-29 12:17:36] 811*2^1003161-1 is not prime. Res64: A28D5E1AE265AE1D Time : 0.0 sec. user=mdettweiler [2012-01-29 12:26:12] 885*2^1003161-1 is not prime. Res64: 3F64F2FD55C3196F Time : 0.0 sec. user=mdettweiler [2012-01-29 12:26:12] 955*2^1003161-1 is not prime. Res64: 33E588A6D80D3E29 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:28:44] 795*2^1003157-1 is not prime. Res64: 716F1542011CBD23 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:28:44] 831*2^1003157-1 is not prime. Res64: B21E037DA944818D Time : 0.0 sec. user=mdettweiler [2012-01-29 12:32:53] 739*2^1003163-1 is not prime. Res64: 1DAFCF415EA33A07 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:32:54] 745*2^1003163-1 is not prime. Res64: 8478EFDD11A9D30E Time : 0.0 sec. user=mdettweiler [2012-01-29 12:34:51] 855*2^1003162-1 is not prime. Res64: 473B39CAD26BB681 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:34:51] 911*2^1003162-1 is not prime. Res64: F1D070523AE2C437 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:39:35] 943*2^1003163-1 is not prime. Res64: 6862FDDB12F9499F Time : 0.0 sec. user=mdettweiler [2012-01-29 12:39:35] 683*2^1003164-1 is not prime. Res64: 2A65D1CBBADBF9A1 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:45:56] 759*2^1003164-1 is not prime. Res64: C147B4828E25330E Time : 0.0 sec. user=mdettweiler [2012-01-29 12:45:56] 899*2^1003164-1 is not prime. Res64: 7595A921A57AAB93 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:52:36] 649*2^1003165-1 is not prime. Res64: A47E6C58D14AECB3 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:52:36] 721*2^1003165-1 is not prime. Res64: 3043AB192F96A2AE Time : 0.0 sec. user=mdettweiler [2012-01-29 12:52:51] 677*2^1003160-1 is not prime. Res64: 42302ED01466815C Time : 0.0 sec. user=mdettweiler [2012-01-29 12:52:51] 699*2^1003160-1 is not prime. Res64: 5C2EC1CA3DB2E028 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:54:34] 727*2^1003165-1 is not prime. Res64: 1FC2D1751AF44B5B Time : 0.0 sec. user=mdettweiler [2012-01-29 12:54:35] 729*2^1003165-1 is not prime. Res64: 32927BB0BF3DA0CE Time : 0.0 sec. user=mdettweiler [2012-01-29 12:59:19] 871*2^1003165-1 is not prime. Res64: 6F2B4F5BBAAAEDB9 Time : 0.0 sec. user=mdettweiler [2012-01-29 12:59:19] 603*2^1003166-1 is not prime. Res64: EAE53764E74EC48C Time : 0.0 sec. user=mdettweiler [2012-01-29 13:05:40] 677*2^1003166-1 is not prime. Res64: D455D73E9DA9CF71 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:05:41] 683*2^1003166-1 is not prime. Res64: EB2A783F7409D087 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:12:21] 711*2^1003166-1 is not prime. Res64: 7EF730481F9726CA Time : 0.0 sec. user=mdettweiler [2012-01-29 13:12:23] 717*2^1003166-1 is not prime. Res64: B4026613AFEA7828 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:14:17] 619*2^1003167-1 is not prime. Res64: C413C23B1BD7E2FC Time : 0.0 sec. user=mdettweiler [2012-01-29 13:14:18] 751*2^1003167-1 is not prime. Res64: BC7CB5E82BF26AB6 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:18:58] 765*2^1003167-1 is not prime. Res64: 72434B0E859EFD92 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:18:59] 781*2^1003167-1 is not prime. Res64: 8C0593F64384274E Time : 0.0 sec. user=mdettweiler [2012-01-29 13:25:34] 865*2^1003167-1 is not prime. Res64: 64D9A44126B5F039 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:25:34] 871*2^1003167-1 is not prime. Res64: B2D152FF5170006E Time : 0.0 sec. user=mdettweiler [2012-01-29 13:32:12] 615*2^1003168-1 is not prime. Res64: 26F648FFDCD6A9EC Time : 0.0 sec. user=mdettweiler [2012-01-29 13:32:12] 665*2^1003168-1 is not prime. Res64: 84B8DD0C7F8BAF00 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:34:03] 813*2^1003168-1 is not prime. Res64: 9883F3D2694A5694 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:34:04] 843*2^1003168-1 is not prime. Res64: 8A4057AF79EFC5B8 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:41:01] 897*2^1003168-1 is not prime. Res64: 5FD637E9E2E5741A Time : 0.0 sec. user=mdettweiler [2012-01-29 13:41:01] 915*2^1003168-1 is not prime. Res64: D9BB027C784E67E1 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:44:39] 979*2^1003161-1 is not prime. Res64: 43EE14A00CD67E9F Time : 0.0 sec. user=mdettweiler [2012-01-29 13:44:40] 999*2^1003161-1 is not prime. Res64: 6FDF47968B4E30B2 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:49:55] 947*2^1003168-1 is not prime. Res64: 824EA9373F6B0A33 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:49:55] 989*2^1003168-1 is not prime. Res64: ACC3C7B1002081FE Time : 0.0 sec. user=mdettweiler [2012-01-29 13:52:06] 649*2^1003169-1 is not prime. Res64: 4D8CE3E0E6401C5B Time : 0.0 sec. user=mdettweiler [2012-01-29 13:52:06] 705*2^1003169-1 is not prime. Res64: FAE8750EA0BA108A Time : 0.0 sec. user=mdettweiler [2012-01-29 13:53:58] 879*2^1003169-1 is not prime. Res64: 867CAD26D65C5FD8 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:53:58] 665*2^1003170-1 is not prime. Res64: 62121BBE9435CA5C Time : 0.0 sec. user=mdettweiler [2012-01-29 13:54:29] 965*2^1003164-1 is not prime. Res64: BD7936C72E1FD989 Time : 0.0 sec. user=mdettweiler [2012-01-29 13:54:30] 607*2^1003165-1 is not prime. Res64: 41CB5AC7DE12A79A Time : 0.0 sec. user=mdettweiler [2012-01-29 14:00:57] 773*2^1003170-1 is not prime. Res64: 3C7515DBE2E491C5 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:00:58] 791*2^1003170-1 is not prime. Res64: 57A0888704E14614 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:12:04] 771*2^1003171-1 is not prime. Res64: CA9992518CF009FA Time : 0.0 sec. user=mdettweiler [2012-01-29 14:12:07] 819*2^1003171-1 is not prime. Res64: E803908A09504AFE Time : 0.0 sec. user=mdettweiler [2012-01-29 14:12:08] 917*2^1003170-1 is not prime. Res64: 6A4B5AB69709BB4F Time : 0.0 sec. user=mdettweiler [2012-01-29 14:12:09] 615*2^1003171-1 is not prime. Res64: BE9CAC7E3F9C8205 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:18:22] 939*2^1003171-1 is not prime. Res64: 728962E92BE3A09E Time : 0.0 sec. user=mdettweiler [2012-01-29 14:18:23] 951*2^1003171-1 is not prime. Res64: 613FDD90926362D5 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:21:01] 677*2^1003172-1 is not prime. Res64: 3FF407191014770F Time : 0.0 sec. user=mdettweiler [2012-01-29 14:21:02] 767*2^1003172-1 is not prime. Res64: DC0894409857BF20 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:27:28] 953*2^1003166-1 is not prime. Res64: BE76E16BFD1B8A27 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:27:28] 971*2^1003166-1 is not prime. Res64: E5C1934C56ECF6A3 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:32:35] 759*2^1003173-1 is not prime. Res64: 2F36122232E90D0D Time : 0.0 sec. user=mdettweiler [2012-01-29 14:32:35] 891*2^1003173-1 is not prime. Res64: 12ECC2E2BFAFAF85 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:32:43] 885*2^1003172-1 is not prime. Res64: 5361383F6C5CB753 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:32:43] 675*2^1003173-1 is not prime. Res64: 7A5A12EF6AE38644 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:41:14] 737*2^1003174-1 is not prime. Res64: A24EE4FA3B98D746 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:41:14] 755*2^1003174-1 is not prime. Res64: A768A65866E286B5 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:43:08] 937*2^1003173-1 is not prime. Res64: 7D43574FF05C0BB7 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:43:09] 985*2^1003173-1 is not prime. Res64: 4F9B9B5E0352C14B Time : 0.0 sec. user=mdettweiler [2012-01-29 14:52:58] 827*2^1003174-1 is not prime. Res64: BFBC0F927264582B Time : 0.0 sec. user=mdettweiler [2012-01-29 14:52:58] 831*2^1003174-1 is not prime. Res64: AC4930614744F101 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:55:18] 857*2^1003174-1 is not prime. Res64: E29A46366C8332A0 Time : 0.0 sec. user=mdettweiler [2012-01-29 14:55:18] 965*2^1003174-1 is not prime. Res64: E988EACD6DE8E0FE Time : 0.0 sec. user=mdettweiler [2012-01-29 15:01:52] 609*2^1003175-1 is not prime. Res64: FB6C1C46A6DB4DF7 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:01:54] 649*2^1003175-1 is not prime. Res64: 49F45610BAF35BE2 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:02:48] 803*2^1003170-1 is not prime. Res64: FBD4E294DE05CFC8 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:02:49] 851*2^1003170-1 is not prime. Res64: CDFE3AF0C0CA6BF1 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:05:40] 825*2^1003175-1 is not prime. Res64: 8233D8CD5EC7D9E9 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:05:41] 921*2^1003175-1 is not prime. Res64: 6F87A6954B4B2082 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:16:00] 675*2^1003176-1 is not prime. Res64: 369830C13205B2A2 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:16:01] 759*2^1003176-1 is not prime. Res64: B04F731FD9A2F75D Time : 0.0 sec. user=mdettweiler [2012-01-29 15:18:05] 981*2^1003175-1 is not prime. Res64: 8939BFCA1F1C1620 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:18:05] 991*2^1003175-1 is not prime. Res64: A0772BD92E6EF049 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:21:17] 973*2^1003171-1 is not prime. Res64: AA292011F165F063 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:21:17] 635*2^1003172-1 is not prime. Res64: 031018F66CFD9F81 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:22:55] 777*2^1003176-1 is not prime. Res64: E60D69DA121D15D0 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:22:56] 779*2^1003176-1 is not prime. Res64: BD5D5EC2500F8180 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:26:44] 649*2^1003177-1 is not prime. Res64: 588312506717D3EF Time : 0.0 sec. user=mdettweiler [2012-01-29 15:26:44] 847*2^1003177-1 is not prime. Res64: 502D761804665797 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:38:25] 849*2^1003177-1 is not prime. Res64: 9122E93659E8616A Time : 0.0 sec. user=mdettweiler [2012-01-29 15:38:26] 937*2^1003177-1 is not prime. Res64: AC90D79997913E47 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:40:36] 939*2^1003177-1 is not prime. Res64: 1424ACE5333137A4 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:40:36] 665*2^1003178-1 is not prime. Res64: 8D8E45E6F3E91516 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:43:08] 801*2^1003178-1 is not prime. Res64: BE960B1502B9C423 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:43:09] 867*2^1003178-1 is not prime. Res64: 4F58F7DFC30B385D Time : 0.0 sec. user=mdettweiler [2012-01-29 15:45:49] 773*2^1003174-1 is not prime. Res64: 30E5D0AC60297852 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:45:49] 785*2^1003174-1 is not prime. Res64: 211F066FDDA43A47 Time : 0.0 sec. user=mdettweiler [2012-01-29 15:49:13] 887*2^1003178-1 is not prime. Res64: 35818BF238D78A1C Time : 0.0 sec. user=mdettweiler [2012-01-29 15:49:13] 923*2^1003178-1 is not prime. Res64: 905941ACE3DAE1FE Time : 0.0 sec. user=mdettweiler [2012-01-29 16:03:18] 935*2^1003178-1 is not prime. Res64: 5EDCFF3D176C028D Time : 0.0 sec. user=mdettweiler [2012-01-29 16:03:18] 957*2^1003178-1 is not prime. Res64: 9D986953B453FEC1 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:03:22] 977*2^1003178-1 is not prime. Res64: E591495120E7E8A7 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:03:22] 669*2^1003179-1 is not prime. Res64: C923AF97BEF87E56 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:05:43] 793*2^1003179-1 is not prime. Res64: 381FA5D27ACA39BC Time : 0.0 sec. user=mdettweiler [2012-01-29 16:05:44] 969*2^1003179-1 is not prime. Res64: 0203CF9DC56AAD58 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:09:30] 695*2^1003180-1 is not prime. Res64: 9725D692B2ECB47B Time : 0.0 sec. user=mdettweiler [2012-01-29 16:09:31] 773*2^1003180-1 is not prime. Res64: 03E882C4D404619F Time : 0.0 sec. user=mdettweiler [2012-01-29 16:23:27] 827*2^1003180-1 is not prime. Res64: FA3DD9799D6F2737 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:23:27] 863*2^1003180-1 is not prime. Res64: A54E8453D2E76BFE Time : 0.0 sec. user=mdettweiler [2012-01-29 16:25:52] 953*2^1003180-1 is not prime. Res64: E55818E7E570A786 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:25:54] 811*2^1003181-1 is not prime. Res64: DD19E742878C2A84 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:26:05] 837*2^1003181-1 is not prime. Res64: D0260CB4B3B39226 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:26:06] 865*2^1003181-1 is not prime. Res64: 8F8669A78FE0D04D Time : 0.0 sec. user=mdettweiler [2012-01-29 16:32:16] 945*2^1003181-1 is not prime. Res64: F17BEDA5617A74BA Time : 0.0 sec. user=mdettweiler [2012-01-29 16:32:17] 651*2^1003182-1 is not prime. Res64: 2EC7504A68A883A5 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:38:00] 957*2^1003176-1 is not prime. Res64: 95097CF6F3DE2765 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:38:00] 975*2^1003176-1 is not prime. Res64: 53E5503DF4F2BE0B Time : 0.0 sec. user=mdettweiler [2012-01-29 16:39:23] 735*2^1003178-1 is not prime. Res64: 90AAC16FFA7EDC3C Time : 0.0 sec. user=mdettweiler [2012-01-29 16:39:23] 747*2^1003178-1 is not prime. Res64: 439A46661BAF6E24 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:44:16] 711*2^1003182-1 is not prime. Res64: 35C255B4158C0478 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:44:16] 723*2^1003182-1 is not prime. Res64: 4AECD2C5D16D7E48 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:46:44] 765*2^1003182-1 is not prime. Res64: A5DBB0FE83446123 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:46:45] 741*2^1003183-1 is not prime. Res64: 2B9501D77B6B2F14 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:48:57] 885*2^1003183-1 is not prime. Res64: 2194FCEBA23A8FEC Time : 0.0 sec. user=mdettweiler [2012-01-29 16:48:57] 939*2^1003183-1 is not prime. Res64: A71D0B38D3F4EB28 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:52:40] 665*2^1003184-1 is not prime. Res64: 97A117C330DA1CC9 Time : 0.0 sec. user=mdettweiler [2012-01-29 16:52:41] 675*2^1003184-1 is not prime. Res64: 11B9CF056B49B1A7 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:08:37] 923*2^1003184-1 is not prime. Res64: 4DF6EA1FF036E805 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:08:39] 959*2^1003184-1 is not prime. Res64: 917BC6808F7EF819 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:08:55] 765*2^1003185-1 is not prime. Res64: 9F2120E6E0F67E61 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:08:56] 969*2^1003185-1 is not prime. Res64: F46A2EEA927EFF71 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:11:03] 999*2^1003185-1 is not prime. Res64: F1017650389A0533 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:11:04] 723*2^1003186-1 is not prime. Res64: D4912A7AEF9D208B Time : 0.0 sec. user=mdettweiler [2012-01-29 17:12:32] 783*2^1003186-1 is not prime. Res64: 3618C32E2F226EF6 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:12:33] 801*2^1003186-1 is not prime. Res64: 5B2CFC093954EAE8 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:13:23] 991*2^1003179-1 is not prime. Res64: 93C9DDF456AD513C Time : 0.0 sec. user=mdettweiler [2012-01-29 17:13:24] 653*2^1003180-1 is not prime. Res64: 24DC1355C28D3F61 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:30:47] 867*2^1003186-1 is not prime. Res64: 760BCED8EA050BA4 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:30:48] 923*2^1003186-1 is not prime. Res64: ADB079713D48C91D Time : 0.0 sec. user=mdettweiler [2012-01-29 17:30:54] 633*2^1003187-1 is not prime. Res64: 74A9516DD3837BE0 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:30:55] 693*2^1003187-1 is not prime. Res64: 4A62FA28972B1711 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:32:20] 711*2^1003187-1 is not prime. Res64: 1975DF4AE6AB0319 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:32:21] 861*2^1003187-1 is not prime. Res64: 6FEACEC9C86D9574 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:33:16] 971*2^1003186-1 is not prime. Res64: DF928F7E54F8F67F Time : 0.0 sec. user=mdettweiler [2012-01-29 17:33:17] 1001*2^1003186-1 is not prime. Res64: 451091D2664DF672 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:50:44] 759*2^1003188-1 is not prime. Res64: F162AAC9D9A1D368 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:50:45] 765*2^1003188-1 is not prime. Res64: 4A9A2929FF59B18D Time : 0.0 sec. user=mdettweiler [2012-01-29 17:55:18] 909*2^1003188-1 is not prime. Res64: 532B17CDEFAB7D7C Time : 0.0 sec. user=mdettweiler [2012-01-29 17:55:19] 923*2^1003188-1 is not prime. Res64: AC4260E8A4D5D4FC Time : 0.0 sec. user=mdettweiler [2012-01-29 17:56:42] 999*2^1003188-1 is not prime. Res64: 4B4E922205950510 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:56:43] 919*2^1003189-1 is not prime. Res64: 102927014C98187F Time : 0.0 sec. user=mdettweiler [2012-01-29 17:57:03] 683*2^1003184-1 is not prime. Res64: 33D9ABF71CB10B26 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:57:03] 773*2^1003184-1 is not prime. Res64: B4137F2DCC7434D0 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:57:43] 931*2^1003189-1 is not prime. Res64: 61C5F1717E11948C Time : 0.0 sec. user=mdettweiler [2012-01-29 17:57:44] 961*2^1003189-1 is not prime. Res64: D5A0CFFCB75780D6 Time : 0.0 sec. user=mdettweiler [2012-01-29 17:58:23] 819*2^1003184-1 is not prime. Res64: 54E8A7D180067D9A Time : 0.0 sec. user=mdettweiler [2012-01-29 17:58:23] 873*2^1003184-1 is not prime. Res64: C45FE65198CF66BF Time : 0.0 sec. user=mdettweiler [2012-01-29 18:10:37] 615*2^1003190-1 is not prime. Res64: 3CF6AD78F441F3A0 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:10:39] 645*2^1003190-1 is not prime. Res64: 810929BEDEBEF0E6 Time : 0.0 sec. user=Robert47 [2012-01-29 18:16:35] 797*2^1003188-1 is not prime. Res64: CDF677D3BF8A6B51 Time : 0.0 sec. user=Robert47 [2012-01-29 18:16:45] 707*2^1003188-1 is not prime. Res64: 20599FB87808909B Time : 0.0 sec. user=mdettweiler [2012-01-29 18:17:26] 845*2^1003190-1 is not prime. Res64: 055C38B0B5027666 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:17:27] 953*2^1003190-1 is not prime. Res64: 07FC13DD6F1DC8CA Time : 0.0 sec. user=mdettweiler [2012-01-29 18:17:37] 687*2^1003192-1 is not prime. Res64: 2614B1B9B7A42D1B Time : 0.0 sec. user=mdettweiler [2012-01-29 18:17:38] 825*2^1003192-1 is not prime. Res64: 45FD2538FF75FE48 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:18:50] 977*2^1003190-1 is not prime. Res64: DC8F24B574AD36C3 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:18:51] 625*2^1003191-1 is not prime. Res64: 9B55B8DEF4659A6A Time : 0.0 sec. user=mdettweiler [2012-01-29 18:35:25] 957*2^1003192-1 is not prime. Res64: 9536500CFDCD36C4 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:35:25] 999*2^1003192-1 is not prime. Res64: C8BBFC787F42EF7C Time : 0.0 sec. user=mdettweiler [2012-01-29 18:37:52] 669*2^1003193-1 is not prime. Res64: 678428D4720EED63 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:37:52] 675*2^1003193-1 is not prime. Res64: DA8628B4EA9259A6 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:38:05] 679*2^1003193-1 is not prime. Res64: F92DE9F65ADD6EB3 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:38:06] 685*2^1003193-1 is not prime. Res64: C9F151A336F8BBD9 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:39:09] 861*2^1003193-1 is not prime. Res64: 11AFA684C7153512 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:39:09] 879*2^1003193-1 is not prime. Res64: FD5D391FAD2F01AC Time : 0.0 sec. user=mdettweiler [2012-01-29 18:40:33] 991*2^1003187-1 is not prime. Res64: 076F0521D4C529DF Time : 0.0 sec. user=mdettweiler [2012-01-29 18:40:33] 663*2^1003188-1 is not prime. Res64: 38C4FDFDAC83E978 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:57:38] 969*2^1003193-1 is not prime. Res64: A98624F81FF02733 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:57:39] 621*2^1003194-1 is not prime. Res64: 2BC499F56D0D65AE Time : 0.0 sec. user=mdettweiler [2012-01-29 18:57:52] 671*2^1003194-1 is not prime. Res64: 0C434290D9FEB890 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:57:52] 807*2^1003194-1 is not prime. Res64: 0863ED905A5E64F8 Time : 0.0 sec. user=mdettweiler [2012-01-29 18:58:00] 821*2^1003194-1 is not prime. Res64: 9DC340C9A9E00E7F Time : 0.0 sec. user=mdettweiler [2012-01-29 18:58:01] 881*2^1003194-1 is not prime. Res64: 54ABE40C4E26DC4E Time : 0.0 sec. user=Robert47 [2012-01-29 19:02:09] 615*2^1003193-1 is not prime. Res64: 54B25B43A002BB2A Time : 0.0 sec. user=Robert47 [2012-01-29 19:02:26] 619*2^1003193-1 is not prime. Res64: 55B4C39ECD3447BE Time : 0.0 sec. user=mdettweiler [2012-01-29 19:03:50] 921*2^1003194-1 is not prime. Res64: E2712F497D060CB7 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:03:52] 927*2^1003194-1 is not prime. Res64: E8330FB2B8E735A6 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:14:46] 735*2^1003191-1 is not prime. Res64: ADE5A9CE12AC9053 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:14:53] 751*2^1003191-1 is not prime. Res64: 0DCA286733ED2542 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:17:38] 679*2^1003195-1 is not prime. Res64: 16CC8435AB174B79 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:17:39] 741*2^1003195-1 is not prime. Res64: 5557D53831494677 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:17:50] 635*2^1003196-1 is not prime. Res64: 45A373505E912115 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:17:51] 719*2^1003196-1 is not prime. Res64: C33FF60C9F69EDA7 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:22:27] 915*2^1003195-1 is not prime. Res64: 55582094B88100A4 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:22:27] 951*2^1003195-1 is not prime. Res64: 61A6ECDBD132A99B Time : 0.0 sec. user=mdettweiler [2012-01-29 19:24:43] 833*2^1003192-1 is not prime. Res64: 669B008DD0C95DDD Time : 0.0 sec. user=mdettweiler [2012-01-29 19:24:44] 915*2^1003192-1 is not prime. Res64: 57215D1B4E628A46 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:26:10] 945*2^1003196-1 is not prime. Res64: 0E9083F7FB8E8467 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:26:10] 621*2^1003197-1 is not prime. Res64: 21DEA7339E749D17 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:37:35] 663*2^1003198-1 is not prime. Res64: 1C1538587C04D45C Time : 0.0 sec. user=mdettweiler [2012-01-29 19:37:35] 705*2^1003198-1 is not prime. Res64: 297EDE52272DB908 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:37:53] 755*2^1003198-1 is not prime. Res64: B691E5EB5AFBD2C2 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:37:53] 825*2^1003198-1 is not prime. Res64: 2BC9666F14BE20D4 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:44:46] 1001*2^1003198-1 is not prime. Res64: 0469EC48EE4FEF84 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:44:46] 601*2^1003199-1 is not prime. Res64: 00EEB8AD582E7037 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:46:09] 711*2^1003199-1 is not prime. Res64: 0F889BE6ECF82042 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:46:10] 729*2^1003199-1 is not prime. Res64: 21F462BB37E394D3 Time : 0.0 sec. user=Robert47 [2012-01-29 19:47:58] 857*2^1003196-1 is not prime. Res64: 4A892CF77A00F437 Time : 0.0 sec. user=Robert47 [2012-01-29 19:48:13] 869*2^1003196-1 is not prime. Res64: 02801624B1D5111A Time : 0.0 sec. user=mdettweiler [2012-01-29 19:57:37] 771*2^1003199-1 is not prime. Res64: 94A76585EB65DD8C Time : 0.0 sec. user=mdettweiler [2012-01-29 19:57:37] 615*2^1003200-1 is not prime. Res64: B90CBDFAFFA8A00D Time : 0.0 sec. user=mdettweiler [2012-01-29 19:57:51] 825*2^1003200-1 is not prime. Res64: 95DB75A467750A41 Time : 0.0 sec. user=mdettweiler [2012-01-29 19:57:51] 645*2^1003201-1 is not prime. Res64: F6B2AEBAA6452ABE Time : 0.0 sec. user=mdettweiler [2012-01-29 19:57:59] 625*2^1003195-1 is not prime. Res64: 2600C64BDB98FEFA Time : 0.0 sec. user=mdettweiler [2012-01-29 19:57:59] 651*2^1003195-1 is not prime. Res64: 29C9424C2A0A9CF5 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:04:45] 675*2^1003201-1 is not prime. Res64: 6B7F8688B2F17AF6 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:04:46] 811*2^1003201-1 is not prime. Res64: 8CD34AA6CD7B3261 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:11:01] 931*2^1003201-1 is not prime. Res64: 91EA33B845196517 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:11:03] 987*2^1003201-1 is not prime. Res64: A53E9A4D4376DF40 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:17:41] 657*2^1003202-1 is not prime. Res64: 84CF656CB56CD889 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:17:41] 671*2^1003202-1 is not prime. Res64: 3BF48BAE8AAEB4EC Time : 0.0 sec. user=mdettweiler [2012-01-29 20:17:58] 675*2^1003202-1 is not prime. Res64: C17B3FF764CA393F Time : 0.0 sec. user=mdettweiler [2012-01-29 20:17:58] 735*2^1003202-1 is not prime. Res64: C097C88ED0BCC2DD Time : 0.0 sec. user=mdettweiler [2012-01-29 20:27:19] 797*2^1003202-1 is not prime. Res64: 41F9AE915B4D8D9D Time : 0.0 sec. user=mdettweiler [2012-01-29 20:27:19] 941*2^1003202-1 is not prime. Res64: 0A08981FD95C4678 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:31:39] 615*2^1003203-1 is not prime. Res64: F14F7F1AAEA07574 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:31:40] 679*2^1003203-1 is not prime. Res64: CF94966BFBCCDC5B Time : 0.0 sec. user=mdettweiler [2012-01-29 20:32:54] 625*2^1003197-1 is not prime. Res64: B29C959B9AEBEE26 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:32:54] 685*2^1003197-1 is not prime. Res64: F1EFA58E923F1BB5 Time : 0.0 sec. user=Robert47 [2012-01-29 20:35:58] 633*2^1003202-1 is not prime. Res64: 5E92C146E2B06160 Time : 0.0 sec. user=Robert47 [2012-01-29 20:36:16] 651*2^1003202-1 is not prime. Res64: 4F56F0166D9A78AF Time : 0.0 sec. user=mdettweiler [2012-01-29 20:37:56] 753*2^1003203-1 is not prime. Res64: 13E353048B06AC95 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:37:56] 823*2^1003203-1 is not prime. Res64: 0D652A37CFAA5550 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:38:14] 895*2^1003203-1 is not prime. Res64: 535FC0CCA495C8DB Time : 0.0 sec. user=mdettweiler [2012-01-29 20:38:14] 901*2^1003203-1 is not prime. Res64: 99078F972AD189C9 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:42:50] 609*2^1003199-1 is not prime. Res64: 237D785F79A3CFF5 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:42:50] 679*2^1003199-1 is not prime. Res64: 1FB41BD3AA0586AB Time : 0.0 sec. user=mdettweiler [2012-01-29 20:47:31] 609*2^1003204-1 is not prime. Res64: 858F7DF83C197FFB Time : 0.0 sec. user=mdettweiler [2012-01-29 20:47:31] 615*2^1003204-1 is not prime. Res64: 0553F3085236ED20 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:51:54] 623*2^1003204-1 is not prime. Res64: 6993B707BE412FEA Time : 0.0 sec. user=mdettweiler [2012-01-29 20:51:55] 639*2^1003204-1 is not prime. Res64: 27E24540DE86EE52 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:58:30] 655*2^1003205-1 is not prime. Res64: 7EF7560DE5E54EC9 Time : 0.0 sec. user=mdettweiler [2012-01-29 20:58:31] 741*2^1003205-1 is not prime. Res64: 319561AFFFE6D1F9 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:00:21] 947*2^1003204-1 is not prime. Res64: BBA4EBCF88CDA154 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:00:22] 627*2^1003205-1 is not prime. Res64: 9B0ED7E707338C5F Time : 0.0 sec. user=mdettweiler [2012-01-29 21:07:30] 801*2^1003205-1 is not prime. Res64: 23FBF2E494C7444E Time : 0.0 sec. user=mdettweiler [2012-01-29 21:07:34] 811*2^1003205-1 is not prime. Res64: 2245EB91C40390FC Time : 0.0 sec. user=mdettweiler [2012-01-29 21:14:15] 925*2^1003205-1 is not prime. Res64: BCC1DF1F29AB6000 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:14:15] 635*2^1003206-1 is not prime. Res64: DB6E18B439588CC5 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:16:23] 755*2^1003202-1 is not prime. Res64: 8F08A7F4C3A4BF07 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:16:23] 767*2^1003202-1 is not prime. Res64: A68BC445ED748734 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:18:29] 609*2^1003207-1 is not prime. Res64: 70E8F1505411D2A2 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:18:29] 633*2^1003207-1 is not prime. Res64: 5DE46D0602720AC3 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:20:22] 649*2^1003207-1 is not prime. Res64: 98CB7724F8AB47C0 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:20:22] 741*2^1003207-1 is not prime. Res64: 2C2111D327300A6D Time : 0.0 sec. user=mdettweiler [2012-01-29 21:27:32] 793*2^1003207-1 is not prime. Res64: E5CBB9EFB7E6B8D5 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:27:33] 859*2^1003207-1 is not prime. Res64: BAC2CC0F3B5B0121 Time : 0.0 sec. user=Robert47 [2012-01-29 21:33:48] 909*2^1003204-1 is not prime. Res64: 4B32FB92B9E10873 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:34:08] 603*2^1003208-1 is not prime. Res64: B3EA0C7E77D3F2C6 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:34:08] 665*2^1003208-1 is not prime. Res64: 347881BF4C746174 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:38:26] 845*2^1003208-1 is not prime. Res64: DBDA6AAA532A991C Time : 0.0 sec. user=mdettweiler [2012-01-29 21:38:26] 855*2^1003208-1 is not prime. Res64: 1125B4D2DD9591E6 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:44:54] 929*2^1003208-1 is not prime. Res64: F30F73E98400ED96 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:44:55] 963*2^1003208-1 is not prime. Res64: 4117458E42118DE1 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:49:48] 999*2^1003208-1 is not prime. Res64: 0E37524D3F55DF60 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:49:48] 727*2^1003209-1 is not prime. Res64: C7D7309C1CBC45F1 Time : 0.0 sec. user=Robert47 [2012-01-29 21:50:43] 939*2^1003204-1 is not prime. Res64: A166F539CA59118E Time : 0.0 sec. user=mdettweiler [2012-01-29 21:50:46] 875*2^1003204-1 is not prime. Res64: C7D332E2A2522E8E Time : 0.0 sec. user=mdettweiler [2012-01-29 21:50:46] 903*2^1003204-1 is not prime. Res64: B6F95C14D23F235B Time : 0.0 sec. user=mdettweiler [2012-01-29 21:56:28] 949*2^1003209-1 is not prime. Res64: 845B7C641AB1B08F Time : 0.0 sec. user=mdettweiler [2012-01-29 21:56:29] 717*2^1003210-1 is not prime. Res64: E8FF5F1319FFA10E Time : 0.0 sec. user=mdettweiler [2012-01-29 21:58:30] 743*2^1003210-1 is not prime. Res64: 2EA69BE983AF5CD2 Time : 0.0 sec. user=mdettweiler [2012-01-29 21:58:30] 755*2^1003210-1 is not prime. Res64: 0EE155E16239B967 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:00:50] 771*2^1003205-1 is not prime. Res64: 46633744902E20D0 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:00:52] 789*2^1003205-1 is not prime. Res64: 0BD331E593E7E768 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:04:55] 831*2^1003210-1 is not prime. Res64: 052071E15A2CEBBB Time : 0.0 sec. user=mdettweiler [2012-01-29 22:04:57] 857*2^1003210-1 is not prime. Res64: E4795E35CBCD5BB8 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:09:57] 891*2^1003210-1 is not prime. Res64: 25B7C97A397FC7E9 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:09:58] 621*2^1003211-1 is not prime. Res64: EB842344EF80F6A9 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:16:50] 753*2^1003211-1 is not prime. Res64: 9EAEDEF5752F8315 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:16:50] 789*2^1003211-1 is not prime. Res64: C6642EB974AA61B6 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:21:16] 825*2^1003211-1 is not prime. Res64: 5564709A1B7B1A99 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:21:16] 969*2^1003211-1 is not prime. Res64: CD70DE0963DFD990 Time : 0.0 sec. user=Robert47 [2012-01-29 22:23:15] 861*2^1003209-1 is not prime. Res64: 5F17CED95BFFA486 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:29:55] 923*2^1003212-1 is not prime. Res64: 4A0BAFC12D1AA0F7 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:29:56] 945*2^1003212-1 is not prime. Res64: 69AEE1B9FDCA3258 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:34:30] 713*2^1003208-1 is not prime. Res64: 8A1D0C21D17C08E8 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:34:30] 815*2^1003208-1 is not prime. Res64: 42AA62D0F36A97EE Time : 0.0 sec. user=mdettweiler [2012-01-29 22:34:38] 965*2^1003212-1 is not prime. Res64: 7F37323360B32F5A Time : 0.0 sec. user=mdettweiler [2012-01-29 22:34:38] 975*2^1003212-1 is not prime. Res64: 58F6DB41B124CFBA Time : 0.0 sec. user=mdettweiler [2012-01-29 22:41:26] 977*2^1003212-1 is not prime. Res64: 49FBB70288A2DCE3 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:41:26] 983*2^1003212-1 is not prime. Res64: F6F5FB8F70E159B4 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:43:41] 889*2^1003213-1 is not prime. Res64: 5A7231FA967BC7BB Time : 0.0 sec. user=mdettweiler [2012-01-29 22:43:41] 915*2^1003213-1 is not prime. Res64: 9066E47122A423F9 Time : 0.0 sec. user=Robert47 [2012-01-29 22:46:18] 675*2^1003211-1 is not prime. Res64: DE02E0FD3F909E4C Time : 0.0 sec. user=mdettweiler [2012-01-29 22:50:05] 711*2^1003214-1 is not prime. Res64: A70CE835D3BF8C11 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:50:05] 743*2^1003214-1 is not prime. Res64: 62EE0D9CCECB9A66 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:59:18] 951*2^1003214-1 is not prime. Res64: 3DED16FEA235AEB8 Time : 0.0 sec. user=mdettweiler [2012-01-29 22:59:19] 965*2^1003214-1 is not prime. Res64: 9EE94561FBFE6823 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:03:40] 983*2^1003214-1 is not prime. Res64: CECD9D988E5C98F3 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:03:41] 669*2^1003215-1 is not prime. Res64: 787548ED441139C2 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:03:45] 781*2^1003215-1 is not prime. Res64: F22CDB9973F9F307 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:03:46] 849*2^1003215-1 is not prime. Res64: 620DE1D7662F14B4 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:08:35] 703*2^1003211-1 is not prime. Res64: 72D16AA7C282DC49 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:08:35] 745*2^1003211-1 is not prime. Res64: 65A881D9B5D47A54 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:10:10] 871*2^1003215-1 is not prime. Res64: 077199DEB1181BB8 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:10:11] 891*2^1003215-1 is not prime. Res64: 5DABCF122F02B693 Time : 0.0 sec. user=Robert47 [2012-01-29 23:16:37] 707*2^1003214-1 is not prime. Res64: EB08B9834924447E Time : 0.0 sec. user=mdettweiler [2012-01-29 23:18:42] 779*2^1003212-1 is not prime. Res64: 1AF1027308B40459 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:18:43] 825*2^1003212-1 is not prime. Res64: 3CA022E545B13839 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:21:31] 985*2^1003215-1 is not prime. Res64: E1ED0C93DC52F6C7 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:21:31] 615*2^1003216-1 is not prime. Res64: CFCE8DD945934135 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:23:36] 779*2^1003216-1 is not prime. Res64: 40107D05E9515E09 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:23:36] 807*2^1003216-1 is not prime. Res64: 7BD0D732F92E44B6 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:28:22] 917*2^1003216-1 is not prime. Res64: EC712869E4A25021 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:28:23] 933*2^1003216-1 is not prime. Res64: AB7DED7EA6792FE7 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:30:08] 847*2^1003217-1 is not prime. Res64: 971A33083D80002D Time : 0.0 sec. user=mdettweiler [2012-01-29 23:30:09] 885*2^1003217-1 is not prime. Res64: 072479BA3BBEEB15 Time : 0.0 sec. user=Robert47 [2012-01-29 23:36:40] 859*2^1003215-1 is not prime. Res64: 56EC82DC6F6720E1 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:41:24] 615*2^1003219-1 is not prime. Res64: 64358452E5F2EE21 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:41:24] 621*2^1003219-1 is not prime. Res64: 6A1B49B3DB0F6863 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:43:28] 681*2^1003219-1 is not prime. Res64: AB603F7C1440472B Time : 0.0 sec. user=mdettweiler [2012-01-29 23:43:28] 759*2^1003219-1 is not prime. Res64: 8CD3090BE0AFF80D Time : 0.0 sec. user=mdettweiler [2012-01-29 23:48:18] 793*2^1003219-1 is not prime. Res64: D0DE1968960AB97D Time : 0.0 sec. user=mdettweiler [2012-01-29 23:48:19] 811*2^1003219-1 is not prime. Res64: 5DDC71D6BFCC40BA Time : 0.0 sec. user=mdettweiler [2012-01-29 23:54:31] 939*2^1003219-1 is not prime. Res64: F56DA6F8F19E9A05 Time : 0.0 sec. user=mdettweiler [2012-01-29 23:54:32] 943*2^1003219-1 is not prime. Res64: D8570B0E9D104F88 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:00:43] 767*2^1003214-1 is not prime. Res64: 823DDA6A630C1BE6 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:00:43] 915*2^1003214-1 is not prime. Res64: 8F26C0FFC874E82E Time : 0.0 sec.