user=mdettweiler [2015-07-17 00:01:39] 915*2^1403293-1 is not prime. Res64: 0A0B930D41FE2AA5 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:01:39] 945*2^1403293-1 is not prime. Res64: E5F70E00BB22B457 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:03:02] 961*2^1403293-1 is not prime. Res64: 076D508C3537C136 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:03:03] 979*2^1403293-1 is not prime. Res64: BFA39ADDB302A1DA Time : 0.0 sec. user=mdettweiler [2015-07-17 00:15:51] 641*2^1403294-1 is not prime. Res64: 8BD9007C3CE93000 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:15:51] 645*2^1403294-1 is not prime. Res64: 11C116D49FACCAE2 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:16:06] 675*2^1403294-1 is not prime. Res64: 2E5B9D3037D64FC6 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:16:06] 773*2^1403294-1 is not prime. Res64: 2F927686C63ED7F6 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:19:31] 785*2^1403294-1 is not prime. Res64: C74785A8513519D2 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:19:31] 887*2^1403294-1 is not prime. Res64: 373AD10BBE25B00F Time : 0.0 sec. user=mdettweiler [2015-07-17 00:20:54] 853*2^1403295-1 is not prime. Res64: C54ADA476C82FC42 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:20:54] 885*2^1403295-1 is not prime. Res64: 37584AA3FE93CB4F Time : 0.0 sec. user=mdettweiler [2015-07-17 00:33:55] 919*2^1403295-1 is not prime. Res64: 9002A47F0935793F Time : 0.0 sec. user=mdettweiler [2015-07-17 00:33:55] 961*2^1403295-1 is not prime. Res64: 47C0963A028F6CDF Time : 0.0 sec. user=mdettweiler [2015-07-17 00:34:06] 615*2^1403296-1 is not prime. Res64: 7B25A902C6D02378 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:34:06] 743*2^1403296-1 is not prime. Res64: D1B4F021575DFD33 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:37:39] 765*2^1403296-1 is not prime. Res64: 185D41C326F4334C Time : 0.0 sec. user=mdettweiler [2015-07-17 00:37:39] 855*2^1403296-1 is not prime. Res64: 0D08A9AD4E3E4DE7 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:38:36] 875*2^1403296-1 is not prime. Res64: 8EE78B94315C82E8 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:38:36] 905*2^1403296-1 is not prime. Res64: 846B075458DB9A6E Time : 0.0 sec. user=mdettweiler [2015-07-17 00:51:54] 975*2^1403296-1 is not prime. Res64: 80BC2B01D8C441D0 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:51:54] 999*2^1403296-1 is not prime. Res64: 829981C44A0BA8E9 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:52:16] 729*2^1403297-1 is not prime. Res64: 7BE7EBFF1F27BA16 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:52:16] 837*2^1403297-1 is not prime. Res64: F28523DC5BEA8F23 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:55:28] 841*2^1403297-1 is not prime. Res64: 45F3FFE7AECD75F8 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:55:29] 861*2^1403297-1 is not prime. Res64: 3E062530487EAE98 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:56:28] 909*2^1403297-1 is not prime. Res64: A68ECA0EBB485245 Time : 0.0 sec. user=mdettweiler [2015-07-17 00:56:28] 949*2^1403297-1 is not prime. Res64: 50588D20C484266E Time : 0.0 sec. user=mdettweiler [2015-07-17 01:10:22] 981*2^1403297-1 is not prime. Res64: 4A5F9574341AAB70 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:10:22] 641*2^1403298-1 is not prime. Res64: ED06689081D177B9 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:10:31] 803*2^1403298-1 is not prime. Res64: A6E44008B306A648 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:10:31] 861*2^1403298-1 is not prime. Res64: 533C38F22AD30EAB Time : 0.0 sec. user=mdettweiler [2015-07-17 01:13:50] 769*2^1403299-1 is not prime. Res64: CEC2E04EAAFB17AF Time : 0.0 sec. user=mdettweiler [2015-07-17 01:13:50] 793*2^1403299-1 is not prime. Res64: 0C86E310F8FCDAE7 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:15:12] 835*2^1403299-1 is not prime. Res64: 261ED95B3D48E079 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:15:12] 843*2^1403299-1 is not prime. Res64: DFE6F8DBDE7764E6 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:29:26] 951*2^1403299-1 is not prime. Res64: 25E9F66A73E71593 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:29:27] 969*2^1403299-1 is not prime. Res64: 49A42D9D1AC5B61B Time : 0.0 sec. user=mdettweiler [2015-07-17 01:29:29] 855*2^1403299-1 is not prime. Res64: 13D254587EB1CDF4 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:29:32] 861*2^1403299-1 is not prime. Res64: 588411628920C1A9 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:32:44] 973*2^1403299-1 is not prime. Res64: 3C9C740E251DAE34 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:32:44] 985*2^1403299-1 is not prime. Res64: 02126F5A5717AA0E Time : 0.0 sec. user=mdettweiler [2015-07-17 01:33:57] 609*2^1403300-1 is not prime. Res64: E6C92F8F2706BAA6 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:33:58] 743*2^1403300-1 is not prime. Res64: 4E89D50A20E932D1 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:47:53] 777*2^1403300-1 is not prime. Res64: 419AA4F560A19966 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:47:53] 885*2^1403300-1 is not prime. Res64: 615AD413CE74DC76 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:48:07] 963*2^1403300-1 is not prime. Res64: BD647C882B0DCF2B Time : 0.0 sec. user=mdettweiler [2015-07-17 01:48:07] 691*2^1403301-1 is not prime. Res64: C81F95B6D8B3FD0E Time : 0.0 sec. user=mdettweiler [2015-07-17 01:51:00] 777*2^1403301-1 is not prime. Res64: 3813C327C26D23C2 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:51:00] 895*2^1403301-1 is not prime. Res64: 59153D4D76105278 Time : 0.0 sec. user=mdettweiler [2015-07-17 01:51:53] 951*2^1403301-1 is not prime. Res64: 30AFD2D54AF0911D Time : 0.0 sec. user=mdettweiler [2015-07-17 01:51:53] 645*2^1403302-1 is not prime. Res64: 608FBCB7F0CBA8BF Time : 0.0 sec. user=mdettweiler [2015-07-17 02:06:23] 731*2^1403302-1 is not prime. Res64: 520065A2C6E53057 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:06:23] 827*2^1403302-1 is not prime. Res64: D68BD5A1D22E0410 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:06:23] 947*2^1403302-1 is not prime. Res64: 68953969237A9629 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:06:23] 737*2^1403302-1 is not prime. Res64: 2A78423195DA82BD Time : 0.0 sec. user=mdettweiler [2015-07-17 02:09:23] 951*2^1403302-1 is not prime. Res64: DF9C1E7E00ED0374 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:09:23] 965*2^1403302-1 is not prime. Res64: 094BA420C12CE7B3 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:10:05] 859*2^1403303-1 is not prime. Res64: 6886EC75DAF0754E Time : 0.0 sec. user=mdettweiler [2015-07-17 02:10:05] 939*2^1403303-1 is not prime. Res64: EE988AB110422AD0 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:24:25] 945*2^1403303-1 is not prime. Res64: FB4A5CFF728AD3D1 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:24:26] 663*2^1403304-1 is not prime. Res64: B69FE86A7E8AA172 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:24:38] 699*2^1403304-1 is not prime. Res64: 7E7260BC505FE669 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:24:38] 789*2^1403304-1 is not prime. Res64: B0B45BCABF968F5B Time : 0.0 sec. user=mdettweiler [2015-07-17 02:27:36] 795*2^1403304-1 is not prime. Res64: 855CDCEAD415AD12 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:27:36] 837*2^1403304-1 is not prime. Res64: 9ACD4D152BE0AB88 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:27:58] 843*2^1403304-1 is not prime. Res64: B7C66667FB31069F Time : 0.0 sec. user=mdettweiler [2015-07-17 02:27:58] 875*2^1403304-1 is not prime. Res64: B797A8E75FB529CA Time : 0.0 sec. user=mdettweiler [2015-07-17 02:42:15] 893*2^1403304-1 is not prime. Res64: 3F56F181CA835428 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:42:15] 993*2^1403304-1 is not prime. Res64: 4092040304CD91AA Time : 0.0 sec. user=mdettweiler [2015-07-17 02:42:37] 651*2^1403305-1 is not prime. Res64: 5975A8D5A5BF4E93 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:42:37] 759*2^1403305-1 is not prime. Res64: DF62A64E3E02C828 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:45:41] 633*2^1403306-1 is not prime. Res64: 1FE6EE6B75FBCA0A Time : 0.0 sec. user=mdettweiler [2015-07-17 02:45:41] 651*2^1403306-1 is not prime. Res64: 6B82A8A4A79430B2 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:45:56] 707*2^1403306-1 is not prime. Res64: 594A07CDAE567632 Time : 0.0 sec. user=mdettweiler [2015-07-17 02:45:56] 713*2^1403306-1 is not prime. Res64: 95C20A812060EC6E Time : 0.0 sec. user=mdettweiler [2015-07-17 03:00:21] 893*2^1403306-1 is not prime. Res64: D8D6BDA9065B251B Time : 0.0 sec. user=mdettweiler [2015-07-17 03:00:22] 699*2^1403307-1 is not prime. Res64: CAD7E9FF8224A353 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:00:24] 825*2^1403307-1 is not prime. Res64: DAE3D034042AB114 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:00:24] 895*2^1403307-1 is not prime. Res64: 0E0DFF2C9E452DCA Time : 0.0 sec. user=mdettweiler [2015-07-17 03:03:25] 901*2^1403307-1 is not prime. Res64: C252FA41CDB0ECC6 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:03:27] 903*2^1403307-1 is not prime. Res64: 716EC937F768A56A Time : 0.0 sec. user=mdettweiler [2015-07-17 03:04:03] 657*2^1403308-1 is not prime. Res64: ABC1D79BBA982680 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:04:04] 887*2^1403308-1 is not prime. Res64: 7D01D7B540F797C7 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:18:18] 927*2^1403308-1 is not prime. Res64: 5CAE06FA2EB3051B Time : 0.0 sec. user=mdettweiler [2015-07-17 03:18:18] 995*2^1403308-1 is not prime. Res64: 9DCBFB61A2DDAD28 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:18:35] 627*2^1403309-1 is not prime. Res64: 0CE1BFD668ECC290 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:18:35] 819*2^1403309-1 is not prime. Res64: E5F6FEC027F69120 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:21:11] 865*2^1403309-1 is not prime. Res64: 4658060FDA5AC78A Time : 0.0 sec. user=mdettweiler [2015-07-17 03:21:12] 969*2^1403309-1 is not prime. Res64: FD3645202603166B Time : 0.0 sec. user=mdettweiler [2015-07-17 03:22:00] 641*2^1403310-1 is not prime. Res64: EA07414880D93612 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:22:00] 723*2^1403310-1 is not prime. Res64: B10330055BFC9491 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:36:27] 773*2^1403310-1 is not prime. Res64: C4F5721D7EBFCD31 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:36:29] 941*2^1403310-1 is not prime. Res64: 0B31E7082B1D9CC3 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:36:32] 971*2^1403310-1 is not prime. Res64: BF8754FA268677A6 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:36:33] 603*2^1403311-1 is not prime. Res64: 97311BDCD5F15185 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:39:13] 703*2^1403311-1 is not prime. Res64: C5F02E68DE12818D Time : 0.0 sec. user=mdettweiler [2015-07-17 03:39:14] 751*2^1403311-1 is not prime. Res64: E7E51DBD993557E2 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:40:20] 819*2^1403311-1 is not prime. Res64: 64C521079A3C0FBD Time : 0.0 sec. user=mdettweiler [2015-07-17 03:40:21] 855*2^1403311-1 is not prime. Res64: F6AAB05CCD2623DC Time : 0.0 sec. user=mdettweiler [2015-07-17 03:54:50] 913*2^1403311-1 is not prime. Res64: 39AA80DF0347BE71 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:54:50] 939*2^1403311-1 is not prime. Res64: CA7FBBFD87547A4C Time : 0.0 sec. user=mdettweiler [2015-07-17 03:54:51] 901*2^1403311-1 is not prime. Res64: 9C33027F2F1FC952 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:54:51] 909*2^1403311-1 is not prime. Res64: 2D8BA23BCAFDD7E4 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:57:10] 665*2^1403312-1 is not prime. Res64: 31941F502AE3FB67 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:57:11] 797*2^1403312-1 is not prime. Res64: C427CD02DB881306 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:58:45] 897*2^1403312-1 is not prime. Res64: 8C946C47B80F6BD9 Time : 0.0 sec. user=mdettweiler [2015-07-17 03:58:45] 899*2^1403312-1 is not prime. Res64: A17631176EF28685 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:12:52] 609*2^1403313-1 is not prime. Res64: 7AB3B03C80C07346 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:12:52] 615*2^1403313-1 is not prime. Res64: 5ED9C68AB6D249D9 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:13:05] 835*2^1403313-1 is not prime. Res64: A9A050D81A9145E1 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:13:05] 877*2^1403313-1 is not prime. Res64: C0128E6F9AAF0307 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:15:03] 979*2^1403313-1 is not prime. Res64: 47B8D89A5EE21440 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:15:04] 623*2^1403314-1 is not prime. Res64: 20904E2FD5CBDFEC Time : 0.0 sec. user=mdettweiler [2015-07-17 04:16:52] 663*2^1403314-1 is not prime. Res64: ECD76DDDB65FCFD4 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:16:53] 701*2^1403314-1 is not prime. Res64: 29910D057A3E5FF4 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:30:56] 741*2^1403315-1 is not prime. Res64: F4E37B8134EA8156 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:30:57] 633*2^1403316-1 is not prime. Res64: 5043B1C496AAC4DB Time : 0.0 sec. user=mdettweiler [2015-07-17 04:31:06] 741*2^1403314-1 is not prime. Res64: 8B9A41E106990ABB Time : 0.0 sec. user=mdettweiler [2015-07-17 04:31:07] 755*2^1403314-1 is not prime. Res64: A0BDC73C76B776BA Time : 0.0 sec. user=mdettweiler [2015-07-17 04:33:15] 657*2^1403316-1 is not prime. Res64: F04361DE3B86133F Time : 0.0 sec. user=mdettweiler [2015-07-17 04:33:16] 707*2^1403316-1 is not prime. Res64: 6526917048D669DF Time : 0.0 sec. user=mdettweiler [2015-07-17 04:35:13] 777*2^1403316-1 is not prime. Res64: 4345931EACA6C0A0 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:35:13] 933*2^1403316-1 is not prime. Res64: F9C0C4B93BE71F8C Time : 0.0 sec. user=mdettweiler [2015-07-17 04:50:11] 715*2^1403317-1 is not prime. Res64: 2284EE7CF5C372A5 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:50:11] 717*2^1403317-1 is not prime. Res64: AB5D887D870FD211 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:50:36] 983*2^1403316-1 is not prime. Res64: 0DED2C67D9EA1089 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:50:37] 619*2^1403317-1 is not prime. Res64: C2E14D9D6BB80BF2 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:51:50] 747*2^1403317-1 is not prime. Res64: 3CF2624F41D6AE36 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:51:50] 765*2^1403317-1 is not prime. Res64: CE23FDDA8DAB4C87 Time : 0.0 sec. user=mdettweiler [2015-07-17 04:53:40] 939*2^1403317-1 is not prime. Res64: 534504288A748C1A Time : 0.0 sec. user=mdettweiler [2015-07-17 04:53:40] 997*2^1403317-1 is not prime. Res64: A60E96A9A33279BF Time : 0.0 sec. user=mdettweiler [2015-07-17 05:08:24] 617*2^1403318-1 is not prime. Res64: CFBE2C890BF32E07 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:08:24] 665*2^1403318-1 is not prime. Res64: EF3AB89972BE99F9 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:08:38] 833*2^1403318-1 is not prime. Res64: C879DEF15C9A621C Time : 0.0 sec. user=mdettweiler [2015-07-17 05:08:38] 875*2^1403318-1 is not prime. Res64: F1D83E76E33A1FE7 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:09:51] 897*2^1403318-1 is not prime. Res64: 5D29B1E5505A6A91 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:09:51] 911*2^1403318-1 is not prime. Res64: 3716BDEDB6196ED0 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:11:31] 921*2^1403318-1 is not prime. Res64: B16979AADD3E09E5 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:11:31] 613*2^1403319-1 is not prime. Res64: 599125B8853D0552 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:26:24] 709*2^1403319-1 is not prime. Res64: D0E864EF18964FAD Time : 0.0 sec. user=mdettweiler [2015-07-17 05:26:25] 763*2^1403319-1 is not prime. Res64: 75CD82F96BE74056 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:26:46] 853*2^1403319-1 is not prime. Res64: 4764E25AF081F620 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:26:46] 861*2^1403319-1 is not prime. Res64: 622573F9011B2ADE Time : 0.0 sec. user=mdettweiler [2015-07-17 05:27:50] 931*2^1403319-1 is not prime. Res64: 12E12A7E4AB37AAF Time : 0.0 sec. user=mdettweiler [2015-07-17 05:27:50] 973*2^1403319-1 is not prime. Res64: E1D4EF3E31B3EFA4 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:29:33] 999*2^1403319-1 is not prime. Res64: ED95392EA334B693 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:29:33] 609*2^1403320-1 is not prime. Res64: 6E7441F536962BA5 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:44:22] 677*2^1403320-1 is not prime. Res64: 39FA214E560F4CE3 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:44:22] 687*2^1403320-1 is not prime. Res64: 5F4E531BB5A9D3EA Time : 0.0 sec. user=mdettweiler [2015-07-17 05:44:51] 693*2^1403320-1 is not prime. Res64: 7E4EF813B7159C44 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:44:51] 707*2^1403320-1 is not prime. Res64: 072D653AACBDA102 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:45:47] 735*2^1403320-1 is not prime. Res64: 122323D46AA38AF2 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:45:47] 743*2^1403320-1 is not prime. Res64: BD9D609473C0C4A3 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:47:27] 679*2^1403321-1 is not prime. Res64: 39DF44236811EF08 Time : 0.0 sec. user=mdettweiler [2015-07-17 05:47:27] 747*2^1403321-1 is not prime. Res64: 6830E352448FEE1A Time : 0.0 sec. user=mdettweiler [2015-07-17 06:02:25] 781*2^1403321-1 is not prime. Res64: 193009E977393972 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:02:26] 885*2^1403321-1 is not prime. Res64: 4A0D218874FC92B3 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:02:40] 931*2^1403321-1 is not prime. Res64: A5BE7BBF02F1F698 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:02:41] 981*2^1403321-1 is not prime. Res64: 5788428D7694A039 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:03:51] 681*2^1403322-1 is not prime. Res64: D2327DF97DBC6138 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:03:52] 777*2^1403322-1 is not prime. Res64: 3483753536310EF0 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:05:30] 887*2^1403322-1 is not prime. Res64: 5C151FB875603564 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:05:31] 893*2^1403322-1 is not prime. Res64: E35137D8BB8DE280 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:20:37] 621*2^1403323-1 is not prime. Res64: 8796E6356358DF13 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:20:37] 693*2^1403323-1 is not prime. Res64: 7529523E8BA361AA Time : 0.0 sec. user=mdettweiler [2015-07-17 06:20:41] 921*2^1403322-1 is not prime. Res64: 6347153F0B9813BE Time : 0.0 sec. user=mdettweiler [2015-07-17 06:20:41] 615*2^1403323-1 is not prime. Res64: 2E28ED999EB59DAB Time : 0.0 sec. user=mdettweiler [2015-07-17 06:21:51] 793*2^1403323-1 is not prime. Res64: 697F011A58B0308B Time : 0.0 sec. user=mdettweiler [2015-07-17 06:21:51] 819*2^1403323-1 is not prime. Res64: 76CC2BB4BF0BC8A8 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:23:34] 915*2^1403323-1 is not prime. Res64: 91B0AC8F9C5EBBBD Time : 0.0 sec. user=mdettweiler [2015-07-17 06:23:35] 919*2^1403323-1 is not prime. Res64: 8C8F30593160B2D2 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:38:32] 827*2^1403324-1 is not prime. Res64: 4300748758564C0D Time : 0.0 sec. user=mdettweiler [2015-07-17 06:38:33] 855*2^1403324-1 is not prime. Res64: 2A8C636CC7490CCD Time : 0.0 sec. user=mdettweiler [2015-07-17 06:38:43] 973*2^1403323-1 is not prime. Res64: 02448A2F37BCB8DC Time : 0.0 sec. user=mdettweiler [2015-07-17 06:38:43] 755*2^1403324-1 is not prime. Res64: 443F4FF0B00C7702 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:39:47] 897*2^1403324-1 is not prime. Res64: CE0F91876A16E613 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:39:48] 959*2^1403324-1 is not prime. Res64: 0FD99C8589C6BF67 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:41:29] 811*2^1403325-1 is not prime. Res64: 5D44218DC5043AB7 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:41:30] 847*2^1403325-1 is not prime. Res64: 69DD2C53A04CB269 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:56:41] 951*2^1403325-1 is not prime. Res64: 3B37BAE02508ABB8 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:56:41] 773*2^1403326-1 is not prime. Res64: 9E8E6BC5BD2E36E2 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:56:41] 885*2^1403325-1 is not prime. Res64: B8C669EDE50E5C2F Time : 0.0 sec. user=mdettweiler [2015-07-17 06:56:41] 915*2^1403325-1 is not prime. Res64: E844B09FF5055EEB Time : 0.0 sec. user=mdettweiler [2015-07-17 06:57:51] 813*2^1403326-1 is not prime. Res64: 845EE2DDFBD957D1 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:57:51] 887*2^1403326-1 is not prime. Res64: D59B2180E65FA407 Time : 0.0 sec. user=mdettweiler [2015-07-17 06:59:23] 897*2^1403326-1 is not prime. Res64: 5B1EA5C6AB1D8E7E Time : 0.0 sec. user=mdettweiler [2015-07-17 06:59:23] 615*2^1403327-1 is not prime. Res64: F7F9A5EF5F97B715 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:14:40] 619*2^1403327-1 is not prime. Res64: 297448B53D590072 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:14:40] 633*2^1403327-1 is not prime. Res64: 0AFCB7623F551400 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:14:51] 711*2^1403327-1 is not prime. Res64: A3A74D91F2AC2150 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:14:51] 715*2^1403327-1 is not prime. Res64: BF7A74C8628D268B Time : 0.0 sec. user=mdettweiler [2015-07-17 07:15:47] 729*2^1403327-1 is not prime. Res64: 8034BD0F0E5E76C7 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:15:48] 739*2^1403327-1 is not prime. Res64: 499CD510B44A323B Time : 0.0 sec. user=mdettweiler [2015-07-17 07:17:23] 759*2^1403327-1 is not prime. Res64: C5874CCCB38760D8 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:17:23] 825*2^1403327-1 is not prime. Res64: E434E1AD865F9EF5 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:32:42] 841*2^1403327-1 is not prime. Res64: D14703681E991A2C Time : 0.0 sec. user=mdettweiler [2015-07-17 07:32:43] 993*2^1403327-1 is not prime. Res64: E065EC69D5B75136 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:32:46] 627*2^1403328-1 is not prime. Res64: 19CFD754A576E4AD Time : 0.0 sec. user=mdettweiler [2015-07-17 07:32:46] 665*2^1403328-1 is not prime. Res64: 86C6DCE4603EE9F5 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:33:42] 723*2^1403328-1 is not prime. Res64: 45A3678B1084A4FE Time : 0.0 sec. user=mdettweiler [2015-07-17 07:33:42] 839*2^1403328-1 is not prime. Res64: 36C2831E3F38AD57 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:35:20] 899*2^1403328-1 is not prime. Res64: 0083AC474DDE08F0 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:35:20] 927*2^1403328-1 is not prime. Res64: 018B72AA1BC6AD41 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:50:41] 625*2^1403329-1 is not prime. Res64: 4541BD4EA545E7C8 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:50:41] 637*2^1403329-1 is not prime. Res64: 6B65A33417086615 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:50:44] 975*2^1403328-1 is not prime. Res64: 390E4CDFEE242100 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:50:44] 615*2^1403329-1 is not prime. Res64: 248934D2407C3A17 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:51:43] 661*2^1403329-1 is not prime. Res64: 0AE83EF55917C318 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:51:43] 801*2^1403329-1 is not prime. Res64: 79EC43A5B9642DF5 Time : 0.0 sec. user=mdettweiler [2015-07-17 07:53:18] 615*2^1403330-1 is not prime. Res64: B6C90FDDD80647FC Time : 0.0 sec. user=mdettweiler [2015-07-17 07:53:18] 675*2^1403330-1 is not prime. Res64: 4CC1F56E22D42CCB Time : 0.0 sec. user=mdettweiler [2015-07-17 08:08:43] 945*2^1403330-1 is not prime. Res64: E3655FC152B9B898 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:08:44] 971*2^1403330-1 is not prime. Res64: 8686323460A116CB Time : 0.0 sec. user=mdettweiler [2015-07-17 08:08:46] 717*2^1403330-1 is not prime. Res64: DF2B1208FF5B1FF5 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:08:47] 857*2^1403330-1 is not prime. Res64: DA7120F492CD575A Time : 0.0 sec. user=mdettweiler [2015-07-17 08:09:44] 987*2^1403330-1 is not prime. Res64: FE66307D082E79F3 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:09:44] 601*2^1403331-1 is not prime. Res64: BE6DA97305EFEBD9 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:11:17] 781*2^1403331-1 is not prime. Res64: 6E27AFBA406C3998 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:11:17] 789*2^1403331-1 is not prime. Res64: 0C366B4DA79BCE61 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:26:48] 909*2^1403331-1 is not prime. Res64: 5DE74245E8CE9426 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:26:48] 931*2^1403331-1 is not prime. Res64: 6BC817E0B7412DD0 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:26:52] 617*2^1403332-1 is not prime. Res64: 965F27AE53A6BA25 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:26:53] 635*2^1403332-1 is not prime. Res64: D8C05783FDEBA549 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:27:42] 677*2^1403332-1 is not prime. Res64: 3F178228AA258AEC Time : 0.0 sec. user=mdettweiler [2015-07-17 08:27:43] 873*2^1403332-1 is not prime. Res64: B22750D5CFC98EC8 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:29:13] 899*2^1403332-1 is not prime. Res64: F1A2C958322ED532 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:29:13] 903*2^1403332-1 is not prime. Res64: 09F570209737EB61 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:44:42] 965*2^1403332-1 is not prime. Res64: F105933F107CE267 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:44:42] 855*2^1403333-1 is not prime. Res64: 613973651C2CEE2E Time : 0.0 sec. user=mdettweiler [2015-07-17 08:44:47] 915*2^1403333-1 is not prime. Res64: 602F52AFCAAE07E2 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:44:48] 957*2^1403333-1 is not prime. Res64: E887CE1BA07B0242 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:45:57] 621*2^1403334-1 is not prime. Res64: E676C292E2604BB9 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:45:57] 663*2^1403334-1 is not prime. Res64: 55C9B1704AE2268E Time : 0.0 sec. user=mdettweiler [2015-07-17 08:47:08] 681*2^1403334-1 is not prime. Res64: B86B99D737243D52 Time : 0.0 sec. user=mdettweiler [2015-07-17 08:47:08] 741*2^1403334-1 is not prime. Res64: CBB056F95DEECF8A Time : 0.0 sec. user=mdettweiler [2015-07-17 09:02:36] 843*2^1403335-1 is not prime. Res64: B23247A01F1B3071 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:02:38] 871*2^1403335-1 is not prime. Res64: 6458588385D3E69D Time : 0.0 sec. user=mdettweiler [2015-07-17 09:02:45] 861*2^1403334-1 is not prime. Res64: 8193FB9B5CE8DB26 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:02:46] 903*2^1403334-1 is not prime. Res64: A787AD712CA46B4E Time : 0.0 sec. user=mdettweiler [2015-07-17 09:03:57] 969*2^1403335-1 is not prime. Res64: A4566FDD2F20C651 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:03:59] 985*2^1403335-1 is not prime. Res64: 8A36CF417F81D56C Time : 0.0 sec. user=mdettweiler [2015-07-17 09:05:12] 663*2^1403336-1 is not prime. Res64: FA12182D75941608 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:05:13] 843*2^1403336-1 is not prime. Res64: 0AFA127A711056ED Time : 0.0 sec. user=mdettweiler [2015-07-17 09:20:55] 983*2^1403336-1 is not prime. Res64: 0E1AA4B58A008DED Time : 0.0 sec. user=mdettweiler [2015-07-17 09:20:55] 669*2^1403337-1 is not prime. Res64: 0040350A2E83E25B Time : 0.0 sec. user=mdettweiler [2015-07-17 09:21:01] 873*2^1403336-1 is not prime. Res64: 7A09FD07BCAA3B3C Time : 0.0 sec. user=mdettweiler [2015-07-17 09:21:01] 945*2^1403336-1 is not prime. Res64: 795AD0F0AF5BB99D Time : 0.0 sec. user=mdettweiler [2015-07-17 09:21:58] 681*2^1403337-1 is not prime. Res64: 9447BBF6D8D756DC Time : 0.0 sec. user=mdettweiler [2015-07-17 09:21:59] 751*2^1403337-1 is not prime. Res64: E5C4EFCF4D71BE53 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:23:14] 759*2^1403337-1 is not prime. Res64: 2D6348FABDD5DB4F Time : 0.0 sec. user=mdettweiler [2015-07-17 09:23:15] 777*2^1403337-1 is not prime. Res64: 33621A40BD65256D Time : 0.0 sec. user=mdettweiler [2015-07-17 09:38:56] 937*2^1403337-1 is not prime. Res64: 68A8AF35683DF889 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:38:56] 979*2^1403337-1 is not prime. Res64: D6574001B1825FA2 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:39:00] 819*2^1403337-1 is not prime. Res64: 551C36DFF8315DA1 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:39:00] 847*2^1403337-1 is not prime. Res64: 5F14ED1FAC47BAA3 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:39:57] 605*2^1403338-1 is not prime. Res64: 9354230C3A945CA4 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:39:57] 617*2^1403338-1 is not prime. Res64: 97A9B2A444D22F9D Time : 0.0 sec. user=mdettweiler [2015-07-17 09:41:12] 677*2^1403338-1 is not prime. Res64: 8E8321750AD6E7C2 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:41:12] 713*2^1403338-1 is not prime. Res64: A1DD18FA00514557 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:56:56] 737*2^1403338-1 is not prime. Res64: 075177DDFC18A2E9 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:56:56] 887*2^1403338-1 is not prime. Res64: 2513CA50924750EB Time : 0.0 sec. user=mdettweiler [2015-07-17 09:56:56] 773*2^1403338-1 is not prime. Res64: D5429485AB9D2A20 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:56:56] 911*2^1403338-1 is not prime. Res64: 87FC6FB11F821D79 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:58:02] 631*2^1403339-1 is not prime. Res64: 7B499318BD13F4BE Time : 0.0 sec. user=mdettweiler [2015-07-17 09:58:03] 643*2^1403339-1 is not prime. Res64: BDA00F5AD6521276 Time : 0.0 sec. user=mdettweiler [2015-07-17 09:59:12] 741*2^1403339-1 is not prime. Res64: B540B8D9479D56DA Time : 0.0 sec. user=mdettweiler [2015-07-17 09:59:13] 799*2^1403339-1 is not prime. Res64: 6862967AB874E803 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:14:57] 609*2^1403340-1 is not prime. Res64: FA7F0FD2CAFC1888 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:14:58] 635*2^1403340-1 is not prime. Res64: 42604E83BAE3A5C6 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:15:04] 843*2^1403339-1 is not prime. Res64: AA79A6C667F199BC Time : 0.0 sec. user=mdettweiler [2015-07-17 10:15:05] 979*2^1403339-1 is not prime. Res64: F435840E76FECE3F Time : 0.0 sec. user=mdettweiler [2015-07-17 10:16:05] 647*2^1403340-1 is not prime. Res64: 830963D228A8E14B Time : 0.0 sec. user=mdettweiler [2015-07-17 10:16:06] 759*2^1403340-1 is not prime. Res64: 594C09BD02869984 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:17:00] 779*2^1403340-1 is not prime. Res64: 6AF01C27C964CBBD Time : 0.0 sec. user=mdettweiler [2015-07-17 10:17:00] 845*2^1403340-1 is not prime. Res64: 5019C6443CBFE53C Time : 0.0 sec. user=mdettweiler [2015-07-17 10:33:16] 965*2^1403340-1 is not prime. Res64: AFEC36F94BE8D64B Time : 0.0 sec. user=mdettweiler [2015-07-17 10:33:16] 983*2^1403340-1 is not prime. Res64: BC2806F4896B1D89 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:33:19] 857*2^1403340-1 is not prime. Res64: 9477D99B61328297 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:33:20] 875*2^1403340-1 is not prime. Res64: 58E69C5826DB574F Time : 0.0 sec. user=mdettweiler [2015-07-17 10:34:04] 607*2^1403341-1 is not prime. Res64: D6940B6CB254D55B Time : 0.0 sec. user=mdettweiler [2015-07-17 10:34:04] 645*2^1403341-1 is not prime. Res64: EA359588EB2FBEF9 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:35:05] 967*2^1403341-1 is not prime. Res64: B847E7E6C9EB9F67 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:35:05] 987*2^1403341-1 is not prime. Res64: C9AB73D9A9AD952C Time : 0.0 sec. user=mdettweiler [2015-07-17 10:51:18] 997*2^1403341-1 is not prime. Res64: E49678A32E4389BC Time : 0.0 sec. user=mdettweiler [2015-07-17 10:51:18] 705*2^1403342-1 is not prime. Res64: 1D4B907D960D9522 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:51:30] 711*2^1403342-1 is not prime. Res64: 8D9C3E44C000D9C3 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:51:31] 741*2^1403342-1 is not prime. Res64: 183C71E3FE44D6CB Time : 0.0 sec. user=mdettweiler [2015-07-17 10:52:21] 885*2^1403342-1 is not prime. Res64: 66686A52A23C9E73 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:52:21] 887*2^1403342-1 is not prime. Res64: 319D84DF2A97DE91 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:53:17] 923*2^1403342-1 is not prime. Res64: EC4120EB12D27962 Time : 0.0 sec. user=mdettweiler [2015-07-17 10:53:18] 649*2^1403343-1 is not prime. Res64: E25D4792708800C3 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:09:13] 663*2^1403343-1 is not prime. Res64: F6C030ED3536E58F Time : 0.0 sec. user=mdettweiler [2015-07-17 11:09:13] 703*2^1403343-1 is not prime. Res64: 511E6B814AAEA3E2 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:09:21] 859*2^1403343-1 is not prime. Res64: 75D6769C0EBD07A0 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:09:21] 921*2^1403343-1 is not prime. Res64: D202DD8FE28A07EC Time : 0.0 sec. user=mdettweiler [2015-07-17 11:10:17] 933*2^1403343-1 is not prime. Res64: 2D12770BABE2DF12 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:10:17] 645*2^1403344-1 is not prime. Res64: E71677995EF056A7 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:11:29] 755*2^1403344-1 is not prime. Res64: 2400EB4F8B67752F Time : 0.0 sec. user=mdettweiler [2015-07-17 11:11:29] 785*2^1403344-1 is not prime. Res64: 4B11A5A15E83FE5A Time : 0.0 sec. user=mdettweiler [2015-07-17 11:27:09] 909*2^1403344-1 is not prime. Res64: 6950C72E93A0897B Time : 0.0 sec. user=mdettweiler [2015-07-17 11:27:09] 601*2^1403345-1 is not prime. Res64: D3C215ABA309F441 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:27:18] 833*2^1403344-1 is not prime. Res64: 9F8273372E7FF329 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:27:19] 869*2^1403344-1 is not prime. Res64: 2B28934E97E19183 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:28:15] 691*2^1403345-1 is not prime. Res64: 491916BFB55017C3 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:28:15] 697*2^1403345-1 is not prime. Res64: 5B095491AC173F8B Time : 0.0 sec. user=mdettweiler [2015-07-17 11:29:28] 699*2^1403345-1 is not prime. Res64: 0A2091590656AD0E Time : 0.0 sec. user=mdettweiler [2015-07-17 11:29:28] 711*2^1403345-1 is not prime. Res64: 0EC071D6A08BF54F Time : 0.0 sec. user=mdettweiler [2015-07-17 11:45:45] 735*2^1403345-1 is not prime. Res64: 5C394F161E3F2D53 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:45:45] 741*2^1403345-1 is not prime. Res64: 849756DE34DADFC3 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:45:54] 795*2^1403345-1 is not prime. Res64: DA4B20CFBC159F29 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:45:54] 885*2^1403345-1 is not prime. Res64: 7C1A46EBA12AD712 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:47:11] 909*2^1403345-1 is not prime. Res64: B9C05FD0180E0295 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:47:11] 887*2^1403346-1 is not prime. Res64: 7A1793D437E96DF6 Time : 0.0 sec. user=mdettweiler [2015-07-17 11:48:07] 905*2^1403346-1 is not prime. Res64: 8B95DB7A61B795CB Time : 0.0 sec. user=mdettweiler [2015-07-17 11:48:07] 603*2^1403347-1 is not prime. Res64: 714DBE897F0ABC92 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:06:01] 801*2^1403347-1 is not prime. Res64: C4CE63271C6560BD Time : 0.0 sec. user=mdettweiler [2015-07-17 12:06:01] 975*2^1403347-1 is not prime. Res64: E5EF5B7AA465580A Time : 0.0 sec. user=mdettweiler [2015-07-17 12:06:19] 647*2^1403348-1 is not prime. Res64: D40865909576477F Time : 0.0 sec. user=mdettweiler [2015-07-17 12:06:19] 669*2^1403348-1 is not prime. Res64: BCBDA151253939FF Time : 0.0 sec. user=mdettweiler [2015-07-17 12:08:20] 777*2^1403348-1 is not prime. Res64: FFF12C97B45156C0 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:08:20] 845*2^1403348-1 is not prime. Res64: 281C883B061A1B33 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:08:26] 987*2^1403348-1 is not prime. Res64: 0D179BA3CA5FB404 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:08:27] 995*2^1403348-1 is not prime. Res64: 1F09D534EEDDC25D Time : 0.0 sec. user=mdettweiler [2015-07-17 12:29:40] 745*2^1403349-1 is not prime. Res64: C7A52F63C743E191 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:29:41] 769*2^1403349-1 is not prime. Res64: 80D25385E6981107 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:30:39] 621*2^1403349-1 is not prime. Res64: 7939D1BF36955801 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:30:40] 675*2^1403349-1 is not prime. Res64: 5C075275CE650E80 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:31:43] 603*2^1403350-1 is not prime. Res64: 4BC2900CB7EE8653 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:31:43] 623*2^1403350-1 is not prime. Res64: 091ED72C65D4B716 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:32:48] 831*2^1403349-1 is not prime. Res64: F5108B26A26D036E Time : 0.0 sec. user=mdettweiler [2015-07-17 12:32:48] 979*2^1403349-1 is not prime. Res64: C09779F7F85A3481 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:50:20] 791*2^1403350-1 is not prime. Res64: D04E8C3A9E47DDA4 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:50:20] 861*2^1403350-1 is not prime. Res64: BEE71B2D06CFFB0C Time : 0.0 sec. user=mdettweiler [2015-07-17 12:51:40] 603*2^1403351-1 is not prime. Res64: 38F65A8EE70C8EA2 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:51:40] 643*2^1403351-1 is not prime. Res64: B5545331B79007C1 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:52:34] 651*2^1403351-1 is not prime. Res64: 45D773A60563098F Time : 0.0 sec. user=mdettweiler [2015-07-17 12:52:35] 669*2^1403351-1 is not prime. Res64: 0DA2E2E97A28EC12 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:53:11] 693*2^1403351-1 is not prime. Res64: 42F075AE927795A1 Time : 0.0 sec. user=mdettweiler [2015-07-17 12:53:11] 735*2^1403351-1 is not prime. Res64: 12BFEFAF0A6B33F0 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:08:35] 759*2^1403351-1 is not prime. Res64: A79EDF692E97FBC5 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:08:35] 945*2^1403351-1 is not prime. Res64: BB9BCA1D27E028F5 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:09:45] 969*2^1403351-1 is not prime. Res64: B774DE573E9A80BD Time : 0.0 sec. user=mdettweiler [2015-07-17 13:09:45] 665*2^1403352-1 is not prime. Res64: F49593E1CC93D86F Time : 0.0 sec. user=mdettweiler [2015-07-17 13:10:30] 725*2^1403352-1 is not prime. Res64: DE3A7BFB80463F63 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:10:31] 765*2^1403352-1 is not prime. Res64: A02E333B4717078A Time : 0.0 sec. user=mdettweiler [2015-07-17 13:11:10] 779*2^1403352-1 is not prime. Res64: 8B6A38F1A59DEEB4 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:11:11] 843*2^1403352-1 is not prime. Res64: A340C6583181E963 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:26:17] 857*2^1403352-1 is not prime. Res64: 333648D830FA9CAB Time : 0.0 sec. user=mdettweiler [2015-07-17 13:26:17] 983*2^1403352-1 is not prime. Res64: 443AB7E4FC535A93 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:27:24] 765*2^1403353-1 is not prime. Res64: E2CDAAD5E4C7CE93 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:27:25] 819*2^1403353-1 is not prime. Res64: 24A2E205AFBF0E42 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:28:14] 897*2^1403353-1 is not prime. Res64: A0A466DAB70DAA48 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:28:15] 915*2^1403353-1 is not prime. Res64: BE8AE822102070D6 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:28:55] 955*2^1403353-1 is not prime. Res64: 5B0B007252C418D8 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:28:56] 633*2^1403354-1 is not prime. Res64: BA611D59DA35962B Time : 0.0 sec. user=mdettweiler [2015-07-17 13:44:12] 687*2^1403354-1 is not prime. Res64: E4531E4981E3B80D Time : 0.0 sec. user=mdettweiler [2015-07-17 13:44:13] 741*2^1403354-1 is not prime. Res64: 29E2D2406C22084E Time : 0.0 sec. user=mdettweiler [2015-07-17 13:45:16] 813*2^1403354-1 is not prime. Res64: 2DAD3674B6CCE1D9 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:45:16] 825*2^1403354-1 is not prime. Res64: 7EC4B67E901784C7 Time : 0.0 sec. user=mdettweiler [2015-07-17 13:46:01] 837*2^1403354-1 is not prime. Res64: 64837EC44C6D5B9F Time : 0.0 sec. user=mdettweiler [2015-07-17 13:46:01] 1001*2^1403354-1 is not prime. Res64: 0EB3292A7419681B Time : 0.0 sec. user=mdettweiler [2015-07-17 13:46:40] 619*2^1403355-1 is not prime. Res64: C2E529933030B5BF Time : 0.0 sec. user=mdettweiler [2015-07-17 13:46:41] 723*2^1403355-1 is not prime. Res64: E7E11A45F7F5F480 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:02:19] 739*2^1403355-1 is not prime. Res64: 1A1AADB1B585BDD2 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:02:20] 781*2^1403355-1 is not prime. Res64: 31A46A40B45C8A06 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:03:20] 793*2^1403355-1 is not prime. Res64: CD4E7CFA57B0C5B4 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:03:22] 805*2^1403355-1 is not prime. Res64: D7E5CDEABADA50A7 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:04:16] 871*2^1403355-1 is not prime. Res64: A387A7A7E7150EDC Time : 0.0 sec. user=mdettweiler [2015-07-17 14:04:17] 985*2^1403355-1 is not prime. Res64: FB66B087C5578D35 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:04:49] 657*2^1403356-1 is not prime. Res64: 4B8F2346B6936EBA Time : 0.0 sec. user=mdettweiler [2015-07-17 14:04:50] 695*2^1403356-1 is not prime. Res64: 979E3EBA16779562 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:21:17] 743*2^1403356-1 is not prime. Res64: 798574AE6787DB92 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:21:17] 773*2^1403356-1 is not prime. Res64: 2B7C47FF6A7211CB Time : 0.0 sec. user=mdettweiler [2015-07-17 14:22:05] 783*2^1403356-1 is not prime. Res64: 4279D775FD4E840B Time : 0.0 sec. user=mdettweiler [2015-07-17 14:22:06] 803*2^1403356-1 is not prime. Res64: 5EBADC03EC5F9514 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:22:48] 813*2^1403356-1 is not prime. Res64: 81F7D1F68488DA85 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:22:48] 873*2^1403356-1 is not prime. Res64: F035D0F74007B8D8 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:23:25] 927*2^1403356-1 is not prime. Res64: 3B004694022A90CE Time : 0.0 sec. user=mdettweiler [2015-07-17 14:23:25] 953*2^1403356-1 is not prime. Res64: 13E6952FB2175362 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:39:15] 999*2^1403356-1 is not prime. Res64: A543D55E98E36229 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:39:15] 615*2^1403357-1 is not prime. Res64: DF53AAF5BFDCAD2C Time : 0.0 sec. user=mdettweiler [2015-07-17 14:39:55] 699*2^1403357-1 is not prime. Res64: 5C51FD61DCB0F182 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:39:55] 829*2^1403357-1 is not prime. Res64: D06636BCE16A9DA1 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:40:44] 831*2^1403357-1 is not prime. Res64: 964410DFE305BABF Time : 0.0 sec. user=mdettweiler [2015-07-17 14:40:45] 861*2^1403357-1 is not prime. Res64: 4A97695E4BF2BBBC Time : 0.0 sec. user=mdettweiler [2015-07-17 14:41:24] 867*2^1403357-1 is not prime. Res64: 69EC264802E90FA1 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:41:24] 879*2^1403357-1 is not prime. Res64: A1C513ADC4A4E01A Time : 0.0 sec. user=mdettweiler [2015-07-17 14:57:09] 889*2^1403357-1 is not prime. Res64: BB185CF000A5F235 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:57:10] 937*2^1403357-1 is not prime. Res64: D43BCDAC313323B7 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:57:45] 605*2^1403358-1 is not prime. Res64: 6166658981EC43B0 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:57:45] 627*2^1403358-1 is not prime. Res64: 558682E774D1813D Time : 0.0 sec. user=mdettweiler [2015-07-17 14:58:25] 635*2^1403358-1 is not prime. Res64: 3C4BC12166AAAF22 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:58:25] 663*2^1403358-1 is not prime. Res64: B4E2198F749E6407 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:59:12] 683*2^1403358-1 is not prime. Res64: 31E4D30B6042D0F1 Time : 0.0 sec. user=mdettweiler [2015-07-17 14:59:13] 693*2^1403358-1 is not prime. Res64: B68AAC9C866B18A3 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:14:59] 815*2^1403358-1 is not prime. Res64: E1520217523E231E Time : 0.0 sec. user=mdettweiler [2015-07-17 15:15:00] 863*2^1403358-1 is not prime. Res64: 4D7A5118B3156041 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:15:48] 625*2^1403359-1 is not prime. Res64: FD1B7688718E41DB Time : 0.0 sec. user=mdettweiler [2015-07-17 15:15:48] 649*2^1403359-1 is not prime. Res64: B8D13DB3E61961AC Time : 0.0 sec. user=mdettweiler [2015-07-17 15:16:15] 693*2^1403359-1 is not prime. Res64: F3E040D0C13D128E Time : 0.0 sec. user=mdettweiler [2015-07-17 15:16:15] 705*2^1403359-1 is not prime. Res64: B10FBEE2D5B27CFD Time : 0.0 sec. user=mdettweiler [2015-07-17 15:17:10] 729*2^1403359-1 is not prime. Res64: D93D900E84A48543 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:17:11] 735*2^1403359-1 is not prime. Res64: 05CB6A194175E7C3 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:33:59] 885*2^1403359-1 is not prime. Res64: 526276AAE03D0044 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:33:59] 993*2^1403359-1 is not prime. Res64: 20C69E11AB8A80F5 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:34:04] 999*2^1403359-1 is not prime. Res64: F3DB5B4CBE2CB12F Time : 0.0 sec. user=mdettweiler [2015-07-17 15:34:05] 609*2^1403360-1 is not prime. Res64: B9E2BCCD1AE91EBC Time : 0.0 sec. user=mdettweiler [2015-07-17 15:34:36] 633*2^1403360-1 is not prime. Res64: 3F0C871EEBF3FD96 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:34:36] 635*2^1403360-1 is not prime. Res64: AAF8A9D6908680D5 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:35:31] 675*2^1403360-1 is not prime. Res64: 450909F69FF98E0B Time : 0.0 sec. user=mdettweiler [2015-07-17 15:35:31] 759*2^1403360-1 is not prime. Res64: 12F6E9FA1D6E63E2 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:51:53] 811*2^1403361-1 is not prime. Res64: 2EF43DE3D6B6077B Time : 0.0 sec. user=mdettweiler [2015-07-17 15:51:53] 819*2^1403361-1 is not prime. Res64: 29575571A94EFCA1 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:51:54] 785*2^1403360-1 is not prime. Res64: 0AD453C394C1CDC4 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:51:54] 651*2^1403361-1 is not prime. Res64: 44912D803337DABB Time : 0.0 sec. user=mdettweiler [2015-07-17 15:52:17] 867*2^1403361-1 is not prime. Res64: 279B39A6A361C3D5 Time : 0.0 sec. user=mdettweiler [2015-07-17 15:52:18] 937*2^1403361-1 is not prime. Res64: EF1B2B83562863DF Time : 0.0 sec. user=mdettweiler [2015-07-17 15:53:11] 945*2^1403361-1 is not prime. Res64: 214214C66B43628D Time : 0.0 sec. user=mdettweiler [2015-07-17 15:53:11] 955*2^1403361-1 is not prime. Res64: 1E1F17D914549082 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:09:30] 843*2^1403362-1 is not prime. Res64: 78E981A2B7309174 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:09:31] 867*2^1403362-1 is not prime. Res64: 093A2547CB6DFEEE Time : 0.0 sec. user=mdettweiler [2015-07-17 16:09:36] 665*2^1403362-1 is not prime. Res64: 4FC970B55D3CC484 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:09:37] 695*2^1403362-1 is not prime. Res64: 35B576731759B343 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:09:56] 885*2^1403362-1 is not prime. Res64: F579582333A99793 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:09:57] 923*2^1403362-1 is not prime. Res64: F85A04002ED8C56D Time : 0.0 sec. user=mdettweiler [2015-07-17 16:10:52] 995*2^1403362-1 is not prime. Res64: 405F07E680067896 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:10:53] 621*2^1403363-1 is not prime. Res64: B3AA1A6706317386 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:27:11] 633*2^1403363-1 is not prime. Res64: E055BC8807D32FF7 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:27:11] 669*2^1403363-1 is not prime. Res64: 94561D6E01318952 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:27:22] 771*2^1403363-1 is not prime. Res64: 3714BDDBCAAE907E Time : 0.0 sec. user=mdettweiler [2015-07-17 16:27:23] 889*2^1403363-1 is not prime. Res64: 4DEE4A5F90B640AA Time : 0.0 sec. user=mdettweiler [2015-07-17 16:27:42] 963*2^1403363-1 is not prime. Res64: E27A431252C30812 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:27:43] 609*2^1403364-1 is not prime. Res64: E97BDE8FAB2212F0 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:28:34] 693*2^1403364-1 is not prime. Res64: 22CBA1BEA853D1B8 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:28:34] 753*2^1403364-1 is not prime. Res64: 6D7A0DF4FCD32FF9 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:44:57] 765*2^1403364-1 is not prime. Res64: DDCD5EA86CB23B01 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:44:57] 773*2^1403364-1 is not prime. Res64: 972D06EFAA710B70 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:45:08] 873*2^1403364-1 is not prime. Res64: 8E912116EED3E02B Time : 0.0 sec. user=mdettweiler [2015-07-17 16:45:09] 945*2^1403364-1 is not prime. Res64: 1A69D0A0D3425284 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:45:26] 959*2^1403364-1 is not prime. Res64: F8B8D37A95A65C78 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:45:26] 993*2^1403364-1 is not prime. Res64: 56CF7837A2E8D906 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:46:15] 607*2^1403365-1 is not prime. Res64: FE0D65B08B2B5FE4 Time : 0.0 sec. user=mdettweiler [2015-07-17 16:46:15] 691*2^1403365-1 is not prime. Res64: 04A40E49F9F6B7D1 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:02:36] 699*2^1403365-1 is not prime. Res64: CB60FB6FD01C0DEF Time : 0.0 sec. user=mdettweiler [2015-07-17 17:02:37] 741*2^1403365-1 is not prime. Res64: B9B7EF79CB4CB626 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:02:46] 777*2^1403365-1 is not prime. Res64: 61E03AE2673ABEB0 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:02:46] 859*2^1403365-1 is not prime. Res64: 7076247E39D75CCE Time : 0.0 sec. user=mdettweiler [2015-07-17 17:03:04] 693*2^1403366-1 is not prime. Res64: C25521E69E4C7715 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:03:04] 707*2^1403366-1 is not prime. Res64: F7F05D999BCA9260 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:03:50] 827*2^1403366-1 is not prime. Res64: 5FE1762C8D7B2165 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:03:51] 861*2^1403366-1 is not prime. Res64: 4AC29F72D4A0050D Time : 0.0 sec. user=mdettweiler [2015-07-17 17:20:23] 981*2^1403366-1 is not prime. Res64: 5A79D7D08EBA4CFC Time : 0.0 sec. user=mdettweiler [2015-07-17 17:20:23] 693*2^1403367-1 is not prime. Res64: FE9D2DE75A0B185C Time : 0.0 sec. user=mdettweiler [2015-07-17 17:20:36] 703*2^1403367-1 is not prime. Res64: 8B33DA70254239A4 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:20:36] 739*2^1403367-1 is not prime. Res64: 64DBBB964F333A51 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:20:41] 781*2^1403367-1 is not prime. Res64: 68FDD2F1F85980CF Time : 0.0 sec. user=mdettweiler [2015-07-17 17:20:41] 795*2^1403367-1 is not prime. Res64: D4CA57A9A4D3DDF1 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:21:36] 823*2^1403367-1 is not prime. Res64: E2EA6308C053D677 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:21:37] 861*2^1403367-1 is not prime. Res64: 5A2E830A4B0BFA26 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:38:14] 891*2^1403367-1 is not prime. Res64: 98337FBEA5B1A75E Time : 0.0 sec. user=mdettweiler [2015-07-17 17:38:14] 963*2^1403367-1 is not prime. Res64: 5496AC1064E874E5 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:38:20] 629*2^1403368-1 is not prime. Res64: 85AC2634917D03CC Time : 0.0 sec. user=mdettweiler [2015-07-17 17:38:21] 705*2^1403368-1 is not prime. Res64: E6B866A6D7963B62 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:38:27] 723*2^1403368-1 is not prime. Res64: 2E8C7F740F1B6788 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:38:27] 855*2^1403368-1 is not prime. Res64: 2B9A508007BA4191 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:39:21] 909*2^1403368-1 is not prime. Res64: 45BB98B555553B86 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:39:21] 969*2^1403368-1 is not prime. Res64: C7E06B756215C554 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:55:54] 861*2^1403369-1 is not prime. Res64: E4B0623AC7E1D66F Time : 0.0 sec. user=mdettweiler [2015-07-17 17:55:55] 889*2^1403369-1 is not prime. Res64: BE654AB3820196F1 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:55:59] 897*2^1403369-1 is not prime. Res64: 3F93DB1E4A0F697A Time : 0.0 sec. user=mdettweiler [2015-07-17 17:55:59] 945*2^1403369-1 is not prime. Res64: 1C6C7F1A84237A1B Time : 0.0 sec. user=mdettweiler [2015-07-17 17:56:09] 987*2^1403369-1 is not prime. Res64: 900D61E70E3D8522 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:56:09] 991*2^1403369-1 is not prime. Res64: C1798EA90CBD4849 Time : 0.0 sec. user=mdettweiler [2015-07-17 17:57:00] 635*2^1403370-1 is not prime. Res64: 16F33D14CB8D455B Time : 0.0 sec. user=mdettweiler [2015-07-17 17:57:01] 711*2^1403370-1 is not prime. Res64: C5E87AC4E32A8A4A Time : 0.0 sec. user=mdettweiler [2015-07-17 18:13:29] 783*2^1403370-1 is not prime. Res64: 6344F1CC03120E4C Time : 0.0 sec. user=mdettweiler [2015-07-17 18:13:30] 797*2^1403370-1 is not prime. Res64: A651BEE0658A79E5 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:13:35] 821*2^1403370-1 is not prime. Res64: AA3FB0579B38E090 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:13:35] 845*2^1403370-1 is not prime. Res64: 5B90D9D5627F505E Time : 0.0 sec. user=mdettweiler [2015-07-17 18:13:53] 891*2^1403370-1 is not prime. Res64: A0ED31A9F410D066 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:13:54] 921*2^1403370-1 is not prime. Res64: 28562232EB1E7B10 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:14:36] 977*2^1403370-1 is not prime. Res64: 1C1775F360CC4290 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:14:37] 603*2^1403371-1 is not prime. Res64: 08961F19C4C05D19 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:31:14] 619*2^1403371-1 is not prime. Res64: 766305E127547590 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:31:15] 651*2^1403371-1 is not prime. Res64: DCCE0C6F3B3A3D5E Time : 0.0 sec. user=mdettweiler [2015-07-17 18:31:21] 793*2^1403371-1 is not prime. Res64: 924DA6FD2C7E3283 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:31:22] 939*2^1403371-1 is not prime. Res64: F1796D0B5AF2197F Time : 0.0 sec. user=mdettweiler [2015-07-17 18:31:34] 961*2^1403371-1 is not prime. Res64: 67E00DF9C2FC3CD0 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:31:34] 975*2^1403371-1 is not prime. Res64: 4A47442A8D506CB0 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:32:21] 635*2^1403372-1 is not prime. Res64: A4C4BFEBEC49DC88 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:32:21] 683*2^1403372-1 is not prime. Res64: EBECD374B9E84200 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:48:49] 687*2^1403372-1 is not prime. Res64: C19B093654EA986A Time : 0.0 sec. user=mdettweiler [2015-07-17 18:48:50] 699*2^1403372-1 is not prime. Res64: C4346B1B76CBC0F5 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:49:01] 753*2^1403372-1 is not prime. Res64: 4E74944A0C9573D1 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:49:01] 767*2^1403372-1 is not prime. Res64: AEE8E6B57D2CA11F Time : 0.0 sec. user=mdettweiler [2015-07-17 18:49:17] 797*2^1403372-1 is not prime. Res64: 99FA36E6AEA52B4E Time : 0.0 sec. user=mdettweiler [2015-07-17 18:49:18] 857*2^1403372-1 is not prime. Res64: 3AC7FF56DD4F43D9 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:50:01] 929*2^1403372-1 is not prime. Res64: EDCD3E5AF85CCF14 Time : 0.0 sec. user=mdettweiler [2015-07-17 18:50:01] 935*2^1403372-1 is not prime. Res64: D4569722A0AB8F8B Time : 0.0 sec. user=mdettweiler [2015-07-17 19:06:30] 957*2^1403372-1 is not prime. Res64: 37AF9C7A8A3A3886 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:06:32] 621*2^1403373-1 is not prime. Res64: 093A6FA902FEDB8E Time : 0.0 sec. user=mdettweiler [2015-07-17 19:06:38] 627*2^1403373-1 is not prime. Res64: 9E04B2C1BB42D637 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:06:40] 669*2^1403373-1 is not prime. Res64: BF287B1E8AD74EF5 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:07:15] 769*2^1403373-1 is not prime. Res64: 597F5E51401657C7 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:07:17] 817*2^1403373-1 is not prime. Res64: 23CA19428171C5A4 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:07:44] 847*2^1403373-1 is not prime. Res64: 01C8F511A54181D4 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:07:46] 859*2^1403373-1 is not prime. Res64: 9FD626BA60226BC9 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:24:58] 889*2^1403373-1 is not prime. Res64: 75BA627C03279804 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:24:58] 919*2^1403373-1 is not prime. Res64: F25138FCD32717FC Time : 0.0 sec. user=mdettweiler [2015-07-17 19:25:00] 895*2^1403373-1 is not prime. Res64: 3007B7A7726E03C2 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:25:00] 645*2^1403374-1 is not prime. Res64: 232FCC5D58D6296A Time : 0.0 sec. user=mdettweiler [2015-07-17 19:25:05] 675*2^1403374-1 is not prime. Res64: B30852A2102A7429 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:25:05] 773*2^1403374-1 is not prime. Res64: 00F35853FA4D8097 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:25:32] 783*2^1403374-1 is not prime. Res64: A60D4310834DCBCA Time : 0.0 sec. user=mdettweiler [2015-07-17 19:25:32] 885*2^1403374-1 is not prime. Res64: 56D9F683CFD21DE6 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:42:55] 951*2^1403374-1 is not prime. Res64: 1F71F0ADBBC3004A Time : 0.0 sec. user=mdettweiler [2015-07-17 19:42:55] 957*2^1403374-1 is not prime. Res64: 9338BD15F8533817 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:43:03] 669*2^1403375-1 is not prime. Res64: 43E525316BBE2F6E Time : 0.0 sec. user=mdettweiler [2015-07-17 19:43:03] 775*2^1403375-1 is not prime. Res64: EB192D253969EB73 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:43:07] 783*2^1403375-1 is not prime. Res64: 15F1C20DA9E1ADA8 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:43:08] 841*2^1403375-1 is not prime. Res64: 3BF087DE6D9C70F3 Time : 0.0 sec. user=mdettweiler [2015-07-17 19:43:32] 939*2^1403375-1 is not prime. Res64: 11E16EBC868CE4FF Time : 0.0 sec. user=mdettweiler [2015-07-17 19:43:32] 943*2^1403375-1 is not prime. Res64: 8C2ABF62B96355E2 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:05:45] 985*2^1403375-1 is not prime. Res64: AA3C35BB4DCBD745 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:05:47] 669*2^1403376-1 is not prime. Res64: A0CBDFE8F9FC3764 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:05:56] 705*2^1403376-1 is not prime. Res64: 5948F1E660F17304 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:05:57] 719*2^1403376-1 is not prime. Res64: 94C274D65D8BD4F9 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:06:18] 857*2^1403376-1 is not prime. Res64: 00023CA2C1A488EE Time : 0.0 sec. user=mdettweiler [2015-07-17 20:06:20] 945*2^1403376-1 is not prime. Res64: 7B328DAC4D430484 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:07:01] 789*2^1403376-1 is not prime. Res64: 0E513F8932E239DA Time : 0.0 sec. user=mdettweiler [2015-07-17 20:07:01] 839*2^1403376-1 is not prime. Res64: E6E28C3EF09EE2BF Time : 0.0 sec. user=mdettweiler [2015-07-17 20:25:30] 667*2^1403377-1 is not prime. Res64: 2FB35D55E74735D9 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:25:30] 747*2^1403377-1 is not prime. Res64: A9766D23743A3B05 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:25:45] 885*2^1403377-1 is not prime. Res64: EE0402FB292395AA Time : 0.0 sec. user=mdettweiler [2015-07-17 20:25:45] 999*2^1403377-1 is not prime. Res64: 8EC4DC421E63F0FF Time : 0.0 sec. user=mdettweiler [2015-07-17 20:26:05] 607*2^1403377-1 is not prime. Res64: D4F9BCA574FAD15A Time : 0.0 sec. user=mdettweiler [2015-07-17 20:26:05] 615*2^1403377-1 is not prime. Res64: 4749E26E388F1BDB Time : 0.0 sec. user=mdettweiler [2015-07-17 20:26:26] 711*2^1403378-1 is not prime. Res64: 590830EB512695A0 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:26:26] 767*2^1403378-1 is not prime. Res64: 7C94638F2313221E Time : 0.0 sec. user=mdettweiler [2015-07-17 20:44:37] 797*2^1403378-1 is not prime. Res64: 8CEE993A0DEA8876 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:44:37] 867*2^1403378-1 is not prime. Res64: 2363E968B356ADB3 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:44:58] 893*2^1403378-1 is not prime. Res64: 94587FA442C3406D Time : 0.0 sec. user=mdettweiler [2015-07-17 20:44:58] 963*2^1403378-1 is not prime. Res64: 49E12147F366A92B Time : 0.0 sec. user=mdettweiler [2015-07-17 20:45:12] 723*2^1403379-1 is not prime. Res64: 438DC22581790C74 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:45:13] 735*2^1403379-1 is not prime. Res64: BCBC34902A7BBC87 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:45:59] 741*2^1403379-1 is not prime. Res64: B66599F9D29DB019 Time : 0.0 sec. user=mdettweiler [2015-07-17 20:45:59] 753*2^1403379-1 is not prime. Res64: 733DF46C236C120E Time : 0.0 sec. user=mdettweiler [2015-07-17 21:04:01] 825*2^1403379-1 is not prime. Res64: 833CC08C9A7526AD Time : 0.0 sec. user=mdettweiler [2015-07-17 21:04:02] 829*2^1403379-1 is not prime. Res64: 84311830C7D165FF Time : 0.0 sec. user=mdettweiler [2015-07-17 21:04:29] 603*2^1403380-1 is not prime. Res64: C53DA33227D07DDC Time : 0.0 sec. user=mdettweiler [2015-07-17 21:04:32] 665*2^1403380-1 is not prime. Res64: 205D3B1EE728D48B Time : 0.0 sec. user=mdettweiler [2015-07-17 21:04:34] 943*2^1403379-1 is not prime. Res64: 7A4955DEED5AFAD5 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:04:36] 999*2^1403379-1 is not prime. Res64: 241356003EBEFAE0 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:05:17] 677*2^1403380-1 is not prime. Res64: 6093B987D4EF2C3A Time : 0.0 sec. user=mdettweiler [2015-07-17 21:05:19] 695*2^1403380-1 is not prime. Res64: D4595C3867FB6F87 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:23:15] 717*2^1403380-1 is not prime. Res64: C61F3B3DA47FD521 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:23:15] 827*2^1403380-1 is not prime. Res64: 6D356A6817513472 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:23:24] 843*2^1403380-1 is not prime. Res64: 0C3C805C9F8A6211 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:23:24] 915*2^1403380-1 is not prime. Res64: BF382158974A12B7 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:23:28] 645*2^1403381-1 is not prime. Res64: CB535A31643CAD2E Time : 0.0 sec. user=mdettweiler [2015-07-17 21:23:29] 649*2^1403381-1 is not prime. Res64: 4AF6A33B28754920 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:24:19] 669*2^1403381-1 is not prime. Res64: B2ED7A540279D4F2 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:24:20] 715*2^1403381-1 is not prime. Res64: C35E2A5A7471D9C7 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:43:55] 811*2^1403381-1 is not prime. Res64: DB7D62F6EB7923B8 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:43:55] 819*2^1403381-1 is not prime. Res64: 365A8F73A6CF55EF Time : 0.0 sec. user=mdettweiler [2015-07-17 21:43:56] 991*2^1403381-1 is not prime. Res64: 5878C0B09A48F46D Time : 0.0 sec. user=mdettweiler [2015-07-17 21:43:56] 801*2^1403382-1 is not prime. Res64: 1B9F0349DF17C173 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:44:04] 893*2^1403382-1 is not prime. Res64: 004E0FDF9408611B Time : 0.0 sec. user=mdettweiler [2015-07-17 21:44:05] 947*2^1403382-1 is not prime. Res64: 525F03C1DC2A6DFE Time : 0.0 sec. user=mdettweiler [2015-07-17 21:44:48] 609*2^1403383-1 is not prime. Res64: 1775001C8636DC80 Time : 0.0 sec. user=mdettweiler [2015-07-17 21:44:48] 619*2^1403383-1 is not prime. Res64: DBAEAAFAC8CACA7F Time : 0.0 sec. user=mdettweiler [2015-07-17 22:04:27] 703*2^1403383-1 is not prime. Res64: C53A3367F9FEC890 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:04:28] 633*2^1403383-1 is not prime. Res64: D20D3037C91667A6 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:04:29] 723*2^1403383-1 is not prime. Res64: C3C24162A2CA0614 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:04:30] 675*2^1403383-1 is not prime. Res64: B44D48A83D283542 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:04:41] 829*2^1403383-1 is not prime. Res64: 5F2E8D5B4D0C73C6 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:04:42] 891*2^1403383-1 is not prime. Res64: 9B3490268613030B Time : 0.0 sec. user=mdettweiler [2015-07-17 22:05:33] 993*2^1403383-1 is not prime. Res64: 67DB799540249D7F Time : 0.0 sec. user=mdettweiler [2015-07-17 22:05:35] 635*2^1403384-1 is not prime. Res64: 8B71154D25F2987E Time : 0.0 sec. user=mdettweiler [2015-07-17 22:25:21] 699*2^1403385-1 is not prime. Res64: F5418E142ECB56F4 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:25:22] 817*2^1403385-1 is not prime. Res64: 09B5F053FAA175C5 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:25:34] 677*2^1403384-1 is not prime. Res64: F1702BCEB04F2759 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:25:34] 607*2^1403385-1 is not prime. Res64: E584D49243C826BD Time : 0.0 sec. user=mdettweiler [2015-07-17 22:25:38] 869*2^1403384-1 is not prime. Res64: DE15A49F2CA2F0C2 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:25:39] 781*2^1403385-1 is not prime. Res64: B781597E31038B70 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:26:12] 895*2^1403385-1 is not prime. Res64: A3FEBFAD74C6E74A Time : 0.0 sec. user=mdettweiler [2015-07-17 22:26:13] 677*2^1403386-1 is not prime. Res64: C32D345A8AB7ABD4 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:44:25] 777*2^1403386-1 is not prime. Res64: 7FD1AF7A6228BE7F Time : 0.0 sec. user=mdettweiler [2015-07-17 22:44:25] 917*2^1403386-1 is not prime. Res64: A12A8438CD2A9F96 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:44:41] 981*2^1403386-1 is not prime. Res64: 805A22A554955D18 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:44:41] 983*2^1403386-1 is not prime. Res64: E533FB4985D0759F Time : 0.0 sec. user=mdettweiler [2015-07-17 22:44:49] 621*2^1403387-1 is not prime. Res64: 0B21337AC1BFAA04 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:44:49] 633*2^1403387-1 is not prime. Res64: AE21698667C0BF7F Time : 0.0 sec. user=mdettweiler [2015-07-17 22:45:23] 699*2^1403387-1 is not prime. Res64: ED41CBED5E8E8CC0 Time : 0.0 sec. user=mdettweiler [2015-07-17 22:45:24] 711*2^1403387-1 is not prime. Res64: 27E226EFF951D606 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:04:26] 889*2^1403387-1 is not prime. Res64: F05412D289575B4B Time : 0.0 sec. user=mdettweiler [2015-07-17 23:04:27] 903*2^1403387-1 is not prime. Res64: 0B7513703EEA54B6 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:04:38] 715*2^1403387-1 is not prime. Res64: 5C1880659F348075 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:04:39] 841*2^1403387-1 is not prime. Res64: E3F3C8F284EB0F8E Time : 0.0 sec. user=mdettweiler [2015-07-17 23:04:53] 605*2^1403388-1 is not prime. Res64: 4215F9959BCFCA5D Time : 0.0 sec. user=mdettweiler [2015-07-17 23:04:54] 665*2^1403388-1 is not prime. Res64: 060DD53748539DAC Time : 0.0 sec. user=mdettweiler [2015-07-17 23:05:14] 825*2^1403388-1 is not prime. Res64: 9B4D59A504ED62F3 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:05:15] 839*2^1403388-1 is not prime. Res64: 8E0B960FA32D6FEB Time : 0.0 sec. user=mdettweiler [2015-07-17 23:24:04] 899*2^1403388-1 is not prime. Res64: E8981882C6B58CA6 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:24:05] 999*2^1403388-1 is not prime. Res64: FB9B2000353D95B8 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:24:23] 951*2^1403389-1 is not prime. Res64: 1EDFA73E04CD20DD Time : 0.0 sec. user=mdettweiler [2015-07-17 23:24:24] 663*2^1403390-1 is not prime. Res64: 026F00CE60C08899 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:24:26] 831*2^1403389-1 is not prime. Res64: 4C362EB0C1CE2792 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:24:27] 945*2^1403389-1 is not prime. Res64: 0B2FC2BA31C401AF Time : 0.0 sec. user=mdettweiler [2015-07-17 23:25:12] 677*2^1403390-1 is not prime. Res64: ADACC4D69E1F1922 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:25:12] 791*2^1403390-1 is not prime. Res64: 279CA515F21E99B9 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:44:50] 893*2^1403390-1 is not prime. Res64: 71F3A1C20639E0BE Time : 0.0 sec. user=mdettweiler [2015-07-17 23:44:50] 897*2^1403390-1 is not prime. Res64: 47D8B27A2C15E4C1 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:44:55] 739*2^1403391-1 is not prime. Res64: 4014A149DCB4E99A Time : 0.0 sec. user=mdettweiler [2015-07-17 23:44:55] 805*2^1403391-1 is not prime. Res64: 9715CD1CD40361F1 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:45:05] 987*2^1403390-1 is not prime. Res64: 0C5B31D01076AA11 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:45:05] 679*2^1403391-1 is not prime. Res64: 8CF286A6EE856365 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:45:42] 859*2^1403391-1 is not prime. Res64: 0A564705D6468351 Time : 0.0 sec. user=mdettweiler [2015-07-17 23:45:42] 879*2^1403391-1 is not prime. Res64: 91AECEFC906A7098 Time : 0.0 sec.