TSTP Solution File: SYN754-1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYN754-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 : n009.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:09 EDT 2022
% Result : Timeout 286.20s 285.99s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SYN754-1 : TPTP v8.1.0. Released v2.5.0.
% 0.03/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.14/0.34 % Computer : n009.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Mon Jul 11 21:47:52 EDT 2022
% 0.14/0.34 % CPUTime :
% 0.14/0.35 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.14/0.35 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.14/0.35 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.20/0.37 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.20/0.37 #elt|#instances
% 0.20/0.38 (SAT)(equ)(fun)(SAT) 1| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.38 (SAT)(equ)(fun)(SAT) 2| -.
% 0.20/0.38 (SAT)(equ)(fun)(SAT) 2+ -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.39 (SAT)(equ)(fun)(SAT) 2| -. -. -. -. -. -.
% 0.20/0.39 (SAT)(equ)(fun)(SAT) 2+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.40 (SAT)(equ)(fun)(SAT) 3| -. -12 -12 -12 -12 -12
% 0.20/0.41 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -.
% 0.20/0.42 (SAT)(equ)(fun)(SAT) 3| -. -. -. -1 -. -. -. -1 -1 -. -. -. -.
% 0.20/0.43 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.44 (SAT)(equ)(fun)(SAT) 3+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.46 (SAT)(equ)(fun)(SAT) 4| -. -1 -1 -. -1 -. -. -. -12 -. -. -.
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -.
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 4+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 5| -. -1 -1 -. -. -1 -1 -. -12 -. -. -.
% 0.20/0.51 (SAT)(equ)(fun)(SAT) 5| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -.
% 0.20/0.52 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.20/0.53 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -.
% 0.20/0.54 (SAT)(equ)(fun)(SAT) 5+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.20/0.55 (SAT)(equ)(fun)(SAT) 6| -. -1 -. -. -1 -1 -. -. -. -1 -. -. -.
% 0.20/0.56 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.41/0.57 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.41/0.58 (SAT)(equ)(fun)(SAT) 6+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.44/0.60 (SAT)(equ)(fun)(SAT) 7| -. -1 -. -1 -. -. -. -1 -. -.
% 0.44/0.61 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.44/0.62 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.44/0.63 (SAT)(equ)(fun)(SAT) 7+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.50/0.65 (SAT)(equ)(fun)(SAT) 8| -. -1 -. -. -1 -. -. -. -1 -. -.
% 0.50/0.66 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.50/0.68 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.50/0.69 (SAT)(equ)(fun)(SAT) 8+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.56/0.71 (SAT)(equ)(fun)(SAT) 9| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.56/0.72 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.56/0.73 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -. -. -. -.
% 0.56/0.74 (SAT)(equ)(fun)(SAT) 9+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.60/0.77 (SAT)(equ)(fun)(SAT) 10| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.60/0.78 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.60/0.79 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -. -. -. -.
% 0.60/0.80 (SAT)(equ)(fun)(SAT) 10+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.60/0.83 (SAT)(equ)(fun)(SAT) 11| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.60/0.84 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.69/0.86 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -.
% 0.69/0.86 (SAT)(equ)(fun)(SAT) 11+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.69/0.89 (SAT)(equ)(fun)(SAT) 12| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.74/0.90 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.74/0.91 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -. -.
% 0.74/0.92 (SAT)(equ)(fun)(SAT) 12+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.79/0.94 (SAT)(equ)(fun)(SAT) 13| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.80/0.95 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.80/0.97 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -. -. -. -. -.
% 0.80/0.98 (SAT)(equ)(fun)(SAT) 13+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.85/1.01 (SAT)(equ)(fun)(SAT) 14| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.85/1.02 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.85/1.04 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -. -. -. -.
% 0.85/1.04 (SAT)(equ)(fun)(SAT) 14+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.92/1.07 (SAT)(equ)(fun)(SAT) 15| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.92/1.08 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.92/1.10 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -. -. -. -. -.
% 0.92/1.11 (SAT)(equ)(fun)(SAT) 15+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.92/1.14 (SAT)(equ)(fun)(SAT) 16| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 0.92/1.15 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.01/1.17 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -. -. -. -.
% 1.01/1.18 (SAT)(equ)(fun)(SAT) 16+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.05/1.21 (SAT)(equ)(fun)(SAT) 17| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.05/1.23 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.08/1.25 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -.
% 1.08/1.26 (SAT)(equ)(fun)(SAT) 17+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.08/1.29 (SAT)(equ)(fun)(SAT) 18| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.08/1.31 (SAT)(equ)(fun)(SAT) 18| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.08/1.33 (SAT)(equ)(fun)(SAT) 18| -. -. -. -. -. -. -. -. -. -.
% 1.18/1.34 (SAT)(equ)(fun)(SAT) 18+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.18/1.37 (SAT)(equ)(fun)(SAT) 19| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.18/1.39 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.24/1.41 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -. -. -. -. -.
% 1.24/1.42 (SAT)(equ)(fun)(SAT) 19+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.31/1.46 (SAT)(equ)(fun)(SAT) 20| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.31/1.47 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.31/1.50 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -. -. -. -.
% 1.36/1.51 (SAT)(equ)(fun)(SAT) 20+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.39/1.55 (SAT)(equ)(fun)(SAT) 21| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.39/1.57 (SAT)(equ)(fun)(SAT) 21| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.39/1.59 (SAT)(equ)(fun)(SAT) 21| -. -. -. -. -. -. -. -. -. -.
% 1.39/1.60 (SAT)(equ)(fun)(SAT) 21+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.48/1.64 (SAT)(equ)(fun)(SAT) 22| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.48/1.66 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.48/1.69 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -. -. -. -.
% 1.48/1.70 (SAT)(equ)(fun)(SAT) 22+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.55/1.74 (SAT)(equ)(fun)(SAT) 23| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.55/1.76 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.63/1.79 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -.
% 1.63/1.80 (SAT)(equ)(fun)(SAT) 23+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.67/1.85 (SAT)(equ)(fun)(SAT) 24| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.67/1.87 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.67/1.90 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -. -. -. -. -.
% 1.67/1.91 (SAT)(equ)(fun)(SAT) 24+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.76/1.96 (SAT)(equ)(fun)(SAT) 25| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.76/1.98 (SAT)(equ)(fun)(SAT) 25| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.84/2.01 (SAT)(equ)(fun)(SAT) 25| -. -. -. -. -. -. -. -. -. -.
% 1.84/2.02 (SAT)(equ)(fun)(SAT) 25+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.92/2.07 (SAT)(equ)(fun)(SAT) 26| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.92/2.09 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.97/2.12 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -. -. -. -.
% 1.97/2.14 (SAT)(equ)(fun)(SAT) 26+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.97/2.19 (SAT)(equ)(fun)(SAT) 27| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 1.97/2.21 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.08/2.24 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -. -. -. -. -.
% 2.08/2.26 (SAT)(equ)(fun)(SAT) 27+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.15/2.31 (SAT)(equ)(fun)(SAT) 28| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 2.15/2.33 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.15/2.37 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -. -. -. -. -.
% 2.15/2.38 (SAT)(equ)(fun)(SAT) 28+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.24/2.44 (SAT)(equ)(fun)(SAT) 29| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 2.24/2.46 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.34/2.50 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -. -. -. -.
% 2.37/2.52 (SAT)(equ)(fun)(SAT) 29+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.37/2.57 (SAT)(equ)(fun)(SAT) 30| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 2.37/2.60 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.46/2.63 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -.
% 2.46/2.65 (SAT)(equ)(fun)(SAT) 30+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.54/2.71 (SAT)(equ)(fun)(SAT) 31| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 2.54/2.73 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.54/2.77 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -. -. -. -. -. -.
% 2.64/2.79 (SAT)(equ)(fun)(SAT) 31+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.69/2.85 (SAT)(equ)(fun)(SAT) 32| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 2.69/2.88 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.69/2.92 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -. -. -. -.
% 2.78/2.94 (SAT)(equ)(fun)(SAT) 32+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.84/3.00 (SAT)(equ)(fun)(SAT) 33| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 2.84/3.03 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.91/3.07 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -. -. -. -.
% 2.92/3.09 (SAT)(equ)(fun)(SAT) 33+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.98/3.15 (SAT)(equ)(fun)(SAT) 34| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 2.98/3.18 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.07/3.22 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -. -. -. -.
% 3.07/3.24 (SAT)(equ)(fun)(SAT) 34+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.14/3.31 (SAT)(equ)(fun)(SAT) 35| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 3.14/3.34 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.21/3.38 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -.
% 3.24/3.40 (SAT)(equ)(fun)(SAT) 35+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.30/3.48 (SAT)(equ)(fun)(SAT) 36| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 3.30/3.50 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.37/3.55 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -. -. -. -. -.
% 3.42/3.57 (SAT)(equ)(fun)(SAT) 36+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.50/3.64 (SAT)(equ)(fun)(SAT) 37| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 3.52/3.67 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.52/3.72 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -. -. -. -. -. -.
% 3.57/3.74 (SAT)(equ)(fun)(SAT) 37+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.60/3.82 (SAT)(equ)(fun)(SAT) 38| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 3.68/3.85 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.73/3.90 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -. -.
% 3.73/3.92 (SAT)(equ)(fun)(SAT) 38+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.84/4.00 (SAT)(equ)(fun)(SAT) 39| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 3.84/4.03 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.91/4.08 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -. -. -. -. -.
% 3.96/4.10 (SAT)(equ)(fun)(SAT) 39+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.01/4.18 (SAT)(equ)(fun)(SAT) 40| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 4.01/4.22 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.10/4.27 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -.
% 4.14/4.29 (SAT)(equ)(fun)(SAT) 40+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.20/4.38 (SAT)(equ)(fun)(SAT) 41| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 4.26/4.41 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.26/4.47 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -. -. -. -.
% 4.32/4.49 (SAT)(equ)(fun)(SAT) 41+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.41/4.57 (SAT)(equ)(fun)(SAT) 42| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 4.46/4.61 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.49/4.66 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -. -. -. -. -.
% 4.49/4.69 (SAT)(equ)(fun)(SAT) 42+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.58/4.77 (SAT)(equ)(fun)(SAT) 43| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 4.64/4.81 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.71/4.87 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -. -. -. -. -.
% 4.71/4.89 (SAT)(equ)(fun)(SAT) 43+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.79/4.98 (SAT)(equ)(fun)(SAT) 44| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 4.79/5.02 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.88/5.08 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -.
% 4.88/5.10 (SAT)(equ)(fun)(SAT) 44+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.03/5.20 (SAT)(equ)(fun)(SAT) 45| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 5.07/5.23 (SAT)(equ)(fun)(SAT) 45| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.07/5.30 (SAT)(equ)(fun)(SAT) 45| -. -. -. -. -. -. -. -. -. -.
% 5.18/5.32 (SAT)(equ)(fun)(SAT) 45+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.25/5.41 (SAT)(equ)(fun)(SAT) 46| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 5.25/5.45 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.36/5.52 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -. -. -. -. -.
% 5.38/5.55 (SAT)(equ)(fun)(SAT) 46+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.49/5.64 (SAT)(equ)(fun)(SAT) 47| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 5.49/5.68 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.56/5.75 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -.
% 5.56/5.78 (SAT)(equ)(fun)(SAT) 47+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.65/5.87 (SAT)(equ)(fun)(SAT) 48| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 5.77/5.92 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.77/5.98 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -. -. -. -.
% 5.86/6.01 (SAT)(equ)(fun)(SAT) 48+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.94/6.11 (SAT)(equ)(fun)(SAT) 49| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 5.94/6.15 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.08/6.22 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -. -. -. -. -.
% 6.09/6.25 (SAT)(equ)(fun)(SAT) 49+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.18/6.36 (SAT)(equ)(fun)(SAT) 50| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 6.24/6.40 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.32/6.47 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -. -. -.
% 6.33/6.50 (SAT)(equ)(fun)(SAT) 50+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.39/6.61 (SAT)(equ)(fun)(SAT) 51| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 6.48/6.65 (SAT)(equ)(fun)(SAT) 51| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.54/6.72 (SAT)(equ)(fun)(SAT) 51| -. -. -. -. -. -. -. -. -. -.
% 6.54/6.76 (SAT)(equ)(fun)(SAT) 51+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.70/6.87 (SAT)(equ)(fun)(SAT) 52| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 6.70/6.91 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.82/6.99 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -. -. -. -. -.
% 6.82/7.02 (SAT)(equ)(fun)(SAT) 52+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.98/7.13 (SAT)(equ)(fun)(SAT) 53| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 7.00/7.17 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.08/7.25 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -.
% 7.12/7.29 (SAT)(equ)(fun)(SAT) 53+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.24/7.40 (SAT)(equ)(fun)(SAT) 54| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 7.29/7.45 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.36/7.53 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -. -. -. -. -.
% 7.41/7.56 (SAT)(equ)(fun)(SAT) 54+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.50/7.68 (SAT)(equ)(fun)(SAT) 55| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 7.54/7.72 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.61/7.80 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -. -.
% 7.67/7.84 (SAT)(equ)(fun)(SAT) 55+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.73/7.96 (SAT)(equ)(fun)(SAT) 56| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 7.87/8.01 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.90/8.09 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -. -. -. -.
% 7.90/8.13 (SAT)(equ)(fun)(SAT) 56+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.05/8.25 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 8.12/8.30 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.20/8.38 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -.
% 8.20/8.42 (SAT)(equ)(fun)(SAT) 57+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.36/8.55 (SAT)(equ)(fun)(SAT) 58| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 8.44/8.60 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.48/8.69 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -. -. -. -.
% 8.58/8.72 (SAT)(equ)(fun)(SAT) 58+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.65/8.85 (SAT)(equ)(fun)(SAT) 59| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 8.74/8.90 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.79/8.99 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -. -. -. -.
% 8.79/9.03 (SAT)(equ)(fun)(SAT) 59+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.97/9.16 (SAT)(equ)(fun)(SAT) 60| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 9.06/9.21 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.16/9.30 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -. -. -. -.
% 9.17/9.34 (SAT)(equ)(fun)(SAT) 60+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.27/9.48 (SAT)(equ)(fun)(SAT) 61| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 9.35/9.53 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.48/9.63 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -. -. -.
% 9.49/9.67 (SAT)(equ)(fun)(SAT) 61+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.65/9.80 (SAT)(equ)(fun)(SAT) 62| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 9.65/9.86 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.79/9.95 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -. -. -. -. -.
% 9.79/9.99 (SAT)(equ)(fun)(SAT) 62+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.95/10.13 (SAT)(equ)(fun)(SAT) 63| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 10.04/10.19 (SAT)(equ)(fun)(SAT) 63| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.10/10.29 (SAT)(equ)(fun)(SAT) 63| -. -. -. -. -. -. -. -. -. -.
% 10.18/10.33 (SAT)(equ)(fun)(SAT) 63+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.33/10.47 (SAT)(equ)(fun)(SAT) 64| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 10.38/10.53 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.48/10.63 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -. -. -. -.
% 10.48/10.67 (SAT)(equ)(fun)(SAT) 64+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.64/10.82 (SAT)(equ)(fun)(SAT) 65| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 10.71/10.87 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.83/10.98 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -. -. -. -.
% 10.83/11.02 (SAT)(equ)(fun)(SAT) 65+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.01/11.17 (SAT)(equ)(fun)(SAT) 66| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 11.07/11.23 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.14/11.33 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -. -. -. -. -.
% 11.23/11.38 (SAT)(equ)(fun)(SAT) 66+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.39/11.53 (SAT)(equ)(fun)(SAT) 67| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 11.45/11.59 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.57/11.70 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -. -. -. -.
% 11.60/11.75 (SAT)(equ)(fun)(SAT) 67+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.69/11.90 (SAT)(equ)(fun)(SAT) 68| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 11.77/11.97 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.88/12.07 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -. -.
% 11.98/12.12 (SAT)(equ)(fun)(SAT) 68+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.14/12.28 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 12.18/12.34 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.29/12.45 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -.
% 12.29/12.50 (SAT)(equ)(fun)(SAT) 69+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.46/12.66 (SAT)(equ)(fun)(SAT) 70| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 12.58/12.73 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.68/12.83 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -. -. -. -. -.
% 12.68/12.89 (SAT)(equ)(fun)(SAT) 70+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.90/13.05 (SAT)(equ)(fun)(SAT) 71| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 12.90/13.12 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.06/13.23 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -. -. -. -.
% 13.14/13.28 (SAT)(equ)(fun)(SAT) 71+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.30/13.45 (SAT)(equ)(fun)(SAT) 72| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 13.36/13.52 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.49/13.63 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -. -. -. -. -.
% 13.52/13.69 (SAT)(equ)(fun)(SAT) 72+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.72/13.86 (SAT)(equ)(fun)(SAT) 73| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 13.79/13.92 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.90/14.04 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -. -. -. -.
% 13.95/14.10 (SAT)(equ)(fun)(SAT) 73+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.12/14.27 (SAT)(equ)(fun)(SAT) 74| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 14.17/14.34 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.32/14.46 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -.
% 14.36/14.51 (SAT)(equ)(fun)(SAT) 74+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.54/14.69 (SAT)(equ)(fun)(SAT) 75| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 14.54/14.76 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.71/14.88 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -. -.
% 14.80/14.94 (SAT)(equ)(fun)(SAT) 75+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.97/15.12 (SAT)(equ)(fun)(SAT) 76| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 15.00/15.19 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.17/15.31 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -. -. -. -.
% 15.17/15.37 (SAT)(equ)(fun)(SAT) 76+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.38/15.55 (SAT)(equ)(fun)(SAT) 77| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 15.45/15.63 (SAT)(equ)(fun)(SAT) 77| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.59/15.75 (SAT)(equ)(fun)(SAT) 77| -. -. -. -. -. -. -. -. -. -.
% 15.59/15.81 (SAT)(equ)(fun)(SAT) 77+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.85/16.00 (SAT)(equ)(fun)(SAT) 78| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 15.85/16.07 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.98/16.20 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -. -. -.
% 16.07/16.26 (SAT)(equ)(fun)(SAT) 78+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.30/16.45 (SAT)(equ)(fun)(SAT) 79| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 16.39/16.52 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.46/16.65 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -. -. -. -.
% 16.58/16.72 (SAT)(equ)(fun)(SAT) 79+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.76/16.91 (SAT)(equ)(fun)(SAT) 80| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 16.84/16.99 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.92/17.12 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -. -. -. -. -.
% 17.05/17.18 (SAT)(equ)(fun)(SAT) 80+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.22/17.38 (SAT)(equ)(fun)(SAT) 81| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 17.29/17.45 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.44/17.59 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -. -. -. -. -.
% 17.52/17.65 (SAT)(equ)(fun)(SAT) 81+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.72/17.85 (SAT)(equ)(fun)(SAT) 82| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 17.76/17.93 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.87/18.07 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -. -. -.
% 17.94/18.14 (SAT)(equ)(fun)(SAT) 82+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.20/18.34 (SAT)(equ)(fun)(SAT) 83| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 18.26/18.42 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.41/18.56 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -. -. -. -. -.
% 18.41/18.62 (SAT)(equ)(fun)(SAT) 83+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.69/18.83 (SAT)(equ)(fun)(SAT) 84| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 18.78/18.91 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.86/19.05 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -. -. -. -. -.
% 18.99/19.12 (SAT)(equ)(fun)(SAT) 84+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.18/19.33 (SAT)(equ)(fun)(SAT) 85| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 19.27/19.42 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.39/19.56 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -.
% 19.48/19.63 (SAT)(equ)(fun)(SAT) 85+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.71/19.85 (SAT)(equ)(fun)(SAT) 86| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 19.80/19.93 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.95/20.08 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -. -. -. -.
% 20.01/20.15 (SAT)(equ)(fun)(SAT) 86+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.24/20.37 (SAT)(equ)(fun)(SAT) 87| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 20.32/20.46 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.45/20.60 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -. -. -. -. -.
% 20.55/20.68 (SAT)(equ)(fun)(SAT) 87+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.75/20.90 (SAT)(equ)(fun)(SAT) 88| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 20.84/20.99 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.98/21.13 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -. -. -. -. -.
% 21.03/21.21 (SAT)(equ)(fun)(SAT) 88+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.28/21.43 (SAT)(equ)(fun)(SAT) 89| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 21.35/21.52 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.52/21.67 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -. -. -.
% 21.61/21.75 (SAT)(equ)(fun)(SAT) 89+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.82/21.98 (SAT)(equ)(fun)(SAT) 90| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 21.91/22.07 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.10/22.23 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -. -. -. -.
% 22.10/22.30 (SAT)(equ)(fun)(SAT) 90+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.40/22.54 (SAT)(equ)(fun)(SAT) 91| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 22.51/22.63 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.59/22.78 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -. -. -. -. -. -.
% 22.67/22.86 (SAT)(equ)(fun)(SAT) 91+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.97/23.10 (SAT)(equ)(fun)(SAT) 92| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 23.07/23.19 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.20/23.35 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -.
% 23.27/23.43 (SAT)(equ)(fun)(SAT) 92+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.50/23.67 (SAT)(equ)(fun)(SAT) 93| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 23.64/23.77 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.80/23.93 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -. -. -. -. -.
% 23.85/24.01 (SAT)(equ)(fun)(SAT) 93+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.10/24.25 (SAT)(equ)(fun)(SAT) 94| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 24.15/24.35 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.38/24.51 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -.
% 24.43/24.59 (SAT)(equ)(fun)(SAT) 94+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.69/24.84 (SAT)(equ)(fun)(SAT) 95| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 24.76/24.94 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.93/25.10 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -. -. -. -.
% 25.07/25.19 (SAT)(equ)(fun)(SAT) 95+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.31/25.44 (SAT)(equ)(fun)(SAT) 96| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 25.39/25.54 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.60/25.71 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -.
% 25.67/25.80 (SAT)(equ)(fun)(SAT) 96+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.91/26.05 (SAT)(equ)(fun)(SAT) 97| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 25.99/26.16 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.19/26.33 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -. -. -. -.
% 26.28/26.41 (SAT)(equ)(fun)(SAT) 97+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.51/26.67 (SAT)(equ)(fun)(SAT) 98| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 26.60/26.77 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.81/26.95 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -. -.
% 26.90/27.04 (SAT)(equ)(fun)(SAT) 98+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.13/27.31 (SAT)(equ)(fun)(SAT) 99| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 27.26/27.42 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.43/27.60 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -. -. -. -. -.
% 27.56/27.68 (SAT)(equ)(fun)(SAT) 99+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.85/27.96 (SAT)(equ)(fun)(SAT) 100| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 27.94/28.06 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.09/28.24 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -. -. -. -. -.
% 28.16/28.33 (SAT)(equ)(fun)(SAT) 100+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.47/28.61 (SAT)(equ)(fun)(SAT) 101| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 28.59/28.72 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.71/28.90 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -. -. -.
% 28.87/28.99 (SAT)(equ)(fun)(SAT) 101+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.07/29.27 (SAT)(equ)(fun)(SAT) 102| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 29.21/29.38 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.39/29.56 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -.
% 29.48/29.65 (SAT)(equ)(fun)(SAT) 102+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.78/29.93 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 29.91/30.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.08/30.23 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. -. -. -.
% 30.19/30.32 (SAT)(equ)(fun)(SAT) 103+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.48/30.61 (SAT)(equ)(fun)(SAT) 104| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 30.60/30.72 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.76/30.91 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -. -. -. -.
% 30.83/31.00 (SAT)(equ)(fun)(SAT) 104+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.13/31.30 (SAT)(equ)(fun)(SAT) 105| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 31.24/31.41 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.49/31.61 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -. -. -. -.
% 31.56/31.70 (SAT)(equ)(fun)(SAT) 105+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.87/32.00 (SAT)(equ)(fun)(SAT) 106| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 32.01/32.11 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.20/32.31 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -. -. -.
% 32.28/32.41 (SAT)(equ)(fun)(SAT) 106+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.58/32.71 (SAT)(equ)(fun)(SAT) 107| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 32.72/32.83 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.89/33.03 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -.
% 33.00/33.12 (SAT)(equ)(fun)(SAT) 107+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.32/33.43 (SAT)(equ)(fun)(SAT) 108| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 33.41/33.55 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.62/33.75 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -. -. -.
% 33.71/33.85 (SAT)(equ)(fun)(SAT) 108+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.01/34.16 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 34.17/34.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.37/34.48 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -.
% 34.47/34.58 (SAT)(equ)(fun)(SAT) 109+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.79/34.90 (SAT)(equ)(fun)(SAT) 110| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 34.89/35.02 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.11/35.23 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -. -. -. -.
% 35.22/35.33 (SAT)(equ)(fun)(SAT) 110+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.52/35.65 (SAT)(equ)(fun)(SAT) 111| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 35.67/35.78 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.88/35.99 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -. -. -. -.
% 35.99/36.09 (SAT)(equ)(fun)(SAT) 111+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.29/36.41 (SAT)(equ)(fun)(SAT) 112| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 36.41/36.54 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.59/36.75 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -. -. -. -.
% 36.72/36.86 (SAT)(equ)(fun)(SAT) 112+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.02/37.19 (SAT)(equ)(fun)(SAT) 113| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 37.19/37.31 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.42/37.53 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -. -. -. -.
% 37.48/37.63 (SAT)(equ)(fun)(SAT) 113+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.78/37.96 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 37.94/38.09 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.20/38.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -.
% 38.30/38.42 (SAT)(equ)(fun)(SAT) 114+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.62/38.76 (SAT)(equ)(fun)(SAT) 115| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 38.77/38.89 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.00/39.12 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -.
% 39.13/39.23 (SAT)(equ)(fun)(SAT) 115+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.43/39.57 (SAT)(equ)(fun)(SAT) 116| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 39.61/39.71 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.81/39.94 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -. -. -. -.
% 39.91/40.05 (SAT)(equ)(fun)(SAT) 116+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.29/40.40 (SAT)(equ)(fun)(SAT) 117| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 40.43/40.53 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.59/40.76 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -. -. -.
% 40.74/40.87 (SAT)(equ)(fun)(SAT) 117+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.13/41.22 (SAT)(equ)(fun)(SAT) 118| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 41.18/41.36 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.47/41.59 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -. -. -. -.
% 41.61/41.70 (SAT)(equ)(fun)(SAT) 118+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.95/42.05 (SAT)(equ)(fun)(SAT) 119| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 42.09/42.20 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.33/42.43 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -. -. -. -.
% 42.41/42.54 (SAT)(equ)(fun)(SAT) 119+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.80/42.90 (SAT)(equ)(fun)(SAT) 120| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 42.93/43.05 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.10/43.28 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -.
% 43.31/43.40 (SAT)(equ)(fun)(SAT) 120+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.63/43.76 (SAT)(equ)(fun)(SAT) 121| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 43.81/43.91 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.00/44.14 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -. -. -. -. -.
% 44.15/44.26 (SAT)(equ)(fun)(SAT) 121+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.52/44.62 (SAT)(equ)(fun)(SAT) 122| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 44.68/44.77 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.87/45.01 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -. -. -. -.
% 45.01/45.13 (SAT)(equ)(fun)(SAT) 122+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.35/45.51 (SAT)(equ)(fun)(SAT) 123| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 45.50/45.65 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.74/45.90 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -. -. -.
% 45.93/46.02 (SAT)(equ)(fun)(SAT) 123+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.23/46.40 (SAT)(equ)(fun)(SAT) 124| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 46.41/46.55 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.71/46.81 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -. -. -. -.
% 46.80/46.94 (SAT)(equ)(fun)(SAT) 124+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.24/47.35 (SAT)(equ)(fun)(SAT) 125| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 47.41/47.51 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.63/47.76 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -. -. -. -.
% 47.80/47.88 (SAT)(equ)(fun)(SAT) 125+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.16/48.27 (SAT)(equ)(fun)(SAT) 126| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 48.27/48.43 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.59/48.68 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -.
% 48.69/48.81 (SAT)(equ)(fun)(SAT) 126+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.05/49.21 (SAT)(equ)(fun)(SAT) 127| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 49.21/49.37 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.50/49.63 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -. -. -. -. -.
% 49.64/49.76 (SAT)(equ)(fun)(SAT) 127+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.02/50.16 (SAT)(equ)(fun)(SAT) 128| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 50.20/50.32 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.43/50.58 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -. -. -. -. -.
% 50.63/50.70 (SAT)(equ)(fun)(SAT) 128+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.96/51.11 (SAT)(equ)(fun)(SAT) 129| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 51.18/51.27 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.39/51.53 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -. -. -.
% 51.56/51.66 (SAT)(equ)(fun)(SAT) 129+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.99/52.07 (SAT)(equ)(fun)(SAT) 130| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 52.13/52.24 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.39/52.51 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -. -. -. -. -.
% 52.54/52.64 (SAT)(equ)(fun)(SAT) 130+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.91/53.06 (SAT)(equ)(fun)(SAT) 131| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 53.15/53.22 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.42/53.49 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -.
% 53.52/53.63 (SAT)(equ)(fun)(SAT) 131+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.92/54.04 (SAT)(equ)(fun)(SAT) 132| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 54.05/54.21 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.36/54.48 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -.
% 54.50/54.62 (SAT)(equ)(fun)(SAT) 132+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.96/55.04 (SAT)(equ)(fun)(SAT) 133| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 55.08/55.21 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.40/55.49 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -.
% 55.54/55.62 (SAT)(equ)(fun)(SAT) 133+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.95/56.05 (SAT)(equ)(fun)(SAT) 134| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 56.14/56.22 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.41/56.51 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -. -. -.
% 56.55/56.64 (SAT)(equ)(fun)(SAT) 134+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.92/57.08 (SAT)(equ)(fun)(SAT) 135| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 57.15/57.24 (SAT)(equ)(fun)(SAT) 135| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.45/57.53 (SAT)(equ)(fun)(SAT) 135| -. -. -. -. -. -. -. -. -. -.
% 57.55/57.66 (SAT)(equ)(fun)(SAT) 135+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.01/58.10 (SAT)(equ)(fun)(SAT) 136| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 58.20/58.27 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.47/58.56 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -. -. -. -.
% 58.59/58.70 (SAT)(equ)(fun)(SAT) 136+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.00/59.15 (SAT)(equ)(fun)(SAT) 137| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 59.25/59.32 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.47/59.62 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -. -. -.
% 59.63/59.76 (SAT)(equ)(fun)(SAT) 137+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.05/60.20 (SAT)(equ)(fun)(SAT) 138| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 60.23/60.38 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.54/60.68 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -. -. -.
% 60.72/60.82 (SAT)(equ)(fun)(SAT) 138+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.21/61.28 (SAT)(equ)(fun)(SAT) 139| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 61.34/61.46 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.64/61.76 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -.
% 61.81/61.91 (SAT)(equ)(fun)(SAT) 139+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.27/62.37 (SAT)(equ)(fun)(SAT) 140| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 62.48/62.55 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.71/62.85 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -.
% 62.87/62.99 (SAT)(equ)(fun)(SAT) 140+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.33/63.46 (SAT)(equ)(fun)(SAT) 141| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 63.54/63.64 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.85/63.95 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -. -. -. -. -.
% 64.04/64.12 (SAT)(equ)(fun)(SAT) 141+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.45/64.58 (SAT)(equ)(fun)(SAT) 142| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 64.62/64.77 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.01/65.09 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -. -. -. -.
% 65.16/65.25 (SAT)(equ)(fun)(SAT) 142+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.64/65.71 (SAT)(equ)(fun)(SAT) 143| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 65.83/65.91 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.13/66.22 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -. -. -. -. -.
% 66.27/66.37 (SAT)(equ)(fun)(SAT) 143+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.74/66.86 (SAT)(equ)(fun)(SAT) 144| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 66.95/67.04 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.26/67.36 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -. -. -. -. -.
% 67.43/67.53 (SAT)(equ)(fun)(SAT) 144+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.94/68.00 (SAT)(equ)(fun)(SAT) 145| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 68.06/68.19 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.45/68.53 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -.
% 68.61/68.69 (SAT)(equ)(fun)(SAT) 145+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.12/69.19 (SAT)(equ)(fun)(SAT) 146| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 69.28/69.38 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.64/69.70 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -. -. -. -.
% 69.78/69.86 (SAT)(equ)(fun)(SAT) 146+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.30/70.37 (SAT)(equ)(fun)(SAT) 147| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 70.47/70.56 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.83/70.89 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -.
% 70.97/71.07 (SAT)(equ)(fun)(SAT) 147+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.44/71.56 (SAT)(equ)(fun)(SAT) 148| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 71.66/71.76 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.96/72.10 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -. -. -. -.
% 72.14/72.27 (SAT)(equ)(fun)(SAT) 148+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.73/72.78 (SAT)(equ)(fun)(SAT) 149| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 72.89/72.98 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.19/73.31 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -.
% 73.42/73.48 (SAT)(equ)(fun)(SAT) 149+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.94/74.00 (SAT)(equ)(fun)(SAT) 150| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 74.15/74.20 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.47/74.54 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -. -. -. -.
% 74.66/74.72 (SAT)(equ)(fun)(SAT) 150+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.17/75.22 (SAT)(equ)(fun)(SAT) 151| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 75.34/75.43 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.73/75.77 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -. -. -. -.
% 75.86/75.95 (SAT)(equ)(fun)(SAT) 151+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.39/76.46 (SAT)(equ)(fun)(SAT) 152| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 76.61/76.67 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.95/77.01 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -. -. -. -. -.
% 77.13/77.18 (SAT)(equ)(fun)(SAT) 152+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.65/77.71 (SAT)(equ)(fun)(SAT) 153| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 77.85/77.92 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.18/78.27 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -. -. -.
% 78.36/78.45 (SAT)(equ)(fun)(SAT) 153+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.87/78.96 (SAT)(equ)(fun)(SAT) 154| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 79.08/79.17 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.47/79.53 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -.
% 79.64/79.71 (SAT)(equ)(fun)(SAT) 154+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.15/80.25 (SAT)(equ)(fun)(SAT) 155| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 80.39/80.46 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.73/80.81 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -. -. -. -.
% 80.94/80.99 (SAT)(equ)(fun)(SAT) 155+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.46/81.53 (SAT)(equ)(fun)(SAT) 156| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 81.68/81.75 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.06/82.10 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -. -. -. -.
% 82.16/82.30 (SAT)(equ)(fun)(SAT) 156+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.75/82.83 (SAT)(equ)(fun)(SAT) 157| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 82.97/83.04 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.33/83.42 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -.
% 83.49/83.61 (SAT)(equ)(fun)(SAT) 157+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.13/84.18 (SAT)(equ)(fun)(SAT) 158| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 84.36/84.41 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.68/84.77 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -. -. -. -. -.
% 84.90/84.95 (SAT)(equ)(fun)(SAT) 158+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.48/85.53 (SAT)(equ)(fun)(SAT) 159| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 85.66/85.75 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.07/86.11 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -. -. -. -.
% 86.27/86.31 (SAT)(equ)(fun)(SAT) 159+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.78/86.86 (SAT)(equ)(fun)(SAT) 160| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 87.00/87.08 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.38/87.46 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -.
% 87.60/87.65 (SAT)(equ)(fun)(SAT) 160+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.18/88.23 (SAT)(equ)(fun)(SAT) 161| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 88.35/88.45 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.78/88.82 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -. -. -.
% 88.96/89.00 (SAT)(equ)(fun)(SAT) 161+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.47/89.58 (SAT)(equ)(fun)(SAT) 162| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 89.77/89.80 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.09/90.18 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -. -. -. -.
% 90.35/90.38 (SAT)(equ)(fun)(SAT) 162+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.85/90.95 (SAT)(equ)(fun)(SAT) 163| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 91.14/91.18 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 91.55/91.58 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -.
% 91.69/91.78 (SAT)(equ)(fun)(SAT) 163+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.27/92.37 (SAT)(equ)(fun)(SAT) 164| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 92.49/92.59 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.87/92.97 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -. -. -. -. -.
% 93.07/93.16 (SAT)(equ)(fun)(SAT) 164+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.68/93.76 (SAT)(equ)(fun)(SAT) 165| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 93.96/93.99 (SAT)(equ)(fun)(SAT) 165| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.26/94.37 (SAT)(equ)(fun)(SAT) 165| -. -. -. -. -. -. -. -. -. -.
% 94.54/94.58 (SAT)(equ)(fun)(SAT) 165+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.09/95.17 (SAT)(equ)(fun)(SAT) 166| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 95.31/95.41 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.76/95.81 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -. -. -. -.
% 95.89/96.01 (SAT)(equ)(fun)(SAT) 166+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.58/96.62 (SAT)(equ)(fun)(SAT) 167| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 96.79/96.85 (SAT)(equ)(fun)(SAT) 167| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.19/97.25 (SAT)(equ)(fun)(SAT) 167| -. -. -. -. -. -. -. -. -. -.
% 97.36/97.45 (SAT)(equ)(fun)(SAT) 167+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.97/98.06 (SAT)(equ)(fun)(SAT) 168| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 98.28/98.30 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 98.62/98.70 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -. -. -. -. -.
% 98.90/98.93 (SAT)(equ)(fun)(SAT) 168+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.50/99.52 (SAT)(equ)(fun)(SAT) 169| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 99.68/99.76 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.10/100.17 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -. -. -. -. -.
% 100.28/100.38 (SAT)(equ)(fun)(SAT) 169+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.98/101.00 (SAT)(equ)(fun)(SAT) 170| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 101.20/101.25 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.56/101.65 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -. -. -. -. -.
% 101.80/101.85 (SAT)(equ)(fun)(SAT) 170+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.42/102.48 (SAT)(equ)(fun)(SAT) 171| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 102.69/102.73 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.12/103.13 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -. -. -. -.
% 103.32/103.36 (SAT)(equ)(fun)(SAT) 171+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.91/103.98 (SAT)(equ)(fun)(SAT) 172| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 104.21/104.24 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 104.59/104.67 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -. -. -. -. -.
% 104.79/104.88 (SAT)(equ)(fun)(SAT) 172+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 105.47/105.55 (SAT)(equ)(fun)(SAT) 173| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 105.79/105.80 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.17/106.22 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -. -. -. -. -.
% 106.41/106.43 (SAT)(equ)(fun)(SAT) 173+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.02/107.07 (SAT)(equ)(fun)(SAT) 174| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 107.30/107.33 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.69/107.77 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -. -. -. -. -.
% 108.00/108.01 (SAT)(equ)(fun)(SAT) 174+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.60/108.66 (SAT)(equ)(fun)(SAT) 175| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 108.90/108.91 (SAT)(equ)(fun)(SAT) 175| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 109.30/109.34 (SAT)(equ)(fun)(SAT) 175| -. -. -. -. -. -. -. -. -. -.
% 109.51/109.56 (SAT)(equ)(fun)(SAT) 175+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.21/110.22 (SAT)(equ)(fun)(SAT) 176| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 110.43/110.48 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.83/110.90 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -. -. -. -. -.
% 111.07/111.12 (SAT)(equ)(fun)(SAT) 176+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 111.78/111.79 (SAT)(equ)(fun)(SAT) 177| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 111.99/112.06 (SAT)(equ)(fun)(SAT) 177| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.39/112.49 (SAT)(equ)(fun)(SAT) 177| -. -. -. -. -. -. -. -. -. -.
% 112.70/112.73 (SAT)(equ)(fun)(SAT) 177+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.40/113.42 (SAT)(equ)(fun)(SAT) 178| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 113.62/113.68 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 114.11/114.13 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -. -. -. -. -.
% 114.33/114.35 (SAT)(equ)(fun)(SAT) 178+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 115.01/115.02 (SAT)(equ)(fun)(SAT) 179| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 115.29/115.30 (SAT)(equ)(fun)(SAT) 179| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 115.74/115.74 (SAT)(equ)(fun)(SAT) 179| -. -. -. -. -. -. -. -. -. -.
% 115.90/115.98 (SAT)(equ)(fun)(SAT) 179+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.62/116.67 (SAT)(equ)(fun)(SAT) 180| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 116.90/116.94 (SAT)(equ)(fun)(SAT) 180| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 117.30/117.38 (SAT)(equ)(fun)(SAT) 180| -. -. -. -. -. -. -. -. -. -.
% 117.60/117.64 (SAT)(equ)(fun)(SAT) 180+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 118.22/118.31 (SAT)(equ)(fun)(SAT) 181| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 118.61/118.60 (SAT)(equ)(fun)(SAT) 181| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.03/119.06 (SAT)(equ)(fun)(SAT) 181| -. -. -. -. -. -. -. -. -. -.
% 119.24/119.30 (SAT)(equ)(fun)(SAT) 181+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.94/120.00 (SAT)(equ)(fun)(SAT) 182| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 120.24/120.26 (SAT)(equ)(fun)(SAT) 182| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.71/120.71 (SAT)(equ)(fun)(SAT) 182| -. -. -. -. -. -. -. -. -. -.
% 120.93/120.95 (SAT)(equ)(fun)(SAT) 182+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.61/121.65 (SAT)(equ)(fun)(SAT) 183| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 121.91/121.93 (SAT)(equ)(fun)(SAT) 183| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 122.41/122.40 (SAT)(equ)(fun)(SAT) 183| -. -. -. -. -. -. -. -. -. -.
% 122.62/122.66 (SAT)(equ)(fun)(SAT) 183+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.35/123.38 (SAT)(equ)(fun)(SAT) 184| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 123.65/123.67 (SAT)(equ)(fun)(SAT) 184| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 124.10/124.14 (SAT)(equ)(fun)(SAT) 184| -. -. -. -. -. -. -. -. -. -.
% 124.40/124.39 (SAT)(equ)(fun)(SAT) 184+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 125.13/125.13 (SAT)(equ)(fun)(SAT) 185| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 125.42/125.40 (SAT)(equ)(fun)(SAT) 185| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 125.82/125.88 (SAT)(equ)(fun)(SAT) 185| -. -. -. -. -. -. -. -. -. -.
% 126.13/126.12 (SAT)(equ)(fun)(SAT) 185+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 126.83/126.85 (SAT)(equ)(fun)(SAT) 186| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 127.13/127.13 (SAT)(equ)(fun)(SAT) 186| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.59/127.59 (SAT)(equ)(fun)(SAT) 186| -. -. -. -. -. -. -. -. -. -.
% 127.81/127.86 (SAT)(equ)(fun)(SAT) 186+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 128.64/128.62 (SAT)(equ)(fun)(SAT) 187| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 128.92/128.90 (SAT)(equ)(fun)(SAT) 187| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.32/129.39 (SAT)(equ)(fun)(SAT) 187| -. -. -. -. -. -. -. -. -. -.
% 129.62/129.63 (SAT)(equ)(fun)(SAT) 187+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 130.32/130.37 (SAT)(equ)(fun)(SAT) 188| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 130.64/130.67 (SAT)(equ)(fun)(SAT) 188| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.11/131.14 (SAT)(equ)(fun)(SAT) 188| -. -. -. -. -. -. -. -. -. -.
% 131.41/131.40 (SAT)(equ)(fun)(SAT) 188+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 132.16/132.15 (SAT)(equ)(fun)(SAT) 189| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 132.46/132.45 (SAT)(equ)(fun)(SAT) 189| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 132.92/132.94 (SAT)(equ)(fun)(SAT) 189| -. -. -. -. -. -. -. -. -. -.
% 133.24/133.22 (SAT)(equ)(fun)(SAT) 189+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 133.95/133.99 (SAT)(equ)(fun)(SAT) 190| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 134.25/134.29 (SAT)(equ)(fun)(SAT) 190| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 134.81/134.79 (SAT)(equ)(fun)(SAT) 190| -. -. -. -. -. -. -. -. -. -.
% 135.02/135.05 (SAT)(equ)(fun)(SAT) 190+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.76/135.81 (SAT)(equ)(fun)(SAT) 191| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 136.06/136.11 (SAT)(equ)(fun)(SAT) 191| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 136.65/136.61 (SAT)(equ)(fun)(SAT) 191| -. -. -. -. -. -. -. -. -. -.
% 136.85/136.87 (SAT)(equ)(fun)(SAT) 191+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 137.65/137.66 (SAT)(equ)(fun)(SAT) 192| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 137.95/137.97 (SAT)(equ)(fun)(SAT) 192| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 138.42/138.46 (SAT)(equ)(fun)(SAT) 192| -. -. -. -. -. -. -. -. -. -.
% 138.72/138.74 (SAT)(equ)(fun)(SAT) 192+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 139.46/139.49 (SAT)(equ)(fun)(SAT) 193| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 139.76/139.79 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 140.35/140.33 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -. -. -. -. -. -.
% 140.55/140.59 (SAT)(equ)(fun)(SAT) 193+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 141.34/141.38 (SAT)(equ)(fun)(SAT) 194| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 141.72/141.68 (SAT)(equ)(fun)(SAT) 194| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 142.17/142.21 (SAT)(equ)(fun)(SAT) 194| -. -. -. -. -. -. -. -. -. -.
% 142.47/142.47 (SAT)(equ)(fun)(SAT) 194+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 143.22/143.26 (SAT)(equ)(fun)(SAT) 195| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 143.54/143.56 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 144.05/144.07 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -.
% 144.34/144.35 (SAT)(equ)(fun)(SAT) 195+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.16/145.15 (SAT)(equ)(fun)(SAT) 196| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 145.48/145.45 (SAT)(equ)(fun)(SAT) 196| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 146.03/145.98 (SAT)(equ)(fun)(SAT) 196| -. -. -. -. -. -. -. -. -. -.
% 146.21/146.26 (SAT)(equ)(fun)(SAT) 196+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.15/147.10 (SAT)(equ)(fun)(SAT) 197| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 147.44/147.42 (SAT)(equ)(fun)(SAT) 197| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.94/147.93 (SAT)(equ)(fun)(SAT) 197| -. -. -. -. -. -. -. -. -. -.
% 148.24/148.21 (SAT)(equ)(fun)(SAT) 197+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 149.07/149.02 (SAT)(equ)(fun)(SAT) 198| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 149.36/149.32 (SAT)(equ)(fun)(SAT) 198| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 149.82/149.85 (SAT)(equ)(fun)(SAT) 198| -. -. -. -. -. -. -. -. -. -.
% 150.14/150.14 (SAT)(equ)(fun)(SAT) 198+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 150.96/150.96 (SAT)(equ)(fun)(SAT) 199| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 151.26/151.28 (SAT)(equ)(fun)(SAT) 199| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.85/151.83 (SAT)(equ)(fun)(SAT) 199| -. -. -. -. -. -. -. -. -. -.
% 152.16/152.12 (SAT)(equ)(fun)(SAT) 199+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 152.98/152.95 (SAT)(equ)(fun)(SAT) 200| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 153.28/153.28 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 153.84/153.80 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -. -. -. -. -.
% 154.14/154.09 (SAT)(equ)(fun)(SAT) 200+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 154.97/154.92 (SAT)(equ)(fun)(SAT) 201| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 155.26/155.25 (SAT)(equ)(fun)(SAT) 201| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 155.84/155.79 (SAT)(equ)(fun)(SAT) 201| -. -. -. -. -. -. -. -. -. -.
% 156.14/156.10 (SAT)(equ)(fun)(SAT) 201+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 156.96/156.95 (SAT)(equ)(fun)(SAT) 202| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 157.29/157.28 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 157.89/157.85 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -. -. -. -. -.
% 158.17/158.16 (SAT)(equ)(fun)(SAT) 202+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 159.06/159.00 (SAT)(equ)(fun)(SAT) 203| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 159.38/159.34 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 159.96/159.91 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -. -. -. -.
% 160.24/160.20 (SAT)(equ)(fun)(SAT) 203+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.15/161.10 (SAT)(equ)(fun)(SAT) 204| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 161.45/161.42 (SAT)(equ)(fun)(SAT) 204| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.98/161.97 (SAT)(equ)(fun)(SAT) 204| -. -. -. -. -. -. -. -. -. -.
% 162.28/162.28 (SAT)(equ)(fun)(SAT) 204+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 163.18/163.14 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 163.49/163.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 164.10/164.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -.
% 164.40/164.36 (SAT)(equ)(fun)(SAT) 205+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 165.29/165.24 (SAT)(equ)(fun)(SAT) 206| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 165.59/165.59 (SAT)(equ)(fun)(SAT) 206| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 166.19/166.16 (SAT)(equ)(fun)(SAT) 206| -. -. -. -. -. -. -. -. -. -.
% 166.48/166.45 (SAT)(equ)(fun)(SAT) 206+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 167.36/167.28 (SAT)(equ)(fun)(SAT) 207| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 167.65/167.64 (SAT)(equ)(fun)(SAT) 207| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 168.19/168.18 (SAT)(equ)(fun)(SAT) 207| -. -. -. -. -. -. -. -. -. -.
% 168.54/168.48 (SAT)(equ)(fun)(SAT) 207+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 169.40/169.37 (SAT)(equ)(fun)(SAT) 208| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 169.69/169.70 (SAT)(equ)(fun)(SAT) 208| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.28/170.25 (SAT)(equ)(fun)(SAT) 208| -. -. -. -. -. -. -. -. -. -.
% 170.58/170.54 (SAT)(equ)(fun)(SAT) 208+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 171.49/171.42 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 171.80/171.78 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 172.41/172.34 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -.
% 172.71/172.63 (SAT)(equ)(fun)(SAT) 209+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 173.59/173.51 (SAT)(equ)(fun)(SAT) 210| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 173.88/173.86 (SAT)(equ)(fun)(SAT) 210| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 174.49/174.44 (SAT)(equ)(fun)(SAT) 210| -. -. -. -. -. -. -. -. -. -.
% 174.76/174.75 (SAT)(equ)(fun)(SAT) 210+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.62/175.59 (SAT)(equ)(fun)(SAT) 211| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 175.99/175.92 (SAT)(equ)(fun)(SAT) 211| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 176.52/176.49 (SAT)(equ)(fun)(SAT) 211| -. -. -. -. -. -. -. -. -. -.
% 176.81/176.80 (SAT)(equ)(fun)(SAT) 211+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.78/177.72 (SAT)(equ)(fun)(SAT) 212| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 178.18/178.11 (SAT)(equ)(fun)(SAT) 212| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 178.67/178.66 (SAT)(equ)(fun)(SAT) 212| -. -. -. -. -. -. -. -. -. -.
% 178.97/178.95 (SAT)(equ)(fun)(SAT) 212+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 179.95/179.88 (SAT)(equ)(fun)(SAT) 213| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 180.28/180.26 (SAT)(equ)(fun)(SAT) 213| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 180.90/180.88 (SAT)(equ)(fun)(SAT) 213| -. -. -. -. -. -. -. -. -. -.
% 181.27/181.19 (SAT)(equ)(fun)(SAT) 213+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.09/182.08 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 182.49/182.43 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 183.12/183.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -.
% 183.43/183.34 (SAT)(equ)(fun)(SAT) 214+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.32/184.27 (SAT)(equ)(fun)(SAT) 215| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 184.71/184.62 (SAT)(equ)(fun)(SAT) 215| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 185.21/185.20 (SAT)(equ)(fun)(SAT) 215| -. -. -. -. -. -. -. -. -. -.
% 185.59/185.51 (SAT)(equ)(fun)(SAT) 215+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 186.49/186.43 (SAT)(equ)(fun)(SAT) 216| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 186.92/186.84 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 187.49/187.41 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -. -. -. -. -.
% 187.83/187.75 (SAT)(equ)(fun)(SAT) 216+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.01/188.97 (SAT)(equ)(fun)(SAT) 217| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 189.40/189.31 (SAT)(equ)(fun)(SAT) 217| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 190.00/189.91 (SAT)(equ)(fun)(SAT) 217| -. -. -. -. -. -. -. -. -. -.
% 190.30/190.23 (SAT)(equ)(fun)(SAT) 217+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.26/191.16 (SAT)(equ)(fun)(SAT) 218| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 191.63/191.55 (SAT)(equ)(fun)(SAT) 218| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 192.21/192.15 (SAT)(equ)(fun)(SAT) 218| -. -. -. -. -. -. -. -. -. -.
% 192.52/192.46 (SAT)(equ)(fun)(SAT) 218+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 193.42/193.39 (SAT)(equ)(fun)(SAT) 219| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 193.82/193.77 (SAT)(equ)(fun)(SAT) 219| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 194.42/194.36 (SAT)(equ)(fun)(SAT) 219| -. -. -. -. -. -. -. -. -. -.
% 194.80/194.70 (SAT)(equ)(fun)(SAT) 219+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 195.82/195.73 (SAT)(equ)(fun)(SAT) 220| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 196.22/196.21 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 196.92/196.86 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -. -. -. -. -.
% 197.22/197.18 (SAT)(equ)(fun)(SAT) 220+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 198.30/198.25 (SAT)(equ)(fun)(SAT) 221| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 198.88/198.83 (SAT)(equ)(fun)(SAT) 221| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 199.48/199.42 (SAT)(equ)(fun)(SAT) 221| -. -. -. -. -. -. -. -. -. -.
% 199.80/199.74 (SAT)(equ)(fun)(SAT) 221+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 200.72/200.67 (SAT)(equ)(fun)(SAT) 222| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 201.09/201.04 (SAT)(equ)(fun)(SAT) 222| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 201.71/201.63 (SAT)(equ)(fun)(SAT) 222| -. -. -. -. -. -. -. -. -. -.
% 202.01/201.97 (SAT)(equ)(fun)(SAT) 222+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.00/202.90 (SAT)(equ)(fun)(SAT) 223| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 203.41/203.30 (SAT)(equ)(fun)(SAT) 223| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 204.02/203.94 (SAT)(equ)(fun)(SAT) 223| -. -. -. -. -. -. -. -. -. -.
% 204.34/204.26 (SAT)(equ)(fun)(SAT) 223+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 205.34/205.26 (SAT)(equ)(fun)(SAT) 224| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 205.85/205.74 (SAT)(equ)(fun)(SAT) 224| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 206.43/206.35 (SAT)(equ)(fun)(SAT) 224| -. -. -. -. -. -. -. -. -. -.
% 206.72/206.69 (SAT)(equ)(fun)(SAT) 224+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.74/207.69 (SAT)(equ)(fun)(SAT) 225| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 208.19/208.09 (SAT)(equ)(fun)(SAT) 225| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 208.80/208.74 (SAT)(equ)(fun)(SAT) 225| -. -. -. -. -. -. -. -. -. -.
% 209.20/209.08 (SAT)(equ)(fun)(SAT) 225+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 210.12/210.06 (SAT)(equ)(fun)(SAT) 226| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 210.53/210.48 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.23/211.14 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -. -. -. -. -.
% 211.59/211.48 (SAT)(equ)(fun)(SAT) 226+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 212.63/212.53 (SAT)(equ)(fun)(SAT) 227| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 213.24/213.16 (SAT)(equ)(fun)(SAT) 227| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 213.94/213.81 (SAT)(equ)(fun)(SAT) 227| -. -. -. -. -. -. -. -. -. -.
% 214.24/214.14 (SAT)(equ)(fun)(SAT) 227+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 215.16/215.13 (SAT)(equ)(fun)(SAT) 228| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 215.62/215.53 (SAT)(equ)(fun)(SAT) 228| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 216.30/216.19 (SAT)(equ)(fun)(SAT) 228| -. -. -. -. -. -. -. -. -. -.
% 216.65/216.57 (SAT)(equ)(fun)(SAT) 228+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 217.64/217.56 (SAT)(equ)(fun)(SAT) 229| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 218.10/217.98 (SAT)(equ)(fun)(SAT) 229| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 218.72/218.64 (SAT)(equ)(fun)(SAT) 229| -. -. -. -. -. -. -. -. -. -.
% 219.11/218.98 (SAT)(equ)(fun)(SAT) 229+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 220.05/219.99 (SAT)(equ)(fun)(SAT) 230| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 220.43/220.37 (SAT)(equ)(fun)(SAT) 230| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 221.13/221.03 (SAT)(equ)(fun)(SAT) 230| -. -. -. -. -. -. -. -. -. -.
% 221.43/221.38 (SAT)(equ)(fun)(SAT) 230+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 222.54/222.42 (SAT)(equ)(fun)(SAT) 231| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 222.95/222.82 (SAT)(equ)(fun)(SAT) 231| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 223.53/223.46 (SAT)(equ)(fun)(SAT) 231| -. -. -. -. -. -. -. -. -. -.
% 223.93/223.83 (SAT)(equ)(fun)(SAT) 231+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 225.04/224.92 (SAT)(equ)(fun)(SAT) 232| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 225.62/225.50 (SAT)(equ)(fun)(SAT) 232| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.27/226.19 (SAT)(equ)(fun)(SAT) 232| -. -. -. -. -. -. -. -. -. -.
% 226.65/226.55 (SAT)(equ)(fun)(SAT) 232+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 227.74/227.63 (SAT)(equ)(fun)(SAT) 233| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 228.15/228.03 (SAT)(equ)(fun)(SAT) 233| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 228.81/228.68 (SAT)(equ)(fun)(SAT) 233| -. -. -. -. -. -. -. -. -. -.
% 229.11/229.03 (SAT)(equ)(fun)(SAT) 233+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.18/230.06 (SAT)(equ)(fun)(SAT) 234| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 230.62/230.48 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 231.23/231.17 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -. -. -. -. -.
% 231.63/231.55 (SAT)(equ)(fun)(SAT) 234+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.69/232.62 (SAT)(equ)(fun)(SAT) 235| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 233.13/233.04 (SAT)(equ)(fun)(SAT) 235| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 234.12/234.03 (SAT)(equ)(fun)(SAT) 235| -. -. -. -. -. -. -. -. -. -.
% 234.46/234.39 (SAT)(equ)(fun)(SAT) 235+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 235.57/235.47 (SAT)(equ)(fun)(SAT) 236| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 236.03/235.91 (SAT)(equ)(fun)(SAT) 236| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 236.72/236.57 (SAT)(equ)(fun)(SAT) 236| -. -. -. -. -. -. -. -. -. -.
% 237.07/236.92 (SAT)(equ)(fun)(SAT) 236+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 238.07/237.99 (SAT)(equ)(fun)(SAT) 237| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 238.56/238.43 (SAT)(equ)(fun)(SAT) 237| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 239.24/239.10 (SAT)(equ)(fun)(SAT) 237| -. -. -. -. -. -. -. -. -. -.
% 239.64/239.50 (SAT)(equ)(fun)(SAT) 237+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 240.84/240.70 (SAT)(equ)(fun)(SAT) 238| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 241.18/241.10 (SAT)(equ)(fun)(SAT) 238| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 241.96/241.81 (SAT)(equ)(fun)(SAT) 238| -. -. -. -. -. -. -. -. -. -.
% 242.27/242.19 (SAT)(equ)(fun)(SAT) 238+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 243.47/243.32 (SAT)(equ)(fun)(SAT) 239| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 243.89/243.74 (SAT)(equ)(fun)(SAT) 239| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 244.55/244.43 (SAT)(equ)(fun)(SAT) 239| -. -. -. -. -. -. -. -. -. -.
% 244.94/244.80 (SAT)(equ)(fun)(SAT) 239+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 245.98/245.89 (SAT)(equ)(fun)(SAT) 240| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 246.45/246.33 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 247.20/247.07 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -. -. -. -. -.
% 247.50/247.43 (SAT)(equ)(fun)(SAT) 240+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.69/248.53 (SAT)(equ)(fun)(SAT) 241| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 249.16/249.02 (SAT)(equ)(fun)(SAT) 241| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 249.87/249.76 (SAT)(equ)(fun)(SAT) 241| -. -. -. -. -. -. -. -. -. -.
% 250.24/250.14 (SAT)(equ)(fun)(SAT) 241+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 251.39/251.27 (SAT)(equ)(fun)(SAT) 242| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 251.90/251.73 (SAT)(equ)(fun)(SAT) 242| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 252.58/252.47 (SAT)(equ)(fun)(SAT) 242| -. -. -. -. -. -. -. -. -. -.
% 252.99/252.83 (SAT)(equ)(fun)(SAT) 242+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 254.05/253.94 (SAT)(equ)(fun)(SAT) 243| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 254.51/254.41 (SAT)(equ)(fun)(SAT) 243| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 255.37/255.20 (SAT)(equ)(fun)(SAT) 243| -. -. -. -. -. -. -. -. -. -.
% 255.78/255.61 (SAT)(equ)(fun)(SAT) 243+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 256.98/256.81 (SAT)(equ)(fun)(SAT) 244| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 257.45/257.30 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.18/258.01 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -. -. -. -.
% 258.52/258.39 (SAT)(equ)(fun)(SAT) 244+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 259.69/259.52 (SAT)(equ)(fun)(SAT) 245| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 260.10/259.96 (SAT)(equ)(fun)(SAT) 245| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 260.85/260.67 (SAT)(equ)(fun)(SAT) 245| -. -. -. -. -. -. -. -. -. -.
% 261.15/261.04 (SAT)(equ)(fun)(SAT) 245+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 262.37/262.19 (SAT)(equ)(fun)(SAT) 246| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 262.76/262.66 (SAT)(equ)(fun)(SAT) 246| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 263.60/263.42 (SAT)(equ)(fun)(SAT) 246| -. -. -. -. -. -. -. -. -. -.
% 263.98/263.80 (SAT)(equ)(fun)(SAT) 246+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.12/264.94 (SAT)(equ)(fun)(SAT) 247| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 265.63/265.45 (SAT)(equ)(fun)(SAT) 247| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 266.36/266.18 (SAT)(equ)(fun)(SAT) 247| -. -. -. -. -. -. -. -. -. -.
% 266.68/266.58 (SAT)(equ)(fun)(SAT) 247+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 267.92/267.74 (SAT)(equ)(fun)(SAT) 248| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 268.36/268.22 (SAT)(equ)(fun)(SAT) 248| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 269.21/269.01 (SAT)(equ)(fun)(SAT) 248| -. -. -. -. -. -. -. -. -. -.
% 269.58/269.41 (SAT)(equ)(fun)(SAT) 248+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.89/270.70 (SAT)(equ)(fun)(SAT) 249| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 271.41/271.21 (SAT)(equ)(fun)(SAT) 249| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 272.17/272.03 (SAT)(equ)(fun)(SAT) 249| -. -. -. -. -. -. -. -. -. -.
% 272.61/272.43 (SAT)(equ)(fun)(SAT) 249+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 273.82/273.71 (SAT)(equ)(fun)(SAT) 250| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 274.41/274.24 (SAT)(equ)(fun)(SAT) 250| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 275.23/275.02 (SAT)(equ)(fun)(SAT) 250| -. -. -. -. -. -. -. -. -. -.
% 275.61/275.45 (SAT)(equ)(fun)(SAT) 250+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 276.82/276.67 (SAT)(equ)(fun)(SAT) 251| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 277.33/277.13 (SAT)(equ)(fun)(SAT) 251| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 278.11/277.93 (SAT)(equ)(fun)(SAT) 251| -. -. -. -. -. -. -. -. -. -.
% 278.50/278.33 (SAT)(equ)(fun)(SAT) 251+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 279.70/279.49 (SAT)(equ)(fun)(SAT) 252| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 280.15/279.99 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 280.90/280.75 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -. -. -. -. -.
% 281.34/281.15 (SAT)(equ)(fun)(SAT) 252+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 282.59/282.40 (SAT)(equ)(fun)(SAT) 253| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 283.10/282.96 (SAT)(equ)(fun)(SAT) 253| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 283.92/283.72 (SAT)(equ)(fun)(SAT) 253| -. -. -. -. -. -. -. -. -. -.
% 284.30/284.12 (SAT)(equ)(fun)(SAT) 253+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 285.58/285.39 (SAT)(equ)(fun)(SAT) 254| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 286.20/285.99 (SAT)(equ)(fun)(SAT) 254| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 287.25/287.04 (SAT)(equ)(fun)(SAT) 254| -. -. -. -. -. -. -. -. -. -.
% 287.83/287.62 (SAT)(equ)(fun)(SAT) 254+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 289.57/289.37 (SAT)(equ)(fun)(SAT) 255| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 290.29/290.15 (SAT)(equ)(fun)(SAT) 255| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.43/291.29 (SAT)(equ)(fun)(SAT) 255| -. -. -. -. -. -. -. -. -. -.
% 292.11/291.89 (SAT)(equ)(fun)(SAT) 255+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.80/293.59 (SAT)(equ)(fun)(SAT) 256| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 294.50/294.29 (SAT)(equ)(fun)(SAT) 256| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 295.55/295.39 (SAT)(equ)(fun)(SAT) 256| -. -. -. -. -. -. -. -. -. -.
% 296.16/295.97 (SAT)(equ)(fun)(SAT) 256+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 297.96/297.72 (SAT)(equ)(fun)(SAT) 257| -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 298.63/298.47 (SAT)(equ)(fun)(SAT) 257| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 299.81/299.63 (SAT)(equ)(fun)(SAT) 257| -. -. -. -. -.
%------------------------------------------------------------------------------