TSTP Solution File: SYN747-1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYN747-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 : n024.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:07 EDT 2022
% Result : Timeout 286.42s 286.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SYN747-1 : TPTP v8.1.0. Released v2.5.0.
% 0.03/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.33 % Computer : n024.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 : Tue Jul 12 08:48:28 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/sandbox/benchmark/theBenchmark.p
% 0.12/0.33 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.12/0.35 +++ SOLVING: /export/starexec/sandbox/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 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.36 (SAT)(equ)(fun)(SAT) 2| -. -. -. -. -. -.
% 0.19/0.36 (SAT)(equ)(fun)(SAT) 2+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.37 (SAT)(equ)(fun)(SAT) 3| -. -12 -12 -12 -12 -12
% 0.19/0.37 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.39 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.40 (SAT)(equ)(fun)(SAT) 3| -. -. -. -1 -. -. -. -.
% 0.19/0.40 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -. -. -. -. -1
% 0.19/0.40 (SAT)(equ)(fun)(SAT) 3| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.41 (SAT)(equ)(fun)(SAT) 3+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.42 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -.
% 0.19/0.44 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.19/0.45 (SAT)(equ)(fun)(SAT) 4| -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 0.19/0.46 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.19/0.47 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.48 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 0.19/0.50 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.51 (SAT)(equ)(fun)(SAT) 4| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.52 (SAT)(equ)(fun)(SAT) 4+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.53 (SAT)(equ)(fun)(SAT) 5| -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 0.19/0.54 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -.
% 0.40/0.56 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 0.40/0.56 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.41/0.58 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.41/0.59 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 0.41/0.60 (SAT)(equ)(fun)(SAT) 5| -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 0.41/0.61 (SAT)(equ)(fun)(SAT) 5| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.41/0.62 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.48/0.63 (SAT)(equ)(fun)(SAT) 5| -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.48/0.65 (SAT)(equ)(fun)(SAT) 5| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 0.51/0.66 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.51/0.68 (SAT)(equ)(fun)(SAT) 5| -. -. -. -. -. -. -. -. -. -.
% 0.51/0.68 (SAT)(equ)(fun)(SAT) 5+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.51/0.70 (SAT)(equ)(fun)(SAT) 6| -. -1 -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 0.51/0.72 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.58/0.73 (SAT)(equ)(fun)(SAT) 6| -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 0.58/0.75 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 0.61/0.77 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.61/0.79 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 0.61/0.80 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 0.61/0.82 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 0.68/0.84 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -.
% 0.68/0.85 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.68/0.86 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 0.72/0.88 (SAT)(equ)(fun)(SAT) 6| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.72/0.89 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -.
% 0.72/0.89 (SAT)(equ)(fun)(SAT) 6+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.72/0.91 (SAT)(equ)(fun)(SAT) 7| -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -.
% 0.72/0.91 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.72/0.92 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.78/0.94 (SAT)(equ)(fun)(SAT) 7+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.78/0.95 (SAT)(equ)(fun)(SAT) 8| -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 0.81/0.97 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 0.81/0.98 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.81/1.00 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1
% 0.81/1.01 (SAT)(equ)(fun)(SAT) 8| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.88/1.03 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.88/1.05 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.88/1.06 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 0.88/1.07 (SAT)(equ)(fun)(SAT) 8| -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -. -.
% 0.93/1.09 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 0.93/1.10 (SAT)(equ)(fun)(SAT) 8| -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -.
% 0.93/1.12 (SAT)(equ)(fun)(SAT) 8| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 0.93/1.14 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -.
% 1.00/1.15 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.00/1.17 (SAT)(equ)(fun)(SAT) 8| -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.00/1.18 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.03/1.19 (SAT)(equ)(fun)(SAT) 8+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.03/1.21 (SAT)(equ)(fun)(SAT) 9| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 1.03/1.22 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.08/1.24 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.08/1.24 (SAT)(equ)(fun)(SAT) 9+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.10/1.26 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 1.10/1.27 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.10/1.29 (SAT)(equ)(fun)(SAT) 10+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.10/1.31 (SAT)(equ)(fun)(SAT) 11| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 1.17/1.32 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 1.17/1.34 (SAT)(equ)(fun)(SAT) 11| -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -12 -1
% 1.17/1.36 (SAT)(equ)(fun)(SAT) 11| -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 1.21/1.38 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 1.21/1.40 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.21/1.42 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.21/1.43 (SAT)(equ)(fun)(SAT) 11+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.30/1.46 (SAT)(equ)(fun)(SAT) 12| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -.
% 1.30/1.47 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.33/1.49 (SAT)(equ)(fun)(SAT) 12| -. -1 -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.33/1.51 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.38/1.54 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.40/1.56 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.40/1.57 (SAT)(equ)(fun)(SAT) 12+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.40/1.60 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 1.40/1.61 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.48/1.63 (SAT)(equ)(fun)(SAT) 13+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.48/1.66 (SAT)(equ)(fun)(SAT) 14| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 1.48/1.68 (SAT)(equ)(fun)(SAT) 14| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 1.53/1.71 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -.
% 1.53/1.74 (SAT)(equ)(fun)(SAT) 14| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.53/1.75 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.61/1.77 (SAT)(equ)(fun)(SAT) 14+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.63/1.80 (SAT)(equ)(fun)(SAT) 15| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 1.66/1.82 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.68/1.85 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.68/1.86 (SAT)(equ)(fun)(SAT) 15+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.68/1.90 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 1.76/1.92 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.76/1.93 (SAT)(equ)(fun)(SAT) 16+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.76/1.97 (SAT)(equ)(fun)(SAT) 17| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 1.83/1.99 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 1.83/2.02 (SAT)(equ)(fun)(SAT) 17| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -12 -. -. -. -. -. -12 -1 -.
% 1.83/2.06 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -.
% 1.93/2.08 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.93/2.11 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 2.00/2.15 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 2.00/2.18 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -1 -12 -. -. -. -. -12 -1 -1 -. -.
% 2.00/2.22 (SAT)(equ)(fun)(SAT) 17| -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -12 -. -. -1 -. -. -.
% 2.08/2.25 (SAT)(equ)(fun)(SAT) 17| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -12 -. -. -. -. -. -1 -. -. -12 -. -1 -. -. -. -1 -1 -1 -. -.
% 2.08/2.29 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -. -12 -. -. -12 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -.
% 2.15/2.33 (SAT)(equ)(fun)(SAT) 17| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.21/2.36 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.22/2.39 (SAT)(equ)(fun)(SAT) 17+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.25/2.42 (SAT)(equ)(fun)(SAT) 18| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 2.29/2.44 (SAT)(equ)(fun)(SAT) 18| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.29/2.48 (SAT)(equ)(fun)(SAT) 18| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.29/2.50 (SAT)(equ)(fun)(SAT) 18+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.38/2.53 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 2.38/2.55 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.38/2.58 (SAT)(equ)(fun)(SAT) 19+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.44/2.61 (SAT)(equ)(fun)(SAT) 20| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 2.44/2.64 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 2.52/2.68 (SAT)(equ)(fun)(SAT) 20| -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1
% 2.52/2.71 (SAT)(equ)(fun)(SAT) 20| -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 2.56/2.74 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.59/2.78 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1
% 2.59/2.81 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.59/2.84 (SAT)(equ)(fun)(SAT) 20+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.69/2.88 (SAT)(equ)(fun)(SAT) 21| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 2.74/2.90 (SAT)(equ)(fun)(SAT) 21| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.74/2.94 (SAT)(equ)(fun)(SAT) 21| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.80/2.96 (SAT)(equ)(fun)(SAT) 21+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.86/3.01 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 2.86/3.03 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.90/3.06 (SAT)(equ)(fun)(SAT) 22+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.90/3.10 (SAT)(equ)(fun)(SAT) 23| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 2.90/3.13 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 3.00/3.18 (SAT)(equ)(fun)(SAT) 23| -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1
% 3.05/3.22 (SAT)(equ)(fun)(SAT) 23| -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 3.10/3.25 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 3.12/3.30 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -.
% 3.17/3.35 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 3.21/3.38 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.21/3.41 (SAT)(equ)(fun)(SAT) 23+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.30/3.45 (SAT)(equ)(fun)(SAT) 24| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 3.33/3.48 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.39/3.53 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.40/3.56 (SAT)(equ)(fun)(SAT) 24+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.40/3.60 (SAT)(equ)(fun)(SAT) 25| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 3.47/3.63 (SAT)(equ)(fun)(SAT) 25| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.51/3.67 (SAT)(equ)(fun)(SAT) 25+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.51/3.72 (SAT)(equ)(fun)(SAT) 26| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 3.59/3.75 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 3.63/3.81 (SAT)(equ)(fun)(SAT) 26| -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1
% 3.70/3.85 (SAT)(equ)(fun)(SAT) 26| -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 3.72/3.89 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 3.78/3.94 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.81/3.99 (SAT)(equ)(fun)(SAT) 26+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.88/4.05 (SAT)(equ)(fun)(SAT) 27| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 3.91/4.08 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.99/4.14 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.99/4.16 (SAT)(equ)(fun)(SAT) 27+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.02/4.22 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 4.08/4.25 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.12/4.29 (SAT)(equ)(fun)(SAT) 28+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.18/4.35 (SAT)(equ)(fun)(SAT) 29| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 4.23/4.39 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 4.30/4.45 (SAT)(equ)(fun)(SAT) 29| -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1
% 4.33/4.50 (SAT)(equ)(fun)(SAT) 29| -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 4.38/4.54 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.40/4.61 (SAT)(equ)(fun)(SAT) 29+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.52/4.67 (SAT)(equ)(fun)(SAT) 30| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 4.52/4.70 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.60/4.77 (SAT)(equ)(fun)(SAT) 30| -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.68/4.83 (SAT)(equ)(fun)(SAT) 30| -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -12 -. -1 -. -1 -. -. -. -12 -. -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 4.70/4.90 (SAT)(equ)(fun)(SAT) 30| -123 -1 -. -. -1 -1 -1 -1 -1 -1 -12 -1 -12 -1 -. -1 -. -1 -. -1 -1 -. -1 -1 -1 -. -1 -123 -1 -. -. -1 -1 -. -. -1 -. -. -1 -.
% 4.83/4.98 (SAT)(equ)(fun)(SAT) 30| -1 -1234 -1 -. -. -1 -12 -. -1 -1 -123 -1 -12 -. -. -. -1 -123 -. -. -1 -. -. -123 -1 -12 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 4.83/5.05 (SAT)(equ)(fun)(SAT) 30| -1 -. -1 -1 -. -. -1 -12 -1 -123 -. -1 -12 -. -. -1 -123 -. -. -12 -1 -. -. -. -. -1 -123 -. -. -1 -1 -12 -12 -1 -. -1 -1 -. -12 -.
% 4.97/5.13 (SAT)(equ)(fun)(SAT) 30| -12 -1 -. -. -1234567 -1234 -12 -1 -. -1 -12 -1 -. -. -. -12 -12 -1 -. -. -1 -12 -12 -123 -. -. -1 -1 -1 -. -. -. -1 -. -. -1 -. -12 -1 -.
% 4.99/5.21 (SAT)(equ)(fun)(SAT) 30| -12 -1 -. -1 -12 -12 -1 -1 -. -. -1 -12 -1 -. -. -. -1 -1 -. -. -. -. -1 -1 -1 -. -1 -1 -12 -1 -12 -1 -. -1 -. -1 -1 -1 -1 -.
% 5.13/5.28 (SAT)(equ)(fun)(SAT) 30| -. -. -123 -. -1 -1234 -. -12345 -12 -1 -12 -1 -. -. -. -. -12 -. -. -. -. -12 -1 -12 -. -1 -. -1 -12 -12 -1 -. -. -1 -. -1 -1 -12 -. -.
% 5.21/5.36 (SAT)(equ)(fun)(SAT) 30| -1 -1 -1 -1 -12 -123 -1 -. -. -123 -1 -1 -12 -. -. -. -12 -. -. -123 -1 -. -. -. -123 -. -1 -123 -1 -. -. -. -12 -1 -. -. -1 -. -1 -.
% 5.27/5.44 (SAT)(equ)(fun)(SAT) 30| -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -. -1 -1 -. -12 -. -. -. -. -. -1 -1 -1 -. -1 -. -123 -12 -.
% 5.30/5.51 (SAT)(equ)(fun)(SAT) 30| -1 -. -1 -. -. -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -. -1 -. -12 -1 -1 -1 -. -. -. -12 -1 -. -. -. -. -. -. -1 -.
% 5.39/5.58 (SAT)(equ)(fun)(SAT) 30| -1 -. -1 -. -12 -. -. -123 -12 -. -12 -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -123 -. -. -. -. -. -1 -. -12 -. -. -12 -. -1 -12 -.
% 5.45/5.65 (SAT)(equ)(fun)(SAT) 30| -. -1 -123 -1 -. -. -12 -1 -. -. -1 -1 -. -. -. -. -. -12 -. -12 -. -12 -. -12 -1 -. -1 -1 -. -. -12 -12 -12 -1 -. -. -. -. -12 -.
% 5.56/5.73 (SAT)(equ)(fun)(SAT) 30| -1 -123 -1 -. -1 -12 -1 -1 -12 -. -1 -1 -12 -. -. -. -123 -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -12 -1 -1 -. -.
% 5.59/5.80 (SAT)(equ)(fun)(SAT) 30| -1 -. -12 -. -. -. -1 -. -12 -12 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -1 -. -1 -. -. -1 -1 -1 -1 -. -. -. -1 -1 -.
% 5.69/5.87 (SAT)(equ)(fun)(SAT) 30| -. -. -. -1 -. -. -1 -123 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -.
% 5.75/5.94 (SAT)(equ)(fun)(SAT) 30| -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -12 -. -. -12 -. -. -. -1 -. -1 -. -1 -. -1 -. -. -. -.
% 5.83/6.01 (SAT)(equ)(fun)(SAT) 30| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.91/6.08 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.91/6.14 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 6.05/6.20 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 6.11/6.26 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.16/6.33 (SAT)(equ)(fun)(SAT) 30+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.21/6.39 (SAT)(equ)(fun)(SAT) 31| -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.30/6.45 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.35/6.52 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.43/6.58 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.48/6.62 (SAT)(equ)(fun)(SAT) 31+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.52/6.68 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 6.60/6.74 (SAT)(equ)(fun)(SAT) 32| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.64/6.81 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 6.71/6.88 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.78/6.93 (SAT)(equ)(fun)(SAT) 32+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.82/7.00 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 6.90/7.07 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.94/7.14 (SAT)(equ)(fun)(SAT) 33+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.03/7.21 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 7.12/7.28 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.19/7.35 (SAT)(equ)(fun)(SAT) 34| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.23/7.42 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.33/7.49 (SAT)(equ)(fun)(SAT) 34+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.42/7.57 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 7.49/7.64 (SAT)(equ)(fun)(SAT) 35| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.54/7.71 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 7.61/7.77 (SAT)(equ)(fun)(SAT) 35| -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 7.71/7.85 (SAT)(equ)(fun)(SAT) 35| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -.
% 7.78/7.93 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.83/8.00 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -1 -. -. -.
% 7.94/8.08 (SAT)(equ)(fun)(SAT) 35| -1 -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -.
% 8.01/8.16 (SAT)(equ)(fun)(SAT) 35| -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -.
% 8.09/8.24 (SAT)(equ)(fun)(SAT) 35| -1 -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -1 -. -12 -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -.
% 8.14/8.32 (SAT)(equ)(fun)(SAT) 35| -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 8.24/8.40 (SAT)(equ)(fun)(SAT) 35| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -. -. -1 -1 -. -.
% 8.29/8.49 (SAT)(equ)(fun)(SAT) 35| -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.37/8.57 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 8.44/8.65 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.57/8.72 (SAT)(equ)(fun)(SAT) 35+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.60/8.80 (SAT)(equ)(fun)(SAT) 36| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 8.68/8.85 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.75/8.91 (SAT)(equ)(fun)(SAT) 36+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.83/8.99 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 8.89/9.04 (SAT)(equ)(fun)(SAT) 37| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 8.89/9.12 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.05/9.20 (SAT)(equ)(fun)(SAT) 37+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.12/9.28 (SAT)(equ)(fun)(SAT) 38| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 9.17/9.33 (SAT)(equ)(fun)(SAT) 38| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 9.21/9.42 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 9.35/9.50 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 9.41/9.58 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 9.51/9.67 (SAT)(equ)(fun)(SAT) 38| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 9.51/9.74 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.65/9.82 (SAT)(equ)(fun)(SAT) 38+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.72/9.91 (SAT)(equ)(fun)(SAT) 39| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 9.82/9.96 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.90/10.05 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.94/10.10 (SAT)(equ)(fun)(SAT) 39+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.01/10.18 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 10.07/10.23 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.12/10.31 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.24/10.40 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.32/10.49 (SAT)(equ)(fun)(SAT) 40+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.42/10.58 (SAT)(equ)(fun)(SAT) 41| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 10.49/10.63 (SAT)(equ)(fun)(SAT) 41| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 10.52/10.73 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 10.62/10.79 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 10.72/10.89 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 10.84/10.98 (SAT)(equ)(fun)(SAT) 41| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 10.90/11.06 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.00/11.15 (SAT)(equ)(fun)(SAT) 41+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.07/11.24 (SAT)(equ)(fun)(SAT) 42| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 11.12/11.30 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.23/11.40 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.28/11.45 (SAT)(equ)(fun)(SAT) 42+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.38/11.54 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 11.44/11.60 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -.
% 11.54/11.70 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 11.60/11.80 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.74/11.90 (SAT)(equ)(fun)(SAT) 43| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.74/11.95 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.88/12.03 (SAT)(equ)(fun)(SAT) 43+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.91/12.13 (SAT)(equ)(fun)(SAT) 44| -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -1 -.
% 11.99/12.19 (SAT)(equ)(fun)(SAT) 44| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 12.13/12.29 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 12.19/12.39 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.29/12.45 (SAT)(equ)(fun)(SAT) 44+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.35/12.55 (SAT)(equ)(fun)(SAT) 45| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 12.47/12.62 (SAT)(equ)(fun)(SAT) 45| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.51/12.69 (SAT)(equ)(fun)(SAT) 45+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.65/12.80 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 12.71/12.86 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.81/12.95 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.90/13.06 (SAT)(equ)(fun)(SAT) 46+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.02/13.17 (SAT)(equ)(fun)(SAT) 47| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 13.07/13.24 (SAT)(equ)(fun)(SAT) 47| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 13.20/13.35 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 13.31/13.45 (SAT)(equ)(fun)(SAT) 47| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.42/13.56 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -. -.
% 13.50/13.66 (SAT)(equ)(fun)(SAT) 47| -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 13.61/13.76 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 13.69/13.86 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 13.79/13.96 (SAT)(equ)(fun)(SAT) 47| -. -1 -. -. -. -. -. -. -. -. -. -. -1
% 13.83/14.01 (SAT)(equ)(fun)(SAT) 47| -1 -1 -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 13.93/14.12 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.09/14.23 (SAT)(equ)(fun)(SAT) 47+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.15/14.34 (SAT)(equ)(fun)(SAT) 48| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 14.25/14.42 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.38/14.54 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.43/14.61 (SAT)(equ)(fun)(SAT) 48+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.55/14.73 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 14.61/14.80 (SAT)(equ)(fun)(SAT) 49| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -.
% 14.75/14.91 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -.
% 14.90/15.05 (SAT)(equ)(fun)(SAT) 49| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.98/15.15 (SAT)(equ)(fun)(SAT) 49| -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.12/15.27 (SAT)(equ)(fun)(SAT) 49| -. -1 -. -. -. -. -. -. -. -1 -. -. -. -123 -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -.
% 15.21/15.41 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 15.36/15.53 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.42/15.61 (SAT)(equ)(fun)(SAT) 49+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.60/15.74 (SAT)(equ)(fun)(SAT) 50| -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -1 -.
% 15.60/15.81 (SAT)(equ)(fun)(SAT) 50| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 15.77/15.93 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.83/16.06 (SAT)(equ)(fun)(SAT) 50+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.02/16.18 (SAT)(equ)(fun)(SAT) 51| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 16.12/16.25 (SAT)(equ)(fun)(SAT) 51| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.22/16.38 (SAT)(equ)(fun)(SAT) 51| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.22/16.45 (SAT)(equ)(fun)(SAT) 51+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.42/16.57 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 16.52/16.65 (SAT)(equ)(fun)(SAT) 52| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 16.62/16.77 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.73/16.90 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.83/17.02 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.95/17.11 (SAT)(equ)(fun)(SAT) 52+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.08/17.24 (SAT)(equ)(fun)(SAT) 53| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 17.13/17.32 (SAT)(equ)(fun)(SAT) 53| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 17.32/17.46 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 17.43/17.59 (SAT)(equ)(fun)(SAT) 53| -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.54/17.72 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 17.69/17.85 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.80/17.94 (SAT)(equ)(fun)(SAT) 53+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.95/18.08 (SAT)(equ)(fun)(SAT) 54| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 18.02/18.16 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.09/18.26 (SAT)(equ)(fun)(SAT) 54+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.25/18.40 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 18.32/18.48 (SAT)(equ)(fun)(SAT) 55| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 18.46/18.62 (SAT)(equ)(fun)(SAT) 55| -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 18.61/18.76 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.76/18.89 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.88/19.03 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -1 -. -1 -. -. -. -1 -. -.
% 19.01/19.14 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.07/19.23 (SAT)(equ)(fun)(SAT) 55+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.20/19.37 (SAT)(equ)(fun)(SAT) 56| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 19.30/19.46 (SAT)(equ)(fun)(SAT) 56| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 19.43/19.60 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 19.52/19.74 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.67/19.83 (SAT)(equ)(fun)(SAT) 56+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.82/19.98 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 19.92/20.07 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.08/20.21 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.13/20.29 (SAT)(equ)(fun)(SAT) 57+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.30/20.43 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 20.38/20.52 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.52/20.66 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.63/20.80 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.80/20.94 (SAT)(equ)(fun)(SAT) 58+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.93/21.09 (SAT)(equ)(fun)(SAT) 59| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 21.03/21.19 (SAT)(equ)(fun)(SAT) 59| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 21.15/21.34 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -.
% 21.32/21.49 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.44/21.64 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 21.62/21.78 (SAT)(equ)(fun)(SAT) 59| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.75/21.93 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.90/22.04 (SAT)(equ)(fun)(SAT) 59+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.05/22.19 (SAT)(equ)(fun)(SAT) 60| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 22.15/22.28 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.22/22.40 (SAT)(equ)(fun)(SAT) 60+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.37/22.56 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 22.51/22.65 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.61/22.79 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.82/22.95 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.97/23.10 (SAT)(equ)(fun)(SAT) 61+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.12/23.26 (SAT)(equ)(fun)(SAT) 62| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 23.22/23.36 (SAT)(equ)(fun)(SAT) 62| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 23.39/23.53 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 23.56/23.68 (SAT)(equ)(fun)(SAT) 62| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 23.68/23.85 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.86/24.01 (SAT)(equ)(fun)(SAT) 62+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.03/24.18 (SAT)(equ)(fun)(SAT) 63| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 24.14/24.28 (SAT)(equ)(fun)(SAT) 63| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.24/24.41 (SAT)(equ)(fun)(SAT) 63+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.41/24.57 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 24.52/24.67 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.70/24.83 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.86/25.01 (SAT)(equ)(fun)(SAT) 64+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.01/25.18 (SAT)(equ)(fun)(SAT) 65| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 25.16/25.29 (SAT)(equ)(fun)(SAT) 65| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 25.30/25.48 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 25.52/25.66 (SAT)(equ)(fun)(SAT) 65| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -1 -. -1 -. -.
% 25.68/25.84 (SAT)(equ)(fun)(SAT) 65| -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.81/26.02 (SAT)(equ)(fun)(SAT) 65| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 26.04/26.20 (SAT)(equ)(fun)(SAT) 65| -. -1 -. -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 26.22/26.38 (SAT)(equ)(fun)(SAT) 65| -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 26.43/26.56 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.52/26.70 (SAT)(equ)(fun)(SAT) 65+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.72/26.88 (SAT)(equ)(fun)(SAT) 66| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 26.84/26.99 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.02/27.17 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.13/27.26 (SAT)(equ)(fun)(SAT) 66+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.24/27.44 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 27.43/27.55 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -.
% 27.61/27.74 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 27.81/27.93 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -.
% 27.97/28.12 (SAT)(equ)(fun)(SAT) 67| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.13/28.31 (SAT)(equ)(fun)(SAT) 67| -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 28.36/28.49 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.52/28.64 (SAT)(equ)(fun)(SAT) 67+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.70/28.82 (SAT)(equ)(fun)(SAT) 68| -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -1 -.
% 28.81/28.94 (SAT)(equ)(fun)(SAT) 68| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 29.00/29.13 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.18/29.32 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.32/29.47 (SAT)(equ)(fun)(SAT) 68+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.55/29.66 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 29.63/29.79 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.83/29.99 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.93/30.11 (SAT)(equ)(fun)(SAT) 69+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.14/30.31 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 30.25/30.43 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.49/30.62 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.67/30.81 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.85/31.00 (SAT)(equ)(fun)(SAT) 70+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.05/31.19 (SAT)(equ)(fun)(SAT) 71| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 31.15/31.32 (SAT)(equ)(fun)(SAT) 71| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 31.36/31.53 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 31.55/31.72 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.71/31.85 (SAT)(equ)(fun)(SAT) 71+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.86/32.05 (SAT)(equ)(fun)(SAT) 72| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 32.02/32.17 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.26/32.38 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.33/32.48 (SAT)(equ)(fun)(SAT) 72+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.55/32.69 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 32.62/32.82 (SAT)(equ)(fun)(SAT) 73| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -.
% 32.90/33.02 (SAT)(equ)(fun)(SAT) 73| -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.08/33.23 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 33.33/33.45 (SAT)(equ)(fun)(SAT) 73| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 33.50/33.65 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.67/33.80 (SAT)(equ)(fun)(SAT) 73+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.86/34.02 (SAT)(equ)(fun)(SAT) 74| -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -1 -.
% 34.04/34.15 (SAT)(equ)(fun)(SAT) 74| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 34.23/34.36 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 34.46/34.58 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 34.67/34.78 (SAT)(equ)(fun)(SAT) 74| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.86/35.00 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.04/35.17 (SAT)(equ)(fun)(SAT) 74+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.27/35.38 (SAT)(equ)(fun)(SAT) 75| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 35.41/35.52 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.57/35.69 (SAT)(equ)(fun)(SAT) 75+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.79/35.92 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 35.93/36.05 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.15/36.26 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.38/36.49 (SAT)(equ)(fun)(SAT) 76+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.54/36.72 (SAT)(equ)(fun)(SAT) 77| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 36.75/36.86 (SAT)(equ)(fun)(SAT) 77| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 36.97/37.09 (SAT)(equ)(fun)(SAT) 77| -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 37.15/37.32 (SAT)(equ)(fun)(SAT) 77| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.43/37.55 (SAT)(equ)(fun)(SAT) 77+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.66/37.78 (SAT)(equ)(fun)(SAT) 78| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 37.76/37.93 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.05/38.16 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.16/38.28 (SAT)(equ)(fun)(SAT) 78+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.35/38.51 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 38.48/38.66 (SAT)(equ)(fun)(SAT) 79| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 38.78/38.89 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 38.95/39.13 (SAT)(equ)(fun)(SAT) 79| -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -.
% 39.23/39.37 (SAT)(equ)(fun)(SAT) 79| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 39.46/39.61 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.74/39.84 (SAT)(equ)(fun)(SAT) 79| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -.
% 39.85/40.02 (SAT)(equ)(fun)(SAT) 79| -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.11/40.25 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.34/40.50 (SAT)(equ)(fun)(SAT) 79+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.57/40.73 (SAT)(equ)(fun)(SAT) 80| -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -1 -.
% 40.76/40.88 (SAT)(equ)(fun)(SAT) 80| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 41.03/41.13 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.24/41.36 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.35/41.51 (SAT)(equ)(fun)(SAT) 80+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.65/41.75 (SAT)(equ)(fun)(SAT) 81| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 41.78/41.91 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.93/42.10 (SAT)(equ)(fun)(SAT) 81+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.25/42.35 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 42.39/42.50 (SAT)(equ)(fun)(SAT) 82| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -.
% 42.63/42.74 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.85/42.99 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.99/43.10 (SAT)(equ)(fun)(SAT) 82+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.24/43.35 (SAT)(equ)(fun)(SAT) 83| -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -.
% 43.36/43.51 (SAT)(equ)(fun)(SAT) 83| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 43.64/43.77 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.88/44.02 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.07/44.19 (SAT)(equ)(fun)(SAT) 83+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.33/44.45 (SAT)(equ)(fun)(SAT) 84| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 44.48/44.63 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.77/44.89 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.93/45.04 (SAT)(equ)(fun)(SAT) 84+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.21/45.32 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 45.38/45.49 (SAT)(equ)(fun)(SAT) 85| -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -.
% 45.63/45.76 (SAT)(equ)(fun)(SAT) 85| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 45.94/46.04 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -1 -. -. -. -. -12 -1 -. -. -. -1 -. -. -1 -.
% 46.22/46.31 (SAT)(equ)(fun)(SAT) 85| -1234 -. -. -. -. -. -12 -1 -. -. -. -1 -12 -123 -. -1 -1 -. -. -. -1 -. -1 -1 -. -. -1 -1 -. -12 -1 -12 -. -. -. -. -12 -. -. -.
% 46.50/46.62 (SAT)(equ)(fun)(SAT) 85| -1234 -12 -1 -12 -123 -123 -12 -1234 -1 -12 -1234 -123 -12345 -1 -. -. -12345 -1 -. -1234 -12 -123 -1 -1234 -12 -1 -123 -12 -123 -. -. -1 -1 -12 -. -. -. -. -123 -.
% 46.87/46.96 (SAT)(equ)(fun)(SAT) 85| -1 -1 -1 -. -1234567 -123 -. -1234 -1 -12345 -1234 -1 -1234 -1 -. -12 -12 -123456 -. -1234 -1 -12345 -1 -1234 -12 -1 -. -12 -1 -12 -1 -1 -12345 -1 -. -. -1 -12 -. -.
% 47.17/47.31 (SAT)(equ)(fun)(SAT) 85| -. -1 -12 -123 -. -1 -. -. -. -1 -123 -12 -1 -1 -. -12 -12 -1 -. -. -12 -. -1 -1234 -. -123 -1 -12 -1 -123 -1 -1 -123 -1234 -. -1 -1 -123 -1 -.
% 47.47/47.63 (SAT)(equ)(fun)(SAT) 85| -12 -12 -12 -12 -12 -. -1234 -. -1 -. -1234 -1 -1 -1 -. -. -1 -12 -. -12 -. -12 -. -1 -12 -12 -. -. -1 -12 -. -. -1 -1 -. -123 -1 -1 -123 -.
% 47.84/47.94 (SAT)(equ)(fun)(SAT) 85| -1 -. -1 -12 -1 -123 -1 -12 -12 -123 -123 -12 -1 -. -. -. -123 -. -. -1234 -1 -12 -1 -123 -12 -. -12 -. -12 -1 -1 -1 -1 -12 -. -. -1 -1 -12345 -.
% 48.13/48.25 (SAT)(equ)(fun)(SAT) 85| -1 -12345 -12 -12 -12 -. -1234 -12 -12 -12 -12 -12 -1 -. -. -. -1 -12 -. -. -1 -123 -1 -12 -1 -12 -. -12 -1 -12 -12 -12 -12 -123 -. -123 -. -1 -12 -.
% 48.44/48.58 (SAT)(equ)(fun)(SAT) 85| -. -1 -12 -1 -1 -1 -12 -1 -12 -12 -12 -12 -1 -. -. -. -1 -1 -. -12 -12 -1 -123 -12 -12 -1 -1 -1 -. -1 -1 -12 -1 -. -. -1 -. -1234 -1234 -.
% 48.79/48.90 (SAT)(equ)(fun)(SAT) 85| -. -12 -1 -. -12 -123 -1234 -12345 -1 -1 -1234 -1 -123 -1 -. -12 -12 -12 -. -1 -1 -12 -1 -123 -12 -1 -12 -123 -. -12 -. -1 -1234 -1 -. -123 -1 -1 -12 -.
% 49.10/49.24 (SAT)(equ)(fun)(SAT) 85| -1234 -12 -1 -1 -123 -12 -123 -123 -1 -1 -1234 -1 -12 -. -. -1 -1 -12 -. -12 -. -123 -1 -1234 -123 -1 -. -1 -12 -1 -1 -1 -1234 -12 -. -1234 -1 -. -1 -.
% 49.44/49.57 (SAT)(equ)(fun)(SAT) 85| -. -. -123 -1 -. -12 -1 -12 -. -123 -1 -. -123 -12 -. -. -1 -. -. -12 -12 -1 -12 -12 -1 -1 -12 -1 -. -. -12 -1 -. -12 -. -123 -1 -1 -1 -.
% 49.75/49.89 (SAT)(equ)(fun)(SAT) 85| -. -1 -123 -. -123 -12 -. -12 -12 -1 -1234 -123 -12 -1 -. -1 -123 -1 -. -1 -123 -1 -123 -. -1 -12 -12 -12 -12 -1 -1 -. -1 -12 -. -123 -. -1 -1234 -.
% 50.11/50.22 (SAT)(equ)(fun)(SAT) 85| -1234 -12 -1 -1 -. -. -123 -12 -. -1 -12 -1234 -1 -. -. -. -12 -. -. -1 -. -1 -. -. -1 -. -. -1 -. -12 -. -12 -. -12 -. -1 -. -. -1 -.
% 50.36/50.53 (SAT)(equ)(fun)(SAT) 85| -1 -1 -. -12 -. -12 -123 -12 -1 -1 -1 -. -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -1 -. -. -1 -12 -1 -1 -1 -1 -. -1 -. -1 -123 -.
% 50.75/50.83 (SAT)(equ)(fun)(SAT) 85| -1 -1 -. -1 -. -1 -. -1 -1 -1 -. -12 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -12 -. -. -. -1 -1 -1 -. -1 -. -1 -1 -. -. -.
% 51.00/51.11 (SAT)(equ)(fun)(SAT) 85| -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.28/51.37 (SAT)(equ)(fun)(SAT) 85| -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.47/51.57 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -1 -12 -1 -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -12 -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -.
% 51.74/51.84 (SAT)(equ)(fun)(SAT) 85| -. -. -1 -. -. -12 -1 -. -. -. -12 -. -12 -. -. -. -. -. -. -1 -1 -. -12 -. -12 -. -. -. -1 -. -123 -12 -1 -. -. -1 -. -. -. -.
% 51.99/52.11 (SAT)(equ)(fun)(SAT) 85| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.27/52.37 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 52.43/52.56 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 52.66/52.76 (SAT)(equ)(fun)(SAT) 85| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.81/52.96 (SAT)(equ)(fun)(SAT) 85| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.05/53.15 (SAT)(equ)(fun)(SAT) 85| -1 -. -. -. -. -. -1 -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 53.26/53.41 (SAT)(equ)(fun)(SAT) 85| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 53.56/53.67 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.77/53.88 (SAT)(equ)(fun)(SAT) 85+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.06/54.15 (SAT)(equ)(fun)(SAT) 86| -. -. -1 -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 54.17/54.32 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.48/54.59 (SAT)(equ)(fun)(SAT) 86| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.68/54.79 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.96/55.06 (SAT)(equ)(fun)(SAT) 86+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.18/55.33 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 55.36/55.51 (SAT)(equ)(fun)(SAT) 87| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.65/55.80 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 55.96/56.08 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.11/56.25 (SAT)(equ)(fun)(SAT) 87+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.45/56.54 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 56.58/56.71 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.76/56.94 (SAT)(equ)(fun)(SAT) 88+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.11/57.22 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 57.31/57.41 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 57.58/57.70 (SAT)(equ)(fun)(SAT) 89| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 57.88/57.99 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.18/58.29 (SAT)(equ)(fun)(SAT) 89| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.45/58.55 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.70/58.78 (SAT)(equ)(fun)(SAT) 89+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.97/59.07 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 59.16/59.26 (SAT)(equ)(fun)(SAT) 90| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.44/59.57 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 59.76/59.87 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.98/60.08 (SAT)(equ)(fun)(SAT) 90+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.28/60.40 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 60.47/60.63 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.77/60.88 (SAT)(equ)(fun)(SAT) 91+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.07/61.20 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 61.29/61.41 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.59/61.73 (SAT)(equ)(fun)(SAT) 92| -. -. -1 -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 61.89/62.03 (SAT)(equ)(fun)(SAT) 92| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 62.25/62.33 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 62.54/62.63 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -1 -. -. -1
% 62.75/62.84 (SAT)(equ)(fun)(SAT) 92| -. -1 -. -. -. -. -12 -. -. -. -1 -. -. -12 -. -. -. -1 -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -12 -. -. -. -.
% 63.06/63.16 (SAT)(equ)(fun)(SAT) 92| -. -12 -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -12 -123 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 63.38/63.46 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.67/63.76 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.83/63.91 (SAT)(equ)(fun)(SAT) 92+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.13/64.21 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 64.28/64.42 (SAT)(equ)(fun)(SAT) 93| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.59/64.74 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 64.97/65.05 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.16/65.24 (SAT)(equ)(fun)(SAT) 93+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.45/65.55 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 65.67/65.75 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.89/66.00 (SAT)(equ)(fun)(SAT) 94+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.21/66.32 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 66.45/66.54 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 66.76/66.87 (SAT)(equ)(fun)(SAT) 95| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 67.07/67.18 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.43/67.51 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.73/67.84 (SAT)(equ)(fun)(SAT) 95+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.08/68.16 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 68.32/68.38 (SAT)(equ)(fun)(SAT) 96| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.60/68.71 (SAT)(equ)(fun)(SAT) 96| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.98/69.05 (SAT)(equ)(fun)(SAT) 96| -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 69.31/69.38 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.61/69.71 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -.
% 69.81/69.91 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.06/70.16 (SAT)(equ)(fun)(SAT) 96+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.36/70.49 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 70.58/70.71 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.88/70.97 (SAT)(equ)(fun)(SAT) 97+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.20/71.30 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 71.45/71.52 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.80/71.86 (SAT)(equ)(fun)(SAT) 98| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.10/72.19 (SAT)(equ)(fun)(SAT) 98| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.31/72.38 (SAT)(equ)(fun)(SAT) 98| -. -1 -. -. -. -. -. -. -1 -. -. -.
% 72.39/72.50 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 72.67/72.73 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.82/72.94 (SAT)(equ)(fun)(SAT) 98+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.20/73.27 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 73.43/73.50 (SAT)(equ)(fun)(SAT) 99| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.80/73.86 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 74.14/74.21 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.50/74.57 (SAT)(equ)(fun)(SAT) 99+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.80/74.93 (SAT)(equ)(fun)(SAT) 100| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 75.11/75.17 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.47/75.53 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.62/75.72 (SAT)(equ)(fun)(SAT) 100+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.99/76.06 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 76.22/76.30 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.59/76.68 (SAT)(equ)(fun)(SAT) 101| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.88/77.02 (SAT)(equ)(fun)(SAT) 101| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.15/77.24 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 77.29/77.38 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 77.49/77.60 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.76/77.82 (SAT)(equ)(fun)(SAT) 101+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.10/78.18 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 78.31/78.42 (SAT)(equ)(fun)(SAT) 102| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.70/78.78 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 79.06/79.15 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.29/79.37 (SAT)(equ)(fun)(SAT) 102+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.66/79.74 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 79.89/79.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.18/80.27 (SAT)(equ)(fun)(SAT) 103+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.49/80.64 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 80.79/80.90 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 81.19/81.26 (SAT)(equ)(fun)(SAT) 104| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 81.52/81.58 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 81.87/81.95 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.22/82.32 (SAT)(equ)(fun)(SAT) 104+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.59/82.70 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 82.89/82.95 (SAT)(equ)(fun)(SAT) 105| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.20/83.32 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -.
% 83.49/83.59 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 83.90/83.96 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.10/84.19 (SAT)(equ)(fun)(SAT) 105+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.50/84.57 (SAT)(equ)(fun)(SAT) 106| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 84.72/84.82 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.12/85.21 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.32/85.41 (SAT)(equ)(fun)(SAT) 106+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.72/85.79 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 85.98/86.05 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 86.33/86.44 (SAT)(equ)(fun)(SAT) 107| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.75/86.82 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.10/87.20 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.40/87.48 (SAT)(equ)(fun)(SAT) 107+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.80/87.86 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 88.02/88.15 (SAT)(equ)(fun)(SAT) 108| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.48/88.55 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 88.88/88.94 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -.
% 89.10/89.17 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.43/89.51 (SAT)(equ)(fun)(SAT) 108+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.89/89.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 90.19/90.23 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.51/90.59 (SAT)(equ)(fun)(SAT) 109+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.97/91.02 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 91.20/91.28 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 91.62/91.69 (SAT)(equ)(fun)(SAT) 110| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 91.99/92.05 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 92.40/92.46 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.79/92.87 (SAT)(equ)(fun)(SAT) 110+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.19/93.29 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 93.49/93.58 (SAT)(equ)(fun)(SAT) 111| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.95/94.01 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 94.33/94.42 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.63/94.70 (SAT)(equ)(fun)(SAT) 111+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.03/95.12 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 95.35/95.40 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.63/95.74 (SAT)(equ)(fun)(SAT) 112+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.10/96.16 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 96.38/96.45 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.80/96.88 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.02/97.06 (SAT)(equ)(fun)(SAT) 113+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.40/97.49 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 97.70/97.80 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 98.18/98.25 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 98.64/98.69 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.10/99.13 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 99.51/99.58 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.79/99.86 (SAT)(equ)(fun)(SAT) 114+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.23/100.30 (SAT)(equ)(fun)(SAT) 115| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 100.57/100.64 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.01/101.10 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.22/101.33 (SAT)(equ)(fun)(SAT) 115+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.72/101.78 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 102.05/102.09 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.53/102.57 (SAT)(equ)(fun)(SAT) 116| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.83/102.91 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.26/103.34 (SAT)(equ)(fun)(SAT) 116+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.73/103.82 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -1 -.
% 104.07/104.13 (SAT)(equ)(fun)(SAT) 117| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 104.53/104.62 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -.
% 104.93/104.96 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 105.35/105.42 (SAT)(equ)(fun)(SAT) 117| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 105.81/105.84 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 106.26/106.30 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.62/106.64 (SAT)(equ)(fun)(SAT) 117+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.01/107.10 (SAT)(equ)(fun)(SAT) 118| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 107.41/107.45 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.89/107.93 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.12/108.17 (SAT)(equ)(fun)(SAT) 118+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.63/108.66 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -.
% 109.00/109.02 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -.
% 109.45/109.52 (SAT)(equ)(fun)(SAT) 119| -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -12 -. -. -1 -.
% 109.94/110.01 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 110.44/110.47 (SAT)(equ)(fun)(SAT) 119| -1 -1 -12 -1 -. -. -. -. -. -1 -12 -. -12 -. -. -. -. -. -. -1 -. -. -. -. -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -.
% 110.92/110.95 (SAT)(equ)(fun)(SAT) 119| -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -. -. -1 -. -. -. -. -1 -1 -. -. -1 -. -. -. -12 -. -. -1 -. -. -1 -1 -1 -. -.
% 111.40/111.43 (SAT)(equ)(fun)(SAT) 119| -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -12 -1 -. -1 -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 111.83/111.89 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.35/112.37 (SAT)(equ)(fun)(SAT) 119+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.81/112.84 (SAT)(equ)(fun)(SAT) 120| -. -. -1 -. -. -. -1 -. -. -1 -. -. -1 -1 -1 -. -. -. -. -1 -1 -.
% 113.15/113.21 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -.
% 113.67/113.70 (SAT)(equ)(fun)(SAT) 120| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 114.14/114.17 (SAT)(equ)(fun)(SAT) 120| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -.
% 114.49/114.52 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 114.85/114.89 (SAT)(equ)(fun)(SAT) 120+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 115.34/115.38 (SAT)(equ)(fun)(SAT) 121| -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 115.70/115.75 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.06/116.13 (SAT)(equ)(fun)(SAT) 121+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.54/116.60 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 116.92/116.94 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 117.24/117.29 (SAT)(equ)(fun)(SAT) 122+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 117.74/117.76 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 118.04/118.10 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 118.54/118.61 (SAT)(equ)(fun)(SAT) 123| -1 -. -. -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 119.04/119.12 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -.
% 119.58/119.61 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -.
% 119.96/119.97 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.36/120.40 (SAT)(equ)(fun)(SAT) 123+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.93/120.95 (SAT)(equ)(fun)(SAT) 124| -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 121.31/121.37 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.80/121.82 (SAT)(equ)(fun)(SAT) 124+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 122.34/122.38 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 122.76/122.77 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.14/123.16 (SAT)(equ)(fun)(SAT) 125+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.66/123.69 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 124.07/124.08 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 124.68/124.70 (SAT)(equ)(fun)(SAT) 126| -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 125.14/125.22 (SAT)(equ)(fun)(SAT) 126| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 125.76/125.78 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 126.25/126.30 (SAT)(equ)(fun)(SAT) 126| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 126.86/126.90 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 127.45/127.46 (SAT)(equ)(fun)(SAT) 126| -. -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 128.08/128.07 (SAT)(equ)(fun)(SAT) 126| -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 128.66/128.66 (SAT)(equ)(fun)(SAT) 126| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.16/129.20 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 129.47/129.55 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.89/129.91 (SAT)(equ)(fun)(SAT) 126+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 130.45/130.47 (SAT)(equ)(fun)(SAT) 127| -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 130.89/130.89 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.34/131.35 (SAT)(equ)(fun)(SAT) 127+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.91/131.91 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 132.27/132.30 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 132.71/132.72 (SAT)(equ)(fun)(SAT) 128+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 133.26/133.29 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 133.68/133.69 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 134.34/134.32 (SAT)(equ)(fun)(SAT) 129| -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 134.85/134.86 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -.
% 135.37/135.44 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -.
% 135.93/135.92 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 136.37/136.39 (SAT)(equ)(fun)(SAT) 129+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 136.96/136.99 (SAT)(equ)(fun)(SAT) 130| -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 137.46/137.45 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 137.96/137.93 (SAT)(equ)(fun)(SAT) 130+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 138.54/138.52 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 138.96/138.95 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 139.38/139.40 (SAT)(equ)(fun)(SAT) 131+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 139.98/140.00 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 140.39/140.45 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 141.10/141.09 (SAT)(equ)(fun)(SAT) 132| -1 -. -. -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 141.70/141.71 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 142.32/142.35 (SAT)(equ)(fun)(SAT) 132| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 142.98/142.94 (SAT)(equ)(fun)(SAT) 132| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 143.49/143.48 (SAT)(equ)(fun)(SAT) 132| -. -12 -1 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -12 -. -1 -. -1 -. -123 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 144.10/144.12 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -.
% 144.78/144.76 (SAT)(equ)(fun)(SAT) 132| -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 145.41/145.38 (SAT)(equ)(fun)(SAT) 132| -. -12345678 -1 -1 -12 -1234 -1 -12 -1 -1 -123456 -123 -123 -123 -. -1 -123 -12345 -. -123 -1 -12 -12 -1234 -. -. -1 -1 -1234 -123456 -123 -1 -1 -. -. -123 -1234 -. -1 -.
% 146.09/146.13 (SAT)(equ)(fun)(SAT) 132| -123 -1 -1 -1 -12 -1234 -12 -123 -. -123 -12 -1 -1234 -12 -. -1 -12 -. -. -1 -. -. -1 -1 -12 -1 -. -12 -123 -123 -12 -. -1 -1 -. -. -123 -1 -1 -.
% 146.88/146.86 (SAT)(equ)(fun)(SAT) 132| -123 -1 -1 -1 -. -1 -12 -. -. -1 -1 -12 -12 -1 -. -. -12 -. -. -1 -12 -1 -123 -1 -1 -12 -1 -123 -1 -. -1234 -12 -1 -123 -. -12345 -1 -123 -1 -.
% 147.60/147.60 (SAT)(equ)(fun)(SAT) 132| -. -1 -. -12 -12 -12 -. -12 -1 -. -12 -12 -12 -. -. -1 -12 -1 -. -. -. -1 -. -1 -. -123 -1 -. -1 -. -. -12 -. -1 -. -. -12 -. -. -.
% 148.27/148.24 (SAT)(equ)(fun)(SAT) 132| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -.
% 148.87/148.87 (SAT)(equ)(fun)(SAT) 132| -123 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -.
% 149.56/149.52 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 150.14/150.11 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 150.71/150.73 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.31/151.32 (SAT)(equ)(fun)(SAT) 132| -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.89/151.92 (SAT)(equ)(fun)(SAT) 132| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -.
% 152.42/152.38 (SAT)(equ)(fun)(SAT) 132| -1 -. -. -. -1 -1 -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -.
% 152.70/152.67 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 153.30/153.26 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 153.90/153.86 (SAT)(equ)(fun)(SAT) 132| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -.
% 154.31/154.29 (SAT)(equ)(fun)(SAT) 132| -. -. -1 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -1 -. -.
% 154.91/154.92 (SAT)(equ)(fun)(SAT) 132| -12 -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 155.50/155.53 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 156.10/156.12 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 156.71/156.73 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 157.41/157.36 (SAT)(equ)(fun)(SAT) 132| -1 -. -12 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -.
% 158.02/157.99 (SAT)(equ)(fun)(SAT) 132| -1 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 158.62/158.63 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -.
% 159.29/159.23 (SAT)(equ)(fun)(SAT) 132| -12 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 159.80/159.83 (SAT)(equ)(fun)(SAT) 132| -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -123 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 160.42/160.44 (SAT)(equ)(fun)(SAT) 132| -. -1 -123 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -12 -. -. -. -1 -1 -. -12 -1 -12 -. -. -. -. -. -1 -. -. -1 -. -. -1234 -.
% 161.10/161.08 (SAT)(equ)(fun)(SAT) 132| -12 -. -1 -. -. -1 -. -. -1 -. -. -1 -. -. -. -1 -1 -. -. -. -1 -. -. -. -12 -1 -1 -1 -. -1 -12 -. -. -. -. -1 -1 -1 -. -.
% 161.72/161.73 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 162.40/162.33 (SAT)(equ)(fun)(SAT) 132| -123 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -.
% 162.91/162.93 (SAT)(equ)(fun)(SAT) 132| -1 -. -. -. -. -. -1 -. -. -12 -. -. -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -.
% 163.59/163.57 (SAT)(equ)(fun)(SAT) 132| -12 -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -12 -1 -1 -. -. -. -. -1 -12 -. -.
% 164.28/164.24 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -1 -12 -12 -1 -1 -12 -1 -12 -1 -. -1 -1 -. -. -. -12 -. -12 -. -. -. -12 -. -. -1 -. -1 -. -. -. -1 -. -. -123 -.
% 164.91/164.89 (SAT)(equ)(fun)(SAT) 132| -. -1 -. -. -12 -1 -1 -1 -1 -1 -1 -12 -. -1 -. -. -12 -1 -. -1 -1 -1 -. -1 -1 -. -. -1 -12 -. -. -. -123 -1 -. -123 -. -. -123 -.
% 165.61/165.56 (SAT)(equ)(fun)(SAT) 132| -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -12 -. -.
% 166.24/166.18 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -1 -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -.
% 166.84/166.80 (SAT)(equ)(fun)(SAT) 132| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 167.43/167.41 (SAT)(equ)(fun)(SAT) 132| -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 168.02/168.03 (SAT)(equ)(fun)(SAT) 132| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 168.70/168.64 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -.
% 169.20/169.15 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -. -. -. -.
% 169.84/169.79 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 170.45/170.38 (SAT)(equ)(fun)(SAT) 132| -12 -1 -1 -. -. -1 -. -1 -1 -1 -12 -. -1 -12 -. -1 -12 -1 -. -12 -1 -1 -. -12 -12 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -.
% 171.07/171.04 (SAT)(equ)(fun)(SAT) 132| -. -. -. -1 -1 -1 -. -12 -. -. -12 -1 -12 -. -. -1 -1 -1 -. -1 -. -1 -. -1 -. -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -1 -.
% 171.72/171.69 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 172.36/172.29 (SAT)(equ)(fun)(SAT) 132| -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 172.96/172.90 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 173.56/173.54 (SAT)(equ)(fun)(SAT) 132+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 174.17/174.16 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 174.78/174.71 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.34/175.32 (SAT)(equ)(fun)(SAT) 133| -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.94/175.92 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 176.32/176.26 (SAT)(equ)(fun)(SAT) 133+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 176.96/176.89 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 177.58/177.55 (SAT)(equ)(fun)(SAT) 134| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 178.23/178.17 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 178.83/178.78 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 179.34/179.29 (SAT)(equ)(fun)(SAT) 134+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 180.00/179.93 (SAT)(equ)(fun)(SAT) 135| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 180.60/180.53 (SAT)(equ)(fun)(SAT) 135| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 181.21/181.19 (SAT)(equ)(fun)(SAT) 135+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 181.84/181.83 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 182.45/182.44 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 183.15/183.08 (SAT)(equ)(fun)(SAT) 136| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 183.75/183.69 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.37/184.33 (SAT)(equ)(fun)(SAT) 136+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 185.03/184.99 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 185.69/185.60 (SAT)(equ)(fun)(SAT) 137| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 186.34/186.25 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 186.86/186.81 (SAT)(equ)(fun)(SAT) 137| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -.
% 187.57/187.48 (SAT)(equ)(fun)(SAT) 137| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 188.15/188.07 (SAT)(equ)(fun)(SAT) 137| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 188.69/188.63 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 189.04/188.96 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.58/189.48 (SAT)(equ)(fun)(SAT) 137+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 190.23/190.14 (SAT)(equ)(fun)(SAT) 138| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -.
% 190.77/190.73 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.51/191.41 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.86/191.77 (SAT)(equ)(fun)(SAT) 138+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 192.50/192.44 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 193.12/193.05 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 193.83/193.73 (SAT)(equ)(fun)(SAT) 139| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 194.29/194.23 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 194.94/194.90 (SAT)(equ)(fun)(SAT) 139+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 195.64/195.59 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 196.36/196.28 (SAT)(equ)(fun)(SAT) 140| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 197.07/196.98 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -.
% 197.59/197.51 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 198.19/198.09 (SAT)(equ)(fun)(SAT) 140| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 198.88/198.77 (SAT)(equ)(fun)(SAT) 140| -12 -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -.
% 199.56/199.47 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 200.22/200.13 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 200.85/200.73 (SAT)(equ)(fun)(SAT) 140+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 201.46/201.42 (SAT)(equ)(fun)(SAT) 141| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -.
% 202.15/202.06 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 202.82/202.74 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.17/203.11 (SAT)(equ)(fun)(SAT) 141+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.89/203.78 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 204.56/204.44 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -.
% 205.30/205.21 (SAT)(equ)(fun)(SAT) 142| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 205.99/205.88 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 206.69/206.59 (SAT)(equ)(fun)(SAT) 142+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.38/207.30 (SAT)(equ)(fun)(SAT) 143| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -.
% 208.09/207.98 (SAT)(equ)(fun)(SAT) 143| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 208.83/208.73 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 209.53/209.43 (SAT)(equ)(fun)(SAT) 143+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 210.18/210.12 (SAT)(equ)(fun)(SAT) 144| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -.
% 210.89/210.79 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.61/211.51 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.95/211.89 (SAT)(equ)(fun)(SAT) 144+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 212.73/212.61 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 213.39/213.26 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -.
% 214.16/214.04 (SAT)(equ)(fun)(SAT) 145| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 214.84/214.73 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 215.44/215.34 (SAT)(equ)(fun)(SAT) 145+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 216.13/216.05 (SAT)(equ)(fun)(SAT) 146| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -.
% 216.79/216.72 (SAT)(equ)(fun)(SAT) 146| -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 217.59/217.46 (SAT)(equ)(fun)(SAT) 146| -. -1 -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 218.18/218.06 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -1 -1 -. -. -. -1 -. -. -1 -.
% 218.85/218.76 (SAT)(equ)(fun)(SAT) 146| -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 219.62/219.53 (SAT)(equ)(fun)(SAT) 146| -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 220.39/220.27 (SAT)(equ)(fun)(SAT) 146| -. -1 -1 -. -. -12 -1 -. -12 -1 -123456 -123 -123 -. -. -. -. -. -. -12 -1 -. -. -1 -1 -123 -1 -. -1 -1 -12 -1 -1 -12 -. -. -. -1 -1234 -.
% 221.21/221.10 (SAT)(equ)(fun)(SAT) 146| -1 -1234 -1 -. -123 -123 -123 -12345 -1 -123 -1 -12 -. -. -. -. -. -123 -. -12 -1 -123 -1 -12 -1 -. -. -1 -123 -1 -1 -. -123 -1 -. -123 -. -. -123 -.
% 222.02/221.97 (SAT)(equ)(fun)(SAT) 146| -. -123 -1 -1 -12 -. -12 -. -. -. -12 -1 -12 -. -. -. -1 -1 -. -12 -. -1 -1 -. -12 -1 -. -. -. -1 -. -. -1 -1 -. -. -. -12 -. -.
% 222.84/222.71 (SAT)(equ)(fun)(SAT) 146| -1 -. -. -. -. -1 -12 -1 -1 -. -12 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -12 -1 -. -123 -.
% 223.55/223.45 (SAT)(equ)(fun)(SAT) 146| -. -. -1 -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -1 -12 -. -. -1 -. -1 -. -. -. -. -. -1 -12 -.
% 224.32/224.19 (SAT)(equ)(fun)(SAT) 146| -. -12 -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -. -1 -. -. -. -12 -. -. -. -. -. -1 -. -12 -. -.
% 225.07/224.95 (SAT)(equ)(fun)(SAT) 146| -. -. -1 -1 -. -. -12 -. -1 -. -. -1 -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123 -. -. -. -.
% 225.85/225.72 (SAT)(equ)(fun)(SAT) 146| -. -. -1 -123 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -123 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -.
% 226.54/226.46 (SAT)(equ)(fun)(SAT) 146| -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -1 -12 -. -. -1 -1 -12 -. -. -1 -1 -1 -. -1 -. -1 -. -1 -. -. -. -. -. -1 -.
% 227.37/227.24 (SAT)(equ)(fun)(SAT) 146| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 228.02/227.93 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -.
% 228.77/228.68 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 229.56/229.45 (SAT)(equ)(fun)(SAT) 146+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.27/230.18 (SAT)(equ)(fun)(SAT) 147| -. -. -1 -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 230.88/230.73 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 231.44/231.30 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.07/231.97 (SAT)(equ)(fun)(SAT) 147| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.66/232.51 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 233.35/233.21 (SAT)(equ)(fun)(SAT) 147+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 234.08/233.95 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 234.63/234.49 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 235.23/235.08 (SAT)(equ)(fun)(SAT) 148| -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 235.75/235.63 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 236.46/236.37 (SAT)(equ)(fun)(SAT) 148+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 237.26/237.11 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 237.84/237.70 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 238.35/238.24 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -. -. -.
% 238.64/238.54 (SAT)(equ)(fun)(SAT) 149+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 239.38/239.30 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 239.97/239.83 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 240.57/240.44 (SAT)(equ)(fun)(SAT) 150+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 241.40/241.23 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 241.95/241.79 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 242.77/242.62 (SAT)(equ)(fun)(SAT) 151| -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 243.48/243.34 (SAT)(equ)(fun)(SAT) 151| -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -.
% 244.25/244.09 (SAT)(equ)(fun)(SAT) 151| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 244.90/244.76 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 245.50/245.39 (SAT)(equ)(fun)(SAT) 151+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 246.35/246.19 (SAT)(equ)(fun)(SAT) 152| -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 246.97/246.80 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 247.58/247.48 (SAT)(equ)(fun)(SAT) 152+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.40/248.30 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 249.01/248.91 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 249.70/249.55 (SAT)(equ)(fun)(SAT) 153+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 250.48/250.37 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 251.08/250.98 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 251.91/251.82 (SAT)(equ)(fun)(SAT) 154| -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 252.75/252.58 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -.
% 253.50/253.37 (SAT)(equ)(fun)(SAT) 154| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1
% 254.08/253.96 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -1 -. -. -1
% 254.68/254.58 (SAT)(equ)(fun)(SAT) 154| -1 -1 -. -1 -. -. -1 -. -. -1 -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 255.57/255.39 (SAT)(equ)(fun)(SAT) 154| -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 256.32/256.21 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 257.17/257.06 (SAT)(equ)(fun)(SAT) 154| -. -12 -12 -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.10/257.93 (SAT)(equ)(fun)(SAT) 154| -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -1 -. -. -. -. -1 -1 -. -12 -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -1 -.
% 259.08/258.90 (SAT)(equ)(fun)(SAT) 154| -. -1 -. -. -. -12 -. -. -. -. -123 -. -123 -. -. -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -1 -. -. -. -. -. -. -12 -12 -. -.
% 259.88/259.77 (SAT)(equ)(fun)(SAT) 154| -1 -. -1 -. -1 -. -. -. -. -12 -12 -1 -. -. -. -. -12 -. -. -1 -1 -1 -. -1 -. -1 -12 -. -. -. -. -. -12 -12 -. -1 -. -. -. -.
% 260.79/260.63 (SAT)(equ)(fun)(SAT) 154| -1 -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -. -1 -.
% 261.61/261.46 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 262.47/262.30 (SAT)(equ)(fun)(SAT) 154+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 263.22/263.12 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 263.83/263.71 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 264.51/264.32 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 264.89/264.76 (SAT)(equ)(fun)(SAT) 155+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.83/265.64 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 266.43/266.25 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 267.00/266.87 (SAT)(equ)(fun)(SAT) 156+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 267.82/267.70 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 268.50/268.35 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 269.49/269.29 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 270.24/270.10 (SAT)(equ)(fun)(SAT) 157| -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 271.13/271.00 (SAT)(equ)(fun)(SAT) 157| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 271.82/271.68 (SAT)(equ)(fun)(SAT) 157| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 272.51/272.30 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -.
% 273.13/272.96 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 273.70/273.50 (SAT)(equ)(fun)(SAT) 157| -. -1 -. -. -. -. -. -. -. -. -. -. -1
% 274.11/273.90 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 274.72/274.58 (SAT)(equ)(fun)(SAT) 157+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 275.62/275.45 (SAT)(equ)(fun)(SAT) 158| -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 276.22/276.08 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 277.04/276.85 (SAT)(equ)(fun)(SAT) 158+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 277.94/277.75 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 278.55/278.36 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 279.23/279.06 (SAT)(equ)(fun)(SAT) 159+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 280.12/279.97 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 280.80/280.64 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 281.81/281.61 (SAT)(equ)(fun)(SAT) 160| -1 -. -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 282.55/282.35 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 283.44/283.23 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -.
% 284.07/283.90 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 284.77/284.56 (SAT)(equ)(fun)(SAT) 160| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 285.40/285.19 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -12 -. -. -.
% 285.69/285.51 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 286.42/286.22 (SAT)(equ)(fun)(SAT) 160+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 287.29/287.08 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 287.96/287.75 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 288.71/288.49 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -. -. -. -. -.
% 289.17/288.94 (SAT)(equ)(fun)(SAT) 161+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 290.07/289.89 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -.
% 290.82/290.61 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.49/291.27 (SAT)(equ)(fun)(SAT) 162+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 292.29/292.14 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -.
% 293.04/292.81 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 293.99/293.76 (SAT)(equ)(fun)(SAT) 163| -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 294.91/294.67 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 295.60/295.39 (SAT)(equ)(fun)(SAT) 163| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 296.53/296.29 (SAT)(equ)(fun)(SAT) 163| -. -. -1 -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1
% 297.19/296.95 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 297.90/297.72 (SAT)(equ)(fun)(SAT) 163+ -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 298.90/298.66 (SAT)(equ)(fun)(SAT) 164| -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 299.52/299.33 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
%------------------------------------------------------------------------------