user=mdettweiler [2015-05-13 00:09:05] 615*2^1398928-1 is not prime. Res64: 48B1EA98FF30C28F Time : 0.0 sec. user=mdettweiler [2015-05-13 00:09:06] 695*2^1398928-1 is not prime. Res64: E1E5815B00691794 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:19:45] 699*2^1398928-1 is not prime. Res64: 3B05A2840B435909 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:19:45] 631*2^1398929-1 is not prime. Res64: 0BEB7C2115C0B523 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:21:07] 885*2^1398929-1 is not prime. Res64: EF8E7082C26A4356 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:21:08] 889*2^1398929-1 is not prime. Res64: 1C93CF14EEA1AAA4 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:21:41] 697*2^1398929-1 is not prime. Res64: 243642952F1D4DEB Time : 0.0 sec. user=mdettweiler [2015-05-13 00:21:41] 789*2^1398929-1 is not prime. Res64: 74AE1982AB5EE522 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:30:25] 641*2^1398930-1 is not prime. Res64: 3B3D36B61A4EC025 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:30:26] 735*2^1398930-1 is not prime. Res64: 86CD9BDBC64266DC Time : 0.0 sec. user=mdettweiler [2015-05-13 00:39:25] 875*2^1398930-1 is not prime. Res64: 625959B792F53DF2 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:39:26] 893*2^1398930-1 is not prime. Res64: 7E31895938F09A4E Time : 0.0 sec. user=mdettweiler [2015-05-13 00:39:52] 639*2^1398931-1 is not prime. Res64: 6C3F2771BF587CC9 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:39:52] 679*2^1398931-1 is not prime. Res64: 415191B603828567 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:40:31] 703*2^1398931-1 is not prime. Res64: 91E484EF8F5A3080 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:40:31] 735*2^1398931-1 is not prime. Res64: 871727B2F9005AE8 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:50:36] 741*2^1398931-1 is not prime. Res64: EC9DC15084ED1E52 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:50:37] 835*2^1398931-1 is not prime. Res64: 86270236FC3ABA92 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:57:46] 871*2^1398931-1 is not prime. Res64: 87F8F6B16F37634A Time : 0.0 sec. user=mdettweiler [2015-05-13 00:57:46] 951*2^1398931-1 is not prime. Res64: 58FBAF2CD858D7E7 Time : 0.0 sec. user=mdettweiler [2015-05-13 00:59:39] 993*2^1398931-1 is not prime. Res64: 4C9D7113E153AB4F Time : 0.0 sec. user=mdettweiler [2015-05-13 00:59:40] 647*2^1398932-1 is not prime. Res64: 061CF89B42CB6C40 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:00:39] 689*2^1398932-1 is not prime. Res64: E8DD719B8D69F55E Time : 0.0 sec. user=mdettweiler [2015-05-13 01:00:39] 693*2^1398932-1 is not prime. Res64: 136070E239729B60 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:10:48] 767*2^1398932-1 is not prime. Res64: 9D4803BA9DE0B967 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:10:49] 785*2^1398932-1 is not prime. Res64: 5B50B679BEB63D5A Time : 0.0 sec. user=mdettweiler [2015-05-13 01:18:17] 803*2^1398932-1 is not prime. Res64: 9FAFA7D26C2A1CDA Time : 0.0 sec. user=mdettweiler [2015-05-13 01:18:18] 837*2^1398932-1 is not prime. Res64: A6FEB5D1153C5A58 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:19:18] 909*2^1398932-1 is not prime. Res64: B1756AE26798B1F2 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:19:19] 957*2^1398932-1 is not prime. Res64: F52ED88D327A780D Time : 0.0 sec. user=mdettweiler [2015-05-13 01:20:09] 679*2^1398933-1 is not prime. Res64: 2C9191FCC2EEE62B Time : 0.0 sec. user=mdettweiler [2015-05-13 01:20:10] 861*2^1398933-1 is not prime. Res64: CE3BB0F8D22654A7 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:30:26] 867*2^1398933-1 is not prime. Res64: 3DCF162BA47D3A8C Time : 0.0 sec. user=mdettweiler [2015-05-13 01:30:26] 927*2^1398933-1 is not prime. Res64: D87AA1093D9FE8B3 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:37:29] 961*2^1398933-1 is not prime. Res64: 511DCFA0972354ED Time : 0.0 sec. user=mdettweiler [2015-05-13 01:37:29] 635*2^1398934-1 is not prime. Res64: 1B70158F5645A9A9 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:38:56] 833*2^1398934-1 is not prime. Res64: 58361ADB972A4077 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:38:57] 885*2^1398934-1 is not prime. Res64: A28DE09949DA64BD Time : 0.0 sec. user=mdettweiler [2015-05-13 01:39:00] 651*2^1398934-1 is not prime. Res64: D543A5422B2113B9 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:39:00] 723*2^1398934-1 is not prime. Res64: C6AE489192380DF2 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:49:54] 957*2^1398934-1 is not prime. Res64: 624ABDB873566DFB Time : 0.0 sec. user=mdettweiler [2015-05-13 01:49:54] 987*2^1398934-1 is not prime. Res64: 4424C2D6A2B947F3 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:56:16] 633*2^1398935-1 is not prime. Res64: F1FA490C4EAB17F6 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:56:16] 661*2^1398935-1 is not prime. Res64: F6542AFD46F9C396 Time : 0.0 sec. user=mdettweiler [2015-05-13 01:57:50] 799*2^1398935-1 is not prime. Res64: 330F708D7809937F Time : 0.0 sec. user=mdettweiler [2015-05-13 01:57:51] 823*2^1398935-1 is not prime. Res64: 9B06B99D57032A4D Time : 0.0 sec. user=mdettweiler [2015-05-13 01:58:51] 841*2^1398935-1 is not prime. Res64: BEAE195837A32DAA Time : 0.0 sec. user=mdettweiler [2015-05-13 01:58:51] 859*2^1398935-1 is not prime. Res64: 1A4806B460D5E81A Time : 0.0 sec. user=mdettweiler [2015-05-13 02:08:54] 861*2^1398935-1 is not prime. Res64: 56FF25EE0059DFA2 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:08:55] 963*2^1398935-1 is not prime. Res64: 5658220E51CE1957 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:15:36] 609*2^1398936-1 is not prime. Res64: 4A0132E0E69907E0 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:15:36] 717*2^1398936-1 is not prime. Res64: 44F073E7034EBE3A Time : 0.0 sec. user=mdettweiler [2015-05-13 02:17:09] 845*2^1398936-1 is not prime. Res64: D2C375E158AB5501 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:17:09] 903*2^1398936-1 is not prime. Res64: 3E36DE52214AF20E Time : 0.0 sec. user=mdettweiler [2015-05-13 02:17:30] 601*2^1398937-1 is not prime. Res64: 7B47489EAA350714 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:17:30] 625*2^1398937-1 is not prime. Res64: 3E4823E6A688639E Time : 0.0 sec. user=mdettweiler [2015-05-13 02:28:22] 649*2^1398937-1 is not prime. Res64: 9B738CD6F8FCFC9D Time : 0.0 sec. user=mdettweiler [2015-05-13 02:28:22] 847*2^1398937-1 is not prime. Res64: 8D3FBA1211E8F2E7 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:35:46] 861*2^1398937-1 is not prime. Res64: FBEE805D47726299 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:35:47] 897*2^1398937-1 is not prime. Res64: 60594EE903848294 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:36:21] 937*2^1398937-1 is not prime. Res64: 472E842CC8E43715 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:36:21] 603*2^1398938-1 is not prime. Res64: 151074D427229259 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:38:20] 645*2^1398938-1 is not prime. Res64: 46846D840D50AAF3 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:38:21] 791*2^1398938-1 is not prime. Res64: 9B0F04CD9F50AF65 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:47:38] 923*2^1398938-1 is not prime. Res64: 2DE9496102DDBF5C Time : 0.0 sec. user=mdettweiler [2015-05-13 02:47:38] 953*2^1398938-1 is not prime. Res64: AE4AF2304928B57C Time : 0.0 sec. user=mdettweiler [2015-05-13 02:54:19] 977*2^1398938-1 is not prime. Res64: F99C5D7A822C227A Time : 0.0 sec. user=mdettweiler [2015-05-13 02:54:19] 633*2^1398939-1 is not prime. Res64: B2E71248B4914ED6 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:55:50] 675*2^1398939-1 is not prime. Res64: 928812F958B3FD90 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:55:50] 663*2^1398940-1 is not prime. Res64: 5616E8016F1C8DC3 Time : 0.0 sec. user=mdettweiler [2015-05-13 02:56:55] 689*2^1398940-1 is not prime. Res64: EFE1A073B6F49DEB Time : 0.0 sec. user=mdettweiler [2015-05-13 02:56:56] 755*2^1398940-1 is not prime. Res64: FC1550770722FD59 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:06:07] 797*2^1398940-1 is not prime. Res64: 0938E2ED45F5176B Time : 0.0 sec. user=mdettweiler [2015-05-13 03:06:08] 965*2^1398940-1 is not prime. Res64: 59103CA451B9F0CB Time : 0.0 sec. user=mdettweiler [2015-05-13 03:13:09] 691*2^1398941-1 is not prime. Res64: FF260EC37AC95444 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:13:09] 717*2^1398941-1 is not prime. Res64: DB7010EED889915A Time : 0.0 sec. user=mdettweiler [2015-05-13 03:15:10] 741*2^1398941-1 is not prime. Res64: F94B9035BCB80DEA Time : 0.0 sec. user=mdettweiler [2015-05-13 03:15:10] 747*2^1398941-1 is not prime. Res64: 6C0D581295425C03 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:16:29] 829*2^1398941-1 is not prime. Res64: 1CD78C116A65610B Time : 0.0 sec. user=mdettweiler [2015-05-13 03:16:29] 837*2^1398941-1 is not prime. Res64: 53900919A50DD912 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:25:21] 907*2^1398941-1 is not prime. Res64: 4D3A119F33C689CF Time : 0.0 sec. user=mdettweiler [2015-05-13 03:25:22] 925*2^1398941-1 is not prime. Res64: 8CD877B27FDE5A88 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:32:50] 937*2^1398941-1 is not prime. Res64: 4305AE7D42EBB56C Time : 0.0 sec. user=mdettweiler [2015-05-13 03:32:50] 991*2^1398941-1 is not prime. Res64: 044FE90E0869F1D3 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:34:08] 615*2^1398942-1 is not prime. Res64: 82C1CD7D4995A6A5 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:34:09] 741*2^1398942-1 is not prime. Res64: FFBAC9C50C8A7D05 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:35:22] 777*2^1398942-1 is not prime. Res64: E492943B8783F2B2 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:35:23] 705*2^1398943-1 is not prime. Res64: 71CEAF0F139DE796 Time : 0.0 sec. user=juhehe [2015-05-13 03:40:27] 927*2^1398941-1 is not prime. Res64: DD877B9B93BD8578 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:44:07] 723*2^1398943-1 is not prime. Res64: 8DBAFDDF6C9F0124 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:44:08] 831*2^1398943-1 is not prime. Res64: F648A21BC2533387 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:51:29] 901*2^1398943-1 is not prime. Res64: 15BC5F1CF2C1F7BF Time : 0.0 sec. user=mdettweiler [2015-05-13 03:51:31] 919*2^1398943-1 is not prime. Res64: 526DE282E8C66B97 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:54:00] 617*2^1398944-1 is not prime. Res64: 7422C7C9AF1F5219 Time : 0.0 sec. user=mdettweiler [2015-05-13 03:54:01] 635*2^1398944-1 is not prime. Res64: 202A96FF4C01D98E Time : 0.0 sec. user=mdettweiler [2015-05-13 03:54:20] 961*2^1398943-1 is not prime. Res64: 99D373675E9FBB7B Time : 0.0 sec. user=mdettweiler [2015-05-13 03:54:21] 969*2^1398943-1 is not prime. Res64: D50B28DF5FA7BFA8 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:03:11] 725*2^1398944-1 is not prime. Res64: 0AD817297D355C6F Time : 0.0 sec. user=mdettweiler [2015-05-13 04:03:12] 753*2^1398944-1 is not prime. Res64: 912186C9240FFDB5 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:10:32] 759*2^1398944-1 is not prime. Res64: E2C2150B45EF7BC3 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:10:32] 819*2^1398944-1 is not prime. Res64: 5F7659BE9B1B09F8 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:12:43] 857*2^1398944-1 is not prime. Res64: 57231FAAD833049C Time : 0.0 sec. user=mdettweiler [2015-05-13 04:12:43] 609*2^1398945-1 is not prime. Res64: 80811AF0F29A6369 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:13:31] 735*2^1398945-1 is not prime. Res64: 30AAA1326CF4B6D5 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:13:31] 819*2^1398945-1 is not prime. Res64: D16F1CB6B440D27C Time : 0.0 sec. user=mdettweiler [2015-05-13 04:22:52] 861*2^1398945-1 is not prime. Res64: 96BC34F73EB820F6 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:22:52] 635*2^1398946-1 is not prime. Res64: A02748BF895A0D3F Time : 0.0 sec. user=mdettweiler [2015-05-13 04:28:46] 645*2^1398946-1 is not prime. Res64: A292317604B6B4C6 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:28:46] 677*2^1398946-1 is not prime. Res64: CADAE7C1243D006A Time : 0.0 sec. user=mdettweiler [2015-05-13 04:30:54] 713*2^1398946-1 is not prime. Res64: AA0868DB0D78B176 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:30:54] 741*2^1398946-1 is not prime. Res64: 352430AE1ED6B900 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:31:39] 765*2^1398946-1 is not prime. Res64: 1FB681A2065E235F Time : 0.0 sec. user=mdettweiler [2015-05-13 04:31:39] 891*2^1398946-1 is not prime. Res64: 4E96CB4B6A4E98E2 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:40:25] 947*2^1398946-1 is not prime. Res64: 89AA875D68C49D29 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:40:25] 703*2^1398947-1 is not prime. Res64: 5F018C9818147334 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:46:37] 711*2^1398947-1 is not prime. Res64: FF4AAAE09DB56E64 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:46:37] 781*2^1398947-1 is not prime. Res64: 060B3EE024431E7A Time : 0.0 sec. user=mdettweiler [2015-05-13 04:48:47] 813*2^1398947-1 is not prime. Res64: 84E4E902E88F43E7 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:48:47] 945*2^1398947-1 is not prime. Res64: 13563F957047BE4D Time : 0.0 sec. user=mdettweiler [2015-05-13 04:49:30] 993*2^1398947-1 is not prime. Res64: 49A86741E2C16474 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:49:30] 629*2^1398948-1 is not prime. Res64: 9685D5EEC190BA08 Time : 0.0 sec. user=mdettweiler [2015-05-13 04:58:50] 699*2^1398948-1 is not prime. Res64: 11F36D5DFAA257BF Time : 0.0 sec. user=mdettweiler [2015-05-13 04:58:50] 705*2^1398948-1 is not prime. Res64: 39A1B495B43928D4 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:05:06] 783*2^1398948-1 is not prime. Res64: 52C42B24810AC0DA Time : 0.0 sec. user=mdettweiler [2015-05-13 05:05:07] 797*2^1398948-1 is not prime. Res64: 4841843553FC023A Time : 0.0 sec. user=mdettweiler [2015-05-13 05:07:05] 975*2^1398948-1 is not prime. Res64: A2F95F7A41E95CDE Time : 0.0 sec. user=mdettweiler [2015-05-13 05:07:06] 615*2^1398949-1 is not prime. Res64: 5D964DB46722F437 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:07:47] 621*2^1398949-1 is not prime. Res64: E87A4C5EA7961386 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:07:47] 639*2^1398949-1 is not prime. Res64: BA469312D9377C5E Time : 0.0 sec. user=mdettweiler [2015-05-13 05:16:39] 649*2^1398949-1 is not prime. Res64: 47391FFBEA8F482F Time : 0.0 sec. user=mdettweiler [2015-05-13 05:16:39] 667*2^1398949-1 is not prime. Res64: 54F02012D7826FD3 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:22:44] 687*2^1398949-1 is not prime. Res64: 4A0F34B3ACFE4BFD Time : 0.0 sec. user=mdettweiler [2015-05-13 05:22:44] 747*2^1398949-1 is not prime. Res64: 327959D617FF826C Time : 0.0 sec. user=mdettweiler [2015-05-13 05:24:42] 757*2^1398949-1 is not prime. Res64: 0E686E28058F2CAE Time : 0.0 sec. user=mdettweiler [2015-05-13 05:24:43] 829*2^1398949-1 is not prime. Res64: 0FEA3B8D4F015A46 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:25:27] 919*2^1398949-1 is not prime. Res64: 91ED610E9582D904 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:25:27] 931*2^1398949-1 is not prime. Res64: E0A3D36C9DC9837D Time : 0.0 sec. user=mdettweiler [2015-05-13 05:34:12] 961*2^1398949-1 is not prime. Res64: 77C31AB3A98167BB Time : 0.0 sec. user=mdettweiler [2015-05-13 05:34:12] 987*2^1398949-1 is not prime. Res64: 20D1A86710068F9E Time : 0.0 sec. user=mdettweiler [2015-05-13 05:40:23] 999*2^1398949-1 is not prime. Res64: A8171560888D8763 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:40:23] 641*2^1398950-1 is not prime. Res64: D71FEFC3A2BDAA68 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:42:22] 761*2^1398950-1 is not prime. Res64: F5A9D7077D02F5C2 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:42:22] 845*2^1398950-1 is not prime. Res64: 2D93B8C847661E7F Time : 0.0 sec. user=mdettweiler [2015-05-13 05:42:58] 867*2^1398950-1 is not prime. Res64: 111CB74433B798F1 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:42:58] 911*2^1398950-1 is not prime. Res64: EAC45044D62193CD Time : 0.0 sec. user=mdettweiler [2015-05-13 05:51:47] 917*2^1398950-1 is not prime. Res64: E33CFEC0B4E49D4F Time : 0.0 sec. user=mdettweiler [2015-05-13 05:51:48] 981*2^1398950-1 is not prime. Res64: DB1FA1C578AFEA32 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:57:59] 619*2^1398951-1 is not prime. Res64: 99A2DC611EBFFC43 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:57:59] 679*2^1398951-1 is not prime. Res64: 36F3057054FFA315 Time : 0.0 sec. user=mdettweiler [2015-05-13 05:59:58] 705*2^1398951-1 is not prime. Res64: A96020ADD642D1CE Time : 0.0 sec. user=mdettweiler [2015-05-13 05:59:58] 723*2^1398951-1 is not prime. Res64: C81443637A5786BF Time : 0.0 sec. user=mdettweiler [2015-05-13 06:00:30] 789*2^1398951-1 is not prime. Res64: 6BD3A9D721795E8D Time : 0.0 sec. user=mdettweiler [2015-05-13 06:00:30] 819*2^1398951-1 is not prime. Res64: D7B5137E5C8F76EA Time : 0.0 sec. user=mdettweiler [2015-05-13 06:09:31] 871*2^1398951-1 is not prime. Res64: E4537220F26D18E4 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:09:32] 909*2^1398951-1 is not prime. Res64: 5BB3E08DE23923CD Time : 0.0 sec. user=mdettweiler [2015-05-13 06:15:34] 969*2^1398951-1 is not prime. Res64: FC1DE2487CE8AFF7 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:15:35] 723*2^1398952-1 is not prime. Res64: 5A21E33A13737D8E Time : 0.0 sec. user=mdettweiler [2015-05-13 06:17:42] 755*2^1398952-1 is not prime. Res64: BE4E8379AD8B8BF3 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:17:42] 765*2^1398952-1 is not prime. Res64: B20C938D3D70D5D8 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:18:06] 813*2^1398952-1 is not prime. Res64: 285D1F1D7D0FAEA2 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:18:07] 863*2^1398952-1 is not prime. Res64: 3EA49877407CDDA8 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:27:15] 947*2^1398952-1 is not prime. Res64: CB9D9F51F7F18CA2 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:27:16] 615*2^1398953-1 is not prime. Res64: 526D41C1839FB6D2 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:33:11] 735*2^1398953-1 is not prime. Res64: D19660D485343885 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:33:11] 747*2^1398953-1 is not prime. Res64: 2EB419FE8940436F Time : 0.0 sec. user=mdettweiler [2015-05-13 06:35:20] 771*2^1398953-1 is not prime. Res64: 3E547337853174D8 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:35:21] 775*2^1398953-1 is not prime. Res64: 4C548670D442EAD0 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:35:41] 901*2^1398953-1 is not prime. Res64: EE5BE7185D8BEB22 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:35:41] 925*2^1398953-1 is not prime. Res64: 1F617A6EA009F590 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:44:53] 939*2^1398953-1 is not prime. Res64: 36911C927DCC43F4 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:44:54] 949*2^1398953-1 is not prime. Res64: 49ED2BA6A7494FB3 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:50:46] 967*2^1398953-1 is not prime. Res64: 7DF33F6E2F8BDC5F Time : 0.0 sec. user=mdettweiler [2015-05-13 06:50:46] 711*2^1398954-1 is not prime. Res64: F266426C2028C2D5 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:52:58] 791*2^1398954-1 is not prime. Res64: B93F2622A4BCA4CA Time : 0.0 sec. user=mdettweiler [2015-05-13 06:52:58] 803*2^1398954-1 is not prime. Res64: B0CBC2723AA9942B Time : 0.0 sec. user=mdettweiler [2015-05-13 06:53:20] 807*2^1398954-1 is not prime. Res64: 8A5139666F8A4930 Time : 0.0 sec. user=mdettweiler [2015-05-13 06:53:20] 815*2^1398954-1 is not prime. Res64: 6E58EB18C3DE02A3 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:02:38] 837*2^1398954-1 is not prime. Res64: 6502B424E431F403 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:02:39] 851*2^1398954-1 is not prime. Res64: 4B71E2FDEC41EFAC Time : 0.0 sec. user=mdettweiler [2015-05-13 07:08:20] 903*2^1398954-1 is not prime. Res64: 4EFABC07DC48AFC7 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:08:20] 971*2^1398954-1 is not prime. Res64: BC652D5B9C325518 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:10:37] 765*2^1398955-1 is not prime. Res64: AFF969E17B032124 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:10:38] 789*2^1398955-1 is not prime. Res64: C38672566D3DCBDD Time : 0.0 sec. user=mdettweiler [2015-05-13 07:10:56] 885*2^1398955-1 is not prime. Res64: 20E286894C83BDAF Time : 0.0 sec. user=mdettweiler [2015-05-13 07:10:56] 913*2^1398955-1 is not prime. Res64: C5FA9D02B1C924D8 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:20:37] 915*2^1398955-1 is not prime. Res64: A55C92F9891758D6 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:20:37] 635*2^1398956-1 is not prime. Res64: 598FB3AD62223D46 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:26:05] 683*2^1398956-1 is not prime. Res64: 445C972B5B7E53D2 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:26:06] 735*2^1398956-1 is not prime. Res64: E5270FEA26E7F21E Time : 0.0 sec. user=mdettweiler [2015-05-13 07:28:22] 759*2^1398956-1 is not prime. Res64: D82C6751A673DA05 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:28:22] 785*2^1398956-1 is not prime. Res64: 5AE73439DBB72AAF Time : 0.0 sec. user=mdettweiler [2015-05-13 07:28:36] 897*2^1398956-1 is not prime. Res64: B5D7EE9ED502EF5C Time : 0.0 sec. user=mdettweiler [2015-05-13 07:28:36] 999*2^1398956-1 is not prime. Res64: 05900DA318BC4B7C Time : 0.0 sec. user=mdettweiler [2015-05-13 07:38:20] 627*2^1398957-1 is not prime. Res64: BDFB96A2839C8B64 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:38:21] 691*2^1398957-1 is not prime. Res64: D9203AB737B6F24F Time : 0.0 sec. user=mdettweiler [2015-05-13 07:43:40] 751*2^1398957-1 is not prime. Res64: 345E060303BCEB98 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:43:40] 805*2^1398957-1 is not prime. Res64: 31B06CD15B3E271C Time : 0.0 sec. user=mdettweiler [2015-05-13 07:45:54] 891*2^1398957-1 is not prime. Res64: 9B3E696B1AEDEFA7 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:45:55] 915*2^1398957-1 is not prime. Res64: 1A244A0EDE1CC84A Time : 0.0 sec. user=mdettweiler [2015-05-13 07:46:12] 961*2^1398957-1 is not prime. Res64: 3F81320F5C369013 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:46:12] 651*2^1398958-1 is not prime. Res64: 5C8ECE829752A1E8 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:55:52] 671*2^1398958-1 is not prime. Res64: 7CB609B940A08853 Time : 0.0 sec. user=mdettweiler [2015-05-13 07:55:53] 743*2^1398958-1 is not prime. Res64: 85B1671D543F488D Time : 0.0 sec. user=mdettweiler [2015-05-13 08:01:14] 777*2^1398958-1 is not prime. Res64: C112CFD31C0CFEB1 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:01:15] 861*2^1398958-1 is not prime. Res64: 3D6A9A48D5BB849C Time : 0.0 sec. user=mdettweiler [2015-05-13 08:03:31] 911*2^1398958-1 is not prime. Res64: 82D5EB1D55BB8E54 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:03:32] 957*2^1398958-1 is not prime. Res64: 50ED55917C7F7E9E Time : 0.0 sec. user=mdettweiler [2015-05-13 08:03:53] 987*2^1398958-1 is not prime. Res64: DDBDC495BA613953 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:03:54] 993*2^1398958-1 is not prime. Res64: F85651370D8A8CEC Time : 0.0 sec. user=mdettweiler [2015-05-13 08:13:26] 615*2^1398959-1 is not prime. Res64: 4CA9E2DB1E4DA105 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:13:26] 693*2^1398959-1 is not prime. Res64: 9AB0CD8556F6360B Time : 0.0 sec. user=mdettweiler [2015-05-13 08:18:49] 753*2^1398959-1 is not prime. Res64: 7F5FC006455A68F5 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:18:50] 789*2^1398959-1 is not prime. Res64: E1571CFD18426EDF Time : 0.0 sec. user=mdettweiler [2015-05-13 08:21:08] 813*2^1398959-1 is not prime. Res64: 3DA3675AD20EF1D2 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:21:09] 831*2^1398959-1 is not prime. Res64: 5F6AE9E2B259D523 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:21:30] 885*2^1398959-1 is not prime. Res64: 6BFB7386A342A957 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:21:30] 913*2^1398959-1 is not prime. Res64: 160FF6DEB23C1BE5 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:31:06] 939*2^1398959-1 is not prime. Res64: AED2AAC30BDAEA7D Time : 0.0 sec. user=mdettweiler [2015-05-13 08:31:06] 943*2^1398959-1 is not prime. Res64: E5B816ACD4EA46D1 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:36:34] 999*2^1398959-1 is not prime. Res64: 90B32EC301E623C9 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:36:35] 623*2^1398960-1 is not prime. Res64: 4D7A5581F797F2BE Time : 0.0 sec. user=mdettweiler [2015-05-13 08:38:45] 669*2^1398960-1 is not prime. Res64: 2794C7BC98FE1DB2 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:38:45] 689*2^1398960-1 is not prime. Res64: 99D877DC6984D087 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:39:12] 707*2^1398960-1 is not prime. Res64: 8340E21C3329B9EF Time : 0.0 sec. user=mdettweiler [2015-05-13 08:39:13] 839*2^1398960-1 is not prime. Res64: 140E50A71A4E8BF2 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:48:57] 927*2^1398960-1 is not prime. Res64: 0B5EB92C23B6B3EB Time : 0.0 sec. user=mdettweiler [2015-05-13 08:48:58] 625*2^1398961-1 is not prime. Res64: 1DFA6A6267A6B560 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:54:38] 691*2^1398961-1 is not prime. Res64: 81170A6CDB367DFB Time : 0.0 sec. user=mdettweiler [2015-05-13 08:54:39] 745*2^1398961-1 is not prime. Res64: 9732B3C396936BB4 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:56:52] 769*2^1398961-1 is not prime. Res64: 8D0494D592FF4E89 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:56:52] 819*2^1398961-1 is not prime. Res64: 367A1DF0C49F5BFC Time : 0.0 sec. user=mdettweiler [2015-05-13 08:57:41] 955*2^1398961-1 is not prime. Res64: 0287FBA7E343A239 Time : 0.0 sec. user=mdettweiler [2015-05-13 08:57:41] 999*2^1398961-1 is not prime. Res64: DEBED3AECABA8367 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:07:19] 635*2^1398962-1 is not prime. Res64: 01DD0402B5732F66 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:07:20] 755*2^1398962-1 is not prime. Res64: 189CEB60D32C558E Time : 0.0 sec. user=mdettweiler [2015-05-13 09:13:22] 825*2^1398962-1 is not prime. Res64: 2EDD5BCA89990BB7 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:13:22] 911*2^1398962-1 is not prime. Res64: 64A17863A3CB2831 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:15:14] 977*2^1398962-1 is not prime. Res64: C126372AAA6E9DDA Time : 0.0 sec. user=mdettweiler [2015-05-13 09:15:15] 613*2^1398963-1 is not prime. Res64: 63B80F535894BEA1 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:16:27] 723*2^1398963-1 is not prime. Res64: 83D8D693F9397A51 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:16:27] 765*2^1398963-1 is not prime. Res64: FD5851B808E40607 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:25:52] 949*2^1398963-1 is not prime. Res64: ADAEF87B749F4A50 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:25:52] 963*2^1398963-1 is not prime. Res64: 1B7E31E455DF1126 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:31:45] 663*2^1398964-1 is not prime. Res64: 7AA6E6F735342D86 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:31:46] 677*2^1398964-1 is not prime. Res64: 1C288E2EB1EDFDF9 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:33:41] 759*2^1398964-1 is not prime. Res64: CD374E4A4AAD0E44 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:33:41] 869*2^1398964-1 is not prime. Res64: 6913F35A28DD7B8A Time : 0.0 sec. user=mdettweiler [2015-05-13 09:35:09] 903*2^1398964-1 is not prime. Res64: 5A965EA5D8F40DF3 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:35:10] 915*2^1398964-1 is not prime. Res64: ED1E4A90CA97246F Time : 0.0 sec. user=mdettweiler [2015-05-13 09:44:36] 757*2^1398965-1 is not prime. Res64: AE21F69A61539C36 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:44:36] 787*2^1398965-1 is not prime. Res64: 654FFFDB932D2A5A Time : 0.0 sec. user=mdettweiler [2015-05-13 09:50:48] 897*2^1398965-1 is not prime. Res64: 10D4061BEF318E88 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:50:48] 957*2^1398965-1 is not prime. Res64: 2CD4944611008EC3 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:52:31] 969*2^1398965-1 is not prime. Res64: E87705604F182380 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:52:31] 611*2^1398966-1 is not prime. Res64: 81E27761EF6DAF85 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:53:57] 705*2^1398966-1 is not prime. Res64: F61D99F64A131246 Time : 0.0 sec. user=mdettweiler [2015-05-13 09:53:57] 761*2^1398966-1 is not prime. Res64: 2B6F5DB25C34E680 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:03:34] 765*2^1398966-1 is not prime. Res64: 9C703EEA77633C13 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:03:36] 795*2^1398966-1 is not prime. Res64: B0604D49068D7028 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:09:40] 807*2^1398966-1 is not prime. Res64: 40D837BF539436FE Time : 0.0 sec. user=mdettweiler [2015-05-13 10:09:40] 621*2^1398967-1 is not prime. Res64: 992C8DC84167ABBA Time : 0.0 sec. user=mdettweiler [2015-05-13 10:11:11] 841*2^1398967-1 is not prime. Res64: B13C23DB99AE710A Time : 0.0 sec. user=mdettweiler [2015-05-13 10:11:11] 699*2^1398968-1 is not prime. Res64: 27306D82ECB5A8B4 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:12:39] 747*2^1398968-1 is not prime. Res64: D01E0EA34F1A508B Time : 0.0 sec. user=mdettweiler [2015-05-13 10:12:40] 773*2^1398968-1 is not prime. Res64: B0D861606094EA56 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:22:24] 875*2^1398968-1 is not prime. Res64: 766D5BFF6ACE66BB Time : 0.0 sec. user=mdettweiler [2015-05-13 10:22:24] 957*2^1398968-1 is not prime. Res64: CC570213C12056CE Time : 0.0 sec. user=mdettweiler [2015-05-13 10:28:29] 679*2^1398969-1 is not prime. Res64: B1F6703006FDE12A Time : 0.0 sec. user=mdettweiler [2015-05-13 10:28:29] 811*2^1398969-1 is not prime. Res64: E8BDD4FE2ABE0B1F Time : 0.0 sec. user=mdettweiler [2015-05-13 10:29:38] 831*2^1398969-1 is not prime. Res64: 6FA64694720B4058 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:29:39] 861*2^1398969-1 is not prime. Res64: 5DD0A2B8A53128EF Time : 0.0 sec. user=mdettweiler [2015-05-13 10:31:23] 945*2^1398969-1 is not prime. Res64: 3245C1A7A3981969 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:31:23] 955*2^1398969-1 is not prime. Res64: A4F2A73BCE7B8836 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:41:08] 657*2^1398970-1 is not prime. Res64: 4D8F40E7D4F0EDD9 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:41:09] 665*2^1398970-1 is not prime. Res64: 209D3F6364B6EC04 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:47:08] 791*2^1398970-1 is not prime. Res64: 46C68A0F4B90C95D Time : 0.0 sec. user=mdettweiler [2015-05-13 10:47:08] 911*2^1398970-1 is not prime. Res64: AB33B524707ACA80 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:48:29] 995*2^1398970-1 is not prime. Res64: 0F36082C9301143C Time : 0.0 sec. user=mdettweiler [2015-05-13 10:48:30] 753*2^1398971-1 is not prime. Res64: C23C89C15E29A703 Time : 0.0 sec. user=mdettweiler [2015-05-13 10:50:18] 789*2^1398971-1 is not prime. Res64: 4FE1EBBAA36720BC Time : 0.0 sec. user=mdettweiler [2015-05-13 10:50:18] 913*2^1398971-1 is not prime. Res64: 110163E0B8A05964 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:00:25] 943*2^1398971-1 is not prime. Res64: B1149C88E925BD17 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:00:25] 955*2^1398971-1 is not prime. Res64: 0B29E8696C416F8E Time : 0.0 sec. user=mdettweiler [2015-05-13 11:06:35] 979*2^1398971-1 is not prime. Res64: 9E88C81F7F0F72C8 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:06:35] 605*2^1398972-1 is not prime. Res64: 0EC98073F3FADF9F Time : 0.0 sec. user=mdettweiler [2015-05-13 11:07:50] 749*2^1398972-1 is not prime. Res64: 9F206172A269F467 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:07:50] 779*2^1398972-1 is not prime. Res64: 6659E984E3830B44 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:09:15] 819*2^1398972-1 is not prime. Res64: 2003A76AA1E001C7 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:09:15] 947*2^1398972-1 is not prime. Res64: 90100481E55732F0 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:21:51] 685*2^1398973-1 is not prime. Res64: 37C26176DEADFED1 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:21:51] 715*2^1398973-1 is not prime. Res64: 55880CEC4C57EF1C Time : 0.0 sec. user=mdettweiler [2015-05-13 11:29:42] 817*2^1398973-1 is not prime. Res64: 0FB4AE01C7E8C1AB Time : 0.0 sec. user=mdettweiler [2015-05-13 11:29:43] 861*2^1398973-1 is not prime. Res64: 471B24827B3C9B82 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:31:41] 619*2^1398975-1 is not prime. Res64: E57E2EAD423BCB53 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:31:41] 639*2^1398975-1 is not prime. Res64: 37B352CE0D254EC6 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:31:47] 895*2^1398973-1 is not prime. Res64: B0720930846760E9 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:31:47] 635*2^1398974-1 is not prime. Res64: D3C589E04B7FBC4B Time : 0.0 sec. user=mdettweiler [2015-05-13 11:42:45] 649*2^1398975-1 is not prime. Res64: B2F6409D0655AEA3 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:42:46] 765*2^1398975-1 is not prime. Res64: CF40C5E1BEF8A65A Time : 0.0 sec. user=mdettweiler [2015-05-13 11:49:04] 789*2^1398975-1 is not prime. Res64: B79F30884A7FA753 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:49:04] 805*2^1398975-1 is not prime. Res64: CFA5ADD5F369B186 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:50:41] 871*2^1398975-1 is not prime. Res64: F81F86A445ED2F1B Time : 0.0 sec. user=mdettweiler [2015-05-13 11:50:42] 609*2^1398976-1 is not prime. Res64: BFA22CCE7C475600 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:51:35] 829*2^1398975-1 is not prime. Res64: 9288DAD0C0F4ED47 Time : 0.0 sec. user=mdettweiler [2015-05-13 11:51:35] 853*2^1398975-1 is not prime. Res64: 73C9C0E7F2CD0F5F Time : 0.0 sec. user=mdettweiler [2015-05-13 12:01:36] 723*2^1398976-1 is not prime. Res64: 7B4D8F961FA8662A Time : 0.0 sec. user=mdettweiler [2015-05-13 12:01:36] 747*2^1398976-1 is not prime. Res64: 9601E36C4C34B7B0 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:08:30] 777*2^1398976-1 is not prime. Res64: 647D05C0A6F622A1 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:08:30] 839*2^1398976-1 is not prime. Res64: BEEC0F465B144015 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:10:17] 843*2^1398976-1 is not prime. Res64: EAF2DEE97CA93A01 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:10:17] 849*2^1398976-1 is not prime. Res64: 48FF413B15EAE886 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:10:48] 873*2^1398976-1 is not prime. Res64: 5B89B39267C23DF9 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:10:48] 989*2^1398976-1 is not prime. Res64: 4879D79766317526 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:21:38] 711*2^1398977-1 is not prime. Res64: E519215036650955 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:21:38] 735*2^1398977-1 is not prime. Res64: AA9B8B7DD20068DC Time : 0.0 sec. user=mdettweiler [2015-05-13 12:30:02] 747*2^1398977-1 is not prime. Res64: 5F9D504D72D991AF Time : 0.0 sec. user=mdettweiler [2015-05-13 12:30:02] 831*2^1398977-1 is not prime. Res64: DA7873B2209AB102 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:30:31] 621*2^1398978-1 is not prime. Res64: FE19B3F66C8F0403 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:30:31] 765*2^1398978-1 is not prime. Res64: 5D254D97F9CE166C Time : 0.0 sec. user=mdettweiler [2015-05-13 12:31:35] 773*2^1398978-1 is not prime. Res64: D4DE7A3E29147379 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:31:36] 797*2^1398978-1 is not prime. Res64: 04E4F02B6C334249 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:41:09] 801*2^1398978-1 is not prime. Res64: 65D34F806F1776D1 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:41:09] 803*2^1398978-1 is not prime. Res64: A5F31FDACCFEF4D2 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:48:48] 833*2^1398978-1 is not prime. Res64: 6FFF2DACE0386009 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:48:48] 893*2^1398978-1 is not prime. Res64: 205742C9AED6CE01 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:49:34] 923*2^1398978-1 is not prime. Res64: 21E1AC09A39E4727 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:49:34] 933*2^1398978-1 is not prime. Res64: EFB63BCA9E315CC9 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:50:33] 1001*2^1398978-1 is not prime. Res64: 47307E35781F12D1 Time : 0.0 sec. user=mdettweiler [2015-05-13 12:50:33] 691*2^1398979-1 is not prime. Res64: E06F67C3C225450C Time : 0.0 sec. user=mdettweiler [2015-05-13 13:00:27] 693*2^1398979-1 is not prime. Res64: 8C1645E4ACC45FA3 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:00:27] 769*2^1398979-1 is not prime. Res64: 6AED9E408E6980BF Time : 0.0 sec. user=mdettweiler [2015-05-13 13:08:35] 829*2^1398979-1 is not prime. Res64: 05067A220DEB1315 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:08:35] 629*2^1398980-1 is not prime. Res64: 8D81C633345D4455 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:08:53] 635*2^1398980-1 is not prime. Res64: DF23D5205439DA70 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:08:53] 647*2^1398980-1 is not prime. Res64: AA292832E9694C2F Time : 0.0 sec. user=mdettweiler [2015-05-13 13:09:54] 717*2^1398980-1 is not prime. Res64: 828CD9CDF3FC4905 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:09:54] 773*2^1398980-1 is not prime. Res64: B3E1DB92C6B6DBF2 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:21:02] 797*2^1398980-1 is not prime. Res64: 566B3B5E3B09BD61 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:21:02] 915*2^1398980-1 is not prime. Res64: A1BA98E106EECB84 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:30:44] 795*2^1398981-1 is not prime. Res64: 977E5C79AE739015 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:30:44] 937*2^1398981-1 is not prime. Res64: 4D5F02D8EACE4349 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:30:54] 649*2^1398981-1 is not prime. Res64: 698ECB431EC668CC Time : 0.0 sec. user=mdettweiler [2015-05-13 13:30:55] 691*2^1398981-1 is not prime. Res64: DEC3BFCFAC056F3F Time : 0.0 sec. user=mdettweiler [2015-05-13 13:31:45] 815*2^1398982-1 is not prime. Res64: BA7FC3C667EB42E8 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:31:45] 885*2^1398982-1 is not prime. Res64: 7B96E4F1E8D1FB3E Time : 0.0 sec. user=mdettweiler [2015-05-13 13:43:58] 965*2^1398982-1 is not prime. Res64: 2811BEB96BE9ADFE Time : 0.0 sec. user=mdettweiler [2015-05-13 13:43:58] 603*2^1398983-1 is not prime. Res64: 450449F42368EEF6 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:53:48] 753*2^1398983-1 is not prime. Res64: 8BB6EE696BD9499A Time : 0.0 sec. user=mdettweiler [2015-05-13 13:53:49] 775*2^1398983-1 is not prime. Res64: 5CCD760A5E018B75 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:54:08] 663*2^1398983-1 is not prime. Res64: 2FC85E8DB06538A9 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:54:08] 679*2^1398983-1 is not prime. Res64: 1623514D25B648A1 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:54:53] 823*2^1398983-1 is not prime. Res64: 9DF2E7696CE07A42 Time : 0.0 sec. user=mdettweiler [2015-05-13 13:54:53] 913*2^1398983-1 is not prime. Res64: 69A9A6A3CC805589 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:04:08] 963*2^1398983-1 is not prime. Res64: 4FA9114002B0D33B Time : 0.0 sec. user=mdettweiler [2015-05-13 14:04:09] 981*2^1398983-1 is not prime. Res64: 45841F03890048C2 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:12:09] 663*2^1398984-1 is not prime. Res64: F65E5709AB74EE2C Time : 0.0 sec. user=mdettweiler [2015-05-13 14:12:10] 693*2^1398984-1 is not prime. Res64: 485BF43F48E83663 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:12:32] 747*2^1398984-1 is not prime. Res64: B1058C28FB130EE2 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:12:32] 773*2^1398984-1 is not prime. Res64: 5E55D8054A1F4040 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:13:18] 843*2^1398984-1 is not prime. Res64: C2959FC12D0DD1F3 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:13:19] 873*2^1398984-1 is not prime. Res64: A381FA7109725DA4 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:22:31] 893*2^1398984-1 is not prime. Res64: 53E3169C026A236D Time : 0.0 sec. user=mdettweiler [2015-05-13 14:22:31] 675*2^1398985-1 is not prime. Res64: B282B483C912CE0E Time : 0.0 sec. user=juhehe [2015-05-13 14:25:04] 993*2^1398983-1 is not prime. Res64: A6E48E3B8A4425D4 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:30:34] 691*2^1398985-1 is not prime. Res64: B1CE9AE39AB3E4D0 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:30:34] 741*2^1398985-1 is not prime. Res64: B86C3F256B92877D Time : 0.0 sec. user=mdettweiler [2015-05-13 14:31:03] 771*2^1398985-1 is not prime. Res64: 956936ED495EBB8C Time : 0.0 sec. user=mdettweiler [2015-05-13 14:31:03] 885*2^1398985-1 is not prime. Res64: 5766909AACC5FCC9 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:31:44] 717*2^1398986-1 is not prime. Res64: 8FF39AE1F8D077D0 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:31:45] 813*2^1398986-1 is not prime. Res64: 1E75D7609B75B3A8 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:40:46] 827*2^1398986-1 is not prime. Res64: 69CB61F38657D06C Time : 0.0 sec. user=mdettweiler [2015-05-13 14:40:46] 903*2^1398986-1 is not prime. Res64: D284FB8B5E46CBCD Time : 0.0 sec. user=mdettweiler [2015-05-13 14:48:52] 981*2^1398986-1 is not prime. Res64: AE2100D1758662BD Time : 0.0 sec. user=mdettweiler [2015-05-13 14:48:53] 649*2^1398987-1 is not prime. Res64: 921FF2D3CD354265 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:49:12] 765*2^1398987-1 is not prime. Res64: 4A9270A67A3DFC8E Time : 0.0 sec. user=mdettweiler [2015-05-13 14:49:12] 793*2^1398987-1 is not prime. Res64: 284AF209F940F912 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:49:57] 795*2^1398987-1 is not prime. Res64: 4846C81A187A8D21 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:49:57] 955*2^1398987-1 is not prime. Res64: 0638A1B7B4876265 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:58:36] 797*2^1398988-1 is not prime. Res64: FA309B59946160E7 Time : 0.0 sec. user=mdettweiler [2015-05-13 14:58:36] 825*2^1398988-1 is not prime. Res64: 901ACE7D5A6CDDBC Time : 0.0 sec. user=mdettweiler [2015-05-13 15:07:03] 969*2^1398988-1 is not prime. Res64: 6666289432F5A02E Time : 0.0 sec. user=mdettweiler [2015-05-13 15:07:03] 631*2^1398989-1 is not prime. Res64: B984ADC0BE56C90B Time : 0.0 sec. user=mdettweiler [2015-05-13 15:07:18] 655*2^1398989-1 is not prime. Res64: A6C0233C0BC6D8A7 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:07:18] 685*2^1398989-1 is not prime. Res64: 12F5AF514808D5E8 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:07:53] 727*2^1398989-1 is not prime. Res64: 0AC10AD8E205927D Time : 0.0 sec. user=mdettweiler [2015-05-13 15:07:53] 837*2^1398989-1 is not prime. Res64: C959F2E189667F65 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:16:46] 951*2^1398989-1 is not prime. Res64: D5807A4DEDEC1F15 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:16:47] 707*2^1398990-1 is not prime. Res64: 0F05DD29FA45DA04 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:25:10] 765*2^1398990-1 is not prime. Res64: FF965CD50F84913A Time : 0.0 sec. user=mdettweiler [2015-05-13 15:25:10] 783*2^1398990-1 is not prime. Res64: B578315399C45868 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:25:19] 861*2^1398990-1 is not prime. Res64: B13EFCF75FB48FE3 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:25:19] 921*2^1398990-1 is not prime. Res64: FFB3FF67749D4ECF Time : 0.0 sec. user=mdettweiler [2015-05-13 15:25:53] 619*2^1398991-1 is not prime. Res64: 488D7EB7DF6DE3F3 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:25:53] 769*2^1398991-1 is not prime. Res64: 3CF4E77E0922B670 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:35:18] 813*2^1398991-1 is not prime. Res64: A8C2BBB24FD16CD3 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:35:18] 979*2^1398991-1 is not prime. Res64: C74F8769854F2AEA Time : 0.0 sec. user=mdettweiler [2015-05-13 15:43:37] 615*2^1398992-1 is not prime. Res64: 7F3823202E3D2C77 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:43:37] 803*2^1398992-1 is not prime. Res64: 39B79E0EE2AC04E9 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:43:55] 899*2^1398992-1 is not prime. Res64: 234CC3A6CA2285D0 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:43:56] 983*2^1398992-1 is not prime. Res64: C895C8567045E195 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:44:11] 639*2^1398993-1 is not prime. Res64: 7C19D8AD764DE01B Time : 0.0 sec. user=mdettweiler [2015-05-13 15:44:11] 675*2^1398993-1 is not prime. Res64: E0EF78C2F73A468B Time : 0.0 sec. user=mdettweiler [2015-05-13 15:53:58] 685*2^1398993-1 is not prime. Res64: A389C6B7E2DF6353 Time : 0.0 sec. user=mdettweiler [2015-05-13 15:53:58] 789*2^1398993-1 is not prime. Res64: 21BEA357F113B1AD Time : 0.0 sec. user=mdettweiler [2015-05-13 16:03:00] 919*2^1398993-1 is not prime. Res64: 0067E5B207417937 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:03:00] 891*2^1398993-1 is not prime. Res64: 0B4A9C82629EA058 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:03:00] 979*2^1398993-1 is not prime. Res64: B9D6CAB5A6CCD9DF Time : 0.0 sec. user=mdettweiler [2015-05-13 16:03:00] 895*2^1398993-1 is not prime. Res64: DEF963E547A28E4E Time : 0.0 sec. user=mdettweiler [2015-05-13 16:03:45] 999*2^1398993-1 is not prime. Res64: 504846789F10888C Time : 0.0 sec. user=mdettweiler [2015-05-13 16:03:46] 611*2^1398994-1 is not prime. Res64: DA5D0926851A1869 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:13:27] 677*2^1398994-1 is not prime. Res64: 04AB27B6235BF160 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:13:27] 741*2^1398994-1 is not prime. Res64: 9644EF283396B42F Time : 0.0 sec. user=mdettweiler [2015-05-13 16:21:35] 885*2^1398994-1 is not prime. Res64: 36529AA67C05C37D Time : 0.0 sec. user=mdettweiler [2015-05-13 16:21:35] 903*2^1398994-1 is not prime. Res64: 11B7ACCE432FBCA4 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:21:48] 827*2^1398994-1 is not prime. Res64: AEBC07AE021A230B Time : 0.0 sec. user=mdettweiler [2015-05-13 16:21:48] 857*2^1398994-1 is not prime. Res64: 074887057B4F50BF Time : 0.0 sec. user=mdettweiler [2015-05-13 16:22:34] 917*2^1398994-1 is not prime. Res64: D9196E8B0651AC9C Time : 0.0 sec. user=mdettweiler [2015-05-13 16:22:34] 971*2^1398994-1 is not prime. Res64: 6E2F571FB754CB18 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:31:13] 655*2^1398995-1 is not prime. Res64: 0F31D44E68489F41 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:31:13] 741*2^1398995-1 is not prime. Res64: C3DDED82DF4BFDEB Time : 0.0 sec. user=mdettweiler [2015-05-13 16:39:15] 759*2^1398995-1 is not prime. Res64: 43A245AED90FC03C Time : 0.0 sec. user=mdettweiler [2015-05-13 16:39:15] 889*2^1398995-1 is not prime. Res64: A48721651A84A3A5 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:39:33] 915*2^1398995-1 is not prime. Res64: A11621F6F9BB2777 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:39:33] 963*2^1398995-1 is not prime. Res64: D395DBF8A07DE6A9 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:40:24] 985*2^1398995-1 is not prime. Res64: F03B22B0F8C62EA7 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:40:24] 657*2^1398996-1 is not prime. Res64: EF82E3CE5935EDCC Time : 0.0 sec. user=mdettweiler [2015-05-13 16:48:56] 689*2^1398996-1 is not prime. Res64: DCEC6EDE3F328BB5 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:48:57] 705*2^1398996-1 is not prime. Res64: 0D5204531B655560 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:57:03] 765*2^1398996-1 is not prime. Res64: 7F377DF8D90C935A Time : 0.0 sec. user=mdettweiler [2015-05-13 16:57:04] 825*2^1398996-1 is not prime. Res64: B5CC55B337BFB62F Time : 0.0 sec. user=mdettweiler [2015-05-13 16:57:23] 843*2^1398996-1 is not prime. Res64: 895679BDA0D3804B Time : 0.0 sec. user=mdettweiler [2015-05-13 16:57:23] 835*2^1398997-1 is not prime. Res64: 0151DC8F45C19E04 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:58:06] 849*2^1398997-1 is not prime. Res64: 7F708FF3C63E0AE8 Time : 0.0 sec. user=mdettweiler [2015-05-13 16:58:07] 915*2^1398997-1 is not prime. Res64: 9EF20CB5A5D50DD5 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:06:38] 961*2^1398997-1 is not prime. Res64: 1212338D71149CDF Time : 0.0 sec. user=mdettweiler [2015-05-13 17:06:39] 617*2^1398998-1 is not prime. Res64: 44A17E832C1BD3CC Time : 0.0 sec. user=mdettweiler [2015-05-13 17:14:43] 671*2^1398998-1 is not prime. Res64: 41B6BFBF2457E07D Time : 0.0 sec. user=mdettweiler [2015-05-13 17:14:43] 693*2^1398998-1 is not prime. Res64: 89A75587E1E98416 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:15:19] 897*2^1398998-1 is not prime. Res64: E9BC3D32342E889C Time : 0.0 sec. user=mdettweiler [2015-05-13 17:15:20] 921*2^1398998-1 is not prime. Res64: F7A41E787E796206 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:15:47] 615*2^1398999-1 is not prime. Res64: 9303B559627214CC Time : 0.0 sec. user=mdettweiler [2015-05-13 17:15:47] 931*2^1398999-1 is not prime. Res64: 0E24EAF74AC5CDE1 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:24:43] 961*2^1398999-1 is not prime. Res64: 7E0C3C1FB766B8F1 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:24:44] 999*2^1398999-1 is not prime. Res64: BEE26323FA952813 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:32:24] 609*2^1399000-1 is not prime. Res64: 0AC3880B91FA6C07 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:32:24] 615*2^1399000-1 is not prime. Res64: B40799B92F5CC30D Time : 0.0 sec. user=mdettweiler [2015-05-13 17:33:03] 645*2^1399000-1 is not prime. Res64: 9791C70E17EB0D9F Time : 0.0 sec. user=mdettweiler [2015-05-13 17:33:04] 653*2^1399000-1 is not prime. Res64: 1A824AA506C25D46 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:33:27] 735*2^1399000-1 is not prime. Res64: C50CC504F8275554 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:33:28] 857*2^1399000-1 is not prime. Res64: C6243FA0A1758E7A Time : 0.0 sec. user=mdettweiler [2015-05-13 17:42:29] 989*2^1399000-1 is not prime. Res64: 7F8C6E7075FDD996 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:42:30] 645*2^1399001-1 is not prime. Res64: B5799947F97694F8 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:50:08] 691*2^1399001-1 is not prime. Res64: DE8C88712F1970E1 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:50:08] 745*2^1399001-1 is not prime. Res64: 269D692BCBC1D7BC Time : 0.0 sec. user=mdettweiler [2015-05-13 17:50:51] 747*2^1399001-1 is not prime. Res64: 648E9C8968EDB6C8 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:50:51] 781*2^1399001-1 is not prime. Res64: 7C352D8876A5705B Time : 0.0 sec. user=mdettweiler [2015-05-13 17:51:05] 811*2^1399001-1 is not prime. Res64: AF9DCB69E43C8697 Time : 0.0 sec. user=mdettweiler [2015-05-13 17:51:06] 931*2^1399001-1 is not prime. Res64: 9B7F05D5DFB6678D Time : 0.0 sec. user=mdettweiler [2015-05-13 18:00:09] 937*2^1399001-1 is not prime. Res64: 4719E2A16501C54F Time : 0.0 sec. user=mdettweiler [2015-05-13 18:00:10] 987*2^1399001-1 is not prime. Res64: 6A0EBAFA8A9704F6 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:07:50] 621*2^1399002-1 is not prime. Res64: 29748D2DEB886BA2 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:07:50] 683*2^1399002-1 is not prime. Res64: FBDF24C1B5B156A6 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:08:38] 705*2^1399002-1 is not prime. Res64: EFAF76C71294184A Time : 0.0 sec. user=mdettweiler [2015-05-13 18:08:38] 765*2^1399002-1 is not prime. Res64: B1F50E96F566BBB0 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:08:43] 801*2^1399002-1 is not prime. Res64: 56C91945AFFC88D8 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:08:43] 837*2^1399002-1 is not prime. Res64: 634D3C216D74746C Time : 0.0 sec. user=mdettweiler [2015-05-13 18:17:51] 625*2^1399003-1 is not prime. Res64: 7D0D8F23012CE906 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:17:51] 631*2^1399003-1 is not prime. Res64: 59F34B1D40AAFD5C Time : 0.0 sec. user=mdettweiler [2015-05-13 18:25:39] 649*2^1399003-1 is not prime. Res64: B2C5DA9E7D5D365B Time : 0.0 sec. user=mdettweiler [2015-05-13 18:25:40] 663*2^1399003-1 is not prime. Res64: B4407365D59EFFB6 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:26:16] 691*2^1399003-1 is not prime. Res64: B1EBA4A3221467CA Time : 0.0 sec. user=mdettweiler [2015-05-13 18:26:17] 723*2^1399003-1 is not prime. Res64: 90F9D2703B8C81AE Time : 0.0 sec. user=mdettweiler [2015-05-13 18:26:17] 793*2^1399003-1 is not prime. Res64: 979888A794947926 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:26:17] 835*2^1399003-1 is not prime. Res64: DE6C357474DE9E1A Time : 0.0 sec. user=mdettweiler [2015-05-13 18:35:28] 919*2^1399003-1 is not prime. Res64: 947FFFD86DC8D043 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:35:28] 943*2^1399003-1 is not prime. Res64: C6925AD926225906 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:43:32] 629*2^1399004-1 is not prime. Res64: A047D0ACDF90F43D Time : 0.0 sec. user=mdettweiler [2015-05-13 18:43:33] 743*2^1399004-1 is not prime. Res64: 84A22FFD3F11FD9B Time : 0.0 sec. user=mdettweiler [2015-05-13 18:44:02] 813*2^1399004-1 is not prime. Res64: 1560183912918B2F Time : 0.0 sec. user=mdettweiler [2015-05-13 18:44:02] 825*2^1399004-1 is not prime. Res64: 610241E4BDE804DB Time : 0.0 sec. user=mdettweiler [2015-05-13 18:44:03] 897*2^1399004-1 is not prime. Res64: 6238E34C50634939 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:44:03] 899*2^1399004-1 is not prime. Res64: 636750A01FC9D311 Time : 0.0 sec. user=mdettweiler [2015-05-13 18:53:15] 945*2^1399004-1 is not prime. Res64: B6FBDEC620E1B38B Time : 0.0 sec. user=mdettweiler [2015-05-13 18:53:15] 983*2^1399004-1 is not prime. Res64: F3D8A3FE80734122 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:01:16] 691*2^1399005-1 is not prime. Res64: 1EE494887FA36232 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:01:17] 805*2^1399005-1 is not prime. Res64: DF100272DF13E099 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:01:46] 705*2^1399006-1 is not prime. Res64: F3249B51F2225BCA Time : 0.0 sec. user=mdettweiler [2015-05-13 19:01:47] 723*2^1399006-1 is not prime. Res64: 64CE7CCA58DDC32B Time : 0.0 sec. user=mdettweiler [2015-05-13 19:01:48] 915*2^1399005-1 is not prime. Res64: 67BB391DF1081DC7 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:01:48] 921*2^1399005-1 is not prime. Res64: 48EDC7EE65BC17F4 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:11:00] 833*2^1399006-1 is not prime. Res64: F9D8C107304AE52B Time : 0.0 sec. user=mdettweiler [2015-05-13 19:11:00] 857*2^1399006-1 is not prime. Res64: 1C6872834016175A Time : 0.0 sec. user=mdettweiler [2015-05-13 19:18:59] 881*2^1399006-1 is not prime. Res64: 550213D9F13F0B80 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:18:59] 971*2^1399006-1 is not prime. Res64: 133A2ABAEDACD1F6 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:19:34] 601*2^1399007-1 is not prime. Res64: B978098852D39CCE Time : 0.0 sec. user=mdettweiler [2015-05-13 19:19:34] 615*2^1399007-1 is not prime. Res64: 7872786252484222 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:19:36] 705*2^1399007-1 is not prime. Res64: 7AB0CA59FB7CE91C Time : 0.0 sec. user=mdettweiler [2015-05-13 19:19:37] 715*2^1399007-1 is not prime. Res64: 4DAF83874FB15F37 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:28:51] 741*2^1399007-1 is not prime. Res64: 754D8C04C4E63B39 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:28:52] 763*2^1399007-1 is not prime. Res64: F88A7368B8CCD822 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:36:49] 775*2^1399007-1 is not prime. Res64: D05FE576EC182523 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:36:50] 901*2^1399007-1 is not prime. Res64: 658DA736D0E52683 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:37:22] 939*2^1399007-1 is not prime. Res64: 602386EC53AD2486 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:37:22] 981*2^1399007-1 is not prime. Res64: F5C73E3D18E2E12C Time : 0.0 sec. user=mdettweiler [2015-05-13 19:37:23] 993*2^1399007-1 is not prime. Res64: 7FCE342215E873B8 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:37:23] 635*2^1399008-1 is not prime. Res64: BD808048ED68567B Time : 0.0 sec. user=mdettweiler [2015-05-13 19:46:40] 737*2^1399008-1 is not prime. Res64: 54CBCFEE0B39A945 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:46:40] 797*2^1399008-1 is not prime. Res64: B2BC892E5BB11FDB Time : 0.0 sec. user=mdettweiler [2015-05-13 19:54:30] 809*2^1399008-1 is not prime. Res64: 186981D2E9D77AC7 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:54:30] 887*2^1399008-1 is not prime. Res64: C0FB5BB4B537748F Time : 0.0 sec. user=mdettweiler [2015-05-13 19:55:06] 687*2^1399009-1 is not prime. Res64: 34E4D534C665879F Time : 0.0 sec. user=mdettweiler [2015-05-13 19:55:06] 861*2^1399009-1 is not prime. Res64: 5720AEF83A143703 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:55:12] 899*2^1399008-1 is not prime. Res64: A2A2DDB2E9FFB190 Time : 0.0 sec. user=mdettweiler [2015-05-13 19:55:12] 649*2^1399009-1 is not prime. Res64: CA7FA7613286D147 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:04:28] 985*2^1399009-1 is not prime. Res64: 854F777954DF2D29 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:04:29] 987*2^1399009-1 is not prime. Res64: C6C7D212B8A3E38C Time : 0.0 sec. user=mdettweiler [2015-05-13 20:12:21] 641*2^1399010-1 is not prime. Res64: 79A6325DA49180FB Time : 0.0 sec. user=mdettweiler [2015-05-13 20:12:21] 651*2^1399010-1 is not prime. Res64: F5D9AA993E459749 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:12:58] 785*2^1399010-1 is not prime. Res64: A375C65EBEA07FB4 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:12:58] 867*2^1399010-1 is not prime. Res64: 69BB3675E8C62256 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:13:03] 875*2^1399010-1 is not prime. Res64: B01DCBB1B96BAFF0 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:13:04] 619*2^1399011-1 is not prime. Res64: 1F1A1B08C78F4F12 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:23:04] 651*2^1399011-1 is not prime. Res64: 745D9C8C37FB20FF Time : 0.0 sec. user=mdettweiler [2015-05-13 20:23:05] 685*2^1399011-1 is not prime. Res64: 041144798422BC8A Time : 0.0 sec. user=mdettweiler [2015-05-13 20:30:19] 781*2^1399011-1 is not prime. Res64: 566EE761F67033B0 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:30:19] 829*2^1399011-1 is not prime. Res64: AD3FEBC8B5C9E6CC Time : 0.0 sec. user=mdettweiler [2015-05-13 20:30:59] 603*2^1399012-1 is not prime. Res64: 8A5B20D0C6F1F23A Time : 0.0 sec. user=mdettweiler [2015-05-13 20:30:59] 609*2^1399012-1 is not prime. Res64: 22EF38ED1C6E748A Time : 0.0 sec. user=mdettweiler [2015-05-13 20:31:01] 871*2^1399011-1 is not prime. Res64: 9E3FF3635AF217A1 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:31:01] 873*2^1399011-1 is not prime. Res64: 8DC12CD35FF5A4B2 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:40:37] 813*2^1399012-1 is not prime. Res64: 4160CF625934D4A8 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:40:37] 855*2^1399012-1 is not prime. Res64: D0A700B759CDAE87 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:47:49] 873*2^1399012-1 is not prime. Res64: 410370D03F8B8175 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:47:49] 989*2^1399012-1 is not prime. Res64: 67F451CE525A54B1 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:48:28] 741*2^1399013-1 is not prime. Res64: 2508EE3C06C788CD Time : 0.0 sec. user=mdettweiler [2015-05-13 20:48:28] 925*2^1399013-1 is not prime. Res64: 20D003A33480281F Time : 0.0 sec. user=mdettweiler [2015-05-13 20:48:33] 937*2^1399013-1 is not prime. Res64: CDCCDF49275A9E00 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:48:34] 693*2^1399014-1 is not prime. Res64: 0B3A4F3706D7A30E Time : 0.0 sec. user=mdettweiler [2015-05-13 20:58:13] 891*2^1399014-1 is not prime. Res64: 398D09F0BA99C029 Time : 0.0 sec. user=mdettweiler [2015-05-13 20:58:13] 923*2^1399014-1 is not prime. Res64: 2383E98BCB6B3858 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:05:22] 645*2^1399015-1 is not prime. Res64: AC5A43706757E160 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:05:23] 651*2^1399015-1 is not prime. Res64: 4C05670FB1257D47 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:05:58] 679*2^1399015-1 is not prime. Res64: 5B038CB16F6D72F5 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:05:59] 693*2^1399015-1 is not prime. Res64: D2FB18D6E38D178C Time : 0.0 sec. user=mdettweiler [2015-05-13 21:06:15] 819*2^1399015-1 is not prime. Res64: 65C02317D63B5ED4 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:06:17] 831*2^1399015-1 is not prime. Res64: 1104FC7E6582AF70 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:15:45] 915*2^1399015-1 is not prime. Res64: DC8857A2EC2341F8 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:15:45] 961*2^1399015-1 is not prime. Res64: E2ADA6E8E9F184E5 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:23:21] 623*2^1399016-1 is not prime. Res64: 440AA920472FAEAB Time : 0.0 sec. user=mdettweiler [2015-05-13 21:23:22] 663*2^1399016-1 is not prime. Res64: 8CB14218C89FD78D Time : 0.0 sec. user=mdettweiler [2015-05-13 21:23:37] 669*2^1399016-1 is not prime. Res64: F556C2327B982FB2 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:23:38] 725*2^1399016-1 is not prime. Res64: 4AB761F1F5548E18 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:23:49] 813*2^1399016-1 is not prime. Res64: 2603DA09F3292C87 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:23:49] 873*2^1399016-1 is not prime. Res64: A5AA4E899ABFA55F Time : 0.0 sec. user=mdettweiler [2015-05-13 21:33:20] 935*2^1399016-1 is not prime. Res64: E688E63E454FDECF Time : 0.0 sec. user=mdettweiler [2015-05-13 21:33:20] 963*2^1399016-1 is not prime. Res64: C3B8260BBF124D0B Time : 0.0 sec. user=mdettweiler [2015-05-13 21:40:54] 711*2^1399017-1 is not prime. Res64: C5A4561FD97FD790 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:40:54] 741*2^1399017-1 is not prime. Res64: C9FCD8A9B4A61980 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:41:19] 805*2^1399017-1 is not prime. Res64: FD986D0496149C21 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:41:19] 819*2^1399017-1 is not prime. Res64: 7ED2E9335A9EE103 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:41:24] 885*2^1399017-1 is not prime. Res64: 1F8A38F12C67EF54 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:41:24] 651*2^1399018-1 is not prime. Res64: F32B5C604A24614F Time : 0.0 sec. user=mdettweiler [2015-05-13 21:50:53] 681*2^1399018-1 is not prime. Res64: CB12FFF97D01EA0A Time : 0.0 sec. user=mdettweiler [2015-05-13 21:50:53] 743*2^1399018-1 is not prime. Res64: C16A9B831F39D0A3 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:58:32] 765*2^1399018-1 is not prime. Res64: 2ECD8111FDA914B7 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:58:33] 773*2^1399018-1 is not prime. Res64: 2F4A3EE8DB7B1181 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:58:47] 843*2^1399018-1 is not prime. Res64: 76AAB7BADEBBCC3D Time : 0.0 sec. user=mdettweiler [2015-05-13 21:58:48] 857*2^1399018-1 is not prime. Res64: 33734E4A13769366 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:58:58] 867*2^1399018-1 is not prime. Res64: 45F41D20CC671EE6 Time : 0.0 sec. user=mdettweiler [2015-05-13 21:58:58] 971*2^1399018-1 is not prime. Res64: 5FED2FCCB7CE3704 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:08:25] 685*2^1399019-1 is not prime. Res64: D4F904CA5EE69B2E Time : 0.0 sec. user=mdettweiler [2015-05-13 22:08:25] 741*2^1399019-1 is not prime. Res64: BABE021FE3F96D08 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:16:21] 859*2^1399019-1 is not prime. Res64: CA6EB46C3C043D69 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:16:22] 969*2^1399019-1 is not prime. Res64: 1A7AEF0CB63153F3 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:16:31] 725*2^1399020-1 is not prime. Res64: 4B1C19B5A06FAEB2 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:16:32] 773*2^1399020-1 is not prime. Res64: D563D24AC6DED1D3 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:16:52] 779*2^1399020-1 is not prime. Res64: 4D437FD461FACCAF Time : 0.0 sec. user=mdettweiler [2015-05-13 22:16:52] 857*2^1399020-1 is not prime. Res64: 590ECFB0572F9ABF Time : 0.0 sec. user=mdettweiler [2015-05-13 22:26:34] 899*2^1399020-1 is not prime. Res64: D9442D8FE145936C Time : 0.0 sec. user=mdettweiler [2015-05-13 22:26:35] 983*2^1399020-1 is not prime. Res64: AC9194E3687F1B7D Time : 0.0 sec. user=mdettweiler [2015-05-13 22:34:21] 615*2^1399021-1 is not prime. Res64: ED0167EE8F7094D8 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:34:21] 755*2^1399022-1 is not prime. Res64: 2FBF9B53AE5B7C4E Time : 0.0 sec. user=mdettweiler [2015-05-13 22:34:30] 767*2^1399022-1 is not prime. Res64: 7DCBE99B0679EE12 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:34:31] 827*2^1399022-1 is not prime. Res64: D0320E4714737C1E Time : 0.0 sec. user=mdettweiler [2015-05-13 22:34:55] 831*2^1399022-1 is not prime. Res64: 4F3E495EE35C008E Time : 0.0 sec. user=mdettweiler [2015-05-13 22:34:55] 885*2^1399022-1 is not prime. Res64: B8E4877DA0A135C0 Time : 0.0 sec. user=mdettweiler [2015-05-13 22:44:33] 893*2^1399022-1 is not prime. Res64: A158C177DA7888EC Time : 0.0 sec. user=mdettweiler [2015-05-13 22:44:33] 903*2^1399022-1 is not prime. Res64: 1E28108D9C40A038 Time : 0.0 sec.