TSTP Solution File: SWV422-1.300 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV422-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 : n021.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:11 EDT 2022
% Result : Timeout 286.56s 286.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SWV422-1.300 : TPTP v8.1.0. Released v3.5.0.
% 0.12/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.33 % Computer : n021.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 : Tue Jun 14 16:49:13 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.19/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.19/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.19/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.19/0.40 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.19/0.47 #elt|#instances
% 0.19/0.47 (SAT)(equ)(fun)(SAT) 309| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.48/0.70 (SAT)(equ)(fun)(SAT) 309| -123456789XLC> -. -. -1 -. -. -. -1 -. -. -. -.
% 0.61/0.81 (SAT)(equ)(fun)(SAT) 309| -123456789XLC -. -. -. -. -. -. -. -.
% 0.76/0.93 (SAT)(equ)(fun)(SAT) 309| -.
% 0.92/1.09 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 1.24/1.45 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC> -. -123456789XLC> -. -. -.
% 1.47/1.72 (SAT)(equ)(fun)(SAT) 309| -123456789XLC -123456789XLC -123456789XLC
% 1.95/2.16 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 2.25/2.43 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 2.85/3.02 (SAT)(equ)(fun)(SAT) 309| -123456789XLC> -. -. -. -123456789XLC> -1 -. -. -1 -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -123456789XLC> -123456789XLC> -1 -. -123456789XLC> -. -. -.
% 3.37/3.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -123456789XLC> -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -123456789XLC -1
% 4.27/4.43 (SAT)(equ)(fun)(SAT) 309| -123456789XLC -. -123456789 -. -123456789XLC -. -123456789X -. -. -1 -12 -. -. -. -123456789XLC -. -. -. -. -. -123456789XLC -. -. -. -.
% 5.17/5.35 (SAT)(equ)(fun)(SAT) 309| -. -. -123456789X -. -. -. -12345678 -. -. -1 -12 -. -. -. -. -. -1234 -. -. -. -. -. -.
% 5.75/6.02 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.53/6.68 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 8.24/8.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789XL -123456789X -. -123456789X -. -123456789XL -. -123456789XLC> -123456789XL -123456789XL -123456789X -1234567 -. -. -. -. -123456789XLC -123456789X -123456789XL -. -123456789X -. -. -123456789X -123456789XLC> -123456789XL -. -. -. -. -. -. -. -. -1 -. -.
% 9.27/9.50 (SAT)(equ)(fun)(SAT) 309| -. -123456789XL -1234567 -123456789 -. -123456789X -. -123456789XL -. -123456789 -123456789X -123456789XL -123456789XL -123456789XL -12 -1234 -1 -. -. -123456789X -123456789X -123456789XL -123456789XL -. -123456789X -. -. -. -123456789X -123456789XL -123456789XL -. -. -. -. -.
% 10.35/10.52 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789 -123456789X -. -12 -1 -123456789X -1 -123456789X -123456789X -123456789X -123456789X -12345 -. -. -1234 -. -. -123456789X -1234567 -123456 -1234567 -1 -123456789X -12 -. -. -123456789X -12345 -123456789X -. -.
% 11.20/11.40 (SAT)(equ)(fun)(SAT) 309| -. -12345678 -123456 -123 -. -. -. -. -12345 -123456789X -123456789X -1 -1 -123456789 -. -1 -. -. -. -12 -12 -1234 -123456 -. -. -. -. -. -123456789X -12 -. -. -.
% 12.06/12.22 (SAT)(equ)(fun)(SAT) 309| -. -1 -1234567 -12 -. -. -. -. -. -12 -123 -1 -1 -1234 -. -. -. -. -. -. -. -1 -1234 -. -. -. -. -. -1 -. -. -. -.
% 12.87/13.01 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 13.62/13.81 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.40/14.61 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123 -123 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -1234 -123 -1 -123 -12 -12 -123 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 16.17/16.41 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456 -. -123456789X -123456789XL -1 -. -1 -123 -12 -123456789XL -123456789XL -123456789XL -123456789XL -12 -123 -. -. -. -12 -123456789X -123456789XL -1 -1 -. -. -123456789X -1234 -123456789XL -123456789XL -123456789XL -123456789XL -1 -123456 -1 -12 -12345 -123456789X -123456789XL -123456789XL -1 -. -. -. -12345 -123 -123456789XL -123456789XL -123456789X -123456789X -1 -12345678 -. -. -1 -. -. -.
% 17.60/17.76 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456789X -. -123456789XL -123456789X -1234 -123456789X -1234 -123456 -1234 -123456789X -123456 -123456789XL -123456789XL -123456789X -123456789XL -123456789 -123456789X -123456789X -123456789X -123 -. -. -123456789X -123456789X -123456789 -123456789X -123456789XL -123456789XL -123456789X -123456789X -12 -123 -12345 -123456789X -123456789X -123456789X -12345 -1 -. -. -123 -123 -12345678 -12345678 -123456789X -123456789X -123456789X -123 -. -. -1 -. -. -.
% 18.96/19.14 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456789X -. -123456789XL -123456789X -123456789X -123456789X -1234567 -123456789X -1234 -123456789X -123456789 -123456789X -123456789X -123456789X -123456789XL -12345678 -123456 -12345678 -123456789X -123456789 -. -. -123456789XL -12345678 -123456 -123456789X -123456789XL -123456789X -123456789X -123456789XL -123456789X -123456789X -123456789X -123456 -12345678 -123456789X -1234 -1 -. -. -123 -12 -123456789 -12345678 -123456789XL -123456789XL -123456789 -12345678 -. -1 -1 -. -. -.
% 20.28/20.45 (SAT)(equ)(fun)(SAT) 309| -. -123456789X -123456789X -123456789X -. -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789X -1 -123456 -12345 -123456789X -123456789X -123456789X -123456789X -123456 -12345 -1234 -123456789X -123456789X -. -. -123456789 -12345 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789X -123456789X -123456789X -123456789X -12345 -12345678 -123456 -123456789X -. -. -12345678 -. -123456789X -123456789 -123456789XL -123456789XL -123456 -123456789X -. -1 -1 -. -. -.
% 21.65/21.86 (SAT)(equ)(fun)(SAT) 309| -. -1234 -123456 -123456789X -. -123456789X -1234567 -123456789X -123456789XL -123456789X -123456789X -1 -12345 -12345 -123456789 -123456789X -123456789X -123456789X -12345678 -123456 -1234 -123456789X -12345 -. -. -123456789X -12 -1234567 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123 -123456 -123456 -123456789 -. -. -12345 -. -123456789X -1234567 -123456789XL -123456789XL -12345 -12345678 -. -. -1 -. -. -.
% 23.08/23.24 (SAT)(equ)(fun)(SAT) 309| -. -12345678 -12345678 -123456789X -. -123456789X -123456789X -123456789X -123456789XL -123456789X -12345 -. -12345678 -12345 -123456789X -12345 -12345678 -123456789X -123456789 -12345 -1234 -12345 -1234567 -. -. -123456789X -123 -12345 -123456 -123456789X -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -12345678 -1234 -123456789 -123456789X -1234 -. -. -123456789X -. -123456 -12345 -123456789XL -123456789XL -123456 -123456789 -. -12 -1 -. -. -.
% 24.44/24.59 (SAT)(equ)(fun)(SAT) 309| -. -123456 -123 -123456789X -. -123456789 -123456789X -123456789X -123456789X -123456789X -. -12 -12345 -123 -12345 -1234 -123 -12345 -12345678 -12345678 -123456 -1234567 -123456789X -. -. -1234567 -. -1234567 -1234567 -123456789X -123456789X -123456789X -1234567 -123456789X -123456789X -123456789X -1234567 -123456789X -123456 -123456789X -12345678 -. -. -1 -1 -12345 -12345678 -123456789XL -123456789XL -123456 -123456789 -. -. -. -. -. -. -1 -. -. -.
% 25.78/25.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12345678 -1 -12345 -. -123456789X -12345 -1234567 -123456789X -123456789X -123456 -. -123 -1234567 -1234 -1234 -123456789X -12345 -123 -123 -12 -123456 -12345 -. -. -1234 -1234 -123 -12345 -12345678 -12345678 -12345678 -123456789 -123456789X -123456789X -12345678 -1234567 -12345 -123456789X -123 -1234 -. -. -123456 -12 -12345 -123456789 -123456789XL -123456789XL -123 -123456 -. -. -1 -.
% 27.08/27.22 (SAT)(equ)(fun)(SAT) 309| -. -12345 -12 -12345 -. -123456 -123 -12345 -123456789X -123456789X -1234 -. -12 -12 -12345678 -123456 -123456 -1234567 -1234 -12 -12 -12345678 -12345 -. -. -12 -1 -12345 -123456 -1234567 -123456 -12345678 -123456789X -123456789X -12345 -1234567 -12345678 -1 -12345 -12345678 -123456789 -. -. -123456789 -1 -12 -1 -123456789XL -123456789XL -12 -1234567 -. -. -. -.
% 28.31/28.47 (SAT)(equ)(fun)(SAT) 309| -. -12345 -123 -12345 -. -1 -123456 -1 -123456789X -123456 -1234 -12 -1 -. -123 -12345 -1 -123 -1234 -1 -1 -12345 -12345 -. -. -1234 -1 -123 -1234567 -123456 -12345 -1234567 -123456 -123456789 -123456 -12345 -12 -12 -1234 -1234567 -12345 -. -. -12 -. -123456 -12345 -123456789X -123456789XL -1234 -123456 -.
% 29.60/29.76 (SAT)(equ)(fun)(SAT) 309| -. -12 -1 -12345 -. -123456789X -123 -123456 -123456789X -123456789 -12 -. -123 -1 -12 -1 -12345 -123456 -1234 -12 -123 -123 -1234 -. -. -12 -123 -123 -1 -1 -12 -1234567 -123456789X -12345 -1234 -1234 -1234 -12 -1234 -12 -123456 -. -. -12345 -. -1234 -1234 -123456789X -123456789X -123 -12345 -.
% 30.77/30.95 (SAT)(equ)(fun)(SAT) 309| -. -12 -1 -1234567 -. -12345 -1234 -1234 -1234567 -1234 -123 -1 -1 -12 -123 -1234 -12345 -12345 -123 -. -1 -1234 -1234 -. -. -12 -12 -12345 -12 -12345 -12345 -123 -123 -1234 -12345 -123 -12 -1 -123 -12 -123456 -. -. -12 -. -123 -1 -123456789X -123456789X -123 -12345678 -.
% 32.05/32.19 (SAT)(equ)(fun)(SAT) 309| -. -1 -123 -123 -. -12 -1 -12 -12 -1234 -123 -. -12 -1 -12 -. -1234 -1234 -1 -12 -12 -12 -12 -. -. -12 -. -12345 -12 -1234 -12 -12 -12345678 -123 -123 -123 -12 -1 -12 -12 -123456 -. -. -123456 -. -12 -1234 -123456789X -123456789X -. -12 -.
% 33.18/33.35 (SAT)(equ)(fun)(SAT) 309| -. -12 -. -12 -. -123 -1 -1 -12345 -12345678 -1 -. -1 -1 -. -. -12 -123 -123 -1 -1 -1234 -12345 -. -. -12 -. -123 -12 -1 -1 -. -1 -123 -12 -12 -1 -1 -1 -1234 -12345 -. -. -123 -. -. -1 -123456789X -123456789X -1234 -12345 -.
% 34.39/34.58 (SAT)(equ)(fun)(SAT) 309| -. -1234 -. -123 -. -123 -1 -1 -1234567 -123 -12 -. -123 -1 -1 -1 -1 -1 -123456 -123 -12 -12 -12 -. -. -. -. -1 -. -. -12 -1 -. -12345 -123 -123 -1234 -12 -12 -12 -123 -. -. -12 -1 -. -12 -123456789X -123456789 -12 -1234 -.
% 35.59/35.74 (SAT)(equ)(fun)(SAT) 309| -. -1234 -. -12 -. -1 -. -12 -123 -1 -1 -. -1 -. -12 -12 -1 -. -123 -1 -. -12 -12 -. -. -12 -. -. -. -1234 -1234 -12 -12 -. -. -. -123 -1 -. -123 -12 -. -. -12 -. -123 -123 -12345678 -123456 -. -12 -.
% 36.76/36.89 (SAT)(equ)(fun)(SAT) 309| -. -1234 -12 -1 -. -1 -1 -1234 -12345 -1 -1 -12 -12 -1 -. -. -. -1 -1 -1 -12 -1 -. -. -. -. -. -12 -1 -12 -12 -12 -1 -1 -. -. -12 -. -123 -12 -. -. -. -12 -1 -12 -1 -12345678 -12345678 -. -123 -.
% 37.90/38.05 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -. -. -12345 -12 -1 -. -1234567 -. -. -12 -12 -1 -1 -1 -. -12 -. -. -123 -. -. -. -. -1 -1 -1 -1 -1 -1 -12 -12345 -123 -1 -123 -. -12 -12 -12 -. -. -123 -. -12 -123 -12345 -1234 -1 -1234 -.
% 39.06/39.19 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -12 -. -12 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -12 -1 -12 -. -. -. -. -. -. -1 -. -. -12 -. -1 -123 -12 -1 -1 -1 -. -1234 -. -. -12 -. -1 -1 -12 -12 -. -123 -.
% 40.18/40.36 (SAT)(equ)(fun)(SAT) 309| -. -1 -12 -1 -. -123 -1 -1 -. -. -. -. -. -1 -. -. -12 -12 -12 -. -. -. -1 -. -. -1 -. -. -1 -12 -1 -. -1 -1 -1 -. -. -1 -. -123 -123 -. -. -. -1 -. -1 -12 -12 -. -1 -.
% 41.28/41.48 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -1 -. -1 -1 -. -1 -. -1 -. -. -. -1 -1 -12 -. -. -1 -. -. -. -. -. -1 -12 -1 -1 -. -1 -. -. -. -. -. -123 -1 -123 -. -. -. -. -1 -1 -1234 -123 -1 -1 -.
% 42.47/42.60 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -1 -. -. -1 -1 -. -. -. -. -. -. -12 -12 -1 -. -1234 -1 -12 -. -1 -. -. -. -. -. -1 -1 -1 -12 -123 -1 -1 -. -1 -1 -. -12 -1 -. -. -1 -. -. -. -123 -123 -1 -. -.
% 43.61/43.74 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -1 -12 -12 -. -1 -. -. -1 -. -. -1 -. -. -123 -12 -. -1 -1 -. -. -. -. -12 -. -1 -1 -. -. -12 -1 -1 -1 -1 -12 -1 -1 -. -. -1 -. -1 -12 -123 -12 -12 -1 -.
% 44.70/44.85 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -1 -. -. -. -123456789X -1 -. -. -. -1 -. -. -. -12 -. -. -12 -. -. -. -. -. -12 -1 -12 -12 -12 -1 -1 -1 -. -. -. -. -. -12 -. -. -. -. -. -. -12 -12 -. -1 -.
% 45.83/45.99 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -123 -. -. -. -. -1 -. -. -. -. -. -1 -1 -12 -. -12 -1 -. -. -. -. -. -. -. -12 -12 -12 -. -. -.
% 47.00/47.11 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -12 -. -1 -. -. -1 -1 -. -. -1 -1 -1 -12 -1 -. -. -. -. -. -. -. -1 -. -12 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -. -. -.
% 48.10/48.23 (SAT)(equ)(fun)(SAT) 309| -. -. -. -12 -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -12 -12 -. -. -.
% 49.17/49.31 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -1 -1234 -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -12 -. -. -. -12 -12 -1 -. -.
% 50.24/50.40 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -123 -. -. -. -. -. -. -1 -1 -1 -1 -. -.
% 51.42/51.54 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 52.53/52.68 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -12 -.
% 53.69/53.80 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -12 -1 -. -. -1 -1 -12 -. -. -. -. -. -1 -. -. -1 -. -. -. -12 -1 -1 -. -. -. -. -1 -1 -1 -1 -. -. -.
% 54.71/54.88 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -12 -. -. -1 -. -12 -. -1 -1 -. -1 -.
% 55.83/56.00 (SAT)(equ)(fun)(SAT) 309| -. -12 -. -1 -. -. -. -. -123 -. -. -12 -. -. -. -. -1 -. -. -. -1 -. -. -12 -. -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -12 -12 -1 -1 -.
% 56.93/57.06 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 58.02/58.12 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 59.00/59.17 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.19/60.29 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.09/61.21 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.83/61.99 (SAT)(equ)(fun)(SAT) 309| -. -. -. -.
% 62.01/62.16 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -123456789XLC> -123456789XLC> -123456789XL -123456789XLC -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1 -1234 -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 64.60/64.74 (SAT)(equ)(fun)(SAT) 309| -. -12345678 -123456789X -123456789X -. -12345 -123456 -123 -1 -12 -1234 -1 -1234567 -1234 -123456789X -123456789X -123456789XL -123456789X -123456789XL -123456789X -123456789X -123456789XL -123456789XL -123456789X -1 -12 -1234567 -12345678 -. -. -12 -1 -12 -12 -12345678 -12345 -12 -123456789 -123 -1234567 -123456789X -123456789XLC -123456789XLC -12345678 -123 -1234 -123456789X -1234567 -. -. -1234 -. -1234 -1 -1234567 -12345 -123456789X -123 -. -. -. -1 -. -. -.
% 66.72/66.81 (SAT)(equ)(fun)(SAT) 309| -. -123456789 -12345678 -123456789X -. -12345 -12345678 -123456789X -12345 -1234 -123456789 -1 -1234 -1 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789 -123456789X -123456789XL -123456789XL -123456789 -12 -123456 -123456 -123456 -. -. -1 -123 -123 -123 -12345678 -123456789X -123456789X -123456789X -123456789X -12345678 -123456789X -123456789XL -123456789XL -12345 -1234 -123 -123456789X -123456789X -. -. -1234 -. -12345 -1 -12345678 -123456789 -123456789X -1234567 -. -. -1 -.
% 68.41/68.53 (SAT)(equ)(fun)(SAT) 309| -. -1234 -1234 -1234 -. -12 -12345678 -123456789X -. -123456789X -123456789X -1 -1234 -123456789X -12345678 -123456789X -123456789X -123456789 -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789X -12345 -123456789 -123456789 -123456789 -. -. -1234567 -123 -12345 -12 -12345 -12345678 -123456789X -123456789X -123456789X -123456789XL -123456789X -123456789XL -123456789XL -123456 -123456 -1234 -123456789X -123456789 -. -. -123 -12 -123 -123 -123456789X -123456789X -1234567 -12345 -. -. -. -.
% 70.21/70.36 (SAT)(equ)(fun)(SAT) 309| -. -1234567 -1234567 -123456789X -. -1234567 -1234 -123456789X -. -123456 -12345 -123 -12345 -12345678 -12 -123456 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345 -12345 -123456 -1234567 -123456789X -. -. -12345 -123 -123456 -1234 -1234567 -123456789X -123456789X -123456789X -123456789X -12345678 -123456789X -123456789XL -123456789XL -1234 -12345 -123 -1234567 -123456789X -. -. -123 -12 -1234 -1 -123456789X -123456789X -123 -1234567 -.
% 71.94/72.06 (SAT)(equ)(fun)(SAT) 309| -. -12345678 -123 -12345 -. -123456789 -123456789 -12345 -123 -12345678 -12345 -. -123456 -1234 -123456 -1234567 -1234 -1234567 -12345678 -1234567 -123456789X -123456789XL -123456789XL -123 -1 -123456 -123456789 -123456789X -. -. -123456 -1234 -1234 -1234 -1234 -12345678 -123456789X -123 -123456789X -12345 -12345678 -123456789XL -123456789XL -123456 -12345678 -12345 -12345 -123456789X -. -. -12345 -1 -123 -12 -123456789X -12345678 -1234567 -123456 -.
% 73.63/73.71 (SAT)(equ)(fun)(SAT) 309| -. -123 -12 -123 -. -12345 -123456789X -123456 -1 -1 -1234567 -. -123 -1234 -12345678 -1234 -12345 -1234567 -123456789X -1234567 -123456789X -123456789XL -123456789XL -12345 -123 -123456789X -123456789X -123456789X -. -. -1234567 -12 -123456789 -12345 -1234 -123456 -12345678 -12345678 -123456789 -1234567 -123456789X -123456789XL -123456789XL -123456789X -1 -123 -1234 -123456789X -. -. -123 -1 -12345 -. -1234 -1234 -123 -123456789X -.
% 75.23/75.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -1 -12345 -123456 -12345678 -. -1234 -12345678 -12345 -. -1234 -12345 -123 -12345 -123456 -1234 -12345678 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345 -12345678 -12345678 -123456789 -123456789X -. -. -1234567 -12 -12345678 -12345678 -123 -123 -123456 -123456789X -1234567 -123456789 -1234567 -123456789XL -123456789XL -123456 -123456 -12345 -1234567 -123456789X -. -. -1 -1 -123 -123 -12345 -12345 -1234567 -123456789 -.
% 76.94/77.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12345 -1234 -1234567 -. -12345 -12345678 -123456789X -. -1234 -12345 -123 -1234 -12345 -123 -12345 -123456789X -123456 -123456789X -123456789X -123456789 -123456789XL -123456789XL -12 -12345 -12345 -123456789X -123456789X -. -. -123456789 -1 -1 -12345678 -12 -1234 -12345 -1234567 -1234 -12345678 -12345678 -123456789XL -123456789XL -1234 -12 -123456 -1234567 -12345678 -. -. -123456 -. -12345 -12345 -12345678 -12345678 -1234 -123456789X -.
% 78.73/78.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12345 -1 -12 -. -123 -1234 -12345678 -1234 -1234 -1234 -1 -1 -12345678 -12345 -1234 -123456789X -1234567 -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345 -123 -123 -12345678 -12 -. -. -12 -123 -12345678 -12 -123 -12345 -12345 -12345 -123456789X -123456789 -123456 -123456789XL -123456789XL -12345 -1234 -12345 -123456789 -12345678 -. -. -1234 -. -12 -123 -123456 -123456 -12345678 -12345678 -.
% 80.54/80.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1234 -123456 -12345 -. -12 -123456789X -123456 -. -1234 -123 -1 -12 -12 -. -12 -123456789X -123456 -123456789 -12345 -1234567 -123456789XL -123456789XL -12345678 -12345678 -12345 -123456789X -1234567 -. -. -12 -. -12 -123 -12 -1234567 -1234 -12 -12345678 -123456789 -123456 -123456789X -123456789X -12345 -12345678 -12 -12345678 -123456789X -. -. -1234 -. -12 -1 -12 -12 -1234567 -1234567 -.
% 82.21/82.34 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12345 -12345 -12345678 -. -123 -123456 -1234567 -. -1 -1234567 -12345 -123 -12345678 -. -1234 -1234567 -12 -1234567 -1234 -123456 -123456789XL -123456789XL -12345 -1234567 -12345 -1234 -12345 -. -. -123 -12 -123 -1 -1 -1234 -123456 -123456 -123456 -12345678 -123456 -123456789XL -123456789XL -12345 -12 -1234 -1234567 -1234 -. -. -12345 -12 -123 -1234 -12 -123 -. -12345 -.
% 83.84/83.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12345678 -12345 -123456 -. -1 -12345 -123 -1 -12 -123 -1 -1 -123456 -123 -123 -123456 -123 -123456 -123 -123456789X -123456789X -123456789XL -123456 -1234 -123456 -1234 -123456789X -. -. -1234 -. -1234 -1 -. -12 -123456 -123456 -1234 -12345 -123456 -123456789XL -123456789XL -12345 -12345 -1234567 -123456 -12345 -. -. -123 -1 -123 -1 -123 -12 -123456 -12345 -.
% 85.46/85.55 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123 -1234 -12 -. -12345 -123456 -1234 -12345 -123 -1 -. -12345 -12 -12 -123456 -1234567 -1234 -123456 -1 -12345 -123456789X -123456789X -12345 -1 -12 -12345 -1234567 -. -. -123 -. -123 -1 -12 -123456 -12345 -1 -1234 -123 -1234 -123456789X -123456789X -1234567 -12 -123456 -12345678 -1234567 -. -. -. -1 -1 -1 -123456 -12345 -12345 -1234 -.
% 87.04/87.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -123 -12 -12 -. -123 -1234 -12 -. -12 -123 -. -12 -123 -1 -1234 -123456789X -1234 -12345 -123456789X -123456789X -123456789X -123456789X -12 -1234 -1234 -123456789X -12345 -. -. -12 -1 -12345678 -123 -12 -1234 -1234567 -123 -1234 -123 -12345 -123456789X -123456789X -123456789 -1234 -1234 -1234 -1234 -. -. -1 -. -12 -1 -12 -1 -123456 -123 -.
% 88.65/88.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1 -123 -12345 -. -1 -123456789 -12 -1 -. -. -12 -1234 -12 -. -12345678 -1 -1234 -1234 -12345678 -123456789 -123456789X -123456789X -12 -1 -123456789X -123456789X -123456 -. -. -1234 -. -12 -123456 -12 -12 -123456789X -12 -12345 -123 -12 -123456789X -123456789X -123 -123 -1234567 -1234 -12 -. -. -. -. -. -1 -1 -. -1234 -1234567 -.
% 90.18/90.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -12 -12345 -123456 -. -12345 -123 -12 -. -12 -12 -1 -1 -12345 -123 -12 -12 -123 -123 -123 -1 -123456789X -123456789X -123 -1 -123456 -123 -123456 -. -. -1 -1 -. -12 -123 -1 -1234 -1 -123 -12 -1234 -123456789X -123456789X -1234 -1 -1234 -12345 -12 -. -. -12 -. -1 -12 -1 -1 -12 -123 -.
% 91.75/91.80 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -1 -12 -1 -. -1 -123 -. -. -1 -12 -. -123 -1234 -. -1234 -1 -1 -123 -1234 -123456 -123456789X -123456789X -1234567 -12 -123 -12345 -. -. -. -. -1 -123 -1234 -1 -123456 -. -1 -123456 -1 -. -123456789X -123456789X -1 -123 -. -123456789X -12 -. -. -. -. -. -1 -. -1 -1234567 -1234567 -.
% 93.29/93.34 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -. -1234 -1 -. -1 -. -1 -12 -1 -. -123 -1 -. -12 -1 -12345 -123456789X -123456789X -1 -. -. -1 -. -. -. -. -1 -12 -123 -1 -1 -. -1 -12345 -. -. -12 -12 -123 -1 -. -123 -1234 -. -. -. -. -. -. -1 -. -123 -1234567 -.
% 94.65/94.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -1 -1 -. -1 -1 -1 -12 -. -123 -1 -. -123 -12 -12 -123456789X -123456789X -12 -12 -12345 -12345 -123 -. -. -. -. -1 -1 -1 -123 -123 -. -1 -12 -1 -123 -1234 -1234 -123 -123 -123 -123 -. -. -. -1 -. -1 -1 -12 -1 -12345 -.
% 96.09/96.15 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -. -1234 -. -. -. -. -. -. -. -. -1 -. -. -12 -1 -12 -12345678 -12345678 -1 -. -1 -12345 -. -. -. -. -12 -. -1 -. -12 -. -1 -12 -. -12 -123456789 -123456789X -. -1 -1 -. -. -. -. -. -. -. -1 -1 -1 -1 -123 -.
% 97.44/97.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -12 -. -. -. -. -. -1 -12 -. -. -1 -. -12 -1 -. -12345 -12345 -. -. -. -1 -1 -. -. -1 -. -. -1 -. -123 -. -. -12 -1 -. -12 -12 -1 -. -. -12 -1 -. -. -. -. -. -. -1 -1 -1 -123 -.
% 98.78/98.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -12 -12 -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -123 -1234 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -123 -.
% 100.10/100.20 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -12 -123 -12 -. -1234 -1234 -12 -. -. -. -. -. -. -. -1 -. -. -1 -123 -123 -. -1 -1 -12 -. -. -. -1 -. -. -. -1 -1 -1 -12 -.
% 101.38/101.47 (SAT)(equ)(fun)(SAT) 309| -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1234 -1234 -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -12 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -12345 -.
% 102.68/102.75 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -12 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -.
% 103.96/104.01 (SAT)(equ)(fun)(SAT) 309| -. -. -123 -. -. -. -1 -. -1 -. -1 -. -1 -1 -. -. -1 -. -. -1234567 -1234567 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -1 -. -12345 -12345 -1 -. -. -12 -. -. -. -. -. -. -. -. -1 -. -12 -.
% 105.16/105.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -123456 -123456 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -12345 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -.
% 106.54/106.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 107.75/107.81 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -.
% 108.07/108.16 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 109.81/109.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 110.18/110.23 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 110.25/110.29 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 110.25/110.36 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 111.99/112.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 112.07/112.17 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 112.18/112.24 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 112.28/112.32 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 113.97/114.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 114.08/114.11 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 114.11/114.17 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 114.21/114.26 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 115.88/115.95 (SAT)(equ)(fun)(SAT) 309| -.
% 116.00/116.03 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 117.61/117.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 117.77/117.84 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 117.89/117.93 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 119.60/119.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 119.70/119.72 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 119.70/119.78 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 119.80/119.87 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 121.52/121.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 121.60/121.67 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 121.67/121.73 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 121.77/121.81 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 123.48/123.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 123.48/123.61 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 123.60/123.68 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 123.69/123.76 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 125.41/125.46 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 125.50/125.55 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 125.57/125.61 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 125.67/125.69 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 127.38/127.40 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 127.38/127.48 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 127.51/127.58 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 127.60/127.67 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 127.68/127.75 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 129.40/129.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 129.49/129.58 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 129.60/129.66 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 131.28/131.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 131.42/131.48 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 131.51/131.54 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 131.58/131.62 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 133.31/133.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 133.40/133.43 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 133.49/133.50 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 133.52/133.56 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 133.61/133.63 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 133.71/133.71 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 135.33/135.40 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 135.42/135.48 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 135.49/135.56 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 137.20/137.23 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 137.31/137.31 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 137.32/137.40 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 138.99/139.07 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 139.13/139.14 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 139.22/139.25 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 139.29/139.33 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 141.00/141.00 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 141.02/141.07 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 141.12/141.15 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 142.80/142.82 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 142.92/142.91 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 144.51/144.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 144.63/144.68 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 144.72/144.74 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 144.80/144.80 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 144.80/144.88 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 146.50/146.52 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 146.61/146.60 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 146.64/146.66 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 146.73/146.74 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 148.34/148.39 (SAT)(equ)(fun)(SAT) 309| -.
% 148.42/148.46 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 150.13/150.16 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 150.21/150.26 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 150.34/150.32 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 150.34/150.40 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 152.04/152.09 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 152.19/152.18 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 153.82/153.83 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -. -. -.
% 153.93/153.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 154.04/154.05 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 154.13/154.10 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 154.13/154.18 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 155.82/155.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 155.91/155.92 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 155.91/155.98 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 156.05/156.05 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 157.63/157.67 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 157.73/157.75 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 157.82/157.83 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 159.42/159.46 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 159.50/159.54 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 159.62/159.62 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 161.24/161.24 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 161.33/161.32 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 161.42/161.42 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 161.53/161.50 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 163.16/163.14 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 163.16/163.21 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 163.26/163.28 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 163.33/163.36 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 165.03/165.00 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 165.12/165.10 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 165.12/165.16 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 165.24/165.24 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 166.86/166.90 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 166.96/166.98 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 167.03/167.06 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 168.64/168.68 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 168.74/168.78 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 168.84/168.86 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 170.55/170.51 (SAT)(equ)(fun)(SAT) 309| -.
% 170.56/170.58 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 172.25/172.21 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -. -. -. -.
% 172.35/172.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -1 -1 -. -. -. -. -. -. -.
% 172.43/172.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 172.56/172.54 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 172.56/172.60 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 172.65/172.67 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 174.33/174.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 174.45/174.41 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 174.47/174.47 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 174.56/174.54 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 176.16/176.16 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 176.26/176.25 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 176.34/176.31 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 176.43/176.39 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 178.06/178.01 (SAT)(equ)(fun)(SAT) 309| -.
% 178.07/178.09 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 179.74/179.73 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 179.86/179.83 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 179.96/179.91 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 181.66/181.61 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 181.76/181.71 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 181.76/181.77 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 181.84/181.85 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 183.47/183.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 183.56/183.58 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 183.64/183.66 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 185.28/185.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 185.37/185.37 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 185.45/185.45 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 187.07/187.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 187.17/187.18 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 187.25/187.24 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 187.36/187.31 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 188.97/188.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 189.04/189.03 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 189.14/189.09 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 189.18/189.17 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 190.86/190.80 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 190.86/190.87 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 190.98/190.94 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 191.08/191.02 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 192.65/192.64 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 192.79/192.75 (SAT)(equ)(fun)(SAT) 309| -.
% 192.88/192.82 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 194.46/194.45 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 194.58/194.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 194.68/194.64 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 194.68/194.70 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 194.77/194.78 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 196.49/196.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 196.56/196.54 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 196.67/196.60 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 196.70/196.68 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 198.29/198.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 198.38/198.39 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 198.48/198.45 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 198.57/198.53 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 200.16/200.15 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 200.30/200.24 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 200.30/200.30 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 200.40/200.37 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 201.99/201.99 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 202.08/202.07 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 202.18/202.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 202.28/202.26 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 202.38/202.35 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 202.48/202.41 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 202.48/202.49 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 204.18/204.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 204.21/204.20 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 204.31/204.26 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 204.38/204.33 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 205.99/205.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 206.08/206.05 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 206.20/206.12 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 206.20/206.19 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 207.81/207.81 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 207.91/207.89 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 207.98/207.97 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 209.69/209.60 (SAT)(equ)(fun)(SAT) 309| -.
% 209.69/209.68 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 211.41/211.36 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 211.51/211.44 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 211.58/211.54 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 211.67/211.60 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 211.71/211.68 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 213.28/213.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -1 -. -. -. -.
% 213.50/213.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 213.60/213.51 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 213.60/213.57 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 213.68/213.63 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 213.79/213.71 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 215.40/215.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 215.47/215.41 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 215.56/215.47 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 215.62/215.55 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 217.19/217.18 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 217.28/217.26 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 217.41/217.33 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 217.41/217.39 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 217.49/217.46 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 219.19/219.09 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 219.23/219.17 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 219.31/219.24 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 220.98/220.88 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 221.01/220.96 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 221.10/221.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 221.18/221.15 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 221.32/221.23 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 222.92/222.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 223.00/222.93 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 223.11/223.01 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 224.70/224.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 224.79/224.75 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 224.92/224.81 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 224.93/224.89 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 226.81/226.76 (SAT)(equ)(fun)(SAT) 309| -.
% 226.89/226.86 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 229.93/229.89 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 230.18/230.07 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 230.32/230.27 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 230.52/230.44 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 233.30/233.22 (SAT)(equ)(fun)(SAT) 309| -.
% 233.42/233.32 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 235.70/235.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 235.82/235.77 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 235.91/235.85 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 236.02/235.93 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 236.12/236.03 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 238.18/238.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 238.24/238.19 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 238.31/238.27 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 238.39/238.37 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 240.59/240.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 240.62/240.60 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 240.71/240.68 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 240.80/240.78 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 242.91/242.87 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 243.12/243.01 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 243.22/243.12 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 245.29/245.18 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 245.39/245.27 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 245.52/245.45 (SAT)(equ)(fun)(SAT) 309| -.
% 245.74/245.62 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 247.84/247.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 247.92/247.88 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 248.00/247.96 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 248.16/248.08 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 250.24/250.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 250.34/250.25 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 250.43/250.33 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 250.52/250.43 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 252.55/252.47 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 252.63/252.58 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 252.71/252.66 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 252.84/252.75 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 254.80/254.76 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 254.94/254.86 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 255.03/254.98 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 257.13/257.04 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -.
% 257.22/257.14 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 257.33/257.27 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 257.43/257.37 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 259.53/259.41 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 259.60/259.51 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 259.73/259.60 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 261.73/261.62 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 261.85/261.75 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 261.94/261.87 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 263.97/263.90 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 264.12/264.02 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 264.22/264.09 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 264.26/264.17 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 264.35/264.25 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 264.42/264.33 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 264.56/264.43 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 266.51/266.45 (SAT)(equ)(fun)(SAT) 309| -.
% 266.66/266.55 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 268.72/268.59 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 268.84/268.72 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 268.84/268.80 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 268.94/268.90 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 271.01/270.94 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 271.16/271.09 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 273.24/273.10 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -1 -. -. -. -.
% 273.36/273.23 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 273.43/273.33 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 273.55/273.41 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 273.56/273.49 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 273.73/273.59 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 275.74/275.62 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 275.83/275.73 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 275.95/275.82 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 277.94/277.85 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 278.07/277.97 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 278.23/278.08 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 278.32/278.17 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 280.26/280.20 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 280.43/280.30 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 280.43/280.39 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 282.54/282.42 (SAT)(equ)(fun)(SAT) 309| -.
% 282.66/282.51 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 284.47/284.36 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 284.56/284.44 (SAT)(equ)(fun)(SAT) 309| -. -1 -. -. -. -. -. -. -.
% 284.63/284.54 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 284.77/284.65 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 284.77/284.71 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 284.87/284.78 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 286.56/286.45 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 286.66/286.53 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 286.75/286.59 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 286.75/286.67 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 288.38/288.30 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 288.55/288.40 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 288.63/288.48 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 290.26/290.11 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -.
% 290.35/290.20 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 290.35/290.27 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 291.99/291.90 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 292.08/291.98 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 292.16/292.04 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 292.26/292.11 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 293.86/293.76 (SAT)(equ)(fun)(SAT) 309| -.
% 293.95/293.84 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 295.59/295.48 (SAT)(equ)(fun)(SAT) 309| -1 -1 -. -.
% 295.68/295.57 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -1 -. -.
% 295.84/295.67 (SAT)(equ)(fun)(SAT) 309| -1 -.
% 295.90/295.73 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 295.90/295.80 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 297.56/297.42 (SAT)(equ)(fun)(SAT) 309| -. -. -. -1 -. -.
% 297.67/297.50 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 297.67/297.57 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 299.36/299.23 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -1 -. -. -.
% 299.50/299.33 (SAT)(equ)(fun)(SAT) 309| -. -1 -.
% 299.50/299.40 (SAT)(equ)(fun)(SAT) 309| -. -. -.
% 299.59/299.48 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
%------------------------------------------------------------------------------