user=mdettweiler [2012-11-30 00:02:53] 999*2^1236572-1 is not prime. Res64: 84B0D64472ED3D2A Time : 0.0 sec. user=mdettweiler [2012-11-30 00:02:54] 811*2^1236573-1 is not prime. Res64: 7AA2E61156B3D931 Time : 0.0 sec. user=mdettweiler [2012-11-30 00:17:42] 891*2^1236573-1 is not prime. Res64: D02A86318C18990A Time : 0.0 sec. user=mdettweiler [2012-11-30 00:17:45] 665*2^1236574-1 is not prime. Res64: 2D2B2BE9BC91F523 Time : 0.0 sec. user=mdettweiler [2012-11-30 00:20:24] 681*2^1236574-1 is not prime. Res64: 5DC439AF544CDDAB Time : 0.0 sec. user=mdettweiler [2012-11-30 00:20:25] 707*2^1236574-1 is not prime. Res64: C9C7E8E65B33AEBD Time : 0.0 sec. user=mdettweiler [2012-11-30 00:35:29] 737*2^1236574-1 is not prime. Res64: E97E8982C70ED7DB Time : 0.0 sec. user=mdettweiler [2012-11-30 00:35:30] 791*2^1236574-1 is not prime. Res64: 16429DB26EA7F7CA Time : 0.0 sec. user=mdettweiler [2012-11-30 00:37:58] 827*2^1236574-1 is not prime. Res64: 87BB04262234C4C2 Time : 0.0 sec. user=mdettweiler [2012-11-30 00:37:58] 881*2^1236574-1 is not prime. Res64: 2BFAD4AB21201210 Time : 0.0 sec. user=mdettweiler [2012-11-30 00:52:57] 917*2^1236574-1 is not prime. Res64: CB843ED9E32E9A78 Time : 0.0 sec. user=mdettweiler [2012-11-30 00:52:57] 971*2^1236574-1 is not prime. Res64: 57D12D24059E5E10 Time : 0.0 sec. user=mdettweiler [2012-11-30 00:55:25] 609*2^1236575-1 is not prime. Res64: 4374E2C504D23E7E Time : 0.0 sec. user=mdettweiler [2012-11-30 00:55:25] 909*2^1236575-1 is not prime. Res64: 40F85137E433C41A Time : 0.0 sec. user=mdettweiler [2012-11-30 01:10:31] 913*2^1236575-1 is not prime. Res64: E621E704D9CF55E7 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:10:33] 963*2^1236575-1 is not prime. Res64: 09FEA5720572CF53 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:12:53] 845*2^1236576-1 is not prime. Res64: A48A4C195F4FA2C4 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:12:54] 927*2^1236576-1 is not prime. Res64: 5F73092CC688BA3F Time : 0.0 sec. user=mdettweiler [2012-11-30 01:28:11] 615*2^1236577-1 is not prime. Res64: 18A2B6060D44BFAF Time : 0.0 sec. user=mdettweiler [2012-11-30 01:28:12] 625*2^1236577-1 is not prime. Res64: 058FDE653E549501 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:30:27] 661*2^1236577-1 is not prime. Res64: FE9AEF6292BC3C7B Time : 0.0 sec. user=mdettweiler [2012-11-30 01:30:27] 685*2^1236577-1 is not prime. Res64: B6E3ABA2D039DBC3 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:45:48] 691*2^1236577-1 is not prime. Res64: A0804635E56FE702 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:45:48] 715*2^1236577-1 is not prime. Res64: E7F6A7596EB7A412 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:47:57] 717*2^1236577-1 is not prime. Res64: 56B7AE70B93446A1 Time : 0.0 sec. user=mdettweiler [2012-11-30 01:47:58] 885*2^1236577-1 is not prime. Res64: DC5359174D9DFCD3 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:03:19] 889*2^1236577-1 is not prime. Res64: AB3CA08F58C77B94 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:03:21] 937*2^1236577-1 is not prime. Res64: 0752E285A35E6903 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:05:29] 999*2^1236577-1 is not prime. Res64: EE5458D8AC99068D Time : 0.0 sec. user=mdettweiler [2012-11-30 02:05:31] 923*2^1236578-1 is not prime. Res64: 6FADF011FDE536C0 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:21:24] 625*2^1236579-1 is not prime. Res64: FEED393FDF0EE3D7 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:21:27] 691*2^1236579-1 is not prime. Res64: 3C53771FC788615E Time : 0.0 sec. user=mdettweiler [2012-11-30 02:23:02] 903*2^1236579-1 is not prime. Res64: 28839625D9711E47 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:23:03] 653*2^1236580-1 is not prime. Res64: 9A4E151FAA3B08B0 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:38:59] 665*2^1236580-1 is not prime. Res64: F139B6C172D34628 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:39:01] 719*2^1236580-1 is not prime. Res64: 1C25D97DA347384C Time : 0.0 sec. user=mdettweiler [2012-11-30 02:40:24] 723*2^1236580-1 is not prime. Res64: DF091587DD48AB1C Time : 0.0 sec. user=mdettweiler [2012-11-30 02:40:26] 803*2^1236580-1 is not prime. Res64: 241792FC2A7ED8B0 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:56:36] 885*2^1236580-1 is not prime. Res64: 9ED84E24313AC539 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:56:43] 915*2^1236580-1 is not prime. Res64: 20475663101F8494 Time : 0.0 sec. user=mdettweiler [2012-11-30 02:57:54] 607*2^1236581-1 is not prime. Res64: 591C64A1F10FD87F Time : 0.0 sec. user=mdettweiler [2012-11-30 02:57:57] 745*2^1236581-1 is not prime. Res64: 4459715EEE3F3ED5 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:14:29] 757*2^1236581-1 is not prime. Res64: F7DAAF0B52113F64 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:14:31] 795*2^1236581-1 is not prime. Res64: FECB5EF954748286 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:15:22] 861*2^1236581-1 is not prime. Res64: 725CDEE96C24349D Time : 0.0 sec. user=mdettweiler [2012-11-30 03:15:23] 901*2^1236581-1 is not prime. Res64: 7E9DA13BECEB1A1C Time : 0.0 sec. user=mdettweiler [2012-11-30 03:31:57] 907*2^1236581-1 is not prime. Res64: DEBA7B9BB699D3D5 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:31:59] 693*2^1236582-1 is not prime. Res64: BCD6E9B8789FD2EF Time : 0.0 sec. user=mdettweiler [2012-11-30 03:32:44] 713*2^1236582-1 is not prime. Res64: E3EAB65E9E9847F9 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:32:45] 945*2^1236582-1 is not prime. Res64: B2B12D2AE239D854 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:49:31] 649*2^1236583-1 is not prime. Res64: DDBCC54A0C3CDFAE Time : 0.0 sec. user=mdettweiler [2012-11-30 03:49:31] 661*2^1236583-1 is not prime. Res64: A3FE6176B3D24138 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:50:06] 723*2^1236583-1 is not prime. Res64: 490D8031317C2F32 Time : 0.0 sec. user=mdettweiler [2012-11-30 03:50:06] 793*2^1236583-1 is not prime. Res64: C0DE5DA856E68F7C Time : 0.0 sec. user=mdettweiler [2012-11-30 04:06:52] 819*2^1236583-1 is not prime. Res64: 5F26EEA1627F7CB5 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:06:54] 871*2^1236583-1 is not prime. Res64: 656CE1C65B6CCABB Time : 0.0 sec. user=mdettweiler [2012-11-30 04:07:23] 919*2^1236583-1 is not prime. Res64: 88FC89B240B737B6 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:07:26] 759*2^1236584-1 is not prime. Res64: 99CFCD92F3A35C63 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:24:27] 935*2^1236584-1 is not prime. Res64: E4357840ED8E3C6E Time : 0.0 sec. user=mdettweiler [2012-11-30 04:24:27] 691*2^1236585-1 is not prime. Res64: C3E6B225ACF9933C Time : 0.0 sec. user=mdettweiler [2012-11-30 04:25:11] 741*2^1236585-1 is not prime. Res64: 81A9285725B56A43 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:25:11] 765*2^1236585-1 is not prime. Res64: E67B9737D5B756C3 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:41:46] 811*2^1236585-1 is not prime. Res64: E7EEC4AAFAFADFD5 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:41:47] 817*2^1236585-1 is not prime. Res64: 2199837B5F22DF8A Time : 0.0 sec. user=mdettweiler [2012-11-30 04:42:31] 909*2^1236585-1 is not prime. Res64: B3665376BBDDF2BB Time : 0.0 sec. user=mdettweiler [2012-11-30 04:42:32] 937*2^1236585-1 is not prime. Res64: 146421AEDE88BF37 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:59:09] 603*2^1236586-1 is not prime. Res64: 303F31241A776852 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:59:10] 713*2^1236586-1 is not prime. Res64: 85B58D5948E1C26C Time : 0.0 sec. user=mdettweiler [2012-11-30 04:59:49] 773*2^1236586-1 is not prime. Res64: BB7FAD6C8A423246 Time : 0.0 sec. user=mdettweiler [2012-11-30 04:59:49] 911*2^1236586-1 is not prime. Res64: C17AB99FCAE89BEC Time : 0.0 sec. user=mdettweiler [2012-11-30 05:16:32] 669*2^1236587-1 is not prime. Res64: BF6857C44BDA9AE8 Time : 0.0 sec. user=mdettweiler [2012-11-30 05:16:34] 685*2^1236587-1 is not prime. Res64: 6AE5325114D4310F Time : 0.0 sec. user=mdettweiler [2012-11-30 05:17:16] 753*2^1236587-1 is not prime. Res64: 8263342B13F41E8A Time : 0.0 sec. user=mdettweiler [2012-11-30 05:17:17] 939*2^1236587-1 is not prime. Res64: 91619C7E5DCD0838 Time : 0.0 sec. user=mdettweiler [2012-11-30 05:34:02] 605*2^1236588-1 is not prime. Res64: 6C5D2402AC6DFC4A Time : 0.0 sec. user=mdettweiler [2012-11-30 05:34:02] 767*2^1236588-1 is not prime. Res64: CA410D7CFFD15F6B Time : 0.0 sec. user=mdettweiler [2012-11-30 05:34:41] 777*2^1236588-1 is not prime. Res64: B0F1E4EA770CC4F2 Time : 0.0 sec. user=mdettweiler [2012-11-30 05:34:41] 887*2^1236588-1 is not prime. Res64: 908E63DC710D6F4F Time : 0.0 sec. user=mdettweiler [2012-11-30 05:51:29] 933*2^1236588-1 is not prime. Res64: 56BB160331C295E0 Time : 0.0 sec. user=mdettweiler [2012-11-30 05:51:29] 975*2^1236588-1 is not prime. Res64: 6547F2915CE44450 Time : 0.0 sec. user=mdettweiler [2012-11-30 05:51:58] 817*2^1236589-1 is not prime. Res64: 19240100DD84989A Time : 0.0 sec. user=mdettweiler [2012-11-30 05:51:58] 861*2^1236589-1 is not prime. Res64: 4825FF0473FB17AD Time : 0.0 sec. user=mdettweiler [2012-11-30 06:08:47] 925*2^1236589-1 is not prime. Res64: E5DAA424A59CAF72 Time : 0.0 sec. user=mdettweiler [2012-11-30 06:08:50] 605*2^1236590-1 is not prime. Res64: 565C8F85931D5FFD Time : 0.0 sec. user=mdettweiler [2012-11-30 06:09:15] 675*2^1236590-1 is not prime. Res64: F05AA2BEBA4AB3AF Time : 0.0 sec. user=mdettweiler [2012-11-30 06:09:16] 927*2^1236590-1 is not prime. Res64: AA7FEFB8BF1C8115 Time : 0.0 sec. user=mdettweiler [2012-11-30 06:26:35] 685*2^1236591-1 is not prime. Res64: 5FC270190D99658C Time : 0.0 sec. user=mdettweiler [2012-11-30 06:26:36] 723*2^1236591-1 is not prime. Res64: C811A253D785E804 Time : 0.0 sec. user=mdettweiler [2012-11-30 06:43:55] 825*2^1236591-1 is not prime. Res64: 268428F3F7506626 Time : 0.0 sec. user=mdettweiler [2012-11-30 06:43:56] 871*2^1236591-1 is not prime. Res64: 3B93268BF1A78FE3 Time : 0.0 sec. user=mdettweiler [2012-11-30 06:47:15] 1001*2^1236590-1 is not prime. Res64: 9AFC2919DEC3F5DE Time : 0.0 sec. user=mdettweiler [2012-11-30 06:47:15] 643*2^1236591-1 is not prime. Res64: 1484B00E5A0AB506 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:01:34] 975*2^1236591-1 is not prime. Res64: A4D733472C1D0E62 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:01:35] 635*2^1236592-1 is not prime. Res64: 8642BCD75ABADA7F Time : 0.0 sec. user=mdettweiler [2012-11-30 07:04:38] 653*2^1236592-1 is not prime. Res64: 490EFF9196D4CAFD Time : 0.0 sec. user=mdettweiler [2012-11-30 07:04:40] 677*2^1236592-1 is not prime. Res64: 7DC8C00D04CE4161 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:19:02] 803*2^1236592-1 is not prime. Res64: 284ADBC93C2AD030 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:19:03] 975*2^1236592-1 is not prime. Res64: EE393A0B0259BFF5 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:22:12] 775*2^1236593-1 is not prime. Res64: A1077269F59B95B2 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:22:13] 967*2^1236593-1 is not prime. Res64: 0F07236F2222908C Time : 0.0 sec. user=mdettweiler [2012-11-30 07:36:33] 657*2^1236594-1 is not prime. Res64: 55E42DBA50BA9607 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:36:34] 773*2^1236594-1 is not prime. Res64: 208198145CCEAC6E Time : 0.0 sec. user=mdettweiler [2012-11-30 07:39:30] 803*2^1236594-1 is not prime. Res64: CA9B431D8A112A5D Time : 0.0 sec. user=mdettweiler [2012-11-30 07:39:30] 873*2^1236594-1 is not prime. Res64: CA80EEC458E72B02 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:54:01] 975*2^1236594-1 is not prime. Res64: 81B194AEF696D022 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:54:01] 1001*2^1236594-1 is not prime. Res64: 90C0F19323DBCD98 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:56:47] 685*2^1236595-1 is not prime. Res64: EA592E4306BFB246 Time : 0.0 sec. user=mdettweiler [2012-11-30 07:56:47] 723*2^1236595-1 is not prime. Res64: 7C615DD5E467B4F2 Time : 0.0 sec. user=mdettweiler [2012-11-30 08:11:21] 805*2^1236595-1 is not prime. Res64: 6E11F625D21698BA Time : 0.0 sec. user=mdettweiler [2012-11-30 08:11:24] 861*2^1236595-1 is not prime. Res64: C99A608269ACE420 Time : 0.0 sec. user=mdettweiler [2012-11-30 08:14:07] 871*2^1236595-1 is not prime. Res64: 8CEB198D350E53CF Time : 0.0 sec. user=mdettweiler [2012-11-30 08:14:10] 889*2^1236595-1 is not prime. Res64: 04EB6876EF9BAA19 Time : 0.0 sec. user=mdettweiler [2012-11-30 08:28:43] 633*2^1236596-1 is not prime. Res64: C2DE86E72B1177E4 Time : 0.0 sec. user=mdettweiler [2012-11-30 08:28:43] 689*2^1236596-1 is not prime. Res64: AA1D8B796B1413A8 Time : 0.0 sec. user=mdettweiler [2012-11-30 08:31:34] 725*2^1236596-1 is not prime. Res64: 8CEA06679D7B533D Time : 0.0 sec. user=mdettweiler [2012-11-30 08:31:35] 785*2^1236596-1 is not prime. Res64: 95B2F1EEAF086F2C Time : 0.0 sec. user=mdettweiler [2012-11-30 08:46:04] 903*2^1236596-1 is not prime. Res64: 701D8EDA5B12AFAB Time : 0.0 sec. user=mdettweiler [2012-11-30 08:46:04] 945*2^1236596-1 is not prime. Res64: DC6E83B15926D12B Time : 0.0 sec. user=mdettweiler [2012-11-30 08:48:58] 601*2^1236597-1 is not prime. Res64: E279A62FFD4B911C Time : 0.0 sec. user=mdettweiler [2012-11-30 08:48:58] 649*2^1236597-1 is not prime. Res64: CDF1DC5CA049BB97 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:03:22] 667*2^1236597-1 is not prime. Res64: C6001CF7ECF0A6D8 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:03:23] 777*2^1236597-1 is not prime. Res64: E9653D64C2CCE0D9 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:06:15] 847*2^1236597-1 is not prime. Res64: 6035B7658830DB75 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:06:16] 885*2^1236597-1 is not prime. Res64: 135133B4A53A3B97 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:20:58] 919*2^1236597-1 is not prime. Res64: D1945A01A17B2364 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:20:59] 603*2^1236598-1 is not prime. Res64: D828E1F47A97DE0E Time : 0.0 sec. user=mdettweiler [2012-11-30 09:23:46] 621*2^1236598-1 is not prime. Res64: C75619168B05E682 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:23:47] 723*2^1236598-1 is not prime. Res64: 945863C255BEF67F Time : 0.0 sec. user=mdettweiler [2012-11-30 09:38:21] 765*2^1236598-1 is not prime. Res64: AEB9FD147C70B32A Time : 0.0 sec. user=mdettweiler [2012-11-30 09:38:22] 887*2^1236598-1 is not prime. Res64: 984A16DA79357B6E Time : 0.0 sec. user=mdettweiler [2012-11-30 09:41:04] 981*2^1236598-1 is not prime. Res64: 1909A7C5D1198290 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:41:05] 995*2^1236598-1 is not prime. Res64: 2A64BE07F192BD32 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:55:40] 619*2^1236599-1 is not prime. Res64: 42B8AB3FB3BD6709 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:55:40] 621*2^1236599-1 is not prime. Res64: 20C6D0BA3E456573 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:58:23] 843*2^1236599-1 is not prime. Res64: DDFEB6E06D40CA81 Time : 0.0 sec. user=mdettweiler [2012-11-30 09:58:23] 861*2^1236599-1 is not prime. Res64: ADB21D1DC26CB33F Time : 0.0 sec. user=mdettweiler [2012-11-30 10:13:01] 969*2^1236599-1 is not prime. Res64: 6AF69C4ECDCC4E66 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:13:03] 973*2^1236599-1 is not prime. Res64: CA07C02EBA8DE7C7 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:15:41] 999*2^1236599-1 is not prime. Res64: D1C2311116E2CE8B Time : 0.0 sec. user=mdettweiler [2012-11-30 10:15:44] 615*2^1236600-1 is not prime. Res64: B6FB04F2F7C8169A Time : 0.0 sec. user=mdettweiler [2012-11-30 10:30:29] 935*2^1236600-1 is not prime. Res64: 7546BFE9E47CD563 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:30:29] 945*2^1236600-1 is not prime. Res64: 53ACF468C920BE61 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:33:07] 625*2^1236601-1 is not prime. Res64: C211C56D50E81B7A Time : 0.0 sec. user=mdettweiler [2012-11-30 10:33:08] 651*2^1236601-1 is not prime. Res64: DB762990CDA74402 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:47:50] 687*2^1236601-1 is not prime. Res64: BA5880C3CDD65F14 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:47:50] 715*2^1236601-1 is not prime. Res64: 3C0E787C5F338013 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:50:25] 747*2^1236601-1 is not prime. Res64: 032AE4C85F8EB791 Time : 0.0 sec. user=mdettweiler [2012-11-30 10:50:25] 811*2^1236601-1 is not prime. Res64: C91B3C0DC17E7093 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:05:08] 895*2^1236601-1 is not prime. Res64: EEE49AF9464F491D Time : 0.0 sec. user=mdettweiler [2012-11-30 11:05:09] 945*2^1236601-1 is not prime. Res64: E5B9C9B18F043547 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:07:41] 603*2^1236602-1 is not prime. Res64: 3447BA4A9B5BC12A Time : 0.0 sec. user=mdettweiler [2012-11-30 11:07:42] 615*2^1236602-1 is not prime. Res64: 5417DC765F48203A Time : 0.0 sec. user=mdettweiler [2012-11-30 11:22:47] 753*2^1236602-1 is not prime. Res64: 35560F7EAD473C82 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:22:48] 843*2^1236602-1 is not prime. Res64: C177F828B1C63801 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:25:03] 893*2^1236602-1 is not prime. Res64: B97D6ECB504B6F0C Time : 0.0 sec. user=mdettweiler [2012-11-30 11:25:06] 983*2^1236602-1 is not prime. Res64: 92A564B7B0B0A5B5 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:40:16] 625*2^1236603-1 is not prime. Res64: EDD9994693D3596B Time : 0.0 sec. user=mdettweiler [2012-11-30 11:40:16] 663*2^1236603-1 is not prime. Res64: 3E94DA8E352503B3 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:42:40] 751*2^1236603-1 is not prime. Res64: 78253C625C01DBC3 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:42:41] 769*2^1236603-1 is not prime. Res64: 53B85AF1785596A0 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:58:14] 793*2^1236603-1 is not prime. Res64: CC405D330F39A272 Time : 0.0 sec. user=mdettweiler [2012-11-30 11:58:15] 795*2^1236603-1 is not prime. Res64: F0C4B4D37B8053B5 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:00:28] 819*2^1236603-1 is not prime. Res64: D613FA04E639F1B5 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:00:29] 901*2^1236603-1 is not prime. Res64: 4E3526AFDCEBBDC8 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:15:37] 955*2^1236603-1 is not prime. Res64: 3496FCF0CA639CCA Time : 0.0 sec. user=mdettweiler [2012-11-30 12:15:37] 687*2^1236604-1 is not prime. Res64: DFFB4FBF5FCB598E Time : 0.0 sec. user=mdettweiler [2012-11-30 12:18:00] 693*2^1236604-1 is not prime. Res64: F44A053E2BAE58B6 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:18:04] 897*2^1236604-1 is not prime. Res64: 443A9B0B25A6A74E Time : 0.0 sec. user=mdettweiler [2012-11-30 12:33:46] 903*2^1236604-1 is not prime. Res64: 877B73D2A08A28B5 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:33:47] 987*2^1236604-1 is not prime. Res64: C1496F87022242C9 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:35:35] 691*2^1236605-1 is not prime. Res64: 8976D94EC7FAD25F Time : 0.0 sec. user=mdettweiler [2012-11-30 12:35:36] 759*2^1236605-1 is not prime. Res64: FA76F1DAF2DB34D2 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:51:08] 787*2^1236605-1 is not prime. Res64: 818D4861A2350C9D Time : 0.0 sec. user=mdettweiler [2012-11-30 12:51:09] 795*2^1236605-1 is not prime. Res64: 6D7A551B9B9C33F8 Time : 0.0 sec. user=mdettweiler [2012-11-30 12:52:58] 981*2^1236605-1 is not prime. Res64: 5F9560DC206F38CA Time : 0.0 sec. user=mdettweiler [2012-11-30 12:52:58] 985*2^1236605-1 is not prime. Res64: 18D71ECDA1FD64A0 Time : 0.0 sec. user=mdettweiler [2012-11-30 13:08:28] 627*2^1236606-1 is not prime. Res64: AE63AF9CC5AE71FD Time : 0.0 sec. user=mdettweiler [2012-11-30 13:08:29] 713*2^1236606-1 is not prime. Res64: D607ABBA3FB0104B Time : 0.0 sec. user=mdettweiler [2012-11-30 13:10:26] 717*2^1236606-1 is not prime. Res64: 1E58FBA0004F3C28 Time : 0.0 sec. user=mdettweiler [2012-11-30 13:10:28] 741*2^1236606-1 is not prime. Res64: 8D2668DAB9EF68F9 Time : 0.0 sec. user=mdettweiler [2012-11-30 13:28:17] 921*2^1236606-1 is not prime. Res64: 55A1BD10A2F8520A Time : 0.0 sec. user=mdettweiler [2012-11-30 13:28:18] 963*2^1236606-1 is not prime. Res64: BD6D2A1A5C69465E Time : 0.0 sec. user=mdettweiler [2012-11-30 14:00:42] 783*2^1236606-1 is not prime. Res64: 73A815E7C7D9B031 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:00:44] 801*2^1236606-1 is not prime. Res64: 8712B8EED3A005F3 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:14:26] 993*2^1236606-1 is not prime. Res64: F8EA856CDC8C93E0 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:14:27] 619*2^1236607-1 is not prime. Res64: DAC5B1833DBFB8D1 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:28:19] 705*2^1236607-1 is not prime. Res64: C95B879C02AD5F30 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:28:19] 871*2^1236607-1 is not prime. Res64: F0C67E7F0A5E6DC0 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:32:18] 891*2^1236607-1 is not prime. Res64: 1EA0A14CE854E7CA Time : 0.0 sec. user=mdettweiler [2012-11-30 14:32:19] 939*2^1236607-1 is not prime. Res64: D90EE7CA8DB47454 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:46:17] 603*2^1236608-1 is not prime. Res64: E5819DB559D9E971 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:46:17] 713*2^1236608-1 is not prime. Res64: 4EA234E817CD56C9 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:50:30] 725*2^1236608-1 is not prime. Res64: 7DC7FF6CBEB59008 Time : 0.0 sec. user=mdettweiler [2012-11-30 14:50:30] 753*2^1236608-1 is not prime. Res64: FA16DFAF5B116283 Time : 0.0 sec. user=mdettweiler [2012-11-30 15:26:24] 855*2^1236608-1 is not prime. Res64: 960284AEF440FB34 Time : 0.0 sec. user=mdettweiler [2012-11-30 15:26:25] 999*2^1236608-1 is not prime. Res64: DBF0DDC4CCB4181B Time : 0.0 sec. user=mdettweiler [2012-11-30 15:44:05] 675*2^1236609-1 is not prime. Res64: C520FD6E36C72130 Time : 0.0 sec. user=mdettweiler [2012-11-30 15:44:06] 711*2^1236609-1 is not prime. Res64: 27FD840BBF8507F0 Time : 0.0 sec. user=mdettweiler [2012-11-30 15:44:28] 795*2^1236609-1 is not prime. Res64: FC3DA385D5B310BE Time : 0.0 sec. user=mdettweiler [2012-11-30 15:44:28] 817*2^1236609-1 is not prime. Res64: EECFEAF2B791992A Time : 0.0 sec. user=mdettweiler [2012-11-30 16:01:56] 867*2^1236609-1 is not prime. Res64: 253CEBBB97D7EE0C Time : 0.0 sec. user=mdettweiler [2012-11-30 16:01:57] 623*2^1236610-1 is not prime. Res64: 66968AE15A9DEA9E Time : 0.0 sec. user=mdettweiler [2012-11-30 16:02:23] 777*2^1236610-1 is not prime. Res64: F1B4A2FBB4A8CCAF Time : 0.0 sec. user=mdettweiler [2012-11-30 16:02:23] 843*2^1236610-1 is not prime. Res64: D7DE15100DA652B6 Time : 0.0 sec. user=mdettweiler [2012-11-30 16:19:58] 855*2^1236610-1 is not prime. Res64: 4A713CA087D3D714 Time : 0.0 sec. user=mdettweiler [2012-11-30 16:20:00] 917*2^1236610-1 is not prime. Res64: 215073A2F3820E98 Time : 0.0 sec. user=mdettweiler [2012-11-30 16:56:43] 945*2^1236610-1 is not prime. Res64: FC6AF0B77648CBAC Time : 0.0 sec. user=mdettweiler [2012-11-30 16:56:44] 609*2^1236611-1 is not prime. Res64: AB142A6FEDD46454 Time : 0.0 sec. user=mdettweiler [2012-11-30 16:59:30] 675*2^1236611-1 is not prime. Res64: 77C8F45F39D5F592 Time : 0.0 sec. user=mdettweiler [2012-11-30 16:59:31] 801*2^1236611-1 is not prime. Res64: F4E6FE97D079F208 Time : 0.0 sec. user=mdettweiler [2012-11-30 17:14:51] 955*2^1236611-1 is not prime. Res64: C4AF0A0D6CA7882F Time : 0.0 sec. user=mdettweiler [2012-11-30 17:14:52] 973*2^1236611-1 is not prime. Res64: 1E46230C1D2CBA3A Time : 0.0 sec. user=mdettweiler [2012-11-30 17:17:33] 669*2^1236612-1 is not prime. Res64: 6AEAC7E6369DA98E Time : 0.0 sec. user=mdettweiler [2012-11-30 17:17:34] 737*2^1236612-1 is not prime. Res64: 9B6FC64B35EB65B4 Time : 0.0 sec. user=mdettweiler [2012-11-30 17:32:43] 825*2^1236612-1 is not prime. Res64: BBBFA79639A2219B Time : 0.0 sec. user=mdettweiler [2012-11-30 17:32:43] 875*2^1236612-1 is not prime. Res64: 09DFBA8F447D3739 Time : 0.0 sec. user=mdettweiler [2012-11-30 17:35:55] 915*2^1236612-1 is not prime. Res64: 33BF042AE22118E6 Time : 0.0 sec. user=mdettweiler [2012-11-30 17:35:55] 947*2^1236612-1 is not prime. Res64: 9D71603811A90F92 Time : 0.0 sec. user=mdettweiler [2012-11-30 17:50:39] 999*2^1236612-1 is not prime. Res64: C8779095B7D815B1 Time : 0.0 sec. user=mdettweiler [2012-11-30 17:50:39] 615*2^1236613-1 is not prime. Res64: FF9C17FF027C391F Time : 0.0 sec. user=mdettweiler [2012-11-30 17:54:05] 721*2^1236613-1 is not prime. Res64: 20DBE53A8D2E6BAC Time : 0.0 sec. user=mdettweiler [2012-11-30 17:54:05] 801*2^1236613-1 is not prime. Res64: 37EE37FCA9DA566B Time : 0.0 sec. user=mdettweiler [2012-11-30 18:08:09] 817*2^1236613-1 is not prime. Res64: E4840D8EC17347A7 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:08:12] 829*2^1236613-1 is not prime. Res64: 723188F16029798F Time : 0.0 sec. user=mdettweiler [2012-11-30 18:11:24] 901*2^1236613-1 is not prime. Res64: 4A2B88EA9DBE5466 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:11:25] 915*2^1236613-1 is not prime. Res64: DE1D37A4899E0C03 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:25:56] 987*2^1236613-1 is not prime. Res64: 8D70CD73F54381B1 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:25:57] 785*2^1236614-1 is not prime. Res64: 7436439980CB6C20 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:28:49] 851*2^1236614-1 is not prime. Res64: 1515DA33642C5886 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:28:49] 873*2^1236614-1 is not prime. Res64: 49E2161E6DD54A31 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:43:18] 921*2^1236614-1 is not prime. Res64: 7DF0C7CD4A0C0647 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:43:18] 971*2^1236614-1 is not prime. Res64: 352AFFC4DE08615D Time : 0.0 sec. user=mdettweiler [2012-11-30 18:46:13] 981*2^1236614-1 is not prime. Res64: 5B486CEFF352DFB4 Time : 0.0 sec. user=mdettweiler [2012-11-30 18:46:14] 1001*2^1236614-1 is not prime. Res64: A8A95878CEA5C203 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:00:39] 601*2^1236615-1 is not prime. Res64: B35BF975D51E10EF Time : 0.0 sec. user=mdettweiler [2012-11-30 19:00:40] 723*2^1236615-1 is not prime. Res64: 2521F36A18819A27 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:03:33] 829*2^1236615-1 is not prime. Res64: 505E501B7A6B1E30 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:03:34] 865*2^1236615-1 is not prime. Res64: C8FE7FFE26B33653 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:18:10] 891*2^1236615-1 is not prime. Res64: BFB45414F7117122 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:18:12] 951*2^1236615-1 is not prime. Res64: 100FBF360E552062 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:21:18] 985*2^1236615-1 is not prime. Res64: F3F3E580FA0622D7 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:21:18] 629*2^1236616-1 is not prime. Res64: D7439FA7AC6DBCCA Time : 0.0 sec. user=mdettweiler [2012-11-30 19:57:38] 869*2^1236616-1 is not prime. Res64: 5B63A0AE4CA77144 Time : 0.0 sec. user=mdettweiler [2012-11-30 19:57:39] 947*2^1236616-1 is not prime. Res64: FE485CBB6D26C3B0 Time : 0.0 sec. user=mdettweiler [2012-11-30 20:15:17] 999*2^1236616-1 is not prime. Res64: A89235647E54C55C Time : 0.0 sec. user=mdettweiler [2012-11-30 20:15:22] 615*2^1236617-1 is not prime. Res64: 1EBFAFDA57D062A2 Time : 0.0 sec. user=mdettweiler [2012-11-30 20:31:06] 843*2^1236616-1 is not prime. Res64: 0E4F86117493394F Time : 0.0 sec. user=mdettweiler [2012-11-30 20:31:07] 855*2^1236616-1 is not prime. Res64: BB3AA19B25901110 Time : 0.0 sec. user=mdettweiler [2012-11-30 20:33:19] 649*2^1236617-1 is not prime. Res64: EA281C96811631ED Time : 0.0 sec. user=mdettweiler [2012-11-30 20:33:20] 711*2^1236617-1 is not prime. Res64: B52904C83EBB5C8D Time : 0.0 sec. user=mdettweiler [2012-11-30 20:48:36] 759*2^1236617-1 is not prime. Res64: 233A5D1867F25595 Time : 0.0 sec. user=mdettweiler [2012-11-30 20:48:37] 865*2^1236617-1 is not prime. Res64: 7E4ABE84286E3E0B Time : 0.0 sec. user=mdettweiler [2012-11-30 20:50:42] 879*2^1236617-1 is not prime. Res64: 24F54B7EF7447DF6 Time : 0.0 sec. user=mdettweiler [2012-11-30 20:50:42] 937*2^1236617-1 is not prime. Res64: 5F9A7371FE5E2BE1 Time : 0.0 sec. user=mdettweiler [2012-11-30 21:06:01] 991*2^1236617-1 is not prime. Res64: 479E0C5079C50C30 Time : 0.0 sec. user=mdettweiler [2012-11-30 21:06:03] 695*2^1236618-1 is not prime. Res64: 48C3AAFFDBFB05B3 Time : 0.0 sec. user=mdettweiler [2012-11-30 21:25:50] 649*2^1236619-1 is not prime. Res64: E65D268B260F088A Time : 0.0 sec. user=mdettweiler [2012-11-30 21:25:50] 859*2^1236619-1 is not prime. Res64: E2CB6D2C3B993DD7 Time : 0.0 sec. user=mdettweiler [2012-11-30 21:43:42] 909*2^1236619-1 is not prime. Res64: 88AEEF8E8703D4F4 Time : 0.0 sec. user=mdettweiler [2012-11-30 21:43:43] 939*2^1236619-1 is not prime. Res64: 8A36BDCDD01D2E9A Time : 0.0 sec. user=mdettweiler [2012-11-30 21:46:20] 767*2^1236618-1 is not prime. Res64: 94461450B0329213 Time : 0.0 sec. user=mdettweiler [2012-11-30 21:46:21] 977*2^1236618-1 is not prime. Res64: EC3BBDA6B33FFE4A Time : 0.0 sec. user=mdettweiler [2012-11-30 22:01:01] 659*2^1236620-1 is not prime. Res64: E9D9F9CDFC4A6E35 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:01:02] 767*2^1236620-1 is not prime. Res64: AC15B1CC9CF7D58B Time : 0.0 sec. user=mdettweiler [2012-11-30 22:03:38] 777*2^1236620-1 is not prime. Res64: 5BD9B7F152C1EDF4 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:03:39] 827*2^1236620-1 is not prime. Res64: 5CAE7CD0B510B3AA Time : 0.0 sec. user=mdettweiler [2012-11-30 22:18:35] 833*2^1236620-1 is not prime. Res64: 664C7AB9BC6C81CB Time : 0.0 sec. user=mdettweiler [2012-11-30 22:18:40] 621*2^1236621-1 is not prime. Res64: C2F5430342A6D7F0 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:20:58] 649*2^1236621-1 is not prime. Res64: 97C0A4ACFDEE189C Time : 0.0 sec. user=mdettweiler [2012-11-30 22:21:00] 741*2^1236621-1 is not prime. Res64: D7BA584A1C54F1EF Time : 0.0 sec. user=mdettweiler [2012-11-30 22:36:35] 811*2^1236621-1 is not prime. Res64: D3426D924FF97235 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:36:35] 835*2^1236621-1 is not prime. Res64: 8F63096A7205D284 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:38:40] 999*2^1236621-1 is not prime. Res64: 141E05527A767870 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:38:40] 617*2^1236622-1 is not prime. Res64: E3971F06103A27A9 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:53:55] 651*2^1236622-1 is not prime. Res64: 17235CD1AADB21A4 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:53:55] 681*2^1236622-1 is not prime. Res64: 131C09D578CA84D4 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:55:57] 723*2^1236622-1 is not prime. Res64: B3589D9496F1ECC4 Time : 0.0 sec. user=mdettweiler [2012-11-30 22:55:58] 731*2^1236622-1 is not prime. Res64: F2A04E440FC75623 Time : 0.0 sec. user=mdettweiler [2012-11-30 23:11:12] 777*2^1236622-1 is not prime. Res64: 6D08E605F49A56AE Time : 0.0 sec. user=mdettweiler [2012-11-30 23:11:13] 831*2^1236622-1 is not prime. Res64: 56F3D0888F402316 Time : 0.0 sec. user=mdettweiler [2012-11-30 23:13:18] 843*2^1236622-1 is not prime. Res64: 8DFEFC859CCC3509 Time : 0.0 sec. user=mdettweiler [2012-11-30 23:13:19] 885*2^1236622-1 is not prime. Res64: 1E0B76DEF536E89F Time : 0.0 sec. user=mdettweiler [2012-11-30 23:28:37] 911*2^1236622-1 is not prime. Res64: E227628FE6DB2230 Time : 0.0 sec. user=mdettweiler [2012-11-30 23:28:37] 987*2^1236622-1 is not prime. Res64: E59921C8424E78FB Time : 0.0 sec. user=mdettweiler [2012-11-30 23:30:42] 813*2^1236623-1 is not prime. Res64: 15209206F0855C10 Time : 0.0 sec. user=mdettweiler [2012-11-30 23:30:42] 825*2^1236623-1 is not prime. Res64: C51718183B258A75 Time : 0.0 sec. user=mdettweiler [2012-11-30 23:45:58] 895*2^1236623-1 is not prime. Res64: 7BE422BFF70CB39D Time : 0.0 sec. user=mdettweiler [2012-11-30 23:45:58] 719*2^1236624-1 is not prime. Res64: CFD459DA19971FB1 Time : 0.0 sec. user=mdettweiler [2012-11-30 23:48:01] 873*2^1236624-1 is not prime. Res64: 44786C589AF8316A Time : 0.0 sec. user=mdettweiler [2012-11-30 23:48:02] 927*2^1236624-1 is not prime. Res64: 46A0492875D5A43F Time : 0.0 sec.