user=mdettweiler [2012-07-25 00:05:39] 817*2^1224733-1 is not prime. Res64: A99C8BFCFB78AC10 Time : 0.0 sec. user=mdettweiler [2012-07-25 00:05:40] 815*2^1224734-1 is not prime. Res64: D6C2AF48DF2DFA3B Time : 0.0 sec. user=mdettweiler [2012-07-25 00:12:41] 747*2^1224733-1 is not prime. Res64: C528FD344BD6D38E Time : 0.0 sec. user=mdettweiler [2012-07-25 00:14:16] 801*2^1224733-1 is not prime. Res64: 9A737F99D0E62073 Time : 0.0 sec. user=mdettweiler [2012-07-25 00:16:39] 923*2^1224734-1 is not prime. Res64: 20B9D3A32FA2448E Time : 0.0 sec. user=mdettweiler [2012-07-25 00:16:44] 935*2^1224734-1 is not prime. Res64: 113A6AE66ED4A610 Time : 0.0 sec. user=vaughan [2012-07-25 00:23:03] 983*2^1224732-1 is not prime. Res64: 2CE369C2D2FB8F71 Time : 0.0 sec. user=mdettweiler [2012-07-25 00:26:21] 951*2^1224734-1 is not prime. Res64: 6E816E47F5ED8B45 Time : 0.0 sec. user=mdettweiler [2012-07-25 00:26:21] 953*2^1224734-1 is not prime. Res64: 94FDD453D6B8CC6F Time : 0.0 sec. user=mdettweiler [2012-07-25 00:37:29] 763*2^1224735-1 is not prime. Res64: E1B05FBAF3E17401 Time : 0.0 sec. user=mdettweiler [2012-07-25 00:37:29] 823*2^1224735-1 is not prime. Res64: 995C7632C6CA177B Time : 0.0 sec. user=mdettweiler [2012-07-25 00:43:22] 705*2^1224735-1 is not prime. Res64: 8F5DC03422F33B36 Time : 0.0 sec. user=mdettweiler [2012-07-25 00:44:55] 735*2^1224735-1 is not prime. Res64: 2D3B5A3DBF6697AD Time : 0.0 sec. user=mdettweiler [2012-07-25 00:46:59] 933*2^1224735-1 is not prime. Res64: 2AC976E1BFB81E1A Time : 0.0 sec. user=mdettweiler [2012-07-25 00:47:00] 961*2^1224735-1 is not prime. Res64: AE16C4699D53AF6D Time : 0.0 sec. user=mdettweiler [2012-07-25 00:58:07] 963*2^1224735-1 is not prime. Res64: 50CD0F593906D58D Time : 0.0 sec. user=mdettweiler [2012-07-25 00:58:08] 609*2^1224736-1 is not prime. Res64: 19444BDA69E3E53C Time : 0.0 sec. user=mdettweiler [2012-07-25 01:07:37] 695*2^1224736-1 is not prime. Res64: DD02C25EC3C98AA1 Time : 0.0 sec. user=mdettweiler [2012-07-25 01:07:38] 905*2^1224736-1 is not prime. Res64: 6254DE10866F51DB Time : 0.0 sec. user=mdettweiler [2012-07-25 01:13:59] 623*2^1224736-1 is not prime. Res64: 628FE8D2D843DF14 Time : 0.0 sec. user=mdettweiler [2012-07-25 01:15:37] 693*2^1224736-1 is not prime. Res64: AFB339E72B47159C Time : 0.0 sec. user=mdettweiler [2012-07-25 01:18:46] 909*2^1224736-1 is not prime. Res64: E250AE321D1DF96D Time : 0.0 sec. user=mdettweiler [2012-07-25 01:18:47] 619*2^1224737-1 is not prime. Res64: 974B19EC0E0834BF Time : 0.0 sec. user=mdettweiler [2012-07-25 01:28:20] 711*2^1224737-1 is not prime. Res64: C20606DE21FEC55D Time : 0.0 sec. user=mdettweiler [2012-07-25 01:28:21] 727*2^1224737-1 is not prime. Res64: E52DAB8EE32C458B Time : 0.0 sec. user=mdettweiler [2012-07-25 01:39:25] 831*2^1224737-1 is not prime. Res64: 0553B3E9F6D8BE0E Time : 0.0 sec. user=mdettweiler [2012-07-25 01:39:25] 861*2^1224737-1 is not prime. Res64: 44A0A17558CAFBED Time : 0.0 sec. user=mdettweiler [2012-07-25 01:44:54] 759*2^1224737-1 is not prime. Res64: 67CD49C828FC229B Time : 0.0 sec. user=mdettweiler [2012-07-25 01:46:12] 829*2^1224737-1 is not prime. Res64: 767A9930BBE69280 Time : 0.0 sec. user=mdettweiler [2012-07-25 01:49:22] 985*2^1224737-1 is not prime. Res64: 4A0ED25B4FE52B59 Time : 0.0 sec. user=mdettweiler [2012-07-25 01:49:23] 905*2^1224738-1 is not prime. Res64: 6398BBD8D490AFBA Time : 0.0 sec. user=mdettweiler [2012-07-25 02:00:29] 921*2^1224738-1 is not prime. Res64: EC7A4697F562745C Time : 0.0 sec. user=mdettweiler [2012-07-25 02:00:30] 923*2^1224738-1 is not prime. Res64: D3F8C181E3552B54 Time : 0.0 sec. user=mdettweiler [2012-07-25 02:10:11] 601*2^1224739-1 is not prime. Res64: 5153678382FABB5E Time : 0.0 sec. user=mdettweiler [2012-07-25 02:10:12] 619*2^1224739-1 is not prime. Res64: B898623AEA61B8AF Time : 0.0 sec. user=mdettweiler [2012-07-25 02:15:37] 957*2^1224738-1 is not prime. Res64: 6CE6B4BF7E803F40 Time : 0.0 sec. user=mdettweiler [2012-07-25 02:17:25] 977*2^1224738-1 is not prime. Res64: EACB6EA178EEAA13 Time : 0.0 sec. user=mdettweiler [2012-07-25 02:21:16] 681*2^1224739-1 is not prime. Res64: 4B4CF7E0A53357DC Time : 0.0 sec. user=mdettweiler [2012-07-25 02:21:16] 843*2^1224739-1 is not prime. Res64: DEA25449FD99F0EE Time : 0.0 sec. user=mdettweiler [2012-07-25 02:30:59] 975*2^1224739-1 is not prime. Res64: 1242658FB42AF419 Time : 0.0 sec. user=mdettweiler [2012-07-25 02:31:00] 615*2^1224740-1 is not prime. Res64: 85D1F196100C31DD Time : 0.0 sec. user=mdettweiler [2012-07-25 02:41:57] 687*2^1224740-1 is not prime. Res64: CB97A99DA582C673 Time : 0.0 sec. user=mdettweiler [2012-07-25 02:41:58] 753*2^1224740-1 is not prime. Res64: 3CE59219EE75FDC6 Time : 0.0 sec. user=mdettweiler [2012-07-25 02:45:01] 665*2^1224740-1 is not prime. Res64: B2B61DAA29A696DA Time : 0.0 sec. user=gd_barnes [2012-07-25 02:45:04] 629*2^1224740-1 is not prime. Res64: 314D6C1A9CCC1096 Time : 0.0 sec. user=gd_barnes [2012-07-25 02:45:15] 635*2^1224740-1 is not prime. Res64: 98BCC4BAB2EF9B27 Time : 0.0 sec. user=mdettweiler [2012-07-25 02:51:42] 767*2^1224740-1 is not prime. Res64: D8E0DBA98FBE787D Time : 0.0 sec. user=mdettweiler [2012-07-25 02:51:43] 657*2^1224741-1 is not prime. Res64: 73A9B201E65B8888 Time : 0.0 sec. user=vaughan [2012-07-25 03:02:29] 859*2^1224739-1 is not prime. Res64: 97F7CA2190C8B691 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:02:48] 727*2^1224741-1 is not prime. Res64: 0673A4D0D79481BD Time : 0.0 sec. user=mdettweiler [2012-07-25 03:02:49] 847*2^1224741-1 is not prime. Res64: 5BA8A7B02DC04954 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:12:26] 877*2^1224741-1 is not prime. Res64: 3D060B37A81A9CBC Time : 0.0 sec. user=mdettweiler [2012-07-25 03:12:28] 907*2^1224741-1 is not prime. Res64: E1595568DE116642 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:15:29] 849*2^1224741-1 is not prime. Res64: FF0F6E117B6F10B7 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:19:35] 861*2^1224741-1 is not prime. Res64: 598D3CC1C648D3E0 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:23:31] 949*2^1224741-1 is not prime. Res64: 268668CCD4BAA7B0 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:23:32] 991*2^1224741-1 is not prime. Res64: 1CEF82684E4A807E Time : 0.0 sec. user=mdettweiler [2012-07-25 03:33:10] 645*2^1224742-1 is not prime. Res64: 83FD9B539D04FCA5 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:33:11] 681*2^1224742-1 is not prime. Res64: 5287112DC66C0898 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:44:11] 917*2^1224742-1 is not prime. Res64: 94B6012D3E43468E Time : 0.0 sec. user=mdettweiler [2012-07-25 03:44:12] 987*2^1224742-1 is not prime. Res64: 1402AE0DFE667BEB Time : 0.0 sec. user=gd_barnes [2012-07-25 03:45:55] 705*2^1224742-1 is not prime. Res64: 6B97214157EEB1E9 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:46:16] 815*2^1224742-1 is not prime. Res64: 40CB95299D5160E4 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:50:21] 891*2^1224742-1 is not prime. Res64: 60ED81AFC4EC47CB Time : 0.0 sec. user=mdettweiler [2012-07-25 03:53:58] 993*2^1224539-1 is not prime. Res64: B569ED8A7A0BB333 Time : 0.0 sec. user=mdettweiler [2012-07-25 03:53:58] 857*2^1224540-1 is not prime. Res64: 1A50B89B1892D4A7 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:04:53] 761*2^1224542-1 is not prime. Res64: BA93B1B79B95F10E Time : 0.0 sec. user=mdettweiler [2012-07-25 04:04:54] 791*2^1224542-1 is not prime. Res64: 75EF7263588D6D50 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:14:36] 885*2^1224542-1 is not prime. Res64: 5DE2288E4AAAADFA Time : 0.0 sec. user=mdettweiler [2012-07-25 04:14:38] 887*2^1224542-1 is not prime. Res64: 28518493005C4780 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:17:06] 815*2^1224542-1 is not prime. Res64: 4FCF4DC35B19564D Time : 0.0 sec. user=mdettweiler [2012-07-25 04:21:08] 843*2^1224542-1 is not prime. Res64: 1A764EF608B5F43E Time : 0.0 sec. user=mdettweiler [2012-07-25 04:25:31] 903*2^1224542-1 is not prime. Res64: FAFAD0C55F2D53DD Time : 0.0 sec. user=mdettweiler [2012-07-25 04:25:31] 613*2^1224543-1 is not prime. Res64: F2966FCC3D754E70 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:35:53] 685*2^1224543-1 is not prime. Res64: 090EEC5F2E9B6388 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:35:56] 703*2^1224543-1 is not prime. Res64: CF9412F9030B7288 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:46:07] 815*2^1224546-1 is not prime. Res64: DB2068C9C707D632 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:46:07] 851*2^1224546-1 is not prime. Res64: B2CC7BB1A456F225 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:47:48] 833*2^1224544-1 is not prime. Res64: 3C150A484399B455 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:51:42] 803*2^1224546-1 is not prime. Res64: DEF7EC806DD0B9E1 Time : 0.0 sec. user=mdettweiler [2012-07-25 04:57:01] 793*2^1224547-1 is not prime. Res64: D2B10ACB8403DEBC Time : 0.0 sec. user=mdettweiler [2012-07-25 04:57:02] 843*2^1224547-1 is not prime. Res64: EA40467EA2E68EC3 Time : 0.0 sec. user=gd_barnes [2012-07-25 05:02:19] 1001*2^1224546-1 is not prime. Res64: 5406A6D741824E15 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:06:47] 925*2^1224547-1 is not prime. Res64: 06D6AD9FEC2CF9FF Time : 0.0 sec. user=mdettweiler [2012-07-25 05:06:50] 951*2^1224547-1 is not prime. Res64: 99A0E4A83D5CBCCC Time : 0.0 sec. user=mdettweiler [2012-07-25 05:17:39] 767*2^1224548-1 is not prime. Res64: D0FC8C2FADF97C76 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:17:39] 855*2^1224548-1 is not prime. Res64: 5ADD94E5773BE4FE Time : 0.0 sec. user=mdettweiler [2012-07-25 05:18:29] 623*2^1224548-1 is not prime. Res64: 1380A48DABAA0E4E Time : 0.0 sec. user=mdettweiler [2012-07-25 05:22:20] 707*2^1224548-1 is not prime. Res64: 966EF7AAC3D65D6C Time : 0.0 sec. user=mdettweiler [2012-07-25 05:27:33] 945*2^1224548-1 is not prime. Res64: 14915E27AC1534AB Time : 0.0 sec. user=mdettweiler [2012-07-25 05:27:34] 953*2^1224548-1 is not prime. Res64: 9A3656DFCAE2CFA9 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:38:21] 969*2^1224548-1 is not prime. Res64: AE497A8A1F567B0E Time : 0.0 sec. user=mdettweiler [2012-07-25 05:38:21] 603*2^1224743-1 is not prime. Res64: 2DCCEB086E792C34 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:48:12] 675*2^1224743-1 is not prime. Res64: 00B2717C35ADF3AE Time : 0.0 sec. user=mdettweiler [2012-07-25 05:48:12] 679*2^1224743-1 is not prime. Res64: 4FA772C78B9F0DE9 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:49:07] 615*2^1224743-1 is not prime. Res64: 3A81D4023934D804 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:53:02] 663*2^1224743-1 is not prime. Res64: 0BB1316A0DDCFF34 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:59:03] 811*2^1224743-1 is not prime. Res64: 832C0A24E281FB59 Time : 0.0 sec. user=mdettweiler [2012-07-25 05:59:04] 895*2^1224743-1 is not prime. Res64: DEE4F324D4CED663 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:08:51] 949*2^1224743-1 is not prime. Res64: AC3D373C765326E2 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:08:53] 955*2^1224743-1 is not prime. Res64: 1AB55105E7C0BF56 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:19:43] 663*2^1224744-1 is not prime. Res64: ED78940F4EC698C5 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:19:43] 719*2^1224744-1 is not prime. Res64: 6A12FDD7E7323BBD Time : 0.0 sec. user=mdettweiler [2012-07-25 06:19:44] 981*2^1224743-1 is not prime. Res64: B1CAF39C1A330DE3 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:23:37] 609*2^1224744-1 is not prime. Res64: 5EF984C7290D7DA8 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:29:48] 723*2^1224744-1 is not prime. Res64: 4FEB5BA315E494D9 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:29:49] 825*2^1224744-1 is not prime. Res64: 362E511D7B84C124 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:40:23] 607*2^1224745-1 is not prime. Res64: FCCF59D7B07BAF6C Time : 0.0 sec. user=mdettweiler [2012-07-25 06:40:24] 645*2^1224745-1 is not prime. Res64: 85B91F0BF7D193E2 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:50:25] 751*2^1224745-1 is not prime. Res64: E9E5EFFFDA78FFAC Time : 0.0 sec. user=mdettweiler [2012-07-25 06:50:27] 805*2^1224745-1 is not prime. Res64: 21CB5D64E46D0C88 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:50:28] 841*2^1224745-1 is not prime. Res64: 189A1B0B28277FB9 Time : 0.0 sec. user=mdettweiler [2012-07-25 06:54:18] 771*2^1224745-1 is not prime. Res64: F5D8ACE498300C50 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:01:02] 861*2^1224745-1 is not prime. Res64: FA3571B57DC388A9 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:01:03] 987*2^1224745-1 is not prime. Res64: 4CEE002A2BEBA31E Time : 0.0 sec. user=mdettweiler [2012-07-25 07:11:06] 825*2^1224746-1 is not prime. Res64: 1C5710FEDA63DA78 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:11:07] 827*2^1224746-1 is not prime. Res64: 784EB1EF78CECA8A Time : 0.0 sec. user=mdettweiler [2012-07-25 07:21:05] 773*2^1224746-1 is not prime. Res64: 7A12F140439705D2 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:21:41] 625*2^1224747-1 is not prime. Res64: F7FF2B8C6F0ABF1D Time : 0.0 sec. user=mdettweiler [2012-07-25 07:21:42] 685*2^1224747-1 is not prime. Res64: 411BC9998DF816DD Time : 0.0 sec. user=mdettweiler [2012-07-25 07:25:00] 615*2^1224747-1 is not prime. Res64: BF81F2A5CB19EB2B Time : 0.0 sec. user=vaughan [2012-07-25 07:25:35] 945*2^1224743-1 is not prime. Res64: E3EC02D9544356E8 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:31:53] 765*2^1224747-1 is not prime. Res64: 9D39D7D82A127431 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:31:54] 829*2^1224747-1 is not prime. Res64: 734251F08F7E00B5 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:42:19] 909*2^1224747-1 is not prime. Res64: 9C7056809684DE8E Time : 0.0 sec. user=mdettweiler [2012-07-25 07:42:19] 985*2^1224747-1 is not prime. Res64: 3850F6CAAD94D7C9 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:51:44] 859*2^1224747-1 is not prime. Res64: 15560F1C1C44ABF3 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:52:33] 743*2^1224748-1 is not prime. Res64: 90415A0E567E0302 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:52:34] 749*2^1224748-1 is not prime. Res64: C482EF5DE6550267 Time : 0.0 sec. user=mdettweiler [2012-07-25 07:55:35] 647*2^1224748-1 is not prime. Res64: 29AEC0B043336F95 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:02:57] 819*2^1224748-1 is not prime. Res64: 8A47B81EB6AB3831 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:02:58] 843*2^1224748-1 is not prime. Res64: 92E30E37C3F2A631 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:13:11] 887*2^1224748-1 is not prime. Res64: 3A1372EE316E00EE Time : 0.0 sec. user=mdettweiler [2012-07-25 08:13:14] 899*2^1224748-1 is not prime. Res64: 233E4119D7DE825D Time : 0.0 sec. user=mdettweiler [2012-07-25 08:22:19] 855*2^1224748-1 is not prime. Res64: F6EAE1DE774490EE Time : 0.0 sec. user=mdettweiler [2012-07-25 08:23:36] 989*2^1224748-1 is not prime. Res64: 34C2D348F3CED900 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:23:37] 993*2^1224748-1 is not prime. Res64: 8A4558AC421EF088 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:26:11] 927*2^1224748-1 is not prime. Res64: EC857A336F8930FF Time : 0.0 sec. user=mdettweiler [2012-07-25 08:33:55] 615*2^1224749-1 is not prime. Res64: 17FCBCFAB8E6264B Time : 0.0 sec. user=mdettweiler [2012-07-25 08:33:56] 619*2^1224749-1 is not prime. Res64: DC2FC55CC478384C Time : 0.0 sec. user=mdettweiler [2012-07-25 08:44:17] 691*2^1224749-1 is not prime. Res64: 67BA0E0035A82979 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:44:18] 825*2^1224749-1 is not prime. Res64: 7383A77AF2225199 Time : 0.0 sec. user=gd_barnes [2012-07-25 08:45:05] 655*2^1224749-1 is not prime. Res64: B918E8FA8EA01B46 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:53:19] 657*2^1224749-1 is not prime. Res64: AD00F4B04AF500E6 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:54:33] 949*2^1224749-1 is not prime. Res64: BFB55DF43247BFB9 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:54:34] 967*2^1224749-1 is not prime. Res64: 9BEE898BA1C6FE76 Time : 0.0 sec. user=mdettweiler [2012-07-25 08:56:49] 927*2^1224749-1 is not prime. Res64: 971BC7F37FCF9761 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:04:55] 783*2^1224750-1 is not prime. Res64: 36B2C311391308B7 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:04:56] 639*2^1224751-1 is not prime. Res64: EF345C9C50EFF956 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:15:11] 709*2^1224751-1 is not prime. Res64: 4860E9FD3345A5ED Time : 0.0 sec. user=mdettweiler [2012-07-25 09:15:11] 793*2^1224751-1 is not prime. Res64: EF236438DD800409 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:23:54] 705*2^1224751-1 is not prime. Res64: AD869AEB2D011E8B Time : 0.0 sec. user=mdettweiler [2012-07-25 09:25:43] 615*2^1224752-1 is not prime. Res64: 96023FFE57CD216E Time : 0.0 sec. user=mdettweiler [2012-07-25 09:25:44] 743*2^1224752-1 is not prime. Res64: 58A5020558DD3F8E Time : 0.0 sec. user=mdettweiler [2012-07-25 09:27:32] 871*2^1224751-1 is not prime. Res64: 753F556DE3BB68C1 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:36:14] 843*2^1224752-1 is not prime. Res64: 0DD7981DF57DDC2F Time : 0.0 sec. user=mdettweiler [2012-07-25 09:36:14] 857*2^1224752-1 is not prime. Res64: 4F9E788506809AE2 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:46:50] 995*2^1224752-1 is not prime. Res64: E29BC3392EF8476C Time : 0.0 sec. user=mdettweiler [2012-07-25 09:46:51] 675*2^1224753-1 is not prime. Res64: 3FB6D70790DC2111 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:54:38] 963*2^1224752-1 is not prime. Res64: 3B734D6D38D8EBA2 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:57:10] 721*2^1224753-1 is not prime. Res64: A7B728EFE260906C Time : 0.0 sec. user=mdettweiler [2012-07-25 09:57:10] 747*2^1224753-1 is not prime. Res64: DC9A4614E9A26225 Time : 0.0 sec. user=mdettweiler [2012-07-25 09:58:12] 699*2^1224753-1 is not prime. Res64: E111A5F6BFFB4FA7 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:07:59] 795*2^1224753-1 is not prime. Res64: 800A6C287B88153C Time : 0.0 sec. user=mdettweiler [2012-07-25 10:08:01] 979*2^1224753-1 is not prime. Res64: BEA13B09F16BD3F9 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:18:27] 695*2^1224754-1 is not prime. Res64: 5CA7EB848FC31B90 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:18:27] 731*2^1224754-1 is not prime. Res64: 14464743DF88654C Time : 0.0 sec. user=mdettweiler [2012-07-25 10:25:19] 611*2^1224754-1 is not prime. Res64: 6D76AC0B208DD760 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:28:53] 737*2^1224754-1 is not prime. Res64: 4E81D842F725FACE Time : 0.0 sec. user=mdettweiler [2012-07-25 10:29:07] 747*2^1224754-1 is not prime. Res64: E37B898BD2BFE4A9 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:29:08] 765*2^1224754-1 is not prime. Res64: 1EE812609D9AE40B Time : 0.0 sec. user=mdettweiler [2012-07-25 10:39:24] 833*2^1224754-1 is not prime. Res64: 537175B2D47CB744 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:39:24] 885*2^1224754-1 is not prime. Res64: 5433BDA9789E2059 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:49:59] 733*2^1224755-1 is not prime. Res64: A00A2F5BACDD4A47 Time : 0.0 sec. user=mdettweiler [2012-07-25 10:49:59] 883*2^1224755-1 is not prime. Res64: 7B63F0220B85C6CE Time : 0.0 sec. user=mdettweiler [2012-07-25 10:56:16] 917*2^1224754-1 is not prime. Res64: 2D591B1CD949A7AA Time : 0.0 sec. user=mdettweiler [2012-07-25 11:00:00] 609*2^1224755-1 is not prime. Res64: 7D9C4C7FDBF6FF38 Time : 0.0 sec. user=mdettweiler [2012-07-25 11:00:07] 915*2^1224755-1 is not prime. Res64: 76DAB6BC447A7CF6 Time : 0.0 sec. user=mdettweiler [2012-07-25 11:00:08] 985*2^1224755-1 is not prime. Res64: 75654C6B733A233D Time : 0.0 sec. user=mdettweiler [2012-07-25 11:10:44] 669*2^1224756-1 is not prime. Res64: 2B7152E4CDC0F0DC Time : 0.0 sec. user=mdettweiler [2012-07-25 11:10:48] 707*2^1224756-1 is not prime. Res64: D90C11F6C6186BEF Time : 0.0 sec. user=mdettweiler [2012-07-25 11:21:01] 975*2^1224756-1 is not prime. Res64: B627A6EA8D749C8F Time : 0.0 sec. user=mdettweiler [2012-07-25 11:21:01] 993*2^1224756-1 is not prime. Res64: 8F92D633A7E768DF Time : 0.0 sec. user=mdettweiler [2012-07-25 11:29:09] 717*2^1224756-1 is not prime. Res64: 795271E00DE87E3E Time : 0.0 sec. user=mdettweiler [2012-07-25 11:31:55] 861*2^1224757-1 is not prime. Res64: 302D183FACC760F5 Time : 0.0 sec. user=mdettweiler [2012-07-25 11:31:55] 897*2^1224757-1 is not prime. Res64: F69FC5CCE7A8147E Time : 0.0 sec. user=mdettweiler [2012-07-25 11:32:08] 933*2^1224756-1 is not prime. Res64: 9B976F8DEF5A8E0C Time : 0.0 sec. user=mdettweiler [2012-07-25 11:42:06] 901*2^1224757-1 is not prime. Res64: 46E73D9C03BE0DBD Time : 0.0 sec. user=mdettweiler [2012-07-25 11:42:06] 967*2^1224757-1 is not prime. Res64: 8543941B78C73331 Time : 0.0 sec. user=mdettweiler [2012-07-25 11:52:42] 813*2^1224758-1 is not prime. Res64: D42C600B3DBBB916 Time : 0.0 sec. user=mdettweiler [2012-07-25 11:52:43] 935*2^1224758-1 is not prime. Res64: DDD358D4A62A8066 Time : 0.0 sec. user=mdettweiler [2012-07-25 12:00:44] 635*2^1224758-1 is not prime. Res64: EC5A56ED906D8D3F Time : 0.0 sec. user=mdettweiler [2012-07-25 12:02:45] 621*2^1224759-1 is not prime. Res64: 805B4E6D48B1AC86 Time : 0.0 sec. user=mdettweiler [2012-07-25 12:02:47] 789*2^1224759-1 is not prime. Res64: EAE91377BF4E18CD Time : 0.0 sec. user=mdettweiler [2012-07-25 12:03:47] 615*2^1224759-1 is not prime. Res64: 44FA31F91611CB32 Time : 0.0 sec. user=mdettweiler [2012-07-25 12:13:21] 823*2^1224759-1 is not prime. Res64: B360E3EC43EE4768 Time : 0.0 sec. user=mdettweiler [2012-07-25 12:13:22] 831*2^1224759-1 is not prime. Res64: AF1871C007B7125E Time : 0.0 sec. user=mdettweiler [2012-07-25 12:23:30] 629*2^1224760-1 is not prime. Res64: 4F2CA80BB01F4EF0 Time : 0.0 sec. user=mdettweiler [2012-07-25 12:23:31] 693*2^1224760-1 is not prime. Res64: C9EFEBF0B9D53B2C Time : 0.0 sec. user=mdettweiler [2012-07-25 12:32:15] 999*2^1224759-1 is not prime. Res64: 9F7F482DE0D4239B Time : 0.0 sec. user=mdettweiler [2012-07-25 12:34:10] 845*2^1224760-1 is not prime. Res64: 6A3B585A7BC51688 Time : 0.0 sec. user=mdettweiler [2012-07-25 12:34:11] 627*2^1224761-1 is not prime. Res64: 8EC7F54EBD984759 Time : 0.0 sec. user=mdettweiler [2012-07-25 12:35:20] 827*2^1224760-1 is not prime. Res64: 6654CA896F2AD1AA Time : 0.0 sec. user=mdettweiler [2012-07-25 12:44:09] 705*2^1224761-1 is not prime. Res64: C059C8344FE8DF8F Time : 0.0 sec. user=mdettweiler [2012-07-25 12:44:09] 811*2^1224761-1 is not prime. Res64: EC7B40E6F63BEDEF Time : 0.0 sec. user=mdettweiler [2012-07-25 12:54:48] 909*2^1224761-1 is not prime. Res64: 8307E76384C772FB Time : 0.0 sec. user=mdettweiler [2012-07-25 12:54:49] 979*2^1224761-1 is not prime. Res64: 8076D38DDD32EE38 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:03:50] 907*2^1224761-1 is not prime. Res64: 93B3628F58E6251D Time : 0.0 sec. user=mdettweiler [2012-07-25 13:04:46] 635*2^1224762-1 is not prime. Res64: 722F4C6E0E988CB9 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:04:49] 711*2^1224762-1 is not prime. Res64: 7E2920A93606A552 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:06:43] 997*2^1224761-1 is not prime. Res64: F20964B1947B9369 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:15:27] 801*2^1224762-1 is not prime. Res64: D16E1323F00CB958 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:15:28] 803*2^1224762-1 is not prime. Res64: AA69CE728F41C4C2 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:25:32] 693*2^1224763-1 is not prime. Res64: 6F8590194FA22053 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:25:32] 915*2^1224763-1 is not prime. Res64: BD5BB8F0AD5537DF Time : 0.0 sec. user=mdettweiler [2012-07-25 13:35:05] 951*2^1224762-1 is not prime. Res64: 7F74584086D76443 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:36:07] 717*2^1224764-1 is not prime. Res64: 50A1F5E4EB4C810E Time : 0.0 sec. user=mdettweiler [2012-07-25 13:36:08] 767*2^1224764-1 is not prime. Res64: 28145CA0ECFF32A9 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:38:03] 993*2^1224763-1 is not prime. Res64: 45FFBF80DE37BB6C Time : 0.0 sec. user=vaughan [2012-07-25 13:39:29] 895*2^1224759-1 is not prime. Res64: 1433C6F6803D9705 Time : 0.0 sec. user=gd_barnes [2012-07-25 13:40:10] 635*2^1224764-1 is not prime. Res64: F2B7544642318DE0 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:46:12] 773*2^1224764-1 is not prime. Res64: F0FE46DFCEF60D72 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:46:12] 945*2^1224764-1 is not prime. Res64: FF4003AFDF46E993 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:56:45] 711*2^1224765-1 is not prime. Res64: C5563E32EF22E9F5 Time : 0.0 sec. user=mdettweiler [2012-07-25 13:56:45] 795*2^1224765-1 is not prime. Res64: 34CABAE83A6B2549 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:06:25] 655*2^1224765-1 is not prime. Res64: 14E1BAB1F0131661 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:06:50] 979*2^1224765-1 is not prime. Res64: 13A0AB992B4CD51C Time : 0.0 sec. user=mdettweiler [2012-07-25 14:06:51] 999*2^1224765-1 is not prime. Res64: 4E1DD3CEB7312913 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:09:23] 891*2^1224765-1 is not prime. Res64: 264A3AB1A30BA457 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:17:22] 671*2^1224766-1 is not prime. Res64: 457B8CE13F4F5B7B Time : 0.0 sec. user=mdettweiler [2012-07-25 14:17:23] 695*2^1224766-1 is not prime. Res64: 399167B9F06A51D2 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:27:32] 843*2^1224766-1 is not prime. Res64: CBD40F5D6F7FA95C Time : 0.0 sec. user=mdettweiler [2012-07-25 14:27:32] 881*2^1224766-1 is not prime. Res64: 52D6BE39693A052B Time : 0.0 sec. user=mdettweiler [2012-07-25 14:38:13] 735*2^1224767-1 is not prime. Res64: 59D7E65E1A4CFB2C Time : 0.0 sec. user=mdettweiler [2012-07-25 14:38:14] 753*2^1224767-1 is not prime. Res64: 10AF57ED72018DC7 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:38:20] 785*2^1224766-1 is not prime. Res64: F14D9FDCE4709303 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:41:05] 1001*2^1224766-1 is not prime. Res64: 73679DFD6D4DF6B7 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:48:23] 763*2^1224767-1 is not prime. Res64: EB5A72E1E6786906 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:48:23] 799*2^1224767-1 is not prime. Res64: A14D16F748B6F9D3 Time : 0.0 sec. user=mdettweiler [2012-07-25 14:59:01] 879*2^1224767-1 is not prime. Res64: C48EB006E10EDB6A Time : 0.0 sec. user=mdettweiler [2012-07-25 14:59:02] 883*2^1224767-1 is not prime. Res64: 1808CDBD22533422 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:09:11] 839*2^1224768-1 is not prime. Res64: A123CC2C294EC0E2 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:09:13] 899*2^1224768-1 is not prime. Res64: 7D173F47F6899CCA Time : 0.0 sec. user=mdettweiler [2012-07-25 15:09:29] 663*2^1224768-1 is not prime. Res64: 887C1EC22B40AA40 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:12:01] 797*2^1224768-1 is not prime. Res64: 7E33FF4B49B34E4A Time : 0.0 sec. user=mdettweiler [2012-07-25 15:19:51] 905*2^1224768-1 is not prime. Res64: 07AF61F10F1601D6 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:19:51] 945*2^1224768-1 is not prime. Res64: 4BDB9AE7787AF5FD Time : 0.0 sec. user=vaughan [2012-07-25 15:27:05] 919*2^1224765-1 is not prime. Res64: 10929630A3E067FF Time : 0.0 sec. user=mdettweiler [2012-07-25 15:30:28] 747*2^1224769-1 is not prime. Res64: 4247E6368583749C Time : 0.0 sec. user=mdettweiler [2012-07-25 15:30:29] 861*2^1224769-1 is not prime. Res64: B5699108D3D4A3F7 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:40:50] 867*2^1224770-1 is not prime. Res64: 7817716847E7413B Time : 0.0 sec. user=mdettweiler [2012-07-25 15:40:51] 619*2^1224771-1 is not prime. Res64: 7103EFC9B4BA8F72 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:40:55] 845*2^1224770-1 is not prime. Res64: 05E610C832E2B87D Time : 0.0 sec. user=mdettweiler [2012-07-25 15:43:08] 851*2^1224770-1 is not prime. Res64: FA1AB398A7262611 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:51:39] 639*2^1224771-1 is not prime. Res64: 2D5C2F78FFA962E7 Time : 0.0 sec. user=mdettweiler [2012-07-25 15:51:40] 741*2^1224771-1 is not prime. Res64: EC4E325539F33DDA Time : 0.0 sec. user=mdettweiler [2012-07-25 16:02:09] 753*2^1224771-1 is not prime. Res64: CF6052072F7B8B58 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:02:11] 783*2^1224771-1 is not prime. Res64: BF60166C077A5BC7 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:11:40] 789*2^1224771-1 is not prime. Res64: 27870EAC30EF99F6 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:12:57] 951*2^1224771-1 is not prime. Res64: C56C6BA2B0FA274F Time : 0.0 sec. user=mdettweiler [2012-07-25 16:13:00] 955*2^1224771-1 is not prime. Res64: 328F7BD25C5679A1 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:13:44] 909*2^1224771-1 is not prime. Res64: ADA4C01B20E1B56E Time : 0.0 sec. user=mdettweiler [2012-07-25 16:23:55] 979*2^1224771-1 is not prime. Res64: 6BADCB891A840E1F Time : 0.0 sec. user=mdettweiler [2012-07-25 16:23:55] 629*2^1224772-1 is not prime. Res64: 3D6C0439AE0C5C67 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:34:17] 765*2^1224772-1 is not prime. Res64: A54A88C4B0823C4A Time : 0.0 sec. user=mdettweiler [2012-07-25 16:34:17] 825*2^1224772-1 is not prime. Res64: 86DB44B5CAE26502 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:42:37] 677*2^1224772-1 is not prime. Res64: FEB74D45C38769FC Time : 0.0 sec. user=mdettweiler [2012-07-25 16:44:25] 939*2^1224772-1 is not prime. Res64: 3CDD0482BD5BEFA1 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:45:08] 757*2^1224773-1 is not prime. Res64: F7BA62A2CA943EC5 Time : 0.0 sec. user=mdettweiler [2012-07-25 16:45:09] 795*2^1224773-1 is not prime. Res64: DC90A0619E1A159D Time : 0.0 sec. user=gd_barnes [2012-07-25 16:48:42] 965*2^1224772-1 is not prime. Res64: B95A3D31265287AF Time : 0.0 sec. user=mdettweiler [2012-07-25 16:55:28] 831*2^1224773-1 is not prime. Res64: C3E9ECAEABD990AD Time : 0.0 sec. user=mdettweiler [2012-07-25 16:55:29] 837*2^1224773-1 is not prime. Res64: CA0AA91F2077EDEF Time : 0.0 sec. user=mdettweiler [2012-07-25 17:06:22] 651*2^1224774-1 is not prime. Res64: 1F18E8F70AACC1A3 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:06:24] 681*2^1224774-1 is not prime. Res64: EF6327D6E9874DA1 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:13:11] 861*2^1224773-1 is not prime. Res64: 16FFA1F699E12C65 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:15:07] 925*2^1224773-1 is not prime. Res64: E7B5C46DCB665C5D Time : 0.0 sec. user=mdettweiler [2012-07-25 17:16:42] 923*2^1224774-1 is not prime. Res64: FE8471563D6A9294 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:16:43] 941*2^1224774-1 is not prime. Res64: 7601D78D687B8FAD Time : 0.0 sec. user=juhehe [2012-07-25 17:20:20] 649*2^1224773-1 is not prime. Res64: 745EEA8289865C34 Time : 0.0 sec. user=juhehe [2012-07-25 17:23:38] 801*2^1224773-1 is not prime. Res64: 267B73EE2C893448 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:27:40] 663*2^1224775-1 is not prime. Res64: 452EAAF808CC1967 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:27:41] 723*2^1224775-1 is not prime. Res64: 74693A34E7FE8F6D Time : 0.0 sec. user=mdettweiler [2012-07-25 17:37:57] 735*2^1224776-1 is not prime. Res64: 214743108BEBF5A0 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:37:57] 767*2^1224776-1 is not prime. Res64: 2DDD562927BE67CF Time : 0.0 sec. user=mdettweiler [2012-07-25 17:43:54] 759*2^1224775-1 is not prime. Res64: 49B38361D1DF2314 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:46:00] 659*2^1224776-1 is not prime. Res64: B15246DD0E73E6C9 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:48:56] 773*2^1224776-1 is not prime. Res64: 1C3DB95E92A27DEA Time : 0.0 sec. user=mdettweiler [2012-07-25 17:48:56] 855*2^1224776-1 is not prime. Res64: F8CB55F27DC47946 Time : 0.0 sec. user=mdettweiler [2012-07-25 17:59:11] 869*2^1224776-1 is not prime. Res64: B6CE863897EF5CFB Time : 0.0 sec. user=mdettweiler [2012-07-25 17:59:11] 963*2^1224776-1 is not prime. Res64: F5030113399C7AEF Time : 0.0 sec. user=mdettweiler [2012-07-25 18:10:06] 901*2^1224777-1 is not prime. Res64: 946C8C8C2226C4FB Time : 0.0 sec. user=mdettweiler [2012-07-25 18:10:06] 945*2^1224777-1 is not prime. Res64: 4D8108397D181EE1 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:15:43] 983*2^1224776-1 is not prime. Res64: 13C429A561EE6852 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:18:04] 765*2^1224777-1 is not prime. Res64: 91B2BC07F2E800C6 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:20:19] 999*2^1224777-1 is not prime. Res64: F91F2917CA3851E6 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:20:19] 603*2^1224778-1 is not prime. Res64: 42521A201B8D7114 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:31:36] 657*2^1224778-1 is not prime. Res64: D4692B731D9A651E Time : 0.0 sec. user=mdettweiler [2012-07-25 18:31:36] 755*2^1224778-1 is not prime. Res64: 8919A6834762C6B3 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:41:46] 887*2^1224778-1 is not prime. Res64: 954DC895E9194322 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:41:46] 941*2^1224778-1 is not prime. Res64: FCBDCA98EEE6C31C Time : 0.0 sec. user=mdettweiler [2012-07-25 18:46:28] 813*2^1224778-1 is not prime. Res64: 5494C775507198DA Time : 0.0 sec. user=mdettweiler [2012-07-25 18:48:51] 833*2^1224778-1 is not prime. Res64: 01DFF764BDD7278D Time : 0.0 sec. user=mdettweiler [2012-07-25 18:52:27] 621*2^1224779-1 is not prime. Res64: DF749A2DD120A0F8 Time : 0.0 sec. user=mdettweiler [2012-07-25 18:52:28] 633*2^1224779-1 is not prime. Res64: 095434C98609178B Time : 0.0 sec. user=vaughan [2012-07-25 18:58:36] 895*2^1224775-1 is not prime. Res64: E05DE82F956AE8D5 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:02:23] 675*2^1224779-1 is not prime. Res64: 1238369E4E2D2441 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:02:24] 679*2^1224779-1 is not prime. Res64: 38F87CDBA95E53BA Time : 0.0 sec. user=juhehe [2012-07-25 19:04:55] 647*2^1224778-1 is not prime. Res64: 1BE347923C6A253B Time : 0.0 sec. user=juhehe [2012-07-25 19:09:10] 765*2^1224778-1 is not prime. Res64: AAEC044B76DF1113 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:13:08] 943*2^1224779-1 is not prime. Res64: 09DE49CD9ED7C3E2 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:13:09] 609*2^1224780-1 is not prime. Res64: DDB3A808056DD1A1 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:17:06] 813*2^1224779-1 is not prime. Res64: A1F46C0C569DF1C3 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:19:26] 885*2^1224779-1 is not prime. Res64: AEB8D2A999ACA78E Time : 0.0 sec. user=mdettweiler [2012-07-25 19:23:10] 797*2^1224780-1 is not prime. Res64: 4B8DCD88CA071CAE Time : 0.0 sec. user=mdettweiler [2012-07-25 19:23:11] 839*2^1224780-1 is not prime. Res64: E8775F44559EDD0A Time : 0.0 sec. user=mdettweiler [2012-07-25 19:34:10] 915*2^1224780-1 is not prime. Res64: 966784D43D51FC1E Time : 0.0 sec. user=mdettweiler [2012-07-25 19:34:11] 927*2^1224780-1 is not prime. Res64: CE1B729E77825B3F Time : 0.0 sec. user=mdettweiler [2012-07-25 19:44:00] 931*2^1224781-1 is not prime. Res64: 206A4B67DB3BAF74 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:44:01] 937*2^1224781-1 is not prime. Res64: 8790C2947A67A118 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:47:40] 717*2^1224781-1 is not prime. Res64: 7B4FFCC95F691644 Time : 0.0 sec. user=mdettweiler [2012-07-25 19:50:04] 757*2^1224781-1 is not prime. Res64: EF07F53A654603FF Time : 0.0 sec. user=mdettweiler [2012-07-25 19:54:52] 675*2^1224782-1 is not prime. Res64: 98A4CE8759E709BD Time : 0.0 sec. user=mdettweiler [2012-07-25 19:54:52] 677*2^1224782-1 is not prime. Res64: B3FA0E8FC20214D6 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:04:40] 693*2^1224782-1 is not prime. Res64: 81BEFDA15EBF76C1 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:04:41] 833*2^1224782-1 is not prime. Res64: E5B67CB28FA542D0 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:15:33] 825*2^1224783-1 is not prime. Res64: 75CD10CE52C1C7F7 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:15:35] 871*2^1224783-1 is not prime. Res64: 624562580F771991 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:18:31] 613*2^1224783-1 is not prime. Res64: 1C5EBEDD303BA80E Time : 0.0 sec. user=mdettweiler [2012-07-25 20:20:52] 639*2^1224783-1 is not prime. Res64: 7214ECD92E795513 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:25:37] 609*2^1224784-1 is not prime. Res64: 5DF4A9FB798C8928 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:25:37] 635*2^1224784-1 is not prime. Res64: 57A301A46D1904E1 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:36:37] 639*2^1224784-1 is not prime. Res64: 4080ED2F68FA6055 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:36:38] 675*2^1224784-1 is not prime. Res64: 031C025C7C884E94 Time : 0.0 sec. user=vaughan [2012-07-25 20:42:49] 633*2^1224780-1 is not prime. Res64: 826D3E3DA9DD880F Time : 0.0 sec. user=mdettweiler [2012-07-25 20:46:17] 849*2^1224784-1 is not prime. Res64: E22DB5AD365325A6 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:46:18] 873*2^1224784-1 is not prime. Res64: 3A9930DCDF1B3FC9 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:49:16] 723*2^1224784-1 is not prime. Res64: FC658FC3A409AE3D Time : 0.0 sec. user=juhehe [2012-07-25 20:49:40] 679*2^1224783-1 is not prime. Res64: 5A35B03AACD8B40E Time : 0.0 sec. user=mdettweiler [2012-07-25 20:51:34] 729*2^1224784-1 is not prime. Res64: 3BB531536409760F Time : 0.0 sec. user=juhehe [2012-07-25 20:54:20] 605*2^1224784-1 is not prime. Res64: 52D4A2A79AA78837 Time : 0.0 sec. user=mdettweiler [2012-07-25 20:57:19] 917*2^1224784-1 is not prime. Res64: 41C6D13D2684E0EC Time : 0.0 sec. user=mdettweiler [2012-07-25 20:57:19] 939*2^1224784-1 is not prime. Res64: C3B081918B69635E Time : 0.0 sec. user=mdettweiler [2012-07-25 21:06:59] 989*2^1224784-1 is not prime. Res64: 8374C378BFDE5649 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:07:00] 601*2^1224785-1 is not prime. Res64: 21D23DDFB49709D4 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:17:59] 847*2^1224785-1 is not prime. Res64: 78DFFAE3CE972047 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:17:59] 871*2^1224785-1 is not prime. Res64: 0DB5C215758D0CA4 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:19:58] 691*2^1224785-1 is not prime. Res64: 9BB3BBBBCFA1AB5E Time : 0.0 sec. user=mdettweiler [2012-07-25 21:22:18] 781*2^1224785-1 is not prime. Res64: 3DBC65F3714235D4 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:27:44] 897*2^1224785-1 is not prime. Res64: 156C74415C3F40CA Time : 0.0 sec. user=mdettweiler [2012-07-25 21:27:45] 741*2^1224786-1 is not prime. Res64: C2C76019586A3CF4 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:38:44] 755*2^1224786-1 is not prime. Res64: 5DF6A279C07EBB5A Time : 0.0 sec. user=mdettweiler [2012-07-25 21:38:44] 777*2^1224786-1 is not prime. Res64: 61E0EBB783E32E97 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:48:24] 873*2^1224786-1 is not prime. Res64: 97BBFFE16410ADA9 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:48:24] 887*2^1224786-1 is not prime. Res64: 3B39AC2C5D6E451F Time : 0.0 sec. user=mdettweiler [2012-07-25 21:50:39] 783*2^1224786-1 is not prime. Res64: 0313184A02D2D904 Time : 0.0 sec. user=mdettweiler [2012-07-25 21:52:58] 807*2^1224786-1 is not prime. Res64: 2CC08DF1CF8264CB Time : 0.0 sec. user=mdettweiler [2012-07-25 21:59:30] 983*2^1224786-1 is not prime. Res64: 3FCDB962C8DDB55C Time : 0.0 sec. user=mdettweiler [2012-07-25 21:59:30] 625*2^1224787-1 is not prime. Res64: 84D9EAD3C7B5C483 Time : 0.0 sec. user=mdettweiler [2012-07-25 22:09:09] 759*2^1224787-1 is not prime. Res64: 6CDE3161213844CC Time : 0.0 sec. user=mdettweiler [2012-07-25 22:09:10] 945*2^1224787-1 is not prime. Res64: 264D21B0ABC8CD9C Time : 0.0 sec. user=mdettweiler [2012-07-25 22:20:10] 633*2^1224788-1 is not prime. Res64: 304C154D79417DEB Time : 0.0 sec. user=mdettweiler [2012-07-25 22:20:10] 647*2^1224788-1 is not prime. Res64: C7C88A9ADF024B32 Time : 0.0 sec. user=mdettweiler [2012-07-25 22:21:46] 951*2^1224787-1 is not prime. Res64: 871915558479146C Time : 0.0 sec. user=mdettweiler [2012-07-25 22:24:03] 617*2^1224788-1 is not prime. Res64: 1AA2278F2AC6743B Time : 0.0 sec. user=mdettweiler [2012-07-25 22:29:56] 707*2^1224788-1 is not prime. Res64: 9F928B42AD7C356C Time : 0.0 sec. user=mdettweiler [2012-07-25 22:29:57] 855*2^1224788-1 is not prime. Res64: 17BDDF6392B51270 Time : 0.0 sec. user=juhehe [2012-07-25 22:35:21] 963*2^1224786-1 is not prime. Res64: 86E5CA36F45D9EB3 Time : 0.0 sec. user=juhehe [2012-07-25 22:39:37] 685*2^1224787-1 is not prime. Res64: 41F2932D68A4BD17 Time : 0.0 sec. user=mdettweiler [2012-07-25 22:40:52] 945*2^1224788-1 is not prime. Res64: FB312B4241A33DD8 Time : 0.0 sec. user=mdettweiler [2012-07-25 22:40:52] 999*2^1224788-1 is not prime. Res64: 0E61B4D2CBBE81ED Time : 0.0 sec. user=mdettweiler [2012-07-25 22:50:37] 721*2^1224789-1 is not prime. Res64: 79A87A6855B9E5B1 Time : 0.0 sec. user=mdettweiler [2012-07-25 22:50:37] 877*2^1224789-1 is not prime. Res64: CEB2840017295B2F Time : 0.0 sec. user=mdettweiler [2012-07-25 22:52:24] 601*2^1224789-1 is not prime. Res64: 3ADF0DD9EEF7210E Time : 0.0 sec. user=mdettweiler [2012-07-25 22:54:48] 681*2^1224789-1 is not prime. Res64: C210980D80DD1400 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:01:30] 975*2^1224789-1 is not prime. Res64: 22E3425662E41BD2 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:01:31] 987*2^1224789-1 is not prime. Res64: 68BB00E730CB3BD4 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:11:16] 717*2^1224790-1 is not prime. Res64: 7FC1167E24199C64 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:11:17] 685*2^1224791-1 is not prime. Res64: 348C934C43D81948 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:22:11] 999*2^1224791-1 is not prime. Res64: B5D1C11B2C4A4E1A Time : 0.0 sec. user=mdettweiler [2012-07-25 23:22:11] 633*2^1224792-1 is not prime. Res64: 440A02F837318895 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:23:04] 979*2^1224791-1 is not prime. Res64: 520B1EC33D066459 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:25:25] 981*2^1224791-1 is not prime. Res64: 81764D3CECFB3A24 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:32:01] 653*2^1224792-1 is not prime. Res64: 6B8FE7D47D671E3C Time : 0.0 sec. user=mdettweiler [2012-07-25 23:32:02] 683*2^1224792-1 is not prime. Res64: FA27843AEFBBB671 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:42:59] 753*2^1224792-1 is not prime. Res64: 1237800A35847481 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:42:59] 887*2^1224792-1 is not prime. Res64: 5A4DDC44E347829F Time : 0.0 sec. user=mdettweiler [2012-07-25 23:53:12] 811*2^1224793-1 is not prime. Res64: D5AA3D22B833FF07 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:53:13] 831*2^1224793-1 is not prime. Res64: 00B1D1239FBE78DA Time : 0.0 sec. user=mdettweiler [2012-07-25 23:53:55] 899*2^1224792-1 is not prime. Res64: 5C53E8883F7DB6B7 Time : 0.0 sec. user=mdettweiler [2012-07-25 23:56:21] 687*2^1224793-1 is not prime. Res64: ADEE2530E22D5654 Time : 0.0 sec.