TSTP Solution File: SWV421-1.300 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV421-1.300 : 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 : n009.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 286.89s 286.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWV421-1.300 : TPTP v8.1.0. Released v3.5.0.
% 0.03/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.33 % Computer : n009.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Wed Jun 15 19:40:52 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.13/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.13/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.18/0.40 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.47 #elt|#instances
% 0.18/0.47 (SAT)(equ)(fun)(SAT) 309| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.46/0.65 (SAT)(equ)(fun)(SAT) 309| -123456789XLC> -. -. -1 -. -. -. -1 -. -. -. -.
% 0.56/0.76 (SAT)(equ)(fun)(SAT) 309| -123456789XLC -. -. -. -. -. -. -. -.
% 0.70/0.87 (SAT)(equ)(fun)(SAT) 309| -.
% 0.79/0.99 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 1.19/1.37 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC> -. -123456789XLC> -. -. -.
% 1.46/1.65 (SAT)(equ)(fun)(SAT) 309| -123456789XLC -123456789XLC -123456789XLC
% 1.92/2.11 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 2.21/2.39 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 2.79/2.99 (SAT)(equ)(fun)(SAT) 309| -123456789XLC> -1 -. -. -123456789XLC> -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -1 -. -. -. -123456789XLC> -123456789XLC> -. -. -123456789XLC> -. -. -.
% 3.32/3.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -123456789XLC> -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -123456789XLC -123456789XLC> -. -. -123456789XLC -1
% 4.16/4.37 (SAT)(equ)(fun)(SAT) 309| -123456789XLC -. -123456789X -. -123456789XLC -. -123456789 -. -. -. -. -. -. -. -123456789XLC -. -1 -12 -. -. -123456789XLC -. -. -. -.
% 5.12/5.31 (SAT)(equ)(fun)(SAT) 309| -. -. -12345678 -. -. -. -123456789X -. -. -1234 -. -. -. -. -. -. -1 -12 -. -. -. -. -.
% 5.77/5.96 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.44/6.62 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 8.21/8.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789XL -123456789X -. -123456789XL -. -123456789X -. -123456789XLC> -123456789XL -123456789XL -123456789X -12345 -. -. -. -. -123456789XLC> -123456789X -123456789XL -. -123456789X -. -. -123456789XL -123456789XLC> -123456789XL -. -. -. -. -. -. -. -. -1 -. -.
% 9.21/9.42 (SAT)(equ)(fun)(SAT) 309| -. -123456789XL -123456 -123456789X -. -123456789X -. -123456789XL -. -12345678 -123456789X -123456789XL -123456789XL -123456789XL -12345 -123456 -1 -. -. -123456789X -123456789X -123456789XL -123456789XL -. -123456789X -. -. -. -123456789X -123456789XL -123456789XL -. -. -. -. -.
% 10.20/10.40 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456789X -. -12345678 -. -123456789X -1 -123456789X -123456789X -123456789X -123456789X -123456789 -1 -1234 -1 -. -. -123456789X -1234567 -123456789X -123456789X -1 -1234 -. -. -. -123456789X -123 -123456789X -. -.
% 11.11/11.27 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -12345678 -12345678 -. -1 -. -1234 -1 -123456789X -123456 -12 -12345 -123 -. -1 -1 -. -. -12345 -123 -12 -12 -1 -. -. -. -. -1234 -12 -1234 -. -.
% 11.89/12.09 (SAT)(equ)(fun)(SAT) 309| -. -1234 -1 -123 -. -. -. -. -. -1 -1234 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -.
% 12.72/12.90 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -.
% 13.51/13.70 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.31/14.47 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.91/15.11 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -12 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456 -123456 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 16.73/16.94 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456 -. -123456789X -123456789XL -1 -. -12 -1234 -. -123456789XL -123456789XL -123456789XL -123456789XL -1 -123 -12 -123456789XL -123456789X -1 -12 -. -. -12345678 -123 -123456789XL -123456789XL -123456789XL -123456789XL -123 -12 -. -. -. -123456789X -123456789XL -123456789XL -12 -1 -. -. -1 -1 -123456789XL -123456789XLC -123456789X -123456789X -123 -123 -. -1 -1 -. -. -.
% 18.13/18.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456789X -. -123456789X -123456789X -123456789X -123456789X -. -123456789X -123456 -123456789X -1234567 -123456789XL -123456789XL -123456789X -123456789XL -123 -123456789X -123456789X -123456789X -123456 -. -. -123456789X -12345 -1234567 -123456 -123456789XL -123456789XL -123456789 -123456789X -1 -1234 -123456 -123456789X -123456789X -123456789XL -1234 -1 -. -. -12 -12 -123 -. -123456789X -123456789X -123456789 -123456 -. -1 -1 -. -. -.
% 19.54/19.70 (SAT)(equ)(fun)(SAT) 309| -. -123456789 -123456789X -123456789X -. -123456789X -12345678 -123456789X -123456789X -1234 -123456789X -1 -123456789X -1234567 -123456789XL -123456789XL -123456789XL -123456789XL -123456789 -1234567 -123456789 -123456789X -12345 -. -. -123456789X -12345 -1234 -1234567 -123456789XL -123456789X -123456789X -123456789XL -1234567 -123456789X -123456789X -1234 -1234567 -123456789X -123456789X -123456 -. -. -123 -1 -123456789 -12 -123456789XL -123456789XL -123456789 -123456 -. -1 -1 -. -. -.
% 20.90/21.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456789X -. -123456789X -123456789X -123456789X -123456789XL -123456789X -123456789X -123 -1234 -123456 -123456789X -123456789X -123456789X -123456789X -123456789X -123456 -123456 -123456789X -12345 -. -. -123456789X -123 -123456789X -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -1234567 -12345678 -12345678 -123456789X -123456789 -. -. -1234567 -. -12345678 -1234 -123456789XL -123456789XL -123456789X -123456789X -. -. -1 -. -. -.
% 22.28/22.46 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -12345 -123456789X -. -123456789X -1234567 -123456789X -123456789XL -123456789X -12345 -12 -12345 -123456 -123456789X -123456789X -12345678 -123456789X -1234 -1234 -123456789X -123456789 -1234567 -. -. -123456789X -12345 -123456789X -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456 -1234567 -1234 -123456789X -. -. -123456789 -1 -123456789 -123456 -123456789XL -123456789XL -1234 -123456 -. -1 -1 -. -. -.
% 23.63/23.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123456 -1234567 -123456789X -. -123456789X -123456789X -123456789X -123456789XL -123456789X -123456 -12 -12345678 -12345678 -12345 -1234 -123456 -123456789X -123456789 -1 -12345 -12345678 -1234567 -. -. -12345 -1 -1234567 -1234567 -123456789X -123456789X -123456789X -123456789X -123456 -12345678 -123456789X -12345678 -1234 -12345678 -12345678 -12345678 -. -. -12 -. -1234 -12 -123456789XL -123456789XL -123456789 -123456789X -. -1 -1 -. -. -. -1 -. -. -.
% 25.02/25.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12345678 -1234567 -1234 -. -123456789X -123456 -12345 -123456789X -123456789X -123 -12 -123 -1 -12345 -1234 -123456789X -123456789X -123456789X -1234 -12345 -123456 -123456 -. -. -123456 -. -123456 -12345 -12345678 -123456 -123456789X -123456789X -123456789X -123456789X -123456789X -123 -12 -123456 -1234567 -12345678 -. -. -123 -. -123456789 -123456 -123456789XL -123456789XL -12345678 -123456789X -. -. -1 -. -. -1 -.
% 26.46/26.61 (SAT)(equ)(fun)(SAT) 309| -. -12345 -1 -12345 -. -1234567 -123456 -123456789X -123456789X -123456789X -1234 -12 -1 -1234 -123456789 -123456 -1 -12345 -1 -12 -123 -12345 -12 -. -. -1234567 -1 -123456789 -12345678 -123456789X -123456 -123456789X -123456789X -123456789X -123456789X -123456789 -12345 -12 -123 -1 -123456789 -. -. -12345678 -. -123456 -12 -123456789XL -123456789XL -. -123456 -. -. -1 -. -1 -.
% 27.77/27.90 (SAT)(equ)(fun)(SAT) 309| -. -1234 -12345 -123456 -. -12345678 -123 -12345678 -123456789X -12345678 -. -. -12 -123 -12 -1234 -1234 -123 -1234567 -12345 -123 -123456 -1234567 -. -. -1234 -. -123 -123 -12345678 -123456789X -12345 -12345678 -123456789X -1234567 -12345678 -12345 -12345 -123 -12345678 -12345678 -. -. -1234 -1 -1234567 -123 -123456789X -123456789X -123456 -12345678 -. -1 -1 -. -. -1 -.
% 29.02/29.20 (SAT)(equ)(fun)(SAT) 309| -. -12345678 -1 -123456 -. -123 -123 -1234567 -1234567 -123456789X -123 -12 -123 -1 -12 -123 -12345 -1 -123 -123 -1 -123456 -1234 -. -. -123 -1234 -12 -12 -12345678 -123456 -1234567 -123 -12345678 -1234567 -123 -12345678 -12345 -12 -12 -123456789X -. -. -12345 -1 -1234 -12 -123456789X -123456789X -1 -1234567 -. -. -. -. -1 -.
% 30.29/30.45 (SAT)(equ)(fun)(SAT) 309| -. -1234 -1 -1234 -. -1234567 -12 -1234 -123456 -123456 -1234 -12 -123 -. -1234 -12345 -1234 -1234 -1234 -1234 -123456 -123456 -12345 -. -. -1 -1 -12 -12 -1234 -12345 -1234567 -123456789X -1234 -1234567 -1234 -12345 -123 -12 -123 -12345 -. -. -1234 -1 -1234 -12 -123456789X -123456789X -123 -123456 -. -. -1 -.
% 31.53/31.71 (SAT)(equ)(fun)(SAT) 309| -. -1234567 -1234 -1234567 -. -1234 -1234 -12 -123456789 -123456789X -1234 -1 -123456 -12 -1 -12 -1 -1 -1234 -12 -12 -1234 -1234 -. -. -12 -1 -123 -12 -1234 -123 -123 -123 -1234 -123 -123 -. -12345 -12 -1234567 -12345 -. -. -123 -. -123 -1234 -123456789X -123456789X -1 -12345678 -. -. -. -.
% 32.78/32.91 (SAT)(equ)(fun)(SAT) 309| -. -1234567 -. -12345 -. -1234 -. -12345 -123456789X -123456789X -. -. -1234 -123 -123456 -12345 -1 -1234 -1 -12 -. -1234 -1234 -. -. -. -1 -1 -1 -. -. -12345 -12345 -12345678 -123 -123456789 -12 -12 -12345 -123 -123456 -. -. -123 -1 -12 -1234 -123456789X -123456789X -1 -123456789 -.
% 34.00/34.12 (SAT)(equ)(fun)(SAT) 309| -. -12 -1 -1 -. -1 -123 -12 -12345 -123456 -123 -. -12 -12 -1234 -123 -1234 -1234 -123 -. -12 -123456 -12345 -. -. -1 -12 -12 -1234 -123 -1 -1234 -12345 -12345 -12 -1 -1234 -. -123 -12 -1234 -. -. -12345 -1 -1 -1 -123456789X -123456789X -1 -12345 -.
% 35.14/35.29 (SAT)(equ)(fun)(SAT) 309| -. -1234 -1 -1234 -. -. -. -12 -1234 -12345 -. -. -1234567 -1234 -123 -1234 -1234 -1234 -12345 -12 -123 -12 -123 -. -. -12 -. -. -123 -1234 -1234 -. -12 -1234 -123 -123 -1 -. -1 -12345 -. -. -. -123 -. -12 -12 -1234 -12345678 -12 -12 -.
% 36.34/36.48 (SAT)(equ)(fun)(SAT) 309| -. -12 -12 -1234567 -. -1234 -123 -1234 -. -1234 -1 -. -123 -12 -1234 -123 -12 -1234 -. -. -. -123 -123 -. -. -1 -1 -12 -1 -1 -. -123 -12345 -1234 -123 -12 -1234 -1 -1234 -123 -1234 -. -. -12 -. -123 -12 -1234567 -1234567 -. -1234567 -.
% 37.48/37.64 (SAT)(equ)(fun)(SAT) 309| -. -. -12 -12 -. -. -12 -123456 -1 -1234567 -1 -. -. -. -1 -12 -1 -. -1234 -12 -12 -1 -1234 -. -. -12 -1 -. -1 -1 -1 -12 -123 -1234 -1 -12 -12 -123 -123 -123 -123 -. -. -1 -. -12 -. -123456789X -12345678 -1 -12 -.
% 38.67/38.81 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -123 -. -12 -123 -1 -1 -12 -1 -. -1 -1 -12 -12 -. -123 -1 -1 -12345 -1234 -123 -. -. -. -. -12 -1 -1 -1 -123 -123 -1 -1 -1 -12 -1 -12 -1 -. -. -. -1 -1 -12 -. -123456 -123456 -. -12 -.
% 39.80/39.95 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -1 -. -1 -1 -1234 -12 -1 -1 -1 -1 -12 -1 -1 -12 -12 -12 -. -. -12 -12 -. -. -1 -1 -12 -1 -12 -12 -1 -. -12 -12 -12 -1 -1 -1 -123 -12 -. -. -12 -. -. -12 -123 -123 -. -. -.
% 40.93/41.10 (SAT)(equ)(fun)(SAT) 309| -. -1234 -1 -. -. -1 -12 -. -1 -. -12 -1 -. -. -1 -1 -. -1 -. -1 -. -1 -12 -. -. -. -. -. -1 -. -. -123 -123 -123 -1 -1 -1 -. -12 -1 -. -. -. -123 -. -12 -1 -1234 -1234 -. -12 -.
% 42.12/42.23 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -12 -12 -1 -12 -. -. -. -. -1 -12 -. -1 -123 -. -. -. -1 -1 -. -. -1 -. -. -12 -1 -1 -. -. -1 -1 -1 -1 -1 -. -1 -. -. -. -. -. -. -12 -123 -12 -. -12 -.
% 43.17/43.37 (SAT)(equ)(fun)(SAT) 309| -. -. -. -12 -. -123 -12 -1 -. -12 -. -. -12 -. -. -. -. -. -. -. -. -1234 -. -. -. -1 -. -. -1 -. -. -. -1 -123 -1 -12 -123 -. -1 -1 -12 -. -. -12 -. -1 -1 -123 -123 -. -1234 -.
% 44.39/44.50 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -1 -12 -1 -12 -12 -. -. -. -. -. -. -123 -1 -. -. -1 -1 -. -. -. -1 -. -. -1 -123 -12 -12 -12 -12 -. -1 -12 -. -123 -12 -. -. -. -12 -. -. -. -123 -1234 -. -12 -.
% 45.51/45.64 (SAT)(equ)(fun)(SAT) 309| -. -1 -12 -12 -. -1 -12 -12 -. -. -. -. -. -1 -1 -1 -1 -12 -1 -. -1 -12 -1 -. -. -1 -1 -. -. -12 -12 -1234 -1 -123 -1 -12 -1 -. -. -1 -. -. -. -. -. -12 -. -12 -12 -1 -1 -.
% 46.61/46.75 (SAT)(equ)(fun)(SAT) 309| -. -12 -1 -1 -. -. -1 -. -. -12 -. -. -. -1 -. -. -. -1 -1 -12 -. -1234 -1 -. -. -. -. -. -. -1 -12 -1 -1 -1234 -1 -1 -123 -12 -1 -12 -1 -. -. -. -1 -1 -. -12 -1 -. -123 -.
% 47.79/47.90 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -12 -. -1 -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -12 -12 -1 -1 -1 -. -. -. -. -. -12 -12 -. -. -. -. -1 -. -12 -12 -12 -12 -.
% 48.86/49.02 (SAT)(equ)(fun)(SAT) 309| -. -. -. -12 -. -1 -1 -1 -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -1 -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -1 -1 -1 -1 -.
% 50.00/50.15 (SAT)(equ)(fun)(SAT) 309| -. -123 -. -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -.
% 51.06/51.25 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -12 -. -. -1 -12 -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -1 -123 -. -. -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -. -1 -1 -. -. -1 -. -1 -. -1 -1 -1 -. -.
% 52.27/52.37 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -12 -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -1 -. -1 -. -. -.
% 53.32/53.47 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -12 -.
% 54.47/54.60 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 55.59/55.68 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -.
% 56.69/56.81 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -1 -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -123 -. -1 -. -12 -.
% 57.84/57.93 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 58.96/59.06 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -.
% 59.98/60.14 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -1 -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -12 -12 -12 -. -. -. -. -. -. -1 -1 -1 -. -12 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 61.13/61.27 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 62.27/62.36 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.34/63.46 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.33/64.45 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 65.21/65.30 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.01/66.09 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC -123456789XLC -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 68.32/68.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1234 -12345678 -123456789 -1 -12345 -12 -12 -1234 -12345 -12345 -1 -123 -12345 -12345 -1234567 -123456789X -123456789X -123456789XL -123456789X -123456789XL -123456789XL -123456789XL -123 -1234 -1234567 -1234 -12345678 -. -. -1 -1 -12 -123 -123456 -12345678 -1234 -12345 -123456789X -123456789X -123456789X -123456789XLC -123456789XLC -12 -1234 -123456 -123456789X -123456789X -. -. -123 -. -1 -12 -123456789X -123456789 -123456 -123456 -. -. -. -1 -. -. -.
% 70.14/70.28 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456 -123456789X -. -123456789 -123456789 -123456789X -12 -1234567 -123456789 -12 -12345 -123456 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456 -1234 -12345678 -123456789 -123456789 -. -. -1234 -1 -123 -12 -123456 -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789X -1 -1234567 -123456789 -123456789 -. -. -12 -. -1 -123 -123456789X -123456789X -123456789X -1234567 -. -. -. -.
% 72.00/72.10 (SAT)(equ)(fun)(SAT) 309| -. -123 -123456789X -123456789X -. -123456789 -12345678 -123456789 -12 -123456789X -1234567 -123 -1234567 -12345 -123456789 -1234567 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345678 -123456 -123456789 -12345678 -1234567 -. -. -12 -1 -1234 -12 -123456 -123456789 -12345678 -1234567 -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456 -123456 -123456 -123456789 -123456789X -. -. -12345 -. -1234 -1234 -123456789X -123456789X -12345 -1234 -.
% 73.84/73.92 (SAT)(equ)(fun)(SAT) 309| -. -12345678 -12 -123456789X -. -123456 -123456789X -123456789X -. -1234567 -123456789X -1 -12345 -12345678 -123 -123456 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123 -123 -12345 -123456789X -123456789X -. -. -123456789X -1234 -123456 -1234 -12 -1234567 -123456789X -123456789X -123456789X -1234 -1234 -123456789XL -123456789XL -123456 -12345 -12345678 -123456789 -123456789X -. -. -123456 -1 -12345 -123 -1234567 -123 -123 -1234567 -.
% 75.44/75.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123456789 -1 -123456789X -. -123456789X -12345 -123456789 -1 -12 -12 -1 -12 -12345 -123 -12345678 -123456789X -12345 -123456789X -12345678 -123456789X -123456789XL -123456789XL -1234567 -123 -123 -123456789 -12345 -. -. -123456789 -123 -12 -1234 -1234 -12345678 -123456789X -12345678 -123456789X -123456789X -1234567 -123456789XL -123456789XL -1234567 -1234 -1234 -123456789X -123456789X -. -. -123 -1 -123456 -. -123456789X -12345678 -1234567 -123456789 -.
% 77.21/77.27 (SAT)(equ)(fun)(SAT) 309| -. -12345 -1234 -12345 -. -12345 -123456789X -123456789 -12345 -123 -123456789 -1234 -1 -123456 -123 -1234567 -12345678 -123456 -123456789X -123456 -123456789X -123456789XL -123456789XL -1234567 -12 -12345678 -123456789X -123456789X -. -. -12345 -1 -123456 -1234 -. -12 -12345 -123456 -123456789X -1234567 -1234 -123456789XL -123456789XL -123456789X -123 -12345 -123456789X -123456789 -. -. -123 -12 -12345 -1 -12345678 -12345678 -1234567 -1234567 -.
% 78.88/79.01 (SAT)(equ)(fun)(SAT) 309| -. -12345678 -123 -12345 -. -12 -123456 -123456789 -1234567 -123456789 -. -123 -1234 -1234567 -1 -1234 -123456789X -1234 -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789 -12345 -12345678 -123456789X -123456789X -. -. -12345 -1 -123456 -12 -123 -1234567 -123456789X -1234567 -123456789X -1234567 -1234 -123456789XL -123456789XL -123 -123456 -123456789 -123456789X -123456789X -. -. -123 -. -123456 -123 -12345678 -123456789X -1234 -12345 -.
% 80.66/80.72 (SAT)(equ)(fun)(SAT) 309| -. -12345 -123456 -123456789 -. -12345 -12345678 -123 -. -. -1 -. -12 -12345 -123 -1234 -1234567 -1234 -12345678 -12345678 -123456789 -123456789XL -123456789XL -1234567 -12345678 -123456789X -12345678 -1234567 -. -. -123456 -1 -12345 -12 -123 -123 -1234567 -1234 -123456789X -12345 -1234567 -123456789XL -123456789XL -12345 -1234 -1234 -12345 -123456789 -. -. -12 -1 -1234567 -123 -12 -12 -12 -12345 -.
% 82.26/82.35 (SAT)(equ)(fun)(SAT) 309| -. -1234 -12 -1 -. -123 -123456789X -123 -. -12 -1234 -1 -1234567 -123456 -12 -1234567 -1234567 -12345 -12345 -12345 -1234567 -123456789XL -123456789XL -12345678 -12 -123456789 -123456789X -1234567 -. -. -1 -. -12 -12345 -. -12345 -12345678 -123456 -123456789 -12345 -12345678 -123456789XL -123456789XL -123456 -12 -123456 -123456789 -12345 -. -. -123 -. -123 -123 -12345 -123 -12345 -123456789X -.
% 83.93/84.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123456 -123 -1234 -. -12 -123456 -12345 -. -1234 -1234 -1 -1234 -123 -12 -12345 -12345 -123 -1234567 -123456789X -123456789X -123456789XL -123456789XL -1234567 -123456789 -1234 -12 -1234567 -. -. -12345678 -. -123456 -1234 -1 -123456 -123456 -. -123456 -12345678 -12345 -123456789X -123456789XL -1 -123456 -. -12345678 -12345678 -. -. -. -. -1 -12345 -123456 -12 -12 -1234567 -.
% 85.55/85.63 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123 -1234 -123 -. -12 -12 -123 -. -. -1234567 -12 -1 -. -1 -12345 -123456 -1234 -1234567 -123456 -123456 -123456789XL -123456789XL -12 -1234 -12345678 -12345678 -1234567 -. -. -123456 -1 -1 -12 -. -1 -123456 -1234 -12 -12345 -1234 -123456789XL -123456789X -123456789X -1234 -1234567 -123456789X -123 -. -. -12 -. -1 -12 -123 -123 -12345 -123456789X -.
% 87.16/87.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1234 -12345 -123456 -. -12 -123456789X -1 -. -1 -1 -12 -12 -123 -12 -12 -123456789X -12345 -123456789X -12345678 -123456789 -123456789X -123456789XL -12345 -12345 -1234567 -1234 -12 -. -. -123 -123 -12 -12 -12 -123 -123456789 -123 -123 -1234 -1 -123456789XL -123456789XL -1234567 -12 -12345 -1234567 -123456 -. -. -12345 -123 -1 -1234 -12 -1 -123 -123456789 -.
% 88.76/88.82 (SAT)(equ)(fun)(SAT) 309| -. -1 -123 -1 -. -12 -1 -1 -. -12 -12 -1 -123 -123 -12 -1234 -1234 -. -1234 -123456 -1 -123456789X -123456789X -1 -123 -1234 -123 -123456789X -. -. -12 -1 -12345 -123456 -. -12345678 -123456 -123 -12 -1234567 -12345678 -123456789X -123456789X -1234567 -1234567 -12345 -1234 -1 -. -. -1 -1 -12 -1 -12 -12 -123456 -123456789X -.
% 90.29/90.35 (SAT)(equ)(fun)(SAT) 309| -. -123 -123456789 -1 -. -123 -1234 -1 -. -. -1 -1 -123 -12345678 -1 -1 -1234 -1 -123 -. -123456 -123456789X -123456789X -123456 -123 -1234 -1234567 -123456789 -. -. -12 -1 -123456 -123456 -123 -. -123 -12 -1234 -12 -123 -123456789X -123456789X -123456 -1 -123456789X -1234 -12345 -. -. -. -1 -1 -12 -. -. -123 -1234 -.
% 91.77/91.85 (SAT)(equ)(fun)(SAT) 309| -. -12 -1234 -1 -. -12 -1234 -12 -. -12 -. -1 -1 -123 -12 -123 -123 -12 -1234567 -1234 -12 -123456789X -123456789X -12345 -123 -123 -12345678 -1234567 -. -. -12 -12345 -1 -12345 -. -123 -123 -12 -12 -1 -12345 -123456789X -123456789X -12345678 -12345 -12 -1234567 -12345 -. -. -12 -1 -12 -1 -1 -12 -1234 -123 -.
% 93.20/93.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1234 -123 -1 -. -1 -12345 -123 -. -1 -1 -. -1 -12 -. -1 -1 -12 -123456 -12345 -123456 -123456789X -123456789X -123 -123 -1234 -123456 -1234567 -. -. -. -. -12345 -12 -. -12 -1 -. -12 -12 -123456 -123456789X -123456789X -1234 -123 -1234567 -12345678 -1234 -. -. -1 -. -1 -12 -. -. -12345 -12345678 -.
% 94.78/94.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -123 -123 -12 -. -1 -1 -12 -12 -12 -. -123 -1 -1 -123456 -1234 -123 -123456789X -123456789X -12 -12 -123 -123 -1234 -. -. -1 -1 -1 -12 -1 -123 -1 -12 -1234 -12 -123 -123456789X -123456789X -12345 -12 -123456 -123 -12 -. -. -1 -1 -1 -1 -12 -1 -12345 -1234 -.
% 96.24/96.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12 -12 -. -. -1 -12345 -1 -. -. -. -12 -123 -1234 -. -1234 -. -. -1234 -12 -12 -123456789X -123456789X -1234 -1 -1 -1234 -1 -. -. -1 -. -12 -12 -. -12 -. -1 -1 -12 -. -123456789X -123456789X -1 -1 -. -123456 -. -. -. -. -1 -. -1 -. -. -1234 -123456 -.
% 97.68/97.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1 -123 -1 -. -123 -12 -12 -. -12 -. -. -. -1 -. -12 -. -. -. -12 -12 -123456789X -123456789X -123 -1 -12 -123 -1 -. -. -1 -. -12 -. -. -1 -. -1 -12 -123 -123 -123456789 -123456789X -12 -. -123 -12 -123 -. -. -. -. -1 -. -. -1 -1 -123456 -.
% 99.07/99.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -. -123 -. -1 -. -1 -. -. -1 -. -1 -. -. -1 -. -. -12345 -12345 -1 -1 -. -12 -. -. -. -. -. -. -1 -1 -1 -1 -. -. -1 -. -12 -12 -1 -. -. -12 -. -. -. -. -. -. -. -1 -. -. -123 -.
% 100.44/100.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -12 -. -. -1 -12 -. -. -12 -1 -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -123 -. -1 -. -. -. -12 -123 -12 -. -. -1 -. -. -. -1 -. -1 -. -. -. -12 -. -.
% 101.79/101.84 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -123 -123 -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -12 -123 -.
% 103.09/103.17 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -12 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -.
% 104.39/104.43 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 105.67/105.70 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 106.90/106.95 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.76/107.80 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -.
% 109.00/109.02 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 109.90/109.97 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 111.11/111.21 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.00/112.06 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 113.67/113.79 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 115.01/115.08 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 116.29/116.38 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -12 -12 -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -12 -. -. -1 -.
% 117.58/117.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1234 -1234 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -.
% 118.92/118.92 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 120.10/120.19 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.59/120.63 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 122.30/122.37 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -1 -. -.
% 122.52/122.54 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 122.52/122.61 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 122.68/122.69 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 124.41/124.43 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 124.48/124.52 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 124.61/124.62 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 124.62/124.69 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 124.71/124.77 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 126.42/126.48 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 126.52/126.57 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 126.62/126.64 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 126.71/126.70 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 126.71/126.80 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 128.43/128.51 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 128.59/128.59 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 128.59/128.66 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 128.73/128.73 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 128.73/128.80 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 128.83/128.88 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 130.61/130.62 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 130.71/130.70 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 130.71/130.79 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 132.49/132.52 (SAT)(equ)(fun)(SAT) 309| -.
% 132.60/132.59 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 134.33/134.32 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 134.33/134.40 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 134.53/134.52 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 134.62/134.61 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 134.62/134.69 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 136.43/136.42 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 136.51/136.53 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 136.62/136.62 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 138.33/138.32 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 138.43/138.41 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 138.43/138.48 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 138.53/138.55 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 138.62/138.62 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 138.72/138.71 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 140.41/140.43 (SAT)(equ)(fun)(SAT) 309| -.
% 140.53/140.51 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 142.23/142.24 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 142.33/142.35 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 142.43/142.42 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 142.52/142.51 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 144.23/144.23 (SAT)(equ)(fun)(SAT) 309| -.
% 144.30/144.31 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 146.04/146.05 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 146.13/146.13 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 146.23/146.25 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 146.32/146.32 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 146.43/146.40 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 148.10/148.13 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 148.23/148.22 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 148.25/148.28 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 148.33/148.37 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 150.13/150.09 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 150.14/150.18 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 150.24/150.25 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 150.33/150.34 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 152.06/152.05 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 152.16/152.14 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 152.23/152.21 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 152.23/152.28 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 152.32/152.35 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 152.47/152.43 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 154.15/154.15 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 154.24/154.23 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 154.35/154.31 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 154.35/154.39 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 156.07/156.11 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 156.24/156.20 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 156.24/156.26 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 156.33/156.35 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 158.06/158.07 (SAT)(equ)(fun)(SAT) 309| -.
% 158.15/158.14 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 159.93/159.89 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 159.98/159.97 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 160.08/160.07 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 160.15/160.18 (SAT)(equ)(fun)(SAT) 309| -.
% 160.24/160.26 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 161.96/161.98 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 162.05/162.07 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -. -. -.
% 162.15/162.18 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 162.27/162.29 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 162.36/162.39 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 162.45/162.46 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 162.57/162.54 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 164.28/164.26 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 164.36/164.35 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 164.44/164.42 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 164.56/164.51 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 166.26/166.23 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 166.36/166.32 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 166.36/166.39 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 166.48/166.48 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 168.26/168.20 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 168.27/168.30 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 168.37/168.37 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 168.46/168.45 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 170.25/170.19 (SAT)(equ)(fun)(SAT) 309| -.
% 170.25/170.27 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 171.98/171.99 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 172.08/172.09 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 172.17/172.17 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 173.86/173.89 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 173.98/173.98 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 174.08/174.09 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 174.17/174.18 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 175.89/175.89 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 175.99/175.98 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 176.07/176.05 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 176.19/176.14 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 177.89/177.86 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 177.98/177.95 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 178.07/178.02 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 178.07/178.09 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 178.19/178.16 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 178.29/178.23 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 178.37/178.32 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 180.07/180.04 (SAT)(equ)(fun)(SAT) 309| -.
% 180.19/180.12 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 181.88/181.87 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 182.00/181.95 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 182.10/182.05 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 182.18/182.16 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 182.30/182.23 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 182.30/182.30 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 182.40/182.37 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 182.48/182.44 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 182.60/182.52 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 184.28/184.25 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 184.40/184.34 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 184.48/184.43 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 184.56/184.52 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 186.30/186.25 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 186.40/186.34 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 186.48/186.43 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 186.58/186.50 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 186.60/186.59 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 188.37/188.31 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 188.47/188.39 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 188.50/188.48 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 190.28/190.20 (SAT)(equ)(fun)(SAT) 309| -.
% 190.37/190.28 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 192.10/192.00 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 192.18/192.09 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 192.30/192.20 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 192.31/192.27 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 192.40/192.36 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 194.12/194.09 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 194.28/194.19 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 195.98/195.94 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 196.11/196.05 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 196.20/196.12 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 196.20/196.20 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 198.01/197.96 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 198.10/198.05 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 198.22/198.13 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 198.22/198.20 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 198.31/198.28 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 200.12/200.02 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 200.20/200.10 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 200.20/200.17 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 200.33/200.24 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 200.42/200.31 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 200.50/200.40 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 202.21/202.12 (SAT)(equ)(fun)(SAT) 309| -.
% 202.31/202.21 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 204.02/203.92 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 204.10/204.01 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 204.21/204.12 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 204.23/204.18 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 204.33/204.27 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 206.03/205.99 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 206.12/206.08 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 206.21/206.18 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 208.01/207.93 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 208.14/208.04 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 208.24/208.13 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 209.93/209.86 (SAT)(equ)(fun)(SAT) 309| -.
% 210.02/209.94 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 211.74/211.68 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 211.92/211.79 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 211.92/211.87 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 212.04/211.94 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 212.12/212.01 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 212.20/212.08 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 212.20/212.15 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 212.34/212.22 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 212.42/212.31 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 214.13/214.02 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 214.23/214.11 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -.
% 214.31/214.20 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 214.31/214.29 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 214.44/214.38 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 216.22/216.10 (SAT)(equ)(fun)(SAT) 309| -.
% 216.25/216.18 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 218.04/217.93 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 218.14/218.01 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 218.22/218.13 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 218.32/218.20 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 218.34/218.27 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 218.44/218.35 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 220.17/220.09 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 220.32/220.20 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 222.03/221.95 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 222.13/222.04 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -. -. -. -.
% 222.26/222.16 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 222.34/222.27 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 222.41/222.35 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 222.55/222.42 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 222.56/222.49 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 222.64/222.56 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 222.72/222.63 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 222.85/222.72 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 224.54/224.44 (SAT)(equ)(fun)(SAT) 309| -.
% 224.65/224.52 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 226.36/226.26 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 226.42/226.33 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 226.55/226.42 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 226.66/226.53 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 226.72/226.61 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 226.83/226.70 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 226.88/226.78 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 228.55/228.45 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 228.64/228.54 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 228.75/228.61 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 228.75/228.68 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 228.84/228.74 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 228.93/228.82 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 230.59/230.47 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 230.66/230.56 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 230.73/230.64 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 230.86/230.71 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 230.88/230.77 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 230.97/230.85 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 231.04/230.92 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 232.73/232.58 (SAT)(equ)(fun)(SAT) 309| -.
% 232.77/232.66 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 234.44/234.34 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 234.58/234.44 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 234.58/234.51 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 234.67/234.59 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 236.35/236.24 (SAT)(equ)(fun)(SAT) 309| -.
% 236.47/236.32 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 238.08/237.98 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 238.16/238.06 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 238.28/238.17 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 238.37/238.23 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 238.45/238.30 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 238.54/238.38 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 240.20/240.07 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 240.34/240.18 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 240.34/240.25 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 240.46/240.32 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 240.50/240.39 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 240.63/240.47 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 240.72/240.56 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 242.46/242.31 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 242.55/242.40 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 242.55/242.47 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 242.68/242.54 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 242.78/242.63 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 244.49/244.36 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -.
% 244.59/244.46 (SAT)(equ)(fun)(SAT) 309| -.
% 244.65/244.53 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 246.39/246.26 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 246.48/246.34 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 246.55/246.45 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 246.68/246.54 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 248.37/248.25 (SAT)(equ)(fun)(SAT) 309| -.
% 248.49/248.34 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 250.19/250.07 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 250.33/250.17 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 250.41/250.24 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 250.49/250.33 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 252.19/252.06 (SAT)(equ)(fun)(SAT) 309| -.
% 252.29/252.15 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 254.11/253.96 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 254.23/254.08 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 254.23/254.15 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 254.37/254.22 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 254.42/254.28 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 254.55/254.38 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 256.27/256.12 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -.
% 256.40/256.22 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 256.47/256.33 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 258.21/258.07 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 258.35/258.18 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 258.42/258.25 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 258.42/258.31 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 258.51/258.38 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 258.65/258.47 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 260.32/260.19 (SAT)(equ)(fun)(SAT) 309| -.
% 260.39/260.26 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 262.11/261.98 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 262.20/262.06 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 262.37/262.18 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 262.41/262.28 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 262.51/262.35 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 262.58/262.43 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 264.33/264.16 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 264.43/264.26 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 266.11/266.01 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 266.29/266.12 (SAT)(equ)(fun)(SAT) 309| -.
% 266.39/266.20 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 268.03/267.93 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 268.19/268.04 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 268.30/268.13 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 268.33/268.20 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 268.48/268.28 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 270.18/270.01 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 270.22/270.10 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 270.31/270.17 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 270.38/270.25 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 272.17/271.99 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 272.24/272.08 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 272.32/272.15 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 272.39/272.22 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 272.49/272.29 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 272.52/272.35 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 272.61/272.44 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 274.34/274.17 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 274.41/274.25 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 274.47/274.32 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 274.58/274.39 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 274.64/274.46 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 274.71/274.53 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 274.77/274.60 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 274.87/274.67 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 274.94/274.74 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 274.94/274.82 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 276.73/276.54 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 276.80/276.63 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 276.89/276.70 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 276.89/276.77 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 277.02/276.86 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 278.75/278.55 (SAT)(equ)(fun)(SAT) 309| -.
% 278.85/278.64 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 280.52/280.36 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 280.60/280.45 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 280.71/280.56 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 280.81/280.63 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 280.91/280.71 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 280.91/280.78 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 281.04/280.87 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 282.81/282.60 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 282.88/282.69 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 282.95/282.76 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 283.04/282.82 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 283.09/282.89 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 283.16/282.96 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 283.23/283.03 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 283.25/283.12 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 285.00/284.85 (SAT)(equ)(fun)(SAT) 309| -.
% 285.13/284.93 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 286.89/286.68 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 286.93/286.77 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 287.10/286.89 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -.
% 287.19/286.98 (SAT)(equ)(fun)(SAT) 309| -.
% 287.23/287.06 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 288.99/288.79 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 289.10/288.90 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -.
% 289.15/288.99 (SAT)(equ)(fun)(SAT) 309| -.
% 289.29/289.08 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 291.03/290.81 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 291.13/290.91 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 291.22/291.02 (SAT)(equ)(fun)(SAT) 309| -.
% 291.31/291.10 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 293.00/292.82 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 293.15/292.94 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -.
% 293.24/293.03 (SAT)(equ)(fun)(SAT) 309| -.
% 293.31/293.11 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 295.05/294.84 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 295.15/294.93 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -. -. -.
% 295.22/295.05 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 295.37/295.16 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 295.45/295.25 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 295.51/295.32 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 295.60/295.39 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 295.67/295.47 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 297.42/297.19 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 297.44/297.28 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 297.55/297.37 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 299.27/299.11 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 299.41/299.20 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 299.41/299.27 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 299.57/299.34 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 299.64/299.41 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 299.70/299.50 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -.
%------------------------------------------------------------------------------