user=mdettweiler [2016-04-23 00:07:19] 843*2^1427068-1 is not prime. Res64: C78847F815F419D9 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:07:20] 897*2^1427068-1 is not prime. Res64: C95D0BC5F7983809 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:07:21] 933*2^1427068-1 is not prime. Res64: E0873FD969CB2231 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:07:22] 969*2^1427068-1 is not prime. Res64: C9B9694C63068D7E Time : 0.0 sec. user=mdettweiler [2016-04-23 00:07:22] 615*2^1427069-1 is not prime. Res64: 9949DD29B72A0DD1 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:08:12] 691*2^1427069-1 is not prime. Res64: B41313E91B0C198B Time : 0.0 sec. user=mdettweiler [2016-04-23 00:08:12] 787*2^1427069-1 is not prime. Res64: DF078BFBED18DDFC Time : 0.0 sec. user=mdettweiler [2016-04-23 00:08:12] 825*2^1427069-1 is not prime. Res64: 1624D05B01D5F4BE Time : 0.0 sec. user=mdettweiler [2016-04-23 00:08:13] 829*2^1427069-1 is not prime. Res64: 96E0018894A08D63 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:08:13] 939*2^1427069-1 is not prime. Res64: F0F8CBE2582FFAB5 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:26] 635*2^1427070-1 is not prime. Res64: E641DFB3B69D94B0 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:26] 717*2^1427070-1 is not prime. Res64: BF38C128C3E4AF2D Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:27] 927*2^1427070-1 is not prime. Res64: 0D7133298EB54714 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:27] 965*2^1427070-1 is not prime. Res64: 9F9C8FAE9302B5D8 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:27] 685*2^1427071-1 is not prime. Res64: DD7A40A9DA24956B Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:33] 759*2^1427071-1 is not prime. Res64: 8D29C53C5ADC3CE3 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:33] 775*2^1427071-1 is not prime. Res64: 547D1239FAB628A8 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:34] 855*2^1427071-1 is not prime. Res64: 34378B69956AE0CF Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:34] 895*2^1427071-1 is not prime. Res64: 9EEB074045537B09 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:37:34] 913*2^1427071-1 is not prime. Res64: 54AD6928C7432299 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:52:51] 943*2^1427071-1 is not prime. Res64: FEA6D992AD514464 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:52:52] 615*2^1427072-1 is not prime. Res64: 6B92C764EB1DD068 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:52:52] 617*2^1427072-1 is not prime. Res64: B08F9ECF444E5A87 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:52:53] 735*2^1427072-1 is not prime. Res64: E2802765B8D87CDE Time : 0.0 sec. user=mdettweiler [2016-04-23 00:52:53] 759*2^1427072-1 is not prime. Res64: 7498355B4E6D4940 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:53:28] 803*2^1427072-1 is not prime. Res64: 9E5BEC2164F1DBFA Time : 0.0 sec. user=mdettweiler [2016-04-23 00:53:28] 825*2^1427072-1 is not prime. Res64: 62BEEAA674B3582C Time : 0.0 sec. user=mdettweiler [2016-04-23 00:53:28] 843*2^1427072-1 is not prime. Res64: BF99C697226AD864 Time : 0.0 sec. user=mdettweiler [2016-04-23 00:53:29] 959*2^1427072-1 is not prime. Res64: F9CF920229CAE3FF Time : 0.0 sec. user=mdettweiler [2016-04-23 00:53:29] 607*2^1427073-1 is not prime. Res64: FD9B21A342E98D01 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:36] 639*2^1427073-1 is not prime. Res64: 5BD03B2756F7E647 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:36] 705*2^1427073-1 is not prime. Res64: 1AAC630C3D365190 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:36] 727*2^1427073-1 is not prime. Res64: 3E890535AFEA9D67 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:37] 871*2^1427073-1 is not prime. Res64: 0FED2B17D05C6162 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:37] 921*2^1427073-1 is not prime. Res64: 9395690F6702E032 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:38] 623*2^1427074-1 is not prime. Res64: C6E688180F0ACF26 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:38] 651*2^1427074-1 is not prime. Res64: 8214EC500D941FFC Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:39] 665*2^1427074-1 is not prime. Res64: C95AA801B623845B Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:39] 705*2^1427074-1 is not prime. Res64: 87E985A0A23F3B27 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:22:39] 723*2^1427074-1 is not prime. Res64: D55ED6CB1BE5A724 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:17] 755*2^1427074-1 is not prime. Res64: F9DEFDB84BA467F6 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:17] 815*2^1427074-1 is not prime. Res64: 6B2A0197680AE032 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:18] 861*2^1427074-1 is not prime. Res64: 1EC8AA4E89542B40 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:18] 885*2^1427074-1 is not prime. Res64: 35373285C0EC5DCB Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:18] 945*2^1427074-1 is not prime. Res64: EA5BF2C629E39D54 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:47] 981*2^1427074-1 is not prime. Res64: D44F2B2E2996CDF1 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:48] 601*2^1427075-1 is not prime. Res64: 7810AF93D9B6607E Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:48] 603*2^1427075-1 is not prime. Res64: B9A6119D11BC23D1 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:49] 741*2^1427075-1 is not prime. Res64: 5905ADA818BC7F50 Time : 0.0 sec. user=mdettweiler [2016-04-23 01:38:49] 799*2^1427075-1 is not prime. Res64: 1F9BEBAC101C4484 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:52] 829*2^1427075-1 is not prime. Res64: 7CB25824994A9592 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:53] 883*2^1427075-1 is not prime. Res64: AFAB2CE36A0D7ED0 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:53] 903*2^1427075-1 is not prime. Res64: 835C4F4FE55F033C Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:53] 939*2^1427075-1 is not prime. Res64: 5FCEFD12C48F72CD Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:54] 695*2^1427076-1 is not prime. Res64: 7BF49BF398B94C3C Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:54] 683*2^1427076-1 is not prime. Res64: 7AD6D2AA47E51B47 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:54] 759*2^1427076-1 is not prime. Res64: 9BDF4394F66E00BB Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:55] 845*2^1427076-1 is not prime. Res64: 69E33B3D7DC53CD3 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:55] 927*2^1427076-1 is not prime. Res64: 860774A775FF0E65 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:07:56] 993*2^1427076-1 is not prime. Res64: 0FF8141063D31064 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:23:34] 607*2^1427077-1 is not prime. Res64: D51BE126EE9C6D37 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:23:34] 747*2^1427077-1 is not prime. Res64: C32CB7C20438E91E Time : 0.0 sec. user=mdettweiler [2016-04-23 02:23:35] 757*2^1427077-1 is not prime. Res64: CC4647D0540E959B Time : 0.0 sec. user=mdettweiler [2016-04-23 02:23:35] 765*2^1427077-1 is not prime. Res64: C4A15304A227EDF9 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:23:36] 777*2^1427077-1 is not prime. Res64: F16DF5F1CE931203 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:24:01] 895*2^1427077-1 is not prime. Res64: B4402AB9C1F4178F Time : 0.0 sec. user=mdettweiler [2016-04-23 02:24:01] 999*2^1427077-1 is not prime. Res64: 43D80CB346363815 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:24:01] 635*2^1427078-1 is not prime. Res64: 4610DB202A1BB021 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:24:02] 677*2^1427078-1 is not prime. Res64: 1D7247AA84427D28 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:24:02] 693*2^1427078-1 is not prime. Res64: 5D815566CD27870E Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:05] 915*2^1427078-1 is not prime. Res64: 12772087F90B7DFE Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:06] 923*2^1427078-1 is not prime. Res64: 7632D224E4455925 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:06] 795*2^1427079-1 is not prime. Res64: 4B3E0AF5DBD19DB1 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:07] 873*2^1427079-1 is not prime. Res64: CCEFB66574A4D7EF Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:07] 735*2^1427080-1 is not prime. Res64: DEAB9EFB8B46D76E Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:17] 771*2^1427078-1 is not prime. Res64: 5C9E17FDED323DD3 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:18] 773*2^1427078-1 is not prime. Res64: B8659CD6BFFB2508 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:18] 909*2^1427080-1 is not prime. Res64: FEA85CB86C136386 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:18] 983*2^1427080-1 is not prime. Res64: B99AFC795F00D754 Time : 0.0 sec. user=mdettweiler [2016-04-23 02:53:19] 995*2^1427080-1 is not prime. Res64: A59FC185C0ECEB36 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:08:29] 627*2^1427081-1 is not prime. Res64: 36EBEBA14A990D78 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:08:30] 675*2^1427081-1 is not prime. Res64: CF0FC07FA67D3961 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:08:30] 685*2^1427081-1 is not prime. Res64: 884DADC1C98B04C6 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:08:30] 691*2^1427081-1 is not prime. Res64: 7DC0E17B091813F5 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:08:31] 741*2^1427081-1 is not prime. Res64: 1682EB1576C1C0DD Time : 0.0 sec. user=mdettweiler [2016-04-23 03:09:15] 747*2^1427081-1 is not prime. Res64: 8294076340FE00C2 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:09:15] 777*2^1427081-1 is not prime. Res64: 6FE0A7D50116657A Time : 0.0 sec. user=mdettweiler [2016-04-23 03:09:16] 865*2^1427081-1 is not prime. Res64: 6111B8B2C3D32E59 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:09:16] 889*2^1427081-1 is not prime. Res64: 43821F64B33DCDF2 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:09:16] 939*2^1427081-1 is not prime. Res64: D74D052568A1D0DA Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:08] 955*2^1427081-1 is not prime. Res64: 7A75EFAAA4DA10CE Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:09] 981*2^1427081-1 is not prime. Res64: 357240351C52824B Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:10] 653*2^1427082-1 is not prime. Res64: 5D63FB858B7A6677 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:11] 797*2^1427082-1 is not prime. Res64: 5763718DC49D7BDD Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:12] 887*2^1427082-1 is not prime. Res64: F4B0838951400392 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:45] 921*2^1427082-1 is not prime. Res64: 8A222DE1FE6961B7 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:46] 603*2^1427083-1 is not prime. Res64: E0F54C6DC45EBA5A Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:47] 745*2^1427083-1 is not prime. Res64: BB5068057D55D492 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:47] 765*2^1427083-1 is not prime. Res64: B03F9651F2125604 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:38:48] 783*2^1427083-1 is not prime. Res64: 9860DC1D50315DE0 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:53:55] 793*2^1427083-1 is not prime. Res64: 7C1005D3E5D1F135 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:53:55] 891*2^1427083-1 is not prime. Res64: 0D2A7512E76483A5 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:53:56] 925*2^1427083-1 is not prime. Res64: 3549F5CE72013882 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:53:56] 985*2^1427083-1 is not prime. Res64: 3EAF65846FF0047E Time : 0.0 sec. user=mdettweiler [2016-04-23 03:53:57] 753*2^1427084-1 is not prime. Res64: E8C880738FF2F04E Time : 0.0 sec. user=mdettweiler [2016-04-23 03:54:32] 755*2^1427084-1 is not prime. Res64: D008A2DD7751E7A4 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:54:33] 819*2^1427084-1 is not prime. Res64: A1D4FAA3EA7C8337 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:54:33] 837*2^1427084-1 is not prime. Res64: B7F0F04F4048512D Time : 0.0 sec. user=mdettweiler [2016-04-23 03:54:34] 897*2^1427084-1 is not prime. Res64: 860C236262C0F5F2 Time : 0.0 sec. user=mdettweiler [2016-04-23 03:54:34] 601*2^1427085-1 is not prime. Res64: 2F5AF95F8AE9A1D1 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:17] 651*2^1427085-1 is not prime. Res64: 063BE837666711CC Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:17] 777*2^1427085-1 is not prime. Res64: 0ECE6D6E22622350 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:17] 805*2^1427085-1 is not prime. Res64: 5EFBF92EF261BC30 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:18] 819*2^1427085-1 is not prime. Res64: C34A8B5E00059DFC Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:18] 831*2^1427085-1 is not prime. Res64: 26A1343E6CD7E8E8 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:42] 871*2^1427085-1 is not prime. Res64: C9711E5744E8CBDA Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:43] 885*2^1427085-1 is not prime. Res64: 628F55CE71359F05 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:43] 895*2^1427085-1 is not prime. Res64: B68E7FF2874BFAC5 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:44] 975*2^1427085-1 is not prime. Res64: 36C19601FB12373A Time : 0.0 sec. user=mdettweiler [2016-04-23 04:24:44] 623*2^1427086-1 is not prime. Res64: 6F70B5D4498AF3CE Time : 0.0 sec. user=mdettweiler [2016-04-23 04:39:51] 653*2^1427086-1 is not prime. Res64: D17180BDDA32087A Time : 0.0 sec. user=mdettweiler [2016-04-23 04:39:51] 761*2^1427086-1 is not prime. Res64: 61B6C6446C555D09 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:39:52] 785*2^1427086-1 is not prime. Res64: 9CB5CD006F3B2B97 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:39:52] 897*2^1427086-1 is not prime. Res64: 73C0BF186A3609DC Time : 0.0 sec. user=mdettweiler [2016-04-23 04:39:53] 903*2^1427086-1 is not prime. Res64: 15063A42CD63013A Time : 0.0 sec. user=mdettweiler [2016-04-23 04:41:21] 993*2^1427086-1 is not prime. Res64: E9F1CE876622A59E Time : 0.0 sec. user=mdettweiler [2016-04-23 04:41:22] 621*2^1427087-1 is not prime. Res64: C8B3E0F0D941B80B Time : 0.0 sec. user=mdettweiler [2016-04-23 04:41:22] 633*2^1427087-1 is not prime. Res64: F0C44FCF35FB2123 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:41:22] 861*2^1427087-1 is not prime. Res64: D4E607F108AFBAB8 Time : 0.0 sec. user=mdettweiler [2016-04-23 04:41:23] 991*2^1427087-1 is not prime. Res64: ECBAFD1EA2B891FC Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:15] 689*2^1427088-1 is not prime. Res64: BC09D8DB2FC8F4F6 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:16] 707*2^1427088-1 is not prime. Res64: ABCBE755CE124308 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:16] 753*2^1427088-1 is not prime. Res64: 5AE5AFD370E1DE9F Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:17] 795*2^1427088-1 is not prime. Res64: 2EFBCB655861DA03 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:17] 819*2^1427088-1 is not prime. Res64: 006FEF75394D2191 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:51] 875*2^1427088-1 is not prime. Res64: 19B8981B9DDDE53F Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:51] 899*2^1427088-1 is not prime. Res64: 3D63968E88480566 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:52] 977*2^1427088-1 is not prime. Res64: A536F3DF4019A186 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:52] 691*2^1427089-1 is not prime. Res64: 10B08B731F43CA4E Time : 0.0 sec. user=mdettweiler [2016-04-23 05:09:53] 801*2^1427089-1 is not prime. Res64: A65178F78BC864C1 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:24:54] 829*2^1427089-1 is not prime. Res64: A253CD7D4B66A1FC Time : 0.0 sec. user=mdettweiler [2016-04-23 05:24:54] 861*2^1427089-1 is not prime. Res64: B566D171E202F764 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:24:55] 951*2^1427089-1 is not prime. Res64: 24D9D3AA3B62B0FB Time : 0.0 sec. user=mdettweiler [2016-04-23 05:24:55] 985*2^1427089-1 is not prime. Res64: 8FC61CEDFCAD357A Time : 0.0 sec. user=mdettweiler [2016-04-23 05:24:55] 999*2^1427089-1 is not prime. Res64: 57F2DA6EF3885ACA Time : 0.0 sec. user=mdettweiler [2016-04-23 05:26:18] 741*2^1427090-1 is not prime. Res64: BA6F6FEDD73F1460 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:26:19] 801*2^1427090-1 is not prime. Res64: E542FFF3E18A68F9 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:26:19] 831*2^1427090-1 is not prime. Res64: 22E2083098E37476 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:26:20] 843*2^1427090-1 is not prime. Res64: BC94ADE79B59DB96 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:26:20] 851*2^1427090-1 is not prime. Res64: A7156ACEDE8E4544 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:54:24] 953*2^1427090-1 is not prime. Res64: CC07CAE6EB70671B Time : 0.0 sec. user=mdettweiler [2016-04-23 05:54:24] 823*2^1427091-1 is not prime. Res64: FE9F8531135EFB3B Time : 0.0 sec. user=mdettweiler [2016-04-23 05:54:25] 871*2^1427091-1 is not prime. Res64: 4782EECEE121B585 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:54:25] 909*2^1427091-1 is not prime. Res64: A00283251E00B135 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:54:25] 603*2^1427092-1 is not prime. Res64: 4BA8BC2D6CBBD0FE Time : 0.0 sec. user=mdettweiler [2016-04-23 05:55:00] 617*2^1427092-1 is not prime. Res64: 5DEF07692C2A0516 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:55:01] 653*2^1427092-1 is not prime. Res64: F871954486E7DA13 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:55:01] 797*2^1427092-1 is not prime. Res64: 8B03C6673CEAE0E2 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:55:02] 833*2^1427092-1 is not prime. Res64: 28F4777E6B2D99E7 Time : 0.0 sec. user=mdettweiler [2016-04-23 05:55:02] 887*2^1427092-1 is not prime. Res64: 74640DE10605D17A Time : 0.0 sec. user=mdettweiler [2016-04-23 06:09:56] 939*2^1427092-1 is not prime. Res64: 4CFC4B6CE043CC97 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:09:57] 607*2^1427093-1 is not prime. Res64: 8F294BD07FBA2057 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:09:57] 619*2^1427093-1 is not prime. Res64: 527257C3E4285B88 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:09:58] 669*2^1427093-1 is not prime. Res64: 9DC1D5132F8D8121 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:09:58] 727*2^1427093-1 is not prime. Res64: E42E560F13502B9E Time : 0.0 sec. user=mdettweiler [2016-04-23 06:11:16] 741*2^1427093-1 is not prime. Res64: 8302F7E552395451 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:11:16] 757*2^1427093-1 is not prime. Res64: E649A60E5AD0EF11 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:11:16] 771*2^1427093-1 is not prime. Res64: D85B237DA3718FBF Time : 0.0 sec. user=mdettweiler [2016-04-23 06:11:17] 897*2^1427093-1 is not prime. Res64: 2E40EECA1A6092B3 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:11:17] 957*2^1427093-1 is not prime. Res64: F862FF33159CBFDE Time : 0.0 sec. user=mdettweiler [2016-04-23 06:39:29] 657*2^1427094-1 is not prime. Res64: 0E5D651032CDB1B0 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:39:29] 663*2^1427094-1 is not prime. Res64: 4BB4D1B3C81CDADA Time : 0.0 sec. user=mdettweiler [2016-04-23 06:39:29] 693*2^1427094-1 is not prime. Res64: 03B0F2738511E433 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:39:30] 725*2^1427094-1 is not prime. Res64: 03FA6B83B272976D Time : 0.0 sec. user=mdettweiler [2016-04-23 06:39:30] 795*2^1427094-1 is not prime. Res64: 589121C7FB812BCD Time : 0.0 sec. user=mdettweiler [2016-04-23 06:40:10] 923*2^1427094-1 is not prime. Res64: 5DD5308C2F3E9F6B Time : 0.0 sec. user=mdettweiler [2016-04-23 06:40:10] 941*2^1427094-1 is not prime. Res64: 81C12E00F527488C Time : 0.0 sec. user=mdettweiler [2016-04-23 06:40:11] 971*2^1427094-1 is not prime. Res64: 31234CB077209890 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:40:11] 763*2^1427095-1 is not prime. Res64: FE319893BB34465F Time : 0.0 sec. user=mdettweiler [2016-04-23 06:40:11] 843*2^1427095-1 is not prime. Res64: 43A3112A2863891F Time : 0.0 sec. user=mdettweiler [2016-04-23 06:55:04] 895*2^1427095-1 is not prime. Res64: C5D1695A53CDC09A Time : 0.0 sec. user=mdettweiler [2016-04-23 06:55:04] 973*2^1427095-1 is not prime. Res64: D7C9B8CFD18AEDE5 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:55:05] 813*2^1427096-1 is not prime. Res64: 8E04457AB65DEB29 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:55:05] 827*2^1427096-1 is not prime. Res64: 768415F5C023A6E7 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:55:05] 833*2^1427096-1 is not prime. Res64: 90F605D22773A8FC Time : 0.0 sec. user=mdettweiler [2016-04-23 06:56:15] 935*2^1427096-1 is not prime. Res64: BF2502ACBD1E6190 Time : 0.0 sec. user=mdettweiler [2016-04-23 06:56:16] 963*2^1427096-1 is not prime. Res64: 3319C027E667898A Time : 0.0 sec. user=mdettweiler [2016-04-23 06:56:16] 735*2^1427097-1 is not prime. Res64: 7B85665C7E81AD3F Time : 0.0 sec. user=mdettweiler [2016-04-23 06:56:17] 747*2^1427097-1 is not prime. Res64: 9AE3142007E339AF Time : 0.0 sec. user=mdettweiler [2016-04-23 06:56:17] 835*2^1427097-1 is not prime. Res64: 2F56E3CA24F798B0 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:24:28] 885*2^1427097-1 is not prime. Res64: 0DEB0C64CAF52418 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:24:29] 755*2^1427098-1 is not prime. Res64: 439C4BC0B02A1102 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:24:29] 773*2^1427098-1 is not prime. Res64: A1D2A699682D93F8 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:24:30] 801*2^1427098-1 is not prime. Res64: F20309C5B79E656F Time : 0.0 sec. user=mdettweiler [2016-04-23 07:24:30] 815*2^1427098-1 is not prime. Res64: E26A5163BD26D69D Time : 0.0 sec. user=mdettweiler [2016-04-23 07:25:07] 831*2^1427098-1 is not prime. Res64: 59AEC8D6DFF7885C Time : 0.0 sec. user=mdettweiler [2016-04-23 07:25:07] 845*2^1427098-1 is not prime. Res64: ED670172AB87ED54 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:25:08] 867*2^1427098-1 is not prime. Res64: 4E32194FFA99D529 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:25:08] 911*2^1427098-1 is not prime. Res64: 40D3A508EF3EBE98 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:25:09] 993*2^1427098-1 is not prime. Res64: 5F1D4F68CCE45A80 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:40:09] 655*2^1427099-1 is not prime. Res64: 7820FA77496056A1 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:40:09] 703*2^1427099-1 is not prime. Res64: 042968E41A877C98 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:40:09] 705*2^1427099-1 is not prime. Res64: 8F9089F99A565B1D Time : 0.0 sec. user=mdettweiler [2016-04-23 07:40:10] 883*2^1427099-1 is not prime. Res64: C353C1FB3F34859C Time : 0.0 sec. user=mdettweiler [2016-04-23 07:40:10] 909*2^1427099-1 is not prime. Res64: 92959BC4465CB8AF Time : 0.0 sec. user=mdettweiler [2016-04-23 07:41:21] 647*2^1427100-1 is not prime. Res64: 2C5648E8ACE8E49A Time : 0.0 sec. user=mdettweiler [2016-04-23 07:41:21] 759*2^1427100-1 is not prime. Res64: 2F67B45192493218 Time : 0.0 sec. user=mdettweiler [2016-04-23 07:41:22] 783*2^1427100-1 is not prime. Res64: 9E26408DDA51F4BE Time : 0.0 sec. user=mdettweiler [2016-04-23 07:41:22] 789*2^1427100-1 is not prime. Res64: BC316D755368732E Time : 0.0 sec. user=mdettweiler [2016-04-23 07:41:22] 825*2^1427100-1 is not prime. Res64: 7BDC4CEB57749A29 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:09:28] 959*2^1427100-1 is not prime. Res64: A402D667C82F9FCE Time : 0.0 sec. user=mdettweiler [2016-04-23 08:09:29] 965*2^1427100-1 is not prime. Res64: AE058E5BEAB542E6 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:09:29] 987*2^1427100-1 is not prime. Res64: 81BC5A0604F190EF Time : 0.0 sec. user=mdettweiler [2016-04-23 08:09:30] 607*2^1427101-1 is not prime. Res64: 8E8F2AF397689FBA Time : 0.0 sec. user=mdettweiler [2016-04-23 08:09:30] 615*2^1427101-1 is not prime. Res64: CFAA567DDBE185E7 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:10:12] 649*2^1427101-1 is not prime. Res64: 8D84DC38E32C13D4 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:10:12] 727*2^1427101-1 is not prime. Res64: AF941DBAD80AEF9C Time : 0.0 sec. user=mdettweiler [2016-04-23 08:10:13] 741*2^1427101-1 is not prime. Res64: 1A1FF4E0E8F73A1D Time : 0.0 sec. user=mdettweiler [2016-04-23 08:10:13] 789*2^1427101-1 is not prime. Res64: 64C9C1C90CCF2D80 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:10:13] 867*2^1427101-1 is not prime. Res64: F781D1903B857756 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:25:04] 939*2^1427101-1 is not prime. Res64: 47EBFF8A0FA360BF Time : 0.0 sec. user=mdettweiler [2016-04-23 08:25:05] 635*2^1427102-1 is not prime. Res64: 17CCC56A463428AF Time : 0.0 sec. user=mdettweiler [2016-04-23 08:25:05] 657*2^1427102-1 is not prime. Res64: 14C37EA159851A94 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:25:06] 813*2^1427102-1 is not prime. Res64: 803D6A675825D68D Time : 0.0 sec. user=mdettweiler [2016-04-23 08:25:06] 921*2^1427102-1 is not prime. Res64: AC092D5F4F165611 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:26:28] 953*2^1427102-1 is not prime. Res64: DEA5A8625EA90C08 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:26:29] 983*2^1427102-1 is not prime. Res64: 414CEA73162F693D Time : 0.0 sec. user=mdettweiler [2016-04-23 08:26:29] 609*2^1427103-1 is not prime. Res64: 5B840E24435DF663 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:26:29] 661*2^1427103-1 is not prime. Res64: 6F9EF8D68FE3A026 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:26:30] 765*2^1427103-1 is not prime. Res64: 0EBBCFCB9C810CCC Time : 0.0 sec. user=mdettweiler [2016-04-23 08:54:26] 853*2^1427103-1 is not prime. Res64: FF08CE2B558411B4 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:54:27] 879*2^1427103-1 is not prime. Res64: 40E49F2E6FE6DC39 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:54:27] 635*2^1427104-1 is not prime. Res64: 3CFB48072F3DC5B3 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:54:27] 857*2^1427104-1 is not prime. Res64: D9DB481F9D54F710 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:54:28] 873*2^1427104-1 is not prime. Res64: 79E541D250A7E3DD Time : 0.0 sec. user=mdettweiler [2016-04-23 08:55:12] 897*2^1427104-1 is not prime. Res64: BE7E83D31D0FBEE6 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:55:13] 915*2^1427104-1 is not prime. Res64: E904EDD41ED2A386 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:55:13] 975*2^1427104-1 is not prime. Res64: D24FCBFF476A1FC5 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:55:13] 651*2^1427105-1 is not prime. Res64: A855BF47D2828D74 Time : 0.0 sec. user=mdettweiler [2016-04-23 08:55:14] 685*2^1427105-1 is not prime. Res64: 7E668DAED213837C Time : 0.0 sec. user=mdettweiler [2016-04-23 09:10:19] 777*2^1427105-1 is not prime. Res64: 60C96C6FFB362CEE Time : 0.0 sec. user=mdettweiler [2016-04-23 09:10:20] 801*2^1427105-1 is not prime. Res64: 9D10180FF1606A84 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:10:20] 861*2^1427105-1 is not prime. Res64: 75E2B44CEB0B5972 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:10:21] 951*2^1427105-1 is not prime. Res64: 415A02E7EC848865 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:10:21] 677*2^1427106-1 is not prime. Res64: AB779755416C4812 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:11:43] 695*2^1427106-1 is not prime. Res64: 24607F04EC6DFCC5 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:11:44] 777*2^1427106-1 is not prime. Res64: 26DA0BA4D0F00DE5 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:11:44] 825*2^1427106-1 is not prime. Res64: 578EF54FC7789AD3 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:11:44] 837*2^1427106-1 is not prime. Res64: 29A32E36C48787E4 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:11:45] 993*2^1427106-1 is not prime. Res64: 94B8417C945F80D6 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:39:29] 681*2^1427107-1 is not prime. Res64: CFBC523D7D9733E8 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:39:29] 685*2^1427107-1 is not prime. Res64: 02885B89BA16CA89 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:39:29] 693*2^1427107-1 is not prime. Res64: C401C3491F8DBE5B Time : 0.0 sec. user=mdettweiler [2016-04-23 09:39:30] 813*2^1427107-1 is not prime. Res64: 511BCF72A70C229A Time : 0.0 sec. user=mdettweiler [2016-04-23 09:39:30] 859*2^1427107-1 is not prime. Res64: C37E6CDEFE0C9602 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:40:22] 861*2^1427107-1 is not prime. Res64: 2996BE5B9A034B19 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:40:22] 871*2^1427107-1 is not prime. Res64: CFA90EB7D36BF012 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:40:22] 979*2^1427107-1 is not prime. Res64: 70E5810561FC466E Time : 0.0 sec. user=mdettweiler [2016-04-23 09:40:23] 615*2^1427108-1 is not prime. Res64: 6FB1FF8B531ECB7C Time : 0.0 sec. user=mdettweiler [2016-04-23 09:40:23] 635*2^1427108-1 is not prime. Res64: 081A8C88F8126A0C Time : 0.0 sec. user=mdettweiler [2016-04-23 09:55:17] 735*2^1427108-1 is not prime. Res64: 11E722F70EB58624 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:55:17] 743*2^1427108-1 is not prime. Res64: C5B606D10904CC0E Time : 0.0 sec. user=mdettweiler [2016-04-23 09:55:18] 789*2^1427108-1 is not prime. Res64: 03E74F4B163E9310 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:55:18] 855*2^1427108-1 is not prime. Res64: 4ED39E469B174302 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:55:19] 609*2^1427109-1 is not prime. Res64: 3E2893ED1D847060 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:56:52] 621*2^1427109-1 is not prime. Res64: 7336D0F2DA1CA334 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:56:52] 667*2^1427109-1 is not prime. Res64: 39FD1A749AE6F8AB Time : 0.0 sec. user=mdettweiler [2016-04-23 09:56:53] 691*2^1427109-1 is not prime. Res64: A2C586307CD969ED Time : 0.0 sec. user=mdettweiler [2016-04-23 09:56:53] 721*2^1427109-1 is not prime. Res64: B28B0618CE6A7E94 Time : 0.0 sec. user=mdettweiler [2016-04-23 09:56:53] 781*2^1427109-1 is not prime. Res64: 37E29F7C2F4C5F82 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:24:25] 835*2^1427109-1 is not prime. Res64: BCAB8C06587DC454 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:24:26] 969*2^1427109-1 is not prime. Res64: 6A3E154240598E8E Time : 0.0 sec. user=mdettweiler [2016-04-23 10:24:26] 987*2^1427109-1 is not prime. Res64: 12CB6F097044274B Time : 0.0 sec. user=mdettweiler [2016-04-23 10:24:27] 603*2^1427110-1 is not prime. Res64: 80BECF329EE8092B Time : 0.0 sec. user=mdettweiler [2016-04-23 10:24:27] 663*2^1427110-1 is not prime. Res64: 450C537856D4EA20 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:25:22] 687*2^1427110-1 is not prime. Res64: B28827A68851463F Time : 0.0 sec. user=mdettweiler [2016-04-23 10:25:23] 695*2^1427110-1 is not prime. Res64: 8E1B1CB7AB698B4F Time : 0.0 sec. user=mdettweiler [2016-04-23 10:25:23] 649*2^1427111-1 is not prime. Res64: EAAF9B0677DA2B3F Time : 0.0 sec. user=mdettweiler [2016-04-23 10:25:23] 651*2^1427111-1 is not prime. Res64: 4B6BF08EB9B388E6 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:25:24] 741*2^1427111-1 is not prime. Res64: 163D0DCA8E4FDFBD Time : 0.0 sec. user=mdettweiler [2016-04-23 10:40:22] 775*2^1427111-1 is not prime. Res64: 35E5AB976F6D39F4 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:40:22] 783*2^1427111-1 is not prime. Res64: 189AF0DE7BBB1351 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:40:23] 843*2^1427111-1 is not prime. Res64: 340CC4F2C4E582B7 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:40:23] 981*2^1427111-1 is not prime. Res64: CBBBDBF168E605F6 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:40:24] 665*2^1427112-1 is not prime. Res64: 0142E5ADD25B4D58 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:41:58] 669*2^1427112-1 is not prime. Res64: 579159ADA3902BA7 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:41:58] 693*2^1427112-1 is not prime. Res64: 8E27F4F72F248CFE Time : 0.0 sec. user=mdettweiler [2016-04-23 10:41:59] 803*2^1427112-1 is not prime. Res64: 10512F4B183F2011 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:41:59] 857*2^1427112-1 is not prime. Res64: 1F5B59F793E5EEA8 Time : 0.0 sec. user=mdettweiler [2016-04-23 10:42:00] 899*2^1427112-1 is not prime. Res64: EF71DEA22E48CD6D Time : 0.0 sec. user=mdettweiler [2016-04-23 11:09:28] 933*2^1427112-1 is not prime. Res64: 7DA02A43231FA851 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:09:28] 983*2^1427112-1 is not prime. Res64: 735E7554416252F7 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:09:29] 625*2^1427113-1 is not prime. Res64: 4B783C964EE7F716 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:09:29] 765*2^1427113-1 is not prime. Res64: 336F83F5D23D593D Time : 0.0 sec. user=mdettweiler [2016-04-23 11:09:30] 807*2^1427113-1 is not prime. Res64: 8B6D49F8DB978362 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:10:37] 819*2^1427113-1 is not prime. Res64: 588CDA0828E7186A Time : 0.0 sec. user=mdettweiler [2016-04-23 11:10:37] 835*2^1427113-1 is not prime. Res64: 402829F971AF2EC7 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:10:37] 861*2^1427113-1 is not prime. Res64: 4CE15BDB012F5A60 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:10:38] 957*2^1427113-1 is not prime. Res64: D8B885578E826316 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:10:38] 641*2^1427114-1 is not prime. Res64: 45FA4F9B7AC70045 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:25:30] 677*2^1427114-1 is not prime. Res64: 0DF8928310AAFEBD Time : 0.0 sec. user=mdettweiler [2016-04-23 11:25:30] 711*2^1427114-1 is not prime. Res64: 9C6BE3DA97C7A280 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:25:31] 743*2^1427114-1 is not prime. Res64: B178280DFB782F32 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:25:31] 783*2^1427114-1 is not prime. Res64: EAE17DF89E735DBC Time : 0.0 sec. user=mdettweiler [2016-04-23 11:25:31] 815*2^1427114-1 is not prime. Res64: 752FCFE07198F8AD Time : 0.0 sec. user=mdettweiler [2016-04-23 11:26:59] 837*2^1427114-1 is not prime. Res64: 5427534A1BDE6154 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:26:59] 851*2^1427114-1 is not prime. Res64: BA18BDFB79773F94 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:26:59] 903*2^1427114-1 is not prime. Res64: 77DBCAEC3AE0A5E6 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:27:00] 619*2^1427115-1 is not prime. Res64: 10D4CDDF2AE76DBA Time : 0.0 sec. user=mdettweiler [2016-04-23 11:27:00] 685*2^1427115-1 is not prime. Res64: A8B3B47F80AB16CC Time : 0.0 sec. user=mdettweiler [2016-04-23 11:54:40] 711*2^1427115-1 is not prime. Res64: 6DC9EC122B7971D3 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:54:41] 801*2^1427115-1 is not prime. Res64: D9E071D98C59C474 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:54:41] 849*2^1427115-1 is not prime. Res64: 8CC3B9DDDCE46869 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:54:41] 871*2^1427115-1 is not prime. Res64: 19E5A629B1FBF1C9 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:54:45] 765*2^1427116-1 is not prime. Res64: AB18634D09FF08F8 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:55:41] 813*2^1427116-1 is not prime. Res64: 105C77E44095D220 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:55:41] 869*2^1427116-1 is not prime. Res64: 00205EC674A66099 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:55:42] 887*2^1427116-1 is not prime. Res64: 3249CE344018B1AE Time : 0.0 sec. user=mdettweiler [2016-04-23 11:55:42] 909*2^1427116-1 is not prime. Res64: AEDCB7EC52F2E367 Time : 0.0 sec. user=mdettweiler [2016-04-23 11:55:42] 957*2^1427116-1 is not prime. Res64: 62BD8A2F257F6C98 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:10:43] 615*2^1427117-1 is not prime. Res64: D36E70945083F9B9 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:10:43] 901*2^1427117-1 is not prime. Res64: 7A752A92A411D1F2 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:10:44] 681*2^1427118-1 is not prime. Res64: 8FF4606FF09596F6 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:10:44] 693*2^1427118-1 is not prime. Res64: 0504D4C835115EDC Time : 0.0 sec. user=mdettweiler [2016-04-23 12:10:45] 797*2^1427118-1 is not prime. Res64: 566A9033CA26E1EF Time : 0.0 sec. user=mdettweiler [2016-04-23 12:12:08] 815*2^1427118-1 is not prime. Res64: FA145C9C5515361B Time : 0.0 sec. user=mdettweiler [2016-04-23 12:12:08] 843*2^1427118-1 is not prime. Res64: C29D1E7D31902F9A Time : 0.0 sec. user=mdettweiler [2016-04-23 12:12:09] 867*2^1427118-1 is not prime. Res64: 9FA0050704878321 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:12:09] 933*2^1427118-1 is not prime. Res64: 0D8BBBF8F7EFA809 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:12:10] 601*2^1427119-1 is not prime. Res64: CAD7DE5CA75B4796 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:39:53] 645*2^1427119-1 is not prime. Res64: 48C8612C475251FC Time : 0.0 sec. user=mdettweiler [2016-04-23 12:39:53] 729*2^1427119-1 is not prime. Res64: CBE3591F7F12DF0C Time : 0.0 sec. user=mdettweiler [2016-04-23 12:39:54] 793*2^1427119-1 is not prime. Res64: 3C00A9C845B3180F Time : 0.0 sec. user=mdettweiler [2016-04-23 12:39:54] 853*2^1427119-1 is not prime. Res64: A64B7458BA274EF3 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:39:54] 859*2^1427119-1 is not prime. Res64: D2E9A399CCB7EB36 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:40:53] 931*2^1427119-1 is not prime. Res64: 2395CE6C89E1E392 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:40:53] 979*2^1427119-1 is not prime. Res64: 8D301A4D961A8B63 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:40:53] 615*2^1427120-1 is not prime. Res64: 65001176D23A4ED4 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:40:54] 675*2^1427120-1 is not prime. Res64: E69010BD96564E53 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:40:54] 717*2^1427120-1 is not prime. Res64: 8284F2F82A23596E Time : 0.0 sec. user=mdettweiler [2016-04-23 12:56:00] 743*2^1427120-1 is not prime. Res64: 0746852A0809A80D Time : 0.0 sec. user=mdettweiler [2016-04-23 12:56:00] 753*2^1427120-1 is not prime. Res64: 2EB7E0AD91210FB5 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:56:01] 759*2^1427120-1 is not prime. Res64: C6BD85A87EB571A5 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:56:01] 767*2^1427120-1 is not prime. Res64: F476122EE0151496 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:56:01] 897*2^1427120-1 is not prime. Res64: 15951B940EDB5885 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:57:03] 615*2^1427121-1 is not prime. Res64: C8D8354157C965F2 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:57:04] 657*2^1427121-1 is not prime. Res64: E2816F48F2471698 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:57:05] 679*2^1427121-1 is not prime. Res64: CF26CE0DCE9F4252 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:57:05] 837*2^1427121-1 is not prime. Res64: D40787F2EC4C71F2 Time : 0.0 sec. user=mdettweiler [2016-04-23 12:57:05] 861*2^1427121-1 is not prime. Res64: 85521839D8C21BCA Time : 0.0 sec. user=mdettweiler [2016-04-23 13:24:55] 889*2^1427121-1 is not prime. Res64: EB68DB17AB5A33C6 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:24:56] 895*2^1427121-1 is not prime. Res64: 1633071C10C4D57C Time : 0.0 sec. user=mdettweiler [2016-04-23 13:24:56] 945*2^1427121-1 is not prime. Res64: 54E0B43FFEC5BE2E Time : 0.0 sec. user=mdettweiler [2016-04-23 13:24:57] 677*2^1427122-1 is not prime. Res64: FC072E00FB1DCF33 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:24:57] 785*2^1427122-1 is not prime. Res64: 8020830799A48B9D Time : 0.0 sec. user=mdettweiler [2016-04-23 13:25:59] 885*2^1427122-1 is not prime. Res64: F331ECDF86D517F7 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:26:00] 923*2^1427122-1 is not prime. Res64: 19601AC7E6DE8159 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:26:00] 631*2^1427123-1 is not prime. Res64: 183B95639550E8C6 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:26:00] 669*2^1427123-1 is not prime. Res64: EFCE1EBDC47F398F Time : 0.0 sec. user=mdettweiler [2016-04-23 13:26:01] 819*2^1427123-1 is not prime. Res64: 5B1EFFE3D91D9B31 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:41:15] 901*2^1427123-1 is not prime. Res64: DB87CBEC58FCAE93 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:41:15] 991*2^1427123-1 is not prime. Res64: C03844AE9AB5D8A6 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:41:16] 609*2^1427124-1 is not prime. Res64: 42E03129EB9ADC02 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:41:16] 683*2^1427124-1 is not prime. Res64: CE269ACD7738260E Time : 0.0 sec. user=mdettweiler [2016-04-23 13:41:16] 689*2^1427124-1 is not prime. Res64: C2C6917DF92F5B6C Time : 0.0 sec. user=mdettweiler [2016-04-23 13:42:00] 899*2^1427124-1 is not prime. Res64: 0CD64136F6737933 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:42:00] 903*2^1427124-1 is not prime. Res64: 67E626B0A357B5F0 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:42:01] 969*2^1427124-1 is not prime. Res64: 69B0E4844C6B0D94 Time : 0.0 sec. user=mdettweiler [2016-04-23 13:42:01] 625*2^1427125-1 is not prime. Res64: 1922892C194C709B Time : 0.0 sec. user=mdettweiler [2016-04-23 13:42:01] 717*2^1427125-1 is not prime. Res64: F08E1C6AB17A8C38 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:09:55] 871*2^1427125-1 is not prime. Res64: 98AC27285955134F Time : 0.0 sec. user=mdettweiler [2016-04-23 14:09:55] 985*2^1427125-1 is not prime. Res64: 0B093C8913D52327 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:09:56] 677*2^1427126-1 is not prime. Res64: 9FB890C0F3664EF0 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:09:56] 815*2^1427126-1 is not prime. Res64: 30FC34340DC6868F Time : 0.0 sec. user=mdettweiler [2016-04-23 14:09:56] 825*2^1427126-1 is not prime. Res64: 91762B1E6162BFF8 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:11:22] 867*2^1427126-1 is not prime. Res64: 7E83B8939FBD7376 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:11:22] 897*2^1427126-1 is not prime. Res64: 89493C2145D16A58 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:11:23] 911*2^1427126-1 is not prime. Res64: 038104D261DBCFA7 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:11:23] 923*2^1427126-1 is not prime. Res64: 6F940F069BB808F3 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:11:24] 1001*2^1427126-1 is not prime. Res64: 8F4F755E355894AE Time : 0.0 sec. user=mdettweiler [2016-04-23 14:26:40] 741*2^1427127-1 is not prime. Res64: 5F281160D58D40BF Time : 0.0 sec. user=mdettweiler [2016-04-23 14:26:40] 765*2^1427127-1 is not prime. Res64: 5AF5098733051756 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:26:41] 865*2^1427127-1 is not prime. Res64: EDB30D1598F25A78 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:26:41] 645*2^1427128-1 is not prime. Res64: C00436CE222AC3C1 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:26:41] 705*2^1427128-1 is not prime. Res64: 9060F46572D636FA Time : 0.0 sec. user=mdettweiler [2016-04-23 14:27:26] 743*2^1427128-1 is not prime. Res64: A93E0FD3EC7F51A5 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:27:26] 849*2^1427128-1 is not prime. Res64: 34D1E53C75435F40 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:27:27] 875*2^1427128-1 is not prime. Res64: 778453E5BF01B6E2 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:27:27] 923*2^1427128-1 is not prime. Res64: AEE4B99D3CCF7318 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:27:27] 837*2^1427129-1 is not prime. Res64: 98F5B17701933C3C Time : 0.0 sec. user=mdettweiler [2016-04-23 14:55:52] 867*2^1427129-1 is not prime. Res64: D1724D643F422D33 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:55:53] 931*2^1427129-1 is not prime. Res64: 1A44C791AB9DA8D6 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:55:53] 717*2^1427130-1 is not prime. Res64: AB40752A1DA00920 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:55:53] 767*2^1427130-1 is not prime. Res64: 3E94CA4B25118593 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:55:54] 615*2^1427131-1 is not prime. Res64: 49569C9E6D90CCB9 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:57:15] 619*2^1427131-1 is not prime. Res64: 6E023BFA4E379B7E Time : 0.0 sec. user=mdettweiler [2016-04-23 14:57:15] 759*2^1427131-1 is not prime. Res64: 3F6B1A9C38B0C08F Time : 0.0 sec. user=mdettweiler [2016-04-23 14:57:16] 771*2^1427131-1 is not prime. Res64: DE7C58D68BAE8EC4 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:57:16] 939*2^1427131-1 is not prime. Res64: 16365982518C2C84 Time : 0.0 sec. user=mdettweiler [2016-04-23 14:57:16] 951*2^1427131-1 is not prime. Res64: 2202C1ECFF85AEE6 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:12:08] 961*2^1427131-1 is not prime. Res64: F485137376EC871E Time : 0.0 sec. user=mdettweiler [2016-04-23 15:12:08] 969*2^1427131-1 is not prime. Res64: BE58D6E1168DD519 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:12:09] 669*2^1427132-1 is not prime. Res64: 6A7A7A410515B812 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:12:09] 699*2^1427132-1 is not prime. Res64: D30F1A37F167DCCA Time : 0.0 sec. user=mdettweiler [2016-04-23 15:12:10] 833*2^1427132-1 is not prime. Res64: AABC9A44932B102D Time : 0.0 sec. user=mdettweiler [2016-04-23 15:13:12] 855*2^1427132-1 is not prime. Res64: 48DA541B68059E5D Time : 0.0 sec. user=mdettweiler [2016-04-23 15:13:12] 893*2^1427132-1 is not prime. Res64: 504E0529982A7E3F Time : 0.0 sec. user=mdettweiler [2016-04-23 15:13:13] 957*2^1427132-1 is not prime. Res64: 62E5B0E3A19E1C06 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:13:13] 669*2^1427133-1 is not prime. Res64: 3E0DDFD192B5D5E3 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:13:13] 759*2^1427133-1 is not prime. Res64: 4C7E978FC880DE4E Time : 0.0 sec. user=mdettweiler [2016-04-23 15:41:24] 955*2^1427133-1 is not prime. Res64: AB84D06A3092B086 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:41:24] 605*2^1427134-1 is not prime. Res64: D64B9EA731F36EFE Time : 0.0 sec. user=mdettweiler [2016-04-23 15:41:24] 621*2^1427134-1 is not prime. Res64: 16D1C303529F512E Time : 0.0 sec. user=mdettweiler [2016-04-23 15:41:25] 657*2^1427134-1 is not prime. Res64: 0BA33AFACDAF74F1 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:41:25] 663*2^1427134-1 is not prime. Res64: FEB76EEB726384F2 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:42:32] 665*2^1427134-1 is not prime. Res64: 835216C672AEE5B3 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:42:32] 737*2^1427134-1 is not prime. Res64: 542F05D11EE0BD27 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:42:32] 741*2^1427134-1 is not prime. Res64: CCAD5BDEE7CF74D1 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:42:33] 791*2^1427134-1 is not prime. Res64: B3B290A4EAE4711D Time : 0.0 sec. user=mdettweiler [2016-04-23 15:42:33] 833*2^1427134-1 is not prime. Res64: 51FAC45614939814 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:57:21] 885*2^1427134-1 is not prime. Res64: C8BD6BB82E107928 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:57:22] 897*2^1427134-1 is not prime. Res64: 4E12DB31F2C3AA33 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:57:22] 987*2^1427134-1 is not prime. Res64: DF1934DE43046A4B Time : 0.0 sec. user=mdettweiler [2016-04-23 15:57:22] 993*2^1427134-1 is not prime. Res64: 50A2C247B60F6CFE Time : 0.0 sec. user=mdettweiler [2016-04-23 15:57:23] 609*2^1427135-1 is not prime. Res64: FE8062E9E71007D2 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:58:39] 669*2^1427135-1 is not prime. Res64: 3874EC94E00E5C2E Time : 0.0 sec. user=mdettweiler [2016-04-23 15:58:39] 705*2^1427135-1 is not prime. Res64: FD53BF7F0F908A2E Time : 0.0 sec. user=mdettweiler [2016-04-23 15:58:39] 843*2^1427135-1 is not prime. Res64: A03A89F3EA1EE059 Time : 0.0 sec. user=mdettweiler [2016-04-23 15:58:40] 985*2^1427135-1 is not prime. Res64: 3465F469740D46CB Time : 0.0 sec. user=mdettweiler [2016-04-23 15:58:40] 609*2^1427136-1 is not prime. Res64: 4F435CE22BF610D5 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:26:47] 693*2^1427136-1 is not prime. Res64: EA89A07E5471906B Time : 0.0 sec. user=mdettweiler [2016-04-23 16:26:48] 725*2^1427136-1 is not prime. Res64: DDAD256A439C743B Time : 0.0 sec. user=mdettweiler [2016-04-23 16:26:48] 735*2^1427136-1 is not prime. Res64: 4F02AB3F2C07ECD1 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:26:48] 747*2^1427136-1 is not prime. Res64: 960AE8B6B431B739 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:26:49] 849*2^1427136-1 is not prime. Res64: 26331CF7581D6DE7 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:27:43] 879*2^1427136-1 is not prime. Res64: DB6E0CCA30D2F148 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:27:43] 947*2^1427136-1 is not prime. Res64: EBBB915037ED9DDC Time : 0.0 sec. user=mdettweiler [2016-04-23 16:27:44] 637*2^1427137-1 is not prime. Res64: 63356873C42437C5 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:27:44] 801*2^1427137-1 is not prime. Res64: F8364DF119289CE3 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:27:44] 867*2^1427137-1 is not prime. Res64: 7858CB757449B877 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:42:38] 897*2^1427137-1 is not prime. Res64: CA0B4B247C3FD7B0 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:42:39] 713*2^1427138-1 is not prime. Res64: 4D38591A950C6B2A Time : 0.0 sec. user=mdettweiler [2016-04-23 16:42:39] 735*2^1427138-1 is not prime. Res64: 52886B4B9C841204 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:42:40] 755*2^1427138-1 is not prime. Res64: ECC6D66A856F68B0 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:42:40] 767*2^1427138-1 is not prime. Res64: 6BDC65DD68005429 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:44:00] 893*2^1427138-1 is not prime. Res64: 8E7F6B0358EA6F78 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:44:01] 911*2^1427138-1 is not prime. Res64: 2D6A296DC4B63EFE Time : 0.0 sec. user=mdettweiler [2016-04-23 16:44:01] 957*2^1427138-1 is not prime. Res64: EA9538BFF346863E Time : 0.0 sec. user=mdettweiler [2016-04-23 16:44:02] 649*2^1427139-1 is not prime. Res64: BE4DE46350CC6426 Time : 0.0 sec. user=mdettweiler [2016-04-23 16:44:02] 825*2^1427139-1 is not prime. Res64: 4C517ADB5270CC05 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:12:04] 843*2^1427139-1 is not prime. Res64: 192E48FFD5797FC8 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:12:05] 885*2^1427139-1 is not prime. Res64: 1A783595FEAB3901 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:12:05] 891*2^1427139-1 is not prime. Res64: A39F24D5392403C5 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:12:06] 895*2^1427139-1 is not prime. Res64: 8900BB597B423089 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:12:06] 913*2^1427139-1 is not prime. Res64: EE624838FCA03A03 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:13:09] 979*2^1427139-1 is not prime. Res64: F174C86FB8B73C30 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:13:10] 647*2^1427140-1 is not prime. Res64: 1518F696FA27F92F Time : 0.0 sec. user=mdettweiler [2016-04-23 17:13:10] 717*2^1427140-1 is not prime. Res64: A0DDA3EA11BE4741 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:13:11] 735*2^1427140-1 is not prime. Res64: 57A719D2835131B6 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:13:11] 803*2^1427140-1 is not prime. Res64: 36D9BD087CE50ABB Time : 0.0 sec. user=mdettweiler [2016-04-23 17:27:58] 897*2^1427140-1 is not prime. Res64: 66E79334CD00714A Time : 0.0 sec. user=mdettweiler [2016-04-23 17:27:58] 933*2^1427140-1 is not prime. Res64: AE3766A34EB9CC88 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:27:59] 601*2^1427141-1 is not prime. Res64: 6BB8915293D97B05 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:27:59] 607*2^1427141-1 is not prime. Res64: E4152F523CB6E267 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:27:59] 619*2^1427141-1 is not prime. Res64: D0D6A2268B51EB0E Time : 0.0 sec. user=mdettweiler [2016-04-23 17:29:33] 631*2^1427141-1 is not prime. Res64: 300E463711EB2626 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:29:34] 697*2^1427141-1 is not prime. Res64: 56525F90BAED91C0 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:29:34] 715*2^1427141-1 is not prime. Res64: 0301F293681956D4 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:29:34] 811*2^1427141-1 is not prime. Res64: C8D8336B587299DA Time : 0.0 sec. user=mdettweiler [2016-04-23 17:29:35] 949*2^1427141-1 is not prime. Res64: 232C5D1E74FFAB88 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:57:46] 987*2^1427141-1 is not prime. Res64: AA6DDD90321D4F03 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:57:47] 997*2^1427141-1 is not prime. Res64: E3A817C1963E60FB Time : 0.0 sec. user=mdettweiler [2016-04-23 17:57:47] 647*2^1427142-1 is not prime. Res64: C2DFACBA0F9177EC Time : 0.0 sec. user=mdettweiler [2016-04-23 17:57:47] 657*2^1427142-1 is not prime. Res64: 7BD2341202C7433D Time : 0.0 sec. user=mdettweiler [2016-04-23 17:57:48] 677*2^1427142-1 is not prime. Res64: 6372EFBA5310846B Time : 0.0 sec. user=mdettweiler [2016-04-23 17:58:52] 723*2^1427142-1 is not prime. Res64: 1194BF5D78BA0840 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:58:54] 863*2^1427142-1 is not prime. Res64: 479C1E87980F244C Time : 0.0 sec. user=mdettweiler [2016-04-23 17:58:54] 891*2^1427142-1 is not prime. Res64: 056808A10D6720F1 Time : 0.0 sec. user=mdettweiler [2016-04-23 17:58:55] 765*2^1427143-1 is not prime. Res64: 98568452E8326A0B Time : 0.0 sec. user=mdettweiler [2016-04-23 17:58:55] 615*2^1427144-1 is not prime. Res64: 5D0177F58EF623E7 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:15:15] 873*2^1427144-1 is not prime. Res64: 7955C9029A2A4DFB Time : 0.0 sec. user=mdettweiler [2016-04-23 18:15:16] 945*2^1427144-1 is not prime. Res64: 39AAED42546EB47E Time : 0.0 sec. user=mdettweiler [2016-04-23 18:15:16] 625*2^1427145-1 is not prime. Res64: 232CD81AB446D6AF Time : 0.0 sec. user=mdettweiler [2016-04-23 18:15:17] 721*2^1427145-1 is not prime. Res64: F7AF17D41D862EBD Time : 0.0 sec. user=mdettweiler [2016-04-23 18:15:17] 765*2^1427145-1 is not prime. Res64: 81C3BC288CDE6138 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:16:29] 861*2^1427145-1 is not prime. Res64: 950BAC029EC7CED7 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:16:30] 937*2^1427145-1 is not prime. Res64: C451FA5EB9A961FF Time : 0.0 sec. user=mdettweiler [2016-04-23 18:16:30] 975*2^1427145-1 is not prime. Res64: 1E4BB079C594F417 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:16:30] 979*2^1427145-1 is not prime. Res64: D2544492897F244F Time : 0.0 sec. user=mdettweiler [2016-04-23 18:16:31] 663*2^1427146-1 is not prime. Res64: 5E44A89DE6BD6637 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:46:55] 765*2^1427146-1 is not prime. Res64: B8955605132292C8 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:46:56] 777*2^1427146-1 is not prime. Res64: 0BB75ED078841B22 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:46:56] 813*2^1427146-1 is not prime. Res64: FF944D381B74BD24 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:46:56] 933*2^1427146-1 is not prime. Res64: 5CC58BB9C7F8B729 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:46:56] 941*2^1427146-1 is not prime. Res64: D0B3017629EF8D06 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:48:04] 703*2^1427147-1 is not prime. Res64: 4404520E39F3131B Time : 0.0 sec. user=mdettweiler [2016-04-23 18:48:04] 711*2^1427147-1 is not prime. Res64: ED00E68E5A1DBF40 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:48:04] 825*2^1427147-1 is not prime. Res64: 875D8AAF9F513D86 Time : 0.0 sec. user=mdettweiler [2016-04-23 18:48:04] 903*2^1427147-1 is not prime. Res64: 221FABA36D8A1E6C Time : 0.0 sec. user=mdettweiler [2016-04-23 18:48:05] 927*2^1427148-1 is not prime. Res64: 51F81D4B9281AEFF Time : 0.0 sec. user=mdettweiler [2016-04-23 19:03:09] 929*2^1427148-1 is not prime. Res64: 2BBCF19825A6EF5A Time : 0.0 sec. user=mdettweiler [2016-04-23 19:03:10] 969*2^1427148-1 is not prime. Res64: 28908DAE6247CBCA Time : 0.0 sec. user=mdettweiler [2016-04-23 19:03:11] 729*2^1427149-1 is not prime. Res64: CBBD49AEA257C920 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:03:12] 771*2^1427149-1 is not prime. Res64: 6BE3E655A1CE7E54 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:03:13] 831*2^1427149-1 is not prime. Res64: 76C60BEFF238ED7A Time : 0.0 sec. user=mdettweiler [2016-04-23 19:04:47] 833*2^1427150-1 is not prime. Res64: 948234019D5E1A8D Time : 0.0 sec. user=mdettweiler [2016-04-23 19:04:48] 861*2^1427150-1 is not prime. Res64: 4AB41B7CBCCE56E7 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:04:49] 927*2^1427150-1 is not prime. Res64: 7C7F0EA65AA3733C Time : 0.0 sec. user=mdettweiler [2016-04-23 19:04:49] 965*2^1427150-1 is not prime. Res64: E491144072E714C9 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:04:50] 1001*2^1427150-1 is not prime. Res64: FB4052D12F5B4BD5 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:16] 709*2^1427151-1 is not prime. Res64: 52279A384A00E427 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:17] 859*2^1427151-1 is not prime. Res64: 7B41F059787665AC Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:17] 871*2^1427151-1 is not prime. Res64: AFE3EFB1F0EED0FD Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:17] 973*2^1427151-1 is not prime. Res64: 8B5ED378D30AAF8B Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:18] 605*2^1427152-1 is not prime. Res64: 46A008FE66691978 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:38] 665*2^1427152-1 is not prime. Res64: ADD5DA15760214FF Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:38] 693*2^1427152-1 is not prime. Res64: C6318A8D754FFB49 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:39] 873*2^1427152-1 is not prime. Res64: FE6E8E8B52DF947D Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:39] 903*2^1427152-1 is not prime. Res64: 282D5D5B362F6BFB Time : 0.0 sec. user=mdettweiler [2016-04-23 19:35:39] 915*2^1427152-1 is not prime. Res64: 80C746497019603B Time : 0.0 sec. user=mdettweiler [2016-04-23 19:51:35] 965*2^1427152-1 is not prime. Res64: 7320A2B713FEDC96 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:51:35] 691*2^1427153-1 is not prime. Res64: 776260CD5D05B03B Time : 0.0 sec. user=mdettweiler [2016-04-23 19:51:36] 699*2^1427153-1 is not prime. Res64: 48B79454BE3A8B2D Time : 0.0 sec. user=mdettweiler [2016-04-23 19:51:36] 837*2^1427153-1 is not prime. Res64: 994A54CA2C99CD26 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:51:36] 967*2^1427153-1 is not prime. Res64: C52EFA378865D917 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:53:45] 981*2^1427153-1 is not prime. Res64: 20938627BBEF8670 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:53:45] 987*2^1427153-1 is not prime. Res64: 5BDD6D84436E28A3 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:53:45] 627*2^1427154-1 is not prime. Res64: 0184FCC9756B4FBF Time : 0.0 sec. user=mdettweiler [2016-04-23 19:53:46] 633*2^1427154-1 is not prime. Res64: F63186ACD21A64A0 Time : 0.0 sec. user=mdettweiler [2016-04-23 19:53:46] 705*2^1427154-1 is not prime. Res64: 0347E9B0CA13293A Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:44] 815*2^1427154-1 is not prime. Res64: 14F270C15E5A6951 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:44] 851*2^1427154-1 is not prime. Res64: 3FAC3C014DCE6DC5 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:45] 903*2^1427154-1 is not prime. Res64: EE85DB806193EE04 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:45] 927*2^1427154-1 is not prime. Res64: 865EEA2F90563484 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:45] 945*2^1427154-1 is not prime. Res64: D688571E81A5F425 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:58] 733*2^1427155-1 is not prime. Res64: 22B8E2BD9C41CCFC Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:58] 829*2^1427155-1 is not prime. Res64: D7B81664CB02683F Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:59] 915*2^1427155-1 is not prime. Res64: 3E53B3BA7D967EC7 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:26:59] 961*2^1427155-1 is not prime. Res64: 6E32D92299887113 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:27:00] 999*2^1427155-1 is not prime. Res64: A49F0BD80E2CB87E Time : 0.0 sec. user=mdettweiler [2016-04-23 20:42:35] 785*2^1427156-1 is not prime. Res64: 4B49744E96530C02 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:42:36] 969*2^1427156-1 is not prime. Res64: 087C570F3A5A20A7 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:42:36] 983*2^1427156-1 is not prime. Res64: BCD19D1E0F8A8852 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:42:36] 627*2^1427157-1 is not prime. Res64: 1AB712A8F738BB6F Time : 0.0 sec. user=mdettweiler [2016-04-23 20:42:37] 681*2^1427157-1 is not prime. Res64: 27D11DDC5EC67919 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:44:07] 735*2^1427157-1 is not prime. Res64: 52E982BEAAA70B4E Time : 0.0 sec. user=mdettweiler [2016-04-23 20:44:08] 805*2^1427157-1 is not prime. Res64: 41D301D02495DE91 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:44:08] 867*2^1427157-1 is not prime. Res64: FF987EE98EF88B30 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:44:09] 605*2^1427158-1 is not prime. Res64: 72909FEC3FB67418 Time : 0.0 sec. user=mdettweiler [2016-04-23 20:44:09] 833*2^1427158-1 is not prime. Res64: 6DCAC137BA7EE40E Time : 0.0 sec. user=mdettweiler [2016-04-23 21:11:52] 957*2^1427158-1 is not prime. Res64: B64970F0EEE8F41E Time : 0.0 sec. user=mdettweiler [2016-04-23 21:11:53] 633*2^1427159-1 is not prime. Res64: EC32799FDCF4585D Time : 0.0 sec. user=mdettweiler [2016-04-23 21:11:53] 661*2^1427159-1 is not prime. Res64: 83D304015B2308EF Time : 0.0 sec. user=mdettweiler [2016-04-23 21:11:54] 745*2^1427159-1 is not prime. Res64: 3867D2A8FAE0E6DD Time : 0.0 sec. user=mdettweiler [2016-04-23 21:11:54] 841*2^1427159-1 is not prime. Res64: 3EF42D516B35D4FF Time : 0.0 sec. user=mdettweiler [2016-04-23 21:12:17] 693*2^1427160-1 is not prime. Res64: 3CBE1FA1ECF7E730 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:12:18] 723*2^1427160-1 is not prime. Res64: CE7BC90F52FC69BE Time : 0.0 sec. user=mdettweiler [2016-04-23 21:12:18] 735*2^1427160-1 is not prime. Res64: 57A379345A865F90 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:12:19] 747*2^1427160-1 is not prime. Res64: A7F837661261C495 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:12:19] 887*2^1427160-1 is not prime. Res64: 6A58E62E2C62A908 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:27:42] 607*2^1427161-1 is not prime. Res64: D84BB0447197EB1C Time : 0.0 sec. user=mdettweiler [2016-04-23 21:27:43] 649*2^1427161-1 is not prime. Res64: D51A81921CF4855A Time : 0.0 sec. user=mdettweiler [2016-04-23 21:27:43] 741*2^1427161-1 is not prime. Res64: D01426EDEE6231D4 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:27:44] 775*2^1427161-1 is not prime. Res64: EF4410C3AB1021F9 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:27:44] 789*2^1427161-1 is not prime. Res64: 7472F5CCC0F3BFB9 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:29:17] 939*2^1427161-1 is not prime. Res64: 61A4170F0F714257 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:29:17] 955*2^1427161-1 is not prime. Res64: 5101D878C0F4C850 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:29:19] 999*2^1427161-1 is not prime. Res64: 3E5D1502DCD7322E Time : 0.0 sec. user=mdettweiler [2016-04-23 21:29:19] 623*2^1427162-1 is not prime. Res64: 1C009FDBC496DEDA Time : 0.0 sec. user=mdettweiler [2016-04-23 21:29:20] 651*2^1427162-1 is not prime. Res64: 4B6B075F50541C04 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:01] 665*2^1427162-1 is not prime. Res64: 16E6EFFCEC310076 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:02] 705*2^1427162-1 is not prime. Res64: DDDD1E8AF9FF84CB Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:02] 755*2^1427162-1 is not prime. Res64: EF09F570D40D7BD2 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:03] 837*2^1427162-1 is not prime. Res64: 62655FFFB51F590E Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:03] 625*2^1427163-1 is not prime. Res64: 4EDDC3A015F7AF9E Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:42] 705*2^1427163-1 is not prime. Res64: 3892D8FB608DD2BE Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:43] 723*2^1427163-1 is not prime. Res64: A73165B001BD126E Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:43] 739*2^1427163-1 is not prime. Res64: 36FEAD17C78F29D8 Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:43] 745*2^1427163-1 is not prime. Res64: 75D8432DD237B16C Time : 0.0 sec. user=mdettweiler [2016-04-23 21:57:44] 829*2^1427163-1 is not prime. Res64: EFC2C6D91948BBBB Time : 0.0 sec. user=mdettweiler [2016-04-23 22:12:59] 879*2^1427163-1 is not prime. Res64: 2AB936E44FD278D4 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:13:00] 895*2^1427163-1 is not prime. Res64: 29E31521B1A7C74B Time : 0.0 sec. user=mdettweiler [2016-04-23 22:13:00] 605*2^1427164-1 is not prime. Res64: 12DEF20B6D3C13E1 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:13:01] 639*2^1427164-1 is not prime. Res64: F5A23686B7062923 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:13:01] 675*2^1427164-1 is not prime. Res64: 23C92035FFAD845E Time : 0.0 sec. user=mdettweiler [2016-04-23 22:14:48] 693*2^1427164-1 is not prime. Res64: 341880D1B38D685C Time : 0.0 sec. user=mdettweiler [2016-04-23 22:14:48] 819*2^1427164-1 is not prime. Res64: 57278DFCC4EC0B3C Time : 0.0 sec. user=mdettweiler [2016-04-23 22:14:49] 825*2^1427164-1 is not prime. Res64: 353B8C4BDBDB2C82 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:14:49] 887*2^1427164-1 is not prime. Res64: EB67EC6FD2DCF971 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:14:49] 909*2^1427164-1 is not prime. Res64: 55A0D7E00DA9C811 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:42:31] 915*2^1427164-1 is not prime. Res64: 23DD6F566A0E75EE Time : 0.0 sec. user=mdettweiler [2016-04-23 22:42:32] 965*2^1427164-1 is not prime. Res64: 03B28B7390F90AE7 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:42:32] 989*2^1427164-1 is not prime. Res64: 30ABB9AE89680B44 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:42:32] 649*2^1427165-1 is not prime. Res64: 6CBC7C596B8ED575 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:42:33] 657*2^1427165-1 is not prime. Res64: 64B16A3E209DBE77 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:43:02] 711*2^1427165-1 is not prime. Res64: EB8F9F2A0FE571EE Time : 0.0 sec. user=mdettweiler [2016-04-23 22:43:02] 771*2^1427165-1 is not prime. Res64: 1343961682061856 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:43:03] 825*2^1427165-1 is not prime. Res64: 927F9BAF01C375B8 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:43:03] 981*2^1427165-1 is not prime. Res64: 0938E1A965C0036A Time : 0.0 sec. user=mdettweiler [2016-04-23 22:43:03] 991*2^1427165-1 is not prime. Res64: 3410BDBFD7B37A17 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:58:31] 695*2^1427166-1 is not prime. Res64: 21A34BA850769EC7 Time : 0.0 sec. user=mdettweiler [2016-04-23 22:58:32] 711*2^1427166-1 is not prime. Res64: C220A614E5806D7A Time : 0.0 sec. user=mdettweiler [2016-04-23 22:58:32] 603*2^1427167-1 is not prime. Res64: 69161BCEBDBBC4FE Time : 0.0 sec. user=mdettweiler [2016-04-23 22:58:32] 793*2^1427167-1 is not prime. Res64: 0E03025C83CEAD5A Time : 0.0 sec. user=mdettweiler [2016-04-23 22:58:33] 873*2^1427167-1 is not prime. Res64: 612C3C1F9F42D195 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:00:20] 895*2^1427167-1 is not prime. Res64: A79B8D73B63735B9 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:00:22] 925*2^1427167-1 is not prime. Res64: FB5413D1B90CFC60 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:00:23] 951*2^1427167-1 is not prime. Res64: 7ECB535AEC84D33A Time : 0.0 sec. user=mdettweiler [2016-04-23 23:00:24] 973*2^1427167-1 is not prime. Res64: 6E9EB1F173D00549 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:00:25] 975*2^1427167-1 is not prime. Res64: E5C7783F7F267E1D Time : 0.0 sec. user=mdettweiler [2016-04-23 23:31:33] 767*2^1427168-1 is not prime. Res64: 944B2C22641CC0DE Time : 0.0 sec. user=mdettweiler [2016-04-23 23:31:34] 923*2^1427168-1 is not prime. Res64: A4B3A5E38F16CF82 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:31:34] 885*2^1427170-1 is not prime. Res64: DB7774A3D77ED64C Time : 0.0 sec. user=mdettweiler [2016-04-23 23:31:34] 923*2^1427170-1 is not prime. Res64: 1E98B67971C2EF24 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:31:34] 933*2^1427170-1 is not prime. Res64: 467995843CC06167 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:32:45] 945*2^1427170-1 is not prime. Res64: 8D54EC1C0562ACA7 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:32:46] 603*2^1427171-1 is not prime. Res64: 914793BB97E43709 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:32:46] 741*2^1427171-1 is not prime. Res64: 1560443F2ED5EF5E Time : 0.0 sec. user=mdettweiler [2016-04-23 23:32:47] 895*2^1427171-1 is not prime. Res64: 38F0FC6E303EECB8 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:32:47] 945*2^1427171-1 is not prime. Res64: 7C479011FB389F62 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:49:54] 629*2^1427172-1 is not prime. Res64: F3BD5A395B7ACE18 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:49:54] 759*2^1427172-1 is not prime. Res64: F333E1C453EA0A1E Time : 0.0 sec. user=mdettweiler [2016-04-23 23:49:55] 879*2^1427172-1 is not prime. Res64: 51F655253837F154 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:49:55] 639*2^1427173-1 is not prime. Res64: 098CE312B2B0DD07 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:49:55] 651*2^1427173-1 is not prime. Res64: E8A93656DC522C72 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:52:00] 727*2^1427173-1 is not prime. Res64: DAF2709B77121599 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:52:00] 769*2^1427173-1 is not prime. Res64: 4A9EFFD5EB16FFC6 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:52:01] 817*2^1427173-1 is not prime. Res64: CF4659EC34B8C455 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:52:01] 861*2^1427173-1 is not prime. Res64: ED82B3240ADC8A39 Time : 0.0 sec. user=mdettweiler [2016-04-23 23:52:01] 797*2^1427174-1 is not prime. Res64: 320C88259375C613 Time : 0.0 sec.