user=mdettweiler [2015-05-03 00:13:52] 739*2^1398287-1 is not prime. Res64: 5AC8369F2F843D48 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:13:53] 753*2^1398287-1 is not prime. Res64: 9EA59ADA313D1516 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:14:02] 781*2^1398287-1 is not prime. Res64: 883C9A47B68B603A Time : 0.0 sec. user=mdettweiler [2015-05-03 00:14:02] 825*2^1398287-1 is not prime. Res64: E954F4E89BFFB449 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:14:08] 979*2^1398287-1 is not prime. Res64: 82A709D4AEC35A53 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:14:08] 605*2^1398288-1 is not prime. Res64: 5119F55C604E25F1 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:14:16] 861*2^1398287-1 is not prime. Res64: 0021C6B2BA47C8C2 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:14:16] 885*2^1398287-1 is not prime. Res64: 9EAA3A4DFE1B6C1D Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:18] 657*2^1398288-1 is not prime. Res64: C5876A9F490DF998 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:19] 695*2^1398288-1 is not prime. Res64: F9C3227DC7F152B9 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:25] 753*2^1398288-1 is not prime. Res64: 0875687AF294E284 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:26] 765*2^1398288-1 is not prime. Res64: 9AB213BE79035BEA Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:31] 795*2^1398288-1 is not prime. Res64: E4B564D0E31A74C4 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:31] 691*2^1398289-1 is not prime. Res64: 2FDB44AD87A69174 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:38] 729*2^1398289-1 is not prime. Res64: A1E8851880CAD359 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:31:38] 713*2^1398290-1 is not prime. Res64: 5336B5A05B849044 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:48:53] 783*2^1398290-1 is not prime. Res64: C676EC3F24D86DA9 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:48:54] 813*2^1398290-1 is not prime. Res64: DB3F1F60C95AE312 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:48:54] 857*2^1398290-1 is not prime. Res64: 382DC0A1DDB04DB1 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:48:55] 917*2^1398290-1 is not prime. Res64: 4FA536DC79995A41 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:49:02] 987*2^1398290-1 is not prime. Res64: AB7157773F6E42AC Time : 0.0 sec. user=mdettweiler [2015-05-03 00:49:02] 849*2^1398291-1 is not prime. Res64: DF0B1EB498A45555 Time : 0.0 sec. user=mdettweiler [2015-05-03 00:49:03] 921*2^1398290-1 is not prime. Res64: B862DC6BD46485DB Time : 0.0 sec. user=mdettweiler [2015-05-03 00:49:04] 941*2^1398290-1 is not prime. Res64: 9585DE55C9DD47B3 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:16] 961*2^1398291-1 is not prime. Res64: E01E6B7EF0667DC3 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:16] 859*2^1398291-1 is not prime. Res64: A8533FD0A50B9B7F Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:16] 943*2^1398291-1 is not prime. Res64: 1F606FE47D5C947D Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:16] 675*2^1398292-1 is not prime. Res64: 18D61336F5D549D4 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:27] 719*2^1398292-1 is not prime. Res64: 0715290C577427CA Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:28] 749*2^1398292-1 is not prime. Res64: 6881CB316CCF414F Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:34] 693*2^1398292-1 is not prime. Res64: B7D3B0F00A917CA8 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:06:35] 705*2^1398292-1 is not prime. Res64: 36F2A09C13C4AE63 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:44] 829*2^1398293-1 is not prime. Res64: 1F50332ED36044A4 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:44] 927*2^1398293-1 is not prime. Res64: 3FD44307CDC301F3 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:46] 959*2^1398292-1 is not prime. Res64: 7966FE905DDF481A Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:47] 811*2^1398293-1 is not prime. Res64: E5B016C5CEAB2A88 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:53] 611*2^1398294-1 is not prime. Res64: 47828427796A3903 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:53] 783*2^1398294-1 is not prime. Res64: 4EF033FCD0916A34 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:55] 807*2^1398294-1 is not prime. Res64: 620D196BE2BCB8E0 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:23:55] 825*2^1398294-1 is not prime. Res64: 4FB367A2C06FE345 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:11] 709*2^1398295-1 is not prime. Res64: D72943F60F52AA05 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:11] 775*2^1398295-1 is not prime. Res64: B1DAE8E3D56AB4DD Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:16] 983*2^1398294-1 is not prime. Res64: BB171599B30E65D5 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:16] 639*2^1398295-1 is not prime. Res64: 2E8DE3DD1DA10333 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:17] 805*2^1398295-1 is not prime. Res64: BB663E5C9F065C9A Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:18] 871*2^1398295-1 is not prime. Res64: FE2AEE3BAF3D5003 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:20] 925*2^1398295-1 is not prime. Res64: 5B3192FF8DDDC81E Time : 0.0 sec. user=mdettweiler [2015-05-03 01:41:21] 635*2^1398296-1 is not prime. Res64: 82D5AAD37C90D5F2 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:34] 645*2^1398296-1 is not prime. Res64: 257B46F32B77054B Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:34] 693*2^1398296-1 is not prime. Res64: 9A42067A9D0FDB98 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:37] 767*2^1398296-1 is not prime. Res64: 3719E2C921BA2E63 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:37] 813*2^1398296-1 is not prime. Res64: 8E2542FA87923C35 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:38] 833*2^1398296-1 is not prime. Res64: 91F64802338D6ABF Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:39] 935*2^1398296-1 is not prime. Res64: 3F9142CF45B635AF Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:43] 651*2^1398297-1 is not prime. Res64: 4AF448C83B317E20 Time : 0.0 sec. user=mdettweiler [2015-05-03 01:58:43] 699*2^1398297-1 is not prime. Res64: FB198F4EA1CCD61B Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:04] 711*2^1398297-1 is not prime. Res64: 1FF17339DB03DE70 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:05] 759*2^1398297-1 is not prime. Res64: B9D74E3C7C089941 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:10] 821*2^1398298-1 is not prime. Res64: F0EA7A95735CC5EC Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:10] 855*2^1398298-1 is not prime. Res64: 4B3BE2061C4089A1 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:11] 871*2^1398297-1 is not prime. Res64: 965C0D9BBD1D584C Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:11] 813*2^1398298-1 is not prime. Res64: F7EF6D2E367793CD Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:13] 805*2^1398297-1 is not prime. Res64: A2D12118837513F3 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:16:13] 865*2^1398297-1 is not prime. Res64: 3CDE32296F1375B2 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:08] 1001*2^1398298-1 is not prime. Res64: 0F41FE650E033A1C Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:08] 741*2^1398299-1 is not prime. Res64: 0DB6602FAFE0BCAB Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:19] 973*2^1398299-1 is not prime. Res64: EE13E78891C3FC84 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:19] 633*2^1398300-1 is not prime. Res64: D471CE988703A93B Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:36] 943*2^1398299-1 is not prime. Res64: 78303E811295A2EC Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:37] 969*2^1398299-1 is not prime. Res64: 3E5789A109F11C23 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:45] 689*2^1398300-1 is not prime. Res64: 004EF9CC7719CFDF Time : 0.0 sec. user=mdettweiler [2015-05-03 02:34:45] 723*2^1398300-1 is not prime. Res64: 26B665BFCC9A6F6D Time : 0.0 sec. user=mdettweiler [2015-05-03 02:51:41] 725*2^1398300-1 is not prime. Res64: B26BE3F2F9DD4AD4 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:51:42] 735*2^1398300-1 is not prime. Res64: 68617741CFFE8E48 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:51:44] 797*2^1398300-1 is not prime. Res64: 9F57958B8606671B Time : 0.0 sec. user=mdettweiler [2015-05-03 02:51:45] 873*2^1398300-1 is not prime. Res64: 84E24AE836D275D1 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:52:04] 675*2^1398301-1 is not prime. Res64: 1394ABD8A32A0A90 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:52:04] 855*2^1398301-1 is not prime. Res64: 99DA7EE4F9016A62 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:52:10] 871*2^1398301-1 is not prime. Res64: 710A8D5285FC5B85 Time : 0.0 sec. user=mdettweiler [2015-05-03 02:52:10] 979*2^1398301-1 is not prime. Res64: 284F372428BF0719 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:08] 683*2^1398302-1 is not prime. Res64: A741BA7788762BDC Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:08] 705*2^1398302-1 is not prime. Res64: 7403A85CEA56594B Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:10] 603*2^1398302-1 is not prime. Res64: 8D24F84872BA2BE3 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:11] 671*2^1398302-1 is not prime. Res64: 00BAB5FDC6E981E0 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:26] 713*2^1398302-1 is not prime. Res64: 5CFE60A3AA15F443 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:26] 731*2^1398302-1 is not prime. Res64: 1BA5BE8973192F79 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:34] 741*2^1398302-1 is not prime. Res64: EF8D16DEB075C6E6 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:09:34] 801*2^1398302-1 is not prime. Res64: 53FE2909CA438182 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:34] 843*2^1398302-1 is not prime. Res64: 2CA5AB6FE1EBF173 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:34] 917*2^1398302-1 is not prime. Res64: 17838A4914A32468 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:35] 903*2^1398302-1 is not prime. Res64: D8730F5C514A0F32 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:35] 953*2^1398302-1 is not prime. Res64: 19473B6DB93FBE9C Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:52] 609*2^1398303-1 is not prime. Res64: 6D4CEF6920C0A3C7 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:53] 649*2^1398303-1 is not prime. Res64: A147EB409F2DE148 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:56] 691*2^1398303-1 is not prime. Res64: 4B2BC44EE6A85BAC Time : 0.0 sec. user=mdettweiler [2015-05-03 03:26:56] 829*2^1398303-1 is not prime. Res64: C12391032B297FA5 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:22] 609*2^1398304-1 is not prime. Res64: 9798DA2BAD135A16 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:23] 629*2^1398304-1 is not prime. Res64: C37C21CF33ED00C0 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:24] 985*2^1398303-1 is not prime. Res64: 281776BCAED0B89D Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:24] 991*2^1398303-1 is not prime. Res64: 45B9712FAF075405 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:26] 743*2^1398304-1 is not prime. Res64: A5EE570CF44E58DA Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:27] 899*2^1398304-1 is not prime. Res64: 8D5A06DFFFAB71E1 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:28] 657*2^1398304-1 is not prime. Res64: 22A1C71B1A5AB046 Time : 0.0 sec. user=mdettweiler [2015-05-03 03:44:29] 719*2^1398304-1 is not prime. Res64: C14BA1B7082360A6 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:19] 965*2^1398304-1 is not prime. Res64: 15E3B6EE9745AE9C Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:20] 669*2^1398305-1 is not prime. Res64: E43964EDE336948D Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:21] 783*2^1398306-1 is not prime. Res64: 35D2BBF1C825FB0C Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:22] 891*2^1398306-1 is not prime. Res64: E3EAC95D481677BE Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:23] 771*2^1398305-1 is not prime. Res64: 6F88D2B9269CDBEC Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:25] 847*2^1398305-1 is not prime. Res64: 99315480B1B83FED Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:28] 903*2^1398304-1 is not prime. Res64: 734C68854C3F401A Time : 0.0 sec. user=mdettweiler [2015-05-03 04:02:29] 671*2^1398306-1 is not prime. Res64: 4492A19B4562B2DF Time : 0.0 sec. user=mdettweiler [2015-05-03 04:20:47] 933*2^1398306-1 is not prime. Res64: D4F928701EF3C074 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:20:47] 945*2^1398306-1 is not prime. Res64: 495A2B0808283D67 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:20:55] 975*2^1398306-1 is not prime. Res64: 32D985125A3353E3 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:20:55] 651*2^1398307-1 is not prime. Res64: B5A994BF730F88CA Time : 0.0 sec. user=mdettweiler [2015-05-03 04:21:00] 923*2^1398306-1 is not prime. Res64: F41092C5BEBF8C77 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:21:00] 619*2^1398307-1 is not prime. Res64: F9F2E18E37954EB9 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:21:04] 633*2^1398307-1 is not prime. Res64: E4B520F5AA3DB305 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:21:05] 639*2^1398307-1 is not prime. Res64: F93AF00013A97CA4 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:13] 693*2^1398307-1 is not prime. Res64: E31579B5117E3116 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:13] 703*2^1398307-1 is not prime. Res64: 3185A1A88253AE1C Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:20] 919*2^1398307-1 is not prime. Res64: 9C4436FF943AC08E Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:20] 961*2^1398307-1 is not prime. Res64: B64FC5CF8C618380 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:25] 603*2^1398308-1 is not prime. Res64: E0A68E189ADC3D29 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:26] 635*2^1398308-1 is not prime. Res64: 6C84126782DE063C Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:29] 797*2^1398308-1 is not prime. Res64: E4A52FAC84FFD98A Time : 0.0 sec. user=mdettweiler [2015-05-03 04:38:29] 845*2^1398308-1 is not prime. Res64: AF51176BCF27DF58 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:40] 879*2^1398308-1 is not prime. Res64: 69A6D806E1E966AE Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:41] 893*2^1398308-1 is not prime. Res64: 9C7802A0A5D0F599 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:48] 679*2^1398309-1 is not prime. Res64: D5E375D4B16C12F4 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:48] 709*2^1398309-1 is not prime. Res64: 7DAC819DE34B6C87 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:51] 639*2^1398309-1 is not prime. Res64: 6BAAA6625F499CE6 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:51] 655*2^1398309-1 is not prime. Res64: 3CDDA21C627F1C36 Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:57] 831*2^1398309-1 is not prime. Res64: 127CC6F85DFE96EA Time : 0.0 sec. user=mdettweiler [2015-05-03 04:55:58] 961*2^1398309-1 is not prime. Res64: D198A73544A2F8B0 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:06] 991*2^1398309-1 is not prime. Res64: 968A9F6887391A3C Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:06] 731*2^1398310-1 is not prime. Res64: CEC8E89FB3F909D4 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:17] 813*2^1398310-1 is not prime. Res64: 981D95207CB61DA8 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:18] 843*2^1398310-1 is not prime. Res64: 8C6C3EED7019277D Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:18] 845*2^1398310-1 is not prime. Res64: A0E462A24C7B2290 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:18] 965*2^1398310-1 is not prime. Res64: 71D78745886B3267 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:31] 987*2^1398310-1 is not prime. Res64: 8992B6993454604B Time : 0.0 sec. user=mdettweiler [2015-05-03 05:13:32] 663*2^1398311-1 is not prime. Res64: 2544BF8DF4251FC0 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:30] 913*2^1398311-1 is not prime. Res64: EACF54D6BE027B9E Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:30] 939*2^1398311-1 is not prime. Res64: 67DD0B8A3C4399C4 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:39] 977*2^1398312-1 is not prime. Res64: 86E61AF17A551EE2 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:39] 607*2^1398313-1 is not prime. Res64: 5127389822D8A79E Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:40] 797*2^1398312-1 is not prime. Res64: 29FE0A60DDA2C177 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:40] 903*2^1398312-1 is not prime. Res64: B9A1583F65732FF0 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:58] 715*2^1398313-1 is not prime. Res64: 09014B9CA0DDECD4 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:30:58] 775*2^1398313-1 is not prime. Res64: 32326533A60B6756 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:47:58] 801*2^1398313-1 is not prime. Res64: 32BFD900B7A2D413 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:47:59] 829*2^1398313-1 is not prime. Res64: 99E6EB13FE8B592E Time : 0.0 sec. user=mdettweiler [2015-05-03 05:48:10] 895*2^1398313-1 is not prime. Res64: 9ED6E78852D5D25B Time : 0.0 sec. user=mdettweiler [2015-05-03 05:48:10] 635*2^1398314-1 is not prime. Res64: E2D405BDD7449525 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:48:12] 665*2^1398314-1 is not prime. Res64: 2280E3C10A285FDA Time : 0.0 sec. user=mdettweiler [2015-05-03 05:48:13] 743*2^1398314-1 is not prime. Res64: EAC42718E7D42528 Time : 0.0 sec. user=mdettweiler [2015-05-03 05:48:22] 791*2^1398314-1 is not prime. Res64: 6264E2EFF3A0F60D Time : 0.0 sec. user=mdettweiler [2015-05-03 05:48:23] 921*2^1398314-1 is not prime. Res64: CF61E743C2584019 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:35] 927*2^1398314-1 is not prime. Res64: DD2B4887B9EAF6E2 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:36] 1001*2^1398314-1 is not prime. Res64: 7579EB32D7462B7A Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:42] 613*2^1398315-1 is not prime. Res64: 41A15F030934BEB1 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:43] 751*2^1398315-1 is not prime. Res64: EBB15DE437080568 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:44] 651*2^1398315-1 is not prime. Res64: 87107F325B316AE4 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:45] 783*2^1398315-1 is not prime. Res64: DF784E71BE68FC58 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:53] 789*2^1398315-1 is not prime. Res64: 3FAC5EDFC987874E Time : 0.0 sec. user=mdettweiler [2015-05-03 06:05:54] 871*2^1398315-1 is not prime. Res64: E00FEA6C08E93FBD Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:41] 891*2^1398315-1 is not prime. Res64: 48AE24A07C52E8E7 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:41] 615*2^1398316-1 is not prime. Res64: 13BEA3518D193D09 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:41] 675*2^1398316-1 is not prime. Res64: 277D774AA0A256FD Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:41] 653*2^1398316-1 is not prime. Res64: 077D719860D76126 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:45] 903*2^1398316-1 is not prime. Res64: 642E8CDCE466038F Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:45] 965*2^1398316-1 is not prime. Res64: 601B0AA8D0FFAD70 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:45] 693*2^1398316-1 is not prime. Res64: D775F9D32DB5435F Time : 0.0 sec. user=mdettweiler [2015-05-03 06:23:46] 825*2^1398316-1 is not prime. Res64: 0332200ADAA01595 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:05] 983*2^1398316-1 is not prime. Res64: 642AAF9110D44B31 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:06] 627*2^1398317-1 is not prime. Res64: B39AA06EB2A66DF7 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:10] 669*2^1398317-1 is not prime. Res64: 6E2F7ECE58406949 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:10] 727*2^1398317-1 is not prime. Res64: C65189B801AFC928 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:10] 717*2^1398317-1 is not prime. Res64: DE30E785C050AA53 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:11] 757*2^1398317-1 is not prime. Res64: 524AC51DCB34D016 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:13] 777*2^1398317-1 is not prime. Res64: 05C51E18F857A4E2 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:41:13] 831*2^1398317-1 is not prime. Res64: E1937E91D3812FF8 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:39] 847*2^1398317-1 is not prime. Res64: AA2DDF45B9E9CA15 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:39] 977*2^1398318-1 is not prime. Res64: 59A71227AC063077 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:39] 927*2^1398317-1 is not prime. Res64: 869A63BC5F552179 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:40] 601*2^1398319-1 is not prime. Res64: 6DDDBA5D424F28BE Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:40] 985*2^1398317-1 is not prime. Res64: 8BDEDF8853279175 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:41] 861*2^1398318-1 is not prime. Res64: F1E58FD8C10A8AD0 Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:51] 645*2^1398319-1 is not prime. Res64: E3CC04AC03B149FB Time : 0.0 sec. user=mdettweiler [2015-05-03 06:58:52] 663*2^1398319-1 is not prime. Res64: 9F6A6A7E53473D98 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:10] 985*2^1398319-1 is not prime. Res64: F1F07EF94C07C8CD Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:11] 993*2^1398319-1 is not prime. Res64: 5E87BB6CBC4F51CA Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:12] 841*2^1398319-1 is not prime. Res64: ED4FAAA4D13DA247 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:12] 909*2^1398319-1 is not prime. Res64: 5CF1418EF51665EB Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:16] 769*2^1398319-1 is not prime. Res64: 3937980F991AB8B3 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:16] 771*2^1398319-1 is not prime. Res64: 6076C4220EF73C9C Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:31] 669*2^1398320-1 is not prime. Res64: A038153195A134F3 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:16:31] 699*2^1398320-1 is not prime. Res64: CE8DD67E5FB650A5 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:33:41] 691*2^1398321-1 is not prime. Res64: 8172BBC510E63673 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:33:41] 747*2^1398321-1 is not prime. Res64: 61CB06770DE39584 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:33:42] 627*2^1398321-1 is not prime. Res64: FCFE169E7A7FE57D Time : 0.0 sec. user=mdettweiler [2015-05-03 07:33:43] 649*2^1398321-1 is not prime. Res64: 93EBECAE9E185586 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:33:50] 893*2^1398320-1 is not prime. Res64: 58A1A895C5ACEF00 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:33:50] 899*2^1398320-1 is not prime. Res64: F3B5EFF23D6786F4 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:33:59] 795*2^1398321-1 is not prime. Res64: 6CA5838EF007D224 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:34:00] 867*2^1398321-1 is not prime. Res64: A19330AC7D358DB1 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:08] 713*2^1398322-1 is not prime. Res64: 7A39811541DF10AF Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:09] 801*2^1398322-1 is not prime. Res64: 7713F4E985E94BF1 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:13] 945*2^1398321-1 is not prime. Res64: 3C9DC366FC8D3C80 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:13] 999*2^1398321-1 is not prime. Res64: 71DF30C907A459D4 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:15] 855*2^1398322-1 is not prime. Res64: 68733594C5691EEE Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:16] 975*2^1398322-1 is not prime. Res64: E7FBA09F9C771757 Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:23] 981*2^1398322-1 is not prime. Res64: 2FB6E40614F38F4D Time : 0.0 sec. user=mdettweiler [2015-05-03 07:51:23] 983*2^1398322-1 is not prime. Res64: A25108F5876E176A Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:36] 781*2^1398323-1 is not prime. Res64: BAB81C083E43C422 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:36] 813*2^1398323-1 is not prime. Res64: 006AC7691F2E8339 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:36] 1001*2^1398322-1 is not prime. Res64: 5E0E868361B92CA3 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:37] 699*2^1398323-1 is not prime. Res64: FBA480B23DE09477 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:38] 885*2^1398323-1 is not prime. Res64: 00188B75AD429363 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:39] 963*2^1398323-1 is not prime. Res64: 301D004D8D728182 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:47] 999*2^1398323-1 is not prime. Res64: A36210E6C551F80F Time : 0.0 sec. user=mdettweiler [2015-05-03 08:08:47] 675*2^1398324-1 is not prime. Res64: DBE9D4B336E439D3 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:08] 705*2^1398324-1 is not prime. Res64: B0777A9FD3418C30 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:08] 965*2^1398324-1 is not prime. Res64: DA2354D4C8F4E04F Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:12] 625*2^1398325-1 is not prime. Res64: 29F6A5475B9274BE Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:12] 667*2^1398325-1 is not prime. Res64: 05CC2515DB16B869 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:13] 899*2^1398324-1 is not prime. Res64: 8D44C276CF425F93 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:14] 975*2^1398324-1 is not prime. Res64: 0A670036408993CC Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:19] 861*2^1398325-1 is not prime. Res64: 5B365C60EE9BAC61 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:26:19] 889*2^1398325-1 is not prime. Res64: FD9763858EA14245 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:28] 955*2^1398325-1 is not prime. Res64: 457C6D90BC7A29F4 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:29] 615*2^1398326-1 is not prime. Res64: 4F0F2FCF60C76CB7 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:47] 645*2^1398326-1 is not prime. Res64: 9EE0D150D1889A1A Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:47] 693*2^1398326-1 is not prime. Res64: C190D82F99303B62 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:48] 773*2^1398326-1 is not prime. Res64: 198AFA53E25BFA56 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:48] 861*2^1398326-1 is not prime. Res64: 0971542E2D53BBF7 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:48] 785*2^1398326-1 is not prime. Res64: FFA2C497985EAB30 Time : 0.0 sec. user=mdettweiler [2015-05-03 08:43:48] 887*2^1398326-1 is not prime. Res64: 614C4AB64839BF46 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:00:57] 957*2^1398326-1 is not prime. Res64: A5F6385F28735AC0 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:00:58] 619*2^1398327-1 is not prime. Res64: 14BE4244CAD9CD83 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:01:18] 685*2^1398327-1 is not prime. Res64: F5A298C54A410534 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:01:19] 741*2^1398327-1 is not prime. Res64: F2E6FF975170B7AB Time : 0.0 sec. user=mdettweiler [2015-05-03 09:01:19] 663*2^1398328-1 is not prime. Res64: 8EB8E9BA89B24F4F Time : 0.0 sec. user=mdettweiler [2015-05-03 09:01:20] 743*2^1398328-1 is not prime. Res64: A837FE7CB5A7FA77 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:01:22] 751*2^1398327-1 is not prime. Res64: FE65955E3502B888 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:01:23] 873*2^1398327-1 is not prime. Res64: 1F6F2743C14E6A88 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:40] 899*2^1398328-1 is not prime. Res64: 3B6FCCB488FB2630 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:41] 957*2^1398328-1 is not prime. Res64: 4241024DE943C81E Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:47] 699*2^1398329-1 is not prime. Res64: 57CFA7DD0A954618 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:47] 837*2^1398329-1 is not prime. Res64: AFFCDC3AA7FDC290 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:49] 999*2^1398328-1 is not prime. Res64: E7DA2611707F1BDB Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:50] 645*2^1398329-1 is not prime. Res64: E6CA495D6FCAE5EB Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:58] 931*2^1398329-1 is not prime. Res64: 10FA063F7041FB03 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:18:59] 627*2^1398330-1 is not prime. Res64: 00AF1897FF4F8390 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:09] 657*2^1398330-1 is not prime. Res64: C7EFC2EC77590B73 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:10] 717*2^1398330-1 is not prime. Res64: 6EFA1F412ACA61E3 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:18] 923*2^1398330-1 is not prime. Res64: 76A7AFDCFA1D504D Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:19] 603*2^1398331-1 is not prime. Res64: E0FBB2772D88EDB5 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:23] 843*2^1398330-1 is not prime. Res64: C43FD22334469596 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:23] 891*2^1398330-1 is not prime. Res64: 013E53C677F7B901 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:30] 679*2^1398331-1 is not prime. Res64: C8CC3B73D6B3E9BD Time : 0.0 sec. user=mdettweiler [2015-05-03 09:36:30] 693*2^1398331-1 is not prime. Res64: 533D58B62709F0C9 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:35] 741*2^1398331-1 is not prime. Res64: C934C3B849D08402 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:36] 883*2^1398331-1 is not prime. Res64: 0431D4F237D8883C Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:47] 777*2^1398332-1 is not prime. Res64: BD5F11ED81B15E73 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:47] 797*2^1398332-1 is not prime. Res64: C09B94DFF44508D2 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:51] 969*2^1398331-1 is not prime. Res64: A90F3EA2CE576009 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:51] 623*2^1398332-1 is not prime. Res64: B767C927939D14C8 Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:55] 873*2^1398332-1 is not prime. Res64: A510C17E58429ACA Time : 0.0 sec. user=mdettweiler [2015-05-03 09:53:55] 987*2^1398332-1 is not prime. Res64: 371E3DC5596EF9E5 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:02] 621*2^1398333-1 is not prime. Res64: 5129FDD1D2F45D20 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:03] 651*2^1398333-1 is not prime. Res64: CBF529DC4AD678F0 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:16] 663*2^1398334-1 is not prime. Res64: A7D21B3551379CDE Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:16] 741*2^1398333-1 is not prime. Res64: 1852B2A34CB75C56 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:16] 681*2^1398334-1 is not prime. Res64: 5BDDF0B9140D40AD Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:16] 969*2^1398333-1 is not prime. Res64: FD7FEFBC336BE3F3 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:22] 723*2^1398334-1 is not prime. Res64: D602192A61C5B028 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:11:22] 731*2^1398334-1 is not prime. Res64: 08851B753EEA62D1 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:26] 917*2^1398334-1 is not prime. Res64: 69AA0255163360E5 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:27] 705*2^1398335-1 is not prime. Res64: 82E8597C15D0A196 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:38] 719*2^1398336-1 is not prime. Res64: A53C59B9222D9FC9 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:38] 895*2^1398335-1 is not prime. Res64: C3AB02EA869A5692 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:38] 845*2^1398336-1 is not prime. Res64: 762BC1C8FFDFEF3F Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:38] 627*2^1398336-1 is not prime. Res64: 55BA4C0F5958CEA2 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:44] 903*2^1398336-1 is not prime. Res64: CACDD60256A7233C Time : 0.0 sec. user=mdettweiler [2015-05-03 10:28:45] 909*2^1398336-1 is not prime. Res64: 3E8C979CB6FED8BE Time : 0.0 sec. user=mdettweiler [2015-05-03 10:45:56] 649*2^1398337-1 is not prime. Res64: EB08A9D799328786 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:45:56] 675*2^1398337-1 is not prime. Res64: 72C58A2FF40E30E6 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:46:03] 729*2^1398337-1 is not prime. Res64: 3269EAB0DAB2DC7D Time : 0.0 sec. user=mdettweiler [2015-05-03 10:46:03] 871*2^1398337-1 is not prime. Res64: 2BEBB4710D5F9C4C Time : 0.0 sec. user=mdettweiler [2015-05-03 10:46:07] 955*2^1398337-1 is not prime. Res64: 782A6E2800347F7D Time : 0.0 sec. user=mdettweiler [2015-05-03 10:46:07] 801*2^1398338-1 is not prime. Res64: 07EF79325F9D920E Time : 0.0 sec. user=mdettweiler [2015-05-03 10:46:18] 843*2^1398338-1 is not prime. Res64: C4DBF73E36DFB152 Time : 0.0 sec. user=mdettweiler [2015-05-03 10:46:18] 885*2^1398338-1 is not prime. Res64: 344C63D1FAE70B99 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:23] 941*2^1398338-1 is not prime. Res64: EB1A4CEAE40346B8 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:24] 963*2^1398338-1 is not prime. Res64: 7E59C8AE00090817 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:27] 609*2^1398339-1 is not prime. Res64: 4AF67E2BE0B45A32 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:28] 649*2^1398339-1 is not prime. Res64: D4735113855F7805 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:36] 663*2^1398339-1 is not prime. Res64: 5B1CED4C6ED09AED Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:37] 891*2^1398339-1 is not prime. Res64: 00A3CDCF5C8420A2 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:55] 903*2^1398339-1 is not prime. Res64: D942FE385E1CAA2D Time : 0.0 sec. user=mdettweiler [2015-05-03 11:03:56] 999*2^1398339-1 is not prime. Res64: 90790553458A8330 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:22] 899*2^1398340-1 is not prime. Res64: 6C923E2C208A9CEF Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:22] 915*2^1398340-1 is not prime. Res64: 2C3C2A0C9421E179 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:22] 695*2^1398340-1 is not prime. Res64: BDE3493941108651 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:23] 813*2^1398340-1 is not prime. Res64: 0BB993740204567F Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:25] 975*2^1398340-1 is not prime. Res64: AD4AFF100D5B9D52 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:26] 631*2^1398341-1 is not prime. Res64: 5434452A1ACDACB6 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:27] 803*2^1398340-1 is not prime. Res64: 09FD9470AACBBB8B Time : 0.0 sec. user=mdettweiler [2015-05-03 11:21:28] 857*2^1398340-1 is not prime. Res64: 05BFF618A3098258 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:38:48] 741*2^1398341-1 is not prime. Res64: F45D94CF9B9040A2 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:38:49] 837*2^1398341-1 is not prime. Res64: 58EE8B13E73F333F Time : 0.0 sec. user=mdettweiler [2015-05-03 11:38:53] 705*2^1398342-1 is not prime. Res64: 18149FE17A2BB306 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:38:54] 725*2^1398342-1 is not prime. Res64: 9D25714E9C5E8FDF Time : 0.0 sec. user=mdettweiler [2015-05-03 11:38:58] 955*2^1398341-1 is not prime. Res64: 8E896F12F14F4DD9 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:38:59] 657*2^1398342-1 is not prime. Res64: FC62B7C5B457605B Time : 0.0 sec. user=mdettweiler [2015-05-03 11:39:02] 675*2^1398341-1 is not prime. Res64: E2AD911CA2E9E2FE Time : 0.0 sec. user=mdettweiler [2015-05-03 11:39:03] 735*2^1398341-1 is not prime. Res64: E5C7A4B5015EAAF8 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:18] 765*2^1398342-1 is not prime. Res64: E590E1145EE137DD Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:18] 777*2^1398342-1 is not prime. Res64: 0A20E84F3A3DDAFF Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:20] 791*2^1398342-1 is not prime. Res64: 11A7FDC59D865798 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:21] 801*2^1398342-1 is not prime. Res64: 8E4CEE0C4922BDF2 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:25] 639*2^1398343-1 is not prime. Res64: FF5CD154DF28FE04 Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:25] 831*2^1398343-1 is not prime. Res64: 0D0E37BE8D69A46E Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:27] 603*2^1398343-1 is not prime. Res64: 326B46EE405B490A Time : 0.0 sec. user=mdettweiler [2015-05-03 11:56:28] 625*2^1398343-1 is not prime. Res64: C64EEC67E40D2825 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:13:49] 939*2^1398343-1 is not prime. Res64: 789C45BF00D23A07 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:13:49] 635*2^1398344-1 is not prime. Res64: 7EDC5CF868F27261 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:13:53] 725*2^1398344-1 is not prime. Res64: C2B0E0E253DD810A Time : 0.0 sec. user=mdettweiler [2015-05-03 12:13:53] 767*2^1398344-1 is not prime. Res64: F6A132D41FA857D7 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:13:57] 873*2^1398344-1 is not prime. Res64: 4E686E3559286E54 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:13:57] 899*2^1398344-1 is not prime. Res64: B7C1EBFE0B98E642 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:14:00] 859*2^1398343-1 is not prime. Res64: B416D8A797B4D00F Time : 0.0 sec. user=mdettweiler [2015-05-03 12:14:00] 891*2^1398343-1 is not prime. Res64: 819359C099199098 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:05] 691*2^1398345-1 is not prime. Res64: 443656BFD2C38BE6 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:05] 705*2^1398345-1 is not prime. Res64: 43D2011E055EA2A9 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:08] 861*2^1398345-1 is not prime. Res64: 5D36C26675D58F1A Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:09] 895*2^1398345-1 is not prime. Res64: EA4C0057750ED64B Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:11] 777*2^1398345-1 is not prime. Res64: 6453FFBC79D9FB67 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:12] 795*2^1398345-1 is not prime. Res64: 976747D6BC3E63C2 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:13] 975*2^1398345-1 is not prime. Res64: CC6CD4910010DF21 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:32:13] 653*2^1398346-1 is not prime. Res64: 43735EA9555AF9E8 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:49:51] 675*2^1398346-1 is not prime. Res64: F9ECD0AD9FDBD601 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:49:51] 705*2^1398346-1 is not prime. Res64: E0BA5B36C3A56B17 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:50:01] 713*2^1398346-1 is not prime. Res64: 92BD96B6E4C27C2B Time : 0.0 sec. user=mdettweiler [2015-05-03 12:50:02] 755*2^1398346-1 is not prime. Res64: 9F819933C57A5651 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:50:04] 861*2^1398346-1 is not prime. Res64: E52231EB56BE0141 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:50:04] 905*2^1398346-1 is not prime. Res64: 92B6F95BC3C5E024 Time : 0.0 sec. user=mdettweiler [2015-05-03 12:50:09] 815*2^1398346-1 is not prime. Res64: E00A8D215A56090C Time : 0.0 sec. user=mdettweiler [2015-05-03 12:50:10] 857*2^1398346-1 is not prime. Res64: 2DE1212896FA4EBC Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:03] 917*2^1398346-1 is not prime. Res64: 29BFBC5080445819 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:04] 651*2^1398347-1 is not prime. Res64: 71B5A6385ABF3A3F Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:16] 693*2^1398347-1 is not prime. Res64: DA6191AECCCC7BA0 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:17] 711*2^1398347-1 is not prime. Res64: 255E7FB889BA3915 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:18] 801*2^1398347-1 is not prime. Res64: 6C2B9659B8E0BDE5 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:18] 813*2^1398347-1 is not prime. Res64: F381D067F235275D Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:44] 859*2^1398347-1 is not prime. Res64: FCFFC16EBD3AF020 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:08:44] 913*2^1398347-1 is not prime. Res64: 3085EAC849B612BA Time : 0.0 sec. user=mdettweiler [2015-05-03 13:26:56] 945*2^1398347-1 is not prime. Res64: 70890FAA61336929 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:26:57] 963*2^1398347-1 is not prime. Res64: FEFDF0B3C6EF959F Time : 0.0 sec. user=mdettweiler [2015-05-03 13:27:03] 633*2^1398348-1 is not prime. Res64: 27EC9413D9D668B6 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:27:04] 635*2^1398348-1 is not prime. Res64: 57979D570A5DA92B Time : 0.0 sec. user=mdettweiler [2015-05-03 13:27:25] 663*2^1398348-1 is not prime. Res64: 2A957D0F53F7757F Time : 0.0 sec. user=mdettweiler [2015-05-03 13:27:25] 695*2^1398348-1 is not prime. Res64: 58F8641B8D4F66D5 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:27:33] 783*2^1398348-1 is not prime. Res64: 1853E8D0904E37D8 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:27:33] 959*2^1398348-1 is not prime. Res64: 83CEA6A9E3EB953C Time : 0.0 sec. user=mdettweiler [2015-05-03 13:44:37] 609*2^1398349-1 is not prime. Res64: FC9C964F1EDBCD48 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:44:37] 741*2^1398349-1 is not prime. Res64: 56EF7F2477BDFB63 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:44:39] 811*2^1398349-1 is not prime. Res64: B688514AA0500E86 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:44:39] 819*2^1398349-1 is not prime. Res64: 5EE525FC2DAAC9C4 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:45:02] 895*2^1398349-1 is not prime. Res64: D7B45A71E3804D13 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:45:03] 665*2^1398350-1 is not prime. Res64: AB76BDF73D8C0054 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:45:12] 741*2^1398350-1 is not prime. Res64: 50849404A211A443 Time : 0.0 sec. user=mdettweiler [2015-05-03 13:45:12] 743*2^1398350-1 is not prime. Res64: 8BC85888A1279798 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:02:47] 923*2^1398350-1 is not prime. Res64: 96A6727FDCA40CD9 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:02:48] 827*2^1398350-1 is not prime. Res64: 94447AF61E090D94 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:02:49] 965*2^1398350-1 is not prime. Res64: ABA6BE03CC840AF7 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:02:50] 833*2^1398350-1 is not prime. Res64: 6E96837E68DEB085 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:03:08] 613*2^1398351-1 is not prime. Res64: F2498CEA266E8B9E Time : 0.0 sec. user=mdettweiler [2015-05-03 14:03:10] 909*2^1398351-1 is not prime. Res64: B50A5F6C4B782D28 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:03:11] 675*2^1398351-1 is not prime. Res64: 6914D276A39B6BA1 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:03:12] 951*2^1398351-1 is not prime. Res64: D875CAFB16549374 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:25] 645*2^1398352-1 is not prime. Res64: 1BE6BE551F1CC132 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:26] 677*2^1398352-1 is not prime. Res64: AE1D73F707BF4448 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:33] 849*2^1398352-1 is not prime. Res64: 17E786A2D4423898 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:34] 875*2^1398352-1 is not prime. Res64: 38AC00A5DE490166 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:47] 605*2^1398352-1 is not prime. Res64: B235602084446F05 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:47] 719*2^1398352-1 is not prime. Res64: 68B0AAEEF0952BEE Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:47] 635*2^1398352-1 is not prime. Res64: 6E933F8435163E3E Time : 0.0 sec. user=mdettweiler [2015-05-03 14:21:47] 819*2^1398352-1 is not prime. Res64: 810661E92C8CA20A Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:11] 909*2^1398352-1 is not prime. Res64: 0E12213A7F88B8B8 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:11] 999*2^1398352-1 is not prime. Res64: F1F4F533D011F7F0 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:25] 847*2^1398353-1 is not prime. Res64: E71F09FEFB905C90 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:26] 889*2^1398353-1 is not prime. Res64: D959A3C90D951DE7 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:38] 615*2^1398353-1 is not prime. Res64: 157C7B5C936447BB Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:38] 675*2^1398353-1 is not prime. Res64: 449EE3A6E85661E0 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:43] 747*2^1398354-1 is not prime. Res64: 30A953842ED5EC4A Time : 0.0 sec. user=mdettweiler [2015-05-03 14:39:43] 765*2^1398354-1 is not prime. Res64: 738A12D58ADF1B72 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:03] 803*2^1398354-1 is not prime. Res64: CE1AB13A387ACD23 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:03] 807*2^1398354-1 is not prime. Res64: D9684EBA81BE765B Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:18] 993*2^1398354-1 is not prime. Res64: BB4297138AD4FB3A Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:18] 675*2^1398355-1 is not prime. Res64: ADB1F93FCCA4073B Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:34] 679*2^1398355-1 is not prime. Res64: 14F0AFBFC28FC7B3 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:34] 693*2^1398355-1 is not prime. Res64: 4DF9EA9699D828DF Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:38] 783*2^1398355-1 is not prime. Res64: 02A63F0CF5358A10 Time : 0.0 sec. user=mdettweiler [2015-05-03 14:57:38] 891*2^1398355-1 is not prime. Res64: ADF28E477C80C532 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:14:32] 973*2^1398355-1 is not prime. Res64: 973C1AF689B7E39B Time : 0.0 sec. user=mdettweiler [2015-05-03 15:14:33] 617*2^1398356-1 is not prime. Res64: F3939FAFA9CAB787 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:14:43] 845*2^1398356-1 is not prime. Res64: 4D31B7885A757461 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:14:44] 855*2^1398356-1 is not prime. Res64: E2809B9CB2DDE2C0 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:15:10] 935*2^1398356-1 is not prime. Res64: E8A877473C628303 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:15:10] 957*2^1398356-1 is not prime. Res64: E25E6CEC5A364C1E Time : 0.0 sec. user=mdettweiler [2015-05-03 15:15:12] 963*2^1398356-1 is not prime. Res64: 4561E43C6AA4598D Time : 0.0 sec. user=mdettweiler [2015-05-03 15:15:12] 609*2^1398357-1 is not prime. Res64: DF3CE8C0399E28AE Time : 0.0 sec. user=mdettweiler [2015-05-03 15:31:58] 615*2^1398357-1 is not prime. Res64: C00648CF45ED68CC Time : 0.0 sec. user=mdettweiler [2015-05-03 15:31:58] 717*2^1398357-1 is not prime. Res64: 1408B048A8A49CE1 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:32:09] 741*2^1398357-1 is not prime. Res64: 9DE7FA41282A59D0 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:32:10] 829*2^1398357-1 is not prime. Res64: 2140915E755AF9E7 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:32:34] 975*2^1398357-1 is not prime. Res64: A5DB32CD2F45040F Time : 0.0 sec. user=mdettweiler [2015-05-03 15:32:34] 665*2^1398358-1 is not prime. Res64: 59E30DBB6AFF8696 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:32:37] 737*2^1398358-1 is not prime. Res64: D3EF3DB642BB9E70 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:32:37] 801*2^1398358-1 is not prime. Res64: 72F34332D57A4EDC Time : 0.0 sec. user=mdettweiler [2015-05-03 15:49:23] 827*2^1398358-1 is not prime. Res64: BA7E0CC45E132C5A Time : 0.0 sec. user=mdettweiler [2015-05-03 15:49:23] 881*2^1398358-1 is not prime. Res64: 4FF12178865144B3 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:49:47] 897*2^1398358-1 is not prime. Res64: 9412089B31AEF30E Time : 0.0 sec. user=mdettweiler [2015-05-03 15:49:48] 923*2^1398358-1 is not prime. Res64: CDDFD6DFFBF0E704 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:50:02] 945*2^1398358-1 is not prime. Res64: 51FDCD0BB72B78C2 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:50:02] 951*2^1398358-1 is not prime. Res64: 941DA61F27A3F0CB Time : 0.0 sec. user=mdettweiler [2015-05-03 15:50:18] 729*2^1398359-1 is not prime. Res64: 58D42DD47C1A1E93 Time : 0.0 sec. user=mdettweiler [2015-05-03 15:50:18] 855*2^1398359-1 is not prime. Res64: 10CA8FBB6AECD639 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:06:52] 879*2^1398359-1 is not prime. Res64: EBDFB9553A6F4904 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:06:53] 623*2^1398360-1 is not prime. Res64: CC0A99CFAA3518EE Time : 0.0 sec. user=mdettweiler [2015-05-03 16:07:14] 635*2^1398360-1 is not prime. Res64: C814EE9798E133AD Time : 0.0 sec. user=mdettweiler [2015-05-03 16:07:15] 669*2^1398360-1 is not prime. Res64: BCCA9E60C48D8373 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:07:29] 675*2^1398360-1 is not prime. Res64: B6A06D484A5B84C5 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:07:30] 773*2^1398360-1 is not prime. Res64: 2AD224AAB40942C3 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:07:50] 777*2^1398360-1 is not prime. Res64: 92913876393205F9 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:07:50] 601*2^1398361-1 is not prime. Res64: 2875725A4E5F45E6 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:24:23] 679*2^1398361-1 is not prime. Res64: 04FBD996DB1E8252 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:24:23] 687*2^1398361-1 is not prime. Res64: 5DBAEE5F7B5117DE Time : 0.0 sec. user=mdettweiler [2015-05-03 16:24:42] 715*2^1398361-1 is not prime. Res64: 7F13AB572B70C9F4 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:24:42] 717*2^1398361-1 is not prime. Res64: FE92E59592F0112D Time : 0.0 sec. user=mdettweiler [2015-05-03 16:24:59] 747*2^1398361-1 is not prime. Res64: 49C0BCC94550934B Time : 0.0 sec. user=mdettweiler [2015-05-03 16:24:59] 701*2^1398362-1 is not prime. Res64: F9187B42D814351A Time : 0.0 sec. user=mdettweiler [2015-05-03 16:25:15] 743*2^1398362-1 is not prime. Res64: 4DA6E78C3F31F3DC Time : 0.0 sec. user=mdettweiler [2015-05-03 16:25:15] 771*2^1398362-1 is not prime. Res64: 82B65418A8A3C023 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:41:44] 873*2^1398362-1 is not prime. Res64: 6BADA826A4A84DFC Time : 0.0 sec. user=mdettweiler [2015-05-03 16:41:45] 885*2^1398362-1 is not prime. Res64: B4C92B96A1A33B52 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:42:04] 675*2^1398363-1 is not prime. Res64: 74DA8DF62786A05B Time : 0.0 sec. user=mdettweiler [2015-05-03 16:42:05] 723*2^1398363-1 is not prime. Res64: 7BC7B228164DE789 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:42:21] 829*2^1398363-1 is not prime. Res64: 0732223314EB1621 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:42:21] 849*2^1398363-1 is not prime. Res64: 5C466B3706AEF701 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:42:38] 943*2^1398363-1 is not prime. Res64: C0525D30ECC51107 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:42:39] 963*2^1398363-1 is not prime. Res64: 37C3CFAC635B2D73 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:59:15] 609*2^1398364-1 is not prime. Res64: 7D155E493A9BD89D Time : 0.0 sec. user=mdettweiler [2015-05-03 16:59:15] 639*2^1398364-1 is not prime. Res64: D841B31D474CC9CC Time : 0.0 sec. user=mdettweiler [2015-05-03 16:59:26] 677*2^1398364-1 is not prime. Res64: 22F21A7355892C63 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:59:27] 675*2^1398365-1 is not prime. Res64: 1272C0983A5EB8D4 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:59:47] 699*2^1398365-1 is not prime. Res64: BD06C208197A98F9 Time : 0.0 sec. user=mdettweiler [2015-05-03 16:59:47] 721*2^1398365-1 is not prime. Res64: 55859D9BFF4496EB Time : 0.0 sec. user=mdettweiler [2015-05-03 17:00:03] 735*2^1398365-1 is not prime. Res64: DA46CC47D4F3F3DC Time : 0.0 sec. user=mdettweiler [2015-05-03 17:00:04] 799*2^1398365-1 is not prime. Res64: 26902570C933F51A Time : 0.0 sec. user=mdettweiler [2015-05-03 17:16:45] 939*2^1398365-1 is not prime. Res64: AF4C9BFFBFFF20FC Time : 0.0 sec. user=mdettweiler [2015-05-03 17:16:45] 615*2^1398366-1 is not prime. Res64: 555A9D4E65A8ADA8 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:16:52] 737*2^1398366-1 is not prime. Res64: 335981787E333CF4 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:16:53] 767*2^1398366-1 is not prime. Res64: 6C6FBAF298A2C4FE Time : 0.0 sec. user=mdettweiler [2015-05-03 17:17:10] 783*2^1398366-1 is not prime. Res64: C0AC6F32F7ABC9CF Time : 0.0 sec. user=mdettweiler [2015-05-03 17:17:10] 933*2^1398366-1 is not prime. Res64: C2285EB70D1D633B Time : 0.0 sec. user=mdettweiler [2015-05-03 17:17:30] 941*2^1398366-1 is not prime. Res64: 45B1E1CE9952EDC7 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:17:30] 971*2^1398366-1 is not prime. Res64: 7EA8ACF9767F9D0D Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:11] 619*2^1398367-1 is not prime. Res64: A9A6EE45318D9EDE Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:11] 649*2^1398367-1 is not prime. Res64: 9AD704CCF57B87FC Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:16] 663*2^1398367-1 is not prime. Res64: 8D9D6DDF231C9EB7 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:16] 685*2^1398367-1 is not prime. Res64: 21EB440187E9281C Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:36] 765*2^1398367-1 is not prime. Res64: 8566E6A24129D4CD Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:37] 859*2^1398367-1 is not prime. Res64: 97FE1A08E3C7A536 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:57] 925*2^1398367-1 is not prime. Res64: 2F68781373B82AB4 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:34:58] 945*2^1398367-1 is not prime. Res64: 3EEDA61CC95BC1E8 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:51:54] 951*2^1398367-1 is not prime. Res64: D2900CBD28EEBE6D Time : 0.0 sec. user=mdettweiler [2015-05-03 17:51:54] 629*2^1398368-1 is not prime. Res64: F6882B388A013FDE Time : 0.0 sec. user=mdettweiler [2015-05-03 17:51:59] 665*2^1398368-1 is not prime. Res64: 749B5C5CAAADAC5F Time : 0.0 sec. user=mdettweiler [2015-05-03 17:52:00] 773*2^1398368-1 is not prime. Res64: 28AACF7ADEB3A1EB Time : 0.0 sec. user=mdettweiler [2015-05-03 17:52:18] 819*2^1398368-1 is not prime. Res64: 3DDC49EE4F541D0D Time : 0.0 sec. user=mdettweiler [2015-05-03 17:52:18] 839*2^1398368-1 is not prime. Res64: 4A113964A0D62105 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:52:41] 999*2^1398368-1 is not prime. Res64: 1011283CCB9F15A3 Time : 0.0 sec. user=mdettweiler [2015-05-03 17:52:42] 649*2^1398369-1 is not prime. Res64: 993F7DFA1D75EDFC Time : 0.0 sec. user=mdettweiler [2015-05-03 18:09:44] 603*2^1398370-1 is not prime. Res64: B2DA30C8ED2B3070 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:09:45] 701*2^1398370-1 is not prime. Res64: 14BCEAD83E73CE99 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:09:50] 711*2^1398369-1 is not prime. Res64: 7B1B7FD4DB983F63 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:09:50] 987*2^1398369-1 is not prime. Res64: 45E69EC230F99DFC Time : 0.0 sec. user=mdettweiler [2015-05-03 18:10:07] 743*2^1398370-1 is not prime. Res64: 1EE970EFC7185299 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:10:08] 845*2^1398370-1 is not prime. Res64: 33883B48A7098E31 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:10:34] 887*2^1398370-1 is not prime. Res64: AD4DDCB372A34D33 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:10:35] 891*2^1398370-1 is not prime. Res64: A3B5FEDE32A013B3 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:27:28] 951*2^1398370-1 is not prime. Res64: 5DE8ABF98044EE9A Time : 0.0 sec. user=mdettweiler [2015-05-03 18:27:29] 609*2^1398371-1 is not prime. Res64: 53A0578C421499AD Time : 0.0 sec. user=mdettweiler [2015-05-03 18:27:35] 631*2^1398371-1 is not prime. Res64: 6D2AABBC5018BE22 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:27:35] 651*2^1398371-1 is not prime. Res64: 350E039A6A1DA180 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:27:45] 679*2^1398371-1 is not prime. Res64: FC0DDAEBC288B2C0 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:27:46] 705*2^1398371-1 is not prime. Res64: 345A1BB4E1F25F46 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:28:21] 733*2^1398371-1 is not prime. Res64: C2998A5DED530676 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:28:22] 949*2^1398371-1 is not prime. Res64: C1B66012B5258C6F Time : 0.0 sec. user=mdettweiler [2015-05-03 18:45:15] 875*2^1398372-1 is not prime. Res64: 94BDA929BC771816 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:45:16] 879*2^1398372-1 is not prime. Res64: 132A670DBBF5D602 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:45:16] 981*2^1398371-1 is not prime. Res64: C1D550C1DA34D079 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:45:17] 777*2^1398372-1 is not prime. Res64: 13D151656CFF6BE6 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:45:32] 893*2^1398372-1 is not prime. Res64: 95F77799057FE4C0 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:45:33] 903*2^1398372-1 is not prime. Res64: 39FE95AEC4314E06 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:46:07] 929*2^1398372-1 is not prime. Res64: 78A1EDED66CBF817 Time : 0.0 sec. user=mdettweiler [2015-05-03 18:46:08] 741*2^1398373-1 is not prime. Res64: E90806C6D61E0231 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:04] 877*2^1398373-1 is not prime. Res64: 6A03FBFD4346A98B Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:05] 615*2^1398374-1 is not prime. Res64: B870E754467C5A4E Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:10] 757*2^1398373-1 is not prime. Res64: D1FECDD75DD18A13 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:11] 801*2^1398373-1 is not prime. Res64: 80E3C00B6892D76F Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:22] 665*2^1398374-1 is not prime. Res64: D26C939D17BE093E Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:23] 687*2^1398374-1 is not prime. Res64: DF5A659025150EEE Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:56] 827*2^1398374-1 is not prime. Res64: 7C0033B804EAB3EB Time : 0.0 sec. user=mdettweiler [2015-05-03 19:03:57] 851*2^1398374-1 is not prime. Res64: B78ABADFB1099222 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:09] 685*2^1398375-1 is not prime. Res64: C7898B0B4F8A210B Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:09] 775*2^1398375-1 is not prime. Res64: 8C4F686F2E1A6DB8 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:12] 795*2^1398375-1 is not prime. Res64: D0759DBA00E93022 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:13] 895*2^1398375-1 is not prime. Res64: 6D3759260133A124 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:15] 923*2^1398374-1 is not prime. Res64: 6965E326E794E4AC Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:15] 935*2^1398374-1 is not prime. Res64: 8532915A000E8D6C Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:38] 909*2^1398375-1 is not prime. Res64: 9E01AD9873430674 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:21:39] 933*2^1398375-1 is not prime. Res64: 04BA3A1307CB0542 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:38:45] 961*2^1398375-1 is not prime. Res64: 6E2F6201A08F7432 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:38:45] 963*2^1398375-1 is not prime. Res64: AEE18FF4352CD93A Time : 0.0 sec. user=mdettweiler [2015-05-03 19:38:52] 695*2^1398376-1 is not prime. Res64: FA9C6FA120E7E65C Time : 0.0 sec. user=mdettweiler [2015-05-03 19:38:52] 743*2^1398376-1 is not prime. Res64: F777E6993E90AA38 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:38:55] 779*2^1398376-1 is not prime. Res64: 318AB24A9C866606 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:38:55] 825*2^1398376-1 is not prime. Res64: C62C77004173D36E Time : 0.0 sec. user=mdettweiler [2015-05-03 19:39:17] 933*2^1398376-1 is not prime. Res64: F94424D81AF6F7B8 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:39:17] 939*2^1398376-1 is not prime. Res64: A5A74D2833D7AA88 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:56:35] 957*2^1398376-1 is not prime. Res64: 5339137DE2B7EB31 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:56:35] 615*2^1398377-1 is not prime. Res64: 7D62FFD953BCCD33 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:56:39] 697*2^1398377-1 is not prime. Res64: 4F3189823BA73AF5 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:56:40] 777*2^1398377-1 is not prime. Res64: 882A441B8CC22EC2 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:56:40] 715*2^1398377-1 is not prime. Res64: F619692BF0C8B154 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:56:40] 781*2^1398377-1 is not prime. Res64: C9FBBC1EEFF681B6 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:57:10] 819*2^1398377-1 is not prime. Res64: 89E4849E55428274 Time : 0.0 sec. user=mdettweiler [2015-05-03 19:57:10] 829*2^1398377-1 is not prime. Res64: F4B2D3A17408DE75 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:19] 775*2^1398379-1 is not prime. Res64: 0F2B4A3CB17494D8 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:19] 789*2^1398379-1 is not prime. Res64: A9350861908517F1 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:19] 867*2^1398377-1 is not prime. Res64: 31236A535CA487B3 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:20] 981*2^1398377-1 is not prime. Res64: 985EC0612065E132 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:25] 971*2^1398378-1 is not prime. Res64: 289B64DC325F6C08 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:25] 733*2^1398379-1 is not prime. Res64: 41900412AF2D387B Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:51] 609*2^1398380-1 is not prime. Res64: 7C2BC6972765BD38 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:14:52] 735*2^1398380-1 is not prime. Res64: C52186FDA6BE8D3D Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:19] 893*2^1398380-1 is not prime. Res64: 66CBB81B0D82F1E4 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:19] 907*2^1398381-1 is not prime. Res64: AF7F8AB5B3298A65 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:22] 979*2^1398381-1 is not prime. Res64: FF0E588F0D65BFC3 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:22] 999*2^1398381-1 is not prime. Res64: 0FBE6FEF9664FB65 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:32] 681*2^1398382-1 is not prime. Res64: 277AB3F3F339BC6D Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:32] 885*2^1398382-1 is not prime. Res64: C81610DB9C610C40 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:57] 945*2^1398382-1 is not prime. Res64: 113C7F3CB94C1FDC Time : 0.0 sec. user=mdettweiler [2015-05-03 20:32:58] 615*2^1398383-1 is not prime. Res64: 6169A01C9AA261FE Time : 0.0 sec. user=mdettweiler [2015-05-03 20:49:57] 673*2^1398383-1 is not prime. Res64: 633D6F54F0F8A9E1 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:49:57] 753*2^1398383-1 is not prime. Res64: 46EC8009A5142BA3 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:49:59] 643*2^1398383-1 is not prime. Res64: 9564D5D038E0716A Time : 0.0 sec. user=mdettweiler [2015-05-03 20:49:59] 649*2^1398383-1 is not prime. Res64: 787DCB935D985A6A Time : 0.0 sec. user=mdettweiler [2015-05-03 20:50:18] 921*2^1398383-1 is not prime. Res64: 3506D629794546D1 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:50:19] 635*2^1398384-1 is not prime. Res64: 06A0ED8D6C0FFD5E Time : 0.0 sec. user=mdettweiler [2015-05-03 20:50:31] 767*2^1398384-1 is not prime. Res64: B29EB8EB2199DCF3 Time : 0.0 sec. user=mdettweiler [2015-05-03 20:50:32] 857*2^1398384-1 is not prime. Res64: F8277CAA5879AA07 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:14] 729*2^1398385-1 is not prime. Res64: D8611280E6543733 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:15] 741*2^1398385-1 is not prime. Res64: 19BCECEF32D22168 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:23] 799*2^1398385-1 is not prime. Res64: 0C02FF2E91D9DE40 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:24] 801*2^1398385-1 is not prime. Res64: 121F61F1610EEE2C Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:37] 895*2^1398385-1 is not prime. Res64: E2FB9CDB2B1923F8 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:37] 641*2^1398386-1 is not prime. Res64: 9F68176D719D500B Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:47] 755*2^1398386-1 is not prime. Res64: FDCDFB99CDA55A2B Time : 0.0 sec. user=mdettweiler [2015-05-03 21:08:47] 851*2^1398386-1 is not prime. Res64: 4D11C301D54E300E Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:10] 887*2^1398386-1 is not prime. Res64: 5C277EC34A3D602A Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:10] 615*2^1398387-1 is not prime. Res64: 2C94BFB3880CE211 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:19] 781*2^1398387-1 is not prime. Res64: 884047F34E3DAA7B Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:19] 951*2^1398387-1 is not prime. Res64: FE6CE2C1BBBB46C9 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:32] 647*2^1398388-1 is not prime. Res64: 48D7D13B550D2574 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:33] 743*2^1398388-1 is not prime. Res64: D204704CFB7F11E5 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:37] 933*2^1398388-1 is not prime. Res64: F8A41B34350354A2 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:26:37] 987*2^1398388-1 is not prime. Res64: D2A14B91815A4ECC Time : 0.0 sec. user=mdettweiler [2015-05-03 21:43:48] 999*2^1398388-1 is not prime. Res64: 9B7E063DBE5728FC Time : 0.0 sec. user=mdettweiler [2015-05-03 21:43:49] 655*2^1398389-1 is not prime. Res64: 6CAE2945FF5CEB77 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:43:59] 699*2^1398389-1 is not prime. Res64: A9D87BAD25353303 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:43:59] 825*2^1398389-1 is not prime. Res64: 7C1FEB7138B6F3BB Time : 0.0 sec. user=mdettweiler [2015-05-03 21:44:11] 837*2^1398389-1 is not prime. Res64: 2711FC2F735F2A5F Time : 0.0 sec. user=mdettweiler [2015-05-03 21:44:11] 987*2^1398389-1 is not prime. Res64: 7B37557F881E0F60 Time : 0.0 sec. user=mdettweiler [2015-05-03 21:44:18] 615*2^1398390-1 is not prime. Res64: 3F81390ED5F2C03B Time : 0.0 sec. user=mdettweiler [2015-05-03 21:44:18] 821*2^1398390-1 is not prime. Res64: 5A7765520FEB5783 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:25] 875*2^1398390-1 is not prime. Res64: D3389CF5607EAB9E Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:26] 893*2^1398390-1 is not prime. Res64: 26B24875C04D0441 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:31] 915*2^1398390-1 is not prime. Res64: 27FA7592960AD38B Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:31] 625*2^1398391-1 is not prime. Res64: AED64F797AB42074 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:47] 723*2^1398391-1 is not prime. Res64: AC104130336BECDC Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:48] 873*2^1398391-1 is not prime. Res64: 100861F1E2BD5F4D Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:50] 979*2^1398391-1 is not prime. Res64: D421DF4253171DC1 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:01:51] 669*2^1398392-1 is not prime. Res64: 54A5B2E0AA3B98CB Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:19] 843*2^1398392-1 is not prime. Res64: 02B4628E3E0BAAAE Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:19] 923*2^1398392-1 is not prime. Res64: 31E5AD18C545FE9A Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:24] 787*2^1398393-1 is not prime. Res64: 6DB413F976B75B6F Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:24] 829*2^1398393-1 is not prime. Res64: A91759D82AC91CF4 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:26] 747*2^1398393-1 is not prime. Res64: FB6C2FC51A9902AE Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:26] 781*2^1398393-1 is not prime. Res64: 0D11A4294B7872E0 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:29] 677*2^1398392-1 is not prime. Res64: AE828E67665B02DB Time : 0.0 sec. user=mdettweiler [2015-05-03 22:19:29] 725*2^1398392-1 is not prime. Res64: 41BBF91970BEC95B Time : 0.0 sec. user=mdettweiler [2015-05-03 22:36:53] 635*2^1398394-1 is not prime. Res64: D784F9DF7A9DE637 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:36:54] 985*2^1398393-1 is not prime. Res64: E0798D8BACE71EDC Time : 0.0 sec. user=mdettweiler [2015-05-03 22:36:54] 657*2^1398394-1 is not prime. Res64: E7F057785A6FF45D Time : 0.0 sec. user=mdettweiler [2015-05-03 22:36:54] 999*2^1398393-1 is not prime. Res64: A2FA17EFC50AD952 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:36:57] 701*2^1398394-1 is not prime. Res64: EE16D6F3D627DE4B Time : 0.0 sec. user=mdettweiler [2015-05-03 22:36:57] 765*2^1398394-1 is not prime. Res64: CEFC0D5C6E2D08DA Time : 0.0 sec. user=mdettweiler [2015-05-03 22:37:02] 783*2^1398394-1 is not prime. Res64: 63E0EB798CE25B85 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:37:02] 857*2^1398394-1 is not prime. Res64: D1D4ED3BD8BE8C83 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:27] 917*2^1398394-1 is not prime. Res64: 815397BA14A11450 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:27] 825*2^1398395-1 is not prime. Res64: A4EA360F5667E71A Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:27] 983*2^1398394-1 is not prime. Res64: 91DF51F3AE3F9980 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:27] 973*2^1398395-1 is not prime. Res64: DAEB280576621130 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:31] 609*2^1398396-1 is not prime. Res64: FC84406BC4524BF9 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:32] 773*2^1398396-1 is not prime. Res64: 252347401CB55D18 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:53] 887*2^1398396-1 is not prime. Res64: 8612C23E1C77D109 Time : 0.0 sec. user=mdettweiler [2015-05-03 22:54:53] 927*2^1398396-1 is not prime. Res64: 1DCA404332D3AA96 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:11] 685*2^1398397-1 is not prime. Res64: A33C65F1EA78A1A2 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:11] 747*2^1398397-1 is not prime. Res64: AFF2BCD6E1CA2811 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:14] 667*2^1398397-1 is not prime. Res64: D73BCD852892EB75 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:14] 777*2^1398397-1 is not prime. Res64: 89FCCAE842977DE8 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:18] 927*2^1398397-1 is not prime. Res64: 30744684BB387B87 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:18] 975*2^1398397-1 is not prime. Res64: E71A8A0F3B9B4769 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:39] 979*2^1398397-1 is not prime. Res64: 57FFF3E63295C280 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:12:40] 665*2^1398398-1 is not prime. Res64: 53FA441613FB26F3 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:29:57] 861*2^1398398-1 is not prime. Res64: 9D139D992FA69D92 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:29:57] 971*2^1398398-1 is not prime. Res64: 43370D8B3560B8F4 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:29:59] 679*2^1398399-1 is not prime. Res64: CCB1CAB6251CC8FC Time : 0.0 sec. user=mdettweiler [2015-05-03 23:29:59] 735*2^1398399-1 is not prime. Res64: C45007695168C041 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:30:07] 693*2^1398398-1 is not prime. Res64: F4266A4F678091ED Time : 0.0 sec. user=mdettweiler [2015-05-03 23:30:07] 707*2^1398398-1 is not prime. Res64: 4C8F013CB9708483 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:30:25] 745*2^1398399-1 is not prime. Res64: 3CD876DC88E62988 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:30:25] 853*2^1398399-1 is not prime. Res64: B6A2E733E4264AE1 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:47:44] 983*2^1398400-1 is not prime. Res64: 2D9E2D8EBFE03AB1 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:47:45] 645*2^1398401-1 is not prime. Res64: 5D0094CAFF1B4270 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:47:47] 723*2^1398400-1 is not prime. Res64: AA4F308EC86D38BD Time : 0.0 sec. user=mdettweiler [2015-05-03 23:47:47] 827*2^1398400-1 is not prime. Res64: CBE00D63A3B5EF91 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:47:48] 891*2^1398399-1 is not prime. Res64: CD3440A1D72B84AD Time : 0.0 sec. user=mdettweiler [2015-05-03 23:47:49] 675*2^1398400-1 is not prime. Res64: 6CCA144263E9AC37 Time : 0.0 sec. user=mdettweiler [2015-05-03 23:48:14] 649*2^1398401-1 is not prime. Res64: 178241508733859C Time : 0.0 sec. user=mdettweiler [2015-05-03 23:48:14] 727*2^1398401-1 is not prime. Res64: BE08CCBDA4CE2186 Time : 0.0 sec.