user=mdettweiler [2016-01-23 00:02:48] 899*2^1420156-1 is not prime. Res64: 52732984179C6BF1 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:02:49] 903*2^1420156-1 is not prime. Res64: 0C8586D6A32765B2 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:06:13] 957*2^1420156-1 is not prime. Res64: AA2F9251D694A6F9 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:06:15] 983*2^1420156-1 is not prime. Res64: 3C4192B7CAE1DA01 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:08:51] 615*2^1420157-1 is not prime. Res64: 833CF8AC556EF378 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:08:52] 759*2^1420157-1 is not prime. Res64: 85A7CB3E950E29BD Time : 0.0 sec. user=mdettweiler [2016-01-23 00:12:40] 777*2^1420157-1 is not prime. Res64: 793490C73A1A2DFF Time : 0.0 sec. user=mdettweiler [2016-01-23 00:12:40] 795*2^1420157-1 is not prime. Res64: F1D194ABFD0C08A3 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:21:13] 847*2^1420157-1 is not prime. Res64: 95AC5B4DC2049763 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:21:13] 939*2^1420157-1 is not prime. Res64: 73345251A2588653 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:24:37] 981*2^1420157-1 is not prime. Res64: 3C6942F1223657C9 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:24:37] 611*2^1420158-1 is not prime. Res64: C5F86F02CA36C0EC Time : 0.0 sec. user=mdettweiler [2016-01-23 00:27:36] 657*2^1420158-1 is not prime. Res64: 6051138BCE37C503 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:27:36] 663*2^1420158-1 is not prime. Res64: F776DA86C0EAFEF0 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:31:28] 677*2^1420158-1 is not prime. Res64: D4B5CD62323AD7E6 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:31:28] 707*2^1420158-1 is not prime. Res64: 21143DE3C3AA920F Time : 0.0 sec. user=mdettweiler [2016-01-23 00:39:17] 711*2^1420158-1 is not prime. Res64: 557FED3340417994 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:39:18] 731*2^1420158-1 is not prime. Res64: 3D5B1620037DA571 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:42:51] 891*2^1420158-1 is not prime. Res64: BA2BAC0060983443 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:42:52] 951*2^1420158-1 is not prime. Res64: 150B6261F71A2D7E Time : 0.0 sec. user=mdettweiler [2016-01-23 00:46:06] 977*2^1420158-1 is not prime. Res64: 219793CE014D88E8 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:46:06] 859*2^1420159-1 is not prime. Res64: D247A0E8FE350373 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:50:11] 993*2^1420159-1 is not prime. Res64: E10BA0E1BF39E0C3 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:50:11] 675*2^1420160-1 is not prime. Res64: A44977AFE63741B2 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:57:33] 735*2^1420160-1 is not prime. Res64: 3E51A82EB494D156 Time : 0.0 sec. user=mdettweiler [2016-01-23 00:57:34] 917*2^1420160-1 is not prime. Res64: AC8A97F5AFD4C543 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:01:23] 807*2^1420161-1 is not prime. Res64: 2F2C488B5FAED24C Time : 0.0 sec. user=mdettweiler [2016-01-23 01:01:23] 847*2^1420161-1 is not prime. Res64: 3F4149FBFABC240C Time : 0.0 sec. user=mdettweiler [2016-01-23 01:04:51] 867*2^1420161-1 is not prime. Res64: 1395ABF87D352F9A Time : 0.0 sec. user=mdettweiler [2016-01-23 01:04:53] 909*2^1420161-1 is not prime. Res64: 03CCD3D32AF35F5C Time : 0.0 sec. user=mdettweiler [2016-01-23 01:08:46] 777*2^1420162-1 is not prime. Res64: B0B54C5953A1F675 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:08:47] 951*2^1420162-1 is not prime. Res64: D96BADEBCDF584B9 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:15:49] 983*2^1420162-1 is not prime. Res64: BA426B7055D705DA Time : 0.0 sec. user=mdettweiler [2016-01-23 01:15:49] 829*2^1420163-1 is not prime. Res64: 0091A055FC83FACD Time : 0.0 sec. user=mdettweiler [2016-01-23 01:19:53] 855*2^1420163-1 is not prime. Res64: F251BF26AE48CCEC Time : 0.0 sec. user=mdettweiler [2016-01-23 01:19:54] 963*2^1420163-1 is not prime. Res64: F7DE423FD9779A2E Time : 0.0 sec. user=mdettweiler [2016-01-23 01:23:31] 969*2^1420163-1 is not prime. Res64: 7DDF6ECECA87A643 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:23:31] 663*2^1420164-1 is not prime. Res64: FB3FD0E4BB86CC64 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:27:19] 693*2^1420164-1 is not prime. Res64: C04CF5123362D59C Time : 0.0 sec. user=mdettweiler [2016-01-23 01:27:20] 719*2^1420164-1 is not prime. Res64: A5A7B1CB54471941 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:33:53] 725*2^1420164-1 is not prime. Res64: C98D06F1FC45E175 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:33:53] 765*2^1420164-1 is not prime. Res64: 2BEC9AE283082DE8 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:38:10] 927*2^1420164-1 is not prime. Res64: 63636C1F83A2573B Time : 0.0 sec. user=mdettweiler [2016-01-23 01:38:11] 741*2^1420165-1 is not prime. Res64: EA932F38058D16D3 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:42:08] 775*2^1420165-1 is not prime. Res64: 46D6661E2D99A1E0 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:42:08] 777*2^1420165-1 is not prime. Res64: 232822F16637E73B Time : 0.0 sec. user=mdettweiler [2016-01-23 01:45:57] 825*2^1420165-1 is not prime. Res64: DD6F8CBEA02AE338 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:45:57] 915*2^1420165-1 is not prime. Res64: 043FEAACB7B36B0E Time : 0.0 sec. user=mdettweiler [2016-01-23 01:52:00] 919*2^1420165-1 is not prime. Res64: 4C6A479A56CCF170 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:52:00] 617*2^1420166-1 is not prime. Res64: E49035B404BE30C7 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:56:37] 641*2^1420166-1 is not prime. Res64: 0D15839079B424A1 Time : 0.0 sec. user=mdettweiler [2016-01-23 01:56:38] 705*2^1420166-1 is not prime. Res64: 60C51FA0CB21D839 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:00:52] 795*2^1420166-1 is not prime. Res64: 90BC8DE3004A40D8 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:00:53] 843*2^1420166-1 is not prime. Res64: 694F946E91E814FA Time : 0.0 sec. user=mdettweiler [2016-01-23 02:04:30] 893*2^1420166-1 is not prime. Res64: C2CE681FE5C5AB58 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:04:32] 935*2^1420166-1 is not prime. Res64: 4F9DC3E220449A49 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:10:22] 649*2^1420167-1 is not prime. Res64: 527E3F8F348DAC9A Time : 0.0 sec. user=mdettweiler [2016-01-23 02:10:22] 669*2^1420167-1 is not prime. Res64: F6412950BA2AFD22 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:14:55] 849*2^1420167-1 is not prime. Res64: FCB3CD66B3027A85 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:14:56] 951*2^1420167-1 is not prime. Res64: 39A5B9B30C95870E Time : 0.0 sec. user=mdettweiler [2016-01-23 02:19:27] 979*2^1420167-1 is not prime. Res64: F2542B54714B5ECF Time : 0.0 sec. user=mdettweiler [2016-01-23 02:19:27] 985*2^1420167-1 is not prime. Res64: 939920560B93DAE3 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:23:10] 605*2^1420168-1 is not prime. Res64: 00419AC08E5356D1 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:23:11] 713*2^1420168-1 is not prime. Res64: 34F8E49DA4181255 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:28:29] 825*2^1420168-1 is not prime. Res64: DD768AC48E46BD67 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:28:30] 887*2^1420168-1 is not prime. Res64: 0803617853B6971D Time : 0.0 sec. user=mdettweiler [2016-01-23 02:33:26] 679*2^1420169-1 is not prime. Res64: 3D04ECFEA0106FED Time : 0.0 sec. user=mdettweiler [2016-01-23 02:33:27] 685*2^1420169-1 is not prime. Res64: 5A669C0FC22E2AC2 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:37:56] 847*2^1420169-1 is not prime. Res64: 0F1B687DDFADC12A Time : 0.0 sec. user=mdettweiler [2016-01-23 02:37:57] 949*2^1420169-1 is not prime. Res64: 2AADF05C3E0E3941 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:41:44] 635*2^1420170-1 is not prime. Res64: A1CA5BEEAB951F50 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:41:45] 725*2^1420170-1 is not prime. Res64: 189785208B7C7B08 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:46:48] 735*2^1420170-1 is not prime. Res64: 3D690950443D04D7 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:46:49] 783*2^1420170-1 is not prime. Res64: 26CE91FAB967D646 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:52:01] 803*2^1420170-1 is not prime. Res64: 42552D322B0BDC02 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:52:01] 845*2^1420170-1 is not prime. Res64: 7F569E196A3CD7DE Time : 0.0 sec. user=mdettweiler [2016-01-23 02:56:23] 971*2^1420170-1 is not prime. Res64: 23D76BD4DF402E46 Time : 0.0 sec. user=mdettweiler [2016-01-23 02:56:23] 977*2^1420170-1 is not prime. Res64: B645EC09FC616C1E Time : 0.0 sec. user=mdettweiler [2016-01-23 03:00:22] 603*2^1420171-1 is not prime. Res64: BA3816FED3359815 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:00:23] 703*2^1420171-1 is not prime. Res64: 12D0F9BC548801B1 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:05:00] 769*2^1420171-1 is not prime. Res64: 73C2D2BDB06A3E4C Time : 0.0 sec. user=mdettweiler [2016-01-23 03:05:02] 835*2^1420171-1 is not prime. Res64: 7AE985B6BC86A04D Time : 0.0 sec. user=mdettweiler [2016-01-23 03:10:31] 993*2^1420171-1 is not prime. Res64: 147B37ECDF087FCD Time : 0.0 sec. user=mdettweiler [2016-01-23 03:10:32] 603*2^1420172-1 is not prime. Res64: 5A493A880BE4695C Time : 0.0 sec. user=mdettweiler [2016-01-23 03:14:57] 635*2^1420172-1 is not prime. Res64: 01A5EE8879693D7D Time : 0.0 sec. user=mdettweiler [2016-01-23 03:14:58] 957*2^1420172-1 is not prime. Res64: 7C909E70F7CD8543 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:19:06] 657*2^1420173-1 is not prime. Res64: C798B92C10A78733 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:19:07] 727*2^1420173-1 is not prime. Res64: 403989A8346142E9 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:23:54] 735*2^1420173-1 is not prime. Res64: 7EDD1055BAFF2421 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:23:55] 915*2^1420173-1 is not prime. Res64: 459EA1BA09B5168F Time : 0.0 sec. user=mdettweiler [2016-01-23 03:29:13] 919*2^1420173-1 is not prime. Res64: 1450C429AB5AE3A8 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:29:16] 921*2^1420173-1 is not prime. Res64: 15D1644A9B496BA2 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:33:59] 969*2^1420173-1 is not prime. Res64: F8CBF949569CCA09 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:34:01] 663*2^1420174-1 is not prime. Res64: B1B55931B829D0DE Time : 0.0 sec. user=mdettweiler [2016-01-23 03:37:47] 671*2^1420174-1 is not prime. Res64: 861178BDB657BEB7 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:37:48] 681*2^1420174-1 is not prime. Res64: 179706FE29099C10 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:42:05] 741*2^1420174-1 is not prime. Res64: FBB561598B33C332 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:42:07] 821*2^1420174-1 is not prime. Res64: 625C28F229597841 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:47:54] 825*2^1420174-1 is not prime. Res64: 0E383810E6F93C1D Time : 0.0 sec. user=mdettweiler [2016-01-23 03:47:56] 983*2^1420174-1 is not prime. Res64: A39FB54CD04508A1 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:53:07] 663*2^1420175-1 is not prime. Res64: AD58A75D3C782564 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:53:08] 693*2^1420175-1 is not prime. Res64: 673EECDB02ACEE9D Time : 0.0 sec. user=mdettweiler [2016-01-23 03:56:48] 721*2^1420175-1 is not prime. Res64: 5D19A1C204BE9656 Time : 0.0 sec. user=mdettweiler [2016-01-23 03:56:49] 735*2^1420175-1 is not prime. Res64: 8AB06729C2C751BE Time : 0.0 sec. user=mdettweiler [2016-01-23 04:00:23] 775*2^1420175-1 is not prime. Res64: 721A884D8B022A2E Time : 0.0 sec. user=mdettweiler [2016-01-23 04:00:24] 783*2^1420175-1 is not prime. Res64: A70B57D7E741E189 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:06:27] 859*2^1420175-1 is not prime. Res64: F628A28063EEA4C7 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:06:30] 861*2^1420175-1 is not prime. Res64: 5DD02B390D98A6EA Time : 0.0 sec. user=mdettweiler [2016-01-23 04:11:58] 885*2^1420175-1 is not prime. Res64: 669992FF879732A8 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:11:59] 939*2^1420175-1 is not prime. Res64: CAC2AE64F3EF57ED Time : 0.0 sec. user=mdettweiler [2016-01-23 04:15:36] 633*2^1420176-1 is not prime. Res64: 2F821C4D9E566F66 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:15:37] 657*2^1420176-1 is not prime. Res64: 0F098E2F210F0113 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:18:40] 695*2^1420176-1 is not prime. Res64: E3FEC896D91D87D8 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:18:41] 723*2^1420176-1 is not prime. Res64: 1920930AD014BDF9 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:25:11] 773*2^1420176-1 is not prime. Res64: B75ECA6AE48EC6B2 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:25:12] 879*2^1420176-1 is not prime. Res64: AC5417FC2FA1BB66 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:31:05] 717*2^1420177-1 is not prime. Res64: 4CD083E4D9D24464 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:31:06] 831*2^1420177-1 is not prime. Res64: A766EF4CBCD7CF52 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:34:22] 841*2^1420177-1 is not prime. Res64: E81D4FDB97E4CD75 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:34:23] 889*2^1420177-1 is not prime. Res64: 995357937FE489F1 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:36:55] 937*2^1420177-1 is not prime. Res64: A5ADB8127267ACED Time : 0.0 sec. user=mdettweiler [2016-01-23 04:36:56] 955*2^1420177-1 is not prime. Res64: 81A3B3563C865CAC Time : 0.0 sec. user=mdettweiler [2016-01-23 04:43:34] 921*2^1420178-1 is not prime. Res64: 6AE522DDE4486B2E Time : 0.0 sec. user=mdettweiler [2016-01-23 04:43:35] 987*2^1420178-1 is not prime. Res64: CD8E64D8E5CAFE3E Time : 0.0 sec. user=mdettweiler [2016-01-23 04:50:24] 613*2^1420179-1 is not prime. Res64: 36E5248715B3849D Time : 0.0 sec. user=mdettweiler [2016-01-23 04:50:25] 679*2^1420179-1 is not prime. Res64: 319B817F2A4E92CF Time : 0.0 sec. user=mdettweiler [2016-01-23 04:53:54] 721*2^1420179-1 is not prime. Res64: 5984AA3F9F72AF25 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:53:56] 751*2^1420179-1 is not prime. Res64: EF50DF26710FB063 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:55:51] 789*2^1420179-1 is not prime. Res64: EFE0621F9D4528B4 Time : 0.0 sec. user=mdettweiler [2016-01-23 04:55:52] 891*2^1420179-1 is not prime. Res64: D10B4B97EAC240E0 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:02:47] 629*2^1420180-1 is not prime. Res64: 1DF8451E802C4756 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:02:49] 663*2^1420180-1 is not prime. Res64: E2262A3762E35E0C Time : 0.0 sec. user=mdettweiler [2016-01-23 05:09:53] 675*2^1420180-1 is not prime. Res64: 6150FDBD0555BA2D Time : 0.0 sec. user=mdettweiler [2016-01-23 05:09:54] 723*2^1420180-1 is not prime. Res64: 96EFB56480318FDB Time : 0.0 sec. user=mdettweiler [2016-01-23 05:12:43] 813*2^1420180-1 is not prime. Res64: C6B8EEDA5F79092C Time : 0.0 sec. user=mdettweiler [2016-01-23 05:12:44] 819*2^1420180-1 is not prime. Res64: 0903B91A89DF4704 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:14:16] 915*2^1420180-1 is not prime. Res64: 26838D9A0B9D383B Time : 0.0 sec. user=mdettweiler [2016-01-23 05:14:17] 957*2^1420180-1 is not prime. Res64: 48E1AEC81F445ADB Time : 0.0 sec. user=mdettweiler [2016-01-23 05:21:13] 649*2^1420181-1 is not prime. Res64: 085FC58C27BBF7CC Time : 0.0 sec. user=mdettweiler [2016-01-23 05:21:14] 685*2^1420181-1 is not prime. Res64: 149D90609FDF06C3 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:28:35] 789*2^1420181-1 is not prime. Res64: 8B0FD0C6A1E0C64C Time : 0.0 sec. user=mdettweiler [2016-01-23 05:28:36] 829*2^1420181-1 is not prime. Res64: 64448EA9AF1F8B5E Time : 0.0 sec. user=mdettweiler [2016-01-23 05:31:24] 837*2^1420181-1 is not prime. Res64: 97AAE14495874081 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:31:25] 927*2^1420181-1 is not prime. Res64: FB5E4B28BA9BC9E8 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:32:30] 991*2^1420181-1 is not prime. Res64: 2D881A02114BB2CF Time : 0.0 sec. user=mdettweiler [2016-01-23 05:32:31] 621*2^1420182-1 is not prime. Res64: E7F107868750C431 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:39:46] 717*2^1420182-1 is not prime. Res64: EB2DAF268D464C50 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:39:47] 867*2^1420182-1 is not prime. Res64: 02AF4B74EFCDE62F Time : 0.0 sec. user=mdettweiler [2016-01-23 05:47:25] 891*2^1420182-1 is not prime. Res64: 07DBB4CBB8AEB192 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:47:26] 975*2^1420182-1 is not prime. Res64: 565020EBDAB3CF3A Time : 0.0 sec. user=mdettweiler [2016-01-23 05:50:10] 609*2^1420183-1 is not prime. Res64: 2DF3523E12D4BD95 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:50:11] 619*2^1420183-1 is not prime. Res64: 13C1D94D27DC74F3 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:50:52] 703*2^1420183-1 is not prime. Res64: DA53B37656DD6F93 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:50:53] 723*2^1420183-1 is not prime. Res64: EC3360BEBFF3A135 Time : 0.0 sec. user=mdettweiler [2016-01-23 05:58:01] 741*2^1420183-1 is not prime. Res64: 106E83544E3A35BC Time : 0.0 sec. user=mdettweiler [2016-01-23 05:58:01] 889*2^1420183-1 is not prime. Res64: A69D1E5ACB62461D Time : 0.0 sec. user=mdettweiler [2016-01-23 06:06:02] 919*2^1420183-1 is not prime. Res64: A7ABE637594B3D30 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:06:03] 925*2^1420183-1 is not prime. Res64: B207CB981F9D0250 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:08:46] 813*2^1420184-1 is not prime. Res64: A353E88D295E6FC5 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:08:46] 837*2^1420184-1 is not prime. Res64: E548BD9B3E4B7B69 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:09:11] 923*2^1420184-1 is not prime. Res64: 4A48BE461AC7A693 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:09:11] 927*2^1420184-1 is not prime. Res64: 8024186E84D2A39A Time : 0.0 sec. user=mdettweiler [2016-01-23 06:16:25] 759*2^1420185-1 is not prime. Res64: 5B1E4F8D44A18EBD Time : 0.0 sec. user=mdettweiler [2016-01-23 06:16:26] 919*2^1420185-1 is not prime. Res64: 47BB169240EA05C2 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:24:35] 975*2^1420185-1 is not prime. Res64: E36D784B42E14C6F Time : 0.0 sec. user=mdettweiler [2016-01-23 06:24:36] 979*2^1420185-1 is not prime. Res64: C64BD1B0E4C56A92 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:27:12] 677*2^1420186-1 is not prime. Res64: AECE8FE921D0C214 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:27:13] 723*2^1420186-1 is not prime. Res64: 08638FF629AF94BA Time : 0.0 sec. user=mdettweiler [2016-01-23 06:27:28] 657*2^1420186-1 is not prime. Res64: 33568790D0658993 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:27:29] 675*2^1420186-1 is not prime. Res64: EFDEE6840C129EAE Time : 0.0 sec. user=mdettweiler [2016-01-23 06:35:04] 737*2^1420186-1 is not prime. Res64: D64C506E5CC88476 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:35:04] 815*2^1420186-1 is not prime. Res64: 0FB394131D51F11B Time : 0.0 sec. user=mdettweiler [2016-01-23 06:43:29] 891*2^1420186-1 is not prime. Res64: 12E143A5FCF9DAA7 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:43:30] 923*2^1420186-1 is not prime. Res64: 07799642A36C3B6C Time : 0.0 sec. user=mdettweiler [2016-01-23 06:45:38] 941*2^1420186-1 is not prime. Res64: 5929C94405456EEA Time : 0.0 sec. user=mdettweiler [2016-01-23 06:45:38] 633*2^1420187-1 is not prime. Res64: D7F70E29256C80BB Time : 0.0 sec. user=mdettweiler [2016-01-23 06:46:09] 645*2^1420187-1 is not prime. Res64: 25F7456601291F7A Time : 0.0 sec. user=mdettweiler [2016-01-23 06:46:09] 813*2^1420187-1 is not prime. Res64: EFD3BDA62EFD1E99 Time : 0.0 sec. user=mdettweiler [2016-01-23 06:53:36] 861*2^1420187-1 is not prime. Res64: D7A6462A422EE82D Time : 0.0 sec. user=mdettweiler [2016-01-23 06:53:37] 963*2^1420187-1 is not prime. Res64: 4EE0CA2DF1975A3D Time : 0.0 sec. user=mdettweiler [2016-01-23 07:02:20] 683*2^1420188-1 is not prime. Res64: F62C5B85BC3A1605 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:02:21] 845*2^1420188-1 is not prime. Res64: A8B10B4AC51E4A06 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:03:59] 867*2^1420188-1 is not prime. Res64: D1CF4962A551268B Time : 0.0 sec. user=mdettweiler [2016-01-23 07:04:00] 729*2^1420189-1 is not prime. Res64: BB8A001E9792DD23 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:04:50] 801*2^1420189-1 is not prime. Res64: 5F20C3745E2A26DB Time : 0.0 sec. user=mdettweiler [2016-01-23 07:04:50] 829*2^1420189-1 is not prime. Res64: 5F4BB2784885FB0B Time : 0.0 sec. user=mdettweiler [2016-01-23 07:12:06] 951*2^1420189-1 is not prime. Res64: 263CD8B544143758 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:12:06] 967*2^1420189-1 is not prime. Res64: 3D38823C4BE5A2E9 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:20:55] 603*2^1420190-1 is not prime. Res64: 36955F4E80FE0338 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:20:55] 615*2^1420190-1 is not prime. Res64: 0149D821A78A91D1 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:22:21] 711*2^1420190-1 is not prime. Res64: A21AC9B3CB04EFCF Time : 0.0 sec. user=mdettweiler [2016-01-23 07:22:22] 981*2^1420190-1 is not prime. Res64: 5C04D5620BDD4693 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:23:39] 643*2^1420191-1 is not prime. Res64: C94A195E54E91C02 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:23:40] 685*2^1420191-1 is not prime. Res64: 2755B9CF8651925B Time : 0.0 sec. user=mdettweiler [2016-01-23 07:30:51] 741*2^1420191-1 is not prime. Res64: DAA4047BD44E58FA Time : 0.0 sec. user=mdettweiler [2016-01-23 07:30:52] 849*2^1420191-1 is not prime. Res64: 4DA0EAAFEB6D0598 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:40:02] 979*2^1420191-1 is not prime. Res64: 8518C7C8032C53E5 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:40:03] 609*2^1420192-1 is not prime. Res64: E68C8E21C04A42A2 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:40:49] 833*2^1420192-1 is not prime. Res64: FC0697DCAECD9C9D Time : 0.0 sec. user=mdettweiler [2016-01-23 07:40:49] 863*2^1420192-1 is not prime. Res64: 97DBBFAE21D334E9 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:42:33] 915*2^1420192-1 is not prime. Res64: 6017E8DE2632298C Time : 0.0 sec. user=mdettweiler [2016-01-23 07:42:34] 917*2^1420192-1 is not prime. Res64: E6272F337D7F053E Time : 0.0 sec. user=mdettweiler [2016-01-23 07:49:03] 957*2^1420192-1 is not prime. Res64: 1BF87BE8106CC6BC Time : 0.0 sec. user=mdettweiler [2016-01-23 07:49:03] 705*2^1420193-1 is not prime. Res64: 4BD9B0E1636EE1DF Time : 0.0 sec. user=mdettweiler [2016-01-23 07:58:21] 715*2^1420193-1 is not prime. Res64: 4BED5533CC57EAF4 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:58:22] 811*2^1420193-1 is not prime. Res64: 29DAA9FD3953F3E0 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:59:03] 861*2^1420193-1 is not prime. Res64: C6E40A497568BF97 Time : 0.0 sec. user=mdettweiler [2016-01-23 07:59:03] 987*2^1420193-1 is not prime. Res64: CB216DC3569805C1 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:01:14] 711*2^1420194-1 is not prime. Res64: A572467D714DB2BA Time : 0.0 sec. user=mdettweiler [2016-01-23 08:01:16] 873*2^1420194-1 is not prime. Res64: C4B51FB1011607EB Time : 0.0 sec. user=mdettweiler [2016-01-23 08:07:22] 903*2^1420194-1 is not prime. Res64: 8DD2A33EEEC2B0C2 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:07:24] 923*2^1420194-1 is not prime. Res64: B6A0A254C11DFA33 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:16:58] 603*2^1420195-1 is not prime. Res64: 0C25DBED95D071B8 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:16:58] 631*2^1420195-1 is not prime. Res64: 5A0081B67A78AD4E Time : 0.0 sec. user=mdettweiler [2016-01-23 08:17:27] 649*2^1420195-1 is not prime. Res64: 93DB2B6864EE06FA Time : 0.0 sec. user=mdettweiler [2016-01-23 08:17:27] 699*2^1420195-1 is not prime. Res64: 9C58540EAA9D3E38 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:20:04] 733*2^1420195-1 is not prime. Res64: A9D1B6D2424D5CD8 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:20:05] 819*2^1420195-1 is not prime. Res64: BF63F177D15B3C87 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:25:59] 885*2^1420195-1 is not prime. Res64: 6380F113845E635A Time : 0.0 sec. user=mdettweiler [2016-01-23 08:25:59] 939*2^1420195-1 is not prime. Res64: CBD3B7B2E1D8D885 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:35:25] 973*2^1420195-1 is not prime. Res64: E1AA3152C350F6E7 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:35:26] 609*2^1420196-1 is not prime. Res64: AB269C5E29B00ED8 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:35:35] 689*2^1420196-1 is not prime. Res64: 75F4B519A623576D Time : 0.0 sec. user=mdettweiler [2016-01-23 08:35:35] 789*2^1420196-1 is not prime. Res64: FF31C6C240B96A59 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:38:48] 899*2^1420196-1 is not prime. Res64: 2DD00BDDE6012537 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:38:49] 945*2^1420196-1 is not prime. Res64: 5A7CBC58CB0D666F Time : 0.0 sec. user=mdettweiler [2016-01-23 08:44:16] 963*2^1420196-1 is not prime. Res64: C6FDDA845CE66057 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:44:16] 675*2^1420197-1 is not prime. Res64: FAA3C4BB97475605 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:53:45] 843*2^1420198-1 is not prime. Res64: BEFCF4E10758D6A6 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:53:45] 915*2^1420198-1 is not prime. Res64: 906A1DCC3C4AC56A Time : 0.0 sec. user=mdettweiler [2016-01-23 08:54:03] 621*2^1420198-1 is not prime. Res64: 0054B7D67657BC07 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:54:03] 645*2^1420198-1 is not prime. Res64: 1C223C3DE5C25244 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:57:23] 923*2^1420198-1 is not prime. Res64: BDCBC7201F37A1D0 Time : 0.0 sec. user=mdettweiler [2016-01-23 08:57:23] 995*2^1420198-1 is not prime. Res64: F3B02137A757F2E5 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:02:34] 693*2^1420199-1 is not prime. Res64: ABAE966ABA1C4718 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:02:35] 771*2^1420199-1 is not prime. Res64: D64ACCAB57BEF735 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:11:53] 789*2^1420199-1 is not prime. Res64: 13114E23E48B6CF3 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:11:54] 865*2^1420199-1 is not prime. Res64: 0240FA613B17EEDA Time : 0.0 sec. user=mdettweiler [2016-01-23 09:12:46] 879*2^1420199-1 is not prime. Res64: A543841C20AA6952 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:12:46] 615*2^1420200-1 is not prime. Res64: 81177FE45198B870 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:16:23] 635*2^1420200-1 is not prime. Res64: 127A39538B260472 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:16:24] 713*2^1420200-1 is not prime. Res64: A39C3BB03FB1090D Time : 0.0 sec. user=mdettweiler [2016-01-23 09:21:05] 737*2^1420200-1 is not prime. Res64: 4F768794FDA67D06 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:21:06] 839*2^1420200-1 is not prime. Res64: 1BB8F96CF5AF79C4 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:30:09] 879*2^1420200-1 is not prime. Res64: 436BF8BF28612169 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:30:09] 899*2^1420200-1 is not prime. Res64: E94AA41DD3ED48F2 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:31:28] 639*2^1420201-1 is not prime. Res64: 03985449FD7406C1 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:31:29] 847*2^1420201-1 is not prime. Res64: C961AB037960ACA0 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:35:08] 877*2^1420201-1 is not prime. Res64: 5860718978350A72 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:35:08] 895*2^1420201-1 is not prime. Res64: 429E64DA8752731E Time : 0.0 sec. user=mdettweiler [2016-01-23 09:39:59] 635*2^1420202-1 is not prime. Res64: 2CDEAA7A00C4051C Time : 0.0 sec. user=mdettweiler [2016-01-23 09:40:00] 645*2^1420202-1 is not prime. Res64: 16A43DAB01207158 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:48:14] 797*2^1420202-1 is not prime. Res64: D1FB2AACE81C207C Time : 0.0 sec. user=mdettweiler [2016-01-23 09:48:15] 945*2^1420202-1 is not prime. Res64: 8AE3C730315FEA51 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:49:59] 963*2^1420202-1 is not prime. Res64: BCA7706164EF4267 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:50:00] 977*2^1420202-1 is not prime. Res64: FD7A8F66E39EFD70 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:53:41] 987*2^1420202-1 is not prime. Res64: E19B558C490C89B4 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:53:42] 995*2^1420202-1 is not prime. Res64: FF5B79EFDA516676 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:58:13] 609*2^1420203-1 is not prime. Res64: C06905BC205622E5 Time : 0.0 sec. user=mdettweiler [2016-01-23 09:58:13] 615*2^1420203-1 is not prime. Res64: 5C464D6A6778D702 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:06:19] 723*2^1420203-1 is not prime. Res64: B41EFB881206532C Time : 0.0 sec. user=mdettweiler [2016-01-23 10:06:20] 735*2^1420203-1 is not prime. Res64: AEB7C1B20A23611E Time : 0.0 sec. user=mdettweiler [2016-01-23 10:08:33] 823*2^1420203-1 is not prime. Res64: 403C26054C7FE171 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:08:33] 853*2^1420203-1 is not prime. Res64: B6A90448EDA81432 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:12:26] 859*2^1420203-1 is not prime. Res64: 0E940D1841156B27 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:12:26] 955*2^1420203-1 is not prime. Res64: 2E165AC4689C6BF2 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:16:33] 615*2^1420204-1 is not prime. Res64: 5664AF0130E8CEFD Time : 0.0 sec. user=mdettweiler [2016-01-23 10:16:34] 773*2^1420204-1 is not prime. Res64: 796D9EF8A45FA2C5 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:24:30] 807*2^1420204-1 is not prime. Res64: 7EB7FEED17D2D8B8 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:24:30] 855*2^1420204-1 is not prime. Res64: C433EB474FA4CFC8 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:27:11] 927*2^1420204-1 is not prime. Res64: 329E5FBEA7689F12 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:27:11] 987*2^1420204-1 is not prime. Res64: FA6981E4D692A674 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:31:01] 711*2^1420205-1 is not prime. Res64: 76EE4907A23B3778 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:31:02] 775*2^1420205-1 is not prime. Res64: AA6B7F57C94D795E Time : 0.0 sec. user=mdettweiler [2016-01-23 10:34:51] 615*2^1420206-1 is not prime. Res64: 84C6B74E2ADAB03F Time : 0.0 sec. user=mdettweiler [2016-01-23 10:34:51] 671*2^1420206-1 is not prime. Res64: 9026795ED9730973 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:42:35] 713*2^1420206-1 is not prime. Res64: A2F020A5B32E4B6B Time : 0.0 sec. user=mdettweiler [2016-01-23 10:42:35] 861*2^1420206-1 is not prime. Res64: 4ABC5470DEF0DD87 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:45:43] 615*2^1420207-1 is not prime. Res64: 83C41AA67632A35E Time : 0.0 sec. user=mdettweiler [2016-01-23 10:45:44] 915*2^1420207-1 is not prime. Res64: 8C3240FCF96952D0 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:49:42] 617*2^1420208-1 is not prime. Res64: E8B00FF0A405C4CA Time : 0.0 sec. user=mdettweiler [2016-01-23 10:49:42] 669*2^1420208-1 is not prime. Res64: F3B6494E7B91CA6E Time : 0.0 sec. user=mdettweiler [2016-01-23 10:53:17] 699*2^1420208-1 is not prime. Res64: 79C29B0428871FF2 Time : 0.0 sec. user=mdettweiler [2016-01-23 10:53:17] 797*2^1420208-1 is not prime. Res64: D4C252967E3E4755 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:00:41] 875*2^1420208-1 is not prime. Res64: 458697BB076194D0 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:00:41] 637*2^1420209-1 is not prime. Res64: 399DE5FAEB75E536 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:04:12] 667*2^1420209-1 is not prime. Res64: 7B3B4C57B5CF272E Time : 0.0 sec. user=mdettweiler [2016-01-23 11:04:14] 681*2^1420209-1 is not prime. Res64: 339725E3532A6D3E Time : 0.0 sec. user=mdettweiler [2016-01-23 11:08:23] 811*2^1420209-1 is not prime. Res64: 8E40A2D54BD568DC Time : 0.0 sec. user=mdettweiler [2016-01-23 11:08:24] 653*2^1420210-1 is not prime. Res64: 7A6897B667AD57C7 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:11:39] 657*2^1420210-1 is not prime. Res64: 349B3EA0005DFC36 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:11:40] 701*2^1420210-1 is not prime. Res64: 1A3A85CD21E740AC Time : 0.0 sec. user=mdettweiler [2016-01-23 11:18:43] 735*2^1420210-1 is not prime. Res64: BEF7170CD788A3D0 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:18:43] 981*2^1420210-1 is not prime. Res64: 9260D5E88E1F1158 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:22:40] 693*2^1420211-1 is not prime. Res64: CFDC5B9F9428FE1D Time : 0.0 sec. user=mdettweiler [2016-01-23 11:22:41] 711*2^1420211-1 is not prime. Res64: 8C9A31190E168D6B Time : 0.0 sec. user=mdettweiler [2016-01-23 11:27:10] 829*2^1420211-1 is not prime. Res64: 6EB02B662326CC61 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:27:10] 879*2^1420211-1 is not prime. Res64: EB3661763123C7E3 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:29:56] 889*2^1420211-1 is not prime. Res64: E49A834E8B584EAF Time : 0.0 sec. user=mdettweiler [2016-01-23 11:29:56] 943*2^1420211-1 is not prime. Res64: 13D1692AB3D4BF77 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:37:01] 803*2^1420212-1 is not prime. Res64: F11E78A917FC80AF Time : 0.0 sec. user=mdettweiler [2016-01-23 11:37:01] 819*2^1420212-1 is not prime. Res64: 67B879A48AD39319 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:41:18] 825*2^1420212-1 is not prime. Res64: 9E64D3F1A1A5FCE5 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:41:19] 947*2^1420212-1 is not prime. Res64: 2F5FBE89E4FAF172 Time : 0.0 sec. user=mdettweiler [2016-01-23 11:45:37] 959*2^1420212-1 is not prime. Res64: 49AA7141E8FCED2E Time : 0.0 sec. user=mdettweiler [2016-01-23 11:45:38] 649*2^1420213-1 is not prime. Res64: 38CBBA4F9491DF2D Time : 0.0 sec. user=mdettweiler [2016-01-23 11:48:17] 699*2^1420213-1 is not prime. Res64: 70CF5B3BB3552ABF Time : 0.0 sec. user=mdettweiler [2016-01-23 11:48:17] 757*2^1420213-1 is not prime. Res64: 4DA2C7758136907D Time : 0.0 sec. user=mdettweiler [2016-01-23 11:55:14] 801*2^1420213-1 is not prime. Res64: 48EC6807BF7F50EE Time : 0.0 sec. user=mdettweiler [2016-01-23 11:55:15] 859*2^1420213-1 is not prime. Res64: 1793EE89E800743C Time : 0.0 sec. user=mdettweiler [2016-01-23 11:59:39] 617*2^1420214-1 is not prime. Res64: 0BAF1DA315AE51AC Time : 0.0 sec. user=mdettweiler [2016-01-23 11:59:39] 827*2^1420214-1 is not prime. Res64: 39714AB9EBFA35B2 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:04:35] 873*2^1420214-1 is not prime. Res64: 7C071250BAC4F243 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:04:36] 935*2^1420214-1 is not prime. Res64: A9AE63F6324B728F Time : 0.0 sec. user=mdettweiler [2016-01-23 12:06:32] 651*2^1420215-1 is not prime. Res64: 9AF859F49B83F184 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:06:33] 675*2^1420215-1 is not prime. Res64: 723AAA4E8EB4A616 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:13:40] 679*2^1420215-1 is not prime. Res64: 5FAD3443D8A24193 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:13:40] 709*2^1420215-1 is not prime. Res64: A70C9F1883AC819D Time : 0.0 sec. user=mdettweiler [2016-01-23 12:18:26] 775*2^1420215-1 is not prime. Res64: BFC418190C7109B7 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:18:26] 789*2^1420215-1 is not prime. Res64: 0DBCA4B9E64898EC Time : 0.0 sec. user=mdettweiler [2016-01-23 12:23:16] 795*2^1420215-1 is not prime. Res64: BD28A3CD3B216201 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:23:17] 615*2^1420216-1 is not prime. Res64: 8756C088005B041F Time : 0.0 sec. user=mdettweiler [2016-01-23 12:25:03] 629*2^1420216-1 is not prime. Res64: 859CAA7A2D54DA5D Time : 0.0 sec. user=mdettweiler [2016-01-23 12:25:03] 663*2^1420216-1 is not prime. Res64: AC93200AEEBC4540 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:31:51] 803*2^1420216-1 is not prime. Res64: 5F992265EAEF3190 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:31:51] 857*2^1420216-1 is not prime. Res64: E5F03759903A7399 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:37:15] 869*2^1420216-1 is not prime. Res64: B5CB0290011F9DF2 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:37:15] 759*2^1420217-1 is not prime. Res64: 736FBEBFD5F0A8DB Time : 0.0 sec. user=mdettweiler [2016-01-23 12:41:55] 837*2^1420217-1 is not prime. Res64: 488CB6B543999295 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:41:56] 991*2^1420217-1 is not prime. Res64: C057146E39A58AAA Time : 0.0 sec. user=mdettweiler [2016-01-23 12:43:33] 651*2^1420218-1 is not prime. Res64: 4B7AA8F080F6684F Time : 0.0 sec. user=mdettweiler [2016-01-23 12:43:34] 815*2^1420218-1 is not prime. Res64: C8A79203CA80944F Time : 0.0 sec. user=mdettweiler [2016-01-23 12:50:02] 927*2^1420218-1 is not prime. Res64: 0A1B7CC72CBEB884 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:50:02] 977*2^1420218-1 is not prime. Res64: 6C0BB1678BD7F944 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:55:57] 619*2^1420219-1 is not prime. Res64: 667FC41F8A42FBC1 Time : 0.0 sec. user=mdettweiler [2016-01-23 12:55:57] 685*2^1420219-1 is not prime. Res64: F9A144320E0B5D64 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:00:37] 835*2^1420219-1 is not prime. Res64: 846FF6C8EE916036 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:00:38] 853*2^1420219-1 is not prime. Res64: 66DF192671038E4B Time : 0.0 sec. user=mdettweiler [2016-01-23 13:01:59] 859*2^1420219-1 is not prime. Res64: A07D4A0F57BE7844 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:01:59] 895*2^1420219-1 is not prime. Res64: 3933248B048C1006 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:08:25] 925*2^1420219-1 is not prime. Res64: 9A1B0E3EC8505DEB Time : 0.0 sec. user=mdettweiler [2016-01-23 13:08:25] 635*2^1420220-1 is not prime. Res64: C4DC8083FE06C018 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:14:41] 699*2^1420220-1 is not prime. Res64: 9A047FEEFD83E032 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:14:42] 855*2^1420220-1 is not prime. Res64: 88B6D8B01EDC153E Time : 0.0 sec. user=mdettweiler [2016-01-23 13:19:07] 651*2^1420221-1 is not prime. Res64: 03412251ACD92115 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:19:07] 679*2^1420221-1 is not prime. Res64: 7FF8B9357D587B04 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:20:23] 781*2^1420221-1 is not prime. Res64: 8EED2882A59DE54C Time : 0.0 sec. user=mdettweiler [2016-01-23 13:20:23] 835*2^1420221-1 is not prime. Res64: 1B2AD6DB7B97405A Time : 0.0 sec. user=mdettweiler [2016-01-23 13:26:44] 847*2^1420221-1 is not prime. Res64: 6C62B9448A9B0C76 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:26:44] 889*2^1420221-1 is not prime. Res64: 00CB1F362F936C7E Time : 0.0 sec. user=mdettweiler [2016-01-23 13:33:14] 949*2^1420221-1 is not prime. Res64: EB3B7EC8109EF016 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:33:14] 603*2^1420222-1 is not prime. Res64: 21F5A1C204D8819B Time : 0.0 sec. user=mdettweiler [2016-01-23 13:37:46] 705*2^1420222-1 is not prime. Res64: F917617F40C3FCAD Time : 0.0 sec. user=mdettweiler [2016-01-23 13:37:47] 717*2^1420222-1 is not prime. Res64: 96A72BEECC1E01C7 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:38:42] 731*2^1420222-1 is not prime. Res64: 387876CF00C5DFDB Time : 0.0 sec. user=mdettweiler [2016-01-23 13:38:42] 857*2^1420222-1 is not prime. Res64: 84253A719DBE3224 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:44:52] 885*2^1420222-1 is not prime. Res64: AFD6542DDF8D43FB Time : 0.0 sec. user=mdettweiler [2016-01-23 13:44:53] 685*2^1420223-1 is not prime. Res64: 666DC53E7A208CF4 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:51:38] 745*2^1420223-1 is not prime. Res64: 1F5C81B4C5A61E5B Time : 0.0 sec. user=mdettweiler [2016-01-23 13:51:39] 753*2^1420223-1 is not prime. Res64: F8E4FA33AD931A83 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:56:19] 783*2^1420223-1 is not prime. Res64: 8476F1257FF6BCC1 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:56:20] 963*2^1420223-1 is not prime. Res64: F73048393DB1A677 Time : 0.0 sec. user=mdettweiler [2016-01-23 13:57:00] 675*2^1420224-1 is not prime. Res64: 9000553B64DEAD6A Time : 0.0 sec. user=mdettweiler [2016-01-23 13:57:00] 737*2^1420224-1 is not prime. Res64: 2C319CF7D73CBF4F Time : 0.0 sec. user=mdettweiler [2016-01-23 14:03:00] 789*2^1420224-1 is not prime. Res64: E67B5EB0260C1E99 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:03:01] 899*2^1420224-1 is not prime. Res64: 9BCC45D6E24BDCAE Time : 0.0 sec. user=mdettweiler [2016-01-23 14:10:12] 903*2^1420224-1 is not prime. Res64: 6C19309F6F8AD2C8 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:10:12] 927*2^1420224-1 is not prime. Res64: 11B34AA15A4FC751 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:14:51] 929*2^1420224-1 is not prime. Res64: 392E6019E92FEB9F Time : 0.0 sec. user=mdettweiler [2016-01-23 14:14:51] 601*2^1420225-1 is not prime. Res64: 0C78D0DE06DE8C60 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:15:14] 687*2^1420225-1 is not prime. Res64: 337BB8FFF2B430B0 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:15:14] 717*2^1420225-1 is not prime. Res64: A7304BAB10E1D4F1 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:21:14] 799*2^1420225-1 is not prime. Res64: 1616AD5C8A4DE4E8 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:21:15] 855*2^1420225-1 is not prime. Res64: F56A5CA032F4B668 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:28:53] 877*2^1420225-1 is not prime. Res64: 3142511BD99F8451 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:28:53] 717*2^1420226-1 is not prime. Res64: 95C0C6AC47A3284E Time : 0.0 sec. user=mdettweiler [2016-01-23 14:33:35] 741*2^1420226-1 is not prime. Res64: C9F3F37BAD9108F2 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:33:36] 783*2^1420226-1 is not prime. Res64: 0CD6CDE00AC4CA0B Time : 0.0 sec. user=mdettweiler [2016-01-23 14:33:44] 843*2^1420226-1 is not prime. Res64: DE2D9116011C84BB Time : 0.0 sec. user=mdettweiler [2016-01-23 14:33:45] 875*2^1420226-1 is not prime. Res64: 2F1EFA4EDE4163BC Time : 0.0 sec. user=mdettweiler [2016-01-23 14:39:28] 983*2^1420226-1 is not prime. Res64: 1BE4DE464CFD7545 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:39:29] 993*2^1420226-1 is not prime. Res64: 52BB6E8AEF5D79E4 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:47:38] 633*2^1420227-1 is not prime. Res64: 86A4D1F9A687D10E Time : 0.0 sec. user=mdettweiler [2016-01-23 14:47:39] 669*2^1420227-1 is not prime. Res64: 670245074BA8E289 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:52:06] 765*2^1420227-1 is not prime. Res64: 59EB43F989B8C3D8 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:52:07] 801*2^1420227-1 is not prime. Res64: 95F9C12594D8991B Time : 0.0 sec. user=mdettweiler [2016-01-23 14:52:09] 691*2^1420227-1 is not prime. Res64: 65954064E7005E26 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:52:09] 735*2^1420227-1 is not prime. Res64: 655446C8BD78D0F5 Time : 0.0 sec. user=mdettweiler [2016-01-23 14:57:34] 819*2^1420227-1 is not prime. Res64: 4078F4911E6399BD Time : 0.0 sec. user=mdettweiler [2016-01-23 14:57:34] 859*2^1420227-1 is not prime. Res64: 73DC9916C6C01493 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:06:10] 913*2^1420227-1 is not prime. Res64: A628CDE021DC8812 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:06:11] 723*2^1420228-1 is not prime. Res64: 3BC3E70B60AE52D9 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:10:27] 803*2^1420228-1 is not prime. Res64: B202E4ED26F99A99 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:10:28] 825*2^1420228-1 is not prime. Res64: E73049DD0DF2C434 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:10:47] 869*2^1420228-1 is not prime. Res64: A858A58675CC5F0B Time : 0.0 sec. user=mdettweiler [2016-01-23 15:10:47] 897*2^1420228-1 is not prime. Res64: A65D957B46B118D3 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:15:52] 915*2^1420228-1 is not prime. Res64: 5E8F63B31DC1CCAA Time : 0.0 sec. user=mdettweiler [2016-01-23 15:15:53] 923*2^1420228-1 is not prime. Res64: A31AF70927693D46 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:25:21] 615*2^1420229-1 is not prime. Res64: 7959A971148C6609 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:25:21] 619*2^1420229-1 is not prime. Res64: 4AE894372E2A5CD1 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:29:48] 645*2^1420229-1 is not prime. Res64: 2EDDC660E180B709 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:29:48] 697*2^1420229-1 is not prime. Res64: E484C0E184B2EB74 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:30:18] 727*2^1420229-1 is not prime. Res64: CD63D7E5C6183E84 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:30:18] 939*2^1420229-1 is not prime. Res64: 015AEA3EEA436720 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:34:51] 681*2^1420230-1 is not prime. Res64: FB6E63FA6B2C4357 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:34:52] 765*2^1420230-1 is not prime. Res64: 17B0E8DB97CAE1DE Time : 0.0 sec. user=mdettweiler [2016-01-23 15:44:36] 783*2^1420230-1 is not prime. Res64: 7449FFBB07768EF2 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:44:36] 851*2^1420230-1 is not prime. Res64: E656FCA87372BB34 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:48:23] 863*2^1420230-1 is not prime. Res64: E6EE70C6798A5282 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:48:23] 873*2^1420230-1 is not prime. Res64: 9B0931C223ADDFF5 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:49:09] 875*2^1420230-1 is not prime. Res64: 7373B7C2BA7F514C Time : 0.0 sec. user=mdettweiler [2016-01-23 15:49:09] 923*2^1420230-1 is not prime. Res64: 6AB99444CB331447 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:53:24] 951*2^1420230-1 is not prime. Res64: 2634DFCBE2961800 Time : 0.0 sec. user=mdettweiler [2016-01-23 15:53:24] 651*2^1420231-1 is not prime. Res64: D25312C7EDBF381B Time : 0.0 sec. user=mdettweiler [2016-01-23 16:03:32] 723*2^1420231-1 is not prime. Res64: 2A59659ABBF8EED2 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:03:34] 745*2^1420231-1 is not prime. Res64: 9D1BE01A56517385 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:07:04] 759*2^1420231-1 is not prime. Res64: DF00D6A1AA8DAB1F Time : 0.0 sec. user=mdettweiler [2016-01-23 16:07:05] 901*2^1420231-1 is not prime. Res64: 0C18581FA7A7CCF9 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:07:56] 909*2^1420231-1 is not prime. Res64: 0F5EE0D40270B02A Time : 0.0 sec. user=mdettweiler [2016-01-23 16:07:56] 939*2^1420231-1 is not prime. Res64: 449A33A784169C53 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:11:59] 961*2^1420231-1 is not prime. Res64: 55084D556F27B2E4 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:11:59] 979*2^1420231-1 is not prime. Res64: 26A639CE9DE8B856 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:23:23] 993*2^1420231-1 is not prime. Res64: F0B7ACE86A3A4842 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:23:23] 603*2^1420232-1 is not prime. Res64: 17B695A238898FEE Time : 0.0 sec. user=mdettweiler [2016-01-23 16:26:32] 675*2^1420232-1 is not prime. Res64: 50D6E41596F91861 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:26:33] 743*2^1420232-1 is not prime. Res64: 8123A0D0CF913FE7 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:27:43] 753*2^1420232-1 is not prime. Res64: FB6FA719E05FB53C Time : 0.0 sec. user=mdettweiler [2016-01-23 16:27:43] 827*2^1420232-1 is not prime. Res64: 446533D6131822F8 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:31:12] 615*2^1420233-1 is not prime. Res64: 330DCD7F79A60625 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:31:13] 721*2^1420233-1 is not prime. Res64: 0E54F95283F67CDD Time : 0.0 sec. user=mdettweiler [2016-01-23 16:43:32] 747*2^1420233-1 is not prime. Res64: 6722E6C049B6E011 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:43:32] 837*2^1420233-1 is not prime. Res64: 54126989904B040C Time : 0.0 sec. user=mdettweiler [2016-01-23 16:46:31] 915*2^1420233-1 is not prime. Res64: 1F69FBFA8D76EDF8 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:46:31] 937*2^1420233-1 is not prime. Res64: F217C8C7BD4B2555 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:47:50] 987*2^1420233-1 is not prime. Res64: 1A199AB626B76ED5 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:47:51] 605*2^1420234-1 is not prime. Res64: 56604A51E96539B6 Time : 0.0 sec. user=mdettweiler [2016-01-23 16:50:56] 617*2^1420234-1 is not prime. Res64: ECE3EEB13FDACA6B Time : 0.0 sec. user=mdettweiler [2016-01-23 16:50:56] 651*2^1420234-1 is not prime. Res64: 2785D715B5B8BAB4 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:03:37] 657*2^1420234-1 is not prime. Res64: 2BE48B0E4BD89457 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:03:38] 665*2^1420234-1 is not prime. Res64: 1A80EC58486841A8 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:06:13] 741*2^1420234-1 is not prime. Res64: D767372A2DF79586 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:06:14] 803*2^1420234-1 is not prime. Res64: 4AC337C48C5F2023 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:07:56] 947*2^1420234-1 is not prime. Res64: FB24E66EEEEF4D6E Time : 0.0 sec. user=mdettweiler [2016-01-23 17:07:56] 735*2^1420235-1 is not prime. Res64: 964045D2072E0A31 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:10:35] 775*2^1420235-1 is not prime. Res64: 19CB0F644D828270 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:10:35] 799*2^1420235-1 is not prime. Res64: B3AE48B7EC1A31DB Time : 0.0 sec. user=mdettweiler [2016-01-23 17:23:34] 861*2^1420235-1 is not prime. Res64: 97D5511D0A91192B Time : 0.0 sec. user=mdettweiler [2016-01-23 17:23:34] 939*2^1420235-1 is not prime. Res64: 185E01165CF06128 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:26:03] 979*2^1420235-1 is not prime. Res64: 077161207F5AEF42 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:26:03] 623*2^1420236-1 is not prime. Res64: 2B08211B1DBD1FB0 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:28:01] 627*2^1420236-1 is not prime. Res64: BA2412C559F06615 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:28:02] 675*2^1420236-1 is not prime. Res64: 4DF39EFCC47C7D0B Time : 0.0 sec. user=mdettweiler [2016-01-23 17:30:28] 693*2^1420236-1 is not prime. Res64: 462C06336CF53FAE Time : 0.0 sec. user=mdettweiler [2016-01-23 17:30:29] 839*2^1420236-1 is not prime. Res64: 3D6284A86BDF115A Time : 0.0 sec. user=mdettweiler [2016-01-23 17:43:58] 843*2^1420236-1 is not prime. Res64: 753F2136B5825F33 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:43:58] 975*2^1420236-1 is not prime. Res64: 3468B6F55327E0C4 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:46:32] 661*2^1420237-1 is not prime. Res64: 0B790081455E0DC5 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:46:32] 769*2^1420237-1 is not prime. Res64: 2C6F6B7DE2AE0696 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:48:36] 775*2^1420237-1 is not prime. Res64: B2214BFD5089309B Time : 0.0 sec. user=mdettweiler [2016-01-23 17:48:37] 805*2^1420237-1 is not prime. Res64: 8FEE0C7122CC95D7 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:50:16] 895*2^1420237-1 is not prime. Res64: 8DEBD886B5F1AB36 Time : 0.0 sec. user=mdettweiler [2016-01-23 17:50:16] 931*2^1420237-1 is not prime. Res64: CF05D3921F3E3AAE Time : 0.0 sec. user=mdettweiler [2016-01-23 18:04:41] 937*2^1420237-1 is not prime. Res64: FE8BC051D7744EEE Time : 0.0 sec. user=mdettweiler [2016-01-23 18:04:42] 985*2^1420237-1 is not prime. Res64: 0C0E9E9391D40590 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:07:16] 801*2^1420238-1 is not prime. Res64: F2D240C77C2B9D9C Time : 0.0 sec. user=mdettweiler [2016-01-23 18:07:16] 815*2^1420238-1 is not prime. Res64: 7508AFC02AE38A58 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:09:05] 857*2^1420238-1 is not prime. Res64: 5F49AA15F7870856 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:09:05] 941*2^1420238-1 is not prime. Res64: F33D9BC25309839C Time : 0.0 sec. user=mdettweiler [2016-01-23 18:10:16] 951*2^1420238-1 is not prime. Res64: ECFBB7324C301A1A Time : 0.0 sec. user=mdettweiler [2016-01-23 18:10:16] 957*2^1420238-1 is not prime. Res64: 458163DD3EB16144 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:24:46] 609*2^1420239-1 is not prime. Res64: B35A0B128952FCE8 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:24:47] 663*2^1420239-1 is not prime. Res64: 1DF4FD1AFEC572F1 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:27:10] 669*2^1420239-1 is not prime. Res64: E6235A1C8F7F24DF Time : 0.0 sec. user=mdettweiler [2016-01-23 18:27:11] 723*2^1420239-1 is not prime. Res64: FC0D6C40599F1CAC Time : 0.0 sec. user=mdettweiler [2016-01-23 18:29:36] 735*2^1420239-1 is not prime. Res64: BFD337B64AD5A38B Time : 0.0 sec. user=mdettweiler [2016-01-23 18:29:37] 769*2^1420239-1 is not prime. Res64: 3D3A7BAF9ECB2F13 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:29:51] 859*2^1420239-1 is not prime. Res64: 746D41620B362FB5 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:29:51] 933*2^1420239-1 is not prime. Res64: F7C6960408A7263F Time : 0.0 sec. user=mdettweiler [2016-01-23 18:45:28] 759*2^1420240-1 is not prime. Res64: 93086F3BA48B0190 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:45:29] 803*2^1420240-1 is not prime. Res64: 3744A24B99FF7E3F Time : 0.0 sec. user=mdettweiler [2016-01-23 18:47:52] 825*2^1420240-1 is not prime. Res64: FE69230AFCE045A5 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:47:53] 995*2^1420240-1 is not prime. Res64: EAF439DFADCB4727 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:49:38] 657*2^1420241-1 is not prime. Res64: 17216EBB3CB8C36D Time : 0.0 sec. user=mdettweiler [2016-01-23 18:49:38] 669*2^1420241-1 is not prime. Res64: 1B7A9015F63F2BEC Time : 0.0 sec. user=mdettweiler [2016-01-23 18:50:24] 607*2^1420241-1 is not prime. Res64: 2B53D55F859E43D2 Time : 0.0 sec. user=mdettweiler [2016-01-23 18:50:24] 619*2^1420241-1 is not prime. Res64: 612BBBD3D9C420FB Time : 0.0 sec. user=mdettweiler [2016-01-23 19:05:47] 691*2^1420241-1 is not prime. Res64: 35C47B25872BF518 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:05:48] 777*2^1420241-1 is not prime. Res64: E3AEC4A522AED59C Time : 0.0 sec. user=mdettweiler [2016-01-23 19:07:32] 945*2^1420241-1 is not prime. Res64: 78F64B91E6F10279 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:07:32] 633*2^1420242-1 is not prime. Res64: EBB1299B61ED3316 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:08:54] 723*2^1420242-1 is not prime. Res64: 87B4A9B9C40640CF Time : 0.0 sec. user=mdettweiler [2016-01-23 19:08:54] 725*2^1420242-1 is not prime. Res64: 8DCB3B154C9F4D13 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:10:12] 801*2^1420242-1 is not prime. Res64: 26ECCABA8FF9995D Time : 0.0 sec. user=mdettweiler [2016-01-23 19:10:12] 977*2^1420242-1 is not prime. Res64: C591281A277AD695 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:24:55] 681*2^1420243-1 is not prime. Res64: 0D831BBD241BC47C Time : 0.0 sec. user=mdettweiler [2016-01-23 19:24:55] 705*2^1420243-1 is not prime. Res64: EA8A20D4048A41ED Time : 0.0 sec. user=mdettweiler [2016-01-23 19:26:08] 723*2^1420243-1 is not prime. Res64: BC648FB8971B5995 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:26:09] 769*2^1420243-1 is not prime. Res64: 9F82C8BDD85F905B Time : 0.0 sec. user=mdettweiler [2016-01-23 19:27:24] 811*2^1420243-1 is not prime. Res64: E55ADE4D1B831A60 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:27:24] 861*2^1420243-1 is not prime. Res64: 76EF1636570D3991 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:29:10] 609*2^1420244-1 is not prime. Res64: 6FA67B6644249905 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:29:10] 683*2^1420244-1 is not prime. Res64: 3C74AE93315CFCFA Time : 0.0 sec. user=mdettweiler [2016-01-23 19:43:57] 749*2^1420244-1 is not prime. Res64: 2D7FA59CCFA1DF43 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:43:58] 855*2^1420244-1 is not prime. Res64: E844E0C681426CF3 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:45:00] 893*2^1420244-1 is not prime. Res64: 90C857405747EBC5 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:45:01] 897*2^1420244-1 is not prime. Res64: 35DFC3F9687110CE Time : 0.0 sec. user=mdettweiler [2016-01-23 19:46:09] 915*2^1420244-1 is not prime. Res64: B697FCFAA3E1B31F Time : 0.0 sec. user=mdettweiler [2016-01-23 19:46:09] 953*2^1420244-1 is not prime. Res64: 5A9B64617FCD01C2 Time : 0.0 sec. user=mdettweiler [2016-01-23 19:48:24] 669*2^1420245-1 is not prime. Res64: FFDE88ACE3A6196F Time : 0.0 sec. user=mdettweiler [2016-01-23 19:48:24] 741*2^1420245-1 is not prime. Res64: 9BFD7850BD3CE7FF Time : 0.0 sec. user=mdettweiler [2016-01-23 20:02:51] 777*2^1420245-1 is not prime. Res64: 8C707707B24F433E Time : 0.0 sec. user=mdettweiler [2016-01-23 20:02:52] 819*2^1420245-1 is not prime. Res64: 0A0CBA00E93501D4 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:03:44] 915*2^1420245-1 is not prime. Res64: 69BBF2B58C3EFCBA Time : 0.0 sec. user=mdettweiler [2016-01-23 20:03:45] 611*2^1420246-1 is not prime. Res64: 539D08DB98FC5569 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:04:40] 651*2^1420246-1 is not prime. Res64: C1D7C966E0D51BFB Time : 0.0 sec. user=mdettweiler [2016-01-23 20:04:41] 741*2^1420246-1 is not prime. Res64: A4B19089BF5F62A9 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:07:16] 825*2^1420246-1 is not prime. Res64: DB254AB5A8C400EB Time : 0.0 sec. user=mdettweiler [2016-01-23 20:07:17] 867*2^1420246-1 is not prime. Res64: 361781AD7347A46B Time : 0.0 sec. user=mdettweiler [2016-01-23 20:22:01] 911*2^1420246-1 is not prime. Res64: 9C1C93E31AEF3F98 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:22:01] 1001*2^1420246-1 is not prime. Res64: 543EFCF54AEFDDEE Time : 0.0 sec. user=mdettweiler [2016-01-23 20:22:29] 655*2^1420247-1 is not prime. Res64: 669E206C1D6A5D34 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:22:33] 661*2^1420247-1 is not prime. Res64: 9441078149907E50 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:23:20] 675*2^1420247-1 is not prime. Res64: 3871D81FAADFA80E Time : 0.0 sec. user=mdettweiler [2016-01-23 20:23:20] 825*2^1420247-1 is not prime. Res64: 5928FFA29E3FCC3E Time : 0.0 sec. user=mdettweiler [2016-01-23 20:26:18] 843*2^1420247-1 is not prime. Res64: C281CC58F7837DDF Time : 0.0 sec. user=mdettweiler [2016-01-23 20:26:18] 885*2^1420247-1 is not prime. Res64: F226697886B3DB2C Time : 0.0 sec. user=mdettweiler [2016-01-23 20:41:22] 665*2^1420248-1 is not prime. Res64: 9BCE4886768B1B5B Time : 0.0 sec. user=mdettweiler [2016-01-23 20:41:22] 725*2^1420248-1 is not prime. Res64: 3FE3250E1A4AC295 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:41:29] 845*2^1420248-1 is not prime. Res64: 0F5B3D3CD06C7FF6 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:41:30] 899*2^1420248-1 is not prime. Res64: 9F96A3ACA63D24EA Time : 0.0 sec. user=mdettweiler [2016-01-23 20:42:07] 933*2^1420248-1 is not prime. Res64: BD277A2118137E30 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:42:07] 993*2^1420248-1 is not prime. Res64: DFAEC6B777C9909F Time : 0.0 sec. user=mdettweiler [2016-01-23 20:45:34] 661*2^1420249-1 is not prime. Res64: 5E84ED66B8E39DB9 Time : 0.0 sec. user=mdettweiler [2016-01-23 20:45:34] 751*2^1420249-1 is not prime. Res64: 6E3CA16A3B2F76FE Time : 0.0 sec. user=mdettweiler [2016-01-23 21:00:28] 813*2^1420250-1 is not prime. Res64: AEC5174B58B393ED Time : 0.0 sec. user=mdettweiler [2016-01-23 21:00:29] 893*2^1420250-1 is not prime. Res64: 05EB36DE65FDD532 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:00:42] 817*2^1420249-1 is not prime. Res64: D6F9643AA3968E91 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:00:43] 999*2^1420249-1 is not prime. Res64: 2713B19546940795 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:00:49] 957*2^1420250-1 is not prime. Res64: EACF902EE3989D8D Time : 0.0 sec. user=mdettweiler [2016-01-23 21:00:50] 1001*2^1420250-1 is not prime. Res64: 0DAC8D4D9F50B394 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:04:39] 625*2^1420251-1 is not prime. Res64: 3F285B6BBC5FC572 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:04:41] 703*2^1420251-1 is not prime. Res64: 071AF33ECC4932E8 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:19:31] 785*2^1420252-1 is not prime. Res64: E177D0BE3C8F65EF Time : 0.0 sec. user=mdettweiler [2016-01-23 21:19:31] 903*2^1420252-1 is not prime. Res64: 88C3565A06AEB943 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:19:31] 709*2^1420251-1 is not prime. Res64: 8E0B3B059FDBF983 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:19:32] 783*2^1420251-1 is not prime. Res64: F4916F4165A2DFB0 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:19:53] 943*2^1420251-1 is not prime. Res64: F2EC0F5982256480 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:19:53] 639*2^1420252-1 is not prime. Res64: 4CB7458BF88B2944 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:23:33] 619*2^1420253-1 is not prime. Res64: 45D0FD13C4E0684A Time : 0.0 sec. user=mdettweiler [2016-01-23 21:23:33] 721*2^1420253-1 is not prime. Res64: 6B79B4AC13EAECE6 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:37:57] 795*2^1420253-1 is not prime. Res64: AD6D89A484BDACC4 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:37:57] 801*2^1420253-1 is not prime. Res64: 4DB91EFB140E0C90 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:38:15] 729*2^1420253-1 is not prime. Res64: 60472746DCA5062C Time : 0.0 sec. user=mdettweiler [2016-01-23 21:38:16] 741*2^1420253-1 is not prime. Res64: D397A4F6A0A00AD5 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:38:27] 897*2^1420253-1 is not prime. Res64: 1F8F12E52A85A341 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:38:28] 611*2^1420254-1 is not prime. Res64: 5C07C77CC8C95CDC Time : 0.0 sec. user=mdettweiler [2016-01-23 21:42:24] 615*2^1420254-1 is not prime. Res64: A1AF9E064A0C9342 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:42:25] 627*2^1420254-1 is not prime. Res64: 74D65E5D87BB16F8 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:56:36] 707*2^1420254-1 is not prime. Res64: 6F68EFF98C2304E2 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:56:37] 893*2^1420254-1 is not prime. Res64: BE732E10E1C8FBEC Time : 0.0 sec. user=mdettweiler [2016-01-23 21:56:50] 971*2^1420254-1 is not prime. Res64: 3DC26D53F26F2488 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:56:50] 975*2^1420254-1 is not prime. Res64: 5D717C226AE5D182 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:57:18] 625*2^1420255-1 is not prime. Res64: 6500DE7AB856B627 Time : 0.0 sec. user=mdettweiler [2016-01-23 21:57:19] 765*2^1420255-1 is not prime. Res64: 289311950399BEA0 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:01:22] 819*2^1420255-1 is not prime. Res64: 6F96D54456A30CA4 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:01:23] 829*2^1420255-1 is not prime. Res64: CDCC73BABA94C527 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:14:58] 873*2^1420255-1 is not prime. Res64: AFA04835A6DD6A11 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:14:58] 885*2^1420255-1 is not prime. Res64: E5F7482BA3F8B686 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:15:11] 951*2^1420255-1 is not prime. Res64: 2F8A3EFC8473F8FF Time : 0.0 sec. user=mdettweiler [2016-01-23 22:15:11] 969*2^1420255-1 is not prime. Res64: 9455029EC7519BDB Time : 0.0 sec. user=mdettweiler [2016-01-23 22:15:53] 603*2^1420256-1 is not prime. Res64: EC61655D947C5461 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:15:54] 645*2^1420256-1 is not prime. Res64: 6937BFB94ED6988E Time : 0.0 sec. user=mdettweiler [2016-01-23 22:20:01] 669*2^1420256-1 is not prime. Res64: 0C5D9BA76C729F31 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:20:01] 743*2^1420256-1 is not prime. Res64: 4114E6F98F29BB24 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:33:08] 813*2^1420256-1 is not prime. Res64: 180033B18BD50F2C Time : 0.0 sec. user=mdettweiler [2016-01-23 22:33:08] 875*2^1420256-1 is not prime. Res64: E761B9EA285F87F5 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:33:44] 923*2^1420256-1 is not prime. Res64: CC8CE72B25AF7174 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:33:44] 609*2^1420257-1 is not prime. Res64: 16ACD29F980E11AB Time : 0.0 sec. user=mdettweiler [2016-01-23 22:34:53] 627*2^1420257-1 is not prime. Res64: ACA0519B2413FC20 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:34:53] 667*2^1420257-1 is not prime. Res64: 3AA4A98AECCDB9C4 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:38:42] 685*2^1420257-1 is not prime. Res64: 79E6F7688DE6E64E Time : 0.0 sec. user=mdettweiler [2016-01-23 22:38:42] 699*2^1420257-1 is not prime. Res64: 0141DE3B55DE6AC0 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:51:58] 621*2^1420258-1 is not prime. Res64: E101F570D56112C1 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:51:59] 645*2^1420258-1 is not prime. Res64: A8A91F38C9382E2A Time : 0.0 sec. user=mdettweiler [2016-01-23 22:52:53] 731*2^1420258-1 is not prime. Res64: 04C5243B452E0118 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:52:53] 857*2^1420258-1 is not prime. Res64: CD6B7B1C6383A4C9 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:54:12] 951*2^1420258-1 is not prime. Res64: 31C8634A95A01752 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:54:13] 993*2^1420258-1 is not prime. Res64: 0A50F5FBC5DD0CC2 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:57:51] 601*2^1420259-1 is not prime. Res64: D09F048125606506 Time : 0.0 sec. user=mdettweiler [2016-01-23 22:57:52] 609*2^1420259-1 is not prime. Res64: 0239E87DE7252027 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:11:30] 633*2^1420259-1 is not prime. Res64: B74C0EDB93E73044 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:11:30] 675*2^1420259-1 is not prime. Res64: 61E7AF071DA54D93 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:12:46] 825*2^1420259-1 is not prime. Res64: 22783CE8916348E5 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:12:47] 841*2^1420259-1 is not prime. Res64: 7BB6965D16FCCE6E Time : 0.0 sec. user=mdettweiler [2016-01-23 23:14:19] 993*2^1420259-1 is not prime. Res64: 397E577DAE7F7AD7 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:14:19] 689*2^1420260-1 is not prime. Res64: FF7E02D33F589730 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:17:56] 693*2^1420260-1 is not prime. Res64: 5C5CC36BD7DF3747 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:17:57] 723*2^1420260-1 is not prime. Res64: A07D1116B8249718 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:30:09] 863*2^1420260-1 is not prime. Res64: CF341BF84969F084 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:30:09] 879*2^1420260-1 is not prime. Res64: 2D6877C2104178A9 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:31:34] 625*2^1420261-1 is not prime. Res64: FE618B4ED6140BE6 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:31:34] 727*2^1420261-1 is not prime. Res64: 57A00C07B6F52FFD Time : 0.0 sec. user=mdettweiler [2016-01-23 23:33:18] 951*2^1420261-1 is not prime. Res64: 1222AB00FC16D953 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:33:18] 955*2^1420261-1 is not prime. Res64: D9B34AB0051AD0A5 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:37:22] 957*2^1420261-1 is not prime. Res64: EBB89D7D94270F39 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:37:22] 627*2^1420262-1 is not prime. Res64: 0852ECE76C47C213 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:53:10] 731*2^1420262-1 is not prime. Res64: 7455728C877EBF5F Time : 0.0 sec. user=mdettweiler [2016-01-23 23:53:10] 741*2^1420262-1 is not prime. Res64: 55F3152940AF6FFD Time : 0.0 sec. user=mdettweiler [2016-01-23 23:54:10] 825*2^1420262-1 is not prime. Res64: CA6C172950F4F119 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:54:10] 867*2^1420262-1 is not prime. Res64: 60BA96F05F9B8D68 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:57:45] 963*2^1420262-1 is not prime. Res64: E61C7F89F80E5904 Time : 0.0 sec. user=mdettweiler [2016-01-23 23:57:46] 781*2^1420263-1 is not prime. Res64: E312E64E832C455E Time : 0.0 sec.