user=gd_barnes [2012-09-25 00:02:33] 667*2^1229469-1 is not prime. Res64: 66766983CF528775 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:03:14] 831*2^1229469-1 is not prime. Res64: 7AE6DB103A746811 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:04:42] 835*2^1229469-1 is not prime. Res64: 489FE25BBAFDC29F Time : 0.0 sec. user=gd_barnes [2012-09-25 00:06:20] 865*2^1229469-1 is not prime. Res64: A3722F95E23ACA4B Time : 0.0 sec. user=gd_barnes [2012-09-25 00:06:31] 919*2^1229469-1 is not prime. Res64: 6D4F822D3D93EAC8 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:08:13] 949*2^1229469-1 is not prime. Res64: 3A1EB1AE4917436D Time : 0.0 sec. user=gd_barnes [2012-09-25 00:13:06] 985*2^1229469-1 is not prime. Res64: 3BE68BA92D38062C Time : 0.0 sec. user=gd_barnes [2012-09-25 00:13:30] 717*2^1229470-1 is not prime. Res64: A419BB63F2917C69 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:14:05] 609*2^1229471-1 is not prime. Res64: EB6493D587C65F64 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:14:06] 643*2^1229471-1 is not prime. Res64: 7D3BB12EFDE7DD3A Time : 0.0 sec. user=mdettweiler [2012-09-25 00:14:11] 871*2^1229471-1 is not prime. Res64: 7744C14F295B7D35 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:14:11] 999*2^1229471-1 is not prime. Res64: E85C62F0976BDC47 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:15:59] 873*2^1229470-1 is not prime. Res64: D385F681E72D1532 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:16:40] 867*2^1229469-1 is not prime. Res64: 5C5D49E21C274C14 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:16:54] 917*2^1229470-1 is not prime. Res64: A19B13E45F76C00B Time : 0.0 sec. user=gd_barnes [2012-09-25 00:17:18] 945*2^1229470-1 is not prime. Res64: 47070BE749C2FA19 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:18:55] 961*2^1229469-1 is not prime. Res64: D4DD3481CE2FCAC6 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:19:34] 605*2^1229472-1 is not prime. Res64: 52271D8FE7A6D5BD Time : 0.0 sec. user=gd_barnes [2012-09-25 00:23:27] 767*2^1229472-1 is not prime. Res64: BD73E685E563579F Time : 0.0 sec. user=gd_barnes [2012-09-25 00:23:53] 635*2^1229472-1 is not prime. Res64: FEE268299424F0C8 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:25:43] 797*2^1229472-1 is not prime. Res64: 10334374F26744E2 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:27:08] 803*2^1229472-1 is not prime. Res64: F7B47A042B8545B4 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:28:35] 915*2^1229472-1 is not prime. Res64: EE9ECA6EDD454018 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:29:38] 917*2^1229472-1 is not prime. Res64: 973B2C3FF84819D3 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:30:13] 639*2^1229473-1 is not prime. Res64: 3A60BDAE9F0FBD90 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:32:11] 805*2^1229473-1 is not prime. Res64: D5934A521A08CBA9 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:32:48] 765*2^1229473-1 is not prime. Res64: 1042AA1CEA71C040 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:33:57] 811*2^1229473-1 is not prime. Res64: 20FCC7659820650B Time : 0.0 sec. user=mdettweiler [2012-09-25 00:34:39] 985*2^1229473-1 is not prime. Res64: 90669E4CFDC02249 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:34:40] 711*2^1229474-1 is not prime. Res64: D47C9FBA7418008F Time : 0.0 sec. user=mdettweiler [2012-09-25 00:34:45] 825*2^1229474-1 is not prime. Res64: A535684712B93FB7 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:34:45] 831*2^1229474-1 is not prime. Res64: 9558036959FD3EFF Time : 0.0 sec. user=gd_barnes [2012-09-25 00:38:50] 861*2^1229473-1 is not prime. Res64: 01E767EB143D98BB Time : 0.0 sec. user=gd_barnes [2012-09-25 00:39:04] 895*2^1229473-1 is not prime. Res64: E2C5EA89FA12AD8B Time : 0.0 sec. user=gd_barnes [2012-09-25 00:42:15] 981*2^1229474-1 is not prime. Res64: 44A6708FF9740DFB Time : 0.0 sec. user=gd_barnes [2012-09-25 00:42:25] 705*2^1229475-1 is not prime. Res64: C207D5FB6B233BD1 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:42:49] 853*2^1229475-1 is not prime. Res64: CBB590D0C2311526 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:45:10] 615*2^1229476-1 is not prime. Res64: 88BD0F6BD6436260 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:49:09] 773*2^1229476-1 is not prime. Res64: 7430EDBEDCF92842 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:50:23] 803*2^1229476-1 is not prime. Res64: 0D74E613FE9D8812 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:50:43] 711*2^1229477-1 is not prime. Res64: 782B63D15866A313 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:51:45] 669*2^1229475-1 is not prime. Res64: 55FB28346CE1559D Time : 0.0 sec. user=gd_barnes [2012-09-25 00:53:37] 757*2^1229477-1 is not prime. Res64: 885596D5AA5F77B3 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:55:24] 979*2^1229477-1 is not prime. Res64: 6403D7843DAB65C1 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:55:24] 611*2^1229478-1 is not prime. Res64: 23157991DEA3B5AF Time : 0.0 sec. user=mdettweiler [2012-09-25 00:55:29] 647*2^1229478-1 is not prime. Res64: 2AF32E0040848535 Time : 0.0 sec. user=mdettweiler [2012-09-25 00:55:29] 681*2^1229478-1 is not prime. Res64: 169043A15CF3D1B0 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:55:38] 885*2^1229475-1 is not prime. Res64: 405435EF2A47A79A Time : 0.0 sec. user=gd_barnes [2012-09-25 00:55:44] 885*2^1229477-1 is not prime. Res64: 5D43933BC87AE275 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:56:09] 859*2^1229477-1 is not prime. Res64: 667BFB1557C907DD Time : 0.0 sec. user=gd_barnes [2012-09-25 00:56:12] 879*2^1229477-1 is not prime. Res64: BE765B27C1758120 Time : 0.0 sec. user=gd_barnes [2012-09-25 00:57:50] 939*2^1229477-1 is not prime. Res64: EDECAC077CE9324F Time : 0.0 sec. user=gd_barnes [2012-09-25 00:59:19] 955*2^1229477-1 is not prime. Res64: 8E3F6FB1798A085E Time : 0.0 sec. user=gd_barnes [2012-09-25 00:59:37] 957*2^1229477-1 is not prime. Res64: 58FA00371A55911D Time : 0.0 sec. user=gd_barnes [2012-09-25 01:04:25] 731*2^1229478-1 is not prime. Res64: DC082BC0761B4031 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:04:33] 773*2^1229478-1 is not prime. Res64: 49B3ABD4507CB9D8 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:07:52] 881*2^1229478-1 is not prime. Res64: 16B46CBC1CA401DB Time : 0.0 sec. user=gd_barnes [2012-09-25 01:07:56] 887*2^1229478-1 is not prime. Res64: 056BD2D4B89CA223 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:08:20] 945*2^1229478-1 is not prime. Res64: BD2A6F5EEE9F961A Time : 0.0 sec. user=gd_barnes [2012-09-25 01:10:50] 663*2^1229479-1 is not prime. Res64: DDA7B58504E8F05C Time : 0.0 sec. user=gd_barnes [2012-09-25 01:14:47] 741*2^1229479-1 is not prime. Res64: F62435C2F6218F79 Time : 0.0 sec. user=mdettweiler [2012-09-25 01:16:16] 609*2^1229480-1 is not prime. Res64: 661C54785FC7854B Time : 0.0 sec. user=mdettweiler [2012-09-25 01:16:18] 675*2^1229480-1 is not prime. Res64: 1A2410226B7131D4 Time : 0.0 sec. user=mdettweiler [2012-09-25 01:16:21] 767*2^1229480-1 is not prime. Res64: CAB0A38396E30685 Time : 0.0 sec. user=mdettweiler [2012-09-25 01:16:23] 795*2^1229480-1 is not prime. Res64: 2FFA8589C6BFEB90 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:16:38] 831*2^1229479-1 is not prime. Res64: 35D79429B68A2998 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:16:46] 873*2^1229479-1 is not prime. Res64: D60AE6BD28BB735D Time : 0.0 sec. user=gd_barnes [2012-09-25 01:19:44] 979*2^1229479-1 is not prime. Res64: 13C8EE18A53104D5 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:21:16] 875*2^1229480-1 is not prime. Res64: 92C5AEFA604F35F8 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:21:28] 897*2^1229480-1 is not prime. Res64: 89480E1F9DC689E6 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:22:17] 959*2^1229480-1 is not prime. Res64: BB871161D7834BF1 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:23:33] 943*2^1229479-1 is not prime. Res64: 4B7EF1C99A4BA569 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:25:07] 999*2^1229480-1 is not prime. Res64: 19B782EAE286559A Time : 0.0 sec. user=gd_barnes [2012-09-25 01:25:18] 679*2^1229481-1 is not prime. Res64: 9331CC4C1DF72E39 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:25:20] 795*2^1229481-1 is not prime. Res64: 6E8A417541B97FE2 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:27:15] 843*2^1229480-1 is not prime. Res64: D0F7F1904AC22CB0 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:30:06] 889*2^1229481-1 is not prime. Res64: AB5A90AD4A979881 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:30:10] 975*2^1229481-1 is not prime. Res64: B649CDEF62F59E1C Time : 0.0 sec. user=gd_barnes [2012-09-25 01:32:53] 651*2^1229482-1 is not prime. Res64: D0DF1F8D152375CA Time : 0.0 sec. user=gd_barnes [2012-09-25 01:33:28] 713*2^1229482-1 is not prime. Res64: 0C335475C6544BE8 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:33:53] 755*2^1229482-1 is not prime. Res64: 2EB2C91F96DE633F Time : 0.0 sec. user=gd_barnes [2012-09-25 01:36:32] 777*2^1229482-1 is not prime. Res64: B2C423B3900DDFDB Time : 0.0 sec. user=mdettweiler [2012-09-25 01:37:00] 803*2^1229482-1 is not prime. Res64: 22950F371601163E Time : 0.0 sec. user=mdettweiler [2012-09-25 01:37:00] 825*2^1229482-1 is not prime. Res64: FDDAC49876F64924 Time : 0.0 sec. user=mdettweiler [2012-09-25 01:37:02] 831*2^1229482-1 is not prime. Res64: 3DD397CAB82B7661 Time : 0.0 sec. user=mdettweiler [2012-09-25 01:37:02] 843*2^1229482-1 is not prime. Res64: BF1D809C49AC9BAA Time : 0.0 sec. user=gd_barnes [2012-09-25 01:40:33] 801*2^1229482-1 is not prime. Res64: 2E3D1D8BFE1AD802 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:42:06] 867*2^1229482-1 is not prime. Res64: FD210AC5AA94A57E Time : 0.0 sec. user=gd_barnes [2012-09-25 01:42:15] 855*2^1229482-1 is not prime. Res64: 46F481FCC7A88709 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:45:29] 915*2^1229482-1 is not prime. Res64: 6E0B8C6D2FB0E293 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:46:48] 983*2^1229482-1 is not prime. Res64: 47758894820B49BE Time : 0.0 sec. user=gd_barnes [2012-09-25 01:46:51] 995*2^1229482-1 is not prime. Res64: 6CE2CE95947FF0BE Time : 0.0 sec. user=gd_barnes [2012-09-25 01:47:54] 705*2^1229483-1 is not prime. Res64: A3AC7A2433A297B2 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:51:03] 859*2^1229483-1 is not prime. Res64: 054F7C7D4CBAFF0B Time : 0.0 sec. user=gd_barnes [2012-09-25 01:51:04] 789*2^1229483-1 is not prime. Res64: 0CA6813BCC6439AE Time : 0.0 sec. user=gd_barnes [2012-09-25 01:51:21] 745*2^1229483-1 is not prime. Res64: 5911470F3D15BD70 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:55:49] 837*2^1229484-1 is not prime. Res64: 2E47DEE168CC4BFA Time : 0.0 sec. user=gd_barnes [2012-09-25 01:55:51] 783*2^1229484-1 is not prime. Res64: 2CCC3B2546484735 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:56:10] 735*2^1229483-1 is not prime. Res64: A48D096428E697C7 Time : 0.0 sec. user=mdettweiler [2012-09-25 01:57:31] 691*2^1229485-1 is not prime. Res64: 533B076E4CD933BE Time : 0.0 sec. user=mdettweiler [2012-09-25 01:57:32] 699*2^1229485-1 is not prime. Res64: 8B475FD022B74649 Time : 0.0 sec. user=mdettweiler [2012-09-25 01:57:33] 715*2^1229485-1 is not prime. Res64: F032B0973B3CB74D Time : 0.0 sec. user=mdettweiler [2012-09-25 01:57:33] 717*2^1229485-1 is not prime. Res64: ADFD926A0FEFA565 Time : 0.0 sec. user=gd_barnes [2012-09-25 01:58:44] 905*2^1229484-1 is not prime. Res64: 1CD37F1AE8BA319E Time : 0.0 sec. user=gd_barnes [2012-09-25 01:59:00] 959*2^1229484-1 is not prime. Res64: D01F592774FFEB4F Time : 0.0 sec. user=gd_barnes [2012-09-25 01:59:26] 987*2^1229484-1 is not prime. Res64: 52B09859BB5D419B Time : 0.0 sec. user=gd_barnes [2012-09-25 01:59:57] 999*2^1229483-1 is not prime. Res64: E9A5A8954DABD7AC Time : 0.0 sec. user=gd_barnes [2012-09-25 02:02:10] 651*2^1229485-1 is not prime. Res64: 0A3948BAFD3D0391 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:06:16] 847*2^1229485-1 is not prime. Res64: 6FEBE91EED713E70 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:08:01] 885*2^1229485-1 is not prime. Res64: B960B8703F75FE5E Time : 0.0 sec. user=gd_barnes [2012-09-25 02:08:29] 951*2^1229485-1 is not prime. Res64: FE6F1994E8D3E082 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:11:39] 755*2^1229486-1 is not prime. Res64: 5CE1C9AD9B7A6919 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:11:46] 617*2^1229486-1 is not prime. Res64: 892E0F8BAE494612 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:12:14] 657*2^1229486-1 is not prime. Res64: CAC8D98E435ECBB9 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:14:10] 843*2^1229486-1 is not prime. Res64: 163A804E5729EB7F Time : 0.0 sec. user=gd_barnes [2012-09-25 02:16:41] 861*2^1229486-1 is not prime. Res64: 879DCAEA54ADE523 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:17:13] 795*2^1229487-1 is not prime. Res64: A8C7AB8341B857EF Time : 0.0 sec. user=gd_barnes [2012-09-25 02:17:22] 633*2^1229487-1 is not prime. Res64: 7DFC07FCFFCD3556 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:18:03] 863*2^1229488-1 is not prime. Res64: 4E182161775462E8 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:18:04] 887*2^1229488-1 is not prime. Res64: 1AD62FDFFD3E9E6F Time : 0.0 sec. user=mdettweiler [2012-09-25 02:18:05] 947*2^1229488-1 is not prime. Res64: 9D5F52DC5E89EDD1 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:18:06] 989*2^1229488-1 is not prime. Res64: 0D77117D0995D8AD Time : 0.0 sec. user=gd_barnes [2012-09-25 02:21:17] 879*2^1229487-1 is not prime. Res64: 2E705749B90D6585 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:21:31] 931*2^1229487-1 is not prime. Res64: 4E5D4B38DB64A2C4 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:24:30] 711*2^1229489-1 is not prime. Res64: CE952DF9BFB773AD Time : 0.0 sec. user=gd_barnes [2012-09-25 02:24:54] 991*2^1229489-1 is not prime. Res64: C5614F961C83E5B0 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:25:28] 993*2^1229488-1 is not prime. Res64: 5C49C3FB7A38A38D Time : 0.0 sec. user=gd_barnes [2012-09-25 02:27:52] 657*2^1229490-1 is not prime. Res64: 2E2540CD2539C98F Time : 0.0 sec. user=gd_barnes [2012-09-25 02:31:00] 979*2^1229487-1 is not prime. Res64: FAF4808E8463D064 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:31:57] 741*2^1229490-1 is not prime. Res64: F40B8EFA1364E78F Time : 0.0 sec. user=gd_barnes [2012-09-25 02:34:13] 933*2^1229490-1 is not prime. Res64: 39315CF0AB84BE16 Time : 0.0 sec. user=gd_barnes [2012-09-25 02:35:00] 609*2^1229491-1 is not prime. Res64: 9C64346B349CC25A Time : 0.0 sec. user=gd_barnes [2012-09-25 02:35:46] 633*2^1229490-1 is not prime. Res64: 2028EB8112621807 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:38:39] 619*2^1229491-1 is not prime. Res64: 4FDE886D62678F07 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:38:40] 741*2^1229491-1 is not prime. Res64: 6D19F1C6BBD6385F Time : 0.0 sec. user=mdettweiler [2012-09-25 02:38:41] 793*2^1229491-1 is not prime. Res64: 3E1AF61766E539A7 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:38:42] 813*2^1229491-1 is not prime. Res64: BFBF034077108A22 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:59:23] 873*2^1229491-1 is not prime. Res64: FFFFD6E608868203 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:59:23] 635*2^1229492-1 is not prime. Res64: 14EE0ACBC4024A42 Time : 0.0 sec. user=mdettweiler [2012-09-25 02:59:24] 665*2^1229492-1 is not prime. Res64: E69E90B7A3FEE50C Time : 0.0 sec. user=mdettweiler [2012-09-25 02:59:25] 923*2^1229492-1 is not prime. Res64: 8BDDB89EBA52CEBA Time : 0.0 sec. user=mdettweiler [2012-09-25 03:20:01] 935*2^1229492-1 is not prime. Res64: 2A4A98EB7F03E966 Time : 0.0 sec. user=mdettweiler [2012-09-25 03:20:02] 957*2^1229492-1 is not prime. Res64: B87A97E602EBD53D Time : 0.0 sec. user=mdettweiler [2012-09-25 03:20:02] 651*2^1229493-1 is not prime. Res64: B5791695A4D5C10A Time : 0.0 sec. user=mdettweiler [2012-09-25 03:20:03] 699*2^1229493-1 is not prime. Res64: E0C639745AC9E361 Time : 0.0 sec. user=mdettweiler [2012-09-25 03:40:40] 895*2^1229493-1 is not prime. Res64: 264509BB858056D3 Time : 0.0 sec. user=mdettweiler [2012-09-25 03:40:40] 605*2^1229494-1 is not prime. Res64: 11BF0E3BF866EDE6 Time : 0.0 sec. user=mdettweiler [2012-09-25 03:40:40] 915*2^1229493-1 is not prime. Res64: DF8635725CB73085 Time : 0.0 sec. user=mdettweiler [2012-09-25 03:40:40] 611*2^1229494-1 is not prime. Res64: 6F51A0B22F1AA990 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:01:16] 651*2^1229494-1 is not prime. Res64: 9A1976FDCD45423E Time : 0.0 sec. user=mdettweiler [2012-09-25 04:01:17] 723*2^1229494-1 is not prime. Res64: 5BA3DCF652CC565D Time : 0.0 sec. user=mdettweiler [2012-09-25 04:01:18] 773*2^1229494-1 is not prime. Res64: BF53B25E45127496 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:01:18] 681*2^1229494-1 is not prime. Res64: 1289A45BA2BCAE65 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:22:15] 971*2^1229494-1 is not prime. Res64: 5C3E4DDACDFEED58 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:22:16] 987*2^1229494-1 is not prime. Res64: 7EE062206FA7A973 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:22:17] 645*2^1229495-1 is not prime. Res64: 81C3823CE0A3501E Time : 0.0 sec. user=mdettweiler [2012-09-25 04:22:19] 759*2^1229495-1 is not prime. Res64: CA66DDF57163E4F7 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:42:51] 823*2^1229495-1 is not prime. Res64: BE43C7A77CD7C959 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:42:52] 963*2^1229495-1 is not prime. Res64: D524C464656BD897 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:42:52] 979*2^1229495-1 is not prime. Res64: 095EFD8D35070935 Time : 0.0 sec. user=mdettweiler [2012-09-25 04:42:52] 609*2^1229496-1 is not prime. Res64: FF213CB1D2436DEF Time : 0.0 sec. user=mdettweiler [2012-09-25 05:03:27] 653*2^1229496-1 is not prime. Res64: D46D91604A3EA1D1 Time : 0.0 sec. user=mdettweiler [2012-09-25 05:03:28] 815*2^1229496-1 is not prime. Res64: 1F2049FFE97ED4EB Time : 0.0 sec. user=mdettweiler [2012-09-25 05:03:28] 875*2^1229496-1 is not prime. Res64: 807F4A4A31F96D0F Time : 0.0 sec. user=mdettweiler [2012-09-25 05:03:29] 899*2^1229496-1 is not prime. Res64: 4B1872A2C0C0B79E Time : 0.0 sec. user=mdettweiler [2012-09-25 05:24:11] 927*2^1229496-1 is not prime. Res64: 9A51AC3C648C28E1 Time : 0.0 sec. user=mdettweiler [2012-09-25 05:24:12] 871*2^1229497-1 is not prime. Res64: D0A46B7D8C48051A Time : 0.0 sec. user=mdettweiler [2012-09-25 05:24:12] 819*2^1229497-1 is not prime. Res64: 70B3BBE12A32DEEF Time : 0.0 sec. user=mdettweiler [2012-09-25 05:24:13] 895*2^1229497-1 is not prime. Res64: 21BBF04D0CE832D3 Time : 0.0 sec. user=mdettweiler [2012-09-25 05:45:02] 919*2^1229497-1 is not prime. Res64: 17868B817AFB22EC Time : 0.0 sec. user=mdettweiler [2012-09-25 05:45:02] 967*2^1229497-1 is not prime. Res64: C515887C820125D1 Time : 0.0 sec. user=mdettweiler [2012-09-25 05:45:03] 985*2^1229497-1 is not prime. Res64: 8F3F45DD8E037872 Time : 0.0 sec. user=mdettweiler [2012-09-25 05:45:03] 627*2^1229498-1 is not prime. Res64: F98A7BD6486B4F9C Time : 0.0 sec. user=mdettweiler [2012-09-25 06:05:35] 635*2^1229498-1 is not prime. Res64: BAAF2D5CB23128C2 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:05:36] 671*2^1229498-1 is not prime. Res64: E095A25ADBE7666F Time : 0.0 sec. user=mdettweiler [2012-09-25 06:05:37] 743*2^1229498-1 is not prime. Res64: 00065DD377892C17 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:05:38] 773*2^1229498-1 is not prime. Res64: AF0A0B42C8511494 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:26:19] 797*2^1229498-1 is not prime. Res64: F6F39C38EBF48786 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:26:20] 927*2^1229498-1 is not prime. Res64: CEBAF58B23C90C8E Time : 0.0 sec. user=mdettweiler [2012-09-25 06:26:21] 843*2^1229499-1 is not prime. Res64: 98D886CA36B6A697 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:26:22] 961*2^1229499-1 is not prime. Res64: BD821A109D441B03 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:46:55] 975*2^1229499-1 is not prime. Res64: 62482C76B99F7925 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:46:55] 699*2^1229500-1 is not prime. Res64: D0062887256E3BE0 Time : 0.0 sec. user=mdettweiler [2012-09-25 06:46:56] 777*2^1229500-1 is not prime. Res64: E13C3FA6A73E922F Time : 0.0 sec. user=mdettweiler [2012-09-25 06:46:56] 785*2^1229500-1 is not prime. Res64: 93717673A2C4FAB1 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:07:28] 833*2^1229500-1 is not prime. Res64: FEE10F76B15A72D7 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:07:28] 999*2^1229500-1 is not prime. Res64: 0C57915830FF3835 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:07:29] 939*2^1229500-1 is not prime. Res64: 4FC2E29BA10AD392 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:07:29] 619*2^1229501-1 is not prime. Res64: 46297C2BBE9A6590 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:28:12] 745*2^1229501-1 is not prime. Res64: 6B235AA96E76A8D5 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:28:13] 769*2^1229501-1 is not prime. Res64: 32B8FD24BA81AB67 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:28:17] 811*2^1229501-1 is not prime. Res64: 3ACD6B9B185321D1 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:28:18] 837*2^1229501-1 is not prime. Res64: 035228589E8F2677 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:48:46] 967*2^1229501-1 is not prime. Res64: 2DA5845A873E1B98 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:48:46] 651*2^1229502-1 is not prime. Res64: 1672A3528179197D Time : 0.0 sec. user=mdettweiler [2012-09-25 07:48:49] 791*2^1229502-1 is not prime. Res64: 02F9D62CEF07E677 Time : 0.0 sec. user=mdettweiler [2012-09-25 07:48:50] 801*2^1229502-1 is not prime. Res64: EDB53A0434DC55E7 Time : 0.0 sec. user=mdettweiler [2012-09-25 08:09:17] 821*2^1229502-1 is not prime. Res64: 586DA0B4CDE653C6 Time : 0.0 sec. user=mdettweiler [2012-09-25 08:09:19] 863*2^1229502-1 is not prime. Res64: 8FE7534C39C6A5BB Time : 0.0 sec. user=mdettweiler [2012-09-25 08:09:21] 625*2^1229503-1 is not prime. Res64: 4BB92B0CBE9D7784 Time : 0.0 sec. user=mdettweiler [2012-09-25 08:09:22] 663*2^1229503-1 is not prime. Res64: 9391A99645B9EBDA Time : 0.0 sec. user=mdettweiler [2012-09-25 08:29:56] 723*2^1229503-1 is not prime. Res64: AED009087819F79B Time : 0.0 sec. user=mdettweiler [2012-09-25 08:29:57] 861*2^1229503-1 is not prime. Res64: AE0BA897989AA5E6 Time : 0.0 sec. user=mdettweiler [2012-09-25 08:29:58] 871*2^1229503-1 is not prime. Res64: 59DD0CF031D92EA0 Time : 0.0 sec. user=mdettweiler [2012-09-25 08:29:59] 885*2^1229503-1 is not prime. Res64: 908F8DB1D848F013 Time : 0.0 sec. user=mdettweiler [2012-09-25 08:50:33] 913*2^1229503-1 is not prime. Res64: 31672D89A47AA0BE Time : 0.0 sec. user=mdettweiler [2012-09-25 08:50:34] 659*2^1229504-1 is not prime. Res64: 845DF83C467EFE0F Time : 0.0 sec. user=mdettweiler [2012-09-25 08:50:34] 687*2^1229504-1 is not prime. Res64: 1C7DBF9F9C070774 Time : 0.0 sec. user=mdettweiler [2012-09-25 08:50:35] 825*2^1229504-1 is not prime. Res64: F7A1BA17444C0BA9 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:11:05] 897*2^1229504-1 is not prime. Res64: DBEC49A3A3A2A995 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:11:07] 903*2^1229504-1 is not prime. Res64: E756DAB22C1B6669 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:11:07] 917*2^1229504-1 is not prime. Res64: C197A21B1BD1D995 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:11:08] 607*2^1229505-1 is not prime. Res64: 8E9328D1E1E86033 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:31:47] 625*2^1229505-1 is not prime. Res64: 6336FA2992E6F58B Time : 0.0 sec. user=mdettweiler [2012-09-25 09:31:48] 759*2^1229505-1 is not prime. Res64: 6308ADDA5BCF12AC Time : 0.0 sec. user=mdettweiler [2012-09-25 09:31:48] 649*2^1229505-1 is not prime. Res64: 5453CB4D31161A04 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:31:49] 819*2^1229505-1 is not prime. Res64: 102F025120BEEB36 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:52:32] 885*2^1229505-1 is not prime. Res64: 16699A391544E68F Time : 0.0 sec. user=mdettweiler [2012-09-25 09:52:33] 937*2^1229505-1 is not prime. Res64: 6825FF6484AC66E0 Time : 0.0 sec. user=mdettweiler [2012-09-25 09:52:33] 831*2^1229505-1 is not prime. Res64: 23E0DCFD10E6445E Time : 0.0 sec. user=mdettweiler [2012-09-25 09:52:34] 623*2^1229506-1 is not prime. Res64: 9FAFD5F232A63B93 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:13:05] 717*2^1229506-1 is not prime. Res64: 9100C4D5E6D6C5D5 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:13:06] 747*2^1229506-1 is not prime. Res64: D3D2DBCB265C8B50 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:13:07] 765*2^1229506-1 is not prime. Res64: 0D22E34EBB831BC6 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:13:08] 813*2^1229506-1 is not prime. Res64: 24D3646BEEE08677 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:33:43] 833*2^1229506-1 is not prime. Res64: 66EAD52480961C4B Time : 0.0 sec. user=mdettweiler [2012-09-25 10:33:44] 947*2^1229506-1 is not prime. Res64: 2DFDDB49641C628E Time : 0.0 sec. user=mdettweiler [2012-09-25 10:33:48] 975*2^1229506-1 is not prime. Res64: 7D3BD520B2DEFE15 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:33:48] 981*2^1229506-1 is not prime. Res64: 654F6BD2AF0760DD Time : 0.0 sec. user=mdettweiler [2012-09-25 10:54:16] 963*2^1229507-1 is not prime. Res64: 1CA15EB4B882A3E0 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:54:17] 635*2^1229508-1 is not prime. Res64: BBC084FC69AA9B08 Time : 0.0 sec. user=mdettweiler [2012-09-25 10:54:20] 683*2^1229508-1 is not prime. Res64: D664446338C780FE Time : 0.0 sec. user=mdettweiler [2012-09-25 10:54:20] 725*2^1229508-1 is not prime. Res64: 733E623DA8E06CF1 Time : 0.0 sec. user=mdettweiler [2012-09-25 11:14:48] 795*2^1229508-1 is not prime. Res64: 53DBBACC5990147A Time : 0.0 sec. user=mdettweiler [2012-09-25 11:14:51] 797*2^1229508-1 is not prime. Res64: CBAC49537E351B9E Time : 0.0 sec. user=mdettweiler [2012-09-25 11:14:52] 845*2^1229508-1 is not prime. Res64: D515ACC51B53776E Time : 0.0 sec. user=mdettweiler [2012-09-25 11:14:55] 867*2^1229508-1 is not prime. Res64: D8718DAC8AE15454 Time : 0.0 sec. user=mdettweiler [2012-09-25 11:35:30] 969*2^1229508-1 is not prime. Res64: A57C91B276126830 Time : 0.0 sec. user=mdettweiler [2012-09-25 11:35:31] 681*2^1229509-1 is not prime. Res64: 97E63F2E604AA7BA Time : 0.0 sec. user=mdettweiler [2012-09-25 11:35:34] 741*2^1229509-1 is not prime. Res64: 48017D94CB2E640A Time : 0.0 sec. user=mdettweiler [2012-09-25 11:35:34] 775*2^1229509-1 is not prime. Res64: 412A735181D4C31A Time : 0.0 sec. user=mdettweiler [2012-09-25 11:56:06] 825*2^1229509-1 is not prime. Res64: 0E0C648CD49799CB Time : 0.0 sec. user=mdettweiler [2012-09-25 11:56:06] 755*2^1229510-1 is not prime. Res64: 412C0397FB4AE1ED Time : 0.0 sec. user=mdettweiler [2012-09-25 11:56:06] 711*2^1229510-1 is not prime. Res64: 056B1B7E4FB81B3C Time : 0.0 sec. user=mdettweiler [2012-09-25 11:56:06] 795*2^1229510-1 is not prime. Res64: E74646E6F00A802C Time : 0.0 sec. user=mdettweiler [2012-09-25 12:16:36] 911*2^1229510-1 is not prime. Res64: F3BCAD7F71740087 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:16:37] 613*2^1229511-1 is not prime. Res64: FC9341634F94F7AD Time : 0.0 sec. user=mdettweiler [2012-09-25 12:16:37] 685*2^1229511-1 is not prime. Res64: F77545CF2B3EFDD9 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:16:38] 705*2^1229511-1 is not prime. Res64: 64BB8F6E272BA8F9 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:37:11] 735*2^1229511-1 is not prime. Res64: 2157FBFF6BCB98AA Time : 0.0 sec. user=mdettweiler [2012-09-25 12:37:11] 789*2^1229511-1 is not prime. Res64: F9EC5C4898BB13A9 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:37:12] 949*2^1229511-1 is not prime. Res64: 35DD9A75A8E56C75 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:37:13] 677*2^1229512-1 is not prime. Res64: 4D41801738318342 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:57:43] 699*2^1229512-1 is not prime. Res64: F6FDAC9E0F5BEBC1 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:57:43] 777*2^1229512-1 is not prime. Res64: C0983414119B4252 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:57:44] 807*2^1229512-1 is not prime. Res64: 3340BDB0B347EAB5 Time : 0.0 sec. user=mdettweiler [2012-09-25 12:57:44] 813*2^1229512-1 is not prime. Res64: 36313A889E7CCF9F Time : 0.0 sec. user=mdettweiler [2012-09-25 13:18:14] 827*2^1229512-1 is not prime. Res64: 73FE06678D08A973 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:18:15] 869*2^1229512-1 is not prime. Res64: C00BC8608570B531 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:18:15] 909*2^1229512-1 is not prime. Res64: 940C355947479078 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:18:16] 923*2^1229512-1 is not prime. Res64: 1D4F4AB7F2408215 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:38:50] 957*2^1229512-1 is not prime. Res64: 36A3106600F2B4F9 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:38:51] 999*2^1229512-1 is not prime. Res64: 3934BC2F3D0CAFA3 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:38:52] 627*2^1229513-1 is not prime. Res64: A9956838F81C7D84 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:38:53] 679*2^1229513-1 is not prime. Res64: EA8FDD00904D58D5 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:59:24] 691*2^1229513-1 is not prime. Res64: 38BEF539F529FCC3 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:59:25] 769*2^1229513-1 is not prime. Res64: 0868418714420D0C Time : 0.0 sec. user=mdettweiler [2012-09-25 13:59:26] 787*2^1229513-1 is not prime. Res64: 84D57EDE510DDEB4 Time : 0.0 sec. user=mdettweiler [2012-09-25 13:59:26] 765*2^1229514-1 is not prime. Res64: 907C8442C0C348A8 Time : 0.0 sec. user=mdettweiler [2012-09-25 14:19:57] 821*2^1229514-1 is not prime. Res64: 93668611F6BC9210 Time : 0.0 sec. user=mdettweiler [2012-09-25 14:19:57] 917*2^1229514-1 is not prime. Res64: 5793ECCCB797896F Time : 0.0 sec. user=mdettweiler [2012-09-25 14:19:58] 947*2^1229514-1 is not prime. Res64: 5302F43DBD865953 Time : 0.0 sec. user=mdettweiler [2012-09-25 14:19:59] 971*2^1229514-1 is not prime. Res64: C4DF35134CCF1B90 Time : 0.0 sec. user=mdettweiler [2012-09-25 14:40:33] 649*2^1229515-1 is not prime. Res64: 51C9D63C4F1A616C Time : 0.0 sec. user=mdettweiler [2012-09-25 14:40:34] 675*2^1229515-1 is not prime. Res64: 3817C5F5CFF9262F Time : 0.0 sec. user=mdettweiler [2012-09-25 14:40:34] 855*2^1229515-1 is not prime. Res64: F170A25421471EEB Time : 0.0 sec. user=mdettweiler [2012-09-25 14:40:35] 885*2^1229515-1 is not prime. Res64: C4CB37DB0EE42D0C Time : 0.0 sec. user=vaughan [2012-09-25 14:55:50] 909*2^1229355-1 is not prime. Res64: CCAF6660D8B2D234 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:01:08] 617*2^1229516-1 is not prime. Res64: B350F208DD29ADF3 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:01:09] 961*2^1229515-1 is not prime. Res64: BCD38A9B790B42A8 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:01:09] 767*2^1229516-1 is not prime. Res64: 02DFD45E9EE1AF6B Time : 0.0 sec. user=mdettweiler [2012-09-25 15:01:10] 985*2^1229515-1 is not prime. Res64: F9BA4CCA8DC6351D Time : 0.0 sec. user=mdettweiler [2012-09-25 15:21:50] 845*2^1229516-1 is not prime. Res64: B023092418206179 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:21:50] 867*2^1229516-1 is not prime. Res64: 96D9AEFCA1026553 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:21:52] 675*2^1229517-1 is not prime. Res64: 402B21FD68A04A63 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:21:52] 891*2^1229517-1 is not prime. Res64: 6D2BB9FE775CA656 Time : 0.0 sec. user=vaughan [2012-09-25 15:33:25] 803*2^1229516-1 is not prime. Res64: 35E825E46489657D Time : 0.0 sec. user=mdettweiler [2012-09-25 15:43:26] 755*2^1229518-1 is not prime. Res64: 265A8270CAC0EB2B Time : 0.0 sec. user=mdettweiler [2012-09-25 15:43:26] 801*2^1229518-1 is not prime. Res64: 54C3295841F16987 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:43:28] 647*2^1229518-1 is not prime. Res64: 096A40BD6D900603 Time : 0.0 sec. user=mdettweiler [2012-09-25 15:43:28] 695*2^1229518-1 is not prime. Res64: 2548386B7354990A Time : 0.0 sec. user=mdettweiler [2012-09-25 16:04:48] 867*2^1229518-1 is not prime. Res64: 636B5A48001CC396 Time : 0.0 sec. user=mdettweiler [2012-09-25 16:04:48] 993*2^1229518-1 is not prime. Res64: 084EB8BC890C2FCC Time : 0.0 sec. user=mdettweiler [2012-09-25 16:04:50] 971*2^1229518-1 is not prime. Res64: D294536FB463523E Time : 0.0 sec. user=mdettweiler [2012-09-25 16:04:52] 645*2^1229519-1 is not prime. Res64: EFEED47348119E88 Time : 0.0 sec. user=mdettweiler [2012-09-25 16:26:22] 669*2^1229519-1 is not prime. Res64: D48A06E0D25B7B54 Time : 0.0 sec. user=mdettweiler [2012-09-25 16:26:22] 789*2^1229519-1 is not prime. Res64: 173D9C772E787D9F Time : 0.0 sec. user=mdettweiler [2012-09-25 16:26:22] 745*2^1229519-1 is not prime. Res64: D4502387C8A7AD11 Time : 0.0 sec. user=mdettweiler [2012-09-25 16:26:22] 819*2^1229519-1 is not prime. Res64: 28D71B6FAAABD347 Time : 0.0 sec. user=mdettweiler [2012-09-25 16:47:22] 909*2^1229519-1 is not prime. Res64: A3537A9DB725B8EA Time : 0.0 sec. user=mdettweiler [2012-09-25 16:47:23] 955*2^1229519-1 is not prime. Res64: 0C0A87DDF6842B16 Time : 0.0 sec. user=mdettweiler [2012-09-25 16:47:23] 979*2^1229519-1 is not prime. Res64: E21F658A543CAFB9 Time : 0.0 sec. user=mdettweiler [2012-09-25 16:47:23] 999*2^1229519-1 is not prime. Res64: 6005B88F74835893 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:08:17] 629*2^1229520-1 is not prime. Res64: F536D2D24E9BFA5B Time : 0.0 sec. user=mdettweiler [2012-09-25 17:08:20] 795*2^1229520-1 is not prime. Res64: F3B488FED14B2BD3 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:08:21] 789*2^1229520-1 is not prime. Res64: 070B59BEBA37C988 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:08:24] 945*2^1229520-1 is not prime. Res64: 32A14F85305CC4C7 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:29:22] 801*2^1229521-1 is not prime. Res64: 809D7B4EDA731D23 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:29:22] 895*2^1229521-1 is not prime. Res64: ED5C0C0C9EA39C6C Time : 0.0 sec. user=mdettweiler [2012-09-25 17:29:23] 909*2^1229521-1 is not prime. Res64: B8FF34E2638AC682 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:29:24] 615*2^1229522-1 is not prime. Res64: CD769F8A820213A0 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:50:50] 671*2^1229522-1 is not prime. Res64: FDDDCDE51B88B9A4 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:50:50] 735*2^1229522-1 is not prime. Res64: 75F928998AB12AAB Time : 0.0 sec. user=mdettweiler [2012-09-25 17:50:51] 617*2^1229522-1 is not prime. Res64: FAE50E058DD198B9 Time : 0.0 sec. user=mdettweiler [2012-09-25 17:50:51] 645*2^1229522-1 is not prime. Res64: F362E273EE4D0CAC Time : 0.0 sec. user=mdettweiler [2012-09-25 18:12:13] 867*2^1229522-1 is not prime. Res64: C991B2152A022079 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:12:15] 911*2^1229522-1 is not prime. Res64: DE6BEE4494DFE0F8 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:12:18] 873*2^1229522-1 is not prime. Res64: C514C406F812650D Time : 0.0 sec. user=mdettweiler [2012-09-25 18:12:21] 609*2^1229523-1 is not prime. Res64: E1219FDCAC27339B Time : 0.0 sec. user=vaughan [2012-09-25 18:29:26] 821*2^1229518-1 is not prime. Res64: 61E9DC28D5973050 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:33:38] 721*2^1229523-1 is not prime. Res64: ED662C73B249EC2F Time : 0.0 sec. user=mdettweiler [2012-09-25 18:33:39] 751*2^1229523-1 is not prime. Res64: 47AC017B57BE8703 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:33:41] 775*2^1229523-1 is not prime. Res64: 52EECA77E4E82BF7 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:33:42] 895*2^1229523-1 is not prime. Res64: 91E9159C6E7DD810 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:54:49] 869*2^1229524-1 is not prime. Res64: 95E7C99EED2B2E9A Time : 0.0 sec. user=mdettweiler [2012-09-25 18:54:49] 975*2^1229524-1 is not prime. Res64: AF9DB782C74E0EF7 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:54:52] 983*2^1229524-1 is not prime. Res64: B4EAB401DFC4C5A6 Time : 0.0 sec. user=mdettweiler [2012-09-25 18:54:52] 601*2^1229525-1 is not prime. Res64: FD3E4EA623DC75B5 Time : 0.0 sec. user=vaughan [2012-09-25 19:07:03] 677*2^1229524-1 is not prime. Res64: FA22A5B9AAE979B1 Time : 0.0 sec. user=mdettweiler [2012-09-25 19:16:03] 655*2^1229525-1 is not prime. Res64: 0E4E31BE5F70D99F Time : 0.0 sec. user=mdettweiler [2012-09-25 19:16:03] 729*2^1229525-1 is not prime. Res64: A224FC2899CE241E Time : 0.0 sec. user=mdettweiler [2012-09-25 19:16:05] 757*2^1229525-1 is not prime. Res64: 8605E520F6AC4AFC Time : 0.0 sec. user=mdettweiler [2012-09-25 19:16:06] 787*2^1229525-1 is not prime. Res64: 93D4D0E6009F5AF0 Time : 0.0 sec. user=mdettweiler [2012-09-25 19:37:24] 889*2^1229525-1 is not prime. Res64: 84D80B803391863C Time : 0.0 sec. user=mdettweiler [2012-09-25 19:37:25] 925*2^1229525-1 is not prime. Res64: 448E1CA1F77C2C48 Time : 0.0 sec. user=mdettweiler [2012-09-25 19:37:27] 957*2^1229525-1 is not prime. Res64: 09377AE3ABD8B64C Time : 0.0 sec. user=mdettweiler [2012-09-25 19:37:27] 657*2^1229526-1 is not prime. Res64: 1C80EA48BFAE59CC Time : 0.0 sec. user=vaughan [2012-09-25 19:44:41] 855*2^1229525-1 is not prime. Res64: 9E632A7D5A34CE75 Time : 0.0 sec. user=mdettweiler [2012-09-25 19:58:46] 801*2^1229526-1 is not prime. Res64: 34267A17E2E5C0DB Time : 0.0 sec. user=mdettweiler [2012-09-25 19:58:47] 815*2^1229526-1 is not prime. Res64: E75BBDF2523A32D9 Time : 0.0 sec. user=mdettweiler [2012-09-25 19:58:48] 693*2^1229526-1 is not prime. Res64: C3955312AAD21A8D Time : 0.0 sec. user=mdettweiler [2012-09-25 19:58:48] 713*2^1229526-1 is not prime. Res64: 8BE70A18A159BEE6 Time : 0.0 sec. user=mdettweiler [2012-09-25 20:19:59] 963*2^1229526-1 is not prime. Res64: DF51D7B380839552 Time : 0.0 sec. user=mdettweiler [2012-09-25 20:20:00] 685*2^1229527-1 is not prime. Res64: A05088BE9394BF9C Time : 0.0 sec. user=mdettweiler [2012-09-25 20:20:01] 851*2^1229526-1 is not prime. Res64: 783FDBEAC8DE8BAA Time : 0.0 sec. user=mdettweiler [2012-09-25 20:20:02] 861*2^1229526-1 is not prime. Res64: A3449FC0F38E11D0 Time : 0.0 sec. user=mdettweiler [2012-09-25 20:41:12] 763*2^1229527-1 is not prime. Res64: CCB2DC5767063C7A Time : 0.0 sec. user=mdettweiler [2012-09-25 20:41:12] 819*2^1229527-1 is not prime. Res64: C7D0D4FEDD315F43 Time : 0.0 sec. user=mdettweiler [2012-09-25 20:41:12] 829*2^1229527-1 is not prime. Res64: 3DCC6235E8C17C26 Time : 0.0 sec. user=mdettweiler [2012-09-25 20:41:12] 871*2^1229527-1 is not prime. Res64: 3E7F1D40B07C612F Time : 0.0 sec. user=mdettweiler [2012-09-25 21:01:47] 951*2^1229527-1 is not prime. Res64: 9D0CE014E26C2276 Time : 0.0 sec. user=mdettweiler [2012-09-25 21:01:49] 975*2^1229527-1 is not prime. Res64: 2C8966B0E3AED10F Time : 0.0 sec. user=mdettweiler [2012-09-25 21:01:51] 687*2^1229528-1 is not prime. Res64: 4259D027F6DF7ED1 Time : 0.0 sec. user=mdettweiler [2012-09-25 21:01:55] 747*2^1229528-1 is not prime. Res64: F50569830897C4EC Time : 0.0 sec. user=mdettweiler [2012-09-25 21:22:55] 753*2^1229528-1 is not prime. Res64: 094730E5EA5B1453 Time : 0.0 sec. user=mdettweiler [2012-09-25 21:22:56] 777*2^1229528-1 is not prime. Res64: 1F79606AC2DA8498 Time : 0.0 sec. user=mdettweiler [2012-09-25 21:22:57] 855*2^1229528-1 is not prime. Res64: DE1656DD88B04B0D Time : 0.0 sec. user=mdettweiler [2012-09-25 21:22:58] 667*2^1229529-1 is not prime. Res64: 55DE8506A88F6162 Time : 0.0 sec. user=mdettweiler [2012-09-25 21:43:31] 747*2^1229529-1 is not prime. Res64: E183082F548433D4 Time : 0.0 sec. user=mdettweiler [2012-09-25 21:43:31] 955*2^1229529-1 is not prime. Res64: 85A6B4DED0825B3F Time : 0.0 sec. user=mdettweiler [2012-09-25 21:43:33] 889*2^1229529-1 is not prime. Res64: D75CC54B5255D318 Time : 0.0 sec. user=mdettweiler [2012-09-25 21:43:34] 951*2^1229529-1 is not prime. Res64: 50982AC929EF2214 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:04:22] 975*2^1229529-1 is not prime. Res64: 415942FD1BAC2429 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:04:23] 647*2^1229530-1 is not prime. Res64: 7CAB3CF962C826CD Time : 0.0 sec. user=mdettweiler [2012-09-25 22:04:23] 695*2^1229530-1 is not prime. Res64: BDEEDFF916D91408 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:04:23] 791*2^1229530-1 is not prime. Res64: 0C2275EE353CBA3F Time : 0.0 sec. user=mdettweiler [2012-09-25 22:25:14] 945*2^1229530-1 is not prime. Res64: AB5C63BF978FE61D Time : 0.0 sec. user=mdettweiler [2012-09-25 22:25:14] 845*2^1229530-1 is not prime. Res64: A34589EE0DB67E1B Time : 0.0 sec. user=mdettweiler [2012-09-25 22:25:15] 675*2^1229531-1 is not prime. Res64: 328A53D32F2D5D34 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:25:15] 735*2^1229531-1 is not prime. Res64: 0B8ACB155194A656 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:46:04] 843*2^1229531-1 is not prime. Res64: F20B3B8B55C4DDB8 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:46:05] 969*2^1229531-1 is not prime. Res64: F864D94ABC0C0797 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:46:06] 855*2^1229531-1 is not prime. Res64: 2CCB54527CCFAC07 Time : 0.0 sec. user=mdettweiler [2012-09-25 22:46:07] 979*2^1229531-1 is not prime. Res64: 6A303D9A2E65F641 Time : 0.0 sec. user=mdettweiler [2012-09-25 23:07:00] 647*2^1229532-1 is not prime. Res64: 720A49800AE0493A Time : 0.0 sec. user=mdettweiler [2012-09-25 23:07:00] 999*2^1229531-1 is not prime. Res64: A41B0AB2AE7772F8 Time : 0.0 sec. user=mdettweiler [2012-09-25 23:07:03] 675*2^1229532-1 is not prime. Res64: 2AD82F22CB57E60D Time : 0.0 sec. user=mdettweiler [2012-09-25 23:07:05] 609*2^1229532-1 is not prime. Res64: 76C0BE38C330E209 Time : 0.0 sec. user=vaughan [2012-09-25 23:25:40] 689*2^1229532-1 is not prime. Res64: 091193CB809D90CD Time : 0.0 sec. user=mdettweiler [2012-09-25 23:28:16] 873*2^1229532-1 is not prime. Res64: E52AD151D0D03D66 Time : 0.0 sec. user=mdettweiler [2012-09-25 23:28:16] 715*2^1229533-1 is not prime. Res64: 0D23FC7683D9ECDB Time : 0.0 sec. user=mdettweiler [2012-09-25 23:28:17] 729*2^1229533-1 is not prime. Res64: 07FA3BD5F90F85F9 Time : 0.0 sec. user=mdettweiler [2012-09-25 23:28:17] 741*2^1229533-1 is not prime. Res64: E8412A3436B283EB Time : 0.0 sec. user=mdettweiler [2012-09-25 23:49:01] 751*2^1229533-1 is not prime. Res64: 13EB89AB046287C9 Time : 0.0 sec. user=mdettweiler [2012-09-25 23:49:02] 811*2^1229533-1 is not prime. Res64: 670FAFFB096A6215 Time : 0.0 sec. user=mdettweiler [2012-09-25 23:49:02] 831*2^1229533-1 is not prime. Res64: E9563BA9A7FCD0B0 Time : 0.0 sec. user=mdettweiler [2012-09-25 23:49:03] 915*2^1229533-1 is not prime. Res64: 9FBB7EB551B56A61 Time : 0.0 sec.