user=mdettweiler [2013-08-24 00:09:17] 889*2^1251631-1 is not prime. Res64: 1B1E732C1FD8278C Time : 0.0 sec. user=mdettweiler [2013-08-24 00:09:18] 895*2^1251631-1 is not prime. Res64: 44845FB8F7CB84EA Time : 0.0 sec. user=mdettweiler [2013-08-24 00:11:55] 993*2^1251631-1 is not prime. Res64: 766F6880AD04939A Time : 0.0 sec. user=mdettweiler [2013-08-24 00:11:55] 959*2^1251632-1 is not prime. Res64: 8EA3B8CD122808C0 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:16:19] 657*2^1251633-1 is not prime. Res64: D6C185FB5C7417BB Time : 0.0 sec. user=mdettweiler [2013-08-24 00:16:20] 781*2^1251633-1 is not prime. Res64: 2B1649126EF95BBB Time : 0.0 sec. user=mdettweiler [2013-08-24 00:17:33] 847*2^1251633-1 is not prime. Res64: B9B8168BACEDAB24 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:17:34] 915*2^1251633-1 is not prime. Res64: 7ADA3033A80A6457 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:30:36] 951*2^1251633-1 is not prime. Res64: A83573DB59B53AFC Time : 0.0 sec. user=mdettweiler [2013-08-24 00:30:37] 605*2^1251634-1 is not prime. Res64: A5CA904A77CFEB82 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:32:07] 651*2^1251634-1 is not prime. Res64: 75E7F927AFB39598 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:32:07] 657*2^1251634-1 is not prime. Res64: D22920EB9F0F3989 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:36:33] 665*2^1251634-1 is not prime. Res64: 632B7E22AD9EDC3D Time : 0.0 sec. user=mdettweiler [2013-08-24 00:36:33] 695*2^1251634-1 is not prime. Res64: C45618EDA7B400CB Time : 0.0 sec. user=mdettweiler [2013-08-24 00:37:40] 705*2^1251634-1 is not prime. Res64: E4934C8D98A5BA9F Time : 0.0 sec. user=mdettweiler [2013-08-24 00:37:41] 737*2^1251634-1 is not prime. Res64: EA1E054FC69279F6 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:50:34] 813*2^1251634-1 is not prime. Res64: 79AC27CE94E80A9A Time : 0.0 sec. user=mdettweiler [2013-08-24 00:50:34] 651*2^1251635-1 is not prime. Res64: D98D135D09910847 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:52:05] 669*2^1251635-1 is not prime. Res64: 3FA016AF46E0AA39 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:52:05] 759*2^1251635-1 is not prime. Res64: B651451252E2449B Time : 0.0 sec. user=mdettweiler [2013-08-24 00:56:32] 855*2^1251635-1 is not prime. Res64: CE7062E105EAF723 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:56:33] 629*2^1251636-1 is not prime. Res64: 330800419C6C70E1 Time : 0.0 sec. user=mdettweiler [2013-08-24 00:57:40] 689*2^1251636-1 is not prime. Res64: 92FD5CF5173FAC9F Time : 0.0 sec. user=mdettweiler [2013-08-24 00:57:40] 789*2^1251636-1 is not prime. Res64: 13E738C2A316777F Time : 0.0 sec. user=mdettweiler [2013-08-24 01:10:34] 857*2^1251636-1 is not prime. Res64: AC35FEC9ACFEC909 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:10:35] 621*2^1251637-1 is not prime. Res64: 671A94AA90AC755E Time : 0.0 sec. user=mdettweiler [2013-08-24 01:12:06] 651*2^1251637-1 is not prime. Res64: 730F8298721CC499 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:12:06] 675*2^1251637-1 is not prime. Res64: 4C5646D0C114F848 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:16:39] 757*2^1251637-1 is not prime. Res64: A1775ACDEDA0A61C Time : 0.0 sec. user=mdettweiler [2013-08-24 01:16:39] 769*2^1251637-1 is not prime. Res64: F06C8A9FA619D90D Time : 0.0 sec. user=mdettweiler [2013-08-24 01:17:38] 777*2^1251637-1 is not prime. Res64: 0DEC77876548A83F Time : 0.0 sec. user=mdettweiler [2013-08-24 01:17:38] 825*2^1251637-1 is not prime. Res64: 5743E9DB9F8A4F9E Time : 0.0 sec. user=mdettweiler [2013-08-24 01:32:10] 641*2^1251638-1 is not prime. Res64: 24693BE8A96B4088 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:32:10] 671*2^1251638-1 is not prime. Res64: 5C55ED1AD5735F13 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:32:35] 967*2^1251637-1 is not prime. Res64: 69CEBD5D27FC9D12 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:32:36] 997*2^1251637-1 is not prime. Res64: 8352182E3AD65688 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:36:44] 753*2^1251638-1 is not prime. Res64: 657D093E96C07BA8 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:36:45] 761*2^1251638-1 is not prime. Res64: 80A7FD5C45CD4A1A Time : 0.0 sec. user=mdettweiler [2013-08-24 01:38:37] 773*2^1251638-1 is not prime. Res64: 9C3300059CE979EE Time : 0.0 sec. user=mdettweiler [2013-08-24 01:38:38] 911*2^1251638-1 is not prime. Res64: 210587526ED6A7CD Time : 0.0 sec. user=mdettweiler [2013-08-24 01:52:36] 639*2^1251639-1 is not prime. Res64: 11C099F9B6439F5E Time : 0.0 sec. user=mdettweiler [2013-08-24 01:52:37] 603*2^1251640-1 is not prime. Res64: 8B0CA45130CB66D3 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:53:58] 945*2^1251638-1 is not prime. Res64: 7A639B44EE7AF1E6 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:53:59] 977*2^1251638-1 is not prime. Res64: 4E5EE735187B28E1 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:56:45] 623*2^1251640-1 is not prime. Res64: 9DA8792DCC81FE13 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:56:46] 653*2^1251640-1 is not prime. Res64: 6DAD82CE412D6692 Time : 0.0 sec. user=mdettweiler [2013-08-24 01:58:34] 675*2^1251640-1 is not prime. Res64: 9854EFC73EEE076F Time : 0.0 sec. user=mdettweiler [2013-08-24 01:58:34] 695*2^1251640-1 is not prime. Res64: DB65A7271D05D9FB Time : 0.0 sec. user=mdettweiler [2013-08-24 02:12:40] 855*2^1251640-1 is not prime. Res64: F8D4D85F4CDAF042 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:12:40] 873*2^1251640-1 is not prime. Res64: 60AD4561670E1955 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:14:54] 875*2^1251640-1 is not prime. Res64: 825075945CA3C01D Time : 0.0 sec. user=mdettweiler [2013-08-24 02:14:55] 965*2^1251640-1 is not prime. Res64: A499C5DAA1F4EE97 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:17:43] 983*2^1251640-1 is not prime. Res64: 9EF64CD5C505FC68 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:17:44] 627*2^1251641-1 is not prime. Res64: 883C170F98BD6117 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:18:36] 711*2^1251641-1 is not prime. Res64: 1A3EC4E03B0742ED Time : 0.0 sec. user=mdettweiler [2013-08-24 02:18:36] 735*2^1251641-1 is not prime. Res64: 39B6C7FD3AC5DD26 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:33:38] 967*2^1251641-1 is not prime. Res64: C7E757315B906AD7 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:33:39] 797*2^1251642-1 is not prime. Res64: 71955B74F7E71122 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:34:52] 815*2^1251642-1 is not prime. Res64: 9C22661AC29AA38E Time : 0.0 sec. user=mdettweiler [2013-08-24 02:34:54] 885*2^1251642-1 is not prime. Res64: E64A199027BD5293 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:39:38] 891*2^1251642-1 is not prime. Res64: ED9F615313C87E10 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:39:39] 945*2^1251642-1 is not prime. Res64: 76D9CFA1779E0D0E Time : 0.0 sec. user=mdettweiler [2013-08-24 02:40:31] 983*2^1251642-1 is not prime. Res64: 7E6356F5600E0951 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:40:33] 1001*2^1251642-1 is not prime. Res64: 6965EA8927CC3BB3 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:54:50] 789*2^1251644-1 is not prime. Res64: 0A7D7DC2FFBDDF1B Time : 0.0 sec. user=mdettweiler [2013-08-24 02:54:51] 857*2^1251644-1 is not prime. Res64: 699D940003E7D699 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:55:38] 895*2^1251643-1 is not prime. Res64: 92303EF9846031DD Time : 0.0 sec. user=mdettweiler [2013-08-24 02:55:38] 901*2^1251643-1 is not prime. Res64: AAAD6AB4A7D9C2D4 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:59:39] 607*2^1251645-1 is not prime. Res64: 68FFA14C5D6E02D2 Time : 0.0 sec. user=mdettweiler [2013-08-24 02:59:39] 657*2^1251645-1 is not prime. Res64: 8296C062BECD2C85 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:00:29] 709*2^1251645-1 is not prime. Res64: 276ED6C845FA04F1 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:00:30] 765*2^1251645-1 is not prime. Res64: 8BFED8A28131D693 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:14:46] 849*2^1251645-1 is not prime. Res64: E2D83230CB4B5F53 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:14:47] 885*2^1251645-1 is not prime. Res64: D7F3604AA358A240 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:16:32] 895*2^1251645-1 is not prime. Res64: A48F787EC89CFC13 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:16:33] 611*2^1251646-1 is not prime. Res64: 855A6238927AD9F7 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:19:39] 623*2^1251646-1 is not prime. Res64: C1FE364C29AE2CBC Time : 0.0 sec. user=mdettweiler [2013-08-24 03:19:40] 755*2^1251646-1 is not prime. Res64: 60A9933C6BE340BE Time : 0.0 sec. user=mdettweiler [2013-08-24 03:20:32] 857*2^1251646-1 is not prime. Res64: 5DD873F73AD7E01D Time : 0.0 sec. user=mdettweiler [2013-08-24 03:20:32] 881*2^1251646-1 is not prime. Res64: AEE5319D4AC8A6A2 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:34:45] 621*2^1251647-1 is not prime. Res64: 2EF7F57050DCADB7 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:34:46] 661*2^1251647-1 is not prime. Res64: FEC782AC750E3DDC Time : 0.0 sec. user=mdettweiler [2013-08-24 03:36:29] 673*2^1251647-1 is not prime. Res64: 34FCE597A6813983 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:36:30] 693*2^1251647-1 is not prime. Res64: 0514111E33327A50 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:39:36] 763*2^1251647-1 is not prime. Res64: A706EAE6EB5AE042 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:39:37] 885*2^1251647-1 is not prime. Res64: B200495FA0A9D48D Time : 0.0 sec. user=mdettweiler [2013-08-24 03:42:24] 945*2^1251647-1 is not prime. Res64: CE769B266F13D676 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:42:25] 963*2^1251647-1 is not prime. Res64: 170788E9CDF9CE4C Time : 0.0 sec. user=mdettweiler [2013-08-24 03:56:36] 973*2^1251647-1 is not prime. Res64: 81F4506A214A9FCD Time : 0.0 sec. user=mdettweiler [2013-08-24 03:56:36] 979*2^1251647-1 is not prime. Res64: 097D396FBB27ED71 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:57:20] 999*2^1251647-1 is not prime. Res64: 98F62F02433FCDE3 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:57:21] 669*2^1251648-1 is not prime. Res64: EFC7D72C813FF700 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:59:33] 819*2^1251648-1 is not prime. Res64: 05BF740EDE3CEE64 Time : 0.0 sec. user=mdettweiler [2013-08-24 03:59:33] 845*2^1251648-1 is not prime. Res64: 7535A976818704D0 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:02:19] 741*2^1251649-1 is not prime. Res64: 0B6840D6D1A845A2 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:02:20] 769*2^1251649-1 is not prime. Res64: 1608BF5884AC6D97 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:16:28] 811*2^1251649-1 is not prime. Res64: 9B505C50E88AEF3A Time : 0.0 sec. user=mdettweiler [2013-08-24 04:16:29] 841*2^1251649-1 is not prime. Res64: A8808F8CA1837718 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:17:16] 867*2^1251649-1 is not prime. Res64: AFA746E7EB5EEB64 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:17:17] 665*2^1251650-1 is not prime. Res64: E0B4431F5A8B12A7 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:19:28] 675*2^1251650-1 is not prime. Res64: DD24FB467B2695CC Time : 0.0 sec. user=mdettweiler [2013-08-24 04:19:29] 701*2^1251650-1 is not prime. Res64: A3E774233F52049B Time : 0.0 sec. user=mdettweiler [2013-08-24 04:22:13] 735*2^1251650-1 is not prime. Res64: 237E6D2FB793D5B3 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:22:14] 783*2^1251650-1 is not prime. Res64: EF19340D698AC942 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:37:23] 797*2^1251650-1 is not prime. Res64: 16710789FE8C7D57 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:37:24] 935*2^1251650-1 is not prime. Res64: 159A68CB8BE5742F Time : 0.0 sec. user=mdettweiler [2013-08-24 04:39:04] 987*2^1251650-1 is not prime. Res64: 54756CBD8A5843B3 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:39:05] 1001*2^1251650-1 is not prime. Res64: 67690079F2F55CC6 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:39:22] 669*2^1251651-1 is not prime. Res64: 4E8D8B6CCBA00D06 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:39:23] 783*2^1251651-1 is not prime. Res64: 939995AFCFA61D82 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:42:06] 793*2^1251651-1 is not prime. Res64: F893E17D1B7402DA Time : 0.0 sec. user=mdettweiler [2013-08-24 04:42:07] 871*2^1251651-1 is not prime. Res64: 923C7914BFF455A0 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:58:30] 991*2^1251651-1 is not prime. Res64: 6BF3D71578E4FCBA Time : 0.0 sec. user=mdettweiler [2013-08-24 04:58:31] 605*2^1251652-1 is not prime. Res64: 8CA45E040095E57A Time : 0.0 sec. user=mdettweiler [2013-08-24 04:59:02] 743*2^1251652-1 is not prime. Res64: C6CCC1E5D45B3B34 Time : 0.0 sec. user=mdettweiler [2013-08-24 04:59:03] 863*2^1251652-1 is not prime. Res64: C5AA9B4657152706 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:01:20] 897*2^1251652-1 is not prime. Res64: 4E939E65B4ED06C1 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:01:21] 995*2^1251652-1 is not prime. Res64: 9168067452104C22 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:01:59] 615*2^1251653-1 is not prime. Res64: 2259087BB9BDB99A Time : 0.0 sec. user=mdettweiler [2013-08-24 05:02:00] 657*2^1251653-1 is not prime. Res64: AF764F46229802FD Time : 0.0 sec. user=mdettweiler [2013-08-24 05:18:20] 697*2^1251653-1 is not prime. Res64: 44E0B26CD64093A3 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:18:21] 759*2^1251653-1 is not prime. Res64: 05ADCB64F3C67E13 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:18:51] 725*2^1251654-1 is not prime. Res64: 48EE2EB404D2D38C Time : 0.0 sec. user=mdettweiler [2013-08-24 05:18:52] 731*2^1251654-1 is not prime. Res64: 43B2C55EBC0AEC78 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:21:12] 737*2^1251654-1 is not prime. Res64: 4B042123D66F708A Time : 0.0 sec. user=mdettweiler [2013-08-24 05:21:13] 887*2^1251654-1 is not prime. Res64: 1100318623D99165 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:23:44] 941*2^1251654-1 is not prime. Res64: A1E263D3D7C7834E Time : 0.0 sec. user=mdettweiler [2013-08-24 05:23:45] 947*2^1251654-1 is not prime. Res64: 1213CCBE93DA8AA0 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:38:44] 675*2^1251655-1 is not prime. Res64: C4B109BEEF8C7EFD Time : 0.0 sec. user=mdettweiler [2013-08-24 05:38:45] 685*2^1251655-1 is not prime. Res64: 39FF94AA67BB4604 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:39:09] 1001*2^1251654-1 is not prime. Res64: 82FAF980F23683EA Time : 0.0 sec. user=mdettweiler [2013-08-24 05:39:09] 645*2^1251655-1 is not prime. Res64: 078B7D05DEB031FD Time : 0.0 sec. user=mdettweiler [2013-08-24 05:41:03] 715*2^1251655-1 is not prime. Res64: CE010DD757E44436 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:41:03] 741*2^1251655-1 is not prime. Res64: 3D5EE9CA4C4EB95D Time : 0.0 sec. user=mdettweiler [2013-08-24 05:44:30] 783*2^1251655-1 is not prime. Res64: 311F6AD6CE468040 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:44:31] 913*2^1251655-1 is not prime. Res64: 278479F1DABF0361 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:58:59] 699*2^1251656-1 is not prime. Res64: 686E3F1466C2AC04 Time : 0.0 sec. user=mdettweiler [2013-08-24 05:58:59] 743*2^1251656-1 is not prime. Res64: 197632671829940C Time : 0.0 sec. user=mdettweiler [2013-08-24 06:00:26] 933*2^1251655-1 is not prime. Res64: C2648613F79713F5 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:00:28] 985*2^1251655-1 is not prime. Res64: 22CD1D3D865E002F Time : 0.0 sec. user=mdettweiler [2013-08-24 06:00:55] 825*2^1251656-1 is not prime. Res64: F53CB941E27BBD0E Time : 0.0 sec. user=mdettweiler [2013-08-24 06:00:56] 837*2^1251656-1 is not prime. Res64: 8E734AAD5668C466 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:04:20] 845*2^1251656-1 is not prime. Res64: 2C11B662D207F033 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:04:21] 795*2^1251657-1 is not prime. Res64: 15B981A12F4018A6 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:18:48] 805*2^1251657-1 is not prime. Res64: 58B3FBC84D94AAC1 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:18:48] 817*2^1251657-1 is not prime. Res64: E254403C585CEC8A Time : 0.0 sec. user=mdettweiler [2013-08-24 06:20:49] 605*2^1251658-1 is not prime. Res64: 48A140385B4167F4 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:20:50] 765*2^1251658-1 is not prime. Res64: 0A148AF2B71899B5 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:21:16] 837*2^1251657-1 is not prime. Res64: 47EBA910206FBBED Time : 0.0 sec. user=mdettweiler [2013-08-24 06:21:16] 909*2^1251657-1 is not prime. Res64: D2ABE3D313B7EB56 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:24:09] 815*2^1251658-1 is not prime. Res64: E001BF893D279359 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:24:10] 825*2^1251658-1 is not prime. Res64: 5F94422D5A920C1C Time : 0.0 sec. user=mdettweiler [2013-08-24 06:40:28] 911*2^1251658-1 is not prime. Res64: 3C67D64AB085BFCF Time : 0.0 sec. user=mdettweiler [2013-08-24 06:40:28] 951*2^1251658-1 is not prime. Res64: A3943B9E91EE6325 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:41:40] 975*2^1251658-1 is not prime. Res64: 72B6977A365655F9 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:41:40] 621*2^1251659-1 is not prime. Res64: E387E03470FF1223 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:42:07] 789*2^1251659-1 is not prime. Res64: D182482DD757D658 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:42:07] 913*2^1251659-1 is not prime. Res64: 69105DFD1B795418 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:43:59] 627*2^1251660-1 is not prime. Res64: A895205E44BE0C59 Time : 0.0 sec. user=mdettweiler [2013-08-24 06:43:59] 665*2^1251660-1 is not prime. Res64: 5C77B1723729D54F Time : 0.0 sec. user=mdettweiler [2013-08-24 07:00:31] 717*2^1251660-1 is not prime. Res64: 58A3FAD1A959550D Time : 0.0 sec. user=mdettweiler [2013-08-24 07:00:32] 777*2^1251660-1 is not prime. Res64: 258F8B08A02464BF Time : 0.0 sec. user=mdettweiler [2013-08-24 07:01:27] 783*2^1251660-1 is not prime. Res64: 77AC7E1EA5E3B3C8 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:01:28] 797*2^1251660-1 is not prime. Res64: 813AD4E743FC3154 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:02:57] 839*2^1251660-1 is not prime. Res64: B04C0CDA1D577479 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:02:58] 965*2^1251660-1 is not prime. Res64: 44123494DE2D77F3 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:03:45] 607*2^1251661-1 is not prime. Res64: 80739C4890A8CC2F Time : 0.0 sec. user=mdettweiler [2013-08-24 07:03:46] 645*2^1251661-1 is not prime. Res64: D781E44AA2B03B5C Time : 0.0 sec. user=mdettweiler [2013-08-24 07:20:29] 685*2^1251661-1 is not prime. Res64: 5D64927E97B82B2D Time : 0.0 sec. user=mdettweiler [2013-08-24 07:20:30] 801*2^1251661-1 is not prime. Res64: 5DA2C44CDE247A27 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:22:52] 627*2^1251662-1 is not prime. Res64: A47CCEE2B46D919F Time : 0.0 sec. user=mdettweiler [2013-08-24 07:22:52] 645*2^1251662-1 is not prime. Res64: 2CDFC7B90E6F39D6 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:23:18] 939*2^1251661-1 is not prime. Res64: 45DE0C78DF723B95 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:23:18] 961*2^1251661-1 is not prime. Res64: 57BDEA78F141B48A Time : 0.0 sec. user=mdettweiler [2013-08-24 07:23:37] 671*2^1251662-1 is not prime. Res64: F58CFE560F11A956 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:23:37] 677*2^1251662-1 is not prime. Res64: FBD6951672AA1CD2 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:40:24] 713*2^1251662-1 is not prime. Res64: 318C9DCD7EBF61D2 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:40:24] 801*2^1251662-1 is not prime. Res64: 10BA36E1652D8D47 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:44:26] 981*2^1251662-1 is not prime. Res64: A901AD78F4321E71 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:44:27] 709*2^1251663-1 is not prime. Res64: 64757BB423E1E6F8 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:44:33] 911*2^1251662-1 is not prime. Res64: B8A7E13EB2204F22 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:44:33] 921*2^1251662-1 is not prime. Res64: CD7F216BD3AACFE2 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:45:11] 951*2^1251662-1 is not prime. Res64: 384AD9B014896476 Time : 0.0 sec. user=mdettweiler [2013-08-24 07:45:12] 977*2^1251662-1 is not prime. Res64: 2B99397A7E2E08DD Time : 0.0 sec. user=mdettweiler [2013-08-24 08:00:14] 783*2^1251663-1 is not prime. Res64: 63764AD77565D56B Time : 0.0 sec. user=mdettweiler [2013-08-24 08:00:15] 823*2^1251663-1 is not prime. Res64: 2EC1B0F9FB91C387 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:04:21] 831*2^1251663-1 is not prime. Res64: 2AFD8CB53A09B945 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:04:22] 853*2^1251663-1 is not prime. Res64: A36921B33F19BBD8 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:04:30] 861*2^1251663-1 is not prime. Res64: 201B4CC1B16F2510 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:04:31] 879*2^1251663-1 is not prime. Res64: 42506825800A281C Time : 0.0 sec. user=mdettweiler [2013-08-24 08:06:57] 891*2^1251663-1 is not prime. Res64: FC33C6145553E2C9 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:06:57] 895*2^1251663-1 is not prime. Res64: 32E345BADA289EE4 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:21:59] 963*2^1251663-1 is not prime. Res64: DCA3C7195827A6C3 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:22:00] 969*2^1251663-1 is not prime. Res64: CEC811E2AD77CA5D Time : 0.0 sec. user=mdettweiler [2013-08-24 08:24:12] 743*2^1251664-1 is not prime. Res64: AB4188CD3B3C152C Time : 0.0 sec. user=mdettweiler [2013-08-24 08:24:12] 747*2^1251664-1 is not prime. Res64: 0AD3811A832437C9 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:24:22] 765*2^1251664-1 is not prime. Res64: 7A8498C4970E1406 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:24:22] 869*2^1251664-1 is not prime. Res64: 84793A290F779699 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:28:43] 909*2^1251664-1 is not prime. Res64: 1D7AF38AD2141452 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:28:43] 939*2^1251664-1 is not prime. Res64: E50D004F4880F969 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:41:51] 651*2^1251665-1 is not prime. Res64: 44C22FE073258BEE Time : 0.0 sec. user=mdettweiler [2013-08-24 08:41:52] 717*2^1251665-1 is not prime. Res64: 77C893206D772425 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:44:13] 611*2^1251666-1 is not prime. Res64: A7C4EE5BD10C09A4 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:44:13] 713*2^1251666-1 is not prime. Res64: DADD1BC67ADF5C7F Time : 0.0 sec. user=mdettweiler [2013-08-24 08:44:59] 831*2^1251665-1 is not prime. Res64: 8F63F61CFC476A21 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:44:59] 909*2^1251665-1 is not prime. Res64: CE99249918BD0E45 Time : 0.0 sec. user=mdettweiler [2013-08-24 08:48:30] 803*2^1251666-1 is not prime. Res64: 94654AE1C56A714B Time : 0.0 sec. user=mdettweiler [2013-08-24 08:48:30] 843*2^1251666-1 is not prime. Res64: CF547DFFF98F09A0 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:02:43] 881*2^1251666-1 is not prime. Res64: 4455D3A94474E1B5 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:02:44] 963*2^1251666-1 is not prime. Res64: B52126808650E8DD Time : 0.0 sec. user=mdettweiler [2013-08-24 09:04:53] 659*2^1251668-1 is not prime. Res64: 886A5D825C981856 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:04:54] 669*2^1251668-1 is not prime. Res64: 2D07F539EEBEE92C Time : 0.0 sec. user=mdettweiler [2013-08-24 09:05:58] 971*2^1251666-1 is not prime. Res64: 68EAD36416DCBFA4 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:05:59] 975*2^1251667-1 is not prime. Res64: C2AF140AA94B5350 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:08:16] 687*2^1251668-1 is not prime. Res64: 0ED00BAC893774A9 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:08:18] 743*2^1251668-1 is not prime. Res64: ED4A2C98BAFEBEB8 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:23:42] 957*2^1251668-1 is not prime. Res64: A593D86C9DD7A203 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:23:42] 745*2^1251669-1 is not prime. Res64: EFCD6AD230A0FC79 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:25:45] 877*2^1251669-1 is not prime. Res64: DAC33D9B7DB6631A Time : 0.0 sec. user=mdettweiler [2013-08-24 09:25:46] 907*2^1251669-1 is not prime. Res64: 3B01C1D235EAA677 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:27:50] 945*2^1251669-1 is not prime. Res64: 845F069B563A424B Time : 0.0 sec. user=mdettweiler [2013-08-24 09:27:50] 969*2^1251669-1 is not prime. Res64: 280D92E2F14841AE Time : 0.0 sec. user=mdettweiler [2013-08-24 09:28:09] 605*2^1251670-1 is not prime. Res64: 53F2A8010956EE55 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:28:10] 761*2^1251670-1 is not prime. Res64: F6F31138FF49A735 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:43:30] 773*2^1251670-1 is not prime. Res64: 57F438AAA44373DF Time : 0.0 sec. user=mdettweiler [2013-08-24 09:43:31] 791*2^1251670-1 is not prime. Res64: 3192CA4350ABB74D Time : 0.0 sec. user=mdettweiler [2013-08-24 09:45:36] 821*2^1251670-1 is not prime. Res64: 89DA4DE94D93EC49 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:45:37] 827*2^1251670-1 is not prime. Res64: A7584743DC6D32E9 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:47:38] 833*2^1251670-1 is not prime. Res64: 6B8E3E229C70EC3E Time : 0.0 sec. user=mdettweiler [2013-08-24 09:47:38] 663*2^1251671-1 is not prime. Res64: 941F18989BC8727B Time : 0.0 sec. user=mdettweiler [2013-08-24 09:47:58] 705*2^1251671-1 is not prime. Res64: 8618C496673174F6 Time : 0.0 sec. user=mdettweiler [2013-08-24 09:47:58] 781*2^1251671-1 is not prime. Res64: B1CC7ACF40CEE29A Time : 0.0 sec. user=mdettweiler [2013-08-24 10:04:22] 981*2^1251671-1 is not prime. Res64: A756D05DA4F15036 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:04:23] 675*2^1251672-1 is not prime. Res64: ACFFB1CD792F995C Time : 0.0 sec. user=mdettweiler [2013-08-24 10:06:37] 867*2^1251672-1 is not prime. Res64: 692FF28C92BCCBCC Time : 0.0 sec. user=mdettweiler [2013-08-24 10:06:38] 893*2^1251672-1 is not prime. Res64: F594ED02DBF72738 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:07:57] 681*2^1251673-1 is not prime. Res64: E79CE7A9776DD92F Time : 0.0 sec. user=mdettweiler [2013-08-24 10:07:58] 721*2^1251673-1 is not prime. Res64: 1952C469A68775EA Time : 0.0 sec. user=mdettweiler [2013-08-24 10:09:31] 947*2^1251672-1 is not prime. Res64: B36EA64A3B042FF3 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:09:32] 959*2^1251672-1 is not prime. Res64: 34B2F703F4C7BEF6 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:25:16] 819*2^1251673-1 is not prime. Res64: 0E67D3A6F4B2BE1B Time : 0.0 sec. user=mdettweiler [2013-08-24 10:25:17] 985*2^1251673-1 is not prime. Res64: 0896838DC7779512 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:26:38] 627*2^1251674-1 is not prime. Res64: 8D21BB727F069A24 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:26:39] 641*2^1251674-1 is not prime. Res64: 674B34E467EBE3D3 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:27:50] 665*2^1251674-1 is not prime. Res64: 4F48AAC3531BB65F Time : 0.0 sec. user=mdettweiler [2013-08-24 10:27:51] 875*2^1251674-1 is not prime. Res64: 510031BF66D5A4B7 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:29:30] 885*2^1251674-1 is not prime. Res64: 65763FBFBCA9A1BC Time : 0.0 sec. user=mdettweiler [2013-08-24 10:29:30] 887*2^1251674-1 is not prime. Res64: 30467AC28CC8EE9F Time : 0.0 sec. user=mdettweiler [2013-08-24 10:46:18] 917*2^1251674-1 is not prime. Res64: ED3F7F81C3665CF0 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:46:18] 613*2^1251675-1 is not prime. Res64: 86680C412F869B72 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:46:26] 651*2^1251675-1 is not prime. Res64: 4832843C572E0199 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:46:27] 753*2^1251675-1 is not prime. Res64: D71C0455676C8CDB Time : 0.0 sec. user=mdettweiler [2013-08-24 10:47:38] 789*2^1251675-1 is not prime. Res64: 94B5E6A6F8C99B37 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:47:39] 793*2^1251675-1 is not prime. Res64: 13A623BAB7C34452 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:50:19] 795*2^1251675-1 is not prime. Res64: 9823DF30D9EC0850 Time : 0.0 sec. user=mdettweiler [2013-08-24 10:50:20] 903*2^1251675-1 is not prime. Res64: 9F88EB9B3DB30740 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:06:19] 743*2^1251676-1 is not prime. Res64: 937ABE221D7C0578 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:06:20] 785*2^1251676-1 is not prime. Res64: 810F2F185B1E2168 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:07:02] 999*2^1251675-1 is not prime. Res64: 5003EE1B5DB69435 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:07:03] 699*2^1251676-1 is not prime. Res64: 3D2E89B24744B582 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:07:33] 839*2^1251676-1 is not prime. Res64: 8C6595E739AC4999 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:07:33] 887*2^1251676-1 is not prime. Res64: 5B496398B0CE7299 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:11:06] 899*2^1251676-1 is not prime. Res64: 0238FEF8F197F89D Time : 0.0 sec. user=mdettweiler [2013-08-24 11:11:07] 615*2^1251677-1 is not prime. Res64: CA0D8EA799C6637E Time : 0.0 sec. user=mdettweiler [2013-08-24 11:26:15] 691*2^1251677-1 is not prime. Res64: 16D8DFBC873A8BE5 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:26:15] 729*2^1251677-1 is not prime. Res64: CD55DBEFBD440161 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:26:49] 759*2^1251677-1 is not prime. Res64: 5AF35460DD4A1B3A Time : 0.0 sec. user=mdettweiler [2013-08-24 11:26:50] 781*2^1251677-1 is not prime. Res64: 9239EEC09F0CFE8B Time : 0.0 sec. user=mdettweiler [2013-08-24 11:28:22] 799*2^1251677-1 is not prime. Res64: 867B0CFDDA17F67E Time : 0.0 sec. user=mdettweiler [2013-08-24 11:28:23] 985*2^1251677-1 is not prime. Res64: 074B4F9E1B632D3A Time : 0.0 sec. user=mdettweiler [2013-08-24 11:31:04] 663*2^1251678-1 is not prime. Res64: 867AF003524E5357 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:31:05] 861*2^1251678-1 is not prime. Res64: 74C9414A23D5580B Time : 0.0 sec. user=mdettweiler [2013-08-24 11:46:40] 745*2^1251679-1 is not prime. Res64: 294B28F41BCE7610 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:46:40] 769*2^1251679-1 is not prime. Res64: 42C9047C36F75356 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:47:00] 921*2^1251678-1 is not prime. Res64: 7D9E6839F317F9F5 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:47:01] 723*2^1251679-1 is not prime. Res64: AD1D1D5A8AB973CD Time : 0.0 sec. user=mdettweiler [2013-08-24 11:48:11] 789*2^1251679-1 is not prime. Res64: 8749C258C3193765 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:48:12] 793*2^1251679-1 is not prime. Res64: 947E41FF27B3EFDA Time : 0.0 sec. user=mdettweiler [2013-08-24 11:51:55] 841*2^1251679-1 is not prime. Res64: 0A61C207B644E727 Time : 0.0 sec. user=mdettweiler [2013-08-24 11:51:56] 969*2^1251679-1 is not prime. Res64: 0E2E43FF41118178 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:06:54] 669*2^1251680-1 is not prime. Res64: 4EC6C37442E583CD Time : 0.0 sec. user=mdettweiler [2013-08-24 12:06:54] 699*2^1251680-1 is not prime. Res64: 8E9355D4083DB7F9 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:07:28] 999*2^1251679-1 is not prime. Res64: DF545789F540D7D8 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:07:28] 635*2^1251680-1 is not prime. Res64: BA5B3AA149D71E06 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:08:02] 743*2^1251680-1 is not prime. Res64: C0931E418246E10F Time : 0.0 sec. user=mdettweiler [2013-08-24 12:08:03] 753*2^1251680-1 is not prime. Res64: AF4B305808C2098F Time : 0.0 sec. user=mdettweiler [2013-08-24 12:11:55] 777*2^1251680-1 is not prime. Res64: B817D9A2AC4D5952 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:11:57] 785*2^1251680-1 is not prime. Res64: 71F7F2AC6BFE37FC Time : 0.0 sec. user=mdettweiler [2013-08-24 12:26:56] 691*2^1251681-1 is not prime. Res64: DEC2668D8585B578 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:26:57] 819*2^1251681-1 is not prime. Res64: 57469458A3AE3E35 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:27:21] 603*2^1251682-1 is not prime. Res64: 765220FF5BC87C5E Time : 0.0 sec. user=mdettweiler [2013-08-24 12:27:22] 623*2^1251682-1 is not prime. Res64: 15EA069D753904C1 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:27:57] 665*2^1251682-1 is not prime. Res64: 614BEB621FB1193C Time : 0.0 sec. user=mdettweiler [2013-08-24 12:27:58] 677*2^1251682-1 is not prime. Res64: 5F1943535AC327EE Time : 0.0 sec. user=mdettweiler [2013-08-24 12:32:00] 743*2^1251682-1 is not prime. Res64: 15179D9F3A6466FF Time : 0.0 sec. user=mdettweiler [2013-08-24 12:32:00] 827*2^1251682-1 is not prime. Res64: B47130760E8F4EDE Time : 0.0 sec. user=mdettweiler [2013-08-24 12:47:21] 615*2^1251683-1 is not prime. Res64: 3B23874E88374526 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:47:22] 699*2^1251683-1 is not prime. Res64: 4B204232EB6D8198 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:47:52] 987*2^1251682-1 is not prime. Res64: 1FFACD65076C8650 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:47:52] 609*2^1251683-1 is not prime. Res64: CAEDDAAE4AD3E067 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:47:57] 859*2^1251683-1 is not prime. Res64: 7D3B4B6D07DB5303 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:47:58] 871*2^1251683-1 is not prime. Res64: CF9BF8DB9A399E9D Time : 0.0 sec. user=mdettweiler [2013-08-24 12:53:51] 939*2^1251683-1 is not prime. Res64: 93A8A93DD689E095 Time : 0.0 sec. user=mdettweiler [2013-08-24 12:53:51] 945*2^1251683-1 is not prime. Res64: 650B8AA1C18A947A Time : 0.0 sec. user=mdettweiler [2013-08-24 13:07:15] 693*2^1251684-1 is not prime. Res64: 3171E018EBD7A58D Time : 0.0 sec. user=mdettweiler [2013-08-24 13:07:16] 767*2^1251684-1 is not prime. Res64: EC67221D02A1156D Time : 0.0 sec. user=mdettweiler [2013-08-24 13:08:43] 789*2^1251684-1 is not prime. Res64: ED791A555F7BDEA3 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:08:44] 959*2^1251684-1 is not prime. Res64: EA1F61DF65EFECC4 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:08:50] 965*2^1251684-1 is not prime. Res64: A74CBB446B91A455 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:08:50] 741*2^1251685-1 is not prime. Res64: 3D58772C4A988587 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:13:46] 757*2^1251685-1 is not prime. Res64: 3595D4D84C93A328 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:13:46] 831*2^1251685-1 is not prime. Res64: D733D538B9491064 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:28:05] 889*2^1251685-1 is not prime. Res64: 9853571C163503B8 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:28:06] 951*2^1251685-1 is not prime. Res64: 2D389AEF4401C44A Time : 0.0 sec. user=mdettweiler [2013-08-24 13:29:45] 801*2^1251686-1 is not prime. Res64: 87ACEE95C93B87F8 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:29:45] 893*2^1251686-1 is not prime. Res64: 004136AF20059FF7 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:30:31] 955*2^1251685-1 is not prime. Res64: 6B28BC423C551068 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:30:31] 987*2^1251685-1 is not prime. Res64: F1E49BF51F574B5E Time : 0.0 sec. user=mdettweiler [2013-08-24 13:35:33] 903*2^1251686-1 is not prime. Res64: 95DD977EE43E885A Time : 0.0 sec. user=mdettweiler [2013-08-24 13:35:33] 983*2^1251686-1 is not prime. Res64: A28DC495A65A4838 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:48:04] 619*2^1251687-1 is not prime. Res64: 857067366D079B8E Time : 0.0 sec. user=mdettweiler [2013-08-24 13:48:04] 705*2^1251687-1 is not prime. Res64: 191482D78AB6F5D8 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:49:43] 711*2^1251687-1 is not prime. Res64: FAF51ABA08B5A4AC Time : 0.0 sec. user=mdettweiler [2013-08-24 13:49:43] 741*2^1251687-1 is not prime. Res64: B85472B044C16551 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:50:22] 825*2^1251687-1 is not prime. Res64: 37A8FE577EA19EF6 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:50:22] 871*2^1251687-1 is not prime. Res64: 0937D4B0B504320E Time : 0.0 sec. user=mdettweiler [2013-08-24 13:56:24] 979*2^1251687-1 is not prime. Res64: 0C89B10A777A0216 Time : 0.0 sec. user=mdettweiler [2013-08-24 13:56:24] 605*2^1251688-1 is not prime. Res64: 186E24922ED398C4 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:08:02] 635*2^1251688-1 is not prime. Res64: 59AF9003E280BDA0 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:08:02] 663*2^1251688-1 is not prime. Res64: CBB45244EA9CE004 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:09:47] 699*2^1251688-1 is not prime. Res64: A2601CA6762CF3B5 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:09:48] 707*2^1251688-1 is not prime. Res64: 3AF5DF275012A3A0 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:10:22] 765*2^1251688-1 is not prime. Res64: C27C2012301A0F64 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:10:23] 797*2^1251688-1 is not prime. Res64: 9D512B95865D5EA5 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:16:19] 813*2^1251688-1 is not prime. Res64: C3CA37AF761A775D Time : 0.0 sec. user=mdettweiler [2013-08-24 14:16:20] 863*2^1251688-1 is not prime. Res64: 83FD86CEB834085A Time : 0.0 sec. user=mdettweiler [2013-08-24 14:28:59] 933*2^1251688-1 is not prime. Res64: C370F36F5843096D Time : 0.0 sec. user=mdettweiler [2013-08-24 14:29:00] 795*2^1251689-1 is not prime. Res64: DF7FFFF6E613A334 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:29:45] 861*2^1251689-1 is not prime. Res64: DEBF1C2DD857678B Time : 0.0 sec. user=mdettweiler [2013-08-24 14:29:45] 867*2^1251689-1 is not prime. Res64: 9AD93CDCC9B80917 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:31:18] 951*2^1251689-1 is not prime. Res64: B01F7654436FDC6C Time : 0.0 sec. user=mdettweiler [2013-08-24 14:31:19] 741*2^1251690-1 is not prime. Res64: B6F07B68BCF8D1F3 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:37:17] 843*2^1251690-1 is not prime. Res64: CD60E962A182FADF Time : 0.0 sec. user=mdettweiler [2013-08-24 14:37:18] 951*2^1251690-1 is not prime. Res64: 53BA9C5B9CE5E577 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:49:47] 649*2^1251691-1 is not prime. Res64: E759D07F243562DE Time : 0.0 sec. user=mdettweiler [2013-08-24 14:49:48] 681*2^1251691-1 is not prime. Res64: A6A8708AABC6B407 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:50:53] 971*2^1251690-1 is not prime. Res64: 01D7419488A51F88 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:50:53] 977*2^1251690-1 is not prime. Res64: 596E40497F3EB87C Time : 0.0 sec. user=mdettweiler [2013-08-24 14:51:19] 657*2^1251692-1 is not prime. Res64: 5169B2DB4946029C Time : 0.0 sec. user=mdettweiler [2013-08-24 14:51:20] 669*2^1251692-1 is not prime. Res64: 38D0F8C69F671052 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:57:13] 675*2^1251692-1 is not prime. Res64: 33CC210FC1FD6D54 Time : 0.0 sec. user=mdettweiler [2013-08-24 14:57:14] 749*2^1251692-1 is not prime. Res64: 358D22913597C900 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:09:43] 843*2^1251692-1 is not prime. Res64: C7CFBC7A0E154CA5 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:09:44] 657*2^1251693-1 is not prime. Res64: 8DCCBD56BF660698 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:10:50] 735*2^1251693-1 is not prime. Res64: BC7F37A30D0E0193 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:10:50] 747*2^1251693-1 is not prime. Res64: 57F4091884540850 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:11:18] 861*2^1251693-1 is not prime. Res64: A635102257AAF705 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:11:19] 885*2^1251693-1 is not prime. Res64: B1D8A38CA43F262D Time : 0.0 sec. user=mdettweiler [2013-08-24 15:18:08] 889*2^1251693-1 is not prime. Res64: 60FA10761892B85E Time : 0.0 sec. user=mdettweiler [2013-08-24 15:18:09] 951*2^1251693-1 is not prime. Res64: 8C532E6338C3573E Time : 0.0 sec. user=juhehe [2013-08-24 15:26:59] 819*2^1251691-1 is not prime. Res64: 08C44920D0245063 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:29:46] 671*2^1251694-1 is not prime. Res64: A29E9E50D0450439 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:29:46] 675*2^1251694-1 is not prime. Res64: B13A17F97637569F Time : 0.0 sec. user=mdettweiler [2013-08-24 15:30:43] 681*2^1251694-1 is not prime. Res64: 12DD3D699F01F026 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:30:44] 717*2^1251694-1 is not prime. Res64: A8703B3D5284F01A Time : 0.0 sec. user=mdettweiler [2013-08-24 15:31:20] 723*2^1251694-1 is not prime. Res64: 8AFC4DCC895F3B5C Time : 0.0 sec. user=mdettweiler [2013-08-24 15:31:21] 755*2^1251694-1 is not prime. Res64: 30870C04BEBC26F8 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:38:08] 827*2^1251694-1 is not prime. Res64: 3A1F16917C19A446 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:38:08] 855*2^1251694-1 is not prime. Res64: DB7BB5574353CB08 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:51:29] 663*2^1251695-1 is not prime. Res64: AAE0F5ECF30198DE Time : 0.0 sec. user=mdettweiler [2013-08-24 15:51:30] 673*2^1251695-1 is not prime. Res64: 9FE99BF193662AFA Time : 0.0 sec. user=mdettweiler [2013-08-24 15:51:36] 915*2^1251694-1 is not prime. Res64: D6D816E41E1D0D00 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:51:36] 917*2^1251694-1 is not prime. Res64: 872A1C94ACB4FFB6 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:51:42] 951*2^1251694-1 is not prime. Res64: 58AD1AF82338D821 Time : 0.0 sec. user=mdettweiler [2013-08-24 15:51:42] 651*2^1251695-1 is not prime. Res64: 8DCBB27D77FC2DAE Time : 0.0 sec. user=mdettweiler [2013-08-24 15:58:08] 741*2^1251695-1 is not prime. Res64: 8E0F4F93BDD5273E Time : 0.0 sec. user=mdettweiler [2013-08-24 15:58:08] 753*2^1251695-1 is not prime. Res64: 455CB8001F1ED079 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:11:51] 689*2^1251696-1 is not prime. Res64: 52D1BD77E39DE3F0 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:11:52] 705*2^1251696-1 is not prime. Res64: FD323C5DCF3C5D96 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:11:52] 623*2^1251696-1 is not prime. Res64: FF3386E4B32CEDAE Time : 0.0 sec. user=mdettweiler [2013-08-24 16:11:53] 629*2^1251696-1 is not prime. Res64: 84A5E5FB0D3C1983 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:12:31] 763*2^1251695-1 is not prime. Res64: 070E8F5973F5C9C8 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:12:31] 981*2^1251695-1 is not prime. Res64: 88E70F790A7C934A Time : 0.0 sec. user=mdettweiler [2013-08-24 16:18:16] 737*2^1251696-1 is not prime. Res64: B533DE34054AC2C7 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:18:17] 839*2^1251696-1 is not prime. Res64: A56FE8B80616B70B Time : 0.0 sec. user=mdettweiler [2013-08-24 16:32:33] 831*2^1251697-1 is not prime. Res64: A06DAC9409F26007 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:32:34] 885*2^1251697-1 is not prime. Res64: FB0B772E9634AE50 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:32:52] 969*2^1251696-1 is not prime. Res64: 925E2D20650AA5C4 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:32:53] 801*2^1251697-1 is not prime. Res64: FECB4A7296A60F77 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:32:57] 857*2^1251696-1 is not prime. Res64: DE95010FE0534B95 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:32:58] 903*2^1251696-1 is not prime. Res64: 01DC94FF04A33162 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:40:15] 915*2^1251697-1 is not prime. Res64: 19E7C8EA3330D916 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:40:16] 931*2^1251697-1 is not prime. Res64: 22062768D11D6EE8 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:52:35] 641*2^1251698-1 is not prime. Res64: 32FFD7F5EFCA516D Time : 0.0 sec. user=mdettweiler [2013-08-24 16:52:36] 735*2^1251698-1 is not prime. Res64: 40DC7E3B07E1DF37 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:53:55] 995*2^1251698-1 is not prime. Res64: BD215998F4E7A3BE Time : 0.0 sec. user=mdettweiler [2013-08-24 16:53:55] 633*2^1251699-1 is not prime. Res64: B877F61AB96625A0 Time : 0.0 sec. user=mdettweiler [2013-08-24 16:54:50] 893*2^1251698-1 is not prime. Res64: 00ECBA887E839A3A Time : 0.0 sec. user=mdettweiler [2013-08-24 16:54:50] 957*2^1251698-1 is not prime. Res64: 8E0A8032D462DBC6 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:00:14] 795*2^1251699-1 is not prime. Res64: EF37067964F6CF65 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:00:16] 835*2^1251699-1 is not prime. Res64: ACAD03148882E8DA Time : 0.0 sec. user=mdettweiler [2013-08-24 17:13:33] 859*2^1251699-1 is not prime. Res64: 561438A7C45A60A4 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:13:34] 921*2^1251699-1 is not prime. Res64: 0C3450C75A397304 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:14:53] 961*2^1251699-1 is not prime. Res64: 11BA3220A1D19508 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:14:53] 635*2^1251700-1 is not prime. Res64: 6480133EF04AFE0E Time : 0.0 sec. user=mdettweiler [2013-08-24 17:14:55] 653*2^1251700-1 is not prime. Res64: 489945401AFF5401 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:14:56] 689*2^1251700-1 is not prime. Res64: 95EB3781483A8BA9 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:21:12] 693*2^1251700-1 is not prime. Res64: D94DDFA91E7725D4 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:21:12] 927*2^1251700-1 is not prime. Res64: 5D73AB5BAC3336EA Time : 0.0 sec. user=mdettweiler [2013-08-24 17:44:16] 769*2^1251701-1 is not prime. Res64: D82DF0976D583A32 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:44:17] 929*2^1251700-1 is not prime. Res64: 4838F52ADFB23307 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:44:17] 777*2^1251701-1 is not prime. Res64: 1FEF5D7983E79070 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:44:17] 711*2^1251701-1 is not prime. Res64: E754999017C25B35 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:44:17] 795*2^1251701-1 is not prime. Res64: ACEC4FBA23D12280 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:44:18] 825*2^1251701-1 is not prime. Res64: EF7E3DE8D5D9D684 Time : 0.0 sec. user=mdettweiler [2013-08-24 17:45:08] 861*2^1251701-1 is not prime. Res64: CE75B7129A5F4D1C Time : 0.0 sec. user=mdettweiler [2013-08-24 17:45:08] 931*2^1251701-1 is not prime. Res64: 1B0D9A747743FA2E Time : 0.0 sec. user=mdettweiler [2013-08-24 18:05:52] 717*2^1251702-1 is not prime. Res64: 5959338862EC2290 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:05:53] 947*2^1251702-1 is not prime. Res64: 603922E00E9BA52E Time : 0.0 sec. user=mdettweiler [2013-08-24 18:05:53] 843*2^1251702-1 is not prime. Res64: 35764BDF08BD3ED1 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:05:54] 975*2^1251702-1 is not prime. Res64: F3F3FDE6712C8943 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:05:55] 763*2^1251703-1 is not prime. Res64: 3DD6FF1E1DCF891D Time : 0.0 sec. user=mdettweiler [2013-08-24 18:05:56] 805*2^1251703-1 is not prime. Res64: B8070CBB9FA0C526 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:06:04] 983*2^1251702-1 is not prime. Res64: FC533AF881E8F3B0 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:06:05] 729*2^1251703-1 is not prime. Res64: 6FF363B2F3E70219 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:26:04] 871*2^1251703-1 is not prime. Res64: 4EB73814D32EF5F6 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:26:05] 659*2^1251704-1 is not prime. Res64: DDEB7232123165F8 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:26:05] 609*2^1251705-1 is not prime. Res64: 477FFCAF69E97C21 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:26:06] 667*2^1251705-1 is not prime. Res64: CCE2EB703D0B9A9F Time : 0.0 sec. user=mdettweiler [2013-08-24 18:26:09] 717*2^1251705-1 is not prime. Res64: 9B971B4728D5AB0E Time : 0.0 sec. user=mdettweiler [2013-08-24 18:26:10] 741*2^1251705-1 is not prime. Res64: C7C289ECA1628251 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:26:59] 747*2^1251704-1 is not prime. Res64: 3949134FEEE97BC0 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:27:00] 983*2^1251704-1 is not prime. Res64: B10086E8360FF71D Time : 0.0 sec. user=mdettweiler [2013-08-24 18:46:10] 777*2^1251705-1 is not prime. Res64: D097EE565A9FBC52 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:46:11] 885*2^1251705-1 is not prime. Res64: ADD975B5C0893CDC Time : 0.0 sec. user=mdettweiler [2013-08-24 18:46:11] 723*2^1251706-1 is not prime. Res64: 8A0D3C63DC8CC0AA Time : 0.0 sec. user=mdettweiler [2013-08-24 18:46:12] 783*2^1251706-1 is not prime. Res64: 5AA99C45BD08A5B1 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:47:04] 955*2^1251705-1 is not prime. Res64: 3A6F58A305563863 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:47:04] 611*2^1251706-1 is not prime. Res64: 4BD2D40B21FC3002 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:48:00] 857*2^1251706-1 is not prime. Res64: C43B693605DD9B01 Time : 0.0 sec. user=mdettweiler [2013-08-24 18:48:00] 891*2^1251706-1 is not prime. Res64: C66F9954BD6CDC05 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:06:15] 601*2^1251707-1 is not prime. Res64: 839DCE2DE27AFDA8 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:06:16] 669*2^1251707-1 is not prime. Res64: DC066A3420831199 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:06:16] 703*2^1251707-1 is not prime. Res64: CAF6BF10B2F8186D Time : 0.0 sec. user=mdettweiler [2013-08-24 19:06:17] 733*2^1251707-1 is not prime. Res64: 2E6238D89F5C7509 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:08:05] 781*2^1251707-1 is not prime. Res64: 5EABB79644917EC7 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:08:06] 901*2^1251707-1 is not prime. Res64: 3E512C539BA3CE56 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:09:02] 993*2^1251707-1 is not prime. Res64: CEEC8A7AAEA2B1AB Time : 0.0 sec. user=mdettweiler [2013-08-24 19:09:03] 647*2^1251708-1 is not prime. Res64: 61555116F11F8441 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:26:23] 663*2^1251708-1 is not prime. Res64: 3A335824252D5FB5 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:26:24] 795*2^1251708-1 is not prime. Res64: AD85712C4C1F2CC4 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:26:26] 837*2^1251708-1 is not prime. Res64: 757B5C00F10F0C92 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:26:26] 887*2^1251708-1 is not prime. Res64: 1A7BF6D85287AD92 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:30:03] 975*2^1251708-1 is not prime. Res64: A3813F2374DF0F9F Time : 0.0 sec. user=mdettweiler [2013-08-24 19:30:05] 993*2^1251708-1 is not prime. Res64: 6C00F2773809F773 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:30:09] 621*2^1251709-1 is not prime. Res64: 4EBED7234DADBFB0 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:30:09] 895*2^1251709-1 is not prime. Res64: 5DBD7E0F6D89AB96 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:46:32] 665*2^1251710-1 is not prime. Res64: 8F3D9B8BA35406DA Time : 0.0 sec. user=mdettweiler [2013-08-24 19:46:33] 731*2^1251710-1 is not prime. Res64: ECCD4EAA0BDF3F00 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:47:20] 961*2^1251709-1 is not prime. Res64: 33CDB0558FC5E4A5 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:47:21] 651*2^1251710-1 is not prime. Res64: EC066B2ADF0330C4 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:50:09] 747*2^1251710-1 is not prime. Res64: 217099A2782DE3B3 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:50:09] 761*2^1251710-1 is not prime. Res64: 86DBF38FAD98AFE5 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:50:13] 851*2^1251710-1 is not prime. Res64: 9A54C8D0436631F8 Time : 0.0 sec. user=mdettweiler [2013-08-24 19:50:13] 861*2^1251710-1 is not prime. Res64: 6F310AB6099C6D06 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:07:25] 751*2^1251711-1 is not prime. Res64: 12A60492D109B57A Time : 0.0 sec. user=mdettweiler [2013-08-24 20:07:26] 775*2^1251711-1 is not prime. Res64: F918FFB96CC11C1B Time : 0.0 sec. user=mdettweiler [2013-08-24 20:07:38] 887*2^1251710-1 is not prime. Res64: 4E347A9AE2463025 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:07:39] 965*2^1251710-1 is not prime. Res64: BD06AA1533516B02 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:10:15] 629*2^1251712-1 is not prime. Res64: 788550C50B27C204 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:10:16] 657*2^1251712-1 is not prime. Res64: E020458EEC643C3A Time : 0.0 sec. user=mdettweiler [2013-08-24 20:11:07] 885*2^1251711-1 is not prime. Res64: C94703772580D0EA Time : 0.0 sec. user=mdettweiler [2013-08-24 20:11:08] 909*2^1251711-1 is not prime. Res64: FB90C60719F52B4E Time : 0.0 sec. user=mdettweiler [2013-08-24 20:27:36] 675*2^1251712-1 is not prime. Res64: E46A2071610E7C31 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:27:36] 695*2^1251712-1 is not prime. Res64: 0E95599691D0E733 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:28:49] 873*2^1251712-1 is not prime. Res64: 50403DE79DDF77BA Time : 0.0 sec. user=mdettweiler [2013-08-24 20:28:50] 909*2^1251712-1 is not prime. Res64: 753CA78630CE9186 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:31:13] 619*2^1251713-1 is not prime. Res64: C96F66CC1CB9E2DD Time : 0.0 sec. user=mdettweiler [2013-08-24 20:31:14] 775*2^1251713-1 is not prime. Res64: DC00280DB6C35AFF Time : 0.0 sec. user=mdettweiler [2013-08-24 20:31:24] 965*2^1251712-1 is not prime. Res64: 4FEE2F262D786234 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:31:25] 615*2^1251713-1 is not prime. Res64: 2C59A634B02D3989 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:47:41] 789*2^1251713-1 is not prime. Res64: DB3F2A6DBAD069A3 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:47:42] 801*2^1251713-1 is not prime. Res64: 3E6F294A62E5D974 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:48:52] 811*2^1251713-1 is not prime. Res64: 5FF3BD1480367131 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:48:52] 837*2^1251713-1 is not prime. Res64: 0888BD7C051C2D7C Time : 0.0 sec. user=mdettweiler [2013-08-24 20:51:28] 663*2^1251714-1 is not prime. Res64: FC2A3E1351AB981F Time : 0.0 sec. user=mdettweiler [2013-08-24 20:51:28] 677*2^1251714-1 is not prime. Res64: EDB3F42BEBB8C5C9 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:52:13] 879*2^1251713-1 is not prime. Res64: A8A5B3E2FDC63898 Time : 0.0 sec. user=mdettweiler [2013-08-24 20:52:13] 901*2^1251713-1 is not prime. Res64: 623E5AA85EFD1872 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:07:45] 681*2^1251714-1 is not prime. Res64: 6730DEAB0B089E1C Time : 0.0 sec. user=mdettweiler [2013-08-24 21:07:46] 791*2^1251714-1 is not prime. Res64: 549A3D6F451FF771 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:08:56] 807*2^1251714-1 is not prime. Res64: 2C47D2D70FE4A4B1 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:08:57] 821*2^1251714-1 is not prime. Res64: DF1D1B3B5247FBB4 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:12:32] 833*2^1251714-1 is not prime. Res64: A7A8D39CA8964406 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:12:33] 927*2^1251714-1 is not prime. Res64: 3C3C7B7C36DC8ACA Time : 0.0 sec. user=mdettweiler [2013-08-24 21:14:17] 941*2^1251714-1 is not prime. Res64: 53943E6CFE406C82 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:14:18] 983*2^1251714-1 is not prime. Res64: 563C8A2EA205F2ED Time : 0.0 sec. user=mdettweiler [2013-08-24 21:29:00] 625*2^1251715-1 is not prime. Res64: A2EA394F46E39509 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:29:00] 631*2^1251715-1 is not prime. Res64: 09C423B422893EF5 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:29:44] 993*2^1251714-1 is not prime. Res64: DA091A3259B03496 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:29:44] 1001*2^1251714-1 is not prime. Res64: D80FC662880230C2 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:32:38] 705*2^1251715-1 is not prime. Res64: 82387F950A176680 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:32:39] 783*2^1251715-1 is not prime. Res64: 862C79B176B53E36 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:34:17] 859*2^1251715-1 is not prime. Res64: E85E4BF4C8A2E6C0 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:34:18] 871*2^1251715-1 is not prime. Res64: C8344B51E239D72F Time : 0.0 sec. user=mdettweiler [2013-08-24 21:50:44] 961*2^1251715-1 is not prime. Res64: AB9CD8FFA10B025C Time : 0.0 sec. user=mdettweiler [2013-08-24 21:50:45] 633*2^1251716-1 is not prime. Res64: 83BFE8812C7CD79E Time : 0.0 sec. user=mdettweiler [2013-08-24 21:50:58] 891*2^1251715-1 is not prime. Res64: 36FFA63DB9ADEFA7 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:50:58] 951*2^1251715-1 is not prime. Res64: 5BB0E84701F71051 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:52:40] 669*2^1251716-1 is not prime. Res64: 7F613D305D8D5923 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:52:40] 845*2^1251716-1 is not prime. Res64: 3E000AB5E0D6CF40 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:55:19] 879*2^1251716-1 is not prime. Res64: 4C2580DB26BAA3F4 Time : 0.0 sec. user=mdettweiler [2013-08-24 21:55:20] 903*2^1251716-1 is not prime. Res64: 42C3C772B5B275E3 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:10:58] 601*2^1251717-1 is not prime. Res64: EF26A8735447C165 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:11:00] 661*2^1251717-1 is not prime. Res64: 718819EFEDEA1AB3 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:12:33] 953*2^1251716-1 is not prime. Res64: 107CFF8B08E00EDE Time : 0.0 sec. user=mdettweiler [2013-08-24 22:12:33] 999*2^1251716-1 is not prime. Res64: AA8DDA77BB98F7D1 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:12:39] 765*2^1251717-1 is not prime. Res64: 97BBA54FA40DA8D9 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:12:40] 829*2^1251717-1 is not prime. Res64: 237F31A80995EDAD Time : 0.0 sec. user=mdettweiler [2013-08-24 22:17:12] 919*2^1251717-1 is not prime. Res64: 021BD46BC69F3B70 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:17:13] 945*2^1251717-1 is not prime. Res64: F12FB7123845A413 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:32:03] 979*2^1251717-1 is not prime. Res64: 548D980B6D92FC10 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:32:03] 617*2^1251718-1 is not prime. Res64: B43F1D7BAB465E54 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:32:40] 681*2^1251718-1 is not prime. Res64: D136E20FDB2E2FF3 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:32:41] 695*2^1251718-1 is not prime. Res64: 8B65A22B412401CC Time : 0.0 sec. user=mdettweiler [2013-08-24 22:34:35] 911*2^1251718-1 is not prime. Res64: 902AE2710083349E Time : 0.0 sec. user=mdettweiler [2013-08-24 22:34:36] 923*2^1251718-1 is not prime. Res64: 8C66121652D1A284 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:38:12] 951*2^1251718-1 is not prime. Res64: C1B33630111DB1B1 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:38:12] 645*2^1251719-1 is not prime. Res64: 86597B987B19A696 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:52:11] 741*2^1251719-1 is not prime. Res64: 0AB19A6DB655E653 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:52:12] 879*2^1251719-1 is not prime. Res64: F4B19DDAC1B1D314 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:54:44] 753*2^1251720-1 is not prime. Res64: C68DD6D44EBE4F16 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:54:45] 619*2^1251721-1 is not prime. Res64: 70B5D91773EA4F55 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:54:48] 943*2^1251719-1 is not prime. Res64: BACB178530C1B678 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:54:48] 973*2^1251719-1 is not prime. Res64: A5F30E002449198D Time : 0.0 sec. user=mdettweiler [2013-08-24 22:58:20] 835*2^1251721-1 is not prime. Res64: A3754F1351AD14E0 Time : 0.0 sec. user=mdettweiler [2013-08-24 22:58:20] 847*2^1251721-1 is not prime. Res64: 632CEF49CD67980F Time : 0.0 sec. user=mdettweiler [2013-08-24 23:13:08] 937*2^1251721-1 is not prime. Res64: 151294087A1F1F46 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:13:09] 635*2^1251722-1 is not prime. Res64: 2D68843B17A630A4 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:14:44] 713*2^1251722-1 is not prime. Res64: 301F4B5F29916F56 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:14:44] 741*2^1251722-1 is not prime. Res64: 290FF97EBBA47785 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:14:47] 753*2^1251722-1 is not prime. Res64: F8E6205A92C7A95B Time : 0.0 sec. user=mdettweiler [2013-08-24 23:14:48] 791*2^1251722-1 is not prime. Res64: 4382DD3E37211886 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:19:22] 831*2^1251722-1 is not prime. Res64: 7EC159C7C65F8836 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:19:23] 987*2^1251722-1 is not prime. Res64: 121D9EC28DE47BB3 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:33:23] 625*2^1251723-1 is not prime. Res64: 002A506D2024EB8D Time : 0.0 sec. user=mdettweiler [2013-08-24 23:33:24] 679*2^1251723-1 is not prime. Res64: 1438590007B6C668 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:34:58] 765*2^1251723-1 is not prime. Res64: 9238F98BFFCE0FEE Time : 0.0 sec. user=mdettweiler [2013-08-24 23:34:59] 617*2^1251724-1 is not prime. Res64: A1E585EAD1C8AEE8 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:35:13] 629*2^1251724-1 is not prime. Res64: 4027D82A8CFB43A5 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:35:14] 635*2^1251724-1 is not prime. Res64: 7A1D24C7C4450C0F Time : 0.0 sec. user=mdettweiler [2013-08-24 23:39:32] 813*2^1251724-1 is not prime. Res64: 5D250B952C309056 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:39:32] 825*2^1251724-1 is not prime. Res64: 249F1897605EC235 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:55:17] 715*2^1251725-1 is not prime. Res64: 4C70ACA8C0D3AF0F Time : 0.0 sec. user=mdettweiler [2013-08-24 23:55:18] 771*2^1251725-1 is not prime. Res64: A51FACBA661D1BB1 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:55:24] 897*2^1251724-1 is not prime. Res64: 7BB4E5B0AA874D92 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:55:25] 987*2^1251724-1 is not prime. Res64: F3B067917CA59B71 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:56:21] 867*2^1251725-1 is not prime. Res64: 1C2CD247D37A70F5 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:56:21] 927*2^1251725-1 is not prime. Res64: 25AA980DA40E7D25 Time : 0.0 sec. user=mdettweiler [2013-08-24 23:59:40] 671*2^1251726-1 is not prime. Res64: A82AF8E3FDDE2A6C Time : 0.0 sec. user=mdettweiler [2013-08-24 23:59:40] 777*2^1251726-1 is not prime. Res64: F7ACE78B93ECFF48 Time : 0.0 sec.