user=mdettweiler [2016-09-21 00:17:42] 805*2^1440313-1 is not prime. Res64: B165DCB9D3D52AB2 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:17:43] 847*2^1440313-1 is not prime. Res64: 20B485067D85FFF7 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:17:43] 855*2^1440313-1 is not prime. Res64: 3007677C300DCDEA Time : 0.0 sec. user=mdettweiler [2016-09-21 00:17:44] 867*2^1440313-1 is not prime. Res64: 6AE2234F4D7FD2BE Time : 0.0 sec. user=mdettweiler [2016-09-21 00:17:44] 915*2^1440313-1 is not prime. Res64: B356AE160AD6C721 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:33:12] 605*2^1440314-1 is not prime. Res64: E974B980323F8E50 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:33:12] 743*2^1440314-1 is not prime. Res64: 43896727ABA91774 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:33:13] 755*2^1440314-1 is not prime. Res64: 3933E4139F692785 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:33:13] 785*2^1440314-1 is not prime. Res64: A545AA335CC33D1C Time : 0.0 sec. user=mdettweiler [2016-09-21 00:33:13] 993*2^1440314-1 is not prime. Res64: 129B5076B7D80F78 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:35:28] 737*2^1440288-1 is not prime. Res64: 1BCC7E705E4E76A1 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:35:29] 893*2^1440288-1 is not prime. Res64: E1E280C0248FB4C4 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:35:29] 899*2^1440288-1 is not prime. Res64: B54C4F5155EE7AF4 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:35:29] 909*2^1440288-1 is not prime. Res64: F41A94CF4617E329 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:35:30] 975*2^1440288-1 is not prime. Res64: 74D9996AC89A658E Time : 0.0 sec. user=mdettweiler [2016-09-21 00:55:43] 999*2^1440288-1 is not prime. Res64: 3C151CA2C80069DC Time : 0.0 sec. user=mdettweiler [2016-09-21 00:55:44] 705*2^1440289-1 is not prime. Res64: 814D9A685403E8A6 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:55:44] 729*2^1440289-1 is not prime. Res64: 1A0F36AB509395FF Time : 0.0 sec. user=mdettweiler [2016-09-21 00:55:44] 765*2^1440289-1 is not prime. Res64: C483614C1C354F04 Time : 0.0 sec. user=mdettweiler [2016-09-21 00:55:45] 769*2^1440289-1 is not prime. Res64: 6F9F15B2839C494B Time : 0.0 sec. user=mdettweiler [2016-09-21 01:05:41] 609*2^1440315-1 is not prime. Res64: FD0F61E1E72DC3DA Time : 0.0 sec. user=mdettweiler [2016-09-21 01:05:42] 783*2^1440315-1 is not prime. Res64: 6AB82638E656D3C9 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:05:43] 973*2^1440315-1 is not prime. Res64: 842F0C0868A975CB Time : 0.0 sec. user=mdettweiler [2016-09-21 01:05:44] 615*2^1440316-1 is not prime. Res64: C30B4E7C9E595E55 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:05:45] 705*2^1440316-1 is not prime. Res64: A865CC806394E1FB Time : 0.0 sec. user=mdettweiler [2016-09-21 01:19:34] 873*2^1440316-1 is not prime. Res64: E67AEB4C0A56B183 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:19:34] 615*2^1440317-1 is not prime. Res64: D33EDC699E1E6FF8 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:19:34] 619*2^1440317-1 is not prime. Res64: E02A100C86ACFC95 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:19:35] 861*2^1440317-1 is not prime. Res64: A154DF5E171C5E1D Time : 0.0 sec. user=mdettweiler [2016-09-21 01:19:35] 925*2^1440317-1 is not prime. Res64: CB7056206D372DDD Time : 0.0 sec. user=mdettweiler [2016-09-21 01:21:13] 957*2^1440317-1 is not prime. Res64: 90C6863AEB457712 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:21:13] 651*2^1440318-1 is not prime. Res64: 64FD5465B3535F7B Time : 0.0 sec. user=mdettweiler [2016-09-21 01:21:14] 825*2^1440318-1 is not prime. Res64: D6B97E29597D3D46 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:21:14] 941*2^1440318-1 is not prime. Res64: 939FF771C9E422F8 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:21:14] 951*2^1440318-1 is not prime. Res64: ABE2BB9461B0B16D Time : 0.0 sec. user=mdettweiler [2016-09-21 01:40:58] 963*2^1440318-1 is not prime. Res64: 27D2FE8B5AB7CE49 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:40:59] 971*2^1440318-1 is not prime. Res64: 77E5E9211D9AD93A Time : 0.0 sec. user=mdettweiler [2016-09-21 01:40:59] 751*2^1440319-1 is not prime. Res64: 91D6104C9623000F Time : 0.0 sec. user=mdettweiler [2016-09-21 01:41:00] 759*2^1440319-1 is not prime. Res64: E0DAE3FE5D2F090C Time : 0.0 sec. user=mdettweiler [2016-09-21 01:41:00] 763*2^1440319-1 is not prime. Res64: 171A75C28FF850BE Time : 0.0 sec. user=mdettweiler [2016-09-21 01:51:13] 775*2^1440319-1 is not prime. Res64: D0E03A9127FA2100 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:51:14] 859*2^1440319-1 is not prime. Res64: B933992D2F0389BF Time : 0.0 sec. user=mdettweiler [2016-09-21 01:51:14] 919*2^1440319-1 is not prime. Res64: 03B2D8008D4330C1 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:51:14] 615*2^1440320-1 is not prime. Res64: ECA1D0C32FD6DCA4 Time : 0.0 sec. user=mdettweiler [2016-09-21 01:51:15] 699*2^1440320-1 is not prime. Res64: 46F56CB7EF0FD5CF Time : 0.0 sec. user=mdettweiler [2016-09-21 02:05:57] 725*2^1440320-1 is not prime. Res64: EBDC35618E059557 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:05:59] 735*2^1440320-1 is not prime. Res64: 25BD6E6AA4C8AA3F Time : 0.0 sec. user=mdettweiler [2016-09-21 02:06:01] 839*2^1440320-1 is not prime. Res64: ADADDA6D24FD8FB7 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:06:03] 843*2^1440320-1 is not prime. Res64: B4F6919EBC0BAE6F Time : 0.0 sec. user=mdettweiler [2016-09-21 02:06:04] 875*2^1440320-1 is not prime. Res64: 3539054AF7B743E9 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:07:32] 651*2^1440321-1 is not prime. Res64: 82B47197BE233174 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:07:33] 705*2^1440321-1 is not prime. Res64: 8A64D3F9C334FF50 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:07:34] 835*2^1440321-1 is not prime. Res64: AD1938B778E1F82B Time : 0.0 sec. user=mdettweiler [2016-09-21 02:07:36] 865*2^1440321-1 is not prime. Res64: 5B655CBEF0F28D75 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:07:38] 997*2^1440321-1 is not prime. Res64: 9714BFF93DFA855A Time : 0.0 sec. user=mdettweiler [2016-09-21 02:28:01] 653*2^1440322-1 is not prime. Res64: DEDFF7157BC352FB Time : 0.0 sec. user=mdettweiler [2016-09-21 02:28:02] 675*2^1440322-1 is not prime. Res64: C056DCCE264EE48C Time : 0.0 sec. user=mdettweiler [2016-09-21 02:28:02] 717*2^1440322-1 is not prime. Res64: CC100466DA1CF090 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:28:02] 815*2^1440322-1 is not prime. Res64: E9F63FF465FEF3BC Time : 0.0 sec. user=mdettweiler [2016-09-21 02:28:03] 827*2^1440322-1 is not prime. Res64: FAD77CAFD5BA1C6A Time : 0.0 sec. user=mdettweiler [2016-09-21 02:38:10] 857*2^1440322-1 is not prime. Res64: 5A6DBE7683EB12EA Time : 0.0 sec. user=mdettweiler [2016-09-21 02:38:11] 911*2^1440322-1 is not prime. Res64: AEBCCD9C7C3C36B6 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:38:11] 987*2^1440322-1 is not prime. Res64: AD71CC6FA03CD73B Time : 0.0 sec. user=mdettweiler [2016-09-21 02:38:12] 771*2^1440323-1 is not prime. Res64: 0ABEEFF15B04EB12 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:38:13] 981*2^1440323-1 is not prime. Res64: 2056E16F20AF20D9 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:52:11] 985*2^1440323-1 is not prime. Res64: 0ADF0DF1DD1A8820 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:52:12] 605*2^1440324-1 is not prime. Res64: 1736677C791EB1D9 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:52:12] 663*2^1440324-1 is not prime. Res64: 374CD4A53942F512 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:52:12] 795*2^1440324-1 is not prime. Res64: 24D790D29FE7CD51 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:52:13] 899*2^1440324-1 is not prime. Res64: 86F02B823E2CBE08 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:53:31] 923*2^1440324-1 is not prime. Res64: C8E4FB5E9B2497AF Time : 0.0 sec. user=mdettweiler [2016-09-21 02:53:31] 825*2^1440325-1 is not prime. Res64: 48B4C0D87A98F1C2 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:53:32] 831*2^1440325-1 is not prime. Res64: 91E343EA68903E99 Time : 0.0 sec. user=mdettweiler [2016-09-21 02:53:32] 871*2^1440325-1 is not prime. Res64: 60D517C53F80A18F Time : 0.0 sec. user=mdettweiler [2016-09-21 02:53:32] 919*2^1440325-1 is not prime. Res64: 3894B38FA1D8A644 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:13:22] 997*2^1440325-1 is not prime. Res64: 605A5367E175573D Time : 0.0 sec. user=mdettweiler [2016-09-21 03:13:23] 683*2^1440326-1 is not prime. Res64: 4C0E891AAAAC2248 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:13:23] 707*2^1440326-1 is not prime. Res64: 5331828A57D7AF18 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:13:24] 923*2^1440326-1 is not prime. Res64: 8D554E43FC05622E Time : 0.0 sec. user=mdettweiler [2016-09-21 03:13:24] 941*2^1440326-1 is not prime. Res64: C728A53AE6788E31 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:23:32] 957*2^1440326-1 is not prime. Res64: 2A21F55524B9CB02 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:23:32] 963*2^1440326-1 is not prime. Res64: 54450369BDF5A704 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:23:33] 983*2^1440326-1 is not prime. Res64: 72DCCDB1CE093458 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:23:33] 621*2^1440327-1 is not prime. Res64: BDF2C489B31EE6C8 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:23:33] 691*2^1440327-1 is not prime. Res64: 975842145D7CCFDD Time : 0.0 sec. user=mdettweiler [2016-09-21 03:37:22] 693*2^1440327-1 is not prime. Res64: 44E355698C0539FD Time : 0.0 sec. user=mdettweiler [2016-09-21 03:37:24] 705*2^1440327-1 is not prime. Res64: AC85D0C124E3E3F2 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:37:25] 739*2^1440327-1 is not prime. Res64: 61B32EFCA763FA67 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:37:27] 795*2^1440327-1 is not prime. Res64: AEBC3889A3156E40 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:37:28] 825*2^1440327-1 is not prime. Res64: 90BE0CF91BBF0D8E Time : 0.0 sec. user=mdettweiler [2016-09-21 03:38:35] 871*2^1440327-1 is not prime. Res64: 871170399A2DBA84 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:38:36] 933*2^1440327-1 is not prime. Res64: FE79012A3160A7FB Time : 0.0 sec. user=mdettweiler [2016-09-21 03:38:37] 973*2^1440327-1 is not prime. Res64: B5BA04731C3DCEBC Time : 0.0 sec. user=mdettweiler [2016-09-21 03:38:38] 605*2^1440328-1 is not prime. Res64: FEF3A096F49E9DC2 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:38:39] 657*2^1440328-1 is not prime. Res64: 0F3A7588E331AF0E Time : 0.0 sec. user=mdettweiler [2016-09-21 03:58:18] 765*2^1440328-1 is not prime. Res64: 1A5C44265A1B0200 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:58:19] 999*2^1440328-1 is not prime. Res64: 504D810B71B2F11E Time : 0.0 sec. user=mdettweiler [2016-09-21 03:58:21] 697*2^1440329-1 is not prime. Res64: 4684F0DF8BA90932 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:58:23] 889*2^1440329-1 is not prime. Res64: A38981FFA93B1990 Time : 0.0 sec. user=mdettweiler [2016-09-21 03:58:25] 955*2^1440329-1 is not prime. Res64: 4FD6FA72C8554837 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:08:24] 615*2^1440330-1 is not prime. Res64: 2196BA98EDA2CCA8 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:08:25] 765*2^1440330-1 is not prime. Res64: 17D7A1AE31DF1DB9 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:08:25] 797*2^1440330-1 is not prime. Res64: 1403BBC216C730DB Time : 0.0 sec. user=mdettweiler [2016-09-21 04:08:26] 963*2^1440330-1 is not prime. Res64: 0E7D2CBD305149CE Time : 0.0 sec. user=mdettweiler [2016-09-21 04:08:26] 977*2^1440330-1 is not prime. Res64: 7567CA65053275AD Time : 0.0 sec. user=mdettweiler [2016-09-21 04:22:27] 603*2^1440331-1 is not prime. Res64: 09DB81839A4FF0FD Time : 0.0 sec. user=mdettweiler [2016-09-21 04:22:28] 619*2^1440331-1 is not prime. Res64: CCB8C4467C5C1B56 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:22:28] 913*2^1440331-1 is not prime. Res64: 32CED8A280B8921D Time : 0.0 sec. user=mdettweiler [2016-09-21 04:22:29] 925*2^1440331-1 is not prime. Res64: 37AC2934E82EA06B Time : 0.0 sec. user=mdettweiler [2016-09-21 04:22:29] 635*2^1440332-1 is not prime. Res64: DAF96A3821683697 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:23:44] 753*2^1440332-1 is not prime. Res64: 812EE94F22003B87 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:23:44] 767*2^1440332-1 is not prime. Res64: 20058BF9D0ABD8A2 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:23:45] 813*2^1440332-1 is not prime. Res64: 627AAAAD5C8F6729 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:23:45] 875*2^1440332-1 is not prime. Res64: 73A94B2CBADD0AA7 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:23:46] 897*2^1440332-1 is not prime. Res64: 4CDE699E01078CE8 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:44:40] 957*2^1440332-1 is not prime. Res64: C8D1399AB92D198F Time : 0.0 sec. user=mdettweiler [2016-09-21 04:44:40] 639*2^1440333-1 is not prime. Res64: 5D6F714DF3B3029A Time : 0.0 sec. user=mdettweiler [2016-09-21 04:44:41] 741*2^1440333-1 is not prime. Res64: 39714D9C9F4CB9C1 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:44:41] 657*2^1440334-1 is not prime. Res64: C42F01121BECD16C Time : 0.0 sec. user=mdettweiler [2016-09-21 04:44:41] 741*2^1440334-1 is not prime. Res64: 8F6F8EB5C0DD31C8 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:54:40] 755*2^1440334-1 is not prime. Res64: E5A37E7A9CC3783E Time : 0.0 sec. user=mdettweiler [2016-09-21 04:54:40] 857*2^1440334-1 is not prime. Res64: 89631B25610995FA Time : 0.0 sec. user=mdettweiler [2016-09-21 04:54:40] 885*2^1440334-1 is not prime. Res64: AA80E4E5ABE880E7 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:54:41] 673*2^1440335-1 is not prime. Res64: B5518399759DAD80 Time : 0.0 sec. user=mdettweiler [2016-09-21 04:54:41] 685*2^1440335-1 is not prime. Res64: 2D52303C490968D2 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:08:25] 705*2^1440335-1 is not prime. Res64: 998FCC0C7128F674 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:08:26] 721*2^1440335-1 is not prime. Res64: E39E24DE35AA3F0B Time : 0.0 sec. user=mdettweiler [2016-09-21 05:08:26] 735*2^1440335-1 is not prime. Res64: 3D156F3E18E185FE Time : 0.0 sec. user=mdettweiler [2016-09-21 05:08:26] 805*2^1440335-1 is not prime. Res64: C0B3522546CBC674 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:08:27] 949*2^1440335-1 is not prime. Res64: 54A1F4DDB8C4D7C6 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:09:37] 695*2^1440336-1 is not prime. Res64: EDA6A2D8B0AA9287 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:09:38] 705*2^1440336-1 is not prime. Res64: F681A809B97F5B01 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:09:38] 737*2^1440336-1 is not prime. Res64: 2603F11CE4530461 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:09:39] 759*2^1440336-1 is not prime. Res64: B4F977006A14FB2F Time : 0.0 sec. user=mdettweiler [2016-09-21 05:09:39] 837*2^1440336-1 is not prime. Res64: 7FB5EC1EF53B58B3 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:29:34] 903*2^1440336-1 is not prime. Res64: C4A50BE91BAA1890 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:29:34] 923*2^1440336-1 is not prime. Res64: 2C084B138AC10531 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:29:34] 609*2^1440337-1 is not prime. Res64: 86F29E6CC4DB3119 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:29:35] 625*2^1440337-1 is not prime. Res64: 3FB2EB19200C8DD3 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:29:35] 717*2^1440337-1 is not prime. Res64: 4A4F069FC184AC7E Time : 0.0 sec. user=mdettweiler [2016-09-21 05:39:45] 759*2^1440337-1 is not prime. Res64: E5C75E2BE7358506 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:39:46] 831*2^1440337-1 is not prime. Res64: 8780547938822B5F Time : 0.0 sec. user=mdettweiler [2016-09-21 05:39:46] 841*2^1440337-1 is not prime. Res64: A0D33F7D31DD81BB Time : 0.0 sec. user=mdettweiler [2016-09-21 05:39:46] 861*2^1440337-1 is not prime. Res64: 74062A0B766F688E Time : 0.0 sec. user=mdettweiler [2016-09-21 05:39:47] 915*2^1440337-1 is not prime. Res64: A6C49BAF5712A110 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:53:16] 919*2^1440337-1 is not prime. Res64: A8156250475E7317 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:53:16] 683*2^1440338-1 is not prime. Res64: EE33FCF28549586A Time : 0.0 sec. user=mdettweiler [2016-09-21 05:53:17] 797*2^1440338-1 is not prime. Res64: 7C68152E36440B0C Time : 0.0 sec. user=mdettweiler [2016-09-21 05:53:17] 837*2^1440338-1 is not prime. Res64: 5396F9D566393A50 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:53:17] 887*2^1440338-1 is not prime. Res64: A0A4006D82B8AD26 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:54:22] 963*2^1440338-1 is not prime. Res64: F414A07B3B7824E0 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:54:22] 691*2^1440339-1 is not prime. Res64: B8D755644B37F6F6 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:54:22] 775*2^1440339-1 is not prime. Res64: B34D5594F3DBEEE5 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:54:23] 789*2^1440339-1 is not prime. Res64: D8B8A8460CAE2FF6 Time : 0.0 sec. user=mdettweiler [2016-09-21 05:54:23] 829*2^1440339-1 is not prime. Res64: D91FC94DACC5AF3B Time : 0.0 sec. user=mdettweiler [2016-09-21 06:14:30] 879*2^1440339-1 is not prime. Res64: C9CCB6369A4FF58D Time : 0.0 sec. user=mdettweiler [2016-09-21 06:14:31] 909*2^1440339-1 is not prime. Res64: 75E528C3734427D6 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:14:31] 955*2^1440339-1 is not prime. Res64: C8D2715D00884D4F Time : 0.0 sec. user=mdettweiler [2016-09-21 06:14:32] 969*2^1440339-1 is not prime. Res64: A3327BC0702DB50B Time : 0.0 sec. user=mdettweiler [2016-09-21 06:14:32] 689*2^1440340-1 is not prime. Res64: B0C30CBDAFE50CE0 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:24:38] 813*2^1440340-1 is not prime. Res64: C4EBFD964D0AFCDB Time : 0.0 sec. user=mdettweiler [2016-09-21 06:24:38] 827*2^1440340-1 is not prime. Res64: AD0680932B73D0E8 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:24:38] 857*2^1440340-1 is not prime. Res64: 2FF6F663BC9CDB70 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:24:39] 959*2^1440340-1 is not prime. Res64: 548DDEF7FD344151 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:24:39] 965*2^1440340-1 is not prime. Res64: 1FC7D18D1539E705 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:38:18] 975*2^1440340-1 is not prime. Res64: 949C8DB8C32CF705 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:38:18] 619*2^1440341-1 is not prime. Res64: F338320C4AE1A077 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:38:18] 631*2^1440341-1 is not prime. Res64: 7201931A53D6C74D Time : 0.0 sec. user=mdettweiler [2016-09-21 06:38:19] 715*2^1440341-1 is not prime. Res64: B917A5C6696DB6EB Time : 0.0 sec. user=mdettweiler [2016-09-21 06:38:19] 717*2^1440341-1 is not prime. Res64: 6ADD276E5FA4DBB0 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:39:03] 727*2^1440341-1 is not prime. Res64: B6D8E376CF650102 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:39:04] 741*2^1440341-1 is not prime. Res64: FCCA5E535F9BD2EE Time : 0.0 sec. user=mdettweiler [2016-09-21 06:39:04] 747*2^1440341-1 is not prime. Res64: 5D06C027D2ED54B9 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:39:04] 777*2^1440341-1 is not prime. Res64: 3D61A82DA2F6097C Time : 0.0 sec. user=mdettweiler [2016-09-21 06:39:05] 885*2^1440341-1 is not prime. Res64: 44393F8EEAECB481 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:59:32] 671*2^1440342-1 is not prime. Res64: F0DCC35098018DB1 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:59:33] 677*2^1440342-1 is not prime. Res64: 50B8E3948142E603 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:59:33] 693*2^1440342-1 is not prime. Res64: 3681972E058AEFA4 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:59:33] 807*2^1440342-1 is not prime. Res64: DBB7AAE92EA7C6E1 Time : 0.0 sec. user=mdettweiler [2016-09-21 06:59:34] 885*2^1440342-1 is not prime. Res64: D85D9DBFD375894A Time : 0.0 sec. user=mdettweiler [2016-09-21 07:09:51] 915*2^1440342-1 is not prime. Res64: D61AE22043B5B455 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:09:52] 941*2^1440342-1 is not prime. Res64: C0D5A6BA2A5CBE51 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:09:52] 625*2^1440343-1 is not prime. Res64: FF85343910311D37 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:09:52] 765*2^1440343-1 is not prime. Res64: 0877C1D6271D625D Time : 0.0 sec. user=mdettweiler [2016-09-21 07:09:53] 805*2^1440343-1 is not prime. Res64: A4DCE1F5025B3D97 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:23:25] 811*2^1440343-1 is not prime. Res64: 4D89BE5B62A6F7F7 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:23:25] 859*2^1440343-1 is not prime. Res64: B6F95DEE99562353 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:23:25] 871*2^1440343-1 is not prime. Res64: 2A061F429CAE5500 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:23:26] 925*2^1440343-1 is not prime. Res64: F3B3A1B719DCB8B9 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:23:26] 759*2^1440344-1 is not prime. Res64: 7F76735FBA94C952 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:24:11] 789*2^1440344-1 is not prime. Res64: E804387970A05364 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:24:11] 923*2^1440344-1 is not prime. Res64: 00CC09301FB08872 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:24:12] 969*2^1440344-1 is not prime. Res64: 07BA53EE192DBCA7 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:24:12] 679*2^1440345-1 is not prime. Res64: 3F39C6CA68431801 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:24:12] 705*2^1440345-1 is not prime. Res64: DE8CA73D861CF4DC Time : 0.0 sec. user=mdettweiler [2016-09-21 07:44:29] 709*2^1440345-1 is not prime. Res64: C3994A09D3916614 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:44:29] 611*2^1440346-1 is not prime. Res64: 91928C0BC76B0DD0 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:44:30] 737*2^1440346-1 is not prime. Res64: 46AB4B8548C03F19 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:44:30] 777*2^1440346-1 is not prime. Res64: 72F99D1B5B922F46 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:44:30] 801*2^1440346-1 is not prime. Res64: 4756D5F117D95E67 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:54:49] 815*2^1440346-1 is not prime. Res64: A9A8D678E19E5C55 Time : 0.0 sec. user=mdettweiler [2016-09-21 07:54:49] 917*2^1440346-1 is not prime. Res64: 1AF5022321C754CB Time : 0.0 sec. user=mdettweiler [2016-09-21 07:54:50] 983*2^1440346-1 is not prime. Res64: 4F08F5C4995CCC3D Time : 0.0 sec. user=mdettweiler [2016-09-21 07:54:50] 603*2^1440347-1 is not prime. Res64: F21658ACC758947E Time : 0.0 sec. user=mdettweiler [2016-09-21 07:54:50] 631*2^1440347-1 is not prime. Res64: 9567F5070E1F303B Time : 0.0 sec. user=mdettweiler [2016-09-21 08:08:18] 645*2^1440347-1 is not prime. Res64: 7E60A3EF26C3A724 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:08:22] 675*2^1440347-1 is not prime. Res64: 07FB94D0CD7F3744 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:31:02] 837*2^1440348-1 is not prime. Res64: BC3839C56E672E86 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:31:02] 839*2^1440348-1 is not prime. Res64: 9478A4957EEC9159 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:31:03] 875*2^1440348-1 is not prime. Res64: 4A002E4422D8B179 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:31:03] 915*2^1440348-1 is not prime. Res64: 65B39578C5F4150F Time : 0.0 sec. user=mdettweiler [2016-09-21 08:31:03] 977*2^1440348-1 is not prime. Res64: 9BBFDAC375B218D5 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:41:49] 615*2^1440349-1 is not prime. Res64: 0A02DE251E804411 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:41:49] 675*2^1440349-1 is not prime. Res64: ECB2D004F6AFC4F6 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:41:50] 681*2^1440349-1 is not prime. Res64: FDF0C2A25334E04D Time : 0.0 sec. user=mdettweiler [2016-09-21 08:41:50] 811*2^1440349-1 is not prime. Res64: E17CE2F19D2C9F07 Time : 0.0 sec. user=mdettweiler [2016-09-21 08:41:50] 867*2^1440350-1 is not prime. Res64: 64113233DEAA552C Time : 0.0 sec. user=mdettweiler [2016-09-21 09:19:53] 893*2^1440350-1 is not prime. Res64: EE97C14431962B58 Time : 0.0 sec. user=mdettweiler [2016-09-21 09:19:53] 619*2^1440351-1 is not prime. Res64: AC989D8D576928A1 Time : 0.0 sec. user=mdettweiler [2016-09-21 09:19:54] 711*2^1440351-1 is not prime. Res64: C9CCD271E452C38C Time : 0.0 sec. user=mdettweiler [2016-09-21 09:19:54] 739*2^1440351-1 is not prime. Res64: 3C17FEC2F2D6F5B2 Time : 0.0 sec. user=mdettweiler [2016-09-21 09:19:55] 763*2^1440351-1 is not prime. Res64: 594309C39776FDBF Time : 0.0 sec. user=mdettweiler [2016-09-21 09:31:05] 819*2^1440351-1 is not prime. Res64: 143D250627EBA6F8 Time : 0.0 sec. user=mdettweiler [2016-09-21 09:31:05] 913*2^1440351-1 is not prime. Res64: CA2885103845E0D5 Time : 0.0 sec. user=mdettweiler [2016-09-21 09:31:05] 951*2^1440351-1 is not prime. Res64: 04B0F88E587B4355 Time : 0.0 sec. user=mdettweiler [2016-09-21 09:31:06] 975*2^1440351-1 is not prime. Res64: 5BAABE1616D69140 Time : 0.0 sec. user=mdettweiler [2016-09-21 09:31:06] 603*2^1440352-1 is not prime. Res64: 69C021CFD34065E6 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:08:26] 645*2^1440352-1 is not prime. Res64: 890635C7A01E0878 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:08:26] 657*2^1440352-1 is not prime. Res64: 491A1B7B09455567 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:08:27] 705*2^1440352-1 is not prime. Res64: FDFCC5DB55AC80E5 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:08:27] 755*2^1440352-1 is not prime. Res64: 542D0DDE9D3562C7 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:08:28] 765*2^1440352-1 is not prime. Res64: 5BCAA5C822D883C0 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:19:27] 785*2^1440352-1 is not prime. Res64: 3077AC3B934D093A Time : 0.0 sec. user=mdettweiler [2016-09-21 10:19:28] 903*2^1440352-1 is not prime. Res64: A049E7384B2AB7DA Time : 0.0 sec. user=mdettweiler [2016-09-21 10:19:28] 965*2^1440352-1 is not prime. Res64: 944CC3ABEE009359 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:19:29] 775*2^1440353-1 is not prime. Res64: 6219ACC03506BA79 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:19:29] 805*2^1440353-1 is not prime. Res64: 6C64357F88627F3A Time : 0.0 sec. user=mdettweiler [2016-09-21 10:56:55] 937*2^1440353-1 is not prime. Res64: 4EE5369F69A771D8 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:56:56] 981*2^1440353-1 is not prime. Res64: 3F26CC817C538C37 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:56:56] 671*2^1440354-1 is not prime. Res64: 8BD3AA9685262529 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:56:56] 681*2^1440354-1 is not prime. Res64: 68FEAF8D7D40614B Time : 0.0 sec. user=mdettweiler [2016-09-21 10:56:57] 797*2^1440354-1 is not prime. Res64: DB328DFE3B804280 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:59:13] 739*2^1440347-1 is not prime. Res64: BEAD86B8C723F50D Time : 0.0 sec. user=mdettweiler [2016-09-21 10:59:13] 799*2^1440347-1 is not prime. Res64: D653BCE6C14BE324 Time : 0.0 sec. user=mdettweiler [2016-09-21 10:59:13] 813*2^1440347-1 is not prime. Res64: 9FADDDB06429BFD7 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:07:31] 903*2^1440354-1 is not prime. Res64: 0E7C15B9D3651623 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:07:31] 631*2^1440355-1 is not prime. Res64: A8A3CDE104F3DE9A Time : 0.0 sec. user=mdettweiler [2016-09-21 11:07:32] 685*2^1440355-1 is not prime. Res64: 60D44BCA794A3878 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:07:32] 705*2^1440355-1 is not prime. Res64: 58790B5E6A66970F Time : 0.0 sec. user=mdettweiler [2016-09-21 11:07:32] 801*2^1440355-1 is not prime. Res64: 4A0E30CA9A3BA205 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:31:27] 883*2^1440347-1 is not prime. Res64: 2C006B4346D713A0 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:31:28] 931*2^1440347-1 is not prime. Res64: B47096034BA5AF4E Time : 0.0 sec. user=mdettweiler [2016-09-21 11:31:28] 945*2^1440347-1 is not prime. Res64: 93C5CB1DB83BD897 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:31:29] 993*2^1440347-1 is not prime. Res64: 9BCA4390FA1B0D58 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:31:29] 705*2^1440348-1 is not prime. Res64: CBA6AF0938B9FD05 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:42:37] 873*2^1440355-1 is not prime. Res64: 0845DF61B7DE49F4 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:42:38] 909*2^1440355-1 is not prime. Res64: 538D1CBACED8DAF3 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:42:38] 659*2^1440356-1 is not prime. Res64: 3D297AA5BAA3D51B Time : 0.0 sec. user=mdettweiler [2016-09-21 11:42:38] 707*2^1440356-1 is not prime. Res64: 59811BC556AFF306 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:42:39] 767*2^1440356-1 is not prime. Res64: 05E6282AD62CE06E Time : 0.0 sec. user=mdettweiler [2016-09-21 11:44:28] 621*2^1440357-1 is not prime. Res64: D23A664A999645F9 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:44:28] 685*2^1440357-1 is not prime. Res64: BF42B42FA857DC92 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:44:28] 805*2^1440357-1 is not prime. Res64: 643783DB92A1DD6C Time : 0.0 sec. user=mdettweiler [2016-09-21 11:44:29] 835*2^1440357-1 is not prime. Res64: 23BC0D9E2EDD9A6D Time : 0.0 sec. user=mdettweiler [2016-09-21 11:44:29] 945*2^1440357-1 is not prime. Res64: C35BC1F7253C5C8C Time : 0.0 sec. user=mdettweiler [2016-09-21 11:52:57] 949*2^1440357-1 is not prime. Res64: 69FC7CAD6B401A2B Time : 0.0 sec. user=mdettweiler [2016-09-21 11:52:59] 961*2^1440357-1 is not prime. Res64: 1D93A21CFD72BF90 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:52:59] 991*2^1440357-1 is not prime. Res64: A478825CC85051F2 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:52:59] 603*2^1440358-1 is not prime. Res64: D252E94CD30E3E08 Time : 0.0 sec. user=mdettweiler [2016-09-21 11:53:00] 621*2^1440358-1 is not prime. Res64: 5866E92AB37A9896 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:16:16] 677*2^1440358-1 is not prime. Res64: 57D01A6B00710B52 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:16:17] 801*2^1440358-1 is not prime. Res64: E39745E619BBD232 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:16:17] 845*2^1440358-1 is not prime. Res64: 7EEAE254B4BC6A7E Time : 0.0 sec. user=mdettweiler [2016-09-21 12:16:17] 891*2^1440358-1 is not prime. Res64: A566DAD30681F411 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:16:18] 933*2^1440358-1 is not prime. Res64: 08BF2869E47C13FB Time : 0.0 sec. user=mdettweiler [2016-09-21 12:27:27] 945*2^1440358-1 is not prime. Res64: F334DB4404CE6BBB Time : 0.0 sec. user=mdettweiler [2016-09-21 12:27:27] 951*2^1440358-1 is not prime. Res64: 4DEF794C2B80C442 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:27:28] 993*2^1440358-1 is not prime. Res64: F409BD999B9AC59A Time : 0.0 sec. user=mdettweiler [2016-09-21 12:27:28] 603*2^1440359-1 is not prime. Res64: 4337C45ADE1A8034 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:27:29] 619*2^1440359-1 is not prime. Res64: 4E64A338C4B5360A Time : 0.0 sec. user=mdettweiler [2016-09-21 12:29:13] 661*2^1440359-1 is not prime. Res64: FDB621BBE999FE49 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:29:14] 693*2^1440359-1 is not prime. Res64: D165E7CD207F8011 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:29:14] 741*2^1440359-1 is not prime. Res64: 17CDF3290A78F236 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:29:15] 841*2^1440359-1 is not prime. Res64: ADCD32D38D5A4B54 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:29:15] 855*2^1440359-1 is not prime. Res64: 3617D6C15936DCD0 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:37:48] 889*2^1440359-1 is not prime. Res64: 249F6A44D31A83EE Time : 0.0 sec. user=mdettweiler [2016-09-21 12:37:48] 909*2^1440359-1 is not prime. Res64: BC82023691A9678F Time : 0.0 sec. user=mdettweiler [2016-09-21 12:37:49] 931*2^1440359-1 is not prime. Res64: 94BFD64140A27951 Time : 0.0 sec. user=mdettweiler [2016-09-21 12:37:49] 999*2^1440359-1 is not prime. Res64: 21D6049B6E6052FF Time : 0.0 sec. user=mdettweiler [2016-09-21 12:37:49] 839*2^1440360-1 is not prime. Res64: D18159C4E613B15B Time : 0.0 sec. user=mdettweiler [2016-09-21 13:00:59] 957*2^1440360-1 is not prime. Res64: C7309BFB2370B059 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:01:00] 877*2^1440361-1 is not prime. Res64: 2A8DC0EF320CE716 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:01:01] 967*2^1440361-1 is not prime. Res64: 9B225F9F535DFBC7 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:01:02] 997*2^1440361-1 is not prime. Res64: 25C4B240D118FE48 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:01:03] 837*2^1440362-1 is not prime. Res64: 5A1881BD76CB644A Time : 0.0 sec. user=mdettweiler [2016-09-21 13:13:45] 609*2^1440363-1 is not prime. Res64: 4210FF0226AC7334 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:13:45] 675*2^1440363-1 is not prime. Res64: 3E1335D3D7D92A8B Time : 0.0 sec. user=mdettweiler [2016-09-21 13:13:46] 765*2^1440363-1 is not prime. Res64: 494FE68391FA8579 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:13:46] 805*2^1440363-1 is not prime. Res64: 056D907E0037DCD4 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:13:47] 825*2^1440363-1 is not prime. Res64: 24E13E17AFF6F6A4 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:21:27] 867*2^1440362-1 is not prime. Res64: 0D0761767A002602 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:21:27] 893*2^1440362-1 is not prime. Res64: 7A7B09B13A0604B2 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:21:28] 945*2^1440362-1 is not prime. Res64: B05A5A0F0133E3B6 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:21:28] 977*2^1440362-1 is not prime. Res64: C018F1BB869DD774 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:21:28] 983*2^1440362-1 is not prime. Res64: 7342C8F9B2377681 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:22:45] 891*2^1440363-1 is not prime. Res64: 5E54E52A8456E60F Time : 0.0 sec. user=mdettweiler [2016-09-21 13:22:45] 895*2^1440363-1 is not prime. Res64: 2B9A88F2813DACD9 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:22:46] 919*2^1440363-1 is not prime. Res64: F03D543E4A40D92D Time : 0.0 sec. user=mdettweiler [2016-09-21 13:22:46] 921*2^1440363-1 is not prime. Res64: 706E15BC59CAF6F1 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:22:46] 609*2^1440364-1 is not prime. Res64: 6747DBF4AFA940A2 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:46:02] 639*2^1440364-1 is not prime. Res64: 5CA4C569B29DFEE1 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:46:03] 657*2^1440364-1 is not prime. Res64: 67111CE10EF6DF83 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:46:03] 827*2^1440364-1 is not prime. Res64: 4BD6993A796A5EBA Time : 0.0 sec. user=mdettweiler [2016-09-21 13:46:04] 885*2^1440364-1 is not prime. Res64: 46E162F0FE97B481 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:46:04] 953*2^1440364-1 is not prime. Res64: 2BB6888A3BAC95AA Time : 0.0 sec. user=mdettweiler [2016-09-21 13:58:41] 965*2^1440364-1 is not prime. Res64: C89A4B8350384245 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:58:41] 607*2^1440365-1 is not prime. Res64: 3159513431F3216C Time : 0.0 sec. user=mdettweiler [2016-09-21 13:58:42] 657*2^1440365-1 is not prime. Res64: 40A2A94FBD25C1C9 Time : 0.0 sec. user=mdettweiler [2016-09-21 13:58:42] 669*2^1440365-1 is not prime. Res64: 7FA73774EBA3BF4F Time : 0.0 sec. user=mdettweiler [2016-09-21 13:58:42] 717*2^1440365-1 is not prime. Res64: 09A4C64DFE66470B Time : 0.0 sec. user=mdettweiler [2016-09-21 14:06:27] 721*2^1440365-1 is not prime. Res64: 3CE778ACD91E170F Time : 0.0 sec. user=mdettweiler [2016-09-21 14:06:29] 727*2^1440365-1 is not prime. Res64: 3AA7BF51BA06C820 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:06:30] 957*2^1440365-1 is not prime. Res64: 29216544D7B97865 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:06:31] 641*2^1440366-1 is not prime. Res64: 585C644145A4BDA9 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:06:32] 683*2^1440366-1 is not prime. Res64: 85C31EC4B668EF7D Time : 0.0 sec. user=mdettweiler [2016-09-21 14:07:39] 755*2^1440366-1 is not prime. Res64: CC31158F8F507513 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:07:40] 921*2^1440366-1 is not prime. Res64: 063CE5F5BE1AEE00 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:07:41] 603*2^1440367-1 is not prime. Res64: 85ED3D36DB7BA7E2 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:07:42] 609*2^1440367-1 is not prime. Res64: C18EB8581C10D252 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:07:43] 663*2^1440367-1 is not prime. Res64: 92A559F4AA64736C Time : 0.0 sec. user=mdettweiler [2016-09-21 14:34:58] 693*2^1440367-1 is not prime. Res64: 8E218E04487FCC5F Time : 0.0 sec. user=mdettweiler [2016-09-21 14:34:59] 705*2^1440367-1 is not prime. Res64: 2DE4AA34842207CD Time : 0.0 sec. user=mdettweiler [2016-09-21 14:34:59] 735*2^1440367-1 is not prime. Res64: 2F66CF8EA4C78B4C Time : 0.0 sec. user=mdettweiler [2016-09-21 14:34:59] 763*2^1440367-1 is not prime. Res64: 5B4B752C16266105 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:35:00] 765*2^1440367-1 is not prime. Res64: 500056E88635DB79 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:43:33] 859*2^1440367-1 is not prime. Res64: D4ABAE9527749032 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:43:34] 873*2^1440367-1 is not prime. Res64: ACCFA85E3D94BE44 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:43:34] 635*2^1440368-1 is not prime. Res64: E4F2549C66941503 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:43:36] 725*2^1440368-1 is not prime. Res64: 6006F3AF1CAFA1A1 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:43:36] 743*2^1440368-1 is not prime. Res64: FF603AFB03604397 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:51:48] 797*2^1440368-1 is not prime. Res64: E095BF76B0FFAB66 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:51:48] 893*2^1440368-1 is not prime. Res64: 0C42174D596DE351 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:51:49] 897*2^1440368-1 is not prime. Res64: 9C78A41313B4F544 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:51:49] 955*2^1440369-1 is not prime. Res64: DF97591021AF88BC Time : 0.0 sec. user=mdettweiler [2016-09-21 14:51:50] 741*2^1440370-1 is not prime. Res64: 247600A469942640 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:52:50] 765*2^1440370-1 is not prime. Res64: 0554AC4D5E2535C9 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:52:51] 861*2^1440370-1 is not prime. Res64: 4C78BE45D5496AE6 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:52:51] 873*2^1440370-1 is not prime. Res64: 49839626FBCAA10D Time : 0.0 sec. user=mdettweiler [2016-09-21 14:52:51] 887*2^1440370-1 is not prime. Res64: 3608410358F605F3 Time : 0.0 sec. user=mdettweiler [2016-09-21 14:52:52] 801*2^1440371-1 is not prime. Res64: F57BD78E82F0B2CD Time : 0.0 sec. user=mdettweiler [2016-09-21 15:20:27] 629*2^1440372-1 is not prime. Res64: 85E7B2B6847C9E64 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:20:27] 657*2^1440372-1 is not prime. Res64: 143EBBF3C0A26BB5 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:20:27] 777*2^1440372-1 is not prime. Res64: F4B7224A4F2FBFBA Time : 0.0 sec. user=mdettweiler [2016-09-21 15:20:28] 887*2^1440372-1 is not prime. Res64: B0DCEABF13768FE0 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:20:28] 903*2^1440372-1 is not prime. Res64: 6EBE85EA3550386B Time : 0.0 sec. user=mdettweiler [2016-09-21 15:29:47] 699*2^1440373-1 is not prime. Res64: 94FCF712F108B469 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:29:48] 859*2^1440373-1 is not prime. Res64: 01FCFDB1BBF50934 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:29:48] 927*2^1440373-1 is not prime. Res64: 7C1A10AEF9EC0B23 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:29:48] 937*2^1440373-1 is not prime. Res64: 9E3276A9EB0C022F Time : 0.0 sec. user=mdettweiler [2016-09-21 15:29:49] 951*2^1440373-1 is not prime. Res64: 9AAFF064D1D3E797 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:37:12] 999*2^1440373-1 is not prime. Res64: F73FE069DD62B72A Time : 0.0 sec. user=mdettweiler [2016-09-21 15:37:12] 617*2^1440374-1 is not prime. Res64: 75597D34B9921E80 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:37:13] 785*2^1440374-1 is not prime. Res64: CCDF0A1EDEC22109 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:37:13] 815*2^1440374-1 is not prime. Res64: 02C27D78354EFEDA Time : 0.0 sec. user=mdettweiler [2016-09-21 15:37:13] 923*2^1440374-1 is not prime. Res64: 6F822464E65F889C Time : 0.0 sec. user=mdettweiler [2016-09-21 15:38:10] 625*2^1440375-1 is not prime. Res64: 23CE880BB31AF030 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:38:11] 663*2^1440375-1 is not prime. Res64: FA1F9061F7D357BD Time : 0.0 sec. user=mdettweiler [2016-09-21 15:38:11] 691*2^1440375-1 is not prime. Res64: D4B8759FE09CD277 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:38:11] 873*2^1440375-1 is not prime. Res64: C1FC94D6C283E896 Time : 0.0 sec. user=mdettweiler [2016-09-21 15:38:12] 951*2^1440375-1 is not prime. Res64: CDA3088CDFD0432C Time : 0.0 sec. user=mdettweiler [2016-09-21 16:06:26] 985*2^1440375-1 is not prime. Res64: 078252AB8D6C7E8B Time : 0.0 sec. user=mdettweiler [2016-09-21 16:06:27] 645*2^1440376-1 is not prime. Res64: E2353FF8127CF2D1 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:06:28] 663*2^1440376-1 is not prime. Res64: E07F09DB830F8238 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:06:29] 677*2^1440376-1 is not prime. Res64: 4C07604B91CC9E81 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:06:30] 927*2^1440376-1 is not prime. Res64: B75ADD4ECAEEC168 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:15:15] 989*2^1440376-1 is not prime. Res64: 18E652C2B2D83A06 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:15:15] 631*2^1440377-1 is not prime. Res64: 8EDD192C4AC33AF6 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:15:16] 685*2^1440377-1 is not prime. Res64: 91F41371BC607959 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:15:16] 915*2^1440377-1 is not prime. Res64: 70BAF27511DC1236 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:15:17] 937*2^1440377-1 is not prime. Res64: C1A156DC0488A0F1 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:22:31] 949*2^1440377-1 is not prime. Res64: E8EDADB99453FE17 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:22:32] 967*2^1440377-1 is not prime. Res64: 4538037F74304E8F Time : 0.0 sec. user=mdettweiler [2016-09-21 16:22:32] 773*2^1440378-1 is not prime. Res64: 892EB159C52A5954 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:22:33] 861*2^1440378-1 is not prime. Res64: 12772A415B788E7E Time : 0.0 sec. user=mdettweiler [2016-09-21 16:22:33] 933*2^1440378-1 is not prime. Res64: 5AD90A89FE945DEF Time : 0.0 sec. user=mdettweiler [2016-09-21 16:23:39] 1001*2^1440378-1 is not prime. Res64: 5D33E18794B79C74 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:23:39] 619*2^1440379-1 is not prime. Res64: B3D97B304F9BF6EE Time : 0.0 sec. user=mdettweiler [2016-09-21 16:23:40] 775*2^1440379-1 is not prime. Res64: A7327B6CB1F274EC Time : 0.0 sec. user=mdettweiler [2016-09-21 16:23:40] 811*2^1440379-1 is not prime. Res64: E3BF404F1815CCC1 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:23:41] 813*2^1440379-1 is not prime. Res64: 54DC881139FCF4AC Time : 0.0 sec. user=mdettweiler [2016-09-21 16:51:41] 835*2^1440379-1 is not prime. Res64: CB31782B9ED536EF Time : 0.0 sec. user=mdettweiler [2016-09-21 16:51:41] 885*2^1440379-1 is not prime. Res64: 385D14C479EB1695 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:51:42] 931*2^1440379-1 is not prime. Res64: 01A64854DBD27EE7 Time : 0.0 sec. user=mdettweiler [2016-09-21 16:51:42] 647*2^1440380-1 is not prime. Res64: 96E3374D8C23773B Time : 0.0 sec. user=mdettweiler [2016-09-21 16:51:42] 659*2^1440380-1 is not prime. Res64: BA41D7C9B69D5E5F Time : 0.0 sec. user=mdettweiler [2016-09-21 17:00:30] 719*2^1440380-1 is not prime. Res64: 1E80E0D4517BEF11 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:00:35] 795*2^1440380-1 is not prime. Res64: 98FC3AA5F92B0C00 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:00:36] 797*2^1440380-1 is not prime. Res64: 8BF6A74FD9CD85E3 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:00:36] 711*2^1440381-1 is not prime. Res64: FFE68257BA054161 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:00:37] 747*2^1440381-1 is not prime. Res64: 71771FF5A490E61E Time : 0.0 sec. user=mdettweiler [2016-09-21 17:07:36] 795*2^1440381-1 is not prime. Res64: FCBAD2532A0DCF48 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:07:37] 871*2^1440381-1 is not prime. Res64: ED984871F7FA4CD8 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:07:37] 901*2^1440381-1 is not prime. Res64: 512C5ACD0EF5EEC2 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:07:38] 969*2^1440381-1 is not prime. Res64: 0C11FE5BF144DDFC Time : 0.0 sec. user=mdettweiler [2016-09-21 17:07:38] 603*2^1440383-1 is not prime. Res64: 8FCAD38466A2F0EE Time : 0.0 sec. user=mdettweiler [2016-09-21 17:08:44] 721*2^1440383-1 is not prime. Res64: E8DB3034FEE7C608 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:08:44] 735*2^1440383-1 is not prime. Res64: 72251E617C1F1A10 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:08:44] 813*2^1440383-1 is not prime. Res64: 8BBED8D599964234 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:08:45] 895*2^1440383-1 is not prime. Res64: EA8FF2A64B021062 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:08:45] 955*2^1440383-1 is not prime. Res64: 544DD7D0DCA49F66 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:36:47] 985*2^1440383-1 is not prime. Res64: 7FBA30A924874CCA Time : 0.0 sec. user=mdettweiler [2016-09-21 17:36:47] 683*2^1440384-1 is not prime. Res64: 4B8EFA0F6F960A7F Time : 0.0 sec. user=mdettweiler [2016-09-21 17:36:47] 689*2^1440384-1 is not prime. Res64: 5D459745FFD964FD Time : 0.0 sec. user=mdettweiler [2016-09-21 17:36:48] 759*2^1440384-1 is not prime. Res64: 5B2D2C13E92D38E0 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:36:48] 765*2^1440384-1 is not prime. Res64: 895B1B6BF3FCC79E Time : 0.0 sec. user=mdettweiler [2016-09-21 17:45:50] 899*2^1440384-1 is not prime. Res64: BA5AEBB3B9D41D24 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:45:50] 649*2^1440385-1 is not prime. Res64: 062B6C708C659567 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:45:50] 717*2^1440385-1 is not prime. Res64: 63570012B051A0CA Time : 0.0 sec. user=mdettweiler [2016-09-21 17:45:51] 805*2^1440385-1 is not prime. Res64: 7641AA3296026A99 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:45:51] 831*2^1440385-1 is not prime. Res64: E5162C67262E1F51 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:52:51] 855*2^1440385-1 is not prime. Res64: 4DE206EBF757554F Time : 0.0 sec. user=mdettweiler [2016-09-21 17:52:52] 871*2^1440385-1 is not prime. Res64: AF46AD912967B0B8 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:52:52] 603*2^1440386-1 is not prime. Res64: 113A8B9250A68FB2 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:52:52] 615*2^1440386-1 is not prime. Res64: 656C866F220EDE69 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:52:53] 635*2^1440386-1 is not prime. Res64: 0238CE33ED6D1FF8 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:53:59] 645*2^1440386-1 is not prime. Res64: E2391D510F98C39C Time : 0.0 sec. user=mdettweiler [2016-09-21 17:53:59] 657*2^1440386-1 is not prime. Res64: 578867ADC2909BD0 Time : 0.0 sec. user=mdettweiler [2016-09-21 17:53:59] 677*2^1440386-1 is not prime. Res64: 6024FB1B7998722D Time : 0.0 sec. user=mdettweiler [2016-09-21 17:54:00] 741*2^1440386-1 is not prime. Res64: 142361315C53BB6B Time : 0.0 sec. user=mdettweiler [2016-09-21 17:54:00] 743*2^1440386-1 is not prime. Res64: 18F1815E339C32F0 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:21:56] 755*2^1440386-1 is not prime. Res64: E92EB17716DE20FD Time : 0.0 sec. user=mdettweiler [2016-09-21 18:21:56] 851*2^1440386-1 is not prime. Res64: FAA88A54276D8AD3 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:21:56] 873*2^1440386-1 is not prime. Res64: AA85793055681F24 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:21:57] 983*2^1440386-1 is not prime. Res64: FC2B6536DE5EA58A Time : 0.0 sec. user=mdettweiler [2016-09-21 18:21:57] 609*2^1440387-1 is not prime. Res64: E0B2865376BC1C45 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:31:18] 801*2^1440387-1 is not prime. Res64: 51FBA2CCB367FA3C Time : 0.0 sec. user=mdettweiler [2016-09-21 18:31:18] 895*2^1440387-1 is not prime. Res64: D8B0022351B8D291 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:31:18] 961*2^1440387-1 is not prime. Res64: FC799B098AE18310 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:31:19] 973*2^1440387-1 is not prime. Res64: 71EC3B3D34A49347 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:31:19] 647*2^1440388-1 is not prime. Res64: 301320C5140B7B40 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:38:05] 827*2^1440388-1 is not prime. Res64: 3183EF8C66665ADA Time : 0.0 sec. user=mdettweiler [2016-09-21 18:38:05] 875*2^1440388-1 is not prime. Res64: AD79B3C0070421DC Time : 0.0 sec. user=mdettweiler [2016-09-21 18:38:06] 989*2^1440388-1 is not prime. Res64: 6305350FFDEA8C84 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:38:06] 727*2^1440389-1 is not prime. Res64: 7E4A91F438CA6897 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:38:06] 811*2^1440389-1 is not prime. Res64: 5A7F67C655E86343 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:39:23] 611*2^1440390-1 is not prime. Res64: 9A4257228293381A Time : 0.0 sec. user=mdettweiler [2016-09-21 18:39:24] 671*2^1440390-1 is not prime. Res64: A571991078832D09 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:39:24] 801*2^1440390-1 is not prime. Res64: 4B5EA5F80C393A42 Time : 0.0 sec. user=mdettweiler [2016-09-21 18:39:24] 875*2^1440390-1 is not prime. Res64: A5BE98618BF1C40A Time : 0.0 sec. user=mdettweiler [2016-09-21 18:39:25] 891*2^1440390-1 is not prime. Res64: B94A3DBFB508AA3F Time : 0.0 sec. user=mdettweiler [2016-09-21 19:07:05] 625*2^1440391-1 is not prime. Res64: A6B1A4F9E5AE9937 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:07:06] 741*2^1440391-1 is not prime. Res64: A61EEE39C54A03EA Time : 0.0 sec. user=mdettweiler [2016-09-21 19:07:06] 759*2^1440391-1 is not prime. Res64: 3DDD3FE1232B29BF Time : 0.0 sec. user=mdettweiler [2016-09-21 19:07:07] 783*2^1440391-1 is not prime. Res64: 719783CB312C2B1A Time : 0.0 sec. user=mdettweiler [2016-09-21 19:07:07] 909*2^1440391-1 is not prime. Res64: 5964B441AFE01A98 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:16:33] 933*2^1440391-1 is not prime. Res64: CF12C1D53C831D12 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:16:33] 617*2^1440392-1 is not prime. Res64: 384E5074DF6D33F7 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:16:34] 623*2^1440392-1 is not prime. Res64: 0B06ABABDFA94330 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:16:34] 665*2^1440392-1 is not prime. Res64: B518B141EBBE0581 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:16:35] 669*2^1440392-1 is not prime. Res64: 3E031C7293778BC3 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:23:15] 689*2^1440392-1 is not prime. Res64: F065933B6DD64DB6 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:23:16] 825*2^1440392-1 is not prime. Res64: 2651D078504214A5 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:23:16] 615*2^1440393-1 is not prime. Res64: E12E558E402DC05F Time : 0.0 sec. user=mdettweiler [2016-09-21 19:23:16] 657*2^1440393-1 is not prime. Res64: 9AEAA1BF3648E045 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:23:17] 681*2^1440393-1 is not prime. Res64: D13FC620DEBF9D1B Time : 0.0 sec. user=mdettweiler [2016-09-21 19:24:23] 781*2^1440393-1 is not prime. Res64: 92F887ECAA2EADE5 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:24:24] 849*2^1440393-1 is not prime. Res64: 001C76209FA3488C Time : 0.0 sec. user=mdettweiler [2016-09-21 19:24:24] 937*2^1440393-1 is not prime. Res64: 05767CE66D2B5C92 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:24:25] 671*2^1440394-1 is not prime. Res64: FCA5473002141E0F Time : 0.0 sec. user=mdettweiler [2016-09-21 19:24:27] 717*2^1440394-1 is not prime. Res64: A56E3AB0E905FD35 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:52:25] 765*2^1440394-1 is not prime. Res64: CA547A61A438E1DB Time : 0.0 sec. user=mdettweiler [2016-09-21 19:52:25] 881*2^1440394-1 is not prime. Res64: F403C8E5C4807A85 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:52:25] 971*2^1440394-1 is not prime. Res64: 3D9D885293AA3C79 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:52:26] 983*2^1440394-1 is not prime. Res64: 0D77E789B88F3B29 Time : 0.0 sec. user=mdettweiler [2016-09-21 19:52:26] 675*2^1440395-1 is not prime. Res64: 14D40741D68F040A Time : 0.0 sec. user=mdettweiler [2016-09-21 20:01:46] 843*2^1440395-1 is not prime. Res64: D7FA88F53EE5B7FA Time : 0.0 sec. user=mdettweiler [2016-09-21 20:01:47] 859*2^1440395-1 is not prime. Res64: A06BBD415AC68BBA Time : 0.0 sec. user=mdettweiler [2016-09-21 20:01:48] 913*2^1440395-1 is not prime. Res64: 2952D8BFCB805C73 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:01:49] 623*2^1440396-1 is not prime. Res64: 648F8AAE40B80556 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:01:50] 627*2^1440396-1 is not prime. Res64: F44A79E577C69856 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:08:22] 629*2^1440396-1 is not prime. Res64: 5DBB03E4C4C131F9 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:08:23] 689*2^1440396-1 is not prime. Res64: 310BC7FF8EE299AE Time : 0.0 sec. user=mdettweiler [2016-09-21 20:08:24] 765*2^1440396-1 is not prime. Res64: D3245A4A4A6CA798 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:08:26] 809*2^1440396-1 is not prime. Res64: 4DD662321FA237CB Time : 0.0 sec. user=mdettweiler [2016-09-21 20:08:27] 825*2^1440396-1 is not prime. Res64: EFE685EEE9F787CE Time : 0.0 sec. user=mdettweiler [2016-09-21 20:09:20] 843*2^1440396-1 is not prime. Res64: A0A456F3130AB424 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:09:20] 845*2^1440396-1 is not prime. Res64: 8624CD1900A02B09 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:09:21] 903*2^1440396-1 is not prime. Res64: 5630EF624CB3FC0F Time : 0.0 sec. user=mdettweiler [2016-09-21 20:09:21] 999*2^1440396-1 is not prime. Res64: 15FEED56DD7A871C Time : 0.0 sec. user=mdettweiler [2016-09-21 20:09:22] 625*2^1440397-1 is not prime. Res64: D1B1CD16693838B6 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:37:31] 699*2^1440397-1 is not prime. Res64: 53E14B4B7027D3CF Time : 0.0 sec. user=mdettweiler [2016-09-21 20:37:31] 741*2^1440397-1 is not prime. Res64: 86DFE69B7599E49A Time : 0.0 sec. user=mdettweiler [2016-09-21 20:37:31] 775*2^1440397-1 is not prime. Res64: 9D1D1BEE658708D0 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:37:32] 805*2^1440397-1 is not prime. Res64: 28430BF84025D2AB Time : 0.0 sec. user=mdettweiler [2016-09-21 20:37:32] 885*2^1440397-1 is not prime. Res64: 83D730474F68BE4A Time : 0.0 sec. user=mdettweiler [2016-09-21 20:47:22] 915*2^1440397-1 is not prime. Res64: B3085891E6C120D0 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:47:22] 967*2^1440397-1 is not prime. Res64: B0AA44033B2C1AF3 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:47:22] 665*2^1440398-1 is not prime. Res64: E048C6E557F02883 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:47:23] 797*2^1440398-1 is not prime. Res64: E1AF312CD70E25FB Time : 0.0 sec. user=mdettweiler [2016-09-21 20:47:23] 813*2^1440398-1 is not prime. Res64: C3FC4A88952082E3 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:53:52] 843*2^1440398-1 is not prime. Res64: E565ABC1C78FE22E Time : 0.0 sec. user=mdettweiler [2016-09-21 20:53:53] 887*2^1440398-1 is not prime. Res64: F4A929A258A776D7 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:53:53] 971*2^1440398-1 is not prime. Res64: B66E5CC7D0CAFB00 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:53:54] 633*2^1440399-1 is not prime. Res64: 8754197E6704EC23 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:53:54] 661*2^1440399-1 is not prime. Res64: A6210B5DF109775F Time : 0.0 sec. user=mdettweiler [2016-09-21 20:54:27] 735*2^1440399-1 is not prime. Res64: 1F778216DAD65494 Time : 0.0 sec. user=mdettweiler [2016-09-21 20:54:27] 909*2^1440399-1 is not prime. Res64: A3EFEE553CA9EDDD Time : 0.0 sec. user=mdettweiler [2016-09-21 20:54:28] 949*2^1440399-1 is not prime. Res64: 400A6BB9A44BE98E Time : 0.0 sec. user=mdettweiler [2016-09-21 20:54:28] 951*2^1440399-1 is not prime. Res64: 9681437CDDFB79BF Time : 0.0 sec. user=mdettweiler [2016-09-21 20:54:29] 605*2^1440400-1 is not prime. Res64: F76FDB738CCEFF9A Time : 0.0 sec. user=mdettweiler [2016-09-21 21:22:32] 635*2^1440400-1 is not prime. Res64: 852EE9985E66F60F Time : 0.0 sec. user=mdettweiler [2016-09-21 21:22:32] 707*2^1440400-1 is not prime. Res64: F9047ED9B85711C3 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:22:33] 825*2^1440400-1 is not prime. Res64: 549D6B288FA9B42D Time : 0.0 sec. user=mdettweiler [2016-09-21 21:22:33] 927*2^1440400-1 is not prime. Res64: B0F7EA02C06D0144 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:22:34] 959*2^1440400-1 is not prime. Res64: 745009404B3338D5 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:32:43] 989*2^1440400-1 is not prime. Res64: 20B937AE471CC97B Time : 0.0 sec. user=mdettweiler [2016-09-21 21:32:43] 679*2^1440401-1 is not prime. Res64: FE9F813CB26AC50B Time : 0.0 sec. user=mdettweiler [2016-09-21 21:32:44] 795*2^1440401-1 is not prime. Res64: C4719A2667F39740 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:32:44] 925*2^1440401-1 is not prime. Res64: 7B664FEDFFBE919D Time : 0.0 sec. user=mdettweiler [2016-09-21 21:32:44] 949*2^1440401-1 is not prime. Res64: 1FAAA47D4FEAA4E2 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:04] 951*2^1440401-1 is not prime. Res64: A9F4B36DE50CF89A Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:04] 653*2^1440402-1 is not prime. Res64: C32EA297B9FB6536 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:04] 713*2^1440402-1 is not prime. Res64: A8674D3546665959 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:05] 717*2^1440402-1 is not prime. Res64: 3C2BE4A80B3D4E68 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:05] 731*2^1440402-1 is not prime. Res64: 972A7BA0D43440C3 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:37] 777*2^1440402-1 is not prime. Res64: 09A88BFC13226A68 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:37] 791*2^1440402-1 is not prime. Res64: 8D7A0D73FDF7FD45 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:38] 803*2^1440402-1 is not prime. Res64: 765DD4F630FD71EF Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:38] 843*2^1440402-1 is not prime. Res64: 7FDCB810F6CCBC84 Time : 0.0 sec. user=mdettweiler [2016-09-21 21:39:39] 891*2^1440402-1 is not prime. Res64: 083B3DC2D6FCF9A1 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:07:38] 947*2^1440402-1 is not prime. Res64: 34940601D5FEE697 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:07:40] 615*2^1440403-1 is not prime. Res64: 521A3F49944EC642 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:07:41] 705*2^1440403-1 is not prime. Res64: 32B3341672E19951 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:07:41] 741*2^1440403-1 is not prime. Res64: F815041FF9C970D1 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:07:42] 769*2^1440403-1 is not prime. Res64: 770E5BCC2DC7E4AE Time : 0.0 sec. user=mdettweiler [2016-09-21 22:17:53] 853*2^1440403-1 is not prime. Res64: 8D2F1810A24250FE Time : 0.0 sec. user=mdettweiler [2016-09-21 22:17:54] 919*2^1440403-1 is not prime. Res64: 32B9AB10F089FC00 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:17:54] 943*2^1440403-1 is not prime. Res64: 12AE045F5CEF2E2F Time : 0.0 sec. user=mdettweiler [2016-09-21 22:17:55] 945*2^1440403-1 is not prime. Res64: B5923E1A061EEFC5 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:17:55] 605*2^1440404-1 is not prime. Res64: B9E874164C8283D4 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:21] 629*2^1440404-1 is not prime. Res64: 6A46836A79A0132A Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:22] 677*2^1440404-1 is not prime. Res64: 7E25BC1F5D0AA113 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:24] 743*2^1440404-1 is not prime. Res64: 50E6164D4D6D6330 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:25] 759*2^1440404-1 is not prime. Res64: 20B56C62CAF3CD27 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:26] 959*2^1440404-1 is not prime. Res64: B3158A6F82B5AE14 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:40] 679*2^1440405-1 is not prime. Res64: E6E30EC8931F1220 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:42] 717*2^1440405-1 is not prime. Res64: 259D342A7386B8BE Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:42] 787*2^1440405-1 is not prime. Res64: D9AA128D8EC66B08 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:43] 825*2^1440405-1 is not prime. Res64: 20C57B0A601BA935 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:24:44] 895*2^1440405-1 is not prime. Res64: 0FAEC7BA95205FB2 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:53:17] 611*2^1440406-1 is not prime. Res64: C8C0F05D754A6A80 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:53:17] 623*2^1440406-1 is not prime. Res64: 2599AD5E339AFCE0 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:53:17] 647*2^1440406-1 is not prime. Res64: 7D9DC4884AE14C52 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:53:17] 677*2^1440406-1 is not prime. Res64: A35ACEA1617F7A60 Time : 0.0 sec. user=mdettweiler [2016-09-21 22:53:18] 741*2^1440406-1 is not prime. Res64: FD9E538070379854 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:04:42] 773*2^1440406-1 is not prime. Res64: 991C2B7436E1FB0D Time : 0.0 sec. user=mdettweiler [2016-09-21 23:04:44] 815*2^1440406-1 is not prime. Res64: F07E99D9112C4AA3 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:04:46] 873*2^1440406-1 is not prime. Res64: D48BA514EC682444 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:04:47] 945*2^1440406-1 is not prime. Res64: 57FAA4AE9993588C Time : 0.0 sec. user=mdettweiler [2016-09-21 23:04:48] 971*2^1440406-1 is not prime. Res64: AA844899D79158EF Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:13] 1001*2^1440406-1 is not prime. Res64: 5EC8D54C80211860 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:14] 619*2^1440407-1 is not prime. Res64: 616D3EDEBA32D617 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:14] 705*2^1440407-1 is not prime. Res64: D05AB5A6B0139B99 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:14] 663*2^1440408-1 is not prime. Res64: B762E8C29A94ABEC Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:15] 665*2^1440408-1 is not prime. Res64: 90709A743AD6F2BA Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:39] 669*2^1440408-1 is not prime. Res64: 87300C23FDB49A03 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:39] 689*2^1440408-1 is not prime. Res64: EA20F6DFA9CF8859 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:40] 695*2^1440408-1 is not prime. Res64: 096102C4FE1B0640 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:40] 707*2^1440408-1 is not prime. Res64: 905B5DDDB40A5D79 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:12:40] 777*2^1440408-1 is not prime. Res64: F9BB177ECE593CE6 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:43:46] 819*2^1440408-1 is not prime. Res64: 6712B84829467FC3 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:43:46] 887*2^1440408-1 is not prime. Res64: D61BCE36C71173F6 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:43:46] 927*2^1440408-1 is not prime. Res64: 2DC7177DCD578A22 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:43:47] 945*2^1440408-1 is not prime. Res64: 216781513D1E78C2 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:43:47] 609*2^1440409-1 is not prime. Res64: F2D7EE2CE3C8DC97 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:55:07] 625*2^1440409-1 is not prime. Res64: 6549E14B62615475 Time : 0.0 sec. user=mdettweiler [2016-09-21 23:55:08] 751*2^1440409-1 is not prime. Res64: 0404F7F484197F1B Time : 0.0 sec. user=mdettweiler [2016-09-21 23:55:09] 771*2^1440409-1 is not prime. Res64: 08664A9CC7D112AB Time : 0.0 sec. user=mdettweiler [2016-09-21 23:55:09] 817*2^1440409-1 is not prime. Res64: 8AAED7732238DCDA Time : 0.0 sec. user=mdettweiler [2016-09-21 23:55:10] 861*2^1440409-1 is not prime. Res64: 253E83723F65D230 Time : 0.0 sec.