user=mdettweiler [2012-08-07 00:01:51] 875*2^1225886-1 is not prime. Res64: 573875862CE758B2 Time : 0.0 sec. user=mdettweiler [2012-08-07 00:01:51] 923*2^1225886-1 is not prime. Res64: 0DDF34C305EA1E60 Time : 0.0 sec. user=mdettweiler [2012-08-07 00:08:04] 649*2^1225887-1 is not prime. Res64: D69C4932032FB422 Time : 0.0 sec. user=mdettweiler [2012-08-07 00:08:06] 933*2^1225887-1 is not prime. Res64: 50A341A22122B641 Time : 0.0 sec. user=mdettweiler [2012-08-07 00:15:08] 945*2^1225886-1 is not prime. Res64: F4F5B264084369D9 Time : 0.0 sec. user=vaughan [2012-08-07 00:16:18] 867*2^1225886-1 is not prime. Res64: 8F5651FBF175226F Time : 0.0 sec. user=mdettweiler [2012-08-07 00:22:43] 663*2^1225888-1 is not prime. Res64: 35F9B410569464DF Time : 0.0 sec. user=mdettweiler [2012-08-07 00:22:43] 713*2^1225888-1 is not prime. Res64: 48DE71C5A7703FF0 Time : 0.0 sec. user=mdettweiler [2012-08-07 00:29:08] 605*2^1225888-1 is not prime. Res64: 7B89BF4C41D0DBFE Time : 0.0 sec. user=mdettweiler [2012-08-07 00:29:12] 691*2^1225889-1 is not prime. Res64: 3B12BF227B046A8F Time : 0.0 sec. user=mdettweiler [2012-08-07 00:29:13] 697*2^1225889-1 is not prime. Res64: F01319E759E2950B Time : 0.0 sec. user=gd_barnes [2012-08-07 00:31:56] 755*2^1225888-1 is not prime. Res64: 4C8319C58829D00C Time : 0.0 sec. user=gd_barnes [2012-08-07 00:35:05] 849*2^1225888-1 is not prime. Res64: 342E35B5A4CE50B7 Time : 0.0 sec. user=gd_barnes [2012-08-07 00:35:48] 675*2^1225889-1 is not prime. Res64: 372F017728A6B246 Time : 0.0 sec. user=gd_barnes [2012-08-07 00:37:10] 989*2^1225888-1 is not prime. Res64: 30074E763E3C5833 Time : 0.0 sec. user=gd_barnes [2012-08-07 00:41:51] 727*2^1225889-1 is not prime. Res64: 27455D1E4A0A1D00 Time : 0.0 sec. user=gd_barnes [2012-08-07 00:43:00] 861*2^1225889-1 is not prime. Res64: 7253FCEDC3EFDECD Time : 0.0 sec. user=mdettweiler [2012-08-07 00:43:39] 677*2^1225890-1 is not prime. Res64: 33357F5317EFD83F Time : 0.0 sec. user=mdettweiler [2012-08-07 00:43:39] 717*2^1225890-1 is not prime. Res64: 7490B5A0A1D75A7E Time : 0.0 sec. user=mdettweiler [2012-08-07 00:47:36] 991*2^1225889-1 is not prime. Res64: B23804EA28CB29EC Time : 0.0 sec. user=mdettweiler [2012-08-07 00:50:06] 873*2^1225890-1 is not prime. Res64: 0170FE31A47C7A27 Time : 0.0 sec. user=mdettweiler [2012-08-07 00:50:06] 885*2^1225890-1 is not prime. Res64: D36BEA91AC98F6D3 Time : 0.0 sec. user=vaughan [2012-08-07 00:53:47] 657*2^1225890-1 is not prime. Res64: 711214701245AE1D Time : 0.0 sec. user=mdettweiler [2012-08-07 01:02:03] 755*2^1225890-1 is not prime. Res64: 2A1A54684D14CC92 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:04:32] 679*2^1225891-1 is not prime. Res64: F260D78E293D27C2 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:04:33] 609*2^1225892-1 is not prime. Res64: B2A9809AF2ABDE88 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:10:59] 735*2^1225892-1 is not prime. Res64: 2A6151CA0BCC4C89 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:11:01] 685*2^1225893-1 is not prime. Res64: FD5E6653D377F03C Time : 0.0 sec. user=mdettweiler [2012-08-07 01:20:07] 617*2^1225892-1 is not prime. Res64: C2A333F62A03160E Time : 0.0 sec. user=mdettweiler [2012-08-07 01:25:30] 677*2^1225894-1 is not prime. Res64: 445434DF2424760C Time : 0.0 sec. user=mdettweiler [2012-08-07 01:25:31] 705*2^1225894-1 is not prime. Res64: 7BBBB8EC92D10D13 Time : 0.0 sec. user=vaughan [2012-08-07 01:31:11] 765*2^1225893-1 is not prime. Res64: F2C67C191736E44F Time : 0.0 sec. user=mdettweiler [2012-08-07 01:32:01] 707*2^1225894-1 is not prime. Res64: 6F5E540E8F08D1A3 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:32:02] 773*2^1225894-1 is not prime. Res64: 49619DCB204264DD Time : 0.0 sec. user=mdettweiler [2012-08-07 01:33:06] 861*2^1225893-1 is not prime. Res64: FEBBDF248DAB50C0 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:46:25] 923*2^1225894-1 is not prime. Res64: AD51FAA6CD0A8AE0 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:46:26] 987*2^1225894-1 is not prime. Res64: E71EC005BEBA2057 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:50:54] 813*2^1225894-1 is not prime. Res64: D09B1E47516AFD71 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:52:55] 651*2^1225895-1 is not prime. Res64: 2393194C40170C03 Time : 0.0 sec. user=mdettweiler [2012-08-07 01:52:55] 705*2^1225895-1 is not prime. Res64: 6008672EF0A29AAC Time : 0.0 sec. user=mdettweiler [2012-08-07 02:03:42] 771*2^1225895-1 is not prime. Res64: 24548AD694865209 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:07:19] 841*2^1225895-1 is not prime. Res64: 90B64BA279852AB3 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:07:20] 855*2^1225895-1 is not prime. Res64: D486B8E024374B8A Time : 0.0 sec. user=vaughan [2012-08-07 02:08:39] 609*2^1225895-1 is not prime. Res64: 6D590BFC556C6AA9 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:13:48] 609*2^1225896-1 is not prime. Res64: 88B44021D2C459AC Time : 0.0 sec. user=mdettweiler [2012-08-07 02:13:50] 623*2^1225896-1 is not prime. Res64: 798FFF5D6B82EA43 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:22:07] 861*2^1225895-1 is not prime. Res64: EEE48B41BFEE4C24 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:28:14] 699*2^1225896-1 is not prime. Res64: 783F5387D44DD1E0 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:28:14] 777*2^1225896-1 is not prime. Res64: 1723356F749B6116 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:34:52] 861*2^1225897-1 is not prime. Res64: 8AEFAFBCE9680F39 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:34:56] 919*2^1225897-1 is not prime. Res64: 646D60E3F019A2CE Time : 0.0 sec. user=mdettweiler [2012-08-07 02:35:49] 669*2^1225896-1 is not prime. Res64: EF35B00B79ECA254 Time : 0.0 sec. user=vaughan [2012-08-07 02:46:11] 825*2^1225896-1 is not prime. Res64: AAA6CB9D93284673 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:49:09] 671*2^1225898-1 is not prime. Res64: F27E0EE5E48F2046 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:49:10] 743*2^1225898-1 is not prime. Res64: 54BC9A2DA3D2B1EC Time : 0.0 sec. user=mdettweiler [2012-08-07 02:54:43] 931*2^1225897-1 is not prime. Res64: 376642E4BCE5BD88 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:56:33] 843*2^1225898-1 is not prime. Res64: 3A9DD814B8F070C9 Time : 0.0 sec. user=mdettweiler [2012-08-07 02:56:33] 911*2^1225898-1 is not prime. Res64: 64A6437DE593387B Time : 0.0 sec. user=gd_barnes [2012-08-07 03:02:32] 837*2^1225898-1 is not prime. Res64: 66B76D46B210DC98 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:08:41] 977*2^1225898-1 is not prime. Res64: 55B759A0B9327ED5 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:10:13] 723*2^1225899-1 is not prime. Res64: 8ABBF5BADCD8A9D8 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:10:14] 853*2^1225899-1 is not prime. Res64: 6FC30C04910E2614 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:17:31] 999*2^1225899-1 is not prime. Res64: AF98120B7599F13B Time : 0.0 sec. user=mdettweiler [2012-08-07 03:17:31] 623*2^1225900-1 is not prime. Res64: 46E1BF1FEC6BE62F Time : 0.0 sec. user=vaughan [2012-08-07 03:23:57] 675*2^1225899-1 is not prime. Res64: 505C49ECE428F7AD Time : 0.0 sec. user=mdettweiler [2012-08-07 03:28:19] 975*2^1225899-1 is not prime. Res64: 378CDE425A24869E Time : 0.0 sec. user=juhehe [2012-08-07 03:29:48] 833*2^1225898-1 is not prime. Res64: 16682C761810D379 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:31:15] 695*2^1225900-1 is not prime. Res64: DA7B00321E10E61C Time : 0.0 sec. user=mdettweiler [2012-08-07 03:31:16] 735*2^1225900-1 is not prime. Res64: FC0C950E9C3DBA7E Time : 0.0 sec. user=mdettweiler [2012-08-07 03:38:27] 755*2^1225900-1 is not prime. Res64: 35CDFE103E9CCA9C Time : 0.0 sec. user=mdettweiler [2012-08-07 03:38:28] 785*2^1225900-1 is not prime. Res64: B62E9020B20E9F39 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:46:57] 647*2^1225900-1 is not prime. Res64: 46B933DDBD51EB03 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:52:11] 899*2^1225900-1 is not prime. Res64: 7ED6B97CAC5983C5 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:52:11] 995*2^1225900-1 is not prime. Res64: 24AC9DFC13DC3079 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:59:24] 999*2^1225900-1 is not prime. Res64: 7EEF748B492CEEB7 Time : 0.0 sec. user=mdettweiler [2012-08-07 03:59:25] 627*2^1225901-1 is not prime. Res64: FA0E46C99BF520BD Time : 0.0 sec. user=vaughan [2012-08-07 04:01:24] 827*2^1225900-1 is not prime. Res64: 75A772925D8C8117 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:02:29] 875*2^1225900-1 is not prime. Res64: 4F1DDDBE8FD081A5 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:13:05] 681*2^1225902-1 is not prime. Res64: CBFBF735CD4B43C2 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:13:06] 765*2^1225902-1 is not prime. Res64: DBB49FB3E3FE42C0 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:18:08] 675*2^1225901-1 is not prime. Res64: 5EE7A05D4AB0A6E5 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:20:19] 777*2^1225902-1 is not prime. Res64: A1D86E4263F6541D Time : 0.0 sec. user=mdettweiler [2012-08-07 04:20:19] 791*2^1225902-1 is not prime. Res64: DE5A86F17D38824C Time : 0.0 sec. user=gd_barnes [2012-08-07 04:30:00] 729*2^1225903-1 is not prime. Res64: 8D5721868EE1BEEC Time : 0.0 sec. user=mdettweiler [2012-08-07 04:32:46] 703*2^1225903-1 is not prime. Res64: 9CB73DB3F0280BB5 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:34:03] 861*2^1225903-1 is not prime. Res64: 5D62DC417A081E37 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:34:04] 659*2^1225904-1 is not prime. Res64: 8780E94524A48655 Time : 0.0 sec. user=vaughan [2012-08-07 04:38:50] 685*2^1225903-1 is not prime. Res64: 882D691BE4392E9A Time : 0.0 sec. user=mdettweiler [2012-08-07 04:41:13] 785*2^1225904-1 is not prime. Res64: B75557E3D944F725 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:41:13] 857*2^1225904-1 is not prime. Res64: D6F5701447CEE070 Time : 0.0 sec. user=gd_barnes [2012-08-07 04:43:00] 793*2^1225903-1 is not prime. Res64: 6D94DF90B9BA853E Time : 0.0 sec. user=gd_barnes [2012-08-07 04:44:09] 743*2^1225904-1 is not prime. Res64: CECF6D94F0427058 Time : 0.0 sec. user=gd_barnes [2012-08-07 04:49:44] 663*2^1225904-1 is not prime. Res64: B79560FEB6DF1232 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:54:59] 675*2^1225905-1 is not prime. Res64: 53E9402FAAFCB351 Time : 0.0 sec. user=mdettweiler [2012-08-07 04:54:59] 691*2^1225905-1 is not prime. Res64: 888ED4E1A364627B Time : 0.0 sec. user=mdettweiler [2012-08-07 05:02:05] 885*2^1225905-1 is not prime. Res64: 55B4BF972034E166 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:02:06] 951*2^1225905-1 is not prime. Res64: 7474E9EB046ECFB5 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:03:02] 609*2^1225905-1 is not prime. Res64: 5F65384E821B9D01 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:15:50] 933*2^1225906-1 is not prime. Res64: 66606E9AF7A7390B Time : 0.0 sec. user=mdettweiler [2012-08-07 05:15:51] 655*2^1225907-1 is not prime. Res64: ECC94B5DD1CCB216 Time : 0.0 sec. user=vaughan [2012-08-07 05:16:45] 781*2^1225905-1 is not prime. Res64: 8EFF5CA2DEEC960E Time : 0.0 sec. user=mdettweiler [2012-08-07 05:20:35] 765*2^1225906-1 is not prime. Res64: E48854CBB1D7A1EF Time : 0.0 sec. user=mdettweiler [2012-08-07 05:23:10] 675*2^1225907-1 is not prime. Res64: 6699E4FDA714DF47 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:23:11] 703*2^1225907-1 is not prime. Res64: B92A41FBC490BDC5 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:33:42] 741*2^1225907-1 is not prime. Res64: 63B52E9E05B6BC4A Time : 0.0 sec. user=mdettweiler [2012-08-07 05:36:46] 753*2^1225907-1 is not prime. Res64: 5CDCD0EA9E763335 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:36:47] 801*2^1225907-1 is not prime. Res64: 1FDE7B7AC8532B20 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:44:01] 695*2^1225908-1 is not prime. Res64: 13DD9810FBD31774 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:44:02] 959*2^1225908-1 is not prime. Res64: 18317BED3D06C5F4 Time : 0.0 sec. user=gd_barnes [2012-08-07 05:45:05] 879*2^1225907-1 is not prime. Res64: 721A3AB81D1CF898 Time : 0.0 sec. user=gd_barnes [2012-08-07 05:46:47] 973*2^1225907-1 is not prime. Res64: 2519C646F6AD11A2 Time : 0.0 sec. user=gd_barnes [2012-08-07 05:46:59] 861*2^1225907-1 is not prime. Res64: B99908F7487A1CF6 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:51:25] 993*2^1225907-1 is not prime. Res64: C36B011F052E624D Time : 0.0 sec. user=vaughan [2012-08-07 05:54:10] 871*2^1225907-1 is not prime. Res64: A2A8048619352295 Time : 0.0 sec. user=mdettweiler [2012-08-07 05:57:35] 729*2^1225909-1 is not prime. Res64: 15A4FC12D39FF43A Time : 0.0 sec. user=mdettweiler [2012-08-07 05:57:36] 741*2^1225909-1 is not prime. Res64: EE7234E2D790C2FD Time : 0.0 sec. user=mdettweiler [2012-08-07 06:04:25] 661*2^1225909-1 is not prime. Res64: 921FED13071659BF Time : 0.0 sec. user=mdettweiler [2012-08-07 06:04:52] 811*2^1225909-1 is not prime. Res64: 105E983D8FEE0118 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:04:54] 835*2^1225909-1 is not prime. Res64: 704A7B4FBE18C9B7 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:18:25] 999*2^1225909-1 is not prime. Res64: D0D36A53F2258D94 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:18:25] 717*2^1225910-1 is not prime. Res64: CE8E1909FE05181A Time : 0.0 sec. user=mdettweiler [2012-08-07 06:22:08] 885*2^1225909-1 is not prime. Res64: 5F26CF5967C97653 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:25:42] 801*2^1225910-1 is not prime. Res64: 395687D19443F62E Time : 0.0 sec. user=mdettweiler [2012-08-07 06:25:42] 885*2^1225910-1 is not prime. Res64: 7CD35AA8D9FC43A1 Time : 0.0 sec. user=vaughan [2012-08-07 06:31:34] 997*2^1225909-1 is not prime. Res64: D843D1CEB854C564 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:35:07] 761*2^1225910-1 is not prime. Res64: 0232D41011405599 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:39:15] 893*2^1225910-1 is not prime. Res64: B8F927439CD6EC33 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:39:15] 935*2^1225910-1 is not prime. Res64: FB863481005CA88E Time : 0.0 sec. user=mdettweiler [2012-08-07 06:46:29] 965*2^1225910-1 is not prime. Res64: FAF1C250CC170952 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:46:29] 885*2^1225911-1 is not prime. Res64: F6AED2C9E626E743 Time : 0.0 sec. user=mdettweiler [2012-08-07 06:52:54] 951*2^1225910-1 is not prime. Res64: 721EB9D18113DB7B Time : 0.0 sec. user=mdettweiler [2012-08-07 07:00:05] 933*2^1225911-1 is not prime. Res64: 8766BF63740FEE89 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:00:06] 635*2^1225912-1 is not prime. Res64: 436FC892429332A5 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:05:55] 909*2^1225911-1 is not prime. Res64: CFC8603DCD2BB1A8 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:07:19] 665*2^1225912-1 is not prime. Res64: 5ACF6CF737C7DD00 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:07:19] 675*2^1225912-1 is not prime. Res64: EF615B41D03DC584 Time : 0.0 sec. user=vaughan [2012-08-07 07:08:59] 901*2^1225911-1 is not prime. Res64: 31AAF309819E6932 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:21:00] 875*2^1225912-1 is not prime. Res64: 052F817B343FE8FA Time : 0.0 sec. user=mdettweiler [2012-08-07 07:21:01] 909*2^1225912-1 is not prime. Res64: 17E337FE0219BF25 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:23:37] 719*2^1225912-1 is not prime. Res64: 140A780096688DDA Time : 0.0 sec. user=mdettweiler [2012-08-07 07:28:15] 607*2^1225913-1 is not prime. Res64: B4597BA90B38FED8 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:28:15] 679*2^1225913-1 is not prime. Res64: F88098BB45AC44AC Time : 0.0 sec. user=mdettweiler [2012-08-07 07:36:45] 939*2^1225912-1 is not prime. Res64: 848EB3D38890F399 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:41:55] 889*2^1225913-1 is not prime. Res64: D6E0AC941691A4D2 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:41:55] 945*2^1225913-1 is not prime. Res64: E45FA693989ABFE2 Time : 0.0 sec. user=vaughan [2012-08-07 07:46:27] 771*2^1225913-1 is not prime. Res64: 86F933A2FAD0C435 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:49:05] 683*2^1225914-1 is not prime. Res64: 880898BE2D9ADD7B Time : 0.0 sec. user=mdettweiler [2012-08-07 07:49:05] 725*2^1225914-1 is not prime. Res64: 5910BD7760A7BAB5 Time : 0.0 sec. user=mdettweiler [2012-08-07 07:54:24] 651*2^1225914-1 is not prime. Res64: F4006EF972FAC1E7 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:02:47] 875*2^1225914-1 is not prime. Res64: 433D4442B26B422E Time : 0.0 sec. user=mdettweiler [2012-08-07 08:02:48] 917*2^1225914-1 is not prime. Res64: 2DFD5FE47586CB5F Time : 0.0 sec. user=mdettweiler [2012-08-07 08:07:31] 783*2^1225914-1 is not prime. Res64: 0F6AE526F3706782 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:09:57] 841*2^1225915-1 is not prime. Res64: 0B37FF8B642613D3 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:09:58] 853*2^1225915-1 is not prime. Res64: 8B06769FDE5166FC Time : 0.0 sec. user=mdettweiler [2012-08-07 08:23:50] 969*2^1225915-1 is not prime. Res64: D2948B12253031F6 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:23:50] 767*2^1225916-1 is not prime. Res64: 4F389C22A0D9DCDE Time : 0.0 sec. user=vaughan [2012-08-07 08:23:53] 975*2^1225914-1 is not prime. Res64: 14C6F7F732B84F0C Time : 0.0 sec. user=mdettweiler [2012-08-07 08:25:10] 891*2^1225915-1 is not prime. Res64: 104F301BAE26D004 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:30:54] 873*2^1225916-1 is not prime. Res64: 0927DC95F49C6A0A Time : 0.0 sec. user=mdettweiler [2012-08-07 08:30:54] 875*2^1225916-1 is not prime. Res64: B9C4EB8A85D33B39 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:38:27] 813*2^1225916-1 is not prime. Res64: 30893C784B046B33 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:44:44] 957*2^1225916-1 is not prime. Res64: 5862CE594E9E8ADE Time : 0.0 sec. user=mdettweiler [2012-08-07 08:44:44] 963*2^1225916-1 is not prime. Res64: 7E921DE8CBB3F1F1 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:51:47] 895*2^1225917-1 is not prime. Res64: C563905078C84C45 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:51:47] 915*2^1225917-1 is not prime. Res64: DEA32668995915E2 Time : 0.0 sec. user=mdettweiler [2012-08-07 08:55:49] 885*2^1225917-1 is not prime. Res64: 116A91206981C8E0 Time : 0.0 sec. user=vaughan [2012-08-07 09:01:18] 667*2^1225917-1 is not prime. Res64: B137175954CC121C Time : 0.0 sec. user=mdettweiler [2012-08-07 09:05:38] 603*2^1225918-1 is not prime. Res64: 6C050795316B5EF2 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:05:40] 611*2^1225918-1 is not prime. Res64: 19568FAFEE5891E4 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:09:14] 991*2^1225917-1 is not prime. Res64: 75B18632256A756E Time : 0.0 sec. user=mdettweiler [2012-08-07 09:12:40] 687*2^1225918-1 is not prime. Res64: FDA000D85AEA00D1 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:12:44] 755*2^1225918-1 is not prime. Res64: E7E82BEF4D819AC2 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:26:33] 619*2^1225919-1 is not prime. Res64: 053EBA88382DACD2 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:26:37] 669*2^1225920-1 is not prime. Res64: A3A4F7756EEA2004 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:26:37] 707*2^1225920-1 is not prime. Res64: FB393AE09273A3EB Time : 0.0 sec. user=mdettweiler [2012-08-07 09:34:14] 863*2^1225920-1 is not prime. Res64: EDBD33B34C244EDC Time : 0.0 sec. user=mdettweiler [2012-08-07 09:34:15] 983*2^1225920-1 is not prime. Res64: D7CFF1C1AE6472F3 Time : 0.0 sec. user=vaughan [2012-08-07 09:38:44] 703*2^1225919-1 is not prime. Res64: 05F07DC66078F6E8 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:40:03] 737*2^1225920-1 is not prime. Res64: 0AB6EAE7E05215DF Time : 0.0 sec. user=mdettweiler [2012-08-07 09:47:31] 625*2^1225921-1 is not prime. Res64: 1B7D17A5E3D1947C Time : 0.0 sec. user=mdettweiler [2012-08-07 09:47:32] 769*2^1225921-1 is not prime. Res64: A563739DD3F9F85E Time : 0.0 sec. user=mdettweiler [2012-08-07 09:55:10] 855*2^1225921-1 is not prime. Res64: E577149E8091F6E2 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:55:12] 861*2^1225921-1 is not prime. Res64: EAF2CAFD056BE504 Time : 0.0 sec. user=mdettweiler [2012-08-07 09:57:24] 619*2^1225921-1 is not prime. Res64: 7792184E79B029D3 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:08:32] 705*2^1225922-1 is not prime. Res64: D652DAC236D38254 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:08:37] 755*2^1225922-1 is not prime. Res64: D2E1F434814989D5 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:10:49] 987*2^1225921-1 is not prime. Res64: B068695325739D79 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:17:15] 785*2^1225922-1 is not prime. Res64: 2D0C387C3D5C1117 Time : 0.0 sec. user=vaughan [2012-08-07 10:17:16] 945*2^1225921-1 is not prime. Res64: B3C1E50723EB4500 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:28:17] 921*2^1225922-1 is not prime. Res64: 14FA7C295FFEA060 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:30:05] 941*2^1225922-1 is not prime. Res64: 876EDA3220509D95 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:30:06] 945*2^1225922-1 is not prime. Res64: 17645171CE0BA9A7 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:41:42] 619*2^1225923-1 is not prime. Res64: 9061BB1417BAD4E0 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:45:07] 911*2^1225922-1 is not prime. Res64: BF11CEB643D69D27 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:51:08] 679*2^1225923-1 is not prime. Res64: B116991EBCCBD882 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:51:09] 789*2^1225923-1 is not prime. Res64: A4B10751BC34AD20 Time : 0.0 sec. user=mdettweiler [2012-08-07 10:59:15] 643*2^1225923-1 is not prime. Res64: 198B8E7D8FDB5B41 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:06:05] 963*2^1225923-1 is not prime. Res64: FA94729484ECA788 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:06:06] 985*2^1225923-1 is not prime. Res64: 07CEA8183AE9D45F Time : 0.0 sec. user=mdettweiler [2012-08-07 11:12:06] 719*2^1225924-1 is not prime. Res64: 0F63E2397D4C510A Time : 0.0 sec. user=mdettweiler [2012-08-07 11:12:09] 743*2^1225924-1 is not prime. Res64: 57B0FF294EB4B237 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:12:27] 885*2^1225923-1 is not prime. Res64: 98A8F9C19D540AE6 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:27:15] 969*2^1225924-1 is not prime. Res64: 16A4DED756B0CA31 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:27:17] 601*2^1225925-1 is not prime. Res64: CF4B4D368E22260A Time : 0.0 sec. user=vaughan [2012-08-07 11:27:17] 675*2^1225924-1 is not prime. Res64: 379E0792B76FF3C4 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:30:05] 923*2^1225924-1 is not prime. Res64: 09BAC07E03E7507E Time : 0.0 sec. user=mdettweiler [2012-08-07 11:33:12] 679*2^1225925-1 is not prime. Res64: 8DDFAD258C71E101 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:33:14] 795*2^1225925-1 is not prime. Res64: 98109D9B20B737B8 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:43:24] 927*2^1225925-1 is not prime. Res64: 5326136AE8858EE4 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:48:19] 949*2^1225925-1 is not prime. Res64: AEE13B45901853A5 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:48:20] 615*2^1225926-1 is not prime. Res64: AF4835B4DD8482B1 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:54:12] 801*2^1225926-1 is not prime. Res64: 4C80AEAAA143CAA1 Time : 0.0 sec. user=mdettweiler [2012-08-07 11:54:14] 963*2^1225926-1 is not prime. Res64: E3BBE24F856BE4C6 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:01:27] 683*2^1225926-1 is not prime. Res64: D9F68FCF18105575 Time : 0.0 sec. user=vaughan [2012-08-07 12:04:56] 657*2^1225926-1 is not prime. Res64: F78BCD2D5CA9662F Time : 0.0 sec. user=mdettweiler [2012-08-07 12:09:17] 603*2^1225927-1 is not prime. Res64: 4E74652149715911 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:09:18] 633*2^1225927-1 is not prime. Res64: FAEACF19EBD51940 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:14:51] 601*2^1225927-1 is not prime. Res64: 17E8A839C1BE98B4 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:15:15] 819*2^1225927-1 is not prime. Res64: D211631CBB44F20C Time : 0.0 sec. user=mdettweiler [2012-08-07 12:15:16] 831*2^1225927-1 is not prime. Res64: 694EB97D08762142 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:30:26] 951*2^1225927-1 is not prime. Res64: 61B24245AAD9157C Time : 0.0 sec. user=mdettweiler [2012-08-07 12:30:27] 975*2^1225927-1 is not prime. Res64: E5EDF1E20C7F31E9 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:33:10] 841*2^1225927-1 is not prime. Res64: B49485B07DBC18D0 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:36:14] 633*2^1225928-1 is not prime. Res64: 84DD93AABA0D8720 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:36:15] 635*2^1225928-1 is not prime. Res64: A68D618D22E3AC15 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:46:19] 985*2^1225927-1 is not prime. Res64: 3BB2C04AEEF603C6 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:51:27] 747*2^1225928-1 is not prime. Res64: 9DE708C9D785C65E Time : 0.0 sec. user=mdettweiler [2012-08-07 12:51:28] 609*2^1225929-1 is not prime. Res64: 416E5E451939247A Time : 0.0 sec. user=mdettweiler [2012-08-07 12:57:14] 657*2^1225929-1 is not prime. Res64: 9E763F78B8B88D42 Time : 0.0 sec. user=mdettweiler [2012-08-07 12:57:16] 675*2^1225929-1 is not prime. Res64: 15854592028D751F Time : 0.0 sec. user=mdettweiler [2012-08-07 13:04:06] 637*2^1225929-1 is not prime. Res64: B4AD1E58612EEE8B Time : 0.0 sec. user=mdettweiler [2012-08-07 13:12:27] 999*2^1225929-1 is not prime. Res64: E2F33AAB18082C1C Time : 0.0 sec. user=mdettweiler [2012-08-07 13:12:30] 635*2^1225930-1 is not prime. Res64: A176DB4689F1F34D Time : 0.0 sec. user=mdettweiler [2012-08-07 13:17:12] 889*2^1225929-1 is not prime. Res64: 162488CB26C6B744 Time : 0.0 sec. user=mdettweiler [2012-08-07 13:18:18] 735*2^1225930-1 is not prime. Res64: C703A47E9700BB72 Time : 0.0 sec. user=mdettweiler [2012-08-07 13:18:19] 743*2^1225930-1 is not prime. Res64: 83A6BEC0CAB839A4 Time : 0.0 sec. user=vaughan [2012-08-07 13:20:16] 711*2^1225929-1 is not prime. Res64: E458D674E23551AE Time : 0.0 sec. user=gd_barnes [2012-08-07 13:32:08] 923*2^1225930-1 is not prime. Res64: 37A0B5155990A826 Time : 0.0 sec. user=mdettweiler [2012-08-07 13:33:36] 679*2^1225931-1 is not prime. Res64: 01121A02E89755C3 Time : 0.0 sec. user=mdettweiler [2012-08-07 13:33:37] 685*2^1225931-1 is not prime. Res64: 4863DCCD5F8041DB Time : 0.0 sec. user=mdettweiler [2012-08-07 13:35:14] 905*2^1225930-1 is not prime. Res64: 6712FEE111EBBE2F Time : 0.0 sec. user=mdettweiler [2012-08-07 13:39:16] 823*2^1225931-1 is not prime. Res64: 32387B7ABEF8AD87 Time : 0.0 sec. user=mdettweiler [2012-08-07 13:39:17] 909*2^1225931-1 is not prime. Res64: A6ABB7744D963387 Time : 0.0 sec. user=juhehe [2012-08-07 13:39:32] 991*2^1225929-1 is not prime. Res64: 7426E50AFA83DBD6 Time : 0.0 sec. user=gd_barnes [2012-08-07 13:40:25] 917*2^1225930-1 is not prime. Res64: 85F374F7379007B0 Time : 0.0 sec. user=mdettweiler [2012-08-07 13:48:05] 789*2^1225931-1 is not prime. Res64: 7684C039C0444F43 Time : 0.0 sec. user=mdettweiler [2012-08-07 13:54:41] 609*2^1225932-1 is not prime. Res64: E850364AACB5209D Time : 0.0 sec. user=mdettweiler [2012-08-07 13:54:42] 633*2^1225932-1 is not prime. Res64: 3455DACE9485017C Time : 0.0 sec. user=vaughan [2012-08-07 13:57:44] 921*2^1225931-1 is not prime. Res64: B49CBE554A3A24A5 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:00:20] 947*2^1225932-1 is not prime. Res64: 5E8159390AB5DB48 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:00:20] 987*2^1225932-1 is not prime. Res64: B8A1A73504E5F868 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:06:03] 825*2^1225932-1 is not prime. Res64: 1B8118F2EF499A17 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:15:35] 801*2^1225933-1 is not prime. Res64: 571B34CBFCA2FE63 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:15:38] 855*2^1225933-1 is not prime. Res64: 1BF0146B7FEF0F28 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:20:54] 771*2^1225933-1 is not prime. Res64: 02B99231A388E0A5 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:21:27] 895*2^1225933-1 is not prime. Res64: B6E0820A4D464AC8 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:21:29] 937*2^1225933-1 is not prime. Res64: DF9E463980A567EE Time : 0.0 sec. user=juhehe [2012-08-07 14:30:18] 747*2^1225933-1 is not prime. Res64: DF70C04C3C563F0E Time : 0.0 sec. user=vaughan [2012-08-07 14:35:11] 877*2^1225933-1 is not prime. Res64: CC0F2F61C59C6BC4 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:36:45] 645*2^1225934-1 is not prime. Res64: 35F35BF86F7DE13C Time : 0.0 sec. user=mdettweiler [2012-08-07 14:36:46] 743*2^1225934-1 is not prime. Res64: EE35F3A25418DA12 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:38:47] 945*2^1225933-1 is not prime. Res64: 0CBEBDDA3B2291FF Time : 0.0 sec. user=gd_barnes [2012-08-07 14:39:10] 981*2^1225933-1 is not prime. Res64: C7B5DFBDF25E90A4 Time : 0.0 sec. user=mdettweiler [2012-08-07 14:42:34] 609*2^1225935-1 is not prime. Res64: 62D2D823016B235C Time : 0.0 sec. user=mdettweiler [2012-08-07 14:42:35] 633*2^1225935-1 is not prime. Res64: BDA0F8EB945E60BC Time : 0.0 sec. user=gd_barnes [2012-08-07 14:47:51] 795*2^1225934-1 is not prime. Res64: 19CC2901BB1D1CAC Time : 0.0 sec. user=mdettweiler [2012-08-07 14:57:47] 985*2^1225935-1 is not prime. Res64: 1C1B5306FD7D6F5D Time : 0.0 sec. user=mdettweiler [2012-08-07 14:57:48] 623*2^1225936-1 is not prime. Res64: A877166D9457C50A Time : 0.0 sec. user=mdettweiler [2012-08-07 14:58:23] 873*2^1225934-1 is not prime. Res64: 317D139F1958F227 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:03:29] 765*2^1225936-1 is not prime. Res64: A2DDC8FA5E1E8239 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:03:29] 875*2^1225936-1 is not prime. Res64: CCCCF296C2003B93 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:11:26] 759*2^1225936-1 is not prime. Res64: 813E8584570203CA Time : 0.0 sec. user=vaughan [2012-08-07 15:12:41] 955*2^1225935-1 is not prime. Res64: 38DB83D6AE5CD805 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:18:43] 917*2^1225936-1 is not prime. Res64: D78D2F965E29C7F1 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:18:44] 939*2^1225936-1 is not prime. Res64: E53809EC7D3C148D Time : 0.0 sec. user=juhehe [2012-08-07 15:19:18] 723*2^1225935-1 is not prime. Res64: 4F489ECA5525A31D Time : 0.0 sec. user=mdettweiler [2012-08-07 15:24:21] 691*2^1225937-1 is not prime. Res64: 21DDBD81A267964B Time : 0.0 sec. user=mdettweiler [2012-08-07 15:24:21] 697*2^1225937-1 is not prime. Res64: 277E4570C4EC8DCD Time : 0.0 sec. user=mdettweiler [2012-08-07 15:31:33] 969*2^1225936-1 is not prime. Res64: 809447A40112D558 Time : 0.0 sec. user=gd_barnes [2012-08-07 15:38:32] 699*2^1225937-1 is not prime. Res64: 60E38591AC073C66 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:39:43] 741*2^1225937-1 is not prime. Res64: 4783D26368689405 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:39:44] 759*2^1225937-1 is not prime. Res64: 70569D787B217686 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:45:19] 837*2^1225937-1 is not prime. Res64: E15470C8E88332B6 Time : 0.0 sec. user=mdettweiler [2012-08-07 15:45:19] 861*2^1225937-1 is not prime. Res64: 571EFB12B061080B Time : 0.0 sec. user=mdettweiler [2012-08-07 15:45:46] 711*2^1225937-1 is not prime. Res64: 4AC1789BEC06EED7 Time : 0.0 sec. user=vaughan [2012-08-07 15:50:07] 735*2^1225937-1 is not prime. Res64: E8530FB1FB922E3D Time : 0.0 sec. user=mdettweiler [2012-08-07 16:00:44] 885*2^1225937-1 is not prime. Res64: 69DA5FB955B2F5F2 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:00:45] 981*2^1225937-1 is not prime. Res64: 510B17D753521000 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:06:17] 627*2^1225938-1 is not prime. Res64: 246D78D2780D3C83 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:06:19] 711*2^1225938-1 is not prime. Res64: CD5E7ED72ED1D6CD Time : 0.0 sec. user=mdettweiler [2012-08-07 16:10:41] 879*2^1225937-1 is not prime. Res64: FF4F3D2A9CEE3DDC Time : 0.0 sec. user=juhehe [2012-08-07 16:11:49] 801*2^1225937-1 is not prime. Res64: E49BB5843AE85803 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:21:57] 891*2^1225938-1 is not prime. Res64: 5A1A201D4BB3456A Time : 0.0 sec. user=mdettweiler [2012-08-07 16:21:58] 769*2^1225939-1 is not prime. Res64: D1E9DA2F6BD6BC7B Time : 0.0 sec. user=mdettweiler [2012-08-07 16:22:08] 735*2^1225938-1 is not prime. Res64: AB4D8D49A5951662 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:27:24] 859*2^1225939-1 is not prime. Res64: E6469D452F6DBFCC Time : 0.0 sec. user=mdettweiler [2012-08-07 16:27:25] 961*2^1225939-1 is not prime. Res64: C48DA1FEB4A658E5 Time : 0.0 sec. user=vaughan [2012-08-07 16:27:30] 815*2^1225938-1 is not prime. Res64: 37601471DCBA568C Time : 0.0 sec. user=mdettweiler [2012-08-07 16:43:07] 665*2^1225940-1 is not prime. Res64: 8E5108213140E7D9 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:43:07] 669*2^1225940-1 is not prime. Res64: 1EC824902EE9A6F0 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:48:35] 707*2^1225940-1 is not prime. Res64: 57EA3AE5418F70FB Time : 0.0 sec. user=mdettweiler [2012-08-07 16:48:35] 743*2^1225940-1 is not prime. Res64: 84F683286A064B04 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:55:43] 677*2^1225940-1 is not prime. Res64: 68C6D8823D7A3829 Time : 0.0 sec. user=mdettweiler [2012-08-07 16:57:09] 975*2^1225939-1 is not prime. Res64: 2033D77D30B11943 Time : 0.0 sec. user=juhehe [2012-08-07 17:03:12] 647*2^1225940-1 is not prime. Res64: FE25691A0E7E74C7 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:04:07] 893*2^1225940-1 is not prime. Res64: 36EA0AD83C71DFD1 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:04:08] 929*2^1225940-1 is not prime. Res64: 8238EDF2C3418725 Time : 0.0 sec. user=vaughan [2012-08-07 17:04:52] 879*2^1225940-1 is not prime. Res64: 27CAC92BB56BAC32 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:09:33] 639*2^1225941-1 is not prime. Res64: 32DF285165A358E0 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:09:35] 657*2^1225941-1 is not prime. Res64: 10EFE68F365F9BF7 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:25:15] 997*2^1225941-1 is not prime. Res64: 348E06C2E524463A Time : 0.0 sec. user=mdettweiler [2012-08-07 17:25:16] 621*2^1225942-1 is not prime. Res64: 33DA9F1179C8190D Time : 0.0 sec. user=mdettweiler [2012-08-07 17:30:48] 741*2^1225942-1 is not prime. Res64: 08CFE747F242C087 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:30:48] 743*2^1225942-1 is not prime. Res64: 966709F65EB0386A Time : 0.0 sec. user=mdettweiler [2012-08-07 17:35:40] 751*2^1225941-1 is not prime. Res64: BDF3CEE73CBC80EB Time : 0.0 sec. user=mdettweiler [2012-08-07 17:41:17] 861*2^1225941-1 is not prime. Res64: 7162EF489A884569 Time : 0.0 sec. user=vaughan [2012-08-07 17:42:17] 651*2^1225942-1 is not prime. Res64: 24651DD4EDDD305E Time : 0.0 sec. user=gd_barnes [2012-08-07 17:45:40] 755*2^1225942-1 is not prime. Res64: 81875ADCCAB8FBD5 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:46:22] 833*2^1225942-1 is not prime. Res64: 09D0AA13317DEE98 Time : 0.0 sec. user=mdettweiler [2012-08-07 17:46:22] 873*2^1225942-1 is not prime. Res64: AF6C9B39339D3D3A Time : 0.0 sec. user=mdettweiler [2012-08-07 17:51:54] 885*2^1225942-1 is not prime. Res64: DE4A2F1EDE7454AF Time : 0.0 sec. user=mdettweiler [2012-08-07 17:51:54] 987*2^1225942-1 is not prime. Res64: BFA36B3309F01B9D Time : 0.0 sec. user=mdettweiler [2012-08-07 18:07:30] 825*2^1225943-1 is not prime. Res64: 9590443E05724E84 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:07:31] 689*2^1225944-1 is not prime. Res64: E935587077A03FA6 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:11:52] 693*2^1225943-1 is not prime. Res64: 61C6F29A1AE9BBC1 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:12:58] 699*2^1225944-1 is not prime. Res64: 8DD71FE0486FA15C Time : 0.0 sec. user=mdettweiler [2012-08-07 18:12:58] 717*2^1225944-1 is not prime. Res64: E18D71BCAABB77EF Time : 0.0 sec. user=mdettweiler [2012-08-07 18:17:06] 739*2^1225943-1 is not prime. Res64: 3AE841EE431C2F28 Time : 0.0 sec. user=vaughan [2012-08-07 18:19:42] 763*2^1225943-1 is not prime. Res64: 93E9F9B7E883AD04 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:28:40] 773*2^1225944-1 is not prime. Res64: 3193F5B44AE73262 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:28:40] 893*2^1225944-1 is not prime. Res64: 40D589B069994D89 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:34:05] 983*2^1225944-1 is not prime. Res64: DF411A3CA1990E2F Time : 0.0 sec. user=mdettweiler [2012-08-07 18:34:06] 649*2^1225945-1 is not prime. Res64: B30567F12454074D Time : 0.0 sec. user=mdettweiler [2012-08-07 18:46:10] 975*2^1225944-1 is not prime. Res64: 00CA1FBC9260D1F4 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:49:45] 717*2^1225945-1 is not prime. Res64: C08B65C08CC43FC0 Time : 0.0 sec. user=mdettweiler [2012-08-07 18:49:45] 765*2^1225945-1 is not prime. Res64: 92A221D2330AB4CF Time : 0.0 sec. user=mdettweiler [2012-08-07 18:55:13] 775*2^1225945-1 is not prime. Res64: 00894B153923410D Time : 0.0 sec. user=mdettweiler [2012-08-07 18:55:13] 819*2^1225945-1 is not prime. Res64: 49D10E51B29018EA Time : 0.0 sec. user=vaughan [2012-08-07 18:57:05] 705*2^1225945-1 is not prime. Res64: 5DC2CFE4F8F7C5EE Time : 0.0 sec. user=mdettweiler [2012-08-07 19:07:45] 691*2^1225945-1 is not prime. Res64: DDB9181485DF939D Time : 0.0 sec. user=mdettweiler [2012-08-07 19:10:53] 867*2^1225945-1 is not prime. Res64: 840BBB259F3B0D39 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:10:55] 885*2^1225945-1 is not prime. Res64: 953B7DEC847CDD27 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:16:17] 705*2^1225946-1 is not prime. Res64: 4E29065A0C030C68 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:16:18] 707*2^1225946-1 is not prime. Res64: C05BA67010CC69E0 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:32:02] 851*2^1225946-1 is not prime. Res64: 214948EFFEE8A091 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:32:02] 1001*2^1225946-1 is not prime. Res64: 381492A0EE20F28C Time : 0.0 sec. user=mdettweiler [2012-08-07 19:33:40] 849*2^1225945-1 is not prime. Res64: 2A1F9877B2A9F6C2 Time : 0.0 sec. user=vaughan [2012-08-07 19:34:29] 735*2^1225946-1 is not prime. Res64: D25DDFA4579DF5D6 Time : 0.0 sec. user=gd_barnes [2012-08-07 19:37:03] 747*2^1225946-1 is not prime. Res64: 68161897888D4C59 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:37:22] 819*2^1225947-1 is not prime. Res64: 28E0CF81E4F882A1 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:37:23] 895*2^1225947-1 is not prime. Res64: E8BD12DF3DFDA87B Time : 0.0 sec. user=mdettweiler [2012-08-07 19:45:27] 831*2^1225946-1 is not prime. Res64: A79464FAC6B7D4A5 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:53:03] 663*2^1225948-1 is not prime. Res64: E8104DD017DB5141 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:53:03] 665*2^1225948-1 is not prime. Res64: 8FC5708289EA3631 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:58:18] 929*2^1225948-1 is not prime. Res64: 89F049D7F826AA77 Time : 0.0 sec. user=mdettweiler [2012-08-07 19:58:19] 995*2^1225948-1 is not prime. Res64: 84C6929270AE453A Time : 0.0 sec. user=mdettweiler [2012-08-07 20:11:36] 863*2^1225948-1 is not prime. Res64: 6158715BE04F093D Time : 0.0 sec. user=vaughan [2012-08-07 20:11:53] 909*2^1225948-1 is not prime. Res64: ADED7AB78D10A474 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:14:24] 795*2^1225949-1 is not prime. Res64: 058C9106A14E5835 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:14:25] 939*2^1225949-1 is not prime. Res64: A71D17822BFDEB01 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:19:06] 741*2^1225949-1 is not prime. Res64: DFC6DA4227826F34 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:19:16] 951*2^1225949-1 is not prime. Res64: A46039DC187CA928 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:19:16] 955*2^1225949-1 is not prime. Res64: 59246F785B950A3E Time : 0.0 sec. user=gd_barnes [2012-08-07 20:32:51] 969*2^1225949-1 is not prime. Res64: 77A989D4BFDD439B Time : 0.0 sec. user=mdettweiler [2012-08-07 20:35:30] 619*2^1225951-1 is not prime. Res64: 007B2215B67124BB Time : 0.0 sec. user=mdettweiler [2012-08-07 20:35:31] 705*2^1225951-1 is not prime. Res64: B48DB592991B791A Time : 0.0 sec. user=mdettweiler [2012-08-07 20:40:12] 745*2^1225951-1 is not prime. Res64: 45B323745B4216C8 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:40:13] 769*2^1225951-1 is not prime. Res64: 9048329D5C2DE221 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:45:20] 725*2^1225950-1 is not prime. Res64: EF47A6182E5677BC Time : 0.0 sec. user=vaughan [2012-08-07 20:49:19] 833*2^1225950-1 is not prime. Res64: 6BE835257A27D0B7 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:51:14] 715*2^1225951-1 is not prime. Res64: 065BA826D72F829A Time : 0.0 sec. user=mdettweiler [2012-08-07 20:56:26] 841*2^1225951-1 is not prime. Res64: F33105F741720EE9 Time : 0.0 sec. user=mdettweiler [2012-08-07 20:56:26] 861*2^1225951-1 is not prime. Res64: 778A0E4BA9B337CB Time : 0.0 sec. user=mdettweiler [2012-08-07 21:01:10] 973*2^1225951-1 is not prime. Res64: C3332C720F11A040 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:01:11] 633*2^1225952-1 is not prime. Res64: A9B8E3EC7599D86B Time : 0.0 sec. user=mdettweiler [2012-08-07 21:17:19] 669*2^1225952-1 is not prime. Res64: F3238BE0A5BD3A87 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:17:19] 855*2^1225952-1 is not prime. Res64: 0ED5B833893E3571 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:17:20] 867*2^1225952-1 is not prime. Res64: 5869191D96BD9960 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:22:16] 909*2^1225952-1 is not prime. Res64: DDEC3AF1041C261B Time : 0.0 sec. user=mdettweiler [2012-08-07 21:22:17] 923*2^1225952-1 is not prime. Res64: 885ED8D541E570DB Time : 0.0 sec. user=mdettweiler [2012-08-07 21:23:24] 827*2^1225952-1 is not prime. Res64: 2A0C548CCB0935D5 Time : 0.0 sec. user=vaughan [2012-08-07 21:26:44] 725*2^1225952-1 is not prime. Res64: 84BFD691E9F0281A Time : 0.0 sec. user=mdettweiler [2012-08-07 21:38:24] 627*2^1225953-1 is not prime. Res64: C05DD08401F37171 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:38:24] 637*2^1225953-1 is not prime. Res64: D26BD256CCB65BBA Time : 0.0 sec. user=mdettweiler [2012-08-07 21:43:19] 781*2^1225953-1 is not prime. Res64: 6F46C2A5B3EEB800 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:43:19] 829*2^1225953-1 is not prime. Res64: C05EFA0E194E5474 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:49:28] 691*2^1225953-1 is not prime. Res64: 424EC12A6059C13D Time : 0.0 sec. user=mdettweiler [2012-08-07 21:55:26] 889*2^1225953-1 is not prime. Res64: 401DD242F05173F8 Time : 0.0 sec. user=mdettweiler [2012-08-07 21:59:24] 915*2^1225953-1 is not prime. Res64: 2CEE5221AADC433D Time : 0.0 sec. user=mdettweiler [2012-08-07 21:59:25] 937*2^1225953-1 is not prime. Res64: BC54247C91615568 Time : 0.0 sec. user=vaughan [2012-08-07 22:04:09] 895*2^1225953-1 is not prime. Res64: 9B7819828370EDEA Time : 0.0 sec. user=mdettweiler [2012-08-07 22:04:18] 665*2^1225954-1 is not prime. Res64: 0284D4D5855B35D1 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:04:20] 701*2^1225954-1 is not prime. Res64: 58D7E2925D0BBF03 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:20:20] 915*2^1225954-1 is not prime. Res64: F3ADEA6CF9DEAB46 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:20:20] 601*2^1225955-1 is not prime. Res64: 2FAC986F1211712D Time : 0.0 sec. user=mdettweiler [2012-08-07 22:21:46] 857*2^1225954-1 is not prime. Res64: 310022CAE7EB398D Time : 0.0 sec. user=mdettweiler [2012-08-07 22:25:22] 759*2^1225955-1 is not prime. Res64: CB83C1940D647915 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:25:22] 829*2^1225955-1 is not prime. Res64: 38C0F548DE5DA16F Time : 0.0 sec. user=mdettweiler [2012-08-07 22:27:46] 881*2^1225954-1 is not prime. Res64: 33190B16A81E9F10 Time : 0.0 sec. user=gd_barnes [2012-08-07 22:31:38] 841*2^1225955-1 is not prime. Res64: 3098FD2AD6292B0C Time : 0.0 sec. user=gd_barnes [2012-08-07 22:37:23] 969*2^1225955-1 is not prime. Res64: D7B1D99AD1D854AD Time : 0.0 sec. user=gd_barnes [2012-08-07 22:39:27] 981*2^1225955-1 is not prime. Res64: F9A69D5FA111AC1F Time : 0.0 sec. user=mdettweiler [2012-08-07 22:41:26] 609*2^1225956-1 is not prime. Res64: F45A416E6D90CB66 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:41:26] 657*2^1225956-1 is not prime. Res64: CC02CD28E6F67323 Time : 0.0 sec. user=vaughan [2012-08-07 22:41:41] 645*2^1225955-1 is not prime. Res64: 00214E71B8F35BF4 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:46:26] 691*2^1225957-1 is not prime. Res64: F7AF2F5811837BFA Time : 0.0 sec. user=mdettweiler [2012-08-07 22:46:26] 741*2^1225957-1 is not prime. Res64: 3808A6EAA4331006 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:53:51] 987*2^1225956-1 is not prime. Res64: 61DAFC6E7E956DC0 Time : 0.0 sec. user=mdettweiler [2012-08-07 22:59:50] 897*2^1225957-1 is not prime. Res64: AEFAAE0D5DCEF80C Time : 0.0 sec. user=mdettweiler [2012-08-07 23:02:28] 901*2^1225957-1 is not prime. Res64: 3FA97836B26BE4D0 Time : 0.0 sec. user=mdettweiler [2012-08-07 23:02:29] 915*2^1225957-1 is not prime. Res64: CED2E0B983012A2C Time : 0.0 sec. user=mdettweiler [2012-08-07 23:07:29] 657*2^1225958-1 is not prime. Res64: 74A6848344082D5B Time : 0.0 sec. user=mdettweiler [2012-08-07 23:07:32] 711*2^1225958-1 is not prime. Res64: 2A0432E84D954742 Time : 0.0 sec. user=vaughan [2012-08-07 23:19:05] 997*2^1225957-1 is not prime. Res64: 683E26DEE892289F Time : 0.0 sec. user=mdettweiler [2012-08-07 23:23:30] 885*2^1225958-1 is not prime. Res64: 209CF5BEA81A9536 Time : 0.0 sec. user=mdettweiler [2012-08-07 23:23:30] 923*2^1225958-1 is not prime. Res64: 21B25238C86215BE Time : 0.0 sec. user=mdettweiler [2012-08-07 23:25:31] 731*2^1225958-1 is not prime. Res64: EE25DB17F9A6F943 Time : 0.0 sec. user=mdettweiler [2012-08-07 23:28:41] 935*2^1225958-1 is not prime. Res64: 89624D49369D4FA2 Time : 0.0 sec. user=mdettweiler [2012-08-07 23:28:41] 945*2^1225958-1 is not prime. Res64: AB7F0BB60541AF6A Time : 0.0 sec. user=mdettweiler [2012-08-07 23:31:12] 845*2^1225958-1 is not prime. Res64: 84ED8124106C8B6C Time : 0.0 sec. user=mdettweiler [2012-08-07 23:44:37] 919*2^1225959-1 is not prime. Res64: 45704A8BA58E5334 Time : 0.0 sec. user=mdettweiler [2012-08-07 23:44:37] 969*2^1225959-1 is not prime. Res64: CA6E993343D77EBB Time : 0.0 sec. user=mdettweiler [2012-08-07 23:49:42] 645*2^1225960-1 is not prime. Res64: D60A7833D7BCA951 Time : 0.0 sec. user=mdettweiler [2012-08-07 23:49:43] 665*2^1225960-1 is not prime. Res64: 820FD3A36E0A7CB5 Time : 0.0 sec. user=mdettweiler [2012-08-07 23:56:22] 635*2^1225960-1 is not prime. Res64: F10E43C982E777DF Time : 0.0 sec. user=vaughan [2012-08-07 23:56:52] 957*2^1225958-1 is not prime. Res64: FC81829E8DF7D8B0 Time : 0.0 sec.