user=mdettweiler [2018-05-01 00:36:41] 617*2^1508594-1 is not prime. Res64: DFBA8AD1D044CB99 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:36:41] 683*2^1508594-1 is not prime. Res64: 1BE0AAC476C10D63 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:36:42] 755*2^1508594-1 is not prime. Res64: 918F8D14A7810CE7 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:36:42] 815*2^1508594-1 is not prime. Res64: D2E33361B1E08C3D Time : 0.0 sec. user=mdettweiler [2018-05-01 00:36:43] 861*2^1508594-1 is not prime. Res64: 91018A43D7D6477B Time : 0.0 sec. user=mdettweiler [2018-05-01 00:38:57] 613*2^1508595-1 is not prime. Res64: FDF07BFFA4D197E3 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:38:58] 639*2^1508595-1 is not prime. Res64: 968F9093BEAEE4C5 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:38:58] 679*2^1508595-1 is not prime. Res64: 50036563EF481204 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:38:59] 705*2^1508595-1 is not prime. Res64: CBFE613448DEE38D Time : 0.0 sec. user=mdettweiler [2018-05-01 00:38:59] 801*2^1508595-1 is not prime. Res64: 5E406BDA207E5597 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:48:21] 839*2^1508596-1 is not prime. Res64: F9BCFC06D4816976 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:48:21] 843*2^1508596-1 is not prime. Res64: 7890D56B2C2D923A Time : 0.0 sec. user=mdettweiler [2018-05-01 00:48:21] 869*2^1508596-1 is not prime. Res64: 2521C9DC1D103F15 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:48:22] 947*2^1508596-1 is not prime. Res64: A46ADB7D66DFDD14 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:48:22] 697*2^1508597-1 is not prime. Res64: 380ED32E97C6D457 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:49:18] 853*2^1508595-1 is not prime. Res64: 9655F342A988918A Time : 0.0 sec. user=mdettweiler [2018-05-01 00:49:19] 859*2^1508595-1 is not prime. Res64: 5CBB3BB152BF767B Time : 0.0 sec. user=mdettweiler [2018-05-01 00:49:19] 955*2^1508595-1 is not prime. Res64: 24452D47169CD52E Time : 0.0 sec. user=mdettweiler [2018-05-01 00:49:20] 961*2^1508595-1 is not prime. Res64: 8CDAE231D7DF1090 Time : 0.0 sec. user=mdettweiler [2018-05-01 00:49:20] 803*2^1508596-1 is not prime. Res64: 55406DB4C9182303 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:27:47] 699*2^1508597-1 is not prime. Res64: E20983D7ABA387EC Time : 0.0 sec. user=mdettweiler [2018-05-01 01:27:48] 741*2^1508597-1 is not prime. Res64: 6278789D07A974FA Time : 0.0 sec. user=mdettweiler [2018-05-01 01:27:49] 755*2^1508598-1 is not prime. Res64: 22D903BE849EE8EB Time : 0.0 sec. user=mdettweiler [2018-05-01 01:27:50] 795*2^1508598-1 is not prime. Res64: E6B234D5616D1320 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:27:50] 915*2^1508598-1 is not prime. Res64: 2A9A75E375CACB50 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:30:32] 619*2^1508599-1 is not prime. Res64: B29A228444E2443A Time : 0.0 sec. user=mdettweiler [2018-05-01 01:30:32] 873*2^1508599-1 is not prime. Res64: 43C7BB7FDF93C477 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:30:33] 951*2^1508599-1 is not prime. Res64: AF56B44B9EDAC70D Time : 0.0 sec. user=mdettweiler [2018-05-01 01:30:34] 973*2^1508599-1 is not prime. Res64: 1CE20AD2A8207B93 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:30:35] 753*2^1508600-1 is not prime. Res64: D2A5A44C3134D03A Time : 0.0 sec. user=mdettweiler [2018-05-01 01:38:47] 767*2^1508600-1 is not prime. Res64: D26967346235CCB7 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:38:47] 789*2^1508600-1 is not prime. Res64: 8EA52D34C016D413 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:38:49] 839*2^1508600-1 is not prime. Res64: 1FED44983B93FC2A Time : 0.0 sec. user=mdettweiler [2018-05-01 01:38:57] 977*2^1508600-1 is not prime. Res64: DB033AB7328EEEB0 Time : 0.0 sec. user=mdettweiler [2018-05-01 01:39:43] 681*2^1508601-1 is not prime. Res64: DE312A3442BAAABC Time : 0.0 sec. user=mdettweiler [2018-05-01 01:39:43] 847*2^1508601-1 is not prime. Res64: AAD766DD9559A95D Time : 0.0 sec. user=mdettweiler [2018-05-01 01:39:44] 861*2^1508601-1 is not prime. Res64: BAA573FA625473FF Time : 0.0 sec. user=mdettweiler [2018-05-01 01:39:45] 895*2^1508601-1 is not prime. Res64: 651510ECC3ACA3AD Time : 0.0 sec. user=mdettweiler [2018-05-01 01:39:45] 997*2^1508601-1 is not prime. Res64: B0B6E2932B1EAD6F Time : 0.0 sec. user=mdettweiler [2018-05-01 02:19:50] 695*2^1508602-1 is not prime. Res64: 8E547D83A3ABF155 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:19:50] 701*2^1508602-1 is not prime. Res64: 7AE15E1D037CD216 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:19:50] 713*2^1508602-1 is not prime. Res64: DD18777F0D47DE34 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:19:51] 755*2^1508602-1 is not prime. Res64: 421BBED673701B13 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:19:51] 765*2^1508602-1 is not prime. Res64: 3941995AF712DD67 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:22:09] 825*2^1508602-1 is not prime. Res64: 5B7889300734092C Time : 0.0 sec. user=mdettweiler [2018-05-01 02:22:09] 833*2^1508602-1 is not prime. Res64: 0584D2A98036D435 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:22:10] 923*2^1508602-1 is not prime. Res64: C8AADEE1932D7E85 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:22:10] 633*2^1508603-1 is not prime. Res64: 971B382CCBEE46AA Time : 0.0 sec. user=mdettweiler [2018-05-01 02:22:10] 679*2^1508603-1 is not prime. Res64: B3CE34379FFD6EEC Time : 0.0 sec. user=mdettweiler [2018-05-01 02:32:48] 771*2^1508603-1 is not prime. Res64: 83073A94EE4BB632 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:32:48] 885*2^1508603-1 is not prime. Res64: 85A1C53C05588CC9 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:32:49] 609*2^1508604-1 is not prime. Res64: D0FA4E5E4E74B011 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:32:49] 639*2^1508604-1 is not prime. Res64: 04992C019EF793A6 Time : 0.0 sec. user=mdettweiler [2018-05-01 02:32:49] 675*2^1508604-1 is not prime. Res64: D6A655CE6646566F Time : 0.0 sec. user=mdettweiler [2018-05-01 03:16:24] 699*2^1508604-1 is not prime. Res64: 73DCBC595CEC595E Time : 0.0 sec. user=mdettweiler [2018-05-01 03:16:25] 837*2^1508604-1 is not prime. Res64: EEA55876300F0A63 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:16:25] 875*2^1508604-1 is not prime. Res64: 86CEAC0AAD12FD3D Time : 0.0 sec. user=mdettweiler [2018-05-01 03:16:26] 965*2^1508604-1 is not prime. Res64: EEFA7C907F1B4B7B Time : 0.0 sec. user=mdettweiler [2018-05-01 03:16:26] 691*2^1508605-1 is not prime. Res64: C4048DDA4DA621CC Time : 0.0 sec. user=mdettweiler [2018-05-01 03:17:47] 717*2^1508605-1 is not prime. Res64: 9BD96AC507B64C5B Time : 0.0 sec. user=mdettweiler [2018-05-01 03:17:47] 771*2^1508605-1 is not prime. Res64: 0E4A5ADABB38FA71 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:17:48] 867*2^1508605-1 is not prime. Res64: 3A4F318EC049ADC3 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:17:48] 877*2^1508605-1 is not prime. Res64: 5F3875031D02ED74 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:17:49] 997*2^1508605-1 is not prime. Res64: B91F16D5CF88C441 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:28:39] 603*2^1508606-1 is not prime. Res64: C1AE846D5D8DAF31 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:28:40] 627*2^1508606-1 is not prime. Res64: 498F8C510D229940 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:28:41] 635*2^1508606-1 is not prime. Res64: C079D556BFDE2EF2 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:28:42] 873*2^1508606-1 is not prime. Res64: 2B165249E3E20122 Time : 0.0 sec. user=mdettweiler [2018-05-01 03:28:43] 917*2^1508606-1 is not prime. Res64: 4A09D3DE2F3E0BAD Time : 0.0 sec. user=mdettweiler [2018-05-01 04:09:18] 615*2^1508607-1 is not prime. Res64: 6D36B11825ABBB45 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:09:22] 619*2^1508607-1 is not prime. Res64: F6691DE03AA965D4 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:09:25] 649*2^1508607-1 is not prime. Res64: ECB60CD798C9274E Time : 0.0 sec. user=mdettweiler [2018-05-01 04:09:27] 693*2^1508607-1 is not prime. Res64: 504670EE3E98B165 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:09:31] 711*2^1508607-1 is not prime. Res64: E0FA7B4FA8F109FF Time : 0.0 sec. user=mdettweiler [2018-05-01 04:10:46] 805*2^1508607-1 is not prime. Res64: 85B793F9FA30C451 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:10:51] 829*2^1508607-1 is not prime. Res64: 02F5B014D860B0CD Time : 0.0 sec. user=mdettweiler [2018-05-01 04:10:56] 843*2^1508607-1 is not prime. Res64: 72BE05B1A6AE29D6 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:11:00] 891*2^1508607-1 is not prime. Res64: A85E3F21F3B9A0DD Time : 0.0 sec. user=mdettweiler [2018-05-01 04:11:02] 603*2^1508608-1 is not prime. Res64: 8437AD7A7EB38130 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:21:15] 827*2^1508608-1 is not prime. Res64: B66F259A24698856 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:21:15] 863*2^1508608-1 is not prime. Res64: 39A194785AB2318E Time : 0.0 sec. user=mdettweiler [2018-05-01 04:21:16] 887*2^1508608-1 is not prime. Res64: E71E607AC348AD5C Time : 0.0 sec. user=mdettweiler [2018-05-01 04:21:16] 947*2^1508608-1 is not prime. Res64: BCC7CB0272AE1A57 Time : 0.0 sec. user=mdettweiler [2018-05-01 04:21:17] 787*2^1508609-1 is not prime. Res64: DD1826C001DA7E05 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:04:35] 803*2^1508610-1 is not prime. Res64: 7EC96CAA72794703 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:04:36] 825*2^1508610-1 is not prime. Res64: B1B460D4A3105327 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:04:37] 833*2^1508610-1 is not prime. Res64: 879509818CF3DFBC Time : 0.0 sec. user=mdettweiler [2018-05-01 05:04:39] 977*2^1508610-1 is not prime. Res64: 8B9FE593E5FC5E96 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:04:40] 679*2^1508611-1 is not prime. Res64: BAC2150FCDB8BAD9 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:08:18] 819*2^1508609-1 is not prime. Res64: 79674A0D61C38630 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:08:19] 651*2^1508610-1 is not prime. Res64: 031736A9E06428B2 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:08:19] 681*2^1508610-1 is not prime. Res64: D8662B5F5ED6E1F6 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:08:20] 723*2^1508610-1 is not prime. Res64: 0DA09F940C0E355A Time : 0.0 sec. user=mdettweiler [2018-05-01 05:08:22] 773*2^1508610-1 is not prime. Res64: E0AE5C872B4CC75D Time : 0.0 sec. user=mdettweiler [2018-05-01 05:14:38] 703*2^1508611-1 is not prime. Res64: FE018D0F100C334A Time : 0.0 sec. user=mdettweiler [2018-05-01 05:14:39] 783*2^1508611-1 is not prime. Res64: 75603F16AE73F1D4 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:14:39] 855*2^1508611-1 is not prime. Res64: CDBE81522D0AF42A Time : 0.0 sec. user=mdettweiler [2018-05-01 05:14:40] 889*2^1508611-1 is not prime. Res64: 06400280D6016A6E Time : 0.0 sec. user=mdettweiler [2018-05-01 05:14:41] 629*2^1508612-1 is not prime. Res64: 9DC655ED94C1F27E Time : 0.0 sec. user=mdettweiler [2018-05-01 05:16:42] 675*2^1508601-1 is not prime. Res64: 7279742B419E56BF Time : 0.0 sec. user=mdettweiler [2018-05-01 05:55:28] 633*2^1508612-1 is not prime. Res64: 342A4D9C98567955 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:55:29] 687*2^1508612-1 is not prime. Res64: 97CA7868447FC9E5 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:55:29] 855*2^1508612-1 is not prime. Res64: 0710E5FAC7A7F619 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:55:30] 873*2^1508612-1 is not prime. Res64: 64842F2047794070 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:55:30] 897*2^1508612-1 is not prime. Res64: EE08F7126E1701B1 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:58:37] 615*2^1508613-1 is not prime. Res64: 0D7FA88922A92360 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:58:38] 625*2^1508613-1 is not prime. Res64: E9034BE880D60326 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:58:38] 651*2^1508613-1 is not prime. Res64: ADE7683DEFC2E62A Time : 0.0 sec. user=mdettweiler [2018-05-01 05:58:38] 681*2^1508613-1 is not prime. Res64: D3B029F345327801 Time : 0.0 sec. user=mdettweiler [2018-05-01 05:58:39] 745*2^1508613-1 is not prime. Res64: F285E1E1431E6D13 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:04:47] 759*2^1508613-1 is not prime. Res64: AE85B082FC0AA67B Time : 0.0 sec. user=mdettweiler [2018-05-01 06:04:48] 617*2^1508614-1 is not prime. Res64: 98D7C03988850E3A Time : 0.0 sec. user=mdettweiler [2018-05-01 06:04:49] 621*2^1508614-1 is not prime. Res64: A010542C56ABC12A Time : 0.0 sec. user=mdettweiler [2018-05-01 06:04:50] 687*2^1508614-1 is not prime. Res64: 57B4C4EDCD2392BB Time : 0.0 sec. user=mdettweiler [2018-05-01 06:04:51] 737*2^1508614-1 is not prime. Res64: 53DF1AB90CEBA3F8 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:07:31] 825*2^1508614-1 is not prime. Res64: EC6952231D186DE8 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:07:32] 903*2^1508614-1 is not prime. Res64: 62A73817CD2B4E7F Time : 0.0 sec. user=mdettweiler [2018-05-01 06:07:32] 923*2^1508614-1 is not prime. Res64: 8B1EBCC77B00F961 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:07:33] 975*2^1508614-1 is not prime. Res64: B10F1004473C29BC Time : 0.0 sec. user=mdettweiler [2018-05-01 06:07:33] 981*2^1508614-1 is not prime. Res64: 6A8FC82D36BCD979 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:46:38] 685*2^1508615-1 is not prime. Res64: AAEC0EFD7A2367C9 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:46:39] 775*2^1508615-1 is not prime. Res64: 38F84AAAC4A18053 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:46:39] 885*2^1508615-1 is not prime. Res64: 33D0E6F7258B50DB Time : 0.0 sec. user=mdettweiler [2018-05-01 06:46:39] 921*2^1508615-1 is not prime. Res64: A45EE48D0A0CBEF2 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:46:40] 717*2^1508616-1 is not prime. Res64: AE7D175915B9A34F Time : 0.0 sec. user=mdettweiler [2018-05-01 06:50:06] 927*2^1508616-1 is not prime. Res64: 1030762B8653395F Time : 0.0 sec. user=mdettweiler [2018-05-01 06:50:06] 741*2^1508617-1 is not prime. Res64: D7C006FA9A2BAE6C Time : 0.0 sec. user=mdettweiler [2018-05-01 06:50:07] 771*2^1508617-1 is not prime. Res64: 3783D3A4F1FEDF2D Time : 0.0 sec. user=mdettweiler [2018-05-01 06:50:07] 849*2^1508617-1 is not prime. Res64: 726393B4A6AC3535 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:50:07] 895*2^1508617-1 is not prime. Res64: 98892375D29C3BC3 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:56:26] 915*2^1508617-1 is not prime. Res64: AE5B932CB9CF50E9 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:56:26] 645*2^1508618-1 is not prime. Res64: 0C5C25B4496E82C5 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:56:26] 671*2^1508618-1 is not prime. Res64: DE807494552283BC Time : 0.0 sec. user=mdettweiler [2018-05-01 06:56:27] 707*2^1508618-1 is not prime. Res64: 2E634417E107B489 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:56:27] 857*2^1508618-1 is not prime. Res64: 91A75112C0DF5001 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:58:42] 861*2^1508618-1 is not prime. Res64: 494CF9D15F6C18CA Time : 0.0 sec. user=mdettweiler [2018-05-01 06:58:42] 911*2^1508618-1 is not prime. Res64: CCF0F5288147F5F8 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:58:42] 923*2^1508618-1 is not prime. Res64: 6B67EC18804BA47B Time : 0.0 sec. user=mdettweiler [2018-05-01 06:58:43] 625*2^1508619-1 is not prime. Res64: C2D85AD0279D58D5 Time : 0.0 sec. user=mdettweiler [2018-05-01 06:58:43] 633*2^1508619-1 is not prime. Res64: BC4D68289D223377 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:37:04] 685*2^1508619-1 is not prime. Res64: ADEB7C445AEB36B0 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:37:05] 703*2^1508619-1 is not prime. Res64: 3955C127A70B8435 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:37:05] 801*2^1508619-1 is not prime. Res64: B5D55552AF535FAD Time : 0.0 sec. user=mdettweiler [2018-05-01 07:37:05] 861*2^1508619-1 is not prime. Res64: 2B07F82AE203014C Time : 0.0 sec. user=mdettweiler [2018-05-01 07:37:06] 919*2^1508619-1 is not prime. Res64: E84C9E32D3E35919 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:41:11] 743*2^1508620-1 is not prime. Res64: AE58D717881D493F Time : 0.0 sec. user=mdettweiler [2018-05-01 07:41:11] 765*2^1508620-1 is not prime. Res64: A605A5FE2F591D95 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:41:12] 873*2^1508620-1 is not prime. Res64: 93C3F2A30E2C2B36 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:41:12] 885*2^1508620-1 is not prime. Res64: 7713AFBC15C34593 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:41:12] 887*2^1508620-1 is not prime. Res64: CECBEA251BF49D5D Time : 0.0 sec. user=mdettweiler [2018-05-01 07:48:30] 929*2^1508620-1 is not prime. Res64: 2518C99BDEBE6F73 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:48:30] 933*2^1508620-1 is not prime. Res64: 31A0BF0914EFC2B3 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:48:31] 781*2^1508621-1 is not prime. Res64: 8816FD69C2FA2377 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:48:31] 789*2^1508621-1 is not prime. Res64: E17FC1BADE39AE5F Time : 0.0 sec. user=mdettweiler [2018-05-01 07:48:32] 861*2^1508621-1 is not prime. Res64: 5AFA01C9BC5D75D1 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:50:17] 885*2^1508621-1 is not prime. Res64: E60540E685F7D6C4 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:50:17] 907*2^1508621-1 is not prime. Res64: D15CA3B403FE8D81 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:50:18] 711*2^1508622-1 is not prime. Res64: 7213BE649431FF55 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:50:18] 755*2^1508622-1 is not prime. Res64: 65B9EAD772664598 Time : 0.0 sec. user=mdettweiler [2018-05-01 07:50:18] 615*2^1508623-1 is not prime. Res64: EA3F2D0C5FF9B21B Time : 0.0 sec. user=mdettweiler [2018-05-01 08:27:30] 621*2^1508623-1 is not prime. Res64: 8AED12B25692398C Time : 0.0 sec. user=mdettweiler [2018-05-01 08:27:30] 675*2^1508623-1 is not prime. Res64: 4AD33689E6DD0FA8 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:27:31] 829*2^1508623-1 is not prime. Res64: CEF4093E13612B49 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:27:31] 861*2^1508623-1 is not prime. Res64: 7DF2A627A6FA23E2 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:27:31] 945*2^1508623-1 is not prime. Res64: 046E1D53F87C146A Time : 0.0 sec. user=mdettweiler [2018-05-01 08:31:49] 717*2^1508624-1 is not prime. Res64: 23D702737E457A0F Time : 0.0 sec. user=mdettweiler [2018-05-01 08:31:49] 785*2^1508624-1 is not prime. Res64: DE7479803080DCDA Time : 0.0 sec. user=mdettweiler [2018-05-01 08:31:49] 857*2^1508624-1 is not prime. Res64: 08A0C3A16ED9EB57 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:31:50] 915*2^1508624-1 is not prime. Res64: 00C0F21D1CA43C65 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:31:50] 957*2^1508624-1 is not prime. Res64: 115B8A4BDD3E219F Time : 0.0 sec. user=mdettweiler [2018-05-01 08:38:46] 657*2^1508625-1 is not prime. Res64: 88CDF0FF3CE3CF54 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:38:47] 811*2^1508625-1 is not prime. Res64: 7ADB6BAB19B4D7A9 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:38:47] 867*2^1508625-1 is not prime. Res64: 661F45E933083506 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:38:47] 647*2^1508626-1 is not prime. Res64: 53785D3FBB4496F5 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:38:48] 765*2^1508626-1 is not prime. Res64: FDA8EA53484ADD28 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:41:17] 857*2^1508626-1 is not prime. Res64: 093CB6DBE9D446ED Time : 0.0 sec. user=mdettweiler [2018-05-01 08:41:17] 887*2^1508626-1 is not prime. Res64: E5C984A8C1F876A2 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:41:17] 911*2^1508626-1 is not prime. Res64: E9CB160F5E5DDE10 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:41:18] 917*2^1508626-1 is not prime. Res64: 24C6FEF8177E7DF6 Time : 0.0 sec. user=mdettweiler [2018-05-01 08:41:18] 945*2^1508626-1 is not prime. Res64: 34A44384041FDFC5 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:17:29] 957*2^1508626-1 is not prime. Res64: D1FA464B7A56622C Time : 0.0 sec. user=mdettweiler [2018-05-01 09:17:29] 675*2^1508627-1 is not prime. Res64: 92990D1EB006C070 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:17:30] 703*2^1508627-1 is not prime. Res64: 94DE1A1F120C8B57 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:17:30] 741*2^1508627-1 is not prime. Res64: 993FF2B7B8905D0E Time : 0.0 sec. user=mdettweiler [2018-05-01 09:17:30] 799*2^1508627-1 is not prime. Res64: 0C063EE7A9E9AD57 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:22:50] 819*2^1508627-1 is not prime. Res64: EFE67D5D480A69D6 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:22:51] 823*2^1508627-1 is not prime. Res64: 8241B10D1974DA18 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:22:51] 841*2^1508627-1 is not prime. Res64: 9D3123DEB3FE4FED Time : 0.0 sec. user=mdettweiler [2018-05-01 09:22:52] 963*2^1508627-1 is not prime. Res64: AC5FF98CEE9EB0B3 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:22:52] 985*2^1508627-1 is not prime. Res64: EF2E247B70DFE298 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:29:04] 647*2^1508628-1 is not prime. Res64: EF2D217051C8625C Time : 0.0 sec. user=mdettweiler [2018-05-01 09:29:05] 695*2^1508628-1 is not prime. Res64: 33880787ADFAA95A Time : 0.0 sec. user=mdettweiler [2018-05-01 09:29:05] 725*2^1508628-1 is not prime. Res64: 3213E1D06EA48754 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:29:06] 879*2^1508628-1 is not prime. Res64: 1ADB86CF0BCE9A73 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:29:06] 929*2^1508628-1 is not prime. Res64: 506DF2C94AF5562C Time : 0.0 sec. user=mdettweiler [2018-05-01 09:32:42] 945*2^1508628-1 is not prime. Res64: 2DA75B88754D5123 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:32:42] 987*2^1508628-1 is not prime. Res64: 9C7038EBE4C3E939 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:32:42] 721*2^1508629-1 is not prime. Res64: 09C0AC4AEE19518D Time : 0.0 sec. user=mdettweiler [2018-05-01 09:32:43] 855*2^1508629-1 is not prime. Res64: 7B8DC3C34B83A1E1 Time : 0.0 sec. user=mdettweiler [2018-05-01 09:32:43] 939*2^1508629-1 is not prime. Res64: 57501351DD0FCB85 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:10:07] 997*2^1508629-1 is not prime. Res64: 9C83A360D737F352 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:10:07] 663*2^1508630-1 is not prime. Res64: 70F533C1EFC820FA Time : 0.0 sec. user=mdettweiler [2018-05-01 10:10:08] 675*2^1508630-1 is not prime. Res64: 08A9F4932AB53E39 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:10:08] 861*2^1508630-1 is not prime. Res64: 61358F4D13ED48C0 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:10:08] 917*2^1508630-1 is not prime. Res64: 7B45DF6FD124437E Time : 0.0 sec. user=mdettweiler [2018-05-01 10:14:34] 921*2^1508630-1 is not prime. Res64: CD46177BE8D56D76 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:14:35] 1001*2^1508630-1 is not prime. Res64: 153B8627E39BCA07 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:14:35] 651*2^1508631-1 is not prime. Res64: 4F68EF77DF0FEE1B Time : 0.0 sec. user=mdettweiler [2018-05-01 10:14:36] 763*2^1508631-1 is not prime. Res64: DC910838633F8D00 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:14:36] 865*2^1508631-1 is not prime. Res64: A53EA693BC26C0C4 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:20:39] 931*2^1508631-1 is not prime. Res64: 629DEB5DF4B52284 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:20:40] 605*2^1508632-1 is not prime. Res64: 3A361A23931CC242 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:20:40] 863*2^1508632-1 is not prime. Res64: 929419B325E1A61E Time : 0.0 sec. user=mdettweiler [2018-05-01 10:20:40] 873*2^1508632-1 is not prime. Res64: 7A6D22B634A239FB Time : 0.0 sec. user=mdettweiler [2018-05-01 10:20:41] 759*2^1508633-1 is not prime. Res64: 1FF2178CBD8781CD Time : 0.0 sec. user=mdettweiler [2018-05-01 10:25:20] 871*2^1508633-1 is not prime. Res64: EF3A5B1A2C9CA5C2 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:25:20] 889*2^1508633-1 is not prime. Res64: FC4457519552A51E Time : 0.0 sec. user=mdettweiler [2018-05-01 10:25:21] 925*2^1508633-1 is not prime. Res64: 8421C8AE9A70BA7D Time : 0.0 sec. user=mdettweiler [2018-05-01 10:25:21] 949*2^1508633-1 is not prime. Res64: 3EEEE71AA5D8B250 Time : 0.0 sec. user=mdettweiler [2018-05-01 10:25:22] 955*2^1508633-1 is not prime. Res64: 13A45734EEEF48F0 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:02:26] 967*2^1508633-1 is not prime. Res64: FD4CFB69A7F4818F Time : 0.0 sec. user=mdettweiler [2018-05-01 11:02:28] 657*2^1508634-1 is not prime. Res64: F6FB6C2A0F663E66 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:02:28] 695*2^1508634-1 is not prime. Res64: 3F08E343326445E1 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:02:29] 725*2^1508634-1 is not prime. Res64: F8CA04C2A247F229 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:02:29] 885*2^1508634-1 is not prime. Res64: 847FDE282BCA9420 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:07:50] 915*2^1508634-1 is not prime. Res64: C43272AC895DE638 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:07:51] 927*2^1508634-1 is not prime. Res64: 261F69D9E9B76641 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:07:51] 945*2^1508634-1 is not prime. Res64: AE61E27BD856EA66 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:07:52] 631*2^1508635-1 is not prime. Res64: 13838742788D3135 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:07:52] 741*2^1508635-1 is not prime. Res64: 95885FF9C54F9261 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:12:36] 765*2^1508635-1 is not prime. Res64: 9D33EB9645F8C658 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:12:37] 793*2^1508635-1 is not prime. Res64: 5D2D65F7E2AEBD2E Time : 0.0 sec. user=mdettweiler [2018-05-01 11:12:37] 805*2^1508635-1 is not prime. Res64: B408BE562FFBB739 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:12:38] 843*2^1508635-1 is not prime. Res64: 3C9E2A851AF2CBAA Time : 0.0 sec. user=mdettweiler [2018-05-01 11:12:38] 617*2^1508636-1 is not prime. Res64: 55B1ECBECEA8E6FA Time : 0.0 sec. user=mdettweiler [2018-05-01 11:16:04] 633*2^1508636-1 is not prime. Res64: F231DB3DCF33B84C Time : 0.0 sec. user=mdettweiler [2018-05-01 11:16:04] 635*2^1508636-1 is not prime. Res64: 325E1BAF5A458B13 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:16:05] 657*2^1508636-1 is not prime. Res64: 4EE8E466152DDF47 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:16:05] 659*2^1508636-1 is not prime. Res64: 55B79A1C28679E9A Time : 0.0 sec. user=mdettweiler [2018-05-01 11:16:06] 719*2^1508636-1 is not prime. Res64: D0F49FDD85BB82DE Time : 0.0 sec. user=mdettweiler [2018-05-01 11:54:58] 827*2^1508636-1 is not prime. Res64: E475B3D0A99C4D03 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:54:59] 839*2^1508636-1 is not prime. Res64: 78B3D94D0D24D7CD Time : 0.0 sec. user=mdettweiler [2018-05-01 11:54:59] 867*2^1508636-1 is not prime. Res64: E48F7CCBFB254240 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:54:59] 893*2^1508636-1 is not prime. Res64: D17C63D01BD37063 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:55:00] 649*2^1508637-1 is not prime. Res64: 7F692ED6F418FB95 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:57:38] 655*2^1508637-1 is not prime. Res64: CC61D537B9D0896C Time : 0.0 sec. user=mdettweiler [2018-05-01 11:57:39] 661*2^1508637-1 is not prime. Res64: 2E2369CAE04864AE Time : 0.0 sec. user=mdettweiler [2018-05-01 11:57:39] 937*2^1508637-1 is not prime. Res64: 6A70B4D696F4C2D3 Time : 0.0 sec. user=mdettweiler [2018-05-01 11:57:39] 665*2^1508638-1 is not prime. Res64: 32EF46ADFED2D54E Time : 0.0 sec. user=mdettweiler [2018-05-01 11:57:40] 777*2^1508638-1 is not prime. Res64: CD0626CD1B1BA2ED Time : 0.0 sec. user=mdettweiler [2018-05-01 12:03:44] 825*2^1508638-1 is not prime. Res64: 8EEC17AAB4E2E882 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:03:44] 941*2^1508638-1 is not prime. Res64: 0B69377B31640207 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:03:45] 995*2^1508638-1 is not prime. Res64: A8F3BBB28DBE609A Time : 0.0 sec. user=mdettweiler [2018-05-01 12:03:47] 603*2^1508639-1 is not prime. Res64: 191F18D7381F5AED Time : 0.0 sec. user=mdettweiler [2018-05-01 12:03:47] 693*2^1508639-1 is not prime. Res64: A575FB45274BFCE0 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:06:47] 705*2^1508639-1 is not prime. Res64: 562D5955427408FA Time : 0.0 sec. user=mdettweiler [2018-05-01 12:06:49] 771*2^1508639-1 is not prime. Res64: F893AEFEA3CD6564 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:06:52] 825*2^1508639-1 is not prime. Res64: 85EBE40CEC7AB2BD Time : 0.0 sec. user=mdettweiler [2018-05-01 12:06:53] 861*2^1508639-1 is not prime. Res64: BDA459BB707F1145 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:06:54] 949*2^1508639-1 is not prime. Res64: 03438748105CA9A8 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:45:41] 653*2^1508640-1 is not prime. Res64: 448A3C83A925FE05 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:45:42] 765*2^1508640-1 is not prime. Res64: 361C5391C322AFB8 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:45:42] 797*2^1508640-1 is not prime. Res64: 0F33CE95BCDD83F3 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:45:43] 857*2^1508640-1 is not prime. Res64: 168F389D0D0520CB Time : 0.0 sec. user=mdettweiler [2018-05-01 12:45:43] 915*2^1508640-1 is not prime. Res64: C4F8742A31399C2A Time : 0.0 sec. user=mdettweiler [2018-05-01 12:47:47] 983*2^1508640-1 is not prime. Res64: FEA5BB28BC52C53C Time : 0.0 sec. user=mdettweiler [2018-05-01 12:47:48] 615*2^1508641-1 is not prime. Res64: A32418D614C41584 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:47:48] 619*2^1508641-1 is not prime. Res64: 0BC8E1F97F2BAAD5 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:47:49] 625*2^1508641-1 is not prime. Res64: 77B6F5E23F1231AC Time : 0.0 sec. user=mdettweiler [2018-05-01 12:47:49] 687*2^1508641-1 is not prime. Res64: 04CDDDC2D94CC907 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:55:48] 691*2^1508641-1 is not prime. Res64: 329495DC5A676784 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:55:49] 741*2^1508641-1 is not prime. Res64: D9E5CC13A8B7570F Time : 0.0 sec. user=mdettweiler [2018-05-01 12:55:49] 819*2^1508641-1 is not prime. Res64: 6908C59550A17358 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:55:50] 945*2^1508641-1 is not prime. Res64: 1153587CDE9A6EE3 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:55:50] 603*2^1508642-1 is not prime. Res64: 60B8B4C2CBA4F94C Time : 0.0 sec. user=mdettweiler [2018-05-01 12:58:38] 825*2^1508642-1 is not prime. Res64: 058A85166A41F808 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:58:39] 833*2^1508642-1 is not prime. Res64: 9618EA64ABF1E114 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:58:39] 875*2^1508642-1 is not prime. Res64: 0ED23CD459E875E1 Time : 0.0 sec. user=mdettweiler [2018-05-01 12:58:39] 741*2^1508643-1 is not prime. Res64: D2EE15F0EEBF0E2D Time : 0.0 sec. user=mdettweiler [2018-05-01 12:58:40] 819*2^1508643-1 is not prime. Res64: 90FA9EFA2B4E9849 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:39:17] 921*2^1508643-1 is not prime. Res64: 05E17DBAE2575B26 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:39:18] 961*2^1508643-1 is not prime. Res64: 5AD18B25613EB7EB Time : 0.0 sec. user=mdettweiler [2018-05-01 13:39:18] 609*2^1508644-1 is not prime. Res64: 04644BBDEAFEFEE9 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:39:19] 783*2^1508644-1 is not prime. Res64: 6BDB60999EE31FC0 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:39:19] 825*2^1508644-1 is not prime. Res64: 5BAB0D8F1E84AEF3 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:43:29] 833*2^1508644-1 is not prime. Res64: 0D78A0BDC05311D9 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:43:30] 899*2^1508644-1 is not prime. Res64: 4D315758A80AA422 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:43:30] 909*2^1508644-1 is not prime. Res64: 7B9A8AE23217EC3F Time : 0.0 sec. user=mdettweiler [2018-05-01 13:43:30] 929*2^1508644-1 is not prime. Res64: 6EAAB5B9F7FF33D2 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:43:31] 995*2^1508644-1 is not prime. Res64: CC0D7BFEACE69D24 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:48:40] 651*2^1508645-1 is not prime. Res64: 7853F717AFF60100 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:48:40] 669*2^1508645-1 is not prime. Res64: 0363D563FE4A8449 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:48:41] 697*2^1508645-1 is not prime. Res64: E3E444893B143BA0 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:48:41] 721*2^1508645-1 is not prime. Res64: 6866DFDA87763F88 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:48:41] 789*2^1508645-1 is not prime. Res64: 8F9FFD6AD4C9B212 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:51:19] 847*2^1508645-1 is not prime. Res64: 18D5C8834C645C50 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:51:19] 871*2^1508645-1 is not prime. Res64: 4E2071EBF3F8EC81 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:51:20] 885*2^1508645-1 is not prime. Res64: 4FFD78310F8A204C Time : 0.0 sec. user=mdettweiler [2018-05-01 13:51:20] 925*2^1508645-1 is not prime. Res64: FB30479AC3889122 Time : 0.0 sec. user=mdettweiler [2018-05-01 13:51:20] 927*2^1508645-1 is not prime. Res64: B6C5006491C6359C Time : 0.0 sec. user=mdettweiler [2018-05-01 14:29:57] 647*2^1508646-1 is not prime. Res64: 848064769E422022 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:29:57] 841*2^1508647-1 is not prime. Res64: 176EE133F97A0378 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:29:58] 973*2^1508647-1 is not prime. Res64: C189F2365D813094 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:29:58] 979*2^1508647-1 is not prime. Res64: D605A0BB408F832F Time : 0.0 sec. user=mdettweiler [2018-05-01 14:29:58] 985*2^1508647-1 is not prime. Res64: BAC30E7A30FB7C7A Time : 0.0 sec. user=mdettweiler [2018-05-01 14:34:17] 993*2^1508647-1 is not prime. Res64: 816D43063A1804A6 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:34:18] 615*2^1508648-1 is not prime. Res64: 9505A6E5097C6B7A Time : 0.0 sec. user=mdettweiler [2018-05-01 14:34:18] 629*2^1508648-1 is not prime. Res64: FBD10D66F9005FCC Time : 0.0 sec. user=mdettweiler [2018-05-01 14:34:19] 963*2^1508648-1 is not prime. Res64: 77474C535DBB8A5A Time : 0.0 sec. user=mdettweiler [2018-05-01 14:34:19] 977*2^1508648-1 is not prime. Res64: 75E2F3D9E970B48B Time : 0.0 sec. user=mdettweiler [2018-05-01 14:39:16] 999*2^1508648-1 is not prime. Res64: 38A8DDE54C2A370D Time : 0.0 sec. user=mdettweiler [2018-05-01 14:39:16] 627*2^1508649-1 is not prime. Res64: 40B369FBF2857378 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:39:17] 865*2^1508649-1 is not prime. Res64: 5098BE9326B84099 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:39:17] 889*2^1508649-1 is not prime. Res64: 10A4A621BBED73AB Time : 0.0 sec. user=mdettweiler [2018-05-01 14:39:18] 987*2^1508649-1 is not prime. Res64: BD144012961AF3EA Time : 0.0 sec. user=mdettweiler [2018-05-01 14:45:08] 999*2^1508649-1 is not prime. Res64: 67863C6DE5506089 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:45:08] 663*2^1508650-1 is not prime. Res64: 7D35C9A18E1DCCEE Time : 0.0 sec. user=mdettweiler [2018-05-01 14:45:09] 723*2^1508650-1 is not prime. Res64: 86D30E44698007FD Time : 0.0 sec. user=mdettweiler [2018-05-01 14:45:09] 735*2^1508650-1 is not prime. Res64: C4FCAFAAD1D04BA3 Time : 0.0 sec. user=mdettweiler [2018-05-01 14:45:10] 951*2^1508650-1 is not prime. Res64: 701502F316DCC3C2 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:20:50] 669*2^1508651-1 is not prime. Res64: 5D58888A1E1F10E0 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:20:51] 733*2^1508651-1 is not prime. Res64: 82AE80684B192525 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:20:51] 801*2^1508651-1 is not prime. Res64: A498FF56705AAA5B Time : 0.0 sec. user=mdettweiler [2018-05-01 15:20:52] 813*2^1508651-1 is not prime. Res64: B2A35C07E727EAFF Time : 0.0 sec. user=mdettweiler [2018-05-01 15:20:52] 883*2^1508651-1 is not prime. Res64: C1E51C7EA16155E5 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:24:59] 885*2^1508651-1 is not prime. Res64: 2FFE4194ED60379D Time : 0.0 sec. user=mdettweiler [2018-05-01 15:24:59] 889*2^1508651-1 is not prime. Res64: EA350E2B0C7EECB7 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:25:00] 973*2^1508651-1 is not prime. Res64: CE7889ABB7FB92AE Time : 0.0 sec. user=mdettweiler [2018-05-01 15:25:00] 689*2^1508652-1 is not prime. Res64: 8B89DC2961C36734 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:25:01] 717*2^1508652-1 is not prime. Res64: 5686AB84CCC3C8B6 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:31:14] 863*2^1508652-1 is not prime. Res64: E0245E6FE390E844 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:31:14] 867*2^1508652-1 is not prime. Res64: 67E4F6C826F61F1C Time : 0.0 sec. user=mdettweiler [2018-05-01 15:31:15] 879*2^1508652-1 is not prime. Res64: 9FA82B1EE2DAD40A Time : 0.0 sec. user=mdettweiler [2018-05-01 15:31:15] 899*2^1508652-1 is not prime. Res64: 8EFA85F829A5D64E Time : 0.0 sec. user=mdettweiler [2018-05-01 15:31:15] 929*2^1508652-1 is not prime. Res64: BC6B776885215DA3 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:35:26] 609*2^1508653-1 is not prime. Res64: 8BA8B03E4943D58A Time : 0.0 sec. user=mdettweiler [2018-05-01 15:35:27] 699*2^1508653-1 is not prime. Res64: 5F4A0781D1E9833E Time : 0.0 sec. user=mdettweiler [2018-05-01 15:35:27] 741*2^1508653-1 is not prime. Res64: DF260CCCEA5D1368 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:35:28] 769*2^1508653-1 is not prime. Res64: E4203EE547874B58 Time : 0.0 sec. user=mdettweiler [2018-05-01 15:35:28] 885*2^1508653-1 is not prime. Res64: 255D2A560641C789 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:11:42] 889*2^1508653-1 is not prime. Res64: 080DB292EE86F20F Time : 0.0 sec. user=mdettweiler [2018-05-01 16:11:43] 915*2^1508653-1 is not prime. Res64: AA446CD7E1C956B7 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:11:43] 663*2^1508654-1 is not prime. Res64: 7A5C7E577B3FD368 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:11:43] 875*2^1508654-1 is not prime. Res64: 4F8BB6FA1D27E298 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:11:44] 625*2^1508655-1 is not prime. Res64: 2CDE839CD084AD1D Time : 0.0 sec. user=mdettweiler [2018-05-01 16:15:53] 663*2^1508655-1 is not prime. Res64: 002FEB90D741D3B1 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:15:53] 691*2^1508655-1 is not prime. Res64: B1E8A019B30E274A Time : 0.0 sec. user=mdettweiler [2018-05-01 16:15:54] 693*2^1508655-1 is not prime. Res64: F2F7C4ACC894C9B7 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:15:54] 873*2^1508655-1 is not prime. Res64: 914B5BB339242598 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:15:54] 933*2^1508655-1 is not prime. Res64: B0E973FAC6A41511 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:22:38] 951*2^1508655-1 is not prime. Res64: F1BD7F697507BBDA Time : 0.0 sec. user=mdettweiler [2018-05-01 16:22:38] 779*2^1508656-1 is not prime. Res64: 6226A7FA254756EA Time : 0.0 sec. user=mdettweiler [2018-05-01 16:22:39] 917*2^1508656-1 is not prime. Res64: 16F1CC20324F2A48 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:22:39] 933*2^1508656-1 is not prime. Res64: 87A1DC5D30C80800 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:22:39] 675*2^1508657-1 is not prime. Res64: 2ADAB569727C92D8 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:26:53] 691*2^1508657-1 is not prime. Res64: DD40AF055798FEE6 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:26:53] 717*2^1508657-1 is not prime. Res64: 3EE07F0824098D56 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:26:54] 747*2^1508657-1 is not prime. Res64: E9DC63D16F698079 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:26:54] 829*2^1508657-1 is not prime. Res64: A8E847B1D1681034 Time : 0.0 sec. user=mdettweiler [2018-05-01 16:26:55] 885*2^1508657-1 is not prime. Res64: DA7F646C2BC70B67 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:04:26] 967*2^1508657-1 is not prime. Res64: 3EB547BEC5580C4A Time : 0.0 sec. user=mdettweiler [2018-05-01 17:04:27] 621*2^1508658-1 is not prime. Res64: 6FFDD84BB07EA48C Time : 0.0 sec. user=mdettweiler [2018-05-01 17:04:28] 635*2^1508658-1 is not prime. Res64: A98AB0F6481F6692 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:04:29] 663*2^1508658-1 is not prime. Res64: A2279C6CB492352F Time : 0.0 sec. user=mdettweiler [2018-05-01 17:04:30] 671*2^1508658-1 is not prime. Res64: 6DDA1C5511DF8E74 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:09:45] 725*2^1508658-1 is not prime. Res64: F1481D5C2A93552A Time : 0.0 sec. user=mdettweiler [2018-05-01 17:09:45] 773*2^1508658-1 is not prime. Res64: 096E6D11CE0B3047 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:09:46] 921*2^1508658-1 is not prime. Res64: 86D74F8B5BE50DF2 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:09:46] 993*2^1508658-1 is not prime. Res64: 3AE18FF5026E16EB Time : 0.0 sec. user=mdettweiler [2018-05-01 17:09:47] 1001*2^1508658-1 is not prime. Res64: 4A8DE526B2A57E7B Time : 0.0 sec. user=mdettweiler [2018-05-01 17:14:11] 603*2^1508659-1 is not prime. Res64: F6378FE71372DF82 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:14:11] 615*2^1508659-1 is not prime. Res64: 2BF064AC2E779B0D Time : 0.0 sec. user=mdettweiler [2018-05-01 17:14:12] 681*2^1508659-1 is not prime. Res64: CCF94401F8C34122 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:14:12] 885*2^1508659-1 is not prime. Res64: E25128A79A922F90 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:14:13] 699*2^1508660-1 is not prime. Res64: EED81C9BFA41A5C6 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:21:14] 719*2^1508660-1 is not prime. Res64: 97806914EA06D5BE Time : 0.0 sec. user=mdettweiler [2018-05-01 17:21:15] 785*2^1508660-1 is not prime. Res64: D394667305D30696 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:21:15] 797*2^1508660-1 is not prime. Res64: 6F8BFC0A8CCF8F5B Time : 0.0 sec. user=mdettweiler [2018-05-01 17:21:16] 959*2^1508660-1 is not prime. Res64: 1D548C0CA6A93E1A Time : 0.0 sec. user=mdettweiler [2018-05-01 17:21:16] 963*2^1508660-1 is not prime. Res64: 81B3DCD3B4CF7588 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:57:38] 735*2^1508661-1 is not prime. Res64: 6CF949034294034B Time : 0.0 sec. user=mdettweiler [2018-05-01 17:57:39] 889*2^1508661-1 is not prime. Res64: 6EF4C7562C78A071 Time : 0.0 sec. user=mdettweiler [2018-05-01 17:57:39] 951*2^1508661-1 is not prime. Res64: F8B7EC6DB7D6B76E Time : 0.0 sec. user=mdettweiler [2018-05-01 17:57:40] 961*2^1508661-1 is not prime. Res64: 82C3CF131AFBD78C Time : 0.0 sec. user=mdettweiler [2018-05-01 17:57:40] 975*2^1508661-1 is not prime. Res64: 7AC364D967FAD44A Time : 0.0 sec. user=mdettweiler [2018-05-01 18:02:56] 741*2^1508662-1 is not prime. Res64: E839D71818432EBE Time : 0.0 sec. user=mdettweiler [2018-05-01 18:02:57] 765*2^1508662-1 is not prime. Res64: CE63F67482C17C50 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:02:57] 813*2^1508662-1 is not prime. Res64: E08269B9831C37AE Time : 0.0 sec. user=mdettweiler [2018-05-01 18:02:58] 857*2^1508662-1 is not prime. Res64: 7839FC4334B25788 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:02:58] 885*2^1508662-1 is not prime. Res64: F3066290E9743F15 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:06:42] 917*2^1508662-1 is not prime. Res64: 5473F73308CE1B26 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:06:42] 945*2^1508662-1 is not prime. Res64: 64B56DBA53959FC3 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:06:43] 995*2^1508662-1 is not prime. Res64: 6E4AB6ADB6B37900 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:06:43] 621*2^1508663-1 is not prime. Res64: B685C1B4C138FFB4 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:06:44] 705*2^1508663-1 is not prime. Res64: A3730261A6B4204C Time : 0.0 sec. user=mdettweiler [2018-05-01 18:13:57] 775*2^1508663-1 is not prime. Res64: 62829EB7273A302D Time : 0.0 sec. user=mdettweiler [2018-05-01 18:13:58] 783*2^1508663-1 is not prime. Res64: 31B876F46A9F154B Time : 0.0 sec. user=mdettweiler [2018-05-01 18:13:58] 915*2^1508663-1 is not prime. Res64: 90181820E405637C Time : 0.0 sec. user=mdettweiler [2018-05-01 18:13:59] 943*2^1508663-1 is not prime. Res64: 3DD524840DE011D1 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:13:59] 999*2^1508663-1 is not prime. Res64: F5E2EA6A03A2615F Time : 0.0 sec. user=mdettweiler [2018-05-01 18:48:50] 773*2^1508664-1 is not prime. Res64: 418E5AF3AAB5DE61 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:48:50] 929*2^1508664-1 is not prime. Res64: E58019602CB86D2B Time : 0.0 sec. user=mdettweiler [2018-05-01 18:48:51] 945*2^1508664-1 is not prime. Res64: AF8C3D08E51095FB Time : 0.0 sec. user=mdettweiler [2018-05-01 18:48:51] 993*2^1508664-1 is not prime. Res64: 72CF7AFCE34D1BF4 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:48:51] 651*2^1508665-1 is not prime. Res64: FAD1F2C1D691DD4D Time : 0.0 sec. user=mdettweiler [2018-05-01 18:53:36] 667*2^1508665-1 is not prime. Res64: DF5377E7A7D574D0 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:53:36] 717*2^1508665-1 is not prime. Res64: B6791E51EA20B3C1 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:53:37] 771*2^1508665-1 is not prime. Res64: 4CAC77692550F179 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:53:37] 831*2^1508665-1 is not prime. Res64: 4A4CAD06D0C7B155 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:53:38] 867*2^1508665-1 is not prime. Res64: 8781AA5D34E23239 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:58:11] 885*2^1508665-1 is not prime. Res64: 2937ECDD820D81BA Time : 0.0 sec. user=mdettweiler [2018-05-01 18:58:12] 895*2^1508665-1 is not prime. Res64: EB58E3A8AA8A7CE2 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:58:12] 915*2^1508665-1 is not prime. Res64: 7907DE45375AFAD5 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:58:12] 919*2^1508665-1 is not prime. Res64: F39E21F2CFE8B740 Time : 0.0 sec. user=mdettweiler [2018-05-01 18:58:13] 951*2^1508665-1 is not prime. Res64: C28F4A7362F6E940 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:05:21] 617*2^1508666-1 is not prime. Res64: 81B2F1892EE79B67 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:05:22] 683*2^1508666-1 is not prime. Res64: 1A5793E354E86363 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:05:23] 773*2^1508666-1 is not prime. Res64: A9B7E42F0448ED49 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:05:23] 801*2^1508666-1 is not prime. Res64: E2612139F928A8CC Time : 0.0 sec. user=mdettweiler [2018-05-01 19:05:24] 837*2^1508666-1 is not prime. Res64: EBA71EB805C7E099 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:40:17] 861*2^1508666-1 is not prime. Res64: C2A3D6496D20C370 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:40:17] 917*2^1508666-1 is not prime. Res64: 3CA72BFDC5EF4E9E Time : 0.0 sec. user=mdettweiler [2018-05-01 19:40:18] 963*2^1508666-1 is not prime. Res64: E1AC3FEB23FD27C0 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:40:18] 835*2^1508667-1 is not prime. Res64: 7B4D0AE21E37B016 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:40:19] 963*2^1508667-1 is not prime. Res64: C991EEA0381A53FB Time : 0.0 sec. user=mdettweiler [2018-05-01 19:45:49] 979*2^1508667-1 is not prime. Res64: B7E6D937EF334011 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:45:49] 617*2^1508668-1 is not prime. Res64: 4336B542C485EAAC Time : 0.0 sec. user=mdettweiler [2018-05-01 19:45:49] 629*2^1508668-1 is not prime. Res64: 853E593831B75F29 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:45:50] 677*2^1508668-1 is not prime. Res64: 66B03627EABB1082 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:45:50] 825*2^1508668-1 is not prime. Res64: 12F8ACA0ADBD5784 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:49:22] 869*2^1508668-1 is not prime. Res64: 6DFD982510A135D3 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:49:22] 975*2^1508668-1 is not prime. Res64: 091FAAE93D8F5EE3 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:49:23] 679*2^1508669-1 is not prime. Res64: 6A7D2BBC434620EF Time : 0.0 sec. user=mdettweiler [2018-05-01 19:49:23] 847*2^1508669-1 is not prime. Res64: B761BC867F831310 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:49:23] 927*2^1508669-1 is not prime. Res64: 65EC3143421553C4 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:55:33] 957*2^1508669-1 is not prime. Res64: A4FEC38053399783 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:55:34] 611*2^1508670-1 is not prime. Res64: F5C39D18663A6F22 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:55:34] 651*2^1508670-1 is not prime. Res64: BD7958255B7DC2C3 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:55:34] 695*2^1508670-1 is not prime. Res64: 43CC4F17F5BFDA35 Time : 0.0 sec. user=mdettweiler [2018-05-01 19:55:35] 711*2^1508670-1 is not prime. Res64: EFE2F8CE12518EF6 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:31:37] 713*2^1508670-1 is not prime. Res64: 25ECEBC154F06428 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:31:37] 765*2^1508670-1 is not prime. Res64: 861FD4AFAB45802F Time : 0.0 sec. user=mdettweiler [2018-05-01 20:31:38] 767*2^1508670-1 is not prime. Res64: A471F89E8ABFAB6A Time : 0.0 sec. user=mdettweiler [2018-05-01 20:31:38] 821*2^1508670-1 is not prime. Res64: EC17BC81D7FDE87C Time : 0.0 sec. user=mdettweiler [2018-05-01 20:31:39] 917*2^1508670-1 is not prime. Res64: 8AAF88967E7D9F3D Time : 0.0 sec. user=mdettweiler [2018-05-01 20:36:40] 977*2^1508670-1 is not prime. Res64: 3E826BA9A18BC5A7 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:36:40] 619*2^1508671-1 is not prime. Res64: 3BF3BC585D90CF40 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:36:41] 645*2^1508671-1 is not prime. Res64: 8CBFC23AD9C58B0A Time : 0.0 sec. user=mdettweiler [2018-05-01 20:36:41] 681*2^1508671-1 is not prime. Res64: 5C2646F156FD059C Time : 0.0 sec. user=mdettweiler [2018-05-01 20:36:41] 741*2^1508671-1 is not prime. Res64: D62E0C3A67EF6055 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:45:31] 759*2^1508671-1 is not prime. Res64: 8E4D1F28741F3EAD Time : 0.0 sec. user=mdettweiler [2018-05-01 20:45:32] 763*2^1508671-1 is not prime. Res64: F3D71E8D24742A08 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:45:32] 775*2^1508671-1 is not prime. Res64: 15F11F83AE783C52 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:45:32] 843*2^1508671-1 is not prime. Res64: 0ACE2E3BB806086C Time : 0.0 sec. user=mdettweiler [2018-05-01 20:45:33] 871*2^1508671-1 is not prime. Res64: E3EE028ABB8D7D20 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:46:39] 993*2^1508671-1 is not prime. Res64: 0D0A773AB50ACFE5 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:46:39] 999*2^1508671-1 is not prime. Res64: EBE6EB77C95AF558 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:46:40] 605*2^1508672-1 is not prime. Res64: F4E66E6F5C3890AA Time : 0.0 sec. user=mdettweiler [2018-05-01 20:46:40] 755*2^1508672-1 is not prime. Res64: 382CFB22AC3A6338 Time : 0.0 sec. user=mdettweiler [2018-05-01 20:46:41] 759*2^1508672-1 is not prime. Res64: EBDA53A3C5926CCB Time : 0.0 sec. user=mdettweiler [2018-05-01 21:21:59] 825*2^1508672-1 is not prime. Res64: A249C73059F0757D Time : 0.0 sec. user=mdettweiler [2018-05-01 21:21:59] 867*2^1508672-1 is not prime. Res64: BA7A53B3753C2321 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:22:00] 909*2^1508672-1 is not prime. Res64: 6C12534ADA203112 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:22:00] 945*2^1508672-1 is not prime. Res64: AD7CEF65DD5F78D4 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:22:01] 607*2^1508673-1 is not prime. Res64: 1E43BEE24A7D64F4 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:26:53] 609*2^1508673-1 is not prime. Res64: A19813E119B0C96F Time : 0.0 sec. user=mdettweiler [2018-05-01 21:26:53] 739*2^1508673-1 is not prime. Res64: 8662CF9302D8907A Time : 0.0 sec. user=mdettweiler [2018-05-01 21:26:54] 765*2^1508673-1 is not prime. Res64: 5D29180D24DB7189 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:26:54] 921*2^1508673-1 is not prime. Res64: 8362DC9575FFC2F0 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:26:55] 937*2^1508673-1 is not prime. Res64: AB2A23865F4AD5C0 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:35:18] 951*2^1508673-1 is not prime. Res64: 4F4A19CEAED8D206 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:35:18] 611*2^1508674-1 is not prime. Res64: CE333C13D32A55D1 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:35:19] 635*2^1508674-1 is not prime. Res64: 64E7C039963CF815 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:35:19] 705*2^1508674-1 is not prime. Res64: 89AAB7BF763221BF Time : 0.0 sec. user=mdettweiler [2018-05-01 21:35:20] 947*2^1508674-1 is not prime. Res64: C266A52DA021859D Time : 0.0 sec. user=mdettweiler [2018-05-01 21:36:27] 645*2^1508675-1 is not prime. Res64: 68BDCE3C52ED3E20 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:36:27] 685*2^1508675-1 is not prime. Res64: 72E92A32FB8053C3 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:36:27] 855*2^1508675-1 is not prime. Res64: 9049DC9ABC5043E0 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:36:28] 963*2^1508675-1 is not prime. Res64: 976BA2F2BB965AD7 Time : 0.0 sec. user=mdettweiler [2018-05-01 21:36:28] 669*2^1508676-1 is not prime. Res64: 50F9F7646E9C1A52 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:15:49] 779*2^1508676-1 is not prime. Res64: C9ACBEF514568ED0 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:15:49] 845*2^1508676-1 is not prime. Res64: 6084C059665BD551 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:15:50] 947*2^1508676-1 is not prime. Res64: 8EBC13F766ACF04F Time : 0.0 sec. user=mdettweiler [2018-05-01 22:15:50] 975*2^1508676-1 is not prime. Res64: B557362A6A9F3764 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:15:51] 607*2^1508677-1 is not prime. Res64: 2F64DF56C7347154 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:19:23] 649*2^1508677-1 is not prime. Res64: D3A9D0F174C003A3 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:19:23] 741*2^1508677-1 is not prime. Res64: BF60621962AE6B56 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:19:24] 871*2^1508677-1 is not prime. Res64: F2C420F2B7E3D5D3 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:19:24] 937*2^1508677-1 is not prime. Res64: 01B410502A0C23C8 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:19:25] 627*2^1508678-1 is not prime. Res64: D7A4ABC936A91FE0 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:28:39] 657*2^1508678-1 is not prime. Res64: 147519422F68CAF3 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:28:39] 687*2^1508678-1 is not prime. Res64: 6AD2953D2A1A500D Time : 0.0 sec. user=mdettweiler [2018-05-01 22:28:39] 867*2^1508678-1 is not prime. Res64: BC64423A6EB0ACA5 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:28:40] 911*2^1508678-1 is not prime. Res64: 2A27A4AC56A0B947 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:28:40] 935*2^1508678-1 is not prime. Res64: 16A4D7EB7911B0F3 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:29:40] 957*2^1508678-1 is not prime. Res64: EDA5BD68E07927D5 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:29:40] 649*2^1508679-1 is not prime. Res64: 60A2D8370F7B79FF Time : 0.0 sec. user=mdettweiler [2018-05-01 22:29:41] 789*2^1508679-1 is not prime. Res64: 37FAA64934C1C04A Time : 0.0 sec. user=mdettweiler [2018-05-01 22:29:41] 829*2^1508679-1 is not prime. Res64: 7B63E5041380AA25 Time : 0.0 sec. user=mdettweiler [2018-05-01 22:29:42] 865*2^1508679-1 is not prime. Res64: 0FD4B7B532AEC5E6 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:06:39] 645*2^1508680-1 is not prime. Res64: 319E7B01D81CC8E7 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:06:41] 665*2^1508680-1 is not prime. Res64: BB4A8CB52EA1BD8B Time : 0.0 sec. user=mdettweiler [2018-05-01 23:06:42] 719*2^1508680-1 is not prime. Res64: 640E684D8BFCAB06 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:06:44] 863*2^1508680-1 is not prime. Res64: 0555690F63CEC6AD Time : 0.0 sec. user=mdettweiler [2018-05-01 23:06:45] 975*2^1508680-1 is not prime. Res64: 9C1B105AAE5E3512 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:09:52] 999*2^1508680-1 is not prime. Res64: D34E1E9174BA619E Time : 0.0 sec. user=mdettweiler [2018-05-01 23:09:53] 619*2^1508681-1 is not prime. Res64: F8478B8B60CD3E08 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:09:53] 657*2^1508681-1 is not prime. Res64: 5FF3C73B044C40CE Time : 0.0 sec. user=mdettweiler [2018-05-01 23:09:54] 691*2^1508681-1 is not prime. Res64: 222BAB09F027E57C Time : 0.0 sec. user=mdettweiler [2018-05-01 23:09:54] 727*2^1508681-1 is not prime. Res64: 7D86E6CB58C87C79 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:19:00] 635*2^1508682-1 is not prime. Res64: 9BDDB67EAC6586E6 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:19:00] 671*2^1508682-1 is not prime. Res64: 20F630F4B8C456F7 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:19:01] 791*2^1508682-1 is not prime. Res64: 63934A58E49FADBB Time : 0.0 sec. user=mdettweiler [2018-05-01 23:19:01] 873*2^1508682-1 is not prime. Res64: 49C028224469D8A4 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:19:01] 977*2^1508682-1 is not prime. Res64: B28513CE390E9D24 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:20:31] 619*2^1508683-1 is not prime. Res64: 33BB7F6CAAD3C6AC Time : 0.0 sec. user=mdettweiler [2018-05-01 23:20:31] 673*2^1508683-1 is not prime. Res64: 30163FFC4035A0B2 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:20:32] 751*2^1508683-1 is not prime. Res64: 6C1B38F2E77291D4 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:20:32] 765*2^1508683-1 is not prime. Res64: 2B63E1292182D8CE Time : 0.0 sec. user=mdettweiler [2018-05-01 23:20:33] 873*2^1508683-1 is not prime. Res64: 39964E3741BF434C Time : 0.0 sec. user=mdettweiler [2018-05-01 23:58:08] 951*2^1508683-1 is not prime. Res64: C0FFC5102E158EDF Time : 0.0 sec. user=mdettweiler [2018-05-01 23:58:09] 993*2^1508683-1 is not prime. Res64: D76B6CD3E2A75703 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:58:09] 659*2^1508684-1 is not prime. Res64: 469EE189FF79647E Time : 0.0 sec. user=mdettweiler [2018-05-01 23:58:09] 825*2^1508684-1 is not prime. Res64: F4BD7308299D3ED4 Time : 0.0 sec. user=mdettweiler [2018-05-01 23:58:10] 875*2^1508684-1 is not prime. Res64: 5231D41648CB73CA Time : 0.0 sec. user=mdettweiler [2018-05-02 00:00:31] 929*2^1508684-1 is not prime. Res64: FCA9E7E0EC3D9BFE Time : 0.0 sec. user=mdettweiler [2018-05-02 00:00:32] 937*2^1508685-1 is not prime. Res64: 5B62E8DFFE6513FC Time : 0.0 sec. user=mdettweiler [2018-05-02 00:00:32] 999*2^1508685-1 is not prime. Res64: 278CB809AAD8652F Time : 0.0 sec. user=mdettweiler [2018-05-02 00:00:32] 657*2^1508686-1 is not prime. Res64: DDD35DBD7C16B77E Time : 0.0 sec. user=mdettweiler [2018-05-02 00:00:33] 743*2^1508686-1 is not prime. Res64: 550E998F156D80F3 Time : 0.0 sec.