user=mdettweiler [2018-06-19 00:05:30] 785*2^1513736-1 is not prime. Res64: 110F5D0C67795630 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:05:31] 837*2^1513736-1 is not prime. Res64: D7A1DF272F6E8352 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:05:33] 839*2^1513736-1 is not prime. Res64: 0682D9CA6EFEA1B7 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:05:34] 857*2^1513736-1 is not prime. Res64: F1D51FA5A3DE4E1B Time : 0.0 sec. user=mdettweiler [2018-06-19 00:05:35] 875*2^1513736-1 is not prime. Res64: 02792D46C8D384FC Time : 0.0 sec. user=mdettweiler [2018-06-19 00:14:24] 993*2^1513736-1 is not prime. Res64: FF2ED34544C91600 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:14:25] 625*2^1513737-1 is not prime. Res64: 631330D4C136ED3B Time : 0.0 sec. user=mdettweiler [2018-06-19 00:14:26] 669*2^1513737-1 is not prime. Res64: 0D83C2854D1C224E Time : 0.0 sec. user=mdettweiler [2018-06-19 00:14:27] 781*2^1513737-1 is not prime. Res64: 3B7739B191D105C2 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:14:27] 871*2^1513737-1 is not prime. Res64: BF3D6EB1B71D8B02 Time : 0.0 sec. user=juhehe [2018-06-19 00:40:34] 855*2^1513738-1 is not prime. Res64: 551C615B909DFA29 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:40:57] 945*2^1513737-1 is not prime. Res64: 79E31EF92285A61A Time : 0.0 sec. user=mdettweiler [2018-06-19 00:40:58] 647*2^1513738-1 is not prime. Res64: A41393E2ACC2984C Time : 0.0 sec. user=mdettweiler [2018-06-19 00:40:58] 677*2^1513738-1 is not prime. Res64: 475A3696CACF94E3 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:40:59] 687*2^1513738-1 is not prime. Res64: D95E5E357BB66172 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:40:59] 827*2^1513738-1 is not prime. Res64: 76A7DAE933BA6CB8 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:50:35] 981*2^1513738-1 is not prime. Res64: 2297897FBC929CA8 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:50:36] 663*2^1513739-1 is not prime. Res64: AB6CB793D97137B3 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:50:36] 759*2^1513739-1 is not prime. Res64: 2B81BF9C3F5FF270 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:50:36] 949*2^1513739-1 is not prime. Res64: E7313CD878FF31E8 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:50:37] 765*2^1513740-1 is not prime. Res64: E74508C700EEC3B9 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:56:54] 789*2^1513740-1 is not prime. Res64: E4CD452970D8599A Time : 0.0 sec. user=mdettweiler [2018-06-19 00:56:54] 857*2^1513740-1 is not prime. Res64: D4C1C261944E8BF2 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:56:55] 741*2^1513741-1 is not prime. Res64: EE79A65012D1389D Time : 0.0 sec. user=mdettweiler [2018-06-19 00:56:55] 747*2^1513741-1 is not prime. Res64: 7D610F61910ADB94 Time : 0.0 sec. user=mdettweiler [2018-06-19 00:56:55] 799*2^1513741-1 is not prime. Res64: 1C7A3AC86C4631D6 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:04:54] 871*2^1513741-1 is not prime. Res64: 7014B37008BDCE27 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:04:56] 895*2^1513741-1 is not prime. Res64: 9C454B7E9E72520D Time : 0.0 sec. user=mdettweiler [2018-06-19 01:04:57] 961*2^1513741-1 is not prime. Res64: FDC090D53F37282C Time : 0.0 sec. user=mdettweiler [2018-06-19 01:04:58] 657*2^1513742-1 is not prime. Res64: BE2A2B8FA58A8B09 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:04:59] 731*2^1513742-1 is not prime. Res64: 6DBD01CB82DDD459 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:31:13] 741*2^1513742-1 is not prime. Res64: EA29D033EFEAB892 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:31:16] 755*2^1513742-1 is not prime. Res64: CFAD2895A15B3628 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:31:17] 867*2^1513742-1 is not prime. Res64: 4010F3799C5F0D08 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:31:18] 921*2^1513742-1 is not prime. Res64: 21A1CFCB0E5A1423 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:31:20] 639*2^1513743-1 is not prime. Res64: 3E1457A29523EBF5 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:40:49] 661*2^1513743-1 is not prime. Res64: 143C1DA2070E0B5E Time : 0.0 sec. user=mdettweiler [2018-06-19 01:40:50] 693*2^1513743-1 is not prime. Res64: 8A3FB31ED6E287BD Time : 0.0 sec. user=mdettweiler [2018-06-19 01:40:51] 723*2^1513743-1 is not prime. Res64: 24416C082F2A506C Time : 0.0 sec. user=mdettweiler [2018-06-19 01:40:51] 735*2^1513743-1 is not prime. Res64: 54DD69D0D2AFD9FE Time : 0.0 sec. user=mdettweiler [2018-06-19 01:40:52] 739*2^1513743-1 is not prime. Res64: 7A3BA2F871DA2784 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:46:14] 793*2^1513743-1 is not prime. Res64: A81D9F43962BFC9C Time : 0.0 sec. user=mdettweiler [2018-06-19 01:46:15] 853*2^1513743-1 is not prime. Res64: 82ABE69057DDBB6D Time : 0.0 sec. user=mdettweiler [2018-06-19 01:46:15] 609*2^1513744-1 is not prime. Res64: 7B9956A921C41DCB Time : 0.0 sec. user=mdettweiler [2018-06-19 01:46:16] 615*2^1513744-1 is not prime. Res64: C78DD2AEE20295A4 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:46:16] 663*2^1513744-1 is not prime. Res64: B5475A46DC92B26E Time : 0.0 sec. user=mdettweiler [2018-06-19 01:56:09] 677*2^1513744-1 is not prime. Res64: D5BD30B63EFED0EA Time : 0.0 sec. user=mdettweiler [2018-06-19 01:56:09] 813*2^1513744-1 is not prime. Res64: F3A894856BC4609A Time : 0.0 sec. user=mdettweiler [2018-06-19 01:56:09] 855*2^1513744-1 is not prime. Res64: E3011CCD203C62CE Time : 0.0 sec. user=mdettweiler [2018-06-19 01:56:10] 965*2^1513744-1 is not prime. Res64: 5E6EDCFAB0EE9D70 Time : 0.0 sec. user=mdettweiler [2018-06-19 01:56:11] 607*2^1513745-1 is not prime. Res64: AD0A4411B9024BEB Time : 0.0 sec. user=mdettweiler [2018-06-19 02:22:08] 715*2^1513745-1 is not prime. Res64: 82800E8D768FC87C Time : 0.0 sec. user=mdettweiler [2018-06-19 02:22:09] 741*2^1513745-1 is not prime. Res64: DDB046551984D8AF Time : 0.0 sec. user=mdettweiler [2018-06-19 02:22:09] 915*2^1513745-1 is not prime. Res64: CD3C98BC82CCD6F2 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:22:10] 641*2^1513746-1 is not prime. Res64: 2EB1C68CD040C651 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:22:10] 807*2^1513746-1 is not prime. Res64: E575336AE672E3C5 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:30:33] 921*2^1513746-1 is not prime. Res64: DF7FD34F998731B5 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:30:33] 983*2^1513746-1 is not prime. Res64: E884E0ABC7FBA826 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:30:34] 633*2^1513747-1 is not prime. Res64: 9320275366126F40 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:30:34] 645*2^1513747-1 is not prime. Res64: 1DF5E1D9C26D900C Time : 0.0 sec. user=mdettweiler [2018-06-19 02:30:35] 663*2^1513747-1 is not prime. Res64: 3FFA4201E21611BD Time : 0.0 sec. user=mdettweiler [2018-06-19 02:36:29] 681*2^1513747-1 is not prime. Res64: 1BA14883F14476FA Time : 0.0 sec. user=mdettweiler [2018-06-19 02:36:30] 735*2^1513747-1 is not prime. Res64: 9CA7008C22E03AF8 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:36:30] 835*2^1513747-1 is not prime. Res64: 1FD158D1AE5C2F4A Time : 0.0 sec. user=mdettweiler [2018-06-19 02:36:31] 915*2^1513747-1 is not prime. Res64: 7CC7BF097335BCFF Time : 0.0 sec. user=mdettweiler [2018-06-19 02:36:31] 659*2^1513748-1 is not prime. Res64: E65C1CC23944F77E Time : 0.0 sec. user=mdettweiler [2018-06-19 02:47:15] 665*2^1513748-1 is not prime. Res64: 904D8F3FDFC6901E Time : 0.0 sec. user=mdettweiler [2018-06-19 02:47:16] 725*2^1513748-1 is not prime. Res64: 085393777546DA78 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:47:16] 743*2^1513748-1 is not prime. Res64: FA235C5792A041A9 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:47:17] 839*2^1513748-1 is not prime. Res64: 5D701D7066AAF051 Time : 0.0 sec. user=mdettweiler [2018-06-19 02:47:17] 969*2^1513748-1 is not prime. Res64: 96876BF8FC1C466D Time : 0.0 sec. user=juhehe [2018-06-19 02:51:22] 649*2^1513749-1 is not prime. Res64: 2CDD86EB3DC843C9 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:14:07] 709*2^1513749-1 is not prime. Res64: 192556AF14AAD3DC Time : 0.0 sec. user=mdettweiler [2018-06-19 03:14:08] 735*2^1513749-1 is not prime. Res64: 416D44F2469BA790 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:14:08] 825*2^1513749-1 is not prime. Res64: 6E48BE2A1295D214 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:14:09] 885*2^1513749-1 is not prime. Res64: 34CB13662C2CBDF2 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:14:10] 919*2^1513749-1 is not prime. Res64: 5B8F824512CEB086 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:22:21] 945*2^1513749-1 is not prime. Res64: 3CC5B708F0E8B215 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:22:21] 833*2^1513750-1 is not prime. Res64: 176FF4468F03F212 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:22:22] 873*2^1513750-1 is not prime. Res64: EBD2253B85B28C14 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:22:22] 923*2^1513750-1 is not prime. Res64: 35779452D0D1D6B9 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:22:23] 945*2^1513750-1 is not prime. Res64: 6C3FA8637090AED1 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:27:58] 693*2^1513751-1 is not prime. Res64: B2E20D5FE9124FEE Time : 0.0 sec. user=mdettweiler [2018-06-19 03:27:59] 883*2^1513751-1 is not prime. Res64: 12BF1C1E9CA2B5E9 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:28:00] 609*2^1513752-1 is not prime. Res64: DE79EB54E8A1129C Time : 0.0 sec. user=mdettweiler [2018-06-19 03:28:01] 759*2^1513752-1 is not prime. Res64: 67F775C178714779 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:28:01] 797*2^1513752-1 is not prime. Res64: AED9274761596756 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:37:53] 857*2^1513752-1 is not prime. Res64: 269E0FB448921F4C Time : 0.0 sec. user=mdettweiler [2018-06-19 03:37:56] 879*2^1513752-1 is not prime. Res64: 53AB8F7BFC26F843 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:38:00] 909*2^1513752-1 is not prime. Res64: 96FC161D7CFAACD2 Time : 0.0 sec. user=mdettweiler [2018-06-19 03:38:02] 975*2^1513752-1 is not prime. Res64: F8CCD7B3F3DBD08D Time : 0.0 sec. user=mdettweiler [2018-06-19 03:38:06] 691*2^1513753-1 is not prime. Res64: 97D5596E3B1BC876 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:04:37] 751*2^1513753-1 is not prime. Res64: BB867D2F85B2DCCF Time : 0.0 sec. user=mdettweiler [2018-06-19 04:04:45] 831*2^1513753-1 is not prime. Res64: EB29039525A2B155 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:04:50] 847*2^1513753-1 is not prime. Res64: 164F8AF5D7108BDB Time : 0.0 sec. user=mdettweiler [2018-06-19 04:04:53] 925*2^1513753-1 is not prime. Res64: CB1DF0139F067F47 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:04:56] 615*2^1513754-1 is not prime. Res64: 9185D9F3A1C4C527 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:12:48] 717*2^1513754-1 is not prime. Res64: 6B0F9B32225D46EF Time : 0.0 sec. user=mdettweiler [2018-06-19 04:18:11] 601*2^1513755-1 is not prime. Res64: F9D369F861038694 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:18:14] 649*2^1513755-1 is not prime. Res64: D481F791BD433038 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:18:17] 723*2^1513755-1 is not prime. Res64: 1943C9083640E6E5 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:18:19] 819*2^1513755-1 is not prime. Res64: C0499D0E12E6B44C Time : 0.0 sec. user=mdettweiler [2018-06-19 04:18:22] 859*2^1513755-1 is not prime. Res64: A89CA0E705A1BCBB Time : 0.0 sec. user=mdettweiler [2018-06-19 04:34:24] 891*2^1513755-1 is not prime. Res64: 687189C1F476F554 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:34:25] 961*2^1513755-1 is not prime. Res64: 48F00F2D15DE7FB4 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:34:26] 963*2^1513755-1 is not prime. Res64: DF9891614AEC6D6F Time : 0.0 sec. user=mdettweiler [2018-06-19 04:34:27] 603*2^1513756-1 is not prime. Res64: 3819961ECB15CBB4 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:34:28] 657*2^1513756-1 is not prime. Res64: 83DA7DC9114235B4 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:57:12] 743*2^1513756-1 is not prime. Res64: 73A983F0EA43FEA9 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:57:12] 825*2^1513756-1 is not prime. Res64: 0A5A0A2D2290ECAE Time : 0.0 sec. user=mdettweiler [2018-06-19 04:57:13] 905*2^1513756-1 is not prime. Res64: 4C7668859B741788 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:57:13] 909*2^1513756-1 is not prime. Res64: 51C4926D7A902C49 Time : 0.0 sec. user=mdettweiler [2018-06-19 04:57:14] 953*2^1513756-1 is not prime. Res64: C6CA706B750263CE Time : 0.0 sec. user=mdettweiler [2018-06-19 05:14:23] 993*2^1513756-1 is not prime. Res64: 8D9C275E6CDA0C77 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:14:25] 631*2^1513757-1 is not prime. Res64: C1413E3E100B7E79 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:14:26] 759*2^1513757-1 is not prime. Res64: 22E35DCC0E61CD44 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:14:26] 819*2^1513757-1 is not prime. Res64: 03DD86A5FA29398C Time : 0.0 sec. user=mdettweiler [2018-06-19 05:14:27] 825*2^1513757-1 is not prime. Res64: B36F1F8019B418A7 Time : 0.0 sec. user=juhehe [2018-06-19 05:16:49] 837*2^1513757-1 is not prime. Res64: 0B00E899811778E0 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:25:56] 957*2^1513757-1 is not prime. Res64: EE16BF2BAE7C0840 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:25:57] 663*2^1513758-1 is not prime. Res64: B210DE14214FC2AC Time : 0.0 sec. user=mdettweiler [2018-06-19 05:25:57] 665*2^1513758-1 is not prime. Res64: 6223718A2F96C89D Time : 0.0 sec. user=mdettweiler [2018-06-19 05:25:58] 927*2^1513758-1 is not prime. Res64: EFC01E4EC2797739 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:25:59] 993*2^1513758-1 is not prime. Res64: C03FD8EDAB6FBBC5 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:47:51] 649*2^1513759-1 is not prime. Res64: BE691660BE316571 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:47:51] 859*2^1513759-1 is not prime. Res64: A00B9F206F6E9155 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:47:53] 913*2^1513759-1 is not prime. Res64: 4BEFC6E87C39C6BE Time : 0.0 sec. user=mdettweiler [2018-06-19 05:47:53] 975*2^1513759-1 is not prime. Res64: 42319F7EAD786607 Time : 0.0 sec. user=mdettweiler [2018-06-19 05:47:54] 609*2^1513760-1 is not prime. Res64: 794B13184D6FC1C8 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:05:32] 665*2^1513760-1 is not prime. Res64: F2CB1B46ADAC5024 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:05:35] 845*2^1513760-1 is not prime. Res64: F812D93511CFF884 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:05:36] 875*2^1513760-1 is not prime. Res64: EC4B8BEDC8C70A31 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:05:39] 923*2^1513760-1 is not prime. Res64: 46FDAA81533DEBA2 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:05:40] 963*2^1513760-1 is not prime. Res64: C9F34D55501DFDE3 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:16:59] 977*2^1513760-1 is not prime. Res64: B380251E7CECAAF5 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:17:00] 681*2^1513761-1 is not prime. Res64: 89C059BAC6F88E1D Time : 0.0 sec. user=mdettweiler [2018-06-19 06:17:00] 741*2^1513761-1 is not prime. Res64: 26CFFC83A0D0CB24 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:17:01] 951*2^1513761-1 is not prime. Res64: EF3948765DCB6E42 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:17:01] 611*2^1513762-1 is not prime. Res64: 0CED19DCA8C16B1A Time : 0.0 sec. user=mdettweiler [2018-06-19 06:38:40] 617*2^1513762-1 is not prime. Res64: 63E8D1851E9566E1 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:38:40] 623*2^1513762-1 is not prime. Res64: CECFC334142CEA18 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:38:40] 741*2^1513762-1 is not prime. Res64: 6DB1F4223A3FB956 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:38:41] 825*2^1513762-1 is not prime. Res64: 3076FB92D094CC47 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:38:41] 833*2^1513762-1 is not prime. Res64: 3972766D6F0DD8DA Time : 0.0 sec. user=juhehe [2018-06-19 06:50:11] 945*2^1513762-1 is not prime. Res64: 91823EA2DC5E809E Time : 0.0 sec. user=mdettweiler [2018-06-19 06:57:03] 603*2^1513763-1 is not prime. Res64: EA467524CF4BA26D Time : 0.0 sec. user=mdettweiler [2018-06-19 06:57:03] 609*2^1513763-1 is not prime. Res64: B8FB977298E9147E Time : 0.0 sec. user=mdettweiler [2018-06-19 06:57:04] 615*2^1513763-1 is not prime. Res64: E8D4AA0BE2494FD5 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:57:04] 783*2^1513763-1 is not prime. Res64: BA433F79A4E40053 Time : 0.0 sec. user=mdettweiler [2018-06-19 06:57:04] 813*2^1513763-1 is not prime. Res64: 76AFDA8751D6192C Time : 0.0 sec. user=mdettweiler [2018-06-19 07:08:46] 981*2^1513763-1 is not prime. Res64: D99B9D0E53DB1EE9 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:08:47] 615*2^1513764-1 is not prime. Res64: F9049E3516E3AE9D Time : 0.0 sec. user=mdettweiler [2018-06-19 07:08:48] 665*2^1513764-1 is not prime. Res64: 067DA913E1A63C7A Time : 0.0 sec. user=mdettweiler [2018-06-19 07:08:48] 767*2^1513764-1 is not prime. Res64: 2EF201818AB1B665 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:08:49] 789*2^1513764-1 is not prime. Res64: A29385EFC03C42BB Time : 0.0 sec. user=mdettweiler [2018-06-19 07:30:30] 825*2^1513764-1 is not prime. Res64: FF12A2AF425745E0 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:30:30] 863*2^1513764-1 is not prime. Res64: 3B4FC66D759BE373 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:30:31] 915*2^1513764-1 is not prime. Res64: C77199B6F383C209 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:30:31] 625*2^1513765-1 is not prime. Res64: 1AEEBD4E330B4DBD Time : 0.0 sec. user=mdettweiler [2018-06-19 07:30:31] 651*2^1513765-1 is not prime. Res64: 740C1AE1AE537BE3 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:34:13] 747*2^1513754-1 is not prime. Res64: 75E6194A5B480C58 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:34:14] 831*2^1513754-1 is not prime. Res64: 2437886E7AAA9D82 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:34:14] 861*2^1513754-1 is not prime. Res64: CAA67266B9752341 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:34:14] 971*2^1513754-1 is not prime. Res64: BC0F2F77CEC94DE2 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:48:25] 757*2^1513765-1 is not prime. Res64: 74EB7468DD628ECD Time : 0.0 sec. user=mdettweiler [2018-06-19 07:48:25] 861*2^1513765-1 is not prime. Res64: F7CD06CCA4F05B35 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:48:26] 999*2^1513765-1 is not prime. Res64: A3F9F08DC2044901 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:48:26] 677*2^1513766-1 is not prime. Res64: 6C64634AD16CF61B Time : 0.0 sec. user=mdettweiler [2018-06-19 07:48:27] 683*2^1513766-1 is not prime. Res64: 610DC1D38112B4ED Time : 0.0 sec. user=mdettweiler [2018-06-19 07:59:46] 773*2^1513766-1 is not prime. Res64: AC549E8EEB6C9A34 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:59:46] 827*2^1513766-1 is not prime. Res64: 398CB916D87EFE73 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:59:46] 887*2^1513766-1 is not prime. Res64: AE2DFD95A6871447 Time : 0.0 sec. user=mdettweiler [2018-06-19 07:59:47] 911*2^1513766-1 is not prime. Res64: 8434233272EE2E0B Time : 0.0 sec. user=mdettweiler [2018-06-19 07:59:47] 619*2^1513767-1 is not prime. Res64: 695493CFBCB2E051 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:20:47] 675*2^1513767-1 is not prime. Res64: 34722C7022017995 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:20:47] 781*2^1513767-1 is not prime. Res64: BD742F3F4AF64A50 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:20:48] 859*2^1513767-1 is not prime. Res64: DAFC914E2C44BCBB Time : 0.0 sec. user=mdettweiler [2018-06-19 08:20:48] 617*2^1513768-1 is not prime. Res64: DE52641CE1DE08FF Time : 0.0 sec. user=mdettweiler [2018-06-19 08:20:49] 665*2^1513768-1 is not prime. Res64: BFA2A5E799331EBA Time : 0.0 sec. user=mdettweiler [2018-06-19 08:24:49] 713*2^1513768-1 is not prime. Res64: DA4F6850CAEF3074 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:24:49] 839*2^1513768-1 is not prime. Res64: E63BB15F96EFFBEE Time : 0.0 sec. user=mdettweiler [2018-06-19 08:24:50] 909*2^1513768-1 is not prime. Res64: A06DA5B091403182 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:24:50] 999*2^1513768-1 is not prime. Res64: 0C39A2561FE2E53A Time : 0.0 sec. user=mdettweiler [2018-06-19 08:24:51] 889*2^1513769-1 is not prime. Res64: 447476286FACAF18 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:38:41] 907*2^1513769-1 is not prime. Res64: AD9E981D24B287A6 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:38:42] 925*2^1513769-1 is not prime. Res64: 9477287F12ADB3C4 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:38:42] 939*2^1513769-1 is not prime. Res64: 4FC4E7D5D7529547 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:38:42] 945*2^1513769-1 is not prime. Res64: 5650AA26B051338E Time : 0.0 sec. user=mdettweiler [2018-06-19 08:38:43] 651*2^1513770-1 is not prime. Res64: 7EF594DBAC178597 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:50:14] 755*2^1513770-1 is not prime. Res64: 0499F6A8D02FDEE2 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:50:14] 783*2^1513770-1 is not prime. Res64: 5723DAE571462C43 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:50:14] 833*2^1513770-1 is not prime. Res64: 743CD6CFE6D54933 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:50:15] 843*2^1513770-1 is not prime. Res64: 962B16DE83568172 Time : 0.0 sec. user=mdettweiler [2018-06-19 08:50:15] 851*2^1513770-1 is not prime. Res64: 87B04B71A491A531 Time : 0.0 sec. user=juhehe [2018-06-19 09:10:11] 873*2^1513772-1 is not prime. Res64: 7C20A934490ED60B Time : 0.0 sec. user=mdettweiler [2018-06-19 09:10:51] 963*2^1513770-1 is not prime. Res64: 5E9AC232195BCCED Time : 0.0 sec. user=mdettweiler [2018-06-19 09:10:52] 603*2^1513771-1 is not prime. Res64: 45C08BBCA2D41A33 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:10:52] 751*2^1513771-1 is not prime. Res64: 918C5197CCBC678F Time : 0.0 sec. user=mdettweiler [2018-06-19 09:10:53] 759*2^1513771-1 is not prime. Res64: D6D932A9FA9603CC Time : 0.0 sec. user=mdettweiler [2018-06-19 09:10:53] 783*2^1513771-1 is not prime. Res64: 0375ED50E1D43E06 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:15:05] 973*2^1513771-1 is not prime. Res64: 9774CFC6450AE9BA Time : 0.0 sec. user=mdettweiler [2018-06-19 09:15:05] 647*2^1513772-1 is not prime. Res64: 414B348BA66A4A14 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:15:06] 675*2^1513772-1 is not prime. Res64: 01D06DE19B160285 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:15:06] 803*2^1513772-1 is not prime. Res64: D517CF09B237EC6E Time : 0.0 sec. user=mdettweiler [2018-06-19 09:15:07] 833*2^1513772-1 is not prime. Res64: 168035A9FD7DD05A Time : 0.0 sec. user=mdettweiler [2018-06-19 09:28:53] 945*2^1513772-1 is not prime. Res64: 3A4B78E9BCC9BAAA Time : 0.0 sec. user=mdettweiler [2018-06-19 09:28:54] 957*2^1513772-1 is not prime. Res64: 219DCED2B96F8E28 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:28:54] 609*2^1513773-1 is not prime. Res64: AD866E1B4B7F5932 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:28:54] 781*2^1513773-1 is not prime. Res64: F637F7438C3AE522 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:28:55] 787*2^1513773-1 is not prime. Res64: F0C8E5C92253BF2D Time : 0.0 sec. user=mdettweiler [2018-06-19 09:40:28] 847*2^1513773-1 is not prime. Res64: D1B6FF52C40276F7 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:40:29] 991*2^1513773-1 is not prime. Res64: DC5552EE57264369 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:40:29] 645*2^1513774-1 is not prime. Res64: 252A77E9F9EE3642 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:40:30] 773*2^1513774-1 is not prime. Res64: 97C4D503B7609EA5 Time : 0.0 sec. user=mdettweiler [2018-06-19 09:40:30] 821*2^1513774-1 is not prime. Res64: FDDF520D1E75D3EB Time : 0.0 sec. user=mdettweiler [2018-06-19 10:00:50] 951*2^1513774-1 is not prime. Res64: B1757642BB344914 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:00:52] 957*2^1513774-1 is not prime. Res64: 8095856F30DF67DC Time : 0.0 sec. user=mdettweiler [2018-06-19 10:00:54] 619*2^1513775-1 is not prime. Res64: 65F896CC1234D085 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:00:57] 633*2^1513775-1 is not prime. Res64: 7DF138D229B23D55 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:01:00] 673*2^1513775-1 is not prime. Res64: F407B9375E762861 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:05:43] 763*2^1513775-1 is not prime. Res64: 2092A263C3E9557F Time : 0.0 sec. user=mdettweiler [2018-06-19 10:05:46] 823*2^1513775-1 is not prime. Res64: 5023304F708DC8E4 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:05:47] 861*2^1513775-1 is not prime. Res64: 3671448888F62EB0 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:05:48] 883*2^1513775-1 is not prime. Res64: 34DE6AF8D6CD8C3C Time : 0.0 sec. user=mdettweiler [2018-06-19 10:05:49] 885*2^1513775-1 is not prime. Res64: 172FDC976D1F2F09 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:19:42] 909*2^1513775-1 is not prime. Res64: 86B6C0F975F24C96 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:19:42] 915*2^1513775-1 is not prime. Res64: EA6105846C13F932 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:19:43] 985*2^1513775-1 is not prime. Res64: 613A07549B71FD85 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:19:43] 669*2^1513776-1 is not prime. Res64: ED4D5471316C52AE Time : 0.0 sec. user=mdettweiler [2018-06-19 10:19:44] 693*2^1513776-1 is not prime. Res64: 901A282E8E8B5D4F Time : 0.0 sec. user=mdettweiler [2018-06-19 10:30:29] 773*2^1513776-1 is not prime. Res64: F84F8A6A5BCE1AAF Time : 0.0 sec. user=mdettweiler [2018-06-19 10:30:30] 909*2^1513776-1 is not prime. Res64: 7513F112E47920FD Time : 0.0 sec. user=mdettweiler [2018-06-19 10:30:30] 915*2^1513777-1 is not prime. Res64: 8EA8F29523DC714D Time : 0.0 sec. user=mdettweiler [2018-06-19 10:30:30] 617*2^1513778-1 is not prime. Res64: EF14C15DB128DE85 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:30:31] 641*2^1513778-1 is not prime. Res64: 70E9EA0A8978041E Time : 0.0 sec. user=mdettweiler [2018-06-19 10:53:08] 645*2^1513778-1 is not prime. Res64: CDABBAE6648B986C Time : 0.0 sec. user=mdettweiler [2018-06-19 10:53:08] 671*2^1513778-1 is not prime. Res64: C3E0709E7CD078BF Time : 0.0 sec. user=mdettweiler [2018-06-19 10:53:09] 731*2^1513778-1 is not prime. Res64: 7683F0F1A8CB480C Time : 0.0 sec. user=mdettweiler [2018-06-19 10:53:09] 743*2^1513778-1 is not prime. Res64: 1F67ADAD79FD2A0C Time : 0.0 sec. user=mdettweiler [2018-06-19 10:53:10] 837*2^1513778-1 is not prime. Res64: FF4299FDC70603FE Time : 0.0 sec. user=mdettweiler [2018-06-19 10:58:21] 845*2^1513778-1 is not prime. Res64: FED92605BE7E312F Time : 0.0 sec. user=mdettweiler [2018-06-19 10:58:21] 613*2^1513779-1 is not prime. Res64: 480B1B8159145558 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:58:22] 679*2^1513779-1 is not prime. Res64: 2A8B68655B1A9094 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:58:22] 903*2^1513779-1 is not prime. Res64: 92E9E7E66577A990 Time : 0.0 sec. user=mdettweiler [2018-06-19 10:58:22] 931*2^1513779-1 is not prime. Res64: 7BB23059C00FD4BD Time : 0.0 sec. user=mdettweiler [2018-06-19 11:11:57] 949*2^1513779-1 is not prime. Res64: D2374ADBDCDCED04 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:11:57] 647*2^1513780-1 is not prime. Res64: A617F43D3F8C51E3 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:11:58] 857*2^1513780-1 is not prime. Res64: 65E625357057F089 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:11:58] 899*2^1513780-1 is not prime. Res64: 1E5CE6377160CC36 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:11:58] 939*2^1513780-1 is not prime. Res64: 3F70057708E36B8C Time : 0.0 sec. user=mdettweiler [2018-06-19 11:22:33] 983*2^1513780-1 is not prime. Res64: FA0EE1878FDD5AF0 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:22:34] 615*2^1513781-1 is not prime. Res64: 8997A9E6B9151E88 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:22:34] 679*2^1513781-1 is not prime. Res64: AFA237AD45A4A5ED Time : 0.0 sec. user=mdettweiler [2018-06-19 11:22:34] 691*2^1513781-1 is not prime. Res64: 1048E7E1A4B019FB Time : 0.0 sec. user=mdettweiler [2018-06-19 11:22:34] 745*2^1513781-1 is not prime. Res64: D36F6AB86A813766 Time : 0.0 sec. user=juhehe [2018-06-19 11:30:07] 855*2^1513781-1 is not prime. Res64: F7D33AC6EE2C9A29 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:47:18] 871*2^1513781-1 is not prime. Res64: BDFBC781992E3F7C Time : 0.0 sec. user=mdettweiler [2018-06-19 11:47:18] 907*2^1513781-1 is not prime. Res64: 6C669CA3E1A1BBE7 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:47:19] 949*2^1513781-1 is not prime. Res64: F119BF1506533E1D Time : 0.0 sec. user=mdettweiler [2018-06-19 11:47:19] 677*2^1513782-1 is not prime. Res64: FD3922E305F7C6CC Time : 0.0 sec. user=mdettweiler [2018-06-19 11:47:19] 693*2^1513782-1 is not prime. Res64: B09DA281FFC589CF Time : 0.0 sec. user=mdettweiler [2018-06-19 11:52:46] 741*2^1513782-1 is not prime. Res64: 4CFE6445608FF97D Time : 0.0 sec. user=mdettweiler [2018-06-19 11:52:46] 807*2^1513782-1 is not prime. Res64: F94184F818FEDAF4 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:52:46] 903*2^1513782-1 is not prime. Res64: E669D0913DB94262 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:52:47] 917*2^1513782-1 is not prime. Res64: B473A87F4A351D76 Time : 0.0 sec. user=mdettweiler [2018-06-19 11:52:47] 983*2^1513782-1 is not prime. Res64: 5E97750CADAA0E15 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:06:43] 649*2^1513783-1 is not prime. Res64: D5A56A50078144AA Time : 0.0 sec. user=mdettweiler [2018-06-19 12:06:44] 969*2^1513783-1 is not prime. Res64: 41384D3054AD2B82 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:06:45] 657*2^1513784-1 is not prime. Res64: EE1EE7588D69D049 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:06:46] 903*2^1513784-1 is not prime. Res64: 1382AFB9ABD99DB9 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:06:47] 609*2^1513785-1 is not prime. Res64: F3AAC8173DF9ECE6 Time : 0.0 sec. user=juhehe [2018-06-19 12:16:12] 741*2^1513786-1 is not prime. Res64: 90166B5F72748E16 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:17:18] 951*2^1513785-1 is not prime. Res64: 10B560D4173518EF Time : 0.0 sec. user=mdettweiler [2018-06-19 12:17:19] 997*2^1513785-1 is not prime. Res64: 816C1C8A83BC00AA Time : 0.0 sec. user=mdettweiler [2018-06-19 12:17:19] 677*2^1513786-1 is not prime. Res64: 5C4C064C0655894A Time : 0.0 sec. user=mdettweiler [2018-06-19 12:17:19] 717*2^1513786-1 is not prime. Res64: BA16271CD3ECD8D5 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:17:20] 735*2^1513786-1 is not prime. Res64: CDE7850F455316E5 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:39:01] 777*2^1513786-1 is not prime. Res64: 02DCE5D1722B240C Time : 0.0 sec. user=mdettweiler [2018-06-19 12:39:02] 815*2^1513786-1 is not prime. Res64: 14982AFB1A1CBA61 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:39:02] 911*2^1513786-1 is not prime. Res64: B3117A28526F9B73 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:39:02] 733*2^1513787-1 is not prime. Res64: D6142AF9F6051ECC Time : 0.0 sec. user=mdettweiler [2018-06-19 12:39:03] 741*2^1513787-1 is not prime. Res64: 81F287959E4A20AB Time : 0.0 sec. user=mdettweiler [2018-06-19 12:43:50] 841*2^1513787-1 is not prime. Res64: 8CDA4970F153C022 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:43:51] 859*2^1513787-1 is not prime. Res64: 6F7A4786928DA515 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:43:51] 949*2^1513787-1 is not prime. Res64: DCB6196D20BC6EB8 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:43:52] 993*2^1513787-1 is not prime. Res64: 91BE28EAB6904324 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:43:52] 605*2^1513788-1 is not prime. Res64: 7B4D6772A8462248 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:57:59] 647*2^1513788-1 is not prime. Res64: F73DF73E2473D607 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:58:00] 759*2^1513788-1 is not prime. Res64: 25CFB84BC0216494 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:58:00] 789*2^1513788-1 is not prime. Res64: 3317E8F22A447046 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:58:00] 843*2^1513788-1 is not prime. Res64: 6A9E430A90BE8330 Time : 0.0 sec. user=mdettweiler [2018-06-19 12:58:01] 845*2^1513788-1 is not prime. Res64: 1A67B8B3C6DDE8DF Time : 0.0 sec. user=mdettweiler [2018-06-19 13:08:11] 887*2^1513788-1 is not prime. Res64: AB162223DE4DDC34 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:08:13] 893*2^1513788-1 is not prime. Res64: 9299334196A52C20 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:08:15] 933*2^1513788-1 is not prime. Res64: 0B6EFC64862844E4 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:08:17] 959*2^1513788-1 is not prime. Res64: B2404BBBC86D7305 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:08:18] 687*2^1513789-1 is not prime. Res64: 21FD0DAFAC5C19B0 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:29:16] 757*2^1513789-1 is not prime. Res64: 6C788D6D994357CE Time : 0.0 sec. user=mdettweiler [2018-06-19 13:29:16] 835*2^1513789-1 is not prime. Res64: BDBE16C2D2978A84 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:29:17] 867*2^1513789-1 is not prime. Res64: 9F065B161EC7C4E4 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:29:17] 877*2^1513789-1 is not prime. Res64: 8961F1A18FA740FE Time : 0.0 sec. user=mdettweiler [2018-06-19 13:29:18] 627*2^1513790-1 is not prime. Res64: 5EB93BD63F31CEC5 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:33:47] 635*2^1513790-1 is not prime. Res64: 3C97CF992F6753E7 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:33:47] 755*2^1513790-1 is not prime. Res64: FF69EEEC011C7F6B Time : 0.0 sec. user=mdettweiler [2018-06-19 13:33:48] 825*2^1513790-1 is not prime. Res64: DFCBADC07DBFAC2D Time : 0.0 sec. user=mdettweiler [2018-06-19 13:33:48] 1001*2^1513790-1 is not prime. Res64: C862577B49B60BF7 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:33:49] 615*2^1513791-1 is not prime. Res64: 5ADEBB2D73B77B96 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:48:42] 675*2^1513791-1 is not prime. Res64: 25A74F206E7993E6 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:48:42] 705*2^1513791-1 is not prime. Res64: 79910DAF3147A0AB Time : 0.0 sec. user=mdettweiler [2018-06-19 13:48:43] 711*2^1513791-1 is not prime. Res64: 6D384FB6DCE35236 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:48:43] 781*2^1513791-1 is not prime. Res64: 8835B8E4C7F32AE8 Time : 0.0 sec. user=mdettweiler [2018-06-19 13:48:43] 789*2^1513791-1 is not prime. Res64: 4CEF63DB21927B42 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:00:21] 825*2^1513791-1 is not prime. Res64: A04CFACECEE45C84 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:00:22] 829*2^1513791-1 is not prime. Res64: 3FD8D0382BA4C3CC Time : 0.0 sec. user=mdettweiler [2018-06-19 14:00:23] 909*2^1513791-1 is not prime. Res64: 3FD50DAF7769F167 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:00:24] 931*2^1513791-1 is not prime. Res64: 2F7D8A37D4E8EAAF Time : 0.0 sec. user=mdettweiler [2018-06-19 14:00:27] 999*2^1513791-1 is not prime. Res64: E3D1B12E912FCEB0 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:19:32] 705*2^1513792-1 is not prime. Res64: 7FE4CE6118128F70 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:19:33] 843*2^1513792-1 is not prime. Res64: 6FAFD4E2834133FC Time : 0.0 sec. user=mdettweiler [2018-06-19 14:19:33] 875*2^1513792-1 is not prime. Res64: F5745C4A5586AB9C Time : 0.0 sec. user=mdettweiler [2018-06-19 14:19:34] 909*2^1513792-1 is not prime. Res64: B77E68D2C0F4FD14 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:19:34] 627*2^1513793-1 is not prime. Res64: D8C770DEFF79FAA0 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:23:55] 649*2^1513793-1 is not prime. Res64: 123F79746391E664 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:23:56] 697*2^1513793-1 is not prime. Res64: 2A5A7E73FE377E6E Time : 0.0 sec. user=mdettweiler [2018-06-19 14:23:56] 705*2^1513793-1 is not prime. Res64: 2AB89C6736BC9090 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:23:56] 741*2^1513793-1 is not prime. Res64: D1B18337EE6A7A92 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:23:57] 937*2^1513793-1 is not prime. Res64: 254840A3C3166554 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:39:41] 955*2^1513793-1 is not prime. Res64: 3C029B9AA7E770AA Time : 0.0 sec. user=mdettweiler [2018-06-19 14:39:41] 957*2^1513793-1 is not prime. Res64: 98870200EC972F52 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:39:42] 969*2^1513793-1 is not prime. Res64: B8A3BEBCF7F96130 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:39:42] 641*2^1513794-1 is not prime. Res64: 4D96738F5372FAE2 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:39:42] 731*2^1513794-1 is not prime. Res64: D31B6A6AB355268D Time : 0.0 sec. user=mdettweiler [2018-06-19 14:52:05] 755*2^1513794-1 is not prime. Res64: 311F544CEFA8D308 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:52:06] 825*2^1513794-1 is not prime. Res64: 2E2B4B272D568D07 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:52:06] 833*2^1513794-1 is not prime. Res64: 953B8A6551CFC773 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:52:06] 887*2^1513794-1 is not prime. Res64: 075665D80C460866 Time : 0.0 sec. user=mdettweiler [2018-06-19 14:52:07] 905*2^1513794-1 is not prime. Res64: 898D42A15D55EC2E Time : 0.0 sec. user=mdettweiler [2018-06-19 15:11:07] 941*2^1513794-1 is not prime. Res64: 5AF1E8CFD97947CF Time : 0.0 sec. user=mdettweiler [2018-06-19 15:11:07] 947*2^1513794-1 is not prime. Res64: B6A80305E8D149E4 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:11:08] 971*2^1513794-1 is not prime. Res64: 5C872C35001B246A Time : 0.0 sec. user=mdettweiler [2018-06-19 15:11:09] 1001*2^1513794-1 is not prime. Res64: 0122CBF2A6DE2CD4 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:11:09] 603*2^1513795-1 is not prime. Res64: D875F5EDE786182F Time : 0.0 sec. user=mdettweiler [2018-06-19 15:14:57] 609*2^1513795-1 is not prime. Res64: 6665B664DF740201 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:14:58] 619*2^1513795-1 is not prime. Res64: 7E91079E7D845802 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:14:58] 723*2^1513795-1 is not prime. Res64: 04DD858B563EF72A Time : 0.0 sec. user=mdettweiler [2018-06-19 15:14:59] 759*2^1513795-1 is not prime. Res64: F97705A47EDDA94A Time : 0.0 sec. user=mdettweiler [2018-06-19 15:14:59] 775*2^1513795-1 is not prime. Res64: 34DC80BCD9E64191 Time : 0.0 sec. user=juhehe [2018-06-19 15:23:58] 789*2^1513795-1 is not prime. Res64: 9020172BAC18D268 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:31:03] 985*2^1513795-1 is not prime. Res64: 97093B9159623F9F Time : 0.0 sec. user=mdettweiler [2018-06-19 15:31:03] 759*2^1513796-1 is not prime. Res64: B6B72E647026D87D Time : 0.0 sec. user=mdettweiler [2018-06-19 15:31:03] 785*2^1513796-1 is not prime. Res64: 7B202AB89BC06D0B Time : 0.0 sec. user=mdettweiler [2018-06-19 15:31:04] 825*2^1513796-1 is not prime. Res64: 79088ACAA1EE8A9E Time : 0.0 sec. user=mdettweiler [2018-06-19 15:31:04] 869*2^1513796-1 is not prime. Res64: F2AD685C4B72C7AE Time : 0.0 sec. user=mdettweiler [2018-06-19 15:43:01] 879*2^1513796-1 is not prime. Res64: B47A8E53802B2A69 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:43:01] 627*2^1513797-1 is not prime. Res64: BC81BCC4CD385C12 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:43:02] 675*2^1513797-1 is not prime. Res64: 3A3397CBDD8A46CF Time : 0.0 sec. user=mdettweiler [2018-06-19 15:43:02] 717*2^1513797-1 is not prime. Res64: DA0AD23E272C5254 Time : 0.0 sec. user=mdettweiler [2018-06-19 15:43:03] 781*2^1513797-1 is not prime. Res64: 18F4164CDCC1ADE0 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:02:29] 817*2^1513797-1 is not prime. Res64: D3BDF2EA9CE1747C Time : 0.0 sec. user=mdettweiler [2018-06-19 16:02:32] 829*2^1513797-1 is not prime. Res64: 8ECFD4CD7BC8FD8C Time : 0.0 sec. user=mdettweiler [2018-06-19 16:02:33] 955*2^1513797-1 is not prime. Res64: B7D4ADB6824C3C1C Time : 0.0 sec. user=mdettweiler [2018-06-19 16:02:34] 651*2^1513798-1 is not prime. Res64: 8A537171B56B97E7 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:02:35] 747*2^1513798-1 is not prime. Res64: CDF8E210A227D5C4 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:06:23] 755*2^1513798-1 is not prime. Res64: 7950E16D14439D0C Time : 0.0 sec. user=mdettweiler [2018-06-19 16:06:24] 765*2^1513798-1 is not prime. Res64: AFF23752F8282059 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:06:25] 791*2^1513798-1 is not prime. Res64: C9B368003F99C30D Time : 0.0 sec. user=mdettweiler [2018-06-19 16:06:27] 801*2^1513798-1 is not prime. Res64: 62D761FFAE31D5A1 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:06:28] 825*2^1513798-1 is not prime. Res64: 1742208889577ABA Time : 0.0 sec. user=mdettweiler [2018-06-19 16:21:49] 1001*2^1513798-1 is not prime. Res64: 9524BA15BBF28FFD Time : 0.0 sec. user=mdettweiler [2018-06-19 16:21:50] 619*2^1513799-1 is not prime. Res64: 97ED977EA30A48BB Time : 0.0 sec. user=mdettweiler [2018-06-19 16:21:50] 645*2^1513799-1 is not prime. Res64: 517BEB1B78B2F613 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:21:51] 685*2^1513799-1 is not prime. Res64: 02C9DAB0A632464D Time : 0.0 sec. user=mdettweiler [2018-06-19 16:21:51] 799*2^1513799-1 is not prime. Res64: A28A9903B302197F Time : 0.0 sec. user=mdettweiler [2018-06-19 16:33:49] 843*2^1513799-1 is not prime. Res64: EE7DCDDA0C678753 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:33:50] 943*2^1513799-1 is not prime. Res64: 982883650DFB27AB Time : 0.0 sec. user=mdettweiler [2018-06-19 16:33:50] 653*2^1513800-1 is not prime. Res64: FC76F8BC45D6537A Time : 0.0 sec. user=mdettweiler [2018-06-19 16:33:51] 737*2^1513800-1 is not prime. Res64: B5D38F7B7A00AB51 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:33:51] 879*2^1513800-1 is not prime. Res64: 1671EBE845C5C207 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:53:43] 905*2^1513800-1 is not prime. Res64: 388EC318D21B6A5B Time : 0.0 sec. user=mdettweiler [2018-06-19 16:53:44] 999*2^1513800-1 is not prime. Res64: 715589120623B61E Time : 0.0 sec. user=mdettweiler [2018-06-19 16:53:44] 691*2^1513801-1 is not prime. Res64: 052D1C832B8F93C1 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:53:45] 769*2^1513801-1 is not prime. Res64: C6EC6DCF003E3DDF Time : 0.0 sec. user=mdettweiler [2018-06-19 16:53:45] 801*2^1513801-1 is not prime. Res64: ADADBF9C17EF6C0A Time : 0.0 sec. user=mdettweiler [2018-06-19 16:56:44] 807*2^1513801-1 is not prime. Res64: 5EDF70A2662688FC Time : 0.0 sec. user=mdettweiler [2018-06-19 16:56:44] 951*2^1513801-1 is not prime. Res64: 07B95088FD2C35C8 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:56:45] 617*2^1513802-1 is not prime. Res64: 25428A3F7DB52CE7 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:56:45] 713*2^1513802-1 is not prime. Res64: 1A7D66FD90D36201 Time : 0.0 sec. user=mdettweiler [2018-06-19 16:56:46] 995*2^1513802-1 is not prime. Res64: 938FC3770E8F072B Time : 0.0 sec. user=mdettweiler [2018-06-19 17:12:18] 613*2^1513803-1 is not prime. Res64: 7155A081BB788766 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:12:19] 675*2^1513803-1 is not prime. Res64: 578AC40FF7F0758F Time : 0.0 sec. user=mdettweiler [2018-06-19 17:12:19] 723*2^1513803-1 is not prime. Res64: A4EB6F8CC8120B9D Time : 0.0 sec. user=mdettweiler [2018-06-19 17:12:19] 735*2^1513803-1 is not prime. Res64: 1CBA6E386BAB9FC1 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:12:20] 741*2^1513803-1 is not prime. Res64: F296770DB497CEAF Time : 0.0 sec. user=mdettweiler [2018-06-19 17:24:16] 859*2^1513803-1 is not prime. Res64: DD35AE6392A4F411 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:24:17] 635*2^1513804-1 is not prime. Res64: ED0A2FC8437E5AF4 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:24:17] 863*2^1513804-1 is not prime. Res64: 8903A0BEE71E3E39 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:24:18] 897*2^1513804-1 is not prime. Res64: 5CB4535DBEED0B75 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:24:18] 983*2^1513804-1 is not prime. Res64: ECEA55560A862457 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:44:19] 699*2^1513805-1 is not prime. Res64: 5FE2C07382667AB7 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:44:20] 715*2^1513805-1 is not prime. Res64: B4EF7687357AAD10 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:44:20] 759*2^1513805-1 is not prime. Res64: FFDB1E91558832AA Time : 0.0 sec. user=mdettweiler [2018-06-19 17:44:21] 925*2^1513805-1 is not prime. Res64: 939E02B83E51F5A8 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:44:21] 951*2^1513805-1 is not prime. Res64: 3854F0DA3A071A98 Time : 0.0 sec. user=juhehe [2018-06-19 17:44:36] 777*2^1513806-1 is not prime. Res64: BF3451039D944EEF Time : 0.0 sec. user=mdettweiler [2018-06-19 17:46:30] 627*2^1513806-1 is not prime. Res64: 9E74315D71426CFE Time : 0.0 sec. user=mdettweiler [2018-06-19 17:46:30] 641*2^1513806-1 is not prime. Res64: 31FDCA8DEEE1A978 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:46:31] 671*2^1513806-1 is not prime. Res64: B8870F8DF9F7A069 Time : 0.0 sec. user=mdettweiler [2018-06-19 17:46:31] 711*2^1513806-1 is not prime. Res64: 4A39591090EA2EFF Time : 0.0 sec. user=mdettweiler [2018-06-19 17:46:31] 741*2^1513806-1 is not prime. Res64: B97805B9B8CE001E Time : 0.0 sec. user=mdettweiler [2018-06-19 18:02:22] 875*2^1513806-1 is not prime. Res64: 56902396187BDDF6 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:02:23] 921*2^1513806-1 is not prime. Res64: 4BC83DA474D31624 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:02:24] 609*2^1513807-1 is not prime. Res64: 8096DA658E4D34BD Time : 0.0 sec. user=mdettweiler [2018-06-19 18:02:24] 615*2^1513807-1 is not prime. Res64: 30562E4ECC34DD1E Time : 0.0 sec. user=mdettweiler [2018-06-19 18:02:25] 735*2^1513807-1 is not prime. Res64: 27B95AEEBA52340D Time : 0.0 sec. user=mdettweiler [2018-06-19 18:15:05] 871*2^1513807-1 is not prime. Res64: DE5625E3B9425600 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:15:06] 915*2^1513807-1 is not prime. Res64: 7C6BA284DBD75AE1 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:15:06] 973*2^1513807-1 is not prime. Res64: 9460F1E09A9385EB Time : 0.0 sec. user=mdettweiler [2018-06-19 18:15:07] 985*2^1513807-1 is not prime. Res64: 18B9845171C58F29 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:15:07] 743*2^1513808-1 is not prime. Res64: 875A5DE4132D8418 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:35:03] 893*2^1513808-1 is not prime. Res64: 5FB3D3B873648B20 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:35:04] 625*2^1513809-1 is not prime. Res64: CBA48F5F364941E5 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:35:04] 705*2^1513809-1 is not prime. Res64: 60DDE6A9FAFF8ADB Time : 0.0 sec. user=mdettweiler [2018-06-19 18:35:05] 807*2^1513809-1 is not prime. Res64: 944FD4029230FE57 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:35:05] 951*2^1513809-1 is not prime. Res64: 7526A1A067299366 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:36:47] 955*2^1513809-1 is not prime. Res64: 30DA7E462870D83A Time : 0.0 sec. user=mdettweiler [2018-06-19 18:36:47] 603*2^1513810-1 is not prime. Res64: 5B7D1F5872422CCE Time : 0.0 sec. user=mdettweiler [2018-06-19 18:36:47] 611*2^1513810-1 is not prime. Res64: 638BFF2E68599CF8 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:36:48] 677*2^1513810-1 is not prime. Res64: E8725A9EBF6EAAA0 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:36:48] 701*2^1513810-1 is not prime. Res64: 088CB1597560CC90 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:53:47] 713*2^1513810-1 is not prime. Res64: D5B127834DF1E4FC Time : 0.0 sec. user=mdettweiler [2018-06-19 18:53:47] 735*2^1513810-1 is not prime. Res64: 47C65B3C49E1EC58 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:53:48] 747*2^1513810-1 is not prime. Res64: 2D49B0AE6C1872EB Time : 0.0 sec. user=mdettweiler [2018-06-19 18:53:48] 765*2^1513810-1 is not prime. Res64: B7ECCD1B9FB3B388 Time : 0.0 sec. user=mdettweiler [2018-06-19 18:53:49] 783*2^1513810-1 is not prime. Res64: 3E54B9104FEEBCB4 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:05:17] 785*2^1513810-1 is not prime. Res64: C1EE6D21DC6B3BAA Time : 0.0 sec. user=mdettweiler [2018-06-19 19:05:19] 791*2^1513810-1 is not prime. Res64: E232A1E53D7FA17A Time : 0.0 sec. user=mdettweiler [2018-06-19 19:05:21] 827*2^1513810-1 is not prime. Res64: A69152D37302BA4F Time : 0.0 sec. user=mdettweiler [2018-06-19 19:05:24] 945*2^1513810-1 is not prime. Res64: F81B1AD4C4A9056A Time : 0.0 sec. user=mdettweiler [2018-06-19 19:05:26] 645*2^1513811-1 is not prime. Res64: B27322861D988DF3 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:25:22] 703*2^1513811-1 is not prime. Res64: DD6CF3EC9A7A1974 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:25:23] 735*2^1513811-1 is not prime. Res64: 9BD2548436FD7130 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:25:23] 745*2^1513811-1 is not prime. Res64: FF8F169DED43CB86 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:25:24] 829*2^1513811-1 is not prime. Res64: AA33F20DE7FD1782 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:25:24] 841*2^1513811-1 is not prime. Res64: 372C5F863EAA3825 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:27:00] 943*2^1513811-1 is not prime. Res64: D5BAECEB5477C658 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:27:01] 605*2^1513812-1 is not prime. Res64: 425669AF9C51D8D3 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:27:01] 669*2^1513812-1 is not prime. Res64: B5650526F2403091 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:27:02] 683*2^1513812-1 is not prime. Res64: B31A037436600013 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:27:02] 719*2^1513812-1 is not prime. Res64: E353266B8A321220 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:44:13] 725*2^1513812-1 is not prime. Res64: 73E6A3A03930FE00 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:44:14] 887*2^1513812-1 is not prime. Res64: 64A1BC863A6D1D13 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:44:14] 903*2^1513812-1 is not prime. Res64: 56E2297E43D43936 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:44:15] 977*2^1513812-1 is not prime. Res64: 8269EA7FDADC7D4B Time : 0.0 sec. user=mdettweiler [2018-06-19 19:44:15] 983*2^1513812-1 is not prime. Res64: CF60782939ACD06E Time : 0.0 sec. user=mdettweiler [2018-06-19 19:56:18] 615*2^1513813-1 is not prime. Res64: CD16B1C78D7E5428 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:56:18] 769*2^1513813-1 is not prime. Res64: 6EE5D63798A02586 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:56:19] 831*2^1513813-1 is not prime. Res64: 6408F92D23977E7F Time : 0.0 sec. user=mdettweiler [2018-06-19 19:56:19] 937*2^1513813-1 is not prime. Res64: 0D4026AF834B2543 Time : 0.0 sec. user=mdettweiler [2018-06-19 19:56:19] 939*2^1513813-1 is not prime. Res64: 1757DBC6EFE6FA0C Time : 0.0 sec. user=juhehe [2018-06-19 20:04:44] 985*2^1513813-1 is not prime. Res64: D0984D46F3497786 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:15:48] 617*2^1513814-1 is not prime. Res64: FCD6AE6650F20CB7 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:15:48] 683*2^1513814-1 is not prime. Res64: 02C643394F463827 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:15:49] 741*2^1513814-1 is not prime. Res64: A18448F8E3F71A97 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:15:49] 815*2^1513814-1 is not prime. Res64: F310BAC0D21D45E1 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:15:50] 885*2^1513814-1 is not prime. Res64: 438041B5D90E2036 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:17:06] 651*2^1513815-1 is not prime. Res64: D615040C83A015C9 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:17:06] 775*2^1513815-1 is not prime. Res64: 1359F260ED5C9A84 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:17:07] 885*2^1513815-1 is not prime. Res64: 68ED4FED92F1229E Time : 0.0 sec. user=mdettweiler [2018-06-19 20:17:07] 943*2^1513815-1 is not prime. Res64: 1F3DF3369575985B Time : 0.0 sec. user=mdettweiler [2018-06-19 20:17:07] 951*2^1513815-1 is not prime. Res64: BEFBDB1212FDB5A3 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:34:05] 609*2^1513816-1 is not prime. Res64: B8B8D2B449C431BD Time : 0.0 sec. user=mdettweiler [2018-06-19 20:34:06] 615*2^1513816-1 is not prime. Res64: 19D5D3E4F14CDB3F Time : 0.0 sec. user=mdettweiler [2018-06-19 20:34:06] 689*2^1513816-1 is not prime. Res64: 38D6E4B2567CA009 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:34:07] 723*2^1513816-1 is not prime. Res64: 13443DB7EF8C70DD Time : 0.0 sec. user=mdettweiler [2018-06-19 20:34:07] 735*2^1513816-1 is not prime. Res64: 5D0FEAC76AF2A0AD Time : 0.0 sec. user=mdettweiler [2018-06-19 20:47:02] 843*2^1513816-1 is not prime. Res64: 1E405606D1140234 Time : 0.0 sec. user=mdettweiler [2018-06-19 20:47:02] 845*2^1513816-1 is not prime. Res64: 593AC7A6536CB2DF Time : 0.0 sec. user=mdettweiler [2018-06-19 20:47:03] 869*2^1513816-1 is not prime. Res64: 8841B0F98504B34E Time : 0.0 sec. user=mdettweiler [2018-06-19 20:47:03] 947*2^1513816-1 is not prime. Res64: EE079A90CE73312C Time : 0.0 sec. user=mdettweiler [2018-06-19 20:47:04] 957*2^1513816-1 is not prime. Res64: 7D18E729C3BD5E7C Time : 0.0 sec. user=mdettweiler [2018-06-19 21:06:01] 697*2^1513817-1 is not prime. Res64: A6AD26A912EF98F2 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:06:03] 771*2^1513817-1 is not prime. Res64: 3BF607F13F4F049A Time : 0.0 sec. user=mdettweiler [2018-06-19 21:06:04] 847*2^1513817-1 is not prime. Res64: 2D3533721F51B623 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:06:07] 885*2^1513817-1 is not prime. Res64: E717E6E52ED31728 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:06:14] 615*2^1513818-1 is not prime. Res64: 13373B767568A6D1 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:07:24] 633*2^1513818-1 is not prime. Res64: 3168BC1C42B70864 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:07:29] 747*2^1513818-1 is not prime. Res64: D3E32F58D879DA7D Time : 0.0 sec. user=mdettweiler [2018-06-19 21:07:33] 765*2^1513818-1 is not prime. Res64: 4659E19A6B15C05E Time : 0.0 sec. user=mdettweiler [2018-06-19 21:07:36] 867*2^1513818-1 is not prime. Res64: C8E21C3C09747AD0 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:07:41] 923*2^1513818-1 is not prime. Res64: 3D20DFC994D9FAAD Time : 0.0 sec. user=mdettweiler [2018-06-19 21:24:46] 741*2^1513819-1 is not prime. Res64: 5C3AA289CE449C73 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:24:47] 859*2^1513819-1 is not prime. Res64: 81C5291655D39236 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:24:47] 885*2^1513819-1 is not prime. Res64: A9E9E5A50BC69481 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:24:47] 969*2^1513819-1 is not prime. Res64: F30AFD013CCC80AF Time : 0.0 sec. user=mdettweiler [2018-06-19 21:24:48] 975*2^1513819-1 is not prime. Res64: 884BB06DCA0881FF Time : 0.0 sec. user=mdettweiler [2018-06-19 21:36:17] 635*2^1513820-1 is not prime. Res64: 862D88E33645E76B Time : 0.0 sec. user=mdettweiler [2018-06-19 21:36:18] 959*2^1513820-1 is not prime. Res64: 8732CFCB1C3BA64E Time : 0.0 sec. user=mdettweiler [2018-06-19 21:36:18] 999*2^1513820-1 is not prime. Res64: 4E362F799B7FB7A8 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:36:19] 609*2^1513821-1 is not prime. Res64: FBC0EA8D85B02A74 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:36:19] 625*2^1513821-1 is not prime. Res64: 3617E9455EA0C819 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:58:35] 937*2^1513821-1 is not prime. Res64: A99EECF69109DB71 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:58:36] 979*2^1513821-1 is not prime. Res64: 6B82C907B1D7E4A9 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:58:36] 603*2^1513822-1 is not prime. Res64: 232497E87818C4A0 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:58:36] 647*2^1513822-1 is not prime. Res64: 5E93CAAEFA2EE869 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:58:36] 777*2^1513822-1 is not prime. Res64: EF2070DCFFB6189A Time : 0.0 sec. user=mdettweiler [2018-06-19 21:59:38] 741*2^1513821-1 is not prime. Res64: 8C8E92F0CB0596DF Time : 0.0 sec. user=mdettweiler [2018-06-19 21:59:38] 745*2^1513821-1 is not prime. Res64: 2B08271CA8E82C70 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:59:39] 751*2^1513821-1 is not prime. Res64: 62DC0DCD5074C1A9 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:59:39] 811*2^1513821-1 is not prime. Res64: 5E23774B0B731793 Time : 0.0 sec. user=mdettweiler [2018-06-19 21:59:39] 921*2^1513821-1 is not prime. Res64: A5B79E92477BF233 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:17:31] 815*2^1513822-1 is not prime. Res64: F77B820DB937EDEB Time : 0.0 sec. user=mdettweiler [2018-06-19 22:17:32] 831*2^1513822-1 is not prime. Res64: FA9F0AB83AF4B600 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:17:32] 603*2^1513823-1 is not prime. Res64: 26FB463DD4B64BF0 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:17:33] 775*2^1513823-1 is not prime. Res64: 43C20E7C8DF39D13 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:17:33] 805*2^1513823-1 is not prime. Res64: A8A68CF038FF286A Time : 0.0 sec. user=juhehe [2018-06-19 22:26:42] 759*2^1513824-1 is not prime. Res64: C087D4686A5F1BC6 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:28:37] 825*2^1513823-1 is not prime. Res64: 39439161AC442CFA Time : 0.0 sec. user=mdettweiler [2018-06-19 22:28:38] 859*2^1513823-1 is not prime. Res64: 0BBBCFB01B451C37 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:28:38] 605*2^1513824-1 is not prime. Res64: D13B6D0787F2B971 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:28:38] 635*2^1513824-1 is not prime. Res64: 3175D971465D668F Time : 0.0 sec. user=mdettweiler [2018-06-19 22:28:39] 753*2^1513824-1 is not prime. Res64: 81A14D06599BF3E5 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:50:34] 843*2^1513824-1 is not prime. Res64: BD11D0D68C5D42FA Time : 0.0 sec. user=mdettweiler [2018-06-19 22:50:35] 903*2^1513824-1 is not prime. Res64: 652BC9A97609F769 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:50:35] 649*2^1513825-1 is not prime. Res64: 402BA3EF59D4342A Time : 0.0 sec. user=mdettweiler [2018-06-19 22:50:36] 675*2^1513825-1 is not prime. Res64: B85616E91160D92C Time : 0.0 sec. user=mdettweiler [2018-06-19 22:50:36] 741*2^1513825-1 is not prime. Res64: A62C460E2893088A Time : 0.0 sec. user=mdettweiler [2018-06-19 22:52:09] 799*2^1513825-1 is not prime. Res64: AF7E308FD09CCAC3 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:52:09] 831*2^1513825-1 is not prime. Res64: 68574C2B34C2E719 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:52:09] 979*2^1513825-1 is not prime. Res64: 7F966E95123DA548 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:52:10] 677*2^1513826-1 is not prime. Res64: 9178BE831039E191 Time : 0.0 sec. user=mdettweiler [2018-06-19 22:52:10] 705*2^1513826-1 is not prime. Res64: 16211352C07E56F5 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:09:42] 935*2^1513826-1 is not prime. Res64: D7599CF8259635E1 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:09:44] 953*2^1513826-1 is not prime. Res64: 31CDE1BEB8EE48CF Time : 0.0 sec. user=mdettweiler [2018-06-19 23:09:45] 971*2^1513826-1 is not prime. Res64: 96FABF610EF60B97 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:09:46] 983*2^1513826-1 is not prime. Res64: 04A6A9C7DA8D16C6 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:09:47] 751*2^1513827-1 is not prime. Res64: D36F0B1C533C7736 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:21:09] 769*2^1513827-1 is not prime. Res64: 27761E0D86F73D79 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:21:09] 795*2^1513827-1 is not prime. Res64: 5A5FFBAFCFA034FB Time : 0.0 sec. user=mdettweiler [2018-06-19 23:21:10] 823*2^1513827-1 is not prime. Res64: 1A39F6740DC965EC Time : 0.0 sec. user=mdettweiler [2018-06-19 23:21:10] 849*2^1513827-1 is not prime. Res64: 36C050F158019853 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:21:10] 975*2^1513827-1 is not prime. Res64: B09F394B1700ADF9 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:42:27] 803*2^1513828-1 is not prime. Res64: 1674F11A6B7714D1 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:42:27] 897*2^1513828-1 is not prime. Res64: B4A85B3888E2CF92 Time : 0.0 sec. user=mdettweiler [2018-06-19 23:42:28] 619*2^1513829-1 is not prime. Res64: 5672D153BBBA629C Time : 0.0 sec. user=mdettweiler [2018-06-19 23:42:28] 645*2^1513829-1 is not prime. Res64: 065AF13F8B9EC48C Time : 0.0 sec. user=mdettweiler [2018-06-19 23:42:29] 801*2^1513829-1 is not prime. Res64: 4644028103905DB4 Time : 0.0 sec.