TSTP Solution File: SWV421-1.205 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV421-1.205 : 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 : n007.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:08 EDT 2022
% Result : Timeout 285.99s 285.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWV421-1.205 : TPTP v8.1.0. Released v3.5.0.
% 0.06/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.33 % Computer : n007.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jun 14 21:20:40 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.33 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.33 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.12/0.38 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.42 #elt|#instances
% 0.18/0.42 (SAT)(equ)(fun)(SAT) 214| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.18/0.55 (SAT)(equ)(fun)(SAT) 214| -123456789XLC> -. -. -1 -. -. -. -1 -. -. -. -.
% 0.45/0.67 (SAT)(equ)(fun)(SAT) 214| -12 -. -. -. -. -. -. -. -.
% 0.54/0.73 (SAT)(equ)(fun)(SAT) 214| -.
% 0.54/0.77 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 0.85/1.04 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC> -. -123456789XLC> -. -. -.
% 1.05/1.23 (SAT)(equ)(fun)(SAT) 214| -12 -12 -12
% 1.13/1.30 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 1.13/1.37 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.43/1.61 (SAT)(equ)(fun)(SAT) 214| -123456789XLC> -1 -. -. -123456789XLC> -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -1 -. -. -. -123456789XLC> -123456789XLC> -. -. -123456789XLC> -. -. -.
% 1.82/2.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -123456789XLC> -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -1 -123456789XLC> -. -. -. -. -1 -123456789XLC> -. -. -12 -1
% 2.43/2.59 (SAT)(equ)(fun)(SAT) 214| -1 -. -123456789X -. -1 -. -123456789X -. -. -12 -12 -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -.
% 2.75/2.95 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.15/3.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 3.92/4.16 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -123456789X -123456789XL -123456789X -. -123456789 -. -123456789XL -. -123456789XL -123456789XL -123456789XL -123456789 -123456789 -. -. -. -. -123456789XL -123456789X -123456789XL -. -123456789X -. -. -1 -123456789XLC -123456789XL -. -. -. -. -. -. -. -. -1 -. -.
% 4.53/4.74 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -1 -1234567 -. -123456789X -. -123456789X -. -12345 -123456789X -123456789X -123456789XL -123456789X -1 -1234567 -. -. -. -123456789X -123456789X -123456789X -123456789X -. -123456789X -. -. -. -123456789 -12345678 -123456789XL -. -. -. -. -.
% 5.04/5.27 (SAT)(equ)(fun)(SAT) 214| -. -123456 -12345678 -1234 -. -. -. -1234 -. -123456789X -123456789X -1234 -123 -1234 -. -1 -. -. -. -123456789X -123456789X -12345 -12345 -. -12 -. -. -. -123456789X -. -1234 -. -.
% 5.55/5.72 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -123456789 -12 -. -. -. -12 -. -12345678 -12 -. -1 -123 -1 -. -. -. -. -. -. -12 -12 -. -. -. -. -. -1 -. -. -. -.
% 5.94/6.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -.
% 6.34/6.59 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 6.74/6.98 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.14/7.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC -1234 -1 -1 -12 -1 -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 7.97/8.19 (SAT)(equ)(fun)(SAT) 214| -. -1234567 -123456789X -12345 -. -123456789X -123456789XL -1 -. -1 -123456789 -123456 -123456 -. -123456789XL -123456789XL -. -123 -1 -. -. -. -. -12 -123456789XL -123456789X -123456 -1 -. -. -123456 -12 -1 -12 -123456789XL -123456789XL -. -1 -1 -123456789X -123456789XL -123456789XL -1 -. -. -. -123456 -123 -1234567 -123456789X -123 -12345678 -. -1 -1 -. -. -.
% 8.73/8.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -123456789X -123456789X -123456789X -. -123456789X -123456789 -123456789X -1 -123456 -1234 -123 -123456789X -123456789 -123456789XL -123456789X -1234567 -123456789X -123456789 -123456789X -123 -123 -123 -123456 -123456789X -123456789X -123456789X -12 -. -. -123456789 -1234 -1234567 -12345 -123456789XL -123456789X -12 -1234 -12345 -123456789X -123456789X -123456789X -12345 -1 -. -. -. -1 -12345 -1234567 -1234 -. -. -. -. -. -. -. -1 -. -. -.
% 9.45/9.69 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -123 -123456789X -. -123456789X -12345678 -123456789X -12 -123 -123456789X -12 -123456789X -123456 -123456789X -123456789X -123456789X -123456789X -12 -123456789X -1234567 -123456789X -123456789XL -1234567 -12345 -123456789X -12345 -123456 -. -. -123456789X -1 -1234567 -1234 -123456789X -123456789X -1234 -12 -12 -12345 -123456 -123456789 -1 -123 -. -. -12345 -. -123456789X -12345678 -123456789X -1 -. -. -1 -.
% 10.24/10.40 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -1234567 -123456789X -. -123456789X -123456789X -123456789X -1234 -1234 -123456789X -12 -1 -123 -123456789X -123456789X -123456789X -123456789X -123456789X -12345678 -12345 -123456789X -123456789X -123456789 -1234 -12345678 -1234567 -123456 -. -. -12345678 -12 -1234 -123 -123456789X -123456789X -12 -1234 -1234 -123456 -1234 -12345 -123456 -1 -. -. -1 -12 -12345678 -123456 -123456789X -1234 -. -. -. -.
% 10.93/11.09 (SAT)(equ)(fun)(SAT) 214| -. -12345 -123 -123456789 -. -1234567 -12345678 -1234567 -12345 -12 -123456789X -1 -12345 -1234567 -1234567 -123456 -123456789X -123456789X -123456789X -123456789X -123456 -123456789X -123456789X -1 -1234 -12345 -123 -123456789X -. -. -1234 -12 -12345 -12 -12345678 -123456 -12345678 -1234 -123456789X -12 -1234 -12345 -123 -123 -. -. -123 -. -123456 -123 -123456 -123 -.
% 11.56/11.80 (SAT)(equ)(fun)(SAT) 214| -. -123456 -12345678 -123456789X -. -123 -12 -12345 -123456789X -12345 -12345 -12 -1234567 -1234567 -123456789X -123456789 -12345 -123456789 -123456789X -1234567 -1234 -123456789X -123456789X -123456 -1234567 -123456 -123456 -12345 -. -. -123 -1 -12 -12 -12345678 -123456 -1 -123 -1 -1234 -12345 -12 -123456 -12 -. -. -123 -. -123 -123 -12345678 -1234567 -.
% 12.33/12.51 (SAT)(equ)(fun)(SAT) 214| -. -12345678 -12 -123456789X -. -123456789 -12 -1234 -1234 -123456789X -123 -12 -12 -123456 -12345678 -1234567 -12345 -12345678 -123456789X -123456789X -123 -123456789 -123456789X -1234567 -123 -123456789 -12345 -123456789 -. -. -12 -. -123 -1 -123456 -12345 -12 -12 -. -12345 -1234 -1234 -123456789X -12 -. -. -1 -. -1 -123 -123456789X -1234 -.
% 13.04/13.20 (SAT)(equ)(fun)(SAT) 214| -. -1 -12 -123456 -. -1234 -12345 -1234 -12345678 -12 -12 -. -123456 -12345678 -123456789X -1234567 -1234567 -123456789X -123456789X -123456 -123456789 -123456789X -123456789X -123456 -123 -1 -1234 -12345 -. -. -12 -12 -123 -1 -1 -123 -. -. -1 -1 -12 -1234 -123 -123 -. -. -. -. -. -1 -123 -1234 -.
% 13.66/13.86 (SAT)(equ)(fun)(SAT) 214| -. -12 -12 -1234567 -. -12345 -123 -123 -12345 -123 -1 -. -1234 -123 -12 -1234567 -1234567 -123456789X -123456 -12345 -1234567 -123456789X -123456789X -123456 -1234567 -123 -1234 -12345 -. -. -1 -. -. -12 -123 -12345 -123456 -1234 -12345 -123 -12345 -1234 -12345 -123 -. -. -. -. -. -1 -123456 -12 -.
% 14.36/14.55 (SAT)(equ)(fun)(SAT) 214| -. -1234567 -1234 -123456789 -. -. -123 -1234 -1234 -1234 -. -. -12 -12345 -1234 -123 -123456 -12345678 -12345 -12345 -1234567 -12345678 -1234567 -1234567 -12 -123 -123456 -123456789 -. -. -1234 -123 -1 -. -123 -12 -12 -. -1 -12345 -1 -. -12345678 -12 -. -. -. -. -12 -. -12345678 -1234 -.
% 15.04/15.23 (SAT)(equ)(fun)(SAT) 214| -. -1234567 -1 -. -. -12 -123456 -1 -12345 -12345 -1 -. -12 -123 -123 -12 -1234 -12345678 -1234 -12345678 -123456789X -123456789X -123456789X -123 -123 -1 -123 -12345 -. -. -1 -. -12345 -123 -12 -12 -12 -. -1 -1 -1 -12 -1 -. -. -. -1 -. -1 -12 -.
% 15.75/15.90 (SAT)(equ)(fun)(SAT) 214| -. -123 -1234 -12345 -. -1 -12 -12345 -12345 -123 -1234 -. -1 -123 -123 -12 -123 -1234567 -12 -12345 -123456 -123456789X -123456789X -12 -123 -1234567 -123456 -12345 -. -. -12 -1 -1 -1 -12 -12 -123 -123 -123 -123 -12 -123 -12 -. -. -. -. -. -12 -1234 -.
% 16.37/16.57 (SAT)(equ)(fun)(SAT) 214| -. -12345 -123 -12345 -. -12345 -1 -1 -12345 -123 -12 -12 -1 -12 -123 -12345 -1234 -12 -123 -1234 -12345 -1234567 -123456789 -. -12 -1 -123 -1 -. -. -1 -1 -1 -. -. -1 -123 -12 -1234 -1234 -1 -1 -1 -1 -. -. -. -. -. -1
% 16.96/17.19 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -12 -. -1 -123 -1 -12 -1234 -12 -. -12345 -12 -1234 -1 -12345 -123456 -12345 -12345 -1234 -123456 -12345678 -12 -. -12 -123 -1234 -. -. -. -. -1 -. -12 -1 -. -1 -1 -123 -. -1234 -12 -. -. -. -. -. -12 -123
% 17.65/17.81 (SAT)(equ)(fun)(SAT) 214| -. -1 -12 -1 -. -12 -. -. -12345 -. -. -. -. -1 -123 -1 -123456 -123456 -12345678 -1234567 -123456 -1234567 -1234567 -1 -1 -123 -123 -12 -. -. -. -1 -. -. -. -. -1 -1 -1 -1 -1 -1 -1 -. -. -. -. -. -12 -. -.
% 18.26/18.44 (SAT)(equ)(fun)(SAT) 214| -. -123 -123 -12 -. -1 -12 -12 -12 -123 -12 -. -. -. -12 -12 -12 -1234 -1234 -123456 -12 -123456 -1234567 -12 -123 -1 -123 -123 -. -. -. -. -1 -. -. -. -1 -. -1 -1234 -123 -12 -12 -. -. -. -. -. -1 -1
% 18.88/19.05 (SAT)(equ)(fun)(SAT) 214| -. -1234 -. -. -. -. -123 -12 -12 -1234 -. -. -12 -123 -1 -. -123 -1 -12345 -1234 -12 -1 -12 -12 -. -1 -1234 -123456 -. -. -. -. -12 -123 -1 -1 -. -. -. -12 -. -1 -12 -1 -. -. -. -. -12 -123
% 19.46/19.65 (SAT)(equ)(fun)(SAT) 214| -. -123 -1 -1 -. -. -. -. -123456 -1234 -123 -. -. -1 -12 -1 -123 -123 -12 -1 -1234 -123456789X -123456789 -. -. -. -1 -123 -. -. -. -1 -. -. -1 -. -1 -. -1 -1 -. -. -1 -. -. -. -. -. -. -.
% 20.06/20.25 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -123 -. -1 -1 -1 -123 -1 -1 -1 -1 -12 -. -. -1 -1 -123 -12 -123456 -1234567 -123456789X -123 -. -. -1 -12 -. -. -. -. -. -. -1 -1 -. -. -. -12 -. -12 -. -1 -. -. -. -. -12 -1
% 20.66/20.86 (SAT)(equ)(fun)(SAT) 214| -. -12 -1 -. -. -12 -. -. -123 -1234 -. -. -. -. -1 -12 -1 -1 -12 -12 -123 -12345 -12345 -. -. -12 -1 -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -12 -. -. -. -. -. -12 -12
% 21.27/21.45 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -1 -. -12 -1 -1 -12 -. -. -. -1 -. -1 -1 -1 -12 -12 -1 -12 -1 -1 -1 -. -1 -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -.
% 21.87/22.02 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -1 -. -1 -. -. -1 -1 -. -. -. -. -1 -1 -. -. -1234 -123 -123 -123 -123 -. -. -. -123 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 22.38/22.59 (SAT)(equ)(fun)(SAT) 214| -. -12 -. -1 -. -. -. -1 -1 -1 -. -. -1 -. -. -. -123 -1 -. -. -. -12 -123 -. -1 -. -1 -1 -. -. -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -12
% 22.98/23.17 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -12 -1 -. -. -. -. -. -. -1 -1 -. -12 -1 -1 -12 -12 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -12 -. -. -. -. -. -. -. -.
% 23.57/23.74 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -.
% 24.16/24.31 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 24.57/24.78 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.95/25.19 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.48/25.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -123456789XLC -123456789XLC> -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.55/26.69 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -12 -. -12345 -12345 -1234 -123456789X -12 -1 -1 -1 -1 -. -1 -. -1 -1 -1 -123456 -12345 -1234 -. -. -12 -12345678 -1234 -. -. -1234567 -12 -12 -1234 -12345 -123456 -1234567 -123456789X -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -12 -. -123 -12 -123456789X -. -. -1234567 -. -123456789XL -123456789XL -12 -1234 -. -. -. -1 -. -. -.
% 27.46/27.66 (SAT)(equ)(fun)(SAT) 214| -. -12345 -12 -12345 -. -123456 -123456789 -12345 -123456789X -123456789X -12 -1 -123 -12 -1 -1234 -1 -12 -123456 -12345 -123456 -123456789X -123456789X -1234 -1 -12 -123456789X -1234567 -. -. -1234567 -1 -123 -123456 -123456789X -123456789X -123456 -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345 -123 -1 -1 -123456789 -. -. -12 -. -123456789XL -123456789XL -1 -12345 -. -. -1 -.
% 28.36/28.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1234 -12345 -123456 -. -123456789 -1234567 -123456 -123456789X -123456789X -123 -1 -1 -1 -12 -12345678 -123456789X -1 -123 -12345 -123456 -123456789X -123456789X -1234 -. -123 -123 -12345 -. -. -12345 -. -12 -123456789X -12345678 -1234567 -1234 -1234 -123456789X -123456789X -123456789X -123456789X -123456789X -123 -1 -1234567 -12345 -123456789X -. -. -1234 -12 -123456789XL -123456789XL -123 -12345678 -. -1 -.
% 29.26/29.49 (SAT)(equ)(fun)(SAT) 214| -. -12345678 -12 -12345678 -. -12345 -12345 -1234 -1234567 -123456789X -1234 -. -12 -12 -12 -1234 -12345 -1234567 -123456789X -1234 -1234567 -123456789XL -123456789XL -123 -12 -12345 -1234 -1234567 -. -. -1 -12 -1234567 -1 -123 -123 -12345678 -123456789 -1234567 -123456789X -1234567 -123456789XL -123456789XL -123 -1234 -1234567 -123456789 -123456789 -. -. -1234 -123 -123456789XL -123456789XL -1 -12345678 -. -. -. -.
% 30.26/30.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -123 -1234 -1234 -. -12345 -12345 -123456 -1234567 -123456789 -12 -1 -1 -123456 -1 -123456 -123456789 -1234 -1234567 -123456789 -123456789X -123456789X -123456789X -12345 -1234 -123 -12345 -123456 -. -. -12345678 -. -1234 -1234 -123 -123 -123456789 -1234567 -123456789 -123456789 -12345 -123456789XL -123456789XL -1234 -123 -123 -12345 -123456789 -. -. -123456 -1234 -123456789XL -123456789XL -1 -123456 -.
% 31.17/31.31 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -12 -1234 -. -123456789X -12345678 -1234 -12 -123456 -123 -1 -1 -1 -1 -12 -12345 -123 -1234 -123 -12345 -123456789X -123456789X -1234 -1 -12345 -123456789X -12345 -. -. -1 -1 -1 -123 -123 -123456789 -12345678 -123456 -123456789X -123456789 -123 -123456789XL -123456789XL -12345 -1234 -12 -123456 -123456789X -. -. -1234 -12 -123456789X -123456789X -12 -123456789 -.
% 32.07/32.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -123456 -1 -1 -. -1 -12345 -12345 -12 -12345678 -1234 -. -123 -12 -1 -12 -12 -123 -1234 -1 -12345 -123456789X -123456789X -123 -12 -1234 -123 -1234 -. -. -12345 -1 -1234 -. -12 -12 -12345 -12345 -123456789X -1234567 -12345678 -123456789X -123456789X -12345 -12 -12345 -123 -123456 -. -. -1234 -123 -123456789X -123456789X -. -1234567 -.
% 32.89/33.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -12345 -123 -1234 -. -. -1234 -1234567 -1 -123 -1 -. -. -1 -. -12 -12 -1234 -123456 -1 -1234567 -123456789X -123456789X -12345 -. -123 -1234567 -12345 -. -. -12 -1 -12345 -1234 -123 -12345 -12345 -12345678 -1234567 -1234 -1 -123456789XL -123456789XL -1234 -. -. -123456789X -123456789X -. -. -1 -. -123456789X -123456789X -123 -12345 -.
% 33.79/33.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1234 -1234 -123 -. -12345 -123 -. -. -12345678 -123 -12 -1 -1 -. -123 -12 -123 -12345 -1234567 -123456 -123456789 -1234567 -12 -12 -123 -1234 -1234567 -. -. -12 -123 -12 -12 -123 -1234 -123 -12345 -1234567 -123456789X -12345 -123456789XL -123456789XL -123456 -123 -1 -123456 -12345678 -. -. -1234 -12 -123456789X -123456789X -. -1234 -.
% 34.57/34.78 (SAT)(equ)(fun)(SAT) 214| -. -12 -123456 -1234 -. -12345 -123456 -12 -. -1234 -. -1 -123 -1 -. -. -1234 -1 -12345 -12 -1234 -123456789X -123456789X -12 -1 -12 -1234 -12345678 -. -. -12 -. -123456 -12 -123 -123 -1234567 -123 -12345 -12 -12345 -123456789XL -123456789XL -1234567 -1 -12345 -1234 -1234567 -. -. -12 -123 -1234567 -1234567 -1 -123456789X -.
% 35.46/35.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -12 -12345 -. -123 -12345678 -1 -. -. -12 -1 -1 -12 -. -1 -1234 -12 -12345 -123 -12345 -123456789X -123456789X -12 -12 -1234 -12345 -12345 -. -. -1234 -1 -. -1 -. -12345 -1234 -12345 -1234 -123 -123456 -123456789X -123456789X -12345 -12 -1234 -12345678 -123456789 -. -. -1234 -12 -1234567 -1234567 -12 -12345678 -.
% 36.26/36.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -1234 -12 -. -123 -12345 -. -12 -1 -12 -. -. -123 -1 -123 -12 -. -1234 -1 -1234 -12345678 -123456789 -12345 -1 -123 -123 -. -. -. -. -1 -1234 -12 -. -123 -1 -123 -1234 -1234 -12 -123456789X -123456789X -123 -12 -1 -1234 -123456789 -. -. -12 -12 -12345 -12345 -123 -123456789X -.
% 37.10/37.29 (SAT)(equ)(fun)(SAT) 214| -. -12 -. -1 -. -12 -1 -. -. -. -1 -12 -12 -1234 -. -12 -1234 -12 -123 -1 -12 -123456789X -123456789X -1234 -1 -12 -. -1 -. -. -12 -. -12 -123 -1 -123 -123 -1234567 -123 -123 -1234 -123456789X -123456789X -123 -1234 -1234 -12 -1 -. -. -. -1 -12345 -12345 -1 -123 -.
% 37.88/38.06 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -12 -. -12 -12345 -. -. -12345 -12 -. -12 -1 -. -123 -12 -. -1 -123 -12 -123456789 -123456789 -12 -12 -12 -1234 -12 -. -. -123 -. -1 -123 -1 -123 -12345 -123 -1234 -1234567 -12345 -123456789X -123456789X -1234 -1234 -123 -1234 -1 -. -. -12 -123 -12345 -1234 -123 -12345 -.
% 38.69/38.84 (SAT)(equ)(fun)(SAT) 214| -. -. -12 -1 -. -123 -1 -1 -. -1 -1 -. -12 -1 -. -123 -123 -12 -12 -123 -1234567 -1234567 -1234567 -123 -1 -1 -1234 -1234 -. -. -123 -. -12 -123 -1 -1 -123 -12 -123456 -1234 -12 -123456789X -123456789X -1234 -. -123 -123 -123456789X -. -. -12 -12 -1234 -1234 -123 -1234 -.
% 39.47/39.61 (SAT)(equ)(fun)(SAT) 214| -. -12 -123 -12 -. -1 -12345 -12 -1 -. -. -. -1 -123 -. -1 -. -. -1 -1 -. -12345678 -123456789X -1 -1 -. -123 -1 -. -. -. -. -1 -12 -12 -123 -1 -1 -. -1 -1 -123456789X -123456789X -1234 -12 -1 -12345678 -1234 -. -. -12 -. -1 -1 -1 -1234567 -.
% 40.19/40.35 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -1 -. -. -1 -. -. -1 -. -. -12 -12 -. -1 -. -1 -1 -1 -1 -123456789X -123456789X -12 -12 -. -1 -1 -. -. -1 -1 -1 -12 -1 -123 -1 -123 -123 -123 -1234 -12345678 -12345678 -1 -12 -1 -123 -123 -. -. -1 -1 -123 -123 -. -123 -.
% 40.97/41.11 (SAT)(equ)(fun)(SAT) 214| -. -123 -1 -1 -. -. -1 -1 -. -12 -. -1 -123 -1 -1 -12345 -1 -. -1 -. -1 -123 -1234 -1 -1 -1 -. -1 -. -. -123 -1 -12 -1 -. -1234 -1 -12 -12 -1234 -1 -1234567 -1234567 -12 -. -1 -123 -. -. -. -. -. -12 -12 -. -123456 -.
% 41.70/41.83 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -1 -123 -. -. -. -. -1 -. -1 -. -1 -1 -. -. -. -1 -1234 -1234 -123 -12 -12 -. -12 -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -12345 -1234 -12 -12 -12345 -123 -12 -. -. -. -1 -. -. -12 -123 -.
% 42.39/42.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -12 -12 -12 -1 -. -1 -1 -. -. -. -. -. -123 -. -1 -. -. -. -1 -. -12 -12 -12 -. -. -1 -. -. -. -1 -. -. -. -1 -12 -.
% 43.07/43.25 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -12 -. -1 -. -. -12 -12 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -. -123 -123 -1 -1 -. -1 -. -. -. -1 -. -. -. -. -123 -.
% 43.80/43.93 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -12345 -12345 -. -. -1 -123 -1 -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -123456 -123456 -123 -. -12 -1 -. -. -. -. -12 -. -. -. -123 -.
% 44.50/44.67 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -. -. -1 -1 -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -12 -12 -. -1 -. -123 -. -. -. -1 -. -. -. -. -1 -.
% 45.18/45.36 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -12 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -12 -.
% 45.90/46.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -.
% 46.50/46.67 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -1 -. -. -. -12 -12 -. -. -. -1 -. -. -. -12 -.
% 47.18/47.33 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1234 -1234 -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -.
% 47.79/47.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.48/48.66 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.17/49.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 49.81/49.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -123 -123 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -.
% 50.41/50.59 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 51.10/51.23 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.71/51.86 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -.
% 51.80/51.98 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 52.62/52.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.91/53.03 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 53.69/53.84 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 53.79/53.89 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 53.81/53.94 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 53.90/54.01 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 53.90/54.05 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 53.98/54.09 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 53.98/54.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 54.08/54.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 54.90/55.01 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 54.90/55.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 55.02/55.13 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 55.02/55.17 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 55.11/55.21 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 55.11/55.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 55.19/55.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 55.92/56.11 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 56.02/56.16 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 56.09/56.20 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 56.09/56.25 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 56.19/56.29 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 56.22/56.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 56.98/57.13 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 57.07/57.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 57.12/57.23 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 57.12/57.28 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 57.20/57.32 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 57.20/57.36 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 57.20/57.40 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 57.30/57.45 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 58.11/58.26 (SAT)(equ)(fun)(SAT) 214| -.
% 58.20/58.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 58.99/59.11 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 58.99/59.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 59.12/59.22 (SAT)(equ)(fun)(SAT) 214| -.
% 59.12/59.27 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 59.90/60.09 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 60.02/60.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 60.12/60.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 60.12/60.28 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 60.20/60.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 61.02/61.15 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 61.12/61.22 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 61.12/61.27 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 61.91/62.08 (SAT)(equ)(fun)(SAT) 214| -.
% 62.03/62.13 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 62.81/62.93 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -. -. -.
% 62.89/63.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 62.89/63.07 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 63.02/63.11 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 63.02/63.16 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 63.02/63.20 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 63.12/63.25 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 63.91/64.07 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 64.03/64.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 64.03/64.20 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 64.13/64.24 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 64.13/64.28 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 64.21/64.32 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 64.21/64.37 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 65.01/65.18 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 65.11/65.23 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 65.11/65.28 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 65.99/66.09 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 65.99/66.14 (SAT)(equ)(fun)(SAT) 214| -.
% 66.09/66.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 66.83/67.00 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 66.93/67.05 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 67.02/67.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 67.02/67.17 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 67.11/67.22 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 67.11/67.26 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 67.23/67.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 68.01/68.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 68.12/68.20 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 68.13/68.24 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 68.13/68.29 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 68.23/68.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 69.01/69.14 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 69.01/69.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 69.11/69.24 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 69.11/69.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 69.23/69.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 70.02/70.13 (SAT)(equ)(fun)(SAT) 214| -.
% 70.02/70.18 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 70.90/70.98 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 70.93/71.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 70.93/71.10 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 71.03/71.14 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 71.03/71.18 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 71.11/71.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 71.11/71.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 71.21/71.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 72.03/72.12 (SAT)(equ)(fun)(SAT) 214| -.
% 72.03/72.17 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 72.82/72.98 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 72.91/73.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 73.01/73.10 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 73.04/73.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 73.04/73.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 73.92/74.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 73.92/74.08 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 74.04/74.12 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 74.04/74.18 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 74.91/74.98 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 74.91/75.04 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 75.01/75.09 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 75.04/75.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 75.84/75.94 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 75.92/76.00 (SAT)(equ)(fun)(SAT) 214| -.
% 75.92/76.05 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 76.73/76.85 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 76.81/76.92 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 76.81/76.97 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 76.93/77.01 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 76.95/77.06 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 77.03/77.10 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 77.03/77.15 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 77.84/77.95 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 77.92/78.00 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 77.92/78.05 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 78.01/78.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 78.81/78.89 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 78.84/78.95 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 78.84/78.99 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 78.94/79.04 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 78.94/79.09 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 79.72/79.89 (SAT)(equ)(fun)(SAT) 214| -.
% 79.84/79.94 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 80.64/80.75 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 80.73/80.80 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 80.73/80.86 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 80.81/80.92 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 80.81/80.97 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 81.65/81.80 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 81.75/81.85 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 81.83/81.90 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 81.83/81.95 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 82.63/82.75 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 82.73/82.81 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 82.75/82.85 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 82.84/82.90 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 83.64/83.71 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 83.65/83.76 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 83.73/83.81 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 83.73/83.86 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 84.55/84.66 (SAT)(equ)(fun)(SAT) 214| -.
% 84.64/84.71 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 85.45/85.52 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 85.45/85.59 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 85.56/85.63 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 85.56/85.68 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 86.44/86.51 (SAT)(equ)(fun)(SAT) 214| -.
% 86.44/86.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 87.25/87.37 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 87.34/87.44 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 87.34/87.48 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 87.45/87.54 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 88.26/88.36 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 88.34/88.42 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 88.34/88.46 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 88.44/88.51 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 88.46/88.55 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 88.46/88.60 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 89.35/89.41 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 89.36/89.46 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 89.45/89.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 90.25/90.34 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 90.25/90.39 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 90.34/90.44 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 90.45/90.51 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 90.45/90.55 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 90.55/90.61 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 91.33/91.42 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 91.33/91.47 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 91.45/91.52 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 91.46/91.56 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 91.55/91.62 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 92.36/92.42 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 92.36/92.48 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 92.46/92.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 93.27/93.34 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 93.27/93.39 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 93.36/93.44 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 93.36/93.49 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 94.16/94.30 (SAT)(equ)(fun)(SAT) 214| -.
% 94.25/94.35 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 95.07/95.15 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 95.07/95.20 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 95.16/95.26 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 95.24/95.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 95.24/95.37 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 95.38/95.42 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 96.14/96.24 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 96.24/96.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 97.06/97.11 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 97.06/97.18 (SAT)(equ)(fun)(SAT) 214| -.
% 97.16/97.23 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 97.94/98.04 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -. -. -.
% 98.06/98.11 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 98.07/98.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 98.16/98.23 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 98.24/98.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 99.06/99.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 99.13/99.18 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 99.13/99.22 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 99.13/99.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 99.28/99.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 100.06/100.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 100.17/100.22 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 100.17/100.26 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 100.26/100.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 101.06/101.12 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 101.06/101.19 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 101.16/101.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 101.16/101.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 101.25/101.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 102.07/102.15 (SAT)(equ)(fun)(SAT) 214| -.
% 102.15/102.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 102.96/103.02 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 102.96/103.07 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 103.05/103.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 103.15/103.20 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 103.95/104.00 (SAT)(equ)(fun)(SAT) 214| -.
% 103.95/104.05 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 104.77/104.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 104.86/104.93 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 104.86/104.97 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 104.98/105.02 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 104.98/105.06 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 105.07/105.12 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 105.88/105.92 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 105.88/105.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 105.98/106.05 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 106.06/106.10 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 106.06/106.14 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 106.06/106.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 106.18/106.23 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 106.18/106.28 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 106.27/106.32 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 106.27/106.37 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 106.35/106.41 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 106.35/106.46 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 107.17/107.29 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 107.27/107.35 (SAT)(equ)(fun)(SAT) 214| -.
% 107.37/107.41 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 108.16/108.22 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 108.26/108.29 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 108.27/108.35 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 108.37/108.41 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 109.19/109.22 (SAT)(equ)(fun)(SAT) 214| -.
% 109.19/109.28 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 110.04/110.09 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 110.09/110.14 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 110.09/110.20 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 110.17/110.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 110.26/110.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 111.07/111.13 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 111.16/111.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 111.16/111.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 111.25/111.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 111.98/112.08 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 112.07/112.14 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 112.07/112.18 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 112.20/112.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 112.97/113.06 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 113.08/113.12 (SAT)(equ)(fun)(SAT) 214| -.
% 113.10/113.17 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 113.87/113.98 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 113.99/114.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 114.08/114.12 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 114.08/114.16 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 114.16/114.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 114.98/115.02 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 114.98/115.08 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 115.07/115.12 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 115.07/115.16 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 115.18/115.21 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 115.20/115.25 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 115.20/115.30 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 115.29/115.34 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 115.29/115.38 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 115.37/115.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 116.17/116.25 (SAT)(equ)(fun)(SAT) 214| -.
% 116.26/116.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 117.08/117.11 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 117.08/117.16 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 117.16/117.22 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 117.26/117.28 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 117.30/117.33 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 117.30/117.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 118.09/118.19 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 118.18/118.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 118.18/118.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 119.00/119.11 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 119.10/119.17 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 119.90/119.98 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 120.00/120.04 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 120.08/120.10 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 120.08/120.16 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 120.17/120.21 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 120.17/120.26 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 120.98/121.06 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 121.07/121.12 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 121.07/121.17 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 121.90/121.98 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 122.00/122.03 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 122.00/122.08 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 122.09/122.12 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 122.09/122.18 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 122.91/122.99 (SAT)(equ)(fun)(SAT) 214| -.
% 123.00/123.04 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 123.81/123.85 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 123.89/123.91 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 123.89/123.98 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 123.98/124.02 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 123.98/124.08 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 124.79/124.88 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 124.87/124.94 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 124.98/124.99 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 125.78/125.80 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 125.78/125.86 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 125.89/125.91 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 125.90/125.95 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 125.90/125.99 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 126.00/126.04 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 126.08/126.09 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 126.82/126.90 (SAT)(equ)(fun)(SAT) 214| -.
% 126.91/126.96 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 127.71/127.76 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 127.80/127.84 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 127.88/127.90 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 128.69/128.72 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 128.69/128.77 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 128.79/128.84 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 128.89/128.90 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 129.68/129.71 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 129.68/129.77 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 129.80/129.81 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 129.81/129.87 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 130.58/130.68 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 130.71/130.74 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 130.71/130.78 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 130.79/130.83 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 130.87/130.88 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 131.62/131.69 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 131.71/131.75 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 131.80/131.81 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 132.60/132.62 (SAT)(equ)(fun)(SAT) 214| -.
% 132.60/132.68 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 133.41/133.48 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 133.50/133.55 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 133.59/133.60 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 133.59/133.64 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 133.59/133.69 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 133.72/133.73 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 133.72/133.78 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 133.81/133.83 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 134.62/134.63 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 134.62/134.69 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 134.70/134.73 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 134.70/134.78 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 134.79/134.83 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 134.79/134.88 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 135.69/135.69 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 135.69/135.75 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 135.79/135.80 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 136.60/136.61 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 136.60/136.66 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 136.72/136.73 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 136.72/136.79 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 136.81/136.85 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 136.89/136.90 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 137.62/137.71 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 137.72/137.77 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 137.79/137.82 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 137.79/137.86 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 137.90/137.91 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 137.92/137.97 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 138.69/138.77 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 138.83/138.83 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 138.83/138.89 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 138.92/138.93 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 138.92/138.99 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 139.82/139.81 (SAT)(equ)(fun)(SAT) 214| -.
% 139.82/139.86 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 140.63/140.67 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 140.72/140.73 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -. -. -.
% 140.79/140.80 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 140.79/140.87 (SAT)(equ)(fun)(SAT) 214| -.
% 140.94/140.93 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 141.69/141.73 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 141.80/141.81 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 141.84/141.85 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 141.84/141.90 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 141.92/141.95 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 142.71/142.76 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 142.81/142.82 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 142.81/142.87 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 143.62/143.68 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 143.71/143.74 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 143.71/143.78 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 143.80/143.84 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 144.64/144.64 (SAT)(equ)(fun)(SAT) 214| -.
% 144.72/144.70 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 145.53/145.51 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 145.53/145.58 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 145.61/145.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 146.42/146.45 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 146.51/146.51 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 146.51/146.58 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 146.62/146.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 147.41/147.44 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 147.52/147.50 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 147.54/147.55 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 147.54/147.60 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 148.42/148.41 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 148.44/148.47 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 148.44/148.51 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 148.54/148.56 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 148.61/148.62 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 149.43/149.45 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 149.51/149.50 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 149.51/149.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 150.32/150.38 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 150.43/150.44 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 150.43/150.48 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 150.53/150.54 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 150.53/150.59 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 151.40/151.40 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 151.44/151.46 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 151.53/151.52 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 151.53/151.58 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 152.35/152.39 (SAT)(equ)(fun)(SAT) 214| -.
% 152.44/152.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 153.24/153.25 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 153.34/153.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 153.34/153.37 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 153.44/153.43 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 154.23/154.23 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 154.31/154.29 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 154.31/154.35 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 154.42/154.39 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 154.44/154.44 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 154.44/154.50 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 155.32/155.31 (SAT)(equ)(fun)(SAT) 214| -.
% 155.35/155.36 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 156.20/156.18 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 156.25/156.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 156.34/156.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 157.13/157.12 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 157.13/157.19 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 157.23/157.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 158.03/158.05 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 158.12/158.11 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -. -. -. -.
% 158.12/158.18 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 158.24/158.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 158.33/158.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 159.15/159.13 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 159.15/159.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 159.23/159.23 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 159.31/159.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 160.05/160.09 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 160.14/160.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 160.23/160.22 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 160.23/160.27 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 160.34/160.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 160.34/160.37 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 160.43/160.41 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 160.43/160.47 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 161.24/161.30 (SAT)(equ)(fun)(SAT) 214| -.
% 161.34/161.36 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 162.16/162.19 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 162.25/162.26 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 162.32/162.32 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 162.41/162.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 163.23/163.21 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 163.23/163.26 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 163.35/163.31 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 163.37/163.36 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 163.37/163.40 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 163.45/163.46 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 164.25/164.28 (SAT)(equ)(fun)(SAT) 214| -.
% 164.35/164.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 165.16/165.15 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 165.24/165.21 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 165.24/165.28 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 165.33/165.35 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 166.16/166.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 166.23/166.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 166.23/166.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 166.36/166.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 167.12/167.14 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 167.22/167.20 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 167.27/167.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 167.27/167.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 168.15/168.13 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 168.15/168.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 168.25/168.24 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 168.25/168.28 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 168.34/168.33 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 168.34/168.38 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 168.45/168.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 169.23/169.25 (SAT)(equ)(fun)(SAT) 214| -.
% 169.35/169.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 170.12/170.13 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 170.22/170.18 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 170.27/170.25 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 170.34/170.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 171.16/171.14 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 171.26/171.21 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 171.26/171.27 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 172.04/172.08 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 172.15/172.14 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 172.15/172.18 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 172.25/172.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 172.25/172.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 172.35/172.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 173.17/173.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 173.26/173.22 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 173.26/173.27 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 173.34/173.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 173.34/173.36 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 173.46/173.41 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 173.47/173.46 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 173.56/173.52 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 174.35/174.32 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 174.44/174.39 (SAT)(equ)(fun)(SAT) 214| -.
% 174.44/174.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 175.27/175.25 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 175.35/175.31 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 175.44/175.39 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 175.47/175.44 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 175.47/175.48 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 175.57/175.54 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 176.35/176.35 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 176.35/176.41 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 176.46/176.45 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 176.56/176.51 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 177.35/177.33 (SAT)(equ)(fun)(SAT) 214| -.
% 177.44/177.39 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 178.24/178.20 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 178.24/178.28 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 178.39/178.33 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 178.39/178.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 179.25/179.19 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 179.27/179.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 179.37/179.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 180.17/180.12 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 180.17/180.18 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 180.26/180.23 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 180.26/180.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 180.35/180.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 181.17/181.15 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 181.25/181.21 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 181.25/181.26 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 181.36/181.31 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 181.38/181.37 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 182.24/182.19 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 182.29/182.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 182.37/182.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 183.17/183.13 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 183.17/183.19 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 183.26/183.26 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 183.36/183.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 184.17/184.13 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 184.25/184.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 184.25/184.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 184.25/184.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 185.16/185.10 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 185.16/185.16 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 185.26/185.22 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 186.06/186.05 (SAT)(equ)(fun)(SAT) 214| -.
% 186.18/186.11 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 186.96/186.93 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 187.07/187.00 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 187.08/187.06 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 187.87/187.88 (SAT)(equ)(fun)(SAT) 214| -.
% 188.00/187.94 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 188.85/188.77 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 188.90/188.84 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 188.90/188.89 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 189.00/188.94 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 189.00/188.98 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 189.07/189.04 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 189.16/189.09 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 189.20/189.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 189.20/189.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 190.08/190.01 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 190.09/190.07 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 190.19/190.11 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 190.19/190.16 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 190.28/190.22 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 191.08/191.03 (SAT)(equ)(fun)(SAT) 214| -.
% 191.08/191.08 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 191.90/191.90 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 191.98/191.96 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 192.06/192.03 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 192.06/192.08 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 192.20/192.13 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 192.20/192.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 193.07/193.00 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 193.11/193.06 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 193.19/193.11 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 193.19/193.16 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 193.27/193.22 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 194.08/194.03 (SAT)(equ)(fun)(SAT) 214| -.
% 194.08/194.09 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 194.98/194.91 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 194.98/194.97 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 195.07/195.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 195.18/195.10 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 195.20/195.16 (SAT)(equ)(fun)(SAT) 214| -.
% 195.29/195.22 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 196.11/196.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 196.11/196.11 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 196.20/196.16 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 196.28/196.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 197.09/197.04 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 197.17/197.10 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 197.17/197.16 (SAT)(equ)(fun)(SAT) 214| -.
% 197.28/197.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 198.09/198.04 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 198.09/198.10 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -. -. -.
% 198.19/198.17 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 198.28/198.23 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 198.37/198.31 (SAT)(equ)(fun)(SAT) 214| -.
% 198.37/198.36 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 199.20/199.18 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 199.27/199.26 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 199.39/199.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 199.42/199.37 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 199.42/199.42 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 199.51/199.47 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 199.58/199.51 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 199.66/199.57 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 200.48/200.39 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 200.48/200.46 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 200.59/200.51 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 200.60/200.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 201.38/201.38 (SAT)(equ)(fun)(SAT) 214| -.
% 201.49/201.43 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 202.32/202.26 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 202.40/202.32 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 202.40/202.38 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 202.47/202.45 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 202.57/202.50 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 202.62/202.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 203.39/203.38 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 203.52/203.44 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 203.52/203.50 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 204.40/204.31 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 204.41/204.38 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 204.51/204.43 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 204.51/204.48 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 204.59/204.53 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 204.59/204.57 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 204.68/204.62 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 204.68/204.68 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 205.51/205.50 (SAT)(equ)(fun)(SAT) 214| -.
% 205.60/205.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 206.42/206.38 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 206.52/206.46 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 206.59/206.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 207.38/207.35 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 207.48/207.41 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 207.53/207.49 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 207.61/207.55 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 207.69/207.60 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 207.69/207.66 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 208.50/208.47 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 208.59/208.53 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 208.59/208.58 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 208.71/208.63 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 208.71/208.68 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 208.81/208.74 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 209.66/209.57 (SAT)(equ)(fun)(SAT) 214| -.
% 209.72/209.63 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 210.50/210.46 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 210.62/210.52 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 210.63/210.58 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 210.72/210.66 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 210.78/210.70 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 210.78/210.76 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 210.88/210.80 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 210.93/210.86 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 211.69/211.68 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 211.80/211.75 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 211.90/211.81 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 211.90/211.86 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 211.99/211.91 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 211.99/211.96 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 212.11/212.02 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 212.92/212.84 (SAT)(equ)(fun)(SAT) 214| -.
% 212.99/212.90 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 213.74/213.72 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 213.84/213.78 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 213.90/213.84 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 214.02/213.92 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 214.04/213.98 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 214.89/214.79 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 214.89/214.86 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 215.02/214.93 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 215.02/214.98 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 215.12/215.03 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 215.91/215.86 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 216.00/215.92 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 216.00/215.98 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 216.89/216.80 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 216.97/216.87 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 217.02/216.92 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 217.04/216.98 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 217.89/217.79 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 217.93/217.86 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 217.93/217.91 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 218.02/217.97 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 218.82/218.79 (SAT)(equ)(fun)(SAT) 214| -.
% 218.92/218.85 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 219.71/219.67 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 219.80/219.73 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 219.89/219.79 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 219.93/219.87 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 220.01/219.92 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 220.10/219.98 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 220.91/220.81 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 220.98/220.87 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 220.98/220.92 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 221.08/220.97 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 221.11/221.02 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 221.14/221.07 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 221.21/221.12 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 221.21/221.18 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 222.11/222.00 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 222.11/222.07 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 222.20/222.12 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 222.20/222.17 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 222.32/222.22 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 222.32/222.28 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 223.11/223.09 (SAT)(equ)(fun)(SAT) 214| -.
% 223.21/223.15 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 224.03/223.97 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 224.10/224.04 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 224.23/224.12 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 224.24/224.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 225.13/225.01 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 225.14/225.10 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 225.23/225.17 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 225.30/225.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 225.40/225.28 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 225.45/225.33 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 225.45/225.39 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 226.23/226.19 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 226.33/226.26 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 226.42/226.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 227.12/227.08 (SAT)(equ)(fun)(SAT) 214| -.
% 227.24/227.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 228.01/227.91 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 228.09/227.97 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 228.15/228.05 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 228.15/228.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 229.01/228.89 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 229.05/228.97 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 229.14/229.02 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 229.14/229.08 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 229.91/229.84 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 230.02/229.91 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 230.04/229.96 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 230.83/230.73 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 230.83/230.80 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 230.92/230.84 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 230.92/230.89 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 231.02/230.94 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 231.02/230.99 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 231.84/231.76 (SAT)(equ)(fun)(SAT) 214| -.
% 231.91/231.81 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 232.66/232.58 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 232.73/232.64 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 232.81/232.70 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 232.81/232.78 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 232.95/232.83 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 232.95/232.88 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 233.04/232.93 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 233.81/233.70 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 233.81/233.76 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 233.94/233.82 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 234.63/234.59 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 234.73/234.66 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 234.82/234.72 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 235.52/235.49 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 235.66/235.56 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 235.75/235.61 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 236.50/236.38 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 236.56/236.45 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 236.56/236.49 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 236.63/236.55 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 237.44/237.32 (SAT)(equ)(fun)(SAT) 214| -.
% 237.44/237.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 238.23/238.15 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 238.33/238.22 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 238.33/238.27 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 238.43/238.35 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 238.53/238.40 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 238.53/238.45 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 239.35/239.22 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 239.35/239.28 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 239.43/239.33 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 239.52/239.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 240.26/240.20 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 240.36/240.27 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 240.43/240.32 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 240.50/240.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 241.26/241.17 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 241.35/241.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 241.35/241.28 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 241.43/241.33 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 241.43/241.37 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 241.56/241.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 242.34/242.20 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 242.34/242.26 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 242.44/242.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 243.24/243.11 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 243.26/243.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 243.34/243.24 (SAT)(equ)(fun)(SAT) 214| -.
% 243.43/243.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 244.17/244.06 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 244.24/244.14 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 244.31/244.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 244.31/244.24 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 244.41/244.29 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 244.47/244.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 245.17/245.11 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 245.25/245.18 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 245.34/245.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 245.44/245.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 246.15/246.06 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 246.24/246.13 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 246.24/246.17 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 246.34/246.22 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 246.34/246.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 246.44/246.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 247.26/247.12 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 247.26/247.18 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 247.36/247.23 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 247.36/247.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 248.16/248.06 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 248.23/248.12 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 248.31/248.17 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 248.37/248.23 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 249.08/249.00 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 249.18/249.08 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 249.95/249.85 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 250.06/249.92 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 250.06/249.97 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 250.16/250.05 (SAT)(equ)(fun)(SAT) 214| -.
% 250.25/250.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 250.95/250.88 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 251.05/250.96 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 251.15/251.01 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 251.15/251.06 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 251.96/251.83 (SAT)(equ)(fun)(SAT) 214| -.
% 251.96/251.88 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 252.73/252.64 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 252.85/252.70 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 252.88/252.78 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 252.99/252.83 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 252.99/252.89 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 253.77/253.67 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 253.84/253.73 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 253.94/253.78 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 253.99/253.84 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 254.77/254.62 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 254.77/254.69 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 254.85/254.75 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 254.95/254.80 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 254.95/254.85 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 255.05/254.91 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 255.85/255.74 (SAT)(equ)(fun)(SAT) 214| -.
% 255.94/255.79 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 256.68/256.57 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 256.75/256.63 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 256.82/256.71 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 256.82/256.76 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 256.95/256.82 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 257.68/257.59 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 257.77/257.66 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 257.85/257.72 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 257.85/257.77 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 257.97/257.83 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 258.75/258.60 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 258.75/258.67 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 258.85/258.72 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 258.85/258.78 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 259.66/259.54 (SAT)(equ)(fun)(SAT) 214| -.
% 259.75/259.59 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 260.49/260.39 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 260.56/260.46 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 260.63/260.51 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 260.73/260.57 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 260.79/260.63 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 261.49/261.40 (SAT)(equ)(fun)(SAT) 214| -.
% 261.58/261.46 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 262.37/262.23 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 262.37/262.30 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 262.46/262.37 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 262.56/262.43 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 263.28/263.20 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 263.38/263.27 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 263.47/263.32 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 263.55/263.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 264.30/264.15 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 264.38/264.22 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 264.38/264.27 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 264.45/264.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 264.45/264.37 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 264.57/264.42 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 264.60/264.47 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 264.70/264.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 265.40/265.31 (SAT)(equ)(fun)(SAT) 214| -.
% 265.48/265.36 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 266.25/266.14 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 266.38/266.22 (SAT)(equ)(fun)(SAT) 214| -.
% 266.38/266.27 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 267.17/267.05 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 267.27/267.13 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 267.27/267.18 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 267.37/267.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 268.18/268.01 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 268.18/268.08 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 268.28/268.15 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 268.36/268.20 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 268.36/268.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 268.47/268.31 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 269.21/269.08 (SAT)(equ)(fun)(SAT) 214| -.
% 269.27/269.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 270.06/269.94 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 270.16/270.01 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 270.20/270.08 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 270.29/270.17 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 270.37/270.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 270.37/270.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 270.49/270.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 271.27/271.13 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 271.37/271.21 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 271.37/271.27 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 271.47/271.32 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 271.47/271.37 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 271.57/271.43 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 272.40/272.21 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 272.40/272.28 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 272.48/272.33 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 272.48/272.38 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 272.57/272.43 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 272.57/272.49 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 273.41/273.26 (SAT)(equ)(fun)(SAT) 214| -.
% 273.48/273.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 274.27/274.10 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 274.35/274.18 (SAT)(equ)(fun)(SAT) 214| -.
% 274.41/274.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 275.09/275.01 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 275.19/275.08 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 275.28/275.16 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 275.38/275.22 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 276.09/275.99 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 276.19/276.06 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 276.28/276.11 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 276.28/276.17 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 277.06/276.94 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 277.19/277.01 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 277.21/277.06 (SAT)(equ)(fun)(SAT) 214| -. -1
% 277.29/277.11 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -1 -. -1
% 277.36/277.24 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 277.75/277.58 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 278.08/277.93 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -.
% 278.39/278.24 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 278.61/278.46 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -.
% 278.69/278.55 (SAT)(equ)(fun)(SAT) 214| -. -. -. -.
% 278.78/278.63 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 279.59/279.41 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 279.69/279.55 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 280.47/280.33 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.57/280.39 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.60/280.44 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.60/280.49 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.70/280.53 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.70/280.59 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.79/280.64 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.88/280.69 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.88/280.74 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.88/280.79 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 281.02/280.84 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 281.02/280.89 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 281.10/280.94 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 281.17/280.99 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 281.17/281.04 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -.
% 281.27/281.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 282.02/281.87 (SAT)(equ)(fun)(SAT) 214| -.
% 282.09/281.93 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 282.80/282.71 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -1 -1
% 282.98/282.87 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 283.39/283.22 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 283.70/283.57 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 284.10/283.94 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 284.41/284.29 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 284.81/284.66 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 285.23/285.04 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 285.61/285.44 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 285.99/285.83 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 286.38/286.20 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -.
% 286.73/286.59 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 287.11/286.97 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 287.51/287.35 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 287.89/287.73 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 288.29/288.10 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 288.61/288.48 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 289.01/288.85 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 289.41/289.22 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 289.73/289.60 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 290.13/289.99 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 290.53/290.36 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 290.89/290.74 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 291.30/291.11 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -.
% 291.62/291.46 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -. -1 -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -1 -. -1 -.
% 292.00/291.83 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -1
% 292.40/292.27 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 292.80/292.67 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 293.20/293.05 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -1 -1 -.
% 293.29/293.20 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 293.73/293.54 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -. -1 -.
% 294.03/293.90 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 294.43/294.31 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 294.83/294.69 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 295.22/295.06 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 295.60/295.44 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 296.00/295.81 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 296.31/296.19 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 296.73/296.58 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 297.13/296.96 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 297.54/297.35 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 297.93/297.74 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 298.31/298.12 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 298.70/298.50 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 299.04/298.88 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 299.42/299.26 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 299.82/299.66 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -.
%------------------------------------------------------------------------------