TSTP Solution File: SYN739-1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYN739-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n029.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 : Thu Jul 21 05:20:04 EDT 2022
% Result : Timeout 285.74s 285.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : SYN739-1 : TPTP v8.1.0. Released v2.5.0.
% 0.07/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.14/0.35 % Computer : n029.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 : Mon Jul 11 22:04:47 EDT 2022
% 0.14/0.35 % CPUTime :
% 0.14/0.35 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.14/0.35 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.14/0.35 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.14/0.36 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.14/0.37 #elt|#instances
% 0.14/0.37 (SAT)(equ)(fun)(SAT) 1| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.14/0.37 (SAT)(equ)(fun)(SAT) 2| -.
% 0.14/0.37 (SAT)(equ)(fun)(SAT) 2+ -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -.
% 0.14/0.38 (SAT)(equ)(fun)(SAT) 2| -. -. -.
% 0.14/0.38 (SAT)(equ)(fun)(SAT) 2+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.39 (SAT)(equ)(fun)(SAT) 3| -. -12 -12
% 0.20/0.39 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -. -. -. -.
% 0.20/0.39 (SAT)(equ)(fun)(SAT) 3+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.40 (SAT)(equ)(fun)(SAT) 4| -. -12 -. -1
% 0.20/0.40 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -. -.
% 0.20/0.41 (SAT)(equ)(fun)(SAT) 4+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.42 (SAT)(equ)(fun)(SAT) 5| -. -12 -. -1
% 0.20/0.42 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -.
% 0.20/0.43 (SAT)(equ)(fun)(SAT) 5+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.44 (SAT)(equ)(fun)(SAT) 6| -. -12 -. -1
% 0.20/0.45 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -.
% 0.20/0.45 (SAT)(equ)(fun)(SAT) 6+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 7| -. -12 -. -1
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -. -. -. -. -. -.
% 0.20/0.48 (SAT)(equ)(fun)(SAT) 7+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 8| -. -12 -. -1
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -.
% 0.34/0.52 (SAT)(equ)(fun)(SAT) 8+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.34/0.53 (SAT)(equ)(fun)(SAT) 9| -. -12 -. -1
% 0.34/0.53 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -. -. -. -.
% 0.37/0.54 (SAT)(equ)(fun)(SAT) 9+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.37/0.55 (SAT)(equ)(fun)(SAT) 10| -. -12 -. -1
% 0.37/0.56 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -. -. -. -.
% 0.37/0.56 (SAT)(equ)(fun)(SAT) 10+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.37/0.58 (SAT)(equ)(fun)(SAT) 11| -. -12 -. -1
% 0.37/0.58 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -.
% 0.37/0.60 (SAT)(equ)(fun)(SAT) 11+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.37/0.61 (SAT)(equ)(fun)(SAT) 12| -. -12 -. -1
% 0.37/0.61 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -. -.
% 0.37/0.62 (SAT)(equ)(fun)(SAT) 12+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.46/0.64 (SAT)(equ)(fun)(SAT) 13| -. -12 -. -1
% 0.46/0.64 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -. -. -. -. -.
% 0.46/0.65 (SAT)(equ)(fun)(SAT) 13+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.46/0.67 (SAT)(equ)(fun)(SAT) 14| -. -12 -. -1
% 0.46/0.67 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -. -. -. -.
% 0.46/0.68 (SAT)(equ)(fun)(SAT) 14+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.51/0.70 (SAT)(equ)(fun)(SAT) 15| -. -12 -. -1
% 0.51/0.70 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -. -. -. -. -.
% 0.51/0.71 (SAT)(equ)(fun)(SAT) 15+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.51/0.73 (SAT)(equ)(fun)(SAT) 16| -. -12 -. -1
% 0.51/0.74 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -. -. -. -.
% 0.51/0.75 (SAT)(equ)(fun)(SAT) 16+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.60/0.77 (SAT)(equ)(fun)(SAT) 17| -. -12 -. -1
% 0.60/0.77 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -.
% 0.60/0.79 (SAT)(equ)(fun)(SAT) 17+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.60/0.81 (SAT)(equ)(fun)(SAT) 18| -. -12 -. -1
% 0.63/0.81 (SAT)(equ)(fun)(SAT) 18| -. -. -. -. -. -. -. -. -. -.
% 0.63/0.82 (SAT)(equ)(fun)(SAT) 18+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.66/0.85 (SAT)(equ)(fun)(SAT) 19| -. -12 -. -1
% 0.66/0.85 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -. -. -. -. -.
% 0.66/0.86 (SAT)(equ)(fun)(SAT) 19+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.66/0.88 (SAT)(equ)(fun)(SAT) 20| -. -12 -. -1
% 0.66/0.89 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -. -. -. -.
% 0.66/0.90 (SAT)(equ)(fun)(SAT) 20+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.66/0.92 (SAT)(equ)(fun)(SAT) 21| -. -12 -. -1
% 0.66/0.92 (SAT)(equ)(fun)(SAT) 21| -. -. -. -. -. -. -. -. -. -.
% 0.75/0.93 (SAT)(equ)(fun)(SAT) 21+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.75/0.95 (SAT)(equ)(fun)(SAT) 22| -. -12 -. -1
% 0.75/0.96 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -. -. -. -.
% 0.75/0.97 (SAT)(equ)(fun)(SAT) 22+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.81/0.99 (SAT)(equ)(fun)(SAT) 23| -. -12 -. -1
% 0.81/1.00 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -.
% 0.81/1.01 (SAT)(equ)(fun)(SAT) 23+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.81/1.03 (SAT)(equ)(fun)(SAT) 24| -. -12 -. -1
% 0.81/1.04 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -. -. -. -. -.
% 0.81/1.05 (SAT)(equ)(fun)(SAT) 24+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.90/1.08 (SAT)(equ)(fun)(SAT) 25| -. -12 -. -1
% 0.90/1.09 (SAT)(equ)(fun)(SAT) 25| -. -. -. -. -. -. -. -. -. -.
% 0.94/1.13 (SAT)(equ)(fun)(SAT) 25+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.97/1.18 (SAT)(equ)(fun)(SAT) 26| -. -12 -. -1
% 0.97/1.19 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -. -. -. -.
% 0.97/1.22 (SAT)(equ)(fun)(SAT) 26+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.05/1.25 (SAT)(equ)(fun)(SAT) 27| -. -12 -. -1
% 1.05/1.26 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -. -. -. -. -.
% 1.10/1.28 (SAT)(equ)(fun)(SAT) 27+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.10/1.31 (SAT)(equ)(fun)(SAT) 28| -. -12 -. -1
% 1.10/1.32 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -. -. -. -. -.
% 1.10/1.34 (SAT)(equ)(fun)(SAT) 28+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.19/1.38 (SAT)(equ)(fun)(SAT) 29| -. -12 -. -1
% 1.19/1.39 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -. -. -. -.
% 1.19/1.41 (SAT)(equ)(fun)(SAT) 29+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.27/1.45 (SAT)(equ)(fun)(SAT) 30| -. -12 -. -1
% 1.27/1.46 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -.
% 1.27/1.48 (SAT)(equ)(fun)(SAT) 30+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.27/1.52 (SAT)(equ)(fun)(SAT) 31| -. -12 -. -1
% 1.35/1.53 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -. -. -. -. -. -.
% 1.35/1.55 (SAT)(equ)(fun)(SAT) 31+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.40/1.59 (SAT)(equ)(fun)(SAT) 32| -. -12 -. -1
% 1.40/1.60 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -. -. -. -.
% 1.40/1.62 (SAT)(equ)(fun)(SAT) 32+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.40/1.65 (SAT)(equ)(fun)(SAT) 33| -. -12 -. -1
% 1.40/1.66 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -. -. -. -.
% 1.48/1.68 (SAT)(equ)(fun)(SAT) 33+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.51/1.71 (SAT)(equ)(fun)(SAT) 34| -. -12 -. -1
% 1.51/1.72 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -. -. -. -.
% 1.55/1.74 (SAT)(equ)(fun)(SAT) 34+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.57/1.77 (SAT)(equ)(fun)(SAT) 35| -. -12 -. -1
% 1.57/1.78 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -.
% 1.57/1.80 (SAT)(equ)(fun)(SAT) 35+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.63/1.84 (SAT)(equ)(fun)(SAT) 36| -. -12 -. -1
% 1.63/1.85 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -. -. -. -. -.
% 1.68/1.87 (SAT)(equ)(fun)(SAT) 36+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.68/1.91 (SAT)(equ)(fun)(SAT) 37| -. -12 -. -1
% 1.68/1.92 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -. -. -. -. -. -.
% 1.68/1.94 (SAT)(equ)(fun)(SAT) 37+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.77/1.98 (SAT)(equ)(fun)(SAT) 38| -. -12 -. -1
% 1.81/1.99 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -. -.
% 1.81/2.01 (SAT)(equ)(fun)(SAT) 38+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.87/2.05 (SAT)(equ)(fun)(SAT) 39| -. -12 -. -1
% 1.87/2.06 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -. -. -. -. -.
% 1.87/2.08 (SAT)(equ)(fun)(SAT) 39+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.94/2.12 (SAT)(equ)(fun)(SAT) 40| -. -12 -. -1
% 1.94/2.13 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -.
% 1.94/2.16 (SAT)(equ)(fun)(SAT) 40+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.00/2.20 (SAT)(equ)(fun)(SAT) 41| -. -12 -. -1
% 2.00/2.21 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -. -. -. -.
% 2.00/2.24 (SAT)(equ)(fun)(SAT) 41+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.09/2.28 (SAT)(equ)(fun)(SAT) 42| -. -12 -. -1
% 2.09/2.29 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -. -. -. -. -.
% 2.13/2.32 (SAT)(equ)(fun)(SAT) 42+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.16/2.36 (SAT)(equ)(fun)(SAT) 43| -. -12 -. -1
% 2.16/2.37 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -. -. -. -. -.
% 2.16/2.40 (SAT)(equ)(fun)(SAT) 43+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.26/2.44 (SAT)(equ)(fun)(SAT) 44| -. -12 -. -1
% 2.26/2.45 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -.
% 2.26/2.48 (SAT)(equ)(fun)(SAT) 44+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.32/2.53 (SAT)(equ)(fun)(SAT) 45| -. -12 -. -1
% 2.32/2.54 (SAT)(equ)(fun)(SAT) 45| -. -. -. -. -. -. -. -. -. -.
% 2.39/2.57 (SAT)(equ)(fun)(SAT) 45+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.43/2.62 (SAT)(equ)(fun)(SAT) 46| -. -12 -. -1
% 2.43/2.63 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -. -. -. -. -.
% 2.46/2.66 (SAT)(equ)(fun)(SAT) 46+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.46/2.71 (SAT)(equ)(fun)(SAT) 47| -. -12 -. -1
% 2.46/2.72 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -.
% 2.56/2.75 (SAT)(equ)(fun)(SAT) 47+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.56/2.80 (SAT)(equ)(fun)(SAT) 48| -. -12 -. -1
% 2.64/2.82 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -. -. -. -.
% 2.64/2.85 (SAT)(equ)(fun)(SAT) 48+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.71/2.90 (SAT)(equ)(fun)(SAT) 49| -. -12 -. -1
% 2.73/2.91 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -. -. -. -. -.
% 2.74/2.95 (SAT)(equ)(fun)(SAT) 49+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.74/3.00 (SAT)(equ)(fun)(SAT) 50| -. -12 -. -1
% 2.84/3.01 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -. -. -.
% 2.84/3.04 (SAT)(equ)(fun)(SAT) 50+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.92/3.10 (SAT)(equ)(fun)(SAT) 51| -. -12 -. -1
% 2.92/3.11 (SAT)(equ)(fun)(SAT) 51| -. -. -. -. -. -. -. -. -. -.
% 2.92/3.14 (SAT)(equ)(fun)(SAT) 51+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.01/3.20 (SAT)(equ)(fun)(SAT) 52| -. -12 -. -1
% 3.03/3.21 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -. -. -. -. -.
% 3.04/3.25 (SAT)(equ)(fun)(SAT) 52+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.04/3.30 (SAT)(equ)(fun)(SAT) 53| -. -12 -. -1
% 3.04/3.32 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -.
% 3.16/3.35 (SAT)(equ)(fun)(SAT) 53+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.16/3.41 (SAT)(equ)(fun)(SAT) 54| -. -12 -. -1
% 3.25/3.43 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -. -. -. -. -.
% 3.25/3.46 (SAT)(equ)(fun)(SAT) 54+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.33/3.52 (SAT)(equ)(fun)(SAT) 55| -. -12 -. -1
% 3.33/3.54 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -. -.
% 3.33/3.58 (SAT)(equ)(fun)(SAT) 55+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.42/3.64 (SAT)(equ)(fun)(SAT) 56| -. -12 -. -1
% 3.42/3.65 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -. -. -. -.
% 3.52/3.69 (SAT)(equ)(fun)(SAT) 56+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.54/3.76 (SAT)(equ)(fun)(SAT) 57| -. -12 -. -1
% 3.54/3.77 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -.
% 3.63/3.81 (SAT)(equ)(fun)(SAT) 57+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.63/3.88 (SAT)(equ)(fun)(SAT) 58| -. -12 -. -1
% 3.71/3.89 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -. -. -. -.
% 3.71/3.93 (SAT)(equ)(fun)(SAT) 58+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.81/4.00 (SAT)(equ)(fun)(SAT) 59| -. -12 -. -1
% 3.84/4.02 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -. -. -. -.
% 3.86/4.06 (SAT)(equ)(fun)(SAT) 59+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.93/4.13 (SAT)(equ)(fun)(SAT) 60| -. -12 -. -1
% 3.93/4.14 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -. -. -. -.
% 4.00/4.19 (SAT)(equ)(fun)(SAT) 60+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.00/4.25 (SAT)(equ)(fun)(SAT) 61| -. -12 -. -1
% 4.09/4.27 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -. -. -.
% 4.12/4.32 (SAT)(equ)(fun)(SAT) 61+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.16/4.38 (SAT)(equ)(fun)(SAT) 62| -. -12 -. -1
% 4.23/4.41 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -. -. -. -. -.
% 4.23/4.45 (SAT)(equ)(fun)(SAT) 62+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.29/4.52 (SAT)(equ)(fun)(SAT) 63| -. -12 -. -1
% 4.29/4.54 (SAT)(equ)(fun)(SAT) 63| -. -. -. -. -. -. -. -. -. -.
% 4.40/4.59 (SAT)(equ)(fun)(SAT) 63+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.47/4.66 (SAT)(equ)(fun)(SAT) 64| -. -12 -. -1
% 4.47/4.68 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -. -. -. -.
% 4.47/4.72 (SAT)(equ)(fun)(SAT) 64+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.61/4.80 (SAT)(equ)(fun)(SAT) 65| -. -12 -. -1
% 4.61/4.82 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -. -. -. -.
% 4.69/4.87 (SAT)(equ)(fun)(SAT) 65+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.77/4.95 (SAT)(equ)(fun)(SAT) 66| -. -12 -. -1
% 4.77/4.96 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -. -. -. -. -.
% 4.77/5.01 (SAT)(equ)(fun)(SAT) 66+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.92/5.09 (SAT)(equ)(fun)(SAT) 67| -. -12 -. -1
% 4.92/5.11 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -. -. -. -.
% 4.92/5.16 (SAT)(equ)(fun)(SAT) 67+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.08/5.24 (SAT)(equ)(fun)(SAT) 68| -. -12 -. -1
% 5.08/5.26 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -. -.
% 5.15/5.31 (SAT)(equ)(fun)(SAT) 68+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.20/5.39 (SAT)(equ)(fun)(SAT) 69| -. -12 -. -1
% 5.20/5.41 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -.
% 5.29/5.47 (SAT)(equ)(fun)(SAT) 69+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.38/5.55 (SAT)(equ)(fun)(SAT) 70| -. -12 -. -1
% 5.38/5.57 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -. -. -. -. -.
% 5.45/5.63 (SAT)(equ)(fun)(SAT) 70+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.52/5.71 (SAT)(equ)(fun)(SAT) 71| -. -12 -. -1
% 5.52/5.73 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -. -. -. -.
% 5.60/5.79 (SAT)(equ)(fun)(SAT) 71+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.66/5.87 (SAT)(equ)(fun)(SAT) 72| -. -12 -. -1
% 5.66/5.90 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -. -. -. -. -.
% 5.76/5.95 (SAT)(equ)(fun)(SAT) 72+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.83/6.04 (SAT)(equ)(fun)(SAT) 73| -. -12 -. -1
% 5.83/6.06 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -. -. -. -.
% 5.90/6.12 (SAT)(equ)(fun)(SAT) 73+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.03/6.21 (SAT)(equ)(fun)(SAT) 74| -. -12 -. -1
% 6.06/6.24 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -.
% 6.06/6.30 (SAT)(equ)(fun)(SAT) 74+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.16/6.38 (SAT)(equ)(fun)(SAT) 75| -. -12 -. -1
% 6.16/6.41 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -. -.
% 6.25/6.47 (SAT)(equ)(fun)(SAT) 75+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.32/6.56 (SAT)(equ)(fun)(SAT) 76| -. -12 -. -1
% 6.32/6.58 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -. -. -. -.
% 6.44/6.65 (SAT)(equ)(fun)(SAT) 76+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.54/6.74 (SAT)(equ)(fun)(SAT) 77| -. -12 -. -1
% 6.54/6.76 (SAT)(equ)(fun)(SAT) 77| -. -. -. -. -. -. -. -. -. -.
% 6.63/6.82 (SAT)(equ)(fun)(SAT) 77+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.72/6.91 (SAT)(equ)(fun)(SAT) 78| -. -12 -. -1
% 6.72/6.94 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -. -. -.
% 6.83/7.00 (SAT)(equ)(fun)(SAT) 78+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.84/7.09 (SAT)(equ)(fun)(SAT) 79| -. -12 -. -1
% 6.84/7.12 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -. -. -. -.
% 6.95/7.19 (SAT)(equ)(fun)(SAT) 79+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.05/7.29 (SAT)(equ)(fun)(SAT) 80| -. -12 -. -1
% 7.14/7.31 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -. -. -. -. -.
% 7.14/7.38 (SAT)(equ)(fun)(SAT) 80+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.22/7.48 (SAT)(equ)(fun)(SAT) 81| -. -12 -. -1
% 7.33/7.51 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -. -. -. -. -.
% 7.35/7.58 (SAT)(equ)(fun)(SAT) 81+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.44/7.68 (SAT)(equ)(fun)(SAT) 82| -. -12 -. -1
% 7.52/7.70 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -. -. -.
% 7.52/7.77 (SAT)(equ)(fun)(SAT) 82+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.67/7.88 (SAT)(equ)(fun)(SAT) 83| -. -12 -. -1
% 7.74/7.90 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -. -. -. -. -.
% 7.81/7.98 (SAT)(equ)(fun)(SAT) 83+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.90/8.08 (SAT)(equ)(fun)(SAT) 84| -. -12 -. -1
% 7.93/8.11 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -. -. -. -. -.
% 7.97/8.18 (SAT)(equ)(fun)(SAT) 84+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.10/8.28 (SAT)(equ)(fun)(SAT) 85| -. -12 -. -1
% 8.10/8.31 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -.
% 8.21/8.38 (SAT)(equ)(fun)(SAT) 85+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.28/8.49 (SAT)(equ)(fun)(SAT) 86| -. -12 -. -1
% 8.28/8.52 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -. -. -. -.
% 8.42/8.60 (SAT)(equ)(fun)(SAT) 86+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.55/8.71 (SAT)(equ)(fun)(SAT) 87| -. -12 -. -1
% 8.55/8.74 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -. -. -. -. -.
% 8.58/8.81 (SAT)(equ)(fun)(SAT) 87+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.73/8.93 (SAT)(equ)(fun)(SAT) 88| -. -12 -. -1
% 8.73/8.96 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -. -. -. -. -.
% 8.88/9.04 (SAT)(equ)(fun)(SAT) 88+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.95/9.16 (SAT)(equ)(fun)(SAT) 89| -. -12 -. -1
% 9.01/9.18 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -. -. -.
% 9.09/9.26 (SAT)(equ)(fun)(SAT) 89+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.18/9.38 (SAT)(equ)(fun)(SAT) 90| -. -12 -. -1
% 9.25/9.41 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -. -. -. -.
% 9.32/9.49 (SAT)(equ)(fun)(SAT) 90+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.43/9.61 (SAT)(equ)(fun)(SAT) 91| -. -12 -. -1
% 9.46/9.64 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -. -. -. -. -. -.
% 9.46/9.72 (SAT)(equ)(fun)(SAT) 91+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.64/9.84 (SAT)(equ)(fun)(SAT) 92| -. -12 -. -1
% 9.71/9.88 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -.
% 9.71/9.96 (SAT)(equ)(fun)(SAT) 92+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.87/10.08 (SAT)(equ)(fun)(SAT) 93| -. -12 -. -1
% 9.87/10.11 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -. -. -. -. -.
% 9.97/10.20 (SAT)(equ)(fun)(SAT) 93+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.13/10.32 (SAT)(equ)(fun)(SAT) 94| -. -12 -. -1
% 10.13/10.35 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -.
% 10.25/10.44 (SAT)(equ)(fun)(SAT) 94+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.35/10.57 (SAT)(equ)(fun)(SAT) 95| -. -12 -. -1
% 10.35/10.60 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -. -. -. -.
% 10.53/10.69 (SAT)(equ)(fun)(SAT) 95+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.65/10.82 (SAT)(equ)(fun)(SAT) 96| -. -12 -. -1
% 10.65/10.85 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -.
% 10.76/10.94 (SAT)(equ)(fun)(SAT) 96+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.86/11.07 (SAT)(equ)(fun)(SAT) 97| -. -12 -. -1
% 10.86/11.10 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -. -. -. -.
% 11.03/11.19 (SAT)(equ)(fun)(SAT) 97+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.16/11.32 (SAT)(equ)(fun)(SAT) 98| -. -12 -. -1
% 11.16/11.36 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -. -.
% 11.24/11.45 (SAT)(equ)(fun)(SAT) 98+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.42/11.59 (SAT)(equ)(fun)(SAT) 99| -. -12 -. -1
% 11.45/11.62 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -. -. -. -. -.
% 11.54/11.72 (SAT)(equ)(fun)(SAT) 99+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.61/11.86 (SAT)(equ)(fun)(SAT) 100| -. -12 -. -1
% 11.71/11.89 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -. -. -. -. -.
% 11.77/11.99 (SAT)(equ)(fun)(SAT) 100+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.91/12.13 (SAT)(equ)(fun)(SAT) 101| -. -12 -. -1
% 11.91/12.16 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -. -. -.
% 12.09/12.26 (SAT)(equ)(fun)(SAT) 101+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.23/12.40 (SAT)(equ)(fun)(SAT) 102| -. -12 -. -1
% 12.23/12.43 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -.
% 12.36/12.53 (SAT)(equ)(fun)(SAT) 102+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.48/12.67 (SAT)(equ)(fun)(SAT) 103| -. -12 -. -1
% 12.53/12.71 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. -. -. -.
% 12.63/12.82 (SAT)(equ)(fun)(SAT) 103+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.76/12.96 (SAT)(equ)(fun)(SAT) 104| -. -12 -. -1
% 12.81/12.99 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -. -. -. -.
% 12.93/13.09 (SAT)(equ)(fun)(SAT) 104+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.06/13.24 (SAT)(equ)(fun)(SAT) 105| -. -12 -. -1
% 13.06/13.27 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -. -. -. -.
% 13.21/13.38 (SAT)(equ)(fun)(SAT) 105+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.37/13.53 (SAT)(equ)(fun)(SAT) 106| -. -12 -. -1
% 13.37/13.57 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -. -. -.
% 13.51/13.67 (SAT)(equ)(fun)(SAT) 106+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.64/13.82 (SAT)(equ)(fun)(SAT) 107| -. -12 -. -1
% 13.67/13.86 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -.
% 13.78/13.98 (SAT)(equ)(fun)(SAT) 107+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.93/14.13 (SAT)(equ)(fun)(SAT) 108| -. -12 -. -1
% 13.93/14.17 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -. -. -.
% 14.06/14.28 (SAT)(equ)(fun)(SAT) 108+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.24/14.44 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -1
% 14.33/14.48 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -.
% 14.44/14.60 (SAT)(equ)(fun)(SAT) 109+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.57/14.76 (SAT)(equ)(fun)(SAT) 110| -. -12 -. -1
% 14.57/14.79 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -. -. -. -.
% 14.75/14.90 (SAT)(equ)(fun)(SAT) 110+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.83/15.06 (SAT)(equ)(fun)(SAT) 111| -. -12 -. -1
% 14.97/15.12 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -. -. -. -.
% 15.06/15.24 (SAT)(equ)(fun)(SAT) 111+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.24/15.40 (SAT)(equ)(fun)(SAT) 112| -. -12 -. -1
% 15.28/15.44 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -. -. -. -.
% 15.36/15.54 (SAT)(equ)(fun)(SAT) 112+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.55/15.70 (SAT)(equ)(fun)(SAT) 113| -. -12 -. -1
% 15.58/15.75 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -. -. -. -.
% 15.66/15.85 (SAT)(equ)(fun)(SAT) 113+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.86/16.01 (SAT)(equ)(fun)(SAT) 114| -. -12 -. -1
% 15.90/16.05 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -.
% 15.98/16.16 (SAT)(equ)(fun)(SAT) 114+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.16/16.33 (SAT)(equ)(fun)(SAT) 115| -. -12 -. -1
% 16.20/16.37 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -.
% 16.28/16.48 (SAT)(equ)(fun)(SAT) 115+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.49/16.64 (SAT)(equ)(fun)(SAT) 116| -. -12 -. -1
% 16.49/16.69 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -. -. -. -.
% 16.61/16.82 (SAT)(equ)(fun)(SAT) 116+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.78/16.99 (SAT)(equ)(fun)(SAT) 117| -. -12 -. -1
% 16.85/17.03 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -. -. -.
% 16.92/17.15 (SAT)(equ)(fun)(SAT) 117+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.17/17.32 (SAT)(equ)(fun)(SAT) 118| -. -12 -. -1
% 17.17/17.37 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -. -. -. -.
% 17.31/17.49 (SAT)(equ)(fun)(SAT) 118+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.47/17.66 (SAT)(equ)(fun)(SAT) 119| -. -12 -. -1
% 17.55/17.72 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -. -. -. -.
% 17.65/17.84 (SAT)(equ)(fun)(SAT) 119+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.85/18.01 (SAT)(equ)(fun)(SAT) 120| -. -12 -. -1
% 17.85/18.05 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -.
% 17.96/18.17 (SAT)(equ)(fun)(SAT) 120+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.16/18.34 (SAT)(equ)(fun)(SAT) 121| -. -12 -. -1
% 18.16/18.39 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -. -. -. -. -.
% 18.33/18.51 (SAT)(equ)(fun)(SAT) 121+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.46/18.69 (SAT)(equ)(fun)(SAT) 122| -. -12 -. -1
% 18.55/18.73 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -. -. -. -.
% 18.63/18.85 (SAT)(equ)(fun)(SAT) 122+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.85/19.03 (SAT)(equ)(fun)(SAT) 123| -. -12 -. -1
% 18.92/19.08 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -. -. -.
% 19.04/19.20 (SAT)(equ)(fun)(SAT) 123+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.22/19.38 (SAT)(equ)(fun)(SAT) 124| -. -12 -. -1
% 19.22/19.42 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -. -. -. -.
% 19.39/19.54 (SAT)(equ)(fun)(SAT) 124+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.53/19.72 (SAT)(equ)(fun)(SAT) 125| -. -12 -. -1
% 19.61/19.78 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -. -. -. -.
% 19.69/19.90 (SAT)(equ)(fun)(SAT) 125+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.93/20.09 (SAT)(equ)(fun)(SAT) 126| -. -12 -. -1
% 19.98/20.14 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -.
% 20.07/20.26 (SAT)(equ)(fun)(SAT) 126+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.29/20.47 (SAT)(equ)(fun)(SAT) 127| -. -12 -. -1
% 20.37/20.52 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -. -. -. -. -.
% 20.43/20.65 (SAT)(equ)(fun)(SAT) 127+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.68/20.85 (SAT)(equ)(fun)(SAT) 128| -. -12 -. -1
% 20.68/20.89 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -. -. -. -. -.
% 20.82/21.02 (SAT)(equ)(fun)(SAT) 128+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.98/21.22 (SAT)(equ)(fun)(SAT) 129| -. -12 -. -1
% 21.07/21.27 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -. -. -.
% 21.23/21.41 (SAT)(equ)(fun)(SAT) 129+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.36/21.60 (SAT)(equ)(fun)(SAT) 130| -. -12 -. -1
% 21.46/21.65 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -. -. -. -. -.
% 21.63/21.80 (SAT)(equ)(fun)(SAT) 130+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.76/22.01 (SAT)(equ)(fun)(SAT) 131| -. -12 -. -1
% 21.87/22.06 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -.
% 22.05/22.20 (SAT)(equ)(fun)(SAT) 131+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.25/22.40 (SAT)(equ)(fun)(SAT) 132| -. -12 -. -1
% 22.27/22.45 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -.
% 22.44/22.58 (SAT)(equ)(fun)(SAT) 132+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.58/22.78 (SAT)(equ)(fun)(SAT) 133| -. -12 -. -1
% 22.65/22.85 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -.
% 22.82/22.99 (SAT)(equ)(fun)(SAT) 133+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.02/23.20 (SAT)(equ)(fun)(SAT) 134| -. -12 -. -1
% 23.02/23.25 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -. -. -.
% 23.20/23.40 (SAT)(equ)(fun)(SAT) 134+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.46/23.62 (SAT)(equ)(fun)(SAT) 135| -. -12 -. -1
% 23.49/23.67 (SAT)(equ)(fun)(SAT) 135| -. -. -. -. -. -. -. -. -. -.
% 23.64/23.82 (SAT)(equ)(fun)(SAT) 135+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.86/24.03 (SAT)(equ)(fun)(SAT) 136| -. -12 -. -1
% 23.92/24.08 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -. -. -. -.
% 24.08/24.23 (SAT)(equ)(fun)(SAT) 136+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.23/24.46 (SAT)(equ)(fun)(SAT) 137| -. -12 -. -1
% 24.35/24.51 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -. -. -.
% 24.48/24.66 (SAT)(equ)(fun)(SAT) 137+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.72/24.87 (SAT)(equ)(fun)(SAT) 138| -. -12 -. -1
% 24.78/24.93 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -. -. -.
% 24.88/25.10 (SAT)(equ)(fun)(SAT) 138+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.17/25.33 (SAT)(equ)(fun)(SAT) 139| -. -12 -. -1
% 25.17/25.38 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -.
% 25.37/25.54 (SAT)(equ)(fun)(SAT) 139+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.57/25.76 (SAT)(equ)(fun)(SAT) 140| -. -12 -. -1
% 25.66/25.82 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -.
% 25.84/25.98 (SAT)(equ)(fun)(SAT) 140+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.04/26.21 (SAT)(equ)(fun)(SAT) 141| -. -12 -. -1
% 26.04/26.27 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -. -. -. -. -.
% 26.26/26.43 (SAT)(equ)(fun)(SAT) 141+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.49/26.68 (SAT)(equ)(fun)(SAT) 142| -. -12 -. -1
% 26.56/26.74 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -. -. -. -.
% 26.77/26.92 (SAT)(equ)(fun)(SAT) 142+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.01/27.16 (SAT)(equ)(fun)(SAT) 143| -. -12 -. -1
% 27.06/27.22 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -. -. -. -. -.
% 27.24/27.41 (SAT)(equ)(fun)(SAT) 143+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.47/27.66 (SAT)(equ)(fun)(SAT) 144| -. -12 -. -1
% 27.52/27.72 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -. -. -. -. -.
% 27.70/27.90 (SAT)(equ)(fun)(SAT) 144+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.99/28.16 (SAT)(equ)(fun)(SAT) 145| -. -12 -. -1
% 27.99/28.22 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -.
% 28.23/28.39 (SAT)(equ)(fun)(SAT) 145+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.48/28.63 (SAT)(equ)(fun)(SAT) 146| -. -12 -. -1
% 28.48/28.69 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -. -. -. -.
% 28.64/28.88 (SAT)(equ)(fun)(SAT) 146+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.95/29.11 (SAT)(equ)(fun)(SAT) 147| -. -12 -. -1
% 28.95/29.18 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -.
% 29.17/29.34 (SAT)(equ)(fun)(SAT) 147+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.38/29.60 (SAT)(equ)(fun)(SAT) 148| -. -12 -. -1
% 29.46/29.66 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -. -. -. -.
% 29.68/29.83 (SAT)(equ)(fun)(SAT) 148+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.84/30.08 (SAT)(equ)(fun)(SAT) 149| -. -12 -. -1
% 29.99/30.16 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -.
% 30.13/30.36 (SAT)(equ)(fun)(SAT) 149+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.44/30.61 (SAT)(equ)(fun)(SAT) 150| -. -12 -. -1
% 30.54/30.68 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -. -. -. -.
% 30.69/30.86 (SAT)(equ)(fun)(SAT) 150+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.90/31.11 (SAT)(equ)(fun)(SAT) 151| -. -12 -. -1
% 30.99/31.17 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -. -. -. -.
% 31.20/31.35 (SAT)(equ)(fun)(SAT) 151+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.45/31.60 (SAT)(equ)(fun)(SAT) 152| -. -12 -. -1
% 31.50/31.66 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -. -. -. -. -.
% 31.65/31.85 (SAT)(equ)(fun)(SAT) 152+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.96/32.10 (SAT)(equ)(fun)(SAT) 153| -. -12 -. -1
% 31.96/32.17 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -. -. -.
% 32.19/32.35 (SAT)(equ)(fun)(SAT) 153+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.37/32.61 (SAT)(equ)(fun)(SAT) 154| -. -12 -. -1
% 32.47/32.67 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -.
% 32.67/32.84 (SAT)(equ)(fun)(SAT) 154+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.97/33.10 (SAT)(equ)(fun)(SAT) 155| -. -12 -. -1
% 32.97/33.16 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -. -. -. -.
% 33.18/33.36 (SAT)(equ)(fun)(SAT) 155+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.48/33.62 (SAT)(equ)(fun)(SAT) 156| -. -12 -. -1
% 33.50/33.68 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -. -. -. -.
% 33.73/33.87 (SAT)(equ)(fun)(SAT) 156+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.93/34.14 (SAT)(equ)(fun)(SAT) 157| -. -12 -. -1
% 34.04/34.20 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -.
% 34.25/34.40 (SAT)(equ)(fun)(SAT) 157+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.50/34.67 (SAT)(equ)(fun)(SAT) 158| -. -12 -. -1
% 34.56/34.74 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -. -. -. -. -.
% 34.78/34.94 (SAT)(equ)(fun)(SAT) 158+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.01/35.21 (SAT)(equ)(fun)(SAT) 159| -. -12 -. -1
% 35.08/35.27 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -. -. -. -.
% 35.30/35.46 (SAT)(equ)(fun)(SAT) 159+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.59/35.75 (SAT)(equ)(fun)(SAT) 160| -. -12 -. -1
% 35.59/35.81 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -.
% 35.89/36.01 (SAT)(equ)(fun)(SAT) 160+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.07/36.28 (SAT)(equ)(fun)(SAT) 161| -. -12 -. -1
% 36.18/36.34 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -. -. -.
% 36.38/36.55 (SAT)(equ)(fun)(SAT) 161+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.67/36.83 (SAT)(equ)(fun)(SAT) 162| -. -12 -. -1
% 36.76/36.90 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -. -. -. -.
% 36.97/37.11 (SAT)(equ)(fun)(SAT) 162+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.26/37.41 (SAT)(equ)(fun)(SAT) 163| -. -12 -. -1
% 37.29/37.48 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -.
% 37.55/37.69 (SAT)(equ)(fun)(SAT) 163+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.84/37.98 (SAT)(equ)(fun)(SAT) 164| -. -12 -. -1
% 37.91/38.06 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -. -. -. -. -.
% 38.05/38.27 (SAT)(equ)(fun)(SAT) 164+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.33/38.55 (SAT)(equ)(fun)(SAT) 165| -. -12 -. -1
% 38.45/38.62 (SAT)(equ)(fun)(SAT) 165| -. -. -. -. -. -. -. -. -. -.
% 38.65/38.82 (SAT)(equ)(fun)(SAT) 165+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.97/39.11 (SAT)(equ)(fun)(SAT) 166| -. -12 -. -1
% 39.04/39.18 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -. -. -. -.
% 39.20/39.39 (SAT)(equ)(fun)(SAT) 166+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.48/39.67 (SAT)(equ)(fun)(SAT) 167| -. -12 -. -1
% 39.57/39.74 (SAT)(equ)(fun)(SAT) 167| -. -. -. -. -. -. -. -. -. -.
% 39.79/39.97 (SAT)(equ)(fun)(SAT) 167+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.06/40.27 (SAT)(equ)(fun)(SAT) 168| -. -12 -. -1
% 40.18/40.33 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -. -. -. -. -.
% 40.36/40.54 (SAT)(equ)(fun)(SAT) 168+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.64/40.84 (SAT)(equ)(fun)(SAT) 169| -. -12 -. -1
% 40.76/40.91 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -. -. -. -. -.
% 40.94/41.13 (SAT)(equ)(fun)(SAT) 169+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.25/41.42 (SAT)(equ)(fun)(SAT) 170| -. -12 -. -1
% 41.34/41.49 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -. -. -. -. -.
% 41.55/41.73 (SAT)(equ)(fun)(SAT) 170+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.83/42.02 (SAT)(equ)(fun)(SAT) 171| -. -12 -. -1
% 41.95/42.09 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -. -. -. -.
% 42.15/42.31 (SAT)(equ)(fun)(SAT) 171+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.47/42.63 (SAT)(equ)(fun)(SAT) 172| -. -12 -. -1
% 42.60/42.74 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -. -. -. -. -.
% 42.78/42.96 (SAT)(equ)(fun)(SAT) 172+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.07/43.26 (SAT)(equ)(fun)(SAT) 173| -. -12 -. -1
% 43.18/43.33 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -. -. -. -. -.
% 43.38/43.57 (SAT)(equ)(fun)(SAT) 173+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.69/43.87 (SAT)(equ)(fun)(SAT) 174| -. -12 -. -1
% 43.78/43.97 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -. -. -. -. -.
% 44.08/44.21 (SAT)(equ)(fun)(SAT) 174+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.37/44.57 (SAT)(equ)(fun)(SAT) 175| -. -12 -. -1
% 44.45/44.64 (SAT)(equ)(fun)(SAT) 175| -. -. -. -. -. -. -. -. -. -.
% 44.70/44.87 (SAT)(equ)(fun)(SAT) 175+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.05/45.19 (SAT)(equ)(fun)(SAT) 176| -. -12 -. -1
% 45.16/45.31 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -. -. -. -. -.
% 45.43/45.57 (SAT)(equ)(fun)(SAT) 176+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.80/45.97 (SAT)(equ)(fun)(SAT) 177| -. -12 -. -1
% 45.89/46.07 (SAT)(equ)(fun)(SAT) 177| -. -. -. -. -. -. -. -. -. -.
% 46.10/46.31 (SAT)(equ)(fun)(SAT) 177+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.48/46.66 (SAT)(equ)(fun)(SAT) 178| -. -12 -. -1
% 46.57/46.77 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -. -. -. -. -.
% 46.88/47.01 (SAT)(equ)(fun)(SAT) 178+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.18/47.32 (SAT)(equ)(fun)(SAT) 179| -. -12 -. -1
% 47.28/47.44 (SAT)(equ)(fun)(SAT) 179| -. -. -. -. -. -. -. -. -. -.
% 47.50/47.70 (SAT)(equ)(fun)(SAT) 179+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.88/48.04 (SAT)(equ)(fun)(SAT) 180| -. -12 -. -1
% 47.96/48.15 (SAT)(equ)(fun)(SAT) 180| -. -. -. -. -. -. -. -. -. -.
% 48.27/48.39 (SAT)(equ)(fun)(SAT) 180+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.57/48.73 (SAT)(equ)(fun)(SAT) 181| -. -12 -. -1
% 48.68/48.82 (SAT)(equ)(fun)(SAT) 181| -. -. -. -. -. -. -. -. -. -.
% 48.95/49.07 (SAT)(equ)(fun)(SAT) 181+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.29/49.42 (SAT)(equ)(fun)(SAT) 182| -. -12 -. -1
% 49.40/49.54 (SAT)(equ)(fun)(SAT) 182| -. -. -. -. -. -. -. -. -. -.
% 49.61/49.79 (SAT)(equ)(fun)(SAT) 182+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.98/50.15 (SAT)(equ)(fun)(SAT) 183| -. -12 -. -1
% 50.07/50.23 (SAT)(equ)(fun)(SAT) 183| -. -. -. -. -. -. -. -. -. -.
% 50.29/50.48 (SAT)(equ)(fun)(SAT) 183+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.68/50.84 (SAT)(equ)(fun)(SAT) 184| -. -12 -. -1
% 50.78/50.96 (SAT)(equ)(fun)(SAT) 184| -. -. -. -. -. -. -. -. -. -.
% 51.08/51.22 (SAT)(equ)(fun)(SAT) 184+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.38/51.57 (SAT)(equ)(fun)(SAT) 185| -. -12 -. -1
% 51.46/51.65 (SAT)(equ)(fun)(SAT) 185| -. -. -. -. -. -. -. -. -. -.
% 51.77/51.93 (SAT)(equ)(fun)(SAT) 185+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.07/52.28 (SAT)(equ)(fun)(SAT) 186| -. -12 -. -1
% 52.29/52.41 (SAT)(equ)(fun)(SAT) 186| -. -. -. -. -. -. -. -. -. -.
% 52.52/52.66 (SAT)(equ)(fun)(SAT) 186+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.90/53.02 (SAT)(equ)(fun)(SAT) 187| -. -12 -. -1
% 52.97/53.10 (SAT)(equ)(fun)(SAT) 187| -. -. -. -. -. -. -. -. -. -.
% 53.20/53.37 (SAT)(equ)(fun)(SAT) 187+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.58/53.71 (SAT)(equ)(fun)(SAT) 188| -. -12 -. -1
% 53.67/53.80 (SAT)(equ)(fun)(SAT) 188| -. -. -. -. -. -. -. -. -. -.
% 53.90/54.09 (SAT)(equ)(fun)(SAT) 188+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.29/54.43 (SAT)(equ)(fun)(SAT) 189| -. -12 -. -1
% 54.39/54.52 (SAT)(equ)(fun)(SAT) 189| -. -. -. -. -. -. -. -. -. -.
% 54.59/54.78 (SAT)(equ)(fun)(SAT) 189+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.01/55.16 (SAT)(equ)(fun)(SAT) 190| -. -12 -. -1
% 55.09/55.24 (SAT)(equ)(fun)(SAT) 190| -. -. -. -. -. -. -. -. -. -.
% 55.41/55.52 (SAT)(equ)(fun)(SAT) 190+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.70/55.88 (SAT)(equ)(fun)(SAT) 191| -. -12 -. -1
% 55.77/55.97 (SAT)(equ)(fun)(SAT) 191| -. -. -. -. -. -. -. -. -. -.
% 56.15/56.26 (SAT)(equ)(fun)(SAT) 191+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.52/56.63 (SAT)(equ)(fun)(SAT) 192| -. -12 -. -1
% 56.60/56.72 (SAT)(equ)(fun)(SAT) 192| -. -. -. -. -. -. -. -. -. -.
% 56.82/56.99 (SAT)(equ)(fun)(SAT) 192+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.19/57.38 (SAT)(equ)(fun)(SAT) 193| -. -12 -. -1
% 57.28/57.47 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -. -. -. -. -. -.
% 57.61/57.77 (SAT)(equ)(fun)(SAT) 193+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.99/58.17 (SAT)(equ)(fun)(SAT) 194| -. -12 -. -1
% 58.10/58.26 (SAT)(equ)(fun)(SAT) 194| -. -. -. -. -. -. -. -. -. -.
% 58.39/58.57 (SAT)(equ)(fun)(SAT) 194+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.81/58.95 (SAT)(equ)(fun)(SAT) 195| -. -12 -. -1
% 58.89/59.04 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -.
% 59.21/59.32 (SAT)(equ)(fun)(SAT) 195+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.59/59.74 (SAT)(equ)(fun)(SAT) 196| -. -12 -. -1
% 59.73/59.83 (SAT)(equ)(fun)(SAT) 196| -. -. -. -. -. -. -. -. -. -.
% 60.03/60.14 (SAT)(equ)(fun)(SAT) 196+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.41/60.55 (SAT)(equ)(fun)(SAT) 197| -. -12 -. -1
% 60.48/60.66 (SAT)(equ)(fun)(SAT) 197| -. -. -. -. -. -. -. -. -. -.
% 60.88/60.99 (SAT)(equ)(fun)(SAT) 197+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.29/61.41 (SAT)(equ)(fun)(SAT) 198| -. -12 -. -1
% 61.31/61.49 (SAT)(equ)(fun)(SAT) 198| -. -. -. -. -. -. -. -. -. -.
% 61.60/61.78 (SAT)(equ)(fun)(SAT) 198+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.00/62.18 (SAT)(equ)(fun)(SAT) 199| -. -12 -. -1
% 62.10/62.28 (SAT)(equ)(fun)(SAT) 199| -. -. -. -. -. -. -. -. -. -.
% 62.42/62.58 (SAT)(equ)(fun)(SAT) 199+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.88/62.99 (SAT)(equ)(fun)(SAT) 200| -. -12 -. -1
% 62.88/63.08 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -. -. -. -. -.
% 63.28/63.40 (SAT)(equ)(fun)(SAT) 200+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.70/63.80 (SAT)(equ)(fun)(SAT) 201| -. -12 -. -1
% 63.77/63.90 (SAT)(equ)(fun)(SAT) 201| -. -. -. -. -. -. -. -. -. -.
% 64.08/64.20 (SAT)(equ)(fun)(SAT) 201+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.53/64.63 (SAT)(equ)(fun)(SAT) 202| -. -12 -. -1
% 64.61/64.73 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -. -. -. -. -.
% 64.92/65.03 (SAT)(equ)(fun)(SAT) 202+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.32/65.43 (SAT)(equ)(fun)(SAT) 203| -. -12 -. -1
% 65.42/65.52 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -. -. -. -.
% 65.70/65.85 (SAT)(equ)(fun)(SAT) 203+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.10/66.30 (SAT)(equ)(fun)(SAT) 204| -. -12 -. -1
% 66.22/66.39 (SAT)(equ)(fun)(SAT) 204| -. -. -. -. -. -. -. -. -. -.
% 66.52/66.70 (SAT)(equ)(fun)(SAT) 204+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.99/67.14 (SAT)(equ)(fun)(SAT) 205| -. -12 -. -1
% 67.14/67.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -.
% 67.44/67.55 (SAT)(equ)(fun)(SAT) 205+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.81/67.97 (SAT)(equ)(fun)(SAT) 206| -. -12 -. -1
% 67.89/68.08 (SAT)(equ)(fun)(SAT) 206| -. -. -. -. -. -. -. -. -. -.
% 68.33/68.45 (SAT)(equ)(fun)(SAT) 206+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.72/68.86 (SAT)(equ)(fun)(SAT) 207| -. -12 -. -1
% 68.80/68.96 (SAT)(equ)(fun)(SAT) 207| -. -. -. -. -. -. -. -. -. -.
% 69.12/69.28 (SAT)(equ)(fun)(SAT) 207+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.62/69.72 (SAT)(equ)(fun)(SAT) 208| -. -12 -. -1
% 69.71/69.83 (SAT)(equ)(fun)(SAT) 208| -. -. -. -. -. -. -. -. -. -.
% 70.01/70.15 (SAT)(equ)(fun)(SAT) 208+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.51/70.60 (SAT)(equ)(fun)(SAT) 209| -. -12 -. -1
% 70.63/70.72 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -.
% 70.93/71.08 (SAT)(equ)(fun)(SAT) 209+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.41/71.51 (SAT)(equ)(fun)(SAT) 210| -. -12 -. -1
% 71.51/71.62 (SAT)(equ)(fun)(SAT) 210| -. -. -. -. -. -. -. -. -. -.
% 71.82/71.94 (SAT)(equ)(fun)(SAT) 210+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.33/72.42 (SAT)(equ)(fun)(SAT) 211| -. -12 -. -1
% 72.43/72.52 (SAT)(equ)(fun)(SAT) 211| -. -. -. -. -. -. -. -. -. -.
% 72.73/72.85 (SAT)(equ)(fun)(SAT) 211+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.22/73.31 (SAT)(equ)(fun)(SAT) 212| -. -12 -. -1
% 73.32/73.44 (SAT)(equ)(fun)(SAT) 212| -. -. -. -. -. -. -. -. -. -.
% 73.63/73.78 (SAT)(equ)(fun)(SAT) 212+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.10/74.25 (SAT)(equ)(fun)(SAT) 213| -. -12 -. -1
% 74.25/74.35 (SAT)(equ)(fun)(SAT) 213| -. -. -. -. -. -. -. -. -. -.
% 74.55/74.69 (SAT)(equ)(fun)(SAT) 213+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.11/75.22 (SAT)(equ)(fun)(SAT) 214| -. -12 -. -1
% 75.22/75.33 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -.
% 75.61/75.69 (SAT)(equ)(fun)(SAT) 214+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.04/76.13 (SAT)(equ)(fun)(SAT) 215| -. -12 -. -1
% 76.14/76.24 (SAT)(equ)(fun)(SAT) 215| -. -. -. -. -. -. -. -. -. -.
% 76.44/76.61 (SAT)(equ)(fun)(SAT) 215+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.92/77.08 (SAT)(equ)(fun)(SAT) 216| -. -12 -. -1
% 77.12/77.24 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -. -. -. -. -.
% 77.40/77.57 (SAT)(equ)(fun)(SAT) 216+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.94/78.06 (SAT)(equ)(fun)(SAT) 217| -. -12 -. -1
% 78.09/78.18 (SAT)(equ)(fun)(SAT) 217| -. -. -. -. -. -. -. -. -. -.
% 78.42/78.52 (SAT)(equ)(fun)(SAT) 217+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.91/79.01 (SAT)(equ)(fun)(SAT) 218| -. -12 -. -1
% 79.05/79.15 (SAT)(equ)(fun)(SAT) 218| -. -. -. -. -. -. -. -. -. -.
% 79.44/79.55 (SAT)(equ)(fun)(SAT) 218+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.94/80.01 (SAT)(equ)(fun)(SAT) 219| -. -12 -. -1
% 80.04/80.14 (SAT)(equ)(fun)(SAT) 219| -. -. -. -. -. -. -. -. -. -.
% 80.33/80.49 (SAT)(equ)(fun)(SAT) 219+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.84/80.98 (SAT)(equ)(fun)(SAT) 220| -. -12 -. -1
% 81.01/81.17 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -. -. -. -. -.
% 81.43/81.52 (SAT)(equ)(fun)(SAT) 220+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.91/82.06 (SAT)(equ)(fun)(SAT) 221| -. -12 -. -1
% 82.12/82.20 (SAT)(equ)(fun)(SAT) 221| -. -. -. -. -. -. -. -. -. -.
% 82.51/82.60 (SAT)(equ)(fun)(SAT) 221+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.96/83.09 (SAT)(equ)(fun)(SAT) 222| -. -12 -. -1
% 83.13/83.21 (SAT)(equ)(fun)(SAT) 222| -. -. -. -. -. -. -. -. -. -.
% 83.43/83.58 (SAT)(equ)(fun)(SAT) 222+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.93/84.08 (SAT)(equ)(fun)(SAT) 223| -. -12 -. -1
% 84.13/84.22 (SAT)(equ)(fun)(SAT) 223| -. -. -. -. -. -. -. -. -. -.
% 84.44/84.59 (SAT)(equ)(fun)(SAT) 223+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.92/85.09 (SAT)(equ)(fun)(SAT) 224| -. -12 -. -1
% 85.22/85.32 (SAT)(equ)(fun)(SAT) 224| -. -. -. -. -. -. -. -. -. -.
% 85.63/85.73 (SAT)(equ)(fun)(SAT) 224+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.13/86.25 (SAT)(equ)(fun)(SAT) 225| -. -12 -. -1
% 86.21/86.38 (SAT)(equ)(fun)(SAT) 225| -. -. -. -. -. -. -. -. -. -.
% 86.67/86.75 (SAT)(equ)(fun)(SAT) 225+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.13/87.26 (SAT)(equ)(fun)(SAT) 226| -. -12 -. -1
% 87.25/87.37 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -. -. -. -. -.
% 87.63/87.74 (SAT)(equ)(fun)(SAT) 226+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.14/88.25 (SAT)(equ)(fun)(SAT) 227| -. -12 -. -1
% 88.25/88.39 (SAT)(equ)(fun)(SAT) 227| -. -. -. -. -. -. -. -. -. -.
% 88.65/88.78 (SAT)(equ)(fun)(SAT) 227+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.22/89.29 (SAT)(equ)(fun)(SAT) 228| -. -12 -. -1
% 89.35/89.45 (SAT)(equ)(fun)(SAT) 228| -. -. -. -. -. -. -. -. -. -.
% 89.73/89.86 (SAT)(equ)(fun)(SAT) 228+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.35/90.42 (SAT)(equ)(fun)(SAT) 229| -. -12 -. -1
% 90.46/90.58 (SAT)(equ)(fun)(SAT) 229| -. -. -. -. -. -. -. -. -. -.
% 90.84/90.98 (SAT)(equ)(fun)(SAT) 229+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 91.35/91.48 (SAT)(equ)(fun)(SAT) 230| -. -12 -. -1
% 91.45/91.61 (SAT)(equ)(fun)(SAT) 230| -. -. -. -. -. -. -. -. -. -.
% 91.94/92.01 (SAT)(equ)(fun)(SAT) 230+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.46/92.58 (SAT)(equ)(fun)(SAT) 231| -. -12 -. -1
% 92.62/92.71 (SAT)(equ)(fun)(SAT) 231| -. -. -. -. -. -. -. -. -. -.
% 93.04/93.10 (SAT)(equ)(fun)(SAT) 231+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.53/93.65 (SAT)(equ)(fun)(SAT) 232| -. -12 -. -1
% 93.81/93.93 (SAT)(equ)(fun)(SAT) 232| -. -. -. -. -. -. -. -. -. -.
% 94.28/94.34 (SAT)(equ)(fun)(SAT) 232+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.83/94.89 (SAT)(equ)(fun)(SAT) 233| -. -12 -. -1
% 94.94/95.02 (SAT)(equ)(fun)(SAT) 233| -. -. -. -. -. -. -. -. -. -.
% 95.34/95.44 (SAT)(equ)(fun)(SAT) 233+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.85/95.98 (SAT)(equ)(fun)(SAT) 234| -. -12 -. -1
% 96.05/96.10 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -. -. -. -. -.
% 96.45/96.50 (SAT)(equ)(fun)(SAT) 234+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.93/97.05 (SAT)(equ)(fun)(SAT) 235| -. -12 -. -1
% 97.08/97.20 (SAT)(equ)(fun)(SAT) 235| -. -. -. -. -. -. -. -. -. -.
% 97.51/97.62 (SAT)(equ)(fun)(SAT) 235+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 98.07/98.16 (SAT)(equ)(fun)(SAT) 236| -. -12 -. -1
% 98.28/98.33 (SAT)(equ)(fun)(SAT) 236| -. -. -. -. -. -. -. -. -. -.
% 98.67/98.79 (SAT)(equ)(fun)(SAT) 236+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.25/99.34 (SAT)(equ)(fun)(SAT) 237| -. -12 -. -1
% 99.45/99.50 (SAT)(equ)(fun)(SAT) 237| -. -. -. -. -. -. -. -. -. -.
% 99.85/99.92 (SAT)(equ)(fun)(SAT) 237+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.44/100.52 (SAT)(equ)(fun)(SAT) 238| -. -12 -. -1
% 100.58/100.65 (SAT)(equ)(fun)(SAT) 238| -. -. -. -. -. -. -. -. -. -.
% 100.97/101.07 (SAT)(equ)(fun)(SAT) 238+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.58/101.65 (SAT)(equ)(fun)(SAT) 239| -. -12 -. -1
% 101.68/101.78 (SAT)(equ)(fun)(SAT) 239| -. -. -. -. -. -. -. -. -. -.
% 102.14/102.26 (SAT)(equ)(fun)(SAT) 239+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.76/102.83 (SAT)(equ)(fun)(SAT) 240| -. -12 -. -1
% 102.84/102.97 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -. -. -. -. -.
% 103.36/103.44 (SAT)(equ)(fun)(SAT) 240+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.95/104.01 (SAT)(equ)(fun)(SAT) 241| -. -12 -. -1
% 104.15/104.22 (SAT)(equ)(fun)(SAT) 241| -. -. -. -. -. -. -. -. -. -.
% 104.56/104.67 (SAT)(equ)(fun)(SAT) 241+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 105.19/105.30 (SAT)(equ)(fun)(SAT) 242| -. -12 -. -1
% 105.35/105.45 (SAT)(equ)(fun)(SAT) 242| -. -. -. -. -. -. -. -. -. -.
% 105.79/105.90 (SAT)(equ)(fun)(SAT) 242+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.39/106.51 (SAT)(equ)(fun)(SAT) 243| -. -12 -. -1
% 106.63/106.68 (SAT)(equ)(fun)(SAT) 243| -. -. -. -. -. -. -. -. -. -.
% 107.08/107.12 (SAT)(equ)(fun)(SAT) 243+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.66/107.70 (SAT)(equ)(fun)(SAT) 244| -. -12 -. -1
% 107.76/107.86 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -. -. -. -.
% 108.26/108.31 (SAT)(equ)(fun)(SAT) 244+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.79/108.90 (SAT)(equ)(fun)(SAT) 245| -. -12 -. -1
% 108.94/109.04 (SAT)(equ)(fun)(SAT) 245| -. -. -. -. -. -. -. -. -. -.
% 109.40/109.49 (SAT)(equ)(fun)(SAT) 245+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.08/110.14 (SAT)(equ)(fun)(SAT) 246| -. -12 -. -1
% 110.23/110.28 (SAT)(equ)(fun)(SAT) 246| -. -. -. -. -. -. -. -. -. -.
% 110.68/110.75 (SAT)(equ)(fun)(SAT) 246+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 111.26/111.36 (SAT)(equ)(fun)(SAT) 247| -. -12 -. -1
% 111.47/111.56 (SAT)(equ)(fun)(SAT) 247| -. -. -. -. -. -. -. -. -. -.
% 111.98/112.07 (SAT)(equ)(fun)(SAT) 247+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.66/112.69 (SAT)(equ)(fun)(SAT) 248| -. -12 -. -1
% 112.80/112.84 (SAT)(equ)(fun)(SAT) 248| -. -. -. -. -. -. -. -. -. -.
% 113.27/113.33 (SAT)(equ)(fun)(SAT) 248+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.98/114.02 (SAT)(equ)(fun)(SAT) 249| -. -12 -. -1
% 114.13/114.18 (SAT)(equ)(fun)(SAT) 249| -. -. -. -. -. -. -. -. -. -.
% 114.59/114.62 (SAT)(equ)(fun)(SAT) 249+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 115.18/115.29 (SAT)(equ)(fun)(SAT) 250| -. -12 -. -1
% 115.38/115.48 (SAT)(equ)(fun)(SAT) 250| -. -. -. -. -. -. -. -. -. -.
% 115.87/115.95 (SAT)(equ)(fun)(SAT) 250+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.56/116.66 (SAT)(equ)(fun)(SAT) 251| -. -12 -. -1
% 116.69/116.81 (SAT)(equ)(fun)(SAT) 251| -. -. -. -. -. -. -. -. -. -.
% 117.26/117.31 (SAT)(equ)(fun)(SAT) 251+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 117.88/117.94 (SAT)(equ)(fun)(SAT) 252| -. -12 -. -1
% 118.08/118.11 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -. -. -. -. -.
% 118.51/118.55 (SAT)(equ)(fun)(SAT) 252+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.17/119.26 (SAT)(equ)(fun)(SAT) 253| -. -12 -. -1
% 119.39/119.50 (SAT)(equ)(fun)(SAT) 253| -. -. -. -. -. -. -. -. -. -.
% 119.88/119.99 (SAT)(equ)(fun)(SAT) 253+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.60/120.68 (SAT)(equ)(fun)(SAT) 254| -. -12 -. -1
% 120.77/120.89 (SAT)(equ)(fun)(SAT) 254| -. -. -. -. -. -. -. -. -. -.
% 121.29/121.36 (SAT)(equ)(fun)(SAT) 254+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.99/122.06 (SAT)(equ)(fun)(SAT) 255| -. -12 -. -1
% 122.22/122.27 (SAT)(equ)(fun)(SAT) 255| -. -. -. -. -. -. -. -. -. -.
% 122.80/122.82 (SAT)(equ)(fun)(SAT) 255+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.38/123.48 (SAT)(equ)(fun)(SAT) 256| -. -12 -. -1
% 123.58/123.66 (SAT)(equ)(fun)(SAT) 256| -. -. -. -. -. -. -. -. -. -.
% 124.10/124.17 (SAT)(equ)(fun)(SAT) 256+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 124.82/124.87 (SAT)(equ)(fun)(SAT) 257| -. -12 -. -1
% 125.06/125.07 (SAT)(equ)(fun)(SAT) 257| -. -. -. -. -. -. -. -. -. -.
% 125.52/125.59 (SAT)(equ)(fun)(SAT) 257+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 126.22/126.25 (SAT)(equ)(fun)(SAT) 258| -. -12 -. -1
% 126.46/126.47 (SAT)(equ)(fun)(SAT) 258| -. -. -. -. -. -. -. -. -. -.
% 126.91/126.97 (SAT)(equ)(fun)(SAT) 258+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.59/127.68 (SAT)(equ)(fun)(SAT) 259| -. -12 -. -1
% 127.79/127.86 (SAT)(equ)(fun)(SAT) 259| -. -. -. -. -. -. -. -. -. -.
% 128.29/128.39 (SAT)(equ)(fun)(SAT) 259+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.01/129.06 (SAT)(equ)(fun)(SAT) 260| -. -12 -. -1
% 129.18/129.26 (SAT)(equ)(fun)(SAT) 260| -. -. -. -. -. -. -. -. -. -.
% 129.71/129.77 (SAT)(equ)(fun)(SAT) 260+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 130.42/130.47 (SAT)(equ)(fun)(SAT) 261| -. -12 -. -1
% 130.57/130.62 (SAT)(equ)(fun)(SAT) 261| -. -. -. -. -. -. -. -. -. -.
% 131.12/131.18 (SAT)(equ)(fun)(SAT) 261+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.81/131.83 (SAT)(equ)(fun)(SAT) 262| -. -12 -. -1
% 132.00/132.06 (SAT)(equ)(fun)(SAT) 262| -. -. -. -. -. -. -. -. -. -.
% 132.50/132.57 (SAT)(equ)(fun)(SAT) 262+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 133.29/133.31 (SAT)(equ)(fun)(SAT) 263| -. -12 -. -1
% 133.49/133.50 (SAT)(equ)(fun)(SAT) 263| -. -. -. -. -. -. -. -. -. -.
% 133.99/134.03 (SAT)(equ)(fun)(SAT) 263+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 134.77/134.78 (SAT)(equ)(fun)(SAT) 264| -. -12 -. -1
% 134.93/134.95 (SAT)(equ)(fun)(SAT) 264| -. -. -. -. -. -. -. -. -. -.
% 135.53/135.58 (SAT)(equ)(fun)(SAT) 264+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 136.61/136.66 (SAT)(equ)(fun)(SAT) 265| -. -12 -. -1
% 136.91/136.93 (SAT)(equ)(fun)(SAT) 265| -. -. -. -. -. -. -. -. -. -.
% 137.70/137.72 (SAT)(equ)(fun)(SAT) 265+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 138.69/138.72 (SAT)(equ)(fun)(SAT) 266| -. -12 -. -1
% 139.07/139.09 (SAT)(equ)(fun)(SAT) 266| -. -. -. -. -. -. -. -. -. -.
% 139.79/139.85 (SAT)(equ)(fun)(SAT) 266+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 140.87/140.91 (SAT)(equ)(fun)(SAT) 267| -. -12 -. -1
% 141.08/141.17 (SAT)(equ)(fun)(SAT) 267| -. -. -. -. -. -. -. -. -. -.
% 142.06/142.12 (SAT)(equ)(fun)(SAT) 267+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 143.15/143.28 (SAT)(equ)(fun)(SAT) 268| -. -12 -. -1
% 143.44/143.54 (SAT)(equ)(fun)(SAT) 268| -. -. -. -. -. -. -. -. -. -.
% 144.35/144.41 (SAT)(equ)(fun)(SAT) 268+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.36/145.47 (SAT)(equ)(fun)(SAT) 269| -. -12 -. -1
% 145.65/145.71 (SAT)(equ)(fun)(SAT) 269| -. -. -. -. -. -. -. -. -. -.
% 146.35/146.42 (SAT)(equ)(fun)(SAT) 269+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.33/147.45 (SAT)(equ)(fun)(SAT) 270| -. -12 -. -1
% 147.63/147.72 (SAT)(equ)(fun)(SAT) 270| -. -. -. -. -. -. -. -. -. -.
% 148.34/148.45 (SAT)(equ)(fun)(SAT) 270+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 149.43/149.52 (SAT)(equ)(fun)(SAT) 271| -. -12 -. -1
% 149.73/149.86 (SAT)(equ)(fun)(SAT) 271| -. -. -. -. -. -. -. -. -. -.
% 150.72/150.79 (SAT)(equ)(fun)(SAT) 271+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.74/151.82 (SAT)(equ)(fun)(SAT) 272| -. -12 -. -1
% 151.95/152.04 (SAT)(equ)(fun)(SAT) 272| -. -. -. -. -. -. -. -. -. -.
% 152.65/152.73 (SAT)(equ)(fun)(SAT) 272+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 153.62/153.68 (SAT)(equ)(fun)(SAT) 273| -. -12 -. -1
% 153.85/153.98 (SAT)(equ)(fun)(SAT) 273| -. -. -. -. -. -. -. -. -. -.
% 154.66/154.71 (SAT)(equ)(fun)(SAT) 273+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 155.66/155.74 (SAT)(equ)(fun)(SAT) 274| -. -12 -. -1
% 155.96/156.05 (SAT)(equ)(fun)(SAT) 274| -. -. -. -. -. -. -. -. -. -.
% 156.73/156.80 (SAT)(equ)(fun)(SAT) 274+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 157.84/157.88 (SAT)(equ)(fun)(SAT) 275| -. -12 -. -1
% 158.06/158.19 (SAT)(equ)(fun)(SAT) 275| -. -. -. -. -. -. -. -. -. -.
% 158.86/158.98 (SAT)(equ)(fun)(SAT) 275+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 159.88/159.94 (SAT)(equ)(fun)(SAT) 276| -. -12 -. -1
% 160.15/160.20 (SAT)(equ)(fun)(SAT) 276| -. -. -. -. -. -. -. -. -. -.
% 160.87/160.91 (SAT)(equ)(fun)(SAT) 276+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.86/161.92 (SAT)(equ)(fun)(SAT) 277| -. -12 -. -1
% 162.06/162.16 (SAT)(equ)(fun)(SAT) 277| -. -. -. -. -. -. -. -. -. -.
% 162.96/163.03 (SAT)(equ)(fun)(SAT) 277+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 163.99/164.09 (SAT)(equ)(fun)(SAT) 278| -. -12 -. -1
% 164.29/164.39 (SAT)(equ)(fun)(SAT) 278| -. -. -. -. -. -. -. -. -. -.
% 165.05/165.16 (SAT)(equ)(fun)(SAT) 278+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 166.17/166.27 (SAT)(equ)(fun)(SAT) 279| -. -12 -. -1
% 166.47/166.55 (SAT)(equ)(fun)(SAT) 279| -. -. -. -. -. -. -. -. -. -.
% 167.27/167.31 (SAT)(equ)(fun)(SAT) 279+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 168.24/168.31 (SAT)(equ)(fun)(SAT) 280| -. -12 -. -1
% 168.48/168.57 (SAT)(equ)(fun)(SAT) 280| -. -. -. -. -. -. -. -. -. -.
% 169.29/169.33 (SAT)(equ)(fun)(SAT) 280+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.27/170.34 (SAT)(equ)(fun)(SAT) 281| -. -12 -. -1
% 170.57/170.61 (SAT)(equ)(fun)(SAT) 281| -. -. -. -. -. -. -. -. -. -.
% 171.31/171.37 (SAT)(equ)(fun)(SAT) 281+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 172.36/172.40 (SAT)(equ)(fun)(SAT) 282| -. -12 -. -1
% 172.66/172.69 (SAT)(equ)(fun)(SAT) 282| -. -. -. -. -. -. -. -. -. -.
% 173.49/173.52 (SAT)(equ)(fun)(SAT) 282+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 174.61/174.66 (SAT)(equ)(fun)(SAT) 283| -. -12 -. -1
% 175.07/175.09 (SAT)(equ)(fun)(SAT) 283| -. -. -. -. -. -. -. -. -. -.
% 175.89/175.95 (SAT)(equ)(fun)(SAT) 283+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 176.89/176.94 (SAT)(equ)(fun)(SAT) 284| -. -12 -. -1
% 177.30/177.32 (SAT)(equ)(fun)(SAT) 284| -. -. -. -. -. -. -. -. -. -.
% 177.99/178.07 (SAT)(equ)(fun)(SAT) 284+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 179.11/179.13 (SAT)(equ)(fun)(SAT) 285| -. -12 -. -1
% 179.45/179.52 (SAT)(equ)(fun)(SAT) 285| -. -. -. -. -. -. -. -. -. -.
% 180.23/180.26 (SAT)(equ)(fun)(SAT) 285+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 181.10/181.19 (SAT)(equ)(fun)(SAT) 286| -. -12 -. -1
% 181.49/181.50 (SAT)(equ)(fun)(SAT) 286| -. -. -. -. -. -. -. -. -. -.
% 182.22/182.30 (SAT)(equ)(fun)(SAT) 286+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 183.30/183.36 (SAT)(equ)(fun)(SAT) 287| -. -12 -. -1
% 183.74/183.73 (SAT)(equ)(fun)(SAT) 287| -. -. -. -. -. -. -. -. -. -.
% 184.42/184.49 (SAT)(equ)(fun)(SAT) 287+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 185.41/185.50 (SAT)(equ)(fun)(SAT) 288| -. -12 -. -1
% 185.73/185.80 (SAT)(equ)(fun)(SAT) 288| -. -. -. -. -. -. -. -. -. -.
% 186.49/186.54 (SAT)(equ)(fun)(SAT) 288+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 187.51/187.52 (SAT)(equ)(fun)(SAT) 289| -. -12 -. -1
% 187.78/187.80 (SAT)(equ)(fun)(SAT) 289| -. -. -. -. -. -. -. -. -. -.
% 188.52/188.53 (SAT)(equ)(fun)(SAT) 289+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.51/189.51 (SAT)(equ)(fun)(SAT) 290| -. -12 -. -1
% 189.68/189.74 (SAT)(equ)(fun)(SAT) 290| -. -. -. -. -. -. -. -. -. -.
% 190.45/190.45 (SAT)(equ)(fun)(SAT) 290+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.60/191.59 (SAT)(equ)(fun)(SAT) 291| -. -12 -. -1
% 191.81/191.80 (SAT)(equ)(fun)(SAT) 291| -. -. -. -. -. -. -. -. -. -.
% 192.42/192.49 (SAT)(equ)(fun)(SAT) 291+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 193.35/193.38 (SAT)(equ)(fun)(SAT) 292| -. -12 -. -1
% 193.74/193.73 (SAT)(equ)(fun)(SAT) 292| -. -. -. -. -. -. -. -. -. -.
% 194.32/194.37 (SAT)(equ)(fun)(SAT) 292+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 195.22/195.28 (SAT)(equ)(fun)(SAT) 293| -. -12 -. -1
% 195.54/195.54 (SAT)(equ)(fun)(SAT) 293| -. -. -. -. -. -. -. -. -. -.
% 196.20/196.20 (SAT)(equ)(fun)(SAT) 293+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 197.09/197.10 (SAT)(equ)(fun)(SAT) 294| -. -12 -. -1
% 197.30/197.35 (SAT)(equ)(fun)(SAT) 294| -. -. -. -. -. -. -. -. -. -.
% 198.04/198.05 (SAT)(equ)(fun)(SAT) 294+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 199.04/199.05 (SAT)(equ)(fun)(SAT) 295| -. -12 -. -1
% 199.23/199.26 (SAT)(equ)(fun)(SAT) 295| -. -. -. -. -. -. -. -. -. -.
% 200.05/200.03 (SAT)(equ)(fun)(SAT) 295+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 201.03/201.03 (SAT)(equ)(fun)(SAT) 296| -. -12 -. -1
% 201.49/201.50 (SAT)(equ)(fun)(SAT) 296| -. -. -. -. -. -. -. -. -. -.
% 202.23/202.20 (SAT)(equ)(fun)(SAT) 296+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.12/203.15 (SAT)(equ)(fun)(SAT) 297| -. -12 -. -1
% 203.33/203.35 (SAT)(equ)(fun)(SAT) 297| -. -. -. -. -. -. -. -. -. -.
% 204.02/204.03 (SAT)(equ)(fun)(SAT) 297+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 204.92/204.94 (SAT)(equ)(fun)(SAT) 298| -. -12 -. -1
% 205.23/205.19 (SAT)(equ)(fun)(SAT) 298| -. -. -. -. -. -. -. -. -. -.
% 205.92/205.90 (SAT)(equ)(fun)(SAT) 298+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 206.83/206.87 (SAT)(equ)(fun)(SAT) 299| -. -12 -. -1
% 207.13/207.13 (SAT)(equ)(fun)(SAT) 299| -. -. -. -. -. -. -. -. -. -.
% 208.05/208.03 (SAT)(equ)(fun)(SAT) 299+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 209.05/209.03 (SAT)(equ)(fun)(SAT) 300| -. -12 -. -1
% 209.33/209.31 (SAT)(equ)(fun)(SAT) 300| -. -. -. -. -. -. -. -. -. -.
% 210.04/210.06 (SAT)(equ)(fun)(SAT) 300+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.17/211.14 (SAT)(equ)(fun)(SAT) 301| -. -12 -. -1
% 211.32/211.36 (SAT)(equ)(fun)(SAT) 301| -. -. -. -. -. -. -. -. -. -.
% 212.16/212.13 (SAT)(equ)(fun)(SAT) 301+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 213.15/213.13 (SAT)(equ)(fun)(SAT) 302| -. -12 -. -1
% 213.43/213.40 (SAT)(equ)(fun)(SAT) 302| -. -. -. -. -. -. -. -. -. -.
% 214.14/214.17 (SAT)(equ)(fun)(SAT) 302+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 215.23/215.22 (SAT)(equ)(fun)(SAT) 303| -. -12 -. -1
% 215.56/215.51 (SAT)(equ)(fun)(SAT) 303| -. -. -. -. -. -. -. -. -. -.
% 216.45/216.41 (SAT)(equ)(fun)(SAT) 303+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 217.57/217.53 (SAT)(equ)(fun)(SAT) 304| -. -12 -. -1
% 217.79/217.80 (SAT)(equ)(fun)(SAT) 304| -. -. -. -. -. -. -. -. -. -.
% 218.65/218.62 (SAT)(equ)(fun)(SAT) 304+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 219.73/219.69 (SAT)(equ)(fun)(SAT) 305| -. -12 -. -1
% 220.05/220.03 (SAT)(equ)(fun)(SAT) 305| -. -. -. -. -. -. -. -. -. -.
% 220.86/220.82 (SAT)(equ)(fun)(SAT) 305+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 221.80/221.83 (SAT)(equ)(fun)(SAT) 306| -. -12 -. -1
% 222.19/222.19 (SAT)(equ)(fun)(SAT) 306| -. -. -. -. -. -. -. -. -. -.
% 222.98/222.97 (SAT)(equ)(fun)(SAT) 306+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 224.14/224.13 (SAT)(equ)(fun)(SAT) 307| -. -12 -. -1
% 224.44/224.46 (SAT)(equ)(fun)(SAT) 307| -. -. -. -. -. -. -. -. -. -.
% 225.30/225.26 (SAT)(equ)(fun)(SAT) 307+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.34/226.28 (SAT)(equ)(fun)(SAT) 308| -. -12 -. -1
% 226.53/226.54 (SAT)(equ)(fun)(SAT) 308| -. -. -. -. -. -. -. -. -. -.
% 227.39/227.37 (SAT)(equ)(fun)(SAT) 308+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 228.57/228.50 (SAT)(equ)(fun)(SAT) 309| -. -12 -. -1
% 228.82/228.79 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -.
% 229.60/229.55 (SAT)(equ)(fun)(SAT) 309+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.65/230.60 (SAT)(equ)(fun)(SAT) 310| -. -12 -. -1
% 230.88/230.85 (SAT)(equ)(fun)(SAT) 310| -. -. -. -. -. -. -. -. -. -.
% 231.65/231.61 (SAT)(equ)(fun)(SAT) 310+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.75/232.69 (SAT)(equ)(fun)(SAT) 311| -. -12 -. -1
% 233.00/232.98 (SAT)(equ)(fun)(SAT) 311| -. -. -. -. -. -. -. -. -. -.
% 233.79/233.78 (SAT)(equ)(fun)(SAT) 311+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 234.88/234.84 (SAT)(equ)(fun)(SAT) 312| -. -12 -. -1
% 235.18/235.15 (SAT)(equ)(fun)(SAT) 312| -. -. -. -. -. -. -. -. -. -.
% 236.10/236.03 (SAT)(equ)(fun)(SAT) 312+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 237.29/237.27 (SAT)(equ)(fun)(SAT) 313| -. -12 -. -1
% 237.51/237.52 (SAT)(equ)(fun)(SAT) 313| -. -. -. -. -. -. -. -. -. -.
% 238.42/238.36 (SAT)(equ)(fun)(SAT) 313+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 239.55/239.49 (SAT)(equ)(fun)(SAT) 314| -. -12 -. -1
% 239.81/239.77 (SAT)(equ)(fun)(SAT) 314| -. -. -. -. -. -. -. -. -. -.
% 240.60/240.56 (SAT)(equ)(fun)(SAT) 314+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 241.74/241.73 (SAT)(equ)(fun)(SAT) 315| -. -12 -. -1
% 242.04/242.02 (SAT)(equ)(fun)(SAT) 315| -. -. -. -. -. -. -. -. -. -.
% 242.92/242.86 (SAT)(equ)(fun)(SAT) 315+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 244.00/243.98 (SAT)(equ)(fun)(SAT) 316| -. -12 -. -1
% 244.32/244.24 (SAT)(equ)(fun)(SAT) 316| -. -. -. -. -. -. -. -. -. -.
% 245.15/245.11 (SAT)(equ)(fun)(SAT) 316+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 246.32/246.28 (SAT)(equ)(fun)(SAT) 317| -. -12 -. -1
% 246.62/246.59 (SAT)(equ)(fun)(SAT) 317| -. -. -. -. -. -. -. -. -. -.
% 247.51/247.48 (SAT)(equ)(fun)(SAT) 317+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.74/248.67 (SAT)(equ)(fun)(SAT) 318| -. -12 -. -1
% 248.99/248.95 (SAT)(equ)(fun)(SAT) 318| -. -. -. -. -. -. -. -. -. -.
% 249.86/249.78 (SAT)(equ)(fun)(SAT) 318+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 251.00/250.97 (SAT)(equ)(fun)(SAT) 319| -. -12 -. -1
% 251.38/251.30 (SAT)(equ)(fun)(SAT) 319| -. -. -. -. -. -. -. -. -. -.
% 252.26/252.18 (SAT)(equ)(fun)(SAT) 319+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 253.44/253.34 (SAT)(equ)(fun)(SAT) 320| -. -12 -. -1
% 253.72/253.62 (SAT)(equ)(fun)(SAT) 320| -. -. -. -. -. -. -. -. -. -.
% 254.58/254.48 (SAT)(equ)(fun)(SAT) 320+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 255.76/255.67 (SAT)(equ)(fun)(SAT) 321| -. -12 -. -1
% 256.04/255.96 (SAT)(equ)(fun)(SAT) 321| -. -. -. -. -. -. -. -. -. -.
% 256.97/256.88 (SAT)(equ)(fun)(SAT) 321+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.13/258.07 (SAT)(equ)(fun)(SAT) 322| -. -12 -. -1
% 258.49/258.46 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -.
% 259.56/259.46 (SAT)(equ)(fun)(SAT) 322+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 260.91/260.82 (SAT)(equ)(fun)(SAT) 323| -. -12 -. -1
% 261.21/261.11 (SAT)(equ)(fun)(SAT) 323| -. -. -. -. -. -. -. -. -. -.
% 262.06/262.00 (SAT)(equ)(fun)(SAT) 323+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 263.35/263.28 (SAT)(equ)(fun)(SAT) 324| -. -12 -. -1
% 263.65/263.56 (SAT)(equ)(fun)(SAT) 324| -. -. -. -. -. -. -. -. -. -.
% 264.53/264.45 (SAT)(equ)(fun)(SAT) 324+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.74/265.64 (SAT)(equ)(fun)(SAT) 325| -. -12 -. -1
% 266.07/266.00 (SAT)(equ)(fun)(SAT) 325| -. -. -. -. -. -. -. -. -. -.
% 266.96/266.89 (SAT)(equ)(fun)(SAT) 325+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 268.11/268.06 (SAT)(equ)(fun)(SAT) 326| -. -12 -. -1
% 268.41/268.32 (SAT)(equ)(fun)(SAT) 326| -. -. -. -. -. -. -. -. -. -.
% 269.29/269.18 (SAT)(equ)(fun)(SAT) 326+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.52/270.45 (SAT)(equ)(fun)(SAT) 327| -. -12 -. -1
% 270.94/270.85 (SAT)(equ)(fun)(SAT) 327| -. -. -. -. -. -. -. -. -. -.
% 271.96/271.85 (SAT)(equ)(fun)(SAT) 327+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 273.16/273.04 (SAT)(equ)(fun)(SAT) 328| -. -12 -. -1
% 273.56/273.44 (SAT)(equ)(fun)(SAT) 328| -. -. -. -. -. -. -. -. -. -.
% 274.35/274.33 (SAT)(equ)(fun)(SAT) 328+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 275.68/275.59 (SAT)(equ)(fun)(SAT) 329| -. -12 -. -1
% 275.98/275.87 (SAT)(equ)(fun)(SAT) 329| -. -. -. -. -. -. -. -. -. -.
% 276.87/276.78 (SAT)(equ)(fun)(SAT) 329+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 278.15/278.02 (SAT)(equ)(fun)(SAT) 330| -. -12 -. -1
% 278.42/278.31 (SAT)(equ)(fun)(SAT) 330| -. -. -. -. -. -. -. -. -. -.
% 279.38/279.25 (SAT)(equ)(fun)(SAT) 330+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 280.67/280.55 (SAT)(equ)(fun)(SAT) 331| -. -12 -. -1
% 280.96/280.85 (SAT)(equ)(fun)(SAT) 331| -. -. -. -. -. -. -. -. -. -.
% 281.87/281.82 (SAT)(equ)(fun)(SAT) 331+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 283.15/283.05 (SAT)(equ)(fun)(SAT) 332| -. -12 -. -1
% 283.51/283.40 (SAT)(equ)(fun)(SAT) 332| -. -. -. -. -. -. -. -. -. -.
% 284.43/284.33 (SAT)(equ)(fun)(SAT) 332+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 285.74/285.65 (SAT)(equ)(fun)(SAT) 333| -. -12 -. -1
% 286.09/285.95 (SAT)(equ)(fun)(SAT) 333| -. -. -. -. -. -. -. -. -. -.
% 287.04/286.92 (SAT)(equ)(fun)(SAT) 333+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 288.46/288.34 (SAT)(equ)(fun)(SAT) 334| -. -12 -. -1
% 288.84/288.75 (SAT)(equ)(fun)(SAT) 334| -. -. -. -. -. -. -. -. -. -.
% 289.97/289.82 (SAT)(equ)(fun)(SAT) 334+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.37/291.26 (SAT)(equ)(fun)(SAT) 335| -. -12 -. -1
% 291.74/291.61 (SAT)(equ)(fun)(SAT) 335| -. -. -. -. -. -. -. -. -. -.
% 292.68/292.56 (SAT)(equ)(fun)(SAT) 335+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.90/293.79 (SAT)(equ)(fun)(SAT) 336| -. -12 -. -1
% 294.19/294.08 (SAT)(equ)(fun)(SAT) 336| -. -. -. -. -. -. -. -. -. -.
% 295.18/295.04 (SAT)(equ)(fun)(SAT) 336+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 296.55/296.41 (SAT)(equ)(fun)(SAT) 337| -. -12 -. -1
% 296.80/296.70 (SAT)(equ)(fun)(SAT) 337| -. -. -. -. -. -. -. -. -. -.
% 297.84/297.74 (SAT)(equ)(fun)(SAT) 337+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 299.15/299.07 (SAT)(equ)(fun)(SAT) 338| -. -12 -. -1
% 299.57/299.42 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -.
%------------------------------------------------------------------------------