user=mdettweiler [2016-06-30 00:05:28] 881*2^1433898-1 is not prime. Res64: FEE3D9B93EE19B17 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:05:29] 645*2^1433899-1 is not prime. Res64: A8EBEF754C7E3EA3 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:05:31] 681*2^1433899-1 is not prime. Res64: 1E0E750D9FF151CF Time : 0.0 sec. user=mdettweiler [2016-06-30 00:05:31] 723*2^1433899-1 is not prime. Res64: 6D3A7A562E06B05B Time : 0.0 sec. user=mdettweiler [2016-06-30 00:05:32] 859*2^1433899-1 is not prime. Res64: BD2056D17080D792 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:06:35] 931*2^1433899-1 is not prime. Res64: 0FD0027E07752B4B Time : 0.0 sec. user=mdettweiler [2016-06-30 00:06:36] 663*2^1433900-1 is not prime. Res64: F99D3C69A6B5D69A Time : 0.0 sec. user=mdettweiler [2016-06-30 00:06:37] 669*2^1433900-1 is not prime. Res64: FE2D49196A4CDD03 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:06:39] 707*2^1433900-1 is not prime. Res64: 3FC726FA01D5E501 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:06:40] 797*2^1433900-1 is not prime. Res64: 31A054EA71479A7E Time : 0.0 sec. user=mdettweiler [2016-06-30 00:33:27] 813*2^1433900-1 is not prime. Res64: 7CD7B7F4C4455A1B Time : 0.0 sec. user=mdettweiler [2016-06-30 00:33:28] 649*2^1433901-1 is not prime. Res64: 3482FFA5F8D2AA70 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:33:28] 691*2^1433901-1 is not prime. Res64: 7DC72BAF49A2502F Time : 0.0 sec. user=mdettweiler [2016-06-30 00:33:28] 955*2^1433901-1 is not prime. Res64: 566EF4F010F0C6E3 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:33:29] 979*2^1433901-1 is not prime. Res64: 36AF083B889343E7 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:34:40] 603*2^1433902-1 is not prime. Res64: FEB5237AFB88EF7A Time : 0.0 sec. user=mdettweiler [2016-06-30 00:34:41] 647*2^1433902-1 is not prime. Res64: A123C67DB6CF61D6 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:34:41] 723*2^1433902-1 is not prime. Res64: D3AABE2425BDB3E3 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:34:41] 815*2^1433902-1 is not prime. Res64: 0C43693358591A8E Time : 0.0 sec. user=mdettweiler [2016-06-30 00:34:42] 911*2^1433902-1 is not prime. Res64: B6AD67FE8A229404 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:50:34] 945*2^1433902-1 is not prime. Res64: 44ED601C7F49C587 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:50:41] 663*2^1433903-1 is not prime. Res64: 82B237B33A12EC99 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:50:47] 753*2^1433903-1 is not prime. Res64: E8D0673F460A2293 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:50:54] 759*2^1433904-1 is not prime. Res64: 8B68575E5D120E68 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:50:54] 837*2^1433904-1 is not prime. Res64: B8ADF218BD30EF5E Time : 0.0 sec. user=mdettweiler [2016-06-30 00:51:40] 863*2^1433904-1 is not prime. Res64: 7EC8E4912B988429 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:51:46] 875*2^1433904-1 is not prime. Res64: 8B74A53A714AD789 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:51:53] 959*2^1433904-1 is not prime. Res64: FA3E67B3B844046F Time : 0.0 sec. user=mdettweiler [2016-06-30 00:51:59] 619*2^1433905-1 is not prime. Res64: 893849E6A9CAB106 Time : 0.0 sec. user=mdettweiler [2016-06-30 00:52:06] 685*2^1433905-1 is not prime. Res64: 5593157C2F40E444 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:18:29] 705*2^1433905-1 is not prime. Res64: E14877934CF56775 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:18:30] 819*2^1433905-1 is not prime. Res64: 1C014DEDE557D54A Time : 0.0 sec. user=mdettweiler [2016-06-30 01:18:30] 861*2^1433905-1 is not prime. Res64: 781B58489F0B4BF2 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:18:31] 895*2^1433905-1 is not prime. Res64: DB086D6BF5A1D87B Time : 0.0 sec. user=mdettweiler [2016-06-30 01:18:31] 937*2^1433905-1 is not prime. Res64: 4B076E85AF5B1253 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:19:42] 979*2^1433905-1 is not prime. Res64: 188C97603E0D321D Time : 0.0 sec. user=mdettweiler [2016-06-30 01:19:42] 985*2^1433905-1 is not prime. Res64: 25B8AC441BD085B2 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:19:43] 999*2^1433905-1 is not prime. Res64: B759F56EBF6F7F83 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:19:43] 623*2^1433906-1 is not prime. Res64: BDC120213FD5DB5E Time : 0.0 sec. user=mdettweiler [2016-06-30 01:19:43] 755*2^1433906-1 is not prime. Res64: 5B97920FC3E57097 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:36:03] 783*2^1433906-1 is not prime. Res64: 8F48A973557F331E Time : 0.0 sec. user=mdettweiler [2016-06-30 01:36:10] 831*2^1433906-1 is not prime. Res64: 8ECFB09A9AE32B21 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:36:17] 609*2^1433907-1 is not prime. Res64: 4632ADC733487FF9 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:36:23] 825*2^1433907-1 is not prime. Res64: 02FAA31C106F5DD2 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:36:30] 963*2^1433907-1 is not prime. Res64: 3473F9D99D1F7F3F Time : 0.0 sec. user=mdettweiler [2016-06-30 01:37:19] 735*2^1433908-1 is not prime. Res64: 5D38271DFA1008B0 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:37:26] 749*2^1433908-1 is not prime. Res64: 5BBB1F1C989C390C Time : 0.0 sec. user=mdettweiler [2016-06-30 01:37:33] 933*2^1433908-1 is not prime. Res64: 96558F6AC79BC10E Time : 0.0 sec. user=mdettweiler [2016-06-30 01:37:34] 953*2^1433908-1 is not prime. Res64: 8BE561D84E985762 Time : 0.0 sec. user=mdettweiler [2016-06-30 01:37:40] 721*2^1433909-1 is not prime. Res64: 6BBD097F73626742 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:03:45] 957*2^1433909-1 is not prime. Res64: 51A47FCFFDD41552 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:03:50] 627*2^1433910-1 is not prime. Res64: FAA7BF1CA7B8C1C0 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:03:55] 707*2^1433910-1 is not prime. Res64: 1473C7D0F3DEC835 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:04:00] 783*2^1433910-1 is not prime. Res64: B2ACDC79AE01CD08 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:04:05] 885*2^1433910-1 is not prime. Res64: FD01D3C2E9C3E8B3 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:05:09] 887*2^1433910-1 is not prime. Res64: 9F84DA5CA0944DD7 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:05:14] 893*2^1433910-1 is not prime. Res64: 03896FE6DD7685AC Time : 0.0 sec. user=mdettweiler [2016-06-30 02:05:20] 615*2^1433911-1 is not prime. Res64: 8004A854CB6FCD7A Time : 0.0 sec. user=mdettweiler [2016-06-30 02:05:21] 679*2^1433911-1 is not prime. Res64: 5C6C1933BA6702A6 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:05:23] 681*2^1433911-1 is not prime. Res64: 100A78BAA4020994 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:21:46] 763*2^1433911-1 is not prime. Res64: F1FC0DB60531C737 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:21:46] 771*2^1433911-1 is not prime. Res64: 51346159ACFE7423 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:21:47] 889*2^1433911-1 is not prime. Res64: 50520A1D4C1BD1CF Time : 0.0 sec. user=mdettweiler [2016-06-30 02:21:47] 657*2^1433912-1 is not prime. Res64: BF795F6A47624648 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:21:48] 689*2^1433912-1 is not prime. Res64: 2D6EC83F2B2A751F Time : 0.0 sec. user=mdettweiler [2016-06-30 02:22:58] 767*2^1433912-1 is not prime. Res64: FC618B1304DBBDFD Time : 0.0 sec. user=mdettweiler [2016-06-30 02:22:59] 797*2^1433912-1 is not prime. Res64: 6BAEAEF76E3AC824 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:22:59] 917*2^1433912-1 is not prime. Res64: 456A32B3C30B554C Time : 0.0 sec. user=mdettweiler [2016-06-30 02:23:00] 957*2^1433912-1 is not prime. Res64: A3DBA89FD30F04C1 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:23:00] 657*2^1433913-1 is not prime. Res64: A25C4A21B797E967 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:49:29] 669*2^1433913-1 is not prime. Res64: 0AE208A9ECB26016 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:49:29] 817*2^1433913-1 is not prime. Res64: AE172C02BE1DF781 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:49:30] 847*2^1433913-1 is not prime. Res64: A7EF435B65DC48DD Time : 0.0 sec. user=mdettweiler [2016-06-30 02:49:30] 919*2^1433913-1 is not prime. Res64: AEB233D9D30F5886 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:49:31] 937*2^1433913-1 is not prime. Res64: 307B42D908849239 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:50:44] 945*2^1433913-1 is not prime. Res64: C114ECE20D59F55D Time : 0.0 sec. user=mdettweiler [2016-06-30 02:50:44] 979*2^1433913-1 is not prime. Res64: 0A37BD7935DC8E65 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:50:45] 657*2^1433914-1 is not prime. Res64: 409161B0F49051A8 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:50:45] 941*2^1433914-1 is not prime. Res64: EE88938CF2D49DD2 Time : 0.0 sec. user=mdettweiler [2016-06-30 02:50:45] 603*2^1433915-1 is not prime. Res64: 554823A82CD76690 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:07:41] 649*2^1433915-1 is not prime. Res64: 581075C1EA99F3DB Time : 0.0 sec. user=mdettweiler [2016-06-30 03:08:23] 975*2^1433916-1 is not prime. Res64: 7C59ABFDED4A692B Time : 0.0 sec. user=mdettweiler [2016-06-30 03:08:30] 607*2^1433917-1 is not prime. Res64: 726D00B4C7340D50 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:08:37] 651*2^1433917-1 is not prime. Res64: CD3E208EB9308E91 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:08:44] 699*2^1433917-1 is not prime. Res64: 11CE9EB86259DE8D Time : 0.0 sec. user=mdettweiler [2016-06-30 03:08:51] 729*2^1433917-1 is not prime. Res64: 27CA6A1913C85890 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:35:13] 747*2^1433917-1 is not prime. Res64: 322A513C4E45A939 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:35:14] 819*2^1433917-1 is not prime. Res64: 6A16D41AE5045301 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:35:15] 831*2^1433917-1 is not prime. Res64: B96A53C4BA03C3E5 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:35:16] 835*2^1433917-1 is not prime. Res64: EBEE905E9EA55EDF Time : 0.0 sec. user=mdettweiler [2016-06-30 03:35:17] 665*2^1433918-1 is not prime. Res64: AB6DE5E73DE4C359 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:36:21] 671*2^1433918-1 is not prime. Res64: E237C14F1AF6C60E Time : 0.0 sec. user=mdettweiler [2016-06-30 03:36:22] 773*2^1433918-1 is not prime. Res64: 5E924048EFDFC2C9 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:36:23] 831*2^1433918-1 is not prime. Res64: 47CC2D96AAD1BEFB Time : 0.0 sec. user=mdettweiler [2016-06-30 03:36:23] 875*2^1433918-1 is not prime. Res64: 6DF4DF0D02EF8FFB Time : 0.0 sec. user=mdettweiler [2016-06-30 03:36:24] 893*2^1433918-1 is not prime. Res64: 189A5E5F44A22139 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:54:42] 921*2^1433918-1 is not prime. Res64: 07C9BD0F8938459B Time : 0.0 sec. user=mdettweiler [2016-06-30 03:54:49] 987*2^1433918-1 is not prime. Res64: 079B64C4BF53B00C Time : 0.0 sec. user=mdettweiler [2016-06-30 03:54:56] 691*2^1433919-1 is not prime. Res64: 2C47116A5643F068 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:55:04] 823*2^1433919-1 is not prime. Res64: 60AA24E799C8A202 Time : 0.0 sec. user=mdettweiler [2016-06-30 03:55:11] 853*2^1433919-1 is not prime. Res64: A8A2D0B0F1B366F8 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:20:59] 873*2^1433919-1 is not prime. Res64: F5DCB6AF0EA15687 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:21:03] 931*2^1433919-1 is not prime. Res64: 3C542A3E1EE4BEA8 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:21:08] 933*2^1433919-1 is not prime. Res64: AA07B1D104A5ACCD Time : 0.0 sec. user=mdettweiler [2016-06-30 04:21:14] 707*2^1433920-1 is not prime. Res64: 137E10D93FDDCAC3 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:21:21] 743*2^1433920-1 is not prime. Res64: FC1F349A5E937C2E Time : 0.0 sec. user=mdettweiler [2016-06-30 04:21:50] 797*2^1433920-1 is not prime. Res64: 0B9FD05B3B66BCF3 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:21:56] 819*2^1433920-1 is not prime. Res64: C3A72ABFAD5B107F Time : 0.0 sec. user=mdettweiler [2016-06-30 04:22:02] 601*2^1433921-1 is not prime. Res64: 11A6BDBB92E33C34 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:22:02] 669*2^1433921-1 is not prime. Res64: 8062AFC0488C7C28 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:22:09] 885*2^1433921-1 is not prime. Res64: F5BB4E96DC5277E2 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:40:39] 731*2^1433922-1 is not prime. Res64: 67938A73F7955DDB Time : 0.0 sec. user=mdettweiler [2016-06-30 04:40:40] 735*2^1433922-1 is not prime. Res64: 184ED6E8DA243C18 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:40:40] 867*2^1433922-1 is not prime. Res64: F45600FBBB4AE3D1 Time : 0.0 sec. user=mdettweiler [2016-06-30 04:40:40] 873*2^1433922-1 is not prime. Res64: 9A41E84D31EED44B Time : 0.0 sec. user=mdettweiler [2016-06-30 04:40:41] 951*2^1433922-1 is not prime. Res64: 057906CD0A7E3031 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:04] 693*2^1433923-1 is not prime. Res64: A626B029F0246B0A Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:08] 789*2^1433923-1 is not prime. Res64: E2373F41A391A121 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:12] 901*2^1433923-1 is not prime. Res64: 6A73DAFCA45A0DD4 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:16] 915*2^1433923-1 is not prime. Res64: 91D8BE882ED41460 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:20] 605*2^1433924-1 is not prime. Res64: B97913313DC5D864 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:36] 963*2^1433922-1 is not prime. Res64: 87AA385D41A4D768 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:40] 977*2^1433922-1 is not prime. Res64: 481612B324F91F19 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:45] 609*2^1433923-1 is not prime. Res64: F0F05D7F82EAFADF Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:49] 625*2^1433923-1 is not prime. Res64: 8DC527BCFCDD1F10 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:08:53] 631*2^1433923-1 is not prime. Res64: 9ED525F8EF178185 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:17:20] 843*2^1433915-1 is not prime. Res64: F6B62C77252224FA Time : 0.0 sec. user=mdettweiler [2016-06-30 05:17:20] 963*2^1433915-1 is not prime. Res64: EFA6CB7914988E80 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:17:20] 845*2^1433916-1 is not prime. Res64: A6317C6224F94F31 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:17:21] 927*2^1433916-1 is not prime. Res64: B92E6ECAEF665822 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:27:40] 683*2^1433924-1 is not prime. Res64: FA3DDF0DD2D9D317 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:27:44] 825*2^1433924-1 is not prime. Res64: FE20B135F652141B Time : 0.0 sec. user=mdettweiler [2016-06-30 05:27:48] 923*2^1433924-1 is not prime. Res64: 44D04976F60C0ED3 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:27:53] 657*2^1433925-1 is not prime. Res64: AA43E4612E66E369 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:27:56] 727*2^1433925-1 is not prime. Res64: C1AD32E7E197A3E1 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:16] 741*2^1433925-1 is not prime. Res64: 89E6C03EF9CF143E Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:17] 795*2^1433925-1 is not prime. Res64: B822AC9E3CE75574 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:17] 847*2^1433925-1 is not prime. Res64: 1576E3973521ACFC Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:17] 603*2^1433926-1 is not prime. Res64: 31757EDED2F4A965 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:18] 783*2^1433926-1 is not prime. Res64: 0DE636F6EBB1FDD3 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:47] 785*2^1433926-1 is not prime. Res64: 8D091FE13A6B8EEF Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:47] 825*2^1433926-1 is not prime. Res64: 1BC0F7F4694668EC Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:48] 843*2^1433926-1 is not prime. Res64: D364EA11DBFB3BD1 Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:48] 855*2^1433926-1 is not prime. Res64: B3DF058C28F477CF Time : 0.0 sec. user=mdettweiler [2016-06-30 05:53:48] 881*2^1433926-1 is not prime. Res64: CB47E3CB6F72B98C Time : 0.0 sec. user=mdettweiler [2016-06-30 06:02:18] 909*2^1433927-1 is not prime. Res64: AD5F0890719B2EA8 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:02:23] 981*2^1433927-1 is not prime. Res64: 5E20C6187A589D64 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:02:27] 991*2^1433927-1 is not prime. Res64: E0E41C8782E9D7AB Time : 0.0 sec. user=mdettweiler [2016-06-30 06:02:32] 657*2^1433928-1 is not prime. Res64: 2D6813AE2AA2C82D Time : 0.0 sec. user=mdettweiler [2016-06-30 06:02:36] 735*2^1433928-1 is not prime. Res64: BE88F283785E5711 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:12:51] 759*2^1433928-1 is not prime. Res64: 8BDFD9A7154A538C Time : 0.0 sec. user=mdettweiler [2016-06-30 06:12:56] 795*2^1433928-1 is not prime. Res64: 94247AF5BD37736A Time : 0.0 sec. user=mdettweiler [2016-06-30 06:13:01] 825*2^1433928-1 is not prime. Res64: 85F4230E6E496438 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:13:07] 887*2^1433928-1 is not prime. Res64: 5DB3BB5B9D784FC1 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:13:12] 947*2^1433928-1 is not prime. Res64: 1F683700C855F640 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:17] 721*2^1433929-1 is not prime. Res64: 697E5F1C0C0FB2A3 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:24] 751*2^1433929-1 is not prime. Res64: 1410454750693781 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:30] 801*2^1433929-1 is not prime. Res64: 94BDFC9CBAE2D6B0 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:36] 847*2^1433929-1 is not prime. Res64: 54FB7392A4A1A8B5 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:36] 951*2^1433929-1 is not prime. Res64: B4FA9C3626551B7B Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:43] 855*2^1433929-1 is not prime. Res64: 76C8D3F2C03AA06B Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:43] 997*2^1433929-1 is not prime. Res64: AE5D82857FDB3021 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:49] 999*2^1433929-1 is not prime. Res64: DE8CB0EA7BFB2FE2 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:38:55] 641*2^1433930-1 is not prime. Res64: 188428FA1443C792 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:39:01] 711*2^1433930-1 is not prime. Res64: 20736CDB1E52C425 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:47:44] 717*2^1433930-1 is not prime. Res64: A7F064EB2590D0EA Time : 0.0 sec. user=mdettweiler [2016-06-30 06:47:48] 735*2^1433930-1 is not prime. Res64: 5D0679C30ECA22F2 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:47:52] 753*2^1433930-1 is not prime. Res64: 5D63691D3B4BDC7A Time : 0.0 sec. user=mdettweiler [2016-06-30 06:47:56] 885*2^1433930-1 is not prime. Res64: 866F7745FFE4EAE3 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:47:56] 995*2^1433930-1 is not prime. Res64: 04B42FA8C774AEA0 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:58:02] 739*2^1433931-1 is not prime. Res64: E75456F7733A264B Time : 0.0 sec. user=mdettweiler [2016-06-30 06:58:03] 783*2^1433931-1 is not prime. Res64: C6EB99DD85238267 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:58:03] 789*2^1433931-1 is not prime. Res64: AE8B89DB79F20256 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:58:03] 793*2^1433931-1 is not prime. Res64: 6E94D3AAE052B980 Time : 0.0 sec. user=mdettweiler [2016-06-30 06:58:04] 835*2^1433931-1 is not prime. Res64: F97A139D0ED83E2B Time : 0.0 sec. user=mdettweiler [2016-06-30 07:23:54] 895*2^1433931-1 is not prime. Res64: FC54C90774950A8B Time : 0.0 sec. user=mdettweiler [2016-06-30 07:23:58] 945*2^1433931-1 is not prime. Res64: 271078946A340BF6 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:02] 975*2^1433931-1 is not prime. Res64: 6CAA9E569C289613 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:06] 609*2^1433932-1 is not prime. Res64: 40D2166AC4BAC20B Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:06] 855*2^1433932-1 is not prime. Res64: EF33B5526F7DE7C5 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:10] 873*2^1433932-1 is not prime. Res64: 16D80BEE9632863F Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:10] 635*2^1433932-1 is not prime. Res64: A45B58DCC071AF55 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:14] 959*2^1433932-1 is not prime. Res64: D81B158A56AAD710 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:18] 697*2^1433933-1 is not prime. Res64: AED412F7F7F4F15A Time : 0.0 sec. user=mdettweiler [2016-06-30 07:24:22] 729*2^1433933-1 is not prime. Res64: 6C29E4E8B7E2E019 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:32:59] 759*2^1433933-1 is not prime. Res64: 905DCF2FC5AEB111 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:33:00] 771*2^1433933-1 is not prime. Res64: A7DEBE8897894A97 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:33:00] 789*2^1433933-1 is not prime. Res64: A1CEFFB84C443AB1 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:33:00] 801*2^1433933-1 is not prime. Res64: 4A8FE0152B66D943 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:33:01] 885*2^1433933-1 is not prime. Res64: 3888E6C0B8285A97 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:42:50] 889*2^1433933-1 is not prime. Res64: 834483B4ADF42704 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:42:51] 955*2^1433933-1 is not prime. Res64: AC9DD782A2CEDE77 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:42:51] 677*2^1433934-1 is not prime. Res64: 5CE8861C4BFBFA28 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:42:52] 681*2^1433934-1 is not prime. Res64: 5463B85C669E0491 Time : 0.0 sec. user=mdettweiler [2016-06-30 07:42:52] 815*2^1433934-1 is not prime. Res64: 655806E1DCEEDF28 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:05] 915*2^1433934-1 is not prime. Res64: FF55D690FD40F842 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:05] 957*2^1433934-1 is not prime. Res64: 1C7E7F4C52B01B93 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:06] 645*2^1433935-1 is not prime. Res64: 3B64B5B12C87EF1E Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:06] 661*2^1433935-1 is not prime. Res64: FA7F6355D9666101 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:06] 759*2^1433935-1 is not prime. Res64: 07AEB5839C826DEB Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:17] 775*2^1433935-1 is not prime. Res64: 24D401A07DE6D1B7 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:17] 853*2^1433935-1 is not prime. Res64: 412598178FCDD742 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:18] 861*2^1433935-1 is not prime. Res64: F5100D66CC8245A6 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:18] 629*2^1433936-1 is not prime. Res64: 9FD37FD299E7C9FD Time : 0.0 sec. user=mdettweiler [2016-06-30 08:09:18] 633*2^1433936-1 is not prime. Res64: 3EA9D7562F2F7F60 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:17:49] 669*2^1433936-1 is not prime. Res64: 421EB1022B3C229D Time : 0.0 sec. user=mdettweiler [2016-06-30 08:17:50] 699*2^1433936-1 is not prime. Res64: A54491FC369C4F54 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:17:50] 903*2^1433936-1 is not prime. Res64: D366B64F03D7F63B Time : 0.0 sec. user=mdettweiler [2016-06-30 08:17:50] 957*2^1433936-1 is not prime. Res64: 0D81F6F90B1ED1B5 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:17:51] 759*2^1433937-1 is not prime. Res64: 6C1F64372807E844 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:27:48] 765*2^1433937-1 is not prime. Res64: F04EC3294B14042F Time : 0.0 sec. user=mdettweiler [2016-06-30 08:27:54] 847*2^1433937-1 is not prime. Res64: 494EAF11CBDD7657 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:28:00] 849*2^1433937-1 is not prime. Res64: EDF1E17DAA6FDEA0 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:28:05] 895*2^1433937-1 is not prime. Res64: ECADDAE23AF60AD4 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:28:11] 919*2^1433937-1 is not prime. Res64: 0CCE9FC685FF837F Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:12] 611*2^1433938-1 is not prime. Res64: 1DD503BAA4B498CE Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:12] 621*2^1433938-1 is not prime. Res64: 72488DBE867E4353 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:13] 911*2^1433938-1 is not prime. Res64: D3238E16F9CBC0A7 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:13] 623*2^1433938-1 is not prime. Res64: F232B07A7D0D19AC Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:13] 827*2^1433938-1 is not prime. Res64: 644CB432E2D7D228 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:13] 951*2^1433938-1 is not prime. Res64: D0F9FDC8C7D81EB6 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:14] 845*2^1433938-1 is not prime. Res64: 0C73E5A4F74562C1 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:14] 615*2^1433939-1 is not prime. Res64: 1838825D05184A99 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:14] 663*2^1433939-1 is not prime. Res64: 8504BABC280EA260 Time : 0.0 sec. user=mdettweiler [2016-06-30 08:54:14] 745*2^1433939-1 is not prime. Res64: 28822224D853ECE8 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:02:45] 615*2^1433940-1 is not prime. Res64: E60846BAAB74F793 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:02:50] 647*2^1433940-1 is not prime. Res64: 562F868943714A45 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:02:55] 753*2^1433940-1 is not prime. Res64: 980D69406428BF44 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:02:59] 767*2^1433940-1 is not prime. Res64: 7C356D8A1221050A Time : 0.0 sec. user=mdettweiler [2016-06-30 09:03:04] 845*2^1433940-1 is not prime. Res64: 2073C512AF1AD819 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:13:19] 873*2^1433940-1 is not prime. Res64: 75365021E0B3B0F9 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:13:26] 905*2^1433940-1 is not prime. Res64: 5FCA9CA9E82A6FDA Time : 0.0 sec. user=mdettweiler [2016-06-30 09:13:31] 927*2^1433940-1 is not prime. Res64: 5413D9A17EEA35DC Time : 0.0 sec. user=mdettweiler [2016-06-30 09:13:37] 929*2^1433940-1 is not prime. Res64: 5849FE54044BB337 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:13:43] 945*2^1433940-1 is not prime. Res64: 60F38431A7E63D97 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:13] 649*2^1433941-1 is not prime. Res64: F20A4B2208D74F18 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:13] 677*2^1433942-1 is not prime. Res64: C4A8D64D1A5F851C Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:19] 747*2^1433941-1 is not prime. Res64: 7215F91215C8F4D1 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:19] 705*2^1433942-1 is not prime. Res64: 610353CB981CB158 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:25] 805*2^1433941-1 is not prime. Res64: 51C394DE50DFCAB3 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:25] 731*2^1433942-1 is not prime. Res64: 6EA994F618185609 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:32] 945*2^1433941-1 is not prime. Res64: 69B9B3B59D2925D3 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:32] 833*2^1433942-1 is not prime. Res64: B3BAEE1A1EF74914 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:38] 873*2^1433942-1 is not prime. Res64: 426028392217BDD6 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:39:38] 979*2^1433941-1 is not prime. Res64: 4FA194A95C061A39 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:48:16] 893*2^1433942-1 is not prime. Res64: 610E34D1DDB8EF6E Time : 0.0 sec. user=mdettweiler [2016-06-30 09:48:20] 745*2^1433943-1 is not prime. Res64: B122502F92B242DF Time : 0.0 sec. user=mdettweiler [2016-06-30 09:48:24] 805*2^1433943-1 is not prime. Res64: A536DFAD2B469E8D Time : 0.0 sec. user=mdettweiler [2016-06-30 09:48:28] 849*2^1433943-1 is not prime. Res64: 235D15682E993279 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:48:32] 861*2^1433943-1 is not prime. Res64: 3299816FD97317B4 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:58:57] 955*2^1433943-1 is not prime. Res64: A30A2FF355C2865D Time : 0.0 sec. user=mdettweiler [2016-06-30 09:58:58] 609*2^1433944-1 is not prime. Res64: 58BFF88E3ED05850 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:58:58] 723*2^1433944-1 is not prime. Res64: BDD6D88324B2D462 Time : 0.0 sec. user=mdettweiler [2016-06-30 09:58:58] 747*2^1433944-1 is not prime. Res64: D128C959F96929FD Time : 0.0 sec. user=mdettweiler [2016-06-30 09:58:59] 903*2^1433944-1 is not prime. Res64: 1FB2ED8240D28069 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:25:58] 735*2^1433945-1 is not prime. Res64: 4360F5DB9BCB19D8 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:01] 795*2^1433945-1 is not prime. Res64: F2CCFD2D143722AC Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:05] 841*2^1433945-1 is not prime. Res64: 63DB611692CEB726 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:06] 871*2^1433945-1 is not prime. Res64: B1DF883300A7ADE5 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:10] 915*2^1433945-1 is not prime. Res64: CACEDCFD37B948A0 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:22] 915*2^1433944-1 is not prime. Res64: 0AC2EE20B3A23D0B Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:22] 965*2^1433944-1 is not prime. Res64: AAB75A50C440C5F0 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:26] 983*2^1433944-1 is not prime. Res64: 305202278BC993E4 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:30] 649*2^1433945-1 is not prime. Res64: 5189F2F732452388 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:26:34] 727*2^1433945-1 is not prime. Res64: 017ED56E52186752 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:34:41] 969*2^1433945-1 is not prime. Res64: 795C2B4F2EDBFDC5 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:34:42] 633*2^1433946-1 is not prime. Res64: 253AE9E382A2FC6C Time : 0.0 sec. user=mdettweiler [2016-06-30 10:34:42] 695*2^1433946-1 is not prime. Res64: A5878FD6BEA878CE Time : 0.0 sec. user=mdettweiler [2016-06-30 10:34:43] 707*2^1433946-1 is not prime. Res64: ABA503CDC2FA2E85 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:34:43] 765*2^1433946-1 is not prime. Res64: FDDE5E94B49027FF Time : 0.0 sec. user=mdettweiler [2016-06-30 10:45:02] 807*2^1433946-1 is not prime. Res64: 92F61F1BCB2B7927 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:45:02] 851*2^1433946-1 is not prime. Res64: BF1BD857C4E3E1BB Time : 0.0 sec. user=mdettweiler [2016-06-30 10:45:02] 887*2^1433946-1 is not prime. Res64: 121F4B6C5B47EF2C Time : 0.0 sec. user=mdettweiler [2016-06-30 10:45:03] 975*2^1433946-1 is not prime. Res64: 9D6E84396AF38CA3 Time : 0.0 sec. user=mdettweiler [2016-06-30 10:45:03] 651*2^1433947-1 is not prime. Res64: 9DB6A3E7905A49AD Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:44] 889*2^1433947-1 is not prime. Res64: 9354EF2D3D6B0608 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:44] 909*2^1433947-1 is not prime. Res64: CD74A9702E218297 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:45] 647*2^1433948-1 is not prime. Res64: FE587FC5F9F26442 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:45] 657*2^1433948-1 is not prime. Res64: 91D6CD5790A2ED77 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:46] 753*2^1433948-1 is not prime. Res64: DC8825D95BFEF7B5 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:58] 777*2^1433948-1 is not prime. Res64: C70E070F11478A2E Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:58] 827*2^1433948-1 is not prime. Res64: 9F18230D959D6D7B Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:59] 923*2^1433948-1 is not prime. Res64: F4674EF25E9CB4E2 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:13:59] 929*2^1433948-1 is not prime. Res64: 9C4D780163AD44C3 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:14:00] 957*2^1433948-1 is not prime. Res64: 4F75E1B7E6B16A07 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:22:09] 987*2^1433948-1 is not prime. Res64: 6B2E34340402B323 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:22:09] 995*2^1433948-1 is not prime. Res64: EF7443F474EB5D4A Time : 0.0 sec. user=mdettweiler [2016-06-30 11:22:10] 615*2^1433949-1 is not prime. Res64: 18F004F1F1EE23BA Time : 0.0 sec. user=mdettweiler [2016-06-30 11:22:10] 639*2^1433949-1 is not prime. Res64: F42BFE2F4816122F Time : 0.0 sec. user=mdettweiler [2016-06-30 11:22:11] 675*2^1433949-1 is not prime. Res64: E84D15224BB9D61F Time : 0.0 sec. user=mdettweiler [2016-06-30 11:31:34] 817*2^1433949-1 is not prime. Res64: F766976862BAFA5C Time : 0.0 sec. user=mdettweiler [2016-06-30 11:31:40] 847*2^1433949-1 is not prime. Res64: D092CA8CCC2F7311 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:31:40] 885*2^1433949-1 is not prime. Res64: F8FC9E1EF82965F2 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:31:46] 889*2^1433949-1 is not prime. Res64: 08E78614C7E2D33E Time : 0.0 sec. user=mdettweiler [2016-06-30 11:31:52] 919*2^1433949-1 is not prime. Res64: 0E13AAC76FC1E285 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:58:54] 961*2^1433949-1 is not prime. Res64: E13E4C6AFEBFE6D9 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:58:55] 785*2^1433950-1 is not prime. Res64: A633540212A39F42 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:58:55] 813*2^1433950-1 is not prime. Res64: 03226D27A61B0F82 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:58:55] 831*2^1433950-1 is not prime. Res64: BB8891526928DA35 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:58:56] 843*2^1433950-1 is not prime. Res64: B45DC9B7886A556A Time : 0.0 sec. user=mdettweiler [2016-06-30 11:59:16] 857*2^1433950-1 is not prime. Res64: EF9361BEC839FED5 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:59:16] 885*2^1433950-1 is not prime. Res64: 4762F43A5CD88397 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:59:16] 911*2^1433950-1 is not prime. Res64: A4CFC21293A5CCEE Time : 0.0 sec. user=mdettweiler [2016-06-30 11:59:17] 945*2^1433950-1 is not prime. Res64: 98FB884612EAA6D5 Time : 0.0 sec. user=mdettweiler [2016-06-30 11:59:17] 685*2^1433951-1 is not prime. Res64: E78ECCD38B85662B Time : 0.0 sec. user=mdettweiler [2016-06-30 12:07:09] 813*2^1433951-1 is not prime. Res64: 32E9282BA4741149 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:07:16] 943*2^1433951-1 is not prime. Res64: 4A39ECE4CA888E9A Time : 0.0 sec. user=mdettweiler [2016-06-30 12:07:22] 991*2^1433951-1 is not prime. Res64: A2CAAE88CD253F92 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:07:29] 959*2^1433952-1 is not prime. Res64: A5B590AC2756304F Time : 0.0 sec. user=mdettweiler [2016-06-30 12:07:35] 975*2^1433952-1 is not prime. Res64: 51100A8E1F612E21 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:16:49] 983*2^1433952-1 is not prime. Res64: 563C5BDAA2BB2B0C Time : 0.0 sec. user=mdettweiler [2016-06-30 12:16:49] 729*2^1433953-1 is not prime. Res64: 2FEC1A26451134D5 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:16:50] 771*2^1433953-1 is not prime. Res64: 2EA238CF195142C8 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:16:50] 849*2^1433953-1 is not prime. Res64: DFDF8C661CACDABC Time : 0.0 sec. user=mdettweiler [2016-06-30 12:16:51] 889*2^1433953-1 is not prime. Res64: EEEDED44E3A4EEBD Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:09] 951*2^1433953-1 is not prime. Res64: A5324250228A0C63 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:15] 955*2^1433953-1 is not prime. Res64: 3B550E8EBD4B0FAD Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:22] 635*2^1433954-1 is not prime. Res64: 1E879142F9384CC5 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:28] 797*2^1433954-1 is not prime. Res64: 14F3D78A4A22767E Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:28] 927*2^1433954-1 is not prime. Res64: 40BA556416278389 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:34] 711*2^1433955-1 is not prime. Res64: CBEB0A8DB96954BA Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:34] 875*2^1433954-1 is not prime. Res64: A8F407E032EA8250 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:40] 775*2^1433955-1 is not prime. Res64: 75CB3101B08DEE1F Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:47] 781*2^1433955-1 is not prime. Res64: 8DD491A7F795400E Time : 0.0 sec. user=mdettweiler [2016-06-30 12:44:53] 783*2^1433955-1 is not prime. Res64: E8E4A47F23998A97 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:52:43] 909*2^1433955-1 is not prime. Res64: F0BD2503C1C28293 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:52:43] 951*2^1433955-1 is not prime. Res64: 45D45EA8C0AAB1C6 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:52:44] 979*2^1433955-1 is not prime. Res64: D7041429DC297BF2 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:52:44] 999*2^1433955-1 is not prime. Res64: 46364795ABBD38C5 Time : 0.0 sec. user=mdettweiler [2016-06-30 12:52:44] 735*2^1433956-1 is not prime. Res64: F0E8910583AA47E7 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:01:39] 743*2^1433956-1 is not prime. Res64: 8EBF1E0EB22F7A6C Time : 0.0 sec. user=mdettweiler [2016-06-30 13:01:40] 965*2^1433956-1 is not prime. Res64: 527C5C7B52662ED0 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:01:41] 983*2^1433956-1 is not prime. Res64: DA7149C5D161B6EF Time : 0.0 sec. user=mdettweiler [2016-06-30 13:01:41] 685*2^1433957-1 is not prime. Res64: 8FF21084CE57D080 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:01:42] 759*2^1433957-1 is not prime. Res64: EBDCA8738FAD5833 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:24] 781*2^1433957-1 is not prime. Res64: BD753D5091CAB128 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:25] 847*2^1433957-1 is not prime. Res64: E24FB575BE89FE3B Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:25] 901*2^1433957-1 is not prime. Res64: D83086B4B4051EF8 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:25] 833*2^1433958-1 is not prime. Res64: E4A182DDC0D933D5 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:26] 709*2^1433959-1 is not prime. Res64: 7B4BBB07EA21FF42 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:48] 759*2^1433959-1 is not prime. Res64: D111225C8EE4BA04 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:49] 829*2^1433959-1 is not prime. Res64: E2587DD699C231B2 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:49] 843*2^1433959-1 is not prime. Res64: 26C17D209ECD105B Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:49] 855*2^1433959-1 is not prime. Res64: 631EC7A75A073701 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:29:50] 885*2^1433959-1 is not prime. Res64: ECE8FBCD5E3782E6 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:37:39] 939*2^1433959-1 is not prime. Res64: 4543D673B2520E3C Time : 0.0 sec. user=mdettweiler [2016-06-30 13:37:39] 985*2^1433959-1 is not prime. Res64: 313873D6C7D231AD Time : 0.0 sec. user=mdettweiler [2016-06-30 13:37:39] 725*2^1433960-1 is not prime. Res64: 46AAF0EB034BC8BA Time : 0.0 sec. user=mdettweiler [2016-06-30 13:37:40] 785*2^1433960-1 is not prime. Res64: C4B0829A0FD0A98A Time : 0.0 sec. user=mdettweiler [2016-06-30 13:37:40] 825*2^1433960-1 is not prime. Res64: A842990ED8D1178E Time : 0.0 sec. user=mdettweiler [2016-06-30 13:47:03] 899*2^1433960-1 is not prime. Res64: CB894ADBB3F9744E Time : 0.0 sec. user=mdettweiler [2016-06-30 13:47:07] 923*2^1433960-1 is not prime. Res64: A656C101E8AA9BF2 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:47:11] 959*2^1433960-1 is not prime. Res64: 079B2B3259166090 Time : 0.0 sec. user=mdettweiler [2016-06-30 13:47:15] 963*2^1433960-1 is not prime. Res64: 5C04076C8686434F Time : 0.0 sec. user=mdettweiler [2016-06-30 13:47:19] 609*2^1433961-1 is not prime. Res64: E15EBB7B2990276B Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:21] 685*2^1433961-1 is not prime. Res64: 39EE709D45C724F0 Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:22] 717*2^1433961-1 is not prime. Res64: D0F880AF27F861AB Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:22] 867*2^1433961-1 is not prime. Res64: 19C9C4150AB10EC1 Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:22] 885*2^1433961-1 is not prime. Res64: ACD98C2E84E279DD Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:23] 889*2^1433961-1 is not prime. Res64: 2BBD9E21CB0E89FC Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:50] 675*2^1433962-1 is not prime. Res64: 63EB1E2A90FEA2BE Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:51] 713*2^1433962-1 is not prime. Res64: 3B3B6F4AC22CB11B Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:51] 723*2^1433962-1 is not prime. Res64: 997BA992EC438E5C Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:51] 825*2^1433962-1 is not prime. Res64: EB0F2AD86AA6C77D Time : 0.0 sec. user=mdettweiler [2016-06-30 14:15:52] 923*2^1433962-1 is not prime. Res64: B2B860B16265799E Time : 0.0 sec. user=mdettweiler [2016-06-30 14:23:35] 983*2^1433962-1 is not prime. Res64: 5E60ABEB7F239646 Time : 0.0 sec. user=mdettweiler [2016-06-30 14:23:45] 615*2^1433963-1 is not prime. Res64: 50B28AB197E59A4A Time : 0.0 sec. user=mdettweiler [2016-06-30 14:33:08] 899*2^1433964-1 is not prime. Res64: E57EF2561BB365A5 Time : 0.0 sec. user=mdettweiler [2016-06-30 14:33:14] 661*2^1433965-1 is not prime. Res64: AC8F5B4A4E487A6E Time : 0.0 sec. user=mdettweiler [2016-06-30 14:33:20] 717*2^1433965-1 is not prime. Res64: 81F0002618614024 Time : 0.0 sec. user=mdettweiler [2016-06-30 14:33:26] 859*2^1433965-1 is not prime. Res64: 45BAE00F4E823FB5 Time : 0.0 sec. user=mdettweiler [2016-06-30 14:33:32] 919*2^1433965-1 is not prime. Res64: 2073DFC543DFE39B Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:07] 927*2^1433965-1 is not prime. Res64: 682A7C3AE2C991D2 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:13] 937*2^1433965-1 is not prime. Res64: C5CD8D1847C72CDA Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:21] 987*2^1433965-1 is not prime. Res64: A9FF83685E99A2ED Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:21] 993*2^1433966-1 is not prime. Res64: B722AF1D6FB8B47C Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:22] 875*2^1433966-1 is not prime. Res64: 970EBF9E21B37210 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:28] 805*2^1433967-1 is not prime. Res64: 9DA951B9B47DC04F Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:28] 893*2^1433966-1 is not prime. Res64: D41F0B99F10CA8F1 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:34] 879*2^1433967-1 is not prime. Res64: 95AC921148103E1C Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:40] 603*2^1433968-1 is not prime. Res64: C0F1A4D305FAB268 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:01:48] 605*2^1433968-1 is not prime. Res64: 0C8F40562A1BC283 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:19:33] 677*2^1433968-1 is not prime. Res64: C71FFC41CCCF499B Time : 0.0 sec. user=mdettweiler [2016-06-30 15:19:33] 689*2^1433968-1 is not prime. Res64: 3CDF0CDBB4FB9F9F Time : 0.0 sec. user=mdettweiler [2016-06-30 15:19:34] 909*2^1433968-1 is not prime. Res64: 473FFFB058BB7017 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:19:34] 933*2^1433968-1 is not prime. Res64: FDDB0C78BC21CFF8 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:19:34] 699*2^1433969-1 is not prime. Res64: 84494500C27AE2D8 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:35] 791*2^1433970-1 is not prime. Res64: 02B7303E7BD5C0F2 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:35] 905*2^1433970-1 is not prime. Res64: E4F11A9107CA86D4 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:35] 923*2^1433970-1 is not prime. Res64: 6A65EC8C0EAA6F83 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:36] 927*2^1433970-1 is not prime. Res64: CCAEDEC08C641221 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:36] 609*2^1433971-1 is not prime. Res64: 4236D1E4AC82D1A5 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:49] 795*2^1433969-1 is not prime. Res64: 966A8A561BAECF13 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:49] 627*2^1433970-1 is not prime. Res64: EE7E3267DF01719D Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:50] 651*2^1433970-1 is not prime. Res64: 555DEA4F02B2B5CA Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:50] 695*2^1433970-1 is not prime. Res64: 787648C56ED00A97 Time : 0.0 sec. user=mdettweiler [2016-06-30 15:47:51] 725*2^1433970-1 is not prime. Res64: 7F8582E345B68572 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:06:43] 673*2^1433971-1 is not prime. Res64: 2A427A911E23FD7C Time : 0.0 sec. user=mdettweiler [2016-06-30 16:06:45] 679*2^1433971-1 is not prime. Res64: 6998A3E324C3744E Time : 0.0 sec. user=mdettweiler [2016-06-30 16:06:46] 703*2^1433971-1 is not prime. Res64: 02C24E9F218299DA Time : 0.0 sec. user=mdettweiler [2016-06-30 16:06:46] 733*2^1433971-1 is not prime. Res64: D3E095C6D1C9B200 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:06:47] 819*2^1433971-1 is not prime. Res64: 991775DB38C0A197 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:35:40] 951*2^1433971-1 is not prime. Res64: 4CC8E41F811AF6B6 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:35:40] 615*2^1433972-1 is not prime. Res64: 6947EEF00AE00752 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:35:41] 629*2^1433972-1 is not prime. Res64: 64886EAB072105BF Time : 0.0 sec. user=mdettweiler [2016-06-30 16:35:41] 669*2^1433972-1 is not prime. Res64: AC749F0D5A8961BE Time : 0.0 sec. user=mdettweiler [2016-06-30 16:35:41] 759*2^1433972-1 is not prime. Res64: A2BED6B253C01AC6 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:36:15] 867*2^1433972-1 is not prime. Res64: F4FE017B6C2FD424 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:36:15] 983*2^1433972-1 is not prime. Res64: C0CC1B461D337F26 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:36:15] 987*2^1433972-1 is not prime. Res64: A3217A08F10FC10F Time : 0.0 sec. user=mdettweiler [2016-06-30 16:36:16] 999*2^1433972-1 is not prime. Res64: 4BDB3B6C9E13F33A Time : 0.0 sec. user=mdettweiler [2016-06-30 16:36:16] 607*2^1433973-1 is not prime. Res64: 2FC9CB2B8F1FD63E Time : 0.0 sec. user=mdettweiler [2016-06-30 16:42:17] 741*2^1433963-1 is not prime. Res64: 22798AE358067C4D Time : 0.0 sec. user=mdettweiler [2016-06-30 16:42:17] 811*2^1433963-1 is not prime. Res64: 893B6C93115C7EFD Time : 0.0 sec. user=mdettweiler [2016-06-30 16:42:18] 981*2^1433963-1 is not prime. Res64: C6359445969ED886 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:53:53] 651*2^1433973-1 is not prime. Res64: A4069A0BE72585BC Time : 0.0 sec. user=mdettweiler [2016-06-30 16:53:57] 685*2^1433973-1 is not prime. Res64: A8CDEA7FFE9152B7 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:54:01] 835*2^1433973-1 is not prime. Res64: 3A50C65986DA9759 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:54:05] 915*2^1433973-1 is not prime. Res64: 12D60FC082A9AFB2 Time : 0.0 sec. user=mdettweiler [2016-06-30 16:54:09] 919*2^1433973-1 is not prime. Res64: B2C9B8B12C8E34F8 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:01] 657*2^1433974-1 is not prime. Res64: 2AC586744D9E56F3 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:07] 707*2^1433974-1 is not prime. Res64: 46826D21EEE67C07 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:12] 723*2^1433974-1 is not prime. Res64: FAEAF393A9890F1F Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:18] 765*2^1433974-1 is not prime. Res64: 94848BBD9C88C952 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:23] 897*2^1433974-1 is not prime. Res64: 9A59208D005E24F5 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:47] 915*2^1433974-1 is not prime. Res64: ED21F71E19DB7D3D Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:51] 947*2^1433974-1 is not prime. Res64: A7280A492A0016DF Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:55] 609*2^1433975-1 is not prime. Res64: 0A9675F093F6895D Time : 0.0 sec. user=mdettweiler [2016-06-30 17:21:59] 805*2^1433975-1 is not prime. Res64: 20BCD3FF42E30691 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:22:03] 883*2^1433975-1 is not prime. Res64: 6E1A43FA5E30F76E Time : 0.0 sec. user=mdettweiler [2016-06-30 17:27:18] 885*2^1433975-1 is not prime. Res64: 617E2E81D8F69E16 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:27:25] 909*2^1433975-1 is not prime. Res64: FB7F2C944716D159 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:27:25] 921*2^1433975-1 is not prime. Res64: 84513157E6FEC0BA Time : 0.0 sec. user=mdettweiler [2016-06-30 17:27:31] 635*2^1433976-1 is not prime. Res64: DC2E3D655478369A Time : 0.0 sec. user=mdettweiler [2016-06-30 17:27:38] 669*2^1433976-1 is not prime. Res64: 2E0F5DFF6F6AC3CF Time : 0.0 sec. user=mdettweiler [2016-06-30 17:39:27] 675*2^1433976-1 is not prime. Res64: 67BEBDBD7B254785 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:39:27] 879*2^1433976-1 is not prime. Res64: E9CBF79F7E683F72 Time : 0.0 sec. user=mdettweiler [2016-06-30 17:39:28] 905*2^1433976-1 is not prime. Res64: 1CB03CF9D3287C3D Time : 0.0 sec. user=mdettweiler [2016-06-30 17:39:28] 927*2^1433976-1 is not prime. Res64: C76C8CAA6A1C2AAE Time : 0.0 sec. user=mdettweiler [2016-06-30 17:39:28] 975*2^1433976-1 is not prime. Res64: DD0698C296069776 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:06:32] 601*2^1433977-1 is not prime. Res64: 11F2ED8C367ED03E Time : 0.0 sec. user=mdettweiler [2016-06-30 18:06:39] 615*2^1433977-1 is not prime. Res64: 4EE691986769FF4F Time : 0.0 sec. user=mdettweiler [2016-06-30 18:07:35] 829*2^1433977-1 is not prime. Res64: 3C8CD23020B268CA Time : 0.0 sec. user=mdettweiler [2016-06-30 18:13:06] 921*2^1433978-1 is not prime. Res64: 963DC07698838211 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:13:07] 923*2^1433978-1 is not prime. Res64: 7D1DA26A4B38A007 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:13:07] 993*2^1433978-1 is not prime. Res64: B07158816BE42D41 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:13:07] 601*2^1433979-1 is not prime. Res64: CBCCEAA600DFD69A Time : 0.0 sec. user=mdettweiler [2016-06-30 18:13:08] 613*2^1433979-1 is not prime. Res64: 021B51FE5DB8F8A9 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:26:07] 679*2^1433979-1 is not prime. Res64: 88C427C10754C2B2 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:26:07] 741*2^1433979-1 is not prime. Res64: 8521DA831A6022CA Time : 0.0 sec. user=mdettweiler [2016-06-30 18:26:07] 777*2^1433980-1 is not prime. Res64: 04CE9BB34FCC6C84 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:26:08] 833*2^1433980-1 is not prime. Res64: 2CD68CC672501321 Time : 0.0 sec. user=mdettweiler [2016-06-30 18:26:08] 857*2^1433980-1 is not prime. Res64: EDD5A7DF2757EA6C Time : 0.0 sec. user=mdettweiler [2016-06-30 19:02:25] 909*2^1433980-1 is not prime. Res64: C63998ED14F916B9 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:02:26] 999*2^1433980-1 is not prime. Res64: FB63710223C779D9 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:02:27] 619*2^1433981-1 is not prime. Res64: 077D39D4B8EBDCBE Time : 0.0 sec. user=mdettweiler [2016-06-30 19:02:27] 997*2^1433981-1 is not prime. Res64: D2BB7E535FE503D7 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:02:28] 621*2^1433982-1 is not prime. Res64: 3B6D925CBD20820C Time : 0.0 sec. user=mdettweiler [2016-06-30 19:15:45] 627*2^1433982-1 is not prime. Res64: 4A2F307DC7D2073E Time : 0.0 sec. user=mdettweiler [2016-06-30 19:15:49] 695*2^1433982-1 is not prime. Res64: 4C896767FBDC1D66 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:15:53] 815*2^1433982-1 is not prime. Res64: C0466F6CB6FA9019 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:15:57] 825*2^1433982-1 is not prime. Res64: F47A7260F81518BA Time : 0.0 sec. user=mdettweiler [2016-06-30 19:16:02] 885*2^1433982-1 is not prime. Res64: 6A5C2DFAC4E40C32 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:53:07] 903*2^1433982-1 is not prime. Res64: 06FE4B467DFF0604 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:53:13] 945*2^1433982-1 is not prime. Res64: 22FB884E86580F96 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:53:17] 977*2^1433982-1 is not prime. Res64: A80EE50D7E8AF776 Time : 0.0 sec. user=mdettweiler [2016-06-30 19:53:21] 983*2^1433982-1 is not prime. Res64: DD6832355428D3AE Time : 0.0 sec. user=mdettweiler [2016-06-30 19:53:25] 1001*2^1433982-1 is not prime. Res64: 6920E9E339B3AA62 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:06:45] 603*2^1433983-1 is not prime. Res64: BAF64A5FC23502C6 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:06:46] 649*2^1433983-1 is not prime. Res64: 9155B633C6C39B3D Time : 0.0 sec. user=mdettweiler [2016-06-30 20:06:46] 685*2^1433983-1 is not prime. Res64: 10E088428A3B5BF3 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:06:47] 723*2^1433983-1 is not prime. Res64: D46FFF63581E4856 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:06:47] 751*2^1433983-1 is not prime. Res64: 03E5F66CA7314215 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:42:49] 829*2^1433983-1 is not prime. Res64: 472096BFF3DC987B Time : 0.0 sec. user=mdettweiler [2016-06-30 20:42:49] 861*2^1433983-1 is not prime. Res64: E608285E4A0AD346 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:42:50] 873*2^1433983-1 is not prime. Res64: 09E6D7130FD1D6CC Time : 0.0 sec. user=mdettweiler [2016-06-30 20:42:50] 895*2^1433983-1 is not prime. Res64: F4A7E19864BA681D Time : 0.0 sec. user=mdettweiler [2016-06-30 20:42:50] 993*2^1433983-1 is not prime. Res64: 892956981C9254EA Time : 0.0 sec. user=mdettweiler [2016-06-30 20:56:27] 635*2^1433984-1 is not prime. Res64: FA3CEBD618865900 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:56:31] 813*2^1433984-1 is not prime. Res64: 405151BAC79DFFC4 Time : 0.0 sec. user=mdettweiler [2016-06-30 20:56:35] 959*2^1433984-1 is not prime. Res64: 3485B21502BE62CA Time : 0.0 sec. user=mdettweiler [2016-06-30 20:56:39] 983*2^1433984-1 is not prime. Res64: C591ACCF5806E34B Time : 0.0 sec. user=mdettweiler [2016-06-30 20:56:43] 649*2^1433985-1 is not prime. Res64: D7B956D437C996E1 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:31:34] 667*2^1433985-1 is not prime. Res64: 9EC7FDA3D1FFC12B Time : 0.0 sec. user=mdettweiler [2016-06-30 21:31:42] 765*2^1433985-1 is not prime. Res64: BB5F7B18F4D4F7F2 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:31:49] 867*2^1433985-1 is not prime. Res64: CD7BEF18CDE44677 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:31:49] 991*2^1433985-1 is not prime. Res64: 4E0B6895DE337475 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:31:56] 647*2^1433986-1 is not prime. Res64: F2299790B35393D0 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:45:53] 663*2^1433986-1 is not prime. Res64: 9911739E01C00CEA Time : 0.0 sec. user=mdettweiler [2016-06-30 21:45:57] 785*2^1433986-1 is not prime. Res64: 5BB8F2A277E1614D Time : 0.0 sec. user=mdettweiler [2016-06-30 21:46:02] 857*2^1433986-1 is not prime. Res64: 110619F0EEED9456 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:46:06] 861*2^1433986-1 is not prime. Res64: 5C052FF2CAFFFD82 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:46:10] 911*2^1433986-1 is not prime. Res64: 7F7253C447198B71 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:51:22] 867*2^1433977-1 is not prime. Res64: 5A0577B1B486EB03 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:51:22] 711*2^1433978-1 is not prime. Res64: 5C1720DF56CA8C88 Time : 0.0 sec. user=mdettweiler [2016-06-30 21:51:23] 797*2^1433978-1 is not prime. Res64: D4C93119D765B32C Time : 0.0 sec. user=mdettweiler [2016-06-30 21:51:23] 893*2^1433978-1 is not prime. Res64: 9E1042A5960E0724 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:01:07] 639*2^1433977-1 is not prime. Res64: A12E797183031930 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:01:08] 651*2^1433977-1 is not prime. Res64: 08986C91DA600219 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:01:09] 751*2^1433977-1 is not prime. Res64: D572FA1937F7F935 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:18:49] 917*2^1433986-1 is not prime. Res64: D9ED4442284FAA5E Time : 0.0 sec. user=mdettweiler [2016-06-30 22:18:56] 971*2^1433986-1 is not prime. Res64: B68CA831CFBBA211 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:18:56] 987*2^1433986-1 is not prime. Res64: 082C39D46102BB2C Time : 0.0 sec. user=mdettweiler [2016-06-30 22:19:02] 609*2^1433987-1 is not prime. Res64: 153A14F709C3C939 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:19:08] 673*2^1433987-1 is not prime. Res64: 6F4E06D0809936A8 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:31:45] 703*2^1433987-1 is not prime. Res64: A6DC18BBD18DAFCD Time : 0.0 sec. user=mdettweiler [2016-06-30 22:31:46] 843*2^1433987-1 is not prime. Res64: 7429497858D22B06 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:31:46] 889*2^1433987-1 is not prime. Res64: BDE42924AC7E5734 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:31:47] 981*2^1433987-1 is not prime. Res64: 57120843C51E5C59 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:31:47] 993*2^1433987-1 is not prime. Res64: 1236839C74F1DE97 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:36:27] 633*2^1433988-1 is not prime. Res64: 291ABF16AD69B761 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:36:28] 705*2^1433988-1 is not prime. Res64: AC71AC62FE4AA75D Time : 0.0 sec. user=mdettweiler [2016-06-30 22:36:28] 797*2^1433988-1 is not prime. Res64: FB8ADA40FDCC3128 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:36:29] 803*2^1433988-1 is not prime. Res64: A623B70098AA8B52 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:36:29] 935*2^1433988-1 is not prime. Res64: 0C9EFDAC55DE7EC2 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:46:03] 999*2^1433988-1 is not prime. Res64: 1994F41012D58FD6 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:46:07] 609*2^1433989-1 is not prime. Res64: DE5086EA3B2DFCAC Time : 0.0 sec. user=mdettweiler [2016-06-30 22:46:11] 861*2^1433989-1 is not prime. Res64: 1C2C4AC7DD8B6596 Time : 0.0 sec. user=mdettweiler [2016-06-30 22:46:16] 931*2^1433989-1 is not prime. Res64: AA1E4C192DDF809E Time : 0.0 sec. user=mdettweiler [2016-06-30 22:46:20] 975*2^1433989-1 is not prime. Res64: 3CCE33B1FEF52BC0 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:03:59] 985*2^1433989-1 is not prime. Res64: BC3BB716FAC7E8C3 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:04:00] 987*2^1433989-1 is not prime. Res64: 29F27EB08022F25D Time : 0.0 sec. user=mdettweiler [2016-06-30 23:04:01] 615*2^1433990-1 is not prime. Res64: 2CB72AD64D74B3D0 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:04:02] 665*2^1433990-1 is not prime. Res64: 28A867425554D81F Time : 0.0 sec. user=mdettweiler [2016-06-30 23:04:03] 687*2^1433990-1 is not prime. Res64: 37FB0B5ED0FB9353 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:16:32] 861*2^1433990-1 is not prime. Res64: 90B3D9AE962463FB Time : 0.0 sec. user=mdettweiler [2016-06-30 23:16:33] 887*2^1433990-1 is not prime. Res64: 194F363DEE64E32C Time : 0.0 sec. user=mdettweiler [2016-06-30 23:16:33] 941*2^1433990-1 is not prime. Res64: DD373E367B55327C Time : 0.0 sec. user=mdettweiler [2016-06-30 23:16:33] 691*2^1433991-1 is not prime. Res64: 19E727FD977AC186 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:16:34] 751*2^1433991-1 is not prime. Res64: 533972C0B2493F58 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:21:24] 775*2^1433991-1 is not prime. Res64: C3715D759EFFE202 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:21:31] 945*2^1433991-1 is not prime. Res64: B889BBC5D400C093 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:21:38] 975*2^1433991-1 is not prime. Res64: 53C4D10981BA1BBE Time : 0.0 sec. user=mdettweiler [2016-06-30 23:21:44] 979*2^1433991-1 is not prime. Res64: 732E52D9064CEA7D Time : 0.0 sec. user=mdettweiler [2016-06-30 23:21:45] 999*2^1433991-1 is not prime. Res64: 0E320CDF06951A6B Time : 0.0 sec. user=mdettweiler [2016-06-30 23:31:16] 609*2^1433992-1 is not prime. Res64: C5624ACC334668BA Time : 0.0 sec. user=mdettweiler [2016-06-30 23:31:20] 615*2^1433992-1 is not prime. Res64: 2D168A71398DDF97 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:31:24] 635*2^1433992-1 is not prime. Res64: EE97BF5CDD9059DF Time : 0.0 sec. user=mdettweiler [2016-06-30 23:31:28] 687*2^1433992-1 is not prime. Res64: 6141D5D6586168C4 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:31:32] 695*2^1433992-1 is not prime. Res64: 307D47F05224B24C Time : 0.0 sec. user=mdettweiler [2016-06-30 23:48:51] 765*2^1433992-1 is not prime. Res64: E90A80B46FD8D0B8 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:48:51] 903*2^1433992-1 is not prime. Res64: 17ED6BE3C8D8C186 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:48:52] 939*2^1433992-1 is not prime. Res64: B4EF033DEBC3B8A8 Time : 0.0 sec. user=mdettweiler [2016-06-30 23:48:52] 995*2^1433992-1 is not prime. Res64: 31C548F85F26829B Time : 0.0 sec. user=mdettweiler [2016-06-30 23:48:53] 627*2^1433993-1 is not prime. Res64: 5702F7DE68E7499E Time : 0.0 sec.