TSTP Solution File: SWV422-1.200 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV422-1.200 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n019.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 : Wed Jul 20 17:59:10 EDT 2022
% Result : Timeout 285.92s 285.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SWV422-1.200 : TPTP v8.1.0. Released v3.5.0.
% 0.13/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.14/0.33 % Computer : n019.cluster.edu
% 0.14/0.33 % Model : x86_64 x86_64
% 0.14/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.33 % Memory : 8042.1875MB
% 0.14/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.33 % CPULimit : 300
% 0.14/0.33 % WCLimit : 600
% 0.14/0.33 % DateTime : Tue Jun 14 21:27:09 EDT 2022
% 0.14/0.33 % CPUTime :
% 0.14/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.14/0.34 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.14/0.34 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.20/0.38 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.20/0.42 #elt|#instances
% 0.20/0.43 (SAT)(equ)(fun)(SAT) 209| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.20/0.55 (SAT)(equ)(fun)(SAT) 209| -123456789XLC -. -. -1 -. -. -. -1 -. -. -. -.
% 0.50/0.68 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -.
% 0.57/0.74 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 0.87/1.02 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -123456789XLC -. -. -123456789XLC -. -123456789XLC -. -. -.
% 1.08/1.23 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 1.08/1.30 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.38/1.54 (SAT)(equ)(fun)(SAT) 209| -123456789XLC> -. -. -. -123456789XLC> -1 -. -. -1 -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -123456789XLC -123456789XLC> -1 -. -123456789XLC -. -. -.
% 1.75/1.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -123456789XLC -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -123456789XLC -. -. -. -1
% 2.37/2.52 (SAT)(equ)(fun)(SAT) 209| -. -. -123456789X -. -. -. -123456789X -. -. -. -123 -. -. -. -. -. -1 -123 -. -. -. -. -. -.
% 2.69/2.87 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.06/3.23 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 3.90/4.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -12345678 -123456789XL -12345678 -. -123456789X -. -123456789X -. -123456789XL -123456789XL -123456789XL -123456 -12345678 -. -. -. -. -123456789XL -123456789X -123456789XL -. -123456789X -. -. -. -123456789XLC -123456789XL -. -. -. -. -. -. -. -. -1 -. -.
% 4.49/4.65 (SAT)(equ)(fun)(SAT) 209| -. -123456789X -. -123456789X -. -12345678 -. -123456789XL -. -1234 -123456789XL -123456789X -123456789XL -123456789X -. -123 -12 -. -. -123456789X -12345678 -123456789X -123456789X -. -123456789X -. -. -. -123456789X -1234 -123456789XL -. -. -. -. -.
% 4.97/5.14 (SAT)(equ)(fun)(SAT) 209| -. -123456 -123456789X -12345 -. -1 -. -123 -12 -123456789X -123456789X -123 -123 -123456789 -1 -1 -. -. -. -12345 -123 -12345678 -12345678 -1 -1 -. -. -. -123456789X -12 -12 -. -.
% 5.37/5.60 (SAT)(equ)(fun)(SAT) 209| -. -12345678 -123456789 -123 -. -1 -. -. -. -12345678 -1 -. -1 -1 -1 -. -. -. -. -12 -1 -123 -. -. -. -. -. -. -1 -. -. -. -.
% 5.85/6.00 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 6.26/6.41 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -1 -. -. -.
% 6.43/6.57 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 6.74/6.90 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -.
% 6.88/7.03 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -12345 -12 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -1234 -123 -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 7.78/7.91 (SAT)(equ)(fun)(SAT) 209| -. -123456789X -123456789X -12345 -. -123456789X -123456789XL -12 -123 -. -1234 -12 -123456789XL -123456789XL -123 -12345 -1234 -1234 -. -1 -123456789XL -123456789XL -12 -1 -. -. -1234 -12 -12345 -12345 -123456789XL -123456789XL -12 -1234 -. -. -123456789X -123456789XL -123456789XL -1 -. -. -. -1 -. -1234567 -123456789XL -1 -12345 -. -. -. -. -. -. -1 -. -. -.
% 8.47/8.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -123456789X -123456789X -123456789X -. -123456789X -12345678 -123456789X -1 -12 -123456 -1234 -12345678 -123456 -123456789XL -123456789X -123456789X -123456789X -1234 -12345678 -123 -12345678 -123 -123456789X -123456789X -123 -. -. -123456789X -123456789X -12345 -1234 -123456789XL -123456789X -123456789X -123456789X -123 -123 -123456789X -1234567 -123456789X -12345 -1 -. -. -12 -. -12345678 -123 -1234567 -12 -. -. -. -.
% 9.17/9.33 (SAT)(equ)(fun)(SAT) 209| -. -123456789X -12345678 -1234567 -. -123456789X -123456789X -123456789X -123 -12 -123456789X -12 -12345678 -123 -123456789X -123456789X -123456789X -123456789X -123456789 -1234 -1234 -123456789X -1234 -123456 -123456789X -123456789X -. -. -123456789X -123 -12345678 -12345 -123456789X -123456789X -123456789X -123456789X -123456789 -123456789X -12345 -123456 -1234 -1234567 -. -. -. -1234 -. -12345 -12 -123456789X -123456 -.
% 9.87/10.03 (SAT)(equ)(fun)(SAT) 209| -. -123456789X -123456 -123456789X -. -123456789X -123456 -1234 -123456789 -123 -123456789X -. -123 -123 -123456789X -123456789X -123456789X -123456789X -123456789 -12345678 -123456789X -123456789 -12 -1234 -123456789X -123456 -. -. -12345 -. -123456789 -12345 -123456789X -123456789X -1234 -123456789X -123456789X -123456789X -1234567 -12 -. -123456789X -1 -. -. -12 -. -1234 -12 -123456789X -123 -.
% 10.55/10.71 (SAT)(equ)(fun)(SAT) 209| -. -1234 -123456 -12345678 -. -123456789X -123456 -123456789X -1234567 -1234 -12345678 -. -123 -1234 -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456 -12345 -123 -1234 -12345 -123456789X -. -. -123456789 -12 -1234 -12 -12345678 -123456 -1234567 -123456789X -123456789X -123456789X -1234567 -123 -1 -123 -12 -. -. -12 -. -123456 -123 -12345 -12 -.
% 11.27/11.40 (SAT)(equ)(fun)(SAT) 209| -. -123456 -1234 -12345 -. -12 -12345 -12345678 -123456789X -1234 -123456 -1 -12345 -123 -123456 -1234 -123456789 -1234 -123456789X -123456 -123456 -1234 -1234567 -123456789X -12345 -1234 -. -. -1234 -12 -123456 -12 -12345678 -1234567 -123456789X -12345678 -123456789X -123456789X -123456 -1234567 -12345678 -1234 -123 -. -. -. -. -1 -1234567 -1234567 -12 -.
% 11.89/12.07 (SAT)(equ)(fun)(SAT) 209| -. -12345 -. -123456789X -. -12345 -1234 -123 -1234 -12345678 -1 -1 -12 -12 -12 -123 -123456789X -123456789 -12345678 -123456789 -12345 -1234 -12345 -123456 -1 -123456789X -. -. -1 -. -12345 -12 -123456789X -123456789X -12345 -12345 -123456 -12345678 -12 -1234 -123 -1234 -1234567 -. -. -123 -. -1 -1 -123 -1 -.
% 12.57/12.72 (SAT)(equ)(fun)(SAT) 209| -. -1 -1234 -1234567 -. -123 -. -1234 -12345678 -1 -1234 -. -123 -1234 -1234 -12 -12 -123456 -123456789X -123456 -1234567 -12 -1 -1234 -. -123456789X -. -. -. -1 -1234 -12345 -12 -123 -12345 -123456 -123 -12345 -. -. -123 -1234 -1234 -. -. -. -. -. -. -12345 -1 -.
% 13.17/13.35 (SAT)(equ)(fun)(SAT) 209| -. -. -12 -123456 -. -123 -1 -123 -123456789 -123 -1 -1 -1 -123 -123456 -12345 -1234 -12345 -12345 -123 -12345 -1 -1 -1 -1234 -123 -. -. -. -. -1 -12 -1234 -12345 -12345 -123 -12345678 -1234567 -12 -1 -. -1234 -12345 -. -. -. -. -. -1 -12 -123 -.
% 13.77/13.98 (SAT)(equ)(fun)(SAT) 209| -. -12345 -. -12 -. -123 -12 -123 -1234 -12 -12 -. -. -. -12 -12 -1 -123 -123 -123456 -1 -1 -. -1 -1234 -123456 -. -. -1 -1 -1 -1 -123 -12 -123 -12345 -123 -12 -123 -. -12 -1234 -1234 -. -. -1 -. -. -. -12 -123 -.
% 14.46/14.60 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -123 -. -. -. -123 -123456 -123 -12 -. -. -. -1234 -1234 -12 -12 -1 -123 -1234 -. -12 -. -12 -1 -. -. -1 -. -. -. -123 -123 -1 -123 -1234 -1234 -. -. -. -. -12 -. -. -. -. -. -1 -1 -1 -.
% 15.06/15.20 (SAT)(equ)(fun)(SAT) 209| -. -1 -123 -12 -. -12 -1234 -1 -12 -1 -1 -. -. -. -. -. -123 -12 -. -12 -. -. -. -1 -. -12 -. -. -. -. -. -. -1 -1 -. -1 -123 -1234 -1 -1 -123 -. -123 -. -. -. -. -. -. -. -. -.
% 15.58/15.79 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -. -. -. -1 -1 -12 -. -. -. -12 -1 -1 -1 -. -1 -123 -. -12 -. -. -1 -12 -12 -. -. -. -. -1 -. -. -. -1 -12 -. -. -12 -. -1 -. -12 -. -. -. -. -. -. -12 -1
% 16.18/16.36 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -123 -. -. -. -123 -12 -12 -. -. -1 -1 -1 -1 -1 -12 -. -. -. -1 -1 -1 -. -1 -. -. -1 -. -12 -1 -. -. -1 -1 -. -. -. -. -1 -. -12 -. -. -. -. -1 -1 -1 -. -.
% 16.78/16.95 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -1 -. -1 -12 -. -. -. -1 -1 -. -. -. -12 -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -12 -1 -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -.
% 17.38/17.54 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -1 -. -. -1 -. -12 -. -. -. -. -. -12 -. -. -. -. -1 -12 -12 -1 -1 -. -1 -. -. -. -. -. -. -. -. -1
% 17.90/18.11 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -12 -1 -1 -12 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 18.58/18.70 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 19.06/19.20 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -.
% 19.57/19.76 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.08/20.23 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 20.47/20.69 (SAT)(equ)(fun)(SAT) 209| -. -. -. -.
% 20.68/20.82 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 21.81/21.92 (SAT)(equ)(fun)(SAT) 209| -. -12345678 -123 -123456789X -. -123456789 -123456789X -123456789X -123456789XL -123456789X -12 -1 -1 -1 -123456789X -1234 -1234567 -123456789X -123456 -123456789X -123456789X -123456789X -123456789X -1234 -12 -123 -1234567 -1234567 -. -. -1234567 -12 -12 -1234 -123456 -123456789 -123456789X -123456789X -1234567 -123456 -123456789X -123456789X -123456789X -12 -12 -1 -123 -123456789X -. -. -123 -. -. -. -123456789XL -123456789XL -. -123456789X -. -. -. -. -. -. -. -1 -. -.
% 22.70/22.90 (SAT)(equ)(fun)(SAT) 209| -. -123 -12 -12345 -. -12345678 -123456789 -1234567 -123456789X -123456789X -1234 -. -1234567 -12345 -12345678 -12345 -12345678 -12345678 -123456789X -1234567 -123456789X -123456789X -123456789X -123 -123 -123 -123456 -1234567 -. -. -1234567 -. -123456 -123 -1234567 -12345 -123456789 -123456789X -123456789 -12345 -12345 -123456789X -123456789X -12345 -12 -1 -123 -123456789X -. -. -12345678 -. -1234 -123 -123456789XL -123456789XL -1234 -123456789X -. -1 -.
% 23.58/23.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -1234567 -123456 -123 -. -12345678 -1234 -12345678 -123456789 -1234 -1234 -12 -1 -12345 -123 -123456 -1234 -123456789 -123456789 -1234567 -12345678 -123456789XL -123456789XL -1234 -12345 -123 -12345678 -123456789X -. -. -12 -1 -1234 -123456 -1234 -123456789X -1234567 -123456789X -123456789 -123456789X -123456 -123456789X -123456789XL -1234 -1234 -12345 -123456789 -123456789X -. -. -123456 -. -1234567 -12 -123456789XL -123456789XL -1234 -123456 -. -. -1 -.
% 24.50/24.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -12345678 -12 -12345 -. -123 -123456789 -123456789 -. -123456789X -1234567 -1 -123 -1234 -12345 -123 -1234 -123456789X -123456789 -12345678 -123456789 -123456789XL -123456789XL -1234567 -12 -123 -123456789X -1234567 -. -. -12 -1 -123 -123 -12345 -12 -12345678 -1234567 -123456789X -1234567 -123456 -123456789X -123456789X -12345678 -12345 -12 -123456789 -1234567 -. -. -123456789 -1 -12345 -. -123456789X -123456789X -12 -12345 -. -1 -.
% 25.56/25.68 (SAT)(equ)(fun)(SAT) 209| -. -1234 -123 -123456789 -. -1234567 -1234 -12 -1234 -123456789X -1234 -. -123 -1234 -123456 -12345678 -123456789 -123456789X -1234 -12345 -12 -123456789X -123456789X -123456 -123 -123 -1234 -1234567 -. -. -12345678 -1 -12 -1234 -1234 -12345 -12345 -12345678 -12345 -123 -123 -123456789X -123456789X -123 -1234 -1 -12345678 -1234567 -. -. -123456 -. -1234567 -12 -123456789X -123456789X -123456 -12 -. -. -. -.
% 26.40/26.53 (SAT)(equ)(fun)(SAT) 209| -. -1234567 -1234 -12345678 -. -12345678 -123456 -12345 -12345 -12345678 -123 -123 -123 -12 -123 -1234 -12345678 -123 -123456789X -1234567 -123456789 -123456789X -123456789X -1234567 -123 -123456 -12 -123456 -. -. -1234 -12 -12 -12 -12345 -123 -12345678 -1234567 -12345 -12345678 -1234 -123456789X -123456789XL -1 -1 -1234567 -123 -12345 -. -. -1234 -1 -1 -123 -123456789X -123456789X -123 -1234567 -.
% 27.19/27.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -123 -1 -12345678 -. -12345 -123 -12345 -. -12345 -12 -. -1234 -123456 -12 -123 -1234567 -12345678 -1234567 -123456 -123456789 -123456789X -123456789X -12 -123 -12345 -12345678 -123456789X -. -. -12345 -1 -1 -12345 -. -1234 -1234567 -12345 -12345 -123456 -1234567 -123456789XL -123456789XL -1234 -12 -1 -1234567 -1234567 -. -. -. -1 -123456789X -123 -123456789X -123456789X -12 -123456789X -.
% 28.10/28.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -123456 -123 -12345678 -. -12 -1234567 -12345 -1 -12345678 -123 -. -123456 -1234567 -12 -1 -123456 -123 -123456 -1234 -12345 -123456789XL -123456789XL -1234 -12 -12345 -123456 -12345 -. -. -1 -. -1234 -. -123 -1234 -1234567 -123456 -12345 -12345678 -1234567 -123456789X -123456789X -1234 -12 -123 -12345 -123456789 -. -. -123 -. -12 -1 -123456789X -123456789X -. -1234567 -.
% 28.87/29.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -1234 -12 -123 -. -12345 -123456789 -. -12 -12345678 -123 -. -12345 -123 -123 -1234567 -1234567 -123 -1234567 -123456789 -123456789 -123456789X -123456789X -12345 -123 -12 -123456789X -12345 -. -. -12 -. -1234 -12 -12 -12345 -1234 -1234567 -12345678 -123456 -12345 -123456789X -123456789X -123456 -1234 -1234567 -12345678 -1 -. -. -1234 -. -123 -123 -123456789X -123456789X -1 -123456789X -.
% 29.78/29.91 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -123 -123456 -12345 -. -12345 -1 -123456 -12 -12 -1 -. -12345 -12 -. -123 -. -123 -12345 -123456789 -123456789X -123456789X -123456789X -123 -. -1234 -123456789 -1234 -. -. -12 -. -1 -123 -12 -12 -123456 -1 -1234 -123456 -12345678 -123456789X -123456789X -1234567 -. -12345678 -12345678 -12345678 -. -. -12 -. -12345 -1234 -12345 -12345 -1 -12345678 -.
% 30.60/30.75 (SAT)(equ)(fun)(SAT) 209| -. -123456 -1234 -12 -. -12 -1234 -1 -. -1 -123 -. -1234 -1234567 -. -1234 -12345678 -1 -1234 -1234 -123 -123456789X -123456789X -12 -123456 -123456 -123 -123456 -. -. -1 -12 -1 -1234 -. -1234 -1234567 -1234 -1 -12 -12345 -123456789X -123456789X -1234 -123 -1234567 -12345678 -123456 -. -. -12 -. -1 -. -123456789X -123456789X -1234 -12 -.
% 31.41/31.58 (SAT)(equ)(fun)(SAT) 209| -. -123 -12 -1 -. -1234 -123456 -1 -1 -1234 -12345 -. -12345 -. -1 -1 -123456 -1234 -12 -123 -123 -123456789X -123456789X -12 -12 -1 -12345 -1 -. -. -12 -. -123 -1234 -1 -1 -12 -12 -123 -12 -1 -123456789X -123456789X -12345 -. -12345 -123456 -1234 -. -. -1234 -. -. -123 -123 -123 -12 -12345678 -.
% 32.28/32.38 (SAT)(equ)(fun)(SAT) 209| -. -123 -1 -123 -. -1234 -123 -1234 -12 -. -1 -1 -. -12 -1 -1 -12345 -. -123 -123 -1234567 -123456789X -123456789X -12345 -12 -1 -123 -12345 -. -. -12345 -1 -1 -1 -. -. -1234 -1234 -1234567 -1234567 -12 -123456789X -123456789X -123 -1234 -123 -123 -123 -. -. -123 -1 -123 -1234 -123 -1234 -12 -123456789 -.
% 32.99/33.17 (SAT)(equ)(fun)(SAT) 209| -. -1 -12345 -. -. -1 -1234 -123 -12 -123456 -. -. -123 -12345 -. -123 -123 -1 -12345 -123 -1234 -123456789X -123456789X -123 -12 -123 -123456 -. -. -. -12 -. -12 -. -12 -1 -1 -1 -123456 -12 -12 -123456789X -123456789X -12345678 -123 -1234567 -12345 -123456 -. -. -12 -. -123456 -123 -1234 -1234 -12 -123456 -.
% 33.80/33.99 (SAT)(equ)(fun)(SAT) 209| -. -. -123 -. -. -12 -12345 -12 -. -1 -123 -. -12 -1 -12 -1234 -1234 -. -1 -1 -1234 -123456789X -123456789X -12 -12 -12 -123456 -1 -. -. -12 -. -1 -12 -1 -12 -1 -1 -1234 -12 -. -123456789X -123456789 -12345 -1 -1234 -123 -12345 -. -. -1 -. -12 -1234 -1234 -123 -123 -1234567 -.
% 34.59/34.77 (SAT)(equ)(fun)(SAT) 209| -. -12 -1 -1 -. -12 -12345 -. -12 -1234 -. -1 -12 -1 -. -12 -1 -12 -1 -123 -1234 -123456789 -123456789X -1234 -1 -1 -1 -1 -. -. -1 -1 -12 -12 -. -12 -123 -1 -. -123 -12 -12345 -12345 -12 -. -1 -123456 -12 -. -. -1 -1 -. -. -123456 -1234 -1234 -123456789X -.
% 35.41/35.52 (SAT)(equ)(fun)(SAT) 209| -. -12 -1 -1 -. -12 -12 -1 -. -. -1 -. -1 -1 -. -12 -1 -12 -123 -. -. -12345 -12345 -12345 -1 -12345 -1 -1 -. -. -. -. -12 -1 -1 -12 -12 -123 -1 -. -1 -123456789X -123456789X -123 -1 -1 -12 -1 -. -. -123 -. -1 -. -123 -123 -12 -123 -.
% 36.09/36.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -12 -1 -1 -123 -1 -. -. -123 -. -12 -1 -. -123 -123 -123 -123456789X -123456789X -123 -1 -1 -1234 -123 -. -. -1 -. -123 -1 -. -1 -1 -. -. -1 -1 -123456 -123456 -12 -12 -1 -123 -1234 -. -. -12 -12 -123 -12 -12345 -123 -12 -1234 -.
% 36.91/37.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -1 -. -12 -. -1 -12 -1 -. -1 -. -. -123 -. -. -1 -1 -. -12 -12 -12 -12345678 -1234567 -1234 -. -12 -12 -. -. -. -. -. -. -1 -12 -. -12 -1 -. -. -1 -123456789 -123456789 -1234 -1 -. -12345 -12 -. -. -. -. -1 -1 -123 -123 -. -1234 -.
% 37.59/37.75 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -12 -. -. -1 -1 -1 -123 -12 -. -1 -12 -. -1234 -12 -1 -. -1 -1234 -123 -123 -1 -12 -1234 -1234 -1 -. -. -123 -. -123 -123 -1 -. -1 -1 -. -1 -1 -123456 -123456 -. -123 -123 -1 -12 -. -. -1 -. -. -. -1 -1 -1234 -12 -.
% 38.31/38.48 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -1 -. -1 -123 -. -. -12 -. -. -. -1 -. -12 -. -. -1 -. -1234 -1234 -12345 -12 -. -. -123 -1 -. -. -. -. -. -1 -. -12 -1 -. -12 -12 -1 -12345678 -123456789 -12 -. -. -12 -123 -. -. -12 -. -1 -. -1 -. -1 -123 -.
% 39.09/39.20 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -123 -123 -1 -. -1 -. -. -. -. -1 -. -1 -12 -. -12 -1 -. -12 -1 -1 -12 -12 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -12345 -.
% 39.80/39.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -123 -12 -. -1 -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -1 -. -. -1 -. -. -1 -. -.
% 40.43/40.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -1 -1 -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -. -. -1 -1 -1 -12 -12 -123 -. -. -12 -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -1 -12345 -.
% 41.11/41.26 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -12 -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -1234 -1234 -. -. -. -12 -1 -. -. -. -. -. -1 -. -. -. -1 -. -123 -123 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -123456 -.
% 41.81/41.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 42.53/42.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.14/43.30 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -123456 -1 -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -.
% 43.84/43.94 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 44.42/44.57 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.12/45.21 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.91/46.02 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 45.91/46.07 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 46.02/46.12 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 46.02/46.18 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 46.79/46.98 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 46.94/47.04 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 46.94/47.09 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 47.04/47.14 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 47.85/47.95 (SAT)(equ)(fun)(SAT) 209| -.
% 47.85/48.00 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 48.72/48.81 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 48.72/48.87 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 48.81/48.92 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 48.81/48.99 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 48.91/49.03 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 48.91/49.08 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 49.02/49.13 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 49.02/49.17 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 49.13/49.22 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 49.13/49.26 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 49.23/49.31 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 49.23/49.36 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 50.09/50.17 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 50.14/50.23 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 50.14/50.28 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 51.01/51.10 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 51.06/51.17 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 51.13/51.24 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 51.20/51.31 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 52.04/52.13 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 52.04/52.18 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 52.14/52.25 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 52.23/52.31 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 53.02/53.11 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 53.03/53.16 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 53.13/53.21 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 53.13/53.26 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 53.95/54.06 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 53.95/54.12 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 54.05/54.16 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 54.12/54.21 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 54.12/54.25 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 54.20/54.30 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 54.26/54.34 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 54.26/54.40 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 55.13/55.20 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 55.14/55.26 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 55.14/55.30 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 55.24/55.35 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 55.24/55.39 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 55.32/55.45 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 56.14/56.26 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 56.24/56.31 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 56.24/56.36 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 56.24/56.41 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 56.34/56.45 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 56.42/56.50 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 56.42/56.54 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 56.51/56.59 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 56.54/56.64 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 57.31/57.45 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 57.43/57.50 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 57.45/57.55 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 57.45/57.60 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 58.31/58.40 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 58.35/58.46 (SAT)(equ)(fun)(SAT) 209| -.
% 58.44/58.51 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 59.23/59.34 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 59.23/59.39 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 59.33/59.46 (SAT)(equ)(fun)(SAT) 209| -.
% 59.43/59.52 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 60.23/60.32 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 60.32/60.39 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 60.32/60.45 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 60.43/60.51 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 60.46/60.57 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 61.30/61.37 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 61.36/61.43 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -. -. -.
% 61.36/61.50 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 61.45/61.57 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 61.52/61.62 (SAT)(equ)(fun)(SAT) 209| -.
% 61.52/61.68 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 62.35/62.49 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 62.43/62.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 62.55/62.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 62.55/62.69 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 62.65/62.73 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 62.65/62.79 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 62.75/62.84 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 63.54/63.65 (SAT)(equ)(fun)(SAT) 209| -.
% 63.54/63.70 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 64.42/64.51 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 64.50/64.57 (SAT)(equ)(fun)(SAT) 209| -.
% 64.56/64.62 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 65.32/65.42 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 65.42/65.49 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 65.46/65.54 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 66.24/66.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 66.35/66.42 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 66.35/66.46 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 66.45/66.51 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 66.45/66.55 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 66.45/66.61 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 66.55/66.66 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 67.34/67.46 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 67.42/67.51 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 67.42/67.57 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 68.26/68.37 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 68.33/68.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 68.43/68.49 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 68.47/68.54 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 68.47/68.59 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 68.57/68.63 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 68.57/68.69 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 69.43/69.50 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 69.51/69.58 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 70.25/70.38 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 70.35/70.43 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 70.35/70.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 70.44/70.57 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 70.54/70.62 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 71.35/71.44 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 71.43/71.50 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 71.43/71.54 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 71.53/71.59 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 71.56/71.65 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 72.34/72.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 72.45/72.52 (SAT)(equ)(fun)(SAT) 209| -.
% 72.48/72.57 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 73.28/73.39 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 73.36/73.44 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 73.43/73.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 73.52/73.58 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 73.57/73.63 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 74.36/74.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 74.36/74.49 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 74.45/74.54 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 74.45/74.59 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 75.33/75.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 75.33/75.48 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 75.46/75.53 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 75.46/75.58 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 76.33/76.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 76.37/76.45 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 76.37/76.49 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 76.46/76.56 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 77.28/77.37 (SAT)(equ)(fun)(SAT) 209| -.
% 77.37/77.43 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 78.15/78.23 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 78.25/78.30 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 78.25/78.35 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 78.35/78.40 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 78.35/78.46 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 79.15/79.25 (SAT)(equ)(fun)(SAT) 209| -.
% 79.24/79.30 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 80.07/80.11 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 80.08/80.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 80.17/80.25 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 80.25/80.30 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 80.25/80.35 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 80.36/80.40 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 81.14/81.21 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 81.19/81.26 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 81.27/81.33 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 81.27/81.38 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 81.34/81.42 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 81.43/81.48 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 81.49/81.53 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 82.27/82.34 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 82.27/82.40 (SAT)(equ)(fun)(SAT) 209| -.
% 82.37/82.45 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 83.16/83.26 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 83.26/83.31 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 83.26/83.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 83.35/83.45 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 83.35/83.50 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 83.47/83.54 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 83.47/83.60 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 84.36/84.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 84.39/84.47 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 84.48/84.51 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 84.48/84.57 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 85.29/85.38 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 85.36/85.44 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 85.45/85.49 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 85.45/85.53 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 85.55/85.58 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 85.59/85.63 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 85.59/85.69 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 86.45/86.48 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 86.48/86.54 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 86.48/86.59 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 87.36/87.40 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 87.36/87.46 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 87.46/87.52 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 88.27/88.32 (SAT)(equ)(fun)(SAT) 209| -.
% 88.27/88.38 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 89.10/89.19 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 89.20/89.24 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -. -. -.
% 89.27/89.31 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 89.34/89.39 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 89.40/89.45 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 89.40/89.49 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 89.50/89.55 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 90.28/90.35 (SAT)(equ)(fun)(SAT) 209| -.
% 90.28/90.41 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 91.17/91.20 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 91.17/91.26 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 91.27/91.33 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 91.27/91.37 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 91.37/91.42 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 91.37/91.47 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 91.47/91.52 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 91.47/91.56 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 91.59/91.62 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 92.40/92.43 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 92.40/92.49 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 92.49/92.54 (SAT)(equ)(fun)(SAT) 209| -.
% 92.56/92.60 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 93.37/93.41 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 93.40/93.48 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 93.40/93.52 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 93.50/93.57 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 93.57/93.62 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 93.57/93.68 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 94.39/94.48 (SAT)(equ)(fun)(SAT) 209| -.
% 94.49/94.53 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 95.27/95.34 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 95.37/95.40 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 95.37/95.46 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 95.47/95.52 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 95.47/95.58 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 95.57/95.63 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 95.57/95.68 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 96.46/96.49 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 96.46/96.55 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 96.46/96.60 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 96.60/96.65 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 97.38/97.45 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 97.45/97.51 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 97.45/97.56 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 97.58/97.62 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 98.40/98.44 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 98.48/98.50 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 98.48/98.54 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 98.58/98.60 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 99.38/99.42 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 99.38/99.47 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 99.48/99.52 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 99.48/99.59 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 100.30/100.40 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 100.40/100.47 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 101.25/101.28 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 101.31/101.33 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 101.31/101.41 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 101.40/101.46 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 102.21/102.27 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 102.30/102.34 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 102.37/102.40 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 103.10/103.20 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 103.20/103.26 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 103.30/103.31 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 103.30/103.37 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 104.10/104.17 (SAT)(equ)(fun)(SAT) 209| -.
% 104.20/104.23 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 104.98/105.03 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 105.08/105.09 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 105.12/105.15 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 105.21/105.22 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 105.21/105.26 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 105.28/105.32 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 106.10/106.13 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 106.17/106.19 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 106.17/106.24 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 106.27/106.28 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 106.32/106.34 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 107.10/107.15 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 107.19/107.20 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 107.19/107.25 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 107.29/107.31 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 108.08/108.11 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 108.08/108.17 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 108.20/108.23 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 108.20/108.27 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 108.29/108.33 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 109.11/109.13 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 109.11/109.19 (SAT)(equ)(fun)(SAT) 209| -.
% 109.21/109.24 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 110.00/110.05 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 110.08/110.11 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 110.08/110.17 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 110.22/110.24 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 110.22/110.29 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 110.30/110.34 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 110.30/110.39 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 110.39/110.45 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 111.20/111.28 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 111.30/111.33 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 111.30/111.38 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 111.40/111.44 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 112.22/112.25 (SAT)(equ)(fun)(SAT) 209| -.
% 112.30/112.31 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 113.10/113.12 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 113.13/113.18 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 113.20/113.24 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 113.27/113.31 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 113.27/113.36 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 113.40/113.42 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 114.19/114.23 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 114.29/114.29 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 114.32/114.34 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 114.32/114.40 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 115.20/115.19 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 115.21/115.26 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 115.30/115.30 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 115.30/115.36 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 116.12/116.17 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 116.21/116.23 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 116.29/116.28 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 116.29/116.34 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 116.40/116.39 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 117.20/117.20 (SAT)(equ)(fun)(SAT) 209| -.
% 117.20/117.25 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 118.02/118.06 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 118.10/118.12 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 118.19/118.19 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 118.22/118.24 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 118.22/118.29 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 118.32/118.34 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 118.32/118.39 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 118.41/118.45 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 119.21/119.25 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 119.29/119.31 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 119.29/119.37 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 119.41/119.42 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 119.41/119.46 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 119.52/119.51 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 119.52/119.57 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 120.33/120.38 (SAT)(equ)(fun)(SAT) 209| -.
% 120.43/120.44 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 121.23/121.24 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 121.23/121.30 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 121.31/121.37 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 121.40/121.43 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 122.21/122.24 (SAT)(equ)(fun)(SAT) 209| -.
% 122.31/122.30 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 123.12/123.11 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 123.12/123.19 (SAT)(equ)(fun)(SAT) 209| -.
% 123.21/123.24 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 124.03/124.05 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 124.11/124.12 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 124.19/124.19 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 124.92/124.99 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 125.01/125.05 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 125.10/125.10 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 125.13/125.16 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 125.91/125.96 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 126.02/126.02 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 126.02/126.07 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 126.11/126.12 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 126.11/126.17 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 126.94/126.98 (SAT)(equ)(fun)(SAT) 209| -.
% 127.03/127.04 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 127.84/127.84 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 127.84/127.90 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 127.94/127.96 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 128.01/128.04 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 128.11/128.10 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 128.90/128.90 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 128.90/128.97 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 129.03/129.01 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 129.04/129.07 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 129.13/129.11 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 129.13/129.18 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 129.93/129.99 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 130.03/130.05 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 130.12/130.10 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 130.12/130.16 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 130.93/130.97 (SAT)(equ)(fun)(SAT) 209| -.
% 131.01/131.03 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 131.84/131.85 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 131.92/131.92 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 131.92/131.97 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 132.00/132.02 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 132.10/132.08 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 132.83/132.89 (SAT)(equ)(fun)(SAT) 209| -.
% 132.92/132.95 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 133.73/133.75 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 133.83/133.81 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 133.83/133.88 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 133.92/133.94 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 134.02/133.99 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 134.03/134.04 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 134.03/134.09 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 134.13/134.14 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 134.13/134.19 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 134.23/134.25 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 135.05/135.05 (SAT)(equ)(fun)(SAT) 209| -.
% 135.05/135.10 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 135.90/135.90 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 135.90/135.96 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 136.05/136.02 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 136.05/136.09 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 136.15/136.15 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 136.22/136.21 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 137.04/137.01 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 137.05/137.08 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 137.14/137.13 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 137.14/137.19 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 138.02/137.99 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 138.04/138.06 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 138.14/138.12 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 138.14/138.17 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 138.23/138.23 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 139.05/139.03 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 139.05/139.09 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 139.14/139.14 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 139.14/139.19 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 139.22/139.23 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 139.31/139.28 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 139.35/139.33 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 139.35/139.38 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 139.44/139.43 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 139.52/139.49 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 140.32/140.29 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 140.35/140.36 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 140.44/140.40 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 140.44/140.46 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 141.25/141.27 (SAT)(equ)(fun)(SAT) 209| -.
% 141.35/141.33 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 142.14/142.12 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 142.14/142.19 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 142.25/142.25 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 142.34/142.32 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 142.34/142.38 (SAT)(equ)(fun)(SAT) 209| -.
% 142.43/142.44 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 143.26/143.25 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 143.33/143.31 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 143.33/143.38 (SAT)(equ)(fun)(SAT) 209| -.
% 143.46/143.44 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 144.22/144.24 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 144.36/144.31 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 144.36/144.36 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 144.45/144.42 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 145.25/145.25 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 145.34/145.31 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 145.34/145.36 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 145.43/145.40 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 145.43/145.45 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 145.54/145.51 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 146.33/146.31 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 146.33/146.37 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 146.46/146.43 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 147.24/147.25 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 147.34/147.31 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 147.37/147.37 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 148.15/148.17 (SAT)(equ)(fun)(SAT) 209| -.
% 148.24/148.23 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 149.05/149.03 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 149.14/149.11 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 149.14/149.17 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 149.94/149.97 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 150.06/150.04 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 150.15/150.12 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 150.15/150.18 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 150.97/150.99 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 151.07/151.06 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 151.15/151.11 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 151.15/151.17 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 152.02/151.98 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 152.07/152.04 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 152.07/152.09 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 152.15/152.14 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 152.24/152.20 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 153.06/153.01 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 153.06/153.08 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 153.15/153.14 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 153.97/153.95 (SAT)(equ)(fun)(SAT) 209| -.
% 154.06/154.02 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 154.88/154.83 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 154.88/154.90 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 154.98/154.96 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 155.05/155.03 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 155.13/155.08 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 155.18/155.13 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 155.18/155.18 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 155.27/155.25 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 156.07/156.05 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 156.16/156.12 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 156.16/156.17 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 156.25/156.23 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 157.06/157.04 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 157.16/157.11 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 157.16/157.17 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 157.27/157.22 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 157.27/157.28 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 158.14/158.09 (SAT)(equ)(fun)(SAT) 209| -.
% 158.18/158.15 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 158.98/158.96 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 159.06/159.02 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 159.15/159.10 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 159.15/159.15 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 159.25/159.21 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 160.05/160.02 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 160.15/160.10 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 160.17/160.16 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 160.26/160.21 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 160.26/160.26 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 160.36/160.32 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 161.17/161.13 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 161.17/161.19 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 161.28/161.25 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 162.06/162.06 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 162.18/162.12 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 162.18/162.17 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 162.28/162.22 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 162.28/162.27 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 162.36/162.32 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 162.36/162.37 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 162.48/162.43 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 163.27/163.24 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 163.34/163.30 (SAT)(equ)(fun)(SAT) 209| -.
% 163.34/163.36 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 164.18/164.17 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 164.27/164.23 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 164.38/164.31 (SAT)(equ)(fun)(SAT) 209| -.
% 164.38/164.37 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 165.16/165.18 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 165.28/165.27 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 165.37/165.32 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 165.37/165.38 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 166.20/166.16 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 166.20/166.22 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 166.30/166.26 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 166.37/166.31 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 166.37/166.36 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 167.18/167.13 (SAT)(equ)(fun)(SAT) 209| -.
% 167.18/167.18 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 167.97/167.95 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 168.07/168.01 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 168.07/168.07 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 168.16/168.14 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 168.26/168.19 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 168.97/168.94 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 169.06/169.00 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 169.06/169.05 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 169.06/169.10 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 169.19/169.14 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 169.19/169.20 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 169.97/169.94 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 170.08/170.00 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 170.10/170.05 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 170.10/170.10 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 170.87/170.85 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 170.99/170.92 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 170.99/170.96 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 170.99/171.01 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 171.09/171.06 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 171.88/171.82 (SAT)(equ)(fun)(SAT) 209| -.
% 171.88/171.87 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 172.67/172.62 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 172.67/172.68 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 172.76/172.75 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 172.76/172.79 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 172.90/172.84 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 172.90/172.89 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 172.99/172.93 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 173.06/172.98 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 173.81/173.73 (SAT)(equ)(fun)(SAT) 209| -.
% 173.81/173.78 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 174.58/174.54 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 174.67/174.62 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 174.67/174.66 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 174.79/174.71 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 174.79/174.76 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 174.88/174.81 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 175.57/175.58 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 175.67/175.63 (SAT)(equ)(fun)(SAT) 209| -.
% 175.67/175.68 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 176.48/176.43 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 176.57/176.51 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 176.57/176.56 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 176.66/176.63 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 177.40/177.37 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 177.48/177.45 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 177.56/177.49 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 177.56/177.54 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 178.35/178.28 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 178.40/178.35 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 178.40/178.39 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 178.49/178.44 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 178.49/178.48 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 178.58/178.53 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 178.58/178.57 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 178.69/178.62 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 178.69/178.66 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 178.79/178.71 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 178.79/178.76 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 178.87/178.81 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 179.58/179.57 (SAT)(equ)(fun)(SAT) 209| -.
% 179.68/179.62 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 180.51/180.43 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 180.51/180.50 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 180.60/180.58 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 180.67/180.66 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 180.79/180.72 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 180.81/180.79 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 181.76/181.71 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 181.87/181.79 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 181.91/181.86 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 182.00/181.93 (SAT)(equ)(fun)(SAT) 209| -.
% 182.07/182.00 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 182.89/182.90 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 182.99/182.97 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 183.08/183.04 (SAT)(equ)(fun)(SAT) 209| -.
% 183.18/183.10 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 183.90/183.85 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -. -. -.
% 183.98/183.92 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 184.07/183.99 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 184.07/184.05 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 184.17/184.10 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 184.21/184.15 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 184.21/184.20 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 184.96/184.96 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 185.08/185.02 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 185.11/185.07 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 185.88/185.82 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 185.88/185.88 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 185.99/185.92 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 185.99/185.98 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 186.79/186.71 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 186.79/186.77 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 186.88/186.82 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 186.88/186.87 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 187.71/187.63 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 187.71/187.69 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 187.80/187.74 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 188.55/188.48 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 188.61/188.54 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 188.68/188.61 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 188.68/188.67 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 189.50/189.41 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 189.50/189.48 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 190.28/190.22 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 190.28/190.29 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 190.39/190.34 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 190.39/190.39 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 190.49/190.43 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 190.49/190.48 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 190.59/190.53 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 190.59/190.57 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 190.68/190.63 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 191.42/191.36 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 191.50/191.43 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 191.50/191.48 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 192.29/192.22 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 192.32/192.28 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 192.40/192.33 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 192.40/192.37 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 192.48/192.42 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 192.48/192.48 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 193.30/193.22 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 193.30/193.28 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 193.39/193.32 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 193.39/193.37 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 193.48/193.43 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 194.19/194.16 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 194.30/194.23 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 195.10/195.01 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 195.18/195.08 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 195.18/195.16 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 195.31/195.21 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 195.32/195.28 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 196.07/196.04 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 196.19/196.10 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 196.22/196.15 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 196.91/196.90 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 197.00/196.96 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 197.11/197.01 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 197.11/197.06 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 197.90/197.80 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 197.90/197.87 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 198.00/197.91 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 198.00/197.97 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 198.78/198.70 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 198.78/198.76 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 198.90/198.81 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 198.93/198.86 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 199.67/199.61 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 199.77/199.67 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 199.80/199.72 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 199.83/199.78 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 200.60/200.52 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 200.69/200.59 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 201.40/201.33 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 201.40/201.39 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 201.50/201.45 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 201.60/201.52 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 201.60/201.57 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 201.70/201.61 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 201.70/201.66 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 201.80/201.71 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 202.52/202.46 (SAT)(equ)(fun)(SAT) 209| -.
% 202.61/202.52 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 203.29/203.26 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 203.40/203.32 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 203.44/203.39 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 203.51/203.44 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 203.58/203.49 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 203.58/203.54 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 204.33/204.29 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 204.42/204.35 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 204.51/204.41 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 205.22/205.15 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 205.31/205.21 (SAT)(equ)(fun)(SAT) 209| -.
% 205.31/205.26 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 206.00/206.00 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 206.12/206.08 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 206.21/206.13 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 206.21/206.18 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 207.03/206.92 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 207.04/206.99 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 207.13/207.03 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 207.13/207.08 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 207.20/207.13 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 207.20/207.18 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 207.34/207.22 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 207.34/207.27 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 207.41/207.33 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 208.09/208.07 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 208.23/208.13 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 208.23/208.18 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 209.03/208.92 (SAT)(equ)(fun)(SAT) 209| -.
% 209.03/208.97 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 209.81/209.73 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 209.81/209.78 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 209.91/209.84 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 210.03/209.92 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 210.03/209.97 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 210.12/210.03 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 210.20/210.10 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 210.94/210.87 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 211.03/210.93 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 211.03/210.98 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 211.10/211.03 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 211.10/211.07 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 211.21/211.12 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 211.24/211.18 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 212.00/211.92 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 212.10/211.99 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 212.14/212.04 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 212.83/212.79 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 212.91/212.85 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 213.01/212.91 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 213.01/212.98 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 213.11/213.04 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 213.90/213.78 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 213.90/213.85 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 214.00/213.90 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 214.03/213.95 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 214.03/214.00 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 214.84/214.74 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 214.91/214.81 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 214.91/214.87 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 215.71/215.62 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 215.71/215.68 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 215.85/215.72 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 215.85/215.78 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 216.62/216.52 (SAT)(equ)(fun)(SAT) 209| -.
% 216.62/216.58 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 217.42/217.32 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 217.42/217.38 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 217.52/217.44 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 217.62/217.51 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 217.62/217.56 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 217.72/217.61 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 218.41/218.37 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 218.54/218.43 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 218.54/218.49 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 218.62/218.55 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 218.71/218.60 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 218.71/218.65 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 218.84/218.71 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 219.55/219.45 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 219.62/219.52 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 219.62/219.56 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 219.69/219.62 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 220.42/220.36 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 220.56/220.43 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 220.56/220.49 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 221.34/221.23 (SAT)(equ)(fun)(SAT) 209| -.
% 221.34/221.29 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 222.13/222.03 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 222.13/222.09 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 222.23/222.15 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 222.33/222.22 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 222.33/222.27 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 222.44/222.33 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 223.13/223.06 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 223.22/223.13 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 223.22/223.18 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 223.36/223.24 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 224.05/223.98 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 224.13/224.04 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 224.20/224.09 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 224.20/224.15 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 225.05/224.92 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 225.06/224.98 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 225.15/225.04 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 225.23/225.11 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 225.23/225.16 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 225.35/225.21 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 225.35/225.27 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 226.24/226.10 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 226.24/226.17 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 226.34/226.22 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 226.34/226.27 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 227.16/227.02 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 227.16/227.09 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 227.25/227.15 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 228.01/227.89 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 228.01/227.95 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 228.16/228.02 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 228.16/228.08 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 228.26/228.13 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 228.95/228.87 (SAT)(equ)(fun)(SAT) 209| -.
% 229.04/228.92 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 229.74/229.67 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 229.84/229.73 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 229.84/229.79 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 229.94/229.87 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 230.04/229.92 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 230.04/229.97 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 230.14/230.03 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 230.83/230.77 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 230.97/230.83 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 230.97/230.90 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 231.05/230.95 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 231.82/231.70 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 231.82/231.76 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 231.95/231.81 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 231.97/231.86 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 231.97/231.92 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 232.76/232.67 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 232.84/232.74 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 232.93/232.79 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 233.65/233.54 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 233.75/233.60 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 233.75/233.65 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 233.84/233.70 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 233.84/233.75 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 233.95/233.81 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 234.66/234.55 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 234.75/234.61 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 234.75/234.66 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 234.83/234.72 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 235.57/235.47 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 235.67/235.53 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 235.67/235.58 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 235.75/235.64 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 236.53/236.40 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 236.53/236.46 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 236.66/236.51 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 236.67/236.57 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 237.45/237.32 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 237.45/237.38 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 237.55/237.43 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 237.55/237.48 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 237.65/237.53 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 237.65/237.59 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 238.46/238.34 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -.
% 238.54/238.41 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 238.54/238.48 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 239.37/239.22 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 239.37/239.28 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 239.44/239.34 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -1 -. -.
% 239.58/239.43 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 239.58/239.48 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 239.68/239.53 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 239.68/239.58 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 239.75/239.64 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 239.83/239.69 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 239.88/239.74 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 239.88/239.80 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 240.74/240.60 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -.
% 240.74/240.67 (SAT)(equ)(fun)(SAT) 209| -.
% 240.87/240.73 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 241.56/241.47 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 241.65/241.53 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 241.74/241.59 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -1 -. -. -. -.
% 241.76/241.67 (SAT)(equ)(fun)(SAT) 209| -. -. -1 -. -. -.
% 241.86/241.73 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 241.86/241.78 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 241.96/241.84 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 241.96/241.89 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 242.06/241.94 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 242.85/242.71 (SAT)(equ)(fun)(SAT) 209| -.
% 242.85/242.76 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 243.67/243.52 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -.
% 243.67/243.58 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -.
% 243.75/243.64 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 243.88/243.73 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 243.88/243.78 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 244.65/244.53 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 244.75/244.59 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 244.78/244.64 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 244.78/244.70 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 245.57/245.45 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -.
% 245.66/245.52 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 245.66/245.57 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 245.76/245.62 (SAT)(equ)(fun)(SAT) 209| -1 -.
% 245.76/245.67 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 245.85/245.72 (SAT)(equ)(fun)(SAT) 209| -. -. -.
% 245.85/245.78 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 246.66/246.53 (SAT)(equ)(fun)(SAT) 209| -.
% 246.74/246.59 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 247.48/247.35 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -.
% 247.56/247.43 (SAT)(equ)(fun)(SAT) 209| -. -1
% 247.63/247.47 (SAT)(equ)(fun)(SAT) 209| -. -.
% 247.63/247.53 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 248.38/248.27 (SAT)(equ)(fun)(SAT) 209| -.
% 248.47/248.33 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 249.17/249.09 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -1 -. -. -. -.
% 249.27/249.17 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -1 -. -. -. -. -. -1
% 249.46/249.32 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 249.76/249.66 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 250.16/250.01 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 250.49/250.34 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -1 -. -.
% 250.79/250.65 (SAT)(equ)(fun)(SAT) 209| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 251.09/250.97 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 251.25/251.14 (SAT)(equ)(fun)(SAT) 209| -. -. -. -.
% 251.39/251.23 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 252.08/251.97 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -. -. -. -1 -1 -1 -.
% 252.28/252.20 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 252.68/252.54 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 252.97/252.88 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 253.36/253.22 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 253.66/253.56 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 254.06/253.90 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 254.39/254.24 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -.
% 254.69/254.56 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -1
% 255.09/254.95 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 255.48/255.35 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 255.86/255.72 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 256.26/256.08 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 256.58/256.46 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 256.98/256.84 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 257.38/257.21 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 257.77/257.59 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 258.07/257.96 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 258.51/258.34 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 258.81/258.72 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 259.26/259.11 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 259.57/259.44 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -.
% 259.70/259.59 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -.
% 260.58/260.44 (SAT)(equ)(fun)(SAT) 209| -.
% 260.68/260.51 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -.
% 261.50/261.37 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -1 -1 -1 -. -.
% 261.66/261.53 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 262.11/261.93 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -.
% 262.50/262.33 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -.
% 262.86/262.74 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 263.30/263.15 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 263.69/263.53 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 264.09/263.91 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 264.89/264.77 (SAT)(equ)(fun)(SAT) 209| -.
% 264.98/264.83 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 265.88/265.73 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -1 -1 -. -. -.
% 266.01/265.90 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 266.39/266.26 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 267.30/267.15 (SAT)(equ)(fun)(SAT) 209| -.
% 267.39/267.22 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 268.29/268.10 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 268.29/268.16 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 268.38/268.22 (SAT)(equ)(fun)(SAT) 209| -. -1 -.
% 268.38/268.28 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -1 -1 -. -. -.
% 268.60/268.45 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 268.92/268.80 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 269.38/269.20 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 269.77/269.60 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 270.12/269.99 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 270.50/270.39 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 270.98/270.80 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 271.30/271.19 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 271.70/271.59 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 272.18/271.99 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 272.51/272.39 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 272.98/272.79 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 273.37/273.19 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 273.72/273.59 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 274.10/273.98 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 274.48/274.37 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 274.91/274.79 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 275.31/275.18 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 275.79/275.59 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 276.13/275.95 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 276.51/276.35 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 276.90/276.71 (SAT)(equ)(fun)(SAT) 209| -. -1 -. -. -. -. -. -1 -1 -1
% 277.13/276.97 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 277.48/277.33 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 277.92/277.73 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 278.22/278.09 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 278.70/278.53 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 279.12/278.93 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 279.49/279.30 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 279.89/279.70 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 280.29/280.10 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 280.63/280.51 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 281.03/280.88 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 281.49/281.30 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 281.92/281.72 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 282.32/282.12 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 282.71/282.50 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -. -.
% 283.60/283.39 (SAT)(equ)(fun)(SAT) 209| -. -.
% 283.60/283.47 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -.
% 284.51/284.37 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -1 -1 -1 -. -.
% 284.74/284.53 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -.
% 285.09/284.94 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 285.53/285.36 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 285.92/285.77 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 286.31/286.19 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 286.72/286.59 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 287.21/287.00 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 287.54/287.36 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 287.92/287.78 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 288.39/288.19 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 288.82/288.61 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 289.21/289.02 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 289.63/289.44 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 290.02/289.86 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 290.42/290.27 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 290.83/290.68 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 291.31/291.10 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.61/291.48 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -.
% 292.50/292.36 (SAT)(equ)(fun)(SAT) 209| -.
% 292.65/292.43 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -.
% 293.53/293.31 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -1 -1 -. -. -.
% 293.72/293.49 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 294.13/293.91 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 294.52/294.32 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 294.94/294.74 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 295.34/295.16 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 295.71/295.56 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 296.15/295.96 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 296.54/296.32 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 296.93/296.72 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 297.33/297.13 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 297.64/297.48 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 298.10/297.88 (SAT)(equ)(fun)(SAT) 209| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -.
% 298.46/298.25 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 298.83/298.64 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 299.21/299.05 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 299.66/299.45 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -.
%------------------------------------------------------------------------------