user=mdettweiler [2013-04-20 00:12:29] 725*2^1244898-1 is not prime. Res64: 6799CBE3F1190C38 Time : 0.0 sec. user=mdettweiler [2013-04-20 00:12:30] 915*2^1244898-1 is not prime. Res64: 7F6292A53EBAD888 Time : 0.0 sec. user=mdettweiler [2013-04-20 00:12:30] 933*2^1244898-1 is not prime. Res64: CFB48B7398D1A8CB Time : 0.0 sec. user=mdettweiler [2013-04-20 00:12:31] 891*2^1244899-1 is not prime. Res64: 3CB856684095D8AA Time : 0.0 sec. user=mdettweiler [2013-04-20 00:30:14] 961*2^1244899-1 is not prime. Res64: C6C1DDBE915AF9CE Time : 0.0 sec. user=mdettweiler [2013-04-20 00:30:14] 973*2^1244899-1 is not prime. Res64: A9EABAEE33AB9ED9 Time : 0.0 sec. user=mdettweiler [2013-04-20 00:30:15] 665*2^1244900-1 is not prime. Res64: 0FC4A0E14EC8B0DC Time : 0.0 sec. user=mdettweiler [2013-04-20 00:30:15] 795*2^1244900-1 is not prime. Res64: 4E264C73A9C75ECC Time : 0.0 sec. user=mdettweiler [2013-04-20 00:47:54] 929*2^1244900-1 is not prime. Res64: 7C76E7884A25DE8E Time : 0.0 sec. user=mdettweiler [2013-04-20 00:47:54] 735*2^1244901-1 is not prime. Res64: EC7EC4E5B1B13A0C Time : 0.0 sec. user=mdettweiler [2013-04-20 00:48:45] 781*2^1244901-1 is not prime. Res64: 4BDF9E891ABBB04C Time : 0.0 sec. user=mdettweiler [2013-04-20 00:48:45] 999*2^1244901-1 is not prime. Res64: 12F2D299DF8F0A85 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:05:34] 813*2^1244902-1 is not prime. Res64: 7662AF1B85D432DC Time : 0.0 sec. user=mdettweiler [2013-04-20 01:05:36] 821*2^1244902-1 is not prime. Res64: E3B2E871A1F508E6 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:06:24] 825*2^1244902-1 is not prime. Res64: BD80AA05DAFC6D29 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:06:25] 857*2^1244902-1 is not prime. Res64: FE7067D9702E8EEC Time : 0.0 sec. user=mdettweiler [2013-04-20 01:23:20] 867*2^1244902-1 is not prime. Res64: 8EED18EBA3A40648 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:23:20] 915*2^1244902-1 is not prime. Res64: 9994EB8534F8C90C Time : 0.0 sec. user=mdettweiler [2013-04-20 01:24:05] 685*2^1244903-1 is not prime. Res64: B57D2DED8EA450B5 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:24:05] 729*2^1244903-1 is not prime. Res64: 5B0908AE12A6D9D8 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:41:06] 741*2^1244903-1 is not prime. Res64: CF99CA40C3B2E61A Time : 0.0 sec. user=mdettweiler [2013-04-20 01:41:07] 753*2^1244903-1 is not prime. Res64: 35DED9A1B325F9FA Time : 0.0 sec. user=mdettweiler [2013-04-20 01:41:44] 771*2^1244903-1 is not prime. Res64: 733E5C4A9DEE7EB3 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:41:44] 635*2^1244904-1 is not prime. Res64: 68A1E1D049D15849 Time : 0.0 sec. user=juhehe [2013-04-20 01:57:48] 783*2^1244874-1 is not prime. Res64: 4F9B96951AFC12B7 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:58:48] 693*2^1244904-1 is not prime. Res64: 4554A99A1CDEF04F Time : 0.0 sec. user=mdettweiler [2013-04-20 01:58:48] 719*2^1244904-1 is not prime. Res64: 3C95509CFA54B4E1 Time : 0.0 sec. user=mdettweiler [2013-04-20 01:59:24] 873*2^1244904-1 is not prime. Res64: 76DB266665A39D8D Time : 0.0 sec. user=mdettweiler [2013-04-20 01:59:24] 993*2^1244904-1 is not prime. Res64: 2B8D927CD11C89AE Time : 0.0 sec. user=mdettweiler [2013-04-20 02:16:29] 645*2^1244905-1 is not prime. Res64: FD495D9DA5BA40A5 Time : 0.0 sec. user=mdettweiler [2013-04-20 02:16:29] 721*2^1244905-1 is not prime. Res64: 81C72C9DABD23A5A Time : 0.0 sec. user=mdettweiler [2013-04-20 02:17:03] 729*2^1244905-1 is not prime. Res64: 07C25A2567EC8391 Time : 0.0 sec. user=mdettweiler [2013-04-20 02:17:04] 741*2^1244905-1 is not prime. Res64: D5DB36239B4D63F1 Time : 0.0 sec. user=mdettweiler [2013-04-20 02:34:17] 831*2^1244905-1 is not prime. Res64: 9414E288DD4DBE4E Time : 0.0 sec. user=mdettweiler [2013-04-20 02:34:18] 847*2^1244905-1 is not prime. Res64: 9F467066AB60BB61 Time : 0.0 sec. user=mdettweiler [2013-04-20 02:34:45] 861*2^1244905-1 is not prime. Res64: 747448F512B20D27 Time : 0.0 sec. user=mdettweiler [2013-04-20 02:34:46] 867*2^1244905-1 is not prime. Res64: AC1D2E96F49D15FB Time : 0.0 sec. user=mdettweiler [2013-04-20 02:52:24] 871*2^1244905-1 is not prime. Res64: BDE7B01AC14EA033 Time : 0.0 sec. user=mdettweiler [2013-04-20 02:52:25] 885*2^1244905-1 is not prime. Res64: 2F2FAA0949015EFC Time : 0.0 sec. user=mdettweiler [2013-04-20 02:52:30] 909*2^1244905-1 is not prime. Res64: 277E9478CA08CC4F Time : 0.0 sec. user=mdettweiler [2013-04-20 02:52:30] 919*2^1244905-1 is not prime. Res64: 45E6CF5ADC9CDDF8 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:10:09] 951*2^1244905-1 is not prime. Res64: D53A1A2D9F2878D9 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:10:09] 623*2^1244906-1 is not prime. Res64: F8E24DBB7B4DDBB4 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:10:12] 921*2^1244906-1 is not prime. Res64: AB3487E91DA7DD61 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:10:13] 619*2^1244907-1 is not prime. Res64: D6A3271D5D975AFE Time : 0.0 sec. user=mdettweiler [2013-04-20 03:27:52] 739*2^1244907-1 is not prime. Res64: A44EF5396722A025 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:27:53] 643*2^1244907-1 is not prime. Res64: AF90A4285D22EA25 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:27:53] 903*2^1244907-1 is not prime. Res64: 73185A45C524AEB8 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:27:53] 649*2^1244907-1 is not prime. Res64: 74363109889A1BFB Time : 0.0 sec. user=mdettweiler [2013-04-20 03:45:32] 955*2^1244907-1 is not prime. Res64: E9645B9331112D47 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:45:32] 605*2^1244908-1 is not prime. Res64: EB6E52E4C420FDA5 Time : 0.0 sec. user=mdettweiler [2013-04-20 03:45:33] 615*2^1244908-1 is not prime. Res64: 8DB633AC49B0B01F Time : 0.0 sec. user=mdettweiler [2013-04-20 03:45:33] 743*2^1244908-1 is not prime. Res64: A537D66471CEFE28 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:03:16] 819*2^1244908-1 is not prime. Res64: EB1C2C6E5658981B Time : 0.0 sec. user=mdettweiler [2013-04-20 04:03:16] 899*2^1244908-1 is not prime. Res64: 73B83ADE241FCA8B Time : 0.0 sec. user=mdettweiler [2013-04-20 04:03:18] 833*2^1244908-1 is not prime. Res64: 39D0BA37A8438EFE Time : 0.0 sec. user=mdettweiler [2013-04-20 04:03:18] 697*2^1244909-1 is not prime. Res64: 4570D13E6F858309 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:21:20] 729*2^1244909-1 is not prime. Res64: 9EC302F2AD3197A7 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:21:20] 747*2^1244909-1 is not prime. Res64: E7B2418207CCD3A4 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:21:21] 801*2^1244909-1 is not prime. Res64: CE3982C2C45ED6B5 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:21:21] 927*2^1244909-1 is not prime. Res64: 8757EC4B533C5C60 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:39:01] 627*2^1244910-1 is not prime. Res64: 8CDE20AFB9AA91B4 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:39:02] 801*2^1244910-1 is not prime. Res64: 3D78A889B0507F61 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:39:02] 851*2^1244910-1 is not prime. Res64: 19D0AAA903BBC67D Time : 0.0 sec. user=mdettweiler [2013-04-20 04:39:02] 927*2^1244910-1 is not prime. Res64: E6919530459CEC90 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:56:45] 615*2^1244911-1 is not prime. Res64: 07A45FF6F3756AFD Time : 0.0 sec. user=mdettweiler [2013-04-20 04:56:45] 681*2^1244911-1 is not prime. Res64: 3AEDC1C55C95A30D Time : 0.0 sec. user=mdettweiler [2013-04-20 04:57:35] 965*2^1244910-1 is not prime. Res64: 0A5BACBAD6F7AE37 Time : 0.0 sec. user=mdettweiler [2013-04-20 04:57:35] 1001*2^1244910-1 is not prime. Res64: C41F7DDA8B4C6CA9 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:14:24] 677*2^1244912-1 is not prime. Res64: 694ADE52BCF68FDA Time : 0.0 sec. user=mdettweiler [2013-04-20 05:14:24] 735*2^1244912-1 is not prime. Res64: EE5196F7D0ACBFE0 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:15:13] 743*2^1244912-1 is not prime. Res64: E26FB74D2EE8DD70 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:15:13] 857*2^1244912-1 is not prime. Res64: D4AB4B1BD8A3A3C8 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:32:06] 873*2^1244912-1 is not prime. Res64: A214E725E379D706 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:32:06] 875*2^1244912-1 is not prime. Res64: 193524A89E50A3F7 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:32:51] 879*2^1244912-1 is not prime. Res64: 260753371707EB14 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:32:52] 609*2^1244913-1 is not prime. Res64: D7A0C3503F1BB6EA Time : 0.0 sec. user=mdettweiler [2013-04-20 05:49:45] 627*2^1244913-1 is not prime. Res64: A4D9A70D05B08F75 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:49:46] 651*2^1244913-1 is not prime. Res64: FAAB12E88327C4A1 Time : 0.0 sec. user=mdettweiler [2013-04-20 05:50:29] 681*2^1244913-1 is not prime. Res64: A59D77116183026A Time : 0.0 sec. user=mdettweiler [2013-04-20 05:50:30] 819*2^1244913-1 is not prime. Res64: D48C4692817ED695 Time : 0.0 sec. user=juhehe [2013-04-20 05:56:43] 829*2^1244913-1 is not prime. Res64: 9D4C805E474C2747 Time : 0.0 sec. user=mdettweiler [2013-04-20 06:07:24] 895*2^1244913-1 is not prime. Res64: 1AB0083053E06009 Time : 0.0 sec. user=mdettweiler [2013-04-20 06:07:25] 937*2^1244913-1 is not prime. Res64: F661B0509890EC3A Time : 0.0 sec. user=mdettweiler [2013-04-20 06:08:08] 731*2^1244914-1 is not prime. Res64: 991B349566BC9174 Time : 0.0 sec. user=mdettweiler [2013-04-20 06:08:08] 747*2^1244914-1 is not prime. Res64: 654C411F54313725 Time : 0.0 sec. user=mdettweiler [2013-04-20 06:25:10] 755*2^1244914-1 is not prime. Res64: 9B58F56D82F273B5 Time : 0.0 sec. user=mdettweiler [2013-04-20 06:25:10] 881*2^1244914-1 is not prime. Res64: 54E25B34811FE85C Time : 0.0 sec. user=mdettweiler [2013-04-20 06:25:47] 975*2^1244914-1 is not prime. Res64: 0069C435A859A827 Time : 0.0 sec. user=mdettweiler [2013-04-20 06:25:47] 735*2^1244915-1 is not prime. Res64: 957B88A29F08AE4E Time : 0.0 sec. user=mdettweiler [2013-04-20 06:42:50] 753*2^1244915-1 is not prime. Res64: A42A86FEC4D18CBD Time : 0.0 sec. user=mdettweiler [2013-04-20 06:42:51] 841*2^1244915-1 is not prime. Res64: AE1BE06A4D22BF3A Time : 0.0 sec. user=mdettweiler [2013-04-20 06:43:26] 861*2^1244915-1 is not prime. Res64: B6A000CD724F8914 Time : 0.0 sec. user=mdettweiler [2013-04-20 06:43:26] 639*2^1244916-1 is not prime. Res64: 17E84D3206D552AB Time : 0.0 sec. user=mdettweiler [2013-04-20 07:00:30] 767*2^1244916-1 is not prime. Res64: 94FBDF2CA95C9E94 Time : 0.0 sec. user=mdettweiler [2013-04-20 07:00:31] 845*2^1244916-1 is not prime. Res64: DC2822DF2C988CFB Time : 0.0 sec. user=mdettweiler [2013-04-20 07:01:05] 867*2^1244916-1 is not prime. Res64: 0A84359641C8C0AE Time : 0.0 sec. user=mdettweiler [2013-04-20 07:01:05] 899*2^1244916-1 is not prime. Res64: F115538012ABD15F Time : 0.0 sec. user=mdettweiler [2013-04-20 07:18:20] 969*2^1244916-1 is not prime. Res64: B506E6724616DCDA Time : 0.0 sec. user=mdettweiler [2013-04-20 07:18:20] 987*2^1244916-1 is not prime. Res64: C2A19E44B889F6E9 Time : 0.0 sec. user=mdettweiler [2013-04-20 07:18:44] 607*2^1244917-1 is not prime. Res64: 2320EA5F0CAE407D Time : 0.0 sec. user=mdettweiler [2013-04-20 07:18:44] 661*2^1244917-1 is not prime. Res64: DAEEED7AFDD2562B Time : 0.0 sec. user=mdettweiler [2013-04-20 07:36:01] 699*2^1244917-1 is not prime. Res64: 3209D0B7EEABCC2C Time : 0.0 sec. user=mdettweiler [2013-04-20 07:36:02] 817*2^1244917-1 is not prime. Res64: C26749F509778F67 Time : 0.0 sec. user=mdettweiler [2013-04-20 07:36:23] 825*2^1244917-1 is not prime. Res64: 997BE26335A1224F Time : 0.0 sec. user=mdettweiler [2013-04-20 07:36:23] 835*2^1244917-1 is not prime. Res64: 55E79F24A5FF1C24 Time : 0.0 sec. user=mdettweiler [2013-04-20 07:53:41] 945*2^1244917-1 is not prime. Res64: 7E1E3EC49D3C9677 Time : 0.0 sec. user=mdettweiler [2013-04-20 07:53:41] 635*2^1244918-1 is not prime. Res64: FB6DDEE01AEA37CE Time : 0.0 sec. user=mdettweiler [2013-04-20 07:54:02] 867*2^1244918-1 is not prime. Res64: 2320DBFC89AA3C40 Time : 0.0 sec. user=mdettweiler [2013-04-20 07:54:02] 703*2^1244919-1 is not prime. Res64: 2E84635BBAB45B64 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:11:21] 763*2^1244919-1 is not prime. Res64: A080922D1794C841 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:11:22] 789*2^1244919-1 is not prime. Res64: 52C1CE9AEE8813B7 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:11:41] 795*2^1244919-1 is not prime. Res64: 3BC0AD82F186A1EE Time : 0.0 sec. user=mdettweiler [2013-04-20 08:11:41] 919*2^1244919-1 is not prime. Res64: 8A7EDEBB400C7A6D Time : 0.0 sec. user=mdettweiler [2013-04-20 08:29:08] 677*2^1244920-1 is not prime. Res64: 421E5BAFCE610965 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:29:08] 723*2^1244920-1 is not prime. Res64: DF174B293504F2F0 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:29:19] 765*2^1244920-1 is not prime. Res64: B724B635C0C556F1 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:29:19] 957*2^1244920-1 is not prime. Res64: 1409175A311B59E1 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:46:58] 657*2^1244921-1 is not prime. Res64: 49EC0252540AB959 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:46:58] 711*2^1244921-1 is not prime. Res64: 088D5B6E5A6EA4F7 Time : 0.0 sec. user=mdettweiler [2013-04-20 08:47:38] 999*2^1244920-1 is not prime. Res64: F37F0AA8EC718C3B Time : 0.0 sec. user=mdettweiler [2013-04-20 08:47:38] 615*2^1244921-1 is not prime. Res64: 73B7EB5619AEB645 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:04:36] 735*2^1244921-1 is not prime. Res64: A324A7D55038FA23 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:04:36] 747*2^1244921-1 is not prime. Res64: EF1D3F81285FD12E Time : 0.0 sec. user=mdettweiler [2013-04-20 09:05:15] 805*2^1244921-1 is not prime. Res64: 7338CE6F17439393 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:05:16] 837*2^1244921-1 is not prime. Res64: F393E0935AFD58A5 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:22:14] 885*2^1244921-1 is not prime. Res64: AD1432BE198E9C67 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:22:15] 945*2^1244921-1 is not prime. Res64: D45D2A4688581F2C Time : 0.0 sec. user=mdettweiler [2013-04-20 09:22:56] 633*2^1244922-1 is not prime. Res64: 49D62FC8532418A8 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:22:56] 713*2^1244922-1 is not prime. Res64: 88D0DF3FEB4DC64E Time : 0.0 sec. user=mdettweiler [2013-04-20 09:39:53] 875*2^1244922-1 is not prime. Res64: F3116196B90CDDAE Time : 0.0 sec. user=mdettweiler [2013-04-20 09:39:53] 945*2^1244922-1 is not prime. Res64: FF9F054F10FFC363 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:40:33] 983*2^1244922-1 is not prime. Res64: 5C6F68C45210F1B5 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:40:34] 675*2^1244923-1 is not prime. Res64: E8398858858A6655 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:57:31] 723*2^1244923-1 is not prime. Res64: CF82C974CA89A0BC Time : 0.0 sec. user=mdettweiler [2013-04-20 09:57:31] 741*2^1244923-1 is not prime. Res64: 97A5416B8B008E30 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:58:11] 745*2^1244923-1 is not prime. Res64: 3571B650CFF60567 Time : 0.0 sec. user=mdettweiler [2013-04-20 09:58:11] 783*2^1244923-1 is not prime. Res64: 795F1D2D5002BAF9 Time : 0.0 sec. user=mdettweiler [2013-04-20 10:15:08] 629*2^1244924-1 is not prime. Res64: D566BAE0D7A1E8CE Time : 0.0 sec. user=mdettweiler [2013-04-20 10:15:08] 755*2^1244924-1 is not prime. Res64: 484D1FC34DB3D9CC Time : 0.0 sec. user=mdettweiler [2013-04-20 10:15:48] 795*2^1244924-1 is not prime. Res64: 54A7C4B8565D3A81 Time : 0.0 sec. user=mdettweiler [2013-04-20 10:15:49] 855*2^1244924-1 is not prime. Res64: A4C1E13F26E73E2D Time : 0.0 sec. user=mdettweiler [2013-04-20 10:32:48] 897*2^1244924-1 is not prime. Res64: 2C99BA20D0B1811A Time : 0.0 sec. user=mdettweiler [2013-04-20 10:32:49] 915*2^1244924-1 is not prime. Res64: B7AC67C0C8B44F23 Time : 0.0 sec. user=mdettweiler [2013-04-20 10:33:27] 953*2^1244924-1 is not prime. Res64: 8882AA8256203B83 Time : 0.0 sec. user=mdettweiler [2013-04-20 10:33:27] 601*2^1244925-1 is not prime. Res64: 0D29D8DC2CC005BC Time : 0.0 sec. user=mdettweiler [2013-04-20 10:50:29] 609*2^1244925-1 is not prime. Res64: 4178F98D8016547A Time : 0.0 sec. user=mdettweiler [2013-04-20 10:50:29] 717*2^1244925-1 is not prime. Res64: 0531FB44F7EADA88 Time : 0.0 sec. user=mdettweiler [2013-04-20 10:51:04] 831*2^1244925-1 is not prime. Res64: 3379DA4A4815CB0A Time : 0.0 sec. user=mdettweiler [2013-04-20 10:51:04] 847*2^1244925-1 is not prime. Res64: A644489ED4F0DD5F Time : 0.0 sec. user=mdettweiler [2013-04-20 11:08:11] 861*2^1244925-1 is not prime. Res64: 10AD8296862A9FAA Time : 0.0 sec. user=mdettweiler [2013-04-20 11:08:12] 927*2^1244925-1 is not prime. Res64: 16382602126D78D5 Time : 0.0 sec. user=mdettweiler [2013-04-20 11:08:45] 951*2^1244925-1 is not prime. Res64: 5A7F6B3EA6A8E5E8 Time : 0.0 sec. user=mdettweiler [2013-04-20 11:08:46] 635*2^1244926-1 is not prime. Res64: 1067254E88D80A3F Time : 0.0 sec. user=mdettweiler [2013-04-20 11:26:17] 657*2^1244926-1 is not prime. Res64: 287C545D2C11B9CD Time : 0.0 sec. user=mdettweiler [2013-04-20 11:26:18] 887*2^1244926-1 is not prime. Res64: E9B281EFAE211827 Time : 0.0 sec. user=mdettweiler [2013-04-20 11:26:54] 609*2^1244927-1 is not prime. Res64: 1D742ED51F5E6294 Time : 0.0 sec. user=mdettweiler [2013-04-20 11:26:54] 621*2^1244927-1 is not prime. Res64: 677D9AAA561C965C Time : 0.0 sec. user=mdettweiler [2013-04-20 11:44:14] 703*2^1244927-1 is not prime. Res64: CD3A2394F93222E9 Time : 0.0 sec. user=mdettweiler [2013-04-20 11:44:15] 825*2^1244927-1 is not prime. Res64: 497B810D1195CB9F Time : 0.0 sec. user=mdettweiler [2013-04-20 11:44:47] 841*2^1244927-1 is not prime. Res64: BC5ABBA40D446E42 Time : 0.0 sec. user=mdettweiler [2013-04-20 11:44:48] 859*2^1244927-1 is not prime. Res64: 715F8A3FD9D26051 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:02:04] 627*2^1244928-1 is not prime. Res64: 6FF32A5198FB1431 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:02:05] 657*2^1244928-1 is not prime. Res64: A93B8FF37E90D465 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:02:37] 663*2^1244928-1 is not prime. Res64: E550259461A1DB21 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:02:37] 737*2^1244928-1 is not prime. Res64: A2A34BC7F238382B Time : 0.0 sec. user=mdettweiler [2013-04-20 12:20:14] 803*2^1244928-1 is not prime. Res64: 6AEBFA513514C48B Time : 0.0 sec. user=mdettweiler [2013-04-20 12:20:14] 809*2^1244928-1 is not prime. Res64: A71F6404D4E31C77 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:20:26] 929*2^1244928-1 is not prime. Res64: 74D083DCF2F4DB31 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:20:26] 769*2^1244929-1 is not prime. Res64: A1DF36B72E9A7F16 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:38:02] 789*2^1244929-1 is not prime. Res64: 9277530B5A88ACA2 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:38:03] 817*2^1244929-1 is not prime. Res64: 56D1FF82A8F6F35A Time : 0.0 sec. user=mdettweiler [2013-04-20 12:39:03] 999*2^1244929-1 is not prime. Res64: 216F6B18170ACAD2 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:39:03] 603*2^1244930-1 is not prime. Res64: 8680E6D218CDCAE6 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:55:49] 641*2^1244930-1 is not prime. Res64: 29BCE039225D19A2 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:55:49] 741*2^1244930-1 is not prime. Res64: 80D21B0972FE66E4 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:56:48] 831*2^1244930-1 is not prime. Res64: 51822ACC5BD7DF70 Time : 0.0 sec. user=mdettweiler [2013-04-20 12:56:48] 861*2^1244930-1 is not prime. Res64: E94CD8DCF6F02397 Time : 0.0 sec. user=mdettweiler [2013-04-20 13:13:35] 875*2^1244930-1 is not prime. Res64: 1C3522FED2FD5202 Time : 0.0 sec. user=mdettweiler [2013-04-20 13:13:35] 923*2^1244930-1 is not prime. Res64: C81A55FB5D9FCD77 Time : 0.0 sec. user=mdettweiler [2013-04-20 13:14:33] 957*2^1244930-1 is not prime. Res64: FCCD88D2D41049BA Time : 0.0 sec. user=mdettweiler [2013-04-20 13:14:33] 995*2^1244930-1 is not prime. Res64: FB0172CAFAE8FA0D Time : 0.0 sec. user=mdettweiler [2013-04-20 13:32:21] 1001*2^1244930-1 is not prime. Res64: CDFD47836ACE5128 Time : 0.0 sec. user=mdettweiler [2013-04-20 13:32:21] 639*2^1244931-1 is not prime. Res64: EF56F1A9C91E2367 Time : 0.0 sec. user=mdettweiler [2013-04-20 13:32:25] 669*2^1244931-1 is not prime. Res64: 79F7EE8CAE257836 Time : 0.0 sec. user=mdettweiler [2013-04-20 13:32:25] 709*2^1244931-1 is not prime. Res64: 1AF19398BB0F97DC Time : 0.0 sec. user=mdettweiler [2013-04-20 13:50:09] 945*2^1244931-1 is not prime. Res64: 6922A6FA1098E30F Time : 0.0 sec. user=mdettweiler [2013-04-20 13:50:09] 951*2^1244931-1 is not prime. Res64: 351CE0CB1AA57416 Time : 0.0 sec. user=mdettweiler [2013-04-20 13:50:13] 615*2^1244932-1 is not prime. Res64: D51AAD1F01B07D9D Time : 0.0 sec. user=mdettweiler [2013-04-20 13:50:13] 693*2^1244932-1 is not prime. Res64: 53482A4CD825AB83 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:07:57] 749*2^1244932-1 is not prime. Res64: 6600C1F4F0D9B794 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:07:58] 803*2^1244932-1 is not prime. Res64: 248B4A101AFEBA46 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:07:59] 843*2^1244932-1 is not prime. Res64: 48AC08095A68248B Time : 0.0 sec. user=mdettweiler [2013-04-20 14:08:00] 875*2^1244932-1 is not prime. Res64: 626CE0D1E2788425 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:26:08] 909*2^1244932-1 is not prime. Res64: E729738A98C53EB6 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:26:08] 933*2^1244932-1 is not prime. Res64: B8AE644FF1A93F5A Time : 0.0 sec. user=mdettweiler [2013-04-20 14:26:09] 649*2^1244933-1 is not prime. Res64: 34A3F8951067EBC2 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:26:09] 697*2^1244933-1 is not prime. Res64: C5F608BF8FBBE16A Time : 0.0 sec. user=mdettweiler [2013-04-20 14:44:08] 861*2^1244933-1 is not prime. Res64: 5A50DDCFCE1788A7 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:44:08] 867*2^1244933-1 is not prime. Res64: 19E7886C2DF9C651 Time : 0.0 sec. user=mdettweiler [2013-04-20 14:44:09] 879*2^1244933-1 is not prime. Res64: EC38058D201CA11B Time : 0.0 sec. user=mdettweiler [2013-04-20 14:44:09] 925*2^1244933-1 is not prime. Res64: C866E71E8B54E973 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:01:58] 949*2^1244933-1 is not prime. Res64: D0716EB51649D981 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:01:58] 725*2^1244934-1 is not prime. Res64: 37406BED7026F157 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:01:59] 711*2^1244934-1 is not prime. Res64: 53819DAF63E13F68 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:01:59] 755*2^1244934-1 is not prime. Res64: B0C99B4BE3596E6A Time : 0.0 sec. user=mdettweiler [2013-04-20 15:19:53] 861*2^1244934-1 is not prime. Res64: 28CE354E0C0E3CB9 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:19:54] 873*2^1244934-1 is not prime. Res64: 3EF826D0C12D6A7B Time : 0.0 sec. user=mdettweiler [2013-04-20 15:19:54] 723*2^1244935-1 is not prime. Res64: 534EAA8FF3CC287F Time : 0.0 sec. user=mdettweiler [2013-04-20 15:19:54] 909*2^1244935-1 is not prime. Res64: 83E5B6F5CB78DECB Time : 0.0 sec. user=mdettweiler [2013-04-20 15:37:41] 609*2^1244936-1 is not prime. Res64: 6FF701C538567F8A Time : 0.0 sec. user=mdettweiler [2013-04-20 15:37:41] 615*2^1244936-1 is not prime. Res64: B1F55E431A77C010 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:37:42] 719*2^1244936-1 is not prime. Res64: 13DD51123435E0B9 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:37:42] 743*2^1244936-1 is not prime. Res64: 80E684B90A3F1385 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:55:26] 937*2^1244937-1 is not prime. Res64: AC1118F162F529E9 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:55:26] 759*2^1244936-1 is not prime. Res64: 1B204B285CA5F508 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:55:26] 635*2^1244938-1 is not prime. Res64: 5CDB06575C689B65 Time : 0.0 sec. user=mdettweiler [2013-04-20 15:55:26] 927*2^1244936-1 is not prime. Res64: A1A5B18D0BB60F41 Time : 0.0 sec. user=mdettweiler [2013-04-20 16:13:12] 647*2^1244938-1 is not prime. Res64: 543A732859E87449 Time : 0.0 sec. user=mdettweiler [2013-04-20 16:13:12] 713*2^1244938-1 is not prime. Res64: BA721746E154576F Time : 0.0 sec. user=mdettweiler [2013-04-20 16:13:13] 687*2^1244938-1 is not prime. Res64: 3083BD28F93EBF82 Time : 0.0 sec. user=mdettweiler [2013-04-20 16:13:13] 723*2^1244938-1 is not prime. Res64: B48665DD9D55E7BF Time : 0.0 sec. user=mdettweiler [2013-04-20 16:31:02] 773*2^1244938-1 is not prime. Res64: 4444A755974E8E21 Time : 0.0 sec. user=mdettweiler [2013-04-20 16:31:02] 827*2^1244938-1 is not prime. Res64: A24C1B25FDDE5642 Time : 0.0 sec. user=mdettweiler [2013-04-20 16:31:02] 923*2^1244938-1 is not prime. Res64: C4AB6285542314D5 Time : 0.0 sec. user=mdettweiler [2013-04-20 16:31:03] 619*2^1244939-1 is not prime. Res64: 9B7FF282A729510C Time : 0.0 sec. user=mdettweiler [2013-04-20 16:48:47] 631*2^1244939-1 is not prime. Res64: FA42F88E158364CD Time : 0.0 sec. user=mdettweiler [2013-04-20 16:48:48] 705*2^1244939-1 is not prime. Res64: C0E8B3B93A024918 Time : 0.0 sec. user=mdettweiler [2013-04-20 16:48:48] 799*2^1244939-1 is not prime. Res64: BB22443B48CD807B Time : 0.0 sec. user=mdettweiler [2013-04-20 16:48:49] 909*2^1244939-1 is not prime. Res64: 90E1642F0C443009 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:06:36] 653*2^1244940-1 is not prime. Res64: CCFE57392ECBC2F9 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:06:37] 819*2^1244940-1 is not prime. Res64: 03CF6B9B3BAE9B6E Time : 0.0 sec. user=mdettweiler [2013-04-20 17:06:37] 759*2^1244940-1 is not prime. Res64: 25281CFCB71F016F Time : 0.0 sec. user=mdettweiler [2013-04-20 17:06:37] 945*2^1244940-1 is not prime. Res64: 233564D108353C95 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:24:27] 789*2^1244941-1 is not prime. Res64: DE70319576555336 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:24:28] 799*2^1244941-1 is not prime. Res64: 3227E133B2834A54 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:24:31] 627*2^1244942-1 is not prime. Res64: 545BDB0DE2E60DBF Time : 0.0 sec. user=mdettweiler [2013-04-20 17:24:32] 683*2^1244942-1 is not prime. Res64: D2E7FDA06B714C55 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:42:32] 813*2^1244942-1 is not prime. Res64: 6DD8E1EC4A155362 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:42:32] 843*2^1244942-1 is not prime. Res64: EFA8FCEA15D8DEF4 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:42:32] 827*2^1244942-1 is not prime. Res64: DF318D9DE0E6A184 Time : 0.0 sec. user=mdettweiler [2013-04-20 17:42:32] 679*2^1244943-1 is not prime. Res64: F3D5456D5ED2BE62 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:00:18] 861*2^1244943-1 is not prime. Res64: 777A08B984EA8827 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:00:18] 885*2^1244943-1 is not prime. Res64: 1D9ECF8A03EF8077 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:00:19] 879*2^1244943-1 is not prime. Res64: F7A67A25D3633D8F Time : 0.0 sec. user=mdettweiler [2013-04-20 18:00:19] 963*2^1244943-1 is not prime. Res64: D7E43DB022AEE279 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:18:05] 991*2^1244943-1 is not prime. Res64: 06ED9D49471D5E23 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:18:05] 609*2^1244944-1 is not prime. Res64: 7BA17E8B4DDA3A39 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:18:06] 705*2^1244944-1 is not prime. Res64: 41AF5BF7E11B9872 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:18:07] 755*2^1244944-1 is not prime. Res64: E8875E8C73BB4475 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:35:55] 875*2^1244944-1 is not prime. Res64: 688EDAE5FE98DB8D Time : 0.0 sec. user=mdettweiler [2013-04-20 18:35:56] 651*2^1244945-1 is not prime. Res64: 5EAA759B7E1EC437 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:35:56] 969*2^1244944-1 is not prime. Res64: CC82E907FCC71127 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:35:56] 771*2^1244945-1 is not prime. Res64: A771839CB671A66A Time : 0.0 sec. user=mdettweiler [2013-04-20 18:53:46] 957*2^1244945-1 is not prime. Res64: 2C2A173BA0925252 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:53:46] 657*2^1244946-1 is not prime. Res64: 84F45A9469FDF6B1 Time : 0.0 sec. user=mdettweiler [2013-04-20 18:53:47] 677*2^1244946-1 is not prime. Res64: 245D8AA5DEE4BB5F Time : 0.0 sec. user=mdettweiler [2013-04-20 18:53:47] 723*2^1244946-1 is not prime. Res64: 22F6E4B11572BE5A Time : 0.0 sec. user=mdettweiler [2013-04-20 19:11:32] 783*2^1244946-1 is not prime. Res64: B37AC4E93E1175A1 Time : 0.0 sec. user=mdettweiler [2013-04-20 19:11:33] 741*2^1244946-1 is not prime. Res64: 4168A1F7B821B254 Time : 0.0 sec. user=mdettweiler [2013-04-20 19:11:33] 975*2^1244946-1 is not prime. Res64: AFA86B5245A83BE2 Time : 0.0 sec. user=mdettweiler [2013-04-20 19:11:33] 755*2^1244946-1 is not prime. Res64: 298EF9715042CBE0 Time : 0.0 sec. user=mdettweiler [2013-04-20 19:29:35] 619*2^1244947-1 is not prime. Res64: 218A448B03FF155D Time : 0.0 sec. user=mdettweiler [2013-04-20 19:29:35] 843*2^1244947-1 is not prime. Res64: 2BF149E87E399012 Time : 0.0 sec. user=mdettweiler [2013-04-20 19:29:36] 631*2^1244947-1 is not prime. Res64: F8BF4835A88A65BE Time : 0.0 sec. user=mdettweiler [2013-04-20 19:29:36] 859*2^1244947-1 is not prime. Res64: ED293771DEC02C19 Time : 0.0 sec. user=mdettweiler [2013-04-20 19:47:23] 885*2^1244947-1 is not prime. Res64: 0692C498BE7827D3 Time : 0.0 sec. user=mdettweiler [2013-04-20 19:47:24] 895*2^1244947-1 is not prime. Res64: 700236BB6F07A8CC Time : 0.0 sec. user=mdettweiler [2013-04-20 19:47:26] 945*2^1244947-1 is not prime. Res64: 82F53133BED17E5D Time : 0.0 sec. user=mdettweiler [2013-04-20 19:47:26] 979*2^1244947-1 is not prime. Res64: 35B32E50FD9FAB73 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:05:11] 677*2^1244948-1 is not prime. Res64: 8DDDDE0511D25EA4 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:05:13] 749*2^1244948-1 is not prime. Res64: A0B63E99CD61FC2C Time : 0.0 sec. user=mdettweiler [2013-04-20 20:05:13] 843*2^1244948-1 is not prime. Res64: 1899140FA3346FBC Time : 0.0 sec. user=mdettweiler [2013-04-20 20:05:14] 855*2^1244948-1 is not prime. Res64: 293E2F519BCC4710 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:23:09] 897*2^1244948-1 is not prime. Res64: DFD125032F676C00 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:23:10] 987*2^1244948-1 is not prime. Res64: FD2AA6A58D167841 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:23:11] 649*2^1244949-1 is not prime. Res64: E9FB0021F5A90FCD Time : 0.0 sec. user=mdettweiler [2013-04-20 20:23:12] 669*2^1244949-1 is not prime. Res64: 222B58A1B05C56C6 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:41:01] 961*2^1244949-1 is not prime. Res64: 2277C8C28A70EE01 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:41:02] 979*2^1244949-1 is not prime. Res64: BC4C8B95ADD2A25F Time : 0.0 sec. user=mdettweiler [2013-04-20 20:41:02] 623*2^1244950-1 is not prime. Res64: FD69A633EDCFF370 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:41:02] 723*2^1244950-1 is not prime. Res64: 5C7CCB0242946258 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:58:50] 731*2^1244950-1 is not prime. Res64: CA2A09C5E21374EF Time : 0.0 sec. user=mdettweiler [2013-04-20 20:58:50] 761*2^1244950-1 is not prime. Res64: 542F62F736FEA268 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:58:51] 765*2^1244950-1 is not prime. Res64: AFE3765372757328 Time : 0.0 sec. user=mdettweiler [2013-04-20 20:58:51] 773*2^1244950-1 is not prime. Res64: 7D8E8875BE85FCFF Time : 0.0 sec. user=mdettweiler [2013-04-20 21:16:36] 825*2^1244950-1 is not prime. Res64: 5C5FC8002777D251 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:16:37] 917*2^1244950-1 is not prime. Res64: ACA7EDE270C42A60 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:16:37] 873*2^1244950-1 is not prime. Res64: 213D1BD46CF2C7D7 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:16:37] 609*2^1244951-1 is not prime. Res64: FDEF32E6C17F6BFB Time : 0.0 sec. user=mdettweiler [2013-04-20 21:34:27] 859*2^1244951-1 is not prime. Res64: 9FD44AE15DF7C1B5 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:34:27] 745*2^1244951-1 is not prime. Res64: A918B68CF606E847 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:34:27] 909*2^1244951-1 is not prime. Res64: 9FB8A28C22F414BD Time : 0.0 sec. user=mdettweiler [2013-04-20 21:34:27] 813*2^1244951-1 is not prime. Res64: 9BE4D9AD1CA68E16 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:52:12] 991*2^1244951-1 is not prime. Res64: A59ECE339FB91608 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:52:13] 635*2^1244952-1 is not prime. Res64: 611795A5353967DB Time : 0.0 sec. user=mdettweiler [2013-04-20 21:52:15] 863*2^1244952-1 is not prime. Res64: 9E0F2FB27E0FFB23 Time : 0.0 sec. user=mdettweiler [2013-04-20 21:52:15] 893*2^1244952-1 is not prime. Res64: 69BC718F125286D2 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:09:57] 947*2^1244952-1 is not prime. Res64: BD2E07A9676D2724 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:09:58] 959*2^1244952-1 is not prime. Res64: B5599BF074308F1D Time : 0.0 sec. user=mdettweiler [2013-04-20 22:09:59] 729*2^1244953-1 is not prime. Res64: 05DC681A8DC88532 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:10:00] 847*2^1244953-1 is not prime. Res64: CA91EB0049B6F9E1 Time : 0.0 sec. user=vaughan [2013-04-20 22:27:41] 945*2^1244952-1 is not prime. Res64: 4414406399696D83 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:27:48] 617*2^1244954-1 is not prime. Res64: B9B08AB8DBAFB119 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:27:49] 623*2^1244954-1 is not prime. Res64: EFF7FE7C323827A1 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:27:49] 665*2^1244954-1 is not prime. Res64: 635A6CF41DDDD86F Time : 0.0 sec. user=mdettweiler [2013-04-20 22:27:49] 837*2^1244954-1 is not prime. Res64: 1DAD689504EB3D35 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:45:32] 793*2^1244955-1 is not prime. Res64: BE9ABA49E311F3F6 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:45:32] 973*2^1244955-1 is not prime. Res64: 9697E02347511357 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:45:33] 695*2^1244956-1 is not prime. Res64: 6DA96879F0E966B0 Time : 0.0 sec. user=mdettweiler [2013-04-20 22:45:33] 759*2^1244956-1 is not prime. Res64: 6C6ABE66AFFD12CA Time : 0.0 sec. user=mdettweiler [2013-04-20 23:03:23] 777*2^1244956-1 is not prime. Res64: CB94296A8940CE8C Time : 0.0 sec. user=mdettweiler [2013-04-20 23:03:24] 833*2^1244956-1 is not prime. Res64: 620B47DCD36789DC Time : 0.0 sec. user=mdettweiler [2013-04-20 23:04:13] 999*2^1244956-1 is not prime. Res64: 969E05DF514B1BF4 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:04:14] 741*2^1244957-1 is not prime. Res64: E7C0994F5DD5513E Time : 0.0 sec. user=vaughan [2013-04-20 23:05:58] 751*2^1244955-1 is not prime. Res64: E47769D83B487686 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:21:03] 759*2^1244957-1 is not prime. Res64: 1BC5A9B0A83CEA5C Time : 0.0 sec. user=mdettweiler [2013-04-20 23:21:03] 769*2^1244957-1 is not prime. Res64: 7BE2ECD3FE20E426 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:21:42] 831*2^1244957-1 is not prime. Res64: 35530143ADE52EB2 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:21:42] 889*2^1244957-1 is not prime. Res64: 43AFA00DC5228556 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:38:32] 681*2^1244958-1 is not prime. Res64: 0525EBB8FD53D155 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:38:33] 711*2^1244958-1 is not prime. Res64: 28E1E240E24E5700 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:39:07] 761*2^1244958-1 is not prime. Res64: A999E07AC06A7203 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:39:08] 843*2^1244958-1 is not prime. Res64: 263242BB7EBE8E59 Time : 0.0 sec. user=vaughan [2013-04-20 23:49:18] 939*2^1244957-1 is not prime. Res64: D6DC4C603A8746D1 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:55:58] 867*2^1244958-1 is not prime. Res64: 34A8621801376514 Time : 0.0 sec. user=mdettweiler [2013-04-20 23:55:59] 933*2^1244958-1 is not prime. Res64: 07E560CEF5A42DEB Time : 0.0 sec. user=mdettweiler [2013-04-20 23:56:34] 945*2^1244958-1 is not prime. Res64: E4D636FA2271F2AA Time : 0.0 sec. user=mdettweiler [2013-04-20 23:56:34] 971*2^1244958-1 is not prime. Res64: 357F311CBAC08343 Time : 0.0 sec.