user=mdettweiler [2018-05-02 00:09:28] 765*2^1508686-1 is not prime. Res64: F436B43BF7C0ECEA Time : 0.0 sec. user=mdettweiler [2018-05-02 00:09:31] 815*2^1508686-1 is not prime. Res64: 57EF6D7311D616F9 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:09:33] 957*2^1508686-1 is not prime. Res64: E2E456E4F6E8CE6D Time : 0.0 sec. user=mdettweiler [2018-05-02 00:09:35] 1001*2^1508686-1 is not prime. Res64: B4F6A0124DD07CD5 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:09:36] 619*2^1508687-1 is not prime. Res64: 449C190DF1C342CC Time : 0.0 sec. user=mdettweiler [2018-05-02 00:10:33] 669*2^1508687-1 is not prime. Res64: D90DA76ECA41B24E Time : 0.0 sec. user=mdettweiler [2018-05-02 00:10:36] 685*2^1508687-1 is not prime. Res64: 8B7BD31746C3ED0E Time : 0.0 sec. user=mdettweiler [2018-05-02 00:10:40] 735*2^1508687-1 is not prime. Res64: 9D2F4491B67F80A6 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:48:23] 605*2^1508688-1 is not prime. Res64: 0472CB490A35575E Time : 0.0 sec. user=mdettweiler [2018-05-02 00:48:24] 663*2^1508688-1 is not prime. Res64: 6747CA1AFD50B702 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:48:24] 665*2^1508688-1 is not prime. Res64: CC61499EC638192A Time : 0.0 sec. user=mdettweiler [2018-05-02 00:48:25] 699*2^1508688-1 is not prime. Res64: 67136D8F95A97FDB Time : 0.0 sec. user=mdettweiler [2018-05-02 00:48:25] 893*2^1508688-1 is not prime. Res64: 5CBE6DBD7F24318F Time : 0.0 sec. user=mdettweiler [2018-05-02 00:51:47] 969*2^1508688-1 is not prime. Res64: 2FE3FB423518D844 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:51:48] 705*2^1508689-1 is not prime. Res64: BE5A6BE2FD41DB89 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:51:48] 729*2^1508689-1 is not prime. Res64: E6E9EC5637B41C72 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:51:49] 771*2^1508689-1 is not prime. Res64: 5E7D6AE137CB60E2 Time : 0.0 sec. user=mdettweiler [2018-05-02 00:51:49] 799*2^1508689-1 is not prime. Res64: B69375E363E83D77 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:02:36] 811*2^1508689-1 is not prime. Res64: B12175AF73B618C3 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:02:39] 855*2^1508689-1 is not prime. Res64: A021A201790CE20A Time : 0.0 sec. user=mdettweiler [2018-05-02 01:02:41] 931*2^1508689-1 is not prime. Res64: C360B88B837F061B Time : 0.0 sec. user=mdettweiler [2018-05-02 01:02:42] 939*2^1508689-1 is not prime. Res64: ED4F7691580CE433 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:02:44] 735*2^1508690-1 is not prime. Res64: D3FC5538128AFDCE Time : 0.0 sec. user=mdettweiler [2018-05-02 01:41:00] 885*2^1508690-1 is not prime. Res64: 188FB1E71C21513A Time : 0.0 sec. user=mdettweiler [2018-05-02 01:41:01] 893*2^1508690-1 is not prime. Res64: 2C8FEBA051208CE2 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:41:02] 941*2^1508690-1 is not prime. Res64: 0C6CB4178CF44BB1 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:41:03] 945*2^1508690-1 is not prime. Res64: 50FE3CF5CA8D9F6F Time : 0.0 sec. user=mdettweiler [2018-05-02 01:41:04] 685*2^1508691-1 is not prime. Res64: F3807886FAED9CBB Time : 0.0 sec. user=mdettweiler [2018-05-02 01:44:54] 703*2^1508691-1 is not prime. Res64: D9B0C55A30995D82 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:44:54] 775*2^1508691-1 is not prime. Res64: AC81277EE38C7F1A Time : 0.0 sec. user=mdettweiler [2018-05-02 01:44:55] 793*2^1508691-1 is not prime. Res64: AE842A09BBE999D7 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:44:56] 825*2^1508691-1 is not prime. Res64: 1FD3452EA239CDB9 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:44:56] 895*2^1508691-1 is not prime. Res64: 14AAF8AD8B7EBA0C Time : 0.0 sec. user=mdettweiler [2018-05-02 01:59:15] 903*2^1508691-1 is not prime. Res64: 33C0C9E9AA90DAE0 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:59:15] 991*2^1508691-1 is not prime. Res64: 0EB5505C9E92CFA1 Time : 0.0 sec. user=mdettweiler [2018-05-02 01:59:15] 617*2^1508692-1 is not prime. Res64: 3E1EA6EE8306282C Time : 0.0 sec. user=mdettweiler [2018-05-02 01:59:16] 705*2^1508692-1 is not prime. Res64: 39688A56B38FB26E Time : 0.0 sec. user=mdettweiler [2018-05-02 01:59:16] 777*2^1508692-1 is not prime. Res64: 21994F5137A96149 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:33:18] 803*2^1508692-1 is not prime. Res64: 7E20030619A8EDCF Time : 0.0 sec. user=mdettweiler [2018-05-02 02:33:19] 887*2^1508692-1 is not prime. Res64: F779807DDD74A6EA Time : 0.0 sec. user=mdettweiler [2018-05-02 02:33:19] 939*2^1508692-1 is not prime. Res64: 7B62F263E5350081 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:33:20] 697*2^1508693-1 is not prime. Res64: 0864AB82FBC68CFC Time : 0.0 sec. user=mdettweiler [2018-05-02 02:33:21] 795*2^1508693-1 is not prime. Res64: BF4201FDC3C5B409 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:37:24] 805*2^1508693-1 is not prime. Res64: 6D871ACADA98C335 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:37:25] 879*2^1508693-1 is not prime. Res64: C881466D204D1AA6 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:37:26] 939*2^1508693-1 is not prime. Res64: E76C602D1CF440B3 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:37:27] 955*2^1508693-1 is not prime. Res64: 28B584EC2FE43A56 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:37:27] 605*2^1508694-1 is not prime. Res64: 97ABA94D3BADEE7A Time : 0.0 sec. user=mdettweiler [2018-05-02 02:50:14] 615*2^1508694-1 is not prime. Res64: 11B3E91F1A7A7D96 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:50:14] 621*2^1508694-1 is not prime. Res64: 1DD898E672ACBD23 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:50:15] 651*2^1508694-1 is not prime. Res64: 9AD42C4CE8066332 Time : 0.0 sec. user=mdettweiler [2018-05-02 02:50:15] 681*2^1508694-1 is not prime. Res64: 1BDCC62E8C13D3FE Time : 0.0 sec. user=mdettweiler [2018-05-02 02:50:16] 723*2^1508694-1 is not prime. Res64: 1EB16FEBA899EEC1 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:25:27] 873*2^1508694-1 is not prime. Res64: BB0B97A0030508DB Time : 0.0 sec. user=mdettweiler [2018-05-02 03:25:28] 975*2^1508694-1 is not prime. Res64: 9E41C0FBE153A503 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:25:28] 983*2^1508694-1 is not prime. Res64: D5894D413B5DC7C7 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:25:29] 685*2^1508695-1 is not prime. Res64: C2BC44B2B97A9852 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:25:30] 841*2^1508695-1 is not prime. Res64: 44399D7F9667789E Time : 0.0 sec. user=mdettweiler [2018-05-02 03:29:59] 855*2^1508695-1 is not prime. Res64: 85E86FF962DE5541 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:30:00] 883*2^1508695-1 is not prime. Res64: C8EC05300130D162 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:30:02] 885*2^1508695-1 is not prime. Res64: 9D729C05462A0F8C Time : 0.0 sec. user=mdettweiler [2018-05-02 03:30:04] 925*2^1508695-1 is not prime. Res64: A50ADC22D594ACAF Time : 0.0 sec. user=mdettweiler [2018-05-02 03:30:09] 933*2^1508695-1 is not prime. Res64: B288A4E99A965EC9 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:41:21] 969*2^1508695-1 is not prime. Res64: 345C6725E270E0D1 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:41:29] 615*2^1508696-1 is not prime. Res64: 3467508619A28D44 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:41:32] 717*2^1508696-1 is not prime. Res64: AACEF1C01EE9935C Time : 0.0 sec. user=mdettweiler [2018-05-02 03:41:36] 773*2^1508696-1 is not prime. Res64: 2C1BDDEF305AC2DE Time : 0.0 sec. user=mdettweiler [2018-05-02 03:41:38] 803*2^1508696-1 is not prime. Res64: 13B0520C9447BC0E Time : 0.0 sec. user=mdettweiler [2018-05-02 03:48:59] 825*2^1508687-1 is not prime. Res64: C2EDF8C4D44D65E0 Time : 0.0 sec. user=mdettweiler [2018-05-02 03:49:01] 991*2^1508687-1 is not prime. Res64: 9F90A19F9BB946F5 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:16:24] 833*2^1508696-1 is not prime. Res64: 806571DEECED43FD Time : 0.0 sec. user=mdettweiler [2018-05-02 04:16:27] 879*2^1508696-1 is not prime. Res64: E82C2EF4CC3C16CB Time : 0.0 sec. user=mdettweiler [2018-05-02 04:16:32] 923*2^1508696-1 is not prime. Res64: 4D289CC6614F8A80 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:16:36] 983*2^1508696-1 is not prime. Res64: 16B7085F8648E68A Time : 0.0 sec. user=mdettweiler [2018-05-02 04:16:39] 669*2^1508697-1 is not prime. Res64: 16034C1B8CEDF065 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:21:19] 805*2^1508697-1 is not prime. Res64: 9D7858159D33795C Time : 0.0 sec. user=mdettweiler [2018-05-02 04:21:21] 937*2^1508697-1 is not prime. Res64: 8D03731406A1D39F Time : 0.0 sec. user=mdettweiler [2018-05-02 04:21:23] 955*2^1508697-1 is not prime. Res64: 761B0846F8956396 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:21:26] 979*2^1508697-1 is not prime. Res64: F4BE910390FE27EC Time : 0.0 sec. user=mdettweiler [2018-05-02 04:21:28] 681*2^1508698-1 is not prime. Res64: 8575B3D84635C667 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:32:45] 687*2^1508698-1 is not prime. Res64: EB33EF5D51F46355 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:32:45] 777*2^1508698-1 is not prime. Res64: 94D6655ADB572F29 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:32:46] 827*2^1508698-1 is not prime. Res64: 0140BEBE9F736679 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:32:46] 855*2^1508698-1 is not prime. Res64: 38140AB4D7786F60 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:32:47] 941*2^1508698-1 is not prime. Res64: 23B7A2EF9D31FBD3 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:39:58] 993*2^1508698-1 is not prime. Res64: 956884181D79501C Time : 0.0 sec. user=mdettweiler [2018-05-02 04:39:58] 1001*2^1508698-1 is not prime. Res64: 8EB7227E85C7BD78 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:39:59] 675*2^1508699-1 is not prime. Res64: 2DFE7AF07DACAC9A Time : 0.0 sec. user=mdettweiler [2018-05-02 04:39:59] 705*2^1508699-1 is not prime. Res64: B0AADF7B456BA807 Time : 0.0 sec. user=mdettweiler [2018-05-02 04:40:01] 753*2^1508699-1 is not prime. Res64: DEDFE93CF6EE5D27 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:08:19] 775*2^1508699-1 is not prime. Res64: 072712BF662054EE Time : 0.0 sec. user=mdettweiler [2018-05-02 05:08:20] 799*2^1508699-1 is not prime. Res64: C9ABB6A1BC3A6984 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:08:21] 819*2^1508699-1 is not prime. Res64: C7283B4627882129 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:08:22] 855*2^1508699-1 is not prime. Res64: AC89886CCBD3D35A Time : 0.0 sec. user=mdettweiler [2018-05-02 05:08:23] 861*2^1508699-1 is not prime. Res64: DA89B4A7B10438C0 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:11:52] 955*2^1508699-1 is not prime. Res64: C9798F9CE7303307 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:11:52] 693*2^1508700-1 is not prime. Res64: E8F367D3286E7F7A Time : 0.0 sec. user=mdettweiler [2018-05-02 05:11:52] 717*2^1508700-1 is not prime. Res64: 6BC56B5683AA2E7F Time : 0.0 sec. user=mdettweiler [2018-05-02 05:11:53] 719*2^1508700-1 is not prime. Res64: 05AE98606038A46C Time : 0.0 sec. user=mdettweiler [2018-05-02 05:11:53] 845*2^1508700-1 is not prime. Res64: AE100DD5F44C7218 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:23:41] 857*2^1508700-1 is not prime. Res64: 7CF205C63E2F1009 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:23:42] 923*2^1508700-1 is not prime. Res64: 157E71AF79228E02 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:23:42] 927*2^1508700-1 is not prime. Res64: 9903BB5C305FBAA7 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:23:43] 959*2^1508700-1 is not prime. Res64: C1C69B654763D938 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:23:43] 999*2^1508700-1 is not prime. Res64: 741A6DB8773C2C80 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:30:18] 615*2^1508701-1 is not prime. Res64: 4F6BE00D416C0122 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:30:20] 771*2^1508701-1 is not prime. Res64: E736269ECB3B7C90 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:30:21] 801*2^1508701-1 is not prime. Res64: 707820BC50566028 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:30:21] 855*2^1508701-1 is not prime. Res64: 517EAE009B3F4F94 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:30:22] 937*2^1508701-1 is not prime. Res64: 7A1D58CCC56E2562 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:59:10] 683*2^1508702-1 is not prime. Res64: E010FF2C94EC8D58 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:59:11] 771*2^1508702-1 is not prime. Res64: 9E57400C7F842F37 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:59:11] 827*2^1508702-1 is not prime. Res64: 76716D4C2F5D51BD Time : 0.0 sec. user=mdettweiler [2018-05-02 05:59:12] 857*2^1508702-1 is not prime. Res64: AA11AEDDCB01C7F4 Time : 0.0 sec. user=mdettweiler [2018-05-02 05:59:12] 911*2^1508702-1 is not prime. Res64: 51CC0F5A257F0A0D Time : 0.0 sec. user=mdettweiler [2018-05-02 06:02:27] 921*2^1508702-1 is not prime. Res64: EDF6B271B7FB72AE Time : 0.0 sec. user=mdettweiler [2018-05-02 06:02:28] 981*2^1508702-1 is not prime. Res64: 336F101429428715 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:02:29] 783*2^1508703-1 is not prime. Res64: 9B9AA3BB8EB57252 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:02:30] 933*2^1508703-1 is not prime. Res64: 16F48BDA614A8F93 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:02:31] 949*2^1508703-1 is not prime. Res64: 36C1F2042ECFFFEF Time : 0.0 sec. user=mdettweiler [2018-05-02 06:14:07] 951*2^1508703-1 is not prime. Res64: 2E9D35A8C62C8DD5 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:14:07] 639*2^1508704-1 is not prime. Res64: FFDA29734A3193CB Time : 0.0 sec. user=mdettweiler [2018-05-02 06:14:08] 825*2^1508704-1 is not prime. Res64: E44F06FFDBEACFF7 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:14:08] 915*2^1508704-1 is not prime. Res64: 1F7A8EF9F456175B Time : 0.0 sec. user=mdettweiler [2018-05-02 06:14:09] 929*2^1508704-1 is not prime. Res64: A354F0C893554B26 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:20:30] 969*2^1508704-1 is not prime. Res64: 28EADEB9418B6E28 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:20:31] 601*2^1508705-1 is not prime. Res64: CB0001C996D7670F Time : 0.0 sec. user=mdettweiler [2018-05-02 06:20:31] 697*2^1508705-1 is not prime. Res64: A20DF77BB02C1C5F Time : 0.0 sec. user=mdettweiler [2018-05-02 06:20:31] 831*2^1508705-1 is not prime. Res64: DB9588ECD98EC17E Time : 0.0 sec. user=mdettweiler [2018-05-02 06:20:32] 861*2^1508705-1 is not prime. Res64: 622232C23C3B66D1 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:50:25] 889*2^1508705-1 is not prime. Res64: 31608373BF97A666 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:50:26] 937*2^1508705-1 is not prime. Res64: D36D92B32735484B Time : 0.0 sec. user=mdettweiler [2018-05-02 06:50:26] 981*2^1508705-1 is not prime. Res64: 3585D2A3A1B8D6C0 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:50:27] 843*2^1508706-1 is not prime. Res64: 26822C0FDC3ABAAC Time : 0.0 sec. user=mdettweiler [2018-05-02 06:50:27] 923*2^1508706-1 is not prime. Res64: 7EEFBE5B30F1771A Time : 0.0 sec. user=mdettweiler [2018-05-02 06:52:34] 633*2^1508707-1 is not prime. Res64: D10675FA6A51A876 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:52:34] 663*2^1508707-1 is not prime. Res64: A51561DCC70C8B85 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:52:34] 681*2^1508707-1 is not prime. Res64: 4BB72D55F98DD8A1 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:52:35] 703*2^1508707-1 is not prime. Res64: D9337C9520D8A619 Time : 0.0 sec. user=mdettweiler [2018-05-02 06:52:35] 705*2^1508707-1 is not prime. Res64: 53D804A79F378263 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:05:21] 715*2^1508707-1 is not prime. Res64: 22AFCF4BA705FE4E Time : 0.0 sec. user=mdettweiler [2018-05-02 07:05:24] 849*2^1508707-1 is not prime. Res64: CC4E28E4F58843BB Time : 0.0 sec. user=mdettweiler [2018-05-02 07:05:25] 859*2^1508707-1 is not prime. Res64: 81D3EAEAD20C9DE0 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:05:26] 873*2^1508707-1 is not prime. Res64: E4EDB9DEE13455C6 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:05:27] 901*2^1508707-1 is not prime. Res64: 58F8BB439D81083A Time : 0.0 sec. user=mdettweiler [2018-05-02 07:11:05] 919*2^1508707-1 is not prime. Res64: 24198102BEE0DC4A Time : 0.0 sec. user=mdettweiler [2018-05-02 07:11:06] 975*2^1508707-1 is not prime. Res64: BA12666355A49275 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:11:07] 699*2^1508708-1 is not prime. Res64: FF1A697A26803F10 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:11:08] 743*2^1508708-1 is not prime. Res64: 95A36754653A32F2 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:11:08] 767*2^1508708-1 is not prime. Res64: AB237169851ECA06 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:31:20] 911*2^1508710-1 is not prime. Res64: E0B60522AFF0CEB8 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:45] 845*2^1508708-1 is not prime. Res64: 9193C65ACBA206BB Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:45] 875*2^1508708-1 is not prime. Res64: AC617C0E7A8D3AEC Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:45] 935*2^1508708-1 is not prime. Res64: 99504966E174BCA2 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:46] 959*2^1508708-1 is not prime. Res64: 28FA53185F2B2CEF Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:46] 625*2^1508709-1 is not prime. Res64: 40EE1DD2D64028A5 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:46] 621*2^1508709-1 is not prime. Res64: E38BE64B2A0FCFE9 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:46] 627*2^1508709-1 is not prime. Res64: B5FE045FB618521A Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:47] 669*2^1508709-1 is not prime. Res64: E8C5577B0A48E87F Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:47] 675*2^1508709-1 is not prime. Res64: 01B932A755B4AD5E Time : 0.0 sec. user=mdettweiler [2018-05-02 07:41:48] 709*2^1508709-1 is not prime. Res64: 2EAFA2139008522F Time : 0.0 sec. user=mdettweiler [2018-05-02 07:58:30] 711*2^1508709-1 is not prime. Res64: 5F6AFD517463751A Time : 0.0 sec. user=mdettweiler [2018-05-02 07:58:31] 741*2^1508709-1 is not prime. Res64: 2FF01445C1F11D68 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:58:31] 769*2^1508709-1 is not prime. Res64: 7D16E5FECA058310 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:58:32] 817*2^1508709-1 is not prime. Res64: 42AD7FA0EEC9D429 Time : 0.0 sec. user=mdettweiler [2018-05-02 07:58:32] 951*2^1508709-1 is not prime. Res64: 6BA2CD0E84BEDAE7 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:02:58] 987*2^1508709-1 is not prime. Res64: 64D962B623BF1159 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:02:59] 999*2^1508709-1 is not prime. Res64: 8FB12CFAFE683801 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:03:00] 755*2^1508710-1 is not prime. Res64: 50033B4137474A37 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:03:00] 825*2^1508710-1 is not prime. Res64: 8946CE92057753CC Time : 0.0 sec. user=mdettweiler [2018-05-02 08:03:01] 843*2^1508710-1 is not prime. Res64: 8CA9F45EB196DF31 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:33] 863*2^1508712-1 is not prime. Res64: 34D146623BC66548 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:33] 873*2^1508712-1 is not prime. Res64: 2ABF0A2824799393 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:34] 915*2^1508712-1 is not prime. Res64: 0BE21E2E51C59A1A Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:34] 705*2^1508713-1 is not prime. Res64: 184B399FB68A2468 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:34] 745*2^1508713-1 is not prime. Res64: 28BF75EF91312199 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:50] 643*2^1508711-1 is not prime. Res64: 149BE2A2001E6242 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:50] 669*2^1508711-1 is not prime. Res64: 4108B797846A10C9 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:51] 775*2^1508711-1 is not prime. Res64: 1A02C461D7F7B289 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:51] 825*2^1508711-1 is not prime. Res64: 1665D726029DFE04 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:32:51] 843*2^1508712-1 is not prime. Res64: 2CEE0C54FB065CEA Time : 0.0 sec. user=mdettweiler [2018-05-02 08:49:39] 769*2^1508713-1 is not prime. Res64: C52191BB02F2D214 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:49:39] 811*2^1508713-1 is not prime. Res64: 5BDA88543333ED4A Time : 0.0 sec. user=mdettweiler [2018-05-02 08:49:40] 895*2^1508713-1 is not prime. Res64: ABC4BD7B970C127E Time : 0.0 sec. user=mdettweiler [2018-05-02 08:49:40] 939*2^1508713-1 is not prime. Res64: 10696187410A4B5C Time : 0.0 sec. user=mdettweiler [2018-05-02 08:49:40] 957*2^1508713-1 is not prime. Res64: E5CCE2AB698C1C4F Time : 0.0 sec. user=mdettweiler [2018-05-02 08:53:57] 731*2^1508714-1 is not prime. Res64: 3C9B6B71B8EAD73E Time : 0.0 sec. user=mdettweiler [2018-05-02 08:53:57] 747*2^1508714-1 is not prime. Res64: D1979B15716B0DA0 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:53:58] 783*2^1508714-1 is not prime. Res64: 418A49A6AFB38139 Time : 0.0 sec. user=mdettweiler [2018-05-02 08:53:58] 827*2^1508714-1 is not prime. Res64: 6FAE2C6F86AE715D Time : 0.0 sec. user=mdettweiler [2018-05-02 08:53:58] 917*2^1508714-1 is not prime. Res64: BC8DBEFC7C48064B Time : 0.0 sec. user=mdettweiler [2018-05-02 09:22:47] 935*2^1508714-1 is not prime. Res64: 014A2C4C415BD5C0 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:22:48] 953*2^1508714-1 is not prime. Res64: 7DDA04B7647044F8 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:22:48] 1001*2^1508714-1 is not prime. Res64: 78473035EFFB4270 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:22:49] 643*2^1508715-1 is not prime. Res64: 20F42E2AB7BDDF93 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:22:49] 651*2^1508715-1 is not prime. Res64: 082F1602BF07FB39 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:23:17] 675*2^1508715-1 is not prime. Res64: E7B27B7D0C82C837 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:23:17] 679*2^1508715-1 is not prime. Res64: CB80194386241B2F Time : 0.0 sec. user=mdettweiler [2018-05-02 09:23:18] 765*2^1508715-1 is not prime. Res64: 6F508315CC323C90 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:23:18] 781*2^1508715-1 is not prime. Res64: 180FD4DA33BCFFB4 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:23:19] 951*2^1508715-1 is not prime. Res64: 91FD2A054D8AA119 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:40:31] 973*2^1508715-1 is not prime. Res64: 4B572EB1CB701BF9 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:40:31] 689*2^1508716-1 is not prime. Res64: F9A6E0EE3FA57CCF Time : 0.0 sec. user=mdettweiler [2018-05-02 09:40:32] 723*2^1508716-1 is not prime. Res64: 69CEBA94FB125FB9 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:40:32] 735*2^1508716-1 is not prime. Res64: 6CB6376712CBBAB8 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:40:33] 825*2^1508716-1 is not prime. Res64: 7F8B64EB31A419A7 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:44:02] 905*2^1508716-1 is not prime. Res64: FC7DC287E4C2EE5D Time : 0.0 sec. user=mdettweiler [2018-05-02 09:44:03] 965*2^1508716-1 is not prime. Res64: 0F584FA264051C89 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:44:03] 675*2^1508717-1 is not prime. Res64: FC381BA0B8409F64 Time : 0.0 sec. user=mdettweiler [2018-05-02 09:44:03] 691*2^1508717-1 is not prime. Res64: A2FB623C2194DF7C Time : 0.0 sec. user=mdettweiler [2018-05-02 09:44:04] 711*2^1508717-1 is not prime. Res64: FB46C6F96B43CE3F Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:20] 879*2^1508717-1 is not prime. Res64: 87D797A466FD0959 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:21] 937*2^1508717-1 is not prime. Res64: 09772B3093BEFD84 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:21] 967*2^1508717-1 is not prime. Res64: 6BF4BD5325F951F5 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:22] 997*2^1508717-1 is not prime. Res64: 9E5E641C08451284 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:22] 641*2^1508718-1 is not prime. Res64: 11A26F90C4B30515 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:54] 683*2^1508718-1 is not prime. Res64: 33659B0BE7D262ED Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:55] 705*2^1508718-1 is not prime. Res64: AA7A6930A58F9F2F Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:56] 815*2^1508718-1 is not prime. Res64: 275C46221796014B Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:56] 825*2^1508718-1 is not prime. Res64: 2045F1E9766B602B Time : 0.0 sec. user=mdettweiler [2018-05-02 10:13:57] 833*2^1508718-1 is not prime. Res64: D0F276BB1F1E929F Time : 0.0 sec. user=mdettweiler [2018-05-02 10:31:22] 863*2^1508718-1 is not prime. Res64: CB84FD669D9FBDE7 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:31:22] 887*2^1508718-1 is not prime. Res64: 1DD13F4F559C180C Time : 0.0 sec. user=mdettweiler [2018-05-02 10:31:22] 633*2^1508719-1 is not prime. Res64: ABA87EE618DF5C5C Time : 0.0 sec. user=mdettweiler [2018-05-02 10:31:23] 751*2^1508719-1 is not prime. Res64: 5E25C59BC845A676 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:31:23] 765*2^1508719-1 is not prime. Res64: C835E5A8B1D2F05B Time : 0.0 sec. user=mdettweiler [2018-05-02 10:35:08] 843*2^1508719-1 is not prime. Res64: C6D2BEEC71ACC7B7 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:35:09] 861*2^1508719-1 is not prime. Res64: AB3077AA72953980 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:35:09] 891*2^1508719-1 is not prime. Res64: C62671BEEEAE20BF Time : 0.0 sec. user=mdettweiler [2018-05-02 10:35:10] 909*2^1508719-1 is not prime. Res64: C95E8B45A6CA88D4 Time : 0.0 sec. user=mdettweiler [2018-05-02 10:35:10] 999*2^1508719-1 is not prime. Res64: AF10C1C3C2BDA3D0 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:04:17] 893*2^1508720-1 is not prime. Res64: 560FD7F9A4050B40 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:04:20] 691*2^1508721-1 is not prime. Res64: 7B3A4EACEC459ABE Time : 0.0 sec. user=mdettweiler [2018-05-02 11:04:22] 963*2^1508720-1 is not prime. Res64: 8EB5A61BE9B7A6A7 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:04:25] 995*2^1508720-1 is not prime. Res64: 883B3C33B4E38BF4 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:04:29] 709*2^1508721-1 is not prime. Res64: AF6FBCDBC48A9DBF Time : 0.0 sec. user=mdettweiler [2018-05-02 11:04:32] 609*2^1508721-1 is not prime. Res64: 842B2B7A67AD9965 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:04:37] 649*2^1508721-1 is not prime. Res64: A4B40DA9E7A46A59 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:23:08] 847*2^1508721-1 is not prime. Res64: 3AD8E1741E608E50 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:23:08] 867*2^1508721-1 is not prime. Res64: 78A462DCD98C99EA Time : 0.0 sec. user=mdettweiler [2018-05-02 11:23:09] 877*2^1508721-1 is not prime. Res64: E115556ECCDF5564 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:23:09] 617*2^1508722-1 is not prime. Res64: E70B33F7A697EEDA Time : 0.0 sec. user=mdettweiler [2018-05-02 11:23:10] 723*2^1508722-1 is not prime. Res64: DC4AA5A5B67F1BA2 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:27:01] 801*2^1508722-1 is not prime. Res64: 918F3E48671B88FC Time : 0.0 sec. user=mdettweiler [2018-05-02 11:27:01] 885*2^1508722-1 is not prime. Res64: E77A76599FD40ACC Time : 0.0 sec. user=mdettweiler [2018-05-02 11:27:01] 911*2^1508722-1 is not prime. Res64: CDE3D0244D5D5304 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:27:02] 923*2^1508722-1 is not prime. Res64: 06EC3C7D566A8654 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:27:02] 951*2^1508722-1 is not prime. Res64: D647AF7C462F287F Time : 0.0 sec. user=mdettweiler [2018-05-02 11:57:06] 649*2^1508723-1 is not prime. Res64: 7821BADD9A85B45E Time : 0.0 sec. user=mdettweiler [2018-05-02 11:57:06] 673*2^1508723-1 is not prime. Res64: A3CD1BA0E47258FE Time : 0.0 sec. user=mdettweiler [2018-05-02 11:57:06] 699*2^1508723-1 is not prime. Res64: B3EB458F61143ADE Time : 0.0 sec. user=mdettweiler [2018-05-02 11:57:07] 741*2^1508723-1 is not prime. Res64: 29CAB74D1B9E0459 Time : 0.0 sec. user=mdettweiler [2018-05-02 11:57:07] 885*2^1508723-1 is not prime. Res64: 09DB635553B8DF46 Time : 0.0 sec. user=mdettweiler [2018-05-02 12:15:10] 943*2^1508723-1 is not prime. Res64: 53F9FF827F5093E5 Time : 0.0 sec. user=mdettweiler [2018-05-02 12:15:10] 963*2^1508723-1 is not prime. Res64: 864DD8B7B96CC333 Time : 0.0 sec. user=mdettweiler [2018-05-02 12:15:11] 993*2^1508723-1 is not prime. Res64: 7490C3B36B5E5F6C Time : 0.0 sec. user=mdettweiler [2018-05-02 12:15:11] 665*2^1508724-1 is not prime. Res64: 60520252BBF7D68B Time : 0.0 sec. user=mdettweiler [2018-05-02 12:15:12] 693*2^1508724-1 is not prime. Res64: BD736357B15EAADA Time : 0.0 sec. user=mdettweiler [2018-05-02 12:19:08] 857*2^1508724-1 is not prime. Res64: 44308226E7AA93AA Time : 0.0 sec. user=mdettweiler [2018-05-02 12:19:09] 893*2^1508724-1 is not prime. Res64: EDB441897DEDED5B Time : 0.0 sec. user=mdettweiler [2018-05-02 12:19:10] 729*2^1508725-1 is not prime. Res64: A02D42122A49D557 Time : 0.0 sec. user=mdettweiler [2018-05-02 12:19:11] 861*2^1508725-1 is not prime. Res64: 724537C1C07E8F5E Time : 0.0 sec. user=mdettweiler [2018-05-02 12:19:12] 889*2^1508725-1 is not prime. Res64: F19D53F58A3C321C Time : 0.0 sec. user=mdettweiler [2018-05-02 12:49:01] 897*2^1508725-1 is not prime. Res64: 6E09504AEF4F8C92 Time : 0.0 sec. user=mdettweiler [2018-05-02 12:49:01] 975*2^1508725-1 is not prime. Res64: 3432D755AC1D5EC4 Time : 0.0 sec. user=mdettweiler [2018-05-02 12:49:01] 985*2^1508725-1 is not prime. Res64: 6997A36EE4EFCD43 Time : 0.0 sec. user=mdettweiler [2018-05-02 12:49:02] 997*2^1508725-1 is not prime. Res64: FB994965F8A636DB Time : 0.0 sec. user=mdettweiler [2018-05-02 12:49:02] 711*2^1508726-1 is not prime. Res64: BD12B201AEED13B8 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:12:17] 625*2^1508727-1 is not prime. Res64: EE46B2B5384656C7 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:12:17] 843*2^1508727-1 is not prime. Res64: 0BEC5A0CE8BD707F Time : 0.0 sec. user=mdettweiler [2018-05-02 13:12:18] 985*2^1508727-1 is not prime. Res64: E13CD7C56B2470DE Time : 0.0 sec. user=mdettweiler [2018-05-02 13:12:19] 657*2^1508728-1 is not prime. Res64: C7F6EB9A0BD3E454 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:12:19] 797*2^1508728-1 is not prime. Res64: DE3D2D22CAC5538A Time : 0.0 sec. user=mdettweiler [2018-05-02 13:13:31] 773*2^1508726-1 is not prime. Res64: B88D97ACCD85B996 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:13:32] 813*2^1508726-1 is not prime. Res64: E6B81A0431FD09B9 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:13:32] 833*2^1508726-1 is not prime. Res64: 5B6F9C9139AE5B03 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:13:32] 619*2^1508727-1 is not prime. Res64: 95B4C123AB459F41 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:13:33] 621*2^1508727-1 is not prime. Res64: FA5D2DBD8DAC38D3 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:42:15] 819*2^1508728-1 is not prime. Res64: F8224F95483BF860 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:42:15] 827*2^1508728-1 is not prime. Res64: C385725BDC07ADCC Time : 0.0 sec. user=mdettweiler [2018-05-02 13:42:16] 845*2^1508728-1 is not prime. Res64: 902CA258E73E6ECC Time : 0.0 sec. user=mdettweiler [2018-05-02 13:42:16] 993*2^1508728-1 is not prime. Res64: D6B1615D45296AE8 Time : 0.0 sec. user=mdettweiler [2018-05-02 13:42:16] 691*2^1508729-1 is not prime. Res64: 057ACB32EA3C3AD0 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:04:20] 789*2^1508729-1 is not prime. Res64: 733C5718AD7BC641 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:04:22] 865*2^1508729-1 is not prime. Res64: 137BF2CA60FC057F Time : 0.0 sec. user=mdettweiler [2018-05-02 14:04:23] 653*2^1508730-1 is not prime. Res64: 730A1662985F8262 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:04:24] 723*2^1508730-1 is not prime. Res64: B13F16F977F2257A Time : 0.0 sec. user=mdettweiler [2018-05-02 14:04:25] 791*2^1508730-1 is not prime. Res64: CD64DA96E93F58DA Time : 0.0 sec. user=mdettweiler [2018-05-02 14:05:25] 921*2^1508730-1 is not prime. Res64: FB3E793A5D246378 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:05:26] 945*2^1508730-1 is not prime. Res64: DF346871B5E1BF3E Time : 0.0 sec. user=mdettweiler [2018-05-02 14:05:29] 977*2^1508730-1 is not prime. Res64: B2259C4182091AFF Time : 0.0 sec. user=mdettweiler [2018-05-02 14:05:30] 621*2^1508731-1 is not prime. Res64: 9692D1D3A6D60B8C Time : 0.0 sec. user=mdettweiler [2018-05-02 14:05:32] 715*2^1508731-1 is not prime. Res64: F5641EDBA5FC3525 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:35:08] 735*2^1508721-1 is not prime. Res64: 93375FC4E258A530 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:35:08] 747*2^1508721-1 is not prime. Res64: B14B03C243BE0F55 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:35:09] 837*2^1508721-1 is not prime. Res64: 21AB8C1D60E78E7F Time : 0.0 sec. user=mdettweiler [2018-05-02 14:36:26] 769*2^1508731-1 is not prime. Res64: 623DA27342FF853D Time : 0.0 sec. user=mdettweiler [2018-05-02 14:36:27] 861*2^1508731-1 is not prime. Res64: 985E8C04FC339434 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:36:27] 871*2^1508731-1 is not prime. Res64: 11C259B53386AD13 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:36:28] 885*2^1508731-1 is not prime. Res64: 385056EA464F9AE0 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:36:28] 901*2^1508731-1 is not prime. Res64: DB952AF86BF43CAB Time : 0.0 sec. user=mdettweiler [2018-05-02 14:56:52] 943*2^1508731-1 is not prime. Res64: CDF9BBF9DD517ADC Time : 0.0 sec. user=mdettweiler [2018-05-02 14:56:52] 605*2^1508732-1 is not prime. Res64: 6088EE5B96F5E4CD Time : 0.0 sec. user=mdettweiler [2018-05-02 14:56:53] 725*2^1508732-1 is not prime. Res64: CEF0DB41EC0C013C Time : 0.0 sec. user=mdettweiler [2018-05-02 14:56:53] 755*2^1508732-1 is not prime. Res64: CFDD2C75A708EE28 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:56:54] 803*2^1508732-1 is not prime. Res64: 8DEF2DD8E86765D2 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:57:45] 833*2^1508732-1 is not prime. Res64: 0BE66A9FE578B58B Time : 0.0 sec. user=mdettweiler [2018-05-02 14:57:45] 855*2^1508732-1 is not prime. Res64: E30DF74260D4001C Time : 0.0 sec. user=mdettweiler [2018-05-02 14:57:45] 957*2^1508732-1 is not prime. Res64: D5A4810245CE3083 Time : 0.0 sec. user=mdettweiler [2018-05-02 14:57:46] 963*2^1508732-1 is not prime. Res64: 9766D9F2716809DF Time : 0.0 sec. user=mdettweiler [2018-05-02 14:57:46] 977*2^1508732-1 is not prime. Res64: C83174507309C00C Time : 0.0 sec. user=mdettweiler [2018-05-02 15:26:48] 805*2^1508733-1 is not prime. Res64: E68BFA0B751C98EA Time : 0.0 sec. user=mdettweiler [2018-05-02 15:26:49] 681*2^1508734-1 is not prime. Res64: 0D666631FDA6658C Time : 0.0 sec. user=mdettweiler [2018-05-02 15:26:49] 687*2^1508734-1 is not prime. Res64: 4311B442B2A1273D Time : 0.0 sec. user=mdettweiler [2018-05-02 15:26:49] 917*2^1508734-1 is not prime. Res64: 1CCF5D78861F3E45 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:26:50] 923*2^1508734-1 is not prime. Res64: 357348C47F73D42A Time : 0.0 sec. user=mdettweiler [2018-05-02 15:27:35] 995*2^1508732-1 is not prime. Res64: 36E4EB49101423B6 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:27:36] 627*2^1508733-1 is not prime. Res64: E7C04567A350A8B5 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:27:36] 639*2^1508733-1 is not prime. Res64: 1D494C3A11A43AC8 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:27:37] 735*2^1508733-1 is not prime. Res64: 8BBE5E391D261346 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:27:37] 765*2^1508733-1 is not prime. Res64: 68B1FA7EAF63F408 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:48:22] 951*2^1508734-1 is not prime. Res64: A908CB3BD7EDDDEB Time : 0.0 sec. user=mdettweiler [2018-05-02 15:48:23] 981*2^1508734-1 is not prime. Res64: 740E5EF3A359647C Time : 0.0 sec. user=mdettweiler [2018-05-02 15:48:23] 633*2^1508735-1 is not prime. Res64: ED75DF39074E76FF Time : 0.0 sec. user=mdettweiler [2018-05-02 15:48:23] 673*2^1508735-1 is not prime. Res64: 7E88308359882643 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:48:24] 685*2^1508735-1 is not prime. Res64: EE91AC87F4E80633 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:49:26] 895*2^1508735-1 is not prime. Res64: AF9F466B1D635F2C Time : 0.0 sec. user=mdettweiler [2018-05-02 15:49:27] 969*2^1508735-1 is not prime. Res64: 4BFBAE8AD7BE0645 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:49:27] 609*2^1508736-1 is not prime. Res64: CBADDFAAF0B477E7 Time : 0.0 sec. user=mdettweiler [2018-05-02 15:49:28] 675*2^1508736-1 is not prime. Res64: 503C2A1C4F9785CA Time : 0.0 sec. user=mdettweiler [2018-05-02 15:49:28] 747*2^1508736-1 is not prime. Res64: E9397EFBCC2F4A4A Time : 0.0 sec. user=mdettweiler [2018-05-02 16:21:56] 615*2^1508737-1 is not prime. Res64: AE0A5E02B3733F7F Time : 0.0 sec. user=mdettweiler [2018-05-02 16:21:56] 639*2^1508737-1 is not prime. Res64: 94D2CC4CE3348C1D Time : 0.0 sec. user=mdettweiler [2018-05-02 16:21:57] 645*2^1508737-1 is not prime. Res64: D452622105516EA5 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:21:57] 661*2^1508737-1 is not prime. Res64: 071FD99F5C2301F7 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:21:57] 775*2^1508737-1 is not prime. Res64: 3DC7BDD1A4AC40C2 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:22:51] 765*2^1508736-1 is not prime. Res64: 5C5A0E8D026BDC74 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:22:52] 879*2^1508736-1 is not prime. Res64: CF2BEC04F7419E30 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:22:52] 945*2^1508736-1 is not prime. Res64: F5E23DDC2727151C Time : 0.0 sec. user=mdettweiler [2018-05-02 16:22:53] 969*2^1508736-1 is not prime. Res64: 050F50BDF5089005 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:22:53] 999*2^1508736-1 is not prime. Res64: ABC5BBA94E621FB5 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:41:39] 885*2^1508737-1 is not prime. Res64: BE7DA79789579098 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:41:40] 627*2^1508738-1 is not prime. Res64: 45E5CC2D92D49C86 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:41:40] 657*2^1508738-1 is not prime. Res64: 68E4A6CCD0D06B0B Time : 0.0 sec. user=mdettweiler [2018-05-02 16:41:40] 843*2^1508738-1 is not prime. Res64: 9480F8FEF283EE8D Time : 0.0 sec. user=mdettweiler [2018-05-02 16:41:41] 857*2^1508738-1 is not prime. Res64: 413B4C0BE3A8F462 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:43:57] 867*2^1508738-1 is not prime. Res64: 0273CFA95D6DAD56 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:43:58] 885*2^1508738-1 is not prime. Res64: 6A45455C16E5F7FE Time : 0.0 sec. user=mdettweiler [2018-05-02 16:43:59] 953*2^1508738-1 is not prime. Res64: BAC34A8955C4DB45 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:43:59] 971*2^1508738-1 is not prime. Res64: 9225D3934992FEC8 Time : 0.0 sec. user=mdettweiler [2018-05-02 16:44:00] 619*2^1508739-1 is not prime. Res64: D9690B026D451C2C Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:22] 609*2^1508740-1 is not prime. Res64: 527D10A6B15F2F08 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:23] 623*2^1508740-1 is not prime. Res64: 64CD5AAADA6DCABD Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:23] 635*2^1508740-1 is not prime. Res64: A39439016736151A Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:23] 647*2^1508740-1 is not prime. Res64: DAF3FAD4C4D72577 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:24] 905*2^1508740-1 is not prime. Res64: 9FDC5D9689F882DD Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:55] 735*2^1508739-1 is not prime. Res64: 62E7FD999552ED4B Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:55] 885*2^1508739-1 is not prime. Res64: B35C136AE99BBEF5 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:56] 921*2^1508739-1 is not prime. Res64: F0A51549850C2BDE Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:56] 975*2^1508739-1 is not prime. Res64: 61C7A97BB1B906A5 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:13:57] 985*2^1508739-1 is not prime. Res64: 17CCAE9BC0B5EC68 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:34:10] 929*2^1508740-1 is not prime. Res64: 3D709DAA4E5ADC41 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:34:10] 959*2^1508740-1 is not prime. Res64: B4FD7C5D6814FC22 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:34:11] 975*2^1508740-1 is not prime. Res64: 6D671A04F3EE7A03 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:34:11] 741*2^1508741-1 is not prime. Res64: C4655B072875B2D4 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:34:11] 889*2^1508741-1 is not prime. Res64: 59EC73E3A895563E Time : 0.0 sec. user=mdettweiler [2018-05-02 17:35:37] 901*2^1508741-1 is not prime. Res64: A9811DBED7CC7035 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:35:37] 927*2^1508741-1 is not prime. Res64: 0AE59BAF4A112A53 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:35:38] 671*2^1508742-1 is not prime. Res64: 8DF5FFBC10B3CB06 Time : 0.0 sec. user=mdettweiler [2018-05-02 17:35:38] 677*2^1508742-1 is not prime. Res64: 9B065F7AAA56675D Time : 0.0 sec. user=mdettweiler [2018-05-02 17:35:39] 681*2^1508742-1 is not prime. Res64: C9458D3A29D836CD Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:11] 1001*2^1508742-1 is not prime. Res64: 8FEC68631F985CA3 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:12] 649*2^1508743-1 is not prime. Res64: C01684C7B65A72A2 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:13] 661*2^1508743-1 is not prime. Res64: C0FA9F02215788C5 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:15] 723*2^1508743-1 is not prime. Res64: 37C24ACEDE26F8FE Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:16] 735*2^1508743-1 is not prime. Res64: C2929637E0E0913B Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:20] 683*2^1508742-1 is not prime. Res64: 46F9C97859378709 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:22] 711*2^1508742-1 is not prime. Res64: C193F033A031C018 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:23] 713*2^1508742-1 is not prime. Res64: FECFC018094444CB Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:26] 747*2^1508742-1 is not prime. Res64: C74A9C6A98450FF6 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:04:28] 801*2^1508742-1 is not prime. Res64: 4227E05775355DB7 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:25:27] 745*2^1508743-1 is not prime. Res64: EBD8753F51DFEE3B Time : 0.0 sec. user=mdettweiler [2018-05-02 18:25:28] 765*2^1508743-1 is not prime. Res64: 22CB251F07EF2684 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:25:28] 775*2^1508743-1 is not prime. Res64: 89E3C755C573C75B Time : 0.0 sec. user=mdettweiler [2018-05-02 18:25:29] 819*2^1508743-1 is not prime. Res64: 21EB5A7124C66A7C Time : 0.0 sec. user=mdettweiler [2018-05-02 18:25:29] 861*2^1508743-1 is not prime. Res64: C26C8A13EA1F6B83 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:26:48] 895*2^1508743-1 is not prime. Res64: C4E7F726B0540186 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:26:49] 827*2^1508744-1 is not prime. Res64: 662D335F3CCC2F2B Time : 0.0 sec. user=mdettweiler [2018-05-02 18:26:50] 869*2^1508744-1 is not prime. Res64: FF9C1C342AA130AA Time : 0.0 sec. user=mdettweiler [2018-05-02 18:26:51] 873*2^1508744-1 is not prime. Res64: A80C2A9E0260EE3B Time : 0.0 sec. user=mdettweiler [2018-05-02 18:26:51] 995*2^1508744-1 is not prime. Res64: A819ECE0887B5D93 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:55:46] 699*2^1508745-1 is not prime. Res64: 0BB5BAF9AA304042 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:55:46] 739*2^1508745-1 is not prime. Res64: A4A2C8DB4388CDEF Time : 0.0 sec. user=mdettweiler [2018-05-02 18:55:47] 789*2^1508745-1 is not prime. Res64: D22DBD8424CD9ED0 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:55:47] 937*2^1508745-1 is not prime. Res64: E175F1A06F21A18C Time : 0.0 sec. user=mdettweiler [2018-05-02 18:55:47] 635*2^1508746-1 is not prime. Res64: 699031F5CB68DC0D Time : 0.0 sec. user=mdettweiler [2018-05-02 18:56:06] 607*2^1508745-1 is not prime. Res64: CA6A54DB229FFC10 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:56:06] 657*2^1508746-1 is not prime. Res64: 7AD7D6912E2DE59D Time : 0.0 sec. user=mdettweiler [2018-05-02 18:56:07] 833*2^1508746-1 is not prime. Res64: 37F5323B4EAABA1B Time : 0.0 sec. user=mdettweiler [2018-05-02 18:56:07] 911*2^1508746-1 is not prime. Res64: C6AEAF6014113A68 Time : 0.0 sec. user=mdettweiler [2018-05-02 18:56:08] 945*2^1508746-1 is not prime. Res64: 288D8C72DD50DBF1 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:16:08] 957*2^1508746-1 is not prime. Res64: 1E0E8DF383453C08 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:16:08] 971*2^1508746-1 is not prime. Res64: 67F3C2C99784D3D0 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:16:09] 615*2^1508747-1 is not prime. Res64: E983C14C79D758A5 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:16:09] 675*2^1508747-1 is not prime. Res64: 7CFAA8320F0907F9 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:16:10] 753*2^1508747-1 is not prime. Res64: F1537DB231EFE776 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:18:20] 813*2^1508747-1 is not prime. Res64: EE3028971E683C0A Time : 0.0 sec. user=mdettweiler [2018-05-02 19:18:21] 859*2^1508747-1 is not prime. Res64: 57DF3B98C324C4A0 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:18:21] 939*2^1508747-1 is not prime. Res64: FC2F4600528ECE1F Time : 0.0 sec. user=mdettweiler [2018-05-02 19:18:22] 949*2^1508747-1 is not prime. Res64: 9D9A740E3FB11B21 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:18:22] 973*2^1508747-1 is not prime. Res64: ECEC99C862526A8D Time : 0.0 sec. user=mdettweiler [2018-05-02 19:47:12] 753*2^1508748-1 is not prime. Res64: 7D0F136D1DFF3B78 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:47:12] 765*2^1508748-1 is not prime. Res64: C7EF079756A3ADF7 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:47:13] 819*2^1508748-1 is not prime. Res64: FCBC8E0CA848AE93 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:47:13] 993*2^1508748-1 is not prime. Res64: 9209F67735CE0086 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:47:13] 615*2^1508749-1 is not prime. Res64: 5E9B4A9B8DC32341 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:48:03] 619*2^1508749-1 is not prime. Res64: 011CE36D61800090 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:48:04] 649*2^1508749-1 is not prime. Res64: DD31F56E2EBF2FE9 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:48:04] 769*2^1508749-1 is not prime. Res64: D1F1ED0089A68217 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:48:04] 819*2^1508749-1 is not prime. Res64: 352FE396FFCECE50 Time : 0.0 sec. user=mdettweiler [2018-05-02 19:48:05] 931*2^1508749-1 is not prime. Res64: 3FF95AEF63279631 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:09:41] 955*2^1508749-1 is not prime. Res64: 1EFF91E5DF4C0AA2 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:09:42] 651*2^1508750-1 is not prime. Res64: C416E081188D0B73 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:09:45] 677*2^1508750-1 is not prime. Res64: D404779F791E596F Time : 0.0 sec. user=mdettweiler [2018-05-02 20:09:46] 687*2^1508750-1 is not prime. Res64: DBFEC72D3D786B41 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:09:47] 773*2^1508750-1 is not prime. Res64: 9CE892A90A0ABE28 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:10:11] 827*2^1508750-1 is not prime. Res64: 3BC4F9B8FA8FEF03 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:10:12] 851*2^1508750-1 is not prime. Res64: EA0C8DED76AC0775 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:10:12] 861*2^1508750-1 is not prime. Res64: 992CC84E91A96BEC Time : 0.0 sec. user=mdettweiler [2018-05-02 20:10:12] 917*2^1508750-1 is not prime. Res64: 0642C440A5EA7F28 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:10:13] 981*2^1508750-1 is not prime. Res64: 5DCE455EB06B2981 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:42:37] 613*2^1508751-1 is not prime. Res64: FE649F47F7E97D16 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:42:38] 651*2^1508751-1 is not prime. Res64: B24C52D3F578EE1B Time : 0.0 sec. user=mdettweiler [2018-05-02 20:42:38] 795*2^1508751-1 is not prime. Res64: 03FD38D35B43C2FC Time : 0.0 sec. user=mdettweiler [2018-05-02 20:42:38] 825*2^1508751-1 is not prime. Res64: CD252695BDAE4823 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:42:39] 885*2^1508751-1 is not prime. Res64: 0C90A87408C817BE Time : 0.0 sec. user=mdettweiler [2018-05-02 20:45:49] 979*2^1508751-1 is not prime. Res64: 09C0D3DAA1FB454C Time : 0.0 sec. user=mdettweiler [2018-05-02 20:45:50] 717*2^1508752-1 is not prime. Res64: 6A016C7CD88C2482 Time : 0.0 sec. user=mdettweiler [2018-05-02 20:45:50] 747*2^1508752-1 is not prime. Res64: 3A30FEDC6810FD2C Time : 0.0 sec. user=mdettweiler [2018-05-02 20:45:51] 779*2^1508752-1 is not prime. Res64: 79C378DE3BF16A7D Time : 0.0 sec. user=mdettweiler [2018-05-02 20:45:51] 955*2^1508753-1 is not prime. Res64: 235E5BF7402A9438 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:38] 981*2^1508753-1 is not prime. Res64: FAB98E20F9496F2B Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:42] 927*2^1508754-1 is not prime. Res64: B6582EE465300CFB Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:42] 803*2^1508754-1 is not prime. Res64: 60C939DD95EF7991 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:45] 821*2^1508754-1 is not prime. Res64: 31A1A41FB4F1FF08 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:48] 861*2^1508754-1 is not prime. Res64: BCF5316D94771653 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:51] 873*2^1508754-1 is not prime. Res64: 8DB4B6DF62092968 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:52] 1001*2^1508754-1 is not prime. Res64: 53EC34016780AAB0 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:56] 733*2^1508755-1 is not prime. Res64: 81918DE9A0473BB1 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:02:59] 829*2^1508755-1 is not prime. Res64: 3F1134CFA58519DF Time : 0.0 sec. user=mdettweiler [2018-05-02 21:03:02] 861*2^1508755-1 is not prime. Res64: 89F9A3A2D736E21B Time : 0.0 sec. user=mdettweiler [2018-05-02 21:32:57] 873*2^1508755-1 is not prime. Res64: 4CD79D57429A00A9 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:32:58] 603*2^1508756-1 is not prime. Res64: 6D385470B2843B37 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:32:58] 923*2^1508756-1 is not prime. Res64: 5B85135F0259731A Time : 0.0 sec. user=mdettweiler [2018-05-02 21:32:59] 983*2^1508756-1 is not prime. Res64: 358BBB8EE4DABA23 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:32:59] 607*2^1508757-1 is not prime. Res64: 4E8EA1BB87B4F00B Time : 0.0 sec. user=mdettweiler [2018-05-02 21:37:05] 685*2^1508757-1 is not prime. Res64: 9A2CF726CBAAB765 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:37:06] 717*2^1508757-1 is not prime. Res64: 368B7E457B17A194 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:37:06] 835*2^1508757-1 is not prime. Res64: 4A4B14A59F76F1AF Time : 0.0 sec. user=mdettweiler [2018-05-02 21:37:07] 837*2^1508757-1 is not prime. Res64: 8690D197777C5A31 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:37:07] 871*2^1508757-1 is not prime. Res64: 581159F09B757DE2 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:36] 919*2^1508757-1 is not prime. Res64: 92E67042E096D760 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:37] 975*2^1508757-1 is not prime. Res64: BED9A367253C8251 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:37] 611*2^1508758-1 is not prime. Res64: 1DEB45607BF910FD Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:38] 617*2^1508758-1 is not prime. Res64: 508594EFB5104E54 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:38] 663*2^1508758-1 is not prime. Res64: 3EF69A28C43CFE7E Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:58] 681*2^1508758-1 is not prime. Res64: 0D185C13D056DE16 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:58] 923*2^1508758-1 is not prime. Res64: 332BCC3277FFAB02 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:59] 975*2^1508758-1 is not prime. Res64: 34328F4DBC7CE7FB Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:59] 615*2^1508759-1 is not prime. Res64: C34BC80BF41282F1 Time : 0.0 sec. user=mdettweiler [2018-05-02 21:52:59] 619*2^1508759-1 is not prime. Res64: 73880CB3BBCC75C3 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:23:23] 675*2^1508759-1 is not prime. Res64: F37950EB723CEAD6 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:23:24] 703*2^1508759-1 is not prime. Res64: C617F3D79C4B561F Time : 0.0 sec. user=mdettweiler [2018-05-02 22:23:24] 775*2^1508759-1 is not prime. Res64: 88E35BA4DAB5BF70 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:23:24] 789*2^1508759-1 is not prime. Res64: 89D853F82C765CA5 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:23:25] 823*2^1508759-1 is not prime. Res64: 3B31B342A0157C27 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:29:02] 825*2^1508759-1 is not prime. Res64: 8DB44DE9A4BA685B Time : 0.0 sec. user=mdettweiler [2018-05-02 22:29:02] 879*2^1508759-1 is not prime. Res64: 9A6274F616F487A0 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:29:03] 999*2^1508759-1 is not prime. Res64: 127B37C5B952B11F Time : 0.0 sec. user=mdettweiler [2018-05-02 22:29:03] 627*2^1508760-1 is not prime. Res64: 1C64995196B01803 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:29:03] 747*2^1508760-1 is not prime. Res64: 35B8109409952B55 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:28] 999*2^1508760-1 is not prime. Res64: 7C08F6D960D923A9 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:28] 607*2^1508761-1 is not prime. Res64: 5FCF169B4A934CB1 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:29] 625*2^1508761-1 is not prime. Res64: DB105F978E275C8C Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:29] 715*2^1508761-1 is not prime. Res64: 7ABFFB07AA750795 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:29] 855*2^1508761-1 is not prime. Res64: 5F6E500C73BF4A23 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:50] 825*2^1508760-1 is not prime. Res64: DE6056C75FB96254 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:51] 839*2^1508760-1 is not prime. Res64: 75346199DB55B562 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:51] 899*2^1508760-1 is not prime. Res64: 84E89F5B87FFA916 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:52] 935*2^1508760-1 is not prime. Res64: 17196CA351D1BB13 Time : 0.0 sec. user=mdettweiler [2018-05-02 22:44:52] 957*2^1508760-1 is not prime. Res64: 2320C99A0E7D8808 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:13:56] 861*2^1508761-1 is not prime. Res64: 8A273B658924FBA6 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:13:57] 937*2^1508761-1 is not prime. Res64: 09BC603B88F55D0F Time : 0.0 sec. user=mdettweiler [2018-05-02 23:13:58] 967*2^1508761-1 is not prime. Res64: D4D50B4BA9CAC6B9 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:13:58] 645*2^1508762-1 is not prime. Res64: D73BABDE339DD398 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:13:59] 665*2^1508762-1 is not prime. Res64: 2F2368ADBD12F82C Time : 0.0 sec. user=mdettweiler [2018-05-02 23:20:16] 675*2^1508762-1 is not prime. Res64: 119BE731C0B33614 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:20:17] 797*2^1508762-1 is not prime. Res64: 2006CAB9AF02381C Time : 0.0 sec. user=mdettweiler [2018-05-02 23:20:17] 831*2^1508762-1 is not prime. Res64: ADAFB6C6A6A067A0 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:20:17] 837*2^1508762-1 is not prime. Res64: 312EFBC413AB1D86 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:20:18] 843*2^1508762-1 is not prime. Res64: C428A92E6D5F2BE7 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:34:57] 675*2^1508763-1 is not prime. Res64: 63C95B068BC41920 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:34:58] 703*2^1508763-1 is not prime. Res64: A4E9CB3F3AC70C26 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:34:58] 723*2^1508763-1 is not prime. Res64: C5CCAA5D9EB6D944 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:34:59] 751*2^1508763-1 is not prime. Res64: C6CE3BA902D0C19B Time : 0.0 sec. user=mdettweiler [2018-05-02 23:34:59] 805*2^1508763-1 is not prime. Res64: D627F00E394596AA Time : 0.0 sec. user=mdettweiler [2018-05-02 23:35:33] 873*2^1508763-1 is not prime. Res64: 54DCFBCD0118FC24 Time : 0.0 sec. user=mdettweiler [2018-05-02 23:35:33] 955*2^1508763-1 is not prime. Res64: 532D80DD72BBC70B Time : 0.0 sec. user=mdettweiler [2018-05-02 23:35:34] 963*2^1508763-1 is not prime. Res64: 9F5DBF22DAD6147A Time : 0.0 sec. user=mdettweiler [2018-05-02 23:35:34] 609*2^1508764-1 is not prime. Res64: FC7C8E1D9259DFFB Time : 0.0 sec. user=mdettweiler [2018-05-02 23:35:35] 615*2^1508764-1 is not prime. Res64: 17499722283A73E8 Time : 0.0 sec.