user=mdettweiler [2013-02-01 00:12:20] 837*2^1240316-1 is not prime. Res64: 062650A4CD440C0B Time : 0.0 sec. user=mdettweiler [2013-02-01 00:12:22] 843*2^1240316-1 is not prime. Res64: 3880E0675C7848C0 Time : 0.0 sec. user=mdettweiler [2013-02-01 00:13:29] 927*2^1240316-1 is not prime. Res64: D7B8266D4387BAFC Time : 0.0 sec. user=mdettweiler [2013-02-01 00:13:29] 945*2^1240316-1 is not prime. Res64: E92719632DD74AC0 Time : 0.0 sec. user=mdettweiler [2013-02-01 00:29:53] 621*2^1240317-1 is not prime. Res64: E128EA3A73ADE527 Time : 0.0 sec. user=mdettweiler [2013-02-01 00:29:54] 625*2^1240317-1 is not prime. Res64: 731FF9F52D286E2C Time : 0.0 sec. user=mdettweiler [2013-02-01 00:30:50] 717*2^1240317-1 is not prime. Res64: C16072034BD78B1A Time : 0.0 sec. user=mdettweiler [2013-02-01 00:30:51] 819*2^1240317-1 is not prime. Res64: E708C834EBF641FC Time : 0.0 sec. user=vaughan [2013-02-01 00:31:07] 803*2^1240316-1 is not prime. Res64: 3291934C0BF29FF1 Time : 0.0 sec. user=mdettweiler [2013-02-01 00:47:13] 849*2^1240317-1 is not prime. Res64: 293D4312DF9ED816 Time : 0.0 sec. user=mdettweiler [2013-02-01 00:47:13] 915*2^1240317-1 is not prime. Res64: 7C42BE6A28B5F9B7 Time : 0.0 sec. user=mdettweiler [2013-02-01 00:48:09] 985*2^1240317-1 is not prime. Res64: 8AD59D8C6D9E268A Time : 0.0 sec. user=mdettweiler [2013-02-01 00:48:10] 647*2^1240318-1 is not prime. Res64: 8F9CCF1C0F7D2C61 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:04:33] 681*2^1240318-1 is not prime. Res64: C8772127D00B85E9 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:04:34] 761*2^1240318-1 is not prime. Res64: A30EE91CFE097104 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:05:28] 813*2^1240318-1 is not prime. Res64: EFC79054FA0F9957 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:05:28] 827*2^1240318-1 is not prime. Res64: 3A467FDF4C9291C2 Time : 0.0 sec. user=vaughan [2013-02-01 01:09:04] 657*2^1240318-1 is not prime. Res64: A5E5688065003B9C Time : 0.0 sec. user=mdettweiler [2013-02-01 01:21:56] 885*2^1240318-1 is not prime. Res64: C2094FF7BF55A71A Time : 0.0 sec. user=mdettweiler [2013-02-01 01:21:57] 911*2^1240318-1 is not prime. Res64: 8857DCB6EB4DE28B Time : 0.0 sec. user=mdettweiler [2013-02-01 01:22:49] 933*2^1240318-1 is not prime. Res64: A4F000E1121A05A1 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:22:50] 941*2^1240318-1 is not prime. Res64: 3342DB8A558770B5 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:39:19] 705*2^1240319-1 is not prime. Res64: A1F8AE9FB0A23179 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:39:20] 819*2^1240319-1 is not prime. Res64: 306182E1149A3170 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:40:11] 623*2^1240320-1 is not prime. Res64: FBF9043D76871B69 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:40:12] 737*2^1240320-1 is not prime. Res64: 88294AA81748096A Time : 0.0 sec. user=vaughan [2013-02-01 01:46:59] 645*2^1240319-1 is not prime. Res64: 1A47B67DBCBBBD84 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:56:39] 945*2^1240320-1 is not prime. Res64: C96DFF57584E8E86 Time : 0.0 sec. user=mdettweiler [2013-02-01 01:56:39] 959*2^1240320-1 is not prime. Res64: 3899B15479BA937A Time : 0.0 sec. user=mdettweiler [2013-02-01 01:57:32] 975*2^1240320-1 is not prime. Res64: D52AA04379FEF88C Time : 0.0 sec. user=mdettweiler [2013-02-01 01:57:32] 999*2^1240320-1 is not prime. Res64: 10D9B0D40128451E Time : 0.0 sec. user=mdettweiler [2013-02-01 02:13:59] 691*2^1240321-1 is not prime. Res64: 9D8618870AD108D9 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:14:03] 769*2^1240321-1 is not prime. Res64: 1A196BAEBF814D3A Time : 0.0 sec. user=mdettweiler [2013-02-01 02:14:52] 775*2^1240321-1 is not prime. Res64: FDA572B9FCC7F89F Time : 0.0 sec. user=mdettweiler [2013-02-01 02:14:54] 829*2^1240321-1 is not prime. Res64: 0B11F6735873476B Time : 0.0 sec. user=vaughan [2013-02-01 02:24:57] 645*2^1240321-1 is not prime. Res64: 190502E992287A82 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:31:39] 955*2^1240321-1 is not prime. Res64: 0FF580CB32B63480 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:31:40] 615*2^1240322-1 is not prime. Res64: 626BE6E100CAFA02 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:32:15] 683*2^1240322-1 is not prime. Res64: 190FD116CB34CDC8 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:32:15] 705*2^1240322-1 is not prime. Res64: C8A05B8417F85960 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:49:02] 713*2^1240322-1 is not prime. Res64: 1DD019DC3B48D923 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:49:03] 743*2^1240322-1 is not prime. Res64: CA4D452A54F06F98 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:49:36] 755*2^1240322-1 is not prime. Res64: DE73C317FB385FA8 Time : 0.0 sec. user=mdettweiler [2013-02-01 02:49:37] 887*2^1240322-1 is not prime. Res64: 297B3F410A437620 Time : 0.0 sec. user=vaughan [2013-02-01 03:02:59] 711*2^1240322-1 is not prime. Res64: 5BED379940A5BE67 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:06:34] 945*2^1240322-1 is not prime. Res64: EDAB34588E4F0AD1 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:15:54] 613*2^1240323-1 is not prime. Res64: A1826EA1206F60D9 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:16:50] 703*2^1240323-1 is not prime. Res64: B84251D2A9F84464 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:16:52] 721*2^1240323-1 is not prime. Res64: AA9AEFE15C2F8CE6 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:29:10] 751*2^1240323-1 is not prime. Res64: E3CD94CFFC1760AB Time : 0.0 sec. user=mdettweiler [2013-02-01 03:33:27] 781*2^1240323-1 is not prime. Res64: 7BA66C51289282BA Time : 0.0 sec. user=mdettweiler [2013-02-01 03:33:30] 823*2^1240323-1 is not prime. Res64: BBA47F6883F6D817 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:34:19] 871*2^1240323-1 is not prime. Res64: AB8149EB6E13739A Time : 0.0 sec. user=mdettweiler [2013-02-01 03:34:22] 951*2^1240323-1 is not prime. Res64: 31E25657FBD8389E Time : 0.0 sec. user=mdettweiler [2013-02-01 03:51:08] 615*2^1240324-1 is not prime. Res64: 9410D7AE3BE89919 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:51:09] 635*2^1240324-1 is not prime. Res64: 38B6DEC78B8FB27B Time : 0.0 sec. user=mdettweiler [2013-02-01 03:51:49] 665*2^1240324-1 is not prime. Res64: 7B736868FCA25DE4 Time : 0.0 sec. user=mdettweiler [2013-02-01 03:51:50] 749*2^1240324-1 is not prime. Res64: 066BDDD4D866B6DC Time : 0.0 sec. user=mdettweiler [2013-02-01 04:08:30] 833*2^1240324-1 is not prime. Res64: 39DC80BF7A49D392 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:08:32] 651*2^1240325-1 is not prime. Res64: ABF5DF8EFBBFD424 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:09:09] 729*2^1240325-1 is not prime. Res64: F48C3B3ECB29F372 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:09:10] 777*2^1240325-1 is not prime. Res64: ECAAA9C8BC8DD2A1 Time : 0.0 sec. user=vaughan [2013-02-01 04:17:47] 785*2^1240324-1 is not prime. Res64: 246CD36EB3EA6384 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:26:00] 801*2^1240325-1 is not prime. Res64: 3B569B7A19D508F3 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:26:01] 861*2^1240325-1 is not prime. Res64: 3AD835FF08799FC0 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:26:33] 981*2^1240325-1 is not prime. Res64: FADA1622A7B28B6D Time : 0.0 sec. user=mdettweiler [2013-02-01 04:26:34] 725*2^1240326-1 is not prime. Res64: AE58E14BC9532023 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:43:23] 923*2^1240326-1 is not prime. Res64: 065D23AAD21A614E Time : 0.0 sec. user=mdettweiler [2013-02-01 04:43:24] 971*2^1240326-1 is not prime. Res64: B34FF6D7DDCBD5BF Time : 0.0 sec. user=mdettweiler [2013-02-01 04:43:54] 639*2^1240327-1 is not prime. Res64: 512F2613E87C02D0 Time : 0.0 sec. user=mdettweiler [2013-02-01 04:43:55] 649*2^1240327-1 is not prime. Res64: C0155D5965A529A0 Time : 0.0 sec. user=vaughan [2013-02-01 04:55:48] 821*2^1240326-1 is not prime. Res64: 7FF496EF12E7D79B Time : 0.0 sec. user=mdettweiler [2013-02-01 05:00:46] 693*2^1240327-1 is not prime. Res64: 25A35B33D1EFC70C Time : 0.0 sec. user=mdettweiler [2013-02-01 05:00:48] 729*2^1240327-1 is not prime. Res64: 268038D544F5ADA3 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:01:14] 819*2^1240327-1 is not prime. Res64: BB55A2F5E81982B0 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:01:17] 859*2^1240327-1 is not prime. Res64: 77BEF2D706461B59 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:18:10] 885*2^1240327-1 is not prime. Res64: 40EB5BD1A58C818D Time : 0.0 sec. user=mdettweiler [2013-02-01 05:18:11] 767*2^1240328-1 is not prime. Res64: 09EA7B2F22236FA5 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:18:41] 795*2^1240328-1 is not prime. Res64: D44F78AA4E4CF8B0 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:18:42] 845*2^1240328-1 is not prime. Res64: A1B662AAEA9287A4 Time : 0.0 sec. user=vaughan [2013-02-01 05:33:48] 873*2^1240327-1 is not prime. Res64: 2C48FAF671DB07C0 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:35:33] 977*2^1240328-1 is not prime. Res64: 4873E6B564CC9A8C Time : 0.0 sec. user=mdettweiler [2013-02-01 05:35:34] 727*2^1240329-1 is not prime. Res64: A270F63260B1A621 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:36:01] 745*2^1240329-1 is not prime. Res64: 2BFAA7067E64063C Time : 0.0 sec. user=mdettweiler [2013-02-01 05:36:02] 751*2^1240329-1 is not prime. Res64: E780E1FC10E1E5E6 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:52:54] 835*2^1240329-1 is not prime. Res64: 52281F4E7BC5E215 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:52:55] 997*2^1240329-1 is not prime. Res64: D9A6C85259383643 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:53:22] 999*2^1240329-1 is not prime. Res64: 8D0A37C397290CB5 Time : 0.0 sec. user=mdettweiler [2013-02-01 05:53:23] 605*2^1240330-1 is not prime. Res64: 8898E2757606D189 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:10:16] 731*2^1240330-1 is not prime. Res64: 39BA98B8D41425DC Time : 0.0 sec. user=mdettweiler [2013-02-01 06:10:18] 791*2^1240330-1 is not prime. Res64: 50FDA99BA717A430 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:10:42] 615*2^1240331-1 is not prime. Res64: 28B6B95D0F7193A2 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:10:44] 631*2^1240331-1 is not prime. Res64: 041C7C2F97F45579 Time : 0.0 sec. user=vaughan [2013-02-01 06:11:48] 795*2^1240329-1 is not prime. Res64: 16A4301702D2B0A2 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:27:45] 693*2^1240331-1 is not prime. Res64: 9C65355ADF9A1465 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:27:45] 823*2^1240331-1 is not prime. Res64: A21F8A95864B2B57 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:28:05] 871*2^1240331-1 is not prime. Res64: 9949F5AB8688F974 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:28:05] 981*2^1240331-1 is not prime. Res64: 4F4DF00E1B03AF18 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:45:05] 675*2^1240332-1 is not prime. Res64: 7FEBFF932044DC7F Time : 0.0 sec. user=mdettweiler [2013-02-01 06:45:06] 719*2^1240332-1 is not prime. Res64: B9CB245D909E8FEB Time : 0.0 sec. user=mdettweiler [2013-02-01 06:45:25] 767*2^1240332-1 is not prime. Res64: 0EB04B439E910AF9 Time : 0.0 sec. user=mdettweiler [2013-02-01 06:45:26] 779*2^1240332-1 is not prime. Res64: B3693DEF6AF28556 Time : 0.0 sec. user=vaughan [2013-02-01 06:49:49] 647*2^1240332-1 is not prime. Res64: A5638FC3D45E7FE7 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:02:26] 893*2^1240332-1 is not prime. Res64: 08776AC63CE080E3 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:02:27] 909*2^1240332-1 is not prime. Res64: 16645FA8808A8375 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:02:45] 945*2^1240332-1 is not prime. Res64: 5B06D8ED36325B09 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:02:46] 675*2^1240333-1 is not prime. Res64: CE22F9D220F5F475 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:19:53] 897*2^1240333-1 is not prime. Res64: D7573FA762A9A31F Time : 0.0 sec. user=mdettweiler [2013-02-01 07:19:54] 985*2^1240333-1 is not prime. Res64: 16D3FDF8464603CD Time : 0.0 sec. user=mdettweiler [2013-02-01 07:20:05] 641*2^1240334-1 is not prime. Res64: BA392168D66E34E6 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:20:06] 767*2^1240334-1 is not prime. Res64: F385FC89BEF1689E Time : 0.0 sec. user=vaughan [2013-02-01 07:27:49] 751*2^1240333-1 is not prime. Res64: ADFD50A1D78C68DC Time : 0.0 sec. user=mdettweiler [2013-02-01 07:37:16] 825*2^1240334-1 is not prime. Res64: 7FE3FC2221C84CAA Time : 0.0 sec. user=mdettweiler [2013-02-01 07:37:16] 833*2^1240334-1 is not prime. Res64: 30B5C81AB97D5E0F Time : 0.0 sec. user=mdettweiler [2013-02-01 07:37:27] 921*2^1240334-1 is not prime. Res64: ED137C52CBAEF6FD Time : 0.0 sec. user=mdettweiler [2013-02-01 07:37:27] 1001*2^1240334-1 is not prime. Res64: 595518B512951B80 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:54:36] 763*2^1240335-1 is not prime. Res64: 4D0B8FBD672E745B Time : 0.0 sec. user=mdettweiler [2013-02-01 07:54:37] 781*2^1240335-1 is not prime. Res64: 3FE5FEBA8FC697B5 Time : 0.0 sec. user=mdettweiler [2013-02-01 07:54:47] 819*2^1240335-1 is not prime. Res64: 4D13BFBDA3048C5D Time : 0.0 sec. user=mdettweiler [2013-02-01 07:54:48] 871*2^1240335-1 is not prime. Res64: 48027B733C1399D0 Time : 0.0 sec. user=vaughan [2013-02-01 08:05:50] 613*2^1240335-1 is not prime. Res64: 042761EC8ACBF7BD Time : 0.0 sec. user=mdettweiler [2013-02-01 08:11:58] 921*2^1240335-1 is not prime. Res64: 39FC05918C80A29C Time : 0.0 sec. user=mdettweiler [2013-02-01 08:12:00] 705*2^1240336-1 is not prime. Res64: 0F9D63CB57C78C95 Time : 0.0 sec. user=mdettweiler [2013-02-01 08:12:07] 707*2^1240336-1 is not prime. Res64: 56ABF24EC085D421 Time : 0.0 sec. user=mdettweiler [2013-02-01 08:12:10] 723*2^1240336-1 is not prime. Res64: 34A2C46B98FFE449 Time : 0.0 sec. user=mdettweiler [2013-02-01 08:29:37] 619*2^1240337-1 is not prime. Res64: 731F7A9EB54AD43A Time : 0.0 sec. user=mdettweiler [2013-02-01 08:29:38] 649*2^1240337-1 is not prime. Res64: 0CFC6C484DD9395B Time : 0.0 sec. user=mdettweiler [2013-02-01 08:29:40] 697*2^1240337-1 is not prime. Res64: 71F6EFE98A4DBA2D Time : 0.0 sec. user=mdettweiler [2013-02-01 08:29:40] 735*2^1240337-1 is not prime. Res64: 0E3C4B482B8B4E2D Time : 0.0 sec. user=vaughan [2013-02-01 08:43:56] 869*2^1240336-1 is not prime. Res64: 947D5C77D9983541 Time : 0.0 sec. user=mdettweiler [2013-02-01 08:46:58] 769*2^1240337-1 is not prime. Res64: A94090EDD5852B3C Time : 0.0 sec. user=mdettweiler [2013-02-01 08:46:58] 801*2^1240337-1 is not prime. Res64: DDF00D3B2AF2017A Time : 0.0 sec. user=mdettweiler [2013-02-01 08:47:00] 885*2^1240337-1 is not prime. Res64: 5BB9DBBA3F1B3ABE Time : 0.0 sec. user=mdettweiler [2013-02-01 08:47:00] 901*2^1240337-1 is not prime. Res64: FD691D69ED8E1F68 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:04:18] 705*2^1240338-1 is not prime. Res64: 6856E46A419065B6 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:04:21] 777*2^1240338-1 is not prime. Res64: D7021140C7E14E37 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:04:22] 977*2^1240338-1 is not prime. Res64: 1D47D3895403892B Time : 0.0 sec. user=mdettweiler [2013-02-01 09:04:25] 625*2^1240339-1 is not prime. Res64: 7D0D72B0C51414E0 Time : 0.0 sec. user=vaughan [2013-02-01 09:21:58] 621*2^1240338-1 is not prime. Res64: DC32A389898DB9BE Time : 0.0 sec. user=mdettweiler [2013-02-01 09:21:58] 649*2^1240339-1 is not prime. Res64: 4BE10DDA917708E1 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:21:58] 765*2^1240339-1 is not prime. Res64: 096A81873E7AD39D Time : 0.0 sec. user=mdettweiler [2013-02-01 09:22:00] 813*2^1240339-1 is not prime. Res64: 86CB9DFAC311B564 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:22:01] 891*2^1240339-1 is not prime. Res64: 6C3E0AB1BD682598 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:39:22] 969*2^1240339-1 is not prime. Res64: 37849872D570244B Time : 0.0 sec. user=mdettweiler [2013-02-01 09:39:23] 669*2^1240340-1 is not prime. Res64: 5B33061F82F5C4E5 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:39:23] 615*2^1240340-1 is not prime. Res64: E3D9D3481C1D512C Time : 0.0 sec. user=mdettweiler [2013-02-01 09:39:23] 825*2^1240340-1 is not prime. Res64: 0CF988E717BED96B Time : 0.0 sec. user=mdettweiler [2013-02-01 09:56:44] 885*2^1240340-1 is not prime. Res64: B4631CD677BA7667 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:56:45] 999*2^1240340-1 is not prime. Res64: 00616DD23EDCEB53 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:56:46] 621*2^1240341-1 is not prime. Res64: 085A1710612EDDC6 Time : 0.0 sec. user=mdettweiler [2013-02-01 09:56:47] 649*2^1240341-1 is not prime. Res64: 0BF7AF896456A127 Time : 0.0 sec. user=vaughan [2013-02-01 09:59:58] 951*2^1240339-1 is not prime. Res64: 80B0A5A959C3F026 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:14:05] 727*2^1240341-1 is not prime. Res64: D21501F42D2EE0BA Time : 0.0 sec. user=mdettweiler [2013-02-01 10:14:06] 745*2^1240341-1 is not prime. Res64: E5AD0415D4C42921 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:14:07] 751*2^1240341-1 is not prime. Res64: 599BEB36D37FCA07 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:14:07] 781*2^1240341-1 is not prime. Res64: 659DF3F1BB3F7AA8 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:31:29] 847*2^1240341-1 is not prime. Res64: DB8EFD1E0606BD51 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:31:29] 695*2^1240342-1 is not prime. Res64: 5C5040025987BC12 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:31:32] 777*2^1240342-1 is not prime. Res64: 74988B6ACCF83788 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:31:32] 813*2^1240342-1 is not prime. Res64: B9AF3E29158ED4D7 Time : 0.0 sec. user=vaughan [2013-02-01 10:38:06] 795*2^1240341-1 is not prime. Res64: 3DF8D59889769B94 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:48:50] 815*2^1240342-1 is not prime. Res64: 5C3ADB8BF7642983 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:48:51] 827*2^1240342-1 is not prime. Res64: F33A741E7B6C8B78 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:48:53] 1001*2^1240342-1 is not prime. Res64: 7874BAE637FBAD91 Time : 0.0 sec. user=mdettweiler [2013-02-01 10:48:54] 649*2^1240343-1 is not prime. Res64: 25C5E9E34D1FF05A Time : 0.0 sec. user=mdettweiler [2013-02-01 11:06:12] 753*2^1240343-1 is not prime. Res64: 599776F50564CBB0 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:06:13] 759*2^1240343-1 is not prime. Res64: 81A0AF48DADCCC4A Time : 0.0 sec. user=mdettweiler [2013-02-01 11:06:15] 939*2^1240343-1 is not prime. Res64: 3D48A1B79527DFD4 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:06:17] 789*2^1240344-1 is not prime. Res64: 0B0AD10F27E1EBB6 Time : 0.0 sec. user=vaughan [2013-02-01 11:16:06] 673*2^1240343-1 is not prime. Res64: 957562BF0D9B9347 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:23:41] 887*2^1240344-1 is not prime. Res64: 4450DF72461F5611 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:23:41] 903*2^1240344-1 is not prime. Res64: F6ECDD94F5A7BD04 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:23:43] 831*2^1240345-1 is not prime. Res64: 2C114B81558A0E0E Time : 0.0 sec. user=mdettweiler [2013-02-01 11:23:43] 871*2^1240345-1 is not prime. Res64: 82E31D7F2D36A595 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:41:02] 937*2^1240345-1 is not prime. Res64: B309D0367296D3E7 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:41:02] 999*2^1240345-1 is not prime. Res64: 7C21BE8D0A30DC79 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:41:05] 645*2^1240346-1 is not prime. Res64: C64617EB774F1B0E Time : 0.0 sec. user=mdettweiler [2013-02-01 11:41:05] 671*2^1240346-1 is not prime. Res64: 41491F201CF04C61 Time : 0.0 sec. user=vaughan [2013-02-01 11:54:15] 897*2^1240345-1 is not prime. Res64: 4B6DE93128720DC0 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:58:26] 677*2^1240346-1 is not prime. Res64: D51200A309412F6E Time : 0.0 sec. user=mdettweiler [2013-02-01 11:58:26] 743*2^1240346-1 is not prime. Res64: 18FD17AAA8AF5596 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:58:27] 837*2^1240346-1 is not prime. Res64: E68E59C6064B3506 Time : 0.0 sec. user=mdettweiler [2013-02-01 11:58:28] 857*2^1240346-1 is not prime. Res64: 91CD09738FBB44E0 Time : 0.0 sec. user=mdettweiler [2013-02-01 12:15:47] 781*2^1240347-1 is not prime. Res64: F581668CD33DBB11 Time : 0.0 sec. user=mdettweiler [2013-02-01 12:15:48] 795*2^1240347-1 is not prime. Res64: 91084A3E75754E17 Time : 0.0 sec. user=mdettweiler [2013-02-01 12:15:49] 859*2^1240347-1 is not prime. Res64: CE54BAC7B61E16CA Time : 0.0 sec. user=mdettweiler [2013-02-01 12:15:50] 895*2^1240347-1 is not prime. Res64: ABCAC92C74312934 Time : 0.0 sec. user=vaughan [2013-02-01 12:32:17] 675*2^1240347-1 is not prime. Res64: FB345866145A44A8 Time : 0.0 sec. user=mdettweiler [2013-02-01 12:33:14] 773*2^1240348-1 is not prime. Res64: 50243CFCBD2036E4 Time : 0.0 sec. user=mdettweiler [2013-02-01 12:33:14] 819*2^1240348-1 is not prime. Res64: FA53E37758CBFDFD Time : 0.0 sec. user=mdettweiler [2013-02-01 12:33:14] 617*2^1240348-1 is not prime. Res64: 415E59BBA87827AC Time : 0.0 sec. user=mdettweiler [2013-02-01 12:33:15] 887*2^1240348-1 is not prime. Res64: 2764B60A1F387338 Time : 0.0 sec. user=mdettweiler [2013-02-01 12:50:43] 631*2^1240349-1 is not prime. Res64: 2A38DADB5DEB4397 Time : 0.0 sec. user=mdettweiler [2013-02-01 12:50:43] 679*2^1240349-1 is not prime. Res64: 5AFF37D21633368B Time : 0.0 sec. user=mdettweiler [2013-02-01 12:50:44] 697*2^1240349-1 is not prime. Res64: 361DB221523C203E Time : 0.0 sec. user=mdettweiler [2013-02-01 12:50:44] 775*2^1240349-1 is not prime. Res64: CABB2357606DDD6F Time : 0.0 sec. user=mdettweiler [2013-02-01 13:08:29] 847*2^1240349-1 is not prime. Res64: ED194CE224A59926 Time : 0.0 sec. user=mdettweiler [2013-02-01 13:08:30] 879*2^1240349-1 is not prime. Res64: 2EAF8F5584FE700B Time : 0.0 sec. user=mdettweiler [2013-02-01 13:08:32] 885*2^1240349-1 is not prime. Res64: D6963DC19DB55CC4 Time : 0.0 sec. user=mdettweiler [2013-02-01 13:08:33] 939*2^1240349-1 is not prime. Res64: A60049AE2A144C69 Time : 0.0 sec. user=vaughan [2013-02-01 13:10:20] 959*2^1240348-1 is not prime. Res64: C29BCD4053BB1FBB Time : 0.0 sec. user=mdettweiler [2013-02-01 13:26:08] 949*2^1240349-1 is not prime. Res64: 36CEE41C0F14DFFC Time : 0.0 sec. user=mdettweiler [2013-02-01 13:26:08] 951*2^1240349-1 is not prime. Res64: 547B151D250C0E51 Time : 0.0 sec. user=mdettweiler [2013-02-01 13:26:09] 653*2^1240350-1 is not prime. Res64: 22BA8631E6C8501D Time : 0.0 sec. user=mdettweiler [2013-02-01 13:26:09] 681*2^1240350-1 is not prime. Res64: 3D81E7853379469F Time : 0.0 sec. user=mdettweiler [2013-02-01 13:43:32] 843*2^1240350-1 is not prime. Res64: 0EFB94D4915AC239 Time : 0.0 sec. user=mdettweiler [2013-02-01 13:43:33] 941*2^1240350-1 is not prime. Res64: 3DA624F3AA2CBAE4 Time : 0.0 sec. user=mdettweiler [2013-02-01 13:43:33] 921*2^1240350-1 is not prime. Res64: 4E79A1F8FC4B15EB Time : 0.0 sec. user=mdettweiler [2013-02-01 13:43:33] 745*2^1240351-1 is not prime. Res64: C577EA717878F8D7 Time : 0.0 sec. user=vaughan [2013-02-01 13:48:18] 791*2^1240350-1 is not prime. Res64: B5CFD293724C1C83 Time : 0.0 sec. user=mdettweiler [2013-02-01 14:00:57] 805*2^1240351-1 is not prime. Res64: 9ECCE9AA9AFDBDFE Time : 0.0 sec. user=mdettweiler [2013-02-01 14:00:58] 819*2^1240351-1 is not prime. Res64: 1DCFE85B56BA9223 Time : 0.0 sec. user=mdettweiler [2013-02-01 14:00:58] 615*2^1240352-1 is not prime. Res64: A26FCC0D5341F5AC Time : 0.0 sec. user=mdettweiler [2013-02-01 14:00:59] 767*2^1240352-1 is not prime. Res64: F24F8C119B2CEA95 Time : 0.0 sec. user=mdettweiler [2013-02-01 14:18:32] 995*2^1240352-1 is not prime. Res64: 4A6B1FA6E7BB785A Time : 0.0 sec. user=mdettweiler [2013-02-01 14:18:32] 625*2^1240353-1 is not prime. Res64: BF1C38FF74982E7E Time : 0.0 sec. user=mdettweiler [2013-02-01 14:18:32] 691*2^1240353-1 is not prime. Res64: 8B492AE5EB425678 Time : 0.0 sec. user=mdettweiler [2013-02-01 14:18:33] 765*2^1240353-1 is not prime. Res64: BB196509800AD085 Time : 0.0 sec. user=vaughan [2013-02-01 14:26:19] 959*2^1240352-1 is not prime. Res64: D448DB1162AC14CD Time : 0.0 sec. user=mdettweiler [2013-02-01 14:35:57] 781*2^1240353-1 is not prime. Res64: C42132A44A870E2F Time : 0.0 sec. user=mdettweiler [2013-02-01 14:35:58] 817*2^1240353-1 is not prime. Res64: 220267301A7E525D Time : 0.0 sec. user=mdettweiler [2013-02-01 14:35:58] 891*2^1240353-1 is not prime. Res64: 89C27CF874775110 Time : 0.0 sec. user=mdettweiler [2013-02-01 14:35:59] 937*2^1240353-1 is not prime. Res64: 602C1DC7D406F10C Time : 0.0 sec. user=mdettweiler [2013-02-01 14:54:03] 741*2^1240354-1 is not prime. Res64: 5AB147C0017FF995 Time : 0.0 sec. user=mdettweiler [2013-02-01 14:54:03] 827*2^1240354-1 is not prime. Res64: 84A902C089A4BCB7 Time : 0.0 sec. user=mdettweiler [2013-02-01 14:54:03] 681*2^1240354-1 is not prime. Res64: 3CCF430122AAB8AC Time : 0.0 sec. user=mdettweiler [2013-02-01 14:54:03] 705*2^1240354-1 is not prime. Res64: FF73DAB0E1719E50 Time : 0.0 sec. user=vaughan [2013-02-01 15:04:18] 611*2^1240354-1 is not prime. Res64: 3FE03E2B1EAB27B8 Time : 0.0 sec. user=mdettweiler [2013-02-01 15:12:48] 651*2^1240355-1 is not prime. Res64: 1C82F324E70AFEEA Time : 0.0 sec. user=mdettweiler [2013-02-01 15:12:49] 951*2^1240354-1 is not prime. Res64: 9F87D028E0380251 Time : 0.0 sec. user=mdettweiler [2013-02-01 15:12:49] 675*2^1240355-1 is not prime. Res64: FD278C68A6132DC3 Time : 0.0 sec. user=mdettweiler [2013-02-01 15:12:50] 987*2^1240354-1 is not prime. Res64: A470E9C270A7FD71 Time : 0.0 sec. user=vaughan [2013-02-01 15:42:23] 689*2^1240356-1 is not prime. Res64: 9C1914D03C3A17DB Time : 0.0 sec. user=vaughan [2013-02-01 16:20:23] 699*2^1240357-1 is not prime. Res64: B22048172943D02F Time : 0.0 sec. user=vaughan [2013-02-01 16:58:25] 747*2^1240357-1 is not prime. Res64: 3EDBCE468FB1FAC9 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:02:12] 845*2^1240356-1 is not prime. Res64: C2AF429BC6C6B35A Time : 0.0 sec. user=mdettweiler [2013-02-01 17:02:13] 639*2^1240357-1 is not prime. Res64: BE44571416CF7474 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:02:17] 789*2^1240356-1 is not prime. Res64: C1BFFD7F7BE0A27C Time : 0.0 sec. user=mdettweiler [2013-02-01 17:02:19] 839*2^1240356-1 is not prime. Res64: C90208B1A656813B Time : 0.0 sec. user=mdettweiler [2013-02-01 17:20:11] 945*2^1240357-1 is not prime. Res64: A30C72650F29F2AA Time : 0.0 sec. user=mdettweiler [2013-02-01 17:20:12] 665*2^1240358-1 is not prime. Res64: 99B45E2070ADEF80 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:20:15] 813*2^1240358-1 is not prime. Res64: 847BC4E8340B8545 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:20:15] 831*2^1240358-1 is not prime. Res64: DF575EA78B6C2C31 Time : 0.0 sec. user=vaughan [2013-02-01 17:36:25] 901*2^1240357-1 is not prime. Res64: FF33447C0DD510EF Time : 0.0 sec. user=mdettweiler [2013-02-01 17:38:04] 957*2^1240358-1 is not prime. Res64: 2BC2913A613C3701 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:38:04] 919*2^1240359-1 is not prime. Res64: 02891E2E1D39C294 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:38:07] 985*2^1240359-1 is not prime. Res64: BE4A60303219C9A3 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:38:08] 663*2^1240360-1 is not prime. Res64: C9D3465B1F87BD00 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:55:47] 825*2^1240360-1 is not prime. Res64: EB60F517B8135556 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:55:47] 827*2^1240360-1 is not prime. Res64: 92315B76C4331107 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:55:51] 845*2^1240360-1 is not prime. Res64: 8739473A8138BE18 Time : 0.0 sec. user=mdettweiler [2013-02-01 17:55:52] 975*2^1240360-1 is not prime. Res64: 0D2666DCB3BD35D3 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:13:40] 649*2^1240361-1 is not prime. Res64: A7BFF77EF4DCB272 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:13:42] 697*2^1240361-1 is not prime. Res64: BC4D9F64424B16E7 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:13:44] 981*2^1240361-1 is not prime. Res64: 3AC2D0FFABE261AB Time : 0.0 sec. user=mdettweiler [2013-02-01 18:13:45] 621*2^1240362-1 is not prime. Res64: 7F0F77468A4D6FBA Time : 0.0 sec. user=vaughan [2013-02-01 18:14:32] 747*2^1240360-1 is not prime. Res64: 4BF1DB8DF1BE1EBE Time : 0.0 sec. user=mdettweiler [2013-02-01 18:31:46] 713*2^1240362-1 is not prime. Res64: 43C0C4630E17CBA2 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:31:46] 725*2^1240362-1 is not prime. Res64: 5E5B21288955847A Time : 0.0 sec. user=mdettweiler [2013-02-01 18:31:48] 791*2^1240362-1 is not prime. Res64: B0CD29626B5BBDA0 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:31:48] 807*2^1240362-1 is not prime. Res64: 70C534EACFE86326 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:49:44] 923*2^1240362-1 is not prime. Res64: 4E13A0331F6BCCC3 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:49:44] 963*2^1240362-1 is not prime. Res64: D921EE66D6E83019 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:49:47] 699*2^1240363-1 is not prime. Res64: DD5308D5727BEB72 Time : 0.0 sec. user=mdettweiler [2013-02-01 18:49:47] 849*2^1240363-1 is not prime. Res64: 5B33E135B9469AD4 Time : 0.0 sec. user=vaughan [2013-02-01 18:52:35] 885*2^1240362-1 is not prime. Res64: 854A479332615F9B Time : 0.0 sec. user=mdettweiler [2013-02-01 19:07:52] 961*2^1240363-1 is not prime. Res64: 491307E556ABA9A7 Time : 0.0 sec. user=mdettweiler [2013-02-01 19:07:53] 859*2^1240363-1 is not prime. Res64: 51AC86629F83A7ED Time : 0.0 sec. user=mdettweiler [2013-02-01 19:07:53] 605*2^1240364-1 is not prime. Res64: 616BA71406DA0C04 Time : 0.0 sec. user=mdettweiler [2013-02-01 19:07:54] 945*2^1240363-1 is not prime. Res64: F0DB0C3DB4A8A6AC Time : 0.0 sec. user=mdettweiler [2013-02-01 19:26:02] 699*2^1240364-1 is not prime. Res64: EE62C58C3E8DE168 Time : 0.0 sec. user=mdettweiler [2013-02-01 19:26:03] 707*2^1240364-1 is not prime. Res64: 7DC53C1088C11A0B Time : 0.0 sec. user=mdettweiler [2013-02-01 19:26:03] 717*2^1240364-1 is not prime. Res64: 25D9FBAFC282E917 Time : 0.0 sec. user=mdettweiler [2013-02-01 19:26:04] 773*2^1240364-1 is not prime. Res64: 27B52A2128EC1431 Time : 0.0 sec. user=vaughan [2013-02-01 19:31:00] 623*2^1240364-1 is not prime. Res64: 4DF155186525FD39 Time : 0.0 sec. user=mdettweiler [2013-02-01 19:44:10] 819*2^1240364-1 is not prime. Res64: 6B5BF4200700817F Time : 0.0 sec. user=mdettweiler [2013-02-01 19:44:10] 857*2^1240364-1 is not prime. Res64: 5DE53F1ABB78153F Time : 0.0 sec. user=mdettweiler [2013-02-01 19:44:11] 893*2^1240364-1 is not prime. Res64: 22C8700DB1EE305B Time : 0.0 sec. user=mdettweiler [2013-02-01 19:44:11] 909*2^1240364-1 is not prime. Res64: F5639D0CE7E2F642 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:02:12] 609*2^1240365-1 is not prime. Res64: 2BB94C683DDC6E07 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:02:13] 603*2^1240366-1 is not prime. Res64: B1B520907D543B1C Time : 0.0 sec. user=mdettweiler [2013-02-01 20:02:14] 649*2^1240365-1 is not prime. Res64: CFF87B3E64C2A269 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:02:14] 773*2^1240366-1 is not prime. Res64: 432B720DE0B9E352 Time : 0.0 sec. user=vaughan [2013-02-01 20:09:02] 607*2^1240365-1 is not prime. Res64: A79DE003541158EC Time : 0.0 sec. user=mdettweiler [2013-02-01 20:19:57] 821*2^1240366-1 is not prime. Res64: 09F7035A269E71D1 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:19:58] 891*2^1240366-1 is not prime. Res64: DCC801DB2F95D40E Time : 0.0 sec. user=mdettweiler [2013-02-01 20:19:59] 633*2^1240367-1 is not prime. Res64: 6F3CB6BC8B354D44 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:20:00] 663*2^1240367-1 is not prime. Res64: AFE0B09285C03277 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:37:29] 735*2^1240367-1 is not prime. Res64: A0ADE45A978F3EB5 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:37:30] 859*2^1240367-1 is not prime. Res64: 45CFC172A4232730 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:37:30] 883*2^1240367-1 is not prime. Res64: E3D83D8DBE631805 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:37:30] 705*2^1240368-1 is not prime. Res64: 5F7642769491055C Time : 0.0 sec. user=vaughan [2013-02-01 20:47:08] 711*2^1240367-1 is not prime. Res64: 06B5B0B656352F82 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:55:00] 707*2^1240368-1 is not prime. Res64: 1F14AE6C50673E37 Time : 0.0 sec. user=mdettweiler [2013-02-01 20:55:00] 737*2^1240368-1 is not prime. Res64: 5C980AE8038FD8DF Time : 0.0 sec. user=mdettweiler [2013-02-01 20:55:01] 753*2^1240368-1 is not prime. Res64: 3EF3202052A855FC Time : 0.0 sec. user=mdettweiler [2013-02-01 20:55:01] 765*2^1240368-1 is not prime. Res64: 59BB4B16856708EB Time : 0.0 sec. user=mdettweiler [2013-02-01 21:12:24] 819*2^1240368-1 is not prime. Res64: 64B528762E495E02 Time : 0.0 sec. user=mdettweiler [2013-02-01 21:12:26] 929*2^1240368-1 is not prime. Res64: 9A310F4BA9B40152 Time : 0.0 sec. user=mdettweiler [2013-02-01 21:12:26] 959*2^1240368-1 is not prime. Res64: 924F8AA37F02DFF9 Time : 0.0 sec. user=mdettweiler [2013-02-01 21:12:27] 975*2^1240368-1 is not prime. Res64: E036D449F173290D Time : 0.0 sec. user=vaughan [2013-02-01 21:25:11] 789*2^1240368-1 is not prime. Res64: 1ED52FF3EB98523D Time : 0.0 sec. user=mdettweiler [2013-02-01 21:29:59] 637*2^1240369-1 is not prime. Res64: EB3808AB20A8B79F Time : 0.0 sec. user=mdettweiler [2013-02-01 21:30:00] 667*2^1240369-1 is not prime. Res64: 62EEC6B407519A4E Time : 0.0 sec. user=mdettweiler [2013-02-01 21:30:01] 705*2^1240369-1 is not prime. Res64: BE9DBFC247F8A752 Time : 0.0 sec. user=mdettweiler [2013-02-01 21:30:03] 745*2^1240369-1 is not prime. Res64: BD1FD7922A4996B0 Time : 0.0 sec. user=mdettweiler [2013-02-01 21:47:25] 801*2^1240369-1 is not prime. Res64: A9259CCB1B8E8F73 Time : 0.0 sec. user=mdettweiler [2013-02-01 21:47:25] 841*2^1240369-1 is not prime. Res64: 5D2E992E1CFA7CFE Time : 0.0 sec. user=mdettweiler [2013-02-01 21:47:31] 979*2^1240369-1 is not prime. Res64: 478E4639DC766B2A Time : 0.0 sec. user=mdettweiler [2013-02-01 21:47:31] 767*2^1240370-1 is not prime. Res64: 0E6E34940B3B1DF7 Time : 0.0 sec. user=vaughan [2013-02-01 22:03:13] 789*2^1240369-1 is not prime. Res64: 9660DB1CBC8D4441 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:04:49] 875*2^1240370-1 is not prime. Res64: 3B033AF5C31B3687 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:04:51] 887*2^1240370-1 is not prime. Res64: C3CEBAC7A2FC1D81 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:04:55] 911*2^1240370-1 is not prime. Res64: DFA514A81F67DDDA Time : 0.0 sec. user=mdettweiler [2013-02-01 22:04:56] 917*2^1240370-1 is not prime. Res64: 4D4F8DE5BF5C82BA Time : 0.0 sec. user=mdettweiler [2013-02-01 22:22:16] 601*2^1240371-1 is not prime. Res64: A0A6BCEC88CE48E6 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:22:16] 735*2^1240371-1 is not prime. Res64: D6D65BEE8697DB8C Time : 0.0 sec. user=mdettweiler [2013-02-01 22:22:21] 751*2^1240371-1 is not prime. Res64: A51BDCF4A11C72A6 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:22:22] 955*2^1240371-1 is not prime. Res64: A99E2BBE12070F93 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:39:41] 969*2^1240371-1 is not prime. Res64: F0B69E46AD7D9EE9 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:39:41] 975*2^1240371-1 is not prime. Res64: 765E40A52B308123 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:39:45] 615*2^1240372-1 is not prime. Res64: CDA7FE62C665D20D Time : 0.0 sec. user=mdettweiler [2013-02-01 22:39:45] 635*2^1240372-1 is not prime. Res64: 967D4F147AC08960 Time : 0.0 sec. user=vaughan [2013-02-01 22:41:20] 923*2^1240370-1 is not prime. Res64: 7F1543899557A4A0 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:57:05] 653*2^1240372-1 is not prime. Res64: 88152759A78E9511 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:57:06] 657*2^1240372-1 is not prime. Res64: 524FDA7FCD61585E Time : 0.0 sec. user=mdettweiler [2013-02-01 22:57:10] 699*2^1240372-1 is not prime. Res64: 5C02879AC60B8456 Time : 0.0 sec. user=mdettweiler [2013-02-01 22:57:11] 719*2^1240372-1 is not prime. Res64: AEC951E69C0F3C5E Time : 0.0 sec. user=mdettweiler [2013-02-01 23:14:30] 803*2^1240372-1 is not prime. Res64: 392A0319970CEDD7 Time : 0.0 sec. user=mdettweiler [2013-02-01 23:14:31] 869*2^1240372-1 is not prime. Res64: E3F596F75E8B05DF Time : 0.0 sec. user=mdettweiler [2013-02-01 23:14:35] 875*2^1240372-1 is not prime. Res64: 42C7838D971AAA34 Time : 0.0 sec. user=mdettweiler [2013-02-01 23:14:36] 915*2^1240372-1 is not prime. Res64: CDD42B3A722D9EF5 Time : 0.0 sec. user=vaughan [2013-02-01 23:19:23] 759*2^1240372-1 is not prime. Res64: 4E347FB740FE3FBB Time : 0.0 sec. user=mdettweiler [2013-02-01 23:32:00] 975*2^1240372-1 is not prime. Res64: E8BCD226223B22E9 Time : 0.0 sec. user=mdettweiler [2013-02-01 23:32:01] 721*2^1240373-1 is not prime. Res64: 5A9E47CC25F406B2 Time : 0.0 sec. user=mdettweiler [2013-02-01 23:32:02] 795*2^1240373-1 is not prime. Res64: 5EAE7C36F74083C0 Time : 0.0 sec. user=mdettweiler [2013-02-01 23:32:02] 867*2^1240373-1 is not prime. Res64: 04DA2E12D9DFD2B6 Time : 0.0 sec. user=mdettweiler [2013-02-01 23:49:25] 927*2^1240373-1 is not prime. Res64: 5128CC1A8CB53D86 Time : 0.0 sec. user=mdettweiler [2013-02-01 23:49:25] 955*2^1240373-1 is not prime. Res64: 3AEACB36462DBCAA Time : 0.0 sec. user=mdettweiler [2013-02-01 23:49:26] 991*2^1240373-1 is not prime. Res64: 54CCC6DEDBCD658A Time : 0.0 sec. user=mdettweiler [2013-02-01 23:49:26] 663*2^1240374-1 is not prime. Res64: 1FC4261614081DC7 Time : 0.0 sec. user=vaughan [2013-02-01 23:57:24] 915*2^1240373-1 is not prime. Res64: 7FB024BF1F52B0FC Time : 0.0 sec.