user=mdettweiler [2018-08-05 00:11:06] 957*2^1520414-1 is not prime. Res64: 401BABEB50297BDE Time : 0.0 sec. user=mdettweiler [2018-08-05 00:11:07] 965*2^1520414-1 is not prime. Res64: DC7143BE452ACA5C Time : 0.0 sec. user=mdettweiler [2018-08-05 00:11:07] 625*2^1520415-1 is not prime. Res64: 3E9B1BF0EFEE5704 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:11:08] 651*2^1520415-1 is not prime. Res64: 12A61E621F8F4E0F Time : 0.0 sec. user=mdettweiler [2018-08-05 00:11:08] 693*2^1520415-1 is not prime. Res64: 606BF1847CB8A40C Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:32] 653*2^1520416-1 is not prime. Res64: 5980FFD4F5FBEF6B Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:33] 765*2^1520416-1 is not prime. Res64: 5E5123364EF2E0D7 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:33] 843*2^1520416-1 is not prime. Res64: CAFE20B40C661F93 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:33] 873*2^1520416-1 is not prime. Res64: 4F0EFB768391E022 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:34] 887*2^1520416-1 is not prime. Res64: DAEDD87F75454A73 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:38] 735*2^1520415-1 is not prime. Res64: 395AFB2D009DD527 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:38] 775*2^1520415-1 is not prime. Res64: AB1E6851CCF7ADDA Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:38] 871*2^1520415-1 is not prime. Res64: 567C998B69A1C57A Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:39] 961*2^1520415-1 is not prime. Res64: 53A80C8F2BC927D0 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:32:39] 991*2^1520415-1 is not prime. Res64: FE229696F7B4215C Time : 0.0 sec. user=mdettweiler [2018-08-05 00:44:52] 939*2^1520416-1 is not prime. Res64: 5C0ABD9C0F0996DC Time : 0.0 sec. user=mdettweiler [2018-08-05 00:44:52] 999*2^1520416-1 is not prime. Res64: C6F386050E4BF2E3 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:44:52] 645*2^1520417-1 is not prime. Res64: A558B9D0E333D405 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:44:53] 649*2^1520417-1 is not prime. Res64: 0CB120F74F396454 Time : 0.0 sec. user=mdettweiler [2018-08-05 00:44:53] 759*2^1520417-1 is not prime. Res64: 07669099DEC53B2B Time : 0.0 sec. user=mdettweiler [2018-08-05 01:02:38] 915*2^1520417-1 is not prime. Res64: 09E196FB7381A93C Time : 0.0 sec. user=mdettweiler [2018-08-05 01:02:38] 967*2^1520417-1 is not prime. Res64: 8E7C7697089888C0 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:02:39] 605*2^1520418-1 is not prime. Res64: EC14820D643CE6C9 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:02:40] 635*2^1520418-1 is not prime. Res64: 462A5B7EBC28FEA3 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:02:40] 735*2^1520418-1 is not prime. Res64: 507E2496030CA8DF Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:10] 963*2^1520418-1 is not prime. Res64: FAAD301A9A83323D Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:11] 619*2^1520419-1 is not prime. Res64: 60053BB5DCDE63ED Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:12] 679*2^1520419-1 is not prime. Res64: B91E0CD2750762D9 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:13] 751*2^1520419-1 is not prime. Res64: 87F918E575405A8D Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:14] 829*2^1520419-1 is not prime. Res64: 5FB69DEF7BA66054 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:31] 885*2^1520419-1 is not prime. Res64: 8817926670887EC1 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:31] 973*2^1520419-1 is not prime. Res64: 9ADA3FEB430A10E7 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:32] 629*2^1520420-1 is not prime. Res64: E9573030C6EC34DD Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:33] 665*2^1520420-1 is not prime. Res64: FDD58ACB8BA54973 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:26:34] 797*2^1520420-1 is not prime. Res64: 24AAE4E6ED761B28 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:39:14] 855*2^1520420-1 is not prime. Res64: 5012303D1EF14509 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:39:15] 983*2^1520420-1 is not prime. Res64: 06C2346441326F60 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:39:15] 615*2^1520421-1 is not prime. Res64: 9D45B14C72131FB0 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:39:17] 625*2^1520421-1 is not prime. Res64: 7649574DB75C6B9C Time : 0.0 sec. user=mdettweiler [2018-08-05 01:39:17] 685*2^1520421-1 is not prime. Res64: 49FF0CD84CB69498 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:56:21] 819*2^1520421-1 is not prime. Res64: 7E0865B86B182851 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:56:22] 837*2^1520421-1 is not prime. Res64: C99EE142528AEB60 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:56:23] 849*2^1520421-1 is not prime. Res64: 304C91D76D78EF67 Time : 0.0 sec. user=mdettweiler [2018-08-05 01:56:23] 907*2^1520421-1 is not prime. Res64: 6E26E4CCA78A933C Time : 0.0 sec. user=mdettweiler [2018-08-05 01:56:24] 921*2^1520421-1 is not prime. Res64: A59CDCE50437A82C Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:16] 603*2^1520423-1 is not prime. Res64: 182A6C6EACE02B43 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:16] 679*2^1520423-1 is not prime. Res64: 0D80CF6DB454E008 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:17] 735*2^1520423-1 is not prime. Res64: D9FF280F800ADA8D Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:17] 783*2^1520423-1 is not prime. Res64: 1B105CBDAB8D9D7F Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:17] 811*2^1520423-1 is not prime. Res64: 175AE32BDED9CC9C Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:23] 987*2^1520421-1 is not prime. Res64: 4B47CE3383595334 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:23] 991*2^1520421-1 is not prime. Res64: 8BA590633D7290CE Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:24] 747*2^1520422-1 is not prime. Res64: 60D7076B1343710D Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:24] 891*2^1520422-1 is not prime. Res64: D38AF829A2C705E2 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:18:25] 951*2^1520422-1 is not prime. Res64: 15757DE58A929A68 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:31:08] 829*2^1520423-1 is not prime. Res64: 8E5F65F68774DBBB Time : 0.0 sec. user=mdettweiler [2018-08-05 02:31:08] 915*2^1520423-1 is not prime. Res64: 6F9E3A454B190EC6 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:31:09] 985*2^1520423-1 is not prime. Res64: DCF592B743610A7A Time : 0.0 sec. user=mdettweiler [2018-08-05 02:31:09] 753*2^1520424-1 is not prime. Res64: 6BA539C6B1574A8F Time : 0.0 sec. user=mdettweiler [2018-08-05 02:31:10] 765*2^1520424-1 is not prime. Res64: 4D209A69F858C5BD Time : 0.0 sec. user=mdettweiler [2018-08-05 02:50:13] 803*2^1520424-1 is not prime. Res64: 89E4B45DAE3B91FF Time : 0.0 sec. user=mdettweiler [2018-08-05 02:50:14] 649*2^1520425-1 is not prime. Res64: 113C9B69A0D15218 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:50:14] 651*2^1520425-1 is not prime. Res64: C70150D3DA12FCB0 Time : 0.0 sec. user=mdettweiler [2018-08-05 02:50:15] 877*2^1520425-1 is not prime. Res64: BD7BA1393FAFECBE Time : 0.0 sec. user=mdettweiler [2018-08-05 02:50:16] 617*2^1520426-1 is not prime. Res64: D61941E5386338AE Time : 0.0 sec. user=mdettweiler [2018-08-05 03:11:42] 859*2^1520427-1 is not prime. Res64: 84ADEDCD31866F31 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:11:43] 931*2^1520427-1 is not prime. Res64: 5F5A3EAA7E5E61E1 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:11:43] 951*2^1520427-1 is not prime. Res64: D695381C2D96B561 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:11:44] 657*2^1520428-1 is not prime. Res64: C71DC773AB3CE280 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:11:44] 797*2^1520428-1 is not prime. Res64: 2E55ADC58D961E29 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:12:43] 623*2^1520426-1 is not prime. Res64: D116D751527F0F42 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:12:44] 773*2^1520426-1 is not prime. Res64: 6C3B6A810308405D Time : 0.0 sec. user=mdettweiler [2018-08-05 03:12:44] 815*2^1520426-1 is not prime. Res64: 5230EE5828DD3A5C Time : 0.0 sec. user=mdettweiler [2018-08-05 03:12:45] 957*2^1520426-1 is not prime. Res64: E6C13CB351540A8C Time : 0.0 sec. user=mdettweiler [2018-08-05 03:12:45] 849*2^1520427-1 is not prime. Res64: E2150631F8DE3183 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:25:49] 819*2^1520428-1 is not prime. Res64: 0E3FDE5307F3E77E Time : 0.0 sec. user=mdettweiler [2018-08-05 03:25:50] 869*2^1520428-1 is not prime. Res64: 718D23D85789D305 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:25:51] 993*2^1520428-1 is not prime. Res64: 94A3498949013C8B Time : 0.0 sec. user=mdettweiler [2018-08-05 03:25:51] 615*2^1520429-1 is not prime. Res64: 6E48BD8BA1BCEA21 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:25:52] 645*2^1520429-1 is not prime. Res64: BD2907132462078E Time : 0.0 sec. user=mdettweiler [2018-08-05 03:43:09] 657*2^1520429-1 is not prime. Res64: EB3F90CA7614E511 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:43:11] 697*2^1520429-1 is not prime. Res64: 7BEE8BC70512075F Time : 0.0 sec. user=mdettweiler [2018-08-05 03:43:13] 727*2^1520429-1 is not prime. Res64: BBBB6009BB789A72 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:43:14] 955*2^1520429-1 is not prime. Res64: C34FB6B2BE8BDF40 Time : 0.0 sec. user=mdettweiler [2018-08-05 03:43:16] 997*2^1520429-1 is not prime. Res64: AD5C3AC1C97A90AE Time : 0.0 sec. user=mdettweiler [2018-08-05 04:04:53] 693*2^1520431-1 is not prime. Res64: 4F6908222EFE69EF Time : 0.0 sec. user=mdettweiler [2018-08-05 04:04:55] 605*2^1520432-1 is not prime. Res64: 95DD319FA1791DE7 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:04:56] 653*2^1520430-1 is not prime. Res64: 8437C3E019EF186C Time : 0.0 sec. user=mdettweiler [2018-08-05 04:04:58] 645*2^1520432-1 is not prime. Res64: E59F63EC5CCEAEB9 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:05:00] 977*2^1520430-1 is not prime. Res64: 97FEEBBD6F80A6BC Time : 0.0 sec. user=mdettweiler [2018-08-05 04:05:03] 677*2^1520432-1 is not prime. Res64: 60BBC255B1CBDC7F Time : 0.0 sec. user=mdettweiler [2018-08-05 04:05:05] 1001*2^1520430-1 is not prime. Res64: 64E7E34A819C1BDB Time : 0.0 sec. user=mdettweiler [2018-08-05 04:05:06] 713*2^1520432-1 is not prime. Res64: E10A4BE8B3F4861F Time : 0.0 sec. user=mdettweiler [2018-08-05 04:05:09] 619*2^1520431-1 is not prime. Res64: 6349AB4856D3D055 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:05:13] 685*2^1520431-1 is not prime. Res64: 4E58C670A483B93A Time : 0.0 sec. user=mdettweiler [2018-08-05 04:19:04] 681*2^1520433-1 is not prime. Res64: D09AF93E32E1A469 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:19:05] 787*2^1520433-1 is not prime. Res64: A95B6E659D4DCBF4 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:19:05] 789*2^1520433-1 is not prime. Res64: C29A8626B0D103AC Time : 0.0 sec. user=mdettweiler [2018-08-05 04:19:06] 805*2^1520433-1 is not prime. Res64: 8E101383CCDC4C59 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:19:06] 829*2^1520433-1 is not prime. Res64: CDA9E0955E56AAE5 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:36:00] 885*2^1520433-1 is not prime. Res64: 93C4C63F99473A54 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:36:01] 605*2^1520434-1 is not prime. Res64: 2F26C6D5B75F313C Time : 0.0 sec. user=mdettweiler [2018-08-05 04:36:01] 723*2^1520434-1 is not prime. Res64: 991162BCF49B2569 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:36:02] 737*2^1520434-1 is not prime. Res64: DC7CA8C241A230C0 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:36:02] 741*2^1520434-1 is not prime. Res64: 9E949979D1F3D324 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:33] 855*2^1520434-1 is not prime. Res64: 43633C0C2AB4547F Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:34] 881*2^1520434-1 is not prime. Res64: 591B0331CEAD201D Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:34] 915*2^1520434-1 is not prime. Res64: B73D01CDF5BAC1C8 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:35] 633*2^1520435-1 is not prime. Res64: A9D22FF5CD08C312 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:35] 643*2^1520435-1 is not prime. Res64: E2C55687C1596428 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:37] 755*2^1520434-1 is not prime. Res64: 67175822B791FB3F Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:38] 651*2^1520435-1 is not prime. Res64: 92F1E24E31DA5135 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:38] 669*2^1520435-1 is not prime. Res64: DA07A64A6585CA55 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:39] 673*2^1520435-1 is not prime. Res64: 4DBA7CB08C414C37 Time : 0.0 sec. user=mdettweiler [2018-08-05 04:57:46] 715*2^1520435-1 is not prime. Res64: 552533B22F2D5B64 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:10:47] 861*2^1520435-1 is not prime. Res64: 5E8FE910F1E5D687 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:10:48] 943*2^1520435-1 is not prime. Res64: 323E04A45AC3348D Time : 0.0 sec. user=mdettweiler [2018-08-05 05:10:48] 717*2^1520436-1 is not prime. Res64: 64C16B5B7F32B9E4 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:10:49] 759*2^1520436-1 is not prime. Res64: 411684E17704163F Time : 0.0 sec. user=mdettweiler [2018-08-05 05:10:50] 779*2^1520436-1 is not prime. Res64: CF78FEF822DA584C Time : 0.0 sec. user=mdettweiler [2018-08-05 05:27:20] 905*2^1520436-1 is not prime. Res64: 8C1759635D893D65 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:27:21] 645*2^1520437-1 is not prime. Res64: 456F33ABE2C32454 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:27:21] 757*2^1520437-1 is not prime. Res64: DCD0BB874C0816BC Time : 0.0 sec. user=mdettweiler [2018-08-05 05:27:22] 805*2^1520437-1 is not prime. Res64: 3CCBBB8A499F103C Time : 0.0 sec. user=mdettweiler [2018-08-05 05:27:22] 831*2^1520437-1 is not prime. Res64: CF032B2D2255F043 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:49:55] 847*2^1520437-1 is not prime. Res64: A034698996FE4914 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:49:56] 871*2^1520437-1 is not prime. Res64: 9FA71E6FFC45DFAB Time : 0.0 sec. user=mdettweiler [2018-08-05 05:49:56] 889*2^1520437-1 is not prime. Res64: 9D78A6DCAA53CBDA Time : 0.0 sec. user=mdettweiler [2018-08-05 05:49:56] 915*2^1520437-1 is not prime. Res64: BF1C4CBCCDF81B0A Time : 0.0 sec. user=mdettweiler [2018-08-05 05:49:57] 937*2^1520437-1 is not prime. Res64: 93955A97960D6196 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:50:16] 961*2^1520437-1 is not prime. Res64: 454ED9CC57B2D475 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:50:16] 997*2^1520437-1 is not prime. Res64: D23998588F3A5D1C Time : 0.0 sec. user=mdettweiler [2018-08-05 05:50:16] 623*2^1520438-1 is not prime. Res64: 618C10E2ACEDFE53 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:50:17] 657*2^1520438-1 is not prime. Res64: EFE9E8A580785313 Time : 0.0 sec. user=mdettweiler [2018-08-05 05:50:17] 801*2^1520438-1 is not prime. Res64: 220C987FF9A2A41F Time : 0.0 sec. user=mdettweiler [2018-08-05 06:02:54] 815*2^1520438-1 is not prime. Res64: CEEBFACAB0E341E1 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:02:55] 935*2^1520438-1 is not prime. Res64: 2A906CDF96C741A0 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:02:56] 795*2^1520439-1 is not prime. Res64: 34ACA43C81AA48BC Time : 0.0 sec. user=mdettweiler [2018-08-05 06:02:57] 873*2^1520439-1 is not prime. Res64: 831C85F1D56D99BD Time : 0.0 sec. user=mdettweiler [2018-08-05 06:02:58] 895*2^1520439-1 is not prime. Res64: F901FC3764FD7DBB Time : 0.0 sec. user=mdettweiler [2018-08-05 06:22:27] 979*2^1520439-1 is not prime. Res64: 88968EA1C22AC59D Time : 0.0 sec. user=mdettweiler [2018-08-05 06:22:27] 609*2^1520440-1 is not prime. Res64: BF982504553B8D80 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:22:28] 989*2^1520440-1 is not prime. Res64: 43E0EB919E017B9F Time : 0.0 sec. user=mdettweiler [2018-08-05 06:22:28] 615*2^1520441-1 is not prime. Res64: 2498715717142825 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:22:28] 645*2^1520441-1 is not prime. Res64: 744D207F60B51501 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:07] 879*2^1520441-1 is not prime. Res64: AA7FCED4CEC1C289 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:08] 957*2^1520441-1 is not prime. Res64: B3788145F10773CE Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:08] 615*2^1520442-1 is not prime. Res64: 52A9F8EC365BF8EC Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:08] 635*2^1520442-1 is not prime. Res64: 83E3D7ACEC647F8F Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:09] 711*2^1520442-1 is not prime. Res64: 6A8074D16365421A Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:28] 765*2^1520442-1 is not prime. Res64: 0FC9973939CFCF7D Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:29] 803*2^1520442-1 is not prime. Res64: 79D01607CC4D6AA9 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:29] 873*2^1520442-1 is not prime. Res64: D099E828E8B69E0F Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:29] 765*2^1520443-1 is not prime. Res64: 8EA6D3A10C70C490 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:41:30] 801*2^1520443-1 is not prime. Res64: DEA9D8C5F88E388D Time : 0.0 sec. user=mdettweiler [2018-08-05 06:55:59] 849*2^1520443-1 is not prime. Res64: 6530D8C553BD36C8 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:56:00] 999*2^1520443-1 is not prime. Res64: 4FDBAEE6CEB432E4 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:56:00] 605*2^1520444-1 is not prime. Res64: DFE961E591690392 Time : 0.0 sec. user=mdettweiler [2018-08-05 06:56:00] 683*2^1520444-1 is not prime. Res64: 407F72860FE24A4A Time : 0.0 sec. user=mdettweiler [2018-08-05 06:56:01] 915*2^1520444-1 is not prime. Res64: 9F1C05732BD75941 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:21:07] 625*2^1520445-1 is not prime. Res64: 469B47B0F07F2EC4 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:21:07] 669*2^1520445-1 is not prime. Res64: 1A81EE54A4B7B91F Time : 0.0 sec. user=mdettweiler [2018-08-05 07:21:08] 759*2^1520445-1 is not prime. Res64: 6A3393729F4FE008 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:21:08] 765*2^1520445-1 is not prime. Res64: 4F313C78FCCEC271 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:21:08] 811*2^1520445-1 is not prime. Res64: 8B8D9F2102257471 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:31] 979*2^1520445-1 is not prime. Res64: 1A935B587CA8DF12 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:32] 991*2^1520445-1 is not prime. Res64: 6606FDC93B65D71C Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:32] 999*2^1520445-1 is not prime. Res64: 00289AFA9A889608 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:32] 815*2^1520446-1 is not prime. Res64: C3FA32323A8E8E4A Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:33] 833*2^1520446-1 is not prime. Res64: 6CC186FE92AC73E4 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:39] 917*2^1520446-1 is not prime. Res64: 8A401D4E5D8C0E01 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:39] 603*2^1520447-1 is not prime. Res64: 4F3EDF433802B9A1 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:40] 669*2^1520447-1 is not prime. Res64: 05CABBC06E1D1B83 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:40] 871*2^1520447-1 is not prime. Res64: 18D3FC6584B5E47A Time : 0.0 sec. user=mdettweiler [2018-08-05 07:33:41] 931*2^1520447-1 is not prime. Res64: 406676FFBE919720 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:49:36] 635*2^1520448-1 is not prime. Res64: 828B0ABE7C22124C Time : 0.0 sec. user=mdettweiler [2018-08-05 07:49:37] 639*2^1520448-1 is not prime. Res64: 830CD5388C5A1A86 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:49:37] 725*2^1520448-1 is not prime. Res64: C38170613AFD3768 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:49:37] 747*2^1520448-1 is not prime. Res64: 943A55577F563870 Time : 0.0 sec. user=mdettweiler [2018-08-05 07:49:38] 789*2^1520448-1 is not prime. Res64: 61AB60A2608EAA6E Time : 0.0 sec. user=mdettweiler [2018-08-05 08:13:30] 797*2^1520448-1 is not prime. Res64: 5644B07EAD09C801 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:13:31] 849*2^1520448-1 is not prime. Res64: 7ED67ED6691B8FE4 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:13:31] 887*2^1520448-1 is not prime. Res64: 4FF6A4DCCB21B173 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:13:32] 969*2^1520448-1 is not prime. Res64: 5DB711CC8857D6AB Time : 0.0 sec. user=mdettweiler [2018-08-05 08:13:32] 619*2^1520449-1 is not prime. Res64: ACCAA9290D1E0A23 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:07] 895*2^1520449-1 is not prime. Res64: 0A84F95628637320 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:08] 897*2^1520449-1 is not prime. Res64: ED159DC682276C8E Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:08] 967*2^1520449-1 is not prime. Res64: 8A6460B5CBDC75D1 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:09] 753*2^1520450-1 is not prime. Res64: 9F4A2EF8A6080C3A Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:09] 861*2^1520450-1 is not prime. Res64: 39575208A96437DF Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:28] 649*2^1520449-1 is not prime. Res64: B55486D55FF2E038 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:28] 685*2^1520449-1 is not prime. Res64: 729EB20054E14ECB Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:28] 751*2^1520449-1 is not prime. Res64: F2634B4F4F5FEFAB Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:29] 765*2^1520449-1 is not prime. Res64: 22A0E2A9279B2207 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:27:29] 841*2^1520449-1 is not prime. Res64: B142DB87E5258C43 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:42:53] 935*2^1520450-1 is not prime. Res64: 90342E6330FB2DA9 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:42:53] 639*2^1520451-1 is not prime. Res64: 2589A26ADB10F283 Time : 0.0 sec. user=mdettweiler [2018-08-05 08:42:54] 643*2^1520451-1 is not prime. Res64: 42DA2E752169D20F Time : 0.0 sec. user=mdettweiler [2018-08-05 08:42:54] 669*2^1520451-1 is not prime. Res64: 23499F6067613F4B Time : 0.0 sec. user=mdettweiler [2018-08-05 08:42:54] 685*2^1520451-1 is not prime. Res64: 4E244279182B0B34 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:08:03] 735*2^1520451-1 is not prime. Res64: BC98741420FAF38D Time : 0.0 sec. user=mdettweiler [2018-08-05 09:08:05] 769*2^1520451-1 is not prime. Res64: 861ED8D39222ED44 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:08:05] 775*2^1520451-1 is not prime. Res64: 0383483D1DE1B7CE Time : 0.0 sec. user=mdettweiler [2018-08-05 09:08:06] 783*2^1520451-1 is not prime. Res64: 9BE025B3DE628CB8 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:08:06] 675*2^1520452-1 is not prime. Res64: A132CE5D0FCEC496 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:18:47] 695*2^1520452-1 is not prime. Res64: 5DE5F872C51AA85F Time : 0.0 sec. user=mdettweiler [2018-08-05 09:18:48] 735*2^1520452-1 is not prime. Res64: C3E763F09300621D Time : 0.0 sec. user=mdettweiler [2018-08-05 09:18:48] 743*2^1520452-1 is not prime. Res64: 81478FDD7FEF35AD Time : 0.0 sec. user=mdettweiler [2018-08-05 09:18:49] 765*2^1520452-1 is not prime. Res64: DC789EAAF66A3B68 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:18:49] 863*2^1520452-1 is not prime. Res64: F4D1B8E7601CDC25 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:19:28] 909*2^1520452-1 is not prime. Res64: D0B3ED8FF611EFEF Time : 0.0 sec. user=mdettweiler [2018-08-05 09:19:29] 685*2^1520453-1 is not prime. Res64: 9A7B506FF5E8A5C1 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:19:29] 699*2^1520453-1 is not prime. Res64: 931337F68F9CE004 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:19:29] 727*2^1520453-1 is not prime. Res64: 8279C010B6DD052A Time : 0.0 sec. user=mdettweiler [2018-08-05 09:19:30] 735*2^1520453-1 is not prime. Res64: 6B0F19CF13EF2D50 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:34:16] 769*2^1520453-1 is not prime. Res64: DB359DE0BF3A61CB Time : 0.0 sec. user=mdettweiler [2018-08-05 09:34:17] 789*2^1520453-1 is not prime. Res64: 20F61F605D2C55C6 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:34:17] 805*2^1520453-1 is not prime. Res64: C45BE6E41DEC479B Time : 0.0 sec. user=mdettweiler [2018-08-05 09:34:18] 819*2^1520453-1 is not prime. Res64: 0C15106CA2016CA2 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:34:18] 889*2^1520453-1 is not prime. Res64: 29932FEE4D3445C2 Time : 0.0 sec. user=mdettweiler [2018-08-05 09:59:49] 949*2^1520453-1 is not prime. Res64: 5F1BC8F533FE7DBF Time : 0.0 sec. user=mdettweiler [2018-08-05 09:59:50] 711*2^1520454-1 is not prime. Res64: F87E91CDAE2E148C Time : 0.0 sec. user=mdettweiler [2018-08-05 09:59:50] 891*2^1520454-1 is not prime. Res64: 7B21EAB0488DFEEB Time : 0.0 sec. user=mdettweiler [2018-08-05 09:59:50] 685*2^1520455-1 is not prime. Res64: BFBA51F04AF99F6E Time : 0.0 sec. user=mdettweiler [2018-08-05 09:59:51] 783*2^1520455-1 is not prime. Res64: ECB710E652C66D71 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:14] 829*2^1520455-1 is not prime. Res64: DDCD77A546A76FA2 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:14] 831*2^1520455-1 is not prime. Res64: 401133B5B008AF7A Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:15] 841*2^1520455-1 is not prime. Res64: 922798EF0F9DA3EF Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:15] 623*2^1520456-1 is not prime. Res64: 12FE6A4A25099483 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:15] 885*2^1520455-1 is not prime. Res64: 3B493616B95EBAB1 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:15] 717*2^1520456-1 is not prime. Res64: CFFBCCC67A8272D0 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:16] 615*2^1520456-1 is not prime. Res64: 8858BA7B19D71694 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:16] 735*2^1520456-1 is not prime. Res64: 7F57804DFB62EF8A Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:16] 855*2^1520456-1 is not prime. Res64: D00969F1D5AFBE69 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:10:17] 607*2^1520457-1 is not prime. Res64: 0F521455B9BC9C32 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:25:51] 747*2^1520457-1 is not prime. Res64: 5AA8F7018B65C0F6 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:25:51] 759*2^1520457-1 is not prime. Res64: DBF686AEEC395C76 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:25:52] 777*2^1520457-1 is not prime. Res64: 48F5E795892E465B Time : 0.0 sec. user=mdettweiler [2018-08-05 10:25:52] 847*2^1520457-1 is not prime. Res64: 2016EDBEC1F63DEF Time : 0.0 sec. user=mdettweiler [2018-08-05 10:25:53] 849*2^1520457-1 is not prime. Res64: BD6E54ADC838C2F2 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:51:54] 949*2^1520457-1 is not prime. Res64: 2CFE2351933B3B4B Time : 0.0 sec. user=mdettweiler [2018-08-05 10:51:55] 735*2^1520458-1 is not prime. Res64: 3831DDA4DA051CEE Time : 0.0 sec. user=mdettweiler [2018-08-05 10:51:55] 843*2^1520458-1 is not prime. Res64: 731EFB4CA2CE5256 Time : 0.0 sec. user=mdettweiler [2018-08-05 10:51:56] 941*2^1520458-1 is not prime. Res64: 7530BAAFBC8FCAEF Time : 0.0 sec. user=mdettweiler [2018-08-05 10:51:56] 945*2^1520458-1 is not prime. Res64: 4C36E299A0E3CEE7 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:01:46] 999*2^1520459-1 is not prime. Res64: 97981593E98D3690 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:01:46] 623*2^1520460-1 is not prime. Res64: 01F578C2ECACB226 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:01:47] 797*2^1520460-1 is not prime. Res64: 70D85A354B8BD22C Time : 0.0 sec. user=mdettweiler [2018-08-05 11:01:48] 825*2^1520460-1 is not prime. Res64: 141B5E61936FC557 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:01:49] 857*2^1520460-1 is not prime. Res64: D202A149BBF2448B Time : 0.0 sec. user=mdettweiler [2018-08-05 11:02:07] 975*2^1520458-1 is not prime. Res64: 920CBE4F6894BCCA Time : 0.0 sec. user=mdettweiler [2018-08-05 11:02:08] 645*2^1520459-1 is not prime. Res64: 723F1430A8AC923D Time : 0.0 sec. user=mdettweiler [2018-08-05 11:02:08] 771*2^1520459-1 is not prime. Res64: 0D49C0523F816904 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:02:09] 903*2^1520459-1 is not prime. Res64: 2F4291F447E542F6 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:02:10] 969*2^1520459-1 is not prime. Res64: 0DDE0F235BF03DE5 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:17:37] 879*2^1520460-1 is not prime. Res64: 8985A62B526BDACA Time : 0.0 sec. user=mdettweiler [2018-08-05 11:17:38] 909*2^1520460-1 is not prime. Res64: 8DB6A482346C842C Time : 0.0 sec. user=mdettweiler [2018-08-05 11:17:38] 957*2^1520460-1 is not prime. Res64: E07DE295A308E8BC Time : 0.0 sec. user=mdettweiler [2018-08-05 11:17:38] 625*2^1520461-1 is not prime. Res64: 45AB360BFD7747C4 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:17:39] 871*2^1520461-1 is not prime. Res64: 255ACE1FA55A8CDB Time : 0.0 sec. user=mdettweiler [2018-08-05 11:43:34] 877*2^1520461-1 is not prime. Res64: 6B9708748A5794F5 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:43:34] 675*2^1520462-1 is not prime. Res64: 16AB4D5C450457FC Time : 0.0 sec. user=mdettweiler [2018-08-05 11:43:34] 683*2^1520462-1 is not prime. Res64: CC491FCB72BE0B41 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:43:35] 767*2^1520462-1 is not prime. Res64: A5B4DFF6067105B2 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:43:35] 797*2^1520462-1 is not prime. Res64: 98DC8DAF918EF76F Time : 0.0 sec. user=mdettweiler [2018-08-05 11:53:22] 635*2^1520464-1 is not prime. Res64: 5BB8AEFBBEF61270 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:53:22] 693*2^1520464-1 is not prime. Res64: D64E0851EFC4BEFE Time : 0.0 sec. user=mdettweiler [2018-08-05 11:53:23] 819*2^1520464-1 is not prime. Res64: DE71DE2E8461C0AE Time : 0.0 sec. user=mdettweiler [2018-08-05 11:53:23] 959*2^1520464-1 is not prime. Res64: 8C51D30DF12409AF Time : 0.0 sec. user=mdettweiler [2018-08-05 11:53:24] 607*2^1520465-1 is not prime. Res64: BA8183287BF98B51 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:54:19] 825*2^1520462-1 is not prime. Res64: 1785D62BB6242FAF Time : 0.0 sec. user=mdettweiler [2018-08-05 11:54:19] 831*2^1520462-1 is not prime. Res64: 041419A9239CDAAD Time : 0.0 sec. user=mdettweiler [2018-08-05 11:54:20] 915*2^1520462-1 is not prime. Res64: 116A8E6B97B8A8C9 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:54:20] 977*2^1520462-1 is not prime. Res64: 630D331A49FC0489 Time : 0.0 sec. user=mdettweiler [2018-08-05 11:54:20] 679*2^1520463-1 is not prime. Res64: 82CFE4D1E475AA80 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:19:38] 729*2^1520465-1 is not prime. Res64: 74BED16DE457F0CE Time : 0.0 sec. user=mdettweiler [2018-08-05 12:19:38] 781*2^1520465-1 is not prime. Res64: 8C89384A77E8E837 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:19:39] 831*2^1520465-1 is not prime. Res64: 598E2EAF8A9DABBB Time : 0.0 sec. user=mdettweiler [2018-08-05 12:19:39] 841*2^1520465-1 is not prime. Res64: DDDA144629739725 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:19:39] 957*2^1520465-1 is not prime. Res64: D47BE0FCC93000E5 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:35:37] 969*2^1520465-1 is not prime. Res64: 98D877C2F2D8E157 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:35:37] 801*2^1520466-1 is not prime. Res64: 330DCC1BEF0CB5EE Time : 0.0 sec. user=mdettweiler [2018-08-05 12:35:38] 867*2^1520466-1 is not prime. Res64: 90FC963C1201BDFD Time : 0.0 sec. user=mdettweiler [2018-08-05 12:35:38] 887*2^1520466-1 is not prime. Res64: 348450BB26D25B11 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:35:38] 893*2^1520466-1 is not prime. Res64: 1D739957AB1722E8 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:45:54] 733*2^1520467-1 is not prime. Res64: 70DD5E1909005D5F Time : 0.0 sec. user=mdettweiler [2018-08-05 12:45:55] 751*2^1520467-1 is not prime. Res64: 75B9338DD2E2ABEF Time : 0.0 sec. user=mdettweiler [2018-08-05 12:45:55] 805*2^1520467-1 is not prime. Res64: 5C4E6501DB7EB3A0 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:45:56] 975*2^1520467-1 is not prime. Res64: C4EEFC649C95A64D Time : 0.0 sec. user=mdettweiler [2018-08-05 12:45:56] 603*2^1520468-1 is not prime. Res64: 6CBF7BB5DA5EBEFC Time : 0.0 sec. user=mdettweiler [2018-08-05 12:46:11] 983*2^1520466-1 is not prime. Res64: C4114A8CB8666303 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:46:11] 609*2^1520467-1 is not prime. Res64: B02C0214D7ADFC73 Time : 0.0 sec. user=mdettweiler [2018-08-05 12:46:12] 625*2^1520467-1 is not prime. Res64: 2A7D74219014FB9A Time : 0.0 sec. user=mdettweiler [2018-08-05 12:46:12] 673*2^1520467-1 is not prime. Res64: 02B78F699D85E48F Time : 0.0 sec. user=mdettweiler [2018-08-05 12:46:12] 675*2^1520467-1 is not prime. Res64: F16AE7E7C0B5BDB9 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:14:02] 617*2^1520468-1 is not prime. Res64: 3DD88A42CB264782 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:14:03] 813*2^1520468-1 is not prime. Res64: 3AA8F20D2434B571 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:14:04] 819*2^1520468-1 is not prime. Res64: AD2664CEB961AD90 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:14:04] 855*2^1520468-1 is not prime. Res64: 9F3024B68302BADF Time : 0.0 sec. user=mdettweiler [2018-08-05 13:14:05] 909*2^1520468-1 is not prime. Res64: DF353D1E66A2853A Time : 0.0 sec. user=mdettweiler [2018-08-05 13:30:56] 923*2^1520468-1 is not prime. Res64: B68F3270393C59F0 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:30:56] 657*2^1520469-1 is not prime. Res64: 1098B2CCE722E5D7 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:30:56] 751*2^1520469-1 is not prime. Res64: E4C963D7F9DA3F39 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:30:56] 895*2^1520469-1 is not prime. Res64: 56221FA5B8F22261 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:30:57] 765*2^1520470-1 is not prime. Res64: F026CCD66A8CD314 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:40:23] 951*2^1520470-1 is not prime. Res64: 774FD843587061F2 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:40:23] 661*2^1520471-1 is not prime. Res64: 47BB7C8E0BBAD9F8 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:40:23] 819*2^1520471-1 is not prime. Res64: 58DF61C7CEB4FEA9 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:40:24] 859*2^1520471-1 is not prime. Res64: F769841E0E1AC083 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:40:24] 895*2^1520471-1 is not prime. Res64: C6C1E90664FB44CD Time : 0.0 sec. user=mdettweiler [2018-08-05 13:41:21] 969*2^1520471-1 is not prime. Res64: 033F5B32455585EC Time : 0.0 sec. user=mdettweiler [2018-08-05 13:41:21] 973*2^1520471-1 is not prime. Res64: C1C0D5E44C24FA79 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:41:21] 693*2^1520472-1 is not prime. Res64: D8710C0F024FF2DD Time : 0.0 sec. user=mdettweiler [2018-08-05 13:41:22] 725*2^1520472-1 is not prime. Res64: A942238929B61143 Time : 0.0 sec. user=mdettweiler [2018-08-05 13:41:22] 893*2^1520472-1 is not prime. Res64: 9AEE7122A1445A15 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:07:22] 903*2^1520472-1 is not prime. Res64: D513CD9EB3B9CC33 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:07:23] 609*2^1520473-1 is not prime. Res64: 7BD53852A1B3E975 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:07:23] 687*2^1520473-1 is not prime. Res64: D97A6A8732D08604 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:07:23] 741*2^1520473-1 is not prime. Res64: 2B49271068EDCF68 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:07:24] 765*2^1520473-1 is not prime. Res64: 04DBD6C1D27AD338 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:22:20] 829*2^1520473-1 is not prime. Res64: A7CCC01038C4D352 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:22:20] 985*2^1520473-1 is not prime. Res64: 8D10BE32851ED16F Time : 0.0 sec. user=mdettweiler [2018-08-05 14:22:20] 987*2^1520473-1 is not prime. Res64: 54466A3688D75FE8 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:22:21] 999*2^1520473-1 is not prime. Res64: BFB94F741458029A Time : 0.0 sec. user=mdettweiler [2018-08-05 14:22:21] 641*2^1520474-1 is not prime. Res64: 62BACCD369F923E1 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:06] 665*2^1520474-1 is not prime. Res64: 77A52066F5DA5D31 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:06] 701*2^1520474-1 is not prime. Res64: C6AB0ED4F6A0AC06 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:07] 741*2^1520474-1 is not prime. Res64: E9A9260BEE58F486 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:07] 785*2^1520474-1 is not prime. Res64: 4D20FC6CF5E71919 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:08] 825*2^1520474-1 is not prime. Res64: 5F149E7FDB29F873 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:37] 861*2^1520474-1 is not prime. Res64: CD95A221A0BAA8BF Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:37] 675*2^1520475-1 is not prime. Res64: 98A6AFA9565DFECD Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:38] 709*2^1520475-1 is not prime. Res64: EC65368FCFF32CED Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:38] 739*2^1520475-1 is not prime. Res64: 567588CB7A3C1051 Time : 0.0 sec. user=mdettweiler [2018-08-05 14:32:38] 741*2^1520475-1 is not prime. Res64: 3401FE8E38ACBE20 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:01:12] 775*2^1520475-1 is not prime. Res64: 2AC1619BEEDD713C Time : 0.0 sec. user=mdettweiler [2018-08-05 15:01:13] 793*2^1520475-1 is not prime. Res64: FB90587F7B4789F8 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:01:14] 657*2^1520476-1 is not prime. Res64: 02D3C93B39843F23 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:01:15] 689*2^1520476-1 is not prime. Res64: 12E1FE34CF4D9B01 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:01:16] 693*2^1520476-1 is not prime. Res64: BEAE752ED67683B5 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:13:47] 755*2^1520476-1 is not prime. Res64: 951F93DAD2CD4CC0 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:13:48] 785*2^1520476-1 is not prime. Res64: DC6B0F531D8B0E1C Time : 0.0 sec. user=mdettweiler [2018-08-05 15:13:48] 803*2^1520476-1 is not prime. Res64: 91FA1D81E7A9D95A Time : 0.0 sec. user=mdettweiler [2018-08-05 15:13:48] 833*2^1520476-1 is not prime. Res64: FFA1DF0F2E4E2F89 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:13:49] 843*2^1520476-1 is not prime. Res64: F9EE0C83D00572CB Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:30] 875*2^1520476-1 is not prime. Res64: 7A557B861147F9B5 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:31] 939*2^1520476-1 is not prime. Res64: 254CB303AE1B97AE Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:31] 983*2^1520476-1 is not prime. Res64: 91CA4D31478F0C62 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:31] 989*2^1520476-1 is not prime. Res64: 6EB7CF0F075CF707 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:32] 993*2^1520476-1 is not prime. Res64: F481A4924A412598 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:55] 711*2^1520477-1 is not prime. Res64: 9F87EB2CDE87630A Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:56] 991*2^1520477-1 is not prime. Res64: 2CE4E61F64C6A9DB Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:56] 657*2^1520478-1 is not prime. Res64: CCE09DA7E4F4CED8 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:56] 671*2^1520478-1 is not prime. Res64: BAB8A28C3BBAAA00 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:23:57] 725*2^1520478-1 is not prime. Res64: 60E1A5069AFCCDFE Time : 0.0 sec. user=mdettweiler [2018-08-05 15:52:49] 821*2^1520478-1 is not prime. Res64: CCBEC627E8FFB322 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:52:50] 833*2^1520478-1 is not prime. Res64: 64F931EC45248C13 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:52:50] 843*2^1520478-1 is not prime. Res64: 3DD3C182E1018E77 Time : 0.0 sec. user=mdettweiler [2018-08-05 15:52:51] 993*2^1520478-1 is not prime. Res64: A9B55A1DA9E9D27B Time : 0.0 sec. user=mdettweiler [2018-08-05 15:52:51] 693*2^1520479-1 is not prime. Res64: 6A7DF51D5C3B1029 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:04:41] 853*2^1520479-1 is not prime. Res64: 37CE70CA03E972DF Time : 0.0 sec. user=mdettweiler [2018-08-05 16:04:43] 951*2^1520479-1 is not prime. Res64: 828576C098403B43 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:04:43] 973*2^1520479-1 is not prime. Res64: 77DF07DCD893A9E0 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:04:44] 605*2^1520480-1 is not prime. Res64: AAD429FEEC401E37 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:04:45] 615*2^1520480-1 is not prime. Res64: 591BB2A31570DCA8 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:14:49] 843*2^1520480-1 is not prime. Res64: CF9B9E5524653194 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:14:50] 855*2^1520480-1 is not prime. Res64: 1794A94035A6379D Time : 0.0 sec. user=mdettweiler [2018-08-05 16:14:50] 999*2^1520480-1 is not prime. Res64: BB44574CC69A5243 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:14:51] 609*2^1520481-1 is not prime. Res64: 9D6791FA7C7B67DC Time : 0.0 sec. user=mdettweiler [2018-08-05 16:14:51] 625*2^1520481-1 is not prime. Res64: C21CD9EAF796A91F Time : 0.0 sec. user=mdettweiler [2018-08-05 16:15:03] 627*2^1520481-1 is not prime. Res64: E757092F55980398 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:15:04] 651*2^1520481-1 is not prime. Res64: 40AB8E1176A07A26 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:15:04] 999*2^1520481-1 is not prime. Res64: 9EB84ACDFBF990C8 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:15:04] 645*2^1520482-1 is not prime. Res64: 4A8B14C43FE17347 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:15:05] 855*2^1520482-1 is not prime. Res64: 9E97EC96ABABD211 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:45:12] 609*2^1520483-1 is not prime. Res64: EDC3FDD353729AED Time : 0.0 sec. user=mdettweiler [2018-08-05 16:45:13] 715*2^1520483-1 is not prime. Res64: 2D0381596E6570FE Time : 0.0 sec. user=mdettweiler [2018-08-05 16:45:13] 783*2^1520483-1 is not prime. Res64: 4C527EDD818DC030 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:45:13] 811*2^1520483-1 is not prime. Res64: D7B09CDBA0228DF8 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:45:14] 949*2^1520483-1 is not prime. Res64: 0F85ABD08E8E7E43 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:56:27] 981*2^1520483-1 is not prime. Res64: AFD63E41A76BF629 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:56:28] 609*2^1520484-1 is not prime. Res64: 3C6CFC9FC7196CEA Time : 0.0 sec. user=mdettweiler [2018-08-05 16:56:28] 615*2^1520484-1 is not prime. Res64: 198F7B1B3F836933 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:56:28] 705*2^1520484-1 is not prime. Res64: 48F74479899774B3 Time : 0.0 sec. user=mdettweiler [2018-08-05 16:56:29] 773*2^1520484-1 is not prime. Res64: 185DDCC12E5F1E0D Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:34] 675*2^1520485-1 is not prime. Res64: 95FAAE0885EA1C2E Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:35] 799*2^1520485-1 is not prime. Res64: BD845CC64DF59AC8 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:36] 801*2^1520485-1 is not prime. Res64: FF59993BBB40D955 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:37] 825*2^1520485-1 is not prime. Res64: 34985574CC0CFD6A Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:38] 877*2^1520485-1 is not prime. Res64: AEB5DB11C9DE01F4 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:42] 789*2^1520484-1 is not prime. Res64: 8FD75D832CB48733 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:44] 875*2^1520484-1 is not prime. Res64: 378E7630163ED7B8 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:45] 909*2^1520484-1 is not prime. Res64: B9775CDFDEF986EA Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:51] 965*2^1520484-1 is not prime. Res64: 8D298FAEF40A1EBA Time : 0.0 sec. user=mdettweiler [2018-08-05 17:06:54] 607*2^1520485-1 is not prime. Res64: 52686758134D70CD Time : 0.0 sec. user=mdettweiler [2018-08-05 17:36:56] 897*2^1520485-1 is not prime. Res64: 5324DCD6EC3425A3 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:36:57] 937*2^1520485-1 is not prime. Res64: A7533A71C5BC737B Time : 0.0 sec. user=mdettweiler [2018-08-05 17:36:57] 951*2^1520485-1 is not prime. Res64: 2531ABF88A28CC61 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:36:58] 957*2^1520485-1 is not prime. Res64: 75389431EA819BF7 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:36:59] 743*2^1520486-1 is not prime. Res64: 21C7EC306045EECC Time : 0.0 sec. user=mdettweiler [2018-08-05 17:47:47] 825*2^1520486-1 is not prime. Res64: 9B8A2F424B9BADE6 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:47:47] 857*2^1520486-1 is not prime. Res64: 22CF901851D718F8 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:47:47] 887*2^1520486-1 is not prime. Res64: 9162B487EB6A0CDB Time : 0.0 sec. user=mdettweiler [2018-08-05 17:47:48] 897*2^1520486-1 is not prime. Res64: 4013A9264EA62729 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:47:48] 1001*2^1520486-1 is not prime. Res64: 0C8F8AB1A372B7D3 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:00] 693*2^1520487-1 is not prime. Res64: 6A44F8A071DCCE38 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:00] 741*2^1520487-1 is not prime. Res64: 88EE0FD0AB4C49A2 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:00] 781*2^1520487-1 is not prime. Res64: 202BB209BD508181 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:01] 859*2^1520487-1 is not prime. Res64: 0902E81B487AEF4F Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:01] 961*2^1520487-1 is not prime. Res64: E76AB917AC5E8B4D Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:26] 699*2^1520488-1 is not prime. Res64: 6EA97ADA721F2F09 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:26] 707*2^1520488-1 is not prime. Res64: 403F75DE4C05764B Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:27] 875*2^1520488-1 is not prime. Res64: 8167C0FE24294385 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:27] 915*2^1520488-1 is not prime. Res64: 5472376CC794F533 Time : 0.0 sec. user=mdettweiler [2018-08-05 17:58:28] 969*2^1520488-1 is not prime. Res64: 77C987BAA3D59DE1 Time : 0.0 sec. user=MiHost [2018-08-05 18:23:51] 633*2^1520490-1 is not prime. Res64: 460CED612E7E1DC6 Time : 0.0 sec. user=MiHost [2018-08-05 18:23:52] 677*2^1520490-1 is not prime. Res64: 0FDBF0F2BCD50F38 Time : 0.0 sec. user=MiHost [2018-08-05 18:23:52] 711*2^1520490-1 is not prime. Res64: 9A586ACA9DF2DC34 Time : 0.0 sec. user=MiHost [2018-08-05 18:23:53] 893*2^1520490-1 is not prime. Res64: BBA4F90D10655BC6 Time : 0.0 sec. user=MiHost [2018-08-05 18:23:53] 945*2^1520490-1 is not prime. Res64: F3DEA4C8B1F4D63C Time : 0.0 sec. user=mdettweiler [2018-08-05 18:29:30] 999*2^1520488-1 is not prime. Res64: B90F9B8AA1039F57 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:29:30] 627*2^1520489-1 is not prime. Res64: 051306901FA073C0 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:29:30] 741*2^1520489-1 is not prime. Res64: B7936BCD375E6B95 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:29:31] 829*2^1520489-1 is not prime. Res64: A19F15F282081E0C Time : 0.0 sec. user=mdettweiler [2018-08-05 18:29:31] 925*2^1520489-1 is not prime. Res64: 23D52BAC8422BDA3 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:39:23] 789*2^1520491-1 is not prime. Res64: 8063D0101858328E Time : 0.0 sec. user=mdettweiler [2018-08-05 18:39:23] 805*2^1520491-1 is not prime. Res64: 2ACEA44BF24B6764 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:39:24] 885*2^1520491-1 is not prime. Res64: 42F8C451E7A70F5F Time : 0.0 sec. user=mdettweiler [2018-08-05 18:39:24] 943*2^1520491-1 is not prime. Res64: 839187883FBBD3DA Time : 0.0 sec. user=mdettweiler [2018-08-05 18:39:24] 951*2^1520491-1 is not prime. Res64: 63A2A6851DB912D6 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:38] 987*2^1520493-1 is not prime. Res64: FFF4C1CC8BEEC34B Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:38] 957*2^1520494-1 is not prime. Res64: 1CC3E9E40DF42DEE Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:39] 603*2^1520495-1 is not prime. Res64: 8E34767396F641C3 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:39] 619*2^1520495-1 is not prime. Res64: 3CBA4F94FD83A839 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:39] 645*2^1520495-1 is not prime. Res64: 6B126E0C60E49A8C Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:53] 693*2^1520492-1 is not prime. Res64: 4D19420BD7850DE0 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:53] 759*2^1520492-1 is not prime. Res64: 76F92FF547766D20 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:54] 813*2^1520492-1 is not prime. Res64: F3CD4BB706FD6D98 Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:54] 885*2^1520492-1 is not prime. Res64: C97366C049A38CEC Time : 0.0 sec. user=mdettweiler [2018-08-05 18:49:54] 923*2^1520492-1 is not prime. Res64: 8CA527E5941D0C27 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:21:15] 663*2^1520495-1 is not prime. Res64: F0C40D14AF4102F3 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:21:16] 673*2^1520495-1 is not prime. Res64: 8B5C3B73C06CEF98 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:21:16] 693*2^1520495-1 is not prime. Res64: C2F3FB2C056DCAF3 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:21:16] 721*2^1520495-1 is not prime. Res64: 63DA6EB4A705B710 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:21:17] 693*2^1520496-1 is not prime. Res64: DF2EC100EE6CA5F2 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:30:32] 737*2^1520496-1 is not prime. Res64: 9EEE37C81CFFE6DD Time : 0.0 sec. user=mdettweiler [2018-08-05 19:30:32] 615*2^1520497-1 is not prime. Res64: 77D750A8FC2FDF00 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:30:32] 639*2^1520497-1 is not prime. Res64: 902DF13A3FC1E09C Time : 0.0 sec. user=mdettweiler [2018-08-05 19:30:33] 699*2^1520497-1 is not prime. Res64: 2605D40B1ACF3C74 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:30:33] 729*2^1520497-1 is not prime. Res64: 33FAF388B29EB7BB Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:02] 747*2^1520497-1 is not prime. Res64: 38F22D72BD155DDD Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:02] 867*2^1520497-1 is not prime. Res64: 0F662CA2F15C0EAC Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:03] 623*2^1520498-1 is not prime. Res64: 77D5BE988F4E2797 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:03] 773*2^1520498-1 is not prime. Res64: 1B8650586C82938E Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:03] 827*2^1520498-1 is not prime. Res64: 5F2982386DABF3A4 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:13] 831*2^1520498-1 is not prime. Res64: 709496FF1A9A6906 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:14] 875*2^1520498-1 is not prime. Res64: F0F9EB85D926282B Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:14] 885*2^1520498-1 is not prime. Res64: FF5A0349F1ECCBB1 Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:14] 887*2^1520498-1 is not prime. Res64: 82FE980E87601F3B Time : 0.0 sec. user=mdettweiler [2018-08-05 19:41:15] 613*2^1520499-1 is not prime. Res64: 3A71C26353091750 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:12:42] 615*2^1520499-1 is not prime. Res64: 1578C9CEF05B2DA1 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:12:44] 619*2^1520499-1 is not prime. Res64: 70527C6680C60947 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:12:45] 685*2^1520499-1 is not prime. Res64: 5ED04BD24871125A Time : 0.0 sec. user=mdettweiler [2018-08-05 20:12:46] 691*2^1520499-1 is not prime. Res64: 89A7CC126E7EF06A Time : 0.0 sec. user=mdettweiler [2018-08-05 20:12:47] 705*2^1520499-1 is not prime. Res64: 5D481C1C11A34892 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:22:29] 775*2^1520499-1 is not prime. Res64: F807CDB97410E295 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:22:30] 801*2^1520499-1 is not prime. Res64: D0AF93F3DD43467B Time : 0.0 sec. user=mdettweiler [2018-08-05 20:22:30] 891*2^1520499-1 is not prime. Res64: F2EEA997B5ED3E33 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:22:30] 931*2^1520499-1 is not prime. Res64: 70E2F944E1F75A52 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:22:31] 975*2^1520499-1 is not prime. Res64: 53B8394995A375C2 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:18] 965*2^1520500-1 is not prime. Res64: 9536FC2D6931F73D Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:18] 989*2^1520500-1 is not prime. Res64: 95205FB0B2EE3A48 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:18] 999*2^1520500-1 is not prime. Res64: ED3E05860ACF2C01 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:19] 615*2^1520501-1 is not prime. Res64: 8A37D5CC0C050321 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:19] 747*2^1520501-1 is not prime. Res64: 23AEEFD31EAED5FE Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:29] 773*2^1520500-1 is not prime. Res64: 65EDC4FCA687A821 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:29] 843*2^1520500-1 is not prime. Res64: 1C33310AA2315CD8 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:29] 873*2^1520500-1 is not prime. Res64: 58D31381A9D0BE63 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:30] 885*2^1520500-1 is not prime. Res64: C737C9A288FAAD29 Time : 0.0 sec. user=mdettweiler [2018-08-05 20:32:30] 905*2^1520500-1 is not prime. Res64: 580A7E647391FF86 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:04:27] 789*2^1520501-1 is not prime. Res64: B843D9F3E5762547 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:04:28] 621*2^1520502-1 is not prime. Res64: CB5D5684EF33EFD2 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:04:29] 807*2^1520502-1 is not prime. Res64: 7093B29D6B85B932 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:04:30] 873*2^1520502-1 is not prime. Res64: FC9A8EA1D059E6DB Time : 0.0 sec. user=mdettweiler [2018-08-05 21:04:30] 875*2^1520502-1 is not prime. Res64: 805550DD2C7C5041 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:13:42] 887*2^1520502-1 is not prime. Res64: 16EA48E024798A05 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:13:43] 947*2^1520502-1 is not prime. Res64: F2D02E797C56298B Time : 0.0 sec. user=mdettweiler [2018-08-05 21:13:43] 951*2^1520502-1 is not prime. Res64: 05B634028FB8510C Time : 0.0 sec. user=mdettweiler [2018-08-05 21:13:44] 965*2^1520502-1 is not prime. Res64: 7DB06EB6143ADCD1 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:13:44] 673*2^1520503-1 is not prime. Res64: E8A4AE2A2036ACB7 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:23:55] 735*2^1520503-1 is not prime. Res64: 79BFDF55E14935CF Time : 0.0 sec. user=mdettweiler [2018-08-05 21:23:56] 885*2^1520503-1 is not prime. Res64: 02F9A9733563A388 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:23:56] 925*2^1520503-1 is not prime. Res64: CFB7DBBAAF4B88D0 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:23:57] 969*2^1520503-1 is not prime. Res64: FD2BBECE41697D86 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:23:57] 657*2^1520504-1 is not prime. Res64: 281B38576F450AE0 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:24:22] 687*2^1520504-1 is not prime. Res64: 3A5CC3A9A63317C0 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:24:22] 767*2^1520504-1 is not prime. Res64: 018757D73CD8F635 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:24:23] 773*2^1520504-1 is not prime. Res64: 04563B61C8CEBE55 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:24:24] 833*2^1520504-1 is not prime. Res64: F5005A677246E1B4 Time : 0.0 sec. user=mdettweiler [2018-08-05 21:24:24] 869*2^1520504-1 is not prime. Res64: E31402D0F839E76F Time : 0.0 sec. user=mdettweiler [2018-08-05 22:00:38] 915*2^1520504-1 is not prime. Res64: 28C74174C796911E Time : 0.0 sec. user=mdettweiler [2018-08-05 22:00:39] 945*2^1520504-1 is not prime. Res64: 122B8D5A181B3F97 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:00:39] 669*2^1520505-1 is not prime. Res64: 2D6CDCC60BF28D29 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:00:40] 727*2^1520505-1 is not prime. Res64: 6CD3948998BFE61C Time : 0.0 sec. user=mdettweiler [2018-08-05 22:00:41] 739*2^1520505-1 is not prime. Res64: 27CF7ACAAAFDE006 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:09:56] 765*2^1520505-1 is not prime. Res64: FFCB54A36BCDE9E6 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:09:56] 921*2^1520505-1 is not prime. Res64: AD7F64B5C6B57211 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:09:57] 633*2^1520506-1 is not prime. Res64: 8D4EE03D9825BAF7 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:09:57] 677*2^1520506-1 is not prime. Res64: 62A1FF896CE568F5 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:09:58] 723*2^1520506-1 is not prime. Res64: A9B3274501A2D9C0 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:21:04] 747*2^1520506-1 is not prime. Res64: BBB5472A8610AFE6 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:21:05] 755*2^1520506-1 is not prime. Res64: B147ED8ADFBEFD12 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:21:05] 773*2^1520506-1 is not prime. Res64: 034F39BEF5142701 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:21:05] 825*2^1520506-1 is not prime. Res64: 612B420FAF4C1D19 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:21:06] 833*2^1520506-1 is not prime. Res64: BC2BD899997F7140 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:25:28] 857*2^1520506-1 is not prime. Res64: 2778AB48E0D6D428 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:25:28] 911*2^1520506-1 is not prime. Res64: 9BFA7E352E280C83 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:25:29] 917*2^1520506-1 is not prime. Res64: 26CC91FC76DCD743 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:25:29] 645*2^1520507-1 is not prime. Res64: E82EA86272798F50 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:25:29] 651*2^1520507-1 is not prime. Res64: CCE372188359BB59 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:57:29] 711*2^1520507-1 is not prime. Res64: 2D58277ECEB38AF7 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:57:29] 733*2^1520507-1 is not prime. Res64: 134200CAC0AF50CE Time : 0.0 sec. user=mdettweiler [2018-08-05 22:57:30] 843*2^1520507-1 is not prime. Res64: 02622A20E2BF2E4B Time : 0.0 sec. user=mdettweiler [2018-08-05 22:57:30] 859*2^1520507-1 is not prime. Res64: E4970FE54F1ED712 Time : 0.0 sec. user=mdettweiler [2018-08-05 22:57:30] 879*2^1520507-1 is not prime. Res64: 3BA7C024CAFE9564 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:06:22] 885*2^1520507-1 is not prime. Res64: 0289AB894A01450D Time : 0.0 sec. user=mdettweiler [2018-08-05 23:06:23] 889*2^1520507-1 is not prime. Res64: 0B9CC72E8BEEDAC9 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:06:25] 901*2^1520507-1 is not prime. Res64: B8F23BF5246C98F5 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:06:29] 963*2^1520507-1 is not prime. Res64: B4A4C7A867E01CC7 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:06:30] 979*2^1520507-1 is not prime. Res64: 98FAA393E2845AA4 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:17:49] 985*2^1520507-1 is not prime. Res64: ADEAB1C00F115EEC Time : 0.0 sec. user=mdettweiler [2018-08-05 23:17:49] 633*2^1520508-1 is not prime. Res64: 9D377FBDB5AA1C11 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:17:49] 753*2^1520508-1 is not prime. Res64: C87183ED56A34CDB Time : 0.0 sec. user=mdettweiler [2018-08-05 23:17:50] 759*2^1520508-1 is not prime. Res64: FAFB937160C9A43F Time : 0.0 sec. user=mdettweiler [2018-08-05 23:17:50] 819*2^1520508-1 is not prime. Res64: AD39B1FFEABFD949 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:21:34] 825*2^1520508-1 is not prime. Res64: 7565BF0E6EBF19FC Time : 0.0 sec. user=mdettweiler [2018-08-05 23:21:34] 837*2^1520508-1 is not prime. Res64: 47E071F6885C832C Time : 0.0 sec. user=mdettweiler [2018-08-05 23:21:35] 929*2^1520508-1 is not prime. Res64: 0FF0B24DEE3C3A35 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:21:35] 999*2^1520508-1 is not prime. Res64: 56AF370FC6F3C27B Time : 0.0 sec. user=mdettweiler [2018-08-05 23:21:35] 661*2^1520509-1 is not prime. Res64: A8AFEF19FFFDAE37 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:55:34] 667*2^1520509-1 is not prime. Res64: BD36C8B45B996DD0 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:55:35] 741*2^1520509-1 is not prime. Res64: DE256EF45E7B1367 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:55:35] 831*2^1520509-1 is not prime. Res64: 118EF1A21907691A Time : 0.0 sec. user=mdettweiler [2018-08-05 23:55:35] 895*2^1520509-1 is not prime. Res64: 0822F82FC423EA97 Time : 0.0 sec. user=mdettweiler [2018-08-05 23:55:36] 919*2^1520509-1 is not prime. Res64: 09C0D32C746B1FAC Time : 0.0 sec.