user=mdettweiler [2016-10-21 00:02:54] 645*2^1443395-1 is not prime. Res64: 5F9B090C560A99B0 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:02:55] 651*2^1443395-1 is not prime. Res64: A18AFD917E8125ED Time : 0.0 sec. user=mdettweiler [2016-10-21 00:02:56] 705*2^1443395-1 is not prime. Res64: 5DEF1D055C11C1D2 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:02:56] 735*2^1443395-1 is not prime. Res64: F8FA2DF4551145CA Time : 0.0 sec. user=mdettweiler [2016-10-21 00:02:57] 771*2^1443395-1 is not prime. Res64: 96B5F2A2BBAB5007 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:15:19] 801*2^1443395-1 is not prime. Res64: 9142B08F78773BE4 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:15:19] 819*2^1443395-1 is not prime. Res64: A02BCEA57513CAFC Time : 0.0 sec. user=mdettweiler [2016-10-21 00:15:20] 915*2^1443395-1 is not prime. Res64: 5323E0CE264A4B47 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:15:20] 973*2^1443395-1 is not prime. Res64: 6843B09112CCFC55 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:15:21] 609*2^1443396-1 is not prime. Res64: 0AABCA6780017373 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:33:28] 623*2^1443396-1 is not prime. Res64: 6CA965C54A8D09BE Time : 0.0 sec. user=mdettweiler [2016-10-21 00:33:28] 719*2^1443396-1 is not prime. Res64: 8CB5F580A99BBAF0 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:33:29] 737*2^1443396-1 is not prime. Res64: EE25C1F2A979FFBB Time : 0.0 sec. user=mdettweiler [2016-10-21 00:33:31] 773*2^1443396-1 is not prime. Res64: 64D27972079C1B01 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:40:20] 783*2^1443396-1 is not prime. Res64: 5C6BBA35A64413B3 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:40:21] 873*2^1443396-1 is not prime. Res64: CE4602845659A29F Time : 0.0 sec. user=mdettweiler [2016-10-21 00:40:23] 875*2^1443396-1 is not prime. Res64: DBFD72A81198C886 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:40:30] 923*2^1443396-1 is not prime. Res64: BC9523A46516360D Time : 0.0 sec. user=mdettweiler [2016-10-21 00:40:31] 975*2^1443396-1 is not prime. Res64: E1BB375530C01A01 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:50:12] 727*2^1443397-1 is not prime. Res64: 733BC922BFA349ED Time : 0.0 sec. user=mdettweiler [2016-10-21 00:50:13] 751*2^1443397-1 is not prime. Res64: 787FEC41BD6D3952 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:50:15] 765*2^1443397-1 is not prime. Res64: 9C21875889A3305F Time : 0.0 sec. user=mdettweiler [2016-10-21 00:50:18] 771*2^1443397-1 is not prime. Res64: D0E43B86FBA76FB8 Time : 0.0 sec. user=mdettweiler [2016-10-21 00:50:18] 805*2^1443397-1 is not prime. Res64: 9FA8903B45CAFDCE Time : 0.0 sec. user=mdettweiler [2016-10-21 01:02:46] 831*2^1443397-1 is not prime. Res64: 2CCAE644DD1BB9C7 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:02:47] 999*2^1443397-1 is not prime. Res64: 143F41BEC4E29612 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:02:48] 627*2^1443398-1 is not prime. Res64: B89EA299CD2FFDCC Time : 0.0 sec. user=mdettweiler [2016-10-21 01:02:49] 665*2^1443398-1 is not prime. Res64: 52BEBEA4463C6F61 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:02:50] 683*2^1443398-1 is not prime. Res64: 8885983779C4310A Time : 0.0 sec. user=mdettweiler [2016-10-21 01:29:53] 797*2^1443398-1 is not prime. Res64: 62A7C5D1F7921C56 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:29:57] 987*2^1443398-1 is not prime. Res64: 809593F9620D68DE Time : 0.0 sec. user=mdettweiler [2016-10-21 01:30:01] 649*2^1443399-1 is not prime. Res64: 5CFAACF47A4692CA Time : 0.0 sec. user=mdettweiler [2016-10-21 01:30:02] 691*2^1443399-1 is not prime. Res64: D4F2385E52F48CF4 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:30:07] 829*2^1443399-1 is not prime. Res64: EBF6D3E714A07B63 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:37:47] 861*2^1443399-1 is not prime. Res64: 948942B44581AD33 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:37:50] 913*2^1443399-1 is not prime. Res64: 6E3CCC6260F2EE0F Time : 0.0 sec. user=mdettweiler [2016-10-21 01:37:51] 623*2^1443400-1 is not prime. Res64: 1D2FD88F250D585C Time : 0.0 sec. user=mdettweiler [2016-10-21 01:37:53] 635*2^1443400-1 is not prime. Res64: 21BDCF4165056207 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:37:54] 735*2^1443400-1 is not prime. Res64: A888C2E5EDD43294 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:50:01] 939*2^1443400-1 is not prime. Res64: EBD7E3CA9394B4CA Time : 0.0 sec. user=mdettweiler [2016-10-21 01:50:02] 983*2^1443400-1 is not prime. Res64: 8BD0FD2472A37307 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:50:02] 989*2^1443400-1 is not prime. Res64: E8B32D691D75A1F6 Time : 0.0 sec. user=mdettweiler [2016-10-21 01:50:03] 619*2^1443401-1 is not prime. Res64: AE80472EA4A68D3A Time : 0.0 sec. user=mdettweiler [2016-10-21 01:50:04] 747*2^1443401-1 is not prime. Res64: 828ADB25A4248B6C Time : 0.0 sec. user=mdettweiler [2016-10-21 02:19:04] 871*2^1443401-1 is not prime. Res64: 9096D1A153C6AE42 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:19:04] 967*2^1443401-1 is not prime. Res64: 61F560F64EC9B3CA Time : 0.0 sec. user=mdettweiler [2016-10-21 02:19:05] 633*2^1443402-1 is not prime. Res64: A341FF5F8D4D8AAA Time : 0.0 sec. user=mdettweiler [2016-10-21 02:19:05] 651*2^1443402-1 is not prime. Res64: 27002087DAC3DBC6 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:19:05] 705*2^1443402-1 is not prime. Res64: 310CC78067ED5466 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:24:54] 735*2^1443402-1 is not prime. Res64: 91D7723423B6BB3A Time : 0.0 sec. user=mdettweiler [2016-10-21 02:24:54] 797*2^1443402-1 is not prime. Res64: B6945EFAA71CF326 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:24:55] 815*2^1443402-1 is not prime. Res64: 812A8015DFE2DF4D Time : 0.0 sec. user=mdettweiler [2016-10-21 02:24:55] 867*2^1443402-1 is not prime. Res64: BE48E83B488457E3 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:24:56] 893*2^1443402-1 is not prime. Res64: 03526FF4FBB7492B Time : 0.0 sec. user=mdettweiler [2016-10-21 02:37:34] 963*2^1443402-1 is not prime. Res64: A1A3C84837F243D8 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:37:35] 693*2^1443403-1 is not prime. Res64: B7873067B031C6FD Time : 0.0 sec. user=mdettweiler [2016-10-21 02:37:36] 769*2^1443403-1 is not prime. Res64: EC8B9F658C0B4384 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:37:37] 889*2^1443403-1 is not prime. Res64: 3A102391D9ED6602 Time : 0.0 sec. user=mdettweiler [2016-10-21 02:37:38] 925*2^1443403-1 is not prime. Res64: 43AF60BE6E5066D0 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:05:15] 969*2^1443403-1 is not prime. Res64: A1BEA9A16697237F Time : 0.0 sec. user=mdettweiler [2016-10-21 03:05:16] 609*2^1443404-1 is not prime. Res64: E97BEA819628A23B Time : 0.0 sec. user=mdettweiler [2016-10-21 03:05:17] 665*2^1443404-1 is not prime. Res64: D4DB43A596D0922A Time : 0.0 sec. user=mdettweiler [2016-10-21 03:05:18] 753*2^1443404-1 is not prime. Res64: FB63E3311C6BDB53 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:05:20] 795*2^1443404-1 is not prime. Res64: D0290989CCA1B0DE Time : 0.0 sec. user=mdettweiler [2016-10-21 03:10:36] 909*2^1443404-1 is not prime. Res64: 3AA19AA7E9EAF322 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:10:38] 915*2^1443404-1 is not prime. Res64: 666BEB4BFFF38460 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:10:39] 945*2^1443404-1 is not prime. Res64: EBC3AC7170814A38 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:10:40] 741*2^1443405-1 is not prime. Res64: 6FC264271AC4AA05 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:10:40] 877*2^1443405-1 is not prime. Res64: C3FCD5C22571205E Time : 0.0 sec. user=mdettweiler [2016-10-21 03:23:31] 885*2^1443405-1 is not prime. Res64: 1F5265D5739385B7 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:23:31] 961*2^1443405-1 is not prime. Res64: 7A21DE33DA77E45A Time : 0.0 sec. user=mdettweiler [2016-10-21 03:23:32] 999*2^1443405-1 is not prime. Res64: E09063E36B49B8AB Time : 0.0 sec. user=mdettweiler [2016-10-21 03:23:32] 645*2^1443406-1 is not prime. Res64: A926147C8466E785 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:23:32] 717*2^1443406-1 is not prime. Res64: 37CE5A3D786EB071 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:34:35] 777*2^1443396-1 is not prime. Res64: 7243C0B1DE67CE6E Time : 0.0 sec. user=mdettweiler [2016-10-21 03:51:01] 755*2^1443406-1 is not prime. Res64: 3B7D81E4A692C15C Time : 0.0 sec. user=mdettweiler [2016-10-21 03:51:03] 821*2^1443406-1 is not prime. Res64: 0FD9F47A21B45D10 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:51:04] 911*2^1443406-1 is not prime. Res64: 6774EAA0B8562D0C Time : 0.0 sec. user=mdettweiler [2016-10-21 03:51:05] 651*2^1443407-1 is not prime. Res64: EF253F697128C649 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:51:07] 865*2^1443407-1 is not prime. Res64: 1693B4077B6918B1 Time : 0.0 sec. user=mdettweiler [2016-10-21 03:56:09] 985*2^1443407-1 is not prime. Res64: E86C10900E0B244C Time : 0.0 sec. user=mdettweiler [2016-10-21 03:56:12] 605*2^1443408-1 is not prime. Res64: A060B33FF99809AC Time : 0.0 sec. user=mdettweiler [2016-10-21 03:56:14] 759*2^1443408-1 is not prime. Res64: 296130FB1735BFBA Time : 0.0 sec. user=mdettweiler [2016-10-21 03:56:17] 767*2^1443408-1 is not prime. Res64: 032964F38CC70A8D Time : 0.0 sec. user=mdettweiler [2016-10-21 03:56:20] 797*2^1443408-1 is not prime. Res64: 1EA8E786F384F58E Time : 0.0 sec. user=mdettweiler [2016-10-21 04:09:13] 825*2^1443408-1 is not prime. Res64: DE2BAC5575B617C0 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:09:16] 867*2^1443408-1 is not prime. Res64: E53F952409C6F86D Time : 0.0 sec. user=mdettweiler [2016-10-21 04:09:18] 801*2^1443409-1 is not prime. Res64: 614D06B3C9FD7BD2 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:09:20] 831*2^1443409-1 is not prime. Res64: 8271C43ED4DBD1A5 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:09:22] 841*2^1443409-1 is not prime. Res64: 2F3A28E1BA9309E9 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:20:28] 847*2^1443409-1 is not prime. Res64: F571683C34A2B666 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:20:31] 919*2^1443409-1 is not prime. Res64: 1430655701C04C45 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:20:33] 945*2^1443409-1 is not prime. Res64: 6D948B9F0509A3EC Time : 0.0 sec. user=mdettweiler [2016-10-21 04:20:35] 999*2^1443409-1 is not prime. Res64: 0E182BBF10DFE36C Time : 0.0 sec. user=mdettweiler [2016-10-21 04:20:37] 735*2^1443410-1 is not prime. Res64: F7DE29F1EAA3B96F Time : 0.0 sec. user=mdettweiler [2016-10-21 04:37:05] 773*2^1443410-1 is not prime. Res64: 148E6C4B81FF9C72 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:37:05] 845*2^1443410-1 is not prime. Res64: 9E7457A5D39439EF Time : 0.0 sec. user=mdettweiler [2016-10-21 04:37:05] 851*2^1443410-1 is not prime. Res64: B9F2F674B8C57254 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:37:06] 857*2^1443410-1 is not prime. Res64: C0F4DC21BE753D36 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:37:06] 867*2^1443410-1 is not prime. Res64: 1290928487989209 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:42:19] 911*2^1443410-1 is not prime. Res64: C7B295AF28917643 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:42:19] 649*2^1443411-1 is not prime. Res64: D742C1273B779EF0 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:42:20] 709*2^1443411-1 is not prime. Res64: 2515C838E7A4FE17 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:42:21] 741*2^1443411-1 is not prime. Res64: 747B60E0C0DF494E Time : 0.0 sec. user=mdettweiler [2016-10-21 04:42:21] 745*2^1443411-1 is not prime. Res64: 1E11BB7C7A07DE01 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:54:45] 751*2^1443411-1 is not prime. Res64: 3D69FBC23CF5300C Time : 0.0 sec. user=mdettweiler [2016-10-21 04:54:46] 769*2^1443411-1 is not prime. Res64: 1446F2FE52C7E3F1 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:54:46] 859*2^1443411-1 is not prime. Res64: 7CA13E3631024403 Time : 0.0 sec. user=mdettweiler [2016-10-21 04:54:46] 895*2^1443411-1 is not prime. Res64: 9440B8A6CF89EDCC Time : 0.0 sec. user=mdettweiler [2016-10-21 04:54:47] 677*2^1443412-1 is not prime. Res64: 9885EBC33D8BE2B1 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:06:04] 717*2^1443412-1 is not prime. Res64: CCA48A767C036BA9 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:06:06] 759*2^1443412-1 is not prime. Res64: 604A4F67BA856916 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:06:07] 875*2^1443412-1 is not prime. Res64: A7BA9B8E04C19DC3 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:06:08] 947*2^1443412-1 is not prime. Res64: 962113F997A255C1 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:06:09] 983*2^1443412-1 is not prime. Res64: 4C3593BE551C2616 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:21:56] 999*2^1443412-1 is not prime. Res64: 4024598271DF3CFC Time : 0.0 sec. user=mdettweiler [2016-10-21 05:21:56] 675*2^1443413-1 is not prime. Res64: BFA38B40F232ADBC Time : 0.0 sec. user=mdettweiler [2016-10-21 05:21:57] 721*2^1443413-1 is not prime. Res64: 13E0B3403BD24DC3 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:21:57] 729*2^1443413-1 is not prime. Res64: 1CF94C1C74690DF6 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:21:57] 801*2^1443413-1 is not prime. Res64: E787B9B9A5A2D8D3 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:27:16] 855*2^1443413-1 is not prime. Res64: EB7C3B926E41A0BB Time : 0.0 sec. user=mdettweiler [2016-10-21 05:27:16] 859*2^1443413-1 is not prime. Res64: 0E509BA9F120DAC2 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:27:17] 981*2^1443413-1 is not prime. Res64: CFADA86619F1B066 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:27:17] 627*2^1443414-1 is not prime. Res64: 7F3C08C80352A269 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:27:18] 635*2^1443414-1 is not prime. Res64: 5C4204041AD72ED6 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:39:34] 795*2^1443414-1 is not prime. Res64: 4D7AE67E3CF2D6CB Time : 0.0 sec. user=mdettweiler [2016-10-21 05:39:35] 797*2^1443414-1 is not prime. Res64: E5CC8750AF4CBE66 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:39:35] 807*2^1443414-1 is not prime. Res64: BDAEAFAF131B2D84 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:39:35] 891*2^1443414-1 is not prime. Res64: 666DEABDF73E9F0E Time : 0.0 sec. user=mdettweiler [2016-10-21 05:39:36] 971*2^1443414-1 is not prime. Res64: 70FD34693BD3112E Time : 0.0 sec. user=mdettweiler [2016-10-21 05:51:19] 975*2^1443414-1 is not prime. Res64: C1533055FBE9E083 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:51:19] 619*2^1443415-1 is not prime. Res64: 1F52344878AA07DE Time : 0.0 sec. user=mdettweiler [2016-10-21 05:51:19] 649*2^1443415-1 is not prime. Res64: 18C45E9B26693A3E Time : 0.0 sec. user=mdettweiler [2016-10-21 05:51:20] 651*2^1443415-1 is not prime. Res64: EF302F67E3D8FE77 Time : 0.0 sec. user=mdettweiler [2016-10-21 05:51:20] 783*2^1443415-1 is not prime. Res64: 34A31B5278756DE0 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:06:50] 793*2^1443415-1 is not prime. Res64: CA5897CA41E8F73A Time : 0.0 sec. user=mdettweiler [2016-10-21 06:06:52] 859*2^1443415-1 is not prime. Res64: E058BFA50CFC39C9 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:06:53] 951*2^1443415-1 is not prime. Res64: 2215B1C4650FA820 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:06:54] 969*2^1443415-1 is not prime. Res64: D30F32F4A636489A Time : 0.0 sec. user=mdettweiler [2016-10-21 06:06:56] 973*2^1443415-1 is not prime. Res64: 780D2C1B03A1DF65 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:12:07] 603*2^1443416-1 is not prime. Res64: 316B79A88EA80BA2 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:12:08] 609*2^1443416-1 is not prime. Res64: 075BC254A4069C8B Time : 0.0 sec. user=mdettweiler [2016-10-21 06:12:09] 657*2^1443416-1 is not prime. Res64: 5FF23436F40EA61D Time : 0.0 sec. user=mdettweiler [2016-10-21 06:12:10] 735*2^1443416-1 is not prime. Res64: D8631B7525501B06 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:12:11] 747*2^1443416-1 is not prime. Res64: 7CEB1E01AE2612BA Time : 0.0 sec. user=mdettweiler [2016-10-21 06:24:34] 825*2^1443416-1 is not prime. Res64: 09FA9973E0A1F471 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:24:34] 879*2^1443416-1 is not prime. Res64: 577CCFC789FB8C71 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:24:34] 903*2^1443416-1 is not prime. Res64: 27711CDAACD3F7FC Time : 0.0 sec. user=mdettweiler [2016-10-21 06:24:35] 963*2^1443416-1 is not prime. Res64: 99A7601DD12581C4 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:24:35] 969*2^1443416-1 is not prime. Res64: 7D5B23CDC760D88D Time : 0.0 sec. user=mdettweiler [2016-10-21 06:36:11] 709*2^1443417-1 is not prime. Res64: 784D24ACB0DD59E8 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:36:11] 727*2^1443417-1 is not prime. Res64: FD08B109D89DEC23 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:36:12] 621*2^1443418-1 is not prime. Res64: 824187E44C2DE039 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:36:12] 695*2^1443418-1 is not prime. Res64: 443BFD83F3EC97E4 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:36:13] 791*2^1443418-1 is not prime. Res64: 674D6D302C5FBBF5 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:51:58] 827*2^1443418-1 is not prime. Res64: 65286FA2270A6161 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:51:58] 831*2^1443418-1 is not prime. Res64: D8C398EBD0DB627A Time : 0.0 sec. user=mdettweiler [2016-10-21 06:51:59] 905*2^1443418-1 is not prime. Res64: 73E9F99CA9BD59A5 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:51:59] 933*2^1443418-1 is not prime. Res64: 3DE316968BEDA1E4 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:51:59] 971*2^1443418-1 is not prime. Res64: 0CFA7855C06C8F9B Time : 0.0 sec. user=mdettweiler [2016-10-21 06:56:53] 987*2^1443418-1 is not prime. Res64: 435886404BF353EE Time : 0.0 sec. user=mdettweiler [2016-10-21 06:56:54] 615*2^1443419-1 is not prime. Res64: 77D285438CCC5B92 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:56:54] 735*2^1443419-1 is not prime. Res64: 696BD96887A26C12 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:56:55] 753*2^1443419-1 is not prime. Res64: 9331438A6D0B4E59 Time : 0.0 sec. user=mdettweiler [2016-10-21 06:56:55] 775*2^1443419-1 is not prime. Res64: FD9187BC35DE1438 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:09:19] 789*2^1443419-1 is not prime. Res64: D46D0A7F162FADB5 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:09:19] 843*2^1443419-1 is not prime. Res64: E02E63BB66653097 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:09:20] 979*2^1443419-1 is not prime. Res64: 61BDD3B47871F374 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:09:20] 675*2^1443420-1 is not prime. Res64: FC626CBB925CBBD9 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:09:20] 693*2^1443420-1 is not prime. Res64: FD639F2CF952A78C Time : 0.0 sec. user=mdettweiler [2016-10-21 07:21:00] 719*2^1443420-1 is not prime. Res64: 409C5C11F0B0B0B4 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:21:01] 765*2^1443420-1 is not prime. Res64: 3311239D57537CB3 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:21:02] 845*2^1443420-1 is not prime. Res64: 0BFE0DCC13AE838E Time : 0.0 sec. user=mdettweiler [2016-10-21 07:21:04] 863*2^1443420-1 is not prime. Res64: 89EB493850E8CF4C Time : 0.0 sec. user=mdettweiler [2016-10-21 07:21:05] 867*2^1443420-1 is not prime. Res64: EBA5B0466E4BF5E8 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:36:47] 879*2^1443420-1 is not prime. Res64: 9A09FF9DDB12C78C Time : 0.0 sec. user=mdettweiler [2016-10-21 07:36:48] 909*2^1443420-1 is not prime. Res64: 0C58368AB97498C9 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:36:48] 961*2^1443421-1 is not prime. Res64: 9BD89833EDF5DDDB Time : 0.0 sec. user=mdettweiler [2016-10-21 07:36:49] 711*2^1443422-1 is not prime. Res64: 1337374A2ECA2833 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:36:49] 767*2^1443422-1 is not prime. Res64: 06D74DBEFC4CB08E Time : 0.0 sec. user=mdettweiler [2016-10-21 07:41:39] 827*2^1443422-1 is not prime. Res64: 77463666DF8F7A3A Time : 0.0 sec. user=mdettweiler [2016-10-21 07:41:40] 833*2^1443422-1 is not prime. Res64: 6FD67EFC5A7A5663 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:41:40] 867*2^1443422-1 is not prime. Res64: 7F3FB5C6CA8178C1 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:41:41] 885*2^1443422-1 is not prime. Res64: F8482D6D2B0BD0A6 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:41:42] 951*2^1443422-1 is not prime. Res64: 73B912A01A8D81D1 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:54:06] 649*2^1443423-1 is not prime. Res64: 332C9E419DE3B809 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:54:06] 691*2^1443423-1 is not prime. Res64: 0EF208EF2EE64314 Time : 0.0 sec. user=mdettweiler [2016-10-21 07:54:06] 735*2^1443423-1 is not prime. Res64: 3B61D19BC463DD6C Time : 0.0 sec. user=mdettweiler [2016-10-21 07:54:07] 861*2^1443423-1 is not prime. Res64: 99944C36C679CACC Time : 0.0 sec. user=mdettweiler [2016-10-21 07:54:07] 723*2^1443424-1 is not prime. Res64: CA32B469C8AD942A Time : 0.0 sec. user=mdettweiler [2016-10-21 08:06:29] 645*2^1443425-1 is not prime. Res64: D1414CAB3F847A89 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:06:32] 711*2^1443425-1 is not prime. Res64: 4A77E6E2053E7053 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:06:33] 805*2^1443425-1 is not prime. Res64: 945A61929464F8D7 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:06:36] 925*2^1443425-1 is not prime. Res64: EBCBB2E8BD541A19 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:06:38] 985*2^1443425-1 is not prime. Res64: 673BBCC808A77894 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:22:02] 633*2^1443426-1 is not prime. Res64: 86BA8DB944B4A0C1 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:22:02] 717*2^1443426-1 is not prime. Res64: A24D784B3DC17053 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:22:02] 747*2^1443426-1 is not prime. Res64: CB055BADA1B55CA9 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:22:03] 983*2^1443426-1 is not prime. Res64: 810CF427E921ACDB Time : 0.0 sec. user=mdettweiler [2016-10-21 08:22:03] 625*2^1443427-1 is not prime. Res64: 0933B60C3AC7FC12 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:26:47] 631*2^1443427-1 is not prime. Res64: D499EB3114EFBD00 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:26:47] 769*2^1443427-1 is not prime. Res64: 66617F14460C9A46 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:26:48] 707*2^1443428-1 is not prime. Res64: 7EBD33636214CF92 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:26:48] 819*2^1443428-1 is not prime. Res64: 9BA0CDB091BDFC25 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:26:48] 855*2^1443428-1 is not prime. Res64: B79E03B034B6E44F Time : 0.0 sec. user=mdettweiler [2016-10-21 08:39:04] 869*2^1443428-1 is not prime. Res64: 67CE04F5ACE9AAA0 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:39:04] 923*2^1443428-1 is not prime. Res64: 98BFFE0F7D9CDC66 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:39:05] 945*2^1443428-1 is not prime. Res64: 96EE15ED0F0D6A49 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:39:05] 969*2^1443428-1 is not prime. Res64: 54E8DE56E96F7CB3 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:39:05] 609*2^1443429-1 is not prime. Res64: 1E338BC0F0AF09E6 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:51:38] 615*2^1443429-1 is not prime. Res64: 9C1C7973971D3CC4 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:51:38] 681*2^1443429-1 is not prime. Res64: CA4F77FC8FE9BD45 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:51:38] 751*2^1443429-1 is not prime. Res64: 3B0E655B438A7DB5 Time : 0.0 sec. user=mdettweiler [2016-10-21 08:51:39] 755*2^1443430-1 is not prime. Res64: 8F9CB8AA8313567D Time : 0.0 sec. user=mdettweiler [2016-10-21 08:51:39] 861*2^1443430-1 is not prime. Res64: 94F0FA416EC4B3C8 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:06:53] 923*2^1443430-1 is not prime. Res64: 7CF717C133EF0690 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:06:56] 933*2^1443430-1 is not prime. Res64: DBCCF5036BDE9098 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:06:57] 941*2^1443430-1 is not prime. Res64: B16BED839F288ABC Time : 0.0 sec. user=mdettweiler [2016-10-21 09:06:58] 615*2^1443431-1 is not prime. Res64: 832EEA6C6FDC7FF1 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:07:00] 663*2^1443431-1 is not prime. Res64: 87935FD6B2A4B5BD Time : 0.0 sec. user=mdettweiler [2016-10-21 09:11:31] 665*2^1443432-1 is not prime. Res64: F5A41738EA67F52A Time : 0.0 sec. user=mdettweiler [2016-10-21 09:11:32] 857*2^1443432-1 is not prime. Res64: 0887847E16519379 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:11:32] 607*2^1443433-1 is not prime. Res64: 58BCF9EED850E64B Time : 0.0 sec. user=mdettweiler [2016-10-21 09:11:33] 625*2^1443433-1 is not prime. Res64: 9CD5FF1EF20B5121 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:11:33] 681*2^1443433-1 is not prime. Res64: 05D378505EC1252A Time : 0.0 sec. user=mdettweiler [2016-10-21 09:23:56] 687*2^1443433-1 is not prime. Res64: 6F566F2B61501583 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:23:56] 775*2^1443433-1 is not prime. Res64: 98E0E6175DC66D9D Time : 0.0 sec. user=mdettweiler [2016-10-21 09:23:57] 897*2^1443433-1 is not prime. Res64: 1E6D6A99B9C26C05 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:23:57] 945*2^1443433-1 is not prime. Res64: 0181E6907ACD1039 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:23:57] 623*2^1443434-1 is not prime. Res64: 9C159D83E75A624B Time : 0.0 sec. user=mdettweiler [2016-10-21 09:36:32] 921*2^1443434-1 is not prime. Res64: 5F4E1ECD68BC2C79 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:36:32] 651*2^1443435-1 is not prime. Res64: 014180405A0AE0D2 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:36:33] 699*2^1443435-1 is not prime. Res64: B0B82ABD3F6F75AA Time : 0.0 sec. user=mdettweiler [2016-10-21 09:36:33] 709*2^1443435-1 is not prime. Res64: 3C7C4D3CA0585A8F Time : 0.0 sec. user=mdettweiler [2016-10-21 09:36:33] 753*2^1443435-1 is not prime. Res64: B98FAF45EF7AAD03 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:52:04] 781*2^1443435-1 is not prime. Res64: A36C66770FBB348B Time : 0.0 sec. user=mdettweiler [2016-10-21 09:52:04] 909*2^1443435-1 is not prime. Res64: 603CE78D06527C40 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:52:04] 949*2^1443435-1 is not prime. Res64: 4B6A816A9F612292 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:52:05] 963*2^1443435-1 is not prime. Res64: 0F7521861EA55D35 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:52:05] 693*2^1443436-1 is not prime. Res64: F1A6E93C85B630A3 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:56:23] 723*2^1443436-1 is not prime. Res64: 1B7F5B4FC2E43EE1 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:56:23] 833*2^1443436-1 is not prime. Res64: 8C88B3035FDCDBB4 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:56:24] 875*2^1443436-1 is not prime. Res64: 822ACC9C918B0FCF Time : 0.0 sec. user=mdettweiler [2016-10-21 09:56:24] 939*2^1443436-1 is not prime. Res64: 544E71A7AFE14A02 Time : 0.0 sec. user=mdettweiler [2016-10-21 09:56:24] 645*2^1443437-1 is not prime. Res64: E00A13109056AD98 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:09:27] 777*2^1443437-1 is not prime. Res64: CCEFD93815490920 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:09:29] 879*2^1443437-1 is not prime. Res64: 358623A2CB07FA42 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:09:30] 901*2^1443437-1 is not prime. Res64: 474BD7F6EBDC9261 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:09:32] 765*2^1443438-1 is not prime. Res64: EE5E2A63EA8E49AA Time : 0.0 sec. user=mdettweiler [2016-10-21 10:09:33] 893*2^1443438-1 is not prime. Res64: 2D33A867D07CA420 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:22:15] 685*2^1443439-1 is not prime. Res64: B6DAF165B118585A Time : 0.0 sec. user=mdettweiler [2016-10-21 10:22:16] 759*2^1443439-1 is not prime. Res64: E6B107BD1A11A5C3 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:22:17] 763*2^1443439-1 is not prime. Res64: AF507EAAB4B6FBAF Time : 0.0 sec. user=mdettweiler [2016-10-21 10:22:18] 769*2^1443439-1 is not prime. Res64: 1FE7EA3970BEC9A7 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:22:19] 861*2^1443439-1 is not prime. Res64: 369F247805C4DD98 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:38:29] 931*2^1443439-1 is not prime. Res64: 6EA64E391DA2E95C Time : 0.0 sec. user=mdettweiler [2016-10-21 10:38:29] 985*2^1443439-1 is not prime. Res64: D525DDF74D4D776D Time : 0.0 sec. user=mdettweiler [2016-10-21 10:38:29] 993*2^1443439-1 is not prime. Res64: F1E5079269E00B43 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:38:30] 699*2^1443440-1 is not prime. Res64: 79DB74718F3E3B97 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:38:30] 755*2^1443440-1 is not prime. Res64: 8463CF2792D7F7AD Time : 0.0 sec. user=mdettweiler [2016-10-21 10:42:33] 789*2^1443440-1 is not prime. Res64: 3EC5CE7B8DDC4D6D Time : 0.0 sec. user=mdettweiler [2016-10-21 10:42:34] 843*2^1443440-1 is not prime. Res64: 23EB94960190AF1D Time : 0.0 sec. user=mdettweiler [2016-10-21 10:42:34] 909*2^1443440-1 is not prime. Res64: 74A6C3E954E80C33 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:42:35] 923*2^1443440-1 is not prime. Res64: 08B3A6DBCF0C4AD1 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:42:36] 945*2^1443440-1 is not prime. Res64: D81E705230DFEDAB Time : 0.0 sec. user=mdettweiler [2016-10-21 10:55:13] 995*2^1443440-1 is not prime. Res64: 21FC61B96277B9FA Time : 0.0 sec. user=mdettweiler [2016-10-21 10:55:13] 651*2^1443441-1 is not prime. Res64: 00B82C2A3ED7FAC1 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:55:14] 691*2^1443441-1 is not prime. Res64: 40D864E410505C35 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:55:14] 705*2^1443441-1 is not prime. Res64: 38C790B3B7A6FC91 Time : 0.0 sec. user=mdettweiler [2016-10-21 10:55:14] 739*2^1443441-1 is not prime. Res64: 8252802153B3E781 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:07:31] 805*2^1443441-1 is not prime. Res64: 518D09A58025F757 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:07:34] 811*2^1443441-1 is not prime. Res64: 362EEA138EBFE9AF Time : 0.0 sec. user=mdettweiler [2016-10-21 11:07:36] 835*2^1443441-1 is not prime. Res64: EE106F55A9708D45 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:07:38] 849*2^1443441-1 is not prime. Res64: 5189405843714E7C Time : 0.0 sec. user=mdettweiler [2016-10-21 11:07:40] 901*2^1443441-1 is not prime. Res64: D13844CF2538C3B9 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:23:43] 647*2^1443442-1 is not prime. Res64: AAD3F7DAD43ED1D7 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:23:43] 705*2^1443442-1 is not prime. Res64: BEBC103867A5E4CA Time : 0.0 sec. user=mdettweiler [2016-10-21 11:23:43] 723*2^1443442-1 is not prime. Res64: 2DFF403AAEDC3BD4 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:23:43] 735*2^1443442-1 is not prime. Res64: F53AA3D900015A4B Time : 0.0 sec. user=mdettweiler [2016-10-21 11:23:44] 801*2^1443442-1 is not prime. Res64: D37BAC7ED6C6203C Time : 0.0 sec. user=mdettweiler [2016-10-21 11:27:54] 815*2^1443442-1 is not prime. Res64: 44E618EB6B57A0D4 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:27:55] 917*2^1443442-1 is not prime. Res64: 8325261A38C7165B Time : 0.0 sec. user=mdettweiler [2016-10-21 11:27:55] 983*2^1443442-1 is not prime. Res64: FDC265C5775E8C10 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:27:55] 643*2^1443443-1 is not prime. Res64: 728FFFCEAF3F3811 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:27:55] 703*2^1443443-1 is not prime. Res64: 141B447D18A50018 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:41:52] 705*2^1443443-1 is not prime. Res64: 842C90A619C9E02F Time : 0.0 sec. user=mdettweiler [2016-10-21 11:41:52] 741*2^1443443-1 is not prime. Res64: 3AA1725E1258894C Time : 0.0 sec. user=mdettweiler [2016-10-21 11:41:52] 745*2^1443443-1 is not prime. Res64: D265DDA1CBD3ECD8 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:41:53] 813*2^1443443-1 is not prime. Res64: F44D276DEB92445D Time : 0.0 sec. user=mdettweiler [2016-10-21 11:41:53] 823*2^1443443-1 is not prime. Res64: 6F983D4BF8009DB4 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:56:33] 973*2^1443443-1 is not prime. Res64: 7CE67B8F9A64E8E5 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:56:33] 773*2^1443444-1 is not prime. Res64: 77BD676C3804C599 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:56:33] 863*2^1443444-1 is not prime. Res64: F5C8B535FCD7D63E Time : 0.0 sec. user=mdettweiler [2016-10-21 11:56:34] 899*2^1443444-1 is not prime. Res64: 900051369FE694C2 Time : 0.0 sec. user=mdettweiler [2016-10-21 11:56:34] 727*2^1443445-1 is not prime. Res64: 1D09382137CFF4F0 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:13:50] 811*2^1443445-1 is not prime. Res64: 08BA172420F5ACD1 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:13:51] 819*2^1443445-1 is not prime. Res64: C15EAEC887086A35 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:13:51] 855*2^1443445-1 is not prime. Res64: 0848FDC4067028BD Time : 0.0 sec. user=mdettweiler [2016-10-21 12:13:52] 671*2^1443446-1 is not prime. Res64: AD7AE4C0F97B3C16 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:13:52] 683*2^1443446-1 is not prime. Res64: A5F404B2EC3A07A8 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:17:39] 707*2^1443446-1 is not prime. Res64: F18B47CB9699570F Time : 0.0 sec. user=mdettweiler [2016-10-21 12:17:39] 711*2^1443446-1 is not prime. Res64: 93B592A47A6E3282 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:17:39] 755*2^1443446-1 is not prime. Res64: 72CF46AED14A4705 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:17:40] 867*2^1443446-1 is not prime. Res64: 94BE77856827594D Time : 0.0 sec. user=mdettweiler [2016-10-21 12:17:40] 903*2^1443446-1 is not prime. Res64: 42CCD66DBCE0D85F Time : 0.0 sec. user=mdettweiler [2016-10-21 12:30:11] 923*2^1443446-1 is not prime. Res64: F671CA4935B4FB51 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:30:11] 957*2^1443446-1 is not prime. Res64: 230ABB5846755E5F Time : 0.0 sec. user=mdettweiler [2016-10-21 12:30:12] 675*2^1443447-1 is not prime. Res64: 40B92E1B8D6D00E8 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:30:12] 735*2^1443447-1 is not prime. Res64: 89E311F171894A98 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:30:13] 859*2^1443447-1 is not prime. Res64: 8BEDCE19870FD4E1 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:43:30] 603*2^1443448-1 is not prime. Res64: 4635954784EB64A3 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:43:30] 695*2^1443448-1 is not prime. Res64: 274EC37BE75FA127 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:43:31] 711*2^1443449-1 is not prime. Res64: D2BDE10E67EC1B67 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:43:31] 727*2^1443449-1 is not prime. Res64: ECF8E74D5E989967 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:43:31] 787*2^1443449-1 is not prime. Res64: E8AD7DD07F8701E5 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:58:52] 829*2^1443449-1 is not prime. Res64: 7AD3EBB8B7B7DE03 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:58:53] 847*2^1443449-1 is not prime. Res64: E3C3AC13B90AFF4F Time : 0.0 sec. user=mdettweiler [2016-10-21 12:58:53] 861*2^1443449-1 is not prime. Res64: 46525B48187CC7D4 Time : 0.0 sec. user=mdettweiler [2016-10-21 12:58:53] 955*2^1443449-1 is not prime. Res64: C48B4157DBA88B8A Time : 0.0 sec. user=mdettweiler [2016-10-21 12:58:54] 997*2^1443449-1 is not prime. Res64: 46EADECF7D4465B8 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:02:41] 713*2^1443450-1 is not prime. Res64: F7AA962BC58653B6 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:02:42] 803*2^1443450-1 is not prime. Res64: F2CBC85D3F2BA8E5 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:02:43] 875*2^1443450-1 is not prime. Res64: 5C889F7ACB19A07B Time : 0.0 sec. user=mdettweiler [2016-10-21 13:02:44] 783*2^1443451-1 is not prime. Res64: F9B5608A71071BA7 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:02:45] 813*2^1443451-1 is not prime. Res64: 3A3248C121C6C7C2 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:15:04] 819*2^1443451-1 is not prime. Res64: FB76B8E5F8379157 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:15:07] 829*2^1443451-1 is not prime. Res64: EF9D8A17FEEF7181 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:15:09] 871*2^1443451-1 is not prime. Res64: 9F991D5CCDFFF59D Time : 0.0 sec. user=mdettweiler [2016-10-21 13:15:11] 961*2^1443451-1 is not prime. Res64: C2BF18F7E4274D9D Time : 0.0 sec. user=mdettweiler [2016-10-21 13:15:12] 969*2^1443451-1 is not prime. Res64: 958548BE72F3CD47 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:28:13] 633*2^1443452-1 is not prime. Res64: 5081FABCDFACFDF0 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:28:14] 749*2^1443452-1 is not prime. Res64: B66C25DB0A46CF63 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:28:14] 755*2^1443452-1 is not prime. Res64: 652D8F79C0E80AD4 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:28:15] 827*2^1443452-1 is not prime. Res64: FE2837C2F41921E5 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:28:15] 855*2^1443452-1 is not prime. Res64: 7F7BD4533EF4F8AF Time : 0.0 sec. user=mdettweiler [2016-10-21 13:43:41] 903*2^1443452-1 is not prime. Res64: E79949997244C11C Time : 0.0 sec. user=mdettweiler [2016-10-21 13:43:42] 959*2^1443452-1 is not prime. Res64: 9289111E81A7D82F Time : 0.0 sec. user=mdettweiler [2016-10-21 13:43:42] 759*2^1443453-1 is not prime. Res64: 2E1F114F9919D859 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:43:42] 769*2^1443453-1 is not prime. Res64: 3DD30083C80EA746 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:43:43] 795*2^1443453-1 is not prime. Res64: 0B7EB376AFA50395 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:47:45] 885*2^1443453-1 is not prime. Res64: 74AF6BB8487318F7 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:47:45] 919*2^1443453-1 is not prime. Res64: BAC1A65082683D97 Time : 0.0 sec. user=mdettweiler [2016-10-21 13:47:46] 605*2^1443454-1 is not prime. Res64: BBD09EC9319DED6C Time : 0.0 sec. user=mdettweiler [2016-10-21 13:47:46] 785*2^1443454-1 is not prime. Res64: 2A8F0210EC69042C Time : 0.0 sec. user=mdettweiler [2016-10-21 13:47:46] 791*2^1443454-1 is not prime. Res64: 63BB2AE68B548E98 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:00:38] 813*2^1443454-1 is not prime. Res64: 9EF420306D586B00 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:00:38] 815*2^1443454-1 is not prime. Res64: 88D3C2987621EE49 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:00:39] 827*2^1443454-1 is not prime. Res64: 3A0F9BC2C5773884 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:00:39] 833*2^1443454-1 is not prime. Res64: C1F9932BD9919D54 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:00:40] 887*2^1443454-1 is not prime. Res64: 3EE49B0EC04089EB Time : 0.0 sec. user=mdettweiler [2016-10-21 14:13:37] 965*2^1443454-1 is not prime. Res64: B51C0A982FE09D30 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:13:37] 619*2^1443455-1 is not prime. Res64: C1FF9ADD8DFDEA14 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:13:38] 661*2^1443455-1 is not prime. Res64: 3C91A2D1AC03B53C Time : 0.0 sec. user=mdettweiler [2016-10-21 14:13:38] 663*2^1443455-1 is not prime. Res64: 3361F7443ED425CF Time : 0.0 sec. user=mdettweiler [2016-10-21 14:13:39] 679*2^1443455-1 is not prime. Res64: 3FD8C582F9463EAF Time : 0.0 sec. user=mdettweiler [2016-10-21 14:28:59] 685*2^1443455-1 is not prime. Res64: FFEB6380D9C46103 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:28:59] 693*2^1443455-1 is not prime. Res64: 01C18133030806E7 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:29:00] 799*2^1443455-1 is not prime. Res64: 469560F9B8955949 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:29:01] 831*2^1443455-1 is not prime. Res64: 300619E54003B4FC Time : 0.0 sec. user=mdettweiler [2016-10-21 14:29:01] 841*2^1443455-1 is not prime. Res64: 20DA645C9176B586 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:33:04] 861*2^1443455-1 is not prime. Res64: 11887EB19886EFD8 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:33:04] 939*2^1443455-1 is not prime. Res64: 4DB448959252040C Time : 0.0 sec. user=mdettweiler [2016-10-21 14:33:04] 943*2^1443455-1 is not prime. Res64: 12C3AF120B48AE62 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:33:05] 969*2^1443455-1 is not prime. Res64: D1F9F98622A818A1 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:33:05] 985*2^1443455-1 is not prime. Res64: 396A4F7E53924EEB Time : 0.0 sec. user=mdettweiler [2016-10-21 14:45:39] 633*2^1443456-1 is not prime. Res64: 2E8C89C91F3DC473 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:45:40] 735*2^1443456-1 is not prime. Res64: 872A69E013ACAFA1 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:45:40] 765*2^1443456-1 is not prime. Res64: 89B73297BFDA2473 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:45:41] 779*2^1443456-1 is not prime. Res64: 8A641383B12B3EAB Time : 0.0 sec. user=mdettweiler [2016-10-21 14:45:41] 789*2^1443456-1 is not prime. Res64: B0EA2597F9FB1A76 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:58:46] 839*2^1443456-1 is not prime. Res64: 8D9873C57C8D74FC Time : 0.0 sec. user=mdettweiler [2016-10-21 14:58:47] 903*2^1443456-1 is not prime. Res64: B07892A935C1E7CB Time : 0.0 sec. user=mdettweiler [2016-10-21 14:58:47] 687*2^1443457-1 is not prime. Res64: EDE426CC0DCB8682 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:58:47] 777*2^1443457-1 is not prime. Res64: B217E2F8EF02C527 Time : 0.0 sec. user=mdettweiler [2016-10-21 14:58:48] 807*2^1443457-1 is not prime. Res64: 99AF2823A27D1D37 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:14:02] 895*2^1443457-1 is not prime. Res64: E2D47D4F3A484CDF Time : 0.0 sec. user=mdettweiler [2016-10-21 15:14:03] 939*2^1443457-1 is not prime. Res64: 830C32ABA4C2D29F Time : 0.0 sec. user=mdettweiler [2016-10-21 15:14:03] 957*2^1443457-1 is not prime. Res64: AEB09731BCB3DE83 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:14:03] 633*2^1443458-1 is not prime. Res64: E24CED35C8A0F88C Time : 0.0 sec. user=mdettweiler [2016-10-21 15:14:04] 665*2^1443458-1 is not prime. Res64: 2B80C8D581D10189 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:18:06] 755*2^1443458-1 is not prime. Res64: 07DF60F32C0F8405 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:18:06] 771*2^1443458-1 is not prime. Res64: 83F6AD326C0FEE51 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:18:07] 837*2^1443458-1 is not prime. Res64: 0B9A4E36B16B774D Time : 0.0 sec. user=mdettweiler [2016-10-21 15:18:08] 875*2^1443458-1 is not prime. Res64: ED47CB5D211210A7 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:18:09] 987*2^1443458-1 is not prime. Res64: FB211BC23269586A Time : 0.0 sec. user=mdettweiler [2016-10-21 15:30:35] 685*2^1443459-1 is not prime. Res64: 39161D437845371F Time : 0.0 sec. user=mdettweiler [2016-10-21 15:30:36] 703*2^1443459-1 is not prime. Res64: 32149BBC1A30BDF1 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:30:36] 709*2^1443459-1 is not prime. Res64: E95C42D6CD72A36F Time : 0.0 sec. user=mdettweiler [2016-10-21 15:30:36] 793*2^1443459-1 is not prime. Res64: DCEF2B2336833132 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:30:37] 859*2^1443459-1 is not prime. Res64: 2E31F274CAE343F2 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:43:35] 909*2^1443459-1 is not prime. Res64: D445C1A53466958B Time : 0.0 sec. user=mdettweiler [2016-10-21 15:43:35] 919*2^1443459-1 is not prime. Res64: 5404E1FA8660BF97 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:43:36] 931*2^1443459-1 is not prime. Res64: C6C409FE000EFABC Time : 0.0 sec. user=mdettweiler [2016-10-21 15:43:36] 949*2^1443459-1 is not prime. Res64: F28C82451CD6609A Time : 0.0 sec. user=mdettweiler [2016-10-21 15:43:36] 647*2^1443460-1 is not prime. Res64: D2F0EEA785CDCDDD Time : 0.0 sec. user=mdettweiler [2016-10-21 15:58:53] 675*2^1443460-1 is not prime. Res64: 2EA67D3D6BD6E6EB Time : 0.0 sec. user=mdettweiler [2016-10-21 15:58:53] 707*2^1443460-1 is not prime. Res64: E817CDEE35FAAFBD Time : 0.0 sec. user=mdettweiler [2016-10-21 15:58:54] 855*2^1443460-1 is not prime. Res64: 864A309B598089AD Time : 0.0 sec. user=mdettweiler [2016-10-21 15:58:54] 875*2^1443460-1 is not prime. Res64: 11C2BAEDDCFBBD58 Time : 0.0 sec. user=mdettweiler [2016-10-21 15:58:55] 905*2^1443460-1 is not prime. Res64: E409294D53F6688B Time : 0.0 sec. user=mdettweiler [2016-10-21 16:02:47] 965*2^1443460-1 is not prime. Res64: 324919C7A151DAC7 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:02:51] 999*2^1443460-1 is not prime. Res64: 9E6A83063515A762 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:02:53] 697*2^1443461-1 is not prime. Res64: 4E0B41F34A9EFB38 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:02:56] 741*2^1443461-1 is not prime. Res64: AFB7AE227E58A12B Time : 0.0 sec. user=mdettweiler [2016-10-21 16:02:58] 775*2^1443461-1 is not prime. Res64: B47349436077CDF0 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:15:22] 829*2^1443461-1 is not prime. Res64: DF51CBB9A074EFB4 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:15:22] 937*2^1443461-1 is not prime. Res64: 907123A76D7D2402 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:15:23] 955*2^1443461-1 is not prime. Res64: ED01A517ACEF711F Time : 0.0 sec. user=mdettweiler [2016-10-21 16:15:23] 711*2^1443462-1 is not prime. Res64: D355C056B2F6A232 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:15:24] 731*2^1443462-1 is not prime. Res64: A99BAD946D3876ED Time : 0.0 sec. user=mdettweiler [2016-10-21 16:28:16] 737*2^1443462-1 is not prime. Res64: 99A511DDDFE59BDC Time : 0.0 sec. user=mdettweiler [2016-10-21 16:28:18] 951*2^1443462-1 is not prime. Res64: 4114971270CA4291 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:28:18] 633*2^1443463-1 is not prime. Res64: F2DBA059B523F18A Time : 0.0 sec. user=mdettweiler [2016-10-21 16:28:19] 679*2^1443463-1 is not prime. Res64: 33086676586DC9A3 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:28:19] 789*2^1443463-1 is not prime. Res64: E1C1EC57C3C917A4 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:43:46] 805*2^1443463-1 is not prime. Res64: BE83733640946CE6 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:43:46] 635*2^1443464-1 is not prime. Res64: E5AAF56DCBF5A62C Time : 0.0 sec. user=mdettweiler [2016-10-21 16:43:47] 657*2^1443464-1 is not prime. Res64: DEE509A7AE99DEF0 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:43:47] 677*2^1443464-1 is not prime. Res64: 496E714F13233369 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:43:47] 747*2^1443464-1 is not prime. Res64: 72B3FE5B65E598CE Time : 0.0 sec. user=mdettweiler [2016-10-21 16:48:01] 813*2^1443464-1 is not prime. Res64: 925EF3290D4F0B83 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:48:02] 899*2^1443464-1 is not prime. Res64: FF0FB73AC32610A3 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:48:02] 669*2^1443465-1 is not prime. Res64: 8D527BB27D81B015 Time : 0.0 sec. user=mdettweiler [2016-10-21 16:48:02] 727*2^1443465-1 is not prime. Res64: 64E813C4AF55A9ED Time : 0.0 sec. user=mdettweiler [2016-10-21 16:48:03] 741*2^1443465-1 is not prime. Res64: 8EAFD9E845598873 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:00:17] 889*2^1443465-1 is not prime. Res64: 969D6BCDE51D5CA5 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:00:18] 603*2^1443466-1 is not prime. Res64: A644916AE4456D4D Time : 0.0 sec. user=mdettweiler [2016-10-21 17:00:19] 611*2^1443466-1 is not prime. Res64: F10EB809E486C0EE Time : 0.0 sec. user=mdettweiler [2016-10-21 17:00:19] 843*2^1443466-1 is not prime. Res64: 97864E26A24FE34F Time : 0.0 sec. user=mdettweiler [2016-10-21 17:00:20] 861*2^1443466-1 is not prime. Res64: D443E7225C8C297C Time : 0.0 sec. user=mdettweiler [2016-10-21 17:13:05] 983*2^1443466-1 is not prime. Res64: F711D8F895C87A7F Time : 0.0 sec. user=mdettweiler [2016-10-21 17:13:06] 673*2^1443467-1 is not prime. Res64: 64B08F18CF0F7E05 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:13:06] 675*2^1443467-1 is not prime. Res64: 65423C2E09F2FF80 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:13:07] 699*2^1443467-1 is not prime. Res64: B503D3113007EF94 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:13:07] 711*2^1443467-1 is not prime. Res64: 635CF4E3FC679EA7 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:28:35] 735*2^1443467-1 is not prime. Res64: E24A2A469E303939 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:28:35] 859*2^1443467-1 is not prime. Res64: 0858F7CD7A8E3C2E Time : 0.0 sec. user=mdettweiler [2016-10-21 17:28:36] 885*2^1443467-1 is not prime. Res64: D2F0115530619C67 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:28:36] 901*2^1443467-1 is not prime. Res64: 887E36C79ABB8372 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:28:37] 985*2^1443467-1 is not prime. Res64: 048331604946BA8D Time : 0.0 sec. user=mdettweiler [2016-10-21 17:32:41] 707*2^1443468-1 is not prime. Res64: A5E531C2FB817E7A Time : 0.0 sec. user=mdettweiler [2016-10-21 17:32:42] 765*2^1443468-1 is not prime. Res64: A7366B4998DC1ED1 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:32:42] 999*2^1443468-1 is not prime. Res64: 43C021A94228C1D2 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:32:43] 661*2^1443469-1 is not prime. Res64: F03236377EF13F0D Time : 0.0 sec. user=mdettweiler [2016-10-21 17:32:43] 699*2^1443469-1 is not prime. Res64: D2415FE4CC2219C1 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:45:13] 867*2^1443469-1 is not prime. Res64: 1FBB6FF5BDF52334 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:45:14] 895*2^1443469-1 is not prime. Res64: 5B182A21E3441138 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:45:14] 999*2^1443469-1 is not prime. Res64: 390E46EA070DD135 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:45:14] 645*2^1443470-1 is not prime. Res64: D2252826570B385D Time : 0.0 sec. user=mdettweiler [2016-10-21 17:45:15] 743*2^1443470-1 is not prime. Res64: E0FF175080FE481A Time : 0.0 sec. user=mdettweiler [2016-10-21 17:57:57] 827*2^1443470-1 is not prime. Res64: AA7C01C6907003DB Time : 0.0 sec. user=mdettweiler [2016-10-21 17:57:58] 831*2^1443470-1 is not prime. Res64: F0B748A58777FE62 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:57:58] 911*2^1443470-1 is not prime. Res64: C5956075053860DE Time : 0.0 sec. user=mdettweiler [2016-10-21 17:57:59] 915*2^1443470-1 is not prime. Res64: 60BDAEE183019870 Time : 0.0 sec. user=mdettweiler [2016-10-21 17:57:59] 935*2^1443470-1 is not prime. Res64: A568CA6554A365E8 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:13:40] 987*2^1443470-1 is not prime. Res64: 13CFB53829ACDB9D Time : 0.0 sec. user=mdettweiler [2016-10-21 18:13:42] 723*2^1443471-1 is not prime. Res64: 1762CA1C7E745B77 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:13:43] 735*2^1443471-1 is not prime. Res64: 932D7C1AD53275F6 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:13:48] 895*2^1443471-1 is not prime. Res64: E59AD4312A4F9688 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:13:49] 615*2^1443472-1 is not prime. Res64: 9F0A33978FDE2FEF Time : 0.0 sec. user=mdettweiler [2016-10-21 18:17:28] 849*2^1443472-1 is not prime. Res64: 890387971FF77DD3 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:17:29] 875*2^1443472-1 is not prime. Res64: 28988920C355AEEF Time : 0.0 sec. user=mdettweiler [2016-10-21 18:17:29] 615*2^1443473-1 is not prime. Res64: 9C01E892C52E9689 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:17:30] 649*2^1443473-1 is not prime. Res64: 3EE44BA284899A83 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:17:30] 699*2^1443473-1 is not prime. Res64: 3AD7E8A9C3175211 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:30:05] 769*2^1443473-1 is not prime. Res64: 814B3271FDA35BAE Time : 0.0 sec. user=mdettweiler [2016-10-21 18:30:08] 771*2^1443473-1 is not prime. Res64: 23A9931CBBF646DE Time : 0.0 sec. user=mdettweiler [2016-10-21 18:30:11] 789*2^1443473-1 is not prime. Res64: FDA5F4E7712EC313 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:30:14] 867*2^1443473-1 is not prime. Res64: E443C7E538ACDE47 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:30:17] 879*2^1443473-1 is not prime. Res64: 4523F45140BABB05 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:43:02] 945*2^1443473-1 is not prime. Res64: EA6FBB6D38ECE80A Time : 0.0 sec. user=mdettweiler [2016-10-21 18:43:02] 621*2^1443474-1 is not prime. Res64: 4E011AA7D045E107 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:43:03] 737*2^1443474-1 is not prime. Res64: 562070D215A690CA Time : 0.0 sec. user=mdettweiler [2016-10-21 18:43:03] 783*2^1443474-1 is not prime. Res64: 9708A48830D42CCB Time : 0.0 sec. user=mdettweiler [2016-10-21 18:43:03] 815*2^1443474-1 is not prime. Res64: 30E6F7B69616E931 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:59:00] 825*2^1443474-1 is not prime. Res64: 07506E73ADC417FD Time : 0.0 sec. user=mdettweiler [2016-10-21 18:59:00] 885*2^1443474-1 is not prime. Res64: C9F1988400F1617E Time : 0.0 sec. user=mdettweiler [2016-10-21 18:59:00] 905*2^1443474-1 is not prime. Res64: D2E7C879007D9DD1 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:59:01] 915*2^1443474-1 is not prime. Res64: 0FB83FE07BF7DD11 Time : 0.0 sec. user=mdettweiler [2016-10-21 18:59:01] 631*2^1443475-1 is not prime. Res64: 2355FC9A0BF420BE Time : 0.0 sec. user=mdettweiler [2016-10-21 19:02:26] 765*2^1443475-1 is not prime. Res64: 27782BB86020B35C Time : 0.0 sec. user=mdettweiler [2016-10-21 19:02:28] 603*2^1443476-1 is not prime. Res64: D22A8EE6E9C9260E Time : 0.0 sec. user=mdettweiler [2016-10-21 19:02:29] 659*2^1443476-1 is not prime. Res64: 59BC379BBBA24C2E Time : 0.0 sec. user=mdettweiler [2016-10-21 19:02:30] 669*2^1443476-1 is not prime. Res64: 2D4CCF9BC28996DA Time : 0.0 sec. user=mdettweiler [2016-10-21 19:02:30] 759*2^1443476-1 is not prime. Res64: A1FF4D2BDEA69892 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:15:09] 875*2^1443476-1 is not prime. Res64: 9525AD351089D320 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:15:10] 927*2^1443476-1 is not prime. Res64: D19E52541FB2F694 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:15:10] 945*2^1443476-1 is not prime. Res64: F5F5F92774E9FC03 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:15:10] 709*2^1443477-1 is not prime. Res64: 98A23B47D652FA32 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:15:11] 825*2^1443477-1 is not prime. Res64: E98E2118D94F529B Time : 0.0 sec. user=mdettweiler [2016-10-21 19:28:18] 915*2^1443477-1 is not prime. Res64: A2690B81A071585D Time : 0.0 sec. user=mdettweiler [2016-10-21 19:28:18] 635*2^1443478-1 is not prime. Res64: 8EF8B2E070F8CD35 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:28:18] 663*2^1443478-1 is not prime. Res64: 216426282F5BD22D Time : 0.0 sec. user=mdettweiler [2016-10-21 19:28:19] 723*2^1443478-1 is not prime. Res64: 938B6EC5240C2B28 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:28:19] 755*2^1443478-1 is not prime. Res64: 5C670515370A3FD4 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:44:03] 821*2^1443478-1 is not prime. Res64: 466BA0ADF770D4EC Time : 0.0 sec. user=mdettweiler [2016-10-21 19:44:04] 867*2^1443478-1 is not prime. Res64: C5E99C14961254AC Time : 0.0 sec. user=mdettweiler [2016-10-21 19:44:04] 911*2^1443478-1 is not prime. Res64: 97E4AF00A966148E Time : 0.0 sec. user=mdettweiler [2016-10-21 19:44:05] 971*2^1443478-1 is not prime. Res64: 17F1B87D9F450B7D Time : 0.0 sec. user=mdettweiler [2016-10-21 19:44:05] 609*2^1443479-1 is not prime. Res64: 979F656401C4C23F Time : 0.0 sec. user=mdettweiler [2016-10-21 19:47:21] 669*2^1443479-1 is not prime. Res64: 385C489BD97C59D0 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:47:22] 735*2^1443479-1 is not prime. Res64: 2BBC8F32769A0039 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:47:22] 973*2^1443479-1 is not prime. Res64: DCFE31948DF59EE2 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:47:22] 615*2^1443480-1 is not prime. Res64: 2B4BABDFE7F36D9F Time : 0.0 sec. user=mdettweiler [2016-10-21 19:47:23] 689*2^1443480-1 is not prime. Res64: 6C70980D250F6A3A Time : 0.0 sec. user=mdettweiler [2016-10-21 19:59:56] 707*2^1443480-1 is not prime. Res64: 6DB8D81FA990EA81 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:59:56] 719*2^1443480-1 is not prime. Res64: D09DC5F40CAE4379 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:59:57] 839*2^1443480-1 is not prime. Res64: 9F9D13170303EA29 Time : 0.0 sec. user=mdettweiler [2016-10-21 19:59:57] 873*2^1443480-1 is not prime. Res64: ED1CB1F8F87371DA Time : 0.0 sec. user=mdettweiler [2016-10-21 19:59:58] 927*2^1443480-1 is not prime. Res64: 990A14333FC9B486 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:13:09] 639*2^1443481-1 is not prime. Res64: E6C912ED0242BAE1 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:13:12] 801*2^1443481-1 is not prime. Res64: 8C49375CE032521A Time : 0.0 sec. user=mdettweiler [2016-10-21 20:13:14] 819*2^1443481-1 is not prime. Res64: 9EF6FF106F0A0FDD Time : 0.0 sec. user=mdettweiler [2016-10-21 20:13:15] 937*2^1443481-1 is not prime. Res64: 26A60E65AC16B1D6 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:13:17] 645*2^1443482-1 is not prime. Res64: 096767415FE8FC88 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:28:51] 651*2^1443482-1 is not prime. Res64: 1BB07C71D8984045 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:28:52] 911*2^1443482-1 is not prime. Res64: 22142972933276F3 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:28:52] 945*2^1443482-1 is not prime. Res64: 9A474984F790EC62 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:28:53] 981*2^1443482-1 is not prime. Res64: 0813BB94C5EF223B Time : 0.0 sec. user=mdettweiler [2016-10-21 20:28:54] 619*2^1443483-1 is not prime. Res64: 6E8916B7393D1257 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:32:02] 699*2^1443483-1 is not prime. Res64: 78F57DA3A31B649C Time : 0.0 sec. user=mdettweiler [2016-10-21 20:32:02] 825*2^1443483-1 is not prime. Res64: 85DB4D552F6272CE Time : 0.0 sec. user=mdettweiler [2016-10-21 20:32:03] 829*2^1443483-1 is not prime. Res64: 9C09D7EA29497352 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:32:03] 969*2^1443483-1 is not prime. Res64: 54A4AF36382A5C19 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:32:03] 605*2^1443484-1 is not prime. Res64: 712290EFD99BBAD3 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:44:40] 609*2^1443484-1 is not prime. Res64: 6ECB7BBF3D97BABF Time : 0.0 sec. user=mdettweiler [2016-10-21 20:44:40] 707*2^1443484-1 is not prime. Res64: 3F85B13584A38260 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:44:41] 773*2^1443484-1 is not prime. Res64: 2605E1B96678E9EA Time : 0.0 sec. user=mdettweiler [2016-10-21 20:44:41] 803*2^1443484-1 is not prime. Res64: 5321212A73D871A5 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:44:41] 887*2^1443484-1 is not prime. Res64: BDEA089B5BD7B9D0 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:58:23] 915*2^1443484-1 is not prime. Res64: 105826B64E5D5FB3 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:58:24] 989*2^1443484-1 is not prime. Res64: DE30E98E75D0ACC3 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:58:24] 655*2^1443485-1 is not prime. Res64: 27F43945F3404E37 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:58:24] 729*2^1443485-1 is not prime. Res64: A5DF9C9C68328A59 Time : 0.0 sec. user=mdettweiler [2016-10-21 20:58:25] 855*2^1443485-1 is not prime. Res64: 4F295684518F7E98 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:13:35] 683*2^1443486-1 is not prime. Res64: C1B6824F68716351 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:13:36] 695*2^1443486-1 is not prime. Res64: 35EF1389A722915F Time : 0.0 sec. user=mdettweiler [2016-10-21 21:13:36] 755*2^1443486-1 is not prime. Res64: 02525D169B643BE4 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:13:37] 815*2^1443486-1 is not prime. Res64: C0DB0F041535D47B Time : 0.0 sec. user=mdettweiler [2016-10-21 21:13:37] 825*2^1443486-1 is not prime. Res64: A778743C0D8BF3E3 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:16:43] 851*2^1443486-1 is not prime. Res64: B1ECEDD721CCEB7D Time : 0.0 sec. user=mdettweiler [2016-10-21 21:16:43] 893*2^1443486-1 is not prime. Res64: 1ACFB0ED3453B614 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:16:43] 609*2^1443487-1 is not prime. Res64: 0031221E31138A85 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:16:44] 675*2^1443487-1 is not prime. Res64: F2E6747803376FDB Time : 0.0 sec. user=mdettweiler [2016-10-21 21:16:44] 703*2^1443487-1 is not prime. Res64: CCADDD41392D37A6 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:29:21] 705*2^1443487-1 is not prime. Res64: 3AD5D32B99462033 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:29:22] 873*2^1443487-1 is not prime. Res64: 44DB51E513A53295 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:29:22] 945*2^1443487-1 is not prime. Res64: 819D15C7EB86EB93 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:29:23] 975*2^1443487-1 is not prime. Res64: 1F4E611FB0FC4703 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:29:23] 633*2^1443488-1 is not prime. Res64: D42D243EF53A06F2 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:43:16] 677*2^1443488-1 is not prime. Res64: E555318DA52B58DF Time : 0.0 sec. user=mdettweiler [2016-10-21 21:43:18] 699*2^1443488-1 is not prime. Res64: F4EE00310C13C25F Time : 0.0 sec. user=mdettweiler [2016-10-21 21:43:19] 743*2^1443488-1 is not prime. Res64: B9C26AFC08625ED8 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:43:20] 747*2^1443488-1 is not prime. Res64: 4E5814BEA7F81231 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:43:21] 797*2^1443488-1 is not prime. Res64: 94E3136F7E0AACFD Time : 0.0 sec. user=mdettweiler [2016-10-21 21:59:59] 935*2^1443488-1 is not prime. Res64: 9CE71DEFAB1F8B87 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:59:59] 609*2^1443489-1 is not prime. Res64: EBAD34A618E0C793 Time : 0.0 sec. user=mdettweiler [2016-10-21 21:59:59] 889*2^1443489-1 is not prime. Res64: 5E2725D6B6267A89 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:00:00] 949*2^1443489-1 is not prime. Res64: 0AF1B22B4C937047 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:00:00] 987*2^1443489-1 is not prime. Res64: FEAE5B72A1FED59F Time : 0.0 sec. user=mdettweiler [2016-10-21 22:04:21] 647*2^1443490-1 is not prime. Res64: 0AB5C96489D85E42 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:04:24] 663*2^1443490-1 is not prime. Res64: EEF73C065F1E6716 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:04:25] 687*2^1443490-1 is not prime. Res64: 512A8BC66E52056F Time : 0.0 sec. user=mdettweiler [2016-10-21 22:04:26] 735*2^1443490-1 is not prime. Res64: 1AF6E9EADE1AE1CA Time : 0.0 sec. user=mdettweiler [2016-10-21 22:04:28] 755*2^1443490-1 is not prime. Res64: 17C75D3DE2351340 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:20:15] 777*2^1443490-1 is not prime. Res64: D0E8122461FB1BFE Time : 0.0 sec. user=mdettweiler [2016-10-21 22:20:16] 791*2^1443490-1 is not prime. Res64: 326B2C4299934B6E Time : 0.0 sec. user=mdettweiler [2016-10-21 22:20:16] 843*2^1443490-1 is not prime. Res64: 85E583E8E1AC0629 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:20:17] 845*2^1443490-1 is not prime. Res64: B72A80E8E8B77511 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:20:17] 857*2^1443490-1 is not prime. Res64: C66A3549DA4A7A08 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:36:55] 975*2^1443490-1 is not prime. Res64: 43C81F011A97CCB9 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:36:55] 621*2^1443491-1 is not prime. Res64: 68D00BE0ED110969 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:36:56] 669*2^1443491-1 is not prime. Res64: 11D035204D823E89 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:36:56] 841*2^1443491-1 is not prime. Res64: 567F89D8FD80CA28 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:36:56] 903*2^1443491-1 is not prime. Res64: D70EB095D79DE629 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:54:11] 981*2^1443491-1 is not prime. Res64: B3C094B6B91C2351 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:54:11] 639*2^1443492-1 is not prime. Res64: C1A55BCD7A70CDE9 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:54:11] 657*2^1443492-1 is not prime. Res64: 2C31EB044F1F50A2 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:54:12] 665*2^1443492-1 is not prime. Res64: A1F2244C22F4AED8 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:54:12] 683*2^1443492-1 is not prime. Res64: 4D61499BFF82B41F Time : 0.0 sec. user=mdettweiler [2016-10-21 22:57:38] 689*2^1443492-1 is not prime. Res64: 052AC358FA9F5C09 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:57:39] 797*2^1443492-1 is not prime. Res64: 3E349AD57D2A13F7 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:57:39] 809*2^1443492-1 is not prime. Res64: 33281AEBAC014579 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:57:39] 819*2^1443492-1 is not prime. Res64: A127B523DB7712A7 Time : 0.0 sec. user=mdettweiler [2016-10-21 22:57:40] 899*2^1443492-1 is not prime. Res64: 603DFFB86E10E7A5 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:09:19] 923*2^1443492-1 is not prime. Res64: 88748FDCF08054D4 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:09:19] 651*2^1443493-1 is not prime. Res64: A3C7448010020D3E Time : 0.0 sec. user=mdettweiler [2016-10-21 23:09:20] 715*2^1443493-1 is not prime. Res64: 6BDCCE9DFD817F41 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:09:20] 741*2^1443493-1 is not prime. Res64: A39B8BD0FB82D193 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:09:21] 745*2^1443493-1 is not prime. Res64: 8A623F7E0BAC707A Time : 0.0 sec. user=mdettweiler [2016-10-21 23:23:44] 747*2^1443493-1 is not prime. Res64: DA48F11772E37A6E Time : 0.0 sec. user=mdettweiler [2016-10-21 23:23:44] 771*2^1443493-1 is not prime. Res64: 93386E040DFE2685 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:23:44] 855*2^1443493-1 is not prime. Res64: 217B3F9A4366195C Time : 0.0 sec. user=mdettweiler [2016-10-21 23:23:45] 861*2^1443493-1 is not prime. Res64: B58205B0CBFD47B6 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:23:45] 939*2^1443493-1 is not prime. Res64: A611047A7AC4D748 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:39:21] 961*2^1443493-1 is not prime. Res64: 749714F76D2C8DB8 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:39:23] 987*2^1443493-1 is not prime. Res64: FF6ED998C62C76B9 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:39:24] 999*2^1443493-1 is not prime. Res64: 39AC8D1F848C4369 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:39:27] 641*2^1443494-1 is not prime. Res64: CE1D6A6EF914270B Time : 0.0 sec. user=mdettweiler [2016-10-21 23:39:27] 705*2^1443494-1 is not prime. Res64: 7E256DAECB0FF5C6 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:42:50] 773*2^1443494-1 is not prime. Res64: 56E8C80DE17FC474 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:42:51] 797*2^1443494-1 is not prime. Res64: 7B9DF1590BD75322 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:42:52] 831*2^1443494-1 is not prime. Res64: 3DC374CC5D14BFFD Time : 0.0 sec. user=mdettweiler [2016-10-21 23:42:52] 861*2^1443494-1 is not prime. Res64: FD2D56062D34BE0E Time : 0.0 sec. user=mdettweiler [2016-10-21 23:42:53] 915*2^1443494-1 is not prime. Res64: 3BF9F55BD1650217 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:54:24] 945*2^1443494-1 is not prime. Res64: 3998EDE99913DFD8 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:54:25] 741*2^1443495-1 is not prime. Res64: 74080D291132CD40 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:54:25] 859*2^1443495-1 is not prime. Res64: 94833676ABC433F8 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:54:25] 885*2^1443495-1 is not prime. Res64: AB5047A38EF27810 Time : 0.0 sec. user=mdettweiler [2016-10-21 23:54:26] 999*2^1443495-1 is not prime. Res64: 10BA1D80F41707F6 Time : 0.0 sec.