user=mdettweiler [2016-03-22 00:08:37] 923*2^1423858-1 is not prime. Res64: 28DFCAB158605B2F Time : 0.0 sec. user=mdettweiler [2016-03-22 00:08:38] 941*2^1423858-1 is not prime. Res64: 512363A8F5962AEC Time : 0.0 sec. user=mdettweiler [2016-03-22 00:08:38] 679*2^1423859-1 is not prime. Res64: 746AF00BE20C32A9 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:08:39] 685*2^1423859-1 is not prime. Res64: 0BC161D0553F494A Time : 0.0 sec. user=mdettweiler [2016-03-22 00:08:39] 733*2^1423859-1 is not prime. Res64: CBA6F252690B520C Time : 0.0 sec. user=mdettweiler [2016-03-22 00:12:34] 735*2^1423859-1 is not prime. Res64: 0652A84767DE974A Time : 0.0 sec. user=mdettweiler [2016-03-22 00:12:34] 771*2^1423859-1 is not prime. Res64: 2D010843A740E3FD Time : 0.0 sec. user=mdettweiler [2016-03-22 00:12:35] 861*2^1423859-1 is not prime. Res64: 1090B26DF618F589 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:12:35] 879*2^1423859-1 is not prime. Res64: 666817897AA62554 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:12:35] 913*2^1423859-1 is not prime. Res64: B4907214FDAB9D1B Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:27] 949*2^1423859-1 is not prime. Res64: DCA95C1E781F75C9 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:28] 999*2^1423859-1 is not prime. Res64: CEBEB096E3649C2A Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:28] 633*2^1423860-1 is not prime. Res64: 31D0336E1E232ADB Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:28] 653*2^1423860-1 is not prime. Res64: 8749AAB242839758 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:29] 735*2^1423860-1 is not prime. Res64: 9DD1BCC85FFC9F7B Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:48] 759*2^1423860-1 is not prime. Res64: 6DF8301B7270AB15 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:48] 773*2^1423860-1 is not prime. Res64: 54A042F19813495C Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:49] 797*2^1423860-1 is not prime. Res64: 1DF55D85683BE18F Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:49] 887*2^1423860-1 is not prime. Res64: 47A407E42121DA70 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:13:50] 975*2^1423860-1 is not prime. Res64: 14F7915C7747BABD Time : 0.0 sec. user=mdettweiler [2016-03-22 00:56:22] 741*2^1423861-1 is not prime. Res64: 2F3F8EBCFFDFC111 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:56:23] 745*2^1423861-1 is not prime. Res64: 2476C36EC65A329E Time : 0.0 sec. user=mdettweiler [2016-03-22 00:56:23] 769*2^1423861-1 is not prime. Res64: A4703686AFF8FED3 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:56:23] 777*2^1423861-1 is not prime. Res64: 77A0B7A88E2F4783 Time : 0.0 sec. user=mdettweiler [2016-03-22 00:56:23] 835*2^1423861-1 is not prime. Res64: E7CBE514D52E7C6B Time : 0.0 sec. user=mdettweiler [2016-03-22 01:00:27] 683*2^1423862-1 is not prime. Res64: 1EC2178663471C43 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:00:27] 705*2^1423862-1 is not prime. Res64: 0FFDFE84EAC41065 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:00:28] 911*2^1423862-1 is not prime. Res64: A9EC4D7D491B41B2 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:00:28] 945*2^1423862-1 is not prime. Res64: 9996DFBD5DCB6D5B Time : 0.0 sec. user=mdettweiler [2016-03-22 01:00:29] 1001*2^1423862-1 is not prime. Res64: 47319C3F8AF82185 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:01:18] 943*2^1423863-1 is not prime. Res64: 5C29AA29F35A8D96 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:01:19] 605*2^1423864-1 is not prime. Res64: C1EE017AEF8529B2 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:01:19] 635*2^1423864-1 is not prime. Res64: D3072E9AC23E09C2 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:01:20] 695*2^1423864-1 is not prime. Res64: 5DCAC36852D0A7E4 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:01:21] 819*2^1423864-1 is not prime. Res64: 711594448F1FF632 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:02:15] 751*2^1423863-1 is not prime. Res64: 3DC6BA598A943F4C Time : 0.0 sec. user=mdettweiler [2016-03-22 01:02:16] 765*2^1423863-1 is not prime. Res64: BBA9647A0E00A3FD Time : 0.0 sec. user=mdettweiler [2016-03-22 01:02:16] 795*2^1423863-1 is not prime. Res64: BBA0988D62214DBB Time : 0.0 sec. user=mdettweiler [2016-03-22 01:02:17] 885*2^1423863-1 is not prime. Res64: 5445C9E12A621409 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:02:18] 921*2^1423863-1 is not prime. Res64: 3C84B8CF99F38D20 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:43:44] 887*2^1423864-1 is not prime. Res64: C8ABEB7113544AB2 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:43:45] 917*2^1423864-1 is not prime. Res64: BDEA930083DF6695 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:43:45] 939*2^1423864-1 is not prime. Res64: DB902A25FF32F06E Time : 0.0 sec. user=mdettweiler [2016-03-22 01:43:46] 983*2^1423864-1 is not prime. Res64: 1F610639ABBDA630 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:43:46] 649*2^1423865-1 is not prime. Res64: 3ECCF1F2B50F3048 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:47:28] 651*2^1423865-1 is not prime. Res64: AD1C0AB56DC82C07 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:47:29] 715*2^1423865-1 is not prime. Res64: CF6263B32655FF88 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:47:29] 865*2^1423865-1 is not prime. Res64: FAC3BB07E3292CFA Time : 0.0 sec. user=mdettweiler [2016-03-22 01:47:29] 915*2^1423865-1 is not prime. Res64: 564EBF4404800F9B Time : 0.0 sec. user=mdettweiler [2016-03-22 01:47:30] 937*2^1423865-1 is not prime. Res64: 5439163C598924EE Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:37] 851*2^1423866-1 is not prime. Res64: FA18F2B980DDECF5 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:38] 983*2^1423866-1 is not prime. Res64: 7D3A8DA374AACC9D Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:38] 699*2^1423867-1 is not prime. Res64: A55E1BAC235416B8 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:38] 703*2^1423867-1 is not prime. Res64: 385C8DBB75E15BBE Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:39] 889*2^1423867-1 is not prime. Res64: 138FCB02826CAFE2 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:41] 957*2^1423865-1 is not prime. Res64: 8CDEF8EE341CC7DB Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:42] 635*2^1423866-1 is not prime. Res64: E3D22A663CA9DEAF Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:42] 711*2^1423866-1 is not prime. Res64: DAE358ADF1F63762 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:42] 717*2^1423866-1 is not prime. Res64: F2DBB29FA5BEEC25 Time : 0.0 sec. user=mdettweiler [2016-03-22 01:48:43] 741*2^1423866-1 is not prime. Res64: A7B3BA20E9A5804D Time : 0.0 sec. user=mdettweiler [2016-03-22 02:09:12] 723*2^1423870-1 is not prime. Res64: C366315D4DEEB737 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:28:41] 901*2^1423867-1 is not prime. Res64: D81454BAC2E12BC9 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:28:42] 979*2^1423867-1 is not prime. Res64: 0E09431FBF1C9E09 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:28:42] 615*2^1423868-1 is not prime. Res64: 652D6AE1717C2DD7 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:28:43] 777*2^1423868-1 is not prime. Res64: B37C4AAC55D8EC01 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:28:43] 845*2^1423868-1 is not prime. Res64: E240D7F31A106C07 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:32:46] 923*2^1423868-1 is not prime. Res64: 08995F7AED77DD51 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:32:47] 945*2^1423868-1 is not prime. Res64: FF43B8FA7BADF9AA Time : 0.0 sec. user=mdettweiler [2016-03-22 02:32:47] 609*2^1423869-1 is not prime. Res64: AF737F7714EE43B2 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:32:48] 669*2^1423869-1 is not prime. Res64: ABA5107AE04F4FC1 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:32:48] 685*2^1423869-1 is not prime. Res64: BAB9ACEA28F89BF0 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:21] 691*2^1423869-1 is not prime. Res64: FCC2C63FBFA25CE8 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:21] 709*2^1423869-1 is not prime. Res64: B3289D9F9FAB2D88 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:22] 745*2^1423869-1 is not prime. Res64: 74E7DC97874888F7 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:22] 769*2^1423869-1 is not prime. Res64: 8784584CC6A028EB Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:23] 831*2^1423869-1 is not prime. Res64: 7E9EBC984BC8C880 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:42] 919*2^1423869-1 is not prime. Res64: D5288EC87E23150A Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:42] 605*2^1423870-1 is not prime. Res64: AEDABB22D5C258E0 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:43] 611*2^1423870-1 is not prime. Res64: 0AE876DC8CA4AFC1 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:43] 653*2^1423870-1 is not prime. Res64: 5FC6632BA3734186 Time : 0.0 sec. user=mdettweiler [2016-03-22 02:33:44] 663*2^1423870-1 is not prime. Res64: F4AA092B8D688F9E Time : 0.0 sec. user=mdettweiler [2016-03-22 03:02:02] 863*2^1423872-1 is not prime. Res64: 80A9439296C4C45F Time : 0.0 sec. user=mdettweiler [2016-03-22 03:14:55] 747*2^1423870-1 is not prime. Res64: 21A0DE231531F546 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:14:56] 845*2^1423870-1 is not prime. Res64: DF727458D95C04E4 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:14:56] 857*2^1423870-1 is not prime. Res64: 93635492315D05F9 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:14:56] 867*2^1423870-1 is not prime. Res64: 28BA3948470F4714 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:14:57] 911*2^1423870-1 is not prime. Res64: 5A43BACF8343A400 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:47] 941*2^1423870-1 is not prime. Res64: 0BE2D89496134A0F Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:48] 965*2^1423870-1 is not prime. Res64: 5C92C44CE0FDCC9E Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:48] 971*2^1423870-1 is not prime. Res64: 38C3B0634572FD16 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:49] 981*2^1423870-1 is not prime. Res64: CF6F9C6E86EF815A Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:49] 651*2^1423871-1 is not prime. Res64: 95D7CF4EB9348F1E Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:54] 843*2^1423871-1 is not prime. Res64: 7E2DFABA9A83B1D1 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:55] 879*2^1423871-1 is not prime. Res64: 62862D37212DB4BC Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:55] 981*2^1423871-1 is not prime. Res64: C2ECB07E20A93A9A Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:56] 695*2^1423872-1 is not prime. Res64: 5B2FB530B97F166C Time : 0.0 sec. user=mdettweiler [2016-03-22 03:19:56] 767*2^1423872-1 is not prime. Res64: 858F986FF84D2625 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:20:14] 663*2^1423871-1 is not prime. Res64: 63E05DC83C64F6C5 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:20:14] 735*2^1423871-1 is not prime. Res64: 97D1963001C0C645 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:20:14] 741*2^1423871-1 is not prime. Res64: E5D1557A6D704D7E Time : 0.0 sec. user=mdettweiler [2016-03-22 03:20:15] 789*2^1423871-1 is not prime. Res64: 96CB3A51EBA27DC7 Time : 0.0 sec. user=mdettweiler [2016-03-22 03:20:15] 811*2^1423871-1 is not prime. Res64: F90CBB8968FB546B Time : 0.0 sec. user=mdettweiler [2016-03-22 03:20:22] 893*2^1423872-1 is not prime. Res64: 221F28212BF47F38 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:00:15] 903*2^1423872-1 is not prime. Res64: 8D22C26DDA86B1EC Time : 0.0 sec. user=mdettweiler [2016-03-22 04:00:17] 983*2^1423872-1 is not prime. Res64: 3091EA80E38685BB Time : 0.0 sec. user=mdettweiler [2016-03-22 04:00:18] 649*2^1423873-1 is not prime. Res64: 3823C661C3CD07EA Time : 0.0 sec. user=mdettweiler [2016-03-22 04:00:19] 705*2^1423873-1 is not prime. Res64: E44E863CFD783191 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:00:21] 721*2^1423873-1 is not prime. Res64: 549F4FC93A805782 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:04:50] 745*2^1423873-1 is not prime. Res64: A6732E32DAA706BA Time : 0.0 sec. user=mdettweiler [2016-03-22 04:04:52] 897*2^1423873-1 is not prime. Res64: 089622F3B6552A45 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:04:54] 925*2^1423873-1 is not prime. Res64: 5D43ADDFDC5DBADB Time : 0.0 sec. user=mdettweiler [2016-03-22 04:04:55] 955*2^1423873-1 is not prime. Res64: 24239FF2FF275421 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:04:57] 957*2^1423873-1 is not prime. Res64: 3F256F7B6826AB55 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:07] 773*2^1423874-1 is not prime. Res64: F267EDE4289BF9EE Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:08] 813*2^1423874-1 is not prime. Res64: 809EF734BB383873 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:09] 827*2^1423874-1 is not prime. Res64: AED52314E0913035 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:11] 831*2^1423874-1 is not prime. Res64: 19D9EAA93380C66A Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:12] 987*2^1423874-1 is not prime. Res64: 0E1D95171615F089 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:24] 613*2^1423875-1 is not prime. Res64: 449BE5403E3500AD Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:25] 679*2^1423875-1 is not prime. Res64: 8B03F75AA10F9397 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:26] 741*2^1423875-1 is not prime. Res64: EAE1B0716D7B5C35 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:27] 891*2^1423875-1 is not prime. Res64: 81AC92E465EEEE00 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:05:28] 961*2^1423875-1 is not prime. Res64: 5C0FD3193EDBA2F4 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:26:21] 973*2^1423875-1 is not prime. Res64: 1A28F6465858044E Time : 0.0 sec. user=mdettweiler [2016-03-22 04:45:32] 615*2^1423876-1 is not prime. Res64: 8E097DF2C77C9891 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:45:32] 623*2^1423876-1 is not prime. Res64: 429D98E0DB1A842D Time : 0.0 sec. user=mdettweiler [2016-03-22 04:45:33] 699*2^1423876-1 is not prime. Res64: 258FADD8D75DD63F Time : 0.0 sec. user=mdettweiler [2016-03-22 04:45:33] 705*2^1423876-1 is not prime. Res64: 15D3E458230A582A Time : 0.0 sec. user=mdettweiler [2016-03-22 04:45:34] 759*2^1423876-1 is not prime. Res64: 01B8498ACDF34853 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:19] 903*2^1423876-1 is not prime. Res64: 5C427026AB1B39AA Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:19] 957*2^1423876-1 is not prime. Res64: 070F5D2AD65F001B Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:20] 965*2^1423876-1 is not prime. Res64: 33220DC605A890F0 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:20] 769*2^1423877-1 is not prime. Res64: AB732F4E03323D1D Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:21] 825*2^1423877-1 is not prime. Res64: EE8DF89A6C49CA2C Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:24] 837*2^1423877-1 is not prime. Res64: C0B8B2CF2AA33DE0 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:25] 957*2^1423877-1 is not prime. Res64: 68FBEFEA039829CE Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:25] 985*2^1423877-1 is not prime. Res64: E0C19A60D71D82A1 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:25] 647*2^1423878-1 is not prime. Res64: 2B79758A2DF65352 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:26] 651*2^1423878-1 is not prime. Res64: FECC612F03EF2D48 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:45] 693*2^1423878-1 is not prime. Res64: F0B17D13B5D82966 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:46] 737*2^1423878-1 is not prime. Res64: 18D563C98F3EEF42 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:46] 867*2^1423878-1 is not prime. Res64: DF8E17C0E7436348 Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:47] 945*2^1423878-1 is not prime. Res64: B74C014B9FCC9A1C Time : 0.0 sec. user=mdettweiler [2016-03-22 04:50:47] 971*2^1423878-1 is not prime. Res64: DD7A13C9637263BC Time : 0.0 sec. user=mdettweiler [2016-03-22 05:25:39] 889*2^1423881-1 is not prime. Res64: 444130FEECEC62F1 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:30:28] 601*2^1423879-1 is not prime. Res64: A92938F0E38C2DDD Time : 0.0 sec. user=mdettweiler [2016-03-22 05:30:28] 615*2^1423879-1 is not prime. Res64: D0912626F2FE5D3F Time : 0.0 sec. user=mdettweiler [2016-03-22 05:30:29] 619*2^1423879-1 is not prime. Res64: F7F83D6F05418411 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:30:29] 625*2^1423879-1 is not prime. Res64: 2C64111DECF45609 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:30:29] 633*2^1423879-1 is not prime. Res64: 82794F7741BFEFB7 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:20] 855*2^1423879-1 is not prime. Res64: C91C7D64EF3F33A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:20] 891*2^1423879-1 is not prime. Res64: EA00C3F298990DF6 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:20] 933*2^1423879-1 is not prime. Res64: A42A47279BE1ED06 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:21] 993*2^1423879-1 is not prime. Res64: C2AB0326AD7BC866 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:21] 603*2^1423880-1 is not prime. Res64: 8FE485B9D822D63F Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:25] 689*2^1423880-1 is not prime. Res64: C7016C3D81957D78 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:26] 785*2^1423880-1 is not prime. Res64: 997358F4CB545BE9 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:26] 855*2^1423880-1 is not prime. Res64: 9E61BE837E0F30CD Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:26] 999*2^1423880-1 is not prime. Res64: 854ABBD6E9DB7109 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:27] 627*2^1423881-1 is not prime. Res64: C7FB9BB231E035E5 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:54] 637*2^1423881-1 is not prime. Res64: 75C6C274FF9557BC Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:55] 681*2^1423881-1 is not prime. Res64: E1D7D291099B4F7F Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:55] 735*2^1423881-1 is not prime. Res64: 4829E4C4FE803E92 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:56] 789*2^1423881-1 is not prime. Res64: BD43380FB458F0C5 Time : 0.0 sec. user=mdettweiler [2016-03-22 05:35:56] 811*2^1423881-1 is not prime. Res64: CE03149996DF460A Time : 0.0 sec. user=mdettweiler [2016-03-22 06:15:24] 937*2^1423881-1 is not prime. Res64: CE39BC634264C89B Time : 0.0 sec. user=mdettweiler [2016-03-22 06:15:24] 945*2^1423881-1 is not prime. Res64: 7AEA0D785BF5DDF4 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:15:25] 969*2^1423881-1 is not prime. Res64: E7DF3D51F314A939 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:15:25] 657*2^1423882-1 is not prime. Res64: 51B012B52FCC7DEB Time : 0.0 sec. user=mdettweiler [2016-03-22 06:15:26] 677*2^1423882-1 is not prime. Res64: ABA6E99E81C7A6C8 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:26] 681*2^1423882-1 is not prime. Res64: 08A416B2E0CE8689 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:26] 695*2^1423882-1 is not prime. Res64: F4EC040A59DDC333 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:27] 705*2^1423882-1 is not prime. Res64: 5518490BA1D2BEC9 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:27] 737*2^1423882-1 is not prime. Res64: 8974BF8931ED81CB Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:27] 765*2^1423882-1 is not prime. Res64: 156EF78C7A72E87B Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:32] 791*2^1423882-1 is not prime. Res64: 4988C9E309F7D4E4 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:33] 827*2^1423882-1 is not prime. Res64: F86957BD52E173AC Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:33] 975*2^1423882-1 is not prime. Res64: F7F5396B5A978633 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:34] 753*2^1423883-1 is not prime. Res64: E37574409C8BD26B Time : 0.0 sec. user=mdettweiler [2016-03-22 06:20:34] 885*2^1423883-1 is not prime. Res64: 69094F22DC343BCC Time : 0.0 sec. user=mdettweiler [2016-03-22 06:21:03] 939*2^1423883-1 is not prime. Res64: AC16FD3ECC24A445 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:21:04] 693*2^1423884-1 is not prime. Res64: 8EEB789890453B4F Time : 0.0 sec. user=mdettweiler [2016-03-22 06:21:04] 789*2^1423884-1 is not prime. Res64: 2C5B4C654C1B224B Time : 0.0 sec. user=mdettweiler [2016-03-22 06:21:04] 803*2^1423884-1 is not prime. Res64: 6FA97EBDB1F93326 Time : 0.0 sec. user=mdettweiler [2016-03-22 06:21:05] 909*2^1423884-1 is not prime. Res64: B23FD1617C80AEDE Time : 0.0 sec. user=mdettweiler [2016-03-22 07:00:34] 601*2^1423885-1 is not prime. Res64: EF358AF4CD03EEF3 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:00:35] 675*2^1423885-1 is not prime. Res64: EEC90971C3D22BBC Time : 0.0 sec. user=mdettweiler [2016-03-22 07:00:36] 759*2^1423885-1 is not prime. Res64: 7D8188312E1B0BA7 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:00:37] 789*2^1423885-1 is not prime. Res64: ABC89521E8EB0DC8 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:00:38] 603*2^1423886-1 is not prime. Res64: E146D1A8FA7425A6 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:35] 635*2^1423886-1 is not prime. Res64: 7EB0E9D8E4BB2D9E Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:37] 657*2^1423886-1 is not prime. Res64: 8BA0EEAB2D7EB422 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:39] 677*2^1423886-1 is not prime. Res64: 3794CF7049641B4E Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:40] 705*2^1423886-1 is not prime. Res64: D79F0940AC870236 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:41] 743*2^1423886-1 is not prime. Res64: 20DFBBE3D48E791B Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:44] 755*2^1423886-1 is not prime. Res64: 5FB0F793890B3951 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:46] 801*2^1423886-1 is not prime. Res64: 2C2E874088425E76 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:48] 815*2^1423886-1 is not prime. Res64: 6B5A5E6C7643C3BA Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:51] 873*2^1423886-1 is not prime. Res64: F9025B9BEBBAD1FF Time : 0.0 sec. user=mdettweiler [2016-03-22 07:05:52] 893*2^1423886-1 is not prime. Res64: 1B68EDCED0D4B25A Time : 0.0 sec. user=mdettweiler [2016-03-22 07:06:15] 971*2^1423886-1 is not prime. Res64: 59ACBB44D6EDCED5 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:06:17] 1001*2^1423886-1 is not prime. Res64: E168E146C0B3EAB3 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:06:18] 669*2^1423887-1 is not prime. Res64: BB64EDD6841F6311 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:06:19] 685*2^1423887-1 is not prime. Res64: 24D3DB1FE79B328F Time : 0.0 sec. user=mdettweiler [2016-03-22 07:06:20] 861*2^1423887-1 is not prime. Res64: EB084388EB4C404C Time : 0.0 sec. user=mdettweiler [2016-03-22 07:45:59] 865*2^1423887-1 is not prime. Res64: 809F31A8EDA188BB Time : 0.0 sec. user=mdettweiler [2016-03-22 07:45:59] 891*2^1423887-1 is not prime. Res64: 460EA8625F707C00 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:46:00] 955*2^1423887-1 is not prime. Res64: 52EF06E2D95FCA2C Time : 0.0 sec. user=mdettweiler [2016-03-22 07:46:00] 975*2^1423887-1 is not prime. Res64: 7DB6332CD79C72B2 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:46:01] 605*2^1423888-1 is not prime. Res64: 0F507531BE6A0D69 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:21] 601*2^1423889-1 is not prime. Res64: 62CDD664074B187B Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:21] 615*2^1423889-1 is not prime. Res64: 40914D6B11D5E9F1 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:22] 697*2^1423889-1 is not prime. Res64: E86744AF6FA7B837 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:22] 795*2^1423889-1 is not prime. Res64: E5DD3FE152015B7B Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:22] 969*2^1423889-1 is not prime. Res64: C9B80A90F4309E5C Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:33] 677*2^1423888-1 is not prime. Res64: 7AD948FC8813E2BD Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:33] 747*2^1423888-1 is not prime. Res64: 75927AA149CCB25D Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:34] 813*2^1423888-1 is not prime. Res64: A108BFF91056C14F Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:34] 827*2^1423888-1 is not prime. Res64: 74933FABBC81EE9D Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:35] 845*2^1423888-1 is not prime. Res64: 6A1443CE3D8E6368 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:50] 625*2^1423891-1 is not prime. Res64: AC2E0024806BE56A Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:50] 673*2^1423891-1 is not prime. Res64: 2DBEF4C51018D2AE Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:51] 939*2^1423891-1 is not prime. Res64: CA431B33B5F1455A Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:51] 973*2^1423891-1 is not prime. Res64: 9B86A6A5F917F9A4 Time : 0.0 sec. user=mdettweiler [2016-03-22 07:51:51] 633*2^1423892-1 is not prime. Res64: 6EFB71BE9E9FC559 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:30:58] 957*2^1423892-1 is not prime. Res64: 88185EC9A1D1D201 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:30:59] 999*2^1423892-1 is not prime. Res64: 293D28768306DE07 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:30:59] 621*2^1423893-1 is not prime. Res64: B82282390E5E4134 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:31:00] 651*2^1423893-1 is not prime. Res64: 324400731E6331A0 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:31:00] 691*2^1423893-1 is not prime. Res64: C36BF1D1D0A6E709 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:23] 765*2^1423893-1 is not prime. Res64: 0286FAD53E08A272 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:23] 787*2^1423893-1 is not prime. Res64: CC436509E1DA764E Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:24] 951*2^1423893-1 is not prime. Res64: 489A1224743F7C13 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:24] 617*2^1423894-1 is not prime. Res64: 01CC008E7D362ADB Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:24] 731*2^1423894-1 is not prime. Res64: 5BFB5E640A744E55 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:24] 707*2^1423894-1 is not prime. Res64: 2967601847841317 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:25] 741*2^1423894-1 is not prime. Res64: 7CE60F842C608FE8 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:25] 863*2^1423894-1 is not prime. Res64: 90F18F1CD432A2D2 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:25] 885*2^1423894-1 is not prime. Res64: A770C91B8B6B2EA1 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:26] 947*2^1423894-1 is not prime. Res64: 2025B4E3D33B990A Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:47] 971*2^1423894-1 is not prime. Res64: EEB4F218C38ABBEA Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:47] 603*2^1423895-1 is not prime. Res64: 2241229D3052E24E Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:48] 685*2^1423895-1 is not prime. Res64: 9BC4113380765088 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:48] 693*2^1423895-1 is not prime. Res64: C6472AF38CB3B514 Time : 0.0 sec. user=mdettweiler [2016-03-22 08:36:48] 823*2^1423895-1 is not prime. Res64: 01B17E2207378FBB Time : 0.0 sec. user=mdettweiler [2016-03-22 09:15:49] 859*2^1423895-1 is not prime. Res64: FACA64F90571D559 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:15:50] 981*2^1423895-1 is not prime. Res64: AF90E1824F36834E Time : 0.0 sec. user=mdettweiler [2016-03-22 09:15:50] 675*2^1423896-1 is not prime. Res64: F99A2840DD5D00D7 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:15:51] 693*2^1423896-1 is not prime. Res64: 1AE6EF91732CFFB8 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:15:51] 875*2^1423896-1 is not prime. Res64: B4BD027FDACA7FC4 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:34] 899*2^1423896-1 is not prime. Res64: C9A875B145FE2CD0 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:35] 635*2^1423898-1 is not prime. Res64: FE4B8697045FBEA9 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:35] 731*2^1423898-1 is not prime. Res64: 5058A8F83B782445 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:36] 797*2^1423898-1 is not prime. Res64: 405A976663D476CD Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:36] 843*2^1423898-1 is not prime. Res64: 5367C0C41CC8F7EB Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:50] 885*2^1423898-1 is not prime. Res64: 6F2B598502898920 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:51] 945*2^1423898-1 is not prime. Res64: 39AE3629A1E95EE2 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:51] 963*2^1423898-1 is not prime. Res64: 171756157DD85D70 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:52] 993*2^1423898-1 is not prime. Res64: F6D0072CF8A4AEF1 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:21:52] 1001*2^1423898-1 is not prime. Res64: DBABD0FE8264C3AE Time : 0.0 sec. user=mdettweiler [2016-03-22 09:22:02] 669*2^1423899-1 is not prime. Res64: E954DC22B89047FA Time : 0.0 sec. user=mdettweiler [2016-03-22 09:22:02] 789*2^1423899-1 is not prime. Res64: 854F7F20FE7501A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:22:02] 909*2^1423899-1 is not prime. Res64: 3C4BA6EF3273CEF9 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:22:03] 615*2^1423900-1 is not prime. Res64: 689BD168DE5CBBAE Time : 0.0 sec. user=mdettweiler [2016-03-22 09:22:03] 623*2^1423900-1 is not prime. Res64: 86788A0EAC0B6663 Time : 0.0 sec. user=mdettweiler [2016-03-22 09:50:42] 915*2^1423903-1 is not prime. Res64: 86FF3F16D5A81A38 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:00:54] 675*2^1423900-1 is not prime. Res64: E5260EED55C7E6CF Time : 0.0 sec. user=mdettweiler [2016-03-22 10:00:55] 677*2^1423900-1 is not prime. Res64: F7B99DE45CF62A6D Time : 0.0 sec. user=mdettweiler [2016-03-22 10:00:56] 843*2^1423900-1 is not prime. Res64: 867899084D4BE649 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:00:56] 965*2^1423900-1 is not prime. Res64: 2B107F6E61E5862F Time : 0.0 sec. user=mdettweiler [2016-03-22 10:00:57] 975*2^1423900-1 is not prime. Res64: 66D08EC37FD499B0 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:06:54] 619*2^1423901-1 is not prime. Res64: FE7A5500B3C26FBF Time : 0.0 sec. user=mdettweiler [2016-03-22 10:06:56] 621*2^1423901-1 is not prime. Res64: 0BC80F9AA867DB8E Time : 0.0 sec. user=mdettweiler [2016-03-22 10:06:58] 775*2^1423901-1 is not prime. Res64: 259874A082066368 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:06:59] 777*2^1423901-1 is not prime. Res64: AE1F749E7A477DEF Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:00] 825*2^1423901-1 is not prime. Res64: AA252592C2F6DCA3 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:02] 829*2^1423901-1 is not prime. Res64: 3AF12E9DCE9A2991 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:03] 871*2^1423901-1 is not prime. Res64: A4B5DED040801AFB Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:05] 711*2^1423902-1 is not prime. Res64: 5677BFDAE29C344D Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:07] 815*2^1423902-1 is not prime. Res64: 4EEDBF359981D8EC Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:09] 825*2^1423902-1 is not prime. Res64: A3EF9E3DE148C55E Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:17] 983*2^1423902-1 is not prime. Res64: 8B82CCB9AE9E98DE Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:18] 709*2^1423903-1 is not prime. Res64: D38DEEC767EED741 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:19] 729*2^1423903-1 is not prime. Res64: 3B6432BDE9F8D371 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:19] 775*2^1423903-1 is not prime. Res64: F4ABEA995B87D5C8 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:07:20] 901*2^1423903-1 is not prime. Res64: 113184CDD7E5E3B3 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:27:29] 861*2^1423907-1 is not prime. Res64: 6EAC54A79877A028 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:46:11] 675*2^1423904-1 is not prime. Res64: 7E7A80D45B84DCD0 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:46:11] 677*2^1423904-1 is not prime. Res64: 95B0F5E1E144D5A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:46:12] 699*2^1423904-1 is not prime. Res64: 8178825C11C7A9A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:46:12] 639*2^1423905-1 is not prime. Res64: 8487A3EEC0CC969E Time : 0.0 sec. user=mdettweiler [2016-03-22 10:46:12] 649*2^1423905-1 is not prime. Res64: 10D823CE6F8AD0FF Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:17] 915*2^1423905-1 is not prime. Res64: 9DA017D912166CC8 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:17] 765*2^1423905-1 is not prime. Res64: A9FEFD642DC8A255 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:17] 657*2^1423906-1 is not prime. Res64: 57BA069D3866B1F5 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:18] 789*2^1423905-1 is not prime. Res64: 672F8FDC5B156975 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:18] 735*2^1423906-1 is not prime. Res64: 9B1C3E7498901423 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:18] 817*2^1423905-1 is not prime. Res64: 6686389A58B57DA8 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:18] 743*2^1423906-1 is not prime. Res64: AC1B2B67AE8187C3 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:18] 861*2^1423905-1 is not prime. Res64: 4D351FA7215CB96F Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:19] 777*2^1423906-1 is not prime. Res64: C9C14670E0F14B92 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:19] 871*2^1423905-1 is not prime. Res64: 87C58AE78AB5A4BB Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:31] 857*2^1423906-1 is not prime. Res64: 80F916470AF80D94 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:31] 861*2^1423906-1 is not prime. Res64: 20D25FC7830DA185 Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:32] 945*2^1423906-1 is not prime. Res64: 7EBB7A8876FDEB9A Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:32] 609*2^1423907-1 is not prime. Res64: CF30A20461A1EAAB Time : 0.0 sec. user=mdettweiler [2016-03-22 10:52:32] 759*2^1423907-1 is not prime. Res64: 72E8F5A3CFB8996C Time : 0.0 sec. user=mdettweiler [2016-03-22 11:31:09] 915*2^1423907-1 is not prime. Res64: FAFA99AC25A63B3D Time : 0.0 sec. user=mdettweiler [2016-03-22 11:31:09] 939*2^1423907-1 is not prime. Res64: 25A8B91F34418A45 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:31:10] 615*2^1423908-1 is not prime. Res64: 1D5F6C206C6E52DA Time : 0.0 sec. user=mdettweiler [2016-03-22 11:31:10] 657*2^1423908-1 is not prime. Res64: 6F1DB685ED71888A Time : 0.0 sec. user=mdettweiler [2016-03-22 11:31:11] 665*2^1423908-1 is not prime. Res64: 0C3F3C4D1A47C377 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:36:05] 825*2^1423911-1 is not prime. Res64: C745A04BC0713948 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:00] 699*2^1423909-1 is not prime. Res64: A91F54FDC4F7B56B Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:00] 721*2^1423909-1 is not prime. Res64: 17E6BD18ADBFC930 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:01] 769*2^1423909-1 is not prime. Res64: 31F1BBB6CEEBD331 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:01] 819*2^1423909-1 is not prime. Res64: C39F6BB33F35FF45 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:01] 855*2^1423909-1 is not prime. Res64: FFE6C08E371EF31B Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:16] 669*2^1423908-1 is not prime. Res64: 1267B3A72D00EEFA Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:17] 707*2^1423908-1 is not prime. Res64: 82CDACAB0F2C33B5 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:17] 767*2^1423908-1 is not prime. Res64: 09527F7D68E1A339 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:17] 845*2^1423908-1 is not prime. Res64: B1537339FCC783E4 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:18] 899*2^1423908-1 is not prime. Res64: 009040ED4F6B1153 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:25] 623*2^1423910-1 is not prime. Res64: FC231F8D6B279F20 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:25] 813*2^1423910-1 is not prime. Res64: 1597FB3631595D24 Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:26] 885*2^1423910-1 is not prime. Res64: 00A2F730644EAE7E Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:26] 987*2^1423910-1 is not prime. Res64: 8FCD52135294743B Time : 0.0 sec. user=mdettweiler [2016-03-22 11:37:27] 781*2^1423911-1 is not prime. Res64: 7DDEF7C0E965A902 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:16:19] 909*2^1423911-1 is not prime. Res64: 9284CBD1ACF22570 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:16:20] 979*2^1423911-1 is not prime. Res64: CFF8BBA98F55E046 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:16:20] 693*2^1423912-1 is not prime. Res64: D4E4BEF48D0B72B5 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:16:20] 719*2^1423912-1 is not prime. Res64: 94389B44B05F5B72 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:16:21] 759*2^1423912-1 is not prime. Res64: 71ADCE402F194CE2 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:21:48] 819*2^1423912-1 is not prime. Res64: 0EC9980143B56DEB Time : 0.0 sec. user=mdettweiler [2016-03-22 12:21:48] 869*2^1423912-1 is not prime. Res64: 0EFCC94C14344F5B Time : 0.0 sec. user=mdettweiler [2016-03-22 12:21:49] 909*2^1423912-1 is not prime. Res64: 1C6961C24D3E1CF0 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:21:49] 957*2^1423912-1 is not prime. Res64: E4FA100EAF464F7B Time : 0.0 sec. user=mdettweiler [2016-03-22 12:21:50] 631*2^1423913-1 is not prime. Res64: E18CA9D1B3F4D917 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:21] 731*2^1423914-1 is not prime. Res64: 86B0EB63F946ACC1 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:21] 741*2^1423914-1 is not prime. Res64: 7E1DC6866AFFFE47 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:22] 755*2^1423914-1 is not prime. Res64: A152F3634313C76C Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:22] 797*2^1423914-1 is not prime. Res64: C1281660877D5E74 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:23] 821*2^1423914-1 is not prime. Res64: E40ED77234AC14D9 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:25] 715*2^1423913-1 is not prime. Res64: EC4E4FA49DE3F264 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:25] 745*2^1423913-1 is not prime. Res64: 17E7B7CDD44C73C4 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:26] 781*2^1423913-1 is not prime. Res64: 69387CD1EAB5EF07 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:26] 897*2^1423913-1 is not prime. Res64: 4036BDDDA13CBDE6 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:22:26] 635*2^1423914-1 is not prime. Res64: 2288B17410869320 Time : 0.0 sec. user=mdettweiler [2016-03-22 12:47:54] 687*2^1423918-1 is not prime. Res64: 88B5EF3083BD25FF Time : 0.0 sec. user=mdettweiler [2016-03-22 13:01:36] 833*2^1423914-1 is not prime. Res64: FA57136CD73FBBA5 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:01:37] 1001*2^1423914-1 is not prime. Res64: D62EAC316616C100 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:01:38] 735*2^1423915-1 is not prime. Res64: DDCD66EFB8028042 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:01:40] 783*2^1423915-1 is not prime. Res64: 45E35CFEDDD5E7A0 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:01:41] 841*2^1423915-1 is not prime. Res64: A9177A8042ABAA56 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:06] 853*2^1423915-1 is not prime. Res64: 7837761FEB032D24 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:07] 943*2^1423915-1 is not prime. Res64: B285CABF133072F9 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:08] 969*2^1423915-1 is not prime. Res64: BFC8325C9811F011 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:09] 609*2^1423916-1 is not prime. Res64: EB8C4426F6D021D4 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:10] 693*2^1423916-1 is not prime. Res64: CC2CE4DDF3A6D4A7 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:33] 759*2^1423916-1 is not prime. Res64: BE42BC1BC8D2A993 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:37] 741*2^1423917-1 is not prime. Res64: 5CE6A601F0646E22 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:38] 825*2^1423916-1 is not prime. Res64: B03B827B130BAE5B Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:39] 859*2^1423917-1 is not prime. Res64: FF9E1A8170F8619D Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:40] 927*2^1423916-1 is not prime. Res64: 75393C6B865AA857 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:41] 955*2^1423917-1 is not prime. Res64: 09F4330B89886934 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:42] 685*2^1423917-1 is not prime. Res64: 10FA69C58B909C9F Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:43] 651*2^1423918-1 is not prime. Res64: 308FB220545AD1C8 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:44] 717*2^1423917-1 is not prime. Res64: 869795A974FDA19F Time : 0.0 sec. user=mdettweiler [2016-03-22 13:07:45] 663*2^1423918-1 is not prime. Res64: 03F63928D4A095B6 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:47:03] 813*2^1423918-1 is not prime. Res64: 3ABF9851458AB097 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:47:03] 861*2^1423918-1 is not prime. Res64: D138B60C7FAC04D7 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:47:04] 881*2^1423918-1 is not prime. Res64: EC258A8050E6791A Time : 0.0 sec. user=mdettweiler [2016-03-22 13:47:04] 887*2^1423918-1 is not prime. Res64: 65B26B0FDE468708 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:47:05] 621*2^1423919-1 is not prime. Res64: E91A37E5A2177B73 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:34] 643*2^1423919-1 is not prime. Res64: D6A2C6712FDF21C6 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:35] 705*2^1423919-1 is not prime. Res64: D41C2014755ED4F5 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:35] 789*2^1423919-1 is not prime. Res64: DA4112EDE471B29E Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:35] 823*2^1423919-1 is not prime. Res64: 9D1A6F61623ABFC0 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:36] 973*2^1423919-1 is not prime. Res64: 41F2EF4279559C7A Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:55] 979*2^1423919-1 is not prime. Res64: 3A3BAD7729FD2748 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:56] 809*2^1423920-1 is not prime. Res64: 96F5A56B14F1F34D Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:56] 873*2^1423920-1 is not prime. Res64: 8E0A98B6F0798465 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:56] 887*2^1423920-1 is not prime. Res64: CFCF0227701A1D7D Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:57] 929*2^1423920-1 is not prime. Res64: 079C06764A99A712 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:57] 927*2^1423920-1 is not prime. Res64: 3BA4F710895CAC1E Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:57] 607*2^1423921-1 is not prime. Res64: 8B89BEE1F8AFAF8B Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:58] 625*2^1423921-1 is not prime. Res64: 537FF53009AA35A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:58] 717*2^1423921-1 is not prime. Res64: B5C8E93B7AC0B906 Time : 0.0 sec. user=mdettweiler [2016-03-22 13:52:58] 727*2^1423921-1 is not prime. Res64: FC9D0EDBF2BDBAF9 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:16:08] 861*2^1423925-1 is not prime. Res64: FC4E4605592C25AD Time : 0.0 sec. user=mdettweiler [2016-03-22 14:32:24] 777*2^1423921-1 is not prime. Res64: 0905F9B59D99A721 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:32:25] 657*2^1423922-1 is not prime. Res64: D5CDF525327220E8 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:32:25] 701*2^1423922-1 is not prime. Res64: 1462A8590A8D62E9 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:32:25] 615*2^1423923-1 is not prime. Res64: 4A1702D0F203AAB9 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:32:26] 685*2^1423923-1 is not prime. Res64: AA86C538FBDDBDC0 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:37:37] 723*2^1423923-1 is not prime. Res64: C5E0D95B57F775B1 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:37:37] 741*2^1423923-1 is not prime. Res64: 01978BDD2939B8F0 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:37:38] 753*2^1423923-1 is not prime. Res64: D348CBC6ABF90B95 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:37:38] 859*2^1423923-1 is not prime. Res64: A43C9D72001D20FD Time : 0.0 sec. user=mdettweiler [2016-03-22 14:37:38] 961*2^1423923-1 is not prime. Res64: D2E0F763CE9B7686 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:08] 629*2^1423924-1 is not prime. Res64: ADD233FA244967D0 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:08] 717*2^1423924-1 is not prime. Res64: 06432906A0293E1C Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:09] 719*2^1423924-1 is not prime. Res64: BF56B129EC5EEFDD Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:09] 749*2^1423924-1 is not prime. Res64: A8ACA49B5389F284 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:09] 813*2^1423924-1 is not prime. Res64: 7E06FCF28517C379 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:10] 857*2^1423924-1 is not prime. Res64: E190E7C6914FB07B Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:10] 965*2^1423924-1 is not prime. Res64: 622B181638140ED1 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:10] 601*2^1423925-1 is not prime. Res64: 21FD0AA998C4E8E0 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:11] 669*2^1423925-1 is not prime. Res64: 81915E93BD5BEFB6 Time : 0.0 sec. user=mdettweiler [2016-03-22 14:38:11] 757*2^1423925-1 is not prime. Res64: 4A3207EF0926CEDC Time : 0.0 sec. user=mdettweiler [2016-03-22 15:18:44] 949*2^1423925-1 is not prime. Res64: 5D002A2519030195 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:18:44] 705*2^1423926-1 is not prime. Res64: 59B7CF5FF99E42E1 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:18:44] 725*2^1423926-1 is not prime. Res64: 4C85A48AB530A211 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:18:45] 737*2^1423926-1 is not prime. Res64: 9EBE4A7E2788D85B Time : 0.0 sec. user=mdettweiler [2016-03-22 15:18:45] 867*2^1423926-1 is not prime. Res64: B5D3749B1B9CB547 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:19] 843*2^1423928-1 is not prime. Res64: 64C1541E419B8F27 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:19] 893*2^1423928-1 is not prime. Res64: BFAD7424E2BC0E88 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:19] 759*2^1423929-1 is not prime. Res64: C69CD172639935A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:20] 919*2^1423929-1 is not prime. Res64: A74AF376899C64B5 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:20] 997*2^1423929-1 is not prime. Res64: 168534345F0B7184 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:24] 601*2^1423927-1 is not prime. Res64: 57161BC884C27C31 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:24] 765*2^1423927-1 is not prime. Res64: 86147A09CC22B658 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:24] 793*2^1423927-1 is not prime. Res64: 43ED5A09FE73AB85 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:24] 819*2^1423927-1 is not prime. Res64: 48E32ED200E84E80 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:24:25] 889*2^1423927-1 is not prime. Res64: 1A0D59F6D5E1A174 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:25:13] 931*2^1423927-1 is not prime. Res64: BFD64FD0E442F5C9 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:25:14] 985*2^1423927-1 is not prime. Res64: 9DADFA0DAEA04EF5 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:25:14] 623*2^1423928-1 is not prime. Res64: E1DF55413E5642D7 Time : 0.0 sec. user=mdettweiler [2016-03-22 15:25:14] 767*2^1423928-1 is not prime. Res64: 4A2F7BE463B5FEAE Time : 0.0 sec. user=mdettweiler [2016-03-22 15:25:15] 773*2^1423928-1 is not prime. Res64: 2585A226CEB709BC Time : 0.0 sec. user=mdettweiler [2016-03-22 16:05:49] 755*2^1423930-1 is not prime. Res64: E489825068C437D0 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:05:50] 867*2^1423930-1 is not prime. Res64: A63E5D84E58B5F02 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:05:50] 873*2^1423930-1 is not prime. Res64: C9ECCB22199ABD18 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:05:51] 885*2^1423930-1 is not prime. Res64: C428E812771986EF Time : 0.0 sec. user=mdettweiler [2016-03-22 16:05:52] 923*2^1423930-1 is not prime. Res64: E838FCC73990C6A9 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:18] 685*2^1423931-1 is not prime. Res64: BEDFF2ED31EAEBFC Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:19] 705*2^1423931-1 is not prime. Res64: 7F25C033BBFB7B26 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:19] 735*2^1423931-1 is not prime. Res64: 18C2D14F357A7AEB Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:19] 775*2^1423931-1 is not prime. Res64: 2ED85F5F722F3113 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:20] 627*2^1423932-1 is not prime. Res64: C89F9A5C2BBB4FD1 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:29] 635*2^1423932-1 is not prime. Res64: A9056A5EEEDD22A0 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:30] 723*2^1423932-1 is not prime. Res64: F5FC213C74C4B392 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:30] 857*2^1423932-1 is not prime. Res64: 992DAC1DF91AAF52 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:30] 691*2^1423933-1 is not prime. Res64: C53B3685334C1824 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:11:31] 789*2^1423933-1 is not prime. Res64: EB61CE3D9B92D628 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:12:36] 895*2^1423933-1 is not prime. Res64: 31D91C4C1C24568E Time : 0.0 sec. user=mdettweiler [2016-03-22 16:12:37] 999*2^1423933-1 is not prime. Res64: A7562477225BD04D Time : 0.0 sec. user=mdettweiler [2016-03-22 16:12:37] 635*2^1423934-1 is not prime. Res64: ACF0A559C67CD491 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:12:37] 683*2^1423934-1 is not prime. Res64: 3CBE7CCAB363F243 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:12:38] 687*2^1423934-1 is not prime. Res64: 4225AB47B50BA086 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:52:54] 693*2^1423934-1 is not prime. Res64: 0567690D820064D2 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:52:54] 711*2^1423934-1 is not prime. Res64: 494DBAAE1C44635B Time : 0.0 sec. user=mdettweiler [2016-03-22 16:52:54] 825*2^1423934-1 is not prime. Res64: 104D7BD7F6B9896E Time : 0.0 sec. user=mdettweiler [2016-03-22 16:52:55] 873*2^1423934-1 is not prime. Res64: 8C80668FC55AF3FF Time : 0.0 sec. user=mdettweiler [2016-03-22 16:52:55] 625*2^1423935-1 is not prime. Res64: 6FD016AFBD35E767 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:54:40] 711*2^1423938-1 is not prime. Res64: B6F3D218D788F94B Time : 0.0 sec. user=mdettweiler [2016-03-22 16:58:51] 751*2^1423935-1 is not prime. Res64: F47C0A08C56476AD Time : 0.0 sec. user=mdettweiler [2016-03-22 16:58:51] 933*2^1423935-1 is not prime. Res64: A0617C2E18ABEF1B Time : 0.0 sec. user=mdettweiler [2016-03-22 16:58:52] 961*2^1423935-1 is not prime. Res64: 5B4EE9F53FE6F17A Time : 0.0 sec. user=mdettweiler [2016-03-22 16:58:52] 705*2^1423936-1 is not prime. Res64: B1CFDD14E83C26D2 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:58:52] 903*2^1423936-1 is not prime. Res64: 2E3E6CCAA5BC736F Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:03] 999*2^1423936-1 is not prime. Res64: 1D549047306419D0 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:03] 699*2^1423937-1 is not prime. Res64: 63DDBD50C18448D0 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:03] 727*2^1423937-1 is not prime. Res64: 9C6D1D3386878596 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:03] 729*2^1423937-1 is not prime. Res64: 086EE3E67D9C6A6A Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:04] 735*2^1423937-1 is not prime. Res64: 2D810A6C7F975454 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:25] 759*2^1423937-1 is not prime. Res64: 04923BADC7595C7D Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:25] 781*2^1423937-1 is not prime. Res64: 82430C339413FFD7 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:25] 829*2^1423937-1 is not prime. Res64: 52823E896003B827 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:26] 837*2^1423937-1 is not prime. Res64: DE7B31279D7FE399 Time : 0.0 sec. user=mdettweiler [2016-03-22 16:59:26] 611*2^1423938-1 is not prime. Res64: 8351859EF35E5C71 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:13:01] 833*2^1423942-1 is not prime. Res64: 3D093D3F6516777E Time : 0.0 sec. user=mdettweiler [2016-03-22 17:40:04] 887*2^1423938-1 is not prime. Res64: 84C1FB48FEE05369 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:40:05] 941*2^1423938-1 is not prime. Res64: 961EB405B9CFF3D7 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:40:05] 631*2^1423939-1 is not prime. Res64: 875F251628068170 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:40:05] 745*2^1423939-1 is not prime. Res64: D040091DA8512C77 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:40:05] 765*2^1423939-1 is not prime. Res64: C113CE7251D56A9D Time : 0.0 sec. user=mdettweiler [2016-03-22 17:46:28] 717*2^1423940-1 is not prime. Res64: CC5C3FD9CBFECA22 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:46:28] 825*2^1423940-1 is not prime. Res64: D6693ACC8C543672 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:46:28] 927*2^1423940-1 is not prime. Res64: 58EE7EB1E7243AD2 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:46:29] 945*2^1423940-1 is not prime. Res64: 959E8651919D1361 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:46:29] 649*2^1423941-1 is not prime. Res64: 68623DB19CB5EF45 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:37] 651*2^1423941-1 is not prime. Res64: 229CBAFD22C8240D Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:37] 657*2^1423941-1 is not prime. Res64: 9CF05AB84D4DC3DD Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:38] 709*2^1423941-1 is not prime. Res64: 28754ECD5D461295 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:38] 781*2^1423941-1 is not prime. Res64: 78AB350D787A2294 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:38] 713*2^1423942-1 is not prime. Res64: 96AE1BD1C14DCCFB Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:44] 789*2^1423939-1 is not prime. Res64: E825B4779102D350 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:45] 873*2^1423939-1 is not prime. Res64: C601BF8BA9625380 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:45] 969*2^1423939-1 is not prime. Res64: 761EAD260247E9FF Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:45] 669*2^1423940-1 is not prime. Res64: 166FD3AAA9526B09 Time : 0.0 sec. user=mdettweiler [2016-03-22 17:47:46] 707*2^1423940-1 is not prime. Res64: EC856C25B892F965 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:05:33] 981*2^1423946-1 is not prime. Res64: E8E45F8AC1B08BFB Time : 0.0 sec. user=mdettweiler [2016-03-22 18:05:45] 935*2^1423946-1 is not prime. Res64: 64B5337C141A53DD Time : 0.0 sec. user=mdettweiler [2016-03-22 18:23:25] 625*2^1423947-1 is not prime. Res64: 06E536258778F3AF Time : 0.0 sec. user=mdettweiler [2016-03-22 18:28:04] 881*2^1423942-1 is not prime. Res64: E616E76D86579740 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:28:04] 911*2^1423942-1 is not prime. Res64: 8428E069406BB9CF Time : 0.0 sec. user=mdettweiler [2016-03-22 18:28:04] 947*2^1423942-1 is not prime. Res64: 7DA072A061C20B1F Time : 0.0 sec. user=mdettweiler [2016-03-22 18:28:05] 663*2^1423943-1 is not prime. Res64: 6F82DD022C707D74 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:28:05] 679*2^1423943-1 is not prime. Res64: 4503F31030A95703 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:07] 985*2^1423943-1 is not prime. Res64: 31D93691C5D6B21D Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:07] 675*2^1423944-1 is not prime. Res64: 47E28CAFBB633A2B Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:07] 695*2^1423944-1 is not prime. Res64: 8DA59AF0EC9BF012 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:08] 753*2^1423944-1 is not prime. Res64: CF4F569BCC1074A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:08] 767*2^1423944-1 is not prime. Res64: 86DB2DA52B9B4E3C Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:57] 789*2^1423944-1 is not prime. Res64: C6064DEF135F309E Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:57] 795*2^1423944-1 is not prime. Res64: 7CC8CDC6E2379D3D Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:57] 983*2^1423944-1 is not prime. Res64: CDA22C834A48474A Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:58] 885*2^1423945-1 is not prime. Res64: 51F60062B66F62E5 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:34:58] 915*2^1423945-1 is not prime. Res64: 5A0FD9879E9A5A3B Time : 0.0 sec. user=mdettweiler [2016-03-22 18:35:19] 711*2^1423946-1 is not prime. Res64: A4F39DB5E34BC4E7 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:35:19] 825*2^1423946-1 is not prime. Res64: D0938E6DA5022716 Time : 0.0 sec. user=mdettweiler [2016-03-22 18:35:19] 873*2^1423946-1 is not prime. Res64: 168C0E415270C63E Time : 0.0 sec. user=mdettweiler [2016-03-22 18:35:19] 911*2^1423946-1 is not prime. Res64: 85A368F97F8DD9EE Time : 0.0 sec. user=mdettweiler [2016-03-22 18:35:20] 921*2^1423946-1 is not prime. Res64: 1BE9C9567688965A Time : 0.0 sec. user=mdettweiler [2016-03-22 19:15:32] 705*2^1423947-1 is not prime. Res64: 3A03D11789F55829 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:15:33] 711*2^1423947-1 is not prime. Res64: E040C111DC9BEB10 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:15:33] 739*2^1423947-1 is not prime. Res64: 29498F58F4A4F3CC Time : 0.0 sec. user=mdettweiler [2016-03-22 19:15:33] 793*2^1423947-1 is not prime. Res64: CA9EB1170A704F49 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:15:33] 795*2^1423947-1 is not prime. Res64: CFBF7A2D12860D87 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:17] 861*2^1423947-1 is not prime. Res64: CC7D1F2A1E354CD8 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:18] 635*2^1423948-1 is not prime. Res64: 1D1F65E36F39891A Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:18] 639*2^1423948-1 is not prime. Res64: 90A10202D0601A42 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:18] 707*2^1423948-1 is not prime. Res64: 4154CF6A7129EEA6 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:19] 601*2^1423949-1 is not prime. Res64: BE64BD6ECDF99AF2 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:51] 621*2^1423949-1 is not prime. Res64: 0E4B08FC90816F7B Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:52] 711*2^1423949-1 is not prime. Res64: AA6E0B792ADBCC56 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:52] 781*2^1423949-1 is not prime. Res64: CE021C90531915B2 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:52] 847*2^1423949-1 is not prime. Res64: 927C452F7AD500F7 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:21:53] 885*2^1423949-1 is not prime. Res64: 3F0E439F3DEA43D1 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:22:36] 897*2^1423949-1 is not prime. Res64: 3411ECD8BB16CB57 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:22:36] 967*2^1423949-1 is not prime. Res64: E1D02BE3A4530006 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:22:37] 969*2^1423949-1 is not prime. Res64: 388DE982D5114B65 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:22:37] 611*2^1423950-1 is not prime. Res64: D737459BF3BB7D77 Time : 0.0 sec. user=mdettweiler [2016-03-22 19:22:38] 615*2^1423950-1 is not prime. Res64: 85CF76BFC11CEC3C Time : 0.0 sec. user=mdettweiler [2016-03-22 20:00:40] 647*2^1423950-1 is not prime. Res64: D9B37124DD216884 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:00:41] 681*2^1423950-1 is not prime. Res64: D0419F6BB809ECEE Time : 0.0 sec. user=mdettweiler [2016-03-22 20:00:42] 693*2^1423950-1 is not prime. Res64: 6D7EB7B8FA221A45 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:00:43] 797*2^1423950-1 is not prime. Res64: AECC8A0E9E5E85A0 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:00:44] 867*2^1423950-1 is not prime. Res64: 6E0B95770A63AE0E Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:35] 951*2^1423950-1 is not prime. Res64: D9176E17F24A3DCE Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:36] 963*2^1423950-1 is not prime. Res64: BF030881AF172F45 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:37] 977*2^1423950-1 is not prime. Res64: 9E9F62AC982EC336 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:38] 603*2^1423951-1 is not prime. Res64: 50CEED4EE3F21163 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:39] 685*2^1423951-1 is not prime. Res64: 30936D25EF67BD32 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:54] 741*2^1423951-1 is not prime. Res64: 3285DD0BD6959058 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:56] 751*2^1423951-1 is not prime. Res64: F484CB7D86E7F91F Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:57] 873*2^1423951-1 is not prime. Res64: 2AD860B420025D14 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:58] 885*2^1423951-1 is not prime. Res64: B75B3CAB71F0CB8C Time : 0.0 sec. user=mdettweiler [2016-03-22 20:06:59] 939*2^1423951-1 is not prime. Res64: 0C0634591A9C5897 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:07:48] 633*2^1423952-1 is not prime. Res64: E91B8219E6CC5A7B Time : 0.0 sec. user=mdettweiler [2016-03-22 20:07:50] 669*2^1423952-1 is not prime. Res64: 47C0F4EA9E131DA7 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:07:51] 675*2^1423952-1 is not prime. Res64: 4AA0C17A626B193A Time : 0.0 sec. user=mdettweiler [2016-03-22 20:07:53] 759*2^1423952-1 is not prime. Res64: 9040E7768D6C2068 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:07:54] 983*2^1423952-1 is not prime. Res64: 3A9EDDA12E25C976 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:27:03] 927*2^1423956-1 is not prime. Res64: BFBCF84D55F5A35D Time : 0.0 sec. user=mdettweiler [2016-03-22 20:40:20] 999*2^1423952-1 is not prime. Res64: 22301DED3FB312F1 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:46:05] 817*2^1423953-1 is not prime. Res64: 53BDCD5A420C0FF1 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:46:05] 895*2^1423953-1 is not prime. Res64: 456AB7E4F03404AD Time : 0.0 sec. user=mdettweiler [2016-03-22 20:46:06] 985*2^1423953-1 is not prime. Res64: E3757AC78EC846ED Time : 0.0 sec. user=mdettweiler [2016-03-22 20:46:06] 687*2^1423954-1 is not prime. Res64: 445C63E18B9265B4 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:46:06] 701*2^1423954-1 is not prime. Res64: 3C3FFDFFEB6C8C9E Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:02] 883*2^1423955-1 is not prime. Res64: 7388220E05155C09 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:02] 981*2^1423955-1 is not prime. Res64: F8C768A9251884E6 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:02] 985*2^1423955-1 is not prime. Res64: 1AC46A15A36FCDB7 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:03] 635*2^1423956-1 is not prime. Res64: 65F9DC7183F6E277 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:03] 857*2^1423954-1 is not prime. Res64: 694B6DEB31207CBF Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:03] 689*2^1423956-1 is not prime. Res64: E81586113DDB1968 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:04] 971*2^1423954-1 is not prime. Res64: 0454C5D2002D6C64 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:04] 993*2^1423954-1 is not prime. Res64: 0F03BB84ADD096E5 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:04] 735*2^1423955-1 is not prime. Res64: 96240202701737DF Time : 0.0 sec. user=mdettweiler [2016-03-22 20:52:05] 783*2^1423955-1 is not prime. Res64: EB1CBF87D2B82188 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:53:14] 773*2^1423956-1 is not prime. Res64: 21F378B894C8B1C6 Time : 0.0 sec. user=mdettweiler [2016-03-22 20:53:15] 783*2^1423956-1 is not prime. Res64: EC6EDE7CFDF8ADBB Time : 0.0 sec. user=mdettweiler [2016-03-22 20:53:15] 839*2^1423956-1 is not prime. Res64: 681A0E922EF08FCC Time : 0.0 sec. user=mdettweiler [2016-03-22 20:53:15] 845*2^1423956-1 is not prime. Res64: 1320D312941481FC Time : 0.0 sec. user=mdettweiler [2016-03-22 20:53:16] 887*2^1423956-1 is not prime. Res64: 349B9D1A8EE2C206 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:31:15] 945*2^1423956-1 is not prime. Res64: B89D833ACECA6E25 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:31:20] 609*2^1423957-1 is not prime. Res64: D17DD661710F88A0 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:31:20] 687*2^1423957-1 is not prime. Res64: 321BD26D44B1B6D1 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:31:21] 871*2^1423957-1 is not prime. Res64: 762492993842DE89 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:31:21] 651*2^1423958-1 is not prime. Res64: E674C8667BF54BF3 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:09] 879*2^1423959-1 is not prime. Res64: 1AB0653B0D202F18 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:10] 913*2^1423959-1 is not prime. Res64: 2D506F7129B145DA Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:10] 921*2^1423959-1 is not prime. Res64: E750ACEF173D2B84 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:11] 933*2^1423959-1 is not prime. Res64: ED4A484C61058E0B Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:11] 609*2^1423960-1 is not prime. Res64: D148E0AF8E75DEE2 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:29] 791*2^1423958-1 is not prime. Res64: 610F17ED522A7625 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:29] 957*2^1423958-1 is not prime. Res64: B156310054FF6A02 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:31] 661*2^1423959-1 is not prime. Res64: 1CA060529B43E6EC Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:31] 795*2^1423959-1 is not prime. Res64: CBA08E87BB534C00 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:37:32] 823*2^1423959-1 is not prime. Res64: FB0E9727C1089C23 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:38:24] 675*2^1423960-1 is not prime. Res64: CE7EED4E10470307 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:38:24] 717*2^1423960-1 is not prime. Res64: ACE225B41DACCBFE Time : 0.0 sec. user=mdettweiler [2016-03-22 21:38:25] 813*2^1423960-1 is not prime. Res64: 229247C548759386 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:38:25] 845*2^1423960-1 is not prime. Res64: 5DF12DEF69F62BAE Time : 0.0 sec. user=mdettweiler [2016-03-22 21:38:26] 965*2^1423960-1 is not prime. Res64: BB460DC50C7724E8 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:55:05] 999*2^1423963-1 is not prime. Res64: EA2559BD7512A8B8 Time : 0.0 sec. user=mdettweiler [2016-03-22 21:55:40] 609*2^1423964-1 is not prime. Res64: 72C1BED66963D8A7 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:16:53] 989*2^1423960-1 is not prime. Res64: 257168FC528D1CB0 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:16:54] 999*2^1423960-1 is not prime. Res64: 163259C749A61CDA Time : 0.0 sec. user=mdettweiler [2016-03-22 22:16:54] 637*2^1423961-1 is not prime. Res64: 8D71368FDF7AD7F3 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:16:55] 669*2^1423961-1 is not prime. Res64: 26C9D3B9C58A2720 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:16:55] 907*2^1423961-1 is not prime. Res64: 1789EA6A01DB720B Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:31] 957*2^1423961-1 is not prime. Res64: 9D8C77A6BC2250AA Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:32] 651*2^1423962-1 is not prime. Res64: 4C29E69D4233199F Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:32] 677*2^1423962-1 is not prime. Res64: 221019BCDBC8A929 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:33] 747*2^1423962-1 is not prime. Res64: A9BB85FF2135E8A7 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:33] 797*2^1423962-1 is not prime. Res64: 33B808D0F1F71538 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:54] 825*2^1423962-1 is not prime. Res64: F676842667057868 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:55] 867*2^1423962-1 is not prime. Res64: 8DB1BD99D7507CF6 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:55] 891*2^1423962-1 is not prime. Res64: A6FF4517AC8A232E Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:56] 723*2^1423963-1 is not prime. Res64: 5A29BEC03D899174 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:22:56] 745*2^1423963-1 is not prime. Res64: 59D4BFEC140D1272 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:24:03] 783*2^1423963-1 is not prime. Res64: 23A6CA40C9595900 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:24:03] 829*2^1423963-1 is not prime. Res64: FE0546E0EAF8EF69 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:24:04] 859*2^1423963-1 is not prime. Res64: 2CC39F7B745859A5 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:24:04] 883*2^1423963-1 is not prime. Res64: 8E3398D1BEDAF9F5 Time : 0.0 sec. user=mdettweiler [2016-03-22 22:24:05] 915*2^1423963-1 is not prime. Res64: 82120587D94B7B52 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:02:34] 625*2^1423965-1 is not prime. Res64: 9293893D2E79E724 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:02:35] 789*2^1423965-1 is not prime. Res64: 376269E67DC469F8 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:02:36] 927*2^1423965-1 is not prime. Res64: 2DF9CBD2C3F3B52A Time : 0.0 sec. user=mdettweiler [2016-03-22 23:02:37] 961*2^1423965-1 is not prime. Res64: 69F64091B77BC166 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:02:38] 635*2^1423966-1 is not prime. Res64: 8582DDEAA7C44B9C Time : 0.0 sec. user=mdettweiler [2016-03-22 23:07:57] 647*2^1423966-1 is not prime. Res64: 47A5A603E573ACDC Time : 0.0 sec. user=mdettweiler [2016-03-22 23:07:58] 675*2^1423966-1 is not prime. Res64: 4C1D0C698B61A676 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:07:58] 713*2^1423966-1 is not prime. Res64: 05524CB2BC65E23C Time : 0.0 sec. user=mdettweiler [2016-03-22 23:07:59] 755*2^1423966-1 is not prime. Res64: B780A0F16687CBA9 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:07:59] 765*2^1423966-1 is not prime. Res64: 247291A829945420 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:08:02] 815*2^1423966-1 is not prime. Res64: 1487AA059E5EE56D Time : 0.0 sec. user=mdettweiler [2016-03-22 23:08:02] 833*2^1423966-1 is not prime. Res64: A5757AA7E8CB7A67 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:08:03] 971*2^1423966-1 is not prime. Res64: 35CA8FB528E06CC8 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:08:03] 619*2^1423967-1 is not prime. Res64: 1C9C80D2CF917188 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:08:03] 643*2^1423967-1 is not prime. Res64: ED06A4C9C8EDDD11 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:09:29] 703*2^1423967-1 is not prime. Res64: 2F79ECA09A876BE1 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:09:29] 799*2^1423967-1 is not prime. Res64: 1D362FE943B8283D Time : 0.0 sec. user=mdettweiler [2016-03-22 23:09:30] 885*2^1423967-1 is not prime. Res64: B7D870549E0A915B Time : 0.0 sec. user=mdettweiler [2016-03-22 23:09:30] 931*2^1423967-1 is not prime. Res64: 168CD57AA735B51A Time : 0.0 sec. user=mdettweiler [2016-03-22 23:09:31] 945*2^1423967-1 is not prime. Res64: F6D3EAB71526A1F7 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:23:55] 605*2^1423970-1 is not prime. Res64: 0169660F05AC8E7E Time : 0.0 sec. user=mdettweiler [2016-03-22 23:27:59] 777*2^1423842-1 is not prime. Res64: 65CB57982DA49448 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:47:58] 979*2^1423967-1 is not prime. Res64: 5DC4C135E1AF0C2B Time : 0.0 sec. user=mdettweiler [2016-03-22 23:47:58] 985*2^1423967-1 is not prime. Res64: 6EE9FA8A6C95BD77 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:47:58] 605*2^1423968-1 is not prime. Res64: 6C1F794213FC7E39 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:47:59] 669*2^1423968-1 is not prime. Res64: 373C48FDC47B122E Time : 0.0 sec. user=mdettweiler [2016-03-22 23:47:59] 747*2^1423968-1 is not prime. Res64: 7B88C393C342714A Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:04] 759*2^1423968-1 is not prime. Res64: CAE74EE7C6A0F136 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:04] 765*2^1423968-1 is not prime. Res64: C0EAB61B6560078C Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:05] 915*2^1423968-1 is not prime. Res64: 5B122EC0FDAD18BC Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:05] 819*2^1423968-1 is not prime. Res64: A320168A3EAD4AFE Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:05] 993*2^1423968-1 is not prime. Res64: E359D4686C651C26 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:05] 839*2^1423968-1 is not prime. Res64: 8DA4E55501362A06 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:05] 685*2^1423969-1 is not prime. Res64: 17E8FF0BB21B3352 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:05] 893*2^1423968-1 is not prime. Res64: EB2D856B19C25CF1 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:06] 705*2^1423969-1 is not prime. Res64: 9147C33D658BD805 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:53:06] 745*2^1423969-1 is not prime. Res64: BAC7C72D2ACAE984 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:54:42] 747*2^1423969-1 is not prime. Res64: C854D8B4563EDAAA Time : 0.0 sec. user=mdettweiler [2016-03-22 23:54:42] 799*2^1423969-1 is not prime. Res64: 20886E35188FFD41 Time : 0.0 sec. user=mdettweiler [2016-03-22 23:54:42] 801*2^1423969-1 is not prime. Res64: CB1513BC80B0EF4E Time : 0.0 sec. user=mdettweiler [2016-03-22 23:54:43] 945*2^1423969-1 is not prime. Res64: 13B594B62E8A972C Time : 0.0 sec. user=mdettweiler [2016-03-22 23:54:43] 955*2^1423969-1 is not prime. Res64: 4145536D19D3C060 Time : 0.0 sec.