user=mdettweiler [2013-07-06 00:16:24] 983*2^1247444-1 is not prime. Res64: 5D173AB2EE6735C6 Time : 0.0 sec. user=mdettweiler [2013-07-06 00:16:24] 669*2^1247445-1 is not prime. Res64: 485E84236CCA1F9F Time : 0.0 sec. user=mdettweiler [2013-07-06 00:33:26] 741*2^1247445-1 is not prime. Res64: CE06ED2CE4E92A9E Time : 0.0 sec. user=mdettweiler [2013-07-06 00:33:27] 837*2^1247445-1 is not prime. Res64: BBF34815D96C825D Time : 0.0 sec. user=mdettweiler [2013-07-06 00:51:15] 937*2^1247445-1 is not prime. Res64: 57C8014091EC89DB Time : 0.0 sec. user=mdettweiler [2013-07-06 00:51:16] 991*2^1247445-1 is not prime. Res64: 18D7857908614750 Time : 0.0 sec. user=mdettweiler [2013-07-06 01:08:19] 623*2^1247446-1 is not prime. Res64: 036264C5793B7AE5 Time : 0.0 sec. user=mdettweiler [2013-07-06 01:08:20] 741*2^1247446-1 is not prime. Res64: 7BCBAD7E3325DBF9 Time : 0.0 sec. user=mdettweiler [2013-07-06 01:26:23] 785*2^1247446-1 is not prime. Res64: AC6469214718C60C Time : 0.0 sec. user=mdettweiler [2013-07-06 01:26:24] 983*2^1247446-1 is not prime. Res64: 86AB0A5702D2A43A Time : 0.0 sec. user=mdettweiler [2013-07-06 01:43:26] 705*2^1247447-1 is not prime. Res64: 1190EEE92645EF24 Time : 0.0 sec. user=mdettweiler [2013-07-06 01:43:27] 895*2^1247447-1 is not prime. Res64: 459E7A7D1507BF92 Time : 0.0 sec. user=mdettweiler [2013-07-06 02:01:18] 949*2^1247447-1 is not prime. Res64: 8C9C0E127A6E46FF Time : 0.0 sec. user=mdettweiler [2013-07-06 02:01:20] 963*2^1247447-1 is not prime. Res64: A633758F459965C7 Time : 0.0 sec. user=mdettweiler [2013-07-06 02:19:23] 991*2^1247447-1 is not prime. Res64: 6E15F4DC003D1B89 Time : 0.0 sec. user=mdettweiler [2013-07-06 02:19:24] 629*2^1247448-1 is not prime. Res64: 9A9DEFAB6A78B4C4 Time : 0.0 sec. user=mdettweiler [2013-07-06 02:36:26] 663*2^1247448-1 is not prime. Res64: EE94F20019759476 Time : 0.0 sec. user=mdettweiler [2013-07-06 02:36:27] 879*2^1247448-1 is not prime. Res64: 94566C31447EBEEA Time : 0.0 sec. user=mdettweiler [2013-07-06 02:53:56] 609*2^1247449-1 is not prime. Res64: AB5B6009E9D70F37 Time : 0.0 sec. user=mdettweiler [2013-07-06 02:53:57] 637*2^1247449-1 is not prime. Res64: 509321BFBEABE96D Time : 0.0 sec. user=mdettweiler [2013-07-06 03:11:02] 667*2^1247449-1 is not prime. Res64: CDFE313EC7880F4D Time : 0.0 sec. user=mdettweiler [2013-07-06 03:11:03] 699*2^1247449-1 is not prime. Res64: 7CCF052B84730F8B Time : 0.0 sec. user=mdettweiler [2013-07-06 03:28:08] 747*2^1247449-1 is not prime. Res64: B5BC8866064C2F82 Time : 0.0 sec. user=mdettweiler [2013-07-06 03:28:08] 775*2^1247449-1 is not prime. Res64: 485D660ED8827692 Time : 0.0 sec. user=mdettweiler [2013-07-06 03:45:57] 829*2^1247449-1 is not prime. Res64: 3DD9C1DF2ACCFFC4 Time : 0.0 sec. user=mdettweiler [2013-07-06 03:45:58] 979*2^1247449-1 is not prime. Res64: 009CC2D866FFCA90 Time : 0.0 sec. user=mdettweiler [2013-07-06 04:03:02] 603*2^1247450-1 is not prime. Res64: 2752867BFDAA44C8 Time : 0.0 sec. user=mdettweiler [2013-07-06 04:03:03] 657*2^1247450-1 is not prime. Res64: CAFEC75015679CDD Time : 0.0 sec. user=mdettweiler [2013-07-06 04:20:33] 797*2^1247450-1 is not prime. Res64: 4F803A8F98F232A3 Time : 0.0 sec. user=mdettweiler [2013-07-06 04:20:34] 831*2^1247450-1 is not prime. Res64: DD2D8CC9878ADF8E Time : 0.0 sec. user=mdettweiler [2013-07-06 04:37:36] 851*2^1247450-1 is not prime. Res64: 9F6337894F04E34C Time : 0.0 sec. user=mdettweiler [2013-07-06 04:37:36] 857*2^1247450-1 is not prime. Res64: 3549AD1BD199CA2B Time : 0.0 sec. user=mdettweiler [2013-07-06 04:54:40] 875*2^1247450-1 is not prime. Res64: B5D45D2B8B353417 Time : 0.0 sec. user=mdettweiler [2013-07-06 04:54:41] 915*2^1247450-1 is not prime. Res64: 2C2822185FD18089 Time : 0.0 sec. user=mdettweiler [2013-07-06 05:11:43] 601*2^1247451-1 is not prime. Res64: 5AC8D2B4C157070A Time : 0.0 sec. user=mdettweiler [2013-07-06 05:11:43] 625*2^1247451-1 is not prime. Res64: 27B8C01DD3C01073 Time : 0.0 sec. user=mdettweiler [2013-07-06 05:28:48] 643*2^1247451-1 is not prime. Res64: B0B711BA89219EF2 Time : 0.0 sec. user=mdettweiler [2013-07-06 05:28:49] 669*2^1247451-1 is not prime. Res64: 20C6C4091F37E181 Time : 0.0 sec. user=mdettweiler [2013-07-06 05:45:50] 609*2^1247452-1 is not prime. Res64: 57CC1101FDF489F3 Time : 0.0 sec. user=mdettweiler [2013-07-06 05:45:50] 719*2^1247452-1 is not prime. Res64: 539BDF5E7362716B Time : 0.0 sec. user=mdettweiler [2013-07-06 06:02:53] 749*2^1247452-1 is not prime. Res64: 50BAFC659CD44DA2 Time : 0.0 sec. user=mdettweiler [2013-07-06 06:02:55] 777*2^1247452-1 is not prime. Res64: 32355E6C92BD72E0 Time : 0.0 sec. user=mdettweiler [2013-07-06 06:20:15] 855*2^1247452-1 is not prime. Res64: 01C0FE522BADD8A2 Time : 0.0 sec. user=mdettweiler [2013-07-06 06:20:16] 875*2^1247452-1 is not prime. Res64: 1C75D7914784ADDD Time : 0.0 sec. user=mdettweiler [2013-07-06 06:37:18] 885*2^1247452-1 is not prime. Res64: AC0ED88FA9FBA857 Time : 0.0 sec. user=mdettweiler [2013-07-06 06:37:18] 933*2^1247452-1 is not prime. Res64: EEE4E687FE5A189A Time : 0.0 sec. user=mdettweiler [2013-07-06 06:55:06] 965*2^1247452-1 is not prime. Res64: 8B6786490FC63B46 Time : 0.0 sec. user=mdettweiler [2013-07-06 06:55:07] 699*2^1247453-1 is not prime. Res64: FA1449D840AC7285 Time : 0.0 sec. user=mdettweiler [2013-07-06 07:12:09] 769*2^1247453-1 is not prime. Res64: 24983D3493BEEED8 Time : 0.0 sec. user=mdettweiler [2013-07-06 07:12:09] 829*2^1247453-1 is not prime. Res64: 67A072740D0B2F50 Time : 0.0 sec. user=mdettweiler [2013-07-06 07:29:11] 615*2^1247454-1 is not prime. Res64: 5A976AE842BD3B26 Time : 0.0 sec. user=mdettweiler [2013-07-06 07:29:11] 825*2^1247454-1 is not prime. Res64: AB9558B45D6F23CC Time : 0.0 sec. user=mdettweiler [2013-07-06 07:46:12] 833*2^1247454-1 is not prime. Res64: 9B41D1BD96F83954 Time : 0.0 sec. user=mdettweiler [2013-07-06 07:46:13] 603*2^1247455-1 is not prime. Res64: 8358005FF18A1395 Time : 0.0 sec. user=mdettweiler [2013-07-06 08:03:15] 619*2^1247455-1 is not prime. Res64: FB6125D7BF719259 Time : 0.0 sec. user=mdettweiler [2013-07-06 08:03:16] 705*2^1247455-1 is not prime. Res64: 8A59B12641FB402E Time : 0.0 sec. user=mdettweiler [2013-07-06 08:20:32] 765*2^1247455-1 is not prime. Res64: 4B7EDCE8EE060A7F Time : 0.0 sec. user=mdettweiler [2013-07-06 08:20:33] 861*2^1247455-1 is not prime. Res64: C96CBF4A23021CF3 Time : 0.0 sec. user=mdettweiler [2013-07-06 08:37:35] 883*2^1247455-1 is not prime. Res64: 2262AE9FEC4C485E Time : 0.0 sec. user=mdettweiler [2013-07-06 08:37:35] 933*2^1247455-1 is not prime. Res64: 64DA5BD77261730A Time : 0.0 sec. user=mdettweiler [2013-07-06 08:54:37] 951*2^1247455-1 is not prime. Res64: 8CF9A48A677EAFFF Time : 0.0 sec. user=mdettweiler [2013-07-06 08:54:38] 645*2^1247456-1 is not prime. Res64: B237BBF82B11806F Time : 0.0 sec. user=mdettweiler [2013-07-06 09:11:39] 657*2^1247456-1 is not prime. Res64: 234692E803FD4D88 Time : 0.0 sec. user=mdettweiler [2013-07-06 09:11:39] 873*2^1247456-1 is not prime. Res64: D18C006CBCCC3BC2 Time : 0.0 sec. user=mdettweiler [2013-07-06 09:29:28] 999*2^1247456-1 is not prime. Res64: 155B4A7CDD7EE162 Time : 0.0 sec. user=mdettweiler [2013-07-06 09:29:29] 637*2^1247457-1 is not prime. Res64: 45DEB4DEB6709939 Time : 0.0 sec. user=mdettweiler [2013-07-06 09:46:29] 805*2^1247457-1 is not prime. Res64: 23258041B206AFC6 Time : 0.0 sec. user=mdettweiler [2013-07-06 09:46:29] 817*2^1247457-1 is not prime. Res64: 75FBD38848D5343F Time : 0.0 sec. user=mdettweiler [2013-07-06 10:03:30] 871*2^1247457-1 is not prime. Res64: D3F91B9239B3B5E6 Time : 0.0 sec. user=mdettweiler [2013-07-06 10:03:31] 889*2^1247457-1 is not prime. Res64: AA5AFFAA94251419 Time : 0.0 sec. user=mdettweiler [2013-07-06 10:20:42] 901*2^1247457-1 is not prime. Res64: 4C934364939647C1 Time : 0.0 sec. user=mdettweiler [2013-07-06 10:20:43] 651*2^1247458-1 is not prime. Res64: A0096AA4F1911F1A Time : 0.0 sec. user=mdettweiler [2013-07-06 10:37:44] 657*2^1247458-1 is not prime. Res64: 3A18145EC3F6DCE4 Time : 0.0 sec. user=mdettweiler [2013-07-06 10:37:45] 765*2^1247458-1 is not prime. Res64: AB4157F1E19E35CF Time : 0.0 sec. user=mdettweiler [2013-07-06 10:54:46] 773*2^1247458-1 is not prime. Res64: C8393E60CE310330 Time : 0.0 sec. user=mdettweiler [2013-07-06 10:54:46] 845*2^1247458-1 is not prime. Res64: 3C25EB911FC9C297 Time : 0.0 sec. user=mdettweiler [2013-07-06 11:11:47] 855*2^1247458-1 is not prime. Res64: 29BE044F15956819 Time : 0.0 sec. user=mdettweiler [2013-07-06 11:11:48] 867*2^1247458-1 is not prime. Res64: 26183B28237413F9 Time : 0.0 sec. user=mdettweiler [2013-07-06 11:29:38] 933*2^1247458-1 is not prime. Res64: 21101A1789742ADC Time : 0.0 sec. user=mdettweiler [2013-07-06 11:29:38] 971*2^1247458-1 is not prime. Res64: EFD3D4BD7AD6453E Time : 0.0 sec. user=mdettweiler [2013-07-06 11:47:27] 1001*2^1247458-1 is not prime. Res64: 599933029DC826E0 Time : 0.0 sec. user=mdettweiler [2013-07-06 11:47:28] 603*2^1247459-1 is not prime. Res64: E7994696D0A3C318 Time : 0.0 sec. user=mdettweiler [2013-07-06 12:04:29] 621*2^1247459-1 is not prime. Res64: BED4EE04D9DEED0D Time : 0.0 sec. user=mdettweiler [2013-07-06 12:04:30] 669*2^1247459-1 is not prime. Res64: D728BFFBA5E41500 Time : 0.0 sec. user=mdettweiler [2013-07-06 12:21:36] 675*2^1247459-1 is not prime. Res64: 0EB35240D7B68719 Time : 0.0 sec. user=mdettweiler [2013-07-06 12:21:38] 885*2^1247459-1 is not prime. Res64: 30FE8558025D31A9 Time : 0.0 sec. user=mdettweiler [2013-07-06 12:38:39] 627*2^1247460-1 is not prime. Res64: F67C31FBCCFC9216 Time : 0.0 sec. user=mdettweiler [2013-07-06 12:38:40] 737*2^1247460-1 is not prime. Res64: 145DF7F46CC7280C Time : 0.0 sec. user=mdettweiler [2013-07-06 12:55:42] 765*2^1247460-1 is not prime. Res64: 1A184FD28E266D24 Time : 0.0 sec. user=mdettweiler [2013-07-06 12:55:42] 893*2^1247460-1 is not prime. Res64: 6F8F547F792109D8 Time : 0.0 sec. user=mdettweiler [2013-07-06 13:13:31] 965*2^1247460-1 is not prime. Res64: 456C497BE4DD3064 Time : 0.0 sec. user=mdettweiler [2013-07-06 13:13:32] 717*2^1247461-1 is not prime. Res64: 64D43042E696930D Time : 0.0 sec. user=mdettweiler [2013-07-06 13:30:33] 799*2^1247461-1 is not prime. Res64: C87A5F8A83D84FDB Time : 0.0 sec. user=mdettweiler [2013-07-06 13:30:33] 937*2^1247461-1 is not prime. Res64: 9562A044938EA26E Time : 0.0 sec. user=mdettweiler [2013-07-06 13:47:34] 603*2^1247462-1 is not prime. Res64: 9E7122D9AD9F085A Time : 0.0 sec. user=mdettweiler [2013-07-06 13:47:35] 941*2^1247462-1 is not prime. Res64: FF55F95FA0022108 Time : 0.0 sec. user=mdettweiler [2013-07-06 14:06:12] 963*2^1247462-1 is not prime. Res64: 7A5724662F790BA0 Time : 0.0 sec. user=mdettweiler [2013-07-06 14:06:13] 965*2^1247462-1 is not prime. Res64: 6AC21423570BCBB2 Time : 0.0 sec. user=mdettweiler [2013-07-06 14:23:19] 619*2^1247463-1 is not prime. Res64: A1DFE0A28239329C Time : 0.0 sec. user=mdettweiler [2013-07-06 14:23:20] 739*2^1247463-1 is not prime. Res64: 7A0ED68B2F26733C Time : 0.0 sec. user=mdettweiler [2013-07-06 14:40:21] 861*2^1247463-1 is not prime. Res64: 744DC975A0D4850A Time : 0.0 sec. user=mdettweiler [2013-07-06 14:40:22] 885*2^1247463-1 is not prime. Res64: FB65418D0AFF5429 Time : 0.0 sec. user=mdettweiler [2013-07-06 14:58:11] 973*2^1247463-1 is not prime. Res64: B6DF9E5B843A2EA5 Time : 0.0 sec. user=mdettweiler [2013-07-06 14:58:12] 615*2^1247464-1 is not prime. Res64: F77BF72F88E81D04 Time : 0.0 sec. user=mdettweiler [2013-07-06 15:15:13] 629*2^1247464-1 is not prime. Res64: B5291EF0AC0336A6 Time : 0.0 sec. user=mdettweiler [2013-07-06 15:15:14] 705*2^1247464-1 is not prime. Res64: B79835E64BFABE60 Time : 0.0 sec. user=mdettweiler [2013-07-06 15:32:16] 723*2^1247464-1 is not prime. Res64: 970CC1B4A9C59943 Time : 0.0 sec. user=mdettweiler [2013-07-06 15:32:17] 759*2^1247464-1 is not prime. Res64: F76D832E2A7FF4E9 Time : 0.0 sec. user=mdettweiler [2013-07-06 15:49:18] 803*2^1247464-1 is not prime. Res64: 55AFD95FF8F7D8E1 Time : 0.0 sec. user=mdettweiler [2013-07-06 15:49:19] 863*2^1247464-1 is not prime. Res64: EB51F067C43BBCD1 Time : 0.0 sec. user=mdettweiler [2013-07-06 16:06:21] 903*2^1247464-1 is not prime. Res64: 3E46D8FF0773FD21 Time : 0.0 sec. user=mdettweiler [2013-07-06 16:06:22] 927*2^1247464-1 is not prime. Res64: 4C8921C296C897DB Time : 0.0 sec. user=mdettweiler [2013-07-06 16:24:17] 975*2^1247464-1 is not prime. Res64: DA51D9CC55E3E81A Time : 0.0 sec. user=mdettweiler [2013-07-06 16:24:17] 657*2^1247465-1 is not prime. Res64: 87A22BC59652D9C1 Time : 0.0 sec. user=mdettweiler [2013-07-06 16:41:18] 787*2^1247465-1 is not prime. Res64: AC9521AFFBD06AEE Time : 0.0 sec. user=mdettweiler [2013-07-06 16:41:19] 789*2^1247465-1 is not prime. Res64: DC83D58315D996BD Time : 0.0 sec. user=mdettweiler [2013-07-06 16:59:08] 951*2^1247465-1 is not prime. Res64: A701518C1C5C8AFA Time : 0.0 sec. user=mdettweiler [2013-07-06 16:59:09] 957*2^1247465-1 is not prime. Res64: 01033D0DDD3AB41D Time : 0.0 sec. user=mdettweiler [2013-07-06 17:16:10] 635*2^1247466-1 is not prime. Res64: 93D504BF889C8C0A Time : 0.0 sec. user=mdettweiler [2013-07-06 17:16:10] 851*2^1247466-1 is not prime. Res64: AD0F7D170D5E46EF Time : 0.0 sec. user=mdettweiler [2013-07-06 17:33:13] 733*2^1247467-1 is not prime. Res64: 4FD09C5B8A766530 Time : 0.0 sec. user=mdettweiler [2013-07-06 17:33:14] 765*2^1247467-1 is not prime. Res64: 6156AD74033FCBBF Time : 0.0 sec. user=mdettweiler [2013-07-06 17:50:16] 801*2^1247467-1 is not prime. Res64: 55E1CA465065A27A Time : 0.0 sec. user=mdettweiler [2013-07-06 17:50:17] 859*2^1247467-1 is not prime. Res64: 8527E9E975301330 Time : 0.0 sec. user=mdettweiler [2013-07-06 18:07:19] 889*2^1247467-1 is not prime. Res64: D6C515BAD96EF02D Time : 0.0 sec. user=mdettweiler [2013-07-06 18:07:19] 901*2^1247467-1 is not prime. Res64: 8C11D99CCC7305DF Time : 0.0 sec. user=mdettweiler [2013-07-06 18:25:13] 945*2^1247467-1 is not prime. Res64: 3480AB94E9EF8642 Time : 0.0 sec. user=mdettweiler [2013-07-06 18:25:14] 961*2^1247467-1 is not prime. Res64: CCA8891F6F160C00 Time : 0.0 sec. user=mdettweiler [2013-07-06 18:43:03] 985*2^1247467-1 is not prime. Res64: 3181C1BDE10E44C8 Time : 0.0 sec. user=mdettweiler [2013-07-06 18:43:04] 665*2^1247468-1 is not prime. Res64: 72FE37BB38752910 Time : 0.0 sec. user=mdettweiler [2013-07-06 19:00:06] 707*2^1247468-1 is not prime. Res64: 122AB7490E743A4C Time : 0.0 sec. user=mdettweiler [2013-07-06 19:00:07] 749*2^1247468-1 is not prime. Res64: DAD181BBC9BF0D53 Time : 0.0 sec. user=mdettweiler [2013-07-06 19:17:10] 797*2^1247468-1 is not prime. Res64: 7CA59440B9CC86E6 Time : 0.0 sec. user=mdettweiler [2013-07-06 19:17:10] 839*2^1247468-1 is not prime. Res64: 5598AA0ACEC675DA Time : 0.0 sec. user=mdettweiler [2013-07-06 19:34:13] 855*2^1247468-1 is not prime. Res64: 847CD5A714633CAE Time : 0.0 sec. user=mdettweiler [2013-07-06 19:34:14] 885*2^1247468-1 is not prime. Res64: 1810CC8E0C7DC339 Time : 0.0 sec. user=mdettweiler [2013-07-06 19:51:16] 691*2^1247469-1 is not prime. Res64: 7900EA99243DBF40 Time : 0.0 sec. user=mdettweiler [2013-07-06 19:51:16] 867*2^1247469-1 is not prime. Res64: E2FD01C9ECDE22A6 Time : 0.0 sec. user=mdettweiler [2013-07-06 20:08:18] 671*2^1247470-1 is not prime. Res64: 3E10D1184B38E7F6 Time : 0.0 sec. user=mdettweiler [2013-07-06 20:08:19] 833*2^1247470-1 is not prime. Res64: E0DD3A11B97A09DD Time : 0.0 sec. user=mdettweiler [2013-07-06 20:25:25] 843*2^1247470-1 is not prime. Res64: 536812BF08A7B750 Time : 0.0 sec. user=mdettweiler [2013-07-06 20:25:25] 857*2^1247470-1 is not prime. Res64: 8CE84F178240D9E4 Time : 0.0 sec. user=mdettweiler [2013-07-06 20:43:36] 911*2^1247470-1 is not prime. Res64: DD8E377EC43E4588 Time : 0.0 sec. user=mdettweiler [2013-07-06 20:43:36] 975*2^1247470-1 is not prime. Res64: D8DF35CBB3E3F4FD Time : 0.0 sec. user=mdettweiler [2013-07-06 21:02:33] 1001*2^1247470-1 is not prime. Res64: 78FD04ED0E7CA1AB Time : 0.0 sec. user=mdettweiler [2013-07-06 21:02:34] 603*2^1247471-1 is not prime. Res64: 39F1232080653CD2 Time : 0.0 sec. user=mdettweiler [2013-07-06 21:21:08] 673*2^1247471-1 is not prime. Res64: 1736D288F4CE1439 Time : 0.0 sec. user=mdettweiler [2013-07-06 21:21:08] 679*2^1247471-1 is not prime. Res64: 9CF0AF523A3DE764 Time : 0.0 sec. user=mdettweiler [2013-07-06 21:39:28] 879*2^1247471-1 is not prime. Res64: 178179C75CD93384 Time : 0.0 sec. user=mdettweiler [2013-07-06 21:39:29] 885*2^1247471-1 is not prime. Res64: 5495E4F7809AC5A3 Time : 0.0 sec. user=mdettweiler [2013-07-06 21:57:13] 909*2^1247471-1 is not prime. Res64: B4185058E260DB5C Time : 0.0 sec. user=mdettweiler [2013-07-06 21:57:13] 945*2^1247471-1 is not prime. Res64: 14E61E0492474667 Time : 0.0 sec. user=mdettweiler [2013-07-06 22:15:18] 955*2^1247471-1 is not prime. Res64: BF4FB611CD2EC6B7 Time : 0.0 sec. user=mdettweiler [2013-07-06 22:15:19] 633*2^1247472-1 is not prime. Res64: F7C4A67FBD557184 Time : 0.0 sec. user=mdettweiler [2013-07-06 22:33:55] 725*2^1247472-1 is not prime. Res64: F7F1A5A6630A222A Time : 0.0 sec. user=mdettweiler [2013-07-06 22:33:56] 857*2^1247472-1 is not prime. Res64: E1BA353917622E4B Time : 0.0 sec. user=mdettweiler [2013-07-06 22:51:08] 879*2^1247472-1 is not prime. Res64: B760808BF2444825 Time : 0.0 sec. user=mdettweiler [2013-07-06 22:51:08] 705*2^1247473-1 is not prime. Res64: 3F8AC6135CFE008F Time : 0.0 sec. user=mdettweiler [2013-07-06 23:08:11] 727*2^1247473-1 is not prime. Res64: D194826FFD7E946C Time : 0.0 sec. user=mdettweiler [2013-07-06 23:08:12] 745*2^1247473-1 is not prime. Res64: 44A3236F7B55E2FA Time : 0.0 sec. user=mdettweiler [2013-07-06 23:25:19] 849*2^1247473-1 is not prime. Res64: E192A679314DC3D7 Time : 0.0 sec. user=mdettweiler [2013-07-06 23:25:20] 889*2^1247473-1 is not prime. Res64: C5F9A0FB8A0F7DB2 Time : 0.0 sec. user=mdettweiler [2013-07-06 23:42:32] 915*2^1247473-1 is not prime. Res64: 01F946879C652520 Time : 0.0 sec. user=mdettweiler [2013-07-06 23:42:33] 925*2^1247473-1 is not prime. Res64: 8B255FB627ACD895 Time : 0.0 sec. user=mdettweiler [2013-07-07 00:00:23] 951*2^1247473-1 is not prime. Res64: 051BC0E1FC6A4810 Time : 0.0 sec. user=mdettweiler [2013-07-07 00:00:24] 967*2^1247473-1 is not prime. Res64: 3FAE5736236FA129 Time : 0.0 sec.