user=mdettweiler [2015-03-02 00:10:49] 603*2^1392143-1 is not prime. Res64: 8BBCA6F36683F02C Time : 0.0 sec. user=mdettweiler [2015-03-02 00:10:49] 663*2^1392143-1 is not prime. Res64: 8E46413B32E5C511 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:10:50] 633*2^1392143-1 is not prime. Res64: 77CE4C6447FB9BC6 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:10:50] 679*2^1392143-1 is not prime. Res64: 942AF6934EBA42D6 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:24:19] 705*2^1392143-1 is not prime. Res64: D3D4214FD1695173 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:24:19] 721*2^1392143-1 is not prime. Res64: 906A49F2A637190F Time : 0.0 sec. user=mdettweiler [2015-03-02 00:25:27] 913*2^1392143-1 is not prime. Res64: 634E04DBB0C96DD8 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:25:28] 609*2^1392144-1 is not prime. Res64: 1039FE18AEE54B3D Time : 0.0 sec. user=mdettweiler [2015-03-02 00:37:37] 773*2^1392144-1 is not prime. Res64: 02E2A8AD36F44897 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:37:37] 619*2^1392145-1 is not prime. Res64: C8FF1556A4F2970B Time : 0.0 sec. user=mdettweiler [2015-03-02 00:37:43] 689*2^1392144-1 is not prime. Res64: ED8582A62D829E1B Time : 0.0 sec. user=mdettweiler [2015-03-02 00:37:43] 693*2^1392144-1 is not prime. Res64: 1BCD6C1B0CD25F84 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:50:48] 651*2^1392145-1 is not prime. Res64: E71769C47574063D Time : 0.0 sec. user=mdettweiler [2015-03-02 00:50:49] 771*2^1392145-1 is not prime. Res64: D052BCBBD8E641C4 Time : 0.0 sec. user=mdettweiler [2015-03-02 00:52:06] 919*2^1392145-1 is not prime. Res64: B6D20D442564139D Time : 0.0 sec. user=mdettweiler [2015-03-02 00:52:06] 997*2^1392145-1 is not prime. Res64: 3495D5026C393541 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:04:10] 755*2^1392146-1 is not prime. Res64: 2C65DB4043D4A0FC Time : 0.0 sec. user=mdettweiler [2015-03-02 01:04:12] 981*2^1392146-1 is not prime. Res64: C9101C1205E28C8B Time : 0.0 sec. user=mdettweiler [2015-03-02 01:04:21] 1001*2^1392146-1 is not prime. Res64: 85CED652088AF892 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:04:23] 639*2^1392147-1 is not prime. Res64: D1C3C16195C59B9B Time : 0.0 sec. user=mdettweiler [2015-03-02 01:17:25] 781*2^1392147-1 is not prime. Res64: D64369F8495D8E2E Time : 0.0 sec. user=mdettweiler [2015-03-02 01:17:25] 829*2^1392147-1 is not prime. Res64: D46F5576B5E8FC39 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:18:39] 849*2^1392147-1 is not prime. Res64: 0FF539C089927A82 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:18:40] 945*2^1392147-1 is not prime. Res64: 2DD94C02AAEB7822 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:31:20] 677*2^1392148-1 is not prime. Res64: 708D9BD30A0A6F7C Time : 0.0 sec. user=mdettweiler [2015-03-02 01:31:20] 955*2^1392147-1 is not prime. Res64: A328D6AEBCDC11DD Time : 0.0 sec. user=mdettweiler [2015-03-02 01:31:21] 657*2^1392148-1 is not prime. Res64: D54BC1A7751B6760 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:31:22] 743*2^1392148-1 is not prime. Res64: BDA0E92E015622E0 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:44:06] 749*2^1392148-1 is not prime. Res64: DB27082FBD4762B5 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:44:06] 777*2^1392148-1 is not prime. Res64: 6B3638E75E5D5CC1 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:45:21] 927*2^1392148-1 is not prime. Res64: 9E1BAD8293B60D2B Time : 0.0 sec. user=mdettweiler [2015-03-02 01:45:21] 619*2^1392149-1 is not prime. Res64: BFF98BF968AF695B Time : 0.0 sec. user=mdettweiler [2015-03-02 01:58:48] 655*2^1392149-1 is not prime. Res64: 3D18F7C89B145575 Time : 0.0 sec. user=mdettweiler [2015-03-02 01:58:48] 675*2^1392149-1 is not prime. Res64: E2540B02082AF7FB Time : 0.0 sec. user=mdettweiler [2015-03-02 01:59:05] 769*2^1392149-1 is not prime. Res64: 21AD633B1C9C0E1D Time : 0.0 sec. user=mdettweiler [2015-03-02 01:59:05] 771*2^1392149-1 is not prime. Res64: 0C6CE33EAA75512E Time : 0.0 sec. user=mdettweiler [2015-03-02 02:11:14] 775*2^1392149-1 is not prime. Res64: F7007CA9D4118CBE Time : 0.0 sec. user=mdettweiler [2015-03-02 02:11:14] 789*2^1392149-1 is not prime. Res64: 2B17254E9BE583E5 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:12:18] 795*2^1392149-1 is not prime. Res64: 838BEDDE3E7178CC Time : 0.0 sec. user=mdettweiler [2015-03-02 02:12:19] 811*2^1392149-1 is not prime. Res64: 0B29C7124C73CCD3 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:24:58] 985*2^1392149-1 is not prime. Res64: BFBADCEDA8DF5AC1 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:24:58] 695*2^1392150-1 is not prime. Res64: 972F2C6C48983F26 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:25:29] 923*2^1392150-1 is not prime. Res64: C29F2234221596F9 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:25:30] 859*2^1392151-1 is not prime. Res64: D7DAA60857FE3158 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:37:33] 861*2^1392151-1 is not prime. Res64: F13DEB1DF9A60E3C Time : 0.0 sec. user=mdettweiler [2015-03-02 02:37:34] 871*2^1392151-1 is not prime. Res64: EB98E7674EFDB66F Time : 0.0 sec. user=mdettweiler [2015-03-02 02:38:26] 891*2^1392151-1 is not prime. Res64: CAECAD67FCC5DB66 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:38:26] 951*2^1392151-1 is not prime. Res64: 6086B506FB43772E Time : 0.0 sec. user=mdettweiler [2015-03-02 02:51:08] 675*2^1392152-1 is not prime. Res64: 47C296F318D64807 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:51:08] 699*2^1392152-1 is not prime. Res64: 26A68014690B19A9 Time : 0.0 sec. user=mdettweiler [2015-03-02 02:51:39] 717*2^1392152-1 is not prime. Res64: 870A1E8CE4963FEF Time : 0.0 sec. user=mdettweiler [2015-03-02 02:51:39] 837*2^1392152-1 is not prime. Res64: D57257F227C5566D Time : 0.0 sec. user=mdettweiler [2015-03-02 03:03:47] 747*2^1392153-1 is not prime. Res64: 1B04737278A02789 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:03:48] 769*2^1392153-1 is not prime. Res64: 389BE5076B0F18BE Time : 0.0 sec. user=mdettweiler [2015-03-02 03:04:29] 805*2^1392153-1 is not prime. Res64: 7E172AB7661BF9EE Time : 0.0 sec. user=mdettweiler [2015-03-02 03:04:30] 847*2^1392153-1 is not prime. Res64: 1D80A9E4B7693496 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:17:14] 915*2^1392153-1 is not prime. Res64: 5FDADAD871316BB3 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:17:14] 665*2^1392154-1 is not prime. Res64: 9EAB121D7246E6D4 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:17:47] 791*2^1392154-1 is not prime. Res64: F4FC0F4012E8A901 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:17:47] 803*2^1392154-1 is not prime. Res64: 2C4C421807CD0E4A Time : 0.0 sec. user=mdettweiler [2015-03-02 03:30:02] 885*2^1392154-1 is not prime. Res64: 3309BCDD5F34BFA7 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:30:03] 903*2^1392154-1 is not prime. Res64: 48CA045AF2A1B1B4 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:30:49] 917*2^1392154-1 is not prime. Res64: AA348FF2AF108785 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:30:50] 825*2^1392155-1 is not prime. Res64: 42F631809757F9C4 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:43:17] 841*2^1392155-1 is not prime. Res64: DB760FAA224B2291 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:43:20] 627*2^1392156-1 is not prime. Res64: 3B3F766FA64C29C2 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:43:47] 675*2^1392156-1 is not prime. Res64: FB265A980F3B498F Time : 0.0 sec. user=mdettweiler [2015-03-02 03:43:48] 749*2^1392156-1 is not prime. Res64: 954A863D94F75209 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:56:22] 903*2^1392156-1 is not prime. Res64: C195D8B835B9F679 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:56:23] 987*2^1392156-1 is not prime. Res64: A1487533F6E4F187 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:56:50] 639*2^1392157-1 is not prime. Res64: 5B5736FA6E995331 Time : 0.0 sec. user=mdettweiler [2015-03-02 03:56:50] 699*2^1392157-1 is not prime. Res64: 3C9FFC17A1235531 Time : 0.0 sec. user=juhehe [2015-03-02 04:07:51] 747*2^1392157-1 is not prime. Res64: FACA650CB5B62015 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:09:39] 801*2^1392157-1 is not prime. Res64: E76010BD979DF76C Time : 0.0 sec. user=mdettweiler [2015-03-02 04:09:40] 817*2^1392157-1 is not prime. Res64: 0AFFCCE2B76D1DA2 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:09:59] 961*2^1392157-1 is not prime. Res64: 585EC7B81EE78542 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:09:59] 753*2^1392158-1 is not prime. Res64: B827BEB7094584AE Time : 0.0 sec. user=mdettweiler [2015-03-02 04:22:27] 773*2^1392158-1 is not prime. Res64: EF5C2C89A53E41EF Time : 0.0 sec. user=mdettweiler [2015-03-02 04:22:27] 875*2^1392158-1 is not prime. Res64: 62CA19F65AC47DD8 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:22:54] 915*2^1392158-1 is not prime. Res64: E14FBC7021A61F96 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:22:54] 923*2^1392158-1 is not prime. Res64: 7EA81E593B722A47 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:35:38] 945*2^1392158-1 is not prime. Res64: 5270B18F3EA2CDBF Time : 0.0 sec. user=mdettweiler [2015-03-02 04:35:38] 649*2^1392159-1 is not prime. Res64: 130A679E72494D0A Time : 0.0 sec. user=mdettweiler [2015-03-02 04:35:54] 763*2^1392159-1 is not prime. Res64: AB32B73C2EE0FD31 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:35:54] 825*2^1392159-1 is not prime. Res64: 753BF74F9B715D25 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:48:27] 921*2^1392159-1 is not prime. Res64: 4A096CB9817BCA42 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:48:28] 931*2^1392159-1 is not prime. Res64: 516327202F55F203 Time : 0.0 sec. user=mdettweiler [2015-03-02 04:49:00] 933*2^1392159-1 is not prime. Res64: 2A83B1143B6EEF2D Time : 0.0 sec. user=mdettweiler [2015-03-02 04:49:01] 955*2^1392159-1 is not prime. Res64: D800A04AC2E16A43 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:01:44] 999*2^1392159-1 is not prime. Res64: 7B57807DC6D53241 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:01:45] 629*2^1392160-1 is not prime. Res64: 51D8506B701C2820 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:01:57] 693*2^1392160-1 is not prime. Res64: 7B08BC1570F1CA7B Time : 0.0 sec. user=mdettweiler [2015-03-02 05:01:58] 735*2^1392160-1 is not prime. Res64: 01F023823C803E20 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:14:25] 855*2^1392160-1 is not prime. Res64: 9174E352756DE930 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:14:25] 863*2^1392160-1 is not prime. Res64: 00352FA859AE0B05 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:15:09] 957*2^1392160-1 is not prime. Res64: 5D353E27E89ECB1F Time : 0.0 sec. user=mdettweiler [2015-03-02 05:15:10] 615*2^1392161-1 is not prime. Res64: D59C2C61447208AC Time : 0.0 sec. user=mdettweiler [2015-03-02 05:27:56] 627*2^1392161-1 is not prime. Res64: 9EBD2B98E93D194E Time : 0.0 sec. user=mdettweiler [2015-03-02 05:27:56] 657*2^1392161-1 is not prime. Res64: AABB196850436657 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:27:59] 829*2^1392161-1 is not prime. Res64: B7C6523E3C0B8E6D Time : 0.0 sec. user=mdettweiler [2015-03-02 05:27:59] 987*2^1392161-1 is not prime. Res64: C625EC6B33A72F61 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:40:16] 671*2^1392162-1 is not prime. Res64: 0353FFF73D91E3ED Time : 0.0 sec. user=mdettweiler [2015-03-02 05:40:16] 755*2^1392162-1 is not prime. Res64: 669315DFB2B7BF8E Time : 0.0 sec. user=mdettweiler [2015-03-02 05:41:07] 767*2^1392162-1 is not prime. Res64: FECE816D6B5DB8FF Time : 0.0 sec. user=mdettweiler [2015-03-02 05:41:07] 983*2^1392162-1 is not prime. Res64: 46E428A31B9A579E Time : 0.0 sec. user=mdettweiler [2015-03-02 05:53:49] 615*2^1392164-1 is not prime. Res64: 9DE7C7877FEB7A5D Time : 0.0 sec. user=mdettweiler [2015-03-02 05:53:50] 675*2^1392164-1 is not prime. Res64: 3DC0AE4EF1856DAE Time : 0.0 sec. user=mdettweiler [2015-03-02 05:53:51] 679*2^1392163-1 is not prime. Res64: 165F6D15BA8C9835 Time : 0.0 sec. user=mdettweiler [2015-03-02 05:53:51] 723*2^1392163-1 is not prime. Res64: 3B0564E03AFFBFD9 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:06:11] 843*2^1392164-1 is not prime. Res64: FA802E38B18324BB Time : 0.0 sec. user=mdettweiler [2015-03-02 06:06:13] 885*2^1392164-1 is not prime. Res64: BD0B1F3509C1BE7A Time : 0.0 sec. user=mdettweiler [2015-03-02 06:07:03] 923*2^1392164-1 is not prime. Res64: D9CDAD8428FAFB45 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:07:04] 935*2^1392164-1 is not prime. Res64: 5FFE7A23AB71FB77 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:19:38] 691*2^1392165-1 is not prime. Res64: 8173B66ACFD3D3AA Time : 0.0 sec. user=mdettweiler [2015-03-02 06:19:38] 765*2^1392165-1 is not prime. Res64: 0F35A671DF50F5FB Time : 0.0 sec. user=mdettweiler [2015-03-02 06:19:42] 945*2^1392164-1 is not prime. Res64: 628F03CCDE7EA62A Time : 0.0 sec. user=mdettweiler [2015-03-02 06:19:42] 969*2^1392164-1 is not prime. Res64: 044CA5742D166D32 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:32:10] 795*2^1392165-1 is not prime. Res64: FD8487E3F76D8636 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:32:10] 817*2^1392165-1 is not prime. Res64: 3852AF2817AB4919 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:33:00] 927*2^1392165-1 is not prime. Res64: 4FA5C448E82C16A3 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:33:00] 603*2^1392166-1 is not prime. Res64: 4F57C27E02480BC0 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:45:34] 677*2^1392166-1 is not prime. Res64: 5D676FC7065EBA5E Time : 0.0 sec. user=mdettweiler [2015-03-02 06:45:34] 741*2^1392166-1 is not prime. Res64: 406A72BB85E2F0A4 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:45:34] 821*2^1392166-1 is not prime. Res64: 1580083FE2AB6C24 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:45:34] 881*2^1392166-1 is not prime. Res64: 8B5DEC9CFDB5A4A4 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:58:01] 923*2^1392166-1 is not prime. Res64: EAFBC9FE9DDA9777 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:58:01] 945*2^1392166-1 is not prime. Res64: 6EBC41DCDECA5A45 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:58:57] 971*2^1392166-1 is not prime. Res64: 526CF464C3718A25 Time : 0.0 sec. user=mdettweiler [2015-03-02 06:58:57] 645*2^1392167-1 is not prime. Res64: 3D7CB6FC813A8E0C Time : 0.0 sec. user=mdettweiler [2015-03-02 07:11:23] 673*2^1392167-1 is not prime. Res64: 405CC393CD1C3ADB Time : 0.0 sec. user=mdettweiler [2015-03-02 07:11:23] 739*2^1392167-1 is not prime. Res64: 7CC7F2F339422ADB Time : 0.0 sec. user=mdettweiler [2015-03-02 07:11:38] 813*2^1392167-1 is not prime. Res64: 168BF2DE8AC79A00 Time : 0.0 sec. user=mdettweiler [2015-03-02 07:11:38] 865*2^1392167-1 is not prime. Res64: AE595220860FA737 Time : 0.0 sec. user=mdettweiler [2015-03-02 07:24:05] 885*2^1392167-1 is not prime. Res64: 4A3AC7BDC55F859E Time : 0.0 sec. user=mdettweiler [2015-03-02 07:24:05] 963*2^1392167-1 is not prime. Res64: 192BF9CF5D91AF80 Time : 0.0 sec. user=mdettweiler [2015-03-02 07:24:57] 973*2^1392167-1 is not prime. Res64: 859526DB03D5622C Time : 0.0 sec. user=mdettweiler [2015-03-02 07:24:58] 985*2^1392167-1 is not prime. Res64: BE05A50587AC45DE Time : 0.0 sec. user=mdettweiler [2015-03-02 07:37:22] 747*2^1392168-1 is not prime. Res64: 7CE1C45B8F6C45CD Time : 0.0 sec. user=mdettweiler [2015-03-02 07:37:22] 879*2^1392168-1 is not prime. Res64: 15975F1EE5D68CF9 Time : 0.0 sec. user=mdettweiler [2015-03-02 07:37:33] 929*2^1392168-1 is not prime. Res64: 8029C443B8AFD7DD Time : 0.0 sec. user=mdettweiler [2015-03-02 07:37:33] 691*2^1392169-1 is not prime. Res64: 30446607C90DC313 Time : 0.0 sec. user=mdettweiler [2015-03-02 07:49:51] 699*2^1392169-1 is not prime. Res64: 992EA8679ED44AAC Time : 0.0 sec. user=mdettweiler [2015-03-02 07:49:51] 721*2^1392169-1 is not prime. Res64: 039C1B1F9A77B0D5 Time : 0.0 sec. user=mdettweiler [2015-03-02 07:50:49] 775*2^1392169-1 is not prime. Res64: 14CDC70A99B24A1F Time : 0.0 sec. user=mdettweiler [2015-03-02 07:50:50] 951*2^1392169-1 is not prime. Res64: 55C34B6474EF207A Time : 0.0 sec. user=mdettweiler [2015-03-02 08:03:16] 615*2^1392170-1 is not prime. Res64: FC9D30A1613086FE Time : 0.0 sec. user=mdettweiler [2015-03-02 08:03:18] 701*2^1392170-1 is not prime. Res64: DC5F12A1AB60BBFD Time : 0.0 sec. user=mdettweiler [2015-03-02 08:03:26] 801*2^1392170-1 is not prime. Res64: 15CE0C9141198CC8 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:03:27] 867*2^1392170-1 is not prime. Res64: 839BB76A5DFED0CF Time : 0.0 sec. user=mdettweiler [2015-03-02 08:15:38] 911*2^1392170-1 is not prime. Res64: 1CCD75FB0827E5E0 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:15:39] 921*2^1392170-1 is not prime. Res64: E5CC0D66102AC51B Time : 0.0 sec. user=mdettweiler [2015-03-02 08:16:47] 951*2^1392170-1 is not prime. Res64: 46FE9D3C1BDF1469 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:16:48] 675*2^1392171-1 is not prime. Res64: 9BC166FBAA8AF924 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:29:35] 741*2^1392171-1 is not prime. Res64: 06E06DA1275CEC71 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:29:35] 751*2^1392171-1 is not prime. Res64: 73BBA5B6A5FC2521 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:29:39] 951*2^1392171-1 is not prime. Res64: 904A4EF9358B0579 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:29:39] 975*2^1392171-1 is not prime. Res64: 79D81DCB8145B63D Time : 0.0 sec. user=mdettweiler [2015-03-02 08:41:33] 687*2^1392172-1 is not prime. Res64: 2B879EB581114A22 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:41:33] 689*2^1392172-1 is not prime. Res64: 929483DFAB1763D9 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:42:34] 833*2^1392172-1 is not prime. Res64: EE7FA2BFC78173B3 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:42:35] 855*2^1392172-1 is not prime. Res64: B3D8C290A34AE4A1 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:55:31] 875*2^1392172-1 is not prime. Res64: 756881C0889D2D01 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:55:32] 987*2^1392172-1 is not prime. Res64: 510F9B423CD898C3 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:55:35] 631*2^1392173-1 is not prime. Res64: 641D257D7FE48A63 Time : 0.0 sec. user=mdettweiler [2015-03-02 08:55:35] 675*2^1392173-1 is not prime. Res64: F83EB3967E7EC128 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:07:25] 715*2^1392173-1 is not prime. Res64: 2601FDB71DE7F88D Time : 0.0 sec. user=mdettweiler [2015-03-02 09:07:26] 727*2^1392173-1 is not prime. Res64: 3D0D681EE79AED79 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:08:29] 771*2^1392173-1 is not prime. Res64: 6B2E82D0F310E6FF Time : 0.0 sec. user=mdettweiler [2015-03-02 09:08:29] 847*2^1392173-1 is not prime. Res64: DB4024BD50DD557C Time : 0.0 sec. user=mdettweiler [2015-03-02 09:21:21] 605*2^1392174-1 is not prime. Res64: 0A4450A5D89A7302 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:21:21] 615*2^1392174-1 is not prime. Res64: 78A1AB042DB60396 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:21:26] 795*2^1392174-1 is not prime. Res64: 035C6450540F68DF Time : 0.0 sec. user=mdettweiler [2015-03-02 09:21:27] 873*2^1392174-1 is not prime. Res64: 3C31B64962AFE4EB Time : 0.0 sec. user=mdettweiler [2015-03-02 09:33:24] 965*2^1392174-1 is not prime. Res64: 7207AF2C2DDE29E0 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:33:24] 673*2^1392175-1 is not prime. Res64: 82B6FFB3E9FFC76F Time : 0.0 sec. user=mdettweiler [2015-03-02 09:34:26] 685*2^1392175-1 is not prime. Res64: 7F62DA65BCC4CD94 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:34:26] 709*2^1392175-1 is not prime. Res64: 268328516A81DF12 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:47:09] 723*2^1392175-1 is not prime. Res64: FBE14946FB0F4E47 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:47:10] 735*2^1392175-1 is not prime. Res64: F5F718E266D2D40F Time : 0.0 sec. user=mdettweiler [2015-03-02 09:47:17] 805*2^1392175-1 is not prime. Res64: 528BB0E89CAC48E6 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:47:18] 849*2^1392175-1 is not prime. Res64: C2B50B4768101941 Time : 0.0 sec. user=mdettweiler [2015-03-02 09:59:13] 895*2^1392175-1 is not prime. Res64: 01BA81514B34BE4B Time : 0.0 sec. user=mdettweiler [2015-03-02 09:59:13] 961*2^1392175-1 is not prime. Res64: DA1D4EEBC27880B0 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:00:18] 683*2^1392176-1 is not prime. Res64: 01C64CD61E158A9E Time : 0.0 sec. user=mdettweiler [2015-03-02 10:00:19] 735*2^1392176-1 is not prime. Res64: 7AECFCD00CF09B51 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:13:00] 893*2^1392176-1 is not prime. Res64: 3C574CE7B4FEFCCE Time : 0.0 sec. user=mdettweiler [2015-03-02 10:13:01] 945*2^1392176-1 is not prime. Res64: 9F60E33840B033E0 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:13:16] 675*2^1392177-1 is not prime. Res64: 01EAA7390121FF62 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:13:16] 681*2^1392177-1 is not prime. Res64: 00E959B969E2594D Time : 0.0 sec. user=mdettweiler [2015-03-02 10:25:07] 741*2^1392177-1 is not prime. Res64: CDECF8FE0B251DE9 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:25:08] 819*2^1392177-1 is not prime. Res64: 347C516E9F77D30E Time : 0.0 sec. user=mdettweiler [2015-03-02 10:26:16] 835*2^1392177-1 is not prime. Res64: FFBDDB844AD7DC49 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:26:16] 847*2^1392177-1 is not prime. Res64: 03EEBC127ED7CA96 Time : 0.0 sec. user=juhehe [2015-03-02 10:31:24] 997*2^1392177-1 is not prime. Res64: 3E417765D9304A78 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:38:51] 635*2^1392178-1 is not prime. Res64: 0190B23B778DF581 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:38:52] 713*2^1392178-1 is not prime. Res64: 5D70A2A4642B6F5D Time : 0.0 sec. user=mdettweiler [2015-03-02 10:39:11] 737*2^1392178-1 is not prime. Res64: 9628972291AE67C7 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:39:12] 843*2^1392178-1 is not prime. Res64: 3694385B2AB3E67A Time : 0.0 sec. user=mdettweiler [2015-03-02 10:50:53] 891*2^1392178-1 is not prime. Res64: 6979121B4A8A1697 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:50:53] 915*2^1392178-1 is not prime. Res64: 9C18242F7FDF68C0 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:52:05] 603*2^1392179-1 is not prime. Res64: 0E1632D8AD6B3334 Time : 0.0 sec. user=mdettweiler [2015-03-02 10:52:05] 633*2^1392179-1 is not prime. Res64: 1CD4574CAC775448 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:04:51] 799*2^1392179-1 is not prime. Res64: DA75E00F4FBE30B7 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:04:53] 883*2^1392179-1 is not prime. Res64: D3D58FD5732B42D6 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:05:05] 895*2^1392179-1 is not prime. Res64: 4E943674EAF8E235 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:05:08] 921*2^1392179-1 is not prime. Res64: C084F9D157F1F849 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:16:48] 931*2^1392179-1 is not prime. Res64: A2E8B7054B70E543 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:16:48] 939*2^1392179-1 is not prime. Res64: 53973B24E24F34E9 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:17:53] 689*2^1392180-1 is not prime. Res64: 0F077BBBF9B41385 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:17:53] 707*2^1392180-1 is not prime. Res64: 99B944739DD424C7 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:31:16] 893*2^1392180-1 is not prime. Res64: A5554C48B5E1569B Time : 0.0 sec. user=mdettweiler [2015-03-02 11:31:16] 909*2^1392180-1 is not prime. Res64: 3B93CB1E9C7CAB63 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:31:18] 723*2^1392180-1 is not prime. Res64: D65980DC11805BC7 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:31:19] 873*2^1392180-1 is not prime. Res64: B0B6C47110811A35 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:42:47] 927*2^1392180-1 is not prime. Res64: 8A3321CE0EFFF508 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:42:47] 649*2^1392181-1 is not prime. Res64: AE0119DACC68F0A4 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:43:48] 691*2^1392181-1 is not prime. Res64: EB7E959DEEF53C3B Time : 0.0 sec. user=mdettweiler [2015-03-02 11:43:48] 801*2^1392181-1 is not prime. Res64: 80821B42A9CF9195 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:57:11] 819*2^1392181-1 is not prime. Res64: 03D5B6C3EA38D0C6 Time : 0.0 sec. user=mdettweiler [2015-03-02 11:57:11] 931*2^1392181-1 is not prime. Res64: D68CCF7D585167FD Time : 0.0 sec. user=mdettweiler [2015-03-02 11:57:12] 939*2^1392181-1 is not prime. Res64: 979F0B7BC3CF3C2F Time : 0.0 sec. user=mdettweiler [2015-03-02 11:57:13] 955*2^1392181-1 is not prime. Res64: 65BCE32ACD934C2D Time : 0.0 sec. user=mdettweiler [2015-03-02 12:08:46] 627*2^1392182-1 is not prime. Res64: 91F4AF36338E75BF Time : 0.0 sec. user=mdettweiler [2015-03-02 12:08:46] 665*2^1392182-1 is not prime. Res64: F6E723FD6936BDDD Time : 0.0 sec. user=mdettweiler [2015-03-02 12:09:36] 677*2^1392182-1 is not prime. Res64: 868F9D3EA999C282 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:09:37] 761*2^1392182-1 is not prime. Res64: 3DCC6B7B14CEF18E Time : 0.0 sec. user=mdettweiler [2015-03-02 12:23:04] 981*2^1392182-1 is not prime. Res64: 839F9A0FA3960A4B Time : 0.0 sec. user=mdettweiler [2015-03-02 12:23:04] 693*2^1392183-1 is not prime. Res64: 1E7674FDF4E420F5 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:23:09] 941*2^1392182-1 is not prime. Res64: 7F4C2E50BF233D25 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:23:10] 977*2^1392182-1 is not prime. Res64: 4799F1CD2257B8E8 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:34:36] 709*2^1392183-1 is not prime. Res64: 7887C02603426488 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:34:37] 745*2^1392183-1 is not prime. Res64: 91E560F3FC3243A3 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:35:32] 765*2^1392183-1 is not prime. Res64: 5F8C3EEA251BB84C Time : 0.0 sec. user=mdettweiler [2015-03-02 12:35:32] 783*2^1392183-1 is not prime. Res64: 6275692322B0DBAB Time : 0.0 sec. user=mdettweiler [2015-03-02 12:48:57] 895*2^1392183-1 is not prime. Res64: 7F750303BBA4A679 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:48:57] 963*2^1392183-1 is not prime. Res64: D0DFA8A6EA356EDA Time : 0.0 sec. user=mdettweiler [2015-03-02 12:49:06] 707*2^1392184-1 is not prime. Res64: 4D0035D98E6B6141 Time : 0.0 sec. user=mdettweiler [2015-03-02 12:49:06] 657*2^1392185-1 is not prime. Res64: 888E98A496DD17D9 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:01:53] 727*2^1392185-1 is not prime. Res64: D0456A552DB84534 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:01:54] 777*2^1392185-1 is not prime. Res64: 683B48F88964FDEE Time : 0.0 sec. user=mdettweiler [2015-03-02 13:02:43] 795*2^1392185-1 is not prime. Res64: A163FC6CC3FBEDDB Time : 0.0 sec. user=mdettweiler [2015-03-02 13:02:44] 841*2^1392185-1 is not prime. Res64: 371077A1A8C4271C Time : 0.0 sec. user=mdettweiler [2015-03-02 13:16:37] 955*2^1392185-1 is not prime. Res64: 4D86DBAA39194B75 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:16:38] 801*2^1392186-1 is not prime. Res64: 91C07CA74205F7D2 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:18:31] 861*2^1392185-1 is not prime. Res64: 72A64D0645CBBEC0 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:18:31] 909*2^1392185-1 is not prime. Res64: FAE743F9C0DDD71C Time : 0.0 sec. user=mdettweiler [2015-03-02 13:29:45] 923*2^1392186-1 is not prime. Res64: E500E524FC60519A Time : 0.0 sec. user=mdettweiler [2015-03-02 13:29:46] 945*2^1392186-1 is not prime. Res64: 5E819C23F72F5440 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:32:53] 615*2^1392187-1 is not prime. Res64: 95D05502F8BA15C5 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:32:53] 675*2^1392187-1 is not prime. Res64: 85F7C20DC55001C8 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:45:14] 759*2^1392187-1 is not prime. Res64: BD4AED6F69E4787F Time : 0.0 sec. user=mdettweiler [2015-03-02 13:45:14] 889*2^1392187-1 is not prime. Res64: FC08CB0F2F78B7EE Time : 0.0 sec. user=mdettweiler [2015-03-02 13:47:36] 973*2^1392187-1 is not prime. Res64: 6AC7CE284B287ED2 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:47:36] 985*2^1392187-1 is not prime. Res64: 19DFF1CBB05FFFA5 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:58:54] 647*2^1392188-1 is not prime. Res64: A94DD8528B28E355 Time : 0.0 sec. user=mdettweiler [2015-03-02 13:58:54] 759*2^1392188-1 is not prime. Res64: 973623C64FA30E32 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:02:07] 879*2^1392188-1 is not prime. Res64: 7EC164A780F7B5FD Time : 0.0 sec. user=mdettweiler [2015-03-02 14:02:08] 621*2^1392189-1 is not prime. Res64: DCB9DABB86EC0617 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:15:01] 661*2^1392189-1 is not prime. Res64: 706AC4091867D197 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:15:01] 751*2^1392189-1 is not prime. Res64: A2B0B8F13CB4EBCC Time : 0.0 sec. user=mdettweiler [2015-03-02 14:17:52] 759*2^1392189-1 is not prime. Res64: D39266D96D96138B Time : 0.0 sec. user=mdettweiler [2015-03-02 14:17:52] 891*2^1392189-1 is not prime. Res64: E67F7FBEF6DECCBA Time : 0.0 sec. user=mdettweiler [2015-03-02 14:29:46] 927*2^1392189-1 is not prime. Res64: DDBEA2A15A06D0F9 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:29:46] 949*2^1392189-1 is not prime. Res64: 5636EC982C237760 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:32:56] 657*2^1392190-1 is not prime. Res64: 5BA0BEEEC6E948E1 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:32:57] 723*2^1392190-1 is not prime. Res64: C012192F368A6BC2 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:44:12] 845*2^1392190-1 is not prime. Res64: D0BF080F9B4FD2E2 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:44:12] 981*2^1392190-1 is not prime. Res64: AE882910B0BB6DEC Time : 0.0 sec. user=mdettweiler [2015-03-02 14:46:53] 603*2^1392191-1 is not prime. Res64: E677324224A6F23A Time : 0.0 sec. user=mdettweiler [2015-03-02 14:46:54] 609*2^1392191-1 is not prime. Res64: 6BC58D12FAAA053A Time : 0.0 sec. user=mdettweiler [2015-03-02 14:57:41] 663*2^1392191-1 is not prime. Res64: D5F6517EAF80EC50 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:57:41] 673*2^1392191-1 is not prime. Res64: D2850B5221BBF3B4 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:59:24] 741*2^1392191-1 is not prime. Res64: 2754CADDD1A9D613 Time : 0.0 sec. user=mdettweiler [2015-03-02 14:59:24] 843*2^1392191-1 is not prime. Res64: A03FE189B4D6D57D Time : 0.0 sec. user=mdettweiler [2015-03-02 15:10:28] 865*2^1392191-1 is not prime. Res64: 77E2DC5C20617F94 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:10:28] 979*2^1392191-1 is not prime. Res64: 90C50910989B7C47 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:12:58] 981*2^1392191-1 is not prime. Res64: 098DF8FAFB7BF0BA Time : 0.0 sec. user=mdettweiler [2015-03-02 15:12:58] 635*2^1392192-1 is not prime. Res64: 8BF46202CA5C8E97 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:23:47] 767*2^1392192-1 is not prime. Res64: E79141C127B85686 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:23:47] 887*2^1392192-1 is not prime. Res64: 322B910142CAC4EE Time : 0.0 sec. user=mdettweiler [2015-03-02 15:25:34] 893*2^1392192-1 is not prime. Res64: 3A73D5EDC9CCDA35 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:25:35] 649*2^1392193-1 is not prime. Res64: BEEBAEF5A82B5284 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:36:41] 651*2^1392193-1 is not prime. Res64: E2812F40E5586083 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:36:41] 705*2^1392193-1 is not prime. Res64: D950E102C227875B Time : 0.0 sec. user=mdettweiler [2015-03-02 15:38:59] 765*2^1392193-1 is not prime. Res64: 51CE099AC56B6A13 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:38:59] 817*2^1392193-1 is not prime. Res64: 8FA4C3DE44BFB1AB Time : 0.0 sec. user=mdettweiler [2015-03-02 15:49:51] 897*2^1392193-1 is not prime. Res64: F76C891882F453CC Time : 0.0 sec. user=mdettweiler [2015-03-02 15:49:51] 901*2^1392193-1 is not prime. Res64: 68A7A7A5E2AD0010 Time : 0.0 sec. user=mdettweiler [2015-03-02 15:51:38] 615*2^1392194-1 is not prime. Res64: 99205FC54B79F21F Time : 0.0 sec. user=mdettweiler [2015-03-02 15:51:38] 705*2^1392194-1 is not prime. Res64: DF02B6A6D50C52C0 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:02:44] 717*2^1392194-1 is not prime. Res64: 79BCB2119F00BD63 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:02:47] 797*2^1392194-1 is not prime. Res64: EE0C22C84F43AAC0 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:05:04] 887*2^1392194-1 is not prime. Res64: C4BBF1084F290D87 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:05:06] 951*2^1392194-1 is not prime. Res64: 59BB244EF2C3F1D2 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:15:44] 625*2^1392195-1 is not prime. Res64: F87B4791B04D6FCD Time : 0.0 sec. user=mdettweiler [2015-03-02 16:15:44] 795*2^1392195-1 is not prime. Res64: 612A22CFB1B592F7 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:17:33] 891*2^1392195-1 is not prime. Res64: 80BA7CDE4438822A Time : 0.0 sec. user=mdettweiler [2015-03-02 16:17:34] 895*2^1392195-1 is not prime. Res64: 66B2ED212F73DADE Time : 0.0 sec. user=mdettweiler [2015-03-02 16:29:45] 969*2^1392195-1 is not prime. Res64: 73D05EEF67802FC3 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:29:46] 999*2^1392195-1 is not prime. Res64: EA1F1C067E486206 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:31:41] 873*2^1392196-1 is not prime. Res64: FF3807269EC6E2C7 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:31:41] 615*2^1392197-1 is not prime. Res64: 8DCD06E4182F1736 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:42:04] 645*2^1392197-1 is not prime. Res64: A4C33433C59B3977 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:42:04] 669*2^1392197-1 is not prime. Res64: 13B6ADCFDAC94899 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:43:57] 727*2^1392197-1 is not prime. Res64: C7BDCE1CAFE9585B Time : 0.0 sec. user=mdettweiler [2015-03-02 16:43:58] 729*2^1392197-1 is not prime. Res64: 76DBC194D5DC1D4D Time : 0.0 sec. user=mdettweiler [2015-03-02 16:56:18] 757*2^1392197-1 is not prime. Res64: 8A7684A4BB394A7D Time : 0.0 sec. user=mdettweiler [2015-03-02 16:56:18] 771*2^1392197-1 is not prime. Res64: 1E654A989D0D1079 Time : 0.0 sec. user=mdettweiler [2015-03-02 16:58:03] 825*2^1392197-1 is not prime. Res64: 8D53525101F6C0AD Time : 0.0 sec. user=mdettweiler [2015-03-02 16:58:03] 837*2^1392197-1 is not prime. Res64: 256F944A28642023 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:08:40] 847*2^1392197-1 is not prime. Res64: 6112614B857D0618 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:08:41] 861*2^1392197-1 is not prime. Res64: FAFB9305558A6195 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:10:28] 885*2^1392197-1 is not prime. Res64: 0A5B3D2D87C1BD11 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:10:28] 627*2^1392198-1 is not prime. Res64: 6CEFC6C598574937 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:23:24] 635*2^1392198-1 is not prime. Res64: D733DD4C6766191D Time : 0.0 sec. user=mdettweiler [2015-03-02 17:23:24] 681*2^1392198-1 is not prime. Res64: 2190D86C80C2BBFE Time : 0.0 sec. user=mdettweiler [2015-03-02 17:25:14] 725*2^1392198-1 is not prime. Res64: CA3571A9D388FCDA Time : 0.0 sec. user=mdettweiler [2015-03-02 17:25:14] 755*2^1392198-1 is not prime. Res64: 1749944CCB6B3F81 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:35:01] 927*2^1392198-1 is not prime. Res64: 0C74E35F93C15FEF Time : 0.0 sec. user=mdettweiler [2015-03-02 17:35:02] 975*2^1392198-1 is not prime. Res64: C5E0EC88E707BA50 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:36:52] 615*2^1392199-1 is not prime. Res64: 6510539DED1F8A18 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:36:53] 645*2^1392199-1 is not prime. Res64: A16F242B7E13CB0E Time : 0.0 sec. user=mdettweiler [2015-03-02 17:49:43] 765*2^1392199-1 is not prime. Res64: A903BCAA96F303AD Time : 0.0 sec. user=mdettweiler [2015-03-02 17:49:43] 789*2^1392199-1 is not prime. Res64: 69C3B8D4467C12BD Time : 0.0 sec. user=mdettweiler [2015-03-02 17:51:31] 793*2^1392199-1 is not prime. Res64: 68D6E76CAB95D7A9 Time : 0.0 sec. user=mdettweiler [2015-03-02 17:51:31] 885*2^1392199-1 is not prime. Res64: FF3FA74F9E135129 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:01:30] 913*2^1392199-1 is not prime. Res64: 579BD7D509DB13A4 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:01:31] 993*2^1392199-1 is not prime. Res64: 4C246C3816355C53 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:03:16] 677*2^1392200-1 is not prime. Res64: EBC119AEAD238FD8 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:03:17] 819*2^1392200-1 is not prime. Res64: E67CEB9D1B403A97 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:16:01] 833*2^1392200-1 is not prime. Res64: F76DF90B90C55435 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:16:01] 983*2^1392200-1 is not prime. Res64: 3C1C9FB01D803C66 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:17:43] 669*2^1392201-1 is not prime. Res64: 7AF1455AE76DE098 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:17:44] 717*2^1392201-1 is not prime. Res64: C53C70B131C073C5 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:28:15] 739*2^1392201-1 is not prime. Res64: 5064DDD644F74A50 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:28:15] 751*2^1392201-1 is not prime. Res64: 3342A1F3FD7AFC1A Time : 0.0 sec. user=mdettweiler [2015-03-02 18:29:44] 777*2^1392201-1 is not prime. Res64: 90B519AB64B54D95 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:29:45] 895*2^1392201-1 is not prime. Res64: 8C17B79AE05655CD Time : 0.0 sec. user=mdettweiler [2015-03-02 18:42:39] 907*2^1392201-1 is not prime. Res64: 41ABCAB53D3EF517 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:42:39] 675*2^1392202-1 is not prime. Res64: 04C000BB7DA6E148 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:44:18] 723*2^1392202-1 is not prime. Res64: F233B975E7B7F035 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:44:18] 911*2^1392202-1 is not prime. Res64: 9116DEF016917C88 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:54:55] 915*2^1392202-1 is not prime. Res64: 57A29728CF42A9A0 Time : 0.0 sec. user=mdettweiler [2015-03-02 18:54:56] 995*2^1392202-1 is not prime. Res64: 28B44C99C448902E Time : 0.0 sec. user=mdettweiler [2015-03-02 18:56:26] 693*2^1392203-1 is not prime. Res64: C54E153012B6830E Time : 0.0 sec. user=mdettweiler [2015-03-02 18:56:26] 741*2^1392203-1 is not prime. Res64: A997FDCB781C6702 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:09:07] 955*2^1392203-1 is not prime. Res64: 4579AC845F74C74B Time : 0.0 sec. user=mdettweiler [2015-03-02 19:09:09] 887*2^1392204-1 is not prime. Res64: 29BFD27A058587D3 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:10:42] 983*2^1392204-1 is not prime. Res64: 0B9C5E747ACCCCC0 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:10:43] 607*2^1392205-1 is not prime. Res64: C7B37F81C6833B46 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:21:21] 727*2^1392205-1 is not prime. Res64: D534495D2E89DEC7 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:21:21] 877*2^1392205-1 is not prime. Res64: 12308EE18760A29B Time : 0.0 sec. user=mdettweiler [2015-03-02 19:23:03] 957*2^1392205-1 is not prime. Res64: B40EEDB0264BEEFD Time : 0.0 sec. user=mdettweiler [2015-03-02 19:23:04] 985*2^1392205-1 is not prime. Res64: 2C45D18F2E21EA72 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:35:45] 651*2^1392206-1 is not prime. Res64: 6F3DE4B6F0DBC5A4 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:35:46] 683*2^1392206-1 is not prime. Res64: 4C3455F6EEE8E95A Time : 0.0 sec. user=mdettweiler [2015-03-02 19:37:10] 693*2^1392206-1 is not prime. Res64: 233F008DD0B62262 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:37:10] 831*2^1392206-1 is not prime. Res64: 37D03B7275065161 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:48:03] 843*2^1392206-1 is not prime. Res64: BBA24D2C1446A526 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:48:03] 953*2^1392206-1 is not prime. Res64: CB0556638624A250 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:49:43] 643*2^1392207-1 is not prime. Res64: 991B9DDB70AC0D35 Time : 0.0 sec. user=mdettweiler [2015-03-02 19:49:44] 661*2^1392207-1 is not prime. Res64: 0679F53472977B72 Time : 0.0 sec. user=juhehe [2015-03-02 19:51:05] 971*2^1392206-1 is not prime. Res64: E4DE3D44B25D02A1 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:02:05] 703*2^1392207-1 is not prime. Res64: 8D16B207BFE52AE6 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:02:07] 805*2^1392207-1 is not prime. Res64: EE69B28161C61CB8 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:03:39] 859*2^1392207-1 is not prime. Res64: 689A8023285DBF0F Time : 0.0 sec. user=mdettweiler [2015-03-02 20:03:40] 945*2^1392207-1 is not prime. Res64: 16EF32A840C9AC45 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:14:22] 963*2^1392207-1 is not prime. Res64: F381FDAA8FBC2AB1 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:14:22] 623*2^1392208-1 is not prime. Res64: 6DA9F485AD23FF1D Time : 0.0 sec. user=mdettweiler [2015-03-02 20:16:02] 755*2^1392208-1 is not prime. Res64: F81903E8717798B4 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:16:03] 833*2^1392208-1 is not prime. Res64: 314D666DD2515601 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:28:51] 843*2^1392208-1 is not prime. Res64: 3DDAF0D4EED81FC0 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:28:52] 969*2^1392208-1 is not prime. Res64: 27DE0C7A70E9E7AB Time : 0.0 sec. user=mdettweiler [2015-03-02 20:30:06] 999*2^1392208-1 is not prime. Res64: A8C3AFC3D01DB72A Time : 0.0 sec. user=mdettweiler [2015-03-02 20:30:06] 801*2^1392209-1 is not prime. Res64: 42D466FA964E7C37 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:40:43] 985*2^1392209-1 is not prime. Res64: D850EC5DC324E7B7 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:40:43] 711*2^1392210-1 is not prime. Res64: AB770FD1135F3411 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:42:21] 725*2^1392210-1 is not prime. Res64: 50D740A332162ED0 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:42:21] 767*2^1392210-1 is not prime. Res64: 2BF87CB672F91228 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:55:41] 783*2^1392210-1 is not prime. Res64: 23FFA667AC5E6658 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:55:41] 803*2^1392210-1 is not prime. Res64: 643D9F0D7ACAD767 Time : 0.0 sec. user=mdettweiler [2015-03-02 20:57:03] 625*2^1392211-1 is not prime. Res64: 1DDACDCFFD1EACEA Time : 0.0 sec. user=mdettweiler [2015-03-02 20:57:03] 649*2^1392211-1 is not prime. Res64: 1451B77AAAD6AB74 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:07:39] 651*2^1392211-1 is not prime. Res64: F786C351055C712C Time : 0.0 sec. user=mdettweiler [2015-03-02 21:07:40] 861*2^1392211-1 is not prime. Res64: 3DFF73B69CBBA1E7 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:09:28] 885*2^1392211-1 is not prime. Res64: 5C1AD90043DF6506 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:09:28] 889*2^1392211-1 is not prime. Res64: 91312784963144BF Time : 0.0 sec. user=mdettweiler [2015-03-02 21:22:22] 939*2^1392211-1 is not prime. Res64: 7292615F4E741697 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:22:22] 617*2^1392212-1 is not prime. Res64: 1ABCCF67211A1A53 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:23:36] 929*2^1392212-1 is not prime. Res64: 4CC718333AEB316D Time : 0.0 sec. user=mdettweiler [2015-03-02 21:23:37] 669*2^1392213-1 is not prime. Res64: 99FA89D1C79F9CE0 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:34:16] 685*2^1392213-1 is not prime. Res64: 6A85D03142B3E0EC Time : 0.0 sec. user=mdettweiler [2015-03-02 21:34:17] 691*2^1392213-1 is not prime. Res64: 571466133C2DB581 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:35:52] 795*2^1392213-1 is not prime. Res64: 3F90AC1FD6938A84 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:35:52] 861*2^1392213-1 is not prime. Res64: 84DDBB82905C65B8 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:48:50] 945*2^1392213-1 is not prime. Res64: C3FFD501B088A142 Time : 0.0 sec. user=mdettweiler [2015-03-02 21:48:50] 987*2^1392213-1 is not prime. Res64: 4D28B1571FACBDFD Time : 0.0 sec. user=mdettweiler [2015-03-02 21:49:59] 665*2^1392214-1 is not prime. Res64: 5868A952AA67C55E Time : 0.0 sec. user=mdettweiler [2015-03-02 21:49:59] 707*2^1392214-1 is not prime. Res64: EFE3F9A27A61313D Time : 0.0 sec. user=mdettweiler [2015-03-02 22:00:31] 731*2^1392214-1 is not prime. Res64: D61BC91C5DB89960 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:00:31] 755*2^1392214-1 is not prime. Res64: FA024DE6A81F5896 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:02:08] 765*2^1392214-1 is not prime. Res64: 0AACD142A18A6F9B Time : 0.0 sec. user=mdettweiler [2015-03-02 22:02:09] 773*2^1392214-1 is not prime. Res64: 2C4886CFE094DE23 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:15:06] 791*2^1392214-1 is not prime. Res64: 5BF982442B19E217 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:15:07] 827*2^1392214-1 is not prime. Res64: 8DF8C3989990E4CD Time : 0.0 sec. user=mdettweiler [2015-03-02 22:16:18] 891*2^1392214-1 is not prime. Res64: 581C5B56D5AF1C77 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:16:18] 941*2^1392214-1 is not prime. Res64: D3AB339CCC6CB07A Time : 0.0 sec. user=mdettweiler [2015-03-02 22:26:49] 971*2^1392214-1 is not prime. Res64: 0893723FD8F80BDD Time : 0.0 sec. user=mdettweiler [2015-03-02 22:26:50] 643*2^1392215-1 is not prime. Res64: 8A4ECFB9436F26D1 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:28:22] 661*2^1392215-1 is not prime. Res64: C9F39DBEABC1D66D Time : 0.0 sec. user=mdettweiler [2015-03-02 22:28:22] 831*2^1392215-1 is not prime. Res64: CF9DCFCBF6E8850D Time : 0.0 sec. user=mdettweiler [2015-03-02 22:41:21] 853*2^1392215-1 is not prime. Res64: 8A76A0B57B4003BF Time : 0.0 sec. user=mdettweiler [2015-03-02 22:41:22] 883*2^1392215-1 is not prime. Res64: D622E1D16352B233 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:42:34] 909*2^1392215-1 is not prime. Res64: 251DC553CC39248A Time : 0.0 sec. user=mdettweiler [2015-03-02 22:42:35] 969*2^1392215-1 is not prime. Res64: 1AD642BCCE0CAB84 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:53:27] 609*2^1392216-1 is not prime. Res64: 973E9CFED9292F1C Time : 0.0 sec. user=mdettweiler [2015-03-02 22:53:28] 707*2^1392216-1 is not prime. Res64: 6854BF76A254091B Time : 0.0 sec. user=mdettweiler [2015-03-02 22:55:02] 867*2^1392216-1 is not prime. Res64: 1C8C6B74D09D9D00 Time : 0.0 sec. user=mdettweiler [2015-03-02 22:55:03] 873*2^1392216-1 is not prime. Res64: CDA3B9CFE8508FE2 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:08:26] 615*2^1392217-1 is not prime. Res64: 13370502872C47B9 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:08:27] 637*2^1392217-1 is not prime. Res64: 0CFB5D45F400261C Time : 0.0 sec. user=mdettweiler [2015-03-02 23:09:50] 651*2^1392217-1 is not prime. Res64: 3712753D0D813D7D Time : 0.0 sec. user=mdettweiler [2015-03-02 23:09:51] 777*2^1392217-1 is not prime. Res64: 43B9D9BAC4FB8D02 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:21:05] 861*2^1392217-1 is not prime. Res64: 72998765FE0E8596 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:21:06] 895*2^1392217-1 is not prime. Res64: 2D540A20EC15E1B4 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:22:35] 897*2^1392217-1 is not prime. Res64: 3B9C7315BA168F22 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:22:35] 919*2^1392217-1 is not prime. Res64: B29F28D5358F323F Time : 0.0 sec. user=mdettweiler [2015-03-02 23:35:33] 641*2^1392218-1 is not prime. Res64: DDD0AA04C063E7EE Time : 0.0 sec. user=mdettweiler [2015-03-02 23:35:33] 767*2^1392218-1 is not prime. Res64: 86B794C9A9F5969B Time : 0.0 sec. user=mdettweiler [2015-03-02 23:37:05] 813*2^1392218-1 is not prime. Res64: 0839D65C697FFC1C Time : 0.0 sec. user=mdettweiler [2015-03-02 23:37:06] 827*2^1392218-1 is not prime. Res64: C1A13481558CB440 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:47:44] 837*2^1392218-1 is not prime. Res64: 6FC6E0BD7F34095C Time : 0.0 sec. user=mdettweiler [2015-03-02 23:47:45] 977*2^1392218-1 is not prime. Res64: 1A1A7046293659AD Time : 0.0 sec. user=mdettweiler [2015-03-02 23:49:30] 993*2^1392218-1 is not prime. Res64: 8A7E539BFCE0A924 Time : 0.0 sec. user=mdettweiler [2015-03-02 23:49:30] 861*2^1392219-1 is not prime. Res64: A820147487B7C9A2 Time : 0.0 sec.