user=mdettweiler [2017-04-03 00:32:23] 823*2^1450371-1 is not prime. Res64: D58FBFE8158D0E7A Time : 0.0 sec. user=mdettweiler [2017-04-03 00:32:23] 859*2^1450371-1 is not prime. Res64: 9A024C8ABC31C7B8 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:32:24] 909*2^1450371-1 is not prime. Res64: 1C28775C529879FA Time : 0.0 sec. user=mdettweiler [2017-04-03 00:32:24] 951*2^1450371-1 is not prime. Res64: A2079A2D737D1A23 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:32:24] 975*2^1450371-1 is not prime. Res64: BA1A064BA5984F3E Time : 0.0 sec. user=mdettweiler [2017-04-03 00:36:00] 657*2^1450372-1 is not prime. Res64: EC9B780EF6C08377 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:36:00] 723*2^1450372-1 is not prime. Res64: 1F794B7661394F78 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:36:00] 759*2^1450372-1 is not prime. Res64: 59679CCC6BE65F39 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:36:00] 873*2^1450372-1 is not prime. Res64: B6344317D71DFCC5 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:36:01] 959*2^1450372-1 is not prime. Res64: 641A7D15DC7A3D60 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:39:51] 619*2^1450373-1 is not prime. Res64: 5374DB137C74F852 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:39:51] 669*2^1450373-1 is not prime. Res64: 654F362205F936EF Time : 0.0 sec. user=mdettweiler [2017-04-03 00:39:51] 741*2^1450373-1 is not prime. Res64: 7FFBEA84B332DF2B Time : 0.0 sec. user=mdettweiler [2017-04-03 00:39:51] 759*2^1450373-1 is not prime. Res64: A660F707FF6F795A Time : 0.0 sec. user=mdettweiler [2017-04-03 00:39:52] 787*2^1450373-1 is not prime. Res64: 7FEA42111A406801 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:40:15] 795*2^1450373-1 is not prime. Res64: EBC4A029435150D7 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:40:15] 871*2^1450373-1 is not prime. Res64: FF4F88B19C29A84E Time : 0.0 sec. user=mdettweiler [2017-04-03 00:40:16] 681*2^1450374-1 is not prime. Res64: 545FC3B897820FC0 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:40:16] 731*2^1450374-1 is not prime. Res64: A960432252B428F9 Time : 0.0 sec. user=mdettweiler [2017-04-03 00:40:16] 679*2^1450375-1 is not prime. Res64: 70D8375C97E4B74D Time : 0.0 sec. user=mdettweiler [2017-04-03 01:17:34] 685*2^1450375-1 is not prime. Res64: A9327516E5BA7357 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:17:34] 873*2^1450375-1 is not prime. Res64: 213A70575C0BA77A Time : 0.0 sec. user=mdettweiler [2017-04-03 01:17:34] 885*2^1450375-1 is not prime. Res64: 22E6FF0C0F99867C Time : 0.0 sec. user=mdettweiler [2017-04-03 01:17:35] 623*2^1450376-1 is not prime. Res64: 283C8142F57B70E7 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:17:35] 669*2^1450376-1 is not prime. Res64: 447A2C59639E125F Time : 0.0 sec. user=mdettweiler [2017-04-03 01:21:12] 683*2^1450376-1 is not prime. Res64: 65DAC25320712510 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:21:12] 725*2^1450376-1 is not prime. Res64: FED8F61AC91E9E1B Time : 0.0 sec. user=mdettweiler [2017-04-03 01:21:12] 773*2^1450376-1 is not prime. Res64: 505833FCB9274608 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:21:12] 855*2^1450376-1 is not prime. Res64: 0BCA3FC4A00A931A Time : 0.0 sec. user=mdettweiler [2017-04-03 01:21:13] 873*2^1450376-1 is not prime. Res64: 33F562F73B8CB414 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:24:54] 957*2^1450376-1 is not prime. Res64: DB18A0EDFFA7C3D0 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:24:54] 741*2^1450377-1 is not prime. Res64: F122DE0A54A01571 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:24:54] 769*2^1450377-1 is not prime. Res64: 9496F46E27E761E6 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:24:54] 867*2^1450377-1 is not prime. Res64: B7F1D184128252ED Time : 0.0 sec. user=mdettweiler [2017-04-03 01:24:54] 991*2^1450377-1 is not prime. Res64: 680BFA56BBDE59CE Time : 0.0 sec. user=mdettweiler [2017-04-03 01:25:31] 997*2^1450377-1 is not prime. Res64: F00094587CACC564 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:25:31] 677*2^1450378-1 is not prime. Res64: D33E3C6F3877ADF4 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:25:32] 755*2^1450378-1 is not prime. Res64: 4FA6D7F60BA23D11 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:25:32] 881*2^1450378-1 is not prime. Res64: 0E08E58CDF026BC6 Time : 0.0 sec. user=mdettweiler [2017-04-03 01:25:33] 905*2^1450378-1 is not prime. Res64: 14281F1D727D29CD Time : 0.0 sec. user=mdettweiler [2017-04-03 02:02:50] 923*2^1450378-1 is not prime. Res64: F9BA4A5152EE75C4 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:02:51] 981*2^1450378-1 is not prime. Res64: 672AC8656EC60296 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:02:52] 631*2^1450379-1 is not prime. Res64: C44D14780C4F7B53 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:02:53] 745*2^1450379-1 is not prime. Res64: 4F8DEB15D1A18620 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:02:54] 939*2^1450379-1 is not prime. Res64: C13BDCAC9EF1E984 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:06:28] 991*2^1450379-1 is not prime. Res64: 990555A07A4C524A Time : 0.0 sec. user=mdettweiler [2017-04-03 02:06:28] 635*2^1450380-1 is not prime. Res64: B70523281CD1F4E4 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:06:28] 783*2^1450380-1 is not prime. Res64: AD550AE9FB5CD6ED Time : 0.0 sec. user=mdettweiler [2017-04-03 02:06:29] 845*2^1450380-1 is not prime. Res64: 8DD0BFC82CB9943D Time : 0.0 sec. user=mdettweiler [2017-04-03 02:06:29] 915*2^1450380-1 is not prime. Res64: A0D3D408BB642623 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:05] 959*2^1450380-1 is not prime. Res64: 6982D6FD37252B36 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:05] 965*2^1450380-1 is not prime. Res64: 3333910D2CFC1F2D Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:05] 651*2^1450381-1 is not prime. Res64: 777AB362F5E17B89 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:06] 747*2^1450381-1 is not prime. Res64: 28B32E877CE1F309 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:06] 789*2^1450381-1 is not prime. Res64: 84B18D30D063A2AD Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:47] 861*2^1450381-1 is not prime. Res64: BF7E3216A277A2EF Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:47] 871*2^1450381-1 is not prime. Res64: 66E10C192A333BD9 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:47] 657*2^1450382-1 is not prime. Res64: 3E0F2FF157D1D6D5 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:48] 677*2^1450382-1 is not prime. Res64: 5BEE4691F1DE71AC Time : 0.0 sec. user=mdettweiler [2017-04-03 02:10:48] 683*2^1450382-1 is not prime. Res64: 3CCC6A1175C088A5 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:49:09] 705*2^1450382-1 is not prime. Res64: A0079110B0881CC1 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:49:09] 711*2^1450382-1 is not prime. Res64: B5ADEFA7922C4F9C Time : 0.0 sec. user=mdettweiler [2017-04-03 02:49:09] 785*2^1450382-1 is not prime. Res64: 5438C103C4FF4054 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:49:10] 813*2^1450382-1 is not prime. Res64: CCD6F7D20936B186 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:49:10] 815*2^1450382-1 is not prime. Res64: C6248B89D51F053B Time : 0.0 sec. user=mdettweiler [2017-04-03 02:52:38] 911*2^1450382-1 is not prime. Res64: 19825FB1A2EF9997 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:52:38] 921*2^1450382-1 is not prime. Res64: A35F9F527F640382 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:52:39] 951*2^1450382-1 is not prime. Res64: 5130C412EA5369F5 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:52:39] 963*2^1450382-1 is not prime. Res64: C87326716ACB213B Time : 0.0 sec. user=mdettweiler [2017-04-03 02:52:39] 609*2^1450383-1 is not prime. Res64: 54580B44CFD16281 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:56:32] 819*2^1450383-1 is not prime. Res64: 55A3DF6FBEB4EEEE Time : 0.0 sec. user=mdettweiler [2017-04-03 02:56:33] 913*2^1450383-1 is not prime. Res64: 5E13539E120CA0D8 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:56:33] 747*2^1450384-1 is not prime. Res64: 9940D985AB30BEFE Time : 0.0 sec. user=mdettweiler [2017-04-03 02:56:33] 827*2^1450384-1 is not prime. Res64: 42503A20C4308795 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:56:33] 833*2^1450384-1 is not prime. Res64: D1297EE77ACEEB3A Time : 0.0 sec. user=mdettweiler [2017-04-03 02:57:08] 983*2^1450384-1 is not prime. Res64: B49B5D9F36F2A5E2 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:57:08] 619*2^1450385-1 is not prime. Res64: 28336D9B4EC6B7E2 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:57:08] 685*2^1450385-1 is not prime. Res64: 3177A8CBF8195CED Time : 0.0 sec. user=mdettweiler [2017-04-03 02:57:08] 711*2^1450385-1 is not prime. Res64: AAA2C8E2CC63B8C6 Time : 0.0 sec. user=mdettweiler [2017-04-03 02:57:08] 715*2^1450385-1 is not prime. Res64: 956B735F3F2B9243 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:35:15] 925*2^1450385-1 is not prime. Res64: AAECEBFDEFB144B4 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:35:16] 937*2^1450385-1 is not prime. Res64: AEFD733F3B20B278 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:35:16] 635*2^1450386-1 is not prime. Res64: 97B6A5C8018EFFAB Time : 0.0 sec. user=mdettweiler [2017-04-03 03:35:17] 657*2^1450386-1 is not prime. Res64: C4BB66A024BA1773 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:35:17] 971*2^1450386-1 is not prime. Res64: D83404EE274EFE4F Time : 0.0 sec. user=mdettweiler [2017-04-03 03:38:38] 1001*2^1450386-1 is not prime. Res64: 5ACA8DE3031FE23D Time : 0.0 sec. user=mdettweiler [2017-04-03 03:38:39] 619*2^1450387-1 is not prime. Res64: 3CF72BD9A5264726 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:38:39] 691*2^1450387-1 is not prime. Res64: 1C8A54C88F3911D6 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:38:40] 715*2^1450387-1 is not prime. Res64: 385F7E8D4555E96A Time : 0.0 sec. user=mdettweiler [2017-04-03 03:38:41] 801*2^1450387-1 is not prime. Res64: 12BDD433E2A795BF Time : 0.0 sec. user=mdettweiler [2017-04-03 03:42:18] 975*2^1450387-1 is not prime. Res64: 80A55F5DE1B750EA Time : 0.0 sec. user=mdettweiler [2017-04-03 03:42:19] 615*2^1450388-1 is not prime. Res64: 8AFAF2C2285B1E84 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:42:19] 635*2^1450388-1 is not prime. Res64: E04870D30C92FAEC Time : 0.0 sec. user=mdettweiler [2017-04-03 03:42:20] 665*2^1450388-1 is not prime. Res64: F41F388043116AD3 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:42:20] 797*2^1450388-1 is not prime. Res64: 18B6FC3225AE5480 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:43:15] 839*2^1450388-1 is not prime. Res64: F9E29CA6709FEB9D Time : 0.0 sec. user=mdettweiler [2017-04-03 03:43:18] 945*2^1450388-1 is not prime. Res64: 9769B92CA439CAA8 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:43:21] 995*2^1450388-1 is not prime. Res64: 54460F057A8B2C12 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:43:21] 621*2^1450389-1 is not prime. Res64: 31097FA909FC4E92 Time : 0.0 sec. user=mdettweiler [2017-04-03 03:43:22] 625*2^1450389-1 is not prime. Res64: E594493F4F1EC866 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:21:19] 649*2^1450389-1 is not prime. Res64: 056BF2540963EDD4 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:21:19] 781*2^1450389-1 is not prime. Res64: AAB56A43A3D9B83F Time : 0.0 sec. user=mdettweiler [2017-04-03 04:21:20] 885*2^1450389-1 is not prime. Res64: F907835834FA2ABF Time : 0.0 sec. user=mdettweiler [2017-04-03 04:21:20] 927*2^1450389-1 is not prime. Res64: 6BF4F9E8DCD90851 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:21:20] 999*2^1450389-1 is not prime. Res64: 0A0DEC749A19A14E Time : 0.0 sec. user=mdettweiler [2017-04-03 04:24:29] 681*2^1450390-1 is not prime. Res64: 0CAFB335D7E44AF9 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:24:29] 717*2^1450390-1 is not prime. Res64: 56482E42B02A33AD Time : 0.0 sec. user=mdettweiler [2017-04-03 04:24:30] 783*2^1450390-1 is not prime. Res64: 6D8FAB78A9022642 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:24:30] 833*2^1450390-1 is not prime. Res64: F72B83820C73368E Time : 0.0 sec. user=mdettweiler [2017-04-03 04:24:30] 873*2^1450390-1 is not prime. Res64: 73A4718728438FC1 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:28:14] 941*2^1450390-1 is not prime. Res64: 5AAFA671B6205945 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:28:14] 651*2^1450391-1 is not prime. Res64: 91C2535977F7FBA5 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:28:15] 705*2^1450391-1 is not prime. Res64: CB2C89373C8D0306 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:28:15] 711*2^1450391-1 is not prime. Res64: 8D5D4BACFC880B81 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:28:15] 753*2^1450391-1 is not prime. Res64: C3CE67F6336DDB40 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:29:57] 805*2^1450391-1 is not prime. Res64: 9F159CB9ECB4AC3E Time : 0.0 sec. user=mdettweiler [2017-04-03 04:29:57] 825*2^1450391-1 is not prime. Res64: 8AFE2B792481659F Time : 0.0 sec. user=mdettweiler [2017-04-03 04:29:57] 865*2^1450391-1 is not prime. Res64: 4E304B5042DA62E4 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:29:57] 885*2^1450391-1 is not prime. Res64: 27C6157DBEEE3604 Time : 0.0 sec. user=mdettweiler [2017-04-03 04:29:58] 949*2^1450391-1 is not prime. Res64: 6435752A8FB64322 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:07:01] 999*2^1450391-1 is not prime. Res64: D56AD82462ADCD70 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:07:01] 615*2^1450392-1 is not prime. Res64: 1B799E256EA848C0 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:07:02] 623*2^1450392-1 is not prime. Res64: 59527F2CAFF6E89A Time : 0.0 sec. user=mdettweiler [2017-04-03 05:07:02] 629*2^1450392-1 is not prime. Res64: CCDEB3E675989654 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:07:02] 713*2^1450392-1 is not prime. Res64: 1525D759FB7A0CD8 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:10:07] 725*2^1450392-1 is not prime. Res64: 1BCF754F603BEC14 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:10:08] 899*2^1450392-1 is not prime. Res64: 0D807F6083F2D699 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:10:08] 929*2^1450392-1 is not prime. Res64: 6399033498AC5E79 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:10:08] 637*2^1450393-1 is not prime. Res64: 9E71FD92A89EDC72 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:10:09] 805*2^1450393-1 is not prime. Res64: 57B96E97D92E5BDB Time : 0.0 sec. user=mdettweiler [2017-04-03 05:14:08] 641*2^1450394-1 is not prime. Res64: 9716D4CFEB3EFFCF Time : 0.0 sec. user=mdettweiler [2017-04-03 05:14:08] 675*2^1450394-1 is not prime. Res64: E60D566736F17DDB Time : 0.0 sec. user=mdettweiler [2017-04-03 05:14:09] 717*2^1450394-1 is not prime. Res64: 9CE29BEF02D18450 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:14:09] 601*2^1450395-1 is not prime. Res64: 3E5320BEEB7CD93B Time : 0.0 sec. user=mdettweiler [2017-04-03 05:14:09] 619*2^1450395-1 is not prime. Res64: 93045E5ED4BC7AA9 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:15:41] 639*2^1450395-1 is not prime. Res64: AF48E25EF2247537 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:15:41] 711*2^1450395-1 is not prime. Res64: BDB0B9D134E45B8B Time : 0.0 sec. user=mdettweiler [2017-04-03 05:15:41] 751*2^1450395-1 is not prime. Res64: 1172EE888BF37EFB Time : 0.0 sec. user=mdettweiler [2017-04-03 05:15:42] 783*2^1450395-1 is not prime. Res64: DD89915A027C47B7 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:15:42] 793*2^1450395-1 is not prime. Res64: 79009B4B0F1EECE8 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:52:48] 985*2^1450395-1 is not prime. Res64: 2EF90CD12395173C Time : 0.0 sec. user=mdettweiler [2017-04-03 05:52:48] 999*2^1450395-1 is not prime. Res64: F1E5F49FAB984ED5 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:52:48] 603*2^1450396-1 is not prime. Res64: FF48386819D2258A Time : 0.0 sec. user=mdettweiler [2017-04-03 05:52:48] 749*2^1450396-1 is not prime. Res64: 3ACF26DC8C8735CC Time : 0.0 sec. user=mdettweiler [2017-04-03 05:52:49] 773*2^1450396-1 is not prime. Res64: 5A5CB4A4CECD70B7 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:55:43] 813*2^1450396-1 is not prime. Res64: 5F906FB0B3F65702 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:55:44] 855*2^1450396-1 is not prime. Res64: 561DB3AD13292008 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:55:44] 875*2^1450396-1 is not prime. Res64: CCE46AE9DA80C998 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:55:44] 619*2^1450397-1 is not prime. Res64: 112ED3ED0328BC86 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:55:44] 795*2^1450397-1 is not prime. Res64: 5F2BD1198590217C Time : 0.0 sec. user=mdettweiler [2017-04-03 05:59:58] 889*2^1450397-1 is not prime. Res64: F355B5BD360C83BE Time : 0.0 sec. user=mdettweiler [2017-04-03 05:59:58] 901*2^1450397-1 is not prime. Res64: C8A8ACFA74F2D149 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:59:58] 949*2^1450397-1 is not prime. Res64: BE4D9A1F364B5726 Time : 0.0 sec. user=mdettweiler [2017-04-03 05:59:59] 647*2^1450398-1 is not prime. Res64: B16C39410D84ABBE Time : 0.0 sec. user=mdettweiler [2017-04-03 05:59:59] 761*2^1450398-1 is not prime. Res64: F6CD026E49461EF3 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:01:37] 801*2^1450398-1 is not prime. Res64: F350F659A1A2A7CF Time : 0.0 sec. user=mdettweiler [2017-04-03 06:01:37] 891*2^1450398-1 is not prime. Res64: 95A74D834FC7515D Time : 0.0 sec. user=mdettweiler [2017-04-03 06:01:38] 941*2^1450398-1 is not prime. Res64: E5B030C23166372B Time : 0.0 sec. user=mdettweiler [2017-04-03 06:01:38] 963*2^1450398-1 is not prime. Res64: A559EF3D1370813F Time : 0.0 sec. user=mdettweiler [2017-04-03 06:01:39] 975*2^1450398-1 is not prime. Res64: EB46C92276EDFDF9 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:38:30] 681*2^1450399-1 is not prime. Res64: 73D89AFD0E5CAD1B Time : 0.0 sec. user=mdettweiler [2017-04-03 06:38:31] 729*2^1450399-1 is not prime. Res64: 5DBEB20C0B717C55 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:38:31] 759*2^1450399-1 is not prime. Res64: 1A52B27440FE64C1 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:38:31] 763*2^1450399-1 is not prime. Res64: CAEC70EB0EDFF6DE Time : 0.0 sec. user=mdettweiler [2017-04-03 06:38:31] 813*2^1450399-1 is not prime. Res64: 7B092FAA3CE6491B Time : 0.0 sec. user=mdettweiler [2017-04-03 06:41:33] 829*2^1450399-1 is not prime. Res64: 9DBFE17F13975285 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:41:33] 853*2^1450399-1 is not prime. Res64: 199995FB9B6CD343 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:41:33] 859*2^1450399-1 is not prime. Res64: 679852E55A5124F1 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:41:33] 939*2^1450399-1 is not prime. Res64: 0FFCF9F96E6596B7 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:41:34] 633*2^1450400-1 is not prime. Res64: 285BA0ED9603D7F5 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:45:42] 659*2^1450400-1 is not prime. Res64: 931DED2B0FCC15F6 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:45:42] 717*2^1450400-1 is not prime. Res64: 730F3FC9CEE85053 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:45:42] 843*2^1450400-1 is not prime. Res64: 83AF5990C23F4268 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:45:43] 897*2^1450400-1 is not prime. Res64: E5126123F1DA0CBD Time : 0.0 sec. user=mdettweiler [2017-04-03 06:45:43] 957*2^1450400-1 is not prime. Res64: 409E23299F9B1D6A Time : 0.0 sec. user=mdettweiler [2017-04-03 06:47:41] 977*2^1450400-1 is not prime. Res64: 918C3A4E89AD7F05 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:47:41] 607*2^1450401-1 is not prime. Res64: 90ED74C805626490 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:47:41] 627*2^1450401-1 is not prime. Res64: 733C4DA5B658078B Time : 0.0 sec. user=mdettweiler [2017-04-03 06:47:41] 805*2^1450401-1 is not prime. Res64: 5432CFD1BC829A18 Time : 0.0 sec. user=mdettweiler [2017-04-03 06:47:42] 847*2^1450401-1 is not prime. Res64: B41DCEE662BE583A Time : 0.0 sec. user=mdettweiler [2017-04-03 07:24:05] 937*2^1450401-1 is not prime. Res64: 38399CEF43B327C4 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:24:05] 951*2^1450401-1 is not prime. Res64: 33B06467E30FD469 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:24:06] 987*2^1450401-1 is not prime. Res64: BFCDF8ACCF68B045 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:24:06] 603*2^1450402-1 is not prime. Res64: B99B1B1E79656774 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:24:06] 621*2^1450402-1 is not prime. Res64: DFCE943D141DA7D1 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:27:08] 623*2^1450402-1 is not prime. Res64: 9B8C438A2BF86884 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:27:08] 671*2^1450402-1 is not prime. Res64: AED0FF9E57EDDB52 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:27:09] 887*2^1450402-1 is not prime. Res64: 87FB58DD13DF2432 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:27:09] 947*2^1450402-1 is not prime. Res64: 873A5201ACC797C2 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:27:09] 995*2^1450402-1 is not prime. Res64: 76AFE56764D423B6 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:31:11] 603*2^1450403-1 is not prime. Res64: 805B14E36874E0AE Time : 0.0 sec. user=mdettweiler [2017-04-03 07:31:11] 619*2^1450403-1 is not prime. Res64: 1576C96FE0273D2F Time : 0.0 sec. user=mdettweiler [2017-04-03 07:31:11] 703*2^1450403-1 is not prime. Res64: 88E88AAA7DF212B4 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:31:12] 605*2^1450404-1 is not prime. Res64: 99517A1CB97AF3C7 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:31:12] 639*2^1450404-1 is not prime. Res64: 63FB0AE630515705 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:33:11] 725*2^1450404-1 is not prime. Res64: 795076D9AC190C65 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:33:11] 759*2^1450404-1 is not prime. Res64: 1E1F754C96B8B090 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:33:12] 927*2^1450404-1 is not prime. Res64: C1C95839D2F375A9 Time : 0.0 sec. user=mdettweiler [2017-04-03 07:33:12] 993*2^1450404-1 is not prime. Res64: BE4FE659992D5A9C Time : 0.0 sec. user=mdettweiler [2017-04-03 07:33:12] 799*2^1450405-1 is not prime. Res64: D045852462BE7D7E Time : 0.0 sec. user=mdettweiler [2017-04-03 08:09:22] 897*2^1450405-1 is not prime. Res64: BB6BB5EA755C04E9 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:09:22] 615*2^1450406-1 is not prime. Res64: B9F1B15B69C41CBB Time : 0.0 sec. user=mdettweiler [2017-04-03 08:09:23] 641*2^1450406-1 is not prime. Res64: D574B26D43F32823 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:09:23] 675*2^1450406-1 is not prime. Res64: 51E80D309D9945FA Time : 0.0 sec. user=mdettweiler [2017-04-03 08:09:23] 831*2^1450406-1 is not prime. Res64: 457BF338C9AC7ABE Time : 0.0 sec. user=mdettweiler [2017-04-03 08:12:25] 911*2^1450406-1 is not prime. Res64: 3DEB271D6792EA28 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:12:25] 981*2^1450406-1 is not prime. Res64: 22808A01850CCF94 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:12:25] 983*2^1450406-1 is not prime. Res64: 2BB6645381050E94 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:12:25] 703*2^1450407-1 is not prime. Res64: 94B1977BB0190168 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:12:26] 751*2^1450407-1 is not prime. Res64: E905D1DBEA26E87E Time : 0.0 sec. user=mdettweiler [2017-04-03 08:16:22] 795*2^1450407-1 is not prime. Res64: 82FF38375F3E4C1E Time : 0.0 sec. user=mdettweiler [2017-04-03 08:16:22] 901*2^1450407-1 is not prime. Res64: 71CD6D1FAC3127A4 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:16:22] 963*2^1450407-1 is not prime. Res64: 4D4E1DE476B1BF9A Time : 0.0 sec. user=mdettweiler [2017-04-03 08:16:23] 657*2^1450408-1 is not prime. Res64: CEB820000ABB58FD Time : 0.0 sec. user=mdettweiler [2017-04-03 08:16:23] 665*2^1450408-1 is not prime. Res64: FD586FF51161B3E4 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:18:21] 743*2^1450408-1 is not prime. Res64: 325313CB5600F439 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:18:21] 839*2^1450408-1 is not prime. Res64: A0168FA5463D7C77 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:18:21] 909*2^1450408-1 is not prime. Res64: 8E8981EBC7F7CCF5 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:18:21] 957*2^1450408-1 is not prime. Res64: 1A32B217243C984D Time : 0.0 sec. user=mdettweiler [2017-04-03 08:18:22] 615*2^1450409-1 is not prime. Res64: 99300BF98B25CB69 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:54:50] 691*2^1450409-1 is not prime. Res64: 32F521FEEA1925D3 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:54:51] 721*2^1450409-1 is not prime. Res64: 550692A6C693B546 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:54:51] 735*2^1450409-1 is not prime. Res64: C9BD1DC72DC31785 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:54:51] 939*2^1450409-1 is not prime. Res64: 2110624F0802045A Time : 0.0 sec. user=mdettweiler [2017-04-03 08:54:51] 783*2^1450410-1 is not prime. Res64: 0932237132477374 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:57:45] 875*2^1450410-1 is not prime. Res64: 95276D0A0EE2D7C0 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:57:45] 921*2^1450410-1 is not prime. Res64: 16AF8B8F73F11608 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:57:45] 945*2^1450410-1 is not prime. Res64: 31ED1DA018BE59B3 Time : 0.0 sec. user=mdettweiler [2017-04-03 08:57:45] 971*2^1450410-1 is not prime. Res64: 33CCD65C6D861E0F Time : 0.0 sec. user=mdettweiler [2017-04-03 08:57:46] 619*2^1450411-1 is not prime. Res64: 0CE3A0272E80E362 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:01:56] 631*2^1450411-1 is not prime. Res64: FAC67F8AD0D3AE3E Time : 0.0 sec. user=mdettweiler [2017-04-03 09:01:57] 649*2^1450411-1 is not prime. Res64: 8110B74106BE6AD1 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:01:58] 913*2^1450411-1 is not prime. Res64: 06E19884BD8AE737 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:01:58] 939*2^1450411-1 is not prime. Res64: 0C24D66D1FFE4657 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:01:59] 961*2^1450411-1 is not prime. Res64: 5044DF086B9A6CDE Time : 0.0 sec. user=mdettweiler [2017-04-03 09:03:41] 979*2^1450411-1 is not prime. Res64: EDA95300481304A9 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:03:42] 999*2^1450411-1 is not prime. Res64: 09EE38C45CF5BB33 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:03:42] 609*2^1450412-1 is not prime. Res64: F0EDA78C737B35F1 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:03:43] 657*2^1450412-1 is not prime. Res64: 45BF1B29EEF5E3EC Time : 0.0 sec. user=mdettweiler [2017-04-03 09:03:44] 717*2^1450412-1 is not prime. Res64: 2DC244621A054CC9 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:39:58] 725*2^1450412-1 is not prime. Res64: F4A22E3267713A9B Time : 0.0 sec. user=mdettweiler [2017-04-03 09:39:59] 797*2^1450412-1 is not prime. Res64: 9179D5C65086AD87 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:39:59] 885*2^1450412-1 is not prime. Res64: 05B53707E26E1E90 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:39:59] 899*2^1450412-1 is not prime. Res64: F08ADF59AF18F6C0 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:40:00] 957*2^1450412-1 is not prime. Res64: EAF6E760AB35F538 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:42:54] 651*2^1450413-1 is not prime. Res64: 15EFB33488BD5085 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:42:54] 679*2^1450413-1 is not prime. Res64: 66CF83B1FD915C00 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:42:55] 811*2^1450413-1 is not prime. Res64: A54A5884BCCDF0ED Time : 0.0 sec. user=mdettweiler [2017-04-03 09:42:55] 829*2^1450413-1 is not prime. Res64: A834D99BB6180E57 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:42:55] 861*2^1450413-1 is not prime. Res64: C2336DE918B3C22F Time : 0.0 sec. user=mdettweiler [2017-04-03 09:47:04] 945*2^1450413-1 is not prime. Res64: DEEEF22E46EC9E7B Time : 0.0 sec. user=mdettweiler [2017-04-03 09:47:05] 737*2^1450414-1 is not prime. Res64: 8DE39B84DC04855C Time : 0.0 sec. user=mdettweiler [2017-04-03 09:47:05] 765*2^1450414-1 is not prime. Res64: FEFEAB3FA72F993E Time : 0.0 sec. user=mdettweiler [2017-04-03 09:47:05] 897*2^1450414-1 is not prime. Res64: 72DED23B07B54F73 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:47:05] 945*2^1450414-1 is not prime. Res64: 3541ECDA6587B758 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:48:59] 619*2^1450415-1 is not prime. Res64: 394900960E63EFCC Time : 0.0 sec. user=mdettweiler [2017-04-03 09:48:59] 693*2^1450415-1 is not prime. Res64: 00FC50B81EA7CC90 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:48:59] 735*2^1450415-1 is not prime. Res64: 983645ED6ACCF5E2 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:48:59] 771*2^1450415-1 is not prime. Res64: DE58ACB22A190BC1 Time : 0.0 sec. user=mdettweiler [2017-04-03 09:49:00] 841*2^1450415-1 is not prime. Res64: BAA7AF781A9E1DA1 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:25:06] 859*2^1450415-1 is not prime. Res64: 2D8C4F93391402F6 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:25:06] 883*2^1450415-1 is not prime. Res64: CF07AC0895E62FC3 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:25:06] 985*2^1450415-1 is not prime. Res64: 6947C1F784E37366 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:25:07] 675*2^1450416-1 is not prime. Res64: 4C934AC2CAB85452 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:25:07] 735*2^1450416-1 is not prime. Res64: 7145DF10094C3378 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:28:52] 747*2^1450416-1 is not prime. Res64: C7ED638AF844E8D9 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:28:52] 765*2^1450416-1 is not prime. Res64: 02BAD24060D7D00F Time : 0.0 sec. user=mdettweiler [2017-04-03 10:28:52] 825*2^1450416-1 is not prime. Res64: 81CBCF52372025E9 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:28:52] 601*2^1450417-1 is not prime. Res64: 1F43C7489F401A52 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:28:53] 625*2^1450417-1 is not prime. Res64: 21CD00E69F92D30F Time : 0.0 sec. user=mdettweiler [2017-04-03 10:33:07] 729*2^1450417-1 is not prime. Res64: E59AAB1566345A3F Time : 0.0 sec. user=mdettweiler [2017-04-03 10:33:07] 831*2^1450417-1 is not prime. Res64: 4FB63E0BBAA08C7C Time : 0.0 sec. user=mdettweiler [2017-04-03 10:33:07] 915*2^1450417-1 is not prime. Res64: 5A536CE8007AC88A Time : 0.0 sec. user=mdettweiler [2017-04-03 10:33:08] 939*2^1450417-1 is not prime. Res64: B0BE323EB4E56E49 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:33:08] 1001*2^1450418-1 is not prime. Res64: 91FAC1A5BFFB081B Time : 0.0 sec. user=mdettweiler [2017-04-03 10:34:56] 741*2^1450419-1 is not prime. Res64: 5E114911F47E58FB Time : 0.0 sec. user=mdettweiler [2017-04-03 10:34:56] 801*2^1450419-1 is not prime. Res64: 14F3781377778516 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:34:56] 909*2^1450419-1 is not prime. Res64: 9E703A8A45C7BC19 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:34:56] 961*2^1450419-1 is not prime. Res64: E5515480E4D40112 Time : 0.0 sec. user=mdettweiler [2017-04-03 10:34:57] 975*2^1450419-1 is not prime. Res64: 9D738420CF43E69B Time : 0.0 sec. user=mdettweiler [2017-04-03 11:10:57] 609*2^1450420-1 is not prime. Res64: 652331D18001983D Time : 0.0 sec. user=mdettweiler [2017-04-03 11:10:57] 623*2^1450420-1 is not prime. Res64: 66A467AD4296823A Time : 0.0 sec. user=mdettweiler [2017-04-03 11:10:57] 635*2^1450420-1 is not prime. Res64: 1C1AF5DC8E9B7EE7 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:10:58] 647*2^1450420-1 is not prime. Res64: 24A522FCC4BBE996 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:10:58] 735*2^1450420-1 is not prime. Res64: 227014B65ED10F58 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:14:04] 813*2^1450420-1 is not prime. Res64: F94363032B902A4F Time : 0.0 sec. user=mdettweiler [2017-04-03 11:14:04] 827*2^1450420-1 is not prime. Res64: 78969A750FD54E76 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:14:05] 909*2^1450420-1 is not prime. Res64: B9380A0D26EEEF96 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:14:05] 651*2^1450421-1 is not prime. Res64: 096666F7986F2B70 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:14:05] 675*2^1450421-1 is not prime. Res64: 98CF64943A7BF94A Time : 0.0 sec. user=mdettweiler [2017-04-03 11:18:13] 711*2^1450421-1 is not prime. Res64: BC2E15E70E381737 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:18:13] 727*2^1450421-1 is not prime. Res64: 98C83736E5A2F7C2 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:18:14] 837*2^1450421-1 is not prime. Res64: 0FD3349238835E32 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:18:14] 937*2^1450421-1 is not prime. Res64: 1CC44F00397920E0 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:18:14] 621*2^1450422-1 is not prime. Res64: 024977A8C2B990A9 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:20:06] 957*2^1450422-1 is not prime. Res64: 03DB70793C52340D Time : 0.0 sec. user=mdettweiler [2017-04-03 11:20:06] 1001*2^1450422-1 is not prime. Res64: 6183CCB047646F02 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:20:06] 609*2^1450423-1 is not prime. Res64: DB33A2197432E994 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:20:06] 649*2^1450423-1 is not prime. Res64: 98E97FDC3957C1A2 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:20:07] 723*2^1450423-1 is not prime. Res64: 1397C7E7298B4B9B Time : 0.0 sec. user=mdettweiler [2017-04-03 11:56:10] 741*2^1450423-1 is not prime. Res64: B05C8B6DCD38501F Time : 0.0 sec. user=mdettweiler [2017-04-03 11:56:11] 891*2^1450423-1 is not prime. Res64: 5D63AB5846FD2A07 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:56:11] 993*2^1450423-1 is not prime. Res64: 39E36306188EF524 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:56:11] 609*2^1450424-1 is not prime. Res64: 8E15F984C1C2D7E6 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:56:11] 623*2^1450424-1 is not prime. Res64: B3F92CD54A74A4F8 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:59:25] 663*2^1450424-1 is not prime. Res64: 5D3571D6ECB98C14 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:59:25] 649*2^1450425-1 is not prime. Res64: B36F7B4C91D8F651 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:59:26] 651*2^1450425-1 is not prime. Res64: 2AD72E24EFA9F340 Time : 0.0 sec. user=mdettweiler [2017-04-03 11:59:26] 711*2^1450425-1 is not prime. Res64: 6E663B268D71814E Time : 0.0 sec. user=mdettweiler [2017-04-03 11:59:26] 741*2^1450425-1 is not prime. Res64: 1123DEBE06785B37 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:03:24] 885*2^1450425-1 is not prime. Res64: 254D395DAAAA24DD Time : 0.0 sec. user=mdettweiler [2017-04-03 12:03:25] 857*2^1450426-1 is not prime. Res64: D03F664764FE43AD Time : 0.0 sec. user=mdettweiler [2017-04-03 12:03:26] 947*2^1450426-1 is not prime. Res64: 821806203627773F Time : 0.0 sec. user=mdettweiler [2017-04-03 12:03:27] 987*2^1450426-1 is not prime. Res64: F2C28EB0DE8E6132 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:03:28] 603*2^1450427-1 is not prime. Res64: 3CEDF38183D1DB09 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:05:19] 703*2^1450427-1 is not prime. Res64: A4665EBAF81D4BC0 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:05:20] 711*2^1450427-1 is not prime. Res64: CB19A32F76973C13 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:05:21] 741*2^1450427-1 is not prime. Res64: 2D7CF8168FCBD83E Time : 0.0 sec. user=mdettweiler [2017-04-03 12:05:21] 781*2^1450427-1 is not prime. Res64: 70D2494BB09D688C Time : 0.0 sec. user=mdettweiler [2017-04-03 12:05:22] 885*2^1450427-1 is not prime. Res64: 361EC040E0FD819C Time : 0.0 sec. user=mdettweiler [2017-04-03 12:41:27] 963*2^1450427-1 is not prime. Res64: 0308195D16A1BF27 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:41:28] 605*2^1450428-1 is not prime. Res64: ED8EBBFDE3BEDE72 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:41:28] 647*2^1450428-1 is not prime. Res64: F06A822D3380A7A0 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:41:28] 707*2^1450428-1 is not prime. Res64: BC8D0BCB1C47CAB7 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:41:28] 765*2^1450428-1 is not prime. Res64: C2042EAAF93B93F4 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:44:42] 795*2^1450428-1 is not prime. Res64: 8C9197BC61EAD010 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:44:43] 845*2^1450428-1 is not prime. Res64: 85D07BA90A96C42E Time : 0.0 sec. user=mdettweiler [2017-04-03 12:44:43] 915*2^1450428-1 is not prime. Res64: D36E7BAA68D63D92 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:44:43] 959*2^1450428-1 is not prime. Res64: F601B3F67A203CD6 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:44:43] 675*2^1450429-1 is not prime. Res64: 3612CDC01C495D9B Time : 0.0 sec. user=mdettweiler [2017-04-03 12:48:55] 721*2^1450429-1 is not prime. Res64: 13E23D2E8A231F49 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:48:55] 729*2^1450429-1 is not prime. Res64: E2AF3AADC27F5EC1 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:48:55] 751*2^1450429-1 is not prime. Res64: CD026992BA54BD9B Time : 0.0 sec. user=mdettweiler [2017-04-03 12:48:55] 801*2^1450429-1 is not prime. Res64: 56B6FF650EEBF3D1 Time : 0.0 sec. user=mdettweiler [2017-04-03 12:48:56] 855*2^1450429-1 is not prime. Res64: 54062928A7CC7DFE Time : 0.0 sec. user=mdettweiler [2017-04-03 12:50:46] 861*2^1450429-1 is not prime. Res64: 531C413413DDD81F Time : 0.0 sec. user=mdettweiler [2017-04-03 12:50:46] 955*2^1450429-1 is not prime. Res64: B8A34D05A99E8EAA Time : 0.0 sec. user=mdettweiler [2017-04-03 12:50:46] 967*2^1450429-1 is not prime. Res64: 38E15F5C091FF97B Time : 0.0 sec. user=mdettweiler [2017-04-03 12:50:46] 801*2^1450430-1 is not prime. Res64: 272CAA64A60D265A Time : 0.0 sec. user=mdettweiler [2017-04-03 12:50:46] 845*2^1450430-1 is not prime. Res64: AB571791C6A67669 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:27:58] 851*2^1450430-1 is not prime. Res64: 15E436E63ED4E811 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:27:58] 893*2^1450430-1 is not prime. Res64: 76624BC5D7FD77FF Time : 0.0 sec. user=mdettweiler [2017-04-03 13:27:59] 953*2^1450430-1 is not prime. Res64: FA727DFEF18D0399 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:27:59] 669*2^1450431-1 is not prime. Res64: 549A4AB9700BAB4F Time : 0.0 sec. user=mdettweiler [2017-04-03 13:27:59] 741*2^1450431-1 is not prime. Res64: 2120624046CB5ED3 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:31:48] 895*2^1450431-1 is not prime. Res64: 39A6076301819376 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:31:49] 605*2^1450432-1 is not prime. Res64: 41C7C330397F1141 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:31:49] 609*2^1450432-1 is not prime. Res64: 03A74A7FE4EF9D88 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:31:49] 677*2^1450432-1 is not prime. Res64: 5DDD95DE66DF37E6 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:31:49] 719*2^1450432-1 is not prime. Res64: 4FDC150A4C94C2CD Time : 0.0 sec. user=mdettweiler [2017-04-03 13:36:36] 735*2^1450432-1 is not prime. Res64: 6D15FAE790B533D0 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:36:37] 779*2^1450432-1 is not prime. Res64: 5FC1BE1AC3CE8625 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:36:37] 785*2^1450432-1 is not prime. Res64: C133277DC04032A6 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:36:37] 819*2^1450432-1 is not prime. Res64: CFC7A9E9E6D3361F Time : 0.0 sec. user=mdettweiler [2017-04-03 13:36:37] 875*2^1450432-1 is not prime. Res64: 03ABC13BB833B498 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:38:44] 899*2^1450432-1 is not prime. Res64: 394B5FA915E77768 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:38:44] 627*2^1450433-1 is not prime. Res64: 15B52EB67415441E Time : 0.0 sec. user=mdettweiler [2017-04-03 13:38:44] 637*2^1450433-1 is not prime. Res64: 54BA4E60C15D4BD2 Time : 0.0 sec. user=mdettweiler [2017-04-03 13:38:44] 729*2^1450433-1 is not prime. Res64: 70315876BF74B32B Time : 0.0 sec. user=mdettweiler [2017-04-03 13:38:45] 775*2^1450433-1 is not prime. Res64: A4CF5F812850B478 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:18:23] 787*2^1450433-1 is not prime. Res64: 95A94F3BC9CE52B6 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:18:23] 915*2^1450433-1 is not prime. Res64: 5D4CA7EAE1AD8E8E Time : 0.0 sec. user=mdettweiler [2017-04-03 14:18:24] 633*2^1450434-1 is not prime. Res64: 71BE9BDA4D0A9B21 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:18:24] 725*2^1450434-1 is not prime. Res64: FA8E84ABD7438B60 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:18:24] 851*2^1450434-1 is not prime. Res64: 79A3C74D04630295 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:21:23] 971*2^1450434-1 is not prime. Res64: B007940AC4539B67 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:21:23] 649*2^1450435-1 is not prime. Res64: CB677CFFA9DFD8E8 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:21:23] 693*2^1450435-1 is not prime. Res64: D582163A2C38FBFA Time : 0.0 sec. user=mdettweiler [2017-04-03 14:21:24] 709*2^1450435-1 is not prime. Res64: EC2BBA7864867859 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:21:24] 789*2^1450435-1 is not prime. Res64: 7DAE00E6BDE72B20 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:26:03] 659*2^1450436-1 is not prime. Res64: 69E33562E42A63B9 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:26:03] 669*2^1450436-1 is not prime. Res64: 0537D37D6782CC6B Time : 0.0 sec. user=mdettweiler [2017-04-03 14:26:03] 693*2^1450436-1 is not prime. Res64: 2CC66B3E90A7A16E Time : 0.0 sec. user=mdettweiler [2017-04-03 14:26:04] 725*2^1450436-1 is not prime. Res64: 33F9FC813D5FCAD4 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:26:04] 749*2^1450436-1 is not prime. Res64: 74F92D000465A68F Time : 0.0 sec. user=mdettweiler [2017-04-03 14:27:56] 869*2^1450436-1 is not prime. Res64: 6F4895C6ED8DB1AB Time : 0.0 sec. user=mdettweiler [2017-04-03 14:27:56] 903*2^1450436-1 is not prime. Res64: 3C0CB3B02F3D6586 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:27:56] 609*2^1450437-1 is not prime. Res64: 7FDC1D14D534B5D5 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:27:56] 651*2^1450437-1 is not prime. Res64: 230E696D54635797 Time : 0.0 sec. user=mdettweiler [2017-04-03 14:27:57] 747*2^1450437-1 is not prime. Res64: E13424F9CE93B4A3 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:05:10] 777*2^1450437-1 is not prime. Res64: 30551578ED390D29 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:05:11] 885*2^1450437-1 is not prime. Res64: 21F020358565D1C2 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:05:12] 891*2^1450437-1 is not prime. Res64: 3858FCCA21DEAFBC Time : 0.0 sec. user=mdettweiler [2017-04-03 15:05:14] 997*2^1450437-1 is not prime. Res64: F41156B585F419E0 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:05:15] 665*2^1450438-1 is not prime. Res64: 257D093632C20E15 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:08:00] 681*2^1450438-1 is not prime. Res64: 6D834DB24C225FFC Time : 0.0 sec. user=mdettweiler [2017-04-03 15:08:01] 723*2^1450438-1 is not prime. Res64: 6B4F3E51F6803B6B Time : 0.0 sec. user=mdettweiler [2017-04-03 15:08:01] 831*2^1450438-1 is not prime. Res64: FEC19E731CC9DDC7 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:08:01] 857*2^1450438-1 is not prime. Res64: 155E07D75A38B509 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:08:02] 933*2^1450438-1 is not prime. Res64: 3AB4C2E0DF347CDC Time : 0.0 sec. user=mdettweiler [2017-04-03 15:12:32] 951*2^1450438-1 is not prime. Res64: 93E67958E49FE64B Time : 0.0 sec. user=mdettweiler [2017-04-03 15:12:32] 721*2^1450439-1 is not prime. Res64: 230D69CAB9103E8F Time : 0.0 sec. user=mdettweiler [2017-04-03 15:12:32] 729*2^1450439-1 is not prime. Res64: 4F533DA4AF07A327 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:12:33] 741*2^1450439-1 is not prime. Res64: A8C92852AB520A69 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:12:33] 753*2^1450439-1 is not prime. Res64: A19C9C4049A4FDCA Time : 0.0 sec. user=mdettweiler [2017-04-03 15:14:50] 841*2^1450439-1 is not prime. Res64: F4897E38B1C7A6C8 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:14:51] 943*2^1450439-1 is not prime. Res64: B633986515E5261C Time : 0.0 sec. user=mdettweiler [2017-04-03 15:14:51] 609*2^1450441-1 is not prime. Res64: 6E58CFCA4D983258 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:14:51] 625*2^1450441-1 is not prime. Res64: 570705008C861203 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:14:51] 639*2^1450441-1 is not prime. Res64: 5519540126E5D920 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:52:58] 741*2^1450441-1 is not prime. Res64: C6594D0A35772B47 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:52:59] 807*2^1450441-1 is not prime. Res64: 22D848A37C65753D Time : 0.0 sec. user=mdettweiler [2017-04-03 15:52:59] 847*2^1450441-1 is not prime. Res64: 68760CBDD23EF9BB Time : 0.0 sec. user=mdettweiler [2017-04-03 15:52:59] 925*2^1450441-1 is not prime. Res64: EA62FE1A6BD1A6F4 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:52:59] 939*2^1450441-1 is not prime. Res64: 71BB9DF84CBC49C0 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:55:18] 705*2^1450442-1 is not prime. Res64: 7E1255772F566FA7 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:55:18] 713*2^1450442-1 is not prime. Res64: 1BA5933025E4BEB8 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:55:18] 813*2^1450442-1 is not prime. Res64: F54FEF539A00F9C2 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:55:18] 873*2^1450442-1 is not prime. Res64: 046123779A550D06 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:55:19] 613*2^1450443-1 is not prime. Res64: BC39A6AE6A2F5302 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:59:31] 765*2^1450443-1 is not prime. Res64: 2574FCD70597CC20 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:59:31] 801*2^1450443-1 is not prime. Res64: 592389487AE04C95 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:59:32] 859*2^1450443-1 is not prime. Res64: 89AA1FD80752D399 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:59:32] 871*2^1450443-1 is not prime. Res64: 0F0E698B7AAC5074 Time : 0.0 sec. user=mdettweiler [2017-04-03 15:59:32] 879*2^1450443-1 is not prime. Res64: E06FFC82C3E4E236 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:02:09] 901*2^1450443-1 is not prime. Res64: AF24D1EC83530F1D Time : 0.0 sec. user=mdettweiler [2017-04-03 16:02:11] 945*2^1450443-1 is not prime. Res64: 966E98044974F29B Time : 0.0 sec. user=mdettweiler [2017-04-03 16:02:12] 617*2^1450444-1 is not prime. Res64: F85197EDE78DABB9 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:02:13] 755*2^1450444-1 is not prime. Res64: 557B374688834EBE Time : 0.0 sec. user=mdettweiler [2017-04-03 16:02:14] 803*2^1450444-1 is not prime. Res64: 7B8B6642E392B3CE Time : 0.0 sec. user=mdettweiler [2017-04-03 16:38:28] 857*2^1450444-1 is not prime. Res64: 091EFCA65D0F6397 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:38:28] 905*2^1450444-1 is not prime. Res64: 6BE2B9E311319AED Time : 0.0 sec. user=mdettweiler [2017-04-03 16:38:28] 989*2^1450444-1 is not prime. Res64: 7E4E8D0765B63AF6 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:38:29] 757*2^1450445-1 is not prime. Res64: 4541F18E57B00C4C Time : 0.0 sec. user=mdettweiler [2017-04-03 16:38:29] 759*2^1450445-1 is not prime. Res64: F69DE2C781D30A0B Time : 0.0 sec. user=mdettweiler [2017-04-03 16:40:37] 787*2^1450445-1 is not prime. Res64: 14D7AFCEC561293E Time : 0.0 sec. user=mdettweiler [2017-04-03 16:40:37] 789*2^1450445-1 is not prime. Res64: DA0B1C424C9A8AAE Time : 0.0 sec. user=mdettweiler [2017-04-03 16:40:37] 925*2^1450445-1 is not prime. Res64: 937223B2E38EBB4B Time : 0.0 sec. user=mdettweiler [2017-04-03 16:40:38] 711*2^1450446-1 is not prime. Res64: BA9CE2FB2668FBE8 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:40:38] 761*2^1450446-1 is not prime. Res64: AC16962D17ED04BD Time : 0.0 sec. user=mdettweiler [2017-04-03 16:44:44] 815*2^1450446-1 is not prime. Res64: C2FB8D39DEA66F9A Time : 0.0 sec. user=mdettweiler [2017-04-03 16:44:44] 619*2^1450447-1 is not prime. Res64: 2EF9104B0EB2F72D Time : 0.0 sec. user=mdettweiler [2017-04-03 16:44:44] 645*2^1450447-1 is not prime. Res64: 91B8B40B6BB66D8E Time : 0.0 sec. user=mdettweiler [2017-04-03 16:44:44] 703*2^1450447-1 is not prime. Res64: 01F5F8464B1D1369 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:44:45] 769*2^1450447-1 is not prime. Res64: 4CDF62499687E1BD Time : 0.0 sec. user=mdettweiler [2017-04-03 16:48:02] 909*2^1450447-1 is not prime. Res64: A4B0787816A76A7C Time : 0.0 sec. user=mdettweiler [2017-04-03 16:48:02] 919*2^1450447-1 is not prime. Res64: B724CF9549AF798D Time : 0.0 sec. user=mdettweiler [2017-04-03 16:48:03] 687*2^1450448-1 is not prime. Res64: B42F3403C9607F70 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:48:03] 725*2^1450448-1 is not prime. Res64: 4F4C81B2EEA74607 Time : 0.0 sec. user=mdettweiler [2017-04-03 16:48:03] 773*2^1450448-1 is not prime. Res64: 635550491331234C Time : 0.0 sec. user=mdettweiler [2017-04-03 17:23:38] 839*2^1450448-1 is not prime. Res64: B8A31EF48877EF06 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:23:38] 867*2^1450448-1 is not prime. Res64: 3D45A7541061576D Time : 0.0 sec. user=mdettweiler [2017-04-03 17:23:38] 915*2^1450448-1 is not prime. Res64: FF8C822CC2D1419D Time : 0.0 sec. user=mdettweiler [2017-04-03 17:23:39] 615*2^1450449-1 is not prime. Res64: 6885C2E234A61BB6 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:23:39] 639*2^1450449-1 is not prime. Res64: 33068311E1AA1E44 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:26:02] 787*2^1450449-1 is not prime. Res64: 2E8E491F83563678 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:26:02] 811*2^1450449-1 is not prime. Res64: 08C6E1C1A0D8B2D6 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:26:02] 857*2^1450450-1 is not prime. Res64: E2E8D4CBB29CB214 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:26:02] 861*2^1450450-1 is not prime. Res64: 1D2810134B49421B Time : 0.0 sec. user=mdettweiler [2017-04-03 17:26:03] 887*2^1450450-1 is not prime. Res64: 578681127C765651 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:30:01] 981*2^1450450-1 is not prime. Res64: CAD401DCE0D8D7C7 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:30:01] 829*2^1450451-1 is not prime. Res64: 5310FC058ECC9A95 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:30:02] 939*2^1450451-1 is not prime. Res64: A06D08A8FFBE82B8 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:30:03] 605*2^1450452-1 is not prime. Res64: 58738A9B5F1C7277 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:30:03] 627*2^1450452-1 is not prime. Res64: 6335EBFDE3BA2B81 Time : 0.0 sec. user=mdettweiler [2017-04-03 17:33:31] 719*2^1450452-1 is not prime. Res64: EFEC6BE83A628D0D Time : 0.0 sec. user=mdettweiler [2017-04-03 17:33:31] 947*2^1450452-1 is not prime. Res64: 9F8BA1F31B91EEFF Time : 0.0 sec. user=mdettweiler [2017-04-03 17:33:31] 639*2^1450453-1 is not prime. Res64: BBCE1F1A4B78734A Time : 0.0 sec. user=mdettweiler [2017-04-03 17:33:31] 747*2^1450453-1 is not prime. Res64: E08418B42CDABFBB Time : 0.0 sec. user=mdettweiler [2017-04-03 17:33:32] 805*2^1450453-1 is not prime. Res64: 16EDABAE9128A835 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:08:53] 877*2^1450453-1 is not prime. Res64: CD8AAE6859C429D2 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:08:54] 915*2^1450453-1 is not prime. Res64: 2586A91AC4BA7FF6 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:08:54] 651*2^1450454-1 is not prime. Res64: 301013CF5289149A Time : 0.0 sec. user=mdettweiler [2017-04-03 18:08:54] 705*2^1450454-1 is not prime. Res64: FE9B490B41C4489E Time : 0.0 sec. user=mdettweiler [2017-04-03 18:08:55] 743*2^1450454-1 is not prime. Res64: A2D9B606B8E43965 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:11:19] 873*2^1450454-1 is not prime. Res64: A17974B2B50178EF Time : 0.0 sec. user=mdettweiler [2017-04-03 18:11:20] 941*2^1450454-1 is not prime. Res64: 2B662725361DF3AF Time : 0.0 sec. user=mdettweiler [2017-04-03 18:11:20] 971*2^1450454-1 is not prime. Res64: DFFCC5BAEE71A7C6 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:11:20] 649*2^1450455-1 is not prime. Res64: 624F8EED83B8B2C5 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:11:20] 679*2^1450455-1 is not prime. Res64: 5F2D1C6FC8E2CB76 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:15:13] 751*2^1450455-1 is not prime. Res64: D99F3EA699449EAC Time : 0.0 sec. user=mdettweiler [2017-04-03 18:15:13] 783*2^1450455-1 is not prime. Res64: F189D8F9359014A0 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:15:13] 921*2^1450455-1 is not prime. Res64: 2BFD199D98EC845B Time : 0.0 sec. user=mdettweiler [2017-04-03 18:15:14] 933*2^1450455-1 is not prime. Res64: 29F21018C80AB8F8 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:15:14] 999*2^1450455-1 is not prime. Res64: 10BE3C59F71AF0EF Time : 0.0 sec. user=mdettweiler [2017-04-03 18:19:04] 663*2^1450456-1 is not prime. Res64: CA90733839234EBD Time : 0.0 sec. user=mdettweiler [2017-04-03 18:19:04] 717*2^1450456-1 is not prime. Res64: E285498839B9E827 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:19:05] 743*2^1450456-1 is not prime. Res64: 51F1C205AA555423 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:19:05] 875*2^1450456-1 is not prime. Res64: EB9234DC01796525 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:19:05] 887*2^1450456-1 is not prime. Res64: 0A0F6DDCFC51300A Time : 0.0 sec. user=mdettweiler [2017-04-03 18:55:26] 903*2^1450456-1 is not prime. Res64: C0CFA06139D58C13 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:55:26] 933*2^1450456-1 is not prime. Res64: DC6BC12A1D522B91 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:55:26] 939*2^1450456-1 is not prime. Res64: E90DF5212B0BB524 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:55:26] 989*2^1450456-1 is not prime. Res64: 26DB6BE07B5F8D2F Time : 0.0 sec. user=mdettweiler [2017-04-03 18:55:27] 685*2^1450457-1 is not prime. Res64: 831724D323B26A84 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:57:50] 729*2^1450457-1 is not prime. Res64: D0BF6CFD8FCC4852 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:57:51] 741*2^1450457-1 is not prime. Res64: 64B9DF18C29CCAC4 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:57:51] 771*2^1450457-1 is not prime. Res64: 8467DCE1D6686D94 Time : 0.0 sec. user=mdettweiler [2017-04-03 18:57:51] 831*2^1450457-1 is not prime. Res64: 0D6EE5DD571CA44F Time : 0.0 sec. user=mdettweiler [2017-04-03 18:57:52] 837*2^1450457-1 is not prime. Res64: 3147CB7B3373A6DD Time : 0.0 sec. user=mdettweiler [2017-04-03 19:02:09] 931*2^1450457-1 is not prime. Res64: 13EE96C334C62B2A Time : 0.0 sec. user=mdettweiler [2017-04-03 19:02:10] 967*2^1450457-1 is not prime. Res64: DDB65EC430407EA2 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:02:11] 985*2^1450457-1 is not prime. Res64: 8FC5F7B6529E977A Time : 0.0 sec. user=mdettweiler [2017-04-03 19:02:12] 991*2^1450457-1 is not prime. Res64: B32A26512C8F9882 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:02:12] 633*2^1450458-1 is not prime. Res64: 4448DC48DAB21FC6 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:05:39] 677*2^1450458-1 is not prime. Res64: 5DDCC122EBCA6853 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:05:40] 681*2^1450458-1 is not prime. Res64: CDB2688AB0266871 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:05:40] 777*2^1450458-1 is not prime. Res64: 969799791A2D6454 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:05:40] 881*2^1450458-1 is not prime. Res64: 3CB48ABFA0775850 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:05:41] 891*2^1450458-1 is not prime. Res64: 7F950011CFD6B848 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:42:28] 893*2^1450458-1 is not prime. Res64: 2324AA44A166EC48 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:42:28] 923*2^1450458-1 is not prime. Res64: 70A5BDB7CD9990D0 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:42:28] 963*2^1450458-1 is not prime. Res64: B07CD74BC42AE9D8 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:42:28] 971*2^1450458-1 is not prime. Res64: B55A86BD6230429F Time : 0.0 sec. user=mdettweiler [2017-04-03 19:42:29] 709*2^1450459-1 is not prime. Res64: 7513263F75FFA4AC Time : 0.0 sec. user=mdettweiler [2017-04-03 19:45:10] 733*2^1450459-1 is not prime. Res64: C4321F45FC243597 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:45:11] 745*2^1450459-1 is not prime. Res64: 3BFA8E6AA1EF06DF Time : 0.0 sec. user=mdettweiler [2017-04-03 19:45:11] 793*2^1450459-1 is not prime. Res64: 4A61F78A89E0FD1B Time : 0.0 sec. user=mdettweiler [2017-04-03 19:45:11] 861*2^1450459-1 is not prime. Res64: 16BD59116239A83F Time : 0.0 sec. user=mdettweiler [2017-04-03 19:45:11] 889*2^1450459-1 is not prime. Res64: A090922EDEECBC05 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:49:17] 891*2^1450459-1 is not prime. Res64: 236745BEDE809ABA Time : 0.0 sec. user=mdettweiler [2017-04-03 19:49:17] 605*2^1450460-1 is not prime. Res64: 943EE0475DFCB0F6 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:49:17] 635*2^1450460-1 is not prime. Res64: 150B6BB7AF92281D Time : 0.0 sec. user=mdettweiler [2017-04-03 19:49:17] 677*2^1450460-1 is not prime. Res64: 193917913349115F Time : 0.0 sec. user=mdettweiler [2017-04-03 19:49:18] 909*2^1450460-1 is not prime. Res64: 669ADA5E34EA3277 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:53:12] 935*2^1450460-1 is not prime. Res64: 18D56715BDF090DF Time : 0.0 sec. user=mdettweiler [2017-04-03 19:53:13] 987*2^1450460-1 is not prime. Res64: 6FD2244722300247 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:53:13] 999*2^1450460-1 is not prime. Res64: 3AC978941C0275E4 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:53:13] 741*2^1450461-1 is not prime. Res64: 5CA5DA048AD3EFA2 Time : 0.0 sec. user=mdettweiler [2017-04-03 19:53:13] 859*2^1450461-1 is not prime. Res64: 282DA550A82AF78C Time : 0.0 sec. user=mdettweiler [2017-04-03 20:28:09] 861*2^1450461-1 is not prime. Res64: DD56F5A3FDE8E8D8 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:28:09] 877*2^1450461-1 is not prime. Res64: 6FC4C9BEE194990B Time : 0.0 sec. user=mdettweiler [2017-04-03 20:28:09] 885*2^1450461-1 is not prime. Res64: C3862638BA75F987 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:28:09] 907*2^1450461-1 is not prime. Res64: E0BCD0EC36D1F8BB Time : 0.0 sec. user=mdettweiler [2017-04-03 20:28:10] 949*2^1450461-1 is not prime. Res64: 36167C5D527C26B5 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:30:42] 979*2^1450461-1 is not prime. Res64: 98CE92B0F7A384FB Time : 0.0 sec. user=mdettweiler [2017-04-03 20:30:42] 617*2^1450462-1 is not prime. Res64: 2538B8DDF00EC12C Time : 0.0 sec. user=mdettweiler [2017-04-03 20:30:42] 777*2^1450462-1 is not prime. Res64: BBCE9C9730226AD9 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:30:43] 791*2^1450462-1 is not prime. Res64: 27835C1FE53DA596 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:30:43] 885*2^1450462-1 is not prime. Res64: 65DEF8F799CFA77E Time : 0.0 sec. user=mdettweiler [2017-04-03 20:34:45] 917*2^1450462-1 is not prime. Res64: 7D2E8055C6BA0F75 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:34:45] 947*2^1450462-1 is not prime. Res64: D41FCCD18F5BADD0 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:34:45] 965*2^1450462-1 is not prime. Res64: 3E3326D695AF18A3 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:34:45] 619*2^1450463-1 is not prime. Res64: 34FF76E823B0DF5A Time : 0.0 sec. user=mdettweiler [2017-04-03 20:34:46] 973*2^1450463-1 is not prime. Res64: 795429A4D95FB48F Time : 0.0 sec. user=mdettweiler [2017-04-03 20:38:48] 705*2^1450464-1 is not prime. Res64: 4C07AFB4F41A4457 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:38:48] 753*2^1450464-1 is not prime. Res64: 205F2E03A7C54988 Time : 0.0 sec. user=mdettweiler [2017-04-03 20:38:48] 765*2^1450464-1 is not prime. Res64: 4219B4A713F8A2DB Time : 0.0 sec. user=mdettweiler [2017-04-03 20:38:49] 849*2^1450464-1 is not prime. Res64: B4569E7AB8EAD74C Time : 0.0 sec. user=mdettweiler [2017-04-03 20:38:49] 903*2^1450464-1 is not prime. Res64: FCBD55E764392414 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:13:19] 947*2^1450464-1 is not prime. Res64: DAF3AB8693E78AA7 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:13:19] 975*2^1450464-1 is not prime. Res64: 01DDA6C1B2E52E3A Time : 0.0 sec. user=mdettweiler [2017-04-03 21:13:20] 993*2^1450464-1 is not prime. Res64: 1CB0C9A617619C8A Time : 0.0 sec. user=mdettweiler [2017-04-03 21:13:20] 715*2^1450465-1 is not prime. Res64: CCFE804B874C573E Time : 0.0 sec. user=mdettweiler [2017-04-03 21:13:21] 729*2^1450465-1 is not prime. Res64: 77616C52104E0273 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:16:00] 765*2^1450465-1 is not prime. Res64: 218A9966CB2A8D5A Time : 0.0 sec. user=mdettweiler [2017-04-03 21:16:00] 861*2^1450465-1 is not prime. Res64: 720BC4E1209BD88E Time : 0.0 sec. user=mdettweiler [2017-04-03 21:16:00] 909*2^1450465-1 is not prime. Res64: 8981B6DFD1416EC4 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:16:00] 627*2^1450466-1 is not prime. Res64: 8DB8A8C32562DDF1 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:16:01] 713*2^1450466-1 is not prime. Res64: FD173FC1FDA357FA Time : 0.0 sec. user=mdettweiler [2017-04-03 21:19:46] 867*2^1450466-1 is not prime. Res64: F1A8FC3E741234EF Time : 0.0 sec. user=mdettweiler [2017-04-03 21:19:46] 887*2^1450466-1 is not prime. Res64: FDD298F0911FDD99 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:19:46] 963*2^1450466-1 is not prime. Res64: 53601413A6A17065 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:19:47] 609*2^1450467-1 is not prime. Res64: 3FFC9E6724481668 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:19:47] 711*2^1450467-1 is not prime. Res64: F0D998C7986F3D98 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:23:59] 753*2^1450467-1 is not prime. Res64: 08C4BD3AFCE4BC0F Time : 0.0 sec. user=mdettweiler [2017-04-03 21:23:59] 895*2^1450467-1 is not prime. Res64: 79EB2605F3752E21 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:24:00] 945*2^1450467-1 is not prime. Res64: 25F8E97BC154DFAF Time : 0.0 sec. user=mdettweiler [2017-04-03 21:24:00] 963*2^1450467-1 is not prime. Res64: 02FA92C457D798C5 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:24:00] 647*2^1450468-1 is not prime. Res64: D1F34DE8B4DD75E5 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:58:34] 677*2^1450468-1 is not prime. Res64: 8B2FA6DDC5D30FA5 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:58:35] 695*2^1450468-1 is not prime. Res64: A0F729E83470F4E1 Time : 0.0 sec. user=mdettweiler [2017-04-03 21:58:35] 705*2^1450468-1 is not prime. Res64: 1BEE9EC43479B04D Time : 0.0 sec. user=mdettweiler [2017-04-03 21:58:35] 887*2^1450468-1 is not prime. Res64: 0779059F325B231C Time : 0.0 sec. user=mdettweiler [2017-04-03 21:58:35] 969*2^1450468-1 is not prime. Res64: CDB8127DABB16CAF Time : 0.0 sec. user=mdettweiler [2017-04-03 22:01:16] 989*2^1450468-1 is not prime. Res64: 7FAA936BD18CB3D4 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:01:17] 995*2^1450468-1 is not prime. Res64: 7C960FF2F2D1BB77 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:01:17] 675*2^1450469-1 is not prime. Res64: 3BC7EFD2155AB497 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:01:18] 801*2^1450469-1 is not prime. Res64: 8D2E7F0B36958C1F Time : 0.0 sec. user=mdettweiler [2017-04-03 22:01:18] 879*2^1450469-1 is not prime. Res64: 4DEB1EA32F29BA23 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:05:01] 949*2^1450469-1 is not prime. Res64: C41EBF0B02A88D05 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:05:02] 951*2^1450469-1 is not prime. Res64: B8F747E3C6998898 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:05:04] 635*2^1450470-1 is not prime. Res64: 86876285A61D3665 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:05:05] 647*2^1450470-1 is not prime. Res64: A8C55B85A8EE9CF6 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:05:06] 755*2^1450470-1 is not prime. Res64: 1E62EFF18F9F4A26 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:09:25] 795*2^1450470-1 is not prime. Res64: D42250A42C151259 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:09:25] 873*2^1450470-1 is not prime. Res64: AF0B27CA52CD4D6E Time : 0.0 sec. user=mdettweiler [2017-04-03 22:09:26] 663*2^1450471-1 is not prime. Res64: 2426077B0D4C6C37 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:09:26] 841*2^1450471-1 is not prime. Res64: 3C8B52B829879E4C Time : 0.0 sec. user=mdettweiler [2017-04-03 22:09:27] 889*2^1450471-1 is not prime. Res64: 1801C87BDD80ABB6 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:43:54] 939*2^1450471-1 is not prime. Res64: B73CDB7FA9839B90 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:43:54] 943*2^1450471-1 is not prime. Res64: CEE984A5D109B1B1 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:43:54] 623*2^1450472-1 is not prime. Res64: D59F866C22903AF4 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:43:54] 735*2^1450472-1 is not prime. Res64: 914D5A241FA92A3B Time : 0.0 sec. user=mdettweiler [2017-04-03 22:43:54] 797*2^1450472-1 is not prime. Res64: 4A2A56F5B3154F9B Time : 0.0 sec. user=mdettweiler [2017-04-03 22:46:37] 825*2^1450472-1 is not prime. Res64: 295DE56B51FC9984 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:46:37] 827*2^1450472-1 is not prime. Res64: 4D419A3F0B8A1CF8 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:46:37] 857*2^1450472-1 is not prime. Res64: 0BA8B623B9559DD8 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:46:37] 873*2^1450472-1 is not prime. Res64: 5632C3BDE107E6F4 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:46:37] 899*2^1450472-1 is not prime. Res64: 00FE96C820591415 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:50:22] 963*2^1450472-1 is not prime. Res64: 8FA0E061237EF402 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:50:22] 691*2^1450473-1 is not prime. Res64: 56DC1C54A5F15728 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:50:23] 745*2^1450473-1 is not prime. Res64: 0E2D962C7327A663 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:50:23] 837*2^1450473-1 is not prime. Res64: 3F78D9E99DAB719F Time : 0.0 sec. user=mdettweiler [2017-04-03 22:50:23] 885*2^1450473-1 is not prime. Res64: 738850EEFD55DE7B Time : 0.0 sec. user=mdettweiler [2017-04-03 22:54:33] 985*2^1450473-1 is not prime. Res64: E9AC8DD4F10552C0 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:54:34] 621*2^1450474-1 is not prime. Res64: 0FCCF95812B7F801 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:54:34] 677*2^1450474-1 is not prime. Res64: 90983DBBC7DC8909 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:54:34] 773*2^1450474-1 is not prime. Res64: F39B12383508FD86 Time : 0.0 sec. user=mdettweiler [2017-04-03 22:54:34] 881*2^1450474-1 is not prime. Res64: 12DA8E468D937BAD Time : 0.0 sec. user=mdettweiler [2017-04-03 23:29:05] 975*2^1450474-1 is not prime. Res64: 47D10CE0E433E1CB Time : 0.0 sec. user=mdettweiler [2017-04-03 23:29:05] 651*2^1450475-1 is not prime. Res64: E3679835B60BCAEA Time : 0.0 sec. user=mdettweiler [2017-04-03 23:29:05] 663*2^1450475-1 is not prime. Res64: 5C2B09C5C46C5886 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:29:06] 673*2^1450475-1 is not prime. Res64: A4F3885D68EA221B Time : 0.0 sec. user=mdettweiler [2017-04-03 23:29:06] 861*2^1450475-1 is not prime. Res64: A02D1223B5D0EC2F Time : 0.0 sec. user=mdettweiler [2017-04-03 23:31:53] 903*2^1450475-1 is not prime. Res64: 1120BA8466B2A557 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:31:53] 705*2^1450476-1 is not prime. Res64: E0D3927A9983E459 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:31:53] 839*2^1450476-1 is not prime. Res64: E689E0CF5549BF00 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:31:54] 867*2^1450476-1 is not prime. Res64: 48A569717D78568C Time : 0.0 sec. user=mdettweiler [2017-04-03 23:31:54] 893*2^1450476-1 is not prime. Res64: CC0893F0E461BF44 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:35:43] 909*2^1450476-1 is not prime. Res64: 18355D178B6B27AC Time : 0.0 sec. user=mdettweiler [2017-04-03 23:35:44] 927*2^1450476-1 is not prime. Res64: 5C26833A5CA8F010 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:35:44] 983*2^1450476-1 is not prime. Res64: 1F3FBFA4DBA82F23 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:35:44] 639*2^1450477-1 is not prime. Res64: 247836A57E4C6A1D Time : 0.0 sec. user=mdettweiler [2017-04-03 23:35:44] 661*2^1450477-1 is not prime. Res64: D80B13AD1ECB9D5C Time : 0.0 sec. user=mdettweiler [2017-04-03 23:39:58] 727*2^1450477-1 is not prime. Res64: 454F901FE5344C49 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:39:58] 741*2^1450477-1 is not prime. Res64: 4FD12B1380FE17AB Time : 0.0 sec. user=mdettweiler [2017-04-03 23:39:58] 825*2^1450477-1 is not prime. Res64: 5F9D8590634F6FAD Time : 0.0 sec. user=mdettweiler [2017-04-03 23:39:58] 835*2^1450477-1 is not prime. Res64: 549638717A9DA331 Time : 0.0 sec. user=mdettweiler [2017-04-03 23:39:59] 889*2^1450477-1 is not prime. Res64: 5DB1D7CACB890C16 Time : 0.0 sec.