TSTP Solution File: SWV424-1.350 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV424-1.350 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n022.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Wed Jul 20 17:59:15 EDT 2022
% Result : Timeout 285.72s 285.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : SWV424-1.350 : TPTP v8.1.0. Released v3.5.0.
% 0.12/0.14 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.35 % Computer : n022.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Wed Jun 15 09:13:32 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.36 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.13/0.36 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.13/0.36 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.13/0.41 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.20/0.49 #elt|#instances
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 353| -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.47/0.64 (SAT)(equ)(fun)(SAT) 353| -123456789XLC> -. -1 -.
% 0.54/0.75 (SAT)(equ)(fun)(SAT) 353| -123456789XLC> -. -.
% 0.72/0.92 (SAT)(equ)(fun)(SAT) 353| -123456789XL
% 0.91/1.09 (SAT)(equ)(fun)(SAT) 353| -.
% 1.00/1.18 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 1.16/1.38 (SAT)(equ)(fun)(SAT) 353| -123456789XLC> -. -. -.
% 1.30/1.48 (SAT)(equ)(fun)(SAT) 353| -123456789XLC>
% 1.46/1.63 (SAT)(equ)(fun)(SAT) 353| -123456789XL
% 1.54/1.74 (SAT)(equ)(fun)(SAT) 353| -.
% 2.06/2.25 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 2.67/2.90 (SAT)(equ)(fun)(SAT) 353| -. -. -. -.
% 2.77/2.92 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 3.43/3.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -. -1
% 3.43/3.61 (SAT)(equ)(fun)(SAT) 353| -.
% 3.43/3.62 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 4.10/4.28 (SAT)(equ)(fun)(SAT) 353| -1 -. -1 -1 -. -. -. -1 -1 -.
% 4.14/4.32 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -. -. -.
% 4.18/4.34 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 4.80/5.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 353| -1 -.
% 4.80/5.02 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 4.89/5.03 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 5.49/5.69 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -. -.
% 5.57/5.72 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 5.57/5.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 5.57/5.76 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 6.20/6.41 (SAT)(equ)(fun)(SAT) 353| -. -.
% 6.30/6.42 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 6.84/7.07 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -. -.
% 6.96/7.11 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -12 -12 -. -. -. -. -. -. -.
% 7.02/7.17 (SAT)(equ)(fun)(SAT) 353| -12 -. -. -12 -1 -1 -. -. -. -. -1 -. -.
% 7.10/7.23 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -. -1 -.
% 7.10/7.28 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -. -. -. -.
% 7.15/7.32 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.22/7.36 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.24/7.40 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.29/7.44 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.31/7.47 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.31/7.51 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.40/7.55 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.45/7.59 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.45/7.63 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.54/7.67 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.56/7.71 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.62/7.75 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.62/7.79 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.68/7.83 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.73/7.86 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.73/7.90 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.73/7.94 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.82/7.98 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.86/8.02 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.91/8.06 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.91/8.10 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 7.98/8.14 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.05/8.18 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.05/8.22 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.05/8.26 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.14/8.30 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.20/8.34 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.20/8.38 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.30/8.43 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.30/8.47 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.36/8.51 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.36/8.55 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.44/8.59 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.50/8.63 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.50/8.67 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.50/8.71 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.60/8.75 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.60/8.80 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.68/8.84 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.75/8.88 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.79/8.92 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.79/8.96 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.79/9.00 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.88/9.05 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.88/9.09 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.96/9.13 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 8.96/9.17 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.09/9.22 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.09/9.26 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.09/9.30 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.20/9.35 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.20/9.39 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.28/9.43 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.28/9.48 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.37/9.52 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.37/9.56 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.46/9.61 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.46/9.65 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.56/9.69 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.58/9.74 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.58/9.78 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.69/9.83 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.69/9.87 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.78/9.92 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.78/9.96 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.87/10.00 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.87/10.05 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 9.97/10.10 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.01/10.14 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.01/10.19 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.11/10.23 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.11/10.28 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.18/10.33 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.25/10.37 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.25/10.42 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.35/10.47 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.38/10.52 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.41/10.56 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.48/10.61 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.48/10.65 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.55/10.70 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.55/10.75 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.67/10.80 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.72/10.85 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.72/10.89 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.81/10.94 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.86/10.99 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.86/11.04 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 10.95/11.09 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.00/11.14 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.03/11.19 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.11/11.23 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.16/11.29 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.16/11.33 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.26/11.39 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.28/11.44 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.33/11.49 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.38/11.54 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.44/11.59 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.44/11.64 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.53/11.69 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.62/11.74 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.62/11.79 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.68/11.85 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.75/11.90 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.75/11.95 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.85/12.00 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.92/12.06 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 11.92/12.11 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.01/12.16 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.06/12.21 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.14/12.27 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.19/12.32 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.22/12.37 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.31/12.42 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.31/12.48 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.38/12.53 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.47/12.59 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.50/12.64 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.50/12.70 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.59/12.75 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.67/12.80 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.67/12.86 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.79/12.91 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.80/12.97 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.80/13.03 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.91/13.08 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.99/13.13 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 12.99/13.19 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.08/13.25 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.17/13.30 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.17/13.36 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.29/13.42 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.29/13.48 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.38/13.53 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.47/13.59 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.47/13.65 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.57/13.70 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.61/13.76 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.68/13.82 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.75/13.88 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.75/13.94 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.88/14.00 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.91/14.06 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 13.98/14.12 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.06/14.18 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.06/14.24 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.17/14.30 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.23/14.36 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.23/14.42 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.37/14.49 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.37/14.55 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.50/14.61 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.53/14.68 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.61/14.74 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.67/14.80 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.67/14.86 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.82/14.93 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.83/14.99 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.89/15.06 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 14.95/15.12 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.07/15.19 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.13/15.26 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.20/15.32 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.27/15.39 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.27/15.46 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.39/15.52 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.42/15.59 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.51/15.65 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.58/15.72 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.66/15.79 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.72/15.85 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.72/15.92 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.81/15.98 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 15.89/16.05 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.00/16.11 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.00/16.18 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.09/16.24 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.17/16.30 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.17/16.37 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.30/16.43 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.30/16.50 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.41/16.56 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.49/16.63 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.49/16.69 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.58/16.76 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.69/16.82 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.69/16.89 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.79/16.95 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.88/17.02 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 16.88/17.08 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.01/17.15 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.01/17.22 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.10/17.29 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.18/17.35 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.28/17.42 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.31/17.49 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.40/17.56 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.48/17.62 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.57/17.69 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.62/17.76 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.70/17.84 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.76/17.90 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.84/17.97 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.92/18.04 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 17.92/18.11 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.06/18.18 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.06/18.25 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.17/18.33 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.23/18.40 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.36/18.47 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.36/18.54 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.48/18.61 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.53/18.68 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.60/18.76 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.67/18.83 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.80/18.90 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.82/18.98 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.92/19.05 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 18.98/19.12 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.06/19.20 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.12/19.27 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.22/19.35 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.30/19.42 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.38/19.50 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.41/19.57 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.50/19.65 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.58/19.73 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.70/19.80 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.71/19.88 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.81/19.96 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.90/20.04 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 19.99/20.11 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.08/20.19 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.10/20.27 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.20/20.35 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.29/20.43 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.38/20.51 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.41/20.59 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.51/20.67 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.59/20.75 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.71/20.84 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.81/20.92 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.88/21.01 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 20.97/21.09 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.02/21.18 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.11/21.26 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.17/21.34 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.30/21.42 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.32/21.50 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.47/21.58 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.47/21.66 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.62/21.74 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.69/21.83 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.75/21.91 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.87/21.99 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.92/22.07 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 21.99/22.16 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.06/22.24 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.19/22.32 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.21/22.41 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.38/22.49 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.46/22.58 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.51/22.66 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.61/22.75 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.69/22.83 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.81/22.92 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.81/23.01 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.90/23.09 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 22.99/23.18 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.11/23.27 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.22/23.36 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.30/23.44 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.39/23.53 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.50/23.62 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.60/23.71 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.69/23.80 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.78/23.89 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.82/23.98 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.92/24.08 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 23.99/24.17 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.12/24.26 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.22/24.36 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.29/24.45 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.43/24.54 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.52/24.64 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.58/24.73 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.71/24.82 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.82/24.92 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.88/25.02 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 24.98/25.12 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.10/25.21 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.16/25.31 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.28/25.41 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.40/25.51 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.47/25.61 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.60/25.70 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.62/25.81 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.79/25.90 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.90/26.01 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 25.92/26.10 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.10/26.21 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.20/26.30 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.30/26.41 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.39/26.51 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.51/26.61 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.51/26.72 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.70/26.83 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.79/26.93 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 26.91/27.04 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.00/27.14 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.09/27.25 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.22/27.36 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.32/27.46 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.47/27.57 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.52/27.68 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.62/27.79 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.78/27.90 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.83/28.01 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 27.97/28.12 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.11/28.23 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.21/28.34 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.27/28.45 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.44/28.57 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.57/28.68 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.69/28.80 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.81/28.91 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 28.88/29.03 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.03/29.14 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.12/29.26 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.27/29.37 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.33/29.50 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.51/29.61 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.61/29.74 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.71/29.85 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.79/29.98 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 29.91/30.11 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 30.11/30.24 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 30.20/30.37 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 30.40/30.50 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -1 -.
% 30.50/30.63 (SAT)(equ)(fun)(SAT) 353| -1 -. -. -1 -1 -. -1
% 30.59/30.75 (SAT)(equ)(fun)(SAT) 353| -. -1 -. -. -1 -1 -. -1 -. -.
% 30.87/31.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -. -1 -. -1
% 31.10/31.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 31.34/31.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 31.57/31.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 31.78/31.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 31.94/32.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 32.16/32.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 32.38/32.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 32.70/32.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 32.83/33.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 33.11/33.21 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 33.30/33.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 33.53/33.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 33.70/33.88 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 33.91/34.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 34.19/34.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 34.37/34.50 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 34.60/34.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 34.79/34.90 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 34.99/35.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 35.14/35.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 35.39/35.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 35.57/35.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 35.74/35.88 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 35.97/36.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 36.13/36.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 36.40/36.50 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 36.53/36.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 36.79/36.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 36.92/37.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 37.12/37.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 37.32/37.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 37.49/37.67 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 37.70/37.85 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 37.93/38.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 38.08/38.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 38.38/38.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 38.55/38.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 38.85/39.02 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 39.10/39.22 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 39.28/39.42 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 39.52/39.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 39.74/39.84 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 39.91/40.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 40.14/40.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 40.32/40.43 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 40.51/40.62 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 40.63/40.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 40.91/41.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 41.12/41.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 41.31/41.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 41.54/41.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 41.78/41.88 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 41.94/42.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 42.11/42.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 42.35/42.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 42.57/42.66 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 42.80/42.90 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 42.95/43.10 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 43.20/43.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 43.40/43.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 43.54/43.69 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 43.78/43.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 43.94/44.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 44.13/44.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 44.41/44.50 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 44.54/44.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 44.80/44.91 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 45.01/45.12 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 45.24/45.36 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 45.48/45.57 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 45.68/45.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 45.94/46.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 46.16/46.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 46.41/46.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 46.59/46.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 46.90/46.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 47.15/47.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 47.36/47.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 47.64/47.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 47.91/47.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 48.13/48.22 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 48.33/48.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 48.65/48.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 48.89/49.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 49.29/49.43 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 49.74/49.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 49.98/50.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 50.19/50.33 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 50.44/50.57 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 50.65/50.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 50.95/51.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 51.21/51.30 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 51.42/51.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 51.65/51.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 51.91/52.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 52.21/52.30 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 52.43/52.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 52.66/52.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 52.93/53.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 53.19/53.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 53.41/53.53 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 53.69/53.78 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 53.94/54.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 54.15/54.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 54.45/54.53 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 54.63/54.78 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 54.92/55.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 55.15/55.27 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 55.41/55.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 55.71/55.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 56.00/56.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 56.23/56.34 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 56.48/56.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 56.74/56.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 56.92/57.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 57.19/57.32 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 57.44/57.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 57.67/57.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 57.97/58.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 58.21/58.30 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 58.50/58.57 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 58.91/58.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 59.12/59.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 59.42/59.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 59.66/59.74 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 59.89/60.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 60.16/60.25 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 60.43/60.51 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 60.68/60.78 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 60.89/61.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 61.19/61.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 61.41/61.53 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 61.73/61.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 61.95/62.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 62.17/62.31 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 62.45/62.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 62.77/62.84 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 63.01/63.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 63.25/63.35 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 63.49/63.60 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 63.79/63.87 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 64.03/64.14 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 64.28/64.39 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 64.59/64.67 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 64.82/64.92 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 65.07/65.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 65.36/65.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 65.57/65.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 65.82/65.95 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 66.04/66.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 66.36/66.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 66.58/66.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 66.84/66.90 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 67.11/67.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 67.29/67.39 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 67.54/67.62 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 67.73/67.85 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 68.05/68.11 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 68.27/68.34 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 68.49/68.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 68.69/68.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 68.99/69.05 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 69.22/69.31 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 69.46/69.53 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 69.70/69.76 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 69.91/69.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 70.12/70.21 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 70.37/70.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 70.59/70.66 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 70.83/70.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 70.99/71.12 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 71.26/71.35 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 71.50/71.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 71.75/71.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 72.01/72.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 72.24/72.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 72.39/72.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 72.71/72.77 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 72.93/73.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 73.18/73.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 73.40/73.47 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 73.64/73.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 73.88/73.93 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 74.20/74.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 74.39/74.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 74.71/74.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 74.91/75.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 75.21/75.27 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 75.46/75.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 75.64/75.75 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 75.91/75.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 76.13/76.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 76.33/76.45 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 76.64/76.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 76.89/76.95 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 77.12/77.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 77.39/77.45 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 77.63/77.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 77.88/77.97 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 78.12/78.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 78.40/78.47 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 78.61/78.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 78.90/78.96 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 79.16/79.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 79.35/79.45 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 79.65/79.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 79.95/79.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 80.20/80.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 80.50/80.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 81.44/81.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 81.72/81.75 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 82.66/82.74 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 82.96/82.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 83.21/83.25 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 83.56/83.61 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 83.84/83.90 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 84.11/84.15 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 84.40/84.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 84.65/84.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 84.88/84.93 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 85.18/85.21 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 85.44/85.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 85.67/85.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 85.92/86.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 86.21/86.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 86.46/86.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 86.67/86.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 86.92/86.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 87.42/87.45 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 87.67/87.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 87.92/87.97 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 88.15/88.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 88.43/88.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 88.92/88.97 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 89.22/89.25 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 89.48/89.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 89.78/89.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 90.03/90.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 90.38/90.40 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 90.63/90.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 90.86/90.91 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 91.16/91.19 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 91.38/91.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 91.65/91.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 91.89/91.94 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 92.14/92.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 92.43/92.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 92.63/92.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 92.98/92.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 93.28/93.30 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 93.49/93.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 93.79/93.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 94.03/94.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 94.27/94.31 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 94.57/94.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 94.78/94.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 95.05/95.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 95.26/95.31 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 95.57/95.61 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 95.81/95.86 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 96.12/96.12 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 96.42/96.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 96.74/96.74 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 96.96/96.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 97.18/97.22 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 97.43/97.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 97.66/97.72 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 97.95/97.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 98.23/98.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 98.47/98.50 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 99.18/99.22 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 99.44/99.47 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 99.74/99.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 99.97/100.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 100.28/100.27 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 100.56/100.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 100.78/100.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 101.10/101.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 101.40/101.40 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 101.66/101.65 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 101.86/101.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 102.18/102.17 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 102.46/102.45 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 102.72/102.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 103.00/102.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 103.20/103.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 103.50/103.51 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 103.76/103.76 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 104.00/104.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 104.30/104.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 104.95/104.94 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 105.23/105.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 105.49/105.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 105.73/105.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 105.99/105.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 106.17/106.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 106.51/106.50 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 106.81/106.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 107.07/107.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 107.31/107.32 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 108.02/108.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 108.26/108.27 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 108.64/108.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 108.88/108.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 109.20/109.17 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 109.48/109.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 109.70/109.75 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 110.00/110.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 110.28/110.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 110.58/110.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 110.87/110.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -1
% 111.12/111.10 (SAT)(equ)(fun)(SAT) 353| -. -. -. -1 -.
% 111.37/111.35 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 111.52/111.53 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 111.89/111.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 111.97/111.97 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 112.03/112.00 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 112.03/112.05 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 112.41/112.40 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 112.51/112.48 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 112.55/112.51 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 112.59/112.56 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 112.91/112.91 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 113.01/112.99 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 113.01/113.02 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 113.11/113.07 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 113.41/113.43 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 113.55/113.51 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 113.55/113.54 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 113.59/113.58 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 114.00/113.94 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 114.07/114.02 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 114.07/114.05 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 114.13/114.10 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 114.50/114.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 114.58/114.54 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 114.61/114.57 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 114.61/114.62 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 115.01/114.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 115.12/115.07 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 115.12/115.10 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 115.20/115.14 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 115.54/115.50 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 115.59/115.58 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 115.59/115.61 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 115.68/115.66 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 116.06/116.02 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 116.12/116.11 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 116.12/116.14 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 116.22/116.19 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 116.52/116.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 116.67/116.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 116.71/116.65 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 116.71/116.70 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 117.06/117.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 117.16/117.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 117.20/117.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 117.20/117.20 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 117.60/117.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 117.68/117.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 117.68/117.65 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 117.73/117.70 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 118.10/118.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 118.12/118.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 118.18/118.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 118.22/118.20 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 118.59/118.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 118.68/118.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 118.68/118.65 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 118.72/118.70 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 119.04/119.05 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 119.18/119.13 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 119.20/119.16 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 119.20/119.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 119.60/119.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 119.66/119.64 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 119.72/119.67 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 119.76/119.71 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 120.12/120.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 120.12/120.14 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 120.22/120.17 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 120.26/120.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 120.61/120.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 120.61/120.65 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 120.73/120.67 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 120.78/120.72 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 121.08/121.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 121.14/121.15 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 121.22/121.17 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 121.25/121.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 121.63/121.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 121.70/121.64 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 121.74/121.67 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 121.74/121.72 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 122.09/122.05 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 122.13/122.13 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 122.21/122.16 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 122.25/122.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 122.60/122.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 122.69/122.64 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 122.69/122.67 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 122.75/122.72 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 123.13/123.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 123.13/123.14 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 123.23/123.18 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 123.27/123.23 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 123.63/123.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 123.72/123.67 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 123.72/123.70 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 123.72/123.74 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 124.13/124.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 124.23/124.17 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 124.28/124.20 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 124.32/124.26 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 124.66/124.61 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 124.72/124.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 124.79/124.72 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 124.85/124.77 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 125.15/125.13 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 125.24/125.21 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 125.30/125.24 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 125.34/125.29 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 125.71/125.65 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 125.79/125.73 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 125.79/125.76 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 125.84/125.80 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 126.15/126.16 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 126.31/126.24 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 126.31/126.27 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 126.39/126.32 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 126.71/126.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 126.83/126.76 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 126.83/126.79 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 126.83/126.84 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 127.23/127.19 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 127.33/127.27 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 127.37/127.30 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 127.42/127.36 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 127.72/127.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 127.83/127.79 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 127.89/127.82 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 127.94/127.88 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 128.25/128.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 128.36/128.32 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 128.41/128.35 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 128.43/128.40 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 128.81/128.75 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 128.85/128.83 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 128.92/128.86 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 128.96/128.92 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 129.36/129.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 129.44/129.36 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 129.44/129.39 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 129.52/129.44 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 129.86/129.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 129.96/129.87 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 129.96/129.90 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 130.03/129.96 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 130.37/130.31 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 130.42/130.39 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 130.48/130.42 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 130.54/130.48 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 130.82/130.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 130.97/130.91 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 130.97/130.94 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 131.04/130.99 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 131.35/131.35 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 131.50/131.43 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 131.52/131.46 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 131.59/131.51 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 131.95/131.87 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 132.02/131.95 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 132.04/131.98 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 132.10/132.03 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 132.45/132.38 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 132.53/132.47 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 132.53/132.50 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 132.60/132.55 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 132.96/132.91 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 133.05/132.99 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 133.09/133.02 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 133.11/133.07 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 133.44/133.42 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 133.59/133.51 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 133.59/133.54 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 133.65/133.59 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 133.95/133.94 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 134.10/134.02 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 134.14/134.05 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 134.19/134.11 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 134.53/134.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 134.53/134.54 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 134.64/134.57 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 134.70/134.62 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 135.00/134.97 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 135.06/135.05 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 135.15/135.08 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 135.17/135.13 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 135.54/135.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 135.62/135.56 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 135.66/135.59 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 135.66/135.64 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 136.05/135.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 136.16/136.07 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 136.16/136.10 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 136.22/136.15 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 136.52/136.50 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 136.61/136.58 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 136.67/136.61 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 136.74/136.66 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 137.04/137.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 137.14/137.09 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 137.18/137.12 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 137.23/137.17 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 137.59/137.53 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 137.63/137.61 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 137.72/137.64 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 137.72/137.69 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 138.10/138.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 138.16/138.11 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 138.16/138.14 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 138.27/138.20 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 138.64/138.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 138.66/138.63 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 138.74/138.66 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 138.77/138.71 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 139.13/139.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 139.23/139.14 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 139.27/139.18 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 139.27/139.23 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 139.65/139.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 139.73/139.66 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 139.77/139.69 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 139.77/139.75 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 140.17/140.10 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 140.25/140.18 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 140.25/140.21 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 140.33/140.27 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 140.69/140.62 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 140.76/140.71 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 140.82/140.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 140.86/140.79 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 141.25/141.15 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 141.33/141.24 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 141.35/141.27 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 141.35/141.32 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 141.78/141.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 141.86/141.76 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 141.88/141.80 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 141.94/141.85 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 142.26/142.21 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 142.38/142.30 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 142.38/142.33 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 142.48/142.38 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 142.84/142.75 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 142.88/142.83 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 142.96/142.86 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 142.96/142.91 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 143.38/143.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 143.46/143.36 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 143.48/143.39 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 143.53/143.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 143.85/143.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 144.00/143.89 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 144.00/143.92 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 144.06/143.98 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 144.41/144.34 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 144.46/144.42 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 144.56/144.45 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 144.60/144.51 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 144.94/144.87 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 145.02/144.96 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 145.08/144.99 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 145.08/145.04 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 145.46/145.41 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 145.56/145.49 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 145.56/145.53 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 145.69/145.58 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 146.03/145.94 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 146.07/146.02 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 146.15/146.05 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 146.19/146.10 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 146.55/146.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 146.63/146.54 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 146.69/146.57 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 146.69/146.63 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 147.07/147.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 147.15/147.08 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 147.15/147.12 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 147.25/147.17 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 147.60/147.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 147.71/147.61 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 147.71/147.64 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 147.77/147.69 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 148.16/148.05 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 148.23/148.13 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 148.25/148.17 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 148.33/148.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 148.68/148.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 148.77/148.67 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 148.77/148.70 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 148.83/148.75 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 149.20/149.11 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 149.28/149.20 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 149.34/149.23 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 149.38/149.28 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 149.69/149.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 149.84/149.72 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 149.86/149.76 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 149.86/149.81 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 150.25/150.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 150.38/150.27 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 150.42/150.30 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 150.46/150.35 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 150.78/150.72 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 150.91/150.81 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 150.96/150.84 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 150.96/150.90 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 151.34/151.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 151.39/151.35 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 151.49/151.38 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 151.54/151.43 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 151.88/151.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 152.00/151.88 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 152.00/151.91 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 152.08/151.97 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 152.39/152.33 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 152.50/152.41 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 152.56/152.44 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 152.58/152.49 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 152.95/152.85 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 153.00/152.94 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 153.08/152.98 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 153.14/153.03 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 153.48/153.39 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 153.56/153.48 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 153.62/153.51 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 153.68/153.56 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 154.04/153.92 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 154.07/154.00 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 154.07/154.04 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 154.17/154.09 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 154.57/154.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 154.65/154.54 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 154.70/154.58 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 154.70/154.63 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 155.10/155.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 155.19/155.08 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 155.19/155.12 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 155.29/155.17 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 155.65/155.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 155.70/155.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 155.77/155.66 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 155.81/155.72 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 156.18/156.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 156.25/156.16 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 156.30/156.19 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 156.30/156.24 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 156.71/156.60 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 156.78/156.68 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 156.78/156.72 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 156.85/156.77 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 157.22/157.12 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 157.30/157.20 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 157.35/157.23 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 157.38/157.29 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 157.77/157.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 157.82/157.73 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 157.87/157.76 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 157.89/157.81 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 158.25/158.16 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 158.30/158.24 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 158.40/158.28 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 158.40/158.33 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 158.81/158.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 158.87/158.76 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 158.90/158.79 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 158.96/158.85 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 159.29/159.21 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 159.42/159.30 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 159.42/159.33 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 159.49/159.39 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 159.85/159.75 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 159.91/159.84 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 160.00/159.87 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 160.06/159.93 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 160.37/160.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 160.46/160.38 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 160.53/160.42 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 160.60/160.47 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 160.94/160.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 160.99/160.92 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 161.08/160.95 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 161.13/161.00 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 161.49/161.37 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 161.56/161.46 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 161.60/161.49 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 161.68/161.55 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 161.99/161.92 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 162.10/162.00 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 162.10/162.03 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 162.20/162.09 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 162.56/162.45 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 162.60/162.54 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 162.69/162.57 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 162.73/162.63 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 163.08/163.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 163.22/163.08 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 163.22/163.12 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 163.31/163.17 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 163.68/163.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 163.68/163.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 163.77/163.65 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 163.84/163.71 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 164.20/164.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 164.29/164.16 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 164.29/164.19 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 164.39/164.25 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 164.72/164.61 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 164.80/164.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 164.87/164.73 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 164.91/164.79 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 165.27/165.15 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 165.37/165.24 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 165.41/165.27 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 165.41/165.32 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 165.80/165.67 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 165.86/165.75 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 165.90/165.79 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 165.99/165.84 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 166.33/166.19 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 166.38/166.28 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 166.38/166.31 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 166.47/166.37 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 166.85/166.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 166.92/166.82 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 166.92/166.85 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 167.05/166.91 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 167.40/167.27 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 167.50/167.35 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 167.50/167.38 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 167.50/167.44 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 167.91/167.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 168.02/167.88 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 168.02/167.92 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 168.10/167.98 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 168.43/168.33 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 168.51/168.42 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 168.58/168.45 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 168.62/168.51 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 168.98/168.88 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 169.10/168.96 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 169.13/169.00 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 169.20/169.05 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 169.50/169.42 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 169.64/169.51 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 169.64/169.54 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 169.73/169.60 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 170.09/169.97 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 170.18/170.06 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 170.18/170.10 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 170.26/170.15 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 170.63/170.53 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 170.77/170.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 170.81/170.65 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 170.87/170.71 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 171.21/171.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 171.32/171.17 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 171.32/171.20 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 171.37/171.26 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 171.72/171.63 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 171.84/171.72 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 171.91/171.75 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 171.92/171.81 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 172.32/172.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 172.39/172.27 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 172.44/172.31 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 172.51/172.37 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 172.84/172.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 172.90/172.81 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 172.99/172.85 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 173.04/172.90 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 173.35/173.27 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 173.51/173.35 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 173.51/173.39 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 173.60/173.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 173.97/173.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 174.04/173.90 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 174.04/173.94 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 174.13/174.00 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 174.51/174.37 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 174.62/174.46 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 174.62/174.49 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 174.62/174.55 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 175.08/174.93 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 175.12/175.02 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 175.21/175.05 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 175.25/175.11 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 175.63/175.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 175.72/175.57 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 175.72/175.60 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 175.79/175.66 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 176.13/176.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 176.25/176.10 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 176.29/176.13 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 176.30/176.19 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 176.67/176.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 176.75/176.63 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 176.75/176.67 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 176.87/176.72 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 177.24/177.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 177.29/177.17 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 177.37/177.21 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 177.37/177.26 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 177.73/177.62 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 177.87/177.71 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 177.92/177.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 177.92/177.79 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 178.32/178.16 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 178.41/178.25 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 178.43/178.28 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 178.48/178.34 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 178.83/178.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 178.94/178.80 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 178.94/178.83 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 179.04/178.89 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 179.40/179.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 179.48/179.35 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 179.54/179.39 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 179.54/179.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 179.99/179.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 180.08/179.91 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 180.08/179.94 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 180.16/180.00 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 180.48/180.37 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 180.55/180.46 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 180.66/180.50 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 180.69/180.56 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 181.08/180.93 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 181.14/181.02 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 181.23/181.06 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 181.26/181.12 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 181.62/181.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 181.71/181.57 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 181.76/181.61 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 181.83/181.67 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 182.20/182.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 182.29/182.13 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 182.29/182.16 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 182.34/182.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 182.76/182.60 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 182.80/182.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 182.88/182.73 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 182.94/182.79 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 183.27/183.16 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 183.39/183.25 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 183.39/183.29 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 183.49/183.35 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 183.89/183.72 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 183.96/183.81 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 183.96/183.84 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 184.07/183.91 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 184.42/184.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 184.55/184.37 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 184.55/184.41 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 184.64/184.47 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 184.99/184.84 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 185.03/184.93 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 185.12/184.96 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 185.17/185.02 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 185.55/185.40 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 185.63/185.49 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 185.70/185.53 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 185.75/185.58 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 186.07/185.96 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 186.21/186.05 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 186.21/186.08 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 186.28/186.15 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 186.67/186.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 186.79/186.61 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 186.79/186.65 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 186.89/186.71 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 187.21/187.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 187.30/187.16 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 187.37/187.20 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 187.37/187.25 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 187.79/187.61 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 187.83/187.70 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 187.89/187.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 187.95/187.79 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 188.25/188.16 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 188.44/188.25 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 188.44/188.28 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 188.53/188.34 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 188.88/188.70 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 188.96/188.79 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 189.01/188.83 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 189.04/188.89 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 189.41/189.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 189.48/189.35 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 189.55/189.38 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 189.62/189.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 189.92/189.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 190.08/189.90 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 190.08/189.93 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 190.18/189.99 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 190.52/190.35 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 190.62/190.44 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 190.62/190.48 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 190.70/190.54 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 191.08/190.91 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 191.17/190.99 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 191.23/191.03 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 191.24/191.09 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 191.66/191.47 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 191.66/191.55 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 191.77/191.59 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 191.84/191.65 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 192.14/192.02 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 192.29/192.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 192.29/192.16 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 192.37/192.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 192.74/192.60 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 192.88/192.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 192.88/192.73 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 192.96/192.78 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 193.33/193.14 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 193.42/193.23 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 193.42/193.27 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 193.48/193.32 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 193.88/193.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 193.92/193.78 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 193.92/193.81 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 194.02/193.87 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 194.40/194.24 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 194.48/194.33 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 194.48/194.37 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 194.60/194.42 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 194.93/194.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 195.06/194.89 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 195.06/194.93 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 195.17/194.99 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 195.54/195.37 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 195.63/195.46 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 195.68/195.50 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 195.68/195.55 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 196.12/195.92 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 196.14/196.01 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 196.22/196.05 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 196.28/196.11 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 196.67/196.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 196.74/196.57 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 196.74/196.61 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 196.83/196.67 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 197.19/197.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 197.31/197.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 197.33/197.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 197.33/197.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 197.73/197.57 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 197.81/197.66 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 197.89/197.70 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 197.89/197.76 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 198.29/198.11 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 198.41/198.21 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 198.41/198.24 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 198.47/198.30 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 198.87/198.66 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 198.96/198.75 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 198.96/198.78 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 199.05/198.84 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 199.38/199.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 199.48/199.29 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 199.53/199.33 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 199.55/199.39 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 199.91/199.74 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 199.98/199.83 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 200.07/199.87 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 200.10/199.92 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 200.42/200.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 200.51/200.37 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 200.59/200.41 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 200.59/200.47 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 200.99/200.83 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 201.13/200.92 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 201.13/200.96 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 201.21/201.02 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 201.57/201.41 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 201.70/201.50 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 201.74/201.54 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 201.81/201.60 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 202.14/201.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 202.27/202.07 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 202.27/202.11 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 202.36/202.17 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 202.72/202.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 202.77/202.63 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 202.85/202.66 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 202.88/202.72 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 203.25/203.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 203.38/203.19 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 203.38/203.23 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 203.51/203.30 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 203.91/203.74 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 204.00/203.84 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 204.10/203.88 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 204.14/203.95 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 204.69/204.51 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 204.84/204.70 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 204.97/204.78 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 205.11/204.90 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 205.76/205.56 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 205.89/205.68 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 205.89/205.73 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 205.98/205.81 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 206.65/206.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 206.78/206.61 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 206.90/206.70 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 206.95/206.79 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 207.40/207.22 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 207.55/207.38 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 207.64/207.47 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 207.72/207.55 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 208.23/208.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 208.31/208.14 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 208.36/208.19 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 208.45/208.27 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 208.93/208.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 209.09/208.91 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 209.13/208.96 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 209.13/209.03 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 209.66/209.47 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 209.73/209.59 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 209.81/209.63 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 209.89/209.71 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 210.31/210.15 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 210.41/210.26 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 210.49/210.31 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 210.49/210.38 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 210.91/210.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 211.01/210.91 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 211.12/210.94 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 211.19/211.00 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 211.49/211.36 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 211.64/211.44 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 211.64/211.48 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 211.72/211.53 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 212.02/211.87 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 212.08/211.96 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 212.17/211.99 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 212.24/212.04 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 212.54/212.38 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 212.60/212.47 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 212.67/212.50 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 212.67/212.56 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 213.07/212.89 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 213.14/212.98 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 213.14/213.01 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 213.22/213.07 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 213.58/213.41 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 213.69/213.49 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 213.72/213.53 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 213.72/213.58 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 214.11/213.93 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 214.20/214.01 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 214.20/214.04 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 214.29/214.10 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 214.59/214.44 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 214.72/214.52 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 214.72/214.56 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 214.72/214.61 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 215.11/214.95 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 215.17/215.03 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 215.26/215.07 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 215.28/215.12 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 215.64/215.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 215.70/215.54 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 215.76/215.57 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 215.76/215.63 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 216.07/215.97 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 216.24/216.05 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 216.24/216.09 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 216.32/216.14 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 216.62/216.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 216.71/216.57 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 216.80/216.61 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 216.83/216.66 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 217.13/217.00 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 217.23/217.08 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 217.30/217.12 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 217.30/217.17 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 217.69/217.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 217.80/217.60 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 217.83/217.64 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 217.83/217.69 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 218.22/218.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 218.29/218.11 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 218.29/218.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 218.40/218.20 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 218.75/218.54 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 218.83/218.63 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 218.83/218.66 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 218.89/218.72 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 219.27/219.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 219.35/219.14 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 219.35/219.18 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 219.41/219.23 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 219.73/219.57 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 219.87/219.66 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 219.88/219.69 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 219.95/219.75 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 220.23/220.09 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 220.32/220.18 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 220.39/220.21 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 220.39/220.26 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 220.80/220.60 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 220.90/220.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 220.91/220.73 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 220.91/220.78 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 221.33/221.13 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 221.42/221.21 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 221.42/221.25 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 221.50/221.30 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 221.80/221.65 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 221.93/221.73 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 221.95/221.77 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 222.02/221.82 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 222.32/222.16 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 222.38/222.25 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 222.48/222.28 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 222.55/222.34 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 222.87/222.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 222.95/222.77 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 222.95/222.80 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 223.05/222.85 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 223.36/223.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 223.50/223.28 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 223.50/223.32 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 223.58/223.37 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 223.91/223.71 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 223.94/223.80 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 224.02/223.83 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 224.10/223.89 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 224.42/224.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 224.51/224.32 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 224.51/224.35 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 224.63/224.41 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 224.91/224.77 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 225.04/224.87 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 225.04/224.91 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 225.14/224.96 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 225.53/225.34 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 225.61/225.43 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 225.61/225.47 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 225.74/225.53 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 226.13/225.92 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 226.19/226.01 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 226.19/226.05 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 226.32/226.11 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 226.66/226.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 226.75/226.55 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 226.75/226.59 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 226.81/226.64 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 227.19/226.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 227.26/227.08 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 227.26/227.11 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 227.34/227.17 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 227.69/227.51 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 227.81/227.60 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 227.84/227.63 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 227.84/227.69 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 228.22/228.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 228.31/228.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 228.31/228.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 228.42/228.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 228.71/228.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 228.84/228.64 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 228.84/228.67 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 228.93/228.73 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 229.29/229.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 229.38/229.16 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 229.40/229.20 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 229.45/229.25 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 229.76/229.59 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 229.85/229.68 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 229.91/229.72 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 229.98/229.77 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 230.30/230.11 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 230.37/230.20 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 230.45/230.24 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 230.50/230.29 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 230.82/230.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 230.95/230.73 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 230.95/230.77 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 231.03/230.82 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 231.34/231.17 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 231.42/231.26 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 231.52/231.29 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 231.53/231.35 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 231.85/231.69 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 231.94/231.78 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 232.04/231.82 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 232.04/231.87 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 232.42/232.22 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 232.53/232.30 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 232.56/232.34 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 232.56/232.40 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 232.93/232.74 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 233.00/232.83 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 233.00/232.86 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 233.13/232.92 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 233.46/233.27 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 233.56/233.36 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 233.62/233.39 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 233.62/233.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 234.00/233.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 234.06/233.88 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 234.14/233.92 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 234.14/233.97 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 234.51/234.32 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 234.63/234.41 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 234.66/234.44 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 234.66/234.50 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 235.03/234.85 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 235.13/234.94 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 235.13/234.97 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 235.25/235.03 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 235.52/235.37 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 235.65/235.46 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 235.65/235.50 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 235.74/235.56 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 236.10/235.90 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 236.22/235.99 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 236.25/236.03 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 236.27/236.08 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 236.57/236.43 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 236.73/236.52 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 236.73/236.55 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 236.83/236.61 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 237.17/236.95 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 237.25/237.05 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 237.31/237.08 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 237.31/237.14 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 237.71/237.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 237.76/237.58 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 237.84/237.62 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 237.84/237.67 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 238.23/238.02 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 238.34/238.11 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 238.34/238.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 238.44/238.20 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 238.76/238.55 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 238.85/238.64 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 238.85/238.68 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 238.93/238.73 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 239.23/239.07 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 239.37/239.17 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 239.37/239.20 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 239.45/239.26 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 239.81/239.61 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 239.94/239.71 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 239.98/239.75 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 239.98/239.81 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 240.37/240.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 240.51/240.28 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 240.55/240.32 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 240.58/240.38 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 240.95/240.74 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 241.03/240.84 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 241.11/240.88 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 241.16/240.94 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 241.47/241.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 241.56/241.38 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 241.64/241.41 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 241.64/241.47 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 242.04/241.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 242.06/241.91 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 242.16/241.95 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 242.16/242.00 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 242.55/242.35 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 242.63/242.44 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 242.72/242.48 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 242.78/242.53 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 243.08/242.88 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 243.21/242.97 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 243.21/243.01 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 243.21/243.07 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 243.64/243.42 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 243.68/243.51 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 243.77/243.55 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 243.83/243.61 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 244.20/243.95 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 244.28/244.05 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 244.28/244.08 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 244.36/244.14 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 244.72/244.49 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 244.81/244.59 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 244.86/244.62 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 244.86/244.68 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 245.24/245.03 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 245.34/245.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 245.34/245.16 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 245.44/245.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 245.74/245.57 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 245.87/245.66 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 245.87/245.70 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 245.96/245.75 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 246.33/246.10 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 246.44/246.20 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 246.47/246.23 (SAT)(equ)(fun)(SAT) 353| -. -1 -.
% 246.49/246.29 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 246.56/246.32 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 246.63/246.38 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 246.95/246.73 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 247.05/246.82 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 247.09/246.86 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 247.09/246.91 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 247.47/247.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 247.53/247.35 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 247.63/247.39 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 247.69/247.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 248.05/247.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 248.13/247.90 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 248.13/247.94 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 248.24/247.99 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 248.55/248.35 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 248.65/248.44 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 248.65/248.48 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 248.74/248.53 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 249.06/248.88 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 249.23/248.98 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 249.27/249.02 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 249.27/249.08 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 249.66/249.42 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 249.72/249.52 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 249.72/249.56 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 249.83/249.62 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 250.19/249.96 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 250.28/250.06 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 250.34/250.10 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 250.34/250.16 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 250.73/250.51 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 250.79/250.60 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 250.88/250.64 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 250.94/250.70 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 251.25/251.05 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 251.38/251.15 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 251.38/251.18 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 251.46/251.24 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 251.77/251.59 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 251.85/251.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 251.96/251.73 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 251.96/251.79 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 252.37/252.14 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 252.47/252.23 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 252.47/252.27 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 252.55/252.33 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 252.93/252.68 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 252.99/252.77 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 252.99/252.81 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 253.07/252.87 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 253.43/253.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 253.55/253.33 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 253.59/253.36 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 253.59/253.42 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 254.00/253.77 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 254.06/253.86 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 254.14/253.90 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 254.20/253.96 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 254.50/254.31 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 254.66/254.41 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 254.66/254.45 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 254.75/254.51 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 255.08/254.88 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 255.18/254.98 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 255.26/255.02 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 255.26/255.08 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 255.68/255.48 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 255.78/255.59 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 255.87/255.63 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 255.95/255.70 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 256.25/256.06 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 256.39/256.16 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 256.39/256.20 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 256.47/256.27 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 256.83/256.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 256.97/256.74 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 257.00/256.78 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 257.10/256.84 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 257.46/257.21 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 257.54/257.31 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 257.61/257.36 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 257.68/257.42 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 257.99/257.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 258.16/257.89 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 258.19/257.94 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 258.27/258.00 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 258.58/258.37 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 258.66/258.47 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 258.77/258.51 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 258.77/258.57 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 259.18/258.95 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 259.28/259.04 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 259.28/259.09 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 259.36/259.15 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 259.79/259.52 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 259.88/259.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 259.88/259.66 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 259.94/259.73 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 260.36/260.10 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 260.40/260.21 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 260.51/260.25 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 260.57/260.32 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 260.95/260.69 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 261.01/260.79 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 261.09/260.84 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 261.15/260.90 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 261.46/261.26 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 261.59/261.37 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 261.67/261.41 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 261.75/261.48 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 262.06/261.84 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 262.17/261.95 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 262.17/261.99 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 262.27/262.06 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 262.68/262.43 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 262.76/262.53 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 262.76/262.58 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 262.88/262.64 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 263.20/263.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 263.34/263.11 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 263.34/263.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 263.49/263.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 263.81/263.60 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 263.96/263.70 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 263.96/263.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 264.07/263.81 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 264.41/264.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 264.55/264.28 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 264.55/264.32 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 264.66/264.39 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 265.00/264.77 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 265.07/264.87 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 265.15/264.91 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 265.25/264.98 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 265.58/265.35 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 265.67/265.45 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 265.77/265.49 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 265.77/265.56 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 266.19/265.93 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 266.27/266.03 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 266.27/266.07 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 266.39/266.14 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 266.79/266.51 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 266.85/266.62 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 266.94/266.66 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 267.00/266.73 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 267.31/267.10 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 267.47/267.20 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 267.47/267.25 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 267.58/267.32 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 267.91/267.69 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 268.05/267.79 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 268.05/267.84 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 268.16/267.91 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 268.50/268.28 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 268.59/268.39 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 268.67/268.43 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 268.77/268.50 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 269.08/268.87 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 269.18/268.97 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 269.27/269.02 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 269.27/269.08 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 269.69/269.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 269.78/269.56 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 269.89/269.61 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 269.90/269.67 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 270.30/270.04 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 270.36/270.15 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 270.47/270.19 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 270.52/270.26 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 270.92/270.64 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 270.98/270.74 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 271.05/270.79 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 271.12/270.85 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 271.50/271.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 271.56/271.34 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 271.67/271.38 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 271.72/271.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 272.10/271.82 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 272.18/271.93 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 272.26/271.98 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 272.30/272.04 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 272.69/272.41 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 272.78/272.52 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 272.78/272.57 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 272.89/272.63 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 273.28/273.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 273.40/273.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 273.40/273.16 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 273.50/273.23 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 273.86/273.61 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 273.97/273.71 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 274.02/273.75 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 274.10/273.82 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 274.48/274.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 274.59/274.31 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 274.62/274.35 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 274.62/274.43 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 275.06/274.80 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 275.17/274.91 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 275.22/274.95 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 275.30/275.02 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 275.60/275.39 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 275.78/275.50 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 275.81/275.55 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 275.81/275.61 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 276.19/275.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 276.39/276.09 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 276.40/276.14 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 276.40/276.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 276.88/276.58 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 276.91/276.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 277.00/276.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 277.09/276.80 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 277.46/277.18 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 277.52/277.29 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 277.60/277.34 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 277.67/277.41 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 278.06/277.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 278.13/277.89 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 278.22/277.94 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 278.29/278.01 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 278.67/278.39 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 278.73/278.49 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 278.81/278.54 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 278.88/278.61 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 279.27/278.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 279.31/279.09 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 279.41/279.14 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 279.50/279.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 279.79/279.59 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 279.89/279.70 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 280.01/279.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 280.01/279.82 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 280.41/280.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 280.59/280.30 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 280.59/280.35 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 280.71/280.42 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 281.03/280.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 281.17/280.92 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 281.17/280.97 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 281.34/281.05 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 281.73/281.45 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 281.79/281.56 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 281.87/281.61 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 281.94/281.69 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 282.32/282.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 282.49/282.20 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 282.52/282.25 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 282.60/282.32 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 282.99/282.72 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 283.10/282.84 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 283.10/282.89 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 283.20/282.96 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 283.61/283.36 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 283.77/283.47 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 283.82/283.52 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 283.82/283.60 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 284.27/283.98 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 284.38/284.09 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 284.43/284.14 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 284.43/284.21 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 284.83/284.59 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 284.95/284.69 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 285.03/284.74 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 285.03/284.81 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 285.47/285.19 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 285.57/285.30 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 285.63/285.35 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 285.72/285.42 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 286.08/285.79 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 286.20/285.90 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 286.23/285.95 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 286.32/286.02 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 286.61/286.39 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 286.80/286.50 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 286.82/286.55 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 286.82/286.62 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 287.22/286.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 287.39/287.10 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 287.39/287.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 287.50/287.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 287.84/287.59 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 287.97/287.70 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 287.97/287.75 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 288.10/287.82 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 288.44/288.20 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 288.60/288.31 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 288.60/288.36 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 288.71/288.43 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 289.04/288.81 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 289.20/288.92 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 289.20/288.97 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 289.33/289.03 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 289.62/289.41 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 289.80/289.52 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 289.80/289.57 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 289.91/289.63 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 290.22/290.01 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 290.42/290.12 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 290.42/290.17 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 290.50/290.24 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 290.92/290.62 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 291.02/290.73 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 291.08/290.78 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 291.08/290.85 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 291.50/291.23 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 291.54/291.33 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 291.64/291.38 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 291.70/291.46 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 292.14/291.84 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 292.23/291.96 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 292.29/292.00 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 292.39/292.08 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 292.73/292.46 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 292.82/292.57 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 292.89/292.62 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 293.01/292.69 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 293.31/293.08 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 293.42/293.19 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 293.52/293.23 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 293.61/293.31 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 293.93/293.69 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 294.11/293.80 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 294.11/293.84 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 294.22/293.92 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 294.55/294.29 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 294.69/294.41 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 294.69/294.45 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 294.83/294.52 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 295.15/294.91 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 295.31/295.02 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 295.37/295.07 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 295.37/295.14 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 295.79/295.53 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 295.95/295.64 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 295.95/295.69 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 296.04/295.76 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 296.41/296.15 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 296.54/296.26 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 296.62/296.31 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 296.62/296.38 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 297.01/296.76 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 297.11/296.86 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 297.22/296.91 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 297.22/296.98 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 297.63/297.37 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 297.73/297.48 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 297.84/297.53 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 297.92/297.61 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 298.30/297.99 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 298.36/298.10 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 298.43/298.15 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 298.50/298.22 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 298.92/298.60 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 298.95/298.72 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 299.05/298.77 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 299.12/298.84 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 299.52/299.21 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -1 -.
% 299.59/299.32 (SAT)(equ)(fun)(SAT) 353| -1 -.
% 299.59/299.37 (SAT)(equ)(fun)(SAT) 353| -. -. -.
% 299.75/299.45 (SAT)(equ)(fun)(SAT) 353+ -. -. -. -. -. -. -. -.
%------------------------------------------------------------------------------