user=mdettweiler [2015-05-10 02:24:57] 673*2^1398607-1 is not prime. Res64: 0DE3D9DF91FEBFC4 Time : 0.0 sec. user=mdettweiler [2015-05-10 02:24:58] 675*2^1398607-1 is not prime. Res64: 4C3FA12DCD76EE25 Time : 0.0 sec. user=mdettweiler [2015-05-10 02:32:29] 947*2^1398606-1 is not prime. Res64: 3BB82FDE87F3B794 Time : 0.0 sec. user=mdettweiler [2015-05-10 02:32:30] 963*2^1398606-1 is not prime. Res64: B2679CC9E4102051 Time : 0.0 sec. user=mdettweiler [2015-05-10 02:36:03] 807*2^1398606-1 is not prime. Res64: 83E6BC5AB2284059 Time : 0.0 sec. user=mdettweiler [2015-05-10 02:36:04] 873*2^1398606-1 is not prime. Res64: 264B590720CB3F3C Time : 0.0 sec. user=mdettweiler [2015-05-10 02:44:01] 669*2^1398612-1 is not prime. Res64: 6521D840B5846D95 Time : 0.0 sec. user=mdettweiler [2015-05-10 02:44:01] 675*2^1398612-1 is not prime. Res64: 5320F19FE87DBF3C Time : 0.0 sec. user=mdettweiler [2015-05-10 02:50:44] 887*2^1398612-1 is not prime. Res64: 3229C5C6EB5FC11B Time : 0.0 sec. user=mdettweiler [2015-05-10 02:50:45] 947*2^1398612-1 is not prime. Res64: 195099EBE53F543E Time : 0.0 sec. user=mdettweiler [2015-05-10 02:54:19] 609*2^1398613-1 is not prime. Res64: 5211A399B59D36B6 Time : 0.0 sec. user=mdettweiler [2015-05-10 02:54:19] 619*2^1398613-1 is not prime. Res64: 73D19DF7A9E645AE Time : 0.0 sec. user=mdettweiler [2015-05-10 03:02:13] 685*2^1398613-1 is not prime. Res64: AD90BAF49EE7E615 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:02:15] 687*2^1398613-1 is not prime. Res64: 73B90F52E316DD69 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:08:38] 699*2^1398613-1 is not prime. Res64: E4D3527B5C679D51 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:08:38] 747*2^1398613-1 is not prime. Res64: 2ACEC227AE9A1E52 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:12:20] 861*2^1398613-1 is not prime. Res64: 39D479B0BE96BF5C Time : 0.0 sec. user=mdettweiler [2015-05-10 03:12:21] 951*2^1398613-1 is not prime. Res64: FBB7792883692323 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:20:53] 627*2^1398614-1 is not prime. Res64: 0B2B51EED9A954FF Time : 0.0 sec. user=mdettweiler [2015-05-10 03:20:53] 657*2^1398614-1 is not prime. Res64: 86F2E9D0B40669DE Time : 0.0 sec. user=mdettweiler [2015-05-10 03:26:48] 707*2^1398614-1 is not prime. Res64: 6060D6A8E498B05A Time : 0.0 sec. user=mdettweiler [2015-05-10 03:26:49] 755*2^1398614-1 is not prime. Res64: E01DF52A5D43CDC8 Time : 0.0 sec. user=juhehe [2015-05-10 03:29:13] 979*2^1398613-1 is not prime. Res64: 60D39F8DB064A88B Time : 0.0 sec. user=mdettweiler [2015-05-10 03:30:35] 935*2^1398614-1 is not prime. Res64: 23B74B12441358BA Time : 0.0 sec. user=mdettweiler [2015-05-10 03:30:36] 971*2^1398614-1 is not prime. Res64: 803BF5F47EB2E656 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:39:06] 601*2^1398615-1 is not prime. Res64: 2C9D8459E7902E5C Time : 0.0 sec. user=mdettweiler [2015-05-10 03:39:07] 651*2^1398615-1 is not prime. Res64: 702DF93FED30AC43 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:44:44] 859*2^1398615-1 is not prime. Res64: A6F43BAC9BECA8A4 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:44:45] 891*2^1398615-1 is not prime. Res64: EF818D3873F9AA2E Time : 0.0 sec. user=mdettweiler [2015-05-10 03:48:36] 961*2^1398615-1 is not prime. Res64: DF89D51D44EB936A Time : 0.0 sec. user=mdettweiler [2015-05-10 03:48:37] 617*2^1398616-1 is not prime. Res64: 8D8F822A17592860 Time : 0.0 sec. user=mdettweiler [2015-05-10 03:57:36] 705*2^1398616-1 is not prime. Res64: 3592A9617F77A10D Time : 0.0 sec. user=mdettweiler [2015-05-10 03:57:37] 813*2^1398616-1 is not prime. Res64: 0262CB800DDFE21D Time : 0.0 sec. user=mdettweiler [2015-05-10 04:03:26] 825*2^1398616-1 is not prime. Res64: 8EF1BB517978E501 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:03:27] 855*2^1398616-1 is not prime. Res64: 1964CC9C9DFD1DFD Time : 0.0 sec. user=mdettweiler [2015-05-10 04:06:57] 909*2^1398616-1 is not prime. Res64: 9613034EF9C704AE Time : 0.0 sec. user=mdettweiler [2015-05-10 04:06:58] 965*2^1398616-1 is not prime. Res64: EC0F0F46B1271BAB Time : 0.0 sec. user=mdettweiler [2015-05-10 04:09:37] 969*2^1398611-1 is not prime. Res64: 090C84648B7C2886 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:09:37] 993*2^1398611-1 is not prime. Res64: 9054A680F5815B8F Time : 0.0 sec. user=mdettweiler [2015-05-10 04:15:53] 637*2^1398617-1 is not prime. Res64: 98EFF4EA89A8A956 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:15:54] 669*2^1398617-1 is not prime. Res64: B5AA25724E9F4C9C Time : 0.0 sec. user=mdettweiler [2015-05-10 04:22:00] 759*2^1398617-1 is not prime. Res64: 85EABE2DDFF87146 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:22:01] 799*2^1398617-1 is not prime. Res64: 6C11126CC8F3C559 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:24:55] 981*2^1398617-1 is not prime. Res64: 7C613E8A1E1AD046 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:24:55] 985*2^1398617-1 is not prime. Res64: 2F67A7B16985CA98 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:27:18] 861*2^1398618-1 is not prime. Res64: FC066EC5B1A20555 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:27:18] 867*2^1398618-1 is not prime. Res64: 8F34C0EBCC0DFCB1 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:33:14] 885*2^1398618-1 is not prime. Res64: C4F894B47DD03D36 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:33:15] 963*2^1398618-1 is not prime. Res64: 4CF276503A8AF913 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:39:16] 971*2^1398618-1 is not prime. Res64: FEF4B972054FD011 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:39:17] 977*2^1398618-1 is not prime. Res64: AB6EA34A13F180B7 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:42:16] 645*2^1398619-1 is not prime. Res64: 0A2523BABDC89A38 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:42:16] 709*2^1398619-1 is not prime. Res64: DBB1D5EC4D3E587A Time : 0.0 sec. user=mdettweiler [2015-05-10 04:44:36] 735*2^1398619-1 is not prime. Res64: A895AF4BF4B0AC73 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:44:36] 793*2^1398619-1 is not prime. Res64: 8FF6EB817CA70946 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:50:32] 859*2^1398619-1 is not prime. Res64: 4D4DE2A7D6F850AA Time : 0.0 sec. user=mdettweiler [2015-05-10 04:50:33] 973*2^1398619-1 is not prime. Res64: 4C1E4C352D00A132 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:56:44] 635*2^1398620-1 is not prime. Res64: 9BEFD1CE1B7B3EC6 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:56:44] 659*2^1398620-1 is not prime. Res64: 0329BEC3FF89CB93 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:59:32] 663*2^1398620-1 is not prime. Res64: 5570A66A64288443 Time : 0.0 sec. user=mdettweiler [2015-05-10 04:59:33] 699*2^1398620-1 is not prime. Res64: 3F86B10172E15425 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:01:58] 795*2^1398620-1 is not prime. Res64: 5017B874FD09D268 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:01:59] 927*2^1398620-1 is not prime. Res64: 05A67874F86E9DF5 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:07:54] 929*2^1398620-1 is not prime. Res64: 36A38AF60DBE93B9 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:07:55] 935*2^1398620-1 is not prime. Res64: 9C936749BFD59A30 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:14:10] 625*2^1398621-1 is not prime. Res64: 1CC3981DBB13A136 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:14:10] 661*2^1398621-1 is not prime. Res64: 07748E66BA574C83 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:16:53] 777*2^1398621-1 is not prime. Res64: 53F00D8C8E27E2D0 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:16:53] 877*2^1398621-1 is not prime. Res64: 80F3BA4947732B84 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:19:24] 889*2^1398621-1 is not prime. Res64: F415404E5D4D5C4F Time : 0.0 sec. user=mdettweiler [2015-05-10 05:19:25] 999*2^1398621-1 is not prime. Res64: 5702E596AD267A71 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:25:24] 665*2^1398622-1 is not prime. Res64: 7F2FCF2A8E2AC1DA Time : 0.0 sec. user=mdettweiler [2015-05-10 05:25:25] 713*2^1398622-1 is not prime. Res64: 519912C5D984F52A Time : 0.0 sec. user=mdettweiler [2015-05-10 05:31:30] 741*2^1398622-1 is not prime. Res64: 22170FD13C3938C5 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:31:31] 821*2^1398622-1 is not prime. Res64: D31F01A7D2BB7A50 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:34:12] 827*2^1398622-1 is not prime. Res64: 9B3E79F44C666349 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:34:12] 873*2^1398622-1 is not prime. Res64: 88F23922EC7BB08A Time : 0.0 sec. user=mdettweiler [2015-05-10 05:36:44] 897*2^1398622-1 is not prime. Res64: 6328D8A5596E026C Time : 0.0 sec. user=mdettweiler [2015-05-10 05:36:44] 911*2^1398622-1 is not prime. Res64: C2023E421CDA3B4D Time : 0.0 sec. user=mdettweiler [2015-05-10 05:42:48] 983*2^1398622-1 is not prime. Res64: 5B78609ACFB47FB5 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:42:48] 609*2^1398623-1 is not prime. Res64: 36F4CE22C2CF9FB8 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:48:50] 619*2^1398623-1 is not prime. Res64: DB87AB1D7A087F50 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:48:51] 661*2^1398623-1 is not prime. Res64: 745A025985767685 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:51:43] 729*2^1398623-1 is not prime. Res64: CCD911EA1A59FC9A Time : 0.0 sec. user=mdettweiler [2015-05-10 05:51:43] 771*2^1398623-1 is not prime. Res64: F92CDBF1551E0223 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:54:02] 825*2^1398623-1 is not prime. Res64: 28A45E3F09F85026 Time : 0.0 sec. user=mdettweiler [2015-05-10 05:54:02] 871*2^1398623-1 is not prime. Res64: 5FE1F5373F9AF239 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:00:05] 943*2^1398623-1 is not prime. Res64: FD620C050278A8C5 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:00:05] 973*2^1398623-1 is not prime. Res64: A4F283F3946C4AC6 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:06:11] 609*2^1398624-1 is not prime. Res64: DAF1FEFFB7FC55BD Time : 0.0 sec. user=mdettweiler [2015-05-10 06:06:11] 707*2^1398624-1 is not prime. Res64: A8CD6FAB254A156F Time : 0.0 sec. user=mdettweiler [2015-05-10 06:09:10] 737*2^1398624-1 is not prime. Res64: F23C94175E1E6F9A Time : 0.0 sec. user=mdettweiler [2015-05-10 06:09:11] 887*2^1398624-1 is not prime. Res64: 2F67BB5D63E949E7 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:11:30] 927*2^1398624-1 is not prime. Res64: 5A91313BB296B185 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:11:30] 847*2^1398625-1 is not prime. Res64: 8BC69C0E7930DCA3 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:17:29] 855*2^1398625-1 is not prime. Res64: CAB2932A7BD75AA0 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:17:29] 641*2^1398626-1 is not prime. Res64: DB16E964689D3EC9 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:23:44] 783*2^1398626-1 is not prime. Res64: 3909163EE8827CD4 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:23:45] 827*2^1398626-1 is not prime. Res64: 9AED324BEC13CD85 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:26:42] 957*2^1398626-1 is not prime. Res64: C05796DF6B2C4365 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:26:43] 615*2^1398627-1 is not prime. Res64: 7B5E62FB4374A370 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:29:06] 769*2^1398627-1 is not prime. Res64: 91E68A4A196C7A82 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:29:06] 825*2^1398627-1 is not prime. Res64: 87E7DAB1348C1457 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:35:21] 879*2^1398627-1 is not prime. Res64: FA3BFDD948FA311F Time : 0.0 sec. user=mdettweiler [2015-05-10 06:35:21] 931*2^1398627-1 is not prime. Res64: 40C703746069697F Time : 0.0 sec. user=mdettweiler [2015-05-10 06:41:52] 605*2^1398628-1 is not prime. Res64: 81586EAE012C0D99 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:41:53] 647*2^1398628-1 is not prime. Res64: EA184AFCCBE39C17 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:44:06] 657*2^1398628-1 is not prime. Res64: 85FA2BE5859B05A0 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:44:06] 765*2^1398628-1 is not prime. Res64: 3B30B1E86D7872A4 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:46:38] 777*2^1398628-1 is not prime. Res64: 44CC47A2CE887C7C Time : 0.0 sec. user=mdettweiler [2015-05-10 06:46:38] 887*2^1398628-1 is not prime. Res64: 9B5463879B9E02CD Time : 0.0 sec. user=mdettweiler [2015-05-10 06:52:45] 927*2^1398628-1 is not prime. Res64: F2D857298B6DBB9A Time : 0.0 sec. user=mdettweiler [2015-05-10 06:52:45] 995*2^1398628-1 is not prime. Res64: 91E6D9F9CAA19D7C Time : 0.0 sec. user=mdettweiler [2015-05-10 06:59:10] 691*2^1398629-1 is not prime. Res64: A1AF30E3E757C4E8 Time : 0.0 sec. user=mdettweiler [2015-05-10 06:59:10] 721*2^1398629-1 is not prime. Res64: 7B2C649C444D4472 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:01:29] 727*2^1398629-1 is not prime. Res64: F4BBC698C8E2C802 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:01:30] 759*2^1398629-1 is not prime. Res64: 51832C630CCD268C Time : 0.0 sec. user=mdettweiler [2015-05-10 07:03:56] 775*2^1398629-1 is not prime. Res64: DE265AA3F8FC49DE Time : 0.0 sec. user=mdettweiler [2015-05-10 07:03:57] 861*2^1398629-1 is not prime. Res64: 1BD5C66FBB8563D4 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:10:06] 635*2^1398630-1 is not prime. Res64: 561993618EDA97E3 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:10:06] 681*2^1398630-1 is not prime. Res64: 8F241E5291CDC403 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:16:35] 755*2^1398630-1 is not prime. Res64: 84A8A57DD96963DD Time : 0.0 sec. user=mdettweiler [2015-05-10 07:16:36] 777*2^1398630-1 is not prime. Res64: CA32C20F07BF0B81 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:18:53] 791*2^1398630-1 is not prime. Res64: 6B25FD98705952F2 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:18:53] 821*2^1398630-1 is not prime. Res64: 2402F61512A8CB2D Time : 0.0 sec. user=mdettweiler [2015-05-10 07:21:19] 833*2^1398630-1 is not prime. Res64: 5EB3BFAC40CFAD4A Time : 0.0 sec. user=mdettweiler [2015-05-10 07:21:20] 891*2^1398630-1 is not prime. Res64: 5E23E0CEAAE1FCEE Time : 0.0 sec. user=mdettweiler [2015-05-10 07:27:34] 951*2^1398630-1 is not prime. Res64: 7D1D2A27845CB7BB Time : 0.0 sec. user=mdettweiler [2015-05-10 07:27:34] 963*2^1398630-1 is not prime. Res64: 2679583126C01B06 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:33:55] 645*2^1398631-1 is not prime. Res64: 06633F11335AED31 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:33:55] 723*2^1398631-1 is not prime. Res64: FCE7D19DDBF36CE6 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:36:12] 771*2^1398631-1 is not prime. Res64: A9CF13A18A22812E Time : 0.0 sec. user=mdettweiler [2015-05-10 07:36:12] 961*2^1398631-1 is not prime. Res64: 3F8F2EF3EB2EE817 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:38:43] 617*2^1398632-1 is not prime. Res64: D5CC44FC1E24D200 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:38:44] 669*2^1398632-1 is not prime. Res64: 0FF3F50AC5800AC6 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:45:01] 699*2^1398632-1 is not prime. Res64: A39E2E7E6D8E65DE Time : 0.0 sec. user=mdettweiler [2015-05-10 07:45:01] 735*2^1398632-1 is not prime. Res64: F3666045AF1E03D7 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:51:24] 767*2^1398632-1 is not prime. Res64: 54C1E5724C61C9B5 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:51:24] 879*2^1398632-1 is not prime. Res64: 1F5CF625A8557373 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:53:35] 625*2^1398633-1 is not prime. Res64: 872C35CFF4CC686C Time : 0.0 sec. user=mdettweiler [2015-05-10 07:53:35] 649*2^1398633-1 is not prime. Res64: 41E54FAA11FB4626 Time : 0.0 sec. user=mdettweiler [2015-05-10 07:56:10] 679*2^1398633-1 is not prime. Res64: 902996D84C5FA0FC Time : 0.0 sec. user=mdettweiler [2015-05-10 07:56:11] 691*2^1398633-1 is not prime. Res64: 1BCAD4B8C0F4A3E3 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:02:21] 705*2^1398633-1 is not prime. Res64: 5529FCE8F33498A3 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:02:22] 781*2^1398633-1 is not prime. Res64: FC66A84A1DA144C7 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:08:44] 871*2^1398633-1 is not prime. Res64: 5A254D535E460D2A Time : 0.0 sec. user=mdettweiler [2015-05-10 08:08:45] 611*2^1398634-1 is not prime. Res64: 07A320C72B014B46 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:10:57] 621*2^1398634-1 is not prime. Res64: 96CABAF8250A972C Time : 0.0 sec. user=mdettweiler [2015-05-10 08:10:57] 671*2^1398634-1 is not prime. Res64: 5A0494366672249F Time : 0.0 sec. user=mdettweiler [2015-05-10 08:13:30] 731*2^1398634-1 is not prime. Res64: EB34C73694C7DC41 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:13:30] 747*2^1398634-1 is not prime. Res64: 42E2C3A3023BE106 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:19:40] 645*2^1398635-1 is not prime. Res64: 5B4331A8C765F654 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:19:41] 963*2^1398635-1 is not prime. Res64: B6C8EC24713CB8B3 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:26:07] 979*2^1398635-1 is not prime. Res64: 47B9AB5052E18977 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:26:08] 999*2^1398635-1 is not prime. Res64: 8DEE7EFDDC2D033E Time : 0.0 sec. user=mdettweiler [2015-05-10 08:28:17] 635*2^1398636-1 is not prime. Res64: 8F50A6D28E9B6DC5 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:28:18] 693*2^1398636-1 is not prime. Res64: 36D9B82ABCA95914 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:30:53] 705*2^1398636-1 is not prime. Res64: C2715BFBCE22C98C Time : 0.0 sec. user=mdettweiler [2015-05-10 08:30:53] 717*2^1398636-1 is not prime. Res64: 5C8884A35F624A69 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:37:01] 779*2^1398636-1 is not prime. Res64: 6E594C025112AE0F Time : 0.0 sec. user=mdettweiler [2015-05-10 08:37:02] 857*2^1398636-1 is not prime. Res64: 5F005D2760394500 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:43:26] 993*2^1398636-1 is not prime. Res64: 76948A1F1615DD19 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:43:27] 999*2^1398636-1 is not prime. Res64: 5BA754D5995018BE Time : 0.0 sec. user=mdettweiler [2015-05-10 08:45:38] 699*2^1398637-1 is not prime. Res64: 5B3C1B1B3F76742F Time : 0.0 sec. user=mdettweiler [2015-05-10 08:45:38] 777*2^1398637-1 is not prime. Res64: F84EA35949AD954D Time : 0.0 sec. user=mdettweiler [2015-05-10 08:48:12] 871*2^1398637-1 is not prime. Res64: DB1A763155613FAB Time : 0.0 sec. user=mdettweiler [2015-05-10 08:48:13] 897*2^1398637-1 is not prime. Res64: D2881BA2551C9F39 Time : 0.0 sec. user=mdettweiler [2015-05-10 08:54:20] 955*2^1398637-1 is not prime. Res64: 99396F9A4BEE08CB Time : 0.0 sec. user=mdettweiler [2015-05-10 08:54:21] 997*2^1398637-1 is not prime. Res64: 08DF0D8A314DAC1C Time : 0.0 sec. user=mdettweiler [2015-05-10 09:00:47] 603*2^1398638-1 is not prime. Res64: 5E54C5454CDD59CA Time : 0.0 sec. user=mdettweiler [2015-05-10 09:00:47] 665*2^1398638-1 is not prime. Res64: FE049F4159283A2B Time : 0.0 sec. user=mdettweiler [2015-05-10 09:03:09] 687*2^1398638-1 is not prime. Res64: 2FEC1684BFB2FB12 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:03:10] 771*2^1398638-1 is not prime. Res64: 3C90C1556220491C Time : 0.0 sec. user=mdettweiler [2015-05-10 09:05:42] 827*2^1398638-1 is not prime. Res64: 829106B00B0026F8 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:05:44] 911*2^1398638-1 is not prime. Res64: 6CC66B57CCA7C56D Time : 0.0 sec. user=mdettweiler [2015-05-10 09:11:46] 663*2^1398639-1 is not prime. Res64: 0CF882698BF0C216 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:11:47] 741*2^1398639-1 is not prime. Res64: CF05C629AF42AE5B Time : 0.0 sec. user=mdettweiler [2015-05-10 09:18:09] 769*2^1398639-1 is not prime. Res64: 0BC857F0DE4E693D Time : 0.0 sec. user=mdettweiler [2015-05-10 09:18:10] 795*2^1398639-1 is not prime. Res64: 89051DFDBA63EA64 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:20:27] 853*2^1398639-1 is not prime. Res64: D4732788428B2AA0 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:20:28] 861*2^1398639-1 is not prime. Res64: 800C4B6D1A1E2979 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:23:14] 885*2^1398639-1 is not prime. Res64: E543001C05A24919 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:23:14] 895*2^1398639-1 is not prime. Res64: B78C5979F21D35E3 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:29:09] 909*2^1398639-1 is not prime. Res64: 7E5442294D27BB95 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:29:10] 961*2^1398639-1 is not prime. Res64: CE9FC38ECB38E89F Time : 0.0 sec. user=mdettweiler [2015-05-10 09:35:28] 991*2^1398639-1 is not prime. Res64: 8DED5F0FC9C10DE4 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:35:28] 699*2^1398640-1 is not prime. Res64: 5E6A57D28D2951DA Time : 0.0 sec. user=mdettweiler [2015-05-10 09:37:43] 777*2^1398640-1 is not prime. Res64: B93F01E73715C39C Time : 0.0 sec. user=mdettweiler [2015-05-10 09:37:44] 797*2^1398640-1 is not prime. Res64: 3750BEEF25CC7945 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:40:37] 803*2^1398640-1 is not prime. Res64: DD1188930EC82EBD Time : 0.0 sec. user=mdettweiler [2015-05-10 09:40:38] 845*2^1398640-1 is not prime. Res64: B7214A64B65EA00D Time : 0.0 sec. user=mdettweiler [2015-05-10 09:46:31] 855*2^1398640-1 is not prime. Res64: BCA825DF6BD0DD8B Time : 0.0 sec. user=mdettweiler [2015-05-10 09:46:32] 887*2^1398640-1 is not prime. Res64: 51F0456F719A29A6 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:52:44] 929*2^1398640-1 is not prime. Res64: 862DC2E58183944E Time : 0.0 sec. user=mdettweiler [2015-05-10 09:52:44] 615*2^1398641-1 is not prime. Res64: 698D1C516DF46576 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:55:05] 675*2^1398641-1 is not prime. Res64: CCDC6E75071FEB24 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:55:06] 691*2^1398641-1 is not prime. Res64: C66B279B0A211A75 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:58:00] 705*2^1398641-1 is not prime. Res64: 7AE01E4415C87AE0 Time : 0.0 sec. user=mdettweiler [2015-05-10 09:58:00] 711*2^1398641-1 is not prime. Res64: EB2F1A80368A1F8B Time : 0.0 sec. user=mdettweiler [2015-05-10 10:04:00] 715*2^1398641-1 is not prime. Res64: 4FD097537FAC6D95 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:04:01] 741*2^1398641-1 is not prime. Res64: C29E94C2C65CB1DA Time : 0.0 sec. user=mdettweiler [2015-05-10 10:10:15] 769*2^1398641-1 is not prime. Res64: C9500ED7D306A0C2 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:10:15] 795*2^1398641-1 is not prime. Res64: E77D11494E8E96B0 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:12:36] 885*2^1398641-1 is not prime. Res64: C5FCF892A890E1F8 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:12:36] 925*2^1398641-1 is not prime. Res64: DF2981097F29C71D Time : 0.0 sec. user=mdettweiler [2015-05-10 10:15:22] 875*2^1398642-1 is not prime. Res64: B2D0FE8A554E5E5C Time : 0.0 sec. user=mdettweiler [2015-05-10 10:15:23] 951*2^1398642-1 is not prime. Res64: B485FAF4DFF05749 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:21:37] 975*2^1398642-1 is not prime. Res64: D202D94960EA21D7 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:21:37] 675*2^1398643-1 is not prime. Res64: 6C002C1EE40813C6 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:27:40] 705*2^1398643-1 is not prime. Res64: CA1AC2AE14FC7A33 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:27:40] 793*2^1398643-1 is not prime. Res64: 2C50167207C5F79B Time : 0.0 sec. user=mdettweiler [2015-05-10 10:29:56] 829*2^1398643-1 is not prime. Res64: 1F458945828C4D3C Time : 0.0 sec. user=mdettweiler [2015-05-10 10:29:57] 689*2^1398644-1 is not prime. Res64: 5E8F8ADB099719B3 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:32:48] 833*2^1398644-1 is not prime. Res64: C801670ED53833CF Time : 0.0 sec. user=mdettweiler [2015-05-10 10:32:49] 843*2^1398644-1 is not prime. Res64: 2301E8E682545E26 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:39:17] 893*2^1398644-1 is not prime. Res64: 8837D5071A9FD4A4 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:39:17] 897*2^1398644-1 is not prime. Res64: 411664A6781A66D8 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:45:35] 909*2^1398644-1 is not prime. Res64: 6289FB44FBD9DF66 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:45:35] 983*2^1398644-1 is not prime. Res64: AEE8D1E5130135FD Time : 0.0 sec. user=mdettweiler [2015-05-10 10:48:07] 987*2^1398644-1 is not prime. Res64: 0C3D9968D1234F0E Time : 0.0 sec. user=mdettweiler [2015-05-10 10:48:08] 691*2^1398645-1 is not prime. Res64: EAB2450EF80ADD00 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:50:47] 781*2^1398645-1 is not prime. Res64: 528223153F37C474 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:50:48] 811*2^1398645-1 is not prime. Res64: D0B761C443DBEB85 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:57:45] 825*2^1398645-1 is not prime. Res64: 7CCA5F09E2D086F8 Time : 0.0 sec. user=mdettweiler [2015-05-10 10:57:45] 891*2^1398645-1 is not prime. Res64: 47677062C17E0986 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:04:14] 895*2^1398645-1 is not prime. Res64: 18DABDBDAFE40FDD Time : 0.0 sec. user=mdettweiler [2015-05-10 11:04:15] 991*2^1398645-1 is not prime. Res64: BA1D7DECA68751E6 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:06:42] 657*2^1398646-1 is not prime. Res64: 257557343F794C22 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:06:44] 741*2^1398646-1 is not prime. Res64: E6C80213F6DC8E98 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:09:38] 747*2^1398646-1 is not prime. Res64: 821608367BB59BCE Time : 0.0 sec. user=mdettweiler [2015-05-10 11:09:38] 755*2^1398646-1 is not prime. Res64: CBDEE286D8D38263 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:17:06] 881*2^1398646-1 is not prime. Res64: 5690CAFAF301E38C Time : 0.0 sec. user=mdettweiler [2015-05-10 11:17:07] 957*2^1398646-1 is not prime. Res64: 3FBA29690DE75873 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:26:16] 993*2^1398646-1 is not prime. Res64: 0756ECB66DC6DE3B Time : 0.0 sec. user=mdettweiler [2015-05-10 11:26:17] 735*2^1398647-1 is not prime. Res64: 7D10704FA116E4F6 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:28:40] 819*2^1398647-1 is not prime. Res64: F86F47112EF43425 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:28:40] 823*2^1398647-1 is not prime. Res64: 3EFBAE63AC7ABDE9 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:33:08] 825*2^1398647-1 is not prime. Res64: 456C98E5E44276F0 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:33:08] 981*2^1398647-1 is not prime. Res64: BBA66AEC4CB53906 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:41:02] 999*2^1398647-1 is not prime. Res64: 095A81BACDF04BA7 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:41:02] 707*2^1398648-1 is not prime. Res64: DFEA01015F752DF9 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:50:10] 795*2^1398648-1 is not prime. Res64: 387F4A3D16CE8C62 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:50:10] 845*2^1398648-1 is not prime. Res64: D238B177A18296AE Time : 0.0 sec. user=mdettweiler [2015-05-10 11:52:32] 849*2^1398648-1 is not prime. Res64: D959A26169542C3F Time : 0.0 sec. user=mdettweiler [2015-05-10 11:52:32] 619*2^1398649-1 is not prime. Res64: 4FD6DDEBCAEE89F7 Time : 0.0 sec. user=mdettweiler [2015-05-10 11:57:15] 675*2^1398649-1 is not prime. Res64: 7953E1C80786DFFB Time : 0.0 sec. user=mdettweiler [2015-05-10 11:57:15] 729*2^1398649-1 is not prime. Res64: 9BB76A8FDD0D5E5C Time : 0.0 sec. user=mdettweiler [2015-05-10 12:04:49] 751*2^1398649-1 is not prime. Res64: 48D42F0ED92FE827 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:04:51] 765*2^1398649-1 is not prime. Res64: 5C8E728FF6817CFD Time : 0.0 sec. user=mdettweiler [2015-05-10 12:14:35] 789*2^1398649-1 is not prime. Res64: 08216C67A3606D18 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:14:35] 841*2^1398649-1 is not prime. Res64: FDF220BB9DA75D89 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:17:13] 847*2^1398649-1 is not prime. Res64: DFC1D47DDF882238 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:17:13] 867*2^1398649-1 is not prime. Res64: 418D00A0630B742F Time : 0.0 sec. user=mdettweiler [2015-05-10 12:21:00] 951*2^1398649-1 is not prime. Res64: 8632F5E5DF07B94A Time : 0.0 sec. user=mdettweiler [2015-05-10 12:21:01] 987*2^1398649-1 is not prime. Res64: 8D1EC793B4F478D0 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:29:10] 641*2^1398650-1 is not prime. Res64: 2FB50667FBD9C545 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:29:10] 711*2^1398650-1 is not prime. Res64: 0CB0714CBB2D9D6E Time : 0.0 sec. user=mdettweiler [2015-05-10 12:36:35] 813*2^1398650-1 is not prime. Res64: C8854CEC755D78BD Time : 0.0 sec. user=mdettweiler [2015-05-10 12:36:36] 831*2^1398650-1 is not prime. Res64: 1BFD8843F249C276 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:38:53] 923*2^1398650-1 is not prime. Res64: ECC526822619C9C2 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:38:53] 609*2^1398652-1 is not prime. Res64: 7AE8AE4D1436A697 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:42:30] 615*2^1398652-1 is not prime. Res64: 2F4C8FC6D8F1643F Time : 0.0 sec. user=mdettweiler [2015-05-10 12:42:30] 677*2^1398652-1 is not prime. Res64: 49A296F5C8EF1686 Time : 0.0 sec. user=juhehe [2015-05-10 12:46:04] 893*2^1398650-1 is not prime. Res64: 7F6EBDECEAD32894 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:50:06] 983*2^1398652-1 is not prime. Res64: D3E231DEBF2BEE30 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:50:06] 615*2^1398653-1 is not prime. Res64: 92713DBEE93C8025 Time : 0.0 sec. user=mdettweiler [2015-05-10 12:59:05] 901*2^1398653-1 is not prime. Res64: 61CD8E07E5E028CB Time : 0.0 sec. user=mdettweiler [2015-05-10 12:59:06] 985*2^1398653-1 is not prime. Res64: 746228547A898592 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:02:03] 627*2^1398654-1 is not prime. Res64: C72E0EAD804C427F Time : 0.0 sec. user=mdettweiler [2015-05-10 13:02:04] 717*2^1398654-1 is not prime. Res64: 5DD091FC875B216B Time : 0.0 sec. user=mdettweiler [2015-05-10 13:06:44] 747*2^1398653-1 is not prime. Res64: 6F1D5F842AABACC3 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:06:45] 811*2^1398653-1 is not prime. Res64: 601203339C6AF928 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:08:15] 983*2^1398654-1 is not prime. Res64: 71EBA8C1EF29A221 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:08:16] 723*2^1398655-1 is not prime. Res64: A50F1CBCCAE572E2 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:17:04] 759*2^1398655-1 is not prime. Res64: D9948958CC2412C3 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:17:04] 853*2^1398655-1 is not prime. Res64: 9125E2BFCE0E4A78 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:19:58] 669*2^1398656-1 is not prime. Res64: 2821CBC6161FA021 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:19:59] 815*2^1398656-1 is not prime. Res64: 65694CB565637D46 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:24:51] 855*2^1398656-1 is not prime. Res64: F780218C3B4C8EDB Time : 0.0 sec. user=mdettweiler [2015-05-10 13:24:52] 857*2^1398656-1 is not prime. Res64: B2DAAD1DE3AD2702 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:26:09] 923*2^1398656-1 is not prime. Res64: 154117C30A58EFCB Time : 0.0 sec. user=mdettweiler [2015-05-10 13:26:09] 999*2^1398656-1 is not prime. Res64: 2703AD8C0FB50292 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:34:31] 681*2^1398657-1 is not prime. Res64: CA39B5C4121B4654 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:34:31] 717*2^1398657-1 is not prime. Res64: 8BEA2CD79A6F42F3 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:37:28] 741*2^1398657-1 is not prime. Res64: 4C23FA18D4B83754 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:37:28] 781*2^1398657-1 is not prime. Res64: D0A3C98B51E531CA Time : 0.0 sec. user=mdettweiler [2015-05-10 13:42:17] 919*2^1398657-1 is not prime. Res64: A622E46B6600D3C3 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:42:18] 635*2^1398658-1 is not prime. Res64: 608C53DB23F56096 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:43:35] 645*2^1398658-1 is not prime. Res64: 13A4BE4D08CAFE2D Time : 0.0 sec. user=mdettweiler [2015-05-10 13:43:36] 801*2^1398658-1 is not prime. Res64: F5C08547153BC3F2 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:51:59] 825*2^1398658-1 is not prime. Res64: C0E093FEA93C1516 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:51:59] 845*2^1398658-1 is not prime. Res64: 4A50ABE537D85C6E Time : 0.0 sec. user=mdettweiler [2015-05-10 13:55:04] 885*2^1398658-1 is not prime. Res64: 731B6B1F45944B45 Time : 0.0 sec. user=mdettweiler [2015-05-10 13:55:04] 891*2^1398658-1 is not prime. Res64: E368B1EE92F03E4A Time : 0.0 sec. user=mdettweiler [2015-05-10 13:59:44] 923*2^1398658-1 is not prime. Res64: 0F9F15FFE320CB3F Time : 0.0 sec. user=mdettweiler [2015-05-10 13:59:44] 601*2^1398659-1 is not prime. Res64: DBC95B743D14EB19 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:01:07] 669*2^1398659-1 is not prime. Res64: 16B9CD95328D432A Time : 0.0 sec. user=mdettweiler [2015-05-10 14:01:09] 685*2^1398659-1 is not prime. Res64: 1140EDC1FFFDC69A Time : 0.0 sec. user=mdettweiler [2015-05-10 14:09:29] 693*2^1398659-1 is not prime. Res64: 6AEBA57C9E6B22C3 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:09:29] 811*2^1398659-1 is not prime. Res64: 8BD14EBA77FDC7D2 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:12:35] 909*2^1398659-1 is not prime. Res64: 342051222ED892F9 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:12:35] 647*2^1398660-1 is not prime. Res64: 7135CC5BFC827633 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:17:19] 767*2^1398660-1 is not prime. Res64: 26E9884C3E9675E6 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:17:19] 843*2^1398660-1 is not prime. Res64: 57EF7972D3A1398A Time : 0.0 sec. user=mdettweiler [2015-05-10 14:18:33] 845*2^1398660-1 is not prime. Res64: 206E0E83F4D34DB9 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:18:33] 607*2^1398661-1 is not prime. Res64: 058B25541E30DFA3 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:27:07] 777*2^1398661-1 is not prime. Res64: 1CC10B6F738C7FC1 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:27:07] 819*2^1398661-1 is not prime. Res64: EF6CB7B53D3D4AE1 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:30:03] 931*2^1398661-1 is not prime. Res64: C7F96BDFE2F86318 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:30:03] 979*2^1398661-1 is not prime. Res64: B9009C3353FF7CFE Time : 0.0 sec. user=mdettweiler [2015-05-10 14:35:03] 657*2^1398662-1 is not prime. Res64: D2960DA5BAEF6A81 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:35:03] 797*2^1398662-1 is not prime. Res64: 9921B19E6CEBFC6F Time : 0.0 sec. user=mdettweiler [2015-05-10 14:36:05] 831*2^1398662-1 is not prime. Res64: 6379649942401C19 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:36:05] 953*2^1398662-1 is not prime. Res64: E15920A9F1ABC5CD Time : 0.0 sec. user=mdettweiler [2015-05-10 14:44:36] 685*2^1398663-1 is not prime. Res64: 62A5B9E63064AC71 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:44:37] 691*2^1398663-1 is not prime. Res64: 8E62CE3D14B39380 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:47:33] 823*2^1398663-1 is not prime. Res64: 15ADEE908FFE6EA9 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:47:34] 639*2^1398664-1 is not prime. Res64: C52EBF1D20671E20 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:52:31] 677*2^1398664-1 is not prime. Res64: 80A18248556A3627 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:52:31] 707*2^1398664-1 is not prime. Res64: 0A9568F2C2967573 Time : 0.0 sec. user=mdettweiler [2015-05-10 14:53:31] 765*2^1398664-1 is not prime. Res64: C8DDF861CFC813EE Time : 0.0 sec. user=mdettweiler [2015-05-10 14:53:31] 873*2^1398664-1 is not prime. Res64: CACFD3A6BDCDFF35 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:01:59] 607*2^1398665-1 is not prime. Res64: 2A0F05D3D69EA63F Time : 0.0 sec. user=mdettweiler [2015-05-10 15:02:00] 619*2^1398665-1 is not prime. Res64: FC9BE0E17C3776E8 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:04:57] 649*2^1398665-1 is not prime. Res64: 8D8B427197D5CBF7 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:04:59] 885*2^1398665-1 is not prime. Res64: 6EDE90A24780607B Time : 0.0 sec. user=mdettweiler [2015-05-10 15:09:58] 897*2^1398665-1 is not prime. Res64: DEE1BA6B2B269EE6 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:09:58] 909*2^1398665-1 is not prime. Res64: FA36CB2DB1DC81DA Time : 0.0 sec. user=mdettweiler [2015-05-10 15:10:58] 969*2^1398665-1 is not prime. Res64: 1DEF840AF6E1D939 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:10:59] 657*2^1398666-1 is not prime. Res64: CEB1E09A808F6629 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:19:29] 705*2^1398666-1 is not prime. Res64: 66878E6CBA233886 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:19:30] 711*2^1398666-1 is not prime. Res64: C85803498221EAB7 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:23:05] 725*2^1398666-1 is not prime. Res64: BFEB361D8A7A7597 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:23:06] 803*2^1398666-1 is not prime. Res64: 568133528BEA05A3 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:27:34] 893*2^1398666-1 is not prime. Res64: DAFA3269BB449A19 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:27:34] 923*2^1398666-1 is not prime. Res64: 426927BDD9E461BC Time : 0.0 sec. user=mdettweiler [2015-05-10 15:28:31] 963*2^1398666-1 is not prime. Res64: E4C298F9A385254A Time : 0.0 sec. user=mdettweiler [2015-05-10 15:28:31] 971*2^1398666-1 is not prime. Res64: 1C05F092EC1265FB Time : 0.0 sec. user=mdettweiler [2015-05-10 15:36:55] 741*2^1398667-1 is not prime. Res64: 609E2CCC50B7EEB8 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:36:55] 885*2^1398667-1 is not prime. Res64: 3D833F8B7359A8B3 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:40:28] 909*2^1398667-1 is not prime. Res64: 59C664D334FD6B22 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:40:28] 913*2^1398667-1 is not prime. Res64: 6B681DD994DD839A Time : 0.0 sec. user=mdettweiler [2015-05-10 15:45:01] 973*2^1398667-1 is not prime. Res64: E908EF89145FFA24 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:45:02] 677*2^1398668-1 is not prime. Res64: 9C6D0EBF6A922159 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:45:54] 725*2^1398668-1 is not prime. Res64: 61EA23E7834F581F Time : 0.0 sec. user=mdettweiler [2015-05-10 15:45:55] 749*2^1398668-1 is not prime. Res64: 5BFA1D73ED3863B7 Time : 0.0 sec. user=mdettweiler [2015-05-10 15:54:16] 759*2^1398668-1 is not prime. Res64: A585943C106BC57B Time : 0.0 sec. user=mdettweiler [2015-05-10 15:54:17] 825*2^1398668-1 is not prime. Res64: E3F1CFCAAAEF142A Time : 0.0 sec. user=mdettweiler [2015-05-10 15:58:06] 839*2^1398668-1 is not prime. Res64: ECE7A58AEF69C6EF Time : 0.0 sec. user=mdettweiler [2015-05-10 15:58:06] 843*2^1398668-1 is not prime. Res64: 5A24ED2D922B596B Time : 0.0 sec. user=mdettweiler [2015-05-10 16:02:33] 879*2^1398668-1 is not prime. Res64: 633A535B7495686F Time : 0.0 sec. user=mdettweiler [2015-05-10 16:02:35] 935*2^1398668-1 is not prime. Res64: 342F8FA484D06198 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:03:29] 669*2^1398669-1 is not prime. Res64: 291A5867FA0B1C71 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:03:32] 759*2^1398669-1 is not prime. Res64: 371EAB134B607F7E Time : 0.0 sec. user=mdettweiler [2015-05-10 16:11:46] 817*2^1398669-1 is not prime. Res64: 0B17BD63C232B54D Time : 0.0 sec. user=mdettweiler [2015-05-10 16:11:46] 969*2^1398669-1 is not prime. Res64: 94E1249571D7BD6E Time : 0.0 sec. user=mdettweiler [2015-05-10 16:15:30] 999*2^1398669-1 is not prime. Res64: 1FA7A222426CFE4F Time : 0.0 sec. user=mdettweiler [2015-05-10 16:15:30] 653*2^1398670-1 is not prime. Res64: 26B4032A84C44C56 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:20:21] 663*2^1398670-1 is not prime. Res64: 5CB1C70A44F9AF84 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:20:22] 723*2^1398670-1 is not prime. Res64: 523D500DA50FCEF1 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:20:57] 777*2^1398670-1 is not prime. Res64: 1564B95798C0CA71 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:20:58] 833*2^1398670-1 is not prime. Res64: 82E56DB2A9BABEC5 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:29:03] 663*2^1398671-1 is not prime. Res64: E1F1D6E671B3157D Time : 0.0 sec. user=mdettweiler [2015-05-10 16:29:04] 763*2^1398671-1 is not prime. Res64: 9E54F5E4A6586D4F Time : 0.0 sec. user=mdettweiler [2015-05-10 16:32:48] 811*2^1398671-1 is not prime. Res64: DDA752070D05AF24 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:32:49] 871*2^1398671-1 is not prime. Res64: CA5347777EFD8CF1 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:37:39] 931*2^1398671-1 is not prime. Res64: 71EA0CAE149B6CAA Time : 0.0 sec. user=mdettweiler [2015-05-10 16:37:39] 717*2^1398672-1 is not prime. Res64: 461720297806A7CB Time : 0.0 sec. user=mdettweiler [2015-05-10 16:38:23] 843*2^1398672-1 is not prime. Res64: 09C3FB236C9CDBE8 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:38:23] 857*2^1398672-1 is not prime. Res64: 8D980CE01CAD9B4B Time : 0.0 sec. user=mdettweiler [2015-05-10 16:46:22] 609*2^1398673-1 is not prime. Res64: 671F0C003843D215 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:46:23] 691*2^1398673-1 is not prime. Res64: A708916ED4D86825 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:50:17] 727*2^1398673-1 is not prime. Res64: 1D6D80AE65771BA8 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:50:17] 847*2^1398673-1 is not prime. Res64: 45292AFE73E14A00 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:55:07] 919*2^1398673-1 is not prime. Res64: CD3CF5E190CF680D Time : 0.0 sec. user=mdettweiler [2015-05-10 16:55:08] 937*2^1398673-1 is not prime. Res64: BA7D62639FD87B9E Time : 0.0 sec. user=mdettweiler [2015-05-10 16:55:44] 951*2^1398673-1 is not prime. Res64: 78D6FDC289FFD192 Time : 0.0 sec. user=mdettweiler [2015-05-10 16:55:45] 645*2^1398674-1 is not prime. Res64: E9E09E616DA0BBB7 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:03:45] 671*2^1398674-1 is not prime. Res64: C7C8C49D8079FF14 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:03:47] 875*2^1398674-1 is not prime. Res64: DD39C9DF17320D8D Time : 0.0 sec. user=mdettweiler [2015-05-10 17:07:44] 951*2^1398674-1 is not prime. Res64: 727777DD6E8EEEA4 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:07:44] 983*2^1398674-1 is not prime. Res64: EDBCEF40764B7FA5 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:12:32] 1001*2^1398674-1 is not prime. Res64: 7327D69403F6DA4A Time : 0.0 sec. user=mdettweiler [2015-05-10 17:12:33] 669*2^1398675-1 is not prime. Res64: 6C172DE91649635B Time : 0.0 sec. user=mdettweiler [2015-05-10 17:13:10] 723*2^1398675-1 is not prime. Res64: 596A59396E1851EC Time : 0.0 sec. user=mdettweiler [2015-05-10 17:13:10] 961*2^1398675-1 is not prime. Res64: 90FC4117729B1232 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:21:25] 719*2^1398676-1 is not prime. Res64: 82B9E71A5273D98A Time : 0.0 sec. user=mdettweiler [2015-05-10 17:21:26] 843*2^1398676-1 is not prime. Res64: CC716EE00A28A7C8 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:25:07] 873*2^1398676-1 is not prime. Res64: D924F4F046B4A87E Time : 0.0 sec. user=mdettweiler [2015-05-10 17:25:08] 875*2^1398676-1 is not prime. Res64: D8CAD5D180E2D6CD Time : 0.0 sec. user=mdettweiler [2015-05-10 17:29:57] 905*2^1398676-1 is not prime. Res64: 6EA109566D1C8084 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:29:58] 699*2^1398677-1 is not prime. Res64: 488974DEEF083BFD Time : 0.0 sec. user=mdettweiler [2015-05-10 17:30:39] 717*2^1398677-1 is not prime. Res64: EDFACA3C7E6AB770 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:30:40] 825*2^1398677-1 is not prime. Res64: FF34F3D5D5A638A6 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:39:05] 885*2^1398677-1 is not prime. Res64: CBB821BC00E9E48F Time : 0.0 sec. user=mdettweiler [2015-05-10 17:39:06] 663*2^1398678-1 is not prime. Res64: 3DDF665F394E9D6D Time : 0.0 sec. user=mdettweiler [2015-05-10 17:42:52] 713*2^1398678-1 is not prime. Res64: C8ABA8BA24EA3BD3 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:42:52] 761*2^1398678-1 is not prime. Res64: B408C6DC2985EC53 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:47:45] 777*2^1398678-1 is not prime. Res64: 27D00161786926F2 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:47:46] 861*2^1398678-1 is not prime. Res64: 3F1028395BB428D3 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:48:24] 863*2^1398678-1 is not prime. Res64: D917B40811ED64F8 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:48:24] 867*2^1398678-1 is not prime. Res64: 398EDC63B32F617A Time : 0.0 sec. user=mdettweiler [2015-05-10 17:56:32] 945*2^1398678-1 is not prime. Res64: 5B74CFA28997CE17 Time : 0.0 sec. user=mdettweiler [2015-05-10 17:56:32] 625*2^1398679-1 is not prime. Res64: 2DF0AD416EB55882 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:00:26] 829*2^1398679-1 is not prime. Res64: 58946A73662C0BA4 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:00:26] 855*2^1398679-1 is not prime. Res64: 5D4B9B1BF24E71A9 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:05:18] 883*2^1398679-1 is not prime. Res64: CC1876E02DAAD3FF Time : 0.0 sec. user=mdettweiler [2015-05-10 18:05:20] 891*2^1398679-1 is not prime. Res64: 487E2FA18EBBC317 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:06:01] 979*2^1398679-1 is not prime. Res64: AC7581FFC4AEDB7C Time : 0.0 sec. user=mdettweiler [2015-05-10 18:06:03] 609*2^1398680-1 is not prime. Res64: E7196AE32E7AC5AC Time : 0.0 sec. user=mdettweiler [2015-05-10 18:14:03] 645*2^1398680-1 is not prime. Res64: F2F14E02B7A8A026 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:14:04] 785*2^1398680-1 is not prime. Res64: DB3C7E80C0535EC1 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:17:58] 819*2^1398680-1 is not prime. Res64: F53978E0C94DE430 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:17:58] 827*2^1398680-1 is not prime. Res64: 57200B08B0F2A5B6 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:22:57] 845*2^1398680-1 is not prime. Res64: 3615EB91295B67CA Time : 0.0 sec. user=mdettweiler [2015-05-10 18:22:58] 963*2^1398680-1 is not prime. Res64: 14BDA47EE30D5738 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:23:40] 651*2^1398681-1 is not prime. Res64: B2229FBDE918D0DF Time : 0.0 sec. user=mdettweiler [2015-05-10 18:23:40] 741*2^1398681-1 is not prime. Res64: B92D3BECA2C66826 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:31:33] 781*2^1398681-1 is not prime. Res64: C65794D2DB694D33 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:31:33] 955*2^1398681-1 is not prime. Res64: BB311A396B2858FF Time : 0.0 sec. user=mdettweiler [2015-05-10 18:35:28] 645*2^1398682-1 is not prime. Res64: 07075B5FA7D1495E Time : 0.0 sec. user=mdettweiler [2015-05-10 18:35:28] 843*2^1398682-1 is not prime. Res64: 5BEB96322B189EBF Time : 0.0 sec. user=mdettweiler [2015-05-10 18:40:34] 951*2^1398682-1 is not prime. Res64: A2BC2C2234F7A1FC Time : 0.0 sec. user=mdettweiler [2015-05-10 18:40:34] 615*2^1398683-1 is not prime. Res64: 42D6644F6B36B928 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:41:19] 675*2^1398683-1 is not prime. Res64: F5860486AEC475DE Time : 0.0 sec. user=mdettweiler [2015-05-10 18:41:19] 735*2^1398683-1 is not prime. Res64: 22289702F5FD1690 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:48:57] 823*2^1398683-1 is not prime. Res64: FC4175063BD8F9CE Time : 0.0 sec. user=mdettweiler [2015-05-10 18:48:58] 955*2^1398683-1 is not prime. Res64: 34BF543A4915B676 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:52:59] 969*2^1398683-1 is not prime. Res64: 9DD0E691CA5C5744 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:53:00] 693*2^1398684-1 is not prime. Res64: 0A1C01BF1284230A Time : 0.0 sec. user=mdettweiler [2015-05-10 18:57:58] 705*2^1398684-1 is not prime. Res64: 01749A74C84896D3 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:57:59] 719*2^1398684-1 is not prime. Res64: 71C902797AACA6A8 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:58:44] 723*2^1398684-1 is not prime. Res64: 3F7A35F0A2C10B39 Time : 0.0 sec. user=mdettweiler [2015-05-10 18:58:44] 749*2^1398684-1 is not prime. Res64: 31104849D2DC15D3 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:06:21] 875*2^1398684-1 is not prime. Res64: 4ED59AD657F0C712 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:06:23] 927*2^1398684-1 is not prime. Res64: 59F7076EC734723C Time : 0.0 sec. user=mdettweiler [2015-05-10 19:10:32] 965*2^1398684-1 is not prime. Res64: 0B6439F94E777D0E Time : 0.0 sec. user=mdettweiler [2015-05-10 19:10:33] 801*2^1398685-1 is not prime. Res64: CA9A96142D9CC662 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:15:27] 825*2^1398685-1 is not prime. Res64: 9C47B18A5246C703 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:15:27] 861*2^1398685-1 is not prime. Res64: 5C39D451100F9268 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:16:10] 867*2^1398685-1 is not prime. Res64: DEA12E3D50EF6D52 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:16:11] 743*2^1398686-1 is not prime. Res64: F46644AF3157B81B Time : 0.0 sec. user=mdettweiler [2015-05-10 19:24:15] 767*2^1398686-1 is not prime. Res64: 7B7B327B0AA70892 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:24:15] 825*2^1398686-1 is not prime. Res64: BD741FB6748FD7DC Time : 0.0 sec. user=mdettweiler [2015-05-10 19:28:11] 857*2^1398686-1 is not prime. Res64: DD6018CEA03DAF5A Time : 0.0 sec. user=mdettweiler [2015-05-10 19:28:11] 903*2^1398686-1 is not prime. Res64: 35A6A897FBCC4E79 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:32:57] 609*2^1398687-1 is not prime. Res64: 9B40403D3DB7888C Time : 0.0 sec. user=mdettweiler [2015-05-10 19:32:58] 675*2^1398687-1 is not prime. Res64: 3C0D9C2A377CF41B Time : 0.0 sec. user=mdettweiler [2015-05-10 19:33:49] 735*2^1398687-1 is not prime. Res64: DAD507FEE7083891 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:33:49] 805*2^1398687-1 is not prime. Res64: 308D1CF637B3A37B Time : 0.0 sec. user=mdettweiler [2015-05-10 19:41:40] 955*2^1398687-1 is not prime. Res64: 62CC71920E48ABE3 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:41:41] 999*2^1398687-1 is not prime. Res64: 121D0E7BC6DF23E6 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:45:40] 657*2^1398688-1 is not prime. Res64: 23DFB8BEBFEFBA89 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:45:40] 705*2^1398688-1 is not prime. Res64: 537D1E64BEB1AFF1 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:50:32] 863*2^1398688-1 is not prime. Res64: 07668139669328AA Time : 0.0 sec. user=mdettweiler [2015-05-10 19:50:33] 899*2^1398688-1 is not prime. Res64: B841C37C5B5A0341 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:51:17] 927*2^1398688-1 is not prime. Res64: 20D25872E4A167E9 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:51:17] 959*2^1398688-1 is not prime. Res64: BA92CDB031B2DEE9 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:59:09] 675*2^1398689-1 is not prime. Res64: 2788CACE18AEA0C6 Time : 0.0 sec. user=mdettweiler [2015-05-10 19:59:09] 685*2^1398689-1 is not prime. Res64: 6421D5670B0F5B23 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:03:07] 769*2^1398689-1 is not prime. Res64: 7A96C566F82ED534 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:03:08] 799*2^1398689-1 is not prime. Res64: 1C4C67465B82909B Time : 0.0 sec. user=mdettweiler [2015-05-10 20:07:59] 801*2^1398689-1 is not prime. Res64: 04F4ACCA67303B37 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:07:59] 867*2^1398689-1 is not prime. Res64: 88E612A6608F2EE2 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:08:45] 885*2^1398689-1 is not prime. Res64: DB802FE6A630BF63 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:08:45] 907*2^1398689-1 is not prime. Res64: 2E8B88A342FE0F05 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:16:37] 657*2^1398690-1 is not prime. Res64: D85822283AA89F71 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:16:38] 843*2^1398690-1 is not prime. Res64: 602181E8DFAFB1F0 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:20:54] 873*2^1398690-1 is not prime. Res64: 63980950A9E21761 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:20:54] 917*2^1398690-1 is not prime. Res64: 7286DC3F64235950 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:25:34] 651*2^1398691-1 is not prime. Res64: 31D1610BF456BB1F Time : 0.0 sec. user=mdettweiler [2015-05-10 20:25:34] 745*2^1398691-1 is not prime. Res64: D9A442C2982A0941 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:26:09] 793*2^1398691-1 is not prime. Res64: 8876CF92816D7DAD Time : 0.0 sec. user=mdettweiler [2015-05-10 20:26:09] 805*2^1398691-1 is not prime. Res64: D1632D55D426E8B2 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:34:01] 843*2^1398691-1 is not prime. Res64: A4775263E88100D0 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:34:02] 895*2^1398691-1 is not prime. Res64: 6BCAB21E2532BCBA Time : 0.0 sec. user=mdettweiler [2015-05-10 20:38:22] 931*2^1398691-1 is not prime. Res64: 6383FBAEC6BC5FA3 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:38:22] 975*2^1398691-1 is not prime. Res64: 02B134B9767B26EF Time : 0.0 sec. user=mdettweiler [2015-05-10 20:43:04] 999*2^1398691-1 is not prime. Res64: 891A1D45F89E55A1 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:43:04] 683*2^1398692-1 is not prime. Res64: 6DCC3C3BED5D9BDE Time : 0.0 sec. user=mdettweiler [2015-05-10 20:43:31] 693*2^1398692-1 is not prime. Res64: 9E36359A5ECA9D30 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:43:32] 735*2^1398692-1 is not prime. Res64: E5513B996CCC0D50 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:51:24] 753*2^1398692-1 is not prime. Res64: E734AC4E68148340 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:51:25] 759*2^1398692-1 is not prime. Res64: F667A8D5BFAC522B Time : 0.0 sec. user=mdettweiler [2015-05-10 20:55:45] 935*2^1398692-1 is not prime. Res64: 35C33CD0CB39D4A1 Time : 0.0 sec. user=mdettweiler [2015-05-10 20:55:45] 957*2^1398692-1 is not prime. Res64: 244BFB4CD8DA2FC4 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:00:26] 607*2^1398693-1 is not prime. Res64: 7B5307E4B9B6DBC3 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:00:26] 735*2^1398693-1 is not prime. Res64: A9890CE5BE44B7C9 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:00:54] 819*2^1398693-1 is not prime. Res64: 3844E4232C326045 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:00:54] 859*2^1398693-1 is not prime. Res64: FE917BED16B3A588 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:09:21] 919*2^1398693-1 is not prime. Res64: A5AE350D13D31655 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:09:22] 623*2^1398694-1 is not prime. Res64: 58D0D8FF0CF69697 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:14:26] 677*2^1398694-1 is not prime. Res64: 2E1509F0813E05E0 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:14:27] 855*2^1398694-1 is not prime. Res64: F1621CBF9C4B6EE6 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:20:13] 917*2^1398694-1 is not prime. Res64: 539D7FC8960EFEC6 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:20:14] 947*2^1398694-1 is not prime. Res64: E9EE29A2A3D65EB9 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:20:37] 957*2^1398694-1 is not prime. Res64: 99CEEAFF41849196 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:20:37] 965*2^1398694-1 is not prime. Res64: CF4FA60C8E8955C8 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:29:12] 675*2^1398695-1 is not prime. Res64: DCC0F144FEEC97E7 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:29:12] 855*2^1398695-1 is not prime. Res64: 4725E67CA8126A8F Time : 0.0 sec. user=mdettweiler [2015-05-10 21:32:46] 921*2^1398695-1 is not prime. Res64: C67EF4CD3C461EA4 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:32:47] 985*2^1398695-1 is not prime. Res64: 54BE398342300683 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:37:55] 669*2^1398696-1 is not prime. Res64: 3033D0620C5FD3F5 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:37:56] 737*2^1398696-1 is not prime. Res64: 2CCB70D32D3DDFDA Time : 0.0 sec. user=mdettweiler [2015-05-10 21:38:15] 789*2^1398696-1 is not prime. Res64: B32BCD978D1278FF Time : 0.0 sec. user=mdettweiler [2015-05-10 21:38:15] 843*2^1398696-1 is not prime. Res64: E90FCD8D935A2586 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:46:45] 905*2^1398696-1 is not prime. Res64: 9AB7449ED84BD88A Time : 0.0 sec. user=mdettweiler [2015-05-10 21:46:46] 667*2^1398697-1 is not prime. Res64: 9550BE16C007AEB0 Time : 0.0 sec. user=mdettweiler [2015-05-10 21:50:29] 841*2^1398697-1 is not prime. Res64: 86FE90A64AAF1D0C Time : 0.0 sec. user=mdettweiler [2015-05-10 21:50:30] 915*2^1398697-1 is not prime. Res64: 14E85EF75C52D41B Time : 0.0 sec. user=mdettweiler [2015-05-10 21:55:41] 671*2^1398698-1 is not prime. Res64: D2BCF32AA66E641D Time : 0.0 sec. user=mdettweiler [2015-05-10 21:55:42] 687*2^1398698-1 is not prime. Res64: 9BE322296643699E Time : 0.0 sec. user=mdettweiler [2015-05-10 21:55:58] 771*2^1398698-1 is not prime. Res64: 31ACD6766DD046BD Time : 0.0 sec. user=mdettweiler [2015-05-10 21:55:59] 867*2^1398698-1 is not prime. Res64: F68F1D1E986AF6C5 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:04:37] 893*2^1398698-1 is not prime. Res64: 1244D71722999449 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:04:38] 953*2^1398698-1 is not prime. Res64: 00D11C963B60BE43 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:08:19] 963*2^1398698-1 is not prime. Res64: 599D502AC19A053C Time : 0.0 sec. user=mdettweiler [2015-05-10 22:08:19] 977*2^1398698-1 is not prime. Res64: 41A343ADFB871F96 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:13:35] 649*2^1398699-1 is not prime. Res64: B2FF7948B758CFB3 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:13:36] 793*2^1398699-1 is not prime. Res64: C5E3E2C76645C0CB Time : 0.0 sec. user=mdettweiler [2015-05-10 22:13:47] 801*2^1398699-1 is not prime. Res64: 55D748EE9B0BD2B0 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:13:47] 951*2^1398699-1 is not prime. Res64: 81BE05F1AD458690 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:22:50] 969*2^1398699-1 is not prime. Res64: 23BDC6440C0BD4C2 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:22:50] 609*2^1398700-1 is not prime. Res64: 62B68DB35BDEDCB1 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:26:17] 675*2^1398700-1 is not prime. Res64: C808EA510A216074 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:26:17] 755*2^1398700-1 is not prime. Res64: 37CCA6D4BA2B0F96 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:31:27] 783*2^1398700-1 is not prime. Res64: 2A08F12F84A62C23 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:31:27] 857*2^1398700-1 is not prime. Res64: 6DDABCEDD9BDF8CB Time : 0.0 sec. user=mdettweiler [2015-05-10 22:31:29] 607*2^1398701-1 is not prime. Res64: AD4E5F7AA7D8568C Time : 0.0 sec. user=mdettweiler [2015-05-10 22:31:30] 691*2^1398701-1 is not prime. Res64: E824DDD4DD17EAE0 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:40:40] 889*2^1398701-1 is not prime. Res64: 1D6B96CB54F47BD4 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:40:40] 951*2^1398701-1 is not prime. Res64: A06E2627CA70AB33 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:44:08] 713*2^1398702-1 is not prime. Res64: 98B1E2C2B2FCD2AB Time : 0.0 sec. user=mdettweiler [2015-05-10 22:44:08] 947*2^1398702-1 is not prime. Res64: 52186E2C246F0C4A Time : 0.0 sec. user=mdettweiler [2015-05-10 22:49:07] 675*2^1398703-1 is not prime. Res64: 7806DE194FB93EA2 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:49:07] 685*2^1398703-1 is not prime. Res64: 24119F3A3CFD76CC Time : 0.0 sec. user=mdettweiler [2015-05-10 22:49:12] 693*2^1398703-1 is not prime. Res64: 64EEA3E39A911FD8 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:49:12] 705*2^1398703-1 is not prime. Res64: D385E8247A02A58D Time : 0.0 sec. user=mdettweiler [2015-05-10 22:58:33] 751*2^1398703-1 is not prime. Res64: B1C64720C3E9C090 Time : 0.0 sec. user=mdettweiler [2015-05-10 22:58:34] 765*2^1398703-1 is not prime. Res64: 0D5C641463C5C617 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:02:12] 775*2^1398703-1 is not prime. Res64: E33AD0687565D8D8 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:02:13] 793*2^1398703-1 is not prime. Res64: DC15B832E9CCB1C2 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:06:57] 915*2^1398703-1 is not prime. Res64: E720F211339F976B Time : 0.0 sec. user=mdettweiler [2015-05-10 23:06:58] 829*2^1398703-1 is not prime. Res64: 2E0D05199E5B9303 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:06:59] 973*2^1398703-1 is not prime. Res64: 152BCE30C748667A Time : 0.0 sec. user=mdettweiler [2015-05-10 23:07:00] 871*2^1398703-1 is not prime. Res64: 11A689829F6FAB5E Time : 0.0 sec. user=mdettweiler [2015-05-10 23:16:29] 663*2^1398704-1 is not prime. Res64: B46A852750503F20 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:16:30] 687*2^1398704-1 is not prime. Res64: D8DA008D7A18E8FB Time : 0.0 sec. user=mdettweiler [2015-05-10 23:20:17] 699*2^1398704-1 is not prime. Res64: BA398E3AC4941582 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:20:18] 875*2^1398704-1 is not prime. Res64: 64944D2C17B2633C Time : 0.0 sec. user=mdettweiler [2015-05-10 23:25:22] 893*2^1398704-1 is not prime. Res64: 3CD312D729991C3C Time : 0.0 sec. user=mdettweiler [2015-05-10 23:25:23] 897*2^1398704-1 is not prime. Res64: EA179F003E72B46B Time : 0.0 sec. user=mdettweiler [2015-05-10 23:25:29] 927*2^1398704-1 is not prime. Res64: 472A009D9AAC3A46 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:25:30] 639*2^1398705-1 is not prime. Res64: 9AEE075CFD7961A8 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:34:25] 685*2^1398705-1 is not prime. Res64: BFFB80AF5C0A54DA Time : 0.0 sec. user=mdettweiler [2015-05-10 23:34:26] 765*2^1398705-1 is not prime. Res64: 1A021F9D19585976 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:38:26] 819*2^1398705-1 is not prime. Res64: 47B203E59F8B9976 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:38:26] 849*2^1398705-1 is not prime. Res64: 69368986A3AA8CFC Time : 0.0 sec. user=mdettweiler [2015-05-10 23:43:25] 997*2^1398705-1 is not prime. Res64: E13401BB2AFB2E15 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:43:25] 871*2^1398705-1 is not prime. Res64: 951D71920800815C Time : 0.0 sec. user=mdettweiler [2015-05-10 23:43:25] 647*2^1398706-1 is not prime. Res64: 431500C97B50358C Time : 0.0 sec. user=mdettweiler [2015-05-10 23:43:25] 895*2^1398705-1 is not prime. Res64: E7016485AF6F3A2C Time : 0.0 sec. user=mdettweiler [2015-05-10 23:52:42] 743*2^1398706-1 is not prime. Res64: 93C75419496B4FFA Time : 0.0 sec. user=mdettweiler [2015-05-10 23:52:42] 815*2^1398706-1 is not prime. Res64: DA60AFDDEC870317 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:56:49] 891*2^1398706-1 is not prime. Res64: FBFB9B8FF6C78DF5 Time : 0.0 sec. user=mdettweiler [2015-05-10 23:56:49] 609*2^1398707-1 is not prime. Res64: 45EF19F7D915181B Time : 0.0 sec.