user=mdettweiler [2013-05-31 00:07:07] 923*2^1246422-1 is not prime. Res64: 5C99C32477EB8E43 Time : 0.0 sec. user=mdettweiler [2013-05-31 00:30:42] 807*2^1246422-1 is not prime. Res64: EBC2F922F016D4B4 Time : 0.0 sec. user=mdettweiler [2013-05-31 00:37:56] 619*2^1246423-1 is not prime. Res64: 32A97026FAD0C5CA Time : 0.0 sec. user=mdettweiler [2013-05-31 00:49:03] 675*2^1246423-1 is not prime. Res64: 7B2053B06E3E3E3B Time : 0.0 sec. user=mdettweiler [2013-05-31 01:16:05] 831*2^1246423-1 is not prime. Res64: 383C3DD3546EE5E3 Time : 0.0 sec. user=mdettweiler [2013-05-31 01:16:05] 871*2^1246423-1 is not prime. Res64: FB4BFD8CAE785FA0 Time : 0.0 sec. user=mdettweiler [2013-05-31 01:28:16] 709*2^1246423-1 is not prime. Res64: 76D43AC8E4E0BF7C Time : 0.0 sec. user=mdettweiler [2013-05-31 01:33:54] 885*2^1246423-1 is not prime. Res64: 252D01859BB6AAAF Time : 0.0 sec. user=mdettweiler [2013-05-31 01:33:54] 615*2^1246424-1 is not prime. Res64: E3FFBF462BA1EB78 Time : 0.0 sec. user=mdettweiler [2013-05-31 01:46:00] 659*2^1246424-1 is not prime. Res64: EEE68BC10A0ED2A5 Time : 0.0 sec. user=mdettweiler [2013-05-31 01:46:01] 683*2^1246424-1 is not prime. Res64: 498A5883C316FA4F Time : 0.0 sec. user=mdettweiler [2013-05-31 01:51:59] 689*2^1246424-1 is not prime. Res64: 311DC9A7FB43108F Time : 0.0 sec. user=mdettweiler [2013-05-31 01:52:00] 767*2^1246424-1 is not prime. Res64: 7ADD8EC8092A66E5 Time : 0.0 sec. user=mdettweiler [2013-05-31 02:04:12] 825*2^1246424-1 is not prime. Res64: E974FFF9FE7269CB Time : 0.0 sec. user=mdettweiler [2013-05-31 02:04:14] 917*2^1246424-1 is not prime. Res64: 8AFD7B8CC590FAB0 Time : 0.0 sec. user=mdettweiler [2013-05-31 02:09:57] 679*2^1246425-1 is not prime. Res64: 877DC846DBFFD678 Time : 0.0 sec. user=mdettweiler [2013-05-31 02:09:58] 685*2^1246425-1 is not prime. Res64: 27FD7691C609C77B Time : 0.0 sec. user=mdettweiler [2013-05-31 02:22:42] 717*2^1246425-1 is not prime. Res64: 09CC24CB51E8D809 Time : 0.0 sec. user=mdettweiler [2013-05-31 02:29:05] 777*2^1246425-1 is not prime. Res64: 46CA07D48781A819 Time : 0.0 sec. user=mdettweiler [2013-05-31 02:38:58] 867*2^1246425-1 is not prime. Res64: 956342922D9A9D2A Time : 0.0 sec. user=mdettweiler [2013-05-31 03:01:28] 877*2^1246425-1 is not prime. Res64: 95F54D8D59D4AE8C Time : 0.0 sec. user=mdettweiler [2013-05-31 03:19:12] 895*2^1246425-1 is not prime. Res64: 668C279D0423FBC5 Time : 0.0 sec. user=mdettweiler [2013-05-31 03:19:12] 949*2^1246425-1 is not prime. Res64: A3EECBFA6B161E7A Time : 0.0 sec. user=mdettweiler [2013-05-31 03:21:43] 955*2^1246425-1 is not prime. Res64: AE42095A919E0F49 Time : 0.0 sec. user=mdettweiler [2013-05-31 03:21:44] 975*2^1246425-1 is not prime. Res64: F480671AD2AC7B1A Time : 0.0 sec. user=mdettweiler [2013-05-31 03:37:02] 603*2^1246426-1 is not prime. Res64: B0A870A1E574BEC7 Time : 0.0 sec. user=mdettweiler [2013-05-31 03:37:03] 675*2^1246426-1 is not prime. Res64: 1188F5930FD327F0 Time : 0.0 sec. user=mdettweiler [2013-05-31 03:39:40] 705*2^1246426-1 is not prime. Res64: FBBA4C9F2CE235AB Time : 0.0 sec. user=mdettweiler [2013-05-31 03:54:46] 755*2^1246426-1 is not prime. Res64: B671C188D9762DD1 Time : 0.0 sec. user=mdettweiler [2013-05-31 03:54:46] 765*2^1246426-1 is not prime. Res64: 2D4FA0C1A39D0FCA Time : 0.0 sec. user=mdettweiler [2013-05-31 04:06:27] 741*2^1246426-1 is not prime. Res64: B7F8A9435234844B Time : 0.0 sec. user=mdettweiler [2013-05-31 04:12:32] 833*2^1246426-1 is not prime. Res64: 0A0D76FFF53EDC98 Time : 0.0 sec. user=mdettweiler [2013-05-31 04:12:34] 917*2^1246426-1 is not prime. Res64: 2126E497D8DAB5A9 Time : 0.0 sec. user=mdettweiler [2013-05-31 04:25:12] 981*2^1246426-1 is not prime. Res64: 366B49206DEE3468 Time : 0.0 sec. user=mdettweiler [2013-05-31 04:25:12] 603*2^1246427-1 is not prime. Res64: 4EBCCC424D855ADD Time : 0.0 sec. user=mdettweiler [2013-05-31 04:30:18] 619*2^1246427-1 is not prime. Res64: 3827AF456562BFD4 Time : 0.0 sec. user=mdettweiler [2013-05-31 04:30:20] 649*2^1246427-1 is not prime. Res64: 2C9FA95E6D2BD4C0 Time : 0.0 sec. user=mdettweiler [2013-05-31 04:42:56] 651*2^1246427-1 is not prime. Res64: 61E44A34DB683BB6 Time : 0.0 sec. user=mdettweiler [2013-05-31 04:42:57] 669*2^1246427-1 is not prime. Res64: FB860B5C17BBAC57 Time : 0.0 sec. user=mdettweiler [2013-05-31 04:47:50] 801*2^1246427-1 is not prime. Res64: 4F72AF1670A04D4A Time : 0.0 sec. user=mdettweiler [2013-05-31 04:47:51] 885*2^1246427-1 is not prime. Res64: 33194B103CA62D89 Time : 0.0 sec. user=mdettweiler [2013-05-31 05:00:28] 901*2^1246427-1 is not prime. Res64: 6F0252F7EA149702 Time : 0.0 sec. user=mdettweiler [2013-05-31 05:00:29] 903*2^1246427-1 is not prime. Res64: DD5218045C1D090D Time : 0.0 sec. user=mdettweiler [2013-05-31 05:05:45] 749*2^1246428-1 is not prime. Res64: EE0545900A8CBBCC Time : 0.0 sec. user=mdettweiler [2013-05-31 05:18:36] 789*2^1246428-1 is not prime. Res64: EECE7D0646FA09A7 Time : 0.0 sec. user=mdettweiler [2013-05-31 05:35:35] 773*2^1246428-1 is not prime. Res64: 169577D885247033 Time : 0.0 sec. user=mdettweiler [2013-05-31 05:39:32] 803*2^1246428-1 is not prime. Res64: 7779E3CD8AC89E9A Time : 0.0 sec. user=mdettweiler [2013-05-31 05:57:09] 879*2^1246428-1 is not prime. Res64: 9606C69917835C4E Time : 0.0 sec. user=mdettweiler [2013-05-31 06:12:34] 915*2^1246428-1 is not prime. Res64: D0CC8BA4392A0C2F Time : 0.0 sec. user=mdettweiler [2013-05-31 06:12:34] 999*2^1246428-1 is not prime. Res64: A75CE71A92A62E81 Time : 0.0 sec. user=mdettweiler [2013-05-31 06:19:29] 899*2^1246428-1 is not prime. Res64: 16DADB950FD28241 Time : 0.0 sec. user=mdettweiler [2013-05-31 06:30:16] 625*2^1246429-1 is not prime. Res64: 750DC9A7FBCAB7B0 Time : 0.0 sec. user=mdettweiler [2013-05-31 06:36:56] 861*2^1246429-1 is not prime. Res64: 6F5BC91F9C2729CA Time : 0.0 sec. user=mdettweiler [2013-05-31 06:36:56] 939*2^1246429-1 is not prime. Res64: 4DB6CF2725891162 Time : 0.0 sec. user=mdettweiler [2013-05-31 06:54:47] 663*2^1246430-1 is not prime. Res64: 53BEC7D730C32DCF Time : 0.0 sec. user=mdettweiler [2013-05-31 06:54:48] 675*2^1246430-1 is not prime. Res64: B00EE5C7300FB6E3 Time : 0.0 sec. user=mdettweiler [2013-05-31 07:06:45] 661*2^1246429-1 is not prime. Res64: 5191BD0CEB16120F Time : 0.0 sec. user=mdettweiler [2013-05-31 07:12:34] 797*2^1246430-1 is not prime. Res64: A2FFEDEB67BE8DE5 Time : 0.0 sec. user=mdettweiler [2013-05-31 07:12:35] 851*2^1246430-1 is not prime. Res64: 06DAE5B9E99C510F Time : 0.0 sec. user=mdettweiler [2013-05-31 07:24:26] 875*2^1246430-1 is not prime. Res64: 9179FD1CD0F630EF Time : 0.0 sec. user=mdettweiler [2013-05-31 07:30:31] 613*2^1246431-1 is not prime. Res64: AFE712314E86A737 Time : 0.0 sec. user=mdettweiler [2013-05-31 07:49:22] 965*2^1246430-1 is not prime. Res64: B915CB3A8C0BF08B Time : 0.0 sec. user=mdettweiler [2013-05-31 07:59:08] 691*2^1246431-1 is not prime. Res64: 1A4EDD7F5CA44A59 Time : 0.0 sec. user=mdettweiler [2013-05-31 08:07:09] 693*2^1246431-1 is not prime. Res64: C20776CBE59ECD0B Time : 0.0 sec. user=mdettweiler [2013-05-31 08:16:49] 745*2^1246431-1 is not prime. Res64: DA834DB01E435772 Time : 0.0 sec. user=mdettweiler [2013-05-31 08:33:27] 705*2^1246431-1 is not prime. Res64: 75ADE718068B26D9 Time : 0.0 sec. user=mdettweiler [2013-05-31 08:40:32] 849*2^1246431-1 is not prime. Res64: D000DA2E8BA3A939 Time : 0.0 sec. user=mdettweiler [2013-05-31 08:51:45] 969*2^1246431-1 is not prime. Res64: 3E1AED7A434A3375 Time : 0.0 sec. user=mdettweiler [2013-05-31 08:52:03] 975*2^1246431-1 is not prime. Res64: DB0B9FA3FF1EBFD7 Time : 0.0 sec. user=mdettweiler [2013-05-31 09:22:45] 863*2^1246432-1 is not prime. Res64: 482D7F4DD778F22E Time : 0.0 sec. user=mdettweiler [2013-05-31 09:22:45] 873*2^1246432-1 is not prime. Res64: 91900149D36D12EF Time : 0.0 sec. user=mdettweiler [2013-05-31 09:31:49] 909*2^1246432-1 is not prime. Res64: F5D93CB32E981006 Time : 0.0 sec. user=mdettweiler [2013-05-31 09:31:50] 933*2^1246432-1 is not prime. Res64: F7AB7365D5A74EF3 Time : 0.0 sec. user=mdettweiler [2013-05-31 09:40:23] 959*2^1246432-1 is not prime. Res64: 25DAC87EBB172EC9 Time : 0.0 sec. user=mdettweiler [2013-05-31 09:49:15] 691*2^1246433-1 is not prime. Res64: 8BD549DB3E333AB6 Time : 0.0 sec. user=mdettweiler [2013-05-31 09:49:16] 697*2^1246433-1 is not prime. Res64: 0491BE0F2F9EA92C Time : 0.0 sec. user=mdettweiler [2013-05-31 10:06:52] 747*2^1246433-1 is not prime. Res64: 067F5715C6E5CD66 Time : 0.0 sec. user=mdettweiler [2013-05-31 10:06:54] 867*2^1246433-1 is not prime. Res64: 14C59F0D43FB4D1F Time : 0.0 sec. user=mdettweiler [2013-05-31 10:07:19] 615*2^1246433-1 is not prime. Res64: 9FD20A1ED9F8AC36 Time : 0.0 sec. user=mdettweiler [2013-05-31 10:24:55] 871*2^1246433-1 is not prime. Res64: 9773D9F714368493 Time : 0.0 sec. user=mdettweiler [2013-05-31 10:50:01] 605*2^1246434-1 is not prime. Res64: 9BC57C3BFAD49AF7 Time : 0.0 sec. user=mdettweiler [2013-05-31 10:55:23] 635*2^1246434-1 is not prime. Res64: 1B279E227C25BAC0 Time : 0.0 sec. user=mdettweiler [2013-05-31 10:55:23] 651*2^1246434-1 is not prime. Res64: 846B43B9E8B54EAE Time : 0.0 sec. user=mdettweiler [2013-05-31 11:08:03] 705*2^1246434-1 is not prime. Res64: B1413EF35E6A4963 Time : 0.0 sec. user=mdettweiler [2013-05-31 11:08:04] 807*2^1246434-1 is not prime. Res64: D6E66F7E2F51AB7E Time : 0.0 sec. user=mdettweiler [2013-05-31 11:13:42] 833*2^1246434-1 is not prime. Res64: 4A54A046B9252D0D Time : 0.0 sec. user=mdettweiler [2013-05-31 11:26:13] 875*2^1246434-1 is not prime. Res64: 23442145C8CB4296 Time : 0.0 sec. user=mdettweiler [2013-05-31 11:48:21] 873*2^1246434-1 is not prime. Res64: 9B5D7FFBFF7BAF09 Time : 0.0 sec. user=mdettweiler [2013-05-31 11:58:06] 887*2^1246434-1 is not prime. Res64: DEA295C4E2E93FED Time : 0.0 sec. user=mdettweiler [2013-05-31 12:06:15] 891*2^1246434-1 is not prime. Res64: 243A4E15EA89A9F5 Time : 0.0 sec. user=mdettweiler [2013-05-31 12:33:08] 915*2^1246434-1 is not prime. Res64: B77D3EDEBB822A56 Time : 0.0 sec. user=mdettweiler [2013-05-31 12:42:40] 645*2^1246435-1 is not prime. Res64: C66E7BE4A541095E Time : 0.0 sec. user=mdettweiler [2013-05-31 12:42:41] 741*2^1246435-1 is not prime. Res64: 5E5FC1B9E94801AF Time : 0.0 sec. user=mdettweiler [2013-05-31 12:51:11] 765*2^1246435-1 is not prime. Res64: 1FECE7CAB7923321 Time : 0.0 sec. user=mdettweiler [2013-05-31 13:00:32] 819*2^1246435-1 is not prime. Res64: A27D5E356C3C665E Time : 0.0 sec. user=mdettweiler [2013-05-31 13:24:56] 805*2^1246435-1 is not prime. Res64: 5477DD4B51930D45 Time : 0.0 sec. user=mdettweiler [2013-05-31 13:39:09] 853*2^1246435-1 is not prime. Res64: 61424ADFB1184DFC Time : 0.0 sec. user=mdettweiler [2013-05-31 13:42:10] 647*2^1246436-1 is not prime. Res64: A16AA79C7608C522 Time : 0.0 sec. user=mdettweiler [2013-05-31 13:42:11] 707*2^1246436-1 is not prime. Res64: 73E35406C18ACC79 Time : 0.0 sec. user=mdettweiler [2013-05-31 13:57:08] 725*2^1246436-1 is not prime. Res64: 3DFA56191E36CEAA Time : 0.0 sec. user=mdettweiler [2013-05-31 14:00:09] 875*2^1246436-1 is not prime. Res64: BA9238458A342865 Time : 0.0 sec. user=mdettweiler [2013-05-31 14:18:59] 803*2^1246436-1 is not prime. Res64: 6146FFCD0B73C90E Time : 0.0 sec. user=mdettweiler [2013-05-31 14:24:14] 903*2^1246436-1 is not prime. Res64: 55EECD7FB6FA1A5E Time : 0.0 sec. user=mdettweiler [2013-05-31 14:37:35] 999*2^1246436-1 is not prime. Res64: 3EA19239BC30F1DB Time : 0.0 sec. user=mdettweiler [2013-05-31 14:37:36] 609*2^1246437-1 is not prime. Res64: 193B01BE491329FD Time : 0.0 sec. user=mdettweiler [2013-05-31 14:42:10] 625*2^1246437-1 is not prime. Res64: D4CF9AD64E419D5A Time : 0.0 sec. user=mdettweiler [2013-05-31 14:55:46] 765*2^1246437-1 is not prime. Res64: 7032EA2081E9F348 Time : 0.0 sec. user=mdettweiler [2013-05-31 15:00:44] 655*2^1246437-1 is not prime. Res64: BFE2B1F126BE04F5 Time : 0.0 sec. user=mdettweiler [2013-05-31 15:18:59] 955*2^1246437-1 is not prime. Res64: E6F767C5D1C49119 Time : 0.0 sec. user=mdettweiler [2013-05-31 15:20:48] 795*2^1246437-1 is not prime. Res64: F6FF04E59DE427A2 Time : 0.0 sec. user=mdettweiler [2013-05-31 15:39:19] 737*2^1246438-1 is not prime. Res64: F52127FF9762140A Time : 0.0 sec. user=mdettweiler [2013-05-31 15:39:20] 747*2^1246438-1 is not prime. Res64: 7403918F2AA75D32 Time : 0.0 sec. user=mdettweiler [2013-05-31 15:43:51] 623*2^1246438-1 is not prime. Res64: 3624308F1A2319F2 Time : 0.0 sec. user=mdettweiler [2013-05-31 15:58:34] 761*2^1246438-1 is not prime. Res64: C6A6416D5A60DC4F Time : 0.0 sec. user=mdettweiler [2013-05-31 15:58:34] 825*2^1246438-1 is not prime. Res64: 7516AE1954ACDAD1 Time : 0.0 sec. user=mdettweiler [2013-05-31 16:02:12] 941*2^1246438-1 is not prime. Res64: 0122AD0837BFD58A Time : 0.0 sec. user=mdettweiler [2013-05-31 16:02:12] 971*2^1246438-1 is not prime. Res64: 7F6DB88ACA596A74 Time : 0.0 sec. user=mdettweiler [2013-05-31 16:17:37] 1001*2^1246438-1 is not prime. Res64: 75B9E5C28D53B7FC Time : 0.0 sec. user=mdettweiler [2013-05-31 16:17:38] 609*2^1246439-1 is not prime. Res64: 52668D12C2F9D651 Time : 0.0 sec. user=mdettweiler [2013-05-31 16:20:54] 619*2^1246439-1 is not prime. Res64: 75BC9BAD3529624B Time : 0.0 sec. user=mdettweiler [2013-05-31 16:20:54] 645*2^1246439-1 is not prime. Res64: 6901BA9BE679A31E Time : 0.0 sec. user=mdettweiler [2013-05-31 16:36:07] 663*2^1246439-1 is not prime. Res64: B16D7C46B48D25FE Time : 0.0 sec. user=mdettweiler [2013-05-31 16:36:08] 771*2^1246439-1 is not prime. Res64: 17A67D91768F4650 Time : 0.0 sec. user=mdettweiler [2013-05-31 16:39:15] 799*2^1246439-1 is not prime. Res64: D313D53B9A326B5F Time : 0.0 sec. user=mdettweiler [2013-05-31 16:56:03] 859*2^1246439-1 is not prime. Res64: 70833B5EC8EAED49 Time : 0.0 sec. user=mdettweiler [2013-05-31 17:05:38] 843*2^1246439-1 is not prime. Res64: 08E276E7F7AC44A0 Time : 0.0 sec. user=mdettweiler [2013-05-31 17:25:14] 973*2^1246439-1 is not prime. Res64: E1B9B4815774F3E9 Time : 0.0 sec. user=mdettweiler [2013-05-31 17:25:14] 993*2^1246439-1 is not prime. Res64: 6E8A608ABA5187C9 Time : 0.0 sec. user=mdettweiler [2013-05-31 17:30:28] 949*2^1246439-1 is not prime. Res64: F9482B0CBC604E25 Time : 0.0 sec. user=mdettweiler [2013-05-31 17:43:44] 999*2^1246439-1 is not prime. Res64: 9481079A0440711C Time : 0.0 sec. user=mdettweiler [2013-05-31 17:43:44] 623*2^1246440-1 is not prime. Res64: 59C86C0626EBF6A3 Time : 0.0 sec. user=mdettweiler [2013-05-31 17:48:22] 689*2^1246440-1 is not prime. Res64: 88239BC0DA12257C Time : 0.0 sec. user=mdettweiler [2013-05-31 18:01:46] 735*2^1246440-1 is not prime. Res64: 5BEB4FB8359B8622 Time : 0.0 sec. user=mdettweiler [2013-05-31 18:01:48] 857*2^1246440-1 is not prime. Res64: BAD428117E1E3B02 Time : 0.0 sec. user=mdettweiler [2013-05-31 18:14:01] 723*2^1246440-1 is not prime. Res64: 30A80ECCD15919C2 Time : 0.0 sec. user=mdettweiler [2013-05-31 18:21:07] 945*2^1246440-1 is not prime. Res64: FB2779CEE8EC6968 Time : 0.0 sec. user=mdettweiler [2013-05-31 18:31:41] 927*2^1246440-1 is not prime. Res64: 1B7C0C71BC74F5EB Time : 0.0 sec. user=mdettweiler [2013-05-31 18:31:42] 651*2^1246441-1 is not prime. Res64: F46086639D5F9134 Time : 0.0 sec. user=mdettweiler [2013-05-31 18:39:34] 619*2^1246441-1 is not prime. Res64: CC4D8B153270665E Time : 0.0 sec. user=mdettweiler [2013-05-31 18:50:48] 975*2^1246441-1 is not prime. Res64: 5CCA2E5AFD86224A Time : 0.0 sec. user=mdettweiler [2013-05-31 18:58:07] 837*2^1246442-1 is not prime. Res64: 9B719EED859C8A3D Time : 0.0 sec. user=mdettweiler [2013-05-31 18:58:07] 1001*2^1246442-1 is not prime. Res64: 5040B146E95B56F6 Time : 0.0 sec. user=mdettweiler [2013-05-31 19:09:57] 633*2^1246442-1 is not prime. Res64: 9639A63400964659 Time : 0.0 sec. user=mdettweiler [2013-05-31 19:16:18] 615*2^1246443-1 is not prime. Res64: 9AAC1D25E1D5FCC3 Time : 0.0 sec. user=mdettweiler [2013-05-31 19:27:57] 789*2^1246443-1 is not prime. Res64: 828D9C2AC3BEB7DC Time : 0.0 sec. user=mdettweiler [2013-05-31 19:35:26] 723*2^1246443-1 is not prime. Res64: 69A802AFEB07E397 Time : 0.0 sec. user=mdettweiler [2013-05-31 19:51:12] 801*2^1246443-1 is not prime. Res64: C130F37EE5EED0CE Time : 0.0 sec. user=mdettweiler [2013-05-31 19:53:22] 949*2^1246443-1 is not prime. Res64: 1CB052021E184CD0 Time : 0.0 sec. user=mdettweiler [2013-05-31 20:09:08] 677*2^1246444-1 is not prime. Res64: 96788FE07403913D Time : 0.0 sec. user=mdettweiler [2013-05-31 20:32:11] 609*2^1246444-1 is not prime. Res64: D267F1DA157E84D9 Time : 0.0 sec. user=mdettweiler [2013-05-31 20:34:40] 717*2^1246444-1 is not prime. Res64: C132EFF46A7D6242 Time : 0.0 sec. user=mdettweiler [2013-05-31 20:50:12] 765*2^1246444-1 is not prime. Res64: 61582D021ACAF85A Time : 0.0 sec. user=mdettweiler [2013-05-31 20:52:41] 855*2^1246444-1 is not prime. Res64: 123089606F737E29 Time : 0.0 sec. user=mdettweiler [2013-05-31 21:21:23] 813*2^1246444-1 is not prime. Res64: 5798FD431A5F3E65 Time : 0.0 sec. user=mdettweiler [2013-05-31 21:29:07] 607*2^1246445-1 is not prime. Res64: 201161C0CE20E48F Time : 0.0 sec. user=mdettweiler [2013-05-31 21:46:37] 801*2^1246445-1 is not prime. Res64: 2CD3B77C641BC996 Time : 0.0 sec. user=mdettweiler [2013-05-31 21:46:37] 831*2^1246445-1 is not prime. Res64: 6DAA0E4A40529982 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:04:23] 865*2^1246445-1 is not prime. Res64: F8E2014AD7FD686D Time : 0.0 sec. user=mdettweiler [2013-05-31 22:04:24] 867*2^1246445-1 is not prime. Res64: CAED4A02BFC40D52 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:09:04] 915*2^1246445-1 is not prime. Res64: 64351A6BB01955D9 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:21:57] 683*2^1246446-1 is not prime. Res64: 88BF6FD1D38ECD65 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:21:57] 755*2^1246446-1 is not prime. Res64: C9451EE5B8064756 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:31:55] 635*2^1246446-1 is not prime. Res64: 0DAE98463BF29909 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:39:28] 825*2^1246446-1 is not prime. Res64: E11E2C83F2929A11 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:39:28] 843*2^1246446-1 is not prime. Res64: 9F4AE77BC7CD2381 Time : 0.0 sec. user=mdettweiler [2013-05-31 22:57:14] 941*2^1246446-1 is not prime. Res64: 536DB0EA6267A91A Time : 0.0 sec. user=mdettweiler [2013-05-31 22:57:14] 639*2^1246447-1 is not prime. Res64: 0BC86034D6869379 Time : 0.0 sec. user=mdettweiler [2013-05-31 23:15:21] 685*2^1246447-1 is not prime. Res64: 8A4FAA1B35883498 Time : 0.0 sec. user=mdettweiler [2013-05-31 23:26:52] 715*2^1246447-1 is not prime. Res64: 455DC61E08C89B1C Time : 0.0 sec. user=mdettweiler [2013-05-31 23:26:52] 849*2^1246447-1 is not prime. Res64: A22A581014CE86E2 Time : 0.0 sec. user=mdettweiler [2013-05-31 23:40:15] 705*2^1246447-1 is not prime. Res64: 48528B1D31BEE10C Time : 0.0 sec. user=mdettweiler [2013-05-31 23:45:03] 871*2^1246447-1 is not prime. Res64: 8007DA580144F989 Time : 0.0 sec. user=mdettweiler [2013-05-31 23:45:03] 945*2^1246447-1 is not prime. Res64: 4FC5325E78382A41 Time : 0.0 sec. user=mdettweiler [2013-05-31 23:58:35] 951*2^1246447-1 is not prime. Res64: 17BECE32E0BCA2D5 Time : 0.0 sec. user=mdettweiler [2013-05-31 23:58:36] 993*2^1246447-1 is not prime. Res64: B03325FC42948545 Time : 0.0 sec.