user=mdettweiler [2013-08-13 00:02:28] 627*2^1250580-1 is not prime. Res64: FD11C99472D237CD Time : 0.0 sec. user=mdettweiler [2013-08-13 00:02:29] 669*2^1250580-1 is not prime. Res64: DF2B160BB4A5A9FE Time : 0.0 sec. user=mdettweiler [2013-08-13 00:09:09] 789*2^1250580-1 is not prime. Res64: BF1387551EF56EF4 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:09:10] 893*2^1250580-1 is not prime. Res64: D027795C1250C2D9 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:09:28] 719*2^1250580-1 is not prime. Res64: 3AA05E24BC72E57D Time : 0.0 sec. user=mdettweiler [2013-08-13 00:09:29] 779*2^1250580-1 is not prime. Res64: 1729F553ECE3D334 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:20:46] 933*2^1250580-1 is not prime. Res64: B6AB4BFC51E59732 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:20:47] 987*2^1250580-1 is not prime. Res64: C2544CCE2AE79978 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:22:39] 625*2^1250581-1 is not prime. Res64: 8BA1839B13BD7699 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:22:40] 687*2^1250581-1 is not prime. Res64: 77117A9763F02EE2 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:29:14] 747*2^1250581-1 is not prime. Res64: 598A83EFC98C6746 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:29:14] 757*2^1250581-1 is not prime. Res64: FFC1B065D9DEC8B5 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:30:26] 871*2^1250581-1 is not prime. Res64: B198BACCDD842960 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:30:26] 945*2^1250581-1 is not prime. Res64: D1C2A486F4F3E0C8 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:41:29] 997*2^1250581-1 is not prime. Res64: A2A546F5DCE3F8DC Time : 0.0 sec. user=mdettweiler [2013-08-13 00:41:30] 635*2^1250582-1 is not prime. Res64: 92075EA52B7296B0 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:42:27] 713*2^1250582-1 is not prime. Res64: 9DC74F2E27B7E7EB Time : 0.0 sec. user=mdettweiler [2013-08-13 00:42:28] 731*2^1250582-1 is not prime. Res64: 2708CF1A825B2281 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:49:50] 755*2^1250582-1 is not prime. Res64: 8DEED4A5076C26E9 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:49:51] 1001*2^1250582-1 is not prime. Res64: D5A40A4ECC9A7C29 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:50:05] 613*2^1250583-1 is not prime. Res64: CC0AD91BC0159C15 Time : 0.0 sec. user=mdettweiler [2013-08-13 00:50:05] 861*2^1250583-1 is not prime. Res64: 3C633BC84D19F538 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:01:53] 857*2^1250584-1 is not prime. Res64: ADC6010BF241D3AE Time : 0.0 sec. user=mdettweiler [2013-08-13 01:01:55] 903*2^1250584-1 is not prime. Res64: C832FDF713F4A670 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:01:56] 879*2^1250583-1 is not prime. Res64: 9160338526E335AE Time : 0.0 sec. user=mdettweiler [2013-08-13 01:01:57] 913*2^1250583-1 is not prime. Res64: 8BBD773CC0FF9EDA Time : 0.0 sec. user=mdettweiler [2013-08-13 01:09:36] 619*2^1250585-1 is not prime. Res64: 6EE86D81F596320E Time : 0.0 sec. user=mdettweiler [2013-08-13 01:09:37] 735*2^1250585-1 is not prime. Res64: 91F48DF9556F1775 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:11:07] 917*2^1250584-1 is not prime. Res64: FCF9637E4D640C69 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:11:08] 947*2^1250584-1 is not prime. Res64: A177B6689C568F2C Time : 0.0 sec. user=mdettweiler [2013-08-13 01:21:48] 787*2^1250585-1 is not prime. Res64: 14D124B975753D71 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:21:48] 831*2^1250585-1 is not prime. Res64: 88ECF470E8CFCB7F Time : 0.0 sec. user=mdettweiler [2013-08-13 01:22:41] 957*2^1250585-1 is not prime. Res64: 1E7A0E563E37B124 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:22:42] 657*2^1250586-1 is not prime. Res64: CACAD8099DDC5D69 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:29:13] 747*2^1250586-1 is not prime. Res64: 246389B206D946C2 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:29:14] 903*2^1250586-1 is not prime. Res64: 84376FFAB681CCB7 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:32:34] 923*2^1250586-1 is not prime. Res64: BEB69F62A648D763 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:32:35] 947*2^1250586-1 is not prime. Res64: 30FD2752A35AD770 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:42:16] 663*2^1250587-1 is not prime. Res64: 44DD37675A6DB0E4 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:42:16] 673*2^1250587-1 is not prime. Res64: 69A6CD3CB8390C04 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:42:20] 1001*2^1250586-1 is not prime. Res64: 6FDFFF864D682075 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:42:21] 601*2^1250587-1 is not prime. Res64: B3EDF360AE6E8561 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:48:44] 681*2^1250587-1 is not prime. Res64: 37E696EE9AF1CE29 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:48:45] 871*2^1250587-1 is not prime. Res64: E8C341FFF9E8A751 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:52:11] 895*2^1250587-1 is not prime. Res64: 86935ED28D9BCE59 Time : 0.0 sec. user=mdettweiler [2013-08-13 01:52:11] 901*2^1250587-1 is not prime. Res64: BBA49CD35F751BCC Time : 0.0 sec. user=mdettweiler [2013-08-13 02:01:59] 843*2^1250588-1 is not prime. Res64: 5AA20D4812A6D8C9 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:02:00] 869*2^1250588-1 is not prime. Res64: A59FC2280DC76051 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:03:47] 915*2^1250587-1 is not prime. Res64: 3AB94BD99C8EF11D Time : 0.0 sec. user=mdettweiler [2013-08-13 02:03:48] 919*2^1250587-1 is not prime. Res64: 33C9FEB5FBDD2109 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:08:26] 709*2^1250589-1 is not prime. Res64: B87587DAC5623295 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:08:27] 711*2^1250589-1 is not prime. Res64: 7E9880A8EC3BBCBB Time : 0.0 sec. user=mdettweiler [2013-08-13 02:13:07] 789*2^1250589-1 is not prime. Res64: 9BB4903D4AC16174 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:13:08] 919*2^1250589-1 is not prime. Res64: 6FED48BFB248C7AC Time : 0.0 sec. user=mdettweiler [2013-08-13 02:21:45] 635*2^1250590-1 is not prime. Res64: A69329E655D37ED0 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:21:45] 843*2^1250590-1 is not prime. Res64: 632F9D7188DF107B Time : 0.0 sec. user=mdettweiler [2013-08-13 02:25:48] 911*2^1250590-1 is not prime. Res64: 5434F576E7F094E4 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:25:49] 945*2^1250590-1 is not prime. Res64: C26FB75589C3F5DB Time : 0.0 sec. user=mdettweiler [2013-08-13 02:28:40] 609*2^1250591-1 is not prime. Res64: B61C9F00017AAB47 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:28:41] 705*2^1250591-1 is not prime. Res64: FF0E62415A9AA271 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:32:53] 741*2^1250591-1 is not prime. Res64: 701EE925ED382331 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:32:54] 783*2^1250591-1 is not prime. Res64: DF57609B31D4D720 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:41:27] 841*2^1250591-1 is not prime. Res64: FB9EAC0DD5FD0034 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:41:28] 865*2^1250591-1 is not prime. Res64: 0530FC04E9BCD215 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:46:26] 895*2^1250591-1 is not prime. Res64: 6CFF759E912C7CEA Time : 0.0 sec. user=mdettweiler [2013-08-13 02:46:27] 943*2^1250591-1 is not prime. Res64: 2FAA428819951122 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:49:15] 945*2^1250591-1 is not prime. Res64: C480B66F79201533 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:49:15] 609*2^1250592-1 is not prime. Res64: 0290D758753DBE3B Time : 0.0 sec. user=mdettweiler [2013-08-13 02:52:39] 725*2^1250592-1 is not prime. Res64: 12121C9B3F5D74B3 Time : 0.0 sec. user=mdettweiler [2013-08-13 02:52:39] 867*2^1250592-1 is not prime. Res64: 23D6B887FF245FD5 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:01:24] 675*2^1250593-1 is not prime. Res64: 3896852B61566632 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:01:25] 727*2^1250593-1 is not prime. Res64: 46D7918A142EB215 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:07:56] 919*2^1250593-1 is not prime. Res64: 6F32349C76003933 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:07:57] 955*2^1250593-1 is not prime. Res64: DDA01826F04F2575 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:08:45] 677*2^1250594-1 is not prime. Res64: B012B160B22959B1 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:08:46] 711*2^1250594-1 is not prime. Res64: 71BF927D8554144C Time : 0.0 sec. user=mdettweiler [2013-08-13 03:12:11] 767*2^1250594-1 is not prime. Res64: E9A77F07D711D3BD Time : 0.0 sec. user=mdettweiler [2013-08-13 03:12:11] 783*2^1250594-1 is not prime. Res64: 4165E1C2C0A8A429 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:22:13] 833*2^1250594-1 is not prime. Res64: 0C1849BE7F0E7031 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:22:14] 923*2^1250594-1 is not prime. Res64: 840CFA05A3E1CC14 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:28:17] 753*2^1250595-1 is not prime. Res64: A1C50822F36855ED Time : 0.0 sec. user=mdettweiler [2013-08-13 03:28:18] 825*2^1250595-1 is not prime. Res64: 637994E23E546C0F Time : 0.0 sec. user=mdettweiler [2013-08-13 03:28:26] 1001*2^1250594-1 is not prime. Res64: A646A8945283DA95 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:28:26] 675*2^1250595-1 is not prime. Res64: ACAFD1D46A77BCE0 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:33:36] 909*2^1250595-1 is not prime. Res64: 872A67E9B18B20FF Time : 0.0 sec. user=mdettweiler [2013-08-13 03:33:37] 955*2^1250595-1 is not prime. Res64: 8C9CAFCB531B85C0 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:41:47] 657*2^1250596-1 is not prime. Res64: 89A190AC935F6DCB Time : 0.0 sec. user=mdettweiler [2013-08-13 03:41:47] 689*2^1250596-1 is not prime. Res64: 7BF4079524677248 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:47:48] 735*2^1250596-1 is not prime. Res64: 12D036F535D138AD Time : 0.0 sec. user=mdettweiler [2013-08-13 03:47:48] 749*2^1250596-1 is not prime. Res64: FE3B1C08748F02F1 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:47:55] 843*2^1250596-1 is not prime. Res64: 4C42146ABF68CC0C Time : 0.0 sec. user=mdettweiler [2013-08-13 03:47:56] 855*2^1250596-1 is not prime. Res64: 9DD61013D56BEB65 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:54:10] 993*2^1250596-1 is not prime. Res64: D55D59B94FEB7F35 Time : 0.0 sec. user=mdettweiler [2013-08-13 03:54:10] 691*2^1250597-1 is not prime. Res64: B2FC1D96B2D13AD3 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:01:26] 805*2^1250597-1 is not prime. Res64: EEE5FF966927DF64 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:01:27] 825*2^1250597-1 is not prime. Res64: 53B6BC8D8336C3D6 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:07:21] 829*2^1250597-1 is not prime. Res64: 6E223CA429EF8DA6 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:07:23] 879*2^1250597-1 is not prime. Res64: C8A9D85327F18EDB Time : 0.0 sec. user=mdettweiler [2013-08-13 04:08:24] 885*2^1250597-1 is not prime. Res64: FB7B19DCC56ED7C8 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:08:25] 937*2^1250597-1 is not prime. Res64: 01F2F612EF302312 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:14:43] 939*2^1250597-1 is not prime. Res64: B5B3E4E7F09183C1 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:14:44] 611*2^1250598-1 is not prime. Res64: 9EB699C24070693F Time : 0.0 sec. user=mdettweiler [2013-08-13 04:21:29] 677*2^1250598-1 is not prime. Res64: 423D7E0709CD82BF Time : 0.0 sec. user=mdettweiler [2013-08-13 04:21:30] 747*2^1250598-1 is not prime. Res64: 1E917EE771E5500B Time : 0.0 sec. user=mdettweiler [2013-08-13 04:28:42] 795*2^1250598-1 is not prime. Res64: F494A8E6F7C92379 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:28:42] 945*2^1250598-1 is not prime. Res64: 7F7C7EF412731BDE Time : 0.0 sec. user=mdettweiler [2013-08-13 04:28:48] 609*2^1250599-1 is not prime. Res64: 9F0F3761C11C1D76 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:28:48] 841*2^1250599-1 is not prime. Res64: EEB400B53B9BF2D1 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:36:08] 843*2^1250599-1 is not prime. Res64: 9DAFC88F0F6222B7 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:36:08] 909*2^1250599-1 is not prime. Res64: 3C4B21B0CD3CBF74 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:42:14] 635*2^1250600-1 is not prime. Res64: B2123C147EA5A5D0 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:42:14] 675*2^1250600-1 is not prime. Res64: 9959823276065273 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:50:17] 713*2^1250600-1 is not prime. Res64: 089957E325289310 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:50:17] 785*2^1250600-1 is not prime. Res64: 48D89ADA60E0CA66 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:52:07] 995*2^1250600-1 is not prime. Res64: 813B7F0CB6A0E982 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:52:07] 997*2^1250601-1 is not prime. Res64: E37D24328013D4CB Time : 0.0 sec. user=mdettweiler [2013-08-13 04:57:25] 603*2^1250602-1 is not prime. Res64: 6E0111141DB01071 Time : 0.0 sec. user=mdettweiler [2013-08-13 04:57:26] 701*2^1250602-1 is not prime. Res64: 72FB42C1CCC95AA9 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:03:14] 867*2^1250602-1 is not prime. Res64: A2E1305D7EA1512C Time : 0.0 sec. user=mdettweiler [2013-08-13 05:03:15] 881*2^1250602-1 is not prime. Res64: 59D717B3EBD951F5 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:11:28] 621*2^1250603-1 is not prime. Res64: FC9458053BE13E18 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:11:28] 939*2^1250603-1 is not prime. Res64: B4A084882EC5BB82 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:12:13] 665*2^1250604-1 is not prime. Res64: BCF0B2D4863CD99D Time : 0.0 sec. user=mdettweiler [2013-08-13 05:12:13] 737*2^1250604-1 is not prime. Res64: FD5C2D02B39E67EB Time : 0.0 sec. user=mdettweiler [2013-08-13 05:17:19] 767*2^1250604-1 is not prime. Res64: 5BD965E700F4A429 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:17:19] 809*2^1250604-1 is not prime. Res64: 73442D1B73B1BC28 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:23:14] 825*2^1250604-1 is not prime. Res64: D1D42327AEA567B8 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:23:15] 863*2^1250604-1 is not prime. Res64: C42587D23A0CB0CB Time : 0.0 sec. user=mdettweiler [2013-08-13 05:32:01] 645*2^1250605-1 is not prime. Res64: D6700E8C20F9EC1E Time : 0.0 sec. user=mdettweiler [2013-08-13 05:32:02] 661*2^1250605-1 is not prime. Res64: A4EFEF8D7DE50268 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:33:11] 945*2^1250604-1 is not prime. Res64: 5C11FD04BE28B771 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:33:11] 959*2^1250604-1 is not prime. Res64: 942B867F0588A0DC Time : 0.0 sec. user=mdettweiler [2013-08-13 05:37:14] 691*2^1250605-1 is not prime. Res64: 57822F87FD6769B3 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:37:15] 683*2^1250606-1 is not prime. Res64: 96C5B2F17F045B70 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:43:13] 767*2^1250606-1 is not prime. Res64: D48D5E6E78DCA6F3 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:43:14] 769*2^1250607-1 is not prime. Res64: 7D1E4C0718050E71 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:52:56] 663*2^1250608-1 is not prime. Res64: 569CF268D8A30954 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:52:56] 773*2^1250608-1 is not prime. Res64: D35B5DF9EBDDF39C Time : 0.0 sec. user=mdettweiler [2013-08-13 05:53:44] 931*2^1250607-1 is not prime. Res64: D7479E5DE3B793B8 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:53:44] 991*2^1250607-1 is not prime. Res64: 1DC4FE22F7498FB5 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:57:06] 777*2^1250608-1 is not prime. Res64: 0A9DD89EDD7671A9 Time : 0.0 sec. user=mdettweiler [2013-08-13 05:57:07] 833*2^1250608-1 is not prime. Res64: 0DDD77F5204B690E Time : 0.0 sec. user=mdettweiler [2013-08-13 06:02:59] 897*2^1250608-1 is not prime. Res64: BCACE0E61189F332 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:03:00] 601*2^1250609-1 is not prime. Res64: D43FC4DB8C9FF22D Time : 0.0 sec. user=mdettweiler [2013-08-13 06:12:45] 645*2^1250609-1 is not prime. Res64: 328E2B0A4182DDAB Time : 0.0 sec. user=mdettweiler [2013-08-13 06:12:46] 711*2^1250609-1 is not prime. Res64: 41358C45564B78F8 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:14:25] 867*2^1250609-1 is not prime. Res64: 0C6B6BA1AF0744A8 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:14:25] 967*2^1250609-1 is not prime. Res64: 55427D7401061731 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:16:53] 641*2^1250610-1 is not prime. Res64: 8499F140ACA38BFA Time : 0.0 sec. user=mdettweiler [2013-08-13 06:16:54] 713*2^1250610-1 is not prime. Res64: 22BFA51EB88575BE Time : 0.0 sec. user=mdettweiler [2013-08-13 06:22:53] 725*2^1250610-1 is not prime. Res64: A317D5565BD3E9E2 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:22:54] 851*2^1250610-1 is not prime. Res64: 477A94D179743B3B Time : 0.0 sec. user=mdettweiler [2013-08-13 06:32:31] 891*2^1250610-1 is not prime. Res64: 6324210B8DEABF47 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:32:32] 893*2^1250610-1 is not prime. Res64: A53C33A9D9557651 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:36:04] 917*2^1250610-1 is not prime. Res64: 1B48AFE733C14330 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:36:05] 927*2^1250610-1 is not prime. Res64: D6287BA87232F541 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:37:39] 963*2^1250610-1 is not prime. Res64: C767B1889087FDA0 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:37:40] 603*2^1250611-1 is not prime. Res64: 31ACF84D01276FB6 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:42:47] 621*2^1250611-1 is not prime. Res64: 4067F3A9E31E9EBF Time : 0.0 sec. user=mdettweiler [2013-08-13 06:42:48] 645*2^1250611-1 is not prime. Res64: 13B9C4A32860A393 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:52:30] 705*2^1250611-1 is not prime. Res64: 7DFC3A1EFA599A62 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:52:30] 751*2^1250611-1 is not prime. Res64: 0E9E1E9F5FD7EA05 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:57:01] 883*2^1250611-1 is not prime. Res64: EF1DB1D1D3131C59 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:57:02] 975*2^1250611-1 is not prime. Res64: D6AF46B4B0F4FC9D Time : 0.0 sec. user=mdettweiler [2013-08-13 06:57:40] 605*2^1250612-1 is not prime. Res64: D5B85C54FA7F16E0 Time : 0.0 sec. user=mdettweiler [2013-08-13 06:57:40] 647*2^1250612-1 is not prime. Res64: 48C826D856C62AE2 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:03:06] 689*2^1250612-1 is not prime. Res64: 2A77CC6026B1F52A Time : 0.0 sec. user=mdettweiler [2013-08-13 07:03:07] 819*2^1250612-1 is not prime. Res64: CE402E2269627180 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:13:01] 825*2^1250612-1 is not prime. Res64: 51E0074EBB36BE06 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:13:01] 899*2^1250612-1 is not prime. Res64: B3B114BA4DB8BC70 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:19:01] 935*2^1250612-1 is not prime. Res64: EF2DBF32EE221FAA Time : 0.0 sec. user=mdettweiler [2013-08-13 07:19:01] 957*2^1250612-1 is not prime. Res64: 0A4A9178EEBEDA9A Time : 0.0 sec. user=mdettweiler [2013-08-13 07:19:13] 983*2^1250612-1 is not prime. Res64: 6E3F797CFBC60323 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:19:13] 639*2^1250613-1 is not prime. Res64: F9686B2D23F48C79 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:23:50] 649*2^1250613-1 is not prime. Res64: E7037A956AFB6D13 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:23:51] 889*2^1250613-1 is not prime. Res64: DBA4F74DB09B9722 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:33:06] 677*2^1250614-1 is not prime. Res64: 826ECA62D2639DCF Time : 0.0 sec. user=mdettweiler [2013-08-13 07:33:06] 681*2^1250614-1 is not prime. Res64: 64BC932056DC7B39 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:39:08] 705*2^1250614-1 is not prime. Res64: 2111DA0FD9288910 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:39:08] 717*2^1250614-1 is not prime. Res64: 8CC783EC4BB742A0 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:39:21] 747*2^1250614-1 is not prime. Res64: 968D8DD359CB26DD Time : 0.0 sec. user=mdettweiler [2013-08-13 07:39:22] 813*2^1250614-1 is not prime. Res64: F112B28094A36961 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:45:04] 975*2^1250614-1 is not prime. Res64: 7DFB9C12A39CE010 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:45:04] 651*2^1250615-1 is not prime. Res64: 4046A6E5809E533A Time : 0.0 sec. user=mdettweiler [2013-08-13 07:54:21] 753*2^1250615-1 is not prime. Res64: 74EF6EC0536B4842 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:54:21] 963*2^1250615-1 is not prime. Res64: 557695A29466DDDC Time : 0.0 sec. user=mdettweiler [2013-08-13 07:59:37] 629*2^1250616-1 is not prime. Res64: BA21D995109334E7 Time : 0.0 sec. user=mdettweiler [2013-08-13 07:59:37] 633*2^1250616-1 is not prime. Res64: 972741F6E292C95C Time : 0.0 sec. user=mdettweiler [2013-08-13 08:00:24] 999*2^1250615-1 is not prime. Res64: 65893F2F70577F47 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:00:25] 623*2^1250616-1 is not prime. Res64: 6C35024C4CFAF532 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:05:06] 645*2^1250617-1 is not prime. Res64: 8C10FD742F59BEC0 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:05:06] 715*2^1250617-1 is not prime. Res64: 159D040E2FAB17FB Time : 0.0 sec. user=mdettweiler [2013-08-13 08:14:42] 751*2^1250617-1 is not prime. Res64: 7C35277E8668FC10 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:14:43] 801*2^1250617-1 is not prime. Res64: 68E99F2A8009348D Time : 0.0 sec. user=mdettweiler [2013-08-13 08:20:37] 683*2^1250618-1 is not prime. Res64: 210ACA66306C82C2 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:20:38] 767*2^1250618-1 is not prime. Res64: AFE4B2EB0DFF54DE Time : 0.0 sec. user=mdettweiler [2013-08-13 08:21:32] 937*2^1250617-1 is not prime. Res64: 758BAF4EA9C6D1B3 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:21:32] 985*2^1250617-1 is not prime. Res64: CA0EBB10AA82E4C9 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:25:15] 771*2^1250618-1 is not prime. Res64: E774B1F49012E180 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:25:15] 797*2^1250618-1 is not prime. Res64: 672283F064AFC486 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:34:29] 815*2^1250618-1 is not prime. Res64: C260E060AD22166D Time : 0.0 sec. user=mdettweiler [2013-08-13 08:34:30] 831*2^1250618-1 is not prime. Res64: CB2BD71BFABAC13D Time : 0.0 sec. user=mdettweiler [2013-08-13 08:40:33] 861*2^1250618-1 is not prime. Res64: 3D8A0D3734C83AE5 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:40:33] 633*2^1250619-1 is not prime. Res64: 351AD6A007FA917B Time : 0.0 sec. user=mdettweiler [2013-08-13 08:41:16] 735*2^1250619-1 is not prime. Res64: 05DF8D5A080A15FD Time : 0.0 sec. user=mdettweiler [2013-08-13 08:41:17] 789*2^1250619-1 is not prime. Res64: DDE59F362CAE0925 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:45:59] 823*2^1250619-1 is not prime. Res64: 8050970D3BAEB052 Time : 0.0 sec. user=mdettweiler [2013-08-13 08:45:59] 961*2^1250619-1 is not prime. Res64: CABC8A26B3C8E2EB Time : 0.0 sec. user=mdettweiler [2013-08-13 08:54:16] 635*2^1250620-1 is not prime. Res64: 07BC50477955CDBF Time : 0.0 sec. user=mdettweiler [2013-08-13 08:54:16] 819*2^1250620-1 is not prime. Res64: 293829F789189511 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:00:21] 827*2^1250620-1 is not prime. Res64: 4C223A67326B96B7 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:00:22] 887*2^1250620-1 is not prime. Res64: 7AB09526D76DCF96 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:02:02] 989*2^1250620-1 is not prime. Res64: B93E020A0CBB205A Time : 0.0 sec. user=mdettweiler [2013-08-13 09:02:03] 607*2^1250621-1 is not prime. Res64: 4AA691D281DDDD21 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:05:42] 619*2^1250621-1 is not prime. Res64: 193ED1477721D27F Time : 0.0 sec. user=mdettweiler [2013-08-13 09:05:42] 631*2^1250621-1 is not prime. Res64: 6EDAD0A2CE39ABA2 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:14:00] 685*2^1250621-1 is not prime. Res64: D7569EF447BB5302 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:14:01] 777*2^1250621-1 is not prime. Res64: 146324844BDC8DED Time : 0.0 sec. user=mdettweiler [2013-08-13 09:21:03] 837*2^1250621-1 is not prime. Res64: BCC6F0B4C397CA4D Time : 0.0 sec. user=mdettweiler [2013-08-13 09:21:04] 945*2^1250621-1 is not prime. Res64: 15DBB3F35806D47F Time : 0.0 sec. user=mdettweiler [2013-08-13 09:21:49] 635*2^1250622-1 is not prime. Res64: A38623482F7EDB5C Time : 0.0 sec. user=mdettweiler [2013-08-13 09:21:50] 815*2^1250622-1 is not prime. Res64: 4DB93957D55206DB Time : 0.0 sec. user=mdettweiler [2013-08-13 09:26:24] 977*2^1250622-1 is not prime. Res64: B1AE78B921469B9F Time : 0.0 sec. user=mdettweiler [2013-08-13 09:26:24] 609*2^1250623-1 is not prime. Res64: FCCF18BBBCE47DCC Time : 0.0 sec. user=mdettweiler [2013-08-13 09:33:39] 619*2^1250623-1 is not prime. Res64: 9C27242BEEC64505 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:33:39] 661*2^1250623-1 is not prime. Res64: B19BCC97D7E90591 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:40:41] 685*2^1250623-1 is not prime. Res64: 84CE9E5D42AB2E69 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:40:41] 745*2^1250623-1 is not prime. Res64: 02FDD83045961405 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:41:31] 769*2^1250623-1 is not prime. Res64: 0759BA11840D2175 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:41:31] 855*2^1250623-1 is not prime. Res64: BF6B11890E410A16 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:47:08] 901*2^1250623-1 is not prime. Res64: 98EE4B7E02059D70 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:47:08] 945*2^1250623-1 is not prime. Res64: D47587D7715DDF2F Time : 0.0 sec. user=mdettweiler [2013-08-13 09:54:18] 985*2^1250623-1 is not prime. Res64: 04F4954CAAAB2841 Time : 0.0 sec. user=mdettweiler [2013-08-13 09:54:19] 623*2^1250624-1 is not prime. Res64: 02E2551E4B61B27C Time : 0.0 sec. user=mdettweiler [2013-08-13 10:00:24] 659*2^1250624-1 is not prime. Res64: 2EAC1F1E1C771E50 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:00:25] 795*2^1250624-1 is not prime. Res64: EB992A509E3D4BB9 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:01:13] 813*2^1250624-1 is not prime. Res64: 6D74AF17C1FE1BA5 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:01:14] 827*2^1250624-1 is not prime. Res64: 1E1C4DDD32BC3440 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:06:48] 893*2^1250624-1 is not prime. Res64: E1E473B50AC29596 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:06:49] 903*2^1250624-1 is not prime. Res64: 6088AE8689900CAB Time : 0.0 sec. user=mdettweiler [2013-08-13 10:14:01] 607*2^1250625-1 is not prime. Res64: A099144139FB46E5 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:14:01] 649*2^1250625-1 is not prime. Res64: B7250816649F446C Time : 0.0 sec. user=mdettweiler [2013-08-13 10:20:10] 685*2^1250625-1 is not prime. Res64: 0A13C805FD61E332 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:20:11] 739*2^1250625-1 is not prime. Res64: 9385606C63B2117E Time : 0.0 sec. user=mdettweiler [2013-08-13 10:21:49] 819*2^1250625-1 is not prime. Res64: 7381C7F1C4843648 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:21:50] 951*2^1250625-1 is not prime. Res64: 23EEB7A5BDF2FEC7 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:27:25] 991*2^1250625-1 is not prime. Res64: 2DD74BD30B22F394 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:27:26] 611*2^1250626-1 is not prime. Res64: F67B475FD5F78F4B Time : 0.0 sec. user=mdettweiler [2013-08-13 10:34:37] 947*2^1250626-1 is not prime. Res64: 9A000E8FB2DAA68A Time : 0.0 sec. user=mdettweiler [2013-08-13 10:34:37] 699*2^1250627-1 is not prime. Res64: 5F43A41278B1AC13 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:39:53] 733*2^1250627-1 is not prime. Res64: F09437B4E3C71C72 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:39:53] 823*2^1250627-1 is not prime. Res64: 47EC54728E581E8B Time : 0.0 sec. user=mdettweiler [2013-08-13 10:42:29] 901*2^1250627-1 is not prime. Res64: EF456D8299D7B37F Time : 0.0 sec. user=mdettweiler [2013-08-13 10:42:30] 963*2^1250627-1 is not prime. Res64: FDBAD41C0A767C8A Time : 0.0 sec. user=mdettweiler [2013-08-13 10:48:10] 993*2^1250627-1 is not prime. Res64: 45E383777AC8D9B2 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:48:10] 825*2^1250628-1 is not prime. Res64: DCD04BA719A887D4 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:55:16] 875*2^1250628-1 is not prime. Res64: 26AFFF10AB364181 Time : 0.0 sec. user=mdettweiler [2013-08-13 10:55:16] 927*2^1250628-1 is not prime. Res64: 869D6271259EF211 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:00:40] 947*2^1250628-1 is not prime. Res64: F4435D77712CD19E Time : 0.0 sec. user=mdettweiler [2013-08-13 11:00:41] 615*2^1250629-1 is not prime. Res64: 267D38824A81C8CB Time : 0.0 sec. user=mdettweiler [2013-08-13 11:02:15] 619*2^1250629-1 is not prime. Res64: AE035E269B18B867 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:02:16] 747*2^1250629-1 is not prime. Res64: F961A6BC169C789B Time : 0.0 sec. user=mdettweiler [2013-08-13 11:07:56] 799*2^1250629-1 is not prime. Res64: FD0376F05E4E51D3 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:07:57] 825*2^1250629-1 is not prime. Res64: A8EBAAEA515C507F Time : 0.0 sec. user=mdettweiler [2013-08-13 11:14:57] 831*2^1250629-1 is not prime. Res64: A6A381DFB8B06792 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:14:58] 835*2^1250629-1 is not prime. Res64: 7AD583CD140683A9 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:21:26] 957*2^1250629-1 is not prime. Res64: AEF84BDA732EBFFB Time : 0.0 sec. user=mdettweiler [2013-08-13 11:21:27] 641*2^1250630-1 is not prime. Res64: 16E948A97F02DDB8 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:22:02] 657*2^1250630-1 is not prime. Res64: A64EB2B194789384 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:22:03] 671*2^1250630-1 is not prime. Res64: 0FD5E9D14F382BA5 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:27:49] 717*2^1250630-1 is not prime. Res64: 12684E5E26D96AD8 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:27:50] 827*2^1250630-1 is not prime. Res64: C3B0B07E058F838A Time : 0.0 sec. user=mdettweiler [2013-08-13 11:34:40] 851*2^1250630-1 is not prime. Res64: C34A43B1C6D1EA00 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:34:41] 857*2^1250630-1 is not prime. Res64: 647A3C701319EEDA Time : 0.0 sec. user=mdettweiler [2013-08-13 11:42:45] 971*2^1250630-1 is not prime. Res64: BDD93F6F86AE564C Time : 0.0 sec. user=mdettweiler [2013-08-13 11:42:45] 639*2^1250631-1 is not prime. Res64: 8ACC2EDB56975A82 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:43:09] 917*2^1250630-1 is not prime. Res64: A1B31C79975CDE22 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:43:10] 923*2^1250630-1 is not prime. Res64: 7A7442A4C4A1F27B Time : 0.0 sec. user=mdettweiler [2013-08-13 11:47:31] 793*2^1250631-1 is not prime. Res64: 55D7A2BBD60F3934 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:47:32] 885*2^1250631-1 is not prime. Res64: DD192631F5D0DD90 Time : 0.0 sec. user=mdettweiler [2013-08-13 11:56:14] 909*2^1250631-1 is not prime. Res64: 268C78346BB8B97E Time : 0.0 sec. user=mdettweiler [2013-08-13 11:56:15] 943*2^1250631-1 is not prime. Res64: 430D65C5A9C47B88 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:02:27] 615*2^1250632-1 is not prime. Res64: 24F3A1AFFE3B8BFB Time : 0.0 sec. user=mdettweiler [2013-08-13 12:02:28] 777*2^1250632-1 is not prime. Res64: D39B09EE4E5637AA Time : 0.0 sec. user=mdettweiler [2013-08-13 12:02:47] 827*2^1250632-1 is not prime. Res64: 0FAC9501F6171F19 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:02:48] 849*2^1250632-1 is not prime. Res64: EE057FF5BA17B786 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:07:03] 857*2^1250632-1 is not prime. Res64: C4E8A822A9DB8A4E Time : 0.0 sec. user=mdettweiler [2013-08-13 12:07:06] 627*2^1250633-1 is not prime. Res64: 893103AE88343B11 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:15:43] 721*2^1250633-1 is not prime. Res64: EC447A6B12BB50F4 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:15:43] 867*2^1250633-1 is not prime. Res64: F2CC572D33B45680 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:22:21] 705*2^1250634-1 is not prime. Res64: B0C70523DABB7B36 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:22:21] 755*2^1250634-1 is not prime. Res64: A10325F7ADB90F90 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:22:27] 797*2^1250634-1 is not prime. Res64: 4E76FE0DD845DEF0 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:22:27] 851*2^1250634-1 is not prime. Res64: 3975C78855BF79B1 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:26:43] 905*2^1250634-1 is not prime. Res64: 52C9AB1F28079F69 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:26:43] 603*2^1250635-1 is not prime. Res64: 1960EF6D7A4AEBD2 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:35:27] 619*2^1250635-1 is not prime. Res64: 84C18589C3D7927F Time : 0.0 sec. user=mdettweiler [2013-08-13 12:35:28] 645*2^1250635-1 is not prime. Res64: 663DC0017A0DEC53 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:42:01] 715*2^1250635-1 is not prime. Res64: F35B16C93A99037E Time : 0.0 sec. user=mdettweiler [2013-08-13 12:42:02] 733*2^1250635-1 is not prime. Res64: 193A45F97DDC8323 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:42:02] 651*2^1250635-1 is not prime. Res64: 9424046117FF8AA4 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:42:03] 691*2^1250635-1 is not prime. Res64: 9A6C5B979F502B15 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:46:23] 859*2^1250635-1 is not prime. Res64: 8695F384AF943E3A Time : 0.0 sec. user=mdettweiler [2013-08-13 12:46:24] 885*2^1250635-1 is not prime. Res64: 90DBF149F2F55247 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:55:05] 889*2^1250635-1 is not prime. Res64: E90285D5B6A79578 Time : 0.0 sec. user=mdettweiler [2013-08-13 12:55:06] 725*2^1250636-1 is not prime. Res64: 0F9360F270855773 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:01:38] 743*2^1250636-1 is not prime. Res64: ACE042BECFB1C550 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:01:39] 777*2^1250636-1 is not prime. Res64: 0A126EE796591CDE Time : 0.0 sec. user=mdettweiler [2013-08-13 13:02:36] 899*2^1250636-1 is not prime. Res64: 4FC03435C8D7187B Time : 0.0 sec. user=mdettweiler [2013-08-13 13:02:37] 953*2^1250636-1 is not prime. Res64: 467C79F3DAE44F67 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:06:53] 999*2^1250636-1 is not prime. Res64: D1D96BDE5E26DE84 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:06:54] 607*2^1250637-1 is not prime. Res64: E56D07AEEA4850AE Time : 0.0 sec. user=mdettweiler [2013-08-13 13:14:43] 625*2^1250637-1 is not prime. Res64: 91A08596C4E27997 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:14:44] 795*2^1250637-1 is not prime. Res64: 6D4D8FDC1EC9F16B Time : 0.0 sec. user=mdettweiler [2013-08-13 13:21:27] 867*2^1250637-1 is not prime. Res64: 861BCCBD11B0989E Time : 0.0 sec. user=mdettweiler [2013-08-13 13:21:27] 871*2^1250637-1 is not prime. Res64: FD71B68BB3897A18 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:23:13] 891*2^1250637-1 is not prime. Res64: ADBF3C34AEB3621C Time : 0.0 sec. user=mdettweiler [2013-08-13 13:23:13] 937*2^1250637-1 is not prime. Res64: 289DF3B17304759E Time : 0.0 sec. user=mdettweiler [2013-08-13 13:27:37] 997*2^1250637-1 is not prime. Res64: 8ADE96F4E39B7FCB Time : 0.0 sec. user=mdettweiler [2013-08-13 13:27:38] 623*2^1250638-1 is not prime. Res64: C5678303D1B7B423 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:35:21] 863*2^1250638-1 is not prime. Res64: 029557D871151C3C Time : 0.0 sec. user=mdettweiler [2013-08-13 13:35:22] 915*2^1250638-1 is not prime. Res64: 917D1C73124552A6 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:43:02] 945*2^1250638-1 is not prime. Res64: F4E3AA3192DDD304 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:43:02] 987*2^1250638-1 is not prime. Res64: 2A7662EDE1899228 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:43:04] 645*2^1250639-1 is not prime. Res64: 66B6F29FE8CA0E5A Time : 0.0 sec. user=mdettweiler [2013-08-13 13:43:04] 735*2^1250639-1 is not prime. Res64: 390E3E96CE1B3522 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:47:24] 759*2^1250639-1 is not prime. Res64: 5B73040B562D45B3 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:47:25] 811*2^1250639-1 is not prime. Res64: 057A77E6D43761E0 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:56:11] 883*2^1250639-1 is not prime. Res64: E582E48B63167F69 Time : 0.0 sec. user=mdettweiler [2013-08-13 13:56:12] 949*2^1250639-1 is not prime. Res64: 6400E9E892E355C8 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:03:02] 615*2^1250640-1 is not prime. Res64: 1D5AD1CBCBD551B1 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:03:03] 779*2^1250640-1 is not prime. Res64: 3B1E0BA9B9BE72CC Time : 0.0 sec. user=mdettweiler [2013-08-13 14:03:04] 789*2^1250640-1 is not prime. Res64: 894C1E72DFC8CF9F Time : 0.0 sec. user=mdettweiler [2013-08-13 14:03:05] 843*2^1250640-1 is not prime. Res64: B7B63ED80DCAF9A4 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:07:29] 899*2^1250640-1 is not prime. Res64: CA2CE987922CBD53 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:07:29] 905*2^1250640-1 is not prime. Res64: 4A18191F6965FCCF Time : 0.0 sec. user=mdettweiler [2013-08-13 14:17:59] 933*2^1250640-1 is not prime. Res64: B5C5A46A51D8A270 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:17:59] 983*2^1250640-1 is not prime. Res64: A8AA7FEA936AFF0F Time : 0.0 sec. user=mdettweiler [2013-08-13 14:23:25] 607*2^1250641-1 is not prime. Res64: 0C96FDEEC6AE5129 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:23:26] 747*2^1250641-1 is not prime. Res64: 1750B946660B194C Time : 0.0 sec. user=mdettweiler [2013-08-13 14:23:26] 741*2^1250641-1 is not prime. Res64: 2FA9C192942F6F51 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:23:26] 849*2^1250641-1 is not prime. Res64: ED8E2B8E6D7554B4 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:29:58] 939*2^1250641-1 is not prime. Res64: EC98D26A1030B0C9 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:29:58] 713*2^1250642-1 is not prime. Res64: D404418B46808669 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:39:50] 755*2^1250642-1 is not prime. Res64: F205D05F64625957 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:39:50] 827*2^1250642-1 is not prime. Res64: D8C0C6D460A93E88 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:44:53] 751*2^1250643-1 is not prime. Res64: 20477F6BBED7AF13 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:44:54] 793*2^1250643-1 is not prime. Res64: BE0855DFEEAC3FC0 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:45:52] 831*2^1250642-1 is not prime. Res64: 2AAA17728FE1B0C9 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:45:52] 995*2^1250642-1 is not prime. Res64: B3B20AF02ACA62C2 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:51:05] 879*2^1250643-1 is not prime. Res64: 79D7606CC1344963 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:51:05] 949*2^1250643-1 is not prime. Res64: AC3A3866B3D14246 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:59:59] 635*2^1250644-1 is not prime. Res64: 68D3CDA41BF20790 Time : 0.0 sec. user=mdettweiler [2013-08-13 14:59:59] 723*2^1250644-1 is not prime. Res64: 54F455C91D121942 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:04:55] 885*2^1250644-1 is not prime. Res64: C9ABAB41DC9F3569 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:04:56] 607*2^1250645-1 is not prime. Res64: D4ECA0C10530ABA9 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:05:49] 757*2^1250645-1 is not prime. Res64: 448B94D9A84D9302 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:05:50] 771*2^1250645-1 is not prime. Res64: E6F33BAA087851D5 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:11:28] 653*2^1250646-1 is not prime. Res64: 09A08D6FC68BCD7A Time : 0.0 sec. user=mdettweiler [2013-08-13 15:11:29] 723*2^1250646-1 is not prime. Res64: EC39939BDAABC768 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:22:43] 851*2^1250646-1 is not prime. Res64: 62F7489F00FA1599 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:22:43] 963*2^1250646-1 is not prime. Res64: BB731B85B7EB8BC0 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:27:38] 633*2^1250648-1 is not prime. Res64: BDEB0745545F54CB Time : 0.0 sec. user=mdettweiler [2013-08-13 15:27:38] 669*2^1250648-1 is not prime. Res64: F5DD9D6CA7C99A5F Time : 0.0 sec. user=mdettweiler [2013-08-13 15:28:00] 645*2^1250647-1 is not prime. Res64: 99E429AD43DFD5C0 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:28:00] 925*2^1250647-1 is not prime. Res64: 24B6BB5E75734B4F Time : 0.0 sec. user=mdettweiler [2013-08-13 15:33:11] 687*2^1250648-1 is not prime. Res64: 6630F21EEDA2E708 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:33:11] 735*2^1250648-1 is not prime. Res64: 5051E97B04266292 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:42:54] 803*2^1250648-1 is not prime. Res64: 7B1ABE190D8068D1 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:42:55] 827*2^1250648-1 is not prime. Res64: 017D942793D567BD Time : 0.0 sec. user=mdettweiler [2013-08-13 15:47:33] 833*2^1250648-1 is not prime. Res64: 7C47AA9F18F504C3 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:47:34] 837*2^1250648-1 is not prime. Res64: DC3D3036C1002FC5 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:47:57] 601*2^1250649-1 is not prime. Res64: DE9FFF8988B886B7 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:47:57] 609*2^1250649-1 is not prime. Res64: 4425AC42966A08B2 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:53:03] 637*2^1250649-1 is not prime. Res64: A8779D960C5862C2 Time : 0.0 sec. user=mdettweiler [2013-08-13 15:53:03] 691*2^1250649-1 is not prime. Res64: 088094522E2CA3B8 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:02:47] 741*2^1250649-1 is not prime. Res64: 8BD2746BFBD414DF Time : 0.0 sec. user=mdettweiler [2013-08-13 16:02:48] 747*2^1250649-1 is not prime. Res64: 96E6F123AF8F80DD Time : 0.0 sec. user=mdettweiler [2013-08-13 16:08:18] 889*2^1250649-1 is not prime. Res64: 68733000A6DE69D2 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:08:19] 921*2^1250649-1 is not prime. Res64: 9050DC2D9C7CEA40 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:09:40] 945*2^1250649-1 is not prime. Res64: EAB626796941C683 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:09:41] 951*2^1250649-1 is not prime. Res64: BACAA78A8E464CA3 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:13:52] 997*2^1250649-1 is not prime. Res64: 540AB7BA9BA5D2B2 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:13:54] 635*2^1250650-1 is not prime. Res64: 0695B65685FD9150 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:22:41] 645*2^1250650-1 is not prime. Res64: 9E510560A9A265CA Time : 0.0 sec. user=mdettweiler [2013-08-13 16:22:41] 657*2^1250650-1 is not prime. Res64: F67890DBE73CD24F Time : 0.0 sec. user=mdettweiler [2013-08-13 16:28:07] 663*2^1250650-1 is not prime. Res64: B9C36EF5D7EDE481 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:28:07] 701*2^1250650-1 is not prime. Res64: 9E1BEA23EC40C4D9 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:29:31] 713*2^1250650-1 is not prime. Res64: F10C830512ED4D20 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:29:31] 741*2^1250650-1 is not prime. Res64: E18ABF78E1889528 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:35:39] 941*2^1250650-1 is not prime. Res64: 197E33BA1144A131 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:35:39] 945*2^1250650-1 is not prime. Res64: 76C2E4674DFA8107 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:43:34] 975*2^1250650-1 is not prime. Res64: 11074F0BF49CB6FB Time : 0.0 sec. user=mdettweiler [2013-08-13 16:43:34] 621*2^1250651-1 is not prime. Res64: 1F7093A22B48A2F6 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:47:59] 663*2^1250651-1 is not prime. Res64: 3D92516A78CF7A10 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:47:59] 669*2^1250651-1 is not prime. Res64: 0C1F5B2DA56ABD6F Time : 0.0 sec. user=mdettweiler [2013-08-13 16:49:19] 703*2^1250651-1 is not prime. Res64: FC12A0BF370DD226 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:49:19] 811*2^1250651-1 is not prime. Res64: F854366BECB5D7CE Time : 0.0 sec. user=mdettweiler [2013-08-13 16:55:30] 855*2^1250651-1 is not prime. Res64: 1C8913E623D58FB5 Time : 0.0 sec. user=mdettweiler [2013-08-13 16:55:31] 859*2^1250651-1 is not prime. Res64: 2163872D07F010AF Time : 0.0 sec. user=mdettweiler [2013-08-13 17:03:45] 889*2^1250651-1 is not prime. Res64: D3E3EF8E74D6A7C1 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:03:46] 895*2^1250651-1 is not prime. Res64: BA1EA05BACA39833 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:10:12] 921*2^1250651-1 is not prime. Res64: A7D6FBB8464A20CF Time : 0.0 sec. user=mdettweiler [2013-08-13 17:10:13] 979*2^1250651-1 is not prime. Res64: EE09E59666713CA7 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:10:40] 999*2^1250651-1 is not prime. Res64: 741F2C9DE9C4F3C0 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:10:40] 669*2^1250652-1 is not prime. Res64: 1767BE37BC1C9A8D Time : 0.0 sec. user=mdettweiler [2013-08-13 17:15:57] 737*2^1250652-1 is not prime. Res64: CF24590C663E8FA8 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:15:57] 825*2^1250652-1 is not prime. Res64: 86B25C45498B1C2F Time : 0.0 sec. user=mdettweiler [2013-08-13 17:25:03] 903*2^1250652-1 is not prime. Res64: C0EE494D1FE89B2D Time : 0.0 sec. user=mdettweiler [2013-08-13 17:25:03] 915*2^1250652-1 is not prime. Res64: 0C2093A780AC0A82 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:30:59] 801*2^1250653-1 is not prime. Res64: 1D7C756C4FBE9E9E Time : 0.0 sec. user=mdettweiler [2013-08-13 17:30:59] 867*2^1250653-1 is not prime. Res64: 9757430EAC7D094B Time : 0.0 sec. user=mdettweiler [2013-08-13 17:31:31] 945*2^1250652-1 is not prime. Res64: 491B1DE952867392 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:31:31] 681*2^1250653-1 is not prime. Res64: 80C5000FA8C77341 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:37:10] 885*2^1250653-1 is not prime. Res64: C361EF771015A53B Time : 0.0 sec. user=mdettweiler [2013-08-13 17:37:10] 915*2^1250653-1 is not prime. Res64: CDCDC2293FDA1559 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:47:14] 919*2^1250653-1 is not prime. Res64: 7F5A65D17A915595 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:47:14] 945*2^1250653-1 is not prime. Res64: 9A4901F518189DC2 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:51:13] 617*2^1250654-1 is not prime. Res64: D78703AE3C74E353 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:51:13] 645*2^1250654-1 is not prime. Res64: 9A25FD3BAA70D395 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:51:42] 663*2^1250654-1 is not prime. Res64: F0BFC9DACD5452E2 Time : 0.0 sec. user=mdettweiler [2013-08-13 17:51:42] 677*2^1250654-1 is not prime. Res64: 145A22AE9702DEEB Time : 0.0 sec. user=mdettweiler [2013-08-13 17:57:31] 767*2^1250654-1 is not prime. Res64: F121EE19E5214D2F Time : 0.0 sec. user=mdettweiler [2013-08-13 17:57:31] 857*2^1250654-1 is not prime. Res64: 2D0D87DD11131999 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:08:29] 885*2^1250654-1 is not prime. Res64: F315700476D14CDE Time : 0.0 sec. user=mdettweiler [2013-08-13 18:08:30] 917*2^1250654-1 is not prime. Res64: DCE7DB8347A28A46 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:12:05] 735*2^1250655-1 is not prime. Res64: F2EAA8D7637CF553 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:12:05] 739*2^1250655-1 is not prime. Res64: B9BD5ECB916B873E Time : 0.0 sec. user=mdettweiler [2013-08-13 18:12:29] 951*2^1250654-1 is not prime. Res64: 88578182FDAC0F22 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:12:29] 613*2^1250655-1 is not prime. Res64: F0780AC49CFA98B8 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:18:43] 765*2^1250655-1 is not prime. Res64: 1FA31B1627A3C7CC Time : 0.0 sec. user=mdettweiler [2013-08-13 18:18:43] 951*2^1250655-1 is not prime. Res64: AFCFBEFACE07F1AE Time : 0.0 sec. user=mdettweiler [2013-08-13 18:28:44] 653*2^1250656-1 is not prime. Res64: 385FD96E49C4CD0F Time : 0.0 sec. user=mdettweiler [2013-08-13 18:28:44] 657*2^1250656-1 is not prime. Res64: A418DB8D8D222A73 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:32:27] 747*2^1250656-1 is not prime. Res64: F1C8BFBF88F25CD3 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:32:28] 803*2^1250656-1 is not prime. Res64: 9C7B169FFF74AA3F Time : 0.0 sec. user=mdettweiler [2013-08-13 18:33:42] 869*2^1250656-1 is not prime. Res64: A2268A95A36DC243 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:33:42] 909*2^1250656-1 is not prime. Res64: E8823D53ACCD9BF7 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:40:48] 975*2^1250656-1 is not prime. Res64: 4EC8E0A64AFA667F Time : 0.0 sec. user=mdettweiler [2013-08-13 18:40:48] 993*2^1250656-1 is not prime. Res64: DA5FE6EB2735D96D Time : 0.0 sec. user=mdettweiler [2013-08-13 18:50:01] 999*2^1250656-1 is not prime. Res64: 4C9039CE671F62B3 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:50:01] 645*2^1250657-1 is not prime. Res64: 12CAF2E7692F8AF0 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:52:37] 699*2^1250657-1 is not prime. Res64: 627BD57E35A3E826 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:52:38] 711*2^1250657-1 is not prime. Res64: 03965327A9349A88 Time : 0.0 sec. user=mdettweiler [2013-08-13 18:53:55] 741*2^1250657-1 is not prime. Res64: 89E08481A845526B Time : 0.0 sec. user=mdettweiler [2013-08-13 18:53:55] 769*2^1250657-1 is not prime. Res64: 248C057184F132D8 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:01:02] 795*2^1250657-1 is not prime. Res64: 247D654136FEBD3E Time : 0.0 sec. user=mdettweiler [2013-08-13 19:01:03] 889*2^1250657-1 is not prime. Res64: B268182FA4CD244A Time : 0.0 sec. user=mdettweiler [2013-08-13 19:10:15] 901*2^1250657-1 is not prime. Res64: C0EAF6F6E353EBB1 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:10:16] 633*2^1250658-1 is not prime. Res64: 799F0FA40DD876D9 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:12:51] 737*2^1250658-1 is not prime. Res64: 519BFDF492D90A6E Time : 0.0 sec. user=mdettweiler [2013-08-13 19:12:52] 755*2^1250658-1 is not prime. Res64: 7B6AFD3E5BDA982A Time : 0.0 sec. user=mdettweiler [2013-08-13 19:14:20] 885*2^1250658-1 is not prime. Res64: 904F47463D165755 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:14:21] 891*2^1250658-1 is not prime. Res64: 70EF94AE6706C166 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:21:26] 735*2^1250659-1 is not prime. Res64: 2C0B83AC00FD8F90 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:21:26] 769*2^1250659-1 is not prime. Res64: 986DA5B164AA66E9 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:30:17] 669*2^1250660-1 is not prime. Res64: 6EF48D91389D578E Time : 0.0 sec. user=mdettweiler [2013-08-13 19:30:18] 833*2^1250660-1 is not prime. Res64: 9A7DA4EED26BBFF2 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:33:57] 843*2^1250660-1 is not prime. Res64: 4FF9F9BCA9F93D9A Time : 0.0 sec. user=mdettweiler [2013-08-13 19:33:57] 963*2^1250660-1 is not prime. Res64: 53D043542A0BD82A Time : 0.0 sec. user=mdettweiler [2013-08-13 19:34:28] 609*2^1250661-1 is not prime. Res64: 2CD5257946D62056 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:34:28] 717*2^1250661-1 is not prime. Res64: 453C689456221343 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:41:32] 745*2^1250661-1 is not prime. Res64: 3E2FDD98C5A1A4F7 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:41:33] 805*2^1250661-1 is not prime. Res64: 7CC54F129A98066D Time : 0.0 sec. user=mdettweiler [2013-08-13 19:50:17] 849*2^1250661-1 is not prime. Res64: 9393177BC3FAF7FC Time : 0.0 sec. user=mdettweiler [2013-08-13 19:50:17] 623*2^1250662-1 is not prime. Res64: 2A43EC307D075B5B Time : 0.0 sec. user=mdettweiler [2013-08-13 19:53:56] 717*2^1250662-1 is not prime. Res64: 995CDE9866E5C672 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:53:56] 741*2^1250662-1 is not prime. Res64: 9314962B0DDCB6F7 Time : 0.0 sec. user=mdettweiler [2013-08-13 19:54:29] 761*2^1250662-1 is not prime. Res64: DC883479AB242ACA Time : 0.0 sec. user=mdettweiler [2013-08-13 19:54:29] 813*2^1250662-1 is not prime. Res64: 40DD2563163581C9 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:01:32] 831*2^1250662-1 is not prime. Res64: F919E3E42EFACE14 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:01:32] 887*2^1250662-1 is not prime. Res64: 1D7BAC6EB54BD3AA Time : 0.0 sec. user=mdettweiler [2013-08-13 20:11:11] 983*2^1250662-1 is not prime. Res64: B716231F359DFD56 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:11:12] 633*2^1250663-1 is not prime. Res64: 72CAC6D4059E9E9A Time : 0.0 sec. user=juhehe [2013-08-13 20:12:24] 647*2^1250660-1 is not prime. Res64: 560CE0A176F5DA5C Time : 0.0 sec. user=mdettweiler [2013-08-13 20:13:50] 643*2^1250663-1 is not prime. Res64: 65F67560B63204B6 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:13:50] 705*2^1250663-1 is not prime. Res64: C5D89EE6B005C266 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:14:26] 759*2^1250663-1 is not prime. Res64: C045E590D7219BA0 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:14:27] 895*2^1250663-1 is not prime. Res64: 993F74B1B0E399D2 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:22:56] 963*2^1250663-1 is not prime. Res64: F3101FB3656C5542 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:22:56] 623*2^1250664-1 is not prime. Res64: 7996DDB59400C592 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:31:36] 705*2^1250664-1 is not prime. Res64: 8784C8E0CF9CEBC1 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:31:36] 795*2^1250664-1 is not prime. Res64: 4B2008D8497F3C45 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:34:20] 857*2^1250664-1 is not prime. Res64: 17CE4EEC01E34E2A Time : 0.0 sec. user=mdettweiler [2013-08-13 20:34:20] 899*2^1250664-1 is not prime. Res64: CFBB17577F52F12C Time : 0.0 sec. user=mdettweiler [2013-08-13 20:35:14] 607*2^1250665-1 is not prime. Res64: 288981419B4CD43C Time : 0.0 sec. user=mdettweiler [2013-08-13 20:35:14] 687*2^1250665-1 is not prime. Res64: 772770DCADED9F08 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:43:07] 705*2^1250665-1 is not prime. Res64: 47BDE160AEB791E8 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:43:07] 729*2^1250665-1 is not prime. Res64: 44330B7DFA0CD9DF Time : 0.0 sec. user=mdettweiler [2013-08-13 20:51:37] 741*2^1250665-1 is not prime. Res64: 28D7133185300AF0 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:51:38] 759*2^1250665-1 is not prime. Res64: F8CDDA2290C33B04 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:55:17] 895*2^1250665-1 is not prime. Res64: 3271A235EE0E9A02 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:55:17] 711*2^1250666-1 is not prime. Res64: 2CE8A39B5A8DE51A Time : 0.0 sec. user=mdettweiler [2013-08-13 20:55:17] 925*2^1250665-1 is not prime. Res64: 286F33F0DBC51079 Time : 0.0 sec. user=mdettweiler [2013-08-13 20:55:17] 747*2^1250666-1 is not prime. Res64: D9529BD4F99501EE Time : 0.0 sec. user=mdettweiler [2013-08-13 21:04:08] 767*2^1250666-1 is not prime. Res64: BE06B2FFBE60AB55 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:04:08] 923*2^1250666-1 is not prime. Res64: 31491BBA58C3AA5A Time : 0.0 sec. user=mdettweiler [2013-08-13 21:13:37] 953*2^1250666-1 is not prime. Res64: 84E82A4960C06AE6 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:13:37] 1001*2^1250666-1 is not prime. Res64: 12F8DE3BB3EBBF81 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:15:21] 699*2^1250667-1 is not prime. Res64: 5F12736113F2CAB8 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:15:21] 793*2^1250667-1 is not prime. Res64: AE8276FF471D2F1A Time : 0.0 sec. user=mdettweiler [2013-08-13 21:16:19] 879*2^1250667-1 is not prime. Res64: 86E8B693F7BCDF53 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:16:19] 961*2^1250667-1 is not prime. Res64: 7B5F73B1FEE12F5F Time : 0.0 sec. user=mdettweiler [2013-08-13 21:25:11] 975*2^1250667-1 is not prime. Res64: A33DDB3929302D25 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:25:11] 647*2^1250668-1 is not prime. Res64: 6C0DBC15EA35C014 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:33:41] 735*2^1250668-1 is not prime. Res64: DC585F87F86479B8 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:33:41] 755*2^1250668-1 is not prime. Res64: 39A496C85536A1A8 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:36:29] 825*2^1250668-1 is not prime. Res64: 4542F82F1398EEA5 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:36:29] 929*2^1250668-1 is not prime. Res64: 0D20CB189FFD8F0B Time : 0.0 sec. user=mdettweiler [2013-08-13 21:37:16] 953*2^1250668-1 is not prime. Res64: 55C1DECA2562C868 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:37:16] 691*2^1250669-1 is not prime. Res64: C9C4C178E804A61B Time : 0.0 sec. user=mdettweiler [2013-08-13 21:45:12] 825*2^1250669-1 is not prime. Res64: 3756F85B0E31E4E0 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:45:12] 865*2^1250669-1 is not prime. Res64: 40405BB90096243C Time : 0.0 sec. user=mdettweiler [2013-08-13 21:55:35] 927*2^1250669-1 is not prime. Res64: E0E79955C21ADF2B Time : 0.0 sec. user=mdettweiler [2013-08-13 21:55:35] 955*2^1250669-1 is not prime. Res64: 130DAED457F8BC6F Time : 0.0 sec. user=mdettweiler [2013-08-13 21:56:21] 635*2^1250670-1 is not prime. Res64: 956947526879F08C Time : 0.0 sec. user=mdettweiler [2013-08-13 21:56:22] 657*2^1250670-1 is not prime. Res64: 9FF9EF031FEFF4F7 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:57:15] 723*2^1250670-1 is not prime. Res64: 4AD01ABA9E909012 Time : 0.0 sec. user=mdettweiler [2013-08-13 21:57:16] 765*2^1250670-1 is not prime. Res64: FCFC213EDFDA447A Time : 0.0 sec. user=mdettweiler [2013-08-13 22:05:20] 833*2^1250670-1 is not prime. Res64: 3375631464D4E296 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:05:21] 861*2^1250670-1 is not prime. Res64: 404246764E361F68 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:16:21] 863*2^1250670-1 is not prime. Res64: 4C24EECC1BDAB918 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:16:21] 875*2^1250670-1 is not prime. Res64: 650E449E26130248 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:18:01] 645*2^1250671-1 is not prime. Res64: 36697AC108114EFB Time : 0.0 sec. user=mdettweiler [2013-08-13 22:18:01] 651*2^1250671-1 is not prime. Res64: 5FC9FCD6F2D7ABC5 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:18:57] 933*2^1250670-1 is not prime. Res64: 21A883DBCDE2B99C Time : 0.0 sec. user=mdettweiler [2013-08-13 22:18:57] 1001*2^1250670-1 is not prime. Res64: A9666459EEF2D546 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:26:11] 673*2^1250671-1 is not prime. Res64: BA30FC39ECBE6ED3 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:26:12] 679*2^1250671-1 is not prime. Res64: 844147E9FBC2344C Time : 0.0 sec. user=mdettweiler [2013-08-13 22:36:24] 681*2^1250671-1 is not prime. Res64: 96043E38F469D2B6 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:36:24] 813*2^1250671-1 is not prime. Res64: F18713FBCCBA3C79 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:38:09] 859*2^1250671-1 is not prime. Res64: C68591D11E61A020 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:38:10] 901*2^1250671-1 is not prime. Res64: F49A622CE0CF3D69 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:40:58] 961*2^1250671-1 is not prime. Res64: D97A525B444C331C Time : 0.0 sec. user=mdettweiler [2013-08-13 22:40:59] 993*2^1250671-1 is not prime. Res64: 8B66BC1D429F8AE6 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:47:01] 999*2^1250671-1 is not prime. Res64: F342F9F8E7F4F228 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:47:01] 629*2^1250672-1 is not prime. Res64: 2A291240E799575C Time : 0.0 sec. user=mdettweiler [2013-08-13 22:56:08] 713*2^1250672-1 is not prime. Res64: 9F1FEDFA53E3FBAE Time : 0.0 sec. user=mdettweiler [2013-08-13 22:56:08] 803*2^1250672-1 is not prime. Res64: 7823AA7A0471DE67 Time : 0.0 sec. user=mdettweiler [2013-08-13 22:58:49] 959*2^1250672-1 is not prime. Res64: EB507A9F34F6E45A Time : 0.0 sec. user=mdettweiler [2013-08-13 22:58:50] 679*2^1250673-1 is not prime. Res64: 2219F8CADDC70199 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:00:39] 691*2^1250673-1 is not prime. Res64: 252CB1544DEF8013 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:00:39] 819*2^1250673-1 is not prime. Res64: EC30CF5F450AFF84 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:06:43] 861*2^1250673-1 is not prime. Res64: 6F69C14EC6235CE2 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:06:44] 871*2^1250673-1 is not prime. Res64: 4C1E00E8F6B0F199 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:16:47] 877*2^1250673-1 is not prime. Res64: 85431E504813DB77 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:16:47] 979*2^1250673-1 is not prime. Res64: 427DB797BA256353 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:18:37] 621*2^1250674-1 is not prime. Res64: 1B4A68B83E7CB062 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:18:37] 657*2^1250674-1 is not prime. Res64: 2EE50C840D81A75C Time : 0.0 sec. user=mdettweiler [2013-08-13 23:20:31] 723*2^1250674-1 is not prime. Res64: 0AA2E61B1A45CB1E Time : 0.0 sec. user=mdettweiler [2013-08-13 23:20:32] 813*2^1250674-1 is not prime. Res64: EB7694DA631F9A55 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:26:24] 815*2^1250674-1 is not prime. Res64: A62D6BB18E097CA1 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:26:25] 825*2^1250674-1 is not prime. Res64: 55B4594B972A1B75 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:37:40] 861*2^1250674-1 is not prime. Res64: 74233120EDC54EA7 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:37:41] 947*2^1250674-1 is not prime. Res64: 0BAE1F91EB441CC6 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:38:42] 649*2^1250675-1 is not prime. Res64: D11864D159CAE187 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:38:43] 651*2^1250675-1 is not prime. Res64: DC41FC2E87AE3061 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:40:33] 663*2^1250675-1 is not prime. Res64: 629823B429357A0B Time : 0.0 sec. user=mdettweiler [2013-08-13 23:40:34] 759*2^1250675-1 is not prime. Res64: B7EDADF8A36F303A Time : 0.0 sec. user=mdettweiler [2013-08-13 23:46:20] 771*2^1250675-1 is not prime. Res64: 600F4D742DAF5532 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:46:21] 903*2^1250675-1 is not prime. Res64: 2A8D60228C858339 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:58:18] 949*2^1250675-1 is not prime. Res64: CCCF8CF148039249 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:58:18] 699*2^1250676-1 is not prime. Res64: 372B225E349F1548 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:58:24] 707*2^1250676-1 is not prime. Res64: 63B10D5CB98B1511 Time : 0.0 sec. user=mdettweiler [2013-08-13 23:58:25] 825*2^1250676-1 is not prime. Res64: A96168F52B44C792 Time : 0.0 sec. user=mdettweiler [2013-08-14 00:00:19] 839*2^1250676-1 is not prime. Res64: AE7D1F7A0BF9C50B Time : 0.0 sec. user=mdettweiler [2013-08-14 00:00:19] 845*2^1250676-1 is not prime. Res64: D550B5B3CEA7FF38 Time : 0.0 sec.