TSTP Solution File: SYO828+1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYO828+1 : TPTP v8.1.0. Released v7.4.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n027.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 15:47:31 EDT 2022
% Result : Timeout 286.02s 286.12s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SYO828+1 : TPTP v8.1.0. Released v7.4.0.
% 0.12/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.34 % Computer : n027.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jul 9 06:35:01 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.35 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.35 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.12/0.35 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.12/0.35 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.12/0.35 #elt|#instances
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 1| -1 -. -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 2| -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 2+ -. -. -1
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 3| -1 -1 -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 3| -. -. -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 3+ -1 -1 -1
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 4| -. -12 -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 4| -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 4+ -1 -12 -1
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 5| -. -12 -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 5| -. -1 -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 5| -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 5+ -1 -123 -1
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 6| -. -12 -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 6| -. -1 -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 6| -. -1 -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 6| -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 6+ -1 -1234 -1
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 7| -. -12 -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 7| -. -1 -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 7| -. -1 -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 7| -. -1 -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 7| -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 7+ -1 -12345 -1
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 8| -. -12 -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 8| -. -1 -.
% 0.12/0.40 (SAT)(equ)(fun)(SAT) 8| -. -1 -.
% 0.12/0.40 (SAT)(equ)(fun)(SAT) 8| -. -1 -.
% 0.12/0.40 (SAT)(equ)(fun)(SAT) 8| -. -1 -.
% 0.12/0.41 (SAT)(equ)(fun)(SAT) 8| -. -. -.
% 0.12/0.41 (SAT)(equ)(fun)(SAT) 8+ -1 -123456 -1
% 0.12/0.42 (SAT)(equ)(fun)(SAT) 9| -. -12 -.
% 0.12/0.42 (SAT)(equ)(fun)(SAT) 9| -. -1 -.
% 0.19/0.43 (SAT)(equ)(fun)(SAT) 9| -. -1 -.
% 0.19/0.43 (SAT)(equ)(fun)(SAT) 9| -. -1 -.
% 0.19/0.43 (SAT)(equ)(fun)(SAT) 9| -. -1 -.
% 0.19/0.44 (SAT)(equ)(fun)(SAT) 9| -. -1 -.
% 0.19/0.44 (SAT)(equ)(fun)(SAT) 9| -. -. -.
% 0.19/0.45 (SAT)(equ)(fun)(SAT) 9+ -1 -1234567 -1
% 0.19/0.46 (SAT)(equ)(fun)(SAT) 10| -. -12 -.
% 0.19/0.46 (SAT)(equ)(fun)(SAT) 10| -. -1 -.
% 0.19/0.46 (SAT)(equ)(fun)(SAT) 10| -. -1 -.
% 0.19/0.47 (SAT)(equ)(fun)(SAT) 10| -. -1 -.
% 0.19/0.47 (SAT)(equ)(fun)(SAT) 10| -. -1 -.
% 0.19/0.47 (SAT)(equ)(fun)(SAT) 10| -. -1 -.
% 0.19/0.48 (SAT)(equ)(fun)(SAT) 10| -. -1 -.
% 0.19/0.48 (SAT)(equ)(fun)(SAT) 10| -. -. -.
% 0.19/0.48 (SAT)(equ)(fun)(SAT) 10+ -1 -12345678 -1
% 0.19/0.49 (SAT)(equ)(fun)(SAT) 11| -. -12 -.
% 0.19/0.49 (SAT)(equ)(fun)(SAT) 11| -. -1 -.
% 0.19/0.50 (SAT)(equ)(fun)(SAT) 11| -. -1 -.
% 0.19/0.50 (SAT)(equ)(fun)(SAT) 11| -. -1 -.
% 0.19/0.50 (SAT)(equ)(fun)(SAT) 11| -. -1 -.
% 0.19/0.51 (SAT)(equ)(fun)(SAT) 11| -. -1 -.
% 0.19/0.51 (SAT)(equ)(fun)(SAT) 11| -. -1 -.
% 0.19/0.52 (SAT)(equ)(fun)(SAT) 11| -. -1 -.
% 0.19/0.52 (SAT)(equ)(fun)(SAT) 11| -. -. -.
% 0.19/0.52 (SAT)(equ)(fun)(SAT) 11+ -1 -123456789 -1
% 0.19/0.53 (SAT)(equ)(fun)(SAT) 12| -. -12 -.
% 0.19/0.54 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.19/0.54 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.19/0.54 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.19/0.55 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.19/0.56 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.39/0.57 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.39/0.57 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.41/0.58 (SAT)(equ)(fun)(SAT) 12| -. -1 -.
% 0.41/0.59 (SAT)(equ)(fun)(SAT) 12| -. -. -.
% 0.41/0.60 (SAT)(equ)(fun)(SAT) 12+ -1 -123456789X -1
% 0.41/0.61 (SAT)(equ)(fun)(SAT) 13| -. -12 -.
% 0.45/0.62 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.45/0.63 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.65 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.65 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.66 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.67 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.68 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.69 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.69 (SAT)(equ)(fun)(SAT) 13| -. -1 -.
% 0.47/0.70 (SAT)(equ)(fun)(SAT) 13| -. -. -.
% 0.47/0.71 (SAT)(equ)(fun)(SAT) 13+ -1 -123456789X -1
% 0.47/0.71 (SAT)(equ)(fun)(SAT) 14| -. -12 -.
% 0.54/0.72 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.54/0.73 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.54/0.74 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.54/0.74 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.54/0.75 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.54/0.76 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.54/0.77 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.60/0.77 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.60/0.78 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.60/0.79 (SAT)(equ)(fun)(SAT) 14| -. -1 -.
% 0.60/0.79 (SAT)(equ)(fun)(SAT) 14| -. -. -.
% 0.60/0.80 (SAT)(equ)(fun)(SAT) 14+ -1 -123456789X -1
% 0.60/0.81 (SAT)(equ)(fun)(SAT) 15| -. -12 -.
% 0.60/0.82 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.60/0.83 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.60/0.84 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.60/0.85 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.69/0.86 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.69/0.87 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.69/0.87 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.72/0.88 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.72/0.89 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.72/0.90 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.72/0.91 (SAT)(equ)(fun)(SAT) 15| -. -1 -.
% 0.72/0.92 (SAT)(equ)(fun)(SAT) 15| -. -. -.
% 0.76/0.93 (SAT)(equ)(fun)(SAT) 15+ -1 -123456789X -1
% 0.78/0.94 (SAT)(equ)(fun)(SAT) 16| -. -12 -.
% 0.78/0.95 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.78/0.96 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.78/0.97 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.78/0.98 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.78/0.99 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.78/1.00 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.78/1.01 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.85/1.02 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.85/1.03 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.85/1.04 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.85/1.04 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.85/1.05 (SAT)(equ)(fun)(SAT) 16| -. -1 -.
% 0.85/1.06 (SAT)(equ)(fun)(SAT) 16| -. -. -.
% 0.85/1.07 (SAT)(equ)(fun)(SAT) 16+ -1 -123456789X -1
% 0.85/1.08 (SAT)(equ)(fun)(SAT) 17| -. -12 -.
% 0.92/1.09 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.10 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.11 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.11 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.12 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.13 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.14 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.15 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 0.92/1.16 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 1.00/1.17 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 1.00/1.17 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 1.00/1.18 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 1.03/1.19 (SAT)(equ)(fun)(SAT) 17| -. -1 -.
% 1.03/1.20 (SAT)(equ)(fun)(SAT) 17| -. -. -.
% 1.03/1.21 (SAT)(equ)(fun)(SAT) 17+ -1 -123456789X -1
% 1.06/1.23 (SAT)(equ)(fun)(SAT) 18| -. -12 -.
% 1.06/1.24 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.06/1.25 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.06/1.26 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.06/1.27 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.06/1.28 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.06/1.29 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.06/1.30 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.14/1.31 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.14/1.32 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.14/1.33 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.14/1.34 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.14/1.35 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.14/1.36 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.20/1.37 (SAT)(equ)(fun)(SAT) 18| -. -1 -.
% 1.20/1.39 (SAT)(equ)(fun)(SAT) 18| -. -. -.
% 1.20/1.40 (SAT)(equ)(fun)(SAT) 18+ -1 -123456789X -1
% 1.20/1.41 (SAT)(equ)(fun)(SAT) 19| -. -12 -.
% 1.20/1.43 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.20/1.44 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.20/1.45 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.20/1.46 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.30/1.48 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.30/1.49 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.32/1.50 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.32/1.51 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.36/1.53 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.36/1.54 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.36/1.55 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.36/1.57 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.36/1.58 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.36/1.59 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.36/1.60 (SAT)(equ)(fun)(SAT) 19| -. -1 -.
% 1.45/1.62 (SAT)(equ)(fun)(SAT) 19| -. -. -.
% 1.45/1.64 (SAT)(equ)(fun)(SAT) 19+ -1 -123456789X -1
% 1.45/1.65 (SAT)(equ)(fun)(SAT) 20| -. -12 -.
% 1.45/1.67 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.45/1.68 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.52/1.69 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.52/1.71 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.52/1.72 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.52/1.74 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.52/1.75 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.52/1.76 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.52/1.78 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.61/1.79 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.62/1.81 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.65/1.82 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.65/1.84 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.65/1.85 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.65/1.87 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.65/1.88 (SAT)(equ)(fun)(SAT) 20| -. -1 -.
% 1.65/1.90 (SAT)(equ)(fun)(SAT) 20| -. -. -.
% 1.73/1.92 (SAT)(equ)(fun)(SAT) 20+ -1 -123456789X -1
% 1.73/1.94 (SAT)(equ)(fun)(SAT) 21| -. -12 -.
% 1.73/1.96 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.73/1.97 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.82/1.99 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.82/2.00 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.82/2.02 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.82/2.03 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.82/2.05 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.82/2.06 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.82/2.08 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.92/2.09 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.94/2.11 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.94/2.13 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.96/2.14 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.96/2.16 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.96/2.17 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.96/2.19 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 1.96/2.21 (SAT)(equ)(fun)(SAT) 21| -. -1 -.
% 2.05/2.22 (SAT)(equ)(fun)(SAT) 21| -. -. -.
% 2.05/2.24 (SAT)(equ)(fun)(SAT) 21+ -1 -123456789X -1
% 2.05/2.27 (SAT)(equ)(fun)(SAT) 22| -. -12 -.
% 2.05/2.28 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.14/2.30 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.14/2.32 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.14/2.34 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.14/2.36 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.14/2.37 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.22/2.39 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.22/2.41 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.22/2.43 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.22/2.45 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.22/2.47 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.32/2.48 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.33/2.50 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.35/2.52 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.35/2.54 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.35/2.56 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.35/2.58 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.44/2.60 (SAT)(equ)(fun)(SAT) 22| -. -1 -.
% 2.44/2.62 (SAT)(equ)(fun)(SAT) 22| -. -. -.
% 2.44/2.64 (SAT)(equ)(fun)(SAT) 22+ -1 -123456789X -1
% 2.44/2.67 (SAT)(equ)(fun)(SAT) 23| -. -12 -.
% 2.52/2.69 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.52/2.71 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.52/2.73 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.52/2.75 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.52/2.77 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.62/2.79 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.65/2.81 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.67/2.83 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.67/2.85 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.67/2.88 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.67/2.90 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.73/2.92 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.73/2.94 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.73/2.96 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.80/2.98 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.80/3.00 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.80/3.03 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.80/3.05 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.90/3.07 (SAT)(equ)(fun)(SAT) 23| -. -1 -.
% 2.90/3.09 (SAT)(equ)(fun)(SAT) 23| -. -. -.
% 2.93/3.12 (SAT)(equ)(fun)(SAT) 23+ -1 -123456789X -1
% 2.97/3.15 (SAT)(equ)(fun)(SAT) 24| -. -12 -.
% 2.97/3.17 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 2.97/3.20 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.04/3.22 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.04/3.24 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.10/3.27 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.10/3.29 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.10/3.31 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.10/3.34 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.10/3.36 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.21/3.39 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.25/3.41 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.25/3.44 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.28/3.46 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.28/3.48 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.28/3.51 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.36/3.53 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.36/3.56 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.42/3.58 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.42/3.61 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.42/3.63 (SAT)(equ)(fun)(SAT) 24| -. -1 -.
% 3.49/3.66 (SAT)(equ)(fun)(SAT) 24| -. -. -.
% 3.50/3.69 (SAT)(equ)(fun)(SAT) 24+ -1 -123456789X -1
% 3.54/3.73 (SAT)(equ)(fun)(SAT) 25| -. -12 -.
% 3.58/3.76 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.58/3.78 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.58/3.81 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.66/3.84 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.66/3.87 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.72/3.89 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.72/3.92 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.72/3.95 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.80/3.98 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.81/4.00 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.86/4.03 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.88/4.06 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.88/4.09 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.95/4.12 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 3.95/4.14 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 4.00/4.17 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 4.00/4.20 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 4.00/4.23 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 4.09/4.26 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 4.11/4.29 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 4.11/4.32 (SAT)(equ)(fun)(SAT) 25| -. -1 -.
% 4.18/4.35 (SAT)(equ)(fun)(SAT) 25| -. -. -.
% 4.18/4.38 (SAT)(equ)(fun)(SAT) 25+ -1 -123456789X -1
% 4.26/4.43 (SAT)(equ)(fun)(SAT) 26| -. -12 -.
% 4.26/4.46 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.33/4.49 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.33/4.52 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.33/4.55 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.41/4.59 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.44/4.62 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.47/4.65 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.47/4.69 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.54/4.72 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.54/4.75 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.61/4.79 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.61/4.82 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.61/4.86 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.71/4.89 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.76/4.92 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.77/4.96 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.77/4.99 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.86/5.03 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.86/5.06 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.93/5.10 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.93/5.13 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 4.93/5.17 (SAT)(equ)(fun)(SAT) 26| -. -1 -.
% 5.03/5.20 (SAT)(equ)(fun)(SAT) 26| -. -. -.
% 5.05/5.25 (SAT)(equ)(fun)(SAT) 26+ -1 -123456789X -1
% 5.05/5.29 (SAT)(equ)(fun)(SAT) 27| -. -12 -.
% 5.14/5.33 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.14/5.37 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.22/5.41 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.22/5.45 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.32/5.49 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.36/5.54 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.36/5.58 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.45/5.62 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.45/5.66 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.45/5.70 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.54/5.74 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.54/5.78 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.62/5.82 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.62/5.87 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.73/5.91 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.75/5.95 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.75/5.99 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.84/6.03 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.84/6.07 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.92/6.11 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 5.92/6.16 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 6.02/6.20 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 6.07/6.24 (SAT)(equ)(fun)(SAT) 27| -. -1 -.
% 6.07/6.28 (SAT)(equ)(fun)(SAT) 27| -. -. -.
% 6.14/6.34 (SAT)(equ)(fun)(SAT) 27+ -1 -123456789XL -1
% 6.21/6.39 (SAT)(equ)(fun)(SAT) 28| -. -12 -.
% 6.21/6.44 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.31/6.49 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.38/6.53 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.38/6.58 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.45/6.63 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.51/6.68 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.51/6.72 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.51/6.77 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.65/6.82 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.69/6.87 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.69/6.91 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.78/6.97 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.83/7.02 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.91/7.07 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.95/7.11 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.99/7.17 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 6.99/7.21 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.07/7.27 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.13/7.32 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.21/7.37 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.22/7.42 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.29/7.47 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.36/7.52 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.41/7.57 (SAT)(equ)(fun)(SAT) 28| -. -1 -.
% 7.41/7.63 (SAT)(equ)(fun)(SAT) 28| -. -. -.
% 7.52/7.70 (SAT)(equ)(fun)(SAT) 28+ -1 -123456789XL -1
% 7.59/7.76 (SAT)(equ)(fun)(SAT) 29| -. -12 -.
% 7.59/7.81 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 7.66/7.87 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 7.73/7.92 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 7.81/7.97 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 7.87/8.03 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 7.87/8.08 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 7.94/8.13 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.01/8.19 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.01/8.25 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.14/8.30 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.17/8.36 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.17/8.41 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.25/8.47 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.33/8.53 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.43/8.59 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.46/8.65 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.55/8.70 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.55/8.76 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.63/8.82 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.63/8.88 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.78/8.94 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.78/8.99 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.86/9.05 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.95/9.11 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 8.95/9.18 (SAT)(equ)(fun)(SAT) 29| -. -1 -.
% 9.03/9.24 (SAT)(equ)(fun)(SAT) 29| -. -. -.
% 9.14/9.31 (SAT)(equ)(fun)(SAT) 29+ -1 -123456789XL -1
% 9.16/9.38 (SAT)(equ)(fun)(SAT) 30| -. -12 -.
% 9.25/9.44 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.33/9.50 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.33/9.56 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.48/9.63 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.48/9.69 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.55/9.75 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.61/9.82 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.71/9.88 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.78/9.94 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.85/10.01 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.91/10.07 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 9.91/10.14 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.02/10.20 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.09/10.27 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.18/10.33 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.23/10.40 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.31/10.46 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.36/10.53 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.39/10.59 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.48/10.66 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.53/10.72 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.63/10.78 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.69/10.85 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.76/10.92 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.82/10.98 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.90/11.05 (SAT)(equ)(fun)(SAT) 30| -. -1 -.
% 10.93/11.11 (SAT)(equ)(fun)(SAT) 30| -. -. -.
% 10.99/11.19 (SAT)(equ)(fun)(SAT) 30+ -1 -123456789XL -1
% 11.06/11.27 (SAT)(equ)(fun)(SAT) 31| -. -12 -.
% 11.13/11.34 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.24/11.41 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.27/11.48 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.34/11.54 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.41/11.61 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.51/11.69 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.57/11.76 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.66/11.83 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.73/11.90 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.73/11.96 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.86/12.04 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.94/12.11 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 11.94/12.17 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.04/12.24 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.16/12.31 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.18/12.38 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.27/12.45 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.36/12.52 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.44/12.58 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.44/12.65 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.57/12.72 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.57/12.78 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.66/12.86 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.74/12.92 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.83/12.99 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.89/13.06 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 12.96/13.13 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 13.02/13.20 (SAT)(equ)(fun)(SAT) 31| -. -. -.
% 13.12/13.28 (SAT)(equ)(fun)(SAT) 31+ -1 -123456789XL -1
% 13.19/13.37 (SAT)(equ)(fun)(SAT) 32| -. -12 -.
% 13.26/13.44 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.32/13.52 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.43/13.59 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.50/13.66 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.59/13.74 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.64/13.81 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.72/13.88 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.80/13.95 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.80/14.03 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 13.94/14.11 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.03/14.18 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.10/14.26 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.17/14.34 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.22/14.42 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.33/14.49 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.40/14.58 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.47/14.65 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.54/14.73 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.65/14.80 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.68/14.88 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.82/14.98 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.92/15.07 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 14.97/15.14 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 15.06/15.22 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 15.13/15.31 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 15.23/15.38 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 15.26/15.46 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 15.35/15.56 (SAT)(equ)(fun)(SAT) 32| -. -1 -.
% 15.44/15.64 (SAT)(equ)(fun)(SAT) 32| -. -. -.
% 15.58/15.74 (SAT)(equ)(fun)(SAT) 32+ -1 -123456789XL -1
% 15.67/15.84 (SAT)(equ)(fun)(SAT) 33| -. -12 -.
% 15.76/15.92 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 15.84/16.01 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 15.93/16.08 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 15.97/16.16 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.05/16.25 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.14/16.33 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.26/16.41 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.28/16.50 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.42/16.58 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.52/16.67 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.58/16.75 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.65/16.83 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.72/16.91 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.83/17.00 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.90/17.09 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 16.98/17.17 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.10/17.26 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.16/17.34 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.19/17.42 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.34/17.52 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.43/17.60 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.49/17.69 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.62/17.77 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.70/17.85 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.78/17.94 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.86/18.03 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 17.94/18.12 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 18.05/18.21 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 18.08/18.29 (SAT)(equ)(fun)(SAT) 33| -. -1 -.
% 18.22/18.38 (SAT)(equ)(fun)(SAT) 33| -. -. -.
% 18.36/18.49 (SAT)(equ)(fun)(SAT) 33+ -1 -123456789XL -1
% 18.39/18.60 (SAT)(equ)(fun)(SAT) 34| -. -12 -.
% 18.55/18.69 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 18.55/18.78 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 18.67/18.88 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 18.76/18.96 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 18.85/19.06 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 18.99/19.15 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.07/19.24 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.16/19.33 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.24/19.42 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.37/19.51 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.46/19.61 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.54/19.70 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.64/19.79 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.69/19.88 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.83/19.98 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.92/20.07 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 19.99/20.16 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.06/20.26 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.13/20.35 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.30/20.44 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.39/20.54 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.44/20.63 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.57/20.73 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.60/20.82 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.75/20.91 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.84/21.01 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 20.90/21.10 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 21.03/21.21 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 21.14/21.31 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 21.20/21.41 (SAT)(equ)(fun)(SAT) 34| -. -1 -.
% 21.34/21.51 (SAT)(equ)(fun)(SAT) 34| -. -. -.
% 21.48/21.63 (SAT)(equ)(fun)(SAT) 34+ -1 -123456789XL -1
% 21.56/21.76 (SAT)(equ)(fun)(SAT) 35| -. -12 -.
% 21.72/21.87 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 21.78/21.98 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 21.87/22.08 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.04/22.19 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.06/22.29 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.24/22.39 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.35/22.51 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.38/22.61 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.56/22.72 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.64/22.82 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.77/22.93 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.86/23.03 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 22.94/23.14 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.09/23.25 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.16/23.36 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.32/23.46 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.39/23.57 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.52/23.68 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.64/23.79 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.70/23.91 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.84/24.01 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 23.97/24.12 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.09/24.24 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.14/24.35 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.30/24.46 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.43/24.58 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.54/24.69 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.60/24.80 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.74/24.92 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.88/25.03 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 24.96/25.16 (SAT)(equ)(fun)(SAT) 35| -. -1 -.
% 25.13/25.27 (SAT)(equ)(fun)(SAT) 35| -. -. -.
% 25.19/25.41 (SAT)(equ)(fun)(SAT) 35+ -1 -123456789XL -1
% 25.35/25.56 (SAT)(equ)(fun)(SAT) 36| -. -12 -.
% 25.47/25.68 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 25.65/25.82 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 25.79/25.94 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 25.88/26.06 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 25.97/26.18 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.16/26.30 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.27/26.42 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.35/26.55 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.50/26.67 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.63/26.80 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.76/26.92 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.87/27.04 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 26.93/27.16 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 27.11/27.29 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 27.25/27.42 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 27.41/27.55 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 27.50/27.67 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 27.65/27.80 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 27.78/27.92 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 27.92/28.05 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.01/28.17 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.15/28.30 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.29/28.43 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.37/28.55 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.54/28.68 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.68/28.81 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.75/28.94 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 28.87/29.07 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 29.05/29.20 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 29.19/29.33 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 29.28/29.47 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 29.45/29.61 (SAT)(equ)(fun)(SAT) 36| -. -1 -.
% 29.59/29.73 (SAT)(equ)(fun)(SAT) 36| -. -. -.
% 29.76/29.91 (SAT)(equ)(fun)(SAT) 36+ -1 -123456789XL -1
% 29.97/30.11 (SAT)(equ)(fun)(SAT) 37| -. -12 -.
% 30.04/30.25 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 30.20/30.40 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 30.34/30.54 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 30.51/30.69 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 30.65/30.83 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 30.81/30.96 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 30.95/31.10 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 31.09/31.24 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 31.23/31.40 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 31.40/31.55 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 31.55/31.69 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 31.69/31.83 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 31.79/31.96 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 31.96/32.10 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 32.09/32.23 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 32.18/32.38 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 32.37/32.52 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 32.46/32.66 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 32.57/32.80 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 32.77/32.95 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 32.95/33.09 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 33.07/33.25 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 33.25/33.39 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 33.39/33.53 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 33.53/33.68 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 33.66/33.82 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 33.83/33.97 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 33.98/34.13 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 34.09/34.27 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 34.27/34.42 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 34.39/34.56 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 34.55/34.71 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 34.68/34.85 (SAT)(equ)(fun)(SAT) 37| -. -1 -.
% 34.84/35.01 (SAT)(equ)(fun)(SAT) 37| -. -. -.
% 35.06/35.20 (SAT)(equ)(fun)(SAT) 37+ -1 -123456789XL -1
% 35.20/35.38 (SAT)(equ)(fun)(SAT) 38| -. -12 -.
% 35.37/35.53 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 35.50/35.69 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 35.68/35.84 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 35.78/36.00 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 35.97/36.16 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 36.08/36.32 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 36.28/36.47 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 36.46/36.63 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 36.58/36.79 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 36.76/36.94 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 36.97/37.13 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 37.14/37.29 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 37.27/37.44 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 37.45/37.60 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 37.60/37.76 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 37.78/37.91 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 37.96/38.09 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 38.11/38.24 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 38.24/38.41 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 38.41/38.58 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 38.56/38.74 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 38.77/38.91 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 38.94/39.08 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 39.08/39.25 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 39.28/39.42 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 39.46/39.59 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 39.58/39.77 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 39.78/39.95 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 39.96/40.13 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 40.18/40.31 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 40.36/40.48 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 40.48/40.66 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 40.71/40.84 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 40.85/41.00 (SAT)(equ)(fun)(SAT) 38| -. -1 -.
% 41.02/41.19 (SAT)(equ)(fun)(SAT) 38| -. -. -.
% 41.32/41.44 (SAT)(equ)(fun)(SAT) 38+ -1 -123456789XL -1
% 41.46/41.64 (SAT)(equ)(fun)(SAT) 39| -. -12 -.
% 41.69/41.83 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 41.92/42.06 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 42.06/42.25 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 42.30/42.48 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 42.44/42.67 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 42.70/42.86 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 42.86/43.04 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 43.09/43.24 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 43.26/43.43 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 43.50/43.63 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 43.68/43.83 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 43.89/44.01 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 44.06/44.22 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 44.28/44.43 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 44.48/44.62 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 44.65/44.83 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 44.91/45.07 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 45.13/45.27 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 45.27/45.47 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 45.54/45.70 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 45.79/45.92 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 45.99/46.13 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 46.17/46.32 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 46.41/46.53 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 46.59/46.75 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 46.77/46.94 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 47.00/47.18 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 47.27/47.42 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 47.48/47.63 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 47.70/47.83 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 47.86/48.04 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 48.08/48.26 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 48.32/48.47 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 48.55/48.68 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 48.77/48.90 (SAT)(equ)(fun)(SAT) 39| -. -1 -.
% 48.99/49.11 (SAT)(equ)(fun)(SAT) 39| -. -. -.
% 49.21/49.37 (SAT)(equ)(fun)(SAT) 39+ -1 -123456789XL -1
% 49.49/49.60 (SAT)(equ)(fun)(SAT) 40| -. -12 -.
% 49.68/49.81 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 49.81/50.01 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 50.10/50.22 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 50.28/50.44 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 50.51/50.64 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 50.69/50.83 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 50.90/51.04 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 51.08/51.23 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 51.29/51.45 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 51.51/51.67 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 51.66/51.88 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 51.97/52.09 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 52.12/52.30 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 52.41/52.53 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 52.55/52.75 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 52.79/52.98 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 53.01/53.19 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 53.26/53.40 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 53.49/53.62 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 53.69/53.85 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 53.90/54.09 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 54.10/54.30 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 54.40/54.52 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 54.58/54.74 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 54.79/54.97 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 55.01/55.19 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 55.27/55.40 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 55.47/55.62 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 55.71/55.83 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 55.93/56.04 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 56.14/56.26 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 56.37/56.49 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 56.52/56.69 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 56.76/56.89 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 56.91/57.09 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 57.10/57.30 (SAT)(equ)(fun)(SAT) 40| -. -1 -.
% 57.40/57.51 (SAT)(equ)(fun)(SAT) 40| -. -. -.
% 57.60/57.77 (SAT)(equ)(fun)(SAT) 40+ -1 -123456789XL -1
% 57.89/58.02 (SAT)(equ)(fun)(SAT) 41| -. -12 -.
% 58.08/58.24 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 58.29/58.46 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 58.51/58.68 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 58.80/58.91 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 58.97/59.14 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 59.22/59.35 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 59.43/59.57 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 59.65/59.78 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 59.88/60.00 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 60.02/60.22 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 60.32/60.44 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 60.50/60.66 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 60.70/60.87 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 60.90/61.08 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 61.10/61.29 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 61.40/61.53 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 61.58/61.75 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 61.86/61.98 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 62.09/62.20 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 62.30/62.42 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 62.55/62.66 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 62.71/62.88 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 62.92/63.10 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 63.21/63.33 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 63.37/63.55 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 63.61/63.78 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 63.82/64.01 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 64.11/64.23 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 64.28/64.45 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 64.51/64.68 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 64.78/64.89 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 64.99/65.14 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 65.21/65.37 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 65.49/65.62 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 65.67/65.85 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 65.91/66.08 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 66.21/66.32 (SAT)(equ)(fun)(SAT) 41| -. -1 -.
% 66.42/66.58 (SAT)(equ)(fun)(SAT) 41| -. -. -.
% 66.72/66.89 (SAT)(equ)(fun)(SAT) 41+ -1 -123456789XL -1
% 67.01/67.17 (SAT)(equ)(fun)(SAT) 42| -. -12 -.
% 67.29/67.42 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 67.49/67.67 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 67.78/67.92 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 68.00/68.18 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 68.28/68.43 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 68.49/68.68 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 68.79/68.94 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 69.02/69.19 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 69.33/69.48 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 69.63/69.77 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 69.92/70.03 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 70.16/70.28 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 70.38/70.57 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 70.68/70.83 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 71.00/71.11 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 71.19/71.38 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 71.51/71.66 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 71.78/71.92 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 71.99/72.18 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 72.29/72.43 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 72.59/72.71 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 72.82/72.98 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 73.13/73.24 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 73.43/73.53 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 73.69/73.79 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 73.88/74.06 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 74.19/74.31 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 74.42/74.56 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 74.70/74.83 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 74.91/75.10 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 75.20/75.37 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 75.50/75.65 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 75.80/75.90 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 76.02/76.15 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 76.33/76.43 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 76.61/76.72 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 76.89/77.00 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 77.16/77.27 (SAT)(equ)(fun)(SAT) 42| -. -1 -.
% 77.52/77.63 (SAT)(equ)(fun)(SAT) 42| -. -. -.
% 77.91/78.04 (SAT)(equ)(fun)(SAT) 42+ -1 -123456789XL -1
% 78.19/78.35 (SAT)(equ)(fun)(SAT) 43| -. -12 -.
% 78.52/78.62 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 78.70/78.89 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 79.00/79.16 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 79.30/79.44 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 79.60/79.70 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 79.83/79.98 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 80.13/80.24 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 80.39/80.52 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 80.69/80.80 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 80.97/81.08 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 81.26/81.37 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 81.50/81.64 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 81.78/81.92 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 82.01/82.19 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 82.29/82.48 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 82.59/82.73 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 82.87/83.00 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 83.09/83.26 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 83.42/83.53 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 83.64/83.81 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 83.94/84.09 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 84.24/84.37 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 84.53/84.66 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 84.83/84.93 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 85.09/85.20 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 85.38/85.49 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 85.60/85.76 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 85.90/86.02 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 86.09/86.29 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 86.38/86.56 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 86.68/86.83 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 86.98/87.11 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 87.28/87.39 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 87.57/87.67 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 87.80/87.95 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 88.12/88.22 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 88.33/88.51 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 88.61/88.80 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 89.02/89.13 (SAT)(equ)(fun)(SAT) 43| -. -1 -.
% 89.29/89.42 (SAT)(equ)(fun)(SAT) 43| -. -. -.
% 89.59/89.77 (SAT)(equ)(fun)(SAT) 43+ -1 -123456789XL -1
% 89.98/90.17 (SAT)(equ)(fun)(SAT) 44| -. -12 -.
% 90.28/90.47 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 90.68/90.79 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 90.98/91.09 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 91.29/91.39 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 91.57/91.69 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 91.88/91.99 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 92.19/92.29 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 92.48/92.58 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 92.70/92.88 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 93.00/93.19 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 93.33/93.49 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 93.63/93.79 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 93.94/94.09 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 94.24/94.40 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 94.54/94.70 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 94.91/95.03 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 95.23/95.35 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 95.53/95.66 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 95.81/95.96 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 96.13/96.26 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 96.49/96.59 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 96.79/96.91 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 97.10/97.21 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 97.42/97.52 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 97.72/97.82 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 97.99/98.13 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 98.33/98.43 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 98.63/98.74 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 98.93/99.04 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 99.22/99.34 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 99.52/99.64 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 99.80/99.96 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 100.10/100.27 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 100.47/100.59 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 100.77/100.90 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 101.09/101.22 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 101.39/101.54 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 101.75/101.86 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 102.07/102.17 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 102.40/102.50 (SAT)(equ)(fun)(SAT) 44| -. -1 -.
% 102.72/102.82 (SAT)(equ)(fun)(SAT) 44| -. -. -.
% 103.02/103.22 (SAT)(equ)(fun)(SAT) 44+ -1 -123456789XL -1
% 103.52/103.62 (SAT)(equ)(fun)(SAT) 45| -. -12 -.
% 103.84/103.96 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 104.21/104.31 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 104.53/104.64 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 104.89/104.99 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 105.18/105.32 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 105.49/105.65 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 105.88/105.99 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 106.22/106.34 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 106.52/106.69 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 106.89/107.04 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 107.19/107.38 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 107.60/107.72 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 107.95/108.07 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 108.25/108.41 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 108.62/108.72 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 108.99/109.09 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 109.31/109.43 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 109.62/109.77 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 110.01/110.11 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 110.31/110.44 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 110.61/110.78 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 110.98/111.14 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 111.28/111.47 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 111.72/111.81 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 112.05/112.15 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 112.35/112.48 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 112.73/112.84 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 113.03/113.18 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 113.41/113.52 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 113.73/113.87 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 114.12/114.21 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 114.42/114.56 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 114.79/114.91 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 115.18/115.28 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 115.50/115.62 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 115.85/115.96 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 116.14/116.31 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 116.54/116.68 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 116.91/117.03 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 117.22/117.38 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 117.61/117.73 (SAT)(equ)(fun)(SAT) 45| -. -1 -.
% 117.98/118.08 (SAT)(equ)(fun)(SAT) 45| -. -. -.
% 118.43/118.51 (SAT)(equ)(fun)(SAT) 45+ -1 -123456789XL -1
% 118.84/118.96 (SAT)(equ)(fun)(SAT) 46| -. -12 -.
% 119.27/119.35 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 119.64/119.73 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 119.94/120.11 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 120.41/120.49 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 120.72/120.85 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 121.11/121.23 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 121.48/121.60 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 121.78/121.97 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 122.22/122.33 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 122.63/122.72 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 123.00/123.09 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 123.29/123.46 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 123.73/123.84 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 124.04/124.21 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 124.43/124.59 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 124.87/124.97 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 125.17/125.34 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 125.62/125.72 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 125.97/126.12 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 126.40/126.50 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 126.80/126.89 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 127.14/127.27 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 127.54/127.65 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 127.92/128.05 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 128.36/128.46 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 128.72/128.83 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 129.16/129.25 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 129.49/129.64 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 129.95/130.04 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 130.25/130.42 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 130.71/130.81 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 131.09/131.22 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 131.48/131.60 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 131.86/131.99 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 132.26/132.37 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 132.68/132.76 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 133.04/133.12 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 133.43/133.52 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 133.81/133.90 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 134.19/134.28 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 134.58/134.68 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 134.96/135.07 (SAT)(equ)(fun)(SAT) 46| -. -1 -.
% 135.37/135.48 (SAT)(equ)(fun)(SAT) 46| -. -. -.
% 135.82/135.95 (SAT)(equ)(fun)(SAT) 46+ -1 -123456789XL -1
% 136.30/136.43 (SAT)(equ)(fun)(SAT) 47| -. -12 -.
% 136.76/136.89 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 137.21/137.30 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 137.63/137.71 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 138.05/138.13 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 138.43/138.53 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 138.78/138.95 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 139.27/139.37 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 139.65/139.76 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 140.08/140.17 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 140.46/140.62 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 140.91/141.02 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 141.29/141.42 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 141.72/141.83 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 142.12/142.23 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 142.57/142.66 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 142.98/143.09 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 143.41/143.50 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 143.86/143.99 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 144.32/144.41 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 144.71/144.84 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 145.17/145.27 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 145.59/145.70 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 146.03/146.13 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 146.45/146.54 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 146.82/146.96 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 147.26/147.39 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 147.72/147.83 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 148.10/148.26 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 148.57/148.68 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 148.99/149.12 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 149.43/149.54 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 149.90/149.99 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 150.34/150.42 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 150.75/150.85 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 151.20/151.28 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 151.61/151.71 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 152.03/152.11 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 152.50/152.58 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 152.88/153.00 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 153.30/153.44 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 153.76/153.90 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 154.22/154.33 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 154.66/154.80 (SAT)(equ)(fun)(SAT) 47| -. -1 -.
% 155.14/155.23 (SAT)(equ)(fun)(SAT) 47| -. -. -.
% 155.67/155.75 (SAT)(equ)(fun)(SAT) 47+ -1 -123456789XL -1
% 156.18/156.28 (SAT)(equ)(fun)(SAT) 48| -. -12 -.
% 156.66/156.75 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 157.16/157.23 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 157.55/157.68 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 158.06/158.15 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 158.54/158.62 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 158.98/159.06 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 159.38/159.50 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 159.82/159.96 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 160.28/160.41 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 160.79/160.87 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 161.24/161.32 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 161.70/161.81 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 162.16/162.26 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 162.59/162.70 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 163.07/163.18 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 163.50/163.62 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 163.95/164.08 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 164.41/164.51 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 164.86/164.97 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 165.33/165.43 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 165.81/165.90 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 166.27/166.37 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 166.75/166.82 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 167.15/167.27 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 167.66/167.75 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 168.12/168.21 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 168.59/168.67 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 169.03/169.12 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 169.49/169.58 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 169.87/170.03 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 170.40/170.51 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 170.83/170.97 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 171.34/171.45 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 171.83/171.92 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 172.30/172.38 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 172.73/172.85 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 173.27/173.36 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 173.77/173.85 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 174.16/174.30 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 174.72/174.79 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 175.15/175.26 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 175.61/175.74 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 176.14/176.22 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 176.64/176.73 (SAT)(equ)(fun)(SAT) 48| -. -1 -.
% 177.10/177.20 (SAT)(equ)(fun)(SAT) 48| -. -. -.
% 177.63/177.77 (SAT)(equ)(fun)(SAT) 48+ -1 -123456789XL -1
% 178.31/178.40 (SAT)(equ)(fun)(SAT) 49| -. -12 -.
% 178.85/178.94 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 179.29/179.41 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 179.79/179.91 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 180.35/180.42 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 180.82/180.93 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 181.26/181.41 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 181.83/181.90 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 182.26/182.40 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 182.78/182.88 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 183.33/183.40 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 183.80/183.88 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 184.27/184.36 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 184.71/184.84 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 185.24/185.35 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 185.76/185.83 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 186.22/186.33 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 186.75/186.85 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 187.19/187.35 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 187.78/187.86 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 188.30/188.37 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 188.83/188.90 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 189.26/189.38 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 189.82/189.90 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 190.28/190.40 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 190.84/190.91 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 191.31/191.43 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 191.84/191.94 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 192.35/192.46 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 192.91/192.99 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 193.38/193.48 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 193.90/193.97 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 194.37/194.49 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 194.89/194.99 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 195.43/195.49 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 195.93/196.00 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 196.43/196.51 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 196.90/197.04 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 197.39/197.53 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 197.96/198.04 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 198.43/198.54 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 198.96/199.06 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 199.47/199.60 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 200.02/200.11 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 200.55/200.63 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 201.08/201.15 (SAT)(equ)(fun)(SAT) 49| -. -1 -.
% 201.58/201.66 (SAT)(equ)(fun)(SAT) 49| -. -. -.
% 202.20/202.27 (SAT)(equ)(fun)(SAT) 49+ -1 -123456789XL -1
% 202.82/202.89 (SAT)(equ)(fun)(SAT) 50| -. -12 -.
% 203.35/203.42 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 203.87/203.94 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 204.39/204.49 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 204.99/205.05 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 205.51/205.59 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 206.05/206.12 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 206.51/206.63 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 207.05/207.14 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 207.59/207.66 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 208.16/208.24 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 208.76/208.82 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 209.23/209.37 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 209.85/209.92 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 210.38/210.49 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 210.99/211.09 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 211.56/211.64 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 212.13/212.20 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 212.64/212.75 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 213.17/213.30 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 213.75/213.81 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 214.21/214.34 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 214.84/214.90 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 215.37/215.43 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 215.88/215.97 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 216.45/216.51 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 216.96/217.07 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 217.55/217.61 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 218.09/218.17 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 218.61/218.70 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 219.21/219.27 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 219.74/219.83 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 220.27/220.39 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 220.89/220.95 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 221.44/221.51 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 222.00/222.05 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 222.52/222.61 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 223.06/223.19 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 223.67/223.75 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 224.20/224.28 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 224.74/224.82 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 225.32/225.39 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 225.85/225.93 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 226.45/226.51 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 226.93/227.05 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 227.50/227.61 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 228.13/228.19 (SAT)(equ)(fun)(SAT) 50| -. -1 -.
% 228.67/228.75 (SAT)(equ)(fun)(SAT) 50| -. -. -.
% 229.31/229.45 (SAT)(equ)(fun)(SAT) 50+ -1 -123456789XL -1
% 230.05/230.11 (SAT)(equ)(fun)(SAT) 51| -. -12 -.
% 230.57/230.69 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 231.19/231.27 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 231.79/231.84 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 232.32/232.44 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 232.92/233.02 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 233.54/233.58 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 234.15/234.19 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 234.69/234.77 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 235.29/235.35 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 235.87/235.96 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 236.47/236.56 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 237.08/237.18 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 237.69/237.75 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 238.31/238.37 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 238.91/238.98 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 239.49/239.59 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 240.08/240.21 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 240.72/240.77 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 241.31/241.38 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 241.91/241.96 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 242.50/242.55 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 243.04/243.13 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 243.65/243.74 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 244.27/244.34 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 244.87/244.94 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 245.41/245.50 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 246.01/246.09 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 246.61/246.66 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 247.15/247.25 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 247.77/247.86 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 248.41/248.45 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 248.92/249.02 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 249.52/249.60 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 250.10/250.19 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 250.70/250.79 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 251.32/251.38 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 251.92/251.98 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 252.52/252.60 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 253.13/253.20 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 253.76/253.81 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 254.33/254.39 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 254.91/254.98 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 255.55/255.59 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 256.10/256.17 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 256.68/256.74 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 257.28/257.34 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 257.89/257.93 (SAT)(equ)(fun)(SAT) 51| -. -1 -.
% 258.51/258.54 (SAT)(equ)(fun)(SAT) 51| -. -. -.
% 259.22/259.28 (SAT)(equ)(fun)(SAT) 51+ -1 -123456789XL -1
% 259.93/259.99 (SAT)(equ)(fun)(SAT) 52| -. -12 -.
% 260.56/260.61 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 261.13/261.25 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 261.80/261.88 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 262.46/262.52 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 263.08/263.14 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 263.70/263.81 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 264.40/264.47 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 265.07/265.11 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 265.76/265.82 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 266.43/266.52 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 267.10/267.20 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 267.78/267.85 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 268.46/268.50 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 269.02/269.12 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 269.72/269.81 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 270.43/270.48 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 271.08/271.18 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 271.79/271.83 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 272.42/272.52 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 273.08/273.16 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 273.76/273.81 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 274.36/274.44 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 275.06/275.13 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 275.66/275.76 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 276.35/276.40 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 276.97/277.03 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 277.59/277.67 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 278.28/278.30 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 278.90/278.95 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 279.52/279.57 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 280.12/280.20 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 280.81/280.84 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 281.40/281.48 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 282.09/282.15 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 282.74/282.79 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 283.42/283.47 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 284.07/284.13 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 284.69/284.81 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 285.41/285.46 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 286.02/286.12 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 286.74/286.77 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 287.37/287.44 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 288.10/288.15 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 288.79/288.82 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 289.42/289.46 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 290.08/290.13 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 290.70/290.78 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 291.37/291.45 (SAT)(equ)(fun)(SAT) 52| -. -1 -.
% 292.17/292.19 (SAT)(equ)(fun)(SAT) 52| -. -. -.
% 292.95/293.00 (SAT)(equ)(fun)(SAT) 52+ -1 -123456789XL -1
% 293.72/293.77 (SAT)(equ)(fun)(SAT) 53| -. -12 -.
% 294.41/294.45 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 295.09/295.15 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 295.77/295.83 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 296.52/296.55 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 297.19/297.23 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 297.81/297.89 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 298.57/298.66 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 299.30/299.37 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 300.01/300.03 (SAT)(equ)(fun)(SAT) 53|
%------------------------------------------------------------------------------