user=mdettweiler [2012-01-07 00:01:37] 865*2^1000161-1 is not prime. Res64: EAA72BCD98CE4D16 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:01:38] 895*2^1000161-1 is not prime. Res64: D9059FE7F989963D Time : 0.0 sec. user=mdettweiler [2012-01-07 00:01:55] 675*2^1000162-1 is not prime. Res64: 60CEB64ECB1BB1DE Time : 0.0 sec. user=mdettweiler [2012-01-07 00:01:56] 677*2^1000162-1 is not prime. Res64: 4092B59852A855D0 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:11:44] 695*2^1000162-1 is not prime. Res64: E9EE091982BC76DA Time : 0.0 sec. user=mdettweiler [2012-01-07 00:11:47] 765*2^1000162-1 is not prime. Res64: 009E5785BD3B3436 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:12:08] 813*2^1000162-1 is not prime. Res64: F504F426C7C476B2 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:12:09] 915*2^1000162-1 is not prime. Res64: 5035292B44FD2DA2 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:21:33] 703*2^1000163-1 is not prime. Res64: A3057979929CC3D6 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:21:34] 735*2^1000163-1 is not prime. Res64: 56E385F5DBAB9857 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:23:33] 987*2^1000162-1 is not prime. Res64: DEA1890C024A24F7 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:23:33] 609*2^1000163-1 is not prime. Res64: FDB19D700013496D Time : 0.0 sec. user=mdettweiler [2012-01-07 00:31:30] 759*2^1000164-1 is not prime. Res64: C234095AC19E52DE Time : 0.0 sec. user=mdettweiler [2012-01-07 00:31:31] 773*2^1000164-1 is not prime. Res64: 9A9DF7DDC046E1DB Time : 0.0 sec. user=mdettweiler [2012-01-07 00:31:52] 873*2^1000164-1 is not prime. Res64: C07039812E283416 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:31:52] 945*2^1000164-1 is not prime. Res64: E99A2BAD4684E6CD Time : 0.0 sec. user=mdettweiler [2012-01-07 00:43:33] 947*2^1000164-1 is not prime. Res64: 99F89040DA3FE81F Time : 0.0 sec. user=mdettweiler [2012-01-07 00:43:34] 965*2^1000164-1 is not prime. Res64: C5D0E58873200D47 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:45:32] 993*2^1000164-1 is not prime. Res64: F37336D02B2AAEBF Time : 0.0 sec. user=mdettweiler [2012-01-07 00:45:33] 651*2^1000165-1 is not prime. Res64: 9B7CD448C6427C59 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:51:17] 799*2^1000165-1 is not prime. Res64: 5F62A3CC81D28698 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:51:17] 805*2^1000165-1 is not prime. Res64: 464ABDD14DF2AFFD Time : 0.0 sec. user=mdettweiler [2012-01-07 00:51:40] 831*2^1000165-1 is not prime. Res64: A1F069F0FBFD39D4 Time : 0.0 sec. user=mdettweiler [2012-01-07 00:51:40] 877*2^1000165-1 is not prime. Res64: 9F99600CD1E59E5C Time : 0.0 sec. user=mdettweiler [2012-01-07 01:03:25] 897*2^1000165-1 is not prime. Res64: B94D0BACB791BCDB Time : 0.0 sec. user=mdettweiler [2012-01-07 01:03:26] 937*2^1000165-1 is not prime. Res64: 940695DA01F10EA8 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:07:47] 997*2^1000165-1 is not prime. Res64: F7E42E146D9C0DD3 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:07:48] 615*2^1000166-1 is not prime. Res64: 553122F331E4D752 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:13:26] 785*2^1000166-1 is not prime. Res64: A6ECC24AC542ECD8 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:13:27] 971*2^1000166-1 is not prime. Res64: 1DA9D4F8F3474690 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:13:43] 1001*2^1000166-1 is not prime. Res64: C12F5F65DBEA9057 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:13:44] 705*2^1000167-1 is not prime. Res64: D070113AD3ACFEDF Time : 0.0 sec. user=mdettweiler [2012-01-07 01:23:40] 805*2^1000167-1 is not prime. Res64: B71A84F895C0B8FD Time : 0.0 sec. user=mdettweiler [2012-01-07 01:23:40] 885*2^1000167-1 is not prime. Res64: 7AEC39D5E6F28117 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:27:39] 919*2^1000167-1 is not prime. Res64: D05AD07AA27C09D8 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:27:39] 951*2^1000167-1 is not prime. Res64: 34CD5999F53A867D Time : 0.0 sec. user=mdettweiler [2012-01-07 01:33:17] 617*2^1000168-1 is not prime. Res64: E78C7FB5696B6A34 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:33:17] 665*2^1000168-1 is not prime. Res64: 39F5C49627C80316 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:33:32] 689*2^1000168-1 is not prime. Res64: EA9DB188F0372BF6 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:33:33] 803*2^1000168-1 is not prime. Res64: 218CB065A39E93E3 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:43:21] 845*2^1000168-1 is not prime. Res64: 2DCBF393C1DDC637 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:43:22] 875*2^1000168-1 is not prime. Res64: 4BFA6FC0BAAF9D83 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:47:22] 637*2^1000169-1 is not prime. Res64: C2D5B870CD9047FA Time : 0.0 sec. user=mdettweiler [2012-01-07 01:47:22] 691*2^1000169-1 is not prime. Res64: A59F9B95A6B3918C Time : 0.0 sec. user=mdettweiler [2012-01-07 01:52:59] 795*2^1000169-1 is not prime. Res64: 47D549DB7B4886E4 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:53:00] 829*2^1000169-1 is not prime. Res64: 453BBB4ED0E99D67 Time : 0.0 sec. user=mdettweiler [2012-01-07 01:53:15] 949*2^1000169-1 is not prime. Res64: BF9F45786A0499EA Time : 0.0 sec. user=mdettweiler [2012-01-07 01:53:16] 615*2^1000170-1 is not prime. Res64: F9F187B7FB3301EA Time : 0.0 sec. user=mdettweiler [2012-01-07 02:03:31] 713*2^1000170-1 is not prime. Res64: E94C01417448A7F5 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:03:32] 777*2^1000170-1 is not prime. Res64: 32EDAD340378470F Time : 0.0 sec. user=mdettweiler [2012-01-07 02:09:02] 797*2^1000170-1 is not prime. Res64: DA85DEFB80B40C10 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:09:03] 927*2^1000170-1 is not prime. Res64: BC3DF16D90E8EEE9 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:14:55] 609*2^1000171-1 is not prime. Res64: 35DEDC51BC7C63E4 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:14:56] 649*2^1000171-1 is not prime. Res64: 8A54671822CA2328 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:15:23] 735*2^1000171-1 is not prime. Res64: A9C607681CBF08EA Time : 0.0 sec. user=mdettweiler [2012-01-07 02:15:24] 769*2^1000171-1 is not prime. Res64: A6A7228F5B55EE89 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:24:42] 843*2^1000171-1 is not prime. Res64: 43270CC0076E69C2 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:24:42] 859*2^1000171-1 is not prime. Res64: FF936B269E180C24 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:29:06] 931*2^1000171-1 is not prime. Res64: F971D8EF05A9A17B Time : 0.0 sec. user=mdettweiler [2012-01-07 02:29:06] 961*2^1000171-1 is not prime. Res64: 2FD2496CDB900234 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:34:41] 725*2^1000172-1 is not prime. Res64: E7B0A8700B82348C Time : 0.0 sec. user=mdettweiler [2012-01-07 02:34:41] 855*2^1000172-1 is not prime. Res64: EF0F95257797A732 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:35:10] 857*2^1000172-1 is not prime. Res64: B41124AD372242B7 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:35:11] 685*2^1000173-1 is not prime. Res64: 40329683E655DE04 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:44:30] 727*2^1000173-1 is not prime. Res64: 8A2163F1AEBDEA45 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:44:31] 735*2^1000173-1 is not prime. Res64: 0D9E1E7CE340139D Time : 0.0 sec. user=mdettweiler [2012-01-07 02:49:03] 849*2^1000173-1 is not prime. Res64: 2927C2643E72930F Time : 0.0 sec. user=mdettweiler [2012-01-07 02:49:04] 651*2^1000174-1 is not prime. Res64: A31A5E6F8C3400AA Time : 0.0 sec. user=mdettweiler [2012-01-07 02:54:50] 887*2^1000174-1 is not prime. Res64: D8A53CABCBC04156 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:54:51] 941*2^1000174-1 is not prime. Res64: 21C17AAEC7C47E58 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:55:07] 601*2^1000175-1 is not prime. Res64: AB31CD1EEEDDFC48 Time : 0.0 sec. user=mdettweiler [2012-01-07 02:55:08] 609*2^1000175-1 is not prime. Res64: 90CC4ADA730615AF Time : 0.0 sec. user=mdettweiler [2012-01-07 03:04:23] 643*2^1000175-1 is not prime. Res64: 91A25131A62A876E Time : 0.0 sec. user=mdettweiler [2012-01-07 03:04:25] 663*2^1000175-1 is not prime. Res64: DE67A8D223BDC1AC Time : 0.0 sec. user=mdettweiler [2012-01-07 03:08:51] 685*2^1000175-1 is not prime. Res64: F4E816C0956EB1DA Time : 0.0 sec. user=mdettweiler [2012-01-07 03:08:53] 715*2^1000175-1 is not prime. Res64: 496466C7CF184FC1 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:14:45] 853*2^1000175-1 is not prime. Res64: 80AA9A94E5FE580F Time : 0.0 sec. user=mdettweiler [2012-01-07 03:14:47] 909*2^1000175-1 is not prime. Res64: 3137120A5CC5E284 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:19:30] 969*2^1000175-1 is not prime. Res64: 9A9209E2079234A0 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:19:31] 979*2^1000175-1 is not prime. Res64: 114181AC6D4DDA6E Time : 0.0 sec. user=mdettweiler [2012-01-07 03:26:29] 981*2^1000175-1 is not prime. Res64: BF9FE7AB9F112FEB Time : 0.0 sec. user=mdettweiler [2012-01-07 03:26:29] 609*2^1000176-1 is not prime. Res64: 8A8A3096E8A2C858 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:28:32] 635*2^1000176-1 is not prime. Res64: 9354F3DD42869D90 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:28:32] 669*2^1000176-1 is not prime. Res64: FB5B73401EE213A8 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:34:36] 737*2^1000176-1 is not prime. Res64: 85C8D68DD02F7110 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:34:36] 839*2^1000176-1 is not prime. Res64: BC2DAA35718E5F71 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:39:14] 857*2^1000176-1 is not prime. Res64: 446DC024280AB78F Time : 0.0 sec. user=mdettweiler [2012-01-07 03:39:14] 879*2^1000176-1 is not prime. Res64: 5AFF2995B72D7579 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:48:16] 615*2^1000177-1 is not prime. Res64: 34C84E56713DEB2C Time : 0.0 sec. user=mdettweiler [2012-01-07 03:48:16] 667*2^1000177-1 is not prime. Res64: 733A194B57A85298 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:48:26] 927*2^1000176-1 is not prime. Res64: CCC05E20A977EC9D Time : 0.0 sec. user=mdettweiler [2012-01-07 03:48:27] 969*2^1000176-1 is not prime. Res64: CEF8C3D4BB7E8F1D Time : 0.0 sec. user=mdettweiler [2012-01-07 03:54:22] 831*2^1000177-1 is not prime. Res64: 5A30AA7E631AA19C Time : 0.0 sec. user=mdettweiler [2012-01-07 03:54:22] 931*2^1000177-1 is not prime. Res64: A1B44A0E3D464DB0 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:59:04] 937*2^1000177-1 is not prime. Res64: 04D03C06AE815695 Time : 0.0 sec. user=mdettweiler [2012-01-07 03:59:05] 955*2^1000177-1 is not prime. Res64: 87E9A2CF029CE9AC Time : 0.0 sec. user=mdettweiler [2012-01-07 04:08:12] 825*2^1000178-1 is not prime. Res64: 17B843D1CE2FD64B Time : 0.0 sec. user=mdettweiler [2012-01-07 04:08:13] 957*2^1000178-1 is not prime. Res64: 94148D1AFF194955 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:10:16] 985*2^1000177-1 is not prime. Res64: 8872B83AB6C9AA96 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:10:17] 635*2^1000178-1 is not prime. Res64: 4611FEA6CCDDCAA7 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:16:25] 977*2^1000178-1 is not prime. Res64: D56038E8033A5B95 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:16:26] 613*2^1000179-1 is not prime. Res64: 78A34571E8F48502 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:18:53] 649*2^1000179-1 is not prime. Res64: 237DBE5D5CD741C6 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:18:53] 679*2^1000179-1 is not prime. Res64: 70E7BCB19BDF9B8E Time : 0.0 sec. user=mdettweiler [2012-01-07 04:27:59] 735*2^1000179-1 is not prime. Res64: E46F66F0B5057745 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:28:00] 741*2^1000179-1 is not prime. Res64: 028C040DB5E9D008 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:29:58] 909*2^1000179-1 is not prime. Res64: 449CA1F85AA15EE8 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:29:58] 603*2^1000180-1 is not prime. Res64: 3CA96235738A7D59 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:36:09] 615*2^1000180-1 is not prime. Res64: CA222E410978647F Time : 0.0 sec. user=mdettweiler [2012-01-07 04:36:10] 653*2^1000180-1 is not prime. Res64: C06A0A0E60972922 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:40:52] 695*2^1000180-1 is not prime. Res64: 388CC278F0C5D6A0 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:40:52] 983*2^1000180-1 is not prime. Res64: 51BCED77B34E0A6C Time : 0.0 sec. user=mdettweiler [2012-01-07 04:47:43] 675*2^1000181-1 is not prime. Res64: FC02926495EC5EE2 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:47:44] 925*2^1000181-1 is not prime. Res64: F5B2A82F43285398 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:49:43] 939*2^1000181-1 is not prime. Res64: ABD2DCDDE8BEF44E Time : 0.0 sec. user=mdettweiler [2012-01-07 04:49:43] 957*2^1000181-1 is not prime. Res64: 958102EC6C3D02C1 Time : 0.0 sec. user=mdettweiler [2012-01-07 04:55:51] 627*2^1000182-1 is not prime. Res64: 0CF6FE1B3E03F6EF Time : 0.0 sec. user=mdettweiler [2012-01-07 04:55:51] 647*2^1000182-1 is not prime. Res64: 791D501C240B5DC6 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:00:40] 695*2^1000182-1 is not prime. Res64: 57D05971FA45999B Time : 0.0 sec. user=mdettweiler [2012-01-07 05:00:44] 705*2^1000182-1 is not prime. Res64: AC093034ECEB7482 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:07:31] 761*2^1000182-1 is not prime. Res64: EEC10A79A35CE908 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:07:31] 815*2^1000182-1 is not prime. Res64: 2F5853C76B1CFF4C Time : 0.0 sec. user=mdettweiler [2012-01-07 05:09:27] 825*2^1000182-1 is not prime. Res64: BA10916B7856C49D Time : 0.0 sec. user=mdettweiler [2012-01-07 05:09:29] 863*2^1000182-1 is not prime. Res64: F2F8286B506FE22B Time : 0.0 sec. user=mdettweiler [2012-01-07 05:15:37] 633*2^1000183-1 is not prime. Res64: CA18B1B4D1D9EFDF Time : 0.0 sec. user=mdettweiler [2012-01-07 05:15:45] 765*2^1000183-1 is not prime. Res64: 3670147AC5329783 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:20:41] 831*2^1000183-1 is not prime. Res64: E597AA7AEADAD415 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:20:42] 913*2^1000183-1 is not prime. Res64: 14653847026CC8F6 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:27:51] 609*2^1000184-1 is not prime. Res64: B9663A5FE642F03C Time : 0.0 sec. user=mdettweiler [2012-01-07 05:27:52] 635*2^1000184-1 is not prime. Res64: D0F79EBAB7C0BCDE Time : 0.0 sec. user=mdettweiler [2012-01-07 05:29:59] 677*2^1000184-1 is not prime. Res64: D2D2B2E87604AA42 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:30:00] 803*2^1000184-1 is not prime. Res64: 2D1C219DF7E640C9 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:41:12] 923*2^1000184-1 is not prime. Res64: C5123126A5DF3E44 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:41:12] 639*2^1000185-1 is not prime. Res64: 776FC4333A0AB6EA Time : 0.0 sec. user=mdettweiler [2012-01-07 05:48:16] 717*2^1000185-1 is not prime. Res64: 9FFD0E0237F941D0 Time : 0.0 sec. user=mdettweiler [2012-01-07 05:48:17] 721*2^1000185-1 is not prime. Res64: 876152E4DCB85B7B Time : 0.0 sec. user=mdettweiler [2012-01-07 05:50:24] 735*2^1000185-1 is not prime. Res64: 317C790D78272A0A Time : 0.0 sec. user=mdettweiler [2012-01-07 05:50:24] 741*2^1000185-1 is not prime. Res64: CB5542FB6BCC4BD6 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:00:59] 603*2^1000186-1 is not prime. Res64: DE3CC613B1643100 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:01:01] 623*2^1000186-1 is not prime. Res64: 0F1E0EE115B3FF83 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:03:58] 657*2^1000186-1 is not prime. Res64: 5CE654E126BFBCFF Time : 0.0 sec. user=mdettweiler [2012-01-07 06:03:59] 663*2^1000186-1 is not prime. Res64: 937FB545956F9F92 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:07:59] 881*2^1000186-1 is not prime. Res64: 42768D7F4CEF021B Time : 0.0 sec. user=mdettweiler [2012-01-07 06:08:00] 923*2^1000186-1 is not prime. Res64: 02F868B1B70DA593 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:12:27] 947*2^1000186-1 is not prime. Res64: DDB95D4834742AB3 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:12:28] 971*2^1000186-1 is not prime. Res64: 97D4EE65EDBCCF90 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:23:04] 1001*2^1000186-1 is not prime. Res64: 546C7BD6EDFD8F0D Time : 0.0 sec. user=mdettweiler [2012-01-07 06:23:05] 699*2^1000187-1 is not prime. Res64: 155FC96E214ED6ED Time : 0.0 sec. user=mdettweiler [2012-01-07 06:23:40] 711*2^1000187-1 is not prime. Res64: 2F5FB1B93A7C47BE Time : 0.0 sec. user=mdettweiler [2012-01-07 06:23:40] 715*2^1000187-1 is not prime. Res64: A02AC703DBD7F854 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:27:42] 699*2^1000188-1 is not prime. Res64: B487F33A0CD10523 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:27:43] 735*2^1000188-1 is not prime. Res64: 82D110DDDF217893 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:32:18] 809*2^1000188-1 is not prime. Res64: C8804E8C1FA587B0 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:32:18] 625*2^1000189-1 is not prime. Res64: 7F8F9B83272D9097 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:42:46] 639*2^1000189-1 is not prime. Res64: 584E686A2AA7C6EF Time : 0.0 sec. user=mdettweiler [2012-01-07 06:42:47] 691*2^1000189-1 is not prime. Res64: DF4646FCA463BE77 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:43:21] 757*2^1000189-1 is not prime. Res64: 3F909EECF262BE9C Time : 0.0 sec. user=mdettweiler [2012-01-07 06:43:22] 835*2^1000189-1 is not prime. Res64: BDC20A32C1AA7AD2 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:47:22] 855*2^1000189-1 is not prime. Res64: 1D82BA3DB887ED6B Time : 0.0 sec. user=mdettweiler [2012-01-07 06:47:22] 615*2^1000190-1 is not prime. Res64: 124EB46356FA866D Time : 0.0 sec. user=mdettweiler [2012-01-07 06:52:03] 687*2^1000190-1 is not prime. Res64: 98A3E3A9FB903AC0 Time : 0.0 sec. user=mdettweiler [2012-01-07 06:52:04] 755*2^1000190-1 is not prime. Res64: C54C5E6B0FADAE71 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:02:28] 857*2^1000190-1 is not prime. Res64: 289127EA988A9FE9 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:02:29] 945*2^1000190-1 is not prime. Res64: 98F23E5156C0081C Time : 0.0 sec. user=mdettweiler [2012-01-07 07:05:18] 971*2^1000190-1 is not prime. Res64: 093D7921C8E7C604 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:05:18] 609*2^1000191-1 is not prime. Res64: F9C9305FCE3E6DF8 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:07:02] 621*2^1000191-1 is not prime. Res64: 07925B1D580CF539 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:07:03] 751*2^1000191-1 is not prime. Res64: B296071459935F49 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:11:46] 775*2^1000191-1 is not prime. Res64: 0E50F22ECA4E476C Time : 0.0 sec. user=mdettweiler [2012-01-07 07:11:48] 783*2^1000191-1 is not prime. Res64: 360312507212A9AE Time : 0.0 sec. user=mdettweiler [2012-01-07 07:22:19] 859*2^1000191-1 is not prime. Res64: 08C519D7F56227AC Time : 0.0 sec. user=mdettweiler [2012-01-07 07:22:20] 873*2^1000191-1 is not prime. Res64: 72E35DA74A8F6933 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:24:59] 901*2^1000191-1 is not prime. Res64: 261F87A879C2A964 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:24:59] 945*2^1000191-1 is not prime. Res64: 74E427855F99BF23 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:26:41] 603*2^1000192-1 is not prime. Res64: 12E927714EA9B3C2 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:26:42] 713*2^1000192-1 is not prime. Res64: 71D67712BF6F8E18 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:31:41] 743*2^1000192-1 is not prime. Res64: EF5EDB7A4E09CE79 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:31:41] 797*2^1000192-1 is not prime. Res64: 15FF04C6E60F2A10 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:42:10] 813*2^1000192-1 is not prime. Res64: 80CDC34E7E4C5590 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:42:10] 855*2^1000192-1 is not prime. Res64: C07FAEE97308C293 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:44:46] 869*2^1000192-1 is not prime. Res64: 177920F2AEE1FE68 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:44:46] 903*2^1000192-1 is not prime. Res64: 69CF653A5BB6F9BC Time : 0.0 sec. user=mdettweiler [2012-01-07 07:48:40] 983*2^1000192-1 is not prime. Res64: B3A42D06A1A33188 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:48:40] 765*2^1000194-1 is not prime. Res64: A1FCB5C73F36034D Time : 0.0 sec. user=mdettweiler [2012-01-07 07:51:28] 807*2^1000194-1 is not prime. Res64: 2C61DF50A73255B2 Time : 0.0 sec. user=mdettweiler [2012-01-07 07:51:28] 915*2^1000194-1 is not prime. Res64: B153E00DB2478255 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:04:06] 971*2^1000194-1 is not prime. Res64: 034AC2B69B69CD48 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:04:08] 651*2^1000195-1 is not prime. Res64: 7BAAB60F544A752C Time : 0.0 sec. user=mdettweiler [2012-01-07 08:04:34] 741*2^1000195-1 is not prime. Res64: 475ECF617E1DBC9B Time : 0.0 sec. user=mdettweiler [2012-01-07 08:04:35] 943*2^1000195-1 is not prime. Res64: 12A5E5A266E882CC Time : 0.0 sec. user=mdettweiler [2012-01-07 08:08:23] 689*2^1000196-1 is not prime. Res64: 56DAA33D744B1235 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:08:23] 743*2^1000196-1 is not prime. Res64: 596BE2F2A028F319 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:11:14] 833*2^1000196-1 is not prime. Res64: 1C7DB0057DEC7480 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:11:17] 903*2^1000196-1 is not prime. Res64: F36E785403247BFD Time : 0.0 sec. user=mdettweiler [2012-01-07 08:24:19] 711*2^1000197-1 is not prime. Res64: F414B059C4D8D8EC Time : 0.0 sec. user=mdettweiler [2012-01-07 08:24:19] 747*2^1000197-1 is not prime. Res64: C89F5FABCCC3F243 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:26:06] 957*2^1000196-1 is not prime. Res64: 5826E27255E89757 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:26:06] 993*2^1000196-1 is not prime. Res64: 3DF965F6A86EC500 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:28:08] 825*2^1000197-1 is not prime. Res64: 298E8418D36D7264 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:28:09] 901*2^1000197-1 is not prime. Res64: BCA9A5E03B6F4ECF Time : 0.0 sec. user=mdettweiler [2012-01-07 08:31:09] 603*2^1000198-1 is not prime. Res64: 5C5D50F268C24C60 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:31:10] 623*2^1000198-1 is not prime. Res64: 88998F55D80CFF9C Time : 0.0 sec. user=mdettweiler [2012-01-07 08:44:01] 821*2^1000198-1 is not prime. Res64: 79DF42279C495EC9 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:44:02] 843*2^1000198-1 is not prime. Res64: 6720FF632ADFB698 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:45:50] 881*2^1000198-1 is not prime. Res64: F40CB123FA33D64E Time : 0.0 sec. user=mdettweiler [2012-01-07 08:45:50] 609*2^1000199-1 is not prime. Res64: 334521D5C48DAFE5 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:47:47] 675*2^1000199-1 is not prime. Res64: F9C82403FD23E7A6 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:47:48] 705*2^1000199-1 is not prime. Res64: 23C2157DA6C171E1 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:50:50] 741*2^1000199-1 is not prime. Res64: D22F37E82D886318 Time : 0.0 sec. user=mdettweiler [2012-01-07 08:50:51] 771*2^1000199-1 is not prime. Res64: AEBFB123DFCA94CF Time : 0.0 sec. user=mdettweiler [2012-01-07 09:03:48] 799*2^1000199-1 is not prime. Res64: 0333AE5BCC7EA1DC Time : 0.0 sec. user=mdettweiler [2012-01-07 09:03:49] 841*2^1000199-1 is not prime. Res64: DA3F8209E01150F7 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:05:35] 855*2^1000199-1 is not prime. Res64: 3F8A84775A8F7472 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:05:37] 633*2^1000200-1 is not prime. Res64: 031BFF39EFDCD559 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:07:33] 635*2^1000200-1 is not prime. Res64: 2154C28925666CFF Time : 0.0 sec. user=mdettweiler [2012-01-07 09:07:34] 737*2^1000200-1 is not prime. Res64: E5070E91241F36C4 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:10:34] 759*2^1000200-1 is not prime. Res64: 899D579A82775CE5 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:10:36] 773*2^1000200-1 is not prime. Res64: 3A38001841EB1AAC Time : 0.0 sec. user=mdettweiler [2012-01-07 09:23:44] 929*2^1000200-1 is not prime. Res64: 8F3F20FA9B687187 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:23:44] 691*2^1000201-1 is not prime. Res64: 92FCEA2F61678457 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:25:17] 705*2^1000201-1 is not prime. Res64: C18985B0A775BDBA Time : 0.0 sec. user=mdettweiler [2012-01-07 09:25:18] 715*2^1000201-1 is not prime. Res64: 9C7580F629C6B2FA Time : 0.0 sec. user=mdettweiler [2012-01-07 09:27:17] 769*2^1000201-1 is not prime. Res64: 3AC3380151CE3BD3 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:27:17] 829*2^1000201-1 is not prime. Res64: 620B70EB2EA6CD36 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:30:26] 895*2^1000201-1 is not prime. Res64: BFF2A4F81C1C30E7 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:30:27] 945*2^1000201-1 is not prime. Res64: 408E01B5A3FB974B Time : 0.0 sec. user=mdettweiler [2012-01-07 09:45:01] 633*2^1000202-1 is not prime. Res64: EA9AF772149C1443 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:45:01] 945*2^1000202-1 is not prime. Res64: 6DD253C0187B6558 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:45:45] 975*2^1000201-1 is not prime. Res64: DF2AE67E11AAD985 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:45:46] 627*2^1000202-1 is not prime. Res64: 191D18ABE7745AD3 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:49:15] 953*2^1000202-1 is not prime. Res64: 97BD6BB260367219 Time : 0.0 sec. user=mdettweiler [2012-01-07 09:49:16] 981*2^1000202-1 is not prime. Res64: D6325B72F987B59A Time : 0.0 sec. user=mdettweiler [2012-01-07 09:50:13] 721*2^1000203-1 is not prime. Res64: D9F86F4FA0FBD52E Time : 0.0 sec. user=mdettweiler [2012-01-07 09:50:14] 793*2^1000203-1 is not prime. Res64: CF736E3B687F4C63 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:04:54] 853*2^1000203-1 is not prime. Res64: 0C28776186FA6445 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:04:57] 605*2^1000204-1 is not prime. Res64: 27C8418F99C5A53D Time : 0.0 sec. user=mdettweiler [2012-01-07 10:05:27] 635*2^1000204-1 is not prime. Res64: 30A23E694042163E Time : 0.0 sec. user=mdettweiler [2012-01-07 10:05:28] 675*2^1000204-1 is not prime. Res64: EA5E26E2D1731CBF Time : 0.0 sec. user=mdettweiler [2012-01-07 10:08:57] 915*2^1000204-1 is not prime. Res64: B2B7DBA8936A6593 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:08:58] 939*2^1000204-1 is not prime. Res64: 0C55C30C8859D3B0 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:12:17] 965*2^1000204-1 is not prime. Res64: B3B15EEFFD74E4C1 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:12:18] 601*2^1000205-1 is not prime. Res64: E3F6CE7D48B928D4 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:24:46] 697*2^1000205-1 is not prime. Res64: AE2B475DF354761A Time : 0.0 sec. user=mdettweiler [2012-01-07 10:24:47] 811*2^1000205-1 is not prime. Res64: AB4058AA755E98A7 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:25:08] 847*2^1000205-1 is not prime. Res64: 8FF5C6D374F65BDC Time : 0.0 sec. user=mdettweiler [2012-01-07 10:25:09] 865*2^1000205-1 is not prime. Res64: F32A88F67415EC47 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:28:40] 867*2^1000205-1 is not prime. Res64: 04F159CFFBF5B6AC Time : 0.0 sec. user=mdettweiler [2012-01-07 10:28:41] 925*2^1000205-1 is not prime. Res64: 1BEB421D5213DDEF Time : 0.0 sec. user=mdettweiler [2012-01-07 10:32:01] 939*2^1000205-1 is not prime. Res64: 60B0E90C2FD5CC11 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:32:02] 657*2^1000206-1 is not prime. Res64: E57B827C7C2D1F7F Time : 0.0 sec. user=mdettweiler [2012-01-07 10:44:27] 677*2^1000206-1 is not prime. Res64: EC7A0E7B29CC8433 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:44:28] 713*2^1000206-1 is not prime. Res64: 3B5AC76BE74CE65A Time : 0.0 sec. user=mdettweiler [2012-01-07 10:44:47] 807*2^1000206-1 is not prime. Res64: 6E0BE937211E4431 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:44:47] 843*2^1000206-1 is not prime. Res64: 425E3377774E9D4C Time : 0.0 sec. user=mdettweiler [2012-01-07 10:48:20] 603*2^1000207-1 is not prime. Res64: E305CC9BABDF6CC1 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:48:20] 649*2^1000207-1 is not prime. Res64: B5F6D46E42F22AE1 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:51:41] 769*2^1000207-1 is not prime. Res64: ED2EFEE672DA5614 Time : 0.0 sec. user=mdettweiler [2012-01-07 10:51:41] 841*2^1000207-1 is not prime. Res64: FAFC59D112C958D4 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:04:33] 859*2^1000207-1 is not prime. Res64: AC7DCBBAFC8264BA Time : 0.0 sec. user=mdettweiler [2012-01-07 11:04:34] 861*2^1000207-1 is not prime. Res64: 0F4D172E8FB75A76 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:04:52] 901*2^1000207-1 is not prime. Res64: A4C29D9E9C4B6794 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:04:54] 939*2^1000207-1 is not prime. Res64: 40EF5A5EDC581B6C Time : 0.0 sec. user=mdettweiler [2012-01-07 11:08:29] 951*2^1000207-1 is not prime. Res64: 90A65848E98C2E2C Time : 0.0 sec. user=mdettweiler [2012-01-07 11:08:30] 961*2^1000207-1 is not prime. Res64: E707A18BDD45ADBE Time : 0.0 sec. user=mdettweiler [2012-01-07 11:14:01] 975*2^1000207-1 is not prime. Res64: A05769F04D220E33 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:14:03] 603*2^1000208-1 is not prime. Res64: A60E457AF6CCA251 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:24:25] 755*2^1000208-1 is not prime. Res64: 0EA03BC58DD6B84E Time : 0.0 sec. user=mdettweiler [2012-01-07 11:24:25] 813*2^1000208-1 is not prime. Res64: 39BD9009008C215F Time : 0.0 sec. user=mdettweiler [2012-01-07 11:24:45] 827*2^1000208-1 is not prime. Res64: 55E865ED73D5DE5C Time : 0.0 sec. user=mdettweiler [2012-01-07 11:24:45] 843*2^1000208-1 is not prime. Res64: 511E07E21A49C04C Time : 0.0 sec. user=mdettweiler [2012-01-07 11:28:21] 845*2^1000208-1 is not prime. Res64: D68FA212E7CBFD49 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:28:22] 855*2^1000208-1 is not prime. Res64: C8B0CD2DD5DBDCB7 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:33:59] 927*2^1000208-1 is not prime. Res64: 3788DAB1191D20AD Time : 0.0 sec. user=mdettweiler [2012-01-07 11:33:59] 935*2^1000208-1 is not prime. Res64: CB5C77C50B2A8D73 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:44:15] 963*2^1000208-1 is not prime. Res64: BBB588C413CADFF3 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:44:16] 625*2^1000209-1 is not prime. Res64: 2F0D87425A457847 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:44:35] 681*2^1000209-1 is not prime. Res64: 68DC5A3207F60FEE Time : 0.0 sec. user=mdettweiler [2012-01-07 11:44:35] 709*2^1000209-1 is not prime. Res64: 106B316694500B76 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:48:16] 895*2^1000209-1 is not prime. Res64: A4A232C700BFDB69 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:48:16] 657*2^1000210-1 is not prime. Res64: A6D133CA223480ED Time : 0.0 sec. user=mdettweiler [2012-01-07 11:56:12] 1001*2^1000210-1 is not prime. Res64: D841693A6578A8A6 Time : 0.0 sec. user=mdettweiler [2012-01-07 11:56:12] 615*2^1000211-1 is not prime. Res64: 86F0D6FE6C9AD16A Time : 0.0 sec. user=mdettweiler [2012-01-07 12:04:22] 859*2^1000211-1 is not prime. Res64: 9EEBBF6D49A03843 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:04:23] 939*2^1000211-1 is not prime. Res64: D5A3D8256D583402 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:04:30] 705*2^1000211-1 is not prime. Res64: 530BD86BE7985949 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:04:31] 855*2^1000211-1 is not prime. Res64: BC58169B232D8BC6 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:08:05] 633*2^1000212-1 is not prime. Res64: 0EDB9A304AFE2B9E Time : 0.0 sec. user=mdettweiler [2012-01-07 12:08:06] 767*2^1000212-1 is not prime. Res64: EA880D2C9A2A356F Time : 0.0 sec. user=mdettweiler [2012-01-07 12:15:54] 867*2^1000212-1 is not prime. Res64: 5E74F0F5EF345505 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:15:55] 893*2^1000212-1 is not prime. Res64: 2338E01BD70F2501 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:24:15] 747*2^1000213-1 is not prime. Res64: E8211DCA783A1D9A Time : 0.0 sec. user=mdettweiler [2012-01-07 12:24:15] 771*2^1000213-1 is not prime. Res64: C9195D4DAC35B6D4 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:24:15] 691*2^1000213-1 is not prime. Res64: F0BDF3A1CBDD712B Time : 0.0 sec. user=mdettweiler [2012-01-07 12:24:16] 729*2^1000213-1 is not prime. Res64: BB71980EB17FCD67 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:27:49] 677*2^1000214-1 is not prime. Res64: CD2B278E26316633 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:27:50] 921*2^1000214-1 is not prime. Res64: F7BFDD3142ED208D Time : 0.0 sec. user=mdettweiler [2012-01-07 12:37:53] 957*2^1000214-1 is not prime. Res64: 07281AC1E6E69142 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:37:54] 1001*2^1000214-1 is not prime. Res64: 46A7859B4BBC9095 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:44:02] 723*2^1000215-1 is not prime. Res64: 5AB853422DB1DE1E Time : 0.0 sec. user=mdettweiler [2012-01-07 12:44:03] 735*2^1000215-1 is not prime. Res64: 02A06DF87F885221 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:44:13] 601*2^1000215-1 is not prime. Res64: FC31C31652F6C4BF Time : 0.0 sec. user=mdettweiler [2012-01-07 12:44:14] 613*2^1000215-1 is not prime. Res64: 2AA7511DF496D7BF Time : 0.0 sec. user=mdettweiler [2012-01-07 12:49:48] 783*2^1000215-1 is not prime. Res64: CAE5675DDD51E388 Time : 0.0 sec. user=mdettweiler [2012-01-07 12:49:48] 973*2^1000215-1 is not prime. Res64: 60114B88599BA30A Time : 0.0 sec. user=mdettweiler [2012-01-07 12:57:35] 609*2^1000216-1 is not prime. Res64: 7197EF6EA686183D Time : 0.0 sec. user=mdettweiler [2012-01-07 12:57:35] 699*2^1000216-1 is not prime. Res64: 2607F5184D032A35 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:03:47] 723*2^1000216-1 is not prime. Res64: F62B32A6B39B696F Time : 0.0 sec. user=mdettweiler [2012-01-07 13:03:48] 747*2^1000216-1 is not prime. Res64: B66353A0D44B67AD Time : 0.0 sec. user=mdettweiler [2012-01-07 13:03:58] 843*2^1000216-1 is not prime. Res64: 67498A68F39CF0A4 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:04:00] 875*2^1000216-1 is not prime. Res64: 8C50098675B670FB Time : 0.0 sec. user=mdettweiler [2012-01-07 13:09:28] 939*2^1000216-1 is not prime. Res64: F6402CC90238E3AA Time : 0.0 sec. user=mdettweiler [2012-01-07 13:09:29] 615*2^1000217-1 is not prime. Res64: 972038783D6F0223 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:17:18] 619*2^1000217-1 is not prime. Res64: D0BEE53A54A8B26E Time : 0.0 sec. user=mdettweiler [2012-01-07 13:17:19] 669*2^1000217-1 is not prime. Res64: 915556333B3F09A1 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:23:30] 771*2^1000217-1 is not prime. Res64: AC40CDC594BC1EFE Time : 0.0 sec. user=mdettweiler [2012-01-07 13:23:31] 799*2^1000217-1 is not prime. Res64: 6B669ACB8B1982FE Time : 0.0 sec. user=mdettweiler [2012-01-07 13:23:41] 841*2^1000217-1 is not prime. Res64: 2179913C5468A6F1 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:23:42] 955*2^1000217-1 is not prime. Res64: 3E447776D3B5658A Time : 0.0 sec. user=mdettweiler [2012-01-07 13:31:29] 967*2^1000217-1 is not prime. Res64: 6DB37E046DBC127E Time : 0.0 sec. user=mdettweiler [2012-01-07 13:31:29] 621*2^1000218-1 is not prime. Res64: AC2F69117BFD2A2E Time : 0.0 sec. user=mdettweiler [2012-01-07 13:37:04] 671*2^1000218-1 is not prime. Res64: DAB94FB45845DC51 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:37:04] 695*2^1000218-1 is not prime. Res64: 04833A12F4479D06 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:43:11] 725*2^1000218-1 is not prime. Res64: 8881953F3211BD66 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:43:11] 801*2^1000218-1 is not prime. Res64: AE564D3DCD2F3015 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:43:27] 815*2^1000218-1 is not prime. Res64: C2A3A54EA77ED7B1 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:43:27] 941*2^1000218-1 is not prime. Res64: 3E5E606DA41B4800 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:51:25] 615*2^1000219-1 is not prime. Res64: CCC0E92C68F27689 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:51:25] 639*2^1000219-1 is not prime. Res64: 34278751938DFD1B Time : 0.0 sec. user=mdettweiler [2012-01-07 13:57:09] 703*2^1000219-1 is not prime. Res64: 87FDA3ADDB176262 Time : 0.0 sec. user=mdettweiler [2012-01-07 13:57:09] 741*2^1000219-1 is not prime. Res64: 8BE5E8DD0D095CA0 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:03:21] 745*2^1000219-1 is not prime. Res64: B6019C2ACC3695F5 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:03:21] 843*2^1000219-1 is not prime. Res64: 328D679D1D01E0A8 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:06:14] 885*2^1000219-1 is not prime. Res64: 12BA38B8904EB372 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:06:16] 985*2^1000219-1 is not prime. Res64: A58FBA6B9D028F68 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:11:28] 699*2^1000220-1 is not prime. Res64: DDBFD3A4648FE4FB Time : 0.0 sec. user=mdettweiler [2012-01-07 14:11:28] 759*2^1000220-1 is not prime. Res64: 475052835BC69D27 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:17:21] 767*2^1000220-1 is not prime. Res64: 8BC6AFD1D2FC6818 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:17:22] 827*2^1000220-1 is not prime. Res64: A7DE4735A0877A38 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:23:22] 857*2^1000220-1 is not prime. Res64: 50DA7A67D958C300 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:23:23] 893*2^1000220-1 is not prime. Res64: CE60E98C6A383AE9 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:28:40] 999*2^1000220-1 is not prime. Res64: B5A3A77BAE505699 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:28:40] 649*2^1000221-1 is not prime. Res64: 868D1FBC03C15BB1 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:31:40] 747*2^1000221-1 is not prime. Res64: DFB580E1A1E7C928 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:31:40] 777*2^1000221-1 is not prime. Res64: 3061793B6EC22A90 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:37:24] 817*2^1000221-1 is not prime. Res64: 5BB6905F669D30CD Time : 0.0 sec. user=mdettweiler [2012-01-07 14:37:24] 955*2^1000221-1 is not prime. Res64: D48C0A1EACC72505 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:45:40] 999*2^1000221-1 is not prime. Res64: FFDEB5D21B19444A Time : 0.0 sec. user=mdettweiler [2012-01-07 14:45:41] 671*2^1000222-1 is not prime. Res64: C45ED1B30BD5A0A4 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:48:47] 731*2^1000222-1 is not prime. Res64: 78EEA6790D1510CD Time : 0.0 sec. user=mdettweiler [2012-01-07 14:48:48] 741*2^1000222-1 is not prime. Res64: BD2412F660554CFD Time : 0.0 sec. user=mdettweiler [2012-01-07 14:51:46] 747*2^1000222-1 is not prime. Res64: B2A162BA0B00680C Time : 0.0 sec. user=mdettweiler [2012-01-07 14:51:46] 801*2^1000222-1 is not prime. Res64: 5C2A9C285B170EF5 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:59:32] 885*2^1000222-1 is not prime. Res64: 2AF1097FAE54F9A5 Time : 0.0 sec. user=mdettweiler [2012-01-07 14:59:32] 981*2^1000222-1 is not prime. Res64: 76E6E7710B2981FA Time : 0.0 sec. user=mdettweiler [2012-01-07 15:07:47] 983*2^1000222-1 is not prime. Res64: 03127B69FD3E99BB Time : 0.0 sec. user=mdettweiler [2012-01-07 15:07:49] 615*2^1000223-1 is not prime. Res64: C7396D29E87F9A3C Time : 0.0 sec. user=mdettweiler [2012-01-07 15:08:43] 643*2^1000223-1 is not prime. Res64: FC6B2BF09776B48A Time : 0.0 sec. user=mdettweiler [2012-01-07 15:08:44] 685*2^1000223-1 is not prime. Res64: E30417A811D50E18 Time : 0.0 sec. user=mdettweiler [2012-01-07 15:11:32] 715*2^1000223-1 is not prime. Res64: 81A78CD3A79FCC0F Time : 0.0 sec. user=mdettweiler [2012-01-07 15:11:33] 783*2^1000223-1 is not prime. Res64: 187C6E31D558E81A Time : 0.0 sec. user=mdettweiler [2012-01-07 15:19:17] 789*2^1000223-1 is not prime. Res64: 5CDE6E6E18D53120 Time : 0.0 sec. user=mdettweiler [2012-01-07 15:19:17] 901*2^1000223-1 is not prime. Res64: 3342D02613A189D0 Time : 0.0 sec. user=mdettweiler [2012-01-07 15:31:21] 635*2^1000224-1 is not prime. Res64: 9F3A504DDC9B1644 Time : 0.0 sec. user=mdettweiler [2012-01-07 15:31:22] 665*2^1000224-1 is not prime. Res64: 149D7063C586795F Time : 0.0 sec. user=mdettweiler [2012-01-07 15:37:29] 985*2^1000223-1 is not prime. Res64: 65E8CDDBD9BB1E11 Time : 0.0 sec. user=mdettweiler [2012-01-07 15:37:29] 991*2^1000223-1 is not prime. Res64: 661AA315AC888C82 Time : 0.0 sec. user=mdettweiler [2012-01-07 15:39:10] 717*2^1000224-1 is not prime. Res64: 492A05F9A0BCA4AC Time : 0.0 sec. user=mdettweiler [2012-01-07 15:39:11] 737*2^1000224-1 is not prime. Res64: 6C6384FD008F3874 Time : 0.0 sec. user=mdettweiler [2012-01-07 15:58:01] 903*2^1000224-1 is not prime. Res64: 3A9EF31B142EF42D Time : 0.0 sec. user=mdettweiler [2012-01-07 15:58:02] 927*2^1000224-1 is not prime. Res64: 1BF10335410693B3 Time : 0.0 sec. user=mdettweiler [2012-01-07 16:06:35] 913*2^1000223-1 is not prime. Res64: 26C22506CDFE34BC Time : 0.0 sec. user=mdettweiler [2012-01-07 16:06:38] 969*2^1000223-1 is not prime. Res64: 53BBBCEF6A023F4B Time : 0.0 sec. user=mdettweiler [2012-01-07 16:20:59] 789*2^1000224-1 is not prime. Res64: BB241730B2A6A531 Time : 0.0 sec. user=mdettweiler [2012-01-07 16:21:00] 887*2^1000224-1 is not prime. Res64: 6F2FC00F526D61E4 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:05:25] 947*2^1000224-1 is not prime. Res64: 8AB99ADD5B086E48 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:05:26] 609*2^1000225-1 is not prime. Res64: E5C17D55A82D92A1 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:07:15] 691*2^1000225-1 is not prime. Res64: 54C0BD9AE779C1C2 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:07:17] 775*2^1000225-1 is not prime. Res64: 6A9A49478BE56247 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:24:42] 811*2^1000225-1 is not prime. Res64: DE17DE2D5AC2671A Time : 0.0 sec. user=mdettweiler [2012-01-07 17:24:42] 817*2^1000225-1 is not prime. Res64: D5264478AE59F53F Time : 0.0 sec. user=mdettweiler [2012-01-07 17:25:58] 827*2^1000226-1 is not prime. Res64: EF7E02AF81703CCE Time : 0.0 sec. user=mdettweiler [2012-01-07 17:25:59] 861*2^1000226-1 is not prime. Res64: 995ABD294821D576 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:27:40] 615*2^1000227-1 is not prime. Res64: 2896A02A1D070BFF Time : 0.0 sec. user=mdettweiler [2012-01-07 17:27:41] 685*2^1000227-1 is not prime. Res64: FF7B499FA640A330 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:35:58] 755*2^1000226-1 is not prime. Res64: 0E870360D0B48ED1 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:35:58] 815*2^1000226-1 is not prime. Res64: ECA3B71C00311B56 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:44:32] 751*2^1000227-1 is not prime. Res64: AB99CEA59E649709 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:44:33] 901*2^1000227-1 is not prime. Res64: 7CDAC0B7FC2913C1 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:45:49] 955*2^1000227-1 is not prime. Res64: E410D4273A905D28 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:45:49] 617*2^1000228-1 is not prime. Res64: 9B4060FEE3E04467 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:47:31] 765*2^1000228-1 is not prime. Res64: 3340D4093A660DE7 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:47:32] 833*2^1000228-1 is not prime. Res64: E726C30207281A77 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:55:45] 657*2^1000229-1 is not prime. Res64: DFE3241F071D4D24 Time : 0.0 sec. user=mdettweiler [2012-01-07 17:55:46] 769*2^1000229-1 is not prime. Res64: AA38FC0152CF44CC Time : 0.0 sec. user=mdettweiler [2012-01-07 18:04:30] 847*2^1000229-1 is not prime. Res64: 8BBE9125C953823E Time : 0.0 sec. user=mdettweiler [2012-01-07 18:04:32] 949*2^1000229-1 is not prime. Res64: 49BC73FC7CFD20C5 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:05:44] 717*2^1000230-1 is not prime. Res64: 32765B6399C8F758 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:05:45] 761*2^1000230-1 is not prime. Res64: 416CC4A91502AF3E Time : 0.0 sec. user=mdettweiler [2012-01-07 18:07:22] 777*2^1000230-1 is not prime. Res64: BB45216200BD0718 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:07:25] 795*2^1000230-1 is not prime. Res64: 2DC880D7CF9D7997 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:17:53] 951*2^1000230-1 is not prime. Res64: 9E34CE7ED1346851 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:17:53] 965*2^1000230-1 is not prime. Res64: 95CFBC863EBCD8CC Time : 0.0 sec. user=mdettweiler [2012-01-07 18:25:30] 793*2^1000231-1 is not prime. Res64: C0715F2112969147 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:25:30] 871*2^1000231-1 is not prime. Res64: 027A58EDA4F2A165 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:26:31] 1001*2^1000230-1 is not prime. Res64: 3C5CD050726CF95D Time : 0.0 sec. user=mdettweiler [2012-01-07 18:26:31] 759*2^1000231-1 is not prime. Res64: E4408AB6ADF1C5E0 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:27:09] 891*2^1000231-1 is not prime. Res64: 6A9BD5453B70A109 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:27:10] 901*2^1000231-1 is not prime. Res64: 9E21ED63843E76AB Time : 0.0 sec. user=mdettweiler [2012-01-07 18:39:47] 943*2^1000231-1 is not prime. Res64: 83A333D62BB32C5D Time : 0.0 sec. user=mdettweiler [2012-01-07 18:39:47] 975*2^1000231-1 is not prime. Res64: F44E6EE71E6CE647 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:45:19] 635*2^1000232-1 is not prime. Res64: F7A5C47548BB3639 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:45:20] 717*2^1000232-1 is not prime. Res64: F900844245D8D79C Time : 0.0 sec. user=mdettweiler [2012-01-07 18:46:12] 609*2^1000233-1 is not prime. Res64: C769B1E6529D3821 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:46:13] 649*2^1000233-1 is not prime. Res64: 79B7BE8DAC750A47 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:46:57] 657*2^1000233-1 is not prime. Res64: 2A15EBDA3EDE04C5 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:46:57] 691*2^1000233-1 is not prime. Res64: C9F2DFD94C36A26F Time : 0.0 sec. user=mdettweiler [2012-01-07 18:59:31] 789*2^1000233-1 is not prime. Res64: 61AC312C49CA3440 Time : 0.0 sec. user=mdettweiler [2012-01-07 18:59:31] 837*2^1000233-1 is not prime. Res64: DDD83B99094678C0 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:05:11] 849*2^1000233-1 is not prime. Res64: 6FAC9C56C0BF0EA6 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:05:12] 889*2^1000233-1 is not prime. Res64: C67FA33CF886A221 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:05:52] 633*2^1000234-1 is not prime. Res64: 4E75BB313DADB2AC Time : 0.0 sec. user=mdettweiler [2012-01-07 19:05:54] 717*2^1000234-1 is not prime. Res64: 397BDBE98E7E9DDE Time : 0.0 sec. user=mdettweiler [2012-01-07 19:06:44] 755*2^1000234-1 is not prime. Res64: 4E754CF1972B2B4C Time : 0.0 sec. user=mdettweiler [2012-01-07 19:06:46] 815*2^1000234-1 is not prime. Res64: 7EDE2D1A7BDCBD0A Time : 0.0 sec. user=mdettweiler [2012-01-07 19:19:13] 831*2^1000234-1 is not prime. Res64: 72397BF87E4A981F Time : 0.0 sec. user=mdettweiler [2012-01-07 19:19:13] 947*2^1000234-1 is not prime. Res64: 691B8180121DF5FB Time : 0.0 sec. user=mdettweiler [2012-01-07 19:24:57] 651*2^1000235-1 is not prime. Res64: B1FA6679EE1E7C48 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:24:57] 675*2^1000235-1 is not prime. Res64: 5DBF55D3D440E9EB Time : 0.0 sec. user=mdettweiler [2012-01-07 19:26:31] 609*2^1000236-1 is not prime. Res64: 081B259B8858D838 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:26:32] 693*2^1000236-1 is not prime. Res64: E8D61ED0F59539CA Time : 0.0 sec. user=mdettweiler [2012-01-07 19:27:56] 789*2^1000235-1 is not prime. Res64: FC6D32E330DA0F50 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:27:56] 969*2^1000235-1 is not prime. Res64: 69CCCA9D83C5C24C Time : 0.0 sec. user=mdettweiler [2012-01-07 19:41:16] 845*2^1000236-1 is not prime. Res64: 8D85D400FBA2E547 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:41:16] 969*2^1000236-1 is not prime. Res64: 98BD730470928030 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:46:14] 607*2^1000237-1 is not prime. Res64: 1ED5217346C89430 Time : 0.0 sec. user=mdettweiler [2012-01-07 19:46:14] 751*2^1000237-1 is not prime. Res64: BE3C5E236F23E4EE Time : 0.0 sec. user=mdettweiler [2012-01-07 19:47:44] 769*2^1000237-1 is not prime. Res64: 5B8A1C6860175FBE Time : 0.0 sec. user=mdettweiler [2012-01-07 19:47:44] 889*2^1000237-1 is not prime. Res64: EFEE181D9AF1914E Time : 0.0 sec. user=mdettweiler [2012-01-07 19:49:13] 983*2^1000236-1 is not prime. Res64: FE22BAAF0DAF1CEA Time : 0.0 sec. user=mdettweiler [2012-01-07 19:49:13] 999*2^1000236-1 is not prime. Res64: 7FBC0D3FFCE32211 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:01:03] 915*2^1000237-1 is not prime. Res64: E2AD18B61196F8CF Time : 0.0 sec. user=mdettweiler [2012-01-07 20:01:06] 931*2^1000237-1 is not prime. Res64: 0CD0885CD98D3075 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:05:56] 937*2^1000237-1 is not prime. Res64: 45854FF2C1966B09 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:05:57] 939*2^1000237-1 is not prime. Res64: 2A55B1FB0AB9C9A7 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:08:55] 665*2^1000238-1 is not prime. Res64: ED00EE79FCC59626 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:08:55] 713*2^1000238-1 is not prime. Res64: 916E43FFFE5E67C6 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:09:44] 961*2^1000237-1 is not prime. Res64: B7F25647AA5AFBB8 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:09:45] 975*2^1000237-1 is not prime. Res64: 03A976F511F9AF6F Time : 0.0 sec. user=mdettweiler [2012-01-07 20:20:56] 755*2^1000238-1 is not prime. Res64: DF261371EC824BC1 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:20:56] 773*2^1000238-1 is not prime. Res64: 986E6F4FC4F911A5 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:25:40] 801*2^1000238-1 is not prime. Res64: 32AC660F05A31E2A Time : 0.0 sec. user=mdettweiler [2012-01-07 20:25:41] 957*2^1000238-1 is not prime. Res64: 38EFBFE50530B236 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:28:40] 615*2^1000239-1 is not prime. Res64: 92BB8829F628B41E Time : 0.0 sec. user=mdettweiler [2012-01-07 20:28:40] 663*2^1000239-1 is not prime. Res64: 1E3C1D407CF79894 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:29:27] 675*2^1000239-1 is not prime. Res64: 1A87D3C100AF45DE Time : 0.0 sec. user=mdettweiler [2012-01-07 20:29:28] 741*2^1000239-1 is not prime. Res64: 10E48379222E8857 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:45:13] 975*2^1000239-1 is not prime. Res64: 7AA2115BE033319D Time : 0.0 sec. user=mdettweiler [2012-01-07 20:45:14] 979*2^1000239-1 is not prime. Res64: 13A432F834ACB861 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:45:26] 735*2^1000240-1 is not prime. Res64: 4D72CFD14C43569E Time : 0.0 sec. user=mdettweiler [2012-01-07 20:45:26] 765*2^1000240-1 is not prime. Res64: 005C4EB9C92BAC81 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:49:16] 637*2^1000241-1 is not prime. Res64: 06223EF191BBB1D9 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:49:17] 677*2^1000242-1 is not prime. Res64: D09839FB069E7BB2 Time : 0.0 sec. user=mdettweiler [2012-01-07 20:50:42] 975*2^1000240-1 is not prime. Res64: C57661454E72883E Time : 0.0 sec. user=mdettweiler [2012-01-07 20:50:42] 607*2^1000241-1 is not prime. Res64: 4DEEDC4C7CA3A1CB Time : 0.0 sec. user=mdettweiler [2012-01-07 21:04:56] 683*2^1000242-1 is not prime. Res64: E676A2571C180B3A Time : 0.0 sec. user=mdettweiler [2012-01-07 21:04:57] 807*2^1000242-1 is not prime. Res64: BD62F1AFF3F0F23A Time : 0.0 sec. user=mdettweiler [2012-01-07 21:05:12] 833*2^1000242-1 is not prime. Res64: A9BCFB9B3B6635EC Time : 0.0 sec. user=mdettweiler [2012-01-07 21:05:14] 867*2^1000242-1 is not prime. Res64: FC18D1F991217038 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:09:01] 891*2^1000242-1 is not prime. Res64: B9896573F399CEE8 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:09:01] 663*2^1000243-1 is not prime. Res64: CA6491E609D1C3B6 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:10:27] 775*2^1000243-1 is not prime. Res64: 9A59E23D2464BE53 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:10:28] 829*2^1000243-1 is not prime. Res64: 24C0B49F89910AE6 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:24:45] 835*2^1000243-1 is not prime. Res64: A2A0E99E1657A263 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:24:45] 861*2^1000243-1 is not prime. Res64: 39BDF26899C24981 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:24:56] 925*2^1000243-1 is not prime. Res64: FA5C47CD4EE087FF Time : 0.0 sec. user=mdettweiler [2012-01-07 21:24:57] 659*2^1000244-1 is not prime. Res64: FCBB758EC40599B7 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:28:47] 683*2^1000244-1 is not prime. Res64: DBB61D727DFD56F3 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:28:47] 795*2^1000244-1 is not prime. Res64: 9CFC99D222207AB3 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:30:09] 837*2^1000244-1 is not prime. Res64: 3129E9E51501881C Time : 0.0 sec. user=mdettweiler [2012-01-07 21:30:09] 609*2^1000245-1 is not prime. Res64: DE108C700E91D659 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:44:30] 817*2^1000245-1 is not prime. Res64: F73546567752D464 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:44:30] 849*2^1000245-1 is not prime. Res64: 36AD1DA5AC0A1247 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:46:56] 969*2^1000245-1 is not prime. Res64: D2B746726B3B559C Time : 0.0 sec. user=mdettweiler [2012-01-07 21:46:57] 611*2^1000246-1 is not prime. Res64: B36016221A16EE3F Time : 0.0 sec. user=mdettweiler [2012-01-07 21:48:31] 657*2^1000246-1 is not prime. Res64: C93C7D167B5F35C4 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:48:31] 705*2^1000246-1 is not prime. Res64: 0A6B278A20734174 Time : 0.0 sec. user=mdettweiler [2012-01-07 21:49:55] 867*2^1000246-1 is not prime. Res64: 7FE10788878DDD0E Time : 0.0 sec. user=mdettweiler [2012-01-07 21:49:55] 933*2^1000246-1 is not prime. Res64: 71BFE5552FD11C60 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:04:15] 621*2^1000247-1 is not prime. Res64: 63232E2711F50E04 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:04:16] 661*2^1000247-1 is not prime. Res64: 1DBDFF970A939AD3 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:06:37] 693*2^1000247-1 is not prime. Res64: 54711961C6DBA10A Time : 0.0 sec. user=mdettweiler [2012-01-07 22:06:39] 781*2^1000247-1 is not prime. Res64: 7FA8F2C28F82EEF7 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:08:14] 859*2^1000247-1 is not prime. Res64: 8D0CF0D1D7090605 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:08:15] 909*2^1000247-1 is not prime. Res64: 949E0CD49C057EBA Time : 0.0 sec. user=mdettweiler [2012-01-07 22:09:33] 689*2^1000248-1 is not prime. Res64: 0C01DAC1016AB1BA Time : 0.0 sec. user=mdettweiler [2012-01-07 22:09:36] 737*2^1000248-1 is not prime. Res64: D96B14F7B3A350BC Time : 0.0 sec. user=mdettweiler [2012-01-07 22:23:58] 815*2^1000248-1 is not prime. Res64: 91D19DA329371DE8 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:23:59] 845*2^1000248-1 is not prime. Res64: BE49886B1057E098 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:26:26] 849*2^1000248-1 is not prime. Res64: 00B3A730BDC0CA51 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:26:26] 915*2^1000248-1 is not prime. Res64: 77556814A6DA155A Time : 0.0 sec. user=mdettweiler [2012-01-07 22:28:00] 927*2^1000248-1 is not prime. Res64: 76A2DF50F772EE69 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:28:00] 601*2^1000249-1 is not prime. Res64: CFA37454CB243675 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:29:19] 681*2^1000249-1 is not prime. Res64: 86C57862362463EE Time : 0.0 sec. user=mdettweiler [2012-01-07 22:29:20] 751*2^1000249-1 is not prime. Res64: 95BF018781FB231F Time : 0.0 sec. user=mdettweiler [2012-01-07 22:43:42] 861*2^1000249-1 is not prime. Res64: F80C912A43313614 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:43:43] 867*2^1000249-1 is not prime. Res64: 1767368FD5F82796 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:47:42] 755*2^1000250-1 is not prime. Res64: C2523F924BD4704C Time : 0.0 sec. user=mdettweiler [2012-01-07 22:47:42] 773*2^1000250-1 is not prime. Res64: 2C736F93EDB23BC6 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:48:29] 979*2^1000249-1 is not prime. Res64: 8F7FBCCB963602E8 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:48:29] 713*2^1000250-1 is not prime. Res64: 762F81BCB21D9791 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:49:04] 783*2^1000250-1 is not prime. Res64: 2EC3995E4F39B2F9 Time : 0.0 sec. user=mdettweiler [2012-01-07 22:49:04] 827*2^1000250-1 is not prime. Res64: CC267D29093F7218 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:03:29] 851*2^1000250-1 is not prime. Res64: 27DA89B2B597F722 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:03:31] 857*2^1000250-1 is not prime. Res64: 3309EF7272950C5E Time : 0.0 sec. user=mdettweiler [2012-01-07 23:07:27] 885*2^1000250-1 is not prime. Res64: DA7887C3BCD32334 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:07:29] 921*2^1000250-1 is not prime. Res64: 33D31C44AAD45E4B Time : 0.0 sec. user=mdettweiler [2012-01-07 23:08:47] 793*2^1000251-1 is not prime. Res64: 3A683169B64B4774 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:08:50] 805*2^1000251-1 is not prime. Res64: 397740B283B96267 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:10:24] 981*2^1000250-1 is not prime. Res64: 1189D1CD54F46A9A Time : 0.0 sec. user=mdettweiler [2012-01-07 23:10:26] 753*2^1000251-1 is not prime. Res64: 4E603A8B7E873D32 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:23:17] 861*2^1000251-1 is not prime. Res64: 1F3A5C88DCBCD405 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:23:18] 629*2^1000252-1 is not prime. Res64: 3FB6BA9722AA5283 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:27:12] 639*2^1000252-1 is not prime. Res64: 8A8CBCDE427B96B4 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:27:13] 677*2^1000252-1 is not prime. Res64: C1F060AB51D3A60E Time : 0.0 sec. user=mdettweiler [2012-01-07 23:28:31] 735*2^1000252-1 is not prime. Res64: 09D874DCB01CBCB0 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:28:31] 779*2^1000252-1 is not prime. Res64: 1F70BC8281BB12F8 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:30:08] 909*2^1000252-1 is not prime. Res64: A8B1F18669E01864 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:30:09] 923*2^1000252-1 is not prime. Res64: E750D9156037A512 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:45:30] 983*2^1000252-1 is not prime. Res64: 179E911518E1963E Time : 0.0 sec. user=mdettweiler [2012-01-07 23:45:31] 615*2^1000253-1 is not prime. Res64: 496B92B529F894AA Time : 0.0 sec. user=mdettweiler [2012-01-07 23:47:14] 685*2^1000253-1 is not prime. Res64: 517B67EB0BC2872F Time : 0.0 sec. user=mdettweiler [2012-01-07 23:47:14] 727*2^1000253-1 is not prime. Res64: CB630C3BF88412ED Time : 0.0 sec. user=mdettweiler [2012-01-07 23:48:34] 787*2^1000253-1 is not prime. Res64: 9EF8E3144A421D31 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:48:34] 855*2^1000253-1 is not prime. Res64: 6BF57D165198A976 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:52:17] 987*2^1000253-1 is not prime. Res64: DB40BD26CE6F1FD6 Time : 0.0 sec. user=mdettweiler [2012-01-07 23:52:17] 677*2^1000254-1 is not prime. Res64: 56703F793947A039 Time : 0.0 sec.