user=mdettweiler [2012-08-01 00:02:26] 981*2^1225445-1 is not prime. Res64: 9F7C73F8FCE884B1 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:05:51] 747*2^1225446-1 is not prime. Res64: C114A15F2A76FF0C Time : 0.0 sec. user=mdettweiler [2012-08-01 00:05:52] 881*2^1225446-1 is not prime. Res64: ED0719AD98EE7681 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:06:14] 891*2^1225446-1 is not prime. Res64: 26EF3A17D26327A3 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:06:15] 625*2^1225447-1 is not prime. Res64: 61CDAFC6A21F71AB Time : 0.0 sec. user=mdettweiler [2012-08-01 00:09:33] 711*2^1225446-1 is not prime. Res64: AC6C0AD183D5B37D Time : 0.0 sec. user=mdettweiler [2012-08-01 00:27:00] 675*2^1225447-1 is not prime. Res64: 20D9EB12F079EA30 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:27:00] 915*2^1225447-1 is not prime. Res64: F2512F3C845548E6 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:27:27] 979*2^1225447-1 is not prime. Res64: FC135F8BB42B4942 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:27:28] 665*2^1225448-1 is not prime. Res64: E435828EEF817060 Time : 0.0 sec. user=vaughan [2012-08-01 00:31:37] 649*2^1225447-1 is not prime. Res64: 26509C430A359B4A Time : 0.0 sec. user=mdettweiler [2012-08-01 00:41:51] 677*2^1225448-1 is not prime. Res64: 74C6525052EEE7CF Time : 0.0 sec. user=mdettweiler [2012-08-01 00:46:22] 673*2^1225447-1 is not prime. Res64: 0CC18ECEDCDF095D Time : 0.0 sec. user=mdettweiler [2012-08-01 00:48:09] 867*2^1225448-1 is not prime. Res64: F1EA09007F186796 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:48:09] 879*2^1225448-1 is not prime. Res64: ECA44E8A9AF69B69 Time : 0.0 sec. user=mdettweiler [2012-08-01 00:48:33] 893*2^1225448-1 is not prime. Res64: 1BBE530E1A6FFB5F Time : 0.0 sec. user=mdettweiler [2012-08-01 00:48:33] 625*2^1225449-1 is not prime. Res64: 6C41B23ECDE2C21D Time : 0.0 sec. user=mdettweiler [2012-08-01 01:09:01] 787*2^1225449-1 is not prime. Res64: 4B1CA4BBE700CD10 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:09:02] 831*2^1225449-1 is not prime. Res64: 909B8B89A229492D Time : 0.0 sec. user=vaughan [2012-08-01 01:09:07] 679*2^1225449-1 is not prime. Res64: 312A91839669DB18 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:09:28] 847*2^1225449-1 is not prime. Res64: 839C09A1F1F576E4 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:09:28] 867*2^1225449-1 is not prime. Res64: EC9EF6FB704BF456 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:15:31] 681*2^1225449-1 is not prime. Res64: 21AF84EA08DB72AC Time : 0.0 sec. user=mdettweiler [2012-08-01 01:28:26] 691*2^1225449-1 is not prime. Res64: E620353E7416C450 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:29:46] 985*2^1225449-1 is not prime. Res64: 96CFAD01E56F7A56 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:29:47] 623*2^1225450-1 is not prime. Res64: D895D36F3D7BCCEF Time : 0.0 sec. user=mdettweiler [2012-08-01 01:30:04] 675*2^1225450-1 is not prime. Res64: CB89BF322DA70496 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:30:05] 677*2^1225450-1 is not prime. Res64: 0E18B0914081C95D Time : 0.0 sec. user=vaughan [2012-08-01 01:46:43] 647*2^1225450-1 is not prime. Res64: DD0375D070C7B3EE Time : 0.0 sec. user=mdettweiler [2012-08-01 01:50:25] 687*2^1225450-1 is not prime. Res64: 47FD083996309A78 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:50:41] 777*2^1225450-1 is not prime. Res64: 0D2D3274B0C01700 Time : 0.0 sec. user=mdettweiler [2012-08-01 01:50:41] 783*2^1225450-1 is not prime. Res64: 4BE50E18C146430A Time : 0.0 sec. user=mdettweiler [2012-08-01 01:51:05] 825*2^1225450-1 is not prime. Res64: E929743A0364B11E Time : 0.0 sec. user=mdettweiler [2012-08-01 01:51:05] 917*2^1225450-1 is not prime. Res64: AFAD9194356FFDCC Time : 0.0 sec. user=sm5ymt [2012-08-01 01:55:30] 923*2^1225450-1 is not prime. Res64: 2E01564EEEABC9E1 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:05:17] 765*2^1225450-1 is not prime. Res64: 4EE89A6265451089 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:11:17] 741*2^1225451-1 is not prime. Res64: C291C985CDF93F70 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:11:20] 889*2^1225451-1 is not prime. Res64: EBDAA2D1678119C3 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:11:41] 981*2^1225451-1 is not prime. Res64: 66A0C6A3C1845AAD Time : 0.0 sec. user=mdettweiler [2012-08-01 02:11:43] 605*2^1225452-1 is not prime. Res64: 43774E11BE277F1A Time : 0.0 sec. user=vaughan [2012-08-01 02:24:12] 669*2^1225451-1 is not prime. Res64: CDE9A516A34BBF46 Time : 0.0 sec. user=sm5ymt [2012-08-01 02:27:43] 899*2^1225452-1 is not prime. Res64: 9784791FC11D20D9 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:27:46] 705*2^1225451-1 is not prime. Res64: 59D449698025AB74 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:32:04] 719*2^1225452-1 is not prime. Res64: 3FAC570C0B29FB4C Time : 0.0 sec. user=mdettweiler [2012-08-01 02:32:06] 879*2^1225452-1 is not prime. Res64: 66B047AE9D87AFF6 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:32:21] 909*2^1225452-1 is not prime. Res64: B995F2261CA48EF9 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:32:22] 609*2^1225453-1 is not prime. Res64: 78EFB1B9DDB47628 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:42:01] 623*2^1225452-1 is not prime. Res64: FB6ADA05734B9E21 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:52:42] 987*2^1225453-1 is not prime. Res64: 3C245C45327B26D4 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:52:42] 675*2^1225454-1 is not prime. Res64: F140EDB430602BF0 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:52:57] 683*2^1225454-1 is not prime. Res64: C8073301CC9D2F16 Time : 0.0 sec. user=mdettweiler [2012-08-01 02:52:58] 707*2^1225454-1 is not prime. Res64: 68A8FACCAAE944BC Time : 0.0 sec. user=vaughan [2012-08-01 03:01:45] 649*2^1225453-1 is not prime. Res64: 06FF822FEEC3591F Time : 0.0 sec. user=mdettweiler [2012-08-01 03:05:01] 741*2^1225453-1 is not prime. Res64: 6CB8CA4F82B6E627 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:13:16] 915*2^1225454-1 is not prime. Res64: 6CDFE6D8794133A4 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:13:17] 927*2^1225454-1 is not prime. Res64: 5BCD14304740AB52 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:13:33] 613*2^1225455-1 is not prime. Res64: A65D54B9D1823222 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:13:35] 705*2^1225455-1 is not prime. Res64: 828F63471EF8EC83 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:19:46] 825*2^1225454-1 is not prime. Res64: 22BEF973951FB7CC Time : 0.0 sec. user=gd_barnes [2012-08-01 03:21:59] 861*2^1225454-1 is not prime. Res64: 5D19EF80428394A3 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:33:57] 793*2^1225455-1 is not prime. Res64: BB3FE8FCE200FD85 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:34:01] 969*2^1225455-1 is not prime. Res64: 6016C886145A9595 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:34:14] 693*2^1225456-1 is not prime. Res64: E536F8E1F6594962 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:34:20] 735*2^1225456-1 is not prime. Res64: F3E9B47873CA43FC Time : 0.0 sec. user=vaughan [2012-08-01 03:39:46] 709*2^1225455-1 is not prime. Res64: 91A6E0502D966D12 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:43:52] 739*2^1225455-1 is not prime. Res64: 728FA4D9B30828B4 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:55:40] 847*2^1225457-1 is not prime. Res64: 6CA736DB1B9FE132 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:55:40] 981*2^1225457-1 is not prime. Res64: F84AE8AB7939E961 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:55:48] 711*2^1225458-1 is not prime. Res64: F014CB2F3814608E Time : 0.0 sec. user=mdettweiler [2012-08-01 03:55:48] 801*2^1225458-1 is not prime. Res64: 57B2A05B693BFC85 Time : 0.0 sec. user=mdettweiler [2012-08-01 03:58:05] 999*2^1225456-1 is not prime. Res64: 15141119444DA6B8 Time : 0.0 sec. user=gd_barnes [2012-08-01 04:01:06] 957*2^1225458-1 is not prime. Res64: 6EEF29837CD8D5AB Time : 0.0 sec. user=gd_barnes [2012-08-01 04:04:30] 867*2^1225458-1 is not prime. Res64: 905B9403294EA2CB Time : 0.0 sec. user=gd_barnes [2012-08-01 04:04:44] 831*2^1225457-1 is not prime. Res64: 5D0FB15F250B0F6A Time : 0.0 sec. user=mdettweiler [2012-08-01 04:16:15] 765*2^1225459-1 is not prime. Res64: 13883E3ADE23BE5B Time : 0.0 sec. user=mdettweiler [2012-08-01 04:16:16] 961*2^1225459-1 is not prime. Res64: B4D5ABD471D568B6 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:16:23] 603*2^1225460-1 is not prime. Res64: A7E73AD1C334B48C Time : 0.0 sec. user=mdettweiler [2012-08-01 04:16:23] 669*2^1225460-1 is not prime. Res64: 49C7F6819E24B412 Time : 0.0 sec. user=vaughan [2012-08-01 04:17:33] 977*2^1225458-1 is not prime. Res64: FE4EB8BE422D8AC0 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:22:57] 603*2^1225459-1 is not prime. Res64: 79351D51A1893A71 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:34:06] 707*2^1225460-1 is not prime. Res64: B1C5E19ABA06DD9C Time : 0.0 sec. user=mdettweiler [2012-08-01 04:36:53] 825*2^1225460-1 is not prime. Res64: CDED57DFE3703EF5 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:36:54] 845*2^1225460-1 is not prime. Res64: 191FA155B8673642 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:36:57] 957*2^1225460-1 is not prime. Res64: 973B0B84100A0030 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:36:58] 987*2^1225460-1 is not prime. Res64: 15143AF92657D990 Time : 0.0 sec. user=vaughan [2012-08-01 04:55:04] 999*2^1225460-1 is not prime. Res64: CAD322923B62DCEC Time : 0.0 sec. user=mdettweiler [2012-08-01 04:57:26] 741*2^1225461-1 is not prime. Res64: 07DD59022D73AD17 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:57:27] 747*2^1225461-1 is not prime. Res64: 1BC68950B7818C52 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:57:32] 877*2^1225461-1 is not prime. Res64: 3CB2684F11090FE2 Time : 0.0 sec. user=mdettweiler [2012-08-01 04:57:32] 885*2^1225461-1 is not prime. Res64: D453F134D4B3C62A Time : 0.0 sec. user=mdettweiler [2012-08-01 05:07:23] 681*2^1225461-1 is not prime. Res64: 385641B32D641B1F Time : 0.0 sec. user=mdettweiler [2012-08-01 05:08:28] 675*2^1225461-1 is not prime. Res64: 1E53F2EB9C059709 Time : 0.0 sec. user=mdettweiler [2012-08-01 05:18:13] 907*2^1225461-1 is not prime. Res64: 028CB7877C2C1938 Time : 0.0 sec. user=mdettweiler [2012-08-01 05:18:13] 645*2^1225462-1 is not prime. Res64: 04FCE3A316CE0F2A Time : 0.0 sec. user=mdettweiler [2012-08-01 05:18:14] 743*2^1225462-1 is not prime. Res64: 75C198A6B547B660 Time : 0.0 sec. user=sm5ymt [2012-08-01 05:22:32] 705*2^1225463-1 is not prime. Res64: A5074B59A7CEC291 Time : 0.0 sec. user=sm5ymt [2012-08-01 05:22:44] 941*2^1225462-1 is not prime. Res64: 38EA77676EA47E62 Time : 0.0 sec. user=gd_barnes [2012-08-01 05:31:54] 679*2^1225463-1 is not prime. Res64: EE182EE875286524 Time : 0.0 sec. user=vaughan [2012-08-01 05:32:36] 895*2^1225461-1 is not prime. Res64: 58CF7947269615F9 Time : 0.0 sec. user=gd_barnes [2012-08-01 05:35:51] 831*2^1225462-1 is not prime. Res64: CDFF0A6E3244779C Time : 0.0 sec. user=gd_barnes [2012-08-01 05:35:59] 729*2^1225463-1 is not prime. Res64: DF3CE0BF088CEBAA Time : 0.0 sec. user=gd_barnes [2012-08-01 05:36:11] 735*2^1225463-1 is not prime. Res64: E670EC6DCCE941DE Time : 0.0 sec. user=mdettweiler [2012-08-01 05:39:08] 825*2^1225463-1 is not prime. Res64: 40A97086E2BBD963 Time : 0.0 sec. user=mdettweiler [2012-08-01 05:39:09] 879*2^1225463-1 is not prime. Res64: 3B2E109205EA26FF Time : 0.0 sec. user=mdettweiler [2012-08-01 05:46:01] 759*2^1225463-1 is not prime. Res64: FDF1A6654C9DEBE4 Time : 0.0 sec. user=mdettweiler [2012-08-01 05:47:23] 771*2^1225463-1 is not prime. Res64: 88310B120C087F6C Time : 0.0 sec. user=mdettweiler [2012-08-01 05:53:48] 961*2^1225461-1 is not prime. Res64: 40233AFBC88B7C00 Time : 0.0 sec. user=mdettweiler [2012-08-01 05:59:42] 605*2^1225464-1 is not prime. Res64: 9F0A612768BEF7CA Time : 0.0 sec. user=mdettweiler [2012-08-01 05:59:43] 629*2^1225464-1 is not prime. Res64: BFE0F61BEE4E38F7 Time : 0.0 sec. user=vaughan [2012-08-01 06:10:09] 985*2^1225463-1 is not prime. Res64: B2D8D70480CC1F3A Time : 0.0 sec. user=mdettweiler [2012-08-01 06:14:22] 849*2^1225464-1 is not prime. Res64: 217FC43E57CB00A0 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:14:28] 863*2^1225464-1 is not prime. Res64: 3AB43107EE230604 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:20:16] 909*2^1225464-1 is not prime. Res64: 75D91736A5845D54 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:20:16] 649*2^1225465-1 is not prime. Res64: 8C4B543891F5A50F Time : 0.0 sec. user=mdettweiler [2012-08-01 06:25:28] 825*2^1225464-1 is not prime. Res64: 1F30FDEABE8487E6 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:26:35] 723*2^1225464-1 is not prime. Res64: 5B99F2AE6F79D738 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:35:04] 623*2^1225466-1 is not prime. Res64: 464D049A91C4702D Time : 0.0 sec. user=mdettweiler [2012-08-01 06:35:05] 633*2^1225466-1 is not prime. Res64: 2C03DED1E262C907 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:40:54] 767*2^1225466-1 is not prime. Res64: 53A8AF3A68C41159 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:40:54] 935*2^1225466-1 is not prime. Res64: 18BF64AD50129308 Time : 0.0 sec. user=vaughan [2012-08-01 06:47:52] 855*2^1225465-1 is not prime. Res64: C5D2654142284078 Time : 0.0 sec. user=mdettweiler [2012-08-01 06:55:38] 913*2^1225467-1 is not prime. Res64: B7DB44FD8F68966D Time : 0.0 sec. user=mdettweiler [2012-08-01 06:55:39] 945*2^1225467-1 is not prime. Res64: 852B77B381D809EA Time : 0.0 sec. user=mdettweiler [2012-08-01 07:00:07] 895*2^1225467-1 is not prime. Res64: 99D99D33CD9717FD Time : 0.0 sec. user=mdettweiler [2012-08-01 07:00:22] 1001*2^1225466-1 is not prime. Res64: F1FB9D0CCE6E6EE0 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:01:28] 979*2^1225467-1 is not prime. Res64: EFD8B454C4142B56 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:01:28] 783*2^1225468-1 is not prime. Res64: D259BB948AD24777 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:16:12] 827*2^1225468-1 is not prime. Res64: 2A7209962CBFE573 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:16:14] 863*2^1225468-1 is not prime. Res64: 827579A31777B708 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:22:02] 631*2^1225469-1 is not prime. Res64: ABB8764B43F57262 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:22:03] 819*2^1225469-1 is not prime. Res64: 4EECB19497B8F866 Time : 0.0 sec. user=vaughan [2012-08-01 07:25:27] 813*2^1225468-1 is not prime. Res64: AD89FAB64135C851 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:31:15] 953*2^1225468-1 is not prime. Res64: B79FC2E8E3B047F9 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:31:36] 999*2^1225468-1 is not prime. Res64: 6E8F113F581D58DB Time : 0.0 sec. user=sm5ymt [2012-08-01 07:32:51] 765*2^1225470-1 is not prime. Res64: E69B213A2A1DB47B Time : 0.0 sec. user=mdettweiler [2012-08-01 07:36:51] 695*2^1225470-1 is not prime. Res64: 36EBA3EDF0B6B840 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:36:51] 747*2^1225470-1 is not prime. Res64: 739A2269D43B5609 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:42:36] 885*2^1225470-1 is not prime. Res64: 1806313ECC0D33FB Time : 0.0 sec. user=mdettweiler [2012-08-01 07:42:37] 861*2^1225471-1 is not prime. Res64: 746F2F977FA925C7 Time : 0.0 sec. user=gd_barnes [2012-08-01 07:43:30] 985*2^1225469-1 is not prime. Res64: 02D8A003F85751CC Time : 0.0 sec. user=mdettweiler [2012-08-01 07:57:25] 993*2^1225471-1 is not prime. Res64: 00413CBA9B8BC9D2 Time : 0.0 sec. user=mdettweiler [2012-08-01 07:57:26] 623*2^1225472-1 is not prime. Res64: D18180CE59E97DB1 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:02:24] 943*2^1225471-1 is not prime. Res64: A3B0270BB23811C1 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:02:39] 969*2^1225471-1 is not prime. Res64: F3F540306C7EA1E8 Time : 0.0 sec. user=vaughan [2012-08-01 08:03:00] 885*2^1225471-1 is not prime. Res64: 7405DDB3E4FD2641 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:03:17] 633*2^1225472-1 is not prime. Res64: 5024569CC953F951 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:03:18] 689*2^1225472-1 is not prime. Res64: 301FA94276DE1294 Time : 0.0 sec. user=sm5ymt [2012-08-01 08:14:56] 767*2^1225472-1 is not prime. Res64: 633A737D80933ABC Time : 0.0 sec. user=mdettweiler [2012-08-01 08:18:00] 693*2^1225472-1 is not prime. Res64: CAE71CB71A7656FF Time : 0.0 sec. user=mdettweiler [2012-08-01 08:18:00] 743*2^1225472-1 is not prime. Res64: 2066000B8C434FB9 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:23:54] 917*2^1225472-1 is not prime. Res64: 4DC24F2919F70D0E Time : 0.0 sec. user=mdettweiler [2012-08-01 08:23:55] 959*2^1225472-1 is not prime. Res64: 031B1D106BB82DF1 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:33:31] 803*2^1225472-1 is not prime. Res64: 38872B1140880604 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:33:44] 855*2^1225472-1 is not prime. Res64: 7A96E06F7735B05F Time : 0.0 sec. user=mdettweiler [2012-08-01 08:38:35] 751*2^1225473-1 is not prime. Res64: BF7D78731DC3222A Time : 0.0 sec. user=mdettweiler [2012-08-01 08:38:35] 847*2^1225473-1 is not prime. Res64: 4A3B973D3942AEB5 Time : 0.0 sec. user=vaughan [2012-08-01 08:40:30] 897*2^1225472-1 is not prime. Res64: 1AF9B70E29D697C8 Time : 0.0 sec. user=gd_barnes [2012-08-01 08:41:02] 615*2^1225473-1 is not prime. Res64: 73F1A1E97ABA3E2D Time : 0.0 sec. user=mdettweiler [2012-08-01 08:44:29] 885*2^1225473-1 is not prime. Res64: ACA1C5B42EA6B57E Time : 0.0 sec. user=mdettweiler [2012-08-01 08:44:29] 621*2^1225474-1 is not prime. Res64: 86817B165C8B634C Time : 0.0 sec. user=gd_barnes [2012-08-01 08:46:44] 681*2^1225473-1 is not prime. Res64: 2EE667BDA80FE294 Time : 0.0 sec. user=gd_barnes [2012-08-01 08:47:16] 977*2^1225472-1 is not prime. Res64: 9D30CB89254F8977 Time : 0.0 sec. user=mdettweiler [2012-08-01 08:59:09] 861*2^1225474-1 is not prime. Res64: 6399EB7EC27E50BC Time : 0.0 sec. user=mdettweiler [2012-08-01 08:59:09] 675*2^1225475-1 is not prime. Res64: 73ACBB3353DF4033 Time : 0.0 sec. user=mdettweiler [2012-08-01 09:04:54] 681*2^1225474-1 is not prime. Res64: D791559C691F4E56 Time : 0.0 sec. user=mdettweiler [2012-08-01 09:04:57] 825*2^1225474-1 is not prime. Res64: ACF239A647F63BDA Time : 0.0 sec. user=mdettweiler [2012-08-01 09:05:04] 783*2^1225475-1 is not prime. Res64: B6032D808CF81B2C Time : 0.0 sec. user=mdettweiler [2012-08-01 09:05:05] 841*2^1225475-1 is not prime. Res64: B5D58A070A9B481D Time : 0.0 sec. user=vaughan [2012-08-01 09:18:01] 771*2^1225475-1 is not prime. Res64: AFCB7ABD8FE77642 Time : 0.0 sec. user=mdettweiler [2012-08-01 09:19:42] 871*2^1225475-1 is not prime. Res64: 77A6380B3920562D Time : 0.0 sec. user=mdettweiler [2012-08-01 09:19:43] 963*2^1225475-1 is not prime. Res64: C354D0C15B3E8375 Time : 0.0 sec. user=mdettweiler [2012-08-01 09:25:47] 867*2^1225476-1 is not prime. Res64: DB0D9BC151CDC453 Time : 0.0 sec. user=mdettweiler [2012-08-01 09:25:47] 903*2^1225476-1 is not prime. Res64: 41F6CFCAF052CB07 Time : 0.0 sec. user=mdettweiler [2012-08-01 09:36:24] 843*2^1225476-1 is not prime. Res64: 827589D796D20DEF Time : 0.0 sec. user=mdettweiler [2012-08-01 09:36:25] 765*2^1225476-1 is not prime. Res64: DA447E63BE526F5A Time : 0.0 sec. user=mdettweiler [2012-08-01 09:40:17] 957*2^1225476-1 is not prime. Res64: 05EBF13CD253A7AB Time : 0.0 sec. user=mdettweiler [2012-08-01 09:40:17] 975*2^1225476-1 is not prime. Res64: 2F9AA88F15890F54 Time : 0.0 sec. user=mdettweiler [2012-08-01 09:46:21] 625*2^1225477-1 is not prime. Res64: ACE7235B20F195CE Time : 0.0 sec. user=mdettweiler [2012-08-01 09:46:21] 687*2^1225477-1 is not prime. Res64: E543BABF795234B5 Time : 0.0 sec. user=vaughan [2012-08-01 09:55:40] 923*2^1225476-1 is not prime. Res64: F1E955462B082A44 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:00:52] 849*2^1225477-1 is not prime. Res64: D7EBD1A6360D3983 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:00:54] 915*2^1225477-1 is not prime. Res64: 57C0350603404451 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:06:56] 955*2^1225477-1 is not prime. Res64: 2BAAEBF9BE33E797 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:06:57] 997*2^1225477-1 is not prime. Res64: D1CCAA6A16446CA3 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:07:29] 765*2^1225477-1 is not prime. Res64: 6E57D29323A1CFA5 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:07:31] 729*2^1225477-1 is not prime. Res64: E7A6CF0FB07A66CD Time : 0.0 sec. user=mdettweiler [2012-08-01 10:21:42] 743*2^1225478-1 is not prime. Res64: F458EF9A86FD535E Time : 0.0 sec. user=mdettweiler [2012-08-01 10:21:42] 815*2^1225478-1 is not prime. Res64: 4FFBBFAE438157AE Time : 0.0 sec. user=sm5ymt [2012-08-01 10:23:20] 995*2^1225478-1 is not prime. Res64: 3F36988525E6B4B8 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:27:45] 861*2^1225478-1 is not prime. Res64: 93DE501D1CCF5A80 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:27:46] 911*2^1225478-1 is not prime. Res64: FAB1DCAB0CDBC349 Time : 0.0 sec. user=vaughan [2012-08-01 10:33:11] 711*2^1225478-1 is not prime. Res64: 2CE95125EEE9BDA6 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:38:42] 661*2^1225479-1 is not prime. Res64: FE8CD7ED0EECA0EA Time : 0.0 sec. user=mdettweiler [2012-08-01 10:38:42] 625*2^1225479-1 is not prime. Res64: 2BE57E6F9F86C6E9 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:42:17] 735*2^1225479-1 is not prime. Res64: C282F1285838C0C1 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:42:17] 921*2^1225479-1 is not prime. Res64: 563148CE5E122820 Time : 0.0 sec. user=gd_barnes [2012-08-01 10:44:10] 705*2^1225479-1 is not prime. Res64: F718E0BF5A754940 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:48:21] 677*2^1225480-1 is not prime. Res64: 5C91D23D8440F4E3 Time : 0.0 sec. user=mdettweiler [2012-08-01 10:48:21] 719*2^1225480-1 is not prime. Res64: FA003E1D94906D43 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:02:51] 607*2^1225481-1 is not prime. Res64: 67C1ED06CAE30087 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:02:53] 627*2^1225481-1 is not prime. Res64: 694023F53DF25A2D Time : 0.0 sec. user=sm5ymt [2012-08-01 11:06:19] 939*2^1225481-1 is not prime. Res64: 450DE5C70C67C7C6 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:08:55] 775*2^1225481-1 is not prime. Res64: D91A5D7F9D20A335 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:08:56] 879*2^1225481-1 is not prime. Res64: D0CB928073877858 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:10:38] 927*2^1225480-1 is not prime. Res64: A009F156149C558D Time : 0.0 sec. user=mdettweiler [2012-08-01 11:10:42] 965*2^1225480-1 is not prime. Res64: 81D4FF3E52E231E9 Time : 0.0 sec. user=vaughan [2012-08-01 11:10:57] 827*2^1225480-1 is not prime. Res64: D270095FCC2750E3 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:23:45] 945*2^1225481-1 is not prime. Res64: 7DBCB1EFBB034DB2 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:23:45] 987*2^1225481-1 is not prime. Res64: 9C9A020C969B49BF Time : 0.0 sec. user=mdettweiler [2012-08-01 11:29:38] 997*2^1225481-1 is not prime. Res64: E992F4FD05B86ABD Time : 0.0 sec. user=mdettweiler [2012-08-01 11:29:38] 633*2^1225482-1 is not prime. Res64: 28AD0A3700B12166 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:41:47] 635*2^1225482-1 is not prime. Res64: 6C79F0F0702DC978 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:41:48] 681*2^1225482-1 is not prime. Res64: AF59565CB1132D8D Time : 0.0 sec. user=mdettweiler [2012-08-01 11:44:22] 609*2^1225483-1 is not prime. Res64: C4D335B57C8EF5B2 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:44:22] 673*2^1225483-1 is not prime. Res64: 94B558BB0034D88F Time : 0.0 sec. user=vaughan [2012-08-01 11:48:32] 873*2^1225482-1 is not prime. Res64: 0DB13D08CD44E34D Time : 0.0 sec. user=mdettweiler [2012-08-01 11:50:12] 685*2^1225483-1 is not prime. Res64: 195C1001A7110503 Time : 0.0 sec. user=mdettweiler [2012-08-01 11:50:12] 735*2^1225483-1 is not prime. Res64: C91DF6D40882038B Time : 0.0 sec. user=mdettweiler [2012-08-01 12:04:55] 969*2^1225483-1 is not prime. Res64: 22D42D6C471B1DF9 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:04:56] 717*2^1225484-1 is not prime. Res64: 954A396283B3811D Time : 0.0 sec. user=mdettweiler [2012-08-01 12:10:46] 749*2^1225484-1 is not prime. Res64: 5B38058B08176E9F Time : 0.0 sec. user=mdettweiler [2012-08-01 12:10:47] 759*2^1225484-1 is not prime. Res64: 1BC6C31D21963FCC Time : 0.0 sec. user=mdettweiler [2012-08-01 12:12:56] 765*2^1225483-1 is not prime. Res64: E1DB6DA53C90DCC7 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:12:59] 819*2^1225483-1 is not prime. Res64: 8DBF44D3452FFDEF Time : 0.0 sec. user=sm5ymt [2012-08-01 12:23:41] 855*2^1225484-1 is not prime. Res64: 66196FA79167A4A7 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:25:39] 837*2^1225484-1 is not prime. Res64: 77EB20AA9FB131CC Time : 0.0 sec. user=mdettweiler [2012-08-01 12:25:39] 843*2^1225484-1 is not prime. Res64: 617220EAFE44E5D3 Time : 0.0 sec. user=vaughan [2012-08-01 12:26:03] 725*2^1225484-1 is not prime. Res64: DCE4CB4D707E4A10 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:31:24] 885*2^1225484-1 is not prime. Res64: 8FFE90763FECCD8C Time : 0.0 sec. user=mdettweiler [2012-08-01 12:31:25] 923*2^1225484-1 is not prime. Res64: BBCCE473708FCB09 Time : 0.0 sec. user=sm5ymt [2012-08-01 12:31:47] 639*2^1225485-1 is not prime. Res64: DAAB8EA9F26AC849 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:44:50] 957*2^1225484-1 is not prime. Res64: 03E8FDB546712866 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:45:03] 601*2^1225485-1 is not prime. Res64: A040891AD894D546 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:46:19] 649*2^1225485-1 is not prime. Res64: B977447A772A3AF3 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:46:20] 685*2^1225485-1 is not prime. Res64: 056B472469421069 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:52:04] 837*2^1225485-1 is not prime. Res64: AD80822829DD1FA2 Time : 0.0 sec. user=mdettweiler [2012-08-01 12:52:05] 889*2^1225485-1 is not prime. Res64: CB3B9328ED51D327 Time : 0.0 sec. user=vaughan [2012-08-01 13:03:37] 831*2^1225485-1 is not prime. Res64: 75844AAA6F944D9A Time : 0.0 sec. user=mdettweiler [2012-08-01 13:07:26] 979*2^1225485-1 is not prime. Res64: FF2C209FC14E7404 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:07:27] 991*2^1225485-1 is not prime. Res64: A297351F17BA5CEF Time : 0.0 sec. user=mdettweiler [2012-08-01 13:13:04] 999*2^1225485-1 is not prime. Res64: 272C0CF43388D0EF Time : 0.0 sec. user=mdettweiler [2012-08-01 13:13:07] 657*2^1225486-1 is not prime. Res64: AE922FC7516E65A6 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:18:08] 961*2^1225485-1 is not prime. Res64: C569DDDF5AAA7635 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:18:25] 975*2^1225485-1 is not prime. Res64: 9D9E45A19E94621C Time : 0.0 sec. user=sm5ymt [2012-08-01 13:21:01] 867*2^1225486-1 is not prime. Res64: 91D83A160315A8CC Time : 0.0 sec. user=mdettweiler [2012-08-01 13:28:07] 897*2^1225486-1 is not prime. Res64: C9E70DA2CCA617D7 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:28:07] 917*2^1225486-1 is not prime. Res64: 6874878EDC5F7D96 Time : 0.0 sec. user=sm5ymt [2012-08-01 13:33:31] 651*2^1225487-1 is not prime. Res64: 8001B735AA1D5526 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:33:55] 923*2^1225486-1 is not prime. Res64: 939E14D740485DC5 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:33:56] 609*2^1225487-1 is not prime. Res64: A235F167B9083CCD Time : 0.0 sec. user=vaughan [2012-08-01 13:41:13] 663*2^1225486-1 is not prime. Res64: 201FDD221B92735A Time : 0.0 sec. user=mdettweiler [2012-08-01 13:48:47] 939*2^1225487-1 is not prime. Res64: BFA19767FACDAEE9 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:48:48] 633*2^1225488-1 is not prime. Res64: D036A3CD4342D8FA Time : 0.0 sec. user=mdettweiler [2012-08-01 13:49:25] 763*2^1225487-1 is not prime. Res64: C71968613DD0230F Time : 0.0 sec. user=mdettweiler [2012-08-01 13:49:42] 885*2^1225487-1 is not prime. Res64: 068DEC783F35E598 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:54:32] 635*2^1225488-1 is not prime. Res64: E82A31138FB42348 Time : 0.0 sec. user=mdettweiler [2012-08-01 13:54:32] 669*2^1225488-1 is not prime. Res64: EB7183B1BE874D2D Time : 0.0 sec. user=mdettweiler [2012-08-01 14:09:30] 803*2^1225488-1 is not prime. Res64: F164028B65C99C26 Time : 0.0 sec. user=mdettweiler [2012-08-01 14:09:33] 839*2^1225488-1 is not prime. Res64: 60A9D1656E24C7AD Time : 0.0 sec. user=mdettweiler [2012-08-01 14:15:07] 639*2^1225489-1 is not prime. Res64: 06A25BCC2742CF4E Time : 0.0 sec. user=mdettweiler [2012-08-01 14:15:11] 729*2^1225489-1 is not prime. Res64: 048D6DDAC9914CFA Time : 0.0 sec. user=vaughan [2012-08-01 14:18:45] 765*2^1225488-1 is not prime. Res64: 9187B97A7B9338FA Time : 0.0 sec. user=mdettweiler [2012-08-01 14:22:27] 969*2^1225488-1 is not prime. Res64: AC392CD76E5F0740 Time : 0.0 sec. user=mdettweiler [2012-08-01 14:22:34] 615*2^1225489-1 is not prime. Res64: 0F0AD460D54BE3ED Time : 0.0 sec. user=mdettweiler [2012-08-01 14:30:28] 765*2^1225489-1 is not prime. Res64: B29D296199949615 Time : 0.0 sec. user=mdettweiler [2012-08-01 14:30:29] 801*2^1225489-1 is not prime. Res64: EA1ED3F5F4F25BB8 Time : 0.0 sec. user=mdettweiler [2012-08-01 14:36:03] 623*2^1225490-1 is not prime. Res64: CB5B3008D409A96F Time : 0.0 sec. user=mdettweiler [2012-08-01 14:51:41] 827*2^1225490-1 is not prime. Res64: 9C5326831628E040 Time : 0.0 sec. user=mdettweiler [2012-08-01 14:51:41] 917*2^1225490-1 is not prime. Res64: C67CDB0964E25512 Time : 0.0 sec. user=mdettweiler [2012-08-01 14:55:40] 767*2^1225490-1 is not prime. Res64: 06C3BEC3896E4A97 Time : 0.0 sec. user=mdettweiler [2012-08-01 14:56:02] 813*2^1225490-1 is not prime. Res64: EEF0056E6055373D Time : 0.0 sec. user=vaughan [2012-08-01 14:56:24] 671*2^1225490-1 is not prime. Res64: 44BC33FE52E3026B Time : 0.0 sec. user=mdettweiler [2012-08-01 15:13:45] 639*2^1225491-1 is not prime. Res64: 44E447CB63F447DC Time : 0.0 sec. user=mdettweiler [2012-08-01 15:13:48] 643*2^1225491-1 is not prime. Res64: 828DA0275ADD206E Time : 0.0 sec. user=sm5ymt [2012-08-01 15:15:27] 615*2^1225492-1 is not prime. Res64: C771058E28961384 Time : 0.0 sec. user=mdettweiler [2012-08-01 15:20:11] 645*2^1225490-1 is not prime. Res64: DF54F683866BC6EE Time : 0.0 sec. user=sm5ymt [2012-08-01 15:25:03] 895*2^1225491-1 is not prime. Res64: FBC3A12EED022168 Time : 0.0 sec. user=sm5ymt [2012-08-01 15:25:35] 677*2^1225492-1 is not prime. Res64: 44C2C89D46831EDF Time : 0.0 sec. user=mdettweiler [2012-08-01 15:27:20] 649*2^1225491-1 is not prime. Res64: 1C76CB3C37DA8038 Time : 0.0 sec. user=mdettweiler [2012-08-01 15:27:31] 709*2^1225491-1 is not prime. Res64: 82ABB123E54DBB5A Time : 0.0 sec. user=vaughan [2012-08-01 15:33:52] 835*2^1225491-1 is not prime. Res64: F7A2F22B11CEE1BA Time : 0.0 sec. user=mdettweiler [2012-08-01 15:36:35] 693*2^1225492-1 is not prime. Res64: 5E2C53F8CE42FC7B Time : 0.0 sec. user=mdettweiler [2012-08-01 15:36:35] 777*2^1225492-1 is not prime. Res64: 47F8256092A4B88A Time : 0.0 sec. user=mdettweiler [2012-08-01 15:41:39] 903*2^1225492-1 is not prime. Res64: 634EED9CFBC83642 Time : 0.0 sec. user=mdettweiler [2012-08-01 15:41:40] 657*2^1225493-1 is not prime. Res64: 1D403E9E91AE153E Time : 0.0 sec. user=mdettweiler [2012-08-01 15:57:45] 831*2^1225493-1 is not prime. Res64: 50C7C33418F1C911 Time : 0.0 sec. user=mdettweiler [2012-08-01 15:57:45] 897*2^1225493-1 is not prime. Res64: C70F9F2334803E17 Time : 0.0 sec. user=mdettweiler [2012-08-01 16:00:12] 675*2^1225493-1 is not prime. Res64: FF7657FD28095160 Time : 0.0 sec. user=mdettweiler [2012-08-01 16:00:14] 747*2^1225493-1 is not prime. Res64: F73722DF9156650A Time : 0.0 sec. user=mdettweiler [2012-08-01 16:02:55] 987*2^1225493-1 is not prime. Res64: 726631CD1C7FAE3F Time : 0.0 sec. user=mdettweiler [2012-08-01 16:02:56] 641*2^1225494-1 is not prime. Res64: 91B3F91C5E29106B Time : 0.0 sec. user=sm5ymt [2012-08-01 16:04:25] 683*2^1225494-1 is not prime. Res64: 9B5CE8F27AB58CE3 Time : 0.0 sec. user=vaughan [2012-08-01 16:11:21] 829*2^1225493-1 is not prime. Res64: A3BCD69FE61483DE Time : 0.0 sec. user=mdettweiler [2012-08-01 16:18:57] 707*2^1225494-1 is not prime. Res64: C7A6D6E599236F9D Time : 0.0 sec. user=mdettweiler [2012-08-01 16:18:58] 747*2^1225494-1 is not prime. Res64: DF33444249D215FC Time : 0.0 sec. user=mdettweiler [2012-08-01 16:24:09] 863*2^1225494-1 is not prime. Res64: 19BC38A0C046E37C Time : 0.0 sec. user=mdettweiler [2012-08-01 16:24:10] 945*2^1225494-1 is not prime. Res64: 44D653A2C5292ACA Time : 0.0 sec. user=mdettweiler [2012-08-01 16:31:54] 851*2^1225494-1 is not prime. Res64: 8C49AE461EBC36FC Time : 0.0 sec. user=mdettweiler [2012-08-01 16:31:56] 765*2^1225494-1 is not prime. Res64: 7A98B8613D3B4698 Time : 0.0 sec. user=sm5ymt [2012-08-01 16:39:10] 883*2^1225495-1 is not prime. Res64: E424CC70499FB91D Time : 0.0 sec. user=mdettweiler [2012-08-01 16:40:11] 685*2^1225495-1 is not prime. Res64: AA1F881312DE7018 Time : 0.0 sec. user=mdettweiler [2012-08-01 16:40:12] 709*2^1225495-1 is not prime. Res64: 96A5D5A351E9C8D1 Time : 0.0 sec. user=mdettweiler [2012-08-01 16:45:21] 925*2^1225495-1 is not prime. Res64: D81BD746FD3AEF7E Time : 0.0 sec. user=mdettweiler [2012-08-01 16:45:21] 951*2^1225495-1 is not prime. Res64: 95D422091D53B9FB Time : 0.0 sec. user=vaughan [2012-08-01 16:48:59] 983*2^1225494-1 is not prime. Res64: FDBBD5A628D12E5F Time : 0.0 sec. user=sm5ymt [2012-08-01 17:00:36] 893*2^1225496-1 is not prime. Res64: F616F3CCE53A657B Time : 0.0 sec. user=mdettweiler [2012-08-01 17:01:23] 669*2^1225496-1 is not prime. Res64: 26F7D7E699CFC97D Time : 0.0 sec. user=mdettweiler [2012-08-01 17:01:25] 699*2^1225496-1 is not prime. Res64: 2388A7B3B7E435CA Time : 0.0 sec. user=mdettweiler [2012-08-01 17:03:16] 657*2^1225496-1 is not prime. Res64: ACB4015333018C69 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:03:18] 623*2^1225496-1 is not prime. Res64: 990AC95333C0C1C2 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:06:35] 963*2^1225496-1 is not prime. Res64: A13692F26A6F83BA Time : 0.0 sec. user=mdettweiler [2012-08-01 17:06:38] 649*2^1225497-1 is not prime. Res64: AFA22E7846EEA422 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:23:13] 685*2^1225497-1 is not prime. Res64: 274E3F406BB9DD3E Time : 0.0 sec. user=mdettweiler [2012-08-01 17:23:14] 735*2^1225497-1 is not prime. Res64: 9630282D1088781F Time : 0.0 sec. user=vaughan [2012-08-01 17:26:30] 661*2^1225497-1 is not prime. Res64: 0BE92EDA90BC97B9 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:28:12] 979*2^1225497-1 is not prime. Res64: E3E88AE12F9AE189 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:28:12] 611*2^1225498-1 is not prime. Res64: 870B4C02AAFB3B49 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:35:58] 777*2^1225497-1 is not prime. Res64: 6C699AF50CA2C7D9 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:36:00] 885*2^1225497-1 is not prime. Res64: BA42E58E24EEB744 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:44:29] 635*2^1225498-1 is not prime. Res64: 208D7725A2EF9081 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:44:29] 723*2^1225498-1 is not prime. Res64: 331B5CB9A7633252 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:49:24] 815*2^1225498-1 is not prime. Res64: B1ECE7F6F7A22087 Time : 0.0 sec. user=mdettweiler [2012-08-01 17:49:24] 825*2^1225498-1 is not prime. Res64: C0A23F76CC5383C9 Time : 0.0 sec. user=vaughan [2012-08-01 18:03:59] 773*2^1225498-1 is not prime. Res64: 9B7171D4F9CAD06F Time : 0.0 sec. user=mdettweiler [2012-08-01 18:05:39] 1001*2^1225498-1 is not prime. Res64: 463CB3F58BBD770F Time : 0.0 sec. user=mdettweiler [2012-08-01 18:05:39] 619*2^1225499-1 is not prime. Res64: 2DA23DD8EC0AFBFA Time : 0.0 sec. user=mdettweiler [2012-08-01 18:08:05] 993*2^1225498-1 is not prime. Res64: 86635AD92D5353AF Time : 0.0 sec. user=mdettweiler [2012-08-01 18:08:07] 971*2^1225498-1 is not prime. Res64: 6BF18980F56FCBE7 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:10:36] 669*2^1225499-1 is not prime. Res64: F0E85EDF178AED52 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:10:39] 685*2^1225499-1 is not prime. Res64: B2A161FC21ABC38A Time : 0.0 sec. user=mdettweiler [2012-08-01 18:26:47] 733*2^1225499-1 is not prime. Res64: 91922BD26D6C29C7 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:26:48] 855*2^1225499-1 is not prime. Res64: 70BD490DAA50F41B Time : 0.0 sec. user=mdettweiler [2012-08-01 18:31:44] 689*2^1225500-1 is not prime. Res64: 68319BAA8700EF88 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:31:44] 767*2^1225500-1 is not prime. Res64: E53127E5C9556FC3 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:39:23] 909*2^1225499-1 is not prime. Res64: 139DE8BF5EC85AA9 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:39:38] 949*2^1225499-1 is not prime. Res64: 157D24BD050160B3 Time : 0.0 sec. user=vaughan [2012-08-01 18:41:34] 711*2^1225499-1 is not prime. Res64: 1C99A8B515A5340F Time : 0.0 sec. user=mdettweiler [2012-08-01 18:48:07] 777*2^1225500-1 is not prime. Res64: CDE613AF881DDC93 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:48:08] 779*2^1225500-1 is not prime. Res64: 82EF642D52F39354 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:53:05] 797*2^1225500-1 is not prime. Res64: D3EC1EEF8D77FD75 Time : 0.0 sec. user=mdettweiler [2012-08-01 18:53:06] 867*2^1225500-1 is not prime. Res64: C6697771B5DB6E23 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:09:24] 771*2^1225501-1 is not prime. Res64: FAE951F83863B2E5 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:09:25] 817*2^1225501-1 is not prime. Res64: C88E93EA72C0662D Time : 0.0 sec. user=mdettweiler [2012-08-01 19:10:50] 987*2^1225500-1 is not prime. Res64: 3F7337E5CE31EA95 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:11:10] 741*2^1225501-1 is not prime. Res64: 790FA36DE7E854C8 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:14:24] 847*2^1225501-1 is not prime. Res64: 08BAF8E38DB8A788 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:14:25] 925*2^1225501-1 is not prime. Res64: 9E081F9159AEF9B1 Time : 0.0 sec. user=vaughan [2012-08-01 19:19:03] 751*2^1225501-1 is not prime. Res64: 50DDDE8557F64BA1 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:30:49] 743*2^1225502-1 is not prime. Res64: 7C3D77BC2DDDBE0F Time : 0.0 sec. user=mdettweiler [2012-08-01 19:30:49] 771*2^1225502-1 is not prime. Res64: 52E5C50265F4A5D8 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:36:10] 941*2^1225502-1 is not prime. Res64: 303110AAA52EBA13 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:36:10] 953*2^1225502-1 is not prime. Res64: 23DB55972FBEEF0C Time : 0.0 sec. user=mdettweiler [2012-08-01 19:45:06] 813*2^1225502-1 is not prime. Res64: 58919F8FC9F1E86D Time : 0.0 sec. user=mdettweiler [2012-08-01 19:46:43] 867*2^1225502-1 is not prime. Res64: 25036E340737ABE5 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:52:07] 789*2^1225503-1 is not prime. Res64: 82827314F06C92FF Time : 0.0 sec. user=mdettweiler [2012-08-01 19:52:07] 805*2^1225503-1 is not prime. Res64: 1BBFEA7A6EDFDE0C Time : 0.0 sec. user=vaughan [2012-08-01 19:56:36] 977*2^1225502-1 is not prime. Res64: BA6B8E1DE0CB9923 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:57:28] 825*2^1225503-1 is not prime. Res64: D1BD30223C389531 Time : 0.0 sec. user=mdettweiler [2012-08-01 19:57:29] 951*2^1225503-1 is not prime. Res64: 4549E9EFE95A2820 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:13:03] 873*2^1225504-1 is not prime. Res64: 168242DCBE9FF00D Time : 0.0 sec. user=mdettweiler [2012-08-01 20:13:06] 975*2^1225504-1 is not prime. Res64: 153A3399F1AB5256 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:18:15] 619*2^1225505-1 is not prime. Res64: 0A1D96FECBD0DCDC Time : 0.0 sec. user=mdettweiler [2012-08-01 20:18:15] 685*2^1225505-1 is not prime. Res64: 8D7DE3F0169951A3 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:24:21] 785*2^1225504-1 is not prime. Res64: 4F3067A5CE4F3E10 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:24:36] 773*2^1225504-1 is not prime. Res64: 4C275E99B6B6CAC4 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:33:57] 771*2^1225505-1 is not prime. Res64: FEC2969E51182246 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:33:57] 789*2^1225505-1 is not prime. Res64: 046829A9E9C2A393 Time : 0.0 sec. user=vaughan [2012-08-01 20:34:07] 989*2^1225504-1 is not prime. Res64: AA062D8EC08377B4 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:39:06] 795*2^1225505-1 is not prime. Res64: F989B6D4258D1A4F Time : 0.0 sec. user=mdettweiler [2012-08-01 20:39:06] 799*2^1225505-1 is not prime. Res64: 25313BF25DD0AF8B Time : 0.0 sec. user=mdettweiler [2012-08-01 20:54:29] 847*2^1225505-1 is not prime. Res64: 9987E52515820CC9 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:54:44] 633*2^1225506-1 is not prime. Res64: 19776F15D851AD4A Time : 0.0 sec. user=mdettweiler [2012-08-01 20:54:44] 635*2^1225506-1 is not prime. Res64: 2BB2FE5FDAD6988C Time : 0.0 sec. user=mdettweiler [2012-08-01 20:54:51] 627*2^1225506-1 is not prime. Res64: E7D2D813F48E1EA1 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:59:55] 803*2^1225506-1 is not prime. Res64: 16468BB6BBFC4FF8 Time : 0.0 sec. user=mdettweiler [2012-08-01 20:59:55] 833*2^1225506-1 is not prime. Res64: 41BBB4D7DD38E7B3 Time : 0.0 sec. user=vaughan [2012-08-01 21:11:37] 741*2^1225506-1 is not prime. Res64: 10B8111E3F7BB6E3 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:15:31] 625*2^1225507-1 is not prime. Res64: D88EB16C9861B474 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:15:31] 639*2^1225507-1 is not prime. Res64: B7DD928B9A03ED15 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:20:42] 919*2^1225507-1 is not prime. Res64: 372408D12C05AE5E Time : 0.0 sec. user=mdettweiler [2012-08-01 21:20:42] 975*2^1225507-1 is not prime. Res64: 5626531281120E05 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:24:42] 983*2^1225506-1 is not prime. Res64: DDC101ABC21D18FB Time : 0.0 sec. user=mdettweiler [2012-08-01 21:25:00] 885*2^1225507-1 is not prime. Res64: 2368FA9CFEF8135B Time : 0.0 sec. user=mdettweiler [2012-08-01 21:36:17] 753*2^1225508-1 is not prime. Res64: A1E6C34A92DEEB76 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:36:18] 797*2^1225508-1 is not prime. Res64: 1846086AF6000135 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:41:29] 825*2^1225508-1 is not prime. Res64: 4555B3C0B241E163 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:41:29] 839*2^1225508-1 is not prime. Res64: 71D286B774E75922 Time : 0.0 sec. user=vaughan [2012-08-01 21:49:15] 615*2^1225508-1 is not prime. Res64: EEC0DF81BA9E6D9C Time : 0.0 sec. user=mdettweiler [2012-08-01 21:56:03] 667*2^1225509-1 is not prime. Res64: B0052C0D1AC973B9 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:56:33] 741*2^1225509-1 is not prime. Res64: 099F1CEBC66809A9 Time : 0.0 sec. user=mdettweiler [2012-08-01 21:57:05] 745*2^1225509-1 is not prime. Res64: 16A586771C6C017B Time : 0.0 sec. user=mdettweiler [2012-08-01 21:57:05] 927*2^1225509-1 is not prime. Res64: ECA8ACA35D46280C Time : 0.0 sec. user=mdettweiler [2012-08-01 22:02:16] 949*2^1225509-1 is not prime. Res64: 6F0298614F558524 Time : 0.0 sec. user=mdettweiler [2012-08-01 22:02:18] 955*2^1225509-1 is not prime. Res64: 7CFB566710E8D5A7 Time : 0.0 sec. user=mdettweiler [2012-08-01 22:17:50] 743*2^1225510-1 is not prime. Res64: 404767701D854216 Time : 0.0 sec. user=mdettweiler [2012-08-01 22:17:51] 777*2^1225510-1 is not prime. Res64: 6CC47034B44DCE1D Time : 0.0 sec. user=mdettweiler [2012-08-01 22:23:25] 857*2^1225510-1 is not prime. Res64: FB81B6E4076C9E34 Time : 0.0 sec. user=mdettweiler [2012-08-01 22:23:26] 885*2^1225510-1 is not prime. Res64: 4D45D208BCCA4985 Time : 0.0 sec. user=vaughan [2012-08-01 22:26:37] 717*2^1225510-1 is not prime. Res64: 06078359D4433F63 Time : 0.0 sec. user=mdettweiler [2012-08-01 22:27:20] 723*2^1225510-1 is not prime. Res64: E1CD6E3A07B5BB7D Time : 0.0 sec. user=mdettweiler [2012-08-01 22:27:51] 731*2^1225510-1 is not prime. Res64: 5E92EEB5326C7D0B Time : 0.0 sec. user=mdettweiler [2012-08-01 22:38:41] 645*2^1225511-1 is not prime. Res64: 21DBCA539DD16C6C Time : 0.0 sec. user=mdettweiler [2012-08-01 22:38:42] 669*2^1225511-1 is not prime. Res64: 506EC2547899244A Time : 0.0 sec. user=mdettweiler [2012-08-01 22:44:13] 823*2^1225511-1 is not prime. Res64: DC14E2E859F2033C Time : 0.0 sec. user=mdettweiler [2012-08-01 22:44:14] 865*2^1225511-1 is not prime. Res64: F68906675E2232CA Time : 0.0 sec. user=mdettweiler [2012-08-01 22:58:51] 949*2^1225511-1 is not prime. Res64: 27EBB3D1910F52D1 Time : 0.0 sec. user=mdettweiler [2012-08-01 22:59:21] 633*2^1225512-1 is not prime. Res64: C2F33D80CC6619C1 Time : 0.0 sec. user=mdettweiler [2012-08-01 22:59:29] 653*2^1225512-1 is not prime. Res64: A3085AE6FD2F9E3E Time : 0.0 sec. user=mdettweiler [2012-08-01 22:59:29] 657*2^1225512-1 is not prime. Res64: 8EBF4BCA3A48D00D Time : 0.0 sec. user=vaughan [2012-08-01 23:04:01] 931*2^1225511-1 is not prime. Res64: FD976F7B1A1491CD Time : 0.0 sec. user=mdettweiler [2012-08-01 23:05:00] 693*2^1225512-1 is not prime. Res64: 14356A743178B412 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:05:01] 917*2^1225512-1 is not prime. Res64: 9891C633C2E6F4B8 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:20:16] 885*2^1225513-1 is not prime. Res64: 7263DA1BB4F6E795 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:20:16] 633*2^1225514-1 is not prime. Res64: 46E996763B1908C0 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:25:52] 707*2^1225514-1 is not prime. Res64: EA089BD1F65B11B5 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:25:53] 741*2^1225514-1 is not prime. Res64: 621B0612B9E3DDB5 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:31:43] 747*2^1225513-1 is not prime. Res64: D9F9391D375ED15D Time : 0.0 sec. user=mdettweiler [2012-08-01 23:32:25] 741*2^1225513-1 is not prime. Res64: 0AEF767DDB0F6EE6 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:41:05] 851*2^1225514-1 is not prime. Res64: 183B9D01B31605E5 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:41:05] 885*2^1225514-1 is not prime. Res64: BB7B881A6167F1F9 Time : 0.0 sec. user=vaughan [2012-08-01 23:41:24] 675*2^1225514-1 is not prime. Res64: 58D5DC02EAE2BAF2 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:46:40] 987*2^1225514-1 is not prime. Res64: 7AF8AEEADB199FC0 Time : 0.0 sec. user=mdettweiler [2012-08-01 23:46:41] 751*2^1225515-1 is not prime. Res64: FF4D884E566416E1 Time : 0.0 sec.