user=mdettweiler [2017-05-14 00:06:49] 723*2^1453803-1 is not prime. Res64: C8EEC5B6C4C1ED58 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:06:50] 741*2^1453803-1 is not prime. Res64: 95BB416C516CA5A7 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:06:53] 783*2^1453803-1 is not prime. Res64: 32A57F9E18DE2848 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:06:54] 829*2^1453803-1 is not prime. Res64: 954C1B9B1F3A1FE0 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:06:55] 849*2^1453803-1 is not prime. Res64: 5C026599D7DA22C3 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:29:12] 871*2^1453803-1 is not prime. Res64: 0D64C0EB3E166A7A Time : 0.0 sec. user=mdettweiler [2017-05-14 00:29:12] 615*2^1453804-1 is not prime. Res64: F25C4701C33425DB Time : 0.0 sec. user=mdettweiler [2017-05-14 00:29:13] 657*2^1453804-1 is not prime. Res64: 7CADA1F69AE4B80A Time : 0.0 sec. user=mdettweiler [2017-05-14 00:29:13] 813*2^1453804-1 is not prime. Res64: 0BA7AAC07F8A1932 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:29:13] 887*2^1453804-1 is not prime. Res64: E4542043ECF5EC47 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:35:39] 939*2^1453804-1 is not prime. Res64: 665A577E48E29204 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:35:40] 989*2^1453804-1 is not prime. Res64: 5E498853FD60B50A Time : 0.0 sec. user=mdettweiler [2017-05-14 00:35:40] 619*2^1453805-1 is not prime. Res64: F1FF2B6F82317447 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:35:40] 649*2^1453805-1 is not prime. Res64: 5693518201272038 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:35:41] 657*2^1453805-1 is not prime. Res64: A5F7029876246BB4 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:37:35] 697*2^1453805-1 is not prime. Res64: 66344ED6E18CBEFB Time : 0.0 sec. user=mdettweiler [2017-05-14 00:37:35] 721*2^1453805-1 is not prime. Res64: 12E8A60A0558CE15 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:37:36] 727*2^1453805-1 is not prime. Res64: 05BC9658036E910F Time : 0.0 sec. user=mdettweiler [2017-05-14 00:37:36] 735*2^1453805-1 is not prime. Res64: FC1EE05F28D72565 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:37:37] 777*2^1453805-1 is not prime. Res64: B46FBBCC9CE5D0E1 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:54:20] 885*2^1453805-1 is not prime. Res64: 3C3A2742BCE5FABF Time : 0.0 sec. user=mdettweiler [2017-05-14 00:54:20] 915*2^1453805-1 is not prime. Res64: 715FB04C958C0135 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:54:21] 925*2^1453805-1 is not prime. Res64: FD9EB949D05E4A85 Time : 0.0 sec. user=mdettweiler [2017-05-14 00:54:21] 939*2^1453805-1 is not prime. Res64: 42E450467F24A1AF Time : 0.0 sec. user=mdettweiler [2017-05-14 00:54:21] 981*2^1453805-1 is not prime. Res64: D3AF400FE691B772 Time : 0.0 sec. user=juhehe [2017-05-14 01:17:02] 667*2^1453809-1 is not prime. Res64: 52811742643AC5FA Time : 0.0 sec. user=mdettweiler [2017-05-14 01:17:18] 713*2^1453806-1 is not prime. Res64: 322886079D70CBAA Time : 0.0 sec. user=mdettweiler [2017-05-14 01:17:19] 941*2^1453806-1 is not prime. Res64: 23B1F590B4222A97 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:17:19] 947*2^1453806-1 is not prime. Res64: 2928BB5CDEC531EE Time : 0.0 sec. user=mdettweiler [2017-05-14 01:17:19] 651*2^1453807-1 is not prime. Res64: 5C9C1C99876B8508 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:17:20] 735*2^1453807-1 is not prime. Res64: EC99C59568CC409F Time : 0.0 sec. user=mdettweiler [2017-05-14 01:23:23] 775*2^1453807-1 is not prime. Res64: D5484A6055C498C7 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:23:23] 793*2^1453807-1 is not prime. Res64: 1B5269FED25AE764 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:23:24] 871*2^1453807-1 is not prime. Res64: 0D0BB4AE94D0E3EC Time : 0.0 sec. user=mdettweiler [2017-05-14 01:23:24] 909*2^1453807-1 is not prime. Res64: 3CA8EC7B6A5AA4AE Time : 0.0 sec. user=mdettweiler [2017-05-14 01:23:25] 603*2^1453808-1 is not prime. Res64: AACB491054AFC615 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:26:23] 629*2^1453808-1 is not prime. Res64: 9066C21E42EE7242 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:26:24] 827*2^1453808-1 is not prime. Res64: A67692A15E07D306 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:26:24] 867*2^1453808-1 is not prime. Res64: C7989205F12BFB69 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:26:25] 875*2^1453808-1 is not prime. Res64: F0997FD5AA8CCF2C Time : 0.0 sec. user=mdettweiler [2017-05-14 01:26:25] 637*2^1453809-1 is not prime. Res64: 65FF8A7CF9FAA1D8 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:43:31] 645*2^1453810-1 is not prime. Res64: B2BAF520B4DF2E0E Time : 0.0 sec. user=mdettweiler [2017-05-14 01:43:32] 701*2^1453810-1 is not prime. Res64: 5F9DAD385459A317 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:43:32] 801*2^1453810-1 is not prime. Res64: 0B4713789E186EC1 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:43:33] 911*2^1453810-1 is not prime. Res64: 5A36D952EE4507B7 Time : 0.0 sec. user=mdettweiler [2017-05-14 01:43:33] 1001*2^1453810-1 is not prime. Res64: C1DC1EE48A18C313 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:07:18] 715*2^1453811-1 is not prime. Res64: B052A5FCD5C4C3E8 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:07:19] 759*2^1453811-1 is not prime. Res64: 5C30DFFAC7EF2FE5 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:07:19] 841*2^1453811-1 is not prime. Res64: 537DE3D2A5581C2D Time : 0.0 sec. user=mdettweiler [2017-05-14 02:07:20] 843*2^1453811-1 is not prime. Res64: C7071F92912AB540 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:07:20] 909*2^1453811-1 is not prime. Res64: 90F1951B1936E769 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:12:34] 949*2^1453811-1 is not prime. Res64: 6394FE55834D9CB2 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:12:35] 647*2^1453812-1 is not prime. Res64: F04C2A0EBE673656 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:12:35] 723*2^1453812-1 is not prime. Res64: A02169C2F97977E9 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:12:35] 749*2^1453812-1 is not prime. Res64: 906F4E3D6FCC6B15 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:12:36] 837*2^1453812-1 is not prime. Res64: F645BBFC298354A3 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:16:06] 903*2^1453812-1 is not prime. Res64: B98BF0A30739FB7E Time : 0.0 sec. user=mdettweiler [2017-05-14 02:16:06] 977*2^1453812-1 is not prime. Res64: 670894704E8DEB18 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:16:06] 619*2^1453813-1 is not prime. Res64: 96117414D30E499E Time : 0.0 sec. user=mdettweiler [2017-05-14 02:16:07] 685*2^1453813-1 is not prime. Res64: 49A50982E13420DA Time : 0.0 sec. user=mdettweiler [2017-05-14 02:16:07] 747*2^1453813-1 is not prime. Res64: D74BC72F853BBD23 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:32:28] 771*2^1453813-1 is not prime. Res64: 15DB9B76213C6EC5 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:32:29] 811*2^1453813-1 is not prime. Res64: B612658F173FABE4 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:32:30] 635*2^1453814-1 is not prime. Res64: C1ED87D8C0ABAD45 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:32:31] 651*2^1453814-1 is not prime. Res64: 213343BFB05C08E7 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:32:31] 813*2^1453814-1 is not prime. Res64: A55B3259A11BB885 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:58:31] 857*2^1453814-1 is not prime. Res64: 94689128C4E2AC1E Time : 0.0 sec. user=mdettweiler [2017-05-14 02:58:32] 887*2^1453814-1 is not prime. Res64: 368B86F53793264B Time : 0.0 sec. user=mdettweiler [2017-05-14 02:58:32] 971*2^1453814-1 is not prime. Res64: B6EB09C738EAE95B Time : 0.0 sec. user=mdettweiler [2017-05-14 02:58:33] 1001*2^1453814-1 is not prime. Res64: 756B6AC2AEBFDB49 Time : 0.0 sec. user=mdettweiler [2017-05-14 02:58:33] 751*2^1453815-1 is not prime. Res64: 1979B596B96C94A6 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:03:31] 781*2^1453815-1 is not prime. Res64: 3A3D1BA99E2932F9 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:03:32] 795*2^1453815-1 is not prime. Res64: 4EE1B0FF0A8E8B65 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:03:33] 909*2^1453815-1 is not prime. Res64: D4481FDF0883F90E Time : 0.0 sec. user=mdettweiler [2017-05-14 03:03:35] 963*2^1453815-1 is not prime. Res64: 02D4E5FE287BC540 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:03:35] 657*2^1453816-1 is not prime. Res64: 4AB9234D1BB32937 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:07:16] 675*2^1453816-1 is not prime. Res64: 15B0DC7DABAD4C83 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:07:17] 695*2^1453816-1 is not prime. Res64: 818C9EA9CDA72B3B Time : 0.0 sec. user=mdettweiler [2017-05-14 03:07:17] 723*2^1453816-1 is not prime. Res64: 7E264E37560286F4 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:07:18] 759*2^1453816-1 is not prime. Res64: 9EBA02D03A79A729 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:07:18] 765*2^1453816-1 is not prime. Res64: E730E11CFCEDEAD0 Time : 0.0 sec. user=juhehe [2017-05-14 03:14:12] 607*2^1453817-1 is not prime. Res64: FEA57F358D20C144 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:25:52] 869*2^1453816-1 is not prime. Res64: F0E8E72BD0AD06E8 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:25:53] 873*2^1453816-1 is not prime. Res64: BD775C48E28BCB01 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:25:54] 939*2^1453816-1 is not prime. Res64: 5E291F20F5247570 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:25:54] 975*2^1453816-1 is not prime. Res64: AC30C1B27C4EDA5B Time : 0.0 sec. user=mdettweiler [2017-05-14 03:25:55] 989*2^1453816-1 is not prime. Res64: A3B3946FBD0D0F05 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:50:00] 645*2^1453817-1 is not prime. Res64: 4393140E70362CF8 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:50:01] 651*2^1453817-1 is not prime. Res64: 0005419E84B63DFB Time : 0.0 sec. user=mdettweiler [2017-05-14 03:50:03] 727*2^1453817-1 is not prime. Res64: 37E4682C17899D37 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:50:04] 805*2^1453817-1 is not prime. Res64: 942B31393A32B295 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:50:06] 829*2^1453817-1 is not prime. Res64: 1D4B151B50B07339 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:54:49] 861*2^1453817-1 is not prime. Res64: FFBFF48486DD01D7 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:54:51] 867*2^1453817-1 is not prime. Res64: FD782965F02B57CA Time : 0.0 sec. user=mdettweiler [2017-05-14 03:54:52] 889*2^1453817-1 is not prime. Res64: C3F1B81C62A57394 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:54:53] 991*2^1453817-1 is not prime. Res64: B6E942648E801C8B Time : 0.0 sec. user=mdettweiler [2017-05-14 03:54:54] 997*2^1453817-1 is not prime. Res64: 25F6724C08E0CD0A Time : 0.0 sec. user=mdettweiler [2017-05-14 03:58:06] 605*2^1453818-1 is not prime. Res64: 1DAB6E29D6EEC5ED Time : 0.0 sec. user=mdettweiler [2017-05-14 03:58:06] 681*2^1453818-1 is not prime. Res64: 108AB7B3978FBA98 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:58:07] 731*2^1453818-1 is not prime. Res64: B8764B478519BE32 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:58:08] 755*2^1453818-1 is not prime. Res64: 77EA8BE17D32B371 Time : 0.0 sec. user=mdettweiler [2017-05-14 03:58:08] 777*2^1453818-1 is not prime. Res64: 4531343C606766F6 Time : 0.0 sec. user=odicin [2017-05-14 04:12:06] 723*2^1453822-1 is not prime. Res64: 3D1B91647E043045 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:17:55] 797*2^1453818-1 is not prime. Res64: ABC0D20AE72DC0F7 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:17:55] 891*2^1453818-1 is not prime. Res64: C6185D17CB7769F4 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:17:56] 723*2^1453819-1 is not prime. Res64: A9C695AEEF3652AC Time : 0.0 sec. user=mdettweiler [2017-05-14 04:17:56] 895*2^1453819-1 is not prime. Res64: F773837EDEA46636 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:17:56] 951*2^1453819-1 is not prime. Res64: 2209622E3D4D63E3 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:43:59] 647*2^1453820-1 is not prime. Res64: 0C59A21FA01EB6CA Time : 0.0 sec. user=mdettweiler [2017-05-14 04:43:59] 797*2^1453820-1 is not prime. Res64: 81C0038294961B10 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:43:59] 825*2^1453820-1 is not prime. Res64: 6CD1EA62468208AA Time : 0.0 sec. user=mdettweiler [2017-05-14 04:44:00] 999*2^1453820-1 is not prime. Res64: 53F0BFC9E24C9B50 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:44:00] 691*2^1453821-1 is not prime. Res64: 89E513C7F4E9CED3 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:48:11] 741*2^1453821-1 is not prime. Res64: 7D60867BD630B099 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:48:12] 819*2^1453821-1 is not prime. Res64: 4EF739F438CCE040 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:48:12] 847*2^1453821-1 is not prime. Res64: 146B1CF800B6CAD3 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:48:13] 861*2^1453821-1 is not prime. Res64: D7370D4922478B30 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:48:13] 907*2^1453821-1 is not prime. Res64: FBA5352EF77F30B3 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:50:54] 945*2^1453821-1 is not prime. Res64: 949293C3E2EACD3C Time : 0.0 sec. user=mdettweiler [2017-05-14 04:50:55] 961*2^1453821-1 is not prime. Res64: 37515E861E401224 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:50:55] 987*2^1453821-1 is not prime. Res64: 30839CA53DB2825F Time : 0.0 sec. user=mdettweiler [2017-05-14 04:50:55] 623*2^1453822-1 is not prime. Res64: 4FED84B95146F2C4 Time : 0.0 sec. user=mdettweiler [2017-05-14 04:50:55] 653*2^1453822-1 is not prime. Res64: 3798FC35BA9EC4E1 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:09:50] 741*2^1453822-1 is not prime. Res64: 3C7C30C2773D4217 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:09:51] 801*2^1453822-1 is not prime. Res64: 5E3B64A02BA24448 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:09:51] 843*2^1453822-1 is not prime. Res64: 4F095810E6DC38F9 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:09:52] 911*2^1453822-1 is not prime. Res64: 18BD31786A4D8FDD Time : 0.0 sec. user=mdettweiler [2017-05-14 05:09:52] 745*2^1453823-1 is not prime. Res64: 80B4E8ED9AF735FF Time : 0.0 sec. user=juhehe [2017-05-14 05:12:56] 879*2^1453823-1 is not prime. Res64: 19F5B5ED5B4CF209 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:35:17] 901*2^1453823-1 is not prime. Res64: 141CC5EF322E42D0 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:35:18] 921*2^1453823-1 is not prime. Res64: E2A7F040165802A1 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:35:18] 963*2^1453823-1 is not prime. Res64: 3F4D205BBCE0824E Time : 0.0 sec. user=mdettweiler [2017-05-14 05:35:19] 605*2^1453824-1 is not prime. Res64: AFC73F63CA711F85 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:35:19] 629*2^1453824-1 is not prime. Res64: 350DBCC4A7AC2064 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:38:33] 657*2^1453824-1 is not prime. Res64: EF7D31DC661B66FF Time : 0.0 sec. user=mdettweiler [2017-05-14 05:38:34] 747*2^1453824-1 is not prime. Res64: ED5146299F8459EB Time : 0.0 sec. user=mdettweiler [2017-05-14 05:38:34] 887*2^1453824-1 is not prime. Res64: 3452589FF87BEF60 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:38:34] 903*2^1453824-1 is not prime. Res64: A44E6B88BFFE8A84 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:38:35] 929*2^1453824-1 is not prime. Res64: 9C1E627990668E30 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:41:53] 661*2^1453825-1 is not prime. Res64: 27F2461BA55B030F Time : 0.0 sec. user=mdettweiler [2017-05-14 05:41:53] 729*2^1453825-1 is not prime. Res64: FD957A65939917B1 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:41:54] 771*2^1453825-1 is not prime. Res64: FAE78994999655CA Time : 0.0 sec. user=mdettweiler [2017-05-14 05:41:54] 861*2^1453825-1 is not prime. Res64: FDB1D45D32995993 Time : 0.0 sec. user=mdettweiler [2017-05-14 05:41:54] 885*2^1453825-1 is not prime. Res64: AC3E99D14A3AA0F0 Time : 0.0 sec. user=juhehe [2017-05-14 05:48:40] 633*2^1453826-1 is not prime. Res64: FFB571767DA419F6 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:01:09] 889*2^1453825-1 is not prime. Res64: FF41633928B801C8 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:01:10] 897*2^1453825-1 is not prime. Res64: FB6386D262825E9B Time : 0.0 sec. user=mdettweiler [2017-05-14 06:01:10] 909*2^1453825-1 is not prime. Res64: C1DCEEBD301F925C Time : 0.0 sec. user=mdettweiler [2017-05-14 06:01:11] 937*2^1453825-1 is not prime. Res64: 87C0DCDEACB8B49F Time : 0.0 sec. user=mdettweiler [2017-05-14 06:01:12] 615*2^1453826-1 is not prime. Res64: 22385368AA6DEDDE Time : 0.0 sec. user=mdettweiler [2017-05-14 06:26:25] 641*2^1453826-1 is not prime. Res64: 56345DD7B4D7664C Time : 0.0 sec. user=mdettweiler [2017-05-14 06:26:26] 773*2^1453826-1 is not prime. Res64: 6A608F3ED7AFD222 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:26:26] 801*2^1453826-1 is not prime. Res64: 1ECB87FAE8F16F8A Time : 0.0 sec. user=mdettweiler [2017-05-14 06:26:27] 827*2^1453826-1 is not prime. Res64: 522E768BFD0F8F50 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:26:27] 911*2^1453826-1 is not prime. Res64: 7F7BF150F8B9FE2E Time : 0.0 sec. user=mdettweiler [2017-05-14 06:29:10] 991*2^1453827-1 is not prime. Res64: 8B47A450E9EA5F6C Time : 0.0 sec. user=mdettweiler [2017-05-14 06:29:11] 635*2^1453828-1 is not prime. Res64: BFB41A28686391F2 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:29:11] 869*2^1453828-1 is not prime. Res64: 130375A1A1900063 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:29:11] 915*2^1453828-1 is not prime. Res64: 1E0000D6EDA742C3 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:29:12] 627*2^1453829-1 is not prime. Res64: 01AF2B91D815954F Time : 0.0 sec. user=mdettweiler [2017-05-14 06:32:56] 655*2^1453829-1 is not prime. Res64: D0DE1D7E979CEA96 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:32:57] 727*2^1453829-1 is not prime. Res64: 0778E6A845112CEB Time : 0.0 sec. user=mdettweiler [2017-05-14 06:32:57] 907*2^1453829-1 is not prime. Res64: E9CAAA69DE414A12 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:32:57] 985*2^1453829-1 is not prime. Res64: 32F39FA4B6ABC181 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:32:58] 987*2^1453829-1 is not prime. Res64: 6EF1E43F45C64ECB Time : 0.0 sec. user=mdettweiler [2017-05-14 06:53:20] 725*2^1453830-1 is not prime. Res64: A9C32201DEF16D98 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:53:20] 755*2^1453830-1 is not prime. Res64: 96E461B0DACE6DED Time : 0.0 sec. user=mdettweiler [2017-05-14 06:53:21] 945*2^1453830-1 is not prime. Res64: 82FAAB1E9E957008 Time : 0.0 sec. user=mdettweiler [2017-05-14 06:53:21] 977*2^1453830-1 is not prime. Res64: 22865EE85C60296B Time : 0.0 sec. user=mdettweiler [2017-05-14 06:53:22] 693*2^1453831-1 is not prime. Res64: E0D0A392E66AD223 Time : 0.0 sec. user=juhehe [2017-05-14 07:10:49] 787*2^1453833-1 is not prime. Res64: 5F491DAAA695A5A2 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:18:04] 715*2^1453831-1 is not prime. Res64: EBC1A01D67F7AA51 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:18:04] 789*2^1453831-1 is not prime. Res64: 10FA448FC80ECB75 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:18:04] 909*2^1453831-1 is not prime. Res64: 0F93996854B68A92 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:18:05] 603*2^1453832-1 is not prime. Res64: 7D2BB86146F779AF Time : 0.0 sec. user=mdettweiler [2017-05-14 07:18:05] 609*2^1453832-1 is not prime. Res64: 89CCAA7C058D06DA Time : 0.0 sec. user=mdettweiler [2017-05-14 07:20:21] 669*2^1453832-1 is not prime. Res64: 111B82BBF3C08BD0 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:20:22] 675*2^1453832-1 is not prime. Res64: F1D43EC0D2A53DCC Time : 0.0 sec. user=mdettweiler [2017-05-14 07:20:22] 693*2^1453832-1 is not prime. Res64: 88C669A1E199F329 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:20:23] 797*2^1453832-1 is not prime. Res64: 31C68C8E57765018 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:20:23] 917*2^1453832-1 is not prime. Res64: DF2179378686A490 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:24:12] 819*2^1453833-1 is not prime. Res64: 1091B85EEED4FF35 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:24:12] 837*2^1453833-1 is not prime. Res64: 367DB2CFB0DA9383 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:24:13] 915*2^1453833-1 is not prime. Res64: 160BA0A8A03428B7 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:24:13] 955*2^1453833-1 is not prime. Res64: 834433572937738A Time : 0.0 sec. user=mdettweiler [2017-05-14 07:24:13] 985*2^1453833-1 is not prime. Res64: 116DF4AA9AD2B61A Time : 0.0 sec. user=mdettweiler [2017-05-14 07:44:27] 999*2^1453833-1 is not prime. Res64: 1B911896FF3514AC Time : 0.0 sec. user=mdettweiler [2017-05-14 07:44:27] 677*2^1453834-1 is not prime. Res64: BC18DDD8C79E1143 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:44:28] 681*2^1453834-1 is not prime. Res64: AAD0FA22A7DB9585 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:44:28] 687*2^1453834-1 is not prime. Res64: 06F36BDFCFAF2758 Time : 0.0 sec. user=mdettweiler [2017-05-14 07:44:29] 701*2^1453834-1 is not prime. Res64: 33390F9822E00042 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:09:01] 675*2^1453835-1 is not prime. Res64: F424838E23C54801 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:09:02] 693*2^1453835-1 is not prime. Res64: 4FA9424CD0C9E8A9 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:09:02] 705*2^1453835-1 is not prime. Res64: 7C0675B48094C8CA Time : 0.0 sec. user=mdettweiler [2017-05-14 08:09:03] 753*2^1453835-1 is not prime. Res64: E96555F96FB27C78 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:09:03] 759*2^1453835-1 is not prime. Res64: 9E4FAB77F4C05C26 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:12:49] 895*2^1453835-1 is not prime. Res64: B28B0F37336D0C3F Time : 0.0 sec. user=mdettweiler [2017-05-14 08:12:49] 683*2^1453836-1 is not prime. Res64: C6533C76E4DAA7DD Time : 0.0 sec. user=mdettweiler [2017-05-14 08:12:50] 735*2^1453836-1 is not prime. Res64: 7293B3AC34A0E66A Time : 0.0 sec. user=mdettweiler [2017-05-14 08:12:50] 777*2^1453836-1 is not prime. Res64: 3A4E6267A387A101 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:12:50] 825*2^1453836-1 is not prime. Res64: 12F5FFD0AE95E19B Time : 0.0 sec. user=mdettweiler [2017-05-14 08:16:03] 609*2^1453837-1 is not prime. Res64: 66CD0B7FE31B2613 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:16:04] 771*2^1453837-1 is not prime. Res64: 739EF04A2902E8CD Time : 0.0 sec. user=mdettweiler [2017-05-14 08:16:04] 801*2^1453837-1 is not prime. Res64: 5FA90F16A99E733F Time : 0.0 sec. user=mdettweiler [2017-05-14 08:16:04] 937*2^1453837-1 is not prime. Res64: E0ACE834044E2780 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:16:05] 617*2^1453838-1 is not prime. Res64: 7C660A37E2D576C3 Time : 0.0 sec. user=juhehe [2017-05-14 08:31:50] 633*2^1453839-1 is not prime. Res64: E799EC8D05038B81 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:35:40] 657*2^1453838-1 is not prime. Res64: 381183342371267B Time : 0.0 sec. user=mdettweiler [2017-05-14 08:35:40] 665*2^1453838-1 is not prime. Res64: 8442AB80B0215229 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:35:41] 875*2^1453838-1 is not prime. Res64: D60D5C7171C5BAD7 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:35:41] 911*2^1453838-1 is not prime. Res64: CB515CDBE656A27E Time : 0.0 sec. user=mdettweiler [2017-05-14 08:35:41] 927*2^1453838-1 is not prime. Res64: 148BF5EBC0D5E283 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:58:42] 703*2^1453839-1 is not prime. Res64: EC84601B3976065C Time : 0.0 sec. user=mdettweiler [2017-05-14 08:58:42] 705*2^1453839-1 is not prime. Res64: 970EA1579A649E02 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:58:43] 789*2^1453839-1 is not prime. Res64: CB606DA17D80E526 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:58:43] 853*2^1453839-1 is not prime. Res64: B6C1CC7F99658898 Time : 0.0 sec. user=mdettweiler [2017-05-14 08:58:44] 885*2^1453839-1 is not prime. Res64: AA50A2FD73CD7C68 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:02:19] 895*2^1453839-1 is not prime. Res64: CFF21D0A8D7DBF01 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:02:21] 985*2^1453839-1 is not prime. Res64: E4B9FEE0A7143AF0 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:02:22] 623*2^1453840-1 is not prime. Res64: 28AFE37F35702E17 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:02:23] 743*2^1453840-1 is not prime. Res64: 2B127C4BD3CF634A Time : 0.0 sec. user=mdettweiler [2017-05-14 09:02:24] 839*2^1453840-1 is not prime. Res64: 85F205C08FC5A011 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:04:40] 957*2^1453840-1 is not prime. Res64: E377F4766A46AFF6 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:04:41] 741*2^1453841-1 is not prime. Res64: 1D6ADC427DBD5A8F Time : 0.0 sec. user=mdettweiler [2017-05-14 09:04:42] 879*2^1453841-1 is not prime. Res64: 48E6E80CB9846F45 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:04:44] 885*2^1453841-1 is not prime. Res64: 708E8EBDBD610729 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:04:45] 967*2^1453841-1 is not prime. Res64: D77CB105591F878D Time : 0.0 sec. user=mdettweiler [2017-05-14 09:21:51] 987*2^1453841-1 is not prime. Res64: E1FFB7101E0340B4 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:21:51] 713*2^1453842-1 is not prime. Res64: 3766A3559EA95976 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:21:51] 755*2^1453842-1 is not prime. Res64: 9064E283C1AC8D53 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:21:52] 975*2^1453842-1 is not prime. Res64: A3C080AAD00A1EDB Time : 0.0 sec. user=mdettweiler [2017-05-14 09:21:52] 977*2^1453842-1 is not prime. Res64: 738502E73FBE07BA Time : 0.0 sec. user=mdettweiler [2017-05-14 09:44:26] 639*2^1453843-1 is not prime. Res64: 80C80DF38A63EBB6 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:44:27] 673*2^1453843-1 is not prime. Res64: 1E109B4A3152D211 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:44:27] 705*2^1453843-1 is not prime. Res64: 0B1C2CFCD261F60C Time : 0.0 sec. user=mdettweiler [2017-05-14 09:44:27] 783*2^1453843-1 is not prime. Res64: CC64848589D07886 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:44:28] 859*2^1453843-1 is not prime. Res64: 043F7F01742262E6 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:48:19] 919*2^1453843-1 is not prime. Res64: DEFB0421D28FE7EC Time : 0.0 sec. user=mdettweiler [2017-05-14 09:48:20] 969*2^1453843-1 is not prime. Res64: B6C3C21C7963D808 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:48:20] 615*2^1453844-1 is not prime. Res64: 0266FFCDEB73CA59 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:48:21] 635*2^1453844-1 is not prime. Res64: 9A59814E0787FB02 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:48:21] 707*2^1453844-1 is not prime. Res64: 3777747AFA800359 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:50:26] 795*2^1453844-1 is not prime. Res64: 751ABC529DB24533 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:50:27] 843*2^1453844-1 is not prime. Res64: E759D9A7638FF0B1 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:50:27] 875*2^1453844-1 is not prime. Res64: 0114C14E261C5417 Time : 0.0 sec. user=mdettweiler [2017-05-14 09:50:27] 655*2^1453845-1 is not prime. Res64: CAFC1D536100E1DE Time : 0.0 sec. user=mdettweiler [2017-05-14 09:50:28] 717*2^1453845-1 is not prime. Res64: F1B4080EBE9452DE Time : 0.0 sec. user=mdettweiler [2017-05-14 10:07:41] 781*2^1453845-1 is not prime. Res64: 16AE802F8C13D151 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:07:42] 817*2^1453845-1 is not prime. Res64: 18AF3A52C79E0269 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:07:42] 891*2^1453845-1 is not prime. Res64: D6080CA8635E7C26 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:07:43] 969*2^1453845-1 is not prime. Res64: 6EDFA4CCE92AC32E Time : 0.0 sec. user=mdettweiler [2017-05-14 10:07:43] 723*2^1453846-1 is not prime. Res64: DAE97B1FA4749CFD Time : 0.0 sec. user=juhehe [2017-05-14 10:29:07] 801*2^1453849-1 is not prime. Res64: 4BF7A7542AAD4861 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:29:57] 743*2^1453846-1 is not prime. Res64: A2C5091DC8C45158 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:29:57] 755*2^1453846-1 is not prime. Res64: 871CB9B1B430338A Time : 0.0 sec. user=mdettweiler [2017-05-14 10:29:58] 783*2^1453846-1 is not prime. Res64: 7E757DDEB2501091 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:29:58] 801*2^1453846-1 is not prime. Res64: 58878FB91216DE00 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:29:58] 971*2^1453846-1 is not prime. Res64: 821B8384D84CE313 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:33:48] 883*2^1453847-1 is not prime. Res64: AC41860B2B9108B3 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:33:49] 895*2^1453847-1 is not prime. Res64: F68C2961528D63FC Time : 0.0 sec. user=mdettweiler [2017-05-14 10:33:49] 635*2^1453848-1 is not prime. Res64: 2D25872676536C8E Time : 0.0 sec. user=mdettweiler [2017-05-14 10:33:50] 735*2^1453848-1 is not prime. Res64: 779762BE9BEE79E6 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:33:50] 825*2^1453848-1 is not prime. Res64: 456EE08FDD8555CB Time : 0.0 sec. user=mdettweiler [2017-05-14 10:35:55] 975*2^1453848-1 is not prime. Res64: F5E1F1C396AAF5CE Time : 0.0 sec. user=mdettweiler [2017-05-14 10:35:56] 993*2^1453848-1 is not prime. Res64: BF043174FDAA272D Time : 0.0 sec. user=mdettweiler [2017-05-14 10:35:56] 685*2^1453849-1 is not prime. Res64: 6BFF3D800DE54F52 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:35:56] 751*2^1453849-1 is not prime. Res64: C877F8A6FD667A65 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:35:57] 765*2^1453849-1 is not prime. Res64: 9226781DDEFE064C Time : 0.0 sec. user=mdettweiler [2017-05-14 10:53:13] 819*2^1453849-1 is not prime. Res64: 2FB2D4ED505B975A Time : 0.0 sec. user=mdettweiler [2017-05-14 10:53:13] 939*2^1453849-1 is not prime. Res64: 26B8EA22769E17F2 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:53:13] 603*2^1453850-1 is not prime. Res64: CBB67891523320A5 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:53:14] 651*2^1453850-1 is not prime. Res64: AA7CF908EB6335B9 Time : 0.0 sec. user=mdettweiler [2017-05-14 10:53:14] 783*2^1453850-1 is not prime. Res64: 6C0221DFC9A2AE6D Time : 0.0 sec. user=mdettweiler [2017-05-14 11:15:16] 981*2^1453850-1 is not prime. Res64: BEC82063DC976CD0 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:15:17] 643*2^1453851-1 is not prime. Res64: BAEECA7C2FCD368E Time : 0.0 sec. user=mdettweiler [2017-05-14 11:15:17] 795*2^1453851-1 is not prime. Res64: EE5A5BFEBE82E677 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:15:18] 801*2^1453851-1 is not prime. Res64: F8EA373CC074081C Time : 0.0 sec. user=mdettweiler [2017-05-14 11:15:18] 823*2^1453851-1 is not prime. Res64: EA2889D8398C92C1 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:19:21] 903*2^1453851-1 is not prime. Res64: 00E6EDEE1B1F0416 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:19:21] 931*2^1453851-1 is not prime. Res64: 07419A00957A65C6 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:19:22] 999*2^1453851-1 is not prime. Res64: B9FE2531D45CFA0A Time : 0.0 sec. user=mdettweiler [2017-05-14 11:19:22] 635*2^1453852-1 is not prime. Res64: 4BAC60B5A750CC6F Time : 0.0 sec. user=mdettweiler [2017-05-14 11:19:22] 759*2^1453852-1 is not prime. Res64: F4F3DD2287AAA4BF Time : 0.0 sec. user=mdettweiler [2017-05-14 11:21:22] 785*2^1453852-1 is not prime. Res64: 45AAC09FCFA1F7B6 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:21:22] 873*2^1453852-1 is not prime. Res64: 70428BFB66FF6AE7 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:21:22] 957*2^1453852-1 is not prime. Res64: 623DA367BD5D3717 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:21:23] 627*2^1453853-1 is not prime. Res64: 2087598266771900 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:21:23] 675*2^1453853-1 is not prime. Res64: 89F8D7123851A9C2 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:38:41] 727*2^1453853-1 is not prime. Res64: 2AA14E4989103FEA Time : 0.0 sec. user=mdettweiler [2017-05-14 11:38:41] 735*2^1453853-1 is not prime. Res64: 37393DCB4E1F5611 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:38:41] 747*2^1453853-1 is not prime. Res64: 0C95D767AE2480DC Time : 0.0 sec. user=mdettweiler [2017-05-14 11:38:42] 829*2^1453853-1 is not prime. Res64: FCDC96FD4182D273 Time : 0.0 sec. user=mdettweiler [2017-05-14 11:38:42] 859*2^1453853-1 is not prime. Res64: 4F48A5832307F9E5 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:01:35] 939*2^1453853-1 is not prime. Res64: 2A73CC46B6A4BCE1 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:01:36] 951*2^1453853-1 is not prime. Res64: 29E32E5EC5976E4C Time : 0.0 sec. user=mdettweiler [2017-05-14 12:01:37] 605*2^1453854-1 is not prime. Res64: AF521495BCEE727F Time : 0.0 sec. user=mdettweiler [2017-05-14 12:01:38] 671*2^1453854-1 is not prime. Res64: D268579754D83F4B Time : 0.0 sec. user=mdettweiler [2017-05-14 12:01:39] 741*2^1453854-1 is not prime. Res64: DE3BBDA8F485C805 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:05:47] 765*2^1453854-1 is not prime. Res64: 378C3A885A3CFC8A Time : 0.0 sec. user=mdettweiler [2017-05-14 12:05:47] 773*2^1453854-1 is not prime. Res64: 2610B0988CF90B7C Time : 0.0 sec. user=mdettweiler [2017-05-14 12:05:48] 807*2^1453854-1 is not prime. Res64: 1F5B18DFBA27AD18 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:05:49] 815*2^1453854-1 is not prime. Res64: A29DBE92CC801A08 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:05:49] 821*2^1453854-1 is not prime. Res64: 452DFC3AE04D5D58 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:08:11] 951*2^1453854-1 is not prime. Res64: BC26DEAD9706D8B4 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:08:11] 625*2^1453855-1 is not prime. Res64: D147FC9336F33CA2 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:08:11] 649*2^1453855-1 is not prime. Res64: FC05E5BCD49B9CDA Time : 0.0 sec. user=mdettweiler [2017-05-14 12:08:12] 685*2^1453855-1 is not prime. Res64: 91EE3F66020CE255 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:08:12] 693*2^1453855-1 is not prime. Res64: 0F08EB70739D1608 Time : 0.0 sec. user=juhehe [2017-05-14 12:26:23] 657*2^1453856-1 is not prime. Res64: B072A27F09D5CD30 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:27:23] 861*2^1453855-1 is not prime. Res64: 933388D70439E8FF Time : 0.0 sec. user=mdettweiler [2017-05-14 12:27:23] 915*2^1453855-1 is not prime. Res64: D734BB76A66DDF84 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:27:24] 973*2^1453855-1 is not prime. Res64: F30A03F7C627205C Time : 0.0 sec. user=mdettweiler [2017-05-14 12:27:24] 609*2^1453856-1 is not prime. Res64: F2366C44124EDE7C Time : 0.0 sec. user=mdettweiler [2017-05-14 12:27:24] 623*2^1453856-1 is not prime. Res64: 1B076F78E401EBB3 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:51:46] 669*2^1453856-1 is not prime. Res64: 9A6D8F6384E43AD4 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:51:47] 693*2^1453856-1 is not prime. Res64: 8EF7CC200E8EBC37 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:51:47] 857*2^1453856-1 is not prime. Res64: D1433C366B56216C Time : 0.0 sec. user=mdettweiler [2017-05-14 12:51:47] 869*2^1453856-1 is not prime. Res64: 30D94AB9FD1CE197 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:51:48] 903*2^1453856-1 is not prime. Res64: 4064D3EB2FB2D4A6 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:55:50] 935*2^1453856-1 is not prime. Res64: 445AC5FC469EFCAB Time : 0.0 sec. user=mdettweiler [2017-05-14 12:55:50] 601*2^1453857-1 is not prime. Res64: 740A4C2195E86EBC Time : 0.0 sec. user=mdettweiler [2017-05-14 12:55:51] 685*2^1453857-1 is not prime. Res64: 64D5F2E4D54AEDC6 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:55:51] 735*2^1453857-1 is not prime. Res64: 620FAA5F1EDE0224 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:55:52] 739*2^1453857-1 is not prime. Res64: D0B8797CA0319FB8 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:58:36] 817*2^1453857-1 is not prime. Res64: 6016181A0F86B561 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:58:37] 831*2^1453857-1 is not prime. Res64: 127F3738D14A8B13 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:58:37] 835*2^1453857-1 is not prime. Res64: 35437936F0A518A3 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:58:38] 919*2^1453857-1 is not prime. Res64: 8402100C2EE50957 Time : 0.0 sec. user=mdettweiler [2017-05-14 12:58:38] 605*2^1453858-1 is not prime. Res64: 601872BA15A18D4D Time : 0.0 sec. user=mdettweiler [2017-05-14 13:17:05] 645*2^1453858-1 is not prime. Res64: 06D89482EC2801A5 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:17:06] 765*2^1453858-1 is not prime. Res64: DCCF561976A1974C Time : 0.0 sec. user=mdettweiler [2017-05-14 13:17:06] 1001*2^1453858-1 is not prime. Res64: E03F6C6A837013AC Time : 0.0 sec. user=mdettweiler [2017-05-14 13:17:07] 643*2^1453859-1 is not prime. Res64: FAA1D80558555D73 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:17:07] 675*2^1453859-1 is not prime. Res64: 4F0A858666E1EC70 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:40:21] 711*2^1453859-1 is not prime. Res64: 22F9DEBEABACF405 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:40:21] 909*2^1453859-1 is not prime. Res64: 03B353B26D305EFA Time : 0.0 sec. user=mdettweiler [2017-05-14 13:40:22] 991*2^1453859-1 is not prime. Res64: C1E641D33DC8EE70 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:40:23] 993*2^1453859-1 is not prime. Res64: 3C0AC8756BE812F9 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:40:23] 653*2^1453860-1 is not prime. Res64: 3C4749C9AC39DA2B Time : 0.0 sec. user=mdettweiler [2017-05-14 13:43:45] 689*2^1453860-1 is not prime. Res64: E0C0A5E3266909D5 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:43:46] 777*2^1453860-1 is not prime. Res64: AD09879B5E70CE6E Time : 0.0 sec. user=mdettweiler [2017-05-14 13:43:46] 923*2^1453860-1 is not prime. Res64: 30DBFBC1F383A57E Time : 0.0 sec. user=mdettweiler [2017-05-14 13:43:46] 933*2^1453860-1 is not prime. Res64: B7749FA2817C0ED2 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:43:47] 975*2^1453860-1 is not prime. Res64: A5259ADB0A9A4E71 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:47:05] 607*2^1453861-1 is not prime. Res64: 4DB41CD00F25D08A Time : 0.0 sec. user=mdettweiler [2017-05-14 13:47:06] 645*2^1453861-1 is not prime. Res64: 85D34A7B6676C109 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:47:06] 741*2^1453861-1 is not prime. Res64: 85E0875C05594E6C Time : 0.0 sec. user=mdettweiler [2017-05-14 13:47:07] 775*2^1453861-1 is not prime. Res64: 61D04A879AC96018 Time : 0.0 sec. user=mdettweiler [2017-05-14 13:47:07] 889*2^1453861-1 is not prime. Res64: 5F9997DCFDEC75E3 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:05:20] 937*2^1453861-1 is not prime. Res64: 14B0880AEDE10676 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:05:23] 945*2^1453861-1 is not prime. Res64: B1AADBC2C2F9270B Time : 0.0 sec. user=mdettweiler [2017-05-14 14:05:25] 635*2^1453862-1 is not prime. Res64: F11B6F82BE2C22BA Time : 0.0 sec. user=mdettweiler [2017-05-14 14:05:27] 813*2^1453862-1 is not prime. Res64: AE752E0A988C6EB5 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:05:28] 867*2^1453862-1 is not prime. Res64: 3DDA484FDFA84159 Time : 0.0 sec. user=juhehe [2017-05-14 14:23:40] 907*2^1453865-1 is not prime. Res64: FAF0CF29F1C6E06E Time : 0.0 sec. user=mdettweiler [2017-05-14 14:28:02] 875*2^1453862-1 is not prime. Res64: 4DD6214506588055 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:28:02] 613*2^1453863-1 is not prime. Res64: 6900C8531E5F8F7E Time : 0.0 sec. user=mdettweiler [2017-05-14 14:28:03] 621*2^1453863-1 is not prime. Res64: AFB89E5B8CC668D6 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:28:03] 709*2^1453863-1 is not prime. Res64: CC40F87517020247 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:28:03] 961*2^1453863-1 is not prime. Res64: A9926129A9CD7A60 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:31:37] 707*2^1453864-1 is not prime. Res64: 3DAD5BFE5B6A8D66 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:31:38] 803*2^1453864-1 is not prime. Res64: 87E22143C4E78D14 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:31:38] 819*2^1453864-1 is not prime. Res64: 5D8E703D9B8087CC Time : 0.0 sec. user=mdettweiler [2017-05-14 14:31:39] 717*2^1453865-1 is not prime. Res64: 4FB1D85F137775E2 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:31:39] 841*2^1453865-1 is not prime. Res64: B930211EBF81FED6 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:34:54] 949*2^1453865-1 is not prime. Res64: E78110990162DADE Time : 0.0 sec. user=mdettweiler [2017-05-14 14:34:54] 979*2^1453865-1 is not prime. Res64: 822E2F3A4120910C Time : 0.0 sec. user=mdettweiler [2017-05-14 14:34:55] 647*2^1453866-1 is not prime. Res64: FC97280AB255C6D4 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:34:55] 707*2^1453866-1 is not prime. Res64: ED2082E3F5F238EE Time : 0.0 sec. user=mdettweiler [2017-05-14 14:34:56] 767*2^1453866-1 is not prime. Res64: F6FA8FF66E8817E9 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:52:32] 833*2^1453866-1 is not prime. Res64: F57A29953475DBD3 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:52:32] 993*2^1453866-1 is not prime. Res64: 23CFE0D0D0FDC213 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:52:32] 609*2^1453867-1 is not prime. Res64: 202BA4CA3E78D5CA Time : 0.0 sec. user=mdettweiler [2017-05-14 14:52:33] 625*2^1453867-1 is not prime. Res64: 58DCCCB2EA535267 Time : 0.0 sec. user=mdettweiler [2017-05-14 14:52:33] 649*2^1453867-1 is not prime. Res64: E29383D53A6B59DC Time : 0.0 sec. user=mdettweiler [2017-05-14 15:15:49] 751*2^1453867-1 is not prime. Res64: E7D31E7B371EEA1F Time : 0.0 sec. user=mdettweiler [2017-05-14 15:15:49] 759*2^1453867-1 is not prime. Res64: ED6C282C944D8F76 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:15:50] 861*2^1453867-1 is not prime. Res64: 256EAD6937E56268 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:15:50] 883*2^1453867-1 is not prime. Res64: D82EF423F34CAB2E Time : 0.0 sec. user=mdettweiler [2017-05-14 15:15:51] 915*2^1453867-1 is not prime. Res64: 9ABAA1EE6FA93689 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:19:01] 633*2^1453868-1 is not prime. Res64: 4DC06B3D58F58218 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:19:02] 875*2^1453868-1 is not prime. Res64: E2AD4482532EF2A9 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:19:02] 995*2^1453868-1 is not prime. Res64: 048D81CC26947EAF Time : 0.0 sec. user=mdettweiler [2017-05-14 15:19:02] 691*2^1453869-1 is not prime. Res64: B64577228D90081F Time : 0.0 sec. user=mdettweiler [2017-05-14 15:19:03] 611*2^1453870-1 is not prime. Res64: 8B49CB476842D786 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:22:27] 687*2^1453870-1 is not prime. Res64: 1060815B9525BCA6 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:22:27] 791*2^1453870-1 is not prime. Res64: 2F6C39CB43D1A70D Time : 0.0 sec. user=mdettweiler [2017-05-14 15:22:28] 827*2^1453870-1 is not prime. Res64: 2354CD0E7033686F Time : 0.0 sec. user=mdettweiler [2017-05-14 15:22:29] 843*2^1453870-1 is not prime. Res64: FAEFDBD2503C371C Time : 0.0 sec. user=mdettweiler [2017-05-14 15:22:29] 861*2^1453870-1 is not prime. Res64: 75A58C4B9D35CC8A Time : 0.0 sec. user=mdettweiler [2017-05-14 15:40:13] 867*2^1453870-1 is not prime. Res64: 824172D1264580BC Time : 0.0 sec. user=mdettweiler [2017-05-14 15:40:13] 873*2^1453870-1 is not prime. Res64: 680F08DF18BD8AAC Time : 0.0 sec. user=mdettweiler [2017-05-14 15:40:13] 885*2^1453870-1 is not prime. Res64: 7729EF5DB4A6E52B Time : 0.0 sec. user=mdettweiler [2017-05-14 15:40:14] 897*2^1453870-1 is not prime. Res64: A4B689ABF38B74F9 Time : 0.0 sec. user=mdettweiler [2017-05-14 15:40:14] 911*2^1453870-1 is not prime. Res64: 20F3309D6ECB3012 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:03:22] 915*2^1453870-1 is not prime. Res64: 4EF30D594DB7D8D7 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:03:23] 619*2^1453871-1 is not prime. Res64: 788979FA56D1F9F3 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:03:25] 673*2^1453871-1 is not prime. Res64: EBAE47AD655E0951 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:03:26] 705*2^1453871-1 is not prime. Res64: 0F4AF7F14C3F0361 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:03:27] 715*2^1453871-1 is not prime. Res64: C568202B81C1682B Time : 0.0 sec. user=mdettweiler [2017-05-14 16:06:39] 759*2^1453871-1 is not prime. Res64: 358684025F5D7DAD Time : 0.0 sec. user=mdettweiler [2017-05-14 16:06:40] 825*2^1453871-1 is not prime. Res64: A2F0250F8A3F6914 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:06:40] 859*2^1453871-1 is not prime. Res64: 841E2E84D045F07D Time : 0.0 sec. user=mdettweiler [2017-05-14 16:06:41] 695*2^1453872-1 is not prime. Res64: 02B2D3CABC641D4D Time : 0.0 sec. user=mdettweiler [2017-05-14 16:06:41] 725*2^1453872-1 is not prime. Res64: F1EDC43309E167BD Time : 0.0 sec. user=mdettweiler [2017-05-14 16:09:52] 753*2^1453872-1 is not prime. Res64: 8E6C72D35D649250 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:09:53] 875*2^1453872-1 is not prime. Res64: B2BCBC3CE321F13E Time : 0.0 sec. user=mdettweiler [2017-05-14 16:09:53] 887*2^1453872-1 is not prime. Res64: 6869D878AEEB5BF1 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:09:54] 899*2^1453872-1 is not prime. Res64: 3BB07D76BA54750A Time : 0.0 sec. user=mdettweiler [2017-05-14 16:09:54] 923*2^1453872-1 is not prime. Res64: 235EC20554400783 Time : 0.0 sec. user=juhehe [2017-05-14 16:21:02] 711*2^1453874-1 is not prime. Res64: 99DC915A9D7C407C Time : 0.0 sec. user=mdettweiler [2017-05-14 16:27:55] 959*2^1453872-1 is not prime. Res64: 22F822077C180CC1 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:27:55] 805*2^1453873-1 is not prime. Res64: 946769613C5C3568 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:27:56] 867*2^1453873-1 is not prime. Res64: D5BD4F85994ABFB1 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:27:56] 897*2^1453873-1 is not prime. Res64: E4C6EB4B726FEA88 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:27:57] 641*2^1453874-1 is not prime. Res64: CC79532C59313253 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:51:11] 755*2^1453874-1 is not prime. Res64: 6FC92CD594DAB87E Time : 0.0 sec. user=mdettweiler [2017-05-14 16:51:11] 773*2^1453874-1 is not prime. Res64: 529CB6F32D1BC524 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:51:11] 885*2^1453874-1 is not prime. Res64: 6C53B01E58C045EF Time : 0.0 sec. user=mdettweiler [2017-05-14 16:51:12] 915*2^1453874-1 is not prime. Res64: 7458C50DA8C11B5A Time : 0.0 sec. user=mdettweiler [2017-05-14 16:51:12] 945*2^1453874-1 is not prime. Res64: D488E4E35AC0920C Time : 0.0 sec. user=mdettweiler [2017-05-14 16:54:43] 625*2^1453875-1 is not prime. Res64: 6D6FD8397C209D70 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:54:43] 643*2^1453875-1 is not prime. Res64: 5E3E4EBA402E934A Time : 0.0 sec. user=mdettweiler [2017-05-14 16:54:44] 663*2^1453875-1 is not prime. Res64: 83C149ED6CA726C6 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:54:44] 675*2^1453875-1 is not prime. Res64: 194B80FBA1ED3E29 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:54:44] 751*2^1453875-1 is not prime. Res64: 6FEAF0E51EDC4273 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:57:21] 829*2^1453875-1 is not prime. Res64: D2E986A71E8A9DC3 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:57:22] 871*2^1453875-1 is not prime. Res64: 20B2AAFF5EC1E366 Time : 0.0 sec. user=mdettweiler [2017-05-14 16:57:22] 951*2^1453875-1 is not prime. Res64: 773E1C43213172FC Time : 0.0 sec. user=mdettweiler [2017-05-14 16:57:22] 617*2^1453876-1 is not prime. Res64: 51935BC042A50A2C Time : 0.0 sec. user=mdettweiler [2017-05-14 16:57:23] 695*2^1453876-1 is not prime. Res64: C59209CA0BF4CB33 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:15:38] 717*2^1453876-1 is not prime. Res64: 94388F6D31342BEF Time : 0.0 sec. user=mdettweiler [2017-05-14 17:15:39] 735*2^1453876-1 is not prime. Res64: 6A369DAFAF8AF5A8 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:15:39] 749*2^1453876-1 is not prime. Res64: CFA330E4045C493A Time : 0.0 sec. user=mdettweiler [2017-05-14 17:15:40] 765*2^1453876-1 is not prime. Res64: C9096962529708E0 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:15:40] 957*2^1453876-1 is not prime. Res64: 141C33D0362374EC Time : 0.0 sec. user=mdettweiler [2017-05-14 17:38:27] 699*2^1453877-1 is not prime. Res64: 1D993CE4EA6CC5E4 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:38:28] 831*2^1453877-1 is not prime. Res64: A62BCB5A469E53F3 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:38:28] 865*2^1453877-1 is not prime. Res64: 2361BAAC7AA106EB Time : 0.0 sec. user=mdettweiler [2017-05-14 17:38:28] 949*2^1453877-1 is not prime. Res64: F6B91D61F2217DD6 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:38:29] 671*2^1453878-1 is not prime. Res64: C04D1201384E4667 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:41:59] 677*2^1453878-1 is not prime. Res64: B1CDAB32AF3ADD28 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:42:00] 707*2^1453878-1 is not prime. Res64: F97EE0A44616F3FE Time : 0.0 sec. user=mdettweiler [2017-05-14 17:42:00] 747*2^1453878-1 is not prime. Res64: 2F3FFDAD65B469B6 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:42:01] 755*2^1453878-1 is not prime. Res64: 583146B26881160E Time : 0.0 sec. user=mdettweiler [2017-05-14 17:42:01] 801*2^1453878-1 is not prime. Res64: C6411734FDE4FE1F Time : 0.0 sec. user=mdettweiler [2017-05-14 17:44:53] 843*2^1453878-1 is not prime. Res64: 926B11FA759CAB48 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:44:53] 927*2^1453878-1 is not prime. Res64: B0EB17C49FA87D24 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:44:53] 971*2^1453878-1 is not prime. Res64: 5C91E1F19B5428EC Time : 0.0 sec. user=mdettweiler [2017-05-14 17:44:54] 603*2^1453879-1 is not prime. Res64: BA9511F17B439A34 Time : 0.0 sec. user=mdettweiler [2017-05-14 17:44:54] 615*2^1453879-1 is not prime. Res64: E44DDFFF2284FE0F Time : 0.0 sec. user=mdettweiler [2017-05-14 18:03:30] 645*2^1453879-1 is not prime. Res64: BA973E1C13725B31 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:03:31] 705*2^1453879-1 is not prime. Res64: 35D8F5A93788E953 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:03:32] 883*2^1453879-1 is not prime. Res64: AE53A6E06F198DB2 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:03:33] 919*2^1453879-1 is not prime. Res64: 02E408D4ADFEFD4A Time : 0.0 sec. user=mdettweiler [2017-05-14 18:03:33] 973*2^1453879-1 is not prime. Res64: C49C8A93924899BD Time : 0.0 sec. user=juhehe [2017-05-14 18:18:26] 625*2^1453881-1 is not prime. Res64: BD3896452180701E Time : 0.0 sec. user=mdettweiler [2017-05-14 18:25:55] 985*2^1453879-1 is not prime. Res64: ACA21D20BCB6FA6B Time : 0.0 sec. user=mdettweiler [2017-05-14 18:25:55] 717*2^1453880-1 is not prime. Res64: EACF4951772AE702 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:25:56] 813*2^1453880-1 is not prime. Res64: 16F47F6C53BB6BE1 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:25:56] 855*2^1453880-1 is not prime. Res64: E817541F249929B5 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:25:56] 995*2^1453880-1 is not prime. Res64: 9F42B4090141C9C5 Time : 0.0 sec. user=juhehe [2017-05-14 18:27:23] 827*2^1453882-1 is not prime. Res64: 67ADF8AE5DB5562E Time : 0.0 sec. user=mdettweiler [2017-05-14 18:30:23] 675*2^1453881-1 is not prime. Res64: E8930C3B007985CF Time : 0.0 sec. user=mdettweiler [2017-05-14 18:30:23] 679*2^1453881-1 is not prime. Res64: BCDA0E85E3D208E6 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:30:24] 711*2^1453881-1 is not prime. Res64: 6A8DD2905B36435E Time : 0.0 sec. user=mdettweiler [2017-05-14 18:30:24] 745*2^1453881-1 is not prime. Res64: 7AB5D423CC7673E2 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:30:24] 895*2^1453881-1 is not prime. Res64: CA7645C5511CDA76 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:33:15] 901*2^1453881-1 is not prime. Res64: F15E1ACD583DB39E Time : 0.0 sec. user=mdettweiler [2017-05-14 18:33:16] 657*2^1453882-1 is not prime. Res64: 097714B041FA67A7 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:33:16] 681*2^1453882-1 is not prime. Res64: E97B0C139EB23C95 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:33:16] 755*2^1453882-1 is not prime. Res64: 46666734AF8EEB51 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:33:17] 821*2^1453882-1 is not prime. Res64: 877B377CF2BA8F6C Time : 0.0 sec. user=mdettweiler [2017-05-14 18:51:46] 855*2^1453882-1 is not prime. Res64: E3AFB5D800083AF5 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:51:46] 867*2^1453882-1 is not prime. Res64: FEF56D9AD16DBDB9 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:51:46] 911*2^1453882-1 is not prime. Res64: 38A6715E65507D49 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:51:47] 957*2^1453882-1 is not prime. Res64: BCC7CF0FDBED0985 Time : 0.0 sec. user=mdettweiler [2017-05-14 18:51:47] 603*2^1453883-1 is not prime. Res64: 20B62981C7A080AC Time : 0.0 sec. user=mdettweiler [2017-05-14 19:13:37] 609*2^1453883-1 is not prime. Res64: 6E3C5002A982914B Time : 0.0 sec. user=mdettweiler [2017-05-14 19:13:38] 679*2^1453883-1 is not prime. Res64: 15D7F382A6E5ADB1 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:13:38] 753*2^1453883-1 is not prime. Res64: 9DCE828A90AA4D66 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:13:38] 823*2^1453883-1 is not prime. Res64: AD5A47003EE7DDB4 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:13:38] 853*2^1453883-1 is not prime. Res64: 10FB7F402E174A4A Time : 0.0 sec. user=mdettweiler [2017-05-14 19:18:00] 879*2^1453883-1 is not prime. Res64: 0B145DE31857871A Time : 0.0 sec. user=mdettweiler [2017-05-14 19:18:01] 985*2^1453883-1 is not prime. Res64: 960143F3F3342133 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:18:01] 689*2^1453884-1 is not prime. Res64: 994ECD30FF32CD76 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:18:01] 873*2^1453884-1 is not prime. Res64: 41B76A16B66CE175 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:18:01] 905*2^1453884-1 is not prime. Res64: 40449ED689AB4BC2 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:20:48] 945*2^1453884-1 is not prime. Res64: 4BE2F3F9C9F1BA8F Time : 0.0 sec. user=mdettweiler [2017-05-14 19:20:48] 983*2^1453884-1 is not prime. Res64: 437DDF392257C3C6 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:20:49] 687*2^1453885-1 is not prime. Res64: 2E4382131E2A0AEF Time : 0.0 sec. user=mdettweiler [2017-05-14 19:20:50] 777*2^1453885-1 is not prime. Res64: C6B4D7BCF35D0C5F Time : 0.0 sec. user=mdettweiler [2017-05-14 19:20:50] 937*2^1453885-1 is not prime. Res64: C42119B338DB5805 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:38:16] 985*2^1453885-1 is not prime. Res64: C27FD155744CAD6D Time : 0.0 sec. user=mdettweiler [2017-05-14 19:38:16] 705*2^1453886-1 is not prime. Res64: 1DFA5A5D91FE9D61 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:38:16] 785*2^1453886-1 is not prime. Res64: A8D6ABEB1C5CCCE9 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:38:16] 795*2^1453886-1 is not prime. Res64: 0067172E7010E098 Time : 0.0 sec. user=mdettweiler [2017-05-14 19:38:17] 831*2^1453886-1 is not prime. Res64: 2F62D66754C41D2E Time : 0.0 sec. user=mdettweiler [2017-05-14 20:00:53] 639*2^1453887-1 is not prime. Res64: CC7CC42ABABB08CB Time : 0.0 sec. user=mdettweiler [2017-05-14 20:00:54] 741*2^1453887-1 is not prime. Res64: ACA2CE65089FF3BB Time : 0.0 sec. user=mdettweiler [2017-05-14 20:00:54] 751*2^1453887-1 is not prime. Res64: 0210CE325B6969F5 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:00:55] 825*2^1453887-1 is not prime. Res64: 441516DB8B8D8BB5 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:00:55] 891*2^1453887-1 is not prime. Res64: 2E7E5DAE32126191 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:05:21] 901*2^1453887-1 is not prime. Res64: 080FECC2F572DDCA Time : 0.0 sec. user=mdettweiler [2017-05-14 20:05:22] 955*2^1453887-1 is not prime. Res64: 3411DE824FB0A4F6 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:05:22] 657*2^1453888-1 is not prime. Res64: 4E6EC7F48F3D4ABF Time : 0.0 sec. user=mdettweiler [2017-05-14 20:05:23] 677*2^1453888-1 is not prime. Res64: 38B547B30CFD9076 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:05:24] 747*2^1453888-1 is not prime. Res64: 66D9CAE61BD10CED Time : 0.0 sec. user=mdettweiler [2017-05-14 20:08:11] 839*2^1453888-1 is not prime. Res64: F0B4446A302905A5 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:08:11] 869*2^1453888-1 is not prime. Res64: 072D164FB3F97D86 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:08:11] 905*2^1453888-1 is not prime. Res64: F003871C933CC89F Time : 0.0 sec. user=mdettweiler [2017-05-14 20:08:11] 975*2^1453888-1 is not prime. Res64: 0719E97F10B1D978 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:08:12] 989*2^1453888-1 is not prime. Res64: AFF57E9C2E0A8ACC Time : 0.0 sec. user=juhehe [2017-05-14 20:15:48] 999*2^1453888-1 is not prime. Res64: 69E70AF8E085E534 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:26:05] 615*2^1453889-1 is not prime. Res64: 4387E6C6A78C4922 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:26:06] 619*2^1453889-1 is not prime. Res64: 01A67CF4FA9B1A05 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:26:06] 711*2^1453889-1 is not prime. Res64: 168FDDEB852340B2 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:26:06] 837*2^1453889-1 is not prime. Res64: 506763234D61D1DB Time : 0.0 sec. user=mdettweiler [2017-05-14 20:26:06] 861*2^1453889-1 is not prime. Res64: DFEC6122A999A1E7 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:48:57] 955*2^1453889-1 is not prime. Res64: D1E67EC0A7123BE6 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:48:57] 665*2^1453890-1 is not prime. Res64: 52AB561C63A4EC0B Time : 0.0 sec. user=mdettweiler [2017-05-14 20:48:58] 735*2^1453890-1 is not prime. Res64: 64DD89389F3B52D6 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:48:58] 791*2^1453890-1 is not prime. Res64: F2B6A17C2AF3D51C Time : 0.0 sec. user=mdettweiler [2017-05-14 20:48:58] 861*2^1453890-1 is not prime. Res64: 6EC1B416878E8E08 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:53:43] 905*2^1453890-1 is not prime. Res64: B05B2612403B8E16 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:53:43] 927*2^1453890-1 is not prime. Res64: 5133CC49D73ECCD2 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:53:43] 663*2^1453891-1 is not prime. Res64: E2208ACEBA94B3BB Time : 0.0 sec. user=mdettweiler [2017-05-14 20:53:44] 733*2^1453891-1 is not prime. Res64: 2579728317B06B16 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:53:44] 943*2^1453891-1 is not prime. Res64: 2D422BDBD89745CA Time : 0.0 sec. user=mdettweiler [2017-05-14 20:56:03] 975*2^1453891-1 is not prime. Res64: 29ECA368D0EC0950 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:56:04] 687*2^1453892-1 is not prime. Res64: 503E39D2241F06BB Time : 0.0 sec. user=mdettweiler [2017-05-14 20:56:04] 725*2^1453892-1 is not prime. Res64: 7BF41B0315471CE7 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:56:04] 977*2^1453892-1 is not prime. Res64: 23E79639F9E69167 Time : 0.0 sec. user=mdettweiler [2017-05-14 20:56:04] 995*2^1453892-1 is not prime. Res64: 4F37810F5E224FBA Time : 0.0 sec. user=mdettweiler [2017-05-14 21:13:34] 999*2^1453892-1 is not prime. Res64: A747B82054798188 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:13:34] 649*2^1453893-1 is not prime. Res64: 652CD24D2CBC57EE Time : 0.0 sec. user=mdettweiler [2017-05-14 21:13:35] 685*2^1453893-1 is not prime. Res64: 8F84755340FDAF93 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:13:35] 751*2^1453893-1 is not prime. Res64: FFB5C668BCAAF281 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:13:35] 759*2^1453893-1 is not prime. Res64: 4881756B69B0BB06 Time : 0.0 sec. user=juhehe [2017-05-14 21:33:44] 915*2^1453894-1 is not prime. Res64: 1DC0CEB0AE8F82F0 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:36:13] 765*2^1453893-1 is not prime. Res64: A041C7F8510B623D Time : 0.0 sec. user=mdettweiler [2017-05-14 21:36:13] 819*2^1453893-1 is not prime. Res64: 6C0D65586478E840 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:36:14] 867*2^1453893-1 is not prime. Res64: 5D52A70F60C59DE0 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:36:14] 921*2^1453893-1 is not prime. Res64: A8A40423864987FF Time : 0.0 sec. user=mdettweiler [2017-05-14 21:36:14] 937*2^1453893-1 is not prime. Res64: E38E9BBF66D2F397 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:40:37] 671*2^1453894-1 is not prime. Res64: A37632BE3539E3E5 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:40:37] 833*2^1453894-1 is not prime. Res64: 7498A164153C1810 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:40:38] 861*2^1453894-1 is not prime. Res64: D3D3C3ACE8BBE2AA Time : 0.0 sec. user=mdettweiler [2017-05-14 21:40:38] 887*2^1453894-1 is not prime. Res64: 77AC3B71B9055E07 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:40:38] 891*2^1453894-1 is not prime. Res64: 5E9750E01E3C9D46 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:42:55] 945*2^1453894-1 is not prime. Res64: 59FC6EC9429762B6 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:42:55] 983*2^1453894-1 is not prime. Res64: 6CACE4F5A9A6B673 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:42:56] 651*2^1453895-1 is not prime. Res64: BE60226ED6B304E9 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:42:56] 685*2^1453895-1 is not prime. Res64: A533AA533FC30918 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:42:56] 825*2^1453895-1 is not prime. Res64: 896CF231B9F9375E Time : 0.0 sec. user=mdettweiler [2017-05-14 21:59:51] 855*2^1453895-1 is not prime. Res64: BD3AF119029AB290 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:59:51] 985*2^1453895-1 is not prime. Res64: 387D26EBDBE326C4 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:59:51] 623*2^1453896-1 is not prime. Res64: ADC24FFEE26A12A1 Time : 0.0 sec. user=mdettweiler [2017-05-14 21:59:51] 653*2^1453896-1 is not prime. Res64: 02C798D0B68E2A9B Time : 0.0 sec. user=mdettweiler [2017-05-14 21:59:52] 695*2^1453896-1 is not prime. Res64: 14F2B30F1CF2F306 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:22:05] 725*2^1453896-1 is not prime. Res64: B24618C577958F63 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:22:06] 759*2^1453896-1 is not prime. Res64: F991ACBF7BB71025 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:22:06] 765*2^1453896-1 is not prime. Res64: 35F953C1272AA027 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:22:06] 803*2^1453896-1 is not prime. Res64: 8BD03F906965561F Time : 0.0 sec. user=mdettweiler [2017-05-14 22:22:07] 825*2^1453896-1 is not prime. Res64: 3CF9C6C0CA39D870 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:26:42] 839*2^1453896-1 is not prime. Res64: 2F039A17BC6174D5 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:26:43] 899*2^1453896-1 is not prime. Res64: 6D6C6645A0441717 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:26:43] 607*2^1453897-1 is not prime. Res64: 69520FA9CF87A149 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:26:44] 649*2^1453897-1 is not prime. Res64: E52246836C4584D2 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:26:44] 729*2^1453897-1 is not prime. Res64: 7E058C705BFC1198 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:28:53] 829*2^1453897-1 is not prime. Res64: A5C14D13D1F01E2D Time : 0.0 sec. user=mdettweiler [2017-05-14 22:28:53] 847*2^1453897-1 is not prime. Res64: EEF8FF69FAEDC622 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:28:54] 895*2^1453897-1 is not prime. Res64: 0012BA5A4655E701 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:28:54] 901*2^1453897-1 is not prime. Res64: DAB09D58607E7616 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:28:55] 909*2^1453897-1 is not prime. Res64: 9F65B37AD7475F06 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:45:57] 665*2^1453898-1 is not prime. Res64: 26877A33CCF6F55E Time : 0.0 sec. user=mdettweiler [2017-05-14 22:45:58] 773*2^1453898-1 is not prime. Res64: D82152A5993F51A1 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:45:58] 885*2^1453898-1 is not prime. Res64: 1BA26CEE945DF2AE Time : 0.0 sec. user=mdettweiler [2017-05-14 22:45:58] 941*2^1453898-1 is not prime. Res64: 7DB603DC87703D77 Time : 0.0 sec. user=mdettweiler [2017-05-14 22:45:59] 663*2^1453899-1 is not prime. Res64: 4ADB7E125C464229 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:07:59] 823*2^1453899-1 is not prime. Res64: F28BCC7AC2A6335A Time : 0.0 sec. user=mdettweiler [2017-05-14 23:08:01] 853*2^1453899-1 is not prime. Res64: F3445C139FD3EAB3 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:08:02] 931*2^1453899-1 is not prime. Res64: 694BB8AC3E150312 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:08:03] 955*2^1453899-1 is not prime. Res64: 08131E24195E663D Time : 0.0 sec. user=mdettweiler [2017-05-14 23:08:04] 693*2^1453900-1 is not prime. Res64: E81CAAB84ECA1D38 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:12:23] 717*2^1453900-1 is not prime. Res64: 9F690736EE8C1140 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:12:23] 863*2^1453900-1 is not prime. Res64: B4D4915161234F78 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:12:23] 927*2^1453900-1 is not prime. Res64: C52141EDC839DFB0 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:12:24] 619*2^1453901-1 is not prime. Res64: ACB88F76A2574FC1 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:12:24] 669*2^1453901-1 is not prime. Res64: 9F2D5EBF7C24C6B1 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:15:13] 747*2^1453901-1 is not prime. Res64: A0CEA03EC8F667E4 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:15:14] 757*2^1453901-1 is not prime. Res64: D1FB7FC4584F0105 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:15:14] 907*2^1453901-1 is not prime. Res64: AF21AE18AC6D16ED Time : 0.0 sec. user=mdettweiler [2017-05-14 23:15:14] 951*2^1453901-1 is not prime. Res64: B8326336386F3C18 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:15:15] 955*2^1453901-1 is not prime. Res64: E5A3137252CE7140 Time : 0.0 sec. user=juhehe [2017-05-14 23:30:54] 673*2^1453903-1 is not prime. Res64: 2FF512BD9F4E9BDB Time : 0.0 sec. user=mdettweiler [2017-05-14 23:32:09] 647*2^1453902-1 is not prime. Res64: 32FA679D0D3DC5F2 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:32:09] 683*2^1453902-1 is not prime. Res64: 488BD5BD2228178D Time : 0.0 sec. user=mdettweiler [2017-05-14 23:32:10] 725*2^1453902-1 is not prime. Res64: 2FE580C6C2C50A90 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:32:10] 917*2^1453902-1 is not prime. Res64: 56F85483417A2972 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:32:10] 1001*2^1453902-1 is not prime. Res64: 86CDCA501C3434EA Time : 0.0 sec. user=mdettweiler [2017-05-14 23:54:26] 705*2^1453903-1 is not prime. Res64: 4D70F07A4D66AED4 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:54:26] 855*2^1453903-1 is not prime. Res64: 4913B229A3A0BAFC Time : 0.0 sec. user=mdettweiler [2017-05-14 23:54:26] 859*2^1453903-1 is not prime. Res64: BFA58A18A1AE975C Time : 0.0 sec. user=mdettweiler [2017-05-14 23:54:27] 873*2^1453903-1 is not prime. Res64: 13A0A7446729ED87 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:54:27] 951*2^1453903-1 is not prime. Res64: D0DC40929CBFC432 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:58:40] 767*2^1453904-1 is not prime. Res64: 81C6A926707FCD06 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:58:40] 795*2^1453904-1 is not prime. Res64: 9D4F41A3E948732A Time : 0.0 sec. user=mdettweiler [2017-05-14 23:58:41] 813*2^1453904-1 is not prime. Res64: 7D32B0DA581DEF48 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:58:41] 915*2^1453904-1 is not prime. Res64: B43BE06DD3B58BB7 Time : 0.0 sec. user=mdettweiler [2017-05-14 23:58:42] 917*2^1453904-1 is not prime. Res64: 3F2CF2749655FF12 Time : 0.0 sec.