user=mdettweiler [2018-08-24 00:01:02] 629*2^1522136-1 is not prime. Res64: FEFBABD7F1AEB1B8 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:01:02] 633*2^1522136-1 is not prime. Res64: 1C0A5D99B32E8F95 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:01:17] 659*2^1522136-1 is not prime. Res64: FE354D8C3C4CB86F Time : 0.0 sec. user=mdettweiler [2018-08-24 00:01:17] 663*2^1522136-1 is not prime. Res64: A0180900A241F694 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:01:18] 833*2^1522136-1 is not prime. Res64: BC30AAB4A52D39C2 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:01:18] 903*2^1522136-1 is not prime. Res64: 8D8ABC5F6986B38B Time : 0.0 sec. user=mdettweiler [2018-08-24 00:01:19] 963*2^1522136-1 is not prime. Res64: F4DD46D6F2D73465 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:28:31] 983*2^1522136-1 is not prime. Res64: F467AF8F1920E4E3 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:28:31] 675*2^1522137-1 is not prime. Res64: D559F02D75946193 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:28:32] 727*2^1522137-1 is not prime. Res64: F74BF83762C70087 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:28:32] 739*2^1522137-1 is not prime. Res64: 8345BE85080FAED5 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:28:33] 747*2^1522137-1 is not prime. Res64: 029EC71AD1642CA3 Time : 0.0 sec. user=odicin [2018-08-24 00:28:43] 705*2^1522087-1 is not prime. Res64: 30C5D6847400336E Time : 0.0 sec. user=odicin [2018-08-24 00:28:43] 831*2^1522087-1 is not prime. Res64: 9CF693B0512E8A62 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:29:02] 895*2^1522137-1 is not prime. Res64: 7356AACDC38AD6BE Time : 0.0 sec. user=mdettweiler [2018-08-24 00:29:02] 915*2^1522137-1 is not prime. Res64: 4704001174A775F5 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:29:03] 979*2^1522137-1 is not prime. Res64: 0616CE4132F22946 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:29:03] 635*2^1522138-1 is not prime. Res64: 1E852044BC787CF0 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:29:04] 657*2^1522138-1 is not prime. Res64: CA3E1A76F1B4F17D Time : 0.0 sec. user=odicin [2018-08-24 00:50:58] 651*2^1522141-1 is not prime. Res64: 5563F86029086AC6 Time : 0.0 sec. user=odicin [2018-08-24 00:50:58] 717*2^1522141-1 is not prime. Res64: 014914B09F42AA18 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:08] 731*2^1522138-1 is not prime. Res64: 5928DFE1ADD69FB6 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:09] 735*2^1522138-1 is not prime. Res64: C62C7962DF7F160F Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:09] 621*2^1522139-1 is not prime. Res64: F398FA28EAA949EE Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:10] 703*2^1522139-1 is not prime. Res64: 2A37E870E912143A Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:10] 741*2^1522139-1 is not prime. Res64: A3497D40C8D0CF9D Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:15] 759*2^1522139-1 is not prime. Res64: 27FBF7B5BC2E6C8B Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:15] 799*2^1522139-1 is not prime. Res64: E2A4CEB7B282BE2B Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:15] 843*2^1522139-1 is not prime. Res64: 9BF8F1A5B1791515 Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:16] 855*2^1522139-1 is not prime. Res64: DD9714F101D18A0A Time : 0.0 sec. user=mdettweiler [2018-08-24 00:52:16] 885*2^1522139-1 is not prime. Res64: 804DB45FB1D15362 Time : 0.0 sec. user=odicin [2018-08-24 01:13:18] 683*2^1522142-1 is not prime. Res64: 0209B5A628C305FB Time : 0.0 sec. user=odicin [2018-08-24 01:13:19] 705*2^1522142-1 is not prime. Res64: E974801AC0E47E13 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:19:40] 913*2^1522139-1 is not prime. Res64: D35700125C7AC4EC Time : 0.0 sec. user=mdettweiler [2018-08-24 01:19:41] 627*2^1522140-1 is not prime. Res64: 665F61B051D9715F Time : 0.0 sec. user=mdettweiler [2018-08-24 01:19:41] 635*2^1522140-1 is not prime. Res64: 5705D721A4FA99F3 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:19:42] 797*2^1522140-1 is not prime. Res64: 694C4662FBD835EC Time : 0.0 sec. user=mdettweiler [2018-08-24 01:19:42] 625*2^1522141-1 is not prime. Res64: 9584118FFCC3AE8C Time : 0.0 sec. user=mdettweiler [2018-08-24 01:20:09] 771*2^1522141-1 is not prime. Res64: 00349B6110BE92DA Time : 0.0 sec. user=mdettweiler [2018-08-24 01:20:09] 937*2^1522141-1 is not prime. Res64: 493C2F021DB5AC8A Time : 0.0 sec. user=mdettweiler [2018-08-24 01:20:09] 939*2^1522141-1 is not prime. Res64: D01D2F054F6E4A20 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:20:10] 997*2^1522141-1 is not prime. Res64: FC17F808AA768D40 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:20:10] 615*2^1522142-1 is not prime. Res64: B89BAEB05FDCB0D2 Time : 0.0 sec. user=odicin [2018-08-24 01:35:40] 895*2^1522143-1 is not prime. Res64: 753A5517BA3AC04C Time : 0.0 sec. user=odicin [2018-08-24 01:35:41] 901*2^1522143-1 is not prime. Res64: FB24392FD3C5F8E0 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:03] 741*2^1522142-1 is not prime. Res64: 9370BBDAE2BDC1AF Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:04] 785*2^1522142-1 is not prime. Res64: AA09BFDD7F0A98E6 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:05] 825*2^1522142-1 is not prime. Res64: 714436D2CFAFAE28 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:05] 827*2^1522142-1 is not prime. Res64: E5ED9AC8E535EE1E Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:06] 831*2^1522142-1 is not prime. Res64: 5B38EB2A9ED129C6 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:10] 941*2^1522142-1 is not prime. Res64: 6DDC33B0B5931DEC Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:10] 953*2^1522142-1 is not prime. Res64: 70A5DF2EA77B4474 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:10] 983*2^1522142-1 is not prime. Res64: 972AA9587C181C83 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:11] 879*2^1522143-1 is not prime. Res64: 1A9965E1C9519455 Time : 0.0 sec. user=mdettweiler [2018-08-24 01:43:12] 885*2^1522143-1 is not prime. Res64: 57B5207B8B1B668A Time : 0.0 sec. user=odicin [2018-08-24 01:58:02] 847*2^1522145-1 is not prime. Res64: 5507BFEE0393CEB0 Time : 0.0 sec. user=odicin [2018-08-24 01:58:02] 909*2^1522145-1 is not prime. Res64: 38DB4E54F82645D1 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:10:38] 645*2^1522144-1 is not prime. Res64: 130F7FDD864114E0 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:10:38] 705*2^1522144-1 is not prime. Res64: CA3393D70C1884DC Time : 0.0 sec. user=mdettweiler [2018-08-24 02:10:39] 785*2^1522144-1 is not prime. Res64: 9E77AEFA8BB18B1E Time : 0.0 sec. user=mdettweiler [2018-08-24 02:10:39] 819*2^1522144-1 is not prime. Res64: 5B85C589588F43B9 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:10:40] 833*2^1522144-1 is not prime. Res64: AEF4E9B54FC7F386 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:11:08] 887*2^1522144-1 is not prime. Res64: 4F8D52BCB9411EEA Time : 0.0 sec. user=mdettweiler [2018-08-24 02:11:08] 897*2^1522144-1 is not prime. Res64: CA0D370D6752A9EB Time : 0.0 sec. user=mdettweiler [2018-08-24 02:11:09] 601*2^1522145-1 is not prime. Res64: 21DD192944DB9624 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:11:09] 741*2^1522145-1 is not prime. Res64: AE49B9E0DBAC7166 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:11:10] 787*2^1522145-1 is not prime. Res64: 030AE9BD6DC0EEA9 Time : 0.0 sec. user=odicin [2018-08-24 02:20:24] 861*2^1522147-1 is not prime. Res64: 965B94729FC18786 Time : 0.0 sec. user=odicin [2018-08-24 02:20:24] 951*2^1522147-1 is not prime. Res64: 9EC67F2030EA273D Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:21] 949*2^1522145-1 is not prime. Res64: 03CB7BCEA4A45A96 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:24] 611*2^1522146-1 is not prime. Res64: EFEF49C3BB48A51F Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:27] 677*2^1522146-1 is not prime. Res64: AA0ECA45EAE7C964 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:29] 615*2^1522147-1 is not prime. Res64: 6A3445A983C126AF Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:30] 765*2^1522146-1 is not prime. Res64: DD535EF907FDFF0B Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:31] 631*2^1522147-1 is not prime. Res64: 053A15CD57CBF126 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:32] 703*2^1522147-1 is not prime. Res64: EB25E6929549A721 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:33] 917*2^1522146-1 is not prime. Res64: E4EBE0F87AD713B4 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:34] 751*2^1522147-1 is not prime. Res64: 598E7F1E355E8E07 Time : 0.0 sec. user=mdettweiler [2018-08-24 02:34:35] 843*2^1522147-1 is not prime. Res64: C06CD00976DCA52F Time : 0.0 sec. user=odicin [2018-08-24 02:42:41] 835*2^1522149-1 is not prime. Res64: 351E65DEB0AA0ACE Time : 0.0 sec. user=odicin [2018-08-24 02:42:42] 861*2^1522149-1 is not prime. Res64: 1376F8DF87E2C81B Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:10] 767*2^1522148-1 is not prime. Res64: 6A95D6E7C4536377 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:11] 825*2^1522148-1 is not prime. Res64: 98B862CD4B770968 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:12] 959*2^1522148-1 is not prime. Res64: 6629436F2573353C Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:12] 999*2^1522147-1 is not prime. Res64: 7DF4C0C6F44B6F78 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:13] 963*2^1522148-1 is not prime. Res64: C2A1F06B1FAF10B9 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:13] 603*2^1522148-1 is not prime. Res64: C81166B7430B0EB8 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:14] 659*2^1522148-1 is not prime. Res64: 055264F853AB1039 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:15] 721*2^1522149-1 is not prime. Res64: 69C98C302ACAB949 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:15] 669*2^1522148-1 is not prime. Res64: A89D1A0A0F8E1AE5 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:03:16] 749*2^1522148-1 is not prime. Res64: D181C90E1633DC5D Time : 0.0 sec. user=odicin [2018-08-24 03:05:04] 673*2^1522151-1 is not prime. Res64: 7AD8D3DAC3C696F6 Time : 0.0 sec. user=odicin [2018-08-24 03:05:05] 685*2^1522151-1 is not prime. Res64: 7EC5C1A541F3F533 Time : 0.0 sec. user=odicin [2018-08-24 03:27:23] 695*2^1522152-1 is not prime. Res64: EEED80899E141D93 Time : 0.0 sec. user=odicin [2018-08-24 03:27:24] 825*2^1522152-1 is not prime. Res64: 1CC2D4B3FA7D2DFC Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:32] 801*2^1522150-1 is not prime. Res64: 6014A07678C30B5E Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:33] 911*2^1522150-1 is not prime. Res64: 90F68549F6CEB9B0 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:34] 915*2^1522150-1 is not prime. Res64: 8E4B50E1802B571D Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:35] 601*2^1522151-1 is not prime. Res64: EFA56C6B98814A31 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:35] 649*2^1522151-1 is not prime. Res64: A586EDA11804F5A4 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:58] 889*2^1522149-1 is not prime. Res64: E200C741DEE79C58 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:58] 611*2^1522150-1 is not prime. Res64: A162A71250419493 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:27:59] 657*2^1522150-1 is not prime. Res64: F9EDAC6E7FEACC78 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:28:00] 671*2^1522150-1 is not prime. Res64: CBA27079BE89DC14 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:28:01] 743*2^1522150-1 is not prime. Res64: 022DF4D9C989C44D Time : 0.0 sec. user=odicin [2018-08-24 03:49:47] 879*2^1522152-1 is not prime. Res64: 930B7D0FECED0E57 Time : 0.0 sec. user=odicin [2018-08-24 03:49:48] 893*2^1522152-1 is not prime. Res64: D0FA396C4298B59C Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:17] 885*2^1522151-1 is not prime. Res64: BB4E0C2B64E2AD8C Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:18] 931*2^1522151-1 is not prime. Res64: 5B1EE97EB065C890 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:18] 939*2^1522151-1 is not prime. Res64: E8F5D3A6D7289D10 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:19] 605*2^1522152-1 is not prime. Res64: 9B451333F1B296C1 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:20] 715*2^1522151-1 is not prime. Res64: DAF8E2C9F75C6B55 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:20] 763*2^1522151-1 is not prime. Res64: A168F39AA1A4E6E3 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:21] 669*2^1522152-1 is not prime. Res64: 370A699970931FD3 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:22] 775*2^1522151-1 is not prime. Res64: 27C296520D805E6E Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:23] 823*2^1522151-1 is not prime. Res64: 85F38E8DE94261A6 Time : 0.0 sec. user=mdettweiler [2018-08-24 03:55:24] 825*2^1522151-1 is not prime. Res64: A0B6DFDEBC452F54 Time : 0.0 sec. user=odicin [2018-08-24 04:12:07] 951*2^1522154-1 is not prime. Res64: 0799DDDB1C2F3FF2 Time : 0.0 sec. user=odicin [2018-08-24 04:12:07] 663*2^1522155-1 is not prime. Res64: F35CAE681F746DC3 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:21] 987*2^1522153-1 is not prime. Res64: 5372683EFAA4A80A Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:22] 617*2^1522154-1 is not prime. Res64: DC8C3C4F91A456A9 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:23] 665*2^1522154-1 is not prime. Res64: F046E38BF649D0E4 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:24] 791*2^1522154-1 is not prime. Res64: 31CC38CF4B6CF467 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:24] 885*2^1522154-1 is not prime. Res64: 254241B94C3D9DB7 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:41] 909*2^1522152-1 is not prime. Res64: 4F31FF8C28BA6D54 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:41] 977*2^1522152-1 is not prime. Res64: 3BC34A39FC70EE59 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:42] 849*2^1522153-1 is not prime. Res64: 3E8EB4D065D29689 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:42] 945*2^1522153-1 is not prime. Res64: 6018C6895EA4B56F Time : 0.0 sec. user=mdettweiler [2018-08-24 04:19:43] 955*2^1522153-1 is not prime. Res64: 6457929E5147D05F Time : 0.0 sec. user=odicin [2018-08-24 04:34:28] 699*2^1522157-1 is not prime. Res64: F03C877165625A9E Time : 0.0 sec. user=odicin [2018-08-24 04:34:28] 711*2^1522157-1 is not prime. Res64: D60108A9974EB628 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:28] 669*2^1522155-1 is not prime. Res64: 85DD665249E4B504 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:28] 795*2^1522155-1 is not prime. Res64: 1BBC956405F526AF Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:29] 963*2^1522155-1 is not prime. Res64: DD045301E65A65FE Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:29] 707*2^1522156-1 is not prime. Res64: A446C655EE555733 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:30] 773*2^1522156-1 is not prime. Res64: 3F7F14AD935A41D5 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:41] 803*2^1522156-1 is not prime. Res64: 8F0A667C13E47760 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:41] 843*2^1522156-1 is not prime. Res64: 7636A060C15FBCB5 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:42] 957*2^1522156-1 is not prime. Res64: 03C279F080D9ECCE Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:43] 965*2^1522156-1 is not prime. Res64: 0F662A054A611821 Time : 0.0 sec. user=mdettweiler [2018-08-24 04:46:43] 691*2^1522157-1 is not prime. Res64: 1EB24E72AAC1BB6F Time : 0.0 sec. user=odicin [2018-08-24 04:56:43] 915*2^1522158-1 is not prime. Res64: AB73B32EEBCBAE54 Time : 0.0 sec. user=odicin [2018-08-24 04:56:44] 615*2^1522159-1 is not prime. Res64: CB81D73B587A26FE Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:41] 717*2^1522157-1 is not prime. Res64: 47D65D35364B172B Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:42] 735*2^1522157-1 is not prime. Res64: 64D0A1CB6E162A6D Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:42] 777*2^1522157-1 is not prime. Res64: AA64B709F373E22B Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:42] 861*2^1522157-1 is not prime. Res64: 78939F90276400F3 Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:43] 879*2^1522157-1 is not prime. Res64: 706DEF76AC4D878C Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:44] 605*2^1522158-1 is not prime. Res64: EBE0EA8D5C64E7FB Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:45] 693*2^1522158-1 is not prime. Res64: 917F0B2984A0F95E Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:45] 767*2^1522158-1 is not prime. Res64: 3E8EDDB6B1C4BE72 Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:46] 801*2^1522158-1 is not prime. Res64: BD697D1233EA82F6 Time : 0.0 sec. user=mdettweiler [2018-08-24 05:10:47] 893*2^1522158-1 is not prime. Res64: FBD52EE00258F2B8 Time : 0.0 sec. user=odicin [2018-08-24 05:18:41] 993*2^1522159-1 is not prime. Res64: 2C736BEB485C82C8 Time : 0.0 sec. user=odicin [2018-08-24 05:18:43] 603*2^1522160-1 is not prime. Res64: EB1723865F30CF1C Time : 0.0 sec. user=mdettweiler [2018-08-24 05:37:43] 625*2^1522159-1 is not prime. Res64: 026B540BBC85FD83 Time : 0.0 sec. user=mdettweiler [2018-08-24 05:37:43] 663*2^1522159-1 is not prime. Res64: D7BC5DA26C7DBE0B Time : 0.0 sec. user=mdettweiler [2018-08-24 05:37:44] 693*2^1522159-1 is not prime. Res64: F934293E524903D5 Time : 0.0 sec. user=mdettweiler [2018-08-24 05:37:44] 703*2^1522159-1 is not prime. Res64: FF396EC4CF3DBB4A Time : 0.0 sec. user=mdettweiler [2018-08-24 05:37:45] 765*2^1522159-1 is not prime. Res64: 95D21DD4E53763DB Time : 0.0 sec. user=mdettweiler [2018-08-24 05:38:10] 789*2^1522159-1 is not prime. Res64: 8BB2E6C6BE9D5A3D Time : 0.0 sec. user=mdettweiler [2018-08-24 05:38:10] 841*2^1522159-1 is not prime. Res64: 12939D52286AC8CD Time : 0.0 sec. user=mdettweiler [2018-08-24 05:38:10] 859*2^1522159-1 is not prime. Res64: 79DB980B27C444AB Time : 0.0 sec. user=mdettweiler [2018-08-24 05:38:11] 883*2^1522159-1 is not prime. Res64: B68905D3AE4FBFD4 Time : 0.0 sec. user=mdettweiler [2018-08-24 05:38:11] 951*2^1522159-1 is not prime. Res64: E8677EF35262E4B5 Time : 0.0 sec. user=odicin [2018-08-24 05:40:44] 727*2^1522161-1 is not prime. Res64: 5DF5D176555AA2BB Time : 0.0 sec. user=odicin [2018-08-24 05:40:44] 795*2^1522161-1 is not prime. Res64: 23B9614C82AACE7A Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:47] 753*2^1522160-1 is not prime. Res64: 4ADD6674467A907E Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:48] 759*2^1522160-1 is not prime. Res64: 8DE98D98C8110604 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:48] 797*2^1522160-1 is not prime. Res64: 2149CDFEDC531FF3 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:49] 839*2^1522160-1 is not prime. Res64: 8E7347BC70D3162E Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:50] 855*2^1522160-1 is not prime. Res64: 94BA33BE68D15D03 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:51] 879*2^1522160-1 is not prime. Res64: A4A473BBE91B44FD Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:51] 909*2^1522160-1 is not prime. Res64: 535921D82F9D1645 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:52] 935*2^1522160-1 is not prime. Res64: 3E783385F678F544 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:53] 609*2^1522161-1 is not prime. Res64: 31D184584442BB33 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:01:54] 637*2^1522161-1 is not prime. Res64: FE387EC0C2914DA2 Time : 0.0 sec. user=odicin [2018-08-24 06:02:37] 885*2^1522163-1 is not prime. Res64: E37592652082B4AB Time : 0.0 sec. user=odicin [2018-08-24 06:02:38] 913*2^1522163-1 is not prime. Res64: D232B6C3ABCA6CD5 Time : 0.0 sec. user=odicin [2018-08-24 06:24:35] 751*2^1522165-1 is not prime. Res64: BDE999C3B153D217 Time : 0.0 sec. user=odicin [2018-08-24 06:24:35] 805*2^1522165-1 is not prime. Res64: A41A187C7E1297BD Time : 0.0 sec. user=mdettweiler [2018-08-24 06:28:38] 861*2^1522161-1 is not prime. Res64: 7322C6451D1940FC Time : 0.0 sec. user=mdettweiler [2018-08-24 06:28:38] 909*2^1522161-1 is not prime. Res64: 9AFDABB133AB7AAC Time : 0.0 sec. user=mdettweiler [2018-08-24 06:28:39] 951*2^1522161-1 is not prime. Res64: 88844E6279FBA08A Time : 0.0 sec. user=mdettweiler [2018-08-24 06:28:39] 653*2^1522162-1 is not prime. Res64: 00751AF3DF55FEE4 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:28:40] 741*2^1522162-1 is not prime. Res64: DDCF864C8FE9B3B1 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:29:09] 941*2^1522162-1 is not prime. Res64: C879A9AF70760C06 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:29:09] 693*2^1522163-1 is not prime. Res64: 4DACDC780BC9A1F5 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:29:09] 813*2^1522163-1 is not prime. Res64: 1715F1DB7F36C7C4 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:29:10] 855*2^1522163-1 is not prime. Res64: B84165AE44B82A04 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:29:10] 861*2^1522163-1 is not prime. Res64: 1CAD916BCDB6CB98 Time : 0.0 sec. user=odicin [2018-08-24 06:46:33] 871*2^1522165-1 is not prime. Res64: 66C5C774A3593B64 Time : 0.0 sec. user=odicin [2018-08-24 06:46:33] 877*2^1522165-1 is not prime. Res64: 5C316CF554F9BF95 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:32] 943*2^1522163-1 is not prime. Res64: C290A5C526072E4B Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:32] 981*2^1522163-1 is not prime. Res64: E20550021A5AF25B Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:33] 605*2^1522164-1 is not prime. Res64: 3B1AA58CC3EAA933 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:33] 707*2^1522164-1 is not prime. Res64: 892139AD19E912E7 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:34] 723*2^1522164-1 is not prime. Res64: 46E692792B7F9FBA Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:37] 725*2^1522164-1 is not prime. Res64: 25DA447CA27A7601 Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:38] 857*2^1522164-1 is not prime. Res64: C20150A16DF251FC Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:38] 863*2^1522164-1 is not prime. Res64: EBFF53216455C97E Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:38] 945*2^1522164-1 is not prime. Res64: CE7EFB159DA620AB Time : 0.0 sec. user=mdettweiler [2018-08-24 06:53:39] 625*2^1522165-1 is not prime. Res64: FFF99D32506746D0 Time : 0.0 sec. user=odicin [2018-08-24 07:08:29] 885*2^1522167-1 is not prime. Res64: 17C50D8E22B223ED Time : 0.0 sec. user=odicin [2018-08-24 07:08:29] 657*2^1522168-1 is not prime. Res64: 8CCFB18A0DFD2F63 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:19:55] 895*2^1522165-1 is not prime. Res64: 9A08AE1C9C220DC4 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:19:55] 985*2^1522165-1 is not prime. Res64: BBA3EBD98E60122E Time : 0.0 sec. user=mdettweiler [2018-08-24 07:19:55] 641*2^1522166-1 is not prime. Res64: 6688F132DCBEDA6A Time : 0.0 sec. user=mdettweiler [2018-08-24 07:19:56] 755*2^1522166-1 is not prime. Res64: 561787A040617956 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:19:56] 825*2^1522166-1 is not prime. Res64: C979BE49455E2BC5 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:20:18] 861*2^1522166-1 is not prime. Res64: 4D4C25DE59734546 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:20:18] 615*2^1522167-1 is not prime. Res64: F3A5D38EA87FB3C6 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:20:18] 735*2^1522167-1 is not prime. Res64: 264395EE833DAF87 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:20:19] 861*2^1522167-1 is not prime. Res64: 37F9176A55041566 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:20:19] 873*2^1522167-1 is not prime. Res64: 44A5C18DE1D34E5E Time : 0.0 sec. user=odicin [2018-08-24 07:30:24] 679*2^1522169-1 is not prime. Res64: E5B73CA999BDADDF Time : 0.0 sec. user=odicin [2018-08-24 07:30:25] 711*2^1522169-1 is not prime. Res64: 3D211584AB3D9046 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:33] 677*2^1522168-1 is not prime. Res64: B9AECA3F97CE7EFF Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:33] 765*2^1522168-1 is not prime. Res64: DD8034D451983A61 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:33] 827*2^1522168-1 is not prime. Res64: 516E69E5D8394920 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:34] 843*2^1522168-1 is not prime. Res64: 1D7514704619AAC1 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:34] 849*2^1522168-1 is not prime. Res64: B00DBCBE228E96E3 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:36] 957*2^1522168-1 is not prime. Res64: AEA9D5D0304B758F Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:36] 975*2^1522168-1 is not prime. Res64: ACC921CE39BE9BCF Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:37] 993*2^1522168-1 is not prime. Res64: 3D91DB79BFBD1347 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:37] 615*2^1522169-1 is not prime. Res64: E6AB0B89888EABA2 Time : 0.0 sec. user=mdettweiler [2018-08-24 07:44:37] 631*2^1522169-1 is not prime. Res64: 3B38A979EC55642C Time : 0.0 sec. user=odicin [2018-08-24 07:52:21] 625*2^1522171-1 is not prime. Res64: 0B4DFED9E5F62B0D Time : 0.0 sec. user=odicin [2018-08-24 07:52:21] 651*2^1522171-1 is not prime. Res64: 3DD4D9A99220F5C6 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:10:50] 721*2^1522169-1 is not prime. Res64: C08E0B58E78D19EE Time : 0.0 sec. user=mdettweiler [2018-08-24 08:10:50] 771*2^1522169-1 is not prime. Res64: 6CD4DB39A0C03C13 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:10:51] 867*2^1522169-1 is not prime. Res64: F2781789A327A8EB Time : 0.0 sec. user=mdettweiler [2018-08-24 08:10:51] 879*2^1522169-1 is not prime. Res64: 9FC36EFA406D26F3 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:10:51] 907*2^1522169-1 is not prime. Res64: 1B09B5411E6846D1 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:11:07] 641*2^1522170-1 is not prime. Res64: 873B2F799D7621A1 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:11:08] 821*2^1522170-1 is not prime. Res64: FC014D292D1944CA Time : 0.0 sec. user=mdettweiler [2018-08-24 08:11:09] 861*2^1522170-1 is not prime. Res64: 32058E97F96ED2B4 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:11:10] 923*2^1522170-1 is not prime. Res64: 1E6077CAD804C052 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:11:11] 927*2^1522170-1 is not prime. Res64: 6CDBEC2C52340401 Time : 0.0 sec. user=odicin [2018-08-24 08:14:18] 699*2^1522173-1 is not prime. Res64: C69DB5B9E854CF68 Time : 0.0 sec. user=odicin [2018-08-24 08:14:19] 741*2^1522173-1 is not prime. Res64: C8C2D658031C3C0E Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:24] 723*2^1522171-1 is not prime. Res64: 33E13E0906657BAF Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:24] 741*2^1522171-1 is not prime. Res64: B7956102A2917997 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:25] 775*2^1522171-1 is not prime. Res64: 7979A7C74F22EE13 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:25] 883*2^1522171-1 is not prime. Res64: 0ED01223CA929156 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:26] 605*2^1522172-1 is not prime. Res64: 38794F60BA60A1FB Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:26] 833*2^1522172-1 is not prime. Res64: 75D50F895BC78AB9 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:26] 977*2^1522172-1 is not prime. Res64: 8C3232F4BBA9479F Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:26] 609*2^1522173-1 is not prime. Res64: 47C3562F3F5B9AC4 Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:27] 627*2^1522173-1 is not prime. Res64: 13EEF1C081B4B9FA Time : 0.0 sec. user=mdettweiler [2018-08-24 08:35:27] 675*2^1522173-1 is not prime. Res64: 1482DEA1A1ABB438 Time : 0.0 sec. user=odicin [2018-08-24 08:36:20] 705*2^1522175-1 is not prime. Res64: 339FADEAE876C47B Time : 0.0 sec. user=odicin [2018-08-24 08:36:20] 823*2^1522175-1 is not prime. Res64: 99A54EDEA2FE8132 Time : 0.0 sec. user=odicin [2018-08-24 08:58:15] 741*2^1522177-1 is not prime. Res64: 96C97A73CDAC877F Time : 0.0 sec. user=odicin [2018-08-24 08:58:16] 777*2^1522177-1 is not prime. Res64: 655B5FD0928A126D Time : 0.0 sec. user=mdettweiler [2018-08-24 09:01:37] 781*2^1522173-1 is not prime. Res64: E5FF5BE6C696B97F Time : 0.0 sec. user=mdettweiler [2018-08-24 09:01:38] 789*2^1522173-1 is not prime. Res64: A6786A75F629E658 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:01:38] 835*2^1522173-1 is not prime. Res64: 437B7E523D7FED00 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:01:39] 877*2^1522173-1 is not prime. Res64: 72FAE1F9FA0957B8 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:01:39] 915*2^1522173-1 is not prime. Res64: AAE6D7D42D5833B7 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:02:08] 623*2^1522174-1 is not prime. Res64: A23187841A9D26E8 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:02:08] 783*2^1522174-1 is not prime. Res64: 141CA9A5F3C31175 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:02:08] 951*2^1522174-1 is not prime. Res64: 68A2648FE96E48AF Time : 0.0 sec. user=mdettweiler [2018-08-24 09:02:09] 619*2^1522175-1 is not prime. Res64: E54A85A774C88CE8 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:02:09] 693*2^1522175-1 is not prime. Res64: 9219557B860C98BB Time : 0.0 sec. user=odicin [2018-08-24 09:20:10] 805*2^1522177-1 is not prime. Res64: 0C391CE41B79225F Time : 0.0 sec. user=odicin [2018-08-24 09:20:10] 909*2^1522177-1 is not prime. Res64: C523FCF4D7E3313D Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:17] 841*2^1522175-1 is not prime. Res64: 924B5D415CBA8B92 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:18] 979*2^1522175-1 is not prime. Res64: C0BF799883329046 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:18] 629*2^1522176-1 is not prime. Res64: F776925B5C1A2CC0 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:18] 723*2^1522176-1 is not prime. Res64: 8C194B72FAB34787 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:19] 839*2^1522176-1 is not prime. Res64: 35923B8091D424BC Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:28] 843*2^1522176-1 is not prime. Res64: D1E303088AE27AC2 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:28] 857*2^1522176-1 is not prime. Res64: 5C15903F3916D75A Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:29] 875*2^1522176-1 is not prime. Res64: C19D8C6611A82502 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:29] 947*2^1522176-1 is not prime. Res64: CBD16DA87F3BE01D Time : 0.0 sec. user=mdettweiler [2018-08-24 09:26:30] 651*2^1522177-1 is not prime. Res64: 2BA06A3B583926B0 Time : 0.0 sec. user=odicin [2018-08-24 09:43:11] 895*2^1522179-1 is not prime. Res64: EBAEB7552569DA15 Time : 0.0 sec. user=odicin [2018-08-24 09:43:11] 951*2^1522179-1 is not prime. Res64: 2F634A7DB75FBDE5 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:52:49] 939*2^1522177-1 is not prime. Res64: 9FE322D3E7FEA41C Time : 0.0 sec. user=mdettweiler [2018-08-24 09:52:50] 705*2^1522178-1 is not prime. Res64: 20B4D486EE9B9B06 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:52:50] 711*2^1522178-1 is not prime. Res64: 2FF3C78C08DAA9C4 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:52:50] 735*2^1522178-1 is not prime. Res64: 91FD3701043B3E30 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:52:51] 797*2^1522178-1 is not prime. Res64: 9192072DA9E0FBB5 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:53:13] 923*2^1522178-1 is not prime. Res64: BA285A618EFEFF4B Time : 0.0 sec. user=mdettweiler [2018-08-24 09:53:13] 935*2^1522178-1 is not prime. Res64: 542BC346A64A7C9C Time : 0.0 sec. user=mdettweiler [2018-08-24 09:53:14] 679*2^1522179-1 is not prime. Res64: CEDABAC92A1E4364 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:53:14] 751*2^1522179-1 is not prime. Res64: 071933B79986CB60 Time : 0.0 sec. user=mdettweiler [2018-08-24 09:53:14] 843*2^1522179-1 is not prime. Res64: 39BB544EE755155F Time : 0.0 sec. user=odicin [2018-08-24 10:05:09] 791*2^1522182-1 is not prime. Res64: 16FC36AFF1560839 Time : 0.0 sec. user=odicin [2018-08-24 10:05:10] 873*2^1522182-1 is not prime. Res64: 4D95E9AF7AE99400 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:27] 635*2^1522180-1 is not prime. Res64: 92E5AF230660B8DF Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:28] 689*2^1522180-1 is not prime. Res64: 2E7C1DCE3D235B58 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:28] 897*2^1522180-1 is not prime. Res64: C85E939CFADFEB55 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:28] 999*2^1522180-1 is not prime. Res64: EC5278197727AB5F Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:29] 601*2^1522181-1 is not prime. Res64: C0A0E97D76FD2481 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:41] 675*2^1522181-1 is not prime. Res64: A3E9481CE09A704A Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:41] 691*2^1522181-1 is not prime. Res64: DE6B9214A10C4344 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:42] 861*2^1522181-1 is not prime. Res64: 29E6B46641A144BF Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:42] 957*2^1522181-1 is not prime. Res64: 12585F2CDEAE5660 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:17:43] 665*2^1522182-1 is not prime. Res64: 5D8CBD5BEC88F95B Time : 0.0 sec. user=odicin [2018-08-24 10:27:07] 861*2^1522185-1 is not prime. Res64: 6E3860227CAA83C2 Time : 0.0 sec. user=odicin [2018-08-24 10:27:07] 889*2^1522185-1 is not prime. Res64: 34F627C9967022FD Time : 0.0 sec. user=mdettweiler [2018-08-24 10:43:44] 885*2^1522182-1 is not prime. Res64: 58D7C2723883BD0B Time : 0.0 sec. user=mdettweiler [2018-08-24 10:43:44] 947*2^1522182-1 is not prime. Res64: 83B473F3F4A6F442 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:43:45] 723*2^1522183-1 is not prime. Res64: DAF7E0F10FAB8E84 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:43:45] 745*2^1522183-1 is not prime. Res64: 2249ED745BB44888 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:43:45] 765*2^1522183-1 is not prime. Res64: 0C80C67B88133ABE Time : 0.0 sec. user=mdettweiler [2018-08-24 10:44:29] 775*2^1522183-1 is not prime. Res64: 7DBBBF50DA6324ED Time : 0.0 sec. user=mdettweiler [2018-08-24 10:44:29] 951*2^1522183-1 is not prime. Res64: 68DFA8F871E0277D Time : 0.0 sec. user=mdettweiler [2018-08-24 10:44:29] 935*2^1522184-1 is not prime. Res64: 478803538F544748 Time : 0.0 sec. user=mdettweiler [2018-08-24 10:44:30] 609*2^1522185-1 is not prime. Res64: D638DDC355AE9DCA Time : 0.0 sec. user=mdettweiler [2018-08-24 10:44:30] 789*2^1522185-1 is not prime. Res64: 5B9690B19DD365FC Time : 0.0 sec. user=odicin [2018-08-24 10:49:03] 759*2^1522188-1 is not prime. Res64: EE6ED34DCB14D101 Time : 0.0 sec. user=odicin [2018-08-24 10:49:04] 765*2^1522188-1 is not prime. Res64: E839254BC1A1C5DD Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:19] 951*2^1522185-1 is not prime. Res64: 4E3E20EC0AF8D359 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:20] 713*2^1522186-1 is not prime. Res64: D269D2F87A61D2A3 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:20] 813*2^1522186-1 is not prime. Res64: 69971433CC49D729 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:21] 815*2^1522186-1 is not prime. Res64: 48F39FF6FE356742 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:21] 891*2^1522186-1 is not prime. Res64: 3EEFE09D8F04F888 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:36] 645*2^1522187-1 is not prime. Res64: B81E097BD0CB1147 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:37] 885*2^1522187-1 is not prime. Res64: 33A1BB58BC4CD942 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:38] 903*2^1522187-1 is not prime. Res64: 5942347291641AF5 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:39] 909*2^1522187-1 is not prime. Res64: 46AF75CFDE16800D Time : 0.0 sec. user=mdettweiler [2018-08-24 11:08:40] 955*2^1522187-1 is not prime. Res64: 5B8FC91E0BE0BD3D Time : 0.0 sec. user=odicin [2018-08-24 11:10:44] 875*2^1522190-1 is not prime. Res64: 3FCECBA45FBC1FA0 Time : 0.0 sec. user=odicin [2018-08-24 11:10:44] 927*2^1522190-1 is not prime. Res64: D5E2E7BDFB7BE7C1 Time : 0.0 sec. user=odicin [2018-08-24 11:31:11] 699*2^1522192-1 is not prime. Res64: D89D8E4DE7CCEA65 Time : 0.0 sec. user=odicin [2018-08-24 11:31:11] 723*2^1522192-1 is not prime. Res64: E5B4407A6879BF14 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:34:49] 795*2^1522188-1 is not prime. Res64: 8EE1A0477D5CD128 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:34:50] 957*2^1522188-1 is not prime. Res64: 7A936FD23FF91DA6 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:34:50] 975*2^1522188-1 is not prime. Res64: 36AD27741E126A6A Time : 0.0 sec. user=mdettweiler [2018-08-24 11:34:50] 699*2^1522189-1 is not prime. Res64: CFD0266A72EE241F Time : 0.0 sec. user=mdettweiler [2018-08-24 11:34:51] 747*2^1522189-1 is not prime. Res64: 08E9A3528A8EC7A4 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:35:20] 975*2^1522189-1 is not prime. Res64: 6DAACC242FE5D621 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:35:20] 999*2^1522189-1 is not prime. Res64: E0400685424935FD Time : 0.0 sec. user=mdettweiler [2018-08-24 11:35:21] 687*2^1522190-1 is not prime. Res64: B9AA46D807AC12EA Time : 0.0 sec. user=mdettweiler [2018-08-24 11:35:21] 767*2^1522190-1 is not prime. Res64: CDF51BD3DC03FC35 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:35:21] 857*2^1522190-1 is not prime. Res64: 31F3E5DD52AE8A8C Time : 0.0 sec. user=odicin [2018-08-24 11:51:37] 843*2^1522192-1 is not prime. Res64: 09AB4D1962BE2489 Time : 0.0 sec. user=odicin [2018-08-24 11:51:38] 923*2^1522192-1 is not prime. Res64: D3ABE60A48D7D599 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:59:40] 825*2^1522191-1 is not prime. Res64: 90B3F36E4BEAD38B Time : 0.0 sec. user=mdettweiler [2018-08-24 11:59:40] 873*2^1522191-1 is not prime. Res64: 079229F4A2963A00 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:59:41] 973*2^1522191-1 is not prime. Res64: BAF2504B1F1828F1 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:59:41] 653*2^1522192-1 is not prime. Res64: 1F6C081A06C93418 Time : 0.0 sec. user=mdettweiler [2018-08-24 11:59:42] 693*2^1522192-1 is not prime. Res64: 879A2494EBAC54E9 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:00:07] 935*2^1522190-1 is not prime. Res64: 6BF64AAF65D9C3E1 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:00:07] 957*2^1522190-1 is not prime. Res64: 519290AE9A1C136C Time : 0.0 sec. user=mdettweiler [2018-08-24 12:00:08] 745*2^1522191-1 is not prime. Res64: 4CA7C999C0EEF723 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:00:08] 769*2^1522191-1 is not prime. Res64: BC428811E75FE9D7 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:00:08] 775*2^1522191-1 is not prime. Res64: BE41FDD9734660F6 Time : 0.0 sec. user=odicin [2018-08-24 12:12:05] 951*2^1522194-1 is not prime. Res64: 95032D8D6DA29376 Time : 0.0 sec. user=odicin [2018-08-24 12:12:06] 601*2^1522195-1 is not prime. Res64: E5232192DE848248 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:25:50] 615*2^1522193-1 is not prime. Res64: ED717A9742A21C41 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:25:51] 789*2^1522193-1 is not prime. Res64: FD4D842265A07CB6 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:25:51] 847*2^1522193-1 is not prime. Res64: A0C03EF1212284BC Time : 0.0 sec. user=mdettweiler [2018-08-24 12:25:52] 867*2^1522193-1 is not prime. Res64: 3298D5AAEAEB786B Time : 0.0 sec. user=mdettweiler [2018-08-24 12:25:52] 937*2^1522193-1 is not prime. Res64: 3BF6E0E1B3A0709D Time : 0.0 sec. user=mdettweiler [2018-08-24 12:26:32] 723*2^1522194-1 is not prime. Res64: 8D51BFBE92BD5BFC Time : 0.0 sec. user=mdettweiler [2018-08-24 12:26:32] 741*2^1522194-1 is not prime. Res64: DE6E39B05ABF7B30 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:26:32] 767*2^1522194-1 is not prime. Res64: 8782F464EA0D1B75 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:26:33] 821*2^1522194-1 is not prime. Res64: 6CC49A316297CDAD Time : 0.0 sec. user=mdettweiler [2018-08-24 12:26:33] 947*2^1522194-1 is not prime. Res64: 097D148B426F04D5 Time : 0.0 sec. user=odicin [2018-08-24 12:32:37] 873*2^1522196-1 is not prime. Res64: 5FE6E4B09D78500C Time : 0.0 sec. user=odicin [2018-08-24 12:32:37] 923*2^1522196-1 is not prime. Res64: F16F38C1C3011F10 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:07] 675*2^1522195-1 is not prime. Res64: B5B028BC030BB79A Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:08] 793*2^1522195-1 is not prime. Res64: 61A84682C4FA57F8 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:08] 805*2^1522195-1 is not prime. Res64: C899E95B4026252A Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:08] 819*2^1522195-1 is not prime. Res64: 91528EC1E58E4823 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:09] 873*2^1522195-1 is not prime. Res64: BAE17DFCAC89BFF0 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:46] 985*2^1522195-1 is not prime. Res64: 3496949617C5B85E Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:47] 603*2^1522196-1 is not prime. Res64: D0B2E8A5070BE1CF Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:47] 635*2^1522196-1 is not prime. Res64: 7C835203FBC19538 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:47] 669*2^1522196-1 is not prime. Res64: 0CAC60D2ED9C0A98 Time : 0.0 sec. user=mdettweiler [2018-08-24 12:51:48] 675*2^1522196-1 is not prime. Res64: C76C1995781A029A Time : 0.0 sec. user=odicin [2018-08-24 12:53:03] 663*2^1522198-1 is not prime. Res64: 17A19E353F23FA9F Time : 0.0 sec. user=odicin [2018-08-24 12:53:03] 843*2^1522198-1 is not prime. Res64: 1D5CBBD1A906129A Time : 0.0 sec. user=odicin [2018-08-24 13:13:29] 857*2^1522200-1 is not prime. Res64: C41E4DB4B074943A Time : 0.0 sec. user=odicin [2018-08-24 13:13:30] 873*2^1522200-1 is not prime. Res64: 84D423085A24C482 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:33] 831*2^1522197-1 is not prime. Res64: 2203230B62B60AD6 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:33] 871*2^1522197-1 is not prime. Res64: 59E4462E546D15F8 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:33] 889*2^1522197-1 is not prime. Res64: D4F402A50BEDFAE7 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:34] 901*2^1522197-1 is not prime. Res64: F2238E0F92DD77E5 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:34] 603*2^1522198-1 is not prime. Res64: 35BDFE3540EA443B Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:44] 927*2^1522196-1 is not prime. Res64: 992BC0FF90232384 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:44] 993*2^1522196-1 is not prime. Res64: D76214E9AE4EF7B4 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:44] 615*2^1522197-1 is not prime. Res64: C8F76F0F71D221D1 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:45] 627*2^1522197-1 is not prime. Res64: AE5511C29C008465 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:19:45] 649*2^1522197-1 is not prime. Res64: B8C4CEF4916AE4EF Time : 0.0 sec. user=odicin [2018-08-24 13:33:57] 933*2^1522200-1 is not prime. Res64: 8FDA9989D067921B Time : 0.0 sec. user=odicin [2018-08-24 13:33:58] 615*2^1522201-1 is not prime. Res64: 36AE249F93E68B7B Time : 0.0 sec. user=mdettweiler [2018-08-24 13:43:48] 885*2^1522198-1 is not prime. Res64: 563E08C5C82622C0 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:43:48] 643*2^1522199-1 is not prime. Res64: 86A6055394FCF085 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:43:48] 819*2^1522199-1 is not prime. Res64: 2D48AD9FD17A63BD Time : 0.0 sec. user=mdettweiler [2018-08-24 13:43:49] 895*2^1522199-1 is not prime. Res64: 37B175C859797C46 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:43:49] 913*2^1522199-1 is not prime. Res64: EECC2D085D7BBED2 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:44:33] 955*2^1522199-1 is not prime. Res64: 338072D7E53DEE6B Time : 0.0 sec. user=mdettweiler [2018-08-24 13:44:33] 993*2^1522199-1 is not prime. Res64: A215697ED010ADDE Time : 0.0 sec. user=mdettweiler [2018-08-24 13:44:33] 723*2^1522200-1 is not prime. Res64: 8CC3FD8916855EEB Time : 0.0 sec. user=mdettweiler [2018-08-24 13:44:34] 725*2^1522200-1 is not prime. Res64: E6541310F723AF09 Time : 0.0 sec. user=mdettweiler [2018-08-24 13:44:34] 845*2^1522200-1 is not prime. Res64: 184D4D5F11E405A3 Time : 0.0 sec. user=odicin [2018-08-24 13:54:24] 753*2^1522203-1 is not prime. Res64: 9F1E362DDD0458B2 Time : 0.0 sec. user=odicin [2018-08-24 13:54:25] 873*2^1522203-1 is not prime. Res64: 23CE7B8D55E22644 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:39] 829*2^1522201-1 is not prime. Res64: 0C104525A52E9414 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:39] 889*2^1522201-1 is not prime. Res64: B091CF7E3488AD16 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:40] 675*2^1522202-1 is not prime. Res64: 31ADA62C4098ABCE Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:40] 711*2^1522202-1 is not prime. Res64: D9316E72DBCAA49D Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:41] 731*2^1522202-1 is not prime. Res64: 959B9AE1159B2CB2 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:49] 801*2^1522202-1 is not prime. Res64: F477B3CFC70FCA67 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:49] 843*2^1522202-1 is not prime. Res64: 961E56CEECA85D59 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:50] 893*2^1522202-1 is not prime. Res64: 4CFBB89DAB86FD30 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:50] 987*2^1522202-1 is not prime. Res64: A230715B52BB2324 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:10:50] 709*2^1522203-1 is not prime. Res64: A0A45A5C7DD99636 Time : 0.0 sec. user=odicin [2018-08-24 14:15:23] 801*2^1522205-1 is not prime. Res64: DCC75A737F4CE717 Time : 0.0 sec. user=odicin [2018-08-24 14:15:23] 861*2^1522205-1 is not prime. Res64: 54AE9E1E7F62E99F Time : 0.0 sec. user=mdettweiler [2018-08-24 14:34:41] 919*2^1522203-1 is not prime. Res64: 3828FFDEAA133394 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:34:42] 609*2^1522204-1 is not prime. Res64: C8A47B3928E6E3E6 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:34:42] 635*2^1522204-1 is not prime. Res64: C7D4EB8C2A700F94 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:34:42] 717*2^1522204-1 is not prime. Res64: 38F6D103C2376A04 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:34:43] 887*2^1522204-1 is not prime. Res64: 8DBBA4CD4DB8B37B Time : 0.0 sec. user=mdettweiler [2018-08-24 14:35:30] 927*2^1522204-1 is not prime. Res64: 682D4776B8D6D9AC Time : 0.0 sec. user=mdettweiler [2018-08-24 14:35:30] 983*2^1522204-1 is not prime. Res64: A2F2040C01DC7D89 Time : 0.0 sec. user=mdettweiler [2018-08-24 14:35:30] 715*2^1522205-1 is not prime. Res64: 153C77DBD7E47D7A Time : 0.0 sec. user=mdettweiler [2018-08-24 14:35:31] 717*2^1522205-1 is not prime. Res64: F534E2E044F3EF8D Time : 0.0 sec. user=mdettweiler [2018-08-24 14:35:31] 787*2^1522205-1 is not prime. Res64: 951E4F05D809AB4D Time : 0.0 sec. user=odicin [2018-08-24 14:37:20] 885*2^1522207-1 is not prime. Res64: 0F64CC1EBBFD47F1 Time : 0.0 sec. user=odicin [2018-08-24 14:37:20] 939*2^1522207-1 is not prime. Res64: B603677AFF1E8A6C Time : 0.0 sec. user=odicin [2018-08-24 14:59:16] 811*2^1522209-1 is not prime. Res64: 20813829BE2EE852 Time : 0.0 sec. user=odicin [2018-08-24 14:59:16] 651*2^1522210-1 is not prime. Res64: 85C0A0A2B018178B Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:50] 993*2^1522206-1 is not prime. Res64: 3C0CB66313915599 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:51] 1001*2^1522206-1 is not prime. Res64: 7A7454B153322935 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:51] 805*2^1522207-1 is not prime. Res64: 629E0D5AC7078727 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:52] 859*2^1522207-1 is not prime. Res64: B9A101DC83F6DD17 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:54] 937*2^1522205-1 is not prime. Res64: 49D3A6973171BA65 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:55] 981*2^1522205-1 is not prime. Res64: 44333EB48849C20E Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:56] 883*2^1522207-1 is not prime. Res64: C066F14969E79ABD Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:57] 615*2^1522206-1 is not prime. Res64: 73D02D511F330B7C Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:58] 801*2^1522206-1 is not prime. Res64: F4898E3FEBE14C69 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:01:59] 843*2^1522206-1 is not prime. Res64: 82CA301487098BAE Time : 0.0 sec. user=odicin [2018-08-24 15:21:10] 713*2^1522210-1 is not prime. Res64: C82694526580E60C Time : 0.0 sec. user=odicin [2018-08-24 15:21:11] 731*2^1522210-1 is not prime. Res64: 8D7A6ADD563A0126 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:25:57] 623*2^1522208-1 is not prime. Res64: 492AB75C2076E31E Time : 0.0 sec. user=mdettweiler [2018-08-24 15:25:57] 683*2^1522208-1 is not prime. Res64: CD14C92553480D48 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:25:58] 915*2^1522208-1 is not prime. Res64: 0BD1AF7BFEDE3312 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:25:58] 649*2^1522209-1 is not prime. Res64: 0868836412D355C2 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:25:58] 705*2^1522209-1 is not prime. Res64: 1E097BA3A636376F Time : 0.0 sec. user=mdettweiler [2018-08-24 15:26:35] 747*2^1522209-1 is not prime. Res64: 2EE4150067D83286 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:26:36] 781*2^1522209-1 is not prime. Res64: 6C59F4D7589DDD00 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:26:36] 789*2^1522209-1 is not prime. Res64: B8DE5BE6FE64EDD2 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:26:36] 795*2^1522209-1 is not prime. Res64: 3B82FA290494A889 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:26:37] 807*2^1522209-1 is not prime. Res64: D46BAE1381A17A08 Time : 0.0 sec. user=odicin [2018-08-24 15:43:06] 683*2^1522212-1 is not prime. Res64: 0EA695BC24C66DCE Time : 0.0 sec. user=odicin [2018-08-24 15:43:06] 797*2^1522212-1 is not prime. Res64: 6C7A50CA267F5AAF Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:00] 765*2^1522210-1 is not prime. Res64: 43583DCF323DCECA Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:00] 777*2^1522210-1 is not prime. Res64: 1FA1DBA60E9566D0 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:01] 783*2^1522210-1 is not prime. Res64: 0D2F6C95BDB2933A Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:01] 831*2^1522210-1 is not prime. Res64: 2FD94AB2D6F9DB40 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:01] 845*2^1522210-1 is not prime. Res64: 0DC9EC338925223C Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:08] 855*2^1522210-1 is not prime. Res64: 9F7E0A99FFBAD7D6 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:08] 867*2^1522210-1 is not prime. Res64: 1DF73A69F7D81916 Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:09] 971*2^1522210-1 is not prime. Res64: 15DF634BC59A5F7F Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:09] 645*2^1522211-1 is not prime. Res64: 0C130CDDC9976B9C Time : 0.0 sec. user=mdettweiler [2018-08-24 15:53:09] 669*2^1522211-1 is not prime. Res64: 030D6931A1443677 Time : 0.0 sec. user=odicin [2018-08-24 16:05:05] 633*2^1522215-1 is not prime. Res64: 3386802A78E17F34 Time : 0.0 sec. user=odicin [2018-08-24 16:05:06] 663*2^1522215-1 is not prime. Res64: 714BA0A8158D1A93 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:00] 863*2^1522212-1 is not prime. Res64: BB8E2B608845D9BF Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:01] 867*2^1522212-1 is not prime. Res64: 2F60CF6D56CA62FB Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:01] 887*2^1522212-1 is not prime. Res64: D3F94353F9024A24 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:01] 965*2^1522212-1 is not prime. Res64: 4C9502B82237EFCE Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:02] 727*2^1522213-1 is not prime. Res64: AF5C45ED3BC21048 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:33] 741*2^1522213-1 is not prime. Res64: D572EE65C3468957 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:33] 817*2^1522213-1 is not prime. Res64: A83927517E4B6123 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:34] 987*2^1522213-1 is not prime. Res64: 592F51139FD93887 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:34] 741*2^1522214-1 is not prime. Res64: 78EAEC8757108EAA Time : 0.0 sec. user=mdettweiler [2018-08-24 16:17:34] 755*2^1522214-1 is not prime. Res64: 5BCFACDED005C2B8 Time : 0.0 sec. user=odicin [2018-08-24 16:27:08] 657*2^1522216-1 is not prime. Res64: CE0BA635480DDFAF Time : 0.0 sec. user=odicin [2018-08-24 16:27:08] 699*2^1522216-1 is not prime. Res64: 6CC4B6B2DB3830CC Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:06] 669*2^1522215-1 is not prime. Res64: BC7ADEAF8A11318E Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:06] 723*2^1522215-1 is not prime. Res64: C3A83DF4AA355843 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:07] 739*2^1522215-1 is not prime. Res64: 97627D7022A81B9B Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:07] 819*2^1522215-1 is not prime. Res64: 5CB834432B7810EC Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:07] 853*2^1522215-1 is not prime. Res64: 2CE6F814FD49E18D Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:36] 861*2^1522215-1 is not prime. Res64: DBAC2D343A5804C4 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:37] 871*2^1522215-1 is not prime. Res64: 02442C03243DD6F6 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:37] 891*2^1522215-1 is not prime. Res64: 8A309CF7A32A2900 Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:37] 933*2^1522215-1 is not prime. Res64: 2BF00C6FC2B67E3D Time : 0.0 sec. user=mdettweiler [2018-08-24 16:44:38] 963*2^1522215-1 is not prime. Res64: 3C664317B0E1C531 Time : 0.0 sec. user=odicin [2018-08-24 16:50:04] 771*2^1522217-1 is not prime. Res64: BC39407E32D242C6 Time : 0.0 sec. user=odicin [2018-08-24 16:50:05] 847*2^1522217-1 is not prime. Res64: 290D73CCFBF67B0E Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:19] 707*2^1522216-1 is not prime. Res64: 60D141D83758A9BA Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:20] 773*2^1522216-1 is not prime. Res64: 0A596BDBCE38313B Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:20] 777*2^1522216-1 is not prime. Res64: 06B67D6738C33AC5 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:20] 803*2^1522216-1 is not prime. Res64: 141BC0C2A50D45D9 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:21] 869*2^1522216-1 is not prime. Res64: 7CC21FF90974A5D3 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:31] 909*2^1522216-1 is not prime. Res64: 4A9FCF924F2CD434 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:31] 989*2^1522216-1 is not prime. Res64: F41E0A78FE9EE54E Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:31] 637*2^1522217-1 is not prime. Res64: DE59D735A0A6517C Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:32] 729*2^1522217-1 is not prime. Res64: A5F083AF49B5F621 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:09:32] 741*2^1522217-1 is not prime. Res64: 94AE4D72BB93A7CA Time : 0.0 sec. user=odicin [2018-08-24 17:11:59] 941*2^1522218-1 is not prime. Res64: 568B4C3EC90C1970 Time : 0.0 sec. user=odicin [2018-08-24 17:12:00] 951*2^1522218-1 is not prime. Res64: 819FE958511214DD Time : 0.0 sec. user=odicin [2018-08-24 17:33:56] 687*2^1522220-1 is not prime. Res64: BD29165727E3B75E Time : 0.0 sec. user=odicin [2018-08-24 17:33:57] 725*2^1522220-1 is not prime. Res64: E14DFC68399E5A68 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:35:54] 657*2^1522218-1 is not prime. Res64: 5BF0F397D5984981 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:35:55] 663*2^1522218-1 is not prime. Res64: 2E78D1F6B3AC24DF Time : 0.0 sec. user=mdettweiler [2018-08-24 17:35:55] 677*2^1522218-1 is not prime. Res64: 9A1CD70D1DE44313 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:35:55] 791*2^1522218-1 is not prime. Res64: ACE4A533E6E060A0 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:35:56] 803*2^1522218-1 is not prime. Res64: FF9720B73C086C91 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:36:19] 815*2^1522218-1 is not prime. Res64: C4BFCA3BBFFF766C Time : 0.0 sec. user=mdettweiler [2018-08-24 17:36:20] 833*2^1522218-1 is not prime. Res64: A54AD6CFE60799CC Time : 0.0 sec. user=mdettweiler [2018-08-24 17:36:21] 905*2^1522218-1 is not prime. Res64: 2D20CFBB1988E7DF Time : 0.0 sec. user=mdettweiler [2018-08-24 17:36:22] 923*2^1522218-1 is not prime. Res64: 463711DA0E1DCDA2 Time : 0.0 sec. user=mdettweiler [2018-08-24 17:36:22] 933*2^1522218-1 is not prime. Res64: 913F10C7FA76B49B Time : 0.0 sec. user=odicin [2018-08-24 17:55:54] 735*2^1522220-1 is not prime. Res64: 48900821A1A408B6 Time : 0.0 sec. user=odicin [2018-08-24 17:55:54] 785*2^1522220-1 is not prime. Res64: CA237760E836E0D5 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:40] 615*2^1522219-1 is not prime. Res64: 2010EE99AAD1E45B Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:41] 679*2^1522219-1 is not prime. Res64: 17597F60509A4E11 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:42] 691*2^1522219-1 is not prime. Res64: 903C039C1257E8BB Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:43] 703*2^1522219-1 is not prime. Res64: 0BEC939EB970BDFE Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:45] 709*2^1522219-1 is not prime. Res64: 627A9A1404E57074 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:46] 829*2^1522219-1 is not prime. Res64: 4E2BA56D6FA1C721 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:47] 853*2^1522219-1 is not prime. Res64: CFA31EF31D4C18F9 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:48] 855*2^1522219-1 is not prime. Res64: 40EC7B0A7EB1D55F Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:48] 873*2^1522219-1 is not prime. Res64: B4369F57862CF81A Time : 0.0 sec. user=mdettweiler [2018-08-24 18:00:49] 985*2^1522219-1 is not prime. Res64: FC5639B4A92FC5AA Time : 0.0 sec. user=odicin [2018-08-24 18:17:48] 895*2^1522221-1 is not prime. Res64: 259B37E4B9794C58 Time : 0.0 sec. user=odicin [2018-08-24 18:17:48] 979*2^1522221-1 is not prime. Res64: 620E6145196E5EB1 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:21] 651*2^1522221-1 is not prime. Res64: 20044006D5A6821C Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:21] 679*2^1522221-1 is not prime. Res64: F0E793CFB2FDD458 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:22] 727*2^1522221-1 is not prime. Res64: 983160151C798D5F Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:22] 865*2^1522221-1 is not prime. Res64: D7A5097FDCEC5D40 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:22] 889*2^1522221-1 is not prime. Res64: 0858FAB0EB08F9D6 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:37] 827*2^1522220-1 is not prime. Res64: BE84EA87EA9884A6 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:38] 857*2^1522220-1 is not prime. Res64: 665E6B901ABAC78F Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:38] 983*2^1522220-1 is not prime. Res64: 0DFC537004470187 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:39] 601*2^1522221-1 is not prime. Res64: 6F6AFC7D9BA3AC67 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:28:39] 625*2^1522221-1 is not prime. Res64: EC150A2DEE15D0E4 Time : 0.0 sec. user=odicin [2018-08-24 18:39:45] 829*2^1522223-1 is not prime. Res64: 7CEB150C91DAF8A4 Time : 0.0 sec. user=odicin [2018-08-24 18:39:46] 871*2^1522223-1 is not prime. Res64: 85EC04C081C87560 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:52:18] 891*2^1522222-1 is not prime. Res64: 196105933E3031DD Time : 0.0 sec. user=mdettweiler [2018-08-24 18:52:18] 643*2^1522223-1 is not prime. Res64: 0F67E532B2D23466 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:52:19] 673*2^1522223-1 is not prime. Res64: 7A539CC103675F92 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:52:19] 679*2^1522223-1 is not prime. Res64: 30E40B84532EC637 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:52:20] 693*2^1522223-1 is not prime. Res64: 42051AC85FC02926 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:53:06] 705*2^1522222-1 is not prime. Res64: 4D0EF1A899663696 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:53:06] 743*2^1522222-1 is not prime. Res64: 4B56BA765C6FA1F5 Time : 0.0 sec. user=mdettweiler [2018-08-24 18:53:06] 777*2^1522222-1 is not prime. Res64: 60F046084109744F Time : 0.0 sec. user=mdettweiler [2018-08-24 18:53:07] 831*2^1522222-1 is not prime. Res64: A63AA03584EEB10E Time : 0.0 sec. user=mdettweiler [2018-08-24 18:53:07] 857*2^1522222-1 is not prime. Res64: 959C91F922E0DD79 Time : 0.0 sec. user=odicin [2018-08-24 19:01:45] 811*2^1522225-1 is not prime. Res64: 4682BD3BBCCF3812 Time : 0.0 sec. user=odicin [2018-08-24 19:01:46] 895*2^1522225-1 is not prime. Res64: 6618C678D19E8ECC Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:13] 993*2^1522223-1 is not prime. Res64: 581F8573D607F93B Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:14] 639*2^1522224-1 is not prime. Res64: 1BBFB3696F3CC3AC Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:14] 657*2^1522224-1 is not prime. Res64: 5B1486DD40610BE0 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:15] 857*2^1522224-1 is not prime. Res64: D808F0F470D2193B Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:15] 863*2^1522224-1 is not prime. Res64: 7A8965863BF83EA0 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:34] 887*2^1522224-1 is not prime. Res64: 9CE453A503E329F9 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:35] 905*2^1522224-1 is not prime. Res64: 70CA06AF916AFE74 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:35] 927*2^1522224-1 is not prime. Res64: FDC393BE4D55A5B4 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:36] 691*2^1522225-1 is not prime. Res64: B593F05DDD4FF376 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:19:36] 805*2^1522225-1 is not prime. Res64: EAC928470D3264E7 Time : 0.0 sec. user=odicin [2018-08-24 19:23:41] 621*2^1522227-1 is not prime. Res64: 02969E6EB363B5CB Time : 0.0 sec. user=odicin [2018-08-24 19:23:41] 669*2^1522227-1 is not prime. Res64: D91E15815ADE32FD Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:17] 999*2^1522225-1 is not prime. Res64: 51E902B526BBE5FE Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:18] 641*2^1522226-1 is not prime. Res64: 2D09BECE814913AC Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:18] 671*2^1522226-1 is not prime. Res64: D0CE8F912808F5A0 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:18] 705*2^1522226-1 is not prime. Res64: D797D99AE0012FEF Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:19] 713*2^1522226-1 is not prime. Res64: D47FA11474A672B0 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:48] 773*2^1522226-1 is not prime. Res64: 00BEA194BD8DD17B Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:48] 833*2^1522226-1 is not prime. Res64: 7C837DD2B9678482 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:49] 873*2^1522226-1 is not prime. Res64: 9C201924A6E34B84 Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:49] 887*2^1522226-1 is not prime. Res64: AB77865C6DA3693B Time : 0.0 sec. user=mdettweiler [2018-08-24 19:43:49] 941*2^1522226-1 is not prime. Res64: 407718565E7D718D Time : 0.0 sec. user=odicin [2018-08-24 19:45:36] 961*2^1522227-1 is not prime. Res64: 92A84EF633184822 Time : 0.0 sec. user=odicin [2018-08-24 19:45:36] 615*2^1522228-1 is not prime. Res64: 54219C44EE7DF2DE Time : 0.0 sec. user=odicin [2018-08-24 20:07:35] 997*2^1522229-1 is not prime. Res64: 038EA497D673B318 Time : 0.0 sec. user=odicin [2018-08-24 20:07:37] 641*2^1522230-1 is not prime. Res64: CABA8518B84C7EF9 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:32] 685*2^1522227-1 is not prime. Res64: A67A3C378D53C2E2 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:32] 699*2^1522227-1 is not prime. Res64: 339270D6036B2D5F Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:33] 741*2^1522227-1 is not prime. Res64: 496ABB7B882B62A5 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:33] 765*2^1522227-1 is not prime. Res64: 51B47C68580305A3 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:33] 775*2^1522227-1 is not prime. Res64: A340AE2E0EF8795C Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:43] 885*2^1522227-1 is not prime. Res64: 2470B2C6E80DB23A Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:44] 891*2^1522227-1 is not prime. Res64: F9882D7FAA166C3F Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:44] 903*2^1522227-1 is not prime. Res64: EAB4A22A59B14333 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:45] 909*2^1522227-1 is not prime. Res64: F9BE5A42D70A37F9 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:10:45] 955*2^1522227-1 is not prime. Res64: 8B44E25766E9BC42 Time : 0.0 sec. user=odicin [2018-08-24 20:29:55] 707*2^1522230-1 is not prime. Res64: B4355F8EE634F034 Time : 0.0 sec. user=odicin [2018-08-24 20:29:55] 711*2^1522230-1 is not prime. Res64: 9E36F365A8B4D890 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:00] 647*2^1522228-1 is not prime. Res64: 32317FC02F8DAF74 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:00] 765*2^1522228-1 is not prime. Res64: 9206229889F1CBE3 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:00] 875*2^1522228-1 is not prime. Res64: 788D4631E9FD51A6 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:01] 927*2^1522228-1 is not prime. Res64: 1C8711F70E4AFA64 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:01] 995*2^1522228-1 is not prime. Res64: 61680740CEEB10D8 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:21] 621*2^1522229-1 is not prime. Res64: 5684C231C94943C4 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:22] 727*2^1522229-1 is not prime. Res64: 99E6E6ED09681C1D Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:22] 789*2^1522229-1 is not prime. Res64: 26478E7CF1256588 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:22] 825*2^1522229-1 is not prime. Res64: 3B9A4FD2F6F606A3 Time : 0.0 sec. user=mdettweiler [2018-08-24 20:35:23] 885*2^1522229-1 is not prime. Res64: EDFDF566357DF1FB Time : 0.0 sec. user=odicin [2018-08-24 20:55:12] 867*2^1522232-1 is not prime. Res64: FC0AC1585B6227F4 Time : 0.0 sec. user=odicin [2018-08-24 20:55:13] 923*2^1522232-1 is not prime. Res64: BC4CD57C4C75706C Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:30] 977*2^1522230-1 is not prime. Res64: 82A063AA73915ED6 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:32] 625*2^1522231-1 is not prime. Res64: 9766E19675283536 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:32] 649*2^1522231-1 is not prime. Res64: CE98E066D349D077 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:33] 771*2^1522231-1 is not prime. Res64: A2BA5C73E181E459 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:34] 793*2^1522231-1 is not prime. Res64: CA348C6A5B17F901 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:43] 871*2^1522231-1 is not prime. Res64: 8704503C2D4A6EE6 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:45] 931*2^1522231-1 is not prime. Res64: EF007BA0C7696857 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:47] 975*2^1522231-1 is not prime. Res64: 42246BD81741A2DE Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:48] 999*2^1522231-1 is not prime. Res64: DF15716A4C5EA5C4 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:01:49] 603*2^1522232-1 is not prime. Res64: 1E7C006EE25A1DD6 Time : 0.0 sec. user=odicin [2018-08-24 21:17:08] 651*2^1522235-1 is not prime. Res64: 13F0B9D1E5056113 Time : 0.0 sec. user=odicin [2018-08-24 21:17:08] 735*2^1522235-1 is not prime. Res64: 38D310F52076CA7A Time : 0.0 sec. user=mdettweiler [2018-08-24 21:25:58] 945*2^1522232-1 is not prime. Res64: 3B40A53BAA62DDEC Time : 0.0 sec. user=mdettweiler [2018-08-24 21:25:58] 657*2^1522233-1 is not prime. Res64: 74AD8BDF0D16E512 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:25:59] 681*2^1522233-1 is not prime. Res64: 6B17C69D5FA836F3 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:25:59] 685*2^1522233-1 is not prime. Res64: E7890A3329767D34 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:26:00] 817*2^1522233-1 is not prime. Res64: E86B01FF6CC7602D Time : 0.0 sec. user=mdettweiler [2018-08-24 21:26:25] 849*2^1522233-1 is not prime. Res64: 9E6A8BA0A32421BF Time : 0.0 sec. user=mdettweiler [2018-08-24 21:26:25] 889*2^1522233-1 is not prime. Res64: BAC1763A8AFA0F23 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:26:26] 741*2^1522234-1 is not prime. Res64: AFF851C37C7E7159 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:26:26] 755*2^1522234-1 is not prime. Res64: 2AB90F4E8C440835 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:26:26] 1001*2^1522234-1 is not prime. Res64: AC5A7C7C33F3EE7E Time : 0.0 sec. user=odicin [2018-08-24 21:39:04] 615*2^1522237-1 is not prime. Res64: 8CE4EC9B67C113AB Time : 0.0 sec. user=odicin [2018-08-24 21:39:04] 771*2^1522237-1 is not prime. Res64: 49892B6607555988 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:36] 823*2^1522235-1 is not prime. Res64: 9C8BB8AB6E0442E3 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:36] 885*2^1522235-1 is not prime. Res64: 51A8BAA9EA024171 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:37] 939*2^1522235-1 is not prime. Res64: C48047F8EAFEF929 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:37] 973*2^1522235-1 is not prime. Res64: FAD7BFD637662459 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:37] 991*2^1522235-1 is not prime. Res64: A7FEE36B74C49AFD Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:47] 675*2^1522236-1 is not prime. Res64: 137444ECB1ADB5BF Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:47] 723*2^1522236-1 is not prime. Res64: A167878BFE886B8C Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:48] 749*2^1522236-1 is not prime. Res64: C8E3C7298E20AE30 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:48] 809*2^1522236-1 is not prime. Res64: 31A04C49750E10F7 Time : 0.0 sec. user=mdettweiler [2018-08-24 21:52:48] 845*2^1522236-1 is not prime. Res64: 7098E6BD31872C30 Time : 0.0 sec. user=odicin [2018-08-24 22:01:14] 705*2^1522239-1 is not prime. Res64: 3AF7C82BF926E527 Time : 0.0 sec. user=odicin [2018-08-24 22:01:15] 823*2^1522239-1 is not prime. Res64: F45D3C929E769D0B Time : 0.0 sec. user=mdettweiler [2018-08-24 22:16:48] 831*2^1522237-1 is not prime. Res64: BCC8C7F39810F411 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:16:48] 867*2^1522237-1 is not prime. Res64: A25C664013E2B1F1 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:16:49] 897*2^1522237-1 is not prime. Res64: F3341C50BD79FF49 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:16:49] 961*2^1522237-1 is not prime. Res64: 7CF0293537E1EE50 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:16:50] 603*2^1522238-1 is not prime. Res64: EF6C0493D3266A92 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:17:16] 713*2^1522238-1 is not prime. Res64: 0510EBA951B31954 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:17:16] 755*2^1522238-1 is not prime. Res64: 3BCAF5C52D591A12 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:17:17] 797*2^1522238-1 is not prime. Res64: 9DA1AC585181328F Time : 0.0 sec. user=mdettweiler [2018-08-24 22:17:17] 843*2^1522238-1 is not prime. Res64: F11D2870E55835A8 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:17:17] 885*2^1522238-1 is not prime. Res64: AADB277B20036330 Time : 0.0 sec. user=odicin [2018-08-24 22:23:12] 927*2^1522240-1 is not prime. Res64: 0AA5B99CEC7A1E5B Time : 0.0 sec. user=odicin [2018-08-24 22:23:12] 983*2^1522240-1 is not prime. Res64: 75C69A994554EE27 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:27] 865*2^1522239-1 is not prime. Res64: D8F3415E4F6DF503 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:28] 891*2^1522239-1 is not prime. Res64: DB2A27ED6E258015 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:28] 975*2^1522239-1 is not prime. Res64: 3FDDFF17C328AA04 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:28] 615*2^1522240-1 is not prime. Res64: 18CE3484C7289769 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:29] 623*2^1522240-1 is not prime. Res64: E4AD1EE5769297B9 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:36] 675*2^1522240-1 is not prime. Res64: F313615F15234B6B Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:36] 695*2^1522240-1 is not prime. Res64: 4F80E64357DC6D29 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:37] 797*2^1522240-1 is not prime. Res64: DCD79D80903C7505 Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:37] 849*2^1522240-1 is not prime. Res64: 9C83FC8EC90438CD Time : 0.0 sec. user=mdettweiler [2018-08-24 22:43:38] 857*2^1522240-1 is not prime. Res64: 627F178C6AF45373 Time : 0.0 sec. user=odicin [2018-08-24 22:45:10] 769*2^1522243-1 is not prime. Res64: DA5851B8E8B71AC5 Time : 0.0 sec. user=odicin [2018-08-24 22:45:11] 829*2^1522243-1 is not prime. Res64: 90B456D7FEE5D191 Time : 0.0 sec. user=odicin [2018-08-24 23:07:08] 949*2^1522245-1 is not prime. Res64: 78D27E7F8FE2477B Time : 0.0 sec. user=odicin [2018-08-24 23:07:09] 955*2^1522245-1 is not prime. Res64: 9EBCA0DE489D945B Time : 0.0 sec. user=mdettweiler [2018-08-24 23:07:40] 637*2^1522241-1 is not prime. Res64: 5C367E2464715351 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:07:40] 865*2^1522241-1 is not prime. Res64: 68DF2A7C232FA2D7 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:07:41] 909*2^1522241-1 is not prime. Res64: 25C96ABEAA1D6AA2 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:07:42] 981*2^1522241-1 is not prime. Res64: 28ED9BE5041FD5C6 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:07:42] 735*2^1522242-1 is not prime. Res64: BF42F667FA3B16A6 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:08:13] 747*2^1522242-1 is not prime. Res64: 918273C6B6DCB7AC Time : 0.0 sec. user=mdettweiler [2018-08-24 23:08:14] 815*2^1522242-1 is not prime. Res64: 557AF7FFC0CAFA53 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:08:14] 833*2^1522242-1 is not prime. Res64: 339940EEDEF44F64 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:08:15] 619*2^1522243-1 is not prime. Res64: BF8FCB1AF0DA9D1E Time : 0.0 sec. user=mdettweiler [2018-08-24 23:08:15] 703*2^1522243-1 is not prime. Res64: 003BF4AC1D41A368 Time : 0.0 sec. user=odicin [2018-08-24 23:29:08] 999*2^1522245-1 is not prime. Res64: 69294ADE7DE16077 Time : 0.0 sec. user=odicin [2018-08-24 23:29:08] 603*2^1522246-1 is not prime. Res64: 909F3222772754DD Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:36] 875*2^1522244-1 is not prime. Res64: 72D55FFFACA15E12 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:36] 935*2^1522244-1 is not prime. Res64: D8173179CF2A6012 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:36] 855*2^1522243-1 is not prime. Res64: 0EDF55BD017FB5CA Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:36] 945*2^1522244-1 is not prime. Res64: 5259425F45C0E782 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:37] 895*2^1522243-1 is not prime. Res64: 51F4AC96EAF502BB Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:37] 847*2^1522245-1 is not prime. Res64: 7F5391B3C8FD3AB9 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:37] 707*2^1522244-1 is not prime. Res64: A94D780738C51D27 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:37] 789*2^1522244-1 is not prime. Res64: 13292095C7C12BB2 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:38] 871*2^1522245-1 is not prime. Res64: E6D7E08A9BBD2CA8 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:34:38] 843*2^1522244-1 is not prime. Res64: EC24A00C3FD501EA Time : 0.0 sec. user=odicin [2018-08-24 23:51:03] 737*2^1522248-1 is not prime. Res64: B03680B4B9058C78 Time : 0.0 sec. user=odicin [2018-08-24 23:51:03] 759*2^1522248-1 is not prime. Res64: 6EBE57886227271D Time : 0.0 sec. user=mdettweiler [2018-08-24 23:58:41] 657*2^1522246-1 is not prime. Res64: 93B85CF3B0E50AF6 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:58:41] 677*2^1522246-1 is not prime. Res64: 0DA131CB79FF0D76 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:58:41] 825*2^1522246-1 is not prime. Res64: 505C6635679BF66A Time : 0.0 sec. user=mdettweiler [2018-08-24 23:58:42] 857*2^1522246-1 is not prime. Res64: 268271DF02A27426 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:58:42] 983*2^1522246-1 is not prime. Res64: F58077264000798D Time : 0.0 sec. user=mdettweiler [2018-08-24 23:59:14] 1001*2^1522246-1 is not prime. Res64: DA3F1457A8D9ADD2 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:59:14] 661*2^1522247-1 is not prime. Res64: F18ABDC9A0AF2F98 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:59:14] 861*2^1522247-1 is not prime. Res64: DB5FC6B2D563A02F Time : 0.0 sec. user=mdettweiler [2018-08-24 23:59:15] 635*2^1522248-1 is not prime. Res64: 250984E5FE252213 Time : 0.0 sec. user=mdettweiler [2018-08-24 23:59:15] 683*2^1522248-1 is not prime. Res64: 18FD3B90F32F6D02 Time : 0.0 sec.