user=mdettweiler [2018-04-20 00:13:47] 845*2^1507576-1 is not prime. Res64: 1A4F5B0958556EAA Time : 0.0 sec. user=mdettweiler [2018-04-20 00:13:47] 909*2^1507576-1 is not prime. Res64: 8BE0C8AF8EC88D26 Time : 0.0 sec. user=mdettweiler [2018-04-20 00:13:48] 927*2^1507576-1 is not prime. Res64: 11660C25E70B921A Time : 0.0 sec. user=mdettweiler [2018-04-20 00:13:48] 993*2^1507576-1 is not prime. Res64: 9DA56F7A003AC510 Time : 0.0 sec. user=mdettweiler [2018-04-20 00:13:49] 747*2^1507577-1 is not prime. Res64: F82BC2F97DAFB05E Time : 0.0 sec. user=mdettweiler [2018-04-20 00:15:29] 829*2^1507577-1 is not prime. Res64: F822946A077D2EE0 Time : 0.0 sec. user=mdettweiler [2018-04-20 00:15:30] 841*2^1507577-1 is not prime. Res64: F9431F80FE600F5C Time : 0.0 sec. user=mdettweiler [2018-04-20 00:15:30] 901*2^1507577-1 is not prime. Res64: CD3BCE8CE385487E Time : 0.0 sec. user=mdettweiler [2018-04-20 00:15:30] 945*2^1507577-1 is not prime. Res64: E95A6737561F11B3 Time : 0.0 sec. user=mdettweiler [2018-04-20 00:15:31] 955*2^1507577-1 is not prime. Res64: 7FDE0DAFD7746F9E Time : 0.0 sec. user=mdettweiler [2018-04-20 00:19:22] 615*2^1507578-1 is not prime. Res64: 2DEEA2684C39515C Time : 0.0 sec. user=mdettweiler [2018-04-20 00:19:23] 797*2^1507578-1 is not prime. Res64: F26A91F1E5A25E7A Time : 0.0 sec. user=mdettweiler [2018-04-20 00:19:23] 815*2^1507578-1 is not prime. Res64: 1D529A0FD9DB591F Time : 0.0 sec. user=mdettweiler [2018-04-20 00:19:23] 821*2^1507578-1 is not prime. Res64: 293D28F695629FFE Time : 0.0 sec. user=mdettweiler [2018-04-20 00:19:24] 843*2^1507578-1 is not prime. Res64: DEAB1D2C03A68B84 Time : 0.0 sec. user=mdettweiler [2018-04-20 00:37:17] 867*2^1507578-1 is not prime. Res64: 48B22FAFC8476DF5 Time : 0.0 sec. user=mdettweiler [2018-04-20 00:37:18] 881*2^1507578-1 is not prime. Res64: ED2534B9094319CD Time : 0.0 sec. user=mdettweiler [2018-04-20 00:37:18] 945*2^1507578-1 is not prime. Res64: C7390E776D80D47D Time : 0.0 sec. user=mdettweiler [2018-04-20 00:37:19] 619*2^1507579-1 is not prime. Res64: 4A9487ED0624F0F9 Time : 0.0 sec. user=mdettweiler [2018-04-20 00:37:19] 625*2^1507579-1 is not prime. Res64: 94327B9554477C65 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:09:09] 751*2^1507579-1 is not prime. Res64: 969D8DD2EBA9858F Time : 0.0 sec. user=mdettweiler [2018-04-20 01:09:10] 925*2^1507579-1 is not prime. Res64: 81AE72D9E0FB9AEC Time : 0.0 sec. user=mdettweiler [2018-04-20 01:09:10] 999*2^1507579-1 is not prime. Res64: 64AF52A25663BE28 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:09:11] 797*2^1507580-1 is not prime. Res64: 155B58C36366D4D4 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:09:11] 825*2^1507580-1 is not prime. Res64: 99D147C6AAEC4022 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:10:30] 875*2^1507580-1 is not prime. Res64: 61E82E10005BADBE Time : 0.0 sec. user=mdettweiler [2018-04-20 01:10:30] 879*2^1507580-1 is not prime. Res64: 8BC345ED88E5198B Time : 0.0 sec. user=mdettweiler [2018-04-20 01:10:30] 899*2^1507580-1 is not prime. Res64: 573F406958883C0A Time : 0.0 sec. user=mdettweiler [2018-04-20 01:10:31] 995*2^1507580-1 is not prime. Res64: 02904077C6235122 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:10:31] 601*2^1507581-1 is not prime. Res64: DD0BD866BA0B91CD Time : 0.0 sec. user=mdettweiler [2018-04-20 01:13:18] 621*2^1507581-1 is not prime. Res64: 0012F9A3C8290B94 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:13:18] 669*2^1507581-1 is not prime. Res64: 790708EE6BE4BEFE Time : 0.0 sec. user=mdettweiler [2018-04-20 01:13:19] 819*2^1507581-1 is not prime. Res64: 4B1DD13231111E3B Time : 0.0 sec. user=mdettweiler [2018-04-20 01:13:19] 859*2^1507581-1 is not prime. Res64: F6A3C9D3C778B1B4 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:13:19] 921*2^1507581-1 is not prime. Res64: 63A08185E37818AD Time : 0.0 sec. user=mdettweiler [2018-04-20 01:32:04] 979*2^1507581-1 is not prime. Res64: 09911DD3608FCE93 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:32:05] 997*2^1507581-1 is not prime. Res64: 93FD8317622E47B9 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:32:06] 651*2^1507582-1 is not prime. Res64: 49BC7266CE64B005 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:32:07] 653*2^1507582-1 is not prime. Res64: 1DA2F84C9A06F5F7 Time : 0.0 sec. user=mdettweiler [2018-04-20 01:32:08] 705*2^1507582-1 is not prime. Res64: 56C2E2C139587258 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:05:30] 721*2^1507583-1 is not prime. Res64: 5221115EA5DCD420 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:05:32] 913*2^1507583-1 is not prime. Res64: D5AA04EA02F74047 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:05:34] 981*2^1507583-1 is not prime. Res64: 204EC49B939BC890 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:05:35] 635*2^1507584-1 is not prime. Res64: BCCDD2C826B11EEF Time : 0.0 sec. user=mdettweiler [2018-04-20 02:05:37] 723*2^1507584-1 is not prime. Res64: 1D2EC6363CFC4E49 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:10] 791*2^1507582-1 is not prime. Res64: 7FED934645A7DB1E Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:11] 833*2^1507582-1 is not prime. Res64: 0177544F7351B793 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:12] 951*2^1507582-1 is not prime. Res64: 214D9BE2EA97DCB0 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:14] 975*2^1507582-1 is not prime. Res64: 27BB0BF2D66A3CD8 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:16] 715*2^1507583-1 is not prime. Res64: 3B57691EC0FCC0A7 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:54] 905*2^1507584-1 is not prime. Res64: E239598445CE63D8 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:56] 927*2^1507584-1 is not prime. Res64: FDA5EBCDF310AA54 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:57] 607*2^1507585-1 is not prime. Res64: 302EB3FBF3DC1CB1 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:07:58] 685*2^1507585-1 is not prime. Res64: FFD672C37F828113 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:08:00] 691*2^1507585-1 is not prime. Res64: 6516CB25D3A72FDC Time : 0.0 sec. user=mdettweiler [2018-04-20 02:28:31] 717*2^1507585-1 is not prime. Res64: 4B42DABB422331FB Time : 0.0 sec. user=mdettweiler [2018-04-20 02:28:32] 777*2^1507585-1 is not prime. Res64: 5B5CA31972998A61 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:28:33] 805*2^1507585-1 is not prime. Res64: 08ECFC3DF9C848A6 Time : 0.0 sec. user=mdettweiler [2018-04-20 02:28:34] 871*2^1507585-1 is not prime. Res64: E73ED91F760780BA Time : 0.0 sec. user=mdettweiler [2018-04-20 02:28:35] 895*2^1507585-1 is not prime. Res64: 727BBE8BD438150A Time : 0.0 sec. user=mdettweiler [2018-04-20 03:04:51] 951*2^1507585-1 is not prime. Res64: B591A02B74242E95 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:04:52] 827*2^1507586-1 is not prime. Res64: C77CD052005501E1 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:04:53] 867*2^1507586-1 is not prime. Res64: AB41BFC5086AC5A0 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:04:54] 873*2^1507586-1 is not prime. Res64: 421AB9D0CB514100 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:04:55] 875*2^1507586-1 is not prime. Res64: 2412D2412602E5EE Time : 0.0 sec. user=mdettweiler [2018-04-20 03:05:54] 893*2^1507586-1 is not prime. Res64: 6526DABAB2F2B2D1 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:05:55] 911*2^1507586-1 is not prime. Res64: 968D4B77E330BD6E Time : 0.0 sec. user=mdettweiler [2018-04-20 03:05:56] 699*2^1507587-1 is not prime. Res64: 40E63AD0DB860273 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:05:57] 735*2^1507587-1 is not prime. Res64: F30524BC3E834628 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:05:58] 919*2^1507587-1 is not prime. Res64: 36BED43769FA31CE Time : 0.0 sec. user=mdettweiler [2018-04-20 03:06:35] 955*2^1507587-1 is not prime. Res64: B1732E22DE585B5F Time : 0.0 sec. user=mdettweiler [2018-04-20 03:06:36] 647*2^1507588-1 is not prime. Res64: 6B355E17E6C7C177 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:06:37] 657*2^1507588-1 is not prime. Res64: 8067CF173BD4C7CC Time : 0.0 sec. user=mdettweiler [2018-04-20 03:06:38] 885*2^1507588-1 is not prime. Res64: 321207844E89EC8C Time : 0.0 sec. user=mdettweiler [2018-04-20 03:06:39] 909*2^1507588-1 is not prime. Res64: 17FD36BDFFDD56B0 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:26:42] 957*2^1507588-1 is not prime. Res64: 848D0BA71580C187 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:26:46] 959*2^1507588-1 is not prime. Res64: E96082B98C42D218 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:26:47] 631*2^1507589-1 is not prime. Res64: 450C4D86D09D79AE Time : 0.0 sec. user=mdettweiler [2018-04-20 03:26:48] 697*2^1507589-1 is not prime. Res64: CF2FBDECF727AAD0 Time : 0.0 sec. user=mdettweiler [2018-04-20 03:26:49] 829*2^1507589-1 is not prime. Res64: 2BB803BC13429094 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:00:43] 601*2^1507591-1 is not prime. Res64: DD9730DACED88592 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:00:46] 639*2^1507591-1 is not prime. Res64: 436F4898723994D4 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:00:49] 645*2^1507591-1 is not prime. Res64: 8FBD2474C1397589 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:00:54] 673*2^1507591-1 is not prime. Res64: B9641C412909E327 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:01:00] 705*2^1507591-1 is not prime. Res64: 0828DFABED9C1BFD Time : 0.0 sec. user=mdettweiler [2018-04-20 04:01:03] 651*2^1507590-1 is not prime. Res64: F41CFCFCE6D67B1A Time : 0.0 sec. user=mdettweiler [2018-04-20 04:02:17] 831*2^1507589-1 is not prime. Res64: 5240105A3491B68F Time : 0.0 sec. user=mdettweiler [2018-04-20 04:02:20] 867*2^1507589-1 is not prime. Res64: C610DBA26225058E Time : 0.0 sec. user=mdettweiler [2018-04-20 04:02:25] 885*2^1507589-1 is not prime. Res64: 8B45A74816D1E49D Time : 0.0 sec. user=mdettweiler [2018-04-20 04:02:28] 969*2^1507589-1 is not prime. Res64: DF7FC5EF0699341B Time : 0.0 sec. user=mdettweiler [2018-04-20 04:02:30] 987*2^1507589-1 is not prime. Res64: A5F022CF640BD97D Time : 0.0 sec. user=mdettweiler [2018-04-20 04:27:03] 849*2^1507591-1 is not prime. Res64: 721571182A3B0A2C Time : 0.0 sec. user=mdettweiler [2018-04-20 04:27:03] 871*2^1507591-1 is not prime. Res64: 51691364808DC913 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:27:04] 891*2^1507591-1 is not prime. Res64: 0948380D9E0D3403 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:27:04] 939*2^1507591-1 is not prime. Res64: 7767D7A28BC07E81 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:27:04] 961*2^1507591-1 is not prime. Res64: 49C3E24B3D69352D Time : 0.0 sec. user=mdettweiler [2018-04-20 04:59:56] 677*2^1507592-1 is not prime. Res64: 90ADF9097D9B0820 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:59:56] 827*2^1507592-1 is not prime. Res64: 9593F4C9FC9A3CAC Time : 0.0 sec. user=mdettweiler [2018-04-20 04:59:57] 843*2^1507592-1 is not prime. Res64: E673F1B884759249 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:59:57] 903*2^1507592-1 is not prime. Res64: 75E0E4FE05C161C5 Time : 0.0 sec. user=mdettweiler [2018-04-20 04:59:58] 977*2^1507592-1 is not prime. Res64: 10F2E53FD32A7A5B Time : 0.0 sec. user=mdettweiler [2018-04-20 05:01:18] 999*2^1507592-1 is not prime. Res64: A8868C85664A86C8 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:01:19] 607*2^1507593-1 is not prime. Res64: E44C20A05DC5C1AB Time : 0.0 sec. user=mdettweiler [2018-04-20 05:01:20] 649*2^1507593-1 is not prime. Res64: DE273E1E73E5A504 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:01:21] 681*2^1507593-1 is not prime. Res64: AF0F49AD89A269E7 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:01:23] 691*2^1507593-1 is not prime. Res64: 06339DE8DA16BBF4 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:24:32] 811*2^1507593-1 is not prime. Res64: 53FEFB41A9A07557 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:24:32] 847*2^1507593-1 is not prime. Res64: 76B3508CB3721D37 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:24:33] 871*2^1507593-1 is not prime. Res64: 05C82CCC3CE9E784 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:24:34] 889*2^1507593-1 is not prime. Res64: F34EFE4C5FACA984 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:24:36] 949*2^1507593-1 is not prime. Res64: 4119FC16078D337E Time : 0.0 sec. user=mdettweiler [2018-04-20 05:58:24] 917*2^1507594-1 is not prime. Res64: 1C503B0B7A31F779 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:58:25] 993*2^1507594-1 is not prime. Res64: FC981A1A0A13F365 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:58:25] 759*2^1507595-1 is not prime. Res64: 1DF2740DADBE6013 Time : 0.0 sec. user=mdettweiler [2018-04-20 05:58:25] 805*2^1507595-1 is not prime. Res64: FBC22A3B7B9B6CBA Time : 0.0 sec. user=mdettweiler [2018-04-20 05:58:26] 843*2^1507595-1 is not prime. Res64: DE6D9A7F609FC180 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:00:17] 939*2^1507595-1 is not prime. Res64: 9FF90A466F75F725 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:00:18] 639*2^1507596-1 is not prime. Res64: E7A14A12190785CE Time : 0.0 sec. user=mdettweiler [2018-04-20 06:00:19] 669*2^1507596-1 is not prime. Res64: 617B27F814DCAF52 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:00:20] 689*2^1507596-1 is not prime. Res64: EFA7DA9DD6CC7615 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:00:20] 759*2^1507596-1 is not prime. Res64: DD9418F9CF53FE4E Time : 0.0 sec. user=mdettweiler [2018-04-20 06:22:28] 783*2^1507596-1 is not prime. Res64: 59CD9FBF3AFEC3FB Time : 0.0 sec. user=mdettweiler [2018-04-20 06:22:29] 717*2^1507597-1 is not prime. Res64: B0410ADD362C3211 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:22:29] 759*2^1507597-1 is not prime. Res64: 0795801A36D71E77 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:22:29] 931*2^1507597-1 is not prime. Res64: 1848976C13C21725 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:22:30] 967*2^1507597-1 is not prime. Res64: 93BD8C83BC3898CD Time : 0.0 sec. user=mdettweiler [2018-04-20 06:55:02] 627*2^1507598-1 is not prime. Res64: D13386EADD6371E3 Time : 0.0 sec. user=mdettweiler [2018-04-20 06:55:02] 705*2^1507598-1 is not prime. Res64: E9794599A0E3594A Time : 0.0 sec. user=mdettweiler [2018-04-20 06:55:02] 831*2^1507598-1 is not prime. Res64: 827D308C3188248C Time : 0.0 sec. user=mdettweiler [2018-04-20 06:55:03] 857*2^1507598-1 is not prime. Res64: 9763A1A6E8E718DA Time : 0.0 sec. user=mdettweiler [2018-04-20 06:55:03] 861*2^1507598-1 is not prime. Res64: 7680B6138AF2A28D Time : 0.0 sec. user=mdettweiler [2018-04-20 07:00:00] 893*2^1507598-1 is not prime. Res64: CF5E7D69892B0C43 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:00:00] 923*2^1507598-1 is not prime. Res64: F35368937245A20C Time : 0.0 sec. user=mdettweiler [2018-04-20 07:00:00] 977*2^1507598-1 is not prime. Res64: D0F0A17C8B11A24C Time : 0.0 sec. user=mdettweiler [2018-04-20 07:00:01] 993*2^1507598-1 is not prime. Res64: 0D8FF581D7CD7306 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:00:01] 661*2^1507599-1 is not prime. Res64: 7D87A339C42CE060 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:20:11] 669*2^1507599-1 is not prime. Res64: A2BD836F9D0DD7F4 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:20:11] 745*2^1507599-1 is not prime. Res64: A1898CA4AA2678F6 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:20:12] 775*2^1507599-1 is not prime. Res64: 5BB075E2F1887318 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:20:12] 789*2^1507599-1 is not prime. Res64: 3BF78737585F334A Time : 0.0 sec. user=mdettweiler [2018-04-20 07:20:13] 913*2^1507599-1 is not prime. Res64: AAA89F1B825B31CB Time : 0.0 sec. user=mdettweiler [2018-04-20 07:52:31] 951*2^1507599-1 is not prime. Res64: 74B3CD087EC90760 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:52:31] 985*2^1507599-1 is not prime. Res64: 2888D981143CB904 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:52:32] 609*2^1507600-1 is not prime. Res64: 140FB0FB54C01835 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:52:32] 623*2^1507600-1 is not prime. Res64: 99CF916B51AB7F1D Time : 0.0 sec. user=mdettweiler [2018-04-20 07:52:33] 645*2^1507600-1 is not prime. Res64: E38F674EA19451F0 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:57:37] 675*2^1507600-1 is not prime. Res64: C923CFCE529F5DE8 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:57:38] 719*2^1507600-1 is not prime. Res64: D05AAEF8BC88CAC1 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:57:38] 933*2^1507600-1 is not prime. Res64: B92E0503FA952A62 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:57:38] 631*2^1507601-1 is not prime. Res64: ADCF93AA2236F0F7 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:57:39] 651*2^1507601-1 is not prime. Res64: 0BC7EE06AA966A4C Time : 0.0 sec. user=mdettweiler [2018-04-20 07:58:43] 693*2^1507590-1 is not prime. Res64: 531B89C8B0D63A64 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:58:44] 755*2^1507590-1 is not prime. Res64: 18DDF1A866D36CA0 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:58:44] 915*2^1507590-1 is not prime. Res64: C648A667A26CB019 Time : 0.0 sec. user=mdettweiler [2018-04-20 07:58:44] 945*2^1507590-1 is not prime. Res64: 3FB7202FF2085DA8 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:16:12] 749*2^1507604-1 is not prime. Res64: EE18D3EFFC116E42 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:17:35] 669*2^1507601-1 is not prime. Res64: F5D2FA2ED4413268 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:17:35] 781*2^1507601-1 is not prime. Res64: 89B2A8AFF60B15AD Time : 0.0 sec. user=mdettweiler [2018-04-20 08:17:35] 795*2^1507601-1 is not prime. Res64: 7EC49B635EC6E506 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:17:36] 829*2^1507601-1 is not prime. Res64: 61CAECE5CEB0B226 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:17:36] 651*2^1507602-1 is not prime. Res64: 1D385D3E4EB3F05A Time : 0.0 sec. user=mdettweiler [2018-04-20 08:46:48] 657*2^1507602-1 is not prime. Res64: 926AA5FDBF09DC76 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:46:48] 705*2^1507602-1 is not prime. Res64: 69D84A17CF80597E Time : 0.0 sec. user=mdettweiler [2018-04-20 08:46:49] 717*2^1507602-1 is not prime. Res64: 38476F058DB3B2D8 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:46:49] 723*2^1507602-1 is not prime. Res64: 30D22AF2B57546EA Time : 0.0 sec. user=mdettweiler [2018-04-20 08:46:49] 755*2^1507602-1 is not prime. Res64: B7AE4806FE02C399 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:53:43] 631*2^1507603-1 is not prime. Res64: E243516D5C1C285C Time : 0.0 sec. user=mdettweiler [2018-04-20 08:53:44] 639*2^1507603-1 is not prime. Res64: 61771E1F3B0AD074 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:53:44] 769*2^1507603-1 is not prime. Res64: 36808995DF425354 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:53:44] 943*2^1507603-1 is not prime. Res64: A21F28DBBDBE69D5 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:53:45] 665*2^1507604-1 is not prime. Res64: 8FABFA70433E74BE Time : 0.0 sec. user=mdettweiler [2018-04-20 08:55:23] 791*2^1507602-1 is not prime. Res64: 02E679582D9E050B Time : 0.0 sec. user=mdettweiler [2018-04-20 08:55:23] 797*2^1507602-1 is not prime. Res64: C28AC986BABC9E80 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:55:23] 825*2^1507602-1 is not prime. Res64: 990C4C117823F786 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:55:24] 1001*2^1507602-1 is not prime. Res64: 5B81C3735AC1E311 Time : 0.0 sec. user=mdettweiler [2018-04-20 08:55:24] 619*2^1507603-1 is not prime. Res64: 92C8F02268A3C7AB Time : 0.0 sec. user=mdettweiler [2018-04-20 09:12:24] 935*2^1507604-1 is not prime. Res64: 2EE66B4A2039D98D Time : 0.0 sec. user=mdettweiler [2018-04-20 09:12:25] 993*2^1507604-1 is not prime. Res64: 52A2BE665249CD45 Time : 0.0 sec. user=mdettweiler [2018-04-20 09:12:25] 639*2^1507605-1 is not prime. Res64: 7DA0E86FB1AB6444 Time : 0.0 sec. user=mdettweiler [2018-04-20 09:12:25] 655*2^1507605-1 is not prime. Res64: E34B2910617EBB68 Time : 0.0 sec. user=mdettweiler [2018-04-20 09:12:26] 777*2^1507605-1 is not prime. Res64: 2541D973711972FC Time : 0.0 sec. user=mdettweiler [2018-04-20 09:41:07] 817*2^1507605-1 is not prime. Res64: AC830056830FD8BF Time : 0.0 sec. user=mdettweiler [2018-04-20 09:41:07] 847*2^1507605-1 is not prime. Res64: F02DFD17B56660CD Time : 0.0 sec. user=mdettweiler [2018-04-20 09:41:08] 871*2^1507605-1 is not prime. Res64: C003C044A0DC5D6E Time : 0.0 sec. user=mdettweiler [2018-04-20 09:41:08] 927*2^1507605-1 is not prime. Res64: 19B029D40A9578F5 Time : 0.0 sec. user=mdettweiler [2018-04-20 09:41:08] 645*2^1507606-1 is not prime. Res64: FEB0DEA3812A8F99 Time : 0.0 sec. user=mdettweiler [2018-04-20 09:46:43] 651*2^1507606-1 is not prime. Res64: 903B830CF0D619EE Time : 0.0 sec. user=mdettweiler [2018-04-20 09:46:44] 705*2^1507606-1 is not prime. Res64: 622D323393F1DABE Time : 0.0 sec. user=mdettweiler [2018-04-20 09:46:44] 887*2^1507606-1 is not prime. Res64: 1E2B53B96420456F Time : 0.0 sec. user=mdettweiler [2018-04-20 09:46:45] 917*2^1507606-1 is not prime. Res64: 2082A4237BE6F01A Time : 0.0 sec. user=mdettweiler [2018-04-20 09:46:45] 609*2^1507607-1 is not prime. Res64: 2288008C2ED5DBBE Time : 0.0 sec. user=mdettweiler [2018-04-20 09:50:45] 739*2^1507607-1 is not prime. Res64: 2F2C7BCEA0797A87 Time : 0.0 sec. user=mdettweiler [2018-04-20 09:50:45] 945*2^1507607-1 is not prime. Res64: E74CE1832A9F5971 Time : 0.0 sec. user=mdettweiler [2018-04-20 09:50:46] 955*2^1507607-1 is not prime. Res64: 400A36625A5BFF0D Time : 0.0 sec. user=mdettweiler [2018-04-20 09:50:46] 605*2^1507608-1 is not prime. Res64: 19FD372779FEDA7C Time : 0.0 sec. user=mdettweiler [2018-04-20 09:50:47] 633*2^1507608-1 is not prime. Res64: 21F50667DB5DE255 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:06:27] 635*2^1507608-1 is not prime. Res64: 23E4BBDB2B20F892 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:06:30] 683*2^1507608-1 is not prime. Res64: 0944E0E062BB053D Time : 0.0 sec. user=mdettweiler [2018-04-20 10:06:32] 713*2^1507608-1 is not prime. Res64: FF9313467446E63B Time : 0.0 sec. user=mdettweiler [2018-04-20 10:06:33] 737*2^1507608-1 is not prime. Res64: B8C07C38E2B12579 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:06:34] 747*2^1507608-1 is not prime. Res64: EA89B6A412D01FB2 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:35:35] 777*2^1507608-1 is not prime. Res64: CF0109888AD52344 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:35:36] 839*2^1507608-1 is not prime. Res64: 054D8F7486F8FD96 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:35:36] 909*2^1507608-1 is not prime. Res64: 21A2935ABDD0688F Time : 0.0 sec. user=mdettweiler [2018-04-20 10:35:37] 945*2^1507608-1 is not prime. Res64: 53F8652F48027D6E Time : 0.0 sec. user=mdettweiler [2018-04-20 10:35:37] 691*2^1507609-1 is not prime. Res64: 4C29DAD71477F77D Time : 0.0 sec. user=mdettweiler [2018-04-20 10:41:57] 699*2^1507609-1 is not prime. Res64: 2B96999E2B4472E1 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:41:58] 747*2^1507609-1 is not prime. Res64: DABA5F15E5D59C45 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:41:58] 771*2^1507609-1 is not prime. Res64: 0423C319974ABC4F Time : 0.0 sec. user=mdettweiler [2018-04-20 10:41:58] 807*2^1507609-1 is not prime. Res64: 86018E580D594EF7 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:41:59] 819*2^1507609-1 is not prime. Res64: 7C3D31BA91047A4D Time : 0.0 sec. user=mdettweiler [2018-04-20 10:44:43] 877*2^1507609-1 is not prime. Res64: 9AD4587AA7F7A551 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:44:44] 925*2^1507609-1 is not prime. Res64: A1F9CD974B6B00E2 Time : 0.0 sec. user=mdettweiler [2018-04-20 10:44:44] 975*2^1507609-1 is not prime. Res64: B82126D30444927B Time : 0.0 sec. user=mdettweiler [2018-04-20 10:44:44] 999*2^1507609-1 is not prime. Res64: FA012CEFE5F80BDA Time : 0.0 sec. user=mdettweiler [2018-04-20 10:44:45] 675*2^1507610-1 is not prime. Res64: 9655426EC6FAFDCE Time : 0.0 sec. user=mdettweiler [2018-04-20 11:03:28] 831*2^1507610-1 is not prime. Res64: 114838926FB01845 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:03:30] 857*2^1507610-1 is not prime. Res64: 0F906810CC343449 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:03:30] 867*2^1507610-1 is not prime. Res64: 99AB81FE52C836EC Time : 0.0 sec. user=mdettweiler [2018-04-20 11:03:31] 887*2^1507610-1 is not prime. Res64: DEB38E06D91F1995 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:03:33] 921*2^1507610-1 is not prime. Res64: 0A5AACFC0EA705FA Time : 0.0 sec. user=mdettweiler [2018-04-20 11:29:51] 923*2^1507610-1 is not prime. Res64: 8D0A14197C7E360D Time : 0.0 sec. user=mdettweiler [2018-04-20 11:29:53] 679*2^1507611-1 is not prime. Res64: 9ED2C5216CC80400 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:29:54] 685*2^1507611-1 is not prime. Res64: 67FAFD61C0FEBD44 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:29:55] 739*2^1507611-1 is not prime. Res64: 90DBDB57A52D908E Time : 0.0 sec. user=mdettweiler [2018-04-20 11:29:56] 741*2^1507611-1 is not prime. Res64: FBFB54405BF29D28 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:38:47] 775*2^1507611-1 is not prime. Res64: 77AE0EE7ABF4B5CF Time : 0.0 sec. user=mdettweiler [2018-04-20 11:38:47] 805*2^1507611-1 is not prime. Res64: 26FA2E0BE00CBBED Time : 0.0 sec. user=mdettweiler [2018-04-20 11:38:47] 861*2^1507611-1 is not prime. Res64: E85046F3A67837DC Time : 0.0 sec. user=mdettweiler [2018-04-20 11:38:48] 895*2^1507611-1 is not prime. Res64: 94ED11CEA0BA175A Time : 0.0 sec. user=mdettweiler [2018-04-20 11:38:48] 903*2^1507611-1 is not prime. Res64: 7423D2FF1776760C Time : 0.0 sec. user=mdettweiler [2018-04-20 11:39:19] 909*2^1507611-1 is not prime. Res64: 3D78271B30AA181F Time : 0.0 sec. user=mdettweiler [2018-04-20 11:39:19] 955*2^1507611-1 is not prime. Res64: 74950FC9F5E7861F Time : 0.0 sec. user=mdettweiler [2018-04-20 11:39:20] 991*2^1507611-1 is not prime. Res64: A36B15DB648EE8F0 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:39:20] 629*2^1507612-1 is not prime. Res64: B27EB19110D91A46 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:39:20] 635*2^1507612-1 is not prime. Res64: 7C47BB1EB8C2E17F Time : 0.0 sec. user=mdettweiler [2018-04-20 11:56:56] 657*2^1507612-1 is not prime. Res64: A4A34A87942EB84C Time : 0.0 sec. user=mdettweiler [2018-04-20 11:56:57] 665*2^1507612-1 is not prime. Res64: 4EBE538EFAF566AE Time : 0.0 sec. user=mdettweiler [2018-04-20 11:56:57] 695*2^1507612-1 is not prime. Res64: 9EF84AFD9D6F1EBB Time : 0.0 sec. user=mdettweiler [2018-04-20 11:56:57] 825*2^1507612-1 is not prime. Res64: B37332DD1E942C73 Time : 0.0 sec. user=mdettweiler [2018-04-20 11:56:58] 875*2^1507612-1 is not prime. Res64: 11C64AC18848CD2D Time : 0.0 sec. user=mdettweiler [2018-04-20 12:24:17] 897*2^1507612-1 is not prime. Res64: 777A7F699B5B6F14 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:24:17] 909*2^1507612-1 is not prime. Res64: 0034C0F0B4131DFF Time : 0.0 sec. user=mdettweiler [2018-04-20 12:24:18] 699*2^1507613-1 is not prime. Res64: 0B67DC5732CF0DFE Time : 0.0 sec. user=mdettweiler [2018-04-20 12:24:18] 715*2^1507613-1 is not prime. Res64: AAD2AA9D6DC9F605 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:24:19] 789*2^1507613-1 is not prime. Res64: B49A013D4A4B97E1 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:32:43] 611*2^1507614-1 is not prime. Res64: 5CBB1A6912F2E5C8 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:32:44] 615*2^1507614-1 is not prime. Res64: 6902466D493A130E Time : 0.0 sec. user=mdettweiler [2018-04-20 12:32:44] 807*2^1507614-1 is not prime. Res64: 250FF2304EC12A12 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:32:44] 815*2^1507614-1 is not prime. Res64: E9EF791DD1E38F8D Time : 0.0 sec. user=mdettweiler [2018-04-20 12:32:45] 863*2^1507614-1 is not prime. Res64: 155F52ED55B119A2 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:34:43] 861*2^1507613-1 is not prime. Res64: 9E040611EBE51D7F Time : 0.0 sec. user=mdettweiler [2018-04-20 12:34:43] 885*2^1507613-1 is not prime. Res64: EA51DAE340DBE4F5 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:34:44] 949*2^1507613-1 is not prime. Res64: 4EF6ECF396F7AD1F Time : 0.0 sec. user=mdettweiler [2018-04-20 12:34:44] 979*2^1507613-1 is not prime. Res64: 8ECACF41D4CA57FD Time : 0.0 sec. user=mdettweiler [2018-04-20 12:34:44] 981*2^1507613-1 is not prime. Res64: C87F548B6BF1DD48 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:54:41] 971*2^1507614-1 is not prime. Res64: 915A1F20D5F54EE7 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:54:41] 751*2^1507615-1 is not prime. Res64: 63869A3EC740A694 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:54:42] 789*2^1507615-1 is not prime. Res64: 6B83DD119EB8EF6E Time : 0.0 sec. user=mdettweiler [2018-04-20 12:54:42] 841*2^1507615-1 is not prime. Res64: C854971CEEE41FB0 Time : 0.0 sec. user=mdettweiler [2018-04-20 12:54:42] 933*2^1507615-1 is not prime. Res64: 018ACC38DF964226 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:21:33] 939*2^1507615-1 is not prime. Res64: 3A7648029E021173 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:21:34] 617*2^1507616-1 is not prime. Res64: 6B5ECED40FD601A8 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:21:34] 629*2^1507616-1 is not prime. Res64: 69B5A73460BCC91D Time : 0.0 sec. user=mdettweiler [2018-04-20 13:21:34] 803*2^1507616-1 is not prime. Res64: DADB53EBBCD5AC37 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:21:35] 813*2^1507616-1 is not prime. Res64: 9C99F13CFD21FF2B Time : 0.0 sec. user=mdettweiler [2018-04-20 13:29:17] 825*2^1507616-1 is not prime. Res64: C96410C8AD89765F Time : 0.0 sec. user=mdettweiler [2018-04-20 13:29:17] 727*2^1507617-1 is not prime. Res64: 47FDA5A8E5A22A86 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:29:18] 805*2^1507617-1 is not prime. Res64: BAFF549AD652BEB3 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:29:18] 889*2^1507617-1 is not prime. Res64: 9150C3C0F273CC69 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:29:19] 663*2^1507618-1 is not prime. Res64: 0D0111D53C42472F Time : 0.0 sec. user=mdettweiler [2018-04-20 13:31:43] 777*2^1507618-1 is not prime. Res64: 9222B1BEBAF83DB5 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:31:44] 803*2^1507618-1 is not prime. Res64: 8084D4B18D643CF3 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:31:44] 855*2^1507618-1 is not prime. Res64: 9C9D8611E8BB4D5B Time : 0.0 sec. user=mdettweiler [2018-04-20 13:31:44] 945*2^1507618-1 is not prime. Res64: FA0663462F10B5A5 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:31:45] 619*2^1507619-1 is not prime. Res64: EE52FD2F6F724EA7 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:50:07] 685*2^1507619-1 is not prime. Res64: 21D3AF9A950F05E9 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:50:07] 711*2^1507619-1 is not prime. Res64: 1C1049F92A023A4D Time : 0.0 sec. user=mdettweiler [2018-04-20 13:50:08] 733*2^1507619-1 is not prime. Res64: 7D21289C98152B20 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:50:08] 843*2^1507619-1 is not prime. Res64: 00E778F6DEB80229 Time : 0.0 sec. user=mdettweiler [2018-04-20 13:50:08] 999*2^1507619-1 is not prime. Res64: C7FD7BCBEAE52236 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:19:34] 723*2^1507620-1 is not prime. Res64: C83CD66F38ED9A24 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:19:34] 765*2^1507620-1 is not prime. Res64: C4F3ECA02B0E36C9 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:19:35] 803*2^1507620-1 is not prime. Res64: A9461E53F8601E9A Time : 0.0 sec. user=mdettweiler [2018-04-20 14:19:35] 893*2^1507620-1 is not prime. Res64: 2322233C80F5E6C5 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:19:36] 899*2^1507620-1 is not prime. Res64: A4BC014C157915FB Time : 0.0 sec. user=mdettweiler [2018-04-20 14:25:16] 601*2^1507621-1 is not prime. Res64: ECC0E1424AA53F42 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:25:16] 615*2^1507621-1 is not prime. Res64: CA5EBBED37C5464B Time : 0.0 sec. user=mdettweiler [2018-04-20 14:25:17] 771*2^1507621-1 is not prime. Res64: 15EC2EB01FB04967 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:25:17] 817*2^1507621-1 is not prime. Res64: DE38B57D6E4E6C4C Time : 0.0 sec. user=mdettweiler [2018-04-20 14:25:17] 855*2^1507621-1 is not prime. Res64: CDA443AE458DCEA1 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:29:00] 867*2^1507621-1 is not prime. Res64: 2CFB38B9E3FC495A Time : 0.0 sec. user=mdettweiler [2018-04-20 14:29:00] 871*2^1507621-1 is not prime. Res64: 4BA2E73A3B189DEA Time : 0.0 sec. user=mdettweiler [2018-04-20 14:29:00] 901*2^1507621-1 is not prime. Res64: 96BBD677ED325E57 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:29:01] 603*2^1507622-1 is not prime. Res64: 411D30858F4B4A53 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:29:01] 623*2^1507622-1 is not prime. Res64: 54634C73F8EEA689 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:48:33] 675*2^1507622-1 is not prime. Res64: 127ED6FE74CD7A12 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:48:34] 693*2^1507622-1 is not prime. Res64: FE4675ADCF9F5904 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:48:34] 903*2^1507622-1 is not prime. Res64: E91B7686F34A267A Time : 0.0 sec. user=mdettweiler [2018-04-20 14:48:34] 915*2^1507622-1 is not prime. Res64: F854147A3E847C66 Time : 0.0 sec. user=mdettweiler [2018-04-20 14:48:34] 945*2^1507622-1 is not prime. Res64: 7DA0668E416AE440 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:15:45] 685*2^1507623-1 is not prime. Res64: B8C9E083A0C75AD6 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:15:46] 741*2^1507623-1 is not prime. Res64: A215D95C113925F5 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:15:46] 763*2^1507623-1 is not prime. Res64: FBCD330E8976AD7C Time : 0.0 sec. user=mdettweiler [2018-04-20 15:15:47] 861*2^1507623-1 is not prime. Res64: 7EE52DDD4EAC0E89 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:15:47] 885*2^1507623-1 is not prime. Res64: E832CE4471B7A3AB Time : 0.0 sec. user=mdettweiler [2018-04-20 15:22:00] 895*2^1507623-1 is not prime. Res64: 05BD607FF9D9C706 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:22:00] 945*2^1507623-1 is not prime. Res64: 23A85681DB64F045 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:22:01] 605*2^1507624-1 is not prime. Res64: 2100C12E35F65B7E Time : 0.0 sec. user=mdettweiler [2018-04-20 15:22:01] 695*2^1507624-1 is not prime. Res64: 25A12E316DA81320 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:22:02] 723*2^1507624-1 is not prime. Res64: 01C58C9C91281B96 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:27:00] 743*2^1507624-1 is not prime. Res64: 836C49185B13509F Time : 0.0 sec. user=mdettweiler [2018-04-20 15:27:00] 785*2^1507624-1 is not prime. Res64: 1D6CFCE04C3776F1 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:27:01] 857*2^1507624-1 is not prime. Res64: 23F849C0A29D074D Time : 0.0 sec. user=mdettweiler [2018-04-20 15:27:01] 927*2^1507624-1 is not prime. Res64: D678D92E12221485 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:27:02] 649*2^1507625-1 is not prime. Res64: FD092E35B72A35C5 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:45:55] 651*2^1507625-1 is not prime. Res64: C5DC6873D1A00F7B Time : 0.0 sec. user=mdettweiler [2018-04-20 15:45:56] 699*2^1507625-1 is not prime. Res64: CD514B0F9F11B432 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:45:56] 729*2^1507625-1 is not prime. Res64: BD2CB001CA9BA2DD Time : 0.0 sec. user=mdettweiler [2018-04-20 15:45:57] 831*2^1507625-1 is not prime. Res64: 606DF82B39DDED02 Time : 0.0 sec. user=mdettweiler [2018-04-20 15:45:57] 657*2^1507626-1 is not prime. Res64: 79083D4B0C42E15C Time : 0.0 sec. user=mdettweiler [2018-04-20 16:17:29] 705*2^1507626-1 is not prime. Res64: CE495549F5962E99 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:17:30] 843*2^1507626-1 is not prime. Res64: 27996C5F51572FB2 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:17:31] 1001*2^1507626-1 is not prime. Res64: 1801CCBEECAB7371 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:17:31] 633*2^1507627-1 is not prime. Res64: 39B14DAE9466A23E Time : 0.0 sec. user=mdettweiler [2018-04-20 16:17:31] 639*2^1507627-1 is not prime. Res64: 509651A9BF18F1FF Time : 0.0 sec. user=mdettweiler [2018-04-20 16:21:52] 925*2^1507627-1 is not prime. Res64: 435C75045E77E6B5 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:21:52] 999*2^1507627-1 is not prime. Res64: D77628D8A0640A97 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:21:53] 617*2^1507628-1 is not prime. Res64: 2DDBBE10A1ED669B Time : 0.0 sec. user=mdettweiler [2018-04-20 16:21:53] 665*2^1507628-1 is not prime. Res64: ECEDE6AAF65D759E Time : 0.0 sec. user=mdettweiler [2018-04-20 16:21:53] 677*2^1507628-1 is not prime. Res64: D641CFE0AB630C6B Time : 0.0 sec. user=mdettweiler [2018-04-20 16:23:16] 755*2^1507628-1 is not prime. Res64: C9B45A4C6F240C91 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:23:16] 797*2^1507628-1 is not prime. Res64: 5BACACD273B1B52B Time : 0.0 sec. user=mdettweiler [2018-04-20 16:23:16] 869*2^1507628-1 is not prime. Res64: EBDA3667B7B2D349 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:23:17] 959*2^1507628-1 is not prime. Res64: 24BFF1D664CE44DE Time : 0.0 sec. user=mdettweiler [2018-04-20 16:23:17] 625*2^1507629-1 is not prime. Res64: 98CF024B697CD77F Time : 0.0 sec. user=mdettweiler [2018-04-20 16:43:26] 649*2^1507629-1 is not prime. Res64: 503A509BD4F4F4FA Time : 0.0 sec. user=mdettweiler [2018-04-20 16:43:26] 657*2^1507629-1 is not prime. Res64: 0E3685F9054965B3 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:43:27] 691*2^1507629-1 is not prime. Res64: 51E9828FFF8E8C39 Time : 0.0 sec. user=mdettweiler [2018-04-20 16:43:27] 709*2^1507629-1 is not prime. Res64: 9960CA0561FC010E Time : 0.0 sec. user=mdettweiler [2018-04-20 16:43:28] 727*2^1507629-1 is not prime. Res64: CF2921BF97B37DD7 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:13:14] 759*2^1507629-1 is not prime. Res64: 8501B4A9EF7D63ED Time : 0.0 sec. user=mdettweiler [2018-04-20 17:13:14] 795*2^1507629-1 is not prime. Res64: 3C6F0061946CFFEC Time : 0.0 sec. user=mdettweiler [2018-04-20 17:13:15] 919*2^1507629-1 is not prime. Res64: 02ABD186EA9DF46D Time : 0.0 sec. user=mdettweiler [2018-04-20 17:13:15] 665*2^1507630-1 is not prime. Res64: 981853C92C7F8449 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:13:15] 675*2^1507630-1 is not prime. Res64: 417558AB885BEBAD Time : 0.0 sec. user=mdettweiler [2018-04-20 17:17:41] 755*2^1507630-1 is not prime. Res64: B6AE81E35DC7CA83 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:17:41] 765*2^1507630-1 is not prime. Res64: 373910EB298771E9 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:17:41] 783*2^1507630-1 is not prime. Res64: 194E0BA36B435D8C Time : 0.0 sec. user=mdettweiler [2018-04-20 17:17:42] 827*2^1507630-1 is not prime. Res64: D2CC9F599849859D Time : 0.0 sec. user=mdettweiler [2018-04-20 17:17:42] 897*2^1507630-1 is not prime. Res64: EDA270D103D7F1A2 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:18:44] 693*2^1507631-1 is not prime. Res64: B8F7164747254FE9 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:18:44] 741*2^1507631-1 is not prime. Res64: E57C5715DB4C66EC Time : 0.0 sec. user=mdettweiler [2018-04-20 17:18:44] 753*2^1507631-1 is not prime. Res64: BF5CEF2EDF0751AA Time : 0.0 sec. user=mdettweiler [2018-04-20 17:18:45] 783*2^1507631-1 is not prime. Res64: 1C60FE6CABA50BBA Time : 0.0 sec. user=mdettweiler [2018-04-20 17:18:45] 855*2^1507631-1 is not prime. Res64: F934FE5777C45CA5 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:38:54] 955*2^1507631-1 is not prime. Res64: ED58F0AE744C252B Time : 0.0 sec. user=mdettweiler [2018-04-20 17:38:54] 699*2^1507632-1 is not prime. Res64: 2570BEA3334378B5 Time : 0.0 sec. user=mdettweiler [2018-04-20 17:38:55] 825*2^1507632-1 is not prime. Res64: C5A9AB16D6DF204B Time : 0.0 sec. user=mdettweiler [2018-04-20 17:38:55] 893*2^1507632-1 is not prime. Res64: 736CCB6AE2F8AA4E Time : 0.0 sec. user=mdettweiler [2018-04-20 17:38:55] 903*2^1507632-1 is not prime. Res64: 264525292CE584AF Time : 0.0 sec. user=mdettweiler [2018-04-20 18:10:25] 945*2^1507632-1 is not prime. Res64: D02554E31CB8EF27 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:10:26] 615*2^1507633-1 is not prime. Res64: 701AF1CA99305603 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:10:26] 649*2^1507633-1 is not prime. Res64: 1679763E60769631 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:10:27] 771*2^1507633-1 is not prime. Res64: 592EF79D21AB16A6 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:10:27] 955*2^1507633-1 is not prime. Res64: 428B176BA5119368 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:13:26] 967*2^1507633-1 is not prime. Res64: 88104029A653ADE0 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:13:27] 979*2^1507633-1 is not prime. Res64: BE680FA4BBC147E8 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:13:27] 999*2^1507633-1 is not prime. Res64: 6EF52407F644C75C Time : 0.0 sec. user=mdettweiler [2018-04-20 18:13:28] 615*2^1507634-1 is not prime. Res64: 1779A12EE275EA8D Time : 0.0 sec. user=mdettweiler [2018-04-20 18:13:29] 641*2^1507634-1 is not prime. Res64: 26CBC6D2CEB9C71C Time : 0.0 sec. user=mdettweiler [2018-04-20 18:14:55] 657*2^1507634-1 is not prime. Res64: C4F8A511E1EA29A1 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:14:55] 755*2^1507634-1 is not prime. Res64: B12001004C5D08DF Time : 0.0 sec. user=mdettweiler [2018-04-20 18:14:56] 903*2^1507634-1 is not prime. Res64: 908267C1894D8603 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:14:56] 945*2^1507634-1 is not prime. Res64: E5D4BD9CE28BF7EF Time : 0.0 sec. user=mdettweiler [2018-04-20 18:14:56] 983*2^1507634-1 is not prime. Res64: B64DB1AB34FCC14F Time : 0.0 sec. user=mdettweiler [2018-04-20 18:35:56] 793*2^1507635-1 is not prime. Res64: F6DBA8EAEF79CD09 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:35:56] 849*2^1507635-1 is not prime. Res64: 581595A4582AE33C Time : 0.0 sec. user=mdettweiler [2018-04-20 18:35:56] 853*2^1507635-1 is not prime. Res64: B6034ED9275629A4 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:35:57] 943*2^1507635-1 is not prime. Res64: F300FA2B05287194 Time : 0.0 sec. user=mdettweiler [2018-04-20 18:35:57] 773*2^1507636-1 is not prime. Res64: DCDD67793110F1BB Time : 0.0 sec. user=mdettweiler [2018-04-20 19:07:32] 857*2^1507636-1 is not prime. Res64: EA009997665DD730 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:07:36] 905*2^1507636-1 is not prime. Res64: 51B85FD14C964F84 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:07:38] 939*2^1507636-1 is not prime. Res64: 23FC039E25CB992F Time : 0.0 sec. user=mdettweiler [2018-04-20 19:07:41] 975*2^1507636-1 is not prime. Res64: 91745F32A65AE716 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:07:43] 621*2^1507637-1 is not prime. Res64: EE8DB1C48B2B3A93 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:10] 729*2^1507637-1 is not prime. Res64: E310412429450E5A Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:11] 795*2^1507637-1 is not prime. Res64: D33D8B15DB1A8604 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:13] 915*2^1507637-1 is not prime. Res64: 2FDB51A2302710BC Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:14] 711*2^1507638-1 is not prime. Res64: E37A1C7373DC9720 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:15] 971*2^1507638-1 is not prime. Res64: C2502F5FBE7E6675 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:27] 993*2^1507638-1 is not prime. Res64: 5DA5FABB6E05AD3D Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:29] 615*2^1507639-1 is not prime. Res64: 9D06E106C6F07478 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:33] 619*2^1507639-1 is not prime. Res64: 8371DB96B1D97BE8 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:35] 745*2^1507639-1 is not prime. Res64: 42FC100A79E556ED Time : 0.0 sec. user=mdettweiler [2018-04-20 19:09:36] 813*2^1507639-1 is not prime. Res64: 62DB5419FF01E014 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:30:11] 913*2^1507639-1 is not prime. Res64: D63E2A4B3D86EA35 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:30:11] 993*2^1507639-1 is not prime. Res64: 5D18298CDEB521D8 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:30:11] 665*2^1507640-1 is not prime. Res64: E19427CC1180FAA1 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:30:12] 677*2^1507640-1 is not prime. Res64: FB22598DB9CDC419 Time : 0.0 sec. user=mdettweiler [2018-04-20 19:30:12] 743*2^1507640-1 is not prime. Res64: C34D910F0B2F9FF5 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:01:42] 803*2^1507640-1 is not prime. Res64: ED32D5B323E0096D Time : 0.0 sec. user=mdettweiler [2018-04-20 20:01:42] 983*2^1507640-1 is not prime. Res64: 557D399E82B2FA58 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:01:44] 639*2^1507641-1 is not prime. Res64: D5A4858418EF3D88 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:01:44] 817*2^1507641-1 is not prime. Res64: EC8BEB7C9500EBB3 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:01:45] 837*2^1507641-1 is not prime. Res64: FE91968F3416BC30 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:03:33] 909*2^1507641-1 is not prime. Res64: 6E9DBC7CCD7EC42E Time : 0.0 sec. user=mdettweiler [2018-04-20 20:03:35] 937*2^1507641-1 is not prime. Res64: C2818DC1774C379F Time : 0.0 sec. user=mdettweiler [2018-04-20 20:03:36] 975*2^1507641-1 is not prime. Res64: 7FB5F407EF5AFCBD Time : 0.0 sec. user=mdettweiler [2018-04-20 20:03:37] 603*2^1507642-1 is not prime. Res64: E63745B42875BA42 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:03:38] 675*2^1507642-1 is not prime. Res64: E52011523F9309FF Time : 0.0 sec. user=mdettweiler [2018-04-20 20:04:09] 815*2^1507642-1 is not prime. Res64: 82924957578F0488 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:04:11] 831*2^1507642-1 is not prime. Res64: 00D15C5E41840DB0 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:04:13] 891*2^1507642-1 is not prime. Res64: 8801E7483A293E18 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:04:14] 609*2^1507643-1 is not prime. Res64: 5840528A9BF6882A Time : 0.0 sec. user=mdettweiler [2018-04-20 20:04:15] 663*2^1507643-1 is not prime. Res64: 25DF38CCD772936D Time : 0.0 sec. user=mdettweiler [2018-04-20 20:26:54] 675*2^1507643-1 is not prime. Res64: A4529BA265186FC5 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:26:54] 741*2^1507643-1 is not prime. Res64: D26205D88EFB875B Time : 0.0 sec. user=mdettweiler [2018-04-20 20:26:55] 759*2^1507643-1 is not prime. Res64: 7B18C75A69255009 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:26:55] 801*2^1507643-1 is not prime. Res64: FB36A787B52A4A50 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:26:56] 813*2^1507643-1 is not prime. Res64: CFB8717C768B5290 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:23] 901*2^1507643-1 is not prime. Res64: 601953F61DD56ED4 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:23] 999*2^1507643-1 is not prime. Res64: 4001BFF660D3A395 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:24] 705*2^1507644-1 is not prime. Res64: 2FA1E1D2E6455E68 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:24] 927*2^1507644-1 is not prime. Res64: 395D11EB4A2C0AC6 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:24] 945*2^1507644-1 is not prime. Res64: 81AA90708DC8DCFF Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:58] 601*2^1507645-1 is not prime. Res64: 26F503BC0033DA68 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:59] 661*2^1507645-1 is not prime. Res64: 63ACF7DE1E082FAB Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:59] 687*2^1507645-1 is not prime. Res64: D6AF4ECE11D27E7B Time : 0.0 sec. user=mdettweiler [2018-04-20 20:56:59] 699*2^1507645-1 is not prime. Res64: DC38223B113B1EF4 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:57:00] 715*2^1507645-1 is not prime. Res64: 62C643E89EA600C7 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:59:33] 717*2^1507645-1 is not prime. Res64: 57CB9CE328C6CE82 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:59:33] 757*2^1507645-1 is not prime. Res64: 173203A85872BF1F Time : 0.0 sec. user=mdettweiler [2018-04-20 20:59:33] 825*2^1507645-1 is not prime. Res64: E4745E81ACAA49EC Time : 0.0 sec. user=mdettweiler [2018-04-20 20:59:34] 871*2^1507645-1 is not prime. Res64: 4FDA345998E06092 Time : 0.0 sec. user=mdettweiler [2018-04-20 20:59:34] 961*2^1507645-1 is not prime. Res64: BDB1E7D7800FF9D2 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:23:07] 985*2^1507645-1 is not prime. Res64: E222C5BD63DB09C9 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:23:08] 641*2^1507646-1 is not prime. Res64: 476BC86B9A269DF3 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:23:08] 957*2^1507646-1 is not prime. Res64: D8C48FBEAAABC477 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:23:09] 661*2^1507647-1 is not prime. Res64: 29458A810F4219FF Time : 0.0 sec. user=mdettweiler [2018-04-20 21:23:09] 711*2^1507647-1 is not prime. Res64: 9755AF552C3BA26B Time : 0.0 sec. user=mdettweiler [2018-04-20 21:51:37] 775*2^1507647-1 is not prime. Res64: C965BAA126BE3EA6 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:51:37] 871*2^1507647-1 is not prime. Res64: 3F51FCA9B9C7DCD5 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:51:38] 961*2^1507647-1 is not prime. Res64: 56F81F8F98E6F782 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:51:38] 985*2^1507647-1 is not prime. Res64: E407DA3B1316FB3B Time : 0.0 sec. user=mdettweiler [2018-04-20 21:51:38] 639*2^1507648-1 is not prime. Res64: 6DF9EA6D0470F875 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:52:19] 657*2^1507648-1 is not prime. Res64: 17D94C010667D630 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:52:19] 833*2^1507648-1 is not prime. Res64: 709CD3223B76951E Time : 0.0 sec. user=mdettweiler [2018-04-20 21:52:20] 887*2^1507648-1 is not prime. Res64: 1BCBBD52C3A50999 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:52:20] 909*2^1507648-1 is not prime. Res64: 90CF8D8F35074051 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:52:20] 675*2^1507649-1 is not prime. Res64: 648B6B8D3CE778FE Time : 0.0 sec. user=mdettweiler [2018-04-20 21:56:31] 729*2^1507649-1 is not prime. Res64: 7D01F8F78654B841 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:56:32] 769*2^1507649-1 is not prime. Res64: 3AF2C087D051DB93 Time : 0.0 sec. user=mdettweiler [2018-04-20 21:56:32] 789*2^1507649-1 is not prime. Res64: 740367A1FE3E69CD Time : 0.0 sec. user=mdettweiler [2018-04-20 21:56:33] 897*2^1507649-1 is not prime. Res64: 1AC48CD6C25CA2EB Time : 0.0 sec. user=mdettweiler [2018-04-20 21:56:33] 925*2^1507649-1 is not prime. Res64: 3CCE57B02CC87F71 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:21:16] 945*2^1507649-1 is not prime. Res64: 42583C7DB76A42EF Time : 0.0 sec. user=mdettweiler [2018-04-20 22:21:17] 635*2^1507650-1 is not prime. Res64: CC4EF7A2E33F1631 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:21:17] 713*2^1507650-1 is not prime. Res64: 12D8AD7F02F08031 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:21:17] 843*2^1507650-1 is not prime. Res64: 0A9F563764FB9DFC Time : 0.0 sec. user=mdettweiler [2018-04-20 22:21:18] 851*2^1507650-1 is not prime. Res64: 673B536B737E96BA Time : 0.0 sec. user=mdettweiler [2018-04-20 22:55:41] 759*2^1507651-1 is not prime. Res64: 83A2CF15D840C04B Time : 0.0 sec. user=mdettweiler [2018-04-20 22:55:42] 849*2^1507651-1 is not prime. Res64: E4E212141707F1A2 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:55:42] 883*2^1507651-1 is not prime. Res64: 4B7E9E6E9911296D Time : 0.0 sec. user=mdettweiler [2018-04-20 22:55:42] 885*2^1507651-1 is not prime. Res64: 694B4C52845FD302 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:55:42] 931*2^1507651-1 is not prime. Res64: D258FF3D4407981C Time : 0.0 sec. user=mdettweiler [2018-04-20 22:56:10] 971*2^1507650-1 is not prime. Res64: E668FB2B8402FF11 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:56:10] 663*2^1507651-1 is not prime. Res64: 77FEE6D99A5B4425 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:56:11] 679*2^1507651-1 is not prime. Res64: 24599B5817D487B4 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:56:11] 735*2^1507651-1 is not prime. Res64: DB4220FBA889D95F Time : 0.0 sec. user=mdettweiler [2018-04-20 22:56:11] 745*2^1507651-1 is not prime. Res64: 59D45BF81FB79EBF Time : 0.0 sec. user=mdettweiler [2018-04-20 22:59:11] 961*2^1507651-1 is not prime. Res64: 3320CDF6D48367A5 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:59:11] 609*2^1507652-1 is not prime. Res64: D9C6AEC098C5E0A9 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:59:12] 875*2^1507652-1 is not prime. Res64: BCA2F337E2470682 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:59:12] 893*2^1507652-1 is not prime. Res64: 45E16A91D8A330B1 Time : 0.0 sec. user=mdettweiler [2018-04-20 22:59:12] 977*2^1507652-1 is not prime. Res64: 70A66FE2527B84BE Time : 0.0 sec. user=mdettweiler [2018-04-20 23:23:08] 747*2^1507653-1 is not prime. Res64: 1E2658D6317F1E4C Time : 0.0 sec. user=mdettweiler [2018-04-20 23:23:09] 765*2^1507653-1 is not prime. Res64: 1666662751C1D3C5 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:23:09] 829*2^1507653-1 is not prime. Res64: 2D462BDC83C20845 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:23:10] 895*2^1507653-1 is not prime. Res64: 1F74666A57F848D7 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:23:10] 663*2^1507654-1 is not prime. Res64: CFCB35F44AB6EE1B Time : 0.0 sec. user=mdettweiler [2018-04-20 23:51:08] 819*2^1507655-1 is not prime. Res64: 9294DF65863F568A Time : 0.0 sec. user=mdettweiler [2018-04-20 23:51:08] 963*2^1507655-1 is not prime. Res64: 0262CEA5D565DE11 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:51:09] 695*2^1507656-1 is not prime. Res64: A4E390AAFBE52311 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:51:09] 707*2^1507656-1 is not prime. Res64: 76ACF33989AA01DF Time : 0.0 sec. user=mdettweiler [2018-04-20 23:51:10] 719*2^1507656-1 is not prime. Res64: 7E28869A34DA3965 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:01] 695*2^1507654-1 is not prime. Res64: 1D2F319FE62DB84C Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:01] 897*2^1507654-1 is not prime. Res64: 8BB9715C364647F9 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:02] 739*2^1507655-1 is not prime. Res64: 2315DADD2B81CB7F Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:02] 775*2^1507655-1 is not prime. Res64: 0CAA6E7D61C51C89 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:02] 789*2^1507655-1 is not prime. Res64: C9AA1B8FBA822B9B Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:44] 779*2^1507656-1 is not prime. Res64: DF9248FE0F2713B3 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:45] 803*2^1507656-1 is not prime. Res64: 1358448B2F4561DA Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:45] 845*2^1507656-1 is not prime. Res64: 80F056FC0F2F1512 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:45] 849*2^1507656-1 is not prime. Res64: 6F8C19DE26818B63 Time : 0.0 sec. user=mdettweiler [2018-04-20 23:53:46] 887*2^1507656-1 is not prime. Res64: F280BA8F24B4FC5C Time : 0.0 sec.