user=mdettweiler [2015-12-11 00:08:18] 609*2^1417279-1 is not prime. Res64: 9E827CC1CA820643 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:08:19] 645*2^1417279-1 is not prime. Res64: BC7F24FF9416A618 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:15:54] 723*2^1417279-1 is not prime. Res64: 0AF487D6FD21E928 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:15:54] 793*2^1417279-1 is not prime. Res64: 79E650F8620CA614 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:25:47] 813*2^1417279-1 is not prime. Res64: 03AE342BF3419964 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:25:47] 889*2^1417279-1 is not prime. Res64: E216059709FBB3EF Time : 0.0 sec. user=mdettweiler [2015-12-11 00:33:18] 919*2^1417279-1 is not prime. Res64: 62EDF89A23640E6F Time : 0.0 sec. user=mdettweiler [2015-12-11 00:33:18] 999*2^1417279-1 is not prime. Res64: B89E4EA8B575ED86 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:43:14] 609*2^1417280-1 is not prime. Res64: 4F97941356FFB914 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:43:15] 615*2^1417280-1 is not prime. Res64: 7FF9D3AFCA2E2891 Time : 0.0 sec. user=mdettweiler [2015-12-11 00:50:44] 759*2^1417280-1 is not prime. Res64: B641E1A6F338A86D Time : 0.0 sec. user=mdettweiler [2015-12-11 00:50:44] 789*2^1417280-1 is not prime. Res64: FE6F831B9293A4AA Time : 0.0 sec. user=mdettweiler [2015-12-11 01:00:39] 845*2^1417280-1 is not prime. Res64: 7B632F555531F555 Time : 0.0 sec. user=mdettweiler [2015-12-11 01:00:40] 875*2^1417280-1 is not prime. Res64: 319BFEBF6C47274E Time : 0.0 sec. user=mdettweiler [2015-12-11 01:08:09] 923*2^1417280-1 is not prime. Res64: 564DEB2E0404DD03 Time : 0.0 sec. user=mdettweiler [2015-12-11 01:08:09] 935*2^1417280-1 is not prime. Res64: 175A41EAA120C15F Time : 0.0 sec. user=mdettweiler [2015-12-11 01:18:06] 945*2^1417280-1 is not prime. Res64: 50128D11BE4414A4 Time : 0.0 sec. user=mdettweiler [2015-12-11 01:18:07] 601*2^1417281-1 is not prime. Res64: 1278761BB0F557CD Time : 0.0 sec. user=mdettweiler [2015-12-11 01:25:33] 741*2^1417281-1 is not prime. Res64: 544335F9B52FC277 Time : 0.0 sec. user=mdettweiler [2015-12-11 01:25:34] 789*2^1417281-1 is not prime. Res64: 29E798E454A1B58C Time : 0.0 sec. user=mdettweiler [2015-12-11 01:35:33] 889*2^1417281-1 is not prime. Res64: 3ACEB3BF50D70BF5 Time : 0.0 sec. user=mdettweiler [2015-12-11 01:35:33] 617*2^1417282-1 is not prime. Res64: 708696D94A0EA8AA Time : 0.0 sec. user=mdettweiler [2015-12-11 01:43:07] 675*2^1417282-1 is not prime. Res64: 13F816E1D56EB7F6 Time : 0.0 sec. user=mdettweiler [2015-12-11 01:43:07] 681*2^1417282-1 is not prime. Res64: C4F8EEC0E30CBA6A Time : 0.0 sec. user=mdettweiler [2015-12-11 01:52:59] 723*2^1417282-1 is not prime. Res64: B69551D4EEF1641C Time : 0.0 sec. user=mdettweiler [2015-12-11 01:52:59] 735*2^1417282-1 is not prime. Res64: 7194E367DEC93F13 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:00:35] 743*2^1417282-1 is not prime. Res64: 880EC816812A6C3A Time : 0.0 sec. user=mdettweiler [2015-12-11 02:00:36] 777*2^1417282-1 is not prime. Res64: 90F7A39576EA9B21 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:10:24] 791*2^1417282-1 is not prime. Res64: F3D22C96321AA123 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:10:25] 1001*2^1417282-1 is not prime. Res64: 1D1AFFB726AEFBE2 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:18:02] 741*2^1417283-1 is not prime. Res64: 2B58D1064FF750FF Time : 0.0 sec. user=mdettweiler [2015-12-11 02:18:02] 855*2^1417283-1 is not prime. Res64: 8867A912CFBE611A Time : 0.0 sec. user=mdettweiler [2015-12-11 02:27:56] 861*2^1417283-1 is not prime. Res64: BA8C0C8DB9C76B49 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:27:56] 915*2^1417283-1 is not prime. Res64: 99F168763FEF422B Time : 0.0 sec. user=mdettweiler [2015-12-11 02:35:28] 943*2^1417283-1 is not prime. Res64: AA3A644CEF7549E7 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:35:29] 955*2^1417283-1 is not prime. Res64: 0DCB850556FC549E Time : 0.0 sec. user=mdettweiler [2015-12-11 02:45:25] 973*2^1417283-1 is not prime. Res64: 8652EB887A8D40E3 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:45:25] 627*2^1417284-1 is not prime. Res64: 297B5FF2201C99B4 Time : 0.0 sec. user=mdettweiler [2015-12-11 02:52:53] 639*2^1417284-1 is not prime. Res64: 05AA7B1AD22268FD Time : 0.0 sec. user=mdettweiler [2015-12-11 02:52:53] 657*2^1417284-1 is not prime. Res64: 62F629898C4F06B2 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:02:50] 695*2^1417284-1 is not prime. Res64: DF2A41A38B7F0B39 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:02:52] 765*2^1417284-1 is not prime. Res64: AF61A17A4D1E8A21 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:10:16] 969*2^1417284-1 is not prime. Res64: B5C5B48E79C12F1C Time : 0.0 sec. user=mdettweiler [2015-12-11 03:10:17] 727*2^1417285-1 is not prime. Res64: E108E5649950225D Time : 0.0 sec. user=mdettweiler [2015-12-11 03:20:29] 919*2^1417285-1 is not prime. Res64: 6FC1417532B14AEB Time : 0.0 sec. user=mdettweiler [2015-12-11 03:20:29] 937*2^1417285-1 is not prime. Res64: E90E7AE37951E492 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:27:43] 957*2^1417285-1 is not prime. Res64: 0B4B54DED596873E Time : 0.0 sec. user=mdettweiler [2015-12-11 03:27:44] 987*2^1417285-1 is not prime. Res64: B378F7E18654B7B6 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:37:55] 671*2^1417286-1 is not prime. Res64: 48C4D44D3E3B8E08 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:37:57] 831*2^1417286-1 is not prime. Res64: FA0524AA776A97E8 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:45:11] 867*2^1417286-1 is not prime. Res64: D4D66711C2E7BA70 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:45:13] 935*2^1417286-1 is not prime. Res64: 516834929CA06FE0 Time : 0.0 sec. user=mdettweiler [2015-12-11 03:55:33] 971*2^1417286-1 is not prime. Res64: C11A76A5717AB01A Time : 0.0 sec. user=mdettweiler [2015-12-11 03:55:34] 705*2^1417287-1 is not prime. Res64: 9923E40B2DB7ED1E Time : 0.0 sec. user=mdettweiler [2015-12-11 04:02:43] 961*2^1417287-1 is not prime. Res64: FBF750AB846B1F9C Time : 0.0 sec. user=mdettweiler [2015-12-11 04:02:44] 985*2^1417287-1 is not prime. Res64: 206DE9C954B34DCD Time : 0.0 sec. user=mdettweiler [2015-12-11 04:13:01] 603*2^1417288-1 is not prime. Res64: 1145D17A4D1D5A43 Time : 0.0 sec. user=mdettweiler [2015-12-11 04:13:01] 773*2^1417288-1 is not prime. Res64: 79CC78B1CC35DAA6 Time : 0.0 sec. user=mdettweiler [2015-12-11 04:20:11] 813*2^1417288-1 is not prime. Res64: 78007D6468E8C59A Time : 0.0 sec. user=mdettweiler [2015-12-11 04:20:11] 855*2^1417288-1 is not prime. Res64: CF6B3E8623C653F9 Time : 0.0 sec. user=mdettweiler [2015-12-11 04:30:26] 923*2^1417288-1 is not prime. Res64: B6084EA5DD33A5A8 Time : 0.0 sec. user=mdettweiler [2015-12-11 04:30:27] 615*2^1417289-1 is not prime. Res64: AF46CF9F91EBBDA7 Time : 0.0 sec. user=mdettweiler [2015-12-11 04:37:37] 675*2^1417289-1 is not prime. Res64: 883428B00095D365 Time : 0.0 sec. user=mdettweiler [2015-12-11 04:37:37] 711*2^1417289-1 is not prime. Res64: 9DF1569253A8F7DA Time : 0.0 sec. user=mdettweiler [2015-12-11 04:47:52] 747*2^1417289-1 is not prime. Res64: 1B40917ED6D3EE9B Time : 0.0 sec. user=mdettweiler [2015-12-11 04:47:52] 889*2^1417289-1 is not prime. Res64: 3ABF26ABF75B95BA Time : 0.0 sec. user=mdettweiler [2015-12-11 04:55:02] 909*2^1417289-1 is not prime. Res64: 782F2C6E073ADD94 Time : 0.0 sec. user=mdettweiler [2015-12-11 04:55:03] 635*2^1417290-1 is not prime. Res64: 6A2C2C898C0C78AF Time : 0.0 sec. user=mdettweiler [2015-12-11 05:05:20] 671*2^1417290-1 is not prime. Res64: 6F343C8BEAED2992 Time : 0.0 sec. user=mdettweiler [2015-12-11 05:05:21] 843*2^1417290-1 is not prime. Res64: 89662BA8C67C00E3 Time : 0.0 sec. user=mdettweiler [2015-12-11 05:12:28] 615*2^1417291-1 is not prime. Res64: D7839F4EEB80A50F Time : 0.0 sec. user=mdettweiler [2015-12-11 05:12:28] 673*2^1417291-1 is not prime. Res64: FEDC30EA367BA44B Time : 0.0 sec. user=mdettweiler [2015-12-11 05:22:57] 723*2^1417291-1 is not prime. Res64: A64B84862FDFE709 Time : 0.0 sec. user=mdettweiler [2015-12-11 05:22:57] 735*2^1417291-1 is not prime. Res64: C927683526B7DDA3 Time : 0.0 sec. user=mdettweiler [2015-12-11 05:29:53] 771*2^1417291-1 is not prime. Res64: 209AD4AAFA02FB8E Time : 0.0 sec. user=mdettweiler [2015-12-11 05:29:53] 805*2^1417291-1 is not prime. Res64: 7F786CBDCF2FABAB Time : 0.0 sec. user=mdettweiler [2015-12-11 05:40:22] 859*2^1417291-1 is not prime. Res64: 8E96639FD9E8955E Time : 0.0 sec. user=mdettweiler [2015-12-11 05:40:23] 939*2^1417291-1 is not prime. Res64: A71219BFB6F720A7 Time : 0.0 sec. user=mdettweiler [2015-12-11 05:47:18] 943*2^1417291-1 is not prime. Res64: BCA9DCEDFC1047CA Time : 0.0 sec. user=mdettweiler [2015-12-11 05:47:19] 605*2^1417292-1 is not prime. Res64: A7E677C0663337B2 Time : 0.0 sec. user=mdettweiler [2015-12-11 05:57:48] 635*2^1417292-1 is not prime. Res64: CA8292B05B514C67 Time : 0.0 sec. user=mdettweiler [2015-12-11 05:57:48] 725*2^1417292-1 is not prime. Res64: 1DFD5EFB7AE3DF59 Time : 0.0 sec. user=mdettweiler [2015-12-11 06:04:44] 855*2^1417292-1 is not prime. Res64: 34BC4B2E75F5E132 Time : 0.0 sec. user=mdettweiler [2015-12-11 06:04:45] 867*2^1417292-1 is not prime. Res64: 82BC234C7C1AC560 Time : 0.0 sec. user=mdettweiler [2015-12-11 06:15:13] 879*2^1417292-1 is not prime. Res64: 7A603EED66A3364C Time : 0.0 sec. user=mdettweiler [2015-12-11 06:15:13] 903*2^1417292-1 is not prime. Res64: 723E8D3334D8B4BD Time : 0.0 sec. user=mdettweiler [2015-12-11 06:22:11] 909*2^1417292-1 is not prime. Res64: EBE5899ABACF03FE Time : 0.0 sec. user=mdettweiler [2015-12-11 06:22:11] 699*2^1417293-1 is not prime. Res64: F8A8D081F90A62A6 Time : 0.0 sec. user=mdettweiler [2015-12-11 06:32:38] 727*2^1417293-1 is not prime. Res64: 9AF5D3AFB7D74D8B Time : 0.0 sec. user=mdettweiler [2015-12-11 06:32:39] 741*2^1417293-1 is not prime. Res64: 606D38F4C5456FAD Time : 0.0 sec. user=mdettweiler [2015-12-11 06:39:36] 891*2^1417293-1 is not prime. Res64: C8541C40D8EDDBFB Time : 0.0 sec. user=mdettweiler [2015-12-11 06:39:37] 919*2^1417293-1 is not prime. Res64: 81817577C7B635B9 Time : 0.0 sec. user=mdettweiler [2015-12-11 06:50:04] 951*2^1417293-1 is not prime. Res64: B978B250D7BD1B9A Time : 0.0 sec. user=mdettweiler [2015-12-11 06:50:04] 955*2^1417293-1 is not prime. Res64: E3036401E9CB2E7C Time : 0.0 sec. user=mdettweiler [2015-12-11 06:57:03] 635*2^1417294-1 is not prime. Res64: 0781CC093B8971CB Time : 0.0 sec. user=mdettweiler [2015-12-11 06:57:03] 737*2^1417294-1 is not prime. Res64: C01C2307A3F97A87 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:07:31] 755*2^1417294-1 is not prime. Res64: D5CE41318E833941 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:07:31] 783*2^1417294-1 is not prime. Res64: C4F3D567E1BEF67F Time : 0.0 sec. user=mdettweiler [2015-12-11 07:14:30] 941*2^1417294-1 is not prime. Res64: F5A21D5D30C11E08 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:14:30] 975*2^1417294-1 is not prime. Res64: 8D490997589801A6 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:24:58] 673*2^1417295-1 is not prime. Res64: 810CA53BEF0977CF Time : 0.0 sec. user=mdettweiler [2015-12-11 07:24:58] 735*2^1417295-1 is not prime. Res64: EC850AAECCFC7D0E Time : 0.0 sec. user=mdettweiler [2015-12-11 07:31:55] 799*2^1417295-1 is not prime. Res64: B0DB28AE15226217 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:31:55] 747*2^1417296-1 is not prime. Res64: 27C4855E2DF7D311 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:42:23] 879*2^1417296-1 is not prime. Res64: 2FFBDE6E98186F55 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:42:23] 639*2^1417297-1 is not prime. Res64: 9517FBE05A269642 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:49:19] 727*2^1417297-1 is not prime. Res64: 04EF3D47D461EEEE Time : 0.0 sec. user=mdettweiler [2015-12-11 07:49:20] 889*2^1417297-1 is not prime. Res64: 5CA69906EF8929D2 Time : 0.0 sec. user=mdettweiler [2015-12-11 07:59:49] 901*2^1417297-1 is not prime. Res64: E7DF25E0D3DFA05D Time : 0.0 sec. user=mdettweiler [2015-12-11 07:59:50] 617*2^1417298-1 is not prime. Res64: 43C7450739990986 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:06:46] 645*2^1417298-1 is not prime. Res64: 05989B64A0913977 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:06:49] 735*2^1417298-1 is not prime. Res64: AAA5DB82D7AC7CE4 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:17:15] 825*2^1417298-1 is not prime. Res64: F6B0B9F40EE4167E Time : 0.0 sec. user=mdettweiler [2015-12-11 08:17:16] 843*2^1417298-1 is not prime. Res64: E3E151CD5C8C00CF Time : 0.0 sec. user=mdettweiler [2015-12-11 08:24:36] 845*2^1417298-1 is not prime. Res64: CE3661E7A80B5143 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:24:36] 861*2^1417298-1 is not prime. Res64: 5A1B451EDA8CDBE2 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:34:41] 691*2^1417299-1 is not prime. Res64: DB3A8E900BC406E5 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:34:41] 853*2^1417299-1 is not prime. Res64: CE715293F157B29F Time : 0.0 sec. user=mdettweiler [2015-12-11 08:42:01] 891*2^1417299-1 is not prime. Res64: FEF8D4A6D9D9B5F2 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:42:01] 895*2^1417299-1 is not prime. Res64: 5353104626D82E1E Time : 0.0 sec. user=mdettweiler [2015-12-11 08:52:10] 913*2^1417299-1 is not prime. Res64: D4B94F609A06AB22 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:52:11] 629*2^1417300-1 is not prime. Res64: FB12391CA8421C36 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:59:31] 797*2^1417300-1 is not prime. Res64: 749A76AABE82AB69 Time : 0.0 sec. user=mdettweiler [2015-12-11 08:59:32] 813*2^1417300-1 is not prime. Res64: C982E920082DE13F Time : 0.0 sec. user=mdettweiler [2015-12-11 09:09:39] 875*2^1417300-1 is not prime. Res64: 6365589651FE32FD Time : 0.0 sec. user=mdettweiler [2015-12-11 09:09:39] 679*2^1417301-1 is not prime. Res64: 40609BC71BC1A6D1 Time : 0.0 sec. user=mdettweiler [2015-12-11 09:16:58] 885*2^1417301-1 is not prime. Res64: B0E19A1502DEF168 Time : 0.0 sec. user=mdettweiler [2015-12-11 09:16:58] 651*2^1417302-1 is not prime. Res64: 208B2D05E97874D6 Time : 0.0 sec. user=mdettweiler [2015-12-11 09:27:05] 677*2^1417302-1 is not prime. Res64: 4EE05340E7290F7C Time : 0.0 sec. user=mdettweiler [2015-12-11 09:27:06] 711*2^1417302-1 is not prime. Res64: E5637462E3EC5FDA Time : 0.0 sec. user=mdettweiler [2015-12-11 09:34:23] 777*2^1417302-1 is not prime. Res64: F785DDE86B397FA3 Time : 0.0 sec. user=mdettweiler [2015-12-11 09:34:24] 873*2^1417302-1 is not prime. Res64: DF98B2CA5C5DD8D0 Time : 0.0 sec. user=mdettweiler [2015-12-11 09:44:34] 983*2^1417302-1 is not prime. Res64: B8527DD2A23EFDE7 Time : 0.0 sec. user=mdettweiler [2015-12-11 09:44:35] 615*2^1417303-1 is not prime. Res64: 5B3A41D846DE2EC7 Time : 0.0 sec. user=mdettweiler [2015-12-11 09:51:49] 685*2^1417303-1 is not prime. Res64: 80FE8AFBC99B61EC Time : 0.0 sec. user=mdettweiler [2015-12-11 09:51:49] 705*2^1417303-1 is not prime. Res64: DAB6E4CD506D5474 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:02:03] 765*2^1417303-1 is not prime. Res64: CF72202D3C0CD291 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:02:05] 729*2^1417304-1 is not prime. Res64: A09B8F9E2CFD81CF Time : 0.0 sec. user=mdettweiler [2015-12-11 10:09:15] 743*2^1417304-1 is not prime. Res64: AC14325371E8C25E Time : 0.0 sec. user=mdettweiler [2015-12-11 10:09:16] 837*2^1417304-1 is not prime. Res64: AC41C50389D73526 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:19:40] 857*2^1417304-1 is not prime. Res64: DD0444AB48A6FA40 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:19:40] 657*2^1417305-1 is not prime. Res64: E0661F2B04A58E92 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:26:40] 727*2^1417305-1 is not prime. Res64: 3AF877A457FF1FB4 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:26:41] 739*2^1417305-1 is not prime. Res64: D7726B3F50267C71 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:37:06] 741*2^1417305-1 is not prime. Res64: 29F5C25F85A0A366 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:37:06] 979*2^1417305-1 is not prime. Res64: 47CDB3565B53A65E Time : 0.0 sec. user=mdettweiler [2015-12-11 10:44:06] 701*2^1417306-1 is not prime. Res64: 66856451835694BE Time : 0.0 sec. user=mdettweiler [2015-12-11 10:44:06] 755*2^1417306-1 is not prime. Res64: 19335DB8D46C79CE Time : 0.0 sec. user=mdettweiler [2015-12-11 10:54:32] 923*2^1417306-1 is not prime. Res64: 3C3172DBFD1DE391 Time : 0.0 sec. user=mdettweiler [2015-12-11 10:54:33] 933*2^1417306-1 is not prime. Res64: 537BE54F5B47A8A2 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:01:31] 643*2^1417307-1 is not prime. Res64: 02F12895C0798557 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:01:32] 675*2^1417307-1 is not prime. Res64: 2C8D4DC1039D0A74 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:11:57] 703*2^1417307-1 is not prime. Res64: 31DC1B6C22A8875A Time : 0.0 sec. user=mdettweiler [2015-12-11 11:11:58] 705*2^1417307-1 is not prime. Res64: DBEDB4F2C3BDE534 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:18:57] 841*2^1417307-1 is not prime. Res64: D0FE6E8EC6BBF804 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:18:58] 843*2^1417307-1 is not prime. Res64: 0EEBF9A586AD92EE Time : 0.0 sec. user=mdettweiler [2015-12-11 11:29:23] 861*2^1417307-1 is not prime. Res64: 6D45C6074DF2AFC8 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:29:23] 895*2^1417307-1 is not prime. Res64: 9C22FA533E694C9D Time : 0.0 sec. user=mdettweiler [2015-12-11 11:36:24] 963*2^1417307-1 is not prime. Res64: 0572E2EA3E93F36E Time : 0.0 sec. user=mdettweiler [2015-12-11 11:36:25] 635*2^1417308-1 is not prime. Res64: DDBB2A3C1785FA70 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:46:49] 639*2^1417308-1 is not prime. Res64: 41EB47F287AE6C17 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:46:49] 683*2^1417308-1 is not prime. Res64: 62D01D2E2D6CD1DD Time : 0.0 sec. user=mdettweiler [2015-12-11 11:53:53] 737*2^1417308-1 is not prime. Res64: 2CE370A4A6157170 Time : 0.0 sec. user=mdettweiler [2015-12-11 11:53:53] 753*2^1417308-1 is not prime. Res64: 5F8C6DBC21CB2B85 Time : 0.0 sec. user=mdettweiler [2015-12-11 12:04:15] 795*2^1417308-1 is not prime. Res64: E45D2BDD0579C07A Time : 0.0 sec. user=mdettweiler [2015-12-11 12:04:18] 797*2^1417308-1 is not prime. Res64: 05FD12F951C96D8A Time : 0.0 sec. user=mdettweiler [2015-12-11 12:11:18] 843*2^1417308-1 is not prime. Res64: 19F321F5AC30B489 Time : 0.0 sec. user=mdettweiler [2015-12-11 12:11:18] 685*2^1417309-1 is not prime. Res64: C45B4B73BD217561 Time : 0.0 sec. user=mdettweiler [2015-12-11 12:21:49] 757*2^1417309-1 is not prime. Res64: 791B9741D3735500 Time : 0.0 sec. user=mdettweiler [2015-12-11 12:21:49] 769*2^1417309-1 is not prime. Res64: 5BE0B9CD65516E1C Time : 0.0 sec. user=mdettweiler [2015-12-11 12:28:46] 829*2^1417309-1 is not prime. Res64: 1066788AA0A5151D Time : 0.0 sec. user=mdettweiler [2015-12-11 12:28:46] 753*2^1417310-1 is not prime. Res64: 7831E7E3103C093D Time : 0.0 sec. user=mdettweiler [2015-12-11 12:39:18] 825*2^1417310-1 is not prime. Res64: 3A0F1445E34B6E7D Time : 0.0 sec. user=mdettweiler [2015-12-11 12:39:19] 927*2^1417310-1 is not prime. Res64: E80872017F565596 Time : 0.0 sec. user=mdettweiler [2015-12-11 12:46:12] 953*2^1417310-1 is not prime. Res64: 6BFBA8EB99D8E2F1 Time : 0.0 sec. user=mdettweiler [2015-12-11 12:46:12] 981*2^1417310-1 is not prime. Res64: ED51909F4657DF89 Time : 0.0 sec. user=mdettweiler [2015-12-11 12:56:44] 643*2^1417311-1 is not prime. Res64: 04C9CA15CA69571D Time : 0.0 sec. user=mdettweiler [2015-12-11 12:56:45] 745*2^1417311-1 is not prime. Res64: 038B0757F5A8D7D0 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:03:38] 913*2^1417311-1 is not prime. Res64: 249ECD366204B744 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:03:40] 999*2^1417311-1 is not prime. Res64: AF6BF220BDC7FE97 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:14:11] 857*2^1417312-1 is not prime. Res64: 7C4A780F5FC3D6B5 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:14:11] 933*2^1417312-1 is not prime. Res64: AC8B639426DEE952 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:21:18] 999*2^1417312-1 is not prime. Res64: 308A2F7BB365E69E Time : 0.0 sec. user=mdettweiler [2015-12-11 13:21:19] 675*2^1417313-1 is not prime. Res64: 25764E96C61B6910 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:31:37] 787*2^1417313-1 is not prime. Res64: D63158155DA6C465 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:31:37] 789*2^1417313-1 is not prime. Res64: 7155C3D9B4D0201F Time : 0.0 sec. user=mdettweiler [2015-12-11 13:38:44] 819*2^1417313-1 is not prime. Res64: 8D8B2099F14E4221 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:38:45] 861*2^1417313-1 is not prime. Res64: ECB7E4CBC97D7CC4 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:49:04] 937*2^1417313-1 is not prime. Res64: 12F9402281246857 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:49:04] 605*2^1417314-1 is not prime. Res64: BBF33CC1FE67F57F Time : 0.0 sec. user=mdettweiler [2015-12-11 13:56:11] 711*2^1417314-1 is not prime. Res64: 992340BF723F3F59 Time : 0.0 sec. user=mdettweiler [2015-12-11 13:56:12] 723*2^1417314-1 is not prime. Res64: CCEB3E9B581E5EC4 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:06:31] 773*2^1417314-1 is not prime. Res64: D7A772596D564CF6 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:06:33] 837*2^1417314-1 is not prime. Res64: 51D4955380AF5C92 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:13:36] 923*2^1417314-1 is not prime. Res64: 5F17AA634419437D Time : 0.0 sec. user=mdettweiler [2015-12-11 14:13:37] 651*2^1417315-1 is not prime. Res64: 5DF0DF34552AABA5 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:24:15] 675*2^1417315-1 is not prime. Res64: 1267C66FB204745B Time : 0.0 sec. user=mdettweiler [2015-12-11 14:24:15] 765*2^1417315-1 is not prime. Res64: CF536AD53DA7BD11 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:31:03] 793*2^1417315-1 is not prime. Res64: 3BCCEC133CC4FC0F Time : 0.0 sec. user=mdettweiler [2015-12-11 14:31:03] 909*2^1417315-1 is not prime. Res64: CE38D58EDA632BD0 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:41:41] 913*2^1417315-1 is not prime. Res64: BB895CFF41309F97 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:41:42] 973*2^1417315-1 is not prime. Res64: 9C765E09CAB60762 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:48:28] 979*2^1417315-1 is not prime. Res64: A99F789C6A5DA05C Time : 0.0 sec. user=mdettweiler [2015-12-11 14:48:29] 677*2^1417316-1 is not prime. Res64: ECDE54F17D99D72E Time : 0.0 sec. user=mdettweiler [2015-12-11 14:59:08] 683*2^1417316-1 is not prime. Res64: 71C46676C4C6CF59 Time : 0.0 sec. user=mdettweiler [2015-12-11 14:59:08] 873*2^1417316-1 is not prime. Res64: 6EC773237480CFFA Time : 0.0 sec. user=mdettweiler [2015-12-11 15:05:57] 963*2^1417316-1 is not prime. Res64: 8FF4AE8B6E44C245 Time : 0.0 sec. user=mdettweiler [2015-12-11 15:05:58] 651*2^1417317-1 is not prime. Res64: 46E8B6162836ED4F Time : 0.0 sec. user=mdettweiler [2015-12-11 15:16:38] 741*2^1417317-1 is not prime. Res64: CE4696B692181944 Time : 0.0 sec. user=mdettweiler [2015-12-11 15:16:39] 927*2^1417317-1 is not prime. Res64: 46C3998DB92F6B16 Time : 0.0 sec. user=mdettweiler [2015-12-11 15:23:36] 961*2^1417317-1 is not prime. Res64: B09E2685C3A90CCA Time : 0.0 sec. user=mdettweiler [2015-12-11 15:23:37] 657*2^1417318-1 is not prime. Res64: 6F8AA6DCB012EE60 Time : 0.0 sec. user=mdettweiler [2015-12-11 15:34:45] 777*2^1417318-1 is not prime. Res64: A6B3DC4497BF895F Time : 0.0 sec. user=mdettweiler [2015-12-11 15:34:46] 813*2^1417318-1 is not prime. Res64: 8A345E4E3DA69A2A Time : 0.0 sec. user=mdettweiler [2015-12-11 15:42:02] 645*2^1417319-1 is not prime. Res64: 87275ECD7C02CF9D Time : 0.0 sec. user=mdettweiler [2015-12-11 15:42:02] 649*2^1417319-1 is not prime. Res64: 3BC317DD43575F56 Time : 0.0 sec. user=mdettweiler [2015-12-11 15:52:32] 721*2^1417319-1 is not prime. Res64: 553967411DC66022 Time : 0.0 sec. user=mdettweiler [2015-12-11 15:52:32] 741*2^1417319-1 is not prime. Res64: 3906EA39F3D4680A Time : 0.0 sec. user=mdettweiler [2015-12-11 15:59:31] 825*2^1417319-1 is not prime. Res64: F0861FA035A906B2 Time : 0.0 sec. user=mdettweiler [2015-12-11 15:59:32] 843*2^1417319-1 is not prime. Res64: FC6275CD7B1B4C83 Time : 0.0 sec. user=mdettweiler [2015-12-11 16:10:00] 931*2^1417319-1 is not prime. Res64: DC9EE84917B56AB5 Time : 0.0 sec. user=mdettweiler [2015-12-11 16:10:01] 993*2^1417319-1 is not prime. Res64: 9690754C93B5558E Time : 0.0 sec. user=mdettweiler [2015-12-11 16:16:57] 795*2^1417320-1 is not prime. Res64: 154AF5A52548B61E Time : 0.0 sec. user=mdettweiler [2015-12-11 16:16:58] 825*2^1417320-1 is not prime. Res64: A4196A1DABF4C7DC Time : 0.0 sec. user=mdettweiler [2015-12-11 16:27:30] 887*2^1417320-1 is not prime. Res64: 98D225EE00875C4A Time : 0.0 sec. user=mdettweiler [2015-12-11 16:27:31] 945*2^1417320-1 is not prime. Res64: 35C9F1F4A7C4F89A Time : 0.0 sec. user=mdettweiler [2015-12-11 16:34:27] 687*2^1417321-1 is not prime. Res64: 5F2B09CDDB37696C Time : 0.0 sec. user=mdettweiler [2015-12-11 16:34:27] 819*2^1417321-1 is not prime. Res64: 5EB73F0D5EFD168E Time : 0.0 sec. user=mdettweiler [2015-12-11 16:44:58] 871*2^1417321-1 is not prime. Res64: FFDD18144155C942 Time : 0.0 sec. user=mdettweiler [2015-12-11 16:44:58] 877*2^1417321-1 is not prime. Res64: B5CBA6D9B360E877 Time : 0.0 sec. user=mdettweiler [2015-12-11 16:51:52] 987*2^1417321-1 is not prime. Res64: 12FAB16AFC607B9B Time : 0.0 sec. user=mdettweiler [2015-12-11 16:51:52] 615*2^1417322-1 is not prime. Res64: C77C59910F7AC1B5 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:02:25] 665*2^1417322-1 is not prime. Res64: 8949CA0FBDC69787 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:02:26] 735*2^1417322-1 is not prime. Res64: 0931509EE16071C9 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:09:16] 755*2^1417322-1 is not prime. Res64: C53BD0AF1A72EB3F Time : 0.0 sec. user=mdettweiler [2015-12-11 17:09:17] 831*2^1417322-1 is not prime. Res64: FA113DE8F1A924DC Time : 0.0 sec. user=mdettweiler [2015-12-11 17:19:53] 987*2^1417322-1 is not prime. Res64: 82A80D2420B370A3 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:19:53] 663*2^1417323-1 is not prime. Res64: BF7E5C8B560979B1 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:26:46] 669*2^1417323-1 is not prime. Res64: DB8DE2F3A88C94B2 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:26:46] 775*2^1417323-1 is not prime. Res64: EFEF0D4BA3A6A6A7 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:37:25] 783*2^1417323-1 is not prime. Res64: 760EC8ECC26ABF98 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:37:26] 861*2^1417323-1 is not prime. Res64: 3156E86F1A9A950B Time : 0.0 sec. user=mdettweiler [2015-12-11 17:44:23] 871*2^1417323-1 is not prime. Res64: 7CD971199DAC9D51 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:44:23] 675*2^1417324-1 is not prime. Res64: 96A0551FB9D15C31 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:54:57] 693*2^1417324-1 is not prime. Res64: 44320A184FB75E63 Time : 0.0 sec. user=mdettweiler [2015-12-11 17:54:57] 695*2^1417324-1 is not prime. Res64: B70282DC9D18D256 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:01:49] 827*2^1417324-1 is not prime. Res64: 056CBD63F5E21933 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:01:50] 855*2^1417324-1 is not prime. Res64: D28F38A2D7EDF00F Time : 0.0 sec. user=mdettweiler [2015-12-11 18:12:22] 863*2^1417324-1 is not prime. Res64: 52CC74484C23F608 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:12:23] 875*2^1417324-1 is not prime. Res64: A36E46C1C9B85473 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:19:17] 897*2^1417324-1 is not prime. Res64: AF20BC411E507B3D Time : 0.0 sec. user=mdettweiler [2015-12-11 18:19:17] 903*2^1417324-1 is not prime. Res64: AB985225D4EBA181 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:29:50] 953*2^1417324-1 is not prime. Res64: CBABD4583059FCB1 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:29:50] 685*2^1417325-1 is not prime. Res64: DFEB1B6088DEBC2B Time : 0.0 sec. user=mdettweiler [2015-12-11 18:36:43] 789*2^1417325-1 is not prime. Res64: F715818A5B7DB857 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:36:43] 805*2^1417325-1 is not prime. Res64: 3613243143AB8734 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:47:15] 937*2^1417325-1 is not prime. Res64: 47A94101361C7E61 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:47:15] 815*2^1417326-1 is not prime. Res64: 15089F379E7BBAE8 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:54:08] 861*2^1417326-1 is not prime. Res64: 186FA637839DB3E2 Time : 0.0 sec. user=mdettweiler [2015-12-11 18:54:09] 873*2^1417326-1 is not prime. Res64: 8FA8AC7885057E39 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:04:42] 601*2^1417327-1 is not prime. Res64: 98FA04D7A3BF0BB7 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:04:44] 639*2^1417327-1 is not prime. Res64: 0711570DA28F790E Time : 0.0 sec. user=mdettweiler [2015-12-11 19:11:33] 673*2^1417327-1 is not prime. Res64: E71A41C8F5C99DAB Time : 0.0 sec. user=mdettweiler [2015-12-11 19:11:34] 765*2^1417327-1 is not prime. Res64: F7AFEFACEFC8C7E1 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:22:18] 829*2^1417327-1 is not prime. Res64: 154ADB006A097FB4 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:22:18] 975*2^1417327-1 is not prime. Res64: A1F2AD0726CF0494 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:28:59] 985*2^1417327-1 is not prime. Res64: 8EE8A8ADD4AD32A2 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:28:59] 615*2^1417328-1 is not prime. Res64: 0D5F0DD0C3F79D45 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:39:46] 665*2^1417328-1 is not prime. Res64: DBFF422630D999DA Time : 0.0 sec. user=mdettweiler [2015-12-11 19:39:46] 803*2^1417328-1 is not prime. Res64: 65D8F2B91A2E5930 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:46:27] 843*2^1417328-1 is not prime. Res64: 064EB79D757A7E2A Time : 0.0 sec. user=mdettweiler [2015-12-11 19:46:27] 855*2^1417328-1 is not prime. Res64: 889D63DE3AF1B656 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:57:11] 867*2^1417328-1 is not prime. Res64: 79E057B3E898EA12 Time : 0.0 sec. user=mdettweiler [2015-12-11 19:57:11] 869*2^1417328-1 is not prime. Res64: E6FE25EA28740287 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:03:53] 927*2^1417328-1 is not prime. Res64: 9050F94837760CE9 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:03:54] 935*2^1417328-1 is not prime. Res64: 944523AFDC37A7AB Time : 0.0 sec. user=mdettweiler [2015-12-11 20:14:36] 995*2^1417328-1 is not prime. Res64: 83107F5AD7D73667 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:14:37] 999*2^1417328-1 is not prime. Res64: 066C2E5B4ADE239E Time : 0.0 sec. user=mdettweiler [2015-12-11 20:21:20] 657*2^1417329-1 is not prime. Res64: 83B65E0377D6AFA8 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:21:21] 769*2^1417329-1 is not prime. Res64: 1F527F90B346EABC Time : 0.0 sec. user=mdettweiler [2015-12-11 20:32:04] 781*2^1417329-1 is not prime. Res64: B35958EC07D31C26 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:32:05] 951*2^1417329-1 is not prime. Res64: 70272F51DBC5AE03 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:38:46] 999*2^1417329-1 is not prime. Res64: BBD910F294E062A7 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:38:46] 687*2^1417330-1 is not prime. Res64: C343C9338832D592 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:49:29] 783*2^1417330-1 is not prime. Res64: 3D2F6B74EA7F0B10 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:49:29] 785*2^1417330-1 is not prime. Res64: E37CC9DA28B167B0 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:56:12] 827*2^1417330-1 is not prime. Res64: 5CE7B51DBDA4D629 Time : 0.0 sec. user=mdettweiler [2015-12-11 20:56:13] 981*2^1417330-1 is not prime. Res64: E3DEB621D7B4B234 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:06:58] 745*2^1417331-1 is not prime. Res64: CE68DE8F431B3BD7 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:06:59] 753*2^1417331-1 is not prime. Res64: 4E93E8D2DD432FE0 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:13:39] 841*2^1417331-1 is not prime. Res64: B093E1CE1742FF31 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:13:39] 859*2^1417331-1 is not prime. Res64: 08DE2E8B18CC46BD Time : 0.0 sec. user=mdettweiler [2015-12-11 21:24:43] 909*2^1417331-1 is not prime. Res64: 67D6EC97B631EF76 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:24:43] 979*2^1417331-1 is not prime. Res64: A76CE9C9A4D5261A Time : 0.0 sec. user=mdettweiler [2015-12-11 21:31:05] 665*2^1417332-1 is not prime. Res64: 973F1FCADB203761 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:31:06] 669*2^1417332-1 is not prime. Res64: F24754C9C4BFC556 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:42:09] 693*2^1417332-1 is not prime. Res64: 02B584388F2594CD Time : 0.0 sec. user=mdettweiler [2015-12-11 21:42:10] 779*2^1417332-1 is not prime. Res64: 244E368944351F85 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:48:33] 797*2^1417332-1 is not prime. Res64: D569FD183A3A99F5 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:48:33] 809*2^1417332-1 is not prime. Res64: 7C441344A57FC168 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:59:40] 825*2^1417332-1 is not prime. Res64: F90B456A7AB7B326 Time : 0.0 sec. user=mdettweiler [2015-12-11 21:59:40] 691*2^1417333-1 is not prime. Res64: 69E395721D22E312 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:06:00] 877*2^1417333-1 is not prime. Res64: 1E6FDB6B26DEB6DB Time : 0.0 sec. user=mdettweiler [2015-12-11 22:06:01] 937*2^1417333-1 is not prime. Res64: 1C3A8CFD76F1C625 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:17:07] 623*2^1417334-1 is not prime. Res64: DC4757A7553F0174 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:17:07] 641*2^1417334-1 is not prime. Res64: AB862710B9F91662 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:23:42] 741*2^1417334-1 is not prime. Res64: 0FAB9CF94CAAC2BC Time : 0.0 sec. user=mdettweiler [2015-12-11 22:23:42] 743*2^1417334-1 is not prime. Res64: 1902A066B7C32BCE Time : 0.0 sec. user=mdettweiler [2015-12-11 22:34:36] 861*2^1417334-1 is not prime. Res64: 2431EA0B9057AB35 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:34:37] 875*2^1417334-1 is not prime. Res64: 6DE79E628DBE3170 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:41:09] 951*2^1417334-1 is not prime. Res64: 11E50E497C4242E9 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:41:09] 723*2^1417335-1 is not prime. Res64: 78ACE43C3C87CB7E Time : 0.0 sec. user=mdettweiler [2015-12-11 22:52:01] 763*2^1417335-1 is not prime. Res64: E44791F47F996B64 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:52:02] 783*2^1417335-1 is not prime. Res64: 52E895BBFFB17A00 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:58:34] 793*2^1417335-1 is not prime. Res64: 05C17F18B3572DE3 Time : 0.0 sec. user=mdettweiler [2015-12-11 22:58:34] 895*2^1417335-1 is not prime. Res64: 7B531FAE1637554C Time : 0.0 sec. user=mdettweiler [2015-12-11 23:09:26] 921*2^1417335-1 is not prime. Res64: 67312C2C76BA04E5 Time : 0.0 sec. user=mdettweiler [2015-12-11 23:09:26] 979*2^1417335-1 is not prime. Res64: B1A37B7FD20B65DF Time : 0.0 sec. user=mdettweiler [2015-12-11 23:15:58] 645*2^1417336-1 is not prime. Res64: 4896603A8EFCC8D0 Time : 0.0 sec. user=mdettweiler [2015-12-11 23:15:58] 657*2^1417336-1 is not prime. Res64: 9E8FAFE86C3679D7 Time : 0.0 sec. user=mdettweiler [2015-12-11 23:26:53] 689*2^1417336-1 is not prime. Res64: F625DB84E4D4DE17 Time : 0.0 sec. user=mdettweiler [2015-12-11 23:26:54] 693*2^1417336-1 is not prime. Res64: 9C7D2822E69F317D Time : 0.0 sec. user=mdettweiler [2015-12-11 23:33:22] 705*2^1417336-1 is not prime. Res64: EF559DC2A1F6FA9C Time : 0.0 sec. user=mdettweiler [2015-12-11 23:33:23] 755*2^1417336-1 is not prime. Res64: 35E8E5E78ACBB645 Time : 0.0 sec. user=mdettweiler [2015-12-11 23:44:18] 825*2^1417336-1 is not prime. Res64: D821D2850AEF0A8A Time : 0.0 sec. user=mdettweiler [2015-12-11 23:44:18] 917*2^1417336-1 is not prime. Res64: 3FC0E060D584F11D Time : 0.0 sec. user=mdettweiler [2015-12-11 23:50:49] 969*2^1417336-1 is not prime. Res64: FFEE82A5345A0E9D Time : 0.0 sec. user=mdettweiler [2015-12-11 23:50:49] 989*2^1417336-1 is not prime. Res64: F187D73E39DBA593 Time : 0.0 sec.