user=mdettweiler [2015-09-06 00:06:38] 615*2^1408561-1 is not prime. Res64: 16CD1A3703E340B1 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:06:40] 649*2^1408561-1 is not prime. Res64: 4E602C10A9BFD02F Time : 0.0 sec. user=mdettweiler [2015-09-06 00:06:42] 705*2^1408561-1 is not prime. Res64: F3ED45BC4CFC0990 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:06:43] 861*2^1408561-1 is not prime. Res64: D8CCD2AE5FC2534E Time : 0.0 sec. user=mdettweiler [2015-09-06 00:07:14] 937*2^1408561-1 is not prime. Res64: 87078A0229DCE3ED Time : 0.0 sec. user=mdettweiler [2015-09-06 00:07:16] 743*2^1408562-1 is not prime. Res64: 260F4C5934A8C272 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:07:26] 753*2^1408562-1 is not prime. Res64: 449EF9699B32EA10 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:07:28] 833*2^1408562-1 is not prime. Res64: FD60BB33692614B9 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:02] 923*2^1408562-1 is not prime. Res64: 95A298AF523CF660 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:03] 669*2^1408563-1 is not prime. Res64: AAEFDA2CB3FA51A8 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:04] 609*2^1408564-1 is not prime. Res64: 04C109BCA1A5010B Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:05] 723*2^1408564-1 is not prime. Res64: D48ADE4EDF2F2210 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:05] 609*2^1408563-1 is not prime. Res64: E908B1DD073DD203 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:06] 751*2^1408563-1 is not prime. Res64: 9C4E4948C20FCD83 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:22] 783*2^1408564-1 is not prime. Res64: E9AAFFFEF315F1DB Time : 0.0 sec. user=mdettweiler [2015-09-06 00:25:23] 813*2^1408564-1 is not prime. Res64: DBA7880A40F25D7A Time : 0.0 sec. user=juhehe [2015-09-06 00:33:26] 893*2^1408562-1 is not prime. Res64: AFECF5DC42961B39 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:42:43] 825*2^1408564-1 is not prime. Res64: C11B5877E9D47553 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:42:44] 965*2^1408564-1 is not prime. Res64: 81726E206E5AFE3E Time : 0.0 sec. user=mdettweiler [2015-09-06 00:42:44] 929*2^1408564-1 is not prime. Res64: 66B973651F587BFE Time : 0.0 sec. user=mdettweiler [2015-09-06 00:42:44] 727*2^1408565-1 is not prime. Res64: 3A1C98677B755696 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:42:51] 741*2^1408565-1 is not prime. Res64: 53C9540A76BBD159 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:42:52] 855*2^1408565-1 is not prime. Res64: 1D9C457EE76478F0 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:42:59] 871*2^1408565-1 is not prime. Res64: FF43F70AF9927267 Time : 0.0 sec. user=mdettweiler [2015-09-06 00:43:00] 635*2^1408566-1 is not prime. Res64: 4D4B6E80826C7B66 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:22] 609*2^1408567-1 is not prime. Res64: EAA900368EE01B13 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:22] 639*2^1408567-1 is not prime. Res64: 07E933BF1CBD1678 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:25] 675*2^1408567-1 is not prime. Res64: ABA2C346B8DF6D2E Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:26] 685*2^1408567-1 is not prime. Res64: 92ACF044AC414B8A Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:29] 763*2^1408567-1 is not prime. Res64: B770D69D1B88626D Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:30] 859*2^1408567-1 is not prime. Res64: 400CFD34640A0014 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:39] 871*2^1408567-1 is not prime. Res64: B7B57AD3427737E3 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:00:39] 919*2^1408567-1 is not prime. Res64: 96D127B0FB823C5D Time : 0.0 sec. user=juhehe [2015-09-06 01:13:09] 945*2^1408566-1 is not prime. Res64: D24461181E626BFF Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:05] 657*2^1408568-1 is not prime. Res64: 69BC2075564949A1 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:05] 687*2^1408568-1 is not prime. Res64: CF125D4ACDD09D18 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:07] 961*2^1408567-1 is not prime. Res64: 50F3176353052B32 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:08] 633*2^1408568-1 is not prime. Res64: 13D05F3AB9DE3E1C Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:15] 713*2^1408568-1 is not prime. Res64: 1C7EDA00FEDB5F3C Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:15] 743*2^1408568-1 is not prime. Res64: 8A1B2120C72E3F9F Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:22] 815*2^1408568-1 is not prime. Res64: 0A2C8607DF7A839A Time : 0.0 sec. user=mdettweiler [2015-09-06 01:18:22] 875*2^1408568-1 is not prime. Res64: 85C2C284EA599505 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:35:46] 893*2^1408568-1 is not prime. Res64: DC2501ACE4FFF0FE Time : 0.0 sec. user=mdettweiler [2015-09-06 01:35:47] 601*2^1408569-1 is not prime. Res64: 476443A9A8F7D7A7 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:35:47] 751*2^1408569-1 is not prime. Res64: 6B355CA1053BAB79 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:35:48] 877*2^1408569-1 is not prime. Res64: D228B323533EDABF Time : 0.0 sec. user=mdettweiler [2015-09-06 01:35:59] 975*2^1408569-1 is not prime. Res64: F87FF409D7072C8E Time : 0.0 sec. user=mdettweiler [2015-09-06 01:36:00] 985*2^1408569-1 is not prime. Res64: 929346E699FD9B58 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:36:02] 645*2^1408570-1 is not prime. Res64: 332D28FB2558DEF6 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:36:02] 651*2^1408570-1 is not prime. Res64: 4C808D04AE30916B Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:24] 731*2^1408570-1 is not prime. Res64: B510A4DB598A5714 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:24] 777*2^1408570-1 is not prime. Res64: 6939A7E82924E371 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:25] 861*2^1408570-1 is not prime. Res64: 3B31F7113867BA72 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:26] 867*2^1408570-1 is not prime. Res64: 3B1AE48E7389A7B2 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:37] 711*2^1408571-1 is not prime. Res64: 8A3FD4FCCE5179D0 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:38] 909*2^1408571-1 is not prime. Res64: 7434BF5E905E2451 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:39] 917*2^1408570-1 is not prime. Res64: 4D413FE575BBF6F0 Time : 0.0 sec. user=mdettweiler [2015-09-06 01:53:39] 619*2^1408571-1 is not prime. Res64: 640920634237341C Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:05] 719*2^1408572-1 is not prime. Res64: 286804BDC44BE34B Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:05] 863*2^1408572-1 is not prime. Res64: 39D9BEC6310EC0AE Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:06] 999*2^1408571-1 is not prime. Res64: 2418C3004BEAECA5 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:07] 635*2^1408572-1 is not prime. Res64: 54D987E2789E0D9C Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:15] 893*2^1408572-1 is not prime. Res64: DCBB7933496EC90B Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:15] 899*2^1408572-1 is not prime. Res64: 2E51B5F8605DB2DA Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:23] 957*2^1408572-1 is not prime. Res64: 0E6FC500280F530E Time : 0.0 sec. user=mdettweiler [2015-09-06 02:11:23] 769*2^1408573-1 is not prime. Res64: A7FA3270E65BA292 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:28:50] 717*2^1408574-1 is not prime. Res64: D34771EB6362CFEB Time : 0.0 sec. user=mdettweiler [2015-09-06 02:28:51] 791*2^1408574-1 is not prime. Res64: DF18BA42F101AD97 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:28:54] 867*2^1408573-1 is not prime. Res64: CC9729A3E0256102 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:28:55] 951*2^1408573-1 is not prime. Res64: EF259D25B47D4AEB Time : 0.0 sec. user=mdettweiler [2015-09-06 02:28:57] 827*2^1408574-1 is not prime. Res64: 17FCE28927EE56BE Time : 0.0 sec. user=mdettweiler [2015-09-06 02:28:58] 887*2^1408574-1 is not prime. Res64: 7EF4B47ED3BB8748 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:29:06] 927*2^1408574-1 is not prime. Res64: 371D3D721E971033 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:29:06] 633*2^1408575-1 is not prime. Res64: AAD439BEE1CFB8D0 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:39] 709*2^1408575-1 is not prime. Res64: E7E7A0EA6F5EC765 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:39] 723*2^1408575-1 is not prime. Res64: E8A0DBECAAA52DEF Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:43] 649*2^1408575-1 is not prime. Res64: BE05B81EC95FDFAF Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:43] 705*2^1408575-1 is not prime. Res64: B06AA0F97D609FD5 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:45] 951*2^1408575-1 is not prime. Res64: CCA2ED41DAB48B89 Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:46] 955*2^1408575-1 is not prime. Res64: 08024BF18FA5A6FC Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:50] 805*2^1408575-1 is not prime. Res64: F1B0C5F7CAB0457E Time : 0.0 sec. user=mdettweiler [2015-09-06 02:46:51] 895*2^1408575-1 is not prime. Res64: B4A1D6DD6278D2B4 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:17] 985*2^1408575-1 is not prime. Res64: A2CE618834218E46 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:18] 759*2^1408576-1 is not prime. Res64: 7BBAD980737FAAB7 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:21] 839*2^1408576-1 is not prime. Res64: 4B54A1260526A4CC Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:22] 607*2^1408577-1 is not prime. Res64: E8E3E97D4D750906 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:34] 837*2^1408577-1 is not prime. Res64: 21F74285EA98F297 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:35] 669*2^1408577-1 is not prime. Res64: 8C6EDB72AC586ACE Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:35] 847*2^1408577-1 is not prime. Res64: 660E1BE2EAAF9E59 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:04:36] 715*2^1408577-1 is not prime. Res64: CFD0239C8E40DB8A Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:05] 949*2^1408577-1 is not prime. Res64: 06A111C36320E370 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:05] 641*2^1408578-1 is not prime. Res64: 09136FB9B24C1B66 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:09] 915*2^1408578-1 is not prime. Res64: 2E95DD61A9FEEFA7 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:09] 993*2^1408578-1 is not prime. Res64: 0F09261D72995121 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:09] 963*2^1408578-1 is not prime. Res64: 50E8FC126CB85098 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:09] 723*2^1408579-1 is not prime. Res64: 1F3A05C73A71F140 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:41] 671*2^1408578-1 is not prime. Res64: ADD4ABE5226A8B57 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:23:42] 737*2^1408578-1 is not prime. Res64: F879F710436FC2A7 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:40:56] 741*2^1408579-1 is not prime. Res64: 80A0BA075F91F5CF Time : 0.0 sec. user=mdettweiler [2015-09-06 03:40:57] 759*2^1408579-1 is not prime. Res64: 8D54E103309E8C20 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:41:08] 993*2^1408579-1 is not prime. Res64: 922126490EB43182 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:41:08] 855*2^1408579-1 is not prime. Res64: 0D960FA8042A351E Time : 0.0 sec. user=mdettweiler [2015-09-06 03:41:09] 999*2^1408579-1 is not prime. Res64: 0F2CB3956E35528B Time : 0.0 sec. user=mdettweiler [2015-09-06 03:41:10] 931*2^1408579-1 is not prime. Res64: 970421606A29FF68 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:41:27] 603*2^1408580-1 is not prime. Res64: 5A80ADD9837ACBAE Time : 0.0 sec. user=mdettweiler [2015-09-06 03:41:28] 647*2^1408580-1 is not prime. Res64: F3DDC4E6BBAAE4F4 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:48] 825*2^1408580-1 is not prime. Res64: 6ED505B8969396BE Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:48] 717*2^1408580-1 is not prime. Res64: 8BB45499E498B49C Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:49] 915*2^1408580-1 is not prime. Res64: 6552F543A665338E Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:49] 725*2^1408580-1 is not prime. Res64: B8C0EE0AFEEB740C Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:53] 689*2^1408580-1 is not prime. Res64: 231ABFE886ADD60D Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:54] 707*2^1408580-1 is not prime. Res64: 5BD3F1D746F1257B Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:59] 957*2^1408580-1 is not prime. Res64: DCFCC520A82B15E5 Time : 0.0 sec. user=mdettweiler [2015-09-06 03:58:59] 963*2^1408580-1 is not prime. Res64: 8823BA2EB9AF0ED4 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:07] 615*2^1408581-1 is not prime. Res64: EF83ECDCE10C4F31 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:07] 651*2^1408581-1 is not prime. Res64: 2D7A8CA07634F6FC Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:07] 837*2^1408581-1 is not prime. Res64: 136D5AFE5908BE2D Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:08] 871*2^1408581-1 is not prime. Res64: 206B8F214F45745E Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:19] 657*2^1408581-1 is not prime. Res64: 5A492E99C82BCA33 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:19] 741*2^1408581-1 is not prime. Res64: 3D23F1AA170CC408 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:20] 951*2^1408581-1 is not prime. Res64: 580D57E42BAB549B Time : 0.0 sec. user=mdettweiler [2015-09-06 04:17:20] 705*2^1408582-1 is not prime. Res64: 353B6FA28D63F7A4 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:08] 755*2^1408582-1 is not prime. Res64: AE4418738D4433FA Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:09] 825*2^1408582-1 is not prime. Res64: DF29573A05DE2F40 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:16] 855*2^1408582-1 is not prime. Res64: 1B98A38A76FCE479 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:16] 609*2^1408583-1 is not prime. Res64: E66E5D5EC577548C Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:19] 715*2^1408583-1 is not prime. Res64: 4B9871740DCD7352 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:19] 811*2^1408583-1 is not prime. Res64: 8866B795EBEA8951 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:32] 895*2^1408583-1 is not prime. Res64: 7B2077C6083345BA Time : 0.0 sec. user=mdettweiler [2015-09-06 04:35:32] 675*2^1408584-1 is not prime. Res64: FA962F2D5C4A87E6 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:02] 857*2^1408584-1 is not prime. Res64: B6A13C87EF4DD31A Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:03] 887*2^1408584-1 is not prime. Res64: 599332E524411445 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:06] 777*2^1408585-1 is not prime. Res64: 4E098C9836682349 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:06] 871*2^1408585-1 is not prime. Res64: 29653F8BC39966C1 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:15] 899*2^1408584-1 is not prime. Res64: EA76CA98C7EEF29A Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:15] 771*2^1408585-1 is not prime. Res64: 6C5613F75EDC73EC Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:22] 617*2^1408586-1 is not prime. Res64: A3F400142AFD3E43 Time : 0.0 sec. user=mdettweiler [2015-09-06 04:53:22] 641*2^1408586-1 is not prime. Res64: 731929C3085167AF Time : 0.0 sec. user=juhehe [2015-09-06 05:01:44] 837*2^1408584-1 is not prime. Res64: 490DEF5BEB64A988 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:10:41] 671*2^1408586-1 is not prime. Res64: 9C640031E0739AB2 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:10:41] 741*2^1408586-1 is not prime. Res64: 3D5D305BAF1B7772 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:10:43] 743*2^1408586-1 is not prime. Res64: AADF021D51E8FCB0 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:10:43] 813*2^1408586-1 is not prime. Res64: 0BE4E58FA79D8930 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:10:49] 861*2^1408586-1 is not prime. Res64: D2554B067FDD596D Time : 0.0 sec. user=mdettweiler [2015-09-06 05:10:49] 887*2^1408586-1 is not prime. Res64: 828201AB2A51DB26 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:11:00] 601*2^1408587-1 is not prime. Res64: 81BA41EDFDFB8D81 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:11:01] 829*2^1408587-1 is not prime. Res64: CFE09DC9C825DE76 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:23] 743*2^1408588-1 is not prime. Res64: C4D8AA92DEC7A007 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:23] 825*2^1408588-1 is not prime. Res64: 37A29A2D51B6623A Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:24] 647*2^1408588-1 is not prime. Res64: 4FECB07D343425BE Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:24] 665*2^1408588-1 is not prime. Res64: 2A6C7A2CF9E0F553 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:31] 839*2^1408588-1 is not prime. Res64: 49F3035023A25ADF Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:31] 863*2^1408588-1 is not prime. Res64: DF6BC2BF4CCDA02C Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:39] 899*2^1408588-1 is not prime. Res64: 2AD602AE512EBB15 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:28:39] 927*2^1408588-1 is not prime. Res64: 4784CC20608EA028 Time : 0.0 sec. user=juhehe [2015-09-06 05:39:47] 945*2^1408587-1 is not prime. Res64: 00FFF3AEA4BEB5A0 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:00] 829*2^1408589-1 is not prime. Res64: FBDBC73323F2ACC5 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:01] 955*2^1408589-1 is not prime. Res64: 6A44A0718F765D82 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:10] 611*2^1408590-1 is not prime. Res64: 9A07E78B3BBC52C5 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:11] 677*2^1408590-1 is not prime. Res64: 85F6F7F936C9B58A Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:11] 929*2^1408588-1 is not prime. Res64: 5549AE75A8DAF624 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:11] 975*2^1408588-1 is not prime. Res64: 260671D73786F624 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:19] 693*2^1408590-1 is not prime. Res64: 91D02C2476C84284 Time : 0.0 sec. user=mdettweiler [2015-09-06 05:46:19] 765*2^1408590-1 is not prime. Res64: 2AF0426BE1E33EF4 Time : 0.0 sec. user=S_K_ [2015-09-06 05:56:24] 879*2^1408587-1 is not prime. Res64: FA22C5F1D8AC6BCF Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:22] 891*2^1408590-1 is not prime. Res64: 99493EF829E490C3 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:24] 851*2^1408590-1 is not prime. Res64: 425E628806F92E15 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:25] 921*2^1408590-1 is not prime. Res64: 0E45083E1A66D352 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:26] 861*2^1408590-1 is not prime. Res64: 45E967B599575AB5 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:44] 965*2^1408590-1 is not prime. Res64: 8B4B68FD8A73DF34 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:46] 645*2^1408591-1 is not prime. Res64: 4349584CA3B06FAC Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:48] 673*2^1408591-1 is not prime. Res64: 95227014A7CAAFF2 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:04:49] 679*2^1408591-1 is not prime. Res64: E4408DE815033259 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:35] 775*2^1408591-1 is not prime. Res64: 5815C52E1DAF41DE Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:35] 855*2^1408591-1 is not prime. Res64: AFF6215EEE29F614 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:35] 793*2^1408591-1 is not prime. Res64: 5FBB851E80400A42 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:35] 925*2^1408591-1 is not prime. Res64: 09860BFC9901DE93 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:42] 735*2^1408592-1 is not prime. Res64: 248AB1DEC8399BC6 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:42] 679*2^1408593-1 is not prime. Res64: C543BA94DD57B527 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:43] 813*2^1408592-1 is not prime. Res64: F0591EDED7F29250 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:22:43] 727*2^1408593-1 is not prime. Res64: 2869E9DEED45A305 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:07] 885*2^1408593-1 is not prime. Res64: CFC6347EA236F469 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:07] 681*2^1408594-1 is not prime. Res64: 25C9423237483399 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:18] 811*2^1408593-1 is not prime. Res64: E89F08B9EA26843C Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:18] 819*2^1408593-1 is not prime. Res64: AF52ED2B159BCAB8 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:23] 701*2^1408594-1 is not prime. Res64: 4938F14799263D61 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:24] 731*2^1408594-1 is not prime. Res64: AF907FE4A131BA8F Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:25] 971*2^1408594-1 is not prime. Res64: 049F2918727C1562 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:40:25] 753*2^1408595-1 is not prime. Res64: 11B9CCEE1F07187E Time : 0.0 sec. user=juhehe [2015-09-06 06:56:46] 751*2^1408593-1 is not prime. Res64: BF3A675AAA4365AC Time : 0.0 sec. user=mdettweiler [2015-09-06 06:57:55] 781*2^1408595-1 is not prime. Res64: EC993199E526AADC Time : 0.0 sec. user=mdettweiler [2015-09-06 06:57:55] 963*2^1408595-1 is not prime. Res64: 2E7F4CE2989B08F1 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:58:00] 609*2^1408596-1 is not prime. Res64: D6328DF8DEB8549E Time : 0.0 sec. user=mdettweiler [2015-09-06 06:58:01] 653*2^1408596-1 is not prime. Res64: 45523A7235AF2276 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:58:02] 777*2^1408596-1 is not prime. Res64: C4D9426738892989 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:58:03] 909*2^1408596-1 is not prime. Res64: 139BBCA6AF92DB0E Time : 0.0 sec. user=mdettweiler [2015-09-06 06:58:10] 687*2^1408597-1 is not prime. Res64: 7CF28AB79B673688 Time : 0.0 sec. user=mdettweiler [2015-09-06 06:58:10] 915*2^1408597-1 is not prime. Res64: A89065509C79DA4D Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:38] 683*2^1408598-1 is not prime. Res64: C7BEAFDB9E163A37 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:38] 693*2^1408598-1 is not prime. Res64: E4FCD29CE96D254A Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:39] 603*2^1408598-1 is not prime. Res64: 22DB0DEFEE831C68 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:40] 651*2^1408598-1 is not prime. Res64: B9D9A647D69400D9 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:49] 995*2^1408598-1 is not prime. Res64: A92E6FCF648C7969 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:49] 693*2^1408599-1 is not prime. Res64: F21A919B54F72F7A Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:51] 893*2^1408598-1 is not prime. Res64: 6876BDE1593A3329 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:15:52] 945*2^1408598-1 is not prime. Res64: 25237F7EF2795D34 Time : 0.0 sec. user=S_K_ [2015-09-06 07:17:42] 703*2^1408591-1 is not prime. Res64: 156DB795AC35365B Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:13] 751*2^1408599-1 is not prime. Res64: 85C5CCC24B8C8709 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:14] 789*2^1408599-1 is not prime. Res64: A19049112589E354 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:20] 831*2^1408599-1 is not prime. Res64: A321E65D9CBF9BFF Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:21] 853*2^1408599-1 is not prime. Res64: 4DFB4448864F46CD Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:28] 707*2^1408600-1 is not prime. Res64: B8D27A996260BF48 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:29] 813*2^1408600-1 is not prime. Res64: 8609962DFFEB3E29 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:31] 927*2^1408600-1 is not prime. Res64: 9D56033EB30499F8 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:33:31] 649*2^1408601-1 is not prime. Res64: 96BF17E07D9EA366 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:00] 669*2^1408601-1 is not prime. Res64: 6602791130756B97 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:01] 781*2^1408601-1 is not prime. Res64: D87FF1401581C218 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:01] 799*2^1408601-1 is not prime. Res64: B98C9D73C8BAFEA3 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:02] 705*2^1408602-1 is not prime. Res64: 7C8C58EFC8604C6D Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:10] 723*2^1408602-1 is not prime. Res64: E096A66BD28A3038 Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:11] 735*2^1408602-1 is not prime. Res64: 6FFB2D6970E5791C Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:15] 755*2^1408602-1 is not prime. Res64: DF6169D1228F57CC Time : 0.0 sec. user=mdettweiler [2015-09-06 07:51:16] 797*2^1408602-1 is not prime. Res64: F23B77EDCAEBE92A Time : 0.0 sec. user=mdettweiler [2015-09-06 08:08:39] 615*2^1408603-1 is not prime. Res64: 7C75B0234F5B24D8 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:08:40] 801*2^1408602-1 is not prime. Res64: 11D977463319675A Time : 0.0 sec. user=mdettweiler [2015-09-06 08:08:40] 681*2^1408603-1 is not prime. Res64: 0D1D39C563C13A3A Time : 0.0 sec. user=mdettweiler [2015-09-06 08:08:40] 945*2^1408602-1 is not prime. Res64: 2C506E2C4387E97C Time : 0.0 sec. user=mdettweiler [2015-09-06 08:08:47] 973*2^1408603-1 is not prime. Res64: 47C909A974ED5A5F Time : 0.0 sec. user=mdettweiler [2015-09-06 08:08:47] 615*2^1408604-1 is not prime. Res64: F6526012E4BEF37A Time : 0.0 sec. user=mdettweiler [2015-09-06 08:09:01] 675*2^1408604-1 is not prime. Res64: E2E100110ABABC31 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:09:01] 767*2^1408604-1 is not prime. Res64: 39BE1F7F0CF36F11 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:15] 843*2^1408604-1 is not prime. Res64: 3FFF453921A3B336 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:15] 855*2^1408604-1 is not prime. Res64: 7A1E395ED90B679A Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:16] 875*2^1408604-1 is not prime. Res64: 4185027097028442 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:17] 927*2^1408604-1 is not prime. Res64: 6E3CDC5CE112880D Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:24] 929*2^1408604-1 is not prime. Res64: 9F558B878BA0202C Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:24] 649*2^1408605-1 is not prime. Res64: E90A2228541BD389 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:37] 675*2^1408605-1 is not prime. Res64: 1EF06D8B64BA5BF1 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:26:38] 727*2^1408605-1 is not prime. Res64: 70EAE6827CD5C0E8 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:43:51] 617*2^1408606-1 is not prime. Res64: 2DAEA229221BF346 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:43:51] 705*2^1408606-1 is not prime. Res64: E6214FA93E424D6B Time : 0.0 sec. user=mdettweiler [2015-09-06 08:43:51] 663*2^1408606-1 is not prime. Res64: EF7A9E99FB0D539B Time : 0.0 sec. user=mdettweiler [2015-09-06 08:43:51] 717*2^1408606-1 is not prime. Res64: 9BD69A5DA6E24536 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:44:03] 761*2^1408606-1 is not prime. Res64: 7E4A431D4705D3C2 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:44:03] 773*2^1408606-1 is not prime. Res64: CC39AE44EEC52E38 Time : 0.0 sec. user=mdettweiler [2015-09-06 08:44:18] 663*2^1408607-1 is not prime. Res64: 43BFFD26CA556EAC Time : 0.0 sec. user=mdettweiler [2015-09-06 08:44:19] 885*2^1408607-1 is not prime. Res64: DBDBF0453724D24D Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:26] 973*2^1408607-1 is not prime. Res64: 85208B2A05876503 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:27] 633*2^1408608-1 is not prime. Res64: 0409EFF7838AF9AF Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:29] 915*2^1408607-1 is not prime. Res64: 4B88C58AE76B50CC Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:29] 955*2^1408607-1 is not prime. Res64: F44ADB71CF301F56 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:42] 725*2^1408608-1 is not prime. Res64: 6B955A3887345A38 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:43] 887*2^1408608-1 is not prime. Res64: 88FDA7603C2F9214 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:54] 959*2^1408608-1 is not prime. Res64: 31F000E991F96B20 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:01:55] 977*2^1408608-1 is not prime. Res64: 95C7F92578886367 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:09] 687*2^1408609-1 is not prime. Res64: 812FA4CEB736D59F Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:09] 615*2^1408609-1 is not prime. Res64: 480F0A4921CCFFCB Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:10] 729*2^1408609-1 is not prime. Res64: A492CC67E3FDD898 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:10] 681*2^1408609-1 is not prime. Res64: E3031786C65AC13E Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:23] 765*2^1408609-1 is not prime. Res64: D65F8F4B2E5AFA5C Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:24] 799*2^1408609-1 is not prime. Res64: D572191AF4892A7E Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:35] 801*2^1408609-1 is not prime. Res64: 7B8FDB408659F7EE Time : 0.0 sec. user=mdettweiler [2015-09-06 09:19:36] 817*2^1408609-1 is not prime. Res64: EE021C893937CBEF Time : 0.0 sec. user=S_K_ [2015-09-06 09:22:22] 795*2^1408605-1 is not prime. Res64: 87F222CA8B4879B1 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:36:55] 975*2^1408609-1 is not prime. Res64: E76B28B0B56ED479 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:36:55] 997*2^1408609-1 is not prime. Res64: 968665407C36BAF2 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:36:57] 835*2^1408609-1 is not prime. Res64: 6FB94DD31290613A Time : 0.0 sec. user=mdettweiler [2015-09-06 09:36:58] 931*2^1408609-1 is not prime. Res64: 1854D42819CD30F5 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:37:09] 665*2^1408610-1 is not prime. Res64: 96607AB210765372 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:37:09] 767*2^1408610-1 is not prime. Res64: 9907742404A687B6 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:37:19] 831*2^1408610-1 is not prime. Res64: 05EB66B3EFDA5D42 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:37:19] 893*2^1408610-1 is not prime. Res64: D56429A3603674DF Time : 0.0 sec. user=mdettweiler [2015-09-06 09:54:33] 691*2^1408611-1 is not prime. Res64: C75125C111AD337C Time : 0.0 sec. user=mdettweiler [2015-09-06 09:54:34] 793*2^1408611-1 is not prime. Res64: 1C85643BCDBD2938 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:54:38] 835*2^1408611-1 is not prime. Res64: B9E01A270181A3DA Time : 0.0 sec. user=mdettweiler [2015-09-06 09:54:39] 879*2^1408611-1 is not prime. Res64: 8BB17F33151161AF Time : 0.0 sec. user=mdettweiler [2015-09-06 09:54:44] 909*2^1408611-1 is not prime. Res64: EADA1FB7C492721E Time : 0.0 sec. user=mdettweiler [2015-09-06 09:54:44] 945*2^1408611-1 is not prime. Res64: AB971E13FA98A30B Time : 0.0 sec. user=mdettweiler [2015-09-06 09:55:02] 951*2^1408611-1 is not prime. Res64: 6D28624050266D05 Time : 0.0 sec. user=mdettweiler [2015-09-06 09:55:02] 979*2^1408611-1 is not prime. Res64: 90C1A4DD8B582AEA Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:13] 807*2^1408612-1 is not prime. Res64: 79E194D08B8BFF34 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:14] 873*2^1408612-1 is not prime. Res64: 2F8E7E942166EC5C Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:16] 687*2^1408612-1 is not prime. Res64: 8355D85EB4A6FABC Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:16] 749*2^1408612-1 is not prime. Res64: 4CFD301AC94F9164 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:31] 875*2^1408612-1 is not prime. Res64: 46DE36ED1CD67842 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:31] 897*2^1408612-1 is not prime. Res64: 8092E9350494A40A Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:37] 903*2^1408612-1 is not prime. Res64: AB4A37C3CD03235E Time : 0.0 sec. user=mdettweiler [2015-09-06 10:12:38] 933*2^1408612-1 is not prime. Res64: 8EC10CB61AAC6B45 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:29:51] 669*2^1408613-1 is not prime. Res64: E82B63A154F5F6BA Time : 0.0 sec. user=mdettweiler [2015-09-06 10:29:51] 697*2^1408613-1 is not prime. Res64: 59175390ABB14512 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:29:53] 619*2^1408613-1 is not prime. Res64: C5F7BF65C892F172 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:29:54] 621*2^1408613-1 is not prime. Res64: DFFE17EB10A8831F Time : 0.0 sec. user=mdettweiler [2015-09-06 10:30:10] 745*2^1408613-1 is not prime. Res64: 351FA26EAE9DC463 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:30:10] 981*2^1408613-1 is not prime. Res64: EC077E55BF739991 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:30:16] 615*2^1408614-1 is not prime. Res64: F097CE40C9BD4E8E Time : 0.0 sec. user=mdettweiler [2015-09-06 10:30:16] 621*2^1408614-1 is not prime. Res64: 466D4FEE03EB0269 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:28] 863*2^1408614-1 is not prime. Res64: 4F0086C506C10A37 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:28] 675*2^1408615-1 is not prime. Res64: 622E5F08DD686470 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:33] 679*2^1408615-1 is not prime. Res64: 53E1F7A2CFCAC1DC Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:33] 883*2^1408615-1 is not prime. Res64: 421B9B01DB9F07DE Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:48] 933*2^1408615-1 is not prime. Res64: 29DBEB2636EF5111 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:48] 973*2^1408615-1 is not prime. Res64: 4CB7EDBB817A5F25 Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:50] 833*2^1408616-1 is not prime. Res64: 04EC5D098045184C Time : 0.0 sec. user=mdettweiler [2015-09-06 10:47:51] 837*2^1408616-1 is not prime. Res64: A1DECE8FF89D8812 Time : 0.0 sec. user=juhehe [2015-09-06 10:50:46] 737*2^1408614-1 is not prime. Res64: E209EC76DC86C7F4 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:09] 649*2^1408617-1 is not prime. Res64: 1EB3A0CDCA5E77E0 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:11] 669*2^1408617-1 is not prime. Res64: AE133BF4D1FE4E79 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:20] 873*2^1408616-1 is not prime. Res64: AAD01BD4D07038FC Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:22] 893*2^1408616-1 is not prime. Res64: 12218688DB36682F Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:30] 727*2^1408617-1 is not prime. Res64: 8F92A50DC2D01B3A Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:35] 747*2^1408617-1 is not prime. Res64: 3BECC6BABF3E4F03 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:37] 765*2^1408617-1 is not prime. Res64: 5B4A279E40EC0221 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:05:43] 819*2^1408617-1 is not prime. Res64: 3E0845C90433373E Time : 0.0 sec. user=mdettweiler [2015-09-06 11:23:39] 991*2^1408617-1 is not prime. Res64: BFEFE39009AFCE41 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:23:39] 997*2^1408617-1 is not prime. Res64: FD9866A318FF003E Time : 0.0 sec. user=mdettweiler [2015-09-06 11:23:39] 895*2^1408617-1 is not prime. Res64: F8812FFD22EB5E8A Time : 0.0 sec. user=mdettweiler [2015-09-06 11:23:40] 665*2^1408618-1 is not prime. Res64: B398032F9BAA7F5D Time : 0.0 sec. user=mdettweiler [2015-09-06 11:23:45] 831*2^1408618-1 is not prime. Res64: 05DD3A631F95F259 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:23:45] 615*2^1408619-1 is not prime. Res64: 2B4BF5A8C9C5CB05 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:24:00] 755*2^1408618-1 is not prime. Res64: F1879005057AF99B Time : 0.0 sec. user=mdettweiler [2015-09-06 11:24:00] 803*2^1408618-1 is not prime. Res64: 13C0F0DAAB65282D Time : 0.0 sec. user=juhehe [2015-09-06 11:28:43] 861*2^1408617-1 is not prime. Res64: 3B13946250FCBE4F Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:19] 813*2^1408619-1 is not prime. Res64: ABAFD8151A16484F Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:20] 889*2^1408619-1 is not prime. Res64: 88457D21E2D1EEBF Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:27] 939*2^1408619-1 is not prime. Res64: 5F07C1D22F679903 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:27] 665*2^1408620-1 is not prime. Res64: CFD13882ECEBA885 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:27] 705*2^1408619-1 is not prime. Res64: 4CFBC1EC106AE728 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:28] 711*2^1408619-1 is not prime. Res64: C7B0AEA288B4DAD3 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:42] 695*2^1408620-1 is not prime. Res64: FD2766616C101DE9 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:41:43] 803*2^1408620-1 is not prime. Res64: 6314601D539F50C2 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:26] 863*2^1408620-1 is not prime. Res64: 04E78B91A264607A Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:27] 927*2^1408620-1 is not prime. Res64: 6531B531A3B25557 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:27] 751*2^1408621-1 is not prime. Res64: 94FE6B67F8E37820 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:27] 895*2^1408621-1 is not prime. Res64: BF7A68C52A5917A4 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:32] 983*2^1408620-1 is not prime. Res64: 5A5A3B45371C828D Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:33] 679*2^1408621-1 is not prime. Res64: 2092EC10F06E6EC9 Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:38] 927*2^1408621-1 is not prime. Res64: 17509204B6575D0D Time : 0.0 sec. user=mdettweiler [2015-09-06 11:59:38] 603*2^1408622-1 is not prime. Res64: B19A57C1DC7FB823 Time : 0.0 sec. user=S_K_ [2015-09-06 12:03:19] 655*2^1408619-1 is not prime. Res64: 050CD200E46509AE Time : 0.0 sec. user=mdettweiler [2015-09-06 12:17:43] 801*2^1408622-1 is not prime. Res64: CAEFF7F5C3DDA91E Time : 0.0 sec. user=mdettweiler [2015-09-06 12:17:44] 867*2^1408622-1 is not prime. Res64: D82615792011080D Time : 0.0 sec. user=mdettweiler [2015-09-06 12:18:00] 977*2^1408622-1 is not prime. Res64: E53342422FC1F86C Time : 0.0 sec. user=mdettweiler [2015-09-06 12:18:00] 709*2^1408623-1 is not prime. Res64: F584F618D9FCE937 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:18:10] 675*2^1408622-1 is not prime. Res64: AE8D0AEADE3873A3 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:18:11] 683*2^1408622-1 is not prime. Res64: E9BF5E1A2FFE308A Time : 0.0 sec. user=mdettweiler [2015-09-06 12:18:19] 873*2^1408622-1 is not prime. Res64: 62F15188DE9E1532 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:18:20] 963*2^1408622-1 is not prime. Res64: 8E26E104499222F4 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:37:21] 961*2^1408623-1 is not prime. Res64: 2A297A9FF04F9362 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:37:21] 609*2^1408624-1 is not prime. Res64: 826EFDC6FD505EA7 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:37:40] 623*2^1408624-1 is not prime. Res64: 8F5BE643DF488BF6 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:37:41] 657*2^1408624-1 is not prime. Res64: 1BE78160A714DC31 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:38:03] 827*2^1408624-1 is not prime. Res64: E49B9D006AB1BB38 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:38:03] 765*2^1408624-1 is not prime. Res64: 735C4666BC1298A4 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:38:03] 863*2^1408624-1 is not prime. Res64: 752F1BDDAFF68B51 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:38:04] 803*2^1408624-1 is not prime. Res64: 88B98C46ED050F28 Time : 0.0 sec. user=juhehe [2015-09-06 12:45:20] 795*2^1408623-1 is not prime. Res64: 82133A88300C8AD3 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:58:32] 983*2^1408624-1 is not prime. Res64: 62B3B7DA4CD36E33 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:58:33] 607*2^1408625-1 is not prime. Res64: 1E892B5CC863FAFB Time : 0.0 sec. user=mdettweiler [2015-09-06 12:58:49] 923*2^1408624-1 is not prime. Res64: ABA9364EE507C400 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:58:49] 965*2^1408624-1 is not prime. Res64: C7BAE36CD1404B3F Time : 0.0 sec. user=mdettweiler [2015-09-06 12:59:19] 981*2^1408625-1 is not prime. Res64: 5AD630A81198E8DE Time : 0.0 sec. user=mdettweiler [2015-09-06 12:59:20] 611*2^1408626-1 is not prime. Res64: B92F8FF10A253D05 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:59:55] 799*2^1408625-1 is not prime. Res64: D3257E2ABF059314 Time : 0.0 sec. user=mdettweiler [2015-09-06 12:59:56] 955*2^1408625-1 is not prime. Res64: C0E125544ED82384 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:19:55] 891*2^1408626-1 is not prime. Res64: C3B0795057C75950 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:19:55] 917*2^1408626-1 is not prime. Res64: C400BF52CEB4B4E0 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:20:36] 681*2^1408627-1 is not prime. Res64: 1E47946C84B23477 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:20:37] 741*2^1408627-1 is not prime. Res64: A9C54C1C0DDC89D4 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:21:01] 971*2^1408626-1 is not prime. Res64: 4551D270D49F0107 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:21:02] 603*2^1408627-1 is not prime. Res64: F5A96EF0CCCAA39A Time : 0.0 sec. user=mdettweiler [2015-09-06 13:22:06] 859*2^1408627-1 is not prime. Res64: 2657182216A09B47 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:22:06] 617*2^1408628-1 is not prime. Res64: B87A6090C88C7280 Time : 0.0 sec. user=juhehe [2015-09-06 13:23:26] 783*2^1408626-1 is not prime. Res64: FBCD6A9A3D7EF899 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:42:10] 959*2^1408628-1 is not prime. Res64: F3CADED6A68213DD Time : 0.0 sec. user=mdettweiler [2015-09-06 13:42:10] 963*2^1408628-1 is not prime. Res64: D13FE6EC30AC1AB0 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:42:17] 699*2^1408628-1 is not prime. Res64: 53EED119D9AF8867 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:42:18] 753*2^1408628-1 is not prime. Res64: E3E1E7D42BDA15DC Time : 0.0 sec. user=mdettweiler [2015-09-06 13:42:26] 669*2^1408628-1 is not prime. Res64: 0021B891FBB11CB0 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:42:26] 677*2^1408628-1 is not prime. Res64: BDA234D95E0F6228 Time : 0.0 sec. user=mdettweiler [2015-09-06 13:43:00] 609*2^1408629-1 is not prime. Res64: 375ADA6373BF045D Time : 0.0 sec. user=mdettweiler [2015-09-06 13:43:01] 625*2^1408629-1 is not prime. Res64: 9D6C54DB9EDC56BC Time : 0.0 sec. user=juhehe [2015-09-06 13:52:14] 635*2^1408628-1 is not prime. Res64: 67368671DAA497FE Time : 0.0 sec. user=mdettweiler [2015-09-06 14:03:46] 789*2^1408629-1 is not prime. Res64: 4356E53182CBF4E3 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:03:48] 951*2^1408629-1 is not prime. Res64: F991E07B7BA6300D Time : 0.0 sec. user=mdettweiler [2015-09-06 14:03:59] 741*2^1408630-1 is not prime. Res64: 8560385C7AD1FAB9 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:04:00] 843*2^1408630-1 is not prime. Res64: 5E957F966E857668 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:04:04] 603*2^1408630-1 is not prime. Res64: 596E2E8409FB9C2A Time : 0.0 sec. user=mdettweiler [2015-09-06 14:04:05] 687*2^1408630-1 is not prime. Res64: 67CEE71B40B74F03 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:04:54] 887*2^1408630-1 is not prime. Res64: 7714C97DCD7E0E99 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:04:55] 897*2^1408630-1 is not prime. Res64: BDAC1585F7B947BD Time : 0.0 sec. user=mdettweiler [2015-09-06 14:22:44] 855*2^1408631-1 is not prime. Res64: EC625C70530B55DD Time : 0.0 sec. user=mdettweiler [2015-09-06 14:22:44] 945*2^1408630-1 is not prime. Res64: 8F85DA8EA580EAE2 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:22:45] 973*2^1408631-1 is not prime. Res64: F12BB8E5874F3C81 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:22:45] 1001*2^1408630-1 is not prime. Res64: 783727C8BF210852 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:22:58] 715*2^1408631-1 is not prime. Res64: 5319928C12C64CB7 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:23:00] 813*2^1408631-1 is not prime. Res64: 60AC902BF1C77FD0 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:23:28] 981*2^1408631-1 is not prime. Res64: 2E0FE90643E8FDEB Time : 0.0 sec. user=mdettweiler [2015-09-06 14:23:28] 635*2^1408632-1 is not prime. Res64: 3A246C5A6C2E7CFB Time : 0.0 sec. user=mdettweiler [2015-09-06 14:40:58] 831*2^1408633-1 is not prime. Res64: 17DE1172681C025F Time : 0.0 sec. user=mdettweiler [2015-09-06 14:40:59] 835*2^1408633-1 is not prime. Res64: 1130225A873B3A1C Time : 0.0 sec. user=mdettweiler [2015-09-06 14:41:04] 909*2^1408632-1 is not prime. Res64: 0F427800F4F341EE Time : 0.0 sec. user=mdettweiler [2015-09-06 14:41:05] 933*2^1408632-1 is not prime. Res64: 119701E96C836B93 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:41:13] 947*2^1408632-1 is not prime. Res64: F7746F55E140EFCF Time : 0.0 sec. user=mdettweiler [2015-09-06 14:41:14] 959*2^1408632-1 is not prime. Res64: 01FC8A45E88AE305 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:41:33] 847*2^1408633-1 is not prime. Res64: 4163C642C585B18A Time : 0.0 sec. user=mdettweiler [2015-09-06 14:41:33] 861*2^1408633-1 is not prime. Res64: A07DAEB5127186F8 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:59:50] 877*2^1408633-1 is not prime. Res64: 76B770271FFBF5F0 Time : 0.0 sec. user=mdettweiler [2015-09-06 14:59:50] 711*2^1408634-1 is not prime. Res64: 047A3727A884C9E3 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:00:04] 861*2^1408634-1 is not prime. Res64: 1A5C6F03478D9C00 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:00:04] 649*2^1408635-1 is not prime. Res64: 1CD963BCA546323B Time : 0.0 sec. user=mdettweiler [2015-09-06 15:00:12] 797*2^1408634-1 is not prime. Res64: 46B924E6B41DF9A0 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:00:12] 837*2^1408634-1 is not prime. Res64: EC16AC8ED4BE3BFF Time : 0.0 sec. user=mdettweiler [2015-09-06 15:00:38] 781*2^1408635-1 is not prime. Res64: 3F04092F0D1A82AC Time : 0.0 sec. user=mdettweiler [2015-09-06 15:00:38] 913*2^1408635-1 is not prime. Res64: 6920EDEB48195155 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:20:14] 609*2^1408636-1 is not prime. Res64: A0A07BEC68294B73 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:20:15] 615*2^1408636-1 is not prime. Res64: 56E164DA276ABF0C Time : 0.0 sec. user=juhehe [2015-09-06 15:20:15] 651*2^1408635-1 is not prime. Res64: 75B4AD681602EC12 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:20:22] 909*2^1408636-1 is not prime. Res64: 6D8FA6598CCEDED7 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:20:23] 987*2^1408636-1 is not prime. Res64: 7BAB6AF3EB11F9DC Time : 0.0 sec. user=mdettweiler [2015-09-06 15:20:32] 653*2^1408636-1 is not prime. Res64: 209747D063EA523E Time : 0.0 sec. user=mdettweiler [2015-09-06 15:20:33] 803*2^1408636-1 is not prime. Res64: 76B1FDE8F3B69671 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:21:13] 601*2^1408637-1 is not prime. Res64: 7090DC4ED7F50EDF Time : 0.0 sec. user=mdettweiler [2015-09-06 15:21:13] 735*2^1408637-1 is not prime. Res64: F2DCDDD98BCD26F4 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:39:22] 621*2^1408638-1 is not prime. Res64: E8559597502A6BF9 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:39:22] 657*2^1408638-1 is not prime. Res64: B662CAFD87DF5D2D Time : 0.0 sec. user=mdettweiler [2015-09-06 15:39:40] 949*2^1408637-1 is not prime. Res64: 38A10B1112E78701 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:39:40] 997*2^1408637-1 is not prime. Res64: 4C2311C0AD90B3DE Time : 0.0 sec. user=mdettweiler [2015-09-06 15:39:54] 801*2^1408638-1 is not prime. Res64: 630180DD55FF81EA Time : 0.0 sec. user=mdettweiler [2015-09-06 15:39:55] 825*2^1408638-1 is not prime. Res64: FC204E7288B37CB6 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:40:30] 893*2^1408638-1 is not prime. Res64: DEE8987F45EBB37E Time : 0.0 sec. user=mdettweiler [2015-09-06 15:40:30] 813*2^1408639-1 is not prime. Res64: 2BD6729C24407068 Time : 0.0 sec. user=S_K_ [2015-09-06 15:52:45] 915*2^1408637-1 is not prime. Res64: A2B5D8DF92408361 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:58:35] 931*2^1408639-1 is not prime. Res64: 17A5FD859A838A3F Time : 0.0 sec. user=mdettweiler [2015-09-06 15:58:35] 961*2^1408639-1 is not prime. Res64: 72054C789AA8DB95 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:58:45] 615*2^1408640-1 is not prime. Res64: F33E38BC29F1C0D7 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:58:46] 635*2^1408640-1 is not prime. Res64: DA24CA51FAE9A609 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:59:15] 755*2^1408640-1 is not prime. Res64: 90148CE879BA5F0E Time : 0.0 sec. user=mdettweiler [2015-09-06 15:59:15] 615*2^1408641-1 is not prime. Res64: B86D583BCB1287F5 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:59:20] 679*2^1408641-1 is not prime. Res64: 604E97A41EBF7F97 Time : 0.0 sec. user=mdettweiler [2015-09-06 15:59:20] 691*2^1408641-1 is not prime. Res64: BEDCB71EA4525F7F Time : 0.0 sec. user=mdettweiler [2015-09-06 16:18:35] 795*2^1408641-1 is not prime. Res64: A18B1ED74902FF93 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:18:35] 819*2^1408641-1 is not prime. Res64: F0D59F19C4F8DEF9 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:19:18] 635*2^1408642-1 is not prime. Res64: EEFE319467D9607E Time : 0.0 sec. user=mdettweiler [2015-09-06 16:19:19] 645*2^1408642-1 is not prime. Res64: 86F07585395D922E Time : 0.0 sec. user=mdettweiler [2015-09-06 16:19:23] 829*2^1408641-1 is not prime. Res64: 0CB87888969BF6C9 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:19:23] 937*2^1408641-1 is not prime. Res64: 1581BDA8A4B1009F Time : 0.0 sec. user=mdettweiler [2015-09-06 16:20:08] 713*2^1408642-1 is not prime. Res64: C27A749C8F28FFC9 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:20:08] 747*2^1408642-1 is not prime. Res64: 10201D537B729898 Time : 0.0 sec. user=S_K_ [2015-09-06 16:33:58] 705*2^1408641-1 is not prime. Res64: D850F630460B88F6 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:37:45] 663*2^1408643-1 is not prime. Res64: D780DFF379D08F3C Time : 0.0 sec. user=mdettweiler [2015-09-06 16:37:45] 981*2^1408643-1 is not prime. Res64: 8FDB29DE2C3BFA8C Time : 0.0 sec. user=mdettweiler [2015-09-06 16:38:39] 773*2^1408644-1 is not prime. Res64: 261E1864F16A64F5 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:38:39] 789*2^1408644-1 is not prime. Res64: 34AB7FCF5114D312 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:38:40] 629*2^1408644-1 is not prime. Res64: D3CFED4C223F2A4C Time : 0.0 sec. user=mdettweiler [2015-09-06 16:38:40] 719*2^1408644-1 is not prime. Res64: BB8A8B4D8C07C310 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:39:22] 863*2^1408644-1 is not prime. Res64: 0D1779A4C7C53562 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:39:22] 905*2^1408644-1 is not prime. Res64: 86E38D13396B8992 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:56:48] 927*2^1408644-1 is not prime. Res64: 679007EE11FFD4CA Time : 0.0 sec. user=mdettweiler [2015-09-06 16:56:48] 947*2^1408644-1 is not prime. Res64: CA940A637750E4F2 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:57:41] 969*2^1408644-1 is not prime. Res64: 6BBC917878D99ACF Time : 0.0 sec. user=mdettweiler [2015-09-06 16:57:41] 961*2^1408645-1 is not prime. Res64: C9B153F4E4C85E65 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:57:50] 987*2^1408645-1 is not prime. Res64: 5716071E64F94765 Time : 0.0 sec. user=mdettweiler [2015-09-06 16:57:51] 999*2^1408645-1 is not prime. Res64: 0D342FB36B4D904A Time : 0.0 sec. user=mdettweiler [2015-09-06 16:58:18] 707*2^1408646-1 is not prime. Res64: CFFF17CAFADCC74B Time : 0.0 sec. user=mdettweiler [2015-09-06 16:58:19] 743*2^1408646-1 is not prime. Res64: EFE3BDC337FDB9C5 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:14:52] 851*2^1408646-1 is not prime. Res64: EFF9F5C0889F6C26 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:14:52] 935*2^1408646-1 is not prime. Res64: 9101FF5114971959 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:15:42] 971*2^1408646-1 is not prime. Res64: 4448F248DD6EF90C Time : 0.0 sec. user=mdettweiler [2015-09-06 17:15:42] 675*2^1408647-1 is not prime. Res64: CB4DD44E83FF2C23 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:15:55] 793*2^1408647-1 is not prime. Res64: E7CA441EF8A06178 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:15:56] 795*2^1408647-1 is not prime. Res64: 9A9904497FD54ECB Time : 0.0 sec. user=mdettweiler [2015-09-06 17:16:18] 617*2^1408648-1 is not prime. Res64: AA0390C1F4717D5F Time : 0.0 sec. user=mdettweiler [2015-09-06 17:16:19] 639*2^1408648-1 is not prime. Res64: B1F08926647DD354 Time : 0.0 sec. user=juhehe [2015-09-06 17:19:10] 815*2^1408646-1 is not prime. Res64: E04EBC772D651871 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:33:04] 923*2^1408648-1 is not prime. Res64: C949B2593A4450DA Time : 0.0 sec. user=mdettweiler [2015-09-06 17:33:05] 999*2^1408648-1 is not prime. Res64: 64C12743D9A44F3E Time : 0.0 sec. user=mdettweiler [2015-09-06 17:33:45] 885*2^1408649-1 is not prime. Res64: BC017A8CF6DE86D5 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:33:45] 945*2^1408649-1 is not prime. Res64: 33AEE54683989C1A Time : 0.0 sec. user=mdettweiler [2015-09-06 17:34:06] 951*2^1408649-1 is not prime. Res64: D618182DA86D7428 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:34:06] 615*2^1408650-1 is not prime. Res64: 35F6769291A632F1 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:34:23] 707*2^1408650-1 is not prime. Res64: F41DB2B4F10B38C2 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:34:23] 777*2^1408650-1 is not prime. Res64: 586A9A654CE98CE5 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:51:14] 791*2^1408650-1 is not prime. Res64: 3AD96EC491A7862E Time : 0.0 sec. user=mdettweiler [2015-09-06 17:51:14] 915*2^1408650-1 is not prime. Res64: 29F9849B894B32D6 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:51:53] 945*2^1408650-1 is not prime. Res64: 700DAB40F31DADFE Time : 0.0 sec. user=mdettweiler [2015-09-06 17:51:53] 951*2^1408650-1 is not prime. Res64: A22247F060B00CBF Time : 0.0 sec. user=mdettweiler [2015-09-06 17:52:15] 977*2^1408650-1 is not prime. Res64: 61AD5C3D3D2A63F5 Time : 0.0 sec. user=mdettweiler [2015-09-06 17:52:15] 619*2^1408651-1 is not prime. Res64: 0C3472047262B5FB Time : 0.0 sec. user=mdettweiler [2015-09-06 17:52:26] 621*2^1408651-1 is not prime. Res64: 8F7A7570F539F82B Time : 0.0 sec. user=mdettweiler [2015-09-06 17:52:27] 639*2^1408651-1 is not prime. Res64: FE268C642A2A3AC9 Time : 0.0 sec. user=S_K_ [2015-09-06 17:58:35] 855*2^1408648-1 is not prime. Res64: 06253ED684236724 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:09:25] 663*2^1408651-1 is not prime. Res64: C98E30842FBD830C Time : 0.0 sec. user=mdettweiler [2015-09-06 18:09:26] 691*2^1408651-1 is not prime. Res64: 47021F44DA5C4DD0 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:09:54] 715*2^1408651-1 is not prime. Res64: 332A1F9BC7842190 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:09:55] 925*2^1408651-1 is not prime. Res64: 4E7F34CFFBEEA182 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:10:15] 615*2^1408652-1 is not prime. Res64: 6D1F6ED18BD587C1 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:10:15] 629*2^1408652-1 is not prime. Res64: A72819D624DF806F Time : 0.0 sec. user=mdettweiler [2015-09-06 18:10:33] 899*2^1408652-1 is not prime. Res64: 573056484EF8CA07 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:10:33] 959*2^1408652-1 is not prime. Res64: 084A0EC1F11E641A Time : 0.0 sec. user=mdettweiler [2015-09-06 18:27:13] 727*2^1408653-1 is not prime. Res64: 69837F14F020A2A4 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:27:13] 745*2^1408653-1 is not prime. Res64: 55855584288E2F1A Time : 0.0 sec. user=mdettweiler [2015-09-06 18:27:44] 765*2^1408653-1 is not prime. Res64: 8BBFFEAB962566ED Time : 0.0 sec. user=mdettweiler [2015-09-06 18:27:44] 937*2^1408653-1 is not prime. Res64: 6E4F5B85EC40113F Time : 0.0 sec. user=mdettweiler [2015-09-06 18:28:00] 657*2^1408654-1 is not prime. Res64: B9C6DA5A6C4B68CE Time : 0.0 sec. user=mdettweiler [2015-09-06 18:28:01] 681*2^1408654-1 is not prime. Res64: 713A7FCAD6562412 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:28:25] 707*2^1408654-1 is not prime. Res64: 3E44837DEBBE3B6C Time : 0.0 sec. user=mdettweiler [2015-09-06 18:28:25] 737*2^1408654-1 is not prime. Res64: E5B5FDA8E0838651 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:44:49] 831*2^1408654-1 is not prime. Res64: 023991748CF83145 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:44:49] 903*2^1408654-1 is not prime. Res64: 6F9E0DFB7C3AA68C Time : 0.0 sec. user=mdettweiler [2015-09-06 18:45:27] 975*2^1408654-1 is not prime. Res64: B009CB0AA88C30AC Time : 0.0 sec. user=mdettweiler [2015-09-06 18:45:27] 685*2^1408655-1 is not prime. Res64: E9C4E5B4F70E7E72 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:45:39] 889*2^1408655-1 is not prime. Res64: 65131188996CD18C Time : 0.0 sec. user=mdettweiler [2015-09-06 18:45:39] 979*2^1408655-1 is not prime. Res64: AEA305E54ED1533A Time : 0.0 sec. user=mdettweiler [2015-09-06 18:46:01] 693*2^1408656-1 is not prime. Res64: E91B7D75A0DE00E4 Time : 0.0 sec. user=mdettweiler [2015-09-06 18:46:01] 725*2^1408656-1 is not prime. Res64: 44F056280FF91947 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:02:28] 837*2^1408656-1 is not prime. Res64: 627C5918D013D6FB Time : 0.0 sec. user=mdettweiler [2015-09-06 19:02:29] 857*2^1408656-1 is not prime. Res64: 2E093585BD802FB9 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:03:05] 875*2^1408656-1 is not prime. Res64: 9341735F7CBB914C Time : 0.0 sec. user=mdettweiler [2015-09-06 19:03:06] 893*2^1408656-1 is not prime. Res64: 0C9D810D21B606C9 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:03:25] 615*2^1408657-1 is not prime. Res64: ED8AE16A5E34885D Time : 0.0 sec. user=mdettweiler [2015-09-06 19:03:27] 685*2^1408657-1 is not prime. Res64: B95377CA161B2603 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:03:38] 687*2^1408657-1 is not prime. Res64: 065C901BACA39795 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:03:39] 759*2^1408657-1 is not prime. Res64: 600EA012349B23B5 Time : 0.0 sec. user=juhehe [2015-09-06 19:15:43] 765*2^1408656-1 is not prime. Res64: C04F239924F0C70A Time : 0.0 sec. user=mdettweiler [2015-09-06 19:21:10] 777*2^1408657-1 is not prime. Res64: C26D79708B5529DD Time : 0.0 sec. user=mdettweiler [2015-09-06 19:21:11] 799*2^1408657-1 is not prime. Res64: 50745D132D98FD98 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:21:49] 847*2^1408657-1 is not prime. Res64: 1C10454890771F7B Time : 0.0 sec. user=mdettweiler [2015-09-06 19:21:50] 955*2^1408657-1 is not prime. Res64: 1754E680221DCE1B Time : 0.0 sec. user=mdettweiler [2015-09-06 19:21:59] 617*2^1408658-1 is not prime. Res64: FD28CF13411000A1 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:22:00] 713*2^1408658-1 is not prime. Res64: A16859055D623F43 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:22:18] 767*2^1408658-1 is not prime. Res64: 9842B87E1F11493C Time : 0.0 sec. user=mdettweiler [2015-09-06 19:22:18] 861*2^1408658-1 is not prime. Res64: FC137AB11B73F99E Time : 0.0 sec. user=mdettweiler [2015-09-06 19:40:07] 893*2^1408658-1 is not prime. Res64: 8771504DF95F72FE Time : 0.0 sec. user=mdettweiler [2015-09-06 19:40:07] 915*2^1408658-1 is not prime. Res64: 46DB4F42D35B1442 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:40:44] 977*2^1408658-1 is not prime. Res64: 2DE8ACBB0037AA5C Time : 0.0 sec. user=mdettweiler [2015-09-06 19:40:44] 633*2^1408659-1 is not prime. Res64: 93F6D6A3FA170B21 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:40:58] 951*2^1408658-1 is not prime. Res64: 55265B110834AA16 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:40:58] 963*2^1408658-1 is not prime. Res64: A94D8DE5B2D8AF87 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:41:21] 679*2^1408659-1 is not prime. Res64: 687EEFDCF0FFE6D6 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:41:22] 691*2^1408659-1 is not prime. Res64: 639FD993E447440E Time : 0.0 sec. user=mdettweiler [2015-09-06 19:58:43] 895*2^1408659-1 is not prime. Res64: 2559DBFEBA55CA04 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:58:44] 931*2^1408659-1 is not prime. Res64: B60A632610FCF5B8 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:59:10] 943*2^1408659-1 is not prime. Res64: 110BDA90FC0399C2 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:59:10] 955*2^1408659-1 is not prime. Res64: BF13D32A547633A0 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:59:26] 975*2^1408659-1 is not prime. Res64: 80927A33908949F7 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:59:26] 735*2^1408660-1 is not prime. Res64: 32939165BD5E51F8 Time : 0.0 sec. user=mdettweiler [2015-09-06 19:59:50] 797*2^1408660-1 is not prime. Res64: E088B99AF3CC7FFF Time : 0.0 sec. user=mdettweiler [2015-09-06 19:59:50] 899*2^1408660-1 is not prime. Res64: 6353A94DE8316B4A Time : 0.0 sec. user=mdettweiler [2015-09-06 20:17:50] 909*2^1408660-1 is not prime. Res64: 958ABB21A876FEC9 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:17:51] 989*2^1408660-1 is not prime. Res64: AA7D900BEE8144F8 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:18:11] 607*2^1408661-1 is not prime. Res64: 063C5357CDF8DC55 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:18:12] 657*2^1408661-1 is not prime. Res64: 6BA1A9B734163088 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:18:21] 697*2^1408661-1 is not prime. Res64: 5B4A7514D909A7D1 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:18:22] 777*2^1408661-1 is not prime. Res64: CC408626B3689512 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:18:48] 795*2^1408661-1 is not prime. Res64: 6B956BF3903C4FCC Time : 0.0 sec. user=mdettweiler [2015-09-06 20:18:48] 801*2^1408661-1 is not prime. Res64: 1668926713C5E9ED Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:02] 945*2^1408661-1 is not prime. Res64: 35ACCD28111F277C Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:03] 987*2^1408661-1 is not prime. Res64: 5C8B094E5BCE5AB3 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:03] 981*2^1408661-1 is not prime. Res64: A5F43707F4E6161F Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:03] 677*2^1408662-1 is not prime. Res64: E552F09CC4A8509E Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:30] 863*2^1408662-1 is not prime. Res64: E8417D96F974A9D6 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:30] 885*2^1408662-1 is not prime. Res64: DCCEEC18C14AA979 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:41] 983*2^1408662-1 is not prime. Res64: AA9FD1FCAFAEA53D Time : 0.0 sec. user=mdettweiler [2015-09-06 20:37:41] 609*2^1408663-1 is not prime. Res64: 5FC7F8910BBB8D12 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:55:50] 729*2^1408663-1 is not prime. Res64: 5CBE499F3740F185 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:55:50] 735*2^1408663-1 is not prime. Res64: 4663FD3D69282FB5 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:55:52] 873*2^1408663-1 is not prime. Res64: 0A7CEE7A8355C0CC Time : 0.0 sec. user=mdettweiler [2015-09-06 20:55:53] 973*2^1408663-1 is not prime. Res64: B2CE2E882A28D88F Time : 0.0 sec. user=mdettweiler [2015-09-06 20:56:16] 617*2^1408664-1 is not prime. Res64: 45ABCD8137B7F7A6 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:56:16] 683*2^1408664-1 is not prime. Res64: 6DCA0B241A5B3055 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:56:25] 699*2^1408664-1 is not prime. Res64: 265F9BB61414AF64 Time : 0.0 sec. user=mdettweiler [2015-09-06 20:56:26] 789*2^1408664-1 is not prime. Res64: ADD4225FA5A0ABE9 Time : 0.0 sec. user=juhehe [2015-09-06 21:11:27] 723*2^1408663-1 is not prime. Res64: 02D04A17EAE4EAD6 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:14:48] 957*2^1408664-1 is not prime. Res64: 348279021FFF7BB3 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:14:48] 983*2^1408664-1 is not prime. Res64: 8A07A7AD63F6C1EF Time : 0.0 sec. user=mdettweiler [2015-09-06 21:15:19] 833*2^1408664-1 is not prime. Res64: 0A0F2E61B808553B Time : 0.0 sec. user=mdettweiler [2015-09-06 21:15:19] 915*2^1408664-1 is not prime. Res64: 1F9F6C5E5F31887D Time : 0.0 sec. user=mdettweiler [2015-09-06 21:15:23] 741*2^1408665-1 is not prime. Res64: 40E29C66E2A2C05A Time : 0.0 sec. user=mdettweiler [2015-09-06 21:15:23] 871*2^1408665-1 is not prime. Res64: AA0824FB28A48611 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:15:44] 609*2^1408665-1 is not prime. Res64: 506113958E9ED859 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:15:44] 679*2^1408665-1 is not prime. Res64: CD9EDEB92D46E620 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:33:14] 937*2^1408665-1 is not prime. Res64: 499AC14D8258911F Time : 0.0 sec. user=mdettweiler [2015-09-06 21:33:14] 951*2^1408665-1 is not prime. Res64: E6E89C6B48BA103C Time : 0.0 sec. user=mdettweiler [2015-09-06 21:33:34] 979*2^1408665-1 is not prime. Res64: 57B05CAA61BAC11E Time : 0.0 sec. user=mdettweiler [2015-09-06 21:33:34] 623*2^1408666-1 is not prime. Res64: FFEB5E60216214F8 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:33:36] 657*2^1408666-1 is not prime. Res64: 6A15AF3C6E48F02D Time : 0.0 sec. user=mdettweiler [2015-09-06 21:33:37] 801*2^1408666-1 is not prime. Res64: 4626B9FC0DCC3999 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:34:06] 813*2^1408666-1 is not prime. Res64: 59F5A12B111AA060 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:34:07] 941*2^1408666-1 is not prime. Res64: 7F6BFA2493475B1E Time : 0.0 sec. user=S_K_ [2015-09-06 21:40:39] 921*2^1408665-1 is not prime. Res64: E01743C678FFE89F Time : 0.0 sec. user=mdettweiler [2015-09-06 21:52:11] 843*2^1408668-1 is not prime. Res64: 811DDF030A061533 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:52:11] 899*2^1408668-1 is not prime. Res64: 4290EFE92E0E71B5 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:52:13] 993*2^1408666-1 is not prime. Res64: 6A7BBD549CF6309F Time : 0.0 sec. user=mdettweiler [2015-09-06 21:52:14] 715*2^1408667-1 is not prime. Res64: 9C99606123A556C0 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:52:19] 973*2^1408667-1 is not prime. Res64: 6418CF17F58DB161 Time : 0.0 sec. user=mdettweiler [2015-09-06 21:52:19] 789*2^1408668-1 is not prime. Res64: 8543285B88F61D7F Time : 0.0 sec. user=mdettweiler [2015-09-06 21:53:01] 929*2^1408668-1 is not prime. Res64: 70F21CB772D08CAD Time : 0.0 sec. user=mdettweiler [2015-09-06 21:53:01] 615*2^1408669-1 is not prime. Res64: FC0C86217D1FA9BD Time : 0.0 sec. user=mdettweiler [2015-09-06 22:10:26] 751*2^1408669-1 is not prime. Res64: 92B9E0B885E713FE Time : 0.0 sec. user=mdettweiler [2015-09-06 22:10:27] 861*2^1408669-1 is not prime. Res64: BF0749B81EC20434 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:10:27] 773*2^1408670-1 is not prime. Res64: 942DB2CE975E5E6D Time : 0.0 sec. user=mdettweiler [2015-09-06 22:10:27] 785*2^1408670-1 is not prime. Res64: 9B985902E138C461 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:10:35] 885*2^1408669-1 is not prime. Res64: DBC9D13869AE30ED Time : 0.0 sec. user=mdettweiler [2015-09-06 22:10:35] 665*2^1408670-1 is not prime. Res64: 270914B1644CCC09 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:11:15] 795*2^1408670-1 is not prime. Res64: 9C6B4D4EE5A1924A Time : 0.0 sec. user=mdettweiler [2015-09-06 22:11:15] 801*2^1408670-1 is not prime. Res64: 574344D184CACB2C Time : 0.0 sec. user=S_K_ [2015-09-06 22:17:02] 621*2^1408669-1 is not prime. Res64: 68F251A43C9A582E Time : 0.0 sec. user=mdettweiler [2015-09-06 22:29:53] 917*2^1408670-1 is not prime. Res64: 3B8FDBE332809FD2 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:29:54] 923*2^1408670-1 is not prime. Res64: FDB4EA9AA187B953 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:29:56] 957*2^1408670-1 is not prime. Res64: 04B9649BEDDE3BAB Time : 0.0 sec. user=mdettweiler [2015-09-06 22:29:56] 703*2^1408671-1 is not prime. Res64: 70A53584AD001295 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:29:57] 833*2^1408670-1 is not prime. Res64: C5FB312B3C942B1D Time : 0.0 sec. user=mdettweiler [2015-09-06 22:29:58] 861*2^1408670-1 is not prime. Res64: 703CA0A4629C094C Time : 0.0 sec. user=mdettweiler [2015-09-06 22:30:38] 711*2^1408671-1 is not prime. Res64: 133FE9D69188E82C Time : 0.0 sec. user=mdettweiler [2015-09-06 22:30:38] 739*2^1408671-1 is not prime. Res64: 3514CC9AE363C9D7 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:48:24] 879*2^1408671-1 is not prime. Res64: 3F1372CD63466A8D Time : 0.0 sec. user=mdettweiler [2015-09-06 22:48:24] 961*2^1408671-1 is not prime. Res64: 0D44E007CA8BBD99 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:48:27] 833*2^1408672-1 is not prime. Res64: 82F68C5ADE0FE0B9 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:48:28] 939*2^1408672-1 is not prime. Res64: AB738C4E99CCDFC6 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:48:46] 743*2^1408672-1 is not prime. Res64: 964587081E746E81 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:48:46] 825*2^1408672-1 is not prime. Res64: 0F20FE93973F791F Time : 0.0 sec. user=mdettweiler [2015-09-06 22:49:12] 685*2^1408673-1 is not prime. Res64: 082DCFACEE759503 Time : 0.0 sec. user=mdettweiler [2015-09-06 22:49:12] 715*2^1408673-1 is not prime. Res64: 574AABC6A2F7FC0A Time : 0.0 sec. user=mdettweiler [2015-09-06 23:07:35] 991*2^1408673-1 is not prime. Res64: A643C190C5F126DF Time : 0.0 sec. user=mdettweiler [2015-09-06 23:07:35] 627*2^1408674-1 is not prime. Res64: C349CD7E1ED6A946 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:07:52] 727*2^1408673-1 is not prime. Res64: 9BA30E62A7CB8CE4 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:07:52] 729*2^1408673-1 is not prime. Res64: 2441E93F5EE2DF24 Time : 0.0 sec. user=juhehe [2015-09-06 23:07:57] 805*2^1408671-1 is not prime. Res64: 74DFA28C36EE6990 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:08:07] 663*2^1408674-1 is not prime. Res64: 4638E6D1B5FFF83F Time : 0.0 sec. user=mdettweiler [2015-09-06 23:08:08] 677*2^1408674-1 is not prime. Res64: D9F1008338F2B8D2 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:08:21] 711*2^1408674-1 is not prime. Res64: 098425908E6F6827 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:08:21] 791*2^1408674-1 is not prime. Res64: 9514E508BD90FAB3 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:26:39] 861*2^1408674-1 is not prime. Res64: ED5EBFBED110E85F Time : 0.0 sec. user=mdettweiler [2015-09-06 23:26:39] 893*2^1408674-1 is not prime. Res64: 22F26D479395A53D Time : 0.0 sec. user=mdettweiler [2015-09-06 23:26:43] 993*2^1408674-1 is not prime. Res64: 54CC9C10746C913B Time : 0.0 sec. user=mdettweiler [2015-09-06 23:26:44] 631*2^1408675-1 is not prime. Res64: 2B5A6AE0F728D982 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:27:12] 651*2^1408675-1 is not prime. Res64: 0D8A44C6D2CE8A1F Time : 0.0 sec. user=mdettweiler [2015-09-06 23:27:12] 733*2^1408675-1 is not prime. Res64: 4DC5A5A8D2163CDE Time : 0.0 sec. user=mdettweiler [2015-09-06 23:27:17] 771*2^1408675-1 is not prime. Res64: 83E2AEB59EB1A7C6 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:27:17] 861*2^1408675-1 is not prime. Res64: A74BF4BBDB36427F Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:20] 973*2^1408675-1 is not prime. Res64: 29613E83BC6E3EE9 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:20] 677*2^1408676-1 is not prime. Res64: A5EFE8A769DD996A Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:23] 895*2^1408675-1 is not prime. Res64: ED83457D4E97B4CE Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:23] 961*2^1408675-1 is not prime. Res64: B90D13926E2ACEAF Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:53] 707*2^1408676-1 is not prime. Res64: DE0DC676A34F8571 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:53] 879*2^1408676-1 is not prime. Res64: 5A0BBDE7F5CB5CE3 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:59] 893*2^1408676-1 is not prime. Res64: FB61092708DB6A65 Time : 0.0 sec. user=mdettweiler [2015-09-06 23:44:59] 957*2^1408676-1 is not prime. Res64: 51D00A4202A13922 Time : 0.0 sec. user=S_K_ [2015-09-06 23:53:29] 851*2^1408674-1 is not prime. Res64: 2B7093CBEBF90C4B Time : 0.0 sec.