user=mdettweiler [2016-09-20 00:16:34] 895*2^1440235-1 is not prime. Res64: 9C4CF0434FD0E717 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:16:40] 999*2^1440235-1 is not prime. Res64: 820018CB098856FB Time : 0.0 sec. user=mdettweiler [2016-09-20 00:16:41] 657*2^1440236-1 is not prime. Res64: F1D1CF82AF10AA69 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:16:42] 719*2^1440236-1 is not prime. Res64: 4F6E106DF364879A Time : 0.0 sec. user=mdettweiler [2016-09-20 00:16:42] 743*2^1440236-1 is not prime. Res64: 0B7D81DC6A7002BF Time : 0.0 sec. user=mdettweiler [2016-09-20 00:20:38] 759*2^1440236-1 is not prime. Res64: D5649F07362D3A09 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:20:38] 773*2^1440236-1 is not prime. Res64: 221D57084B438FAB Time : 0.0 sec. user=mdettweiler [2016-09-20 00:20:38] 789*2^1440236-1 is not prime. Res64: E7A7869060CBCDE4 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:20:38] 869*2^1440236-1 is not prime. Res64: 72C7BF12175F8D81 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:20:39] 893*2^1440236-1 is not prime. Res64: B0DFC33B98BDD68D Time : 0.0 sec. user=mdettweiler [2016-09-20 00:35:05] 909*2^1440236-1 is not prime. Res64: CFB22097BCCC471E Time : 0.0 sec. user=mdettweiler [2016-09-20 00:35:05] 625*2^1440237-1 is not prime. Res64: 1B2A82C95AB37C19 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:35:05] 741*2^1440237-1 is not prime. Res64: 12F4B4C7E46E3D33 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:35:05] 777*2^1440237-1 is not prime. Res64: 1E9FB0DF37C84DB0 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:35:06] 825*2^1440237-1 is not prime. Res64: D5EAC114B284F356 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:40:25] 865*2^1440237-1 is not prime. Res64: 8BBAE788AFEC8F94 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:40:26] 945*2^1440237-1 is not prime. Res64: 3173237AD004E073 Time : 0.0 sec. user=mdettweiler [2016-09-20 00:40:26] 955*2^1440237-1 is not prime. Res64: D31A1E3430D2224D Time : 0.0 sec. user=mdettweiler [2016-09-20 00:40:26] 997*2^1440237-1 is not prime. Res64: A91115B4C5762BED Time : 0.0 sec. user=mdettweiler [2016-09-20 00:40:26] 605*2^1440238-1 is not prime. Res64: 0F04326FF835065C Time : 0.0 sec. user=mdettweiler [2016-09-20 01:05:22] 623*2^1440238-1 is not prime. Res64: C99390A57F7D6D89 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:05:25] 657*2^1440238-1 is not prime. Res64: 62A4887404CF7916 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:05:28] 687*2^1440238-1 is not prime. Res64: 21DACCE2EF7D6DDB Time : 0.0 sec. user=mdettweiler [2016-09-20 01:05:29] 713*2^1440238-1 is not prime. Res64: 2CD6A1A8EF4F0F10 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:05:31] 731*2^1440238-1 is not prime. Res64: 35396216D0390AA0 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:08:33] 777*2^1440238-1 is not prime. Res64: 1FEE415D4BCE9983 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:08:34] 825*2^1440238-1 is not prime. Res64: 4C95D18070D57FA6 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:08:35] 845*2^1440238-1 is not prime. Res64: 7CD19544F40A79BF Time : 0.0 sec. user=mdettweiler [2016-09-20 01:08:36] 887*2^1440238-1 is not prime. Res64: A1EDC0A255C45F97 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:08:36] 1001*2^1440238-1 is not prime. Res64: 5632BD714B763B74 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:21:04] 601*2^1440239-1 is not prime. Res64: CBB2A8F9A2F80A1C Time : 0.0 sec. user=mdettweiler [2016-09-20 01:21:04] 663*2^1440239-1 is not prime. Res64: 611F445FF09AE622 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:21:04] 693*2^1440239-1 is not prime. Res64: F376350B00432857 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:21:05] 735*2^1440239-1 is not prime. Res64: AD5FC5666CE18088 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:21:05] 771*2^1440239-1 is not prime. Res64: D8B58C26BBF531A2 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:26:13] 775*2^1440239-1 is not prime. Res64: F2E472731D493726 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:26:14] 853*2^1440239-1 is not prime. Res64: A0D4E6D2C2758B98 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:26:15] 895*2^1440239-1 is not prime. Res64: 3D318D781A3FDE31 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:26:16] 635*2^1440240-1 is not prime. Res64: 50981D90C8C58906 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:26:17] 707*2^1440240-1 is not prime. Res64: E31D7566B68A9090 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:50:34] 857*2^1440240-1 is not prime. Res64: 7096B5D8398C8576 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:50:35] 905*2^1440240-1 is not prime. Res64: 70B8F5220A762833 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:50:36] 717*2^1440241-1 is not prime. Res64: EF67BAED1FAF1448 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:50:36] 769*2^1440241-1 is not prime. Res64: 980F58096C0264CE Time : 0.0 sec. user=mdettweiler [2016-09-20 01:50:37] 777*2^1440241-1 is not prime. Res64: 128F9C568370FC59 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:53:30] 799*2^1440241-1 is not prime. Res64: 9233101365B75D89 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:53:30] 861*2^1440241-1 is not prime. Res64: 9C53026107924E60 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:53:31] 871*2^1440241-1 is not prime. Res64: 605F743417E6ADDA Time : 0.0 sec. user=mdettweiler [2016-09-20 01:53:31] 877*2^1440241-1 is not prime. Res64: 6BEFF46060A15E30 Time : 0.0 sec. user=mdettweiler [2016-09-20 01:53:32] 939*2^1440241-1 is not prime. Res64: 57C25072972BCDE6 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:05:55] 671*2^1440242-1 is not prime. Res64: 5382893CE50D235B Time : 0.0 sec. user=mdettweiler [2016-09-20 02:05:56] 675*2^1440242-1 is not prime. Res64: 87B229EC6DFEAD79 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:05:58] 731*2^1440242-1 is not prime. Res64: 00C566B9BFD54DBE Time : 0.0 sec. user=mdettweiler [2016-09-20 02:06:00] 995*2^1440242-1 is not prime. Res64: EA7A50D78250AA0B Time : 0.0 sec. user=mdettweiler [2016-09-20 02:06:00] 669*2^1440243-1 is not prime. Res64: 7B6B75A5B84E51D4 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:11:20] 709*2^1440243-1 is not prime. Res64: 75F50486F9460CFB Time : 0.0 sec. user=mdettweiler [2016-09-20 02:11:21] 769*2^1440243-1 is not prime. Res64: 4C4A8C44913828A7 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:11:22] 879*2^1440243-1 is not prime. Res64: D310A66445EC0E19 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:11:22] 961*2^1440243-1 is not prime. Res64: 1FC5D646793ED317 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:11:23] 985*2^1440243-1 is not prime. Res64: 7861942C6E23AE6A Time : 0.0 sec. user=mdettweiler [2016-09-20 02:35:59] 639*2^1440244-1 is not prime. Res64: ED3A7DB3E8AE6DCB Time : 0.0 sec. user=mdettweiler [2016-09-20 02:35:59] 705*2^1440244-1 is not prime. Res64: 2F583FBCF31502A3 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:36:00] 825*2^1440244-1 is not prime. Res64: 82BAF72293EDF292 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:36:00] 855*2^1440244-1 is not prime. Res64: 8F513096737C38ED Time : 0.0 sec. user=mdettweiler [2016-09-20 02:36:01] 909*2^1440244-1 is not prime. Res64: B357A144A107940F Time : 0.0 sec. user=mdettweiler [2016-09-20 02:39:04] 915*2^1440244-1 is not prime. Res64: 613579C8238D74D2 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:39:04] 927*2^1440244-1 is not prime. Res64: 4F7A91458240CAFF Time : 0.0 sec. user=mdettweiler [2016-09-20 02:39:04] 651*2^1440245-1 is not prime. Res64: F88377D2060173CD Time : 0.0 sec. user=mdettweiler [2016-09-20 02:39:05] 655*2^1440245-1 is not prime. Res64: 2E709AF767151A9D Time : 0.0 sec. user=mdettweiler [2016-09-20 02:39:05] 697*2^1440245-1 is not prime. Res64: 60CAC5CB619859F7 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:51:36] 789*2^1440245-1 is not prime. Res64: 95BBDE1BBCFBA289 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:51:36] 847*2^1440245-1 is not prime. Res64: E75B9B47C7ABF623 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:51:36] 885*2^1440245-1 is not prime. Res64: 24261EC99253CF3D Time : 0.0 sec. user=mdettweiler [2016-09-20 02:51:37] 939*2^1440245-1 is not prime. Res64: 7F2AC104FCDB0A03 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:51:37] 987*2^1440245-1 is not prime. Res64: 72ECD19B98C966BA Time : 0.0 sec. user=mdettweiler [2016-09-20 02:56:45] 671*2^1440246-1 is not prime. Res64: 986B49AE3599557A Time : 0.0 sec. user=mdettweiler [2016-09-20 02:56:46] 707*2^1440246-1 is not prime. Res64: FD3823724FA56EAF Time : 0.0 sec. user=mdettweiler [2016-09-20 02:56:46] 891*2^1440246-1 is not prime. Res64: 4544ED46362DFCB5 Time : 0.0 sec. user=mdettweiler [2016-09-20 02:56:46] 619*2^1440247-1 is not prime. Res64: 492EDF1CD14A812C Time : 0.0 sec. user=mdettweiler [2016-09-20 02:56:47] 639*2^1440247-1 is not prime. Res64: 99FF4E5FF13D9F46 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:21:03] 645*2^1440247-1 is not prime. Res64: 8CFB68DBD6659203 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:21:04] 649*2^1440247-1 is not prime. Res64: 90F301553B39090E Time : 0.0 sec. user=mdettweiler [2016-09-20 03:21:04] 663*2^1440247-1 is not prime. Res64: E01F7606D0C65DE9 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:21:05] 673*2^1440247-1 is not prime. Res64: E67B988547DBA3DB Time : 0.0 sec. user=mdettweiler [2016-09-20 03:21:05] 861*2^1440247-1 is not prime. Res64: A91690E78F9CCA41 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:24:06] 939*2^1440247-1 is not prime. Res64: B34CB07DCCCA35AE Time : 0.0 sec. user=mdettweiler [2016-09-20 03:24:07] 603*2^1440248-1 is not prime. Res64: 246F6AFFF14CC781 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:24:07] 687*2^1440248-1 is not prime. Res64: 6899D04FADBAFE55 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:24:07] 827*2^1440248-1 is not prime. Res64: FF8A36A511D81A74 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:24:08] 879*2^1440248-1 is not prime. Res64: 492EDFBA6454E501 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:36:32] 899*2^1440248-1 is not prime. Res64: A423A3557E6EEAF9 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:36:33] 935*2^1440248-1 is not prime. Res64: CEFB00C28ED87DE7 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:36:34] 625*2^1440249-1 is not prime. Res64: D72A4AC273B0E0B5 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:36:35] 639*2^1440249-1 is not prime. Res64: 749292B6D1F22D88 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:36:36] 735*2^1440249-1 is not prime. Res64: 907CF6F08B1758AB Time : 0.0 sec. user=mdettweiler [2016-09-20 03:41:50] 741*2^1440249-1 is not prime. Res64: 9C729BAA41B18B00 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:41:52] 751*2^1440249-1 is not prime. Res64: C86A432A3CFCC211 Time : 0.0 sec. user=mdettweiler [2016-09-20 03:41:54] 829*2^1440249-1 is not prime. Res64: 04DA35E48F8EBC3B Time : 0.0 sec. user=mdettweiler [2016-09-20 03:41:55] 831*2^1440249-1 is not prime. Res64: A5552377DE9DBB1A Time : 0.0 sec. user=mdettweiler [2016-09-20 03:41:57] 969*2^1440249-1 is not prime. Res64: B7D3E8090BFC3740 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:06:05] 825*2^1440250-1 is not prime. Res64: 8FF8F5159A153389 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:06:06] 833*2^1440250-1 is not prime. Res64: A847CEF0EBD442A7 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:06:07] 885*2^1440250-1 is not prime. Res64: 3D0C9B28104475B9 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:06:08] 887*2^1440250-1 is not prime. Res64: BBDC5A28FD1FD75B Time : 0.0 sec. user=mdettweiler [2016-09-20 04:06:09] 1001*2^1440250-1 is not prime. Res64: 2E192E05338A5E01 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:08:56] 825*2^1440251-1 is not prime. Res64: 3C060D8DC410EC58 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:08:57] 955*2^1440251-1 is not prime. Res64: 012C33991F96F916 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:08:57] 979*2^1440251-1 is not prime. Res64: 9A4F7F9FDB3922DF Time : 0.0 sec. user=mdettweiler [2016-09-20 04:08:58] 627*2^1440252-1 is not prime. Res64: 3274827457528305 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:08:58] 689*2^1440252-1 is not prime. Res64: FCAA63C37E12DF60 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:21:36] 843*2^1440252-1 is not prime. Res64: A209FD1DEDC9523F Time : 0.0 sec. user=mdettweiler [2016-09-20 04:21:37] 887*2^1440252-1 is not prime. Res64: F1A38B394ECAB389 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:21:37] 893*2^1440252-1 is not prime. Res64: 78D6BE35BF5130F5 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:21:38] 899*2^1440252-1 is not prime. Res64: 2C5E7CBC03553B1F Time : 0.0 sec. user=mdettweiler [2016-09-20 04:21:39] 923*2^1440252-1 is not prime. Res64: 2C78F5BC4746FDE2 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:28:06] 983*2^1440252-1 is not prime. Res64: 1281495ED6B75E8A Time : 0.0 sec. user=mdettweiler [2016-09-20 04:28:06] 681*2^1440253-1 is not prime. Res64: DAF9A01777A112FE Time : 0.0 sec. user=mdettweiler [2016-09-20 04:28:06] 721*2^1440253-1 is not prime. Res64: F3A4725717FD983B Time : 0.0 sec. user=mdettweiler [2016-09-20 04:28:06] 847*2^1440253-1 is not prime. Res64: 478A8FB2CA8353DE Time : 0.0 sec. user=mdettweiler [2016-09-20 04:28:07] 849*2^1440253-1 is not prime. Res64: 6BCA61DF39769B6D Time : 0.0 sec. user=mdettweiler [2016-09-20 04:52:56] 925*2^1440253-1 is not prime. Res64: 8B8F49650A87500B Time : 0.0 sec. user=mdettweiler [2016-09-20 04:52:56] 967*2^1440253-1 is not prime. Res64: E425D9304714160E Time : 0.0 sec. user=mdettweiler [2016-09-20 04:52:56] 987*2^1440253-1 is not prime. Res64: 639D725C9017C2B0 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:52:57] 999*2^1440253-1 is not prime. Res64: B8EBEC39B2458805 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:52:57] 605*2^1440254-1 is not prime. Res64: 0EE70FB5CED3A116 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:55:16] 663*2^1440254-1 is not prime. Res64: EE01C0840C168507 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:55:16] 665*2^1440254-1 is not prime. Res64: E96EB53C763F137F Time : 0.0 sec. user=mdettweiler [2016-09-20 04:55:17] 831*2^1440254-1 is not prime. Res64: 05096C020ECC64F4 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:55:17] 885*2^1440254-1 is not prime. Res64: 2D08635A26E95C37 Time : 0.0 sec. user=mdettweiler [2016-09-20 04:55:17] 983*2^1440254-1 is not prime. Res64: B41A6DAA212BF861 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:07:45] 609*2^1440255-1 is not prime. Res64: 9BC57BA3FAFB1F9C Time : 0.0 sec. user=mdettweiler [2016-09-20 05:07:45] 669*2^1440255-1 is not prime. Res64: 82FFAAB9D8EFD2B5 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:07:46] 823*2^1440255-1 is not prime. Res64: 88B27EEF0DE7AD84 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:07:46] 853*2^1440255-1 is not prime. Res64: 55FB106387B3248E Time : 0.0 sec. user=mdettweiler [2016-09-20 05:07:47] 891*2^1440255-1 is not prime. Res64: 0F38234D2D97208B Time : 0.0 sec. user=mdettweiler [2016-09-20 05:13:31] 909*2^1440255-1 is not prime. Res64: 16E40081919217E3 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:13:31] 919*2^1440255-1 is not prime. Res64: 152E60632C68DC22 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:13:31] 951*2^1440255-1 is not prime. Res64: B5C08A9088CC7257 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:13:32] 991*2^1440255-1 is not prime. Res64: 9E5F39C65D68E3A3 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:13:32] 623*2^1440256-1 is not prime. Res64: 2B9FDB301BB06104 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:38:04] 645*2^1440256-1 is not prime. Res64: EBAF8725C3B2BEA4 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:38:05] 773*2^1440256-1 is not prime. Res64: 7E18BACBE095C0F1 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:38:05] 803*2^1440256-1 is not prime. Res64: 0BEA873C24D27BDA Time : 0.0 sec. user=mdettweiler [2016-09-20 05:38:05] 843*2^1440256-1 is not prime. Res64: 14D99D982A3E437C Time : 0.0 sec. user=mdettweiler [2016-09-20 05:38:06] 845*2^1440256-1 is not prime. Res64: 996169BF045C96A1 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:40:15] 857*2^1440256-1 is not prime. Res64: 0DF8BB2AA9226ECB Time : 0.0 sec. user=mdettweiler [2016-09-20 05:40:15] 905*2^1440256-1 is not prime. Res64: 94646661594BF3E1 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:40:15] 993*2^1440256-1 is not prime. Res64: BFC82E991727BC23 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:40:16] 669*2^1440257-1 is not prime. Res64: 31944420DAE38A8D Time : 0.0 sec. user=mdettweiler [2016-09-20 05:40:16] 675*2^1440257-1 is not prime. Res64: 64C5A4175FEB3523 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:52:37] 697*2^1440257-1 is not prime. Res64: 3F418F744F5C1B18 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:52:37] 727*2^1440257-1 is not prime. Res64: 8BB385603E334675 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:52:38] 747*2^1440257-1 is not prime. Res64: BA74BE40B7C7B994 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:52:38] 831*2^1440257-1 is not prime. Res64: 44AFF297E9566FE2 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:52:38] 879*2^1440257-1 is not prime. Res64: 96A7CBF30F50F1CB Time : 0.0 sec. user=mdettweiler [2016-09-20 05:58:31] 889*2^1440257-1 is not prime. Res64: 30E5A561B6745022 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:58:32] 997*2^1440257-1 is not prime. Res64: 223FC9CB6643E59D Time : 0.0 sec. user=mdettweiler [2016-09-20 05:58:32] 627*2^1440258-1 is not prime. Res64: A9A8D3192D338278 Time : 0.0 sec. user=mdettweiler [2016-09-20 05:58:33] 647*2^1440258-1 is not prime. Res64: CC43A0B1C5A51C9E Time : 0.0 sec. user=mdettweiler [2016-09-20 05:58:33] 711*2^1440258-1 is not prime. Res64: CB75C591D1AE2369 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:22:55] 773*2^1440258-1 is not prime. Res64: 4C96AC312A19A071 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:22:56] 777*2^1440258-1 is not prime. Res64: 9A28369B37682EB7 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:22:56] 891*2^1440258-1 is not prime. Res64: 2E01DC68FAE79595 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:22:56] 945*2^1440258-1 is not prime. Res64: 8A4718965BB49358 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:22:57] 601*2^1440259-1 is not prime. Res64: F1C70CD9B0C75456 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:25:03] 603*2^1440259-1 is not prime. Res64: 2F2244804F16C954 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:25:04] 631*2^1440259-1 is not prime. Res64: 31B3D992B5A2C285 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:25:04] 759*2^1440259-1 is not prime. Res64: 2BE48C2917EF382B Time : 0.0 sec. user=mdettweiler [2016-09-20 06:25:05] 829*2^1440259-1 is not prime. Res64: 3486F5434D618611 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:25:05] 835*2^1440259-1 is not prime. Res64: 95CAC28C75C09EED Time : 0.0 sec. user=mdettweiler [2016-09-20 06:37:30] 891*2^1440259-1 is not prime. Res64: 11C690DE06D3A310 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:37:30] 909*2^1440259-1 is not prime. Res64: 58EE676106E11C47 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:37:31] 939*2^1440259-1 is not prime. Res64: 186DD7743C9AFBB6 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:37:31] 635*2^1440260-1 is not prime. Res64: 0AD452E24E1B56F8 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:37:32] 665*2^1440260-1 is not prime. Res64: 7923CF1B680AA3E1 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:43:25] 935*2^1440260-1 is not prime. Res64: AE448924F7FD89D7 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:43:25] 669*2^1440261-1 is not prime. Res64: A6A0A645307BC2EC Time : 0.0 sec. user=mdettweiler [2016-09-20 06:43:26] 681*2^1440261-1 is not prime. Res64: D1ED7BEAA22F02F4 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:43:26] 745*2^1440261-1 is not prime. Res64: 916EFF7F39055479 Time : 0.0 sec. user=mdettweiler [2016-09-20 06:43:27] 747*2^1440261-1 is not prime. Res64: 59C0A93486C28455 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:07:54] 867*2^1440261-1 is not prime. Res64: 292C29F5B14DE51A Time : 0.0 sec. user=mdettweiler [2016-09-20 07:07:56] 999*2^1440261-1 is not prime. Res64: BB2A72DCA7B0E139 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:07:57] 831*2^1440262-1 is not prime. Res64: A4B79003295D6AF8 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:07:59] 915*2^1440262-1 is not prime. Res64: D21ACE1F43ADCCD3 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:08:00] 823*2^1440263-1 is not prime. Res64: 640DA56E464BB6C5 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:09:56] 859*2^1440263-1 is not prime. Res64: 933629B8A1092890 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:09:56] 683*2^1440264-1 is not prime. Res64: C1DEC1A53884982B Time : 0.0 sec. user=mdettweiler [2016-09-20 07:09:57] 737*2^1440264-1 is not prime. Res64: 0B80F3D8FA7349D7 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:09:57] 759*2^1440264-1 is not prime. Res64: 53E57B551E2CB6D4 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:09:58] 803*2^1440264-1 is not prime. Res64: B94561B24AE4CF81 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:22:23] 873*2^1440264-1 is not prime. Res64: 249A933D9A12A797 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:22:24] 893*2^1440264-1 is not prime. Res64: A63BEB8942588B25 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:22:24] 705*2^1440265-1 is not prime. Res64: B954DD14A274B05C Time : 0.0 sec. user=mdettweiler [2016-09-20 07:22:25] 805*2^1440265-1 is not prime. Res64: 1AA21658DEA7CB56 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:22:25] 831*2^1440265-1 is not prime. Res64: D080668633531615 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:28:18] 877*2^1440265-1 is not prime. Res64: B3DD1EDBB0C615BF Time : 0.0 sec. user=mdettweiler [2016-09-20 07:28:19] 999*2^1440265-1 is not prime. Res64: 3EBF7CA95A74A484 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:28:19] 603*2^1440266-1 is not prime. Res64: 49EEF9CBEB72097C Time : 0.0 sec. user=mdettweiler [2016-09-20 07:28:19] 773*2^1440266-1 is not prime. Res64: BEA8143F2EA1C804 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:28:20] 815*2^1440266-1 is not prime. Res64: 4AB6D13E1A2F3AE5 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:52:49] 851*2^1440266-1 is not prime. Res64: 748759810AA9FF8E Time : 0.0 sec. user=mdettweiler [2016-09-20 07:52:50] 903*2^1440266-1 is not prime. Res64: 8F42D4C23C2C7AD1 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:52:50] 971*2^1440266-1 is not prime. Res64: 464AD9DAE721789F Time : 0.0 sec. user=mdettweiler [2016-09-20 07:52:50] 615*2^1440267-1 is not prime. Res64: CC4C0B3BAACC1F50 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:52:51] 709*2^1440267-1 is not prime. Res64: 0CF67F33591B2AF3 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:54:44] 735*2^1440267-1 is not prime. Res64: BD40847A85779F6E Time : 0.0 sec. user=mdettweiler [2016-09-20 07:54:44] 775*2^1440267-1 is not prime. Res64: 5C70D7735CA1AD2D Time : 0.0 sec. user=mdettweiler [2016-09-20 07:54:44] 949*2^1440267-1 is not prime. Res64: A17CD2A347D67482 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:54:45] 985*2^1440267-1 is not prime. Res64: 29ED291175D72DE8 Time : 0.0 sec. user=mdettweiler [2016-09-20 07:54:45] 833*2^1440268-1 is not prime. Res64: C7C27E4ED360742C Time : 0.0 sec. user=mdettweiler [2016-09-20 08:07:32] 957*2^1440268-1 is not prime. Res64: 148BA8CB9F25C088 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:07:34] 847*2^1440269-1 is not prime. Res64: 0A44437A1C1A6E85 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:07:34] 897*2^1440269-1 is not prime. Res64: 2FF8A18D470712BA Time : 0.0 sec. user=mdettweiler [2016-09-20 08:07:35] 969*2^1440269-1 is not prime. Res64: 85F4D76ECC7A420D Time : 0.0 sec. user=mdettweiler [2016-09-20 08:07:37] 695*2^1440270-1 is not prime. Res64: F9B3CE45426084D4 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:13:10] 885*2^1440270-1 is not prime. Res64: 0577721F22AAB4B7 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:13:11] 965*2^1440270-1 is not prime. Res64: 5FB0FCE851E9CD2B Time : 0.0 sec. user=mdettweiler [2016-09-20 08:13:11] 971*2^1440270-1 is not prime. Res64: 13E0161069F0F03B Time : 0.0 sec. user=mdettweiler [2016-09-20 08:13:11] 681*2^1440271-1 is not prime. Res64: C9C3693099335A35 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:13:12] 805*2^1440271-1 is not prime. Res64: 5A2B231831F9A003 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:37:47] 901*2^1440271-1 is not prime. Res64: 41982E903D34A793 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:37:48] 925*2^1440271-1 is not prime. Res64: 024277EE0E977B95 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:37:48] 657*2^1440272-1 is not prime. Res64: C7F5B49CA74EDB57 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:37:49] 665*2^1440272-1 is not prime. Res64: 2B822DDC8AAEAA92 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:37:49] 743*2^1440272-1 is not prime. Res64: 9A43F0DF68F77171 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:39:41] 827*2^1440272-1 is not prime. Res64: 875374DF11F8DE7D Time : 0.0 sec. user=mdettweiler [2016-09-20 08:39:42] 929*2^1440272-1 is not prime. Res64: D5AE1FE8306BB3FB Time : 0.0 sec. user=mdettweiler [2016-09-20 08:39:42] 963*2^1440272-1 is not prime. Res64: 0903CEA80AEACAD8 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:39:43] 609*2^1440273-1 is not prime. Res64: 0D9BB5685C39CC58 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:39:43] 741*2^1440273-1 is not prime. Res64: C0BEC3CBCC290C94 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:52:49] 769*2^1440273-1 is not prime. Res64: 87080481824FFF81 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:52:50] 885*2^1440273-1 is not prime. Res64: 11B27E911D4DCC8F Time : 0.0 sec. user=mdettweiler [2016-09-20 08:52:50] 915*2^1440273-1 is not prime. Res64: 20AC8BEFA855EED9 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:52:50] 731*2^1440274-1 is not prime. Res64: 592735DBD8B958E2 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:52:51] 773*2^1440274-1 is not prime. Res64: 55F55081B6915580 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:58:09] 791*2^1440274-1 is not prime. Res64: 6678105CABA03D3B Time : 0.0 sec. user=mdettweiler [2016-09-20 08:58:10] 915*2^1440274-1 is not prime. Res64: 1B70ACBBDCBC2BED Time : 0.0 sec. user=mdettweiler [2016-09-20 08:58:10] 993*2^1440274-1 is not prime. Res64: 62DF839FC3DD25A8 Time : 0.0 sec. user=mdettweiler [2016-09-20 08:58:10] 663*2^1440275-1 is not prime. Res64: 45BBBAC50C1FD00F Time : 0.0 sec. user=mdettweiler [2016-09-20 08:58:11] 675*2^1440275-1 is not prime. Res64: DB6D16220689EFD8 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:22:47] 699*2^1440275-1 is not prime. Res64: A5AA82F9E572FA4B Time : 0.0 sec. user=mdettweiler [2016-09-20 09:22:48] 759*2^1440275-1 is not prime. Res64: D2A87FBB31240531 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:22:48] 859*2^1440275-1 is not prime. Res64: 3548245F0893B8F3 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:22:49] 861*2^1440275-1 is not prime. Res64: EF731208EF884623 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:22:49] 939*2^1440275-1 is not prime. Res64: 524F930E4C399D8C Time : 0.0 sec. user=mdettweiler [2016-09-20 09:24:37] 985*2^1440275-1 is not prime. Res64: D2DE7D9F972884E6 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:24:38] 999*2^1440275-1 is not prime. Res64: 307DCAB896CCEE3E Time : 0.0 sec. user=mdettweiler [2016-09-20 09:24:38] 633*2^1440276-1 is not prime. Res64: CE263A697032C34F Time : 0.0 sec. user=mdettweiler [2016-09-20 09:24:38] 693*2^1440276-1 is not prime. Res64: 82D9BA269189EFDA Time : 0.0 sec. user=mdettweiler [2016-09-20 09:24:39] 875*2^1440276-1 is not prime. Res64: 545B3B975E4078DA Time : 0.0 sec. user=mdettweiler [2016-09-20 09:37:36] 945*2^1440276-1 is not prime. Res64: A5B3E87680B17CE7 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:37:36] 649*2^1440277-1 is not prime. Res64: 8786A87D122BF641 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:37:37] 741*2^1440277-1 is not prime. Res64: 9B1B0474674A8514 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:37:37] 751*2^1440277-1 is not prime. Res64: 38EAF2344178D852 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:37:37] 843*2^1440278-1 is not prime. Res64: 9BC19BAF0CAB2343 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:43:00] 953*2^1440278-1 is not prime. Res64: B04BA5EE7E7CF6B5 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:43:00] 663*2^1440279-1 is not prime. Res64: 1677969EF23A190C Time : 0.0 sec. user=mdettweiler [2016-09-20 09:43:01] 693*2^1440279-1 is not prime. Res64: 1E97ED7AE75A6AEB Time : 0.0 sec. user=mdettweiler [2016-09-20 09:43:01] 843*2^1440279-1 is not prime. Res64: 930A486FEF985A28 Time : 0.0 sec. user=mdettweiler [2016-09-20 09:43:01] 853*2^1440279-1 is not prime. Res64: 6D84CECD9195DF3F Time : 0.0 sec. user=mdettweiler [2016-09-20 10:07:49] 861*2^1440279-1 is not prime. Res64: BDB9D6EED81133A8 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:07:51] 943*2^1440279-1 is not prime. Res64: 938A3B74BB409823 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:07:52] 973*2^1440279-1 is not prime. Res64: 05BFFCA871A11EAA Time : 0.0 sec. user=mdettweiler [2016-09-20 10:07:53] 999*2^1440279-1 is not prime. Res64: 84E324E5A9A2ADDC Time : 0.0 sec. user=mdettweiler [2016-09-20 10:07:54] 605*2^1440280-1 is not prime. Res64: 682EBE030D1CC8CB Time : 0.0 sec. user=mdettweiler [2016-09-20 10:09:38] 615*2^1440280-1 is not prime. Res64: 4665D97DCAD6A1E4 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:09:39] 635*2^1440280-1 is not prime. Res64: AD0468AF0B5D3856 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:09:39] 665*2^1440280-1 is not prime. Res64: 15B5B57343E19477 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:09:40] 675*2^1440280-1 is not prime. Res64: 9C65A28C1C205158 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:09:40] 687*2^1440280-1 is not prime. Res64: B3FE65567BFDC857 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:22:44] 723*2^1440280-1 is not prime. Res64: 0CBF0616C3D7A535 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:22:45] 897*2^1440280-1 is not prime. Res64: 007B45D60032CD1B Time : 0.0 sec. user=mdettweiler [2016-09-20 10:22:45] 607*2^1440281-1 is not prime. Res64: D600BB613BEA19B4 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:22:45] 669*2^1440281-1 is not prime. Res64: 4DDA1CFFDAA2E608 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:22:46] 747*2^1440281-1 is not prime. Res64: 349B917ACF44EBE0 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:27:58] 781*2^1440281-1 is not prime. Res64: 59998C4BD7D89488 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:27:59] 909*2^1440281-1 is not prime. Res64: 0354EAFA69072E76 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:27:59] 957*2^1440281-1 is not prime. Res64: 2D1260AF7DED6447 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:27:59] 635*2^1440282-1 is not prime. Res64: D0E18AB8943DF695 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:28:00] 665*2^1440282-1 is not prime. Res64: 08E7DC95FE854D92 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:52:54] 713*2^1440282-1 is not prime. Res64: 265D808C96037BCE Time : 0.0 sec. user=mdettweiler [2016-09-20 10:52:55] 777*2^1440282-1 is not prime. Res64: 0CDAE42E05B116CB Time : 0.0 sec. user=mdettweiler [2016-09-20 10:52:55] 791*2^1440282-1 is not prime. Res64: 39EE348DEFD0823E Time : 0.0 sec. user=mdettweiler [2016-09-20 10:52:55] 833*2^1440282-1 is not prime. Res64: 05855B490A6A0EB0 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:52:56] 873*2^1440282-1 is not prime. Res64: 456BB992986F64DB Time : 0.0 sec. user=mdettweiler [2016-09-20 10:54:26] 885*2^1440282-1 is not prime. Res64: 615723C6719CA995 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:54:26] 947*2^1440282-1 is not prime. Res64: A138D36D151B091D Time : 0.0 sec. user=mdettweiler [2016-09-20 10:54:27] 977*2^1440282-1 is not prime. Res64: CA153FA45DA67869 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:54:27] 619*2^1440283-1 is not prime. Res64: 83770B156D4128C3 Time : 0.0 sec. user=mdettweiler [2016-09-20 10:54:28] 693*2^1440283-1 is not prime. Res64: 05F3B717F82A995E Time : 0.0 sec. user=mdettweiler [2016-09-20 11:07:48] 699*2^1440283-1 is not prime. Res64: 3EFDF91F2CF43084 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:07:49] 789*2^1440283-1 is not prime. Res64: 2691E3EDC5CBBE6A Time : 0.0 sec. user=mdettweiler [2016-09-20 11:07:49] 873*2^1440283-1 is not prime. Res64: ED12686C70C0EF7F Time : 0.0 sec. user=mdettweiler [2016-09-20 11:07:50] 725*2^1440284-1 is not prime. Res64: 7A1228D78CE12432 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:07:50] 743*2^1440284-1 is not prime. Res64: 1199C2B6882A20CB Time : 0.0 sec. user=mdettweiler [2016-09-20 11:12:53] 953*2^1440284-1 is not prime. Res64: 296C8B69EFF0D072 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:12:54] 721*2^1440285-1 is not prime. Res64: 944D9D4EF6AD1987 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:12:54] 777*2^1440285-1 is not prime. Res64: 0E2123521F46228F Time : 0.0 sec. user=mdettweiler [2016-09-20 11:12:54] 819*2^1440285-1 is not prime. Res64: 9145EE00CABE6252 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:12:55] 955*2^1440285-1 is not prime. Res64: 0E0E8F12655F769F Time : 0.0 sec. user=mdettweiler [2016-09-20 11:37:57] 663*2^1440286-1 is not prime. Res64: 85F9768D915C578E Time : 0.0 sec. user=mdettweiler [2016-09-20 11:37:57] 755*2^1440286-1 is not prime. Res64: 1F54F868BBF83B1F Time : 0.0 sec. user=mdettweiler [2016-09-20 11:37:58] 917*2^1440286-1 is not prime. Res64: 7394ABDFB85AE672 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:37:58] 945*2^1440286-1 is not prime. Res64: 74E326CA2B3AC900 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:37:59] 975*2^1440286-1 is not prime. Res64: 2CC5F7E6725316A8 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:39:25] 987*2^1440286-1 is not prime. Res64: C232EAF80FD258AC Time : 0.0 sec. user=mdettweiler [2016-09-20 11:39:25] 685*2^1440287-1 is not prime. Res64: 19185BE5CBCE1419 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:39:26] 739*2^1440287-1 is not prime. Res64: A57B5313C1FE2CFB Time : 0.0 sec. user=mdettweiler [2016-09-20 11:39:26] 759*2^1440287-1 is not prime. Res64: 6D10C1223E15F2A5 Time : 0.0 sec. user=mdettweiler [2016-09-20 11:39:26] 859*2^1440287-1 is not prime. Res64: FA2D5FA665265F9D Time : 0.0 sec. user=mdettweiler [2016-09-20 12:16:18] 973*2^1440287-1 is not prime. Res64: 7A8FC00361D52AD2 Time : 0.0 sec. user=mdettweiler [2016-09-20 12:16:19] 979*2^1440287-1 is not prime. Res64: A4355D839D3464C7 Time : 0.0 sec. user=mdettweiler [2016-09-20 12:16:19] 615*2^1440288-1 is not prime. Res64: 56DA484A25D43290 Time : 0.0 sec. user=mdettweiler [2016-09-20 12:16:20] 639*2^1440288-1 is not prime. Res64: C68065BC9BEAC55E Time : 0.0 sec. user=mdettweiler [2016-09-20 12:16:20] 699*2^1440288-1 is not prime. Res64: 1563341007593FA1 Time : 0.0 sec. user=mdettweiler [2016-09-20 12:25:08] 855*2^1440289-1 is not prime. Res64: 447C08B068CF8796 Time : 0.0 sec. user=mdettweiler [2016-09-20 12:25:08] 861*2^1440289-1 is not prime. Res64: 234CACD566301D73 Time : 0.0 sec. user=mdettweiler [2016-09-20 12:25:09] 895*2^1440289-1 is not prime. Res64: 212EFCFB26622988 Time : 0.0 sec. user=mdettweiler [2016-09-20 12:25:09] 967*2^1440289-1 is not prime. Res64: D46DAE1125E2C8AE Time : 0.0 sec. user=mdettweiler [2016-09-20 12:25:09] 603*2^1440290-1 is not prime. Res64: 46C8B41A1833E629 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:04:03] 711*2^1440290-1 is not prime. Res64: F9DEAD6E618CBF10 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:04:04] 797*2^1440290-1 is not prime. Res64: CB5AD79A5E181103 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:04:05] 831*2^1440290-1 is not prime. Res64: A5117A288F169CC7 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:04:06] 977*2^1440290-1 is not prime. Res64: E92EBDFE6DECBA68 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:04:07] 1001*2^1440290-1 is not prime. Res64: 7D13B53BE1F01742 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:13:55] 723*2^1440291-1 is not prime. Res64: 3047EE0EA742089A Time : 0.0 sec. user=mdettweiler [2016-09-20 13:13:56] 735*2^1440291-1 is not prime. Res64: C2209D5C9C0B2B40 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:13:56] 795*2^1440291-1 is not prime. Res64: 5F77EA0077A2ACF4 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:13:57] 973*2^1440291-1 is not prime. Res64: D7A1F29EB80C2DA3 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:13:57] 779*2^1440292-1 is not prime. Res64: 60C4F84F3984D4D4 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:52:09] 843*2^1440292-1 is not prime. Res64: 5D436A6F7A9221F4 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:52:10] 615*2^1440293-1 is not prime. Res64: F0A13EF5D72CAEA2 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:52:10] 657*2^1440293-1 is not prime. Res64: C988EE0F0BD3E5F6 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:52:11] 789*2^1440293-1 is not prime. Res64: 7CDACEF0BD1F1D93 Time : 0.0 sec. user=mdettweiler [2016-09-20 13:52:11] 805*2^1440293-1 is not prime. Res64: 51C14370A1BF21BA Time : 0.0 sec. user=mdettweiler [2016-09-20 14:03:05] 985*2^1440293-1 is not prime. Res64: 980B3D48884A33F5 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:03:06] 891*2^1440294-1 is not prime. Res64: 740D0504C1EB893D Time : 0.0 sec. user=mdettweiler [2016-09-20 14:03:07] 971*2^1440294-1 is not prime. Res64: BA28E7416081DF7D Time : 0.0 sec. user=mdettweiler [2016-09-20 14:03:09] 975*2^1440294-1 is not prime. Res64: 5E94927C36649F70 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:03:09] 891*2^1440295-1 is not prime. Res64: BE1E96B624EA7E49 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:40:04] 657*2^1440296-1 is not prime. Res64: A1E1CD85D19AEF66 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:40:05] 675*2^1440296-1 is not prime. Res64: DB11E5AB0BF59729 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:40:05] 755*2^1440296-1 is not prime. Res64: F03648A22E4D4DF7 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:40:06] 773*2^1440296-1 is not prime. Res64: B7792FF53C91B362 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:40:06] 927*2^1440296-1 is not prime. Res64: C813D2F958054C2F Time : 0.0 sec. user=mdettweiler [2016-09-20 14:51:31] 625*2^1440297-1 is not prime. Res64: 40F676EC6043471C Time : 0.0 sec. user=mdettweiler [2016-09-20 14:51:32] 669*2^1440297-1 is not prime. Res64: DC67540E3F148B33 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:51:32] 691*2^1440297-1 is not prime. Res64: 93A9B1058A9133AA Time : 0.0 sec. user=mdettweiler [2016-09-20 14:51:32] 795*2^1440297-1 is not prime. Res64: 25D6D5420D075633 Time : 0.0 sec. user=mdettweiler [2016-09-20 14:51:33] 831*2^1440297-1 is not prime. Res64: D659C8C93917E6BE Time : 0.0 sec. user=mdettweiler [2016-09-20 15:36:27] 945*2^1440297-1 is not prime. Res64: 28FFC286AE162011 Time : 0.0 sec. user=mdettweiler [2016-09-20 15:36:28] 975*2^1440297-1 is not prime. Res64: FA55AD2E5573E233 Time : 0.0 sec. user=mdettweiler [2016-09-20 15:36:28] 611*2^1440298-1 is not prime. Res64: 0A4A4644387736C1 Time : 0.0 sec. user=mdettweiler [2016-09-20 15:36:28] 791*2^1440298-1 is not prime. Res64: 414327BA61C56C4C Time : 0.0 sec. user=mdettweiler [2016-09-20 15:36:29] 803*2^1440298-1 is not prime. Res64: 22BF5DD28DFCD60D Time : 0.0 sec. user=mdettweiler [2016-09-20 15:49:06] 843*2^1440298-1 is not prime. Res64: C37A4E99FFFF608D Time : 0.0 sec. user=mdettweiler [2016-09-20 15:49:06] 855*2^1440298-1 is not prime. Res64: FDDE374451ADCB0C Time : 0.0 sec. user=mdettweiler [2016-09-20 15:49:07] 885*2^1440298-1 is not prime. Res64: D82AB518A61A46C8 Time : 0.0 sec. user=mdettweiler [2016-09-20 15:49:07] 911*2^1440298-1 is not prime. Res64: 46959C10B6907B54 Time : 0.0 sec. user=mdettweiler [2016-09-20 15:49:08] 981*2^1440298-1 is not prime. Res64: 11F967395BCAEDCD Time : 0.0 sec. user=mdettweiler [2016-09-20 16:29:04] 621*2^1440299-1 is not prime. Res64: FA98BB6E3406D049 Time : 0.0 sec. user=mdettweiler [2016-09-20 16:29:04] 799*2^1440299-1 is not prime. Res64: AE5E18066B009161 Time : 0.0 sec. user=mdettweiler [2016-09-20 16:29:05] 909*2^1440299-1 is not prime. Res64: BA07E180444A7BF1 Time : 0.0 sec. user=mdettweiler [2016-09-20 16:29:05] 913*2^1440299-1 is not prime. Res64: E062711BDCC6A10E Time : 0.0 sec. user=mdettweiler [2016-09-20 16:29:05] 939*2^1440299-1 is not prime. Res64: 438C72FFB7BD1D49 Time : 0.0 sec. user=mdettweiler [2016-09-20 16:41:40] 647*2^1440300-1 is not prime. Res64: 176AA358A122F678 Time : 0.0 sec. user=mdettweiler [2016-09-20 16:41:40] 707*2^1440300-1 is not prime. Res64: F2081550D769C3DD Time : 0.0 sec. user=mdettweiler [2016-09-20 16:41:40] 845*2^1440300-1 is not prime. Res64: E77EDF815036B5C3 Time : 0.0 sec. user=mdettweiler [2016-09-20 16:41:41] 857*2^1440300-1 is not prime. Res64: B4DD823447E729CB Time : 0.0 sec. user=mdettweiler [2016-09-20 16:41:41] 873*2^1440300-1 is not prime. Res64: 029E8234DD2D93F2 Time : 0.0 sec. user=mdettweiler [2016-09-20 17:25:11] 915*2^1440300-1 is not prime. Res64: C04A2578B81EB6D1 Time : 0.0 sec. user=mdettweiler [2016-09-20 17:25:11] 861*2^1440301-1 is not prime. Res64: F438FEB8A7AE8AE4 Time : 0.0 sec. user=mdettweiler [2016-09-20 17:25:12] 889*2^1440301-1 is not prime. Res64: C1D8DF434EE99C90 Time : 0.0 sec. user=mdettweiler [2016-09-20 17:25:12] 895*2^1440301-1 is not prime. Res64: 738665A7DFE06AB0 Time : 0.0 sec. user=mdettweiler [2016-09-20 17:25:12] 927*2^1440301-1 is not prime. Res64: B60506544C029A9C Time : 0.0 sec. user=mdettweiler [2016-09-20 17:34:16] 617*2^1440302-1 is not prime. Res64: 6EFF92462D0E0E6A Time : 0.0 sec. user=mdettweiler [2016-09-20 17:34:17] 827*2^1440302-1 is not prime. Res64: EE14443BFA2BD388 Time : 0.0 sec. user=mdettweiler [2016-09-20 17:34:17] 885*2^1440302-1 is not prime. Res64: BD1ADBC2641C53CC Time : 0.0 sec. user=mdettweiler [2016-09-20 17:34:17] 663*2^1440303-1 is not prime. Res64: 08D9D59563C9D477 Time : 0.0 sec. user=mdettweiler [2016-09-20 17:34:18] 693*2^1440303-1 is not prime. Res64: 866DA99F234B5080 Time : 0.0 sec. user=mdettweiler [2016-09-20 18:13:49] 765*2^1440303-1 is not prime. Res64: D040F94F20A8B18C Time : 0.0 sec. user=mdettweiler [2016-09-20 18:13:49] 805*2^1440303-1 is not prime. Res64: D9A626CA45494EA6 Time : 0.0 sec. user=mdettweiler [2016-09-20 18:13:49] 873*2^1440303-1 is not prime. Res64: 50714CB8A2850267 Time : 0.0 sec. user=mdettweiler [2016-09-20 18:13:50] 747*2^1440304-1 is not prime. Res64: 13429FF2AFA6F8B3 Time : 0.0 sec. user=mdettweiler [2016-09-20 18:13:50] 909*2^1440304-1 is not prime. Res64: 9E759D969C698B93 Time : 0.0 sec. user=mdettweiler [2016-09-20 18:23:02] 915*2^1440304-1 is not prime. Res64: 084C9D220C560277 Time : 0.0 sec. user=mdettweiler [2016-09-20 18:23:02] 917*2^1440304-1 is not prime. Res64: EC04C87B3D4A9B9D Time : 0.0 sec. user=mdettweiler [2016-09-20 18:23:02] 923*2^1440304-1 is not prime. Res64: 37FDEB2366C09878 Time : 0.0 sec. user=mdettweiler [2016-09-20 18:23:03] 947*2^1440304-1 is not prime. Res64: EEE667D75E17495C Time : 0.0 sec. user=mdettweiler [2016-09-20 18:23:03] 601*2^1440305-1 is not prime. Res64: FAE8D5D1D99D8DFB Time : 0.0 sec. user=mdettweiler [2016-09-20 19:03:06] 649*2^1440305-1 is not prime. Res64: 153CBEBF193D95CE Time : 0.0 sec. user=mdettweiler [2016-09-20 19:03:07] 787*2^1440305-1 is not prime. Res64: 7F84EF3167332F63 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:03:08] 831*2^1440305-1 is not prime. Res64: 2E404CE753EAFB0C Time : 0.0 sec. user=mdettweiler [2016-09-20 19:03:09] 861*2^1440305-1 is not prime. Res64: EC204050C92A9937 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:03:10] 865*2^1440305-1 is not prime. Res64: 66B5E1B9C10A245C Time : 0.0 sec. user=mdettweiler [2016-09-20 19:12:59] 915*2^1440305-1 is not prime. Res64: 79532B5C04D71EC2 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:13:00] 683*2^1440306-1 is not prime. Res64: CA1EC5F13D9C1D05 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:13:00] 747*2^1440306-1 is not prime. Res64: 875AD782C7F1E1AD Time : 0.0 sec. user=mdettweiler [2016-09-20 19:13:00] 777*2^1440306-1 is not prime. Res64: 9484D55B7632B1A5 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:13:01] 851*2^1440306-1 is not prime. Res64: 5A8471A38C07CE7B Time : 0.0 sec. user=mdettweiler [2016-09-20 19:50:46] 893*2^1440306-1 is not prime. Res64: 36D3682F19CEE644 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:50:47] 1001*2^1440306-1 is not prime. Res64: C5770390C1ADE88C Time : 0.0 sec. user=mdettweiler [2016-09-20 19:50:47] 609*2^1440307-1 is not prime. Res64: EDEF803873D9B814 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:50:47] 619*2^1440307-1 is not prime. Res64: FE235C24B49DF5D4 Time : 0.0 sec. user=mdettweiler [2016-09-20 19:50:48] 631*2^1440307-1 is not prime. Res64: 050BF0301C87922F Time : 0.0 sec. user=mdettweiler [2016-09-20 20:01:48] 793*2^1440307-1 is not prime. Res64: FB5A2BBE34D47ACB Time : 0.0 sec. user=mdettweiler [2016-09-20 20:01:51] 849*2^1440307-1 is not prime. Res64: DB97D9098DE976A0 Time : 0.0 sec. user=mdettweiler [2016-09-20 20:01:53] 859*2^1440307-1 is not prime. Res64: 3D8C9C496A4B5E1E Time : 0.0 sec. user=mdettweiler [2016-09-20 20:01:55] 889*2^1440307-1 is not prime. Res64: 3461E02BBC7762D0 Time : 0.0 sec. user=mdettweiler [2016-09-20 20:01:56] 931*2^1440307-1 is not prime. Res64: D8A838376ACA0281 Time : 0.0 sec. user=mdettweiler [2016-09-20 20:38:35] 603*2^1440308-1 is not prime. Res64: B5215B40C5A2F36F Time : 0.0 sec. user=mdettweiler [2016-09-20 20:38:36] 743*2^1440308-1 is not prime. Res64: 96F97619AC1D6E4E Time : 0.0 sec. user=mdettweiler [2016-09-20 20:38:36] 797*2^1440308-1 is not prime. Res64: 4D5C8188F3F69CCB Time : 0.0 sec. user=mdettweiler [2016-09-20 20:38:37] 843*2^1440308-1 is not prime. Res64: E8577A7E7D335A14 Time : 0.0 sec. user=mdettweiler [2016-09-20 20:38:37] 867*2^1440308-1 is not prime. Res64: F50AD539E707FC2D Time : 0.0 sec. user=mdettweiler [2016-09-20 20:50:19] 875*2^1440308-1 is not prime. Res64: 48BE02CBE399E5FD Time : 0.0 sec. user=mdettweiler [2016-09-20 20:50:20] 893*2^1440308-1 is not prime. Res64: 85BA6AC3D8512BA7 Time : 0.0 sec. user=mdettweiler [2016-09-20 20:50:20] 625*2^1440309-1 is not prime. Res64: 62A2FB38F95F6700 Time : 0.0 sec. user=mdettweiler [2016-09-20 20:50:21] 735*2^1440309-1 is not prime. Res64: 660193D8AFA0D62D Time : 0.0 sec. user=mdettweiler [2016-09-20 20:50:21] 745*2^1440309-1 is not prime. Res64: 1007B245C7E39184 Time : 0.0 sec. user=mdettweiler [2016-09-20 21:29:01] 795*2^1440309-1 is not prime. Res64: D4EA333189C02226 Time : 0.0 sec. user=mdettweiler [2016-09-20 21:29:01] 817*2^1440309-1 is not prime. Res64: A52BCC6E8620A6F6 Time : 0.0 sec. user=mdettweiler [2016-09-20 21:29:01] 895*2^1440309-1 is not prime. Res64: 4E355A8AB14A1C17 Time : 0.0 sec. user=mdettweiler [2016-09-20 21:29:02] 997*2^1440309-1 is not prime. Res64: E583812AA7B3DBDA Time : 0.0 sec. user=mdettweiler [2016-09-20 21:29:02] 603*2^1440310-1 is not prime. Res64: 026CF827DD87FFA2 Time : 0.0 sec. user=mdettweiler [2016-09-20 21:44:29] 611*2^1440310-1 is not prime. Res64: E7F3836D986E167E Time : 0.0 sec. user=mdettweiler [2016-09-20 21:44:30] 695*2^1440310-1 is not prime. Res64: F7178D71E76F0ECC Time : 0.0 sec. user=mdettweiler [2016-09-20 21:44:30] 791*2^1440310-1 is not prime. Res64: 8C11EE200B35A927 Time : 0.0 sec. user=mdettweiler [2016-09-20 21:44:30] 917*2^1440310-1 is not prime. Res64: D4A2EF96DE95AB09 Time : 0.0 sec. user=mdettweiler [2016-09-20 21:44:31] 965*2^1440310-1 is not prime. Res64: E08782F651C70533 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:24:08] 661*2^1440311-1 is not prime. Res64: E9E08F833E294808 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:24:08] 685*2^1440311-1 is not prime. Res64: D0A30EAC9DB0382A Time : 0.0 sec. user=mdettweiler [2016-09-20 22:24:09] 745*2^1440311-1 is not prime. Res64: 111C081F202F8062 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:24:09] 753*2^1440311-1 is not prime. Res64: ABBF116EE72EB607 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:24:09] 823*2^1440311-1 is not prime. Res64: 7182CEB35A91D1CE Time : 0.0 sec. user=mdettweiler [2016-09-20 22:40:27] 843*2^1440311-1 is not prime. Res64: A07EE7F288E41640 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:40:27] 855*2^1440311-1 is not prime. Res64: 0690A8A40E1B0C28 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:40:27] 879*2^1440311-1 is not prime. Res64: 177F3772BBE85045 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:40:28] 883*2^1440311-1 is not prime. Res64: 3A2D1EB2A8F84DB5 Time : 0.0 sec. user=mdettweiler [2016-09-20 22:40:28] 993*2^1440311-1 is not prime. Res64: 9FF0E8EEF5298BB8 Time : 0.0 sec. user=mdettweiler [2016-09-20 23:21:56] 689*2^1440312-1 is not prime. Res64: 69264E6896FB4A27 Time : 0.0 sec. user=mdettweiler [2016-09-20 23:21:57] 767*2^1440312-1 is not prime. Res64: 956DE9B7E282F18F Time : 0.0 sec. user=mdettweiler [2016-09-20 23:21:57] 797*2^1440312-1 is not prime. Res64: B393A7B4D4E8CCD3 Time : 0.0 sec. user=mdettweiler [2016-09-20 23:21:57] 837*2^1440312-1 is not prime. Res64: 089D8F2455E5CFBD Time : 0.0 sec. user=mdettweiler [2016-09-20 23:21:57] 887*2^1440312-1 is not prime. Res64: FFA039A87676C924 Time : 0.0 sec. user=mdettweiler [2016-09-20 23:40:11] 945*2^1440312-1 is not prime. Res64: 6319746F43558A8E Time : 0.0 sec. user=mdettweiler [2016-09-20 23:40:12] 975*2^1440312-1 is not prime. Res64: 51B7E0A339566D10 Time : 0.0 sec. user=mdettweiler [2016-09-20 23:40:12] 691*2^1440313-1 is not prime. Res64: F0949D408B0A37BA Time : 0.0 sec. user=mdettweiler [2016-09-20 23:40:12] 721*2^1440313-1 is not prime. Res64: 1386F79BBC38C1A7 Time : 0.0 sec. user=mdettweiler [2016-09-20 23:40:12] 801*2^1440313-1 is not prime. Res64: 87EF3ED0A7D4F50F Time : 0.0 sec.