user=mdettweiler [2015-01-05 00:11:54] 649*2^1388559-1 is not prime. Res64: 732CC0DDDAFABBB4 Time : 0.0 sec. user=mdettweiler [2015-01-05 00:11:56] 661*2^1388559-1 is not prime. Res64: 43CAA68939E04D0A Time : 0.0 sec. user=mdettweiler [2015-01-05 00:12:15] 875*2^1388558-1 is not prime. Res64: 1678AC1B54626E9E Time : 0.0 sec. user=mdettweiler [2015-01-05 00:12:17] 619*2^1388559-1 is not prime. Res64: 1EBF094B149EA7F2 Time : 0.0 sec. user=mdettweiler [2015-01-05 00:15:03] 741*2^1388559-1 is not prime. Res64: 1455F736BEE250C6 Time : 0.0 sec. user=mdettweiler [2015-01-05 00:15:03] 843*2^1388559-1 is not prime. Res64: 34EC0F85F38FCE1A Time : 0.0 sec. user=mdettweiler [2015-01-05 00:15:04] 769*2^1388559-1 is not prime. Res64: 72BDB2B32E7FC560 Time : 0.0 sec. user=mdettweiler [2015-01-05 00:40:01] 653*2^1388560-1 is not prime. Res64: 05A3BDA90813585D Time : 0.0 sec. user=mdettweiler [2015-01-05 00:40:01] 999*2^1388559-1 is not prime. Res64: 0296A5CE42FCD8FC Time : 0.0 sec. user=mdettweiler [2015-01-05 00:40:02] 677*2^1388560-1 is not prime. Res64: 8E5CF0BDED59F6BD Time : 0.0 sec. user=mdettweiler [2015-01-05 00:40:02] 713*2^1388560-1 is not prime. Res64: AD5A8671B990D93A Time : 0.0 sec. user=mdettweiler [2015-01-05 00:41:40] 803*2^1388560-1 is not prime. Res64: 9364576F7202EA90 Time : 0.0 sec. user=mdettweiler [2015-01-05 00:41:40] 819*2^1388560-1 is not prime. Res64: 4896CA4EC5E4D090 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:06:27] 855*2^1388560-1 is not prime. Res64: EE2FE222CB275A38 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:06:29] 909*2^1388560-1 is not prime. Res64: 45A510924F299B0D Time : 0.0 sec. user=mdettweiler [2015-01-05 01:06:33] 995*2^1388560-1 is not prime. Res64: E70A1398CF248AFF Time : 0.0 sec. user=mdettweiler [2015-01-05 01:06:37] 999*2^1388560-1 is not prime. Res64: 9D4E0219A746343C Time : 0.0 sec. user=mdettweiler [2015-01-05 01:08:09] 685*2^1388561-1 is not prime. Res64: 70E603A883339B70 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:08:11] 705*2^1388561-1 is not prime. Res64: 4BA2BC8F60EA2116 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:34:04] 715*2^1388561-1 is not prime. Res64: 0B926A041CE36E67 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:34:05] 727*2^1388561-1 is not prime. Res64: 21BA2236DB024093 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:34:10] 735*2^1388561-1 is not prime. Res64: 8289ED64B4923B98 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:34:11] 837*2^1388561-1 is not prime. Res64: E3E4A5995E386783 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:34:38] 957*2^1388561-1 is not prime. Res64: B7EB391D60D0EAA4 Time : 0.0 sec. user=mdettweiler [2015-01-05 01:34:39] 981*2^1388561-1 is not prime. Res64: B13E6F9EAB25E8B6 Time : 0.0 sec. user=mdettweiler [2015-01-05 02:00:42] 627*2^1388562-1 is not prime. Res64: 0C3E63E179F9AAE0 Time : 0.0 sec. user=mdettweiler [2015-01-05 02:00:54] 633*2^1388562-1 is not prime. Res64: 4FB8B80F0A51DB25 Time : 0.0 sec. user=mdettweiler [2015-01-05 02:01:16] 797*2^1388562-1 is not prime. Res64: 529E2471CE819AE5 Time : 0.0 sec. user=mdettweiler [2015-01-05 02:01:17] 737*2^1388562-1 is not prime. Res64: 38C32D0D3C19BC9F Time : 0.0 sec. user=mdettweiler [2015-01-05 02:01:18] 767*2^1388562-1 is not prime. Res64: C811F728ECE290FA Time : 0.0 sec. user=mdettweiler [2015-01-05 02:29:15] 703*2^1388563-1 is not prime. Res64: DEC3CBF895078570 Time : 0.0 sec. user=mdettweiler [2015-01-05 02:29:16] 859*2^1388563-1 is not prime. Res64: 9B05B7CB440E0090 Time : 0.0 sec. user=mdettweiler [2015-01-05 02:57:04] 873*2^1388559-1 is not prime. Res64: FE7EA7B15EF93AF0 Time : 0.0 sec. user=mdettweiler [2015-01-05 02:57:32] 885*2^1388563-1 is not prime. Res64: 69FC61D342E3BDAD Time : 0.0 sec. user=mdettweiler [2015-01-05 02:57:32] 901*2^1388563-1 is not prime. Res64: 8193489F701F1C93 Time : 0.0 sec. user=mdettweiler [2015-01-05 03:24:58] 945*2^1388563-1 is not prime. Res64: F3FFD9EE795C6BDC Time : 0.0 sec. user=mdettweiler [2015-01-05 03:24:59] 973*2^1388563-1 is not prime. Res64: FC6279E104BFBAF1 Time : 0.0 sec. user=mdettweiler [2015-01-05 03:26:15] 951*2^1388562-1 is not prime. Res64: 5AC1C3363BDE5F19 Time : 0.0 sec. user=mdettweiler [2015-01-05 03:26:34] 677*2^1388564-1 is not prime. Res64: 23293FB4F61D0B35 Time : 0.0 sec. user=mdettweiler [2015-01-05 03:26:35] 795*2^1388564-1 is not prime. Res64: 5C5978084C394236 Time : 0.0 sec. user=mdettweiler [2015-01-05 03:52:08] 813*2^1388564-1 is not prime. Res64: CED8AFE709E5D91E Time : 0.0 sec. user=mdettweiler [2015-01-05 03:52:18] 969*2^1388564-1 is not prime. Res64: 0A0B2C9D943F687C Time : 0.0 sec. user=mdettweiler [2015-01-05 03:52:19] 667*2^1388565-1 is not prime. Res64: 7DBDB7C3E6BB8354 Time : 0.0 sec. user=mdettweiler [2015-01-05 03:52:41] 691*2^1388565-1 is not prime. Res64: FA31AE00795AF9CC Time : 0.0 sec. user=mdettweiler [2015-01-05 03:52:41] 781*2^1388565-1 is not prime. Res64: A2060FE567ED16E0 Time : 0.0 sec. user=mdettweiler [2015-01-05 03:53:01] 849*2^1388565-1 is not prime. Res64: C0DBDCE16CC5FAFF Time : 0.0 sec. user=mdettweiler [2015-01-05 03:53:03] 867*2^1388565-1 is not prime. Res64: 69A92015D9BD1A97 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:18:40] 915*2^1388565-1 is not prime. Res64: 7B949AF69D6F3B64 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:18:41] 985*2^1388565-1 is not prime. Res64: 93CE13B247037287 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:19:06] 611*2^1388566-1 is not prime. Res64: 627A0C09A3BA3C35 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:19:07] 717*2^1388566-1 is not prime. Res64: 36E7F41DE0A8AE09 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:19:27] 741*2^1388566-1 is not prime. Res64: 1DFF7B63561BA39E Time : 0.0 sec. user=mdettweiler [2015-01-05 04:19:28] 917*2^1388566-1 is not prime. Res64: 072E6AD01DF4C2BD Time : 0.0 sec. user=juhehe [2015-01-05 04:22:00] 895*2^1388565-1 is not prime. Res64: C3109324B8EDE1E2 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:45:38] 643*2^1388567-1 is not prime. Res64: CB3C631691DB28F3 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:45:39] 651*2^1388567-1 is not prime. Res64: FB154F44CB6CF000 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:45:39] 669*2^1388567-1 is not prime. Res64: 1B919F5B9B3B23F7 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:45:39] 823*2^1388567-1 is not prime. Res64: 1657C53A2DA5F4F6 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:45:42] 909*2^1388567-1 is not prime. Res64: E0985D3B0A04E426 Time : 0.0 sec. user=mdettweiler [2015-01-05 04:45:43] 991*2^1388567-1 is not prime. Res64: 84A6C85BE461BD26 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:06:17] 885*2^1388564-1 is not prime. Res64: B8AE6963B4327C7E Time : 0.0 sec. user=mdettweiler [2015-01-05 05:11:47] 737*2^1388568-1 is not prime. Res64: 0B06CE18815EAD73 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:11:47] 789*2^1388568-1 is not prime. Res64: 0950F7F3C8577CDF Time : 0.0 sec. user=mdettweiler [2015-01-05 05:11:48] 627*2^1388568-1 is not prime. Res64: 0E62B5BAF5F8E848 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:11:48] 725*2^1388568-1 is not prime. Res64: 753B655283CF23D2 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:12:02] 945*2^1388568-1 is not prime. Res64: 550541C09A7C049D Time : 0.0 sec. user=mdettweiler [2015-01-05 05:12:03] 959*2^1388568-1 is not prime. Res64: A2C0B38CB31F90C4 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:32:10] 625*2^1388569-1 is not prime. Res64: 26E5608C049DB4F5 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:32:10] 641*2^1388570-1 is not prime. Res64: E2F9D466F4E978E5 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:37:39] 845*2^1388570-1 is not prime. Res64: 688195A50274763E Time : 0.0 sec. user=mdettweiler [2015-01-05 05:37:39] 851*2^1388570-1 is not prime. Res64: 2E118119A3C8B55C Time : 0.0 sec. user=mdettweiler [2015-01-05 05:37:42] 735*2^1388570-1 is not prime. Res64: B5522E5DE48B3F01 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:37:42] 785*2^1388570-1 is not prime. Res64: AB3C516A6A7B947D Time : 0.0 sec. user=mdettweiler [2015-01-05 05:38:00] 875*2^1388570-1 is not prime. Res64: FDAB2A11C0AE7CC2 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:38:00] 927*2^1388570-1 is not prime. Res64: 2E696A4972B84973 Time : 0.0 sec. user=mdettweiler [2015-01-05 05:58:11] 685*2^1388571-1 is not prime. Res64: 77B3076D12DF1B65 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:03:32] 783*2^1388571-1 is not prime. Res64: 76B8E57A7DBCEA8E Time : 0.0 sec. user=mdettweiler [2015-01-05 06:03:32] 735*2^1388571-1 is not prime. Res64: 97106694D13A84CD Time : 0.0 sec. user=mdettweiler [2015-01-05 06:03:34] 753*2^1388571-1 is not prime. Res64: E54A702AFDEB03B4 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:03:35] 945*2^1388571-1 is not prime. Res64: 9B24B3C2D0918E89 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:03:51] 955*2^1388571-1 is not prime. Res64: B57F9BA90D16EB37 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:03:53] 647*2^1388572-1 is not prime. Res64: 370CFF6AAFC22B67 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:30:37] 803*2^1388572-1 is not prime. Res64: D86EE35E5939D148 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:30:37] 827*2^1388572-1 is not prime. Res64: 5D0FB01F2DC7AFBB Time : 0.0 sec. user=mdettweiler [2015-01-05 06:30:40] 653*2^1388572-1 is not prime. Res64: D7BC3E590B353CC8 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:30:41] 675*2^1388572-1 is not prime. Res64: CB1A652D9F87C685 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:30:44] 975*2^1388572-1 is not prime. Res64: 017B3DD43E03A7C0 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:30:53] 649*2^1388573-1 is not prime. Res64: 85167A62B1BEC915 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:56:59] 657*2^1388573-1 is not prime. Res64: 3071D044101E3A1A Time : 0.0 sec. user=mdettweiler [2015-01-05 06:56:59] 915*2^1388573-1 is not prime. Res64: 16141D431ACEF0A1 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:56:59] 605*2^1388574-1 is not prime. Res64: F33DB1167296080A Time : 0.0 sec. user=mdettweiler [2015-01-05 06:57:03] 837*2^1388573-1 is not prime. Res64: FC4D527BA9EB6076 Time : 0.0 sec. user=mdettweiler [2015-01-05 06:57:04] 867*2^1388573-1 is not prime. Res64: AF5047F87398BBA0 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:03:01] 703*2^1388571-1 is not prime. Res64: DC9AD099AB6AAB6A Time : 0.0 sec. user=mdettweiler [2015-01-05 07:23:18] 807*2^1388574-1 is not prime. Res64: 1DEC443C6CA77168 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:23:19] 851*2^1388574-1 is not prime. Res64: 8079F248ABE28C63 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:23:31] 621*2^1388574-1 is not prime. Res64: 030DF7075C747758 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:23:31] 683*2^1388574-1 is not prime. Res64: 4F4BD42841BB6AD4 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:30:08] 861*2^1388574-1 is not prime. Res64: EA4073ED6EEE5B2C Time : 0.0 sec. user=mdettweiler [2015-01-05 07:49:56] 917*2^1388574-1 is not prime. Res64: B38CFA2B3ED92811 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:49:57] 947*2^1388574-1 is not prime. Res64: DC10E1B0636B3B97 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:50:12] 625*2^1388575-1 is not prime. Res64: BC038E0AD1810B91 Time : 0.0 sec. user=mdettweiler [2015-01-05 07:50:12] 705*2^1388575-1 is not prime. Res64: 84622EFD206D2E4A Time : 0.0 sec. user=mdettweiler [2015-01-05 08:16:39] 841*2^1388575-1 is not prime. Res64: 49128F3722F1292C Time : 0.0 sec. user=mdettweiler [2015-01-05 08:16:39] 883*2^1388575-1 is not prime. Res64: 032113731AC82793 Time : 0.0 sec. user=mdettweiler [2015-01-05 08:16:43] 961*2^1388575-1 is not prime. Res64: B0EDC7E7ADFBF8A2 Time : 0.0 sec. user=mdettweiler [2015-01-05 08:16:43] 659*2^1388576-1 is not prime. Res64: 5BF5EBC6CFE55549 Time : 0.0 sec. user=mdettweiler [2015-01-05 08:43:06] 683*2^1388576-1 is not prime. Res64: 4D5D9E706810A74F Time : 0.0 sec. user=mdettweiler [2015-01-05 08:43:07] 833*2^1388576-1 is not prime. Res64: 1E2786510E666EE8 Time : 0.0 sec. user=mdettweiler [2015-01-05 08:43:21] 875*2^1388576-1 is not prime. Res64: DEF57329437B5C7E Time : 0.0 sec. user=mdettweiler [2015-01-05 08:43:21] 923*2^1388576-1 is not prime. Res64: 7EE2720FBC52C8BE Time : 0.0 sec. user=mdettweiler [2015-01-05 08:49:45] 881*2^1388574-1 is not prime. Res64: C433D79F2FA85DBC Time : 0.0 sec. user=mdettweiler [2015-01-05 09:09:11] 983*2^1388576-1 is not prime. Res64: 390FB441D1F192AB Time : 0.0 sec. user=mdettweiler [2015-01-05 09:09:12] 999*2^1388576-1 is not prime. Res64: 3F71F2F103565638 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:09:32] 675*2^1388577-1 is not prime. Res64: 2A51BE4AF38EB684 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:09:33] 717*2^1388577-1 is not prime. Res64: 20C067499A123468 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:16:11] 765*2^1388577-1 is not prime. Res64: 8A7EC291FCCAF1C1 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:30:26] 811*2^1388573-1 is not prime. Res64: CCF9D75864E777D7 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:35:40] 865*2^1388577-1 is not prime. Res64: 441A8FD0EC07A7FF Time : 0.0 sec. user=mdettweiler [2015-01-05 09:35:40] 909*2^1388577-1 is not prime. Res64: E26A4878E2993583 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:36:13] 915*2^1388577-1 is not prime. Res64: 1471B7458454E806 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:57:13] 979*2^1388577-1 is not prime. Res64: F73A5FC1FEA1EB41 Time : 0.0 sec. user=mdettweiler [2015-01-05 09:57:13] 621*2^1388578-1 is not prime. Res64: 14A5F880469EDF03 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:02:18] 665*2^1388578-1 is not prime. Res64: 951941A6F9E5D7BC Time : 0.0 sec. user=mdettweiler [2015-01-05 10:02:19] 791*2^1388578-1 is not prime. Res64: 602BE0C907743EDA Time : 0.0 sec. user=mdettweiler [2015-01-05 10:24:21] 815*2^1388578-1 is not prime. Res64: 5B98B537E3E23D92 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:24:21] 915*2^1388578-1 is not prime. Res64: 56CA2EE7232A1237 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:29:22] 603*2^1388579-1 is not prime. Res64: 97BDECDE592E106E Time : 0.0 sec. user=mdettweiler [2015-01-05 10:29:23] 669*2^1388579-1 is not prime. Res64: D31CCF85A05A3902 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:31:38] 805*2^1388577-1 is not prime. Res64: DF8DC61000CD551C Time : 0.0 sec. user=mdettweiler [2015-01-05 10:31:52] 949*2^1388577-1 is not prime. Res64: 5DBB827D426D00E7 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:50:30] 735*2^1388579-1 is not prime. Res64: 24148D2D695D2B22 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:50:30] 909*2^1388579-1 is not prime. Res64: E4D8D83FBFAC8217 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:55:07] 979*2^1388579-1 is not prime. Res64: 259ED1BA04E900CC Time : 0.0 sec. user=mdettweiler [2015-01-05 10:55:08] 719*2^1388580-1 is not prime. Res64: 8D7B715595D0DE88 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:57:28] 779*2^1388580-1 is not prime. Res64: 9530A4FBADF4641B Time : 0.0 sec. user=mdettweiler [2015-01-05 10:57:29] 867*2^1388580-1 is not prime. Res64: DC874E418D1C6FFA Time : 0.0 sec. user=mdettweiler [2015-01-05 10:57:59] 915*2^1388580-1 is not prime. Res64: 5A3A63FF5EA47FC6 Time : 0.0 sec. user=mdettweiler [2015-01-05 10:57:59] 945*2^1388580-1 is not prime. Res64: 23B0FCE3882D4C23 Time : 0.0 sec. user=mdettweiler [2015-01-05 11:20:57] 819*2^1388581-1 is not prime. Res64: 98B0F9DA8968A7BB Time : 0.0 sec. user=mdettweiler [2015-01-05 11:20:57] 877*2^1388581-1 is not prime. Res64: 7BDF757BC44B0D75 Time : 0.0 sec. user=mdettweiler [2015-01-05 11:23:32] 997*2^1388581-1 is not prime. Res64: 1419F6DC64871B7F Time : 0.0 sec. user=mdettweiler [2015-01-05 11:23:50] 785*2^1388582-1 is not prime. Res64: 227A48326C3AC3DC Time : 0.0 sec. user=mdettweiler [2015-01-05 11:23:50] 963*2^1388582-1 is not prime. Res64: B619C7114D9A3E42 Time : 0.0 sec. user=juhehe [2015-01-05 11:25:36] 945*2^1388581-1 is not prime. Res64: 3D1DA4A199A09768 Time : 0.0 sec. user=mdettweiler [2015-01-05 11:47:41] 965*2^1388582-1 is not prime. Res64: EAF79ECF41854CE9 Time : 0.0 sec. user=mdettweiler [2015-01-05 11:47:41] 691*2^1388583-1 is not prime. Res64: 6A21DCA8A58379A4 Time : 0.0 sec. user=mdettweiler [2015-01-05 11:50:41] 765*2^1388583-1 is not prime. Res64: 0569BF5697677A77 Time : 0.0 sec. user=mdettweiler [2015-01-05 11:50:41] 789*2^1388583-1 is not prime. Res64: 4D03DCA5C7AB1796 Time : 0.0 sec. user=mdettweiler [2015-01-05 12:18:16] 747*2^1388584-1 is not prime. Res64: 360913B42FF6B7D8 Time : 0.0 sec. user=mdettweiler [2015-01-05 12:18:17] 903*2^1388584-1 is not prime. Res64: 4FF32CF6C0BC0F80 Time : 0.0 sec. user=mdettweiler [2015-01-05 12:38:38] 965*2^1388580-1 is not prime. Res64: D3E002752C840D08 Time : 0.0 sec. user=mdettweiler [2015-01-05 12:38:39] 715*2^1388581-1 is not prime. Res64: 76B30D25D9672F63 Time : 0.0 sec. user=mdettweiler [2015-01-05 12:48:27] 969*2^1388584-1 is not prime. Res64: 1816820E66746188 Time : 0.0 sec. user=mdettweiler [2015-01-05 12:48:27] 983*2^1388584-1 is not prime. Res64: 06FD61C832AF8C79 Time : 0.0 sec. user=mdettweiler [2015-01-05 12:50:18] 747*2^1388582-1 is not prime. Res64: 6E734DDABD6789DF Time : 0.0 sec. user=mdettweiler [2015-01-05 13:05:57] 619*2^1388585-1 is not prime. Res64: 5F91F2605217FB8F Time : 0.0 sec. user=mdettweiler [2015-01-05 13:06:01] 675*2^1388585-1 is not prime. Res64: 4CA311DB3ABC9D5B Time : 0.0 sec. user=mdettweiler [2015-01-05 13:15:27] 711*2^1388585-1 is not prime. Res64: 0FC837408BF4D5FD Time : 0.0 sec. user=mdettweiler [2015-01-05 13:15:28] 715*2^1388585-1 is not prime. Res64: 23A005D664C7E9A1 Time : 0.0 sec. user=mdettweiler [2015-01-05 13:17:42] 847*2^1388585-1 is not prime. Res64: EC5DC840FA7CA9D3 Time : 0.0 sec. user=mdettweiler [2015-01-05 13:17:42] 855*2^1388585-1 is not prime. Res64: 39777530737E2FE3 Time : 0.0 sec. user=mdettweiler [2015-01-05 13:43:18] 861*2^1388585-1 is not prime. Res64: 1AD989DC8AE73E19 Time : 0.0 sec. user=mdettweiler [2015-01-05 13:43:19] 949*2^1388585-1 is not prime. Res64: 08562B56AD8287D1 Time : 0.0 sec. user=mdettweiler [2015-01-05 13:47:20] 629*2^1388584-1 is not prime. Res64: 195580C348C52C5A Time : 0.0 sec. user=mdettweiler [2015-01-05 13:47:20] 675*2^1388584-1 is not prime. Res64: D63CC8CE1C74651E Time : 0.0 sec. user=mdettweiler [2015-01-05 13:52:41] 707*2^1388586-1 is not prime. Res64: 80756230967886CF Time : 0.0 sec. user=mdettweiler [2015-01-05 13:52:41] 717*2^1388586-1 is not prime. Res64: 5FB4B9A653742A87 Time : 0.0 sec. user=mdettweiler [2015-01-05 13:55:46] 921*2^1388586-1 is not prime. Res64: 42DC8A6B58D82F3B Time : 0.0 sec. user=mdettweiler [2015-01-05 14:10:32] 993*2^1388586-1 is not prime. Res64: A4B3F211738BA109 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:10:33] 619*2^1388587-1 is not prime. Res64: 4946D54ACED4FE4D Time : 0.0 sec. user=mdettweiler [2015-01-05 14:13:55] 625*2^1388587-1 is not prime. Res64: 01089BBE4BAC6BE3 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:13:56] 645*2^1388587-1 is not prime. Res64: 5A038831CCD53A2A Time : 0.0 sec. user=mdettweiler [2015-01-05 14:18:48] 685*2^1388587-1 is not prime. Res64: 354D39954FD18CA1 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:18:49] 769*2^1388587-1 is not prime. Res64: 3CFE952DBEF6CDA5 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:36:51] 895*2^1388587-1 is not prime. Res64: D57A500CCB4A6A42 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:36:52] 961*2^1388587-1 is not prime. Res64: 6679B69357ADCA49 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:39:59] 985*2^1388587-1 is not prime. Res64: 4DFFD45FE3F95A3F Time : 0.0 sec. user=mdettweiler [2015-01-05 14:40:00] 669*2^1388588-1 is not prime. Res64: 6C566FE62B4C2496 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:45:09] 729*2^1388588-1 is not prime. Res64: B0E45C7ECE7ACFC4 Time : 0.0 sec. user=mdettweiler [2015-01-05 14:45:10] 797*2^1388588-1 is not prime. Res64: 416DDC6FDC80818B Time : 0.0 sec. user=mdettweiler [2015-01-05 15:06:27] 929*2^1388588-1 is not prime. Res64: 27BA1F820E421E23 Time : 0.0 sec. user=mdettweiler [2015-01-05 15:06:28] 945*2^1388588-1 is not prime. Res64: 1ECAFC11C99DE734 Time : 0.0 sec. user=mdettweiler [2015-01-05 15:14:51] 923*2^1388586-1 is not prime. Res64: 0A676CFFE4761742 Time : 0.0 sec. user=mdettweiler [2015-01-05 15:16:36] 627*2^1388589-1 is not prime. Res64: F816D4490F1D83ED Time : 0.0 sec. user=mdettweiler [2015-01-05 15:16:36] 691*2^1388589-1 is not prime. Res64: 9B7BECA0595AF6F3 Time : 0.0 sec. user=mdettweiler [2015-01-05 15:37:08] 721*2^1388589-1 is not prime. Res64: 4D53DE3EE6B8946B Time : 0.0 sec. user=mdettweiler [2015-01-05 15:37:08] 759*2^1388589-1 is not prime. Res64: 130EFEA405E2860E Time : 0.0 sec. user=mdettweiler [2015-01-05 15:46:46] 769*2^1388589-1 is not prime. Res64: 46115219106AF62F Time : 0.0 sec. user=mdettweiler [2015-01-05 15:46:46] 835*2^1388589-1 is not prime. Res64: CB520C56B86BA421 Time : 0.0 sec. user=mdettweiler [2015-01-05 16:07:20] 889*2^1388589-1 is not prime. Res64: 37C69C45818CC855 Time : 0.0 sec. user=mdettweiler [2015-01-05 16:20:01] 985*2^1388589-1 is not prime. Res64: FA88477D1DE0B58D Time : 0.0 sec. user=mdettweiler [2015-01-05 16:53:53] 977*2^1388588-1 is not prime. Res64: F3A0754CD34D74F9 Time : 0.0 sec. user=mdettweiler [2015-01-05 16:53:53] 999*2^1388588-1 is not prime. Res64: 58ABC2B7C21EBD5F Time : 0.0 sec. user=mdettweiler [2015-01-05 17:21:46] 657*2^1388590-1 is not prime. Res64: 99A7970ECC80F99C Time : 0.0 sec. user=mdettweiler [2015-01-05 17:21:47] 755*2^1388590-1 is not prime. Res64: E19D32094D425E48 Time : 0.0 sec. user=mdettweiler [2015-01-05 17:25:31] 887*2^1388590-1 is not prime. Res64: 26F69F5FA598B20D Time : 0.0 sec. user=mdettweiler [2015-01-05 17:25:32] 951*2^1388590-1 is not prime. Res64: 0C7F5290C274D230 Time : 0.0 sec. user=mdettweiler [2015-01-05 17:47:19] 919*2^1388589-1 is not prime. Res64: 1CF6875E0AD72D6A Time : 0.0 sec. user=mdettweiler [2015-01-05 17:50:00] 981*2^1388590-1 is not prime. Res64: 5CDA3DB8ECF233D6 Time : 0.0 sec. user=mdettweiler [2015-01-05 17:50:01] 813*2^1388591-1 is not prime. Res64: E534F898B0041484 Time : 0.0 sec. user=mdettweiler [2015-01-05 17:52:50] 653*2^1388590-1 is not prime. Res64: 0093E5568789EB04 Time : 0.0 sec. user=mdettweiler [2015-01-05 17:53:46] 969*2^1388591-1 is not prime. Res64: 528B25A9BD297867 Time : 0.0 sec. user=mdettweiler [2015-01-05 17:53:46] 605*2^1388592-1 is not prime. Res64: 7B726CCE56D9A51C Time : 0.0 sec. user=mdettweiler [2015-01-05 18:13:41] 615*2^1388592-1 is not prime. Res64: FF74E37DB369A85D Time : 0.0 sec. user=mdettweiler [2015-01-05 18:13:42] 669*2^1388592-1 is not prime. Res64: B0D03B351A365237 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:16:24] 693*2^1388592-1 is not prime. Res64: AE64E3BD75CD3DA3 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:16:24] 713*2^1388592-1 is not prime. Res64: 409D4D47AAD1ECCE Time : 0.0 sec. user=mdettweiler [2015-01-05 18:19:13] 747*2^1388592-1 is not prime. Res64: 033D88EFA8C17AEA Time : 0.0 sec. user=mdettweiler [2015-01-05 18:19:13] 767*2^1388592-1 is not prime. Res64: E71FB44782477099 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:19:52] 809*2^1388592-1 is not prime. Res64: 95AAD79FB13AE8F2 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:19:53] 825*2^1388592-1 is not prime. Res64: D2433E909119E971 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:40:28] 639*2^1388593-1 is not prime. Res64: 986EBC35620CCB7A Time : 0.0 sec. user=mdettweiler [2015-01-05 18:42:29] 819*2^1388593-1 is not prime. Res64: 514A05CCEBD75251 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:42:30] 829*2^1388593-1 is not prime. Res64: 3518AB5E1B8AFE72 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:45:01] 895*2^1388593-1 is not prime. Res64: FF2B3ACC550CD1A5 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:45:01] 617*2^1388594-1 is not prime. Res64: 217F8587E110A579 Time : 0.0 sec. user=mdettweiler [2015-01-05 18:45:43] 791*2^1388594-1 is not prime. Res64: A078C02060BBC0AD Time : 0.0 sec. user=mdettweiler [2015-01-05 18:45:43] 797*2^1388594-1 is not prime. Res64: BF90E73684449D82 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:10:38] 825*2^1388594-1 is not prime. Res64: 9E1B233E5AE86716 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:10:39] 833*2^1388594-1 is not prime. Res64: 40A23FBBAACCC044 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:13:54] 923*2^1388594-1 is not prime. Res64: A529B893506CA378 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:13:55] 957*2^1388594-1 is not prime. Res64: CE3470FB7F158AE7 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:14:56] 971*2^1388594-1 is not prime. Res64: 2C889B989A4FB087 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:41:56] 675*2^1388595-1 is not prime. Res64: 9D91BF4E491EAA05 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:41:56] 709*2^1388595-1 is not prime. Res64: 6800537A81131643 Time : 0.0 sec. user=mdettweiler [2015-01-05 19:44:03] 741*2^1388595-1 is not prime. Res64: 96B1594A3D23343C Time : 0.0 sec. user=mdettweiler [2015-01-05 19:44:03] 819*2^1388595-1 is not prime. Res64: 76AF8506A9C541ED Time : 0.0 sec. user=mdettweiler [2015-01-05 20:10:41] 871*2^1388595-1 is not prime. Res64: 03955D70B6114F6F Time : 0.0 sec. user=mdettweiler [2015-01-05 20:13:06] 999*2^1388595-1 is not prime. Res64: A9F4347CE8C8D444 Time : 0.0 sec. user=mdettweiler [2015-01-05 20:53:14] 651*2^1388595-1 is not prime. Res64: 0F68D7F8CB34A65A Time : 0.0 sec. user=mdettweiler [2015-01-05 21:25:51] 717*2^1388596-1 is not prime. Res64: FA78EA3BF008BDA1 Time : 0.0 sec. user=mdettweiler [2015-01-05 21:25:52] 803*2^1388596-1 is not prime. Res64: 853E61634CD197C9 Time : 0.0 sec. user=mdettweiler [2015-01-05 22:09:11] 769*2^1388593-1 is not prime. Res64: 4F41B50BC542C215 Time : 0.0 sec. user=mdettweiler [2015-01-05 22:33:57] 903*2^1388595-1 is not prime. Res64: 2C49F3626AB57C67 Time : 0.0 sec. user=mdettweiler [2015-01-05 22:34:38] 695*2^1388596-1 is not prime. Res64: 68FA9D5B024701E8 Time : 0.0 sec. user=mdettweiler [2015-01-05 23:00:57] 735*2^1388597-1 is not prime. Res64: 1E28A7AF114C8B3E Time : 0.0 sec. user=mdettweiler [2015-01-05 23:00:58] 825*2^1388597-1 is not prime. Res64: 3AABBA031DB7F03F Time : 0.0 sec. user=mdettweiler [2015-01-05 23:01:40] 937*2^1388597-1 is not prime. Res64: 174A4432DC429201 Time : 0.0 sec. user=mdettweiler [2015-01-05 23:01:41] 993*2^1388598-1 is not prime. Res64: 77161DB59C0286F2 Time : 0.0 sec. user=mdettweiler [2015-01-05 23:28:26] 621*2^1388599-1 is not prime. Res64: 5442DB004762B113 Time : 0.0 sec. user=mdettweiler [2015-01-05 23:29:12] 675*2^1388599-1 is not prime. Res64: 6A2ED28B35C96A3A Time : 0.0 sec. user=mdettweiler [2015-01-05 23:29:13] 793*2^1388599-1 is not prime. Res64: B520C34F6D1007A3 Time : 0.0 sec. user=mdettweiler [2015-01-05 23:39:37] 825*2^1388596-1 is not prime. Res64: 7AE2A34872995405 Time : 0.0 sec. user=mdettweiler [2015-01-05 23:56:54] 913*2^1388599-1 is not prime. Res64: 9C8F4223833CC936 Time : 0.0 sec. user=mdettweiler [2015-01-05 23:56:54] 979*2^1388599-1 is not prime. Res64: F80BE5E054F1C6D5 Time : 0.0 sec.