user=mdettweiler [2017-04-23 00:03:56] 639*2^1452424-1 is not prime. Res64: 6C22676AB725DE3A Time : 0.0 sec. user=mdettweiler [2017-04-23 00:03:57] 675*2^1452424-1 is not prime. Res64: 855912C2E9AA333B Time : 0.0 sec. user=mdettweiler [2017-04-23 00:03:57] 717*2^1452424-1 is not prime. Res64: EC64FF2B0C6CD703 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:03:58] 723*2^1452424-1 is not prime. Res64: 021EB70D22C2CD4A Time : 0.0 sec. user=mdettweiler [2017-04-23 00:03:58] 903*2^1452424-1 is not prime. Res64: 53C380CB9343BFEB Time : 0.0 sec. user=mdettweiler [2017-04-23 00:09:02] 917*2^1452424-1 is not prime. Res64: D834197D5D094B5B Time : 0.0 sec. user=mdettweiler [2017-04-23 00:09:02] 699*2^1452425-1 is not prime. Res64: F26E73F70BB964E6 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:09:03] 789*2^1452425-1 is not prime. Res64: B0D32FA1F60DDA65 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:09:03] 907*2^1452425-1 is not prime. Res64: 1114DD773160E940 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:09:03] 951*2^1452425-1 is not prime. Res64: 132A221C0EAAC406 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:48:43] 681*2^1452177-1 is not prime. Res64: A1E84223814D8078 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:48:44] 717*2^1452177-1 is not prime. Res64: DDD84E0DDE17B2A5 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:48:44] 847*2^1452177-1 is not prime. Res64: CD256DE8BF0C1BD5 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:48:44] 865*2^1452177-1 is not prime. Res64: 743220980CCA2C91 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:48:44] 623*2^1452178-1 is not prime. Res64: A433174DF6E92FCC Time : 0.0 sec. user=mdettweiler [2017-04-23 00:54:04] 881*2^1452426-1 is not prime. Res64: 61958D8105B85789 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:54:05] 971*2^1452426-1 is not prime. Res64: CECC32CA531C90A9 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:54:05] 633*2^1452427-1 is not prime. Res64: A16B0FD8EA82713D Time : 0.0 sec. user=mdettweiler [2017-04-23 00:54:05] 675*2^1452427-1 is not prime. Res64: 467A9DCC393CEAD9 Time : 0.0 sec. user=mdettweiler [2017-04-23 00:54:05] 849*2^1452427-1 is not prime. Res64: ED46D0282F7A90AB Time : 0.0 sec. user=juhehe [2017-04-23 01:24:10] 915*2^1452427-1 is not prime. Res64: 1A1894235C787611 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:34:08] 939*2^1452427-1 is not prime. Res64: E57E3277B1E97CB2 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:34:08] 961*2^1452427-1 is not prime. Res64: 810C264F0FD0E076 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:34:09] 985*2^1452427-1 is not prime. Res64: FE6B4C6C8E1C41CA Time : 0.0 sec. user=mdettweiler [2017-04-23 01:34:09] 603*2^1452428-1 is not prime. Res64: AFE94A7433D601B9 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:34:09] 825*2^1452428-1 is not prime. Res64: 62931BC381AA0822 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:39:04] 845*2^1452428-1 is not prime. Res64: DABCAF963E98C268 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:39:05] 879*2^1452428-1 is not prime. Res64: 2DD4FB5F4CF1306E Time : 0.0 sec. user=mdettweiler [2017-04-23 01:39:05] 649*2^1452429-1 is not prime. Res64: 24DE80C778B1D8F5 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:39:05] 685*2^1452429-1 is not prime. Res64: 55F34B2D5C920218 Time : 0.0 sec. user=mdettweiler [2017-04-23 01:39:05] 747*2^1452429-1 is not prime. Res64: 94E0AADD54E57707 Time : 0.0 sec. user=mdettweiler [2017-04-23 02:19:02] 765*2^1452429-1 is not prime. Res64: 52377064706A4207 Time : 0.0 sec. user=mdettweiler [2017-04-23 02:19:03] 787*2^1452429-1 is not prime. Res64: 2EE5E755E4BA2D23 Time : 0.0 sec. user=mdettweiler [2017-04-23 02:19:03] 861*2^1452429-1 is not prime. Res64: BC7A1EBD26E35C3A Time : 0.0 sec. user=mdettweiler [2017-04-23 02:19:03] 985*2^1452429-1 is not prime. Res64: 796D9EB78F989A8E Time : 0.0 sec. user=mdettweiler [2017-04-23 02:19:04] 663*2^1452430-1 is not prime. Res64: 635AEFD20DE0656B Time : 0.0 sec. user=mdettweiler [2017-04-23 02:23:50] 723*2^1452430-1 is not prime. Res64: 5D907F5168FC2CB3 Time : 0.0 sec. user=mdettweiler [2017-04-23 02:23:51] 741*2^1452430-1 is not prime. Res64: 2FADC13054781873 Time : 0.0 sec. user=mdettweiler [2017-04-23 02:23:51] 761*2^1452430-1 is not prime. Res64: 139C051E58AF049C Time : 0.0 sec. user=mdettweiler [2017-04-23 02:23:51] 911*2^1452430-1 is not prime. Res64: 349BDE835F6A6601 Time : 0.0 sec. user=mdettweiler [2017-04-23 02:23:51] 917*2^1452430-1 is not prime. Res64: 7A33E560DD2CACDC Time : 0.0 sec. user=mdettweiler [2017-04-23 03:04:15] 951*2^1452430-1 is not prime. Res64: 88C72884CF05752B Time : 0.0 sec. user=mdettweiler [2017-04-23 03:04:17] 975*2^1452430-1 is not prime. Res64: D1A2FF6502536533 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:04:18] 669*2^1452431-1 is not prime. Res64: D70C22CDB14E3EE9 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:04:18] 783*2^1452431-1 is not prime. Res64: 0C49869B5562AC1E Time : 0.0 sec. user=mdettweiler [2017-04-23 03:04:19] 819*2^1452431-1 is not prime. Res64: 77C0BC0B991EDE1A Time : 0.0 sec. user=mdettweiler [2017-04-23 03:09:09] 843*2^1452431-1 is not prime. Res64: AF09F518B55B1C93 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:09:09] 859*2^1452431-1 is not prime. Res64: 3026B32D87C9EBA8 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:09:09] 725*2^1452432-1 is not prime. Res64: 0E5C016CC098D8BB Time : 0.0 sec. user=mdettweiler [2017-04-23 03:09:10] 747*2^1452432-1 is not prime. Res64: 32D1860A59C69459 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:09:10] 849*2^1452432-1 is not prime. Res64: E783B814A28FFC9A Time : 0.0 sec. user=juhehe [2017-04-23 03:27:50] 857*2^1452432-1 is not prime. Res64: EA1999577A5E86C6 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:43:12] 671*2^1452426-1 is not prime. Res64: C1262706B4BD67BD Time : 0.0 sec. user=mdettweiler [2017-04-23 03:43:13] 723*2^1452426-1 is not prime. Res64: 6B8DE05C5614512E Time : 0.0 sec. user=mdettweiler [2017-04-23 03:43:15] 741*2^1452426-1 is not prime. Res64: 1B2E62D2266D3E50 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:43:16] 755*2^1452426-1 is not prime. Res64: 2E9F9F2EB42CF583 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:43:17] 783*2^1452426-1 is not prime. Res64: 1D385E8272C72EB2 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:49:27] 639*2^1452433-1 is not prime. Res64: 04A1FD4C61681289 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:49:28] 729*2^1452433-1 is not prime. Res64: D94C06E61EF8CA72 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:49:29] 771*2^1452433-1 is not prime. Res64: 449D3126C3247D9D Time : 0.0 sec. user=mdettweiler [2017-04-23 03:49:29] 789*2^1452433-1 is not prime. Res64: 590F87E8D3D21A79 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:49:30] 847*2^1452433-1 is not prime. Res64: 23D5A8F41AC8EE39 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:54:21] 889*2^1452433-1 is not prime. Res64: 043B01D4D7768784 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:54:22] 945*2^1452433-1 is not prime. Res64: 9AE5CD00C2B08FC4 Time : 0.0 sec. user=mdettweiler [2017-04-23 03:54:23] 999*2^1452433-1 is not prime. Res64: 4B6583F40C8BF3DF Time : 0.0 sec. user=mdettweiler [2017-04-23 03:54:23] 615*2^1452434-1 is not prime. Res64: 5066C5C739AA0A3D Time : 0.0 sec. user=mdettweiler [2017-04-23 03:54:24] 665*2^1452434-1 is not prime. Res64: A38E8F82CE1B9E63 Time : 0.0 sec. user=juhehe [2017-04-23 04:19:49] 755*2^1452434-1 is not prime. Res64: BD4A24E55742FD51 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:29:17] 783*2^1452434-1 is not prime. Res64: 57510EB6448F5A7D Time : 0.0 sec. user=mdettweiler [2017-04-23 04:29:17] 785*2^1452434-1 is not prime. Res64: 6F06A0D4A2CE97A2 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:29:17] 813*2^1452434-1 is not prime. Res64: BAD2427DE29F0319 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:29:18] 861*2^1452434-1 is not prime. Res64: DDCD7054C666562C Time : 0.0 sec. user=mdettweiler [2017-04-23 04:29:18] 887*2^1452434-1 is not prime. Res64: 3FBB79E9A5361D0C Time : 0.0 sec. user=mdettweiler [2017-04-23 04:35:28] 917*2^1452434-1 is not prime. Res64: 56ED41232763FAF1 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:35:28] 971*2^1452434-1 is not prime. Res64: 8282BA2F1CC8AD37 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:35:29] 633*2^1452435-1 is not prime. Res64: D722B4CA0353D519 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:35:29] 735*2^1452435-1 is not prime. Res64: A2B85A6E9121F737 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:35:29] 751*2^1452435-1 is not prime. Res64: 5608E55309734DE9 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:39:56] 753*2^1452435-1 is not prime. Res64: EBFD7F3FA04DCDAF Time : 0.0 sec. user=mdettweiler [2017-04-23 04:39:56] 783*2^1452435-1 is not prime. Res64: A60797D638723947 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:39:56] 805*2^1452435-1 is not prime. Res64: A54C272120D524F7 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:39:57] 819*2^1452435-1 is not prime. Res64: 316D48CA54E4B879 Time : 0.0 sec. user=mdettweiler [2017-04-23 04:39:57] 859*2^1452435-1 is not prime. Res64: 22154B22E829A5DC Time : 0.0 sec. user=juhehe [2017-04-23 04:47:10] 909*2^1452435-1 is not prime. Res64: A361FA046CCBBA1B Time : 0.0 sec. user=mdettweiler [2017-04-23 05:13:53] 961*2^1452435-1 is not prime. Res64: 3C168FFDEC1794CD Time : 0.0 sec. user=mdettweiler [2017-04-23 05:13:53] 963*2^1452435-1 is not prime. Res64: FABA5C01985C630C Time : 0.0 sec. user=mdettweiler [2017-04-23 05:13:53] 647*2^1452436-1 is not prime. Res64: B5F9860EDCEC8222 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:13:54] 869*2^1452436-1 is not prime. Res64: 8AA51B0853B3C5D8 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:13:54] 957*2^1452436-1 is not prime. Res64: 8701D438A114F1D4 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:20:02] 975*2^1452436-1 is not prime. Res64: 717FE6AB1F9BAAFB Time : 0.0 sec. user=mdettweiler [2017-04-23 05:20:02] 619*2^1452437-1 is not prime. Res64: 092F1D08DE7508D2 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:20:03] 717*2^1452437-1 is not prime. Res64: 3F4A351C5E983AD6 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:20:03] 931*2^1452437-1 is not prime. Res64: FDE8AFBEC83C30B5 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:20:03] 991*2^1452437-1 is not prime. Res64: 7965105A5EE80428 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:24:33] 657*2^1452438-1 is not prime. Res64: 819E803F38CD8970 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:24:33] 693*2^1452438-1 is not prime. Res64: 907FDE5F0D8FF6C6 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:24:33] 695*2^1452438-1 is not prime. Res64: 912402C4D8BD1A9C Time : 0.0 sec. user=mdettweiler [2017-04-23 05:24:34] 711*2^1452438-1 is not prime. Res64: A3D4180B08264D19 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:24:34] 777*2^1452438-1 is not prime. Res64: 9BF01C5A25CBA46B Time : 0.0 sec. user=mdettweiler [2017-04-23 05:58:34] 927*2^1452438-1 is not prime. Res64: 0A42E543140E62E6 Time : 0.0 sec. user=mdettweiler [2017-04-23 05:58:34] 971*2^1452438-1 is not prime. Res64: 0A658FD6E96D8C8A Time : 0.0 sec. user=mdettweiler [2017-04-23 05:58:34] 615*2^1452439-1 is not prime. Res64: 8646301AB2AF5E3B Time : 0.0 sec. user=mdettweiler [2017-04-23 05:58:34] 633*2^1452439-1 is not prime. Res64: 5CF7E4B23D02CF9E Time : 0.0 sec. user=mdettweiler [2017-04-23 05:58:35] 681*2^1452439-1 is not prime. Res64: 36B60B070477133F Time : 0.0 sec. user=mdettweiler [2017-04-23 06:04:37] 829*2^1452439-1 is not prime. Res64: 68EC35B433952438 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:04:38] 843*2^1452439-1 is not prime. Res64: 9547C4B8F8FC0E79 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:04:39] 861*2^1452439-1 is not prime. Res64: 4CB4E8FD4879817C Time : 0.0 sec. user=mdettweiler [2017-04-23 06:04:40] 925*2^1452439-1 is not prime. Res64: 203654052469CB4E Time : 0.0 sec. user=mdettweiler [2017-04-23 06:04:40] 973*2^1452439-1 is not prime. Res64: D2A9A26BD447814B Time : 0.0 sec. user=mdettweiler [2017-04-23 06:09:05] 975*2^1452439-1 is not prime. Res64: 22D27DB660DD329E Time : 0.0 sec. user=mdettweiler [2017-04-23 06:09:05] 669*2^1452440-1 is not prime. Res64: 4E3164B6ED6ACFC6 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:09:05] 699*2^1452440-1 is not prime. Res64: FDB268017C38C5EE Time : 0.0 sec. user=mdettweiler [2017-04-23 06:09:05] 759*2^1452440-1 is not prime. Res64: 0D3E9F403CCB63CA Time : 0.0 sec. user=mdettweiler [2017-04-23 06:09:06] 777*2^1452440-1 is not prime. Res64: 580A0ADFD6E5150D Time : 0.0 sec. user=mdettweiler [2017-04-23 06:43:05] 825*2^1452440-1 is not prime. Res64: F466A0A268E1CF25 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:43:05] 845*2^1452440-1 is not prime. Res64: CD937B3C01E3A7BD Time : 0.0 sec. user=mdettweiler [2017-04-23 06:43:05] 607*2^1452441-1 is not prime. Res64: 06479F3E8383B03A Time : 0.0 sec. user=mdettweiler [2017-04-23 06:43:06] 625*2^1452441-1 is not prime. Res64: 84B918FBEDA8676B Time : 0.0 sec. user=mdettweiler [2017-04-23 06:43:06] 711*2^1452441-1 is not prime. Res64: 8CD000685A6D6C99 Time : 0.0 sec. user=juhehe [2017-04-23 06:49:00] 969*2^1452441-1 is not prime. Res64: C45ABD0EFB4B7408 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:49:16] 745*2^1452441-1 is not prime. Res64: E457AC8724A9D246 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:49:17] 781*2^1452441-1 is not prime. Res64: A07847CC68F8BF45 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:49:17] 805*2^1452441-1 is not prime. Res64: 5F90D6AA5860C91D Time : 0.0 sec. user=mdettweiler [2017-04-23 06:49:17] 807*2^1452441-1 is not prime. Res64: 4A71A3EB67BA08EC Time : 0.0 sec. user=mdettweiler [2017-04-23 06:49:17] 847*2^1452441-1 is not prime. Res64: A1E52EBCD9ABE406 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:53:39] 603*2^1452442-1 is not prime. Res64: 5146428704813D8E Time : 0.0 sec. user=mdettweiler [2017-04-23 06:53:39] 611*2^1452442-1 is not prime. Res64: 7EA73063842E323C Time : 0.0 sec. user=mdettweiler [2017-04-23 06:53:39] 617*2^1452442-1 is not prime. Res64: D1D2CEA6F319CE31 Time : 0.0 sec. user=mdettweiler [2017-04-23 06:53:39] 621*2^1452442-1 is not prime. Res64: D110C19A11B7E71F Time : 0.0 sec. user=mdettweiler [2017-04-23 06:53:39] 635*2^1452442-1 is not prime. Res64: F8C466C1D591BC28 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:27:35] 645*2^1452442-1 is not prime. Res64: 86E805708DA787F4 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:27:35] 717*2^1452442-1 is not prime. Res64: F9ED3A4ECF19D714 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:27:35] 723*2^1452442-1 is not prime. Res64: 570129A841C37B21 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:27:36] 791*2^1452442-1 is not prime. Res64: 31449A3EF0EA3630 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:27:36] 885*2^1452442-1 is not prime. Res64: 6A94D41BCEF50331 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:33:47] 917*2^1452442-1 is not prime. Res64: 7BFC5826C77F8FD4 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:33:47] 663*2^1452443-1 is not prime. Res64: B76D90B48BB15072 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:33:47] 699*2^1452443-1 is not prime. Res64: FDEC843AED1CC17A Time : 0.0 sec. user=mdettweiler [2017-04-23 07:33:48] 715*2^1452443-1 is not prime. Res64: 86EBA63E4D41FA17 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:33:48] 871*2^1452443-1 is not prime. Res64: C0E37FD52CC2A15E Time : 0.0 sec. user=mdettweiler [2017-04-23 07:38:10] 623*2^1452444-1 is not prime. Res64: 5DE335356E8154DF Time : 0.0 sec. user=mdettweiler [2017-04-23 07:38:10] 683*2^1452444-1 is not prime. Res64: 829EBC02F5B79FC4 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:38:10] 693*2^1452444-1 is not prime. Res64: 49652BE87EE76D58 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:38:10] 719*2^1452444-1 is not prime. Res64: D730A5F66C9B4C25 Time : 0.0 sec. user=mdettweiler [2017-04-23 07:38:11] 737*2^1452444-1 is not prime. Res64: A12B8F7D3813E7BE Time : 0.0 sec. user=mdettweiler [2017-04-23 08:12:11] 773*2^1452444-1 is not prime. Res64: 4882F62212FD8C6D Time : 0.0 sec. user=mdettweiler [2017-04-23 08:12:12] 843*2^1452444-1 is not prime. Res64: A8DFCD7DD3B201F5 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:12:12] 893*2^1452444-1 is not prime. Res64: 06EF3394BCCBBB40 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:12:12] 903*2^1452444-1 is not prime. Res64: 716D7A31C06C5EB8 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:12:13] 945*2^1452444-1 is not prime. Res64: E8F668A864ED5EE3 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:18:19] 993*2^1452444-1 is not prime. Res64: EE3DF848C5A77100 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:18:19] 625*2^1452445-1 is not prime. Res64: CDF07E4826C611F4 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:18:19] 645*2^1452445-1 is not prime. Res64: D42134E3F7FB9E8F Time : 0.0 sec. user=mdettweiler [2017-04-23 08:18:20] 717*2^1452445-1 is not prime. Res64: E30D83F3A43462E3 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:18:20] 721*2^1452445-1 is not prime. Res64: AB29BFC8186FDB86 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:22:43] 771*2^1452445-1 is not prime. Res64: F098B2D40AE36D59 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:22:44] 805*2^1452445-1 is not prime. Res64: BC487C54DF0A1C07 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:22:44] 867*2^1452445-1 is not prime. Res64: B26DA82C31BB0310 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:22:44] 897*2^1452445-1 is not prime. Res64: BABF8D897C6D05C4 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:22:44] 979*2^1452445-1 is not prime. Res64: A8F7E3884C777182 Time : 0.0 sec. user=juhehe [2017-04-23 08:49:40] 603*2^1452446-1 is not prime. Res64: 354B7328E3A1F620 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:56:53] 677*2^1452446-1 is not prime. Res64: DF8FA68C4CE44DFD Time : 0.0 sec. user=mdettweiler [2017-04-23 08:56:54] 713*2^1452446-1 is not prime. Res64: 80D86FD83FF2A454 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:56:54] 813*2^1452446-1 is not prime. Res64: ABAF056ACD6C9B4A Time : 0.0 sec. user=mdettweiler [2017-04-23 08:56:54] 831*2^1452446-1 is not prime. Res64: 6DD6A039BECC9425 Time : 0.0 sec. user=mdettweiler [2017-04-23 08:56:55] 873*2^1452446-1 is not prime. Res64: C70B7AC679B0C8C5 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:02:51] 897*2^1452446-1 is not prime. Res64: F4AE709FAD65F5A3 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:02:52] 941*2^1452446-1 is not prime. Res64: B4AC629C42F69289 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:02:53] 971*2^1452446-1 is not prime. Res64: 7DE7211B405B3262 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:02:54] 981*2^1452446-1 is not prime. Res64: 6202D45F71038EE8 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:02:55] 643*2^1452447-1 is not prime. Res64: E08B4CC6C3BE972F Time : 0.0 sec. user=mdettweiler [2017-04-23 09:07:16] 709*2^1452447-1 is not prime. Res64: 2E8FE2A1F21ED184 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:07:16] 739*2^1452447-1 is not prime. Res64: 08278AD9745181D2 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:07:17] 975*2^1452447-1 is not prime. Res64: 06B18A9DE18F800C Time : 0.0 sec. user=mdettweiler [2017-04-23 09:07:17] 657*2^1452448-1 is not prime. Res64: 2B3D9733257707DD Time : 0.0 sec. user=mdettweiler [2017-04-23 09:07:17] 705*2^1452448-1 is not prime. Res64: 77E34C20146C7317 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:41:24] 743*2^1452448-1 is not prime. Res64: 3F57C5376A49B3E1 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:41:24] 747*2^1452448-1 is not prime. Res64: E7A6EEA87EA9DCCF Time : 0.0 sec. user=mdettweiler [2017-04-23 09:41:25] 833*2^1452448-1 is not prime. Res64: 452C5E3E0EF5F6E6 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:41:25] 875*2^1452448-1 is not prime. Res64: AC8CDFF29B005C2B Time : 0.0 sec. user=mdettweiler [2017-04-23 09:41:25] 933*2^1452448-1 is not prime. Res64: 13C171809FCE07C5 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:47:34] 999*2^1452448-1 is not prime. Res64: 2DE812734A9CE358 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:47:34] 615*2^1452449-1 is not prime. Res64: DB87434138986330 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:47:34] 711*2^1452449-1 is not prime. Res64: E7671027824CBCF4 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:47:35] 787*2^1452449-1 is not prime. Res64: 4C6A4F90ACC08C5B Time : 0.0 sec. user=mdettweiler [2017-04-23 09:47:35] 865*2^1452449-1 is not prime. Res64: E8D824A1F5E003ED Time : 0.0 sec. user=mdettweiler [2017-04-23 09:51:46] 955*2^1452449-1 is not prime. Res64: ADAC43ABE89BCA4E Time : 0.0 sec. user=mdettweiler [2017-04-23 09:51:47] 611*2^1452450-1 is not prime. Res64: 19C09864C330F961 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:51:47] 633*2^1452450-1 is not prime. Res64: 791D9C1B6DA034F3 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:51:47] 783*2^1452450-1 is not prime. Res64: F42DBAC782A42395 Time : 0.0 sec. user=mdettweiler [2017-04-23 09:51:48] 791*2^1452450-1 is not prime. Res64: BB8677B4A2FE3567 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:26:00] 797*2^1452450-1 is not prime. Res64: 72578F65CD9B0D67 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:26:01] 845*2^1452450-1 is not prime. Res64: 503E59F474243B8C Time : 0.0 sec. user=mdettweiler [2017-04-23 10:26:01] 885*2^1452450-1 is not prime. Res64: 995E5EC83D4E0FA9 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:26:01] 923*2^1452450-1 is not prime. Res64: 5F985CD456385041 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:26:02] 631*2^1452451-1 is not prime. Res64: 08CED8E05371A6C5 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:32:07] 873*2^1452451-1 is not prime. Res64: 48F609C7F0075793 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:32:07] 973*2^1452451-1 is not prime. Res64: 83EA44FBBFC7FE2A Time : 0.0 sec. user=mdettweiler [2017-04-23 10:32:07] 629*2^1452452-1 is not prime. Res64: B9F1206DDAC91687 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:32:08] 675*2^1452452-1 is not prime. Res64: 21276A5349953125 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:32:08] 735*2^1452452-1 is not prime. Res64: C6C86BAE6B1EDD92 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:36:24] 767*2^1452452-1 is not prime. Res64: AB829439424ECAEF Time : 0.0 sec. user=mdettweiler [2017-04-23 10:36:25] 837*2^1452452-1 is not prime. Res64: DEDB9B7E5D9FE790 Time : 0.0 sec. user=mdettweiler [2017-04-23 10:36:25] 929*2^1452452-1 is not prime. Res64: A662191120AD993E Time : 0.0 sec. user=mdettweiler [2017-04-23 10:36:25] 959*2^1452452-1 is not prime. Res64: A851828672EE8AFC Time : 0.0 sec. user=mdettweiler [2017-04-23 10:36:25] 977*2^1452452-1 is not prime. Res64: 66E4C965E02F9EF2 Time : 0.0 sec. user=juhehe [2017-04-23 10:51:32] 615*2^1452453-1 is not prime. Res64: B9C842B7B01FF70C Time : 0.0 sec. user=mdettweiler [2017-04-23 11:10:34] 625*2^1452453-1 is not prime. Res64: 7E99BBA553E0259A Time : 0.0 sec. user=mdettweiler [2017-04-23 11:10:35] 675*2^1452453-1 is not prime. Res64: 147316E1F2B5E951 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:10:35] 721*2^1452453-1 is not prime. Res64: 77653DD88A4EA2FF Time : 0.0 sec. user=mdettweiler [2017-04-23 11:10:35] 735*2^1452453-1 is not prime. Res64: 8EC3AFD3361AC921 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:10:36] 769*2^1452453-1 is not prime. Res64: 64AACB47DA92800D Time : 0.0 sec. user=mdettweiler [2017-04-23 11:16:40] 781*2^1452453-1 is not prime. Res64: B461E9567BC728DB Time : 0.0 sec. user=mdettweiler [2017-04-23 11:16:40] 861*2^1452453-1 is not prime. Res64: 647E555BF5C9AB4E Time : 0.0 sec. user=mdettweiler [2017-04-23 11:16:40] 877*2^1452453-1 is not prime. Res64: D486F2FF6F7F032A Time : 0.0 sec. user=mdettweiler [2017-04-23 11:16:40] 979*2^1452453-1 is not prime. Res64: 8A21B03652520029 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:16:41] 999*2^1452453-1 is not prime. Res64: C738AE9024C84518 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:20:55] 617*2^1452454-1 is not prime. Res64: 7FCBBA2CE65DC7BF Time : 0.0 sec. user=mdettweiler [2017-04-23 11:20:55] 623*2^1452454-1 is not prime. Res64: 53538E2137F81E73 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:20:55] 657*2^1452454-1 is not prime. Res64: 760BE484E9E70CC6 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:20:56] 665*2^1452454-1 is not prime. Res64: A5CC4AB7D8F04B64 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:20:56] 741*2^1452454-1 is not prime. Res64: B65C421102E41D91 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:55:11] 881*2^1452454-1 is not prime. Res64: D2D2A1D1F3C80081 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:55:11] 903*2^1452454-1 is not prime. Res64: C8FD84A2D084E2A3 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:55:12] 661*2^1452455-1 is not prime. Res64: C9A116631A3DDB49 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:55:12] 679*2^1452455-1 is not prime. Res64: 868056D176EA2954 Time : 0.0 sec. user=mdettweiler [2017-04-23 11:55:12] 741*2^1452455-1 is not prime. Res64: 5DA2F0B5D2A1185E Time : 0.0 sec. user=mdettweiler [2017-04-23 12:01:10] 789*2^1452455-1 is not prime. Res64: 0F741BDEF469368A Time : 0.0 sec. user=mdettweiler [2017-04-23 12:01:11] 823*2^1452455-1 is not prime. Res64: 797D3741BD1F92DF Time : 0.0 sec. user=mdettweiler [2017-04-23 12:01:12] 831*2^1452455-1 is not prime. Res64: F9DA6C1079B53FCB Time : 0.0 sec. user=mdettweiler [2017-04-23 12:01:13] 861*2^1452455-1 is not prime. Res64: DADA7962C88BAA96 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:01:14] 921*2^1452455-1 is not prime. Res64: E524FC748D65B1CF Time : 0.0 sec. user=mdettweiler [2017-04-23 12:05:26] 635*2^1452456-1 is not prime. Res64: 0048CECF6AFE5615 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:05:28] 683*2^1452456-1 is not prime. Res64: F016F3A5F75D840C Time : 0.0 sec. user=mdettweiler [2017-04-23 12:05:29] 695*2^1452456-1 is not prime. Res64: 7490483CBE0A3F17 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:05:30] 699*2^1452456-1 is not prime. Res64: 40ED04A4D4AE036B Time : 0.0 sec. user=mdettweiler [2017-04-23 12:05:31] 765*2^1452456-1 is not prime. Res64: 421357356433A72F Time : 0.0 sec. user=mdettweiler [2017-04-23 12:39:40] 773*2^1452456-1 is not prime. Res64: AF7C725565E53090 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:39:40] 825*2^1452456-1 is not prime. Res64: 07361BB7DFD8B353 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:39:40] 843*2^1452456-1 is not prime. Res64: D7E9F668B0ED6A29 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:39:40] 857*2^1452456-1 is not prime. Res64: 6FC5FEBA5D06D3B1 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:39:41] 975*2^1452456-1 is not prime. Res64: 0F18F37E9BBB0752 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:45:42] 717*2^1452457-1 is not prime. Res64: DA65D565BA57B78A Time : 0.0 sec. user=mdettweiler [2017-04-23 12:45:42] 829*2^1452457-1 is not prime. Res64: 392C2FECA1AA18FC Time : 0.0 sec. user=mdettweiler [2017-04-23 12:45:42] 901*2^1452457-1 is not prime. Res64: A9CA11EA80782AC0 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:45:43] 985*2^1452457-1 is not prime. Res64: C50A735DB24A3508 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:45:43] 623*2^1452458-1 is not prime. Res64: D011428B44315A1E Time : 0.0 sec. user=mdettweiler [2017-04-23 12:50:20] 771*2^1452458-1 is not prime. Res64: 9318EBFF4C198F7A Time : 0.0 sec. user=mdettweiler [2017-04-23 12:50:21] 797*2^1452458-1 is not prime. Res64: 6ADAED44382B2FE1 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:50:21] 833*2^1452458-1 is not prime. Res64: 8CC4E2317D3929D6 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:50:21] 843*2^1452458-1 is not prime. Res64: F30D0B9EE6391E42 Time : 0.0 sec. user=mdettweiler [2017-04-23 12:50:21] 923*2^1452458-1 is not prime. Res64: 9500F73E2C1B34CE Time : 0.0 sec. user=juhehe [2017-04-23 12:53:10] 711*2^1452459-1 is not prime. Res64: 98C3CDB11E88EAA0 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:24:09] 735*2^1452459-1 is not prime. Res64: 6515997037208746 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:24:10] 985*2^1452459-1 is not prime. Res64: 9B7070BDD3D180DB Time : 0.0 sec. user=mdettweiler [2017-04-23 13:24:10] 609*2^1452460-1 is not prime. Res64: F8F07620E66D752D Time : 0.0 sec. user=mdettweiler [2017-04-23 13:24:12] 635*2^1452460-1 is not prime. Res64: 9065FCDEE8F55F48 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:24:12] 759*2^1452460-1 is not prime. Res64: D938F48AA273E79B Time : 0.0 sec. user=mdettweiler [2017-04-23 13:30:13] 863*2^1452460-1 is not prime. Res64: 3327476256B6A5A7 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:30:13] 675*2^1452461-1 is not prime. Res64: 771A01D2ED512187 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:30:13] 711*2^1452461-1 is not prime. Res64: A864576BAC1ECF56 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:30:13] 757*2^1452461-1 is not prime. Res64: DEADF8EFDD33EF53 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:30:14] 775*2^1452461-1 is not prime. Res64: 9E268872FEF3EBD1 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:34:49] 789*2^1452461-1 is not prime. Res64: DFFC01E270D6C8F3 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:34:49] 825*2^1452461-1 is not prime. Res64: B519F268942D4980 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:34:50] 889*2^1452461-1 is not prime. Res64: 929B8E89D82DECC9 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:34:50] 937*2^1452461-1 is not prime. Res64: 31178509FAE4C560 Time : 0.0 sec. user=mdettweiler [2017-04-23 13:34:50] 949*2^1452461-1 is not prime. Res64: D677649DFFD6FD07 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:08:46] 955*2^1452461-1 is not prime. Res64: C563B78587962F8E Time : 0.0 sec. user=mdettweiler [2017-04-23 14:08:47] 621*2^1452462-1 is not prime. Res64: 23A12F9A190011F9 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:08:47] 683*2^1452462-1 is not prime. Res64: 8D5AA6D1C2D5CB9E Time : 0.0 sec. user=mdettweiler [2017-04-23 14:08:47] 731*2^1452462-1 is not prime. Res64: 30EEB0ED37DB3D2F Time : 0.0 sec. user=mdettweiler [2017-04-23 14:08:47] 755*2^1452462-1 is not prime. Res64: 04CC2361BB19D9C9 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:14:44] 761*2^1452462-1 is not prime. Res64: 1B473B6B35AFB433 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:14:44] 863*2^1452462-1 is not prime. Res64: 75FBAA54E4067A2E Time : 0.0 sec. user=mdettweiler [2017-04-23 14:14:44] 947*2^1452462-1 is not prime. Res64: CCDBCE2A883AB7CD Time : 0.0 sec. user=mdettweiler [2017-04-23 14:14:44] 621*2^1452463-1 is not prime. Res64: 60F0BB2BD13BC322 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:14:45] 675*2^1452463-1 is not prime. Res64: DD9F3EE8AD6FB628 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:19:19] 681*2^1452463-1 is not prime. Res64: E829C1BF2D5311ED Time : 0.0 sec. user=mdettweiler [2017-04-23 14:19:19] 693*2^1452463-1 is not prime. Res64: C89171E346458ADB Time : 0.0 sec. user=mdettweiler [2017-04-23 14:19:19] 805*2^1452463-1 is not prime. Res64: 70A5FA77561D323F Time : 0.0 sec. user=mdettweiler [2017-04-23 14:19:20] 811*2^1452463-1 is not prime. Res64: 168DF0526E243440 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:19:20] 819*2^1452463-1 is not prime. Res64: 1DA063B1510C952D Time : 0.0 sec. user=juhehe [2017-04-23 14:52:27] 773*2^1452464-1 is not prime. Res64: 51BC083D5568B71A Time : 0.0 sec. user=mdettweiler [2017-04-23 14:53:21] 891*2^1452463-1 is not prime. Res64: C318B0BBBDAF4617 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:53:22] 901*2^1452463-1 is not prime. Res64: 48D2CCF9E449BBA7 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:53:22] 623*2^1452464-1 is not prime. Res64: 20D31A328EBF6F43 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:53:22] 675*2^1452464-1 is not prime. Res64: D6B9656B63995F9C Time : 0.0 sec. user=mdettweiler [2017-04-23 14:53:22] 717*2^1452464-1 is not prime. Res64: B1A5E300C992D66C Time : 0.0 sec. user=mdettweiler [2017-04-23 14:59:17] 825*2^1452464-1 is not prime. Res64: A12896444C7DE29C Time : 0.0 sec. user=mdettweiler [2017-04-23 14:59:18] 827*2^1452464-1 is not prime. Res64: 17F3CAE3AA79A9CB Time : 0.0 sec. user=mdettweiler [2017-04-23 14:59:18] 833*2^1452464-1 is not prime. Res64: 15DE4946EE163F1D Time : 0.0 sec. user=mdettweiler [2017-04-23 14:59:18] 843*2^1452464-1 is not prime. Res64: 84B3BF53ABF22B31 Time : 0.0 sec. user=mdettweiler [2017-04-23 14:59:18] 875*2^1452464-1 is not prime. Res64: B3A33D1D7C2C1C80 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:03:57] 897*2^1452464-1 is not prime. Res64: 80146D0600A4C22D Time : 0.0 sec. user=mdettweiler [2017-04-23 15:03:58] 899*2^1452464-1 is not prime. Res64: 19D2F67033C012EF Time : 0.0 sec. user=mdettweiler [2017-04-23 15:03:59] 639*2^1452465-1 is not prime. Res64: 1F5647F85CE22461 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:04:00] 765*2^1452465-1 is not prime. Res64: 9D51DC7BF8F29114 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:04:01] 975*2^1452465-1 is not prime. Res64: CCC92EC982BF2F39 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:38:01] 985*2^1452465-1 is not prime. Res64: 310AC5F40273C582 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:38:01] 999*2^1452465-1 is not prime. Res64: F015B32C16F7EAA7 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:38:02] 633*2^1452466-1 is not prime. Res64: 8B412972BADD31C2 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:38:02] 635*2^1452466-1 is not prime. Res64: 3C4DB6EDAD37D6B8 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:38:02] 663*2^1452466-1 is not prime. Res64: 729A335B37D048FA Time : 0.0 sec. user=mdettweiler [2017-04-23 15:44:01] 723*2^1452466-1 is not prime. Res64: F80EC531E76939DE Time : 0.0 sec. user=mdettweiler [2017-04-23 15:44:02] 735*2^1452466-1 is not prime. Res64: 6B896E674A2B0A58 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:44:02] 801*2^1452466-1 is not prime. Res64: 56252F18DAC84F48 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:44:02] 911*2^1452466-1 is not prime. Res64: A2C0FB3DDCCA8319 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:44:02] 923*2^1452466-1 is not prime. Res64: 5C51ADC86B39C0DD Time : 0.0 sec. user=mdettweiler [2017-04-23 15:49:13] 993*2^1452466-1 is not prime. Res64: ABAD0F9BAB13FCEF Time : 0.0 sec. user=mdettweiler [2017-04-23 15:49:13] 633*2^1452467-1 is not prime. Res64: 4985DF29B8844ED2 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:49:13] 733*2^1452467-1 is not prime. Res64: B14663C7631A808C Time : 0.0 sec. user=mdettweiler [2017-04-23 15:49:13] 753*2^1452467-1 is not prime. Res64: F537FB871866DFB4 Time : 0.0 sec. user=mdettweiler [2017-04-23 15:49:14] 895*2^1452467-1 is not prime. Res64: F35630A0CD58A08C Time : 0.0 sec. user=mdettweiler [2017-04-23 16:22:46] 901*2^1452467-1 is not prime. Res64: 334A97EA38F639C0 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:22:47] 979*2^1452467-1 is not prime. Res64: F9DB6736B1AF34BD Time : 0.0 sec. user=mdettweiler [2017-04-23 16:22:47] 605*2^1452468-1 is not prime. Res64: 976FD0F1930B0FEA Time : 0.0 sec. user=mdettweiler [2017-04-23 16:22:47] 629*2^1452468-1 is not prime. Res64: F25714215C5F056E Time : 0.0 sec. user=mdettweiler [2017-04-23 16:22:48] 647*2^1452468-1 is not prime. Res64: 6034C55D448AA3D8 Time : 0.0 sec. user=juhehe [2017-04-23 16:26:45] 757*2^1452469-1 is not prime. Res64: 4946460EBC7252D9 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:28:47] 657*2^1452468-1 is not prime. Res64: A2B11CCF07297AFD Time : 0.0 sec. user=mdettweiler [2017-04-23 16:28:47] 753*2^1452468-1 is not prime. Res64: B2D8350DB05130B3 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:28:47] 845*2^1452468-1 is not prime. Res64: B57EBD70D0923628 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:28:47] 661*2^1452469-1 is not prime. Res64: 898BF8371EE5A9C8 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:28:48] 751*2^1452469-1 is not prime. Res64: 9F72B0C780E49A89 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:33:51] 603*2^1452470-1 is not prime. Res64: 8A1C0AACE99D39C4 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:33:52] 827*2^1452470-1 is not prime. Res64: A9ABC6EDAD05B863 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:33:52] 885*2^1452470-1 is not prime. Res64: AC33D645DA71091E Time : 0.0 sec. user=mdettweiler [2017-04-23 16:33:52] 917*2^1452470-1 is not prime. Res64: 1A2D1A0B29F74250 Time : 0.0 sec. user=mdettweiler [2017-04-23 16:33:52] 971*2^1452470-1 is not prime. Res64: 0D403F296EA144FF Time : 0.0 sec. user=mdettweiler [2017-04-23 17:07:37] 741*2^1452471-1 is not prime. Res64: 6E9F049B97A1B083 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:07:37] 931*2^1452471-1 is not prime. Res64: 58A0102F60AA0254 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:07:38] 961*2^1452471-1 is not prime. Res64: 1264DB445CDF4EEC Time : 0.0 sec. user=mdettweiler [2017-04-23 17:07:38] 969*2^1452471-1 is not prime. Res64: 0EA6622EA1CEDB44 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:07:38] 975*2^1452471-1 is not prime. Res64: CADEAAC8F6BEFE81 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:13:39] 657*2^1452472-1 is not prime. Res64: B77CFB319AC38834 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:13:39] 695*2^1452472-1 is not prime. Res64: CC36D6E5BCA7884A Time : 0.0 sec. user=mdettweiler [2017-04-23 17:13:40] 705*2^1452472-1 is not prime. Res64: 0C028B261C7BA9CA Time : 0.0 sec. user=mdettweiler [2017-04-23 17:13:40] 713*2^1452472-1 is not prime. Res64: 7807A8EC796ADF33 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:13:40] 717*2^1452472-1 is not prime. Res64: DB05C21C6B13EE7B Time : 0.0 sec. user=mdettweiler [2017-04-23 17:18:35] 735*2^1452472-1 is not prime. Res64: 3C4385F84A84C4B7 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:18:35] 747*2^1452472-1 is not prime. Res64: E985B2E6269DBD7D Time : 0.0 sec. user=mdettweiler [2017-04-23 17:18:36] 765*2^1452472-1 is not prime. Res64: 51E48272433CA3D6 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:18:36] 777*2^1452472-1 is not prime. Res64: 9DB4262EA7694F45 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:18:36] 785*2^1452472-1 is not prime. Res64: 63A3F4E011130E23 Time : 0.0 sec. user=juhehe [2017-04-23 17:31:18] 915*2^1452472-1 is not prime. Res64: FD478C4BD8203189 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:52:16] 861*2^1452473-1 is not prime. Res64: 64D9EB0792C8E54C Time : 0.0 sec. user=mdettweiler [2017-04-23 17:52:16] 939*2^1452473-1 is not prime. Res64: 93DA1BA946128476 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:52:16] 985*2^1452473-1 is not prime. Res64: F498F8EA155496DC Time : 0.0 sec. user=mdettweiler [2017-04-23 17:52:16] 765*2^1452474-1 is not prime. Res64: BC76A51BB46D2A11 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:52:17] 783*2^1452474-1 is not prime. Res64: 4FBBF02D3A4B0EA1 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:58:16] 791*2^1452474-1 is not prime. Res64: A3976F02C63F37BE Time : 0.0 sec. user=mdettweiler [2017-04-23 17:58:16] 803*2^1452474-1 is not prime. Res64: 77252CA47F33AB98 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:58:16] 807*2^1452474-1 is not prime. Res64: 4E439DE2AC295DF6 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:58:16] 893*2^1452474-1 is not prime. Res64: EDF4065F8FD0E699 Time : 0.0 sec. user=mdettweiler [2017-04-23 17:58:17] 903*2^1452474-1 is not prime. Res64: D8D9A787FBCE50C3 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:03:12] 945*2^1452474-1 is not prime. Res64: 7096E30ED7528089 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:03:13] 603*2^1452475-1 is not prime. Res64: D4DCFC157518F4B0 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:03:15] 759*2^1452475-1 is not prime. Res64: D3E746AD74C0839F Time : 0.0 sec. user=mdettweiler [2017-04-23 18:03:16] 771*2^1452475-1 is not prime. Res64: BBA8EC486BB99125 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:03:17] 805*2^1452475-1 is not prime. Res64: B42902D38BBF8D02 Time : 0.0 sec. user=juhehe [2017-04-23 18:11:36] 849*2^1452475-1 is not prime. Res64: 0ADE7F70BFBFA1BD Time : 0.0 sec. user=mdettweiler [2017-04-23 18:37:14] 855*2^1452475-1 is not prime. Res64: 1C3744BFF726BC7A Time : 0.0 sec. user=mdettweiler [2017-04-23 18:37:14] 915*2^1452475-1 is not prime. Res64: CD3424121ADB6A6C Time : 0.0 sec. user=mdettweiler [2017-04-23 18:37:15] 623*2^1452476-1 is not prime. Res64: 2210D953F0EF6723 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:37:15] 669*2^1452476-1 is not prime. Res64: 654AA4AFEAEE4AD6 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:37:15] 717*2^1452476-1 is not prime. Res64: B3648A1304AB5637 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:43:15] 725*2^1452476-1 is not prime. Res64: D35BB16D8D6EAB38 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:43:15] 777*2^1452476-1 is not prime. Res64: 2144FEAB6F99A9DD Time : 0.0 sec. user=mdettweiler [2017-04-23 18:43:15] 873*2^1452476-1 is not prime. Res64: 33DCFFF66C82BE6A Time : 0.0 sec. user=mdettweiler [2017-04-23 18:43:15] 675*2^1452477-1 is not prime. Res64: 1E1058EFB2341911 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:43:16] 777*2^1452477-1 is not prime. Res64: CBEA3A9B2FF9D70B Time : 0.0 sec. user=mdettweiler [2017-04-23 18:48:39] 817*2^1452477-1 is not prime. Res64: D4616F566B2F8B08 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:48:39] 635*2^1452478-1 is not prime. Res64: 727F6A9EA12B7022 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:48:39] 651*2^1452478-1 is not prime. Res64: 45DBE6D873ED5E41 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:48:40] 663*2^1452478-1 is not prime. Res64: 118E9BFC9FAA9146 Time : 0.0 sec. user=mdettweiler [2017-04-23 18:48:40] 737*2^1452478-1 is not prime. Res64: 462D7FE6C17C356B Time : 0.0 sec. user=mdettweiler [2017-04-23 19:22:14] 825*2^1452478-1 is not prime. Res64: 00978EF5A62CF5F1 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:22:14] 923*2^1452478-1 is not prime. Res64: DC0E04E35DA9F197 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:22:14] 1001*2^1452478-1 is not prime. Res64: 6B6D69CB801C269E Time : 0.0 sec. user=mdettweiler [2017-04-23 19:22:15] 603*2^1452479-1 is not prime. Res64: FAB9168E7AEDF514 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:22:15] 645*2^1452479-1 is not prime. Res64: 26604CB8D2D2D8B3 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:28:10] 753*2^1452479-1 is not prime. Res64: BD6ABC70828999F7 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:28:10] 775*2^1452479-1 is not prime. Res64: CE7091ED94EE8E4D Time : 0.0 sec. user=mdettweiler [2017-04-23 19:28:10] 855*2^1452479-1 is not prime. Res64: 4D51FA1C6EA14C29 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:28:11] 939*2^1452479-1 is not prime. Res64: 2B7562D424F0E107 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:28:11] 969*2^1452479-1 is not prime. Res64: B98F2204C81EF9E6 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:33:35] 985*2^1452479-1 is not prime. Res64: 708A1F76244F60EB Time : 0.0 sec. user=mdettweiler [2017-04-23 19:33:35] 627*2^1452480-1 is not prime. Res64: EB49DAB1B3406DBA Time : 0.0 sec. user=mdettweiler [2017-04-23 19:33:35] 747*2^1452480-1 is not prime. Res64: 92FF1DD6C96A4DBE Time : 0.0 sec. user=mdettweiler [2017-04-23 19:33:35] 779*2^1452480-1 is not prime. Res64: 0189A2DC0FA31B26 Time : 0.0 sec. user=mdettweiler [2017-04-23 19:33:36] 789*2^1452480-1 is not prime. Res64: 67E2DC70BD3C9411 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:06:51] 975*2^1452480-1 is not prime. Res64: FAF7F1A2BB6073F8 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:06:52] 615*2^1452481-1 is not prime. Res64: 30ABA8634D0D9CAD Time : 0.0 sec. user=mdettweiler [2017-04-23 20:06:52] 649*2^1452481-1 is not prime. Res64: DB1177C031A805C4 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:06:53] 685*2^1452481-1 is not prime. Res64: 3C425BED7354009F Time : 0.0 sec. user=mdettweiler [2017-04-23 20:06:53] 687*2^1452481-1 is not prime. Res64: FDE03B6205E2470E Time : 0.0 sec. user=mdettweiler [2017-04-23 20:12:46] 745*2^1452481-1 is not prime. Res64: 46A1C450B128F701 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:12:46] 777*2^1452481-1 is not prime. Res64: F406158816D720E5 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:12:47] 799*2^1452481-1 is not prime. Res64: 928E57633F5EED13 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:12:47] 829*2^1452481-1 is not prime. Res64: 1E67936801AEA779 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:12:47] 847*2^1452481-1 is not prime. Res64: 70EF774D9AA02494 Time : 0.0 sec. user=juhehe [2017-04-23 20:14:09] 995*2^1452482-1 is not prime. Res64: C02696EF2D16FBC8 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:18:12] 711*2^1452482-1 is not prime. Res64: 880D4465B072EAE3 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:18:12] 797*2^1452482-1 is not prime. Res64: E89874507F316427 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:18:12] 813*2^1452482-1 is not prime. Res64: B1AE8E3640B93026 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:18:12] 837*2^1452482-1 is not prime. Res64: 6F17D9ABDAD173A3 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:18:13] 887*2^1452482-1 is not prime. Res64: 13FE673E9209F62E Time : 0.0 sec. user=mdettweiler [2017-04-23 20:57:24] 895*2^1452483-1 is not prime. Res64: 46CE07245CB6A822 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:57:24] 615*2^1452484-1 is not prime. Res64: 923936258C3F1D36 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:57:25] 749*2^1452484-1 is not prime. Res64: FFAD4EA5D7B094D8 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:57:25] 765*2^1452484-1 is not prime. Res64: 06AE3B2E653F0679 Time : 0.0 sec. user=mdettweiler [2017-04-23 20:57:25] 803*2^1452484-1 is not prime. Res64: 107D8BE94BC2375A Time : 0.0 sec. user=mdettweiler [2017-04-23 21:02:46] 813*2^1452484-1 is not prime. Res64: 21A939AF41FE497C Time : 0.0 sec. user=mdettweiler [2017-04-23 21:02:47] 843*2^1452484-1 is not prime. Res64: 6ACD4382E9EFFA66 Time : 0.0 sec. user=mdettweiler [2017-04-23 21:02:48] 915*2^1452484-1 is not prime. Res64: 75B0CDFBF628FF4A Time : 0.0 sec. user=mdettweiler [2017-04-23 21:02:49] 975*2^1452484-1 is not prime. Res64: E5710B43EFC5B415 Time : 0.0 sec. user=mdettweiler [2017-04-23 21:02:49] 669*2^1452485-1 is not prime. Res64: 3558949680E24D55 Time : 0.0 sec. user=mdettweiler [2017-04-23 21:41:50] 691*2^1452485-1 is not prime. Res64: ADF4E10D632232EB Time : 0.0 sec. user=mdettweiler [2017-04-23 21:41:50] 711*2^1452485-1 is not prime. Res64: C83C7DE0831D2DC4 Time : 0.0 sec. user=mdettweiler [2017-04-23 21:41:51] 727*2^1452485-1 is not prime. Res64: A8DAEA2CB82FA203 Time : 0.0 sec. user=mdettweiler [2017-04-23 21:41:51] 741*2^1452485-1 is not prime. Res64: 80557041DA0AA97D Time : 0.0 sec. user=mdettweiler [2017-04-23 21:41:51] 939*2^1452485-1 is not prime. Res64: 6F3CD4D0DB4F090F Time : 0.0 sec. user=mdettweiler [2017-04-23 21:47:17] 957*2^1452485-1 is not prime. Res64: 07668B058804A02E Time : 0.0 sec. user=mdettweiler [2017-04-23 21:47:18] 647*2^1452486-1 is not prime. Res64: 8D1C894B33883AF3 Time : 0.0 sec. user=mdettweiler [2017-04-23 21:47:18] 705*2^1452486-1 is not prime. Res64: 5D12E79479B4446A Time : 0.0 sec. user=mdettweiler [2017-04-23 21:47:18] 917*2^1452486-1 is not prime. Res64: 0F84774C5705410C Time : 0.0 sec. user=mdettweiler [2017-04-23 21:47:18] 923*2^1452486-1 is not prime. Res64: 90D5FE945FD43C42 Time : 0.0 sec. user=juhehe [2017-04-23 22:13:52] 619*2^1452487-1 is not prime. Res64: 5219CAA2B4FC2018 Time : 0.0 sec. user=mdettweiler [2017-04-23 22:26:15] 649*2^1452487-1 is not prime. Res64: C663C1A6CC02DF1C Time : 0.0 sec. user=mdettweiler [2017-04-23 22:26:16] 729*2^1452487-1 is not prime. Res64: ABC3237CE8BBC4BF Time : 0.0 sec. user=mdettweiler [2017-04-23 22:26:16] 859*2^1452487-1 is not prime. Res64: 03CDA25B7B5DCA75 Time : 0.0 sec. user=mdettweiler [2017-04-23 22:26:16] 979*2^1452487-1 is not prime. Res64: 6884D82968F84B56 Time : 0.0 sec. user=mdettweiler [2017-04-23 22:26:16] 623*2^1452488-1 is not prime. Res64: CF1F23B1C91B4F3D Time : 0.0 sec. user=mdettweiler [2017-04-23 22:31:44] 633*2^1452488-1 is not prime. Res64: 62D841F588D380D2 Time : 0.0 sec. user=mdettweiler [2017-04-23 22:31:44] 669*2^1452488-1 is not prime. Res64: 31D8DA46669B984A Time : 0.0 sec. user=mdettweiler [2017-04-23 22:31:44] 767*2^1452488-1 is not prime. Res64: CB1361BE3EC884F0 Time : 0.0 sec. user=mdettweiler [2017-04-23 22:31:44] 825*2^1452488-1 is not prime. Res64: 01C7FA6F6D819EBC Time : 0.0 sec. user=mdettweiler [2017-04-23 22:31:45] 879*2^1452488-1 is not prime. Res64: 56EA23037DF8ED65 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:10:43] 945*2^1452488-1 is not prime. Res64: 01C40B6DE05D2015 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:10:44] 609*2^1452489-1 is not prime. Res64: 1DE102B480A1F568 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:10:44] 705*2^1452489-1 is not prime. Res64: CF552D1C56525E37 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:10:44] 721*2^1452489-1 is not prime. Res64: CC550ED3C7CDB528 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:10:45] 765*2^1452489-1 is not prime. Res64: 36A989BC9EAB470A Time : 0.0 sec. user=mdettweiler [2017-04-23 23:16:14] 769*2^1452489-1 is not prime. Res64: 032FB96664E4CA37 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:16:14] 861*2^1452489-1 is not prime. Res64: 5D7971868ACC8E6D Time : 0.0 sec. user=mdettweiler [2017-04-23 23:16:14] 867*2^1452489-1 is not prime. Res64: FE5385327B061F20 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:16:15] 877*2^1452489-1 is not prime. Res64: 67EEF7EC86C7EDFC Time : 0.0 sec. user=mdettweiler [2017-04-23 23:16:15] 985*2^1452489-1 is not prime. Res64: 35CF752645501394 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:55:10] 717*2^1452490-1 is not prime. Res64: C3BE67D82590C648 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:55:10] 845*2^1452490-1 is not prime. Res64: 892C1E66FAC78693 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:55:11] 867*2^1452490-1 is not prime. Res64: 45464A629F45E5AF Time : 0.0 sec. user=mdettweiler [2017-04-23 23:55:11] 619*2^1452491-1 is not prime. Res64: DDEF852454FE2F88 Time : 0.0 sec. user=mdettweiler [2017-04-23 23:55:11] 663*2^1452491-1 is not prime. Res64: 3273CFAA0C077789 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:00:38] 675*2^1452491-1 is not prime. Res64: 1163B8E00B96DC2D Time : 0.0 sec. user=mdettweiler [2017-04-24 00:00:39] 685*2^1452491-1 is not prime. Res64: F289754FE2D59793 Time : 0.0 sec. user=mdettweiler [2017-04-24 00:00:39] 623*2^1452492-1 is not prime. Res64: EA13A547C63014EA Time : 0.0 sec. user=mdettweiler [2017-04-24 00:00:39] 693*2^1452492-1 is not prime. Res64: 9D52F27DF04C69FA Time : 0.0 sec. user=mdettweiler [2017-04-24 00:00:39] 725*2^1452492-1 is not prime. Res64: 50221AB5F74E5B8C Time : 0.0 sec.