user=mdettweiler [2015-03-12 00:13:17] 977*2^1395198-1 is not prime. Res64: BC68D5A2E1528622 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:13:18] 639*2^1395199-1 is not prime. Res64: 9252D675FC61DF6F Time : 0.0 sec. user=mdettweiler [2015-03-12 00:14:33] 745*2^1395199-1 is not prime. Res64: A5B611475A44DD95 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:14:34] 793*2^1395199-1 is not prime. Res64: CDD0B0B975A47CC9 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:15:54] 679*2^1395199-1 is not prime. Res64: 062B121C6A807081 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:15:54] 729*2^1395199-1 is not prime. Res64: C34D54486C075278 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:31:40] 861*2^1395199-1 is not prime. Res64: 803C0D47DCF34273 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:31:40] 873*2^1395199-1 is not prime. Res64: B55F59FD5DF9286D Time : 0.0 sec. user=mdettweiler [2015-03-12 00:42:40] 603*2^1395200-1 is not prime. Res64: 6ACC3FADE57A4B13 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:42:40] 615*2^1395200-1 is not prime. Res64: 88761EBB686B8ED5 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:43:37] 735*2^1395200-1 is not prime. Res64: 86917CC709BBDEDA Time : 0.0 sec. user=mdettweiler [2015-03-12 00:43:37] 789*2^1395200-1 is not prime. Res64: 7F80B2C7DF39B889 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:44:51] 845*2^1395200-1 is not prime. Res64: 3FE4F1B33F91DAB9 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:44:51] 909*2^1395200-1 is not prime. Res64: C4ABE3FC851DB119 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:59:05] 977*2^1395200-1 is not prime. Res64: 05D3953B5FD08208 Time : 0.0 sec. user=mdettweiler [2015-03-12 00:59:06] 607*2^1395201-1 is not prime. Res64: 377B67B9E5BEDD0F Time : 0.0 sec. user=mdettweiler [2015-03-12 01:10:02] 649*2^1395201-1 is not prime. Res64: 537FF4D5CE7C45A0 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:10:03] 679*2^1395201-1 is not prime. Res64: 1C5B9A84AB6364A2 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:11:33] 751*2^1395201-1 is not prime. Res64: 4AB84E3D96E037BD Time : 0.0 sec. user=mdettweiler [2015-03-12 01:11:34] 781*2^1395201-1 is not prime. Res64: 08E4680637DCEF50 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:12:17] 877*2^1395201-1 is not prime. Res64: EBB9DDF16D63DF94 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:12:17] 909*2^1395201-1 is not prime. Res64: C70F5AEA6CBB9932 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:26:03] 621*2^1395202-1 is not prime. Res64: 52DFFA3577AA5C3C Time : 0.0 sec. user=mdettweiler [2015-03-12 01:26:04] 717*2^1395202-1 is not prime. Res64: 3D040D94AEDBF885 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:36:29] 755*2^1395202-1 is not prime. Res64: 5D99F46A5E5397E5 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:36:29] 813*2^1395202-1 is not prime. Res64: 3804677F41DE2F83 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:37:40] 815*2^1395202-1 is not prime. Res64: F42CE77C2CF7B85E Time : 0.0 sec. user=mdettweiler [2015-03-12 01:37:40] 945*2^1395202-1 is not prime. Res64: BE796143176BCC96 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:38:21] 619*2^1395203-1 is not prime. Res64: 4F9541D3AFA14FB6 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:38:21] 705*2^1395203-1 is not prime. Res64: A211F51F5E7CFE11 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:52:09] 735*2^1395203-1 is not prime. Res64: BE78ED09F699B994 Time : 0.0 sec. user=mdettweiler [2015-03-12 01:52:10] 741*2^1395203-1 is not prime. Res64: 9FD1D1C6685AD281 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:02:39] 759*2^1395203-1 is not prime. Res64: 98A5CD05D26F30AA Time : 0.0 sec. user=mdettweiler [2015-03-12 02:02:40] 805*2^1395203-1 is not prime. Res64: 81CBC1D7B17F9C0F Time : 0.0 sec. user=mdettweiler [2015-03-12 02:03:52] 825*2^1395203-1 is not prime. Res64: 4843E107C17FC52D Time : 0.0 sec. user=mdettweiler [2015-03-12 02:03:53] 945*2^1395203-1 is not prime. Res64: 5D36C94AF6268EB3 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:04:25] 725*2^1395204-1 is not prime. Res64: 0F3D5AE664CCF654 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:04:26] 857*2^1395204-1 is not prime. Res64: 4A7AADF0BC11F157 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:18:20] 893*2^1395204-1 is not prime. Res64: F7AC9F4C2ACBDBDE Time : 0.0 sec. user=mdettweiler [2015-03-12 02:18:21] 929*2^1395204-1 is not prime. Res64: 0B43A23F35C075DB Time : 0.0 sec. user=mdettweiler [2015-03-12 02:28:49] 651*2^1395205-1 is not prime. Res64: 55A87439BF05E03B Time : 0.0 sec. user=mdettweiler [2015-03-12 02:28:49] 691*2^1395205-1 is not prime. Res64: 0695DCF40B8F01E2 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:29:56] 789*2^1395205-1 is not prime. Res64: 4C1E38D5534A3A5A Time : 0.0 sec. user=mdettweiler [2015-03-12 02:29:56] 801*2^1395205-1 is not prime. Res64: 0A8124444950C00F Time : 0.0 sec. user=mdettweiler [2015-03-12 02:30:40] 831*2^1395205-1 is not prime. Res64: E8F45D11FF1A8EED Time : 0.0 sec. user=mdettweiler [2015-03-12 02:30:41] 627*2^1395206-1 is not prime. Res64: C71E57B6F44E44BC Time : 0.0 sec. user=mdettweiler [2015-03-12 02:45:09] 641*2^1395206-1 is not prime. Res64: DF371F699ACCEB77 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:45:10] 671*2^1395206-1 is not prime. Res64: 70D994954ACD4048 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:55:55] 785*2^1395206-1 is not prime. Res64: 854B41F0EB683A72 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:55:56] 831*2^1395206-1 is not prime. Res64: 9BCDA3D9B4405564 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:56:52] 873*2^1395206-1 is not prime. Res64: E8B3A5D7BAB5C591 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:56:52] 917*2^1395206-1 is not prime. Res64: 410834D6593F0757 Time : 0.0 sec. user=mdettweiler [2015-03-12 02:57:34] 705*2^1395207-1 is not prime. Res64: 637E7875A5F215AC Time : 0.0 sec. user=mdettweiler [2015-03-12 02:57:35] 979*2^1395207-1 is not prime. Res64: F69EFF9AF411A5A0 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:11:28] 849*2^1395208-1 is not prime. Res64: 0995CBC984488ACD Time : 0.0 sec. user=mdettweiler [2015-03-12 03:11:29] 887*2^1395208-1 is not prime. Res64: 569DC0BBD367C1CA Time : 0.0 sec. user=mdettweiler [2015-03-12 03:22:01] 957*2^1395208-1 is not prime. Res64: 5D280BAA06CC9069 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:22:01] 969*2^1395208-1 is not prime. Res64: 499CFF370DE99D76 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:23:13] 989*2^1395208-1 is not prime. Res64: 67F23775CC5CED94 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:23:13] 645*2^1395209-1 is not prime. Res64: 2F3E37F249D36F05 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:24:00] 769*2^1395209-1 is not prime. Res64: FB5BD9E1CBBDC3B7 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:24:01] 789*2^1395209-1 is not prime. Res64: 4B597AA7A4589510 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:37:45] 829*2^1395209-1 is not prime. Res64: FEAD79064DB381D6 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:37:45] 841*2^1395209-1 is not prime. Res64: E8E607CAD4E74696 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:48:09] 861*2^1395209-1 is not prime. Res64: DB07345F120A0814 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:48:09] 627*2^1395210-1 is not prime. Res64: 27616218B09147E6 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:49:14] 635*2^1395210-1 is not prime. Res64: 909092DC11D69AF6 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:49:15] 783*2^1395210-1 is not prime. Res64: F3EF1ADB84F735C6 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:50:10] 875*2^1395210-1 is not prime. Res64: 6F11579F0777CE95 Time : 0.0 sec. user=mdettweiler [2015-03-12 03:50:10] 887*2^1395210-1 is not prime. Res64: 9416C1D68F57414A Time : 0.0 sec. user=mdettweiler [2015-03-12 04:03:53] 891*2^1395210-1 is not prime. Res64: 544C009A90BFC96D Time : 0.0 sec. user=mdettweiler [2015-03-12 04:03:54] 927*2^1395210-1 is not prime. Res64: DA8E6A76B020FF76 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:14:10] 619*2^1395211-1 is not prime. Res64: C8655B8C338CA873 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:14:11] 645*2^1395211-1 is not prime. Res64: 507B94C7FC3C522A Time : 0.0 sec. user=mdettweiler [2015-03-12 04:15:20] 715*2^1395211-1 is not prime. Res64: 001B5A6C8C31CBBA Time : 0.0 sec. user=mdettweiler [2015-03-12 04:15:20] 861*2^1395211-1 is not prime. Res64: D74A5D655D9EDBAC Time : 0.0 sec. user=mdettweiler [2015-03-12 04:16:11] 951*2^1395211-1 is not prime. Res64: BA7DB95515AB2866 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:16:11] 669*2^1395212-1 is not prime. Res64: E6A4ECC3FA28DFC5 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:30:19] 725*2^1395212-1 is not prime. Res64: 3E124DD154961D4D Time : 0.0 sec. user=mdettweiler [2015-03-12 04:30:20] 983*2^1395212-1 is not prime. Res64: 6F5D95ABB91BB1AF Time : 0.0 sec. user=mdettweiler [2015-03-12 04:40:12] 615*2^1395213-1 is not prime. Res64: 43A5D45E221F4889 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:40:13] 685*2^1395213-1 is not prime. Res64: AD4192DCC92B4F43 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:41:24] 759*2^1395213-1 is not prime. Res64: 4393C226CC2C76B0 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:41:24] 915*2^1395213-1 is not prime. Res64: 962CB850B559E8D9 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:42:13] 991*2^1395213-1 is not prime. Res64: A16B9BA8BE7C6829 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:42:13] 621*2^1395214-1 is not prime. Res64: CBFD955A2BE14030 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:56:24] 635*2^1395214-1 is not prime. Res64: 659E75290AB3C940 Time : 0.0 sec. user=mdettweiler [2015-03-12 04:56:24] 741*2^1395214-1 is not prime. Res64: 76275D00681A4C32 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:06:35] 827*2^1395214-1 is not prime. Res64: 3C47254B4B38A8D8 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:06:35] 833*2^1395214-1 is not prime. Res64: 15B8D9B32C57A258 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:07:23] 891*2^1395214-1 is not prime. Res64: 71D526007D006A12 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:07:23] 987*2^1395214-1 is not prime. Res64: BEF761A24DD58EA4 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:08:28] 643*2^1395215-1 is not prime. Res64: 27517189E271253B Time : 0.0 sec. user=mdettweiler [2015-03-12 05:08:29] 741*2^1395215-1 is not prime. Res64: 4AF36615F47F9948 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:22:18] 763*2^1395215-1 is not prime. Res64: 53A346EB99B850ED Time : 0.0 sec. user=mdettweiler [2015-03-12 05:22:18] 865*2^1395215-1 is not prime. Res64: B84E4B2DFD162DB7 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:32:34] 909*2^1395215-1 is not prime. Res64: ADD6C5155D807F66 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:32:34] 981*2^1395215-1 is not prime. Res64: 91C23AE9C252F68A Time : 0.0 sec. user=mdettweiler [2015-03-12 05:33:31] 635*2^1395216-1 is not prime. Res64: 396287CC36F7E667 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:33:31] 725*2^1395216-1 is not prime. Res64: CF37252A812C56EC Time : 0.0 sec. user=mdettweiler [2015-03-12 05:34:27] 843*2^1395216-1 is not prime. Res64: 60610AB18913D278 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:34:27] 999*2^1395216-1 is not prime. Res64: 5E01CB5675FD4D05 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:48:24] 765*2^1395217-1 is not prime. Res64: 0812FF19804F4A1E Time : 0.0 sec. user=mdettweiler [2015-03-12 05:48:24] 817*2^1395217-1 is not prime. Res64: BDE32B4167796228 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:58:29] 819*2^1395217-1 is not prime. Res64: 2F3F9CDECBF8293B Time : 0.0 sec. user=mdettweiler [2015-03-12 05:58:30] 835*2^1395217-1 is not prime. Res64: D7ABC01D0F127C59 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:59:25] 895*2^1395217-1 is not prime. Res64: 5D11978AD7DFF4B1 Time : 0.0 sec. user=mdettweiler [2015-03-12 05:59:25] 931*2^1395217-1 is not prime. Res64: 1F3A25F1A6A3DF02 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:00:32] 641*2^1395218-1 is not prime. Res64: CAB8EF74279B8B45 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:00:33] 671*2^1395218-1 is not prime. Res64: 75633AACB21E0DDE Time : 0.0 sec. user=mdettweiler [2015-03-12 06:14:33] 791*2^1395218-1 is not prime. Res64: A81460E7D1BF3327 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:14:33] 827*2^1395218-1 is not prime. Res64: 0F664AAD232E1B31 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:24:33] 927*2^1395218-1 is not prime. Res64: FCA9FE0ACA8A1C46 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:24:33] 963*2^1395218-1 is not prime. Res64: CB2CCC372072E2F0 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:25:26] 619*2^1395219-1 is not prime. Res64: 515CCD25290D4307 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:25:27] 621*2^1395219-1 is not prime. Res64: A1F903F4E1DBA3EC Time : 0.0 sec. user=mdettweiler [2015-03-12 06:26:27] 649*2^1395219-1 is not prime. Res64: 12A916C1D1F426BA Time : 0.0 sec. user=mdettweiler [2015-03-12 06:26:28] 741*2^1395219-1 is not prime. Res64: 519407ADAB7CE19F Time : 0.0 sec. user=mdettweiler [2015-03-12 06:40:41] 795*2^1395219-1 is not prime. Res64: B14206284F77C47C Time : 0.0 sec. user=mdettweiler [2015-03-12 06:40:42] 919*2^1395219-1 is not prime. Res64: BF5B711851B4882D Time : 0.0 sec. user=mdettweiler [2015-03-12 06:50:41] 979*2^1395219-1 is not prime. Res64: 89D02BB0C7D79612 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:50:41] 999*2^1395219-1 is not prime. Res64: 46580A53FAC273C0 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:51:22] 723*2^1395220-1 is not prime. Res64: ADEA748C3B5C541C Time : 0.0 sec. user=mdettweiler [2015-03-12 06:51:22] 803*2^1395220-1 is not prime. Res64: D3DE19DEF0340B10 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:52:34] 813*2^1395220-1 is not prime. Res64: 31E3FA9FDF642285 Time : 0.0 sec. user=mdettweiler [2015-03-12 06:52:34] 915*2^1395220-1 is not prime. Res64: 2A4B13C7D56562B8 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:06:58] 965*2^1395220-1 is not prime. Res64: E66F863E95B11F63 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:06:59] 675*2^1395221-1 is not prime. Res64: 6B4AC186798FB4A5 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:16:39] 691*2^1395221-1 is not prime. Res64: BA5ABBD7D1094F16 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:16:40] 871*2^1395221-1 is not prime. Res64: 464A2B803AF7A6E7 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:17:17] 907*2^1395221-1 is not prime. Res64: 79F5C8ADE21CC429 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:17:17] 737*2^1395222-1 is not prime. Res64: CF1F380B755B955D Time : 0.0 sec. user=mdettweiler [2015-03-12 07:18:35] 977*2^1395222-1 is not prime. Res64: 912EAD4CC667D804 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:18:35] 649*2^1395223-1 is not prime. Res64: 1F8588896662F19D Time : 0.0 sec. user=mdettweiler [2015-03-12 07:33:07] 735*2^1395223-1 is not prime. Res64: 7529C0A1DDD92337 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:33:07] 741*2^1395223-1 is not prime. Res64: 921CE601FAA46E5E Time : 0.0 sec. user=mdettweiler [2015-03-12 07:42:33] 849*2^1395223-1 is not prime. Res64: A5B6D2CAE4D01562 Time : 0.0 sec. user=mdettweiler [2015-03-12 07:42:33] 853*2^1395223-1 is not prime. Res64: B057727539B81BBD Time : 0.0 sec. user=mdettweiler [2015-03-12 07:43:11] 973*2^1395223-1 is not prime. Res64: 792A7E89883DBB7C Time : 0.0 sec. user=mdettweiler [2015-03-12 07:43:11] 985*2^1395223-1 is not prime. Res64: 141004369778581C Time : 0.0 sec. user=mdettweiler [2015-03-12 07:44:32] 999*2^1395223-1 is not prime. Res64: 0ABDEB6C6649EAFF Time : 0.0 sec. user=mdettweiler [2015-03-12 07:44:32] 635*2^1395224-1 is not prime. Res64: CA0ABFEF570BC9ED Time : 0.0 sec. user=mdettweiler [2015-03-12 07:59:03] 717*2^1395224-1 is not prime. Res64: 1567A5624CE346DF Time : 0.0 sec. user=mdettweiler [2015-03-12 07:59:03] 843*2^1395224-1 is not prime. Res64: 38C09BE491CC59B3 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:08:26] 869*2^1395224-1 is not prime. Res64: 452277B88EF68D8C Time : 0.0 sec. user=mdettweiler [2015-03-12 08:08:27] 957*2^1395224-1 is not prime. Res64: 8908FAD8B2212857 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:09:00] 959*2^1395224-1 is not prime. Res64: 5C91DDC9CFC59294 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:09:00] 795*2^1395225-1 is not prime. Res64: 74F318C85ED1E46D Time : 0.0 sec. user=mdettweiler [2015-03-12 08:10:17] 837*2^1395225-1 is not prime. Res64: AA80C3DC8BFC0CDC Time : 0.0 sec. user=mdettweiler [2015-03-12 08:10:18] 861*2^1395225-1 is not prime. Res64: 48BD967644426859 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:24:56] 885*2^1395225-1 is not prime. Res64: B34F278570171990 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:24:57] 985*2^1395225-1 is not prime. Res64: E23DC8D27D2126E9 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:34:13] 997*2^1395225-1 is not prime. Res64: 36E6C1604F051F2C Time : 0.0 sec. user=mdettweiler [2015-03-12 08:34:14] 623*2^1395226-1 is not prime. Res64: 2B73617E4E0DCC9D Time : 0.0 sec. user=mdettweiler [2015-03-12 08:34:57] 653*2^1395226-1 is not prime. Res64: 9B804F9785D9CC25 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:34:57] 657*2^1395226-1 is not prime. Res64: 81CEDB48B720520E Time : 0.0 sec. user=mdettweiler [2015-03-12 08:36:01] 663*2^1395226-1 is not prime. Res64: 92674FDE5BF68B5D Time : 0.0 sec. user=mdettweiler [2015-03-12 08:36:02] 713*2^1395226-1 is not prime. Res64: 6D8073C4145AE87C Time : 0.0 sec. user=mdettweiler [2015-03-12 08:50:50] 801*2^1395226-1 is not prime. Res64: E2CAF709F24786A2 Time : 0.0 sec. user=mdettweiler [2015-03-12 08:50:51] 815*2^1395226-1 is not prime. Res64: DA4C31B1860BDE68 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:00:02] 857*2^1395226-1 is not prime. Res64: 167B1706740F27FD Time : 0.0 sec. user=mdettweiler [2015-03-12 09:00:02] 881*2^1395226-1 is not prime. Res64: 9F5AC8136AD2B8BB Time : 0.0 sec. user=mdettweiler [2015-03-12 09:00:46] 917*2^1395226-1 is not prime. Res64: 4FC0F83FFDEEB59A Time : 0.0 sec. user=mdettweiler [2015-03-12 09:00:47] 993*2^1395226-1 is not prime. Res64: 58CBDC69B85ABFC4 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:01:46] 631*2^1395227-1 is not prime. Res64: A5CC638F823734EB Time : 0.0 sec. user=mdettweiler [2015-03-12 09:01:48] 663*2^1395227-1 is not prime. Res64: 6A9505557687FCCD Time : 0.0 sec. user=juhehe [2015-03-12 09:10:41] 735*2^1395227-1 is not prime. Res64: 5E3F5DD05355341D Time : 0.0 sec. user=mdettweiler [2015-03-12 09:16:39] 775*2^1395227-1 is not prime. Res64: 28C47511A22F7CDB Time : 0.0 sec. user=mdettweiler [2015-03-12 09:16:40] 859*2^1395227-1 is not prime. Res64: 10B1CFC48E7DE427 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:25:51] 861*2^1395227-1 is not prime. Res64: E6AB195D0E46F15B Time : 0.0 sec. user=mdettweiler [2015-03-12 09:25:51] 949*2^1395227-1 is not prime. Res64: 034546C775AE166F Time : 0.0 sec. user=mdettweiler [2015-03-12 09:26:55] 629*2^1395228-1 is not prime. Res64: FBD7789EAC6AE7F6 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:26:56] 635*2^1395228-1 is not prime. Res64: 7908BD13E86A91ED Time : 0.0 sec. user=mdettweiler [2015-03-12 09:27:40] 683*2^1395228-1 is not prime. Res64: 8181341016022ED0 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:27:41] 695*2^1395228-1 is not prime. Res64: D407D9730E23A33B Time : 0.0 sec. user=mdettweiler [2015-03-12 09:42:29] 909*2^1395228-1 is not prime. Res64: 5916D8BB16D966A2 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:42:30] 923*2^1395228-1 is not prime. Res64: 87DC47B26C36EAE5 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:51:44] 667*2^1395229-1 is not prime. Res64: 51BD7775AC79773D Time : 0.0 sec. user=mdettweiler [2015-03-12 09:51:45] 681*2^1395229-1 is not prime. Res64: 1A0E73508388CC31 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:52:54] 861*2^1395229-1 is not prime. Res64: CC3E30AC67525510 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:52:54] 877*2^1395229-1 is not prime. Res64: DC237600859F3118 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:53:26] 885*2^1395229-1 is not prime. Res64: 539FC76FD97490F1 Time : 0.0 sec. user=mdettweiler [2015-03-12 09:53:26] 957*2^1395229-1 is not prime. Res64: 2791B4432F8389BC Time : 0.0 sec. user=mdettweiler [2015-03-12 10:08:26] 987*2^1395229-1 is not prime. Res64: 00E248E529845A03 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:08:26] 615*2^1395230-1 is not prime. Res64: DFC3C4ADD1E254D3 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:17:32] 623*2^1395230-1 is not prime. Res64: EF22D4B8A294E03E Time : 0.0 sec. user=mdettweiler [2015-03-12 10:17:32] 641*2^1395230-1 is not prime. Res64: 6910A461146F0431 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:18:46] 675*2^1395230-1 is not prime. Res64: BD793D16579CED6D Time : 0.0 sec. user=mdettweiler [2015-03-12 10:18:47] 825*2^1395230-1 is not prime. Res64: 95E156575B1DB727 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:19:22] 923*2^1395230-1 is not prime. Res64: 0634D51D41C5F332 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:19:22] 941*2^1395230-1 is not prime. Res64: A2B9F506F321302E Time : 0.0 sec. user=mdettweiler [2015-03-12 10:34:15] 643*2^1395231-1 is not prime. Res64: 90B8FF888F52B230 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:34:16] 775*2^1395231-1 is not prime. Res64: AC9EE7B30A821718 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:43:21] 829*2^1395231-1 is not prime. Res64: 0C3217F469A1B514 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:43:21] 629*2^1395232-1 is not prime. Res64: 663B61FC75637294 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:44:34] 713*2^1395232-1 is not prime. Res64: F3C4D959F894311C Time : 0.0 sec. user=mdettweiler [2015-03-12 10:44:35] 735*2^1395232-1 is not prime. Res64: FA5530E3E66A4926 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:45:11] 825*2^1395232-1 is not prime. Res64: 2AB0BA75877B88F7 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:45:12] 607*2^1395233-1 is not prime. Res64: 0F3D69F7ADCCDCD6 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:59:57] 879*2^1395233-1 is not prime. Res64: 180690A247B3ADC2 Time : 0.0 sec. user=mdettweiler [2015-03-12 10:59:57] 889*2^1395233-1 is not prime. Res64: 73493B17CB43F414 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:09:05] 897*2^1395233-1 is not prime. Res64: 2594CC237A89BBE3 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:09:05] 915*2^1395233-1 is not prime. Res64: DD27498232845080 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:10:18] 937*2^1395233-1 is not prime. Res64: 98742C446AAC569D Time : 0.0 sec. user=mdettweiler [2015-03-12 11:10:18] 949*2^1395233-1 is not prime. Res64: C68DA2A9C124BFAF Time : 0.0 sec. user=mdettweiler [2015-03-12 11:11:04] 717*2^1395234-1 is not prime. Res64: DB1F6069EB6B0066 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:11:04] 923*2^1395234-1 is not prime. Res64: DCEF08DB803DF6EE Time : 0.0 sec. user=mdettweiler [2015-03-12 11:25:39] 1001*2^1395234-1 is not prime. Res64: F69B6138418DE4DB Time : 0.0 sec. user=mdettweiler [2015-03-12 11:25:40] 609*2^1395235-1 is not prime. Res64: 18225137C88981F0 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:35:00] 679*2^1395235-1 is not prime. Res64: 6B79F5EEE529A595 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:35:00] 723*2^1395235-1 is not prime. Res64: A4ADA8853A9A108B Time : 0.0 sec. user=mdettweiler [2015-03-12 11:36:11] 771*2^1395235-1 is not prime. Res64: CA2851960FEB5D77 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:36:12] 885*2^1395235-1 is not prime. Res64: C8CD033ACF49945E Time : 0.0 sec. user=mdettweiler [2015-03-12 11:36:48] 909*2^1395235-1 is not prime. Res64: 6A0566291CC45111 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:36:49] 647*2^1395236-1 is not prime. Res64: 04090C5360AAFE0E Time : 0.0 sec. user=mdettweiler [2015-03-12 11:51:27] 693*2^1395236-1 is not prime. Res64: 145BF6B7C98BD215 Time : 0.0 sec. user=mdettweiler [2015-03-12 11:51:27] 873*2^1395236-1 is not prime. Res64: 621D81DF820AAC39 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:00:49] 621*2^1395237-1 is not prime. Res64: 8778E0477CA39FF0 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:00:50] 711*2^1395237-1 is not prime. Res64: 2D0C7296F30F1D00 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:02:02] 765*2^1395237-1 is not prime. Res64: C16D9D67A7A611F5 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:02:02] 861*2^1395237-1 is not prime. Res64: 1FCAF93416E4A894 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:02:32] 891*2^1395237-1 is not prime. Res64: 01756DEC94A60F75 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:02:33] 657*2^1395238-1 is not prime. Res64: 8423DA89E11D9775 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:17:22] 723*2^1395238-1 is not prime. Res64: 98A5BAC1253A559D Time : 0.0 sec. user=mdettweiler [2015-03-12 12:17:23] 761*2^1395238-1 is not prime. Res64: 59B2F3598EAC2AF8 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:26:57] 773*2^1395238-1 is not prime. Res64: BAA6A34C12C4C443 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:26:58] 815*2^1395238-1 is not prime. Res64: 6F67BD85323083EE Time : 0.0 sec. user=mdettweiler [2015-03-12 12:27:51] 825*2^1395238-1 is not prime. Res64: 9CFE89F8736E5DC9 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:27:52] 603*2^1395239-1 is not prime. Res64: 0A9C348DDBE707F0 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:28:19] 705*2^1395239-1 is not prime. Res64: 0401375FCCEB1DFF Time : 0.0 sec. user=mdettweiler [2015-03-12 12:28:20] 711*2^1395239-1 is not prime. Res64: EEB63ED59212C926 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:43:10] 721*2^1395239-1 is not prime. Res64: A477B37E8135FA4D Time : 0.0 sec. user=mdettweiler [2015-03-12 12:43:11] 759*2^1395239-1 is not prime. Res64: 27D7DB7A901C0547 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:52:45] 939*2^1395239-1 is not prime. Res64: 597E3E828B0411EC Time : 0.0 sec. user=mdettweiler [2015-03-12 12:52:46] 609*2^1395240-1 is not prime. Res64: 60D100BB51E040FB Time : 0.0 sec. user=mdettweiler [2015-03-12 12:53:44] 719*2^1395240-1 is not prime. Res64: D598D218F86B9FD6 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:53:44] 777*2^1395240-1 is not prime. Res64: 13495265FA3AEB11 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:54:06] 789*2^1395240-1 is not prime. Res64: 21563F87C4771773 Time : 0.0 sec. user=mdettweiler [2015-03-12 12:54:06] 849*2^1395240-1 is not prime. Res64: 538D3FF23454D68D Time : 0.0 sec. user=mdettweiler [2015-03-12 13:08:56] 857*2^1395240-1 is not prime. Res64: 90C207E143A619EC Time : 0.0 sec. user=mdettweiler [2015-03-12 13:08:56] 863*2^1395240-1 is not prime. Res64: 28F00B18E46C2C50 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:18:31] 917*2^1395240-1 is not prime. Res64: 802A02A67CE7428F Time : 0.0 sec. user=mdettweiler [2015-03-12 13:18:31] 645*2^1395241-1 is not prime. Res64: EE96F443BD431054 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:19:33] 649*2^1395241-1 is not prime. Res64: 23DD6FDC034ADCCC Time : 0.0 sec. user=mdettweiler [2015-03-12 13:19:33] 799*2^1395241-1 is not prime. Res64: 0AE0DDCDCB66E77D Time : 0.0 sec. user=mdettweiler [2015-03-12 13:19:46] 931*2^1395241-1 is not prime. Res64: B81BA1C569FF637B Time : 0.0 sec. user=mdettweiler [2015-03-12 13:19:46] 939*2^1395241-1 is not prime. Res64: 0A598EAD37C7EA8D Time : 0.0 sec. user=mdettweiler [2015-03-12 13:34:49] 615*2^1395242-1 is not prime. Res64: 8267905085DC2684 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:34:50] 705*2^1395242-1 is not prime. Res64: 456225A7F4D390C1 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:44:27] 797*2^1395242-1 is not prime. Res64: 203BC6B1423C4849 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:44:27] 945*2^1395242-1 is not prime. Res64: C081026276E07822 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:45:32] 963*2^1395242-1 is not prime. Res64: 5EDF6ED7EDC51B16 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:45:32] 1001*2^1395242-1 is not prime. Res64: 9620F1CDBFAACEF6 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:45:38] 643*2^1395243-1 is not prime. Res64: B928B7617B9B4FF0 Time : 0.0 sec. user=mdettweiler [2015-03-12 13:45:38] 663*2^1395243-1 is not prime. Res64: C8149210514EC688 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:00:44] 699*2^1395243-1 is not prime. Res64: 369C1C16A4902939 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:00:45] 723*2^1395243-1 is not prime. Res64: CC62032E95BB69E0 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:10:08] 825*2^1395243-1 is not prime. Res64: D5BF7BA587A22528 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:10:08] 853*2^1395243-1 is not prime. Res64: 9F1AB854D189C676 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:11:17] 985*2^1395243-1 is not prime. Res64: 828BC647FF977184 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:11:17] 755*2^1395244-1 is not prime. Res64: AB3D7D3A250F68E3 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:11:19] 651*2^1395245-1 is not prime. Res64: 1A63CC6699FDDD0E Time : 0.0 sec. user=mdettweiler [2015-03-12 14:11:19] 669*2^1395245-1 is not prime. Res64: A00DC2A5FC6DC756 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:26:55] 741*2^1395245-1 is not prime. Res64: F725C5B4C89501B9 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:26:55] 789*2^1395245-1 is not prime. Res64: 2631317EFBED4F5E Time : 0.0 sec. user=mdettweiler [2015-03-12 14:35:52] 799*2^1395245-1 is not prime. Res64: D5774AE97A196E53 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:35:52] 871*2^1395245-1 is not prime. Res64: 31C1EDFEA1CD84ED Time : 0.0 sec. user=mdettweiler [2015-03-12 14:37:02] 969*2^1395245-1 is not prime. Res64: 6D44C818343F2871 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:37:03] 981*2^1395245-1 is not prime. Res64: 906CB96B12D4026D Time : 0.0 sec. user=mdettweiler [2015-03-12 14:37:03] 885*2^1395245-1 is not prime. Res64: BB944A429A75C7FE Time : 0.0 sec. user=mdettweiler [2015-03-12 14:37:03] 955*2^1395245-1 is not prime. Res64: 32D444BA53B921C2 Time : 0.0 sec. user=mdettweiler [2015-03-12 14:52:44] 611*2^1395246-1 is not prime. Res64: D178667A008C295E Time : 0.0 sec. user=mdettweiler [2015-03-12 14:52:44] 677*2^1395246-1 is not prime. Res64: D655A500964DB8C0 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:01:42] 683*2^1395246-1 is not prime. Res64: D03401464C13DCB4 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:01:43] 747*2^1395246-1 is not prime. Res64: A2EC0C90844B8B88 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:02:51] 783*2^1395246-1 is not prime. Res64: 277A95E3AB9C519F Time : 0.0 sec. user=mdettweiler [2015-03-12 15:02:52] 887*2^1395246-1 is not prime. Res64: 51E9DA849DE3E96A Time : 0.0 sec. user=mdettweiler [2015-03-12 15:02:57] 945*2^1395246-1 is not prime. Res64: 2D3C1A817EB31142 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:02:58] 693*2^1395247-1 is not prime. Res64: C06DC7097A22F897 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:18:43] 975*2^1395247-1 is not prime. Res64: 0D439D5BF2B9186E Time : 0.0 sec. user=mdettweiler [2015-03-12 15:18:43] 683*2^1395248-1 is not prime. Res64: 1CF48F15649B6BF9 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:27:37] 753*2^1395248-1 is not prime. Res64: 574A861B38235C2C Time : 0.0 sec. user=mdettweiler [2015-03-12 15:27:38] 855*2^1395248-1 is not prime. Res64: EB3E9AB194A4C3FF Time : 0.0 sec. user=mdettweiler [2015-03-12 15:28:51] 869*2^1395248-1 is not prime. Res64: 711D4BA36256ED56 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:28:51] 935*2^1395248-1 is not prime. Res64: BA1D2E9796FC2ED7 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:28:53] 675*2^1395249-1 is not prime. Res64: B0F630E848A181B1 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:28:53] 685*2^1395249-1 is not prime. Res64: 41B0DACF35F9E76A Time : 0.0 sec. user=mdettweiler [2015-03-12 15:44:47] 861*2^1395249-1 is not prime. Res64: B4966198E0CB90E2 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:44:47] 877*2^1395249-1 is not prime. Res64: AFBC26AAE25F7A06 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:53:30] 951*2^1395249-1 is not prime. Res64: 02456756936D01EB Time : 0.0 sec. user=mdettweiler [2015-03-12 15:53:31] 713*2^1395250-1 is not prime. Res64: A361E4973BF1B7D7 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:54:48] 717*2^1395250-1 is not prime. Res64: D5E8FC9C166796A4 Time : 0.0 sec. user=mdettweiler [2015-03-12 15:54:49] 843*2^1395250-1 is not prime. Res64: FFEE7258723B2CBF Time : 0.0 sec. user=mdettweiler [2015-03-12 15:54:50] 857*2^1395250-1 is not prime. Res64: 8724884AF843854D Time : 0.0 sec. user=mdettweiler [2015-03-12 15:54:50] 891*2^1395250-1 is not prime. Res64: 8F3C02E33E1BB252 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:10:41] 923*2^1395250-1 is not prime. Res64: 1BCAA13B1575714A Time : 0.0 sec. user=mdettweiler [2015-03-12 16:10:42] 649*2^1395251-1 is not prime. Res64: 5951390F557C74BE Time : 0.0 sec. user=mdettweiler [2015-03-12 16:19:28] 703*2^1395251-1 is not prime. Res64: 7DF1ADD2798FE544 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:19:29] 715*2^1395251-1 is not prime. Res64: 8205892AF2DCB052 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:20:45] 735*2^1395251-1 is not prime. Res64: 94F2DF5B5D213601 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:20:46] 759*2^1395251-1 is not prime. Res64: 56269907E44ACDC5 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:20:47] 885*2^1395251-1 is not prime. Res64: AB711F253724B147 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:20:47] 615*2^1395252-1 is not prime. Res64: D65E43BE17D5373E Time : 0.0 sec. user=mdettweiler [2015-03-12 16:36:34] 665*2^1395252-1 is not prime. Res64: B84D0BDAF44D992F Time : 0.0 sec. user=mdettweiler [2015-03-12 16:36:34] 669*2^1395252-1 is not prime. Res64: 17CB5E90A10F6006 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:45:25] 689*2^1395252-1 is not prime. Res64: 5516077B29BFD5F6 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:45:25] 717*2^1395252-1 is not prime. Res64: 1C4291744C875D23 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:46:44] 753*2^1395252-1 is not prime. Res64: 2CE5380DD3E779B2 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:46:44] 879*2^1395252-1 is not prime. Res64: 0F1D1FB1CC512132 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:46:46] 977*2^1395252-1 is not prime. Res64: 09E261B08C40AA31 Time : 0.0 sec. user=mdettweiler [2015-03-12 16:46:46] 987*2^1395252-1 is not prime. Res64: 7DF2024AEC5671F1 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:02:33] 625*2^1395253-1 is not prime. Res64: 779F6C506D6F0C69 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:02:35] 651*2^1395253-1 is not prime. Res64: F18DC1129D4C0296 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:11:49] 687*2^1395253-1 is not prime. Res64: 044B0ECBC9B49C55 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:11:50] 741*2^1395253-1 is not prime. Res64: 2D40056A48F7A0F3 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:12:57] 885*2^1395253-1 is not prime. Res64: CF0E6AD5F3E1DF55 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:12:58] 915*2^1395253-1 is not prime. Res64: B0C22479D3487F84 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:13:11] 855*2^1395253-1 is not prime. Res64: 8873EFEF7CB20840 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:13:12] 859*2^1395253-1 is not prime. Res64: ED1F6DF224EED077 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:33:13] 705*2^1395254-1 is not prime. Res64: 0B17423695850AFD Time : 0.0 sec. user=mdettweiler [2015-03-12 17:33:13] 797*2^1395254-1 is not prime. Res64: FC605B234304A7EC Time : 0.0 sec. user=mdettweiler [2015-03-12 17:43:45] 813*2^1395254-1 is not prime. Res64: 4C8B9D951C0E77D3 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:43:45] 827*2^1395254-1 is not prime. Res64: 0502F5EDDC9E1593 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:45:20] 915*2^1395254-1 is not prime. Res64: 1CA7008C4CCF00B2 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:45:21] 987*2^1395254-1 is not prime. Res64: 7CB29C1C78725552 Time : 0.0 sec. user=mdettweiler [2015-03-12 17:45:58] 875*2^1395254-1 is not prime. Res64: EA1F543F3F44200A Time : 0.0 sec. user=mdettweiler [2015-03-12 17:45:58] 885*2^1395254-1 is not prime. Res64: 804B61AA83F9BE76 Time : 0.0 sec. user=juhehe [2015-03-12 17:53:52] 649*2^1395255-1 is not prime. Res64: 7E9546722A435E69 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:05:43] 711*2^1395255-1 is not prime. Res64: 898D7BB9643A8266 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:05:43] 909*2^1395255-1 is not prime. Res64: 800D1206FCACD5FE Time : 0.0 sec. user=mdettweiler [2015-03-12 18:15:52] 919*2^1395255-1 is not prime. Res64: 91BFB7E5FA919E3A Time : 0.0 sec. user=mdettweiler [2015-03-12 18:15:52] 921*2^1395255-1 is not prime. Res64: B9D2F910542860BB Time : 0.0 sec. user=mdettweiler [2015-03-12 18:17:09] 973*2^1395255-1 is not prime. Res64: B3CA8BA5FD724125 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:17:09] 999*2^1395255-1 is not prime. Res64: 965FC0D6D9B76216 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:18:53] 603*2^1395256-1 is not prime. Res64: C489B67A9847F2AF Time : 0.0 sec. user=mdettweiler [2015-03-12 18:18:54] 755*2^1395256-1 is not prime. Res64: E39B9AD294CE556B Time : 0.0 sec. user=mdettweiler [2015-03-12 18:36:29] 759*2^1395256-1 is not prime. Res64: 29229B9F1E26EEEE Time : 0.0 sec. user=mdettweiler [2015-03-12 18:36:29] 803*2^1395256-1 is not prime. Res64: 8E5CA45A8E936AAA Time : 0.0 sec. user=mdettweiler [2015-03-12 18:44:26] 849*2^1395256-1 is not prime. Res64: 2FDD53544D450974 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:44:27] 857*2^1395256-1 is not prime. Res64: 4CE556AF63F65F22 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:46:18] 747*2^1395257-1 is not prime. Res64: 440C0CA1FA8099A2 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:46:18] 841*2^1395257-1 is not prime. Res64: 6A57EF06461E4DE1 Time : 0.0 sec. user=mdettweiler [2015-03-12 18:47:51] 871*2^1395257-1 is not prime. Res64: 16E43D1D190CA52D Time : 0.0 sec. user=mdettweiler [2015-03-12 18:47:52] 885*2^1395257-1 is not prime. Res64: 232F2E8CF25335B3 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:03:38] 909*2^1395257-1 is not prime. Res64: F26EC8045EDD93E9 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:03:39] 925*2^1395257-1 is not prime. Res64: C29D35B3D9CE2E5F Time : 0.0 sec. user=mdettweiler [2015-03-12 19:11:06] 937*2^1395257-1 is not prime. Res64: 6EFCB3D2ED2069E2 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:11:07] 939*2^1395257-1 is not prime. Res64: 66BFC9F277117994 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:13:02] 981*2^1395257-1 is not prime. Res64: 1E565DFFB029EB9D Time : 0.0 sec. user=mdettweiler [2015-03-12 19:13:03] 711*2^1395258-1 is not prime. Res64: 2E9F9FCCD67AE4C0 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:15:07] 773*2^1395258-1 is not prime. Res64: A106B4DD68B9BBFB Time : 0.0 sec. user=mdettweiler [2015-03-12 19:15:07] 803*2^1395258-1 is not prime. Res64: 58123AE4B291165D Time : 0.0 sec. user=mdettweiler [2015-03-12 19:30:22] 815*2^1395258-1 is not prime. Res64: F9D4456ED48E8044 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:30:22] 951*2^1395258-1 is not prime. Res64: C58B3E2661BED5D4 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:37:23] 931*2^1395031-1 is not prime. Res64: 36B255503D188B7D Time : 0.0 sec. user=mdettweiler [2015-03-12 19:37:23] 933*2^1395031-1 is not prime. Res64: A92819AB27D27FEA Time : 0.0 sec. user=mdettweiler [2015-03-12 19:39:21] 951*2^1395031-1 is not prime. Res64: E958B43DD77A9648 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:39:21] 963*2^1395258-1 is not prime. Res64: 1FD4A5B0D03ADF62 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:41:29] 971*2^1395258-1 is not prime. Res64: 1D1E8B796C05B6AA Time : 0.0 sec. user=mdettweiler [2015-03-12 19:41:29] 993*2^1395258-1 is not prime. Res64: D7DD516F34431613 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:56:39] 1001*2^1395258-1 is not prime. Res64: 75C93A9B96BBB4D8 Time : 0.0 sec. user=mdettweiler [2015-03-12 19:56:40] 601*2^1395259-1 is not prime. Res64: 1B3D2CA05A6B49CA Time : 0.0 sec. user=mdettweiler [2015-03-12 20:03:30] 633*2^1395259-1 is not prime. Res64: 623ADDA772496FB6 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:03:31] 681*2^1395259-1 is not prime. Res64: C6F180B20E4B586F Time : 0.0 sec. user=mdettweiler [2015-03-12 20:05:44] 771*2^1395259-1 is not prime. Res64: 1BA6A2F79D159ABB Time : 0.0 sec. user=mdettweiler [2015-03-12 20:05:45] 841*2^1395259-1 is not prime. Res64: C1621D1B11CAB056 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:07:42] 883*2^1395259-1 is not prime. Res64: 21D1D02CBAF18BCF Time : 0.0 sec. user=mdettweiler [2015-03-12 20:07:42] 909*2^1395259-1 is not prime. Res64: F105F754695EEBF2 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:22:49] 925*2^1395259-1 is not prime. Res64: 299737A7A724449E Time : 0.0 sec. user=mdettweiler [2015-03-12 20:22:49] 973*2^1395259-1 is not prime. Res64: F151A9864ABD6FD5 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:29:59] 647*2^1395260-1 is not prime. Res64: 213D8AB07276A7D6 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:30:00] 669*2^1395260-1 is not prime. Res64: 9A02BB5D6A5E07C8 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:32:23] 677*2^1395260-1 is not prime. Res64: D5BE7D42131299E8 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:32:24] 833*2^1395260-1 is not prime. Res64: 954489A105CE568E Time : 0.0 sec. user=mdettweiler [2015-03-12 20:34:13] 963*2^1395260-1 is not prime. Res64: C6C97C6E39DE8805 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:34:14] 977*2^1395260-1 is not prime. Res64: 61C0A7394D190FB5 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:49:35] 995*2^1395260-1 is not prime. Res64: 340FE6C80D546B00 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:49:35] 615*2^1395261-1 is not prime. Res64: 5B1DA912C820DC89 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:56:18] 657*2^1395261-1 is not prime. Res64: 1E96FF7256668F6E Time : 0.0 sec. user=mdettweiler [2015-03-12 20:56:18] 711*2^1395261-1 is not prime. Res64: 09F28FF0D5700BB4 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:58:54] 811*2^1395261-1 is not prime. Res64: 2455B8BA199A0C33 Time : 0.0 sec. user=mdettweiler [2015-03-12 20:58:54] 825*2^1395261-1 is not prime. Res64: DCF2ABE05C6048F8 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:00:52] 847*2^1395261-1 is not prime. Res64: E809FD00D3AAFB39 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:00:52] 937*2^1395261-1 is not prime. Res64: 49ECBB086EE0A10B Time : 0.0 sec. user=mdettweiler [2015-03-12 21:16:01] 675*2^1395262-1 is not prime. Res64: DCE4436142FE91DF Time : 0.0 sec. user=mdettweiler [2015-03-12 21:16:02] 705*2^1395262-1 is not prime. Res64: 079783705D0FA3A3 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:22:44] 777*2^1395262-1 is not prime. Res64: 6CD0A6077548CEC7 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:22:45] 785*2^1395262-1 is not prime. Res64: D34137F5CDDFBE8C Time : 0.0 sec. user=mdettweiler [2015-03-12 21:25:08] 791*2^1395262-1 is not prime. Res64: F71279170BDC75D1 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:25:09] 825*2^1395262-1 is not prime. Res64: BCC1FEAC67C8D4AB Time : 0.0 sec. user=juhehe [2015-03-12 21:26:57] 755*2^1395262-1 is not prime. Res64: 5481ECD574645542 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:27:08] 857*2^1395262-1 is not prime. Res64: C1051F55FE803457 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:27:09] 885*2^1395262-1 is not prime. Res64: 7453D631627B61F8 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:42:08] 941*2^1395262-1 is not prime. Res64: 77F0FADD1665FD66 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:42:08] 947*2^1395262-1 is not prime. Res64: FDF0145183112063 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:49:07] 957*2^1395262-1 is not prime. Res64: C6BD7F66FEC0F53E Time : 0.0 sec. user=mdettweiler [2015-03-12 21:49:07] 987*2^1395262-1 is not prime. Res64: 94992232DDD23DEF Time : 0.0 sec. user=mdettweiler [2015-03-12 21:51:32] 621*2^1395263-1 is not prime. Res64: 54175050B1176A58 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:51:32] 715*2^1395263-1 is not prime. Res64: 5B7E7082C61184C9 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:53:32] 783*2^1395263-1 is not prime. Res64: 7D6F79F0338AEDA3 Time : 0.0 sec. user=mdettweiler [2015-03-12 21:53:32] 879*2^1395263-1 is not prime. Res64: C17D0BC5CDF17D08 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:11:25] 665*2^1395264-1 is not prime. Res64: A2C01730D9CE6B06 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:11:25] 723*2^1395264-1 is not prime. Res64: 3E3466F7F0C4DF05 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:18:32] 725*2^1395264-1 is not prime. Res64: D6D14D85D07B1942 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:18:33] 815*2^1395264-1 is not prime. Res64: 2A0C4CDB82B931E1 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:20:46] 909*2^1395264-1 is not prime. Res64: 30709A6361AAA704 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:20:47] 947*2^1395264-1 is not prime. Res64: F933D690AF977DF3 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:23:25] 715*2^1395265-1 is not prime. Res64: C5B69B8EE3DFA6E1 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:23:25] 717*2^1395265-1 is not prime. Res64: 5363308274D59A37 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:38:50] 759*2^1395265-1 is not prime. Res64: 477C40B183CEDECC Time : 0.0 sec. user=mdettweiler [2015-03-12 22:38:51] 805*2^1395265-1 is not prime. Res64: 4DBE9A004803A843 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:45:20] 951*2^1395265-1 is not prime. Res64: C9E59E84CAE88AB7 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:45:20] 987*2^1395265-1 is not prime. Res64: D84D9294826BB6C2 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:47:56] 645*2^1395266-1 is not prime. Res64: E1CBDA3A9E637FF7 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:47:57] 677*2^1395266-1 is not prime. Res64: FB3026420BB977C4 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:50:39] 773*2^1395266-1 is not prime. Res64: 2A3ABBF1AC9D03B5 Time : 0.0 sec. user=mdettweiler [2015-03-12 22:50:40] 813*2^1395266-1 is not prime. Res64: 19F44F7D58A718D4 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:05:56] 873*2^1395266-1 is not prime. Res64: EDE1825EECEE42EA Time : 0.0 sec. user=mdettweiler [2015-03-12 23:05:57] 923*2^1395266-1 is not prime. Res64: 3FFFFAA20BB0F021 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:12:09] 765*2^1395267-1 is not prime. Res64: 034C0E5644F13F7A Time : 0.0 sec. user=mdettweiler [2015-03-12 23:12:09] 775*2^1395267-1 is not prime. Res64: 11E3839C76300341 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:14:29] 781*2^1395267-1 is not prime. Res64: D330B7E800A18902 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:14:30] 873*2^1395267-1 is not prime. Res64: 0A59066826DCB67E Time : 0.0 sec. user=mdettweiler [2015-03-12 23:17:14] 949*2^1395267-1 is not prime. Res64: EBDC14A28BAC6A9B Time : 0.0 sec. user=mdettweiler [2015-03-12 23:17:15] 629*2^1395268-1 is not prime. Res64: F827369212F6E1F5 Time : 0.0 sec. user=juhehe [2015-03-12 23:24:15] 935*2^1395266-1 is not prime. Res64: 7ABF8628CFBE5FE5 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:32:48] 765*2^1395268-1 is not prime. Res64: 05DE29169C0CE52A Time : 0.0 sec. user=mdettweiler [2015-03-12 23:32:49] 885*2^1395268-1 is not prime. Res64: 3F88507B28D48CE5 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:39:03] 771*2^1395269-1 is not prime. Res64: 91B24A8901657E2E Time : 0.0 sec. user=mdettweiler [2015-03-12 23:39:04] 831*2^1395269-1 is not prime. Res64: 0A5105B0851E9237 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:41:32] 861*2^1395269-1 is not prime. Res64: 52D75CA72227BD8B Time : 0.0 sec. user=mdettweiler [2015-03-12 23:41:32] 931*2^1395269-1 is not prime. Res64: 26C6DEA267182320 Time : 0.0 sec. user=mdettweiler [2015-03-12 23:44:14] 969*2^1395269-1 is not prime. Res64: F8C48CDD53420A4B Time : 0.0 sec. user=mdettweiler [2015-03-12 23:44:14] 991*2^1395269-1 is not prime. Res64: 8F1C87D2C73AE4DF Time : 0.0 sec. user=mdettweiler [2015-03-13 00:00:08] 635*2^1395270-1 is not prime. Res64: E73DB1CE9B81640D Time : 0.0 sec. user=mdettweiler [2015-03-13 00:00:08] 651*2^1395270-1 is not prime. Res64: F1CEF41134474469 Time : 0.0 sec.