user=appeldorff [2010-01-29 06:06:13] 4233*22^255978+1 is not prime. Res64: 0C1FA47545665887 Time : 0.0 sec. user=appeldorff [2010-01-29 06:06:13] 4233*22^255980+1 is not prime. Res64: 77FC3DAEF31C3DCA Time : 0.0 sec. user=appeldorff [2010-01-29 06:06:13] 4233*22^255996+1 is not prime. Res64: 53CC090390672702 Time : 0.0 sec. user=appeldorff [2010-01-29 06:06:13] 1611*22^256012+1 is not prime. Res64: 194EDBB7F0892408 Time : 0.0 sec. user=appeldorff [2010-01-29 06:06:13] 4233*22^256206+1 is not prime. Res64: 00C022B5C39B18D7 Time : 0.0 sec. user=appeldorff [2010-01-29 06:13:42] 1611*22^256208+1 is not prime. Res64: 9AF3B5B803711BD2 Time : 0.0 sec. user=appeldorff [2010-01-29 06:13:42] 4233*22^256220+1 is not prime. Res64: 01402915976E16F8 Time : 0.0 sec. user=appeldorff [2010-01-29 06:13:42] 1908*22^256289+1 is not prime. Res64: 3F9E28F4160F6D99 Time : 0.0 sec. user=appeldorff [2010-01-29 06:13:42] 4233*22^256314+1 is not prime. Res64: B19439AE31FBC44E Time : 0.0 sec. user=appeldorff [2010-01-29 06:13:42] 4233*22^256338+1 is not prime. Res64: 66771408B78A81B3 Time : 0.0 sec. user=mdettweiler [2010-01-29 07:01:04] 4233*22^256434+1 is not prime. Res64: FF975F8895D2ED03 Time : 0.0 sec. user=appeldorff [2010-01-29 09:57:30] 4233*22^256356+1 is not prime. Res64: 4973BFA58764E9AE Time : 0.0 sec. user=appeldorff [2010-01-29 09:57:30] 1908*22^256361+1 is not prime. Res64: 2D7D9CAD314046AA Time : 0.0 sec. user=appeldorff [2010-01-29 09:57:30] 1908*22^256377+1 is not prime. Res64: 44F91E3EBD4527ED Time : 0.0 sec. user=appeldorff [2010-01-29 09:57:30] 1611*22^256408+1 is not prime. Res64: 430957C870F9D032 Time : 0.0 sec. user=appeldorff [2010-01-29 09:57:30] 4233*22^256412+1 is not prime. Res64: 1A634C5BCFE7D6FA Time : 0.0 sec. user=appeldorff [2010-01-29 10:04:57] 1611*22^256448+1 is not prime. Res64: B4AE16C8B3020D5E Time : 0.0 sec. user=appeldorff [2010-01-29 10:04:57] 1908*22^256481+1 is not prime. Res64: 195E78C345A98FE7 Time : 0.0 sec. user=appeldorff [2010-01-29 10:04:57] 4233*22^256484+1 is not prime. Res64: FEC72A52B503ABD2 Time : 0.0 sec. user=appeldorff [2010-01-29 10:04:57] 4233*22^256492+1 is not prime. Res64: 67439658F6E6FFD4 Time : 0.0 sec. user=appeldorff [2010-01-29 10:04:57] 1908*22^256521+1 is not prime. Res64: E6C9011175303144 Time : 0.0 sec. user=appeldorff [2010-01-29 11:36:09] 1908*22^255929+1 is not prime. Res64: F544052737DABBC6 Time : 0.0 sec. user=appeldorff [2010-01-29 11:36:09] 5128*22^255929+1 is not prime. Res64: B4838B71EBB8A343 Time : 0.0 sec. user=appeldorff [2010-01-29 11:36:09] 4233*22^255938+1 is not prime. Res64: A990D1819269E9C5 Time : 0.0 sec. user=appeldorff [2010-01-29 11:36:09] 4233*22^255940+1 is not prime. Res64: C4C73944D143EDDB Time : 0.0 sec. user=appeldorff [2010-01-29 11:36:09] 4233*22^255956+1 is not prime. Res64: 4FE0450653B09E76 Time : 0.0 sec. user=appeldorff [2010-01-29 13:30:07] 4233*22^256030+1 is not prime. Res64: A8979F44DD0967F1 Time : 0.0 sec. user=appeldorff [2010-01-29 13:30:07] 4233*22^256044+1 is not prime. Res64: B328BEA16D00AB8A Time : 0.0 sec. user=appeldorff [2010-01-29 13:30:07] 4233*22^256066+1 is not prime. Res64: 7A983369EE9EF326 Time : 0.0 sec. user=appeldorff [2010-01-29 13:30:07] 4233*22^256076+1 is not prime. Res64: AFB9BE122759AE15 Time : 0.0 sec. user=appeldorff [2010-01-29 13:30:07] 4233*22^256110+1 is not prime. Res64: 2AB359B0741563A1 Time : 0.0 sec. user=appeldorff [2010-01-29 13:43:54] 1611*22^256120+1 is not prime. Res64: 88FA567A72152520 Time : 0.0 sec. user=appeldorff [2010-01-29 13:43:54] 1611*22^256124+1 is not prime. Res64: 1300871B054CE6B8 Time : 0.0 sec. user=appeldorff [2010-01-29 13:43:54] 5128*22^256161+1 is not prime. Res64: 5C649C55ADCF9A31 Time : 0.0 sec. user=appeldorff [2010-01-29 13:43:54] 4233*22^256178+1 is not prime. Res64: 774C14403DF04501 Time : 0.0 sec. user=appeldorff [2010-01-29 13:43:54] 4233*22^256190+1 is not prime. Res64: D8CED84F4951D44F Time : 0.0 sec. user=appeldorff [2010-01-29 14:03:11] 1611*22^256544+1 is not prime. Res64: 9853C3FD1BA13882 Time : 0.0 sec. user=appeldorff [2010-01-29 14:03:11] 1908*22^256569+1 is not prime. Res64: 62F19D1300048EB9 Time : 0.0 sec. user=appeldorff [2010-01-29 14:03:11] 5128*22^256577+1 is not prime. Res64: 2E7C0FC92ACBCC57 Time : 0.0 sec. user=appeldorff [2010-01-29 14:03:11] 4233*22^256580+1 is not prime. Res64: F93A10F6A66D6AEF Time : 0.0 sec. user=appeldorff [2010-01-29 14:03:11] 4233*22^256582+1 is not prime. Res64: 4A62E25178B06E8F Time : 0.0 sec. user=appeldorff [2010-01-29 14:10:28] 5128*22^256593+1 is not prime. Res64: DA1D0E2DB98178A8 Time : 0.0 sec. user=appeldorff [2010-01-29 14:10:28] 1611*22^256604+1 is not prime. Res64: C12C96522EE156BB Time : 0.0 sec. user=appeldorff [2010-01-29 14:10:28] 4233*22^256614+1 is not prime. Res64: 34B7DD2CB51B48E4 Time : 0.0 sec. user=appeldorff [2010-01-29 14:10:28] 5128*22^256629+1 is not prime. Res64: AA1E1C4C9F4C26E7 Time : 0.0 sec. user=appeldorff [2010-01-29 14:10:28] 1611*22^256636+1 is not prime. Res64: E5D6832500F781EE Time : 0.0 sec. user=appeldorff [2010-01-29 15:50:30] 1908*22^256649+1 is not prime. Res64: FF41C6180DE68786 Time : 0.0 sec. user=appeldorff [2010-01-29 15:50:30] 5128*22^256649+1 is not prime. Res64: AC822400883E0ADF Time : 0.0 sec. user=appeldorff [2010-01-29 15:50:30] 4233*22^256674+1 is not prime. Res64: D7B33A99E577671B Time : 0.0 sec. user=appeldorff [2010-01-29 15:50:30] 4233*22^256706+1 is not prime. Res64: 9F7D0BEDB85AA5AA Time : 0.0 sec. user=appeldorff [2010-01-29 15:50:30] 5128*22^256721+1 is not prime. Res64: 0CBFD5F833D076BA Time : 0.0 sec. user=appeldorff [2010-01-29 16:52:52] 4233*22^257158+1 is not prime. Res64: E48637C2F9E487E7 Time : 0.0 sec. user=appeldorff [2010-01-29 17:22:22] 1908*22^256913+1 is not prime. Res64: 5A0F5293665922F1 Time : 0.0 sec. user=appeldorff [2010-01-29 17:22:22] 5128*22^256917+1 is not prime. Res64: 7CE61DB48A489A59 Time : 0.0 sec. user=appeldorff [2010-01-29 17:22:22] 5128*22^256929+1 is not prime. Res64: D15FA5D48AB73B16 Time : 0.0 sec. user=appeldorff [2010-01-29 17:22:22] 1611*22^256940+1 is not prime. Res64: CEADC964A00BBD4A Time : 0.0 sec. user=appeldorff [2010-01-29 17:27:49] 4233*22^256724+1 is not prime. Res64: 0D222F875EF28B14 Time : 0.0 sec. user=appeldorff [2010-01-29 17:27:49] 4233*22^256772+1 is not prime. Res64: 086EBE941D18D0C6 Time : 0.0 sec. user=appeldorff [2010-01-29 17:27:49] 4233*22^256798+1 is not prime. Res64: ED736684130B2673 Time : 0.0 sec. user=appeldorff [2010-01-29 17:27:49] 4233*22^256822+1 is not prime. Res64: B8636AC6282ED849 Time : 0.0 sec. user=appeldorff [2010-01-29 17:27:49] 5128*22^256833+1 is not prime. Res64: E36F64F1BCB8E5FC Time : 0.0 sec. user=appeldorff [2010-01-29 17:41:06] 4233*22^256964+1 is not prime. Res64: 119B2ADEC41F2B91 Time : 0.0 sec. user=appeldorff [2010-01-29 17:57:52] 4233*22^256836+1 is not prime. Res64: D6ABB57A21F56AFA Time : 0.0 sec. user=appeldorff [2010-01-29 17:57:52] 5128*22^256857+1 is not prime. Res64: 6E01C2E93C28C03C Time : 0.0 sec. user=appeldorff [2010-01-29 17:57:52] 4233*22^256874+1 is not prime. Res64: D3579742096446DC Time : 0.0 sec. user=appeldorff [2010-01-29 17:57:52] 4233*22^256884+1 is not prime. Res64: 614E3D9AF7199C85 Time : 0.0 sec. user=appeldorff [2010-01-29 17:57:52] 5128*22^256885+1 is not prime. Res64: 1BE04468E5BD63DC Time : 0.0 sec. user=appeldorff [2010-01-29 18:19:44] 5128*22^256969+1 is not prime. Res64: C97D3214AB2C883C Time : 0.0 sec. user=appeldorff [2010-01-29 18:19:44] 4233*22^256994+1 is not prime. Res64: 9C0848EBE4E907C0 Time : 0.0 sec. user=appeldorff [2010-01-29 18:19:44] 4233*22^257004+1 is not prime. Res64: 443DDC366716B6F3 Time : 0.0 sec. user=appeldorff [2010-01-29 18:19:44] 1611*22^257032+1 is not prime. Res64: 36E50E3D04CC4A5A Time : 0.0 sec. user=appeldorff [2010-01-29 18:19:44] 5128*22^257041+1 is not prime. Res64: F4B62937ED6A55D0 Time : 0.0 sec. user=appeldorff [2010-01-29 18:27:06] 4233*22^257052+1 is not prime. Res64: FB1D524BB8C6DB54 Time : 0.0 sec. user=appeldorff [2010-01-29 18:27:06] 5128*22^257081+1 is not prime. Res64: 883031B33CBADDE1 Time : 0.0 sec. user=appeldorff [2010-01-29 18:27:06] 4233*22^257102+1 is not prime. Res64: AFC0E9628EF3C9E4 Time : 0.0 sec. user=appeldorff [2010-01-29 18:27:06] 1611*22^257132+1 is not prime. Res64: BF9910DF44796D1B Time : 0.0 sec. user=appeldorff [2010-01-29 18:27:06] 4233*22^257146+1 is not prime. Res64: 6CD59A880249142C Time : 0.0 sec. user=appeldorff [2010-01-29 21:04:58] 4233*22^257198+1 is not prime. Res64: B84ED774A8BEB094 Time : 0.0 sec. user=appeldorff [2010-01-29 21:04:58] 1908*22^257217+1 is not prime. Res64: 55F282E58E068146 Time : 0.0 sec. user=appeldorff [2010-01-29 21:04:58] 4233*22^257300+1 is not prime. Res64: 6213249623BDF11C Time : 0.0 sec. user=appeldorff [2010-01-29 21:04:58] 4233*22^257324+1 is not prime. Res64: 8F66A69F784EE8B3 Time : 0.0 sec. user=appeldorff [2010-01-29 21:04:58] 4233*22^257342+1 is not prime. Res64: E095C76AA0B67424 Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:20] 1611*22^257344+1 is not prime. Res64: D55A5B65BE3BB8AA Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:20] 1611*22^257360+1 is not prime. Res64: CF93556AD82A35BF Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:20] 4233*22^257378+1 is not prime. Res64: 9FDFA0E71DD467D6 Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:20] 5128*22^257433+1 is not prime. Res64: B3393102FD69CE8C Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:20] 4233*22^257436+1 is not prime. Res64: C1F0BAC24DCE1BAF Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:46] 4233*22^257162+1 is not prime. Res64: B2CE752EA3DD051C Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:46] 4233*22^257186+1 is not prime. Res64: EB8A9D3272029E60 Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:46] 5128*22^257189+1 is not prime. Res64: 24411AFE09CC73E8 Time : 0.0 sec. user=appeldorff [2010-01-29 21:25:46] 5128*22^257193+1 is not prime. Res64: AD3E19DE6C0E4329 Time : 0.0 sec. user=appeldorff [2010-01-29 22:11:53] 4233*22^257514+1 is not prime. Res64: 54831811F2AAA0EF Time : 0.0 sec. user=appeldorff [2010-01-29 22:11:53] 1908*22^257529+1 is not prime. Res64: 5FA2A7DB62F548A2 Time : 0.0 sec. user=appeldorff [2010-01-29 22:11:53] 1611*22^257536+1 is not prime. Res64: F7512D04BD469EA8 Time : 0.0 sec. user=appeldorff [2010-01-29 22:11:53] 4233*22^257538+1 is not prime. Res64: 8FDDB860FCFD79AB Time : 0.0 sec. user=appeldorff [2010-01-29 22:11:53] 1611*22^257552+1 is not prime. Res64: 7E05DB7BC631C67F Time : 0.0 sec. user=appeldorff [2010-01-29 22:16:00] 5128*22^257441+1 is not prime. Res64: B967D6C44F04158A Time : 0.0 sec. user=appeldorff [2010-01-29 22:16:00] 4233*22^257452+1 is not prime. Res64: F5C6E054CAE43A47 Time : 0.0 sec. user=appeldorff [2010-01-29 22:16:00] 5128*22^257477+1 is not prime. Res64: E670A39C208BBA07 Time : 0.0 sec. user=appeldorff [2010-01-29 22:16:00] 5128*22^257497+1 is not prime. Res64: AAFB0AFC26F6B061 Time : 0.0 sec. user=appeldorff [2010-01-29 22:16:00] 4233*22^257510+1 is not prime. Res64: CE6952FF021943BF Time : 0.0 sec. user=appeldorff [2010-01-29 22:43:57] 1611*22^257564+1 is not prime. Res64: EDA263AB1BFFD1E5 Time : 0.0 sec. user=appeldorff [2010-01-29 22:43:57] 4233*22^257578+1 is not prime. Res64: 16A88660243FEF55 Time : 0.0 sec. user=appeldorff [2010-01-29 22:43:57] 4233*22^257590+1 is not prime. Res64: D9AEBD59663766E6 Time : 0.0 sec. user=appeldorff [2010-01-29 22:43:57] 4233*22^257598+1 is not prime. Res64: 04567A6BC8B6E8EE Time : 0.0 sec. user=appeldorff [2010-01-29 22:43:57] 5128*22^257621+1 is not prime. Res64: 9134F1B450C8C6AB Time : 0.0 sec. user=appeldorff [2010-01-30 01:43:00] 4233*22^257652+1 is not prime. Res64: 393D72B48A1B3093 Time : 0.0 sec. user=appeldorff [2010-01-30 01:43:00] 5128*22^257657+1 is not prime. Res64: 7F9662F8D2655EF6 Time : 0.0 sec. user=appeldorff [2010-01-30 01:43:00] 4233*22^257676+1 is not prime. Res64: 877BB9A8E0C48506 Time : 0.0 sec. user=appeldorff [2010-01-30 01:43:00] 4233*22^257714+1 is not prime. Res64: 0E177C0CAE6BC491 Time : 0.0 sec. user=appeldorff [2010-01-30 01:43:00] 5128*22^257749+1 is not prime. Res64: 5A407D109B80A918 Time : 0.0 sec. user=appeldorff [2010-01-30 01:54:37] 1611*22^257756+1 is not prime. Res64: 3D370779267BA14A Time : 0.0 sec. user=appeldorff [2010-01-30 01:54:37] 5128*22^257769+1 is not prime. Res64: 67705D130EF4CB18 Time : 0.0 sec. user=appeldorff [2010-01-30 01:54:37] 4233*22^257770+1 is not prime. Res64: F0F9D0FADDBDE736 Time : 0.0 sec. user=appeldorff [2010-01-30 01:54:37] 4233*22^257774+1 is not prime. Res64: D9B8101BCEE277A6 Time : 0.0 sec. user=appeldorff [2010-01-30 01:54:37] 4233*22^257778+1 is not prime. Res64: 6FFBE0530080E1AF Time : 0.0 sec. user=appeldorff [2010-01-30 02:01:09] 1611*22^257804+1 is not prime. Res64: EF2346BCEA3F75B4 Time : 0.0 sec. user=appeldorff [2010-01-30 02:01:09] 5128*22^257845+1 is not prime. Res64: F059DC446D3E2924 Time : 0.0 sec. user=appeldorff [2010-01-30 02:01:09] 4233*22^257898+1 is not prime. Res64: 361944629953579E Time : 0.0 sec. user=appeldorff [2010-01-30 02:01:09] 1611*22^257920+1 is not prime. Res64: 097D97977222F293 Time : 0.0 sec. user=appeldorff [2010-01-30 02:01:09] 5128*22^257929+1 is not prime. Res64: 45D827811381A7B5 Time : 0.0 sec. user=appeldorff [2010-01-30 02:16:56] 4233*22^258026+1 is not prime. Res64: 6CFFF26344CD4B72 Time : 0.0 sec. user=appeldorff [2010-01-30 02:16:56] 1611*22^258040+1 is not prime. Res64: 299E5504E5D571C2 Time : 0.0 sec. user=appeldorff [2010-01-30 02:16:56] 4233*22^258046+1 is not prime. Res64: 8BB0000E570C0D40 Time : 0.0 sec. user=appeldorff [2010-01-30 02:16:56] 4233*22^258054+1 is not prime. Res64: F543C239245A19EE Time : 0.0 sec. user=appeldorff [2010-01-30 02:16:56] 1611*22^258056+1 is not prime. Res64: DA3570D4528421F1 Time : 0.0 sec. user=appeldorff [2010-01-30 02:24:18] 1611*22^258188+1 is not prime. Res64: 8CA60B9DB3B7FA2D Time : 0.0 sec. user=appeldorff [2010-01-30 02:24:18] 5128*22^258197+1 is not prime. Res64: B49E4689C548AB59 Time : 0.0 sec. user=appeldorff [2010-01-30 02:24:18] 1908*22^258209+1 is not prime. Res64: 96B93E8E506CB60F Time : 0.0 sec. user=appeldorff [2010-01-30 02:24:18] 1611*22^258220+1 is not prime. Res64: 391BF25BB2DC7AD9 Time : 0.0 sec. user=appeldorff [2010-01-30 02:24:18] 1611*22^258236+1 is not prime. Res64: 0CE38EBEC01958FC Time : 0.0 sec. user=appeldorff [2010-01-30 02:46:26] 1908*22^258089+1 is not prime. Res64: 6C2B970DC6C39F74 Time : 0.0 sec. user=appeldorff [2010-01-30 02:46:26] 4233*22^258100+1 is not prime. Res64: FB8FE30525CCE8C8 Time : 0.0 sec. user=appeldorff [2010-01-30 02:46:26] 5128*22^258121+1 is not prime. Res64: 6A4C1F42B26F5B74 Time : 0.0 sec. user=appeldorff [2010-01-30 02:46:26] 5128*22^258153+1 is not prime. Res64: 63E45BC1D8B999DC Time : 0.0 sec. user=appeldorff [2010-01-30 02:46:26] 4233*22^258158+1 is not prime. Res64: 632C56608B935981 Time : 0.0 sec. user=appeldorff [2010-01-30 05:33:37] 4233*22^258246+1 is not prime. Res64: E88280EB4DC43C2C Time : 0.0 sec. user=appeldorff [2010-01-30 05:33:37] 4233*22^258284+1 is not prime. Res64: F2B0F122CE1D6476 Time : 0.0 sec. user=appeldorff [2010-01-30 05:33:37] 4233*22^258306+1 is not prime. Res64: 88628AEC0BD72C86 Time : 0.0 sec. user=appeldorff [2010-01-30 05:33:37] 5128*22^258309+1 is not prime. Res64: AD9811B6463E4D37 Time : 0.0 sec. user=appeldorff [2010-01-30 05:33:37] 1611*22^258344+1 is not prime. Res64: CDAC537E2B9222F3 Time : 0.0 sec.