user=mdettweiler [2013-01-17 00:17:12] 615*2^1239403-1 is not prime. Res64: ABFEC697F323B48B Time : 0.0 sec. user=mdettweiler [2013-01-17 00:17:13] 631*2^1239403-1 is not prime. Res64: 06DBA1F067C2C564 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:17:13] 693*2^1239403-1 is not prime. Res64: AC1B4D5328D5C655 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:17:13] 751*2^1239403-1 is not prime. Res64: FDEE3B5CDCD9AF81 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:34:46] 765*2^1239403-1 is not prime. Res64: C2BB217F9D118D72 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:34:46] 889*2^1239403-1 is not prime. Res64: 235B91414CA26C06 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:34:47] 707*2^1239404-1 is not prime. Res64: F261A6003EB0FDE1 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:34:48] 743*2^1239404-1 is not prime. Res64: 81698D1B91C5F260 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:52:12] 767*2^1239404-1 is not prime. Res64: AC75A7FC66818AF7 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:52:12] 995*2^1239404-1 is not prime. Res64: 339B6BC058611181 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:52:16] 699*2^1239405-1 is not prime. Res64: EE0680A8AD752113 Time : 0.0 sec. user=mdettweiler [2013-01-17 00:52:17] 717*2^1239405-1 is not prime. Res64: 44E0A331435BB7C5 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:09:38] 817*2^1239405-1 is not prime. Res64: EDA82EBCFE8A7B1D Time : 0.0 sec. user=mdettweiler [2013-01-17 01:09:39] 831*2^1239405-1 is not prime. Res64: 194EB958AEC75389 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:09:42] 921*2^1239405-1 is not prime. Res64: 814DC88A53AD029B Time : 0.0 sec. user=mdettweiler [2013-01-17 01:09:43] 951*2^1239405-1 is not prime. Res64: B3862B62FB99F166 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:27:07] 979*2^1239405-1 is not prime. Res64: 6D7D2C71F01D03DB Time : 0.0 sec. user=mdettweiler [2013-01-17 01:27:08] 999*2^1239405-1 is not prime. Res64: 3C24BC7AB51A63C8 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:27:10] 743*2^1239406-1 is not prime. Res64: AF1768D6C9D374F1 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:27:11] 843*2^1239406-1 is not prime. Res64: 79A67F66BA1F6137 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:44:57] 917*2^1239406-1 is not prime. Res64: 06037B089F7505E0 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:44:57] 843*2^1239407-1 is not prime. Res64: E5665217E1C17AEF Time : 0.0 sec. user=mdettweiler [2013-01-17 01:44:57] 871*2^1239407-1 is not prime. Res64: 23F9F9E135AFDA32 Time : 0.0 sec. user=mdettweiler [2013-01-17 01:44:58] 915*2^1239407-1 is not prime. Res64: 63BACDF36DD5F967 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:02:24] 985*2^1239407-1 is not prime. Res64: 1DC9AD0464F2C64A Time : 0.0 sec. user=mdettweiler [2013-01-17 02:02:24] 669*2^1239408-1 is not prime. Res64: 4AE5FC99F6A56628 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:02:24] 663*2^1239408-1 is not prime. Res64: 6B7F604C399F0F6E Time : 0.0 sec. user=mdettweiler [2013-01-17 02:02:25] 705*2^1239408-1 is not prime. Res64: 91A57C497FCB71EA Time : 0.0 sec. user=mdettweiler [2013-01-17 02:19:58] 725*2^1239408-1 is not prime. Res64: CD350696D570828B Time : 0.0 sec. user=mdettweiler [2013-01-17 02:19:59] 825*2^1239408-1 is not prime. Res64: FDC4500C6912FD73 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:19:59] 773*2^1239408-1 is not prime. Res64: 63CBFF6906FACF75 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:19:59] 899*2^1239408-1 is not prime. Res64: 93F81362D6ED4201 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:37:29] 905*2^1239408-1 is not prime. Res64: A49D9AE34D8612BA Time : 0.0 sec. user=mdettweiler [2013-01-17 02:37:30] 933*2^1239408-1 is not prime. Res64: 5EE434DE4376D13C Time : 0.0 sec. user=mdettweiler [2013-01-17 02:37:30] 927*2^1239408-1 is not prime. Res64: AF0C7AA329E604E8 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:37:31] 729*2^1239409-1 is not prime. Res64: 627D98253932511D Time : 0.0 sec. user=mdettweiler [2013-01-17 02:55:05] 877*2^1239409-1 is not prime. Res64: D2F79AA417B554FE Time : 0.0 sec. user=mdettweiler [2013-01-17 02:55:06] 895*2^1239409-1 is not prime. Res64: FA62D59247B7B323 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:55:10] 635*2^1239410-1 is not prime. Res64: 2B5A4DC6AF4927B7 Time : 0.0 sec. user=mdettweiler [2013-01-17 02:55:11] 735*2^1239410-1 is not prime. Res64: BBA5A8BFC96BBE05 Time : 0.0 sec. user=mdettweiler [2013-01-17 03:15:42] 923*2^1239410-1 is not prime. Res64: 736BA707DD95B64C Time : 0.0 sec. user=mdettweiler [2013-01-17 03:15:42] 857*2^1239410-1 is not prime. Res64: 3F7C35801085A33A Time : 0.0 sec. user=mdettweiler [2013-01-17 03:39:11] 875*2^1239410-1 is not prime. Res64: 9B850B8CB89ABD1A Time : 0.0 sec. user=mdettweiler [2013-01-17 03:40:20] 935*2^1239410-1 is not prime. Res64: 1A4C5B57953008BF Time : 0.0 sec. user=mdettweiler [2013-01-17 03:56:52] 709*2^1239411-1 is not prime. Res64: 2774DCE130C9A918 Time : 0.0 sec. user=mdettweiler [2013-01-17 03:56:52] 711*2^1239411-1 is not prime. Res64: 1B490906E08304D8 Time : 0.0 sec. user=mdettweiler [2013-01-17 03:57:48] 789*2^1239411-1 is not prime. Res64: 17A22A1B058DE87B Time : 0.0 sec. user=mdettweiler [2013-01-17 03:57:48] 795*2^1239411-1 is not prime. Res64: 9498DF9EB8FE2782 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:14:18] 885*2^1239411-1 is not prime. Res64: 97914CA10E0D22C4 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:14:18] 945*2^1239411-1 is not prime. Res64: EA569A1CFA2A7C0B Time : 0.0 sec. user=mdettweiler [2013-01-17 04:15:14] 699*2^1239412-1 is not prime. Res64: 5D1FA87DAB843FB9 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:15:15] 779*2^1239412-1 is not prime. Res64: F60B19E91BBCE1FC Time : 0.0 sec. user=mdettweiler [2013-01-17 04:31:47] 929*2^1239412-1 is not prime. Res64: DBD0867D36E589E3 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:31:47] 627*2^1239413-1 is not prime. Res64: 642E4958E8ECA16D Time : 0.0 sec. user=mdettweiler [2013-01-17 04:32:42] 691*2^1239413-1 is not prime. Res64: 1D3A94CD6D48EBAD Time : 0.0 sec. user=mdettweiler [2013-01-17 04:32:43] 769*2^1239413-1 is not prime. Res64: 7EC26BCA982FBFC5 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:49:19] 829*2^1239413-1 is not prime. Res64: 980B6ABDA99E6345 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:49:19] 831*2^1239413-1 is not prime. Res64: AC29EB8597F50865 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:50:15] 861*2^1239413-1 is not prime. Res64: 77B4456D612BA018 Time : 0.0 sec. user=mdettweiler [2013-01-17 04:50:16] 871*2^1239413-1 is not prime. Res64: 4205FE49E5A179F2 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:06:45] 985*2^1239413-1 is not prime. Res64: 67C02FE47ADBB00D Time : 0.0 sec. user=mdettweiler [2013-01-17 05:06:46] 635*2^1239414-1 is not prime. Res64: FAA0E046746ABF31 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:07:43] 681*2^1239414-1 is not prime. Res64: E490A7D44BEED483 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:07:43] 807*2^1239414-1 is not prime. Res64: DC81505891890EFC Time : 0.0 sec. user=mdettweiler [2013-01-17 05:24:19] 903*2^1239414-1 is not prime. Res64: 1D714E8CF3391D99 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:24:20] 971*2^1239414-1 is not prime. Res64: C0464E4CA1857C57 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:25:12] 709*2^1239415-1 is not prime. Res64: AB03093A1A07FA8C Time : 0.0 sec. user=mdettweiler [2013-01-17 05:25:13] 853*2^1239415-1 is not prime. Res64: 324EB6938623FD52 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:41:47] 891*2^1239415-1 is not prime. Res64: 90AAF112385E5378 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:41:48] 913*2^1239415-1 is not prime. Res64: 0FF18AAE03E416DF Time : 0.0 sec. user=mdettweiler [2013-01-17 05:42:42] 925*2^1239415-1 is not prime. Res64: B93997D104529F7B Time : 0.0 sec. user=mdettweiler [2013-01-17 05:42:43] 973*2^1239415-1 is not prime. Res64: DD998525B0F2F60D Time : 0.0 sec. user=mdettweiler [2013-01-17 05:59:14] 633*2^1239416-1 is not prime. Res64: 2BCD9186046422D2 Time : 0.0 sec. user=mdettweiler [2013-01-17 05:59:14] 635*2^1239416-1 is not prime. Res64: D354916DBE70C746 Time : 0.0 sec. user=mdettweiler [2013-01-17 06:00:09] 657*2^1239416-1 is not prime. Res64: 98C2AD64F4D71C9B Time : 0.0 sec. user=mdettweiler [2013-01-17 06:00:10] 837*2^1239416-1 is not prime. Res64: D1B128CA0D8F73DD Time : 0.0 sec. user=mdettweiler [2013-01-17 06:16:42] 875*2^1239416-1 is not prime. Res64: 3F76300A3EBFF6F5 Time : 0.0 sec. user=mdettweiler [2013-01-17 06:16:43] 963*2^1239416-1 is not prime. Res64: 1D2346EBB914278D Time : 0.0 sec. user=mdettweiler [2013-01-17 06:17:38] 661*2^1239417-1 is not prime. Res64: A6C86C48379282AC Time : 0.0 sec. user=mdettweiler [2013-01-17 06:17:38] 681*2^1239417-1 is not prime. Res64: FAA1924EED44381C Time : 0.0 sec. user=mdettweiler [2013-01-17 06:34:12] 691*2^1239417-1 is not prime. Res64: FD4C2E560DADD11E Time : 0.0 sec. user=mdettweiler [2013-01-17 06:34:12] 717*2^1239417-1 is not prime. Res64: B68A0E5A152879E2 Time : 0.0 sec. user=mdettweiler [2013-01-17 06:35:05] 741*2^1239417-1 is not prime. Res64: 11629ADB35ECA245 Time : 0.0 sec. user=mdettweiler [2013-01-17 06:35:06] 837*2^1239417-1 is not prime. Res64: 094CECA2DDF14599 Time : 0.0 sec. user=mdettweiler [2013-01-17 06:51:38] 865*2^1239417-1 is not prime. Res64: E60898D4042A9304 Time : 0.0 sec. user=mdettweiler [2013-01-17 06:51:39] 895*2^1239417-1 is not prime. Res64: 622230E3F0317A95 Time : 0.0 sec. user=mdettweiler [2013-01-17 06:52:35] 901*2^1239417-1 is not prime. Res64: CA132B40106A91FE Time : 0.0 sec. user=mdettweiler [2013-01-17 06:52:35] 985*2^1239417-1 is not prime. Res64: BD4E8B3C7C254C6E Time : 0.0 sec. user=mdettweiler [2013-01-17 07:09:05] 645*2^1239418-1 is not prime. Res64: DB7A44721FAF3451 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:09:07] 651*2^1239418-1 is not prime. Res64: D1B5EB3417FF9E0D Time : 0.0 sec. user=mdettweiler [2013-01-17 07:10:01] 713*2^1239418-1 is not prime. Res64: 318E23801F0EB627 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:10:01] 755*2^1239418-1 is not prime. Res64: D6CAB91640E08010 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:26:37] 855*2^1239418-1 is not prime. Res64: D99CF865D02F6F65 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:26:38] 923*2^1239418-1 is not prime. Res64: 91BB9A902234F599 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:27:28] 981*2^1239418-1 is not prime. Res64: 782785E895268BD2 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:27:28] 1001*2^1239418-1 is not prime. Res64: CCA1C66C716D6E64 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:44:04] 655*2^1239419-1 is not prime. Res64: 7A50D900EB26CA8C Time : 0.0 sec. user=mdettweiler [2013-01-17 07:44:05] 789*2^1239419-1 is not prime. Res64: 595FB6E201905A56 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:44:55] 855*2^1239419-1 is not prime. Res64: 659BFC7397D64974 Time : 0.0 sec. user=mdettweiler [2013-01-17 07:44:56] 909*2^1239419-1 is not prime. Res64: 46F44CCCE0EECC5A Time : 0.0 sec. user=mdettweiler [2013-01-17 08:01:32] 647*2^1239420-1 is not prime. Res64: 8EACF3CB7E0918F6 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:01:34] 719*2^1239420-1 is not prime. Res64: B64F91F668A321D9 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:02:22] 803*2^1239420-1 is not prime. Res64: 07059FDC8A15383A Time : 0.0 sec. user=mdettweiler [2013-01-17 08:02:23] 875*2^1239420-1 is not prime. Res64: 80E8A8477B0626B4 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:19:15] 899*2^1239420-1 is not prime. Res64: 50BBCDB502C8B985 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:19:15] 983*2^1239420-1 is not prime. Res64: EB0310808EECEB38 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:19:50] 999*2^1239420-1 is not prime. Res64: 1E917C52249771CE Time : 0.0 sec. user=mdettweiler [2013-01-17 08:19:51] 615*2^1239421-1 is not prime. Res64: 12AF5959CF5465DF Time : 0.0 sec. user=mdettweiler [2013-01-17 08:36:42] 771*2^1239421-1 is not prime. Res64: 25AA4BEEE1593219 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:36:43] 945*2^1239421-1 is not prime. Res64: 47BCDA00A51BF5A1 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:37:18] 979*2^1239421-1 is not prime. Res64: 8952E404681B1A25 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:37:18] 617*2^1239422-1 is not prime. Res64: EABAA217AA9C9188 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:54:09] 651*2^1239422-1 is not prime. Res64: 1A4712B8FC0C7C1D Time : 0.0 sec. user=mdettweiler [2013-01-17 08:54:09] 665*2^1239422-1 is not prime. Res64: 8608F7C03E821828 Time : 0.0 sec. user=mdettweiler [2013-01-17 08:54:44] 753*2^1239422-1 is not prime. Res64: 71D6FC5E9ABA0FEC Time : 0.0 sec. user=mdettweiler [2013-01-17 08:54:44] 801*2^1239422-1 is not prime. Res64: FC79223B0B8409F6 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:11:36] 815*2^1239422-1 is not prime. Res64: E798E7629552F118 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:11:42] 873*2^1239422-1 is not prime. Res64: 265BCCDCAA336454 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:12:16] 783*2^1239423-1 is not prime. Res64: 747A8292900E3ED5 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:12:19] 789*2^1239423-1 is not prime. Res64: DB7149258171ED4C Time : 0.0 sec. user=mdettweiler [2013-01-17 09:29:39] 945*2^1239423-1 is not prime. Res64: A902E637CB240367 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:29:40] 717*2^1239424-1 is not prime. Res64: 949C3CB55AA66335 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:29:50] 947*2^1239424-1 is not prime. Res64: AEEBC7F93E508A1A Time : 0.0 sec. user=mdettweiler [2013-01-17 09:29:51] 969*2^1239424-1 is not prime. Res64: 9DCB3A32AA0CC1A2 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:47:07] 983*2^1239424-1 is not prime. Res64: D312C32FA0C57CAE Time : 0.0 sec. user=mdettweiler [2013-01-17 09:47:07] 651*2^1239425-1 is not prime. Res64: 62E38681A2CA772D Time : 0.0 sec. user=mdettweiler [2013-01-17 09:47:22] 657*2^1239425-1 is not prime. Res64: D0D2F0B9DFC4C634 Time : 0.0 sec. user=mdettweiler [2013-01-17 09:47:22] 699*2^1239425-1 is not prime. Res64: 9E6072AE669BD83C Time : 0.0 sec. user=mdettweiler [2013-01-17 10:04:36] 771*2^1239425-1 is not prime. Res64: 2600D3769C5DF687 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:04:38] 837*2^1239425-1 is not prime. Res64: 28BBDD45F37FD7DB Time : 0.0 sec. user=mdettweiler [2013-01-17 10:04:49] 889*2^1239425-1 is not prime. Res64: 771F6D5441903346 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:04:53] 705*2^1239426-1 is not prime. Res64: D8D474521C2A0CB2 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:22:21] 921*2^1239426-1 is not prime. Res64: 8B97FB8D03F288E1 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:22:22] 615*2^1239427-1 is not prime. Res64: 7E30FA6396D21717 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:22:25] 625*2^1239427-1 is not prime. Res64: B9E9F350D61B4DC7 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:22:25] 651*2^1239427-1 is not prime. Res64: 677A6E788102AF1D Time : 0.0 sec. user=mdettweiler [2013-01-17 10:39:52] 801*2^1239427-1 is not prime. Res64: F9E47E550A88BE65 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:39:52] 925*2^1239427-1 is not prime. Res64: AF74FB7643FDBE8B Time : 0.0 sec. user=mdettweiler [2013-01-17 10:39:52] 629*2^1239428-1 is not prime. Res64: 87CA3E6F87B1E101 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:39:53] 687*2^1239428-1 is not prime. Res64: 9BB57347340323A2 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:57:18] 753*2^1239428-1 is not prime. Res64: EFD2114142798DB2 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:57:18] 855*2^1239428-1 is not prime. Res64: 1F27B6D9A9F4E304 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:57:18] 929*2^1239428-1 is not prime. Res64: 309249C43AD2DED0 Time : 0.0 sec. user=mdettweiler [2013-01-17 10:57:19] 935*2^1239428-1 is not prime. Res64: 20553A0E67D115AD Time : 0.0 sec. user=mdettweiler [2013-01-17 11:14:44] 945*2^1239428-1 is not prime. Res64: 3114D9D0EEEBE9EE Time : 0.0 sec. user=mdettweiler [2013-01-17 11:14:44] 609*2^1239429-1 is not prime. Res64: DF780A0ABDA4BE6C Time : 0.0 sec. user=mdettweiler [2013-01-17 11:14:50] 627*2^1239429-1 is not prime. Res64: 0A716BA4C0DA0BD8 Time : 0.0 sec. user=mdettweiler [2013-01-17 11:14:50] 655*2^1239429-1 is not prime. Res64: 05B83E0A546408F6 Time : 0.0 sec. user=mdettweiler [2013-01-17 11:32:11] 669*2^1239429-1 is not prime. Res64: 5A3A645AABCFC22C Time : 0.0 sec. user=mdettweiler [2013-01-17 11:32:11] 691*2^1239429-1 is not prime. Res64: 60547661C5610248 Time : 0.0 sec. user=mdettweiler [2013-01-17 11:32:16] 817*2^1239429-1 is not prime. Res64: 5E68264A503285E8 Time : 0.0 sec. user=mdettweiler [2013-01-17 11:32:17] 835*2^1239429-1 is not prime. Res64: 2013A332B85BE3B7 Time : 0.0 sec. user=mdettweiler [2013-01-17 11:49:35] 895*2^1239429-1 is not prime. Res64: D74F65B2ECBB405E Time : 0.0 sec. user=mdettweiler [2013-01-17 11:49:35] 955*2^1239429-1 is not prime. Res64: 00B22B9916670FC0 Time : 0.0 sec. user=mdettweiler [2013-01-17 11:49:41] 969*2^1239429-1 is not prime. Res64: 8CD27D01FACD92F0 Time : 0.0 sec. user=mdettweiler [2013-01-17 11:49:41] 975*2^1239429-1 is not prime. Res64: 4F66829422C034B6 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:06:58] 991*2^1239429-1 is not prime. Res64: 810B09F5F30A976A Time : 0.0 sec. user=mdettweiler [2013-01-17 12:07:00] 605*2^1239430-1 is not prime. Res64: B49B049A36F5DDEB Time : 0.0 sec. user=mdettweiler [2013-01-17 12:07:06] 677*2^1239430-1 is not prime. Res64: 76DFFADE18343867 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:07:08] 743*2^1239430-1 is not prime. Res64: 1A9AB375E7D810B5 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:24:35] 783*2^1239430-1 is not prime. Res64: D79771BAC405CEF2 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:24:36] 813*2^1239430-1 is not prime. Res64: 5E83AC39BAD75BF7 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:24:41] 867*2^1239430-1 is not prime. Res64: 6EFB35D98BE6ADD3 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:24:41] 923*2^1239430-1 is not prime. Res64: 1967FF2EB0B6FE4E Time : 0.0 sec. user=mdettweiler [2013-01-17 12:42:11] 957*2^1239430-1 is not prime. Res64: C740CED32C09F3CB Time : 0.0 sec. user=mdettweiler [2013-01-17 12:42:12] 619*2^1239431-1 is not prime. Res64: B425A4383432C891 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:42:16] 753*2^1239431-1 is not prime. Res64: CD716F260E9CD31C Time : 0.0 sec. user=mdettweiler [2013-01-17 12:42:16] 843*2^1239431-1 is not prime. Res64: AF44BB91842E1FAE Time : 0.0 sec. user=mdettweiler [2013-01-17 12:59:58] 859*2^1239431-1 is not prime. Res64: E156382F04C6B957 Time : 0.0 sec. user=mdettweiler [2013-01-17 12:59:59] 909*2^1239431-1 is not prime. Res64: 02B8838261EAF3F4 Time : 0.0 sec. user=mdettweiler [2013-01-17 13:00:03] 973*2^1239431-1 is not prime. Res64: DFF8CE4E1354855F Time : 0.0 sec. user=mdettweiler [2013-01-17 13:00:05] 627*2^1239432-1 is not prime. Res64: E3682770BB88A555 Time : 0.0 sec. user=mdettweiler [2013-01-17 13:18:04] 815*2^1239432-1 is not prime. Res64: 1EE5175401782AE8 Time : 0.0 sec. user=mdettweiler [2013-01-17 13:18:05] 819*2^1239432-1 is not prime. Res64: BB60C805B7251C7A Time : 0.0 sec. user=mdettweiler [2013-01-17 13:18:13] 843*2^1239432-1 is not prime. Res64: 6D4E3D29592C7B77 Time : 0.0 sec. user=mdettweiler [2013-01-17 13:18:13] 873*2^1239432-1 is not prime. Res64: 50EEC30C836FAEDB Time : 0.0 sec. user=mdettweiler [2013-01-17 13:36:05] 879*2^1239432-1 is not prime. Res64: D5F0BAD1C2343F45 Time : 0.0 sec. user=mdettweiler [2013-01-17 13:36:06] 899*2^1239432-1 is not prime. Res64: 4000D66B139F036A Time : 0.0 sec. user=mdettweiler [2013-01-17 13:36:07] 903*2^1239432-1 is not prime. Res64: 206DCF94A2B2BBBF Time : 0.0 sec. user=mdettweiler [2013-01-17 13:36:07] 977*2^1239432-1 is not prime. Res64: 05F7D31C9B5C551C Time : 0.0 sec. user=mdettweiler [2013-01-17 13:53:31] 847*2^1239433-1 is not prime. Res64: 12151D1E99EAD061 Time : 0.0 sec. user=mdettweiler [2013-01-17 13:53:31] 687*2^1239433-1 is not prime. Res64: 2A2583355BE2447E Time : 0.0 sec. user=mdettweiler [2013-01-17 13:53:32] 915*2^1239433-1 is not prime. Res64: 16B6DF71910C28E8 Time : 0.0 sec. user=mdettweiler [2013-01-17 13:53:32] 705*2^1239433-1 is not prime. Res64: 9259BCEA94276324 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:10:55] 623*2^1239434-1 is not prime. Res64: 525C61F4C4B2DFE0 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:10:56] 635*2^1239434-1 is not prime. Res64: 49961FAEB24E7B58 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:10:57] 641*2^1239434-1 is not prime. Res64: A9D8DD6CA258BC54 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:10:59] 665*2^1239434-1 is not prime. Res64: 70C7AF9E791572C5 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:28:26] 731*2^1239434-1 is not prime. Res64: F7CD8501F226CF08 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:28:27] 785*2^1239434-1 is not prime. Res64: E50816AE752573C1 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:28:28] 831*2^1239434-1 is not prime. Res64: 38FE450255DF4B1B Time : 0.0 sec. user=mdettweiler [2013-01-17 14:28:30] 875*2^1239434-1 is not prime. Res64: 3B0348A8F4D86D1C Time : 0.0 sec. user=mdettweiler [2013-01-17 14:47:32] 793*2^1239435-1 is not prime. Res64: 2F4DC34C5C2261C8 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:47:33] 849*2^1239435-1 is not prime. Res64: 5BC9DE40E2BAF8E5 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:47:33] 619*2^1239435-1 is not prime. Res64: E18FF3A5C5644E93 Time : 0.0 sec. user=mdettweiler [2013-01-17 14:47:34] 639*2^1239435-1 is not prime. Res64: FDCA350AEE24018B Time : 0.0 sec. user=mdettweiler [2013-01-17 15:05:49] 895*2^1239435-1 is not prime. Res64: 56AD3E5AECDB5962 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:05:51] 999*2^1239435-1 is not prime. Res64: 38C58C46E44970C5 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:05:51] 609*2^1239436-1 is not prime. Res64: D30B4621082546FA Time : 0.0 sec. user=mdettweiler [2013-01-17 15:05:51] 677*2^1239436-1 is not prime. Res64: 6D15540A7C6D63CC Time : 0.0 sec. user=mdettweiler [2013-01-17 15:23:47] 719*2^1239436-1 is not prime. Res64: C6E33423E20A7D5A Time : 0.0 sec. user=mdettweiler [2013-01-17 15:23:48] 735*2^1239436-1 is not prime. Res64: AC84FB7A4C1238D7 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:23:52] 825*2^1239436-1 is not prime. Res64: 3E25B37D86F907A1 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:23:52] 857*2^1239436-1 is not prime. Res64: E1016D6F1B050A06 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:41:45] 905*2^1239436-1 is not prime. Res64: 43462A626CE04C32 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:41:45] 909*2^1239436-1 is not prime. Res64: C2048336E18AC76C Time : 0.0 sec. user=mdettweiler [2013-01-17 15:41:47] 939*2^1239436-1 is not prime. Res64: 335F45215FDAA837 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:41:48] 953*2^1239436-1 is not prime. Res64: 7FBC31BEC4489FA8 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:59:38] 615*2^1239437-1 is not prime. Res64: A374CE45DC3923D6 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:59:38] 619*2^1239437-1 is not prime. Res64: 1E340AF36C6A54A7 Time : 0.0 sec. user=mdettweiler [2013-01-17 15:59:40] 631*2^1239437-1 is not prime. Res64: 649251887085AF4D Time : 0.0 sec. user=mdettweiler [2013-01-17 15:59:40] 829*2^1239437-1 is not prime. Res64: 2ABE6C210909E471 Time : 0.0 sec. user=mdettweiler [2013-01-17 16:17:46] 925*2^1239437-1 is not prime. Res64: 12BE8FACDE8F7470 Time : 0.0 sec. user=mdettweiler [2013-01-17 16:17:46] 967*2^1239437-1 is not prime. Res64: 440C8FBFDD5022BE Time : 0.0 sec. user=mdettweiler [2013-01-17 16:17:47] 847*2^1239437-1 is not prime. Res64: 28F391A5993FFCCE Time : 0.0 sec. user=mdettweiler [2013-01-17 16:17:47] 871*2^1239437-1 is not prime. Res64: F15366CF2F36DC35 Time : 0.0 sec. user=mdettweiler [2013-01-17 16:35:52] 773*2^1239438-1 is not prime. Res64: BA2501827C8DFB2E Time : 0.0 sec. user=mdettweiler [2013-01-17 16:35:52] 875*2^1239438-1 is not prime. Res64: CADB8EDCE0DFD341 Time : 0.0 sec. user=mdettweiler [2013-01-17 16:35:53] 683*2^1239438-1 is not prime. Res64: CC2CD7453DA073DB Time : 0.0 sec. user=mdettweiler [2013-01-17 16:35:53] 933*2^1239438-1 is not prime. Res64: 032EC9FB13D31A89 Time : 0.0 sec. user=mdettweiler [2013-01-17 16:53:58] 609*2^1239439-1 is not prime. Res64: B2590BD99F55B7A4 Time : 0.0 sec. user=mdettweiler [2013-01-17 16:53:58] 619*2^1239439-1 is not prime. Res64: 7592531F6AD69615 Time : 0.0 sec. user=mdettweiler [2013-01-17 16:54:00] 765*2^1239439-1 is not prime. Res64: 225F5EF12E4DD0CC Time : 0.0 sec. user=mdettweiler [2013-01-17 16:54:00] 789*2^1239439-1 is not prime. Res64: C9D84163FD1FCCE9 Time : 0.0 sec. user=mdettweiler [2013-01-17 17:12:12] 999*2^1239439-1 is not prime. Res64: A6C893FFACB90B36 Time : 0.0 sec. user=mdettweiler [2013-01-17 17:12:12] 665*2^1239440-1 is not prime. Res64: 110C22CD2DDFD42C Time : 0.0 sec. user=mdettweiler [2013-01-17 17:12:13] 899*2^1239440-1 is not prime. Res64: 526145CA5B924F93 Time : 0.0 sec. user=mdettweiler [2013-01-17 17:12:14] 963*2^1239440-1 is not prime. Res64: 10FCF052063ECFEA Time : 0.0 sec. user=mdettweiler [2013-01-17 17:30:17] 977*2^1239440-1 is not prime. Res64: FFA295171D9F7680 Time : 0.0 sec. user=mdettweiler [2013-01-17 17:30:21] 627*2^1239441-1 is not prime. Res64: FADBAD3980A17B9F Time : 0.0 sec. user=mdettweiler [2013-01-17 17:30:25] 751*2^1239441-1 is not prime. Res64: 43787E15907AF237 Time : 0.0 sec. user=mdettweiler [2013-01-17 17:30:30] 819*2^1239441-1 is not prime. Res64: 0C80A7191B01A249 Time : 0.0 sec. user=mdettweiler [2013-01-17 17:48:32] 837*2^1239441-1 is not prime. Res64: 4B7F1559536B8B9C Time : 0.0 sec. user=mdettweiler [2013-01-17 17:48:33] 955*2^1239441-1 is not prime. Res64: 443890C89B197591 Time : 0.0 sec. user=mdettweiler [2013-01-17 17:48:40] 979*2^1239441-1 is not prime. Res64: 19527BD07AD4FF4A Time : 0.0 sec. user=mdettweiler [2013-01-17 17:48:40] 991*2^1239441-1 is not prime. Res64: 04A04D8F273436F7 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:06:29] 999*2^1239441-1 is not prime. Res64: 7DE154FDD1804E0B Time : 0.0 sec. user=mdettweiler [2013-01-17 18:06:33] 603*2^1239442-1 is not prime. Res64: 0EDA687E367D93F2 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:06:42] 645*2^1239442-1 is not prime. Res64: D446F364AEFEAC4A Time : 0.0 sec. user=mdettweiler [2013-01-17 18:06:44] 681*2^1239442-1 is not prime. Res64: C1317EC6600E7406 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:24:12] 701*2^1239442-1 is not prime. Res64: 9BBA89A83B0921DA Time : 0.0 sec. user=mdettweiler [2013-01-17 18:24:13] 825*2^1239442-1 is not prime. Res64: CE29868804A8DC48 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:24:18] 891*2^1239442-1 is not prime. Res64: ADB02DA588EDAB05 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:24:19] 983*2^1239442-1 is not prime. Res64: B82DCC7549A0872F Time : 0.0 sec. user=mdettweiler [2013-01-17 18:41:39] 985*2^1239443-1 is not prime. Res64: 61BF4F10B87F82BB Time : 0.0 sec. user=mdettweiler [2013-01-17 18:41:39] 605*2^1239444-1 is not prime. Res64: A2CB554131A86AE8 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:41:43] 639*2^1239444-1 is not prime. Res64: 8655A9F28958BF99 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:41:43] 657*2^1239444-1 is not prime. Res64: A6CF17A8CCA5D195 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:59:04] 663*2^1239444-1 is not prime. Res64: 70115629A6C489D5 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:59:04] 705*2^1239444-1 is not prime. Res64: 8889C904869584F1 Time : 0.0 sec. user=mdettweiler [2013-01-17 18:59:06] 759*2^1239444-1 is not prime. Res64: AF059BFF649B3C9C Time : 0.0 sec. user=mdettweiler [2013-01-17 18:59:07] 601*2^1239445-1 is not prime. Res64: 25481C23EB4CB2AE Time : 0.0 sec. user=mdettweiler [2013-01-17 19:16:35] 699*2^1239445-1 is not prime. Res64: 8CB0ED3BB4DD6212 Time : 0.0 sec. user=mdettweiler [2013-01-17 19:16:37] 919*2^1239445-1 is not prime. Res64: DF02CC016D202A94 Time : 0.0 sec. user=mdettweiler [2013-01-17 19:16:37] 757*2^1239445-1 is not prime. Res64: 5547F159E392A23E Time : 0.0 sec. user=mdettweiler [2013-01-17 19:16:38] 955*2^1239445-1 is not prime. Res64: BAF69A2D9D04647E Time : 0.0 sec. user=mdettweiler [2013-01-17 19:34:14] 641*2^1239446-1 is not prime. Res64: F8265A5C5D2FCDCB Time : 0.0 sec. user=mdettweiler [2013-01-17 19:34:15] 663*2^1239446-1 is not prime. Res64: 29F39A7BD826F98F Time : 0.0 sec. user=mdettweiler [2013-01-17 19:34:16] 827*2^1239446-1 is not prime. Res64: 425B8227992EA542 Time : 0.0 sec. user=mdettweiler [2013-01-17 19:34:17] 661*2^1239447-1 is not prime. Res64: 529B63346A6985CE Time : 0.0 sec. user=mdettweiler [2013-01-17 19:51:39] 693*2^1239447-1 is not prime. Res64: 81497F9D92944117 Time : 0.0 sec. user=mdettweiler [2013-01-17 19:51:40] 711*2^1239447-1 is not prime. Res64: 5677218D57C5C2FF Time : 0.0 sec. user=mdettweiler [2013-01-17 19:51:41] 825*2^1239447-1 is not prime. Res64: 7419221064AFF1AE Time : 0.0 sec. user=mdettweiler [2013-01-17 19:51:41] 831*2^1239447-1 is not prime. Res64: 341E09DA08A1A235 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:09:05] 961*2^1239447-1 is not prime. Res64: F9C9C4C8F6FEBAEB Time : 0.0 sec. user=mdettweiler [2013-01-17 20:09:06] 999*2^1239447-1 is not prime. Res64: 53D64CEB802470B2 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:09:07] 885*2^1239447-1 is not prime. Res64: AC72626E4F144718 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:09:09] 945*2^1239447-1 is not prime. Res64: 4AB464B9DAF9F80E Time : 0.0 sec. user=mdettweiler [2013-01-17 20:26:37] 825*2^1239448-1 is not prime. Res64: 09CC70D566207ADA Time : 0.0 sec. user=mdettweiler [2013-01-17 20:26:38] 993*2^1239448-1 is not prime. Res64: 009CFABDBEC525CE Time : 0.0 sec. user=mdettweiler [2013-01-17 20:26:38] 685*2^1239449-1 is not prime. Res64: D368031810C23C93 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:26:39] 759*2^1239449-1 is not prime. Res64: B8ADC97BEB51B288 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:44:10] 985*2^1239449-1 is not prime. Res64: A30EC68A1261D1C8 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:44:10] 777*2^1239450-1 is not prime. Res64: 15566E8A323BAE16 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:44:11] 829*2^1239449-1 is not prime. Res64: D6DBE13E87DC3A24 Time : 0.0 sec. user=mdettweiler [2013-01-17 20:44:11] 801*2^1239450-1 is not prime. Res64: 9F59E55AE8FDE67B Time : 0.0 sec. user=mdettweiler [2013-01-17 21:01:44] 803*2^1239450-1 is not prime. Res64: AB6C4269170DAF39 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:01:46] 887*2^1239450-1 is not prime. Res64: EE5BB1935A722581 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:01:46] 851*2^1239450-1 is not prime. Res64: 5B5270F434189902 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:01:47] 971*2^1239450-1 is not prime. Res64: 9D0BCFFA2B2B88F3 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:19:32] 1001*2^1239450-1 is not prime. Res64: 42070C94E64C1660 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:19:32] 619*2^1239451-1 is not prime. Res64: D867CFB365578A25 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:19:33] 691*2^1239451-1 is not prime. Res64: 4F58A65297F91393 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:19:34] 735*2^1239451-1 is not prime. Res64: FD2E2CC28F6A18B9 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:36:58] 771*2^1239451-1 is not prime. Res64: 2C7C30FCCC6DEA45 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:36:58] 855*2^1239451-1 is not prime. Res64: AFB9CBEEAC6EC39E Time : 0.0 sec. user=mdettweiler [2013-01-17 21:36:58] 633*2^1239452-1 is not prime. Res64: 6937355888F811D5 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:36:59] 665*2^1239452-1 is not prime. Res64: 0F528BF2A82D0892 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:54:22] 725*2^1239452-1 is not prime. Res64: 1CAFD23400C7E0AE Time : 0.0 sec. user=mdettweiler [2013-01-17 21:54:22] 837*2^1239452-1 is not prime. Res64: ED5319E54AB4F358 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:54:25] 875*2^1239452-1 is not prime. Res64: 84B5B68F593D6F05 Time : 0.0 sec. user=mdettweiler [2013-01-17 21:54:25] 885*2^1239452-1 is not prime. Res64: 49E8211A240ADEEE Time : 0.0 sec. user=mdettweiler [2013-01-17 22:11:50] 899*2^1239452-1 is not prime. Res64: 1FEA3A0B4E13C5BB Time : 0.0 sec. user=mdettweiler [2013-01-17 22:11:52] 935*2^1239452-1 is not prime. Res64: 420628BE5F42C04B Time : 0.0 sec. user=mdettweiler [2013-01-17 22:11:52] 963*2^1239452-1 is not prime. Res64: 9AB619E7147F705C Time : 0.0 sec. user=mdettweiler [2013-01-17 22:11:53] 627*2^1239453-1 is not prime. Res64: 11DD16B67C7DFE27 Time : 0.0 sec. user=mdettweiler [2013-01-17 22:29:20] 657*2^1239453-1 is not prime. Res64: 505908845A226869 Time : 0.0 sec. user=mdettweiler [2013-01-17 22:29:21] 867*2^1239453-1 is not prime. Res64: 0F798E7A1F2AA181 Time : 0.0 sec. user=mdettweiler [2013-01-17 22:29:22] 955*2^1239453-1 is not prime. Res64: BEAFEEDA6C11D123 Time : 0.0 sec. user=mdettweiler [2013-01-17 22:29:23] 969*2^1239453-1 is not prime. Res64: AE477226B4248B75 Time : 0.0 sec. user=mdettweiler [2013-01-17 22:46:45] 611*2^1239454-1 is not prime. Res64: 97922C2298733C4F Time : 0.0 sec. user=mdettweiler [2013-01-17 22:46:46] 791*2^1239454-1 is not prime. Res64: BF550E1026455C5D Time : 0.0 sec. user=mdettweiler [2013-01-17 22:46:46] 855*2^1239454-1 is not prime. Res64: 6BF3E933F373216E Time : 0.0 sec. user=mdettweiler [2013-01-17 22:46:49] 707*2^1239454-1 is not prime. Res64: DA57BF340ED726D9 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:04:13] 881*2^1239454-1 is not prime. Res64: 697E1F93BC947EB9 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:04:15] 861*2^1239455-1 is not prime. Res64: 1E652171F198C521 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:04:16] 947*2^1239454-1 is not prime. Res64: B7B8223F9B7AADED Time : 0.0 sec. user=mdettweiler [2013-01-17 23:04:17] 909*2^1239455-1 is not prime. Res64: 08FDFA2C15E3B229 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:21:58] 629*2^1239456-1 is not prime. Res64: 97DD0005FD225CC6 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:21:59] 669*2^1239456-1 is not prime. Res64: A3701ADF84F09DD2 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:22:00] 999*2^1239455-1 is not prime. Res64: FFF8B57AE7849C9D Time : 0.0 sec. user=mdettweiler [2013-01-17 23:22:00] 789*2^1239456-1 is not prime. Res64: DCE20BE068D5E312 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:39:25] 825*2^1239456-1 is not prime. Res64: 6B152123CEBCD65A Time : 0.0 sec. user=mdettweiler [2013-01-17 23:39:26] 999*2^1239456-1 is not prime. Res64: AC7CEABDBC22505D Time : 0.0 sec. user=mdettweiler [2013-01-17 23:39:27] 609*2^1239457-1 is not prime. Res64: EC93F0F531EA29E7 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:39:27] 615*2^1239457-1 is not prime. Res64: 930628A0DA80C421 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:56:58] 619*2^1239457-1 is not prime. Res64: E31C5EC04A28CE04 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:56:58] 637*2^1239457-1 is not prime. Res64: A87DEF38E05CF247 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:56:59] 649*2^1239457-1 is not prime. Res64: D9CFE9F91066FFE5 Time : 0.0 sec. user=mdettweiler [2013-01-17 23:57:00] 661*2^1239457-1 is not prime. Res64: 6A29994C2161E294 Time : 0.0 sec.