TSTP Solution File: SWV424-1.200 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV424-1.200 : 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 : Unsatisfiable 117.03s 117.09s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.13 % Problem : SWV424-1.200 : TPTP v8.1.0. Released v3.5.0.
% 0.09/0.14 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.14/0.35 % Computer : n022.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Tue Jun 14 17:56:18 EDT 2022
% 0.14/0.36 % CPUTime :
% 0.14/0.36 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.14/0.36 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.14/0.36 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.21/0.39 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.21/0.42 #elt|#instances
% 0.21/0.43 (SAT)(equ)(fun)(SAT) 203| -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.21/0.52 (SAT)(equ)(fun)(SAT) 203| -123456789XLC -. -1 -.
% 0.39/0.58 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 0.39/0.63 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 0.53/0.74 (SAT)(equ)(fun)(SAT) 203| -123456789XLC -. -. -.
% 0.65/0.81 (SAT)(equ)(fun)(SAT) 203| -.
% 0.78/0.97 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.00/1.19 (SAT)(equ)(fun)(SAT) 203| -. -. -. -.
% 1.00/1.20 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 1.20/1.41 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -1
% 1.20/1.42 (SAT)(equ)(fun)(SAT) 203| -.
% 1.27/1.43 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.41/1.63 (SAT)(equ)(fun)(SAT) 203| -1 -. -1 -1 -. -. -. -1 -1 -.
% 1.49/1.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -.
% 1.49/1.67 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.69/1.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 203| -1 -.
% 1.69/1.88 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 1.69/1.89 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 1.90/2.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -.
% 1.90/2.11 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 1.96/2.12 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 1.96/2.13 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 2.19/2.34 (SAT)(equ)(fun)(SAT) 203| -. -.
% 2.19/2.35 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 2.40/2.56 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -. -.
% 2.40/2.58 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -12 -12 -. -. -. -. -. -. -.
% 2.45/2.60 (SAT)(equ)(fun)(SAT) 203| -12 -. -. -12 -1 -1 -. -. -. -. -1 -. -.
% 2.45/2.63 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -. -1 -.
% 2.49/2.65 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -. -. -. -.
% 2.49/2.67 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.49/2.68 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.49/2.70 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.56/2.72 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.56/2.74 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.56/2.75 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.56/2.77 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.62/2.79 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.62/2.80 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.62/2.82 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.62/2.84 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.62/2.86 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.72/2.87 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.72/2.89 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.75/2.91 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.77/2.93 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.77/2.95 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.77/2.96 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.77/2.98 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.85/3.00 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.85/3.02 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.85/3.04 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.85/3.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.92/3.07 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.92/3.09 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.92/3.11 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.92/3.13 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.92/3.15 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 2.92/3.17 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.02/3.19 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.05/3.21 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.07/3.23 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.09/3.25 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.09/3.27 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.09/3.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.09/3.31 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.17/3.33 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.17/3.35 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.17/3.37 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.24/3.39 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.24/3.41 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.24/3.43 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.24/3.45 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.32/3.47 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.33/3.50 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.35/3.52 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.37/3.54 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.37/3.56 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.37/3.58 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.37/3.60 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.46/3.63 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.46/3.65 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.46/3.67 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.54/3.69 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.54/3.71 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.54/3.73 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.54/3.76 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.63/3.78 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.63/3.80 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.67/3.83 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.69/3.85 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.69/3.87 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.69/3.90 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.69/3.92 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.78/3.95 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.78/3.97 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.84/3.99 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.84/4.02 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.84/4.04 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.91/4.06 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.91/4.09 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.95/4.12 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.95/4.14 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.99/4.17 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.99/4.19 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 3.99/4.22 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.08/4.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.08/4.27 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.14/4.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.14/4.32 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.14/4.34 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.20/4.37 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.22/4.40 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.27/4.42 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.27/4.45 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.31/4.48 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.31/4.50 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.31/4.53 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.38/4.56 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.42/4.59 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.42/4.61 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.48/4.64 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.51/4.67 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.51/4.70 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.57/4.73 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.57/4.76 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.61/4.79 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.61/4.82 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.68/4.84 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.72/4.87 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.72/4.90 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.72/4.93 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.80/4.96 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.82/4.99 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.82/5.02 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.89/5.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.91/5.08 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.91/5.11 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 4.96/5.14 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.00/5.18 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.00/5.21 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.08/5.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.08/5.27 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.12/5.30 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.12/5.33 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.21/5.36 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.21/5.40 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.27/5.43 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.27/5.46 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.32/5.50 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.32/5.53 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.41/5.56 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.45/5.60 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.45/5.63 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.50/5.66 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.50/5.70 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.50/5.73 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.60/5.77 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.65/5.80 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.65/5.83 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.71/5.87 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.71/5.91 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.71/5.94 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.81/5.98 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.85/6.01 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.90/6.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.90/6.09 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 5.90/6.12 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.00/6.16 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.00/6.20 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.07/6.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.13/6.27 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.13/6.31 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.13/6.35 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.23/6.39 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.28/6.43 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.28/6.47 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.28/6.50 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.38/6.54 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.38/6.58 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.45/6.62 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.45/6.66 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.53/6.70 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.53/6.74 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.63/6.78 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.65/6.82 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.68/6.86 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.68/6.90 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.79/6.94 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.79/6.98 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.87/7.02 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.87/7.07 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.94/7.11 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 6.94/7.15 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.03/7.19 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.07/7.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.07/7.28 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.17/7.32 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.17/7.36 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.25/7.41 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.25/7.45 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.34/7.50 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.40/7.54 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.40/7.59 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.49/7.63 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.49/7.68 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.55/7.72 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.62/7.77 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.66/7.82 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.70/7.86 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.70/7.91 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.79/7.95 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.85/8.00 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.85/8.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.94/8.10 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 7.98/8.15 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 8.02/8.20 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 8.09/8.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 8.13/8.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 8.19/8.34 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -1 -.
% 8.22/8.39 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -1 -1 -. -1
% 8.28/8.44 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -1 -1 -. -1 -. -.
% 8.39/8.54 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -1 -. -1
% 8.43/8.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 8.54/8.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 8.67/8.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 8.71/8.90 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 8.84/8.99 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 8.92/9.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 8.97/9.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.03/9.24 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.16/9.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.20/9.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.30/9.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.41/9.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.41/9.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.56/9.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.60/9.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.70/9.90 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.83/9.98 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.83/10.06 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 9.98/10.14 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.08/10.23 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.16/10.31 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.23/10.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.33/10.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.38/10.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.50/10.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.57/10.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.65/10.81 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.74/10.90 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.78/10.98 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.87/11.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 10.95/11.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.08/11.23 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.10/11.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.25/11.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.32/11.49 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.40/11.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.49/11.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.55/11.74 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.63/11.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.72/11.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.83/11.99 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 11.92/12.08 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.02/12.16 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.09/12.25 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.13/12.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.24/12.42 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.32/12.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.41/12.59 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.49/12.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.60/12.76 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.67/12.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.73/12.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.86/13.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 12.90/13.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.00/13.18 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.11/13.27 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.20/13.35 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.20/13.44 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.37/13.52 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.43/13.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.53/13.69 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.58/13.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.68/13.86 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.76/13.94 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.88/14.03 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.88/14.11 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 13.99/14.20 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.07/14.28 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.14/14.37 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.28/14.45 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.37/14.54 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.44/14.62 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.55/14.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.61/14.79 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.70/14.87 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.82/14.96 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 14.91/15.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.00/15.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.05/15.22 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.15/15.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.22/15.39 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.34/15.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.41/15.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.49/15.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.60/15.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.64/15.81 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.75/15.90 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.82/15.99 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 15.92/16.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.01/16.16 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.05/16.24 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.18/16.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.23/16.42 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.37/16.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.41/16.59 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.51/16.68 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.62/16.76 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.71/16.85 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.71/16.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.88/17.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.97/17.11 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 16.99/17.19 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.09/17.28 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.16/17.36 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.29/17.45 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.29/17.54 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.48/17.62 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.55/17.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.65/17.79 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.69/17.88 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.78/17.97 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 17.85/18.05 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.01/18.14 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.10/18.24 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.15/18.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.28/18.42 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.31/18.51 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.45/18.60 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.55/18.69 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.63/18.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.73/18.87 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.80/18.96 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 18.89/19.05 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.00/19.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.03/19.22 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.15/19.31 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.23/19.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.32/19.49 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.40/19.58 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.53/19.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.58/19.76 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.63/19.85 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.77/19.94 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.81/20.03 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 19.96/20.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.07/20.21 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.11/20.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.21/20.38 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.34/20.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.40/20.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.49/20.66 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.56/20.75 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.70/20.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.70/20.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.88/21.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 20.95/21.11 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.05/21.20 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.09/21.28 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.18/21.37 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.25/21.47 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.41/21.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.50/21.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.55/21.74 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.68/21.83 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.71/21.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.85/22.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 21.95/22.11 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.03/22.20 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.13/22.29 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.23/22.38 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.34/22.47 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.40/22.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.53/22.66 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.62/22.75 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.68/22.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.72/22.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.86/23.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 22.99/23.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.04/23.21 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.17/23.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.22/23.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.36/23.49 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.42/23.59 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.51/23.68 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.61/23.77 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.74/23.87 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.80/23.96 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.89/24.06 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 23.96/24.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 24.10/24.24 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 24.10/24.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 24.28/24.43 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 24.35/24.52 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 24.48/24.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1
% 24.49/24.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -.
% 24.65/24.80 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 24.65/24.85 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 24.81/24.98 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 24.81/25.01 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 24.81/25.02 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 24.90/25.05 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.04/25.17 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 25.04/25.20 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 25.09/25.22 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 25.09/25.24 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.21/25.37 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 25.26/25.40 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 25.26/25.41 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 25.26/25.43 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.44/25.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 25.44/25.59 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 25.44/25.60 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 25.44/25.62 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.61/25.75 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 25.64/25.78 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 25.64/25.80 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 25.64/25.82 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.80/25.95 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 25.84/25.98 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 25.84/25.99 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 25.84/26.01 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.96/26.14 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 26.03/26.17 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 26.03/26.19 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 26.03/26.21 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.21/26.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 26.21/26.37 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 26.21/26.38 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 26.26/26.40 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.38/26.53 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 26.38/26.56 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 26.44/26.58 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 26.44/26.60 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.58/26.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 26.63/26.76 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 26.63/26.77 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 26.63/26.79 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.77/26.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 26.84/26.96 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 26.84/26.97 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 26.84/26.99 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.93/27.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 27.02/27.15 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 27.02/27.17 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 27.02/27.19 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 27.18/27.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 27.21/27.35 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 27.21/27.36 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 27.21/27.39 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 27.38/27.52 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 27.38/27.55 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 27.38/27.56 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 27.45/27.58 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 27.51/27.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 27.62/27.75 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 27.62/27.76 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 27.62/27.78 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 27.77/27.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 27.77/27.94 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 27.77/27.95 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 27.85/27.98 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 27.90/28.11 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 27.99/28.14 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 27.99/28.15 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 27.99/28.17 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 28.17/28.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 28.21/28.34 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 28.22/28.35 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 28.22/28.37 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 28.37/28.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 28.37/28.53 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 28.37/28.55 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 28.45/28.57 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 28.52/28.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 28.61/28.73 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 28.61/28.75 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 28.61/28.77 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 28.67/28.79 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 28.76/28.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -.
% 28.81/28.95 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 28.84/28.97 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 28.95/29.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 28.95/29.13 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 29.02/29.15 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 29.05/29.17 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.14/29.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 29.21/29.33 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 29.21/29.35 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 29.25/29.37 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.37/29.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 29.37/29.53 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 29.43/29.55 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 29.44/29.57 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.53/29.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 29.53/29.73 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 29.62/29.75 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 29.62/29.77 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.74/29.90 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 29.79/29.93 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 29.79/29.94 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 29.79/29.97 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.94/30.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 29.99/30.13 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 30.02/30.15 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 30.02/30.17 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 30.16/30.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 30.16/30.33 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 30.16/30.35 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 30.24/30.37 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 30.33/30.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 30.33/30.53 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 30.42/30.55 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 30.42/30.57 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 30.57/30.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 30.62/30.73 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 30.62/30.75 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 30.62/30.77 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 30.77/30.90 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 30.77/30.93 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 30.77/30.95 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 30.85/30.97 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 30.92/31.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 31.02/31.14 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 31.02/31.15 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 31.02/31.17 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 31.17/31.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 31.17/31.34 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 31.17/31.35 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 31.17/31.38 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 31.39/31.51 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 31.39/31.54 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 31.39/31.55 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 31.39/31.58 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 31.58/31.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 31.62/31.74 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 31.62/31.76 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 31.62/31.78 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 31.77/31.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 31.77/31.95 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 31.77/31.96 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 31.86/31.99 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 31.92/32.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 32.01/32.15 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 32.01/32.16 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 32.07/32.19 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.17/32.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 32.23/32.35 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 32.23/32.37 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 32.23/32.39 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.35/32.52 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 32.43/32.56 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 32.43/32.57 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 32.47/32.59 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.61/32.72 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 32.61/32.76 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 32.66/32.77 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 32.66/32.79 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.78/32.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 32.84/32.96 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 32.84/32.97 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 32.84/33.00 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.94/33.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 33.03/33.16 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 33.03/33.18 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 33.08/33.20 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 33.19/33.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 33.25/33.37 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 33.25/33.38 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 33.25/33.41 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 33.40/33.54 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 33.44/33.58 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 33.44/33.59 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 33.44/33.62 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 33.57/33.75 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 33.65/33.78 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 33.65/33.80 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 33.70/33.82 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 33.82/33.95 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 33.82/33.98 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 33.89/34.00 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 33.89/34.02 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 34.02/34.16 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 34.02/34.19 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 34.02/34.21 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 34.10/34.23 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 34.17/34.36 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 34.27/34.40 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 34.30/34.41 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 34.32/34.44 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 34.42/34.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 34.49/34.61 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 34.49/34.62 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 34.49/34.65 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 34.67/34.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 34.70/34.81 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 34.70/34.83 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 34.70/34.86 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 34.87/34.99 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 34.87/35.03 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 34.87/35.04 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 34.87/35.07 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 35.02/35.20 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 35.11/35.24 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 35.11/35.25 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 35.11/35.28 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 35.26/35.41 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 35.32/35.44 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 35.32/35.46 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 35.32/35.48 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 35.48/35.62 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 35.48/35.65 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 35.56/35.67 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 35.59/35.69 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 35.72/35.83 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 35.72/35.86 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 35.76/35.88 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 35.76/35.90 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 35.92/36.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 35.95/36.07 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 35.95/36.09 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 35.95/36.11 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.06/36.25 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 36.16/36.28 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 36.19/36.30 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 36.19/36.32 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.34/36.46 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 36.34/36.49 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 36.34/36.51 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 36.34/36.53 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.55/36.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 36.60/36.70 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 36.60/36.72 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 36.60/36.74 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.76/36.88 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 36.76/36.91 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 36.81/36.92 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 36.84/36.95 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.98/37.08 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 36.98/37.12 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 36.98/37.13 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 37.04/37.16 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 37.14/37.29 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 37.14/37.32 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 37.23/37.34 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 37.23/37.36 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 37.38/37.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 37.42/37.53 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 37.42/37.55 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 37.42/37.58 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 37.58/37.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 37.58/37.74 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 37.58/37.76 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 37.68/37.78 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 37.72/37.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 37.83/37.95 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 37.83/37.97 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 37.83/37.99 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 37.98/38.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 37.98/38.16 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 37.98/38.18 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 38.09/38.20 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.19/38.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 38.19/38.37 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 38.28/38.39 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 38.28/38.42 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.43/38.55 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 38.43/38.59 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 38.43/38.61 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 38.52/38.63 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.66/38.77 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 38.68/38.80 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 38.71/38.82 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 38.73/38.85 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.82/38.98 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 38.88/39.02 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 38.88/39.03 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 38.88/39.06 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 39.05/39.19 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 39.12/39.23 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 39.12/39.25 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 39.16/39.27 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 39.27/39.41 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 39.32/39.44 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 39.35/39.46 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 39.35/39.48 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 39.46/39.62 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 39.46/39.66 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 39.56/39.67 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 39.59/39.70 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 39.69/39.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 39.74/39.87 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 39.74/39.89 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 39.74/39.91 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 39.95/40.05 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 39.95/40.08 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 40.00/40.10 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 40.00/40.13 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 40.17/40.26 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 40.17/40.30 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 40.21/40.32 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 40.21/40.34 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 40.34/40.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 40.39/40.51 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 40.39/40.53 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 40.45/40.56 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 40.55/40.69 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 40.55/40.73 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 40.64/40.75 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 40.64/40.77 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 40.78/40.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 40.83/40.95 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 40.83/40.96 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 40.83/40.99 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 40.99/41.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 40.99/41.16 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 41.08/41.18 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 41.08/41.21 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 41.23/41.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 41.23/41.38 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 41.23/41.40 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 41.30/41.42 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 41.39/41.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 41.50/41.60 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 41.52/41.61 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 41.52/41.64 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 41.60/41.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 41.69/41.81 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 41.69/41.83 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 41.69/41.86 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 41.83/42.00 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 41.92/42.03 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 41.92/42.05 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 41.92/42.08 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 42.11/42.21 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 42.13/42.25 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 42.13/42.27 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 42.13/42.29 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 42.29/42.43 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 42.37/42.47 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 42.37/42.48 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 42.40/42.51 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 42.53/42.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 42.57/42.68 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 42.57/42.70 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 42.57/42.73 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 42.75/42.86 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 42.75/42.90 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 42.82/42.92 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 42.82/42.95 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 42.96/43.08 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 43.00/43.12 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 43.00/43.14 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 43.06/43.16 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.15/43.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 43.15/43.33 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 43.25/43.35 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 43.25/43.38 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.41/43.51 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 43.41/43.55 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 43.47/43.57 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 43.47/43.59 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.61/43.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 43.65/43.77 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 43.65/43.78 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 43.65/43.81 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.79/43.95 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 43.87/43.98 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 43.87/44.00 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 43.92/44.03 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 44.04/44.16 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 44.10/44.20 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 44.10/44.22 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 44.10/44.25 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 44.23/44.38 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 44.32/44.42 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 44.32/44.44 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 44.32/44.46 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 44.49/44.60 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 44.53/44.64 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 44.53/44.66 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 44.53/44.68 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 44.71/44.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 44.71/44.86 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 44.71/44.88 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 44.79/44.90 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 44.92/45.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 44.92/45.08 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 44.92/45.10 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 45.00/45.12 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.10/45.26 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 45.21/45.30 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 45.21/45.32 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 45.24/45.34 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.33/45.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 45.40/45.52 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 45.40/45.54 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 45.47/45.56 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.54/45.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 45.63/45.74 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 45.63/45.76 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 45.63/45.78 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.80/45.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 45.86/45.96 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 45.86/45.98 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 45.86/46.00 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.98/46.14 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 46.09/46.18 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 46.09/46.20 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 46.14/46.23 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 46.28/46.37 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 46.28/46.41 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 46.28/46.42 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 46.28/46.45 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 46.46/46.59 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 46.51/46.63 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 46.56/46.65 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 46.56/46.68 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 46.70/46.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 46.76/46.86 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 46.76/46.87 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 46.81/46.90 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 46.87/47.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 46.97/47.08 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 46.97/47.10 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 47.02/47.13 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 47.14/47.27 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 47.20/47.31 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 47.20/47.32 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 47.26/47.35 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 47.36/47.49 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 47.36/47.53 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 47.45/47.55 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 47.45/47.58 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 47.63/47.72 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 47.64/47.76 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 47.64/47.78 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 47.64/47.81 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 47.80/47.95 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 47.90/47.98 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 47.90/48.00 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 47.94/48.03 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.04/48.17 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 48.12/48.21 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 48.12/48.23 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 48.12/48.26 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.31/48.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 48.33/48.44 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 48.33/48.46 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 48.33/48.49 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.50/48.63 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 48.50/48.67 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 48.59/48.69 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 48.61/48.71 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.73/48.86 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 48.80/48.90 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 48.80/48.92 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 48.80/48.94 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.94/49.08 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 49.03/49.12 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 49.03/49.14 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 49.03/49.17 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 49.20/49.31 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 49.26/49.35 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 49.26/49.37 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 49.26/49.40 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 49.46/49.55 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 49.49/49.58 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 49.49/49.60 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 49.54/49.63 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 49.68/49.77 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 49.68/49.81 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 49.68/49.83 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 49.77/49.86 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 49.91/50.00 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 49.91/50.04 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 49.96/50.06 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 49.96/50.09 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 50.11/50.23 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 50.16/50.27 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 50.16/50.29 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 50.21/50.32 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 50.27/50.46 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 50.37/50.50 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 50.42/50.52 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 50.46/50.55 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 50.60/50.69 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 50.60/50.73 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 50.67/50.75 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 50.68/50.78 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 50.77/50.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 50.85/50.96 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 50.85/50.98 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 50.92/51.01 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.05/51.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 51.05/51.19 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 51.05/51.21 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 51.13/51.23 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.28/51.38 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 51.33/51.42 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 51.35/51.44 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 51.35/51.47 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.52/51.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 51.52/51.65 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 51.52/51.67 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 51.60/51.70 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.73/51.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 51.73/51.88 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 51.82/51.90 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 51.82/51.93 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.90/52.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 52.01/52.11 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 52.05/52.13 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 52.05/52.16 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 52.20/52.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 52.20/52.34 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 52.29/52.36 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 52.30/52.39 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 52.44/52.54 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 52.44/52.58 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 52.51/52.60 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 52.51/52.63 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 52.67/52.77 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 52.67/52.81 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 52.74/52.83 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 52.74/52.86 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 52.90/53.00 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 52.95/53.04 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 52.97/53.06 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 52.97/53.09 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 53.09/53.23 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 53.18/53.27 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 53.22/53.29 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 53.22/53.32 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 53.37/53.47 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 53.37/53.51 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 53.37/53.53 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 53.46/53.56 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 53.57/53.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 53.62/53.74 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 53.62/53.76 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 53.68/53.79 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 53.83/53.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 53.87/53.97 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 53.87/53.99 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 53.87/54.02 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 54.08/54.16 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 54.08/54.20 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 54.13/54.22 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 54.17/54.25 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 54.25/54.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 54.32/54.44 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 54.32/54.46 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 54.40/54.49 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 54.53/54.63 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 54.53/54.67 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 54.60/54.69 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 54.60/54.72 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 54.74/54.86 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 54.74/54.90 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 54.74/54.93 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 54.84/54.96 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 55.01/55.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 55.01/55.14 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 55.01/55.16 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 55.11/55.19 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 55.22/55.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 55.22/55.38 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 55.31/55.40 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 55.31/55.43 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 55.45/55.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 55.45/55.61 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 55.54/55.63 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 55.54/55.66 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 55.74/55.81 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 55.76/55.85 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 55.76/55.87 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 55.76/55.90 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 55.92/56.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 55.99/56.09 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 56.02/56.11 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 56.05/56.14 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 56.20/56.28 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 56.20/56.32 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 56.20/56.35 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 56.30/56.38 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 56.45/56.52 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 56.45/56.56 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 56.50/56.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 56.50/56.61 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 56.50/56.64 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 56.67/56.79 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -.
% 56.73/56.83 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 56.78/56.86 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 56.92/57.00 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 56.97/57.04 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 56.97/57.07 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 56.97/57.09 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 57.09/57.24 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 57.19/57.28 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 57.19/57.30 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 57.24/57.33 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 57.36/57.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 57.41/57.52 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 57.41/57.54 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 57.49/57.57 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 57.57/57.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 57.66/57.75 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 57.66/57.77 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 57.73/57.81 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 57.85/57.95 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 57.85/57.99 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 57.93/58.02 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 57.93/58.05 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 58.11/58.19 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 58.15/58.23 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 58.15/58.25 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 58.15/58.28 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 58.32/58.43 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 58.32/58.47 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 58.42/58.49 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 58.42/58.52 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 58.53/58.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 58.62/58.71 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 58.62/58.74 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 58.62/58.77 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 58.82/58.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 58.85/58.95 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 58.85/58.98 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 58.85/59.01 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 59.03/59.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 59.11/59.19 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 59.14/59.22 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 59.16/59.25 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 59.33/59.39 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 59.33/59.44 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 59.33/59.46 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 59.40/59.49 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 59.55/59.63 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 59.61/59.68 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 59.61/59.70 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 59.61/59.73 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 59.77/59.88 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 59.85/59.92 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 59.85/59.94 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 59.91/59.97 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 60.02/60.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 60.07/60.16 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 60.07/60.19 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 60.13/60.22 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 60.28/60.36 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 60.33/60.41 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 60.33/60.43 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 60.37/60.46 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 60.50/60.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 60.50/60.65 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 60.60/60.67 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 60.60/60.71 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 60.76/60.85 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 60.81/60.90 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 60.81/60.92 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 60.81/60.95 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 60.97/61.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 61.05/61.14 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 61.05/61.16 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 61.05/61.19 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 61.25/61.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 61.25/61.38 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 61.33/61.41 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 61.33/61.44 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 61.51/61.59 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 61.55/61.63 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 61.55/61.65 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 61.55/61.69 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 61.74/61.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 61.74/61.88 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 61.83/61.90 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 61.83/61.94 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 61.94/62.09 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 62.04/62.13 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 62.04/62.15 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 62.04/62.18 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 62.26/62.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 62.26/62.38 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 62.26/62.40 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 62.35/62.43 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 62.51/62.58 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 62.56/62.62 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 62.56/62.65 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 62.56/62.68 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 62.73/62.83 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 62.81/62.87 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 62.83/62.90 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 62.85/62.93 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 63.01/63.08 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 63.01/63.13 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 63.01/63.15 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 63.11/63.18 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 63.26/63.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 63.26/63.37 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 63.31/63.39 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 63.31/63.42 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 63.47/63.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 63.54/63.62 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 63.54/63.64 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 63.59/63.67 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 63.73/63.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 63.77/63.87 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 63.77/63.89 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 63.83/63.92 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 63.91/64.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 64.05/64.11 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 64.07/64.14 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 64.07/64.17 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 64.22/64.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 64.29/64.37 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 64.31/64.39 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 64.34/64.42 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 64.45/64.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 64.54/64.62 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 64.54/64.64 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 64.54/64.67 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 64.74/64.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 64.74/64.87 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 64.82/64.89 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 64.82/64.93 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 64.96/65.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 65.06/65.12 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 65.06/65.15 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 65.06/65.18 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 65.24/65.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 65.24/65.38 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 65.34/65.40 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 65.34/65.43 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 65.44/65.58 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 65.54/65.63 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 65.54/65.65 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 65.54/65.69 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 65.77/65.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 65.77/65.89 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 65.84/65.91 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 65.84/65.94 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 66.04/66.09 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 66.07/66.14 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 66.07/66.17 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 66.14/66.20 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 66.21/66.35 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 66.32/66.40 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 66.35/66.42 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 66.38/66.46 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 66.52/66.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 66.59/66.66 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 66.61/66.68 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 66.65/66.71 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 66.77/66.86 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 66.82/66.91 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 66.82/66.94 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 66.91/66.97 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 67.05/67.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 67.10/67.17 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 67.10/67.20 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 67.10/67.23 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 67.28/67.38 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 67.35/67.43 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 67.35/67.45 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 67.42/67.48 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 67.57/67.64 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 67.57/67.68 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 67.57/67.71 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 67.66/67.74 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 67.81/67.89 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 67.87/67.94 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 67.87/67.96 (SAT)(equ)(fun)(SAT) 203| -. -. -.
% 67.87/68.00 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 68.04/68.15 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 68.12/68.18 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -.
% 68.15/68.23 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 68.15/68.25 (SAT)(equ)(fun)(SAT) 203| -. -.
% 68.15/68.28 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 68.33/68.43 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 68.33/68.48 (SAT)(equ)(fun)(SAT) 203| -. -1 -1 -1
% 68.45/68.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 68.56/68.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 68.65/68.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 68.74/68.88 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 68.83/68.99 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 68.95/69.09 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 69.13/69.20 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 69.23/69.31 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 69.34/69.42 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -1
% 69.42/69.53 (SAT)(equ)(fun)(SAT) 203| -. -. -. -.
% 69.54/69.60 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 69.64/69.76 (SAT)(equ)(fun)(SAT) 203| -. -1 -1 -1 -.
% 69.71/69.85 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 69.89/69.96 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -1 -1
% 69.97/70.06 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -. -1 -.
% 70.16/70.24 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -.
% 70.19/70.30 (SAT)(equ)(fun)(SAT) 203| -. -. -12 -. -. -. -.
% 70.27/70.36 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 70.44/70.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -.
% 70.56/70.64 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 70.79/70.85 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -1 -. -. -. -.
% 70.86/70.92 (SAT)(equ)(SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -. -. -. -1
% 70.93/71.04 (SAT)(equ)(fun)(SAT) 203| -.
% 70.93/71.07 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 71.08/71.22 (SAT)(equ)(fun)(SAT) 203| -.
% 71.17/71.24 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 71.32/71.40 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.36/71.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.38/71.45 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.38/71.48 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.38/71.50 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.47/71.53 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.47/71.55 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.47/71.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.47/71.60 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.55/71.62 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.55/71.65 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.55/71.68 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.64/71.70 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.66/71.73 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.66/71.75 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.66/71.78 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.66/71.80 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.75/71.82 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.75/71.85 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.75/71.87 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.83/71.90 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.83/71.93 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.83/71.95 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.83/71.98 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.94/72.00 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.96/72.03 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.96/72.05 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.96/72.08 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 71.96/72.10 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.06/72.13 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.06/72.15 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.06/72.18 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.15/72.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.15/72.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.15/72.25 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.15/72.28 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.25/72.30 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.25/72.33 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.25/72.35 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.25/72.38 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.34/72.41 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.34/72.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.34/72.46 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.34/72.49 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.45/72.51 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.45/72.54 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.45/72.56 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.45/72.59 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.55/72.61 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.55/72.64 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.55/72.66 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.55/72.69 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.64/72.71 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.64/72.74 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.64/72.76 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.74/72.79 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.76/72.81 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.77/72.84 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.77/72.86 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.77/72.89 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.85/72.91 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.85/72.94 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.85/72.96 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.92/72.99 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.92/73.01 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.92/73.04 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 72.92/73.06 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.02/73.09 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.04/73.12 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.07/73.14 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.07/73.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.07/73.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.15/73.22 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.15/73.25 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.15/73.27 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.22/73.30 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.22/73.32 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.22/73.35 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.22/73.37 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.33/73.40 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.36/73.42 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.38/73.45 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.38/73.47 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.38/73.50 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.47/73.52 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.47/73.55 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.47/73.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.53/73.60 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.53/73.63 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.53/73.65 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.62/73.68 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.62/73.70 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.66/73.73 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.69/73.76 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.69/73.78 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.69/73.81 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.77/73.84 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.77/73.86 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.83/73.89 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.83/73.91 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.83/73.94 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.83/73.97 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.95/73.99 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.95/74.02 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.99/74.04 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.99/74.07 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 73.99/74.09 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.06/74.12 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.06/74.14 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.12/74.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.12/74.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.12/74.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.12/74.25 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.21/74.28 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.25/74.30 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.29/74.33 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.29/74.35 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.29/74.38 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.36/74.41 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.36/74.44 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.36/74.46 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.43/74.49 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.43/74.51 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.43/74.54 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.43/74.56 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.53/74.59 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.56/74.62 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.59/74.65 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.59/74.67 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.59/74.70 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.67/74.72 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.67/74.75 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.67/74.78 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.74/74.81 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.74/74.83 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.74/74.86 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.83/74.89 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.86/74.91 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.88/74.94 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.88/74.97 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.88/74.99 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.97/75.02 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.97/75.04 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.97/75.07 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 74.97/75.10 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.05/75.13 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.05/75.15 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.13/75.18 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.14/75.21 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.16/75.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.16/75.26 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.16/75.29 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.25/75.31 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.25/75.34 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.25/75.36 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.34/75.39 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.34/75.42 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.34/75.45 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.34/75.47 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.44/75.50 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.46/75.53 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.46/75.56 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.46/75.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.46/75.61 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.57/75.63 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.57/75.66 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.57/75.69 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.66/75.72 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.66/75.74 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.66/75.77 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.66/75.79 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.75/75.82 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.75/75.85 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.75/75.88 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.84/75.90 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.84/75.93 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.84/75.95 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.84/75.98 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.96/76.01 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.96/76.04 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.96/76.06 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 75.96/76.09 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.05/76.12 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.05/76.15 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.05/76.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.14/76.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.14/76.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.14/76.26 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.14/76.28 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.24/76.31 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.27/76.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1
% 76.27/76.37 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -. -. -.
% 76.35/76.47 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 76.52/76.57 (SAT)(equ)(fun)(SAT) 203| -.
% 76.55/76.60 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 76.65/76.76 (SAT)(equ)(fun)(SAT) 203| -.
% 76.72/76.79 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 76.90/76.94 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.90/76.97 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.90/77.00 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.98/77.03 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 76.98/77.06 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.04/77.09 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.04/77.11 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.04/77.14 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.11/77.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.13/77.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.17/77.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.20/77.26 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.20/77.28 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.20/77.31 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.28/77.34 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.28/77.37 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.34/77.40 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.34/77.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.34/77.45 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.43/77.48 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.45/77.51 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.49/77.54 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.49/77.57 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.49/77.60 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.56/77.63 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.56/77.66 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.62/77.68 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.62/77.72 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.62/77.74 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.71/77.77 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.75/77.80 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.75/77.83 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.80/77.86 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.80/77.89 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.86/77.91 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.86/77.94 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.86/77.97 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.94/78.00 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.94/78.03 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 77.94/78.06 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.03/78.08 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.07/78.11 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.09/78.14 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.09/78.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.09/78.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.18/78.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.18/78.26 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.24/78.29 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.24/78.31 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.24/78.35 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.32/78.37 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.33/78.40 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.39/78.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.39/78.46 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.39/78.49 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.47/78.52 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.47/78.55 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.47/78.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.56/78.61 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.56/78.64 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.56/78.66 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.65/78.70 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.67/78.72 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.67/78.76 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.67/78.78 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.76/78.81 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.76/78.84 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.76/78.87 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.84/78.90 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.84/78.93 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.84/78.96 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.95/78.99 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.97/79.02 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.97/79.05 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.97/79.08 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 78.97/79.11 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.07/79.14 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.07/79.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.07/79.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.16/79.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.16/79.26 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.16/79.29 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.26/79.32 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.26/79.35 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.26/79.37 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.35/79.41 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.35/79.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.35/79.47 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.45/79.49 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.46/79.53 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.46/79.55 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.46/79.59 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.55/79.61 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.55/79.65 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.55/79.67 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.65/79.71 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.65/79.73 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.65/79.77 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.75/79.79 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.78/79.83 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.78/79.86 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.78/79.89 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.85/79.92 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.85/79.95 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.93/79.98 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.93/80.01 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.93/80.04 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 79.93/80.07 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.05/80.10 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.08/80.13 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.08/80.16 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.08/80.19 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.16/80.22 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.16/80.25 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.24/80.28 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.24/80.31 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.24/80.34 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.24/80.37 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.35/80.40 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.38/80.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.40/80.46 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.40/80.49 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.40/80.52 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.49/80.55 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.55/80.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.55/80.61 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.55/80.64 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.64/80.67 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.64/80.70 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.68/80.73 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.70/80.76 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.70/80.80 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.78/80.82 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.78/80.86 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.84/80.88 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.84/80.92 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.84/80.95 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.93/80.98 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 80.95/81.01 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.00/81.04 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.00/81.07 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.06/81.10 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.06/81.13 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.12/81.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.12/81.19 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.12/81.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.12/81.26 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.22/81.29 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.25/81.32 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.30/81.35 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.30/81.38 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.36/81.41 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.36/81.44 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.36/81.47 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 81.44/81.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -. -. -.
% 81.57/81.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 81.59/81.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 81.74/81.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 81.87/81.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 81.98/82.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.06/82.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.17/82.22 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.26/82.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.35/82.43 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.47/82.53 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.57/82.64 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.66/82.74 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.76/82.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.85/82.94 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 82.96/83.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.06/83.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.15/83.25 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.28/83.35 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.36/83.45 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.44/83.55 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.59/83.66 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.67/83.76 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.74/83.86 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 83.91/83.97 (SAT)(equ)(fun)(SAT) 203| -.
% 83.91/84.00 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 84.13/84.16 (SAT)(equ)(fun)(SAT) 203| -.
% 84.14/84.19 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 84.29/84.35 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.35/84.39 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.35/84.42 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.35/84.46 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.44/84.49 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.46/84.52 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.50/84.55 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.50/84.59 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.57/84.62 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.57/84.65 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.63/84.68 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.63/84.72 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.63/84.74 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.72/84.78 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.76/84.81 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.80/84.84 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.80/84.87 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.87/84.91 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.87/84.94 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.87/84.97 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.94/85.00 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.94/85.04 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 84.94/85.07 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.04/85.10 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.08/85.13 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.10/85.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.10/85.19 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.19/85.23 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.19/85.26 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.25/85.29 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.25/85.32 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.25/85.36 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.34/85.39 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.38/85.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.40/85.46 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.40/85.49 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 85.48/85.52 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -. -. -.
% 85.57/85.63 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 85.68/85.74 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 85.77/85.84 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 85.85/85.94 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 85.98/86.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.08/86.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.17/86.25 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.26/86.35 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.36/86.45 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.47/86.55 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.56/86.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.66/86.75 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.79/86.85 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.87/86.95 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 86.95/87.05 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 87.09/87.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 87.17/87.25 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 87.25/87.36 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 87.41/87.46 (SAT)(equ)(fun)(SAT) 203| -.
% 87.41/87.49 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 87.55/87.66 (SAT)(equ)(fun)(SAT) 203| -.
% 87.65/87.69 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 87.79/87.85 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 87.85/87.89 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 87.85/87.92 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 87.85/87.96 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 87.94/87.99 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 87.97/88.02 (SAT)(equ)(fun)(SAT) 203| -. -1 -.
% 88.01/88.05 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -. -. -.
% 88.13/88.16 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.23/88.26 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.31/88.36 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.37/88.46 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.45/88.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.60/88.66 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.69/88.77 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.83/88.87 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.90/88.97 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 88.99/89.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.07/89.17 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.19/89.28 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.28/89.38 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.45/89.48 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.49/89.59 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.58/89.69 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.68/89.80 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.87/89.90 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 89.97/90.00 (SAT)(equ)(fun)(SAT) 203| -.
% 89.97/90.04 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 90.07/90.20 (SAT)(equ)(fun)(SAT) 203| -.
% 90.17/90.23 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 90.27/90.39 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -. -. -.
% 90.47/90.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 90.56/90.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 90.67/90.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 90.77/90.81 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 90.86/90.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 90.98/91.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.09/91.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.16/91.22 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.28/91.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.39/91.42 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.46/91.53 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.57/91.63 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.67/91.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.74/91.83 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.88/91.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 91.98/92.03 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.06/92.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.19/92.23 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.29/92.32 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.36/92.43 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.51/92.53 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.59/92.63 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.67/92.73 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.79/92.83 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.89/92.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 92.97/93.03 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.09/93.14 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.19/93.24 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.29/93.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.38/93.45 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.48/93.55 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.58/93.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.68/93.75 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 93.78/93.85 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -1
% 93.88/93.95 (SAT)(equ)(fun)(SAT) 203| -. -.
% 93.88/93.99 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 94.09/94.16 (SAT)(equ)(fun)(SAT) 203| -.
% 94.09/94.19 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 94.26/94.35 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1 -. -. -.
% 94.39/94.46 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 94.48/94.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 94.56/94.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 94.71/94.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 94.79/94.88 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 94.96/94.98 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.01/95.08 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.09/95.18 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.26/95.28 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.31/95.39 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.41/95.49 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.54/95.59 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.64/95.69 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.71/95.79 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.81/95.89 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 95.96/95.99 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.06/96.09 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.11/96.20 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.26/96.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.37/96.40 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.41/96.50 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.58/96.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.69/96.71 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.79/96.81 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 96.88/96.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.00/97.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.09/97.12 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.19/97.23 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.29/97.36 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.38/97.46 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.48/97.56 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.58/97.68 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.68/97.79 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.88/97.93 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 97.99/98.03 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.10/98.14 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.18/98.25 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.27/98.36 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.40/98.47 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.48/98.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.57/98.69 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.72/98.79 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.86/98.89 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 98.96/98.99 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.02/99.10 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.16/99.21 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.28/99.31 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.33/99.41 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.48/99.51 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.58/99.61 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.63/99.72 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.78/99.82 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 99.90/99.92 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.01/100.02 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.06/100.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.20/100.23 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.31/100.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.38/100.44 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.50/100.54 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.58/100.65 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.66/100.75 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.80/100.86 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.90/100.97 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 100.99/101.07 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.09/101.17 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.18/101.27 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.29/101.37 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.39/101.47 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.48/101.57 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.60/101.68 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.69/101.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.86/101.88 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 101.90/101.98 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.06/102.08 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.06/102.19 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.23/102.29 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.38/102.39 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.47/102.49 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.53/102.60 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.68/102.70 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.79/102.80 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.89/102.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 102.96/103.01 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 103.09/103.11 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 103.20/103.21 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -1
% 103.27/103.31 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -. -.
% 103.41/103.42 (SAT)(equ)(fun)(SAT) 203| -123 -. -. -.
% 103.42/103.49 (SAT)(equ)(fun)(SAT) 203| -1 -.
% 103.51/103.53 (SAT)(equ)(fun)(SAT) 203| -. -. -. -123456789XL -. -. -.
% 103.66/103.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -123456789X -. -. -.
% 103.72/103.78 (SAT)(equ)(fun)(SAT) 203| -. -. -. -123456789XLC -. -. -.
% 103.89/103.94 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -. -.
% 104.00/104.06 (SAT)(equ)(fun)(SAT) 203| -. -. -. -12345678 -. -. -.
% 104.10/104.17 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.19/104.28 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.28/104.38 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.40/104.48 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.50/104.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.60/104.69 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.69/104.79 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.79/104.89 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -.
% 104.98/105.00 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -. -.
% 105.09/105.11 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -.
% 105.19/105.21 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -.
% 105.29/105.30 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -.
% 105.38/105.42 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 105.51/105.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 203| -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 105.67/105.74 (SAT)(equ)(fun)(SAT) 203| -. -. -1 -. -. -. -. -. -. -. -.
% 105.81/105.83 (SAT)(equ)(fun)(SAT) 203| -. -. -1 -. -. -. -. -. -. -. -.
% 105.89/105.92 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 105.97/105.98 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 105.97/106.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.11/106.12 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.13/106.18 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.21/106.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.27/106.31 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.35/106.37 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.41/106.43 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.43/106.50 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.52/106.56 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.58/106.63 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.67/106.69 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.74/106.75 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.80/106.82 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.86/106.88 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.86/106.94 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 106.99/107.01 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.04/107.07 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.10/107.13 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.17/107.20 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.17/107.26 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.31/107.32 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.33/107.39 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.42/107.45 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.48/107.51 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.57/107.57 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -. -. -. -.
% 107.63/107.64 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -. -.
% 107.72/107.75 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 107.80/107.87 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 107.92/107.92 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 107.92/107.96 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.00/108.01 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.00/108.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.08/108.10 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.08/108.15 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.19/108.20 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.22/108.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.22/108.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.32/108.34 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.32/108.39 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.40/108.44 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.40/108.48 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.50/108.53 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.50/108.58 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.59/108.62 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.59/108.67 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.70/108.72 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.70/108.77 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.80/108.81 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.80/108.86 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.89/108.90 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.89/108.95 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.99/109.00 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 108.99/109.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.09/109.09 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.12/109.15 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.12/109.19 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.22/109.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.22/109.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.29/109.33 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.37/109.38 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.37/109.43 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.47/109.47 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 109.49/109.52 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 109.62/109.63 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 109.70/109.75 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 109.77/109.86 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 109.94/109.97 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.08/110.08 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.17/110.20 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.24/110.31 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.38/110.43 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.54/110.54 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.60/110.66 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.75/110.77 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.84/110.88 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 110.97/111.00 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 111.11/111.11 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 111.14/111.22 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 111.29/111.33 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -. -. -. -. -. -. -. -.
% 111.44/111.47 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 111.53/111.58 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 111.69/111.70 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 111.81/111.81 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 111.89/111.92 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 112.02/112.03 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.02/112.08 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 112.12/112.19 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.21/112.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.21/112.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.30/112.34 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.30/112.38 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -. -. -. -. -.
% 112.49/112.49 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.51/112.54 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.51/112.59 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.61/112.64 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.61/112.68 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.70/112.73 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.70/112.78 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.79/112.82 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.79/112.87 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.92/112.92 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.92/112.97 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 112.92/113.01 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.03/113.06 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.10/113.11 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.10/113.15 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.18/113.20 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.18/113.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.28/113.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.33/113.34 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.33/113.38 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.42/113.43 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.42/113.48 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.50/113.53 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.58/113.57 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.58/113.62 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.58/113.67 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.72/113.72 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.74/113.76 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.74/113.81 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.82/113.86 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.88/113.91 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.96/113.95 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 113.98/114.00 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.04/114.05 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.04/114.10 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.12/114.14 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.18/114.19 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.18/114.24 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.27/114.29 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.34/114.33 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.34/114.38 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.41/114.43 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.46/114.48 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.46/114.52 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.56/114.57 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.59/114.62 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.64/114.67 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.71/114.71 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.71/114.76 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.78/114.81 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.78/114.86 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.88/114.90 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.94/114.95 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 114.94/115.00 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.02/115.04 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.09/115.09 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.09/115.14 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.17/115.18 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.21/115.23 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.24/115.28 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.33/115.33 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.33/115.37 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.41/115.42 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.41/115.47 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.53/115.52 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.53/115.56 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.61/115.61 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.61/115.66 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.70/115.71 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.70/115.75 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.80/115.80 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.83/115.85 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.83/115.89 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.93/115.94 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 115.93/115.99 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.01/116.04 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.01/116.08 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.11/116.13 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.11/116.18 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.20/116.23 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.20/116.27 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.32/116.32 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.32/116.37 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.42/116.41 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.42/116.46 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.51/116.51 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.51/116.55 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.60/116.60 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.63/116.65 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.63/116.70 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.73/116.74 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.73/116.79 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.81/116.84 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.88/116.89 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.88/116.93 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 116.99/116.98 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 117.03/117.03 (SAT)(equ)(fun)(SAT) 203| -1 -. -. -. -.
% 117.03/117.07 (SAT)+++ RESULT: Unsatisfiable
% 117.03/117.09 SZS status Unsatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
%------------------------------------------------------------------------------