user=mdettweiler [2017-04-13 00:07:42] 829*2^1451427-1 is not prime. Res64: E4271986F23D071B Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:43] 871*2^1451427-1 is not prime. Res64: 27409673BAB64BAB Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:43] 605*2^1451428-1 is not prime. Res64: A8A693953A443DBE Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:43] 903*2^1451427-1 is not prime. Res64: 510DB368BC8146CB Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:44] 639*2^1451428-1 is not prime. Res64: 5B7155527F626AD9 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:44] 955*2^1451427-1 is not prime. Res64: 136F6E71153CFAE1 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:44] 657*2^1451428-1 is not prime. Res64: A13BFCAFB138FFE1 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:44] 603*2^1451428-1 is not prime. Res64: CF34D977D449F269 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:45] 663*2^1451428-1 is not prime. Res64: 46153CCBEA138394 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:07:45] 665*2^1451428-1 is not prime. Res64: F3A7487D0401FAF0 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:35:00] 819*2^1451428-1 is not prime. Res64: A6E5AD1100EE4BD4 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:35:01] 927*2^1451428-1 is not prime. Res64: 3668CD59BB97F865 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:35:01] 947*2^1451428-1 is not prime. Res64: 7703FA6CAAFEE36B Time : 0.0 sec. user=mdettweiler [2017-04-13 00:35:01] 789*2^1451429-1 is not prime. Res64: F7C4B00CD511575C Time : 0.0 sec. user=mdettweiler [2017-04-13 00:35:02] 931*2^1451429-1 is not prime. Res64: BFA54850128B1C52 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:41:38] 755*2^1451430-1 is not prime. Res64: FC3570046D7C2FAD Time : 0.0 sec. user=mdettweiler [2017-04-13 00:41:38] 801*2^1451430-1 is not prime. Res64: D2728CF73CD61109 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:41:39] 893*2^1451430-1 is not prime. Res64: 42FB2E3DC9146EB8 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:41:39] 723*2^1451431-1 is not prime. Res64: 1487B6A277EDBE19 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:41:39] 843*2^1451431-1 is not prime. Res64: E5BDD74875542FD8 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:38] 925*2^1451431-1 is not prime. Res64: D03E9E652E3340D6 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:38] 975*2^1451431-1 is not prime. Res64: 89FD32A7E062AFE6 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:39] 617*2^1451432-1 is prime! Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:40] 719*2^1451432-1 is not prime. Res64: 1B062A4D791BA918 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:40] 753*2^1451432-1 is not prime. Res64: 4E33CA7701FD1C68 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:46] 797*2^1451432-1 is not prime. Res64: 19A30DA82A5E6444 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:46] 867*2^1451432-1 is not prime. Res64: B20CE3801AE93AF2 Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:47] 875*2^1451432-1 is not prime. Res64: D14E494CF3BBB19F Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:47] 923*2^1451432-1 is not prime. Res64: 13AC076A48B31CDD Time : 0.0 sec. user=mdettweiler [2017-04-13 00:52:48] 949*2^1451433-1 is not prime. Res64: 83C344632BD9DB71 Time : 0.0 sec. user=juhehe [2017-04-13 01:07:45] 979*2^1451433-1 is not prime. Res64: C8B3CEC6C7A437E6 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:20:05] 605*2^1451434-1 is not prime. Res64: A7FE8EF5CE633FC8 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:20:05] 645*2^1451434-1 is not prime. Res64: 68C365A3C9A09A2E Time : 0.0 sec. user=mdettweiler [2017-04-13 01:20:06] 755*2^1451434-1 is not prime. Res64: 7A97A55EE22BF147 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:20:06] 825*2^1451434-1 is not prime. Res64: 81AB200C50C6D68F Time : 0.0 sec. user=mdettweiler [2017-04-13 01:20:07] 915*2^1451434-1 is not prime. Res64: 392DD68A78721CAF Time : 0.0 sec. user=mdettweiler [2017-04-13 01:26:44] 601*2^1451435-1 is not prime. Res64: 3AE22E9B86061B77 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:26:45] 651*2^1451435-1 is not prime. Res64: 534DB6515AADC7C1 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:26:46] 693*2^1451435-1 is not prime. Res64: D903A5523BBBD325 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:26:47] 753*2^1451435-1 is not prime. Res64: E7D540B794BA68C0 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:26:48] 825*2^1451435-1 is not prime. Res64: 202A540EC0C58428 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:48] 853*2^1451435-1 is not prime. Res64: 64AE86D2E8353BB2 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:48] 921*2^1451435-1 is not prime. Res64: D629D65D467D10DB Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:48] 939*2^1451435-1 is not prime. Res64: 4C975A63897E99E6 Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:49] 627*2^1451436-1 is not prime. Res64: 8B813845B15B163C Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:49] 683*2^1451436-1 is not prime. Res64: 63AAF782D0D70F5D Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:49] 725*2^1451436-1 is not prime. Res64: 6FC1ECB21EFD011B Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:50] 759*2^1451436-1 is not prime. Res64: 812088D6A88B3A2C Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:50] 933*2^1451436-1 is not prime. Res64: EF3752E333BACF4A Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:51] 969*2^1451436-1 is not prime. Res64: C549504F512DDABD Time : 0.0 sec. user=mdettweiler [2017-04-13 01:37:51] 615*2^1451437-1 is not prime. Res64: 0DDF201236564AD6 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:05:11] 645*2^1451437-1 is not prime. Res64: 1DE2F11E0C5050BF Time : 0.0 sec. user=mdettweiler [2017-04-13 02:05:13] 759*2^1451437-1 is not prime. Res64: 28C545198203C6E9 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:05:14] 711*2^1451438-1 is not prime. Res64: 2E61863A5614F102 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:05:15] 767*2^1451438-1 is not prime. Res64: D7BD5C0A0F6CF2FC Time : 0.0 sec. user=mdettweiler [2017-04-13 02:05:17] 825*2^1451438-1 is not prime. Res64: 0695A8FE4A6018CB Time : 0.0 sec. user=mdettweiler [2017-04-13 02:11:51] 885*2^1451438-1 is not prime. Res64: 3E5BC1D15D35F161 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:11:51] 1001*2^1451438-1 is not prime. Res64: FF8C3B269C14773B Time : 0.0 sec. user=mdettweiler [2017-04-13 02:11:52] 831*2^1451439-1 is not prime. Res64: FF6DC4A5EEE037D1 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:11:52] 879*2^1451439-1 is not prime. Res64: 76065DFA22EF98AB Time : 0.0 sec. user=mdettweiler [2017-04-13 02:11:53] 913*2^1451439-1 is not prime. Res64: 36D9E67F590FB388 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:22:57] 695*2^1451440-1 is not prime. Res64: A8101B9CBB5EDE40 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:22:57] 899*2^1451440-1 is not prime. Res64: 37B38D06C32BB2DC Time : 0.0 sec. user=mdettweiler [2017-04-13 02:22:58] 645*2^1451441-1 is not prime. Res64: 02BD2DC753917B9A Time : 0.0 sec. user=mdettweiler [2017-04-13 02:22:58] 777*2^1451441-1 is not prime. Res64: E1789941FF6B4291 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:22:58] 991*2^1451441-1 is not prime. Res64: 4F44B4ADBD868C56 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:23:05] 633*2^1451442-1 is not prime. Res64: 9A8B3F3F973277DA Time : 0.0 sec. user=mdettweiler [2017-04-13 02:23:06] 651*2^1451442-1 is not prime. Res64: AB8B7330972BD06B Time : 0.0 sec. user=mdettweiler [2017-04-13 02:23:06] 807*2^1451442-1 is not prime. Res64: 5F72D6817DC666A1 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:23:07] 893*2^1451442-1 is not prime. Res64: 43CE6B806DB27E2D Time : 0.0 sec. user=mdettweiler [2017-04-13 02:23:07] 921*2^1451442-1 is not prime. Res64: 2BC4E3BB0B9E5CE1 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:51:17] 693*2^1451443-1 is not prime. Res64: 07A249F9827A7E78 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:51:18] 813*2^1451443-1 is not prime. Res64: 2466A88F789CAA79 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:51:18] 885*2^1451443-1 is not prime. Res64: 762C16AF3E2C1EFD Time : 0.0 sec. user=mdettweiler [2017-04-13 02:51:18] 913*2^1451443-1 is not prime. Res64: A4DE8819EEFB70F6 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:51:19] 609*2^1451444-1 is not prime. Res64: E07E11C2FFA05948 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:57:52] 659*2^1451444-1 is not prime. Res64: F1D7E575AF5FE26C Time : 0.0 sec. user=mdettweiler [2017-04-13 02:57:52] 675*2^1451444-1 is not prime. Res64: 915EC4ED32DF34BC Time : 0.0 sec. user=mdettweiler [2017-04-13 02:57:53] 785*2^1451444-1 is not prime. Res64: C2148DEA876A8B76 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:57:53] 803*2^1451444-1 is not prime. Res64: 5155F02C73A23E37 Time : 0.0 sec. user=mdettweiler [2017-04-13 02:57:53] 855*2^1451444-1 is not prime. Res64: 8B51426147368381 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:08:54] 969*2^1451445-1 is not prime. Res64: E1C04CCCCCE9E0B5 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:08:54] 603*2^1451446-1 is not prime. Res64: 05C1C7A587112808 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:08:55] 657*2^1451446-1 is not prime. Res64: 69F61671267BF7BB Time : 0.0 sec. user=mdettweiler [2017-04-13 03:08:55] 713*2^1451446-1 is not prime. Res64: 421276B12F7E00E4 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:08:56] 923*2^1451446-1 is not prime. Res64: 4FB598165B394273 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:09:06] 969*2^1451444-1 is not prime. Res64: 6EF7439460DBB8FD Time : 0.0 sec. user=mdettweiler [2017-04-13 03:09:07] 627*2^1451445-1 is not prime. Res64: 6C0981D09212A384 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:09:07] 741*2^1451445-1 is not prime. Res64: 9C76705ABC83751E Time : 0.0 sec. user=mdettweiler [2017-04-13 03:09:07] 861*2^1451445-1 is not prime. Res64: BA33F2943665A50A Time : 0.0 sec. user=mdettweiler [2017-04-13 03:09:08] 951*2^1451445-1 is not prime. Res64: 805A59BAF859A037 Time : 0.0 sec. user=juhehe [2017-04-13 03:12:00] 735*2^1451447-1 is not prime. Res64: 8CCDA590341A8DF4 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:37:21] 823*2^1451447-1 is not prime. Res64: EC4AF067F2099A31 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:37:22] 683*2^1451448-1 is not prime. Res64: A799D1C98FF74A37 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:37:23] 689*2^1451448-1 is not prime. Res64: E4C9582C1717AA66 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:37:24] 699*2^1451448-1 is not prime. Res64: 4B8B86D2D01F42CE Time : 0.0 sec. user=mdettweiler [2017-04-13 03:37:25] 753*2^1451448-1 is not prime. Res64: 30AC4E87CC51DC93 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:43:50] 777*2^1451448-1 is not prime. Res64: 643393277F10623E Time : 0.0 sec. user=mdettweiler [2017-04-13 03:43:51] 909*2^1451448-1 is not prime. Res64: 1C73AA16AF8EFB31 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:43:52] 601*2^1451449-1 is not prime. Res64: A52F0388028F5CFE Time : 0.0 sec. user=mdettweiler [2017-04-13 03:43:53] 667*2^1451449-1 is not prime. Res64: 0F76081796E2A8D4 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:43:54] 691*2^1451449-1 is not prime. Res64: 8C083362D9608F23 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:21] 773*2^1451450-1 is not prime. Res64: 131FF0AAF398946C Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:22] 801*2^1451450-1 is not prime. Res64: 4BE75C73776552C2 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:23] 813*2^1451450-1 is not prime. Res64: 9B1C86D429B55306 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:24] 857*2^1451450-1 is not prime. Res64: EB0139126AF5A37B Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:24] 885*2^1451450-1 is not prime. Res64: BED29B646457940C Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:30] 817*2^1451449-1 is not prime. Res64: F834B424066A3FC8 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:31] 861*2^1451449-1 is not prime. Res64: AF538C5F3579BF58 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:31] 867*2^1451449-1 is not prime. Res64: 47F8351E0A6840BF Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:32] 633*2^1451450-1 is not prime. Res64: ED35041B8BA35FE9 Time : 0.0 sec. user=mdettweiler [2017-04-13 03:55:32] 735*2^1451450-1 is not prime. Res64: F8B611CD929B0346 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:22:48] 923*2^1451450-1 is not prime. Res64: 7F98385AE97171B2 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:22:49] 613*2^1451451-1 is not prime. Res64: CE97AD8DB4DA479D Time : 0.0 sec. user=mdettweiler [2017-04-13 04:22:49] 619*2^1451451-1 is not prime. Res64: 5E4015650803AB27 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:22:50] 651*2^1451451-1 is not prime. Res64: F91E1247FF1801FA Time : 0.0 sec. user=mdettweiler [2017-04-13 04:22:50] 711*2^1451451-1 is not prime. Res64: 8E38A875BDF9435E Time : 0.0 sec. user=mdettweiler [2017-04-13 04:29:28] 735*2^1451451-1 is not prime. Res64: 0D45C79188A6D252 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:29:28] 775*2^1451451-1 is not prime. Res64: 57A84832E365C6B3 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:29:28] 861*2^1451451-1 is not prime. Res64: FD177EDFD92D8C04 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:29:29] 903*2^1451451-1 is not prime. Res64: BA18D226C8F3EA42 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:29:29] 615*2^1451452-1 is not prime. Res64: C75CCB49EC029719 Time : 0.0 sec. user=juhehe [2017-04-13 04:31:39] 693*2^1451452-1 is not prime. Res64: 8520D6EF17B2ABF7 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:52] 795*2^1451453-1 is not prime. Res64: B198C617550C3055 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:53] 829*2^1451453-1 is not prime. Res64: 434B87B2BEE7A396 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:53] 889*2^1451453-1 is not prime. Res64: 7A28EBCE13EBBD26 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:53] 925*2^1451453-1 is not prime. Res64: 8F01AB96F982CB15 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:54] 979*2^1451453-1 is not prime. Res64: CEEA068DBC937522 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:55] 827*2^1451452-1 is not prime. Res64: CC3B0173F07613CE Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:55] 855*2^1451452-1 is not prime. Res64: 29990ACE447E7C85 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:55] 887*2^1451452-1 is not prime. Res64: B01BA5D5BA8ADF74 Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:56] 621*2^1451453-1 is not prime. Res64: 8FEE5A5430B0E29C Time : 0.0 sec. user=mdettweiler [2017-04-13 04:40:56] 729*2^1451453-1 is not prime. Res64: 0EC03ABE45D1A822 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:07:49] 635*2^1451454-1 is not prime. Res64: 43C220165D99E670 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:07:50] 651*2^1451454-1 is not prime. Res64: 6B10CF032EF65A9F Time : 0.0 sec. user=mdettweiler [2017-04-13 05:07:50] 711*2^1451454-1 is not prime. Res64: C3615326EE242BF6 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:07:51] 731*2^1451454-1 is not prime. Res64: 96C722E26B2D5433 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:07:51] 773*2^1451454-1 is not prime. Res64: B8F024FEEF04A8A6 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:14:35] 783*2^1451454-1 is not prime. Res64: FD005AE8621D1B6C Time : 0.0 sec. user=mdettweiler [2017-04-13 05:14:35] 807*2^1451454-1 is not prime. Res64: 87691E11D7D320D9 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:14:35] 917*2^1451454-1 is not prime. Res64: 2C905BB7E5AE4DEE Time : 0.0 sec. user=mdettweiler [2017-04-13 05:14:36] 951*2^1451454-1 is not prime. Res64: 1D7914D241893C37 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:14:36] 983*2^1451454-1 is not prime. Res64: 3A253C0FAA8A9D67 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:07] 635*2^1451456-1 is not prime. Res64: BF51E041166816BE Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:07] 657*2^1451456-1 is not prime. Res64: 9F4989CAF15B8274 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:08] 675*2^1451456-1 is not prime. Res64: E3C23A12838188CD Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:08] 683*2^1451456-1 is not prime. Res64: 2939F1216F7945EE Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:08] 689*2^1451456-1 is not prime. Res64: 9AF76008F72A17C5 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:10] 609*2^1451455-1 is not prime. Res64: 7101F78967AF4ED5 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:10] 679*2^1451455-1 is not prime. Res64: 5E05681F500B0FC5 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:11] 751*2^1451455-1 is not prime. Res64: 7D0753D69C71FCF6 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:11] 793*2^1451455-1 is not prime. Res64: AAC71B0B93DDEB25 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:26:12] 629*2^1451456-1 is not prime. Res64: F3FBA406A162B6C7 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:52:57] 743*2^1451456-1 is not prime. Res64: 0C801394CB99E460 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:52:58] 759*2^1451456-1 is not prime. Res64: A5209A4C74743A25 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:52:58] 767*2^1451456-1 is not prime. Res64: 951328CD1F63E064 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:52:59] 813*2^1451456-1 is not prime. Res64: ABA43328958572C0 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:52:59] 845*2^1451456-1 is not prime. Res64: F3ECB643003FA680 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:59:29] 857*2^1451456-1 is not prime. Res64: 05163A9EACB49115 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:59:30] 909*2^1451456-1 is not prime. Res64: 9A2AC26C8B04D476 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:59:30] 917*2^1451456-1 is not prime. Res64: 1F1AD08687484856 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:59:30] 999*2^1451456-1 is not prime. Res64: 607B129C39B71171 Time : 0.0 sec. user=mdettweiler [2017-04-13 05:59:31] 681*2^1451457-1 is not prime. Res64: EFE0A954D22ABEB4 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:24] 647*2^1451458-1 is not prime. Res64: 9B23D156BE12E393 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:25] 747*2^1451458-1 is not prime. Res64: F87EE8F75C304CEB Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:26] 803*2^1451458-1 is not prime. Res64: 19ABB5585908EDDD Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:26] 685*2^1451457-1 is not prime. Res64: 0D36B09631B83CD6 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:26] 975*2^1451458-1 is not prime. Res64: 4162E08C3DC71016 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:27] 711*2^1451457-1 is not prime. Res64: 5AF50466A6D45E75 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:27] 981*2^1451458-1 is not prime. Res64: F28D62AD8AFCBB19 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:27] 717*2^1451457-1 is not prime. Res64: BDA82656AB171966 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:28] 765*2^1451457-1 is not prime. Res64: B23D33C72DB0329E Time : 0.0 sec. user=mdettweiler [2017-04-13 06:11:28] 847*2^1451457-1 is not prime. Res64: EC562E0B94915D48 Time : 0.0 sec. user=juhehe [2017-04-13 06:31:08] 1001*2^1451458-1 is not prime. Res64: FCE4525C6B3F2EE7 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:37:54] 631*2^1451459-1 is not prime. Res64: F0C7FE77D6DCC7F0 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:37:54] 669*2^1451459-1 is not prime. Res64: 38317BFC00E9817E Time : 0.0 sec. user=mdettweiler [2017-04-13 06:37:55] 685*2^1451459-1 is not prime. Res64: 1CA1543C650AE00E Time : 0.0 sec. user=mdettweiler [2017-04-13 06:37:55] 733*2^1451459-1 is not prime. Res64: 322D410962A471F0 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:37:55] 825*2^1451459-1 is not prime. Res64: 1559A7EA8D5F59C9 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:44:25] 843*2^1451459-1 is not prime. Res64: D9A8536208CBCE01 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:44:25] 939*2^1451459-1 is not prime. Res64: ED0E6546B96FDE6C Time : 0.0 sec. user=mdettweiler [2017-04-13 06:44:25] 665*2^1451460-1 is not prime. Res64: 112E473239E01227 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:44:26] 675*2^1451460-1 is not prime. Res64: 3C37015C8CBF3296 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:44:26] 723*2^1451460-1 is not prime. Res64: 7A2ACBFE655D8997 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:27] 759*2^1451460-1 is not prime. Res64: 76DA41EA91D331ED Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:27] 779*2^1451460-1 is not prime. Res64: 6C8CD6277285EF3E Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:28] 875*2^1451460-1 is not prime. Res64: 66ED17E23C66E787 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:28] 959*2^1451460-1 is not prime. Res64: 7F240A84820654C2 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:28] 987*2^1451460-1 is not prime. Res64: 303A68AF1100608E Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:45] 757*2^1451461-1 is not prime. Res64: 360D542CDA485292 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:46] 769*2^1451461-1 is not prime. Res64: 68F3741F6E97BCF9 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:46] 867*2^1451461-1 is not prime. Res64: 71CF7742C97F9022 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:46] 617*2^1451462-1 is not prime. Res64: B6B084811DED2B74 Time : 0.0 sec. user=mdettweiler [2017-04-13 06:56:47] 645*2^1451462-1 is not prime. Res64: F876D1167FF357B7 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:22:54] 657*2^1451462-1 is not prime. Res64: 1B00A05C30A50196 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:22:54] 705*2^1451462-1 is not prime. Res64: 781725639A48FC65 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:22:55] 743*2^1451462-1 is not prime. Res64: F863ACDAEEC717D2 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:22:55] 791*2^1451462-1 is not prime. Res64: E027E186E67019F8 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:22:55] 897*2^1451462-1 is not prime. Res64: 9F86F6E21841F44D Time : 0.0 sec. user=mdettweiler [2017-04-13 07:29:28] 649*2^1451463-1 is not prime. Res64: D577477F681E5A99 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:29:28] 693*2^1451463-1 is not prime. Res64: 67CEADE45717342A Time : 0.0 sec. user=mdettweiler [2017-04-13 07:29:28] 763*2^1451463-1 is not prime. Res64: 405F03439069C304 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:29:29] 849*2^1451463-1 is not prime. Res64: 5AE784C5D4346C52 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:29:29] 885*2^1451463-1 is not prime. Res64: 4B04F97D21A421F5 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:18] 921*2^1451463-1 is not prime. Res64: 08AA16C561B8C7D5 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:18] 645*2^1451464-1 is not prime. Res64: BDFF984DCC7E4041 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:18] 869*2^1451464-1 is not prime. Res64: 7D341F82BCE340E4 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:19] 601*2^1451465-1 is not prime. Res64: 0AE5A05D9F6E9252 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:19] 727*2^1451465-1 is not prime. Res64: 3CE2299D2D967FAD Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:41] 789*2^1451465-1 is not prime. Res64: 8CA53FEEE5D28EF0 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:42] 831*2^1451465-1 is not prime. Res64: 1179A6BC79ABFE7A Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:42] 991*2^1451465-1 is not prime. Res64: 83568A90F5593698 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:43] 705*2^1451466-1 is not prime. Res64: A921BA7599FFEE72 Time : 0.0 sec. user=mdettweiler [2017-04-13 07:41:43] 725*2^1451466-1 is not prime. Res64: E79BDE76007DBAA1 Time : 0.0 sec. user=juhehe [2017-04-13 08:07:24] 619*2^1451467-1 is not prime. Res64: BB80EC2CA2277864 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:08:38] 755*2^1451466-1 is not prime. Res64: E14637CA65F3235B Time : 0.0 sec. user=mdettweiler [2017-04-13 08:08:39] 807*2^1451466-1 is not prime. Res64: 919BA07E74D204F5 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:08:39] 881*2^1451466-1 is not prime. Res64: A6C57AA788DDC4FA Time : 0.0 sec. user=mdettweiler [2017-04-13 08:08:40] 891*2^1451466-1 is not prime. Res64: 0F7CF9C28DB2F05F Time : 0.0 sec. user=mdettweiler [2017-04-13 08:08:40] 903*2^1451466-1 is not prime. Res64: 565E989B5A41D2C0 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:15:09] 673*2^1451467-1 is not prime. Res64: 19D91C770C3D2EB3 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:15:10] 859*2^1451467-1 is not prime. Res64: 499ED8FABBCE1B1C Time : 0.0 sec. user=mdettweiler [2017-04-13 08:15:10] 871*2^1451467-1 is not prime. Res64: 527E8873AB2C0A33 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:15:11] 891*2^1451467-1 is not prime. Res64: 5DD98952C66BC146 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:15:11] 895*2^1451467-1 is not prime. Res64: 409059DCBBEFD800 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:03] 961*2^1451467-1 is not prime. Res64: B6DFDF0C2AA72C5B Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:04] 707*2^1451468-1 is not prime. Res64: 002D367501FC1C29 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:04] 833*2^1451468-1 is not prime. Res64: B6BC5F342DEC8DED Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:04] 885*2^1451468-1 is not prime. Res64: FF8018A4675674C3 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:05] 953*2^1451468-1 is not prime. Res64: DF125FDBA26F281D Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:25] 627*2^1451469-1 is not prime. Res64: 1658CF3895BE079D Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:25] 655*2^1451469-1 is not prime. Res64: D9B40AC0BB26E9AF Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:25] 657*2^1451469-1 is not prime. Res64: 0EE188F31062CAF1 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:26] 765*2^1451469-1 is not prime. Res64: A66A7A4DE2444898 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:27:26] 861*2^1451469-1 is not prime. Res64: 51552AE7658751A1 Time : 0.0 sec. user=juhehe [2017-04-13 08:30:01] 921*2^1451469-1 is not prime. Res64: 5D5F01A259ADAB36 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:53:40] 765*2^1451470-1 is not prime. Res64: ABEDA9CBF0DCC1F6 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:53:41] 831*2^1451470-1 is not prime. Res64: 348059B483380DF9 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:53:41] 843*2^1451470-1 is not prime. Res64: 485248231B5CB7BC Time : 0.0 sec. user=mdettweiler [2017-04-13 08:53:41] 885*2^1451470-1 is not prime. Res64: D9FE0243D8624C48 Time : 0.0 sec. user=mdettweiler [2017-04-13 08:53:42] 915*2^1451470-1 is not prime. Res64: 185DE52C25845814 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:00:12] 957*2^1451470-1 is not prime. Res64: 52465556C014470D Time : 0.0 sec. user=mdettweiler [2017-04-13 09:00:13] 995*2^1451470-1 is not prime. Res64: B12BB6B8C52315C7 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:00:14] 1001*2^1451470-1 is not prime. Res64: 53AB1B4809DA0A69 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:00:15] 609*2^1451471-1 is not prime. Res64: EDC002785FD2DDCE Time : 0.0 sec. user=mdettweiler [2017-04-13 09:00:15] 619*2^1451471-1 is not prime. Res64: 0B88FCD128375203 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:07] 705*2^1451471-1 is not prime. Res64: 30D654F084DF346A Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:08] 711*2^1451471-1 is not prime. Res64: 506E0ED2B040432F Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:08] 841*2^1451471-1 is not prime. Res64: 7EE60B555F3FCE51 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:09] 879*2^1451471-1 is not prime. Res64: FCB74B8E9E056AC1 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:09] 939*2^1451471-1 is not prime. Res64: 4A45D1790D63A7D7 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:32] 615*2^1451472-1 is not prime. Res64: 8F53242403DCAEA0 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:33] 689*2^1451472-1 is not prime. Res64: FB4DBFC74A7A4E98 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:33] 779*2^1451472-1 is not prime. Res64: 984CDAC79F2F365A Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:33] 825*2^1451472-1 is not prime. Res64: ACE42253B4AD8FCE Time : 0.0 sec. user=mdettweiler [2017-04-13 09:12:34] 909*2^1451472-1 is not prime. Res64: 78B5007A5438E2D3 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:38:34] 933*2^1451472-1 is not prime. Res64: 2C08A26F1B4271BF Time : 0.0 sec. user=mdettweiler [2017-04-13 09:38:34] 607*2^1451473-1 is not prime. Res64: 6F09C275A176FACB Time : 0.0 sec. user=mdettweiler [2017-04-13 09:38:35] 615*2^1451473-1 is not prime. Res64: 9DF8957262B958C5 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:38:35] 619*2^1451473-1 is not prime. Res64: 0C98AD42D7D000B7 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:38:35] 639*2^1451473-1 is not prime. Res64: B23DDC843FD08EF5 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:45:22] 765*2^1451473-1 is not prime. Res64: 74EC0E5013A64128 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:45:22] 801*2^1451473-1 is not prime. Res64: 69CB1A72B3BA61C3 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:45:22] 805*2^1451473-1 is not prime. Res64: DE00AC898C3C2DE5 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:45:23] 847*2^1451473-1 is not prime. Res64: 5A512BF64FDE648C Time : 0.0 sec. user=mdettweiler [2017-04-13 09:45:23] 897*2^1451473-1 is not prime. Res64: 2D048249FFD91718 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:03] 987*2^1451473-1 is not prime. Res64: BD1E608831202943 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:03] 717*2^1451474-1 is not prime. Res64: D245CA4AF7C5C3BB Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:04] 741*2^1451474-1 is not prime. Res64: D525F6AB0B96359C Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:04] 753*2^1451474-1 is not prime. Res64: 51BDB0D9F26D7503 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:04] 791*2^1451474-1 is not prime. Res64: 71D1312DB679645B Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:33] 797*2^1451474-1 is not prime. Res64: A341DA424E8ED3B2 Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:33] 887*2^1451474-1 is not prime. Res64: C70CC9B9B3421A9A Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:34] 663*2^1451475-1 is not prime. Res64: A06AA1764273E93F Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:34] 735*2^1451475-1 is not prime. Res64: 83F42E6438AA9CCA Time : 0.0 sec. user=mdettweiler [2017-04-13 09:57:34] 823*2^1451475-1 is not prime. Res64: 8F8F5D313F6EE14D Time : 0.0 sec. user=mdettweiler [2017-04-13 10:23:34] 885*2^1451475-1 is not prime. Res64: 53353540D942D086 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:23:35] 979*2^1451475-1 is not prime. Res64: 5F3E340E14DFCE72 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:23:35] 985*2^1451475-1 is not prime. Res64: F54B397C9DA599CF Time : 0.0 sec. user=mdettweiler [2017-04-13 10:23:35] 855*2^1451476-1 is not prime. Res64: 11F2B4081B8D9016 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:23:36] 899*2^1451476-1 is not prime. Res64: 7B2BF6B6DE8CDE82 Time : 0.0 sec. user=juhehe [2017-04-13 10:29:56] 711*2^1451477-1 is not prime. Res64: 189E2EB2E1E27DA1 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:30:39] 923*2^1451476-1 is not prime. Res64: D01F09C45E6FF310 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:30:39] 975*2^1451476-1 is not prime. Res64: C1D8242BC0BDA782 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:30:40] 983*2^1451476-1 is not prime. Res64: 903AAB7C400C8A6A Time : 0.0 sec. user=mdettweiler [2017-04-13 10:30:40] 615*2^1451477-1 is not prime. Res64: 57E53DE40E9817FC Time : 0.0 sec. user=mdettweiler [2017-04-13 10:30:40] 621*2^1451477-1 is not prime. Res64: 4AFE9B543DA6A86B Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:03] 741*2^1451477-1 is not prime. Res64: 234BF97193C64A5B Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:04] 799*2^1451477-1 is not prime. Res64: 28FBE2AFA0280C23 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:04] 829*2^1451477-1 is not prime. Res64: 42901BF201BE2459 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:04] 605*2^1451478-1 is not prime. Res64: FEE289F0662A7AFC Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:05] 621*2^1451478-1 is not prime. Res64: B9B3E2C903301D72 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:35] 663*2^1451478-1 is not prime. Res64: FD558FA277016AAD Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:35] 665*2^1451478-1 is not prime. Res64: 0EA3B607FCF7EBD5 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:36] 713*2^1451478-1 is not prime. Res64: 49BC2BE4F9979C3B Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:36] 747*2^1451478-1 is not prime. Res64: AD1C7EE6909C41C5 Time : 0.0 sec. user=mdettweiler [2017-04-13 10:43:36] 795*2^1451478-1 is not prime. Res64: 12D47D6C89055D23 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:11:01] 797*2^1451478-1 is not prime. Res64: 546796484E5F235F Time : 0.0 sec. user=mdettweiler [2017-04-13 11:11:01] 815*2^1451478-1 is not prime. Res64: E4D9D7DB37D619C9 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:11:02] 887*2^1451478-1 is not prime. Res64: 4AD5D379E92B1926 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:11:02] 933*2^1451478-1 is not prime. Res64: 65788636841419AC Time : 0.0 sec. user=mdettweiler [2017-04-13 11:11:03] 977*2^1451478-1 is not prime. Res64: F4082FCB73EF2617 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:17:27] 993*2^1451478-1 is not prime. Res64: 4B09BCB3BF5FF04C Time : 0.0 sec. user=mdettweiler [2017-04-13 11:17:27] 685*2^1451479-1 is not prime. Res64: FBCE6299F68BC491 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:17:27] 909*2^1451479-1 is not prime. Res64: 04ACCB37C9667BAF Time : 0.0 sec. user=mdettweiler [2017-04-13 11:17:28] 939*2^1451479-1 is not prime. Res64: 350C15FA46857276 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:17:28] 975*2^1451479-1 is not prime. Res64: 8619C360425A420C Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:12] 609*2^1451480-1 is not prime. Res64: 6A25F58B9ED2CBF5 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:13] 669*2^1451480-1 is not prime. Res64: B8CF9EF18D813642 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:13] 689*2^1451480-1 is not prime. Res64: A3233940424AF8E9 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:13] 717*2^1451480-1 is not prime. Res64: 747EFA9589F5B193 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:14] 743*2^1451480-1 is not prime. Res64: B4B2E2B053BFB174 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:55] 753*2^1451480-1 is not prime. Res64: 8F129257FFC21042 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:55] 827*2^1451480-1 is not prime. Res64: E2E55F10C942562A Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:56] 929*2^1451480-1 is not prime. Res64: 3A6ABC3E5DDECF09 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:56] 639*2^1451481-1 is not prime. Res64: 9FF015DEC8C6BA71 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:29:56] 691*2^1451481-1 is not prime. Res64: 3222C88829ECD722 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:56:07] 727*2^1451481-1 is not prime. Res64: 2DDCA3E83416B2B9 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:56:07] 829*2^1451481-1 is not prime. Res64: FE61AE7F2D2E533D Time : 0.0 sec. user=mdettweiler [2017-04-13 11:56:08] 835*2^1451481-1 is not prime. Res64: 99381B7982188E79 Time : 0.0 sec. user=mdettweiler [2017-04-13 11:56:08] 889*2^1451481-1 is not prime. Res64: 64CB447AD975ABDB Time : 0.0 sec. user=mdettweiler [2017-04-13 11:56:08] 895*2^1451481-1 is not prime. Res64: A9BF2D461CE5A67A Time : 0.0 sec. user=mdettweiler [2017-04-13 12:02:28] 621*2^1451482-1 is not prime. Res64: 76946E3C7878440C Time : 0.0 sec. user=mdettweiler [2017-04-13 12:02:29] 815*2^1451482-1 is not prime. Res64: 5D2EA60A945A2591 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:02:30] 867*2^1451482-1 is not prime. Res64: F1CEAF872C7653A7 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:02:31] 881*2^1451482-1 is not prime. Res64: C5781AA5127F6CC9 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:02:32] 891*2^1451482-1 is not prime. Res64: 7C234D80B67E61B1 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:08] 923*2^1451482-1 is not prime. Res64: FC5794E29E9919A5 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:09] 941*2^1451482-1 is not prime. Res64: EF448A73B592BA83 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:09] 619*2^1451483-1 is not prime. Res64: 03FAD95596662315 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:10] 699*2^1451483-1 is not prime. Res64: 84438200342CD7F6 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:10] 735*2^1451483-1 is not prime. Res64: B45298B5D410CDEC Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:51] 741*2^1451483-1 is not prime. Res64: 8FD3725E545E9F90 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:51] 759*2^1451483-1 is not prime. Res64: F2016958EE3D3D3D Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:52] 963*2^1451483-1 is not prime. Res64: 8A480916F5707170 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:52] 993*2^1451483-1 is not prime. Res64: DD4B0CBEB7AC81F6 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:14:52] 635*2^1451484-1 is not prime. Res64: 1497B3B8B9624167 Time : 0.0 sec. user=juhehe [2017-04-13 12:29:47] 689*2^1451484-1 is not prime. Res64: AC2714F4E7B027BA Time : 0.0 sec. user=mdettweiler [2017-04-13 12:41:06] 905*2^1451484-1 is not prime. Res64: 983F6C22FC4E3CD9 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:41:06] 915*2^1451484-1 is not prime. Res64: C484E6B50DF55E0F Time : 0.0 sec. user=mdettweiler [2017-04-13 12:41:07] 607*2^1451485-1 is not prime. Res64: F7057B9FC6096AA4 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:41:07] 925*2^1451485-1 is not prime. Res64: FC49A218D100CA00 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:41:08] 987*2^1451485-1 is not prime. Res64: 5ED62E4BFBBED2E0 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:47:26] 671*2^1451486-1 is not prime. Res64: 1DFDF882DB04D8BB Time : 0.0 sec. user=mdettweiler [2017-04-13 12:47:26] 815*2^1451486-1 is not prime. Res64: 8AE04754D8911232 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:47:26] 833*2^1451486-1 is not prime. Res64: 7F608B6ABEB9EEA5 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:47:27] 867*2^1451486-1 is not prime. Res64: AFCA341246FBD454 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:47:27] 897*2^1451486-1 is not prime. Res64: FD0296DE8B4FCD2A Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:10] 903*2^1451486-1 is not prime. Res64: 7C9C76E8FDD0B520 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:10] 971*2^1451486-1 is not prime. Res64: 956FC8781895585F Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:11] 1001*2^1451486-1 is not prime. Res64: F0C7BACD5C6B409F Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:11] 609*2^1451487-1 is not prime. Res64: 845C22D5F54A9F73 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:12] 619*2^1451487-1 is not prime. Res64: 82B00607377B114D Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:47] 649*2^1451487-1 is not prime. Res64: 917E98926EAADA09 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:47] 769*2^1451487-1 is not prime. Res64: EACA7267486A02CC Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:47] 951*2^1451487-1 is not prime. Res64: 3AFF79C6217D8FC2 Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:48] 991*2^1451487-1 is not prime. Res64: 7C55A249ED57F22B Time : 0.0 sec. user=mdettweiler [2017-04-13 12:59:48] 615*2^1451488-1 is not prime. Res64: 83122FB52E1BA3CA Time : 0.0 sec. user=mdettweiler [2017-04-13 13:32:23] 985*2^1451489-1 is not prime. Res64: A071B692165F97C0 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:32:24] 725*2^1451490-1 is not prime. Res64: 534E440707305E93 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:32:24] 783*2^1451490-1 is not prime. Res64: 14BF4807108130AC Time : 0.0 sec. user=mdettweiler [2017-04-13 13:32:25] 1001*2^1451490-1 is not prime. Res64: 0CE15F377298E724 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:32:25] 663*2^1451491-1 is not prime. Res64: A3642D81F3B35798 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:10] 735*2^1451491-1 is not prime. Res64: 7733FFBC188CB1E5 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:10] 751*2^1451491-1 is not prime. Res64: 19EBFA7F9848F571 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:11] 849*2^1451491-1 is not prime. Res64: E068A697B70D61CA Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:11] 873*2^1451491-1 is not prime. Res64: 51522DF79A971E98 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:12] 617*2^1451492-1 is not prime. Res64: E74E925FF6F05800 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:54] 677*2^1451492-1 is not prime. Res64: 610A16C6BDA99E5D Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:55] 749*2^1451492-1 is not prime. Res64: E4EE4E339D1D6123 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:55] 753*2^1451492-1 is not prime. Res64: 55AD8B19DBCA0C22 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:55] 825*2^1451492-1 is not prime. Res64: 23E4CE489C62F090 Time : 0.0 sec. user=mdettweiler [2017-04-13 13:44:56] 873*2^1451492-1 is not prime. Res64: 6D10E47B4741DC7C Time : 0.0 sec. user=mdettweiler [2017-04-13 14:17:56] 615*2^1451493-1 is not prime. Res64: 2DB5A82B958E606C Time : 0.0 sec. user=mdettweiler [2017-04-13 14:17:56] 691*2^1451493-1 is not prime. Res64: 30D359409E5B6E81 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:17:57] 805*2^1451493-1 is not prime. Res64: 12EF0C2CEEF9F185 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:17:57] 811*2^1451493-1 is not prime. Res64: D611B92151FC6CBD Time : 0.0 sec. user=mdettweiler [2017-04-13 14:17:58] 657*2^1451494-1 is not prime. Res64: CF1C57B2BC4ED364 Time : 0.0 sec. user=juhehe [2017-04-13 14:29:09] 885*2^1451495-1 is not prime. Res64: E0695B75805EEDAB Time : 0.0 sec. user=mdettweiler [2017-04-13 14:29:42] 695*2^1451494-1 is not prime. Res64: 0DCAE335E4170486 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:29:42] 707*2^1451494-1 is not prime. Res64: BE4A27BEBB6D5DCB Time : 0.0 sec. user=mdettweiler [2017-04-13 14:29:43] 791*2^1451494-1 is not prime. Res64: 1B804D924D32BF94 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:29:43] 861*2^1451494-1 is not prime. Res64: 2B3078E280C50210 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:29:43] 675*2^1451495-1 is not prime. Res64: A1A2E4B614BCC00D Time : 0.0 sec. user=mdettweiler [2017-04-13 14:30:36] 775*2^1451495-1 is not prime. Res64: 1000545C38BAF3B1 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:30:36] 781*2^1451495-1 is not prime. Res64: 364F9BEF56EFE622 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:30:36] 783*2^1451495-1 is not prime. Res64: 52F01DB91F008A4C Time : 0.0 sec. user=mdettweiler [2017-04-13 14:30:37] 805*2^1451495-1 is not prime. Res64: C588166DB9C6C711 Time : 0.0 sec. user=mdettweiler [2017-04-13 14:30:37] 843*2^1451495-1 is not prime. Res64: 3AE4FF17733D7C24 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:03:44] 913*2^1451495-1 is not prime. Res64: 772FCD3E05EAC889 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:03:45] 981*2^1451495-1 is not prime. Res64: BE62C5BA8841C4A0 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:03:46] 717*2^1451496-1 is not prime. Res64: E4298B16B5A3DF4B Time : 0.0 sec. user=mdettweiler [2017-04-13 15:03:47] 947*2^1451496-1 is not prime. Res64: 60883BE23F4BAA17 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:03:49] 975*2^1451496-1 is not prime. Res64: 7333092E3F96111F Time : 0.0 sec. user=mdettweiler [2017-04-13 15:15:23] 685*2^1451497-1 is not prime. Res64: C19ECCC205549AB1 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:15:24] 729*2^1451497-1 is not prime. Res64: C07EFEDAD0448417 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:15:24] 805*2^1451497-1 is not prime. Res64: 48A4D307DFD9D41D Time : 0.0 sec. user=mdettweiler [2017-04-13 15:15:25] 847*2^1451497-1 is not prime. Res64: 09FFDDA75B7E4F14 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:15:25] 939*2^1451497-1 is not prime. Res64: D87140C7BC3304F8 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:16:17] 997*2^1451497-1 is not prime. Res64: 4D87B843F560F4F5 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:16:17] 633*2^1451498-1 is not prime. Res64: 97534FCA464C8CF5 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:16:18] 645*2^1451498-1 is not prime. Res64: D54E8887C4D6DCB3 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:16:18] 671*2^1451498-1 is not prime. Res64: E0E5395FBFF51535 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:16:18] 753*2^1451498-1 is not prime. Res64: 7268D62D2A3FF48E Time : 0.0 sec. user=mdettweiler [2017-04-13 15:49:39] 813*2^1451498-1 is not prime. Res64: 0C5B2F6AF37F650C Time : 0.0 sec. user=mdettweiler [2017-04-13 15:49:40] 893*2^1451498-1 is not prime. Res64: 1F46CF859487E9CC Time : 0.0 sec. user=mdettweiler [2017-04-13 15:49:40] 921*2^1451498-1 is not prime. Res64: 76E9528F45188220 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:49:40] 927*2^1451498-1 is not prime. Res64: 65A76479770F8DF1 Time : 0.0 sec. user=mdettweiler [2017-04-13 15:49:41] 945*2^1451498-1 is not prime. Res64: 642C8619AEBB2952 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:07] 995*2^1451498-1 is not prime. Res64: 07BA6D746DDE679B Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:08] 1001*2^1451498-1 is not prime. Res64: F90D2384D33A2E71 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:09] 741*2^1451499-1 is not prime. Res64: 469B8FC01744BEBA Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:10] 895*2^1451499-1 is not prime. Res64: 698835F54ACB3E15 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:11] 949*2^1451499-1 is not prime. Res64: 46386AE845DE5788 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:51] 609*2^1451500-1 is not prime. Res64: 91CBD9CB4CD20E4B Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:51] 677*2^1451500-1 is not prime. Res64: 091F5E94FE13B738 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:52] 857*2^1451500-1 is not prime. Res64: 72A35D08CE812082 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:53] 619*2^1451501-1 is not prime. Res64: DD709AEB542D51F2 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:01:53] 631*2^1451501-1 is not prime. Res64: DF9ECE9F7E8AEC95 Time : 0.0 sec. user=juhehe [2017-04-13 16:28:15] 685*2^1451501-1 is not prime. Res64: B6636B83ED54524F Time : 0.0 sec. user=mdettweiler [2017-04-13 16:35:15] 711*2^1451501-1 is not prime. Res64: B06766CAD3C82FB2 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:35:15] 727*2^1451501-1 is not prime. Res64: 40409F51AE627D23 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:35:15] 741*2^1451501-1 is not prime. Res64: A4D31D3C98304FCD Time : 0.0 sec. user=mdettweiler [2017-04-13 16:35:16] 801*2^1451501-1 is not prime. Res64: 13773223CE9F4D58 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:35:16] 991*2^1451501-1 is not prime. Res64: 1CD1CA0F00D7CF81 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:04] 671*2^1451502-1 is not prime. Res64: 236B22F0C3AF3DD2 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:05] 765*2^1451502-1 is not prime. Res64: 16ACD9AC9061EB46 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:05] 977*2^1451502-1 is not prime. Res64: DE0CCE43263A0AB4 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:06] 673*2^1451503-1 is not prime. Res64: CE330088946B0664 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:06] 685*2^1451503-1 is not prime. Res64: D6513A657473B77A Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:31] 849*2^1451503-1 is not prime. Res64: C3B460658C781462 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:31] 871*2^1451503-1 is not prime. Res64: 5EA6A5B10175D785 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:32] 925*2^1451503-1 is not prime. Res64: CAAB9CC30B209A20 Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:32] 985*2^1451503-1 is not prime. Res64: 58EC077028AB0A0F Time : 0.0 sec. user=mdettweiler [2017-04-13 16:47:32] 677*2^1451504-1 is not prime. Res64: 749FC7885135E130 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:20:54] 773*2^1451504-1 is not prime. Res64: 6AC198C7BFB9F21D Time : 0.0 sec. user=mdettweiler [2017-04-13 17:20:54] 875*2^1451504-1 is not prime. Res64: FBD4C71FE5035457 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:20:55] 915*2^1451504-1 is not prime. Res64: CDE148916049F002 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:20:55] 625*2^1451505-1 is not prime. Res64: 1C8B7FB42A7CAB12 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:20:56] 649*2^1451505-1 is not prime. Res64: 86B4380AD8F69077 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:32:49] 651*2^1451505-1 is not prime. Res64: E8895D79865EAADC Time : 0.0 sec. user=mdettweiler [2017-04-13 17:32:49] 751*2^1451505-1 is not prime. Res64: 5E6E2EFA44F85487 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:32:50] 909*2^1451505-1 is not prime. Res64: 931A94270AD7F649 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:32:50] 915*2^1451505-1 is not prime. Res64: ED35B0E579C4BF9F Time : 0.0 sec. user=mdettweiler [2017-04-13 17:32:50] 951*2^1451505-1 is not prime. Res64: 02226F997AF4C095 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:33:11] 675*2^1451506-1 is not prime. Res64: C65F3D2D249B183E Time : 0.0 sec. user=mdettweiler [2017-04-13 17:33:11] 735*2^1451506-1 is not prime. Res64: 3B6EDAC9B80CE625 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:33:12] 777*2^1451506-1 is not prime. Res64: D823DDA7EA6077C6 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:33:12] 983*2^1451506-1 is not prime. Res64: 9B6D52835F8D1BA7 Time : 0.0 sec. user=mdettweiler [2017-04-13 17:33:13] 609*2^1451507-1 is not prime. Res64: 91A9D4D3053B3C39 Time : 0.0 sec. user=juhehe [2017-04-13 17:46:57] 825*2^1451507-1 is not prime. Res64: 50C95FE6E07340B3 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:06:36] 981*2^1451507-1 is not prime. Res64: D2C80D4CA424B841 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:06:36] 605*2^1451508-1 is not prime. Res64: 8EA4B899AD971D3D Time : 0.0 sec. user=mdettweiler [2017-04-13 18:06:37] 737*2^1451508-1 is not prime. Res64: E6BE23BB9D9DA40F Time : 0.0 sec. user=mdettweiler [2017-04-13 18:06:37] 797*2^1451508-1 is not prime. Res64: 711A4BD66BDC1B21 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:06:37] 977*2^1451508-1 is not prime. Res64: 49035B124D83CD73 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:23] 621*2^1451509-1 is not prime. Res64: E98AC82DDEC1FB1A Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:24] 691*2^1451509-1 is not prime. Res64: 6478ACD2F89138B6 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:24] 747*2^1451509-1 is not prime. Res64: 1C324490AAF5BE95 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:24] 789*2^1451509-1 is not prime. Res64: 9AC229B242096DCE Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:25] 825*2^1451509-1 is not prime. Res64: 44E774B08A33D2E3 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:44] 665*2^1451510-1 is not prime. Res64: E8FE4AE305C2981E Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:44] 713*2^1451510-1 is not prime. Res64: 7A0C1FD58BE75CAF Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:45] 833*2^1451510-1 is not prime. Res64: F0A9E2D3DA5F3C35 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:45] 875*2^1451510-1 is not prime. Res64: FF1C40C9A6EAB940 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:18:46] 917*2^1451510-1 is not prime. Res64: 65AB9062E58539CA Time : 0.0 sec. user=mdettweiler [2017-04-13 18:52:25] 965*2^1451510-1 is not prime. Res64: FA4E04CD342D2039 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:52:26] 615*2^1451511-1 is not prime. Res64: 7B7EB8D0B4FDE9C0 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:52:26] 739*2^1451511-1 is not prime. Res64: 5CEF6DDCC7545212 Time : 0.0 sec. user=mdettweiler [2017-04-13 18:52:27] 861*2^1451511-1 is not prime. Res64: 9B85C4E80BB74B7B Time : 0.0 sec. user=mdettweiler [2017-04-13 18:52:27] 879*2^1451511-1 is not prime. Res64: 153F10C580A02809 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:06] 885*2^1451511-1 is not prime. Res64: A770C2AB8E9A7351 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:07] 615*2^1451512-1 is not prime. Res64: 940766636D2A5D14 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:08] 629*2^1451512-1 is not prime. Res64: 65FED36D913A7EA4 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:10] 665*2^1451512-1 is not prime. Res64: 8A1DA738222B5357 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:11] 719*2^1451512-1 is not prime. Res64: 9BB83914FBCF3207 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:23] 723*2^1451512-1 is not prime. Res64: C4F4FBE1D5DFEFFC Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:25] 843*2^1451512-1 is not prime. Res64: 81C4F6782478C177 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:26] 855*2^1451512-1 is not prime. Res64: 08587A6F81D2AEF1 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:28] 863*2^1451512-1 is not prime. Res64: 2170788334604E3E Time : 0.0 sec. user=mdettweiler [2017-04-13 19:04:30] 715*2^1451513-1 is not prime. Res64: 448A47BC99AB927E Time : 0.0 sec. user=mdettweiler [2017-04-13 19:26:42] 699*2^1451488-1 is not prime. Res64: 3A1D864C3C619763 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:26:43] 819*2^1451488-1 is not prime. Res64: B1D32E80A3924EF6 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:26:43] 887*2^1451488-1 is not prime. Res64: 1512C0B121FF5DD9 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:26:43] 691*2^1451489-1 is not prime. Res64: 52354D76862C1546 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:26:44] 957*2^1451489-1 is not prime. Res64: 4744E9F7634C5217 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:37:45] 727*2^1451513-1 is not prime. Res64: 176953CDE94816DD Time : 0.0 sec. user=mdettweiler [2017-04-13 19:37:45] 771*2^1451513-1 is not prime. Res64: 14873F91DB0D47C4 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:37:46] 811*2^1451513-1 is not prime. Res64: 41A61BD0916AA194 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:37:46] 861*2^1451513-1 is not prime. Res64: EA2B738355DAE3D8 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:37:46] 889*2^1451513-1 is not prime. Res64: 2D82962FA1F48D25 Time : 0.0 sec. user=juhehe [2017-04-13 19:46:41] 975*2^1451514-1 is not prime. Res64: 4DA7106A43051364 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:07] 901*2^1451513-1 is not prime. Res64: 319EFD2C8875E0CD Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:07] 949*2^1451513-1 is not prime. Res64: 2BA281204D967A45 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:07] 635*2^1451514-1 is not prime. Res64: 20E105FC2A29D13E Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:08] 657*2^1451514-1 is not prime. Res64: 6C46CA541BFE9045 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:08] 663*2^1451514-1 is not prime. Res64: 8FF79AA01411530B Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:37] 815*2^1451514-1 is not prime. Res64: 6BC1194745922442 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:38] 851*2^1451514-1 is not prime. Res64: C3EB590C75609510 Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:38] 917*2^1451514-1 is not prime. Res64: C5AED82EDCBB51DC Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:38] 921*2^1451514-1 is not prime. Res64: D1E8F46131DAA8FB Time : 0.0 sec. user=mdettweiler [2017-04-13 19:54:38] 927*2^1451514-1 is not prime. Res64: 7B4AAFF17A897157 Time : 0.0 sec. user=juhehe [2017-04-13 20:18:36] 749*2^1451516-1 is not prime. Res64: 066E1F53C7C2115B Time : 0.0 sec. user=mdettweiler [2017-04-13 20:25:54] 649*2^1451515-1 is not prime. Res64: 8C671F66D743A3A9 Time : 0.0 sec. user=mdettweiler [2017-04-13 20:25:54] 691*2^1451515-1 is not prime. Res64: 95AAFDA7A0EC4E74 Time : 0.0 sec. user=mdettweiler [2017-04-13 20:25:54] 751*2^1451515-1 is not prime. Res64: ABB1FC8AB8266B3A Time : 0.0 sec. user=mdettweiler [2017-04-13 20:25:55] 793*2^1451515-1 is not prime. Res64: 91BB8700877B1171 Time : 0.0 sec. user=mdettweiler [2017-04-13 20:25:55] 859*2^1451515-1 is not prime. Res64: ECC13490CF24E914 Time : 0.0 sec. user=mdettweiler [2017-04-13 20:43:51] 913*2^1451515-1 is not prime. Res64: 68D4183DA1661B26 Time : 0.0 sec. user=mdettweiler [2017-04-13 20:43:51] 919*2^1451515-1 is not prime. Res64: 624F58CA5CA3CE16 Time : 0.0 sec. user=mdettweiler [2017-04-13 20:43:52] 633*2^1451516-1 is not prime. Res64: B183D312CC922B7B Time : 0.0 sec. user=mdettweiler [2017-04-13 20:43:52] 717*2^1451516-1 is not prime. Res64: BA98A527D332B49E Time : 0.0 sec. user=mdettweiler [2017-04-13 20:43:52] 725*2^1451516-1 is not prime. Res64: E38F7EBBDBEFB593 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:27] 993*2^1451516-1 is not prime. Res64: 5EF09E95ADF6FBB5 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:28] 601*2^1451517-1 is not prime. Res64: A260616EA4F71D6B Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:29] 661*2^1451517-1 is not prime. Res64: 8B2E1636EFBD2B4E Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:29] 735*2^1451517-1 is not prime. Res64: AF8F72F7A8FB79D9 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:30] 871*2^1451517-1 is not prime. Res64: 81D1D1469471E56F Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:44] 801*2^1451518-1 is not prime. Res64: 9E1FEB9C839F416F Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:44] 825*2^1451518-1 is not prime. Res64: E5357943D41ECD64 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:46] 615*2^1451519-1 is not prime. Res64: D3E37DCF898011FB Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:47] 885*2^1451519-1 is not prime. Res64: 1D8FFCB0D56C46DF Time : 0.0 sec. user=mdettweiler [2017-04-13 21:01:49] 913*2^1451519-1 is not prime. Res64: 6C41D03AD74A6478 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:25:38] 747*2^1451520-1 is not prime. Res64: 7DDA487AA5A9B87F Time : 0.0 sec. user=mdettweiler [2017-04-13 21:25:39] 765*2^1451520-1 is not prime. Res64: DCF2E3A46F9BD93F Time : 0.0 sec. user=mdettweiler [2017-04-13 21:25:39] 803*2^1451520-1 is not prime. Res64: 0AF1D18FA6580771 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:25:40] 879*2^1451520-1 is not prime. Res64: F77090447EFB5DD5 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:25:40] 909*2^1451520-1 is not prime. Res64: E376272780FE6768 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:36:29] 917*2^1451520-1 is not prime. Res64: D0351AD9086FFE40 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:36:33] 923*2^1451520-1 is not prime. Res64: 7BC0DD57E71A5998 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:36:33] 927*2^1451520-1 is not prime. Res64: E9311390A836656B Time : 0.0 sec. user=mdettweiler [2017-04-13 21:36:34] 607*2^1451521-1 is not prime. Res64: C97716751027AC36 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:36:34] 705*2^1451521-1 is not prime. Res64: 70594B92EDE89CAD Time : 0.0 sec. user=juhehe [2017-04-13 21:46:06] 893*2^1451522-1 is not prime. Res64: 185C60092F962210 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:20] 797*2^1451522-1 is not prime. Res64: 947C20E2430B1830 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:20] 819*2^1451521-1 is not prime. Res64: FF1702974FE9B25E Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:21] 801*2^1451522-1 is not prime. Res64: 06634779CAB63911 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:21] 829*2^1451521-1 is not prime. Res64: 8EA2911585837862 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:21] 815*2^1451522-1 is not prime. Res64: 5096548361007AD1 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:21] 861*2^1451521-1 is not prime. Res64: D526A433B7C26AF1 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:22] 825*2^1451522-1 is not prime. Res64: C96E89B033DBEF2C Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:22] 901*2^1451521-1 is not prime. Res64: EA6BB6481C42C202 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:22] 875*2^1451522-1 is not prime. Res64: 8C65CD460B035B01 Time : 0.0 sec. user=mdettweiler [2017-04-13 21:48:22] 967*2^1451521-1 is not prime. Res64: 8082D3B154EF4CA1 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:11:21] 903*2^1451522-1 is not prime. Res64: 329E0A0241FC1DE4 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:11:22] 613*2^1451523-1 is not prime. Res64: 0ADE8F55A0CF0802 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:11:22] 621*2^1451523-1 is not prime. Res64: 738E270FDABD8B7E Time : 0.0 sec. user=mdettweiler [2017-04-13 22:11:23] 679*2^1451523-1 is not prime. Res64: 46FA2E594852A897 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:11:23] 735*2^1451523-1 is not prime. Res64: DDE4DC5EA54187ED Time : 0.0 sec. user=mdettweiler [2017-04-13 22:21:53] 741*2^1451523-1 is not prime. Res64: 9B6DA2E06540FDB1 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:21:54] 853*2^1451523-1 is not prime. Res64: 7680C74FC689D775 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:21:54] 873*2^1451523-1 is not prime. Res64: 3D3EAD2717C7AE1B Time : 0.0 sec. user=mdettweiler [2017-04-13 22:21:55] 901*2^1451523-1 is not prime. Res64: 7950727592A385E7 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:21:55] 623*2^1451524-1 is not prime. Res64: 30D69F99817F4F6C Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:48] 635*2^1451524-1 is not prime. Res64: 93ED2B756C0DE90F Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:48] 749*2^1451524-1 is not prime. Res64: B15CDB0959864B46 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:48] 765*2^1451524-1 is not prime. Res64: 35A0DDD5BE7DA18D Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:49] 857*2^1451524-1 is not prime. Res64: C042DA74F4203266 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:49] 607*2^1451525-1 is not prime. Res64: 909FA8AE66CA0329 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:55] 645*2^1451525-1 is not prime. Res64: 2A5FEE1CE9E22F28 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:56] 949*2^1451525-1 is not prime. Res64: BA184B54398B0624 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:56] 979*2^1451525-1 is not prime. Res64: FDB2EF957ADAFCF1 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:56] 647*2^1451526-1 is not prime. Res64: 3AAB40AD41CEC862 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:33:57] 851*2^1451526-1 is not prime. Res64: 7567AEA168C5ABE6 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:56:19] 903*2^1451526-1 is not prime. Res64: 6C116C9851059589 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:56:19] 603*2^1451527-1 is not prime. Res64: E517E6346FF154FC Time : 0.0 sec. user=mdettweiler [2017-04-13 22:56:20] 633*2^1451527-1 is not prime. Res64: 8CBC8AA3F803ACD1 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:56:20] 649*2^1451527-1 is not prime. Res64: 2514CFA3074AF720 Time : 0.0 sec. user=mdettweiler [2017-04-13 22:56:21] 843*2^1451527-1 is not prime. Res64: 184B54FB16B9F540 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:06:53] 915*2^1451527-1 is not prime. Res64: 788A2F3951288906 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:06:53] 939*2^1451527-1 is not prime. Res64: 1A9191F3D82946A1 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:06:54] 973*2^1451527-1 is not prime. Res64: EFD0DABFD18788F6 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:06:54] 665*2^1451528-1 is not prime. Res64: 2AA0C95EB36AB929 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:06:55] 683*2^1451528-1 is not prime. Res64: 76B9A31599D31B2F Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:39] 879*2^1451528-1 is not prime. Res64: 996C3BC59330A099 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:40] 977*2^1451528-1 is not prime. Res64: C1821E080ADE6989 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:40] 795*2^1451529-1 is not prime. Res64: 89F4186ED8F7BADF Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:41] 975*2^1451529-1 is not prime. Res64: 2DFB4917891C173C Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:41] 777*2^1451530-1 is not prime. Res64: F1F2BF8413AE617C Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:58] 917*2^1451530-1 is not prime. Res64: B3F33FF959F89395 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:59] 945*2^1451530-1 is not prime. Res64: D1588197106F9407 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:59] 615*2^1451531-1 is not prime. Res64: C1EBAFD838F5DA50 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:18:59] 651*2^1451531-1 is not prime. Res64: BCC3025251886E13 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:19:00] 705*2^1451531-1 is not prime. Res64: 2AF46285D686D003 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:41:40] 781*2^1451531-1 is not prime. Res64: 26C54AA312F3A51C Time : 0.0 sec. user=mdettweiler [2017-04-13 23:41:42] 789*2^1451531-1 is not prime. Res64: 7AF7366EAE910977 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:41:42] 889*2^1451531-1 is not prime. Res64: ACAFFB6CC7F8ED33 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:41:43] 973*2^1451531-1 is not prime. Res64: 99F00FA317ECEE91 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:41:43] 689*2^1451532-1 is not prime. Res64: A9054F1AF9E4DF8A Time : 0.0 sec. user=juhehe [2017-04-13 23:49:35] 909*2^1451532-1 is not prime. Res64: 64EF9CA56A5E3CD1 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:52:12] 737*2^1451532-1 is not prime. Res64: 4D3DCB051A4143F7 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:52:12] 819*2^1451532-1 is not prime. Res64: A08A5C8E24192469 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:52:12] 825*2^1451532-1 is not prime. Res64: FB935ADAE92C68BA Time : 0.0 sec. user=mdettweiler [2017-04-13 23:52:13] 887*2^1451532-1 is not prime. Res64: E3C6F66F5833F990 Time : 0.0 sec. user=mdettweiler [2017-04-13 23:52:13] 899*2^1451532-1 is not prime. Res64: 68B0B2DA0A7B6C60 Time : 0.0 sec.