user=mdettweiler [2013-03-02 00:11:50] 915*2^1241845-1 is not prime. Res64: 51C60608DDA9D912 Time : 0.0 sec. user=mdettweiler [2013-03-02 00:11:50] 925*2^1241845-1 is not prime. Res64: 89F627DE87F0DE56 Time : 0.0 sec. user=mdettweiler [2013-03-02 00:11:52] 955*2^1241845-1 is not prime. Res64: A7F871019CADBE3E Time : 0.0 sec. user=mdettweiler [2013-03-02 00:11:52] 987*2^1241845-1 is not prime. Res64: F1DCA04CF8123600 Time : 0.0 sec. user=juhehe [2013-03-02 00:12:40] 609*2^1241843-1 is not prime. Res64: 3D393449E8639976 Time : 0.0 sec. user=juhehe [2013-03-02 00:13:24] 615*2^1241843-1 is not prime. Res64: EBB9ECAF708BE9EA Time : 0.0 sec. user=mdettweiler [2013-03-02 00:29:16] 945*2^1241846-1 is not prime. Res64: 9244DACEE31501BF Time : 0.0 sec. user=mdettweiler [2013-03-02 00:29:17] 619*2^1241847-1 is not prime. Res64: A8009EEDA71C3504 Time : 0.0 sec. user=mdettweiler [2013-03-02 00:29:18] 651*2^1241847-1 is not prime. Res64: A04D1DAF0A751A5A Time : 0.0 sec. user=mdettweiler [2013-03-02 00:29:18] 795*2^1241847-1 is not prime. Res64: 3520C5D49EB61205 Time : 0.0 sec. user=mdettweiler [2013-03-02 00:46:43] 885*2^1241847-1 is not prime. Res64: A8AB6F89DF99A5A9 Time : 0.0 sec. user=mdettweiler [2013-03-02 00:46:43] 629*2^1241848-1 is not prime. Res64: 708449C4FB605307 Time : 0.0 sec. user=mdettweiler [2013-03-02 00:46:43] 665*2^1241848-1 is not prime. Res64: 5634D95839BEBB75 Time : 0.0 sec. user=mdettweiler [2013-03-02 00:46:44] 735*2^1241848-1 is not prime. Res64: F085FAEDCB42CD28 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:04:08] 839*2^1241848-1 is not prime. Res64: F913611612BF3364 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:04:09] 863*2^1241848-1 is not prime. Res64: A2ADA40DBC9164A7 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:04:20] 975*2^1241848-1 is not prime. Res64: 1F26098052585785 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:04:21] 675*2^1241849-1 is not prime. Res64: 35386723624141E0 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:21:40] 889*2^1241849-1 is not prime. Res64: 83C23224D6C2529F Time : 0.0 sec. user=mdettweiler [2013-03-02 01:21:41] 955*2^1241849-1 is not prime. Res64: 8E45CFED26279442 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:21:47] 985*2^1241849-1 is not prime. Res64: 0B88AAADFC3A717B Time : 0.0 sec. user=mdettweiler [2013-03-02 01:21:48] 997*2^1241849-1 is not prime. Res64: 21B38FB86FB60F3B Time : 0.0 sec. user=juhehe [2013-03-02 01:32:52] 711*2^1241849-1 is not prime. Res64: 3607F6E7D4BF87EF Time : 0.0 sec. user=mdettweiler [2013-03-02 01:39:06] 647*2^1241850-1 is not prime. Res64: 85DC765E0AD8E0B2 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:39:07] 671*2^1241850-1 is not prime. Res64: 91EFE32235EE797E Time : 0.0 sec. user=mdettweiler [2013-03-02 01:39:12] 783*2^1241850-1 is not prime. Res64: C6967EE734745E01 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:39:12] 791*2^1241850-1 is not prime. Res64: 9A6497858FFFA31C Time : 0.0 sec. user=mdettweiler [2013-03-02 01:56:31] 891*2^1241850-1 is not prime. Res64: BA7CBC79370081E1 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:56:32] 917*2^1241850-1 is not prime. Res64: AA64FA21F59BA217 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:56:36] 921*2^1241850-1 is not prime. Res64: 9552211330034571 Time : 0.0 sec. user=mdettweiler [2013-03-02 01:56:37] 941*2^1241850-1 is not prime. Res64: E8D3DBFFF88F5487 Time : 0.0 sec. user=juhehe [2013-03-02 02:12:46] 627*2^1241850-1 is not prime. Res64: BFE751A66AEA7EC5 Time : 0.0 sec. user=mdettweiler [2013-03-02 02:13:56] 601*2^1241851-1 is not prime. Res64: 244CA2C05CE40C89 Time : 0.0 sec. user=mdettweiler [2013-03-02 02:13:57] 615*2^1241851-1 is not prime. Res64: 529CC9A6F72BEE8B Time : 0.0 sec. user=mdettweiler [2013-03-02 02:14:01] 619*2^1241851-1 is not prime. Res64: 69AD41694BD5EFCE Time : 0.0 sec. user=mdettweiler [2013-03-02 02:14:02] 631*2^1241851-1 is not prime. Res64: 37D1A6E33740587A Time : 0.0 sec. user=juhehe [2013-03-02 02:14:05] 635*2^1241850-1 is not prime. Res64: D0FFD0737CBDDFFF Time : 0.0 sec. user=juhehe [2013-03-02 02:30:38] 951*2^1241850-1 is not prime. Res64: 3C4B49231B73640B Time : 0.0 sec. user=mdettweiler [2013-03-02 02:31:26] 675*2^1241851-1 is not prime. Res64: 1031CB4170654236 Time : 0.0 sec. user=mdettweiler [2013-03-02 02:31:26] 783*2^1241851-1 is not prime. Res64: 14C42D773EF60D01 Time : 0.0 sec. user=mdettweiler [2013-03-02 02:31:27] 691*2^1241851-1 is not prime. Res64: 2D90512CC2720E98 Time : 0.0 sec. user=mdettweiler [2013-03-02 02:31:27] 819*2^1241851-1 is not prime. Res64: 79288C9AF1363DBA Time : 0.0 sec. user=mdettweiler [2013-03-02 02:49:00] 939*2^1241851-1 is not prime. Res64: A36928A5C081BA6F Time : 0.0 sec. user=mdettweiler [2013-03-02 02:49:01] 603*2^1241852-1 is not prime. Res64: 2C9696CD9CDBD47A Time : 0.0 sec. user=mdettweiler [2013-03-02 02:49:02] 615*2^1241852-1 is not prime. Res64: D2EC2650DC995551 Time : 0.0 sec. user=mdettweiler [2013-03-02 02:49:02] 623*2^1241852-1 is not prime. Res64: 38E2BFA5F5BB6008 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:06:25] 767*2^1241852-1 is not prime. Res64: 6B9756667D468C76 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:06:27] 855*2^1241852-1 is not prime. Res64: F3617385DC1AC305 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:06:27] 897*2^1241852-1 is not prime. Res64: 04709991EBF94676 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:06:28] 957*2^1241852-1 is not prime. Res64: 112A47341B50D21B Time : 0.0 sec. user=mdettweiler [2013-03-02 03:23:58] 781*2^1241853-1 is not prime. Res64: 86BD49FB29457D03 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:23:59] 861*2^1241853-1 is not prime. Res64: F868EC4C50EB520D Time : 0.0 sec. user=mdettweiler [2013-03-02 03:23:59] 867*2^1241853-1 is not prime. Res64: 5854500EFF53C77A Time : 0.0 sec. user=mdettweiler [2013-03-02 03:24:00] 611*2^1241854-1 is not prime. Res64: E2AB69404636A3AB Time : 0.0 sec. user=juhehe [2013-03-02 03:24:06] 677*2^1241852-1 is not prime. Res64: 0623151F66D12BFF Time : 0.0 sec. user=mdettweiler [2013-03-02 03:41:23] 635*2^1241854-1 is not prime. Res64: 61817E26C66DFDC0 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:41:24] 765*2^1241854-1 is not prime. Res64: 995DE11D3AAD1513 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:41:24] 831*2^1241854-1 is not prime. Res64: A926526B1D77D671 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:41:24] 917*2^1241854-1 is not prime. Res64: 2342172394AFFD1B Time : 0.0 sec. user=mdettweiler [2013-03-02 03:58:52] 661*2^1241855-1 is not prime. Res64: 2E5AA143AB4C9B49 Time : 0.0 sec. user=mdettweiler [2013-03-02 03:58:53] 721*2^1241855-1 is not prime. Res64: 7EDB286DA3F1CE8E Time : 0.0 sec. user=mdettweiler [2013-03-02 03:58:53] 663*2^1241855-1 is not prime. Res64: FC2CA864947A91DD Time : 0.0 sec. user=mdettweiler [2013-03-02 03:58:53] 799*2^1241855-1 is not prime. Res64: 33FB7FAFA9E37137 Time : 0.0 sec. user=juhehe [2013-03-02 04:13:02] 711*2^1241690-1 is not prime. Res64: A01ACEED052FF499 Time : 0.0 sec. user=juhehe [2013-03-02 04:15:05] 753*2^1241690-1 is not prime. Res64: B8750BA800E98417 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:16:19] 915*2^1241855-1 is not prime. Res64: 8828E989173A32CD Time : 0.0 sec. user=mdettweiler [2013-03-02 04:16:19] 841*2^1241855-1 is not prime. Res64: AAAD0923FEC8BE6A Time : 0.0 sec. user=mdettweiler [2013-03-02 04:16:20] 963*2^1241855-1 is not prime. Res64: 24D56009A0BF420E Time : 0.0 sec. user=mdettweiler [2013-03-02 04:16:20] 909*2^1241855-1 is not prime. Res64: 5A9EA552B2A4E070 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:33:48] 973*2^1241855-1 is not prime. Res64: D5A710E7E2C73E89 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:33:49] 717*2^1241856-1 is not prime. Res64: D1C1378063D6C79C Time : 0.0 sec. user=mdettweiler [2013-03-02 04:33:50] 653*2^1241856-1 is not prime. Res64: 88F135D365571435 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:33:50] 903*2^1241856-1 is not prime. Res64: CA8C5FD6D1BB70F5 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:51:40] 917*2^1241856-1 is not prime. Res64: C233A252CA75CAF4 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:51:40] 645*2^1241857-1 is not prime. Res64: F46B17087261C3F1 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:51:42] 661*2^1241857-1 is not prime. Res64: 75480661AFB81C53 Time : 0.0 sec. user=mdettweiler [2013-03-02 04:51:43] 765*2^1241857-1 is not prime. Res64: 16F3124221645770 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:09:04] 801*2^1241857-1 is not prime. Res64: EBD6FEDE9561FF99 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:09:05] 967*2^1241857-1 is not prime. Res64: 875F9D53C6AAD798 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:09:07] 605*2^1241858-1 is not prime. Res64: DDCC6BB26ECFBF77 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:09:08] 833*2^1241858-1 is not prime. Res64: F968659F55C2ADB4 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:26:30] 915*2^1241858-1 is not prime. Res64: AFB3BAAA50625D63 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:26:30] 613*2^1241859-1 is not prime. Res64: 24F74594EFACC945 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:26:34] 745*2^1241859-1 is not prime. Res64: E3AF5BDC0E202E87 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:26:34] 789*2^1241859-1 is not prime. Res64: 92AF550A090FCC2E Time : 0.0 sec. user=juhehe [2013-03-02 05:28:49] 777*2^1241857-1 is not prime. Res64: A2C5F691B09D590A Time : 0.0 sec. user=mdettweiler [2013-03-02 05:43:54] 707*2^1241860-1 is not prime. Res64: 8643A24CDD68FD2F Time : 0.0 sec. user=mdettweiler [2013-03-02 05:43:55] 759*2^1241860-1 is not prime. Res64: D71C726AD590A42E Time : 0.0 sec. user=mdettweiler [2013-03-02 05:43:57] 813*2^1241860-1 is not prime. Res64: 510D2DDC1CFE4115 Time : 0.0 sec. user=mdettweiler [2013-03-02 05:43:58] 833*2^1241860-1 is not prime. Res64: 9FFDCD5D4D00F49B Time : 0.0 sec. user=mdettweiler [2013-03-02 06:01:20] 843*2^1241860-1 is not prime. Res64: F1DF5D80E2CCBA6C Time : 0.0 sec. user=mdettweiler [2013-03-02 06:01:21] 857*2^1241860-1 is not prime. Res64: 0348A8306B84ADEC Time : 0.0 sec. user=mdettweiler [2013-03-02 06:01:23] 789*2^1241861-1 is not prime. Res64: FBAEFAA10ADCEFAB Time : 0.0 sec. user=mdettweiler [2013-03-02 06:01:24] 889*2^1241861-1 is not prime. Res64: AE526B7B491D8216 Time : 0.0 sec. user=juhehe [2013-03-02 06:13:32] 795*2^1241859-1 is not prime. Res64: 23C3323018EAF05C Time : 0.0 sec. user=juhehe [2013-03-02 06:15:50] 605*2^1241860-1 is not prime. Res64: D16EDE701947C4DA Time : 0.0 sec. user=mdettweiler [2013-03-02 06:19:08] 901*2^1241861-1 is not prime. Res64: 9547066417A77C9C Time : 0.0 sec. user=mdettweiler [2013-03-02 06:19:09] 681*2^1241862-1 is not prime. Res64: AF8A1C5E7532FFBB Time : 0.0 sec. user=mdettweiler [2013-03-02 06:19:10] 777*2^1241862-1 is not prime. Res64: 0255EB99F99571AF Time : 0.0 sec. user=mdettweiler [2013-03-02 06:19:10] 801*2^1241862-1 is not prime. Res64: 55D93292AB878AC7 Time : 0.0 sec. user=mdettweiler [2013-03-02 06:36:33] 621*2^1241863-1 is not prime. Res64: 14CFDDAE54D743AE Time : 0.0 sec. user=mdettweiler [2013-03-02 06:36:33] 679*2^1241863-1 is not prime. Res64: 59D2FE6BF949679F Time : 0.0 sec. user=mdettweiler [2013-03-02 06:36:34] 709*2^1241863-1 is not prime. Res64: AE201897532B1AA0 Time : 0.0 sec. user=mdettweiler [2013-03-02 06:36:35] 901*2^1241863-1 is not prime. Res64: 1AAC7061148D701D Time : 0.0 sec. user=juhehe [2013-03-02 06:53:06] 603*2^1241863-1 is not prime. Res64: 834A2621DAF54343 Time : 0.0 sec. user=mdettweiler [2013-03-02 06:53:58] 933*2^1241863-1 is not prime. Res64: 47837E3398AF9F77 Time : 0.0 sec. user=mdettweiler [2013-03-02 06:53:58] 999*2^1241863-1 is not prime. Res64: E269EAFD74E273E1 Time : 0.0 sec. user=mdettweiler [2013-03-02 06:53:59] 657*2^1241864-1 is not prime. Res64: C125B3F7EA5C63E5 Time : 0.0 sec. user=mdettweiler [2013-03-02 06:54:00] 917*2^1241864-1 is not prime. Res64: 89320A8D79615E72 Time : 0.0 sec. user=mdettweiler [2013-03-02 07:11:22] 993*2^1241864-1 is not prime. Res64: 87A0E4C0FBCC6953 Time : 0.0 sec. user=mdettweiler [2013-03-02 07:11:23] 669*2^1241865-1 is not prime. Res64: B340847AFF66A712 Time : 0.0 sec. user=mdettweiler [2013-03-02 07:11:23] 691*2^1241865-1 is not prime. Res64: 1FA79D6079F00D9E Time : 0.0 sec. user=mdettweiler [2013-03-02 07:11:24] 789*2^1241865-1 is not prime. Res64: DFCD56D00AB03A3C Time : 0.0 sec. user=mdettweiler [2013-03-02 07:28:48] 919*2^1241865-1 is not prime. Res64: DFD5959D2A732DFA Time : 0.0 sec. user=mdettweiler [2013-03-02 07:28:48] 889*2^1241865-1 is not prime. Res64: F76B1EE426DB20C1 Time : 0.0 sec. user=mdettweiler [2013-03-02 07:28:48] 937*2^1241865-1 is not prime. Res64: 271ECCEDD25F1023 Time : 0.0 sec. user=mdettweiler [2013-03-02 07:28:49] 915*2^1241865-1 is not prime. Res64: 1217F8AF4F56905E Time : 0.0 sec. user=mdettweiler [2013-03-02 07:46:14] 861*2^1241866-1 is not prime. Res64: 48AFE8BB5A5D17FB Time : 0.0 sec. user=mdettweiler [2013-03-02 07:46:14] 983*2^1241866-1 is not prime. Res64: 8B3A432B7B06BF4E Time : 0.0 sec. user=mdettweiler [2013-03-02 07:46:14] 615*2^1241867-1 is not prime. Res64: 41D06A9198696C24 Time : 0.0 sec. user=mdettweiler [2013-03-02 07:46:15] 651*2^1241867-1 is not prime. Res64: 25FBC73B9C168934 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:03:39] 663*2^1241867-1 is not prime. Res64: 77CFA55D8DE14B56 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:03:39] 675*2^1241867-1 is not prime. Res64: 67A06F06D8FB5B6E Time : 0.0 sec. user=mdettweiler [2013-03-02 08:03:40] 741*2^1241867-1 is not prime. Res64: B4BA59712035BFA3 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:03:40] 753*2^1241867-1 is not prime. Res64: A3840A341914F9F3 Time : 0.0 sec. user=juhehe [2013-03-02 08:13:55] 951*2^1241865-1 is not prime. Res64: EC3FF81E3CD424D4 Time : 0.0 sec. user=juhehe [2013-03-02 08:17:16] 677*2^1241866-1 is not prime. Res64: 5A913C4FEF03FA4C Time : 0.0 sec. user=mdettweiler [2013-03-02 08:21:04] 801*2^1241867-1 is not prime. Res64: D09B1C55EFA123AB Time : 0.0 sec. user=mdettweiler [2013-03-02 08:21:05] 883*2^1241867-1 is not prime. Res64: 3ED1496CD913DBBC Time : 0.0 sec. user=mdettweiler [2013-03-02 08:21:05] 635*2^1241868-1 is not prime. Res64: E65FF4F69C947937 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:21:05] 803*2^1241868-1 is not prime. Res64: 1B37AB4EDEBFC2CE Time : 0.0 sec. user=mdettweiler [2013-03-02 08:38:29] 839*2^1241868-1 is not prime. Res64: B900E4D0A177C4B3 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:38:30] 609*2^1241869-1 is not prime. Res64: AF1A0A7D4418FD54 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:38:30] 619*2^1241869-1 is not prime. Res64: 2C137FADEB6727CF Time : 0.0 sec. user=mdettweiler [2013-03-02 08:38:31] 699*2^1241869-1 is not prime. Res64: 90C9B5ACFC5D3D6C Time : 0.0 sec. user=mdettweiler [2013-03-02 08:55:54] 757*2^1241869-1 is not prime. Res64: 6C42737A9F923652 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:55:54] 721*2^1241869-1 is not prime. Res64: B161A8020A802E88 Time : 0.0 sec. user=mdettweiler [2013-03-02 08:55:55] 927*2^1241869-1 is not prime. Res64: 89407A5CBAF0B6EF Time : 0.0 sec. user=mdettweiler [2013-03-02 08:55:55] 751*2^1241869-1 is not prime. Res64: 2C6DED21480FA552 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:13:19] 939*2^1241869-1 is not prime. Res64: 2D34EBEFBA36D278 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:13:20] 975*2^1241869-1 is not prime. Res64: FBDDDF0BE168AE50 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:13:20] 645*2^1241870-1 is not prime. Res64: 6A19D678BCA70DF6 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:13:20] 663*2^1241870-1 is not prime. Res64: 0880BAB725E4C7D6 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:30:44] 851*2^1241870-1 is not prime. Res64: 3892DD89E3285EB1 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:30:44] 921*2^1241870-1 is not prime. Res64: BC98A2317EE22B88 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:30:45] 625*2^1241871-1 is not prime. Res64: 16E786606CC7DB85 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:30:46] 669*2^1241871-1 is not prime. Res64: 6E32D416B5B27A9A Time : 0.0 sec. user=mdettweiler [2013-03-02 09:48:09] 705*2^1241871-1 is not prime. Res64: EEA7297FF89B60A4 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:48:09] 805*2^1241871-1 is not prime. Res64: AF95F6F819952481 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:48:10] 789*2^1241871-1 is not prime. Res64: AF522200720B00D5 Time : 0.0 sec. user=mdettweiler [2013-03-02 09:48:10] 895*2^1241871-1 is not prime. Res64: E288F5B138EF95DB Time : 0.0 sec. user=mdettweiler [2013-03-02 10:05:34] 675*2^1241872-1 is not prime. Res64: C40B114DA3928706 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:05:35] 863*2^1241872-1 is not prime. Res64: CB274D25E371659F Time : 0.0 sec. user=mdettweiler [2013-03-02 10:05:35] 959*2^1241872-1 is not prime. Res64: 63A021890445A2E6 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:05:35] 657*2^1241873-1 is not prime. Res64: 5530963940E608AA Time : 0.0 sec. user=juhehe [2013-03-02 10:14:47] 801*2^1241870-1 is not prime. Res64: 00256A3A699FE95A Time : 0.0 sec. user=juhehe [2013-03-02 10:18:08] 679*2^1241871-1 is not prime. Res64: E9EB6A30DF9A8B9E Time : 0.0 sec. user=juhehe [2013-03-02 10:22:54] 629*2^1241872-1 is not prime. Res64: 9877DD9DB0D66E15 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:23:00] 795*2^1241873-1 is not prime. Res64: C21CBE3956998D11 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:23:00] 855*2^1241873-1 is not prime. Res64: AB57F9747E9205A8 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:23:01] 867*2^1241873-1 is not prime. Res64: 478DD2389D0AEF3F Time : 0.0 sec. user=mdettweiler [2013-03-02 10:23:02] 897*2^1241873-1 is not prime. Res64: 38D7959E82C64AA9 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:40:24] 945*2^1241873-1 is not prime. Res64: A6EDE96B53D367E9 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:40:24] 621*2^1241874-1 is not prime. Res64: 2DCCCC7C424DDB44 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:40:26] 627*2^1241874-1 is not prime. Res64: 8DBDA7AA3B09E577 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:40:26] 651*2^1241874-1 is not prime. Res64: 4D6AD155D8E741D5 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:57:48] 695*2^1241874-1 is not prime. Res64: 5A8B9B722CF5079E Time : 0.0 sec. user=mdettweiler [2013-03-02 10:57:49] 741*2^1241874-1 is not prime. Res64: 3DEC62110A3DB31B Time : 0.0 sec. user=mdettweiler [2013-03-02 10:57:50] 791*2^1241874-1 is not prime. Res64: 75A7C0F5F5171662 Time : 0.0 sec. user=mdettweiler [2013-03-02 10:57:51] 891*2^1241874-1 is not prime. Res64: DB663C1E37111FE3 Time : 0.0 sec. user=juhehe [2013-03-02 11:06:11] 873*2^1241695-1 is not prime. Res64: 8BDF9F0A4DC97E3B Time : 0.0 sec. user=mdettweiler [2013-03-02 11:15:13] 915*2^1241874-1 is not prime. Res64: 0F0F088560BD8784 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:15:13] 917*2^1241874-1 is not prime. Res64: ED106E96EC3E5D66 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:15:15] 921*2^1241874-1 is not prime. Res64: EF6362866B0CA3E9 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:15:15] 645*2^1241875-1 is not prime. Res64: 1E5141223C63D302 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:32:37] 617*2^1241876-1 is not prime. Res64: 40C03FD50D5D9BB3 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:32:37] 699*2^1241876-1 is not prime. Res64: 8ED257195998384F Time : 0.0 sec. user=mdettweiler [2013-03-02 11:32:38] 707*2^1241876-1 is not prime. Res64: 1525269A6B070DEA Time : 0.0 sec. user=mdettweiler [2013-03-02 11:32:39] 759*2^1241876-1 is not prime. Res64: ECDD10964F3E4235 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:50:01] 903*2^1241876-1 is not prime. Res64: 13E177CA8A2AB01F Time : 0.0 sec. user=mdettweiler [2013-03-02 11:50:01] 963*2^1241876-1 is not prime. Res64: E43BFCB95B050264 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:50:03] 609*2^1241877-1 is not prime. Res64: 408B25288050F5F4 Time : 0.0 sec. user=mdettweiler [2013-03-02 11:50:03] 667*2^1241877-1 is not prime. Res64: 6F289D53F121D835 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:07:26] 717*2^1241877-1 is not prime. Res64: 03DD6EFCE7F0B444 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:07:26] 817*2^1241877-1 is not prime. Res64: 3DEDB21F50847F0E Time : 0.0 sec. user=mdettweiler [2013-03-02 12:07:27] 847*2^1241877-1 is not prime. Res64: C779B1F4E80D6542 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:07:28] 955*2^1241877-1 is not prime. Res64: 0D1B6366494304F1 Time : 0.0 sec. user=juhehe [2013-03-02 12:19:02] 767*2^1241876-1 is not prime. Res64: FA3E6EE5AFA87932 Time : 0.0 sec. user=juhehe [2013-03-02 12:22:50] 999*2^1241875-1 is not prime. Res64: E5CDCB6812C99821 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:24:51] 979*2^1241877-1 is not prime. Res64: 83A3B5232B85D682 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:24:52] 617*2^1241878-1 is not prime. Res64: C949CAF20026433B Time : 0.0 sec. user=mdettweiler [2013-03-02 12:24:54] 665*2^1241878-1 is not prime. Res64: E4CBF2D0C8AF2FA9 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:24:54] 681*2^1241878-1 is not prime. Res64: 5A339A3DF151E533 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:42:15] 897*2^1241878-1 is not prime. Res64: 73226A0106BEEC40 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:42:16] 699*2^1241880-1 is not prime. Res64: B7A1830496F09D2E Time : 0.0 sec. user=mdettweiler [2013-03-02 12:42:18] 707*2^1241880-1 is not prime. Res64: FE88B3A86BC17F8E Time : 0.0 sec. user=mdettweiler [2013-03-02 12:42:18] 735*2^1241880-1 is not prime. Res64: 7D72938FD4083F6A Time : 0.0 sec. user=mdettweiler [2013-03-02 12:59:40] 843*2^1241880-1 is not prime. Res64: BA17D1DF35E1F00D Time : 0.0 sec. user=mdettweiler [2013-03-02 12:59:40] 933*2^1241880-1 is not prime. Res64: 9DB3980F2F12F9FC Time : 0.0 sec. user=mdettweiler [2013-03-02 12:59:43] 715*2^1241881-1 is not prime. Res64: A22A57D770CD6765 Time : 0.0 sec. user=mdettweiler [2013-03-02 12:59:44] 717*2^1241881-1 is not prime. Res64: A677D8AFF0A154A0 Time : 0.0 sec. user=mdettweiler [2013-03-02 13:17:05] 741*2^1241881-1 is not prime. Res64: F4970A224428A96B Time : 0.0 sec. user=mdettweiler [2013-03-02 13:17:05] 771*2^1241881-1 is not prime. Res64: BEAC6CBA7787414F Time : 0.0 sec. user=mdettweiler [2013-03-02 13:17:07] 829*2^1241881-1 is not prime. Res64: 15741509FBAB1EB2 Time : 0.0 sec. user=mdettweiler [2013-03-02 13:17:08] 939*2^1241881-1 is not prime. Res64: B611E8C8A15AEA83 Time : 0.0 sec. user=mdettweiler [2013-03-02 13:34:30] 957*2^1241881-1 is not prime. Res64: 4CBA7B8BDCE24D12 Time : 0.0 sec. user=mdettweiler [2013-03-02 13:34:30] 627*2^1241882-1 is not prime. Res64: 7CEB0E7E25CCBF11 Time : 0.0 sec. user=mdettweiler [2013-03-02 13:34:32] 747*2^1241882-1 is not prime. Res64: 95BDCA551CF5D8EA Time : 0.0 sec. user=mdettweiler [2013-03-02 13:34:33] 791*2^1241882-1 is not prime. Res64: D302F321477DB07E Time : 0.0 sec. user=mdettweiler [2013-03-02 13:51:54] 885*2^1241882-1 is not prime. Res64: 88649F28917C2DF2 Time : 0.0 sec. user=mdettweiler [2013-03-02 13:51:55] 935*2^1241882-1 is not prime. Res64: AEBF58122BFAC540 Time : 0.0 sec. user=mdettweiler [2013-03-02 13:51:57] 775*2^1241883-1 is not prime. Res64: 411C0AB06451652A Time : 0.0 sec. user=mdettweiler [2013-03-02 13:51:58] 849*2^1241883-1 is not prime. Res64: F93E6C47C651F534 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:09:20] 943*2^1241883-1 is not prime. Res64: 1C214FB5A0156FA7 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:09:21] 749*2^1241884-1 is not prime. Res64: 32E4C0DA6583CCE1 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:09:21] 897*2^1241884-1 is not prime. Res64: 989094D677B95EA1 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:09:21] 899*2^1241884-1 is not prime. Res64: 6EE2AB94BBFD621B Time : 0.0 sec. user=juhehe [2013-03-02 14:19:56] 827*2^1241882-1 is not prime. Res64: 34DC9EB8109A1612 Time : 0.0 sec. user=juhehe [2013-03-02 14:24:06] 875*2^1241882-1 is not prime. Res64: 2F95BE56D4FA1814 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:26:51] 909*2^1241884-1 is not prime. Res64: A5C37A7C8E3CDF86 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:26:51] 607*2^1241885-1 is not prime. Res64: 838B0EDC2BDCC905 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:26:52] 675*2^1241885-1 is not prime. Res64: C9055FF08F43297B Time : 0.0 sec. user=mdettweiler [2013-03-02 14:26:52] 777*2^1241885-1 is not prime. Res64: AA6E64FAFDC87BC3 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:44:16] 713*2^1241886-1 is not prime. Res64: 886740C894B3ADCD Time : 0.0 sec. user=mdettweiler [2013-03-02 14:44:16] 717*2^1241886-1 is not prime. Res64: EE50A70AA9A7D6EB Time : 0.0 sec. user=mdettweiler [2013-03-02 14:44:16] 723*2^1241886-1 is not prime. Res64: 610466F092F585C5 Time : 0.0 sec. user=mdettweiler [2013-03-02 14:44:17] 765*2^1241886-1 is not prime. Res64: 0C86EC7929606213 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:01:44] 821*2^1241886-1 is not prime. Res64: F43806BB8E294574 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:01:45] 861*2^1241886-1 is not prime. Res64: BCC492E796D547A9 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:01:46] 903*2^1241886-1 is not prime. Res64: F0DD56D130252FEB Time : 0.0 sec. user=mdettweiler [2013-03-02 15:01:48] 703*2^1241887-1 is not prime. Res64: 6F33A11AEA2E10E2 Time : 0.0 sec. user=juhehe [2013-03-02 15:02:18] 707*2^1241886-1 is not prime. Res64: 925DB4172573FD48 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:20:44] 841*2^1241887-1 is not prime. Res64: 5A1776B6B6B73D60 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:20:44] 915*2^1241887-1 is not prime. Res64: 131557F882D6A368 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:20:45] 665*2^1241888-1 is not prime. Res64: E9A2B84695BA5343 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:20:45] 689*2^1241888-1 is not prime. Res64: BFEA126DFF65C650 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:39:48] 813*2^1241888-1 is not prime. Res64: AFEABB3C2BFC5C2D Time : 0.0 sec. user=mdettweiler [2013-03-02 15:39:48] 839*2^1241888-1 is not prime. Res64: 2B03229E4B38488A Time : 0.0 sec. user=mdettweiler [2013-03-02 15:39:51] 875*2^1241888-1 is not prime. Res64: 7492C885E3D50542 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:39:51] 923*2^1241888-1 is not prime. Res64: C6736F12500DF59A Time : 0.0 sec. user=juhehe [2013-03-02 15:45:40] 743*2^1241888-1 is not prime. Res64: 355AD4902B8BDB28 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:57:18] 615*2^1241889-1 is not prime. Res64: 5C375B620FDE2C92 Time : 0.0 sec. user=mdettweiler [2013-03-02 15:57:18] 625*2^1241889-1 is not prime. Res64: 17332EFA438A038D Time : 0.0 sec. user=mdettweiler [2013-03-02 15:57:20] 709*2^1241889-1 is not prime. Res64: 6A7CA0D502A7CA8F Time : 0.0 sec. user=mdettweiler [2013-03-02 15:57:21] 747*2^1241889-1 is not prime. Res64: 72C5A7A9FBF82026 Time : 0.0 sec. user=mdettweiler [2013-03-02 16:14:48] 991*2^1241889-1 is not prime. Res64: D68DE1B771F7738B Time : 0.0 sec. user=mdettweiler [2013-03-02 16:14:49] 651*2^1241890-1 is not prime. Res64: DFCEBCC03EFB042B Time : 0.0 sec. user=mdettweiler [2013-03-02 16:14:51] 731*2^1241890-1 is not prime. Res64: A2BE48B8DC74C59C Time : 0.0 sec. user=mdettweiler [2013-03-02 16:14:51] 791*2^1241890-1 is not prime. Res64: 8AA3E927FDFB7C8B Time : 0.0 sec. user=juhehe [2013-03-02 16:20:18] 797*2^1241888-1 is not prime. Res64: 62F39A46DD0B95DA Time : 0.0 sec. user=juhehe [2013-03-02 16:29:00] 807*2^1241889-1 is not prime. Res64: C8105F8022D34E5C Time : 0.0 sec. user=mdettweiler [2013-03-02 16:32:19] 711*2^1241891-1 is not prime. Res64: 3B1C168BFDBB3723 Time : 0.0 sec. user=mdettweiler [2013-03-02 16:32:19] 775*2^1241891-1 is not prime. Res64: 0BF9A0172C51E164 Time : 0.0 sec. user=juhehe [2013-03-02 16:32:20] 995*2^1241888-1 is not prime. Res64: 6504301CB5A8B0B9 Time : 0.0 sec. user=mdettweiler [2013-03-02 16:32:20] 823*2^1241891-1 is not prime. Res64: 5E603969CF5DF824 Time : 0.0 sec. user=mdettweiler [2013-03-02 16:32:21] 931*2^1241891-1 is not prime. Res64: E13CDD12F163AD8B Time : 0.0 sec. user=mdettweiler [2013-03-02 16:49:48] 749*2^1241892-1 is not prime. Res64: E831268A9232CB08 Time : 0.0 sec. user=mdettweiler [2013-03-02 16:49:49] 759*2^1241892-1 is not prime. Res64: 4EA4E771BB80BCCE Time : 0.0 sec. user=mdettweiler [2013-03-02 16:49:49] 903*2^1241892-1 is not prime. Res64: B29F32CB927D9D65 Time : 0.0 sec. user=mdettweiler [2013-03-02 16:49:50] 915*2^1241892-1 is not prime. Res64: 51BB40363845AAF4 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:07:19] 691*2^1241893-1 is not prime. Res64: AEB65404B7A882D6 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:07:20] 945*2^1241892-1 is not prime. Res64: F1A51893B8B8B538 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:07:20] 895*2^1241893-1 is not prime. Res64: B206E7F128AD84C7 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:07:21] 639*2^1241893-1 is not prime. Res64: E87546130A0ADD15 Time : 0.0 sec. user=juhehe [2013-03-02 17:12:17] 689*2^1241892-1 is not prime. Res64: 634E3AC0767896EC Time : 0.0 sec. user=mdettweiler [2013-03-02 17:24:57] 961*2^1241893-1 is not prime. Res64: 7E17E24FC180E127 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:24:57] 707*2^1241894-1 is not prime. Res64: 842509A03CD756C7 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:24:59] 851*2^1241894-1 is not prime. Res64: D94539CF2E3782C4 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:25:00] 873*2^1241894-1 is not prime. Res64: DCE0CD1CBEB5FCFB Time : 0.0 sec. user=mdettweiler [2013-03-02 17:42:41] 981*2^1241894-1 is not prime. Res64: 7EEABDD4DF362878 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:42:42] 613*2^1241895-1 is not prime. Res64: 5B0480053FB09B53 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:42:43] 691*2^1241895-1 is not prime. Res64: E69CA36397D50E61 Time : 0.0 sec. user=mdettweiler [2013-03-02 17:42:44] 781*2^1241895-1 is not prime. Res64: BF3FD4746B9404EC Time : 0.0 sec. user=mdettweiler [2013-03-02 18:00:11] 789*2^1241895-1 is not prime. Res64: 75196FF64A26125F Time : 0.0 sec. user=mdettweiler [2013-03-02 18:00:12] 793*2^1241895-1 is not prime. Res64: 4B18C3F0970BA6CD Time : 0.0 sec. user=mdettweiler [2013-03-02 18:00:13] 859*2^1241895-1 is not prime. Res64: C0E8E1E84D6216A8 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:00:13] 919*2^1241895-1 is not prime. Res64: 4690FBDCAEF3BA34 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:17:45] 843*2^1241896-1 is not prime. Res64: 671607B85BED2336 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:17:45] 615*2^1241896-1 is not prime. Res64: 8E828A382E08F78A Time : 0.0 sec. user=mdettweiler [2013-03-02 18:17:45] 989*2^1241896-1 is not prime. Res64: B888F25E60E2A7C7 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:17:45] 705*2^1241896-1 is not prime. Res64: 2F594AE57B37D851 Time : 0.0 sec. user=juhehe [2013-03-02 18:21:34] 957*2^1241894-1 is not prime. Res64: 12A2BBAD7C0B31FD Time : 0.0 sec. user=mdettweiler [2013-03-02 18:35:20] 619*2^1241897-1 is not prime. Res64: C95ADD82E9B5A5F7 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:35:21] 699*2^1241897-1 is not prime. Res64: FDACE6FE8559CA47 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:35:21] 711*2^1241897-1 is not prime. Res64: BEC7594A3D9CE7BE Time : 0.0 sec. user=mdettweiler [2013-03-02 18:35:21] 741*2^1241897-1 is not prime. Res64: 7FF973B5A4802DB4 Time : 0.0 sec. user=juhehe [2013-03-02 18:36:09] 963*2^1241895-1 is not prime. Res64: E98CDA532BCD8EBD Time : 0.0 sec. user=mdettweiler [2013-03-02 18:53:11] 909*2^1241897-1 is not prime. Res64: 67F8494CCA44E645 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:53:12] 931*2^1241897-1 is not prime. Res64: F48C4C7AF1FF74C6 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:53:12] 979*2^1241897-1 is not prime. Res64: 9B430678EFC131A2 Time : 0.0 sec. user=mdettweiler [2013-03-02 18:53:13] 611*2^1241898-1 is not prime. Res64: C6CD432719882B60 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:10:57] 765*2^1241898-1 is not prime. Res64: 7767C1A5DF20380C Time : 0.0 sec. user=mdettweiler [2013-03-02 19:10:58] 777*2^1241898-1 is not prime. Res64: C5FCF2ECC5C11762 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:10:58] 833*2^1241898-1 is not prime. Res64: E777F22841218833 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:10:58] 843*2^1241898-1 is not prime. Res64: 501C8707CFFD9BBB Time : 0.0 sec. user=mdettweiler [2013-03-02 19:28:27] 735*2^1241899-1 is not prime. Res64: 07A48096A8795B8C Time : 0.0 sec. user=mdettweiler [2013-03-02 19:28:27] 835*2^1241899-1 is not prime. Res64: 5FE7E26FA4674E10 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:28:30] 859*2^1241899-1 is not prime. Res64: 1354A93E0CB8F107 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:28:30] 615*2^1241900-1 is not prime. Res64: BFD22809A8D561DA Time : 0.0 sec. user=juhehe [2013-03-02 19:32:57] 861*2^1241897-1 is not prime. Res64: A690CFED2F0A2A82 Time : 0.0 sec. user=juhehe [2013-03-02 19:37:49] 615*2^1241899-1 is not prime. Res64: 4E6D36F4CA6C1DE2 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:45:56] 735*2^1241900-1 is not prime. Res64: 378FADBA7F043C08 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:45:56] 797*2^1241900-1 is not prime. Res64: 3DEB70655912EE2E Time : 0.0 sec. user=mdettweiler [2013-03-02 19:45:59] 803*2^1241900-1 is not prime. Res64: C531C785DA4F64A9 Time : 0.0 sec. user=mdettweiler [2013-03-02 19:46:00] 857*2^1241900-1 is not prime. Res64: AD1CD6DA5D0EFA69 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:03:27] 953*2^1241900-1 is not prime. Res64: F0B843C2BB574DDA Time : 0.0 sec. user=mdettweiler [2013-03-02 20:03:28] 963*2^1241900-1 is not prime. Res64: 22613218D25AAB19 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:03:30] 983*2^1241900-1 is not prime. Res64: CD103AD936D1F703 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:03:31] 609*2^1241901-1 is not prime. Res64: 59EC9E26F26551E3 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:21:04] 625*2^1241901-1 is not prime. Res64: 3563B2B33E824AD7 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:21:04] 649*2^1241901-1 is not prime. Res64: B063ED00BCCF8D0D Time : 0.0 sec. user=mdettweiler [2013-03-02 20:21:06] 735*2^1241901-1 is not prime. Res64: 1C80EF93A8E0C4D0 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:21:06] 777*2^1241901-1 is not prime. Res64: 5E31FAD2442C2C88 Time : 0.0 sec. user=juhehe [2013-03-02 20:22:42] 629*2^1241900-1 is not prime. Res64: B381293067F77057 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:38:36] 795*2^1241901-1 is not prime. Res64: 72EB87784B817606 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:38:36] 811*2^1241901-1 is not prime. Res64: 0D8FE64E33BB34BB Time : 0.0 sec. user=mdettweiler [2013-03-02 20:38:37] 865*2^1241901-1 is not prime. Res64: EE3B3E1DAA9173D0 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:38:37] 997*2^1241901-1 is not prime. Res64: E2889C4308CFD304 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:56:07] 761*2^1241902-1 is not prime. Res64: 34FA4372E24462BC Time : 0.0 sec. user=mdettweiler [2013-03-02 20:56:07] 825*2^1241902-1 is not prime. Res64: AFCA0A045F98EDA7 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:56:07] 941*2^1241902-1 is not prime. Res64: 9DE9F95027A156C6 Time : 0.0 sec. user=mdettweiler [2013-03-02 20:56:08] 975*2^1241902-1 is not prime. Res64: 9EE1F1D2093B6AEE Time : 0.0 sec. user=mdettweiler [2013-03-02 21:13:37] 983*2^1241902-1 is not prime. Res64: 34DF8DC47921DEBB Time : 0.0 sec. user=mdettweiler [2013-03-02 21:13:37] 1001*2^1241902-1 is not prime. Res64: CC7AC13FDF05EA75 Time : 0.0 sec. user=mdettweiler [2013-03-02 21:13:37] 735*2^1241903-1 is not prime. Res64: 8E62986308E4CF7E Time : 0.0 sec. user=mdettweiler [2013-03-02 21:13:38] 741*2^1241903-1 is not prime. Res64: DAC61F25EA492448 Time : 0.0 sec. user=juhehe [2013-03-02 21:17:34] 999*2^1241901-1 is not prime. Res64: C1DFBBECD0D69B46 Time : 0.0 sec. user=mdettweiler [2013-03-02 21:31:10] 805*2^1241903-1 is not prime. Res64: F91F170A682C6936 Time : 0.0 sec. user=mdettweiler [2013-03-02 21:31:10] 939*2^1241903-1 is not prime. Res64: 06A793439973489D Time : 0.0 sec. user=mdettweiler [2013-03-02 21:31:11] 819*2^1241903-1 is not prime. Res64: 4010473C42D3C0F7 Time : 0.0 sec. user=mdettweiler [2013-03-02 21:31:11] 675*2^1241904-1 is not prime. Res64: FC1DF3ACBE413260 Time : 0.0 sec. user=juhehe [2013-03-02 21:34:02] 665*2^1241902-1 is not prime. Res64: 7B0A5F55F895A6E4 Time : 0.0 sec. user=mdettweiler [2013-03-02 21:48:40] 903*2^1241904-1 is not prime. Res64: 0E8EA18D24C5FFA9 Time : 0.0 sec. user=mdettweiler [2013-03-02 21:48:41] 915*2^1241904-1 is not prime. Res64: E693C927AACC0FCF Time : 0.0 sec. user=mdettweiler [2013-03-02 21:48:42] 645*2^1241905-1 is not prime. Res64: 2D0AAB6FA4973B9F Time : 0.0 sec. user=mdettweiler [2013-03-02 21:48:42] 721*2^1241905-1 is not prime. Res64: 5285778E0EBE9FB0 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:06:10] 751*2^1241905-1 is not prime. Res64: 07A8B8E1A2B56F60 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:06:11] 801*2^1241905-1 is not prime. Res64: 22A7AD793303C09E Time : 0.0 sec. user=mdettweiler [2013-03-02 22:06:13] 909*2^1241905-1 is not prime. Res64: 1D6F0B18A5CD8979 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:06:14] 937*2^1241905-1 is not prime. Res64: 8455936EB08405D2 Time : 0.0 sec. user=vaughan [2013-03-02 22:09:33] 729*2^1241905-1 is not prime. Res64: B87984DAD045622B Time : 0.0 sec. user=juhehe [2013-03-02 22:23:29] 705*2^1241904-1 is not prime. Res64: 638A8436C00F3A19 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:23:45] 939*2^1241905-1 is not prime. Res64: CFAC97FEAAA615AC Time : 0.0 sec. user=mdettweiler [2013-03-02 22:23:46] 633*2^1241906-1 is not prime. Res64: EF575C72F2BDD0C2 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:23:49] 677*2^1241906-1 is not prime. Res64: E81C7A6A5D8C19B9 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:23:50] 825*2^1241906-1 is not prime. Res64: 0A5D124721E42909 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:41:15] 615*2^1241907-1 is not prime. Res64: 2221536E80FA6544 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:41:16] 781*2^1241907-1 is not prime. Res64: 4292A90CA7A6B371 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:41:24] 871*2^1241907-1 is not prime. Res64: B4917AFECE1A0B74 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:41:24] 961*2^1241907-1 is not prime. Res64: E2E22D9AD34BAAA7 Time : 0.0 sec. user=vaughan [2013-03-02 22:52:09] 981*2^1241906-1 is not prime. Res64: FE1CA670DF6DBF65 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:58:45] 655*2^1241909-1 is not prime. Res64: B9C2064F9F0ADE55 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:58:46] 685*2^1241909-1 is not prime. Res64: CE92028704171D2A Time : 0.0 sec. user=mdettweiler [2013-03-02 22:58:54] 727*2^1241909-1 is not prime. Res64: A993EE0111186A33 Time : 0.0 sec. user=mdettweiler [2013-03-02 22:58:55] 759*2^1241909-1 is not prime. Res64: A497D64FAC6785A0 Time : 0.0 sec. user=mdettweiler [2013-03-02 23:16:14] 787*2^1241909-1 is not prime. Res64: 7BF5842777E8492F Time : 0.0 sec. user=mdettweiler [2013-03-02 23:16:14] 831*2^1241909-1 is not prime. Res64: 5B692144D12FEE5C Time : 0.0 sec. user=mdettweiler [2013-03-02 23:16:23] 861*2^1241909-1 is not prime. Res64: 490228A56282DC34 Time : 0.0 sec. user=mdettweiler [2013-03-02 23:16:23] 677*2^1241910-1 is not prime. Res64: 2572CF576F8B14F0 Time : 0.0 sec. user=juhehe [2013-03-02 23:22:23] 929*2^1241908-1 is not prime. Res64: F5956B93F4050131 Time : 0.0 sec. user=vaughan [2013-03-02 23:29:53] 769*2^1241909-1 is not prime. Res64: 98B16BEB84C17A9E Time : 0.0 sec. user=mdettweiler [2013-03-02 23:33:44] 707*2^1241910-1 is not prime. Res64: DD9EDA5E91D81DAA Time : 0.0 sec. user=mdettweiler [2013-03-02 23:33:44] 797*2^1241910-1 is not prime. Res64: D7F59E7D64523101 Time : 0.0 sec. user=mdettweiler [2013-03-02 23:33:53] 825*2^1241910-1 is not prime. Res64: 2FA5CEF5B1C56726 Time : 0.0 sec. user=mdettweiler [2013-03-02 23:33:53] 957*2^1241910-1 is not prime. Res64: BB1A108CC82C62BF Time : 0.0 sec. user=juhehe [2013-03-02 23:35:17] 843*2^1241908-1 is not prime. Res64: A9351D5F07E6898A Time : 0.0 sec. user=mdettweiler [2013-03-02 23:51:13] 673*2^1241911-1 is not prime. Res64: A2554E0D03E59C67 Time : 0.0 sec. user=mdettweiler [2013-03-02 23:51:14] 763*2^1241911-1 is not prime. Res64: A47288A77338F5E5 Time : 0.0 sec. user=mdettweiler [2013-03-02 23:51:23] 811*2^1241911-1 is not prime. Res64: D39AA6C2FC0CA068 Time : 0.0 sec. user=mdettweiler [2013-03-02 23:51:23] 859*2^1241911-1 is not prime. Res64: 57A904304E93B687 Time : 0.0 sec.