user=mdettweiler [2016-01-04 00:14:03] 715*2^1418615-1 is not prime. Res64: 9A178E4668FAE219 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:14:04] 753*2^1418615-1 is not prime. Res64: 77D41CE24B010A59 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:14:04] 759*2^1418615-1 is not prime. Res64: 37946F52EFC05438 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:14:05] 799*2^1418615-1 is not prime. Res64: A12D05BF868F4894 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:31:40] 859*2^1418615-1 is not prime. Res64: 154835A6AE6189F7 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:31:40] 825*2^1418615-1 is not prime. Res64: E446C197118EF92B Time : 0.0 sec. user=mdettweiler [2016-01-04 00:31:40] 969*2^1418615-1 is not prime. Res64: 686F1A9AF6FD3373 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:31:40] 831*2^1418615-1 is not prime. Res64: 1C92EF236FB0ADEE Time : 0.0 sec. user=mdettweiler [2016-01-04 00:49:13] 985*2^1418615-1 is not prime. Res64: 05B706C6CDF22388 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:49:13] 759*2^1418616-1 is not prime. Res64: F8DB5E3F51CE9CBD Time : 0.0 sec. user=mdettweiler [2016-01-04 00:49:13] 719*2^1418616-1 is not prime. Res64: F97B220FCC18E462 Time : 0.0 sec. user=mdettweiler [2016-01-04 00:49:13] 777*2^1418616-1 is not prime. Res64: EBF9D83384258ED2 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:06:45] 779*2^1418616-1 is not prime. Res64: EA22FF6527E88A55 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:06:45] 729*2^1418617-1 is not prime. Res64: 730EE883E566939B Time : 0.0 sec. user=mdettweiler [2016-01-04 01:06:46] 829*2^1418617-1 is not prime. Res64: 6B2EA64E8738F59D Time : 0.0 sec. user=mdettweiler [2016-01-04 01:06:46] 633*2^1418618-1 is not prime. Res64: 4432C25DD74AFE64 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:24:21] 887*2^1418618-1 is not prime. Res64: 6902691AEE31B2F3 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:24:21] 995*2^1418618-1 is not prime. Res64: CE71DC1B64C8D8E5 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:24:22] 945*2^1418618-1 is not prime. Res64: 2651D9203639E183 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:24:22] 679*2^1418619-1 is not prime. Res64: 2D4C36FAC4ABF99C Time : 0.0 sec. user=mdettweiler [2016-01-04 01:41:54] 685*2^1418619-1 is not prime. Res64: 93FE16F5A9F5051B Time : 0.0 sec. user=mdettweiler [2016-01-04 01:41:55] 825*2^1418619-1 is not prime. Res64: C7102107980C7E04 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:41:55] 741*2^1418619-1 is not prime. Res64: AE90D27F37D096B9 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:41:55] 921*2^1418619-1 is not prime. Res64: 43CCC9E453F393AE Time : 0.0 sec. user=mdettweiler [2016-01-04 01:59:28] 735*2^1418620-1 is not prime. Res64: 16F82F7302551B51 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:59:29] 629*2^1418620-1 is not prime. Res64: E62661A6FC3FE96F Time : 0.0 sec. user=mdettweiler [2016-01-04 01:59:29] 819*2^1418620-1 is not prime. Res64: 0D0855C68BB03112 Time : 0.0 sec. user=mdettweiler [2016-01-04 01:59:29] 635*2^1418620-1 is not prime. Res64: D0CA2D00CCB5F4D2 Time : 0.0 sec. user=mdettweiler [2016-01-04 02:17:02] 601*2^1418621-1 is not prime. Res64: 6716871EB520983B Time : 0.0 sec. user=mdettweiler [2016-01-04 02:17:03] 857*2^1418620-1 is not prime. Res64: 91C10FDF06B09A9B Time : 0.0 sec. user=mdettweiler [2016-01-04 02:17:04] 619*2^1418621-1 is not prime. Res64: 22062B67E7702DAF Time : 0.0 sec. user=mdettweiler [2016-01-04 02:17:04] 875*2^1418620-1 is not prime. Res64: 6591F930DEA5C16C Time : 0.0 sec. user=mdettweiler [2016-01-04 02:34:38] 757*2^1418621-1 is not prime. Res64: 150AE9A43AACEA9B Time : 0.0 sec. user=mdettweiler [2016-01-04 02:34:39] 741*2^1418621-1 is not prime. Res64: C6027C279D959F6B Time : 0.0 sec. user=mdettweiler [2016-01-04 02:34:40] 747*2^1418621-1 is not prime. Res64: 3CD9E2CA0042048D Time : 0.0 sec. user=mdettweiler [2016-01-04 02:34:40] 811*2^1418621-1 is not prime. Res64: C067C0AAFE6F78A2 Time : 0.0 sec. user=mdettweiler [2016-01-04 02:52:16] 859*2^1418621-1 is not prime. Res64: 7E1472AF7689588B Time : 0.0 sec. user=mdettweiler [2016-01-04 02:52:17] 711*2^1418622-1 is not prime. Res64: 24A8A2C23B8257DA Time : 0.0 sec. user=mdettweiler [2016-01-04 02:52:17] 615*2^1418622-1 is not prime. Res64: B5FEFE3B34383D11 Time : 0.0 sec. user=mdettweiler [2016-01-04 02:52:18] 717*2^1418622-1 is not prime. Res64: 98C8317E0A15BF13 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:09:52] 621*2^1418623-1 is not prime. Res64: 1E6468BEA18BCA3B Time : 0.0 sec. user=mdettweiler [2016-01-04 03:09:53] 885*2^1418623-1 is not prime. Res64: 410C173AC18704F7 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:09:55] 763*2^1418623-1 is not prime. Res64: 2E28E54B5E940E1E Time : 0.0 sec. user=mdettweiler [2016-01-04 03:09:55] 961*2^1418623-1 is not prime. Res64: BF4682FB73504047 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:27:41] 747*2^1418624-1 is not prime. Res64: 87A96B2A585986F0 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:27:43] 827*2^1418624-1 is not prime. Res64: D8A01E1F2B537716 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:27:44] 813*2^1418624-1 is not prime. Res64: 25A49F82BD931836 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:27:45] 843*2^1418624-1 is not prime. Res64: D1F7338FD0A9D77B Time : 0.0 sec. user=mdettweiler [2016-01-04 03:45:34] 867*2^1418625-1 is not prime. Res64: D1B1090E585DAE70 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:45:37] 895*2^1418625-1 is not prime. Res64: 36ED6D0DE6BE37D0 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:45:38] 903*2^1418624-1 is not prime. Res64: 50EC6C33D5180DF7 Time : 0.0 sec. user=mdettweiler [2016-01-04 03:45:41] 717*2^1418625-1 is not prime. Res64: 611C03B258C3A1FE Time : 0.0 sec. user=mdettweiler [2016-01-04 04:03:32] 773*2^1418626-1 is not prime. Res64: 069A8ED2D930327A Time : 0.0 sec. user=mdettweiler [2016-01-04 04:03:34] 971*2^1418626-1 is not prime. Res64: 7D7FF55DE5D0E2D1 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:03:34] 919*2^1418625-1 is not prime. Res64: 3758C8D6FDA7FDCD Time : 0.0 sec. user=mdettweiler [2016-01-04 04:03:38] 671*2^1418626-1 is not prime. Res64: EC7FE0EC8422355F Time : 0.0 sec. user=mdettweiler [2016-01-04 04:21:30] 619*2^1418627-1 is not prime. Res64: 74F1E34E87223B4D Time : 0.0 sec. user=mdettweiler [2016-01-04 04:21:31] 985*2^1418627-1 is not prime. Res64: 378472DB4FAC88B0 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:21:32] 975*2^1418626-1 is not prime. Res64: 7DBCD27C46948AAC Time : 0.0 sec. user=mdettweiler [2016-01-04 04:21:34] 1001*2^1418626-1 is not prime. Res64: 1F731FCFDC6C49F0 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:39:09] 991*2^1418627-1 is not prime. Res64: 7B384F6427C45016 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:39:11] 993*2^1418627-1 is not prime. Res64: 63DD025DB7D2CB29 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:39:15] 633*2^1418628-1 is not prime. Res64: 4E6468922CA40D06 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:39:16] 683*2^1418628-1 is not prime. Res64: D4F17CF4D55D1647 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:56:59] 809*2^1418628-1 is not prime. Res64: 3A5EB076D3D40EB4 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:57:00] 609*2^1418629-1 is not prime. Res64: 4FD02CFE4DEA16F0 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:57:03] 619*2^1418629-1 is not prime. Res64: 17E0FDE26B941A16 Time : 0.0 sec. user=mdettweiler [2016-01-04 04:57:04] 649*2^1418629-1 is not prime. Res64: 8E31B83B4AD11166 Time : 0.0 sec. user=mdettweiler [2016-01-04 05:14:42] 747*2^1418629-1 is not prime. Res64: 6345A93F39332E03 Time : 0.0 sec. user=mdettweiler [2016-01-04 05:14:43] 775*2^1418629-1 is not prime. Res64: EE3707AC89DEFC3D Time : 0.0 sec. user=mdettweiler [2016-01-04 05:14:43] 817*2^1418629-1 is not prime. Res64: 3243BC41EFB3951E Time : 0.0 sec. user=mdettweiler [2016-01-04 05:14:45] 855*2^1418629-1 is not prime. Res64: 9B315D35B96E5D4D Time : 0.0 sec. user=mdettweiler [2016-01-04 05:32:27] 939*2^1418629-1 is not prime. Res64: F41925775F0D7214 Time : 0.0 sec. user=mdettweiler [2016-01-04 05:32:27] 885*2^1418629-1 is not prime. Res64: E57D53B5C9C6FBC6 Time : 0.0 sec. user=mdettweiler [2016-01-04 05:32:28] 955*2^1418629-1 is not prime. Res64: 20BA1AA9A93E8D7E Time : 0.0 sec. user=mdettweiler [2016-01-04 05:32:28] 931*2^1418629-1 is not prime. Res64: 18ABCFB6CECA57EE Time : 0.0 sec. user=mdettweiler [2016-01-04 05:50:06] 603*2^1418630-1 is not prime. Res64: D82DE886213483BA Time : 0.0 sec. user=mdettweiler [2016-01-04 05:50:07] 623*2^1418630-1 is not prime. Res64: 0C2797AA50C52EDA Time : 0.0 sec. user=mdettweiler [2016-01-04 05:50:16] 975*2^1418629-1 is not prime. Res64: 023EE59DFE65F22F Time : 0.0 sec. user=mdettweiler [2016-01-04 05:50:17] 997*2^1418629-1 is not prime. Res64: 95C1989606D4C25F Time : 0.0 sec. user=mdettweiler [2016-01-04 06:07:48] 731*2^1418630-1 is not prime. Res64: D5F40993F0368606 Time : 0.0 sec. user=mdettweiler [2016-01-04 06:07:49] 791*2^1418630-1 is not prime. Res64: 7D68D76618152EBA Time : 0.0 sec. user=mdettweiler [2016-01-04 06:08:00] 813*2^1418630-1 is not prime. Res64: 835EF9D59E86EC9B Time : 0.0 sec. user=mdettweiler [2016-01-04 06:08:01] 861*2^1418630-1 is not prime. Res64: ADB589B5136A0C7F Time : 0.0 sec. user=mdettweiler [2016-01-04 06:25:34] 995*2^1418630-1 is not prime. Res64: 81DA01238E309393 Time : 0.0 sec. user=mdettweiler [2016-01-04 06:25:35] 613*2^1418631-1 is not prime. Res64: FF0F96484316A06E Time : 0.0 sec. user=mdettweiler [2016-01-04 06:25:40] 751*2^1418631-1 is not prime. Res64: 5409B45F2B34A8AA Time : 0.0 sec. user=mdettweiler [2016-01-04 06:25:41] 805*2^1418631-1 is not prime. Res64: 31B3CD59A0953D2D Time : 0.0 sec. user=mdettweiler [2016-01-04 06:43:20] 945*2^1418631-1 is not prime. Res64: C41E1B3AC418754C Time : 0.0 sec. user=mdettweiler [2016-01-04 06:43:21] 657*2^1418632-1 is not prime. Res64: 764803E11595A72C Time : 0.0 sec. user=mdettweiler [2016-01-04 06:43:21] 677*2^1418632-1 is not prime. Res64: 26ECD35B9831898D Time : 0.0 sec. user=mdettweiler [2016-01-04 06:43:22] 843*2^1418632-1 is not prime. Res64: C8812F880D9833BC Time : 0.0 sec. user=mdettweiler [2016-01-04 07:01:00] 965*2^1418632-1 is not prime. Res64: 122AC0E243C75FE9 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:01:02] 983*2^1418632-1 is not prime. Res64: F4BA46C747446060 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:01:03] 855*2^1418632-1 is not prime. Res64: 6CBA3978256AE88E Time : 0.0 sec. user=mdettweiler [2016-01-04 07:01:04] 875*2^1418632-1 is not prime. Res64: 0C77D74E165C6EFE Time : 0.0 sec. user=mdettweiler [2016-01-04 07:18:47] 679*2^1418633-1 is not prime. Res64: B2F24C495C3C5745 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:18:48] 715*2^1418633-1 is not prime. Res64: 70C8D38706A1E215 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:18:48] 829*2^1418633-1 is not prime. Res64: 6C97BCD423C5D542 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:18:50] 847*2^1418633-1 is not prime. Res64: 56CF4E74DFCBDC43 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:36:31] 873*2^1418634-1 is not prime. Res64: CA5ABB2E2054E50C Time : 0.0 sec. user=mdettweiler [2016-01-04 07:36:32] 915*2^1418634-1 is not prime. Res64: BA3DA0B9962239C5 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:36:33] 663*2^1418634-1 is not prime. Res64: E7A1C1BD9BA36DCF Time : 0.0 sec. user=mdettweiler [2016-01-04 07:36:34] 725*2^1418634-1 is not prime. Res64: 585108408A17A454 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:54:14] 609*2^1418635-1 is not prime. Res64: D93002B5C9441E2F Time : 0.0 sec. user=mdettweiler [2016-01-04 07:54:15] 619*2^1418635-1 is not prime. Res64: 8720D20D1180216B Time : 0.0 sec. user=mdettweiler [2016-01-04 07:54:17] 735*2^1418635-1 is not prime. Res64: 7AFA6B2733B63B03 Time : 0.0 sec. user=mdettweiler [2016-01-04 07:54:18] 741*2^1418635-1 is not prime. Res64: 43F50C77A6496B32 Time : 0.0 sec. user=mdettweiler [2016-01-04 08:11:53] 783*2^1418635-1 is not prime. Res64: B5CC2415AFD1EBCB Time : 0.0 sec. user=mdettweiler [2016-01-04 08:11:54] 793*2^1418635-1 is not prime. Res64: D026AE4A9A1515ED Time : 0.0 sec. user=mdettweiler [2016-01-04 08:11:58] 801*2^1418635-1 is not prime. Res64: 85D9BFD22A1FA1C8 Time : 0.0 sec. user=mdettweiler [2016-01-04 08:11:59] 853*2^1418635-1 is not prime. Res64: 8402EDB917506B37 Time : 0.0 sec. user=mdettweiler [2016-01-04 08:29:36] 985*2^1418635-1 is not prime. Res64: 89623B675197AC65 Time : 0.0 sec. user=mdettweiler [2016-01-04 08:29:36] 633*2^1418636-1 is not prime. Res64: 14386BA9C0659AE5 Time : 0.0 sec. user=mdettweiler [2016-01-04 08:29:37] 629*2^1418636-1 is not prime. Res64: C935EF2AA75A2B06 Time : 0.0 sec. user=mdettweiler [2016-01-04 08:29:37] 717*2^1418636-1 is not prime. Res64: 80FEC02696704C5E Time : 0.0 sec. user=mdettweiler [2016-01-04 08:47:14] 843*2^1418636-1 is not prime. Res64: CA7FDDAEA422AA5F Time : 0.0 sec. user=mdettweiler [2016-01-04 08:47:15] 873*2^1418636-1 is not prime. Res64: FC1E828E91347BA5 Time : 0.0 sec. user=mdettweiler [2016-01-04 08:47:16] 719*2^1418636-1 is not prime. Res64: B8A3C637B88815AA Time : 0.0 sec. user=mdettweiler [2016-01-04 08:47:17] 825*2^1418636-1 is not prime. Res64: 5928B1C8B78005C8 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:04:58] 953*2^1418636-1 is not prime. Res64: 266508814D7B08FC Time : 0.0 sec. user=mdettweiler [2016-01-04 09:04:58] 817*2^1418637-1 is not prime. Res64: DD4AD7CFD83F5017 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:05:00] 649*2^1418637-1 is not prime. Res64: 2FF5A0E95033F2EA Time : 0.0 sec. user=mdettweiler [2016-01-04 09:05:01] 861*2^1418637-1 is not prime. Res64: D35DD82B85700C0E Time : 0.0 sec. user=mdettweiler [2016-01-04 09:23:05] 885*2^1418637-1 is not prime. Res64: 684359DA7A444862 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:23:06] 623*2^1418638-1 is not prime. Res64: 103E9AF3A18A6BA1 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:23:09] 657*2^1418638-1 is not prime. Res64: 437DA6F6EE303470 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:23:09] 887*2^1418638-1 is not prime. Res64: 6CCD0A9257A27E26 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:40:44] 603*2^1418639-1 is not prime. Res64: B67F21902B1107EB Time : 0.0 sec. user=mdettweiler [2016-01-04 09:40:45] 621*2^1418639-1 is not prime. Res64: 52A6A1454A4D0475 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:40:51] 789*2^1418639-1 is not prime. Res64: 07740CA4A29536D4 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:40:52] 861*2^1418639-1 is not prime. Res64: 9D7B9F7980E551DF Time : 0.0 sec. user=mdettweiler [2016-01-04 09:58:26] 931*2^1418639-1 is not prime. Res64: 98D547B9ABCBDAB4 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:58:27] 943*2^1418639-1 is not prime. Res64: 4B68DAE018F20874 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:58:39] 955*2^1418639-1 is not prime. Res64: 7ED2FBB806FF7EB5 Time : 0.0 sec. user=mdettweiler [2016-01-04 09:58:40] 973*2^1418639-1 is not prime. Res64: FE69D21C80921CFB Time : 0.0 sec. user=mdettweiler [2016-01-04 10:16:04] 789*2^1418640-1 is not prime. Res64: 3BCE2A29717070CF Time : 0.0 sec. user=mdettweiler [2016-01-04 10:16:05] 795*2^1418640-1 is not prime. Res64: 884F05319FEA3D9B Time : 0.0 sec. user=mdettweiler [2016-01-04 10:16:17] 845*2^1418640-1 is not prime. Res64: C19FE7F629283914 Time : 0.0 sec. user=mdettweiler [2016-01-04 10:16:17] 887*2^1418640-1 is not prime. Res64: 0A704A018E6422D5 Time : 0.0 sec. user=mdettweiler [2016-01-04 10:33:39] 933*2^1418640-1 is not prime. Res64: 51F9299E6C932087 Time : 0.0 sec. user=mdettweiler [2016-01-04 10:33:39] 741*2^1418641-1 is not prime. Res64: 3BD5309D5CB40F08 Time : 0.0 sec. user=mdettweiler [2016-01-04 10:33:49] 769*2^1418641-1 is not prime. Res64: 5B5ABCFD70B6E54D Time : 0.0 sec. user=mdettweiler [2016-01-04 10:33:49] 871*2^1418641-1 is not prime. Res64: C8D1C7060C507495 Time : 0.0 sec. user=mdettweiler [2016-01-04 10:51:15] 877*2^1418641-1 is not prime. Res64: 09A9E39CA684471D Time : 0.0 sec. user=mdettweiler [2016-01-04 10:51:16] 909*2^1418641-1 is not prime. Res64: 79802776F6EFD295 Time : 0.0 sec. user=mdettweiler [2016-01-04 10:51:22] 939*2^1418641-1 is not prime. Res64: 0067EA704913201E Time : 0.0 sec. user=mdettweiler [2016-01-04 10:51:23] 633*2^1418642-1 is not prime. Res64: D85816187C7F7F09 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:08:49] 683*2^1418642-1 is not prime. Res64: D1B722CFB13DC954 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:08:49] 797*2^1418642-1 is not prime. Res64: 8DF6A7A66377CD5F Time : 0.0 sec. user=mdettweiler [2016-01-04 11:08:55] 903*2^1418642-1 is not prime. Res64: 2008ACB2A5149160 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:08:55] 935*2^1418642-1 is not prime. Res64: C9E7EF57CF9D0775 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:26:24] 995*2^1418642-1 is not prime. Res64: D126EDAC6857D1B3 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:26:25] 609*2^1418643-1 is not prime. Res64: 9EBC8A5F6B6177DF Time : 0.0 sec. user=mdettweiler [2016-01-04 11:26:27] 625*2^1418643-1 is not prime. Res64: 0D2AAF37CF08D552 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:26:28] 663*2^1418643-1 is not prime. Res64: A9DC98EBA96435E7 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:43:57] 685*2^1418643-1 is not prime. Res64: C727F426C32B8540 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:43:57] 789*2^1418643-1 is not prime. Res64: DCA1A82004ACA185 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:44:00] 871*2^1418643-1 is not prime. Res64: B0BE0BBEEEB39884 Time : 0.0 sec. user=mdettweiler [2016-01-04 11:44:00] 891*2^1418643-1 is not prime. Res64: E6ECA12C79624A55 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:01:30] 943*2^1418643-1 is not prime. Res64: 20D5204F57CC6C74 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:01:31] 961*2^1418643-1 is not prime. Res64: 54DF926951F1735B Time : 0.0 sec. user=mdettweiler [2016-01-04 12:01:33] 863*2^1418644-1 is not prime. Res64: D3C95E883F210D78 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:01:34] 601*2^1418645-1 is not prime. Res64: C43075B518BB110F Time : 0.0 sec. user=mdettweiler [2016-01-04 12:19:22] 699*2^1418645-1 is not prime. Res64: A15E3D9B8584B2AD Time : 0.0 sec. user=mdettweiler [2016-01-04 12:19:23] 711*2^1418645-1 is not prime. Res64: 00D061DF2E541420 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:19:24] 741*2^1418645-1 is not prime. Res64: 9927F76233E6DC2D Time : 0.0 sec. user=mdettweiler [2016-01-04 12:19:25] 683*2^1418646-1 is not prime. Res64: 7FE56663FEE26119 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:36:55] 737*2^1418646-1 is not prime. Res64: 080AC624E5B9D709 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:36:55] 755*2^1418646-1 is not prime. Res64: 42E950E7D60C3B05 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:36:56] 761*2^1418646-1 is not prime. Res64: F137CCC7DE136D96 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:36:56] 807*2^1418646-1 is not prime. Res64: B9BB443D0EBAEF37 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:54:28] 815*2^1418646-1 is not prime. Res64: 11746DB15755D3E8 Time : 0.0 sec. user=mdettweiler [2016-01-04 12:54:28] 917*2^1418646-1 is not prime. Res64: 1F7C64A1F7102DAF Time : 0.0 sec. user=mdettweiler [2016-01-04 12:54:28] 887*2^1418646-1 is not prime. Res64: D3C39C77D9DE41EA Time : 0.0 sec. user=mdettweiler [2016-01-04 12:54:29] 675*2^1418647-1 is not prime. Res64: 0E22FD5D1ECE6E77 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:12:00] 693*2^1418647-1 is not prime. Res64: 3827C6A17E2E5359 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:12:00] 805*2^1418647-1 is not prime. Res64: 2893223017820A3F Time : 0.0 sec. user=mdettweiler [2016-01-04 13:12:00] 741*2^1418647-1 is not prime. Res64: 20E9A1990F7398DA Time : 0.0 sec. user=mdettweiler [2016-01-04 13:12:01] 617*2^1418648-1 is not prime. Res64: 6EBD626ACEB91BA8 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:29:33] 977*2^1418648-1 is not prime. Res64: 63A454E097624C89 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:29:34] 609*2^1418649-1 is not prime. Res64: F92BD116270FF8D9 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:29:35] 735*2^1418648-1 is not prime. Res64: 7B4C5FC0DB6F6872 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:29:35] 837*2^1418648-1 is not prime. Res64: D3F9A7A332A8EE40 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:47:06] 847*2^1418649-1 is not prime. Res64: 8C51A3FD0EE0B410 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:47:06] 889*2^1418649-1 is not prime. Res64: 98B941753A123D05 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:47:07] 945*2^1418649-1 is not prime. Res64: C2C23E1678518539 Time : 0.0 sec. user=mdettweiler [2016-01-04 13:47:07] 975*2^1418649-1 is not prime. Res64: BF26818338F7AF01 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:04:39] 985*2^1418649-1 is not prime. Res64: 6D0C5DF593A587D6 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:04:39] 713*2^1418650-1 is not prime. Res64: 22F7DB2F42963391 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:04:41] 743*2^1418650-1 is not prime. Res64: 1FD226C944FF6340 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:04:41] 611*2^1418650-1 is not prime. Res64: 67407DC16D383488 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:22:29] 755*2^1418650-1 is not prime. Res64: F5E59E0F28D0BAE1 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:22:29] 803*2^1418650-1 is not prime. Res64: 323F7A56B65E26FC Time : 0.0 sec. user=mdettweiler [2016-01-04 14:22:30] 887*2^1418650-1 is not prime. Res64: ABBEA9FB782254AD Time : 0.0 sec. user=mdettweiler [2016-01-04 14:22:31] 915*2^1418650-1 is not prime. Res64: 4317734734DC3173 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:40:08] 987*2^1418650-1 is not prime. Res64: 48CD28E7D071E30C Time : 0.0 sec. user=mdettweiler [2016-01-04 14:40:09] 643*2^1418651-1 is not prime. Res64: A9233A8A6342AC58 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:40:09] 673*2^1418651-1 is not prime. Res64: 66C633D01696BB5B Time : 0.0 sec. user=mdettweiler [2016-01-04 14:40:09] 859*2^1418651-1 is not prime. Res64: EEF09F7EE2D07B4C Time : 0.0 sec. user=mdettweiler [2016-01-04 14:59:24] 889*2^1418651-1 is not prime. Res64: AE64F44EF85FC168 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:59:24] 903*2^1418651-1 is not prime. Res64: EE2166D811B4880A Time : 0.0 sec. user=mdettweiler [2016-01-04 14:59:24] 979*2^1418651-1 is not prime. Res64: F04471F4E9D481E7 Time : 0.0 sec. user=mdettweiler [2016-01-04 14:59:24] 981*2^1418651-1 is not prime. Res64: 94AF7675F0749249 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:17:11] 999*2^1418651-1 is not prime. Res64: B456DECC358329F5 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:17:11] 669*2^1418652-1 is not prime. Res64: 63289CA50F13F506 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:17:12] 675*2^1418652-1 is not prime. Res64: 1BAA52133AAE4750 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:17:12] 693*2^1418652-1 is not prime. Res64: B05E8AC0673AFA99 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:35:12] 725*2^1418652-1 is not prime. Res64: 071EE6F486BE6B60 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:35:12] 767*2^1418652-1 is not prime. Res64: F8C3A0987B7578D6 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:35:12] 765*2^1418652-1 is not prime. Res64: 810A3986D261DC6E Time : 0.0 sec. user=mdettweiler [2016-01-04 15:35:13] 867*2^1418652-1 is not prime. Res64: 6065145CE8FB40E0 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:53:15] 925*2^1418653-1 is not prime. Res64: 3BDBD29FD122E950 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:53:16] 951*2^1418653-1 is not prime. Res64: A4578589980AC3A2 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:53:18] 923*2^1418652-1 is not prime. Res64: 445E7E529D4811C4 Time : 0.0 sec. user=mdettweiler [2016-01-04 15:53:18] 867*2^1418653-1 is not prime. Res64: 4AD5B5509DEC049C Time : 0.0 sec. user=mdettweiler [2016-01-04 16:10:52] 623*2^1418654-1 is not prime. Res64: 00C915FA75F0356C Time : 0.0 sec. user=mdettweiler [2016-01-04 16:10:53] 755*2^1418654-1 is not prime. Res64: 1CC3DDD89654F124 Time : 0.0 sec. user=mdettweiler [2016-01-04 16:10:54] 795*2^1418654-1 is not prime. Res64: B1780109A5C5AA9C Time : 0.0 sec. user=mdettweiler [2016-01-04 16:10:54] 983*2^1418654-1 is not prime. Res64: AF80FDD4DA2296AE Time : 0.0 sec. user=mdettweiler [2016-01-04 16:28:31] 739*2^1418655-1 is not prime. Res64: 3B169394DFFBC722 Time : 0.0 sec. user=mdettweiler [2016-01-04 16:28:31] 951*2^1418655-1 is not prime. Res64: 2698FE32F0EC9A31 Time : 0.0 sec. user=mdettweiler [2016-01-04 16:28:32] 949*2^1418655-1 is not prime. Res64: F18EF4B8A74BD77D Time : 0.0 sec. user=mdettweiler [2016-01-04 16:28:32] 979*2^1418655-1 is not prime. Res64: 890B9D2AAEEAB5D5 Time : 0.0 sec. user=mdettweiler [2016-01-04 16:46:06] 615*2^1418656-1 is not prime. Res64: 40EC7661994E5859 Time : 0.0 sec. user=mdettweiler [2016-01-04 16:46:06] 653*2^1418656-1 is not prime. Res64: FD45F569F088A984 Time : 0.0 sec. user=mdettweiler [2016-01-04 16:46:08] 707*2^1418656-1 is not prime. Res64: 9DCCCEF8C2DA9A4F Time : 0.0 sec. user=mdettweiler [2016-01-04 16:46:08] 765*2^1418656-1 is not prime. Res64: 5C16E5B597C2CC94 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:03:40] 845*2^1418656-1 is not prime. Res64: C33CC6F357D2AE10 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:03:41] 887*2^1418656-1 is not prime. Res64: 5DB98D1FC2FB1909 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:03:42] 933*2^1418656-1 is not prime. Res64: FF6B43A81FA4F3EA Time : 0.0 sec. user=mdettweiler [2016-01-04 17:03:43] 741*2^1418657-1 is not prime. Res64: 21C85D8F045FBE96 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:21:23] 795*2^1418657-1 is not prime. Res64: 367C97DA1A2EA68A Time : 0.0 sec. user=mdettweiler [2016-01-04 17:21:24] 955*2^1418657-1 is not prime. Res64: B533BC77DF33C615 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:21:24] 837*2^1418657-1 is not prime. Res64: E4E41A3E584879FB Time : 0.0 sec. user=mdettweiler [2016-01-04 17:21:25] 621*2^1418658-1 is not prime. Res64: 1C8AD225B3206EC2 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:39:01] 705*2^1418658-1 is not prime. Res64: 8D7C6B183542F2B6 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:39:01] 797*2^1418658-1 is not prime. Res64: 9C00D1E757B3BC81 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:39:02] 755*2^1418658-1 is not prime. Res64: B3FCFA44835387E4 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:39:02] 975*2^1418658-1 is not prime. Res64: 2BBA4620761B4DE2 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:56:34] 931*2^1418659-1 is not prime. Res64: 9E15597D63426158 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:56:34] 843*2^1418659-1 is not prime. Res64: 0D5CB99A55CEC0E8 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:56:34] 993*2^1418659-1 is not prime. Res64: F7CD817D6E7C7FA5 Time : 0.0 sec. user=mdettweiler [2016-01-04 17:56:34] 885*2^1418659-1 is not prime. Res64: D6FBB80383853D08 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:14:06] 797*2^1418660-1 is not prime. Res64: E2E5EF2ED0AD97A7 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:14:07] 603*2^1418660-1 is not prime. Res64: B86EAEF251B8C3B4 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:14:07] 839*2^1418660-1 is not prime. Res64: 6E897E0828CDF1C5 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:14:07] 647*2^1418660-1 is not prime. Res64: 133360A8439DF1A1 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:31:40] 843*2^1418660-1 is not prime. Res64: A2826466C3CEA95D Time : 0.0 sec. user=mdettweiler [2016-01-04 18:31:40] 927*2^1418660-1 is not prime. Res64: E7FEF4CBE922AD01 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:31:40] 899*2^1418660-1 is not prime. Res64: 025DC1A0E027294A Time : 0.0 sec. user=mdettweiler [2016-01-04 18:31:40] 963*2^1418660-1 is not prime. Res64: 9F504A59D7FDF942 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:49:13] 657*2^1418661-1 is not prime. Res64: A4A673D4A42683A4 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:49:13] 999*2^1418660-1 is not prime. Res64: EE897B2F6881BDBD Time : 0.0 sec. user=mdettweiler [2016-01-04 18:49:14] 669*2^1418661-1 is not prime. Res64: 30EF8327E03ED5D0 Time : 0.0 sec. user=mdettweiler [2016-01-04 18:49:14] 621*2^1418661-1 is not prime. Res64: 1548C698D73CA3DF Time : 0.0 sec. user=mdettweiler [2016-01-04 19:06:46] 795*2^1418661-1 is not prime. Res64: 1325774D16A086E2 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:06:47] 849*2^1418661-1 is not prime. Res64: 082D544DF9E04501 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:06:47] 741*2^1418661-1 is not prime. Res64: DAE7D50F6129E3FC Time : 0.0 sec. user=mdettweiler [2016-01-04 19:06:48] 747*2^1418661-1 is not prime. Res64: EFA058A6CE00CBFD Time : 0.0 sec. user=mdettweiler [2016-01-04 19:24:22] 611*2^1418662-1 is not prime. Res64: 8F043EA58817AC1F Time : 0.0 sec. user=mdettweiler [2016-01-04 19:24:23] 861*2^1418661-1 is not prime. Res64: 371F98EFC07C49D0 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:24:23] 681*2^1418662-1 is not prime. Res64: BCB247CF5DFE700D Time : 0.0 sec. user=mdettweiler [2016-01-04 19:24:23] 969*2^1418661-1 is not prime. Res64: 837282B6411CBD59 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:41:56] 827*2^1418662-1 is not prime. Res64: E87FFA464E623E67 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:41:56] 717*2^1418662-1 is not prime. Res64: AED058BF3A449F31 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:41:56] 885*2^1418662-1 is not prime. Res64: 292DF522ABF13FB5 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:41:56] 755*2^1418662-1 is not prime. Res64: 6D65C0D6113C5159 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:59:28] 897*2^1418662-1 is not prime. Res64: FFDD0C2C75D34E00 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:59:28] 945*2^1418662-1 is not prime. Res64: AAE3328D096E8FEA Time : 0.0 sec. user=mdettweiler [2016-01-04 19:59:28] 917*2^1418662-1 is not prime. Res64: 598A69F1AB1BB607 Time : 0.0 sec. user=mdettweiler [2016-01-04 19:59:28] 995*2^1418662-1 is not prime. Res64: F186FCBC98E46C1C Time : 0.0 sec. user=mdettweiler [2016-01-04 20:17:01] 693*2^1418663-1 is not prime. Res64: 51EFE1D2DB417286 Time : 0.0 sec. user=mdettweiler [2016-01-04 20:17:01] 615*2^1418663-1 is not prime. Res64: 46A06A7F2F5055D4 Time : 0.0 sec. user=mdettweiler [2016-01-04 20:17:01] 721*2^1418663-1 is not prime. Res64: 5F8B040F5F88E0EC Time : 0.0 sec. user=mdettweiler [2016-01-04 20:17:02] 643*2^1418663-1 is not prime. Res64: 78A4E804BEE4D88B Time : 0.0 sec. user=mdettweiler [2016-01-04 20:34:37] 885*2^1418663-1 is not prime. Res64: 1F192D8BCB6B7300 Time : 0.0 sec. user=mdettweiler [2016-01-04 20:34:38] 763*2^1418663-1 is not prime. Res64: F386B999D9C4F7F2 Time : 0.0 sec. user=mdettweiler [2016-01-04 20:34:38] 985*2^1418663-1 is not prime. Res64: EF6A1FD0B780E3B1 Time : 0.0 sec. user=mdettweiler [2016-01-04 20:34:38] 823*2^1418663-1 is not prime. Res64: 1163D1672D7477CA Time : 0.0 sec. user=mdettweiler [2016-01-04 20:52:09] 687*2^1418665-1 is not prime. Res64: C39FA59983F2B22F Time : 0.0 sec. user=mdettweiler [2016-01-04 20:52:10] 765*2^1418665-1 is not prime. Res64: 2C0575C4A41AC200 Time : 0.0 sec. user=mdettweiler [2016-01-04 20:52:10] 959*2^1418664-1 is not prime. Res64: A3711394C4EB9101 Time : 0.0 sec. user=mdettweiler [2016-01-04 20:52:10] 983*2^1418664-1 is not prime. Res64: B083A6B8BB45FC07 Time : 0.0 sec. user=mdettweiler [2016-01-04 21:09:43] 895*2^1418665-1 is not prime. Res64: 58A5025605A1F805 Time : 0.0 sec. user=mdettweiler [2016-01-04 21:09:44] 841*2^1418665-1 is not prime. Res64: C49649F07646BD12 Time : 0.0 sec. user=mdettweiler [2016-01-04 21:09:44] 951*2^1418665-1 is not prime. Res64: 3AF59C22E8116D3C Time : 0.0 sec. user=mdettweiler [2016-01-04 21:09:44] 861*2^1418665-1 is not prime. Res64: 103F8F034B10BA15 Time : 0.0 sec. user=mdettweiler [2016-01-04 21:27:27] 651*2^1418666-1 is not prime. Res64: D55D03B5592C8B30 Time : 0.0 sec. user=mdettweiler [2016-01-04 21:27:27] 603*2^1418666-1 is not prime. Res64: 7653017AF546A6FC Time : 0.0 sec. user=mdettweiler [2016-01-04 21:27:28] 831*2^1418666-1 is not prime. Res64: EBDA69C06ED27B3E Time : 0.0 sec. user=mdettweiler [2016-01-04 21:27:28] 627*2^1418666-1 is not prime. Res64: DB75D77D9B4A290B Time : 0.0 sec. user=mdettweiler [2016-01-04 21:45:22] 837*2^1418666-1 is not prime. Res64: D205747547984DA3 Time : 0.0 sec. user=mdettweiler [2016-01-04 21:45:23] 651*2^1418667-1 is not prime. Res64: F070532A48962DBB Time : 0.0 sec. user=mdettweiler [2016-01-04 21:45:23] 945*2^1418666-1 is not prime. Res64: F57554C60CAF1442 Time : 0.0 sec. user=mdettweiler [2016-01-04 21:45:23] 765*2^1418667-1 is not prime. Res64: 0255A0703C378706 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:03:10] 835*2^1418667-1 is not prime. Res64: 700247FFC1224D15 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:03:10] 909*2^1418667-1 is not prime. Res64: 87010286B296A0D3 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:03:12] 861*2^1418667-1 is not prime. Res64: 9395503E98F0F38C Time : 0.0 sec. user=mdettweiler [2016-01-04 22:03:12] 919*2^1418667-1 is not prime. Res64: F5E59A9247E527CD Time : 0.0 sec. user=mdettweiler [2016-01-04 22:21:07] 723*2^1418668-1 is not prime. Res64: 4932FDA0973FCE28 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:21:07] 765*2^1418668-1 is not prime. Res64: 98E301925D2F3755 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:21:08] 833*2^1418668-1 is not prime. Res64: 91B9BE513FAE325E Time : 0.0 sec. user=mdettweiler [2016-01-04 22:21:08] 839*2^1418668-1 is not prime. Res64: 723A25AE07F71CFE Time : 0.0 sec. user=mdettweiler [2016-01-04 22:38:41] 959*2^1418668-1 is not prime. Res64: CB0B85D5766669BA Time : 0.0 sec. user=mdettweiler [2016-01-04 22:38:42] 615*2^1418669-1 is not prime. Res64: 28574A29DAEBB6E9 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:38:42] 631*2^1418669-1 is not prime. Res64: 79287E5B596C7FE5 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:38:42] 855*2^1418669-1 is not prime. Res64: 8C331679D7610B7B Time : 0.0 sec. user=mdettweiler [2016-01-04 22:56:52] 861*2^1418669-1 is not prime. Res64: 88FFDD5C5F66FD9E Time : 0.0 sec. user=mdettweiler [2016-01-04 22:56:52] 897*2^1418669-1 is not prime. Res64: AF3226BB4DECE4D0 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:56:54] 987*2^1418669-1 is not prime. Res64: F172DFC3C2CAB202 Time : 0.0 sec. user=mdettweiler [2016-01-04 22:56:54] 725*2^1418670-1 is not prime. Res64: D0E901F09CF6F0A0 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:18:09] 861*2^1418670-1 is not prime. Res64: B05CC4A57DD1AB98 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:18:10] 765*2^1418670-1 is not prime. Res64: 3FECE456FA7DDF37 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:18:10] 639*2^1418671-1 is not prime. Res64: FAD43F19232FE73E Time : 0.0 sec. user=mdettweiler [2016-01-04 23:18:10] 773*2^1418670-1 is not prime. Res64: 95FDBD85CE1F09A3 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:39:07] 651*2^1418671-1 is not prime. Res64: A9C3387D5BF110D9 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:39:07] 723*2^1418671-1 is not prime. Res64: D03EEA7051B1B3D0 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:39:10] 813*2^1418671-1 is not prime. Res64: 021CA7180D1C436E Time : 0.0 sec. user=mdettweiler [2016-01-04 23:39:10] 861*2^1418671-1 is not prime. Res64: 5112B769EEA65534 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:56:53] 883*2^1418671-1 is not prime. Res64: 3EE7B2A9A082A59B Time : 0.0 sec. user=mdettweiler [2016-01-04 23:56:54] 973*2^1418671-1 is not prime. Res64: 8DBC5A5449E07CED Time : 0.0 sec. user=mdettweiler [2016-01-04 23:56:55] 629*2^1418672-1 is not prime. Res64: 7D71822110DC6E65 Time : 0.0 sec. user=mdettweiler [2016-01-04 23:56:55] 717*2^1418672-1 is not prime. Res64: BD6E86E3C7BF5073 Time : 0.0 sec.