user=mdettweiler [2018-11-10 00:04:36] 909*2^1530884-1 is not prime. Res64: F0271D4F59326C2C Time : 0.0 sec. user=mdettweiler [2018-11-10 00:04:37] 609*2^1530885-1 is not prime. Res64: CBDF7C53D11BADA1 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:04:38] 691*2^1530885-1 is not prime. Res64: 635595C9FF07A6F1 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:04:41] 765*2^1530885-1 is not prime. Res64: 862A8522C7BBC3AA Time : 0.0 sec. user=mdettweiler [2018-11-10 00:04:43] 787*2^1530885-1 is not prime. Res64: CBFF16DDA8334632 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:14:58] 817*2^1530885-1 is not prime. Res64: C4010B3254280480 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:14:59] 859*2^1530885-1 is not prime. Res64: C06335E31FE7DD1E Time : 0.0 sec. user=mdettweiler [2018-11-10 00:14:59] 645*2^1530886-1 is not prime. Res64: B3CD55ACB01C6401 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:15:00] 663*2^1530886-1 is not prime. Res64: D7E771BF57B8407D Time : 0.0 sec. user=mdettweiler [2018-11-10 00:15:00] 815*2^1530886-1 is not prime. Res64: EA3FAA6BE7AE2785 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:15:17] 965*2^1530886-1 is not prime. Res64: E53ECC4257AAC26C Time : 0.0 sec. user=mdettweiler [2018-11-10 00:15:18] 987*2^1530886-1 is not prime. Res64: 644596782B5612D4 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:15:18] 1001*2^1530886-1 is not prime. Res64: 93A8660E9E1085CE Time : 0.0 sec. user=mdettweiler [2018-11-10 00:15:22] 601*2^1530887-1 is not prime. Res64: FE735F9F024308EE Time : 0.0 sec. user=mdettweiler [2018-11-10 00:15:25] 693*2^1530887-1 is not prime. Res64: A3CCACFDBAB968E9 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:37:31] 703*2^1530887-1 is not prime. Res64: 0F20C22E8CD00841 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:37:32] 705*2^1530887-1 is not prime. Res64: 76D167D5F0A32323 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:37:32] 781*2^1530887-1 is not prime. Res64: 2FCE3803912877E1 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:37:32] 993*2^1530887-1 is not prime. Res64: 80F5FD068378D03D Time : 0.0 sec. user=mdettweiler [2018-11-10 00:37:32] 605*2^1530888-1 is not prime. Res64: A9590BAF34DE8E9A Time : 0.0 sec. user=mdettweiler [2018-11-10 00:57:12] 737*2^1530888-1 is not prime. Res64: BFE64933DF4DB891 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:57:12] 795*2^1530888-1 is not prime. Res64: CD97D40D754DC4A6 Time : 0.0 sec. user=mdettweiler [2018-11-10 00:57:13] 797*2^1530888-1 is not prime. Res64: ED32C97F66F4456F Time : 0.0 sec. user=mdettweiler [2018-11-10 00:57:13] 839*2^1530888-1 is not prime. Res64: 247664D018AD79CE Time : 0.0 sec. user=mdettweiler [2018-11-10 00:57:14] 887*2^1530888-1 is not prime. Res64: 666993BBBEF472BB Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:52] 905*2^1530888-1 is not prime. Res64: A229482B7DA7C74A Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:52] 975*2^1530888-1 is not prime. Res64: 86C76C3994CDC97F Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:52] 609*2^1530889-1 is not prime. Res64: 75459C8A1496E761 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:53] 729*2^1530889-1 is not prime. Res64: C3B05D8744C46D15 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:53] 741*2^1530889-1 is not prime. Res64: 8E122FDD62F32201 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:57] 747*2^1530889-1 is not prime. Res64: CA2A8BA17804F598 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:57] 751*2^1530889-1 is not prime. Res64: BC947690B3DB0F4F Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:58] 867*2^1530889-1 is not prime. Res64: 08FB3F1817C5C5C3 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:58] 877*2^1530889-1 is not prime. Res64: BCE2A29C98DF55A3 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:06:59] 925*2^1530889-1 is not prime. Res64: F5B1DC848B39CE52 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:28:27] 713*2^1530890-1 is not prime. Res64: 3B015D6AEF304045 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:28:28] 735*2^1530890-1 is not prime. Res64: 6E14CBBA89414B23 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:28:29] 747*2^1530890-1 is not prime. Res64: D711C64AE20A840B Time : 0.0 sec. user=mdettweiler [2018-11-10 01:28:30] 755*2^1530890-1 is not prime. Res64: D0637A246B535568 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:28:31] 785*2^1530890-1 is not prime. Res64: A3C86B414F8F9D76 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:49:48] 827*2^1530890-1 is not prime. Res64: A5E40B8F808F92CE Time : 0.0 sec. user=mdettweiler [2018-11-10 01:49:49] 833*2^1530890-1 is not prime. Res64: D231BAE9E83931C6 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:49:49] 887*2^1530890-1 is not prime. Res64: E32D2AE6EBBC05CC Time : 0.0 sec. user=mdettweiler [2018-11-10 01:49:51] 927*2^1530890-1 is not prime. Res64: 5D0F6FD7248FCCDF Time : 0.0 sec. user=mdettweiler [2018-11-10 01:49:51] 751*2^1530891-1 is not prime. Res64: D2C4EEB2C507D2C9 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:59:49] 969*2^1530891-1 is not prime. Res64: 1DD6B7BFBF50E2DB Time : 0.0 sec. user=mdettweiler [2018-11-10 01:59:50] 615*2^1530892-1 is not prime. Res64: 326C01AF4E79BACE Time : 0.0 sec. user=mdettweiler [2018-11-10 01:59:51] 717*2^1530892-1 is not prime. Res64: 2A55F5841D47A5B9 Time : 0.0 sec. user=mdettweiler [2018-11-10 01:59:51] 777*2^1530892-1 is not prime. Res64: 133893A397C2232A Time : 0.0 sec. user=mdettweiler [2018-11-10 01:59:51] 803*2^1530892-1 is not prime. Res64: BB9BF9893090B531 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:00:08] 775*2^1530891-1 is not prime. Res64: CE0BB773BD5773BA Time : 0.0 sec. user=mdettweiler [2018-11-10 02:00:10] 861*2^1530891-1 is not prime. Res64: 02249814AEA4AF63 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:00:10] 879*2^1530891-1 is not prime. Res64: 57F161012B04E4D9 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:00:11] 943*2^1530891-1 is not prime. Res64: 732085327F314066 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:00:11] 961*2^1530891-1 is not prime. Res64: C1E84C61BF077C16 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:21:07] 899*2^1530892-1 is not prime. Res64: C7FC220D05EA1EFC Time : 0.0 sec. user=mdettweiler [2018-11-10 02:21:07] 989*2^1530892-1 is not prime. Res64: 70D5347849BD19FD Time : 0.0 sec. user=mdettweiler [2018-11-10 02:21:08] 607*2^1530893-1 is not prime. Res64: 25A789C5BAFADD92 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:21:08] 685*2^1530893-1 is not prime. Res64: 88B1DAE3428D5E5C Time : 0.0 sec. user=mdettweiler [2018-11-10 02:21:09] 837*2^1530893-1 is not prime. Res64: A047936389EE00E7 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:41:29] 985*2^1530893-1 is not prime. Res64: 0B4002114A48E9C2 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:41:30] 987*2^1530893-1 is not prime. Res64: CE03097640CDDA7B Time : 0.0 sec. user=mdettweiler [2018-11-10 02:41:31] 611*2^1530894-1 is not prime. Res64: A7B31344E13EDBC7 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:41:31] 641*2^1530894-1 is not prime. Res64: C43E7F98BD17B963 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:41:32] 705*2^1530894-1 is not prime. Res64: 992AEB128338118F Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:29] 797*2^1530894-1 is not prime. Res64: 46902EEE6A438F50 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:30] 861*2^1530894-1 is not prime. Res64: 9EEA8183B5F67AAC Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:31] 829*2^1530895-1 is not prime. Res64: 1423BF3B10DED6F1 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:31] 639*2^1530895-1 is not prime. Res64: 9D33B0CC3C02C134 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:31] 871*2^1530895-1 is not prime. Res64: 9FB9C77F01C8E6BC Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:32] 889*2^1530895-1 is not prime. Res64: F489F2533D32F95D Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:33] 891*2^1530895-1 is not prime. Res64: E1AD9E75013B2936 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:33] 715*2^1530895-1 is not prime. Res64: B192BD42B22222C1 Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:34] 909*2^1530895-1 is not prime. Res64: 3D6E536DCBFE972D Time : 0.0 sec. user=mdettweiler [2018-11-10 02:52:36] 793*2^1530895-1 is not prime. Res64: 1E66D678F55A5816 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:13:13] 677*2^1530896-1 is not prime. Res64: 1B4F8B53D2C82470 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:13:13] 803*2^1530896-1 is not prime. Res64: 894CB2E60EA450B4 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:13:14] 903*2^1530896-1 is not prime. Res64: 062C4850FE4B21D6 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:13:14] 917*2^1530896-1 is not prime. Res64: C76C831771FA74AC Time : 0.0 sec. user=mdettweiler [2018-11-10 03:13:15] 923*2^1530896-1 is not prime. Res64: B4B8DBC816199DCE Time : 0.0 sec. user=mdettweiler [2018-11-10 03:33:31] 627*2^1530897-1 is not prime. Res64: F83E31523AEB8060 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:33:34] 669*2^1530897-1 is not prime. Res64: 32706E7C1640F4C5 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:33:36] 691*2^1530897-1 is not prime. Res64: 87143635FB332A94 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:33:39] 747*2^1530897-1 is not prime. Res64: FBB23C3FA77EAD2B Time : 0.0 sec. user=mdettweiler [2018-11-10 03:33:43] 781*2^1530897-1 is not prime. Res64: 3EE06F059311BD6B Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:38] 745*2^1530899-1 is not prime. Res64: 6F07F46899015F12 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:41] 859*2^1530899-1 is not prime. Res64: 304289AAB62531BF Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:42] 903*2^1530899-1 is not prime. Res64: C06DD7385BA1031D Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:43] 871*2^1530897-1 is not prime. Res64: C86E7DC8FAFB2B60 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:46] 693*2^1530900-1 is not prime. Res64: 8345079598DEF0BA Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:46] 945*2^1530897-1 is not prime. Res64: A8E4FE9525212606 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:47] 699*2^1530900-1 is not prime. Res64: 776373E82678BC57 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:49] 765*2^1530898-1 is not prime. Res64: 643B3DF9517BD39D Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:50] 803*2^1530898-1 is not prime. Res64: 6F0D64EBF651B984 Time : 0.0 sec. user=mdettweiler [2018-11-10 03:43:52] 645*2^1530899-1 is not prime. Res64: E1F88657AA225737 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:04:28] 735*2^1530900-1 is not prime. Res64: BC53C2C559133204 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:04:33] 737*2^1530900-1 is not prime. Res64: 319A68D918AEF8D7 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:04:37] 753*2^1530900-1 is not prime. Res64: 53A18CB6B301A2E6 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:04:44] 857*2^1530900-1 is not prime. Res64: 4A2FEA378B2B9F49 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:04:52] 879*2^1530900-1 is not prime. Res64: AEA30A8060C90085 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:26:07] 741*2^1530901-1 is not prime. Res64: 71474D1CD47AB4E2 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:26:08] 847*2^1530901-1 is not prime. Res64: 00D1A179987E438A Time : 0.0 sec. user=mdettweiler [2018-11-10 04:26:09] 849*2^1530901-1 is not prime. Res64: 44EEEBF73ABCFD79 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:26:09] 889*2^1530901-1 is not prime. Res64: B013FC5F95434FCA Time : 0.0 sec. user=mdettweiler [2018-11-10 04:26:09] 945*2^1530901-1 is not prime. Res64: 532E91199170208E Time : 0.0 sec. user=mdettweiler [2018-11-10 04:34:58] 755*2^1530902-1 is not prime. Res64: CB1DB91F3D2F215E Time : 0.0 sec. user=mdettweiler [2018-11-10 04:34:59] 1001*2^1530902-1 is not prime. Res64: B1E48676A55AA554 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:34:59] 791*2^1530902-1 is not prime. Res64: 01F5D780D239FB3D Time : 0.0 sec. user=mdettweiler [2018-11-10 04:34:59] 827*2^1530902-1 is not prime. Res64: E431F913A1797EF5 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:35:00] 963*2^1530902-1 is not prime. Res64: 570BC1C52FCC1C8C Time : 0.0 sec. user=mdettweiler [2018-11-10 04:35:00] 615*2^1530903-1 is not prime. Res64: 645311BDAC2B86B3 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:35:01] 977*2^1530902-1 is not prime. Res64: 7BBBE7F03E0C1B2D Time : 0.0 sec. user=mdettweiler [2018-11-10 04:35:01] 663*2^1530903-1 is not prime. Res64: EA162FABBEBE7888 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:35:02] 739*2^1530903-1 is not prime. Res64: C31656EBAF77CD7B Time : 0.0 sec. user=mdettweiler [2018-11-10 04:35:02] 741*2^1530903-1 is not prime. Res64: BE8891D5C0983CB7 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:56:02] 775*2^1530903-1 is not prime. Res64: 3F6BBFD9BC40CEEF Time : 0.0 sec. user=mdettweiler [2018-11-10 04:56:03] 825*2^1530903-1 is not prime. Res64: 8577C4CAF717CB45 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:56:04] 849*2^1530903-1 is not prime. Res64: B3346F9F418C6314 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:56:04] 879*2^1530903-1 is not prime. Res64: 224AE7AE78401012 Time : 0.0 sec. user=mdettweiler [2018-11-10 04:56:05] 615*2^1530904-1 is not prime. Res64: 42F065B420D7BD10 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:17:20] 773*2^1530904-1 is not prime. Res64: 48582C8929F4F916 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:17:21] 807*2^1530904-1 is not prime. Res64: 147F9A30CA1A2318 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:17:21] 833*2^1530904-1 is not prime. Res64: 501935823E11A53A Time : 0.0 sec. user=mdettweiler [2018-11-10 05:17:22] 995*2^1530904-1 is not prime. Res64: F53386BBDCF29459 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:17:23] 607*2^1530905-1 is not prime. Res64: BF638BFE6D2BB04D Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:06] 713*2^1530906-1 is not prime. Res64: 44D27420BB7AFC13 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:06] 765*2^1530906-1 is not prime. Res64: 1F7B35A6FB24F15C Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:07] 833*2^1530906-1 is not prime. Res64: 6E9898A286428EF2 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:07] 861*2^1530906-1 is not prime. Res64: 80E1B94471F1A8D8 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:08] 789*2^1530905-1 is not prime. Res64: AFBCEE5E2A58C59A Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:08] 905*2^1530906-1 is not prime. Res64: 33C57CCA309C1259 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:08] 805*2^1530905-1 is not prime. Res64: 5BEC3E43CD39F935 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:09] 611*2^1530906-1 is not prime. Res64: 98FFE5A1EB3801BF Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:09] 683*2^1530906-1 is not prime. Res64: 845839EF7B88A462 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:26:10] 705*2^1530906-1 is not prime. Res64: F52B1EB75F8B2F4C Time : 0.0 sec. user=mdettweiler [2018-11-10 05:47:52] 947*2^1530906-1 is not prime. Res64: 2254898684800D99 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:47:52] 619*2^1530907-1 is not prime. Res64: CE6B4E480CB28B46 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:47:53] 645*2^1530907-1 is not prime. Res64: A6A5B25F90ECE295 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:47:53] 675*2^1530907-1 is not prime. Res64: C7FF690DECE75772 Time : 0.0 sec. user=mdettweiler [2018-11-10 05:47:53] 691*2^1530907-1 is not prime. Res64: 291CDA5622A29DE8 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:08:22] 913*2^1530907-1 is not prime. Res64: BED0B5F11CE18CB2 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:08:24] 961*2^1530907-1 is not prime. Res64: 67C9BF077D8CDA39 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:08:26] 617*2^1530908-1 is not prime. Res64: 096F9D0841E9B544 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:08:26] 633*2^1530908-1 is not prime. Res64: 48EC6A44242D7B38 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:08:27] 897*2^1530908-1 is not prime. Res64: E3CE63A8422391BA Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:01] 923*2^1530908-1 is not prime. Res64: 47FC836CFA482420 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:01] 957*2^1530908-1 is not prime. Res64: 2843CCF1B4EDB0C9 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:01] 959*2^1530908-1 is not prime. Res64: 2D59EA0AB404ADC1 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:02] 987*2^1530908-1 is not prime. Res64: 0E6E5E8EFEEE6857 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:02] 993*2^1530908-1 is not prime. Res64: E68DB37D6033B421 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:22] 995*2^1530908-1 is not prime. Res64: 224E33F0FF592F0B Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:22] 999*2^1530908-1 is not prime. Res64: 707351C5FD9F958C Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:22] 621*2^1530909-1 is not prime. Res64: AD6BD08B08299CBA Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:22] 679*2^1530909-1 is not prime. Res64: A2EFC25E30617697 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:17:23] 747*2^1530909-1 is not prime. Res64: 4664645DF2AA1911 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:38:50] 789*2^1530909-1 is not prime. Res64: 37C89CD60121CC0E Time : 0.0 sec. user=mdettweiler [2018-11-10 06:38:50] 817*2^1530909-1 is not prime. Res64: 19CFC8C779ACD3DD Time : 0.0 sec. user=mdettweiler [2018-11-10 06:38:51] 945*2^1530909-1 is not prime. Res64: B4C3AFDD6AC0E1D5 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:38:51] 645*2^1530910-1 is not prime. Res64: 9BC2262B0A1A4D35 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:38:51] 713*2^1530910-1 is not prime. Res64: 382D24219D4C3AB5 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:59:28] 801*2^1530910-1 is not prime. Res64: A8C50C886A0E3E1A Time : 0.0 sec. user=mdettweiler [2018-11-10 06:59:28] 703*2^1530911-1 is not prime. Res64: B834729DDF62D1CA Time : 0.0 sec. user=mdettweiler [2018-11-10 06:59:28] 759*2^1530911-1 is not prime. Res64: AA0948731F7FDB27 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:59:28] 789*2^1530911-1 is not prime. Res64: 3F6952DDC14CC9F8 Time : 0.0 sec. user=mdettweiler [2018-11-10 06:59:29] 895*2^1530911-1 is not prime. Res64: 5AE23E996531B388 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:09] 727*2^1530913-1 is not prime. Res64: A3986A1C430F7F08 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:10] 747*2^1530913-1 is not prime. Res64: 4C24C5BCCFD47D65 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:10] 765*2^1530913-1 is not prime. Res64: C1F23AA82D8D2AFB Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:10] 775*2^1530913-1 is not prime. Res64: 9CBFD4C3387A094F Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:10] 801*2^1530913-1 is not prime. Res64: CF2740521432241B Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:11] 909*2^1530911-1 is not prime. Res64: CDC32D5172301AEB Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:12] 939*2^1530911-1 is not prime. Res64: 70E1FE7E653885ED Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:12] 863*2^1530912-1 is not prime. Res64: ECD6FE39CE598403 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:12] 639*2^1530913-1 is not prime. Res64: F2C6B6ADE674C553 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:08:13] 681*2^1530913-1 is not prime. Res64: 86A1AB73DF7C8F30 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:29:42] 805*2^1530913-1 is not prime. Res64: 2BEE5A2749EB94A3 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:29:42] 817*2^1530913-1 is not prime. Res64: 00308C0C9A3E440D Time : 0.0 sec. user=mdettweiler [2018-11-10 07:29:43] 855*2^1530913-1 is not prime. Res64: B21C322A71011E66 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:29:43] 915*2^1530913-1 is not prime. Res64: 9CEE5485BC8EF400 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:29:43] 999*2^1530913-1 is not prime. Res64: B7161E79E5D2410B Time : 0.0 sec. user=mdettweiler [2018-11-10 07:50:27] 635*2^1530914-1 is not prime. Res64: 491722B27FA161A6 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:50:28] 743*2^1530914-1 is not prime. Res64: CD872441601789A7 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:50:29] 773*2^1530914-1 is not prime. Res64: 64BBF90D79755B43 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:50:29] 915*2^1530914-1 is not prime. Res64: F6B3132A54847376 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:50:30] 953*2^1530914-1 is not prime. Res64: C31E41103FDF7E27 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:05] 971*2^1530914-1 is not prime. Res64: 3E577524614FC814 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:05] 981*2^1530914-1 is not prime. Res64: 771B59135B437061 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:05] 987*2^1530914-1 is not prime. Res64: 7D0F866BCEBAFA29 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:06] 1001*2^1530914-1 is not prime. Res64: 6C59E0AD6A28FDD0 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:06] 619*2^1530915-1 is not prime. Res64: BB9EC606FB9A8583 Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:14] 723*2^1530915-1 is not prime. Res64: 6F5BDA7B0637BC4E Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:15] 795*2^1530915-1 is not prime. Res64: E0150D73DC23A12E Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:15] 805*2^1530915-1 is not prime. Res64: A3A75BAA3E218A1D Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:15] 849*2^1530915-1 is not prime. Res64: 6761BCEB1E4F5CDF Time : 0.0 sec. user=mdettweiler [2018-11-10 07:59:15] 891*2^1530915-1 is not prime. Res64: B41E60B670067BE2 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:20:40] 689*2^1530916-1 is not prime. Res64: D3BFC13183237FD5 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:20:40] 869*2^1530916-1 is not prime. Res64: E8002BCA2F72FB57 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:20:41] 965*2^1530916-1 is not prime. Res64: 8B6194B463AD06A3 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:20:41] 999*2^1530916-1 is not prime. Res64: BBCE7B7BB4A702C9 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:20:42] 717*2^1530917-1 is not prime. Res64: 14A36D1AC10D86DE Time : 0.0 sec. user=mdettweiler [2018-11-10 08:41:33] 825*2^1530917-1 is not prime. Res64: 609AC9D4DA61C06C Time : 0.0 sec. user=mdettweiler [2018-11-10 08:41:33] 861*2^1530917-1 is not prime. Res64: 23816DF7E6CD0FC9 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:41:34] 901*2^1530917-1 is not prime. Res64: 043F2F86BD7DA738 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:41:34] 931*2^1530917-1 is not prime. Res64: 0E9F0600EFA569C2 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:41:34] 737*2^1530918-1 is not prime. Res64: A8285287046DBF61 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:07] 601*2^1530919-1 is not prime. Res64: CB4100E056A9D58B Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:07] 661*2^1530919-1 is not prime. Res64: 976926A857B95591 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:08] 723*2^1530919-1 is not prime. Res64: 4B25307D1CEB43F7 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:08] 729*2^1530919-1 is not prime. Res64: 104088E40D0B89F7 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:08] 833*2^1530918-1 is not prime. Res64: 3CC7188586A3C06A Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:08] 741*2^1530919-1 is not prime. Res64: 39DD303341FFB73F Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:09] 885*2^1530918-1 is not prime. Res64: BB84F5969F41ECCB Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:09] 921*2^1530918-1 is not prime. Res64: 87D740666EF79024 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:09] 945*2^1530918-1 is not prime. Res64: 19F7E4E0C8E363E8 Time : 0.0 sec. user=mdettweiler [2018-11-10 08:50:10] 977*2^1530918-1 is not prime. Res64: 2FEDB6CC7DD2D8DF Time : 0.0 sec. user=mdettweiler [2018-11-10 09:11:27] 811*2^1530919-1 is not prime. Res64: 6D32875336F51765 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:11:27] 925*2^1530919-1 is not prime. Res64: D3C9045D4C0589C2 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:11:28] 677*2^1530920-1 is not prime. Res64: F8D62E2F28E11659 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:11:28] 687*2^1530920-1 is not prime. Res64: 2B21743E5BE930CA Time : 0.0 sec. user=mdettweiler [2018-11-10 09:11:29] 713*2^1530920-1 is not prime. Res64: 9A1A8A395FE9B41A Time : 0.0 sec. user=mdettweiler [2018-11-10 09:32:27] 717*2^1530920-1 is not prime. Res64: 2D0D23B881AF1090 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:32:30] 759*2^1530920-1 is not prime. Res64: ECF06CB1BACBD2B4 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:32:30] 839*2^1530920-1 is not prime. Res64: 0BE6D2823A5E70E1 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:32:30] 983*2^1530920-1 is not prime. Res64: 1C6AA2FC13D62DF9 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:32:31] 995*2^1530920-1 is not prime. Res64: 33DCF7BDB4F8EFC7 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:40:55] 877*2^1530921-1 is not prime. Res64: 54978A187A6460D2 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:40:56] 921*2^1530921-1 is not prime. Res64: 0A38381F24E686D3 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:40:56] 975*2^1530921-1 is not prime. Res64: F3222191D3F91387 Time : 0.0 sec. user=mdettweiler [2018-11-10 09:40:56] 991*2^1530921-1 is not prime. Res64: F14918AEB8C8DEEF Time : 0.0 sec. user=mdettweiler [2018-11-10 09:40:57] 705*2^1530922-1 is not prime. Res64: BD89B3BC03F1552C Time : 0.0 sec. user=mdettweiler [2018-11-10 09:41:37] 625*2^1530921-1 is not prime. Res64: B2EDB3DF9C4EEAF4 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:02:45] 743*2^1530922-1 is not prime. Res64: B4DA64AD7AED727C Time : 0.0 sec. user=mdettweiler [2018-11-10 10:02:48] 803*2^1530922-1 is not prime. Res64: 447E8000F071BB0E Time : 0.0 sec. user=mdettweiler [2018-11-10 10:02:51] 873*2^1530922-1 is not prime. Res64: 00BCDAC25356A3AB Time : 0.0 sec. user=mdettweiler [2018-11-10 10:02:52] 945*2^1530922-1 is not prime. Res64: FAC9876F085BC4FE Time : 0.0 sec. user=mdettweiler [2018-11-10 10:02:55] 871*2^1530923-1 is not prime. Res64: E31DFCF244ECA696 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:24:06] 939*2^1530923-1 is not prime. Res64: A810C3856AB7E523 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:24:06] 943*2^1530923-1 is not prime. Res64: 2E064ABC002BBD18 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:24:06] 945*2^1530923-1 is not prime. Res64: D365A3AC180AB05C Time : 0.0 sec. user=mdettweiler [2018-11-10 10:24:07] 955*2^1530923-1 is not prime. Res64: 533C2AD752944367 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:24:07] 985*2^1530923-1 is not prime. Res64: D7421DB7AB4DC34D Time : 0.0 sec. user=mdettweiler [2018-11-10 10:33:50] 605*2^1530924-1 is not prime. Res64: 5778975E74DCA421 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:33:50] 639*2^1530924-1 is not prime. Res64: 8B04A440E1BDF4DA Time : 0.0 sec. user=mdettweiler [2018-11-10 10:33:51] 723*2^1530924-1 is not prime. Res64: B8CDEE25D1FEB9D4 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:33:51] 753*2^1530924-1 is not prime. Res64: C2539F37C12680A2 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:33:51] 759*2^1530924-1 is not prime. Res64: 76450A79A7A8A235 Time : 0.0 sec. user=mdettweiler [2018-11-10 10:55:57] 873*2^1530924-1 is not prime. Res64: 71987FBC5C3B3D8A Time : 0.0 sec. user=mdettweiler [2018-11-10 10:55:58] 927*2^1530924-1 is not prime. Res64: AD621CD99C272B0C Time : 0.0 sec. user=mdettweiler [2018-11-10 10:55:58] 929*2^1530924-1 is not prime. Res64: AA218102D149E66F Time : 0.0 sec. user=mdettweiler [2018-11-10 10:55:59] 687*2^1530925-1 is not prime. Res64: 556883A020A711DC Time : 0.0 sec. user=mdettweiler [2018-11-10 10:55:59] 751*2^1530925-1 is not prime. Res64: 0BF70E5C8E617562 Time : 0.0 sec. user=mdettweiler [2018-11-10 11:16:38] 759*2^1530925-1 is not prime. Res64: C480DF951779B3BB Time : 0.0 sec. user=mdettweiler [2018-11-10 11:16:38] 771*2^1530925-1 is not prime. Res64: C97413387A63157E Time : 0.0 sec. user=mdettweiler [2018-11-10 11:16:39] 805*2^1530925-1 is not prime. Res64: 07B4D9769A0F5E90 Time : 0.0 sec. user=mdettweiler [2018-11-10 11:16:39] 871*2^1530925-1 is not prime. Res64: 1C6D125E7F862321 Time : 0.0 sec. user=mdettweiler [2018-11-10 11:16:40] 987*2^1530925-1 is not prime. Res64: C99877E29EFF8CDA Time : 0.0 sec. user=mdettweiler [2018-11-10 11:26:07] 963*2^1530926-1 is not prime. Res64: 646A9BA686E206A3 Time : 0.0 sec. user=mdettweiler [2018-11-10 11:26:07] 651*2^1530927-1 is not prime. Res64: C7F0F26E5C3B3868 Time : 0.0 sec. user=mdettweiler [2018-11-10 11:26:07] 703*2^1530927-1 is not prime. Res64: BF2DEC8C19B5A51A Time : 0.0 sec. user=mdettweiler [2018-11-10 11:26:08] 781*2^1530927-1 is not prime. Res64: 1E75D6C892442CBD Time : 0.0 sec. user=mdettweiler [2018-11-10 11:26:08] 615*2^1530928-1 is not prime. Res64: 80694CC37317FB9C Time : 0.0 sec. user=mdettweiler [2018-11-10 11:47:40] 723*2^1530928-1 is not prime. Res64: 64D80B0B70755C65 Time : 0.0 sec. user=mdettweiler [2018-11-10 11:47:49] 735*2^1530928-1 is not prime. Res64: D83643196FB9CB6A Time : 0.0 sec. user=mdettweiler [2018-11-10 11:47:50] 819*2^1530928-1 is not prime. Res64: B1AE887F97D95EEF Time : 0.0 sec. user=mdettweiler [2018-11-10 11:47:51] 839*2^1530928-1 is not prime. Res64: CC586F098D1909F0 Time : 0.0 sec. user=mdettweiler [2018-11-10 11:47:52] 863*2^1530928-1 is not prime. Res64: 79848B6FAC527C3C Time : 0.0 sec. user=mdettweiler [2018-11-10 12:09:23] 875*2^1530928-1 is not prime. Res64: 2D6B7BB57A299894 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:09:24] 675*2^1530929-1 is not prime. Res64: BD67BF34EE961A45 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:09:24] 691*2^1530929-1 is not prime. Res64: 66627871B5CDDE7F Time : 0.0 sec. user=mdettweiler [2018-11-10 12:09:24] 705*2^1530929-1 is not prime. Res64: CD5E7423D6A0CD4C Time : 0.0 sec. user=mdettweiler [2018-11-10 12:09:25] 741*2^1530929-1 is not prime. Res64: 33C715342787E006 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:28:42] 819*2^1530929-1 is not prime. Res64: 8B0587C3CC8006F8 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:28:42] 955*2^1530929-1 is not prime. Res64: 01DE8117A29D3211 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:28:42] 665*2^1530930-1 is not prime. Res64: DD0BDA8D277E84EA Time : 0.0 sec. user=mdettweiler [2018-11-10 12:28:43] 677*2^1530930-1 is not prime. Res64: 9E4716B356F1302C Time : 0.0 sec. user=mdettweiler [2018-11-10 12:28:43] 695*2^1530930-1 is not prime. Res64: 1BCB97783C9071F8 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:41:05] 723*2^1530930-1 is not prime. Res64: 68C989A228D5F97B Time : 0.0 sec. user=mdettweiler [2018-11-10 12:41:05] 825*2^1530930-1 is not prime. Res64: 62CBC94DD2696B99 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:41:05] 927*2^1530930-1 is not prime. Res64: 70AB256AEC5CBD7D Time : 0.0 sec. user=mdettweiler [2018-11-10 12:41:06] 615*2^1530931-1 is not prime. Res64: 8AD413239BD72096 Time : 0.0 sec. user=mdettweiler [2018-11-10 12:41:07] 631*2^1530931-1 is not prime. Res64: FC03AA3017FE578D Time : 0.0 sec. user=mdettweiler [2018-11-10 13:02:04] 645*2^1530931-1 is not prime. Res64: 2265A3636730CEB0 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:02:06] 741*2^1530931-1 is not prime. Res64: 729511D0692057B0 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:02:07] 859*2^1530931-1 is not prime. Res64: 6B39F3A466D93268 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:02:08] 861*2^1530931-1 is not prime. Res64: 7C4AA34CE4517B35 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:02:10] 901*2^1530931-1 is not prime. Res64: 374DA9CD831F4FB9 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:09:16] 661*2^1530921-1 is not prime. Res64: CCD13CEF90DF0B96 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:09:16] 685*2^1530921-1 is not prime. Res64: 6F69E6165C760117 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:09:17] 691*2^1530921-1 is not prime. Res64: E943C59FFC508269 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:09:17] 781*2^1530921-1 is not prime. Res64: 24F5622F255759DF Time : 0.0 sec. user=mdettweiler [2018-11-10 13:20:36] 931*2^1530931-1 is not prime. Res64: 5A485E16061A0D5B Time : 0.0 sec. user=mdettweiler [2018-11-10 13:20:36] 969*2^1530931-1 is not prime. Res64: 03DB8E04172FF942 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:20:36] 993*2^1530931-1 is not prime. Res64: 8206B9D3EB02DC6B Time : 0.0 sec. user=mdettweiler [2018-11-10 13:20:37] 635*2^1530932-1 is not prime. Res64: 436A9CC9AC45139B Time : 0.0 sec. user=mdettweiler [2018-11-10 13:20:37] 689*2^1530932-1 is not prime. Res64: F9DE1BA4322FDD71 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:32:39] 735*2^1530932-1 is not prime. Res64: 90DC366B558CFF2F Time : 0.0 sec. user=mdettweiler [2018-11-10 13:32:41] 825*2^1530932-1 is not prime. Res64: 5369B8438FF8E460 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:32:42] 855*2^1530932-1 is not prime. Res64: 5879E87F63366E66 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:32:43] 885*2^1530932-1 is not prime. Res64: F58B21CD13031731 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:32:44] 625*2^1530933-1 is not prime. Res64: 3CCCD363C506289C Time : 0.0 sec. user=mdettweiler [2018-11-10 13:53:27] 795*2^1530933-1 is not prime. Res64: E7F14BA403F4E1E3 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:53:28] 829*2^1530933-1 is not prime. Res64: B9588D03FEAB71AC Time : 0.0 sec. user=mdettweiler [2018-11-10 13:53:28] 835*2^1530933-1 is not prime. Res64: 548F46E1C633510F Time : 0.0 sec. user=mdettweiler [2018-11-10 13:53:28] 885*2^1530933-1 is not prime. Res64: 17060F72E0F2D328 Time : 0.0 sec. user=mdettweiler [2018-11-10 13:53:29] 747*2^1530934-1 is not prime. Res64: 6812DCB6406D3BA6 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:00:34] 915*2^1530934-1 is not prime. Res64: 2C222627F5E8B0D7 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:00:36] 923*2^1530934-1 is not prime. Res64: 31AD24AC9861C53B Time : 0.0 sec. user=mdettweiler [2018-11-10 14:00:37] 951*2^1530934-1 is not prime. Res64: 6CC2090DA116AEAE Time : 0.0 sec. user=mdettweiler [2018-11-10 14:00:38] 649*2^1530935-1 is not prime. Res64: C7B40EE28D09AE9E Time : 0.0 sec. user=mdettweiler [2018-11-10 14:00:40] 693*2^1530935-1 is not prime. Res64: ADE9E58F8F8D3A2E Time : 0.0 sec. user=mdettweiler [2018-11-10 14:11:33] 799*2^1530935-1 is not prime. Res64: 3A89F4138235D181 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:11:34] 909*2^1530935-1 is not prime. Res64: 78C827430E415531 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:11:35] 949*2^1530935-1 is not prime. Res64: A9374AB8F033F93A Time : 0.0 sec. user=mdettweiler [2018-11-10 14:11:36] 615*2^1530936-1 is not prime. Res64: 13C8E49F495D7A4C Time : 0.0 sec. user=mdettweiler [2018-11-10 14:11:37] 747*2^1530936-1 is not prime. Res64: C035F0E894E791F5 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:23:47] 843*2^1530936-1 is not prime. Res64: 677822014F6B6023 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:23:48] 899*2^1530936-1 is not prime. Res64: 7A46FE87E3B4950C Time : 0.0 sec. user=mdettweiler [2018-11-10 14:23:48] 993*2^1530936-1 is not prime. Res64: E876D5A37F9798FF Time : 0.0 sec. user=mdettweiler [2018-11-10 14:23:48] 601*2^1530937-1 is not prime. Res64: 65B4129241FBD5AD Time : 0.0 sec. user=mdettweiler [2018-11-10 14:23:49] 619*2^1530937-1 is not prime. Res64: EDC60CDB1F9DC765 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:44:24] 717*2^1530937-1 is not prime. Res64: E4F8BC187FD5BE57 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:44:24] 805*2^1530937-1 is not prime. Res64: 9369607AED0AA315 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:44:24] 633*2^1530938-1 is not prime. Res64: 84EF6E73A5DFD15E Time : 0.0 sec. user=mdettweiler [2018-11-10 14:44:25] 707*2^1530938-1 is not prime. Res64: A69DD710F8A6B0A6 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:44:25] 711*2^1530938-1 is not prime. Res64: 3F84835F29E86CFC Time : 0.0 sec. user=mdettweiler [2018-11-10 14:51:31] 753*2^1530938-1 is not prime. Res64: 5417A693996D0BCA Time : 0.0 sec. user=mdettweiler [2018-11-10 14:51:31] 773*2^1530938-1 is not prime. Res64: FEB1A4C1D5B848B1 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:51:32] 867*2^1530938-1 is not prime. Res64: 48488030728F3A98 Time : 0.0 sec. user=mdettweiler [2018-11-10 14:51:32] 887*2^1530938-1 is not prime. Res64: 8756ADB4C6EA735A Time : 0.0 sec. user=mdettweiler [2018-11-10 14:51:32] 923*2^1530938-1 is not prime. Res64: FC5CA5454229B6D5 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:02:36] 945*2^1530938-1 is not prime. Res64: 2F9299D8F26738C2 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:02:37] 621*2^1530939-1 is not prime. Res64: 454AAEEA967925B8 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:02:37] 675*2^1530939-1 is not prime. Res64: BF20B10976C10350 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:02:38] 741*2^1530939-1 is not prime. Res64: 622EAB792492C664 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:02:40] 895*2^1530939-1 is not prime. Res64: 7DC295C8CBEE9090 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:15:02] 903*2^1530939-1 is not prime. Res64: A691A170DBE38235 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:15:06] 919*2^1530939-1 is not prime. Res64: 3DDC506EFB430EBB Time : 0.0 sec. user=mdettweiler [2018-11-10 15:15:07] 921*2^1530939-1 is not prime. Res64: 38B20FDE7335237A Time : 0.0 sec. user=mdettweiler [2018-11-10 15:15:09] 677*2^1530940-1 is not prime. Res64: 73ABC1DA44BB0F3A Time : 0.0 sec. user=mdettweiler [2018-11-10 15:15:10] 695*2^1530940-1 is not prime. Res64: D1B10405AC10D431 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:36:25] 717*2^1530940-1 is not prime. Res64: B816CE9EE3DE8A5A Time : 0.0 sec. user=mdettweiler [2018-11-10 15:36:26] 833*2^1530940-1 is not prime. Res64: 7A9AE2E58FEFFC67 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:36:26] 965*2^1530940-1 is not prime. Res64: 2DDE683CA7315BEF Time : 0.0 sec. user=mdettweiler [2018-11-10 15:36:26] 627*2^1530941-1 is not prime. Res64: E805FC9014E685E6 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:36:27] 675*2^1530941-1 is not prime. Res64: B36F5F1FB45827D6 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:44:04] 691*2^1530941-1 is not prime. Res64: B87D07C9D778F55F Time : 0.0 sec. user=mdettweiler [2018-11-10 15:44:05] 769*2^1530941-1 is not prime. Res64: D90A25AF2BCC97E4 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:44:05] 825*2^1530941-1 is not prime. Res64: 00DF1AE52CF80622 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:44:05] 945*2^1530941-1 is not prime. Res64: 0308816E69EE1F1B Time : 0.0 sec. user=mdettweiler [2018-11-10 15:44:06] 967*2^1530941-1 is not prime. Res64: 63A672867BB1114C Time : 0.0 sec. user=mdettweiler [2018-11-10 15:55:23] 621*2^1530942-1 is not prime. Res64: 729C53FC679530FF Time : 0.0 sec. user=mdettweiler [2018-11-10 15:55:24] 635*2^1530942-1 is not prime. Res64: 829A51024429571E Time : 0.0 sec. user=mdettweiler [2018-11-10 15:55:25] 713*2^1530942-1 is not prime. Res64: 6E815349151A2A98 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:55:26] 717*2^1530942-1 is not prime. Res64: A5B7BE2533264574 Time : 0.0 sec. user=mdettweiler [2018-11-10 15:55:26] 723*2^1530942-1 is not prime. Res64: 199C968B2E4D977B Time : 0.0 sec. user=mdettweiler [2018-11-10 16:08:21] 755*2^1530942-1 is not prime. Res64: 57FAC4564683E99B Time : 0.0 sec. user=mdettweiler [2018-11-10 16:08:21] 765*2^1530942-1 is not prime. Res64: 238A55D319F08E0B Time : 0.0 sec. user=mdettweiler [2018-11-10 16:08:22] 807*2^1530942-1 is not prime. Res64: 871000C0F49CC515 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:08:22] 815*2^1530942-1 is not prime. Res64: 7DADBC24AA59E1DE Time : 0.0 sec. user=mdettweiler [2018-11-10 16:08:22] 965*2^1530942-1 is not prime. Res64: CC5ABB3E1E449F44 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:28:51] 625*2^1530943-1 is not prime. Res64: 63D5CDA56D245681 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:28:51] 763*2^1530943-1 is not prime. Res64: E919AE420CB252C5 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:28:52] 783*2^1530943-1 is not prime. Res64: E4C584EB77A4C7A8 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:28:52] 805*2^1530943-1 is not prime. Res64: FF3BCD0757D70E2D Time : 0.0 sec. user=mdettweiler [2018-11-10 16:28:52] 885*2^1530943-1 is not prime. Res64: 887C1A2B67579FBB Time : 0.0 sec. user=mdettweiler [2018-11-10 16:36:38] 945*2^1530943-1 is not prime. Res64: B7C0826D043AE40A Time : 0.0 sec. user=mdettweiler [2018-11-10 16:36:39] 973*2^1530943-1 is not prime. Res64: 95E005060905B3A4 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:36:39] 623*2^1530944-1 is not prime. Res64: B555BE778E878561 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:36:39] 635*2^1530944-1 is not prime. Res64: 4DDF01A5DB35485F Time : 0.0 sec. user=mdettweiler [2018-11-10 16:36:40] 855*2^1530944-1 is not prime. Res64: 7A695DDC72C49465 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:48:23] 667*2^1530945-1 is not prime. Res64: 874EFDFDED6583DF Time : 0.0 sec. user=mdettweiler [2018-11-10 16:48:23] 741*2^1530945-1 is not prime. Res64: E0C4C82CA491F2D8 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:48:24] 867*2^1530945-1 is not prime. Res64: B7EA9CD2DA702197 Time : 0.0 sec. user=mdettweiler [2018-11-10 16:48:25] 889*2^1530945-1 is not prime. Res64: D6BC7A3CDD0F20FF Time : 0.0 sec. user=mdettweiler [2018-11-10 16:48:26] 891*2^1530945-1 is not prime. Res64: 43A7765B72CAAEB9 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:03:24] 915*2^1530945-1 is not prime. Res64: 8C70F934FDACD283 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:03:25] 985*2^1530945-1 is not prime. Res64: 38B1E8855C8238C5 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:03:27] 675*2^1530946-1 is not prime. Res64: A05E6ED0DF010D18 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:03:28] 765*2^1530946-1 is not prime. Res64: 8F432D475081E269 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:03:29] 777*2^1530946-1 is not prime. Res64: 71E8D398053E9BC1 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:23:16] 867*2^1530946-1 is not prime. Res64: C5235C566CE5C900 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:23:16] 887*2^1530946-1 is not prime. Res64: C8FB31F97D5E9FDA Time : 0.0 sec. user=mdettweiler [2018-11-10 17:23:17] 923*2^1530946-1 is not prime. Res64: 82BAE7696C85C316 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:23:17] 663*2^1530947-1 is not prime. Res64: 0C7F9E413405D511 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:23:18] 693*2^1530947-1 is not prime. Res64: 421767BBAD02F777 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:31:26] 861*2^1530947-1 is not prime. Res64: 9943846C442DBDF4 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:31:26] 885*2^1530947-1 is not prime. Res64: 45B01C58F3010F2D Time : 0.0 sec. user=mdettweiler [2018-11-10 17:31:27] 635*2^1530948-1 is not prime. Res64: 5656D2C0A22ED4FC Time : 0.0 sec. user=mdettweiler [2018-11-10 17:31:27] 825*2^1530948-1 is not prime. Res64: E34D35652B1C4350 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:31:27] 915*2^1530948-1 is not prime. Res64: D94F23E9DBB86790 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:42:43] 675*2^1530949-1 is not prime. Res64: C0E7F6B0B82CC4F8 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:42:43] 729*2^1530949-1 is not prime. Res64: 161A8C4AEA4C1750 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:42:43] 751*2^1530949-1 is not prime. Res64: A02F3EB75542CC9A Time : 0.0 sec. user=mdettweiler [2018-11-10 17:42:43] 861*2^1530949-1 is not prime. Res64: C096935F988A5EED Time : 0.0 sec. user=mdettweiler [2018-11-10 17:42:44] 927*2^1530949-1 is not prime. Res64: BE08E2C2AB78EB53 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:55:59] 975*2^1530949-1 is not prime. Res64: E0F4BA4C7171FB0E Time : 0.0 sec. user=mdettweiler [2018-11-10 17:55:59] 603*2^1530950-1 is not prime. Res64: 205E917E8B60CF22 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:55:59] 665*2^1530950-1 is not prime. Res64: C1712FAB8DE81E3C Time : 0.0 sec. user=mdettweiler [2018-11-10 17:56:00] 671*2^1530950-1 is not prime. Res64: FCF1A995E5AFAA20 Time : 0.0 sec. user=mdettweiler [2018-11-10 17:56:00] 885*2^1530950-1 is not prime. Res64: ECACEFAE81F3C1A1 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:15:08] 897*2^1530950-1 is not prime. Res64: C02468C150EDF453 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:15:08] 625*2^1530951-1 is not prime. Res64: 08A8EBCF4F023B9D Time : 0.0 sec. user=mdettweiler [2018-11-10 18:15:09] 649*2^1530951-1 is not prime. Res64: 4FA71AB29AA91471 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:15:09] 669*2^1530951-1 is not prime. Res64: 696700F3DD5EE54F Time : 0.0 sec. user=mdettweiler [2018-11-10 18:15:09] 691*2^1530951-1 is not prime. Res64: 83AF106BD4DB956C Time : 0.0 sec. user=mdettweiler [2018-11-10 18:22:43] 705*2^1530951-1 is not prime. Res64: DB97727030C95F1E Time : 0.0 sec. user=mdettweiler [2018-11-10 18:22:43] 735*2^1530951-1 is not prime. Res64: 625CC3B51A046A39 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:22:43] 739*2^1530951-1 is not prime. Res64: 4DB06CD61A7CBB21 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:22:44] 949*2^1530951-1 is not prime. Res64: E0E9849C7F8A2701 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:22:44] 735*2^1530952-1 is not prime. Res64: A9F6A309A6EB0A67 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:33:38] 797*2^1530952-1 is not prime. Res64: 2C8AAF449FCBA2A4 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:33:39] 917*2^1530952-1 is not prime. Res64: D94434D53DDB99CE Time : 0.0 sec. user=mdettweiler [2018-11-10 18:33:39] 965*2^1530952-1 is not prime. Res64: 34F7B0685D3DCDC2 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:33:39] 975*2^1530952-1 is not prime. Res64: 77756D0CE22B7D2D Time : 0.0 sec. user=mdettweiler [2018-11-10 18:33:40] 729*2^1530953-1 is not prime. Res64: 7C14E2FC180721F7 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:47:03] 985*2^1530953-1 is not prime. Res64: DE0A27B3AF028B81 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:47:03] 663*2^1530954-1 is not prime. Res64: 5D40AF473399E2A9 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:47:03] 791*2^1530954-1 is not prime. Res64: 493AD970AD48CC40 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:47:03] 807*2^1530954-1 is not prime. Res64: 6EC5BE6C4887E697 Time : 0.0 sec. user=mdettweiler [2018-11-10 18:47:04] 833*2^1530954-1 is not prime. Res64: B2CA480A78A09FE0 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:06:15] 603*2^1530955-1 is not prime. Res64: 5C21C5FF05914E8A Time : 0.0 sec. user=mdettweiler [2018-11-10 19:06:18] 619*2^1530955-1 is not prime. Res64: E8F9C9232A1071B4 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:06:19] 759*2^1530955-1 is not prime. Res64: DB501876C0868FC8 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:06:20] 885*2^1530955-1 is not prime. Res64: 902B9229FD3D31D0 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:06:21] 985*2^1530955-1 is not prime. Res64: 97084199064767FC Time : 0.0 sec. user=mdettweiler [2018-11-10 19:13:46] 647*2^1530956-1 is not prime. Res64: 13C171DB358B1A3E Time : 0.0 sec. user=mdettweiler [2018-11-10 19:13:47] 657*2^1530956-1 is not prime. Res64: 07E39A6DB3C716A2 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:13:48] 873*2^1530956-1 is not prime. Res64: 1E4C43CDF8DB2370 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:13:48] 945*2^1530956-1 is not prime. Res64: 06A608824A07E3EA Time : 0.0 sec. user=mdettweiler [2018-11-10 19:13:49] 655*2^1530957-1 is not prime. Res64: A6B8A10D2E4FE8E7 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:24:27] 741*2^1530957-1 is not prime. Res64: C33E9EA09EA8B547 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:24:27] 765*2^1530957-1 is not prime. Res64: B05E70949CD8AF49 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:24:27] 825*2^1530957-1 is not prime. Res64: 0C2E53C2265003F0 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:24:28] 889*2^1530957-1 is not prime. Res64: 51B23C835606C2F7 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:24:28] 891*2^1530957-1 is not prime. Res64: 3719346FFF3BFE91 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:38:03] 955*2^1530957-1 is not prime. Res64: 14B3BC5F05BB2FBB Time : 0.0 sec. user=mdettweiler [2018-11-10 19:38:04] 979*2^1530957-1 is not prime. Res64: AB50B965E021FCAF Time : 0.0 sec. user=mdettweiler [2018-11-10 19:38:05] 603*2^1530958-1 is not prime. Res64: 247DFE24171A4784 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:38:07] 605*2^1530958-1 is not prime. Res64: 9B18E5286098FA31 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:38:07] 897*2^1530958-1 is not prime. Res64: 09EB926F771221BD Time : 0.0 sec. user=mdettweiler [2018-11-10 19:57:54] 995*2^1530958-1 is not prime. Res64: 9DA85395FBDA6696 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:57:55] 601*2^1530959-1 is not prime. Res64: D68794291F1341FE Time : 0.0 sec. user=mdettweiler [2018-11-10 19:57:56] 619*2^1530959-1 is not prime. Res64: 30645727EC1F6B5E Time : 0.0 sec. user=mdettweiler [2018-11-10 19:57:57] 645*2^1530959-1 is not prime. Res64: 746F2F792D2EA7D8 Time : 0.0 sec. user=mdettweiler [2018-11-10 19:57:58] 663*2^1530959-1 is not prime. Res64: F0F026965D775572 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:04:46] 859*2^1530959-1 is not prime. Res64: AEA67F503C53D7F5 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:04:48] 609*2^1530960-1 is not prime. Res64: 94112041DF387544 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:04:49] 725*2^1530960-1 is not prime. Res64: 9C5DE5E0CC260964 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:04:50] 789*2^1530961-1 is not prime. Res64: ED610DEC39632C25 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:04:51] 799*2^1530961-1 is not prime. Res64: 1E6A791D78700FD6 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:15:44] 817*2^1530961-1 is not prime. Res64: E8E58FCB47646680 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:15:45] 945*2^1530961-1 is not prime. Res64: 81229E16259EBBE7 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:15:45] 979*2^1530961-1 is not prime. Res64: A872CA2EE45FBD57 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:15:46] 997*2^1530961-1 is not prime. Res64: E398C713A9FDADB1 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:15:46] 999*2^1530961-1 is not prime. Res64: B29C4D6FA918980E Time : 0.0 sec. user=mdettweiler [2018-11-10 20:30:54] 683*2^1530962-1 is not prime. Res64: E45F6BFCE370DE76 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:30:55] 705*2^1530962-1 is not prime. Res64: 65246B1B664B3169 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:30:55] 731*2^1530962-1 is not prime. Res64: FAFFB9B9C74CEE9F Time : 0.0 sec. user=mdettweiler [2018-11-10 20:30:55] 921*2^1530962-1 is not prime. Res64: 3BCE2B8C4585AC1E Time : 0.0 sec. user=mdettweiler [2018-11-10 20:30:56] 963*2^1530962-1 is not prime. Res64: B81DCED05F8DF326 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:51:28] 609*2^1530963-1 is not prime. Res64: 1AE5A140C139AE77 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:51:28] 723*2^1530963-1 is not prime. Res64: 01CF7EA3CE0D5FB3 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:51:28] 741*2^1530963-1 is not prime. Res64: 3035ECA208F27CC4 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:51:28] 765*2^1530963-1 is not prime. Res64: 7A35F07D040ACC9D Time : 0.0 sec. user=mdettweiler [2018-11-10 20:51:29] 793*2^1530963-1 is not prime. Res64: 49F73C6D793AF730 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:59:04] 819*2^1530963-1 is not prime. Res64: 08B0D0E8498F33B1 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:59:05] 871*2^1530963-1 is not prime. Res64: 4141B17D1C651781 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:59:05] 891*2^1530963-1 is not prime. Res64: A03E6EAE1B6E443D Time : 0.0 sec. user=mdettweiler [2018-11-10 20:59:05] 973*2^1530963-1 is not prime. Res64: 150079F091D50037 Time : 0.0 sec. user=mdettweiler [2018-11-10 20:59:05] 985*2^1530963-1 is not prime. Res64: E21DB2DDE8D1FEC3 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:09:30] 615*2^1530964-1 is not prime. Res64: F91CD29FF75E4EE4 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:09:30] 629*2^1530964-1 is not prime. Res64: 7132108976ED3CC0 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:09:31] 707*2^1530964-1 is not prime. Res64: 8563ED09FCC49313 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:09:31] 869*2^1530964-1 is not prime. Res64: 040A1594949DA562 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:09:32] 899*2^1530964-1 is not prime. Res64: D1650B0143F59A7B Time : 0.0 sec. user=mdettweiler [2018-11-10 21:23:53] 607*2^1530965-1 is not prime. Res64: 9CE176513B125F0D Time : 0.0 sec. user=mdettweiler [2018-11-10 21:23:54] 649*2^1530965-1 is not prime. Res64: 2B148F9D6D2D5CDB Time : 0.0 sec. user=mdettweiler [2018-11-10 21:23:54] 789*2^1530965-1 is not prime. Res64: 227FAB3DA307804E Time : 0.0 sec. user=mdettweiler [2018-11-10 21:23:55] 861*2^1530965-1 is not prime. Res64: D28D6F267F1AF958 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:23:55] 885*2^1530965-1 is not prime. Res64: 17BACB802A835DCF Time : 0.0 sec. user=mdettweiler [2018-11-10 21:43:31] 897*2^1530965-1 is not prime. Res64: 10ACE390F73F2634 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:43:31] 717*2^1530966-1 is not prime. Res64: 21DC24935CCDF1BD Time : 0.0 sec. user=mdettweiler [2018-11-10 21:43:32] 807*2^1530966-1 is not prime. Res64: 8166F66AB19C9A16 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:43:32] 873*2^1530966-1 is not prime. Res64: 033C2756C9265CD9 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:43:32] 887*2^1530966-1 is not prime. Res64: ACB159FE5264F3A7 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:51:12] 993*2^1530966-1 is not prime. Res64: F40B30D256D59481 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:51:13] 603*2^1530967-1 is not prime. Res64: 33B288E9371EA792 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:51:13] 741*2^1530967-1 is not prime. Res64: 149651D8D70DCEF1 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:51:13] 813*2^1530967-1 is not prime. Res64: 0FEBC4142EE0FB19 Time : 0.0 sec. user=mdettweiler [2018-11-10 21:51:14] 985*2^1530967-1 is not prime. Res64: 3EA7CA3DA06D5167 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:01:27] 617*2^1530968-1 is not prime. Res64: 86EFD581922FEDBC Time : 0.0 sec. user=mdettweiler [2018-11-10 22:01:29] 633*2^1530968-1 is not prime. Res64: 86DB49C08B6234C2 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:01:30] 683*2^1530968-1 is not prime. Res64: 8CEFDE00F9741BBB Time : 0.0 sec. user=mdettweiler [2018-11-10 22:01:31] 699*2^1530968-1 is not prime. Res64: 75DC75EC4E2D5B28 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:01:34] 609*2^1530969-1 is not prime. Res64: 3F953963DA5C30AD Time : 0.0 sec. user=mdettweiler [2018-11-10 22:15:28] 627*2^1530969-1 is not prime. Res64: 370C085DCC4CF838 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:15:28] 667*2^1530969-1 is not prime. Res64: A4C0E008D2EB7B6C Time : 0.0 sec. user=mdettweiler [2018-11-10 22:15:29] 675*2^1530969-1 is not prime. Res64: ADAE29554468E524 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:15:29] 685*2^1530969-1 is not prime. Res64: 6B80F481DCE3DCE4 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:15:29] 745*2^1530969-1 is not prime. Res64: EBF6ED3C3ED1C3F3 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:34:44] 747*2^1530969-1 is not prime. Res64: 2D0F6FDA30717C56 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:34:45] 817*2^1530969-1 is not prime. Res64: 3B1BC59F9119D428 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:34:45] 835*2^1530969-1 is not prime. Res64: 73B52E761B33A0A2 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:34:45] 657*2^1530970-1 is not prime. Res64: B51C816AFC7E5E65 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:34:46] 743*2^1530970-1 is not prime. Res64: 81E234D36EAA2F1F Time : 0.0 sec. user=mdettweiler [2018-11-10 22:42:07] 765*2^1530970-1 is not prime. Res64: A2609A005707ACC7 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:42:07] 831*2^1530970-1 is not prime. Res64: 0EC130F5909E952E Time : 0.0 sec. user=mdettweiler [2018-11-10 22:42:08] 911*2^1530970-1 is not prime. Res64: C26DC3F935D181BF Time : 0.0 sec. user=mdettweiler [2018-11-10 22:42:08] 917*2^1530970-1 is not prime. Res64: 170DA139D3C8EA53 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:42:09] 951*2^1530970-1 is not prime. Res64: 8022CE855C26E86A Time : 0.0 sec. user=mdettweiler [2018-11-10 22:53:03] 615*2^1530971-1 is not prime. Res64: 67D547DDC83F1FC3 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:53:04] 619*2^1530971-1 is not prime. Res64: AB069507815E0A0E Time : 0.0 sec. user=mdettweiler [2018-11-10 22:53:06] 645*2^1530971-1 is not prime. Res64: B37BF533F7C6266A Time : 0.0 sec. user=mdettweiler [2018-11-10 22:53:06] 991*2^1530971-1 is not prime. Res64: 1C637E802DDB3E31 Time : 0.0 sec. user=mdettweiler [2018-11-10 22:53:08] 749*2^1530972-1 is not prime. Res64: C51760953DA2832C Time : 0.0 sec. user=mdettweiler [2018-11-10 23:07:01] 903*2^1530972-1 is not prime. Res64: FB9F918DA3404303 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:07:02] 947*2^1530972-1 is not prime. Res64: F0DEB1F1F53798C9 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:07:02] 977*2^1530972-1 is not prime. Res64: 86AC5860B5C24A46 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:07:02] 983*2^1530972-1 is not prime. Res64: 1AC86BA38BF9C974 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:07:03] 835*2^1530973-1 is not prime. Res64: 5D9DCF99CA3BBA53 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:27:16] 889*2^1530973-1 is not prime. Res64: 59309E214054D8A6 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:27:17] 957*2^1530973-1 is not prime. Res64: A8FB78BBB71F84C3 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:27:22] 999*2^1530973-1 is not prime. Res64: 4C5684C877161817 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:27:25] 645*2^1530974-1 is not prime. Res64: 905E58F68A4A7C0D Time : 0.0 sec. user=mdettweiler [2018-11-10 23:27:26] 671*2^1530974-1 is not prime. Res64: AAE47D994091F324 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:34:38] 815*2^1530974-1 is not prime. Res64: B3F80ED71E4814B8 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:34:38] 861*2^1530974-1 is not prime. Res64: 676BBE7E6B9A970A Time : 0.0 sec. user=mdettweiler [2018-11-10 23:34:39] 887*2^1530974-1 is not prime. Res64: FF1E7435086199AD Time : 0.0 sec. user=mdettweiler [2018-11-10 23:34:39] 921*2^1530974-1 is not prime. Res64: 76F165B0ECA0DE96 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:34:41] 613*2^1530975-1 is not prime. Res64: 1A3FD33559A93E17 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:46:22] 649*2^1530975-1 is not prime. Res64: 2DBF51380D6CA514 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:46:23] 679*2^1530975-1 is not prime. Res64: 544D84CE24180982 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:46:25] 691*2^1530975-1 is not prime. Res64: 79B89FAA5761DF62 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:46:26] 693*2^1530975-1 is not prime. Res64: 51FDCC1B67A82BD5 Time : 0.0 sec. user=mdettweiler [2018-11-10 23:46:27] 709*2^1530975-1 is not prime. Res64: 8C079280596ECB11 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:00:01] 723*2^1530975-1 is not prime. Res64: A07787A1809FA3F0 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:00:01] 739*2^1530975-1 is not prime. Res64: 504539C0D1BA0616 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:00:01] 775*2^1530975-1 is not prime. Res64: 9BFFF806914F2CBB Time : 0.0 sec. user=mdettweiler [2018-11-11 00:00:02] 823*2^1530975-1 is not prime. Res64: 83101B22BA273832 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:00:02] 885*2^1530975-1 is not prime. Res64: 4AC6D5B470E669A5 Time : 0.0 sec.