user=mdettweiler [2013-05-20 00:03:55] 867*2^1246078-1 is not prime. Res64: 746FC0E58EC51401 Time : 0.0 sec. user=mdettweiler [2013-05-20 00:14:16] 789*2^1246079-1 is not prime. Res64: 0C8F0066BD069DD8 Time : 0.0 sec. user=mdettweiler [2013-05-20 00:31:48] 811*2^1246079-1 is not prime. Res64: A6A50BD22D9D9534 Time : 0.0 sec. user=mdettweiler [2013-05-20 00:31:48] 913*2^1246079-1 is not prime. Res64: 92A7BB429DB8F91D Time : 0.0 sec. user=mdettweiler [2013-05-20 00:45:50] 629*2^1246080-1 is not prime. Res64: 818ACD75294B318A Time : 0.0 sec. user=mdettweiler [2013-05-20 00:49:40] 797*2^1246080-1 is not prime. Res64: 53371E1DC43C8031 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:10:29] 717*2^1246080-1 is not prime. Res64: A6BEE4684420F654 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:21:40] 839*2^1246080-1 is not prime. Res64: D98931B113986E54 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:28:16] 845*2^1246080-1 is not prime. Res64: 6859BA7E005AE909 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:28:17] 849*2^1246080-1 is not prime. Res64: 01B09AA8B2DDA261 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:39:06] 607*2^1246081-1 is not prime. Res64: 20BAB60E2E3606F7 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:39:07] 685*2^1246081-1 is not prime. Res64: 8D57E4B7A1690223 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:45:52] 751*2^1246081-1 is not prime. Res64: AA054AF15DEABB6F Time : 0.0 sec. user=mdettweiler [2013-05-20 01:57:43] 951*2^1246081-1 is not prime. Res64: A1898C9AEF37E758 Time : 0.0 sec. user=mdettweiler [2013-05-20 01:57:43] 979*2^1246081-1 is not prime. Res64: B4189330C7FA9EAC Time : 0.0 sec. user=mdettweiler [2013-05-20 02:15:32] 617*2^1246082-1 is not prime. Res64: 52B787A7873CD98F Time : 0.0 sec. user=mdettweiler [2013-05-20 02:15:32] 633*2^1246082-1 is not prime. Res64: 5C8A122128DF6575 Time : 0.0 sec. user=mdettweiler [2013-05-20 02:23:27] 867*2^1246081-1 is not prime. Res64: 513191E882F6CC79 Time : 0.0 sec. user=mdettweiler [2013-05-20 02:33:23] 677*2^1246082-1 is not prime. Res64: 23ECCCEFA9375B87 Time : 0.0 sec. user=mdettweiler [2013-05-20 02:33:24] 797*2^1246082-1 is not prime. Res64: 31D6C59F07D01231 Time : 0.0 sec. user=mdettweiler [2013-05-20 02:42:09] 843*2^1246082-1 is not prime. Res64: 6F68CB5F4AEC467F Time : 0.0 sec. user=mdettweiler [2013-05-20 02:51:09] 705*2^1246083-1 is not prime. Res64: E63256C155225052 Time : 0.0 sec. user=mdettweiler [2013-05-20 02:51:10] 795*2^1246083-1 is not prime. Res64: BB23A21A4ED69D2D Time : 0.0 sec. user=mdettweiler [2013-05-20 03:03:37] 987*2^1246082-1 is not prime. Res64: 66089103820E895F Time : 0.0 sec. user=mdettweiler [2013-05-20 03:08:50] 805*2^1246083-1 is not prime. Res64: E9108DBF3A901632 Time : 0.0 sec. user=mdettweiler [2013-05-20 03:08:51] 871*2^1246083-1 is not prime. Res64: 2CB0962E14F7A38B Time : 0.0 sec. user=mdettweiler [2013-05-20 03:21:19] 961*2^1246083-1 is not prime. Res64: 2717E5AD6C87208B Time : 0.0 sec. user=mdettweiler [2013-05-20 03:21:20] 615*2^1246084-1 is not prime. Res64: 26FF9BA4A812599D Time : 0.0 sec. user=mdettweiler [2013-05-20 03:26:33] 635*2^1246084-1 is not prime. Res64: 9E4BA33D38C9A14A Time : 0.0 sec. user=mdettweiler [2013-05-20 03:39:09] 723*2^1246084-1 is not prime. Res64: 320B9B9A095C3502 Time : 0.0 sec. user=mdettweiler [2013-05-20 03:39:10] 827*2^1246084-1 is not prime. Res64: B10BE4258F04F5FC Time : 0.0 sec. user=mdettweiler [2013-05-20 03:45:07] 665*2^1246084-1 is not prime. Res64: EF069081FDE5AA09 Time : 0.0 sec. user=mdettweiler [2013-05-20 03:57:57] 885*2^1246084-1 is not prime. Res64: 702B17CC4DEA23D4 Time : 0.0 sec. user=mdettweiler [2013-05-20 04:02:35] 607*2^1246085-1 is not prime. Res64: CF61433C1A4D363B Time : 0.0 sec. user=mdettweiler [2013-05-20 04:02:37] 649*2^1246085-1 is not prime. Res64: 38AB4991C11FC6E6 Time : 0.0 sec. user=mdettweiler [2013-05-20 04:20:35] 697*2^1246085-1 is not prime. Res64: 46D1951640AD17D7 Time : 0.0 sec. user=mdettweiler [2013-05-20 04:22:21] 989*2^1246084-1 is not prime. Res64: 301E35EBFCFB6228 Time : 0.0 sec. user=mdettweiler [2013-05-20 04:56:35] 867*2^1246085-1 is not prime. Res64: 47B65C2C6DF64ACA Time : 0.0 sec. user=mdettweiler [2013-05-20 05:14:16] 897*2^1246085-1 is not prime. Res64: 344E492B9DFF062C Time : 0.0 sec. user=mdettweiler [2013-05-20 05:16:40] 985*2^1246085-1 is not prime. Res64: B8D6BF91E7E50B42 Time : 0.0 sec. user=mdettweiler [2013-05-20 05:16:40] 987*2^1246085-1 is not prime. Res64: 2BE46223921D9E83 Time : 0.0 sec. user=mdettweiler [2013-05-20 05:33:42] 937*2^1246085-1 is not prime. Res64: D6E71C25758A2BD9 Time : 0.0 sec. user=mdettweiler [2013-05-20 05:34:28] 705*2^1246086-1 is not prime. Res64: 11C3955F746DAB1C Time : 0.0 sec. user=mdettweiler [2013-05-20 05:34:29] 717*2^1246086-1 is not prime. Res64: 49B7AE2469F49FDC Time : 0.0 sec. user=mdettweiler [2013-05-20 05:52:14] 725*2^1246086-1 is not prime. Res64: FEE778544AB24170 Time : 0.0 sec. user=mdettweiler [2013-05-20 05:52:15] 815*2^1246086-1 is not prime. Res64: 1A23300015751278 Time : 0.0 sec. user=mdettweiler [2013-05-20 06:09:58] 851*2^1246086-1 is not prime. Res64: C5DA1FFE265B33AF Time : 0.0 sec. user=mdettweiler [2013-05-20 06:09:59] 829*2^1246087-1 is not prime. Res64: 0064017E6A5CB43A Time : 0.0 sec. user=mdettweiler [2013-05-20 06:13:24] 883*2^1246087-1 is not prime. Res64: A3BDED104E1B8DC3 Time : 0.0 sec. user=mdettweiler [2013-05-20 06:13:25] 895*2^1246087-1 is not prime. Res64: 3646B815823ADAF5 Time : 0.0 sec. user=mdettweiler [2013-05-20 06:27:40] 933*2^1246087-1 is not prime. Res64: 8B45D2ED58141E3B Time : 0.0 sec. user=mdettweiler [2013-05-20 06:27:40] 951*2^1246087-1 is not prime. Res64: 34F59D0E9A14422D Time : 0.0 sec. user=mdettweiler [2013-05-20 06:30:51] 961*2^1246087-1 is not prime. Res64: DC6EE2F3CEC5783D Time : 0.0 sec. user=mdettweiler [2013-05-20 06:30:51] 617*2^1246088-1 is not prime. Res64: 4F23CC741F76E81A Time : 0.0 sec. user=mdettweiler [2013-05-20 06:45:10] 659*2^1246088-1 is not prime. Res64: 5EF4F282D8861140 Time : 0.0 sec. user=mdettweiler [2013-05-20 06:45:10] 665*2^1246088-1 is not prime. Res64: E03CDC1AEFE914ED Time : 0.0 sec. user=mdettweiler [2013-05-20 06:48:40] 755*2^1246088-1 is not prime. Res64: 8978A3315A5CCEC2 Time : 0.0 sec. user=mdettweiler [2013-05-20 06:48:40] 637*2^1246089-1 is not prime. Res64: E455D0F178D43667 Time : 0.0 sec. user=mdettweiler [2013-05-20 07:03:04] 661*2^1246089-1 is not prime. Res64: 8959D48467CBCE21 Time : 0.0 sec. user=mdettweiler [2013-05-20 07:06:18] 885*2^1246089-1 is not prime. Res64: C81A89939924EE6B Time : 0.0 sec. user=mdettweiler [2013-05-20 07:33:12] 975*2^1246089-1 is not prime. Res64: 13CBF41629394BE4 Time : 0.0 sec. user=mdettweiler [2013-05-20 07:40:53] 675*2^1246089-1 is not prime. Res64: DE6A4A83708B1203 Time : 0.0 sec. user=mdettweiler [2013-05-20 07:51:42] 999*2^1246089-1 is not prime. Res64: A55AA1C297A78AB3 Time : 0.0 sec. user=mdettweiler [2013-05-20 07:58:23] 713*2^1246090-1 is not prime. Res64: 5DC1C875894AFBD4 Time : 0.0 sec. user=mdettweiler [2013-05-20 07:58:24] 723*2^1246090-1 is not prime. Res64: 83AE0FF35208BF27 Time : 0.0 sec. user=mdettweiler [2013-05-20 08:14:09] 665*2^1246090-1 is not prime. Res64: 067D0CBC6AB603DD Time : 0.0 sec. user=mdettweiler [2013-05-20 08:16:17] 735*2^1246090-1 is not prime. Res64: 1331324A32465F86 Time : 0.0 sec. user=mdettweiler [2013-05-20 08:32:02] 867*2^1246090-1 is not prime. Res64: C2EC2D5E56611C7F Time : 0.0 sec. user=mdettweiler [2013-05-20 08:32:02] 873*2^1246090-1 is not prime. Res64: 612E6657D74CCFCC Time : 0.0 sec. user=mdettweiler [2013-05-20 08:42:14] 845*2^1246090-1 is not prime. Res64: 4CC74312550D2A0D Time : 0.0 sec. user=mdettweiler [2013-05-20 08:49:29] 885*2^1246090-1 is not prime. Res64: 2E93870FAF76E1E5 Time : 0.0 sec. user=mdettweiler [2013-05-20 08:49:46] 651*2^1246091-1 is not prime. Res64: 2604FD4C4263DB21 Time : 0.0 sec. user=mdettweiler [2013-05-20 08:59:40] 813*2^1246091-1 is not prime. Res64: F97FB24CD22ABBA5 Time : 0.0 sec. user=mdettweiler [2013-05-20 08:59:41] 873*2^1246092-1 is not prime. Res64: 8B10FBB21BD1FC81 Time : 0.0 sec. user=mdettweiler [2013-05-20 09:17:08] 945*2^1246092-1 is not prime. Res64: BBB0EF5E9AD83249 Time : 0.0 sec. user=mdettweiler [2013-05-20 09:17:09] 639*2^1246093-1 is not prime. Res64: 65A0F813D642A31E Time : 0.0 sec. user=mdettweiler [2013-05-20 09:30:39] 715*2^1246093-1 is not prime. Res64: E45956AD7FE01B90 Time : 0.0 sec. user=mdettweiler [2013-05-20 09:30:40] 745*2^1246093-1 is not prime. Res64: 13BF61CE6CFF63CF Time : 0.0 sec. user=mdettweiler [2013-05-20 09:34:51] 757*2^1246093-1 is not prime. Res64: F863EBAB4B4CB567 Time : 0.0 sec. user=mdettweiler [2013-05-20 09:34:52] 817*2^1246093-1 is not prime. Res64: 47C60414E8D53310 Time : 0.0 sec. user=mdettweiler [2013-05-20 09:48:23] 861*2^1246093-1 is not prime. Res64: E7F59BE93E3E2B2D Time : 0.0 sec. user=mdettweiler [2013-05-20 09:48:23] 915*2^1246093-1 is not prime. Res64: 9A495EB26186C21D Time : 0.0 sec. user=mdettweiler [2013-05-20 09:52:34] 937*2^1246093-1 is not prime. Res64: 3E841F7D312A8C78 Time : 0.0 sec. user=mdettweiler [2013-05-20 09:52:34] 615*2^1246094-1 is not prime. Res64: 95425A0F68E9A105 Time : 0.0 sec. user=mdettweiler [2013-05-20 10:06:07] 623*2^1246094-1 is not prime. Res64: 82D9E1EDF7A8DDB1 Time : 0.0 sec. user=mdettweiler [2013-05-20 10:06:08] 635*2^1246094-1 is not prime. Res64: C69B622242BF751F Time : 0.0 sec. user=mdettweiler [2013-05-20 10:23:58] 885*2^1246094-1 is not prime. Res64: 7F76062278149BE9 Time : 0.0 sec. user=mdettweiler [2013-05-20 10:23:58] 897*2^1246094-1 is not prime. Res64: 1D01D95BACD8B16B Time : 0.0 sec. user=mdettweiler [2013-05-20 10:36:31] 731*2^1246094-1 is not prime. Res64: B8C1F8C654F1D944 Time : 0.0 sec. user=mdettweiler [2013-05-20 10:36:31] 797*2^1246094-1 is not prime. Res64: 4AC94B3CC8E46480 Time : 0.0 sec. user=mdettweiler [2013-05-20 10:41:43] 945*2^1246094-1 is not prime. Res64: C8A11F4DA8CAD147 Time : 0.0 sec. user=mdettweiler [2013-05-20 10:41:43] 693*2^1246095-1 is not prime. Res64: D9C024D9A4892638 Time : 0.0 sec. user=mdettweiler [2013-05-20 10:53:58] 711*2^1246095-1 is not prime. Res64: 57E59AB6093FA4CA Time : 0.0 sec. user=mdettweiler [2013-05-20 10:53:59] 819*2^1246095-1 is not prime. Res64: 08BFAE8669C46EEA Time : 0.0 sec. user=mdettweiler [2013-05-20 10:59:16] 829*2^1246095-1 is not prime. Res64: DF9309A761F0528A Time : 0.0 sec. user=mdettweiler [2013-05-20 10:59:17] 853*2^1246095-1 is not prime. Res64: B6981675D88D9832 Time : 0.0 sec. user=mdettweiler [2013-05-20 11:12:28] 657*2^1246096-1 is not prime. Res64: 4F8691070EA50168 Time : 0.0 sec. user=mdettweiler [2013-05-20 11:17:03] 785*2^1246096-1 is not prime. Res64: 159C5D8A8172951F Time : 0.0 sec. user=mdettweiler [2013-05-20 11:17:03] 933*2^1246096-1 is not prime. Res64: F99EB5E38A17A7CD Time : 0.0 sec. user=mdettweiler [2013-05-20 11:33:23] 759*2^1246096-1 is not prime. Res64: E68DCD586A767147 Time : 0.0 sec. user=mdettweiler [2013-05-20 11:36:32] 957*2^1246096-1 is not prime. Res64: CCB969396C1BB231 Time : 0.0 sec. user=mdettweiler [2013-05-20 11:36:32] 989*2^1246096-1 is not prime. Res64: 53F307592B101427 Time : 0.0 sec. user=mdettweiler [2013-05-20 11:51:46] 829*2^1246097-1 is not prime. Res64: 26043A521AD3B6E1 Time : 0.0 sec. user=mdettweiler [2013-05-20 11:54:56] 925*2^1246097-1 is not prime. Res64: 232DFA4970EDA46F Time : 0.0 sec. user=mdettweiler [2013-05-20 12:19:48] 915*2^1246097-1 is not prime. Res64: 5F9587F6B8B48BED Time : 0.0 sec. user=mdettweiler [2013-05-20 12:25:16] 949*2^1246097-1 is not prime. Res64: 85FD6C61A3DCA18D Time : 0.0 sec. user=mdettweiler [2013-05-20 12:37:39] 671*2^1246098-1 is not prime. Res64: 82941A90387E336E Time : 0.0 sec. user=mdettweiler [2013-05-20 12:37:39] 891*2^1246098-1 is not prime. Res64: D275D5BF7949A8C7 Time : 0.0 sec. user=mdettweiler [2013-05-20 12:55:22] 975*2^1246098-1 is not prime. Res64: 8842567E9F201329 Time : 0.0 sec. user=mdettweiler [2013-05-20 12:55:23] 601*2^1246099-1 is not prime. Res64: 6A31ADF69F8FA122 Time : 0.0 sec. user=mdettweiler [2013-05-20 13:13:15] 765*2^1246099-1 is not prime. Res64: 92D19388D3379897 Time : 0.0 sec. user=mdettweiler [2013-05-20 13:13:15] 769*2^1246099-1 is not prime. Res64: 1EFEE0809100DA7C Time : 0.0 sec. user=mdettweiler [2013-05-20 13:21:08] 771*2^1246099-1 is not prime. Res64: 53DFB28CAC7FF99C Time : 0.0 sec. user=mdettweiler [2013-05-20 13:31:18] 909*2^1246099-1 is not prime. Res64: 68436B1D8913EC51 Time : 0.0 sec. user=mdettweiler [2013-05-20 13:31:19] 931*2^1246099-1 is not prime. Res64: A3C9314F6E12AE35 Time : 0.0 sec. user=mdettweiler [2013-05-20 13:49:01] 975*2^1246099-1 is not prime. Res64: C873003D3CF98E18 Time : 0.0 sec. user=mdettweiler [2013-05-20 13:49:01] 629*2^1246100-1 is not prime. Res64: B0AAA97010A318C6 Time : 0.0 sec. user=mdettweiler [2013-05-20 13:58:36] 793*2^1246099-1 is not prime. Res64: 938B0CE50C18BE38 Time : 0.0 sec. user=mdettweiler [2013-05-20 14:06:52] 665*2^1246100-1 is not prime. Res64: C333A7F4579EE4E7 Time : 0.0 sec. user=mdettweiler [2013-05-20 14:38:42] 735*2^1246100-1 is not prime. Res64: D571A10635C3CD15 Time : 0.0 sec. user=mdettweiler [2013-05-20 14:38:43] 839*2^1246100-1 is not prime. Res64: 8E09EC639681605B Time : 0.0 sec. user=mdettweiler [2013-05-20 14:45:06] 669*2^1246100-1 is not prime. Res64: C4010E1929E1CCEB Time : 0.0 sec. user=mdettweiler [2013-05-20 14:56:32] 885*2^1246100-1 is not prime. Res64: 9AFD12C084B7B058 Time : 0.0 sec. user=mdettweiler [2013-05-20 14:56:33] 649*2^1246101-1 is not prime. Res64: E8F68CB45E6A2FDD Time : 0.0 sec. user=mdettweiler [2013-05-20 15:14:10] 747*2^1246101-1 is not prime. Res64: 1EDFE95503F41FB1 Time : 0.0 sec. user=mdettweiler [2013-05-20 15:14:10] 781*2^1246101-1 is not prime. Res64: 78F8C4156C91F16F Time : 0.0 sec. user=mdettweiler [2013-05-20 15:32:56] 877*2^1246101-1 is not prime. Res64: 747AFD8B745AFC74 Time : 0.0 sec. user=mdettweiler [2013-05-20 15:32:56] 657*2^1246102-1 is not prime. Res64: 593D25E17A4E20C8 Time : 0.0 sec. user=mdettweiler [2013-05-20 15:58:16] 979*2^1246101-1 is not prime. Res64: 11F94B00E0B36676 Time : 0.0 sec. user=mdettweiler [2013-05-20 16:09:19] 671*2^1246102-1 is not prime. Res64: 4BF8EA4544C129EF Time : 0.0 sec. user=mdettweiler [2013-05-20 16:15:58] 731*2^1246102-1 is not prime. Res64: AE5B53E4D81790AC Time : 0.0 sec. user=mdettweiler [2013-05-20 16:15:58] 831*2^1246102-1 is not prime. Res64: AAD25DA8403AA6C0 Time : 0.0 sec. user=mdettweiler [2013-05-20 16:34:08] 881*2^1246102-1 is not prime. Res64: 0B72181139E0B786 Time : 0.0 sec. user=mdettweiler [2013-05-20 16:50:52] 945*2^1246102-1 is not prime. Res64: EED4220FD9A5C8E8 Time : 0.0 sec. user=mdettweiler [2013-05-20 16:50:52] 987*2^1246102-1 is not prime. Res64: E33FC1D4ABFFB071 Time : 0.0 sec. user=mdettweiler [2013-05-20 16:52:41] 923*2^1246102-1 is not prime. Res64: 980C99280EF755A9 Time : 0.0 sec. user=mdettweiler [2013-05-20 17:08:59] 619*2^1246103-1 is not prime. Res64: 9EE5740FB653A1F0 Time : 0.0 sec. user=mdettweiler [2013-05-20 17:10:51] 649*2^1246103-1 is not prime. Res64: 41F0D23C03A86EA9 Time : 0.0 sec. user=mdettweiler [2013-05-20 17:41:04] 621*2^1246103-1 is not prime. Res64: C2FC070E0B5085F4 Time : 0.0 sec. user=mdettweiler [2013-05-20 17:45:27] 763*2^1246103-1 is not prime. Res64: 8978BB4902744871 Time : 0.0 sec. user=mdettweiler [2013-05-20 17:59:31] 789*2^1246103-1 is not prime. Res64: 1DFF6AACD4742DD8 Time : 0.0 sec. user=mdettweiler [2013-05-20 18:04:45] 879*2^1246103-1 is not prime. Res64: C6312A754E02328C Time : 0.0 sec. user=mdettweiler [2013-05-20 18:04:46] 991*2^1246103-1 is not prime. Res64: D8B4D373EAFF997A Time : 0.0 sec. user=mdettweiler [2013-05-20 18:22:41] 855*2^1246103-1 is not prime. Res64: 7F0E07FCC35C618E Time : 0.0 sec. user=mdettweiler [2013-05-20 18:22:58] 639*2^1246104-1 is not prime. Res64: 66303E5B7942510F Time : 0.0 sec. user=mdettweiler [2013-05-20 18:22:58] 693*2^1246104-1 is not prime. Res64: 0DC970D718921B1D Time : 0.0 sec. user=mdettweiler [2013-05-20 18:40:32] 759*2^1246104-1 is not prime. Res64: 0B6D5416229F771B Time : 0.0 sec. user=mdettweiler [2013-05-20 18:40:32] 863*2^1246104-1 is not prime. Res64: 6BAB05E24C1A812D Time : 0.0 sec. user=mdettweiler [2013-05-20 18:40:52] 721*2^1246105-1 is not prime. Res64: 909F4581CE890B13 Time : 0.0 sec. user=mdettweiler [2013-05-20 18:40:52] 771*2^1246105-1 is not prime. Res64: 4ECEBB2720330B2F Time : 0.0 sec. user=mdettweiler [2013-05-20 18:59:21] 767*2^1246106-1 is not prime. Res64: 53E98F87A7893E0B Time : 0.0 sec. user=mdettweiler [2013-05-20 18:59:21] 777*2^1246105-1 is not prime. Res64: 0C311804C7FB963F Time : 0.0 sec. user=mdettweiler [2013-05-20 18:59:21] 801*2^1246106-1 is not prime. Res64: 72372EC9101F4914 Time : 0.0 sec. user=mdettweiler [2013-05-20 18:59:21] 861*2^1246105-1 is not prime. Res64: FF8FF85378BA9D27 Time : 0.0 sec. user=mdettweiler [2013-05-20 19:17:18] 843*2^1246106-1 is not prime. Res64: 599CEED4E8E4B76B Time : 0.0 sec. user=mdettweiler [2013-05-20 19:17:18] 813*2^1246106-1 is not prime. Res64: 12FF62778052B7DC Time : 0.0 sec. user=mdettweiler [2013-05-20 19:40:24] 827*2^1246106-1 is not prime. Res64: CB9F37A5C12557AC Time : 0.0 sec. user=mdettweiler [2013-05-20 19:41:47] 875*2^1246106-1 is not prime. Res64: BF78982713878297 Time : 0.0 sec. user=mdettweiler [2013-05-20 19:59:27] 941*2^1246106-1 is not prime. Res64: 827C43D0B74E7CFB Time : 0.0 sec. user=mdettweiler [2013-05-20 19:59:27] 793*2^1246107-1 is not prime. Res64: 3F735D4E61DB85C0 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:17:20] 835*2^1246107-1 is not prime. Res64: 7F62095D438DCD41 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:17:21] 861*2^1246107-1 is not prime. Res64: DCDD8241556F9381 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:22:22] 919*2^1246107-1 is not prime. Res64: 161D65BEAEEB3EF4 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:22:22] 639*2^1246108-1 is not prime. Res64: A8077F86DCED611F Time : 0.0 sec. user=mdettweiler [2013-05-20 20:35:21] 901*2^1246107-1 is not prime. Res64: C9AD0A81160BEF35 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:35:21] 657*2^1246108-1 is not prime. Res64: F3462742C8D111D3 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:40:23] 687*2^1246108-1 is not prime. Res64: 156AA2FF07251FEE Time : 0.0 sec. user=mdettweiler [2013-05-20 20:40:24] 773*2^1246108-1 is not prime. Res64: 32435E1CBAAD741B Time : 0.0 sec. user=mdettweiler [2013-05-20 20:53:00] 783*2^1246108-1 is not prime. Res64: 06AA574F8E305CC6 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:53:00] 885*2^1246108-1 is not prime. Res64: BE387AAE6A690427 Time : 0.0 sec. user=mdettweiler [2013-05-20 20:59:09] 989*2^1246108-1 is not prime. Res64: 03FF4446BD66504A Time : 0.0 sec. user=mdettweiler [2013-05-20 21:10:41] 745*2^1246109-1 is not prime. Res64: 6213B5F9FCE5A6C6 Time : 0.0 sec. user=mdettweiler [2013-05-20 21:10:43] 831*2^1246109-1 is not prime. Res64: 2C1C3C00E1A7D748 Time : 0.0 sec. user=mdettweiler [2013-05-20 21:28:50] 727*2^1246109-1 is not prime. Res64: 2AFCABF9E848A6DE Time : 0.0 sec. user=mdettweiler [2013-05-20 21:30:42] 741*2^1246110-1 is not prime. Res64: 414CC0E1ABE35E9E Time : 0.0 sec. user=mdettweiler [2013-05-20 21:30:42] 755*2^1246110-1 is not prime. Res64: 0E18F4C7BC445D01 Time : 0.0 sec. user=mdettweiler [2013-05-20 21:46:48] 885*2^1246109-1 is not prime. Res64: FE5A0A7CBA4D1FDC Time : 0.0 sec. user=mdettweiler [2013-05-20 21:48:35] 797*2^1246110-1 is not prime. Res64: C4D96E8371E0D82A Time : 0.0 sec. user=mdettweiler [2013-05-20 22:13:18] 945*2^1246109-1 is not prime. Res64: 69A5F0152C68797E Time : 0.0 sec. user=mdettweiler [2013-05-20 22:25:43] 851*2^1246110-1 is not prime. Res64: D372CB9B7522D1E9 Time : 0.0 sec. user=mdettweiler [2013-05-20 22:31:03] 965*2^1246110-1 is not prime. Res64: 079E6DC99205ED15 Time : 0.0 sec. user=mdettweiler [2013-05-20 22:31:04] 615*2^1246111-1 is not prime. Res64: 5215FD104E068D21 Time : 0.0 sec. user=mdettweiler [2013-05-20 22:43:19] 705*2^1246111-1 is not prime. Res64: 1AC84BB42704B71B Time : 0.0 sec. user=mdettweiler [2013-05-20 22:43:19] 741*2^1246111-1 is not prime. Res64: 142665BDC3C8CD9A Time : 0.0 sec. user=mdettweiler [2013-05-20 22:48:54] 783*2^1246111-1 is not prime. Res64: 2796210E363DE482 Time : 0.0 sec. user=mdettweiler [2013-05-20 23:01:11] 925*2^1246111-1 is not prime. Res64: 206CCEFDD0E2E2DE Time : 0.0 sec. user=mdettweiler [2013-05-20 23:01:12] 609*2^1246112-1 is not prime. Res64: FE9289CD304EFDEC Time : 0.0 sec. user=mdettweiler [2013-05-20 23:13:49] 885*2^1246111-1 is not prime. Res64: 0F34944EB4E7A755 Time : 0.0 sec. user=mdettweiler [2013-05-20 23:19:06] 687*2^1246112-1 is not prime. Res64: 4EF4E2218C6BE960 Time : 0.0 sec. user=mdettweiler [2013-05-20 23:19:06] 713*2^1246112-1 is not prime. Res64: C26FAE8F583514EB Time : 0.0 sec. user=mdettweiler [2013-05-20 23:31:39] 719*2^1246112-1 is not prime. Res64: F519B7406ECBD5F4 Time : 0.0 sec. user=mdettweiler [2013-05-20 23:36:52] 843*2^1246112-1 is not prime. Res64: 26B8A530E94CD91B Time : 0.0 sec. user=mdettweiler [2013-05-20 23:36:53] 879*2^1246112-1 is not prime. Res64: 814D6B85E4B17F92 Time : 0.0 sec. user=mdettweiler [2013-05-20 23:54:39] 893*2^1246112-1 is not prime. Res64: 63207B9F31FEDEA8 Time : 0.0 sec. user=mdettweiler [2013-05-20 23:58:09] 759*2^1246112-1 is not prime. Res64: 0685475228BCB850 Time : 0.0 sec.