user=mdettweiler [2012-08-23 00:01:36] 827*2^1226980-1 is not prime. Res64: BE75F83F8077EB8F Time : 0.0 sec. user=mdettweiler [2012-08-23 00:13:18] 645*2^1226981-1 is not prime. Res64: 0A478637D1CB7CBC Time : 0.0 sec. user=mdettweiler [2012-08-23 00:17:33] 711*2^1226982-1 is not prime. Res64: C91469B14741B783 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:17:34] 863*2^1226982-1 is not prime. Res64: 6C0ABEF9D9EDC569 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:21:55] 615*2^1226983-1 is not prime. Res64: 8FAABF76E832F628 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:21:56] 633*2^1226983-1 is not prime. Res64: 2848760066C35BAC Time : 0.0 sec. user=vaughan [2012-08-23 00:35:08] 893*2^1226982-1 is not prime. Res64: 1B3C88E913F789D2 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:35:33] 679*2^1226983-1 is not prime. Res64: C64AC119E669DE2F Time : 0.0 sec. user=mdettweiler [2012-08-23 00:38:33] 919*2^1226983-1 is not prime. Res64: FC202088A3C02A47 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:38:33] 943*2^1226983-1 is not prime. Res64: 0E4C6D298916A3EF Time : 0.0 sec. user=mdettweiler [2012-08-23 00:42:58] 993*2^1226983-1 is not prime. Res64: D429D9A5636EA605 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:42:59] 609*2^1226984-1 is not prime. Res64: 181FCD164CB0915F Time : 0.0 sec. user=mdettweiler [2012-08-23 00:44:46] 705*2^1226983-1 is not prime. Res64: 502E82705BDC98E8 Time : 0.0 sec. user=mdettweiler [2012-08-23 00:59:31] 897*2^1226984-1 is not prime. Res64: 2C12F3617067D1CB Time : 0.0 sec. user=mdettweiler [2012-08-23 00:59:31] 927*2^1226984-1 is not prime. Res64: F6D113E21967A626 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:03:55] 935*2^1226984-1 is not prime. Res64: CE00F19A265F6BC1 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:03:56] 667*2^1226985-1 is not prime. Res64: E67D5679E52543F4 Time : 0.0 sec. user=vaughan [2012-08-23 01:12:59] 827*2^1226984-1 is not prime. Res64: 2ADFC59B429B5AED Time : 0.0 sec. user=mdettweiler [2012-08-23 01:16:19] 873*2^1226984-1 is not prime. Res64: AC4B294B47AC3BC3 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:16:22] 759*2^1226985-1 is not prime. Res64: 87C5908B417AE183 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:20:25] 819*2^1226985-1 is not prime. Res64: 752649A8AD5FFADC Time : 0.0 sec. user=mdettweiler [2012-08-23 01:20:26] 871*2^1226985-1 is not prime. Res64: E69CEC14CD10A050 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:24:55] 895*2^1226985-1 is not prime. Res64: 92CE50BA823A0C37 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:24:55] 921*2^1226985-1 is not prime. Res64: 577A4F7CD7B706AD Time : 0.0 sec. user=mdettweiler [2012-08-23 01:41:25] 979*2^1226985-1 is not prime. Res64: 071F726EA87BAF29 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:41:25] 653*2^1226986-1 is not prime. Res64: 9D02587DFFA46104 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:45:51] 657*2^1226986-1 is not prime. Res64: 0866A784C8B51CF9 Time : 0.0 sec. user=mdettweiler [2012-08-23 01:45:51] 677*2^1226986-1 is not prime. Res64: 1F55D007C8E0D5F3 Time : 0.0 sec. user=vaughan [2012-08-23 01:50:45] 937*2^1226985-1 is not prime. Res64: 508AB2753D4553B8 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:02:27] 717*2^1226986-1 is not prime. Res64: 797F195D415A9676 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:02:28] 987*2^1226986-1 is not prime. Res64: 9E646A81C2801724 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:06:50] 609*2^1226987-1 is not prime. Res64: 223A00CA9095005C Time : 0.0 sec. user=mdettweiler [2012-08-23 02:06:53] 651*2^1226987-1 is not prime. Res64: ED3E916C9FA31D13 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:15:59] 705*2^1226986-1 is not prime. Res64: 6A27A9D8E6F6AEB1 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:24:22] 825*2^1226987-1 is not prime. Res64: 7CA68B8F29643614 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:24:23] 885*2^1226987-1 is not prime. Res64: F060FDDDCB6A483D Time : 0.0 sec. user=mdettweiler [2012-08-23 02:28:14] 931*2^1226987-1 is not prime. Res64: FF08739D253F7F1D Time : 0.0 sec. user=mdettweiler [2012-08-23 02:28:15] 955*2^1226987-1 is not prime. Res64: 07B814875597D382 Time : 0.0 sec. user=vaughan [2012-08-23 02:28:26] 655*2^1226987-1 is not prime. Res64: B5D4DE306237DEEA Time : 0.0 sec. user=mdettweiler [2012-08-23 02:45:24] 735*2^1226988-1 is not prime. Res64: CA5E226EB2EF3D9B Time : 0.0 sec. user=mdettweiler [2012-08-23 02:45:27] 927*2^1226988-1 is not prime. Res64: 9B11C8C652BCD3D7 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:49:16] 957*2^1226988-1 is not prime. Res64: 77D111D37342DD8C Time : 0.0 sec. user=mdettweiler [2012-08-23 02:49:17] 691*2^1226989-1 is not prime. Res64: 41DB717521AC7D41 Time : 0.0 sec. user=mdettweiler [2012-08-23 02:53:50] 963*2^1226987-1 is not prime. Res64: AC00527FE4721894 Time : 0.0 sec. user=vaughan [2012-08-23 03:06:06] 741*2^1226989-1 is not prime. Res64: 880B9E08A8C4A1E1 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:06:45] 775*2^1226989-1 is not prime. Res64: B63ACF0D49291FD8 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:06:45] 817*2^1226989-1 is not prime. Res64: F24B9861D64B9FB9 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:10:15] 829*2^1226989-1 is not prime. Res64: 72E43B290F9DF449 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:10:17] 861*2^1226989-1 is not prime. Res64: 998EDC72BD1841FF Time : 0.0 sec. user=mdettweiler [2012-08-23 03:27:48] 761*2^1226990-1 is not prime. Res64: 2B64759053236C40 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:27:48] 795*2^1226990-1 is not prime. Res64: 3B13595545D57850 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:31:22] 801*2^1226990-1 is not prime. Res64: 034674E730310090 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:31:23] 851*2^1226990-1 is not prime. Res64: 54237FE28BBADE5D Time : 0.0 sec. user=mdettweiler [2012-08-23 03:31:38] 605*2^1226990-1 is not prime. Res64: 14CE7438BC1B5900 Time : 0.0 sec. user=vaughan [2012-08-23 03:43:52] 687*2^1226990-1 is not prime. Res64: C1AA1F4D1233E2C2 Time : 0.0 sec. user=gd_barnes [2012-08-23 03:48:44] 857*2^1226990-1 is not prime. Res64: 50C3C69F8EDE232F Time : 0.0 sec. user=mdettweiler [2012-08-23 03:48:46] 951*2^1226990-1 is not prime. Res64: 8B7C08B1F70451A2 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:48:47] 987*2^1226990-1 is not prime. Res64: 88F97A3605EB48EF Time : 0.0 sec. user=gd_barnes [2012-08-23 03:48:48] 911*2^1226990-1 is not prime. Res64: 35D798FBB95F45C0 Time : 0.0 sec. user=mdettweiler [2012-08-23 03:52:32] 861*2^1226991-1 is not prime. Res64: BB40D8B23EC756CD Time : 0.0 sec. user=mdettweiler [2012-08-23 03:52:32] 909*2^1226991-1 is not prime. Res64: 86A32BB6B1C86682 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:09:47] 623*2^1226992-1 is not prime. Res64: 14188C93FBD2D3D7 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:09:48] 699*2^1226992-1 is not prime. Res64: C58BCC07B55A43E3 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:13:31] 705*2^1226992-1 is not prime. Res64: 0823E2E27ADB0374 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:13:32] 713*2^1226992-1 is not prime. Res64: A2B85BE24D46627F Time : 0.0 sec. user=mdettweiler [2012-08-23 04:13:48] 921*2^1226991-1 is not prime. Res64: 40AA5CCE3306E037 Time : 0.0 sec. user=vaughan [2012-08-23 04:21:35] 999*2^1226991-1 is not prime. Res64: C2FAD329F6E6A5E7 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:30:52] 765*2^1226992-1 is not prime. Res64: 18227F34184B74FC Time : 0.0 sec. user=mdettweiler [2012-08-23 04:30:54] 843*2^1226992-1 is not prime. Res64: 27FB0B499B4CCE7D Time : 0.0 sec. user=mdettweiler [2012-08-23 04:34:34] 855*2^1226992-1 is not prime. Res64: 505FA06773BEFD55 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:34:35] 929*2^1226992-1 is not prime. Res64: 25DBFE12CF0F1B95 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:52:06] 675*2^1226993-1 is not prime. Res64: 16114FE962885741 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:52:35] 989*2^1226992-1 is not prime. Res64: 992F3C37A38BED91 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:55:37] 699*2^1226993-1 is not prime. Res64: 4BA058F2E5377364 Time : 0.0 sec. user=mdettweiler [2012-08-23 04:55:38] 747*2^1226993-1 is not prime. Res64: 55FCAA2AFCA43C94 Time : 0.0 sec. user=vaughan [2012-08-23 04:59:29] 999*2^1226992-1 is not prime. Res64: 13B8396C18AB09B1 Time : 0.0 sec. user=mdettweiler [2012-08-23 05:13:20] 775*2^1226993-1 is not prime. Res64: FCFD6BFD260603B6 Time : 0.0 sec. user=mdettweiler [2012-08-23 05:13:22] 787*2^1226993-1 is not prime. Res64: B048FD0D63A3701B Time : 0.0 sec. user=mdettweiler [2012-08-23 05:16:49] 871*2^1226993-1 is not prime. Res64: CA4FF50FCF875CEA Time : 0.0 sec. user=mdettweiler [2012-08-23 05:16:51] 621*2^1226994-1 is not prime. Res64: B6611D60D9A8B80F Time : 0.0 sec. user=mdettweiler [2012-08-23 05:31:52] 837*2^1226993-1 is not prime. Res64: 93FA736FCC33AA7E Time : 0.0 sec. user=mdettweiler [2012-08-23 05:34:31] 767*2^1226994-1 is not prime. Res64: C5E490C1C4AA0188 Time : 0.0 sec. user=mdettweiler [2012-08-23 05:34:32] 861*2^1226994-1 is not prime. Res64: 8094C846759776C5 Time : 0.0 sec. user=vaughan [2012-08-23 05:37:09] 717*2^1226994-1 is not prime. Res64: B47FC130CCD9AD6C Time : 0.0 sec. user=mdettweiler [2012-08-23 05:37:57] 921*2^1226994-1 is not prime. Res64: 423C578E00086310 Time : 0.0 sec. user=mdettweiler [2012-08-23 05:37:58] 609*2^1226995-1 is not prime. Res64: 90478CF0D2CC0D69 Time : 0.0 sec. user=mdettweiler [2012-08-23 05:59:07] 715*2^1226995-1 is not prime. Res64: E7319D5BB21D6B61 Time : 0.0 sec. user=mdettweiler [2012-08-23 05:59:08] 733*2^1226995-1 is not prime. Res64: E08262D4B3FEA30A Time : 0.0 sec. user=mdettweiler [2012-08-23 06:06:12] 885*2^1226995-1 is not prime. Res64: BBB7DDB16C2FC0DD Time : 0.0 sec. user=mdettweiler [2012-08-23 06:06:14] 919*2^1226995-1 is not prime. Res64: 7AA3438792BDF135 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:10:13] 651*2^1226995-1 is not prime. Res64: 215097FC59CFD79B Time : 0.0 sec. user=vaughan [2012-08-23 06:14:54] 675*2^1226995-1 is not prime. Res64: 594F576090AAD176 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:20:09] 615*2^1226996-1 is not prime. Res64: C073EAA620209132 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:20:10] 647*2^1226996-1 is not prime. Res64: 04A550607D527672 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:27:21] 785*2^1226996-1 is not prime. Res64: BC3F7A9EEC81ECBE Time : 0.0 sec. user=mdettweiler [2012-08-23 06:27:22] 845*2^1226996-1 is not prime. Res64: C70AD998FF1575D1 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:41:11] 837*2^1226997-1 is not prime. Res64: 281BDAFAC3A9BD39 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:41:12] 895*2^1226997-1 is not prime. Res64: DFB74051ACE17DBA Time : 0.0 sec. user=mdettweiler [2012-08-23 06:42:26] 855*2^1226996-1 is not prime. Res64: DC54108C2BC67EE1 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:44:03] 691*2^1226997-1 is not prime. Res64: A07D63FDBCE85664 Time : 0.0 sec. user=mdettweiler [2012-08-23 06:48:27] 915*2^1226997-1 is not prime. Res64: 99A5E30E1943424C Time : 0.0 sec. user=mdettweiler [2012-08-23 06:48:28] 919*2^1226997-1 is not prime. Res64: 17818FFECB103B44 Time : 0.0 sec. user=vaughan [2012-08-23 06:52:40] 817*2^1226997-1 is not prime. Res64: C5F03FC253E6AB0D Time : 0.0 sec. user=mdettweiler [2012-08-23 07:02:13] 867*2^1226998-1 is not prime. Res64: FA935D08955735DC Time : 0.0 sec. user=mdettweiler [2012-08-23 07:02:16] 933*2^1226998-1 is not prime. Res64: 5B45440C793A5442 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:09:31] 879*2^1226999-1 is not prime. Res64: EB5651E588624D65 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:09:32] 993*2^1226999-1 is not prime. Res64: 9BE3F444F0C5A510 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:13:49] 987*2^1226998-1 is not prime. Res64: C76EA2DF21D328AB Time : 0.0 sec. user=mdettweiler [2012-08-23 07:18:24] 819*2^1226999-1 is not prime. Res64: 4B34FF3551290614 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:23:29] 717*2^1227000-1 is not prime. Res64: 48A3A298FAFA8721 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:23:30] 845*2^1227000-1 is not prime. Res64: 97D02E4112BE05A3 Time : 0.0 sec. user=vaughan [2012-08-23 07:30:21] 695*2^1227000-1 is not prime. Res64: 133E962B5CDE7A12 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:30:38] 983*2^1227000-1 is not prime. Res64: CBAADE3478D340C7 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:30:39] 747*2^1227001-1 is not prime. Res64: 7373FA87F8D9EE40 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:44:36] 861*2^1227001-1 is not prime. Res64: 24745E8C9FC2B4B4 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:44:37] 895*2^1227001-1 is not prime. Res64: 8DC9B849551D7394 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:50:02] 777*2^1227001-1 is not prime. Res64: 7E7864B87B878E60 Time : 0.0 sec. user=mdettweiler [2012-08-23 07:51:40] 997*2^1227001-1 is not prime. Res64: D1DBE3A428884AAF Time : 0.0 sec. user=mdettweiler [2012-08-23 07:51:41] 633*2^1227002-1 is not prime. Res64: F618AC4AC791389D Time : 0.0 sec. user=mdettweiler [2012-08-23 07:52:27] 817*2^1227001-1 is not prime. Res64: E613448EB7599557 Time : 0.0 sec. user=mdettweiler [2012-08-23 08:05:40] 657*2^1227002-1 is not prime. Res64: 3EFC508DE7162BFE Time : 0.0 sec. user=mdettweiler [2012-08-23 08:05:44] 713*2^1227002-1 is not prime. Res64: 8D7570D4F198CE7F Time : 0.0 sec. user=vaughan [2012-08-23 08:08:01] 987*2^1227001-1 is not prime. Res64: 165DFDD9D260D472 Time : 0.0 sec. user=mdettweiler [2012-08-23 08:12:42] 923*2^1227002-1 is not prime. Res64: DE1C6A79F5B7037A Time : 0.0 sec. user=mdettweiler [2012-08-23 08:12:43] 951*2^1227002-1 is not prime. Res64: 96575C1767E5FA6E Time : 0.0 sec. user=mdettweiler [2012-08-23 08:23:53] 643*2^1227003-1 is not prime. Res64: C1947FB0F6F768FC Time : 0.0 sec. user=mdettweiler [2012-08-23 08:24:18] 791*2^1227002-1 is not prime. Res64: 27F5952D4A479706 Time : 0.0 sec. user=mdettweiler [2012-08-23 08:26:57] 679*2^1227003-1 is not prime. Res64: CF8F2A881F3891E2 Time : 0.0 sec. user=mdettweiler [2012-08-23 08:26:58] 751*2^1227003-1 is not prime. Res64: 451A15E5096BF55F Time : 0.0 sec. user=mdettweiler [2012-08-23 08:34:00] 835*2^1227003-1 is not prime. Res64: 8DDAE2B6D88A7A5F Time : 0.0 sec. user=mdettweiler [2012-08-23 08:34:01] 929*2^1227004-1 is not prime. Res64: 5E6D5950DF635FEB Time : 0.0 sec. user=vaughan [2012-08-23 08:45:42] 783*2^1227003-1 is not prime. Res64: 52D5A90919F223BD Time : 0.0 sec. user=mdettweiler [2012-08-23 08:48:02] 697*2^1227005-1 is not prime. Res64: FAD0398BA2FCF665 Time : 0.0 sec. user=mdettweiler [2012-08-23 08:48:02] 741*2^1227005-1 is not prime. Res64: FE71B8A9206F1F32 Time : 0.0 sec. user=mdettweiler [2012-08-23 08:55:09] 787*2^1227005-1 is not prime. Res64: AB218780D88F0AC1 Time : 0.0 sec. user=mdettweiler [2012-08-23 08:55:10] 789*2^1227005-1 is not prime. Res64: 4EC7B02C7AFBE89D Time : 0.0 sec. user=mdettweiler [2012-08-23 08:57:08] 969*2^1227004-1 is not prime. Res64: E7686896DA6A49D1 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:00:38] 691*2^1227005-1 is not prime. Res64: 5D4EE73ADF75D88E Time : 0.0 sec. user=mdettweiler [2012-08-23 09:09:01] 741*2^1227006-1 is not prime. Res64: BBEE6B3685D6CE39 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:09:03] 755*2^1227006-1 is not prime. Res64: D014DB9A985E5C51 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:16:07] 893*2^1227006-1 is not prime. Res64: A4C8A44032BE6575 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:16:07] 903*2^1227006-1 is not prime. Res64: 7229A4B8F14351D6 Time : 0.0 sec. user=vaughan [2012-08-23 09:23:29] 683*2^1227006-1 is not prime. Res64: C58CA06673806DE2 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:30:02] 651*2^1227007-1 is not prime. Res64: 0708FDE82BD22F3A Time : 0.0 sec. user=mdettweiler [2012-08-23 09:30:03] 685*2^1227007-1 is not prime. Res64: 8E064A875BA91839 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:30:56] 1001*2^1227006-1 is not prime. Res64: 4AEF78607E7E2C31 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:35:13] 609*2^1227007-1 is not prime. Res64: 72C01D5E2BA526BD Time : 0.0 sec. user=mdettweiler [2012-08-23 09:37:04] 759*2^1227007-1 is not prime. Res64: 2669FD6FB36F5B78 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:37:04] 765*2^1227007-1 is not prime. Res64: 37C92748F9508E35 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:50:58] 939*2^1227007-1 is not prime. Res64: 732AF68D6E891CCE Time : 0.0 sec. user=mdettweiler [2012-08-23 09:50:58] 635*2^1227008-1 is not prime. Res64: 8CCB3E0CE2FB4F11 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:57:58] 753*2^1227008-1 is not prime. Res64: 5C282CE3FE20C549 Time : 0.0 sec. user=mdettweiler [2012-08-23 09:57:58] 819*2^1227008-1 is not prime. Res64: A0AE81858AADFAAA Time : 0.0 sec. user=vaughan [2012-08-23 10:01:08] 915*2^1227007-1 is not prime. Res64: CD4662DB0E65B748 Time : 0.0 sec. user=mdettweiler [2012-08-23 10:03:45] 657*2^1227008-1 is not prime. Res64: 6777A9F32BCAD8B2 Time : 0.0 sec. user=mdettweiler [2012-08-23 10:08:13] 677*2^1227008-1 is not prime. Res64: 38D861174919AAFF Time : 0.0 sec. user=mdettweiler [2012-08-23 10:11:52] 959*2^1227008-1 is not prime. Res64: 18F5D459E0B81E1D Time : 0.0 sec. user=mdettweiler [2012-08-23 10:11:53] 709*2^1227009-1 is not prime. Res64: EFEBC290784B58F1 Time : 0.0 sec. user=mdettweiler [2012-08-23 10:18:52] 727*2^1227009-1 is not prime. Res64: CD61AF63D3688ED5 Time : 0.0 sec. user=mdettweiler [2012-08-23 10:18:52] 759*2^1227009-1 is not prime. Res64: E34AE16D8707C69D Time : 0.0 sec. user=mdettweiler [2012-08-23 10:33:04] 895*2^1227009-1 is not prime. Res64: C03199CA5BF5F960 Time : 0.0 sec. user=mdettweiler [2012-08-23 10:33:07] 735*2^1227010-1 is not prime. Res64: 12541ADF46F1FD65 Time : 0.0 sec. user=mdettweiler [2012-08-23 10:36:43] 865*2^1227009-1 is not prime. Res64: F36D5EAF0486D6A5 Time : 0.0 sec. user=vaughan [2012-08-23 10:38:51] 787*2^1227009-1 is not prime. Res64: 3BDCC82DC9AD8D6C Time : 0.0 sec. user=mdettweiler [2012-08-23 10:39:25] 885*2^1227009-1 is not prime. Res64: 40F77A7674D1AF1B Time : 0.0 sec. user=mdettweiler [2012-08-23 10:39:44] 765*2^1227010-1 is not prime. Res64: 33B714C8A6D24539 Time : 0.0 sec. user=mdettweiler [2012-08-23 10:39:45] 801*2^1227010-1 is not prime. Res64: 77E6B56A502D76BC Time : 0.0 sec. user=mdettweiler [2012-08-23 10:53:48] 987*2^1227010-1 is not prime. Res64: A245BC5ADF37695A Time : 0.0 sec. user=mdettweiler [2012-08-23 10:53:49] 711*2^1227011-1 is not prime. Res64: 6CD287D82B733146 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:00:16] 883*2^1227011-1 is not prime. Res64: 474E020BFA6E1058 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:00:17] 913*2^1227011-1 is not prime. Res64: CEB7D28A48ECD115 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:08:48] 753*2^1227011-1 is not prime. Res64: 51ED36078538E2E2 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:11:27] 843*2^1227011-1 is not prime. Res64: 80D20AB693A697D3 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:14:20] 993*2^1227011-1 is not prime. Res64: AB6007348052094F Time : 0.0 sec. user=mdettweiler [2012-08-23 11:14:21] 669*2^1227012-1 is not prime. Res64: 6661485A18BEF4F6 Time : 0.0 sec. user=vaughan [2012-08-23 11:16:29] 783*2^1227011-1 is not prime. Res64: B7151072A2570C69 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:20:50] 693*2^1227012-1 is not prime. Res64: 05476C138D65193D Time : 0.0 sec. user=mdettweiler [2012-08-23 11:20:51] 725*2^1227012-1 is not prime. Res64: E9F9C8343864B457 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:35:08] 903*2^1227012-1 is not prime. Res64: 3A4F75E454C3F367 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:35:08] 909*2^1227012-1 is not prime. Res64: D1B592071AE70971 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:41:05] 749*2^1227012-1 is not prime. Res64: E35BD063097BA57D Time : 0.0 sec. user=mdettweiler [2012-08-23 11:41:22] 651*2^1227013-1 is not prime. Res64: 12A18EB1793D2E9F Time : 0.0 sec. user=mdettweiler [2012-08-23 11:41:23] 831*2^1227013-1 is not prime. Res64: A789DC1F3A0E510E Time : 0.0 sec. user=mdettweiler [2012-08-23 11:43:21] 899*2^1227012-1 is not prime. Res64: FA219F7C2F91F903 Time : 0.0 sec. user=vaughan [2012-08-23 11:54:09] 947*2^1227012-1 is not prime. Res64: AC7F549950E08229 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:55:42] 925*2^1227013-1 is not prime. Res64: F1D67B4E55E6A652 Time : 0.0 sec. user=mdettweiler [2012-08-23 11:55:42] 979*2^1227013-1 is not prime. Res64: 069A811360089926 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:01:54] 645*2^1227014-1 is not prime. Res64: BCDFDB8DA8F9B2CA Time : 0.0 sec. user=mdettweiler [2012-08-23 12:01:55] 657*2^1227014-1 is not prime. Res64: 02DD45E5D8788F82 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:13:52] 641*2^1227014-1 is not prime. Res64: 71F149380CB35CDF Time : 0.0 sec. user=mdettweiler [2012-08-23 12:15:57] 665*2^1227014-1 is not prime. Res64: C38106391A2577A8 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:16:13] 897*2^1227014-1 is not prime. Res64: CADF4C321A294029 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:16:14] 741*2^1227015-1 is not prime. Res64: 06FCC5F0EF430F15 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:22:38] 789*2^1227015-1 is not prime. Res64: DDA33C9D793F7CBF Time : 0.0 sec. user=mdettweiler [2012-08-23 12:22:38] 913*2^1227015-1 is not prime. Res64: 731EB5510E8B0A26 Time : 0.0 sec. user=vaughan [2012-08-23 12:31:49] 753*2^1227014-1 is not prime. Res64: FF7495C5A0704588 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:36:46] 973*2^1227015-1 is not prime. Res64: F7D6A1B7639635E9 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:36:46] 629*2^1227016-1 is not prime. Res64: 4AC46E4D5A30B0F4 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:43:13] 869*2^1227016-1 is not prime. Res64: DD847154D0D3D26F Time : 0.0 sec. user=mdettweiler [2012-08-23 12:43:15] 903*2^1227016-1 is not prime. Res64: BF11C6275B3B9119 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:45:06] 955*2^1227015-1 is not prime. Res64: 16F83EF4EABDCD4E Time : 0.0 sec. user=mdettweiler [2012-08-23 12:49:08] 961*2^1227015-1 is not prime. Res64: A62979DD300D83CF Time : 0.0 sec. user=mdettweiler [2012-08-23 12:57:18] 615*2^1227017-1 is not prime. Res64: 9E06855E027FC924 Time : 0.0 sec. user=mdettweiler [2012-08-23 12:57:19] 631*2^1227017-1 is not prime. Res64: 58845E4B1AC37625 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:03:46] 675*2^1227017-1 is not prime. Res64: 3FBDB504B36115AF Time : 0.0 sec. user=mdettweiler [2012-08-23 13:03:49] 795*2^1227017-1 is not prime. Res64: F636772E34249DD1 Time : 0.0 sec. user=vaughan [2012-08-23 13:09:37] 993*2^1227016-1 is not prime. Res64: 1503C329CFB10D87 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:17:18] 799*2^1227017-1 is not prime. Res64: 8BDC7B8B93F2E97A Time : 0.0 sec. user=mdettweiler [2012-08-23 13:17:50] 847*2^1227017-1 is not prime. Res64: 7FE1FE4265DD5B87 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:17:51] 867*2^1227017-1 is not prime. Res64: CDD74923B22C12DC Time : 0.0 sec. user=mdettweiler [2012-08-23 13:20:47] 819*2^1227017-1 is not prime. Res64: 3B8284F1F016B2F2 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:24:25] 985*2^1227017-1 is not prime. Res64: 9CFBDD6F934C3ED7 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:24:25] 605*2^1227018-1 is not prime. Res64: 370B41CBE51ED906 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:38:22] 731*2^1227018-1 is not prime. Res64: 28FF0FE081F731DE Time : 0.0 sec. user=mdettweiler [2012-08-23 13:38:23] 773*2^1227018-1 is not prime. Res64: 552E4AF8660F3766 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:44:56] 815*2^1227018-1 is not prime. Res64: A5E18AFFA1337C99 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:44:57] 971*2^1227018-1 is not prime. Res64: A076851AF9AFE6F4 Time : 0.0 sec. user=vaughan [2012-08-23 13:47:37] 665*2^1227018-1 is not prime. Res64: A7D6E70342C66914 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:49:31] 681*2^1227018-1 is not prime. Res64: 30C9FF85F4BF7167 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:52:34] 803*2^1227018-1 is not prime. Res64: 721802BD350DDEFF Time : 0.0 sec. user=mdettweiler [2012-08-23 13:58:58] 603*2^1227019-1 is not prime. Res64: 70680661138EBFE6 Time : 0.0 sec. user=mdettweiler [2012-08-23 13:58:58] 619*2^1227019-1 is not prime. Res64: DB8BB81B2D99B554 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:05:29] 793*2^1227019-1 is not prime. Res64: AAA501D2C587C134 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:05:30] 951*2^1227019-1 is not prime. Res64: 6B07CCB1CE1328E9 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:19:30] 875*2^1227020-1 is not prime. Res64: 139D2CCBAC3918A2 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:19:31] 679*2^1227021-1 is not prime. Res64: F3E9176ED0261D2F Time : 0.0 sec. user=mdettweiler [2012-08-23 14:21:34] 825*2^1227020-1 is not prime. Res64: 8BD5256F56D73E7A Time : 0.0 sec. user=mdettweiler [2012-08-23 14:24:37] 843*2^1227020-1 is not prime. Res64: BFFABA3CC952F382 Time : 0.0 sec. user=vaughan [2012-08-23 14:25:17] 767*2^1227020-1 is not prime. Res64: CB4F5FC4DD268FDE Time : 0.0 sec. user=mdettweiler [2012-08-23 14:26:03] 717*2^1227021-1 is not prime. Res64: 6B18DED95844BD7A Time : 0.0 sec. user=mdettweiler [2012-08-23 14:26:04] 805*2^1227021-1 is not prime. Res64: F2FE9BBF14287AC7 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:40:05] 861*2^1227021-1 is not prime. Res64: C8624524815487C1 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:40:05] 877*2^1227021-1 is not prime. Res64: 0BF786D1D3286519 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:46:35] 623*2^1227022-1 is not prime. Res64: F4CD72B84A53B017 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:46:36] 665*2^1227022-1 is not prime. Res64: EC79984FC0F732BE Time : 0.0 sec. user=mdettweiler [2012-08-23 14:53:57] 889*2^1227021-1 is not prime. Res64: 0052C864A4328704 Time : 0.0 sec. user=mdettweiler [2012-08-23 14:56:38] 895*2^1227021-1 is not prime. Res64: 93A27B9017D0494E Time : 0.0 sec. user=mdettweiler [2012-08-23 15:00:37] 813*2^1227022-1 is not prime. Res64: 6259BEC0268D1CE1 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:00:38] 885*2^1227022-1 is not prime. Res64: 4002CC9239C889B9 Time : 0.0 sec. user=vaughan [2012-08-23 15:02:58] 955*2^1227021-1 is not prime. Res64: 72BEBC383F648919 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:07:07] 981*2^1227022-1 is not prime. Res64: CEE9F3718CBF833D Time : 0.0 sec. user=mdettweiler [2012-08-23 15:07:11] 643*2^1227023-1 is not prime. Res64: 480F6A18852796D7 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:21:10] 685*2^1227023-1 is not prime. Res64: BB63D11EF84DF8F0 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:21:10] 693*2^1227023-1 is not prime. Res64: E3D5A3C84CDF3072 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:25:42] 649*2^1227023-1 is not prime. Res64: BB717FC8C9EDE1E2 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:27:46] 823*2^1227023-1 is not prime. Res64: 0AADC47CC9CD519F Time : 0.0 sec. user=mdettweiler [2012-08-23 15:27:46] 885*2^1227023-1 is not prime. Res64: D323CAE122036F8A Time : 0.0 sec. user=mdettweiler [2012-08-23 15:29:04] 673*2^1227023-1 is not prime. Res64: BDF6247C939C3C08 Time : 0.0 sec. user=vaughan [2012-08-23 15:40:36] 811*2^1227023-1 is not prime. Res64: 984B9E385EF7E031 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:41:43] 915*2^1227023-1 is not prime. Res64: 850C8D80DEC4DEBA Time : 0.0 sec. user=mdettweiler [2012-08-23 15:41:44] 629*2^1227024-1 is not prime. Res64: 43B8F6E7FE93D528 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:48:18] 809*2^1227024-1 is not prime. Res64: 8E1CA89AD44107CF Time : 0.0 sec. user=mdettweiler [2012-08-23 15:48:19] 825*2^1227024-1 is not prime. Res64: 241E1C281EEBBE63 Time : 0.0 sec. user=mdettweiler [2012-08-23 15:57:57] 789*2^1227024-1 is not prime. Res64: 11EBC54452856445 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:01:21] 899*2^1227024-1 is not prime. Res64: ADD1AE9414AB502C Time : 0.0 sec. user=mdettweiler [2012-08-23 16:02:15] 917*2^1227024-1 is not prime. Res64: E4871F5829F06AE5 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:02:16] 947*2^1227024-1 is not prime. Res64: C3A033DEF17597BA Time : 0.0 sec. user=mdettweiler [2012-08-23 16:08:51] 729*2^1227025-1 is not prime. Res64: 624E5D1035B2A869 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:08:53] 801*2^1227025-1 is not prime. Res64: 9A1A5183ED76EEC3 Time : 0.0 sec. user=vaughan [2012-08-23 16:18:17] 909*2^1227024-1 is not prime. Res64: 8F6D75324303D9BB Time : 0.0 sec. user=mdettweiler [2012-08-23 16:22:48] 623*2^1227026-1 is not prime. Res64: 318401236A27FC1B Time : 0.0 sec. user=mdettweiler [2012-08-23 16:22:49] 677*2^1227026-1 is not prime. Res64: 27AABE956B9C4AD8 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:28:55] 871*2^1227025-1 is not prime. Res64: 967BB4378B465651 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:29:40] 773*2^1227026-1 is not prime. Res64: 4497D46F8A5A9EE0 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:29:41] 813*2^1227026-1 is not prime. Res64: 06A22C617730ACF5 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:34:38] 937*2^1227025-1 is not prime. Res64: 1B8EA31F6988E992 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:43:22] 621*2^1227027-1 is not prime. Res64: 89C1AA075065ABC6 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:43:23] 633*2^1227027-1 is not prime. Res64: B1711D0810934532 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:50:13] 691*2^1227027-1 is not prime. Res64: B98A0CF1A49EE094 Time : 0.0 sec. user=mdettweiler [2012-08-23 16:50:14] 781*2^1227027-1 is not prime. Res64: A53F3D158E654051 Time : 0.0 sec. user=vaughan [2012-08-23 16:56:11] 861*2^1227026-1 is not prime. Res64: E9C150971A25B3AC Time : 0.0 sec. user=mdettweiler [2012-08-23 17:01:32] 675*2^1227027-1 is not prime. Res64: 7326067472A56191 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:03:56] 951*2^1227027-1 is not prime. Res64: C26C372B02945E17 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:03:57] 961*2^1227027-1 is not prime. Res64: DA9B53DAA7B2DE82 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:06:01] 835*2^1227027-1 is not prime. Res64: DD6B06581B8E3591 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:10:48] 973*2^1227027-1 is not prime. Res64: 705937D99FF68B64 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:10:51] 603*2^1227028-1 is not prime. Res64: DC7C25D2E53A9218 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:24:30] 825*2^1227028-1 is not prime. Res64: 7CE3CD0C2E93BA52 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:24:30] 987*2^1227028-1 is not prime. Res64: 2616A61F4E948DE9 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:31:32] 675*2^1227029-1 is not prime. Res64: 6448EC07F69A5F84 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:31:33] 685*2^1227029-1 is not prime. Res64: 20EC2FF310E0C797 Time : 0.0 sec. user=vaughan [2012-08-23 17:33:51] 629*2^1227028-1 is not prime. Res64: 21097AEA2FD36865 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:34:46] 813*2^1227028-1 is not prime. Res64: 6A5A3A4C89D67450 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:37:10] 657*2^1227029-1 is not prime. Res64: DDFEA557F67CD932 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:45:05] 727*2^1227029-1 is not prime. Res64: F58FC15C6C0BEC87 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:45:05] 825*2^1227029-1 is not prime. Res64: B0EF006207AA1302 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:52:07] 957*2^1227029-1 is not prime. Res64: 31F1B5E14A97C5D9 Time : 0.0 sec. user=mdettweiler [2012-08-23 17:52:07] 985*2^1227029-1 is not prime. Res64: A23F76ADC8CDD719 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:05:38] 619*2^1227031-1 is not prime. Res64: E576199C10DD93B7 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:05:40] 841*2^1227031-1 is not prime. Res64: 8B4BE52F9E1F38A6 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:06:55] 791*2^1227030-1 is not prime. Res64: 4F71574B8E9CF801 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:09:10] 873*2^1227030-1 is not prime. Res64: 36EA1BAE6EFA9CE1 Time : 0.0 sec. user=vaughan [2012-08-23 18:11:30] 615*2^1227030-1 is not prime. Res64: 04DA6F96D198EE84 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:12:39] 885*2^1227031-1 is not prime. Res64: 67993CFEDAC3D9D2 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:12:40] 901*2^1227031-1 is not prime. Res64: 8A6B0223BDE9896E Time : 0.0 sec. user=mdettweiler [2012-08-23 18:26:32] 629*2^1227032-1 is not prime. Res64: 9029F9118DD7187D Time : 0.0 sec. user=mdettweiler [2012-08-23 18:26:33] 689*2^1227032-1 is not prime. Res64: C0208C90B4AB57C9 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:33:13] 657*2^1227033-1 is not prime. Res64: B5494FA7B0D8F0E8 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:33:14] 681*2^1227033-1 is not prime. Res64: 3F98BFE2A01D93CA Time : 0.0 sec. user=mdettweiler [2012-08-23 18:38:40] 755*2^1227032-1 is not prime. Res64: 5608041B9C794161 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:40:39] 833*2^1227032-1 is not prime. Res64: C11DB9500C48BA95 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:47:25] 691*2^1227033-1 is not prime. Res64: C6E894BAD03FBE0E Time : 0.0 sec. user=mdettweiler [2012-08-23 18:47:26] 751*2^1227033-1 is not prime. Res64: F66F45C05A16CE6F Time : 0.0 sec. user=vaughan [2012-08-23 18:49:11] 903*2^1227032-1 is not prime. Res64: E0059EDEAC4E9166 Time : 0.0 sec. user=mdettweiler [2012-08-23 18:53:47] 789*2^1227033-1 is not prime. Res64: DD832F664EAB410E Time : 0.0 sec. user=mdettweiler [2012-08-23 18:53:48] 819*2^1227033-1 is not prime. Res64: 675A9A0E38746E5F Time : 0.0 sec. user=mdettweiler [2012-08-23 19:08:00] 677*2^1227034-1 is not prime. Res64: 8A307E74C9956EBE Time : 0.0 sec. user=mdettweiler [2012-08-23 19:08:03] 695*2^1227034-1 is not prime. Res64: 6A4D753E7E10BF1D Time : 0.0 sec. user=mdettweiler [2012-08-23 19:08:19] 645*2^1227034-1 is not prime. Res64: D5252908A463E0D6 Time : 0.0 sec. user=mdettweiler [2012-08-23 19:10:14] 663*2^1227034-1 is not prime. Res64: 0CA009C2D560F27F Time : 0.0 sec. user=mdettweiler [2012-08-23 19:14:20] 887*2^1227034-1 is not prime. Res64: 5AAA25A6B5C17DD5 Time : 0.0 sec. user=mdettweiler [2012-08-23 19:14:21] 923*2^1227034-1 is not prime. Res64: BA514FBC387708DF Time : 0.0 sec. user=vaughan [2012-08-23 19:26:53] 831*2^1227034-1 is not prime. Res64: A26948F7FAD07414 Time : 0.0 sec. user=mdettweiler [2012-08-23 19:28:48] 655*2^1227035-1 is not prime. Res64: 602141D268D2A23F Time : 0.0 sec. user=mdettweiler [2012-08-23 19:28:49] 693*2^1227035-1 is not prime. Res64: 354A8EF1FA2F5ACD Time : 0.0 sec. user=mdettweiler [2012-08-23 19:34:54] 909*2^1227035-1 is not prime. Res64: 0727049CDD55E51A Time : 0.0 sec. user=mdettweiler [2012-08-23 19:34:55] 921*2^1227035-1 is not prime. Res64: 3FACEE0B40A10432 Time : 0.0 sec. user=mdettweiler [2012-08-23 19:38:02] 759*2^1227035-1 is not prime. Res64: 54336081EEA5DCFF Time : 0.0 sec. user=mdettweiler [2012-08-23 19:39:56] 895*2^1227035-1 is not prime. Res64: 29F410C4CFC80E67 Time : 0.0 sec. user=mdettweiler [2012-08-23 19:49:21] 999*2^1227035-1 is not prime. Res64: F1DDD9ED3D710D00 Time : 0.0 sec. user=mdettweiler [2012-08-23 19:49:21] 705*2^1227036-1 is not prime. Res64: 46B52E25C4CD2F7E Time : 0.0 sec. user=mdettweiler [2012-08-23 19:55:27] 719*2^1227036-1 is not prime. Res64: 4646F586792D6A9B Time : 0.0 sec. user=mdettweiler [2012-08-23 19:55:27] 879*2^1227036-1 is not prime. Res64: 710FBD530D085D07 Time : 0.0 sec. user=vaughan [2012-08-23 20:04:45] 963*2^1227035-1 is not prime. Res64: 28A6503EF54F66D0 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:07:45] 975*2^1227036-1 is not prime. Res64: 3F35402C6424FB7B Time : 0.0 sec. user=mdettweiler [2012-08-23 20:09:35] 639*2^1227037-1 is not prime. Res64: 8E0D7FD70DA77348 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:09:53] 649*2^1227037-1 is not prime. Res64: 5FA7D31C9E73B157 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:09:54] 661*2^1227037-1 is not prime. Res64: C39045C0365645E5 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:16:00] 741*2^1227037-1 is not prime. Res64: 136624F667D0F6A6 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:16:01] 751*2^1227037-1 is not prime. Res64: 6B331849853FB8B3 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:30:29] 931*2^1227037-1 is not prime. Res64: B62B7DED96057AAA Time : 0.0 sec. user=mdettweiler [2012-08-23 20:30:29] 955*2^1227037-1 is not prime. Res64: 0B04F362CF50DF84 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:36:32] 773*2^1227038-1 is not prime. Res64: 2270B0250712FE7D Time : 0.0 sec. user=mdettweiler [2012-08-23 20:36:33] 867*2^1227038-1 is not prime. Res64: 82D36BDA83831D79 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:37:32] 777*2^1227037-1 is not prime. Res64: 8FDE58D83A606A98 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:39:15] 829*2^1227037-1 is not prime. Res64: 2F95E19870BCC4D5 Time : 0.0 sec. user=vaughan [2012-08-23 20:42:54] 759*2^1227037-1 is not prime. Res64: 809A29981DA6EA70 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:51:03] 887*2^1227038-1 is not prime. Res64: CF9CC478357DE367 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:51:03] 927*2^1227038-1 is not prime. Res64: 61A6393325296718 Time : 0.0 sec. user=mdettweiler [2012-08-23 20:57:05] 609*2^1227039-1 is not prime. Res64: DB28EF201F48170D Time : 0.0 sec. user=mdettweiler [2012-08-23 20:57:05] 613*2^1227039-1 is not prime. Res64: 7634D916E48A1F19 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:07:02] 895*2^1227039-1 is not prime. Res64: 01F2F8B568E72B35 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:08:46] 713*2^1227040-1 is not prime. Res64: AFB1F6EAF28DB298 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:11:35] 845*2^1227040-1 is not prime. Res64: 46CEBBF6078C43D3 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:11:36] 933*2^1227040-1 is not prime. Res64: 9DBE3F1DC8C7745F Time : 0.0 sec. user=mdettweiler [2012-08-23 21:17:37] 975*2^1227040-1 is not prime. Res64: F19EFCCAFFAB80F4 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:17:38] 615*2^1227041-1 is not prime. Res64: 579E93DDDB384C95 Time : 0.0 sec. user=vaughan [2012-08-23 21:20:35] 797*2^1227040-1 is not prime. Res64: 9D72EAA95D685350 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:32:09] 677*2^1227042-1 is not prime. Res64: 216CC3E85847112B Time : 0.0 sec. user=mdettweiler [2012-08-23 21:32:09] 681*2^1227042-1 is not prime. Res64: 24C011B5C64ED860 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:36:53] 991*2^1227041-1 is not prime. Res64: 94A40C3FD43343FE Time : 0.0 sec. user=mdettweiler [2012-08-23 21:38:10] 957*2^1227042-1 is not prime. Res64: 9452FA1BA5ED3739 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:38:11] 619*2^1227043-1 is not prime. Res64: 782404078A1AE4F7 Time : 0.0 sec. user=mdettweiler [2012-08-23 21:38:20] 657*2^1227042-1 is not prime. Res64: 46A6E41FE559B2BE Time : 0.0 sec. user=mdettweiler [2012-08-23 21:52:41] 859*2^1227043-1 is not prime. Res64: DEC3E419B663059D Time : 0.0 sec. user=mdettweiler [2012-08-23 21:52:41] 861*2^1227043-1 is not prime. Res64: 831476C53E3B8CAE Time : 0.0 sec. user=vaughan [2012-08-23 21:58:13] 855*2^1227043-1 is not prime. Res64: 21413875C12F3F2D Time : 0.0 sec. user=mdettweiler [2012-08-23 21:58:42] 985*2^1227043-1 is not prime. Res64: E48B599B36A45FFE Time : 0.0 sec. user=mdettweiler [2012-08-23 21:58:43] 999*2^1227043-1 is not prime. Res64: BCA404158ECF251C Time : 0.0 sec. user=mdettweiler [2012-08-23 22:06:27] 951*2^1227043-1 is not prime. Res64: 78634295C42A8490 Time : 0.0 sec. user=mdettweiler [2012-08-23 22:07:57] 683*2^1227044-1 is not prime. Res64: 74F948FDB05B2A27 Time : 0.0 sec. user=mdettweiler [2012-08-23 22:13:12] 719*2^1227044-1 is not prime. Res64: CC9E4C3111FAE77B Time : 0.0 sec. user=mdettweiler [2012-08-23 22:13:14] 837*2^1227044-1 is not prime. Res64: 33B233C2F8AD971E Time : 0.0 sec. user=mdettweiler [2012-08-23 22:19:14] 903*2^1227044-1 is not prime. Res64: 2ABD395A53DE8F85 Time : 0.0 sec. user=mdettweiler [2012-08-23 22:19:15] 995*2^1227044-1 is not prime. Res64: E96FAE5C5A163446 Time : 0.0 sec. user=mdettweiler [2012-08-23 22:33:48] 805*2^1227045-1 is not prime. Res64: B5C6A0DD217C1205 Time : 0.0 sec. user=mdettweiler [2012-08-23 22:33:49] 819*2^1227045-1 is not prime. Res64: DE21DE94442C632F Time : 0.0 sec. user=vaughan [2012-08-23 22:35:52] 855*2^1227044-1 is not prime. Res64: 05D5BFA849B50F5D Time : 0.0 sec. user=mdettweiler [2012-08-23 22:36:14] 679*2^1227045-1 is not prime. Res64: BD9D4C13DC21D6A3 Time : 0.0 sec. user=mdettweiler [2012-08-23 22:37:35] 751*2^1227045-1 is not prime. Res64: D2B5225034670F22 Time : 0.0 sec. user=mdettweiler [2012-08-23 22:39:49] 891*2^1227045-1 is not prime. Res64: B36BF29CC0FA4A9E Time : 0.0 sec. user=mdettweiler [2012-08-23 22:39:49] 927*2^1227045-1 is not prime. Res64: 9D9DDBCE91A8093F Time : 0.0 sec. user=mdettweiler [2012-08-23 22:54:20] 991*2^1227045-1 is not prime. Res64: 54E6F35EF55A404E Time : 0.0 sec. user=mdettweiler [2012-08-23 22:54:21] 645*2^1227046-1 is not prime. Res64: 66A56231C292A2AD Time : 0.0 sec. user=mdettweiler [2012-08-23 23:00:21] 945*2^1227046-1 is not prime. Res64: F10C7F35489D987C Time : 0.0 sec. user=mdettweiler [2012-08-23 23:00:22] 601*2^1227047-1 is not prime. Res64: 732DEC2158A91083 Time : 0.0 sec. user=mdettweiler [2012-08-23 23:05:48] 843*2^1227046-1 is not prime. Res64: 798422B3383293BB Time : 0.0 sec. user=mdettweiler [2012-08-23 23:07:06] 933*2^1227046-1 is not prime. Res64: 649A3D63A1A92EC3 Time : 0.0 sec. user=vaughan [2012-08-23 23:13:33] 657*2^1227046-1 is not prime. Res64: E1F3C10B43AC77D1 Time : 0.0 sec. user=mdettweiler [2012-08-23 23:14:52] 759*2^1227047-1 is not prime. Res64: ED7E522723558E6A Time : 0.0 sec. user=mdettweiler [2012-08-23 23:14:52] 805*2^1227047-1 is not prime. Res64: 233738264ADCD658 Time : 0.0 sec. user=mdettweiler [2012-08-23 23:20:54] 865*2^1227047-1 is not prime. Res64: C32A29F3208E9A3B Time : 0.0 sec. user=mdettweiler [2012-08-23 23:20:54] 949*2^1227047-1 is not prime. Res64: 3BC72449A3C5F75D Time : 0.0 sec. user=mdettweiler [2012-08-23 23:35:23] 767*2^1227048-1 is not prime. Res64: DC0361024EBA2BFD Time : 0.0 sec. user=mdettweiler [2012-08-23 23:35:24] 799*2^1227049-1 is not prime. Res64: D17AEF7B45E70A0D Time : 0.0 sec. user=mdettweiler [2012-08-23 23:35:30] 955*2^1227047-1 is not prime. Res64: A4A4377638644A4A Time : 0.0 sec. user=mdettweiler [2012-08-23 23:36:41] 707*2^1227048-1 is not prime. Res64: BCA03A1AA3742403 Time : 0.0 sec. user=mdettweiler [2012-08-23 23:41:28] 951*2^1227049-1 is not prime. Res64: A9C1C045E6F53415 Time : 0.0 sec. user=mdettweiler [2012-08-23 23:41:29] 623*2^1227050-1 is not prime. Res64: D58E47F33A6E260E Time : 0.0 sec. user=vaughan [2012-08-23 23:51:15] 713*2^1227048-1 is not prime. Res64: 4F0E3247DDEA1CC0 Time : 0.0 sec. user=mdettweiler [2012-08-23 23:55:54] 677*2^1227050-1 is not prime. Res64: 9DCEB51BA7369330 Time : 0.0 sec. user=mdettweiler [2012-08-23 23:55:55] 687*2^1227050-1 is not prime. Res64: 5B17331F33286EF8 Time : 0.0 sec.