user=mdettweiler [2015-05-31 00:11:20] 661*2^1399797-1 is not prime. Res64: 25CD7DDA7C561F64 Time : 0.0 sec. user=mdettweiler [2015-05-31 00:11:20] 681*2^1399797-1 is not prime. Res64: 25A97FFE84695F5E Time : 0.0 sec. user=mdettweiler [2015-05-31 00:14:45] 691*2^1399797-1 is not prime. Res64: 8C3E1A5CB29D9359 Time : 0.0 sec. user=mdettweiler [2015-05-31 00:14:45] 849*2^1399797-1 is not prime. Res64: 28D0F343AB18B367 Time : 0.0 sec. user=mdettweiler [2015-05-31 00:14:52] 889*2^1399797-1 is not prime. Res64: B530DA8A3C1DF5AA Time : 0.0 sec. user=mdettweiler [2015-05-31 00:14:52] 645*2^1399798-1 is not prime. Res64: 80BC92C02A807F30 Time : 0.0 sec. user=juhehe [2015-05-31 07:15:21] 735*2^1399799-1 is not prime. Res64: 4749B48464A4C328 Time : 0.0 sec. user=mdettweiler [2015-05-31 12:27:24] 647*2^1399798-1 is not prime. Res64: C52143C45AF0F50A Time : 0.0 sec. user=mdettweiler [2015-05-31 12:27:25] 761*2^1399798-1 is not prime. Res64: 5F724409F634F00D Time : 0.0 sec. user=mdettweiler [2015-05-31 12:36:03] 857*2^1399798-1 is not prime. Res64: 1B1EDC302D103E46 Time : 0.0 sec. user=mdettweiler [2015-05-31 12:36:04] 993*2^1399798-1 is not prime. Res64: DE332AD7BD49BAAD Time : 0.0 sec. user=mdettweiler [2015-05-31 12:36:10] 633*2^1399799-1 is not prime. Res64: 95A639359054EE84 Time : 0.0 sec. user=mdettweiler [2015-05-31 12:36:11] 663*2^1399799-1 is not prime. Res64: 823A2B96795F7411 Time : 0.0 sec. user=mdettweiler [2015-05-31 12:36:43] 815*2^1399798-1 is not prime. Res64: 4B0A54BB04E178BC Time : 0.0 sec. user=mdettweiler [2015-05-31 12:36:43] 833*2^1399798-1 is not prime. Res64: E300439A30DF8215 Time : 0.0 sec. user=mdettweiler [2015-05-31 12:45:13] 745*2^1399799-1 is not prime. Res64: F9C1BCA1AC9CBB20 Time : 0.0 sec. user=mdettweiler [2015-05-31 12:45:13] 759*2^1399799-1 is not prime. Res64: E97803FFDE7F58FC Time : 0.0 sec. user=mdettweiler [2015-05-31 12:53:56] 811*2^1399799-1 is not prime. Res64: A1364D1F76C6706F Time : 0.0 sec. user=mdettweiler [2015-05-31 12:53:56] 889*2^1399799-1 is not prime. Res64: 223185B60C73929B Time : 0.0 sec. user=mdettweiler [2015-05-31 12:53:58] 949*2^1399799-1 is not prime. Res64: F4C0ABC8563F659B Time : 0.0 sec. user=mdettweiler [2015-05-31 12:53:58] 991*2^1399799-1 is not prime. Res64: CA1C07DDBBACE120 Time : 0.0 sec. user=mdettweiler [2015-05-31 12:54:25] 665*2^1399800-1 is not prime. Res64: 71B415EE158FF7BA Time : 0.0 sec. user=mdettweiler [2015-05-31 12:54:25] 675*2^1399800-1 is not prime. Res64: 1279C3C1E0F1D5FA Time : 0.0 sec. user=mdettweiler [2015-05-31 13:03:16] 707*2^1399800-1 is not prime. Res64: 48D6883078B8FDDC Time : 0.0 sec. user=mdettweiler [2015-05-31 13:03:18] 717*2^1399800-1 is not prime. Res64: 61056F405BDEDC70 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:12:15] 737*2^1399800-1 is not prime. Res64: 83B73844F7D539D9 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:12:15] 797*2^1399800-1 is not prime. Res64: DD188E967C4F8F8C Time : 0.0 sec. user=mdettweiler [2015-05-31 13:12:23] 819*2^1399800-1 is not prime. Res64: 849938647BEC1A71 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:12:24] 863*2^1399800-1 is not prime. Res64: 1C7F915A39600804 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:12:48] 625*2^1399801-1 is not prime. Res64: 35FF38B417E8DEC4 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:12:48] 685*2^1399801-1 is not prime. Res64: D5D8B5F0EE9B1068 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:21:33] 715*2^1399801-1 is not prime. Res64: 3C00D7EB67B6D247 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:21:33] 717*2^1399801-1 is not prime. Res64: 25FEFE5520D59252 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:30:01] 789*2^1399801-1 is not prime. Res64: D96F1EF8ADC10ECD Time : 0.0 sec. user=mdettweiler [2015-05-31 13:30:01] 889*2^1399801-1 is not prime. Res64: BB554CBD8E9A1E3A Time : 0.0 sec. user=mdettweiler [2015-05-31 13:30:08] 951*2^1399801-1 is not prime. Res64: A7DFA59AA3030435 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:30:09] 975*2^1399801-1 is not prime. Res64: 13ACA8C238D3E195 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:30:35] 627*2^1399802-1 is not prime. Res64: E29D1BE9A5C93913 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:30:35] 633*2^1399802-1 is not prime. Res64: E2B159746C765AD1 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:38:55] 837*2^1399802-1 is not prime. Res64: E68893844CDB115E Time : 0.0 sec. user=mdettweiler [2015-05-31 13:38:55] 887*2^1399802-1 is not prime. Res64: 79698C9ED178FF2F Time : 0.0 sec. user=mdettweiler [2015-05-31 13:47:30] 795*2^1399803-1 is not prime. Res64: 682E32891A98100A Time : 0.0 sec. user=mdettweiler [2015-05-31 13:47:30] 861*2^1399803-1 is not prime. Res64: C3D7CE336755D87F Time : 0.0 sec. user=mdettweiler [2015-05-31 13:47:35] 911*2^1399802-1 is not prime. Res64: 5E3D38286E1A7074 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:47:36] 741*2^1399803-1 is not prime. Res64: 5E5686AB92F223A3 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:48:02] 895*2^1399803-1 is not prime. Res64: 6F330721B0345852 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:48:03] 921*2^1399803-1 is not prime. Res64: 7F6F9CB6D586C186 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:56:36] 949*2^1399803-1 is not prime. Res64: E46A342880E7BC94 Time : 0.0 sec. user=mdettweiler [2015-05-31 13:56:36] 969*2^1399803-1 is not prime. Res64: 06388251A1E3C18E Time : 0.0 sec. user=mdettweiler [2015-05-31 14:05:06] 687*2^1399804-1 is not prime. Res64: A16939DF7F88C50E Time : 0.0 sec. user=mdettweiler [2015-05-31 14:05:08] 825*2^1399804-1 is not prime. Res64: 2BBA2258CE0DDDB1 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:05:21] 869*2^1399804-1 is not prime. Res64: 055D0BC2C8F7F6DB Time : 0.0 sec. user=mdettweiler [2015-05-31 14:05:23] 923*2^1399804-1 is not prime. Res64: 3F8F20F545F5B8A0 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:05:47] 675*2^1399805-1 is not prime. Res64: B54562579BE13936 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:05:48] 697*2^1399805-1 is not prime. Res64: 7510A77D4C61505E Time : 0.0 sec. user=mdettweiler [2015-05-31 14:14:01] 847*2^1399805-1 is not prime. Res64: 75978F9DCA944929 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:14:02] 897*2^1399805-1 is not prime. Res64: 57F5DD84F8B5A1BC Time : 0.0 sec. user=mdettweiler [2015-05-31 14:22:48] 939*2^1399805-1 is not prime. Res64: 05E8BEF0B22D1F38 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:22:48] 985*2^1399805-1 is not prime. Res64: BBBF0192F4EE4B19 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:22:59] 991*2^1399805-1 is not prime. Res64: 58ACED9BBF2707BD Time : 0.0 sec. user=mdettweiler [2015-05-31 14:22:59] 717*2^1399806-1 is not prime. Res64: 4AF1E261A5951754 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:23:20] 767*2^1399806-1 is not prime. Res64: FE96D47DF261BC49 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:23:20] 825*2^1399806-1 is not prime. Res64: A4649E9535655551 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:31:42] 893*2^1399806-1 is not prime. Res64: 4BF04461DD9D4BC4 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:31:42] 603*2^1399807-1 is not prime. Res64: D213ED7253EFD90A Time : 0.0 sec. user=mdettweiler [2015-05-31 14:40:20] 615*2^1399807-1 is not prime. Res64: 3EF5B45C7465B566 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:40:20] 693*2^1399807-1 is not prime. Res64: C97AB0690225C5D6 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:40:28] 741*2^1399807-1 is not prime. Res64: 6FA3E44848063A26 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:40:28] 775*2^1399807-1 is not prime. Res64: 0E779F6B4B169673 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:40:54] 861*2^1399807-1 is not prime. Res64: 00F99531C4286898 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:40:55] 895*2^1399807-1 is not prime. Res64: 6182B5F54CAEDA0D Time : 0.0 sec. user=mdettweiler [2015-05-31 14:49:20] 901*2^1399807-1 is not prime. Res64: 3FE8237006650347 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:49:20] 615*2^1399808-1 is not prime. Res64: 07702D0D4E9B7CEA Time : 0.0 sec. user=mdettweiler [2015-05-31 14:57:47] 633*2^1399808-1 is not prime. Res64: D28DDA01FE7A5EDC Time : 0.0 sec. user=mdettweiler [2015-05-31 14:57:47] 767*2^1399808-1 is not prime. Res64: C423AED7EE3060B9 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:57:50] 839*2^1399808-1 is not prime. Res64: DFD643004FD22DC4 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:57:51] 843*2^1399808-1 is not prime. Res64: 65FADBD55F4CC391 Time : 0.0 sec. user=mdettweiler [2015-05-31 14:58:16] 869*2^1399808-1 is not prime. Res64: 31D0D139DC38AFAD Time : 0.0 sec. user=mdettweiler [2015-05-31 14:58:17] 909*2^1399808-1 is not prime. Res64: FD5E5FB5272D91DB Time : 0.0 sec. user=mdettweiler [2015-05-31 15:06:49] 957*2^1399808-1 is not prime. Res64: 223A51454CEBB4FF Time : 0.0 sec. user=mdettweiler [2015-05-31 15:06:50] 625*2^1399809-1 is not prime. Res64: 2F6C854B5BDE8356 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:15:13] 769*2^1399809-1 is not prime. Res64: 3D575B74502B3D0F Time : 0.0 sec. user=mdettweiler [2015-05-31 15:15:13] 781*2^1399809-1 is not prime. Res64: 8D6BF97984912AF4 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:15:16] 675*2^1399809-1 is not prime. Res64: 5216978C5C38F4BC Time : 0.0 sec. user=mdettweiler [2015-05-31 15:15:17] 711*2^1399809-1 is not prime. Res64: B24CB2D7AF8F44A0 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:15:39] 817*2^1399809-1 is not prime. Res64: 7CEDA6C04FA4C2DF Time : 0.0 sec. user=mdettweiler [2015-05-31 15:15:39] 885*2^1399809-1 is not prime. Res64: 810836C18293EDD0 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:24:20] 955*2^1399809-1 is not prime. Res64: 5793F3ECB68B06BC Time : 0.0 sec. user=mdettweiler [2015-05-31 15:24:20] 645*2^1399810-1 is not prime. Res64: 86AAD7B135C6EA99 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:32:42] 783*2^1399810-1 is not prime. Res64: 8DF92B3101B92648 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:32:42] 813*2^1399810-1 is not prime. Res64: 31A2526BDFDC85E2 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:32:48] 647*2^1399810-1 is not prime. Res64: 5E87494F7629996A Time : 0.0 sec. user=mdettweiler [2015-05-31 15:32:49] 665*2^1399810-1 is not prime. Res64: 9A1B65519729D9AC Time : 0.0 sec. user=mdettweiler [2015-05-31 15:33:08] 917*2^1399810-1 is not prime. Res64: 8E3BA0B0DB9E26B7 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:33:08] 945*2^1399810-1 is not prime. Res64: 07C72B5CD43958C1 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:41:41] 971*2^1399810-1 is not prime. Res64: ADBBA96748F088DF Time : 0.0 sec. user=mdettweiler [2015-05-31 15:41:41] 631*2^1399811-1 is not prime. Res64: 1B729F6178AF868F Time : 0.0 sec. user=mdettweiler [2015-05-31 15:50:10] 775*2^1399811-1 is not prime. Res64: 1CF5725B4A4B68A8 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:50:10] 627*2^1399812-1 is not prime. Res64: 8D4427C16884683F Time : 0.0 sec. user=mdettweiler [2015-05-31 15:50:10] 843*2^1399811-1 is not prime. Res64: EA88F7BBC5D94A8C Time : 0.0 sec. user=mdettweiler [2015-05-31 15:50:10] 693*2^1399812-1 is not prime. Res64: 753C41A5B87D54B5 Time : 0.0 sec. user=mdettweiler [2015-05-31 15:50:28] 723*2^1399812-1 is not prime. Res64: F08546C58148B51F Time : 0.0 sec. user=mdettweiler [2015-05-31 15:50:29] 725*2^1399812-1 is not prime. Res64: BFE811C4E1CA77DC Time : 0.0 sec. user=mdettweiler [2015-05-31 15:59:00] 767*2^1399812-1 is not prime. Res64: FF85EBCEC0AB679B Time : 0.0 sec. user=mdettweiler [2015-05-31 15:59:00] 779*2^1399812-1 is not prime. Res64: 3B22376016351EEC Time : 0.0 sec. user=mdettweiler [2015-05-31 16:07:35] 863*2^1399812-1 is not prime. Res64: 410514DC20BF5249 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:07:36] 945*2^1399812-1 is not prime. Res64: C8BB6F01B8336887 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:07:37] 947*2^1399812-1 is not prime. Res64: 4E6B59D312BE75A1 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:07:38] 983*2^1399812-1 is not prime. Res64: AE563C23DDF7D0BE Time : 0.0 sec. user=mdettweiler [2015-05-31 16:07:52] 609*2^1399813-1 is not prime. Res64: 272D3E6EC0998FD6 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:07:53] 801*2^1399813-1 is not prime. Res64: 6CA2B91B41524F51 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:16:24] 861*2^1399813-1 is not prime. Res64: 08B7DFCE86EC530E Time : 0.0 sec. user=mdettweiler [2015-05-31 16:16:24] 915*2^1399813-1 is not prime. Res64: 359146F16081BC98 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:25:06] 677*2^1399814-1 is not prime. Res64: 0FA4ED9FF2D5B61C Time : 0.0 sec. user=mdettweiler [2015-05-31 16:25:06] 795*2^1399814-1 is not prime. Res64: 52D19D1C73250901 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:25:13] 827*2^1399814-1 is not prime. Res64: 68FD5F28F69485DF Time : 0.0 sec. user=mdettweiler [2015-05-31 16:25:14] 857*2^1399814-1 is not prime. Res64: 539DEA01456FEC28 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:25:24] 917*2^1399814-1 is not prime. Res64: A8DD99A160DE5734 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:25:24] 639*2^1399815-1 is not prime. Res64: 711162D50080542E Time : 0.0 sec. user=mdettweiler [2015-05-31 16:33:49] 693*2^1399815-1 is not prime. Res64: 8E7840C50EBC634E Time : 0.0 sec. user=mdettweiler [2015-05-31 16:33:50] 885*2^1399815-1 is not prime. Res64: FDC2434D8A1F80EE Time : 0.0 sec. user=mdettweiler [2015-05-31 16:42:32] 963*2^1399815-1 is not prime. Res64: 000E307710DFD2E8 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:42:32] 653*2^1399816-1 is not prime. Res64: 1A44BB4166F9283F Time : 0.0 sec. user=mdettweiler [2015-05-31 16:42:47] 675*2^1399816-1 is not prime. Res64: 0E6944F208665C87 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:42:47] 855*2^1399816-1 is not prime. Res64: 11D0D15A19ADF2AF Time : 0.0 sec. user=mdettweiler [2015-05-31 16:42:47] 813*2^1399816-1 is not prime. Res64: 7E02373BAE1DAFF5 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:42:48] 631*2^1399817-1 is not prime. Res64: EEB43155D1E6B7F5 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:51:44] 697*2^1399817-1 is not prime. Res64: FBB142D37487E168 Time : 0.0 sec. user=mdettweiler [2015-05-31 16:51:44] 711*2^1399817-1 is not prime. Res64: 3DEFB4FF871A3D83 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:01:56] 735*2^1399817-1 is not prime. Res64: 53F54CE247708153 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:01:57] 759*2^1399817-1 is not prime. Res64: ED232DDDA00041CB Time : 0.0 sec. user=mdettweiler [2015-05-31 17:02:07] 633*2^1399818-1 is not prime. Res64: 6AC89885E8820655 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:02:08] 635*2^1399818-1 is not prime. Res64: 9010243377E9C317 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:02:23] 665*2^1399818-1 is not prime. Res64: 98269620FEF18145 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:02:23] 681*2^1399818-1 is not prime. Res64: C995C4CE2659ED3B Time : 0.0 sec. user=mdettweiler [2015-05-31 17:11:39] 683*2^1399818-1 is not prime. Res64: 7E83882EF61ECB00 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:11:39] 755*2^1399818-1 is not prime. Res64: 0C222F3C566C7A41 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:21:22] 933*2^1399818-1 is not prime. Res64: 29FB86588CBB8ADA Time : 0.0 sec. user=mdettweiler [2015-05-31 17:21:22] 619*2^1399819-1 is not prime. Res64: 7958458548DF065C Time : 0.0 sec. user=mdettweiler [2015-05-31 17:21:43] 791*2^1399818-1 is not prime. Res64: B15AE5CF17054D5E Time : 0.0 sec. user=mdettweiler [2015-05-31 17:21:44] 875*2^1399818-1 is not prime. Res64: 1E87219D02784E32 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:21:55] 649*2^1399819-1 is not prime. Res64: 15FB745AE8BDDEE4 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:21:55] 679*2^1399819-1 is not prime. Res64: E3A29E7F384164D5 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:31:46] 733*2^1399819-1 is not prime. Res64: 9FC92DBB9E65BDD3 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:31:46] 961*2^1399819-1 is not prime. Res64: 440A148CC472902C Time : 0.0 sec. user=mdettweiler [2015-05-31 17:42:22] 615*2^1399820-1 is not prime. Res64: BDC6CF9A51E49E1E Time : 0.0 sec. user=mdettweiler [2015-05-31 17:42:22] 659*2^1399820-1 is not prime. Res64: 3CB0D55E31B49C27 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:42:29] 735*2^1399820-1 is not prime. Res64: 36DD41E55640D83D Time : 0.0 sec. user=mdettweiler [2015-05-31 17:42:29] 777*2^1399820-1 is not prime. Res64: 86FC48AF971FFFD1 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:42:49] 893*2^1399820-1 is not prime. Res64: E4F82B1DD8435736 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:42:49] 983*2^1399820-1 is not prime. Res64: 79CCC4A4893BC350 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:51:25] 615*2^1399821-1 is not prime. Res64: FDA2C79DD355D083 Time : 0.0 sec. user=mdettweiler [2015-05-31 17:51:25] 649*2^1399821-1 is not prime. Res64: 082D972C127B8DF8 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:01:49] 781*2^1399821-1 is not prime. Res64: D1AA8DAB4A8CD200 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:01:50] 867*2^1399821-1 is not prime. Res64: BDDFB689A5E2553A Time : 0.0 sec. user=mdettweiler [2015-05-31 18:01:59] 927*2^1399821-1 is not prime. Res64: 0A12B3E1AB5C3B54 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:02:02] 991*2^1399821-1 is not prime. Res64: 11C134C705A94CB2 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:02:17] 997*2^1399821-1 is not prime. Res64: 8DB96A017E6746ED Time : 0.0 sec. user=mdettweiler [2015-05-31 18:02:18] 603*2^1399822-1 is not prime. Res64: 606AF87D8BAC751A Time : 0.0 sec. user=mdettweiler [2015-05-31 18:11:18] 623*2^1399822-1 is not prime. Res64: 12B2E703E4F7091E Time : 0.0 sec. user=mdettweiler [2015-05-31 18:11:19] 671*2^1399822-1 is not prime. Res64: 16F5D31EB182937C Time : 0.0 sec. user=mdettweiler [2015-05-31 18:21:29] 717*2^1399822-1 is not prime. Res64: F6F208698FA807B6 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:21:29] 737*2^1399822-1 is not prime. Res64: 1373F34620B44DA2 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:21:45] 843*2^1399822-1 is not prime. Res64: F223CB3533D01C03 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:21:45] 891*2^1399822-1 is not prime. Res64: E8554DD84251E8BC Time : 0.0 sec. user=mdettweiler [2015-05-31 18:21:51] 945*2^1399822-1 is not prime. Res64: BEFFA28580A14F9B Time : 0.0 sec. user=mdettweiler [2015-05-31 18:21:51] 649*2^1399823-1 is not prime. Res64: 30D63E634BDF9C41 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:33:48] 669*2^1399823-1 is not prime. Res64: 074A4B7E1F27D775 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:33:49] 693*2^1399823-1 is not prime. Res64: 647F8AB44CA50F03 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:41:10] 703*2^1399823-1 is not prime. Res64: 1BC484F8B5002062 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:41:10] 753*2^1399823-1 is not prime. Res64: 58378AF31CCD61D3 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:41:15] 973*2^1399823-1 is not prime. Res64: 6762CF7F13045FCF Time : 0.0 sec. user=mdettweiler [2015-05-31 18:41:16] 707*2^1399824-1 is not prime. Res64: 4530992FF1021129 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:41:43] 825*2^1399823-1 is not prime. Res64: CAC4F1ADA783FCD2 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:41:43] 915*2^1399823-1 is not prime. Res64: 4CFBA341FFDB0B50 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:54:10] 759*2^1399824-1 is not prime. Res64: 7C14325EBF57C742 Time : 0.0 sec. user=mdettweiler [2015-05-31 18:54:11] 843*2^1399824-1 is not prime. Res64: BFC693D6197A63C9 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:00:33] 893*2^1399824-1 is not prime. Res64: 12D0AA25D9F58DFA Time : 0.0 sec. user=mdettweiler [2015-05-31 19:00:34] 945*2^1399824-1 is not prime. Res64: D3C8584077B9AEBF Time : 0.0 sec. user=mdettweiler [2015-05-31 19:00:52] 969*2^1399824-1 is not prime. Res64: A7CEE537500A150E Time : 0.0 sec. user=mdettweiler [2015-05-31 19:00:53] 607*2^1399825-1 is not prime. Res64: E861A8F35FF05922 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:00:59] 909*2^1399825-1 is not prime. Res64: 100622EE27BCCFE1 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:01:00] 955*2^1399825-1 is not prime. Res64: 60B32857835AF07D Time : 0.0 sec. user=mdettweiler [2015-05-31 19:11:41] 975*2^1399825-1 is not prime. Res64: F0D14FD41797FAEC Time : 0.0 sec. user=mdettweiler [2015-05-31 19:11:42] 633*2^1399826-1 is not prime. Res64: A94C78B44AEF1A82 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:18:11] 683*2^1399826-1 is not prime. Res64: 3C57299D4968BD9F Time : 0.0 sec. user=mdettweiler [2015-05-31 19:18:11] 831*2^1399826-1 is not prime. Res64: 0E22C5391747CF32 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:18:21] 843*2^1399826-1 is not prime. Res64: F24D592C90911F94 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:18:21] 987*2^1399826-1 is not prime. Res64: BA32EF56070083D6 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:18:27] 1001*2^1399826-1 is not prime. Res64: 8C49D6018E0334F9 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:18:27] 651*2^1399827-1 is not prime. Res64: ED7CBA4EFCA16F7C Time : 0.0 sec. user=mdettweiler [2015-05-31 19:29:27] 711*2^1399827-1 is not prime. Res64: 48F7B0E9A4AEA350 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:29:27] 805*2^1399827-1 is not prime. Res64: A52A22EE57FCCD21 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:36:34] 955*2^1399827-1 is not prime. Res64: 25690638692E6DE3 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:36:35] 985*2^1399827-1 is not prime. Res64: F9C6BAD43183C677 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:36:36] 819*2^1399827-1 is not prime. Res64: 7F31E0DBF9CFCDC6 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:36:36] 895*2^1399827-1 is not prime. Res64: A6FE3BEC8D628C5D Time : 0.0 sec. user=mdettweiler [2015-05-31 19:36:53] 699*2^1399828-1 is not prime. Res64: F39361495064DAC5 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:36:53] 749*2^1399828-1 is not prime. Res64: 34575905AA91C4CA Time : 0.0 sec. user=mdettweiler [2015-05-31 19:48:41] 995*2^1399828-1 is not prime. Res64: 4C98849972ED8F29 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:48:42] 759*2^1399829-1 is not prime. Res64: 806C530DC63889F1 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:55:38] 885*2^1399829-1 is not prime. Res64: 428D72D88FC70944 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:55:38] 925*2^1399829-1 is not prime. Res64: 0E57AE7D68700CDF Time : 0.0 sec. user=mdettweiler [2015-05-31 19:56:02] 831*2^1399829-1 is not prime. Res64: AF7DA44BD85FC722 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:56:02] 837*2^1399829-1 is not prime. Res64: 435438A570119ACC Time : 0.0 sec. user=mdettweiler [2015-05-31 19:56:04] 723*2^1399830-1 is not prime. Res64: 25BD2C276CC550B6 Time : 0.0 sec. user=mdettweiler [2015-05-31 19:56:04] 765*2^1399830-1 is not prime. Res64: 1B38421299E725DF Time : 0.0 sec. user=mdettweiler [2015-05-31 20:07:56] 921*2^1399830-1 is not prime. Res64: 2247DB528A795B2E Time : 0.0 sec. user=mdettweiler [2015-05-31 20:07:57] 951*2^1399830-1 is not prime. Res64: ECBDFED6131FDA8E Time : 0.0 sec. user=mdettweiler [2015-05-31 20:14:15] 603*2^1399831-1 is not prime. Res64: 4C1919B153CC9985 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:14:16] 619*2^1399831-1 is not prime. Res64: E7BD4C22743B3BD6 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:14:42] 685*2^1399831-1 is not prime. Res64: 3800AF9274ED5666 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:14:42] 745*2^1399831-1 is not prime. Res64: 628196CF61B6EB36 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:14:48] 625*2^1399831-1 is not prime. Res64: 9D5FB9EB052D76AA Time : 0.0 sec. user=mdettweiler [2015-05-31 20:14:48] 681*2^1399831-1 is not prime. Res64: A62C4689F7C4F5FF Time : 0.0 sec. user=mdettweiler [2015-05-31 20:26:36] 969*2^1399831-1 is not prime. Res64: BD71FF7D215F4102 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:26:36] 617*2^1399832-1 is not prime. Res64: 0B25E8E2B38C8A74 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:33:51] 669*2^1399832-1 is not prime. Res64: 7A8B861B470B90A4 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:33:51] 699*2^1399832-1 is not prime. Res64: 801E31F4C84421AD Time : 0.0 sec. user=mdettweiler [2015-05-31 20:34:12] 725*2^1399832-1 is not prime. Res64: 1FEF23419F3E0E35 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:34:12] 797*2^1399832-1 is not prime. Res64: 62D7D498CC7F8266 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:34:21] 917*2^1399832-1 is not prime. Res64: 57AA955E3210BBB8 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:34:22] 983*2^1399832-1 is not prime. Res64: 06C6A8B2FAB3C051 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:45:31] 615*2^1399833-1 is not prime. Res64: 2615B2F95C882576 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:45:32] 657*2^1399833-1 is not prime. Res64: 3BFAECBB24642756 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:52:15] 691*2^1399833-1 is not prime. Res64: 14BDA84D5F9431D0 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:52:15] 741*2^1399833-1 is not prime. Res64: D88C909917C8745C Time : 0.0 sec. user=mdettweiler [2015-05-31 20:52:25] 871*2^1399833-1 is not prime. Res64: 5A31125572116712 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:52:25] 915*2^1399833-1 is not prime. Res64: 45F5C72E29A24C2A Time : 0.0 sec. user=mdettweiler [2015-05-31 20:52:52] 605*2^1399834-1 is not prime. Res64: EE0568A564F36675 Time : 0.0 sec. user=mdettweiler [2015-05-31 20:52:53] 651*2^1399834-1 is not prime. Res64: E3806D895BB1B68C Time : 0.0 sec. user=mdettweiler [2015-05-31 21:05:02] 675*2^1399834-1 is not prime. Res64: 3C0745F78CAD0FF1 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:05:03] 707*2^1399834-1 is not prime. Res64: DE50823B5B0AECC1 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:11:30] 741*2^1399834-1 is not prime. Res64: 500FCE7326DF717C Time : 0.0 sec. user=mdettweiler [2015-05-31 21:11:30] 755*2^1399834-1 is not prime. Res64: 1AAD002D5CFB8D68 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:11:47] 791*2^1399834-1 is not prime. Res64: 8B5EF852479B519B Time : 0.0 sec. user=mdettweiler [2015-05-31 21:11:47] 803*2^1399834-1 is not prime. Res64: 20CF4C14FC279463 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:12:25] 861*2^1399834-1 is not prime. Res64: 0EDE5ADEB1DD2DB1 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:12:25] 1001*2^1399834-1 is not prime. Res64: 40051F78C757C4A3 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:24:52] 601*2^1399835-1 is not prime. Res64: 4F88AF13A86A7853 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:24:53] 643*2^1399835-1 is not prime. Res64: 3D634E8D8CA1625D Time : 0.0 sec. user=mdettweiler [2015-05-31 21:30:13] 693*2^1399835-1 is not prime. Res64: 9E2180309AA8D6E1 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:30:14] 699*2^1399835-1 is not prime. Res64: E752949D98459607 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:30:35] 985*2^1399835-1 is not prime. Res64: B4EC109CEA755900 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:30:35] 635*2^1399836-1 is not prime. Res64: F166DEDAE8ABC45F Time : 0.0 sec. user=mdettweiler [2015-05-31 21:31:00] 765*2^1399836-1 is not prime. Res64: 4A26E9104CD339D0 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:31:01] 777*2^1399836-1 is not prime. Res64: 45D3566A349068D1 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:43:25] 783*2^1399836-1 is not prime. Res64: 8F454A8A105DAAEF Time : 0.0 sec. user=mdettweiler [2015-05-31 21:43:25] 845*2^1399836-1 is not prime. Res64: D01EA9A837F09C0E Time : 0.0 sec. user=mdettweiler [2015-05-31 21:49:12] 875*2^1399836-1 is not prime. Res64: F54D09B5CB7EEAAF Time : 0.0 sec. user=mdettweiler [2015-05-31 21:49:12] 975*2^1399836-1 is not prime. Res64: 8F9D9198EA11BD15 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:49:39] 687*2^1399837-1 is not prime. Res64: 2CB4439F03B2038C Time : 0.0 sec. user=mdettweiler [2015-05-31 21:49:39] 805*2^1399837-1 is not prime. Res64: 46868EB63C90E5B8 Time : 0.0 sec. user=mdettweiler [2015-05-31 21:50:11] 829*2^1399837-1 is not prime. Res64: 4EBF795B580DC58C Time : 0.0 sec. user=mdettweiler [2015-05-31 21:50:11] 939*2^1399837-1 is not prime. Res64: 309D9026C36DD9FD Time : 0.0 sec. user=mdettweiler [2015-05-31 22:02:28] 663*2^1399838-1 is not prime. Res64: D161D200CDD2B3BA Time : 0.0 sec. user=mdettweiler [2015-05-31 22:02:28] 791*2^1399838-1 is not prime. Res64: 85A8FB23BE960346 Time : 0.0 sec. user=mdettweiler [2015-05-31 22:08:24] 971*2^1399838-1 is not prime. Res64: 03EB908E9D9CE8A1 Time : 0.0 sec. user=mdettweiler [2015-05-31 22:08:25] 693*2^1399839-1 is not prime. Res64: 365BFE40EEE25703 Time : 0.0 sec. user=mdettweiler [2015-05-31 22:08:56] 721*2^1399839-1 is not prime. Res64: EA8A5103ACF3B283 Time : 0.0 sec. user=mdettweiler [2015-05-31 22:08:57] 831*2^1399839-1 is not prime. Res64: 6F065CBDD58E5A67 Time : 0.0 sec. user=mdettweiler [2015-05-31 22:09:17] 879*2^1399839-1 is not prime. Res64: 6ED0E2E943818270 Time : 0.0 sec. user=mdettweiler [2015-05-31 22:09:17] 961*2^1399839-1 is not prime. Res64: 8DACCF5E2118BA7E Time : 0.0 sec.