user=mdettweiler [2015-01-23 00:07:21] 717*2^1389402-1 is not prime. Res64: 4ABB138D95286320 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:07:22] 797*2^1389402-1 is not prime. Res64: F08915FFDE3335E0 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:10:52] 815*2^1389402-1 is not prime. Res64: A6E6A643173CAD34 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:10:52] 867*2^1389402-1 is not prime. Res64: 319AEEFE2627930E Time : 0.0 sec. user=mdettweiler [2015-01-23 00:16:11] 873*2^1389402-1 is not prime. Res64: D8B6D9DB1B505446 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:16:11] 941*2^1389402-1 is not prime. Res64: A432BE9F827C6C70 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:29:36] 615*2^1389403-1 is not prime. Res64: 11E50D9ED042C5B1 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:29:37] 673*2^1389403-1 is not prime. Res64: 23B05ECC6C914B0D Time : 0.0 sec. user=mdettweiler [2015-01-23 00:36:08] 901*2^1389403-1 is not prime. Res64: 649124A24AD4985A Time : 0.0 sec. user=mdettweiler [2015-01-23 00:36:09] 617*2^1389404-1 is not prime. Res64: 4425128C4CF5AF33 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:40:27] 663*2^1389404-1 is not prime. Res64: D747A2BED1F7DC8E Time : 0.0 sec. user=mdettweiler [2015-01-23 00:40:28] 789*2^1389404-1 is not prime. Res64: 3FE38B9A89475F3C Time : 0.0 sec. user=mdettweiler [2015-01-23 00:45:24] 873*2^1389404-1 is not prime. Res64: A4A441E6B37CEA78 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:45:24] 885*2^1389404-1 is not prime. Res64: DBBA092B8855062D Time : 0.0 sec. user=mdettweiler [2015-01-23 00:58:27] 711*2^1389405-1 is not prime. Res64: FE5FD44A81E48A69 Time : 0.0 sec. user=mdettweiler [2015-01-23 00:58:27] 777*2^1389405-1 is not prime. Res64: 8CCBC617DA2E5E60 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:04:20] 997*2^1389405-1 is not prime. Res64: 456C417D26FBC130 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:04:22] 603*2^1389406-1 is not prime. Res64: B1E72EF82E3BAB5D Time : 0.0 sec. user=mdettweiler [2015-01-23 01:08:39] 623*2^1389406-1 is not prime. Res64: 7A82524AED50C65D Time : 0.0 sec. user=mdettweiler [2015-01-23 01:08:39] 663*2^1389406-1 is not prime. Res64: 1B600DD6795A073B Time : 0.0 sec. user=mdettweiler [2015-01-23 01:14:16] 783*2^1389406-1 is not prime. Res64: 67778105DD0F3B89 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:14:17] 923*2^1389406-1 is not prime. Res64: F19D3E7D87414052 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:26:51] 711*2^1389407-1 is not prime. Res64: AFB46CF6FD153494 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:26:52] 729*2^1389407-1 is not prime. Res64: 456F0F0EBA191CD6 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:33:37] 871*2^1389407-1 is not prime. Res64: 722D26B593C60FB7 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:33:38] 981*2^1389407-1 is not prime. Res64: BBF45CF7396D2DF1 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:37:20] 615*2^1389408-1 is not prime. Res64: A041BED8AE271EAE Time : 0.0 sec. user=mdettweiler [2015-01-23 01:37:21] 735*2^1389408-1 is not prime. Res64: C135CC908BBDCFB8 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:42:31] 929*2^1389408-1 is not prime. Res64: DA6C7A9A173DEB1F Time : 0.0 sec. user=mdettweiler [2015-01-23 01:42:31] 975*2^1389408-1 is not prime. Res64: 0A0D998F01A2E466 Time : 0.0 sec. user=mdettweiler [2015-01-23 01:56:09] 639*2^1389409-1 is not prime. Res64: C85DD886B1BE8BBE Time : 0.0 sec. user=mdettweiler [2015-01-23 01:56:09] 691*2^1389409-1 is not prime. Res64: DB3566E28A2AB9C9 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:02:51] 729*2^1389409-1 is not prime. Res64: 8358613056AB8963 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:02:52] 997*2^1389409-1 is not prime. Res64: DDA9E5B1D7DFAE54 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:06:06] 743*2^1389410-1 is not prime. Res64: B60EF9B259E42BAD Time : 0.0 sec. user=mdettweiler [2015-01-23 02:06:07] 827*2^1389410-1 is not prime. Res64: 909781210A216825 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:11:03] 911*2^1389410-1 is not prime. Res64: 9A81C89CF52EF266 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:11:03] 751*2^1389411-1 is not prime. Res64: 4EDEE4F3EDB7116B Time : 0.0 sec. user=mdettweiler [2015-01-23 02:23:12] 903*2^1389411-1 is not prime. Res64: 28BE84C491FFEFCB Time : 0.0 sec. user=mdettweiler [2015-01-23 02:23:13] 623*2^1389412-1 is not prime. Res64: FC66BDC44F3B9A40 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:29:50] 695*2^1389412-1 is not prime. Res64: 9924EB82EEB1A0B1 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:29:51] 843*2^1389412-1 is not prime. Res64: 2DAB375D30137909 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:32:40] 619*2^1389413-1 is not prime. Res64: B13E59D731500794 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:32:41] 721*2^1389413-1 is not prime. Res64: 57160FB419518F3A Time : 0.0 sec. user=mdettweiler [2015-01-23 02:37:30] 735*2^1389413-1 is not prime. Res64: 119B080100B9FC7F Time : 0.0 sec. user=mdettweiler [2015-01-23 02:37:31] 847*2^1389413-1 is not prime. Res64: 1A0E3F36DA79DAD3 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:51:04] 889*2^1389413-1 is not prime. Res64: 27DF0A4900D3D231 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:51:05] 901*2^1389413-1 is not prime. Res64: C1FDFE12E52B749E Time : 0.0 sec. user=mdettweiler [2015-01-23 02:57:33] 949*2^1389413-1 is not prime. Res64: 2FF9339FE1345344 Time : 0.0 sec. user=mdettweiler [2015-01-23 02:57:33] 737*2^1389414-1 is not prime. Res64: C96F90285A1D9C2D Time : 0.0 sec. user=mdettweiler [2015-01-23 03:00:41] 755*2^1389414-1 is not prime. Res64: AB022DADD2610D09 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:00:42] 885*2^1389414-1 is not prime. Res64: 184A2B6787E431DA Time : 0.0 sec. user=mdettweiler [2015-01-23 03:05:29] 891*2^1389414-1 is not prime. Res64: 9FF1A153EABFD303 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:05:29] 645*2^1389415-1 is not prime. Res64: 068596A5C5397795 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:17:17] 673*2^1389415-1 is not prime. Res64: FF09F67957AA98D3 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:17:18] 705*2^1389415-1 is not prime. Res64: 5C2F80FC3CD55D68 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:23:48] 765*2^1389415-1 is not prime. Res64: BB3C6DBA2A51F5B9 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:23:49] 829*2^1389415-1 is not prime. Res64: 962C650091A4A07E Time : 0.0 sec. user=mdettweiler [2015-01-23 03:27:02] 841*2^1389415-1 is not prime. Res64: 36663121C30E7C23 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:27:03] 657*2^1389416-1 is not prime. Res64: 59986B07C2F94AF5 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:31:36] 659*2^1389416-1 is not prime. Res64: E2C3001D7E3D8345 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:31:38] 735*2^1389416-1 is not prime. Res64: FD2A602B4EE6AD55 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:43:38] 785*2^1389416-1 is not prime. Res64: B3136F54168128AC Time : 0.0 sec. user=mdettweiler [2015-01-23 03:43:39] 843*2^1389416-1 is not prime. Res64: 475EFEACA3E80952 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:49:57] 845*2^1389416-1 is not prime. Res64: F8F550496DABDACE Time : 0.0 sec. user=mdettweiler [2015-01-23 03:49:57] 899*2^1389416-1 is not prime. Res64: A5D42C05A0500893 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:53:20] 903*2^1389416-1 is not prime. Res64: A866B391851233F3 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:53:20] 983*2^1389416-1 is not prime. Res64: 5279FD3AFFF45EC6 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:57:50] 681*2^1389417-1 is not prime. Res64: 64988E4087B81F94 Time : 0.0 sec. user=mdettweiler [2015-01-23 03:57:50] 837*2^1389417-1 is not prime. Res64: 713F549C670ACCE2 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:10:15] 915*2^1389417-1 is not prime. Res64: E93D9B6DABE9D711 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:10:16] 991*2^1389417-1 is not prime. Res64: 817914BD9040F818 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:16:05] 605*2^1389418-1 is not prime. Res64: 77F1699A7E8BD3DF Time : 0.0 sec. user=mdettweiler [2015-01-23 04:16:06] 681*2^1389418-1 is not prime. Res64: C7AB7E9EBD7D707A Time : 0.0 sec. user=mdettweiler [2015-01-23 04:19:31] 737*2^1389418-1 is not prime. Res64: F151BF35B788A303 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:19:32] 801*2^1389418-1 is not prime. Res64: B67A0AFFB2001C60 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:23:58] 831*2^1389418-1 is not prime. Res64: A8E2F5BF48921FCC Time : 0.0 sec. user=mdettweiler [2015-01-23 04:23:59] 845*2^1389418-1 is not prime. Res64: 2184FCEC7F13ED5B Time : 0.0 sec. user=mdettweiler [2015-01-23 04:36:35] 971*2^1389418-1 is not prime. Res64: 490D2538707F7BF7 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:36:35] 981*2^1389418-1 is not prime. Res64: 44CF2D90F54E431B Time : 0.0 sec. user=mdettweiler [2015-01-23 04:42:11] 655*2^1389419-1 is not prime. Res64: 253EE1FF2A7F1BAA Time : 0.0 sec. user=mdettweiler [2015-01-23 04:42:12] 663*2^1389419-1 is not prime. Res64: FE8E016BF9BC9076 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:45:45] 883*2^1389419-1 is not prime. Res64: 67D7C277E6C7D9DB Time : 0.0 sec. user=mdettweiler [2015-01-23 04:45:46] 979*2^1389419-1 is not prime. Res64: 49EE73C68C891623 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:50:10] 675*2^1389420-1 is not prime. Res64: FADF3808EB7D8842 Time : 0.0 sec. user=mdettweiler [2015-01-23 04:50:10] 717*2^1389420-1 is not prime. Res64: 5DB425C5347EDA0A Time : 0.0 sec. user=mdettweiler [2015-01-23 05:02:41] 767*2^1389420-1 is not prime. Res64: F0772177303D07B2 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:02:43] 795*2^1389420-1 is not prime. Res64: DAF3EC0EEB9666E6 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:08:25] 843*2^1389420-1 is not prime. Res64: 63F1E736E91D9378 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:08:25] 923*2^1389420-1 is not prime. Res64: 7B8EE03D24CE00B6 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:11:47] 959*2^1389420-1 is not prime. Res64: 7913DAF2A9E099E2 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:11:48] 651*2^1389421-1 is not prime. Res64: B4926DE5327E0594 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:16:14] 717*2^1389421-1 is not prime. Res64: A4F3D4E24E089B04 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:16:15] 861*2^1389421-1 is not prime. Res64: 694EAE8065E1AA88 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:29:02] 901*2^1389421-1 is not prime. Res64: C5C5BFEBB68C91FA Time : 0.0 sec. user=mdettweiler [2015-01-23 05:29:03] 945*2^1389421-1 is not prime. Res64: 4D6CC88B5337A7B6 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:34:24] 623*2^1389422-1 is not prime. Res64: EDBE42EA6203E47D Time : 0.0 sec. user=mdettweiler [2015-01-23 05:34:24] 677*2^1389422-1 is not prime. Res64: 6D2D0AA6DA3ED332 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:37:56] 813*2^1389422-1 is not prime. Res64: CFA9A8A4FF140076 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:37:57] 921*2^1389422-1 is not prime. Res64: 4FB6A94C1A1673D1 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:42:13] 613*2^1389423-1 is not prime. Res64: 37614BBBAE029E4B Time : 0.0 sec. user=mdettweiler [2015-01-23 05:42:13] 751*2^1389423-1 is not prime. Res64: 5023AAE6794E9317 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:55:03] 795*2^1389423-1 is not prime. Res64: 2FAFD9613EE0F807 Time : 0.0 sec. user=mdettweiler [2015-01-23 05:55:04] 823*2^1389423-1 is not prime. Res64: E41C10B9EB0AF9B4 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:00:30] 961*2^1389423-1 is not prime. Res64: 317AE23F8E5BACE3 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:00:31] 825*2^1389424-1 is not prime. Res64: 2D2C56B9F5971E94 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:04:00] 915*2^1389424-1 is not prime. Res64: 71C2D7B0223D5A00 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:04:01] 789*2^1389425-1 is not prime. Res64: 46E89D446B1F1638 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:08:15] 837*2^1389425-1 is not prime. Res64: 13A20C20E70C1864 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:08:15] 847*2^1389425-1 is not prime. Res64: A1D7DAC19D41A0D2 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:21:02] 949*2^1389425-1 is not prime. Res64: 1C2FB3DE4D179148 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:21:02] 633*2^1389426-1 is not prime. Res64: 15D8F94B6DB1178D Time : 0.0 sec. user=mdettweiler [2015-01-23 06:26:41] 683*2^1389426-1 is not prime. Res64: 7315C63ADB633D85 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:26:41] 765*2^1389426-1 is not prime. Res64: 88231982F015DBA3 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:30:33] 873*2^1389426-1 is not prime. Res64: F9FD10553ADE8CF4 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:30:33] 875*2^1389426-1 is not prime. Res64: 75853E7D52C9BC36 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:34:27] 945*2^1389426-1 is not prime. Res64: C499247ACB701953 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:34:27] 993*2^1389426-1 is not prime. Res64: 04F80DDCA7305F26 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:46:59] 621*2^1389427-1 is not prime. Res64: 9E1F0083E498255C Time : 0.0 sec. user=mdettweiler [2015-01-23 06:46:59] 633*2^1389427-1 is not prime. Res64: 337FDBB279C9C423 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:52:53] 675*2^1389427-1 is not prime. Res64: 67C685999B895265 Time : 0.0 sec. user=mdettweiler [2015-01-23 06:52:53] 691*2^1389427-1 is not prime. Res64: BCADF21C8F6D61CC Time : 0.0 sec. user=mdettweiler [2015-01-23 06:56:40] 793*2^1389427-1 is not prime. Res64: 454F60340DDB41AA Time : 0.0 sec. user=mdettweiler [2015-01-23 06:56:41] 913*2^1389427-1 is not prime. Res64: 079E3964206AD30C Time : 0.0 sec. user=mdettweiler [2015-01-23 07:00:33] 939*2^1389427-1 is not prime. Res64: 0A55015008179D17 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:00:34] 985*2^1389427-1 is not prime. Res64: 77B57DB615D6E334 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:13:01] 617*2^1389428-1 is not prime. Res64: 0EBC7B044E9A5CE3 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:13:01] 635*2^1389428-1 is not prime. Res64: 7CC60EE45295E2A0 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:19:03] 945*2^1389428-1 is not prime. Res64: 145235F9E6CAB2CD Time : 0.0 sec. user=mdettweiler [2015-01-23 07:19:04] 977*2^1389428-1 is not prime. Res64: 22B6622CAF77768F Time : 0.0 sec. user=mdettweiler [2015-01-23 07:22:50] 639*2^1389429-1 is not prime. Res64: 5799DEF80790C511 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:22:51] 727*2^1389429-1 is not prime. Res64: 32F623F6AB7184BE Time : 0.0 sec. user=mdettweiler [2015-01-23 07:26:36] 861*2^1389429-1 is not prime. Res64: 7D05BE3170800888 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:26:36] 919*2^1389429-1 is not prime. Res64: A688011727F95300 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:39:21] 969*2^1389429-1 is not prime. Res64: 254949D22824E143 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:39:22] 975*2^1389429-1 is not prime. Res64: 72C72A5EEADD1238 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:45:09] 813*2^1389430-1 is not prime. Res64: 516D8948A638C103 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:45:10] 827*2^1389430-1 is not prime. Res64: 4FA17600CB698102 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:48:54] 857*2^1389430-1 is not prime. Res64: 9480E6026836F10D Time : 0.0 sec. user=mdettweiler [2015-01-23 07:48:55] 945*2^1389430-1 is not prime. Res64: 637F8105A289D578 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:52:42] 601*2^1389431-1 is not prime. Res64: 9626F4C2AAAFF2C9 Time : 0.0 sec. user=mdettweiler [2015-01-23 07:52:43] 693*2^1389431-1 is not prime. Res64: 8C32CAF886D7AF28 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:05:31] 763*2^1389431-1 is not prime. Res64: 9E3724D6875323D5 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:05:31] 789*2^1389431-1 is not prime. Res64: 7572B48D83E662FC Time : 0.0 sec. user=mdettweiler [2015-01-23 08:11:17] 819*2^1389431-1 is not prime. Res64: F2A9A63819C4B635 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:11:18] 943*2^1389431-1 is not prime. Res64: 8F1127E7E36A123B Time : 0.0 sec. user=mdettweiler [2015-01-23 08:15:06] 999*2^1389431-1 is not prime. Res64: B3EC11B8F28EF184 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:15:06] 605*2^1389432-1 is not prime. Res64: 7CFB2486B41B46AB Time : 0.0 sec. user=mdettweiler [2015-01-23 08:18:56] 629*2^1389432-1 is not prime. Res64: 18CB0BF0381EF8FE Time : 0.0 sec. user=mdettweiler [2015-01-23 08:18:56] 669*2^1389432-1 is not prime. Res64: 7A9BD1492D1F4867 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:31:53] 837*2^1389432-1 is not prime. Res64: 41F4C27112A6A16A Time : 0.0 sec. user=mdettweiler [2015-01-23 08:31:54] 873*2^1389432-1 is not prime. Res64: 163DC516742C6180 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:37:18] 691*2^1389433-1 is not prime. Res64: FAFA7C9F343628FA Time : 0.0 sec. user=mdettweiler [2015-01-23 08:37:18] 705*2^1389433-1 is not prime. Res64: D4261B07DA2BC597 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:41:10] 807*2^1389433-1 is not prime. Res64: 6CFF6F0AF4A0A47F Time : 0.0 sec. user=mdettweiler [2015-01-23 08:41:10] 831*2^1389433-1 is not prime. Res64: 643876B480D68DE2 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:45:00] 895*2^1389433-1 is not prime. Res64: D69CE4A2B260C505 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:45:00] 919*2^1389433-1 is not prime. Res64: 5705A6E751C0CC39 Time : 0.0 sec. user=mdettweiler [2015-01-23 08:58:04] 951*2^1389433-1 is not prime. Res64: C87177AF67B7F67D Time : 0.0 sec. user=mdettweiler [2015-01-23 08:58:05] 987*2^1389433-1 is not prime. Res64: 5119A85A4FA229DD Time : 0.0 sec. user=mdettweiler [2015-01-23 09:03:19] 675*2^1389434-1 is not prime. Res64: 71E421C884F8E7D4 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:03:20] 875*2^1389434-1 is not prime. Res64: 15F49D02DD201545 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:07:17] 609*2^1389435-1 is not prime. Res64: 9AB57AAFDB633031 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:07:17] 643*2^1389435-1 is not prime. Res64: F518F05D12981A6C Time : 0.0 sec. user=mdettweiler [2015-01-23 09:11:08] 651*2^1389435-1 is not prime. Res64: 87CFA158A2A8759C Time : 0.0 sec. user=mdettweiler [2015-01-23 09:11:09] 829*2^1389435-1 is not prime. Res64: C06D6BCC2071249E Time : 0.0 sec. user=mdettweiler [2015-01-23 09:24:14] 903*2^1389435-1 is not prime. Res64: 1D2C9F75971B866E Time : 0.0 sec. user=mdettweiler [2015-01-23 09:24:14] 909*2^1389435-1 is not prime. Res64: 87462E6597F7F411 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:29:27] 979*2^1389435-1 is not prime. Res64: 0CBB9B5F86734794 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:29:27] 623*2^1389436-1 is not prime. Res64: 0DE4605DF240BED4 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:33:23] 693*2^1389436-1 is not prime. Res64: 00D0ED62256E290B Time : 0.0 sec. user=mdettweiler [2015-01-23 09:33:23] 755*2^1389436-1 is not prime. Res64: 017A3B77BE3B9F3F Time : 0.0 sec. user=mdettweiler [2015-01-23 09:37:18] 833*2^1389436-1 is not prime. Res64: 8B86859CDA151BB6 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:37:18] 845*2^1389436-1 is not prime. Res64: 4EE6C66499BBA194 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:50:26] 905*2^1389436-1 is not prime. Res64: 3D8FBE7BE4730209 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:50:27] 975*2^1389436-1 is not prime. Res64: A6245A6C9EB18C20 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:55:26] 983*2^1389436-1 is not prime. Res64: 44436101743F3B8D Time : 0.0 sec. user=mdettweiler [2015-01-23 09:55:26] 999*2^1389436-1 is not prime. Res64: 64DD8B9310EA2F23 Time : 0.0 sec. user=mdettweiler [2015-01-23 09:59:36] 669*2^1389437-1 is not prime. Res64: 004D2E8643A8F1CD Time : 0.0 sec. user=mdettweiler [2015-01-23 09:59:36] 711*2^1389437-1 is not prime. Res64: E4D46EA7F78F156B Time : 0.0 sec. user=mdettweiler [2015-01-23 10:03:25] 837*2^1389437-1 is not prime. Res64: 35B0E8785FDAEEDD Time : 0.0 sec. user=mdettweiler [2015-01-23 10:03:26] 937*2^1389437-1 is not prime. Res64: 5BF9597CAD951809 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:16:30] 955*2^1389437-1 is not prime. Res64: F71427FAE1B327C2 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:16:31] 737*2^1389438-1 is not prime. Res64: F1EE59132B730604 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:21:29] 765*2^1389438-1 is not prime. Res64: E6B380563D855B44 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:21:30] 861*2^1389438-1 is not prime. Res64: 819F4B423DFA73C4 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:25:36] 957*2^1389438-1 is not prime. Res64: 9D9591DFB2817ABD Time : 0.0 sec. user=mdettweiler [2015-01-23 10:25:36] 993*2^1389438-1 is not prime. Res64: CBBCA1803514545B Time : 0.0 sec. user=mdettweiler [2015-01-23 10:29:59] 603*2^1389439-1 is not prime. Res64: 75F21F3A8ECDDD69 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:29:59] 645*2^1389439-1 is not prime. Res64: CA276CE583529B12 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:42:37] 723*2^1389439-1 is not prime. Res64: 6708A9C3D417DA2D Time : 0.0 sec. user=mdettweiler [2015-01-23 10:42:38] 829*2^1389439-1 is not prime. Res64: 094D5EFF66A6E075 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:47:31] 883*2^1389439-1 is not prime. Res64: FB9A5F1EAC2C11F5 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:47:31] 889*2^1389439-1 is not prime. Res64: 394EB2A04FEA02D5 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:51:36] 659*2^1389440-1 is not prime. Res64: B691E982BC66B78F Time : 0.0 sec. user=mdettweiler [2015-01-23 10:51:37] 827*2^1389440-1 is not prime. Res64: B539530914DD8573 Time : 0.0 sec. user=mdettweiler [2015-01-23 10:56:16] 609*2^1389441-1 is not prime. Res64: 95445FFCABBADCBB Time : 0.0 sec. user=mdettweiler [2015-01-23 10:56:17] 741*2^1389441-1 is not prime. Res64: DB342F9E89527F1A Time : 0.0 sec. user=mdettweiler [2015-01-23 11:08:45] 937*2^1389441-1 is not prime. Res64: 4AF334CA44EEDCF9 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:08:46] 621*2^1389442-1 is not prime. Res64: 73FA9D4D037DEFBC Time : 0.0 sec. user=juhehe [2015-01-23 11:09:06] 861*2^1389441-1 is not prime. Res64: 7001843734531AC9 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:13:32] 665*2^1389442-1 is not prime. Res64: 9063501CE3E58748 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:13:32] 801*2^1389442-1 is not prime. Res64: 89FB6A843B1E246A Time : 0.0 sec. user=mdettweiler [2015-01-23 11:17:39] 867*2^1389442-1 is not prime. Res64: 72490AF307D7D583 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:17:39] 885*2^1389442-1 is not prime. Res64: 0E6A55D1F2A3ABA9 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:22:24] 891*2^1389442-1 is not prime. Res64: 218C508E58E4C08F Time : 0.0 sec. user=mdettweiler [2015-01-23 11:22:25] 675*2^1389443-1 is not prime. Res64: 39491DEBAD2C4DCD Time : 0.0 sec. user=mdettweiler [2015-01-23 11:34:53] 823*2^1389443-1 is not prime. Res64: 9352B5F5D882C875 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:34:53] 949*2^1389443-1 is not prime. Res64: 1BA72D8B0D385660 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:39:45] 981*2^1389443-1 is not prime. Res64: 835959D026932891 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:39:45] 605*2^1389444-1 is not prime. Res64: 853244097B7B86E1 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:43:40] 737*2^1389444-1 is not prime. Res64: A937A93D1A1BAC01 Time : 0.0 sec. user=mdettweiler [2015-01-23 11:43:41] 857*2^1389444-1 is not prime. Res64: 6ECB6DD4ED59A5DE Time : 0.0 sec. user=mdettweiler [2015-01-23 11:48:27] 959*2^1389444-1 is not prime. Res64: 50913B43D0CEA79C Time : 0.0 sec. user=mdettweiler [2015-01-23 11:48:27] 975*2^1389444-1 is not prime. Res64: 62DF5DABB0C3DB73 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:01:04] 759*2^1389445-1 is not prime. Res64: 972A65054A34B3F4 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:01:04] 771*2^1389445-1 is not prime. Res64: 6014E24455499FC9 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:06:06] 895*2^1389445-1 is not prime. Res64: 0D1EC7D011434A05 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:06:07] 915*2^1389445-1 is not prime. Res64: 313C8218E58BA018 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:11:01] 671*2^1389446-1 is not prime. Res64: 263A95897DE43FD2 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:11:01] 677*2^1389446-1 is not prime. Res64: EA3C7BBFF4E06A21 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:19:46] 707*2^1389446-1 is not prime. Res64: 1FC3F054ECF0A80C Time : 0.0 sec. user=mdettweiler [2015-01-23 12:19:46] 755*2^1389446-1 is not prime. Res64: 7F372DCEC64C1783 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:41:32] 897*2^1389446-1 is not prime. Res64: 9CC8B7951C571926 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:41:32] 941*2^1389446-1 is not prime. Res64: E21D08C46FAF775B Time : 0.0 sec. user=mdettweiler [2015-01-23 12:48:00] 965*2^1389446-1 is not prime. Res64: 68A11D80F6E6D8D6 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:48:00] 971*2^1389446-1 is not prime. Res64: 12417F5DEDF2BDCF Time : 0.0 sec. user=mdettweiler [2015-01-23 12:51:00] 993*2^1389446-1 is not prime. Res64: E584BAD5E37EBF11 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:51:01] 1001*2^1389446-1 is not prime. Res64: E04E4D699ACC95D9 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:56:47] 735*2^1389447-1 is not prime. Res64: 5F40FC2C9D363519 Time : 0.0 sec. user=mdettweiler [2015-01-23 12:56:48] 781*2^1389447-1 is not prime. Res64: A1F760F241C5BB2F Time : 0.0 sec. user=mdettweiler [2015-01-23 13:09:30] 885*2^1389447-1 is not prime. Res64: FF5728B01B45BCA4 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:09:30] 951*2^1389447-1 is not prime. Res64: 42CAA1CF44747904 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:14:19] 999*2^1389447-1 is not prime. Res64: 66CA531B85789074 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:14:19] 603*2^1389448-1 is not prime. Res64: FEC7AA3FF6BABDA7 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:17:24] 735*2^1389448-1 is not prime. Res64: 617AE4E724466898 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:17:24] 813*2^1389448-1 is not prime. Res64: 0AEC6A9208D60238 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:23:06] 843*2^1389448-1 is not prime. Res64: 81329CC2977820AB Time : 0.0 sec. user=mdettweiler [2015-01-23 13:23:06] 875*2^1389448-1 is not prime. Res64: 518617C69641711E Time : 0.0 sec. user=mdettweiler [2015-01-23 13:35:46] 947*2^1389448-1 is not prime. Res64: B0F10B91BDCD05FC Time : 0.0 sec. user=mdettweiler [2015-01-23 13:35:47] 657*2^1389449-1 is not prime. Res64: FADB21030713B774 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:40:42] 697*2^1389449-1 is not prime. Res64: 25EFB71CD27EB7BC Time : 0.0 sec. user=mdettweiler [2015-01-23 13:40:42] 741*2^1389449-1 is not prime. Res64: D90DDB229C973D43 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:43:52] 759*2^1389449-1 is not prime. Res64: DBDA99EA329D39A2 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:43:52] 781*2^1389449-1 is not prime. Res64: 2CF4133C5FE78B4B Time : 0.0 sec. user=mdettweiler [2015-01-23 13:52:49] 787*2^1389449-1 is not prime. Res64: F1752E76BB9470B5 Time : 0.0 sec. user=mdettweiler [2015-01-23 13:52:49] 789*2^1389449-1 is not prime. Res64: 3A4C288B30535DD9 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:08:02] 799*2^1389449-1 is not prime. Res64: 832078171AE45FA1 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:08:02] 841*2^1389449-1 is not prime. Res64: A86333CB1688D1EA Time : 0.0 sec. user=mdettweiler [2015-01-23 14:13:44] 677*2^1389450-1 is not prime. Res64: 01914CE1A78FA6C4 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:13:45] 681*2^1389450-1 is not prime. Res64: 327DB5B6F788D92C Time : 0.0 sec. user=mdettweiler [2015-01-23 14:17:16] 711*2^1389450-1 is not prime. Res64: C5199C1BBED8F359 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:17:16] 725*2^1389450-1 is not prime. Res64: AFF955B7CDF3228B Time : 0.0 sec. user=mdettweiler [2015-01-23 14:23:50] 755*2^1389450-1 is not prime. Res64: C240774144F86C30 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:23:51] 777*2^1389450-1 is not prime. Res64: A84AC6A00E98F3A8 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:36:55] 833*2^1389450-1 is not prime. Res64: ECDD12F34062B551 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:36:55] 921*2^1389450-1 is not prime. Res64: 85338FFDD6C79502 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:42:13] 951*2^1389450-1 is not prime. Res64: 7C216804077DE3BE Time : 0.0 sec. user=mdettweiler [2015-01-23 14:42:13] 649*2^1389451-1 is not prime. Res64: A60CBD24708E4C68 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:45:31] 681*2^1389451-1 is not prime. Res64: 10389B3D9DDA9B47 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:45:31] 783*2^1389451-1 is not prime. Res64: 080575A9F9D42B64 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:52:32] 819*2^1389451-1 is not prime. Res64: 514D4ACF0B96C643 Time : 0.0 sec. user=mdettweiler [2015-01-23 14:52:33] 855*2^1389451-1 is not prime. Res64: BD6C05638EDA6971 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:07:17] 943*2^1389451-1 is not prime. Res64: BBB25AA72A4F1961 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:07:17] 961*2^1389451-1 is not prime. Res64: F14E650B59A6A594 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:13:23] 749*2^1389452-1 is not prime. Res64: FAAB24B773D8025B Time : 0.0 sec. user=mdettweiler [2015-01-23 15:13:24] 899*2^1389452-1 is not prime. Res64: 9D124D6629DEE995 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:17:41] 935*2^1389452-1 is not prime. Res64: 3583A0F0DB4E174F Time : 0.0 sec. user=mdettweiler [2015-01-23 15:17:42] 945*2^1389452-1 is not prime. Res64: EC5292CF9AAF7154 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:23:57] 745*2^1389453-1 is not prime. Res64: 16394329FC6C06AD Time : 0.0 sec. user=mdettweiler [2015-01-23 15:23:57] 789*2^1389453-1 is not prime. Res64: 0C8C21161645B71E Time : 0.0 sec. user=mdettweiler [2015-01-23 15:37:46] 889*2^1389453-1 is not prime. Res64: 6A8854D6F55B34B4 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:37:46] 895*2^1389453-1 is not prime. Res64: 3E44C2592D2EDFAE Time : 0.0 sec. user=mdettweiler [2015-01-23 15:42:37] 915*2^1389453-1 is not prime. Res64: 01E028016A7D1877 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:42:37] 617*2^1389454-1 is not prime. Res64: 10BB693B80FE2935 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:47:18] 665*2^1389454-1 is not prime. Res64: F16F03DD4CE5AD2D Time : 0.0 sec. user=mdettweiler [2015-01-23 15:47:18] 675*2^1389454-1 is not prime. Res64: DD33A0B9BA8F1259 Time : 0.0 sec. user=mdettweiler [2015-01-23 15:52:30] 861*2^1389454-1 is not prime. Res64: 6E48212496AEDB3E Time : 0.0 sec. user=mdettweiler [2015-01-23 15:52:30] 945*2^1389454-1 is not prime. Res64: C18BD5BFA39E4775 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:05:06] 947*2^1389454-1 is not prime. Res64: 44623C77BCD7C7B6 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:05:07] 965*2^1389454-1 is not prime. Res64: 65C535F353FFAA35 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:09:13] 759*2^1389455-1 is not prime. Res64: 82B7EDBBE42C954B Time : 0.0 sec. user=mdettweiler [2015-01-23 16:09:13] 885*2^1389455-1 is not prime. Res64: BDC383153DA7B121 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:13:38] 921*2^1389455-1 is not prime. Res64: E133B9EEEA031846 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:13:38] 981*2^1389455-1 is not prime. Res64: 5FDB10EF0F6B1684 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:18:54] 705*2^1389456-1 is not prime. Res64: DA9DCC122001511F Time : 0.0 sec. user=mdettweiler [2015-01-23 16:18:54] 789*2^1389456-1 is not prime. Res64: 3FDD97FF4268205F Time : 0.0 sec. user=mdettweiler [2015-01-23 16:31:35] 839*2^1389456-1 is not prime. Res64: FBE51E7004966F52 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:31:35] 905*2^1389456-1 is not prime. Res64: 3EF1F2F8D869FCC3 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:35:35] 667*2^1389457-1 is not prime. Res64: F94B69CE718E6BAF Time : 0.0 sec. user=mdettweiler [2015-01-23 16:35:35] 715*2^1389457-1 is not prime. Res64: 30ABF32232045C84 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:39:48] 841*2^1389457-1 is not prime. Res64: 3B410E28BCDA0D5E Time : 0.0 sec. user=mdettweiler [2015-01-23 16:39:48] 915*2^1389457-1 is not prime. Res64: EC061C5AEFAF8222 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:45:22] 931*2^1389457-1 is not prime. Res64: 339C3827CC7EA96C Time : 0.0 sec. user=mdettweiler [2015-01-23 16:45:22] 641*2^1389458-1 is not prime. Res64: F2D5C7518AB5CBA5 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:58:03] 687*2^1389458-1 is not prime. Res64: 0CCFAAE8FD5FB804 Time : 0.0 sec. user=mdettweiler [2015-01-23 16:58:03] 735*2^1389458-1 is not prime. Res64: 0118745A29C941D4 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:01:51] 951*2^1389458-1 is not prime. Res64: 759783117CBF7876 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:01:52] 957*2^1389458-1 is not prime. Res64: 4146C90CBB238B3B Time : 0.0 sec. user=mdettweiler [2015-01-23 17:06:09] 971*2^1389458-1 is not prime. Res64: BB0307021C642E09 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:06:10] 615*2^1389459-1 is not prime. Res64: 1A67025D2162BBD1 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:11:50] 675*2^1389459-1 is not prime. Res64: 9FE04C0443D45C22 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:11:50] 769*2^1389459-1 is not prime. Res64: 1EFA844CFFCE9507 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:24:36] 801*2^1389459-1 is not prime. Res64: 79B034F3A9621AD4 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:24:37] 843*2^1389459-1 is not prime. Res64: B0DBB07906753DEE Time : 0.0 sec. user=mdettweiler [2015-01-23 17:28:11] 859*2^1389459-1 is not prime. Res64: 4B4126E471745816 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:28:12] 873*2^1389459-1 is not prime. Res64: B6DCD48644521177 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:32:37] 895*2^1389459-1 is not prime. Res64: A93CE7BCC91DDE55 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:32:38] 903*2^1389459-1 is not prime. Res64: 8EF286EC838813F2 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:38:21] 677*2^1389460-1 is not prime. Res64: 30955B5052B40452 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:38:21] 707*2^1389460-1 is not prime. Res64: 229A35F9F29AFD55 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:51:21] 773*2^1389460-1 is not prime. Res64: FF7C94457930C816 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:51:21] 803*2^1389460-1 is not prime. Res64: 13EEB83A8A074581 Time : 0.0 sec. user=mdettweiler [2015-01-23 17:55:39] 857*2^1389460-1 is not prime. Res64: 1614F77DB6117C5C Time : 0.0 sec. user=mdettweiler [2015-01-23 17:55:39] 863*2^1389460-1 is not prime. Res64: 5403A0DC48E60A61 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:01:37] 909*2^1389460-1 is not prime. Res64: 99624938824B2A47 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:01:38] 631*2^1389461-1 is not prime. Res64: AF675A20D09F8067 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:08:15] 679*2^1389461-1 is not prime. Res64: 58A0E35F1E97951E Time : 0.0 sec. user=mdettweiler [2015-01-23 18:08:15] 691*2^1389461-1 is not prime. Res64: 7CB198277D20EBC4 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:20:46] 697*2^1389461-1 is not prime. Res64: A8738C10EC23D47C Time : 0.0 sec. user=mdettweiler [2015-01-23 18:20:46] 727*2^1389461-1 is not prime. Res64: A20F9D1B89009A95 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:25:27] 837*2^1389461-1 is not prime. Res64: BD08B12732A69B4A Time : 0.0 sec. user=mdettweiler [2015-01-23 18:25:27] 885*2^1389461-1 is not prime. Res64: B2624291B194E7DD Time : 0.0 sec. user=mdettweiler [2015-01-23 18:29:23] 907*2^1389461-1 is not prime. Res64: D57522C40F1016F8 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:29:23] 945*2^1389461-1 is not prime. Res64: F29A5F1C69C1AC33 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:35:43] 955*2^1389461-1 is not prime. Res64: 7EA3D35C0B24CDF0 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:35:44] 979*2^1389461-1 is not prime. Res64: 654D3284755D37E5 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:47:56] 621*2^1389462-1 is not prime. Res64: 4A22A946DEA90611 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:47:57] 651*2^1389462-1 is not prime. Res64: 0C204932D1E952E7 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:52:27] 737*2^1389462-1 is not prime. Res64: 123FD4221FA0DF91 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:52:27] 833*2^1389462-1 is not prime. Res64: EDC3261BD5F26492 Time : 0.0 sec. user=mdettweiler [2015-01-23 18:56:39] 843*2^1389462-1 is not prime. Res64: 1B3B62DE09EB45EC Time : 0.0 sec. user=mdettweiler [2015-01-23 18:56:39] 873*2^1389462-1 is not prime. Res64: 4240EF59724A65A2 Time : 0.0 sec. user=mdettweiler [2015-01-23 19:02:53] 941*2^1389462-1 is not prime. Res64: E2158D5EC746B4D1 Time : 0.0 sec. user=mdettweiler [2015-01-23 19:02:53] 963*2^1389462-1 is not prime. Res64: 62C4397930B56C96 Time : 0.0 sec. user=mdettweiler [2015-01-23 19:15:23] 965*2^1389462-1 is not prime. Res64: 670167DBC2E37AD1 Time : 0.0 sec. user=mdettweiler [2015-01-23 19:15:23] 783*2^1389463-1 is not prime. Res64: 532E9374BD3F4B62 Time : 0.0 sec. user=mdettweiler [2015-01-23 19:19:23] 829*2^1389463-1 is not prime. Res64: C71EE577F213FF2B Time : 0.0 sec. user=mdettweiler [2015-01-23 19:19:24] 883*2^1389463-1 is not prime. Res64: C3E531F07C049CCB Time : 0.0 sec. user=mdettweiler [2015-01-23 19:24:30] 891*2^1389463-1 is not prime. Res64: BB10B87A658F4ECB Time : 0.0 sec. user=mdettweiler [2015-01-23 19:24:30] 605*2^1389464-1 is not prime. Res64: 0A86002ED51CE28E Time : 0.0 sec. user=mdettweiler [2015-01-23 19:32:53] 629*2^1389464-1 is not prime. Res64: 241E5BA4B5EFC8CB Time : 0.0 sec. user=mdettweiler [2015-01-23 19:32:54] 657*2^1389464-1 is not prime. Res64: C2667B6AB2376E2C Time : 0.0 sec. user=mdettweiler [2015-01-23 19:52:15] 827*2^1389464-1 is not prime. Res64: 4FA000E262EF687D Time : 0.0 sec. user=mdettweiler [2015-01-23 19:52:16] 875*2^1389464-1 is not prime. Res64: E48B6FDA79FB19D8 Time : 0.0 sec. user=mdettweiler [2015-01-23 19:52:22] 767*2^1389464-1 is not prime. Res64: A6EB76C5E5C3200A Time : 0.0 sec. user=mdettweiler [2015-01-23 19:52:23] 795*2^1389464-1 is not prime. Res64: 5FD41FE6066278AC Time : 0.0 sec. user=mdettweiler [2015-01-23 20:08:38] 917*2^1389464-1 is not prime. Res64: 5663D71343DBAE4F Time : 0.0 sec. user=mdettweiler [2015-01-23 20:08:38] 983*2^1389464-1 is not prime. Res64: A99F4B1E36CD8317 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:08:56] 727*2^1389465-1 is not prime. Res64: 8B3207E3A4BFA8A5 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:08:57] 735*2^1389465-1 is not prime. Res64: B25D843367A71D95 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:21:27] 909*2^1389465-1 is not prime. Res64: 8FDC6CD2935695E0 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:21:27] 955*2^1389465-1 is not prime. Res64: 23B3613DEE688E9A Time : 0.0 sec. user=mdettweiler [2015-01-23 20:21:44] 603*2^1389466-1 is not prime. Res64: C553015F084DA5BA Time : 0.0 sec. user=mdettweiler [2015-01-23 20:21:44] 653*2^1389466-1 is not prime. Res64: 58A2F9AB56ACC89A Time : 0.0 sec. user=mdettweiler [2015-01-23 20:31:29] 995*2^1389464-1 is not prime. Res64: 2E5B667D1B6EBBE3 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:34:53] 677*2^1389466-1 is not prime. Res64: 89B2EBD7F8ACB610 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:34:53] 723*2^1389466-1 is not prime. Res64: EDB35A0B81B4F8A0 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:35:19] 773*2^1389466-1 is not prime. Res64: D815F2299014FA26 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:35:20] 993*2^1389466-1 is not prime. Res64: 9FC3C80D723A9FA4 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:47:35] 655*2^1389467-1 is not prime. Res64: 250D502F9AF9D868 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:47:35] 675*2^1389467-1 is not prime. Res64: 390EABB75BED6E55 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:48:03] 735*2^1389467-1 is not prime. Res64: D45F61F9C5EF7920 Time : 0.0 sec. user=mdettweiler [2015-01-23 20:48:03] 813*2^1389467-1 is not prime. Res64: 43F0A056A6D3667A Time : 0.0 sec. user=mdettweiler [2015-01-23 21:01:00] 633*2^1389468-1 is not prime. Res64: 9D69BD739FA93FBC Time : 0.0 sec. user=mdettweiler [2015-01-23 21:01:01] 689*2^1389468-1 is not prime. Res64: 1DA53C16717B0007 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:01:25] 735*2^1389468-1 is not prime. Res64: 1299A591D8F5320C Time : 0.0 sec. user=mdettweiler [2015-01-23 21:01:26] 825*2^1389468-1 is not prime. Res64: 485509C285AEE387 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:13:34] 837*2^1389468-1 is not prime. Res64: 9D7EB41E2C7E1365 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:13:35] 839*2^1389468-1 is not prime. Res64: F8AE0AB9D2649CE6 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:14:05] 909*2^1389468-1 is not prime. Res64: F96B8A4823F647D3 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:14:05] 947*2^1389468-1 is not prime. Res64: EE06CCA1580E1C00 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:27:26] 999*2^1389468-1 is not prime. Res64: E6F89E782E287E16 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:27:27] 639*2^1389469-1 is not prime. Res64: 7790828CA58DD960 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:27:35] 681*2^1389469-1 is not prime. Res64: 44548AFA8F2CC4A5 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:27:36] 769*2^1389469-1 is not prime. Res64: 9379E9FCA130E28D Time : 0.0 sec. user=mdettweiler [2015-01-23 21:39:56] 975*2^1389469-1 is not prime. Res64: EBED1769E84E0F3F Time : 0.0 sec. user=mdettweiler [2015-01-23 21:39:56] 627*2^1389470-1 is not prime. Res64: 71A9EF8B3059E152 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:40:24] 743*2^1389470-1 is not prime. Res64: F01A4FD0103414DF Time : 0.0 sec. user=mdettweiler [2015-01-23 21:40:25] 927*2^1389470-1 is not prime. Res64: C38177CCCAF1CE02 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:53:34] 945*2^1389470-1 is not prime. Res64: C1593BB9ED03DDB2 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:53:35] 661*2^1389471-1 is not prime. Res64: 278AFEE585A37CF3 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:53:54] 691*2^1389471-1 is not prime. Res64: 0A29FDD6AD18A538 Time : 0.0 sec. user=mdettweiler [2015-01-23 21:53:55] 739*2^1389471-1 is not prime. Res64: EDA964D3B6D4CA9C Time : 0.0 sec. user=mdettweiler [2015-01-23 22:06:11] 789*2^1389471-1 is not prime. Res64: BAB6D96821410B48 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:06:12] 895*2^1389471-1 is not prime. Res64: BE7101500DA1875F Time : 0.0 sec. user=mdettweiler [2015-01-23 22:06:37] 999*2^1389471-1 is not prime. Res64: A0BCAB7057649FB7 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:06:37] 629*2^1389472-1 is not prime. Res64: AA23D1ED50098595 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:19:45] 693*2^1389472-1 is not prime. Res64: C1BBE899E115201E Time : 0.0 sec. user=mdettweiler [2015-01-23 22:19:45] 747*2^1389472-1 is not prime. Res64: 89DBDDC5F496A7B6 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:19:59] 939*2^1389472-1 is not prime. Res64: A2C8D72A59D7E6F9 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:20:00] 759*2^1389473-1 is not prime. Res64: 46D165A8D343CE2A Time : 0.0 sec. user=mdettweiler [2015-01-23 22:32:33] 829*2^1389473-1 is not prime. Res64: 92F0C9249D831892 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:32:33] 831*2^1389473-1 is not prime. Res64: 6D7A4894C77266FF Time : 0.0 sec. user=mdettweiler [2015-01-23 22:32:49] 837*2^1389473-1 is not prime. Res64: 4CF4AD1A08DAE43A Time : 0.0 sec. user=mdettweiler [2015-01-23 22:32:50] 621*2^1389474-1 is not prime. Res64: 14641D985A474DE9 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:46:06] 651*2^1389474-1 is not prime. Res64: 4BA7AE8A320F433E Time : 0.0 sec. user=mdettweiler [2015-01-23 22:46:07] 741*2^1389474-1 is not prime. Res64: 781FB8B6F892B4CA Time : 0.0 sec. user=mdettweiler [2015-01-23 22:46:41] 893*2^1389474-1 is not prime. Res64: 8D185B2E74BAFCCC Time : 0.0 sec. user=mdettweiler [2015-01-23 22:46:41] 693*2^1389475-1 is not prime. Res64: BC45131161BC1F4F Time : 0.0 sec. user=mdettweiler [2015-01-23 22:58:53] 705*2^1389475-1 is not prime. Res64: A9162EA4382251CA Time : 0.0 sec. user=mdettweiler [2015-01-23 22:58:54] 793*2^1389475-1 is not prime. Res64: 5FBEEDFBE27B0734 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:59:21] 843*2^1389475-1 is not prime. Res64: 70DBE57B00D8C573 Time : 0.0 sec. user=mdettweiler [2015-01-23 22:59:21] 871*2^1389475-1 is not prime. Res64: 608F2734A66BE03E Time : 0.0 sec. user=mdettweiler [2015-01-23 23:12:13] 925*2^1389475-1 is not prime. Res64: 3AAB71619C0978D1 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:12:13] 683*2^1389476-1 is not prime. Res64: 1D958CC0E4CAE194 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:12:52] 759*2^1389476-1 is not prime. Res64: 692E64CDBC068A8C Time : 0.0 sec. user=mdettweiler [2015-01-23 23:12:52] 837*2^1389476-1 is not prime. Res64: C761748A80535A7A Time : 0.0 sec. user=mdettweiler [2015-01-23 23:24:58] 927*2^1389476-1 is not prime. Res64: 77E57E1D745DF481 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:24:59] 963*2^1389476-1 is not prime. Res64: B3C38AAB015FDFCD Time : 0.0 sec. user=mdettweiler [2015-01-23 23:25:22] 717*2^1389477-1 is not prime. Res64: 049C85A12C8F2F52 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:25:22] 777*2^1389477-1 is not prime. Res64: 2362FBDC45D1DE32 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:38:23] 835*2^1389477-1 is not prime. Res64: BDB8687767872F2D Time : 0.0 sec. user=mdettweiler [2015-01-23 23:38:24] 895*2^1389477-1 is not prime. Res64: 2D6F9345AFC1F70A Time : 0.0 sec. user=mdettweiler [2015-01-23 23:38:58] 991*2^1389477-1 is not prime. Res64: 393E28F53229ACC4 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:38:59] 635*2^1389478-1 is not prime. Res64: 5FDF8F5161D2104F Time : 0.0 sec. user=juhehe [2015-01-23 23:50:38] 781*2^1389477-1 is not prime. Res64: C3786F961843B368 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:51:12] 677*2^1389478-1 is not prime. Res64: AD332D7FF8323D81 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:51:12] 723*2^1389478-1 is not prime. Res64: 74010C4B4E46DE6A Time : 0.0 sec. user=mdettweiler [2015-01-23 23:51:34] 813*2^1389478-1 is not prime. Res64: 8756446013665A40 Time : 0.0 sec. user=mdettweiler [2015-01-23 23:51:34] 609*2^1389479-1 is not prime. Res64: B433BA3AC1421F09 Time : 0.0 sec.