user=mdettweiler [2016-03-13 00:01:32] 755*2^1422870-1 is not prime. Res64: BD25B604CBD5D44B Time : 0.0 sec. user=mdettweiler [2016-03-13 00:01:33] 873*2^1422870-1 is not prime. Res64: 184C6C9F6488CE5F Time : 0.0 sec. user=mdettweiler [2016-03-13 00:02:06] 977*2^1422870-1 is not prime. Res64: 5B38D0B1E698A573 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:02:06] 673*2^1422871-1 is not prime. Res64: 7123C5D190A9EABC Time : 0.0 sec. user=mdettweiler [2016-03-13 00:02:21] 675*2^1422871-1 is not prime. Res64: 1253E4772EAFA2D7 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:02:22] 679*2^1422871-1 is not prime. Res64: 5B659657E560A9EF Time : 0.0 sec. user=mdettweiler [2016-03-13 00:11:57] 703*2^1422871-1 is not prime. Res64: AE5AF9E8768D4D7B Time : 0.0 sec. user=mdettweiler [2016-03-13 00:11:57] 759*2^1422871-1 is not prime. Res64: 7F93A0A4CD290B01 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:19:38] 855*2^1422871-1 is not prime. Res64: 3AD816A028EAC22E Time : 0.0 sec. user=mdettweiler [2016-03-13 00:19:39] 969*2^1422871-1 is not prime. Res64: B94F053BFB03FE35 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:20:05] 973*2^1422871-1 is not prime. Res64: 3C08891BEFD9FEB7 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:20:05] 999*2^1422871-1 is not prime. Res64: A385B0DF171D8CA3 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:20:22] 687*2^1422872-1 is not prime. Res64: 8B7B1F026A4C8708 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:20:22] 725*2^1422872-1 is not prime. Res64: 050F3AEC469451E7 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:29:52] 923*2^1422872-1 is not prime. Res64: AEFA6FC9672EEC44 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:29:52] 999*2^1422872-1 is not prime. Res64: 697C72BB4BF4C106 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:37:37] 637*2^1422873-1 is not prime. Res64: B04E6843E074BEC8 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:37:37] 669*2^1422873-1 is not prime. Res64: A5D377251EF9AC98 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:37:55] 681*2^1422873-1 is not prime. Res64: EBFA7A9C1E8BC72E Time : 0.0 sec. user=mdettweiler [2016-03-13 00:37:55] 699*2^1422873-1 is not prime. Res64: E8B709F2C9C45AC0 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:38:11] 751*2^1422873-1 is not prime. Res64: AA9DF5386C1C2634 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:38:11] 811*2^1422873-1 is not prime. Res64: FEA222E139DACFB0 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:47:54] 837*2^1422873-1 is not prime. Res64: B45F65D83E8E9604 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:47:54] 861*2^1422873-1 is not prime. Res64: BD2DD9D373937FFC Time : 0.0 sec. user=mdettweiler [2016-03-13 00:55:46] 985*2^1422873-1 is not prime. Res64: 0016A0617A12F148 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:55:46] 605*2^1422874-1 is not prime. Res64: E0B7BB407DF2B08A Time : 0.0 sec. user=mdettweiler [2016-03-13 00:55:52] 611*2^1422874-1 is not prime. Res64: 77499D1DDC7E7D17 Time : 0.0 sec. user=mdettweiler [2016-03-13 00:55:52] 651*2^1422874-1 is not prime. Res64: B6FFA362C332D18E Time : 0.0 sec. user=mdettweiler [2016-03-13 00:56:04] 657*2^1422874-1 is not prime. Res64: BFFA2DAE352B2E3C Time : 0.0 sec. user=mdettweiler [2016-03-13 00:56:05] 783*2^1422874-1 is not prime. Res64: 8A11313802538F21 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:06:02] 941*2^1422874-1 is not prime. Res64: 130654CE86049CF4 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:06:04] 1001*2^1422874-1 is not prime. Res64: B11E5B5815089357 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:13:46] 619*2^1422875-1 is not prime. Res64: 18F7DD6739DF26C4 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:13:46] 663*2^1422875-1 is not prime. Res64: 03AA30D9989BCE5E Time : 0.0 sec. user=mdettweiler [2016-03-13 01:13:56] 673*2^1422875-1 is not prime. Res64: 05387EDCA1288922 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:13:57] 741*2^1422875-1 is not prime. Res64: 8057D5B79C6949C2 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:14:05] 841*2^1422875-1 is not prime. Res64: 72FC1D4550634233 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:14:05] 885*2^1422875-1 is not prime. Res64: F6DCEB1C7535C71D Time : 0.0 sec. user=mdettweiler [2016-03-13 01:24:32] 759*2^1422876-1 is not prime. Res64: 016A907ED45A4DFD Time : 0.0 sec. user=mdettweiler [2016-03-13 01:24:33] 765*2^1422876-1 is not prime. Res64: 5DEE51EA62A01F9C Time : 0.0 sec. user=mdettweiler [2016-03-13 01:31:47] 789*2^1422876-1 is not prime. Res64: 09FAC8B8A95BA382 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:31:48] 803*2^1422876-1 is not prime. Res64: 68B314DE580FEF8E Time : 0.0 sec. user=mdettweiler [2016-03-13 01:31:52] 903*2^1422876-1 is not prime. Res64: FAF70DD51AB0DD0D Time : 0.0 sec. user=mdettweiler [2016-03-13 01:31:52] 923*2^1422876-1 is not prime. Res64: 78D770DE3F0E1401 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:32:11] 975*2^1422876-1 is not prime. Res64: 134A92CDB5AA7047 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:32:12] 999*2^1422876-1 is not prime. Res64: ECC047C5427FC085 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:42:35] 691*2^1422877-1 is not prime. Res64: D4BA28A1579B6A72 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:42:37] 717*2^1422877-1 is not prime. Res64: 8A8B0EB05AF490CF Time : 0.0 sec. user=mdettweiler [2016-03-13 01:50:38] 741*2^1422877-1 is not prime. Res64: C1B7B67272733C66 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:50:39] 817*2^1422877-1 is not prime. Res64: 1CFF7CF899A2E2A6 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:50:58] 945*2^1422877-1 is not prime. Res64: 0F570E0A21991F5D Time : 0.0 sec. user=mdettweiler [2016-03-13 01:50:59] 975*2^1422877-1 is not prime. Res64: 65A245A54BA78CF7 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:51:28] 859*2^1422877-1 is not prime. Res64: B0410EB17A2B5D73 Time : 0.0 sec. user=mdettweiler [2016-03-13 01:51:29] 927*2^1422877-1 is not prime. Res64: 4E234FFD450E57FA Time : 0.0 sec. user=mdettweiler [2016-03-13 03:01:39] 999*2^1422877-1 is not prime. Res64: E179C2FB5178268A Time : 0.0 sec. user=mdettweiler [2016-03-13 03:01:41] 657*2^1422878-1 is not prime. Res64: E8E6ABD122279230 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:08:43] 743*2^1422878-1 is not prime. Res64: 5B6D8EB8DA841393 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:08:44] 845*2^1422878-1 is not prime. Res64: ABA7244C394834DB Time : 0.0 sec. user=mdettweiler [2016-03-13 03:08:58] 893*2^1422878-1 is not prime. Res64: 5734792AC4B38BB9 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:08:59] 897*2^1422878-1 is not prime. Res64: 498E11D6B9B5AFC5 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:09:33] 915*2^1422878-1 is not prime. Res64: 61C167561AB33CFE Time : 0.0 sec. user=mdettweiler [2016-03-13 03:09:34] 951*2^1422878-1 is not prime. Res64: C1D2B77D16877A7F Time : 0.0 sec. user=mdettweiler [2016-03-13 03:19:48] 691*2^1422879-1 is not prime. Res64: 21B1CF97839E8C9E Time : 0.0 sec. user=mdettweiler [2016-03-13 03:19:49] 829*2^1422879-1 is not prime. Res64: 3227B78F51639960 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:20:59] 637*2^1422881-1 is not prime. Res64: D397BE0B039459B1 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:26:53] 859*2^1422879-1 is not prime. Res64: 64B59EB0B41E5E5C Time : 0.0 sec. user=mdettweiler [2016-03-13 03:26:55] 865*2^1422879-1 is not prime. Res64: 4D5E289A35B8061D Time : 0.0 sec. user=mdettweiler [2016-03-13 03:27:07] 909*2^1422879-1 is not prime. Res64: AF91DA61B0CA3CA7 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:27:09] 949*2^1422879-1 is not prime. Res64: 1AC1E9DBF884E156 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:27:49] 899*2^1422880-1 is not prime. Res64: 12713B610BA07FC9 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:27:52] 607*2^1422881-1 is not prime. Res64: 554810470AD9D937 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:38:02] 645*2^1422881-1 is not prime. Res64: FFDAD9776A69D7B2 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:38:03] 685*2^1422881-1 is not prime. Res64: 8589DA0A4355AD72 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:45:01] 737*2^1422882-1 is not prime. Res64: 26F1D4E4E98B5888 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:45:04] 867*2^1422882-1 is not prime. Res64: 0732E03F40E26829 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:45:21] 633*2^1422883-1 is not prime. Res64: CBC8FA629E9C84D7 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:45:22] 693*2^1422883-1 is not prime. Res64: 0AD4221763FB626E Time : 0.0 sec. user=mdettweiler [2016-03-13 03:45:50] 735*2^1422883-1 is not prime. Res64: F99D59A5D64E15EC Time : 0.0 sec. user=mdettweiler [2016-03-13 03:45:51] 801*2^1422883-1 is not prime. Res64: 81021E890C4FD294 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:56:10] 813*2^1422883-1 is not prime. Res64: 198B9B2618272844 Time : 0.0 sec. user=mdettweiler [2016-03-13 03:56:11] 855*2^1422883-1 is not prime. Res64: 750ECCF7914F65C1 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:01:38] 819*2^1422885-1 is not prime. Res64: 4450BC38B2CD220C Time : 0.0 sec. user=mdettweiler [2016-03-13 04:03:24] 609*2^1422884-1 is not prime. Res64: 2730941276FBF4DB Time : 0.0 sec. user=mdettweiler [2016-03-13 04:03:25] 687*2^1422884-1 is not prime. Res64: 8F9125E5B509AFD3 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:03:35] 927*2^1422885-1 is not prime. Res64: 4CCD2C7C6F7F9F1F Time : 0.0 sec. user=mdettweiler [2016-03-13 04:03:54] 773*2^1422884-1 is not prime. Res64: 75C4FBC249BF5F67 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:03:56] 813*2^1422884-1 is not prime. Res64: 83C7424CBE04797E Time : 0.0 sec. user=mdettweiler [2016-03-13 04:04:07] 625*2^1422885-1 is not prime. Res64: D160D593B1A5C6FA Time : 0.0 sec. user=mdettweiler [2016-03-13 04:04:09] 717*2^1422885-1 is not prime. Res64: 846332F9352FC6B1 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:14:55] 975*2^1422885-1 is not prime. Res64: B3555060F90FC7E6 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:14:56] 635*2^1422886-1 is not prime. Res64: 7CE21109D3F8816D Time : 0.0 sec. user=mdettweiler [2016-03-13 04:22:14] 645*2^1422886-1 is not prime. Res64: 9281D4C9480707D0 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:22:15] 741*2^1422886-1 is not prime. Res64: CF406F2D104E7C99 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:22:31] 821*2^1422886-1 is not prime. Res64: A949C03A47EF3683 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:22:34] 867*2^1422886-1 is not prime. Res64: 1E9E2F5F759A1E8A Time : 0.0 sec. user=mdettweiler [2016-03-13 04:23:12] 603*2^1422887-1 is not prime. Res64: B0681F066ADDAA90 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:23:12] 633*2^1422887-1 is not prime. Res64: CA12E9A52AE13600 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:33:17] 759*2^1422887-1 is not prime. Res64: C6FFE26D48AC72F8 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:33:19] 799*2^1422887-1 is not prime. Res64: FD69C810F35A39FE Time : 0.0 sec. user=mdettweiler [2016-03-13 04:40:28] 813*2^1422887-1 is not prime. Res64: 8B730E2EF9E6DE4E Time : 0.0 sec. user=mdettweiler [2016-03-13 04:40:29] 823*2^1422887-1 is not prime. Res64: 8FDDCD52A30723EA Time : 0.0 sec. user=mdettweiler [2016-03-13 04:40:43] 885*2^1422887-1 is not prime. Res64: 3CCC63F0A651C792 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:40:44] 981*2^1422887-1 is not prime. Res64: B329626370CCA8FA Time : 0.0 sec. user=mdettweiler [2016-03-13 04:41:29] 615*2^1422888-1 is not prime. Res64: 36332FDD1BB100BB Time : 0.0 sec. user=mdettweiler [2016-03-13 04:41:31] 699*2^1422888-1 is not prime. Res64: 51A9240F63964BE0 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:50:06] 951*2^1422889-1 is not prime. Res64: 3D2715C983261F66 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:50:14] 623*2^1422890-1 is not prime. Res64: 5F532D047209E57E Time : 0.0 sec. user=mdettweiler [2016-03-13 04:51:30] 825*2^1422888-1 is not prime. Res64: 43181E356F0C769E Time : 0.0 sec. user=mdettweiler [2016-03-13 04:51:31] 843*2^1422888-1 is not prime. Res64: 73A3C13A5A3527C5 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:58:44] 929*2^1422888-1 is not prime. Res64: 17CE603E946513FD Time : 0.0 sec. user=mdettweiler [2016-03-13 04:58:44] 667*2^1422889-1 is not prime. Res64: CD770B0BD090F156 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:58:51] 687*2^1422889-1 is not prime. Res64: F979CF1B3DB38BB1 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:58:52] 729*2^1422889-1 is not prime. Res64: 75A82748925E9735 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:59:36] 885*2^1422889-1 is not prime. Res64: D3053F2C4EE65223 Time : 0.0 sec. user=mdettweiler [2016-03-13 04:59:38] 919*2^1422889-1 is not prime. Res64: 29F0E20518790790 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:09:39] 827*2^1422890-1 is not prime. Res64: 67422E8D7B0A18B5 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:09:40] 857*2^1422890-1 is not prime. Res64: 29406EFCC9C0E59B Time : 0.0 sec. user=mdettweiler [2016-03-13 05:16:51] 885*2^1422890-1 is not prime. Res64: 1508E599F97F2D6B Time : 0.0 sec. user=mdettweiler [2016-03-13 05:16:52] 1001*2^1422890-1 is not prime. Res64: 5A37FBF247CCAFBA Time : 0.0 sec. user=mdettweiler [2016-03-13 05:17:03] 651*2^1422891-1 is not prime. Res64: 36291F142511BDF3 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:17:04] 741*2^1422891-1 is not prime. Res64: D304D7095016FFFC Time : 0.0 sec. user=mdettweiler [2016-03-13 05:17:44] 751*2^1422891-1 is not prime. Res64: 66003A4508D2BC2B Time : 0.0 sec. user=mdettweiler [2016-03-13 05:17:45] 775*2^1422891-1 is not prime. Res64: A704E30F381CF15E Time : 0.0 sec. user=mdettweiler [2016-03-13 05:27:41] 795*2^1422891-1 is not prime. Res64: 79B9A77C6B99D755 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:27:41] 901*2^1422891-1 is not prime. Res64: 9FC66B76ABBD0343 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:34:58] 705*2^1422892-1 is not prime. Res64: 32554FEACE73536A Time : 0.0 sec. user=mdettweiler [2016-03-13 05:34:59] 843*2^1422892-1 is not prime. Res64: 8650E5DD8A055E54 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:35:10] 721*2^1422893-1 is not prime. Res64: 7CE1C574F4567792 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:35:10] 789*2^1422893-1 is not prime. Res64: 59DA8DD58859DA57 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:35:52] 937*2^1422893-1 is not prime. Res64: 45C22CCA9D741199 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:35:53] 949*2^1422893-1 is not prime. Res64: F58967121E09B177 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:43:22] 765*2^1422894-1 is not prime. Res64: 96B639D43310EA2D Time : 0.0 sec. user=mdettweiler [2016-03-13 05:45:51] 957*2^1422893-1 is not prime. Res64: 776A46572496BEA3 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:45:52] 969*2^1422893-1 is not prime. Res64: 2722F5CA44CE3D9A Time : 0.0 sec. user=mdettweiler [2016-03-13 05:53:14] 985*2^1422893-1 is not prime. Res64: 58B0F591F4971EDA Time : 0.0 sec. user=mdettweiler [2016-03-13 05:53:15] 741*2^1422894-1 is not prime. Res64: FA0F4A076AFB0523 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:53:17] 861*2^1422894-1 is not prime. Res64: 9D3984CA2C590E4E Time : 0.0 sec. user=mdettweiler [2016-03-13 05:53:17] 723*2^1422895-1 is not prime. Res64: 5B764E6FF2FD85D5 Time : 0.0 sec. user=mdettweiler [2016-03-13 05:54:08] 763*2^1422895-1 is not prime. Res64: BA28A073F59BC95F Time : 0.0 sec. user=mdettweiler [2016-03-13 05:54:09] 829*2^1422895-1 is not prime. Res64: 4F1022B3A854D34F Time : 0.0 sec. user=mdettweiler [2016-03-13 06:03:59] 853*2^1422895-1 is not prime. Res64: B964B64BEB2C034A Time : 0.0 sec. user=mdettweiler [2016-03-13 06:04:01] 609*2^1422896-1 is not prime. Res64: C568D62522A2E19D Time : 0.0 sec. user=mdettweiler [2016-03-13 06:11:29] 803*2^1422896-1 is not prime. Res64: ED1648CD38921543 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:11:30] 725*2^1422896-1 is not prime. Res64: ADBD49991CBECEA8 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:11:31] 825*2^1422896-1 is not prime. Res64: 13D6A82F70596E31 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:11:32] 789*2^1422896-1 is not prime. Res64: 8E90A39FB7AEC09D Time : 0.0 sec. user=mdettweiler [2016-03-13 06:12:22] 873*2^1422896-1 is not prime. Res64: 5F25D2B233260E8B Time : 0.0 sec. user=mdettweiler [2016-03-13 06:12:23] 879*2^1422896-1 is not prime. Res64: 0F67DFE7472F703F Time : 0.0 sec. user=mdettweiler [2016-03-13 06:22:23] 607*2^1422897-1 is not prime. Res64: 1A1320C6C2FDFA42 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:22:24] 625*2^1422897-1 is not prime. Res64: CBA65506D00075D4 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:29:33] 667*2^1422897-1 is not prime. Res64: 54302A8A7A3428E4 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:29:34] 759*2^1422897-1 is not prime. Res64: 4D8849CF5EABF486 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:29:46] 835*2^1422897-1 is not prime. Res64: 94789D8487B75845 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:29:47] 895*2^1422897-1 is not prime. Res64: BB18773F8C7EEDD1 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:30:29] 997*2^1422897-1 is not prime. Res64: E27B388125984428 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:30:30] 867*2^1422898-1 is not prime. Res64: 9D287DD74A9871B6 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:35:56] 621*2^1422899-1 is not prime. Res64: EA2C6CE057F17276 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:36:35] 745*2^1422899-1 is not prime. Res64: E619BFD624284F79 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:40:46] 891*2^1422898-1 is not prime. Res64: 8EFAA552726F029F Time : 0.0 sec. user=mdettweiler [2016-03-13 06:40:48] 915*2^1422898-1 is not prime. Res64: 46AF43F572555BFF Time : 0.0 sec. user=mdettweiler [2016-03-13 06:47:41] 811*2^1422899-1 is not prime. Res64: 968BD27D63ACE8B9 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:47:42] 885*2^1422899-1 is not prime. Res64: 6216219507679FAD Time : 0.0 sec. user=mdettweiler [2016-03-13 06:47:55] 903*2^1422899-1 is not prime. Res64: CCB0D9B1A360720D Time : 0.0 sec. user=mdettweiler [2016-03-13 06:47:56] 949*2^1422899-1 is not prime. Res64: EDC85D6ADAC82584 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:48:34] 969*2^1422899-1 is not prime. Res64: FA9D10392D9510D0 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:48:35] 627*2^1422900-1 is not prime. Res64: 562EE4D46A1EDF5A Time : 0.0 sec. user=mdettweiler [2016-03-13 06:58:54] 629*2^1422900-1 is not prime. Res64: A09784F913FA3977 Time : 0.0 sec. user=mdettweiler [2016-03-13 06:58:55] 669*2^1422900-1 is not prime. Res64: 1E9AC2CC900B44C2 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:05:55] 695*2^1422900-1 is not prime. Res64: 6EEB7ADBAF82B891 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:05:57] 737*2^1422900-1 is not prime. Res64: 56EE96E35993E2DB Time : 0.0 sec. user=mdettweiler [2016-03-13 07:05:58] 803*2^1422900-1 is not prime. Res64: C2FDB8289BDDA29E Time : 0.0 sec. user=mdettweiler [2016-03-13 07:06:00] 839*2^1422900-1 is not prime. Res64: A4974E89557518A9 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:06:34] 935*2^1422900-1 is not prime. Res64: 535C353F84792CA5 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:06:35] 609*2^1422901-1 is not prime. Res64: 65A6804874FB491E Time : 0.0 sec. user=mdettweiler [2016-03-13 07:17:04] 651*2^1422901-1 is not prime. Res64: 0ABC70DC29A0BFF3 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:17:05] 771*2^1422901-1 is not prime. Res64: 3AD464B3B5746F79 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:24:19] 847*2^1422901-1 is not prime. Res64: BD7A6C961BC0559E Time : 0.0 sec. user=mdettweiler [2016-03-13 07:24:20] 665*2^1422902-1 is not prime. Res64: 69C69AD1CAA1C7AE Time : 0.0 sec. user=mdettweiler [2016-03-13 07:24:21] 683*2^1422902-1 is not prime. Res64: A3B0B5DF879632DF Time : 0.0 sec. user=mdettweiler [2016-03-13 07:24:27] 885*2^1422902-1 is not prime. Res64: 1014EF49BAF126B8 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:24:36] 957*2^1422902-1 is not prime. Res64: 521AC25F048FC74D Time : 0.0 sec. user=mdettweiler [2016-03-13 07:24:37] 963*2^1422902-1 is not prime. Res64: AE3B33D52F38FC02 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:35:11] 965*2^1422902-1 is not prime. Res64: 364E564022B55869 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:35:12] 981*2^1422902-1 is not prime. Res64: 9A229BE65B39DB71 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:42:29] 613*2^1422903-1 is not prime. Res64: 07B840E5F24A07F9 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:42:30] 619*2^1422903-1 is not prime. Res64: AEE37337AF8BD953 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:42:32] 995*2^1422902-1 is not prime. Res64: B5463DA442C38E9A Time : 0.0 sec. user=mdettweiler [2016-03-13 07:42:33] 1001*2^1422902-1 is not prime. Res64: 1FD7E3E7CA041B3C Time : 0.0 sec. user=mdettweiler [2016-03-13 07:42:43] 621*2^1422903-1 is not prime. Res64: 5029F9E5036B1A69 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:42:44] 657*2^1422904-1 is not prime. Res64: E4A0C1EF46AE1182 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:53:18] 699*2^1422904-1 is not prime. Res64: D110DEBBB04CC279 Time : 0.0 sec. user=mdettweiler [2016-03-13 07:53:19] 707*2^1422904-1 is not prime. Res64: ED2BF7BCBB5ED6CA Time : 0.0 sec. user=mdettweiler [2016-03-13 08:00:41] 959*2^1422904-1 is not prime. Res64: 79F069C8F87B4057 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:00:41] 743*2^1422904-1 is not prime. Res64: E64478B2BB6E920E Time : 0.0 sec. user=mdettweiler [2016-03-13 08:00:42] 759*2^1422904-1 is not prime. Res64: 016EEB1F22185E11 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:00:43] 607*2^1422905-1 is not prime. Res64: 131832C238EEFCB3 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:00:51] 697*2^1422905-1 is not prime. Res64: 8F68F6E36B28F785 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:00:53] 811*2^1422905-1 is not prime. Res64: 1C6FD48630AE2E32 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:11:29] 909*2^1422905-1 is not prime. Res64: 5962392A997085B6 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:11:30] 939*2^1422905-1 is not prime. Res64: 5D3B49704C1C0096 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:18:42] 711*2^1422906-1 is not prime. Res64: BAE08C7F25BCFBA5 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:18:43] 755*2^1422906-1 is not prime. Res64: A57092EBB91A117E Time : 0.0 sec. user=mdettweiler [2016-03-13 08:18:48] 609*2^1422907-1 is not prime. Res64: 15B9D31939FE90C8 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:18:49] 645*2^1422907-1 is not prime. Res64: DA84AD4E272A9B90 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:18:51] 819*2^1422907-1 is not prime. Res64: 4AE208464AD539FC Time : 0.0 sec. user=mdettweiler [2016-03-13 08:18:52] 829*2^1422907-1 is not prime. Res64: F69F2E8B95CBF01C Time : 0.0 sec. user=mdettweiler [2016-03-13 08:29:37] 795*2^1422908-1 is not prime. Res64: 370A3B7564237EF7 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:29:39] 625*2^1422909-1 is not prime. Res64: 6BBE7AEF1BD6ADD4 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:36:42] 829*2^1422909-1 is not prime. Res64: 6EAFFB37B82BC204 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:36:43] 865*2^1422909-1 is not prime. Res64: 2F237C89CB524CAE Time : 0.0 sec. user=mdettweiler [2016-03-13 08:36:52] 707*2^1422910-1 is not prime. Res64: E22C9AC4F3D5021B Time : 0.0 sec. user=mdettweiler [2016-03-13 08:36:53] 723*2^1422910-1 is not prime. Res64: E2DAA19EEE6728AF Time : 0.0 sec. user=mdettweiler [2016-03-13 08:37:02] 951*2^1422909-1 is not prime. Res64: 91DC85BA7BE31A80 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:37:03] 603*2^1422910-1 is not prime. Res64: F9F3BA076CF62C6D Time : 0.0 sec. user=mdettweiler [2016-03-13 08:47:44] 785*2^1422910-1 is not prime. Res64: A530220B3B704B39 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:47:45] 825*2^1422910-1 is not prime. Res64: 8DD6E9766F00CF28 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:54:52] 609*2^1422911-1 is not prime. Res64: 9F22A2D7475DB2E9 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:54:53] 621*2^1422911-1 is not prime. Res64: 9C7A3EEF54220C15 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:55:18] 741*2^1422911-1 is not prime. Res64: 32BCBF2081655221 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:55:19] 973*2^1422911-1 is not prime. Res64: 6A603C7E763E6437 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:55:41] 605*2^1422912-1 is not prime. Res64: 711A019165947650 Time : 0.0 sec. user=mdettweiler [2016-03-13 08:55:42] 657*2^1422912-1 is not prime. Res64: 8962815933FA7EC5 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:06:14] 797*2^1422912-1 is not prime. Res64: 6A58E8BDFDD5E1DE Time : 0.0 sec. user=mdettweiler [2016-03-13 09:06:15] 819*2^1422912-1 is not prime. Res64: 1C50010981C421E7 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:13:02] 849*2^1422912-1 is not prime. Res64: B3BE8A1AD1C08A90 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:13:03] 639*2^1422913-1 is not prime. Res64: 6711454F3924C35A Time : 0.0 sec. user=mdettweiler [2016-03-13 09:13:26] 679*2^1422913-1 is not prime. Res64: 3D409311ADC41225 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:13:27] 789*2^1422913-1 is not prime. Res64: 78F88920C5F47031 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:13:47] 877*2^1422913-1 is not prime. Res64: 4F400943F6962257 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:13:48] 623*2^1422914-1 is not prime. Res64: 7A29D4024C55D513 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:16:07] 641*2^1422914-1 is not prime. Res64: 25EF88B46D8344DA Time : 0.0 sec. user=mdettweiler [2016-03-13 09:24:21] 633*2^1422914-1 is not prime. Res64: 1C10725CFDEC54E1 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:24:22] 635*2^1422914-1 is not prime. Res64: 0CFB650139707265 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:31:06] 743*2^1422914-1 is not prime. Res64: 51352291FFFBA3FA Time : 0.0 sec. user=mdettweiler [2016-03-13 09:31:07] 797*2^1422914-1 is not prime. Res64: B0BBFD890B65BB43 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:31:25] 951*2^1422914-1 is not prime. Res64: 2301A7F76AFF6AB9 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:31:26] 953*2^1422914-1 is not prime. Res64: B01CB6A6AF6F7C15 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:31:51] 995*2^1422914-1 is not prime. Res64: 6CE372ECC6A2C83D Time : 0.0 sec. user=mdettweiler [2016-03-13 09:31:52] 675*2^1422915-1 is not prime. Res64: 8121104493A8E482 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:42:26] 691*2^1422915-1 is not prime. Res64: ACA95438FF9635BF Time : 0.0 sec. user=mdettweiler [2016-03-13 09:42:27] 793*2^1422915-1 is not prime. Res64: 30C3B2198428D8BC Time : 0.0 sec. user=mdettweiler [2016-03-13 09:49:14] 805*2^1422915-1 is not prime. Res64: FF252F5623F9B6F7 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:49:15] 819*2^1422915-1 is not prime. Res64: 1E71FBD42824642E Time : 0.0 sec. user=mdettweiler [2016-03-13 09:49:29] 963*2^1422915-1 is not prime. Res64: 275DBC4482957C05 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:49:30] 675*2^1422916-1 is not prime. Res64: 98C210D6AC28C373 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:50:00] 693*2^1422916-1 is not prime. Res64: BA554E43EE5ED317 Time : 0.0 sec. user=mdettweiler [2016-03-13 09:50:01] 749*2^1422916-1 is not prime. Res64: 22520991A1A427BF Time : 0.0 sec. user=mdettweiler [2016-03-13 10:00:32] 785*2^1422916-1 is not prime. Res64: BFCC778D2468DC43 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:00:33] 887*2^1422916-1 is not prime. Res64: EAE4376BFC4C705D Time : 0.0 sec. user=mdettweiler [2016-03-13 10:07:14] 927*2^1422916-1 is not prime. Res64: 4FA006D6FB5A8F1F Time : 0.0 sec. user=mdettweiler [2016-03-13 10:07:18] 939*2^1422916-1 is not prime. Res64: 6D6412739C81D372 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:07:32] 965*2^1422916-1 is not prime. Res64: 3A7E6C86741FCA8E Time : 0.0 sec. user=mdettweiler [2016-03-13 10:07:35] 649*2^1422917-1 is not prime. Res64: D9E601415FE06567 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:08:05] 777*2^1422917-1 is not prime. Res64: C8E2714827F6FDAA Time : 0.0 sec. user=mdettweiler [2016-03-13 10:08:07] 901*2^1422917-1 is not prime. Res64: B3EC37347C5B33CB Time : 0.0 sec. user=mdettweiler [2016-03-13 10:18:33] 713*2^1422918-1 is not prime. Res64: 32F6F836A35F86D8 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:18:34] 773*2^1422918-1 is not prime. Res64: 5C328C1229DCDF49 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:25:40] 829*2^1422919-1 is not prime. Res64: 6AB1728D3E2F74C5 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:25:41] 891*2^1422919-1 is not prime. Res64: 028CACE1490BDA62 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:25:49] 993*2^1422919-1 is not prime. Res64: B7AC4D5EF07EEC0A Time : 0.0 sec. user=mdettweiler [2016-03-13 10:25:51] 677*2^1422920-1 is not prime. Res64: F91D08A609784ADB Time : 0.0 sec. user=mdettweiler [2016-03-13 10:26:11] 825*2^1422920-1 is not prime. Res64: 83A1FFF97417DE2D Time : 0.0 sec. user=mdettweiler [2016-03-13 10:26:13] 833*2^1422920-1 is not prime. Res64: 457FA7C76B76C417 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:36:45] 845*2^1422920-1 is not prime. Res64: 695C92709D15FB2A Time : 0.0 sec. user=mdettweiler [2016-03-13 10:36:49] 625*2^1422921-1 is not prime. Res64: F910F9ED69844142 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:43:50] 637*2^1422921-1 is not prime. Res64: 115E2439E2194D29 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:43:50] 649*2^1422921-1 is not prime. Res64: 7ECAA1C604AC02C5 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:44:05] 669*2^1422921-1 is not prime. Res64: CDDBEC24160F9467 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:44:06] 675*2^1422921-1 is not prime. Res64: D2B23753FA74EAF3 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:44:21] 681*2^1422921-1 is not prime. Res64: A72022161BAD76DE Time : 0.0 sec. user=mdettweiler [2016-03-13 10:44:22] 849*2^1422921-1 is not prime. Res64: 1EFA29FC87D0B707 Time : 0.0 sec. user=mdettweiler [2016-03-13 10:55:01] 635*2^1422922-1 is not prime. Res64: 9DDBC575BE2ED12A Time : 0.0 sec. user=mdettweiler [2016-03-13 10:55:02] 801*2^1422922-1 is not prime. Res64: 7EFE08A3CAE732A7 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:02:02] 803*2^1422922-1 is not prime. Res64: 2EAE12AA331EB22E Time : 0.0 sec. user=mdettweiler [2016-03-13 11:02:04] 831*2^1422922-1 is not prime. Res64: F21F5AE3A68FC71B Time : 0.0 sec. user=mdettweiler [2016-03-13 11:02:14] 855*2^1422922-1 is not prime. Res64: DDD583787094D1A3 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:02:16] 917*2^1422922-1 is not prime. Res64: 67EE1E523ACF3B70 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:02:31] 923*2^1422922-1 is not prime. Res64: 6465DFA0EAD051F2 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:02:32] 951*2^1422922-1 is not prime. Res64: AFEB703B5E64FF64 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:13:07] 633*2^1422923-1 is not prime. Res64: BA75EBF292655517 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:13:08] 693*2^1422923-1 is not prime. Res64: FFFE89B88B7CC7D7 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:20:08] 699*2^1422923-1 is not prime. Res64: FAACEC9A687121FD Time : 0.0 sec. user=mdettweiler [2016-03-13 11:20:08] 705*2^1422923-1 is not prime. Res64: 692698CE28A9B1FE Time : 0.0 sec. user=mdettweiler [2016-03-13 11:20:11] 825*2^1422923-1 is not prime. Res64: DF51459F960F77BE Time : 0.0 sec. user=mdettweiler [2016-03-13 11:20:12] 955*2^1422923-1 is not prime. Res64: 24BE67BC575637C1 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:20:32] 963*2^1422923-1 is not prime. Res64: 339B688668FA3AE3 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:20:33] 843*2^1422924-1 is not prime. Res64: B7C123930EDDE3F4 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:31:10] 947*2^1422924-1 is not prime. Res64: 9E078BE1CB7317AB Time : 0.0 sec. user=mdettweiler [2016-03-13 11:31:10] 969*2^1422924-1 is not prime. Res64: E455C283C68DA614 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:36:57] 925*2^1422925-1 is not prime. Res64: 44575C73D939AC59 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:37:24] 961*2^1422925-1 is not prime. Res64: E734CADF9F80795A Time : 0.0 sec. user=mdettweiler [2016-03-13 11:38:06] 799*2^1422925-1 is not prime. Res64: 12A31D6C5728F755 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:38:07] 801*2^1422925-1 is not prime. Res64: A6CCEAD9F2B05CE5 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:38:14] 649*2^1422925-1 is not prime. Res64: F9E81A6B2854B1F6 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:38:14] 757*2^1422925-1 is not prime. Res64: 20E9F1ADD2FC3C79 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:38:34] 825*2^1422925-1 is not prime. Res64: 5A60DE254E464B7E Time : 0.0 sec. user=mdettweiler [2016-03-13 11:38:34] 861*2^1422925-1 is not prime. Res64: 25B854B771C5F22B Time : 0.0 sec. user=mdettweiler [2016-03-13 11:49:07] 603*2^1422926-1 is not prime. Res64: 03C1D4487AAB6768 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:49:07] 773*2^1422926-1 is not prime. Res64: 8C9DADFE426F9AE2 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:55:00] 865*2^1422927-1 is not prime. Res64: F64610CBB3137514 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:55:56] 917*2^1422926-1 is not prime. Res64: CBA9B7B6D8240A6A Time : 0.0 sec. user=mdettweiler [2016-03-13 11:55:57] 921*2^1422926-1 is not prime. Res64: B5396F5EA5B9D3A3 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:56:13] 971*2^1422926-1 is not prime. Res64: C0C5A323EEF6A4D4 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:56:13] 601*2^1422927-1 is not prime. Res64: 7617D03E92D3F5A5 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:56:25] 609*2^1422927-1 is not prime. Res64: BEB85B07A681A808 Time : 0.0 sec. user=mdettweiler [2016-03-13 11:56:25] 775*2^1422927-1 is not prime. Res64: E682BD1B2E51086E Time : 0.0 sec. user=mdettweiler [2016-03-13 12:06:59] 871*2^1422927-1 is not prime. Res64: 2CE0589511E2BFF5 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:06:59] 879*2^1422927-1 is not prime. Res64: C50C6A0F41442B61 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:13:54] 901*2^1422927-1 is not prime. Res64: C7272305ACD30BE0 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:13:54] 909*2^1422927-1 is not prime. Res64: 8F15D935A05D6E83 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:14:07] 963*2^1422927-1 is not prime. Res64: F6AF3DFA755518DD Time : 0.0 sec. user=mdettweiler [2016-03-13 12:14:07] 991*2^1422927-1 is not prime. Res64: 5366CE32D2167BD5 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:14:31] 677*2^1422928-1 is not prime. Res64: 206A8AC0ABC31EFD Time : 0.0 sec. user=mdettweiler [2016-03-13 12:14:32] 687*2^1422928-1 is not prime. Res64: 4ADD7F37F48721D9 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:25:04] 705*2^1422928-1 is not prime. Res64: E354BD0C62B79BC4 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:25:04] 819*2^1422928-1 is not prime. Res64: F39FA387010D5885 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:30:14] 861*2^1422929-1 is not prime. Res64: D2DAD000F172C746 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:31:52] 869*2^1422928-1 is not prime. Res64: 3F97EA676BBA67B0 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:31:53] 615*2^1422929-1 is not prime. Res64: C88FD106085797BE Time : 0.0 sec. user=mdettweiler [2016-03-13 12:32:05] 645*2^1422929-1 is not prime. Res64: FD94B8B98E2A180E Time : 0.0 sec. user=mdettweiler [2016-03-13 12:32:05] 657*2^1422929-1 is not prime. Res64: CA3CC4F229B9CB87 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:32:24] 771*2^1422929-1 is not prime. Res64: 25941F4DC3A77411 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:32:25] 801*2^1422929-1 is not prime. Res64: 5211728292C37F0C Time : 0.0 sec. user=mdettweiler [2016-03-13 12:43:00] 867*2^1422929-1 is not prime. Res64: DE5F35E87B261710 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:43:00] 925*2^1422929-1 is not prime. Res64: E6EA5B1C74C031C1 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:47:59] 921*2^1422930-1 is not prime. Res64: 8A5D83B85DA9488B Time : 0.0 sec. user=mdettweiler [2016-03-13 12:48:28] 927*2^1422930-1 is not prime. Res64: C8B977B4A169520A Time : 0.0 sec. user=mdettweiler [2016-03-13 12:50:02] 951*2^1422929-1 is not prime. Res64: F43CCB54ED2B6E31 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:50:02] 665*2^1422930-1 is not prime. Res64: 8D58E41106E68E8E Time : 0.0 sec. user=mdettweiler [2016-03-13 12:50:13] 677*2^1422930-1 is not prime. Res64: AB1FF140D0976E27 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:50:13] 725*2^1422930-1 is not prime. Res64: D79205574D484EFE Time : 0.0 sec. user=mdettweiler [2016-03-13 12:50:36] 791*2^1422930-1 is not prime. Res64: 9ADAE605BED21EE5 Time : 0.0 sec. user=mdettweiler [2016-03-13 12:50:36] 851*2^1422930-1 is not prime. Res64: 3B69AAE0F35B8426 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:01:31] 945*2^1422930-1 is not prime. Res64: 82930E3C08A5545C Time : 0.0 sec. user=mdettweiler [2016-03-13 13:01:31] 951*2^1422930-1 is not prime. Res64: 8DFD5A61C24EBA8C Time : 0.0 sec. user=mdettweiler [2016-03-13 13:08:37] 615*2^1422931-1 is not prime. Res64: 811C9977A01C2DBC Time : 0.0 sec. user=mdettweiler [2016-03-13 13:08:37] 741*2^1422931-1 is not prime. Res64: 088613C4FF539C25 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:08:50] 745*2^1422931-1 is not prime. Res64: A80E6FC9F73B24C2 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:08:50] 889*2^1422931-1 is not prime. Res64: 9A07B03ABB995F4B Time : 0.0 sec. user=mdettweiler [2016-03-13 13:09:09] 913*2^1422931-1 is not prime. Res64: 02E33402A27540EF Time : 0.0 sec. user=mdettweiler [2016-03-13 13:09:09] 975*2^1422931-1 is not prime. Res64: 428358AA85069C52 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:09:31] 735*2^1422932-1 is not prime. Res64: 7AC95927D3C21B53 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:20:38] 899*2^1422932-1 is not prime. Res64: D6322A3AFA69CD16 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:20:39] 609*2^1422933-1 is not prime. Res64: 5DF683D2F17933C2 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:27:21] 615*2^1422933-1 is not prime. Res64: BE5928961FEBCF4F Time : 0.0 sec. user=mdettweiler [2016-03-13 13:27:22] 651*2^1422933-1 is not prime. Res64: 558876C915DEAEB3 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:27:22] 691*2^1422933-1 is not prime. Res64: 0581E89B7ABF7FFB Time : 0.0 sec. user=mdettweiler [2016-03-13 13:27:23] 789*2^1422933-1 is not prime. Res64: E6FC7ABB6ACE8CF9 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:27:37] 671*2^1422934-1 is not prime. Res64: 8049FFB9BDE38645 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:27:50] 877*2^1422933-1 is not prime. Res64: D22B1DFA42BBB564 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:27:50] 663*2^1422934-1 is not prime. Res64: 0459E26DCCDC380D Time : 0.0 sec. user=mdettweiler [2016-03-13 13:39:58] 861*2^1422934-1 is not prime. Res64: 78B8AD117B6CBF86 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:39:58] 885*2^1422934-1 is not prime. Res64: 863EC13BE433B015 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:41:13] 661*2^1422935-1 is not prime. Res64: 2C76E028EABE329C Time : 0.0 sec. user=mdettweiler [2016-03-13 13:45:44] 601*2^1422935-1 is not prime. Res64: 6C98908419ADE994 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:46:38] 891*2^1422934-1 is not prime. Res64: B0B5A98EE35C41C4 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:46:38] 923*2^1422934-1 is not prime. Res64: EECA97D6E316B6CB Time : 0.0 sec. user=mdettweiler [2016-03-13 13:46:52] 981*2^1422934-1 is not prime. Res64: 64886829A78D4193 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:46:52] 987*2^1422934-1 is not prime. Res64: FBFA74056C393124 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:47:01] 633*2^1422935-1 is not prime. Res64: D43119A9810924FC Time : 0.0 sec. user=mdettweiler [2016-03-13 13:47:01] 643*2^1422935-1 is not prime. Res64: 53B2E34640362E67 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:58:37] 673*2^1422935-1 is not prime. Res64: 311C88D44F916494 Time : 0.0 sec. user=mdettweiler [2016-03-13 13:58:37] 771*2^1422935-1 is not prime. Res64: 1E8F9863C91FD5E3 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:03:53] 825*2^1422935-1 is not prime. Res64: FB6F1979ADD9CA2D Time : 0.0 sec. user=mdettweiler [2016-03-13 14:05:34] 699*2^1422936-1 is not prime. Res64: 838CF08505E8771C Time : 0.0 sec. user=mdettweiler [2016-03-13 14:05:35] 705*2^1422936-1 is not prime. Res64: 422E5EA8B0FE9CD8 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:05:39] 991*2^1422935-1 is not prime. Res64: 1CBB394BB02DC028 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:05:40] 675*2^1422936-1 is not prime. Res64: 7B456B02EF6D1F8F Time : 0.0 sec. user=mdettweiler [2016-03-13 14:06:20] 777*2^1422936-1 is not prime. Res64: 5BC31974F34F5AB3 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:06:20] 779*2^1422936-1 is not prime. Res64: B957A01FECC743FD Time : 0.0 sec. user=mdettweiler [2016-03-13 14:16:36] 847*2^1422937-1 is not prime. Res64: 616F15B775F31922 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:16:39] 895*2^1422937-1 is not prime. Res64: 63D8DAF23908A847 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:19:24] 857*2^1422936-1 is not prime. Res64: 4FED5FCF45952A77 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:19:25] 917*2^1422936-1 is not prime. Res64: 60D8DB32B22F6E5D Time : 0.0 sec. user=mdettweiler [2016-03-13 14:27:31] 699*2^1422937-1 is not prime. Res64: 9967FC1D609678EB Time : 0.0 sec. user=mdettweiler [2016-03-13 14:27:32] 765*2^1422937-1 is not prime. Res64: 6B6119EA85B632AC Time : 0.0 sec. user=mdettweiler [2016-03-13 14:27:47] 957*2^1422936-1 is not prime. Res64: AC7BBD9A7BF82E93 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:27:47] 691*2^1422937-1 is not prime. Res64: F67C660B7B85097A Time : 0.0 sec. user=mdettweiler [2016-03-13 14:28:41] 771*2^1422937-1 is not prime. Res64: 350133D043FF9C2D Time : 0.0 sec. user=mdettweiler [2016-03-13 14:28:41] 799*2^1422937-1 is not prime. Res64: DEA703A4295BAAF4 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:42:30] 901*2^1422937-1 is not prime. Res64: B6CC850DEC2C9706 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:42:31] 931*2^1422937-1 is not prime. Res64: 5DAF3915A359853A Time : 0.0 sec. user=mdettweiler [2016-03-13 14:50:46] 605*2^1422938-1 is not prime. Res64: 20686E3E6A474E48 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:50:46] 705*2^1422938-1 is not prime. Res64: 1808AA45C505CB72 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:50:56] 753*2^1422938-1 is not prime. Res64: A53BF621D0588FC5 Time : 0.0 sec. user=mdettweiler [2016-03-13 14:50:56] 885*2^1422938-1 is not prime. Res64: 0ABB767EBA1B5F6F Time : 0.0 sec. user=mdettweiler [2016-03-13 14:51:33] 927*2^1422938-1 is not prime. Res64: 62384064D3CE0EFC Time : 0.0 sec. user=mdettweiler [2016-03-13 14:51:34] 951*2^1422938-1 is not prime. Res64: 9F1CC2218E84D1F1 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:04:48] 957*2^1422938-1 is not prime. Res64: 10A3F400255C64A1 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:04:49] 963*2^1422938-1 is not prime. Res64: 88D33D999BED360F Time : 0.0 sec. user=mdettweiler [2016-03-13 15:10:02] 985*2^1422939-1 is not prime. Res64: A78888BDAA4E4B39 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:12:11] 621*2^1422939-1 is not prime. Res64: 6CE9A906E212BCDB Time : 0.0 sec. user=mdettweiler [2016-03-13 15:12:12] 625*2^1422939-1 is not prime. Res64: 587D5478F0582359 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:12:22] 669*2^1422939-1 is not prime. Res64: 4AA4E4AF76779CC7 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:12:22] 825*2^1422939-1 is not prime. Res64: 8B17DD5C94DB339C Time : 0.0 sec. user=mdettweiler [2016-03-13 15:12:53] 853*2^1422939-1 is not prime. Res64: C6907C85B7CA8626 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:12:54] 949*2^1422939-1 is not prime. Res64: 783A93B0F21C58A2 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:26:13] 647*2^1422940-1 is not prime. Res64: C81D22C29176A1D9 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:26:14] 653*2^1422940-1 is not prime. Res64: EF802CB36759134B Time : 0.0 sec. user=mdettweiler [2016-03-13 15:33:00] 695*2^1422940-1 is not prime. Res64: 4B6D05BFAAD8334C Time : 0.0 sec. user=mdettweiler [2016-03-13 15:33:01] 723*2^1422940-1 is not prime. Res64: 630A20928600C5B4 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:33:10] 813*2^1422940-1 is not prime. Res64: FBCB0CD2B3782F16 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:33:10] 927*2^1422940-1 is not prime. Res64: 038D2035F6A2C54B Time : 0.0 sec. user=mdettweiler [2016-03-13 15:34:07] 939*2^1422940-1 is not prime. Res64: 05E210CCA8057322 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:34:08] 621*2^1422941-1 is not prime. Res64: FBD17E51FCE614BE Time : 0.0 sec. user=mdettweiler [2016-03-13 15:44:34] 669*2^1422941-1 is not prime. Res64: 98B4E3DA4F4A86F3 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:44:35] 679*2^1422941-1 is not prime. Res64: A75BB688D780E2FD Time : 0.0 sec. user=mdettweiler [2016-03-13 15:45:48] 681*2^1422942-1 is not prime. Res64: A68E2B2204ED4AC0 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:51:08] 711*2^1422941-1 is not prime. Res64: E0447DF4529DBD19 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:51:09] 717*2^1422941-1 is not prime. Res64: B6B08822D2EF4253 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:51:11] 747*2^1422941-1 is not prime. Res64: 58CE975C79A9CCEC Time : 0.0 sec. user=mdettweiler [2016-03-13 15:51:11] 957*2^1422941-1 is not prime. Res64: B87205D994C19E62 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:52:06] 967*2^1422941-1 is not prime. Res64: 435D5F92DFB53AB1 Time : 0.0 sec. user=mdettweiler [2016-03-13 15:52:07] 979*2^1422941-1 is not prime. Res64: 293E0C97A7208A98 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:02:34] 863*2^1422942-1 is not prime. Res64: 4F3EF632FACA9903 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:02:35] 875*2^1422942-1 is not prime. Res64: A6A8674D0A4410DF Time : 0.0 sec. user=mdettweiler [2016-03-13 16:09:10] 663*2^1422943-1 is not prime. Res64: 3D682598CCF4C38B Time : 0.0 sec. user=mdettweiler [2016-03-13 16:09:11] 763*2^1422943-1 is not prime. Res64: E6669D9261AD9715 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:09:15] 945*2^1422942-1 is not prime. Res64: 9F0CC03168EBA421 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:09:15] 983*2^1422942-1 is not prime. Res64: 89FE941BEE20BEAE Time : 0.0 sec. user=mdettweiler [2016-03-13 16:10:01] 765*2^1422943-1 is not prime. Res64: 0C92E36A9A42BC24 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:10:01] 789*2^1422943-1 is not prime. Res64: 0A14675B2C1217F8 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:20:44] 793*2^1422943-1 is not prime. Res64: 95F27B15B0A6EACB Time : 0.0 sec. user=mdettweiler [2016-03-13 16:20:44] 819*2^1422943-1 is not prime. Res64: 97AAF1C505BF74EA Time : 0.0 sec. user=mdettweiler [2016-03-13 16:21:33] 651*2^1422945-1 is not prime. Res64: 948279307014031A Time : 0.0 sec. user=mdettweiler [2016-03-13 16:27:23] 853*2^1422943-1 is not prime. Res64: BF890A8558060EAC Time : 0.0 sec. user=mdettweiler [2016-03-13 16:27:23] 657*2^1422944-1 is not prime. Res64: AAC7E0ED883817FD Time : 0.0 sec. user=mdettweiler [2016-03-13 16:27:25] 687*2^1422944-1 is not prime. Res64: B938EE1B1CF952DE Time : 0.0 sec. user=mdettweiler [2016-03-13 16:27:25] 743*2^1422944-1 is not prime. Res64: 8B38BB5ED155D74C Time : 0.0 sec. user=mdettweiler [2016-03-13 16:28:08] 909*2^1422944-1 is not prime. Res64: D8EADF7B3F075669 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:28:09] 625*2^1422945-1 is not prime. Res64: 9FA7B7D7C3C6B753 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:38:41] 717*2^1422945-1 is not prime. Res64: D1938E1EECD587FF Time : 0.0 sec. user=mdettweiler [2016-03-13 16:38:42] 787*2^1422945-1 is not prime. Res64: 823511C9B8179F2F Time : 0.0 sec. user=mdettweiler [2016-03-13 16:45:19] 623*2^1422946-1 is not prime. Res64: C449E7B635AC6390 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:45:19] 653*2^1422946-1 is not prime. Res64: E73881B086AA123F Time : 0.0 sec. user=mdettweiler [2016-03-13 16:45:23] 795*2^1422945-1 is not prime. Res64: DF6473B0F44AC28E Time : 0.0 sec. user=mdettweiler [2016-03-13 16:45:24] 937*2^1422945-1 is not prime. Res64: 0290C167D4F12328 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:46:08] 815*2^1422946-1 is not prime. Res64: B57CADAABD66DE38 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:46:08] 855*2^1422946-1 is not prime. Res64: 51E5BD317508D133 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:56:41] 873*2^1422946-1 is not prime. Res64: 16050E9AD1A2F326 Time : 0.0 sec. user=mdettweiler [2016-03-13 16:56:42] 887*2^1422946-1 is not prime. Res64: 119822AA565D0D58 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:03:22] 631*2^1422947-1 is not prime. Res64: C58A097E04EED146 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:03:23] 663*2^1422947-1 is not prime. Res64: 4FACA5219AC1D4B2 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:03:29] 923*2^1422946-1 is not prime. Res64: EFA1819438C5D22F Time : 0.0 sec. user=mdettweiler [2016-03-13 17:03:30] 945*2^1422946-1 is not prime. Res64: F7850C11D4E8C84F Time : 0.0 sec. user=mdettweiler [2016-03-13 17:04:12] 703*2^1422947-1 is not prime. Res64: A82AAA21C0CA4F5A Time : 0.0 sec. user=mdettweiler [2016-03-13 17:04:13] 813*2^1422947-1 is not prime. Res64: 3500E35E65E6E289 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:14:38] 909*2^1422947-1 is not prime. Res64: 26FB3BE6B606B165 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:14:39] 991*2^1422947-1 is not prime. Res64: D7827AB7D402C6F3 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:21:23] 657*2^1422948-1 is not prime. Res64: 7BF5C4B7A51DE7EC Time : 0.0 sec. user=mdettweiler [2016-03-13 17:21:24] 929*2^1422948-1 is not prime. Res64: CABA19F3B8B95182 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:21:29] 987*2^1422948-1 is not prime. Res64: 16A6D388D0DF24AF Time : 0.0 sec. user=mdettweiler [2016-03-13 17:21:29] 999*2^1422948-1 is not prime. Res64: A7B478E61F987CC2 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:22:08] 747*2^1422949-1 is not prime. Res64: F301AF73AC7C1229 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:22:09] 757*2^1422949-1 is not prime. Res64: 58D76B816DA35487 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:32:39] 789*2^1422949-1 is not prime. Res64: C209C90E620AC672 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:32:39] 831*2^1422949-1 is not prime. Res64: 8433A1B1CD997AF0 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:39:35] 885*2^1422949-1 is not prime. Res64: 2432F0B160DD88AF Time : 0.0 sec. user=mdettweiler [2016-03-13 17:39:36] 919*2^1422949-1 is not prime. Res64: 3A61127CD83D027F Time : 0.0 sec. user=mdettweiler [2016-03-13 17:39:47] 641*2^1422950-1 is not prime. Res64: 9F3AB220271E9A2C Time : 0.0 sec. user=mdettweiler [2016-03-13 17:39:47] 665*2^1422950-1 is not prime. Res64: 64073C28A205D884 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:40:14] 707*2^1422950-1 is not prime. Res64: EC48F44A64AF963B Time : 0.0 sec. user=mdettweiler [2016-03-13 17:40:14] 711*2^1422950-1 is not prime. Res64: AEDD99F29EC3FA81 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:49:12] 703*2^1422951-1 is not prime. Res64: EC15CE880656354F Time : 0.0 sec. user=mdettweiler [2016-03-13 17:50:41] 785*2^1422950-1 is not prime. Res64: 8FB7E0CB4E2AB4F7 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:50:41] 845*2^1422950-1 is not prime. Res64: 7F7237DFECC443EF Time : 0.0 sec. user=mdettweiler [2016-03-13 17:57:37] 857*2^1422950-1 is not prime. Res64: 2F6062A21019A51D Time : 0.0 sec. user=mdettweiler [2016-03-13 17:57:37] 861*2^1422950-1 is not prime. Res64: C58D1A8DB56E3F48 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:57:44] 867*2^1422950-1 is not prime. Res64: 4695BB87524BC06F Time : 0.0 sec. user=mdettweiler [2016-03-13 17:57:45] 887*2^1422950-1 is not prime. Res64: F8C1EC9B4CDEE84D Time : 0.0 sec. user=mdettweiler [2016-03-13 17:58:17] 915*2^1422950-1 is not prime. Res64: 8A14331BF028AD13 Time : 0.0 sec. user=mdettweiler [2016-03-13 17:58:18] 691*2^1422951-1 is not prime. Res64: 15EA3514FEE2E984 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:11:12] 735*2^1422951-1 is not prime. Res64: BA6E04F68E7A518E Time : 0.0 sec. user=mdettweiler [2016-03-13 18:11:13] 763*2^1422951-1 is not prime. Res64: 680C8EE1AF3D8FB6 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:17:54] 921*2^1422951-1 is not prime. Res64: 7DAD9AD02A29E62B Time : 0.0 sec. user=mdettweiler [2016-03-13 18:17:55] 603*2^1422952-1 is not prime. Res64: 77DA6B5FFDAF73EC Time : 0.0 sec. user=mdettweiler [2016-03-13 18:18:23] 805*2^1422951-1 is not prime. Res64: 12F928A935F3705A Time : 0.0 sec. user=mdettweiler [2016-03-13 18:18:23] 829*2^1422951-1 is not prime. Res64: 5982BD2F1EEDD7EE Time : 0.0 sec. user=mdettweiler [2016-03-13 18:18:55] 803*2^1422952-1 is not prime. Res64: 809B76F6407A1C47 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:18:56] 869*2^1422952-1 is not prime. Res64: 4E7051E2D776F9BF Time : 0.0 sec. user=mdettweiler [2016-03-13 18:29:38] 903*2^1422952-1 is not prime. Res64: 0594F8ABAD6D7A3F Time : 0.0 sec. user=mdettweiler [2016-03-13 18:29:38] 637*2^1422953-1 is not prime. Res64: 1C51D40ED6F94F7D Time : 0.0 sec. user=mdettweiler [2016-03-13 18:36:18] 651*2^1422953-1 is not prime. Res64: A3E6A33086ECF3CA Time : 0.0 sec. user=mdettweiler [2016-03-13 18:36:19] 675*2^1422953-1 is not prime. Res64: CED6B4A22BBD50D9 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:36:43] 691*2^1422953-1 is not prime. Res64: CD903136B5E1B1AD Time : 0.0 sec. user=mdettweiler [2016-03-13 18:36:44] 831*2^1422953-1 is not prime. Res64: BD771EACC4371BAF Time : 0.0 sec. user=mdettweiler [2016-03-13 18:37:28] 925*2^1422953-1 is not prime. Res64: 1812622F92E8335E Time : 0.0 sec. user=mdettweiler [2016-03-13 18:37:28] 611*2^1422954-1 is not prime. Res64: 005413D0DE7E6875 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:47:53] 711*2^1422954-1 is not prime. Res64: 3EE6016B65C8BE00 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:47:53] 765*2^1422954-1 is not prime. Res64: 007C634FCBC9AA4F Time : 0.0 sec. user=mdettweiler [2016-03-13 18:56:12] 773*2^1422954-1 is not prime. Res64: B7474FC3AD323F94 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:56:13] 783*2^1422954-1 is not prime. Res64: 3E0104A4A7C8D4B5 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:56:25] 975*2^1422954-1 is not prime. Res64: 953139D2A43B9985 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:56:25] 993*2^1422954-1 is not prime. Res64: AE4657E8FBDA6216 Time : 0.0 sec. user=mdettweiler [2016-03-13 18:57:23] 639*2^1422955-1 is not prime. Res64: 29988C23146D53FC Time : 0.0 sec. user=mdettweiler [2016-03-13 18:57:23] 679*2^1422955-1 is not prime. Res64: 1DF13DD14A1A688F Time : 0.0 sec. user=mdettweiler [2016-03-13 19:07:39] 723*2^1422955-1 is not prime. Res64: 4C43236C498FB066 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:07:39] 771*2^1422955-1 is not prime. Res64: DB9C3FE927CFCD36 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:14:24] 889*2^1422955-1 is not prime. Res64: AABC34081ABEBD79 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:14:24] 915*2^1422955-1 is not prime. Res64: 31ECCC00574251F3 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:14:29] 871*2^1422955-1 is not prime. Res64: 27EC319E5602C65F Time : 0.0 sec. user=mdettweiler [2016-03-13 19:14:29] 885*2^1422955-1 is not prime. Res64: 2E8F3DF6ED1A983C Time : 0.0 sec. user=mdettweiler [2016-03-13 19:15:32] 663*2^1422956-1 is not prime. Res64: 05558079FDF1B15D Time : 0.0 sec. user=mdettweiler [2016-03-13 19:15:33] 725*2^1422956-1 is not prime. Res64: A2FF7EEED99BEE9D Time : 0.0 sec. user=mdettweiler [2016-03-13 19:25:44] 767*2^1422956-1 is not prime. Res64: E96ADE906F3781BD Time : 0.0 sec. user=mdettweiler [2016-03-13 19:25:44] 893*2^1422956-1 is not prime. Res64: 8292B861B914B167 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:32:25] 969*2^1422956-1 is not prime. Res64: 131307EDBFFB187B Time : 0.0 sec. user=mdettweiler [2016-03-13 19:32:25] 987*2^1422956-1 is not prime. Res64: 43764979ABED03D8 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:32:35] 651*2^1422957-1 is not prime. Res64: 0AB30F5048AD2F4A Time : 0.0 sec. user=mdettweiler [2016-03-13 19:32:35] 685*2^1422957-1 is not prime. Res64: FDCEDCA5CBE1A1B3 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:33:36] 711*2^1422957-1 is not prime. Res64: A3481F9E8274DB6B Time : 0.0 sec. user=mdettweiler [2016-03-13 19:33:36] 747*2^1422957-1 is not prime. Res64: E58523325AA043BA Time : 0.0 sec. user=mdettweiler [2016-03-13 19:35:30] 861*2^1422957-1 is not prime. Res64: B1EAC6FC681C844D Time : 0.0 sec. user=mdettweiler [2016-03-13 19:35:52] 895*2^1422957-1 is not prime. Res64: 1D74DD5EE3702A14 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:43:42] 759*2^1422957-1 is not prime. Res64: 32F097B59ED9479E Time : 0.0 sec. user=mdettweiler [2016-03-13 19:43:42] 795*2^1422957-1 is not prime. Res64: 676A4215FE1ADE31 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:50:37] 791*2^1422958-1 is not prime. Res64: 330140917F565337 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:50:37] 813*2^1422958-1 is not prime. Res64: E242F7613BC9E76B Time : 0.0 sec. user=mdettweiler [2016-03-13 19:50:38] 645*2^1422958-1 is not prime. Res64: E795C0D282308DDA Time : 0.0 sec. user=mdettweiler [2016-03-13 19:50:38] 695*2^1422958-1 is not prime. Res64: EBB693C67FB4B791 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:51:42] 735*2^1422959-1 is not prime. Res64: E81861B7B47B8221 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:51:42] 855*2^1422959-1 is not prime. Res64: 48F82B2553C1FE95 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:53:16] 669*2^1422960-1 is not prime. Res64: 04B4934CAB7F5592 Time : 0.0 sec. user=mdettweiler [2016-03-13 19:53:28] 797*2^1422960-1 is not prime. Res64: 2ABF6DA64F9651CB Time : 0.0 sec. user=mdettweiler [2016-03-13 20:01:51] 861*2^1422959-1 is not prime. Res64: 300A2AECC87EC85F Time : 0.0 sec. user=mdettweiler [2016-03-13 20:01:52] 939*2^1422959-1 is not prime. Res64: 015A218F03B8B520 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:08:41] 917*2^1422960-1 is not prime. Res64: BBD3AF8A241F7537 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:08:42] 777*2^1422961-1 is not prime. Res64: 1B47B80122157606 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:09:00] 811*2^1422961-1 is not prime. Res64: D03820C6E05CCD16 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:09:01] 829*2^1422961-1 is not prime. Res64: 7BF9DE5B53C64A0B Time : 0.0 sec. user=mdettweiler [2016-03-13 20:09:52] 847*2^1422961-1 is not prime. Res64: BAAEFD4D04D69036 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:09:53] 957*2^1422961-1 is not prime. Res64: EB257408F65E0760 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:11:48] 665*2^1422962-1 is not prime. Res64: 26649DE3BDF2AD40 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:20:05] 997*2^1422961-1 is not prime. Res64: E2CE92E5D7C55325 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:20:05] 633*2^1422962-1 is not prime. Res64: 8B6371CAE20EE3FA Time : 0.0 sec. user=mdettweiler [2016-03-13 20:26:49] 735*2^1422962-1 is not prime. Res64: 44704CF3764EA285 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:26:49] 825*2^1422962-1 is not prime. Res64: 9920069C33B1CDAF Time : 0.0 sec. user=mdettweiler [2016-03-13 20:26:59] 827*2^1422962-1 is not prime. Res64: 17D2C101F67AF4B4 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:26:59] 843*2^1422962-1 is not prime. Res64: B94A6C94E412ECBF Time : 0.0 sec. user=mdettweiler [2016-03-13 20:28:01] 875*2^1422962-1 is not prime. Res64: E51CB24EA0845345 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:28:01] 923*2^1422962-1 is not prime. Res64: E9AA0B2C84D7F9D5 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:29:08] 1001*2^1422962-1 is not prime. Res64: AAED108631637D8A Time : 0.0 sec. user=mdettweiler [2016-03-13 20:29:25] 643*2^1422963-1 is not prime. Res64: DA394A37C6EB79A5 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:38:12] 963*2^1422962-1 is not prime. Res64: DF14CCB7B504E037 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:38:12] 981*2^1422962-1 is not prime. Res64: C841C43C3E7D7852 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:44:56] 679*2^1422963-1 is not prime. Res64: FF73B4CD36E6D053 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:44:57] 703*2^1422963-1 is not prime. Res64: 67E70636E5ECE893 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:45:07] 741*2^1422963-1 is not prime. Res64: DA9DCF3B731B5EBD Time : 0.0 sec. user=mdettweiler [2016-03-13 20:45:07] 783*2^1422963-1 is not prime. Res64: E1478DA3E25643D7 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:46:09] 891*2^1422963-1 is not prime. Res64: 8FF198F7E97E2A57 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:46:09] 945*2^1422963-1 is not prime. Res64: 671DEF54E73FF1D0 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:46:45] 875*2^1422964-1 is not prime. Res64: 364D43231716B5D1 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:47:06] 903*2^1422964-1 is not prime. Res64: 30A3DD014B087829 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:56:18] 961*2^1422963-1 is not prime. Res64: 73A19ADFA78F3BB1 Time : 0.0 sec. user=mdettweiler [2016-03-13 20:56:19] 765*2^1422964-1 is not prime. Res64: 3692C3936D08A0D9 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:03:05] 607*2^1422965-1 is not prime. Res64: 95572A935C74F69F Time : 0.0 sec. user=mdettweiler [2016-03-13 21:03:06] 711*2^1422965-1 is not prime. Res64: 2C52DB0B5E126F8E Time : 0.0 sec. user=mdettweiler [2016-03-13 21:03:20] 715*2^1422965-1 is not prime. Res64: 8A542B96C00B905F Time : 0.0 sec. user=mdettweiler [2016-03-13 21:03:22] 787*2^1422965-1 is not prime. Res64: 6952EAD6BB0BA276 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:04:28] 611*2^1422966-1 is not prime. Res64: 8D785F6630857351 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:04:30] 627*2^1422966-1 is not prime. Res64: D69859701851EEA7 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:14:37] 695*2^1422966-1 is not prime. Res64: F3615966295A0553 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:14:37] 737*2^1422966-1 is not prime. Res64: 5FBDC9AA7493DDD3 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:20:23] 945*2^1422936-1 is not prime. Res64: 58952DBCBE7C63CE Time : 0.0 sec. user=mdettweiler [2016-03-13 21:21:22] 783*2^1422966-1 is not prime. Res64: 320CD569E42106FE Time : 0.0 sec. user=mdettweiler [2016-03-13 21:21:22] 861*2^1422966-1 is not prime. Res64: 8B839475434710F3 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:21:40] 917*2^1422966-1 is not prime. Res64: 59F8827EBE5B8A92 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:21:41] 921*2^1422966-1 is not prime. Res64: C20E073959E93422 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:22:14] 831*2^1422967-1 is not prime. Res64: 816B50DC33EA6B43 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:22:49] 633*2^1422967-1 is not prime. Res64: E0587877787F9937 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:22:49] 673*2^1422967-1 is not prime. Res64: 8F1090014AF4CEC9 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:32:50] 871*2^1422967-1 is not prime. Res64: 38E1DF00413E612A Time : 0.0 sec. user=mdettweiler [2016-03-13 21:32:50] 891*2^1422967-1 is not prime. Res64: CB0C6E50CF6F2864 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:39:00] 975*2^1422967-1 is not prime. Res64: D4D57EC5D89AEA0D Time : 0.0 sec. user=mdettweiler [2016-03-13 21:39:22] 985*2^1422967-1 is not prime. Res64: 3A95E08C367CA07F Time : 0.0 sec. user=mdettweiler [2016-03-13 21:39:22] 689*2^1422968-1 is not prime. Res64: B5CC1614A6D50DB2 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:39:53] 753*2^1422968-1 is not prime. Res64: 9E261DF636A36B2B Time : 0.0 sec. user=mdettweiler [2016-03-13 21:39:53] 773*2^1422968-1 is not prime. Res64: FDB6D2F8AD82A2B8 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:40:55] 875*2^1422968-1 is not prime. Res64: 423803EB011E195A Time : 0.0 sec. user=mdettweiler [2016-03-13 21:40:55] 609*2^1422969-1 is not prime. Res64: AF82C4C812F72B23 Time : 0.0 sec. user=mdettweiler [2016-03-13 21:58:07] 993*2^1422971-1 is not prime. Res64: A029ACAE96BBA562 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:15:33] 653*2^1422972-1 is not prime. Res64: F2F8E881E6B72C71 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:15:39] 693*2^1422972-1 is not prime. Res64: 401595C5BDCCCC0B Time : 0.0 sec. user=mdettweiler [2016-03-13 22:17:57] 745*2^1422969-1 is not prime. Res64: D78AB30C0B56CDE5 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:17:57] 807*2^1422969-1 is not prime. Res64: 8353405A9ECB703B Time : 0.0 sec. user=mdettweiler [2016-03-13 22:17:58] 817*2^1422969-1 is not prime. Res64: B635A49501A42A60 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:17:58] 889*2^1422969-1 is not prime. Res64: AF5FDDC3B41C521E Time : 0.0 sec. user=mdettweiler [2016-03-13 22:17:59] 979*2^1422969-1 is not prime. Res64: CB8CA3123F4597DC Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:13] 635*2^1422970-1 is not prime. Res64: BEF4AE5AF4670370 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:14] 665*2^1422970-1 is not prime. Res64: 9F287A2B15284837 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:14] 717*2^1422970-1 is not prime. Res64: 9B4D732B5918AA17 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:15] 743*2^1422970-1 is not prime. Res64: 21BABD27FD69B098 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:15] 843*2^1422970-1 is not prime. Res64: D4032C852B45A5FF Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:56] 885*2^1422970-1 is not prime. Res64: B2E60E0A5B67DAB2 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:57] 911*2^1422970-1 is not prime. Res64: BFDD28FFE6C8B836 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:57] 917*2^1422970-1 is not prime. Res64: 41CC5E9879A948E1 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:58] 923*2^1422970-1 is not prime. Res64: 1A65013B6F8C98F3 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:24:58] 975*2^1422970-1 is not prime. Res64: BC3C93B1E9778393 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:25:46] 987*2^1422970-1 is not prime. Res64: C59A2F0C3F9E8304 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:25:46] 733*2^1422971-1 is not prime. Res64: 8E97B08215A96682 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:25:47] 741*2^1422971-1 is not prime. Res64: 93416118CB45793C Time : 0.0 sec. user=mdettweiler [2016-03-13 22:25:47] 759*2^1422971-1 is not prime. Res64: 9BE998FC6A7B3F9A Time : 0.0 sec. user=mdettweiler [2016-03-13 22:25:48] 955*2^1422971-1 is not prime. Res64: 2D11529F0BB920D0 Time : 0.0 sec. user=mdettweiler [2016-03-13 22:33:22] 679*2^1422975-1 is not prime. Res64: 478DA6BD7942A7D2 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:04:35] 719*2^1422972-1 is not prime. Res64: 345F2951D13B2FEC Time : 0.0 sec. user=mdettweiler [2016-03-13 23:04:36] 857*2^1422972-1 is not prime. Res64: D4A237D6918547BE Time : 0.0 sec. user=mdettweiler [2016-03-13 23:04:37] 983*2^1422972-1 is not prime. Res64: 3A9B65A56DA65F49 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:04:38] 609*2^1422973-1 is not prime. Res64: AF02459D45FEC8F9 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:04:39] 699*2^1422973-1 is not prime. Res64: 2CB0BF24D83C4803 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:10:23] 721*2^1422973-1 is not prime. Res64: F5612A491530F9B5 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:10:23] 727*2^1422973-1 is not prime. Res64: F8562303EADEF027 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:10:24] 769*2^1422973-1 is not prime. Res64: 23AF412D7AD2D1E9 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:10:25] 849*2^1422973-1 is not prime. Res64: ED7B4ED308C21807 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:10:25] 615*2^1422974-1 is not prime. Res64: 9B962F03172CAAD7 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:08] 665*2^1422974-1 is not prime. Res64: 65328CDC0872D44B Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:09] 747*2^1422974-1 is not prime. Res64: 10DDE944C58361BD Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:09] 857*2^1422974-1 is not prime. Res64: AD9953216F30D215 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:09] 885*2^1422974-1 is not prime. Res64: 1BF510694F9370CF Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:10] 663*2^1422975-1 is not prime. Res64: 52AD26B10E987E5B Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:37] 859*2^1422975-1 is not prime. Res64: 276469EF106E3699 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:37] 871*2^1422975-1 is not prime. Res64: E971198D42F717EC Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:38] 963*2^1422975-1 is not prime. Res64: 0A3B703FE5640490 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:38] 985*2^1422975-1 is not prime. Res64: 17D48062BB5F69CF Time : 0.0 sec. user=mdettweiler [2016-03-13 23:12:39] 657*2^1422976-1 is not prime. Res64: 8CB9403FB2A61EA3 Time : 0.0 sec. user=mdettweiler [2016-03-13 23:57:03] 675*2^1422976-1 is not prime. Res64: 40485FEA7B0B039C Time : 0.0 sec. user=mdettweiler [2016-03-13 23:57:03] 695*2^1422976-1 is not prime. Res64: B40BE4D71DAB3EDA Time : 0.0 sec. user=mdettweiler [2016-03-13 23:57:04] 755*2^1422976-1 is not prime. Res64: 550B3D490FFD90BF Time : 0.0 sec. user=mdettweiler [2016-03-13 23:57:04] 803*2^1422976-1 is not prime. Res64: 245BC3CE8EB1EA9F Time : 0.0 sec. user=mdettweiler [2016-03-13 23:57:04] 807*2^1422976-1 is not prime. Res64: BD9A108A278C11F5 Time : 0.0 sec.