user=juhehe [2013-02-18 00:04:00] 645*2^1241242-1 is not prime. Res64: E9F35846D105B98A Time : 0.0 sec. user=mdettweiler [2013-02-18 00:11:16] 783*2^1241243-1 is not prime. Res64: 840001610B36E376 Time : 0.0 sec. user=mdettweiler [2013-02-18 00:11:18] 855*2^1241243-1 is not prime. Res64: 547660724DC34FC8 Time : 0.0 sec. user=mdettweiler [2013-02-18 00:12:51] 985*2^1241243-1 is not prime. Res64: C6D8A27107E50906 Time : 0.0 sec. user=mdettweiler [2013-02-18 00:12:53] 993*2^1241243-1 is not prime. Res64: 229CD0A3E3948B87 Time : 0.0 sec. user=juhehe [2013-02-18 00:16:22] 803*2^1241242-1 is not prime. Res64: C173B9959001EA06 Time : 0.0 sec. user=mdettweiler [2013-02-18 00:28:42] 707*2^1241244-1 is not prime. Res64: 99C2FCDED7818B3B Time : 0.0 sec. user=mdettweiler [2013-02-18 00:28:43] 759*2^1241244-1 is not prime. Res64: 7D022E8ECC015633 Time : 0.0 sec. user=mdettweiler [2013-02-18 00:30:16] 767*2^1241244-1 is not prime. Res64: BA8359933C69F01E Time : 0.0 sec. user=mdettweiler [2013-02-18 00:30:16] 863*2^1241244-1 is not prime. Res64: 9FBD4C2D9519B535 Time : 0.0 sec. user=mdettweiler [2013-02-18 00:46:04] 601*2^1241245-1 is not prime. Res64: 461A9275C2CF030E Time : 0.0 sec. user=mdettweiler [2013-02-18 00:46:05] 729*2^1241245-1 is not prime. Res64: 1C783143855BE81A Time : 0.0 sec. user=mdettweiler [2013-02-18 00:47:37] 819*2^1241245-1 is not prime. Res64: DE531F6E2C24110D Time : 0.0 sec. user=mdettweiler [2013-02-18 00:47:38] 831*2^1241245-1 is not prime. Res64: 1DDA9606C80427F2 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:03:29] 867*2^1241245-1 is not prime. Res64: A0E0B68F97B5ADD7 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:03:30] 997*2^1241245-1 is not prime. Res64: CF57B772B6E3D246 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:04:59] 755*2^1241246-1 is not prime. Res64: DC6E1E70B1F5DF40 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:05:00] 795*2^1241246-1 is not prime. Res64: 2CB3C40D94A80E14 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:20:55] 751*2^1241247-1 is not prime. Res64: 2594C26909482CEE Time : 0.0 sec. user=mdettweiler [2013-02-18 01:20:56] 781*2^1241247-1 is not prime. Res64: F2D110CBDB802689 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:22:22] 831*2^1241247-1 is not prime. Res64: CDB9C76DF6DA1379 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:22:26] 919*2^1241247-1 is not prime. Res64: A23AF1E23CD0BDF9 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:38:16] 979*2^1241247-1 is not prime. Res64: F30FD19AFB60B33E Time : 0.0 sec. user=mdettweiler [2013-02-18 01:38:17] 665*2^1241248-1 is not prime. Res64: C1ACDF2C823C18B1 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:39:51] 839*2^1241248-1 is not prime. Res64: DAB4C7DCD9423B8F Time : 0.0 sec. user=mdettweiler [2013-02-18 01:39:51] 927*2^1241248-1 is not prime. Res64: A7B1809A0096E27B Time : 0.0 sec. user=mdettweiler [2013-02-18 01:55:41] 989*2^1241248-1 is not prime. Res64: 677A6CA6F3413D57 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:55:42] 601*2^1241249-1 is not prime. Res64: 71E19949C012DF8E Time : 0.0 sec. user=mdettweiler [2013-02-18 01:57:13] 619*2^1241249-1 is not prime. Res64: 296ADCB730B0FC79 Time : 0.0 sec. user=mdettweiler [2013-02-18 01:57:14] 735*2^1241249-1 is not prime. Res64: 1972F1D02CBE0A7B Time : 0.0 sec. user=juhehe [2013-02-18 02:04:46] 709*2^1241247-1 is not prime. Res64: EDA0D7954D12A6FF Time : 0.0 sec. user=mdettweiler [2013-02-18 02:13:03] 769*2^1241249-1 is not prime. Res64: BB8A0D72F9C309A8 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:13:03] 771*2^1241249-1 is not prime. Res64: C846DF1AA09580F7 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:14:35] 969*2^1241249-1 is not prime. Res64: FBAE83D8B8FFB740 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:14:36] 979*2^1241249-1 is not prime. Res64: 8E607C5721626AE8 Time : 0.0 sec. user=juhehe [2013-02-18 02:17:23] 951*2^1241247-1 is not prime. Res64: 15947B721A6CFA91 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:30:27] 653*2^1241250-1 is not prime. Res64: 4347CBBBEF2065AC Time : 0.0 sec. user=mdettweiler [2013-02-18 02:30:28] 797*2^1241250-1 is not prime. Res64: 15988D09A0FCD687 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:31:59] 861*2^1241250-1 is not prime. Res64: C00C81D30F2C1FD0 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:32:00] 927*2^1241250-1 is not prime. Res64: 919449E92341E3E6 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:47:54] 933*2^1241250-1 is not prime. Res64: E68B67EEE77AA4CE Time : 0.0 sec. user=mdettweiler [2013-02-18 02:47:55] 603*2^1241251-1 is not prime. Res64: 4C1CABE6278A59E1 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:49:22] 733*2^1241251-1 is not prime. Res64: 15C546142B74C541 Time : 0.0 sec. user=mdettweiler [2013-02-18 02:49:23] 759*2^1241251-1 is not prime. Res64: C993996127EF49C3 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:05:22] 771*2^1241251-1 is not prime. Res64: E5B3399473DF53E7 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:05:24] 835*2^1241251-1 is not prime. Res64: 94EC6BDEB4BA8C75 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:06:48] 861*2^1241251-1 is not prime. Res64: 28000AB65F4E82F6 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:06:49] 975*2^1241251-1 is not prime. Res64: A9154CD56276855B Time : 0.0 sec. user=juhehe [2013-02-18 03:10:46] 923*2^1241126-1 is not prime. Res64: 4DF9C14C1E13B3C1 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:22:49] 719*2^1241252-1 is not prime. Res64: D2C0D720FEA4C2FE Time : 0.0 sec. user=mdettweiler [2013-02-18 03:22:49] 749*2^1241252-1 is not prime. Res64: 25A7715EC64F7409 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:24:10] 767*2^1241252-1 is not prime. Res64: FAAF530FD006F262 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:24:11] 785*2^1241252-1 is not prime. Res64: D9602FE173EFCADB Time : 0.0 sec. user=juhehe [2013-02-18 03:32:43] 813*2^1241252-1 is not prime. Res64: B379AFB18D889CD8 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:40:10] 903*2^1241252-1 is not prime. Res64: 5391319AE0AEF968 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:40:11] 945*2^1241252-1 is not prime. Res64: 1570F19C54562E4B Time : 0.0 sec. user=mdettweiler [2013-02-18 03:41:32] 649*2^1241253-1 is not prime. Res64: 5CC77131E5FB1A5A Time : 0.0 sec. user=mdettweiler [2013-02-18 03:41:33] 751*2^1241253-1 is not prime. Res64: 7AB91C21FF434A56 Time : 0.0 sec. user=juhehe [2013-02-18 03:55:58] 861*2^1241253-1 is not prime. Res64: 0DC517E07981D988 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:57:34] 867*2^1241253-1 is not prime. Res64: BE5397D8FDB985B0 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:57:34] 927*2^1241253-1 is not prime. Res64: 96B04469D3F1674E Time : 0.0 sec. user=mdettweiler [2013-02-18 03:58:54] 961*2^1241253-1 is not prime. Res64: 3CB092EEFEA1F149 Time : 0.0 sec. user=mdettweiler [2013-02-18 03:58:54] 605*2^1241254-1 is not prime. Res64: 30331DD33297FC71 Time : 0.0 sec. user=juhehe [2013-02-18 04:05:19] 683*2^1241252-1 is not prime. Res64: 3B19E675F83B9AB3 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:15:04] 981*2^1241254-1 is not prime. Res64: 615760F4698AB3C7 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:15:05] 987*2^1241254-1 is not prime. Res64: 712447AE4424E052 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:16:15] 619*2^1241255-1 is not prime. Res64: 9FDF9D8375E98C3E Time : 0.0 sec. user=mdettweiler [2013-02-18 04:16:15] 663*2^1241255-1 is not prime. Res64: 8CAB7B9B95819BB8 Time : 0.0 sec. user=juhehe [2013-02-18 04:17:39] 897*2^1241252-1 is not prime. Res64: 26B6BF83ED3379CF Time : 0.0 sec. user=juhehe [2013-02-18 04:18:46] 707*2^1241254-1 is not prime. Res64: 44765A74DFDDA0AD Time : 0.0 sec. user=mdettweiler [2013-02-18 04:32:29] 705*2^1241255-1 is not prime. Res64: 8B1240DCDCD18D9F Time : 0.0 sec. user=mdettweiler [2013-02-18 04:32:30] 771*2^1241255-1 is not prime. Res64: 99DF061FE539C94B Time : 0.0 sec. user=mdettweiler [2013-02-18 04:33:36] 823*2^1241255-1 is not prime. Res64: 99699F4D30AF84D9 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:33:37] 885*2^1241255-1 is not prime. Res64: 25E1B63582E15505 Time : 0.0 sec. user=juhehe [2013-02-18 04:40:54] 609*2^1241256-1 is not prime. Res64: 172B23328118ADB8 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:49:58] 627*2^1241256-1 is not prime. Res64: AE73B2BF549C6516 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:49:59] 675*2^1241256-1 is not prime. Res64: D0B0450DE29380D6 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:50:58] 759*2^1241256-1 is not prime. Res64: 5653CC5F9C42C292 Time : 0.0 sec. user=mdettweiler [2013-02-18 04:50:58] 803*2^1241256-1 is not prime. Res64: 0F15345AE838C716 Time : 0.0 sec. user=juhehe [2013-02-18 05:03:56] 809*2^1241256-1 is not prime. Res64: 2589B167E18B181B Time : 0.0 sec. user=mdettweiler [2013-02-18 05:07:19] 845*2^1241256-1 is not prime. Res64: CAD7E0112C21ED68 Time : 0.0 sec. user=mdettweiler [2013-02-18 05:07:20] 945*2^1241256-1 is not prime. Res64: A6577760CEA9542B Time : 0.0 sec. user=mdettweiler [2013-02-18 05:08:21] 975*2^1241256-1 is not prime. Res64: F01D8C6C625DEF6B Time : 0.0 sec. user=mdettweiler [2013-02-18 05:08:22] 649*2^1241257-1 is not prime. Res64: 0A93A9733D874F5C Time : 0.0 sec. user=mdettweiler [2013-02-18 05:24:43] 777*2^1241257-1 is not prime. Res64: 407106BC227AB943 Time : 0.0 sec. user=mdettweiler [2013-02-18 05:24:44] 871*2^1241257-1 is not prime. Res64: 1299CBE20F2111BF Time : 0.0 sec. user=mdettweiler [2013-02-18 05:25:43] 885*2^1241257-1 is not prime. Res64: 0ACF2206DA94D47B Time : 0.0 sec. user=mdettweiler [2013-02-18 05:25:43] 915*2^1241257-1 is not prime. Res64: C06C1E6256639082 Time : 0.0 sec. user=juhehe [2013-02-18 05:26:09] 747*2^1241257-1 is not prime. Res64: B35EE2374F8B471A Time : 0.0 sec. user=mdettweiler [2013-02-18 05:42:04] 635*2^1241258-1 is not prime. Res64: 0F3AB1311DC5167D Time : 0.0 sec. user=mdettweiler [2013-02-18 05:42:05] 657*2^1241258-1 is not prime. Res64: 907EFCCCD2BF91E2 Time : 0.0 sec. user=mdettweiler [2013-02-18 05:43:05] 771*2^1241258-1 is not prime. Res64: B929D8ABB237E2EF Time : 0.0 sec. user=mdettweiler [2013-02-18 05:43:05] 773*2^1241258-1 is not prime. Res64: FB97E59F6947713D Time : 0.0 sec. user=juhehe [2013-02-18 05:47:34] 845*2^1241258-1 is not prime. Res64: 13347874DB6F3EAC Time : 0.0 sec. user=mdettweiler [2013-02-18 05:59:26] 875*2^1241258-1 is not prime. Res64: C5ECED65801A1ABA Time : 0.0 sec. user=mdettweiler [2013-02-18 05:59:27] 685*2^1241259-1 is not prime. Res64: AE1022C3C769C451 Time : 0.0 sec. user=mdettweiler [2013-02-18 06:00:25] 705*2^1241259-1 is not prime. Res64: 8759EEC6E699A5DA Time : 0.0 sec. user=mdettweiler [2013-02-18 06:00:27] 753*2^1241259-1 is not prime. Res64: FF30D1566ADEF2D4 Time : 0.0 sec. user=juhehe [2013-02-18 06:06:25] 729*2^1241257-1 is not prime. Res64: B38F6B8AF5CD05A7 Time : 0.0 sec. user=juhehe [2013-02-18 06:11:48] 793*2^1241259-1 is not prime. Res64: 97EF50EB9F911231 Time : 0.0 sec. user=mdettweiler [2013-02-18 06:16:47] 909*2^1241259-1 is not prime. Res64: 8E54382C5009B54C Time : 0.0 sec. user=mdettweiler [2013-02-18 06:16:48] 629*2^1241260-1 is not prime. Res64: 0BC3D4E60CF8A96B Time : 0.0 sec. user=mdettweiler [2013-02-18 06:17:50] 663*2^1241260-1 is not prime. Res64: 1DB8089DD055165C Time : 0.0 sec. user=mdettweiler [2013-02-18 06:17:51] 677*2^1241260-1 is not prime. Res64: F6817DA68200B601 Time : 0.0 sec. user=juhehe [2013-02-18 06:18:06] 627*2^1241258-1 is not prime. Res64: 967DEE5EADB6A845 Time : 0.0 sec. user=mdettweiler [2013-02-18 06:34:11] 803*2^1241260-1 is not prime. Res64: 47EAAF80D6F2566B Time : 0.0 sec. user=mdettweiler [2013-02-18 06:34:11] 863*2^1241260-1 is not prime. Res64: 0AE3B4FA7E8CDFC5 Time : 0.0 sec. user=mdettweiler [2013-02-18 06:35:12] 939*2^1241260-1 is not prime. Res64: E115DA9A4077F4C5 Time : 0.0 sec. user=mdettweiler [2013-02-18 06:35:12] 965*2^1241260-1 is not prime. Res64: B8EB49A514AED8FB Time : 0.0 sec. user=juhehe [2013-02-18 06:40:29] 785*2^1241260-1 is not prime. Res64: 0023C7F758BAD43A Time : 0.0 sec. user=mdettweiler [2013-02-18 06:51:33] 649*2^1241261-1 is not prime. Res64: 6B9B3E313270A57A Time : 0.0 sec. user=mdettweiler [2013-02-18 06:51:33] 717*2^1241261-1 is not prime. Res64: E96A5ECF8EF17E32 Time : 0.0 sec. user=mdettweiler [2013-02-18 06:52:33] 789*2^1241261-1 is not prime. Res64: 4B357186FA9EAD1C Time : 0.0 sec. user=mdettweiler [2013-02-18 06:52:33] 801*2^1241261-1 is not prime. Res64: FF9304A57A1327CF Time : 0.0 sec. user=mdettweiler [2013-02-18 07:08:55] 931*2^1241261-1 is not prime. Res64: 390CB88CEFEE379E Time : 0.0 sec. user=mdettweiler [2013-02-18 07:08:56] 955*2^1241261-1 is not prime. Res64: D2FDF05F3F8E3B00 Time : 0.0 sec. user=juhehe [2013-02-18 07:09:30] 855*2^1241261-1 is not prime. Res64: C3A96FFDAACCA96F Time : 0.0 sec. user=mdettweiler [2013-02-18 07:09:54] 987*2^1241261-1 is not prime. Res64: B7EA700A3F60848C Time : 0.0 sec. user=mdettweiler [2013-02-18 07:09:56] 765*2^1241262-1 is not prime. Res64: 67AD4ECC2AD565C6 Time : 0.0 sec. user=mdettweiler [2013-02-18 07:26:17] 957*2^1241262-1 is not prime. Res64: 810C9D725003142C Time : 0.0 sec. user=mdettweiler [2013-02-18 07:26:17] 975*2^1241262-1 is not prime. Res64: F15E85A944DB53F5 Time : 0.0 sec. user=mdettweiler [2013-02-18 07:27:19] 745*2^1241263-1 is not prime. Res64: 91AF995A90E1CF3B Time : 0.0 sec. user=mdettweiler [2013-02-18 07:27:20] 769*2^1241263-1 is not prime. Res64: BDF81D5615A39D4D Time : 0.0 sec. user=juhehe [2013-02-18 07:38:39] 735*2^1241263-1 is not prime. Res64: F0ADA1EE56134AE2 Time : 0.0 sec. user=mdettweiler [2013-02-18 07:43:42] 883*2^1241263-1 is not prime. Res64: FCFDE52C20D30838 Time : 0.0 sec. user=mdettweiler [2013-02-18 07:43:42] 951*2^1241263-1 is not prime. Res64: A12B90EECDBF7A6A Time : 0.0 sec. user=mdettweiler [2013-02-18 07:44:41] 605*2^1241264-1 is not prime. Res64: 32E473290A36D451 Time : 0.0 sec. user=mdettweiler [2013-02-18 07:44:42] 819*2^1241264-1 is not prime. Res64: 8005190A707773AC Time : 0.0 sec. user=mdettweiler [2013-02-18 08:01:03] 709*2^1241265-1 is not prime. Res64: 68714C204FAB49DE Time : 0.0 sec. user=mdettweiler [2013-02-18 08:01:05] 805*2^1241265-1 is not prime. Res64: 0E2227A75FFA2B2D Time : 0.0 sec. user=mdettweiler [2013-02-18 08:02:05] 861*2^1241265-1 is not prime. Res64: 80F7DBE2253C36DA Time : 0.0 sec. user=mdettweiler [2013-02-18 08:02:08] 921*2^1241265-1 is not prime. Res64: 5B27DD4493341D6D Time : 0.0 sec. user=juhehe [2013-02-18 08:05:31] 855*2^1241264-1 is not prime. Res64: 82C6E0EF7BA71035 Time : 0.0 sec. user=juhehe [2013-02-18 08:06:55] 833*2^1241262-1 is not prime. Res64: 279B8BB823EBE73C Time : 0.0 sec. user=mdettweiler [2013-02-18 08:18:28] 651*2^1241266-1 is not prime. Res64: CD95824E9996E6D9 Time : 0.0 sec. user=mdettweiler [2013-02-18 08:18:28] 705*2^1241266-1 is not prime. Res64: BE3CFE28BBE9814C Time : 0.0 sec. user=juhehe [2013-02-18 08:18:31] 775*2^1241263-1 is not prime. Res64: E8DCED1BBDF9347B Time : 0.0 sec. user=mdettweiler [2013-02-18 08:19:31] 765*2^1241266-1 is not prime. Res64: BC2A1CD6EAFA0B15 Time : 0.0 sec. user=mdettweiler [2013-02-18 08:19:32] 783*2^1241266-1 is not prime. Res64: 3A4F7AC673B41647 Time : 0.0 sec. user=juhehe [2013-02-18 08:25:44] 873*2^1241266-1 is not prime. Res64: A8C88C9D388E16C6 Time : 0.0 sec. user=mdettweiler [2013-02-18 08:35:48] 891*2^1241266-1 is not prime. Res64: 1F720C0F09EE6D52 Time : 0.0 sec. user=mdettweiler [2013-02-18 08:35:49] 601*2^1241267-1 is not prime. Res64: 939AA5C2C29BE7AB Time : 0.0 sec. user=mdettweiler [2013-02-18 08:36:51] 675*2^1241267-1 is not prime. Res64: AF9CB8D6E9ABD7AA Time : 0.0 sec. user=mdettweiler [2013-02-18 08:36:51] 825*2^1241267-1 is not prime. Res64: 04BC03E8E3108905 Time : 0.0 sec. user=juhehe [2013-02-18 08:45:53] 909*2^1241267-1 is not prime. Res64: 5DE86BF0F9CD906A Time : 0.0 sec. user=mdettweiler [2013-02-18 08:53:10] 955*2^1241267-1 is not prime. Res64: FF47003BD3BC40E9 Time : 0.0 sec. user=mdettweiler [2013-02-18 08:53:10] 629*2^1241268-1 is not prime. Res64: 8C5B967CC1B12E43 Time : 0.0 sec. user=mdettweiler [2013-02-18 08:54:11] 633*2^1241268-1 is not prime. Res64: BF90E6CAA07C9EA3 Time : 0.0 sec. user=mdettweiler [2013-02-18 08:54:12] 783*2^1241268-1 is not prime. Res64: 4AB2E563869FE198 Time : 0.0 sec. user=juhehe [2013-02-18 09:06:09] 797*2^1241268-1 is not prime. Res64: 4A215E9F01EDAAF8 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:10:35] 819*2^1241268-1 is not prime. Res64: DA046434BBCDB41A Time : 0.0 sec. user=mdettweiler [2013-02-18 09:10:36] 945*2^1241268-1 is not prime. Res64: 8551EF712041B7F2 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:11:33] 993*2^1241268-1 is not prime. Res64: 1C591785CC5B0C2F Time : 0.0 sec. user=mdettweiler [2013-02-18 09:11:33] 691*2^1241269-1 is not prime. Res64: C34DE20CF445D487 Time : 0.0 sec. user=juhehe [2013-02-18 09:26:26] 825*2^1241269-1 is not prime. Res64: A37FB79505BE6383 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:28:00] 855*2^1241269-1 is not prime. Res64: 72C20A87EABDC7D9 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:28:00] 945*2^1241269-1 is not prime. Res64: 14D22E19B29BCBC6 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:28:53] 985*2^1241269-1 is not prime. Res64: 53C6D861516F73E3 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:28:54] 997*2^1241269-1 is not prime. Res64: 0F62FA1627E2FC9D Time : 0.0 sec. user=mdettweiler [2013-02-18 09:45:22] 761*2^1241270-1 is not prime. Res64: 8E8225FCF28D0C36 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:45:23] 795*2^1241270-1 is not prime. Res64: 7974913A9DD17453 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:46:13] 861*2^1241270-1 is not prime. Res64: 349CB7D7F6D6B2A2 Time : 0.0 sec. user=mdettweiler [2013-02-18 09:46:13] 885*2^1241270-1 is not prime. Res64: D3144C4476C9D392 Time : 0.0 sec. user=juhehe [2013-02-18 09:46:42] 711*2^1241270-1 is not prime. Res64: 03E12790368F1941 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:02:44] 893*2^1241270-1 is not prime. Res64: C78339470C57BACA Time : 0.0 sec. user=mdettweiler [2013-02-18 10:02:46] 953*2^1241270-1 is not prime. Res64: 80EEB1C20FDE9452 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:03:35] 739*2^1241271-1 is not prime. Res64: C8D713290B0D3B20 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:03:37] 741*2^1241271-1 is not prime. Res64: 8360CB05272472B0 Time : 0.0 sec. user=juhehe [2013-02-18 10:06:56] 825*2^1241271-1 is not prime. Res64: 75116B8426682F7B Time : 0.0 sec. user=juhehe [2013-02-18 10:07:38] 765*2^1241269-1 is not prime. Res64: FF900FE733629B95 Time : 0.0 sec. user=juhehe [2013-02-18 10:18:51] 605*2^1241270-1 is not prime. Res64: DD7A7A8644140F18 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:20:15] 829*2^1241271-1 is not prime. Res64: F71590D602BD82DC Time : 0.0 sec. user=mdettweiler [2013-02-18 10:20:15] 859*2^1241271-1 is not prime. Res64: 36D1747FBD4C850E Time : 0.0 sec. user=mdettweiler [2013-02-18 10:21:03] 865*2^1241271-1 is not prime. Res64: F6DFFD2877894602 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:21:04] 913*2^1241271-1 is not prime. Res64: 5176164900937F4E Time : 0.0 sec. user=juhehe [2013-02-18 10:27:11] 933*2^1241271-1 is not prime. Res64: EF6233F5855D7456 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:38:04] 943*2^1241271-1 is not prime. Res64: 955FD48A8E011890 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:38:05] 639*2^1241272-1 is not prime. Res64: 94563ABFB36AE44A Time : 0.0 sec. user=mdettweiler [2013-02-18 10:38:52] 705*2^1241272-1 is not prime. Res64: 4908C95911DC5E6B Time : 0.0 sec. user=mdettweiler [2013-02-18 10:38:52] 717*2^1241272-1 is not prime. Res64: 80F3EB8972676C19 Time : 0.0 sec. user=juhehe [2013-02-18 10:47:24] 719*2^1241272-1 is not prime. Res64: 38B23EE031BDC459 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:55:30] 735*2^1241272-1 is not prime. Res64: 5AA8C303C6CE83AB Time : 0.0 sec. user=mdettweiler [2013-02-18 10:55:30] 755*2^1241272-1 is not prime. Res64: 79AE89AB73AFE66C Time : 0.0 sec. user=mdettweiler [2013-02-18 10:56:15] 843*2^1241272-1 is not prime. Res64: 9751FBA757665D13 Time : 0.0 sec. user=mdettweiler [2013-02-18 10:56:15] 857*2^1241272-1 is not prime. Res64: F5338A0A74665DD7 Time : 0.0 sec. user=juhehe [2013-02-18 11:07:37] 869*2^1241272-1 is not prime. Res64: F5D5F36DD42F9442 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:12:55] 873*2^1241272-1 is not prime. Res64: E5A99E2E32104060 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:12:56] 923*2^1241272-1 is not prime. Res64: 1F6D8A372ECCA408 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:13:39] 933*2^1241272-1 is not prime. Res64: B94AF8F95AAED23D Time : 0.0 sec. user=mdettweiler [2013-02-18 11:13:40] 999*2^1241272-1 is not prime. Res64: F77F0512CA1CBDD3 Time : 0.0 sec. user=juhehe [2013-02-18 11:29:46] 855*2^1241273-1 is not prime. Res64: 22448B34E66C311D Time : 0.0 sec. user=mdettweiler [2013-02-18 11:30:26] 871*2^1241273-1 is not prime. Res64: 91A2A2341BD38A00 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:30:26] 885*2^1241273-1 is not prime. Res64: FA0F252848435C51 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:31:07] 915*2^1241273-1 is not prime. Res64: 36F54FA61190CE35 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:31:07] 681*2^1241274-1 is not prime. Res64: 12DBF0637D90C0A0 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:48:03] 825*2^1241274-1 is not prime. Res64: 7E62B39FFA423C5A Time : 0.0 sec. user=mdettweiler [2013-02-18 11:48:04] 993*2^1241274-1 is not prime. Res64: F2910979849A1263 Time : 0.0 sec. user=mdettweiler [2013-02-18 11:48:43] 645*2^1241275-1 is not prime. Res64: 39264202DAABC26E Time : 0.0 sec. user=mdettweiler [2013-02-18 11:48:43] 783*2^1241275-1 is not prime. Res64: 530E5EE7CE3A5224 Time : 0.0 sec. user=juhehe [2013-02-18 11:56:52] 821*2^1241274-1 is not prime. Res64: B1343B00FFA7EEB1 Time : 0.0 sec. user=mdettweiler [2013-02-18 12:05:29] 861*2^1241275-1 is not prime. Res64: 98E41AB9D02E87EC Time : 0.0 sec. user=mdettweiler [2013-02-18 12:05:30] 999*2^1241275-1 is not prime. Res64: 0C8D7B79DD4320D2 Time : 0.0 sec. user=mdettweiler [2013-02-18 12:06:10] 663*2^1241276-1 is not prime. Res64: 0584D0F3E40EC102 Time : 0.0 sec. user=mdettweiler [2013-02-18 12:06:11] 759*2^1241276-1 is not prime. Res64: AC3D4A7B7211D34E Time : 0.0 sec. user=juhehe [2013-02-18 12:08:26] 631*2^1241273-1 is not prime. Res64: AFECE6836431161A Time : 0.0 sec. user=juhehe [2013-02-18 12:19:27] 707*2^1241274-1 is not prime. Res64: 4522DA28A2858D6A Time : 0.0 sec. user=mdettweiler [2013-02-18 12:23:03] 927*2^1241276-1 is not prime. Res64: B7868B08475058FE Time : 0.0 sec. user=mdettweiler [2013-02-18 12:23:04] 609*2^1241277-1 is not prime. Res64: BC6FBA6B50255301 Time : 0.0 sec. user=juhehe [2013-02-18 12:23:31] 899*2^1241276-1 is not prime. Res64: 55A3457D2B94F13F Time : 0.0 sec. user=mdettweiler [2013-02-18 12:23:36] 651*2^1241277-1 is not prime. Res64: 4C2862E82C1E75C6 Time : 0.0 sec. user=mdettweiler [2013-02-18 12:23:37] 717*2^1241277-1 is not prime. Res64: BBA3F23149DD9F83 Time : 0.0 sec. user=juhehe [2013-02-18 12:44:05] 847*2^1241277-1 is not prime. Res64: 37BDD6F563F0769A Time : 0.0 sec. user=mdettweiler [2013-02-18 12:50:02] 603*2^1241278-1 is not prime. Res64: D03320038275093C Time : 0.0 sec. user=mdettweiler [2013-02-18 12:50:03] 605*2^1241278-1 is not prime. Res64: 5BAD6E71253F694E Time : 0.0 sec. user=mdettweiler [2013-02-18 12:50:58] 817*2^1241277-1 is not prime. Res64: 5F69F6A04A80239B Time : 0.0 sec. user=mdettweiler [2013-02-18 12:50:58] 835*2^1241277-1 is not prime. Res64: 93F7D649029AA53D Time : 0.0 sec. user=mdettweiler [2013-02-18 13:56:38] 657*2^1241278-1 is not prime. Res64: 89A6006D9841C281 Time : 0.0 sec. user=mdettweiler [2013-02-18 13:56:39] 665*2^1241278-1 is not prime. Res64: 5DEA1B8C47DBDD3E Time : 0.0 sec. user=mdettweiler [2013-02-18 13:57:27] 681*2^1241278-1 is not prime. Res64: 9A4E4770E092D1C3 Time : 0.0 sec. user=mdettweiler [2013-02-18 13:57:28] 705*2^1241278-1 is not prime. Res64: A55E6771E08F7D5A Time : 0.0 sec. user=mdettweiler [2013-02-18 14:14:09] 971*2^1241278-1 is not prime. Res64: 7AB27EB765916A76 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:14:10] 603*2^1241279-1 is not prime. Res64: 90A7AA8041790B19 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:14:54] 685*2^1241279-1 is not prime. Res64: 4A416F15776673C1 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:14:54] 789*2^1241279-1 is not prime. Res64: 7BB74330A85D295B Time : 0.0 sec. user=juhehe [2013-02-18 14:23:11] 755*2^1241278-1 is not prime. Res64: A50B35650FBDB97E Time : 0.0 sec. user=juhehe [2013-02-18 14:27:27] 815*2^1241278-1 is not prime. Res64: 41D80876EE0F6861 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:31:34] 885*2^1241279-1 is not prime. Res64: C21DC996039115E0 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:31:35] 889*2^1241279-1 is not prime. Res64: BB1C403975154E07 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:32:20] 689*2^1241280-1 is not prime. Res64: E828756B10859F75 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:32:21] 747*2^1241280-1 is not prime. Res64: CD45B99C5FC54E3D Time : 0.0 sec. user=mdettweiler [2013-02-18 14:49:07] 765*2^1241280-1 is not prime. Res64: 76905F7CB469EEF0 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:49:07] 809*2^1241280-1 is not prime. Res64: ACF0D436BFFA55C5 Time : 0.0 sec. user=mdettweiler [2013-02-18 14:49:57] 915*2^1241280-1 is not prime. Res64: 71E1D57A36B2E54B Time : 0.0 sec. user=mdettweiler [2013-02-18 14:49:57] 625*2^1241281-1 is not prime. Res64: 3DEF4339FA6668BE Time : 0.0 sec. user=mdettweiler [2013-02-18 15:06:42] 645*2^1241281-1 is not prime. Res64: A407FD9FDA266EFA Time : 0.0 sec. user=mdettweiler [2013-02-18 15:06:44] 687*2^1241281-1 is not prime. Res64: 749A1771569F3F48 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:07:38] 895*2^1241281-1 is not prime. Res64: 2A6AE681CC1A56EC Time : 0.0 sec. user=mdettweiler [2013-02-18 15:07:38] 635*2^1241282-1 is not prime. Res64: 2133774478087035 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:24:28] 645*2^1241282-1 is not prime. Res64: 97849122C0098151 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:24:29] 701*2^1241282-1 is not prime. Res64: 821A75E131D442C6 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:25:22] 825*2^1241282-1 is not prime. Res64: 9FF9F1F38D08E275 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:25:22] 873*2^1241282-1 is not prime. Res64: EE5A57A99BC62EC0 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:42:46] 885*2^1241282-1 is not prime. Res64: 339E963CB84A7F2A Time : 0.0 sec. user=mdettweiler [2013-02-18 15:42:47] 915*2^1241282-1 is not prime. Res64: 136C6ED51F71BE40 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:43:42] 977*2^1241282-1 is not prime. Res64: 350F59E8806D3522 Time : 0.0 sec. user=mdettweiler [2013-02-18 15:43:42] 679*2^1241283-1 is not prime. Res64: BDD3659EC57B7899 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:01:18] 789*2^1241283-1 is not prime. Res64: 38E7A4BA645D0209 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:01:21] 919*2^1241283-1 is not prime. Res64: 801A25FC57562372 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:02:11] 921*2^1241283-1 is not prime. Res64: 2260C08B1907380A Time : 0.0 sec. user=mdettweiler [2013-02-18 16:02:12] 963*2^1241283-1 is not prime. Res64: 1B8433B053843AAA Time : 0.0 sec. user=mdettweiler [2013-02-18 16:21:35] 969*2^1241283-1 is not prime. Res64: B0D8B152D178842D Time : 0.0 sec. user=mdettweiler [2013-02-18 16:21:36] 675*2^1241284-1 is not prime. Res64: B5E8BDC426196F13 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:22:30] 803*2^1241284-1 is not prime. Res64: D6E26A611043C83F Time : 0.0 sec. user=mdettweiler [2013-02-18 16:22:30] 857*2^1241284-1 is not prime. Res64: EC6DB283619BDB05 Time : 0.0 sec. user=juhehe [2013-02-18 16:23:40] 875*2^1241282-1 is not prime. Res64: 3A88B51745D0BAF4 Time : 0.0 sec. user=juhehe [2013-02-18 16:28:43] 723*2^1241283-1 is not prime. Res64: 53AEF148E8A49830 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:39:16] 869*2^1241284-1 is not prime. Res64: 4AA3E0D77C1A8E3F Time : 0.0 sec. user=mdettweiler [2013-02-18 16:39:16] 887*2^1241284-1 is not prime. Res64: 036CF8C400059CB2 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:40:13] 903*2^1241284-1 is not prime. Res64: 4EDC6A17D8765A8A Time : 0.0 sec. user=mdettweiler [2013-02-18 16:40:13] 909*2^1241284-1 is not prime. Res64: E5B40A8F583DFD57 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:56:47] 929*2^1241284-1 is not prime. Res64: E3DFA934208DAFD2 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:56:47] 965*2^1241284-1 is not prime. Res64: 225C49C228101011 Time : 0.0 sec. user=mdettweiler [2013-02-18 16:57:46] 983*2^1241284-1 is not prime. Res64: 76492D8CA8BA040D Time : 0.0 sec. user=mdettweiler [2013-02-18 16:57:47] 655*2^1241285-1 is not prime. Res64: DA71F8B53092AFCA Time : 0.0 sec. user=mdettweiler [2013-02-18 17:14:18] 669*2^1241285-1 is not prime. Res64: 3131A5F095DD64E8 Time : 0.0 sec. user=mdettweiler [2013-02-18 17:14:18] 871*2^1241285-1 is not prime. Res64: 015239891603BBDE Time : 0.0 sec. user=mdettweiler [2013-02-18 17:15:19] 957*2^1241285-1 is not prime. Res64: 37811A26DA8CB2E0 Time : 0.0 sec. user=mdettweiler [2013-02-18 17:15:20] 693*2^1241286-1 is not prime. Res64: 449E8A362761292F Time : 0.0 sec. user=mdettweiler [2013-02-18 17:31:45] 711*2^1241286-1 is not prime. Res64: 2F8859E20904E142 Time : 0.0 sec. user=mdettweiler [2013-02-18 17:31:45] 963*2^1241286-1 is not prime. Res64: 78E0FEDCF5021E51 Time : 0.0 sec. user=mdettweiler [2013-02-18 17:32:49] 649*2^1241287-1 is not prime. Res64: 6D7021557D66BC51 Time : 0.0 sec. user=mdettweiler [2013-02-18 17:32:49] 675*2^1241287-1 is not prime. Res64: 592B842611AC17AD Time : 0.0 sec. user=mdettweiler [2013-02-18 17:49:14] 841*2^1241287-1 is not prime. Res64: 47BC531483B033BF Time : 0.0 sec. user=mdettweiler [2013-02-18 17:49:14] 849*2^1241287-1 is not prime. Res64: 325966CEEA6DBBA2 Time : 0.0 sec. user=mdettweiler [2013-02-18 17:50:21] 871*2^1241287-1 is not prime. Res64: E52AC75F1A7F6CC1 Time : 0.0 sec. user=mdettweiler [2013-02-18 17:50:22] 999*2^1241287-1 is not prime. Res64: E88A7E2D225DF2D3 Time : 0.0 sec. user=mdettweiler [2013-02-18 18:07:24] 637*2^1241289-1 is not prime. Res64: DF3753D2BEF3F531 Time : 0.0 sec. user=mdettweiler [2013-02-18 18:07:25] 711*2^1241289-1 is not prime. Res64: B41828F41D157E30 Time : 0.0 sec. user=mdettweiler [2013-02-18 18:08:34] 837*2^1241289-1 is not prime. Res64: F10EE05F1A5940CD Time : 0.0 sec. user=mdettweiler [2013-02-18 18:08:35] 861*2^1241289-1 is not prime. Res64: 0E069E711FD5C243 Time : 0.0 sec. user=mdettweiler [2013-02-18 18:23:16] 713*2^1241288-1 is not prime. Res64: 68E60E9BB9CF513F Time : 0.0 sec. user=juhehe [2013-02-18 18:24:30] 763*2^1241287-1 is not prime. Res64: 4E8CDFFD401E38B6 Time : 0.0 sec. user=mdettweiler [2013-02-18 18:25:11] 889*2^1241289-1 is not prime. Res64: BC0341E6F62AA1B9 Time : 0.0 sec. user=mdettweiler [2013-02-18 18:25:12] 657*2^1241290-1 is not prime. Res64: 8B53CFB6E5B2FFD0 Time : 0.0 sec. user=juhehe [2013-02-18 18:50:56] 829*2^1241287-1 is not prime. Res64: 55940F55A5147EED Time : 0.0 sec. user=mdettweiler [2013-02-18 19:25:37] 717*2^1241290-1 is not prime. Res64: 2271F8E6C465D819 Time : 0.0 sec. user=mdettweiler [2013-02-18 19:25:37] 747*2^1241290-1 is not prime. Res64: 2A7B07EB42B79845 Time : 0.0 sec. user=mdettweiler [2013-02-18 19:32:57] 827*2^1241290-1 is not prime. Res64: F96F93DD38F2ABAF Time : 0.0 sec. user=mdettweiler [2013-02-18 19:32:58] 857*2^1241290-1 is not prime. Res64: 983BB90BA793C9F7 Time : 0.0 sec. user=mdettweiler [2013-02-18 19:43:18] 917*2^1241290-1 is not prime. Res64: 84A69E40C0572449 Time : 0.0 sec. user=mdettweiler [2013-02-18 19:43:18] 669*2^1241291-1 is not prime. Res64: FAC1C78CF2FE9C05 Time : 0.0 sec. user=juhehe [2013-02-18 21:15:07] 883*2^1241291-1 is not prime. Res64: BCFF99904D956112 Time : 0.0 sec. user=juhehe [2013-02-18 21:20:30] 895*2^1241291-1 is not prime. Res64: F14EA561B12F5FE7 Time : 0.0 sec. user=mdettweiler [2013-02-18 23:09:00] 673*2^1241291-1 is not prime. Res64: BF0703903C3534A5 Time : 0.0 sec. user=mdettweiler [2013-02-18 23:09:00] 705*2^1241291-1 is not prime. Res64: 0AE7C29637C144B0 Time : 0.0 sec. user=juhehe [2013-02-18 23:14:59] 969*2^1241291-1 is not prime. Res64: C78A48D348F1ACE0 Time : 0.0 sec. user=mdettweiler [2013-02-18 23:19:28] 819*2^1241291-1 is not prime. Res64: 6BF9489B71487524 Time : 0.0 sec. user=mdettweiler [2013-02-18 23:19:28] 859*2^1241291-1 is not prime. Res64: F24E95A1596B8E76 Time : 0.0 sec. user=mdettweiler [2013-02-18 23:26:32] 993*2^1241291-1 is not prime. Res64: F695057D43150D1E Time : 0.0 sec. user=mdettweiler [2013-02-18 23:26:32] 647*2^1241292-1 is not prime. Res64: B31E8F056CD893C0 Time : 0.0 sec. user=mdettweiler [2013-02-18 23:36:54] 695*2^1241292-1 is not prime. Res64: D29D1B929A1726AC Time : 0.0 sec. user=mdettweiler [2013-02-18 23:36:54] 719*2^1241292-1 is not prime. Res64: 0C0DB630F306EB18 Time : 0.0 sec. user=juhehe [2013-02-18 23:42:37] 991*2^1241291-1 is not prime. Res64: 0984E8CF2327F75D Time : 0.0 sec. user=mdettweiler [2013-02-18 23:43:55] 753*2^1241292-1 is not prime. Res64: 07C0994E662C488E Time : 0.0 sec. user=mdettweiler [2013-02-18 23:43:56] 873*2^1241292-1 is not prime. Res64: 3637B9085DE3AAC2 Time : 0.0 sec. user=mdettweiler [2013-02-18 23:54:15] 929*2^1241292-1 is not prime. Res64: 4043D8D195C71CEA Time : 0.0 sec. user=mdettweiler [2013-02-18 23:54:16] 959*2^1241292-1 is not prime. Res64: 52C3C0BA9C0E372D Time : 0.0 sec.