TSTP Solution File: SYN745-1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYN745-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 : n017.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:06 EDT 2022
% Result : Timeout 286.44s 286.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : SYN745-1 : TPTP v8.1.0. Released v2.5.0.
% 0.07/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.33 % Computer : n017.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Mon Jul 11 14:10:19 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.33 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.12/0.33 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.12/0.35 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.12/0.35 #elt|#instances
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 1| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 2| -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 2+ -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 2| -. -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 2+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 3| -. -12 -12 -12
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 3+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.40 (SAT)(equ)(fun)(SAT) 4| -. -12 -1 -1 -. -1 -1 -1 -1 -.
% 0.18/0.41 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.42 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -.
% 0.18/0.42 (SAT)(equ)(fun)(SAT) 4+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.44 (SAT)(equ)(fun)(SAT) 5| -. -12 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.45 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.47 (SAT)(equ)(fun)(SAT) 5+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.48 (SAT)(equ)(fun)(SAT) 6| -. -12 -1 -. -. -1 -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -.
% 0.18/0.49 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.51 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -1
% 0.18/0.51 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -.
% 0.18/0.51 (SAT)(equ)(fun)(SAT) 6+ -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -.
% 0.35/0.53 (SAT)(equ)(fun)(SAT) 7| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.37/0.54 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.37/0.55 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -.
% 0.37/0.55 (SAT)(equ)(fun)(SAT) 7+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.37/0.57 (SAT)(equ)(fun)(SAT) 8| -. -. -1 -. -12 -. -. -. -1 -. -.
% 0.37/0.58 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.37/0.59 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -.
% 0.37/0.59 (SAT)(equ)(fun)(SAT) 8+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.37/0.61 (SAT)(equ)(fun)(SAT) 9| -. -1 -. -12 -. -. -. -1 -. -.
% 0.37/0.61 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.46/0.63 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 0.46/0.64 (SAT)(equ)(fun)(SAT) 9| -1 -1 -. -.
% 0.46/0.64 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.46/0.65 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -1
% 0.46/0.65 (SAT)(equ)(fun)(SAT) 9| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -.
% 0.46/0.67 (SAT)(equ)(fun)(SAT) 9| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.46/0.68 (SAT)(equ)(fun)(SAT) 9| -. -. -1
% 0.46/0.68 (SAT)(equ)(fun)(SAT) 9| -. -. -1 -. -1 -. -. -. -. -. -.
% 0.46/0.69 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -. -. -.
% 0.54/0.69 (SAT)(equ)(fun)(SAT) 9+ -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 0.54/0.71 (SAT)(equ)(fun)(SAT) 10| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 0.54/0.74 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.54/0.75 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 0.54/0.76 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.61/0.77 (SAT)(equ)(fun)(SAT) 10+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.61/0.79 (SAT)(equ)(fun)(SAT) 11| -. -1 -1 -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -.
% 0.65/0.81 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.67/0.83 (SAT)(equ)(fun)(SAT) 11+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.67/0.85 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -.
% 0.67/0.87 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 0.67/0.88 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 0.67/0.90 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -.
% 0.67/0.90 (SAT)(equ)(fun)(SAT) 12+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.77/0.93 (SAT)(equ)(fun)(SAT) 13| -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.77/0.94 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.77/0.96 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.77/0.97 (SAT)(equ)(fun)(SAT) 13| -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.77/0.99 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.84/1.00 (SAT)(equ)(fun)(SAT) 13+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.84/1.02 (SAT)(equ)(fun)(SAT) 14| -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -.
% 0.84/1.04 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.84/1.06 (SAT)(equ)(fun)(SAT) 14+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.92/1.09 (SAT)(equ)(fun)(SAT) 15| -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 0.92/1.11 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.96/1.13 (SAT)(equ)(fun)(SAT) 15+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.99/1.15 (SAT)(equ)(fun)(SAT) 16| -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -.
% 0.99/1.18 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.99/1.20 (SAT)(equ)(fun)(SAT) 16+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.07/1.23 (SAT)(equ)(fun)(SAT) 17| -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 1.07/1.25 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.07/1.27 (SAT)(equ)(fun)(SAT) 17+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.12/1.30 (SAT)(equ)(fun)(SAT) 18| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 1.12/1.33 (SAT)(equ)(fun)(SAT) 18| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.19/1.35 (SAT)(equ)(fun)(SAT) 18+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.21/1.39 (SAT)(equ)(fun)(SAT) 19| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 1.21/1.41 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.26/1.44 (SAT)(equ)(fun)(SAT) 19+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.28/1.47 (SAT)(equ)(fun)(SAT) 20| -. -. -12 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -.
% 1.28/1.50 (SAT)(equ)(fun)(SAT) 20| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.36/1.53 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -. -1
% 1.36/1.54 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.36/1.56 (SAT)(equ)(fun)(SAT) 20+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.42/1.59 (SAT)(equ)(fun)(SAT) 21| -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 1.42/1.62 (SAT)(equ)(fun)(SAT) 21| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.42/1.65 (SAT)(equ)(fun)(SAT) 21+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.52/1.69 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -.
% 1.52/1.72 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.58/1.75 (SAT)(equ)(fun)(SAT) 22+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.58/1.79 (SAT)(equ)(fun)(SAT) 23| -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 1.66/1.82 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.66/1.86 (SAT)(equ)(fun)(SAT) 23+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.71/1.90 (SAT)(equ)(fun)(SAT) 24| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 1.71/1.93 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.79/1.97 (SAT)(equ)(fun)(SAT) 24+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.83/2.01 (SAT)(equ)(fun)(SAT) 25| -. -. -12 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -.
% 1.88/2.05 (SAT)(equ)(fun)(SAT) 25| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.88/2.09 (SAT)(equ)(fun)(SAT) 25| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.95/2.11 (SAT)(equ)(fun)(SAT) 25+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.95/2.16 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -.
% 2.02/2.20 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.02/2.24 (SAT)(equ)(fun)(SAT) 26+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.10/2.28 (SAT)(equ)(fun)(SAT) 27| -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 2.14/2.32 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.17/2.36 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.17/2.39 (SAT)(equ)(fun)(SAT) 27+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.24/2.44 (SAT)(equ)(fun)(SAT) 28| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 2.31/2.48 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.31/2.53 (SAT)(equ)(fun)(SAT) 28+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.40/2.58 (SAT)(equ)(fun)(SAT) 29| -. -. -12 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -.
% 2.44/2.62 (SAT)(equ)(fun)(SAT) 29| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.47/2.67 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -.
% 2.47/2.68 (SAT)(equ)(fun)(SAT) 29+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.56/2.74 (SAT)(equ)(fun)(SAT) 30| -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 2.63/2.78 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.63/2.83 (SAT)(equ)(fun)(SAT) 30+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.73/2.89 (SAT)(equ)(fun)(SAT) 31| -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 2.77/2.94 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.77/2.98 (SAT)(equ)(fun)(SAT) 31+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.85/3.04 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -.
% 2.93/3.09 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 2.93/3.14 (SAT)(equ)(fun)(SAT) 32| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.93/3.17 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.04/3.21 (SAT)(equ)(fun)(SAT) 32+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.08/3.28 (SAT)(equ)(fun)(SAT) 33| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 3.16/3.33 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.16/3.38 (SAT)(equ)(fun)(SAT) 33+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.24/3.44 (SAT)(equ)(fun)(SAT) 34| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 3.33/3.49 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 3.37/3.55 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 3.37/3.60 (SAT)(equ)(fun)(SAT) 34| -. -. -1 -. -. -. -. -. -. -.
% 3.46/3.62 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -. -. -. -.
% 3.46/3.65 (SAT)(equ)(fun)(SAT) 34+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.54/3.72 (SAT)(equ)(fun)(SAT) 35| -. -. -12 -1 -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 3.63/3.78 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.68/3.84 (SAT)(equ)(fun)(SAT) 35+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.68/3.90 (SAT)(equ)(fun)(SAT) 36| -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 3.77/3.96 (SAT)(equ)(fun)(SAT) 36| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.84/4.02 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -1 -. -.
% 3.84/4.04 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.92/4.09 (SAT)(equ)(fun)(SAT) 36+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.98/4.16 (SAT)(equ)(fun)(SAT) 37| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -.
% 3.98/4.22 (SAT)(equ)(fun)(SAT) 37| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.07/4.28 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.14/4.32 (SAT)(equ)(fun)(SAT) 37+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.23/4.40 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -.
% 4.29/4.46 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 4.29/4.52 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -.
% 4.37/4.54 (SAT)(equ)(fun)(SAT) 38+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.43/4.62 (SAT)(equ)(fun)(SAT) 39| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 4.52/4.68 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.59/4.75 (SAT)(equ)(fun)(SAT) 39+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.67/4.82 (SAT)(equ)(fun)(SAT) 40| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 4.72/4.89 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 4.72/4.96 (SAT)(equ)(fun)(SAT) 40| -. -1 -. -. -. -. -. -. -.
% 4.83/4.98 (SAT)(equ)(fun)(SAT) 40| -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 4.83/5.02 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -1 -.
% 4.89/5.05 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 4.96/5.12 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -. -.
% 5.01/5.18 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -.
% 5.01/5.22 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -1 -. -. -. -1 -12 -. -. -1 -. -. -. -. -. -. -.
% 5.13/5.29 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 5.19/5.35 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -.
% 5.26/5.41 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 5.26/5.46 (SAT)(equ)(fun)(SAT) 40| -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 5.32/5.53 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 5.42/5.59 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -.
% 5.45/5.63 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.48/5.67 (SAT)(equ)(fun)(SAT) 40+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.55/5.75 (SAT)(equ)(fun)(SAT) 41| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 5.62/5.81 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.72/5.89 (SAT)(equ)(fun)(SAT) 41+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.78/5.97 (SAT)(equ)(fun)(SAT) 42| -. -. -12 -. -. -1 -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 5.86/6.04 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.93/6.11 (SAT)(equ)(fun)(SAT) 42+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.05/6.20 (SAT)(equ)(fun)(SAT) 43| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 6.07/6.27 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.15/6.34 (SAT)(equ)(fun)(SAT) 43+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.23/6.43 (SAT)(equ)(fun)(SAT) 44| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 6.35/6.51 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.38/6.58 (SAT)(equ)(fun)(SAT) 44+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.46/6.67 (SAT)(equ)(fun)(SAT) 45| -. -. -12 -. -. -1 -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 6.54/6.75 (SAT)(equ)(fun)(SAT) 45| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.67/6.83 (SAT)(equ)(fun)(SAT) 45| -. -. -. -. -. -. -.
% 6.67/6.85 (SAT)(equ)(fun)(SAT) 45+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.76/6.94 (SAT)(equ)(fun)(SAT) 46| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 6.84/7.02 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.93/7.10 (SAT)(equ)(fun)(SAT) 46+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.98/7.20 (SAT)(equ)(fun)(SAT) 47| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 7.07/7.28 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.21/7.37 (SAT)(equ)(fun)(SAT) 47+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.28/7.47 (SAT)(equ)(fun)(SAT) 48| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -.
% 7.38/7.55 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 7.45/7.63 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 7.54/7.70 (SAT)(equ)(fun)(SAT) 48| -. -. -1 -.
% 7.54/7.71 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 7.60/7.79 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -.
% 7.60/7.82 (SAT)(equ)(fun)(SAT) 48+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.73/7.92 (SAT)(equ)(fun)(SAT) 49| -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 7.83/8.01 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.90/8.10 (SAT)(equ)(fun)(SAT) 49+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.03/8.21 (SAT)(equ)(fun)(SAT) 50| -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 8.14/8.29 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 8.20/8.38 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 8.27/8.46 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -1 -. -. -. -1 -. -. -.
% 8.32/8.52 (SAT)(equ)(fun)(SAT) 50| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.40/8.58 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -.
% 8.48/8.64 (SAT)(equ)(fun)(SAT) 50| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.57/8.72 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -.
% 8.57/8.75 (SAT)(equ)(fun)(SAT) 50+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.63/8.86 (SAT)(equ)(fun)(SAT) 51| -. -. -. -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 8.78/8.98 (SAT)(equ)(fun)(SAT) 51| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.92/9.10 (SAT)(equ)(fun)(SAT) 51+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.05/9.21 (SAT)(equ)(fun)(SAT) 52| -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 9.16/9.33 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.23/9.45 (SAT)(equ)(fun)(SAT) 52+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.37/9.57 (SAT)(equ)(fun)(SAT) 53| -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 9.47/9.68 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.63/9.80 (SAT)(equ)(fun)(SAT) 53| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.73/9.88 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -.
% 9.75/9.91 (SAT)(equ)(fun)(SAT) 53+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.88/10.03 (SAT)(equ)(fun)(SAT) 54| -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 9.96/10.15 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.13/10.28 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -. -. -. -. -.
% 10.17/10.33 (SAT)(equ)(fun)(SAT) 54+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.26/10.46 (SAT)(equ)(fun)(SAT) 55| -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 10.43/10.59 (SAT)(equ)(fun)(SAT) 55| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.49/10.72 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 10.58/10.79 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.73/10.90 (SAT)(equ)(fun)(SAT) 55+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.79/11.02 (SAT)(equ)(fun)(SAT) 56| -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 10.95/11.16 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.10/11.28 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.24/11.40 (SAT)(equ)(fun)(SAT) 56+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.37/11.53 (SAT)(equ)(fun)(SAT) 57| -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 11.48/11.66 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 11.64/11.79 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.77/11.92 (SAT)(equ)(fun)(SAT) 57+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.91/12.05 (SAT)(equ)(fun)(SAT) 58| -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 12.00/12.19 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.13/12.32 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -.
% 12.25/12.42 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 12.29/12.49 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 12.45/12.61 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.52/12.69 (SAT)(equ)(fun)(SAT) 58+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.65/12.83 (SAT)(equ)(fun)(SAT) 59| -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 12.78/12.97 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.93/13.11 (SAT)(equ)(fun)(SAT) 59+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.08/13.26 (SAT)(equ)(fun)(SAT) 60| -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 13.26/13.40 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 13.34/13.55 (SAT)(equ)(fun)(SAT) 60| -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -.
% 13.48/13.62 (SAT)(equ)(fun)(SAT) 60| -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 13.59/13.76 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.75/13.90 (SAT)(equ)(fun)(SAT) 60+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.87/14.05 (SAT)(equ)(fun)(SAT) 61| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 14.05/14.20 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.19/14.35 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.28/14.49 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.43/14.57 (SAT)(equ)(fun)(SAT) 61+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.49/14.72 (SAT)(equ)(fun)(SAT) 62| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 14.72/14.87 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.88/15.03 (SAT)(equ)(fun)(SAT) 62| -1 -. -. -. -. -. -. -. -. -. -. -.
% 14.94/15.09 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -. -1 -. -.
% 14.94/15.13 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -. -. -. -. -. -.
% 15.03/15.20 (SAT)(equ)(fun)(SAT) 62+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.18/15.35 (SAT)(equ)(fun)(SAT) 63| -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 15.34/15.51 (SAT)(equ)(fun)(SAT) 63| -. -. -. -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.52/15.67 (SAT)(equ)(fun)(SAT) 63| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.61/15.78 (SAT)(equ)(fun)(SAT) 63+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.77/15.94 (SAT)(equ)(fun)(SAT) 64| -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 15.92/16.09 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.09/16.24 (SAT)(equ)(fun)(SAT) 64| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.16/16.33 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.29/16.48 (SAT)(equ)(fun)(SAT) 64+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.47/16.64 (SAT)(equ)(fun)(SAT) 65| -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 16.66/16.80 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.78/16.98 (SAT)(equ)(fun)(SAT) 65+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.94/17.14 (SAT)(equ)(fun)(SAT) 66| -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 17.08/17.30 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.27/17.48 (SAT)(equ)(fun)(SAT) 66+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.48/17.65 (SAT)(equ)(fun)(SAT) 67| -. -. -12 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 17.66/17.81 (SAT)(equ)(fun)(SAT) 67| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.79/17.99 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -. -.
% 17.89/18.04 (SAT)(equ)(fun)(SAT) 67+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.07/18.21 (SAT)(equ)(fun)(SAT) 68| -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 18.19/18.39 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.41/18.56 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 18.49/18.64 (SAT)(equ)(fun)(SAT) 68| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.54/18.74 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.71/18.89 (SAT)(equ)(fun)(SAT) 68+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.93/19.07 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 19.08/19.25 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 19.30/19.44 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 19.44/19.60 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 19.60/19.74 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 19.73/19.91 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 19.90/20.07 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.04/20.18 (SAT)(equ)(fun)(SAT) 69+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.18/20.37 (SAT)(equ)(fun)(SAT) 70| -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 20.36/20.55 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.58/20.75 (SAT)(equ)(fun)(SAT) 70+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.77/20.93 (SAT)(equ)(fun)(SAT) 71| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 20.98/21.12 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 21.15/21.31 (SAT)(equ)(fun)(SAT) 71| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -.
% 21.29/21.46 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -.
% 21.45/21.65 (SAT)(equ)(fun)(SAT) 71| -. -. -1 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 21.69/21.83 (SAT)(equ)(fun)(SAT) 71| -. -. -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.89/22.02 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.05/22.20 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.21/22.35 (SAT)(equ)(fun)(SAT) 71+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.35/22.54 (SAT)(equ)(fun)(SAT) 72| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 22.58/22.72 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 22.75/22.91 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -. -. -. -. -. -.
% 22.81/23.00 (SAT)(equ)(fun)(SAT) 72+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.03/23.19 (SAT)(equ)(fun)(SAT) 73| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 23.20/23.39 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.43/23.59 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 23.50/23.72 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.78/23.92 (SAT)(equ)(fun)(SAT) 73+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.96/24.11 (SAT)(equ)(fun)(SAT) 74| -. -. -. -12 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 24.08/24.31 (SAT)(equ)(fun)(SAT) 74| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 24.36/24.53 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.58/24.71 (SAT)(equ)(fun)(SAT) 74| -. -. -1 -. -. -. -. -. -. -. -. -. -. -1
% 24.66/24.81 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.79/24.98 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.96/25.15 (SAT)(equ)(fun)(SAT) 74+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.20/25.35 (SAT)(equ)(fun)(SAT) 75| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 25.42/25.55 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 25.55/25.75 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.72/25.91 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1
% 25.96/26.09 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -. -. -.
% 26.02/26.18 (SAT)(equ)(fun)(SAT) 75+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.23/26.37 (SAT)(equ)(fun)(SAT) 76| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 26.45/26.58 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.60/26.80 (SAT)(equ)(fun)(SAT) 76+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.84/27.01 (SAT)(equ)(fun)(SAT) 77| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 27.00/27.22 (SAT)(equ)(fun)(SAT) 77| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.25/27.45 (SAT)(equ)(fun)(SAT) 77+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.49/27.66 (SAT)(equ)(fun)(SAT) 78| -. -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 27.75/27.89 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.90/28.11 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 28.15/28.29 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 28.28/28.42 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -.
% 28.28/28.48 (SAT)(equ)(fun)(SAT) 78+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.50/28.69 (SAT)(equ)(fun)(SAT) 79| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 28.80/28.93 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 28.96/29.15 (SAT)(equ)(fun)(SAT) 79| -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -.
% 29.20/29.36 (SAT)(equ)(fun)(SAT) 79| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 29.39/29.54 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 29.55/29.74 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.78/29.93 (SAT)(equ)(fun)(SAT) 79+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.02/30.15 (SAT)(equ)(fun)(SAT) 80| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 30.25/30.38 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.48/30.61 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.61/30.82 (SAT)(equ)(fun)(SAT) 80+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.90/31.05 (SAT)(equ)(fun)(SAT) 81| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 31.16/31.28 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.39/31.51 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 31.58/31.71 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.69/31.85 (SAT)(equ)(fun)(SAT) 81+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.91/32.08 (SAT)(equ)(fun)(SAT) 82| -. -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 32.18/32.31 (SAT)(equ)(fun)(SAT) 82| -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.37/32.54 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 32.60/32.76 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -.
% 32.75/32.91 (SAT)(equ)(fun)(SAT) 82| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.90/33.03 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 33.06/33.21 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -.
% 33.24/33.41 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.42/33.56 (SAT)(equ)(fun)(SAT) 82+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.64/33.79 (SAT)(equ)(fun)(SAT) 83| -. -. -. -12 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 33.88/34.03 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.11/34.27 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.38/34.51 (SAT)(equ)(fun)(SAT) 83+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.58/34.74 (SAT)(equ)(fun)(SAT) 84| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 34.81/35.00 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.09/35.24 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.27/35.40 (SAT)(equ)(fun)(SAT) 84| -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 35.36/35.50 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 35.50/35.69 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.71/35.89 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.99/36.13 (SAT)(equ)(fun)(SAT) 84+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.25/36.39 (SAT)(equ)(fun)(SAT) 85| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -.
% 36.46/36.65 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 36.75/36.90 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.00/37.11 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.16/37.28 (SAT)(equ)(fun)(SAT) 85+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.38/37.53 (SAT)(equ)(fun)(SAT) 86| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 37.61/37.80 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 37.87/38.06 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 38.10/38.23 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.18/38.38 (SAT)(equ)(fun)(SAT) 86+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.50/38.63 (SAT)(equ)(fun)(SAT) 87| -. -. -. -12 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 38.70/38.89 (SAT)(equ)(fun)(SAT) 87| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.01/39.14 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -. -. -. -.
% 39.11/39.24 (SAT)(equ)(fun)(SAT) 87+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.32/39.50 (SAT)(equ)(fun)(SAT) 88| -. -. -. -12 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 39.63/39.77 (SAT)(equ)(fun)(SAT) 88| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 39.90/40.03 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.02/40.16 (SAT)(equ)(fun)(SAT) 88+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.30/40.43 (SAT)(equ)(fun)(SAT) 89| -. -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 40.53/40.71 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.81/40.97 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 41.06/41.18 (SAT)(equ)(fun)(SAT) 89| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 41.30/41.43 (SAT)(equ)(fun)(SAT) 89| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 41.37/41.58 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.68/41.82 (SAT)(equ)(fun)(SAT) 89+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.91/42.09 (SAT)(equ)(fun)(SAT) 90| -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -.
% 42.19/42.37 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.51/42.68 (SAT)(equ)(fun)(SAT) 90+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.82/42.97 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 43.06/43.25 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.39/43.54 (SAT)(equ)(fun)(SAT) 91+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.64/43.81 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 43.94/44.11 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.24/44.40 (SAT)(equ)(fun)(SAT) 92| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.48/44.59 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.67/44.81 (SAT)(equ)(fun)(SAT) 92+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.96/45.12 (SAT)(equ)(fun)(SAT) 93| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 45.27/45.43 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.58/45.74 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.81/45.93 (SAT)(equ)(fun)(SAT) 93+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.11/46.23 (SAT)(equ)(fun)(SAT) 94| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 46.42/46.54 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 46.73/46.84 (SAT)(equ)(fun)(SAT) 94| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 46.88/46.98 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.15/47.26 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.32/47.42 (SAT)(equ)(fun)(SAT) 94+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.61/47.72 (SAT)(equ)(fun)(SAT) 95| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 47.91/48.02 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -.
% 48.13/48.32 (SAT)(equ)(fun)(SAT) 95| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.37/48.47 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -1 -. -. -. -. -. -. -.
% 48.43/48.58 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -1 -. -. -.
% 48.52/48.65 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -. -. -.
% 48.61/48.76 (SAT)(equ)(fun)(SAT) 95+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.89/49.05 (SAT)(equ)(fun)(SAT) 96| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 49.20/49.37 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 49.51/49.67 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -.
% 49.60/49.77 (SAT)(equ)(fun)(SAT) 96+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.98/50.07 (SAT)(equ)(fun)(SAT) 97| -. -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 50.27/50.37 (SAT)(equ)(fun)(SAT) 97| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.56/50.66 (SAT)(equ)(fun)(SAT) 97| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.73/50.82 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 50.78/50.95 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.07/51.23 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.38/51.49 (SAT)(equ)(fun)(SAT) 97+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.63/51.79 (SAT)(equ)(fun)(SAT) 98| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -.
% 52.01/52.13 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -.
% 52.30/52.45 (SAT)(equ)(fun)(SAT) 98| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 52.53/52.67 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 52.82/52.93 (SAT)(equ)(fun)(SAT) 98| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.13/53.25 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.37/53.47 (SAT)(equ)(fun)(SAT) 98+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.69/53.79 (SAT)(equ)(fun)(SAT) 99| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -.
% 54.02/54.13 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.35/54.48 (SAT)(equ)(fun)(SAT) 99+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.64/54.79 (SAT)(equ)(fun)(SAT) 100| -. -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 54.93/55.13 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.33/55.46 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.70/55.81 (SAT)(equ)(fun)(SAT) 100+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.01/56.14 (SAT)(equ)(fun)(SAT) 101| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 56.40/56.51 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.78/56.87 (SAT)(equ)(fun)(SAT) 101+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.10/57.21 (SAT)(equ)(fun)(SAT) 102| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 57.45/57.55 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.76/57.91 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.05/58.20 (SAT)(equ)(fun)(SAT) 102+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.44/58.55 (SAT)(equ)(fun)(SAT) 103| -. -. -. -12 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 58.82/58.92 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.20/59.28 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 59.42/59.54 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. -. -. -.
% 59.60/59.69 (SAT)(equ)(fun)(SAT) 103+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.94/60.05 (SAT)(equ)(fun)(SAT) 104| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 60.33/60.43 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.69/60.79 (SAT)(equ)(fun)(SAT) 104| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.93/61.04 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -. -. -. -. -. -.
% 61.10/61.20 (SAT)(equ)(fun)(SAT) 104+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.46/61.57 (SAT)(equ)(fun)(SAT) 105| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 61.84/61.94 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.23/62.33 (SAT)(equ)(fun)(SAT) 105+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.62/62.71 (SAT)(equ)(fun)(SAT) 106| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 63.00/63.08 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.34/63.46 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.64/63.79 (SAT)(equ)(fun)(SAT) 106| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.93/64.03 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.26/64.38 (SAT)(equ)(fun)(SAT) 106+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.62/64.75 (SAT)(equ)(fun)(SAT) 107| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 65.00/65.16 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -12 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.45/65.54 (SAT)(equ)(fun)(SAT) 107| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -.
% 65.73/65.86 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 66.03/66.15 (SAT)(equ)(fun)(SAT) 107| -. -1 -. -. -. -. -. -.
% 66.14/66.23 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.31/66.44 (SAT)(equ)(fun)(SAT) 107+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.74/66.83 (SAT)(equ)(fun)(SAT) 108| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 67.14/67.24 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.50/67.63 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.89/67.98 (SAT)(equ)(fun)(SAT) 108+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.26/68.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 68.64/68.75 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.02/69.17 (SAT)(equ)(fun)(SAT) 109+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.44/69.56 (SAT)(equ)(fun)(SAT) 110| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 69.84/69.97 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.25/70.35 (SAT)(equ)(fun)(SAT) 110| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.55/70.66 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -. -1 -. -. -. -.
% 70.71/70.81 (SAT)(equ)(fun)(SAT) 110| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.90/71.03 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -1 -. -.
% 71.04/71.13 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.31/71.40 (SAT)(equ)(fun)(SAT) 110+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.66/71.79 (SAT)(equ)(fun)(SAT) 111| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 72.12/72.23 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -.
% 72.54/72.67 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.84/72.97 (SAT)(equ)(fun)(SAT) 111+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.24/73.39 (SAT)(equ)(fun)(SAT) 112| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 73.65/73.79 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.11/74.20 (SAT)(equ)(fun)(SAT) 112| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.45/74.53 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -. -. -. -. -. -.
% 74.62/74.71 (SAT)(equ)(fun)(SAT) 112+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.02/75.11 (SAT)(equ)(fun)(SAT) 113| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 75.46/75.55 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 75.91/75.98 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.25/76.36 (SAT)(equ)(fun)(SAT) 113+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.65/76.80 (SAT)(equ)(fun)(SAT) 114| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 77.13/77.25 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.58/77.71 (SAT)(equ)(fun)(SAT) 114+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.01/78.14 (SAT)(equ)(fun)(SAT) 115| -. -. -. -12 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 78.54/78.62 (SAT)(equ)(fun)(SAT) 115| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.93/79.05 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 79.44/79.54 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -.
% 80.02/80.10 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.37/80.46 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -1 -.
% 80.47/80.57 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.77/80.89 (SAT)(equ)(fun)(SAT) 115+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.22/81.29 (SAT)(equ)(fun)(SAT) 116| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 81.71/81.78 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.17/82.24 (SAT)(equ)(fun)(SAT) 116| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.47/82.54 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -. -. -. -. -. -.
% 82.65/82.75 (SAT)(equ)(fun)(SAT) 116+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.05/83.18 (SAT)(equ)(fun)(SAT) 117| -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 83.55/83.63 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.04/84.12 (SAT)(equ)(fun)(SAT) 117+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.46/84.57 (SAT)(equ)(fun)(SAT) 118| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 84.99/85.05 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.43/85.50 (SAT)(equ)(fun)(SAT) 118| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.75/85.80 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.06/86.14 (SAT)(equ)(fun)(SAT) 118+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.46/86.57 (SAT)(equ)(fun)(SAT) 119| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 86.96/87.07 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.47/87.55 (SAT)(equ)(fun)(SAT) 119+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.89/88.00 (SAT)(equ)(fun)(SAT) 120| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 88.43/88.51 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.86/88.95 (SAT)(equ)(fun)(SAT) 120| -. -1 -1 -. -. -. -. -. -. -.
% 89.05/89.10 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -.
% 89.48/89.54 (SAT)(equ)(fun)(SAT) 120| -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 89.86/89.96 (SAT)(equ)(fun)(SAT) 120| -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 90.26/90.32 (SAT)(equ)(fun)(SAT) 120| -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.66/90.71 (SAT)(equ)(fun)(SAT) 120| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 90.97/91.08 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1
% 91.28/91.39 (SAT)(equ)(fun)(SAT) 120| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 91.90/91.98 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -.
% 92.27/92.34 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.64/92.69 (SAT)(equ)(fun)(SAT) 120+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.08/93.15 (SAT)(equ)(fun)(SAT) 121| -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -.
% 93.55/93.65 (SAT)(equ)(fun)(SAT) 121| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.07/94.14 (SAT)(equ)(fun)(SAT) 121| -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -.
% 94.48/94.57 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 94.85/94.95 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 95.21/95.26 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.90/95.98 (SAT)(equ)(fun)(SAT) 121+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.46/96.50 (SAT)(equ)(fun)(SAT) 122| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 96.95/97.02 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.47/97.54 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.78/97.87 (SAT)(equ)(fun)(SAT) 122+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 98.35/98.41 (SAT)(equ)(fun)(SAT) 123| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 98.85/98.90 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 99.37/99.45 (SAT)(equ)(fun)(SAT) 123| -. -1 -. -. -. -. -. -.
% 99.59/99.63 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -.
% 99.84/99.89 (SAT)(equ)(fun)(SAT) 123+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.36/100.45 (SAT)(equ)(fun)(SAT) 124| -. -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 100.85/100.96 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.46/101.51 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.76/101.86 (SAT)(equ)(fun)(SAT) 124+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.29/102.33 (SAT)(equ)(fun)(SAT) 125| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 102.79/102.83 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 103.26/103.33 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.69/103.73 (SAT)(equ)(fun)(SAT) 125+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 104.27/104.32 (SAT)(equ)(fun)(SAT) 126| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 104.80/104.86 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 105.31/105.38 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 105.84/105.88 (SAT)(equ)(fun)(SAT) 126| -. -1 -. -. -. -. -. -.
% 105.91/106.01 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.21/106.27 (SAT)(equ)(fun)(SAT) 126+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.80/106.84 (SAT)(equ)(fun)(SAT) 127| -. -. -. -12 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 107.35/107.39 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.06/108.10 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.57/108.61 (SAT)(equ)(fun)(SAT) 127+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 109.10/109.12 (SAT)(equ)(fun)(SAT) 128| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 109.62/109.70 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.21/110.26 (SAT)(equ)(fun)(SAT) 128+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.67/110.77 (SAT)(equ)(fun)(SAT) 129| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 111.29/111.35 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.00/112.05 (SAT)(equ)(fun)(SAT) 129| -. -1 -. -. -. -. -. -.
% 112.10/112.17 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 112.50/112.53 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -.
% 112.65/112.69 (SAT)(equ)(fun)(SAT) 129+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.15/113.21 (SAT)(equ)(fun)(SAT) 130| -. -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 113.70/113.79 (SAT)(equ)(fun)(SAT) 130| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 114.29/114.31 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -. -. -. -. -. -. -.
% 114.49/114.57 (SAT)(equ)(fun)(SAT) 130+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 115.00/115.10 (SAT)(equ)(fun)(SAT) 131| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 115.65/115.76 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 116.37/116.39 (SAT)(equ)(fun)(SAT) 131| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.82/116.88 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 117.35/117.38 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1
% 117.87/117.89 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 118.40/118.46 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.02/119.07 (SAT)(equ)(fun)(SAT) 131+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.63/119.66 (SAT)(equ)(fun)(SAT) 132| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 120.21/120.22 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.90/120.97 (SAT)(equ)(fun)(SAT) 132+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.58/121.62 (SAT)(equ)(fun)(SAT) 133| -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 122.19/122.26 (SAT)(equ)(fun)(SAT) 133| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 122.79/122.86 (SAT)(equ)(fun)(SAT) 133| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123 -. -. -.
% 123.33/123.41 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -.
% 123.93/124.01 (SAT)(equ)(fun)(SAT) 133| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 124.48/124.51 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 124.89/124.96 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 125.11/125.21 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 125.67/125.75 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 126.05/126.08 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 126.58/126.60 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.04/127.06 (SAT)(equ)(fun)(SAT) 133+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.59/127.60 (SAT)(equ)(fun)(SAT) 134| -. -1 -. -. -1 -. -. -1 -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -.
% 128.09/128.15 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -1 -.
% 128.70/128.72 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 129.23/129.29 (SAT)(equ)(fun)(SAT) 134| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 129.80/129.82 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 130.24/130.24 (SAT)(equ)(fun)(SAT) 134| -. -1 -. -. -. -. -. -. -.
% 130.37/130.40 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 130.73/130.82 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.28/131.30 (SAT)(equ)(fun)(SAT) 134+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.89/131.89 (SAT)(equ)(fun)(SAT) 135| -. -. -. -12 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 132.48/132.53 (SAT)(equ)(fun)(SAT) 135| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 133.07/133.17 (SAT)(equ)(fun)(SAT) 135| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 133.69/133.75 (SAT)(equ)(fun)(SAT) 135+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 134.28/134.37 (SAT)(equ)(fun)(SAT) 136| -. -1 -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 134.89/134.96 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 135.50/135.59 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 136.17/136.18 (SAT)(equ)(fun)(SAT) 136+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 136.73/136.74 (SAT)(equ)(fun)(SAT) 137| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 137.32/137.34 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 137.98/138.05 (SAT)(equ)(fun)(SAT) 137+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 138.69/138.70 (SAT)(equ)(fun)(SAT) 138| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 139.32/139.37 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 139.98/140.05 (SAT)(equ)(fun)(SAT) 138+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 140.68/140.71 (SAT)(equ)(fun)(SAT) 139| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 141.32/141.34 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 141.91/141.92 (SAT)(equ)(fun)(SAT) 139| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 142.41/142.43 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -.
% 142.79/142.87 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 143.17/143.18 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 143.63/143.64 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -.
% 143.84/143.86 (SAT)(equ)(fun)(SAT) 139+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 144.44/144.48 (SAT)(equ)(fun)(SAT) 140| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -.
% 145.13/145.16 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.82/145.82 (SAT)(equ)(fun)(SAT) 140| -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 146.34/146.37 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -.
% 146.64/146.69 (SAT)(equ)(fun)(SAT) 140| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 147.24/147.25 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -.
% 147.70/147.72 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 148.22/148.28 (SAT)(equ)(fun)(SAT) 140| -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 148.53/148.55 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 149.04/149.07 (SAT)(equ)(fun)(SAT) 140+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 149.61/149.66 (SAT)(equ)(fun)(SAT) 141| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 150.29/150.28 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.04/151.03 (SAT)(equ)(fun)(SAT) 141+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.70/151.72 (SAT)(equ)(fun)(SAT) 142| -. -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 152.41/152.40 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 153.03/153.05 (SAT)(equ)(fun)(SAT) 142+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 153.63/153.66 (SAT)(equ)(fun)(SAT) 143| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 154.32/154.30 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 154.94/154.96 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 155.41/155.40 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 155.82/155.86 (SAT)(equ)(fun)(SAT) 143+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 156.44/156.48 (SAT)(equ)(fun)(SAT) 144| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 157.13/157.15 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 157.79/157.84 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.24/158.21 (SAT)(equ)(fun)(SAT) 144+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.85/158.86 (SAT)(equ)(fun)(SAT) 145| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 159.55/159.57 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 160.24/160.23 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 160.54/160.55 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 160.99/160.98 (SAT)(equ)(fun)(SAT) 145+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.66/161.67 (SAT)(equ)(fun)(SAT) 146| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 162.25/162.31 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 163.04/163.05 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 163.71/163.69 (SAT)(equ)(fun)(SAT) 146+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 164.39/164.38 (SAT)(equ)(fun)(SAT) 147| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 165.15/165.13 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 165.84/165.86 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 166.53/166.53 (SAT)(equ)(fun)(SAT) 147| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 167.11/167.12 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 167.70/167.75 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 168.22/168.18 (SAT)(equ)(fun)(SAT) 147| -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 168.86/168.85 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 169.33/169.33 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 169.86/169.87 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 170.25/170.24 (SAT)(equ)(fun)(SAT) 147| -. -. -1 -. -. -1 -. -. -. -.
% 170.47/170.44 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 171.07/171.08 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 171.57/171.59 (SAT)(equ)(fun)(SAT) 147+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 172.33/172.30 (SAT)(equ)(fun)(SAT) 148| -. -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 172.93/172.95 (SAT)(equ)(fun)(SAT) 148| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 173.73/173.69 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 174.16/174.14 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 174.53/174.50 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.05/175.04 (SAT)(equ)(fun)(SAT) 148+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.75/175.74 (SAT)(equ)(fun)(SAT) 149| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 176.54/176.50 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.17/177.19 (SAT)(equ)(fun)(SAT) 149| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.73/177.71 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 178.15/178.13 (SAT)(equ)(fun)(SAT) 149| -. -1 -. -. -. -. -. -. -. -1 -. -. -. -.
% 178.52/178.49 (SAT)(equ)(fun)(SAT) 149| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -.
% 178.98/179.00 (SAT)(equ)(fun)(SAT) 149| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 179.67/179.63 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -.
% 179.95/179.90 (SAT)(equ)(fun)(SAT) 149+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 180.58/180.60 (SAT)(equ)(fun)(SAT) 150| -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 181.33/181.35 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.09/182.09 (SAT)(equ)(fun)(SAT) 150+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.76/182.77 (SAT)(equ)(fun)(SAT) 151| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 183.46/183.49 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.25/184.20 (SAT)(equ)(fun)(SAT) 151| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.73/184.68 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 185.33/185.36 (SAT)(equ)(fun)(SAT) 151+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 186.08/186.10 (SAT)(equ)(fun)(SAT) 152| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 186.77/186.80 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 187.56/187.52 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 188.14/188.12 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 188.93/188.88 (SAT)(equ)(fun)(SAT) 152+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.68/189.62 (SAT)(equ)(fun)(SAT) 153| -. -. -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 190.37/190.35 (SAT)(equ)(fun)(SAT) 153| -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.15/191.15 (SAT)(equ)(fun)(SAT) 153| -. -. -1 -. -. -. -. -. -. -. -. -12 -1 -. -. -1 -1 -. -. -12 -. -1 -. -. -. -. -. -. -1 -.
% 192.06/192.01 (SAT)(equ)(fun)(SAT) 153| -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 192.80/192.78 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 193.34/193.28 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 193.77/193.74 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 194.18/194.16 (SAT)(equ)(fun)(SAT) 153| -. -. -1 -. -. -. -. -. -. -.
% 194.39/194.37 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -. -. -. -. -.
% 194.70/194.70 (SAT)(equ)(fun)(SAT) 153+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 195.53/195.48 (SAT)(equ)(fun)(SAT) 154| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 196.21/196.16 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 196.97/196.95 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -.
% 197.58/197.56 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 198.33/198.28 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -. -. -1
% 198.71/198.69 (SAT)(equ)(fun)(SAT) 154| -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 199.27/199.25 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -.
% 200.09/200.05 (SAT)(equ)(fun)(SAT) 154| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 200.78/200.78 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -.
% 201.49/201.44 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 202.11/202.08 (SAT)(equ)(fun)(SAT) 154| -. -. -. -1 -. -. -. -. -. -.
% 202.37/202.30 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -1 -. -.
% 202.58/202.51 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.31/203.25 (SAT)(equ)(fun)(SAT) 154+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 204.08/204.04 (SAT)(equ)(fun)(SAT) 155| -. -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 204.89/204.87 (SAT)(equ)(fun)(SAT) 155| -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 205.67/205.60 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 206.12/206.09 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 206.82/206.78 (SAT)(equ)(fun)(SAT) 155+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.49/207.48 (SAT)(equ)(fun)(SAT) 156| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 208.28/208.26 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 209.08/209.00 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 209.82/209.74 (SAT)(equ)(fun)(SAT) 156+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 210.57/210.52 (SAT)(equ)(fun)(SAT) 157| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 211.41/211.32 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 212.27/212.18 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 213.01/212.96 (SAT)(equ)(fun)(SAT) 157| -. -1 -. -. -. -. -. -. -. -.
% 213.23/213.18 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 213.67/213.62 (SAT)(equ)(fun)(SAT) 157+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 214.41/214.38 (SAT)(equ)(fun)(SAT) 158| -. -. -. -12 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 215.20/215.14 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 216.01/215.94 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -. -. -. -. -.
% 216.30/216.24 (SAT)(equ)(fun)(SAT) 158+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 217.09/217.02 (SAT)(equ)(fun)(SAT) 159| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 217.89/217.86 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 218.79/218.73 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 219.64/219.55 (SAT)(equ)(fun)(SAT) 159+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 220.50/220.41 (SAT)(equ)(fun)(SAT) 160| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 221.42/221.34 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 222.33/222.28 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 222.71/222.62 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -1 -. -.
% 222.89/222.82 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 223.60/223.53 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 224.39/224.34 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 225.22/225.18 (SAT)(equ)(fun)(SAT) 160+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.00/225.95 (SAT)(equ)(fun)(SAT) 161| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 226.88/226.78 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 227.65/227.60 (SAT)(equ)(fun)(SAT) 161| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 228.39/228.35 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -1 -. -. -. -.
% 228.71/228.68 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 229.23/229.17 (SAT)(equ)(fun)(SAT) 161| -. -. -1 -. -. -. -. -. -. -.
% 229.52/229.41 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 229.98/229.89 (SAT)(equ)(fun)(SAT) 161+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.81/230.71 (SAT)(equ)(fun)(SAT) 162| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 231.64/231.53 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.50/232.41 (SAT)(equ)(fun)(SAT) 162| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 233.21/233.10 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 233.91/233.83 (SAT)(equ)(fun)(SAT) 162+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 234.84/234.78 (SAT)(equ)(fun)(SAT) 163| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 235.73/235.69 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 236.66/236.59 (SAT)(equ)(fun)(SAT) 163| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 237.42/237.33 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1
% 237.94/237.86 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 238.60/238.52 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 239.21/239.16 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 239.83/239.73 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 240.66/240.57 (SAT)(equ)(fun)(SAT) 163+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 241.49/241.36 (SAT)(equ)(fun)(SAT) 164| -. -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 242.44/242.34 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 243.31/243.26 (SAT)(equ)(fun)(SAT) 164+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 244.18/244.06 (SAT)(equ)(fun)(SAT) 165| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 245.12/245.02 (SAT)(equ)(fun)(SAT) 165| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 246.12/246.00 (SAT)(equ)(fun)(SAT) 165| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 247.00/246.88 (SAT)(equ)(fun)(SAT) 165+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.00/247.87 (SAT)(equ)(fun)(SAT) 166| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 248.75/248.68 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 249.75/249.66 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 250.58/250.49 (SAT)(equ)(fun)(SAT) 166| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 251.48/251.36 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -.
% 252.35/252.21 (SAT)(equ)(fun)(SAT) 166| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 252.84/252.70 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 253.45/253.31 (SAT)(equ)(fun)(SAT) 166| -. -. -. -1 -. -. -. -. -. -.
% 253.68/253.55 (SAT)(equ)(fun)(SAT) 166| -. -1 -. -. -. -. -1 -. -. -.
% 253.92/253.81 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 254.49/254.36 (SAT)(equ)(fun)(SAT) 166+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 255.33/255.25 (SAT)(equ)(fun)(SAT) 167| -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 256.24/256.10 (SAT)(equ)(fun)(SAT) 167| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 257.25/257.14 (SAT)(equ)(fun)(SAT) 167+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.18/258.08 (SAT)(equ)(fun)(SAT) 168| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 259.07/258.97 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 260.07/259.96 (SAT)(equ)(fun)(SAT) 168| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 260.69/260.56 (SAT)(equ)(fun)(SAT) 168| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 261.40/261.28 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 262.27/262.14 (SAT)(equ)(fun)(SAT) 168+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 263.13/262.99 (SAT)(equ)(fun)(SAT) 169| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 264.13/263.99 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.12/264.98 (SAT)(equ)(fun)(SAT) 169| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.84/265.74 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 266.54/266.39 (SAT)(equ)(fun)(SAT) 169+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 267.37/267.22 (SAT)(equ)(fun)(SAT) 170| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 268.33/268.23 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 269.40/269.29 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.56/270.44 (SAT)(equ)(fun)(SAT) 170+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 271.63/271.52 (SAT)(equ)(fun)(SAT) 171| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 272.64/272.51 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 273.59/273.45 (SAT)(equ)(fun)(SAT) 171| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 274.29/274.18 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 274.98/274.81 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 275.80/275.64 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 276.68/276.52 (SAT)(equ)(fun)(SAT) 171| -. -1 -. -. -. -. -. -. -. -. -. -.
% 276.99/276.88 (SAT)(equ)(fun)(SAT) 171| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 277.56/277.47 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 278.35/278.19 (SAT)(equ)(fun)(SAT) 171+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 279.21/279.09 (SAT)(equ)(fun)(SAT) 172| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 280.30/280.13 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 281.16/280.99 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -.
% 281.64/281.47 (SAT)(equ)(fun)(SAT) 172| -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 282.62/282.48 (SAT)(equ)(fun)(SAT) 172| -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 283.68/283.51 (SAT)(equ)(fun)(SAT) 172| -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -.
% 284.66/284.56 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 285.42/285.25 (SAT)(equ)(fun)(SAT) 172+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 286.44/286.31 (SAT)(equ)(fun)(SAT) 173| -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 287.48/287.31 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 288.37/288.20 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 289.25/289.09 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 290.18/290.00 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 290.91/290.81 (SAT)(equ)(fun)(SAT) 173+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.92/291.79 (SAT)(equ)(fun)(SAT) 174| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 292.94/292.78 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 294.01/293.87 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -. -. -. -. -. -. -.
% 294.49/294.33 (SAT)(equ)(fun)(SAT) 174+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 295.63/295.45 (SAT)(equ)(fun)(SAT) 175| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 296.59/296.45 (SAT)(equ)(fun)(SAT) 175| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 297.58/297.46 (SAT)(equ)(fun)(SAT) 175+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 298.51/298.37 (SAT)(equ)(fun)(SAT) 176| -. -. -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 299.47/299.31 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
%------------------------------------------------------------------------------