user=mdettweiler [2015-02-19 00:09:56] 609*2^1391332-1 is not prime. Res64: F2BD46ECF72AD639 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:09:56] 717*2^1391332-1 is not prime. Res64: BB65B34EA365CF6D Time : 0.0 sec. user=mdettweiler [2015-02-19 00:11:26] 777*2^1391332-1 is not prime. Res64: 2130E04026B7E2EC Time : 0.0 sec. user=mdettweiler [2015-02-19 00:11:27] 819*2^1391332-1 is not prime. Res64: 0E7A5C5006EF4170 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:13:20] 825*2^1391332-1 is not prime. Res64: 680B0CD343D511B9 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:13:20] 827*2^1391332-1 is not prime. Res64: CBEE2A5FEB658D1B Time : 0.0 sec. user=mdettweiler [2015-02-19 00:24:57] 843*2^1391332-1 is not prime. Res64: A53A9187426D84FD Time : 0.0 sec. user=mdettweiler [2015-02-19 00:24:57] 615*2^1391333-1 is not prime. Res64: EAA0A87856CC3C43 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:36:18] 697*2^1391333-1 is not prime. Res64: 50ECA9F3407144E6 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:36:19] 729*2^1391333-1 is not prime. Res64: F015AB9EA026FE0E Time : 0.0 sec. user=mdettweiler [2015-02-19 00:37:39] 741*2^1391333-1 is not prime. Res64: 89A86143CED05BAC Time : 0.0 sec. user=mdettweiler [2015-02-19 00:37:39] 757*2^1391333-1 is not prime. Res64: 9A43781293B61286 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:39:21] 859*2^1391333-1 is not prime. Res64: 3BDC32CD23284C45 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:39:22] 861*2^1391333-1 is not prime. Res64: D3DE875CA5E2DD4D Time : 0.0 sec. user=mdettweiler [2015-02-19 00:51:22] 927*2^1391333-1 is not prime. Res64: 07FCDAF060A502A5 Time : 0.0 sec. user=mdettweiler [2015-02-19 00:51:22] 937*2^1391333-1 is not prime. Res64: 2AD29865C714244D Time : 0.0 sec. user=mdettweiler [2015-02-19 01:02:43] 969*2^1391333-1 is not prime. Res64: 713C3FD32391EA21 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:02:45] 693*2^1391334-1 is not prime. Res64: 6681E149B506262D Time : 0.0 sec. user=mdettweiler [2015-02-19 01:04:01] 717*2^1391334-1 is not prime. Res64: 7583C57AEA6BD031 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:04:02] 773*2^1391334-1 is not prime. Res64: 5038F235FB7B6B76 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:05:43] 915*2^1391334-1 is not prime. Res64: 0AD5248825AA5963 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:05:43] 975*2^1391334-1 is not prime. Res64: F5541C2290E57E6F Time : 0.0 sec. user=mdettweiler [2015-02-19 01:17:18] 983*2^1391334-1 is not prime. Res64: 526DC5775401C78C Time : 0.0 sec. user=mdettweiler [2015-02-19 01:17:18] 679*2^1391335-1 is not prime. Res64: E843C3DD55A9AF10 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:29:09] 763*2^1391335-1 is not prime. Res64: AD10942F33C3E25E Time : 0.0 sec. user=mdettweiler [2015-02-19 01:29:10] 765*2^1391335-1 is not prime. Res64: F9E1EFD3A27FC716 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:30:12] 789*2^1391335-1 is not prime. Res64: 790230E7E8CE6ADE Time : 0.0 sec. user=mdettweiler [2015-02-19 01:30:14] 819*2^1391335-1 is not prime. Res64: 062CE40A09A28C9D Time : 0.0 sec. user=mdettweiler [2015-02-19 01:31:40] 859*2^1391335-1 is not prime. Res64: 626782ADCADD3C78 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:31:40] 635*2^1391336-1 is not prime. Res64: 3F7CC0B1A48BAD16 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:43:11] 677*2^1391336-1 is not prime. Res64: 63A4E4C6465C9E47 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:43:12] 683*2^1391336-1 is not prime. Res64: 45644E2953E41B3D Time : 0.0 sec. user=mdettweiler [2015-02-19 01:55:21] 855*2^1391336-1 is not prime. Res64: 10FA555DCC5FB983 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:55:22] 717*2^1391337-1 is not prime. Res64: A63E5934AB02AA3E Time : 0.0 sec. user=mdettweiler [2015-02-19 01:56:15] 727*2^1391337-1 is not prime. Res64: 58C84394ECF43A47 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:56:15] 747*2^1391337-1 is not prime. Res64: 58C01FC678306552 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:57:32] 865*2^1391337-1 is not prime. Res64: 81894E238B5C50D9 Time : 0.0 sec. user=mdettweiler [2015-02-19 01:57:33] 885*2^1391337-1 is not prime. Res64: EF3D0012294C2E22 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:09:08] 603*2^1391338-1 is not prime. Res64: 1795A3F8A898B73F Time : 0.0 sec. user=mdettweiler [2015-02-19 02:09:09] 671*2^1391338-1 is not prime. Res64: 5CF1441B007CDF1F Time : 0.0 sec. user=mdettweiler [2015-02-19 02:21:16] 773*2^1391338-1 is not prime. Res64: C77CC76254695B87 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:21:17] 777*2^1391338-1 is not prime. Res64: 6783CD3E53FB328E Time : 0.0 sec. user=mdettweiler [2015-02-19 02:22:18] 855*2^1391338-1 is not prime. Res64: 6FCBAA4A6706E344 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:22:18] 945*2^1391338-1 is not prime. Res64: 7D408D1DC4C2F4EB Time : 0.0 sec. user=mdettweiler [2015-02-19 02:23:32] 601*2^1391339-1 is not prime. Res64: 6414DB53F6F7EF13 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:23:33] 615*2^1391339-1 is not prime. Res64: ED37D0C9842CB191 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:34:58] 619*2^1391339-1 is not prime. Res64: 673933AB389CE0FB Time : 0.0 sec. user=mdettweiler [2015-02-19 02:34:58] 711*2^1391339-1 is not prime. Res64: 83A6D1641EA75FE1 Time : 0.0 sec. user=juhehe [2015-02-19 02:46:52] 775*2^1391339-1 is not prime. Res64: BD3E9C3DF7EDC666 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:47:06] 819*2^1391339-1 is not prime. Res64: A2EA58B9B870839C Time : 0.0 sec. user=mdettweiler [2015-02-19 02:47:07] 623*2^1391340-1 is not prime. Res64: 1F741BB64084027E Time : 0.0 sec. user=mdettweiler [2015-02-19 02:48:13] 627*2^1391340-1 is not prime. Res64: C0B18AAAE70A3888 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:48:13] 725*2^1391340-1 is not prime. Res64: 2D78332ECDB1019D Time : 0.0 sec. user=mdettweiler [2015-02-19 02:49:23] 779*2^1391340-1 is not prime. Res64: 99D2FF6538762F74 Time : 0.0 sec. user=mdettweiler [2015-02-19 02:49:24] 795*2^1391340-1 is not prime. Res64: 392E5EB2323B5176 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:01:40] 893*2^1391340-1 is not prime. Res64: 353FF13DFB4904D0 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:01:41] 639*2^1391341-1 is not prime. Res64: 70118F37853A3FFB Time : 0.0 sec. user=mdettweiler [2015-02-19 03:13:54] 727*2^1391341-1 is not prime. Res64: D1D21FF96411E07D Time : 0.0 sec. user=mdettweiler [2015-02-19 03:13:55] 789*2^1391341-1 is not prime. Res64: 3AAF1BDDCEDB9179 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:15:12] 861*2^1391341-1 is not prime. Res64: 6FE02F65E6D8ECFC Time : 0.0 sec. user=mdettweiler [2015-02-19 03:15:13] 867*2^1391341-1 is not prime. Res64: 3B03600F2EC4E07A Time : 0.0 sec. user=mdettweiler [2015-02-19 03:16:18] 901*2^1391341-1 is not prime. Res64: EEA302290CEDD3EE Time : 0.0 sec. user=mdettweiler [2015-02-19 03:16:18] 961*2^1391341-1 is not prime. Res64: 289C901C5C2C074E Time : 0.0 sec. user=mdettweiler [2015-02-19 03:28:06] 997*2^1391341-1 is not prime. Res64: 74F70900007847F5 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:28:10] 635*2^1391342-1 is not prime. Res64: 5EC6EFC923967254 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:39:57] 665*2^1391342-1 is not prime. Res64: A632F79997EC8A63 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:39:59] 705*2^1391342-1 is not prime. Res64: 088FF3FA79366D11 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:41:04] 713*2^1391342-1 is not prime. Res64: 6C87DCAA4BB5C5FB Time : 0.0 sec. user=mdettweiler [2015-02-19 03:41:05] 791*2^1391342-1 is not prime. Res64: 30D39EFA7AA40D29 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:42:12] 813*2^1391342-1 is not prime. Res64: 29882C4C7B2F3254 Time : 0.0 sec. user=mdettweiler [2015-02-19 03:42:13] 843*2^1391342-1 is not prime. Res64: A46345EFA151D8CC Time : 0.0 sec. user=mdettweiler [2015-02-19 03:54:14] 873*2^1391342-1 is not prime. Res64: 20A1314CD4EFFA3B Time : 0.0 sec. user=mdettweiler [2015-02-19 03:54:15] 915*2^1391342-1 is not prime. Res64: 0CCB221333B76CE1 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:06:11] 923*2^1391342-1 is not prime. Res64: 851DD7B391E8DE27 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:06:14] 643*2^1391343-1 is not prime. Res64: 240414FF7F3DC223 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:07:04] 649*2^1391343-1 is not prime. Res64: DD33096DA7C20D35 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:07:06] 685*2^1391343-1 is not prime. Res64: 4FA964F0A29250CC Time : 0.0 sec. user=mdettweiler [2015-02-19 04:08:07] 703*2^1391343-1 is not prime. Res64: 25EE09700BBF1B99 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:08:08] 919*2^1391343-1 is not prime. Res64: D53CB7410666DDEC Time : 0.0 sec. user=mdettweiler [2015-02-19 04:20:15] 933*2^1391343-1 is not prime. Res64: F238278BAD189455 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:20:16] 955*2^1391343-1 is not prime. Res64: D367D98E56E3A302 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:32:27] 635*2^1391344-1 is not prime. Res64: B27F52E6B1F71A4B Time : 0.0 sec. user=mdettweiler [2015-02-19 04:32:27] 645*2^1391344-1 is not prime. Res64: CCD4B7BF39FDF6E5 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:32:51] 765*2^1391344-1 is not prime. Res64: 05B44A42345AA5C8 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:32:52] 827*2^1391344-1 is not prime. Res64: 1333174E640D64A4 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:33:51] 843*2^1391344-1 is not prime. Res64: 5201DC7F17A4E5C9 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:33:52] 869*2^1391344-1 is not prime. Res64: 942193C6CE14466D Time : 0.0 sec. user=mdettweiler [2015-02-19 04:46:09] 903*2^1391344-1 is not prime. Res64: 433AD5381B081968 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:46:09] 909*2^1391344-1 is not prime. Res64: 388AA9F3596E0836 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:58:27] 939*2^1391344-1 is not prime. Res64: 5817410E68D95C22 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:58:27] 649*2^1391345-1 is not prime. Res64: 30F910E506AC94EF Time : 0.0 sec. user=mdettweiler [2015-02-19 04:58:42] 691*2^1391345-1 is not prime. Res64: B231A7B8D5FA7674 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:58:43] 721*2^1391345-1 is not prime. Res64: DC2A19CBCEA7E9ED Time : 0.0 sec. user=mdettweiler [2015-02-19 04:59:37] 735*2^1391345-1 is not prime. Res64: 17B14A38F43288A2 Time : 0.0 sec. user=mdettweiler [2015-02-19 04:59:38] 831*2^1391345-1 is not prime. Res64: 8E335EB8766E9D1E Time : 0.0 sec. user=mdettweiler [2015-02-19 05:12:06] 861*2^1391345-1 is not prime. Res64: B282504F7324425C Time : 0.0 sec. user=mdettweiler [2015-02-19 05:12:06] 705*2^1391346-1 is not prime. Res64: C2A8711A83194800 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:24:13] 851*2^1391346-1 is not prime. Res64: 17381C04A9BCB5D4 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:24:13] 923*2^1391346-1 is not prime. Res64: C13D189645A5F3EF Time : 0.0 sec. user=mdettweiler [2015-02-19 05:24:34] 947*2^1391346-1 is not prime. Res64: 79F42F83B2CF11E8 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:24:34] 603*2^1391347-1 is not prime. Res64: 7F7F2799D36FE6B4 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:25:32] 631*2^1391347-1 is not prime. Res64: 912A5C9304E9DFED Time : 0.0 sec. user=mdettweiler [2015-02-19 05:25:33] 663*2^1391347-1 is not prime. Res64: BEDF946FB3CEE21A Time : 0.0 sec. user=mdettweiler [2015-02-19 05:38:04] 693*2^1391347-1 is not prime. Res64: 12B5070ADF9A103E Time : 0.0 sec. user=mdettweiler [2015-02-19 05:38:05] 703*2^1391347-1 is not prime. Res64: B935416D1F4BFD65 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:49:55] 741*2^1391347-1 is not prime. Res64: 0F4DA074EBEAF7C9 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:49:55] 765*2^1391347-1 is not prime. Res64: 4309784FBEC0C232 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:50:22] 769*2^1391347-1 is not prime. Res64: F1DCD9481A0E98B3 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:50:22] 835*2^1391347-1 is not prime. Res64: 5E6FAB3BB185B5D1 Time : 0.0 sec. user=mdettweiler [2015-02-19 05:51:24] 859*2^1391347-1 is not prime. Res64: A79576719826C8DD Time : 0.0 sec. user=mdettweiler [2015-02-19 05:51:25] 945*2^1391347-1 is not prime. Res64: F8B666BBAE977559 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:03:55] 623*2^1391348-1 is not prime. Res64: 13D145CCB5293598 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:03:57] 683*2^1391348-1 is not prime. Res64: 4C8FBF53243BE226 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:15:46] 743*2^1391348-1 is not prime. Res64: 82C0C436DBE561A4 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:15:46] 819*2^1391348-1 is not prime. Res64: B03F8B5EE26C8778 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:16:09] 855*2^1391348-1 is not prime. Res64: D95AA2FDE7571C0A Time : 0.0 sec. user=mdettweiler [2015-02-19 06:16:09] 885*2^1391348-1 is not prime. Res64: 247F0409CFDF2591 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:17:15] 675*2^1391349-1 is not prime. Res64: 9DDA89537E2359CA Time : 0.0 sec. user=mdettweiler [2015-02-19 06:17:16] 685*2^1391349-1 is not prime. Res64: B072427E87E934CC Time : 0.0 sec. user=mdettweiler [2015-02-19 06:30:16] 747*2^1391349-1 is not prime. Res64: 5623C9CF07B5FE0D Time : 0.0 sec. user=mdettweiler [2015-02-19 06:30:17] 759*2^1391349-1 is not prime. Res64: 3375734F5E05A4A1 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:41:39] 825*2^1391349-1 is not prime. Res64: 8C308E2D74BC6BEC Time : 0.0 sec. user=mdettweiler [2015-02-19 06:41:40] 895*2^1391349-1 is not prime. Res64: D4C45805B278DCFE Time : 0.0 sec. user=mdettweiler [2015-02-19 06:41:55] 975*2^1391349-1 is not prime. Res64: F399EB330A5CFB3E Time : 0.0 sec. user=mdettweiler [2015-02-19 06:41:56] 677*2^1391350-1 is not prime. Res64: 69457E2CDD25B848 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:43:02] 707*2^1391350-1 is not prime. Res64: B2863A16FEBC36A3 Time : 0.0 sec. user=mdettweiler [2015-02-19 06:43:02] 741*2^1391350-1 is not prime. Res64: 5FBD3F73EBCF710F Time : 0.0 sec. user=mdettweiler [2015-02-19 06:56:00] 761*2^1391350-1 is not prime. Res64: E59BDE0A4D7889AD Time : 0.0 sec. user=mdettweiler [2015-02-19 06:56:00] 783*2^1391350-1 is not prime. Res64: EE1EEF1A66DD33EF Time : 0.0 sec. user=mdettweiler [2015-02-19 07:07:28] 891*2^1391350-1 is not prime. Res64: 42DB0D0D8B955488 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:07:29] 615*2^1391351-1 is not prime. Res64: 275124663BBA6164 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:07:51] 661*2^1391351-1 is not prime. Res64: 30BC81C1BBE56CD6 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:07:52] 921*2^1391351-1 is not prime. Res64: F86DF428EFF419F7 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:08:46] 615*2^1391352-1 is not prime. Res64: A31A77C7825DF905 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:08:47] 627*2^1391352-1 is not prime. Res64: C62FA52E22E074E9 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:21:49] 669*2^1391352-1 is not prime. Res64: 1401C5C9CE5D27DF Time : 0.0 sec. user=mdettweiler [2015-02-19 07:21:49] 767*2^1391352-1 is not prime. Res64: 11A639C3DEC5F95C Time : 0.0 sec. user=mdettweiler [2015-02-19 07:33:30] 899*2^1391352-1 is not prime. Res64: 79C1A79536FC6261 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:33:31] 933*2^1391352-1 is not prime. Res64: 28C80C0F0DD56551 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:33:42] 687*2^1391353-1 is not prime. Res64: 07B51BDA4239BFA2 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:33:43] 721*2^1391353-1 is not prime. Res64: FE9E8D86928F4F96 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:34:39] 751*2^1391353-1 is not prime. Res64: 11FF8930D1795F4A Time : 0.0 sec. user=mdettweiler [2015-02-19 07:34:39] 765*2^1391353-1 is not prime. Res64: 8BDC17FA2650706F Time : 0.0 sec. user=mdettweiler [2015-02-19 07:47:36] 895*2^1391353-1 is not prime. Res64: CC641711906876DC Time : 0.0 sec. user=mdettweiler [2015-02-19 07:47:36] 919*2^1391353-1 is not prime. Res64: 6D66C08A577D3BC6 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:59:13] 937*2^1391353-1 is not prime. Res64: 3FF84B0CF3BA7C29 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:59:14] 677*2^1391354-1 is not prime. Res64: 571BC597AE201DE2 Time : 0.0 sec. user=mdettweiler [2015-02-19 07:59:24] 827*2^1391354-1 is not prime. Res64: 8A12EC6A0230998E Time : 0.0 sec. user=mdettweiler [2015-02-19 07:59:25] 831*2^1391354-1 is not prime. Res64: D9BA99C8991437F4 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:00:31] 833*2^1391354-1 is not prime. Res64: 9D22638C48D3E20C Time : 0.0 sec. user=mdettweiler [2015-02-19 08:00:32] 885*2^1391354-1 is not prime. Res64: 9999C2E593963F7D Time : 0.0 sec. user=mdettweiler [2015-02-19 08:13:25] 923*2^1391354-1 is not prime. Res64: 7A5104E58F11DC55 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:13:25] 983*2^1391354-1 is not prime. Res64: B4B7B32EBA838779 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:25:02] 699*2^1391355-1 is not prime. Res64: 2397A332C3659966 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:25:03] 891*2^1391355-1 is not prime. Res64: 51848CB504D845AA Time : 0.0 sec. user=mdettweiler [2015-02-19 08:25:03] 619*2^1391355-1 is not prime. Res64: E300166E816B8719 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:25:03] 685*2^1391355-1 is not prime. Res64: DC4454BDCE41F0AE Time : 0.0 sec. user=mdettweiler [2015-02-19 08:26:36] 921*2^1391355-1 is not prime. Res64: 5FD8CEB11C0E516B Time : 0.0 sec. user=mdettweiler [2015-02-19 08:26:36] 985*2^1391355-1 is not prime. Res64: 6DCBBEA37963CB5D Time : 0.0 sec. user=mdettweiler [2015-02-19 08:39:10] 999*2^1391355-1 is not prime. Res64: EF005E9D13E9433A Time : 0.0 sec. user=mdettweiler [2015-02-19 08:39:10] 855*2^1391356-1 is not prime. Res64: 8247D18E0E9D1CCA Time : 0.0 sec. user=mdettweiler [2015-02-19 08:50:48] 651*2^1391357-1 is not prime. Res64: 0D66869B8A620044 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:50:48] 685*2^1391357-1 is not prime. Res64: 08019581DA90B9B3 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:50:50] 909*2^1391356-1 is not prime. Res64: 22283CB6058B2522 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:50:50] 615*2^1391357-1 is not prime. Res64: C6828426B2D43715 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:52:21] 697*2^1391357-1 is not prime. Res64: 328F2FB5DCCFD215 Time : 0.0 sec. user=mdettweiler [2015-02-19 08:52:21] 699*2^1391357-1 is not prime. Res64: 9428AD0388CE55CF Time : 0.0 sec. user=mdettweiler [2015-02-19 09:04:55] 727*2^1391357-1 is not prime. Res64: 3D5DCD785F86A1F7 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:04:56] 735*2^1391357-1 is not prime. Res64: C1CB4A48A43DE83F Time : 0.0 sec. user=mdettweiler [2015-02-19 09:16:36] 991*2^1391357-1 is not prime. Res64: 042375C1D1A76C6E Time : 0.0 sec. user=mdettweiler [2015-02-19 09:16:37] 663*2^1391358-1 is not prime. Res64: 23B394C1702BA7A3 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:16:37] 825*2^1391357-1 is not prime. Res64: BEC423447E928DBE Time : 0.0 sec. user=mdettweiler [2015-02-19 09:16:37] 915*2^1391357-1 is not prime. Res64: F104E5A8A8F477F8 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:17:59] 677*2^1391358-1 is not prime. Res64: 0464B8CD43DA5C6C Time : 0.0 sec. user=mdettweiler [2015-02-19 09:17:59] 683*2^1391358-1 is not prime. Res64: 95F5A7FBDE5D6369 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:31:05] 711*2^1391358-1 is not prime. Res64: 4B5108F942843EF9 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:31:05] 755*2^1391358-1 is not prime. Res64: 67A70B5C3EA2CAAF Time : 0.0 sec. user=mdettweiler [2015-02-19 09:42:17] 821*2^1391358-1 is not prime. Res64: F644B37C036822C6 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:42:18] 891*2^1391358-1 is not prime. Res64: BFBC0D09F34BE44A Time : 0.0 sec. user=mdettweiler [2015-02-19 09:42:20] 609*2^1391359-1 is not prime. Res64: 47AA85DCDF9EFCC1 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:42:21] 663*2^1391359-1 is not prime. Res64: 9E9643F2345848CA Time : 0.0 sec. user=mdettweiler [2015-02-19 09:43:44] 675*2^1391359-1 is not prime. Res64: 2099925D3B48A743 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:43:45] 771*2^1391359-1 is not prime. Res64: F0A80BC2FB312C52 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:56:47] 855*2^1391359-1 is not prime. Res64: A3E45F709FEC39F4 Time : 0.0 sec. user=mdettweiler [2015-02-19 09:56:48] 859*2^1391359-1 is not prime. Res64: B9F793F1692885F1 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:08:13] 973*2^1391359-1 is not prime. Res64: F83BFFBB0FEB0E40 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:08:13] 873*2^1391359-1 is not prime. Res64: 3BEEF429DB758FCF Time : 0.0 sec. user=mdettweiler [2015-02-19 10:08:14] 913*2^1391359-1 is not prime. Res64: 7B000D522F302114 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:08:14] 975*2^1391359-1 is not prime. Res64: 6576FE2C17264B9F Time : 0.0 sec. user=mdettweiler [2015-02-19 10:09:33] 993*2^1391359-1 is not prime. Res64: A22B333D0C401677 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:09:34] 603*2^1391360-1 is not prime. Res64: 87C308403048B411 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:22:23] 699*2^1391360-1 is not prime. Res64: 3D5BC477814152CC Time : 0.0 sec. user=mdettweiler [2015-02-19 10:22:23] 725*2^1391360-1 is not prime. Res64: 47525A86C755C210 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:34:01] 995*2^1391360-1 is not prime. Res64: 8104DC315DB7AF1A Time : 0.0 sec. user=mdettweiler [2015-02-19 10:34:01] 999*2^1391360-1 is not prime. Res64: 16F1F29C31CA98C2 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:34:11] 767*2^1391360-1 is not prime. Res64: 800E1423B26BECCF Time : 0.0 sec. user=mdettweiler [2015-02-19 10:34:11] 789*2^1391360-1 is not prime. Res64: 014073775474D04B Time : 0.0 sec. user=mdettweiler [2015-02-19 10:35:28] 601*2^1391361-1 is not prime. Res64: 40D6B17ED3B240B6 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:35:28] 627*2^1391361-1 is not prime. Res64: 588D6C843C56FE00 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:48:43] 709*2^1391361-1 is not prime. Res64: B5E6607130009473 Time : 0.0 sec. user=mdettweiler [2015-02-19 10:48:44] 727*2^1391361-1 is not prime. Res64: B2A8D302071D48EA Time : 0.0 sec. user=mdettweiler [2015-02-19 11:03:28] 635*2^1391362-1 is not prime. Res64: 93A70C751C97566A Time : 0.0 sec. user=mdettweiler [2015-02-19 11:03:29] 743*2^1391362-1 is not prime. Res64: F9005DD020631AE7 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:03:55] 747*2^1391361-1 is not prime. Res64: B1A372C65A081DF9 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:03:56] 975*2^1391361-1 is not prime. Res64: 924D7B0E7DA66E3B Time : 0.0 sec. user=mdettweiler [2015-02-19 11:05:06] 987*2^1391362-1 is not prime. Res64: 8C3F2DB315EC78A4 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:05:08] 663*2^1391363-1 is not prime. Res64: 793ACCF1BE850605 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:22:39] 669*2^1391363-1 is not prime. Res64: DE7D44ADF5B6094C Time : 0.0 sec. user=mdettweiler [2015-02-19 11:22:40] 703*2^1391363-1 is not prime. Res64: 08F0B77EA42E2881 Time : 0.0 sec. user=juhehe [2015-02-19 11:29:37] 811*2^1391363-1 is not prime. Res64: 97B931F78578B541 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:34:00] 901*2^1391363-1 is not prime. Res64: E75FFA5A5E8E0A6A Time : 0.0 sec. user=mdettweiler [2015-02-19 11:34:01] 963*2^1391363-1 is not prime. Res64: 655C33C268235432 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:34:40] 825*2^1391363-1 is not prime. Res64: B915D37CF723C029 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:34:40] 859*2^1391363-1 is not prime. Res64: D7D878B3763ECB49 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:35:56] 657*2^1391364-1 is not prime. Res64: 70F6DA5DFB2CC18A Time : 0.0 sec. user=mdettweiler [2015-02-19 11:35:57] 753*2^1391364-1 is not prime. Res64: D7FCF5920F0AE2A1 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:48:35] 767*2^1391364-1 is not prime. Res64: 877737DF1302FC42 Time : 0.0 sec. user=mdettweiler [2015-02-19 11:48:36] 773*2^1391364-1 is not prime. Res64: 0E9819B7D59739C0 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:00:36] 809*2^1391364-1 is not prime. Res64: 83CF23EAFC96DEA8 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:00:37] 923*2^1391364-1 is not prime. Res64: 15BFD86E620E3E57 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:01:14] 929*2^1391364-1 is not prime. Res64: 322F52E365E4B284 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:01:15] 609*2^1391365-1 is not prime. Res64: C07A0FCA5D1EB2D0 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:02:56] 765*2^1391365-1 is not prime. Res64: BC02BADA3F9BC3C4 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:02:57] 861*2^1391365-1 is not prime. Res64: 84696C2374D05B2A Time : 0.0 sec. user=mdettweiler [2015-02-19 12:16:33] 895*2^1391365-1 is not prime. Res64: A04427C64DB43717 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:16:33] 985*2^1391365-1 is not prime. Res64: A59D99DD1BB29DE1 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:28:24] 831*2^1391366-1 is not prime. Res64: C3B499866E4D7326 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:28:24] 703*2^1391367-1 is not prime. Res64: B8F849AF2D87F77A Time : 0.0 sec. user=mdettweiler [2015-02-19 12:28:52] 823*2^1391367-1 is not prime. Res64: 79F42E79F98E5872 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:28:52] 859*2^1391367-1 is not prime. Res64: 8141013089B0B51F Time : 0.0 sec. user=mdettweiler [2015-02-19 12:29:50] 901*2^1391367-1 is not prime. Res64: C8B4460F316028F6 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:29:51] 951*2^1391367-1 is not prime. Res64: 4345542618A40066 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:42:47] 979*2^1391367-1 is not prime. Res64: 6F7589BB51B66F00 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:42:48] 723*2^1391368-1 is not prime. Res64: F9DBA0DC77C3259C Time : 0.0 sec. user=mdettweiler [2015-02-19 12:54:51] 773*2^1391368-1 is not prime. Res64: B67D1A9DCFD891E7 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:54:51] 797*2^1391368-1 is not prime. Res64: 3726A74EC473042D Time : 0.0 sec. user=mdettweiler [2015-02-19 12:55:15] 813*2^1391368-1 is not prime. Res64: 8ED6150DF21E63FE Time : 0.0 sec. user=mdettweiler [2015-02-19 12:55:15] 819*2^1391368-1 is not prime. Res64: 7AF9EB75007A0A19 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:56:00] 827*2^1391368-1 is not prime. Res64: B7D5F115DB024621 Time : 0.0 sec. user=mdettweiler [2015-02-19 12:56:00] 869*2^1391368-1 is not prime. Res64: 670F61606F317592 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:09:18] 927*2^1391368-1 is not prime. Res64: 483C3C5995602F37 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:21:45] 993*2^1391368-1 is not prime. Res64: E11A4D0CCB5A6FDF Time : 0.0 sec. user=mdettweiler [2015-02-19 13:21:45] 999*2^1391368-1 is not prime. Res64: EB1A23A2045FC6C8 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:22:10] 691*2^1391369-1 is not prime. Res64: 125AC45223BCF6D8 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:22:10] 711*2^1391369-1 is not prime. Res64: 47074D7D5E5B39E9 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:23:26] 829*2^1391369-1 is not prime. Res64: DB7E5F9448B3B7FB Time : 0.0 sec. user=mdettweiler [2015-02-19 13:23:26] 841*2^1391369-1 is not prime. Res64: 13858F564959465E Time : 0.0 sec. user=mdettweiler [2015-02-19 13:49:09] 847*2^1391369-1 is not prime. Res64: 2EFE26DF30DF0123 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:49:10] 897*2^1391369-1 is not prime. Res64: 403245B791748F37 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:49:20] 939*2^1391369-1 is not prime. Res64: C1A32679A77D96B8 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:49:21] 949*2^1391369-1 is not prime. Res64: 1FC67D31E6152CF0 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:50:54] 641*2^1391370-1 is not prime. Res64: 6DFC8063458A9B88 Time : 0.0 sec. user=mdettweiler [2015-02-19 13:50:54] 821*2^1391370-1 is not prime. Res64: B21DF18735D6D3D1 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:16:23] 887*2^1391370-1 is not prime. Res64: 85A24CCC1571DCE5 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:16:23] 893*2^1391370-1 is not prime. Res64: 31E6454BAF4641D5 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:16:48] 941*2^1391370-1 is not prime. Res64: E6FA641AC213E0B2 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:16:49] 951*2^1391370-1 is not prime. Res64: 64F9725A25585EB3 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:18:04] 619*2^1391371-1 is not prime. Res64: A31A9AFC79855D16 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:18:05] 625*2^1391371-1 is not prime. Res64: 8FA96F660AF5BADF Time : 0.0 sec. user=mdettweiler [2015-02-19 14:29:58] 933*2^1391368-1 is not prime. Res64: BC961E89765BBA36 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:44:34] 715*2^1391371-1 is not prime. Res64: B5F0CC9AD593E2E7 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:44:35] 793*2^1391371-1 is not prime. Res64: 1DD54F7D043C01C6 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:44:50] 835*2^1391371-1 is not prime. Res64: CDBC9B6448E280C3 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:44:51] 973*2^1391371-1 is not prime. Res64: AB955032C89A06DB Time : 0.0 sec. user=mdettweiler [2015-02-19 14:46:39] 875*2^1391372-1 is not prime. Res64: 5EEBE2522278D5E8 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:46:39] 893*2^1391372-1 is not prime. Res64: AA9B3FEB0B4AE6A0 Time : 0.0 sec. user=mdettweiler [2015-02-19 14:58:01] 959*2^1391372-1 is not prime. Res64: 48BF38639B8F2E9F Time : 0.0 sec. user=mdettweiler [2015-02-19 14:58:01] 609*2^1391373-1 is not prime. Res64: 7A2BE2242F86DE0C Time : 0.0 sec. user=mdettweiler [2015-02-19 15:13:37] 627*2^1391373-1 is not prime. Res64: B82E239150F79533 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:13:37] 699*2^1391373-1 is not prime. Res64: E24AD4A49BD8B39E Time : 0.0 sec. user=mdettweiler [2015-02-19 15:15:45] 745*2^1391373-1 is not prime. Res64: B30F2201964F6595 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:15:45] 635*2^1391374-1 is not prime. Res64: A8993FC641F9AE85 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:17:42] 941*2^1391374-1 is not prime. Res64: 800F49A4C3B36590 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:17:43] 633*2^1391376-1 is not prime. Res64: 62B9C38E17B2245F Time : 0.0 sec. user=mdettweiler [2015-02-19 15:29:56] 719*2^1391376-1 is not prime. Res64: ED4D35FFEB1876A7 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:29:57] 849*2^1391376-1 is not prime. Res64: A0B18240DD2786A0 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:46:24] 933*2^1391376-1 is not prime. Res64: CE744A04FBF240F3 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:46:24] 945*2^1391376-1 is not prime. Res64: 0493D451340A579B Time : 0.0 sec. user=mdettweiler [2015-02-19 15:46:24] 975*2^1391376-1 is not prime. Res64: 1BEACE23B78F253C Time : 0.0 sec. user=mdettweiler [2015-02-19 15:46:25] 601*2^1391377-1 is not prime. Res64: 6A5A5309F301593D Time : 0.0 sec. user=mdettweiler [2015-02-19 15:48:22] 619*2^1391377-1 is not prime. Res64: B6BED5ED435EE020 Time : 0.0 sec. user=mdettweiler [2015-02-19 15:48:22] 639*2^1391377-1 is not prime. Res64: 4E85AD07F871FCF8 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:00:00] 649*2^1391377-1 is not prime. Res64: 4C9E58DF1E723761 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:00:00] 727*2^1391377-1 is not prime. Res64: CEA01D8081F39936 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:16:46] 775*2^1391377-1 is not prime. Res64: C3433DB2DBD930BF Time : 0.0 sec. user=mdettweiler [2015-02-19 16:16:46] 777*2^1391377-1 is not prime. Res64: BC3EACE4038511A6 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:17:56] 799*2^1391377-1 is not prime. Res64: 7EA9C16641A6E826 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:17:56] 801*2^1391377-1 is not prime. Res64: 915F93C99667D491 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:18:28] 895*2^1391377-1 is not prime. Res64: A53B3FCC34208900 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:18:28] 641*2^1391378-1 is not prime. Res64: 493EF255A7943725 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:29:37] 677*2^1391378-1 is not prime. Res64: E773CECE7B820667 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:29:38] 713*2^1391378-1 is not prime. Res64: AA8CE130C8A1D0E4 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:44:04] 755*2^1391378-1 is not prime. Res64: CE39901A12E1B069 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:44:05] 773*2^1391378-1 is not prime. Res64: 1CFF83493ADC1BE7 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:44:58] 615*2^1391379-1 is not prime. Res64: 69498BA33BA48E7C Time : 0.0 sec. user=mdettweiler [2015-02-19 16:44:58] 625*2^1391379-1 is not prime. Res64: 0331C6AE0CB4CA2B Time : 0.0 sec. user=mdettweiler [2015-02-19 16:45:36] 679*2^1391379-1 is not prime. Res64: 112E72D12743DF45 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:45:36] 685*2^1391379-1 is not prime. Res64: 0AA068803B9F811F Time : 0.0 sec. user=mdettweiler [2015-02-19 16:55:50] 751*2^1391379-1 is not prime. Res64: FD17199B988520B3 Time : 0.0 sec. user=mdettweiler [2015-02-19 16:55:51] 853*2^1391379-1 is not prime. Res64: 99565D7235DE14C3 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:10:08] 903*2^1391379-1 is not prime. Res64: 2482A5D8D2DB6979 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:10:09] 975*2^1391379-1 is not prime. Res64: 00A96B66B67B6603 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:11:03] 665*2^1391380-1 is not prime. Res64: A8BAB21D36B835BE Time : 0.0 sec. user=mdettweiler [2015-02-19 17:11:03] 777*2^1391380-1 is not prime. Res64: B51F240ACFF8B1FD Time : 0.0 sec. user=mdettweiler [2015-02-19 17:11:41] 785*2^1391380-1 is not prime. Res64: 868A2AFC5FCF9C3F Time : 0.0 sec. user=mdettweiler [2015-02-19 17:11:42] 797*2^1391380-1 is not prime. Res64: 00E557632A46294E Time : 0.0 sec. user=mdettweiler [2015-02-19 17:22:01] 857*2^1391380-1 is not prime. Res64: F0E81980D0287223 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:22:01] 873*2^1391380-1 is not prime. Res64: 5239EB6C90241705 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:36:49] 657*2^1391381-1 is not prime. Res64: D347257695470ED9 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:36:49] 691*2^1391381-1 is not prime. Res64: 61F7AAB6A8510187 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:37:42] 745*2^1391381-1 is not prime. Res64: 52BAFEB48B8CDF13 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:37:42] 789*2^1391381-1 is not prime. Res64: 7578566DF7ED3D5F Time : 0.0 sec. user=mdettweiler [2015-02-19 17:38:37] 859*2^1391381-1 is not prime. Res64: DE7EC5BA1FF9C1CD Time : 0.0 sec. user=mdettweiler [2015-02-19 17:38:37] 621*2^1391382-1 is not prime. Res64: 587C0BF82C724ABD Time : 0.0 sec. user=mdettweiler [2015-02-19 17:49:13] 627*2^1391382-1 is not prime. Res64: 833758DB4C07CF92 Time : 0.0 sec. user=mdettweiler [2015-02-19 17:49:14] 671*2^1391382-1 is not prime. Res64: 8511BF4CC023A8BA Time : 0.0 sec. user=mdettweiler [2015-02-19 18:05:56] 711*2^1391382-1 is not prime. Res64: 7737DBFB8D187C82 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:05:57] 791*2^1391382-1 is not prime. Res64: 508C83E4DD4297A1 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:06:23] 797*2^1391382-1 is not prime. Res64: 8D135491DC99BBCE Time : 0.0 sec. user=mdettweiler [2015-02-19 18:06:25] 833*2^1391382-1 is not prime. Res64: 62484CA2B9B28295 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:06:50] 893*2^1391382-1 is not prime. Res64: 3D30F72E7B44E287 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:06:51] 917*2^1391382-1 is not prime. Res64: A9B1D654662BDBC0 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:18:12] 983*2^1391382-1 is not prime. Res64: 3D7405B56F628900 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:18:12] 619*2^1391383-1 is not prime. Res64: 41F3D2E517FAC90F Time : 0.0 sec. user=mdettweiler [2015-02-19 18:35:11] 885*2^1391383-1 is not prime. Res64: 7EA6D75FA37FF173 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:35:12] 843*2^1391384-1 is not prime. Res64: 0E86729EB1039CC0 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:35:18] 729*2^1391383-1 is not prime. Res64: 02815E7B28A77E7A Time : 0.0 sec. user=mdettweiler [2015-02-19 18:35:19] 805*2^1391383-1 is not prime. Res64: A9E1F7BCB4E560A8 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:35:36] 957*2^1391384-1 is not prime. Res64: 4298F3F0EA336695 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:35:37] 969*2^1391384-1 is not prime. Res64: 5EA67C1BC9FB185F Time : 0.0 sec. user=mdettweiler [2015-02-19 18:46:42] 685*2^1391385-1 is not prime. Res64: 9BDA025DC72C63D1 Time : 0.0 sec. user=mdettweiler [2015-02-19 18:46:43] 717*2^1391385-1 is not prime. Res64: 38EC1D5B012F6E0C Time : 0.0 sec. user=mdettweiler [2015-02-19 19:03:59] 647*2^1391386-1 is not prime. Res64: 26CE75C4CF3E536C Time : 0.0 sec. user=mdettweiler [2015-02-19 19:04:02] 663*2^1391386-1 is not prime. Res64: 4FFA177A88727703 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:04:06] 741*2^1391385-1 is not prime. Res64: 245F842BE607F05D Time : 0.0 sec. user=mdettweiler [2015-02-19 19:04:07] 777*2^1391385-1 is not prime. Res64: 548A1612D8321CEB Time : 0.0 sec. user=mdettweiler [2015-02-19 19:04:55] 877*2^1391385-1 is not prime. Res64: 9366317E064586F0 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:04:56] 979*2^1391385-1 is not prime. Res64: 8E913539F1B8ABE2 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:15:12] 737*2^1391386-1 is not prime. Res64: 1F2C88AC094933DD Time : 0.0 sec. user=mdettweiler [2015-02-19 19:15:13] 803*2^1391386-1 is not prime. Res64: D928EE8ABC18CEF6 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:31:23] 813*2^1391386-1 is not prime. Res64: 331BC19519F484A5 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:31:24] 857*2^1391386-1 is not prime. Res64: 6B9760E8B2B3A4CD Time : 0.0 sec. user=mdettweiler [2015-02-19 19:32:02] 891*2^1391386-1 is not prime. Res64: 992A680FD0493C91 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:32:02] 911*2^1391386-1 is not prime. Res64: CB4ADA30AB2AFBA8 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:32:32] 987*2^1391386-1 is not prime. Res64: A39B108CB2AAA4C0 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:32:33] 993*2^1391386-1 is not prime. Res64: EDBE932E54A928AE Time : 0.0 sec. user=mdettweiler [2015-02-19 19:42:15] 603*2^1391387-1 is not prime. Res64: B3822B2279493DCE Time : 0.0 sec. user=mdettweiler [2015-02-19 19:42:15] 759*2^1391387-1 is not prime. Res64: 617A41F9F21169F0 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:58:13] 861*2^1391387-1 is not prime. Res64: B975721B4CC785CE Time : 0.0 sec. user=mdettweiler [2015-02-19 19:58:13] 955*2^1391387-1 is not prime. Res64: ABE26743305761B5 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:58:54] 633*2^1391388-1 is not prime. Res64: D3705607B53F7ABC Time : 0.0 sec. user=mdettweiler [2015-02-19 19:58:55] 699*2^1391388-1 is not prime. Res64: 8FA2F8BE71E29148 Time : 0.0 sec. user=mdettweiler [2015-02-19 19:59:14] 777*2^1391388-1 is not prime. Res64: 1A53238480F17A6A Time : 0.0 sec. user=mdettweiler [2015-02-19 19:59:14] 839*2^1391388-1 is not prime. Res64: C991CBA15E3BBE6A Time : 0.0 sec. user=mdettweiler [2015-02-19 20:09:19] 929*2^1391388-1 is not prime. Res64: ECAAD70FBD45E7E5 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:09:19] 977*2^1391388-1 is not prime. Res64: 6439A2DD3529E604 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:25:26] 741*2^1391389-1 is not prime. Res64: 715E243795A5B2DB Time : 0.0 sec. user=mdettweiler [2015-02-19 20:25:27] 771*2^1391389-1 is not prime. Res64: F894B8BE93F3C8CB Time : 0.0 sec. user=mdettweiler [2015-02-19 20:25:38] 829*2^1391389-1 is not prime. Res64: 0DA747AEFB861A76 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:25:38] 895*2^1391389-1 is not prime. Res64: 788D23FDA2ED265C Time : 0.0 sec. user=mdettweiler [2015-02-19 20:26:09] 797*2^1391390-1 is not prime. Res64: D9A532719E3102D5 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:26:10] 813*2^1391390-1 is not prime. Res64: 3DFAECC0FDE3DD77 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:36:17] 831*2^1391390-1 is not prime. Res64: E66A51F66F7114D6 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:36:18] 887*2^1391390-1 is not prime. Res64: 4EE431D76545F899 Time : 0.0 sec. user=juhehe [2015-02-19 20:43:19] 691*2^1391391-1 is not prime. Res64: 50DF471217D9395C Time : 0.0 sec. user=mdettweiler [2015-02-19 20:52:46] 825*2^1391392-1 is not prime. Res64: 464563A7160D4160 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:52:47] 873*2^1391392-1 is not prime. Res64: D0298E84FBF0EB8D Time : 0.0 sec. user=mdettweiler [2015-02-19 20:52:47] 751*2^1391391-1 is not prime. Res64: 671F81D80796DCCE Time : 0.0 sec. user=mdettweiler [2015-02-19 20:52:47] 759*2^1391392-1 is not prime. Res64: D105A33357F8A4A2 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:53:35] 631*2^1391393-1 is not prime. Res64: 47F792FA049F1A62 Time : 0.0 sec. user=mdettweiler [2015-02-19 20:53:36] 649*2^1391393-1 is not prime. Res64: 574ABDF23DD94C7B Time : 0.0 sec. user=mdettweiler [2015-02-19 21:05:39] 727*2^1391393-1 is not prime. Res64: 77A889F0AA7C3736 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:05:40] 889*2^1391393-1 is not prime. Res64: 49C33703C9918DB6 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:21:46] 967*2^1391393-1 is not prime. Res64: 8DE497BD982E405B Time : 0.0 sec. user=mdettweiler [2015-02-19 21:21:46] 683*2^1391394-1 is not prime. Res64: 0D81A07A0EBB1F71 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:21:54] 725*2^1391394-1 is not prime. Res64: FF4EE2A71343CF8B Time : 0.0 sec. user=mdettweiler [2015-02-19 21:21:54] 741*2^1391394-1 is not prime. Res64: 8BB8A2C6F705248D Time : 0.0 sec. user=mdettweiler [2015-02-19 21:21:57] 755*2^1391394-1 is not prime. Res64: 2BEC65582B86D69F Time : 0.0 sec. user=mdettweiler [2015-02-19 21:21:57] 791*2^1391394-1 is not prime. Res64: 51948A3C8B00C171 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:34:22] 825*2^1391394-1 is not prime. Res64: FE70F944A19AAC33 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:34:22] 905*2^1391394-1 is not prime. Res64: 297421D8E727E343 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:49:41] 853*2^1391395-1 is not prime. Res64: 16894856CC7F8957 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:49:41] 609*2^1391395-1 is not prime. Res64: 8416C96D2CFE7ADC Time : 0.0 sec. user=mdettweiler [2015-02-19 21:49:41] 635*2^1391396-1 is not prime. Res64: 73EA4F52C979105A Time : 0.0 sec. user=mdettweiler [2015-02-19 21:49:41] 759*2^1391395-1 is not prime. Res64: B6DAAFB8BB762744 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:50:16] 659*2^1391396-1 is not prime. Res64: 1057A93AB699D9B3 Time : 0.0 sec. user=mdettweiler [2015-02-19 21:50:16] 675*2^1391396-1 is not prime. Res64: 2D9FFE83A4139D41 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:02:07] 717*2^1391396-1 is not prime. Res64: 6FBF2B2F3C0A66CF Time : 0.0 sec. user=mdettweiler [2015-02-19 22:02:07] 785*2^1391396-1 is not prime. Res64: AFAE502AE513B0A4 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:17:05] 855*2^1391396-1 is not prime. Res64: E3755A01453FA880 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:17:05] 945*2^1391396-1 is not prime. Res64: 16D438B7DECD44E2 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:17:10] 669*2^1391397-1 is not prime. Res64: DF4A896074430EEF Time : 0.0 sec. user=mdettweiler [2015-02-19 22:17:10] 769*2^1391397-1 is not prime. Res64: 759C7A0F063ACB2A Time : 0.0 sec. user=mdettweiler [2015-02-19 22:17:41] 835*2^1391397-1 is not prime. Res64: A08B2D687924757B Time : 0.0 sec. user=mdettweiler [2015-02-19 22:17:41] 937*2^1391397-1 is not prime. Res64: D5AB0BCEDFB7ECF0 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:29:17] 621*2^1391398-1 is not prime. Res64: 7E4AD7FD3D8788C5 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:29:18] 665*2^1391398-1 is not prime. Res64: 579658E129C3D44F Time : 0.0 sec. user=mdettweiler [2015-02-19 22:43:25] 755*2^1391398-1 is not prime. Res64: 810065B637F440A0 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:43:25] 911*2^1391398-1 is not prime. Res64: 61D6941EE3BB261E Time : 0.0 sec. user=mdettweiler [2015-02-19 22:43:32] 981*2^1391398-1 is not prime. Res64: 9462F7B6E033016A Time : 0.0 sec. user=mdettweiler [2015-02-19 22:43:32] 619*2^1391399-1 is not prime. Res64: 6AA26BA576C7AF7B Time : 0.0 sec. user=mdettweiler [2015-02-19 22:44:06] 643*2^1391399-1 is not prime. Res64: E6719608BECEFD6B Time : 0.0 sec. user=mdettweiler [2015-02-19 22:44:06] 721*2^1391399-1 is not prime. Res64: 94A4D3ADAFAE9FA9 Time : 0.0 sec. user=mdettweiler [2015-02-19 22:55:18] 735*2^1391399-1 is not prime. Res64: DA735A748F4B58ED Time : 0.0 sec. user=mdettweiler [2015-02-19 22:55:18] 829*2^1391399-1 is not prime. Res64: 1A32E2BD33CADA67 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:11:28] 865*2^1391399-1 is not prime. Res64: FD00D4EDAEC7DAE8 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:11:29] 627*2^1391400-1 is not prime. Res64: 9A5B57813582D283 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:12:03] 737*2^1391400-1 is not prime. Res64: 7B96F376F788FDA7 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:12:03] 777*2^1391400-1 is not prime. Res64: 22A196D842163DD8 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:12:24] 849*2^1391400-1 is not prime. Res64: 35ACD9EB2FE13CCC Time : 0.0 sec. user=mdettweiler [2015-02-19 23:12:24] 917*2^1391400-1 is not prime. Res64: DD161D7736C60D04 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:30:46] 609*2^1391401-1 is not prime. Res64: 47D3AB3D1720968B Time : 0.0 sec. user=mdettweiler [2015-02-19 23:30:46] 771*2^1391401-1 is not prime. Res64: 7E38DA4F2758E79C Time : 0.0 sec. user=mdettweiler [2015-02-19 23:47:38] 861*2^1391401-1 is not prime. Res64: 814563A70993E71C Time : 0.0 sec. user=mdettweiler [2015-02-19 23:47:39] 603*2^1391402-1 is not prime. Res64: E7AA611DCD05AF42 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:50:01] 683*2^1391402-1 is not prime. Res64: DAC5BAE8D43CE67D Time : 0.0 sec. user=mdettweiler [2015-02-19 23:50:01] 767*2^1391402-1 is not prime. Res64: 57F727F71369AB82 Time : 0.0 sec. user=mdettweiler [2015-02-19 23:51:17] 867*2^1391402-1 is not prime. Res64: 9BB04A2601644B5A Time : 0.0 sec. user=mdettweiler [2015-02-19 23:51:17] 873*2^1391402-1 is not prime. Res64: 3936BBB29206B762 Time : 0.0 sec.