user=mdettweiler [2020-03-31 00:06:55] 847*2^1556533-1 is not prime. Res64: EC186795974B6CD4 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:06:57] 885*2^1556533-1 is not prime. Res64: 39B63CA28102770F Time : 0.0 sec. user=mdettweiler [2020-03-31 00:06:58] 999*2^1556533-1 is not prime. Res64: 2038CC4BAA9D9DE0 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:06:58] 605*2^1556534-1 is not prime. Res64: 6FD565698A52C038 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:06:59] 741*2^1556534-1 is not prime. Res64: E496D3CE1B1C8238 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:09:11] 815*2^1556534-1 is not prime. Res64: 5EE5435D65CB0E66 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:09:12] 951*2^1556534-1 is not prime. Res64: A037ED1285C08F1D Time : 0.0 sec. user=mdettweiler [2020-03-31 00:09:13] 675*2^1556535-1 is not prime. Res64: 93BDC67E4D87A434 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:09:14] 723*2^1556535-1 is not prime. Res64: DE08D1657DDF96FA Time : 0.0 sec. user=mdettweiler [2020-03-31 00:09:15] 763*2^1556535-1 is not prime. Res64: 96A13C408845D402 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:22:32] 819*2^1556535-1 is not prime. Res64: 620C531C342C6BE1 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:22:32] 823*2^1556535-1 is not prime. Res64: 18D42D94FA993E89 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:22:33] 961*2^1556535-1 is not prime. Res64: FF546F7AA0F54CBD Time : 0.0 sec. user=mdettweiler [2020-03-31 00:22:33] 973*2^1556535-1 is not prime. Res64: CB88B4E5AFDE11C6 Time : 0.0 sec. user=mdettweiler [2020-03-31 00:22:34] 615*2^1556536-1 is not prime. Res64: 66D5FA868B05A1AD Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:42] 981*2^1556537-1 is not prime. Res64: 09C9921AE1C202FF Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:43] 611*2^1556538-1 is not prime. Res64: BACB6AC815264644 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:44] 627*2^1556538-1 is not prime. Res64: 77ACC7CDFC17669D Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:45] 663*2^1556538-1 is not prime. Res64: 2DA710F06AC3847C Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:45] 681*2^1556538-1 is not prime. Res64: 9467F50B50AB894F Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:49] 857*2^1556536-1 is not prime. Res64: 4F7F7A81781A8472 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:50] 933*2^1556536-1 is not prime. Res64: A6E4AD47D45FD0C5 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:51] 607*2^1556537-1 is not prime. Res64: 1AE73004B016C572 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:52] 781*2^1556537-1 is not prime. Res64: E4937F62C44B6EF3 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:01:53] 885*2^1556537-1 is not prime. Res64: 3C64B7FCF0468C8A Time : 0.0 sec. user=mdettweiler [2020-03-31 01:14:41] 711*2^1556538-1 is not prime. Res64: A468846090214A43 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:14:42] 713*2^1556538-1 is not prime. Res64: F9B2E517A75D614E Time : 0.0 sec. user=mdettweiler [2020-03-31 01:14:42] 803*2^1556538-1 is not prime. Res64: 636A73DD62D7A2C5 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:14:43] 815*2^1556538-1 is not prime. Res64: F4F14934A9D3A6ED Time : 0.0 sec. user=mdettweiler [2020-03-31 01:14:43] 843*2^1556538-1 is not prime. Res64: 8DB0346935F4368F Time : 0.0 sec. user=mdettweiler [2020-03-31 01:56:07] 873*2^1556539-1 is not prime. Res64: C3C4633C75034A42 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:56:09] 885*2^1556539-1 is not prime. Res64: 7B2E34375115A8FE Time : 0.0 sec. user=mdettweiler [2020-03-31 01:56:10] 951*2^1556539-1 is not prime. Res64: 621EEECE7B974C2D Time : 0.0 sec. user=mdettweiler [2020-03-31 01:56:11] 647*2^1556540-1 is not prime. Res64: 4E7B2BF6A2346273 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:56:12] 669*2^1556540-1 is not prime. Res64: BD5BB2936AF99662 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:57:19] 893*2^1556538-1 is not prime. Res64: CDA47B91838D04BD Time : 0.0 sec. user=mdettweiler [2020-03-31 01:57:20] 927*2^1556538-1 is not prime. Res64: FD327E219AFA5114 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:57:21] 993*2^1556538-1 is not prime. Res64: 29E067D014BE74B1 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:57:22] 735*2^1556539-1 is not prime. Res64: 5709FD8D89F544A3 Time : 0.0 sec. user=mdettweiler [2020-03-31 01:57:23] 859*2^1556539-1 is not prime. Res64: 997C6CA6D84F615B Time : 0.0 sec. user=mdettweiler [2020-03-31 02:08:12] 999*2^1556540-1 is not prime. Res64: 2AF4FFEFD4BEA271 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:08:18] 627*2^1556541-1 is not prime. Res64: 282FA89D05779458 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:08:20] 747*2^1556541-1 is not prime. Res64: 84CDA8862A6E44F6 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:08:26] 781*2^1556541-1 is not prime. Res64: 67B932B0FB55E21E Time : 0.0 sec. user=mdettweiler [2020-03-31 02:08:29] 805*2^1556541-1 is not prime. Res64: 9CF3E15C5BEA36DD Time : 0.0 sec. user=mdettweiler [2020-03-31 02:50:38] 829*2^1556541-1 is not prime. Res64: F4E724A075374DE1 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:50:39] 837*2^1556541-1 is not prime. Res64: A3F1C0646A4BE464 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:50:39] 861*2^1556541-1 is not prime. Res64: 572ABE53A0D89206 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:50:39] 867*2^1556541-1 is not prime. Res64: 0EF35C9AF96A34C8 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:50:40] 889*2^1556541-1 is not prime. Res64: 42FE468D899C7BC0 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:54:18] 907*2^1556541-1 is not prime. Res64: 006A83D0AB09ADA3 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:54:18] 975*2^1556541-1 is not prime. Res64: 1801B282263237BC Time : 0.0 sec. user=mdettweiler [2020-03-31 02:54:18] 785*2^1556542-1 is not prime. Res64: 54974580D8FC2200 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:54:19] 885*2^1556542-1 is not prime. Res64: 0832813431852C75 Time : 0.0 sec. user=mdettweiler [2020-03-31 02:54:19] 923*2^1556542-1 is not prime. Res64: 0964162881C75AFD Time : 0.0 sec. user=mdettweiler [2020-03-31 03:03:10] 981*2^1556542-1 is not prime. Res64: FD2EB613CBDDD47C Time : 0.0 sec. user=mdettweiler [2020-03-31 03:03:12] 621*2^1556543-1 is not prime. Res64: FB2E02020D3402C8 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:03:14] 805*2^1556543-1 is not prime. Res64: 81DF93D73059D5FA Time : 0.0 sec. user=mdettweiler [2020-03-31 03:03:15] 825*2^1556543-1 is not prime. Res64: 95C4671EB75B261B Time : 0.0 sec. user=mdettweiler [2020-03-31 03:03:16] 879*2^1556543-1 is not prime. Res64: E0C8981E8000B55F Time : 0.0 sec. user=mdettweiler [2020-03-31 03:46:04] 943*2^1556543-1 is not prime. Res64: 6FE24C050F14020F Time : 0.0 sec. user=mdettweiler [2020-03-31 03:46:06] 963*2^1556543-1 is not prime. Res64: 4695DFC8A9DA861D Time : 0.0 sec. user=mdettweiler [2020-03-31 03:46:07] 985*2^1556543-1 is not prime. Res64: 7FBF4925E9DAB80D Time : 0.0 sec. user=mdettweiler [2020-03-31 03:46:08] 629*2^1556544-1 is not prime. Res64: 6C76032B04CBD128 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:46:08] 725*2^1556544-1 is not prime. Res64: E5AEC8022776729A Time : 0.0 sec. user=mdettweiler [2020-03-31 03:47:44] 765*2^1556544-1 is not prime. Res64: 478351C8813D3915 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:47:44] 825*2^1556544-1 is not prime. Res64: 26BA5B7E88270D96 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:47:45] 837*2^1556544-1 is not prime. Res64: EA30BBD4A0CD1863 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:47:46] 945*2^1556544-1 is not prime. Res64: 6173219EF4C0879D Time : 0.0 sec. user=mdettweiler [2020-03-31 03:47:47] 645*2^1556545-1 is not prime. Res64: ABE085BA9D43B2F1 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:57:46] 687*2^1556545-1 is not prime. Res64: 61521EF3375C3063 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:57:47] 691*2^1556545-1 is not prime. Res64: C9A6BABA4A3A4804 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:57:48] 885*2^1556545-1 is not prime. Res64: E49E1D6249B65983 Time : 0.0 sec. user=mdettweiler [2020-03-31 03:57:49] 919*2^1556545-1 is not prime. Res64: 2CE2BE876A1EFD1D Time : 0.0 sec. user=mdettweiler [2020-03-31 03:57:50] 741*2^1556546-1 is not prime. Res64: 1A5FF107C4E51600 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:40:56] 651*2^1556547-1 is not prime. Res64: 98EFFF2DC8B61322 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:40:56] 691*2^1556547-1 is not prime. Res64: 61535C2EE5E1F2E6 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:40:56] 823*2^1556547-1 is not prime. Res64: 4A30C7356CD0DA89 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:40:57] 873*2^1556547-1 is not prime. Res64: 81E7D8930458DA5E Time : 0.0 sec. user=mdettweiler [2020-03-31 04:40:57] 903*2^1556547-1 is not prime. Res64: F6FF994BCDCA8D19 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:42:06] 773*2^1556546-1 is not prime. Res64: 8807C0C771EEF8E2 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:42:07] 911*2^1556546-1 is not prime. Res64: FDC6965BD4A7F36C Time : 0.0 sec. user=mdettweiler [2020-03-31 04:42:07] 923*2^1556546-1 is not prime. Res64: 56624C5FABBFE8B5 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:42:08] 941*2^1556546-1 is not prime. Res64: 72C175CBD774B84B Time : 0.0 sec. user=mdettweiler [2020-03-31 04:42:08] 615*2^1556547-1 is not prime. Res64: 31304AECFB25926C Time : 0.0 sec. user=mdettweiler [2020-03-31 04:50:33] 951*2^1556547-1 is not prime. Res64: A33F6D31F7552479 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:50:34] 617*2^1556548-1 is not prime. Res64: C20A8E9EA4046539 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:50:34] 623*2^1556548-1 is not prime. Res64: B413F894FF1755C3 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:50:34] 705*2^1556548-1 is not prime. Res64: F1C1AEC7E05AE267 Time : 0.0 sec. user=mdettweiler [2020-03-31 04:50:35] 735*2^1556548-1 is not prime. Res64: 37A5EDB661B11DBE Time : 0.0 sec. user=mdettweiler [2020-03-31 05:33:40] 777*2^1556548-1 is not prime. Res64: 4FC1833559741575 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:33:41] 839*2^1556548-1 is not prime. Res64: 3B6E8037F2B8D501 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:33:41] 845*2^1556548-1 is not prime. Res64: 4B35B5A98B0287DE Time : 0.0 sec. user=mdettweiler [2020-03-31 05:33:42] 869*2^1556548-1 is not prime. Res64: A9FCF70C665D40BE Time : 0.0 sec. user=mdettweiler [2020-03-31 05:33:42] 799*2^1556549-1 is not prime. Res64: 5E1C0AE3B667565C Time : 0.0 sec. user=mdettweiler [2020-03-31 05:35:26] 969*2^1556549-1 is not prime. Res64: 0F34B23FAAE7DE7E Time : 0.0 sec. user=mdettweiler [2020-03-31 05:35:27] 611*2^1556550-1 is not prime. Res64: BFF9638E53E57EA4 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:35:27] 777*2^1556550-1 is not prime. Res64: 0262850229DAD44C Time : 0.0 sec. user=mdettweiler [2020-03-31 05:35:27] 795*2^1556550-1 is not prime. Res64: 31446AE870DDFF65 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:35:28] 821*2^1556550-1 is not prime. Res64: 48C97B24F0A98626 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:45:42] 941*2^1556550-1 is not prime. Res64: 8F95BC61795978D1 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:45:43] 963*2^1556550-1 is not prime. Res64: 19B7BD2F36CDE462 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:45:43] 1001*2^1556550-1 is not prime. Res64: 6A9B2E3710CDC6F6 Time : 0.0 sec. user=mdettweiler [2020-03-31 05:45:44] 609*2^1556551-1 is not prime. Res64: 92F16A437098015F Time : 0.0 sec. user=mdettweiler [2020-03-31 05:45:44] 645*2^1556551-1 is not prime. Res64: ECDD8A9597B87FDC Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:52] 661*2^1556551-1 is not prime. Res64: 948B03C4EED096EC Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:53] 961*2^1556551-1 is not prime. Res64: 7CEDE23190817D0A Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:53] 645*2^1556552-1 is not prime. Res64: 22E2AF2D0840FAF9 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:53] 709*2^1556551-1 is not prime. Res64: 3EDD1592FFEC21AC Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:53] 665*2^1556552-1 is not prime. Res64: 3B372D3EF86CF578 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:54] 855*2^1556551-1 is not prime. Res64: AE06A530193842C6 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:54] 669*2^1556552-1 is not prime. Res64: 55D27FEAFC828C5D Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:54] 883*2^1556551-1 is not prime. Res64: 31E66084DD6AD60C Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:54] 693*2^1556552-1 is not prime. Res64: 0914CF77466AC9D5 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:27:54] 889*2^1556551-1 is not prime. Res64: 38E91E380CFB712F Time : 0.0 sec. user=mdettweiler [2020-03-31 06:37:12] 719*2^1556552-1 is not prime. Res64: EBB5EE0706046042 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:37:13] 827*2^1556552-1 is not prime. Res64: B49073D84E925188 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:37:13] 607*2^1556553-1 is not prime. Res64: D2DD47CEEE4CAC99 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:37:14] 609*2^1556553-1 is not prime. Res64: 369CCA8AFD59EE80 Time : 0.0 sec. user=mdettweiler [2020-03-31 06:37:14] 649*2^1556553-1 is not prime. Res64: F6AAA6B0834B75F2 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:22] 691*2^1556553-1 is not prime. Res64: 1D3321C79E43093B Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:23] 739*2^1556553-1 is not prime. Res64: 54998F89E1B9EDE0 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:23] 745*2^1556553-1 is not prime. Res64: A5808A1E7F6B187E Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:24] 817*2^1556553-1 is not prime. Res64: 2A51DD7F34E21848 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:24] 921*2^1556553-1 is not prime. Res64: 420F336425187C94 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:46] 937*2^1556553-1 is not prime. Res64: 87915360AD45C7DF Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:47] 949*2^1556553-1 is not prime. Res64: 99F7598675074F88 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:47] 611*2^1556554-1 is not prime. Res64: 89938ACBDA93478C Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:48] 617*2^1556554-1 is not prime. Res64: 7507274602C6D879 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:21:48] 651*2^1556554-1 is not prime. Res64: 068FBD2BDA5EFE63 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:29:55] 705*2^1556554-1 is not prime. Res64: A9E702893E20B412 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:29:55] 731*2^1556554-1 is not prime. Res64: 877B673D4D3BFEE1 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:29:55] 773*2^1556554-1 is not prime. Res64: 57443A602DCF59E2 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:29:56] 885*2^1556554-1 is not prime. Res64: 26C9ACA7BC5C7BD9 Time : 0.0 sec. user=mdettweiler [2020-03-31 07:29:56] 693*2^1556555-1 is not prime. Res64: 3AFB4D79592AFFA3 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:14:47] 859*2^1556557-1 is not prime. Res64: C1C729D8DC923990 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:14:47] 997*2^1556557-1 is not prime. Res64: E096B64C12D29219 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:14:48] 623*2^1556558-1 is not prime. Res64: E37588105844289D Time : 0.0 sec. user=mdettweiler [2020-03-31 08:14:48] 677*2^1556558-1 is not prime. Res64: 20BD9F4822023B2A Time : 0.0 sec. user=mdettweiler [2020-03-31 08:14:48] 761*2^1556558-1 is not prime. Res64: 77782F6C2F2E1C3C Time : 0.0 sec. user=mdettweiler [2020-03-31 08:15:51] 895*2^1556555-1 is not prime. Res64: 0FD2A26728BD1FC6 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:15:51] 759*2^1556556-1 is not prime. Res64: 3390B8EC1CE87552 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:15:51] 783*2^1556556-1 is not prime. Res64: 1C435AAFD94842D5 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:15:52] 933*2^1556556-1 is not prime. Res64: 5150BEE1DDCE91EF Time : 0.0 sec. user=mdettweiler [2020-03-31 08:15:52] 727*2^1556557-1 is not prime. Res64: 6F73B7266FC6BCA6 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:25:39] 773*2^1556558-1 is not prime. Res64: CC313F3EB1FAD7E5 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:25:40] 875*2^1556558-1 is not prime. Res64: 60B4E320D5904AE0 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:25:40] 887*2^1556558-1 is not prime. Res64: DD417FB5F77F4C49 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:25:41] 977*2^1556558-1 is not prime. Res64: 5BA2FFA645B4D299 Time : 0.0 sec. user=mdettweiler [2020-03-31 08:25:41] 993*2^1556558-1 is not prime. Res64: DC8D55C0B55ED008 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:33] 645*2^1556560-1 is not prime. Res64: 3321764A9A78142A Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:33] 695*2^1556560-1 is not prime. Res64: 8EE8907BD63AE339 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:34] 713*2^1556560-1 is not prime. Res64: 8A835B5607616062 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:34] 755*2^1556560-1 is not prime. Res64: A7F09BA5CE35750E Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:34] 939*2^1556560-1 is not prime. Res64: 56B2F8F99CC53CF9 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:35] 649*2^1556559-1 is not prime. Res64: FF1AD7CD07D0CA90 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:36] 685*2^1556559-1 is not prime. Res64: 85E8AEFD2B43CA70 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:36] 711*2^1556559-1 is not prime. Res64: 3F62A21FE94E588A Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:37] 921*2^1556559-1 is not prime. Res64: 70AA967DBD938F50 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:08:37] 969*2^1556559-1 is not prime. Res64: C7DC919A6F4D35D4 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:18:48] 615*2^1556561-1 is not prime. Res64: D32B779D862758D0 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:18:48] 631*2^1556561-1 is not prime. Res64: 1A829A1EF7B192B4 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:18:48] 747*2^1556561-1 is not prime. Res64: 43CD1374E6CFB750 Time : 0.0 sec. user=mdettweiler [2020-03-31 09:18:49] 855*2^1556561-1 is not prime. Res64: B97DA3123E967D4F Time : 0.0 sec. user=mdettweiler [2020-03-31 09:18:49] 885*2^1556561-1 is not prime. Res64: A17D39416CA74EC8 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:02:03] 981*2^1556561-1 is not prime. Res64: 637CE2EA94AAB16F Time : 0.0 sec. user=mdettweiler [2020-03-31 10:02:05] 611*2^1556562-1 is not prime. Res64: 88FE9A9E3E2425A7 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:02:06] 765*2^1556562-1 is not prime. Res64: D85D99A67854E9DE Time : 0.0 sec. user=mdettweiler [2020-03-31 10:02:07] 797*2^1556562-1 is not prime. Res64: 8D3FC745F7522909 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:02:08] 801*2^1556562-1 is not prime. Res64: 101D6E9B24479845 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:03:07] 815*2^1556562-1 is not prime. Res64: DA1CBCE6546E183D Time : 0.0 sec. user=mdettweiler [2020-03-31 10:03:09] 891*2^1556562-1 is not prime. Res64: 06387037DA8956E3 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:03:10] 983*2^1556562-1 is not prime. Res64: C62B46C8B41DE30F Time : 0.0 sec. user=mdettweiler [2020-03-31 10:03:11] 723*2^1556563-1 is not prime. Res64: 8FFDD4170D57BF85 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:03:12] 769*2^1556563-1 is not prime. Res64: 51D11BC6DECDB784 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:15:36] 805*2^1556563-1 is not prime. Res64: 41AF3D3854DEE579 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:15:37] 885*2^1556563-1 is not prime. Res64: 0CEEF7C45060954E Time : 0.0 sec. user=mdettweiler [2020-03-31 10:15:37] 889*2^1556563-1 is not prime. Res64: 69F4569234368FAC Time : 0.0 sec. user=mdettweiler [2020-03-31 10:15:38] 891*2^1556563-1 is not prime. Res64: 73AA75F94F875294 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:15:38] 943*2^1556563-1 is not prime. Res64: 6E49015F1AEFE1FE Time : 0.0 sec. user=mdettweiler [2020-03-31 10:54:17] 649*2^1556565-1 is not prime. Res64: 58B22A8AC112D0FC Time : 0.0 sec. user=mdettweiler [2020-03-31 10:54:18] 655*2^1556565-1 is not prime. Res64: 5EFFE47B2D298A2D Time : 0.0 sec. user=mdettweiler [2020-03-31 10:54:18] 691*2^1556565-1 is not prime. Res64: E41603D32A3466AC Time : 0.0 sec. user=mdettweiler [2020-03-31 10:54:18] 717*2^1556565-1 is not prime. Res64: B48B3174F46EB16E Time : 0.0 sec. user=mdettweiler [2020-03-31 10:54:19] 735*2^1556565-1 is not prime. Res64: B90A3B31704F08AE Time : 0.0 sec. user=mdettweiler [2020-03-31 10:57:07] 609*2^1556564-1 is not prime. Res64: 6A21D2BCB1B3D78F Time : 0.0 sec. user=mdettweiler [2020-03-31 10:57:07] 743*2^1556564-1 is not prime. Res64: 98590D151C7B502F Time : 0.0 sec. user=mdettweiler [2020-03-31 10:57:08] 837*2^1556564-1 is not prime. Res64: 8D3F010AABA843C6 Time : 0.0 sec. user=mdettweiler [2020-03-31 10:57:08] 893*2^1556564-1 is not prime. Res64: E1D307847B67793E Time : 0.0 sec. user=mdettweiler [2020-03-31 10:57:09] 959*2^1556564-1 is not prime. Res64: 00BF119D884107BB Time : 0.0 sec. user=mdettweiler [2020-03-31 11:08:55] 831*2^1556565-1 is not prime. Res64: 96668FDEE3DC3C68 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:08:57] 867*2^1556565-1 is not prime. Res64: F7E9355DFE813A77 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:08:58] 921*2^1556565-1 is not prime. Res64: E204815E1D9AD264 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:09:00] 635*2^1556566-1 is not prime. Res64: B1DA16CF354275CD Time : 0.0 sec. user=mdettweiler [2020-03-31 11:09:01] 843*2^1556566-1 is not prime. Res64: 15C3890ABB86FE6B Time : 0.0 sec. user=mdettweiler [2020-03-31 11:46:49] 983*2^1556566-1 is not prime. Res64: E18E923C84E5C977 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:46:50] 603*2^1556567-1 is not prime. Res64: F24D8A9A159D4169 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:46:50] 619*2^1556567-1 is not prime. Res64: 67318FED449FC715 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:46:50] 673*2^1556567-1 is not prime. Res64: 0B2C7D13C39D38DB Time : 0.0 sec. user=mdettweiler [2020-03-31 11:46:51] 685*2^1556567-1 is not prime. Res64: CD7DABDE8A8746AE Time : 0.0 sec. user=mdettweiler [2020-03-31 11:51:15] 763*2^1556567-1 is not prime. Res64: 58A2AC2DC4EF60FA Time : 0.0 sec. user=mdettweiler [2020-03-31 11:51:16] 931*2^1556567-1 is not prime. Res64: CC85416F8D64B319 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:51:16] 945*2^1556567-1 is not prime. Res64: 22F2A51719D8E7B7 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:51:16] 665*2^1556568-1 is not prime. Res64: 87562399EC8238B6 Time : 0.0 sec. user=mdettweiler [2020-03-31 11:51:17] 683*2^1556568-1 is not prime. Res64: 464C2C3027E38A18 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:03:53] 735*2^1556568-1 is not prime. Res64: C125EC64243ABFBC Time : 0.0 sec. user=mdettweiler [2020-03-31 12:03:54] 809*2^1556568-1 is not prime. Res64: A88F3A6DB0BC8EAA Time : 0.0 sec. user=mdettweiler [2020-03-31 12:03:54] 843*2^1556568-1 is not prime. Res64: DADF0FF97D3FEBD0 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:03:55] 899*2^1556568-1 is not prime. Res64: E1DB94EEBB116AB5 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:03:56] 909*2^1556568-1 is not prime. Res64: 6D4101BB0AD27662 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:41:39] 929*2^1556568-1 is not prime. Res64: DCA26C21B618D680 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:41:40] 959*2^1556568-1 is not prime. Res64: 7905865C292F5EAF Time : 0.0 sec. user=mdettweiler [2020-03-31 12:41:40] 801*2^1556569-1 is not prime. Res64: 32E219F9A7C83F99 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:41:40] 829*2^1556569-1 is not prime. Res64: F64466CB44C20B57 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:41:41] 867*2^1556569-1 is not prime. Res64: 1C9CA6327CD53CEC Time : 0.0 sec. user=mdettweiler [2020-03-31 12:43:46] 987*2^1556569-1 is not prime. Res64: E3E77B02A8A9EE63 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:43:47] 635*2^1556570-1 is not prime. Res64: 58ADB7B347E9B0BD Time : 0.0 sec. user=mdettweiler [2020-03-31 12:43:47] 645*2^1556570-1 is not prime. Res64: B0846847CF065D46 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:43:47] 665*2^1556570-1 is not prime. Res64: 5D58E94A5524E388 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:43:48] 717*2^1556570-1 is not prime. Res64: 59A26C0364F8CF81 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:57:23] 767*2^1556570-1 is not prime. Res64: ABD811F3B610639C Time : 0.0 sec. user=mdettweiler [2020-03-31 12:57:23] 945*2^1556570-1 is not prime. Res64: 25080331F5D0F689 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:57:23] 679*2^1556571-1 is not prime. Res64: 8061E190CE266F4E Time : 0.0 sec. user=mdettweiler [2020-03-31 12:57:24] 769*2^1556571-1 is not prime. Res64: B3ADFE7CC99ED4F7 Time : 0.0 sec. user=mdettweiler [2020-03-31 12:57:24] 789*2^1556571-1 is not prime. Res64: F833991D5F72B856 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:35:29] 979*2^1556571-1 is not prime. Res64: FDF3A3225F02D153 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:35:29] 999*2^1556571-1 is not prime. Res64: B0DE821C326C3FE9 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:35:29] 605*2^1556572-1 is not prime. Res64: 783492569ACC7974 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:35:30] 617*2^1556572-1 is not prime. Res64: 0ABF5846C2EAF7D1 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:35:30] 639*2^1556572-1 is not prime. Res64: DF3805C2442EEA6C Time : 0.0 sec. user=mdettweiler [2020-03-31 13:36:49] 695*2^1556572-1 is not prime. Res64: 53154AABECAEC642 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:36:49] 717*2^1556572-1 is not prime. Res64: 46D924C0CBB92ACE Time : 0.0 sec. user=mdettweiler [2020-03-31 13:36:49] 803*2^1556572-1 is not prime. Res64: 22FDE0CCD8BD013F Time : 0.0 sec. user=mdettweiler [2020-03-31 13:36:50] 873*2^1556572-1 is not prime. Res64: 4C098D2183507962 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:36:50] 959*2^1556572-1 is not prime. Res64: 83635A4D5FA25F94 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:51:01] 987*2^1556572-1 is not prime. Res64: 4F2223F89E6FFBF5 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:51:01] 769*2^1556573-1 is not prime. Res64: 062D8E62DB4FE970 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:51:02] 789*2^1556573-1 is not prime. Res64: B90D2334C5F90739 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:51:02] 795*2^1556573-1 is not prime. Res64: 8DFA1CDE8503E070 Time : 0.0 sec. user=mdettweiler [2020-03-31 13:51:02] 805*2^1556573-1 is not prime. Res64: 425B45137B9525BF Time : 0.0 sec. user=mdettweiler [2020-03-31 14:32:37] 861*2^1556574-1 is not prime. Res64: 69BAE9DF9AA64805 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:32:37] 875*2^1556574-1 is not prime. Res64: 25A85FEC28DB214A Time : 0.0 sec. user=mdettweiler [2020-03-31 14:32:38] 917*2^1556574-1 is not prime. Res64: 0F976B3A8BE12F15 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:32:38] 921*2^1556574-1 is not prime. Res64: AB46F163441F5C95 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:32:38] 965*2^1556574-1 is not prime. Res64: C8FD39D1F155689A Time : 0.0 sec. user=mdettweiler [2020-03-31 14:33:29] 925*2^1556573-1 is not prime. Res64: 5386D200DA83C158 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:33:29] 945*2^1556573-1 is not prime. Res64: 333FF02E62BFF989 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:33:29] 955*2^1556573-1 is not prime. Res64: 4B4C309B4751F2E8 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:33:30] 967*2^1556573-1 is not prime. Res64: 611222876FF06219 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:33:30] 985*2^1556573-1 is not prime. Res64: 3C8BC867BBE63CAF Time : 0.0 sec. user=mdettweiler [2020-03-31 14:44:11] 975*2^1556574-1 is not prime. Res64: AB9D15BE93E4A56C Time : 0.0 sec. user=mdettweiler [2020-03-31 14:44:11] 645*2^1556575-1 is not prime. Res64: 1C475D34EF4F3B73 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:44:12] 705*2^1556575-1 is not prime. Res64: AC66229A62F5079C Time : 0.0 sec. user=mdettweiler [2020-03-31 14:44:12] 751*2^1556575-1 is not prime. Res64: 8F505E42AD7788C8 Time : 0.0 sec. user=mdettweiler [2020-03-31 14:44:12] 853*2^1556575-1 is not prime. Res64: 9850AD8EE59CC301 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:25:41] 913*2^1556575-1 is not prime. Res64: 018ED1207E5D3386 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:25:42] 675*2^1556576-1 is not prime. Res64: 711D84C59E68C5DA Time : 0.0 sec. user=mdettweiler [2020-03-31 15:25:42] 719*2^1556576-1 is not prime. Res64: D346F2F8651A3D5B Time : 0.0 sec. user=mdettweiler [2020-03-31 15:25:42] 773*2^1556576-1 is not prime. Res64: C99F95316B66C85D Time : 0.0 sec. user=mdettweiler [2020-03-31 15:25:43] 839*2^1556576-1 is not prime. Res64: CFD7398BD5C8462E Time : 0.0 sec. user=mdettweiler [2020-03-31 15:26:11] 923*2^1556576-1 is not prime. Res64: 95A8F3E0B64DCA57 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:26:12] 627*2^1556577-1 is not prime. Res64: 0944091486A18632 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:26:12] 675*2^1556577-1 is not prime. Res64: 163680DAA8479D40 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:26:13] 717*2^1556577-1 is not prime. Res64: C82B078A22AA7F77 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:26:13] 831*2^1556577-1 is not prime. Res64: 17F0975B236FFD52 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:40:45] 909*2^1556577-1 is not prime. Res64: CBDEAD48FC81EF7A Time : 0.0 sec. user=mdettweiler [2020-03-31 15:40:46] 975*2^1556577-1 is not prime. Res64: C395B4117E5572D9 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:40:46] 991*2^1556577-1 is not prime. Res64: C25E2DAA51A7B5D3 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:40:47] 997*2^1556577-1 is not prime. Res64: 07DD9ED55FBFAAE5 Time : 0.0 sec. user=mdettweiler [2020-03-31 15:40:47] 635*2^1556578-1 is not prime. Res64: B92C82FEC023C69E Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:15] 995*2^1556578-1 is not prime. Res64: E105054DEE5D7EAE Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:15] 655*2^1556579-1 is not prime. Res64: 3FD31C3208BDE82C Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:16] 693*2^1556579-1 is not prime. Res64: DE933CD8FC4D642B Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:16] 741*2^1556579-1 is not prime. Res64: 3D24CE3BDE1E80DB Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:17] 829*2^1556579-1 is not prime. Res64: C626560907D0E3FD Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:30] 647*2^1556578-1 is not prime. Res64: 5DC02C3E1C17CE9D Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:31] 705*2^1556578-1 is not prime. Res64: 3EE4A74D928BF2FA Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:31] 713*2^1556578-1 is not prime. Res64: 6E53DE68AA450550 Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:32] 933*2^1556578-1 is not prime. Res64: CE6B2C058B911569 Time : 0.0 sec. user=mdettweiler [2020-03-31 16:19:32] 951*2^1556578-1 is not prime. Res64: 6FF82F0FBD51BF2F Time : 0.0 sec. user=mdettweiler [2020-03-31 16:35:10] 861*2^1556579-1 is not prime. Res64: C5384D0DB5C1C4E4 Time : 0.0 sec. user=mdettweiler [2020-03-31 16:35:11] 883*2^1556579-1 is not prime. Res64: 74F219098116269E Time : 0.0 sec. user=mdettweiler [2020-03-31 16:35:11] 885*2^1556579-1 is not prime. Res64: 35895A2EC352C976 Time : 0.0 sec. user=mdettweiler [2020-03-31 16:35:12] 609*2^1556580-1 is not prime. Res64: D5B785446BC778AB Time : 0.0 sec. user=mdettweiler [2020-03-31 16:35:12] 795*2^1556580-1 is not prime. Res64: 103AFABCCD7A2E07 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:11:59] 681*2^1556581-1 is not prime. Res64: 07DC59B8FF86F704 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:11:59] 685*2^1556581-1 is not prime. Res64: 4979EDA75CFA84FF Time : 0.0 sec. user=mdettweiler [2020-03-31 17:12:00] 717*2^1556581-1 is not prime. Res64: 12982AD9542925A9 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:12:00] 999*2^1556581-1 is not prime. Res64: BD14920548758D9D Time : 0.0 sec. user=mdettweiler [2020-03-31 17:12:00] 615*2^1556582-1 is not prime. Res64: B3F80AF657CA2256 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:15:08] 819*2^1556580-1 is not prime. Res64: 81D6121468A279D2 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:15:09] 845*2^1556580-1 is not prime. Res64: 0398D7A211BC2641 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:15:09] 909*2^1556580-1 is not prime. Res64: 2BDD3CDEB815FC4A Time : 0.0 sec. user=mdettweiler [2020-03-31 17:15:10] 965*2^1556580-1 is not prime. Res64: F415CF776C74DAC8 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:15:10] 975*2^1556580-1 is not prime. Res64: 39F30619E9CDA307 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:27:58] 627*2^1556582-1 is not prime. Res64: EEBC35AB91C50F03 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:27:58] 645*2^1556582-1 is not prime. Res64: B57B66E7D3B91F32 Time : 0.0 sec. user=mdettweiler [2020-03-31 17:27:58] 657*2^1556582-1 is not prime. Res64: D05C2F3C5E14434F Time : 0.0 sec. user=mdettweiler [2020-03-31 17:27:59] 785*2^1556582-1 is not prime. Res64: C650787D0520451D Time : 0.0 sec. user=mdettweiler [2020-03-31 17:27:59] 903*2^1556582-1 is not prime. Res64: 0F202DE26E086BE5 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:07:25] 921*2^1556582-1 is not prime. Res64: ACE06687F00C5C8E Time : 0.0 sec. user=mdettweiler [2020-03-31 18:07:26] 951*2^1556582-1 is not prime. Res64: 5903A4B9D0276488 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:07:27] 977*2^1556582-1 is not prime. Res64: 1FE78AABB49556BB Time : 0.0 sec. user=mdettweiler [2020-03-31 18:07:28] 721*2^1556583-1 is not prime. Res64: E099159257E1B003 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:07:29] 739*2^1556583-1 is not prime. Res64: AB7402422763E4F5 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:11:54] 805*2^1556583-1 is not prime. Res64: 3B029AD00E9842C6 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:11:54] 891*2^1556583-1 is not prime. Res64: 42E69A162FDED64C Time : 0.0 sec. user=mdettweiler [2020-03-31 18:11:54] 933*2^1556583-1 is not prime. Res64: 72D24DE5B9D91C4E Time : 0.0 sec. user=mdettweiler [2020-03-31 18:11:55] 943*2^1556583-1 is not prime. Res64: 652073727CD29ECE Time : 0.0 sec. user=mdettweiler [2020-03-31 18:11:55] 949*2^1556583-1 is not prime. Res64: 264BBFF994F21A00 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:21:18] 617*2^1556584-1 is not prime. Res64: E7CCED0EEC764305 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:21:18] 755*2^1556584-1 is not prime. Res64: AA31FECAFF03FBE2 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:21:19] 849*2^1556584-1 is not prime. Res64: 4D38E4073087E0D2 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:21:19] 873*2^1556584-1 is not prime. Res64: 5FF4C613D94B4475 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:21:19] 939*2^1556584-1 is not prime. Res64: E7AE2F232729CB71 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:59:01] 657*2^1556585-1 is not prime. Res64: 33B475BD4CB9573E Time : 0.0 sec. user=mdettweiler [2020-03-31 18:59:01] 699*2^1556585-1 is not prime. Res64: 06BC9B3983D95446 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:59:01] 715*2^1556585-1 is not prime. Res64: 2405BAE6C9B6371B Time : 0.0 sec. user=mdettweiler [2020-03-31 18:59:02] 855*2^1556585-1 is not prime. Res64: 4D60EF05825EB7B7 Time : 0.0 sec. user=mdettweiler [2020-03-31 18:59:02] 635*2^1556586-1 is not prime. Res64: 08078ABC3B51E724 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:04:58] 903*2^1556586-1 is not prime. Res64: 421E62B272FB287F Time : 0.0 sec. user=mdettweiler [2020-03-31 19:04:59] 733*2^1556587-1 is not prime. Res64: 92C9DE61B75E6F60 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:05:00] 793*2^1556587-1 is not prime. Res64: D9225ADAD03CBA79 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:05:01] 801*2^1556587-1 is not prime. Res64: 73B4A8A072C51763 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:05:02] 633*2^1556588-1 is not prime. Res64: 9E0B835B9ED0B058 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:13:19] 669*2^1556588-1 is not prime. Res64: 6710EA58F932B82C Time : 0.0 sec. user=mdettweiler [2020-03-31 19:13:19] 699*2^1556588-1 is not prime. Res64: 5C7699A0D6B016AD Time : 0.0 sec. user=mdettweiler [2020-03-31 19:13:20] 753*2^1556588-1 is not prime. Res64: DE047D203EAD6E3D Time : 0.0 sec. user=mdettweiler [2020-03-31 19:13:20] 789*2^1556588-1 is not prime. Res64: 8EA4F285F6C7EEE0 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:13:21] 825*2^1556588-1 is not prime. Res64: 0EDD02F2EE10D331 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:57:37] 839*2^1556588-1 is not prime. Res64: 7F182E5F79E4A4D2 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:57:37] 929*2^1556588-1 is not prime. Res64: 58C519E3DD0E2686 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:57:38] 935*2^1556588-1 is not prime. Res64: DFB7AA0CDA28BD5D Time : 0.0 sec. user=mdettweiler [2020-03-31 19:57:38] 945*2^1556588-1 is not prime. Res64: 8F3D041079E4F0DA Time : 0.0 sec. user=mdettweiler [2020-03-31 19:57:38] 999*2^1556588-1 is not prime. Res64: FA59B931EA957476 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:59:58] 667*2^1556589-1 is not prime. Res64: 329F9F97EFF0D416 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:59:58] 669*2^1556589-1 is not prime. Res64: 9D4EF02B1D5C72EE Time : 0.0 sec. user=mdettweiler [2020-03-31 19:59:58] 675*2^1556589-1 is not prime. Res64: D1DCB63CCF7BD097 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:59:59] 765*2^1556589-1 is not prime. Res64: 0F5C888233754725 Time : 0.0 sec. user=mdettweiler [2020-03-31 19:59:59] 889*2^1556589-1 is not prime. Res64: 89C23D9BA1715C03 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:11:45] 927*2^1556589-1 is not prime. Res64: 02191BA6A83A49A5 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:11:45] 961*2^1556589-1 is not prime. Res64: 88AA658588C08BAF Time : 0.0 sec. user=mdettweiler [2020-03-31 20:11:46] 979*2^1556589-1 is not prime. Res64: 3D460A2FF2F9AF3B Time : 0.0 sec. user=mdettweiler [2020-03-31 20:11:46] 999*2^1556589-1 is not prime. Res64: 8E33A68A75018525 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:11:46] 611*2^1556590-1 is not prime. Res64: 20D8D7DC6822EE7C Time : 0.0 sec. user=mdettweiler [2020-03-31 20:50:24] 743*2^1556590-1 is not prime. Res64: 2879E786989C56B3 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:50:25] 777*2^1556590-1 is not prime. Res64: 84870BB7BA62F9EB Time : 0.0 sec. user=mdettweiler [2020-03-31 20:50:25] 791*2^1556590-1 is not prime. Res64: 9709A148BAEDB0B4 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:50:25] 821*2^1556590-1 is not prime. Res64: 21327C731539EF39 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:50:26] 831*2^1556590-1 is not prime. Res64: 6FC2123067EBD427 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:54:18] 971*2^1556590-1 is not prime. Res64: 333A0B992810B3CF Time : 0.0 sec. user=mdettweiler [2020-03-31 20:54:18] 661*2^1556591-1 is not prime. Res64: 11C6E3DFB2A9E8A9 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:54:18] 669*2^1556591-1 is not prime. Res64: A05595171959889C Time : 0.0 sec. user=mdettweiler [2020-03-31 20:54:18] 783*2^1556591-1 is not prime. Res64: C223C722D558C1C2 Time : 0.0 sec. user=mdettweiler [2020-03-31 20:54:19] 895*2^1556591-1 is not prime. Res64: 2A9DE19E9A75A292 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:06:15] 945*2^1556592-1 is not prime. Res64: 415773DE4CE123B7 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:06:16] 959*2^1556592-1 is not prime. Res64: 511B12F99B96CEEF Time : 0.0 sec. user=mdettweiler [2020-03-31 21:06:17] 607*2^1556593-1 is not prime. Res64: 0AC0D586F2967948 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:06:18] 681*2^1556593-1 is not prime. Res64: 17B0ABF4F5632F03 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:06:19] 741*2^1556593-1 is not prime. Res64: A63CBC6A4634F3E0 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:20] 751*2^1556593-1 is not prime. Res64: 6A101C80174DF3F4 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:21] 877*2^1556593-1 is not prime. Res64: 3D7124036FDA717F Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:21] 925*2^1556593-1 is not prime. Res64: 3441E97774168AF0 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:22] 957*2^1556593-1 is not prime. Res64: 546A0D0FBC6C6454 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:22] 985*2^1556593-1 is not prime. Res64: AC776D507FCF7E74 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:25] 623*2^1556594-1 is not prime. Res64: 28FDE7C4B6D3E2EC Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:25] 671*2^1556594-1 is not prime. Res64: C8BF41F0DC378D5B Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:26] 783*2^1556594-1 is not prime. Res64: 5DA7BFCE17698078 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:26] 861*2^1556594-1 is not prime. Res64: 17BDDECA7B37F194 Time : 0.0 sec. user=mdettweiler [2020-03-31 21:47:27] 903*2^1556594-1 is not prime. Res64: 2EDF7BE6A7C9EB3B Time : 0.0 sec. user=mdettweiler [2020-03-31 22:02:57] 927*2^1556594-1 is not prime. Res64: 4FFDEC30C6B6ED05 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:02:58] 957*2^1556594-1 is not prime. Res64: 2EF1572AE7322C69 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:02:59] 971*2^1556594-1 is not prime. Res64: 5DE3D3D9AC8B122C Time : 0.0 sec. user=mdettweiler [2020-03-31 22:02:59] 983*2^1556594-1 is not prime. Res64: 06FA18C87BC8F9DB Time : 0.0 sec. user=mdettweiler [2020-03-31 22:03:00] 691*2^1556595-1 is not prime. Res64: 6FFF54DC2BC10CA8 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:41:43] 735*2^1556595-1 is not prime. Res64: C9DBDCEF0DDD2985 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:41:44] 783*2^1556595-1 is not prime. Res64: F04E17B3A5D9A120 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:41:44] 825*2^1556595-1 is not prime. Res64: 8BE4495C4CBEEAE5 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:41:45] 903*2^1556595-1 is not prime. Res64: 5E7096CCD1A3CBB3 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:41:45] 921*2^1556595-1 is not prime. Res64: 3853A47A6CD2DA9E Time : 0.0 sec. user=mdettweiler [2020-03-31 22:45:21] 961*2^1556595-1 is not prime. Res64: E5126492A010C544 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:45:21] 899*2^1556596-1 is not prime. Res64: E012B5D771B39E41 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:45:22] 927*2^1556596-1 is not prime. Res64: 910639A97ED40F34 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:45:22] 953*2^1556596-1 is not prime. Res64: 49391E2A31FE6810 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:45:22] 993*2^1556596-1 is not prime. Res64: 5D2E829CB776FE15 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:54:37] 645*2^1556597-1 is not prime. Res64: 3444D30D4EC1E12B Time : 0.0 sec. user=mdettweiler [2020-03-31 22:54:38] 649*2^1556597-1 is not prime. Res64: 796E11637F4BA5DD Time : 0.0 sec. user=mdettweiler [2020-03-31 22:54:38] 655*2^1556597-1 is not prime. Res64: 24149E97CC4C5F77 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:54:39] 729*2^1556597-1 is not prime. Res64: F8DDC83076835880 Time : 0.0 sec. user=mdettweiler [2020-03-31 22:54:39] 801*2^1556597-1 is not prime. Res64: D2BADCA3CA451AFC Time : 0.0 sec. user=mdettweiler [2020-03-31 23:36:23] 829*2^1556597-1 is not prime. Res64: 50DE41E4A3C3CC05 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:36:23] 837*2^1556597-1 is not prime. Res64: 4D675C8669B9167F Time : 0.0 sec. user=mdettweiler [2020-03-31 23:36:24] 915*2^1556597-1 is not prime. Res64: 1D3404938667F72B Time : 0.0 sec. user=mdettweiler [2020-03-31 23:36:24] 955*2^1556597-1 is not prime. Res64: 0028185355754992 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:36:25] 621*2^1556598-1 is not prime. Res64: 9D5A6DB1095EB27F Time : 0.0 sec. user=mdettweiler [2020-03-31 23:38:19] 651*2^1556598-1 is not prime. Res64: E8548BBDA831588F Time : 0.0 sec. user=mdettweiler [2020-03-31 23:38:19] 663*2^1556598-1 is not prime. Res64: 262E33C95E23DE67 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:38:20] 791*2^1556598-1 is not prime. Res64: 836042779B906C04 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:38:20] 975*2^1556598-1 is not prime. Res64: 038CCC72DB479064 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:38:21] 633*2^1556599-1 is not prime. Res64: 4488C9EB0EE5CE15 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:47:08] 679*2^1556599-1 is not prime. Res64: FB44E7483F05A96A Time : 0.0 sec. user=mdettweiler [2020-03-31 23:47:08] 913*2^1556599-1 is not prime. Res64: 26C5C50B67D48A98 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:47:09] 603*2^1556600-1 is not prime. Res64: EF75E65B3821F024 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:47:09] 629*2^1556600-1 is not prime. Res64: E068085E3F265B85 Time : 0.0 sec. user=mdettweiler [2020-03-31 23:47:09] 675*2^1556600-1 is not prime. Res64: BEB8B054084DAA88 Time : 0.0 sec.