user=mdettweiler [2015-11-21 00:02:25] 875*2^1415594-1 is not prime. Res64: 661D45FE6ED9280C Time : 0.0 sec. user=mdettweiler [2015-11-21 00:02:25] 945*2^1415594-1 is not prime. Res64: E5B4313016EAECBA Time : 0.0 sec. user=mdettweiler [2015-11-21 00:06:50] 983*2^1415594-1 is not prime. Res64: DBE0073F7ED1D975 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:06:51] 1001*2^1415594-1 is not prime. Res64: FDE10D21DE82DCAD Time : 0.0 sec. user=mdettweiler [2015-11-21 00:07:24] 625*2^1415595-1 is not prime. Res64: CB514AAEE2DFD929 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:07:25] 699*2^1415595-1 is not prime. Res64: D12654CC93CE240A Time : 0.0 sec. user=mdettweiler [2015-11-21 00:19:12] 775*2^1415595-1 is not prime. Res64: 45397E6EABB80C0D Time : 0.0 sec. user=mdettweiler [2015-11-21 00:19:12] 783*2^1415595-1 is not prime. Res64: E4B203508C4D7429 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:22:54] 871*2^1415595-1 is not prime. Res64: 8812819E06169BD6 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:22:54] 873*2^1415595-1 is not prime. Res64: 14F4004A3A457AE6 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:28:08] 963*2^1415595-1 is not prime. Res64: 0F14B2DAE0FA7B68 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:28:08] 695*2^1415596-1 is not prime. Res64: 719DE9AE206E5F9D Time : 0.0 sec. user=mdettweiler [2015-11-21 00:28:34] 869*2^1415596-1 is not prime. Res64: 6CA4706C1E8FF54D Time : 0.0 sec. user=mdettweiler [2015-11-21 00:28:34] 927*2^1415596-1 is not prime. Res64: 87033783190012FD Time : 0.0 sec. user=mdettweiler [2015-11-21 00:39:26] 939*2^1415596-1 is not prime. Res64: F30947A638E2AB11 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:39:27] 957*2^1415596-1 is not prime. Res64: 4801E6BA6E4E838B Time : 0.0 sec. user=mdettweiler [2015-11-21 00:41:58] 993*2^1415596-1 is not prime. Res64: A5F8A66F6311039D Time : 0.0 sec. user=mdettweiler [2015-11-21 00:41:58] 607*2^1415597-1 is not prime. Res64: FD2ED17895285CB4 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:46:40] 669*2^1415597-1 is not prime. Res64: DEF7FA791F2C3DE1 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:46:41] 747*2^1415597-1 is not prime. Res64: 46DDC742DA3741B1 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:46:57] 861*2^1415597-1 is not prime. Res64: 271EBD4850A0964D Time : 0.0 sec. user=mdettweiler [2015-11-21 00:46:57] 979*2^1415597-1 is not prime. Res64: F94DDB9EC425277C Time : 0.0 sec. user=mdettweiler [2015-11-21 00:57:44] 725*2^1415598-1 is not prime. Res64: 43817550B9C530A0 Time : 0.0 sec. user=mdettweiler [2015-11-21 00:57:44] 887*2^1415598-1 is not prime. Res64: 18EBCBE83F2F2EF8 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:00:11] 933*2^1415598-1 is not prime. Res64: 0D08C85C152CC496 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:00:11] 975*2^1415598-1 is not prime. Res64: D5DE596ACADD2710 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:04:51] 977*2^1415598-1 is not prime. Res64: EA9FAE01FA2FFA69 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:04:52] 621*2^1415599-1 is not prime. Res64: 6D709553B5290745 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:05:15] 685*2^1415599-1 is not prime. Res64: CC8FAB2D768F91EA Time : 0.0 sec. user=mdettweiler [2015-11-21 01:05:16] 723*2^1415599-1 is not prime. Res64: 8CBD331CB80BEFA3 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:15:58] 751*2^1415599-1 is not prime. Res64: E27B0C207485CA2A Time : 0.0 sec. user=mdettweiler [2015-11-21 01:15:58] 793*2^1415599-1 is not prime. Res64: 67213D2B66269DFC Time : 0.0 sec. user=mdettweiler [2015-11-21 01:18:36] 859*2^1415599-1 is not prime. Res64: 4D2B0D7CF940985D Time : 0.0 sec. user=mdettweiler [2015-11-21 01:18:36] 873*2^1415599-1 is not prime. Res64: 8AED329740CC639D Time : 0.0 sec. user=mdettweiler [2015-11-21 01:23:23] 909*2^1415599-1 is not prime. Res64: 80121E0AED43F58C Time : 0.0 sec. user=mdettweiler [2015-11-21 01:23:23] 961*2^1415599-1 is not prime. Res64: A616E7874465C4CE Time : 0.0 sec. user=mdettweiler [2015-11-21 01:23:39] 615*2^1415600-1 is not prime. Res64: DCE4D262550A0BC7 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:23:39] 665*2^1415600-1 is not prime. Res64: 2E3D9F4745AA1072 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:34:11] 819*2^1415600-1 is not prime. Res64: F549FC06AEB53177 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:34:11] 879*2^1415600-1 is not prime. Res64: 5F3BB339CCEE2535 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:36:48] 999*2^1415600-1 is not prime. Res64: E7BD6D4010D18168 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:36:49] 625*2^1415601-1 is not prime. Res64: 2CC5AE960BCF84CB Time : 0.0 sec. user=mdettweiler [2015-11-21 01:41:41] 717*2^1415601-1 is not prime. Res64: E93A44F930CF042A Time : 0.0 sec. user=mdettweiler [2015-11-21 01:41:42] 777*2^1415601-1 is not prime. Res64: 2B53D11687903AA0 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:42:03] 795*2^1415601-1 is not prime. Res64: 8143B4353C1F3F74 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:42:03] 861*2^1415601-1 is not prime. Res64: D3CBA8678E9AC3B2 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:52:30] 889*2^1415601-1 is not prime. Res64: A392AEC1CFDAA54D Time : 0.0 sec. user=mdettweiler [2015-11-21 01:52:30] 951*2^1415601-1 is not prime. Res64: 68AD66EC05D91B79 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:55:05] 955*2^1415601-1 is not prime. Res64: 01789211568A5B40 Time : 0.0 sec. user=mdettweiler [2015-11-21 01:55:05] 623*2^1415602-1 is not prime. Res64: 008526EB027C1405 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:00:06] 735*2^1415602-1 is not prime. Res64: 7B7B3337E7F31E16 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:00:06] 737*2^1415602-1 is not prime. Res64: F9581B2EF70308F9 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:00:26] 755*2^1415602-1 is not prime. Res64: 818CFE8E124696EA Time : 0.0 sec. user=mdettweiler [2015-11-21 02:00:27] 777*2^1415602-1 is not prime. Res64: CCFB85CFE01224A2 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:10:53] 821*2^1415602-1 is not prime. Res64: 62D222104DDB7A51 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:10:54] 833*2^1415602-1 is not prime. Res64: 03B57C5E0BF5FE26 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:13:26] 941*2^1415602-1 is not prime. Res64: E877A32435F1B7DF Time : 0.0 sec. user=mdettweiler [2015-11-21 02:13:26] 995*2^1415602-1 is not prime. Res64: A5E6513477DA4967 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:18:28] 615*2^1415603-1 is not prime. Res64: 8E79E4496E637719 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:18:29] 703*2^1415603-1 is not prime. Res64: B60D873E62286083 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:18:51] 715*2^1415603-1 is not prime. Res64: BB10AF36E2DC006F Time : 0.0 sec. user=mdettweiler [2015-11-21 02:18:52] 781*2^1415603-1 is not prime. Res64: 87BB67581F16B6FF Time : 0.0 sec. user=mdettweiler [2015-11-21 02:29:08] 805*2^1415603-1 is not prime. Res64: 3851FAA6CA32418B Time : 0.0 sec. user=mdettweiler [2015-11-21 02:29:08] 955*2^1415603-1 is not prime. Res64: 027641489CF2D8C6 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:31:38] 635*2^1415604-1 is not prime. Res64: 56C59CB3D1ED73C4 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:31:38] 665*2^1415604-1 is not prime. Res64: 40B92BC70A1E93B6 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:36:43] 809*2^1415604-1 is not prime. Res64: 477DD82EFA90323C Time : 0.0 sec. user=mdettweiler [2015-11-21 02:36:44] 915*2^1415604-1 is not prime. Res64: 1D0DA2458CEBB37D Time : 0.0 sec. user=mdettweiler [2015-11-21 02:37:02] 929*2^1415604-1 is not prime. Res64: 1B9BBCE6B381FFD6 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:37:02] 983*2^1415604-1 is not prime. Res64: 2F9DCC9896B06C25 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:47:35] 607*2^1415605-1 is not prime. Res64: 4B67F7088E889703 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:47:35] 645*2^1415605-1 is not prime. Res64: 9D538BAE58D93A03 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:50:00] 771*2^1415605-1 is not prime. Res64: 32D08EEE59A6F71E Time : 0.0 sec. user=mdettweiler [2015-11-21 02:50:00] 789*2^1415605-1 is not prime. Res64: 405319D050D43DAE Time : 0.0 sec. user=mdettweiler [2015-11-21 02:55:29] 975*2^1415605-1 is not prime. Res64: CF14311D5AA8B355 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:55:30] 603*2^1415606-1 is not prime. Res64: 859092DE312D7265 Time : 0.0 sec. user=mdettweiler [2015-11-21 02:55:32] 799*2^1415605-1 is not prime. Res64: 0370DEEDDC6DDC7C Time : 0.0 sec. user=mdettweiler [2015-11-21 02:55:32] 957*2^1415605-1 is not prime. Res64: 71A13E38BC64C952 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:05:52] 641*2^1415606-1 is not prime. Res64: 8D36442B40C05FFC Time : 0.0 sec. user=mdettweiler [2015-11-21 03:05:54] 705*2^1415606-1 is not prime. Res64: 96E21921FE268320 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:08:12] 785*2^1415606-1 is not prime. Res64: 1554EAEC407DBD92 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:08:15] 815*2^1415606-1 is not prime. Res64: 414E8D65B8300161 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:13:44] 903*2^1415606-1 is not prime. Res64: 06034B07A5557DD2 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:13:45] 935*2^1415606-1 is not prime. Res64: AB2CEFF9515EEB2D Time : 0.0 sec. user=mdettweiler [2015-11-21 03:14:06] 861*2^1415606-1 is not prime. Res64: B1B1F374D40B6515 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:14:07] 897*2^1415606-1 is not prime. Res64: 98A6750F47878E45 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:25:13] 981*2^1415606-1 is not prime. Res64: 1797DB07BB502FA8 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:25:14] 987*2^1415606-1 is not prime. Res64: B421DD80EB5D4E51 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:27:35] 633*2^1415607-1 is not prime. Res64: 7725237F1A5B77C0 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:27:36] 765*2^1415607-1 is not prime. Res64: 45F1A81B95BB574F Time : 0.0 sec. user=mdettweiler [2015-11-21 03:32:24] 933*2^1415607-1 is not prime. Res64: 2913A5C5AE7EFF71 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:32:25] 961*2^1415607-1 is not prime. Res64: 7CEC5D07129E6E11 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:32:48] 743*2^1415608-1 is not prime. Res64: 975E25595F0E950F Time : 0.0 sec. user=mdettweiler [2015-11-21 03:32:49] 797*2^1415608-1 is not prime. Res64: 4F653B23BC047293 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:43:33] 803*2^1415608-1 is not prime. Res64: CC0DE236D9946BE1 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:43:34] 839*2^1415608-1 is not prime. Res64: D31A12031EEBC304 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:45:56] 899*2^1415608-1 is not prime. Res64: B165E14428328A95 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:46:03] 909*2^1415608-1 is not prime. Res64: 0FBB9CEAB1EECDC0 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:50:43] 657*2^1415609-1 is not prime. Res64: 88C3E97078047B98 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:50:45] 679*2^1415609-1 is not prime. Res64: 1A9D182BE83E92F4 Time : 0.0 sec. user=mdettweiler [2015-11-21 03:51:02] 711*2^1415609-1 is not prime. Res64: D86169A91802FEDA Time : 0.0 sec. user=mdettweiler [2015-11-21 03:51:03] 821*2^1415610-1 is not prime. Res64: 3B119393079F9432 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:02:14] 851*2^1415610-1 is not prime. Res64: D8154E3E69F73B8F Time : 0.0 sec. user=mdettweiler [2015-11-21 04:02:15] 893*2^1415610-1 is not prime. Res64: C795873278B61A97 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:04:36] 619*2^1415611-1 is not prime. Res64: B1B0F20F3DA63D4E Time : 0.0 sec. user=mdettweiler [2015-11-21 04:04:37] 645*2^1415611-1 is not prime. Res64: 4FE5885B99664DF4 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:09:05] 651*2^1415611-1 is not prime. Res64: 7674A3C2DC3D2A57 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:09:05] 745*2^1415611-1 is not prime. Res64: BFBB0F35D7DC9662 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:09:25] 793*2^1415611-1 is not prime. Res64: 1C09D3A51589B2BB Time : 0.0 sec. user=mdettweiler [2015-11-21 04:09:26] 805*2^1415611-1 is not prime. Res64: A1BE81F47FF3FE0B Time : 0.0 sec. user=mdettweiler [2015-11-21 04:20:43] 873*2^1415611-1 is not prime. Res64: 30110EAAC78215DC Time : 0.0 sec. user=mdettweiler [2015-11-21 04:20:45] 885*2^1415611-1 is not prime. Res64: 69437635728CB9FC Time : 0.0 sec. user=mdettweiler [2015-11-21 04:22:56] 719*2^1415612-1 is not prime. Res64: 4475AA76EB048462 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:22:56] 759*2^1415612-1 is not prime. Res64: 1D855A0D3E44F12B Time : 0.0 sec. user=mdettweiler [2015-11-21 04:27:19] 777*2^1415612-1 is not prime. Res64: CD3358187E81B39B Time : 0.0 sec. user=mdettweiler [2015-11-21 04:27:19] 929*2^1415612-1 is not prime. Res64: 3D53BE546373B462 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:27:45] 987*2^1415612-1 is not prime. Res64: AC6931A489EC5F7C Time : 0.0 sec. user=mdettweiler [2015-11-21 04:27:45] 691*2^1415613-1 is not prime. Res64: E80BC8B84884AA62 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:39:15] 727*2^1415613-1 is not prime. Res64: 58144DFA48DE22E9 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:39:16] 745*2^1415613-1 is not prime. Res64: 9386469B20A4695E Time : 0.0 sec. user=mdettweiler [2015-11-21 04:41:14] 951*2^1415613-1 is not prime. Res64: A3F355FBA3567F1D Time : 0.0 sec. user=mdettweiler [2015-11-21 04:41:14] 617*2^1415614-1 is not prime. Res64: 156F083A7F7DDE9E Time : 0.0 sec. user=mdettweiler [2015-11-21 04:45:36] 815*2^1415614-1 is not prime. Res64: 21F18A921D3812DC Time : 0.0 sec. user=mdettweiler [2015-11-21 04:45:37] 825*2^1415614-1 is not prime. Res64: CD472E6AF3918F7E Time : 0.0 sec. user=mdettweiler [2015-11-21 04:46:05] 827*2^1415614-1 is not prime. Res64: D3DAC0068266014E Time : 0.0 sec. user=mdettweiler [2015-11-21 04:46:06] 917*2^1415614-1 is not prime. Res64: 4E522E41397658B5 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:57:28] 983*2^1415614-1 is not prime. Res64: 3C05815EBC393516 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:57:28] 679*2^1415615-1 is not prime. Res64: F5AD29CA2D25AFE0 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:59:26] 781*2^1415615-1 is not prime. Res64: 8D79297B17951CA7 Time : 0.0 sec. user=mdettweiler [2015-11-21 04:59:26] 843*2^1415615-1 is not prime. Res64: E1C48B3F25D29AAF Time : 0.0 sec. user=mdettweiler [2015-11-21 05:03:44] 885*2^1415615-1 is not prime. Res64: 9B74C599731CF191 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:03:45] 999*2^1415615-1 is not prime. Res64: 97E86D51255EF1DB Time : 0.0 sec. user=mdettweiler [2015-11-21 05:04:22] 699*2^1415616-1 is not prime. Res64: 0F8CE5C8A20F8522 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:04:23] 747*2^1415616-1 is not prime. Res64: A478B98CCBB8BBF4 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:15:37] 765*2^1415616-1 is not prime. Res64: 0809506FE68AB478 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:15:38] 945*2^1415616-1 is not prime. Res64: 56777A7F8EB6107B Time : 0.0 sec. user=mdettweiler [2015-11-21 05:17:40] 625*2^1415617-1 is not prime. Res64: E0D549ABE57BCB2D Time : 0.0 sec. user=mdettweiler [2015-11-21 05:17:41] 637*2^1415617-1 is not prime. Res64: 494E6D9483A21F74 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:21:48] 759*2^1415617-1 is not prime. Res64: 461A19A4D38CDA3C Time : 0.0 sec. user=mdettweiler [2015-11-21 05:21:48] 829*2^1415617-1 is not prime. Res64: 814F3AC4479AD126 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:22:37] 931*2^1415617-1 is not prime. Res64: E99873AE65E55FD6 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:22:38] 633*2^1415618-1 is not prime. Res64: 5767F32DF238FE87 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:33:56] 683*2^1415618-1 is not prime. Res64: 0BE710362349E82A Time : 0.0 sec. user=mdettweiler [2015-11-21 05:33:57] 713*2^1415618-1 is not prime. Res64: 552EFBAB67D29EC8 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:35:54] 753*2^1415618-1 is not prime. Res64: 0A3A6A5AE259D2F9 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:35:54] 797*2^1415618-1 is not prime. Res64: 8CB849E8DA29B925 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:39:56] 857*2^1415618-1 is not prime. Res64: 3336D2CE65560224 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:39:56] 927*2^1415618-1 is not prime. Res64: 215B31A81D94B440 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:40:49] 649*2^1415619-1 is not prime. Res64: 70B16064633D60C5 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:40:49] 663*2^1415619-1 is not prime. Res64: CD490E653D9FAAFD Time : 0.0 sec. user=mdettweiler [2015-11-21 05:52:08] 709*2^1415619-1 is not prime. Res64: 5398F83777F1364E Time : 0.0 sec. user=mdettweiler [2015-11-21 05:52:09] 711*2^1415619-1 is not prime. Res64: AF749891AFCD3402 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:54:10] 789*2^1415619-1 is not prime. Res64: F9A7D56C8F645937 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:54:11] 853*2^1415619-1 is not prime. Res64: 78F172A1D5494E39 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:58:07] 885*2^1415619-1 is not prime. Res64: 9224542E8FEC0E15 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:58:08] 903*2^1415619-1 is not prime. Res64: 7B1DD1324342C1B2 Time : 0.0 sec. user=mdettweiler [2015-11-21 05:59:07] 635*2^1415620-1 is not prime. Res64: 3F249D7107BDB1FB Time : 0.0 sec. user=mdettweiler [2015-11-21 05:59:07] 665*2^1415620-1 is not prime. Res64: AEE5B0408659E739 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:10:25] 699*2^1415620-1 is not prime. Res64: BFD5B869C8746871 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:10:25] 719*2^1415620-1 is not prime. Res64: 67CBEA1A5B1EF2CE Time : 0.0 sec. user=mdettweiler [2015-11-21 06:12:17] 765*2^1415620-1 is not prime. Res64: AB53F1A5F32E04A6 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:12:18] 929*2^1415620-1 is not prime. Res64: 8C2BEC89CE84B642 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:16:24] 657*2^1415621-1 is not prime. Res64: B07653A6820BB713 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:16:26] 789*2^1415621-1 is not prime. Res64: 739BE4D0269A851B Time : 0.0 sec. user=mdettweiler [2015-11-21 06:17:06] 819*2^1415621-1 is not prime. Res64: 8C6DCBB80D8E99D2 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:17:07] 859*2^1415621-1 is not prime. Res64: A920E466BE84B1A3 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:28:35] 879*2^1415621-1 is not prime. Res64: 350036F61640E3F1 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:28:35] 621*2^1415622-1 is not prime. Res64: E800AFDDE86C2352 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:30:27] 665*2^1415622-1 is not prime. Res64: B8A72632FCE77120 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:30:28] 731*2^1415622-1 is not prime. Res64: 9CB4CAEC2286CF65 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:34:38] 965*2^1415622-1 is not prime. Res64: F6CF9829015D56D8 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:34:39] 633*2^1415623-1 is not prime. Res64: 49E4C772E89C16DC Time : 0.0 sec. user=mdettweiler [2015-11-21 06:35:25] 649*2^1415623-1 is not prime. Res64: 92D6FF97BB7F526C Time : 0.0 sec. user=mdettweiler [2015-11-21 06:35:25] 709*2^1415623-1 is not prime. Res64: 49EE981DD8EBACF3 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:46:46] 789*2^1415623-1 is not prime. Res64: 47B3DB6832C020CF Time : 0.0 sec. user=mdettweiler [2015-11-21 06:46:46] 871*2^1415623-1 is not prime. Res64: 5A714601C38E1DE6 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:48:32] 915*2^1415623-1 is not prime. Res64: 16D1539C253C0486 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:48:33] 609*2^1415624-1 is not prime. Res64: 9C8A0C0BB950B304 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:52:47] 615*2^1415624-1 is not prime. Res64: E1B9AF12BA4D6C66 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:52:48] 623*2^1415624-1 is not prime. Res64: 3BDB55EE679709B0 Time : 0.0 sec. user=mdettweiler [2015-11-21 06:53:40] 663*2^1415624-1 is not prime. Res64: B9E279BD8DF8D44A Time : 0.0 sec. user=mdettweiler [2015-11-21 06:53:40] 699*2^1415624-1 is not prime. Res64: 5BE665E59961B4E5 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:05:06] 899*2^1415624-1 is not prime. Res64: 31D72230665D5BEF Time : 0.0 sec. user=mdettweiler [2015-11-21 07:05:07] 657*2^1415625-1 is not prime. Res64: AE66307B5031730C Time : 0.0 sec. user=mdettweiler [2015-11-21 07:06:45] 685*2^1415625-1 is not prime. Res64: 5CEB7BAF1D65C3C4 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:06:45] 849*2^1415625-1 is not prime. Res64: CBE243E300045CAA Time : 0.0 sec. user=mdettweiler [2015-11-21 07:10:51] 861*2^1415625-1 is not prime. Res64: 04E3452280890070 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:10:52] 895*2^1415625-1 is not prime. Res64: 8836E0F86798300C Time : 0.0 sec. user=mdettweiler [2015-11-21 07:11:53] 645*2^1415626-1 is not prime. Res64: CADBEC27D31D51C4 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:11:54] 773*2^1415626-1 is not prime. Res64: 9598500743BAFBE0 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:23:31] 881*2^1415626-1 is not prime. Res64: A65258810BE69DF1 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:23:32] 903*2^1415626-1 is not prime. Res64: 0987C58FCCF2BB3D Time : 0.0 sec. user=mdettweiler [2015-11-21 07:24:59] 911*2^1415626-1 is not prime. Res64: 35B972C57534E3A9 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:25:00] 917*2^1415626-1 is not prime. Res64: C72823C5FF2F6179 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:28:57] 971*2^1415626-1 is not prime. Res64: 8284E86B21F63CEB Time : 0.0 sec. user=mdettweiler [2015-11-21 07:28:58] 601*2^1415627-1 is not prime. Res64: 039BEE31461533D2 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:30:07] 621*2^1415627-1 is not prime. Res64: A407E46F2491BF84 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:30:08] 675*2^1415627-1 is not prime. Res64: AA8B8615A4C17CFC Time : 0.0 sec. user=mdettweiler [2015-11-21 07:41:47] 693*2^1415627-1 is not prime. Res64: 89CDAF8180D1CBA6 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:41:47] 699*2^1415627-1 is not prime. Res64: C3CB8D53634E982A Time : 0.0 sec. user=mdettweiler [2015-11-21 07:43:05] 733*2^1415627-1 is not prime. Res64: 09B63581CC322C62 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:43:06] 825*2^1415627-1 is not prime. Res64: 07FCD0A3DC0238B3 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:47:08] 883*2^1415627-1 is not prime. Res64: B7B86D5C806A6DE4 Time : 0.0 sec. user=mdettweiler [2015-11-21 07:47:09] 889*2^1415627-1 is not prime. Res64: AA573BD826D7781B Time : 0.0 sec. user=mdettweiler [2015-11-21 07:48:19] 981*2^1415627-1 is not prime. Res64: 4BC184B4F2FD415B Time : 0.0 sec. user=mdettweiler [2015-11-21 07:48:20] 669*2^1415628-1 is not prime. Res64: 105DDD7C2F0C9A7A Time : 0.0 sec. user=mdettweiler [2015-11-21 08:00:01] 705*2^1415628-1 is not prime. Res64: 5FFC840FE7D773FE Time : 0.0 sec. user=mdettweiler [2015-11-21 08:00:01] 725*2^1415628-1 is not prime. Res64: 83C068B6536B7DF7 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:01:24] 667*2^1415629-1 is not prime. Res64: 36D2BCBF735F5B17 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:01:25] 679*2^1415629-1 is not prime. Res64: 27034C0412151D0E Time : 0.0 sec. user=mdettweiler [2015-11-21 08:05:23] 681*2^1415629-1 is not prime. Res64: E26929418DA6CBC9 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:05:24] 687*2^1415629-1 is not prime. Res64: BCC161245C880E8F Time : 0.0 sec. user=mdettweiler [2015-11-21 08:06:26] 721*2^1415629-1 is not prime. Res64: 9DFE7BE1E3FF21AC Time : 0.0 sec. user=mdettweiler [2015-11-21 08:06:26] 741*2^1415629-1 is not prime. Res64: CAB0066C8D0C607F Time : 0.0 sec. user=mdettweiler [2015-11-21 08:18:23] 757*2^1415629-1 is not prime. Res64: 739D1BE08D84F631 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:18:23] 799*2^1415629-1 is not prime. Res64: 07AAEE4FFC1CC6F3 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:19:32] 817*2^1415629-1 is not prime. Res64: 345AAC92AE9415CB Time : 0.0 sec. user=mdettweiler [2015-11-21 08:19:33] 825*2^1415629-1 is not prime. Res64: 8F8D38D23E069213 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:23:32] 925*2^1415629-1 is not prime. Res64: C7DE43ED234C981F Time : 0.0 sec. user=mdettweiler [2015-11-21 08:23:32] 945*2^1415629-1 is not prime. Res64: 19C653ABD4124FFE Time : 0.0 sec. user=mdettweiler [2015-11-21 08:24:43] 677*2^1415630-1 is not prime. Res64: EC83A1168AB921E3 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:24:44] 767*2^1415630-1 is not prime. Res64: BDAD837B7DECBCD1 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:36:33] 795*2^1415630-1 is not prime. Res64: 7A52D2871F8D56DE Time : 0.0 sec. user=mdettweiler [2015-11-21 08:36:33] 813*2^1415630-1 is not prime. Res64: 43F4583926107E4E Time : 0.0 sec. user=mdettweiler [2015-11-21 08:37:41] 851*2^1415630-1 is not prime. Res64: 601EB8039558314B Time : 0.0 sec. user=mdettweiler [2015-11-21 08:37:41] 613*2^1415631-1 is not prime. Res64: 1C1F5CF9C3DA98DC Time : 0.0 sec. user=mdettweiler [2015-11-21 08:41:51] 619*2^1415631-1 is not prime. Res64: 96A1D620C6DF87B1 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:41:51] 741*2^1415631-1 is not prime. Res64: DB8B2DAA6F136E8C Time : 0.0 sec. user=mdettweiler [2015-11-21 08:43:04] 793*2^1415631-1 is not prime. Res64: 499D9E9D12FE7042 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:43:05] 825*2^1415631-1 is not prime. Res64: 1261C42A01BEF54D Time : 0.0 sec. user=mdettweiler [2015-11-21 08:54:41] 871*2^1415631-1 is not prime. Res64: 18A0516C1CAABCEC Time : 0.0 sec. user=mdettweiler [2015-11-21 08:54:42] 885*2^1415631-1 is not prime. Res64: 5EF49CE0927A1A62 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:56:00] 895*2^1415631-1 is not prime. Res64: FC2D28DC52D8F931 Time : 0.0 sec. user=mdettweiler [2015-11-21 08:56:01] 909*2^1415631-1 is not prime. Res64: 2D5BE7C1EA099802 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:00:00] 949*2^1415631-1 is not prime. Res64: EC29A13234218604 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:00:00] 705*2^1415632-1 is not prime. Res64: 1E77D17D7363A3C7 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:01:12] 873*2^1415632-1 is not prime. Res64: 1B53287C483B529A Time : 0.0 sec. user=mdettweiler [2015-11-21 09:01:13] 915*2^1415632-1 is not prime. Res64: 65717DE13DBFE520 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:12:51] 957*2^1415632-1 is not prime. Res64: FF101703F4905E44 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:12:51] 959*2^1415632-1 is not prime. Res64: 29DA1B1E00F7C177 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:14:13] 619*2^1415633-1 is not prime. Res64: ED2B6936980E12A8 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:14:14] 811*2^1415633-1 is not prime. Res64: 6D451EEA685E5CD5 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:18:06] 889*2^1415633-1 is not prime. Res64: C9E2C6AAF358791F Time : 0.0 sec. user=mdettweiler [2015-11-21 09:18:06] 957*2^1415633-1 is not prime. Res64: 8B51E8495AF934FF Time : 0.0 sec. user=mdettweiler [2015-11-21 09:19:36] 797*2^1415634-1 is not prime. Res64: 07059AFB0AF9A801 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:19:36] 903*2^1415634-1 is not prime. Res64: 9B67294C113A086F Time : 0.0 sec. user=mdettweiler [2015-11-21 09:31:20] 975*2^1415634-1 is not prime. Res64: 0D5C2A222DAB454B Time : 0.0 sec. user=mdettweiler [2015-11-21 09:31:21] 649*2^1415635-1 is not prime. Res64: 71756CDD7AABDBA1 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:32:18] 691*2^1415635-1 is not prime. Res64: D3F04B4970405489 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:32:19] 715*2^1415635-1 is not prime. Res64: 7B9DA51F0C6369FE Time : 0.0 sec. user=mdettweiler [2015-11-21 09:36:14] 735*2^1415635-1 is not prime. Res64: 28C7A1603186FAFA Time : 0.0 sec. user=mdettweiler [2015-11-21 09:36:14] 751*2^1415635-1 is not prime. Res64: 67AB38ACE34F34FB Time : 0.0 sec. user=mdettweiler [2015-11-21 09:37:48] 765*2^1415635-1 is not prime. Res64: 95FD737FB0EC015B Time : 0.0 sec. user=mdettweiler [2015-11-21 09:37:49] 843*2^1415635-1 is not prime. Res64: 47F332B87273F434 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:49:30] 871*2^1415635-1 is not prime. Res64: D0BA1C63F50B7127 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:49:30] 925*2^1415635-1 is not prime. Res64: 6FE6AF8CA41773AF Time : 0.0 sec. user=mdettweiler [2015-11-21 09:50:43] 951*2^1415635-1 is not prime. Res64: 4A64F2F1527D6F54 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:50:44] 969*2^1415635-1 is not prime. Res64: 2BF89C72B0E1B068 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:54:24] 979*2^1415635-1 is not prime. Res64: C69E52E364ECA359 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:54:24] 615*2^1415636-1 is not prime. Res64: C85BECDC13791E68 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:56:03] 623*2^1415636-1 is not prime. Res64: 2512EF5BD25B7696 Time : 0.0 sec. user=mdettweiler [2015-11-21 09:56:04] 825*2^1415636-1 is not prime. Res64: E68E44A89ACC5118 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:07:38] 843*2^1415636-1 is not prime. Res64: 5C4F8C10ACB3A4D8 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:07:39] 899*2^1415636-1 is not prime. Res64: 20140F06388E44E8 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:08:58] 927*2^1415636-1 is not prime. Res64: 29BC877C8791BF2C Time : 0.0 sec. user=mdettweiler [2015-11-21 10:08:59] 963*2^1415636-1 is not prime. Res64: 5A2DF6A506902AD3 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:12:35] 681*2^1415637-1 is not prime. Res64: 0501CF9FD7C5F727 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:12:36] 691*2^1415637-1 is not prime. Res64: 79938A5DA167C3F2 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:14:15] 711*2^1415637-1 is not prime. Res64: F68D5D64F22BDF67 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:14:15] 901*2^1415637-1 is not prime. Res64: 9CEA22C30909E9FE Time : 0.0 sec. user=mdettweiler [2015-11-21 10:26:09] 979*2^1415637-1 is not prime. Res64: C82C9CA73D785919 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:26:10] 623*2^1415638-1 is not prime. Res64: 101BB78513CBCF97 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:27:13] 635*2^1415638-1 is not prime. Res64: E4A604F477AB9687 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:27:13] 681*2^1415638-1 is not prime. Res64: 65500DCBB464F67A Time : 0.0 sec. user=mdettweiler [2015-11-21 10:30:57] 813*2^1415638-1 is not prime. Res64: F627139812B5BBC6 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:30:58] 821*2^1415638-1 is not prime. Res64: 026E9F0ACAD07B95 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:32:30] 827*2^1415638-1 is not prime. Res64: 541CCA810F81A695 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:32:31] 843*2^1415638-1 is not prime. Res64: 0D89C40DDD718487 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:44:28] 609*2^1415639-1 is not prime. Res64: 7F7968C14FC421BB Time : 0.0 sec. user=mdettweiler [2015-11-21 10:44:28] 633*2^1415639-1 is not prime. Res64: CA545D7AF3ECC92D Time : 0.0 sec. user=mdettweiler [2015-11-21 10:45:22] 663*2^1415639-1 is not prime. Res64: 33AB726CFA1D6FF3 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:45:22] 675*2^1415639-1 is not prime. Res64: 2D9ECBB8295B8190 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:49:12] 711*2^1415639-1 is not prime. Res64: 3E65F7CA748CA3DE Time : 0.0 sec. user=mdettweiler [2015-11-21 10:49:13] 759*2^1415639-1 is not prime. Res64: C9C18E778AD72FE9 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:50:44] 819*2^1415639-1 is not prime. Res64: 994028D655094227 Time : 0.0 sec. user=mdettweiler [2015-11-21 10:50:44] 629*2^1415640-1 is not prime. Res64: 61F6AD290AE00D6F Time : 0.0 sec. user=mdettweiler [2015-11-21 11:02:43] 717*2^1415640-1 is not prime. Res64: DEA99DF66560A57E Time : 0.0 sec. user=mdettweiler [2015-11-21 11:02:45] 797*2^1415640-1 is not prime. Res64: FAD9A98FA5E523A9 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:03:35] 625*2^1415641-1 is not prime. Res64: 7A06B605F53B0D80 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:03:37] 675*2^1415641-1 is not prime. Res64: F865E02D0B31BD7C Time : 0.0 sec. user=mdettweiler [2015-11-21 11:07:26] 679*2^1415641-1 is not prime. Res64: 6F3BF19BA6506A20 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:07:27] 717*2^1415641-1 is not prime. Res64: A3EED51B70B0EA13 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:09:01] 741*2^1415641-1 is not prime. Res64: 73EE5932E30A800A Time : 0.0 sec. user=mdettweiler [2015-11-21 11:09:05] 751*2^1415641-1 is not prime. Res64: 7FDABA8523EAE0B6 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:21:06] 769*2^1415641-1 is not prime. Res64: D5C5C9D176E3CE88 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:21:07] 861*2^1415641-1 is not prime. Res64: A52BBA9A11A9D83E Time : 0.0 sec. user=mdettweiler [2015-11-21 11:21:54] 895*2^1415641-1 is not prime. Res64: A666A9050E963388 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:21:54] 955*2^1415641-1 is not prime. Res64: E1B25F15086607BA Time : 0.0 sec. user=mdettweiler [2015-11-21 11:25:54] 987*2^1415641-1 is not prime. Res64: B8D10330E424124E Time : 0.0 sec. user=mdettweiler [2015-11-21 11:25:55] 683*2^1415642-1 is not prime. Res64: D3A73F2E9B453967 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:27:34] 713*2^1415642-1 is not prime. Res64: 7811B79FA55881C6 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:27:35] 743*2^1415642-1 is not prime. Res64: D10B5004B9E9B262 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:39:18] 797*2^1415642-1 is not prime. Res64: 1535A44A2A644AC4 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:39:18] 921*2^1415642-1 is not prime. Res64: 36672E8F8770A1D5 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:40:12] 963*2^1415642-1 is not prime. Res64: 54EF09C2A4208BDD Time : 0.0 sec. user=mdettweiler [2015-11-21 11:40:13] 619*2^1415643-1 is not prime. Res64: 845C39BF714CF38E Time : 0.0 sec. user=mdettweiler [2015-11-21 11:44:16] 669*2^1415643-1 is not prime. Res64: 353E7F28EAC0527B Time : 0.0 sec. user=mdettweiler [2015-11-21 11:44:16] 775*2^1415643-1 is not prime. Res64: 4EB19AB2834F13A0 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:45:52] 859*2^1415643-1 is not prime. Res64: EC9B6BD3DC2EA290 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:45:52] 871*2^1415643-1 is not prime. Res64: 8D468AC6EE08CC3B Time : 0.0 sec. user=mdettweiler [2015-11-21 11:57:28] 921*2^1415643-1 is not prime. Res64: CE008B59D5CD5944 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:57:28] 961*2^1415643-1 is not prime. Res64: 83834C11E53595FF Time : 0.0 sec. user=mdettweiler [2015-11-21 11:58:28] 869*2^1415644-1 is not prime. Res64: 5DCFEAFAF452B161 Time : 0.0 sec. user=mdettweiler [2015-11-21 11:58:28] 947*2^1415644-1 is not prime. Res64: 3A0425700B7C9AF7 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:02:35] 969*2^1415644-1 is not prime. Res64: 6B4C23980F17981B Time : 0.0 sec. user=mdettweiler [2015-11-21 12:02:36] 983*2^1415644-1 is not prime. Res64: B3CA876DDAFF0CD9 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:04:05] 759*2^1415645-1 is not prime. Res64: B9C585CEEF6C2532 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:04:07] 771*2^1415645-1 is not prime. Res64: 940992B0CA098FED Time : 0.0 sec. user=mdettweiler [2015-11-21 12:15:55] 789*2^1415645-1 is not prime. Res64: 196AA41847F34E17 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:15:56] 847*2^1415645-1 is not prime. Res64: 6F9F257DAEB5F80B Time : 0.0 sec. user=mdettweiler [2015-11-21 12:16:43] 855*2^1415645-1 is not prime. Res64: 28D0B8D4D695212F Time : 0.0 sec. user=mdettweiler [2015-11-21 12:16:43] 937*2^1415645-1 is not prime. Res64: 68DBED706F6F6FAD Time : 0.0 sec. user=mdettweiler [2015-11-21 12:20:51] 695*2^1415646-1 is not prime. Res64: 541589E0C711B7A1 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:20:51] 713*2^1415646-1 is not prime. Res64: 62791FF570C77CC9 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:22:18] 741*2^1415646-1 is not prime. Res64: FFDA6BEC21EAD980 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:22:19] 825*2^1415646-1 is not prime. Res64: 44E202B8AC6EE876 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:34:10] 703*2^1415647-1 is not prime. Res64: 341978053BF51397 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:34:11] 705*2^1415647-1 is not prime. Res64: 20F6229699E33593 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:34:46] 769*2^1415647-1 is not prime. Res64: 7668341563EA0069 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:34:46] 775*2^1415647-1 is not prime. Res64: F0B1672874D52D5F Time : 0.0 sec. user=mdettweiler [2015-11-21 12:39:14] 813*2^1415647-1 is not prime. Res64: 5F4644679DEFD92A Time : 0.0 sec. user=mdettweiler [2015-11-21 12:39:14] 933*2^1415647-1 is not prime. Res64: 82AFC3031EB64F04 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:40:41] 945*2^1415647-1 is not prime. Res64: 52F00F9AEAD9F37F Time : 0.0 sec. user=mdettweiler [2015-11-21 12:40:42] 659*2^1415648-1 is not prime. Res64: 8FE25012518C1E40 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:52:28] 843*2^1415648-1 is not prime. Res64: 9BED4709C4D47B33 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:52:28] 869*2^1415648-1 is not prime. Res64: 3C8380AB2DFD7046 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:52:58] 875*2^1415648-1 is not prime. Res64: 4EFEB8139A0C8FDB Time : 0.0 sec. user=mdettweiler [2015-11-21 12:52:58] 935*2^1415648-1 is not prime. Res64: 61E42E19670B55B1 Time : 0.0 sec. user=mdettweiler [2015-11-21 12:57:24] 957*2^1415648-1 is not prime. Res64: 0F05A681F1F4B09C Time : 0.0 sec. user=mdettweiler [2015-11-21 12:57:25] 945*2^1415649-1 is not prime. Res64: F4951F140E3432FC Time : 0.0 sec. user=mdettweiler [2015-11-21 12:59:01] 949*2^1415649-1 is not prime. Res64: C29A8B9FE36601DF Time : 0.0 sec. user=mdettweiler [2015-11-21 12:59:01] 603*2^1415650-1 is not prime. Res64: B8AC395B4DD3BDAE Time : 0.0 sec. user=mdettweiler [2015-11-21 13:11:14] 651*2^1415650-1 is not prime. Res64: E68D1AD6F7F55AB9 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:11:15] 713*2^1415650-1 is not prime. Res64: 71F995C80AE0549E Time : 0.0 sec. user=mdettweiler [2015-11-21 13:11:22] 813*2^1415650-1 is not prime. Res64: F1EDCF415135ABFB Time : 0.0 sec. user=mdettweiler [2015-11-21 13:11:23] 825*2^1415650-1 is not prime. Res64: DF123F9C4DBDCFBB Time : 0.0 sec. user=mdettweiler [2015-11-21 13:16:00] 833*2^1415650-1 is not prime. Res64: D25982E04AF447CB Time : 0.0 sec. user=mdettweiler [2015-11-21 13:16:01] 855*2^1415650-1 is not prime. Res64: 8A1BE34752228212 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:17:52] 891*2^1415650-1 is not prime. Res64: 72F93A1A3F348DBB Time : 0.0 sec. user=mdettweiler [2015-11-21 13:17:52] 933*2^1415650-1 is not prime. Res64: 6BF356A068E1D311 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:30:09] 621*2^1415651-1 is not prime. Res64: 462845A88889DF31 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:30:09] 693*2^1415651-1 is not prime. Res64: 982F6D1EECB9D9CF Time : 0.0 sec. user=mdettweiler [2015-11-21 13:30:19] 705*2^1415651-1 is not prime. Res64: C0598B67D63E3233 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:30:19] 913*2^1415651-1 is not prime. Res64: 9C920443AFE0D8FA Time : 0.0 sec. user=mdettweiler [2015-11-21 13:34:35] 609*2^1415652-1 is not prime. Res64: 505F57AD438EA2E7 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:34:35] 725*2^1415652-1 is not prime. Res64: 46489C45677CFCEF Time : 0.0 sec. user=mdettweiler [2015-11-21 13:36:30] 873*2^1415652-1 is not prime. Res64: 76F721684B41B247 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:36:30] 621*2^1415653-1 is not prime. Res64: 7931263BFDEEE77D Time : 0.0 sec. user=mdettweiler [2015-11-21 13:48:24] 861*2^1415653-1 is not prime. Res64: D243F64B1A66AE1B Time : 0.0 sec. user=mdettweiler [2015-11-21 13:48:24] 615*2^1415654-1 is not prime. Res64: 4019D6D1244E65C2 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:48:46] 705*2^1415654-1 is not prime. Res64: 86025DA1593FB53E Time : 0.0 sec. user=mdettweiler [2015-11-21 13:48:47] 825*2^1415654-1 is not prime. Res64: 749A71D14876B1D9 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:52:47] 897*2^1415654-1 is not prime. Res64: 6A8F2923E839D41A Time : 0.0 sec. user=mdettweiler [2015-11-21 13:52:48] 923*2^1415654-1 is not prime. Res64: 1054D6DEE2D8E215 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:54:52] 981*2^1415654-1 is not prime. Res64: 2155C2654FFCA392 Time : 0.0 sec. user=mdettweiler [2015-11-21 13:54:52] 639*2^1415655-1 is not prime. Res64: 49A9DDA12F12DA94 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:06:43] 643*2^1415655-1 is not prime. Res64: DCF14625A43D6A06 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:06:46] 675*2^1415655-1 is not prime. Res64: 511014205225C42C Time : 0.0 sec. user=mdettweiler [2015-11-21 14:07:04] 943*2^1415655-1 is not prime. Res64: BB03398AAF72F842 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:07:05] 955*2^1415655-1 is not prime. Res64: 393F331AF827F728 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:11:05] 963*2^1415655-1 is not prime. Res64: 3FB9F08607F839BB Time : 0.0 sec. user=mdettweiler [2015-11-21 14:11:06] 855*2^1415656-1 is not prime. Res64: 8E9AA281317B360E Time : 0.0 sec. user=mdettweiler [2015-11-21 14:13:09] 857*2^1415656-1 is not prime. Res64: B1097C66192D0F51 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:13:09] 899*2^1415656-1 is not prime. Res64: 414318FFBCFABCD0 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:25:23] 999*2^1415656-1 is not prime. Res64: 97A8A76C9CDC4224 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:25:23] 627*2^1415657-1 is not prime. Res64: 62BC48215B9AC78F Time : 0.0 sec. user=mdettweiler [2015-11-21 14:25:39] 637*2^1415657-1 is not prime. Res64: 0C8B28D9471924AC Time : 0.0 sec. user=mdettweiler [2015-11-21 14:25:40] 819*2^1415657-1 is not prime. Res64: 827D801AD9E9F228 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:30:15] 871*2^1415657-1 is not prime. Res64: 71D254D692F61F23 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:30:15] 879*2^1415657-1 is not prime. Res64: 6ED58D87FC2CCF83 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:31:46] 925*2^1415657-1 is not prime. Res64: 123586986F89DD3B Time : 0.0 sec. user=mdettweiler [2015-11-21 14:31:46] 939*2^1415657-1 is not prime. Res64: 9319397D22656373 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:43:50] 663*2^1415658-1 is not prime. Res64: ED8894D628D7CA5A Time : 0.0 sec. user=mdettweiler [2015-11-21 14:43:50] 665*2^1415658-1 is not prime. Res64: 70E2984ACDD132CB Time : 0.0 sec. user=mdettweiler [2015-11-21 14:44:04] 797*2^1415658-1 is not prime. Res64: 9810E91FE526E586 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:44:04] 837*2^1415658-1 is not prime. Res64: E851A8C16894ED64 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:48:32] 887*2^1415658-1 is not prime. Res64: AD67A03C0203C92D Time : 0.0 sec. user=mdettweiler [2015-11-21 14:48:33] 923*2^1415658-1 is not prime. Res64: 8339716F373B2527 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:50:07] 625*2^1415659-1 is not prime. Res64: 4CDCB255DAFBFB38 Time : 0.0 sec. user=mdettweiler [2015-11-21 14:50:07] 649*2^1415659-1 is not prime. Res64: 582CED23ACFCA860 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:02:07] 855*2^1415659-1 is not prime. Res64: FAC234201D8E0B0F Time : 0.0 sec. user=mdettweiler [2015-11-21 15:02:08] 975*2^1415659-1 is not prime. Res64: EC0F208641547C1B Time : 0.0 sec. user=mdettweiler [2015-11-21 15:02:18] 999*2^1415659-1 is not prime. Res64: 65892938FA02B1EE Time : 0.0 sec. user=mdettweiler [2015-11-21 15:02:19] 669*2^1415660-1 is not prime. Res64: DD4E1B47E521FC2C Time : 0.0 sec. user=mdettweiler [2015-11-21 15:06:57] 845*2^1415660-1 is not prime. Res64: B625FFE717CB9B66 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:06:58] 857*2^1415660-1 is not prime. Res64: 44E7D4308B620BFB Time : 0.0 sec. user=mdettweiler [2015-11-21 15:08:32] 995*2^1415660-1 is not prime. Res64: A7E5FA1526B8EA9B Time : 0.0 sec. user=mdettweiler [2015-11-21 15:08:33] 999*2^1415660-1 is not prime. Res64: 82DAB883940C47EC Time : 0.0 sec. user=mdettweiler [2015-11-21 15:21:01] 609*2^1415661-1 is not prime. Res64: 1A53873841A9EC58 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:21:01] 625*2^1415661-1 is not prime. Res64: 5E80BF203633E6D9 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:21:21] 741*2^1415661-1 is not prime. Res64: 3F3D20FBFEC66FE1 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:21:21] 795*2^1415661-1 is not prime. Res64: DA6A74406C80793C Time : 0.0 sec. user=mdettweiler [2015-11-21 15:27:12] 835*2^1415661-1 is not prime. Res64: CFE7F9EC6E9D2D4F Time : 0.0 sec. user=mdettweiler [2015-11-21 15:27:12] 847*2^1415661-1 is not prime. Res64: 96048B2591E2AE9E Time : 0.0 sec. user=mdettweiler [2015-11-21 15:29:12] 889*2^1415661-1 is not prime. Res64: 9ED2A3FE5CFF0C7C Time : 0.0 sec. user=mdettweiler [2015-11-21 15:29:13] 975*2^1415661-1 is not prime. Res64: 8E79617864C2605F Time : 0.0 sec. user=mdettweiler [2015-11-21 15:41:45] 731*2^1415662-1 is not prime. Res64: BC0F5720AC897E61 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:41:46] 785*2^1415662-1 is not prime. Res64: EF22084F8FDCC343 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:43:30] 815*2^1415662-1 is not prime. Res64: 105C6ED2AACDAECA Time : 0.0 sec. user=mdettweiler [2015-11-21 15:43:31] 917*2^1415662-1 is not prime. Res64: BB465E1F1C218691 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:50:49] 829*2^1415663-1 is not prime. Res64: DCFCC0CA1DF0A755 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:50:50] 859*2^1415663-1 is not prime. Res64: D8CE9F85933A2EF7 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:52:32] 901*2^1415663-1 is not prime. Res64: 34299060D3D30892 Time : 0.0 sec. user=mdettweiler [2015-11-21 15:52:33] 991*2^1415663-1 is not prime. Res64: 3B6B05BACF1521C8 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:13:28] 689*2^1415664-1 is not prime. Res64: 4086D8C458333F66 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:13:29] 695*2^1415664-1 is not prime. Res64: 40F423E8CB60D0B4 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:14:39] 717*2^1415664-1 is not prime. Res64: D3BACD247A779D31 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:14:40] 825*2^1415664-1 is not prime. Res64: DB831FF672F28DA6 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:21:22] 729*2^1415665-1 is not prime. Res64: E1E3EA6FD81A5A0B Time : 0.0 sec. user=mdettweiler [2015-11-21 16:21:22] 775*2^1415665-1 is not prime. Res64: 9CFF6969B7481F10 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:22:34] 811*2^1415665-1 is not prime. Res64: EF35830CC8994F53 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:22:34] 925*2^1415665-1 is not prime. Res64: A8A7A6C4831D8F31 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:36:37] 755*2^1415666-1 is not prime. Res64: 94073CC77A36B059 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:36:37] 813*2^1415666-1 is not prime. Res64: FB688B60284E3409 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:37:24] 815*2^1415666-1 is not prime. Res64: 3A8B6B976C8B2427 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:37:25] 825*2^1415666-1 is not prime. Res64: CC20D1CE23346996 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:42:13] 987*2^1415666-1 is not prime. Res64: 104D1D081D5BBF67 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:42:13] 1001*2^1415666-1 is not prime. Res64: 48D392C01830C4F3 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:43:47] 685*2^1415667-1 is not prime. Res64: 67A4B82D2DB3F9BB Time : 0.0 sec. user=mdettweiler [2015-11-21 16:43:48] 703*2^1415667-1 is not prime. Res64: 0A6A323B9D95BC06 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:56:25] 781*2^1415667-1 is not prime. Res64: 6564B54D566752F4 Time : 0.0 sec. user=mdettweiler [2015-11-21 16:56:26] 805*2^1415667-1 is not prime. Res64: 8BA1125F5437FEAE Time : 0.0 sec. user=mdettweiler [2015-11-21 16:57:16] 895*2^1415667-1 is not prime. Res64: 670853AA6204CFED Time : 0.0 sec. user=mdettweiler [2015-11-21 16:57:16] 963*2^1415667-1 is not prime. Res64: 5C3D9B4D97E347D2 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:01:55] 615*2^1415668-1 is not prime. Res64: 111BD73145BAA691 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:01:56] 665*2^1415668-1 is not prime. Res64: 117F24BBF5E2B171 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:03:19] 749*2^1415668-1 is not prime. Res64: B97D6CA02A392BED Time : 0.0 sec. user=mdettweiler [2015-11-21 17:03:20] 989*2^1415668-1 is not prime. Res64: E5AC04C29FB4242B Time : 0.0 sec. user=mdettweiler [2015-11-21 17:15:18] 645*2^1415669-1 is not prime. Res64: 353FF12E2613BF1F Time : 0.0 sec. user=mdettweiler [2015-11-21 17:15:19] 711*2^1415669-1 is not prime. Res64: F1F0090526D5B17D Time : 0.0 sec. user=mdettweiler [2015-11-21 17:15:51] 759*2^1415669-1 is not prime. Res64: 8D66C78840A5A4D6 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:15:51] 771*2^1415669-1 is not prime. Res64: B1CC5BD9A3B1BAA0 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:20:42] 789*2^1415669-1 is not prime. Res64: 852AEC3A9BDB04EA Time : 0.0 sec. user=mdettweiler [2015-11-21 17:20:42] 837*2^1415669-1 is not prime. Res64: 71F639A48F52630E Time : 0.0 sec. user=mdettweiler [2015-11-21 17:22:13] 867*2^1415669-1 is not prime. Res64: F8B72336DAC38304 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:22:13] 897*2^1415669-1 is not prime. Res64: 18E36FD53A065DFC Time : 0.0 sec. user=mdettweiler [2015-11-21 17:33:54] 945*2^1415669-1 is not prime. Res64: BD22C04F0D769BDC Time : 0.0 sec. user=mdettweiler [2015-11-21 17:33:54] 969*2^1415669-1 is not prime. Res64: 4E7D74CB09066DBD Time : 0.0 sec. user=mdettweiler [2015-11-21 17:33:58] 651*2^1415670-1 is not prime. Res64: 6C92287CE8C897C5 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:33:59] 671*2^1415670-1 is not prime. Res64: B552B8B0A86D9C85 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:38:56] 725*2^1415670-1 is not prime. Res64: 3A64B1B29A0AE080 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:38:56] 783*2^1415670-1 is not prime. Res64: CA87D820626ABD2D Time : 0.0 sec. user=mdettweiler [2015-11-21 17:40:36] 971*2^1415670-1 is not prime. Res64: C8D9981B1CA20F27 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:40:37] 609*2^1415671-1 is not prime. Res64: 8FFBF3AF9EB0000B Time : 0.0 sec. user=mdettweiler [2015-11-21 17:52:05] 771*2^1415671-1 is not prime. Res64: D7C99B847B4A3576 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:52:05] 789*2^1415671-1 is not prime. Res64: 02733A1F01278B7D Time : 0.0 sec. user=mdettweiler [2015-11-21 17:52:08] 745*2^1415671-1 is not prime. Res64: DA097CCBC992B7E6 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:52:09] 759*2^1415671-1 is not prime. Res64: 1DE5D394A74E711F Time : 0.0 sec. user=mdettweiler [2015-11-21 17:57:09] 859*2^1415671-1 is not prime. Res64: E7542B7FF07D9238 Time : 0.0 sec. user=mdettweiler [2015-11-21 17:57:10] 615*2^1415672-1 is not prime. Res64: 1DA0BE0077566BBC Time : 0.0 sec. user=mdettweiler [2015-11-21 17:58:51] 623*2^1415672-1 is not prime. Res64: 36B9850F961EB8FC Time : 0.0 sec. user=mdettweiler [2015-11-21 17:58:51] 629*2^1415672-1 is not prime. Res64: A3271343333E8033 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:10:24] 735*2^1415672-1 is not prime. Res64: 25C0002D7165B027 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:10:25] 819*2^1415672-1 is not prime. Res64: 08885B8E6494A0FC Time : 0.0 sec. user=mdettweiler [2015-11-21 18:10:27] 669*2^1415672-1 is not prime. Res64: D4099A52BD6A337F Time : 0.0 sec. user=mdettweiler [2015-11-21 18:10:28] 725*2^1415672-1 is not prime. Res64: BC67D9F79127E4BC Time : 0.0 sec. user=mdettweiler [2015-11-21 18:15:24] 843*2^1415672-1 is not prime. Res64: 52D0DF28664F1992 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:15:25] 857*2^1415672-1 is not prime. Res64: BDA0F9D6B3C606AE Time : 0.0 sec. user=mdettweiler [2015-11-21 18:17:19] 875*2^1415672-1 is not prime. Res64: 07AC0E8B1322AFCB Time : 0.0 sec. user=mdettweiler [2015-11-21 18:17:20] 899*2^1415672-1 is not prime. Res64: D8F73AEED25680ED Time : 0.0 sec. user=mdettweiler [2015-11-21 18:28:40] 995*2^1415672-1 is not prime. Res64: E97792923D1705F2 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:28:41] 999*2^1415672-1 is not prime. Res64: DC499192ECCFF52D Time : 0.0 sec. user=mdettweiler [2015-11-21 18:28:47] 627*2^1415673-1 is not prime. Res64: F44AA24665F91763 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:28:48] 639*2^1415673-1 is not prime. Res64: 956FC5EDB1E8E0D3 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:33:53] 741*2^1415673-1 is not prime. Res64: 6D61752F0D7151C0 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:33:54] 751*2^1415673-1 is not prime. Res64: 79861BF62A64BB46 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:35:35] 871*2^1415673-1 is not prime. Res64: 01918E6AB9752727 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:35:36] 985*2^1415673-1 is not prime. Res64: 96CF41A128630CBA Time : 0.0 sec. user=mdettweiler [2015-11-21 18:46:56] 707*2^1415674-1 is not prime. Res64: 63F9D33083667B61 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:46:57] 827*2^1415674-1 is not prime. Res64: 1AD10DE5685F3D31 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:47:08] 833*2^1415674-1 is not prime. Res64: 95A1AE5D6F619D76 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:47:09] 887*2^1415674-1 is not prime. Res64: 8A30E4E0AAF3750C Time : 0.0 sec. user=mdettweiler [2015-11-21 18:52:03] 975*2^1415674-1 is not prime. Res64: B34B0BB3BC29606D Time : 0.0 sec. user=mdettweiler [2015-11-21 18:52:04] 663*2^1415675-1 is not prime. Res64: B081EA2092CA3F54 Time : 0.0 sec. user=mdettweiler [2015-11-21 18:53:47] 789*2^1415675-1 is not prime. Res64: EFB97A374141AA6D Time : 0.0 sec. user=mdettweiler [2015-11-21 18:53:47] 635*2^1415676-1 is not prime. Res64: D6C7314C2F27B1D5 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:05:19] 759*2^1415676-1 is not prime. Res64: B296A69EF1A8CE09 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:05:20] 773*2^1415676-1 is not prime. Res64: DC01255CA5BEDADA Time : 0.0 sec. user=mdettweiler [2015-11-21 19:05:22] 783*2^1415676-1 is not prime. Res64: 40D95B3EA121712D Time : 0.0 sec. user=mdettweiler [2015-11-21 19:05:23] 803*2^1415676-1 is not prime. Res64: 2C96E57442B15828 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:10:24] 903*2^1415676-1 is not prime. Res64: A2B5E856AD71E6E6 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:10:25] 609*2^1415677-1 is not prime. Res64: E20D080324776315 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:12:04] 619*2^1415677-1 is not prime. Res64: D481DD4E27678540 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:12:04] 667*2^1415677-1 is not prime. Res64: 599FFE170999D25F Time : 0.0 sec. user=mdettweiler [2015-11-21 19:23:37] 771*2^1415677-1 is not prime. Res64: 548566DBB6002C40 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:23:37] 927*2^1415677-1 is not prime. Res64: FB7AA988B8971DEF Time : 0.0 sec. user=mdettweiler [2015-11-21 19:23:40] 699*2^1415677-1 is not prime. Res64: ED846676A52A8CBC Time : 0.0 sec. user=mdettweiler [2015-11-21 19:23:40] 759*2^1415677-1 is not prime. Res64: 7D66D1AEE75CDFB2 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:28:50] 825*2^1415678-1 is not prime. Res64: C1FDEC07B8DD804B Time : 0.0 sec. user=mdettweiler [2015-11-21 19:28:51] 897*2^1415678-1 is not prime. Res64: 638303DDFFFCD911 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:30:13] 957*2^1415678-1 is not prime. Res64: A73EC4B329976EF2 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:30:14] 1001*2^1415678-1 is not prime. Res64: E25D2EDE05137D5A Time : 0.0 sec. user=mdettweiler [2015-11-21 19:41:50] 615*2^1415679-1 is not prime. Res64: E4753CF053FBAB3A Time : 0.0 sec. user=mdettweiler [2015-11-21 19:41:50] 685*2^1415679-1 is not prime. Res64: 6D168AE0DA39DDC6 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:41:54] 703*2^1415679-1 is not prime. Res64: 20E8ACA0F1447F6B Time : 0.0 sec. user=mdettweiler [2015-11-21 19:41:55] 723*2^1415679-1 is not prime. Res64: D339ED4CE72BF61D Time : 0.0 sec. user=mdettweiler [2015-11-21 19:47:02] 735*2^1415679-1 is not prime. Res64: B11C112786B87188 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:47:03] 829*2^1415679-1 is not prime. Res64: 4E75852228E78FCF Time : 0.0 sec. user=mdettweiler [2015-11-21 19:48:23] 831*2^1415679-1 is not prime. Res64: 5A93469C1A2351B9 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:48:23] 961*2^1415679-1 is not prime. Res64: 190C493351D8FE83 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:59:47] 605*2^1415680-1 is not prime. Res64: 8FEB7DF04068A101 Time : 0.0 sec. user=mdettweiler [2015-11-21 19:59:47] 645*2^1415680-1 is not prime. Res64: 77BFF6791454AE5A Time : 0.0 sec. user=mdettweiler [2015-11-21 20:00:12] 803*2^1415680-1 is not prime. Res64: EFFD34D9DB5672F6 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:00:13] 839*2^1415680-1 is not prime. Res64: 625F34227D5CA56F Time : 0.0 sec. user=mdettweiler [2015-11-21 20:05:13] 651*2^1415681-1 is not prime. Res64: 13FB9CD12A2BD2E2 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:05:15] 715*2^1415681-1 is not prime. Res64: 2F943A97DF35779C Time : 0.0 sec. user=mdettweiler [2015-11-21 20:06:31] 741*2^1415681-1 is not prime. Res64: 562E012EF56D407C Time : 0.0 sec. user=mdettweiler [2015-11-21 20:06:32] 777*2^1415681-1 is not prime. Res64: 5A8CAD2F2B31D22B Time : 0.0 sec. user=mdettweiler [2015-11-21 20:18:05] 795*2^1415681-1 is not prime. Res64: 71E4CCCD5DF6B2D1 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:18:06] 865*2^1415681-1 is not prime. Res64: CB8B0927E1BEC776 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:18:27] 889*2^1415681-1 is not prime. Res64: EE407064780E9A66 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:18:28] 901*2^1415681-1 is not prime. Res64: BBE99C87612142AD Time : 0.0 sec. user=mdettweiler [2015-11-21 20:23:53] 681*2^1415682-1 is not prime. Res64: C653BEE1F1467C3A Time : 0.0 sec. user=mdettweiler [2015-11-21 20:23:53] 975*2^1415682-1 is not prime. Res64: ED987FFEF89CC676 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:25:12] 741*2^1415683-1 is not prime. Res64: 83B8B1F0D8A4F644 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:25:12] 835*2^1415683-1 is not prime. Res64: 3CEA3BD39551B130 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:36:27] 853*2^1415683-1 is not prime. Res64: A4E9BA788FAF4487 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:36:28] 985*2^1415683-1 is not prime. Res64: DF8FCFEAC0F590D8 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:36:50] 635*2^1415684-1 is not prime. Res64: C6C58379578C4CEE Time : 0.0 sec. user=mdettweiler [2015-11-21 20:36:50] 659*2^1415684-1 is not prime. Res64: B3F29B6A60DA8912 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:42:05] 719*2^1415684-1 is not prime. Res64: BE5BADDAC07CB432 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:42:05] 869*2^1415684-1 is not prime. Res64: BB5BF1057E2882A2 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:43:19] 927*2^1415684-1 is not prime. Res64: 331CDE2F8073A444 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:43:19] 935*2^1415684-1 is not prime. Res64: ECB9180B8905923A Time : 0.0 sec. user=mdettweiler [2015-11-21 20:54:43] 945*2^1415684-1 is not prime. Res64: 66C1FE5D4E8AB1E6 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:54:43] 709*2^1415685-1 is not prime. Res64: 75990F77A31B2D54 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:54:59] 781*2^1415685-1 is not prime. Res64: 4EE85DC7FDE1EB14 Time : 0.0 sec. user=mdettweiler [2015-11-21 20:54:59] 805*2^1415685-1 is not prime. Res64: 2017708D4287D888 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:00:11] 895*2^1415685-1 is not prime. Res64: 7D8266930650988E Time : 0.0 sec. user=mdettweiler [2015-11-21 21:00:12] 677*2^1415686-1 is not prime. Res64: 56B5874C5476ECC2 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:01:30] 717*2^1415686-1 is not prime. Res64: A26CDAAD8AA34946 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:01:31] 833*2^1415686-1 is not prime. Res64: ED0527F7ED7E5C8A Time : 0.0 sec. user=mdettweiler [2015-11-21 21:12:57] 873*2^1415686-1 is not prime. Res64: E21FEBF97E7065E6 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:12:58] 685*2^1415687-1 is not prime. Res64: B4E85D9B91E1A1FC Time : 0.0 sec. user=mdettweiler [2015-11-21 21:13:13] 741*2^1415687-1 is not prime. Res64: FD4DD2AEC96FCFE5 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:13:14] 775*2^1415687-1 is not prime. Res64: 63E7E24F63CFFDB9 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:19:03] 831*2^1415687-1 is not prime. Res64: 38DFBC5EFD546D5F Time : 0.0 sec. user=mdettweiler [2015-11-21 21:19:03] 861*2^1415687-1 is not prime. Res64: 4CB206F82D85FB3C Time : 0.0 sec. user=mdettweiler [2015-11-21 21:20:41] 885*2^1415687-1 is not prime. Res64: CFCF1A5BD7B965DC Time : 0.0 sec. user=mdettweiler [2015-11-21 21:20:42] 639*2^1415688-1 is not prime. Res64: 975C55DEB5A258C9 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:35:45] 789*2^1415689-1 is not prime. Res64: D0408C60CDB0EE71 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:35:45] 623*2^1415690-1 is not prime. Res64: 139822BD53ECDB6F Time : 0.0 sec. user=mdettweiler [2015-11-21 21:35:54] 789*2^1415688-1 is not prime. Res64: 695E5267076A28C8 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:35:54] 875*2^1415688-1 is not prime. Res64: EA96AF003829931B Time : 0.0 sec. user=mdettweiler [2015-11-21 21:43:27] 635*2^1415690-1 is not prime. Res64: A7625ABBD1302D99 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:43:27] 791*2^1415690-1 is not prime. Res64: E542D1856CD6F945 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:44:50] 827*2^1415690-1 is not prime. Res64: 9E842A580D9E645B Time : 0.0 sec. user=mdettweiler [2015-11-21 21:44:50] 857*2^1415690-1 is not prime. Res64: F2B3710D2BFD8544 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:59:53] 885*2^1415690-1 is not prime. Res64: 8E49F9D619D60917 Time : 0.0 sec. user=mdettweiler [2015-11-21 21:59:54] 781*2^1415691-1 is not prime. Res64: 99D08E7075AD39B5 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:00:20] 861*2^1415691-1 is not prime. Res64: F7C25C2A9C0205A8 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:00:21] 943*2^1415691-1 is not prime. Res64: 6334599DEB5ED15D Time : 0.0 sec. user=mdettweiler [2015-11-21 22:06:54] 675*2^1415692-1 is not prime. Res64: 6D0A23E52AE8F0FF Time : 0.0 sec. user=mdettweiler [2015-11-21 22:06:58] 705*2^1415692-1 is not prime. Res64: 42EAA81781511EC8 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:08:10] 833*2^1415692-1 is not prime. Res64: A9412C353ED4A914 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:08:11] 843*2^1415692-1 is not prime. Res64: 651AB32B73184147 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:24:54] 965*2^1415692-1 is not prime. Res64: 7F7E58B949029D73 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:24:55] 735*2^1415693-1 is not prime. Res64: 6046C10C74A1D4BE Time : 0.0 sec. user=mdettweiler [2015-11-21 22:24:59] 855*2^1415692-1 is not prime. Res64: 17A3D9066649DE4E Time : 0.0 sec. user=mdettweiler [2015-11-21 22:24:59] 903*2^1415692-1 is not prime. Res64: 480DA3E9CC3D6397 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:33:11] 769*2^1415693-1 is not prime. Res64: B6E595453537E964 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:33:11] 837*2^1415693-1 is not prime. Res64: 5D72FD1F2D6E24CC Time : 0.0 sec. user=mdettweiler [2015-11-21 22:34:47] 871*2^1415693-1 is not prime. Res64: 838C3C5785ABFC3B Time : 0.0 sec. user=mdettweiler [2015-11-21 22:34:47] 885*2^1415693-1 is not prime. Res64: 2A1C1720E4DB4F20 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:51:10] 611*2^1415694-1 is not prime. Res64: 79498DAEA02EC0BE Time : 0.0 sec. user=mdettweiler [2015-11-21 22:51:11] 833*2^1415694-1 is not prime. Res64: 45EBD4C7E2E5F1FA Time : 0.0 sec. user=mdettweiler [2015-11-21 22:51:16] 885*2^1415694-1 is not prime. Res64: BC4EA28C0106A398 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:51:16] 679*2^1415695-1 is not prime. Res64: D7179F7ED0E33B8B Time : 0.0 sec. user=mdettweiler [2015-11-21 22:57:00] 685*2^1415695-1 is not prime. Res64: EC3045A006AA8A3A Time : 0.0 sec. user=mdettweiler [2015-11-21 22:57:00] 705*2^1415695-1 is not prime. Res64: 59044248177ED3C5 Time : 0.0 sec. user=mdettweiler [2015-11-21 22:58:11] 709*2^1415695-1 is not prime. Res64: 2F7F1D9B9964897D Time : 0.0 sec. user=mdettweiler [2015-11-21 22:58:11] 765*2^1415695-1 is not prime. Res64: 85F569910EE8DD7E Time : 0.0 sec. user=mdettweiler [2015-11-21 23:09:20] 871*2^1415695-1 is not prime. Res64: 3C7759AA430D626D Time : 0.0 sec. user=mdettweiler [2015-11-21 23:09:21] 909*2^1415695-1 is not prime. Res64: 48DDD84B2E167DFD Time : 0.0 sec. user=mdettweiler [2015-11-21 23:09:35] 939*2^1415695-1 is not prime. Res64: 155CDC825F6794B0 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:09:36] 735*2^1415696-1 is not prime. Res64: 3BDCE5DD78C41A57 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:15:21] 839*2^1415696-1 is not prime. Res64: F58A09809B242EBA Time : 0.0 sec. user=mdettweiler [2015-11-21 23:15:22] 857*2^1415696-1 is not prime. Res64: 8470EED83EE0B6EB Time : 0.0 sec. user=mdettweiler [2015-11-21 23:16:26] 869*2^1415696-1 is not prime. Res64: 31F3BB2AEEA41D8F Time : 0.0 sec. user=mdettweiler [2015-11-21 23:16:27] 923*2^1415696-1 is not prime. Res64: 74A5B326CE7E76C4 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:28:06] 865*2^1415697-1 is not prime. Res64: 5F87E194B7B7316C Time : 0.0 sec. user=mdettweiler [2015-11-21 23:28:07] 885*2^1415697-1 is not prime. Res64: 769538D7D2E550C1 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:28:32] 999*2^1415696-1 is not prime. Res64: 8B840B8751C8EA1B Time : 0.0 sec. user=mdettweiler [2015-11-21 23:28:32] 849*2^1415697-1 is not prime. Res64: 77B0BD2CA4473B62 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:33:53] 979*2^1415697-1 is not prime. Res64: 9F0D830BA12E58B0 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:33:53] 735*2^1415698-1 is not prime. Res64: 2894B4A173345248 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:34:50] 737*2^1415698-1 is not prime. Res64: CB60524A8E232CAC Time : 0.0 sec. user=mdettweiler [2015-11-21 23:34:50] 747*2^1415698-1 is not prime. Res64: 63125B497DA87593 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:46:20] 755*2^1415698-1 is not prime. Res64: 8A7161B8C5C3E5AB Time : 0.0 sec. user=mdettweiler [2015-11-21 23:46:21] 765*2^1415698-1 is not prime. Res64: D350C7CE1E53D3E0 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:46:51] 857*2^1415698-1 is not prime. Res64: B078E1C637E48929 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:46:52] 945*2^1415698-1 is not prime. Res64: E31BD779AFC873B8 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:52:19] 971*2^1415698-1 is not prime. Res64: B09FD0F74F0A98CC Time : 0.0 sec. user=mdettweiler [2015-11-21 23:52:20] 601*2^1415699-1 is not prime. Res64: 7B0652241CA3CF20 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:53:04] 619*2^1415699-1 is not prime. Res64: 5EEECA961B857295 Time : 0.0 sec. user=mdettweiler [2015-11-21 23:53:05] 693*2^1415699-1 is not prime. Res64: 53C7745DABE49F9A Time : 0.0 sec.