user=mdettweiler [2013-01-14 00:05:20] 705*2^1239225-1 is not prime. Res64: FD033A7450292B4B Time : 0.0 sec. user=mdettweiler [2013-01-14 00:05:21] 819*2^1239225-1 is not prime. Res64: 4A4908AF852DA90A Time : 0.0 sec. user=mdettweiler [2013-01-14 00:05:22] 847*2^1239225-1 is not prime. Res64: F093D534844FF579 Time : 0.0 sec. user=mdettweiler [2013-01-14 00:05:23] 969*2^1239225-1 is not prime. Res64: 8FAC81A82E5B902E Time : 0.0 sec. user=mdettweiler [2013-01-14 00:22:49] 645*2^1239226-1 is not prime. Res64: C7ABD4E76E7B55B7 Time : 0.0 sec. user=mdettweiler [2013-01-14 00:22:49] 765*2^1239226-1 is not prime. Res64: 05BDEBE63290DE6F Time : 0.0 sec. user=mdettweiler [2013-01-14 00:22:50] 815*2^1239226-1 is not prime. Res64: B56571567287600E Time : 0.0 sec. user=mdettweiler [2013-01-14 00:22:51] 825*2^1239226-1 is not prime. Res64: 4D244AF6AACA24DF Time : 0.0 sec. user=mdettweiler [2013-01-14 00:40:13] 857*2^1239226-1 is not prime. Res64: 077E45F1CBB43DBD Time : 0.0 sec. user=mdettweiler [2013-01-14 00:40:14] 873*2^1239226-1 is not prime. Res64: 4C2E87053AD2AA2B Time : 0.0 sec. user=mdettweiler [2013-01-14 00:40:15] 917*2^1239226-1 is not prime. Res64: 69E6988A9E388A61 Time : 0.0 sec. user=mdettweiler [2013-01-14 00:40:15] 675*2^1239227-1 is not prime. Res64: 00C08A0C1A11E12C Time : 0.0 sec. user=mdettweiler [2013-01-14 00:57:34] 843*2^1239227-1 is not prime. Res64: 27A0030B10ED81A0 Time : 0.0 sec. user=mdettweiler [2013-01-14 00:57:34] 871*2^1239227-1 is not prime. Res64: 24068D62A07FFF0B Time : 0.0 sec. user=mdettweiler [2013-01-14 00:57:35] 639*2^1239228-1 is not prime. Res64: 857ADEE0F37B757B Time : 0.0 sec. user=mdettweiler [2013-01-14 00:57:35] 735*2^1239228-1 is not prime. Res64: D097B545E3DFF708 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:14:55] 839*2^1239228-1 is not prime. Res64: 9C9D4BFEBFC6DD47 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:14:55] 867*2^1239228-1 is not prime. Res64: 58781772E983A0B5 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:14:55] 893*2^1239228-1 is not prime. Res64: A64248C362C610CF Time : 0.0 sec. user=mdettweiler [2013-01-14 01:14:56] 987*2^1239228-1 is not prime. Res64: EFDA0C1D3D8E386B Time : 0.0 sec. user=mdettweiler [2013-01-14 01:32:20] 661*2^1239229-1 is not prime. Res64: ED4AFBC1304AA838 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:32:21] 699*2^1239229-1 is not prime. Res64: 19A656011FE7BEA1 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:32:21] 609*2^1239229-1 is not prime. Res64: 116D6DF9E0D9EAB4 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:32:22] 615*2^1239229-1 is not prime. Res64: 25A0A52B6E0879F2 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:49:44] 741*2^1239229-1 is not prime. Res64: 249C233FF4177171 Time : 0.0 sec. user=mdettweiler [2013-01-14 01:49:44] 945*2^1239229-1 is not prime. Res64: 58F9B953234D2E1D Time : 0.0 sec. user=mdettweiler [2013-01-14 01:49:46] 755*2^1239230-1 is not prime. Res64: 05F7DDF8F8C99C7E Time : 0.0 sec. user=mdettweiler [2013-01-14 01:49:46] 767*2^1239230-1 is not prime. Res64: 3AADFD028A7D505D Time : 0.0 sec. user=juhehe [2013-01-14 01:52:04] 693*2^1239212-1 is not prime. Res64: 09E9DB2BE9430023 Time : 0.0 sec. user=mdettweiler [2013-01-14 02:07:07] 769*2^1239231-1 is not prime. Res64: 01B2DDAC9D4F0211 Time : 0.0 sec. user=mdettweiler [2013-01-14 02:07:08] 805*2^1239231-1 is not prime. Res64: 5EFEEC753AB6833D Time : 0.0 sec. user=mdettweiler [2013-01-14 02:07:08] 679*2^1239231-1 is not prime. Res64: EC07634CD8AC489C Time : 0.0 sec. user=mdettweiler [2013-01-14 02:07:09] 709*2^1239231-1 is not prime. Res64: 4809EC9C34E5DDED Time : 0.0 sec. user=mdettweiler [2013-01-14 02:24:32] 861*2^1239231-1 is not prime. Res64: 00FD7BC6B6A0071B Time : 0.0 sec. user=mdettweiler [2013-01-14 02:24:32] 991*2^1239231-1 is not prime. Res64: 6A3518F6EA0D6386 Time : 0.0 sec. user=mdettweiler [2013-01-14 02:24:33] 645*2^1239232-1 is not prime. Res64: 987CA9119DF0A61C Time : 0.0 sec. user=mdettweiler [2013-01-14 02:24:33] 653*2^1239232-1 is not prime. Res64: 44254B4EF80A8B44 Time : 0.0 sec. user=juhehe [2013-01-14 02:25:49] 823*2^1239231-1 is not prime. Res64: EA24545A011E7C4D Time : 0.0 sec. user=mdettweiler [2013-01-14 02:41:54] 665*2^1239232-1 is not prime. Res64: 401746E9852E07CC Time : 0.0 sec. user=mdettweiler [2013-01-14 02:41:57] 695*2^1239232-1 is not prime. Res64: 9C47BDB4DAE3AB84 Time : 0.0 sec. user=mdettweiler [2013-01-14 02:41:57] 677*2^1239232-1 is not prime. Res64: D3A584CE10908FFD Time : 0.0 sec. user=mdettweiler [2013-01-14 02:41:58] 797*2^1239232-1 is not prime. Res64: 2FD1596C1215CACE Time : 0.0 sec. user=mdettweiler [2013-01-14 02:59:28] 813*2^1239232-1 is not prime. Res64: C2E90F89A0915DC3 Time : 0.0 sec. user=mdettweiler [2013-01-14 02:59:28] 857*2^1239232-1 is not prime. Res64: F81D40F77334E9C8 Time : 0.0 sec. user=mdettweiler [2013-01-14 02:59:29] 741*2^1239233-1 is not prime. Res64: DB6A7F3E2B361161 Time : 0.0 sec. user=mdettweiler [2013-01-14 02:59:29] 789*2^1239233-1 is not prime. Res64: E9D420C9139E58A6 Time : 0.0 sec. user=juhehe [2013-01-14 02:59:33] 803*2^1239232-1 is not prime. Res64: 4437F392C5F0DEA6 Time : 0.0 sec. user=mdettweiler [2013-01-14 03:16:49] 847*2^1239233-1 is not prime. Res64: BAB3C338427D73CC Time : 0.0 sec. user=mdettweiler [2013-01-14 03:16:50] 889*2^1239233-1 is not prime. Res64: 7D372F87F72E46DD Time : 0.0 sec. user=mdettweiler [2013-01-14 03:16:53] 967*2^1239233-1 is not prime. Res64: 84CC8E69F0B3A67B Time : 0.0 sec. user=mdettweiler [2013-01-14 03:16:53] 987*2^1239233-1 is not prime. Res64: BFA3F9F5E8A5A1AF Time : 0.0 sec. user=juhehe [2013-01-14 03:33:15] 635*2^1239234-1 is not prime. Res64: FB78748FAA27E6D6 Time : 0.0 sec. user=mdettweiler [2013-01-14 03:34:12] 681*2^1239234-1 is not prime. Res64: FC2C2FBEB534F39F Time : 0.0 sec. user=mdettweiler [2013-01-14 03:34:13] 765*2^1239234-1 is not prime. Res64: 3737AF7318D458C9 Time : 0.0 sec. user=mdettweiler [2013-01-14 03:34:14] 773*2^1239234-1 is not prime. Res64: D1DFDBF0AC5C2F1A Time : 0.0 sec. user=mdettweiler [2013-01-14 03:34:16] 791*2^1239234-1 is not prime. Res64: 2A81C65BEA4FBD3E Time : 0.0 sec. user=mdettweiler [2013-01-14 03:51:37] 837*2^1239234-1 is not prime. Res64: 55875309F0C054D4 Time : 0.0 sec. user=mdettweiler [2013-01-14 03:51:37] 875*2^1239234-1 is not prime. Res64: E06373F6DF99CCF9 Time : 0.0 sec. user=mdettweiler [2013-01-14 03:51:38] 679*2^1239235-1 is not prime. Res64: C76BBF5732768195 Time : 0.0 sec. user=mdettweiler [2013-01-14 03:51:39] 709*2^1239235-1 is not prime. Res64: E70E43F50C7CA761 Time : 0.0 sec. user=juhehe [2013-01-14 04:07:11] 807*2^1239234-1 is not prime. Res64: F18DE79B7B104FA1 Time : 0.0 sec. user=mdettweiler [2013-01-14 04:08:59] 741*2^1239235-1 is not prime. Res64: F93676C117E17B4A Time : 0.0 sec. user=mdettweiler [2013-01-14 04:09:00] 961*2^1239235-1 is not prime. Res64: DB56490B4106B55D Time : 0.0 sec. user=mdettweiler [2013-01-14 04:09:01] 751*2^1239235-1 is not prime. Res64: 6452E4CC85D33351 Time : 0.0 sec. user=mdettweiler [2013-01-14 04:09:02] 617*2^1239236-1 is not prime. Res64: 30E0DB4F3AEB37D0 Time : 0.0 sec. user=mdettweiler [2013-01-14 04:26:24] 683*2^1239236-1 is not prime. Res64: 9C799BB754E002EA Time : 0.0 sec. user=mdettweiler [2013-01-14 04:26:24] 651*2^1239237-1 is not prime. Res64: E42D6408329B2AFF Time : 0.0 sec. user=mdettweiler [2013-01-14 04:26:25] 649*2^1239237-1 is not prime. Res64: 2101DA84336F219C Time : 0.0 sec. user=mdettweiler [2013-01-14 04:26:25] 735*2^1239237-1 is not prime. Res64: B67AD636CD1FC012 Time : 0.0 sec. user=juhehe [2013-01-14 04:40:55] 647*2^1239236-1 is not prime. Res64: CCFAF5C9C81DC858 Time : 0.0 sec. user=mdettweiler [2013-01-14 04:43:45] 741*2^1239237-1 is not prime. Res64: 7C056E8282B6BC08 Time : 0.0 sec. user=mdettweiler [2013-01-14 04:43:46] 849*2^1239237-1 is not prime. Res64: 98EBB50D9914A8BA Time : 0.0 sec. user=mdettweiler [2013-01-14 04:43:47] 859*2^1239237-1 is not prime. Res64: 6AEEF3F6D4F7274A Time : 0.0 sec. user=mdettweiler [2013-01-14 04:43:48] 861*2^1239237-1 is not prime. Res64: 018C447091D7E5A6 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:01:06] 605*2^1239238-1 is not prime. Res64: F5936038C645F63F Time : 0.0 sec. user=mdettweiler [2013-01-14 05:01:08] 681*2^1239238-1 is not prime. Res64: 0B7797A2A19B2BC5 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:01:09] 755*2^1239238-1 is not prime. Res64: 0339179CC25082AF Time : 0.0 sec. user=mdettweiler [2013-01-14 05:01:10] 601*2^1239239-1 is not prime. Res64: FD816D2AE6AA1DDD Time : 0.0 sec. user=mdettweiler [2013-01-14 05:18:39] 645*2^1239239-1 is not prime. Res64: E15B4AB707745E72 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:18:39] 889*2^1239239-1 is not prime. Res64: EB7BF99D57407647 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:18:41] 949*2^1239239-1 is not prime. Res64: 9FCF6B09E3DD0F15 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:18:42] 623*2^1239240-1 is not prime. Res64: 9EFD6AB4C35ED28D Time : 0.0 sec. user=mdettweiler [2013-01-14 05:35:59] 635*2^1239240-1 is not prime. Res64: 903E59525C09B5E0 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:36:00] 725*2^1239240-1 is not prime. Res64: 4D83FDFC79D61302 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:36:05] 759*2^1239240-1 is not prime. Res64: BC8EA49AC21068EF Time : 0.0 sec. user=mdettweiler [2013-01-14 05:36:05] 809*2^1239240-1 is not prime. Res64: 55056E227FA1CEF8 Time : 0.0 sec. user=juhehe [2013-01-14 05:42:14] 937*2^1239237-1 is not prime. Res64: 5B96CAA39B4D3CDD Time : 0.0 sec. user=mdettweiler [2013-01-14 05:53:23] 899*2^1239240-1 is not prime. Res64: 0EEF8FC313815F45 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:53:24] 905*2^1239240-1 is not prime. Res64: BFA12D5602EFA880 Time : 0.0 sec. user=mdettweiler [2013-01-14 05:53:25] 945*2^1239240-1 is not prime. Res64: F2B850D18792226A Time : 0.0 sec. user=mdettweiler [2013-01-14 05:53:25] 983*2^1239240-1 is not prime. Res64: 7A7A10723B694608 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:10:45] 679*2^1239241-1 is not prime. Res64: 0F1565FA4E9617F0 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:10:50] 687*2^1239241-1 is not prime. Res64: F29AECA587389D96 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:10:54] 705*2^1239241-1 is not prime. Res64: 7CF34047EF855453 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:10:56] 717*2^1239241-1 is not prime. Res64: FC7144FE53C5BA5D Time : 0.0 sec. user=juhehe [2013-01-14 06:15:55] 607*2^1239241-1 is not prime. Res64: 733BCA6B8C2D2261 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:28:37] 951*2^1239241-1 is not prime. Res64: FF15D9855DD0CB20 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:28:38] 941*2^1239242-1 is not prime. Res64: 68FE9573089F3E49 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:28:42] 703*2^1239243-1 is not prime. Res64: 5AEF596AEA538481 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:28:43] 721*2^1239243-1 is not prime. Res64: C6074B28C3D2428E Time : 0.0 sec. user=mdettweiler [2013-01-14 06:45:58] 819*2^1239243-1 is not prime. Res64: 59BFC2A764F40233 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:45:59] 857*2^1239244-1 is not prime. Res64: 77B6E658097A1881 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:46:06] 875*2^1239244-1 is not prime. Res64: 2B88E156643C9252 Time : 0.0 sec. user=mdettweiler [2013-01-14 06:46:06] 657*2^1239245-1 is not prime. Res64: 6F1C912D8982AC26 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:03:18] 741*2^1239245-1 is not prime. Res64: 7F568340099822AC Time : 0.0 sec. user=mdettweiler [2013-01-14 07:03:19] 757*2^1239245-1 is not prime. Res64: A83BD5037B5B7B64 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:03:25] 837*2^1239245-1 is not prime. Res64: 01AD7CF3F635A13F Time : 0.0 sec. user=mdettweiler [2013-01-14 07:03:26] 847*2^1239245-1 is not prime. Res64: A2E60C34C7B2AF57 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:20:42] 915*2^1239245-1 is not prime. Res64: 75A9E715886CB617 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:20:43] 925*2^1239245-1 is not prime. Res64: 4D0486E6F84E442E Time : 0.0 sec. user=mdettweiler [2013-01-14 07:20:47] 755*2^1239246-1 is not prime. Res64: 74DA17AC9FFF442A Time : 0.0 sec. user=mdettweiler [2013-01-14 07:20:48] 873*2^1239246-1 is not prime. Res64: 8E1280BE2D4ED341 Time : 0.0 sec. user=juhehe [2013-01-14 07:21:40] 897*2^1239245-1 is not prime. Res64: F2A73515D9A40B49 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:38:07] 603*2^1239247-1 is not prime. Res64: 17DB1571967C0726 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:38:08] 645*2^1239247-1 is not prime. Res64: 6ED50090DED656C9 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:38:09] 921*2^1239246-1 is not prime. Res64: BA9D76D26D46CAF0 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:38:09] 1001*2^1239246-1 is not prime. Res64: E2627188DE0BBEE5 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:55:28] 705*2^1239247-1 is not prime. Res64: 94D588DB4802747F Time : 0.0 sec. user=mdettweiler [2013-01-14 07:55:28] 759*2^1239247-1 is not prime. Res64: BDA0903E3997AF55 Time : 0.0 sec. user=mdettweiler [2013-01-14 07:55:29] 933*2^1239247-1 is not prime. Res64: D7C88D52A688EA5D Time : 0.0 sec. user=mdettweiler [2013-01-14 07:55:29] 939*2^1239247-1 is not prime. Res64: 016468936A625520 Time : 0.0 sec. user=mdettweiler [2013-01-14 08:12:49] 985*2^1239247-1 is not prime. Res64: 086F83A7FDB12DD6 Time : 0.0 sec. user=mdettweiler [2013-01-14 08:12:50] 633*2^1239248-1 is not prime. Res64: A2CDF28D87C6A508 Time : 0.0 sec. user=mdettweiler [2013-01-14 08:12:53] 875*2^1239248-1 is not prime. Res64: 0ED1ED842BFE377B Time : 0.0 sec. user=mdettweiler [2013-01-14 08:12:54] 609*2^1239249-1 is not prime. Res64: 99111A1550842CCA Time : 0.0 sec. user=mdettweiler [2013-01-14 08:30:10] 625*2^1239249-1 is not prime. Res64: B78B72EC4110A879 Time : 0.0 sec. user=mdettweiler [2013-01-14 08:30:14] 681*2^1239249-1 is not prime. Res64: A793E2877BE2925E Time : 0.0 sec. user=mdettweiler [2013-01-14 08:30:16] 711*2^1239249-1 is not prime. Res64: 60514A57886A7ABE Time : 0.0 sec. user=mdettweiler [2013-01-14 08:30:19] 919*2^1239249-1 is not prime. Res64: ECCA983430415BF9 Time : 0.0 sec. user=mdettweiler [2013-01-14 08:47:46] 969*2^1239249-1 is not prime. Res64: 8F0792F950C3794D Time : 0.0 sec. user=mdettweiler [2013-01-14 08:47:46] 623*2^1239250-1 is not prime. Res64: DF22B435E0A516E0 Time : 0.0 sec. user=mdettweiler [2013-01-14 08:47:47] 951*2^1239249-1 is not prime. Res64: 4EED4445CFDCFC82 Time : 0.0 sec. user=mdettweiler [2013-01-14 08:47:47] 677*2^1239250-1 is not prime. Res64: 168BA71657AC7AF5 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:05:08] 951*2^1239250-1 is not prime. Res64: 37647B636D64AB1B Time : 0.0 sec. user=mdettweiler [2013-01-14 09:05:08] 723*2^1239250-1 is not prime. Res64: 7ACC0B50D5824984 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:05:09] 603*2^1239251-1 is not prime. Res64: DA8FF5BCAE19F6C5 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:05:09] 743*2^1239250-1 is not prime. Res64: 99656A763745FF17 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:22:35] 621*2^1239251-1 is not prime. Res64: 0026F87E3083BB0A Time : 0.0 sec. user=mdettweiler [2013-01-14 09:22:35] 643*2^1239251-1 is not prime. Res64: BC56F363174AF960 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:22:37] 711*2^1239251-1 is not prime. Res64: 74A10A432C79F500 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:22:38] 783*2^1239251-1 is not prime. Res64: 32A4D2111222B70C Time : 0.0 sec. user=mdettweiler [2013-01-14 09:39:56] 913*2^1239251-1 is not prime. Res64: E79E4B3E2AC09CBC Time : 0.0 sec. user=mdettweiler [2013-01-14 09:39:57] 955*2^1239251-1 is not prime. Res64: 21E164317CE50862 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:40:01] 969*2^1239251-1 is not prime. Res64: C544EB595C3ADC6B Time : 0.0 sec. user=mdettweiler [2013-01-14 09:40:02] 629*2^1239252-1 is not prime. Res64: 2F18B1190816482C Time : 0.0 sec. user=mdettweiler [2013-01-14 09:57:17] 777*2^1239252-1 is not prime. Res64: CD4D4F583055E1E7 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:57:17] 893*2^1239252-1 is not prime. Res64: FD7EFA864C704D99 Time : 0.0 sec. user=mdettweiler [2013-01-14 09:57:22] 899*2^1239252-1 is not prime. Res64: F123E11AA58EF5BF Time : 0.0 sec. user=mdettweiler [2013-01-14 09:57:22] 909*2^1239252-1 is not prime. Res64: 9A1D35994FDA6D60 Time : 0.0 sec. user=mdettweiler [2013-01-14 10:14:37] 625*2^1239253-1 is not prime. Res64: E076D3F42982CE62 Time : 0.0 sec. user=mdettweiler [2013-01-14 10:14:38] 747*2^1239253-1 is not prime. Res64: 36C256A0C855984E Time : 0.0 sec. user=mdettweiler [2013-01-14 10:14:42] 757*2^1239253-1 is not prime. Res64: D8097E0F5A0F760F Time : 0.0 sec. user=mdettweiler [2013-01-14 10:14:43] 897*2^1239253-1 is not prime. Res64: 1B13038FB860ADFD Time : 0.0 sec. user=mdettweiler [2013-01-14 10:31:59] 651*2^1239254-1 is not prime. Res64: 9E83A70178327123 Time : 0.0 sec. user=mdettweiler [2013-01-14 10:31:59] 665*2^1239254-1 is not prime. Res64: 578C1E3E4710E39C Time : 0.0 sec. user=mdettweiler [2013-01-14 10:32:06] 705*2^1239254-1 is not prime. Res64: 6FD21BC4DF9F1F35 Time : 0.0 sec. user=mdettweiler [2013-01-14 10:32:06] 753*2^1239254-1 is not prime. Res64: 8BE1ABF15DE431CE Time : 0.0 sec. user=mdettweiler [2013-01-14 10:49:20] 755*2^1239254-1 is not prime. Res64: 41B07C604FE8DF36 Time : 0.0 sec. user=mdettweiler [2013-01-14 10:49:20] 797*2^1239254-1 is not prime. Res64: 005CA3DBD88B5E00 Time : 0.0 sec. user=mdettweiler [2013-01-14 10:49:26] 825*2^1239254-1 is not prime. Res64: 4CEF888EF5F48E40 Time : 0.0 sec. user=mdettweiler [2013-01-14 10:49:26] 851*2^1239254-1 is not prime. Res64: 7B94D392E6E9DCF6 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:06:54] 917*2^1239254-1 is not prime. Res64: E960B785CF22151D Time : 0.0 sec. user=mdettweiler [2013-01-14 11:06:56] 965*2^1239254-1 is not prime. Res64: AE1D10C3BB93E653 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:07:00] 601*2^1239255-1 is not prime. Res64: 35D92C6C046D9FF4 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:07:02] 619*2^1239255-1 is not prime. Res64: 9540EEDA7FE5A1D8 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:24:46] 739*2^1239255-1 is not prime. Res64: 41963815C3FD11E8 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:24:46] 819*2^1239255-1 is not prime. Res64: 9FCCA7E123734DEE Time : 0.0 sec. user=mdettweiler [2013-01-14 11:24:48] 871*2^1239255-1 is not prime. Res64: 83B0A8C9C1BE8E09 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:24:49] 895*2^1239255-1 is not prime. Res64: 72EF88B5DEA49E04 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:42:31] 985*2^1239255-1 is not prime. Res64: 87428AAD3C8B4FB9 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:42:32] 615*2^1239256-1 is not prime. Res64: 47FB1B7B3F5137AF Time : 0.0 sec. user=mdettweiler [2013-01-14 11:42:32] 603*2^1239256-1 is not prime. Res64: BA73265DA4940150 Time : 0.0 sec. user=mdettweiler [2013-01-14 11:42:32] 843*2^1239256-1 is not prime. Res64: B449E38860DB42B2 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:00:19] 933*2^1239256-1 is not prime. Res64: 6427D1A2BEE700C7 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:00:20] 939*2^1239256-1 is not prime. Res64: 12BB2AA6C9DEE09E Time : 0.0 sec. user=mdettweiler [2013-01-14 12:00:21] 989*2^1239256-1 is not prime. Res64: CD4FF1416D46C30B Time : 0.0 sec. user=mdettweiler [2013-01-14 12:00:21] 601*2^1239257-1 is not prime. Res64: 27FE12C5D49F1EFC Time : 0.0 sec. user=mdettweiler [2013-01-14 12:18:17] 697*2^1239257-1 is not prime. Res64: 49620EE334F3C882 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:18:18] 795*2^1239257-1 is not prime. Res64: 184277031876F514 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:18:18] 981*2^1239257-1 is not prime. Res64: D3D9D16A6FC31FD9 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:18:19] 887*2^1239258-1 is not prime. Res64: F99BF5218BDB8BB3 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:36:05] 703*2^1239259-1 is not prime. Res64: 0FD22D0F23A0B4A6 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:36:06] 733*2^1239259-1 is not prime. Res64: ADCC56BC2A35CDB3 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:36:08] 813*2^1239259-1 is not prime. Res64: 3BDF407175B6128A Time : 0.0 sec. user=mdettweiler [2013-01-14 12:36:09] 913*2^1239259-1 is not prime. Res64: D75E6D08EC12F810 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:53:54] 951*2^1239259-1 is not prime. Res64: C88D32F818B23667 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:53:55] 635*2^1239260-1 is not prime. Res64: 52BE71A1B2888801 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:53:57] 665*2^1239260-1 is not prime. Res64: 7CE395761F527860 Time : 0.0 sec. user=mdettweiler [2013-01-14 12:53:57] 767*2^1239260-1 is not prime. Res64: 2FF7214E3FA45AA1 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:11:49] 923*2^1239260-1 is not prime. Res64: B468B8BBF2668E61 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:11:51] 621*2^1239261-1 is not prime. Res64: C2C7BE8871D3EFDE Time : 0.0 sec. user=mdettweiler [2013-01-14 13:11:54] 797*2^1239260-1 is not prime. Res64: BEAD665252475323 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:11:54] 813*2^1239260-1 is not prime. Res64: 2D3AA28DE7C2A748 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:29:41] 627*2^1239261-1 is not prime. Res64: 7DCC25EB37C1A280 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:29:42] 685*2^1239261-1 is not prime. Res64: 26FD769090F4C162 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:29:43] 745*2^1239261-1 is not prime. Res64: 8BFC271628D95415 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:29:43] 795*2^1239261-1 is not prime. Res64: 1245C0BFD249D3DD Time : 0.0 sec. user=mdettweiler [2013-01-14 13:47:28] 871*2^1239261-1 is not prime. Res64: EEC69C897C156032 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:47:29] 885*2^1239261-1 is not prime. Res64: BE1E860E9D94E1E4 Time : 0.0 sec. user=mdettweiler [2013-01-14 13:47:30] 951*2^1239261-1 is not prime. Res64: C325E1637485263C Time : 0.0 sec. user=mdettweiler [2013-01-14 13:47:30] 987*2^1239261-1 is not prime. Res64: A72BE3D34C4AE37F Time : 0.0 sec. user=mdettweiler [2013-01-14 14:05:22] 657*2^1239262-1 is not prime. Res64: D95391DA9516D559 Time : 0.0 sec. user=mdettweiler [2013-01-14 14:05:22] 723*2^1239262-1 is not prime. Res64: 398586F2CF8D5EEA Time : 0.0 sec. user=mdettweiler [2013-01-14 14:05:29] 731*2^1239262-1 is not prime. Res64: 17599008974B6594 Time : 0.0 sec. user=mdettweiler [2013-01-14 14:05:37] 671*2^1239262-1 is not prime. Res64: FF77D5074B0CC37D Time : 0.0 sec. user=mdettweiler [2013-01-14 14:24:10] 987*2^1239262-1 is not prime. Res64: 7926A4190BB24617 Time : 0.0 sec. user=mdettweiler [2013-01-14 14:24:11] 759*2^1239263-1 is not prime. Res64: 60846CBB47E47562 Time : 0.0 sec. user=mdettweiler [2013-01-14 14:42:11] 859*2^1239263-1 is not prime. Res64: EC4F26B0D356823B Time : 0.0 sec. user=mdettweiler [2013-01-14 14:42:11] 683*2^1239264-1 is not prime. Res64: 0D1088B7174EDBCA Time : 0.0 sec. user=mdettweiler [2013-01-14 14:50:41] 759*2^1239264-1 is not prime. Res64: 19BC24D4B30C65F8 Time : 0.0 sec. user=mdettweiler [2013-01-14 14:50:41] 899*2^1239264-1 is not prime. Res64: F5BD9C5AF4C56E40 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:00:03] 903*2^1239264-1 is not prime. Res64: 2780192CE1B2BB8B Time : 0.0 sec. user=mdettweiler [2013-01-14 15:00:04] 927*2^1239264-1 is not prime. Res64: BC5CC712BA19D894 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:08:33] 947*2^1239264-1 is not prime. Res64: 8075A2943E15F8F4 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:08:34] 801*2^1239265-1 is not prime. Res64: 58B010F6503B5425 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:17:56] 871*2^1239265-1 is not prime. Res64: 24C19464A9612C2C Time : 0.0 sec. user=mdettweiler [2013-01-14 15:17:56] 919*2^1239265-1 is not prime. Res64: A97B92E211334A76 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:26:29] 641*2^1239266-1 is not prime. Res64: 3D58B7BBE38B9A35 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:26:30] 671*2^1239266-1 is not prime. Res64: 0F17368DC66D9A40 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:35:51] 815*2^1239266-1 is not prime. Res64: 55C118F7D4971137 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:35:51] 685*2^1239267-1 is not prime. Res64: 3BD11CD76A59FB32 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:44:24] 735*2^1239267-1 is not prime. Res64: 4058FFAD123C43BC Time : 0.0 sec. user=mdettweiler [2013-01-14 15:44:24] 805*2^1239267-1 is not prime. Res64: 1C7882C800C42921 Time : 0.0 sec. user=mdettweiler [2013-01-14 15:53:43] 909*2^1239267-1 is not prime. Res64: D02C05AC614E1D9F Time : 0.0 sec. user=mdettweiler [2013-01-14 15:53:43] 919*2^1239267-1 is not prime. Res64: DBBB8C86DC655F49 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:02:17] 647*2^1239268-1 is not prime. Res64: E71F0DDFF3830234 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:02:18] 827*2^1239268-1 is not prime. Res64: 9D7AC86BF4918337 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:11:42] 909*2^1239268-1 is not prime. Res64: 963457D7847F415A Time : 0.0 sec. user=mdettweiler [2013-01-14 16:11:42] 929*2^1239268-1 is not prime. Res64: 7B9BD484EFF1E253 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:20:26] 933*2^1239268-1 is not prime. Res64: AEF1562C0DC537EE Time : 0.0 sec. user=mdettweiler [2013-01-14 16:20:26] 601*2^1239269-1 is not prime. Res64: 959CA136BDDAD535 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:29:46] 615*2^1239269-1 is not prime. Res64: 7DC7DFF3432E22FF Time : 0.0 sec. user=mdettweiler [2013-01-14 16:29:46] 619*2^1239269-1 is not prime. Res64: 0C6A2552661661C4 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:38:22] 657*2^1239269-1 is not prime. Res64: 3B88FE49CE4632B5 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:38:22] 795*2^1239269-1 is not prime. Res64: C65030F42D9D032A Time : 0.0 sec. user=mdettweiler [2013-01-14 16:47:40] 811*2^1239269-1 is not prime. Res64: 8932FEAD39FE4EAD Time : 0.0 sec. user=mdettweiler [2013-01-14 16:47:40] 867*2^1239269-1 is not prime. Res64: E53B4A29123F9505 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:56:24] 955*2^1239269-1 is not prime. Res64: F19419F488FF6BA8 Time : 0.0 sec. user=mdettweiler [2013-01-14 16:56:24] 957*2^1239269-1 is not prime. Res64: 3300235FF9029342 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:05:32] 611*2^1239270-1 is not prime. Res64: 3631B9BE6DB52E34 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:05:34] 615*2^1239270-1 is not prime. Res64: 339DF5F2D3100955 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:13:55] 725*2^1239270-1 is not prime. Res64: E0F320A61D7B0C32 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:13:56] 741*2^1239270-1 is not prime. Res64: 9805EC727861F570 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:23:11] 747*2^1239270-1 is not prime. Res64: D24C37612DC52D47 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:23:11] 765*2^1239270-1 is not prime. Res64: 0F947BD04090D635 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:31:26] 861*2^1239270-1 is not prime. Res64: 198A746238128E0E Time : 0.0 sec. user=mdettweiler [2013-01-14 17:31:28] 863*2^1239270-1 is not prime. Res64: C2B1609E31C2259E Time : 0.0 sec. user=mdettweiler [2013-01-14 17:40:39] 891*2^1239270-1 is not prime. Res64: 355015856E502C9C Time : 0.0 sec. user=mdettweiler [2013-01-14 17:40:40] 933*2^1239270-1 is not prime. Res64: CBB21AF3E8841633 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:48:55] 621*2^1239271-1 is not prime. Res64: B694C4970CF6E036 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:48:56] 685*2^1239271-1 is not prime. Res64: 3ACDC3782F215007 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:58:07] 723*2^1239271-1 is not prime. Res64: B97D7B9B444EE575 Time : 0.0 sec. user=mdettweiler [2013-01-14 17:58:08] 759*2^1239271-1 is not prime. Res64: 2C6ECB5409764F45 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:06:29] 913*2^1239271-1 is not prime. Res64: BECBDE7988F910EA Time : 0.0 sec. user=mdettweiler [2013-01-14 18:06:31] 969*2^1239271-1 is not prime. Res64: AC8C73DAFF7AB308 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:15:41] 669*2^1239272-1 is not prime. Res64: DC8B6D33A94B24A5 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:15:42] 717*2^1239272-1 is not prime. Res64: DAB75D5AE0C42966 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:24:03] 797*2^1239272-1 is not prime. Res64: 1BADFDA9EAB66D21 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:24:03] 833*2^1239272-1 is not prime. Res64: A7881EA801FEFA41 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:33:11] 855*2^1239272-1 is not prime. Res64: CAE10CB6EBE86B72 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:33:12] 945*2^1239272-1 is not prime. Res64: ECA37636F6DBF63A Time : 0.0 sec. user=mdettweiler [2013-01-14 18:41:31] 977*2^1239272-1 is not prime. Res64: A242F4690686C8A8 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:41:31] 639*2^1239273-1 is not prime. Res64: 4A090B5DB4BB9ACA Time : 0.0 sec. user=mdettweiler [2013-01-14 18:50:41] 691*2^1239273-1 is not prime. Res64: CEECF0329A14E826 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:50:42] 805*2^1239273-1 is not prime. Res64: C4DBD4A2A2D2FBC7 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:59:06] 819*2^1239273-1 is not prime. Res64: C4047EE9667580E6 Time : 0.0 sec. user=mdettweiler [2013-01-14 18:59:07] 829*2^1239273-1 is not prime. Res64: 8FC14D16AB76A346 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:08:17] 867*2^1239273-1 is not prime. Res64: C145A3B8174DF5F3 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:08:18] 985*2^1239273-1 is not prime. Res64: 53489561CCA152C3 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:16:41] 605*2^1239274-1 is not prime. Res64: EF6A3FF6C84A25B5 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:16:41] 611*2^1239274-1 is not prime. Res64: 76E6DF264C5FDB5E Time : 0.0 sec. user=mdettweiler [2013-01-14 19:26:04] 695*2^1239274-1 is not prime. Res64: 3C5DF7EAA8C5CF63 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:26:05] 815*2^1239274-1 is not prime. Res64: 6D55C467101C9949 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:34:38] 825*2^1239274-1 is not prime. Res64: C8F3702B550A6E70 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:34:39] 833*2^1239274-1 is not prime. Res64: 1EBF742D54BCD17A Time : 0.0 sec. user=mdettweiler [2013-01-14 19:44:06] 971*2^1239274-1 is not prime. Res64: E0D279581B4C8757 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:44:06] 975*2^1239274-1 is not prime. Res64: E97BC7DEB0DE3BA6 Time : 0.0 sec. user=mdettweiler [2013-01-14 19:52:24] 643*2^1239275-1 is not prime. Res64: DE66E56E448727BB Time : 0.0 sec. user=mdettweiler [2013-01-14 19:52:25] 655*2^1239275-1 is not prime. Res64: 662653E13BC13C26 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:01:39] 693*2^1239275-1 is not prime. Res64: BAFED853C7198ED4 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:01:40] 819*2^1239275-1 is not prime. Res64: 9489284606B5CFD3 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:10:00] 909*2^1239275-1 is not prime. Res64: D21CB36302A541DA Time : 0.0 sec. user=mdettweiler [2013-01-14 20:10:02] 981*2^1239275-1 is not prime. Res64: 168524BE058A77A7 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:19:26] 609*2^1239276-1 is not prime. Res64: 3AE0A6F2BC93894D Time : 0.0 sec. user=mdettweiler [2013-01-14 20:19:27] 693*2^1239276-1 is not prime. Res64: 159C50E1CC3B321A Time : 0.0 sec. user=mdettweiler [2013-01-14 20:27:49] 773*2^1239276-1 is not prime. Res64: 021996027221F103 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:27:49] 803*2^1239276-1 is not prime. Res64: 36C8CA69E37E98B2 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:37:04] 839*2^1239276-1 is not prime. Res64: 9E4A41BFFE28D344 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:37:05] 873*2^1239276-1 is not prime. Res64: FED86AABDE85E017 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:45:21] 625*2^1239277-1 is not prime. Res64: DA1A8EFE87D4F665 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:45:21] 639*2^1239277-1 is not prime. Res64: DD9E89594046B3DE Time : 0.0 sec. user=mdettweiler [2013-01-14 20:54:34] 687*2^1239277-1 is not prime. Res64: 65A79509AB0B2A55 Time : 0.0 sec. user=mdettweiler [2013-01-14 20:54:34] 999*2^1239277-1 is not prime. Res64: 59D0512952041A1F Time : 0.0 sec. user=mdettweiler [2013-01-14 21:02:53] 665*2^1239278-1 is not prime. Res64: C6A5985B6B53DC56 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:02:54] 707*2^1239278-1 is not prime. Res64: 638F81F7F284F2E2 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:12:10] 953*2^1239278-1 is not prime. Res64: F35B38594A150E7E Time : 0.0 sec. user=mdettweiler [2013-01-14 21:12:10] 971*2^1239278-1 is not prime. Res64: 708867CCC3EDE114 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:20:36] 987*2^1239278-1 is not prime. Res64: 1EC2D5D724DF741E Time : 0.0 sec. user=mdettweiler [2013-01-14 21:20:37] 1001*2^1239278-1 is not prime. Res64: D74A1EF629D67BD4 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:29:45] 615*2^1239279-1 is not prime. Res64: 1D44C8A6C1A05275 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:29:46] 625*2^1239279-1 is not prime. Res64: F83AE8D2F7EFCC79 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:38:14] 831*2^1239279-1 is not prime. Res64: 860C86EEA582AC14 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:38:15] 623*2^1239280-1 is not prime. Res64: DE2C6F5F173CCB2A Time : 0.0 sec. user=mdettweiler [2013-01-14 21:47:31] 665*2^1239280-1 is not prime. Res64: A12FFD0022D819D9 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:47:32] 735*2^1239280-1 is not prime. Res64: 6989B350DA537038 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:56:20] 803*2^1239280-1 is not prime. Res64: E9DDC7662E1B9456 Time : 0.0 sec. user=mdettweiler [2013-01-14 21:56:20] 827*2^1239280-1 is not prime. Res64: C3AFF43553F95DD3 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:05:41] 927*2^1239280-1 is not prime. Res64: 40D7FE02CFA029A2 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:05:43] 645*2^1239281-1 is not prime. Res64: 80AF1D5CFD3BD393 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:14:09] 651*2^1239281-1 is not prime. Res64: 48B69B03978F2736 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:14:10] 657*2^1239281-1 is not prime. Res64: 74919A8621371D61 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:23:18] 777*2^1239281-1 is not prime. Res64: BD5EB894665E51DB Time : 0.0 sec. user=mdettweiler [2013-01-14 22:23:19] 829*2^1239281-1 is not prime. Res64: 14B8D627E1598412 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:31:39] 865*2^1239281-1 is not prime. Res64: F1B152AD2659720A Time : 0.0 sec. user=mdettweiler [2013-01-14 22:31:39] 889*2^1239281-1 is not prime. Res64: F87B267050E10ECF Time : 0.0 sec. user=mdettweiler [2013-01-14 22:40:48] 957*2^1239281-1 is not prime. Res64: 86D044202A4F124B Time : 0.0 sec. user=mdettweiler [2013-01-14 22:40:48] 633*2^1239282-1 is not prime. Res64: 9BD8265CAC96509E Time : 0.0 sec. user=mdettweiler [2013-01-14 22:49:05] 635*2^1239282-1 is not prime. Res64: E87090F5E468B971 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:49:05] 651*2^1239282-1 is not prime. Res64: F73714A61FEFD33C Time : 0.0 sec. user=mdettweiler [2013-01-14 22:58:19] 801*2^1239282-1 is not prime. Res64: C06F84EA3ABB6913 Time : 0.0 sec. user=mdettweiler [2013-01-14 22:58:19] 821*2^1239282-1 is not prime. Res64: 34AEC233B20DC03C Time : 0.0 sec. user=mdettweiler [2013-01-14 23:06:32] 915*2^1239282-1 is not prime. Res64: 3251F37956FFDECE Time : 0.0 sec. user=mdettweiler [2013-01-14 23:06:33] 1001*2^1239282-1 is not prime. Res64: 7FE9E4AB2DC06FD6 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:15:45] 603*2^1239283-1 is not prime. Res64: 3461212701382453 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:15:46] 635*2^1239284-1 is not prime. Res64: E8921DCFACA0C84B Time : 0.0 sec. user=mdettweiler [2013-01-14 23:24:07] 683*2^1239284-1 is not prime. Res64: 34D519D083080018 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:24:07] 789*2^1239284-1 is not prime. Res64: B3B7359773B858B7 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:33:17] 869*2^1239284-1 is not prime. Res64: C915F9D92C5B2AF2 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:33:17] 987*2^1239284-1 is not prime. Res64: 89E4C1910DD80AC5 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:41:36] 625*2^1239285-1 is not prime. Res64: CC6414B6CCC61F11 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:41:37] 627*2^1239285-1 is not prime. Res64: 961E872638AD0AC6 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:50:45] 811*2^1239285-1 is not prime. Res64: BE817FF19BA74617 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:50:45] 819*2^1239285-1 is not prime. Res64: 27A0C3849B1D7985 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:59:06] 919*2^1239285-1 is not prime. Res64: FED8C55708FF5AB1 Time : 0.0 sec. user=mdettweiler [2013-01-14 23:59:07] 979*2^1239285-1 is not prime. Res64: B3BC0D830DCC10F3 Time : 0.0 sec.