user=mdettweiler [2018-06-15 00:11:44] 891*2^1513389-1 is not prime. Res64: 0CF1BCB554198755 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:11:45] 945*2^1513389-1 is not prime. Res64: 565C0179230B1A34 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:11:45] 949*2^1513389-1 is not prime. Res64: 1A30E53C1C1DBB41 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:11:46] 687*2^1513390-1 is not prime. Res64: 6266617398AD497A Time : 0.0 sec. user=mdettweiler [2018-06-15 00:11:46] 707*2^1513390-1 is not prime. Res64: EAA7AAE6FF715DD7 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:13:52] 873*2^1513390-1 is not prime. Res64: 3EA7D72DD328CA23 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:13:52] 965*2^1513390-1 is not prime. Res64: 304F52F53AA1BADB Time : 0.0 sec. user=mdettweiler [2018-06-15 00:13:53] 643*2^1513391-1 is not prime. Res64: FDE9D120CA7FA575 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:13:53] 661*2^1513391-1 is not prime. Res64: 735B620950E2D6A6 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:13:54] 663*2^1513391-1 is not prime. Res64: 5CB99EF569815AB6 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:14:48] 717*2^1513390-1 is not prime. Res64: 021ACCFA06F6B3A0 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:14:50] 755*2^1513390-1 is not prime. Res64: 3F164F0AC713967B Time : 0.0 sec. user=mdettweiler [2018-06-15 00:14:50] 777*2^1513390-1 is not prime. Res64: B5EC52AA34FCF483 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:14:51] 827*2^1513390-1 is not prime. Res64: DB7CE78BCBB1F155 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:14:53] 867*2^1513390-1 is not prime. Res64: EF1FD70E64311F92 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:38:25] 753*2^1513391-1 is not prime. Res64: 4DDA881A1DD01553 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:38:25] 859*2^1513391-1 is not prime. Res64: BB08E2BD23166EB8 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:38:26] 909*2^1513391-1 is not prime. Res64: F07F60582A13FBF6 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:38:26] 931*2^1513391-1 is not prime. Res64: 9F78D0F102C221F3 Time : 0.0 sec. user=mdettweiler [2018-06-15 00:38:27] 615*2^1513392-1 is not prime. Res64: 8B2E0E181CF702E9 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:02:07] 683*2^1513392-1 is not prime. Res64: 0B8C3A666DEFC08D Time : 0.0 sec. user=mdettweiler [2018-06-15 01:02:08] 843*2^1513392-1 is not prime. Res64: 43910E7E7960E423 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:02:08] 721*2^1513393-1 is not prime. Res64: 20F30C9655CE2BFB Time : 0.0 sec. user=mdettweiler [2018-06-15 01:02:09] 727*2^1513393-1 is not prime. Res64: CF0ABA6957A1C1CA Time : 0.0 sec. user=mdettweiler [2018-06-15 01:02:10] 741*2^1513393-1 is not prime. Res64: 6F1531EEE1D0718C Time : 0.0 sec. user=mdettweiler [2018-06-15 01:03:50] 801*2^1513393-1 is not prime. Res64: 4872FE2E62E911BF Time : 0.0 sec. user=mdettweiler [2018-06-15 01:03:51] 981*2^1513393-1 is not prime. Res64: 3E1FBE233837B5A9 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:03:53] 987*2^1513393-1 is not prime. Res64: 5FBE451F833BE864 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:03:54] 641*2^1513394-1 is not prime. Res64: D175D1EE19A4C799 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:03:54] 741*2^1513394-1 is not prime. Res64: 2C3261555DC881BC Time : 0.0 sec. user=mdettweiler [2018-06-15 01:04:53] 753*2^1513394-1 is not prime. Res64: BF75A8FCB4CAA51C Time : 0.0 sec. user=mdettweiler [2018-06-15 01:04:54] 887*2^1513394-1 is not prime. Res64: B7F11E21454BD351 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:04:55] 921*2^1513394-1 is not prime. Res64: FB38F05550B9C15E Time : 0.0 sec. user=mdettweiler [2018-06-15 01:04:56] 619*2^1513395-1 is not prime. Res64: 18B0927F1F6548A7 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:04:57] 801*2^1513395-1 is not prime. Res64: 1977CC2384693D2B Time : 0.0 sec. user=mdettweiler [2018-06-15 01:28:26] 891*2^1513395-1 is not prime. Res64: 881A93AB7C2BB3FC Time : 0.0 sec. user=juhehe [2018-06-15 01:31:04] 719*2^1513396-1 is not prime. Res64: 270F549369DFE000 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:52:41] 783*2^1513396-1 is not prime. Res64: 9304FE928ECC0F81 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:52:42] 953*2^1513396-1 is not prime. Res64: 9E76E746E44CA4B8 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:52:42] 993*2^1513396-1 is not prime. Res64: 4A36D5705BC7BBCD Time : 0.0 sec. user=mdettweiler [2018-06-15 01:52:43] 631*2^1513397-1 is not prime. Res64: D7ACBF32E7AC2A00 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:52:44] 781*2^1513397-1 is not prime. Res64: 8B0F5EAC97C19524 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:14] 795*2^1513397-1 is not prime. Res64: BEBC366CA15AA505 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:15] 819*2^1513397-1 is not prime. Res64: E5B222845C21A562 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:15] 647*2^1513398-1 is not prime. Res64: 3D8E8A5F49D9CFBA Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:16] 713*2^1513398-1 is not prime. Res64: 226909AC85CF2333 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:16] 747*2^1513398-1 is not prime. Res64: 8148D253C67F11A4 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:50] 825*2^1513398-1 is not prime. Res64: ED2109D5911724C8 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:51] 875*2^1513398-1 is not prime. Res64: 50C888772FB55650 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:51] 951*2^1513398-1 is not prime. Res64: 7462CCF874D13B60 Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:52] 645*2^1513399-1 is not prime. Res64: C3D22DB02ADAEF9B Time : 0.0 sec. user=mdettweiler [2018-06-15 01:54:52] 831*2^1513399-1 is not prime. Res64: 80F10CCA1A05BC22 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:44:59] 841*2^1513399-1 is not prime. Res64: D160D7BF49252587 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:44:59] 861*2^1513399-1 is not prime. Res64: 03342AC7C8E8A2A0 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:01] 961*2^1513399-1 is not prime. Res64: DF8CEB9881DA4287 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:02] 999*2^1513399-1 is not prime. Res64: 1AA43A3A59347EB1 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:04] 669*2^1513400-1 is not prime. Res64: 405F04C49EBD9985 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:21] 725*2^1513400-1 is not prime. Res64: 080508832BA1505A Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:24] 879*2^1513400-1 is not prime. Res64: 5E39106BCCB28935 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:25] 935*2^1513400-1 is not prime. Res64: 7BEB23357A568D64 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:25] 607*2^1513401-1 is not prime. Res64: 3772C7D76BC94952 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:45:26] 639*2^1513401-1 is not prime. Res64: 5AD5758173DC7BA5 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:46:11] 781*2^1513401-1 is not prime. Res64: 1FF01F3E8FF54B0A Time : 0.0 sec. user=mdettweiler [2018-06-15 02:46:12] 819*2^1513401-1 is not prime. Res64: 4295AD352443A4B0 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:46:13] 865*2^1513401-1 is not prime. Res64: E3E263F65DE7D1A8 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:46:13] 909*2^1513401-1 is not prime. Res64: B0948C80476BAA58 Time : 0.0 sec. user=mdettweiler [2018-06-15 02:46:14] 621*2^1513402-1 is not prime. Res64: 0831982D6F5D9F81 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:11] 755*2^1513402-1 is not prime. Res64: 2120ECD97DF47BA5 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:15] 609*2^1513403-1 is not prime. Res64: 44C872E98A74866D Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:16] 867*2^1513402-1 is not prime. Res64: EFE2C46CCD577B49 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:21] 951*2^1513402-1 is not prime. Res64: 8C3468590CE3BD11 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:22] 753*2^1513403-1 is not prime. Res64: 112A44B99BEE75F4 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:24] 983*2^1513402-1 is not prime. Res64: DFFC7C76D5413251 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:28] 987*2^1513402-1 is not prime. Res64: 3907423C68395DCB Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:29] 759*2^1513403-1 is not prime. Res64: 27B5049FBEDF8EA9 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:36] 879*2^1513403-1 is not prime. Res64: 91900BB2A005AC2B Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:40] 945*2^1513403-1 is not prime. Res64: 28AE25DF9C60462C Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:42] 981*2^1513403-1 is not prime. Res64: E2F297956D15D4E0 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:46] 665*2^1513404-1 is not prime. Res64: C6938C6E055667DC Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:48] 759*2^1513404-1 is not prime. Res64: D47D1C43CD745195 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:50] 773*2^1513404-1 is not prime. Res64: 245BAFC5733975B5 Time : 0.0 sec. user=mdettweiler [2018-06-15 03:36:52] 935*2^1513404-1 is not prime. Res64: F93D3568A799919B Time : 0.0 sec. user=juhehe [2018-06-15 03:53:52] 945*2^1513404-1 is not prime. Res64: 0EEB8C8737A71505 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:28:58] 975*2^1513405-1 is not prime. Res64: 09E6EC5E487A4BAE Time : 0.0 sec. user=mdettweiler [2018-06-15 04:29:01] 999*2^1513405-1 is not prime. Res64: 2C2378476CA1A83A Time : 0.0 sec. user=mdettweiler [2018-06-15 04:29:06] 617*2^1513406-1 is not prime. Res64: DD120C4E3012CD16 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:29:09] 691*2^1513405-1 is not prime. Res64: 76B327CEEA5415AA Time : 0.0 sec. user=mdettweiler [2018-06-15 04:29:12] 635*2^1513406-1 is not prime. Res64: 64F3A67F60E91CD0 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:29:18] 721*2^1513405-1 is not prime. Res64: 4B58CBDE1221D6E4 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:29:19] 903*2^1513406-1 is not prime. Res64: 2B9BA733E0A6EB03 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:29:21] 705*2^1513407-1 is not prime. Res64: CD0184D98EF8B747 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:49:00] 943*2^1513395-1 is not prime. Res64: FCCE25D5020FBDC4 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:49:01] 985*2^1513395-1 is not prime. Res64: DAEF2F26D8FAA8D1 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:49:02] 991*2^1513395-1 is not prime. Res64: 0A982AA504F285D2 Time : 0.0 sec. user=mdettweiler [2018-06-15 04:49:03] 657*2^1513396-1 is not prime. Res64: B0D88A244E50B7B0 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:21:48] 931*2^1513407-1 is not prime. Res64: D402AD23A344B18C Time : 0.0 sec. user=mdettweiler [2018-06-15 05:21:49] 615*2^1513408-1 is not prime. Res64: C82668FF13927A42 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:21:49] 635*2^1513408-1 is not prime. Res64: A61D82E498862C3A Time : 0.0 sec. user=mdettweiler [2018-06-15 05:21:51] 897*2^1513408-1 is not prime. Res64: 993D115A70BE3492 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:21:52] 705*2^1513409-1 is not prime. Res64: CD9A3DD8387E0DB4 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:40:39] 711*2^1513409-1 is not prime. Res64: 786D9343078F3CB2 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:40:40] 787*2^1513409-1 is not prime. Res64: 28791A3EB682C1F5 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:40:41] 951*2^1513409-1 is not prime. Res64: 3B3077EF16745C47 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:40:42] 967*2^1513409-1 is not prime. Res64: D41FE4764389C0D9 Time : 0.0 sec. user=mdettweiler [2018-06-15 05:40:43] 969*2^1513409-1 is not prime. Res64: 7BC837111F9EC046 Time : 0.0 sec. user=mdettweiler [2018-06-15 06:13:08] 987*2^1513409-1 is not prime. Res64: 14CCAB4A45ACF4A4 Time : 0.0 sec. user=mdettweiler [2018-06-15 06:13:10] 611*2^1513410-1 is not prime. Res64: 11B10967E7DA405D Time : 0.0 sec. user=mdettweiler [2018-06-15 06:13:11] 917*2^1513410-1 is not prime. Res64: 3E34E0A18A4FA608 Time : 0.0 sec. user=mdettweiler [2018-06-15 06:13:12] 673*2^1513411-1 is not prime. Res64: 1FCA71C099EC13DE Time : 0.0 sec. user=mdettweiler [2018-06-15 06:13:13] 693*2^1513411-1 is not prime. Res64: DFF59E23B36FB0DF Time : 0.0 sec. user=juhehe [2018-06-15 06:14:28] 723*2^1513411-1 is not prime. Res64: EAC71AD608A28D7E Time : 0.0 sec. user=mdettweiler [2018-06-15 06:31:37] 859*2^1513411-1 is not prime. Res64: C36DE3D433389F9D Time : 0.0 sec. user=mdettweiler [2018-06-15 06:31:38] 883*2^1513411-1 is not prime. Res64: 241437B71E847E29 Time : 0.0 sec. user=mdettweiler [2018-06-15 06:31:38] 979*2^1513411-1 is not prime. Res64: 206D9100B34FB5EF Time : 0.0 sec. user=mdettweiler [2018-06-15 06:31:39] 629*2^1513412-1 is not prime. Res64: 50BBA9D0588BC8F6 Time : 0.0 sec. user=mdettweiler [2018-06-15 06:31:40] 743*2^1513412-1 is not prime. Res64: FEA0423ED7C4FC96 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:05:32] 819*2^1513412-1 is not prime. Res64: 9BA71F678FF5F657 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:05:34] 935*2^1513412-1 is not prime. Res64: 83D6C985F44FE255 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:05:36] 735*2^1513413-1 is not prime. Res64: 1FE65D4096D7ED93 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:05:38] 787*2^1513413-1 is not prime. Res64: D102CB5CD1538BFD Time : 0.0 sec. user=mdettweiler [2018-06-15 07:05:39] 811*2^1513413-1 is not prime. Res64: 9C8B6E8B245F524B Time : 0.0 sec. user=mdettweiler [2018-06-15 07:22:09] 961*2^1513413-1 is not prime. Res64: 7468FDEAF600BC0B Time : 0.0 sec. user=mdettweiler [2018-06-15 07:22:10] 985*2^1513413-1 is not prime. Res64: 11DF1A70AEA9351E Time : 0.0 sec. user=mdettweiler [2018-06-15 07:22:11] 651*2^1513414-1 is not prime. Res64: 3C183F28AA0D9657 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:22:11] 657*2^1513414-1 is not prime. Res64: F0FF703595FAF419 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:22:12] 825*2^1513414-1 is not prime. Res64: 7A1C433729444E79 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:57:10] 917*2^1513414-1 is not prime. Res64: 877B9FAF79868168 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:57:10] 941*2^1513414-1 is not prime. Res64: 274DC39F2EFD0864 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:57:11] 981*2^1513414-1 is not prime. Res64: 1414B95A64DCF906 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:57:12] 655*2^1513415-1 is not prime. Res64: 0535027DDB727885 Time : 0.0 sec. user=mdettweiler [2018-06-15 07:57:12] 669*2^1513415-1 is not prime. Res64: 9D9E9A27A1738D89 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:14:48] 685*2^1513415-1 is not prime. Res64: 5DE303C2F54D8374 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:14:49] 693*2^1513415-1 is not prime. Res64: 23A79DEAD43BAEE8 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:14:49] 721*2^1513415-1 is not prime. Res64: 6984BDC3AE8586B2 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:14:50] 735*2^1513415-1 is not prime. Res64: 99DAFACF53D30FBF Time : 0.0 sec. user=mdettweiler [2018-06-15 08:14:51] 741*2^1513415-1 is not prime. Res64: C0BBA39EE6342066 Time : 0.0 sec. user=juhehe [2018-06-15 08:34:39] 781*2^1513415-1 is not prime. Res64: CAA55CE1B929AA62 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:49:05] 885*2^1513415-1 is not prime. Res64: D550BEDE898F3D82 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:49:06] 999*2^1513415-1 is not prime. Res64: B5CD4D9B600ED723 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:49:07] 657*2^1513416-1 is not prime. Res64: D65FE146604DD9BA Time : 0.0 sec. user=mdettweiler [2018-06-15 08:49:09] 669*2^1513416-1 is not prime. Res64: 22A47820AD2FFE52 Time : 0.0 sec. user=mdettweiler [2018-06-15 08:49:10] 747*2^1513416-1 is not prime. Res64: 4216EBD53A1D331B Time : 0.0 sec. user=mdettweiler [2018-06-15 09:05:44] 803*2^1513416-1 is not prime. Res64: 78CDFFCADCB56D08 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:05:52] 845*2^1513416-1 is not prime. Res64: 3307033551443ECC Time : 0.0 sec. user=mdettweiler [2018-06-15 09:05:58] 639*2^1513417-1 is not prime. Res64: D1C27AC8AF68FC8B Time : 0.0 sec. user=mdettweiler [2018-06-15 09:06:05] 667*2^1513417-1 is not prime. Res64: C5D18BF66EB30D03 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:06:11] 729*2^1513417-1 is not prime. Res64: D808397B05C23AAD Time : 0.0 sec. user=mdettweiler [2018-06-15 09:24:24] 741*2^1513405-1 is not prime. Res64: 78DAB2303328D243 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:24:25] 817*2^1513405-1 is not prime. Res64: D3C082CFB75EC20A Time : 0.0 sec. user=mdettweiler [2018-06-15 09:24:26] 849*2^1513405-1 is not prime. Res64: 32CD1D385153DD2A Time : 0.0 sec. user=mdettweiler [2018-06-15 09:39:59] 741*2^1513417-1 is not prime. Res64: 214FA20DD3A055FC Time : 0.0 sec. user=mdettweiler [2018-06-15 09:39:59] 765*2^1513417-1 is not prime. Res64: 157EF6F3D49CB94C Time : 0.0 sec. user=mdettweiler [2018-06-15 09:40:00] 777*2^1513417-1 is not prime. Res64: F047A1F3D6366C38 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:40:01] 897*2^1513417-1 is not prime. Res64: B3D42491277E6C68 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:40:01] 997*2^1513417-1 is not prime. Res64: A9BC5C9025B8FDA7 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:45:34] 693*2^1513407-1 is not prime. Res64: 358627111C6F642F Time : 0.0 sec. user=mdettweiler [2018-06-15 09:45:35] 711*2^1513407-1 is not prime. Res64: B40F735E284677BD Time : 0.0 sec. user=mdettweiler [2018-06-15 09:45:35] 861*2^1513407-1 is not prime. Res64: DFF6D948D85F2C59 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:45:36] 909*2^1513407-1 is not prime. Res64: 6D650354EFA49B64 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:59:49] 623*2^1513418-1 is not prime. Res64: 641BC3DCCFECEB33 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:59:49] 707*2^1513418-1 is not prime. Res64: E43C86B974ECB0E2 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:59:50] 755*2^1513418-1 is not prime. Res64: D9AE64BE693017DF Time : 0.0 sec. user=mdettweiler [2018-06-15 09:59:50] 867*2^1513418-1 is not prime. Res64: D47662BEAF7ED6E1 Time : 0.0 sec. user=mdettweiler [2018-06-15 09:59:51] 893*2^1513418-1 is not prime. Res64: D75C30E9046D51B0 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:14:17] 945*2^1513418-1 is not prime. Res64: 053CD5E75D58D631 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:14:18] 957*2^1513418-1 is not prime. Res64: 0603DDEE88F72796 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:14:18] 619*2^1513419-1 is not prime. Res64: 79A0BD956550D3B0 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:14:19] 705*2^1513419-1 is not prime. Res64: B970F2F2F9D57B3D Time : 0.0 sec. user=mdettweiler [2018-06-15 10:14:20] 741*2^1513419-1 is not prime. Res64: 4A93CCFF0A211C76 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:29:26] 793*2^1513419-1 is not prime. Res64: 5E5321EDD1BA5163 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:29:27] 873*2^1513419-1 is not prime. Res64: BD5964888289EC82 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:29:27] 609*2^1513420-1 is not prime. Res64: F14B494DD7F18723 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:29:28] 665*2^1513420-1 is not prime. Res64: 1EB9D9ECAA5F4D1F Time : 0.0 sec. user=mdettweiler [2018-06-15 10:29:29] 813*2^1513420-1 is not prime. Res64: 5B99C658D30F7D67 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:35:42] 833*2^1513420-1 is not prime. Res64: 5303107755846D49 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:35:42] 875*2^1513420-1 is not prime. Res64: 6053D65E99ED6D1A Time : 0.0 sec. user=mdettweiler [2018-06-15 10:35:43] 685*2^1513421-1 is not prime. Res64: 835C9E1833DE2404 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:35:43] 901*2^1513421-1 is not prime. Res64: 8F08212A71A8166B Time : 0.0 sec. user=mdettweiler [2018-06-15 10:35:44] 957*2^1513421-1 is not prime. Res64: 57BB0A0A5408A885 Time : 0.0 sec. user=juhehe [2018-06-15 10:45:40] 649*2^1513423-1 is not prime. Res64: C754A33762E39E3D Time : 0.0 sec. user=mdettweiler [2018-06-15 10:49:35] 657*2^1513422-1 is not prime. Res64: 0D6F1932B6796AF2 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:49:36] 755*2^1513422-1 is not prime. Res64: 4F18062051AE708E Time : 0.0 sec. user=mdettweiler [2018-06-15 10:49:36] 863*2^1513422-1 is not prime. Res64: A348B57C9FC2D693 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:49:37] 867*2^1513422-1 is not prime. Res64: 23C9D789EAC059F0 Time : 0.0 sec. user=mdettweiler [2018-06-15 10:49:37] 945*2^1513422-1 is not prime. Res64: 1BAA38BE6D807AF3 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:04:29] 703*2^1513423-1 is not prime. Res64: E8F02DF1D54B7E50 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:04:31] 723*2^1513423-1 is not prime. Res64: 0C2E16786B618C9A Time : 0.0 sec. user=mdettweiler [2018-06-15 11:04:32] 741*2^1513423-1 is not prime. Res64: AEAAFCC77A005882 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:04:36] 775*2^1513423-1 is not prime. Res64: AD636CF0B7A941D1 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:04:39] 861*2^1513423-1 is not prime. Res64: 500A51CB871A091D Time : 0.0 sec. user=mdettweiler [2018-06-15 11:19:34] 915*2^1513423-1 is not prime. Res64: 34ADE86251F11E8C Time : 0.0 sec. user=mdettweiler [2018-06-15 11:19:35] 951*2^1513423-1 is not prime. Res64: 6CF8B70815CF8A3D Time : 0.0 sec. user=mdettweiler [2018-06-15 11:19:36] 985*2^1513423-1 is not prime. Res64: 2DED5684CA2DCF56 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:19:37] 753*2^1513424-1 is not prime. Res64: CFF8D9A2AC819BAD Time : 0.0 sec. user=mdettweiler [2018-06-15 11:19:38] 959*2^1513424-1 is not prime. Res64: C37B9347F404F5D6 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:25:41] 995*2^1513424-1 is not prime. Res64: 6DD90EFE45BC5CF5 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:25:41] 861*2^1513425-1 is not prime. Res64: 91183B5C1063AE43 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:25:42] 871*2^1513425-1 is not prime. Res64: 98C044CFDA5BDC14 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:25:42] 717*2^1513426-1 is not prime. Res64: B99810E5F77E4EDC Time : 0.0 sec. user=mdettweiler [2018-06-15 11:25:43] 723*2^1513426-1 is not prime. Res64: A32054C569CFC14B Time : 0.0 sec. user=mdettweiler [2018-06-15 11:39:44] 743*2^1513426-1 is not prime. Res64: D87EC2C80443FF14 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:39:45] 833*2^1513426-1 is not prime. Res64: E572C2E007BB3A27 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:39:45] 983*2^1513426-1 is not prime. Res64: B48E604096E296C7 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:39:46] 609*2^1513427-1 is not prime. Res64: 6B282004D0DC0A8E Time : 0.0 sec. user=mdettweiler [2018-06-15 11:39:46] 619*2^1513427-1 is not prime. Res64: 624642ABD5D9E54D Time : 0.0 sec. user=mdettweiler [2018-06-15 11:55:06] 621*2^1513427-1 is not prime. Res64: 66643BA3F27BC87A Time : 0.0 sec. user=mdettweiler [2018-06-15 11:55:06] 631*2^1513427-1 is not prime. Res64: FCBA1482926665C2 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:55:07] 655*2^1513427-1 is not prime. Res64: 6A30854F950C12EC Time : 0.0 sec. user=mdettweiler [2018-06-15 11:55:07] 735*2^1513427-1 is not prime. Res64: 4756AE53A4E61016 Time : 0.0 sec. user=mdettweiler [2018-06-15 11:55:07] 859*2^1513427-1 is not prime. Res64: 477A66A988F2C465 Time : 0.0 sec. user=juhehe [2018-06-15 12:08:54] 641*2^1513430-1 is not prime. Res64: C714B01A433D16D1 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:12:36] 633*2^1513428-1 is not prime. Res64: B8EC9B2397A13CE5 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:12:37] 705*2^1513428-1 is not prime. Res64: 036D62278E460BF0 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:12:38] 759*2^1513428-1 is not prime. Res64: 4F47A0FB44289527 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:12:41] 993*2^1513428-1 is not prime. Res64: 5AF34904D988408D Time : 0.0 sec. user=mdettweiler [2018-06-15 12:12:41] 729*2^1513429-1 is not prime. Res64: 1EC526D0E380A02C Time : 0.0 sec. user=mdettweiler [2018-06-15 12:17:32] 745*2^1513429-1 is not prime. Res64: 568C99EC5AEF51D2 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:17:32] 747*2^1513429-1 is not prime. Res64: F0A984E71229C6C3 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:17:32] 919*2^1513429-1 is not prime. Res64: 47C3B266E2A59782 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:17:33] 979*2^1513429-1 is not prime. Res64: 6E354DF1509E885D Time : 0.0 sec. user=mdettweiler [2018-06-15 12:17:33] 635*2^1513430-1 is not prime. Res64: 1AB74BA4E4108CB5 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:31:26] 645*2^1513430-1 is not prime. Res64: 773F681B9771867D Time : 0.0 sec. user=mdettweiler [2018-06-15 12:31:27] 707*2^1513430-1 is not prime. Res64: 43A9F95FD059AD25 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:31:27] 741*2^1513430-1 is not prime. Res64: FA6FA2259AD69E22 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:31:28] 743*2^1513430-1 is not prime. Res64: 3E78A58118EA5C57 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:31:28] 753*2^1513430-1 is not prime. Res64: 0238DF818A96DA5E Time : 0.0 sec. user=mdettweiler [2018-06-15 12:46:47] 827*2^1513430-1 is not prime. Res64: 8D445CF8D08DEE54 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:46:47] 857*2^1513430-1 is not prime. Res64: E1BD68A17E7C9B5B Time : 0.0 sec. user=mdettweiler [2018-06-15 12:46:48] 977*2^1513430-1 is not prime. Res64: D51600FBAA6D3E8A Time : 0.0 sec. user=mdettweiler [2018-06-15 12:46:48] 625*2^1513431-1 is not prime. Res64: 96500A92DF7FA926 Time : 0.0 sec. user=mdettweiler [2018-06-15 12:46:48] 679*2^1513431-1 is not prime. Res64: AF7BE1C12BDF86EF Time : 0.0 sec. user=mdettweiler [2018-06-15 13:05:21] 723*2^1513431-1 is not prime. Res64: D8E05E47F159C225 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:05:26] 783*2^1513431-1 is not prime. Res64: B3C2111DECBDA82A Time : 0.0 sec. user=mdettweiler [2018-06-15 13:05:31] 871*2^1513431-1 is not prime. Res64: E14E3817C53A8A87 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:05:35] 921*2^1513431-1 is not prime. Res64: 84753C97540397A3 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:05:40] 933*2^1513431-1 is not prime. Res64: 3798D79BB69D10DF Time : 0.0 sec. user=mdettweiler [2018-06-15 13:09:16] 603*2^1513432-1 is not prime. Res64: F26682FD188E407C Time : 0.0 sec. user=mdettweiler [2018-06-15 13:09:22] 695*2^1513432-1 is not prime. Res64: 96B12B19B971FCDA Time : 0.0 sec. user=mdettweiler [2018-06-15 13:24:32] 863*2^1513432-1 is not prime. Res64: 32C079D7580367DD Time : 0.0 sec. user=mdettweiler [2018-06-15 13:24:33] 957*2^1513432-1 is not prime. Res64: 7C49569AF93DD5A0 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:24:33] 965*2^1513432-1 is not prime. Res64: E89D4DBA343FF7EB Time : 0.0 sec. user=mdettweiler [2018-06-15 13:24:34] 975*2^1513432-1 is not prime. Res64: 9838D885E6A1FB13 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:24:34] 983*2^1513432-1 is not prime. Res64: FA74FF170F59DA5F Time : 0.0 sec. user=mdettweiler [2018-06-15 13:38:34] 631*2^1513433-1 is not prime. Res64: CE0FAA101A536378 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:38:34] 637*2^1513433-1 is not prime. Res64: 406B883516B1784B Time : 0.0 sec. user=mdettweiler [2018-06-15 13:38:34] 651*2^1513433-1 is not prime. Res64: 471A68552B33EA57 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:38:35] 657*2^1513433-1 is not prime. Res64: 3204D1D3A2B9B97A Time : 0.0 sec. user=mdettweiler [2018-06-15 13:38:35] 769*2^1513433-1 is not prime. Res64: 6566A917E09ADC97 Time : 0.0 sec. user=juhehe [2018-06-15 13:42:02] 837*2^1513433-1 is not prime. Res64: E2CB86F49186EA80 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:59:55] 867*2^1513433-1 is not prime. Res64: F9B0C2DFE3B86937 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:59:55] 955*2^1513433-1 is not prime. Res64: D34B341E58D278F4 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:59:55] 969*2^1513433-1 is not prime. Res64: B3BBB5FB1AF7E099 Time : 0.0 sec. user=mdettweiler [2018-06-15 13:59:56] 987*2^1513433-1 is not prime. Res64: 1E40CA864503AF3E Time : 0.0 sec. user=mdettweiler [2018-06-15 13:59:56] 773*2^1513434-1 is not prime. Res64: 1F5E42CFA6C65D79 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:17:03] 797*2^1513434-1 is not prime. Res64: 6815FB7BDE0B8B92 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:17:04] 851*2^1513434-1 is not prime. Res64: F4940EA247ECE73F Time : 0.0 sec. user=mdettweiler [2018-06-15 14:17:05] 861*2^1513434-1 is not prime. Res64: 36220647ACC2C49B Time : 0.0 sec. user=mdettweiler [2018-06-15 14:17:06] 873*2^1513434-1 is not prime. Res64: 8FACEF2556E65324 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:17:06] 903*2^1513434-1 is not prime. Res64: 773F23AB82986693 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:30:42] 649*2^1513435-1 is not prime. Res64: 39F35F995AC2545F Time : 0.0 sec. user=mdettweiler [2018-06-15 14:30:43] 733*2^1513435-1 is not prime. Res64: 8EF4207CE01AA52E Time : 0.0 sec. user=mdettweiler [2018-06-15 14:30:43] 843*2^1513435-1 is not prime. Res64: D1815CD929A067DA Time : 0.0 sec. user=mdettweiler [2018-06-15 14:30:44] 885*2^1513435-1 is not prime. Res64: 46D94011DED36A47 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:30:44] 913*2^1513435-1 is not prime. Res64: FCC0214C3C8D1FB6 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:50:56] 951*2^1513435-1 is not prime. Res64: 0AA463540CF479B1 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:50:56] 985*2^1513435-1 is not prime. Res64: 6EB3208CE492B6D6 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:50:57] 663*2^1513436-1 is not prime. Res64: DCACEE881E9256F0 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:50:57] 707*2^1513436-1 is not prime. Res64: D7EE7E458BAECE08 Time : 0.0 sec. user=mdettweiler [2018-06-15 14:50:58] 717*2^1513436-1 is not prime. Res64: A35C04331FB6D1FC Time : 0.0 sec. user=mdettweiler [2018-06-15 15:08:21] 759*2^1513436-1 is not prime. Res64: F663E09AD6364564 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:08:22] 767*2^1513436-1 is not prime. Res64: 0F2925F99164DFED Time : 0.0 sec. user=mdettweiler [2018-06-15 15:08:22] 785*2^1513436-1 is not prime. Res64: 1E0FF08D11C5C2F5 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:08:23] 855*2^1513436-1 is not prime. Res64: 88D765298EC7F0BE Time : 0.0 sec. user=mdettweiler [2018-06-15 15:08:24] 857*2^1513436-1 is not prime. Res64: A82D6062934C171B Time : 0.0 sec. user=mdettweiler [2018-06-15 15:20:51] 903*2^1513436-1 is not prime. Res64: 4C20D815D9AE1BDA Time : 0.0 sec. user=mdettweiler [2018-06-15 15:20:52] 923*2^1513436-1 is not prime. Res64: 00F72D8D12503653 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:20:52] 945*2^1513436-1 is not prime. Res64: 330F7288B24F7A6D Time : 0.0 sec. user=mdettweiler [2018-06-15 15:20:53] 607*2^1513437-1 is not prime. Res64: C0D7995D93161E26 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:20:53] 649*2^1513437-1 is not prime. Res64: 06C20AA98A066A35 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:41:45] 675*2^1513437-1 is not prime. Res64: 09AC200A30B69971 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:41:45] 685*2^1513437-1 is not prime. Res64: 25302BE63D38BE1A Time : 0.0 sec. user=mdettweiler [2018-06-15 15:41:46] 835*2^1513437-1 is not prime. Res64: DA9ADF637B53B42D Time : 0.0 sec. user=mdettweiler [2018-06-15 15:41:46] 915*2^1513437-1 is not prime. Res64: F35D0A52FF733A7D Time : 0.0 sec. user=mdettweiler [2018-06-15 15:41:47] 975*2^1513437-1 is not prime. Res64: B114CCA20B05CF4B Time : 0.0 sec. user=mdettweiler [2018-06-15 15:58:23] 605*2^1513438-1 is not prime. Res64: 10DD7177A7911FC3 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:58:24] 611*2^1513438-1 is not prime. Res64: 0DFE5ED389FA1FA6 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:58:24] 617*2^1513438-1 is not prime. Res64: 8D2EAE48A5F4A9C9 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:58:25] 845*2^1513438-1 is not prime. Res64: 4162E4D7B6035586 Time : 0.0 sec. user=mdettweiler [2018-06-15 15:58:25] 857*2^1513438-1 is not prime. Res64: F8291ACCC0FF6AF1 Time : 0.0 sec. user=juhehe [2018-06-15 16:02:23] 887*2^1513438-1 is not prime. Res64: 2F940735D4CC495E Time : 0.0 sec. user=mdettweiler [2018-06-15 16:11:26] 721*2^1513439-1 is not prime. Res64: 0EFEAB6E4B5955AB Time : 0.0 sec. user=mdettweiler [2018-06-15 16:11:29] 889*2^1513439-1 is not prime. Res64: EA4198371BFEDB91 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:11:30] 633*2^1513440-1 is not prime. Res64: 5D7F21FB694795B3 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:11:31] 695*2^1513440-1 is not prime. Res64: 0AE99EDF8E62D4AD Time : 0.0 sec. user=mdettweiler [2018-06-15 16:11:33] 717*2^1513440-1 is not prime. Res64: 87C68DBBD060120E Time : 0.0 sec. user=mdettweiler [2018-06-15 16:32:07] 737*2^1513440-1 is not prime. Res64: 0ECF764D215FAF75 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:32:07] 765*2^1513440-1 is not prime. Res64: 8B6F4BD63577E562 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:32:08] 839*2^1513440-1 is not prime. Res64: 5C74908333C3ECE3 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:32:08] 975*2^1513440-1 is not prime. Res64: 492FAEA496536868 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:32:09] 619*2^1513441-1 is not prime. Res64: E47F56026F7AEC5A Time : 0.0 sec. user=mdettweiler [2018-06-15 16:41:06] 735*2^1513432-1 is not prime. Res64: 6520F6F2AD735C28 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:41:07] 747*2^1513432-1 is not prime. Res64: 677611CE6D5BF126 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:41:07] 797*2^1513432-1 is not prime. Res64: 1422CD5F3220D853 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:48:53] 645*2^1513441-1 is not prime. Res64: E34EE9D5B08FDFB1 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:48:53] 705*2^1513441-1 is not prime. Res64: 0BDE0DA2347229EC Time : 0.0 sec. user=mdettweiler [2018-06-15 16:48:54] 829*2^1513441-1 is not prime. Res64: C2D7EE4D783FB8C9 Time : 0.0 sec. user=mdettweiler [2018-06-15 16:48:54] 895*2^1513441-1 is not prime. Res64: 182420411B1F98AB Time : 0.0 sec. user=mdettweiler [2018-06-15 16:48:55] 813*2^1513442-1 is not prime. Res64: A0B7B19DBF1C0CB6 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:02:15] 827*2^1513442-1 is not prime. Res64: 47E0BC972C8BDDE6 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:02:16] 843*2^1513442-1 is not prime. Res64: 8AEDB06D7CBE23B8 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:02:16] 893*2^1513442-1 is not prime. Res64: 5891C9D930F4E4E3 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:02:17] 915*2^1513442-1 is not prime. Res64: A2B35F596187F6A2 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:02:18] 921*2^1513442-1 is not prime. Res64: EF12A4635880E140 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:22:23] 735*2^1513443-1 is not prime. Res64: 4046AF570FFAA2F3 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:22:23] 741*2^1513443-1 is not prime. Res64: 50E75DC74E97FE5C Time : 0.0 sec. user=mdettweiler [2018-06-15 17:22:24] 751*2^1513443-1 is not prime. Res64: 6C1D97710F1AECCA Time : 0.0 sec. user=mdettweiler [2018-06-15 17:22:24] 765*2^1513443-1 is not prime. Res64: 19798DC60EB7616B Time : 0.0 sec. user=mdettweiler [2018-06-15 17:22:25] 783*2^1513443-1 is not prime. Res64: F9FA6CDCD550ED8A Time : 0.0 sec. user=mdettweiler [2018-06-15 17:30:48] 805*2^1513443-1 is not prime. Res64: 4AD87EBBF1DBC6DA Time : 0.0 sec. user=mdettweiler [2018-06-15 17:30:49] 853*2^1513443-1 is not prime. Res64: 22A134A709B4B14B Time : 0.0 sec. user=mdettweiler [2018-06-15 17:30:49] 873*2^1513443-1 is not prime. Res64: 56C981D42C52E8D7 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:30:50] 635*2^1513444-1 is not prime. Res64: A617AA50EF7DC992 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:30:50] 657*2^1513444-1 is not prime. Res64: 8BDC0BEA1AFBDE5F Time : 0.0 sec. user=mdettweiler [2018-06-15 17:38:50] 663*2^1513444-1 is not prime. Res64: F9B6302EB61B3689 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:38:50] 705*2^1513444-1 is not prime. Res64: 9D219CB2CD0FD2BB Time : 0.0 sec. user=mdettweiler [2018-06-15 17:38:51] 749*2^1513444-1 is not prime. Res64: 8FE4AFDB79CC2C79 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:38:51] 909*2^1513444-1 is not prime. Res64: 6F712B9C5421819F Time : 0.0 sec. user=mdettweiler [2018-06-15 17:38:52] 995*2^1513444-1 is not prime. Res64: 2A986252B8656D57 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:53:26] 679*2^1513445-1 is not prime. Res64: 22C218BCE5EC64C4 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:53:27] 691*2^1513445-1 is not prime. Res64: 5274867C243AE1EA Time : 0.0 sec. user=mdettweiler [2018-06-15 17:53:27] 759*2^1513445-1 is not prime. Res64: 1148F49A33EA9897 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:53:28] 787*2^1513445-1 is not prime. Res64: 47189B445E4F9FA8 Time : 0.0 sec. user=mdettweiler [2018-06-15 17:53:28] 831*2^1513445-1 is not prime. Res64: 8F98ABDA8CBD26D0 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:12:42] 865*2^1513445-1 is not prime. Res64: 7C8250B2BE08C3BD Time : 0.0 sec. user=mdettweiler [2018-06-15 18:12:44] 949*2^1513445-1 is not prime. Res64: F2990A877BFD4946 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:12:45] 955*2^1513445-1 is not prime. Res64: 94E03539185F63CD Time : 0.0 sec. user=mdettweiler [2018-06-15 18:12:47] 635*2^1513446-1 is not prime. Res64: BCCA426F9C52DBC3 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:12:50] 801*2^1513446-1 is not prime. Res64: A39EA7D0590B231B Time : 0.0 sec. user=mdettweiler [2018-06-15 18:20:49] 887*2^1513446-1 is not prime. Res64: C278BE7F9F2D3F29 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:20:50] 933*2^1513446-1 is not prime. Res64: FD5C8560A13A822A Time : 0.0 sec. user=mdettweiler [2018-06-15 18:20:50] 947*2^1513446-1 is not prime. Res64: F67C29D995C5B88D Time : 0.0 sec. user=mdettweiler [2018-06-15 18:20:50] 663*2^1513447-1 is not prime. Res64: FB171DEDB0A18203 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:20:51] 793*2^1513447-1 is not prime. Res64: 308910DDFE20AB17 Time : 0.0 sec. user=juhehe [2018-06-15 18:23:56] 999*2^1513447-1 is not prime. Res64: 9726D01690FE757B Time : 0.0 sec. user=mdettweiler [2018-06-15 18:29:07] 841*2^1513447-1 is not prime. Res64: 5124EC3782937D23 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:29:07] 843*2^1513447-1 is not prime. Res64: B6FB4E9AB5718E34 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:29:08] 885*2^1513447-1 is not prime. Res64: 6DE3FC03AAE2CA0C Time : 0.0 sec. user=mdettweiler [2018-06-15 18:29:08] 913*2^1513447-1 is not prime. Res64: A8B22310A030F7FC Time : 0.0 sec. user=mdettweiler [2018-06-15 18:29:09] 961*2^1513447-1 is not prime. Res64: 58A942F008E4BEBF Time : 0.0 sec. user=mdettweiler [2018-06-15 18:42:55] 603*2^1513448-1 is not prime. Res64: 3E48FBB9F4BD671E Time : 0.0 sec. user=mdettweiler [2018-06-15 18:42:56] 615*2^1513448-1 is not prime. Res64: 953C738510BC1940 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:42:56] 743*2^1513448-1 is not prime. Res64: 3EB41EF8D873A2FE Time : 0.0 sec. user=mdettweiler [2018-06-15 18:42:57] 803*2^1513448-1 is not prime. Res64: D4FDD9C848B72B04 Time : 0.0 sec. user=mdettweiler [2018-06-15 18:42:57] 825*2^1513448-1 is not prime. Res64: D2227D89B92D5506 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:03:25] 867*2^1513448-1 is not prime. Res64: 26B7FCE2FAFB38B0 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:03:26] 927*2^1513448-1 is not prime. Res64: 5863FFB91FACCF3F Time : 0.0 sec. user=mdettweiler [2018-06-15 19:03:26] 935*2^1513448-1 is not prime. Res64: 16910973AD6C8F24 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:03:27] 945*2^1513448-1 is not prime. Res64: 13DFBA7EF3667499 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:03:27] 625*2^1513449-1 is not prime. Res64: 9ACB8B3D0286F1A0 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:11:04] 745*2^1513449-1 is not prime. Res64: 827BDAE61B4738A5 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:11:05] 807*2^1513449-1 is not prime. Res64: 60BD7F70D4504C69 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:11:05] 837*2^1513449-1 is not prime. Res64: 65664AA49D813CA8 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:11:06] 847*2^1513449-1 is not prime. Res64: 82CC1DD7D99465AD Time : 0.0 sec. user=mdettweiler [2018-06-15 19:11:06] 865*2^1513449-1 is not prime. Res64: 08679B4F8A176B8B Time : 0.0 sec. user=mdettweiler [2018-06-15 19:19:34] 955*2^1513449-1 is not prime. Res64: F2996DD537815F49 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:19:35] 677*2^1513450-1 is not prime. Res64: 013F5C69030056B4 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:19:35] 735*2^1513450-1 is not prime. Res64: DDE1465D75A7776B Time : 0.0 sec. user=mdettweiler [2018-06-15 19:19:36] 747*2^1513450-1 is not prime. Res64: CF37DC2805C7D8B3 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:19:36] 777*2^1513450-1 is not prime. Res64: 50A340A6600960AC Time : 0.0 sec. user=mdettweiler [2018-06-15 19:33:22] 873*2^1513450-1 is not prime. Res64: AF4306B132F18A4C Time : 0.0 sec. user=mdettweiler [2018-06-15 19:33:23] 911*2^1513450-1 is not prime. Res64: C6F07BEEEB2305CC Time : 0.0 sec. user=mdettweiler [2018-06-15 19:33:23] 975*2^1513450-1 is not prime. Res64: D2904F63AF266C12 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:33:24] 715*2^1513451-1 is not prime. Res64: 858B63B0799F1FFB Time : 0.0 sec. user=mdettweiler [2018-06-15 19:33:24] 783*2^1513451-1 is not prime. Res64: FC2809611EDDA93F Time : 0.0 sec. user=mdettweiler [2018-06-15 19:53:30] 859*2^1513451-1 is not prime. Res64: 23D63675E8C86DAF Time : 0.0 sec. user=mdettweiler [2018-06-15 19:53:30] 885*2^1513451-1 is not prime. Res64: 9F51C90200A42EA9 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:53:31] 955*2^1513451-1 is not prime. Res64: A0FFA98083995F48 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:53:31] 991*2^1513451-1 is not prime. Res64: BB405B1559035411 Time : 0.0 sec. user=mdettweiler [2018-06-15 19:53:32] 633*2^1513452-1 is not prime. Res64: 87EF6A77A65228F3 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:00:44] 635*2^1513452-1 is not prime. Res64: F73845DCDE0B93EE Time : 0.0 sec. user=mdettweiler [2018-06-15 20:00:46] 669*2^1513452-1 is not prime. Res64: 57DC7F5EE4C894F4 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:00:47] 723*2^1513452-1 is not prime. Res64: FA7984ECBC321573 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:00:50] 749*2^1513452-1 is not prime. Res64: 29419B78E47532C9 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:00:51] 607*2^1513453-1 is not prime. Res64: 39257C85FB93452A Time : 0.0 sec. user=mdettweiler [2018-06-15 20:09:02] 615*2^1513453-1 is not prime. Res64: C7167DEB72B972DF Time : 0.0 sec. user=mdettweiler [2018-06-15 20:09:03] 961*2^1513453-1 is not prime. Res64: 4F10413097D25CDC Time : 0.0 sec. user=mdettweiler [2018-06-15 20:09:03] 623*2^1513454-1 is not prime. Res64: 864DD32334B09B07 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:09:04] 663*2^1513454-1 is not prime. Res64: 383252CF945EADE4 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:09:04] 677*2^1513454-1 is not prime. Res64: D646A7D41DC62D3E Time : 0.0 sec. user=mdettweiler [2018-06-15 20:23:33] 707*2^1513454-1 is not prime. Res64: B46469B30835F593 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:23:34] 743*2^1513454-1 is not prime. Res64: 24642EC3389AE9FC Time : 0.0 sec. user=mdettweiler [2018-06-15 20:23:34] 785*2^1513454-1 is not prime. Res64: 936E729495C5EF2B Time : 0.0 sec. user=mdettweiler [2018-06-15 20:23:35] 825*2^1513454-1 is not prime. Res64: 2B4D4FDA541BCF3F Time : 0.0 sec. user=mdettweiler [2018-06-15 20:23:35] 861*2^1513454-1 is not prime. Res64: C34549D0691D7E8B Time : 0.0 sec. user=juhehe [2018-06-15 20:43:54] 935*2^1513454-1 is not prime. Res64: 7402E82EDC83DCC5 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:44:02] 875*2^1513454-1 is not prime. Res64: 2117BFCD980269AB Time : 0.0 sec. user=mdettweiler [2018-06-15 20:44:02] 885*2^1513454-1 is not prime. Res64: B51DACE20AEE1655 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:44:03] 887*2^1513454-1 is not prime. Res64: 0796BFE7F4C3F21E Time : 0.0 sec. user=mdettweiler [2018-06-15 20:44:03] 917*2^1513454-1 is not prime. Res64: A1BEA729FE6723C5 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:44:03] 927*2^1513454-1 is not prime. Res64: 6406AC2237744451 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:51:19] 693*2^1513455-1 is not prime. Res64: 69A86718380270A1 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:51:20] 735*2^1513455-1 is not prime. Res64: DA37D0EE37561FCF Time : 0.0 sec. user=mdettweiler [2018-06-15 20:51:20] 739*2^1513455-1 is not prime. Res64: 7352C5BE6A94EDC0 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:51:20] 853*2^1513455-1 is not prime. Res64: 107CC24FCECA39AD Time : 0.0 sec. user=mdettweiler [2018-06-15 20:51:21] 979*2^1513455-1 is not prime. Res64: 424CF129D96C797F Time : 0.0 sec. user=mdettweiler [2018-06-15 20:59:22] 615*2^1513456-1 is not prime. Res64: D4806A257AE096B4 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:59:23] 675*2^1513456-1 is not prime. Res64: D4DCBA4D46BD9A8B Time : 0.0 sec. user=mdettweiler [2018-06-15 20:59:23] 839*2^1513456-1 is not prime. Res64: 6EF872649671DDC5 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:59:24] 873*2^1513456-1 is not prime. Res64: B3CAF6626B1FCD38 Time : 0.0 sec. user=mdettweiler [2018-06-15 20:59:24] 969*2^1513456-1 is not prime. Res64: D01EE3D3684BA8E0 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:13:43] 715*2^1513457-1 is not prime. Res64: 9B7713C68F073626 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:13:43] 799*2^1513457-1 is not prime. Res64: D1D5529D7A830986 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:13:44] 949*2^1513457-1 is not prime. Res64: BC61E65762E4A39A Time : 0.0 sec. user=mdettweiler [2018-06-15 21:13:45] 985*2^1513457-1 is not prime. Res64: B91091EBE248E8E3 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:13:45] 621*2^1513458-1 is not prime. Res64: 256F50BE98ACA7EF Time : 0.0 sec. user=mdettweiler [2018-06-15 21:36:19] 657*2^1513458-1 is not prime. Res64: 49B2591B3B003B91 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:36:19] 821*2^1513458-1 is not prime. Res64: AF775757532C0CAF Time : 0.0 sec. user=mdettweiler [2018-06-15 21:36:20] 843*2^1513458-1 is not prime. Res64: 8DF60817DDB737C1 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:36:20] 975*2^1513458-1 is not prime. Res64: 95A019D7131BB016 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:36:21] 609*2^1513459-1 is not prime. Res64: 9AD97E1D7CC26621 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:43:49] 639*2^1513459-1 is not prime. Res64: 4A877BDF710AD67B Time : 0.0 sec. user=mdettweiler [2018-06-15 21:43:50] 861*2^1513459-1 is not prime. Res64: 9C7F09DD52F6CD82 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:43:50] 931*2^1513459-1 is not prime. Res64: 175BCC0ADB57DE04 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:43:50] 633*2^1513460-1 is not prime. Res64: 98FF9D4D8DBD975E Time : 0.0 sec. user=mdettweiler [2018-06-15 21:43:51] 699*2^1513460-1 is not prime. Res64: B23E3C1C73E76F21 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:52:16] 777*2^1513460-1 is not prime. Res64: 24D9747586B805F7 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:52:17] 839*2^1513460-1 is not prime. Res64: 2E91CDABF10F8D06 Time : 0.0 sec. user=mdettweiler [2018-06-15 21:52:17] 957*2^1513460-1 is not prime. Res64: 24AFEE66D9AE0A7D Time : 0.0 sec. user=mdettweiler [2018-06-15 21:52:18] 999*2^1513460-1 is not prime. Res64: CF2F272FD3095DFE Time : 0.0 sec. user=mdettweiler [2018-06-15 21:52:18] 607*2^1513461-1 is not prime. Res64: 8A86DABBDC9C5C31 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:07:15] 777*2^1513461-1 is not prime. Res64: DBA5E0E397093B14 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:07:17] 781*2^1513461-1 is not prime. Res64: D49E4430C615B101 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:07:19] 835*2^1513461-1 is not prime. Res64: D25D739DCADED370 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:07:21] 969*2^1513461-1 is not prime. Res64: CB00F1C536B91FA2 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:07:23] 991*2^1513461-1 is not prime. Res64: 52A85574708D0D6A Time : 0.0 sec. user=mdettweiler [2018-06-15 22:26:49] 681*2^1513462-1 is not prime. Res64: 85FC3C68D4E86A7D Time : 0.0 sec. user=mdettweiler [2018-06-15 22:26:50] 695*2^1513462-1 is not prime. Res64: BC561BE44380B6F7 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:26:50] 827*2^1513462-1 is not prime. Res64: 36A6C962CAB4AD7E Time : 0.0 sec. user=mdettweiler [2018-06-15 22:26:51] 843*2^1513462-1 is not prime. Res64: 85DE4EB841AF2F2B Time : 0.0 sec. user=mdettweiler [2018-06-15 22:26:51] 855*2^1513462-1 is not prime. Res64: 20B66EA711840F63 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:33:56] 857*2^1513462-1 is not prime. Res64: EDC53C697ECA6A27 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:33:56] 867*2^1513462-1 is not prime. Res64: E21F38CE1E7A139A Time : 0.0 sec. user=mdettweiler [2018-06-15 22:33:57] 911*2^1513462-1 is not prime. Res64: EB5752FD2FC5B2DA Time : 0.0 sec. user=mdettweiler [2018-06-15 22:33:57] 965*2^1513462-1 is not prime. Res64: 316E4A05968B644F Time : 0.0 sec. user=mdettweiler [2018-06-15 22:33:57] 633*2^1513463-1 is not prime. Res64: 9E449B7EAF81BFBD Time : 0.0 sec. user=mdettweiler [2018-06-15 22:42:42] 775*2^1513463-1 is not prime. Res64: 582651F44FAD78CC Time : 0.0 sec. user=mdettweiler [2018-06-15 22:42:43] 813*2^1513463-1 is not prime. Res64: BBA43AC9B18F1FFB Time : 0.0 sec. user=mdettweiler [2018-06-15 22:42:43] 831*2^1513463-1 is not prime. Res64: 5048C593DE13843A Time : 0.0 sec. user=mdettweiler [2018-06-15 22:42:43] 895*2^1513463-1 is not prime. Res64: 24B4911AC68B2439 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:42:44] 939*2^1513463-1 is not prime. Res64: 76984F1E8ABE2383 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:59:30] 973*2^1513463-1 is not prime. Res64: E8405553957C48D1 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:59:30] 605*2^1513464-1 is not prime. Res64: 2A40E7A47CC793D1 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:59:30] 615*2^1513464-1 is not prime. Res64: 237F92F69E115FA5 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:59:31] 723*2^1513464-1 is not prime. Res64: 96310B9B722D3E86 Time : 0.0 sec. user=mdettweiler [2018-06-15 22:59:31] 725*2^1513464-1 is not prime. Res64: AF82A56AB69A864C Time : 0.0 sec. user=juhehe [2018-06-15 23:04:22] 715*2^1513465-1 is not prime. Res64: F72FA8F45F11FE2E Time : 0.0 sec. user=mdettweiler [2018-06-15 23:16:29] 717*2^1513465-1 is not prime. Res64: AE48701515AC097F Time : 0.0 sec. user=mdettweiler [2018-06-15 23:16:30] 831*2^1513465-1 is not prime. Res64: 6D057D6DDDD761EB Time : 0.0 sec. user=mdettweiler [2018-06-15 23:16:30] 895*2^1513465-1 is not prime. Res64: 8D7C7DE1D6E48947 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:16:31] 633*2^1513466-1 is not prime. Res64: 5AF24990716DF23D Time : 0.0 sec. user=mdettweiler [2018-06-15 23:16:31] 635*2^1513466-1 is not prime. Res64: 0D6F08D57B3999AB Time : 0.0 sec. user=mdettweiler [2018-06-15 23:24:16] 683*2^1513466-1 is not prime. Res64: 4AB7B509DFB87155 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:24:17] 769*2^1513467-1 is not prime. Res64: 55B7BC3E3DB67CD8 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:24:17] 781*2^1513467-1 is not prime. Res64: F28BD134981B281E Time : 0.0 sec. user=mdettweiler [2018-06-15 23:24:18] 793*2^1513467-1 is not prime. Res64: 8CC38BEEF8D51202 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:24:18] 805*2^1513467-1 is not prime. Res64: 02797A01C196C38D Time : 0.0 sec. user=mdettweiler [2018-06-15 23:33:04] 895*2^1513467-1 is not prime. Res64: A20600D91EDA49D0 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:33:04] 777*2^1513468-1 is not prime. Res64: C2B8F667A1A90F23 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:33:05] 813*2^1513468-1 is not prime. Res64: 0E488843E62DD8C5 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:33:05] 899*2^1513468-1 is not prime. Res64: 6F2AA0CD2C189395 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:33:06] 929*2^1513468-1 is not prime. Res64: 343E1A5596E0BB89 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:49:20] 619*2^1513469-1 is not prime. Res64: F0E74C9CA204CF48 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:49:20] 631*2^1513469-1 is not prime. Res64: B23BAFE2BA7FF8E2 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:49:21] 811*2^1513469-1 is not prime. Res64: A86811DE08AA3736 Time : 0.0 sec. user=mdettweiler [2018-06-15 23:49:21] 939*2^1513469-1 is not prime. Res64: 8DFE940857E289CD Time : 0.0 sec. user=mdettweiler [2018-06-15 23:49:22] 717*2^1513470-1 is not prime. Res64: 4CE2C38C16F82EE8 Time : 0.0 sec.