user=mdettweiler [2015-08-05 00:08:18] 833*2^1405340-1 is not prime. Res64: 01F360BAB088292A Time : 0.0 sec. user=mdettweiler [2015-08-05 00:08:18] 885*2^1405340-1 is not prime. Res64: F67BF6F84DF9E9F4 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:11:55] 983*2^1405340-1 is not prime. Res64: 684D4A248CA9BB2C Time : 0.0 sec. user=mdettweiler [2015-08-05 00:11:56] 625*2^1405341-1 is not prime. Res64: 6FF315A4A858EA0D Time : 0.0 sec. user=mdettweiler [2015-08-05 00:16:30] 639*2^1405341-1 is not prime. Res64: 52A4868801AC6084 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:16:30] 649*2^1405341-1 is not prime. Res64: 2D13BFE86AC7579B Time : 0.0 sec. user=mdettweiler [2015-08-05 00:18:03] 819*2^1405341-1 is not prime. Res64: 744405E2DE7FE260 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:18:03] 927*2^1405341-1 is not prime. Res64: D81F61F8D8DD3F13 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:25:52] 937*2^1405341-1 is not prime. Res64: 758B76304217D3E7 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:25:53] 651*2^1405342-1 is not prime. Res64: 597BCBE3614F33F9 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:29:32] 785*2^1405342-1 is not prime. Res64: 8721A07B83D08316 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:29:33] 917*2^1405342-1 is not prime. Res64: A7DCB398E34D7D1E Time : 0.0 sec. user=mdettweiler [2015-08-05 00:33:56] 923*2^1405342-1 is not prime. Res64: 90F63D8FD70D73A0 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:33:57] 983*2^1405342-1 is not prime. Res64: C4284E865864C210 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:35:35] 987*2^1405342-1 is not prime. Res64: CB5E7A82E0972BA0 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:35:35] 783*2^1405343-1 is not prime. Res64: 3E566FF281B379B4 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:43:24] 805*2^1405343-1 is not prime. Res64: 83D71B05244BFAFD Time : 0.0 sec. user=mdettweiler [2015-08-05 00:43:25] 913*2^1405343-1 is not prime. Res64: FEB5F0CD803FFECE Time : 0.0 sec. user=mdettweiler [2015-08-05 00:47:11] 999*2^1405343-1 is not prime. Res64: 16C0025587F559F8 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:47:12] 605*2^1405344-1 is not prime. Res64: ACDB7C07E945E804 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:51:36] 717*2^1405344-1 is not prime. Res64: 2248271CCAA90A19 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:51:37] 789*2^1405344-1 is not prime. Res64: 7CCDD3BB6D57AFB0 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:53:24] 863*2^1405344-1 is not prime. Res64: CD76133C37C5588D Time : 0.0 sec. user=mdettweiler [2015-08-05 00:53:25] 601*2^1405345-1 is not prime. Res64: A70F78038ED17D37 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:01:03] 651*2^1405345-1 is not prime. Res64: DD8C59D00D1FBB1A Time : 0.0 sec. user=mdettweiler [2015-08-05 01:01:04] 727*2^1405345-1 is not prime. Res64: F1873AD4A9765847 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:04:48] 771*2^1405345-1 is not prime. Res64: 7F52F72E1BF55C5C Time : 0.0 sec. user=mdettweiler [2015-08-05 01:04:49] 831*2^1405345-1 is not prime. Res64: 37073D2968B1BB58 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:09:13] 871*2^1405345-1 is not prime. Res64: 4A2B7A1A77CD3A6E Time : 0.0 sec. user=mdettweiler [2015-08-05 01:09:13] 919*2^1405345-1 is not prime. Res64: 1452401909F4245F Time : 0.0 sec. user=mdettweiler [2015-08-05 01:11:04] 985*2^1405345-1 is not prime. Res64: 68B82B13FE5374D8 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:11:04] 705*2^1405346-1 is not prime. Res64: 67CD1002F86B9ADC Time : 0.0 sec. user=mdettweiler [2015-08-05 01:19:30] 713*2^1405346-1 is not prime. Res64: EEF9B36A9A70D1D1 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:19:30] 773*2^1405346-1 is not prime. Res64: 2BF1A9191E1F6494 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:23:36] 825*2^1405346-1 is not prime. Res64: 5D5DD1C0856AE958 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:23:37] 861*2^1405346-1 is not prime. Res64: 2C241216EC21EE47 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:28:13] 691*2^1405347-1 is not prime. Res64: 09BE13A075839064 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:28:14] 705*2^1405347-1 is not prime. Res64: 300579DBA035960A Time : 0.0 sec. user=mdettweiler [2015-08-05 01:30:02] 873*2^1405347-1 is not prime. Res64: 9385CEADD91819BE Time : 0.0 sec. user=mdettweiler [2015-08-05 01:30:03] 879*2^1405347-1 is not prime. Res64: 722FA80D06A7F492 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:38:13] 909*2^1405347-1 is not prime. Res64: 30D51D0EDDF7DF4A Time : 0.0 sec. user=mdettweiler [2015-08-05 01:38:14] 931*2^1405347-1 is not prime. Res64: FCA6345D9CB6D839 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:41:35] 723*2^1405348-1 is not prime. Res64: 60AB97A88A5A0079 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:41:35] 743*2^1405348-1 is not prime. Res64: 2863CFA635740D05 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:46:35] 839*2^1405348-1 is not prime. Res64: F6BFE3D1E18C3604 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:46:35] 855*2^1405348-1 is not prime. Res64: 64106812083AB990 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:48:14] 933*2^1405348-1 is not prime. Res64: 0C4643F7568129F4 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:48:15] 957*2^1405348-1 is not prime. Res64: F4A7479BCB195153 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:55:53] 741*2^1405349-1 is not prime. Res64: B7F37FF6A6C599BF Time : 0.0 sec. user=mdettweiler [2015-08-05 01:55:54] 927*2^1405349-1 is not prime. Res64: 4CC35AA0478B4336 Time : 0.0 sec. user=mdettweiler [2015-08-05 01:59:12] 939*2^1405349-1 is not prime. Res64: 67DD10F60709AA9A Time : 0.0 sec. user=mdettweiler [2015-08-05 01:59:12] 969*2^1405349-1 is not prime. Res64: 6101F36579B405C9 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:04:11] 641*2^1405350-1 is not prime. Res64: EB561A51DC3CD74C Time : 0.0 sec. user=mdettweiler [2015-08-05 02:04:13] 777*2^1405350-1 is not prime. Res64: 05090DDE18033AEE Time : 0.0 sec. user=mdettweiler [2015-08-05 02:05:52] 851*2^1405350-1 is not prime. Res64: F5D542E93DAB697F Time : 0.0 sec. user=mdettweiler [2015-08-05 02:05:53] 885*2^1405350-1 is not prime. Res64: 7DCF843DE1BF5B12 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:13:27] 915*2^1405350-1 is not prime. Res64: 339503753581132A Time : 0.0 sec. user=mdettweiler [2015-08-05 02:13:27] 971*2^1405350-1 is not prime. Res64: 6480A6E1769C6232 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:16:43] 609*2^1405351-1 is not prime. Res64: 8BFA45BE97AEC54C Time : 0.0 sec. user=mdettweiler [2015-08-05 02:16:44] 645*2^1405351-1 is not prime. Res64: B10E958E741EBA1E Time : 0.0 sec. user=mdettweiler [2015-08-05 02:21:48] 741*2^1405351-1 is not prime. Res64: 4799200D3E607B77 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:21:48] 745*2^1405351-1 is not prime. Res64: 3C370B2DF14CBC14 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:23:38] 883*2^1405351-1 is not prime. Res64: B0B9E95742017324 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:23:38] 603*2^1405352-1 is not prime. Res64: 00AC5B71E3A86FA2 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:31:25] 605*2^1405352-1 is not prime. Res64: A8C2F81D1C9E93E7 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:31:26] 699*2^1405352-1 is not prime. Res64: D0F60774C5606B74 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:34:58] 815*2^1405352-1 is not prime. Res64: E6C7892FE2B1072B Time : 0.0 sec. user=mdettweiler [2015-08-05 02:34:59] 837*2^1405352-1 is not prime. Res64: C000F36B4C97C6F0 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:40:02] 843*2^1405352-1 is not prime. Res64: 4FD2973DB74A4BBE Time : 0.0 sec. user=mdettweiler [2015-08-05 02:40:02] 903*2^1405352-1 is not prime. Res64: 48EF1ED8D846E1B4 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:41:40] 607*2^1405353-1 is not prime. Res64: 95877F4138C1BB72 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:41:40] 681*2^1405353-1 is not prime. Res64: FF3E9C3FBD9591F0 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:49:15] 705*2^1405353-1 is not prime. Res64: 9671203C22E8A557 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:49:15] 741*2^1405353-1 is not prime. Res64: 00F1673A19BA3A20 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:52:38] 915*2^1405353-1 is not prime. Res64: 21598C90666B0ECF Time : 0.0 sec. user=mdettweiler [2015-08-05 02:52:38] 919*2^1405353-1 is not prime. Res64: 8E64C4B1361CBF38 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:57:44] 955*2^1405353-1 is not prime. Res64: A36822A91ED27924 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:57:45] 969*2^1405353-1 is not prime. Res64: CA52D5A4D1B9F764 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:59:18] 987*2^1405353-1 is not prime. Res64: 478E0B58173D3465 Time : 0.0 sec. user=mdettweiler [2015-08-05 02:59:19] 621*2^1405354-1 is not prime. Res64: CC17B0E674AAACD0 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:06:51] 741*2^1405354-1 is not prime. Res64: B3E58EAFF9FEA995 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:06:52] 765*2^1405354-1 is not prime. Res64: 4BFF70824468721E Time : 0.0 sec. user=mdettweiler [2015-08-05 03:10:14] 825*2^1405354-1 is not prime. Res64: 4B8A7164F581D571 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:10:14] 923*2^1405354-1 is not prime. Res64: 172C0803011B92A3 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:15:17] 619*2^1405355-1 is not prime. Res64: 760DD51703E3DB40 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:15:18] 651*2^1405355-1 is not prime. Res64: EF9F14118F89E0D8 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:16:54] 739*2^1405355-1 is not prime. Res64: 1C0F9AF218D3430F Time : 0.0 sec. user=mdettweiler [2015-08-05 03:16:54] 775*2^1405355-1 is not prime. Res64: EAA508CE5382D146 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:24:35] 783*2^1405355-1 is not prime. Res64: E24BC444AFF8DB11 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:24:35] 823*2^1405355-1 is not prime. Res64: 6C8273BF327A0B16 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:27:50] 633*2^1405356-1 is not prime. Res64: 6DAF1D26F40C57E8 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:27:51] 689*2^1405356-1 is not prime. Res64: 3C27C93F5A2C9594 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:32:49] 693*2^1405356-1 is not prime. Res64: DC851F34D1FF93F3 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:32:50] 723*2^1405356-1 is not prime. Res64: DC202B96E7C6DE51 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:34:32] 765*2^1405356-1 is not prime. Res64: 894C9AFD30836726 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:34:33] 993*2^1405356-1 is not prime. Res64: 03713BD885DD4322 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:42:07] 609*2^1405357-1 is not prime. Res64: 254C6C220469058A Time : 0.0 sec. user=mdettweiler [2015-08-05 03:42:10] 639*2^1405357-1 is not prime. Res64: B22C9B3B08D3614E Time : 0.0 sec. user=mdettweiler [2015-08-05 03:45:22] 825*2^1405357-1 is not prime. Res64: 4473FA0B265A566B Time : 0.0 sec. user=mdettweiler [2015-08-05 03:45:23] 939*2^1405357-1 is not prime. Res64: F65DEC47F66929BD Time : 0.0 sec. user=mdettweiler [2015-08-05 03:50:28] 623*2^1405358-1 is not prime. Res64: EAAC7745D28BA7E7 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:50:28] 641*2^1405358-1 is not prime. Res64: 6BE646320BE468D3 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:52:08] 711*2^1405358-1 is not prime. Res64: CAC5CBA6AC6CB9E6 Time : 0.0 sec. user=mdettweiler [2015-08-05 03:52:08] 713*2^1405358-1 is not prime. Res64: 47E9A1721E20485C Time : 0.0 sec. user=mdettweiler [2015-08-05 04:00:00] 797*2^1405358-1 is not prime. Res64: D6A60C2317300879 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:00:01] 897*2^1405358-1 is not prime. Res64: CF3BADD1F0CC4188 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:02:59] 921*2^1405358-1 is not prime. Res64: DCB26B6F5964464A Time : 0.0 sec. user=mdettweiler [2015-08-05 04:03:00] 935*2^1405358-1 is not prime. Res64: 6C41A715058C5D0B Time : 0.0 sec. user=mdettweiler [2015-08-05 04:08:03] 633*2^1405359-1 is not prime. Res64: E681541556312F4C Time : 0.0 sec. user=mdettweiler [2015-08-05 04:08:03] 663*2^1405359-1 is not prime. Res64: EE7CF591AA29414B Time : 0.0 sec. user=mdettweiler [2015-08-05 04:09:44] 793*2^1405359-1 is not prime. Res64: 17FA2BCC938960E1 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:09:44] 895*2^1405359-1 is not prime. Res64: C0628D195D871497 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:17:38] 999*2^1405359-1 is not prime. Res64: 43D3BBA44C254A54 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:17:38] 665*2^1405360-1 is not prime. Res64: 74D5074C20A032A6 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:20:37] 813*2^1405360-1 is not prime. Res64: 469794EDD6882C30 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:20:37] 897*2^1405360-1 is not prime. Res64: 00A13C16B56A7C30 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:25:35] 905*2^1405360-1 is not prime. Res64: 12D0207CEC8139D3 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:25:36] 871*2^1405361-1 is not prime. Res64: 545AD442E524A30D Time : 0.0 sec. user=mdettweiler [2015-08-05 04:27:18] 635*2^1405362-1 is not prime. Res64: 2A34879AAD163473 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:27:18] 887*2^1405362-1 is not prime. Res64: 42C04544D2C2536B Time : 0.0 sec. user=mdettweiler [2015-08-05 04:35:16] 1001*2^1405362-1 is not prime. Res64: 9DED232B4401B49D Time : 0.0 sec. user=mdettweiler [2015-08-05 04:35:17] 609*2^1405363-1 is not prime. Res64: 2E51195353874730 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:38:10] 631*2^1405363-1 is not prime. Res64: DCA2827F934EDB32 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:38:11] 705*2^1405363-1 is not prime. Res64: 474E3C8E1E9C2826 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:43:08] 741*2^1405363-1 is not prime. Res64: D6D2A7927E3074B0 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:43:08] 745*2^1405363-1 is not prime. Res64: 18FF334DEDCD2C73 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:44:52] 783*2^1405363-1 is not prime. Res64: 9EA8B085E8509D31 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:44:52] 861*2^1405363-1 is not prime. Res64: 942DF455BCDBC050 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:52:49] 871*2^1405363-1 is not prime. Res64: EE072655792F1092 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:52:50] 895*2^1405363-1 is not prime. Res64: C81CB18F7634A1A4 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:55:47] 665*2^1405364-1 is not prime. Res64: 298AA5C4C7527636 Time : 0.0 sec. user=mdettweiler [2015-08-05 04:55:47] 759*2^1405364-1 is not prime. Res64: 7BD728C96E94C194 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:00:44] 885*2^1405364-1 is not prime. Res64: D5E0B770251B0E64 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:00:45] 945*2^1405364-1 is not prime. Res64: 916AD17ACD7363FB Time : 0.0 sec. user=mdettweiler [2015-08-05 05:02:30] 601*2^1405365-1 is not prime. Res64: 7B596654F0EEE831 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:02:32] 607*2^1405365-1 is not prime. Res64: 8B0540C14B8B485E Time : 0.0 sec. user=mdettweiler [2015-08-05 05:10:19] 609*2^1405365-1 is not prime. Res64: 509FD239A3C9694C Time : 0.0 sec. user=mdettweiler [2015-08-05 05:10:20] 649*2^1405365-1 is not prime. Res64: 18C7845BA2DFC9C1 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:13:27] 679*2^1405365-1 is not prime. Res64: E61892531A398AB6 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:13:28] 699*2^1405365-1 is not prime. Res64: 55448E6E14802550 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:18:21] 717*2^1405365-1 is not prime. Res64: E7A67A14DBE66856 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:18:21] 877*2^1405365-1 is not prime. Res64: 3C9B12351CDFA028 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:20:16] 861*2^1405366-1 is not prime. Res64: 57A83FACEF1DCC86 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:20:16] 887*2^1405366-1 is not prime. Res64: 320E9898DC010E60 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:28:01] 891*2^1405366-1 is not prime. Res64: 1C03A55504F82372 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:28:02] 917*2^1405366-1 is not prime. Res64: FA93D7286BF7E085 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:31:00] 603*2^1405367-1 is not prime. Res64: 047631EE0A2F2251 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:31:00] 643*2^1405367-1 is not prime. Res64: E8F880A015A7D1BD Time : 0.0 sec. user=mdettweiler [2015-08-05 05:35:49] 663*2^1405367-1 is not prime. Res64: 670506C040E20400 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:35:49] 981*2^1405367-1 is not prime. Res64: 5EFDCDB4A4767414 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:37:48] 695*2^1405368-1 is not prime. Res64: 324CCF804166EC97 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:37:48] 699*2^1405368-1 is not prime. Res64: 0E624801C7C1F81A Time : 0.0 sec. user=mdettweiler [2015-08-05 05:45:33] 839*2^1405368-1 is not prime. Res64: 0BA6402B8872EF4F Time : 0.0 sec. user=mdettweiler [2015-08-05 05:45:33] 959*2^1405368-1 is not prime. Res64: B81FAA3EE23816D2 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:48:39] 609*2^1405369-1 is not prime. Res64: 27BDE6E363588216 Time : 0.0 sec. user=mdettweiler [2015-08-05 05:48:40] 615*2^1405369-1 is not prime. Res64: 61688894685A3C9C Time : 0.0 sec. user=mdettweiler [2015-08-05 05:53:23] 661*2^1405369-1 is not prime. Res64: 8B698FBF30DDA00E Time : 0.0 sec. user=mdettweiler [2015-08-05 05:53:24] 691*2^1405369-1 is not prime. Res64: 24D473F39FA38B1E Time : 0.0 sec. user=mdettweiler [2015-08-05 05:55:27] 807*2^1405369-1 is not prime. Res64: BF73F0C83CDD44FD Time : 0.0 sec. user=mdettweiler [2015-08-05 05:55:27] 811*2^1405369-1 is not prime. Res64: 71C67E07D758983D Time : 0.0 sec. user=mdettweiler [2015-08-05 06:03:16] 885*2^1405369-1 is not prime. Res64: 090E8B512FC78C4E Time : 0.0 sec. user=mdettweiler [2015-08-05 06:03:17] 897*2^1405369-1 is not prime. Res64: 0424FD42B255FFE8 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:06:19] 975*2^1405369-1 is not prime. Res64: B532D6EE310A0283 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:06:20] 665*2^1405370-1 is not prime. Res64: D92BDD14CB130F3A Time : 0.0 sec. user=mdettweiler [2015-08-05 06:10:57] 767*2^1405370-1 is not prime. Res64: 7BBFB73C7E7F5A61 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:10:58] 887*2^1405370-1 is not prime. Res64: 606580C85B7C9294 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:13:00] 915*2^1405370-1 is not prime. Res64: DE07D7B9C3E5302E Time : 0.0 sec. user=mdettweiler [2015-08-05 06:13:00] 927*2^1405370-1 is not prime. Res64: 86A11210664FFA8F Time : 0.0 sec. user=mdettweiler [2015-08-05 06:21:12] 609*2^1405371-1 is not prime. Res64: 24B0084067D60787 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:21:12] 745*2^1405371-1 is not prime. Res64: 996E122B93DCA1A2 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:24:12] 769*2^1405371-1 is not prime. Res64: 7AE213095153B2DB Time : 0.0 sec. user=mdettweiler [2015-08-05 06:24:13] 909*2^1405371-1 is not prime. Res64: AE91B51375F73B69 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:28:31] 955*2^1405371-1 is not prime. Res64: 0EC32443E8977FBF Time : 0.0 sec. user=mdettweiler [2015-08-05 06:28:31] 677*2^1405372-1 is not prime. Res64: 34B1F339BB841B2D Time : 0.0 sec. user=mdettweiler [2015-08-05 06:30:35] 777*2^1405372-1 is not prime. Res64: D390406018C8BBFC Time : 0.0 sec. user=mdettweiler [2015-08-05 06:30:36] 803*2^1405372-1 is not prime. Res64: 75D9A5C2D6DE8ED9 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:38:51] 873*2^1405372-1 is not prime. Res64: 7D41EE2B8D72074F Time : 0.0 sec. user=mdettweiler [2015-08-05 06:38:51] 987*2^1405372-1 is not prime. Res64: D7E8927F8A5ED4A4 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:41:47] 995*2^1405372-1 is not prime. Res64: 944D3097CD480159 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:41:47] 631*2^1405373-1 is not prime. Res64: 48AF8BEBD0BA4499 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:46:03] 669*2^1405373-1 is not prime. Res64: 85447C824DA78A32 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:46:04] 757*2^1405373-1 is not prime. Res64: AE5708B962B572E6 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:48:15] 951*2^1405373-1 is not prime. Res64: D38257774E18D114 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:48:15] 979*2^1405373-1 is not prime. Res64: C6F97920F1628818 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:56:32] 621*2^1405374-1 is not prime. Res64: C6CD07A6E1297440 Time : 0.0 sec. user=mdettweiler [2015-08-05 06:56:32] 725*2^1405374-1 is not prime. Res64: C013278F60C4684A Time : 0.0 sec. user=mdettweiler [2015-08-05 06:59:27] 851*2^1405374-1 is not prime. Res64: 548CE2C2A8D3576A Time : 0.0 sec. user=mdettweiler [2015-08-05 06:59:27] 863*2^1405374-1 is not prime. Res64: 13829E7D1580E14D Time : 0.0 sec. user=mdettweiler [2015-08-05 07:03:39] 625*2^1405375-1 is not prime. Res64: 258434D7F41D3A09 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:03:41] 673*2^1405375-1 is not prime. Res64: 60F002DDC9FDD88E Time : 0.0 sec. user=mdettweiler [2015-08-05 07:06:00] 715*2^1405375-1 is not prime. Res64: 9D1C0C2F37A2F91C Time : 0.0 sec. user=mdettweiler [2015-08-05 07:06:01] 763*2^1405375-1 is not prime. Res64: 0C5E1C24EFCB882D Time : 0.0 sec. user=mdettweiler [2015-08-05 07:14:05] 849*2^1405375-1 is not prime. Res64: 96B6904DE5FAF0B6 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:14:05] 861*2^1405375-1 is not prime. Res64: E290F8642418BD50 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:17:00] 633*2^1405376-1 is not prime. Res64: 878D69F465467B04 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:17:00] 825*2^1405376-1 is not prime. Res64: AA70AED5EE273267 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:21:21] 893*2^1405376-1 is not prime. Res64: 39E50D661219408E Time : 0.0 sec. user=mdettweiler [2015-08-05 07:21:21] 945*2^1405376-1 is not prime. Res64: D496418FC41BCE2D Time : 0.0 sec. user=mdettweiler [2015-08-05 07:23:32] 625*2^1405377-1 is not prime. Res64: 5BC99C5D097276EB Time : 0.0 sec. user=mdettweiler [2015-08-05 07:23:32] 627*2^1405377-1 is not prime. Res64: A4BCA12855216520 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:31:38] 669*2^1405377-1 is not prime. Res64: 0392450990E87A7F Time : 0.0 sec. user=mdettweiler [2015-08-05 07:31:39] 675*2^1405377-1 is not prime. Res64: 9906EF96152F7C2A Time : 0.0 sec. user=mdettweiler [2015-08-05 07:34:32] 727*2^1405377-1 is not prime. Res64: 424A0A9149EB71E6 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:34:32] 777*2^1405377-1 is not prime. Res64: 75CB9207212939A5 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:38:53] 795*2^1405377-1 is not prime. Res64: 7E83D52A3C11483B Time : 0.0 sec. user=mdettweiler [2015-08-05 07:38:54] 865*2^1405377-1 is not prime. Res64: 22B16119C6F3C4F8 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:41:13] 909*2^1405377-1 is not prime. Res64: A2FFF2F99F0E8B51 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:41:13] 657*2^1405378-1 is not prime. Res64: 3CFFF3753B6A0CBC Time : 0.0 sec. user=mdettweiler [2015-08-05 07:49:07] 687*2^1405378-1 is not prime. Res64: 4180AFD72EC44534 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:49:07] 765*2^1405378-1 is not prime. Res64: B91D2A8B291911DC Time : 0.0 sec. user=mdettweiler [2015-08-05 07:52:07] 777*2^1405378-1 is not prime. Res64: 123CECF147D36B84 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:52:07] 855*2^1405378-1 is not prime. Res64: 59C8F98D5D8F0EFA Time : 0.0 sec. user=mdettweiler [2015-08-05 07:56:26] 861*2^1405378-1 is not prime. Res64: C8EBE333D126D8A9 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:56:26] 619*2^1405379-1 is not prime. Res64: 67DB441C451B4EC8 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:58:47] 703*2^1405379-1 is not prime. Res64: 41C70E9D9CD6CA00 Time : 0.0 sec. user=mdettweiler [2015-08-05 07:58:47] 733*2^1405379-1 is not prime. Res64: 122917ABDBFA5128 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:06:44] 771*2^1405379-1 is not prime. Res64: EA72FE5A4D0A5584 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:06:45] 955*2^1405379-1 is not prime. Res64: F90EDD13828FAE76 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:09:41] 737*2^1405380-1 is not prime. Res64: 0CA5AE1F72930EE0 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:09:41] 839*2^1405380-1 is not prime. Res64: AC4DD2DBEF193E94 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:13:56] 887*2^1405380-1 is not prime. Res64: 6A11C4AB3A806550 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:13:57] 933*2^1405380-1 is not prime. Res64: 98606C58361AD19F Time : 0.0 sec. user=mdettweiler [2015-08-05 08:16:18] 999*2^1405380-1 is not prime. Res64: 806074C12190E3DF Time : 0.0 sec. user=mdettweiler [2015-08-05 08:16:19] 615*2^1405381-1 is not prime. Res64: DFB6C702334926CC Time : 0.0 sec. user=mdettweiler [2015-08-05 08:24:21] 717*2^1405381-1 is not prime. Res64: 8EE7950060E393B9 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:24:22] 799*2^1405381-1 is not prime. Res64: F785C7E68092B3ED Time : 0.0 sec. user=mdettweiler [2015-08-05 08:27:18] 651*2^1405382-1 is not prime. Res64: 2712C27287C793DF Time : 0.0 sec. user=mdettweiler [2015-08-05 08:27:19] 731*2^1405382-1 is not prime. Res64: 5585F9179C312B07 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:31:28] 741*2^1405382-1 is not prime. Res64: E0A04ABE87677741 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:31:29] 893*2^1405382-1 is not prime. Res64: D1E268597D3AF38F Time : 0.0 sec. user=mdettweiler [2015-08-05 08:33:47] 911*2^1405382-1 is not prime. Res64: D5234914D9BB7D81 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:33:47] 923*2^1405382-1 is not prime. Res64: 6A6F1F5657E338D8 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:41:55] 935*2^1405382-1 is not prime. Res64: 9FAD8E2E56168795 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:41:55] 951*2^1405382-1 is not prime. Res64: 99A8AA41A423D8EC Time : 0.0 sec. user=mdettweiler [2015-08-05 08:44:56] 643*2^1405383-1 is not prime. Res64: E79047BD4C15AE05 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:44:57] 739*2^1405383-1 is not prime. Res64: 7E2E70EA8DD3F214 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:49:02] 775*2^1405383-1 is not prime. Res64: A4E4D10B5D4B99F0 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:49:02] 951*2^1405383-1 is not prime. Res64: F90B60D1B8F139C2 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:51:30] 961*2^1405383-1 is not prime. Res64: 6DF81D1A79F49409 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:51:30] 963*2^1405383-1 is not prime. Res64: 926DEE068E21B280 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:59:31] 605*2^1405384-1 is not prime. Res64: 246E1EE6EDD52C04 Time : 0.0 sec. user=mdettweiler [2015-08-05 08:59:32] 677*2^1405384-1 is not prime. Res64: BA0AFC192B07404B Time : 0.0 sec. user=mdettweiler [2015-08-05 09:02:30] 693*2^1405384-1 is not prime. Res64: 38C8580C77F2AE43 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:02:30] 747*2^1405384-1 is not prime. Res64: A40B3803E3000270 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:06:36] 755*2^1405384-1 is not prime. Res64: 20EE8315620D795E Time : 0.0 sec. user=mdettweiler [2015-08-05 09:06:36] 849*2^1405384-1 is not prime. Res64: 17341C7AB177203B Time : 0.0 sec. user=mdettweiler [2015-08-05 09:09:07] 869*2^1405384-1 is not prime. Res64: EC16F7227EE63F2E Time : 0.0 sec. user=mdettweiler [2015-08-05 09:09:07] 887*2^1405384-1 is not prime. Res64: BD8B4FFD273E2E5E Time : 0.0 sec. user=mdettweiler [2015-08-05 09:17:00] 983*2^1405384-1 is not prime. Res64: 2C4F1581400528A5 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:17:00] 989*2^1405384-1 is not prime. Res64: 88AADD361DD488E2 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:20:13] 685*2^1405385-1 is not prime. Res64: 44E11CF2AAF51241 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:20:14] 789*2^1405385-1 is not prime. Res64: 94AF9F4A67011EFF Time : 0.0 sec. user=mdettweiler [2015-08-05 09:24:06] 847*2^1405385-1 is not prime. Res64: F905BA3C110FC0DF Time : 0.0 sec. user=mdettweiler [2015-08-05 09:24:06] 991*2^1405385-1 is not prime. Res64: 108D64063E7D7577 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:26:43] 641*2^1405386-1 is not prime. Res64: 16B623A882B8A1AB Time : 0.0 sec. user=mdettweiler [2015-08-05 09:26:44] 711*2^1405386-1 is not prime. Res64: 92CBEC0DBDA3D074 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:34:42] 741*2^1405386-1 is not prime. Res64: 729E739854A70531 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:34:42] 807*2^1405386-1 is not prime. Res64: C87B16703D843B64 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:37:50] 923*2^1405386-1 is not prime. Res64: CF03367C4DD74444 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:37:51] 947*2^1405386-1 is not prime. Res64: BAF08DE00B758AC7 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:41:38] 615*2^1405387-1 is not prime. Res64: CAC80A10892CDCFE Time : 0.0 sec. user=mdettweiler [2015-08-05 09:41:38] 645*2^1405387-1 is not prime. Res64: C677297D21584ADC Time : 0.0 sec. user=mdettweiler [2015-08-05 09:44:20] 793*2^1405387-1 is not prime. Res64: 482D8FA0BE788F20 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:44:20] 859*2^1405387-1 is not prime. Res64: 728DA76330A1D0A3 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:52:19] 603*2^1405388-1 is not prime. Res64: 1D7C38A14E96274F Time : 0.0 sec. user=mdettweiler [2015-08-05 09:52:20] 629*2^1405388-1 is not prime. Res64: 7662AE9153D4FA10 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:55:30] 725*2^1405388-1 is not prime. Res64: DE64C60D09ADB649 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:55:31] 753*2^1405388-1 is not prime. Res64: 8DEC8A404131CD29 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:59:17] 777*2^1405388-1 is not prime. Res64: D38FB781D65266E8 Time : 0.0 sec. user=mdettweiler [2015-08-05 09:59:17] 795*2^1405388-1 is not prime. Res64: 73291BFEE4700EED Time : 0.0 sec. user=mdettweiler [2015-08-05 10:01:55] 843*2^1405388-1 is not prime. Res64: AAEF9C2687534441 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:01:55] 969*2^1405388-1 is not prime. Res64: 94B363243CF0388B Time : 0.0 sec. user=mdettweiler [2015-08-05 10:09:50] 999*2^1405388-1 is not prime. Res64: 03B00E4B99FCFA07 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:09:51] 625*2^1405389-1 is not prime. Res64: 5F2EC9F80DBB0B70 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:13:06] 649*2^1405389-1 is not prime. Res64: F49E2513F36DBDD7 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:13:06] 655*2^1405389-1 is not prime. Res64: 3B2980260C4BE458 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:16:51] 895*2^1405389-1 is not prime. Res64: 14649EE3A9002642 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:16:52] 743*2^1405390-1 is not prime. Res64: 6542329C7B0980EA Time : 0.0 sec. user=mdettweiler [2015-08-05 10:19:33] 801*2^1405390-1 is not prime. Res64: F84DB2E90D2FEA51 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:19:33] 831*2^1405390-1 is not prime. Res64: 24DCA0F19B9589E5 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:27:29] 887*2^1405390-1 is not prime. Res64: 152F847719D2C275 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:27:30] 917*2^1405390-1 is not prime. Res64: 800FA13E3B0DF575 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:30:42] 945*2^1405390-1 is not prime. Res64: CB7AE28AE18BF149 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:30:42] 609*2^1405391-1 is not prime. Res64: 0BC405D64C7D11DB Time : 0.0 sec. user=mdettweiler [2015-08-05 10:34:23] 645*2^1405391-1 is not prime. Res64: BCA81238F88A6C64 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:34:24] 663*2^1405391-1 is not prime. Res64: 6E2D32E5D7CCD59C Time : 0.0 sec. user=mdettweiler [2015-08-05 10:37:10] 693*2^1405391-1 is not prime. Res64: 14E84238D0A49371 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:37:10] 865*2^1405391-1 is not prime. Res64: 762F85D1ED14C7D1 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:44:58] 939*2^1405391-1 is not prime. Res64: 1DDC894730B1D116 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:44:59] 945*2^1405391-1 is not prime. Res64: FEDA9E29BB72BE5A Time : 0.0 sec. user=mdettweiler [2015-08-05 10:48:22] 979*2^1405391-1 is not prime. Res64: 7AAB9FB2FAE46593 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:48:22] 675*2^1405392-1 is not prime. Res64: 43E7726579B831D6 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:51:59] 683*2^1405392-1 is not prime. Res64: 101F6C12F246805C Time : 0.0 sec. user=mdettweiler [2015-08-05 10:51:59] 689*2^1405392-1 is not prime. Res64: 78B3DB8C26DC2314 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:54:42] 725*2^1405392-1 is not prime. Res64: 0A613685D61723B6 Time : 0.0 sec. user=mdettweiler [2015-08-05 10:54:42] 737*2^1405392-1 is not prime. Res64: 8D9D5CA0F25C364A Time : 0.0 sec. user=mdettweiler [2015-08-05 11:02:30] 837*2^1405392-1 is not prime. Res64: C14E7074C9589688 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:02:32] 893*2^1405392-1 is not prime. Res64: 4966942A8C192F04 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:05:56] 637*2^1405393-1 is not prime. Res64: 0E5DFC09BB08983A Time : 0.0 sec. user=mdettweiler [2015-08-05 11:05:58] 649*2^1405393-1 is not prime. Res64: EAED07BF8C5D452F Time : 0.0 sec. user=mdettweiler [2015-08-05 11:09:40] 727*2^1405393-1 is not prime. Res64: BA246825B66A33A9 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:09:40] 751*2^1405393-1 is not prime. Res64: 944701C6719D73C5 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:12:18] 895*2^1405393-1 is not prime. Res64: 8BF2B4282E5E6585 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:12:18] 951*2^1405393-1 is not prime. Res64: A2593869D0719F88 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:20:30] 987*2^1405393-1 is not prime. Res64: 176470BEC3B7B6A4 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:20:30] 773*2^1405394-1 is not prime. Res64: D0668484F3F96BDC Time : 0.0 sec. user=mdettweiler [2015-08-05 11:23:34] 837*2^1405394-1 is not prime. Res64: 1F4AA20FDC26B11C Time : 0.0 sec. user=mdettweiler [2015-08-05 11:23:34] 861*2^1405394-1 is not prime. Res64: 5C77B5BD0E6EFE61 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:27:11] 887*2^1405394-1 is not prime. Res64: AE6618504A8DD24C Time : 0.0 sec. user=mdettweiler [2015-08-05 11:27:11] 921*2^1405394-1 is not prime. Res64: 37319D09070D3BB0 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:29:50] 609*2^1405395-1 is not prime. Res64: EE397023C3ED081C Time : 0.0 sec. user=mdettweiler [2015-08-05 11:29:50] 649*2^1405395-1 is not prime. Res64: A5D64AD4C3EBD3DD Time : 0.0 sec. user=mdettweiler [2015-08-05 11:38:17] 691*2^1405395-1 is not prime. Res64: AF9FF5D3D43B7201 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:38:18] 781*2^1405395-1 is not prime. Res64: 0B6C7F26C5A39EBA Time : 0.0 sec. user=mdettweiler [2015-08-05 11:41:17] 823*2^1405395-1 is not prime. Res64: E5C873BD6377CFAA Time : 0.0 sec. user=mdettweiler [2015-08-05 11:41:18] 859*2^1405395-1 is not prime. Res64: 60007C0C87A78FC3 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:45:04] 895*2^1405395-1 is not prime. Res64: 4098C049B390F48D Time : 0.0 sec. user=mdettweiler [2015-08-05 11:45:05] 961*2^1405395-1 is not prime. Res64: 64416816779C5F72 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:47:25] 689*2^1405396-1 is not prime. Res64: EFCB394EDD6A3B59 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:47:25] 857*2^1405396-1 is not prime. Res64: FE3093636F7EDC09 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:55:58] 905*2^1405396-1 is not prime. Res64: B54287A088CBD46F Time : 0.0 sec. user=mdettweiler [2015-08-05 11:55:58] 619*2^1405397-1 is not prime. Res64: DD1D73D92A41E3F1 Time : 0.0 sec. user=mdettweiler [2015-08-05 11:59:01] 697*2^1405397-1 is not prime. Res64: 4FFD5C63ACC60FAB Time : 0.0 sec. user=mdettweiler [2015-08-05 11:59:01] 729*2^1405397-1 is not prime. Res64: 1410DFCBA1CE99AC Time : 0.0 sec. user=mdettweiler [2015-08-05 12:02:42] 747*2^1405397-1 is not prime. Res64: 67E85F25388FE8B0 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:02:43] 829*2^1405397-1 is not prime. Res64: 81AF60279EB2FFF6 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:05:12] 879*2^1405397-1 is not prime. Res64: A7AD158012731007 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:05:13] 927*2^1405397-1 is not prime. Res64: 3BF1D215F0ACF798 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:13:34] 949*2^1405397-1 is not prime. Res64: C80DDB2233482947 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:13:34] 985*2^1405397-1 is not prime. Res64: 45E984F4C07DE2A2 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:16:41] 713*2^1405398-1 is not prime. Res64: B06FB1508CF8EA13 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:16:41] 765*2^1405398-1 is not prime. Res64: E7E9CF8639D58E87 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:20:21] 815*2^1405398-1 is not prime. Res64: 20D8C4C03FA26187 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:20:21] 977*2^1405398-1 is not prime. Res64: 49EA937613D0162C Time : 0.0 sec. user=mdettweiler [2015-08-05 12:22:48] 685*2^1405399-1 is not prime. Res64: 5CF7BFCC2D43ACA5 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:22:48] 841*2^1405399-1 is not prime. Res64: 7B371F612CA8DF90 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:31:22] 713*2^1405400-1 is not prime. Res64: 259F648BD4095968 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:31:22] 725*2^1405400-1 is not prime. Res64: CC0B205FFA45D5C3 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:34:14] 743*2^1405400-1 is not prime. Res64: 230B6C4F2F8A2DFE Time : 0.0 sec. user=mdettweiler [2015-08-05 12:34:15] 789*2^1405400-1 is not prime. Res64: FB703A37CF4D91FD Time : 0.0 sec. user=mdettweiler [2015-08-05 12:37:57] 797*2^1405400-1 is not prime. Res64: 3DF21726EF67F9E8 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:37:57] 879*2^1405400-1 is not prime. Res64: 7F95888690BEF5AB Time : 0.0 sec. user=mdettweiler [2015-08-05 12:40:23] 957*2^1405400-1 is not prime. Res64: 3084DBB9CFEC90E7 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:40:23] 651*2^1405402-1 is not prime. Res64: 14754545E5AA2155 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:48:59] 675*2^1405402-1 is not prime. Res64: 55B0AF9147DF32CF Time : 0.0 sec. user=mdettweiler [2015-08-05 12:48:59] 705*2^1405402-1 is not prime. Res64: 72428A1DE4B4D462 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:51:53] 755*2^1405402-1 is not prime. Res64: 853D74520C64533C Time : 0.0 sec. user=mdettweiler [2015-08-05 12:51:54] 777*2^1405402-1 is not prime. Res64: 4C2D819FD76C622C Time : 0.0 sec. user=mdettweiler [2015-08-05 12:55:35] 857*2^1405402-1 is not prime. Res64: A753ECF9A1DA04EA Time : 0.0 sec. user=mdettweiler [2015-08-05 12:55:36] 885*2^1405402-1 is not prime. Res64: 5F2782AB7A024385 Time : 0.0 sec. user=mdettweiler [2015-08-05 12:58:02] 981*2^1405402-1 is not prime. Res64: 5B390E35FB5F2C7A Time : 0.0 sec. user=mdettweiler [2015-08-05 12:58:03] 987*2^1405402-1 is not prime. Res64: BF4C396C8CFE82EE Time : 0.0 sec. user=mdettweiler [2015-08-05 13:06:50] 649*2^1405403-1 is not prime. Res64: 4413DD0F916F6A2D Time : 0.0 sec. user=mdettweiler [2015-08-05 13:06:51] 811*2^1405403-1 is not prime. Res64: 39D5B5846457354F Time : 0.0 sec. user=mdettweiler [2015-08-05 13:09:45] 825*2^1405403-1 is not prime. Res64: F62F101C74631F59 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:09:46] 949*2^1405403-1 is not prime. Res64: 586FD778DD71B599 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:13:38] 999*2^1405403-1 is not prime. Res64: FED285F71DEADC80 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:13:38] 635*2^1405404-1 is not prime. Res64: C39A9D01CD078A54 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:16:07] 693*2^1405404-1 is not prime. Res64: D83DA7C860CCB5A6 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:16:08] 725*2^1405404-1 is not prime. Res64: 7A00F49875B736D4 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:25:40] 661*2^1405405-1 is not prime. Res64: 0521CBB5C3FA25CA Time : 0.0 sec. user=mdettweiler [2015-08-05 13:25:40] 741*2^1405405-1 is not prime. Res64: 3141F2DA50F6472D Time : 0.0 sec. user=mdettweiler [2015-08-05 13:28:44] 819*2^1405405-1 is not prime. Res64: E35EA7BBEEBB3936 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:28:44] 867*2^1405405-1 is not prime. Res64: 58A8D7DC1876F44E Time : 0.0 sec. user=mdettweiler [2015-08-05 13:32:30] 895*2^1405405-1 is not prime. Res64: 9DA85C2ADD65F0B7 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:32:30] 951*2^1405405-1 is not prime. Res64: 99E8E14B06F3C2A6 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:35:05] 957*2^1405405-1 is not prime. Res64: 0FD1569FE0B42269 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:35:05] 997*2^1405405-1 is not prime. Res64: BE2CD812C4442A59 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:43:35] 645*2^1405406-1 is not prime. Res64: 2EF18C1E5A6D6F0B Time : 0.0 sec. user=mdettweiler [2015-08-05 13:43:36] 675*2^1405406-1 is not prime. Res64: 7EA277AC7AB91346 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:46:33] 693*2^1405406-1 is not prime. Res64: 339F8D8DD1DFE476 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:46:33] 707*2^1405406-1 is not prime. Res64: 5EA5B1CA307D7395 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:50:05] 767*2^1405406-1 is not prime. Res64: 670D5690DABAACE1 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:50:05] 773*2^1405406-1 is not prime. Res64: 48D5366E2E1DF64E Time : 0.0 sec. user=mdettweiler [2015-08-05 13:52:43] 795*2^1405406-1 is not prime. Res64: DB442B010FE69BC1 Time : 0.0 sec. user=mdettweiler [2015-08-05 13:52:43] 815*2^1405406-1 is not prime. Res64: BC16212FA5C5AD80 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:01:29] 825*2^1405406-1 is not prime. Res64: DE5B3A5F471E39AF Time : 0.0 sec. user=mdettweiler [2015-08-05 14:01:30] 843*2^1405406-1 is not prime. Res64: 88D2D6792138E302 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:04:16] 897*2^1405406-1 is not prime. Res64: 274D80EB0BC8133F Time : 0.0 sec. user=mdettweiler [2015-08-05 14:04:17] 945*2^1405406-1 is not prime. Res64: 6217C141A0B93A3B Time : 0.0 sec. user=mdettweiler [2015-08-05 14:07:48] 971*2^1405406-1 is not prime. Res64: 5F8A67FC7D10A8BA Time : 0.0 sec. user=mdettweiler [2015-08-05 14:07:48] 633*2^1405407-1 is not prime. Res64: 514CBCE3DE1D84AF Time : 0.0 sec. user=mdettweiler [2015-08-05 14:10:23] 661*2^1405407-1 is not prime. Res64: 70F4EFBDAD855D95 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:10:23] 669*2^1405407-1 is not prime. Res64: 3A4287E5F65877BB Time : 0.0 sec. user=mdettweiler [2015-08-05 14:19:23] 691*2^1405407-1 is not prime. Res64: BCD490861A27264B Time : 0.0 sec. user=mdettweiler [2015-08-05 14:19:23] 909*2^1405407-1 is not prime. Res64: 1791A7EEDC0B027A Time : 0.0 sec. user=mdettweiler [2015-08-05 14:22:02] 605*2^1405408-1 is not prime. Res64: 1E94DFFFFED90855 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:22:03] 663*2^1405408-1 is not prime. Res64: 33531F1A18DB198E Time : 0.0 sec. user=mdettweiler [2015-08-05 14:25:27] 923*2^1405408-1 is not prime. Res64: 0EDB3AFCDCF3FED7 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:25:28] 993*2^1405408-1 is not prime. Res64: 452B5B302C585E93 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:28:10] 657*2^1405409-1 is not prime. Res64: 192EA16A74DD91C1 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:28:10] 841*2^1405409-1 is not prime. Res64: 5B6FE56E0B92434E Time : 0.0 sec. user=mdettweiler [2015-08-05 14:37:16] 987*2^1405409-1 is not prime. Res64: BDE1A88A57D02E95 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:37:16] 755*2^1405410-1 is not prime. Res64: E11F997E3C6C2B86 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:39:49] 851*2^1405410-1 is not prime. Res64: 97A8A19E492C5032 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:39:50] 951*2^1405410-1 is not prime. Res64: 2EC2EE2601187522 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:43:14] 971*2^1405410-1 is not prime. Res64: 44935878B5D8F3FF Time : 0.0 sec. user=mdettweiler [2015-08-05 14:43:15] 621*2^1405411-1 is not prime. Res64: B8591158495A10C7 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:45:56] 705*2^1405411-1 is not prime. Res64: 9ED1801922552ACC Time : 0.0 sec. user=mdettweiler [2015-08-05 14:45:56] 811*2^1405411-1 is not prime. Res64: 4DF79C4887254B1D Time : 0.0 sec. user=mdettweiler [2015-08-05 14:54:53] 883*2^1405411-1 is not prime. Res64: DD6082C32588C0A7 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:54:54] 633*2^1405412-1 is not prime. Res64: 7D09ABEA80FD62E2 Time : 0.0 sec. user=mdettweiler [2015-08-05 14:57:50] 743*2^1405412-1 is not prime. Res64: 0FA01C425CA4156E Time : 0.0 sec. user=mdettweiler [2015-08-05 14:57:51] 759*2^1405412-1 is not prime. Res64: 38BAACC8D29B5769 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:01:01] 649*2^1405413-1 is not prime. Res64: 6E3EED13B57C4330 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:01:02] 861*2^1405413-1 is not prime. Res64: B64FA59CE3E33A47 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:03:57] 961*2^1405413-1 is not prime. Res64: AD699BD6D64262F9 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:03:59] 969*2^1405413-1 is not prime. Res64: BC061EAD5B8F2B5A Time : 0.0 sec. user=mdettweiler [2015-08-05 15:12:52] 723*2^1405414-1 is not prime. Res64: 1BCA3B9808FD019B Time : 0.0 sec. user=mdettweiler [2015-08-05 15:12:52] 917*2^1405414-1 is not prime. Res64: 7ECF28BCCE1B6136 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:15:50] 923*2^1405414-1 is not prime. Res64: 4FE4B5015FABFDC1 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:15:51] 987*2^1405414-1 is not prime. Res64: E01BA6A9A6D04E38 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:18:54] 651*2^1405415-1 is not prime. Res64: FED44D97EE601D2A Time : 0.0 sec. user=mdettweiler [2015-08-05 15:18:55] 721*2^1405415-1 is not prime. Res64: A2F4A2B6C30726C5 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:22:18] 759*2^1405415-1 is not prime. Res64: E03E823F95364F8F Time : 0.0 sec. user=mdettweiler [2015-08-05 15:22:18] 843*2^1405415-1 is not prime. Res64: BFDEFD524208491C Time : 0.0 sec. user=mdettweiler [2015-08-05 15:30:50] 883*2^1405415-1 is not prime. Res64: E022F239DD3B9FAA Time : 0.0 sec. user=mdettweiler [2015-08-05 15:30:50] 885*2^1405415-1 is not prime. Res64: 94BD0B7FD5684E39 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:33:43] 889*2^1405415-1 is not prime. Res64: 37468F03DB5D63F2 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:33:44] 999*2^1405415-1 is not prime. Res64: 4F5C7ED695520305 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:36:48] 675*2^1405416-1 is not prime. Res64: E58B3B5CE244949A Time : 0.0 sec. user=mdettweiler [2015-08-05 15:36:48] 693*2^1405416-1 is not prime. Res64: 0791F565AA1E76CD Time : 0.0 sec. user=mdettweiler [2015-08-05 15:40:13] 903*2^1405416-1 is not prime. Res64: 491DF3F2D900EA96 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:40:14] 639*2^1405417-1 is not prime. Res64: F28A72C6743AE4C3 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:48:40] 649*2^1405417-1 is not prime. Res64: F481BB643C24C162 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:48:41] 651*2^1405417-1 is not prime. Res64: 5F26F7D1AA233345 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:51:37] 675*2^1405417-1 is not prime. Res64: B6C3764D5CC4E5A0 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:51:37] 685*2^1405417-1 is not prime. Res64: 15BB3AFD9D5976B7 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:54:37] 699*2^1405417-1 is not prime. Res64: 82903B980C284572 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:54:38] 807*2^1405417-1 is not prime. Res64: 70D313D8F0C98190 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:58:06] 847*2^1405417-1 is not prime. Res64: C37E2736A5FEAE51 Time : 0.0 sec. user=mdettweiler [2015-08-05 15:58:06] 901*2^1405417-1 is not prime. Res64: 32A80BD436E4838B Time : 0.0 sec. user=mdettweiler [2015-08-05 16:06:33] 623*2^1405418-1 is not prime. Res64: 0F7667C701E6EBE8 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:06:33] 815*2^1405418-1 is not prime. Res64: FD3F72B59CC77E9F Time : 0.0 sec. user=mdettweiler [2015-08-05 16:09:16] 951*2^1405418-1 is not prime. Res64: B8E75F6FCA29FF7A Time : 0.0 sec. user=mdettweiler [2015-08-05 16:09:17] 953*2^1405418-1 is not prime. Res64: C922D96CE9C6214E Time : 0.0 sec. user=mdettweiler [2015-08-05 16:12:20] 971*2^1405418-1 is not prime. Res64: EE764D3365A49DBF Time : 0.0 sec. user=mdettweiler [2015-08-05 16:12:20] 613*2^1405419-1 is not prime. Res64: B6B249698F914F60 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:15:43] 615*2^1405419-1 is not prime. Res64: 7033AE93E3830EEA Time : 0.0 sec. user=mdettweiler [2015-08-05 16:15:44] 685*2^1405419-1 is not prime. Res64: 2BE861002314E3F7 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:24:47] 859*2^1405419-1 is not prime. Res64: 4CB3C57DFF534DC4 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:24:47] 891*2^1405419-1 is not prime. Res64: 1A2F02CCA59ADA9C Time : 0.0 sec. user=mdettweiler [2015-08-05 16:27:35] 895*2^1405419-1 is not prime. Res64: 1BD5CC0A2F020429 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:27:35] 903*2^1405419-1 is not prime. Res64: BBD2EBD42A1A6447 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:31:05] 949*2^1405419-1 is not prime. Res64: 0FDA0F51259DF29C Time : 0.0 sec. user=mdettweiler [2015-08-05 16:31:06] 969*2^1405419-1 is not prime. Res64: 215422EFCEB95D0C Time : 0.0 sec. user=mdettweiler [2015-08-05 16:34:59] 665*2^1405420-1 is not prime. Res64: C2E37C7789123107 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:34:59] 693*2^1405420-1 is not prime. Res64: AC788AEF7DC49015 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:44:33] 797*2^1405420-1 is not prime. Res64: 687F17EA004524E3 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:44:33] 855*2^1405420-1 is not prime. Res64: AC4BE3F047577714 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:47:05] 983*2^1405420-1 is not prime. Res64: 683B337CE3534DCA Time : 0.0 sec. user=mdettweiler [2015-08-05 16:47:05] 645*2^1405421-1 is not prime. Res64: 2E84FDAD1C6303B9 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:50:34] 885*2^1405421-1 is not prime. Res64: 46BB3CAE1428111F Time : 0.0 sec. user=mdettweiler [2015-08-05 16:50:34] 657*2^1405422-1 is not prime. Res64: 5110D54B1A4C83FA Time : 0.0 sec. user=mdettweiler [2015-08-05 16:53:56] 737*2^1405422-1 is not prime. Res64: F4F21C08DC426BF5 Time : 0.0 sec. user=mdettweiler [2015-08-05 16:53:56] 777*2^1405422-1 is not prime. Res64: F044B4AADD766A56 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:04:10] 903*2^1405422-1 is not prime. Res64: EFC1FBEDC0D3EE8A Time : 0.0 sec. user=mdettweiler [2015-08-05 17:04:12] 1001*2^1405422-1 is not prime. Res64: E2F8336AC6557839 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:06:48] 619*2^1405423-1 is not prime. Res64: 5C9E887D6E634DC0 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:06:48] 729*2^1405423-1 is not prime. Res64: F7B6DB3C66339204 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:10:21] 853*2^1405423-1 is not prime. Res64: 1B29CC09F0A30E24 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:10:22] 973*2^1405423-1 is not prime. Res64: FEAFFC4D9C0EFCEE Time : 0.0 sec. user=S_K_ [2015-08-05 17:10:36] 721*2^1405419-1 is not prime. Res64: 1E5911EAF9ADA1BC Time : 0.0 sec. user=mdettweiler [2015-08-05 17:13:53] 629*2^1405424-1 is not prime. Res64: ABB67E654D4CFBCB Time : 0.0 sec. user=mdettweiler [2015-08-05 17:13:53] 657*2^1405424-1 is not prime. Res64: 625F399A81DC8D6E Time : 0.0 sec. user=mdettweiler [2015-08-05 17:23:25] 833*2^1405424-1 is not prime. Res64: EF7FE10E41FD333D Time : 0.0 sec. user=mdettweiler [2015-08-05 17:23:25] 843*2^1405424-1 is not prime. Res64: 08E69728E991F69B Time : 0.0 sec. user=mdettweiler [2015-08-05 17:25:33] 741*2^1405425-1 is not prime. Res64: 49B564AA148F5552 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:25:33] 951*2^1405425-1 is not prime. Res64: 10CFDB6C10C85738 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:32:38] 825*2^1405426-1 is not prime. Res64: B07811A0AD6E632B Time : 0.0 sec. user=mdettweiler [2015-08-05 17:32:39] 867*2^1405426-1 is not prime. Res64: C259A6693B46B8DF Time : 0.0 sec. user=mdettweiler [2015-08-05 17:41:38] 917*2^1405426-1 is not prime. Res64: 9FADDBCAECB65A01 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:41:38] 987*2^1405426-1 is not prime. Res64: 9D03061AD1AAD4A9 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:44:04] 621*2^1405427-1 is not prime. Res64: 16384D385EE5A79D Time : 0.0 sec. user=mdettweiler [2015-08-05 17:44:04] 711*2^1405427-1 is not prime. Res64: FBC5AB6FA2023737 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:51:21] 735*2^1405427-1 is not prime. Res64: 7BE72BA695D6DFB9 Time : 0.0 sec. user=mdettweiler [2015-08-05 17:51:21] 741*2^1405427-1 is not prime. Res64: FF58751914C0E069 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:19:12] 979*2^1405427-1 is not prime. Res64: F8BB12579644E080 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:19:12] 629*2^1405428-1 is not prime. Res64: FECFF39719852F22 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:38:31] 839*2^1405428-1 is not prime. Res64: DB45A07FE1C1892F Time : 0.0 sec. user=mdettweiler [2015-08-05 19:38:31] 845*2^1405428-1 is not prime. Res64: DFD18EAC71BFCE16 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:40:17] 841*2^1405427-1 is not prime. Res64: 08BFC298A1C01BA2 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:40:17] 901*2^1405427-1 is not prime. Res64: 6F3E6882729E35E8 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:40:51] 783*2^1405428-1 is not prime. Res64: F1FC6FF62EFB1611 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:57:53] 945*2^1405428-1 is not prime. Res64: 7D72A4C1683D7EB9 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:57:54] 625*2^1405429-1 is not prime. Res64: 43BC1CC629AA4F72 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:59:58] 729*2^1405429-1 is not prime. Res64: D42D2661E1693CB7 Time : 0.0 sec. user=mdettweiler [2015-08-05 19:59:59] 817*2^1405429-1 is not prime. Res64: 93E20009B128348D Time : 0.0 sec. user=mdettweiler [2015-08-05 20:20:41] 835*2^1405429-1 is not prime. Res64: 6B672B6A426BB382 Time : 0.0 sec. user=mdettweiler [2015-08-05 20:20:42] 867*2^1405429-1 is not prime. Res64: 9FE7F83799A50235 Time : 0.0 sec. user=mdettweiler [2015-08-05 20:22:08] 925*2^1405429-1 is not prime. Res64: 4A14E3E51E4E807C Time : 0.0 sec. user=mdettweiler [2015-08-05 20:22:08] 961*2^1405429-1 is not prime. Res64: B89BAE5F883BD085 Time : 0.0 sec. user=mdettweiler [2015-08-05 20:30:49] 749*2^1405428-1 is not prime. Res64: 6B1B93A16E57C743 Time : 0.0 sec. user=mdettweiler [2015-08-05 20:30:49] 753*2^1405428-1 is not prime. Res64: 39AAF0C4494E7038 Time : 0.0 sec. user=mdettweiler [2015-08-05 20:42:06] 967*2^1405429-1 is not prime. Res64: D7773383C21C7BFF Time : 0.0 sec. user=mdettweiler [2015-08-05 20:42:07] 999*2^1405429-1 is not prime. Res64: 0EC88594EA390E58 Time : 0.0 sec. user=mdettweiler [2015-08-05 20:43:22] 603*2^1405430-1 is not prime. Res64: F87E4400AF303F4E Time : 0.0 sec. user=mdettweiler [2015-08-05 20:43:22] 665*2^1405430-1 is not prime. Res64: 60EC95DC94FF9BBB Time : 0.0 sec. user=mdettweiler [2015-08-05 20:50:43] 675*2^1405430-1 is not prime. Res64: 2499C9D9F645BBA5 Time : 0.0 sec. user=mdettweiler [2015-08-05 20:50:43] 731*2^1405430-1 is not prime. Res64: 97F93C27850A72EA Time : 0.0 sec. user=mdettweiler [2015-08-05 21:01:57] 833*2^1405430-1 is not prime. Res64: 6A221C55D5618FD2 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:01:58] 935*2^1405430-1 is not prime. Res64: 68FB4A66ACAA1F57 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:03:05] 965*2^1405430-1 is not prime. Res64: 060F9BFC9234324F Time : 0.0 sec. user=mdettweiler [2015-08-05 21:03:07] 971*2^1405430-1 is not prime. Res64: 8A0F60ED4DE7BB96 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:11:18] 643*2^1405431-1 is not prime. Res64: 1F7C1EF0AFE3D3F2 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:11:18] 723*2^1405431-1 is not prime. Res64: 82DA0F64D0DE9405 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:23:06] 775*2^1405431-1 is not prime. Res64: 17A56ADE7FC58BB6 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:23:06] 795*2^1405431-1 is not prime. Res64: DB240AC7F6CB5719 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:24:19] 829*2^1405431-1 is not prime. Res64: 7342E969A09DD94E Time : 0.0 sec. user=mdettweiler [2015-08-05 21:24:19] 943*2^1405431-1 is not prime. Res64: 6603D1256EE605AA Time : 0.0 sec. user=mdettweiler [2015-08-05 21:31:46] 873*2^1405432-1 is not prime. Res64: 2A87677A85D81779 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:31:46] 939*2^1405432-1 is not prime. Res64: 21600C4E6310D899 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:43:23] 697*2^1405433-1 is not prime. Res64: F4B458D4B5ECF201 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:43:23] 745*2^1405433-1 is not prime. Res64: 93015367DD0A0B85 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:44:34] 747*2^1405433-1 is not prime. Res64: DDF26BFE663C7C25 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:44:34] 889*2^1405433-1 is not prime. Res64: E5354C9562B884D1 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:52:20] 949*2^1405433-1 is not prime. Res64: F7C697A4249908D8 Time : 0.0 sec. user=mdettweiler [2015-08-05 21:52:21] 665*2^1405434-1 is not prime. Res64: 229409489F62DA81 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:03:28] 683*2^1405434-1 is not prime. Res64: 191E916EC7D3061A Time : 0.0 sec. user=mdettweiler [2015-08-05 22:03:30] 741*2^1405434-1 is not prime. Res64: C95B8653C743A7E0 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:04:44] 755*2^1405434-1 is not prime. Res64: A150214DF3441B2D Time : 0.0 sec. user=mdettweiler [2015-08-05 22:04:45] 773*2^1405434-1 is not prime. Res64: CF508A0F92D113D6 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:12:45] 807*2^1405434-1 is not prime. Res64: 4D3F0704CC416C42 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:12:45] 875*2^1405434-1 is not prime. Res64: 98231C70827B3CAA Time : 0.0 sec. user=mdettweiler [2015-08-05 22:23:29] 945*2^1405434-1 is not prime. Res64: A8BE9B7F06F82DC8 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:23:30] 993*2^1405434-1 is not prime. Res64: 3099E599AAB20799 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:24:49] 723*2^1405435-1 is not prime. Res64: 6D38F5D5F0F0F3C9 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:24:50] 783*2^1405435-1 is not prime. Res64: 3625820A1C4765F0 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:32:15] 819*2^1405435-1 is not prime. Res64: AD19A9315FF70C1A Time : 0.0 sec. user=mdettweiler [2015-08-05 22:32:15] 841*2^1405435-1 is not prime. Res64: 4837B045F8FFC2C5 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:43:25] 999*2^1405435-1 is not prime. Res64: 6EFE1232DFE4B995 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:43:25] 683*2^1405436-1 is not prime. Res64: F8F7C42B0305FB58 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:44:46] 755*2^1405436-1 is not prime. Res64: 22AD59DC79564A0C Time : 0.0 sec. user=mdettweiler [2015-08-05 22:44:46] 953*2^1405436-1 is not prime. Res64: FCC073A148A44024 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:52:58] 607*2^1405437-1 is not prime. Res64: 5DEBA22D588B2E94 Time : 0.0 sec. user=mdettweiler [2015-08-05 22:52:58] 675*2^1405437-1 is not prime. Res64: EFE001A4558F62A9 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:03:21] 831*2^1405437-1 is not prime. Res64: A720C1E159A5EA54 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:03:22] 847*2^1405437-1 is not prime. Res64: 33D9DE59D350EC8A Time : 0.0 sec. user=mdettweiler [2015-08-05 23:04:43] 919*2^1405437-1 is not prime. Res64: E4035DAB2624DF2A Time : 0.0 sec. user=mdettweiler [2015-08-05 23:04:44] 945*2^1405437-1 is not prime. Res64: 0C1B4ED49919394A Time : 0.0 sec. user=mdettweiler [2015-08-05 23:13:23] 997*2^1405437-1 is not prime. Res64: 2B40D4EA6811D63C Time : 0.0 sec. user=mdettweiler [2015-08-05 23:13:23] 705*2^1405438-1 is not prime. Res64: 3DD328FF84D1E3F0 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:23:38] 755*2^1405438-1 is not prime. Res64: 513D5EE2E695EAC0 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:23:39] 813*2^1405438-1 is not prime. Res64: C916F7F2AA863717 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:24:35] 881*2^1405438-1 is not prime. Res64: 24FBEB210570A5B0 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:24:35] 995*2^1405438-1 is not prime. Res64: 2E243D60F2DB2E72 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:33:38] 619*2^1405439-1 is not prime. Res64: C4EE47FDE4A5219D Time : 0.0 sec. user=mdettweiler [2015-08-05 23:33:39] 635*2^1405440-1 is not prime. Res64: 7FA6DCB68F9C4DE5 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:43:45] 779*2^1405440-1 is not prime. Res64: D51457446584B0DD Time : 0.0 sec. user=mdettweiler [2015-08-05 23:43:45] 819*2^1405440-1 is not prime. Res64: 0A4392BE8E1FDCE5 Time : 0.0 sec. user=mdettweiler [2015-08-05 23:44:38] 845*2^1405440-1 is not prime. Res64: 27E6D6850091F2BD Time : 0.0 sec. user=mdettweiler [2015-08-05 23:44:39] 857*2^1405440-1 is not prime. Res64: 0ECC1B64D054DDCB Time : 0.0 sec. user=mdettweiler [2015-08-05 23:53:56] 917*2^1405440-1 is not prime. Res64: 2CE0787230C1B2FF Time : 0.0 sec. user=mdettweiler [2015-08-05 23:53:56] 927*2^1405440-1 is not prime. Res64: FECC8AEB7D10B250 Time : 0.0 sec.