user=kar_bon [2009-05-10 00:01:16] 339*2^809167-1 is not prime. Res64: F62178396F5B116A Time : 11071.0 sec. user=vaughan [2009-05-10 00:02:17] 327*2^809626-1 is not prime. Res64: 071F1394C6DB10B6 Time : 945.0 sec. user=vaughan [2009-05-10 00:02:50] 327*2^809301-1 is not prime. Res64: 76ACB1038547CD4F Time : 8194.0 sec. user=vaughan [2009-05-10 00:04:05] 339*2^809639-1 is not prime. Res64: 3555F877AA8B2204 Time : 921.0 sec. user=mdettweiler [2009-05-10 00:04:37] 339*2^809475-1 is not prime. Res64: 8130896B3904114B Time : 3940.0 sec. user=vaughan [2009-05-10 00:04:44] 315*2^809302-1 is not prime. Res64: 2303BF6AAD8A55CA Time : 8273.0 sec. user=mdettweiler [2009-05-10 00:06:42] 339*2^809477-1 is not prime. Res64: B47AAA0E45805C8E Time : 3939.0 sec. user=vaughan [2009-05-10 00:06:49] 315*2^809647-1 is not prime. Res64: 63FC8DD35963C03F Time : 943.0 sec. user=vaughan [2009-05-10 00:09:35] 327*2^809308-1 is not prime. Res64: A4656595DCEBEAEC Time : 8460.0 sec. user=kar_bon [2009-05-10 00:10:15] 333*2^809178-1 is not prime. Res64: 14894FDE3BCEA6FC Time : 11153.0 sec. user=mdettweiler [2009-05-10 00:11:23] 339*2^809493-1 is not prime. Res64: AD0A71609E201A79 Time : 3939.0 sec. user=kar_bon [2009-05-10 00:11:33] 321*2^809222-1 is not prime. Res64: D91532B5A1DB2C53 Time : 10107.0 sec. user=vaughan [2009-05-10 00:12:43] 315*2^809320-1 is not prime. Res64: 773D4A762FD7D6DA Time : 8218.0 sec. user=mdettweiler [2009-05-10 00:14:02] 345*2^809500-1 is not prime. Res64: 3FFC84514E9D0684 Time : 3936.0 sec. user=vaughan [2009-05-10 00:16:31] 339*2^809329-1 is not prime. Res64: 686792F79D139E52 Time : 8193.0 sec. user=mdettweiler [2009-05-10 00:17:46] 333*2^809510-1 is not prime. Res64: 41DAB755E2691D6F Time : 3943.0 sec. user=vaughan [2009-05-10 00:18:02] 333*2^809670-1 is not prime. Res64: 40E356A777A0CD14 Time : 946.0 sec. user=vaughan [2009-05-10 00:18:31] 333*2^809334-1 is not prime. Res64: 6D68375F11366DD6 Time : 8274.0 sec. user=kar_bon [2009-05-10 00:19:23] 327*2^809202-1 is not prime. Res64: BB8B0A2B6301DD08 Time : 11067.0 sec. user=vaughan [2009-05-10 00:19:25] 315*2^809676-1 is not prime. Res64: 18579B3BC5D0740A Time : 921.0 sec. user=mdettweiler [2009-05-10 00:19:49] 339*2^809513-1 is not prime. Res64: B065D84123898568 Time : 3938.0 sec. user=kar_bon [2009-05-10 00:20:59] 339*2^809121-1 is not prime. Res64: 29588516080520E1 Time : 13008.0 sec. user=vaughan [2009-05-10 00:21:42] 315*2^809338-1 is not prime. Res64: 1B68FD48A4A0A68B Time : 8351.0 sec. user=vaughan [2009-05-10 00:22:31] 333*2^809684-1 is not prime. Res64: 1A5318367CBEE2E2 Time : 943.0 sec. user=mdettweiler [2009-05-10 00:24:29] 327*2^809536-1 is not prime. Res64: 26BE872979FD3445 Time : 3937.0 sec. user=vaughan [2009-05-10 00:26:24] 345*2^809347-1 is not prime. Res64: 9C5D2522614AF098 Time : 8218.0 sec. user=mdettweiler [2009-05-10 00:27:10] 315*2^809550-1 is not prime. Res64: 13F9E68DCE4EF852 Time : 3938.0 sec. user=kar_bon [2009-05-10 00:28:27] 345*2^809220-1 is not prime. Res64: 10A8153EC86A707C Time : 11143.0 sec. user=kar_bon [2009-05-10 00:29:27] 327*2^809273-1 is not prime. Res64: 949D180F0A3EE630 Time : 10180.0 sec. user=vaughan [2009-05-10 00:30:10] 327*2^809364-1 is not prime. Res64: AEA7A3A0FBFDEE13 Time : 8195.0 sec. user=mdettweiler [2009-05-10 00:30:54] 327*2^809568-1 is not prime. Res64: 372DAB7F76E067F5 Time : 3944.0 sec. user=vaughan [2009-05-10 00:32:20] 321*2^809366-1 is not prime. Res64: 078E65E5AF089A5A Time : 8274.0 sec. user=mdettweiler [2009-05-10 00:32:57] 327*2^809573-1 is not prime. Res64: 2B924D4D14388384 Time : 3939.0 sec. user=vaughan [2009-05-10 00:33:48] 327*2^809724-1 is not prime. Res64: B92EC18BCF91A55B Time : 946.0 sec. user=vaughan [2009-05-10 00:34:46] 321*2^809741-1 is not prime. Res64: 741D5E3AD81367BB Time : 921.0 sec. user=vaughan [2009-05-10 00:35:36] 327*2^809378-1 is not prime. Res64: 70A44EF9AE66B5DB Time : 8349.0 sec. user=kar_bon [2009-05-10 00:37:29] 321*2^809257-1 is not prime. Res64: 3BC4A3B7D01B0EB6 Time : 11048.0 sec. user=mdettweiler [2009-05-10 00:37:35] 327*2^809581-1 is not prime. Res64: E12FA9423DC26C71 Time : 3935.0 sec. user=vaughan [2009-05-10 00:38:14] 327*2^809756-1 is not prime. Res64: DE63DDBE0DF8F79B Time : 943.0 sec. user=vaughan [2009-05-10 00:40:07] 315*2^809397-1 is not prime. Res64: 95F7C4AB67DB207A Time : 8219.0 sec. user=mdettweiler [2009-05-10 00:40:21] 339*2^809587-1 is not prime. Res64: 6FF1C635184438D0 Time : 3938.0 sec. user=kar_bon [2009-05-10 00:42:34] 327*2^809185-1 is not prime. Res64: 409C22A5B4CCEB8D Time : 13012.0 sec. user=mdettweiler [2009-05-10 00:44:07] 327*2^809613-1 is not prime. Res64: 7964CE5F33005759 Time : 3950.0 sec. user=vaughan [2009-05-10 00:44:35] 339*2^809403-1 is not prime. Res64: A80D649C56EC50A5 Time : 8241.0 sec. user=vaughan [2009-05-10 00:46:08] 339*2^809407-1 is not prime. Res64: 07CF040EF700855F Time : 8275.0 sec. user=mdettweiler [2009-05-10 00:46:34] 339*2^809615-1 is not prime. Res64: 9CC0A35AC10110B6 Time : 3969.0 sec. user=kar_bon [2009-05-10 00:46:45] 327*2^809285-1 is not prime. Res64: 8D1F2B69136D4922 Time : 11127.0 sec. user=kar_bon [2009-05-10 00:47:28] 327*2^809321-1 is not prime. Res64: CA6FAF1898D48FC5 Time : 10243.0 sec. user=vaughan [2009-05-10 00:49:29] 339*2^809415-1 is not prime. Res64: E1C4456FF3832BD9 Time : 8348.0 sec. user=vaughan [2009-05-10 00:49:34] 345*2^809781-1 is not prime. Res64: 92AB7C00AFDD7764 Time : 946.0 sec. user=vaughan [2009-05-10 00:50:07] 321*2^809782-1 is not prime. Res64: 788838A0EC8E9DFA Time : 922.0 sec. user=mdettweiler [2009-05-10 00:51:05] 327*2^809621-1 is not prime. Res64: A5F8CA249EE8892C Time : 3957.0 sec. user=mdettweiler [2009-05-10 00:53:29] 333*2^809636-1 is not prime. Res64: CF2AAF4D47BF70F8 Time : 3941.0 sec. user=vaughan [2009-05-10 00:53:49] 345*2^809430-1 is not prime. Res64: 75ED995E62FE3DEB Time : 8220.0 sec. user=vaughan [2009-05-10 00:53:57] 327*2^809794-1 is not prime. Res64: DBB8E4AD91414A57 Time : 943.0 sec. user=kar_bon [2009-05-10 00:55:46] 339*2^809315-1 is not prime. Res64: 210555494120E89B Time : 11033.0 sec. user=mdettweiler [2009-05-10 00:57:14] 327*2^809648-1 is not prime. Res64: 5E5063041644E56F Time : 3946.0 sec. user=vaughan [2009-05-10 00:57:30] 327*2^809434-1 is not prime. Res64: 1D3C3BE780878FD7 Time : 8197.0 sec. user=mdettweiler [2009-05-10 00:59:41] 327*2^809661-1 is not prime. Res64: 4808DBFD6680E0BF Time : 3878.0 sec. user=vaughan [2009-05-10 00:59:56] 315*2^809435-1 is not prime. Res64: 473C4540A00406C1 Time : 8275.0 sec. user=vaughan [2009-05-10 01:03:25] 321*2^809437-1 is not prime. Res64: 495237A1559DE137 Time : 8351.0 sec. user=kar_bon [2009-05-10 01:04:07] 339*2^809237-1 is not prime. Res64: EF80B2EA0774641F Time : 13012.0 sec. user=mdettweiler [2009-05-10 01:04:13] 333*2^809664-1 is not prime. Res64: 0B52ECBA3A5E6CBD Time : 3956.0 sec. user=kar_bon [2009-05-10 01:04:29] 333*2^809364-1 is not prime. Res64: F7DCFDB24F749C4F Time : 10251.0 sec. user=vaughan [2009-05-10 01:05:19] 321*2^809825-1 is not prime. Res64: 8CB21441C0267CB7 Time : 946.0 sec. user=kar_bon [2009-05-10 01:05:21] 345*2^809325-1 is not prime. Res64: 091C69FB247AD7E0 Time : 11133.0 sec. user=vaughan [2009-05-10 01:05:28] 321*2^809830-1 is not prime. Res64: 2072A7CC8891644B Time : 922.0 sec. user=mdettweiler [2009-05-10 01:06:35] 315*2^809669-1 is not prime. Res64: FAB1ED54B09DEB54 Time : 3940.0 sec. user=vaughan [2009-05-10 01:07:29] 321*2^809445-1 is not prime. Res64: 4C209554948613DF Time : 8218.0 sec. user=vaughan [2009-05-10 01:09:40] 345*2^809839-1 is not prime. Res64: 1D1E034CF352459B Time : 943.0 sec. user=mdettweiler [2009-05-10 01:10:22] 321*2^809678-1 is not prime. Res64: B7200C57DDC9CB0E Time : 3945.0 sec. user=vaughan [2009-05-10 01:11:11] 321*2^809453-1 is not prime. Res64: DB1DC33D46F0D9C1 Time : 8199.0 sec. user=mdettweiler [2009-05-10 01:12:48] 345*2^809682-1 is not prime. Res64: D5225B2591648C10 Time : 3966.0 sec. user=vaughan [2009-05-10 01:13:44] 327*2^809460-1 is not prime. Res64: 004589BA4154BB37 Time : 8276.0 sec. user=kar_bon [2009-05-10 01:14:12] 345*2^809352-1 is not prime. Res64: 092B6B2B06169B65 Time : 11032.0 sec. user=vaughan [2009-05-10 01:17:19] 333*2^809474-1 is not prime. Res64: 0DF5F6A585902FF0 Time : 8349.0 sec. user=mdettweiler [2009-05-10 01:17:21] 333*2^809696-1 is not prime. Res64: 58BC230A21764C59 Time : 3958.0 sec. user=mdettweiler [2009-05-10 01:19:44] 339*2^809707-1 is not prime. Res64: CF3909490CC84AAD Time : 3942.0 sec. user=vaughan [2009-05-10 01:20:49] 315*2^809879-1 is not prime. Res64: A8BC782DAF02844F Time : 921.0 sec. user=vaughan [2009-05-10 01:21:05] 327*2^809876-1 is not prime. Res64: D55F434B5796C46E Time : 946.0 sec. user=vaughan [2009-05-10 01:21:12] 345*2^809491-1 is not prime. Res64: 066B54EB45B1F4E3 Time : 8220.0 sec. user=kar_bon [2009-05-10 01:21:26] 345*2^809415-1 is not prime. Res64: 96E9F8BD57834D0B Time : 10260.0 sec. user=mdettweiler [2009-05-10 01:23:31] 339*2^809723-1 is not prime. Res64: 15570FA0BC337984 Time : 3945.0 sec. user=kar_bon [2009-05-10 01:23:59] 339*2^809392-1 is not prime. Res64: F1FBE9CB2E4DC3C3 Time : 11132.0 sec. user=vaughan [2009-05-10 01:24:50] 333*2^809499-1 is not prime. Res64: 6CC68470170967DB Time : 8198.0 sec. user=vaughan [2009-05-10 01:25:23] 339*2^809883-1 is not prime. Res64: 9D5DBF9E9B5C63E7 Time : 943.0 sec. user=kar_bon [2009-05-10 01:25:44] 339*2^809313-1 is not prime. Res64: F13E052821B7A2D0 Time : 13004.0 sec. user=mdettweiler [2009-05-10 01:25:55] 315*2^809742-1 is not prime. Res64: 719BCC592FA86081 Time : 3966.0 sec. user=vaughan [2009-05-10 01:27:32] 345*2^809502-1 is not prime. Res64: 12A8645E9E6DE15B Time : 8276.0 sec. user=mdettweiler [2009-05-10 01:30:31] 327*2^809760-1 is not prime. Res64: E61BDE48C2EF1412 Time : 3962.0 sec. user=vaughan [2009-05-10 01:31:14] 333*2^809511-1 is not prime. Res64: 06974AA4C6ECAC75 Time : 8349.0 sec. user=kar_bon [2009-05-10 01:32:33] 327*2^809412-1 is not prime. Res64: FF9D88C7836DEC0F Time : 11025.0 sec. user=mdettweiler [2009-05-10 01:32:51] 333*2^809771-1 is not prime. Res64: 796A550DC4CAEBD7 Time : 3942.0 sec. user=vaughan [2009-05-10 01:34:54] 321*2^809534-1 is not prime. Res64: 34E74CEC9D97A6AB Time : 8219.0 sec. user=vaughan [2009-05-10 01:36:10] 345*2^809907-1 is not prime. Res64: 3353566406451018 Time : 921.0 sec. user=mdettweiler [2009-05-10 01:36:38] 339*2^809775-1 is not prime. Res64: 594FE84B73ADDB0A Time : 3944.0 sec. user=vaughan [2009-05-10 01:36:50] 315*2^809908-1 is not prime. Res64: 10F0E37FE6CCE8DB Time : 945.0 sec. user=vaughan [2009-05-10 01:38:31] 333*2^809550-1 is not prime. Res64: 4B4D7A2839F9EF1F Time : 8199.0 sec. user=mdettweiler [2009-05-10 01:39:05] 321*2^809781-1 is not prime. Res64: 24781DA19FA60F2D Time : 3969.0 sec. user=kar_bon [2009-05-10 01:39:13] 339*2^809440-1 is not prime. Res64: 9944F839678B8815 Time : 10305.0 sec. user=vaughan [2009-05-10 01:41:06] 339*2^809941-1 is not prime. Res64: 69494333297CA497 Time : 943.0 sec. user=vaughan [2009-05-10 01:41:20] 345*2^809556-1 is not prime. Res64: 2FA5879D3090BFFF Time : 8277.0 sec. user=kar_bon [2009-05-10 01:42:26] 339*2^809432-1 is not prime. Res64: 4477C7F11F86B2C1 Time : 11125.0 sec. user=mdettweiler [2009-05-10 01:43:36] 333*2^809790-1 is not prime. Res64: 66576CF4FE540DCF Time : 3961.0 sec. user=vaughan [2009-05-10 01:45:08] 327*2^809569-1 is not prime. Res64: 98807B76F66F5B8C Time : 8346.0 sec. user=mdettweiler [2009-05-10 01:45:59] 345*2^809806-1 is not prime. Res64: 2815EEE236E65AC2 Time : 3938.0 sec. user=kar_bon [2009-05-10 01:47:02] 315*2^809359-1 is not prime. Res64: 69DF472BB2F1839B Time : 12984.0 sec. user=vaughan [2009-05-10 01:48:36] 327*2^809578-1 is not prime. Res64: C1197E0D16BD4D87 Time : 8219.0 sec. user=mdettweiler [2009-05-10 01:49:48] 315*2^809811-1 is not prime. Res64: 73FD029A1BC7B951 Time : 3941.0 sec. user=kar_bon [2009-05-10 01:51:03] 315*2^809439-1 is not prime. Res64: B672FD1FE6546881 Time : 11029.0 sec. user=vaughan [2009-05-10 01:51:31] 321*2^809957-1 is not prime. Res64: 6B81CCFBFA90FED9 Time : 921.0 sec. user=mdettweiler [2009-05-10 01:52:10] 315*2^809820-1 is not prime. Res64: 21BD7628589CAFFA Time : 3936.0 sec. user=vaughan [2009-05-10 01:52:36] 315*2^809967-1 is not prime. Res64: 0C1B0CD74570F2DC Time : 946.0 sec. user=vaughan [2009-05-10 01:54:40] 345*2^809590-1 is not prime. Res64: 7533ACBF173F3756 Time : 8349.0 sec. user=vaughan [2009-05-10 01:55:07] 315*2^809595-1 is not prime. Res64: 2F4922A1D6A9963F Time : 8277.0 sec. user=kar_bon [2009-05-10 01:56:43] 327*2^809492-1 is not prime. Res64: BE8226B668596C61 Time : 10339.0 sec. user=mdettweiler [2009-05-10 01:56:43] 315*2^809832-1 is not prime. Res64: 2588C627C28E54DB Time : 3938.0 sec. user=vaughan [2009-05-10 01:56:49] 321*2^809975-1 is not prime. Res64: E059CBB7CB5DEB73 Time : 944.0 sec. user=vaughan [2009-05-10 01:59:04] 321*2^809614-1 is not prime. Res64: 4B5296CBF595CE78 Time : 8328.0 sec. user=mdettweiler [2009-05-10 01:59:07] 345*2^809832-1 is not prime. Res64: A920428FD690F1B3 Time : 3938.0 sec. user=kar_bon [2009-05-10 02:00:55] 345*2^809454-1 is not prime. Res64: 3F4EE963947948AD Time : 11121.0 sec. user=vaughan [2009-05-10 02:02:18] 315*2^809626-1 is not prime. Res64: 5BD485755E98DFED Time : 8219.0 sec. user=mdettweiler [2009-05-10 02:02:57] 321*2^809842-1 is not prime. Res64: 65681FCE06588A0C Time : 3943.0 sec. user=mdettweiler [2009-05-10 02:05:17] 321*2^809855-1 is not prime. Res64: EF5F127DFF11B386 Time : 3936.0 sec. user=vaughan [2009-05-10 02:05:49] 345*2^809640-1 is not prime. Res64: 86DF98C42375D1F3 Time : 8198.0 sec. user=vaughan [2009-05-10 02:06:53] 345*2^810022-1 is not prime. Res64: E4FC5DD1F1347669 Time : 922.0 sec. user=vaughan [2009-05-10 02:08:22] 345*2^810031-1 is not prime. Res64: C6A391E289A88A00 Time : 946.0 sec. user=vaughan [2009-05-10 02:08:56] 327*2^809641-1 is not prime. Res64: CA52433AED61E7C9 Time : 8279.0 sec. user=kar_bon [2009-05-10 02:09:06] 315*2^809424-1 is not prime. Res64: 8CD7CDC34AE4A38C Time : 13006.0 sec. user=kar_bon [2009-05-10 02:09:30] 327*2^809493-1 is not prime. Res64: 43E196BD04BB9A92 Time : 11034.0 sec. user=mdettweiler [2009-05-10 02:09:50] 345*2^809865-1 is not prime. Res64: 25CC6F8D1A9F4F64 Time : 3937.0 sec. user=mdettweiler [2009-05-10 02:12:16] 339*2^809879-1 is not prime. Res64: 597328EE54374A3A Time : 3941.0 sec. user=vaughan [2009-05-10 02:12:32] 321*2^810053-1 is not prime. Res64: BD38EFBCCD4A2661 Time : 943.0 sec. user=vaughan [2009-05-10 02:12:58] 315*2^809650-1 is not prime. Res64: 3FAA9D501A2A92AF Time : 8346.0 sec. user=kar_bon [2009-05-10 02:13:13] 315*2^809542-1 is not prime. Res64: 46DAB0F962A71154 Time : 10327.0 sec. user=vaughan [2009-05-10 02:15:59] 345*2^809664-1 is not prime. Res64: 774D02A32C01E015 Time : 8218.0 sec. user=mdettweiler [2009-05-10 02:16:05] 345*2^809884-1 is not prime. Res64: 9A04EC033E8A5C33 Time : 3943.0 sec. user=mdettweiler [2009-05-10 02:18:23] 339*2^809893-1 is not prime. Res64: 8B2871AC75BAE0CA Time : 3935.0 sec. user=vaughan [2009-05-10 02:19:29] 345*2^809674-1 is not prime. Res64: 1349907BF0D57985 Time : 8199.0 sec. user=kar_bon [2009-05-10 02:19:40] 339*2^809521-1 is not prime. Res64: 880AAB446D787961 Time : 11128.0 sec. user=vaughan [2009-05-10 02:22:14] 327*2^810084-1 is not prime. Res64: 9F0A841CE8F69F32 Time : 922.0 sec. user=vaughan [2009-05-10 02:22:44] 339*2^809681-1 is not prime. Res64: 5E7F85F04635E27F Time : 8280.0 sec. user=mdettweiler [2009-05-10 02:22:58] 345*2^809902-1 is not prime. Res64: 3B2C83A9B8E3A610 Time : 3937.0 sec. user=vaughan [2009-05-10 02:24:08] 333*2^810087-1 is not prime. Res64: A5757EE9AC164669 Time : 946.0 sec. user=mdettweiler [2009-05-10 02:25:25] 321*2^809905-1 is not prime. Res64: 5F75308381C50B9B Time : 3941.0 sec. user=vaughan [2009-05-10 02:26:54] 339*2^809693-1 is not prime. Res64: E1E78356E88552E3 Time : 8178.0 sec. user=kar_bon [2009-05-10 02:28:06] 339*2^809561-1 is not prime. Res64: C9FBDD496948F94A Time : 11038.0 sec. user=vaughan [2009-05-10 02:28:16] 339*2^810105-1 is not prime. Res64: E30B84EC03FD2228 Time : 944.0 sec. user=mdettweiler [2009-05-10 02:29:12] 339*2^809913-1 is not prime. Res64: DF9DC19F179CB873 Time : 3942.0 sec. user=vaughan [2009-05-10 02:29:43] 333*2^809703-1 is not prime. Res64: 671A08249D6ED3AA Time : 8221.0 sec. user=kar_bon [2009-05-10 02:30:10] 345*2^809599-1 is not prime. Res64: B6A19414536AB98C Time : 10342.0 sec. user=kar_bon [2009-05-10 02:30:46] 321*2^809447-1 is not prime. Res64: B75ACF7F935FEA27 Time : 13004.0 sec. user=mdettweiler [2009-05-10 02:31:30] 339*2^809947-1 is not prime. Res64: A0E4E77984FA517C Time : 3935.0 sec. user=vaughan [2009-05-10 02:33:09] 321*2^809713-1 is not prime. Res64: C50DC923CEE6BF6C Time : 8198.0 sec. user=mdettweiler [2009-05-10 02:36:04] 339*2^809951-1 is not prime. Res64: A56067695E45A2C9 Time : 3933.0 sec. user=vaughan [2009-05-10 02:36:32] 339*2^809729-1 is not prime. Res64: 3932B3E8C62992D0 Time : 8281.0 sec. user=vaughan [2009-05-10 02:37:36] 327*2^810120-1 is not prime. Res64: E904A6540F704032 Time : 922.0 sec. user=mdettweiler [2009-05-10 02:38:33] 327*2^809956-1 is not prime. Res64: C8F3D465A34DAEC8 Time : 3942.0 sec. user=vaughan [2009-05-10 02:39:53] 333*2^810131-1 is not prime. Res64: 03DF300D71C0FBE2 Time : 946.0 sec. user=vaughan [2009-05-10 02:40:48] 315*2^809746-1 is not prime. Res64: 180A2BB7B65AE01A Time : 8346.0 sec. user=mdettweiler [2009-05-10 02:42:25] 333*2^809960-1 is not prime. Res64: 6A3F4632B99527E6 Time : 3947.0 sec. user=vaughan [2009-05-10 02:43:26] 339*2^809763-1 is not prime. Res64: 455D65B0D81E89CD Time : 8222.0 sec. user=vaughan [2009-05-10 02:43:59] 321*2^810142-1 is not prime. Res64: 90BAFC69F8F3BB43 Time : 943.0 sec. user=mdettweiler [2009-05-10 02:44:37] 321*2^809970-1 is not prime. Res64: 91E97A974DA25FDB Time : 3932.0 sec. user=vaughan [2009-05-10 02:46:47] 321*2^809775-1 is not prime. Res64: 90E83BAF21C56426 Time : 8198.0 sec. user=mdettweiler [2009-05-10 02:49:11] 333*2^809990-1 is not prime. Res64: 1BA7B869F02B3A4E Time : 3935.0 sec. user=vaughan [2009-05-10 02:50:21] 327*2^809776-1 is not prime. Res64: 175539E724AC7432 Time : 8281.0 sec. user=mdettweiler [2009-05-10 02:51:41] 345*2^809994-1 is not prime. Res64: 8E7AA3D1E63E8A38 Time : 3942.0 sec. user=vaughan [2009-05-10 02:52:57] 327*2^810184-1 is not prime. Res64: CAFE508769D67ADB Time : 922.0 sec. user=vaughan [2009-05-10 02:54:42] 327*2^809786-1 is not prime. Res64: B02C023828924FF3 Time : 8347.0 sec. user=mdettweiler [2009-05-10 02:55:32] 327*2^810005-1 is not prime. Res64: 532654EE2AD1D6EC Time : 3945.0 sec. user=vaughan [2009-05-10 02:55:40] 333*2^810198-1 is not prime. Res64: 46F237A2B6350684 Time : 947.0 sec. user=vaughan [2009-05-10 02:57:08] 345*2^809794-1 is not prime. Res64: 13D8798CFD3253FD Time : 8222.0 sec. user=mdettweiler [2009-05-10 02:57:44] 315*2^810030-1 is not prime. Res64: DA740C23723945F6 Time : 3934.0 sec. user=vaughan [2009-05-10 02:59:43] 339*2^810211-1 is not prime. Res64: 66A05E97FAE23C62 Time : 944.0 sec. user=vaughan [2009-05-10 03:00:28] 315*2^809815-1 is not prime. Res64: 72946C3DB93456E0 Time : 8153.0 sec. user=mdettweiler [2009-05-10 03:02:19] 333*2^810051-1 is not prime. Res64: 4239DC4CFDB07E5B Time : 3936.0 sec. user=vaughan [2009-05-10 03:04:09] 339*2^809819-1 is not prime. Res64: F0445B54753A8AC2 Time : 8281.0 sec. user=mdettweiler [2009-05-10 03:04:50] 345*2^810060-1 is not prime. Res64: A7E33E11327C8CAD Time : 3943.0 sec. user=vaughan [2009-05-10 03:08:19] 339*2^810235-1 is not prime. Res64: 78E8BD416216532A Time : 922.0 sec. user=vaughan [2009-05-10 03:08:37] 315*2^809824-1 is not prime. Res64: 4C580B12DF2BF6BB Time : 8348.0 sec. user=mdettweiler [2009-05-10 03:08:40] 345*2^810069-1 is not prime. Res64: 2C5FB9C81E13842C Time : 3944.0 sec. user=mdettweiler [2009-05-10 03:10:51] 321*2^810070-1 is not prime. Res64: F61F14455685D67C Time : 3934.0 sec. user=vaughan [2009-05-10 03:10:52] 321*2^809833-1 is not prime. Res64: B3D73DAE684DC8EE Time : 8223.0 sec. user=vaughan [2009-05-10 03:11:26] 333*2^810246-1 is not prime. Res64: FCDADD316C3BB7B8 Time : 947.0 sec. user=vaughan [2009-05-10 03:14:08] 315*2^809851-1 is not prime. Res64: 2400E7BA7B36F253 Time : 8198.0 sec. user=vaughan [2009-05-10 03:15:27] 315*2^810254-1 is not prime. Res64: 63E13182A795F7FF Time : 944.0 sec. user=mdettweiler [2009-05-10 03:15:28] 339*2^810097-1 is not prime. Res64: C8EAA052AF3F52A0 Time : 3938.0 sec. user=mdettweiler [2009-05-10 03:17:56] 321*2^810103-1 is not prime. Res64: 46534BE604BAE4F1 Time : 3940.0 sec. user=vaughan [2009-05-10 03:17:57] 339*2^809855-1 is not prime. Res64: 3962108EFE1A81EE Time : 8282.0 sec. user=mdettweiler [2009-05-10 03:21:49] 339*2^810112-1 is not prime. Res64: 8806C94F5AC272A4 Time : 3944.0 sec. user=vaughan [2009-05-10 03:22:33] 327*2^809860-1 is not prime. Res64: BE2E97E3BEC9A7D5 Time : 8349.0 sec. user=kar_bon [2009-05-10 03:23:13] 339*2^809617-1 is not prime. Res64: 5F8C23CFE77861B5 Time : 13233.0 sec. user=kar_bon [2009-05-10 03:23:13] 339*2^809669-1 is not prime. Res64: 1703CC0EE05AEAB8 Time : 12118.0 sec. user=kar_bon [2009-05-10 03:23:37] 321*2^809737-1 is not prime. Res64: C7C3060139A8331A Time : 11054.0 sec. user=vaughan [2009-05-10 03:23:41] 315*2^810262-1 is not prime. Res64: 278FA6BB6028F054 Time : 923.0 sec. user=mdettweiler [2009-05-10 03:23:59] 333*2^810114-1 is not prime. Res64: 7F33DCD608578777 Time : 3936.0 sec. user=vaughan [2009-05-10 03:24:34] 327*2^809881-1 is not prime. Res64: F8BED4C312FA29D2 Time : 8225.0 sec. user=vaughan [2009-05-10 03:27:12] 333*2^810290-1 is not prime. Res64: ABE40BDAEC1312B1 Time : 946.0 sec. user=vaughan [2009-05-10 03:28:08] 345*2^809890-1 is not prime. Res64: 800098EE46C7ABB6 Time : 8218.0 sec. user=mdettweiler [2009-05-10 03:28:35] 315*2^810130-1 is not prime. Res64: 066804EBEEA44610 Time : 3937.0 sec. user=mdettweiler [2009-05-10 03:31:06] 321*2^810133-1 is not prime. Res64: A0896AC25EEDB10D Time : 3941.0 sec. user=vaughan [2009-05-10 03:31:11] 321*2^810294-1 is not prime. Res64: 8BC2826655134E50 Time : 944.0 sec. user=vaughan [2009-05-10 03:31:45] 339*2^809895-1 is not prime. Res64: 78084CB0C8BD945D Time : 8282.0 sec. user=kar_bon [2009-05-10 03:34:06] 321*2^809582-1 is not prime. Res64: F51CE62C23A3EF16 Time : 14467.0 sec. user=kar_bon [2009-05-10 03:34:06] 327*2^809649-1 is not prime. Res64: 4DC27E4FA55E9E76 Time : 13346.0 sec. user=kar_bon [2009-05-10 03:34:06] 339*2^809691-1 is not prime. Res64: 221598AD2B4488D3 Time : 12232.0 sec. user=kar_bon [2009-05-10 03:34:06] 315*2^809774-1 is not prime. Res64: 84EFC6FFAECBB04F Time : 11139.0 sec. user=mdettweiler [2009-05-10 03:34:59] 345*2^810150-1 is not prime. Res64: 4653AC818652B4F7 Time : 3947.0 sec. user=kar_bon [2009-05-10 03:35:24] 315*2^809525-1 is not prime. Res64: 88A034F9D5E141AF Time : 15572.0 sec. user=kar_bon [2009-05-10 03:35:24] 315*2^809599-1 is not prime. Res64: 04E6D43AFA99B251 Time : 14274.0 sec. user=kar_bon [2009-05-10 03:35:25] 327*2^809665-1 is not prime. Res64: 7FA3F423442B430D Time : 12966.0 sec. user=vaughan [2009-05-10 03:36:28] 327*2^809901-1 is not prime. Res64: 9F0F84DC29E0B406 Time : 8349.0 sec. user=mdettweiler [2009-05-10 03:37:06] 345*2^810159-1 is not prime. Res64: C28B15A193358D25 Time : 3936.0 sec. user=kar_bon [2009-05-10 03:37:59] 315*2^809658-1 is not prime. Res64: 36BC00E1576D6A5C Time : 13414.0 sec. user=kar_bon [2009-05-10 03:38:00] 345*2^809700-1 is not prime. Res64: CDE731EE8ECAE730 Time : 12387.0 sec. user=kar_bon [2009-05-10 03:38:00] 333*2^809774-1 is not prime. Res64: 50E0B6913247377C Time : 11313.0 sec. user=kar_bon [2009-05-10 03:38:00] 321*2^809822-1 is not prime. Res64: 2293359782C3EA08 Time : 10232.0 sec. user=vaughan [2009-05-10 03:38:18] 321*2^809910-1 is not prime. Res64: 1E9C89CEF94A8FDA Time : 8227.0 sec. user=vaughan [2009-05-10 03:39:03] 339*2^810328-1 is not prime. Res64: AC04C59C7812716F Time : 922.0 sec. user=vaughan [2009-05-10 03:41:27] 315*2^809920-1 is not prime. Res64: 15E1DC6B6103879D Time : 8197.0 sec. user=mdettweiler [2009-05-10 03:41:42] 321*2^810175-1 is not prime. Res64: 128DFB0C34ED8353 Time : 3938.0 sec. user=kar_bon [2009-05-10 03:42:03] 333*2^809787-1 is not prime. Res64: 0C327158A5A889E5 Time : 11074.0 sec. user=vaughan [2009-05-10 03:42:59] 315*2^810335-1 is not prime. Res64: A9743477A15D6FED Time : 947.0 sec. user=mdettweiler [2009-05-10 03:44:14] 315*2^810195-1 is not prime. Res64: A4A2D96B676FCC31 Time : 3941.0 sec. user=vaughan [2009-05-10 03:45:34] 327*2^809949-1 is not prime. Res64: E6CB04479E52BB2E Time : 8282.0 sec. user=vaughan [2009-05-10 03:46:55] 315*2^810342-1 is not prime. Res64: AC8082280E51D752 Time : 944.0 sec. user=mdettweiler [2009-05-10 03:48:08] 315*2^810205-1 is not prime. Res64: 3372ED5B5D4D81FD Time : 3943.0 sec. user=mdettweiler [2009-05-10 03:50:13] 327*2^810216-1 is not prime. Res64: 457DA6A5E1205AED Time : 3936.0 sec. user=vaughan [2009-05-10 03:50:27] 315*2^809954-1 is not prime. Res64: 9FC3CB52F1BD5237 Time : 8354.0 sec. user=vaughan [2009-05-10 03:52:00] 315*2^809957-1 is not prime. Res64: BE833361EFEE5050 Time : 8226.0 sec. user=vaughan [2009-05-10 03:54:24] 345*2^810372-1 is not prime. Res64: C200A6F3477D269B Time : 922.0 sec. user=kar_bon [2009-05-10 03:54:39] 321*2^809870-1 is not prime. Res64: 09C53F683E6EE3B7 Time : 10210.0 sec. user=mdettweiler [2009-05-10 03:54:49] 315*2^810226-1 is not prime. Res64: 9C326DD83F8B3C62 Time : 3938.0 sec. user=vaughan [2009-05-10 03:55:07] 327*2^809968-1 is not prime. Res64: 223ECD2BE1A70FF1 Time : 8196.0 sec. user=kar_bon [2009-05-10 03:57:08] 333*2^809744-1 is not prime. Res64: BF67B395E06145C6 Time : 12969.0 sec. user=mdettweiler [2009-05-10 03:57:23] 345*2^810234-1 is not prime. Res64: F6A5FEF940D78A15 Time : 3943.0 sec. user=vaughan [2009-05-10 03:58:46] 327*2^810388-1 is not prime. Res64: 905F1CD0C48FDDF6 Time : 947.0 sec. user=vaughan [2009-05-10 03:59:19] 315*2^809976-1 is not prime. Res64: BEE88D31886359FC Time : 8279.0 sec. user=kar_bon [2009-05-10 04:00:28] 327*2^809840-1 is not prime. Res64: C05E1C103D2E256B Time : 11082.0 sec. user=mdettweiler [2009-05-10 04:01:17] 333*2^810243-1 is not prime. Res64: C91E81251C16EFFA Time : 3945.0 sec. user=vaughan [2009-05-10 04:02:39] 327*2^810393-1 is not prime. Res64: AE29A2B2E15F32ED Time : 945.0 sec. user=mdettweiler [2009-05-10 04:03:20] 327*2^810249-1 is not prime. Res64: 69FE7D54D5DBD663 Time : 3936.0 sec. user=vaughan [2009-05-10 04:04:25] 345*2^809991-1 is not prime. Res64: FAD809381C6B039D Time : 8357.0 sec. user=vaughan [2009-05-10 04:05:43] 315*2^810002-1 is not prime. Res64: 142AC0D3B7FED319 Time : 8227.0 sec. user=mdettweiler [2009-05-10 04:07:58] 333*2^810254-1 is not prime. Res64: 4E8402C14BFCB8C8 Time : 3939.0 sec. user=vaughan [2009-05-10 04:08:47] 315*2^810039-1 is not prime. Res64: 189595A070836450 Time : 7986.0 sec. user=vaughan [2009-05-10 04:09:46] 321*2^810401-1 is not prime. Res64: DAAD45D4D960E7F9 Time : 922.0 sec. user=mdettweiler [2009-05-10 04:10:30] 315*2^810261-1 is not prime. Res64: B2968C3489B3C691 Time : 3940.0 sec. user=vaughan [2009-05-10 04:13:04] 345*2^810036-1 is not prime. Res64: 89AF585BED9C56CC Time : 8277.0 sec. user=mdettweiler [2009-05-10 04:14:24] 321*2^810281-1 is not prime. Res64: 006489B67DCC2A2D Time : 3944.0 sec. user=vaughan [2009-05-10 04:14:32] 315*2^810418-1 is not prime. Res64: 7696F9DEB19EBE92 Time : 946.0 sec. user=mdettweiler [2009-05-10 04:16:29] 321*2^810290-1 is not prime. Res64: F3A0F018931E5250 Time : 3938.0 sec. user=vaughan [2009-05-10 04:18:22] 339*2^810427-1 is not prime. Res64: D111F3766E62FBA5 Time : 944.0 sec. user=vaughan [2009-05-10 04:18:23] 321*2^810054-1 is not prime. Res64: 3D52DFCF4E7D9C60 Time : 8360.0 sec. user=kar_bon [2009-05-10 04:18:47] 333*2^809810-1 is not prime. Res64: 8A2689450B2031EB Time : 12973.0 sec. user=kar_bon [2009-05-10 04:19:09] 345*2^809896-1 is not prime. Res64: 229BAABF445ADC70 Time : 11098.0 sec. user=vaughan [2009-05-10 04:19:26] 315*2^810067-1 is not prime. Res64: 13061163B21F2387 Time : 8229.0 sec. user=mdettweiler [2009-05-10 04:21:06] 315*2^810295-1 is not prime. Res64: 840A276FF1406537 Time : 3938.0 sec. user=vaughan [2009-05-10 04:22:27] 315*2^810084-1 is not prime. Res64: 3C123141C226B570 Time : 8199.0 sec. user=mdettweiler [2009-05-10 04:23:40] 333*2^810300-1 is not prime. Res64: 61A42C9C0B93D1A3 Time : 3944.0 sec. user=vaughan [2009-05-10 04:25:07] 315*2^810455-1 is not prime. Res64: 34CD1A011B3B1D21 Time : 921.0 sec. user=vaughan [2009-05-10 04:26:51] 339*2^810093-1 is not prime. Res64: 120185E01AC8269A Time : 8276.0 sec. user=mdettweiler [2009-05-10 04:27:34] 339*2^810303-1 is not prime. Res64: 3009A0BF27031BF7 Time : 3945.0 sec. user=kar_bon [2009-05-10 04:28:43] 315*2^809911-1 is not prime. Res64: E69C608A57D79A27 Time : 11237.0 sec. user=kar_bon [2009-05-10 04:28:44] 315*2^809971-1 is not prime. Res64: 4156C1E09B63626F Time : 10172.0 sec. user=mdettweiler [2009-05-10 04:29:36] 345*2^810330-1 is not prime. Res64: CCDDF65CE9E06B0D Time : 3937.0 sec. user=kar_bon [2009-05-10 04:29:43] 327*2^809820-1 is not prime. Res64: 88FCD45D751F93D0 Time : 13378.0 sec. user=kar_bon [2009-05-10 04:29:44] 321*2^809877-1 is not prime. Res64: F61441CF472B1A5E Time : 12263.0 sec. user=kar_bon [2009-05-10 04:29:44] 333*2^809919-1 is not prime. Res64: 68B978E769F6351B Time : 11146.0 sec. user=vaughan [2009-05-10 04:30:19] 339*2^810461-1 is not prime. Res64: B3C3E5B042B40A25 Time : 947.0 sec. user=vaughan [2009-05-10 04:32:20] 333*2^810107-1 is not prime. Res64: F881FEC4E3194644 Time : 8362.0 sec. user=vaughan [2009-05-10 04:33:09] 327*2^810112-1 is not prime. Res64: 118D49F2C6C8DED1 Time : 8230.0 sec. user=vaughan [2009-05-10 04:34:06] 333*2^810464-1 is not prime. Res64: 99AD30FF0C08F8EB Time : 944.0 sec. user=mdettweiler [2009-05-10 04:34:13] 315*2^810340-1 is not prime. Res64: E583C744D73F7FFE Time : 3938.0 sec. user=vaughan [2009-05-10 04:36:06] 345*2^810117-1 is not prime. Res64: 8C464E919B236D31 Time : 8197.0 sec. user=mdettweiler [2009-05-10 04:36:48] 339*2^810341-1 is not prime. Res64: AAC77CEF3CB462C6 Time : 3942.0 sec. user=kar_bon [2009-05-10 04:37:22] 333*2^809955-1 is not prime. Res64: 55CB7E19323A41B4 Time : 11089.0 sec. user=kar_bon [2009-05-10 04:40:14] 321*2^809862-1 is not prime. Res64: 7DA5044BAC42A02B Time : 12968.0 sec. user=vaughan [2009-05-10 04:40:30] 345*2^810487-1 is not prime. Res64: 1D446600B9441958 Time : 923.0 sec. user=vaughan [2009-05-10 04:40:38] 345*2^810126-1 is not prime. Res64: CD3EC5FB4D1019E7 Time : 8274.0 sec. user=mdettweiler [2009-05-10 04:40:42] 345*2^810360-1 is not prime. Res64: 3BBF904017956092 Time : 3943.0 sec. user=mdettweiler [2009-05-10 04:42:43] 345*2^810367-1 is not prime. Res64: 5BB4A9A4384C3EB0 Time : 3937.0 sec. user=vaughan [2009-05-10 04:46:06] 327*2^810516-1 is not prime. Res64: E40185DAD4C7B0AA Time : 947.0 sec. user=vaughan [2009-05-10 04:46:16] 339*2^810133-1 is not prime. Res64: EF7A1611383D2C11 Time : 8362.0 sec. user=vaughan [2009-05-10 04:46:53] 339*2^810151-1 is not prime. Res64: 4304107EFAD45810 Time : 8230.0 sec. user=mdettweiler [2009-05-10 04:47:22] 321*2^810381-1 is not prime. Res64: 84B982588A00F0E8 Time : 3940.0 sec. user=vaughan [2009-05-10 04:49:47] 321*2^810173-1 is not prime. Res64: 2E12710563484654 Time : 8199.0 sec. user=vaughan [2009-05-10 04:49:49] 327*2^810521-1 is not prime. Res64: A509DCB8F88D4099 Time : 943.0 sec. user=mdettweiler [2009-05-10 04:49:56] 327*2^810389-1 is not prime. Res64: F54E0C656357ADD6 Time : 3942.0 sec. user=mdettweiler [2009-05-10 04:53:51] 315*2^810395-1 is not prime. Res64: 7C151C546948575C Time : 3943.0 sec. user=vaughan [2009-05-10 04:54:28] 321*2^810182-1 is not prime. Res64: 775ABD56EEB8C39A Time : 8276.0 sec. user=mdettweiler [2009-05-10 04:55:51] 321*2^810397-1 is not prime. Res64: 8B9BAA5FA7158CB5 Time : 3938.0 sec. user=vaughan [2009-05-10 04:55:53] 327*2^810540-1 is not prime. Res64: EDA8AAF2EA15170D Time : 924.0 sec. user=vaughan [2009-05-10 05:00:12] 327*2^810204-1 is not prime. Res64: E0B7140F48366B54 Time : 8364.0 sec. user=mdettweiler [2009-05-10 05:00:29] 345*2^810412-1 is not prime. Res64: 63FCF4919A99F954 Time : 3940.0 sec. user=vaughan [2009-05-10 05:00:36] 315*2^810208-1 is not prime. Res64: 773027EC4D37D741 Time : 8230.0 sec. user=vaughan [2009-05-10 05:01:52] 333*2^810551-1 is not prime. Res64: 0EA821E814600CEB Time : 947.0 sec. user=mdettweiler [2009-05-10 05:03:04] 339*2^810416-1 is not prime. Res64: 18824A45DDA4B230 Time : 3941.0 sec. user=vaughan [2009-05-10 05:03:27] 339*2^810219-1 is not prime. Res64: 2B7FDEE8296A25BC Time : 8200.0 sec. user=vaughan [2009-05-10 05:05:33] 315*2^810568-1 is not prime. Res64: 22840319C16FFC41 Time : 944.0 sec. user=mdettweiler [2009-05-10 05:06:59] 315*2^810422-1 is not prime. Res64: 0CCC16DEBC932E42 Time : 3942.0 sec. user=vaughan [2009-05-10 05:08:16] 339*2^810227-1 is not prime. Res64: EEA317DB100601AB Time : 8276.0 sec. user=mdettweiler [2009-05-10 05:08:58] 327*2^810434-1 is not prime. Res64: C5777418240EEB9C Time : 3938.0 sec. user=vaughan [2009-05-10 05:11:15] 315*2^810580-1 is not prime. Res64: 23A684DED6BA8790 Time : 923.0 sec. user=mdettweiler [2009-05-10 05:13:40] 315*2^810447-1 is not prime. Res64: D722EF96452DC5E2 Time : 3942.0 sec. user=vaughan [2009-05-10 05:14:07] 333*2^810240-1 is not prime. Res64: AFB0398F05A387A8 Time : 8366.0 sec. user=vaughan [2009-05-10 05:14:20] 345*2^810246-1 is not prime. Res64: 575E5D42E38CAB97 Time : 8233.0 sec. user=mdettweiler [2009-05-10 05:16:13] 327*2^810456-1 is not prime. Res64: F43FC25E01ACB7C3 Time : 3943.0 sec. user=vaughan [2009-05-10 05:17:27] 321*2^810254-1 is not prime. Res64: 8CE3F1D7D336FE99 Time : 8219.0 sec. user=vaughan [2009-05-10 05:17:38] 333*2^810594-1 is not prime. Res64: 64AB613CB05EBCDF Time : 946.0 sec. user=mdettweiler [2009-05-10 05:20:06] 315*2^810460-1 is not prime. Res64: 66C30F15B695C189 Time : 3942.0 sec. user=vaughan [2009-05-10 05:21:18] 315*2^810604-1 is not prime. Res64: F3E58F2FE54BFC8E Time : 945.0 sec. user=vaughan [2009-05-10 05:22:05] 339*2^810257-1 is not prime. Res64: FA6267136207A463 Time : 8276.0 sec. user=mdettweiler [2009-05-10 05:22:07] 321*2^810462-1 is not prime. Res64: 5B52C2B5CB0609E9 Time : 3938.0 sec. user=vaughan [2009-05-10 05:26:36] 339*2^810613-1 is not prime. Res64: 7E79150F8FAC9E2E Time : 921.0 sec. user=mdettweiler [2009-05-10 05:26:47] 339*2^810481-1 is not prime. Res64: E9106C25CA74093E Time : 3941.0 sec. user=vaughan [2009-05-10 05:28:04] 315*2^810286-1 is not prime. Res64: 50BF2B1C68E00D57 Time : 8233.0 sec. user=vaughan [2009-05-10 05:28:04] 315*2^810268-1 is not prime. Res64: C9CC1BAC8CCFDAC6 Time : 8367.0 sec. user=mdettweiler [2009-05-10 05:29:23] 327*2^810482-1 is not prime. Res64: 4D735F8179B2DB93 Time : 3943.0 sec. user=vaughan [2009-05-10 05:30:47] 345*2^810291-1 is not prime. Res64: 2BDF65A49E25E857 Time : 8200.0 sec. user=mdettweiler [2009-05-10 05:33:15] 339*2^810496-1 is not prime. Res64: 76B86DB1C844D5E1 Time : 3941.0 sec. user=vaughan [2009-05-10 05:33:24] 327*2^810640-1 is not prime. Res64: CE9EB97EF4C71E35 Time : 946.0 sec. user=mdettweiler [2009-05-10 05:35:16] 327*2^810501-1 is not prime. Res64: D4DACCAAAE9E0E7F Time : 3940.0 sec. user=vaughan [2009-05-10 05:35:53] 327*2^810301-1 is not prime. Res64: E01E387B1A5FF79A Time : 8276.0 sec. user=vaughan [2009-05-10 05:37:01] 327*2^810645-1 is not prime. Res64: 9DB82C2A700555A2 Time : 944.0 sec. user=mdettweiler [2009-05-10 05:39:55] 333*2^810524-1 is not prime. Res64: D3FE0D5162E936CC Time : 3942.0 sec. user=vaughan [2009-05-10 05:41:47] 315*2^810331-1 is not prime. Res64: B4DBC0C687277A17 Time : 8233.0 sec. user=vaughan [2009-05-10 05:41:58] 333*2^810647-1 is not prime. Res64: C42E209116E74593 Time : 922.0 sec. user=vaughan [2009-05-10 05:42:00] 315*2^810318-1 is not prime. Res64: A9C8429DCA200B4E Time : 8368.0 sec. user=mdettweiler [2009-05-10 05:42:35] 345*2^810526-1 is not prime. Res64: C5FE7248A7201D97 Time : 3947.0 sec. user=vaughan [2009-05-10 05:44:27] 333*2^810338-1 is not prime. Res64: C36DDC60296D7EF1 Time : 8179.0 sec. user=vaughan [2009-05-10 05:49:11] 345*2^810666-1 is not prime. Res64: CB546FC930D4154F Time : 947.0 sec. user=mdettweiler [2009-05-10 05:49:12] 345*2^810547-1 is not prime. Res64: 707671CFA8BE019E Time : 4110.0 sec. user=vaughan [2009-05-10 05:49:43] 345*2^810342-1 is not prime. Res64: 985A7250B326849C Time : 8278.0 sec. user=mdettweiler [2009-05-10 05:49:48] 327*2^810549-1 is not prime. Res64: D71F6F4873B9211E Time : 4025.0 sec. user=vaughan [2009-05-10 05:52:46] 339*2^810675-1 is not prime. Res64: DE05EB9EEFA5B57C Time : 945.0 sec. user=mdettweiler [2009-05-10 05:53:06] 333*2^810560-1 is not prime. Res64: 01BB93CA463C460E Time : 3944.0 sec. user=vaughan [2009-05-10 05:55:30] 315*2^810370-1 is not prime. Res64: E5EC0F3C4235FD47 Time : 8232.0 sec. user=mdettweiler [2009-05-10 05:55:43] 339*2^810568-1 is not prime. Res64: DC0BAFC2DAF8E92A Time : 3947.0 sec. user=vaughan [2009-05-10 05:55:57] 321*2^810366-1 is not prime. Res64: 2ECB8026F5DED7D1 Time : 8369.0 sec. user=vaughan [2009-05-10 05:57:21] 339*2^810679-1 is not prime. Res64: FA90DD52C2B81110 Time : 924.0 sec. user=vaughan [2009-05-10 05:58:07] 315*2^810378-1 is not prime. Res64: 3CBE471D1DF36C23 Time : 8200.0 sec. user=mdettweiler [2009-05-10 05:59:33] 315*2^810571-1 is not prime. Res64: E743694B142306EA Time : 3942.0 sec. user=mdettweiler [2009-05-10 06:01:32] 339*2^810579-1 is not prime. Res64: 95FEA3591432A6BF Time : 3941.0 sec. user=vaughan [2009-05-10 06:03:30] 345*2^810391-1 is not prime. Res64: 5926DDD0748BEE9F Time : 8276.0 sec. user=vaughan [2009-05-10 06:04:59] 327*2^810692-1 is not prime. Res64: 8373A3450786B8D0 Time : 948.0 sec. user=mdettweiler [2009-05-10 06:06:14] 327*2^810589-1 is not prime. Res64: 4529010F99ABE320 Time : 3945.0 sec. user=vaughan [2009-05-10 06:08:31] 327*2^810706-1 is not prime. Res64: 275156FCA3A12209 Time : 945.0 sec. user=mdettweiler [2009-05-10 06:08:53] 333*2^810600-1 is not prime. Res64: 333093A27A85B0F3 Time : 3949.0 sec. user=vaughan [2009-05-10 06:09:13] 345*2^810400-1 is not prime. Res64: D2472DE5D80ED6F1 Time : 8233.0 sec. user=vaughan [2009-05-10 06:09:53] 339*2^810399-1 is not prime. Res64: 9494262646433207 Time : 8367.0 sec. user=vaughan [2009-05-10 06:11:48] 339*2^810413-1 is not prime. Res64: F72EC8BC900F13EC Time : 8202.0 sec. user=mdettweiler [2009-05-10 06:12:42] 315*2^810606-1 is not prime. Res64: 7ADE67FA27BCEA4A Time : 3943.0 sec. user=vaughan [2009-05-10 06:12:45] 345*2^810720-1 is not prime. Res64: B879047C8B749C52 Time : 924.0 sec. user=mdettweiler [2009-05-10 06:14:40] 327*2^810608-1 is not prime. Res64: 278653A3B14C5AF8 Time : 3942.0 sec. user=vaughan [2009-05-10 06:17:19] 327*2^810418-1 is not prime. Res64: 79B59B27971823CB Time : 8281.0 sec. user=mdettweiler [2009-05-10 06:19:22] 333*2^810618-1 is not prime. Res64: 1A1F043C2DA9B57D Time : 3942.0 sec. user=vaughan [2009-05-10 06:20:46] 339*2^810727-1 is not prime. Res64: 7050A4F71C4343D6 Time : 948.0 sec. user=mdettweiler [2009-05-10 06:22:03] 315*2^810624-1 is not prime. Res64: 7706C91B86E5D258 Time : 3950.0 sec. user=vaughan [2009-05-10 06:22:57] 333*2^810438-1 is not prime. Res64: F0437E95C1D4BF3F Time : 8235.0 sec. user=vaughan [2009-05-10 06:23:49] 327*2^810436-1 is not prime. Res64: A739E8B45C20E34B Time : 8364.0 sec. user=vaughan [2009-05-10 06:24:15] 339*2^810735-1 is not prime. Res64: C7304F2CE1A7AF0D Time : 944.0 sec. user=vaughan [2009-05-10 06:25:29] 339*2^810451-1 is not prime. Res64: F4537DB1ED21E0BC Time : 8202.0 sec. user=mdettweiler [2009-05-10 06:25:50] 315*2^810645-1 is not prime. Res64: 9DF82DE826032E8D Time : 3944.0 sec. user=mdettweiler [2009-05-10 06:27:49] 345*2^810646-1 is not prime. Res64: B187A6EE3E62C021 Time : 3942.0 sec. user=vaughan [2009-05-10 06:31:31] 333*2^810458-1 is not prime. Res64: F2FCF2D43306CADD Time : 8307.0 sec. user=vaughan [2009-05-10 06:32:23] 315*2^810750-1 is not prime. Res64: EE679A2B83E40A4C Time : 1179.0 sec. user=mdettweiler [2009-05-10 06:32:28] 333*2^810648-1 is not prime. Res64: 3E8F3E2B25D0516D Time : 3942.0 sec. user=mdettweiler [2009-05-10 06:35:13] 333*2^810663-1 is not prime. Res64: 490A4A9FDAFFD7BA Time : 3950.0 sec. user=vaughan [2009-05-10 06:36:38] 339*2^810475-1 is not prime. Res64: 9600915A59069AEA Time : 8232.0 sec. user=vaughan [2009-05-10 06:37:45] 321*2^810465-1 is not prime. Res64: 19663F9E63389688 Time : 8362.0 sec. user=mdettweiler [2009-05-10 06:38:59] 339*2^810665-1 is not prime. Res64: D3CBDCBEA19EEE54 Time : 3944.0 sec. user=vaughan [2009-05-10 06:39:08] 315*2^810482-1 is not prime. Res64: 39F55B7F8DEEA96B Time : 8202.0 sec. user=mdettweiler [2009-05-10 06:40:57] 321*2^810670-1 is not prime. Res64: DAFE2A634213AE4A Time : 3941.0 sec. user=vaughan [2009-05-10 06:41:06] 327*2^810761-1 is not prime. Res64: F11066A14F2A4ECA Time : 1220.0 sec. user=vaughan [2009-05-10 06:43:45] 321*2^810770-1 is not prime. Res64: 4A6FF56D23C645E2 Time : 1171.0 sec. user=vaughan [2009-05-10 06:44:57] 315*2^810490-1 is not prime. Res64: 94ABCAFAE1A5B13C Time : 8286.0 sec. user=mdettweiler [2009-05-10 06:45:37] 315*2^810678-1 is not prime. Res64: C385536BF40C89BB Time : 3942.0 sec. user=vaughan [2009-05-10 06:48:10] 327*2^810781-1 is not prime. Res64: CC4044B6652A72F8 Time : 947.0 sec. user=mdettweiler [2009-05-10 06:48:21] 339*2^810689-1 is not prime. Res64: 99D9174A0EF24140 Time : 3946.0 sec. user=vaughan [2009-05-10 06:50:23] 321*2^810517-1 is not prime. Res64: 76D2D17580E25265 Time : 8235.0 sec. user=vaughan [2009-05-10 06:51:41] 333*2^810516-1 is not prime. Res64: 60971F3F821AC699 Time : 8362.0 sec. user=mdettweiler [2009-05-10 06:52:07] 327*2^810696-1 is not prime. Res64: D62DBFC9AA267482 Time : 3775.0 sec. user=vaughan [2009-05-10 06:52:49] 315*2^810525-1 is not prime. Res64: 08F17F61FA4C05AC Time : 8203.0 sec. user=mdettweiler [2009-05-10 06:54:07] 315*2^810706-1 is not prime. Res64: 46515CDAE3A08A6B Time : 3859.0 sec. user=vaughan [2009-05-10 06:56:56] 321*2^810806-1 is not prime. Res64: C0BBA1D8428E7AD6 Time : 950.0 sec. user=mdettweiler [2009-05-10 06:58:44] 339*2^810709-1 is not prime. Res64: 3273E222BD81D4AE Time : 3938.0 sec. user=vaughan [2009-05-10 06:58:46] 321*2^810542-1 is not prime. Res64: AAD4215A627BE7CF Time : 8288.0 sec. user=vaughan [2009-05-10 06:59:17] 315*2^810807-1 is not prime. Res64: C185EEDC0A47E654 Time : 932.0 sec. user=mdettweiler [2009-05-10 07:01:31] 315*2^810715-1 is not prime. Res64: 14F08116E7CF5311 Time : 3948.0 sec. user=vaughan [2009-05-10 07:03:41] 315*2^810815-1 is not prime. Res64: 6207142DBEF89B44 Time : 932.0 sec. user=vaughan [2009-05-10 07:04:06] 333*2^810555-1 is not prime. Res64: F716AA8AA30A6C9C Time : 8233.0 sec. user=mdettweiler [2009-05-10 07:05:18] 315*2^810722-1 is not prime. Res64: 38A005B9F536888F Time : 3945.0 sec. user=vaughan [2009-05-10 07:05:36] 339*2^810551-1 is not prime. Res64: E8AB4783237FB7CB Time : 8360.0 sec. user=vaughan [2009-05-10 07:06:29] 339*2^810561-1 is not prime. Res64: 66B3FF43E05BFC94 Time : 8202.0 sec. user=mdettweiler [2009-05-10 07:07:16] 321*2^810722-1 is not prime. Res64: 2F549B4270FF5A05 Time : 3945.0 sec. user=mdettweiler [2009-05-10 07:11:51] 345*2^810732-1 is not prime. Res64: C600E196253FFDF4 Time : 3937.0 sec. user=vaughan [2009-05-10 07:12:35] 339*2^810571-1 is not prime. Res64: 120EC25988420970 Time : 8287.0 sec. user=vaughan [2009-05-10 07:12:45] 339*2^810839-1 is not prime. Res64: FFD4A4E41561F6D5 Time : 950.0 sec. user=mdettweiler [2009-05-10 07:14:39] 327*2^810738-1 is not prime. Res64: DA490C8433EAA43B Time : 3946.0 sec. user=vaughan [2009-05-10 07:14:48] 327*2^810842-1 is not prime. Res64: BA711314F0F17CC6 Time : 931.0 sec. user=vaughan [2009-05-10 07:17:48] 333*2^810591-1 is not prime. Res64: 9ACD51CE7674DC98 Time : 8233.0 sec. user=mdettweiler [2009-05-10 07:18:28] 321*2^810745-1 is not prime. Res64: BCF38D08658E3EB4 Time : 3946.0 sec. user=vaughan [2009-05-10 07:19:12] 339*2^810847-1 is not prime. Res64: 9AF0B289308321C9 Time : 931.0 sec. user=vaughan [2009-05-10 07:19:32] 327*2^810581-1 is not prime. Res64: EF2542D21196B4F5 Time : 8361.0 sec. user=vaughan [2009-05-10 07:20:11] 339*2^810603-1 is not prime. Res64: D256EFB39A4B00FE Time : 8205.0 sec. user=mdettweiler [2009-05-10 07:20:23] 315*2^810754-1 is not prime. Res64: F612B0513C08C704 Time : 3943.0 sec. user=mdettweiler [2009-05-10 07:25:00] 321*2^810758-1 is not prime. Res64: DA87A976E01F9BE8 Time : 3938.0 sec. user=vaughan [2009-05-10 07:26:25] 321*2^810606-1 is not prime. Res64: 2124866BEEF8D7F5 Time : 8290.0 sec. user=mdettweiler [2009-05-10 07:27:49] 339*2^810761-1 is not prime. Res64: 6192B562B8CF7D60 Time : 3946.0 sec. user=vaughan [2009-05-10 07:28:32] 315*2^810874-1 is not prime. Res64: 6385392818CF1517 Time : 948.0 sec. user=vaughan [2009-05-10 07:30:19] 315*2^810876-1 is not prime. Res64: C2B84885110C5B03 Time : 932.0 sec. user=vaughan [2009-05-10 07:31:31] 321*2^810623-1 is not prime. Res64: 73D9166B293FA758 Time : 8231.0 sec. user=mdettweiler [2009-05-10 07:31:38] 315*2^810778-1 is not prime. Res64: AEC761F65EF7800C Time : 3948.0 sec. user=mdettweiler [2009-05-10 07:33:30] 315*2^810779-1 is not prime. Res64: 4E606D9E915376BE Time : 3941.0 sec. user=vaughan [2009-05-10 07:34:17] 333*2^810630-1 is not prime. Res64: 38E5D9CF7AEBFEC1 Time : 8210.0 sec. user=vaughan [2009-05-10 07:34:18] 345*2^810622-1 is not prime. Res64: EFF1B7796BDA48D2 Time : 8411.0 sec. user=vaughan [2009-05-10 07:34:43] 321*2^810886-1 is not prime. Res64: 06F288DE5D7B9DDD Time : 931.0 sec. user=mdettweiler [2009-05-10 07:38:11] 345*2^810784-1 is not prime. Res64: EB7AAA8B122D700D Time : 3943.0 sec. user=vaughan [2009-05-10 07:40:13] 321*2^810646-1 is not prime. Res64: D5A6113E4A27E87B Time : 8288.0 sec. user=mdettweiler [2009-05-10 07:40:57] 327*2^810785-1 is not prime. Res64: 58ACADB5473A7787 Time : 3944.0 sec. user=vaughan [2009-05-10 07:44:21] 321*2^810898-1 is not prime. Res64: F99C635C5AD77172 Time : 949.0 sec. user=mdettweiler [2009-05-10 07:44:46] 345*2^810801-1 is not prime. Res64: C8374183B6F4C6EF Time : 3947.0 sec. user=vaughan [2009-05-10 07:45:13] 321*2^810654-1 is not prime. Res64: A77AFFAEFB1816A4 Time : 8229.0 sec. user=vaughan [2009-05-10 07:45:50] 339*2^810903-1 is not prime. Res64: CA42C950B8814AC5 Time : 931.0 sec. user=mdettweiler [2009-05-10 07:46:40] 315*2^810805-1 is not prime. Res64: 55C6AFEA67DD4ED1 Time : 3943.0 sec. user=vaughan [2009-05-10 07:47:24] 333*2^810660-1 is not prime. Res64: 83D1B4EA9EE949FF Time : 8360.0 sec. user=vaughan [2009-05-10 07:47:34] 321*2^810665-1 is not prime. Res64: 6F08EC9DFEA5B0B9 Time : 8207.0 sec. user=vaughan [2009-05-10 07:50:14] 327*2^810914-1 is not prime. Res64: CC5D0757BBBE07E1 Time : 932.0 sec. user=vaughan [2009-05-10 07:54:05] 345*2^810672-1 is not prime. Res64: 2CCE30B8AFB4EF78 Time : 8292.0 sec. user=mdettweiler [2009-05-10 07:54:06] 345*2^810814-1 is not prime. Res64: DF5F79ADD49A48C2 Time : 4109.0 sec. user=mdettweiler [2009-05-10 07:54:06] 321*2^810815-1 is not prime. Res64: D7496C5B4554C2A4 Time : 3945.0 sec. user=mdettweiler [2009-05-10 07:57:55] 345*2^810819-1 is not prime. Res64: 67A24D95B089D8C8 Time : 3948.0 sec. user=vaughan [2009-05-10 07:58:56] 315*2^810679-1 is not prime. Res64: 6C8B07F53E6539CC Time : 8230.0 sec. user=mdettweiler [2009-05-10 07:59:50] 315*2^810838-1 is not prime. Res64: E51529A10A0DA6CF Time : 3943.0 sec. user=vaughan [2009-05-10 08:00:09] 315*2^810918-1 is not prime. Res64: 280AE4CD1DDDE282 Time : 948.0 sec. user=vaughan [2009-05-10 08:01:15] 315*2^810691-1 is not prime. Res64: B25B654ECD27B1C6 Time : 8209.0 sec. user=vaughan [2009-05-10 08:01:20] 315*2^810684-1 is not prime. Res64: FD722E8DF8097147 Time : 8360.0 sec. user=vaughan [2009-05-10 08:01:21] 315*2^810925-1 is not prime. Res64: 8172152D48656A7C Time : 931.0 sec. user=mdettweiler [2009-05-10 08:04:27] 321*2^810841-1 is not prime. Res64: EE342583C8BED296 Time : 3943.0 sec. user=vaughan [2009-05-10 08:05:44] 327*2^810929-1 is not prime. Res64: EC656DBE36F2CC29 Time : 930.0 sec. user=mdettweiler [2009-05-10 08:07:15] 321*2^810846-1 is not prime. Res64: 8D675FC58A40553C Time : 3944.0 sec. user=vaughan [2009-05-10 08:07:53] 339*2^810705-1 is not prime. Res64: 1B5080A30102ABAA Time : 8291.0 sec. user=mdettweiler [2009-05-10 08:11:03] 315*2^810858-1 is not prime. Res64: 25DF0409B37C2D58 Time : 3945.0 sec. user=vaughan [2009-05-10 08:12:40] 315*2^810712-1 is not prime. Res64: 10C8FCB31CE6EFC8 Time : 8230.0 sec. user=mdettweiler [2009-05-10 08:12:57] 327*2^810865-1 is not prime. Res64: 3913005729130AA1 Time : 3941.0 sec. user=vaughan [2009-05-10 08:14:57] 327*2^810721-1 is not prime. Res64: 0B74853B4FC14E7C Time : 8210.0 sec. user=vaughan [2009-05-10 08:15:19] 327*2^810716-1 is not prime. Res64: 19B5E5F7CB1C778D Time : 8362.0 sec. user=vaughan [2009-05-10 08:15:58] 315*2^810952-1 is not prime. Res64: 1EB6D12D621203A4 Time : 949.0 sec. user=vaughan [2009-05-10 08:16:52] 315*2^810962-1 is not prime. Res64: 7F50E3A019536BCA Time : 931.0 sec. user=mdettweiler [2009-05-10 08:17:35] 327*2^810868-1 is not prime. Res64: 21499111FB854FF9 Time : 3944.0 sec. user=mdettweiler [2009-05-10 08:20:24] 339*2^810875-1 is not prime. Res64: 8D01D6A70F564637 Time : 3945.0 sec. user=vaughan [2009-05-10 08:21:15] 333*2^810963-1 is not prime. Res64: 76485F671B6387DF Time : 931.0 sec. user=vaughan [2009-05-10 08:21:44] 339*2^810723-1 is not prime. Res64: 216D1BAB79F15FBC Time : 8294.0 sec. user=mdettweiler [2009-05-10 08:24:12] 327*2^810885-1 is not prime. Res64: CB15D0CCF4002FB6 Time : 3944.0 sec. user=mdettweiler [2009-05-10 08:26:05] 321*2^810894-1 is not prime. Res64: 260D3E74FD73F8E2 Time : 3943.0 sec. user=vaughan [2009-05-10 08:26:23] 339*2^810741-1 is not prime. Res64: 09FBF059B5610BC8 Time : 8231.0 sec. user=vaughan [2009-05-10 08:28:37] 321*2^810742-1 is not prime. Res64: 2B71ABD77C3DAF36 Time : 8209.0 sec. user=vaughan [2009-05-10 08:29:13] 345*2^810741-1 is not prime. Res64: 66F6BBA1CEA75657 Time : 8360.0 sec. user=mdettweiler [2009-05-10 08:30:45] 315*2^810895-1 is not prime. Res64: AB45C04E8DA20ED0 Time : 3945.0 sec. user=vaughan [2009-05-10 08:31:46] 321*2^810977-1 is not prime. Res64: 7C60AFBF9E51F5C7 Time : 948.0 sec. user=vaughan [2009-05-10 08:32:23] 327*2^810978-1 is not prime. Res64: 9F6B1A575BA25926 Time : 931.0 sec. user=mdettweiler [2009-05-10 08:33:32] 315*2^810898-1 is not prime. Res64: FEE8602531756FB7 Time : 3943.0 sec. user=vaughan [2009-05-10 08:35:32] 315*2^810758-1 is not prime. Res64: B209405443A84923 Time : 8294.0 sec. user=vaughan [2009-05-10 08:36:47] 327*2^810993-1 is not prime. Res64: B50A37D60A2CA9FC Time : 932.0 sec. user=mdettweiler [2009-05-10 08:37:20] 315*2^810907-1 is not prime. Res64: 6CA25337D19C1C2D Time : 3943.0 sec. user=mdettweiler [2009-05-10 08:39:14] 327*2^810908-1 is not prime. Res64: 736DE7E02CFD831D Time : 3944.0 sec. user=vaughan [2009-05-10 08:40:07] 345*2^810762-1 is not prime. Res64: E5CFEEED65AB1576 Time : 8230.0 sec. user=vaughan [2009-05-10 08:42:40] 345*2^810771-1 is not prime. Res64: 8116A671591AD8C5 Time : 8232.0 sec. user=vaughan [2009-05-10 08:43:10] 321*2^810765-1 is not prime. Res64: 52B0D6DD97943CBB Time : 8361.0 sec. user=mdettweiler [2009-05-10 08:43:54] 339*2^810915-1 is not prime. Res64: 4A4B4483A78B7DF0 Time : 3943.0 sec. user=mdettweiler [2009-05-10 08:46:40] 339*2^810917-1 is not prime. Res64: 1DE62C59F0F1B7B5 Time : 3943.0 sec. user=vaughan [2009-05-10 08:47:34] 339*2^811021-1 is not prime. Res64: B60C77AA634461FC Time : 948.0 sec. user=vaughan [2009-05-10 08:47:54] 321*2^811022-1 is not prime. Res64: 19848A356405B0C0 Time : 931.0 sec. user=vaughan [2009-05-10 08:49:24] 339*2^810779-1 is not prime. Res64: D4EF26CF0C00AF9E Time : 8273.0 sec. user=mdettweiler [2009-05-10 08:50:29] 339*2^810919-1 is not prime. Res64: 27A09A02A794EA0C Time : 3943.0 sec. user=vaughan [2009-05-10 08:52:19] 315*2^811036-1 is not prime. Res64: 08D6B3A9705E75C3 Time : 932.0 sec. user=mdettweiler [2009-05-10 08:52:24] 321*2^810925-1 is not prime. Res64: 8BC3475788BCFC46 Time : 3944.0 sec. user=vaughan [2009-05-10 08:53:51] 333*2^810795-1 is not prime. Res64: 15C2B1227B317E19 Time : 8233.0 sec. user=vaughan [2009-05-10 08:56:01] 327*2^810804-1 is not prime. Res64: 7DC2F414DCAC3509 Time : 8213.0 sec. user=mdettweiler [2009-05-10 08:57:03] 327*2^810946-1 is not prime. Res64: EBED740B126A4FB2 Time : 3777.0 sec. user=vaughan [2009-05-10 08:57:09] 327*2^810800-1 is not prime. Res64: 20E4A1FB0F9241C4 Time : 8364.0 sec. user=mdettweiler [2009-05-10 08:59:48] 315*2^810947-1 is not prime. Res64: 7B7F94C0B321C0D7 Time : 3942.0 sec. user=vaughan [2009-05-10 09:03:09] 333*2^810810-1 is not prime. Res64: D4FC2D05FE8FE39C Time : 8293.0 sec. user=vaughan [2009-05-10 09:03:23] 327*2^811058-1 is not prime. Res64: 754FADB04916406E Time : 949.0 sec. user=vaughan [2009-05-10 09:03:25] 327*2^811061-1 is not prime. Res64: 76069BFEC02F5310 Time : 932.0 sec. user=mdettweiler [2009-05-10 09:03:38] 333*2^810947-1 is not prime. Res64: A1385070E34FCBF1 Time : 3944.0 sec. user=mdettweiler [2009-05-10 09:05:33] 339*2^810951-1 is not prime. Res64: F8E5E4D999F2CAA5 Time : 3943.0 sec. user=vaughan [2009-05-10 09:07:35] 333*2^810815-1 is not prime. Res64: 7A8E59121E8B77BE Time : 8232.0 sec. user=vaughan [2009-05-10 09:07:52] 327*2^811065-1 is not prime. Res64: 62DF211D404C6096 Time : 933.0 sec. user=vaughan [2009-05-10 09:09:42] 333*2^810827-1 is not prime. Res64: 8A4DE52538387B31 Time : 8213.0 sec. user=mdettweiler [2009-05-10 09:10:11] 327*2^810962-1 is not prime. Res64: 3B302FDAC6C1F5BA Time : 3944.0 sec. user=vaughan [2009-05-10 09:11:11] 315*2^810818-1 is not prime. Res64: 1DA50691FB019AEC Time : 8371.0 sec. user=mdettweiler [2009-05-10 09:12:56] 321*2^810966-1 is not prime. Res64: 7221FE2006C13753 Time : 3941.0 sec. user=mdettweiler [2009-05-10 09:16:49] 345*2^810966-1 is not prime. Res64: D189048058C407F9 Time : 3946.0 sec. user=vaughan [2009-05-10 09:16:55] 327*2^810841-1 is not prime. Res64: 886B76C16A73A764 Time : 8290.0 sec. user=mdettweiler [2009-05-10 09:18:41] 315*2^810975-1 is not prime. Res64: DE3D3416F8E15C5C Time : 3944.0 sec. user=vaughan [2009-05-10 09:18:57] 339*2^811075-1 is not prime. Res64: 5644493496CC0B4A Time : 933.0 sec. user=vaughan [2009-05-10 09:19:11] 321*2^811074-1 is not prime. Res64: 9954EFFE0E5BBB85 Time : 949.0 sec. user=vaughan [2009-05-10 09:21:19] 321*2^810850-1 is not prime. Res64: 64DBD5D83E7A8E1F Time : 8233.0 sec. user=mdettweiler [2009-05-10 09:23:19] 345*2^810981-1 is not prime. Res64: BA2187505968037F Time : 3944.0 sec. user=vaughan [2009-05-10 09:23:23] 333*2^811100-1 is not prime. Res64: 18172C6ABA4B38E6 Time : 931.0 sec. user=vaughan [2009-05-10 09:24:30] 321*2^810863-1 is not prime. Res64: 7A7C6EC7724D9D44 Time : 8281.0 sec. user=vaughan [2009-05-10 09:25:09] 327*2^810860-1 is not prime. Res64: 8B45B8702099BBD9 Time : 8373.0 sec. user=mdettweiler [2009-05-10 09:26:06] 315*2^810984-1 is not prime. Res64: 592FC78352DAA773 Time : 3942.0 sec. user=mdettweiler [2009-05-10 09:29:57] 315*2^811002-1 is not prime. Res64: 3EB297460547F71F Time : 3945.0 sec. user=vaughan [2009-05-10 09:30:42] 321*2^810870-1 is not prime. Res64: E8AD48E35D8005E3 Time : 8287.0 sec. user=mdettweiler [2009-05-10 09:31:50] 333*2^811004-1 is not prime. Res64: 81C26267E95C19E8 Time : 3945.0 sec. user=vaughan [2009-05-10 09:34:29] 345*2^811125-1 is not prime. Res64: 3E9748D49A795A5B Time : 933.0 sec. user=vaughan [2009-05-10 09:34:59] 345*2^811126-1 is not prime. Res64: 139F768D6384C5C4 Time : 948.0 sec. user=vaughan [2009-05-10 09:35:01] 333*2^810879-1 is not prime. Res64: B9B1ED0C3DFA2444 Time : 8233.0 sec. user=mdettweiler [2009-05-10 09:36:27] 327*2^811013-1 is not prime. Res64: 847E6668D7CB8CAC Time : 3942.0 sec. user=vaughan [2009-05-10 09:37:07] 327*2^810892-1 is not prime. Res64: EAD44CC5C78FF428 Time : 8216.0 sec. user=vaughan [2009-05-10 09:38:55] 321*2^811134-1 is not prime. Res64: D4C4E53D116E9603 Time : 932.0 sec. user=vaughan [2009-05-10 09:39:08] 327*2^810889-1 is not prime. Res64: 832CB35D51778231 Time : 8377.0 sec. user=mdettweiler [2009-05-10 09:39:15] 339*2^811025-1 is not prime. Res64: A906FF59B7F574FD Time : 3943.0 sec. user=mdettweiler [2009-05-10 09:43:07] 339*2^811037-1 is not prime. Res64: 9049B6A7D23E50E6 Time : 3947.0 sec. user=vaughan [2009-05-10 09:44:28] 345*2^810897-1 is not prime. Res64: BE14D6170D6CDE95 Time : 8283.0 sec. user=mdettweiler [2009-05-10 09:44:58] 321*2^811045-1 is not prime. Res64: 6EEB1EEA897B3C36 Time : 3944.0 sec. user=vaughan [2009-05-10 09:48:45] 345*2^810906-1 is not prime. Res64: 55057E3BCC7DB117 Time : 8234.0 sec. user=mdettweiler [2009-05-10 09:49:36] 315*2^811058-1 is not prime. Res64: DD38E60B8A09A686 Time : 3942.0 sec. user=vaughan [2009-05-10 09:49:59] 321*2^811150-1 is not prime. Res64: 4C6A7BA7DD42868B Time : 931.0 sec. user=vaughan [2009-05-10 09:50:47] 333*2^811154-1 is not prime. Res64: 4BA3438E66AFBCBE Time : 948.0 sec. user=vaughan [2009-05-10 09:50:48] 345*2^810909-1 is not prime. Res64: 637932E833DE058F Time : 8192.0 sec. user=mdettweiler [2009-05-10 09:52:25] 321*2^811058-1 is not prime. Res64: 892054B631A3319D Time : 3945.0 sec. user=vaughan [2009-05-10 09:53:09] 339*2^810911-1 is not prime. Res64: CE5B8DEFD2B170A5 Time : 8331.0 sec. user=vaughan [2009-05-10 09:54:27] 333*2^811167-1 is not prime. Res64: B7389BFDFED1734A Time : 932.0 sec. user=mdettweiler [2009-05-10 09:58:05] 315*2^811067-1 is not prime. Res64: 262DC4ED37A808D8 Time : 3941.0 sec. user=vaughan [2009-05-10 09:58:14] 345*2^810915-1 is not prime. Res64: D7B1FC56553FFE76 Time : 8281.0 sec. user=mdettweiler [2009-05-10 09:59:04] 333*2^811064-1 is not prime. Res64: ED829B2C7EC06FA2 Time : 4115.0 sec. user=vaughan [2009-05-10 10:02:28] 339*2^810923-1 is not prime. Res64: F1C7F81B56893E2A Time : 8235.0 sec. user=mdettweiler [2009-05-10 10:02:45] 339*2^811069-1 is not prime. Res64: 9945BBA9B7E109CA Time : 3942.0 sec. user=vaughan [2009-05-10 10:04:30] 321*2^810927-1 is not prime. Res64: 8E998DEFEAAB30B8 Time : 8216.0 sec. user=vaughan [2009-05-10 10:05:31] 339*2^811191-1 is not prime. Res64: 565C18F6A01B76F4 Time : 932.0 sec. user=mdettweiler [2009-05-10 10:05:34] 339*2^811071-1 is not prime. Res64: 494A3E7E54E03F16 Time : 3946.0 sec. user=vaughan [2009-05-10 10:06:35] 345*2^811191-1 is not prime. Res64: A6EC33A84711357D Time : 948.0 sec. user=vaughan [2009-05-10 10:07:31] 315*2^810926-1 is not prime. Res64: 5A79F0F7619ED23B Time : 8408.0 sec. user=mdettweiler [2009-05-10 10:09:27] 321*2^811078-1 is not prime. Res64: 0371363C8AFFEC58 Time : 3949.0 sec. user=vaughan [2009-05-10 10:09:59] 345*2^811204-1 is not prime. Res64: BA781CA093933BCA Time : 932.0 sec. user=mdettweiler [2009-05-10 10:11:13] 321*2^811094-1 is not prime. Res64: 6FB6C634A039B5FD Time : 3940.0 sec. user=vaughan [2009-05-10 10:12:00] 321*2^810941-1 is not prime. Res64: E3412C405EBF6284 Time : 8276.0 sec. user=mdettweiler [2009-05-10 10:15:54] 315*2^811107-1 is not prime. Res64: 9BEDD01169205513 Time : 3943.0 sec. user=vaughan [2009-05-10 10:16:11] 327*2^810948-1 is not prime. Res64: 23CD5B6EEE914016 Time : 8235.0 sec. user=vaughan [2009-05-10 10:18:11] 345*2^810952-1 is not prime. Res64: AB903508574B707A Time : 8216.0 sec. user=mdettweiler [2009-05-10 10:18:44] 327*2^811113-1 is not prime. Res64: E4835603281ED812 Time : 3948.0 sec. user=vaughan [2009-05-10 10:21:04] 339*2^811241-1 is not prime. Res64: B8114499D2DFA515 Time : 933.0 sec. user=vaughan [2009-05-10 10:21:11] 315*2^810957-1 is not prime. Res64: 187945841E02FF63 Time : 8392.0 sec. user=vaughan [2009-05-10 10:22:24] 321*2^811247-1 is not prime. Res64: 13626047102BF4F2 Time : 949.0 sec. user=mdettweiler [2009-05-10 10:22:37] 339*2^811113-1 is not prime. Res64: CE6A90AF7B6E47EA Time : 3948.0 sec. user=mdettweiler [2009-05-10 10:24:21] 339*2^811121-1 is not prime. Res64: 4C5D14747366E957 Time : 3940.0 sec. user=vaughan [2009-05-10 10:25:31] 339*2^811259-1 is not prime. Res64: F4A9D0638486E25C Time : 932.0 sec. user=vaughan [2009-05-10 10:25:46] 333*2^810966-1 is not prime. Res64: 6DD7A6D59258D613 Time : 8273.0 sec. user=mdettweiler [2009-05-10 10:29:04] 315*2^811134-1 is not prime. Res64: 45EDDBA9DF59895A Time : 3945.0 sec. user=vaughan [2009-05-10 10:29:55] 333*2^810968-1 is not prime. Res64: EF46A8DF0DF3F9BB Time : 8236.0 sec. user=mdettweiler [2009-05-10 10:31:51] 321*2^811138-1 is not prime. Res64: B528352E7BB5B059 Time : 3945.0 sec. user=vaughan [2009-05-10 10:31:52] 327*2^810976-1 is not prime. Res64: 7881CBA80DEFE1A3 Time : 8216.0 sec. user=vaughan [2009-05-10 10:35:12] 339*2^810976-1 is not prime. Res64: A4DB1D002DCD9EDD Time : 8393.0 sec. user=mdettweiler [2009-05-10 10:35:48] 339*2^811139-1 is not prime. Res64: C3FAF6AF92FB71A7 Time : 3951.0 sec. user=vaughan [2009-05-10 10:36:36] 327*2^811284-1 is not prime. Res64: 9A5D50DE0A8F95EA Time : 933.0 sec. user=mdettweiler [2009-05-10 10:37:30] 327*2^811149-1 is not prime. Res64: 8F8D2964A1BD9CCE Time : 3940.0 sec. user=vaughan [2009-05-10 10:38:12] 333*2^811296-1 is not prime. Res64: 70ADC4A33C7D6018 Time : 949.0 sec. user=vaughan [2009-05-10 10:41:04] 315*2^811307-1 is not prime. Res64: F7171E205B4EAC94 Time : 933.0 sec. user=vaughan [2009-05-10 10:41:41] 315*2^811000-1 is not prime. Res64: A6AA70A2B301A2D3 Time : 8397.0 sec. user=mdettweiler [2009-05-10 10:42:11] 327*2^811164-1 is not prime. Res64: D07DCADFF14958EC Time : 3944.0 sec. user=vaughan [2009-05-10 10:43:37] 315*2^811010-1 is not prime. Res64: 57738188036745A9 Time : 8234.0 sec. user=mdettweiler [2009-05-10 10:45:01] 315*2^811170-1 is not prime. Res64: 0E78DF06F323073A Time : 3946.0 sec. user=vaughan [2009-05-10 10:45:34] 315*2^811011-1 is not prime. Res64: 1A7BA90D280C2AE5 Time : 8217.0 sec. user=mdettweiler [2009-05-10 10:48:58] 315*2^811171-1 is not prime. Res64: A3C51DAD2F5E7A5C Time : 3951.0 sec. user=vaughan [2009-05-10 10:49:11] 315*2^811012-1 is not prime. Res64: B73A6F863B53534C Time : 8398.0 sec. user=mdettweiler [2009-05-10 10:50:38] 321*2^811182-1 is not prime. Res64: D8D5770EB4DA8114 Time : 3940.0 sec. user=vaughan [2009-05-10 10:52:08] 321*2^811326-1 is not prime. Res64: 70C5FF7C7EDBF0E9 Time : 933.0 sec. user=vaughan [2009-05-10 10:53:19] 333*2^811031-1 is not prime. Res64: 10A6E91007B5C197 Time : 8267.0 sec. user=vaughan [2009-05-10 10:54:00] 327*2^811329-1 is not prime. Res64: 84C3362E61E83CB6 Time : 948.0 sec. user=mdettweiler [2009-05-10 10:55:21] 321*2^811191-1 is not prime. Res64: CA8E41CB9A8425DB Time : 3945.0 sec. user=vaughan [2009-05-10 10:56:36] 339*2^811331-1 is not prime. Res64: 734B0336B889B745 Time : 933.0 sec. user=vaughan [2009-05-10 10:57:21] 333*2^811050-1 is not prime. Res64: 8C92672FEE4B6481 Time : 8234.0 sec. user=vaughan [2009-05-10 10:59:15] 315*2^811056-1 is not prime. Res64: DB4A5474647626A6 Time : 8195.0 sec. user=mdettweiler [2009-05-10 11:00:58] 327*2^811194-1 is not prime. Res64: 3555AB0B3607901E Time : 4113.0 sec. user=mdettweiler [2009-05-10 11:02:06] 321*2^811222-1 is not prime. Res64: 031D2D78B20996B7 Time : 3782.0 sec. user=vaughan [2009-05-10 11:03:11] 327*2^811056-1 is not prime. Res64: 3F2F6CF31B6C8063 Time : 8402.0 sec. user=mdettweiler [2009-05-10 11:03:48] 339*2^811211-1 is not prime. Res64: E3FF00FAB06B89CD Time : 3943.0 sec. user=vaughan [2009-05-10 11:07:35] 321*2^811062-1 is not prime. Res64: 577993B8A21607F4 Time : 8291.0 sec. user=vaughan [2009-05-10 11:07:39] 327*2^811345-1 is not prime. Res64: D90DD0277E0F821E Time : 931.0 sec. user=mdettweiler [2009-05-10 11:08:30] 327*2^811233-1 is not prime. Res64: E00911C6938817EB Time : 3945.0 sec. user=vaughan [2009-05-10 11:09:48] 339*2^811361-1 is not prime. Res64: 53DFD548FBDE5FF4 Time : 949.0 sec. user=vaughan [2009-05-10 11:11:05] 315*2^811069-1 is not prime. Res64: 62826E31ED7F4085 Time : 8234.0 sec. user=mdettweiler [2009-05-10 11:11:21] 345*2^811245-1 is not prime. Res64: 8768559BB43CA6BA Time : 3947.0 sec. user=vaughan [2009-05-10 11:12:07] 333*2^811368-1 is not prime. Res64: 790E604229A1031D Time : 932.0 sec. user=vaughan [2009-05-10 11:12:57] 327*2^811069-1 is not prime. Res64: F7E53C9A5C974263 Time : 8217.0 sec. user=mdettweiler [2009-05-10 11:15:15] 333*2^811256-1 is not prime. Res64: E055A0EB820293B6 Time : 3948.0 sec. user=mdettweiler [2009-05-10 11:16:57] 327*2^811268-1 is not prime. Res64: 71C734115C0ED760 Time : 3944.0 sec. user=vaughan [2009-05-10 11:17:10] 321*2^811071-1 is not prime. Res64: D85EBEF78413F5F6 Time : 8401.0 sec. user=vaughan [2009-05-10 11:20:51] 345*2^811072-1 is not prime. Res64: EED7873ED9B7BFA5 Time : 8262.0 sec. user=mdettweiler [2009-05-10 11:21:38] 345*2^811276-1 is not prime. Res64: B15E9B18F21F5EF6 Time : 3944.0 sec. user=vaughan [2009-05-10 11:23:10] 345*2^811389-1 is not prime. Res64: 1736F835CFC61B6C Time : 931.0 sec. user=mdettweiler [2009-05-10 11:24:31] 339*2^811281-1 is not prime. Res64: F859646130725EDC Time : 3947.0 sec. user=vaughan [2009-05-10 11:24:52] 333*2^811098-1 is not prime. Res64: 7B18B64B7519E6A5 Time : 8238.0 sec. user=vaughan [2009-05-10 11:25:35] 315*2^811404-1 is not prime. Res64: 10CDED311F5ED4C8 Time : 947.0 sec. user=vaughan [2009-05-10 11:26:39] 327*2^811106-1 is not prime. Res64: 02F4192FFCBB10CB Time : 8217.0 sec. user=vaughan [2009-05-10 11:27:41] 333*2^811410-1 is not prime. Res64: 78122DB338F27416 Time : 934.0 sec. user=mdettweiler [2009-05-10 11:28:23] 345*2^811296-1 is not prime. Res64: 49DDD5A3FA500785 Time : 3946.0 sec. user=mdettweiler [2009-05-10 11:30:05] 315*2^811300-1 is not prime. Res64: 397CB7EB37BAB640 Time : 3944.0 sec. user=vaughan [2009-05-10 11:31:11] 345*2^811111-1 is not prime. Res64: 220C66066AB87958 Time : 8400.0 sec. user=vaughan [2009-05-10 11:34:37] 315*2^811120-1 is not prime. Res64: D720B9264EAFB3B6 Time : 8263.0 sec. user=mdettweiler [2009-05-10 11:34:48] 339*2^811312-1 is not prime. Res64: 667AE3C1D0F9EFD8 Time : 3945.0 sec. user=mdettweiler [2009-05-10 11:37:41] 321*2^811314-1 is not prime. Res64: 538E66D4FB17F158 Time : 3950.0 sec. user=vaughan [2009-05-10 11:38:42] 315*2^811427-1 is not prime. Res64: 9C7CDDBAD6524865 Time : 932.0 sec. user=vaughan [2009-05-10 11:39:17] 315*2^811128-1 is not prime. Res64: AF7F22D5F5985D69 Time : 8278.0 sec. user=vaughan [2009-05-10 11:40:21] 333*2^811134-1 is not prime. Res64: 58F82A0A9FA78E20 Time : 8151.0 sec. user=vaughan [2009-05-10 11:41:24] 345*2^811432-1 is not prime. Res64: DA23C4CC6C4BA738 Time : 949.0 sec. user=mdettweiler [2009-05-10 11:41:34] 327*2^811321-1 is not prime. Res64: 19318688B318CD07 Time : 3946.0 sec. user=mdettweiler [2009-05-10 11:43:12] 333*2^811326-1 is not prime. Res64: 68802A30F7D1A7AE Time : 3942.0 sec. user=vaughan [2009-05-10 11:43:14] 339*2^811441-1 is not prime. Res64: 82EBB2ADE8313719 Time : 934.0 sec. user=vaughan [2009-05-10 11:45:13] 345*2^811134-1 is not prime. Res64: C39E49BC92455F18 Time : 8404.0 sec. user=mdettweiler [2009-05-10 11:47:58] 321*2^811334-1 is not prime. Res64: B4B6E4854D738C01 Time : 3947.0 sec. user=vaughan [2009-05-10 11:48:22] 339*2^811141-1 is not prime. Res64: ABB1196D6BC57948 Time : 8260.0 sec. user=mdettweiler [2009-05-10 11:50:50] 339*2^811337-1 is not prime. Res64: C088E008DAC25FBD Time : 3949.0 sec. user=vaughan [2009-05-10 11:52:16] 345*2^811162-1 is not prime. Res64: 5171A4B5E241823C Time : 8235.0 sec. user=vaughan [2009-05-10 11:54:01] 327*2^811165-1 is not prime. Res64: C53D2C5D75ED6E1C Time : 8215.0 sec. user=vaughan [2009-05-10 11:54:13] 321*2^811453-1 is not prime. Res64: D7B1EFF4BE285659 Time : 931.0 sec. user=mdettweiler [2009-05-10 11:54:43] 321*2^811341-1 is not prime. Res64: BC0881B80CDCB4CB Time : 3946.0 sec. user=mdettweiler [2009-05-10 11:56:22] 327*2^811344-1 is not prime. Res64: FFA48196951B4291 Time : 3944.0 sec. user=vaughan [2009-05-10 11:57:12] 327*2^811466-1 is not prime. Res64: 8D5D450AB01C17F8 Time : 948.0 sec. user=vaughan [2009-05-10 11:58:45] 321*2^811470-1 is not prime. Res64: 3605A84EC1D925C8 Time : 932.0 sec. user=vaughan [2009-05-10 11:59:15] 339*2^811168-1 is not prime. Res64: F80121F0D01276BC Time : 8407.0 sec. user=vaughan [2009-05-10 12:02:07] 321*2^811175-1 is not prime. Res64: 88C173E11AF12922 Time : 8259.0 sec. user=mdettweiler [2009-05-10 12:03:55] 345*2^811366-1 is not prime. Res64: 1277FF5C76762654 Time : 4115.0 sec. user=mdettweiler [2009-05-10 12:04:01] 321*2^811373-1 is not prime. Res64: DD6D33C4E0AEF5B8 Time : 3783.0 sec. user=vaughan [2009-05-10 12:05:59] 327*2^811188-1 is not prime. Res64: 887AAA485EFFA37E Time : 8235.0 sec. user=vaughan [2009-05-10 12:07:42] 339*2^811193-1 is not prime. Res64: AE62B6F5AB52D1F6 Time : 8214.0 sec. user=mdettweiler [2009-05-10 12:07:56] 327*2^811373-1 is not prime. Res64: 7D0E96D97EBAA6ED Time : 3950.0 sec. user=mdettweiler [2009-05-10 12:09:30] 315*2^811382-1 is not prime. Res64: 777FC45D4EF36554 Time : 3942.0 sec. user=vaughan [2009-05-10 12:09:45] 327*2^811482-1 is not prime. Res64: E652E4AB3C3972FA Time : 932.0 sec. user=vaughan [2009-05-10 12:13:01] 315*2^811487-1 is not prime. Res64: 714F3580E13B39A7 Time : 949.0 sec. user=vaughan [2009-05-10 12:13:17] 339*2^811195-1 is not prime. Res64: 521A686F3CFA46A7 Time : 8409.0 sec. user=mdettweiler [2009-05-10 12:14:14] 327*2^811392-1 is not prime. Res64: DC345D22311646B5 Time : 3944.0 sec. user=vaughan [2009-05-10 12:14:17] 339*2^811491-1 is not prime. Res64: 501BB7A508B69F26 Time : 932.0 sec. user=vaughan [2009-05-10 12:15:52] 321*2^811213-1 is not prime. Res64: 766593883D8C4DE4 Time : 8258.0 sec. user=mdettweiler [2009-05-10 12:17:10] 339*2^811409-1 is not prime. Res64: 7E259EE5877DF0D4 Time : 3949.0 sec. user=vaughan [2009-05-10 12:19:42] 321*2^811225-1 is not prime. Res64: 7377F1C2AA4AF4D9 Time : 8235.0 sec. user=mdettweiler [2009-05-10 12:21:06] 333*2^811418-1 is not prime. Res64: 33DE048AEB2C9C9C Time : 3951.0 sec. user=vaughan [2009-05-10 12:21:23] 327*2^811234-1 is not prime. Res64: ABD85A4605BE61FF Time : 8214.0 sec. user=mdettweiler [2009-05-10 12:22:40] 315*2^811419-1 is not prime. Res64: F0FFCE7C42062D50 Time : 3943.0 sec. user=vaughan [2009-05-10 12:25:17] 315*2^811526-1 is not prime. Res64: A728C5540FBA9A16 Time : 932.0 sec. user=mdettweiler [2009-05-10 12:27:24] 315*2^811426-1 is not prime. Res64: EE878DF1A7EC858D Time : 3946.0 sec. user=vaughan [2009-05-10 12:28:50] 345*2^811531-1 is not prime. Res64: 47679FEF4BBA89EA Time : 950.0 sec. user=vaughan [2009-05-10 12:29:27] 327*2^811249-1 is not prime. Res64: 1F83B4D0DE624EB7 Time : 8517.0 sec. user=vaughan [2009-05-10 12:29:37] 315*2^811276-1 is not prime. Res64: C271459F5E680BB2 Time : 8258.0 sec. user=vaughan [2009-05-10 12:29:51] 321*2^811534-1 is not prime. Res64: A276C859D63619A2 Time : 934.0 sec. user=mdettweiler [2009-05-10 12:30:20] 339*2^811431-1 is not prime. Res64: 0803FC0FBDDF2DC1 Time : 3949.0 sec. user=vaughan [2009-05-10 12:33:24] 321*2^811277-1 is not prime. Res64: 3EF60BBB8B2F38E4 Time : 8233.0 sec. user=mdettweiler [2009-05-10 12:34:19] 345*2^811444-1 is not prime. Res64: 79AF5B090F86578F Time : 3956.0 sec. user=vaughan [2009-05-10 12:35:06] 339*2^811279-1 is not prime. Res64: 92F240E0105B6964 Time : 8215.0 sec. user=mdettweiler [2009-05-10 12:35:47] 315*2^811445-1 is not prime. Res64: 1EF5781FF32CB654 Time : 3942.0 sec. user=mdettweiler [2009-05-10 12:40:34] 315*2^811447-1 is not prime. Res64: 425E5C3BAF40FD38 Time : 3946.0 sec. user=vaughan [2009-05-10 12:40:49] 339*2^811549-1 is not prime. Res64: F8511861DFBD8811 Time : 932.0 sec. user=vaughan [2009-05-10 12:41:20] 315*2^811295-1 is not prime. Res64: A955B6367681D152 Time : 8409.0 sec. user=mdettweiler [2009-05-10 12:43:27] 333*2^811451-1 is not prime. Res64: 160F7569CDCBB8BF Time : 3946.0 sec. user=vaughan [2009-05-10 12:44:08] 339*2^811311-1 is not prime. Res64: 3A4CFB2A521503ED Time : 8303.0 sec. user=vaughan [2009-05-10 12:44:38] 345*2^811555-1 is not prime. Res64: EBA541F539CB1A82 Time : 949.0 sec. user=vaughan [2009-05-10 12:45:22] 321*2^811558-1 is not prime. Res64: 7944008872CF536D Time : 932.0 sec. user=vaughan [2009-05-10 12:47:08] 321*2^811313-1 is not prime. Res64: B76DFAFC6C737108 Time : 8233.0 sec. user=mdettweiler [2009-05-10 12:47:28] 333*2^811467-1 is not prime. Res64: 4C43B2E4F354A51A Time : 3954.0 sec. user=vaughan [2009-05-10 12:48:46] 315*2^811317-1 is not prime. Res64: AA49C0FC473B4311 Time : 8214.0 sec. user=mdettweiler [2009-05-10 12:48:55] 339*2^811469-1 is not prime. Res64: 2D98C6745107765D Time : 3943.0 sec. user=mdettweiler [2009-05-10 12:53:42] 333*2^811475-1 is not prime. Res64: 3DF87C05BAA74A41 Time : 3944.0 sec. user=vaughan [2009-05-10 12:55:23] 339*2^811319-1 is not prime. Res64: B1271886C5799AAA Time : 8412.0 sec. user=vaughan [2009-05-10 12:56:20] 339*2^811579-1 is not prime. Res64: 3C3603B5E667FB6E Time : 931.0 sec. user=mdettweiler [2009-05-10 12:56:38] 339*2^811479-1 is not prime. Res64: 7C731A4A6B3D1F37 Time : 3949.0 sec. user=vaughan [2009-05-10 12:57:17] 315*2^811335-1 is not prime. Res64: FD0357B304B5BED1 Time : 8075.0 sec. user=vaughan [2009-05-10 13:00:27] 315*2^811588-1 is not prime. Res64: F264C5EDFB79D85D Time : 949.0 sec. user=mdettweiler [2009-05-10 13:00:38] 315*2^811485-1 is not prime. Res64: 45B78329055BAC47 Time : 3955.0 sec. user=vaughan [2009-05-10 13:00:50] 345*2^811336-1 is not prime. Res64: 9F62B80FB8E6E541 Time : 8233.0 sec. user=vaughan [2009-05-10 13:00:56] 327*2^811588-1 is not prime. Res64: B14811AF69CE19EA Time : 934.0 sec. user=mdettweiler [2009-05-10 13:02:04] 327*2^811485-1 is not prime. Res64: E670312E2AF25B25 Time : 3942.0 sec. user=vaughan [2009-05-10 13:02:26] 315*2^811339-1 is not prime. Res64: A5947D1A62DC350B Time : 8213.0 sec. user=mdettweiler [2009-05-10 13:06:52] 327*2^811506-1 is not prime. Res64: 9364E7A8230F4A89 Time : 3777.0 sec. user=vaughan [2009-05-10 13:09:26] 315*2^811342-1 is not prime. Res64: 57A42F29BA9B4E16 Time : 8415.0 sec. user=mdettweiler [2009-05-10 13:09:46] 315*2^811507-1 is not prime. Res64: 06A18422C34CD84C Time : 3945.0 sec. user=vaughan [2009-05-10 13:10:54] 315*2^811346-1 is not prime. Res64: C75117EFCD5B01CA Time : 8255.0 sec. user=vaughan [2009-05-10 13:11:52] 333*2^811616-1 is not prime. Res64: 61DC3A4513D3D5A7 Time : 932.0 sec. user=mdettweiler [2009-05-10 13:13:49] 315*2^811515-1 is not prime. Res64: 0F62536497B8FF1A Time : 3953.0 sec. user=vaughan [2009-05-10 13:14:34] 315*2^811372-1 is not prime. Res64: F697630FBAC8DAF8 Time : 8233.0 sec. user=mdettweiler [2009-05-10 13:15:16] 327*2^811516-1 is not prime. Res64: 7E98D813E437B298 Time : 3946.0 sec. user=vaughan [2009-05-10 13:16:09] 327*2^811372-1 is not prime. Res64: 1D28C6EE9CA7BD36 Time : 8214.0 sec. user=vaughan [2009-05-10 13:16:15] 321*2^811625-1 is not prime. Res64: 152205B6498935FA Time : 948.0 sec. user=vaughan [2009-05-10 13:16:28] 315*2^811639-1 is not prime. Res64: B4DCDAEE2D558E63 Time : 932.0 sec. user=mdettweiler [2009-05-10 13:20:01] 315*2^811534-1 is not prime. Res64: 54B61DCA172BD79F Time : 3947.0 sec. user=mdettweiler [2009-05-10 13:22:56] 327*2^811541-1 is not prime. Res64: EE59264494C333E9 Time : 3946.0 sec. user=vaughan [2009-05-10 13:24:56] 345*2^811375-1 is not prime. Res64: A02B128A1710AC50 Time : 8506.0 sec. user=vaughan [2009-05-10 13:25:00] 345*2^811387-1 is not prime. Res64: C83E321616171199 Time : 8245.0 sec. user=mdettweiler [2009-05-10 13:27:00] 315*2^811546-1 is not prime. Res64: 7110586ABC62733E Time : 3954.0 sec. user=vaughan [2009-05-10 13:27:24] 327*2^811649-1 is not prime. Res64: 1664366A286AF850 Time : 932.0 sec. user=vaughan [2009-05-10 13:28:17] 321*2^811406-1 is not prime. Res64: 46893A02D52E51E7 Time : 8232.0 sec. user=mdettweiler [2009-05-10 13:28:25] 339*2^811547-1 is not prime. Res64: 956D47054EFE5A97 Time : 3945.0 sec. user=vaughan [2009-05-10 13:29:49] 321*2^811417-1 is not prime. Res64: 07A2B5EA873D6D51 Time : 8212.0 sec. user=vaughan [2009-05-10 13:32:00] 339*2^811655-1 is not prime. Res64: 0A211E1D656487FB Time : 932.0 sec. user=vaughan [2009-05-10 13:32:04] 321*2^811655-1 is not prime. Res64: 387051A2F0419BC0 Time : 949.0 sec. user=mdettweiler [2009-05-10 13:33:10] 339*2^811555-1 is not prime. Res64: EE6844594C745CA3 Time : 3946.0 sec. user=mdettweiler [2009-05-10 13:36:06] 315*2^811560-1 is not prime. Res64: 49D499397540035B Time : 3946.0 sec. user=vaughan [2009-05-10 13:39:10] 321*2^811422-1 is not prime. Res64: 9046668664C8323E Time : 8299.0 sec. user=vaughan [2009-05-10 13:39:17] 345*2^811419-1 is not prime. Res64: A6B9E01F01653C56 Time : 8527.0 sec. user=mdettweiler [2009-05-10 13:40:09] 333*2^811571-1 is not prime. Res64: 34E2ED0FC2EE151D Time : 3950.0 sec. user=mdettweiler [2009-05-10 13:41:36] 339*2^811577-1 is not prime. Res64: 25979808080ECA8E Time : 3949.0 sec. user=vaughan [2009-05-10 13:42:01] 339*2^811432-1 is not prime. Res64: D700A281004ED95A Time : 8229.0 sec. user=vaughan [2009-05-10 13:42:56] 339*2^811673-1 is not prime. Res64: 95459105D1273969 Time : 932.0 sec. user=vaughan [2009-05-10 13:43:30] 315*2^811435-1 is not prime. Res64: 94D2B42C27E2030C Time : 8211.0 sec. user=mdettweiler [2009-05-10 13:46:19] 333*2^811578-1 is not prime. Res64: E4989E0AAFC286C2 Time : 3945.0 sec. user=vaughan [2009-05-10 13:47:34] 321*2^811687-1 is not prime. Res64: 69379CB23D32B487 Time : 934.0 sec. user=vaughan [2009-05-10 13:47:53] 345*2^811687-1 is not prime. Res64: 41B3E25597E51804 Time : 950.0 sec. user=mdettweiler [2009-05-10 13:49:19] 327*2^811585-1 is not prime. Res64: E018515145636ECA Time : 3952.0 sec. user=vaughan [2009-05-10 13:51:33] 321*2^811445-1 is not prime. Res64: 1A543BD8E71B09FD Time : 8422.0 sec. user=vaughan [2009-05-10 13:52:12] 345*2^811446-1 is not prime. Res64: BC6801CB2F53F451 Time : 8255.0 sec. user=mdettweiler [2009-05-10 13:53:18] 315*2^811602-1 is not prime. Res64: 7E72DA0BEEC9462F Time : 3950.0 sec. user=mdettweiler [2009-05-10 13:54:44] 315*2^811612-1 is not prime. Res64: 861CAA4A0A554BFC Time : 3949.0 sec. user=vaughan [2009-05-10 13:55:43] 339*2^811453-1 is not prime. Res64: 107CC2B8DE56606A Time : 8186.0 sec. user=vaughan [2009-05-10 13:57:12] 345*2^811464-1 is not prime. Res64: 910B54219A2FEAA7 Time : 8212.0 sec. user=vaughan [2009-05-10 13:58:28] 339*2^811717-1 is not prime. Res64: F00752AAF00FCAF2 Time : 932.0 sec. user=mdettweiler [2009-05-10 13:59:28] 345*2^811612-1 is not prime. Res64: 9EAD849F9800BE0C Time : 3946.0 sec. user=mdettweiler [2009-05-10 14:02:27] 333*2^811620-1 is not prime. Res64: 1ACC1CF6402C2563 Time : 3949.0 sec. user=vaughan [2009-05-10 14:03:07] 333*2^811724-1 is not prime. Res64: D6A59498052DC457 Time : 933.0 sec. user=vaughan [2009-05-10 14:03:42] 315*2^811725-1 is not prime. Res64: A5872E35D6A5C33F Time : 950.0 sec. user=vaughan [2009-05-10 14:05:35] 321*2^811474-1 is not prime. Res64: EE4B44BE99EF081D Time : 8423.0 sec. user=vaughan [2009-05-10 14:05:56] 315*2^811479-1 is not prime. Res64: 6763726033DFDA6D Time : 8255.0 sec. user=mdettweiler [2009-05-10 14:07:53] 339*2^811639-1 is not prime. Res64: FDA6B9B8EA2C16C7 Time : 3949.0 sec. user=mdettweiler [2009-05-10 14:07:54] 327*2^811625-1 is not prime. Res64: 00E19B47208313E6 Time : 4036.0 sec. user=vaughan [2009-05-10 14:09:27] 327*2^811480-1 is not prime. Res64: E8C3B33A4AE924D6 Time : 8231.0 sec. user=vaughan [2009-05-10 14:10:54] 339*2^811480-1 is not prime. Res64: 0290DEC1DAB9E369 Time : 8214.0 sec. user=mdettweiler [2009-05-10 14:12:37] 333*2^811643-1 is not prime. Res64: 4B3631308FC44262 Time : 3945.0 sec. user=vaughan [2009-05-10 14:14:00] 345*2^811744-1 is not prime. Res64: 0686A8E25B7E995B Time : 932.0 sec. user=mdettweiler [2009-05-10 14:15:39] 333*2^811646-1 is not prime. Res64: 83F05FC3514BF8B9 Time : 3953.0 sec. user=vaughan [2009-05-10 14:18:40] 327*2^811749-1 is not prime. Res64: 983F78ADFA625B46 Time : 933.0 sec. user=vaughan [2009-05-10 14:19:30] 345*2^811749-1 is not prime. Res64: FAA92C25914FE487 Time : 949.0 sec. user=vaughan [2009-05-10 14:19:38] 339*2^811496-1 is not prime. Res64: EBF7A1688649CAA1 Time : 8423.0 sec. user=mdettweiler [2009-05-10 14:19:42] 315*2^811650-1 is not prime. Res64: 5DE587F048446FE4 Time : 3953.0 sec. user=vaughan [2009-05-10 14:19:43] 321*2^811506-1 is not prime. Res64: DFACF0FCFD133FC3 Time : 8256.0 sec. user=mdettweiler [2009-05-10 14:21:02] 339*2^811653-1 is not prime. Res64: 0D0063C3F574AA6B Time : 3946.0 sec. user=vaughan [2009-05-10 14:24:16] 327*2^811508-1 is not prime. Res64: 587F64DC73FB5675 Time : 8298.0 sec. user=vaughan [2009-05-10 14:24:35] 333*2^811514-1 is not prime. Res64: 3D93FBF37D5B4FB2 Time : 8213.0 sec. user=mdettweiler [2009-05-10 14:25:46] 345*2^811656-1 is not prime. Res64: ABA556EE689E4AA6 Time : 3945.0 sec. user=mdettweiler [2009-05-10 14:28:47] 345*2^811659-1 is not prime. Res64: 420EC686157CE618 Time : 3951.0 sec. user=vaughan [2009-05-10 14:29:31] 345*2^811767-1 is not prime. Res64: 94C6886821C116A1 Time : 931.0 sec. user=mdettweiler [2009-05-10 14:32:52] 315*2^811671-1 is not prime. Res64: 4B153FE35FD4210B Time : 3952.0 sec. user=mdettweiler [2009-05-10 14:34:12] 345*2^811684-1 is not prime. Res64: D7F69F89E293AA3B Time : 3947.0 sec. user=vaughan [2009-05-10 14:34:13] 345*2^811782-1 is not prime. Res64: C343282CAD38BAFE Time : 933.0 sec. user=vaughan [2009-05-10 14:34:25] 327*2^811532-1 is not prime. Res64: C5DA40F55A9BB97B Time : 8468.0 sec. user=vaughan [2009-05-10 14:34:32] 327*2^811540-1 is not prime. Res64: 8DF5C11DD524209B Time : 8320.0 sec. user=vaughan [2009-05-10 14:35:19] 339*2^811785-1 is not prime. Res64: 5CD932BF2C01B9B9 Time : 949.0 sec. user=vaughan [2009-05-10 14:36:52] 333*2^811544-1 is not prime. Res64: 6D581AF533C922C5 Time : 8230.0 sec. user=vaughan [2009-05-10 14:38:16] 345*2^811546-1 is not prime. Res64: 341BDC48BD035936 Time : 8213.0 sec. user=mdettweiler [2009-05-10 14:38:55] 345*2^811695-1 is not prime. Res64: 0A019A3FA01B9CBC Time : 3945.0 sec. user=mdettweiler [2009-05-10 14:41:57] 327*2^811696-1 is not prime. Res64: B730F6F6E5942E0F Time : 3951.0 sec. user=vaughan [2009-05-10 14:45:03] 339*2^811805-1 is not prime. Res64: 8D91C2797ED83FBF Time : 932.0 sec. user=mdettweiler [2009-05-10 14:46:03] 333*2^811703-1 is not prime. Res64: A3B2480B93F9B47B Time : 3954.0 sec. user=mdettweiler [2009-05-10 14:47:20] 315*2^811709-1 is not prime. Res64: E3955AEAD5710F96 Time : 3945.0 sec. user=vaughan [2009-05-10 14:47:36] 321*2^811557-1 is not prime. Res64: 87F6432D346201C8 Time : 8279.0 sec. user=vaughan [2009-05-10 14:47:44] 333*2^811563-1 is not prime. Res64: 9B02ED20B8643F12 Time : 8236.0 sec. user=vaughan [2009-05-10 14:49:46] 345*2^811809-1 is not prime. Res64: B14354E2B084695B Time : 933.0 sec. user=vaughan [2009-05-10 14:50:35] 315*2^811566-1 is not prime. Res64: EF5DB4D0B4DC609D Time : 8231.0 sec. user=vaughan [2009-05-10 14:51:08] 327*2^811820-1 is not prime. Res64: 61A6CAD1368DA3CD Time : 949.0 sec. user=vaughan [2009-05-10 14:51:58] 339*2^811571-1 is not prime. Res64: 57169C7643993F81 Time : 8212.0 sec. user=mdettweiler [2009-05-10 14:52:04] 339*2^811723-1 is not prime. Res64: 7255BF4183A86F2A Time : 3945.0 sec. user=mdettweiler [2009-05-10 14:55:07] 339*2^811725-1 is not prime. Res64: A31501298514C627 Time : 3948.0 sec. user=mdettweiler [2009-05-10 14:59:13] 321*2^811733-1 is not prime. Res64: 9611934B34B9CD1C Time : 3955.0 sec. user=mdettweiler [2009-05-10 15:00:29] 321*2^811737-1 is not prime. Res64: 0E5D6EA441EAC542 Time : 3945.0 sec. user=vaughan [2009-05-10 15:00:35] 321*2^811847-1 is not prime. Res64: 44F2ABFCF30B7A67 Time : 932.0 sec. user=vaughan [2009-05-10 15:01:01] 333*2^811587-1 is not prime. Res64: 5DE58A378CD4238D Time : 8213.0 sec. user=vaughan [2009-05-10 15:01:47] 333*2^811583-1 is not prime. Res64: A36EB90B454F2CCD Time : 8427.0 sec. user=vaughan [2009-05-10 15:05:04] 339*2^811592-1 is not prime. Res64: 77D8A2F0E71278FB Time : 8276.0 sec. user=mdettweiler [2009-05-10 15:05:11] 345*2^811746-1 is not prime. Res64: 64F25BB53F033874 Time : 3943.0 sec. user=vaughan [2009-05-10 15:05:19] 345*2^811866-1 is not prime. Res64: B12C99E151F5D7CB Time : 933.0 sec. user=vaughan [2009-05-10 15:05:40] 327*2^811602-1 is not prime. Res64: FAEA993A1CB2DD03 Time : 8215.0 sec. user=vaughan [2009-05-10 15:06:57] 327*2^811872-1 is not prime. Res64: C12DBC4EBE635A60 Time : 949.0 sec. user=mdettweiler [2009-05-10 15:08:33] 333*2^811748-1 is not prime. Res64: 20160EE1372D9565 Time : 3966.0 sec. user=mdettweiler [2009-05-10 15:12:25] 315*2^811762-1 is not prime. Res64: 0A2C0727B9C4562B Time : 3871.0 sec. user=mdettweiler [2009-05-10 15:13:38] 315*2^811758-1 is not prime. Res64: C072074A3D30EFD2 Time : 3946.0 sec. user=vaughan [2009-05-10 15:14:46] 339*2^811623-1 is not prime. Res64: B3C73CD7B459C500 Time : 8250.0 sec. user=vaughan [2009-05-10 15:15:50] 345*2^811614-1 is not prime. Res64: 70B069680E1B8D49 Time : 8427.0 sec. user=vaughan [2009-05-10 15:16:07] 339*2^811899-1 is not prime. Res64: ED34C59D8B498B75 Time : 932.0 sec. user=mdettweiler [2009-05-10 15:18:23] 333*2^811767-1 is not prime. Res64: C26B01B5F21BFC76 Time : 3946.0 sec. user=vaughan [2009-05-10 15:19:08] 333*2^811626-1 is not prime. Res64: 70E8693FB2C98201 Time : 8298.0 sec. user=vaughan [2009-05-10 15:19:22] 339*2^811641-1 is not prime. Res64: E86AC21F141D7FCA Time : 8216.0 sec. user=vaughan [2009-05-10 15:20:52] 339*2^811911-1 is not prime. Res64: 6779AB35A4110890 Time : 933.0 sec. user=mdettweiler [2009-05-10 15:21:30] 345*2^811771-1 is not prime. Res64: DB85BAA2475CD0FC Time : 3951.0 sec. user=vaughan [2009-05-10 15:22:46] 345*2^811917-1 is not prime. Res64: 804E0BE7F85428E5 Time : 949.0 sec. user=mdettweiler [2009-05-10 15:25:34] 333*2^811788-1 is not prime. Res64: 96E6C46E1DA81E21 Time : 3952.0 sec. user=mdettweiler [2009-05-10 15:26:49] 315*2^811792-1 is not prime. Res64: 3156A40AAB3B1D29 Time : 3947.0 sec. user=vaughan [2009-05-10 15:28:32] 321*2^811647-1 is not prime. Res64: 3F10DC175E5404BE Time : 8258.0 sec. user=vaughan [2009-05-10 15:29:52] 327*2^811644-1 is not prime. Res64: 92B5EE4AD668BAF3 Time : 8426.0 sec. user=mdettweiler [2009-05-10 15:31:30] 315*2^811800-1 is not prime. Res64: 46FC8A54DF4C3441 Time : 3944.0 sec. user=vaughan [2009-05-10 15:31:39] 339*2^811933-1 is not prime. Res64: F4C8E98CFE613511 Time : 932.0 sec. user=vaughan [2009-05-10 15:31:46] 315*2^811651-1 is not prime. Res64: 75F4BCD9C65D6F48 Time : 8232.0 sec. user=vaughan [2009-05-10 15:33:03] 345*2^811654-1 is not prime. Res64: BC72EF1A778CF161 Time : 8214.0 sec. user=mdettweiler [2009-05-10 15:34:41] 321*2^811805-1 is not prime. Res64: A5D13E3670244B86 Time : 3954.0 sec. user=vaughan [2009-05-10 15:36:25] 333*2^811940-1 is not prime. Res64: 95D22688F5548DF3 Time : 934.0 sec. user=vaughan [2009-05-10 15:38:35] 327*2^811945-1 is not prime. Res64: E6AC001364B0C678 Time : 949.0 sec. user=mdettweiler [2009-05-10 15:38:46] 339*2^811807-1 is not prime. Res64: 76ED2CD80363391F Time : 3954.0 sec. user=mdettweiler [2009-05-10 15:39:59] 327*2^811809-1 is not prime. Res64: D5E6C4EA4B1BA8E5 Time : 3947.0 sec. user=vaughan [2009-05-10 15:42:18] 333*2^811664-1 is not prime. Res64: 5FC878DF0E013B17 Time : 8238.0 sec. user=vaughan [2009-05-10 15:43:54] 339*2^811661-1 is not prime. Res64: 012E627A86D80590 Time : 8338.0 sec. user=mdettweiler [2009-05-10 15:44:42] 315*2^811838-1 is not prime. Res64: 06FC5010052EABC6 Time : 3947.0 sec. user=vaughan [2009-05-10 15:45:29] 327*2^811681-1 is not prime. Res64: 290BF46A57FB08B1 Time : 8232.0 sec. user=vaughan [2009-05-10 15:46:45] 339*2^811685-1 is not prime. Res64: EC3A5A5544D07DF7 Time : 8216.0 sec. user=vaughan [2009-05-10 15:47:11] 345*2^811960-1 is not prime. Res64: 2574202C912847DC Time : 932.0 sec. user=mdettweiler [2009-05-10 15:47:49] 345*2^811845-1 is not prime. Res64: CE732273CABA792A Time : 3952.0 sec. user=mdettweiler [2009-05-10 15:51:57] 333*2^811851-1 is not prime. Res64: 05415EDD617B2AF3 Time : 3954.0 sec. user=vaughan [2009-05-10 15:51:58] 339*2^811975-1 is not prime. Res64: 07AEB465B51199C1 Time : 933.0 sec. user=mdettweiler [2009-05-10 15:53:09] 315*2^811852-1 is not prime. Res64: E5D185E21F1FD0E8 Time : 3949.0 sec. user=vaughan [2009-05-10 15:54:24] 327*2^811985-1 is not prime. Res64: ED761E68769E4FD2 Time : 949.0 sec. user=vaughan [2009-05-10 15:56:03] 345*2^811702-1 is not prime. Res64: 8E119421372BE879 Time : 8213.0 sec. user=mdettweiler [2009-05-10 15:57:51] 327*2^811874-1 is not prime. Res64: 4D3353837C153E32 Time : 3947.0 sec. user=vaughan [2009-05-10 15:57:58] 339*2^811703-1 is not prime. Res64: 541BCF61C9E29863 Time : 8259.0 sec. user=vaughan [2009-05-10 15:59:12] 327*2^811714-1 is not prime. Res64: 8EE8661154C12C99 Time : 8231.0 sec. user=vaughan [2009-05-10 16:00:27] 315*2^811722-1 is not prime. Res64: D74105762CD0721D Time : 8217.0 sec. user=mdettweiler [2009-05-10 16:01:00] 315*2^811890-1 is not prime. Res64: EE8E3295A3838010 Time : 3953.0 sec. user=vaughan [2009-05-10 16:02:44] 327*2^812000-1 is not prime. Res64: 63D2C972FFD35E98 Time : 933.0 sec. user=mdettweiler [2009-05-10 16:05:07] 321*2^811890-1 is not prime. Res64: ADAC1E529BDC7460 Time : 3954.0 sec. user=mdettweiler [2009-05-10 16:06:18] 327*2^811898-1 is not prime. Res64: 66067BD39CCDE05B Time : 3949.0 sec. user=vaughan [2009-05-10 16:07:31] 315*2^812010-1 is not prime. Res64: EDFFA60D1F9855B7 Time : 933.0 sec. user=vaughan [2009-05-10 16:09:49] 315*2^811731-1 is not prime. Res64: 5AE17A96110A3D87 Time : 8257.0 sec. user=vaughan [2009-05-10 16:10:13] 327*2^812021-1 is not prime. Res64: AD3E94B1CF78BCB7 Time : 949.0 sec. user=vaughan [2009-05-10 16:12:01] 321*2^811726-1 is not prime. Res64: 3E12A2FF95FF5487 Time : 8429.0 sec. user=vaughan [2009-05-10 16:12:55] 315*2^811739-1 is not prime. Res64: 85756EC3DBAF71D6 Time : 8232.0 sec. user=mdettweiler [2009-05-10 16:13:36] 333*2^811910-1 is not prime. Res64: 336234566F689E02 Time : 4105.0 sec. user=mdettweiler [2009-05-10 16:14:09] 321*2^811921-1 is not prime. Res64: 1C0A10DAD71D8443 Time : 3803.0 sec. user=vaughan [2009-05-10 16:14:10] 333*2^811740-1 is not prime. Res64: 51413D6C8BB80211 Time : 8218.0 sec. user=vaughan [2009-05-10 16:18:15] 315*2^812047-1 is not prime. Res64: 39FA10F56F24EDBB Time : 931.0 sec. user=mdettweiler [2009-05-10 16:18:22] 315*2^811922-1 is not prime. Res64: 6207DD766E65BB3E Time : 3957.0 sec. user=mdettweiler [2009-05-10 16:19:28] 315*2^811927-1 is not prime. Res64: C7F038D8926D89EE Time : 3950.0 sec. user=vaughan [2009-05-10 16:23:04] 321*2^812053-1 is not prime. Res64: AE33E8C9FE5EE4BD Time : 933.0 sec. user=vaughan [2009-05-10 16:23:34] 321*2^811757-1 is not prime. Res64: C0E2B8D7DF58E1E9 Time : 8258.0 sec. user=mdettweiler [2009-05-10 16:24:09] 333*2^811935-1 is not prime. Res64: EB7C6EA6108EC753 Time : 3946.0 sec. user=vaughan [2009-05-10 16:26:03] 339*2^812056-1 is not prime. Res64: F70320E767BC669E Time : 950.0 sec. user=vaughan [2009-05-10 16:26:03] 333*2^811751-1 is not prime. Res64: 5A645A3F0A087E67 Time : 8429.0 sec. user=vaughan [2009-05-10 16:26:39] 333*2^811764-1 is not prime. Res64: 952456FA65BD433E Time : 8233.0 sec. user=mdettweiler [2009-05-10 16:27:21] 339*2^811941-1 is not prime. Res64: A0895924E01C67F1 Time : 3951.0 sec. user=vaughan [2009-05-10 16:27:51] 315*2^811766-1 is not prime. Res64: C54DAB1E469DB78B Time : 8217.0 sec. user=mdettweiler [2009-05-10 16:31:32] 345*2^811947-1 is not prime. Res64: 23A58E67511EE4D3 Time : 3958.0 sec. user=mdettweiler [2009-05-10 16:32:37] 327*2^811948-1 is not prime. Res64: 4BA2F0606F4E65C5 Time : 3948.0 sec. user=vaughan [2009-05-10 16:33:47] 339*2^812073-1 is not prime. Res64: 470C588769D9657B Time : 932.0 sec. user=mdettweiler [2009-05-10 16:37:19] 315*2^811959-1 is not prime. Res64: 01E5FBAB2A351E51 Time : 3949.0 sec. user=vaughan [2009-05-10 16:37:21] 339*2^811791-1 is not prime. Res64: CC91ED5B7071B86E Time : 8259.0 sec. user=vaughan [2009-05-10 16:38:36] 345*2^812082-1 is not prime. Res64: 82D7B4DB04DD3EFD Time : 933.0 sec. user=vaughan [2009-05-10 16:40:06] 315*2^811786-1 is not prime. Res64: 27BB5FDC6717EC6B Time : 8428.0 sec. user=vaughan [2009-05-10 16:40:22] 327*2^811792-1 is not prime. Res64: 697F27068C8A6C44 Time : 8166.0 sec. user=mdettweiler [2009-05-10 16:40:29] 333*2^811974-1 is not prime. Res64: 19C698A38755408D Time : 3948.0 sec. user=vaughan [2009-05-10 16:41:33] 345*2^811797-1 is not prime. Res64: 4E9D76882D34BCCA Time : 8218.0 sec. user=vaughan [2009-05-10 16:41:52] 339*2^812087-1 is not prime. Res64: 5609EF12A93918C2 Time : 950.0 sec. user=mdettweiler [2009-05-10 16:44:43] 327*2^811989-1 is not prime. Res64: 59A6CABAB7225ED4 Time : 3957.0 sec. user=mdettweiler [2009-05-10 16:45:47] 315*2^811990-1 is not prime. Res64: A7048A82F82D920B Time : 3948.0 sec. user=vaughan [2009-05-10 16:49:18] 333*2^812114-1 is not prime. Res64: 13094E71D398033C Time : 931.0 sec. user=mdettweiler [2009-05-10 16:50:28] 345*2^811995-1 is not prime. Res64: A4C0B94C8D8FCF3A Time : 3946.0 sec. user=vaughan [2009-05-10 16:51:07] 333*2^811818-1 is not prime. Res64: B2EC434575CD330D Time : 8196.0 sec. user=mdettweiler [2009-05-10 16:53:40] 339*2^812005-1 is not prime. Res64: 7C8599850934A56A Time : 3951.0 sec. user=vaughan [2009-05-10 16:54:08] 321*2^812117-1 is not prime. Res64: 127FBD2BFF886093 Time : 932.0 sec. user=vaughan [2009-05-10 16:54:09] 315*2^811826-1 is not prime. Res64: BE7B5B86A3F84FC3 Time : 8237.0 sec. user=vaughan [2009-05-10 16:54:12] 321*2^811815-1 is not prime. Res64: 6015ECEF8A8CD051 Time : 8388.0 sec. user=vaughan [2009-05-10 16:55:14] 339*2^811833-1 is not prime. Res64: 31E977AA5582B30F Time : 8219.0 sec. user=vaughan [2009-05-10 16:57:42] 321*2^812126-1 is not prime. Res64: 9F75C7FFB812D6CC Time : 950.0 sec. user=mdettweiler [2009-05-10 16:57:53] 315*2^812008-1 is not prime. Res64: E255020F5C899155 Time : 3957.0 sec. user=mdettweiler [2009-05-10 16:58:57] 315*2^812015-1 is not prime. Res64: 55A3B0FE1DB56601 Time : 3948.0 sec. user=mdettweiler [2009-05-10 17:03:37] 339*2^812023-1 is not prime. Res64: 12059AFFCA21164B Time : 3946.0 sec. user=vaughan [2009-05-10 17:04:51] 339*2^812131-1 is not prime. Res64: 174DB4AF6B8AEB52 Time : 933.0 sec. user=vaughan [2009-05-10 17:04:52] 315*2^811858-1 is not prime. Res64: 742249CC721A6533 Time : 8237.0 sec. user=mdettweiler [2009-05-10 17:06:49] 345*2^812044-1 is not prime. Res64: 5996F6E11DB57196 Time : 3949.0 sec. user=vaughan [2009-05-10 17:07:49] 315*2^811870-1 is not prime. Res64: 053FDCE391940EFE Time : 8234.0 sec. user=vaughan [2009-05-10 17:08:12] 327*2^811866-1 is not prime. Res64: 254ED489CEC21CEC Time : 8429.0 sec. user=vaughan [2009-05-10 17:08:56] 345*2^811872-1 is not prime. Res64: 94C097248406AA43 Time : 8218.0 sec. user=vaughan [2009-05-10 17:09:41] 327*2^812145-1 is not prime. Res64: 980E906BB7BAF8D3 Time : 933.0 sec. user=mdettweiler [2009-05-10 17:11:03] 345*2^812047-1 is not prime. Res64: C5E4A3E82907B235 Time : 3956.0 sec. user=mdettweiler [2009-05-10 17:12:08] 339*2^812051-1 is not prime. Res64: E0E0A63D08CF18D9 Time : 3950.0 sec. user=vaughan [2009-05-10 17:13:32] 333*2^812150-1 is not prime. Res64: C49299B2A73AE183 Time : 950.0 sec. user=mdettweiler [2009-05-10 17:16:47] 321*2^812065-1 is not prime. Res64: 5155A03345EF037F Time : 3791.0 sec. user=vaughan [2009-05-10 17:18:38] 339*2^811903-1 is not prime. Res64: E3AA05864894FF73 Time : 8257.0 sec. user=mdettweiler [2009-05-10 17:19:58] 339*2^812072-1 is not prime. Res64: 4CE35FEE235614AF Time : 3949.0 sec. user=vaughan [2009-05-10 17:20:23] 321*2^812166-1 is not prime. Res64: 6AE1013F8C74E215 Time : 932.0 sec. user=vaughan [2009-05-10 17:21:33] 333*2^811907-1 is not prime. Res64: ACA0E35EAA49D880 Time : 8190.0 sec. user=vaughan [2009-05-10 17:24:05] 321*2^811913-1 is not prime. Res64: C5855E39297F9F9D Time : 8305.0 sec. user=mdettweiler [2009-05-10 17:24:16] 339*2^812079-1 is not prime. Res64: 261DA96386F7F5FB Time : 3955.0 sec. user=vaughan [2009-05-10 17:25:05] 315*2^811907-1 is not prime. Res64: 717D458AEC47AB44 Time : 8598.0 sec. user=vaughan [2009-05-10 17:25:15] 315*2^812178-1 is not prime. Res64: 9ED49C268E73058C Time : 934.0 sec. user=mdettweiler [2009-05-10 17:25:16] 345*2^812079-1 is not prime. Res64: F5F3DE8009EA19FE Time : 3948.0 sec. user=vaughan [2009-05-10 17:29:22] 339*2^812181-1 is not prime. Res64: 89AB1A4456CE75F1 Time : 950.0 sec. user=mdettweiler [2009-05-10 17:29:59] 321*2^812087-1 is not prime. Res64: A7CB0B8F2981D62E Time : 3950.0 sec. user=vaughan [2009-05-10 17:32:23] 327*2^811929-1 is not prime. Res64: 4C110016E2E09CA2 Time : 8257.0 sec. user=mdettweiler [2009-05-10 17:33:18] 327*2^812093-1 is not prime. Res64: C45857C327DD7B82 Time : 3957.0 sec. user=vaughan [2009-05-10 17:35:16] 327*2^811936-1 is not prime. Res64: 4E1204F2B66A244B Time : 8168.0 sec. user=vaughan [2009-05-10 17:35:56] 315*2^812196-1 is not prime. Res64: 9396EF7143F2FCEC Time : 933.0 sec. user=vaughan [2009-05-10 17:36:18] 345*2^811936-1 is not prime. Res64: ADF137F63B5DD515 Time : 8216.0 sec. user=vaughan [2009-05-10 17:36:19] 339*2^811929-1 is not prime. Res64: 0406B281E9E43C82 Time : 8430.0 sec. user=mdettweiler [2009-05-10 17:37:30] 315*2^812099-1 is not prime. Res64: 0F901F6EFA86F031 Time : 3958.0 sec. user=mdettweiler [2009-05-10 17:38:27] 315*2^812109-1 is not prime. Res64: 24E672D294C43BD5 Time : 3950.0 sec. user=vaughan [2009-05-10 17:40:47] 339*2^812201-1 is not prime. Res64: 551755E6BD2BE0C6 Time : 933.0 sec. user=mdettweiler [2009-05-10 17:43:08] 315*2^812116-1 is not prime. Res64: 4F36D5244DBABC08 Time : 3949.0 sec. user=vaughan [2009-05-10 17:45:14] 321*2^812210-1 is not prime. Res64: FA62F46810F1E176 Time : 952.0 sec. user=vaughan [2009-05-10 17:46:11] 339*2^811951-1 is not prime. Res64: 1A1BEED91377CB62 Time : 8259.0 sec. user=mdettweiler [2009-05-10 17:46:26] 327*2^812121-1 is not prime. Res64: D67285566DC71D6D Time : 3957.0 sec. user=vaughan [2009-05-10 17:48:59] 321*2^811965-1 is not prime. Res64: DF9B23A29DE65397 Time : 8233.0 sec. user=vaughan [2009-05-10 17:50:00] 339*2^811967-1 is not prime. Res64: 354D50AA8613D02B Time : 8217.0 sec. user=vaughan [2009-05-10 17:50:22] 333*2^811956-1 is not prime. Res64: 12A7622228DED786 Time : 8430.0 sec. user=mdettweiler [2009-05-10 17:50:43] 321*2^812127-1 is not prime. Res64: 8778A26C8972AC2B Time : 3960.0 sec. user=vaughan [2009-05-10 17:51:28] 345*2^812217-1 is not prime. Res64: BEA7295F788EB52F Time : 932.0 sec. user=mdettweiler [2009-05-10 17:51:38] 327*2^812129-1 is not prime. Res64: 8BD3F01324D6BDC0 Time : 3951.0 sec. user=mdettweiler [2009-05-10 17:56:18] 327*2^812138-1 is not prime. Res64: 2CBBDF3E8E5C6D4E Time : 3950.0 sec. user=vaughan [2009-05-10 17:56:20] 333*2^812238-1 is not prime. Res64: 81454AB7543BA2D0 Time : 933.0 sec. user=mdettweiler [2009-05-10 17:59:36] 339*2^812141-1 is not prime. Res64: CF84E2A1B4FA3ED5 Time : 3956.0 sec. user=vaughan [2009-05-10 17:59:59] 321*2^811991-1 is not prime. Res64: 28B47DFAAFD09570 Time : 8261.0 sec. user=vaughan [2009-05-10 18:01:03] 339*2^812240-1 is not prime. Res64: A04084793AE960F0 Time : 950.0 sec. user=vaughan [2009-05-10 18:02:43] 315*2^811997-1 is not prime. Res64: 1D8F310FB1C8CE90 Time : 8235.0 sec. user=vaughan [2009-05-10 18:03:40] 339*2^811997-1 is not prime. Res64: 0B423D73EAF7E0AC Time : 8215.0 sec. user=mdettweiler [2009-05-10 18:03:53] 339*2^812151-1 is not prime. Res64: 26146639B4422F14 Time : 3960.0 sec. user=vaughan [2009-05-10 18:04:25] 339*2^811991-1 is not prime. Res64: 773FD9F30B4E2CA3 Time : 8431.0 sec. user=mdettweiler [2009-05-10 18:04:45] 339*2^812161-1 is not prime. Res64: 6761B9783F6964BF Time : 3948.0 sec. user=vaughan [2009-05-10 18:07:01] 315*2^812267-1 is not prime. Res64: 8DF2DB3C2D6C508A Time : 933.0 sec. user=mdettweiler [2009-05-10 18:09:29] 345*2^812164-1 is not prime. Res64: 89511026BDAEEC66 Time : 3952.0 sec. user=vaughan [2009-05-10 18:11:53] 339*2^812288-1 is not prime. Res64: 8E00A045CF52C95C Time : 933.0 sec. user=mdettweiler [2009-05-10 18:12:44] 345*2^812167-1 is not prime. Res64: 12786A834EDD0826 Time : 3955.0 sec. user=vaughan [2009-05-10 18:14:27] 345*2^812022-1 is not prime. Res64: 00EAB9204290C97E Time : 8304.0 sec. user=vaughan [2009-05-10 18:16:27] 339*2^812033-1 is not prime. Res64: CFC0DB8F5C51A009 Time : 8236.0 sec. user=vaughan [2009-05-10 18:16:53] 315*2^812296-1 is not prime. Res64: 01D5CDCBEBD1B9BF Time : 950.0 sec. user=mdettweiler [2009-05-10 18:17:15] 315*2^812179-1 is not prime. Res64: D3B74C96ABD80599 Time : 3972.0 sec. user=vaughan [2009-05-10 18:17:22] 327*2^812042-1 is not prime. Res64: A8C7C56D4D8A9605 Time : 8215.0 sec. user=mdettweiler [2009-05-10 18:17:52] 333*2^812180-1 is not prime. Res64: 7D64947AF57E7C02 Time : 3945.0 sec. user=vaughan [2009-05-10 18:18:27] 327*2^812026-1 is not prime. Res64: 16650486B14250AE Time : 8429.0 sec. user=vaughan [2009-05-10 18:22:35] 321*2^812305-1 is not prime. Res64: 426267770AB7B8D4 Time : 934.0 sec. user=mdettweiler [2009-05-10 18:22:37] 327*2^812188-1 is not prime. Res64: 7B47B6D58AF29FDB Time : 3950.0 sec. user=mdettweiler [2009-05-10 18:25:54] 345*2^812191-1 is not prime. Res64: 2C76444282EE2A02 Time : 3956.0 sec. user=vaughan [2009-05-10 18:27:26] 327*2^812308-1 is not prime. Res64: C0581FF7CB4D1754 Time : 934.0 sec. user=vaughan [2009-05-10 18:29:16] 321*2^812054-1 is not prime. Res64: A1DFB89B527C800D Time : 8368.0 sec. user=vaughan [2009-05-10 18:30:08] 333*2^812063-1 is not prime. Res64: DE50B28D2723EEFA Time : 8233.0 sec. user=mdettweiler [2009-05-10 18:30:21] 339*2^812199-1 is not prime. Res64: 283428019CF135C7 Time : 3965.0 sec. user=mdettweiler [2009-05-10 18:31:02] 327*2^812209-1 is not prime. Res64: 855499690D89DF85 Time : 3946.0 sec. user=vaughan [2009-05-10 18:31:04] 333*2^812067-1 is not prime. Res64: 1CD8111000BEDD24 Time : 8215.0 sec. user=vaughan [2009-05-10 18:32:31] 339*2^812059-1 is not prime. Res64: 202B63812F577AAE Time : 8430.0 sec. user=vaughan [2009-05-10 18:32:43] 315*2^812315-1 is not prime. Res64: D891C10BF734850B Time : 950.0 sec. user=mdettweiler [2009-05-10 18:35:47] 345*2^812212-1 is not prime. Res64: E4B83C43FC24EC18 Time : 3948.0 sec. user=vaughan [2009-05-10 18:38:08] 333*2^812334-1 is not prime. Res64: 81944861ED54B5F6 Time : 934.0 sec. user=mdettweiler [2009-05-10 18:39:02] 321*2^812215-1 is not prime. Res64: 10D92CAC9A2C008E Time : 3944.0 sec. user=vaughan [2009-05-10 18:41:14] 315*2^812087-1 is not prime. Res64: 5A2BEF08BDC1336F Time : 8260.0 sec. user=vaughan [2009-05-10 18:42:59] 339*2^812339-1 is not prime. Res64: B3930BE51A28680B Time : 934.0 sec. user=mdettweiler [2009-05-10 18:43:32] 333*2^812231-1 is not prime. Res64: 9305E696F273E7B1 Time : 3962.0 sec. user=mdettweiler [2009-05-10 18:44:12] 339*2^812235-1 is not prime. Res64: 3164085123B5B8DE Time : 3945.0 sec. user=vaughan [2009-05-10 18:44:16] 345*2^812092-1 is not prime. Res64: 1791252A719A5DF9 Time : 8257.0 sec. user=vaughan [2009-05-10 18:44:46] 345*2^812097-1 is not prime. Res64: FBEB71C343334C7C Time : 8215.0 sec. user=vaughan [2009-05-10 18:46:34] 333*2^812088-1 is not prime. Res64: 48EE4B635104A3BC Time : 8431.0 sec. user=vaughan [2009-05-10 18:48:32] 315*2^812354-1 is not prime. Res64: E1361BBDB4EC9620 Time : 950.0 sec. user=mdettweiler [2009-05-10 18:48:57] 327*2^812240-1 is not prime. Res64: 6F22F6AEEF55C681 Time : 3949.0 sec. user=mdettweiler [2009-05-10 18:52:10] 339*2^812251-1 is not prime. Res64: 8F5201E05D69D4C8 Time : 3945.0 sec. user=vaughan [2009-05-10 18:53:40] 339*2^812359-1 is not prime. Res64: 50E70032C6B42A7B Time : 933.0 sec. user=vaughan [2009-05-10 18:55:01] 315*2^812117-1 is not prime. Res64: E391FC5A2571C042 Time : 8260.0 sec. user=mdettweiler [2009-05-10 18:56:43] 321*2^812263-1 is not prime. Res64: 9C3E502C666522E7 Time : 3960.0 sec. user=mdettweiler [2009-05-10 18:57:23] 315*2^812271-1 is not prime. Res64: D5DCE74434B1D3F6 Time : 3945.0 sec. user=vaughan [2009-05-10 18:57:34] 345*2^812119-1 is not prime. Res64: 2AB174EFB869A1BF Time : 8232.0 sec. user=vaughan [2009-05-10 18:58:29] 315*2^812122-1 is not prime. Res64: 1240EDCECEBFAFB3 Time : 8216.0 sec. user=vaughan [2009-05-10 18:58:33] 321*2^812365-1 is not prime. Res64: 3011F04CC4345AB7 Time : 934.0 sec. user=vaughan [2009-05-10 19:00:36] 315*2^812119-1 is not prime. Res64: 63EB52F9E48E949C Time : 8430.0 sec. user=mdettweiler [2009-05-10 19:02:14] 333*2^812276-1 is not prime. Res64: B966C6E38B613163 Time : 3956.0 sec. user=vaughan [2009-05-10 19:04:22] 327*2^812378-1 is not prime. Res64: C84EA9F707050217 Time : 950.0 sec. user=mdettweiler [2009-05-10 19:05:35] 327*2^812289-1 is not prime. Res64: D1BBE995D5FA445E Time : 3959.0 sec. user=vaughan [2009-05-10 19:09:15] 339*2^812387-1 is not prime. Res64: 13D7BBE305A4D3C0 Time : 935.0 sec. user=vaughan [2009-05-10 19:09:32] 321*2^812141-1 is not prime. Res64: 34DCB577217404F8 Time : 8306.0 sec. user=mdettweiler [2009-05-10 19:10:15] 339*2^812303-1 is not prime. Res64: 6C17A353F45DBBF1 Time : 3982.0 sec. user=mdettweiler [2009-05-10 19:10:40] 327*2^812304-1 is not prime. Res64: 36BFF3A163A69AB0 Time : 3955.0 sec. user=vaughan [2009-05-10 19:11:19] 345*2^812145-1 is not prime. Res64: 4E9A137B3AE22735 Time : 8230.0 sec. user=vaughan [2009-05-10 19:12:11] 315*2^812149-1 is not prime. Res64: 4059008561B76DB3 Time : 8217.0 sec. user=vaughan [2009-05-10 19:14:06] 333*2^812394-1 is not prime. Res64: 22507DC19E98FA1E Time : 933.0 sec. user=mdettweiler [2009-05-10 19:15:32] 321*2^812306-1 is not prime. Res64: BD317191B7AAF40A Time : 3963.0 sec. user=vaughan [2009-05-10 19:20:12] 321*2^812398-1 is not prime. Res64: E71F4E0F46EFCFBB Time : 950.0 sec. user=mdettweiler [2009-05-10 19:20:18] 315*2^812309-1 is not prime. Res64: 1BBDD67268AB9B6E Time : 4055.0 sec. user=vaughan [2009-05-10 19:20:39] 327*2^812146-1 is not prime. Res64: 91032B70C422917B Time : 8787.0 sec. user=vaughan [2009-05-10 19:22:33] 339*2^812167-1 is not prime. Res64: 9A23A337315B0CEA Time : 8262.0 sec. user=mdettweiler [2009-05-10 19:23:40] 339*2^812317-1 is not prime. Res64: 7C7653807324E0AB Time : 3985.0 sec. user=mdettweiler [2009-05-10 19:24:01] 333*2^812318-1 is not prime. Res64: AA559C6DDF41FB03 Time : 3969.0 sec. user=vaughan [2009-05-10 19:24:48] 333*2^812403-1 is not prime. Res64: F9B24857C6C1EC62 Time : 933.0 sec. user=vaughan [2009-05-10 19:25:02] 345*2^812170-1 is not prime. Res64: 33014254E23514D2 Time : 8233.0 sec. user=vaughan [2009-05-10 19:25:52] 339*2^812173-1 is not prime. Res64: 6359C4723CBF8CA4 Time : 8217.0 sec. user=vaughan [2009-05-10 19:28:42] 321*2^812173-1 is not prime. Res64: 82BED8ADA7329271 Time : 8430.0 sec. user=mdettweiler [2009-05-10 19:28:55] 333*2^812336-1 is not prime. Res64: FE87E6E13DC7EEA9 Time : 3978.0 sec. user=vaughan [2009-05-10 19:29:39] 315*2^812428-1 is not prime. Res64: 3CE5D32E689DA82E Time : 934.0 sec. user=mdettweiler [2009-05-10 19:32:15] 315*2^812339-1 is not prime. Res64: DB11A618DBE1023E Time : 3981.0 sec. user=vaughan [2009-05-10 19:36:02] 333*2^812430-1 is not prime. Res64: 50E9C957C8E08791 Time : 951.0 sec. user=vaughan [2009-05-10 19:36:20] 315*2^812189-1 is not prime. Res64: 1D3D02CDE8182FDB Time : 8263.0 sec. user=mdettweiler [2009-05-10 19:37:11] 345*2^812346-1 is not prime. Res64: 27A4D2E104B3E57A Time : 4010.0 sec. user=mdettweiler [2009-05-10 19:37:28] 345*2^812349-1 is not prime. Res64: 7529FF86E66D057F Time : 3986.0 sec. user=vaughan [2009-05-10 19:38:47] 333*2^812196-1 is not prime. Res64: 04D1DECB53729F7C Time : 8234.0 sec. user=vaughan [2009-05-10 19:39:35] 315*2^812199-1 is not prime. Res64: 3D74D568D446C681 Time : 8131.0 sec. user=vaughan [2009-05-10 19:40:21] 315*2^812446-1 is not prime. Res64: 8D8BD6565FC47A68 Time : 934.0 sec. user=mdettweiler [2009-05-10 19:42:20] 315*2^812358-1 is not prime. Res64: D8EBF8CF67E4D04E Time : 3993.0 sec. user=vaughan [2009-05-10 19:42:46] 327*2^812200-1 is not prime. Res64: C2AA02D03B0CA5E8 Time : 8261.0 sec. user=vaughan [2009-05-10 19:45:12] 315*2^812455-1 is not prime. Res64: 690C01E461EEF94B Time : 934.0 sec. user=mdettweiler [2009-05-10 19:45:31] 345*2^812362-1 is not prime. Res64: 1B8CDEF084C30EEE Time : 3989.0 sec. user=vaughan [2009-05-10 19:50:06] 333*2^812214-1 is not prime. Res64: ADE5DEBC804882C1 Time : 8263.0 sec. user=mdettweiler [2009-05-10 19:50:29] 327*2^812369-1 is not prime. Res64: 1960EA627223387B Time : 4017.0 sec. user=mdettweiler [2009-05-10 19:50:50] 315*2^812371-1 is not prime. Res64: 7D382922FF3DBE33 Time : 3998.0 sec. user=vaughan [2009-05-10 19:51:51] 327*2^812460-1 is not prime. Res64: 7323BBBCC7A25C14 Time : 950.0 sec. user=vaughan [2009-05-10 19:52:31] 339*2^812215-1 is not prime. Res64: 6F9E3DC18AFE0015 Time : 8235.0 sec. user=vaughan [2009-05-10 19:53:16] 339*2^812223-1 is not prime. Res64: 9AED21DBCA97AD78 Time : 8219.0 sec. user=mdettweiler [2009-05-10 19:55:42] 339*2^812381-1 is not prime. Res64: 6E9B2F457E19601C Time : 4005.0 sec. user=vaughan [2009-05-10 19:55:54] 315*2^812469-1 is not prime. Res64: E98CBE9AA71D23FB Time : 933.0 sec. user=vaughan [2009-05-10 19:56:48] 345*2^812230-1 is not prime. Res64: 7B909E93A055E395 Time : 8429.0 sec. user=mdettweiler [2009-05-10 19:58:45] 315*2^812386-1 is not prime. Res64: DFD1A1B12119080D Time : 3995.0 sec. user=vaughan [2009-05-10 20:00:46] 333*2^812474-1 is not prime. Res64: BA2E55E6B61F2B39 Time : 934.0 sec. user=mdettweiler [2009-05-10 20:03:39] 315*2^812389-1 is not prime. Res64: 8306E44AAEE08D47 Time : 4016.0 sec. user=vaughan [2009-05-10 20:03:53] 321*2^812245-1 is not prime. Res64: 84E7463B04084420 Time : 8263.0 sec. user=mdettweiler [2009-05-10 20:04:04] 333*2^812391-1 is not prime. Res64: DEDFBB4CA1DBC64D Time : 4002.0 sec. user=vaughan [2009-05-10 20:06:15] 315*2^812255-1 is not prime. Res64: 33B1ECD2ADEDE59B Time : 8236.0 sec. user=vaughan [2009-05-10 20:06:59] 339*2^812255-1 is not prime. Res64: BB078D81D2D9BCBF Time : 8219.0 sec. user=vaughan [2009-05-10 20:07:40] 339*2^812481-1 is not prime. Res64: 33EC869B0714A315 Time : 949.0 sec. user=mdettweiler [2009-05-10 20:08:54] 321*2^812397-1 is not prime. Res64: CFFA1D6BA86ACA40 Time : 4000.0 sec. user=vaughan [2009-05-10 20:10:53] 327*2^812261-1 is not prime. Res64: 9709AC18B6E51681 Time : 8432.0 sec. user=vaughan [2009-05-10 20:11:27] 327*2^812492-1 is not prime. Res64: A4A64660D4477A8C Time : 933.0 sec. user=mdettweiler [2009-05-10 20:11:58] 345*2^812400-1 is not prime. Res64: 015BDA1C0213565E Time : 3983.0 sec. user=vaughan [2009-05-10 20:16:18] 333*2^812498-1 is not prime. Res64: 8823CE08C7C469BF Time : 933.0 sec. user=mdettweiler [2009-05-10 20:16:53] 333*2^812411-1 is not prime. Res64: A865A7AE6D8BC8CA Time : 3998.0 sec. user=mdettweiler [2009-05-10 20:17:18] 345*2^812415-1 is not prime. Res64: 949595C97680C602 Time : 3998.0 sec. user=vaughan [2009-05-10 20:17:39] 339*2^812295-1 is not prime. Res64: F5FB631CF127E7A6 Time : 8260.0 sec. user=vaughan [2009-05-10 20:20:01] 315*2^812298-1 is not prime. Res64: E90D9FC8D6CAA716 Time : 8238.0 sec. user=vaughan [2009-05-10 20:20:41] 339*2^812299-1 is not prime. Res64: 10A6009969A834F8 Time : 8221.0 sec. user=mdettweiler [2009-05-10 20:22:08] 327*2^812429-1 is not prime. Res64: 94364D063ADD8D74 Time : 3996.0 sec. user=vaughan [2009-05-10 20:23:29] 315*2^812506-1 is not prime. Res64: 3A2DA86544CF38FB Time : 949.0 sec. user=vaughan [2009-05-10 20:24:57] 315*2^812304-1 is not prime. Res64: 3BDA268B29338253 Time : 8432.0 sec. user=mdettweiler [2009-05-10 20:25:07] 339*2^812433-1 is not prime. Res64: 08736F86662B0CB4 Time : 3889.0 sec. user=vaughan [2009-05-10 20:27:00] 339*2^812512-1 is not prime. Res64: 0CEB2FCBE45CFD40 Time : 934.0 sec. user=mdettweiler [2009-05-10 20:30:06] 315*2^812440-1 is not prime. Res64: 269D03F7B06AB3CF Time : 3986.0 sec. user=mdettweiler [2009-05-10 20:30:30] 339*2^812443-1 is not prime. Res64: 17DD16F18E74341A Time : 3989.0 sec. user=vaughan [2009-05-10 20:31:24] 315*2^812311-1 is not prime. Res64: 47E3E205A7FF3599 Time : 8217.0 sec. user=vaughan [2009-05-10 20:31:52] 321*2^812514-1 is not prime. Res64: 249B2149BA2E2758 Time : 934.0 sec. user=vaughan [2009-05-10 20:33:47] 345*2^812314-1 is not prime. Res64: 904E7BAFFCC55965 Time : 8241.0 sec. user=vaughan [2009-05-10 20:34:24] 321*2^812318-1 is not prime. Res64: CD91EC91F9E67DC8 Time : 8222.0 sec. user=mdettweiler [2009-05-10 20:35:18] 333*2^812451-1 is not prime. Res64: DB4E700BFCD15475 Time : 3983.0 sec. user=mdettweiler [2009-05-10 20:38:18] 321*2^812457-1 is not prime. Res64: 5C79ADC07BE0511F Time : 3963.0 sec. user=vaughan [2009-05-10 20:39:01] 327*2^812321-1 is not prime. Res64: 3AF2AFA9F4C72487 Time : 8434.0 sec. user=vaughan [2009-05-10 20:39:19] 345*2^812539-1 is not prime. Res64: 03A9F4FD06EB5AC8 Time : 950.0 sec. user=vaughan [2009-05-10 20:42:34] 327*2^812544-1 is not prime. Res64: 65E2106A731FA39C Time : 934.0 sec. user=mdettweiler [2009-05-10 20:43:17] 315*2^812462-1 is not prime. Res64: ED09C0C33B035414 Time : 3967.0 sec. user=mdettweiler [2009-05-10 20:43:41] 321*2^812466-1 is not prime. Res64: 493570B87833A17C Time : 3973.0 sec. user=vaughan [2009-05-10 20:45:10] 327*2^812345-1 is not prime. Res64: BD06930E69B9C305 Time : 8093.0 sec. user=vaughan [2009-05-10 20:47:26] 315*2^812560-1 is not prime. Res64: 779A296C9DE648B6 Time : 934.0 sec. user=vaughan [2009-05-10 20:47:29] 333*2^812340-1 is not prime. Res64: 2F4E182556146E8C Time : 8241.0 sec. user=vaughan [2009-05-10 20:48:05] 315*2^812350-1 is not prime. Res64: 69E0AA42BBBCBDA4 Time : 8221.0 sec. user=mdettweiler [2009-05-10 20:48:30] 327*2^812472-1 is not prime. Res64: DA2816E13A247DF0 Time : 3970.0 sec. user=mdettweiler [2009-05-10 20:51:25] 327*2^812476-1 is not prime. Res64: 0ED1A27FFA04800C Time : 3954.0 sec. user=vaughan [2009-05-10 20:53:05] 315*2^812352-1 is not prime. Res64: 01167F24B2D08E66 Time : 8435.0 sec. user=vaughan [2009-05-10 20:55:09] 327*2^812578-1 is not prime. Res64: 0FF134E81AFDA35F Time : 950.0 sec. user=mdettweiler [2009-05-10 20:56:29] 315*2^812479-1 is not prime. Res64: 4EFD132A212044F0 Time : 3960.0 sec. user=mdettweiler [2009-05-10 20:56:51] 333*2^812480-1 is not prime. Res64: 849187C7EC594915 Time : 3962.0 sec. user=vaughan [2009-05-10 20:58:07] 315*2^812581-1 is not prime. Res64: DA4F4570DE5A2D84 Time : 933.0 sec. user=vaughan [2009-05-10 20:58:56] 333*2^812363-1 is not prime. Res64: 584F7BF9870C132D Time : 8262.0 sec. user=vaughan [2009-05-10 21:01:14] 327*2^812372-1 is not prime. Res64: 6191CD5BB7C67BD9 Time : 8219.0 sec. user=mdettweiler [2009-05-10 21:01:39] 327*2^812489-1 is not prime. Res64: 45530DE04B27B880 Time : 3957.0 sec. user=vaughan [2009-05-10 21:01:49] 339*2^812373-1 is not prime. Res64: 71087977CD0234B8 Time : 8223.0 sec. user=vaughan [2009-05-10 21:03:02] 327*2^812586-1 is not prime. Res64: 9CB771FE1A19C664 Time : 936.0 sec. user=mdettweiler [2009-05-10 21:04:34] 321*2^812498-1 is not prime. Res64: 56FC8EE1DD53AB8C Time : 3949.0 sec. user=vaughan [2009-05-10 21:07:07] 315*2^812374-1 is not prime. Res64: 0255E3D347A9416E Time : 8433.0 sec. user=mdettweiler [2009-05-10 21:09:39] 345*2^812500-1 is not prime. Res64: 473AA5DEAF479756 Time : 3960.0 sec. user=mdettweiler [2009-05-10 21:10:01] 345*2^812502-1 is not prime. Res64: 5135C8A8C742E4B9 Time : 3957.0 sec. user=vaughan [2009-05-10 21:10:59] 321*2^812606-1 is not prime. Res64: 68D8D2DC1F673444 Time : 950.0 sec. user=vaughan [2009-05-10 21:12:43] 315*2^812388-1 is not prime. Res64: A232CFF640A7A6F5 Time : 8263.0 sec. user=vaughan [2009-05-10 21:13:39] 339*2^812613-1 is not prime. Res64: 80CB0580EE08EDF5 Time : 932.0 sec. user=mdettweiler [2009-05-10 21:14:50] 321*2^812511-1 is not prime. Res64: C51B28BFFD2CB252 Time : 3956.0 sec. user=vaughan [2009-05-10 21:14:59] 321*2^812393-1 is not prime. Res64: E260EDF36EA997C7 Time : 8245.0 sec. user=vaughan [2009-05-10 21:15:31] 327*2^812394-1 is not prime. Res64: 9D3B85B37A6E8CE6 Time : 8222.0 sec. user=mdettweiler [2009-05-10 21:17:45] 321*2^812513-1 is not prime. Res64: AAE9181CC257EF89 Time : 3947.0 sec. user=vaughan [2009-05-10 21:18:35] 339*2^812623-1 is not prime. Res64: B70CB0358A470DC1 Time : 934.0 sec. user=vaughan [2009-05-10 21:21:10] 315*2^812397-1 is not prime. Res64: F5DB00F84CA6D45D Time : 8434.0 sec. user=mdettweiler [2009-05-10 21:24:24] 327*2^812521-1 is not prime. Res64: F92EF9B05B1A904D Time : 4051.0 sec. user=mdettweiler [2009-05-10 21:24:37] 333*2^812523-1 is not prime. Res64: 1E8217697F7F3492 Time : 4039.0 sec. user=vaughan [2009-05-10 21:26:31] 327*2^812404-1 is not prime. Res64: 2419ED258E638AB9 Time : 8219.0 sec. user=vaughan [2009-05-10 21:26:49] 339*2^812639-1 is not prime. Res64: 7FDFDDCD03A29458 Time : 950.0 sec. user=mdettweiler [2009-05-10 21:28:00] 327*2^812538-1 is not prime. Res64: 665EA048405E6909 Time : 3952.0 sec. user=vaughan [2009-05-10 21:28:43] 327*2^812426-1 is not prime. Res64: 5634FEFFAEA39763 Time : 8244.0 sec. user=vaughan [2009-05-10 21:29:11] 345*2^812640-1 is not prime. Res64: 7172F0C5BB4554A4 Time : 932.0 sec. user=vaughan [2009-05-10 21:29:12] 345*2^812427-1 is not prime. Res64: 2839F013282ADAA1 Time : 8222.0 sec. user=mdettweiler [2009-05-10 21:30:57] 339*2^812543-1 is not prime. Res64: 3CD150AFC1D87387 Time : 3950.0 sec. user=vaughan [2009-05-10 21:34:08] 327*2^812668-1 is not prime. Res64: 98DF47A395B096C5 Time : 934.0 sec. user=vaughan [2009-05-10 21:35:14] 315*2^812438-1 is not prime. Res64: BAA371B2F5B94ADB Time : 8014.0 sec. user=mdettweiler [2009-05-10 21:36:01] 327*2^812545-1 is not prime. Res64: C75C2BAB15506F68 Time : 3955.0 sec. user=mdettweiler [2009-05-10 21:36:27] 315*2^812546-1 is not prime. Res64: 56587395FCD394B3 Time : 3957.0 sec. user=vaughan [2009-05-10 21:40:16] 333*2^812439-1 is not prime. Res64: 6BBA740244F84D63 Time : 8263.0 sec. user=mdettweiler [2009-05-10 21:41:11] 339*2^812571-1 is not prime. Res64: 6EC067209FBFA340 Time : 3953.0 sec. user=vaughan [2009-05-10 21:42:26] 321*2^812446-1 is not prime. Res64: C68F2EAD947FF7FE Time : 8244.0 sec. user=vaughan [2009-05-10 21:42:40] 315*2^812685-1 is not prime. Res64: 507C96ABBDABE0F9 Time : 951.0 sec. user=vaughan [2009-05-10 21:42:56] 327*2^812449-1 is not prime. Res64: B7E2E36AA743947B Time : 8224.0 sec. user=mdettweiler [2009-05-10 21:44:06] 345*2^812572-1 is not prime. Res64: 4629A852604EE125 Time : 3949.0 sec. user=vaughan [2009-05-10 21:44:44] 339*2^812705-1 is not prime. Res64: 9C731B0A0BBD4059 Time : 933.0 sec. user=mdettweiler [2009-05-10 21:49:11] 339*2^812581-1 is not prime. Res64: 08C659D079360FA0 Time : 3954.0 sec. user=vaughan [2009-05-10 21:49:17] 321*2^812450-1 is not prime. Res64: D10F47F2E873D199 Time : 8435.0 sec. user=mdettweiler [2009-05-10 21:49:38] 327*2^812584-1 is not prime. Res64: 71C5985446165E01 Time : 3957.0 sec. user=vaughan [2009-05-10 21:49:41] 315*2^812710-1 is not prime. Res64: A3CA3B7B9B5FE75D Time : 934.0 sec. user=vaughan [2009-05-10 21:54:02] 345*2^812460-1 is not prime. Res64: 9010BAF3D34C3FE5 Time : 8262.0 sec. user=mdettweiler [2009-05-10 21:54:21] 333*2^812594-1 is not prime. Res64: 3C5C51A32FF9E235 Time : 3951.0 sec. user=vaughan [2009-05-10 21:56:11] 339*2^812467-1 is not prime. Res64: 8D437EB2A6BB01DA Time : 8244.0 sec. user=vaughan [2009-05-10 21:56:37] 333*2^812468-1 is not prime. Res64: EDFDD0E71EF531DB Time : 8222.0 sec. user=mdettweiler [2009-05-10 21:57:15] 339*2^812597-1 is not prime. Res64: 9681A38909C16A36 Time : 3950.0 sec. user=vaughan [2009-05-10 21:58:30] 339*2^812733-1 is not prime. Res64: 626C145FA90F0539 Time : 951.0 sec. user=vaughan [2009-05-10 22:00:17] 333*2^812738-1 is not prime. Res64: 2B7BF2A24D5506F6 Time : 933.0 sec. user=mdettweiler [2009-05-10 22:02:20] 327*2^812609-1 is not prime. Res64: 091FA51397F939C7 Time : 3951.0 sec. user=mdettweiler [2009-05-10 22:02:49] 327*2^812612-1 is not prime. Res64: A5F83C6CE118E089 Time : 3958.0 sec. user=vaughan [2009-05-10 22:03:21] 345*2^812472-1 is not prime. Res64: 69CE739B4AA61A13 Time : 8435.0 sec. user=vaughan [2009-05-10 22:05:13] 315*2^812754-1 is not prime. Res64: 8E6DAFAAE8F6D9D1 Time : 933.0 sec. user=mdettweiler [2009-05-10 22:07:32] 333*2^812619-1 is not prime. Res64: CD35FDFFB406BAF4 Time : 3953.0 sec. user=vaughan [2009-05-10 22:07:48] 339*2^812477-1 is not prime. Res64: 91FE2D2BD3A14C49 Time : 8262.0 sec. user=vaughan [2009-05-10 22:09:55] 327*2^812484-1 is not prime. Res64: B94B0B6A8A82EDF5 Time : 8245.0 sec. user=vaughan [2009-05-10 22:10:19] 321*2^812487-1 is not prime. Res64: ADC318BEAE811E3C Time : 8223.0 sec. user=mdettweiler [2009-05-10 22:10:24] 321*2^812625-1 is not prime. Res64: 90DDF0726DF99549 Time : 3950.0 sec. user=vaughan [2009-05-10 22:14:21] 315*2^812766-1 is not prime. Res64: CC3C19F059AE5589 Time : 951.0 sec. user=mdettweiler [2009-05-10 22:15:31] 345*2^812637-1 is not prime. Res64: 41968FF82971EC36 Time : 3952.0 sec. user=vaughan [2009-05-10 22:15:50] 345*2^812772-1 is not prime. Res64: 0B49B512FEACA3D5 Time : 933.0 sec. user=mdettweiler [2009-05-10 22:16:00] 321*2^812638-1 is not prime. Res64: A825850B32C04130 Time : 3959.0 sec. user=vaughan [2009-05-10 22:17:25] 327*2^812493-1 is not prime. Res64: 49398EB178295C09 Time : 8437.0 sec. user=mdettweiler [2009-05-10 22:20:41] 339*2^812643-1 is not prime. Res64: FD4D4BC5FE7446E0 Time : 3951.0 sec. user=vaughan [2009-05-10 22:20:47] 327*2^812780-1 is not prime. Res64: 13B0695634375496 Time : 934.0 sec. user=vaughan [2009-05-10 22:21:34] 315*2^812502-1 is not prime. Res64: 7E310CE503420CA5 Time : 8261.0 sec. user=mdettweiler [2009-05-10 22:23:32] 315*2^812658-1 is not prime. Res64: 43A7538CD725538A Time : 3947.0 sec. user=vaughan [2009-05-10 22:23:41] 333*2^812504-1 is not prime. Res64: 91C943B2E528258D Time : 8246.0 sec. user=vaughan [2009-05-10 22:24:02] 345*2^812505-1 is not prime. Res64: B0F00F61982C8A83 Time : 8223.0 sec. user=mdettweiler [2009-05-10 22:28:46] 333*2^812679-1 is not prime. Res64: 4A346DE341A3730B Time : 3801.0 sec. user=mdettweiler [2009-05-10 22:29:11] 315*2^812678-1 is not prime. Res64: 5CBBD8509D963CE7 Time : 3874.0 sec. user=vaughan [2009-05-10 22:30:10] 345*2^812790-1 is not prime. Res64: 1E7EEB3E2BB3DFD5 Time : 949.0 sec. user=vaughan [2009-05-10 22:31:23] 339*2^812791-1 is not prime. Res64: 09E258DF48D31FFC Time : 933.0 sec. user=vaughan [2009-05-10 22:31:28] 339*2^812511-1 is not prime. Res64: 374A2457277C1FCD Time : 8435.0 sec. user=mdettweiler [2009-05-10 22:33:52] 327*2^812693-1 is not prime. Res64: 8FC8ADD2DF49F042 Time : 3952.0 sec. user=vaughan [2009-05-10 22:35:22] 345*2^812527-1 is not prime. Res64: FB780F6D63F1BA4D Time : 8264.0 sec. user=vaughan [2009-05-10 22:36:20] 327*2^812801-1 is not prime. Res64: 78FF73B4CE49106D Time : 933.0 sec. user=mdettweiler [2009-05-10 22:36:44] 333*2^812708-1 is not prime. Res64: 8B57F189C37EB52D Time : 3947.0 sec. user=vaughan [2009-05-10 22:37:26] 333*2^812528-1 is not prime. Res64: 93BF85455D097432 Time : 8246.0 sec. user=vaughan [2009-05-10 22:37:45] 339*2^812535-1 is not prime. Res64: E279AEC27629726D Time : 8224.0 sec. user=mdettweiler [2009-05-10 22:41:56] 315*2^812715-1 is not prime. Res64: 3C054E26689A4B16 Time : 3955.0 sec. user=mdettweiler [2009-05-10 22:42:24] 345*2^812722-1 is not prime. Res64: CFCAD14CD842BDF7 Time : 3957.0 sec. user=vaughan [2009-05-10 22:45:33] 327*2^812540-1 is not prime. Res64: FEF90A18E50BD43C Time : 8436.0 sec. user=vaughan [2009-05-10 22:46:00] 345*2^812820-1 is not prime. Res64: 1F9331560FA6C6FB Time : 950.0 sec. user=vaughan [2009-05-10 22:46:57] 333*2^812823-1 is not prime. Res64: CF5EA474C90FC352 Time : 934.0 sec. user=mdettweiler [2009-05-10 22:47:01] 315*2^812726-1 is not prime. Res64: 7A6FD9BABF2C667A Time : 3950.0 sec. user=vaughan [2009-05-10 22:49:08] 315*2^812558-1 is not prime. Res64: 28FF25F2A8B49CC1 Time : 8264.0 sec. user=mdettweiler [2009-05-10 22:49:54] 327*2^812738-1 is not prime. Res64: 13969C2D9B2ECD05 Time : 3948.0 sec. user=vaughan [2009-05-10 22:51:11] 315*2^812571-1 is not prime. Res64: 050666A2711A1A76 Time : 8245.0 sec. user=vaughan [2009-05-10 22:51:27] 333*2^812571-1 is not prime. Res64: 5AD508A083F279C2 Time : 8223.0 sec. user=vaughan [2009-05-10 22:51:54] 321*2^812833-1 is not prime. Res64: 112EF7424EAD923F Time : 934.0 sec. user=mdettweiler [2009-05-10 22:55:07] 321*2^812742-1 is not prime. Res64: E26F991DA7DB60AE Time : 3956.0 sec. user=mdettweiler [2009-05-10 22:55:33] 327*2^812748-1 is not prime. Res64: 05988B6F501489DD Time : 3955.0 sec. user=vaughan [2009-05-10 22:59:35] 345*2^812577-1 is not prime. Res64: 10E16022C2D10EF1 Time : 8434.0 sec. user=mdettweiler [2009-05-10 23:00:13] 333*2^812763-1 is not prime. Res64: 980E61A869E7EB6D Time : 3952.0 sec. user=vaughan [2009-05-10 23:01:50] 339*2^812848-1 is not prime. Res64: 6F9D3AFBE70B201A Time : 950.0 sec. user=vaughan [2009-05-10 23:02:29] 333*2^812850-1 is not prime. Res64: CFFD517843779750 Time : 933.0 sec. user=vaughan [2009-05-10 23:02:56] 339*2^812585-1 is not prime. Res64: 372E5F0696260F24 Time : 8266.0 sec. user=mdettweiler [2009-05-10 23:03:04] 327*2^812765-1 is not prime. Res64: 0D21A3C0FD778A01 Time : 3949.0 sec. user=vaughan [2009-05-10 23:04:55] 345*2^812589-1 is not prime. Res64: 28B100EC838D8A38 Time : 8246.0 sec. user=vaughan [2009-05-10 23:05:10] 339*2^812591-1 is not prime. Res64: 3EB6CD9D6E325F84 Time : 8225.0 sec. user=vaughan [2009-05-10 23:07:28] 327*2^812869-1 is not prime. Res64: 93A71B3DE1C176D3 Time : 934.0 sec. user=mdettweiler [2009-05-10 23:08:19] 333*2^812774-1 is not prime. Res64: 0D7D27A601AE5E30 Time : 3959.0 sec. user=mdettweiler [2009-05-10 23:08:44] 339*2^812777-1 is not prime. Res64: 223D969589E6FE4A Time : 3956.0 sec. user=mdettweiler [2009-05-10 23:13:23] 321*2^812781-1 is not prime. Res64: 2F6AC7A5E57070C2 Time : 3951.0 sec. user=vaughan [2009-05-10 23:13:38] 327*2^812604-1 is not prime. Res64: 5F5F91ACFFC8662A Time : 8433.0 sec. user=mdettweiler [2009-05-10 23:16:14] 333*2^812790-1 is not prime. Res64: 16A3C156D05CD2AF Time : 3950.0 sec. user=vaughan [2009-05-10 23:16:42] 327*2^812616-1 is not prime. Res64: E558277F07E63AF1 Time : 8266.0 sec. user=vaughan [2009-05-10 23:17:39] 315*2^812884-1 is not prime. Res64: 92967ACC3C463F97 Time : 949.0 sec. user=vaughan [2009-05-10 23:18:03] 321*2^812885-1 is not prime. Res64: B26E2A1FDD8E5CD7 Time : 934.0 sec. user=vaughan [2009-05-10 23:18:40] 321*2^812617-1 is not prime. Res64: E32C2611BCD41016 Time : 8246.0 sec. user=vaughan [2009-05-10 23:18:52] 321*2^812623-1 is not prime. Res64: 6C2AD7842C1C06CC Time : 8223.0 sec. user=mdettweiler [2009-05-10 23:21:29] 321*2^812791-1 is not prime. Res64: 1D2205340794932E Time : 3958.0 sec. user=mdettweiler [2009-05-10 23:21:55] 327*2^812793-1 is not prime. Res64: 98C8A55E0C25BD44 Time : 3955.0 sec. user=vaughan [2009-05-10 23:23:03] 321*2^812902-1 is not prime. Res64: 074EF5226BEF21F5 Time : 935.0 sec. user=mdettweiler [2009-05-10 23:26:34] 333*2^812798-1 is not prime. Res64: E40EBCAE2D8CC7A7 Time : 3953.0 sec. user=vaughan [2009-05-10 23:27:43] 321*2^812630-1 is not prime. Res64: 97AD663C8CD4036D Time : 8436.0 sec. user=mdettweiler [2009-05-10 23:29:25] 321*2^812802-1 is not prime. Res64: 1E5A7843FB04F119 Time : 3953.0 sec. user=vaughan [2009-05-10 23:30:28] 315*2^812640-1 is not prime. Res64: 9689D8947C5FD611 Time : 8265.0 sec. user=vaughan [2009-05-10 23:32:25] 339*2^812651-1 is not prime. Res64: 289BD1B70C2DBFCE Time : 8246.0 sec. user=vaughan [2009-05-10 23:32:34] 315*2^812655-1 is not prime. Res64: AF3DE2EC4BD7CFD4 Time : 8224.0 sec. user=vaughan [2009-05-10 23:33:30] 339*2^812936-1 is not prime. Res64: 91B6B8CB46241855 Time : 951.0 sec. user=vaughan [2009-05-10 23:33:36] 345*2^812937-1 is not prime. Res64: 4E5DCC8199570E85 Time : 934.0 sec. user=mdettweiler [2009-05-10 23:34:39] 321*2^812814-1 is not prime. Res64: FFC39E9F27504EC1 Time : 3953.0 sec. user=mdettweiler [2009-05-10 23:35:05] 315*2^812820-1 is not prime. Res64: 9284597EF2F916CD Time : 3954.0 sec. user=vaughan [2009-05-10 23:38:37] 333*2^812955-1 is not prime. Res64: 1BC6D678DB63A802 Time : 935.0 sec. user=mdettweiler [2009-05-10 23:39:45] 339*2^812829-1 is not prime. Res64: BCD1295D1E4708AE Time : 3953.0 sec. user=vaughan [2009-05-10 23:41:47] 339*2^812671-1 is not prime. Res64: 5E8CD2E16CB5AA2B Time : 8437.0 sec. user=mdettweiler [2009-05-10 23:42:35] 339*2^812835-1 is not prime. Res64: 33F70D813A5C64B1 Time : 3951.0 sec. user=vaughan [2009-05-10 23:44:15] 321*2^812681-1 is not prime. Res64: 7883F119A9064ED3 Time : 8265.0 sec. user=vaughan [2009-05-10 23:46:10] 333*2^812694-1 is not prime. Res64: 3286E92798019CAF Time : 8248.0 sec. user=vaughan [2009-05-10 23:46:16] 321*2^812706-1 is not prime. Res64: E12D7DCAABB45117 Time : 8224.0 sec. user=mdettweiler [2009-05-10 23:47:52] 339*2^812841-1 is not prime. Res64: 2D9773F7AD25951B Time : 3956.0 sec. user=mdettweiler [2009-05-10 23:48:15] 321*2^812846-1 is not prime. Res64: 9360F580C13AB15A Time : 3951.0 sec. user=vaughan [2009-05-10 23:49:09] 315*2^812986-1 is not prime. Res64: 39684B53C008C6B0 Time : 934.0 sec. user=vaughan [2009-05-10 23:49:20] 345*2^812979-1 is not prime. Res64: 5CA6B38BC9A1E186 Time : 950.0 sec. user=mdettweiler [2009-05-10 23:52:57] 345*2^812850-1 is not prime. Res64: 68CA1DA61C83FA63 Time : 3956.0 sec. user=vaughan [2009-05-10 23:54:10] 333*2^812991-1 is not prime. Res64: 59DCAFCE54D0CD5C Time : 934.0 sec. user=mdettweiler [2009-05-10 23:55:45] 315*2^812855-1 is not prime. Res64: DAA23C5517014940 Time : 3951.0 sec. user=vaughan [2009-05-10 23:55:50] 327*2^812712-1 is not prime. Res64: B56573B5B8EC8FCA Time : 8436.0 sec. user=vaughan [2009-05-10 23:58:03] 333*2^812724-1 is not prime. Res64: 971B850C9B2404AB Time : 8267.0 sec. user=vaughan [2009-05-10 23:59:56] 345*2^812730-1 is not prime. Res64: 5BC36CDCD21BB5AA Time : 8250.0 sec. user=vaughan [2009-05-11 00:00:01] 315*2^812738-1 is not prime. Res64: 09628C8705DCA0B5 Time : 8226.0 sec.