user=mdettweiler [2019-12-20 00:01:25] 875*2^1551500-1 is not prime. Res64: 65AC4BFB263F3EC6 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:01:29] 897*2^1551500-1 is not prime. Res64: 36FC454974645910 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:01:32] 957*2^1551500-1 is not prime. Res64: 65CD0B131310A9F0 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:01:34] 959*2^1551500-1 is not prime. Res64: 5A4E2F67C44A7E52 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:01:37] 983*2^1551500-1 is not prime. Res64: C09B5C24A61F1A51 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:21:54] 615*2^1551501-1 is not prime. Res64: CD7C48D6D43B91FF Time : 0.0 sec. user=mdettweiler [2019-12-20 00:21:56] 865*2^1551501-1 is not prime. Res64: C8F961295B3B7CD7 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:21:56] 955*2^1551501-1 is not prime. Res64: FEC5AC1CBE1A6132 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:21:58] 705*2^1551502-1 is not prime. Res64: 31DC5DC820389F3C Time : 0.0 sec. user=mdettweiler [2019-12-20 00:21:59] 761*2^1551502-1 is not prime. Res64: 1878F306CE40DB5D Time : 0.0 sec. user=mdettweiler [2019-12-20 00:23:50] 831*2^1551502-1 is not prime. Res64: 594F2D97AF2F465D Time : 0.0 sec. user=mdettweiler [2019-12-20 00:23:51] 863*2^1551502-1 is not prime. Res64: 83E648F45823B9B9 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:23:51] 609*2^1551503-1 is not prime. Res64: 6B36755A9D5B27B5 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:23:52] 615*2^1551503-1 is not prime. Res64: A8DDE494A894C92E Time : 0.0 sec. user=mdettweiler [2019-12-20 00:23:52] 715*2^1551503-1 is not prime. Res64: 17C303E74381CCCF Time : 0.0 sec. user=mdettweiler [2019-12-20 00:54:27] 729*2^1551503-1 is not prime. Res64: F6FE5B2CB2CA80CA Time : 0.0 sec. user=mdettweiler [2019-12-20 00:54:28] 781*2^1551503-1 is not prime. Res64: 5BFFAD04C6843A9D Time : 0.0 sec. user=mdettweiler [2019-12-20 00:54:29] 913*2^1551503-1 is not prime. Res64: BF4982ED0214DA98 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:54:30] 943*2^1551503-1 is not prime. Res64: 5AE9B54483F6E6A9 Time : 0.0 sec. user=mdettweiler [2019-12-20 00:54:30] 663*2^1551504-1 is not prime. Res64: E157151B6038FA54 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:13:54] 675*2^1551504-1 is not prime. Res64: 077E3ED6E14E15E3 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:13:55] 863*2^1551504-1 is not prime. Res64: 227122C725A755B9 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:13:56] 903*2^1551504-1 is not prime. Res64: 27D4E87EA613DC12 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:13:56] 929*2^1551504-1 is not prime. Res64: 9879D03D1F288BED Time : 0.0 sec. user=mdettweiler [2019-12-20 01:13:57] 645*2^1551505-1 is not prime. Res64: D81DB3560FFD16F1 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:15:25] 691*2^1551505-1 is not prime. Res64: 3829C465F85E282C Time : 0.0 sec. user=mdettweiler [2019-12-20 01:15:26] 765*2^1551505-1 is not prime. Res64: F476CACE925E4A4F Time : 0.0 sec. user=mdettweiler [2019-12-20 01:15:26] 771*2^1551505-1 is not prime. Res64: D73F876ECBF7AC31 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:15:27] 831*2^1551505-1 is not prime. Res64: 4F2A4920A9035197 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:15:27] 885*2^1551505-1 is not prime. Res64: A888E0ECA9A91832 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:45:49] 603*2^1551506-1 is not prime. Res64: EF0789B09C4B4E35 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:45:50] 617*2^1551506-1 is not prime. Res64: CEF23510622D256D Time : 0.0 sec. user=mdettweiler [2019-12-20 01:45:51] 683*2^1551506-1 is not prime. Res64: 5C36C8DAEFBDC8AD Time : 0.0 sec. user=mdettweiler [2019-12-20 01:45:52] 701*2^1551506-1 is not prime. Res64: 221C19BF9657CF61 Time : 0.0 sec. user=mdettweiler [2019-12-20 01:45:52] 843*2^1551506-1 is not prime. Res64: 2314B73037FA21C7 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:08:41] 805*2^1551507-1 is not prime. Res64: 4A8309A7C7F05E2C Time : 0.0 sec. user=mdettweiler [2019-12-20 02:08:44] 985*2^1551507-1 is not prime. Res64: 601FCB3B386A9FC3 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:08:46] 663*2^1551508-1 is not prime. Res64: 0C1FEBEA7976E562 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:08:48] 819*2^1551508-1 is not prime. Res64: 560352009022EC3D Time : 0.0 sec. user=mdettweiler [2019-12-20 02:08:51] 899*2^1551508-1 is not prime. Res64: EAF434DFDDD33B81 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:09:20] 861*2^1551506-1 is not prime. Res64: 0E466300CD8E5C2A Time : 0.0 sec. user=mdettweiler [2019-12-20 02:09:23] 957*2^1551506-1 is not prime. Res64: DCF01D4E6D9A231A Time : 0.0 sec. user=mdettweiler [2019-12-20 02:09:24] 981*2^1551506-1 is not prime. Res64: 5FE8EE1B362B5F01 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:09:25] 987*2^1551506-1 is not prime. Res64: B4993001E716384B Time : 0.0 sec. user=mdettweiler [2019-12-20 02:09:27] 625*2^1551507-1 is not prime. Res64: 5B1C971938C3CE8C Time : 0.0 sec. user=mdettweiler [2019-12-20 02:39:06] 923*2^1551508-1 is not prime. Res64: 05010B72BDF706FE Time : 0.0 sec. user=mdettweiler [2019-12-20 02:39:10] 993*2^1551508-1 is not prime. Res64: 40842AD077E088C7 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:39:14] 741*2^1551509-1 is not prime. Res64: 59ACD32D536C6C72 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:39:16] 745*2^1551509-1 is not prime. Res64: ABEF42827AC07A73 Time : 0.0 sec. user=mdettweiler [2019-12-20 02:39:20] 801*2^1551509-1 is not prime. Res64: 549B4C8667E2CD5C Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:21] 825*2^1551509-1 is not prime. Res64: B212F39C25139F30 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:24] 931*2^1551509-1 is not prime. Res64: 7985F68B61DCE67C Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:26] 957*2^1551509-1 is not prime. Res64: 2B020613BB0BE441 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:28] 711*2^1551510-1 is not prime. Res64: 03EFA10E312D1350 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:29] 893*2^1551510-1 is not prime. Res64: 301A01445FB9EA78 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:30] 917*2^1551510-1 is not prime. Res64: CB70A499984C5396 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:31] 741*2^1551510-1 is not prime. Res64: 68C3FC0642DA4701 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:32] 945*2^1551510-1 is not prime. Res64: FECA6E10DEB6E3B4 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:32] 625*2^1551511-1 is not prime. Res64: F3BEB13B7B53420E Time : 0.0 sec. user=mdettweiler [2019-12-20 03:02:33] 679*2^1551511-1 is not prime. Res64: 8EA5D1F5BC9223C6 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:31:39] 735*2^1551511-1 is not prime. Res64: 7FE952AC8FB0D068 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:31:43] 745*2^1551511-1 is not prime. Res64: ACA672E739CB1D3E Time : 0.0 sec. user=mdettweiler [2019-12-20 03:31:45] 759*2^1551511-1 is not prime. Res64: 37F220D028A7052F Time : 0.0 sec. user=mdettweiler [2019-12-20 03:31:48] 805*2^1551511-1 is not prime. Res64: AF6D1F675051241D Time : 0.0 sec. user=mdettweiler [2019-12-20 03:31:50] 843*2^1551511-1 is not prime. Res64: BFBA84B1C668FA47 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:54:41] 835*2^1551513-1 is not prime. Res64: BDF7276F1C88D338 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:54:46] 847*2^1551513-1 is not prime. Res64: A014A91B3939770B Time : 0.0 sec. user=mdettweiler [2019-12-20 03:54:52] 937*2^1551513-1 is not prime. Res64: 8CCE1021B8D4FD6A Time : 0.0 sec. user=mdettweiler [2019-12-20 03:55:00] 621*2^1551514-1 is not prime. Res64: 76C446E27A7FC8EA Time : 0.0 sec. user=mdettweiler [2019-12-20 03:55:04] 623*2^1551514-1 is not prime. Res64: 7F3FD65C4FC86090 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:55:40] 933*2^1551511-1 is not prime. Res64: 5B71467808458A00 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:55:44] 999*2^1551511-1 is not prime. Res64: A86D694C575B2FD5 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:55:48] 633*2^1551512-1 is not prime. Res64: FF4F4CA9670B00C9 Time : 0.0 sec. user=mdettweiler [2019-12-20 03:55:52] 777*2^1551512-1 is not prime. Res64: 336E2F6866EB0C4C Time : 0.0 sec. user=mdettweiler [2019-12-20 03:55:56] 815*2^1551512-1 is not prime. Res64: 349B9D7BB0FBF918 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:24:02] 705*2^1551514-1 is not prime. Res64: 54A3B483869192CE Time : 0.0 sec. user=mdettweiler [2019-12-20 04:24:04] 707*2^1551514-1 is not prime. Res64: B4C6FCB8462A1A9F Time : 0.0 sec. user=mdettweiler [2019-12-20 04:24:06] 755*2^1551514-1 is not prime. Res64: 0C88027BA9037410 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:24:07] 833*2^1551514-1 is not prime. Res64: C0854A42FFA0F283 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:24:09] 855*2^1551514-1 is not prime. Res64: 82EC507E3951CF51 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:47:58] 885*2^1551514-1 is not prime. Res64: 283A3B661DAFBF2B Time : 0.0 sec. user=mdettweiler [2019-12-20 04:47:59] 945*2^1551514-1 is not prime. Res64: 74EE481C34A43DD4 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:48:00] 603*2^1551515-1 is not prime. Res64: 9A797241305446D5 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:48:01] 705*2^1551515-1 is not prime. Res64: 92B3A2AAE487F855 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:48:02] 739*2^1551515-1 is not prime. Res64: 4305E8B7F0BD6729 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:49:57] 789*2^1551515-1 is not prime. Res64: 75F9DCA69383E492 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:49:58] 973*2^1551515-1 is not prime. Res64: D23E73EE4AC3A940 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:50:00] 985*2^1551515-1 is not prime. Res64: 7C2E74B9AE9E97F4 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:50:01] 629*2^1551516-1 is not prime. Res64: 6E7D02B06CF2C456 Time : 0.0 sec. user=mdettweiler [2019-12-20 04:50:02] 653*2^1551516-1 is not prime. Res64: D7555848CDA71820 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:16:14] 707*2^1551516-1 is not prime. Res64: A6028C574A8C239E Time : 0.0 sec. user=mdettweiler [2019-12-20 05:16:15] 767*2^1551516-1 is not prime. Res64: 6278039BB95F4994 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:16:15] 773*2^1551516-1 is not prime. Res64: 24955430EED73E49 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:16:16] 845*2^1551516-1 is not prime. Res64: 1E72FCA2414E2EA5 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:16:17] 867*2^1551516-1 is not prime. Res64: 7C995D34842BA0AD Time : 0.0 sec. user=mdettweiler [2019-12-20 05:39:40] 903*2^1551516-1 is not prime. Res64: C1DE0C7707C6B053 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:39:41] 675*2^1551517-1 is not prime. Res64: 8DE84ED051FF6D49 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:39:41] 747*2^1551517-1 is not prime. Res64: 99BF61D25073437F Time : 0.0 sec. user=mdettweiler [2019-12-20 05:39:42] 757*2^1551517-1 is not prime. Res64: 8932F2C0F8AACD1E Time : 0.0 sec. user=mdettweiler [2019-12-20 05:39:43] 895*2^1551517-1 is not prime. Res64: 69161A6563436189 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:41:41] 731*2^1551518-1 is not prime. Res64: 85C648EB6556A857 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:41:41] 813*2^1551518-1 is not prime. Res64: 8366E6750CD55FF2 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:41:42] 867*2^1551518-1 is not prime. Res64: E1F6DB0B5072C8FB Time : 0.0 sec. user=mdettweiler [2019-12-20 05:41:42] 619*2^1551519-1 is not prime. Res64: DCF998AC7E6F3992 Time : 0.0 sec. user=mdettweiler [2019-12-20 05:41:43] 675*2^1551519-1 is not prime. Res64: 1F528D37B04E2AB5 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:10:21] 709*2^1551519-1 is not prime. Res64: 0952B90288634CC3 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:10:26] 895*2^1551519-1 is not prime. Res64: 6380F0FC13D1A583 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:10:29] 975*2^1551519-1 is not prime. Res64: E30C4F7C5A394F35 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:10:32] 999*2^1551519-1 is not prime. Res64: 8789FB5DB58A3B51 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:10:35] 615*2^1551520-1 is not prime. Res64: 5CC76872A95A091D Time : 0.0 sec. user=mdettweiler [2019-12-20 06:30:54] 665*2^1551520-1 is not prime. Res64: FD768DEBBE3FE12B Time : 0.0 sec. user=mdettweiler [2019-12-20 06:30:55] 759*2^1551520-1 is not prime. Res64: 0AEAF96A7D48ECF3 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:30:56] 765*2^1551520-1 is not prime. Res64: 9E3F65CD1A315D67 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:30:56] 777*2^1551520-1 is not prime. Res64: FCA8D053CE6D28C8 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:30:57] 843*2^1551520-1 is not prime. Res64: 2E25B383748503B3 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:37:19] 873*2^1551520-1 is not prime. Res64: D38ADA422055CE8A Time : 0.0 sec. user=mdettweiler [2019-12-20 06:37:20] 897*2^1551520-1 is not prime. Res64: C9BEF55AB8E8A39F Time : 0.0 sec. user=mdettweiler [2019-12-20 06:37:21] 957*2^1551520-1 is not prime. Res64: 78AD1BD3FE4A58A6 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:37:22] 965*2^1551520-1 is not prime. Res64: E08623D54A8ABEA3 Time : 0.0 sec. user=mdettweiler [2019-12-20 06:37:24] 999*2^1551520-1 is not prime. Res64: 4B73D5D72767094D Time : 0.0 sec. user=mdettweiler [2019-12-20 07:02:32] 685*2^1551521-1 is not prime. Res64: 43F98DFBD84D9D0C Time : 0.0 sec. user=mdettweiler [2019-12-20 07:02:37] 705*2^1551521-1 is not prime. Res64: DFB7754DEB5317C3 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:02:39] 711*2^1551521-1 is not prime. Res64: 2B37CACD9879EB85 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:02:41] 769*2^1551521-1 is not prime. Res64: F25B733A82CAA1EA Time : 0.0 sec. user=mdettweiler [2019-12-20 07:02:44] 885*2^1551521-1 is not prime. Res64: E52528B0DE353AB8 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:22:26] 901*2^1551521-1 is not prime. Res64: D4110E43D396A06F Time : 0.0 sec. user=mdettweiler [2019-12-20 07:22:27] 737*2^1551522-1 is not prime. Res64: BC30C2C6348F1EEB Time : 0.0 sec. user=mdettweiler [2019-12-20 07:22:27] 741*2^1551522-1 is not prime. Res64: 967A57FDBB647FDF Time : 0.0 sec. user=mdettweiler [2019-12-20 07:22:28] 765*2^1551522-1 is not prime. Res64: 2E3DBD43EEE7A201 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:22:29] 885*2^1551522-1 is not prime. Res64: EEC1B8674659BA5C Time : 0.0 sec. user=mdettweiler [2019-12-20 07:28:54] 921*2^1551522-1 is not prime. Res64: 7D904DDAFD32B70D Time : 0.0 sec. user=mdettweiler [2019-12-20 07:28:54] 615*2^1551523-1 is not prime. Res64: 7FF5576C973FCFA2 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:28:55] 625*2^1551523-1 is not prime. Res64: 1F1B3D99D9FE307F Time : 0.0 sec. user=mdettweiler [2019-12-20 07:28:56] 741*2^1551523-1 is not prime. Res64: 845B81A8F903584F Time : 0.0 sec. user=mdettweiler [2019-12-20 07:28:56] 813*2^1551523-1 is not prime. Res64: 6E52B5C866FF8033 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:56:56] 829*2^1551523-1 is not prime. Res64: 0080A81C56599C31 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:56:57] 871*2^1551523-1 is not prime. Res64: E44C0B6A137A578E Time : 0.0 sec. user=mdettweiler [2019-12-20 07:56:57] 885*2^1551523-1 is not prime. Res64: 6DE0EC17E36C2388 Time : 0.0 sec. user=mdettweiler [2019-12-20 07:56:58] 891*2^1551523-1 is not prime. Res64: 5E523C6D5163A27F Time : 0.0 sec. user=mdettweiler [2019-12-20 07:56:59] 945*2^1551524-1 is not prime. Res64: 1C2AC8215B218691 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:14:28] 667*2^1551525-1 is not prime. Res64: 8D154BA009A2567D Time : 0.0 sec. user=mdettweiler [2019-12-20 08:14:29] 741*2^1551525-1 is not prime. Res64: A65A0E310D87B94F Time : 0.0 sec. user=mdettweiler [2019-12-20 08:14:30] 789*2^1551525-1 is not prime. Res64: 53FC3EB054922934 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:14:30] 819*2^1551525-1 is not prime. Res64: 1E87ACC0812095A7 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:14:31] 885*2^1551525-1 is not prime. Res64: E7C44A00409F3F4A Time : 0.0 sec. user=mdettweiler [2019-12-20 08:22:10] 895*2^1551525-1 is not prime. Res64: E3B2FC6C738D731C Time : 0.0 sec. user=mdettweiler [2019-12-20 08:22:11] 949*2^1551525-1 is not prime. Res64: 50F0217EBC036DDF Time : 0.0 sec. user=mdettweiler [2019-12-20 08:22:12] 891*2^1551526-1 is not prime. Res64: 70C030E96B48A982 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:22:12] 933*2^1551526-1 is not prime. Res64: 9C2819B2E8B6A655 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:22:13] 673*2^1551527-1 is not prime. Res64: 76232C41BCB2C9F8 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:50:18] 693*2^1551527-1 is not prime. Res64: 5F95DC1B4AEDA113 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:50:19] 799*2^1551527-1 is not prime. Res64: 11D5043513F59446 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:50:20] 841*2^1551527-1 is not prime. Res64: 1C8FA5877989E074 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:50:21] 915*2^1551527-1 is not prime. Res64: 3D863E5085F10B96 Time : 0.0 sec. user=mdettweiler [2019-12-20 08:50:22] 949*2^1551527-1 is not prime. Res64: BE79DE18BCA1AA19 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:08:57] 955*2^1551527-1 is not prime. Res64: 380BBE52DE209FD6 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:09:02] 979*2^1551527-1 is not prime. Res64: CF5FCF874507EC42 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:09:08] 683*2^1551528-1 is not prime. Res64: 61B904CA1F9C2A09 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:09:12] 803*2^1551528-1 is not prime. Res64: 42E07CD71BEF093B Time : 0.0 sec. user=mdettweiler [2019-12-20 09:09:15] 819*2^1551528-1 is not prime. Res64: 5106AADA7BB44E08 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:13:54] 879*2^1551528-1 is not prime. Res64: 557A2C34A8AA5854 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:13:59] 905*2^1551528-1 is not prime. Res64: DEB12B906A66321B Time : 0.0 sec. user=mdettweiler [2019-12-20 09:14:02] 721*2^1551529-1 is not prime. Res64: BB7BC52895A0C36D Time : 0.0 sec. user=mdettweiler [2019-12-20 09:14:04] 741*2^1551529-1 is not prime. Res64: D4C679B97A3B8DD8 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:14:07] 769*2^1551529-1 is not prime. Res64: 5ED3730A77C7179C Time : 0.0 sec. user=mdettweiler [2019-12-20 09:43:20] 811*2^1551529-1 is not prime. Res64: E498C221145562B8 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:43:21] 885*2^1551529-1 is not prime. Res64: 6B7910B1B65F0FE2 Time : 0.0 sec. user=mdettweiler [2019-12-20 09:43:22] 951*2^1551529-1 is not prime. Res64: 572D91AE27998D4B Time : 0.0 sec. user=mdettweiler [2019-12-20 09:43:23] 675*2^1551530-1 is not prime. Res64: F4CB5E9F5EA3839C Time : 0.0 sec. user=mdettweiler [2019-12-20 09:43:24] 755*2^1551530-1 is not prime. Res64: 9D3F25A4B80B85F3 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:04:08] 813*2^1551530-1 is not prime. Res64: 2D9F0585D13560CF Time : 0.0 sec. user=mdettweiler [2019-12-20 10:04:10] 827*2^1551530-1 is not prime. Res64: 18FACE5511DB048C Time : 0.0 sec. user=mdettweiler [2019-12-20 10:04:12] 951*2^1551530-1 is not prime. Res64: EB21AEEFA498AEA2 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:04:13] 977*2^1551530-1 is not prime. Res64: 64EE4103B76B7F96 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:04:14] 651*2^1551531-1 is not prime. Res64: 2C57C930D7DA36B0 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:05:51] 669*2^1551531-1 is not prime. Res64: EFCAA78F1A39C54F Time : 0.0 sec. user=mdettweiler [2019-12-20 10:05:53] 685*2^1551531-1 is not prime. Res64: E411CF6937F21D90 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:05:56] 723*2^1551531-1 is not prime. Res64: F7E1514BEF78433C Time : 0.0 sec. user=mdettweiler [2019-12-20 10:05:57] 781*2^1551531-1 is not prime. Res64: EA58FEE168D2EE60 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:05:58] 793*2^1551531-1 is not prime. Res64: 031717F778F89816 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:36:32] 801*2^1551531-1 is not prime. Res64: 3376211E2E2A97C9 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:36:33] 945*2^1551531-1 is not prime. Res64: 563C113898F63E78 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:36:33] 653*2^1551532-1 is not prime. Res64: 6D2FBB11B843D1D1 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:36:34] 665*2^1551532-1 is not prime. Res64: 8DC1FDEBF9926270 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:36:35] 923*2^1551532-1 is not prime. Res64: EB35707B24A665FC Time : 0.0 sec. user=mdettweiler [2019-12-20 10:56:39] 939*2^1551532-1 is not prime. Res64: 71DCC6D9DFD756A4 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:56:40] 607*2^1551533-1 is not prime. Res64: B5EBBE90FC3D3599 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:56:41] 615*2^1551533-1 is not prime. Res64: 6B751D7DB1FD3906 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:56:41] 729*2^1551533-1 is not prime. Res64: 16FFBAE575FCFE6D Time : 0.0 sec. user=mdettweiler [2019-12-20 10:56:42] 757*2^1551533-1 is not prime. Res64: 7A62EE7E5D27504B Time : 0.0 sec. user=mdettweiler [2019-12-20 10:57:48] 867*2^1551533-1 is not prime. Res64: B76869EE8D19F420 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:57:48] 937*2^1551533-1 is not prime. Res64: 155D7BB051FE1DE7 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:57:49] 605*2^1551534-1 is not prime. Res64: 8DA5EB24A3807F0C Time : 0.0 sec. user=mdettweiler [2019-12-20 10:57:50] 711*2^1551534-1 is not prime. Res64: C673D25697CA3B42 Time : 0.0 sec. user=mdettweiler [2019-12-20 10:57:51] 797*2^1551534-1 is not prime. Res64: DF8CD8E3294E697B Time : 0.0 sec. user=mdettweiler [2019-12-20 11:29:27] 863*2^1551534-1 is not prime. Res64: 65F81DF4126A050A Time : 0.0 sec. user=mdettweiler [2019-12-20 11:29:28] 947*2^1551534-1 is not prime. Res64: 1D562BA00EBF39E0 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:29:29] 723*2^1551535-1 is not prime. Res64: CAEC5470921D68B5 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:29:29] 741*2^1551535-1 is not prime. Res64: 394DF54BAE4AE555 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:29:30] 831*2^1551535-1 is not prime. Res64: 9D3E3C91F7E26910 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:49:41] 853*2^1551535-1 is not prime. Res64: A63473CA903CF3CE Time : 0.0 sec. user=mdettweiler [2019-12-20 11:49:42] 961*2^1551535-1 is not prime. Res64: 64FDBC586AEE6C0D Time : 0.0 sec. user=mdettweiler [2019-12-20 11:49:43] 725*2^1551536-1 is not prime. Res64: 4554459429B11346 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:49:44] 743*2^1551536-1 is not prime. Res64: 06EAD6C3FF2D3F78 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:49:45] 827*2^1551536-1 is not prime. Res64: D384A99DEA8A82C8 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:50:58] 903*2^1551536-1 is not prime. Res64: 9105ADD9656FB04A Time : 0.0 sec. user=mdettweiler [2019-12-20 11:50:59] 909*2^1551536-1 is not prime. Res64: 3E2A1F3B6F357DDF Time : 0.0 sec. user=mdettweiler [2019-12-20 11:51:00] 927*2^1551536-1 is not prime. Res64: CAFDC32D6764D809 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:51:00] 983*2^1551536-1 is not prime. Res64: 68B86784EFD1CBB7 Time : 0.0 sec. user=mdettweiler [2019-12-20 11:51:01] 609*2^1551537-1 is not prime. Res64: 445D4ABCEFB84A33 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:20:46] 615*2^1551537-1 is not prime. Res64: CEAD682434448BBC Time : 0.0 sec. user=mdettweiler [2019-12-20 12:20:47] 691*2^1551537-1 is not prime. Res64: 418BE5F0669C3E76 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:20:47] 739*2^1551537-1 is not prime. Res64: 5DE26C914EE00330 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:20:48] 751*2^1551537-1 is not prime. Res64: 2FF51BF38BFD7DCB Time : 0.0 sec. user=mdettweiler [2019-12-20 12:20:49] 807*2^1551537-1 is not prime. Res64: 697E7DB20EA4F43B Time : 0.0 sec. user=mdettweiler [2019-12-20 12:42:17] 891*2^1551537-1 is not prime. Res64: 22DFE73EEA5C387A Time : 0.0 sec. user=mdettweiler [2019-12-20 12:42:18] 801*2^1551538-1 is not prime. Res64: F8CB8D9EA2DC2226 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:42:19] 825*2^1551538-1 is not prime. Res64: 28444C8B7D1DDF37 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:42:20] 861*2^1551538-1 is not prime. Res64: E50639BACF347ACC Time : 0.0 sec. user=mdettweiler [2019-12-20 12:42:20] 887*2^1551538-1 is not prime. Res64: A6705D6B72599FEF Time : 0.0 sec. user=mdettweiler [2019-12-20 12:43:14] 1001*2^1551538-1 is not prime. Res64: 063B58BA66235695 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:43:15] 631*2^1551539-1 is not prime. Res64: 212673AF1BAAFF35 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:43:16] 675*2^1551539-1 is not prime. Res64: 12FDB243408D02AE Time : 0.0 sec. user=mdettweiler [2019-12-20 12:43:17] 735*2^1551539-1 is not prime. Res64: 686BF73EC0F4D134 Time : 0.0 sec. user=mdettweiler [2019-12-20 12:43:17] 759*2^1551539-1 is not prime. Res64: 272E5C7D93A1A723 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:15:09] 775*2^1551539-1 is not prime. Res64: C58FFA6BAEC84552 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:15:11] 811*2^1551539-1 is not prime. Res64: 02F3784E6853B8BF Time : 0.0 sec. user=mdettweiler [2019-12-20 13:15:13] 883*2^1551539-1 is not prime. Res64: E0A9039E340CDBAD Time : 0.0 sec. user=mdettweiler [2019-12-20 13:15:15] 979*2^1551539-1 is not prime. Res64: 2EEF536E7EF438AB Time : 0.0 sec. user=mdettweiler [2019-12-20 13:15:17] 991*2^1551539-1 is not prime. Res64: 22E6B76903476E2C Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:18] 927*2^1551540-1 is not prime. Res64: A467B076CBE6A130 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:18] 933*2^1551540-1 is not prime. Res64: 4D20B5670F4DDF69 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:19] 987*2^1551540-1 is not prime. Res64: 4EB3BA886E05F123 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:20] 645*2^1551541-1 is not prime. Res64: 5E9542B430299199 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:20] 757*2^1551541-1 is not prime. Res64: 26E8826ADAC55C8F Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:37] 777*2^1551541-1 is not prime. Res64: D3ADCD24174A52D3 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:38] 975*2^1551541-1 is not prime. Res64: 1B3969EE63FAB1FD Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:39] 603*2^1551542-1 is not prime. Res64: 030F6BCFDDD6BE48 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:39] 677*2^1551542-1 is not prime. Res64: E53F30EDFADD6C60 Time : 0.0 sec. user=mdettweiler [2019-12-20 13:35:40] 713*2^1551542-1 is not prime. Res64: AF0BF9CB611CB699 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:10:01] 731*2^1551542-1 is not prime. Res64: DA602A0EB4CB08F9 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:10:02] 825*2^1551542-1 is not prime. Res64: 9970C926094D3DFC Time : 0.0 sec. user=mdettweiler [2019-12-20 14:10:03] 893*2^1551542-1 is not prime. Res64: 8D80B20F6CE1D353 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:10:03] 957*2^1551542-1 is not prime. Res64: E0E6F2586F391591 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:10:04] 1001*2^1551542-1 is not prime. Res64: 96C93187DD784DDF Time : 0.0 sec. user=mdettweiler [2019-12-20 14:28:15] 649*2^1551543-1 is not prime. Res64: 19F84A825141FC00 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:28:16] 669*2^1551543-1 is not prime. Res64: D41BFAF79BE8A561 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:28:17] 861*2^1551543-1 is not prime. Res64: C5E4A57D72572500 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:28:18] 919*2^1551543-1 is not prime. Res64: 3C6B8418ACA230EA Time : 0.0 sec. user=mdettweiler [2019-12-20 14:28:19] 943*2^1551543-1 is not prime. Res64: 995E427D3F2175B0 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:29:10] 827*2^1551544-1 is not prime. Res64: 2FCE54DA0481730B Time : 0.0 sec. user=mdettweiler [2019-12-20 14:29:10] 875*2^1551544-1 is not prime. Res64: 45AB0F8106884362 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:29:11] 899*2^1551544-1 is not prime. Res64: E4142A527D4F9423 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:29:12] 909*2^1551544-1 is not prime. Res64: 1009DDE17A04D712 Time : 0.0 sec. user=mdettweiler [2019-12-20 14:29:12] 947*2^1551544-1 is not prime. Res64: FAB7DE27D557DA01 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:02:42] 969*2^1551544-1 is not prime. Res64: 9B805D330529D8C5 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:02:44] 645*2^1551545-1 is not prime. Res64: CE2A8AAC96ACD073 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:02:47] 729*2^1551545-1 is not prime. Res64: 1725DFF512323441 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:02:49] 735*2^1551545-1 is not prime. Res64: 988BD431CBB68CBF Time : 0.0 sec. user=mdettweiler [2019-12-20 15:02:51] 831*2^1551545-1 is not prime. Res64: 4610EA73F521515D Time : 0.0 sec. user=mdettweiler [2019-12-20 15:20:47] 847*2^1551545-1 is not prime. Res64: A40F02B7F2AE633E Time : 0.0 sec. user=mdettweiler [2019-12-20 15:20:48] 855*2^1551545-1 is not prime. Res64: BDC6805FF54B3B48 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:20:48] 865*2^1551545-1 is not prime. Res64: ABB3CDE4812A4704 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:20:49] 889*2^1551545-1 is not prime. Res64: 85048108CCA7F550 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:20:50] 909*2^1551545-1 is not prime. Res64: D59B791CCC46CC15 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:21:55] 711*2^1551546-1 is not prime. Res64: 60929CA05E737605 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:21:55] 717*2^1551546-1 is not prime. Res64: 472CB1CB9637B19A Time : 0.0 sec. user=mdettweiler [2019-12-20 15:21:56] 861*2^1551546-1 is not prime. Res64: 18DF931B946F404B Time : 0.0 sec. user=mdettweiler [2019-12-20 15:21:57] 957*2^1551546-1 is not prime. Res64: 52CA6A2A4D5D7A4D Time : 0.0 sec. user=mdettweiler [2019-12-20 15:21:57] 703*2^1551547-1 is not prime. Res64: C84AA9D28D2A0006 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:56:23] 715*2^1551547-1 is not prime. Res64: E82F91810163A047 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:56:23] 841*2^1551547-1 is not prime. Res64: E44093242C9E24E4 Time : 0.0 sec. user=mdettweiler [2019-12-20 15:56:24] 871*2^1551547-1 is not prime. Res64: D6E6F30666610C0F Time : 0.0 sec. user=mdettweiler [2019-12-20 15:56:25] 961*2^1551547-1 is not prime. Res64: 5E466EBB0EAD82DC Time : 0.0 sec. user=mdettweiler [2019-12-20 15:56:26] 603*2^1551548-1 is not prime. Res64: 5E8003DE833EBCDD Time : 0.0 sec. user=mdettweiler [2019-12-20 16:12:39] 623*2^1551548-1 is not prime. Res64: C65E9219776FD9CD Time : 0.0 sec. user=mdettweiler [2019-12-20 16:12:40] 647*2^1551548-1 is not prime. Res64: F7653CD6AB393001 Time : 0.0 sec. user=mdettweiler [2019-12-20 16:12:41] 795*2^1551548-1 is not prime. Res64: 3351E682CE993499 Time : 0.0 sec. user=mdettweiler [2019-12-20 16:12:42] 797*2^1551548-1 is not prime. Res64: FCD6E244411D2ABC Time : 0.0 sec. user=mdettweiler [2019-12-20 16:12:42] 869*2^1551548-1 is not prime. Res64: 0D648ADA0933262C Time : 0.0 sec. user=mdettweiler [2019-12-20 16:13:28] 923*2^1551548-1 is not prime. Res64: 064241EAAED24D81 Time : 0.0 sec. user=mdettweiler [2019-12-20 16:13:28] 929*2^1551548-1 is not prime. Res64: E2ED4501EFF03543 Time : 0.0 sec. user=mdettweiler [2019-12-20 16:13:29] 621*2^1551549-1 is not prime. Res64: D9230932B428E095 Time : 0.0 sec. user=mdettweiler [2019-12-20 16:13:30] 655*2^1551549-1 is not prime. Res64: DAD1FBC5C85A5314 Time : 0.0 sec. user=mdettweiler [2019-12-20 16:13:30] 667*2^1551549-1 is not prime. Res64: 8196E5CAAB48A35E Time : 0.0 sec. user=mdettweiler [2019-12-20 16:49:28] 691*2^1551549-1 is not prime. Res64: 0199A1D0CD48039F Time : 0.0 sec. user=mdettweiler [2019-12-20 16:49:29] 727*2^1551549-1 is not prime. Res64: FEFD82558DA5BD3F Time : 0.0 sec. user=mdettweiler [2019-12-20 16:49:29] 847*2^1551549-1 is not prime. Res64: 8933DFC1C11E576D Time : 0.0 sec. user=mdettweiler [2019-12-20 16:49:30] 927*2^1551549-1 is not prime. Res64: 51EB9D492C6011E3 Time : 0.0 sec. user=mdettweiler [2019-12-20 16:49:31] 951*2^1551549-1 is not prime. Res64: 8676F51106D22C65 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:04:19] 681*2^1551550-1 is not prime. Res64: 12B46141B1BC7EB6 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:04:22] 687*2^1551550-1 is not prime. Res64: 25C931EF8120A01D Time : 0.0 sec. user=mdettweiler [2019-12-20 17:04:24] 717*2^1551550-1 is not prime. Res64: 0DCC42680FC6CA56 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:04:27] 821*2^1551550-1 is not prime. Res64: 24FFDC2DAF525E21 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:04:30] 857*2^1551550-1 is not prime. Res64: 1F1C5B92B0D6573F Time : 0.0 sec. user=mdettweiler [2019-12-20 17:05:21] 911*2^1551550-1 is not prime. Res64: 22857852EAAA783C Time : 0.0 sec. user=mdettweiler [2019-12-20 17:05:25] 923*2^1551550-1 is not prime. Res64: 109215B635C68A05 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:05:28] 619*2^1551551-1 is not prime. Res64: 0A808CD24C877A8D Time : 0.0 sec. user=mdettweiler [2019-12-20 17:05:32] 825*2^1551551-1 is not prime. Res64: 7F09B817CE60C972 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:05:35] 615*2^1551552-1 is not prime. Res64: AC1D7CEBA0870C26 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:40:48] 623*2^1551552-1 is not prime. Res64: 09C47AC77F28AFA3 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:40:49] 629*2^1551552-1 is not prime. Res64: 44E1EB46B92A77B1 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:40:50] 725*2^1551552-1 is not prime. Res64: A6AC8ECCAF275800 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:40:50] 747*2^1551552-1 is not prime. Res64: 882D5EFCDA32665E Time : 0.0 sec. user=mdettweiler [2019-12-20 17:40:51] 849*2^1551552-1 is not prime. Res64: 2046D32E0439EA31 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:57:15] 639*2^1551553-1 is not prime. Res64: 7D4DD231700D8C2F Time : 0.0 sec. user=mdettweiler [2019-12-20 17:57:16] 691*2^1551553-1 is not prime. Res64: 92436D980DB84510 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:57:17] 745*2^1551553-1 is not prime. Res64: B60449B8B96F4156 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:57:18] 819*2^1551553-1 is not prime. Res64: 25158CA72AE647C9 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:57:19] 847*2^1551553-1 is not prime. Res64: 9EA9B11A0280855A Time : 0.0 sec. user=mdettweiler [2019-12-20 17:59:08] 899*2^1551552-1 is not prime. Res64: 218A0280CE2AC87F Time : 0.0 sec. user=mdettweiler [2019-12-20 17:59:08] 909*2^1551552-1 is not prime. Res64: D30EF356C99E79C6 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:59:09] 945*2^1551552-1 is not prime. Res64: F172A6CC46D14239 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:59:10] 947*2^1551552-1 is not prime. Res64: 5BC96625C0FD4322 Time : 0.0 sec. user=mdettweiler [2019-12-20 17:59:10] 609*2^1551553-1 is not prime. Res64: ACB7E7AD41DBB208 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:32:41] 651*2^1551554-1 is not prime. Res64: 6D97364DB7119641 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:32:42] 753*2^1551554-1 is not prime. Res64: 90D311D1918BCB00 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:32:43] 825*2^1551554-1 is not prime. Res64: 3CD1EF41C3348AA7 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:32:43] 831*2^1551554-1 is not prime. Res64: CF78745827D40C71 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:32:44] 885*2^1551554-1 is not prime. Res64: 709FB95421CEE730 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:50:21] 601*2^1551555-1 is not prime. Res64: 2BBA2FD21C9BEB0B Time : 0.0 sec. user=mdettweiler [2019-12-20 18:50:21] 735*2^1551555-1 is not prime. Res64: C0018BC1048AB482 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:50:22] 871*2^1551555-1 is not prime. Res64: 33AABD93C4325CFD Time : 0.0 sec. user=mdettweiler [2019-12-20 18:50:23] 885*2^1551555-1 is not prime. Res64: 70132252FB23CC47 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:50:23] 979*2^1551555-1 is not prime. Res64: 44C07E2CEF501490 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:51:00] 639*2^1551556-1 is not prime. Res64: 222BE046B6834BB0 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:51:01] 803*2^1551556-1 is not prime. Res64: 78401F953A1FFE93 Time : 0.0 sec. user=mdettweiler [2019-12-20 18:51:01] 875*2^1551556-1 is not prime. Res64: 09A4786D8FA0FFFB Time : 0.0 sec. user=mdettweiler [2019-12-20 18:51:02] 927*2^1551556-1 is not prime. Res64: 3657048B5C8D360E Time : 0.0 sec. user=mdettweiler [2019-12-20 18:51:03] 615*2^1551557-1 is not prime. Res64: D00C4FEC04D95A60 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:23:39] 645*2^1551557-1 is not prime. Res64: D816EA471258D7D9 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:23:40] 675*2^1551557-1 is not prime. Res64: 3E6E8BB43597B947 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:23:41] 691*2^1551557-1 is not prime. Res64: B02769A93D1FEEAA Time : 0.0 sec. user=mdettweiler [2019-12-20 19:23:41] 741*2^1551557-1 is not prime. Res64: D483FA6BDE8B8B07 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:23:42] 747*2^1551557-1 is not prime. Res64: 2E2944E9B955BCEA Time : 0.0 sec. user=mdettweiler [2019-12-20 19:41:55] 801*2^1551557-1 is not prime. Res64: 603E20824B3191DC Time : 0.0 sec. user=mdettweiler [2019-12-20 19:41:56] 871*2^1551557-1 is not prime. Res64: 82DA7891E4FD4131 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:41:57] 627*2^1551558-1 is not prime. Res64: D7C22B355704F5D5 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:41:57] 641*2^1551558-1 is not prime. Res64: 3900C3966E39B87A Time : 0.0 sec. user=mdettweiler [2019-12-20 19:41:58] 705*2^1551558-1 is not prime. Res64: 1511634DE87BDBD3 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:42:50] 761*2^1551558-1 is not prime. Res64: CF3EC174947FA2BB Time : 0.0 sec. user=mdettweiler [2019-12-20 19:42:51] 777*2^1551558-1 is not prime. Res64: FB17D12BEFCA9967 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:42:51] 861*2^1551558-1 is not prime. Res64: 00F340E68F2BA10B Time : 0.0 sec. user=mdettweiler [2019-12-20 19:42:52] 875*2^1551558-1 is not prime. Res64: 683156657A9C1183 Time : 0.0 sec. user=mdettweiler [2019-12-20 19:42:53] 927*2^1551558-1 is not prime. Res64: 47C000AA0DB9DF16 Time : 0.0 sec. user=mdettweiler [2019-12-20 20:18:00] 993*2^1551558-1 is not prime. Res64: 2C98AA3963A1E7DD Time : 0.0 sec. user=mdettweiler [2019-12-20 20:18:01] 693*2^1551559-1 is not prime. Res64: E932BA7DFC8D2562 Time : 0.0 sec. user=mdettweiler [2019-12-20 20:18:02] 909*2^1551559-1 is not prime. Res64: 3639AF2E89E2CB9A Time : 0.0 sec. user=mdettweiler [2019-12-20 20:18:03] 933*2^1551559-1 is not prime. Res64: FD80F633F7E0DAF5 Time : 0.0 sec. user=mdettweiler [2019-12-20 20:18:04] 951*2^1551559-1 is not prime. Res64: 353D073740020793 Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:51] 609*2^1551561-1 is not prime. Res64: A52B51B27447236A Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:52] 625*2^1551561-1 is not prime. Res64: 3749E590F2435CCE Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:52] 709*2^1551561-1 is not prime. Res64: D33AD879B27D4CD7 Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:53] 717*2^1551561-1 is not prime. Res64: C1857F293B6223CD Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:53] 663*2^1551560-1 is not prime. Res64: 26DDD141EA39D7B3 Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:53] 727*2^1551561-1 is not prime. Res64: F3CA0D51003069DF Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:53] 759*2^1551560-1 is not prime. Res64: 9693DB220EC0604B Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:54] 797*2^1551560-1 is not prime. Res64: 238C500C1D7E1FAB Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:54] 843*2^1551560-1 is not prime. Res64: 445F13E9B25CDA87 Time : 0.0 sec. user=mdettweiler [2019-12-20 20:33:55] 923*2^1551560-1 is not prime. Res64: 308C26EE381C3CAA Time : 0.0 sec. user=mdettweiler [2019-12-20 21:12:31] 777*2^1551561-1 is not prime. Res64: 7E8AD0DF49E66026 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:12:32] 889*2^1551561-1 is not prime. Res64: 990D2144699795E8 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:12:32] 951*2^1551561-1 is not prime. Res64: E96EB388D77E4668 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:12:33] 999*2^1551561-1 is not prime. Res64: F8B2F7F56462E65C Time : 0.0 sec. user=mdettweiler [2019-12-20 21:12:34] 653*2^1551562-1 is not prime. Res64: BD7B837213497C04 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:25:07] 677*2^1551562-1 is not prime. Res64: 515ADFB1F2E7D98C Time : 0.0 sec. user=mdettweiler [2019-12-20 21:25:10] 713*2^1551562-1 is not prime. Res64: ABFE554EDCE1087B Time : 0.0 sec. user=mdettweiler [2019-12-20 21:25:10] 731*2^1551562-1 is not prime. Res64: 69F6702385AD7211 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:25:11] 755*2^1551562-1 is not prime. Res64: 2350A5E88FF1EB4C Time : 0.0 sec. user=mdettweiler [2019-12-20 21:25:12] 765*2^1551562-1 is not prime. Res64: 2DBEE8A01AC43680 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:29:25] 945*2^1551562-1 is not prime. Res64: 927CC8AD06B7CBA3 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:29:25] 947*2^1551562-1 is not prime. Res64: 907170939F6070C0 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:29:26] 995*2^1551562-1 is not prime. Res64: A82B839D871CCCA2 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:29:26] 621*2^1551563-1 is not prime. Res64: 393D6184E7A0CAF9 Time : 0.0 sec. user=mdettweiler [2019-12-20 21:29:27] 675*2^1551563-1 is not prime. Res64: 8EF21109688E5A75 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:03:54] 771*2^1551563-1 is not prime. Res64: 06614609B8AD1EA3 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:03:57] 665*2^1551564-1 is not prime. Res64: AEABF32007D1F4A8 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:03:59] 749*2^1551564-1 is not prime. Res64: A8697E0A84627BC3 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:04:01] 759*2^1551564-1 is not prime. Res64: 24A0432FA9459483 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:04:03] 767*2^1551564-1 is not prime. Res64: 03DD11EF97009BEB Time : 0.0 sec. user=mdettweiler [2019-12-20 22:18:36] 893*2^1551564-1 is not prime. Res64: EFD2A4EA5AD36D19 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:18:37] 915*2^1551564-1 is not prime. Res64: 8727D79B0F3EB438 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:18:38] 945*2^1551564-1 is not prime. Res64: E6444E92BFA94EBA Time : 0.0 sec. user=mdettweiler [2019-12-20 22:18:39] 661*2^1551565-1 is not prime. Res64: 157D24C34E278F18 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:18:39] 717*2^1551565-1 is not prime. Res64: 984C6E04564F2499 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:22:29] 777*2^1551565-1 is not prime. Res64: 643FDE9BE99E9B1C Time : 0.0 sec. user=mdettweiler [2019-12-20 22:22:30] 867*2^1551565-1 is not prime. Res64: 182B27BA3E862AAB Time : 0.0 sec. user=mdettweiler [2019-12-20 22:22:30] 987*2^1551565-1 is not prime. Res64: FE835CA7B61B0DA3 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:22:31] 677*2^1551566-1 is not prime. Res64: 8E57515514594B7A Time : 0.0 sec. user=mdettweiler [2019-12-20 22:22:31] 761*2^1551566-1 is not prime. Res64: AD3FCD10687570A6 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:57:44] 609*2^1551567-1 is not prime. Res64: 50443F50B2936109 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:57:45] 741*2^1551567-1 is not prime. Res64: C92E89872A5CCB95 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:57:46] 859*2^1551567-1 is not prime. Res64: 9648E5F9E5FC9592 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:57:47] 933*2^1551567-1 is not prime. Res64: 29BF3ED363822623 Time : 0.0 sec. user=mdettweiler [2019-12-20 22:57:47] 985*2^1551567-1 is not prime. Res64: B323E9FBEF5FC889 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:09:45] 603*2^1551568-1 is not prime. Res64: AB57A87023DE87B7 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:09:52] 623*2^1551568-1 is not prime. Res64: F061627360029641 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:09:58] 713*2^1551568-1 is not prime. Res64: C3866CC189CBD33E Time : 0.0 sec. user=mdettweiler [2019-12-20 23:10:08] 735*2^1551568-1 is not prime. Res64: 62AE35BA2112707C Time : 0.0 sec. user=mdettweiler [2019-12-20 23:10:14] 743*2^1551568-1 is not prime. Res64: 1CE71E102FE5F99B Time : 0.0 sec. user=mdettweiler [2019-12-20 23:14:08] 755*2^1551568-1 is not prime. Res64: 4A01305A024A79AB Time : 0.0 sec. user=mdettweiler [2019-12-20 23:14:11] 765*2^1551568-1 is not prime. Res64: 4612BF62AA1DBAAD Time : 0.0 sec. user=mdettweiler [2019-12-20 23:14:17] 845*2^1551568-1 is not prime. Res64: 1EAC75194BC748E6 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:14:18] 933*2^1551568-1 is not prime. Res64: CE6B3EC33CA293BB Time : 0.0 sec. user=mdettweiler [2019-12-20 23:14:20] 627*2^1551569-1 is not prime. Res64: B57E822F08195EE5 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:49:07] 645*2^1551569-1 is not prime. Res64: F127072C243E6677 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:49:08] 697*2^1551569-1 is not prime. Res64: 4B7EDDD8F6778E52 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:49:09] 771*2^1551569-1 is not prime. Res64: C8F6D244E3A60DC5 Time : 0.0 sec. user=mdettweiler [2019-12-20 23:49:11] 775*2^1551569-1 is not prime. Res64: CD07305E12C05F9F Time : 0.0 sec. user=mdettweiler [2019-12-20 23:49:12] 847*2^1551569-1 is not prime. Res64: 144B2D3880349995 Time : 0.0 sec.