user=mdettweiler [2012-10-07 00:08:09] 691*2^1230205-1 is not prime. Res64: 9386659B26EDB640 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:08:10] 699*2^1230205-1 is not prime. Res64: AA4015A65F1F6164 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:12:37] 757*2^1230205-1 is not prime. Res64: D865C782911262D2 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:12:39] 771*2^1230205-1 is not prime. Res64: 81B1CFF332A0C6F8 Time : 0.0 sec. user=vaughan [2012-10-07 00:21:44] 645*2^1230205-1 is not prime. Res64: 9709F578F600B286 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:28:51] 955*2^1230205-1 is not prime. Res64: 7CBD6C2E29C083A1 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:28:54] 693*2^1230206-1 is not prime. Res64: 0A45702B1A5FA710 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:33:19] 785*2^1230206-1 is not prime. Res64: 4B6D61F3A62365E2 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:33:23] 801*2^1230206-1 is not prime. Res64: 92F7CFDC910778B3 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:49:46] 851*2^1230206-1 is not prime. Res64: 286C7F2B21C5B85C Time : 0.0 sec. user=mdettweiler [2012-10-07 00:49:46] 921*2^1230206-1 is not prime. Res64: 884A6A416A11859E Time : 0.0 sec. user=mdettweiler [2012-10-07 00:54:03] 953*2^1230206-1 is not prime. Res64: 13AF18A3F0017AF4 Time : 0.0 sec. user=mdettweiler [2012-10-07 00:54:04] 957*2^1230206-1 is not prime. Res64: BE71C2CAE79FFD09 Time : 0.0 sec. user=vaughan [2012-10-07 00:59:54] 825*2^1230206-1 is not prime. Res64: E5C12A98BC0101CF Time : 0.0 sec. user=mdettweiler [2012-10-07 01:10:26] 601*2^1230207-1 is not prime. Res64: 8BBF74F34BF6CE21 Time : 0.0 sec. user=mdettweiler [2012-10-07 01:10:29] 651*2^1230207-1 is not prime. Res64: 73A9BC6D3175B9D1 Time : 0.0 sec. user=mdettweiler [2012-10-07 01:14:41] 765*2^1230207-1 is not prime. Res64: 5945E026AA0F42CC Time : 0.0 sec. user=mdettweiler [2012-10-07 01:14:41] 861*2^1230207-1 is not prime. Res64: C732EC7A2789399D Time : 0.0 sec. user=mdettweiler [2012-10-07 01:31:11] 933*2^1230207-1 is not prime. Res64: 93227D2983A166D8 Time : 0.0 sec. user=mdettweiler [2012-10-07 01:31:12] 677*2^1230208-1 is not prime. Res64: 61462714E409EB96 Time : 0.0 sec. user=mdettweiler [2012-10-07 01:35:19] 713*2^1230208-1 is not prime. Res64: 597D6444CA481AD7 Time : 0.0 sec. user=mdettweiler [2012-10-07 01:35:19] 735*2^1230208-1 is not prime. Res64: 764EE6CEBDEB51BB Time : 0.0 sec. user=vaughan [2012-10-07 01:37:36] 885*2^1230207-1 is not prime. Res64: 8AB657760CCAA65E Time : 0.0 sec. user=mdettweiler [2012-10-07 01:51:51] 957*2^1230208-1 is not prime. Res64: F850E8886DD668B5 Time : 0.0 sec. user=mdettweiler [2012-10-07 01:51:51] 999*2^1230208-1 is not prime. Res64: 7018287BE50B6A8C Time : 0.0 sec. user=mdettweiler [2012-10-07 01:55:55] 631*2^1230209-1 is not prime. Res64: AEA515942D7D0749 Time : 0.0 sec. user=mdettweiler [2012-10-07 01:55:56] 729*2^1230209-1 is not prime. Res64: EF7243DAF10B19A6 Time : 0.0 sec. user=mdettweiler [2012-10-07 02:12:28] 829*2^1230209-1 is not prime. Res64: 83CD179881C0C603 Time : 0.0 sec. user=mdettweiler [2012-10-07 02:12:29] 865*2^1230209-1 is not prime. Res64: D5C24059948F6513 Time : 0.0 sec. user=vaughan [2012-10-07 02:15:20] 789*2^1230209-1 is not prime. Res64: C6AB2F6BCC450DD2 Time : 0.0 sec. user=mdettweiler [2012-10-07 02:16:33] 867*2^1230209-1 is not prime. Res64: A80C30E86D8BF80F Time : 0.0 sec. user=mdettweiler [2012-10-07 02:16:35] 931*2^1230209-1 is not prime. Res64: 3A35DFBAFE8990DB Time : 0.0 sec. user=mdettweiler [2012-10-07 02:33:09] 985*2^1230209-1 is not prime. Res64: 3FC02B85EA42D423 Time : 0.0 sec. user=mdettweiler [2012-10-07 02:33:10] 611*2^1230210-1 is not prime. Res64: BE869DDE8172AC48 Time : 0.0 sec. user=mdettweiler [2012-10-07 02:37:12] 803*2^1230210-1 is not prime. Res64: 5D4BB7E9485077B8 Time : 0.0 sec. user=mdettweiler [2012-10-07 02:37:13] 833*2^1230210-1 is not prime. Res64: 1E81EB05D72B0B88 Time : 0.0 sec. user=vaughan [2012-10-07 02:53:09] 755*2^1230210-1 is not prime. Res64: 39D7C320A767002B Time : 0.0 sec. user=mdettweiler [2012-10-07 02:54:10] 843*2^1230210-1 is not prime. Res64: EB07C3C012C1FE4F Time : 0.0 sec. user=mdettweiler [2012-10-07 02:57:50] 891*2^1230210-1 is not prime. Res64: C63EDDD8D3B58D11 Time : 0.0 sec. user=mdettweiler [2012-10-07 02:57:50] 927*2^1230210-1 is not prime. Res64: 57FD6C8EE286F383 Time : 0.0 sec. user=vaughan [2012-10-07 03:31:04] 945*2^1230210-1 is not prime. Res64: 5342D22BB6FA8EC3 Time : 0.0 sec. user=vaughan [2012-10-07 04:09:05] 619*2^1230211-1 is not prime. Res64: 625272680A534531 Time : 0.0 sec. user=vaughan [2012-10-07 04:47:19] 679*2^1230211-1 is not prime. Res64: A81944B6C9C66E11 Time : 0.0 sec. user=vaughan [2012-10-07 05:25:10] 741*2^1230211-1 is not prime. Res64: ADE39315591A5B87 Time : 0.0 sec. user=vaughan [2012-10-07 06:03:06] 759*2^1230211-1 is not prime. Res64: 8089FED3C05A82F2 Time : 0.0 sec. user=vaughan [2012-10-07 06:41:03] 999*2^1230211-1 is not prime. Res64: AF7A5DE8A47BDFE5 Time : 0.0 sec. user=vaughan [2012-10-07 07:18:51] 605*2^1230212-1 is not prime. Res64: D9CA203B7435EF77 Time : 0.0 sec. user=vaughan [2012-10-07 07:56:47] 617*2^1230212-1 is not prime. Res64: 9D181D09AF105576 Time : 0.0 sec. user=vaughan [2012-10-07 08:34:34] 635*2^1230212-1 is not prime. Res64: 8A8D99C6E7087CDF Time : 0.0 sec. user=vaughan [2012-10-07 09:12:21] 719*2^1230212-1 is not prime. Res64: 39659E688A0E94D9 Time : 0.0 sec. user=vaughan [2012-10-07 09:50:11] 725*2^1230212-1 is not prime. Res64: F4B4D6BEB7ADBB72 Time : 0.0 sec. user=vaughan [2012-10-07 10:28:02] 743*2^1230212-1 is not prime. Res64: D3CD3A62436BE46F Time : 0.0 sec. user=mdettweiler [2012-10-07 11:04:51] 845*2^1230210-1 is not prime. Res64: 5C0087C3CC307981 Time : 0.0 sec. user=vaughan [2012-10-07 11:05:48] 867*2^1230212-1 is not prime. Res64: 19CDC8AA6EF35F36 Time : 0.0 sec. user=mdettweiler [2012-10-07 11:15:09] 603*2^1230211-1 is not prime. Res64: 2D59CC8501DBD557 Time : 0.0 sec. user=mdettweiler [2012-10-07 11:15:13] 609*2^1230211-1 is not prime. Res64: 722A3BEFEEA8986A Time : 0.0 sec. user=mdettweiler [2012-10-07 11:36:26] 935*2^1230212-1 is not prime. Res64: 0CBD5767FF076FC0 Time : 0.0 sec. user=mdettweiler [2012-10-07 11:36:27] 999*2^1230212-1 is not prime. Res64: 079DB038BA3BE869 Time : 0.0 sec. user=vaughan [2012-10-07 11:43:41] 909*2^1230212-1 is not prime. Res64: 449A1997380C9F19 Time : 0.0 sec. user=mdettweiler [2012-10-07 11:50:19] 609*2^1230213-1 is not prime. Res64: 4F4BFE4F9A1953E2 Time : 0.0 sec. user=mdettweiler [2012-10-07 11:50:19] 651*2^1230213-1 is not prime. Res64: 057D16DAF8852E60 Time : 0.0 sec. user=mdettweiler [2012-10-07 11:57:17] 741*2^1230213-1 is not prime. Res64: 09D8CFED9576DC8E Time : 0.0 sec. user=mdettweiler [2012-10-07 11:57:17] 915*2^1230213-1 is not prime. Res64: B8EDF3A17806F9FC Time : 0.0 sec. user=mdettweiler [2012-10-07 12:11:24] 979*2^1230213-1 is not prime. Res64: 8C9F940CCA72DAEB Time : 0.0 sec. user=mdettweiler [2012-10-07 12:11:25] 991*2^1230213-1 is not prime. Res64: 1B42B077141D0F3D Time : 0.0 sec. user=mdettweiler [2012-10-07 12:18:21] 999*2^1230213-1 is not prime. Res64: 680DB74A40A8B451 Time : 0.0 sec. user=mdettweiler [2012-10-07 12:18:22] 707*2^1230214-1 is not prime. Res64: 26C505A829491F6E Time : 0.0 sec. user=vaughan [2012-10-07 12:21:25] 961*2^1230213-1 is not prime. Res64: 4BF811CC109C3F3F Time : 0.0 sec. user=mdettweiler [2012-10-07 12:32:12] 813*2^1230214-1 is not prime. Res64: 1C2145EB73AD72A8 Time : 0.0 sec. user=mdettweiler [2012-10-07 12:32:13] 903*2^1230214-1 is not prime. Res64: EB21D3ADBC684A6B Time : 0.0 sec. user=mdettweiler [2012-10-07 12:39:05] 945*2^1230214-1 is not prime. Res64: 45BA620D5904F163 Time : 0.0 sec. user=mdettweiler [2012-10-07 12:39:05] 753*2^1230215-1 is not prime. Res64: D8928E71641086C4 Time : 0.0 sec. user=mdettweiler [2012-10-07 12:52:51] 843*2^1230215-1 is not prime. Res64: 424232089004CC1F Time : 0.0 sec. user=mdettweiler [2012-10-07 12:52:51] 999*2^1230215-1 is not prime. Res64: FE2D15B692AF1C5D Time : 0.0 sec. user=vaughan [2012-10-07 12:59:12] 823*2^1230215-1 is not prime. Res64: 140BDC913CD62DF7 Time : 0.0 sec. user=mdettweiler [2012-10-07 12:59:42] 747*2^1230216-1 is not prime. Res64: A2D932E980FC33BD Time : 0.0 sec. user=mdettweiler [2012-10-07 12:59:43] 789*2^1230216-1 is not prime. Res64: 72CDA119D348B6B0 Time : 0.0 sec. user=mdettweiler [2012-10-07 13:13:30] 837*2^1230216-1 is not prime. Res64: 379D15DF2C8BC5C4 Time : 0.0 sec. user=mdettweiler [2012-10-07 13:13:31] 843*2^1230216-1 is not prime. Res64: F993FBA9323306ED Time : 0.0 sec. user=mdettweiler [2012-10-07 13:20:18] 615*2^1230217-1 is not prime. Res64: 9546531C01AC7BE1 Time : 0.0 sec. user=mdettweiler [2012-10-07 13:20:19] 639*2^1230217-1 is not prime. Res64: 04ED1A2620DF803D Time : 0.0 sec. user=mdettweiler [2012-10-07 13:34:23] 897*2^1230217-1 is not prime. Res64: 66BB6CA195635069 Time : 0.0 sec. user=mdettweiler [2012-10-07 13:34:23] 955*2^1230217-1 is not prime. Res64: CDF46F3EC2708670 Time : 0.0 sec. user=vaughan [2012-10-07 13:36:59] 933*2^1230216-1 is not prime. Res64: F3F3A254C9920B53 Time : 0.0 sec. user=mdettweiler [2012-10-07 13:41:00] 657*2^1230218-1 is not prime. Res64: AF46FB895984E1F3 Time : 0.0 sec. user=mdettweiler [2012-10-07 13:41:00] 665*2^1230218-1 is not prime. Res64: E625D4DC0491D17C Time : 0.0 sec. user=mdettweiler [2012-10-07 13:54:59] 687*2^1230218-1 is not prime. Res64: FA3F02B19CC5304B Time : 0.0 sec. user=mdettweiler [2012-10-07 13:55:00] 735*2^1230218-1 is not prime. Res64: 67799F02FE7E6BD2 Time : 0.0 sec. user=mdettweiler [2012-10-07 14:01:37] 843*2^1230218-1 is not prime. Res64: 9C51189A5A32E1BD Time : 0.0 sec. user=mdettweiler [2012-10-07 14:01:39] 885*2^1230218-1 is not prime. Res64: 3C7AA42F31FA43B3 Time : 0.0 sec. user=vaughan [2012-10-07 14:14:45] 801*2^1230218-1 is not prime. Res64: 70EB4F8A70766877 Time : 0.0 sec. user=mdettweiler [2012-10-07 14:15:35] 887*2^1230218-1 is not prime. Res64: F5A2971F9A7A9E1F Time : 0.0 sec. user=mdettweiler [2012-10-07 14:15:42] 953*2^1230218-1 is not prime. Res64: 1B8DD29FE425CF28 Time : 0.0 sec. user=mdettweiler [2012-10-07 14:22:26] 613*2^1230219-1 is not prime. Res64: DA6CA27FF7D647FD Time : 0.0 sec. user=mdettweiler [2012-10-07 14:22:27] 735*2^1230219-1 is not prime. Res64: DAA0459B8BF2754D Time : 0.0 sec. user=mdettweiler [2012-10-07 14:36:28] 751*2^1230219-1 is not prime. Res64: FDDD25CA121F96E4 Time : 0.0 sec. user=mdettweiler [2012-10-07 14:36:29] 753*2^1230219-1 is not prime. Res64: 8B053433AFFD32AB Time : 0.0 sec. user=mdettweiler [2012-10-07 14:43:07] 795*2^1230219-1 is not prime. Res64: 86BCCCC74BA01A8B Time : 0.0 sec. user=mdettweiler [2012-10-07 14:43:08] 829*2^1230219-1 is not prime. Res64: 9F5F3A1D25663C79 Time : 0.0 sec. user=vaughan [2012-10-07 14:52:58] 745*2^1230219-1 is not prime. Res64: 66CEB7643DC2C6D7 Time : 0.0 sec. user=mdettweiler [2012-10-07 14:57:05] 913*2^1230219-1 is not prime. Res64: CE8A6E3E8F14AEE7 Time : 0.0 sec. user=mdettweiler [2012-10-07 14:57:06] 961*2^1230219-1 is not prime. Res64: 38E083CFC68D5B6C Time : 0.0 sec. user=mdettweiler [2012-10-07 15:03:43] 975*2^1230219-1 is not prime. Res64: 8FCB41F44C5AD87D Time : 0.0 sec. user=mdettweiler [2012-10-07 15:03:43] 635*2^1230220-1 is not prime. Res64: 635983FA3320D54C Time : 0.0 sec. user=mdettweiler [2012-10-07 15:18:37] 695*2^1230220-1 is not prime. Res64: 1554FCB31E0B80D8 Time : 0.0 sec. user=mdettweiler [2012-10-07 15:24:22] 773*2^1230220-1 is not prime. Res64: B65337AD472D273D Time : 0.0 sec. user=mdettweiler [2012-10-07 15:24:23] 855*2^1230220-1 is not prime. Res64: 318E859D73DD1B69 Time : 0.0 sec. user=vaughan [2012-10-07 15:30:46] 665*2^1230220-1 is not prime. Res64: 58EFA6599EF52C66 Time : 0.0 sec. user=mdettweiler [2012-10-07 15:45:03] 875*2^1230220-1 is not prime. Res64: DD005401A696F356 Time : 0.0 sec. user=mdettweiler [2012-10-07 15:45:04] 887*2^1230220-1 is not prime. Res64: FA0E6919E3322F07 Time : 0.0 sec. user=mdettweiler [2012-10-07 15:56:32] 743*2^1230220-1 is not prime. Res64: C35D6B2920DFD0EA Time : 0.0 sec. user=mdettweiler [2012-10-07 16:05:39] 987*2^1230220-1 is not prime. Res64: 4586041275AFD848 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:05:41] 627*2^1230221-1 is not prime. Res64: 8520488CF29F533B Time : 0.0 sec. user=vaughan [2012-10-07 16:08:32] 915*2^1230220-1 is not prime. Res64: 65039219D53009D6 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:17:08] 651*2^1230221-1 is not prime. Res64: B897A264ECBEB0F2 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:17:10] 727*2^1230221-1 is not prime. Res64: C26EB99E10C2175E Time : 0.0 sec. user=mdettweiler [2012-10-07 16:26:23] 799*2^1230221-1 is not prime. Res64: 79EBDCE7A966A481 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:26:23] 801*2^1230221-1 is not prime. Res64: 03F3BF7B605F23C6 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:38:01] 937*2^1230221-1 is not prime. Res64: DE20D0E99117B267 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:38:01] 731*2^1230222-1 is not prime. Res64: A02408F08BA9C98D Time : 0.0 sec. user=vaughan [2012-10-07 16:46:18] 861*2^1230221-1 is not prime. Res64: D5F76322A9E890FC Time : 0.0 sec. user=mdettweiler [2012-10-07 16:47:00] 755*2^1230222-1 is not prime. Res64: B532F1F8F56EB479 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:47:00] 765*2^1230222-1 is not prime. Res64: AE5D0F45FC1F8412 Time : 0.0 sec. user=mdettweiler [2012-10-07 16:58:41] 941*2^1230222-1 is not prime. Res64: 60B11539C3F96E3B Time : 0.0 sec. user=mdettweiler [2012-10-07 16:58:41] 705*2^1230223-1 is not prime. Res64: 1C2F3842014641F8 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:07:51] 813*2^1230223-1 is not prime. Res64: 469C58058BF61A95 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:07:52] 853*2^1230223-1 is not prime. Res64: D25A4151B7185C64 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:19:34] 885*2^1230223-1 is not prime. Res64: 4AB081B0D6121C55 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:19:35] 939*2^1230223-1 is not prime. Res64: C50D899E26343B6E Time : 0.0 sec. user=vaughan [2012-10-07 17:24:02] 769*2^1230223-1 is not prime. Res64: A7541CCE7E63CA78 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:28:49] 973*2^1230223-1 is not prime. Res64: B04316801F6D4CFC Time : 0.0 sec. user=mdettweiler [2012-10-07 17:28:49] 999*2^1230223-1 is not prime. Res64: 9802B7445BB0F7F4 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:40:42] 755*2^1230224-1 is not prime. Res64: 976203F24E8F6480 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:40:42] 903*2^1230224-1 is not prime. Res64: 01A2BE534801C398 Time : 0.0 sec. user=mdettweiler [2012-10-07 17:49:56] 983*2^1230224-1 is not prime. Res64: 838A5573822F9A4C Time : 0.0 sec. user=mdettweiler [2012-10-07 17:49:56] 735*2^1230225-1 is not prime. Res64: 10B0AAEBB60A6394 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:01:49] 759*2^1230225-1 is not prime. Res64: F3DF084DA7085EEF Time : 0.0 sec. user=vaughan [2012-10-07 18:01:50] 945*2^1230224-1 is not prime. Res64: 211335C4AD9F2935 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:01:51] 861*2^1230225-1 is not prime. Res64: AA15B1072B18B6B2 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:11:16] 915*2^1230225-1 is not prime. Res64: C1834BD89B35C631 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:11:17] 651*2^1230226-1 is not prime. Res64: F0A537EDFCB4ED0F Time : 0.0 sec. user=mdettweiler [2012-10-07 18:23:31] 825*2^1230226-1 is not prime. Res64: 86BC0ACD4529E3A3 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:23:33] 933*2^1230226-1 is not prime. Res64: 4B4BCE024E2F304A Time : 0.0 sec. user=mdettweiler [2012-10-07 18:32:23] 685*2^1230227-1 is not prime. Res64: CC452CE6572828FF Time : 0.0 sec. user=mdettweiler [2012-10-07 18:32:23] 699*2^1230227-1 is not prime. Res64: 570693E35E17CF1E Time : 0.0 sec. user=vaughan [2012-10-07 18:40:56] 601*2^1230227-1 is not prime. Res64: F98D006DFA1C9DF3 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:44:44] 703*2^1230227-1 is not prime. Res64: 8D5FBD9C6ADCB8B2 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:44:44] 759*2^1230227-1 is not prime. Res64: D57AB2AFE6D2C491 Time : 0.0 sec. user=mdettweiler [2012-10-07 18:53:26] 775*2^1230227-1 is not prime. Res64: 2738F9ACBA73672E Time : 0.0 sec. user=mdettweiler [2012-10-07 18:53:26] 939*2^1230227-1 is not prime. Res64: 7D6A29D3BEC0EA07 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:05:48] 979*2^1230227-1 is not prime. Res64: 14655AE1F1B2FDD6 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:05:49] 683*2^1230228-1 is not prime. Res64: FC5338A502E0F8B8 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:14:26] 707*2^1230228-1 is not prime. Res64: B8ACE23A846CB266 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:14:28] 767*2^1230228-1 is not prime. Res64: EC5765128E8115A8 Time : 0.0 sec. user=vaughan [2012-10-07 19:18:40] 955*2^1230227-1 is not prime. Res64: 132635CB41767B94 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:26:51] 893*2^1230228-1 is not prime. Res64: EC66A278D44247DF Time : 0.0 sec. user=mdettweiler [2012-10-07 19:26:52] 927*2^1230228-1 is not prime. Res64: 814A533CB5CE07BB Time : 0.0 sec. user=mdettweiler [2012-10-07 19:35:39] 639*2^1230229-1 is not prime. Res64: EB21043C08388966 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:35:39] 769*2^1230229-1 is not prime. Res64: 3A9D18C71260FEF5 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:47:53] 931*2^1230229-1 is not prime. Res64: CE8AB6AAA6D9EEE4 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:47:53] 975*2^1230229-1 is not prime. Res64: 0C1DDD5B39FFB756 Time : 0.0 sec. user=vaughan [2012-10-07 19:56:26] 867*2^1230229-1 is not prime. Res64: 6D02AC840C25D71D Time : 0.0 sec. user=mdettweiler [2012-10-07 19:56:52] 999*2^1230229-1 is not prime. Res64: 5B6A463C59E51268 Time : 0.0 sec. user=mdettweiler [2012-10-07 19:56:53] 641*2^1230230-1 is not prime. Res64: 6E2432A0D90359D0 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:09:19] 663*2^1230230-1 is not prime. Res64: 36323AFA7E415213 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:09:20] 675*2^1230230-1 is not prime. Res64: 0333F813468900E0 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:18:21] 861*2^1230230-1 is not prime. Res64: BA2F587A25531CFE Time : 0.0 sec. user=mdettweiler [2012-10-07 20:18:22] 867*2^1230230-1 is not prime. Res64: CC3F84398E91B26F Time : 0.0 sec. user=mdettweiler [2012-10-07 20:30:47] 911*2^1230230-1 is not prime. Res64: C56B81F68EED2C75 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:30:47] 977*2^1230230-1 is not prime. Res64: 78E4A721DCF0B2D8 Time : 0.0 sec. user=vaughan [2012-10-07 20:34:17] 717*2^1230230-1 is not prime. Res64: 1D290D0EEF5EF143 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:39:47] 789*2^1230231-1 is not prime. Res64: D82585932DF79598 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:39:47] 975*2^1230231-1 is not prime. Res64: 4EC55E7390035C82 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:52:08] 699*2^1230232-1 is not prime. Res64: D58796CA2CEDD7A7 Time : 0.0 sec. user=mdettweiler [2012-10-07 20:52:08] 719*2^1230232-1 is not prime. Res64: CB181EC1CF9695A1 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:01:03] 825*2^1230232-1 is not prime. Res64: 68A4E040D296BFA0 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:01:05] 875*2^1230232-1 is not prime. Res64: 3BCDDE58DC6726B7 Time : 0.0 sec. user=vaughan [2012-10-07 21:12:02] 819*2^1230232-1 is not prime. Res64: 31FD7C3EAA794CF2 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:13:29] 615*2^1230233-1 is not prime. Res64: 754524DFCF6DA151 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:13:31] 871*2^1230233-1 is not prime. Res64: DA55142EFE146750 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:22:46] 967*2^1230233-1 is not prime. Res64: 94A96FAF042DF1E6 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:22:47] 605*2^1230234-1 is not prime. Res64: 34BD70808F6227F0 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:34:49] 717*2^1230234-1 is not prime. Res64: C58341D577F89006 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:34:49] 815*2^1230234-1 is not prime. Res64: E4832801A86AAF31 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:44:10] 881*2^1230234-1 is not prime. Res64: AECC6968B3C0F8EC Time : 0.0 sec. user=mdettweiler [2012-10-07 21:44:10] 917*2^1230234-1 is not prime. Res64: B2360EAB6463F350 Time : 0.0 sec. user=vaughan [2012-10-07 21:50:03] 635*2^1230234-1 is not prime. Res64: 52EF93B0097615CA Time : 0.0 sec. user=mdettweiler [2012-10-07 21:56:08] 625*2^1230235-1 is not prime. Res64: 3008FD08CAA31861 Time : 0.0 sec. user=mdettweiler [2012-10-07 21:56:08] 805*2^1230235-1 is not prime. Res64: C3D9BEE213B06E34 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:05:22] 855*2^1230235-1 is not prime. Res64: 44132D5031CF66C0 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:05:24] 859*2^1230235-1 is not prime. Res64: 6E0B926C7D289BA8 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:17:21] 657*2^1230236-1 is not prime. Res64: E59C369BFAAA7470 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:17:21] 743*2^1230236-1 is not prime. Res64: ACDD0AEC963B4030 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:26:42] 803*2^1230236-1 is not prime. Res64: CF5B79B175BA6884 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:26:42] 903*2^1230236-1 is not prime. Res64: BF7528E8F9E04636 Time : 0.0 sec. user=vaughan [2012-10-07 22:27:49] 973*2^1230235-1 is not prime. Res64: BF3FB9E4770D185B Time : 0.0 sec. user=mdettweiler [2012-10-07 22:38:48] 923*2^1230236-1 is not prime. Res64: 2CB246AF2EA19294 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:38:49] 957*2^1230236-1 is not prime. Res64: 3B369465B51D9B61 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:48:02] 621*2^1230237-1 is not prime. Res64: 372A37EB74C28498 Time : 0.0 sec. user=mdettweiler [2012-10-07 22:48:02] 895*2^1230237-1 is not prime. Res64: F778582A28A1E49E Time : 0.0 sec. user=mdettweiler [2012-10-07 23:00:04] 919*2^1230237-1 is not prime. Res64: 95628DA89CF5DFE2 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:00:05] 605*2^1230238-1 is not prime. Res64: C08A5FC989E528F8 Time : 0.0 sec. user=vaughan [2012-10-07 23:05:35] 901*2^1230237-1 is not prime. Res64: B4731A4306F860B4 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:09:03] 705*2^1230238-1 is not prime. Res64: D8046348841AED94 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:09:04] 773*2^1230238-1 is not prime. Res64: AD9437075419E699 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:20:50] 843*2^1230238-1 is not prime. Res64: 4B9D0237DDB79FC2 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:20:51] 911*2^1230238-1 is not prime. Res64: 77E786FFED50E25D Time : 0.0 sec. user=mdettweiler [2012-10-07 23:29:42] 971*2^1230238-1 is not prime. Res64: 4A0963E21705AA32 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:29:43] 975*2^1230238-1 is not prime. Res64: 838B47FDE3C3D141 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:41:42] 633*2^1230239-1 is not prime. Res64: FECF80ED6E78E737 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:41:43] 661*2^1230239-1 is not prime. Res64: 91FCD4A4BE5D3A2E Time : 0.0 sec. user=vaughan [2012-10-07 23:43:22] 915*2^1230238-1 is not prime. Res64: 37642421DC38668D Time : 0.0 sec. user=mdettweiler [2012-10-07 23:50:20] 811*2^1230239-1 is not prime. Res64: 902E084D1045B0B8 Time : 0.0 sec. user=mdettweiler [2012-10-07 23:50:20] 813*2^1230239-1 is not prime. Res64: 6CC0EEADD47EBD59 Time : 0.0 sec.