user=mdettweiler [2015-05-22 00:09:49] 723*2^1399239-1 is not prime. Res64: EAD553801BDBE20A Time : 0.0 sec. user=mdettweiler [2015-05-22 00:09:50] 885*2^1399239-1 is not prime. Res64: F6C6D595157C924F Time : 0.0 sec. user=mdettweiler [2015-05-22 00:10:52] 979*2^1399239-1 is not prime. Res64: 666E2843F2DF1FA5 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:10:52] 615*2^1399240-1 is not prime. Res64: 481C1AF51BA7E4BE Time : 0.0 sec. user=mdettweiler [2015-05-22 00:11:22] 629*2^1399240-1 is not prime. Res64: 01F67E5E3EED7A91 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:11:23] 635*2^1399240-1 is not prime. Res64: 3B271C3734F13C96 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:17:11] 645*2^1399240-1 is not prime. Res64: 184C976ECD57A92B Time : 0.0 sec. user=mdettweiler [2015-05-22 00:17:12] 713*2^1399240-1 is not prime. Res64: 42B59AFA48B29A62 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:27:26] 717*2^1399240-1 is not prime. Res64: E6E90E554BDA951A Time : 0.0 sec. user=mdettweiler [2015-05-22 00:27:26] 777*2^1399240-1 is not prime. Res64: EF855E5766153A98 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:28:23] 855*2^1399240-1 is not prime. Res64: 99DFD73E68A859BA Time : 0.0 sec. user=mdettweiler [2015-05-22 00:28:23] 887*2^1399240-1 is not prime. Res64: A17D6292B76D314C Time : 0.0 sec. user=mdettweiler [2015-05-22 00:29:00] 615*2^1399241-1 is not prime. Res64: A7D78C3A3F294069 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:29:01] 949*2^1399241-1 is not prime. Res64: 0371B64398E6D73F Time : 0.0 sec. user=mdettweiler [2015-05-22 00:34:49] 681*2^1399242-1 is not prime. Res64: 827FB6B590BF3A5E Time : 0.0 sec. user=mdettweiler [2015-05-22 00:34:49] 711*2^1399242-1 is not prime. Res64: 33EDD8AEE52240D3 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:44:54] 723*2^1399242-1 is not prime. Res64: C4CF3A5A75FC7DEB Time : 0.0 sec. user=mdettweiler [2015-05-22 00:44:54] 765*2^1399242-1 is not prime. Res64: 94EF06443CCEE673 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:46:04] 797*2^1399242-1 is not prime. Res64: 49B3216E86527538 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:46:04] 633*2^1399243-1 is not prime. Res64: C7F9829FED88054E Time : 0.0 sec. user=mdettweiler [2015-05-22 00:46:37] 639*2^1399243-1 is not prime. Res64: 40DA7F5845F6EF1A Time : 0.0 sec. user=mdettweiler [2015-05-22 00:46:38] 663*2^1399243-1 is not prime. Res64: 3CD9C0C0B3E1F8F2 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:52:18] 681*2^1399243-1 is not prime. Res64: 479D6A963DF3BE40 Time : 0.0 sec. user=mdettweiler [2015-05-22 00:52:19] 741*2^1399243-1 is not prime. Res64: 7618D57FCD825039 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:02:31] 775*2^1399243-1 is not prime. Res64: B7F5B2DE3D7629BF Time : 0.0 sec. user=mdettweiler [2015-05-22 01:02:32] 783*2^1399243-1 is not prime. Res64: 25DD8661BCF184A5 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:03:48] 861*2^1399243-1 is not prime. Res64: 42978B85F7E7CF67 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:03:50] 871*2^1399243-1 is not prime. Res64: 6C7BFB6AD0F27C28 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:04:14] 985*2^1399243-1 is not prime. Res64: 7215A9AA4872AD6F Time : 0.0 sec. user=mdettweiler [2015-05-22 01:04:15] 999*2^1399243-1 is not prime. Res64: 6E5774049D46EB76 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:10:05] 609*2^1399244-1 is not prime. Res64: 596D339CACE43C57 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:10:05] 657*2^1399244-1 is not prime. Res64: 24E017A6D5B62A80 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:20:46] 659*2^1399244-1 is not prime. Res64: 3AE89014F20806D3 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:20:47] 663*2^1399244-1 is not prime. Res64: 5A43F97767123E3C Time : 0.0 sec. user=mdettweiler [2015-05-22 01:22:08] 803*2^1399244-1 is not prime. Res64: B59520723DB58092 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:22:08] 825*2^1399244-1 is not prime. Res64: E2A7802DB2D28B3E Time : 0.0 sec. user=mdettweiler [2015-05-22 01:22:12] 855*2^1399244-1 is not prime. Res64: 8EE9F6FAF9A80E6A Time : 0.0 sec. user=mdettweiler [2015-05-22 01:22:13] 601*2^1399245-1 is not prime. Res64: 483B599FC9AA7AA2 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:27:40] 831*2^1399245-1 is not prime. Res64: 8F5ABFB00CB8956C Time : 0.0 sec. user=mdettweiler [2015-05-22 01:27:42] 895*2^1399245-1 is not prime. Res64: BE11BD43B059131F Time : 0.0 sec. user=mdettweiler [2015-05-22 01:38:27] 919*2^1399245-1 is not prime. Res64: BA81D7241D23CF3F Time : 0.0 sec. user=mdettweiler [2015-05-22 01:38:28] 927*2^1399245-1 is not prime. Res64: 003650512919C3BE Time : 0.0 sec. user=mdettweiler [2015-05-22 01:39:46] 997*2^1399245-1 is not prime. Res64: A09D45C5ADBB163F Time : 0.0 sec. user=mdettweiler [2015-05-22 01:39:46] 611*2^1399246-1 is not prime. Res64: 6CD4C8341A34EBE2 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:39:50] 657*2^1399246-1 is not prime. Res64: B545D5F7ADF2F7FE Time : 0.0 sec. user=mdettweiler [2015-05-22 01:39:50] 713*2^1399246-1 is not prime. Res64: CB9B6456BB7E5D07 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:45:25] 717*2^1399246-1 is not prime. Res64: 97D1D4015D2F8320 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:45:26] 741*2^1399246-1 is not prime. Res64: 5D31FEC9EB5E59F8 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:56:11] 843*2^1399246-1 is not prime. Res64: F4AE2A0AE0042177 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:56:11] 887*2^1399246-1 is not prime. Res64: E8D6CECF4C80D416 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:57:27] 971*2^1399246-1 is not prime. Res64: EC3F61D8698AC561 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:57:27] 987*2^1399246-1 is not prime. Res64: 76663ECD6A4A8A68 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:57:29] 993*2^1399246-1 is not prime. Res64: B5EFA562F0CA5146 Time : 0.0 sec. user=mdettweiler [2015-05-22 01:57:29] 633*2^1399247-1 is not prime. Res64: FF37E37110FA5B0D Time : 0.0 sec. user=mdettweiler [2015-05-22 02:03:06] 655*2^1399247-1 is not prime. Res64: 86A5DE3EC820954A Time : 0.0 sec. user=mdettweiler [2015-05-22 02:03:06] 669*2^1399247-1 is not prime. Res64: 05DF6B53C1DBE2B7 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:13:48] 763*2^1399247-1 is not prime. Res64: A144156E272501E1 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:13:49] 841*2^1399247-1 is not prime. Res64: 08F8A29DC53853C8 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:15:00] 669*2^1399248-1 is not prime. Res64: D82CACBABCF3A25A Time : 0.0 sec. user=mdettweiler [2015-05-22 02:15:01] 689*2^1399248-1 is not prime. Res64: 325B1A88C0F012E3 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:15:07] 885*2^1399247-1 is not prime. Res64: 7A164BC477327A6E Time : 0.0 sec. user=mdettweiler [2015-05-22 02:15:07] 991*2^1399247-1 is not prime. Res64: 7912380A5D9A0A58 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:20:47] 699*2^1399248-1 is not prime. Res64: 5B7707DD9E27D05F Time : 0.0 sec. user=mdettweiler [2015-05-22 02:20:48] 707*2^1399248-1 is not prime. Res64: AAC33F0FEB2C0A17 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:31:36] 923*2^1399248-1 is not prime. Res64: 447DB81148112EC2 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:31:37] 945*2^1399248-1 is not prime. Res64: EF7D8CABDB74F989 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:32:46] 645*2^1399250-1 is not prime. Res64: 48BAD1848049B6B6 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:32:46] 687*2^1399250-1 is not prime. Res64: 367374A39735358B Time : 0.0 sec. user=mdettweiler [2015-05-22 02:32:47] 959*2^1399248-1 is not prime. Res64: 814FED31814D26E5 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:32:47] 925*2^1399249-1 is not prime. Res64: 9ED42FD69D241AAE Time : 0.0 sec. user=mdettweiler [2015-05-22 02:38:38] 767*2^1399250-1 is not prime. Res64: 2998FD13AED0A72B Time : 0.0 sec. user=mdettweiler [2015-05-22 02:38:38] 867*2^1399250-1 is not prime. Res64: B930E85112AB3DE1 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:49:37] 823*2^1399251-1 is not prime. Res64: 408958501934E586 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:49:37] 895*2^1399251-1 is not prime. Res64: CF44111A3C1F690E Time : 0.0 sec. user=mdettweiler [2015-05-22 02:50:35] 705*2^1399252-1 is not prime. Res64: 81B6528CC7B9B770 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:50:35] 803*2^1399252-1 is not prime. Res64: 98D4263E922AF247 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:50:40] 973*2^1399251-1 is not prime. Res64: 78C6C77A87C27B19 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:50:40] 653*2^1399252-1 is not prime. Res64: CE1AAD0CB29BCA3A Time : 0.0 sec. user=mdettweiler [2015-05-22 02:56:11] 825*2^1399252-1 is not prime. Res64: B565FCAD97F876C8 Time : 0.0 sec. user=mdettweiler [2015-05-22 02:56:12] 631*2^1399253-1 is not prime. Res64: 08A5FDECF44086E4 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:07:12] 685*2^1399253-1 is not prime. Res64: A5C0BE9580F321F2 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:07:12] 949*2^1399253-1 is not prime. Res64: 810759018FDE4A03 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:08:19] 693*2^1399254-1 is not prime. Res64: 6C8F246A808FA149 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:08:20] 725*2^1399254-1 is not prime. Res64: 3A225E6BBC124521 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:08:23] 737*2^1399254-1 is not prime. Res64: 13F6A5F522DEA0F5 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:08:23] 755*2^1399254-1 is not prime. Res64: F52FA5AA944F4B16 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:13:51] 851*2^1399254-1 is not prime. Res64: ED39D7CA62C5AB17 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:13:52] 861*2^1399254-1 is not prime. Res64: B8F7069760231578 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:24:53] 891*2^1399254-1 is not prime. Res64: AB26C84C766D24A7 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:24:54] 917*2^1399254-1 is not prime. Res64: CAE4F84D99E9F501 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:26:01] 965*2^1399254-1 is not prime. Res64: 1C2D256CBDF93E67 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:26:02] 685*2^1399255-1 is not prime. Res64: 15E0D99C7F5D8168 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:26:07] 927*2^1399254-1 is not prime. Res64: 19FA5FC1284CF7D1 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:26:07] 951*2^1399254-1 is not prime. Res64: 8A43226E30EEBB55 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:31:29] 709*2^1399255-1 is not prime. Res64: 936F9C5AEF20592D Time : 0.0 sec. user=mdettweiler [2015-05-22 03:31:30] 853*2^1399255-1 is not prime. Res64: DD798746CA4D9CD1 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:42:29] 883*2^1399255-1 is not prime. Res64: ED5787630794232C Time : 0.0 sec. user=mdettweiler [2015-05-22 03:42:30] 913*2^1399255-1 is not prime. Res64: A9A8BD1573E8A537 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:43:38] 973*2^1399255-1 is not prime. Res64: 71BB58D423C1F831 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:43:39] 629*2^1399256-1 is not prime. Res64: 4A4926E35FDB611A Time : 0.0 sec. user=mdettweiler [2015-05-22 03:43:42] 675*2^1399256-1 is not prime. Res64: 3FE31BF2375CB69B Time : 0.0 sec. user=mdettweiler [2015-05-22 03:43:43] 767*2^1399256-1 is not prime. Res64: 1F2087846B5B803F Time : 0.0 sec. user=mdettweiler [2015-05-22 03:49:10] 839*2^1399256-1 is not prime. Res64: 820F8320BC347936 Time : 0.0 sec. user=mdettweiler [2015-05-22 03:49:10] 869*2^1399256-1 is not prime. Res64: 4B6E0FFE82CA665E Time : 0.0 sec. user=mdettweiler [2015-05-22 04:00:29] 917*2^1399256-1 is not prime. Res64: 2197B1AD65D83450 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:00:30] 923*2^1399256-1 is not prime. Res64: 66DBDB6DF7709AE4 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:01:22] 983*2^1399256-1 is not prime. Res64: D45D2FD3DE6934D5 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:01:23] 609*2^1399257-1 is not prime. Res64: FB73060AFA1A185D Time : 0.0 sec. user=mdettweiler [2015-05-22 04:01:29] 615*2^1399257-1 is not prime. Res64: 269DF7A7407A586B Time : 0.0 sec. user=mdettweiler [2015-05-22 04:01:30] 751*2^1399257-1 is not prime. Res64: 24F1C72DC59009D4 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:06:51] 795*2^1399257-1 is not prime. Res64: E6FA4B7485674FD2 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:06:51] 817*2^1399257-1 is not prime. Res64: 93D2F87D398EF655 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:18:13] 871*2^1399257-1 is not prime. Res64: 9D2B2F558E9D8C51 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:18:14] 889*2^1399257-1 is not prime. Res64: 4201DC9A558D63B5 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:19:06] 915*2^1399257-1 is not prime. Res64: 7846E884BCA6C171 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:19:07] 605*2^1399258-1 is not prime. Res64: 056544A9173938A3 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:19:12] 635*2^1399258-1 is not prime. Res64: B4D96787FE649072 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:19:13] 777*2^1399258-1 is not prime. Res64: 96F03E3629EAF10E Time : 0.0 sec. user=mdettweiler [2015-05-22 04:24:29] 843*2^1399258-1 is not prime. Res64: B7D1550F0206ABDE Time : 0.0 sec. user=mdettweiler [2015-05-22 04:24:29] 857*2^1399258-1 is not prime. Res64: AC920D86047C7280 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:36:02] 987*2^1399258-1 is not prime. Res64: 21FD9E19E11BD905 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:36:02] 633*2^1399259-1 is not prime. Res64: 92E6A8682FB698D6 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:36:53] 675*2^1399259-1 is not prime. Res64: E1F7E3AFCE471487 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:36:53] 693*2^1399259-1 is not prime. Res64: 9542F548BC7225BB Time : 0.0 sec. user=mdettweiler [2015-05-22 04:36:54] 643*2^1399259-1 is not prime. Res64: C4ABE8FA10A972B1 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:36:55] 645*2^1399259-1 is not prime. Res64: 5C2E57CF023A2FFB Time : 0.0 sec. user=mdettweiler [2015-05-22 04:42:07] 759*2^1399259-1 is not prime. Res64: 1CF5B78D3832A245 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:42:08] 789*2^1399259-1 is not prime. Res64: 71FD10EAEFA5A226 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:54:53] 819*2^1399259-1 is not prime. Res64: F3512C3598D47562 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:54:53] 879*2^1399259-1 is not prime. Res64: F544679B92D72368 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:55:00] 909*2^1399259-1 is not prime. Res64: 72FBF85C6EF77EBD Time : 0.0 sec. user=mdettweiler [2015-05-22 04:55:00] 939*2^1399259-1 is not prime. Res64: A3DAD2C2979AC8C8 Time : 0.0 sec. user=mdettweiler [2015-05-22 04:55:25] 943*2^1399259-1 is not prime. Res64: 0E83243110A68CAC Time : 0.0 sec. user=mdettweiler [2015-05-22 04:55:25] 633*2^1399260-1 is not prime. Res64: 12B6F23A97382935 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:01:06] 675*2^1399260-1 is not prime. Res64: 215C1A28B1F8E9D9 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:01:07] 707*2^1399260-1 is not prime. Res64: 57C6144AA28B828F Time : 0.0 sec. user=mdettweiler [2015-05-22 05:12:35] 717*2^1399260-1 is not prime. Res64: E12D1DF46ECD7CAE Time : 0.0 sec. user=mdettweiler [2015-05-22 05:12:35] 803*2^1399260-1 is not prime. Res64: 3AE742274BF19591 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:12:36] 639*2^1399261-1 is not prime. Res64: 94FC52CD0E06CB7A Time : 0.0 sec. user=mdettweiler [2015-05-22 05:12:36] 675*2^1399261-1 is not prime. Res64: 5A7951C9C2712F3B Time : 0.0 sec. user=mdettweiler [2015-05-22 05:13:01] 727*2^1399261-1 is not prime. Res64: F0254A4BA1732F8D Time : 0.0 sec. user=mdettweiler [2015-05-22 05:13:02] 955*2^1399261-1 is not prime. Res64: F8AD5C5F43015ADC Time : 0.0 sec. user=mdettweiler [2015-05-22 05:18:50] 999*2^1399261-1 is not prime. Res64: 44DB54E4E067BB2E Time : 0.0 sec. user=mdettweiler [2015-05-22 05:18:50] 623*2^1399262-1 is not prime. Res64: 00E4A2BEB56D7C10 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:30:11] 627*2^1399262-1 is not prime. Res64: D3195A504D8664AE Time : 0.0 sec. user=mdettweiler [2015-05-22 05:30:11] 767*2^1399262-1 is not prime. Res64: 76062D5432E13613 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:30:18] 785*2^1399262-1 is not prime. Res64: 4E8B1C1C0C87D03F Time : 0.0 sec. user=mdettweiler [2015-05-22 05:30:18] 797*2^1399262-1 is not prime. Res64: 6AFB3D5CCC8D130C Time : 0.0 sec. user=mdettweiler [2015-05-22 05:30:38] 885*2^1399262-1 is not prime. Res64: BF3A06CDBF55F312 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:30:39] 739*2^1399263-1 is not prime. Res64: 831094BA7E13BF5C Time : 0.0 sec. user=mdettweiler [2015-05-22 05:36:29] 765*2^1399263-1 is not prime. Res64: 2EA8B12B38A927C0 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:36:30] 823*2^1399263-1 is not prime. Res64: 87433AE965B849E3 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:47:49] 755*2^1399264-1 is not prime. Res64: B6F4986E2A84D8A4 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:47:50] 975*2^1399264-1 is not prime. Res64: E113D4169ECEB305 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:48:00] 657*2^1399265-1 is not prime. Res64: ED3EFCB4EC268A01 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:48:00] 717*2^1399265-1 is not prime. Res64: E5B193FFE8E9DBFB Time : 0.0 sec. user=mdettweiler [2015-05-22 05:48:21] 735*2^1399265-1 is not prime. Res64: 63B98BDFC191FA16 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:48:21] 837*2^1399265-1 is not prime. Res64: 35901D6A76374B6F Time : 0.0 sec. user=mdettweiler [2015-05-22 05:54:22] 867*2^1399265-1 is not prime. Res64: 9ECB1E02A13CD8D3 Time : 0.0 sec. user=mdettweiler [2015-05-22 05:54:23] 889*2^1399265-1 is not prime. Res64: AF4B5FC2D40EA724 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:05:30] 897*2^1399265-1 is not prime. Res64: 92067D7958FD521A Time : 0.0 sec. user=mdettweiler [2015-05-22 06:05:32] 925*2^1399265-1 is not prime. Res64: BC9B970E1EF9A31B Time : 0.0 sec. user=mdettweiler [2015-05-22 06:05:38] 955*2^1399265-1 is not prime. Res64: 0225479F29155B54 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:05:39] 711*2^1399266-1 is not prime. Res64: 91A8CCB1C44F86B1 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:06:00] 861*2^1399266-1 is not prime. Res64: 91EF3F2FAB8CE2F4 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:06:03] 873*2^1399266-1 is not prime. Res64: B11F5CD0173D7DFA Time : 0.0 sec. user=mdettweiler [2015-05-22 06:12:11] 923*2^1399266-1 is not prime. Res64: 90D05604E8248147 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:12:11] 651*2^1399267-1 is not prime. Res64: A1FD1B09E3EBF9D8 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:23:22] 715*2^1399267-1 is not prime. Res64: A6792FD81F6E0091 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:23:23] 615*2^1399268-1 is not prime. Res64: 5A0A45BAFB4F1BCB Time : 0.0 sec. user=mdettweiler [2015-05-22 06:23:40] 659*2^1399268-1 is not prime. Res64: F932FBCE360ED399 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:23:41] 869*2^1399268-1 is not prime. Res64: 23DD7C96888D13C2 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:23:54] 875*2^1399268-1 is not prime. Res64: D8B340DAAAF2AF0A Time : 0.0 sec. user=mdettweiler [2015-05-22 06:23:54] 609*2^1399269-1 is not prime. Res64: BF8C066DE901BA73 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:30:02] 685*2^1399269-1 is not prime. Res64: 51123CBC38BC4942 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:30:04] 795*2^1399269-1 is not prime. Res64: 9A9A9EB1CCBDD3C4 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:41:11] 835*2^1399269-1 is not prime. Res64: 33D90BC759CF078A Time : 0.0 sec. user=mdettweiler [2015-05-22 06:41:11] 921*2^1399269-1 is not prime. Res64: 7C6BD47B780295A5 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:41:39] 999*2^1399269-1 is not prime. Res64: B08ECA8356D7ADBB Time : 0.0 sec. user=mdettweiler [2015-05-22 06:41:39] 681*2^1399270-1 is not prime. Res64: 82213B8094ECC5F2 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:41:45] 761*2^1399270-1 is not prime. Res64: 73C7DB7F7C24F96B Time : 0.0 sec. user=mdettweiler [2015-05-22 06:41:45] 891*2^1399270-1 is not prime. Res64: 2CA3F384042FF208 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:47:54] 957*2^1399270-1 is not prime. Res64: 44168930787BEFFC Time : 0.0 sec. user=mdettweiler [2015-05-22 06:47:54] 1001*2^1399270-1 is not prime. Res64: 02F4191ED4F08ED5 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:58:53] 651*2^1399271-1 is not prime. Res64: 75D460A674C7B22F Time : 0.0 sec. user=mdettweiler [2015-05-22 06:58:54] 693*2^1399271-1 is not prime. Res64: E25360069EE95C1B Time : 0.0 sec. user=mdettweiler [2015-05-22 06:59:22] 715*2^1399271-1 is not prime. Res64: F5E4F1B0A403FF21 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:59:23] 669*2^1399272-1 is not prime. Res64: EB525A0C6540B667 Time : 0.0 sec. user=mdettweiler [2015-05-22 06:59:29] 843*2^1399272-1 is not prime. Res64: A58D2939A61AFE7F Time : 0.0 sec. user=mdettweiler [2015-05-22 06:59:29] 917*2^1399272-1 is not prime. Res64: 55A02719C831074B Time : 0.0 sec. user=mdettweiler [2015-05-22 07:05:36] 705*2^1399273-1 is not prime. Res64: ABAEEC36BE418AB4 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:05:37] 765*2^1399273-1 is not prime. Res64: 53CA597B28E127FB Time : 0.0 sec. user=mdettweiler [2015-05-22 07:16:40] 771*2^1399273-1 is not prime. Res64: 60D9266637DD88FD Time : 0.0 sec. user=mdettweiler [2015-05-22 07:16:40] 861*2^1399273-1 is not prime. Res64: FD2F59EF106B6D75 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:16:59] 877*2^1399273-1 is not prime. Res64: 716033655648E379 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:16:59] 981*2^1399273-1 is not prime. Res64: 3331C773F02F1568 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:17:17] 987*2^1399273-1 is not prime. Res64: 5AD488833B807949 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:17:17] 657*2^1399274-1 is not prime. Res64: 775EC3501C702237 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:23:30] 707*2^1399274-1 is not prime. Res64: 7C1C8B1FE5A9C8CA Time : 0.0 sec. user=mdettweiler [2015-05-22 07:23:31] 743*2^1399274-1 is not prime. Res64: 3554109F4DD90707 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:34:33] 837*2^1399274-1 is not prime. Res64: 1101260030F2852B Time : 0.0 sec. user=mdettweiler [2015-05-22 07:34:34] 935*2^1399274-1 is not prime. Res64: AE510ABFE3656C49 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:34:39] 669*2^1399275-1 is not prime. Res64: 724F5E291C555892 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:34:39] 699*2^1399275-1 is not prime. Res64: 896A78218AD5A1F6 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:35:12] 739*2^1399275-1 is not prime. Res64: E4CB6A40AAF157E1 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:35:12] 819*2^1399275-1 is not prime. Res64: E89AA1F3B7F5D9A6 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:41:17] 871*2^1399275-1 is not prime. Res64: 36FF867A7EC1EDB0 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:41:18] 895*2^1399275-1 is not prime. Res64: 60E4ADF12CB77DD8 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:52:16] 955*2^1399275-1 is not prime. Res64: 8EF49ADAFDFEA539 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:52:16] 675*2^1399276-1 is not prime. Res64: C621A03C66C46FFD Time : 0.0 sec. user=mdettweiler [2015-05-22 07:52:19] 735*2^1399276-1 is not prime. Res64: CB4745DF940C3269 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:52:19] 933*2^1399276-1 is not prime. Res64: 887635191A2D184D Time : 0.0 sec. user=mdettweiler [2015-05-22 07:52:49] 953*2^1399276-1 is not prime. Res64: 3CE28297CA3E982B Time : 0.0 sec. user=mdettweiler [2015-05-22 07:52:49] 969*2^1399276-1 is not prime. Res64: 45EADDE14ABDC69B Time : 0.0 sec. user=mdettweiler [2015-05-22 07:58:54] 989*2^1399276-1 is not prime. Res64: F8EFCC787B180BF1 Time : 0.0 sec. user=mdettweiler [2015-05-22 07:58:54] 675*2^1399277-1 is not prime. Res64: D36C24453F5D19F5 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:09:55] 759*2^1399277-1 is not prime. Res64: BEB61290D6C7797F Time : 0.0 sec. user=mdettweiler [2015-05-22 08:09:56] 781*2^1399277-1 is not prime. Res64: A63037CB22417016 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:10:03] 795*2^1399277-1 is not prime. Res64: C5AACC561A30FEF6 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:10:04] 859*2^1399277-1 is not prime. Res64: 7057E2739C28154B Time : 0.0 sec. user=mdettweiler [2015-05-22 08:10:25] 879*2^1399277-1 is not prime. Res64: C6FA156AA4A118D8 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:10:26] 955*2^1399277-1 is not prime. Res64: 5CF69EE9CB01140E Time : 0.0 sec. user=mdettweiler [2015-05-22 08:16:33] 981*2^1399277-1 is not prime. Res64: E93B8BE608CFB225 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:16:33] 621*2^1399278-1 is not prime. Res64: 8851D24FB2D24553 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:27:41] 777*2^1399278-1 is not prime. Res64: BE32A9CAC3162DF9 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:27:42] 801*2^1399278-1 is not prime. Res64: 9D99D19C47248360 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:27:43] 619*2^1399279-1 is not prime. Res64: CAE0BF8DA75A663A Time : 0.0 sec. user=mdettweiler [2015-05-22 08:27:43] 633*2^1399279-1 is not prime. Res64: 738E0081E8CB724A Time : 0.0 sec. user=mdettweiler [2015-05-22 08:28:09] 639*2^1399279-1 is not prime. Res64: BB289D8057AB9126 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:28:10] 723*2^1399279-1 is not prime. Res64: 5B4AEC2FAC86D9B2 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:34:16] 729*2^1399279-1 is not prime. Res64: 6A7A207B51C90A58 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:34:16] 741*2^1399279-1 is not prime. Res64: 4805DB0730A8B366 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:45:24] 975*2^1399279-1 is not prime. Res64: 368BB270378D73AA Time : 0.0 sec. user=mdettweiler [2015-05-22 08:45:24] 615*2^1399280-1 is not prime. Res64: FB5C602F21E87EB0 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:45:30] 775*2^1399279-1 is not prime. Res64: FE5392114227C607 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:45:30] 895*2^1399279-1 is not prime. Res64: 1FAF4F953A7EADFA Time : 0.0 sec. user=mdettweiler [2015-05-22 08:45:57] 663*2^1399280-1 is not prime. Res64: 1702DD2EE6AEE2B9 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:45:57] 665*2^1399280-1 is not prime. Res64: 5FE67E59E9A5A036 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:52:05] 717*2^1399280-1 is not prime. Res64: 9B7A1C47623017B1 Time : 0.0 sec. user=mdettweiler [2015-05-22 08:52:06] 743*2^1399280-1 is not prime. Res64: 3D8B8E62E29871B6 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:03:11] 753*2^1399280-1 is not prime. Res64: F75010508CF8E9C6 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:03:12] 759*2^1399280-1 is not prime. Res64: FF744F1E76EF6BDE Time : 0.0 sec. user=mdettweiler [2015-05-22 09:03:33] 827*2^1399280-1 is not prime. Res64: 821048AB30516FD8 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:03:34] 945*2^1399280-1 is not prime. Res64: 8E3F4864BB7F07AA Time : 0.0 sec. user=mdettweiler [2015-05-22 09:04:29] 995*2^1399280-1 is not prime. Res64: E80ECCA3B9F2F565 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:04:30] 627*2^1399281-1 is not prime. Res64: 869A526476DE8031 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:09:47] 685*2^1399281-1 is not prime. Res64: 62FCE87DE269E1AC Time : 0.0 sec. user=mdettweiler [2015-05-22 09:09:48] 705*2^1399281-1 is not prime. Res64: D95446C2BA11586A Time : 0.0 sec. user=mdettweiler [2015-05-22 09:20:59] 727*2^1399281-1 is not prime. Res64: 8A8A2F1380D1C371 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:21:00] 777*2^1399281-1 is not prime. Res64: 3DA950054B2A0523 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:21:06] 847*2^1399281-1 is not prime. Res64: 95189199128718D4 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:21:06] 975*2^1399281-1 is not prime. Res64: 7AB29C7FBA0FE16E Time : 0.0 sec. user=mdettweiler [2015-05-22 09:22:08] 713*2^1399282-1 is not prime. Res64: 0E08F202AE298222 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:22:08] 737*2^1399282-1 is not prime. Res64: C72BA93854E0D0CF Time : 0.0 sec. user=mdettweiler [2015-05-22 09:27:29] 801*2^1399282-1 is not prime. Res64: FB005D5F7AC02CA1 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:27:29] 885*2^1399282-1 is not prime. Res64: 9EA3C9654AFE8046 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:38:39] 987*2^1399282-1 is not prime. Res64: 22B08286E5D9561E Time : 0.0 sec. user=mdettweiler [2015-05-22 09:38:39] 603*2^1399283-1 is not prime. Res64: F42BBAC6BD5E062E Time : 0.0 sec. user=mdettweiler [2015-05-22 09:38:44] 911*2^1399282-1 is not prime. Res64: 08481AB8ABCE3662 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:38:44] 917*2^1399282-1 is not prime. Res64: DFAF8D4DCD4319B1 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:39:51] 741*2^1399283-1 is not prime. Res64: E984BB741600C57D Time : 0.0 sec. user=mdettweiler [2015-05-22 09:39:51] 813*2^1399283-1 is not prime. Res64: A1702AB6D5D8AAD2 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:45:12] 871*2^1399283-1 is not prime. Res64: 602FE9A9AC157CC3 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:45:12] 657*2^1399284-1 is not prime. Res64: 359E01AA5E688FD5 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:56:23] 909*2^1399284-1 is not prime. Res64: 5F6D4A71D917D7E1 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:56:23] 965*2^1399284-1 is not prime. Res64: 5E5F4BFAA63703A2 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:56:27] 619*2^1399285-1 is not prime. Res64: 7B7C5D7DA9367B60 Time : 0.0 sec. user=mdettweiler [2015-05-22 09:56:28] 679*2^1399285-1 is not prime. Res64: A5FAB2F05BD43B4C Time : 0.0 sec. user=mdettweiler [2015-05-22 09:57:42] 729*2^1399285-1 is not prime. Res64: 5F37CCC0CA58B10B Time : 0.0 sec. user=mdettweiler [2015-05-22 09:57:42] 817*2^1399285-1 is not prime. Res64: 3B1CD23AA3B3355A Time : 0.0 sec. user=mdettweiler [2015-05-22 10:02:59] 683*2^1399286-1 is not prime. Res64: 6B3DACC7605CEC1B Time : 0.0 sec. user=mdettweiler [2015-05-22 10:03:01] 707*2^1399286-1 is not prime. Res64: A9266A6D0EDAF247 Time : 0.0 sec. user=juhehe [2015-05-22 10:09:40] 717*2^1399284-1 is not prime. Res64: 3A68FD78B1A983F8 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:14:14] 971*2^1399286-1 is not prime. Res64: 76698FD495200DB6 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:14:14] 1001*2^1399286-1 is not prime. Res64: B948E767C22EC3F4 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:14:15] 887*2^1399286-1 is not prime. Res64: 4CAB7BADFE0FABF2 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:14:16] 957*2^1399286-1 is not prime. Res64: 78C24B80DC808E6F Time : 0.0 sec. user=mdettweiler [2015-05-22 10:15:40] 703*2^1399287-1 is not prime. Res64: CCCB67BA0D2161F0 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:15:41] 871*2^1399287-1 is not prime. Res64: D0BC08CA80FD5C1A Time : 0.0 sec. user=mdettweiler [2015-05-22 10:20:48] 873*2^1399287-1 is not prime. Res64: C66E608A8F8E11CE Time : 0.0 sec. user=mdettweiler [2015-05-22 10:20:48] 931*2^1399287-1 is not prime. Res64: D792D8139F370825 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:31:58] 933*2^1399287-1 is not prime. Res64: 6333D217E5F590C9 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:31:58] 657*2^1399288-1 is not prime. Res64: 303369A80B46C367 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:32:18] 687*2^1399288-1 is not prime. Res64: 9D1F0439D2EE7082 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:32:18] 797*2^1399288-1 is not prime. Res64: 2CB837279616DBF9 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:33:32] 827*2^1399288-1 is not prime. Res64: F01CC6FE8CF8C102 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:33:32] 839*2^1399288-1 is not prime. Res64: 2CC30DFFF7066817 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:38:31] 845*2^1399288-1 is not prime. Res64: F09D0B7065A7BA63 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:38:31] 887*2^1399288-1 is not prime. Res64: 2D527D67A9744EF6 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:49:43] 999*2^1399288-1 is not prime. Res64: CDEB231EC16CF1E5 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:49:44] 601*2^1399289-1 is not prime. Res64: E3584F5FCAFBAC8A Time : 0.0 sec. user=mdettweiler [2015-05-22 10:50:02] 615*2^1399289-1 is not prime. Res64: 4D96545B618C81C7 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:50:02] 691*2^1399289-1 is not prime. Res64: 0CD73831A9AAFCD2 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:51:13] 729*2^1399289-1 is not prime. Res64: F6CBDEAEEA36A1C0 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:51:14] 811*2^1399289-1 is not prime. Res64: 03A506B3BA005031 Time : 0.0 sec. user=mdettweiler [2015-05-22 10:56:16] 931*2^1399289-1 is not prime. Res64: B16DA07F05D98E3B Time : 0.0 sec. user=mdettweiler [2015-05-22 10:56:17] 967*2^1399289-1 is not prime. Res64: BC99A69FD15950CF Time : 0.0 sec. user=mdettweiler [2015-05-22 11:07:18] 615*2^1399290-1 is not prime. Res64: A6A266E7A339C505 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:07:18] 681*2^1399290-1 is not prime. Res64: 2FABCBCC7C49C0F1 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:07:48] 783*2^1399290-1 is not prime. Res64: 34B8F5EF0736016B Time : 0.0 sec. user=mdettweiler [2015-05-22 11:07:49] 873*2^1399290-1 is not prime. Res64: 05B60BD98F591127 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:09:00] 893*2^1399290-1 is not prime. Res64: 5A11DC71E0C4B15A Time : 0.0 sec. user=mdettweiler [2015-05-22 11:09:00] 679*2^1399291-1 is not prime. Res64: B15A8DC2D6ED6284 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:14:20] 723*2^1399291-1 is not prime. Res64: B54B73EA438128B9 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:14:21] 745*2^1399291-1 is not prime. Res64: 0B77A45C8DCA93F9 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:25:56] 841*2^1399291-1 is not prime. Res64: 220D55074C7E5F10 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:25:56] 909*2^1399291-1 is not prime. Res64: 08043079E9BC121C Time : 0.0 sec. user=mdettweiler [2015-05-22 11:26:21] 925*2^1399291-1 is not prime. Res64: 9AEF39D65AFE7752 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:26:21] 623*2^1399292-1 is not prime. Res64: 46FA2BFDAD171CD3 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:27:21] 833*2^1399292-1 is not prime. Res64: 1746CF40DBA7A3B4 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:27:21] 875*2^1399292-1 is not prime. Res64: 2011778EF8333EAB Time : 0.0 sec. user=mdettweiler [2015-05-22 11:33:06] 879*2^1399292-1 is not prime. Res64: 58372869BD7D22C5 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:33:06] 893*2^1399292-1 is not prime. Res64: 0755C202DFEA269F Time : 0.0 sec. user=mdettweiler [2015-05-22 11:44:57] 983*2^1399292-1 is not prime. Res64: FF6CBCD435E0D801 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:44:58] 609*2^1399293-1 is not prime. Res64: 72B2E4565F303170 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:45:07] 657*2^1399293-1 is not prime. Res64: F0EDB958BD27105C Time : 0.0 sec. user=mdettweiler [2015-05-22 11:45:07] 745*2^1399293-1 is not prime. Res64: E7FF51D87D80E868 Time : 0.0 sec. user=mdettweiler [2015-05-22 11:46:26] 765*2^1399293-1 is not prime. Res64: 7409E3787E65E75A Time : 0.0 sec. user=mdettweiler [2015-05-22 11:46:26] 867*2^1399293-1 is not prime. Res64: 320A561D01D0222A Time : 0.0 sec. user=mdettweiler [2015-05-22 11:52:09] 671*2^1399294-1 is not prime. Res64: F60625E561A84DCD Time : 0.0 sec. user=mdettweiler [2015-05-22 11:52:09] 695*2^1399294-1 is not prime. Res64: 3C2DE96996B3B7D5 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:03:03] 821*2^1399294-1 is not prime. Res64: CF6FF12583F7DE5E Time : 0.0 sec. user=mdettweiler [2015-05-22 12:03:04] 897*2^1399294-1 is not prime. Res64: 8B0DF0486539CAB6 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:03:19] 917*2^1399294-1 is not prime. Res64: 564A70E14657C893 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:03:19] 601*2^1399295-1 is not prime. Res64: 5DCE0994A74B87B9 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:04:46] 619*2^1399295-1 is not prime. Res64: B6AFDB53A6B0E6F7 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:04:47] 651*2^1399295-1 is not prime. Res64: 82255758C6F0FCDB Time : 0.0 sec. user=mdettweiler [2015-05-22 12:10:29] 663*2^1399295-1 is not prime. Res64: BD82E18C5081893D Time : 0.0 sec. user=mdettweiler [2015-05-22 12:10:29] 705*2^1399295-1 is not prime. Res64: 97AEF0C091C77B76 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:21:47] 783*2^1399295-1 is not prime. Res64: A2C639FECA87A749 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:21:47] 883*2^1399295-1 is not prime. Res64: 5EB6EA62A55C5327 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:21:51] 895*2^1399295-1 is not prime. Res64: 9314D4137BB1BF74 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:21:52] 939*2^1399295-1 is not prime. Res64: 22B0B9D0E8154856 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:23:23] 963*2^1399295-1 is not prime. Res64: E84C6B393E304DD3 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:23:23] 981*2^1399295-1 is not prime. Res64: 95AA3C71592EDB0C Time : 0.0 sec. user=mdettweiler [2015-05-22 12:29:08] 985*2^1399295-1 is not prime. Res64: 6722B21EC2DE3ED1 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:29:08] 627*2^1399296-1 is not prime. Res64: 102E0075D17F84A9 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:40:15] 635*2^1399296-1 is not prime. Res64: 9D0E3286FCB82F19 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:40:15] 735*2^1399296-1 is not prime. Res64: EED8C58B3262A7F5 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:40:20] 759*2^1399296-1 is not prime. Res64: B4BE5FD4A9C98B6E Time : 0.0 sec. user=mdettweiler [2015-05-22 12:40:21] 803*2^1399296-1 is not prime. Res64: 874C9FBB3E33C7F4 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:41:53] 849*2^1399296-1 is not prime. Res64: 30D722E38D723A1D Time : 0.0 sec. user=mdettweiler [2015-05-22 12:41:53] 893*2^1399296-1 is not prime. Res64: 8295AC4BEEDC6048 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:47:20] 999*2^1399296-1 is not prime. Res64: 4C28875A3F4BCD69 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:47:20] 615*2^1399297-1 is not prime. Res64: 86F261D10969AD09 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:57:59] 759*2^1399297-1 is not prime. Res64: CB3AABAF547A2DE8 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:57:59] 645*2^1399297-1 is not prime. Res64: FD8CEF936938A94A Time : 0.0 sec. user=mdettweiler [2015-05-22 12:57:59] 801*2^1399297-1 is not prime. Res64: D1C0F0C00708EFC9 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:57:59] 667*2^1399297-1 is not prime. Res64: 3922D23C75446988 Time : 0.0 sec. user=mdettweiler [2015-05-22 12:59:36] 871*2^1399297-1 is not prime. Res64: 8B6407A3DD42AC1C Time : 0.0 sec. user=mdettweiler [2015-05-22 12:59:37] 603*2^1399298-1 is not prime. Res64: 45C4EBCF5D49E412 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:05:06] 617*2^1399298-1 is not prime. Res64: E8AD80019F8A5424 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:05:08] 767*2^1399298-1 is not prime. Res64: 1BD519B65440F2C3 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:15:37] 867*2^1399298-1 is not prime. Res64: F5F4D7377FA972CD Time : 0.0 sec. user=mdettweiler [2015-05-22 13:15:37] 951*2^1399298-1 is not prime. Res64: 8FB883363550B403 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:15:39] 771*2^1399298-1 is not prime. Res64: F535931AF39B3DCC Time : 0.0 sec. user=mdettweiler [2015-05-22 13:15:39] 831*2^1399298-1 is not prime. Res64: D9EBC9208F7956F7 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:17:18] 1001*2^1399298-1 is not prime. Res64: C451D5C5887EF086 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:17:18] 633*2^1399299-1 is not prime. Res64: 54CC781C83F1368E Time : 0.0 sec. user=mdettweiler [2015-05-22 13:23:02] 789*2^1399299-1 is not prime. Res64: B06341C1CA0FC76F Time : 0.0 sec. user=mdettweiler [2015-05-22 13:23:02] 801*2^1399299-1 is not prime. Res64: DA3EFF5C07B985FA Time : 0.0 sec. user=mdettweiler [2015-05-22 13:33:08] 859*2^1399299-1 is not prime. Res64: B75F1640173F209E Time : 0.0 sec. user=mdettweiler [2015-05-22 13:33:08] 903*2^1399299-1 is not prime. Res64: CEACA8779F5E8E58 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:33:13] 909*2^1399299-1 is not prime. Res64: 0922A27B79D8AF82 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:33:13] 919*2^1399299-1 is not prime. Res64: D3F6276ACD7053A6 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:34:57] 961*2^1399299-1 is not prime. Res64: B0CA5A77123F6D53 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:34:58] 975*2^1399299-1 is not prime. Res64: 59963A47F878F7CB Time : 0.0 sec. user=mdettweiler [2015-05-22 13:40:42] 979*2^1399299-1 is not prime. Res64: D8BA3E7A1A309387 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:40:42] 609*2^1399300-1 is not prime. Res64: C81F794F295E8112 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:50:55] 635*2^1399300-1 is not prime. Res64: 39D4C21E7C6F9EC4 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:50:55] 777*2^1399300-1 is not prime. Res64: B8C4DF3E6B9190A7 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:50:57] 797*2^1399300-1 is not prime. Res64: D3680FECAFCC9E4C Time : 0.0 sec. user=mdettweiler [2015-05-22 13:50:57] 827*2^1399300-1 is not prime. Res64: 789AED0267D19CD8 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:52:31] 843*2^1399300-1 is not prime. Res64: D2618801562CEE83 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:52:31] 999*2^1399300-1 is not prime. Res64: 8DA8027BFD46D051 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:58:20] 607*2^1399301-1 is not prime. Res64: 7EFFAD7F677CFC50 Time : 0.0 sec. user=mdettweiler [2015-05-22 13:58:20] 829*2^1399301-1 is not prime. Res64: E810D62B26D3999D Time : 0.0 sec. user=mdettweiler [2015-05-22 14:08:37] 861*2^1399301-1 is not prime. Res64: 634C962315BE7240 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:08:37] 907*2^1399301-1 is not prime. Res64: E7128B65357EE628 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:08:39] 987*2^1399301-1 is not prime. Res64: EE5159F33659169A Time : 0.0 sec. user=mdettweiler [2015-05-22 14:08:39] 893*2^1399302-1 is not prime. Res64: 42928D1D43B1B846 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:10:12] 615*2^1399303-1 is not prime. Res64: 952BB2C6F4C0B0B8 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:10:12] 679*2^1399303-1 is not prime. Res64: 1011A05D8CCD16B7 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:15:56] 805*2^1399303-1 is not prime. Res64: 146B8282389DDEAA Time : 0.0 sec. user=mdettweiler [2015-05-22 14:15:57] 889*2^1399303-1 is not prime. Res64: 50255AE2B852F6A8 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:26:11] 901*2^1399303-1 is not prime. Res64: B3D1FE23E813ACAB Time : 0.0 sec. user=mdettweiler [2015-05-22 14:26:11] 609*2^1399304-1 is not prime. Res64: 2720411533EEE299 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:26:22] 635*2^1399304-1 is not prime. Res64: DF1FA43F8D1734BE Time : 0.0 sec. user=mdettweiler [2015-05-22 14:26:23] 743*2^1399304-1 is not prime. Res64: F419F5449CDD0C33 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:27:49] 825*2^1399304-1 is not prime. Res64: A0627CFC1A581120 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:27:50] 833*2^1399304-1 is not prime. Res64: D32746D971E55C7C Time : 0.0 sec. user=mdettweiler [2015-05-22 14:33:33] 627*2^1399305-1 is not prime. Res64: AF0FC27BBD891ABE Time : 0.0 sec. user=mdettweiler [2015-05-22 14:33:34] 685*2^1399305-1 is not prime. Res64: F3EF3B54C0092318 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:43:52] 741*2^1399305-1 is not prime. Res64: 37E34A3C23129585 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:43:53] 759*2^1399305-1 is not prime. Res64: E9FF8BE6B1905E1C Time : 0.0 sec. user=mdettweiler [2015-05-22 14:43:56] 817*2^1399305-1 is not prime. Res64: AC3C7F813E623B7F Time : 0.0 sec. user=mdettweiler [2015-05-22 14:43:56] 889*2^1399305-1 is not prime. Res64: 5B3D465303B2C8E3 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:45:24] 955*2^1399305-1 is not prime. Res64: 4C83811AFAAF0C52 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:45:25] 611*2^1399306-1 is not prime. Res64: 95B2ECBB37E94132 Time : 0.0 sec. user=mdettweiler [2015-05-22 14:51:11] 635*2^1399306-1 is not prime. Res64: 911A8C27632EA2DA Time : 0.0 sec. user=mdettweiler [2015-05-22 14:51:11] 833*2^1399306-1 is not prime. Res64: FDBEC963DFCADC2E Time : 0.0 sec. user=mdettweiler [2015-05-22 15:01:36] 735*2^1399307-1 is not prime. Res64: 6742200974DECCA4 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:01:37] 739*2^1399307-1 is not prime. Res64: F15E5A325A446E2C Time : 0.0 sec. user=mdettweiler [2015-05-22 15:01:42] 923*2^1399306-1 is not prime. Res64: EB8E785093938DAB Time : 0.0 sec. user=mdettweiler [2015-05-22 15:01:43] 993*2^1399306-1 is not prime. Res64: 14AE89C658B2019B Time : 0.0 sec. user=mdettweiler [2015-05-22 15:03:15] 799*2^1399307-1 is not prime. Res64: 20409C0C053D3B87 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:03:15] 861*2^1399307-1 is not prime. Res64: F4A971F1827F0E8E Time : 0.0 sec. user=mdettweiler [2015-05-22 15:09:01] 871*2^1399307-1 is not prime. Res64: 0E7DA9ACAC97E584 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:09:01] 909*2^1399307-1 is not prime. Res64: 4EC040F3F46E08FF Time : 0.0 sec. user=mdettweiler [2015-05-22 15:19:59] 647*2^1399308-1 is not prime. Res64: B8DA0A032DB4FB7E Time : 0.0 sec. user=mdettweiler [2015-05-22 15:19:59] 749*2^1399308-1 is not prime. Res64: AEE1A71429C89ECF Time : 0.0 sec. user=mdettweiler [2015-05-22 15:20:00] 939*2^1399307-1 is not prime. Res64: 56A0AAA69DE81A1B Time : 0.0 sec. user=mdettweiler [2015-05-22 15:20:01] 979*2^1399307-1 is not prime. Res64: AD5AC6D57A7BB71A Time : 0.0 sec. user=mdettweiler [2015-05-22 15:21:29] 909*2^1399308-1 is not prime. Res64: DD8B444069A17874 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:21:30] 801*2^1399309-1 is not prime. Res64: 5707EF0EAA812D7B Time : 0.0 sec. user=mdettweiler [2015-05-22 15:27:07] 951*2^1399309-1 is not prime. Res64: 584A5B2F1110154C Time : 0.0 sec. user=mdettweiler [2015-05-22 15:27:07] 957*2^1399309-1 is not prime. Res64: 42560C8477298057 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:37:35] 997*2^1399309-1 is not prime. Res64: 2981E6B37E52FD82 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:37:35] 785*2^1399310-1 is not prime. Res64: F8FC7F1C53DF8FC1 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:37:47] 797*2^1399310-1 is not prime. Res64: 69E0C4DE05DD25F4 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:37:48] 827*2^1399310-1 is not prime. Res64: 1B11F9272A78C1E0 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:39:14] 831*2^1399310-1 is not prime. Res64: EBA2FA7DA5649DF5 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:39:15] 911*2^1399310-1 is not prime. Res64: C916198A0E72A4AE Time : 0.0 sec. user=mdettweiler [2015-05-22 15:44:44] 935*2^1399310-1 is not prime. Res64: 0D2C60505965674F Time : 0.0 sec. user=mdettweiler [2015-05-22 15:44:45] 981*2^1399310-1 is not prime. Res64: 02F0F244867238CF Time : 0.0 sec. user=mdettweiler [2015-05-22 15:55:22] 609*2^1399311-1 is not prime. Res64: 836550D58945C6FC Time : 0.0 sec. user=mdettweiler [2015-05-22 15:55:23] 615*2^1399311-1 is not prime. Res64: E089D7C77A503D30 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:55:30] 619*2^1399311-1 is not prime. Res64: 6BB6D8092B464234 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:55:30] 711*2^1399311-1 is not prime. Res64: BEE33600F8C9128D Time : 0.0 sec. user=mdettweiler [2015-05-22 15:56:51] 735*2^1399311-1 is not prime. Res64: 69675E60D1445710 Time : 0.0 sec. user=mdettweiler [2015-05-22 15:56:52] 763*2^1399311-1 is not prime. Res64: F6FE7051DD5D2D6B Time : 0.0 sec. user=mdettweiler [2015-05-22 16:02:30] 885*2^1399311-1 is not prime. Res64: 612F4EC871A590A7 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:02:31] 913*2^1399311-1 is not prime. Res64: 76AEF78C3D4D9C68 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:12:59] 961*2^1399311-1 is not prime. Res64: 1E616FDBCFFD0A3B Time : 0.0 sec. user=mdettweiler [2015-05-22 16:12:59] 975*2^1399311-1 is not prime. Res64: F9B82479E98E2648 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:13:01] 933*2^1399311-1 is not prime. Res64: 027FF96BD59DCBF2 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:13:02] 951*2^1399311-1 is not prime. Res64: BD385BC9F2E006EE Time : 0.0 sec. user=mdettweiler [2015-05-22 16:14:30] 623*2^1399312-1 is not prime. Res64: AF0D145584805923 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:14:30] 827*2^1399312-1 is not prime. Res64: 0B94A595019561C8 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:20:11] 909*2^1399312-1 is not prime. Res64: 1CAC10E2477F1A0A Time : 0.0 sec. user=mdettweiler [2015-05-22 16:20:11] 989*2^1399312-1 is not prime. Res64: B737C56918E2C6AA Time : 0.0 sec. user=mdettweiler [2015-05-22 16:30:43] 801*2^1399313-1 is not prime. Res64: FFEDE6F370FAB734 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:30:43] 901*2^1399313-1 is not prime. Res64: E10529F6DBE713B5 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:30:44] 699*2^1399313-1 is not prime. Res64: 63B4D30FD06D4DE7 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:30:44] 741*2^1399313-1 is not prime. Res64: 82ABEE26ED40F2D1 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:32:08] 985*2^1399313-1 is not prime. Res64: E2A4810EBF2EBF2E Time : 0.0 sec. user=mdettweiler [2015-05-22 16:32:09] 681*2^1399314-1 is not prime. Res64: 0B124E270ABA68E8 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:37:45] 747*2^1399314-1 is not prime. Res64: 16CB8FE75D255A7D Time : 0.0 sec. user=mdettweiler [2015-05-22 16:37:46] 691*2^1399315-1 is not prime. Res64: 235A137F38039689 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:48:20] 705*2^1399315-1 is not prime. Res64: D2EAF43473CE9EF1 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:48:21] 771*2^1399315-1 is not prime. Res64: C40A19D741C4EF98 Time : 0.0 sec. user=mdettweiler [2015-05-22 16:48:35] 789*2^1399315-1 is not prime. Res64: 6C7946CBB81D38BD Time : 0.0 sec. user=mdettweiler [2015-05-22 16:48:36] 801*2^1399315-1 is not prime. Res64: 67E1E00F5A0DA0CB Time : 0.0 sec. user=mdettweiler [2015-05-22 16:49:53] 853*2^1399315-1 is not prime. Res64: 2CDE4C88235C8A8A Time : 0.0 sec. user=mdettweiler [2015-05-22 16:49:53] 885*2^1399315-1 is not prime. Res64: C0FF909A8CE8AABD Time : 0.0 sec. user=mdettweiler [2015-05-22 16:55:22] 909*2^1399315-1 is not prime. Res64: 2A5F275ACC95242C Time : 0.0 sec. user=mdettweiler [2015-05-22 16:55:23] 609*2^1399316-1 is not prime. Res64: 5AD3D2CB77910391 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:06:09] 677*2^1399316-1 is not prime. Res64: 8D4F81450CB415D2 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:06:10] 759*2^1399316-1 is not prime. Res64: 32FFB315BECD3AC2 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:06:11] 827*2^1399316-1 is not prime. Res64: 8F933DB8A332D3D4 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:06:13] 893*2^1399316-1 is not prime. Res64: 04DC19C7A30FBAA9 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:07:36] 963*2^1399316-1 is not prime. Res64: BFAC2AA0B1F0B587 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:07:37] 999*2^1399316-1 is not prime. Res64: A271B22F669530B0 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:13:08] 765*2^1399317-1 is not prime. Res64: F30C446F6814A4F4 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:13:08] 819*2^1399317-1 is not prime. Res64: B5BAC8B3E5FAA9C5 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:23:52] 861*2^1399317-1 is not prime. Res64: B33447A7043E280F Time : 0.0 sec. user=mdettweiler [2015-05-22 17:23:52] 617*2^1399318-1 is not prime. Res64: 11E00482A3A897BD Time : 0.0 sec. user=mdettweiler [2015-05-22 17:23:53] 885*2^1399317-1 is not prime. Res64: 6135FAD8EF34285E Time : 0.0 sec. user=mdettweiler [2015-05-22 17:23:53] 815*2^1399318-1 is not prime. Res64: D2D62058024D386C Time : 0.0 sec. user=mdettweiler [2015-05-22 17:25:14] 863*2^1399318-1 is not prime. Res64: E52C318FE410E397 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:25:15] 887*2^1399318-1 is not prime. Res64: 81BA750C8333B510 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:30:48] 923*2^1399318-1 is not prime. Res64: D69EA20FF1E02064 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:30:49] 933*2^1399318-1 is not prime. Res64: 1F326C6DA9634B7C Time : 0.0 sec. user=mdettweiler [2015-05-22 17:41:33] 643*2^1399319-1 is not prime. Res64: 0039686D1BD44776 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:41:33] 745*2^1399319-1 is not prime. Res64: 8D822B10060F8D7A Time : 0.0 sec. user=mdettweiler [2015-05-22 17:41:44] 859*2^1399319-1 is not prime. Res64: CF02D23B62A400AB Time : 0.0 sec. user=mdettweiler [2015-05-22 17:41:45] 909*2^1399319-1 is not prime. Res64: CBBF486EAC1FED5C Time : 0.0 sec. user=mdettweiler [2015-05-22 17:42:50] 665*2^1399320-1 is not prime. Res64: 9A2D757D68E516F9 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:42:51] 863*2^1399320-1 is not prime. Res64: 17F5765448F1C2C6 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:48:28] 905*2^1399320-1 is not prime. Res64: 8ED6D549EB7D98EC Time : 0.0 sec. user=mdettweiler [2015-05-22 17:48:29] 983*2^1399320-1 is not prime. Res64: 0B08DD48F8C6EDC0 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:59:14] 871*2^1399321-1 is not prime. Res64: 73899D6FBCD152A1 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:59:14] 889*2^1399321-1 is not prime. Res64: 9BD0FBD7E2656164 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:59:23] 675*2^1399322-1 is not prime. Res64: 7F98960CD27AB0E8 Time : 0.0 sec. user=mdettweiler [2015-05-22 17:59:23] 705*2^1399322-1 is not prime. Res64: 16B5D3606BD95C41 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:00:39] 711*2^1399322-1 is not prime. Res64: 2B781692A39EA7D2 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:00:40] 735*2^1399322-1 is not prime. Res64: 9A6B9079442C96F9 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:06:18] 747*2^1399322-1 is not prime. Res64: 8AC17DC0ADBBF8D9 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:06:19] 755*2^1399322-1 is not prime. Res64: FB3384736F7CC10F Time : 0.0 sec. user=mdettweiler [2015-05-22 18:17:05] 797*2^1399322-1 is not prime. Res64: 09EC35AC3C32EC5D Time : 0.0 sec. user=mdettweiler [2015-05-22 18:17:06] 813*2^1399322-1 is not prime. Res64: 95FC23FC4C4CEB6F Time : 0.0 sec. user=mdettweiler [2015-05-22 18:17:07] 815*2^1399322-1 is not prime. Res64: 33E13EE53902FA35 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:17:08] 885*2^1399322-1 is not prime. Res64: A402CD2FD684E34D Time : 0.0 sec. user=mdettweiler [2015-05-22 18:18:21] 703*2^1399323-1 is not prime. Res64: D0D68EC2825B3343 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:18:22] 723*2^1399323-1 is not prime. Res64: 341DDAA4DA666B6E Time : 0.0 sec. user=mdettweiler [2015-05-22 18:23:51] 739*2^1399323-1 is not prime. Res64: 0DF148A99B29225B Time : 0.0 sec. user=mdettweiler [2015-05-22 18:23:52] 741*2^1399323-1 is not prime. Res64: C365DC4B6DEA25BE Time : 0.0 sec. user=mdettweiler [2015-05-22 18:34:51] 801*2^1399323-1 is not prime. Res64: 02E45BF660AAA568 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:34:52] 825*2^1399323-1 is not prime. Res64: F0B205A7A3D58C3A Time : 0.0 sec. user=mdettweiler [2015-05-22 18:34:58] 963*2^1399323-1 is not prime. Res64: B70C5998B3BC2378 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:34:58] 617*2^1399324-1 is not prime. Res64: 3E5D4EFE9B27DAC1 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:36:01] 629*2^1399324-1 is not prime. Res64: E39C42641843E624 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:36:01] 635*2^1399324-1 is not prime. Res64: 4714521DFEED4A10 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:41:43] 677*2^1399324-1 is not prime. Res64: 919A3D8F2392D7F8 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:41:44] 719*2^1399324-1 is not prime. Res64: 534FF1F31132C1A2 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:52:35] 743*2^1399324-1 is not prime. Res64: 282E81F705D43A08 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:52:36] 813*2^1399324-1 is not prime. Res64: 2490CEEF80902B25 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:52:44] 843*2^1399324-1 is not prime. Res64: A22C032230FA2E35 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:52:44] 863*2^1399324-1 is not prime. Res64: F38F82C58E637A83 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:53:44] 927*2^1399324-1 is not prime. Res64: 8E3233634ABC39DC Time : 0.0 sec. user=mdettweiler [2015-05-22 18:53:45] 995*2^1399324-1 is not prime. Res64: 99A981C166615912 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:59:29] 679*2^1399325-1 is not prime. Res64: 3C3B008AF3AD4BD7 Time : 0.0 sec. user=mdettweiler [2015-05-22 18:59:30] 711*2^1399325-1 is not prime. Res64: C9B02CC3228BAD5C Time : 0.0 sec. user=mdettweiler [2015-05-22 19:10:42] 805*2^1399325-1 is not prime. Res64: FC6973492A4B6A25 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:10:42] 937*2^1399325-1 is not prime. Res64: 64E681CA0A795E5D Time : 0.0 sec. user=mdettweiler [2015-05-22 19:10:46] 955*2^1399325-1 is not prime. Res64: BE9DBEE25A0132A0 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:10:46] 711*2^1399326-1 is not prime. Res64: EA1805EA8DFF443D Time : 0.0 sec. user=mdettweiler [2015-05-22 19:11:55] 765*2^1399326-1 is not prime. Res64: 80F4CFE817C1B752 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:11:56] 807*2^1399326-1 is not prime. Res64: BE98B18B0B018DEF Time : 0.0 sec. user=mdettweiler [2015-05-22 19:18:24] 851*2^1399326-1 is not prime. Res64: C219D1014A11895B Time : 0.0 sec. user=mdettweiler [2015-05-22 19:18:25] 873*2^1399326-1 is not prime. Res64: 2C1AB43779AB2C4E Time : 0.0 sec. user=mdettweiler [2015-05-22 19:29:53] 887*2^1399326-1 is not prime. Res64: 8007EBE40FEF834D Time : 0.0 sec. user=mdettweiler [2015-05-22 19:29:54] 621*2^1399327-1 is not prime. Res64: 7F7ECED51C541B02 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:29:54] 921*2^1399326-1 is not prime. Res64: 471DDAD43EF0C65C Time : 0.0 sec. user=mdettweiler [2015-05-22 19:29:54] 645*2^1399327-1 is not prime. Res64: A15F83BA8B99B751 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:31:20] 675*2^1399327-1 is not prime. Res64: F675126A95C8AF2E Time : 0.0 sec. user=mdettweiler [2015-05-22 19:31:20] 735*2^1399327-1 is not prime. Res64: 93A2626F70C12D81 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:37:48] 993*2^1399327-1 is not prime. Res64: 809C76F332AB9E84 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:37:48] 635*2^1399328-1 is not prime. Res64: 89ABC9874F076692 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:48:51] 869*2^1399328-1 is not prime. Res64: 54E90F81B5D05BCA Time : 0.0 sec. user=mdettweiler [2015-05-22 19:48:51] 893*2^1399328-1 is not prime. Res64: D2BC4EEAF9981B1A Time : 0.0 sec. user=mdettweiler [2015-05-22 19:49:12] 677*2^1399328-1 is not prime. Res64: 2FCA108F9B1CD4B1 Time : 0.0 sec. user=mdettweiler [2015-05-22 19:49:13] 819*2^1399328-1 is not prime. Res64: 01F232F4EDB4802A Time : 0.0 sec. user=mdettweiler [2015-05-22 19:50:35] 935*2^1399328-1 is not prime. Res64: 371B695AC59EDD6E Time : 0.0 sec. user=mdettweiler [2015-05-22 19:50:36] 999*2^1399328-1 is not prime. Res64: FF7F7D9E1AA5D61B Time : 0.0 sec. user=mdettweiler [2015-05-22 19:56:45] 705*2^1399329-1 is not prime. Res64: BE7180AA2804F51D Time : 0.0 sec. user=mdettweiler [2015-05-22 19:56:45] 751*2^1399329-1 is not prime. Res64: BC235ED217D6F77B Time : 0.0 sec. user=juhehe [2015-05-22 20:07:09] 685*2^1399329-1 is not prime. Res64: 1C991745DB08850D Time : 0.0 sec. user=mdettweiler [2015-05-22 20:08:02] 765*2^1399329-1 is not prime. Res64: EE418C5696C30479 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:08:02] 781*2^1399329-1 is not prime. Res64: FE15C55F8FB65592 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:08:36] 867*2^1399329-1 is not prime. Res64: 4D03125ED0E4156D Time : 0.0 sec. user=mdettweiler [2015-05-22 20:08:36] 985*2^1399329-1 is not prime. Res64: 055FA0A9CF81B11C Time : 0.0 sec. user=mdettweiler [2015-05-22 20:09:58] 999*2^1399329-1 is not prime. Res64: E1AFF9332611B8E0 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:09:58] 653*2^1399330-1 is not prime. Res64: 9B8CF170CE82ACF8 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:16:05] 777*2^1399330-1 is not prime. Res64: AF3B01994B3A3491 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:16:05] 825*2^1399330-1 is not prime. Res64: 9855B5507B5D305B Time : 0.0 sec. user=mdettweiler [2015-05-22 20:27:10] 833*2^1399330-1 is not prime. Res64: 18017D70BD2D8922 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:27:11] 861*2^1399330-1 is not prime. Res64: 82164999B71C8110 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:27:32] 917*2^1399330-1 is not prime. Res64: 63C55D192D7DDF33 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:27:32] 923*2^1399330-1 is not prime. Res64: 58C818F64806F88A Time : 0.0 sec. user=mdettweiler [2015-05-22 20:29:01] 601*2^1399331-1 is not prime. Res64: 2BFF32F6F78DAAFF Time : 0.0 sec. user=mdettweiler [2015-05-22 20:29:01] 859*2^1399331-1 is not prime. Res64: 194A16E3D715DF09 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:35:19] 909*2^1399331-1 is not prime. Res64: 2C533F3AF1C3F773 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:35:19] 943*2^1399331-1 is not prime. Res64: A501A0199AF35B9B Time : 0.0 sec. user=mdettweiler [2015-05-22 20:47:13] 949*2^1399331-1 is not prime. Res64: 7B65B1EA63DAB348 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:47:13] 675*2^1399332-1 is not prime. Res64: 3C92B7B5125CFC15 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:47:24] 695*2^1399332-1 is not prime. Res64: 792406E9F7880765 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:47:24] 837*2^1399332-1 is not prime. Res64: A67E6AFD4A99D748 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:48:39] 879*2^1399332-1 is not prime. Res64: 5D64880E3BADB2FF Time : 0.0 sec. user=mdettweiler [2015-05-22 20:48:39] 959*2^1399332-1 is not prime. Res64: 328B07FB500E8098 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:54:31] 609*2^1399333-1 is not prime. Res64: DEC3E20CCEF49392 Time : 0.0 sec. user=mdettweiler [2015-05-22 20:54:32] 651*2^1399333-1 is not prime. Res64: 099E76FAD1BC8BC0 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:05:33] 687*2^1399333-1 is not prime. Res64: 2C01D4A0B198B7ED Time : 0.0 sec. user=mdettweiler [2015-05-22 21:05:35] 769*2^1399333-1 is not prime. Res64: 6A6FE772C642E498 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:05:46] 805*2^1399333-1 is not prime. Res64: 5364FD91C7FBED41 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:05:49] 831*2^1399333-1 is not prime. Res64: 651229CB41841F13 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:07:08] 895*2^1399333-1 is not prime. Res64: 1051258B2F8BE43B Time : 0.0 sec. user=mdettweiler [2015-05-22 21:07:09] 901*2^1399333-1 is not prime. Res64: D988DD4E4F4837D5 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:13:14] 999*2^1399333-1 is not prime. Res64: C5638C487640FA43 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:13:14] 693*2^1399334-1 is not prime. Res64: 929198A393A1573D Time : 0.0 sec. user=mdettweiler [2015-05-22 21:25:24] 953*2^1399334-1 is not prime. Res64: FB68B5D43B225DF0 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:25:25] 643*2^1399335-1 is not prime. Res64: 0B49E4510FCCC4B9 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:25:53] 825*2^1399334-1 is not prime. Res64: A691BC4AC3ABA676 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:25:53] 923*2^1399334-1 is not prime. Res64: FAC2517451EDD8EF Time : 0.0 sec. user=mdettweiler [2015-05-22 21:26:59] 649*2^1399335-1 is not prime. Res64: 54126687EEFF7283 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:26:59] 651*2^1399335-1 is not prime. Res64: 571818DA56CC0D49 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:32:55] 669*2^1399335-1 is not prime. Res64: 9A7A13042813E89D Time : 0.0 sec. user=mdettweiler [2015-05-22 21:32:55] 685*2^1399335-1 is not prime. Res64: 81C9D88A096D0EF9 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:44:17] 735*2^1399335-1 is not prime. Res64: C82723200DED127D Time : 0.0 sec. user=mdettweiler [2015-05-22 21:44:18] 933*2^1399335-1 is not prime. Res64: 0568FA5E7D27E74A Time : 0.0 sec. user=mdettweiler [2015-05-22 21:44:46] 705*2^1399336-1 is not prime. Res64: 8C9915D86618F9AA Time : 0.0 sec. user=mdettweiler [2015-05-22 21:44:46] 873*2^1399336-1 is not prime. Res64: 503D08921C1674C1 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:45:51] 989*2^1399336-1 is not prime. Res64: CC01983900DCF7F1 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:45:51] 615*2^1399337-1 is not prime. Res64: 79B20F2E543F0791 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:51:28] 669*2^1399337-1 is not prime. Res64: 407B3E702CED8580 Time : 0.0 sec. user=mdettweiler [2015-05-22 21:51:28] 697*2^1399337-1 is not prime. Res64: 355AA4A85375E100 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:02:57] 729*2^1399337-1 is not prime. Res64: 9347ADF5035DF7E0 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:02:58] 795*2^1399337-1 is not prime. Res64: 8657C1D3F01E0EE7 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:03:45] 611*2^1399338-1 is not prime. Res64: 1D04A355B06DE451 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:03:46] 621*2^1399338-1 is not prime. Res64: EABD1BDCC71EF117 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:04:53] 627*2^1399338-1 is not prime. Res64: CB382DA8B5152359 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:04:55] 705*2^1399338-1 is not prime. Res64: 815EB19EE0CBFF55 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:10:51] 927*2^1399338-1 is not prime. Res64: 402F5F5D40F78007 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:10:52] 603*2^1399339-1 is not prime. Res64: 96C959C86D4E3D27 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:22:19] 663*2^1399339-1 is not prime. Res64: 209D19C0EFC3AF86 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:22:19] 685*2^1399339-1 is not prime. Res64: BE281F002164416F Time : 0.0 sec. user=mdettweiler [2015-05-22 22:23:13] 723*2^1399339-1 is not prime. Res64: D77F1FA12B1C5111 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:23:13] 733*2^1399339-1 is not prime. Res64: AB9470ECE95CB7E8 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:24:23] 829*2^1399339-1 is not prime. Res64: 34F1936D1DD243FE Time : 0.0 sec. user=mdettweiler [2015-05-22 22:24:23] 859*2^1399339-1 is not prime. Res64: B4A72B807A78BE89 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:30:13] 609*2^1399340-1 is not prime. Res64: 702E4A7B8E3F843C Time : 0.0 sec. user=mdettweiler [2015-05-22 22:30:13] 647*2^1399340-1 is not prime. Res64: 08BB352AB5C6CDF5 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:41:45] 699*2^1399340-1 is not prime. Res64: 57097BB3A104989B Time : 0.0 sec. user=mdettweiler [2015-05-22 22:41:45] 717*2^1399340-1 is not prime. Res64: D5FDDC4CFCBC0193 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:43:04] 753*2^1399340-1 is not prime. Res64: 8260A5405013B5CF Time : 0.0 sec. user=mdettweiler [2015-05-22 22:43:04] 819*2^1399340-1 is not prime. Res64: 67D979E3B7682020 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:44:11] 827*2^1399340-1 is not prime. Res64: E25FF493406615A5 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:44:11] 885*2^1399340-1 is not prime. Res64: 90C6ABF948DD45DE Time : 0.0 sec. user=mdettweiler [2015-05-22 22:49:51] 909*2^1399340-1 is not prime. Res64: BA6F4102345F2A52 Time : 0.0 sec. user=mdettweiler [2015-05-22 22:49:51] 963*2^1399340-1 is not prime. Res64: F3C54719F63974B2 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:00:57] 609*2^1399341-1 is not prime. Res64: A35E8AF9F90979D4 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:00:58] 711*2^1399341-1 is not prime. Res64: AD3EA5EDD8A14EB6 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:02:21] 847*2^1399341-1 is not prime. Res64: 8B2048A180DD072C Time : 0.0 sec. user=mdettweiler [2015-05-22 23:02:21] 927*2^1399341-1 is not prime. Res64: CCAADC7C3D52F5A3 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:03:20] 937*2^1399341-1 is not prime. Res64: 48F210273816F5B3 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:03:21] 997*2^1399341-1 is not prime. Res64: 03F1FF10F6764297 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:09:33] 999*2^1399341-1 is not prime. Res64: 7E3497FBF9F3FB8F Time : 0.0 sec. user=mdettweiler [2015-05-22 23:09:33] 635*2^1399342-1 is not prime. Res64: 0677532D7D1836B0 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:20:49] 723*2^1399342-1 is not prime. Res64: F5D5DF98F57E6912 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:20:50] 755*2^1399342-1 is not prime. Res64: FDBC46B88010CC75 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:22:05] 765*2^1399342-1 is not prime. Res64: 6FFF493E8D2112EC Time : 0.0 sec. user=mdettweiler [2015-05-22 23:22:05] 777*2^1399342-1 is not prime. Res64: 9AEBC55151BC06FE Time : 0.0 sec. user=mdettweiler [2015-05-22 23:23:01] 867*2^1399342-1 is not prime. Res64: 0B4B8AE67C2D432C Time : 0.0 sec. user=mdettweiler [2015-05-22 23:23:01] 891*2^1399342-1 is not prime. Res64: C9C8D27FA0EA9CA6 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:28:57] 915*2^1399342-1 is not prime. Res64: AB649C562631873F Time : 0.0 sec. user=mdettweiler [2015-05-22 23:28:58] 615*2^1399343-1 is not prime. Res64: EE1F89D44A3957A4 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:39:02] 619*2^1399343-1 is not prime. Res64: 16FE82D3FCD4445D Time : 0.0 sec. user=mdettweiler [2015-05-22 23:39:02] 643*2^1399343-1 is not prime. Res64: D87D64085DA044FA Time : 0.0 sec. user=mdettweiler [2015-05-22 23:39:55] 669*2^1399343-1 is not prime. Res64: F5F1DA5FE33D1F55 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:39:56] 859*2^1399343-1 is not prime. Res64: 72F6148DE6E4ADD4 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:40:43] 945*2^1399343-1 is not prime. Res64: 0EA7BEDFBEC8D585 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:40:43] 627*2^1399344-1 is not prime. Res64: 5423CC15CB3BF9AB Time : 0.0 sec. user=mdettweiler [2015-05-22 23:46:36] 629*2^1399344-1 is not prime. Res64: 30BFB87E9AD30B7E Time : 0.0 sec. user=mdettweiler [2015-05-22 23:46:36] 689*2^1399344-1 is not prime. Res64: 6A55B502CB378B2A Time : 0.0 sec. user=mdettweiler [2015-05-22 23:57:01] 737*2^1399344-1 is not prime. Res64: 66AF6235C1DBB78A Time : 0.0 sec. user=mdettweiler [2015-05-22 23:57:02] 753*2^1399344-1 is not prime. Res64: 034216C4F0B3B519 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:57:53] 905*2^1399344-1 is not prime. Res64: DE1C042C5238E64B Time : 0.0 sec. user=mdettweiler [2015-05-22 23:57:53] 983*2^1399344-1 is not prime. Res64: B6C088D2A57BBAC5 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:58:32] 607*2^1399345-1 is not prime. Res64: E5B28FD5B964E055 Time : 0.0 sec. user=mdettweiler [2015-05-22 23:58:32] 727*2^1399345-1 is not prime. Res64: C4E1EE375D94F724 Time : 0.0 sec.