user=mdettweiler [2012-12-15 00:07:40] 949*2^1237421-1 is not prime. Res64: 5D8995772E1B7DDC Time : 0.0 sec. user=mdettweiler [2012-12-15 00:07:42] 981*2^1237421-1 is not prime. Res64: FB1431745A34D1CC Time : 0.0 sec. user=mdettweiler [2012-12-15 00:17:12] 997*2^1237421-1 is not prime. Res64: DF19BED5FBA3E720 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:17:13] 741*2^1237422-1 is not prime. Res64: 9196B46E0B126108 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:25:22] 619*2^1237423-1 is not prime. Res64: 0C23CEC254FF6626 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:25:23] 633*2^1237423-1 is not prime. Res64: DBA940D50EDEC880 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:34:34] 663*2^1237423-1 is not prime. Res64: 725483963519434C Time : 0.0 sec. user=mdettweiler [2012-12-15 00:34:34] 709*2^1237423-1 is not prime. Res64: A1834A9C50762960 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:42:41] 729*2^1237423-1 is not prime. Res64: 4FF79157381E029C Time : 0.0 sec. user=mdettweiler [2012-12-15 00:42:41] 763*2^1237423-1 is not prime. Res64: B653FD2FFAC544A4 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:51:52] 805*2^1237423-1 is not prime. Res64: 7069B469ECD4C826 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:51:52] 861*2^1237423-1 is not prime. Res64: 23E5B9CC4791A763 Time : 0.0 sec. user=mdettweiler [2012-12-15 00:59:58] 999*2^1237423-1 is not prime. Res64: 40D6434BB3162DED Time : 0.0 sec. user=mdettweiler [2012-12-15 00:59:59] 629*2^1237424-1 is not prime. Res64: E4B305E808C02498 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:09:09] 747*2^1237424-1 is not prime. Res64: 5298BC38A48398E9 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:09:10] 759*2^1237424-1 is not prime. Res64: 7590AD93F3A6203A Time : 0.0 sec. user=mdettweiler [2012-12-15 01:17:16] 897*2^1237424-1 is not prime. Res64: 8C0AC4080DC4C126 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:17:17] 945*2^1237424-1 is not prime. Res64: 6766ED506744273B Time : 0.0 sec. user=mdettweiler [2012-12-15 01:26:29] 959*2^1237424-1 is not prime. Res64: 19970103DEB06B27 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:26:29] 983*2^1237424-1 is not prime. Res64: 31EE92B121CD55D0 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:34:43] 867*2^1237425-1 is not prime. Res64: 4DFE9EF7DEDA70C2 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:34:44] 877*2^1237425-1 is not prime. Res64: D7AB2255191DF543 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:43:46] 885*2^1237425-1 is not prime. Res64: CE065B054E747DEC Time : 0.0 sec. user=mdettweiler [2012-12-15 01:43:46] 991*2^1237425-1 is not prime. Res64: 0F98FD2A2FBD6CA4 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:52:02] 635*2^1237426-1 is not prime. Res64: 6B68559BCEB80EC0 Time : 0.0 sec. user=mdettweiler [2012-12-15 01:52:02] 645*2^1237426-1 is not prime. Res64: 77969CC7A794C71F Time : 0.0 sec. user=mdettweiler [2012-12-15 02:01:04] 737*2^1237426-1 is not prime. Res64: F2949C7939FE4FB7 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:01:05] 873*2^1237426-1 is not prime. Res64: DCA5E3E540BDF460 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:09:20] 609*2^1237427-1 is not prime. Res64: 3579D997F0CD4DCA Time : 0.0 sec. user=mdettweiler [2012-12-15 02:09:21] 649*2^1237427-1 is not prime. Res64: C1DDECF96988F577 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:18:36] 655*2^1237427-1 is not prime. Res64: 73F14C069ACECAC4 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:18:36] 693*2^1237427-1 is not prime. Res64: E5E7BE942928D6FA Time : 0.0 sec. user=mdettweiler [2012-12-15 02:26:43] 813*2^1237427-1 is not prime. Res64: 67409236E1983C5A Time : 0.0 sec. user=mdettweiler [2012-12-15 02:26:43] 991*2^1237427-1 is not prime. Res64: 1B824FCFD8AD5760 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:35:54] 627*2^1237428-1 is not prime. Res64: 4859BA441746D0C7 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:35:59] 663*2^1237428-1 is not prime. Res64: B3D2464D1966EED3 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:44:00] 749*2^1237428-1 is not prime. Res64: 9EDFAA6F194B52BE Time : 0.0 sec. user=mdettweiler [2012-12-15 02:44:02] 759*2^1237428-1 is not prime. Res64: 1BAB97CCBCA4208D Time : 0.0 sec. user=mdettweiler [2012-12-15 02:53:27] 765*2^1237428-1 is not prime. Res64: 8BFB098704973174 Time : 0.0 sec. user=mdettweiler [2012-12-15 02:53:28] 767*2^1237428-1 is not prime. Res64: 5A0142295EDCB4A9 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:01:32] 773*2^1237428-1 is not prime. Res64: 3A12AC9868FE332C Time : 0.0 sec. user=mdettweiler [2012-12-15 03:01:37] 783*2^1237428-1 is not prime. Res64: 34701ED75899DB48 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:10:53] 819*2^1237428-1 is not prime. Res64: B5A55679C6E48F2E Time : 0.0 sec. user=mdettweiler [2012-12-15 03:10:54] 845*2^1237428-1 is not prime. Res64: 3077364207824447 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:19:21] 661*2^1237429-1 is not prime. Res64: 2E4467BAC332AA24 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:19:22] 771*2^1237429-1 is not prime. Res64: 48510CA38191D1DE Time : 0.0 sec. user=mdettweiler [2012-12-15 03:28:19] 801*2^1237429-1 is not prime. Res64: A3DD6FC615EFB097 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:28:20] 945*2^1237429-1 is not prime. Res64: 77D6BA5ECA5C57C8 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:36:43] 961*2^1237429-1 is not prime. Res64: 4A384A0B0B771117 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:36:46] 663*2^1237430-1 is not prime. Res64: 9534FBD5288F3E50 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:45:35] 675*2^1237430-1 is not prime. Res64: 4730CCE603A59A61 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:45:35] 677*2^1237430-1 is not prime. Res64: 1874C601E9C02FB7 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:54:27] 773*2^1237430-1 is not prime. Res64: 9BD9DFFA2FFE3121 Time : 0.0 sec. user=mdettweiler [2012-12-15 03:54:28] 921*2^1237430-1 is not prime. Res64: FB1901C6F3BFACA4 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:02:55] 621*2^1237431-1 is not prime. Res64: 8721ED82BB0B8995 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:02:57] 711*2^1237431-1 is not prime. Res64: 331D2C96FEFABBD4 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:11:45] 763*2^1237431-1 is not prime. Res64: CA2BCEE31C117774 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:11:46] 871*2^1237431-1 is not prime. Res64: 77D3DDE9DE3DB61A Time : 0.0 sec. user=mdettweiler [2012-12-15 04:20:26] 885*2^1237431-1 is not prime. Res64: 1A9655B65A726F9C Time : 0.0 sec. user=mdettweiler [2012-12-15 04:20:26] 961*2^1237431-1 is not prime. Res64: F15890FAA7681764 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:29:06] 969*2^1237431-1 is not prime. Res64: 06B2AC4434974FFE Time : 0.0 sec. user=mdettweiler [2012-12-15 04:29:07] 653*2^1237432-1 is not prime. Res64: 81494AF5CA471D5C Time : 0.0 sec. user=mdettweiler [2012-12-15 04:37:45] 699*2^1237432-1 is not prime. Res64: 03F6CF0CE983DDD0 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:37:45] 743*2^1237432-1 is not prime. Res64: 8BB414DEE2596FE4 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:46:24] 777*2^1237432-1 is not prime. Res64: B0301B91FA682205 Time : 0.0 sec. user=mdettweiler [2012-12-15 04:46:25] 797*2^1237432-1 is not prime. Res64: CE5E82D28AE6343E Time : 0.0 sec. user=mdettweiler [2012-12-15 04:55:11] 849*2^1237432-1 is not prime. Res64: A9AC53C7DA16858A Time : 0.0 sec. user=mdettweiler [2012-12-15 04:55:11] 869*2^1237432-1 is not prime. Res64: F89B6297C4008BE5 Time : 0.0 sec. user=mdettweiler [2012-12-15 05:03:44] 615*2^1237433-1 is not prime. Res64: E70BC971EB442560 Time : 0.0 sec. user=mdettweiler [2012-12-15 05:03:47] 631*2^1237433-1 is not prime. Res64: 3E89A635A09B943D Time : 0.0 sec. user=mdettweiler [2012-12-15 05:12:52] 705*2^1237433-1 is not prime. Res64: C3F02C06994F6E4C Time : 0.0 sec. user=mdettweiler [2012-12-15 05:21:16] 879*2^1237433-1 is not prime. Res64: B7EA069413127394 Time : 0.0 sec. user=mdettweiler [2012-12-15 05:21:18] 951*2^1237433-1 is not prime. Res64: 27A1D26119BC6D07 Time : 0.0 sec. user=mdettweiler [2012-12-15 05:29:40] 867*2^1237433-1 is not prime. Res64: 3963B55C318BE4D2 Time : 0.0 sec. user=mdettweiler [2012-12-15 05:38:40] 955*2^1237433-1 is not prime. Res64: 409C21EC1BB8D92E Time : 0.0 sec. user=mdettweiler [2012-12-15 05:38:41] 985*2^1237433-1 is not prime. Res64: 0649D079D78278D3 Time : 0.0 sec. user=mdettweiler [2012-12-15 05:46:59] 987*2^1237433-1 is not prime. Res64: 5D462B6B0126990A Time : 0.0 sec. user=mdettweiler [2012-12-15 05:46:59] 605*2^1237434-1 is not prime. Res64: C831126D040098E6 Time : 0.0 sec. user=mdettweiler [2012-12-15 05:55:56] 915*2^1237434-1 is not prime. Res64: 77FC066868173B5A Time : 0.0 sec. user=mdettweiler [2012-12-15 05:55:57] 983*2^1237434-1 is not prime. Res64: 9BDDC1AD1981F43E Time : 0.0 sec. user=mdettweiler [2012-12-15 06:04:17] 625*2^1237435-1 is not prime. Res64: 729E5B7DC1B8A546 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:04:18] 639*2^1237435-1 is not prime. Res64: D6A08BEC2301D694 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:13:14] 861*2^1237435-1 is not prime. Res64: DAD594EAF2D5B7C7 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:13:17] 615*2^1237436-1 is not prime. Res64: 32D06261566C2426 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:21:40] 617*2^1237436-1 is not prime. Res64: F3D2CF8BF7F893DF Time : 0.0 sec. user=mdettweiler [2012-12-15 06:21:41] 735*2^1237436-1 is not prime. Res64: 59BF6FA91EDE53D1 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:30:56] 767*2^1237436-1 is not prime. Res64: 7B8E5C5E92713CA8 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:30:57] 785*2^1237436-1 is not prime. Res64: 801B12BABF5497A3 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:38:59] 825*2^1237436-1 is not prime. Res64: C80391CFDB50E2EF Time : 0.0 sec. user=mdettweiler [2012-12-15 06:39:00] 993*2^1237436-1 is not prime. Res64: BDEB96E30AB9F366 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:48:14] 615*2^1237437-1 is not prime. Res64: 9BBA12E24BB974BA Time : 0.0 sec. user=mdettweiler [2012-12-15 06:48:15] 675*2^1237437-1 is not prime. Res64: 4E967607B0D259AB Time : 0.0 sec. user=mdettweiler [2012-12-15 06:56:17] 895*2^1237437-1 is not prime. Res64: 8E7C9D1753B37E15 Time : 0.0 sec. user=mdettweiler [2012-12-15 06:56:17] 919*2^1237437-1 is not prime. Res64: EAC11F89F54FFC51 Time : 0.0 sec. user=mdettweiler [2012-12-15 07:05:32] 945*2^1237437-1 is not prime. Res64: D0D27187F93D9123 Time : 0.0 sec. user=mdettweiler [2012-12-15 07:05:33] 975*2^1237437-1 is not prime. Res64: 993B66BB5D4DC55E Time : 0.0 sec. user=mdettweiler [2012-12-15 07:13:35] 801*2^1237438-1 is not prime. Res64: 1B8CB99BE5FE6870 Time : 0.0 sec. user=mdettweiler [2012-12-15 07:13:36] 855*2^1237438-1 is not prime. Res64: 5C59B6969234E5A1 Time : 0.0 sec. user=mdettweiler [2012-12-15 07:22:53] 857*2^1237438-1 is not prime. Res64: D777AED12E116EE7 Time : 0.0 sec. user=mdettweiler [2012-12-15 07:22:53] 885*2^1237438-1 is not prime. Res64: 334951AC960012EB Time : 0.0 sec. user=mdettweiler [2012-12-15 07:30:57] 971*2^1237438-1 is not prime. Res64: 112112BD7A3A42FF Time : 0.0 sec. user=mdettweiler [2012-12-15 07:30:57] 993*2^1237438-1 is not prime. Res64: 0D0414039167D83B Time : 0.0 sec. user=mdettweiler [2012-12-15 07:40:11] 705*2^1237439-1 is not prime. Res64: BCA314B9B1F9FBFE Time : 0.0 sec. user=mdettweiler [2012-12-15 07:40:11] 753*2^1237439-1 is not prime. Res64: 9E621DD0AFB2119B Time : 0.0 sec. user=mdettweiler [2012-12-15 07:48:16] 811*2^1237439-1 is not prime. Res64: 885588535DB1D6EE Time : 0.0 sec. user=mdettweiler [2012-12-15 07:48:16] 819*2^1237439-1 is not prime. Res64: 05149243BF50A99D Time : 0.0 sec. user=mdettweiler [2012-12-15 07:57:29] 825*2^1237439-1 is not prime. Res64: 5DC7AA80D90EBC33 Time : 0.0 sec. user=mdettweiler [2012-12-15 07:57:30] 979*2^1237439-1 is not prime. Res64: F2BC26F3C14D7D4F Time : 0.0 sec. user=mdettweiler [2012-12-15 08:05:36] 689*2^1237440-1 is not prime. Res64: E17F43CD5145829E Time : 0.0 sec. user=mdettweiler [2012-12-15 08:05:37] 789*2^1237440-1 is not prime. Res64: F1581C3CCAAE8003 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:14:50] 797*2^1237440-1 is not prime. Res64: 908DA7AEEDB7BB68 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:14:51] 873*2^1237440-1 is not prime. Res64: 21285E2D355505F7 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:22:57] 909*2^1237440-1 is not prime. Res64: 209C4D35CA8B936D Time : 0.0 sec. user=mdettweiler [2012-12-15 08:22:57] 915*2^1237440-1 is not prime. Res64: 90589F2B9D21BDC4 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:32:09] 923*2^1237440-1 is not prime. Res64: 91AD747658AE0F4E Time : 0.0 sec. user=mdettweiler [2012-12-15 08:32:10] 649*2^1237441-1 is not prime. Res64: DCD60A2F1094F9B9 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:40:15] 861*2^1237441-1 is not prime. Res64: C0C8AD8391108C09 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:40:16] 871*2^1237441-1 is not prime. Res64: B14605FB6CB7ACE7 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:49:27] 877*2^1237441-1 is not prime. Res64: 5E76DC32E5D9B8B9 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:49:28] 705*2^1237442-1 is not prime. Res64: CE305E68CC33D614 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:57:33] 713*2^1237442-1 is not prime. Res64: EBEE3D9E9D3A0EA0 Time : 0.0 sec. user=mdettweiler [2012-12-15 08:57:33] 731*2^1237442-1 is not prime. Res64: 63AA03EA542805A7 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:06:46] 735*2^1237442-1 is not prime. Res64: 4F7A0605480BCB61 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:06:48] 743*2^1237442-1 is not prime. Res64: CC4441843BF69464 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:14:52] 785*2^1237442-1 is not prime. Res64: C18EC0213F7723FC Time : 0.0 sec. user=mdettweiler [2012-12-15 09:14:54] 915*2^1237442-1 is not prime. Res64: 5F0F1486BCF4B47F Time : 0.0 sec. user=mdettweiler [2012-12-15 09:24:16] 753*2^1237443-1 is not prime. Res64: 216FAF198FC04B70 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:24:17] 765*2^1237443-1 is not prime. Res64: 94C3016A393A6ECD Time : 0.0 sec. user=mdettweiler [2012-12-15 09:32:12] 849*2^1237443-1 is not prime. Res64: E8FD92856BFB1715 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:32:12] 963*2^1237443-1 is not prime. Res64: 052F0CB2D43090CC Time : 0.0 sec. user=mdettweiler [2012-12-15 09:41:36] 985*2^1237443-1 is not prime. Res64: 6B62CBCBD8BAAE02 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:41:36] 657*2^1237444-1 is not prime. Res64: 473F880C7748E6A4 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:49:30] 749*2^1237444-1 is not prime. Res64: 9B5D7567F19317F4 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:49:31] 909*2^1237444-1 is not prime. Res64: 1686F2D9070DFDA5 Time : 0.0 sec. user=mdettweiler [2012-12-15 09:58:54] 711*2^1237445-1 is not prime. Res64: 1FFE0A21901EA2AF Time : 0.0 sec. user=mdettweiler [2012-12-15 09:58:55] 715*2^1237445-1 is not prime. Res64: 7C63259730EB1C63 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:06:48] 729*2^1237445-1 is not prime. Res64: 02D99AADF9A7FD94 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:06:49] 837*2^1237445-1 is not prime. Res64: 15496D40066A0318 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:16:13] 859*2^1237445-1 is not prime. Res64: 1E011F3EBACEE696 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:16:14] 871*2^1237445-1 is not prime. Res64: 062FF2AE7162ECEF Time : 0.0 sec. user=mdettweiler [2012-12-15 10:24:09] 615*2^1237446-1 is not prime. Res64: BBDC8A202930CE66 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:24:09] 705*2^1237446-1 is not prime. Res64: 58996E989A9ABD7A Time : 0.0 sec. user=mdettweiler [2012-12-15 10:33:34] 755*2^1237446-1 is not prime. Res64: 889585D989DA9C7D Time : 0.0 sec. user=mdettweiler [2012-12-15 10:33:35] 881*2^1237446-1 is not prime. Res64: 35F45B936924ABD1 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:41:28] 741*2^1237447-1 is not prime. Res64: 17CC4996D3CBBE6B Time : 0.0 sec. user=mdettweiler [2012-12-15 10:41:28] 759*2^1237447-1 is not prime. Res64: 2E30C353082A4332 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:50:52] 819*2^1237447-1 is not prime. Res64: 8596F85859456668 Time : 0.0 sec. user=mdettweiler [2012-12-15 10:50:53] 883*2^1237447-1 is not prime. Res64: A949C332C0C0195C Time : 0.0 sec. user=mdettweiler [2012-12-15 10:58:49] 891*2^1237447-1 is not prime. Res64: CF3ADA6CEBDCB49A Time : 0.0 sec. user=mdettweiler [2012-12-15 10:58:49] 895*2^1237447-1 is not prime. Res64: 64840123AF3ED8FC Time : 0.0 sec. user=mdettweiler [2012-12-15 11:08:18] 985*2^1237447-1 is not prime. Res64: 00A9BA649DA9BB2B Time : 0.0 sec. user=mdettweiler [2012-12-15 11:08:19] 687*2^1237448-1 is not prime. Res64: 454FCCC68F062852 Time : 0.0 sec. user=mdettweiler [2012-12-15 11:16:13] 789*2^1237448-1 is not prime. Res64: AE3FFDD5CE69A047 Time : 0.0 sec. user=mdettweiler [2012-12-15 11:16:13] 839*2^1237448-1 is not prime. Res64: 97E99BB7B6094E6B Time : 0.0 sec. user=mdettweiler [2012-12-15 11:25:54] 977*2^1237448-1 is not prime. Res64: 6F557431BC3E8DA6 Time : 0.0 sec. user=mdettweiler [2012-12-15 11:25:54] 609*2^1237449-1 is not prime. Res64: 6AD98914FED8AD33 Time : 0.0 sec. user=mdettweiler [2012-12-15 11:33:36] 661*2^1237449-1 is not prime. Res64: C2D1BB4D74EBBC8C Time : 0.0 sec. user=mdettweiler [2012-12-15 11:33:36] 861*2^1237449-1 is not prime. Res64: 1144BEC12935804C Time : 0.0 sec. user=mdettweiler [2012-12-15 11:43:17] 603*2^1237450-1 is not prime. Res64: 201FE70BAB90CBDB Time : 0.0 sec. user=mdettweiler [2012-12-15 11:43:18] 857*2^1237450-1 is not prime. Res64: 5C13904625A6146C Time : 0.0 sec. user=mdettweiler [2012-12-15 11:50:59] 885*2^1237450-1 is not prime. Res64: BA14C07BFF7698E4 Time : 0.0 sec. user=mdettweiler [2012-12-15 11:51:00] 945*2^1237450-1 is not prime. Res64: EC56C7DA3B100233 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:00:48] 987*2^1237450-1 is not prime. Res64: EDC694CEC33B9053 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:00:49] 651*2^1237451-1 is not prime. Res64: 77F2307455B5EE66 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:08:51] 703*2^1237451-1 is not prime. Res64: CE17689C6D2E48CB Time : 0.0 sec. user=mdettweiler [2012-12-15 12:08:52] 775*2^1237451-1 is not prime. Res64: D321F60B7B44C4CA Time : 0.0 sec. user=mdettweiler [2012-12-15 12:19:00] 949*2^1237451-1 is not prime. Res64: 8C1443B6A912F0CC Time : 0.0 sec. user=mdettweiler [2012-12-15 12:19:00] 993*2^1237451-1 is not prime. Res64: BA532F5FE82412D5 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:27:12] 627*2^1237452-1 is not prime. Res64: AFD7793E6A326494 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:27:12] 767*2^1237452-1 is not prime. Res64: 0EE6A12CFE686DC1 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:37:05] 837*2^1237452-1 is not prime. Res64: EA64FAC12A256913 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:37:05] 843*2^1237452-1 is not prime. Res64: 646A56FFD8AE6B76 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:45:18] 887*2^1237452-1 is not prime. Res64: 9C0BC7AC1D05417A Time : 0.0 sec. user=mdettweiler [2012-12-15 12:45:18] 909*2^1237452-1 is not prime. Res64: 73BA5CFA54ED5912 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:55:39] 983*2^1237452-1 is not prime. Res64: 9C9DB3CBDB0E4FE3 Time : 0.0 sec. user=mdettweiler [2012-12-15 12:55:39] 967*2^1237453-1 is not prime. Res64: F158CD2B8FB99D30 Time : 0.0 sec. user=juhehe [2012-12-15 12:57:41] 713*2^1237400-1 is not prime. Res64: 51C34CA81D7A015B Time : 0.0 sec. user=juhehe [2012-12-15 13:01:55] 985*2^1237399-1 is not prime. Res64: 97C2684A8CA7AA94 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:03:24] 773*2^1237454-1 is not prime. Res64: 7B2C612B59ED991F Time : 0.0 sec. user=mdettweiler [2012-12-15 13:03:27] 833*2^1237454-1 is not prime. Res64: A6A3260571AF32FF Time : 0.0 sec. user=mdettweiler [2012-12-15 13:13:25] 851*2^1237454-1 is not prime. Res64: 4FA65316251209A8 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:13:26] 923*2^1237454-1 is not prime. Res64: F8C8EA924B31A4B4 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:21:13] 945*2^1237454-1 is not prime. Res64: 8E4A53B8E1B15926 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:21:14] 601*2^1237455-1 is not prime. Res64: D7130BFA253DAC5B Time : 0.0 sec. user=mdettweiler [2012-12-15 13:30:51] 609*2^1237455-1 is not prime. Res64: 80F22395DE818334 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:30:51] 711*2^1237455-1 is not prime. Res64: 8B136FDAD0932318 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:38:36] 933*2^1237455-1 is not prime. Res64: EC011045EF67AE73 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:38:37] 603*2^1237456-1 is not prime. Res64: 5019B00735EC36BC Time : 0.0 sec. user=mdettweiler [2012-12-15 13:48:14] 623*2^1237456-1 is not prime. Res64: E0E9721540750C19 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:48:15] 723*2^1237456-1 is not prime. Res64: 5691259840F06EC7 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:55:58] 743*2^1237456-1 is not prime. Res64: 746D12A445B767D5 Time : 0.0 sec. user=mdettweiler [2012-12-15 13:55:59] 777*2^1237456-1 is not prime. Res64: 99C255F6AFB6E19C Time : 0.0 sec. user=mdettweiler [2012-12-15 14:05:36] 825*2^1237456-1 is not prime. Res64: D25458F554E0234D Time : 0.0 sec. user=mdettweiler [2012-12-15 14:05:37] 849*2^1237456-1 is not prime. Res64: 91A6BB6EB9E1E32B Time : 0.0 sec. user=mdettweiler [2012-12-15 14:13:19] 691*2^1237457-1 is not prime. Res64: CE0D6A9357DCF88F Time : 0.0 sec. user=mdettweiler [2012-12-15 14:13:21] 727*2^1237457-1 is not prime. Res64: 8C3B310ABE146877 Time : 0.0 sec. user=mdettweiler [2012-12-15 14:23:07] 801*2^1237457-1 is not prime. Res64: F625F651E7E05A07 Time : 0.0 sec. user=mdettweiler [2012-12-15 14:23:07] 867*2^1237457-1 is not prime. Res64: AF19BA1476DD983B Time : 0.0 sec. user=mdettweiler [2012-12-15 14:30:47] 901*2^1237457-1 is not prime. Res64: E33A3000908B1968 Time : 0.0 sec. user=mdettweiler [2012-12-15 14:30:48] 651*2^1237458-1 is not prime. Res64: 6089090CF02585F8 Time : 0.0 sec. user=mdettweiler [2012-12-15 14:40:29] 657*2^1237458-1 is not prime. Res64: 728ED8C030EAD90E Time : 0.0 sec. user=mdettweiler [2012-12-15 14:40:30] 663*2^1237458-1 is not prime. Res64: A635C848E6979D61 Time : 0.0 sec. user=mdettweiler [2012-12-15 14:48:09] 665*2^1237458-1 is not prime. Res64: E0C4F0A51810A548 Time : 0.0 sec. user=mdettweiler [2012-12-15 14:48:10] 681*2^1237458-1 is not prime. Res64: 5EED843DCCAF4CE2 Time : 0.0 sec. user=mdettweiler [2012-12-15 14:57:51] 791*2^1237458-1 is not prime. Res64: AEF8D89E42986C7D Time : 0.0 sec. user=mdettweiler [2012-12-15 14:57:52] 825*2^1237458-1 is not prime. Res64: 3BA11EE6CDC537F4 Time : 0.0 sec. user=mdettweiler [2012-12-15 15:05:31] 921*2^1237458-1 is not prime. Res64: EAD89A107ADADAC3 Time : 0.0 sec. user=mdettweiler [2012-12-15 15:05:33] 679*2^1237459-1 is not prime. Res64: B231C4A9DD38A77D Time : 0.0 sec. user=mdettweiler [2012-12-15 15:15:13] 691*2^1237459-1 is not prime. Res64: 0646B213A0F33ABC Time : 0.0 sec. user=mdettweiler [2012-12-15 15:15:14] 709*2^1237459-1 is not prime. Res64: 0060ED896B647FC3 Time : 0.0 sec. user=mdettweiler [2012-12-15 15:23:00] 741*2^1237459-1 is not prime. Res64: E027E8F233C0202E Time : 0.0 sec. user=mdettweiler [2012-12-15 15:23:01] 909*2^1237459-1 is not prime. Res64: A66026BF37B11824 Time : 0.0 sec. user=mdettweiler [2012-12-15 15:32:38] 919*2^1237459-1 is not prime. Res64: 32AABF3131ABFF8C Time : 0.0 sec. user=mdettweiler [2012-12-15 15:32:39] 993*2^1237459-1 is not prime. Res64: E687320C65B55B7B Time : 0.0 sec. user=mdettweiler [2012-12-15 15:40:23] 659*2^1237460-1 is not prime. Res64: 7BFFCA8B9331DF4B Time : 0.0 sec. user=mdettweiler [2012-12-15 15:40:23] 669*2^1237460-1 is not prime. Res64: E3B429260F80477D Time : 0.0 sec. user=mdettweiler [2012-12-15 15:50:01] 753*2^1237460-1 is not prime. Res64: D08D92F910B60065 Time : 0.0 sec. user=mdettweiler [2012-12-15 15:50:01] 827*2^1237460-1 is not prime. Res64: 657216865475646C Time : 0.0 sec. user=mdettweiler [2012-12-15 15:57:44] 843*2^1237460-1 is not prime. Res64: 60A11A8F723DC965 Time : 0.0 sec. user=mdettweiler [2012-12-15 15:57:45] 875*2^1237460-1 is not prime. Res64: 991F5B8B640526FD Time : 0.0 sec. user=mdettweiler [2012-12-15 16:07:23] 609*2^1237461-1 is not prime. Res64: D25957DC82EA3005 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:07:24] 661*2^1237461-1 is not prime. Res64: 2645863F8355B040 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:15:10] 691*2^1237461-1 is not prime. Res64: D8C51DABAD54FB33 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:15:11] 781*2^1237461-1 is not prime. Res64: 0C7E88F1A377D5A5 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:24:58] 789*2^1237461-1 is not prime. Res64: 4BE3DCF5384FED98 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:24:59] 819*2^1237461-1 is not prime. Res64: B8769162BDCC335D Time : 0.0 sec. user=mdettweiler [2012-12-15 16:32:45] 847*2^1237461-1 is not prime. Res64: C3D64644C9034143 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:32:46] 895*2^1237461-1 is not prime. Res64: 6ED03C08D3260DF6 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:42:29] 921*2^1237461-1 is not prime. Res64: AE02B0747A241291 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:42:30] 969*2^1237461-1 is not prime. Res64: EB73548C0D153886 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:50:16] 997*2^1237461-1 is not prime. Res64: 8E1B53C3F70EF4D2 Time : 0.0 sec. user=mdettweiler [2012-12-15 16:50:17] 623*2^1237462-1 is not prime. Res64: ED174650D9D4B379 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:00:03] 881*2^1237462-1 is not prime. Res64: 0D71D126B00FDCF2 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:00:03] 609*2^1237463-1 is not prime. Res64: C2671BB5A150D782 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:07:57] 739*2^1237463-1 is not prime. Res64: 10274D6E7B7D905A Time : 0.0 sec. user=mdettweiler [2012-12-15 17:07:59] 813*2^1237463-1 is not prime. Res64: CD72A77D6B14ADFF Time : 0.0 sec. user=mdettweiler [2012-12-15 17:17:42] 831*2^1237463-1 is not prime. Res64: 422FF591043B1270 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:17:43] 859*2^1237463-1 is not prime. Res64: FC7BF5523F2CD731 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:25:32] 915*2^1237463-1 is not prime. Res64: 5D6D4D526DCFE66D Time : 0.0 sec. user=mdettweiler [2012-12-15 17:25:33] 943*2^1237463-1 is not prime. Res64: 7C67B6EB1E45E271 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:35:09] 991*2^1237463-1 is not prime. Res64: F882BC38EE16250C Time : 0.0 sec. user=mdettweiler [2012-12-15 17:35:10] 993*2^1237463-1 is not prime. Res64: 64A663AD349801DB Time : 0.0 sec. user=mdettweiler [2012-12-15 17:43:27] 657*2^1237464-1 is not prime. Res64: 3709B4740E278410 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:43:28] 725*2^1237464-1 is not prime. Res64: FB46988EC8B4FEC5 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:52:34] 759*2^1237464-1 is not prime. Res64: 6C7D378D5F1637F7 Time : 0.0 sec. user=mdettweiler [2012-12-15 17:52:35] 789*2^1237464-1 is not prime. Res64: 174A0B05F6925121 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:00:52] 843*2^1237464-1 is not prime. Res64: 23EE944DCAFBA0FE Time : 0.0 sec. user=mdettweiler [2012-12-15 18:00:53] 927*2^1237464-1 is not prime. Res64: 0EE0BF144911DFC6 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:09:59] 601*2^1237465-1 is not prime. Res64: 69AA452576E0E4DA Time : 0.0 sec. user=mdettweiler [2012-12-15 18:10:01] 649*2^1237465-1 is not prime. Res64: 8B868E900EE45E22 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:18:18] 765*2^1237465-1 is not prime. Res64: F8ECC607F6912FE2 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:18:18] 831*2^1237465-1 is not prime. Res64: EC629C0B6CEC8C20 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:27:39] 885*2^1237465-1 is not prime. Res64: 6913E01D444F5C2A Time : 0.0 sec. user=mdettweiler [2012-12-15 18:27:40] 955*2^1237465-1 is not prime. Res64: 714232AC530B13EB Time : 0.0 sec. user=mdettweiler [2012-12-15 18:35:40] 741*2^1237466-1 is not prime. Res64: E6E71C7CFC776398 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:35:41] 813*2^1237466-1 is not prime. Res64: BC78099BCFF2D347 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:45:03] 837*2^1237466-1 is not prime. Res64: AB16B4DCBFE739B5 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:45:03] 867*2^1237466-1 is not prime. Res64: B974552AFA0F15A7 Time : 0.0 sec. user=mdettweiler [2012-12-15 18:53:04] 911*2^1237466-1 is not prime. Res64: 9CCFB9BFFB32600E Time : 0.0 sec. user=mdettweiler [2012-12-15 18:53:05] 921*2^1237466-1 is not prime. Res64: 58A1D525C8DF093C Time : 0.0 sec. user=mdettweiler [2012-12-15 19:02:27] 625*2^1237467-1 is not prime. Res64: 134A1FDBC21F0C3A Time : 0.0 sec. user=mdettweiler [2012-12-15 19:02:30] 633*2^1237467-1 is not prime. Res64: 0FC6A6936083AA86 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:10:29] 769*2^1237467-1 is not prime. Res64: C350CBB7833A0AB2 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:10:30] 775*2^1237467-1 is not prime. Res64: A945395507A07C30 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:20:11] 795*2^1237467-1 is not prime. Res64: 94C55DD0AB07B8FB Time : 0.0 sec. user=mdettweiler [2012-12-15 19:20:11] 819*2^1237467-1 is not prime. Res64: E35A96ECDA8F5ECE Time : 0.0 sec. user=mdettweiler [2012-12-15 19:27:56] 871*2^1237467-1 is not prime. Res64: EAEBEAC12A6D7EB1 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:27:57] 895*2^1237467-1 is not prime. Res64: 40F7F7798A4E7FCA Time : 0.0 sec. user=mdettweiler [2012-12-15 19:37:34] 919*2^1237467-1 is not prime. Res64: 96FF7C4ECA926C03 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:37:35] 797*2^1237468-1 is not prime. Res64: 72AB4FAA170F5685 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:45:22] 813*2^1237468-1 is not prime. Res64: 2E745AB7A839DDF6 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:45:23] 933*2^1237468-1 is not prime. Res64: F7ADE4FC9B6B2CF7 Time : 0.0 sec. user=mdettweiler [2012-12-15 19:54:57] 615*2^1237469-1 is not prime. Res64: 3DB413AE2B43397F Time : 0.0 sec. user=mdettweiler [2012-12-15 19:54:57] 655*2^1237469-1 is not prime. Res64: 8CF9C0C4A7F8C8F7 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:02:46] 745*2^1237469-1 is not prime. Res64: B8477C14F871968D Time : 0.0 sec. user=mdettweiler [2012-12-15 20:02:47] 829*2^1237469-1 is not prime. Res64: 60F4E247BCBB76F8 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:12:20] 945*2^1237469-1 is not prime. Res64: 15369C7017418AA5 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:12:21] 987*2^1237469-1 is not prime. Res64: 79643D5754B98D90 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:20:19] 681*2^1237470-1 is not prime. Res64: 737C5255CF586766 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:20:19] 971*2^1237470-1 is not prime. Res64: FF2B032B2613CF3C Time : 0.0 sec. user=mdettweiler [2012-12-15 20:29:48] 977*2^1237470-1 is not prime. Res64: 3BA1758DD08705FF Time : 0.0 sec. user=mdettweiler [2012-12-15 20:29:49] 673*2^1237471-1 is not prime. Res64: 358F67ED2F9B01A5 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:37:49] 759*2^1237471-1 is not prime. Res64: DF62CEB9A26C7AD5 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:37:50] 769*2^1237471-1 is not prime. Res64: DE16548172C41805 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:47:26] 771*2^1237471-1 is not prime. Res64: A94A8D2F50FD2217 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:47:27] 789*2^1237471-1 is not prime. Res64: 7B2BC8A193669E81 Time : 0.0 sec. user=mdettweiler [2012-12-15 20:55:24] 805*2^1237471-1 is not prime. Res64: 48285187E2BC836F Time : 0.0 sec. user=mdettweiler [2012-12-15 20:55:25] 913*2^1237471-1 is not prime. Res64: 7721281B7A7A22AA Time : 0.0 sec. user=mdettweiler [2012-12-15 21:04:53] 975*2^1237471-1 is not prime. Res64: C9F0DF2A575504C7 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:04:55] 629*2^1237472-1 is not prime. Res64: 42639B74BBB07F88 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:12:49] 665*2^1237472-1 is not prime. Res64: EBD40A3D9AE67CD7 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:12:49] 867*2^1237472-1 is not prime. Res64: F8DC3DE14C93B190 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:22:27] 903*2^1237472-1 is not prime. Res64: 58D0F89DAD2DFA97 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:22:28] 917*2^1237472-1 is not prime. Res64: 64C8419DF394DCF3 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:30:16] 625*2^1237473-1 is not prime. Res64: 8747338E00ED9567 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:30:17] 639*2^1237473-1 is not prime. Res64: 189963655C0551F9 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:39:51] 679*2^1237473-1 is not prime. Res64: 9F51A1B52188D64E Time : 0.0 sec. user=mdettweiler [2012-12-15 21:39:52] 805*2^1237473-1 is not prime. Res64: 6A46E6B524FFD1DA Time : 0.0 sec. user=mdettweiler [2012-12-15 21:47:43] 985*2^1237473-1 is not prime. Res64: CB97FD20E6AA5C35 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:47:44] 611*2^1237474-1 is not prime. Res64: A8A3C310029826A6 Time : 0.0 sec. user=mdettweiler [2012-12-15 21:57:15] 815*2^1237474-1 is not prime. Res64: 0842BA2EF419A32A Time : 0.0 sec. user=mdettweiler [2012-12-15 21:57:16] 857*2^1237474-1 is not prime. Res64: 638CCFA3FFCE4AAA Time : 0.0 sec. user=mdettweiler [2012-12-15 22:05:08] 945*2^1237474-1 is not prime. Res64: F8CB07C612E7F29D Time : 0.0 sec. user=mdettweiler [2012-12-15 22:05:13] 981*2^1237474-1 is not prime. Res64: 724A6EF7259F8B8E Time : 0.0 sec. user=mdettweiler [2012-12-15 22:14:40] 673*2^1237475-1 is not prime. Res64: 695AC0A30FBDAC8C Time : 0.0 sec. user=mdettweiler [2012-12-15 22:14:41] 685*2^1237475-1 is not prime. Res64: 20C8ED8ED133D144 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:22:44] 889*2^1237475-1 is not prime. Res64: 85D8615473A6A469 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:23:02] 705*2^1237475-1 is not prime. Res64: 28927D4CA0BFC485 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:23:02] 883*2^1237475-1 is not prime. Res64: C5D7C8C326D3809B Time : 0.0 sec. user=mdettweiler [2012-12-15 22:32:08] 943*2^1237475-1 is not prime. Res64: C76D78F41BEAE120 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:32:08] 999*2^1237475-1 is not prime. Res64: 6644CB4F2F3B4695 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:40:27] 623*2^1237476-1 is not prime. Res64: EABD68A20426206F Time : 0.0 sec. user=mdettweiler [2012-12-15 22:40:27] 695*2^1237476-1 is not prime. Res64: 119883E958D66405 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:49:31] 705*2^1237476-1 is not prime. Res64: 1343293B91B1F991 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:49:32] 759*2^1237476-1 is not prime. Res64: 171EA949BD8697B7 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:57:53] 803*2^1237476-1 is not prime. Res64: 5D690236454725A8 Time : 0.0 sec. user=mdettweiler [2012-12-15 22:57:54] 873*2^1237476-1 is not prime. Res64: 7A8CBD0698B8F0C1 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:07:14] 893*2^1237476-1 is not prime. Res64: EFA0BC3AB9796951 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:07:15] 945*2^1237476-1 is not prime. Res64: 2A8C8DF06B2DA905 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:15:41] 615*2^1237477-1 is not prime. Res64: C5F5544620C0DE7F Time : 0.0 sec. user=mdettweiler [2012-12-15 23:15:42] 639*2^1237477-1 is not prime. Res64: 5A37F27F26C3E346 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:24:44] 645*2^1237477-1 is not prime. Res64: E95BDE01D39345A2 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:24:45] 799*2^1237477-1 is not prime. Res64: 9E3DE47C5A22AF09 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:33:04] 895*2^1237477-1 is not prime. Res64: F1CB93E3B4C8BF16 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:33:05] 955*2^1237477-1 is not prime. Res64: AC8E01FA8024792E Time : 0.0 sec. user=mdettweiler [2012-12-15 23:42:07] 755*2^1237478-1 is not prime. Res64: 5641A4DBFEAB2318 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:42:08] 867*2^1237478-1 is not prime. Res64: 95AEE3F5A975D322 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:50:24] 893*2^1237478-1 is not prime. Res64: D04E1FC40FAC777F Time : 0.0 sec. user=mdettweiler [2012-12-15 23:50:24] 953*2^1237478-1 is not prime. Res64: 4E54C5E7648849E8 Time : 0.0 sec. user=mdettweiler [2012-12-15 23:59:26] 601*2^1237479-1 is not prime. Res64: 39507DF9754A84DC Time : 0.0 sec. user=mdettweiler [2012-12-15 23:59:26] 703*2^1237479-1 is not prime. Res64: 231E3E93DDC882F6 Time : 0.0 sec.