user=mdettweiler [2016-11-29 00:23:25] 647*2^1447242-1 is not prime. Res64: 2FFB876CF927E12A Time : 0.0 sec. user=mdettweiler [2016-11-29 00:23:26] 713*2^1447242-1 is not prime. Res64: 9B6ED389FE694780 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:23:26] 723*2^1447242-1 is not prime. Res64: C1C16530C6A54D6C Time : 0.0 sec. user=mdettweiler [2016-11-29 00:23:27] 921*2^1447242-1 is not prime. Res64: DB34DF1B439C739D Time : 0.0 sec. user=mdettweiler [2016-11-29 00:23:27] 621*2^1447243-1 is not prime. Res64: EA2E385C561503C0 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:28:42] 861*2^1447243-1 is not prime. Res64: 4586CC2B1B7C6B92 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:28:43] 939*2^1447243-1 is not prime. Res64: 140E7F39A29407C6 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:28:43] 943*2^1447243-1 is not prime. Res64: C63C7522FD2A2851 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:28:43] 609*2^1447244-1 is not prime. Res64: 9E780F0834E2665A Time : 0.0 sec. user=mdettweiler [2016-11-29 00:28:44] 657*2^1447244-1 is not prime. Res64: E2EA4B71F9543BDF Time : 0.0 sec. user=mdettweiler [2016-11-29 00:34:10] 687*2^1447244-1 is not prime. Res64: AA1CBDEB7BB638B2 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:34:14] 707*2^1447244-1 is not prime. Res64: CAE1350258348EAE Time : 0.0 sec. user=mdettweiler [2016-11-29 00:34:18] 717*2^1447244-1 is not prime. Res64: F0AE5BEDCDA4DED4 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:34:22] 785*2^1447244-1 is not prime. Res64: 2EB55E2D16BBB02E Time : 0.0 sec. user=mdettweiler [2016-11-29 00:34:26] 855*2^1447244-1 is not prime. Res64: 827452F35A0B7C65 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:40:08] 657*2^1447245-1 is not prime. Res64: 69B6C4722780E056 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:40:12] 811*2^1447245-1 is not prime. Res64: AAD0FC30952CCC7F Time : 0.0 sec. user=mdettweiler [2016-11-29 00:40:16] 817*2^1447245-1 is not prime. Res64: 8E893E8B46F4176E Time : 0.0 sec. user=mdettweiler [2016-11-29 00:40:20] 889*2^1447245-1 is not prime. Res64: 1505025EAD2BD505 Time : 0.0 sec. user=mdettweiler [2016-11-29 00:40:24] 999*2^1447245-1 is not prime. Res64: A4F5AE6C9C72F205 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:15:50] 705*2^1447246-1 is not prime. Res64: E6D4440D1AC03A20 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:15:56] 783*2^1447246-1 is not prime. Res64: 83512A05469FC16D Time : 0.0 sec. user=mdettweiler [2016-11-29 01:16:00] 867*2^1447246-1 is not prime. Res64: 237D3020BA76AB45 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:16:01] 897*2^1447246-1 is not prime. Res64: 8D2C006BD79E2195 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:16:05] 923*2^1447246-1 is not prime. Res64: DE4F8EF46204E074 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:21:48] 945*2^1447246-1 is not prime. Res64: 1E038ABF41B86D94 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:21:52] 633*2^1447247-1 is not prime. Res64: EBC55FD73E825EFC Time : 0.0 sec. user=mdettweiler [2016-11-29 01:21:56] 651*2^1447247-1 is not prime. Res64: 0A0FA46C7C39F3E4 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:22:00] 673*2^1447247-1 is not prime. Res64: 11C377788D3F6731 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:22:04] 741*2^1447247-1 is not prime. Res64: 212F32A3CC7F2A3A Time : 0.0 sec. user=mdettweiler [2016-11-29 01:26:25] 759*2^1447247-1 is not prime. Res64: 8487EB38DB1D86E0 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:26:26] 763*2^1447247-1 is not prime. Res64: 6246F7D29D3757C4 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:26:27] 819*2^1447247-1 is not prime. Res64: 1F967034FE418523 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:26:28] 889*2^1447247-1 is not prime. Res64: 67AE5665F379EB7D Time : 0.0 sec. user=mdettweiler [2016-11-29 01:26:28] 895*2^1447247-1 is not prime. Res64: 1636FF6B763825BB Time : 0.0 sec. user=mdettweiler [2016-11-29 01:31:41] 629*2^1447248-1 is not prime. Res64: B3604992EA694D32 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:31:43] 725*2^1447248-1 is not prime. Res64: EA698C5A053C0545 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:31:44] 773*2^1447248-1 is not prime. Res64: 35F7639DFD721539 Time : 0.0 sec. user=mdettweiler [2016-11-29 01:31:44] 819*2^1447248-1 is not prime. Res64: 070D75CA790A6C5A Time : 0.0 sec. user=mdettweiler [2016-11-29 01:31:45] 899*2^1447248-1 is not prime. Res64: BFE711F0D58E5A7B Time : 0.0 sec. user=mdettweiler [2016-11-29 02:02:53] 861*2^1447249-1 is not prime. Res64: 937EC7DD6BA4C829 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:02:54] 931*2^1447249-1 is not prime. Res64: E0B9145CD05BE883 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:02:54] 945*2^1447249-1 is not prime. Res64: A8E47E2F47F8B1D3 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:02:54] 951*2^1447249-1 is not prime. Res64: 9088CDD1617DBE53 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:02:55] 999*2^1447249-1 is not prime. Res64: EF60FD9C74EEA6AB Time : 0.0 sec. user=mdettweiler [2016-11-29 02:08:03] 635*2^1447250-1 is not prime. Res64: 9C01EA5B49F4806A Time : 0.0 sec. user=mdettweiler [2016-11-29 02:08:04] 645*2^1447250-1 is not prime. Res64: 899A218E64659699 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:08:04] 671*2^1447250-1 is not prime. Res64: F3667FBEA7836E94 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:08:04] 675*2^1447250-1 is not prime. Res64: FB9A86B39F1C1E6E Time : 0.0 sec. user=mdettweiler [2016-11-29 02:08:04] 785*2^1447250-1 is not prime. Res64: FD9E4A5E53CB07D6 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:12:05] 813*2^1447250-1 is not prime. Res64: F54A2216A61135F7 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:12:05] 845*2^1447250-1 is not prime. Res64: FFE2BA9DB3965DFC Time : 0.0 sec. user=mdettweiler [2016-11-29 02:12:06] 867*2^1447250-1 is not prime. Res64: EFE58D268DB743CC Time : 0.0 sec. user=mdettweiler [2016-11-29 02:12:06] 893*2^1447250-1 is not prime. Res64: C8B1664300F7307B Time : 0.0 sec. user=mdettweiler [2016-11-29 02:12:06] 917*2^1447250-1 is not prime. Res64: 87803AF205B40439 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:16:58] 945*2^1447250-1 is not prime. Res64: 202A8126DC75E54A Time : 0.0 sec. user=mdettweiler [2016-11-29 02:16:59] 829*2^1447251-1 is not prime. Res64: DE3B7A4E4EB52642 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:16:59] 835*2^1447251-1 is not prime. Res64: C44958F51902609D Time : 0.0 sec. user=mdettweiler [2016-11-29 02:17:00] 859*2^1447251-1 is not prime. Res64: 834C4924F3702AA1 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:17:00] 951*2^1447251-1 is not prime. Res64: 5C6108B45D6A716E Time : 0.0 sec. user=mdettweiler [2016-11-29 02:48:08] 605*2^1447252-1 is not prime. Res64: 5D99466099E92C07 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:48:08] 615*2^1447252-1 is not prime. Res64: 15AF6829ED8E3231 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:48:09] 689*2^1447252-1 is not prime. Res64: B4D7C03B46C08123 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:48:09] 843*2^1447252-1 is not prime. Res64: C68E833A002422EF Time : 0.0 sec. user=mdettweiler [2016-11-29 02:48:09] 947*2^1447252-1 is not prime. Res64: 3B42D6C78CF05FEA Time : 0.0 sec. user=mdettweiler [2016-11-29 02:53:31] 615*2^1447253-1 is not prime. Res64: 740EACCB3C16B411 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:53:36] 631*2^1447253-1 is not prime. Res64: 32A394560493963D Time : 0.0 sec. user=mdettweiler [2016-11-29 02:53:42] 675*2^1447253-1 is not prime. Res64: 4096459948D2CBF5 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:53:48] 741*2^1447253-1 is not prime. Res64: B87D78850205F1D6 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:53:53] 759*2^1447253-1 is not prime. Res64: EC7BAB567F3D813D Time : 0.0 sec. user=mdettweiler [2016-11-29 02:57:18] 795*2^1447253-1 is not prime. Res64: DC5D777E4706BD45 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:57:18] 663*2^1447254-1 is not prime. Res64: 97BF8D9EADB5819A Time : 0.0 sec. user=mdettweiler [2016-11-29 02:57:23] 747*2^1447254-1 is not prime. Res64: 0153066F6381B0CD Time : 0.0 sec. user=mdettweiler [2016-11-29 02:57:29] 903*2^1447254-1 is not prime. Res64: 0C424577EFAE0D08 Time : 0.0 sec. user=mdettweiler [2016-11-29 02:57:35] 917*2^1447254-1 is not prime. Res64: DE47C973BFB2BD92 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:02:25] 921*2^1447254-1 is not prime. Res64: 4372678FEAAE6DC5 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:02:29] 923*2^1447254-1 is not prime. Res64: E267F19DACF07A72 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:02:35] 609*2^1447255-1 is not prime. Res64: 7A5FFD3AB875BEC9 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:02:39] 649*2^1447255-1 is not prime. Res64: 559D851DEEEC9B74 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:02:43] 661*2^1447255-1 is not prime. Res64: 81C6D44800C1B8DA Time : 0.0 sec. user=mdettweiler [2016-11-29 03:39:29] 859*2^1447255-1 is not prime. Res64: 7F06D84CEF2A59D7 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:39:34] 939*2^1447255-1 is not prime. Res64: 5D806AB73BB645D9 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:39:38] 609*2^1447256-1 is not prime. Res64: C65304C5E4741A83 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:39:39] 657*2^1447256-1 is not prime. Res64: 6EEE1025BFAACB82 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:39:44] 777*2^1447256-1 is not prime. Res64: 8EFA0B28BFD9504B Time : 0.0 sec. user=mdettweiler [2016-11-29 03:43:24] 903*2^1447256-1 is not prime. Res64: B5F240464202711E Time : 0.0 sec. user=mdettweiler [2016-11-29 03:43:29] 691*2^1447257-1 is not prime. Res64: C56124267FA72D76 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:43:33] 747*2^1447257-1 is not prime. Res64: B7BB30EEB729D1D4 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:43:39] 835*2^1447257-1 is not prime. Res64: 2F5F14F4A1C47FD0 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:43:40] 611*2^1447258-1 is not prime. Res64: AE6D4B7995BE8CD3 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:48:57] 635*2^1447258-1 is not prime. Res64: D67E7525E0717F00 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:48:58] 657*2^1447258-1 is not prime. Res64: F502976D4B846EC1 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:48:59] 891*2^1447258-1 is not prime. Res64: 7D9426C812D8A5D1 Time : 0.0 sec. user=mdettweiler [2016-11-29 03:48:59] 915*2^1447258-1 is not prime. Res64: 846A0CDF0560C21A Time : 0.0 sec. user=mdettweiler [2016-11-29 03:49:00] 923*2^1447258-1 is not prime. Res64: B1E338DBC4F43CB6 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:26:05] 1001*2^1447258-1 is not prime. Res64: ED064A7F6FC03D9A Time : 0.0 sec. user=mdettweiler [2016-11-29 04:26:09] 685*2^1447259-1 is not prime. Res64: 10993BA88FDF76B9 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:26:13] 753*2^1447259-1 is not prime. Res64: 711029EA15055586 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:26:17] 811*2^1447259-1 is not prime. Res64: DEF49ACB8D8A1F5B Time : 0.0 sec. user=mdettweiler [2016-11-29 04:26:21] 855*2^1447259-1 is not prime. Res64: 4452651A96F88647 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:30:03] 885*2^1447259-1 is not prime. Res64: E5145E958BD88F4D Time : 0.0 sec. user=mdettweiler [2016-11-29 04:30:04] 623*2^1447260-1 is not prime. Res64: 93365A0C85E0371E Time : 0.0 sec. user=mdettweiler [2016-11-29 04:30:05] 669*2^1447260-1 is not prime. Res64: 3481F286F9350505 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:30:05] 689*2^1447260-1 is not prime. Res64: BB3030389229B41D Time : 0.0 sec. user=mdettweiler [2016-11-29 04:30:05] 693*2^1447260-1 is not prime. Res64: E19C2D97D1FEA3C4 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:35:19] 707*2^1447260-1 is not prime. Res64: B98A44C77E415A02 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:35:19] 839*2^1447260-1 is not prime. Res64: 827ECBBF2D6D6223 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:35:19] 983*2^1447260-1 is not prime. Res64: 9B959EBD2C1A5EE1 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:35:19] 681*2^1447261-1 is not prime. Res64: C077EF7104780C31 Time : 0.0 sec. user=mdettweiler [2016-11-29 04:35:20] 745*2^1447261-1 is not prime. Res64: 599F0222BF145590 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:12:39] 757*2^1447261-1 is not prime. Res64: 1707F8A36249AF0B Time : 0.0 sec. user=mdettweiler [2016-11-29 05:12:40] 789*2^1447261-1 is not prime. Res64: 3EAA17958523257F Time : 0.0 sec. user=mdettweiler [2016-11-29 05:12:40] 877*2^1447261-1 is not prime. Res64: 1DFAFE5C25C721E8 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:12:40] 967*2^1447261-1 is not prime. Res64: A8A0374DED7E7FB2 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:12:41] 677*2^1447262-1 is not prime. Res64: 5C6538446B8A3DC0 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:16:16] 683*2^1447262-1 is not prime. Res64: EFBFF934E383A653 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:16:16] 713*2^1447262-1 is not prime. Res64: F0F9A4D9B185C3B0 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:16:17] 753*2^1447262-1 is not prime. Res64: 7D337AFB8EA6F043 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:16:17] 983*2^1447262-1 is not prime. Res64: 6948966EDE94173B Time : 0.0 sec. user=mdettweiler [2016-11-29 05:16:17] 613*2^1447263-1 is not prime. Res64: 3A076DC1D8CF23C4 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:22:06] 685*2^1447263-1 is not prime. Res64: 6E36B971B7D1A133 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:22:06] 705*2^1447263-1 is not prime. Res64: 52AA5FC8E75107AA Time : 0.0 sec. user=mdettweiler [2016-11-29 05:22:07] 765*2^1447263-1 is not prime. Res64: A793E8D35473F812 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:22:07] 861*2^1447263-1 is not prime. Res64: AC4EA9791A2A7F31 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:22:07] 871*2^1447263-1 is not prime. Res64: 7116BDE20A128DBF Time : 0.0 sec. user=mdettweiler [2016-11-29 05:59:10] 885*2^1447263-1 is not prime. Res64: C401A4F8BB44A09C Time : 0.0 sec. user=mdettweiler [2016-11-29 05:59:10] 951*2^1447263-1 is not prime. Res64: 88ADFB2346BE57C4 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:59:11] 635*2^1447264-1 is not prime. Res64: 22A5AFC05E477CC9 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:59:11] 707*2^1447264-1 is not prime. Res64: 27F45D3A43CF5485 Time : 0.0 sec. user=mdettweiler [2016-11-29 05:59:11] 765*2^1447264-1 is not prime. Res64: 18323CD5034DE189 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:02:42] 917*2^1447264-1 is not prime. Res64: 28220751D2F48085 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:02:43] 669*2^1447265-1 is not prime. Res64: 985896E2AFD57A40 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:02:44] 805*2^1447265-1 is not prime. Res64: B14592689338EC79 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:02:44] 871*2^1447265-1 is not prime. Res64: ADCACBCF83F3462C Time : 0.0 sec. user=mdettweiler [2016-11-29 06:02:45] 897*2^1447265-1 is not prime. Res64: 4FD37EE86D940C0E Time : 0.0 sec. user=mdettweiler [2016-11-29 06:08:26] 909*2^1447265-1 is not prime. Res64: 5AA59B8709A8EB49 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:08:27] 937*2^1447265-1 is not prime. Res64: 5C465753D3A5E2F7 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:08:29] 957*2^1447265-1 is not prime. Res64: 747ADB65EE322518 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:08:31] 969*2^1447265-1 is not prime. Res64: E68D4FC773FB8892 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:08:32] 657*2^1447266-1 is not prime. Res64: 689BD5EEEA5A815D Time : 0.0 sec. user=mdettweiler [2016-11-29 06:28:47] 685*2^1447255-1 is not prime. Res64: A327C4D7022CDD32 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:28:51] 759*2^1447255-1 is not prime. Res64: BBE752D834C0D1CA Time : 0.0 sec. user=mdettweiler [2016-11-29 06:28:55] 783*2^1447255-1 is not prime. Res64: 7E38A50BCDB9D7B7 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:28:59] 819*2^1447255-1 is not prime. Res64: 2C6C77297B1BCD55 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:28:59] 843*2^1447255-1 is not prime. Res64: A6354BAB32561EB4 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:45:20] 705*2^1447266-1 is not prime. Res64: 9AC1A446F1A44C94 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:45:21] 803*2^1447266-1 is not prime. Res64: A805D744C5213663 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:45:21] 825*2^1447266-1 is not prime. Res64: 6A8CBC4361B84B70 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:45:21] 861*2^1447266-1 is not prime. Res64: A879E311CBA7D349 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:45:21] 873*2^1447266-1 is not prime. Res64: 2FDC7AF231333817 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:48:34] 887*2^1447266-1 is not prime. Res64: B0ED5E6FD6F5D86F Time : 0.0 sec. user=mdettweiler [2016-11-29 06:48:34] 917*2^1447266-1 is not prime. Res64: 2CC7555DA162FE93 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:48:34] 639*2^1447267-1 is not prime. Res64: C9635FEAA19547B3 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:48:35] 685*2^1447267-1 is not prime. Res64: 29D95A17853D01F4 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:48:35] 741*2^1447267-1 is not prime. Res64: C9816FE58DF98506 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:54:19] 769*2^1447267-1 is not prime. Res64: 00EEE495AFD42DA3 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:54:23] 873*2^1447267-1 is not prime. Res64: 7C6366C32FD88E22 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:54:26] 885*2^1447267-1 is not prime. Res64: 45777DC78B298E1B Time : 0.0 sec. user=mdettweiler [2016-11-29 06:54:27] 945*2^1447267-1 is not prime. Res64: 93CCE9656F6D92F5 Time : 0.0 sec. user=mdettweiler [2016-11-29 06:54:31] 635*2^1447268-1 is not prime. Res64: 998F43D8A0B7C901 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:14:20] 647*2^1447268-1 is not prime. Res64: 9F1490C565FBF53F Time : 0.0 sec. user=mdettweiler [2016-11-29 07:14:20] 659*2^1447268-1 is not prime. Res64: 7453521A286E8D48 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:14:20] 665*2^1447268-1 is not prime. Res64: 5A255F1894E0073F Time : 0.0 sec. user=mdettweiler [2016-11-29 07:14:21] 677*2^1447268-1 is not prime. Res64: 8BE855B9E62746B7 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:14:21] 753*2^1447268-1 is not prime. Res64: 06B563744DD89102 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:31:00] 837*2^1447268-1 is not prime. Res64: 383F9C87594124A8 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:31:01] 969*2^1447268-1 is not prime. Res64: 9EA82DC8ACFFDDE2 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:31:01] 995*2^1447268-1 is not prime. Res64: 90E6E8CBA18EA14E Time : 0.0 sec. user=mdettweiler [2016-11-29 07:31:01] 601*2^1447269-1 is not prime. Res64: 93BED9AA26AA0F61 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:31:01] 765*2^1447269-1 is not prime. Res64: C0AF882831BA3A56 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:34:17] 829*2^1447269-1 is not prime. Res64: A72FD09490ACD53C Time : 0.0 sec. user=mdettweiler [2016-11-29 07:34:17] 949*2^1447269-1 is not prime. Res64: A05A41DAD4322FC3 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:34:24] 955*2^1447269-1 is not prime. Res64: E94FED60D6F4B0CC Time : 0.0 sec. user=mdettweiler [2016-11-29 07:34:29] 755*2^1447270-1 is not prime. Res64: FCA944A3827027F2 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:34:35] 827*2^1447270-1 is not prime. Res64: 96D57E1A05374458 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:39:52] 885*2^1447270-1 is not prime. Res64: 486EFBF177192C48 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:39:58] 965*2^1447270-1 is not prime. Res64: F0C21BBC834F8A85 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:40:04] 619*2^1447271-1 is not prime. Res64: A2C690226BFF6ACB Time : 0.0 sec. user=mdettweiler [2016-11-29 07:40:09] 621*2^1447271-1 is not prime. Res64: 65445C378B4A3FAC Time : 0.0 sec. user=mdettweiler [2016-11-29 07:40:09] 649*2^1447271-1 is not prime. Res64: 5A58F9F57EADD7F0 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:59:42] 661*2^1447271-1 is not prime. Res64: C2AF8306B5392114 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:59:42] 715*2^1447271-1 is not prime. Res64: 940418845C4C9CA7 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:59:42] 879*2^1447271-1 is not prime. Res64: B73491A7D26F8462 Time : 0.0 sec. user=mdettweiler [2016-11-29 07:59:42] 883*2^1447271-1 is not prime. Res64: C50EB0AC4B7E44BC Time : 0.0 sec. user=mdettweiler [2016-11-29 07:59:43] 921*2^1447271-1 is not prime. Res64: 980FAF6C725A2E0B Time : 0.0 sec. user=mdettweiler [2016-11-29 08:16:28] 981*2^1447271-1 is not prime. Res64: 6D7E29A0569287BD Time : 0.0 sec. user=mdettweiler [2016-11-29 08:16:32] 669*2^1447272-1 is not prime. Res64: 9DEDF21FEBF53E47 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:16:36] 753*2^1447272-1 is not prime. Res64: 9C79B38DD583B241 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:16:40] 915*2^1447273-1 is not prime. Res64: 740FFF560201C77A Time : 0.0 sec. user=mdettweiler [2016-11-29 08:16:44] 937*2^1447273-1 is not prime. Res64: 79467F92BF302339 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:19:49] 955*2^1447273-1 is not prime. Res64: BE6FA7AAB301FD67 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:19:53] 623*2^1447274-1 is not prime. Res64: 4A1CB0B26414D4BC Time : 0.0 sec. user=mdettweiler [2016-11-29 08:19:57] 701*2^1447274-1 is not prime. Res64: 6F1E4DDC1F5D3CB9 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:20:01] 813*2^1447274-1 is not prime. Res64: 14B7381A7F0BEC18 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:20:05] 861*2^1447274-1 is not prime. Res64: 4CE4C9B85457A15E Time : 0.0 sec. user=mdettweiler [2016-11-29 08:25:38] 663*2^1447275-1 is not prime. Res64: C9E3C1BC30B68012 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:25:38] 765*2^1447275-1 is not prime. Res64: FDD886942F097739 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:25:39] 793*2^1447275-1 is not prime. Res64: 117748C7EE11F4EC Time : 0.0 sec. user=mdettweiler [2016-11-29 08:25:39] 819*2^1447275-1 is not prime. Res64: 95B35D67DDDAC64C Time : 0.0 sec. user=mdettweiler [2016-11-29 08:25:39] 859*2^1447275-1 is not prime. Res64: 808E00FE5F401CD0 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:45:03] 873*2^1447275-1 is not prime. Res64: DBEED9BF24104FA3 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:45:05] 921*2^1447275-1 is not prime. Res64: F8FBF9BA01B3A1F5 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:45:05] 999*2^1447275-1 is not prime. Res64: 6F8DAEC109342C83 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:45:06] 603*2^1447276-1 is not prime. Res64: F8C6CE1BA1F4AB85 Time : 0.0 sec. user=mdettweiler [2016-11-29 08:45:07] 695*2^1447276-1 is not prime. Res64: A659FBD01387679A Time : 0.0 sec. user=mdettweiler [2016-11-29 09:02:08] 857*2^1447276-1 is not prime. Res64: 3B7BD22CC54F074A Time : 0.0 sec. user=mdettweiler [2016-11-29 09:02:14] 873*2^1447276-1 is not prime. Res64: 5F5618D08FF7FCE7 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:02:19] 927*2^1447276-1 is not prime. Res64: 8C77BF252D41655B Time : 0.0 sec. user=mdettweiler [2016-11-29 09:02:24] 983*2^1447276-1 is not prime. Res64: 55D8115D14972FF1 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:02:29] 621*2^1447277-1 is not prime. Res64: 4970D1D238317D7E Time : 0.0 sec. user=mdettweiler [2016-11-29 09:05:27] 631*2^1447277-1 is not prime. Res64: BF8816EFB9C249D9 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:05:29] 669*2^1447277-1 is not prime. Res64: C5FB6EED9963C8AB Time : 0.0 sec. user=mdettweiler [2016-11-29 09:05:30] 697*2^1447277-1 is not prime. Res64: 0FEF8106EF9A2981 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:05:31] 699*2^1447277-1 is not prime. Res64: E10A99B2AC4C832B Time : 0.0 sec. user=mdettweiler [2016-11-29 09:05:32] 795*2^1447277-1 is not prime. Res64: CE2C2D2758F1CDDA Time : 0.0 sec. user=mdettweiler [2016-11-29 09:10:43] 979*2^1447277-1 is not prime. Res64: A39703C0DCEA7AD6 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:10:44] 635*2^1447278-1 is not prime. Res64: 3750B4A3EE50A0A8 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:10:44] 705*2^1447278-1 is not prime. Res64: 69E37EAFAD8573F6 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:10:44] 975*2^1447278-1 is not prime. Res64: D17CBA7025AB647A Time : 0.0 sec. user=mdettweiler [2016-11-29 09:10:45] 1001*2^1447278-1 is not prime. Res64: 0E08B95D288BEDB2 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:30:21] 615*2^1447279-1 is not prime. Res64: D01B8DC817D68134 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:30:27] 639*2^1447279-1 is not prime. Res64: 8B64F68C87854BF3 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:30:33] 723*2^1447279-1 is not prime. Res64: 0273996EA3486BED Time : 0.0 sec. user=mdettweiler [2016-11-29 09:30:38] 745*2^1447279-1 is not prime. Res64: 0BDE6426F316C894 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:30:38] 853*2^1447279-1 is not prime. Res64: 6955FB1D33429306 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:47:48] 931*2^1447279-1 is not prime. Res64: 32796AEBF5C41AAD Time : 0.0 sec. user=mdettweiler [2016-11-29 09:47:48] 933*2^1447279-1 is not prime. Res64: 415147BD666749CC Time : 0.0 sec. user=mdettweiler [2016-11-29 09:47:48] 951*2^1447279-1 is not prime. Res64: C4BCE602DBDB5807 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:47:48] 603*2^1447280-1 is not prime. Res64: E8BC9DE31C486B84 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:47:49] 609*2^1447280-1 is not prime. Res64: F3B793AC47D07B27 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:50:54] 675*2^1447280-1 is not prime. Res64: 503E963310B88FA9 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:50:54] 687*2^1447280-1 is not prime. Res64: 40CB837481F9C1AC Time : 0.0 sec. user=mdettweiler [2016-11-29 09:50:54] 713*2^1447280-1 is not prime. Res64: 5E755C67EF32A7D5 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:50:54] 767*2^1447280-1 is not prime. Res64: C26E4E58645604FE Time : 0.0 sec. user=mdettweiler [2016-11-29 09:50:55] 999*2^1447280-1 is not prime. Res64: E604E5CD9745432C Time : 0.0 sec. user=mdettweiler [2016-11-29 09:56:25] 751*2^1447281-1 is not prime. Res64: A24BF0A289A1B923 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:56:25] 889*2^1447281-1 is not prime. Res64: D605289934ED5EC1 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:56:26] 671*2^1447282-1 is not prime. Res64: B24E0668950A5DF3 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:56:26] 785*2^1447282-1 is not prime. Res64: 290B39C9B2AF7A59 Time : 0.0 sec. user=mdettweiler [2016-11-29 09:56:26] 831*2^1447282-1 is not prime. Res64: 871E073F1C4C0CB3 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:16:22] 881*2^1447282-1 is not prime. Res64: 09376090083C0E41 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:16:28] 941*2^1447282-1 is not prime. Res64: ADDE41F3D6554E0E Time : 0.0 sec. user=mdettweiler [2016-11-29 10:16:28] 983*2^1447282-1 is not prime. Res64: 52988F19492CE1F0 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:16:34] 609*2^1447283-1 is not prime. Res64: A79FA0BE2466B7E1 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:16:39] 745*2^1447283-1 is not prime. Res64: BAC1D528E8814B66 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:32:57] 781*2^1447283-1 is not prime. Res64: AEB355085F949D15 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:32:58] 805*2^1447283-1 is not prime. Res64: A3992482DEF4A2B6 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:32:58] 825*2^1447283-1 is not prime. Res64: 15906A63CFFB7D73 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:32:58] 859*2^1447283-1 is not prime. Res64: 482B169F7CDF4A06 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:32:58] 895*2^1447283-1 is not prime. Res64: 55A3C7D3BB62415D Time : 0.0 sec. user=mdettweiler [2016-11-29 10:36:09] 901*2^1447283-1 is not prime. Res64: E676541287DC2369 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:36:09] 759*2^1447284-1 is not prime. Res64: 478B1C7FB7F34CA8 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:36:09] 825*2^1447284-1 is not prime. Res64: 4E8CAC22C841F6FB Time : 0.0 sec. user=mdettweiler [2016-11-29 10:36:09] 915*2^1447284-1 is not prime. Res64: 08A018001C715574 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:36:10] 959*2^1447284-1 is not prime. Res64: 9F3286A130540C0A Time : 0.0 sec. user=mdettweiler [2016-11-29 10:41:42] 691*2^1447285-1 is not prime. Res64: E98C530EA4EE6A86 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:41:42] 727*2^1447285-1 is not prime. Res64: 6C4F29C1B7742E4A Time : 0.0 sec. user=mdettweiler [2016-11-29 10:41:43] 831*2^1447285-1 is not prime. Res64: CCEFA61AE662F393 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:41:43] 855*2^1447285-1 is not prime. Res64: 64C874BE6C0D3C47 Time : 0.0 sec. user=mdettweiler [2016-11-29 10:41:43] 987*2^1447285-1 is not prime. Res64: 78C70801F81371A5 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:02:03] 645*2^1447286-1 is not prime. Res64: FF6E89A36CEEFA43 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:02:07] 683*2^1447286-1 is not prime. Res64: 7B5E17C771D90FB5 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:02:11] 713*2^1447286-1 is not prime. Res64: 61016B3CA40ED3BC Time : 0.0 sec. user=mdettweiler [2016-11-29 11:02:15] 755*2^1447286-1 is not prime. Res64: F7A27C89C50C7DE9 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:02:20] 873*2^1447286-1 is not prime. Res64: 073AB1C62F9A2646 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:18:11] 917*2^1447286-1 is not prime. Res64: 80BAD85D7688AAC7 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:18:11] 957*2^1447286-1 is not prime. Res64: AE9166B3E7D2509B Time : 0.0 sec. user=mdettweiler [2016-11-29 11:18:11] 981*2^1447286-1 is not prime. Res64: FA12C0EF047206A9 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:18:11] 993*2^1447286-1 is not prime. Res64: 3FA11AD9606B314D Time : 0.0 sec. user=mdettweiler [2016-11-29 11:18:12] 675*2^1447287-1 is not prime. Res64: 3D084B9826EC9A62 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:21:30] 831*2^1447287-1 is not prime. Res64: 362CC8BE2DC5C99C Time : 0.0 sec. user=mdettweiler [2016-11-29 11:21:30] 861*2^1447287-1 is not prime. Res64: FF483B298ADD4852 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:21:30] 891*2^1447287-1 is not prime. Res64: 5E5ACBFB70B8986E Time : 0.0 sec. user=mdettweiler [2016-11-29 11:21:31] 963*2^1447287-1 is not prime. Res64: A9A2AC5398E10F76 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:21:31] 979*2^1447287-1 is not prime. Res64: 32D739011541F808 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:27:36] 603*2^1447288-1 is not prime. Res64: 71C749028F8AE5C9 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:48:26] 615*2^1447289-1 is not prime. Res64: 57F52DD1B8850802 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:48:26] 855*2^1447289-1 is not prime. Res64: EE3392AD286932A0 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:48:26] 865*2^1447289-1 is not prime. Res64: 595BCFE6DD713230 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:48:27] 925*2^1447289-1 is not prime. Res64: 8A04A55AC8D49FB7 Time : 0.0 sec. user=mdettweiler [2016-11-29 11:48:27] 945*2^1447289-1 is not prime. Res64: 9B61FC2313DFB2DE Time : 0.0 sec. user=mdettweiler [2016-11-29 12:04:25] 955*2^1447289-1 is not prime. Res64: 68A9997A1AC10D97 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:04:28] 967*2^1447289-1 is not prime. Res64: B2A8CDD3C572C936 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:04:29] 873*2^1447290-1 is not prime. Res64: 4B8CB500EA49CED5 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:04:31] 921*2^1447290-1 is not prime. Res64: 8329BE77FBCEB0DB Time : 0.0 sec. user=mdettweiler [2016-11-29 12:04:33] 963*2^1447290-1 is not prime. Res64: 337D7F0D6A214F3F Time : 0.0 sec. user=mdettweiler [2016-11-29 12:07:58] 1001*2^1447290-1 is not prime. Res64: 4F9E311D2E73B0AA Time : 0.0 sec. user=mdettweiler [2016-11-29 12:08:01] 631*2^1447291-1 is not prime. Res64: 24FEFBB7EC2BF095 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:08:02] 639*2^1447291-1 is not prime. Res64: D348A3AFDD5490D5 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:08:04] 681*2^1447291-1 is not prime. Res64: 15792D59BA3F463D Time : 0.0 sec. user=mdettweiler [2016-11-29 12:08:06] 723*2^1447291-1 is not prime. Res64: B10A23976F1C892C Time : 0.0 sec. user=mdettweiler [2016-11-29 12:34:36] 775*2^1447291-1 is not prime. Res64: 1935C1E39D00E3D5 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:34:36] 883*2^1447291-1 is not prime. Res64: 8E22A4499626E62E Time : 0.0 sec. user=mdettweiler [2016-11-29 12:34:37] 629*2^1447292-1 is not prime. Res64: 750CF08C5AE69FE7 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:34:37] 633*2^1447292-1 is not prime. Res64: 7E3267F0EC59407B Time : 0.0 sec. user=mdettweiler [2016-11-29 12:34:37] 647*2^1447292-1 is not prime. Res64: FA63DE90C753F2F4 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:51:16] 827*2^1447292-1 is not prime. Res64: 0266463B62ABFBA0 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:51:20] 833*2^1447292-1 is not prime. Res64: 1044653EABA3795C Time : 0.0 sec. user=mdettweiler [2016-11-29 12:51:24] 995*2^1447292-1 is not prime. Res64: CAAB464177BAB824 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:51:28] 651*2^1447293-1 is not prime. Res64: 4D15925797B32088 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:51:32] 685*2^1447293-1 is not prime. Res64: 48E6F64C04BED2D8 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:54:39] 991*2^1447293-1 is not prime. Res64: 1B29419F6A604EC7 Time : 0.0 sec. user=mdettweiler [2016-11-29 12:54:46] 681*2^1447294-1 is not prime. Res64: 2859EF688710BC6A Time : 0.0 sec. user=mdettweiler [2016-11-29 12:54:46] 791*2^1447294-1 is not prime. Res64: 0CC1D761F5A49E9E Time : 0.0 sec. user=mdettweiler [2016-11-29 12:54:53] 831*2^1447294-1 is not prime. Res64: 1E4571C4F3899ADB Time : 0.0 sec. user=mdettweiler [2016-11-29 12:55:00] 971*2^1447294-1 is not prime. Res64: 7D4548F9C6FDC3E4 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:21:16] 1001*2^1447294-1 is not prime. Res64: 8535CE0179D7D544 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:21:16] 603*2^1447295-1 is not prime. Res64: FD9F68CE0F0E8553 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:21:16] 783*2^1447295-1 is not prime. Res64: CFB1FE122F3E6244 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:21:17] 855*2^1447295-1 is not prime. Res64: 3451E0F2152DA09F Time : 0.0 sec. user=mdettweiler [2016-11-29 13:21:17] 633*2^1447296-1 is not prime. Res64: A8B4DCD8CFC47BC5 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:38:57] 689*2^1447296-1 is not prime. Res64: 09C81C5973834CC1 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:39:01] 779*2^1447296-1 is not prime. Res64: 12E68AE125816424 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:39:05] 789*2^1447296-1 is not prime. Res64: A980D3B7F9296FF8 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:39:10] 815*2^1447296-1 is not prime. Res64: DF4421BE6AB12581 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:39:10] 879*2^1447296-1 is not prime. Res64: 908E191AAA38A0B6 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:42:45] 667*2^1447297-1 is not prime. Res64: 99344CFBEF2B1423 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:42:49] 741*2^1447297-1 is not prime. Res64: 7F1EAB422166E463 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:42:53] 747*2^1447297-1 is not prime. Res64: CC175E08C135B574 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:42:57] 751*2^1447297-1 is not prime. Res64: 0FD72712052CBCA6 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:43:01] 677*2^1447298-1 is not prime. Res64: 07B2CF7B6155E0D5 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:46:40] 677*2^1447288-1 is not prime. Res64: 7BC99CF716E15499 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:46:40] 755*2^1447288-1 is not prime. Res64: 831A10A7F441A541 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:46:40] 819*2^1447288-1 is not prime. Res64: 9EA663266C066029 Time : 0.0 sec. user=mdettweiler [2016-11-29 13:46:41] 957*2^1447288-1 is not prime. Res64: 238675E29BD778C7 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:09:16] 713*2^1447298-1 is not prime. Res64: 2A61D7BBB16BD8E9 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:09:18] 771*2^1447298-1 is not prime. Res64: 597511F2C3ACFCE5 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:09:20] 813*2^1447298-1 is not prime. Res64: BC4D1A9136BB8E5E Time : 0.0 sec. user=mdettweiler [2016-11-29 14:09:21] 885*2^1447298-1 is not prime. Res64: F7565BA51FB3D59A Time : 0.0 sec. user=mdettweiler [2016-11-29 14:09:22] 945*2^1447298-1 is not prime. Res64: C5CB2CC4662F6CE9 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:27:04] 977*2^1447298-1 is not prime. Res64: 24A6C8865CA837BE Time : 0.0 sec. user=mdettweiler [2016-11-29 14:27:08] 995*2^1447298-1 is not prime. Res64: 3743E1E044AC50B9 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:27:12] 685*2^1447299-1 is not prime. Res64: 244DD9619968BD2A Time : 0.0 sec. user=mdettweiler [2016-11-29 14:27:16] 769*2^1447299-1 is not prime. Res64: BAEB381B644C7406 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:27:20] 909*2^1447299-1 is not prime. Res64: 2E5F7E348AB94990 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:30:44] 973*2^1447299-1 is not prime. Res64: 69B601B0BEAB49D2 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:30:44] 615*2^1447300-1 is not prime. Res64: EEA111470432D076 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:30:44] 647*2^1447300-1 is not prime. Res64: 2773FC84C59D5111 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:30:44] 653*2^1447300-1 is not prime. Res64: 4C913150B1C4E93C Time : 0.0 sec. user=mdettweiler [2016-11-29 14:30:45] 899*2^1447300-1 is not prime. Res64: 6B028547EFEFDA43 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:33:08] 619*2^1447301-1 is not prime. Res64: B0AB56EE84D108E5 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:33:08] 631*2^1447301-1 is not prime. Res64: 57D7488528A1F5BA Time : 0.0 sec. user=mdettweiler [2016-11-29 14:33:08] 997*2^1447301-1 is not prime. Res64: 8F694C22E6CFD8D3 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:33:09] 627*2^1447302-1 is not prime. Res64: 737BD9E5AB2C1F42 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:33:09] 677*2^1447302-1 is not prime. Res64: 3EF4AA0C5FCCE04A Time : 0.0 sec. user=mdettweiler [2016-11-29 14:55:24] 683*2^1447302-1 is not prime. Res64: 3A8F32BEB1369774 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:55:28] 723*2^1447302-1 is not prime. Res64: 121F7DFB7F4BF3B7 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:55:32] 741*2^1447302-1 is not prime. Res64: 5A79B48A6A93E239 Time : 0.0 sec. user=mdettweiler [2016-11-29 14:55:35] 777*2^1447302-1 is not prime. Res64: 856C9220F4F0E30A Time : 0.0 sec. user=mdettweiler [2016-11-29 14:55:39] 765*2^1447303-1 is not prime. Res64: 0FE8A0BF21BAFAC1 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:12:58] 913*2^1447303-1 is not prime. Res64: 5C6FD9886D840F58 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:12:58] 999*2^1447303-1 is not prime. Res64: 295408FF0ED02439 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:12:59] 687*2^1447304-1 is not prime. Res64: 00348315C861AED1 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:12:59] 789*2^1447304-1 is not prime. Res64: B14555F441128EB9 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:12:59] 825*2^1447304-1 is not prime. Res64: 4074841EF92CC6CC Time : 0.0 sec. user=mdettweiler [2016-11-29 15:16:25] 897*2^1447304-1 is not prime. Res64: 361D1F928BD1257D Time : 0.0 sec. user=mdettweiler [2016-11-29 15:16:26] 609*2^1447305-1 is not prime. Res64: 33417B4AF73BE7ED Time : 0.0 sec. user=mdettweiler [2016-11-29 15:16:26] 657*2^1447305-1 is not prime. Res64: 62D44B3E50D3ADE6 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:16:26] 691*2^1447305-1 is not prime. Res64: 7F3E5FF9195C7CCD Time : 0.0 sec. user=mdettweiler [2016-11-29 15:16:26] 717*2^1447305-1 is not prime. Res64: 9F888B42D7EE0E7B Time : 0.0 sec. user=mdettweiler [2016-11-29 15:18:59] 895*2^1447305-1 is not prime. Res64: D6027E8E409F97DD Time : 0.0 sec. user=mdettweiler [2016-11-29 15:19:00] 921*2^1447305-1 is not prime. Res64: D0181ED4D6A76D78 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:19:00] 999*2^1447305-1 is not prime. Res64: BE05577EE452AB79 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:19:00] 645*2^1447306-1 is not prime. Res64: 5BEFE665413DFEFD Time : 0.0 sec. user=mdettweiler [2016-11-29 15:19:00] 663*2^1447306-1 is not prime. Res64: A0270B1D4831436D Time : 0.0 sec. user=mdettweiler [2016-11-29 15:41:29] 705*2^1447306-1 is not prime. Res64: 9A4723CF4FD9569B Time : 0.0 sec. user=mdettweiler [2016-11-29 15:41:33] 713*2^1447306-1 is not prime. Res64: 74D79349A6EEFE60 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:41:37] 717*2^1447306-1 is not prime. Res64: BAB72C5DCA8953EE Time : 0.0 sec. user=mdettweiler [2016-11-29 15:41:41] 773*2^1447306-1 is not prime. Res64: E8177E6CF9677B14 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:41:45] 813*2^1447306-1 is not prime. Res64: 3070AF82FF769133 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:57:14] 815*2^1447306-1 is not prime. Res64: 665683C1F26413B6 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:57:15] 873*2^1447306-1 is not prime. Res64: E7F849012A55BFFF Time : 0.0 sec. user=mdettweiler [2016-11-29 15:57:15] 643*2^1447307-1 is not prime. Res64: FD8B7991310D7BF9 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:57:15] 645*2^1447307-1 is not prime. Res64: BD62DEE25FDD1315 Time : 0.0 sec. user=mdettweiler [2016-11-29 15:57:15] 663*2^1447307-1 is not prime. Res64: 0F49A1F190B05E8F Time : 0.0 sec. user=mdettweiler [2016-11-29 16:00:37] 799*2^1447307-1 is not prime. Res64: CB6D7662BDF970AE Time : 0.0 sec. user=mdettweiler [2016-11-29 16:00:40] 901*2^1447307-1 is not prime. Res64: 81D7E4EEAC933A4B Time : 0.0 sec. user=mdettweiler [2016-11-29 16:00:42] 749*2^1447308-1 is not prime. Res64: 62626BBBE80AA00F Time : 0.0 sec. user=mdettweiler [2016-11-29 16:00:43] 783*2^1447308-1 is not prime. Res64: FC71F942585FD3B3 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:00:45] 789*2^1447308-1 is not prime. Res64: E25A543893A99CD5 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:03:19] 803*2^1447308-1 is not prime. Res64: 42948EED1714A16C Time : 0.0 sec. user=mdettweiler [2016-11-29 16:03:20] 909*2^1447308-1 is not prime. Res64: FB55F20412035D66 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:03:22] 679*2^1447309-1 is not prime. Res64: D6F9F8428FD4B192 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:03:23] 811*2^1447309-1 is not prime. Res64: 4BEB679B3F14497F Time : 0.0 sec. user=mdettweiler [2016-11-29 16:03:24] 831*2^1447309-1 is not prime. Res64: DB4CCC0BB72667B8 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:27:34] 861*2^1447309-1 is not prime. Res64: 315F319950856582 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:44:56] 605*2^1447310-1 is not prime. Res64: 28237EF5ACC5ECA1 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:44:56] 857*2^1447310-1 is not prime. Res64: 0123543814FFE823 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:44:56] 921*2^1447310-1 is not prime. Res64: 5C37D0FB6195D9A1 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:44:57] 619*2^1447311-1 is not prime. Res64: 15C88C70DB3EE05D Time : 0.0 sec. user=mdettweiler [2016-11-29 16:44:57] 679*2^1447311-1 is not prime. Res64: 9162E8EE43CC3A0F Time : 0.0 sec. user=mdettweiler [2016-11-29 16:49:38] 895*2^1447311-1 is not prime. Res64: BF6F710AEB597F3E Time : 0.0 sec. user=mdettweiler [2016-11-29 16:49:44] 921*2^1447311-1 is not prime. Res64: 82D84F7A92DA7C52 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:49:44] 931*2^1447311-1 is not prime. Res64: EF3A05275CC7C8C8 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:49:50] 949*2^1447311-1 is not prime. Res64: C11D44F651839147 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:49:56] 635*2^1447312-1 is not prime. Res64: AFD11D0E612B8708 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:52:39] 657*2^1447312-1 is not prime. Res64: F046862B7938AE62 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:52:44] 713*2^1447312-1 is not prime. Res64: 97BF2C559A7EECAE Time : 0.0 sec. user=mdettweiler [2016-11-29 16:52:51] 797*2^1447312-1 is not prime. Res64: 7049E926AE61A340 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:52:58] 863*2^1447312-1 is not prime. Res64: DA06630BA7A49234 Time : 0.0 sec. user=mdettweiler [2016-11-29 16:53:05] 929*2^1447312-1 is not prime. Res64: 1F202ECCA056AF87 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:35:28] 747*2^1447313-1 is not prime. Res64: 6C91DBBADCF129D3 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:35:32] 771*2^1447313-1 is not prime. Res64: C9520AB69CBC4BA0 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:35:36] 775*2^1447313-1 is not prime. Res64: 758D735FE89D7437 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:35:37] 897*2^1447313-1 is not prime. Res64: 83F2F583B6348995 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:35:41] 925*2^1447313-1 is not prime. Res64: 12113F75330C489C Time : 0.0 sec. user=mdettweiler [2016-11-29 17:40:10] 937*2^1447313-1 is not prime. Res64: 8EF9A4E5B5BB6AB9 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:40:16] 967*2^1447313-1 is not prime. Res64: 9F87F47B51B43691 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:40:22] 723*2^1447314-1 is not prime. Res64: 75E44AE88AF3CE61 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:40:28] 725*2^1447314-1 is not prime. Res64: 2AC0604ECCDB3760 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:40:28] 741*2^1447314-1 is not prime. Res64: 38A013909BAA0BBA Time : 0.0 sec. user=mdettweiler [2016-11-29 17:43:31] 747*2^1447314-1 is not prime. Res64: 48A337C78B877CE0 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:43:32] 815*2^1447314-1 is not prime. Res64: 17A50E7EB3592126 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:43:32] 945*2^1447314-1 is not prime. Res64: 0C47BCA21E6E1103 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:43:32] 649*2^1447315-1 is not prime. Res64: 15E8A5340A116341 Time : 0.0 sec. user=mdettweiler [2016-11-29 17:43:32] 715*2^1447315-1 is not prime. Res64: 51D4BC648EE28817 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:22:16] 735*2^1447315-1 is not prime. Res64: C543BBE9AD00C876 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:22:16] 853*2^1447315-1 is not prime. Res64: 2E29EAF285BB41F4 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:22:17] 961*2^1447315-1 is not prime. Res64: 598B2F7A7098E748 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:22:17] 603*2^1447316-1 is not prime. Res64: E1BE97C53BFBC9A5 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:22:17] 689*2^1447316-1 is not prime. Res64: D986DEF557BD2997 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:27:14] 767*2^1447316-1 is not prime. Res64: 7E00CC9A5E5D3F70 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:27:14] 825*2^1447316-1 is not prime. Res64: 52EF5391FFCAEBB9 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:27:15] 935*2^1447316-1 is not prime. Res64: AD04D22886C275C8 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:27:15] 983*2^1447316-1 is not prime. Res64: BBAEA3805A4F5F36 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:27:15] 621*2^1447317-1 is not prime. Res64: 75AF0512B9E8A183 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:30:09] 639*2^1447317-1 is not prime. Res64: 0F79807E8DD7B462 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:30:09] 649*2^1447317-1 is not prime. Res64: 74D5CA2877E88334 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:30:10] 651*2^1447317-1 is not prime. Res64: 6B802D13A7BF56A0 Time : 0.0 sec. user=mdettweiler [2016-11-29 18:30:10] 681*2^1447317-1 is not prime. Res64: 1D51FEC2C85452AB Time : 0.0 sec. user=mdettweiler [2016-11-29 18:30:10] 711*2^1447317-1 is not prime. Res64: 949B4FB3D0402774 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:08:23] 805*2^1447317-1 is not prime. Res64: 4FA4D8F2F4165057 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:08:23] 837*2^1447317-1 is not prime. Res64: 0A8DF8FDB22E56B8 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:08:24] 885*2^1447317-1 is not prime. Res64: 738B440F125422BE Time : 0.0 sec. user=mdettweiler [2016-11-29 19:08:24] 635*2^1447318-1 is not prime. Res64: B145DA62B6CF02AB Time : 0.0 sec. user=mdettweiler [2016-11-29 19:08:24] 897*2^1447318-1 is not prime. Res64: B2ABC72F47FD93F6 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:13:50] 945*2^1447318-1 is not prime. Res64: FCCDDDE8D357DD9B Time : 0.0 sec. user=mdettweiler [2016-11-29 19:13:50] 645*2^1447319-1 is not prime. Res64: CDA8451464785D2D Time : 0.0 sec. user=mdettweiler [2016-11-29 19:13:51] 703*2^1447319-1 is not prime. Res64: D511D0CB7176BB20 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:13:51] 705*2^1447319-1 is not prime. Res64: 5E61A1ED21561597 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:13:52] 745*2^1447319-1 is not prime. Res64: A9507FCA885CDC47 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:16:45] 771*2^1447319-1 is not prime. Res64: BEFB036680E97A64 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:16:49] 825*2^1447319-1 is not prime. Res64: FE84DD5D20AAE71F Time : 0.0 sec. user=mdettweiler [2016-11-29 19:16:54] 855*2^1447319-1 is not prime. Res64: 58612CECB43DABE5 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:16:58] 943*2^1447319-1 is not prime. Res64: 7D6A05714E63FE21 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:17:02] 993*2^1447319-1 is not prime. Res64: 5A305AD3CEB72FED Time : 0.0 sec. user=mdettweiler [2016-11-29 19:18:05] 925*2^1447309-1 is not prime. Res64: 51C0FE562853E35E Time : 0.0 sec. user=mdettweiler [2016-11-29 19:18:09] 945*2^1447309-1 is not prime. Res64: 8717B4B3F405E461 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:18:13] 951*2^1447309-1 is not prime. Res64: E67A2C1BA2D2FD33 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:18:17] 997*2^1447309-1 is not prime. Res64: 994C47FDB62D336F Time : 0.0 sec. user=mdettweiler [2016-11-29 19:55:00] 635*2^1447320-1 is not prime. Res64: 37D567A4D61166B4 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:55:06] 693*2^1447320-1 is not prime. Res64: 345655D38DAD15B1 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:55:12] 777*2^1447320-1 is not prime. Res64: 5CC8D3F40554E185 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:55:18] 789*2^1447320-1 is not prime. Res64: 2EEB3C16D5E389A1 Time : 0.0 sec. user=mdettweiler [2016-11-29 19:55:24] 795*2^1447320-1 is not prime. Res64: FE8AE99ADC70638B Time : 0.0 sec. user=mdettweiler [2016-11-29 20:01:05] 797*2^1447320-1 is not prime. Res64: 600C12D3C99CFEFA Time : 0.0 sec. user=mdettweiler [2016-11-29 20:01:10] 927*2^1447320-1 is not prime. Res64: 9996853A42D2CE85 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:01:16] 959*2^1447320-1 is not prime. Res64: 7F066CBB6BBE97FF Time : 0.0 sec. user=mdettweiler [2016-11-29 20:01:17] 679*2^1447321-1 is not prime. Res64: 5DE0431C147DABED Time : 0.0 sec. user=mdettweiler [2016-11-29 20:01:23] 777*2^1447321-1 is not prime. Res64: 0041EF41D697A2E1 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:03:40] 829*2^1447321-1 is not prime. Res64: A7DC20E1A969E948 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:03:45] 855*2^1447321-1 is not prime. Res64: 0E4F22DC4F381E4F Time : 0.0 sec. user=mdettweiler [2016-11-29 20:03:49] 871*2^1447321-1 is not prime. Res64: 3D6D1AB9FE33F854 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:03:54] 901*2^1447321-1 is not prime. Res64: B6C121CA21F54757 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:03:59] 939*2^1447321-1 is not prime. Res64: ECA3FBE8A20510A3 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:05:05] 735*2^1447322-1 is not prime. Res64: 9DA4C68482B9DF18 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:05:09] 741*2^1447322-1 is not prime. Res64: 79C6D9D8E28508B3 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:05:10] 825*2^1447322-1 is not prime. Res64: 53D65652F5EE6C28 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:05:15] 857*2^1447322-1 is not prime. Res64: 15CE1422B06E20EF Time : 0.0 sec. user=mdettweiler [2016-11-29 20:05:20] 903*2^1447322-1 is not prime. Res64: 3BC85C1A1E2B33A6 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:41:49] 705*2^1447323-1 is not prime. Res64: 2817CE6AA9A03E01 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:41:55] 829*2^1447323-1 is not prime. Res64: 55BAD1AD8C9A8F62 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:42:01] 859*2^1447323-1 is not prime. Res64: 1429B62D68BFFF6C Time : 0.0 sec. user=mdettweiler [2016-11-29 20:42:07] 891*2^1447323-1 is not prime. Res64: BA90F4589419F932 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:42:13] 921*2^1447323-1 is not prime. Res64: 28851009D519488A Time : 0.0 sec. user=mdettweiler [2016-11-29 20:48:24] 955*2^1447323-1 is not prime. Res64: F4434D75F0F8EE54 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:48:24] 985*2^1447323-1 is not prime. Res64: 8A4BFF5186D7D4DE Time : 0.0 sec. user=mdettweiler [2016-11-29 20:48:24] 695*2^1447324-1 is not prime. Res64: 6F4C6B404106B4CD Time : 0.0 sec. user=mdettweiler [2016-11-29 20:48:24] 827*2^1447324-1 is not prime. Res64: E3E4215E2E326A36 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:48:25] 833*2^1447324-1 is not prime. Res64: C45FE20475BAF54F Time : 0.0 sec. user=mdettweiler [2016-11-29 20:50:42] 887*2^1447324-1 is not prime. Res64: 2C84743D16BB2431 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:50:43] 903*2^1447324-1 is not prime. Res64: 60946095184B6736 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:50:43] 987*2^1447324-1 is not prime. Res64: D90C8304D7EC4B11 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:50:43] 699*2^1447325-1 is not prime. Res64: 27D315A63C0A4081 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:50:44] 711*2^1447325-1 is not prime. Res64: 7229C6D51AA611AE Time : 0.0 sec. user=mdettweiler [2016-11-29 20:52:27] 717*2^1447325-1 is not prime. Res64: 787D57996FDBB60D Time : 0.0 sec. user=mdettweiler [2016-11-29 20:52:27] 847*2^1447325-1 is not prime. Res64: A10CEA758B137F94 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:52:28] 907*2^1447325-1 is not prime. Res64: 76ABD87F12405B20 Time : 0.0 sec. user=mdettweiler [2016-11-29 20:52:28] 969*2^1447325-1 is not prime. Res64: 2CF09608592DFE9A Time : 0.0 sec. user=mdettweiler [2016-11-29 20:52:28] 695*2^1447326-1 is not prime. Res64: C8BA158D5185D43C Time : 0.0 sec. user=mdettweiler [2016-11-29 21:40:54] 717*2^1447326-1 is not prime. Res64: 761199FA6EEFE6A7 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:40:55] 737*2^1447326-1 is not prime. Res64: BF3DB711108AA27A Time : 0.0 sec. user=mdettweiler [2016-11-29 21:40:55] 741*2^1447326-1 is not prime. Res64: BB8CC889DA58ED41 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:40:55] 851*2^1447326-1 is not prime. Res64: E959198223C1E2AE Time : 0.0 sec. user=mdettweiler [2016-11-29 21:40:56] 903*2^1447326-1 is not prime. Res64: 98B0F3A224D6210E Time : 0.0 sec. user=mdettweiler [2016-11-29 21:48:26] 975*2^1447326-1 is not prime. Res64: 797B4D661A4360DB Time : 0.0 sec. user=mdettweiler [2016-11-29 21:48:26] 625*2^1447327-1 is not prime. Res64: 9F3659785EE5F785 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:48:27] 805*2^1447327-1 is not prime. Res64: A277B9F275EC4DB5 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:48:27] 841*2^1447327-1 is not prime. Res64: 3BC5F36E6911530C Time : 0.0 sec. user=mdettweiler [2016-11-29 21:48:28] 891*2^1447327-1 is not prime. Res64: A80DE28D452BD3DC Time : 0.0 sec. user=mdettweiler [2016-11-29 21:49:54] 615*2^1447328-1 is not prime. Res64: 9C15C80002D823AB Time : 0.0 sec. user=mdettweiler [2016-11-29 21:49:58] 687*2^1447328-1 is not prime. Res64: 31968BCA660BC990 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:50:02] 755*2^1447328-1 is not prime. Res64: 976D3127785F4960 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:50:06] 945*2^1447328-1 is not prime. Res64: EE2CFB85F282B988 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:50:10] 609*2^1447329-1 is not prime. Res64: 929231ABFD7D7114 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:52:17] 681*2^1447329-1 is not prime. Res64: 18A8CCC2C4429DEA Time : 0.0 sec. user=mdettweiler [2016-11-29 21:52:21] 787*2^1447329-1 is not prime. Res64: 883248A0E9912455 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:52:25] 657*2^1447330-1 is not prime. Res64: C381C0D285135BA9 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:52:29] 741*2^1447330-1 is not prime. Res64: 09A7A56D62BA1E75 Time : 0.0 sec. user=mdettweiler [2016-11-29 21:52:33] 813*2^1447330-1 is not prime. Res64: E5DF513C01B82E31 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:37:03] 867*2^1447330-1 is not prime. Res64: 454FA5FD6CE5810F Time : 0.0 sec. user=mdettweiler [2016-11-29 22:37:09] 971*2^1447330-1 is not prime. Res64: C76D6EA60BD96DA3 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:37:15] 603*2^1447331-1 is not prime. Res64: B1959BF39303A575 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:37:20] 619*2^1447331-1 is not prime. Res64: 1579061DDA1C7328 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:37:24] 631*2^1447331-1 is not prime. Res64: 1AF0A4073D8A1B73 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:42:37] 909*2^1447331-1 is not prime. Res64: 8663F914FD51F605 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:42:41] 913*2^1447331-1 is not prime. Res64: 674B4CD6A294CFBB Time : 0.0 sec. user=mdettweiler [2016-11-29 22:42:45] 939*2^1447331-1 is not prime. Res64: 8A5A654C13DF4017 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:42:49] 669*2^1447332-1 is not prime. Res64: 5ED598E57C87C332 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:42:53] 737*2^1447332-1 is not prime. Res64: 127F8C551C2D3095 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:45:02] 797*2^1447332-1 is not prime. Res64: 0B5BF844FEEC4D4E Time : 0.0 sec. user=mdettweiler [2016-11-29 22:45:02] 639*2^1447333-1 is not prime. Res64: F8F16760724D57F0 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:45:03] 729*2^1447333-1 is not prime. Res64: 92EFFB7FAB1EBA1D Time : 0.0 sec. user=mdettweiler [2016-11-29 22:45:03] 751*2^1447333-1 is not prime. Res64: BD5A5C5D6E828659 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:45:03] 769*2^1447333-1 is not prime. Res64: C2A025C50619BD9D Time : 0.0 sec. user=mdettweiler [2016-11-29 22:47:46] 877*2^1447333-1 is not prime. Res64: BE1C914538BEE944 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:47:46] 979*2^1447333-1 is not prime. Res64: 9728DE90F9A8A54A Time : 0.0 sec. user=mdettweiler [2016-11-29 22:47:47] 791*2^1447334-1 is not prime. Res64: 2206059DCEBCD377 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:47:47] 827*2^1447334-1 is not prime. Res64: C74FE792ABC095F0 Time : 0.0 sec. user=mdettweiler [2016-11-29 22:47:48] 887*2^1447334-1 is not prime. Res64: 88157ED3DBF70E1F Time : 0.0 sec. user=mdettweiler [2016-11-29 23:22:25] 921*2^1447334-1 is not prime. Res64: ADEC77667B28C4FB Time : 0.0 sec. user=mdettweiler [2016-11-29 23:22:32] 995*2^1447334-1 is not prime. Res64: 81E4B6150E35535A Time : 0.0 sec. user=mdettweiler [2016-11-29 23:22:38] 709*2^1447335-1 is not prime. Res64: 33CF98F5BAB2A6BE Time : 0.0 sec. user=mdettweiler [2016-11-29 23:22:44] 735*2^1447335-1 is not prime. Res64: 9EA9951A11863128 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:22:50] 719*2^1447336-1 is not prime. Res64: E4D1F366CF4D398D Time : 0.0 sec. user=mdettweiler [2016-11-29 23:27:52] 765*2^1447336-1 is not prime. Res64: C53530C1C975DDF6 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:27:59] 779*2^1447336-1 is not prime. Res64: 55D1A9AD42BB6377 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:28:04] 843*2^1447336-1 is not prime. Res64: 7ED4C8EAF04241A4 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:28:10] 903*2^1447336-1 is not prime. Res64: AE16EC0929326BCA Time : 0.0 sec. user=mdettweiler [2016-11-29 23:28:15] 917*2^1447336-1 is not prime. Res64: 3FD1472C59F36142 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:29:54] 965*2^1447336-1 is not prime. Res64: AC3A7B8F9250416F Time : 0.0 sec. user=mdettweiler [2016-11-29 23:29:55] 989*2^1447336-1 is not prime. Res64: EA41BF1D135D6C01 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:29:55] 607*2^1447337-1 is not prime. Res64: 0E857E0F23A322EA Time : 0.0 sec. user=mdettweiler [2016-11-29 23:29:56] 727*2^1447337-1 is not prime. Res64: FA1B1D9C12CE74F3 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:29:56] 735*2^1447337-1 is not prime. Res64: 0A1CC15CE311AFD6 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:32:26] 747*2^1447337-1 is not prime. Res64: 6E70A31E6D088EC2 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:32:26] 777*2^1447337-1 is not prime. Res64: CDE773E5FEE9BA80 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:32:27] 781*2^1447337-1 is not prime. Res64: 316152FDD94B1F1C Time : 0.0 sec. user=mdettweiler [2016-11-29 23:32:27] 819*2^1447337-1 is not prime. Res64: 1B8441F4D614DAE5 Time : 0.0 sec. user=mdettweiler [2016-11-29 23:32:28] 829*2^1447337-1 is not prime. Res64: 02C59165B820610A Time : 0.0 sec.