TSTP Solution File: HWV041-2 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : HWV041-2 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n014.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 : Sat Jul 16 13:57:42 EDT 2022
% Result : Timeout 300.02s 299.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV041-2 : TPTP v8.1.0. Released v5.3.0.
% 0.07/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.34 % Computer : n014.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 17 06:33:19 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.19/0.45 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.19/0.49 #elt|#instances
% 0.19/0.49 (SAT)(equ)(fun)(SAT) 206| -. -. -1 -1 -. -123456789XLC> -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -1 -1 -1 -. -123456789XLC> -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 0.66/0.84 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -123456789XLC -. -123456789XLC -1 -. -123456789XL -. -. -. -. -. -. -. -.
% 0.77/0.93 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 0.88/1.06 (SAT)(equ)(fun)(SAT) 205| -.
% 0.92/1.08 (SAT)(equ)(fun)(SAT) 205+ -. -123456789XLC> -. -. -. -. -123456789XLC> -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123456789XLC -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.16/1.36 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -123456789XL -123456789XLC> -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -1 -123456789XLC -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.00/3.18 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -123456789XLC -. -1 -. -123456789XLC -. -123456789XL -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 3.16/3.32 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -123456 -. -123456789XL -. -123456 -123456789XLC -. -123456789X -. -123456789XLC -. -. -. -. -. -. -1 -1 -. -1 -1 -12 -. -1 -. -. -. -. -. -. -. -123456789XLC -. -.
% 3.30/3.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -123456789XL -. -. -123 -. -123 -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 3.38/3.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -123 -. -. -. -. -. -. -123456789 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 3.52/3.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.52/3.75 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -1 -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -123456789XLC> -. -. -. -. -. -.
% 3.82/4.03 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -12 -. -123456789X -. -123456789XL -123456789X -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -1 -12 -1 -. -. -. -. -12 -12 -. -12 -. -. -. -. -1 -. -. -123456789X -123456789XL -. -. -. -1234
% 4.00/4.20 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -1 -. -123456789X -123456789XL -. -. -. -1 -. -. -1 -. -. -. -. -1 -1 -. -1 -. -. -. -12 -1 -. -. -. -. -1 -12 -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -1 -. -. -1 -123456789X -.
% 4.12/4.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -123456789X -. -. -. -1 -. -. -1 -. -1 -. -. -. -1 -1 -. -1 -. -. -12 -1 -. -. -. -. -1 -12 -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1
% 4.28/4.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -1 -12 -. -. -. -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -12 -1 -1 -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -.
% 4.32/4.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -12 -. -123 -123 -12 -123 -. -. -. -1 -. -12 -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -.
% 4.41/4.60 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -1 -. -. -12 -. -. -. -1 -1 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -1234 -. -1 -. -. -. -. -12 -1 -. -12 -1 -123 -123 -. -. -. -1 -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1
% 4.51/4.67 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -1 -. -1 -. -1 -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -1 -1 -. -. -1 -. -. -. -12 -. -. -. -. -. -12 -12 -1 -1 -12 -12 -12 -123 -. -. -. -1 -. -1 -. -1 -. -. -. -1 -1 -1 -1 -. -. -. -. -. -1 -. -.
% 4.58/4.74 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -1 -123 -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -123 -. -. -. -. -. -. -. -. -12 -1 -1 -12 -1 -12 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -.
% 4.61/4.82 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -12 -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -12 -. -12 -. -. -12 -1 -. -123 -123 -123 -1 -. -. -. -1 -1 -. -12 -. -. -1 -. -1 -1 -. -. -1 -. -.
% 4.70/4.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -1 -1 -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -1 -. -1 -. -123 -. -. -. -. -. -. -12 -1 -. -12 -1 -1234 -1 -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -1
% 4.79/4.97 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -1 -. -. -. -. -1 -1 -12 -1 -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -1 -. -1 -1 -. -. -. -1 -. -. -12 -1 -. -1 -12 -. -12 -12 -1 -1 -12 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -. -. -1 -. -1 -. -.
% 4.90/5.05 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -. -1 -1 -1 -12 -1 -. -. -. -. -. -. -. -12 -. -12 -. -. -12 -12 -. -12 -1234 -. -1 -. -1 -. -1 -. -1 -. -. -. -1 -1 -. -1 -. -. -. -. -1 -1 -. -12
% 4.96/5.13 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -1 -1 -1 -. -1 -. -. -. -1 -. -. -. -. -1 -12 -. -. -12 -12 -. -12 -12 -12 -12 -. -. -. -1 -. -. -. -. -1 -123 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 4.98/5.21 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -1 -12 -1 -. -. -12 -1 -1 -. -. -1 -. -. -. -12 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -1234 -1 -1 -. -. -. -. -12 -1 -. -12 -123 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -1
% 5.12/5.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -12 -12 -1 -. -. -. -12 -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -1 -1 -12 -123 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -.
% 5.21/5.38 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -12 -12 -1 -. -123 -12 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -.
% 5.30/5.47 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -12 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -12 -1 -12 -12 -1 -123 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 5.38/5.55 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -1 -12 -. -. -12 -1 -. -. -. -12 -. -. -. -. -. -1 -1 -1 -. -1 -1 -1 -. -. -. -. -. -1234 -. -12 -. -. -. -12 -12 -1 -. -12 -12 -12 -123 -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -.
% 5.44/5.64 (SAT)(equ)(fun)(SAT) 205| -1 -1 -12 -1 -1 -12 -12 -. -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -1 -. -. -12 -. -12 -. -. -. -. -. -. -. -12 -12 -1 -1 -123 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -.
% 5.49/5.73 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -1 -1 -12 -. -1 -1 -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -1234 -. -12 -12 -1 -. -12 -12 -123 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -1
% 5.64/5.82 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -1 -. -123 -. -1 -1 -1 -1 -1 -. -. -1 -. -. -1 -. -1 -1 -. -1 -. -. -. -1 -1 -123 -1 -. -. -. -1 -. -1 -. -12 -. -1 -1 -1 -. -. -12 -1 -. -12 -1 -1234 -12345 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1
% 5.69/5.91 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -123 -. -. -1 -1 -1 -. -. -. -. -. -. -. -123456 -12 -1 -. -12 -12 -12 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -123 -. -. -. -1 -. -.
% 5.85/6.00 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -12 -. -1 -. -1 -. -1 -. -. -. -1 -1 -. -1 -1 -12 -1 -. -. -. -. -. -1 -. -. -. -1 -. -12 -. -. -12 -1 -. -12 -12 -123 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -1 -1 -1 -. -. -. -. -. -. -. -. -.
% 5.90/6.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -12 -. -12 -. -1 -1 -. -1 -1 -. -12 -1 -. -. -. -. -. -. -. -1234 -. -12 -. -. -1 -12 -12 -12 -1 -. -. -. -1 -. -12 -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 6.00/6.19 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -12 -12 -1 -123 -12 -123 -12 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -1 -1 -. -. -1
% 6.11/6.29 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1 -. -12 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -. -. -12 -1 -12 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -1
% 6.21/6.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -12 -12 -1 -123 -. -12 -. -. -. -. -. -. -1 -1 -. -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -1234 -. -. -. -12 -. -. -12 -12 -. -12 -1 -12 -123 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -1
% 6.28/6.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -12 -. -12 -12 -1 -12 -12 -12 -123 -1234 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -1
% 6.38/6.59 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -1 -. -123 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -1 -1 -. -. -1 -123 -. -. -1 -1 -. -. -. -. -. -. -12 -1 -12 -12 -123 -1234 -12 -. -. -. -1 -. -. -. -12 -. -. -. -. -1 -. -1 -1 -1 -. -. -. -.
% 6.51/6.70 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -12 -. -12 -. -. -1 -12 -1 -. -. -12 -. -1 -1 -1 -1 -1 -1 -. -. -. -1 -1 -. -1 -1 -. -1 -. -. -12 -1 -. -12 -. -12 -. -1 -1 -12 -. -. -. -. -. -12 -1 -12 -123 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -12
% 6.64/6.81 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -1 -. -1 -. -1 -12 -. -1 -1 -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -1234 -. -. -12 -12 -. -123 -12 -12 -12 -. -1 -12 -1 -1 -. -. -1 -1 -1 -. -. -1 -. -1 -1 -. -. -12 -. -1
% 6.68/6.91 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -1 -. -1 -. -1 -1 -. -1 -1 -. -12 -1 -. -1 -1 -. -. -1 -. -12 -. -12 -. -. -1 -12 -1 -12 -. -. -. -. -1 -. -123 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -1 -1 -.
% 6.86/7.02 (SAT)(equ)(fun)(SAT) 205| -12 -. -. -1 -. -. -. -12 -. -1 -1 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -12 -12 -1 -12 -123 -123 -123 -1 -. -. -. -1 -. -12 -12 -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -.
% 6.92/7.14 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -12 -1 -. -. -. -. -. -. -1 -1 -12 -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -12 -1 -12 -12 -12 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 7.08/7.25 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -1 -. -1 -. -1 -1 -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -12 -1 -. -123 -12 -12 -123 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 7.16/7.36 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -1 -. -1 -. -12 -1 -. -1 -1 -1 -. -1 -1 -1 -1 -1 -. -12 -12 -. -. -. -. -. -12 -. -12 -1 -12 -. -. -. -12 -1 -12 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -.
% 7.33/7.48 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -12 -12 -12 -1 -123 -1 -123 -12 -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -1
% 7.40/7.60 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -12 -1 -1 -12 -12 -12 -12 -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -1
% 7.53/7.72 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -12 -. -1 -. -. -1 -1 -1 -1 -1 -. -. -. -. -. -1 -. -1 -12 -1 -. -1 -1 -. -1 -. -1 -. -1 -. -. -. -12 -. -. -. -12 -. -. -12 -1 -. -123 -12 -123 -12 -. -. -. -1 -. -1 -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -. -1 -. -1
% 7.67/7.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -1 -. -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -12 -12 -1 -1 -12 -1 -12 -. -. -. -. -. -. -12 -. -. -. -123 -. -1234 -12 -1 -. -12 -12 -123 -12345 -. -. -1 -1 -. -. -. -. -1 -. -. -. -12 -. -1 -1 -. -1 -. -. -1 -. -. -1 -. -.
% 7.79/7.97 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -1 -. -1 -1 -1 -1 -. -1 -1 -. -1 -1 -. -. -1 -1 -1 -. -. -. -1 -. -12 -. -12 -12 -1 -1 -12 -1 -123 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -.
% 7.92/8.09 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -1 -1 -1 -12 -. -12 -1 -. -. -. -12 -. -. -. -1 -. -. -1 -1 -. -1 -. -1 -. -1 -1 -. -1 -. -. -. -12 -. -1 -. -. -. -1 -. -12 -. -. -12 -1 -. -123 -12 -123 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -.
% 8.02/8.22 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -1 -. -1 -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -1 -. -. -1 -. -12 -. -. -. -. -. -. -. -12 -12 -1 -1 -123 -12 -123 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1
% 8.18/8.35 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -12 -. -. -. -. -12 -. -1 -1 -1 -. -1 -. -1 -1 -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -12 -. -. -12 -1 -. -12 -12 -123 -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -.
% 8.32/8.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -1 -. -. -. -1 -1 -1 -. -1 -. -. -. -12 -1 -. -1 -1 -. -1 -. -. -1 -. -. -1 -. -. -. -1 -. -12 -. -. -12 -1 -. -12 -1 -123 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -1 -. -. -.
% 8.41/8.62 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -12 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -1234 -. -12 -12 -1 -. -12 -1 -123 -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -.
% 8.60/8.75 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -12 -. -12 -1 -. -12 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -1 -. -12 -. -12 -1 -1 -. -. -. -. -. -. -. -. -12 -1 -12 -12 -1 -12 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 8.69/8.89 (SAT)(equ)(fun)(SAT) 205| -12 -1 -1 -1 -. -. -. -. -. -12 -. -1 -1 -. -1 -1 -12 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -1 -12 -. -. -. -1234 -. -. -. -. -. -12 -12 -1 -. -12 -12 -12 -1234 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 8.82/9.03 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -1 -1 -1 -. -. -1 -1 -. -. -. -1 -. -. -1 -1 -. -. -1 -. -. -. -1 -. -. -1 -1 -. -1 -1 -12 -. -1 -. -1 -. -. -. -1 -. -. -. -1 -12 -1 -1 -123 -12 -12 -1 -. -. -. -1 -. -. -. -. -12 -1 -. -. -1 -. -1 -1 -1 -. -.
% 9.01/9.17 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -1 -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -12 -. -. -1 -. -. -. -12 -. -. -. -. -. -1234 -12 -1 -. -123 -123 -1234 -1234 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 9.14/9.32 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -1 -. -. -1 -1 -. -1 -1 -1 -. -. -. -1 -. -. -1 -1 -12 -1 -. -. -12 -1 -. -. -. -12 -. -1 -. -. -. -. -. -. -123 -12 -12 -123 -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -1 -. -1 -1 -. -. -1
% 9.29/9.46 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -12 -. -12 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -12 -12 -. -12 -1 -123 -1 -. -. -. -1 -. -123 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -.
% 9.45/9.61 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -1 -12 -12 -. -12 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -1 -. -1234 -. -. -. -. -. -. -12 -1 -1 -12 -12 -123 -123 -. -. -. -1 -. -1 -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -1 -. -.
% 9.57/9.76 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -. -12 -1 -. -. -1 -1 -1 -. -. -. -1 -. -. -1 -. -1 -. -. -1 -1 -. -1 -. -1 -. -. -. -12 -. -12 -. -. -. -. -. -. -12 -1 -. -123 -1 -12 -12 -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -.
% 9.75/9.91 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -12 -12 -1 -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -. -1 -. -12 -. -1 -. -1 -. -. -. -. -. -12 -. -. -12 -1 -. -12 -1 -12 -1234 -. -. -. -1 -. -. -1 -. -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -.
% 9.92/10.07 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -1 -. -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -12 -1 -123 -123 -12 -1234 -123 -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 10.04/10.23 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -12 -12 -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -1 -. -1 -1 -. -. -12 -. -. -. -. -. -. -1 -12 -. -12 -12 -1 -. -12 -1 -123 -1 -. -1 -. -1 -1 -. -. -12 -. -1 -. -. -. -. -1 -1 -1 -. -1 -. -1
% 10.23/10.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -12 -1 -123 -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -1 -. -1
% 10.38/10.55 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -. -12 -12 -1 -1 -12 -1 -123 -12 -1 -. -1 -1 -. -. -. -. -1 -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -. -1 -1 -. -.
% 10.53/10.72 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -. -1 -. -1 -. -. -1 -1 -12 -1 -. -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -12 -1 -1 -12 -12 -123 -123 -. -. -. -1 -. -1 -. -. -1 -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -. -1 -. -.
% 10.71/10.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -12 -. -. -. -1 -. -12 -12 -1 -. -123 -123 -123 -123 -. -. -. -1 -. -. -1 -. -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -.
% 10.91/11.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -12 -. -. -. -1 -. -. -1 -1 -. -1 -. -1 -. -. -. -1 -. -. -1 -12 -. -. -. -. -12 -1 -1 -12 -123 -12 -123 -. -. -. -1 -. -1 -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -.
% 11.01/11.23 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -123 -. -. -1 -1 -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -1 -1 -. -12 -. -. -. -12 -. -. -12 -1 -. -12 -1 -123 -123 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1
% 11.23/11.40 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -1 -. -1 -. -. -1 -1 -1 -. -. -. -12 -. -12 -1 -1 -. -12 -. -1 -1 -1 -1 -. -. -. -1 -. -. -1 -12 -. -. -. -1234 -. -. -12 -1 -. -12 -1 -12 -123 -. -. -. -1 -. -12 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 11.42/11.58 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -1 -1 -. -1 -. -1 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -12 -1 -1 -123 -12 -123 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 11.58/11.75 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -12 -12 -1 -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -12 -1 -1 -12 -1 -12 -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -.
% 11.72/11.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -12 -. -. -. -12 -. -1 -1 -1 -. -1 -12 -. -. -. -. -. -. -12 -12 -12 -. -. -. -1234 -12 -1 -. -12 -1 -123 -123 -. -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 11.92/12.11 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -12 -12 -1 -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -12345 -. -. -. -. -. -. -12 -1 -12 -12 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -.
% 12.13/12.29 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -1 -1 -. -. -12 -1 -. -. -. -1 -. -. -1 -12 -. -. -12 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -12 -12 -. -1 -. -. -. -12 -. -. -. -. -. -. -1 -12 -1 -123 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 12.31/12.47 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -12 -. -. -. -1 -. -1 -1 -. -. -1 -. -1 -1 -. -1 -. -. -12 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -1 -12 -. -12 -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -1
% 12.50/12.65 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -1 -1 -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -12 -. -123 -12 -12 -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -.
% 12.60/12.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -12 -. -12 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -12 -1 -1 -12 -12 -123 -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 12.86/13.03 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -1 -. -. -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -12 -1 -. -12 -1 -123 -1 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 13.04/13.23 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -. -. -1 -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -12 -1 -1 -123 -12 -123 -1234 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 13.22/13.42 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -1 -. -1 -. -1 -. -1 -. -1 -. -. -. -1 -. -12 -. -. -12 -1 -. -123 -12 -1234 -123 -. -. -. -1 -. -. -. -12 -. -. -. -. -1 -. -1 -1 -. -. -. -. -.
% 13.47/13.63 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -1 -. -123 -. -. -. -. -. -. -12 -1 -1 -123 -12 -123 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -12
% 13.67/13.83 (SAT)(equ)(fun)(SAT) 205| -. -1 -12 -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -1 -12 -. -. -. -1 -1 -. -1 -1 -. -1 -. -1 -. -. -. -. -. -12 -1 -12 -. -12 -. -. -12 -1 -1 -12 -123 -12 -1234 -. -. -1 -1 -. -1 -12 -. -. -. -. -. -1 -. -1 -1 -. -. -12 -. -.
% 13.84/14.04 (SAT)(equ)(fun)(SAT) 205| -12 -12 -. -1 -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -123 -1 -. -. -. -1 -1 -. -1 -1 -. -1 -. -. -. -12 -. -. -. -. -. -1 -. -1 -. -. -12 -1 -1 -12 -1 -12 -123 -1 -1 -1 -1 -. -12 -12 -. -. -1 -1 -1 -1 -. -1 -1 -. -. -. -. -12 -. -.
% 14.09/14.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -123 -. -. -1 -1 -. -1 -. -. -1 -1 -. -12 -. -1 -. -. -. -. -. -. -1 -1 -12 -1 -. -. -. -. -12 -12 -. -12 -. -1 -. -. -. -. -12 -1 -1 -12 -1 -123 -123 -. -. -. -1 -. -1 -1 -. -. -. -. -. -1 -. -1 -1 -1 -12 -. -. -. -. -12 -12 -.
% 14.30/14.46 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -1234 -. -. -1 -. -. -. -. -. -. -. -. -1 -12345678 -12 -1 -. -123 -12 -12 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -. -1
% 14.50/14.67 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -12 -. -. -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -12 -. -. -12 -1 -1 -123 -12 -123 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -.
% 14.72/14.88 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -1234 -. -. -. -12 -. -. -12 -1 -1 -12 -1 -123 -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -1
% 14.92/15.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -1 -12 -. -. -1 -1 -. -. -1 -1 -. -1 -. -1 -1 -. -1 -1 -1 -. -1 -1 -1 -1 -. -. -12 -12 -. -. -. -12 -. -1 -. -12 -. -. -. -. -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -. -1
% 15.13/15.32 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -1 -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -12 -. -. -1 -. -. -. -. -. -. -. -. -. -1234 -12 -12 -1 -123 -12 -12 -1234 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -. -1
% 15.38/15.54 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -1 -. -1 -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -. -12 -. -12 -. -1 -. -. -. -12 -12 -1 -. -12 -1 -12 -1 -1 -. -. -1 -. -12 -. -1 -. -1 -. -. -. -. -1 -1 -12 -1 -. -. -1 -. -1 -1 -1 -.
% 15.62/15.78 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -12 -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -1 -1 -12 -12 -123 -1234 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -1
% 15.86/16.01 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -1 -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -. -1 -1234 -. -12 -12 -1 -. -12 -1 -12 -12 -. -. -1 -1 -. -1 -. -. -. -. -. -. -12 -. -1 -1 -1 -12 -. -. -. -. -. -12 -. -.
% 16.05/16.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -12 -12 -1 -. -. -123 -. -. -. -12 -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -123 -. -. -12 -1 -. -. -. -. -12 -1 -1 -12 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -1
% 16.32/16.47 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -1 -. -1 -1 -. -1 -1 -. -1 -. -. -1 -1 -. -. -. -12 -. -. -. -12 -. -. -12 -1 -1 -12 -1 -123 -123 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -1 -. -1
% 16.52/16.71 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -123 -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -12 -123 -. -. -. -1234 -. -. -. -. -. -. -. -. -. -12 -. -123 -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -.
% 16.77/16.95 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -12 -. -. -. -. -. -. -1 -1 -. -1 -1 -12 -. -123 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -12 -1 -12 -123 -12 -12 -12 -. -. -. -1 -. -1 -1 -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -1 -. -1
% 16.99/17.19 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -12 -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -1 -12 -. -1 -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -1234 -. -. -12 -1 -. -123 -12 -12 -1 -. -. -. -1 -. -123 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 17.28/17.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -1 -1 -1 -1 -1 -. -12 -. -1 -1 -. -1 -. -. -. -. -1 -12 -. -. -1 -1 -. -1234 -. -. -12 -1 -12 -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1
% 17.51/17.68 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -12 -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -12 -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -1234 -12 -1 -. -12 -123 -1234 -1234 -. -. -. -1 -1 -. -. -. -1 -. -. -. -12 -. -1 -1 -. -. -. -. -.
% 17.74/17.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -12 -12 -. -1 -1 -. -1 -. -. -. -. -. -. -. -12 -1 -. -. -123 -. -. -12 -1 -1 -12 -1 -12 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1
% 18.03/18.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -12 -1 -. -1 -1 -. -1 -. -1 -. -. -12 -1 -. -12 -. -. -. -12 -. -. -12 -1 -1 -123 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -.
% 18.30/18.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -12 -. -. -1 -1 -. -. -1 -. -1 -1 -. -1 -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -1 -. -12 -. -12 -12 -1 -. -123 -123 -12 -12 -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -1 -1 -1 -. -.
% 18.53/18.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -1 -. -12 -1 -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -12 -12 -. -1 -. -12 -. -. -. -. -. -. -. -. -. -12 -123 -1234 -. -. -. -. -1 -. -. -12 -. -. -1 -1 -1 -1 -. -1 -1 -. -. -.
% 18.81/18.95 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -12 -12 -12 -. -12 -12 -12 -123 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -. -.
% 19.05/19.21 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -12 -. -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -12 -1 -12 -12 -1 -123 -123 -. -. -. -1 -. -123 -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 19.31/19.48 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -12 -12 -. -12 -. -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 19.53/19.74 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -12 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -1 -123 -12 -1 -12 -12345 -. -. -. -1 -12 -1 -12 -. -. -. -. -. -. -. -1 -1 -. -. -1
% 19.83/20.01 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -1 -. -1 -. -1 -. -1 -1 -1 -. -1 -. -12 -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -12 -1 -12 -. -. -. -. -12 -1 -. -12 -1 -1234 -1 -. -. -. -1 -. -1 -. -12 -. -. -. -. -. -. -1 -1 -1 -. -. -. -.
% 20.14/20.29 (SAT)(equ)(fun)(SAT) 205| -12 -. -1 -1 -. -. -. -1 -. -1 -. -. -12 -12 -. -1 -12 -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -1 -1 -. -. -1 -1 -1 -. -. -1234 -. -. -. -. -. -. -12 -1 -. -12 -12 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -1 -1 -1 -. -1
% 20.37/20.57 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -1 -. -1 -1 -1 -. -. -12 -. -1 -1 -1 -1 -. -. -12 -12 -. -. -. -. -. -1 -. -1234 -. -. -. -. -. -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -. -1
% 20.69/20.85 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -1 -1 -1 -12 -. -. -12 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -12 -12 -1 -12 -12 -12 -123 -. -. -. -1 -. -12 -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1
% 20.99/21.14 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -. -. -1 -1 -1 -. -1 -1 -1 -. -1 -1 -. -. -. -1 -. -. -1 -1 -1 -1 -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -12 -1 -1 -123 -12 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -1 -. -1
% 21.23/21.43 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -1 -12 -1 -. -1 -1 -12 -. -. -. -. -. -. -1 -1234 -12 -1 -1 -12 -12 -12 -123 -1 -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -. -1 -. -. -1 -. -. -1 -. -.
% 21.53/21.72 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -123 -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -1 -1 -. -. -. -1 -1 -. -12 -. -. -12 -1 -12 -123 -1 -12345 -1 -. -. -. -1 -1 -. -12 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -1
% 21.88/22.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -12 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -. -1 -12 -12 -12 -123 -. -. -. -1 -. -12 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -.
% 22.18/22.32 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -1 -12 -12 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -. -. -1 -1 -. -1 -. -1 -. -1 -1 -12 -. -. -. -. -. -. -. -. -12 -12 -. -12 -1 -123 -1234 -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -. -1 -1 -. -. -1
% 22.46/22.62 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -1 -. -1 -1 -1 -. -. -1 -. -. -. -1 -12 -. -1 -1 -1 -1 -. -1 -. -. -. -. -. -12 -. -1 -. -1234 -. -. -12 -1 -. -123 -123 -1234 -1 -. -. -. -1 -. -. -1 -. -12 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 22.78/22.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1 -1 -. -1 -1 -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -12 -. -. -12 -1 -1234 -12 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -1 -1 -1 -. -. -.
% 23.06/23.24 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -123 -. -. -1 -. -. -. -. -. -1 -. -. -. -1234 -12 -1 -. -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1
% 23.38/23.55 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -1 -. -1 -1 -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -1 -. -. -1 -1 -. -1 -. -12 -. -. -. -12 -. -. -12 -1 -. -12 -12 -123 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -.
% 23.68/23.86 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -12 -. -1 -1 -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -12 -12 -. -. -. -12 -. -. -. -. -. -12 -. -. -1 -1234 -1 -12 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -12 -. -.
% 24.05/24.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -. -1 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -12 -1 -. -1 -. -12 -. -. -. -. -. -. -. -1 -12 -12 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -12
% 24.35/24.50 (SAT)(equ)(fun)(SAT) 205| -1 -1 -12 -1 -. -. -. -. -. -12 -. -. -. -. -1 -1 -. -1 -1 -. -. -12 -. -. -. -12 -. -. -1 -1 -. -1 -1 -. -1 -12 -. -. -. -. -. -12 -. -. -. -12 -12 -1 -1 -12 -12 -12 -1234 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -1
% 24.63/24.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -12 -. -. -12 -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -1 -1 -. -. -. -1 -12 -. -12 -. -. -. -. -. -1 -12 -12 -. -12 -12 -123 -1234 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -.
% 25.01/25.16 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -123 -1 -. -. -. -. -. -. -1 -1 -12 -. -12 -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1234 -. -. -12 -1 -. -123 -123 -12 -1 -. -. -. -1 -1 -1 -. -12 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 25.35/25.49 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -1 -12 -1 -. -. -. -. -1 -. -. -. -12 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -1 -. -12 -. -12 -. -. -. -. -. -. -12 -1 -. -12 -123 -12 -12 -. -. -. -1 -. -12 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 25.66/25.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -. -1 -. -1 -. -. -1 -. -. -. -1 -1 -1 -1 -1 -. -1 -12 -. -. -. -. -. -. -12 -. -1 -. -12 -. -1234 -12 -1 -. -12 -1 -123 -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -. -.
% 26.01/26.16 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -123 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -12 -12 -123 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -12 -. -1234 -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1
% 26.30/26.49 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -1 -. -1 -1 -. -. -. -1 -1 -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -12 -1 -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -12 -12 -1 -123 -12 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -12 -. -1 -. -.
% 26.60/26.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -12 -. -. -. -. -. -. -12 -. -1 -. -. -. -1234 -1234 -1 -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -1 -1 -1 -. -. -. -1 -. -.
% 27.00/27.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -123 -1 -1 -. -1 -12 -. -. -. -. -1 -. -. -. -1 -. -. -1 -1234 -12 -1 -. -12 -123 -12 -12345 -. -. -. -1 -. -1 -. -1 -12 -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -.
% 27.40/27.53 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -1 -1 -. -. -. -1 -1 -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -1 -. -1 -. -1 -. -1 -. -1 -. -12 -. -. -. -12 -. -. -12 -1 -. -12 -12 -12 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -.
% 27.75/27.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -1 -12 -1 -1 -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -1 -. -. -. -. -. -1 -. -1234 -. -. -. -12 -. -. -12 -1 -1 -123 -12 -1234 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1
% 28.10/28.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -123 -. -. -1 -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -12 -1 -123 -12 -1 -123 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 28.45/28.61 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -12 -. -. -1 -. -. -. -. -. -. -. -. -. -1234 -12 -1 -1 -12 -12 -123 -123 -. -. -. -1 -. -1 -1 -. -. -. -. -. -1 -. -1 -1 -. -. -.
% 28.83/28.97 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -1 -. -1 -. -1 -1 -. -1 -. -1 -1 -. -. -. -1 -1 -. -1 -. -1 -. -1 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -1 -. -12 -. -. -12 -1 -. -123 -1234 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -.
% 29.16/29.34 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -1 -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -12 -. -12 -12 -1 -12 -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1
% 29.54/29.71 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -123 -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -123456 -. -. -12 -1 -. -12 -1 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -. -1
% 29.94/30.09 (SAT)(equ)(fun)(SAT) 205| -12 -1 -1 -1 -1 -1 -. -. -. -12 -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -1 -1 -. -. -. -1 -1 -1 -1 -12 -. -1 -1 -. -. -1 -1 -. -. -. -. -. -1234 -12 -1 -1 -12 -12 -123 -123 -. -1 -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -12 -. -. -. -1
% 30.31/30.47 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -12 -. -. -12 -. -1 -1 -1 -1 -1 -12 -1 -1 -. -. -. -12 -. -. -. -1234 -1 -1 -12 -1 -. -12 -12 -123 -12 -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -1 -1 -. -. -. -.
% 30.71/30.86 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -1 -1 -1 -1 -. -12 -1 -1 -. -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -. -. -12 -12 -12 -1 -. -12 -. -1 -. -. -. -. -. -. -1 -12 -1 -12 -. -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -.
% 31.05/31.24 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -1 -12 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -1 -. -.
% 31.43/31.62 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -1 -. -. -. -1 -1 -. -. -1 -1 -. -1 -. -1 -1 -1 -1 -. -1 -. -12 -12 -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -12 -1 -123 -1 -. -. -. -1 -. -. -. -1 -12 -. -. -. -. -. -1 -1 -. -. -.
% 31.84/32.01 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -. -1 -1 -12 -. -123 -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -1 -123 -. -. -. -. -. -. -12 -12 -. -12 -1 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -12
% 32.24/32.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -1 -1 -. -1 -. -. -. -. -. -. -1 -. -12 -1 -. -1 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -. -. -12 -. -. -12 -1 -12 -123 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -12 -. -.
% 32.62/32.78 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -1 -1 -. -1 -1 -12 -1 -1 -. -. -. -. -. -. -. -. -1 -. -12 -. -12 -12 -1 -1 -12 -123 -1234 -123 -. -. -. -1 -. -1 -. -. -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -.
% 33.01/33.17 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -1 -12 -1 -1 -12 -12 -1 -. -. -. -. -. -1 -. -. -. -12 -1 -. -12 -12 -. -12 -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -. -.
% 33.40/33.56 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -12 -12 -1 -1 -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -12 -12 -. -. -. -. -. -. -1 -. -12 -12 -. -123 -123 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -.
% 33.83/33.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -12 -1 -1 -123 -1 -123 -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -12
% 34.22/34.37 (SAT)(equ)(fun)(SAT) 205| -12 -1 -1 -1 -. -1 -1 -1 -. -1 -1 -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -1 -. -. -1 -1 -1 -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -12 -12 -1 -. -12 -123 -123 -1234 -. -. -. -1 -. -1 -. -12 -. -. -. -. -1 -. -1 -1 -1 -. -. -. -.
% 34.65/34.78 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -1 -1 -1 -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -1 -1 -. -1 -. -. -. -12 -. -. -. -. -. -12 -12 -1 -. -12 -12 -123 -12 -. -. -. -1 -. -1 -12 -. -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 35.05/35.20 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -12 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -12 -1 -12 -12 -1 -12 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -1
% 35.45/35.61 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -. -1 -. -. -. -12 -. -. -. -. -. -. -12 -1 -1 -12 -12 -12 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -1
% 35.83/36.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -1 -12 -. -1 -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -1 -1 -. -1234 -. -. -. -. -. -. -12 -1 -1 -12 -12 -12 -12 -. -. -. -1 -. -12 -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -.
% 36.31/36.45 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123 -. -. -1 -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -12 -1 -1 -12 -12 -123 -123 -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 36.70/36.87 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -1 -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -1 -12 -. -12 -. -12 -12 -1 -1 -12 -12 -12 -12 -1 -. -1 -1 -1 -. -1 -1 -1 -. -. -. -1 -. -1 -1 -1 -. -1 -. -.
% 37.15/37.30 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -1 -. -. -1 -1 -1 -1 -1 -12 -. -1 -. -. -. -. -. -1 -. -. -. -12 -12 -1 -1 -12 -12 -123 -1234 -. -. -. -1 -. -. -. -. -1 -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -.
% 37.53/37.73 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -12 -. -1 -1 -. -1 -. -1 -12 -12 -. -. -. -. -. -. -1 -1234 -. -. -. -. -. -123 -1 -123 -123 -. -. -. -1 -. -. -. -1 -1 -. -. -. -1 -. -1 -1 -. -. -.
% 38.04/38.17 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -12 -1 -. -. -. -. -1 -. -. -12 -. -. -. -1 -1 -12 -1 -1234 -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 38.45/38.60 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -123 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -12 -12 -1 -12 -1 -123 -123 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 38.92/39.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -1 -12 -1 -. -. -. -. -. -1 -. -. -. -. -. -12 -. -. -12 -1 -1 -12 -12 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -1
% 39.33/39.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1 -1 -. -1 -1 -1 -. -. -. -1 -. -. -. -. -. -12 -. -12 -12 -1 -1 -123 -12 -123 -123 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -.
% 39.75/39.94 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -1 -1 -1 -. -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -. -. -. -1 -. -12 -. -1 -. -. -. -. -12 -1 -1 -12 -123 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1
% 40.21/40.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -12 -. -1 -1 -. -1 -. -. -12 -1 -. -1 -. -. -. -. -. -1234 -. -. -. -. -. -12 -1 -123 -1 -. -. -. -1 -. -1 -. -1 -. -. -. -1 -1 -. -1 -1 -. -. -. -. -1
% 40.72/40.84 (SAT)(equ)(fun)(SAT) 205| -12 -1 -12 -1 -1 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -1 -. -. -1 -1 -1 -1 -. -12 -. -1 -. -1 -. -. -. -1 -. -. -. -. -12 -12 -. -12 -1 -12 -1 -. -. -. -1 -. -1 -. -. -12 -1 -1 -. -. -. -1 -1 -1 -. -. -. -.
% 41.15/41.28 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -. -1 -. -. -1 -. -1 -. -. -. -1 -. -. -1 -1 -. -12 -. -1 -1 -. -1 -1 -. -12 -1 -. -. -. -12 -. -. -. -1234 -. -12 -. -. -. -12 -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -1
% 41.55/41.73 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -1 -1 -. -. -. -123 -. -. -. -. -1 -. -. -1 -1 -. -. -12 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -12 -123 -1 -1 -. -. -. -12 -. -. -. -. -. -1 -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -1
% 42.06/42.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -. -12 -12 -12 -12 -12 -1 -12 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -.
% 42.44/42.63 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -12 -12 -1 -12 -123 -123 -1234 -12 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.00/43.12 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -1 -12 -. -1 -. -. -. -1 -. -. -. -12 -. -. -. -. -. -1 -. -1 -1 -. -1 -. -1 -12 -1 -. -12 -1 -12 -. -. -. -12 -. -. -. -. -. -12 -12 -12 -12 -. -. -. -1 -. -. -12 -. -. -. -. -. -1 -. -1 -1 -. -. -. -1
% 43.45/43.58 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -12 -. -1 -. -. -1 -1 -12 -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -1 -. -1 -. -. -. -1 -. -. -. -12 -1 -. -. -12 -. -. -123 -12 -. -123 -12 -12 -12 -. -. -. -1 -. -1 -. -. -1 -. -1 -. -. -. -1 -1 -. -. -. -. -1
% 43.93/44.08 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -12 -1 -12 -12 -. -123 -1 -1 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -123456 -1 -. -. -. -. -. -12 -1 -12 -123 -12 -123 -12345 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -1
% 44.46/44.58 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -. -. -1 -1 -. -. -. -1 -1 -1 -1 -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -1 -. -1 -12 -1 -. -12 -. -1 -. -. -. -. -12 -1 -1 -12 -12 -123 -12 -. -1 -. -1 -. -. -. -123 -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -.
% 44.93/45.05 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -1 -1 -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -1 -. -. -. -1 -12 -. -. -. -. -. -. -. -12 -12 -1 -1 -12 -123 -12 -123 -. -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -1 -.
% 45.42/45.56 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -1 -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -12 -1 -1 -123 -12 -1234 -12 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -1 -. -. -1 -. -. -. -. -.
% 45.93/46.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -123 -. -1 -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -123456 -. -. -12 -1 -. -12 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 46.45/46.56 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -12 -1 -. -1 -. -12 -. -. -. -. -. -. -. -. -12 -12 -. -12 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -. -. -. -. -1 -. -.
% 46.92/47.05 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -12 -12 -. -12 -1 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -12
% 47.44/47.58 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -1 -. -. -1 -. -. -. -12 -. -. -. -. -. -12 -12 -1 -1 -12 -1 -123 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -12 -. -. -. -. -.
% 47.94/48.11 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -12 -. -1 -1 -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -1234 -. -. -12 -1 -1 -12 -1 -123 -1234 -. -. -1 -1 -. -1 -. -1 -. -. -. -. -12 -. -1 -1 -. -. -. -. -1 -. -.
% 48.52/48.65 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -12 -. -. -. -. -1 -. -1 -1 -1 -1 -. -1 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -12 -. -. -. -12 -. -1 -. -. -. -. -12 -1 -1 -12 -1 -123 -12 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -1 -1 -1 -12
% 49.05/49.20 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -. -. -. -1 -1 -1 -1 -12 -. -. -1 -. -. -. -1 -. -1 -1 -1 -1 -. -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -1 -. -12 -. -. -12 -1 -12 -123 -12 -12 -12 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -1 -. -. -1 -. -.
% 49.61/49.76 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -. -1 -1 -1 -1 -. -1 -. -1 -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -12 -1 -1 -12 -1 -. -123 -12 -123 -123 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -1 -1
% 50.19/50.33 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -1 -. -. -. -123 -. -. -. -. -. -12 -12 -1 -. -12 -1 -123 -12 -. -. -. -1 -. -1 -. -12 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 50.79/50.90 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -12 -1 -123 -12 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 51.33/51.46 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -1 -1 -. -1 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -1 -1 -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -12 -1 -. -123 -12 -123 -12 -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -.
% 51.93/52.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -1 -. -1 -. -. -. -. -. -12 -. -1 -. -12 -. -. -12 -1 -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -.
% 52.47/52.62 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -1 -. -. -. -12 -. -. -. -. -. -12 -12 -1 -. -12 -12 -123 -1234 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 53.08/53.21 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -12 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1234 -12 -1 -12 -. -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -1 -1 -1 -. -1
% 53.64/53.80 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -12 -1 -. -12 -12 -. -123 -12 -123 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -.
% 54.25/54.38 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -1 -1 -1 -1 -. -1 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -12 -1 -1 -123 -1 -1234 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 54.81/54.95 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -12 -1 -1 -1234 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1
% 55.47/55.57 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -12 -1 -1 -123 -12 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -1 -. -.
% 56.06/56.18 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -1 -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -12 -1 -. -123 -12 -1234 -1 -. -. -. -1 -. -12 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 56.65/56.77 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -1 -1 -1 -1 -. -1 -. -. -. -12 -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -12 -1 -1 -123 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -1 -. -1
% 57.31/57.42 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -1 -. -1 -. -. -. -1 -1 -. -1 -1 -. -1 -. -. -123 -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -1 -12 -1 -1234 -12 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -12
% 57.91/58.04 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -12 -. -. -. -. -. -12 -. -. -. -. -. -. -12 -1 -12 -12 -12 -12 -123 -. -1 -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -12 -. -1
% 58.57/58.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -12 -1 -. -12 -1 -123 -123 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -12 -1 -1
% 59.22/59.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -12 -1 -12 -12 -1 -123 -1 -1 -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -1 -1 -1 -12 -. -. -1 -. -. -12 -. -.
% 59.89/59.99 (SAT)(equ)(fun)(SAT) 205| -. -. -12 -1 -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -123 -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -1 -123 -12 -12 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -123 -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -.
% 60.51/60.63 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -12 -1 -1 -123 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -1 -. -. -12
% 61.15/61.28 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -1 -12 -1 -. -1 -. -1 -1 -1 -. -. -1 -1 -. -1 -. -. -12 -1 -1 -12 -1 -123 -12345 -. -1 -1 -1 -. -. -. -12 -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -. -. -. -1 -. -.
% 61.86/61.98 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -. -1 -. -. -1 -. -. -. -1 -1 -1 -. -1 -1 -1 -1 -1 -. -1 -. -1 -1 -. -1 -1 -1 -12 -1 -1 -1 -. -12 -. -1 -. -12 -1 -12 -. -. -. -12 -1 -12 -1 -. -. -. -1 -. -1 -. -. -12 -. -12 -1 -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -. -1 -.
% 62.56/62.68 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -1 -. -1 -. -12 -1 -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -12 -. -. -12 -1 -1 -12 -1 -12 -12 -1 -1 -. -1 -. -. -12 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -1
% 63.23/63.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -1 -. -. -1 -123 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -. -1
% 63.91/64.01 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -. -1 -1 -123 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -.
% 64.55/64.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1
% 65.26/65.36 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 65.94/66.03 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 66.54/66.67 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 67.07/67.23 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1
% 67.20/67.31 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1
% 67.25/67.37 (SAT)(equ)(fun)(SAT) 205| -. -. -. -.
% 67.32/67.46 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -123456789XLC -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -123456789X -123456789X -. -. -. -. -. -. -123456789XL -. -12 -1 -. -. -123456789XLC> -. -. -. -. -1 -. -123456789XLC -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456 -123 -. -1234567 -123 -123456 -. -123456789X -123456789X -123456789X -. -1234 -. -1 -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -1 -. -. -. -123456789XL -. -123456789XL -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -123456789XLC -. -. -. -. -.
% 68.68/68.80 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -123456789X -123456789XL -123456789X -. -1 -123456789XL -123456789XL -. -1234 -1234 -12345 -. -1234 -12345678 -123 -123 -1 -123456 -1234 -1234567 -12345678 -1234 -12345 -. -1234 -123456789X -123 -12345 -1 -123 -. -12 -1234567 -12 -12 -1 -12345 -1234567 -123456789XL -1234 -12 -. -. -123456789X -. -123456789X -12345 -1234567 -123 -123 -12345678 -123456789XL -123456789X -1 -123456789XLC -1 -12 -123456789XL -123456 -1234567 -123456 -123 -12345678 -123456789X -123456789X -12345 -123 -12345678 -1 -123456 -. -1 -12345 -123456789XL -123456789XL -123456789XLC> -123456789XLC> -123456789X -123456789X -123456 -123456789X -. -12 -. -. -123 -1234 -12 -. -12 -12 -. -12345 -1 -1 -. -123 -1234 -12 -123 -1234567 -123 -12 -. -12 -. -1 -123456 -1 -. -. -123456 -123456789XL -. -. -1 -1234 -1 -123456789X -1 -123456789XL -123456789X -123456789XLC -. -. -12 -. -1 -1 -. -1 -. -. -. -. -. -.
% 70.10/70.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -123456 -12345678 -123456 -. -. -. -123456789XL -123456789XL -. -12 -1234 -123 -. -123456 -123456 -123456 -1234 -123456 -12345 -123456789 -12 -12345 -12 -123 -123 -1 -12345 -123456789X -1234 -12345678 -1234567 -1234567 -12 -123456 -12345 -123 -1 -123456 -1234 -123456789X -12 -12345678 -. -. -123456789 -. -123456789XL -12345 -123 -123 -123 -123456789X -1 -123456789XL -123456789XL -. -123456789X -1 -123456789X -1234567 -1234 -123456789X -12345678 -123 -1234567 -123456 -1234 -12 -123456 -123 -123456789 -123 -. -123456789X -12345 -123456789XL -123456789XLC -123456789XLC -123456789 -123456789X -123456 -123456789X -12 -12 -1 -. -12 -12 -1 -1234567 -1234567 -123456 -12345 -12345678 -1234 -1234 -1 -12345 -123 -123 -12 -12345678 -12345 -123 -1234 -12345 -123 -123 -1234 -123 -. -. -1234567 -123456789 -1 -12 -123456789XL -. -. -123 -12 -1 -1 -1 -123456789X -123456789X -. -123456789XL -12345 -12 -12 -12345 -. -12345 -. -. -.
% 71.32/71.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -123 -1234567 -123 -. -. -123456789X -123456789X -. -12 -1 -123 -. -123456789 -123456789 -12345 -1234 -12345 -12345 -123456789X -12 -123 -1 -12345 -123456789 -1234567 -12345 -1234 -1234 -1 -12 -1234567 -1234 -123 -1 -12 -1 -12345 -1234567 -123456789 -1234 -12345 -. -. -12 -. -123456789X -12345 -1 -123 -1 -12345 -123 -123456789XL -12345 -. -123456789X -1 -12345 -123456 -123 -123456789X -1234567 -123 -123456 -12345 -12345 -123 -123456 -12345 -123456789X -. -. -12345 -123456789X -123456789XL -123456789 -123456789X -1234567 -12345678 -123456789 -123456789 -1 -1 -1 -. -12345 -12 -1234 -12345678 -12 -1 -1 -123 -123 -1234567 -1 -123456789X -12 -12345678 -12 -12345678 -123456789X -123 -12 -1 -12 -12 -123456789 -. -. -. -1234 -123456789X -123 -1234 -123456789X -123 -. -123456789 -123 -123 -12 -1234 -123 -1234567 -. -123456789X -123456 -123 -12345 -1234 -. -12345 -. -. -.
% 72.48/72.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -123456789 -123456789X -123456789 -. -. -123456 -123456 -. -123 -1234 -1234 -. -123 -1234 -12 -12 -1234 -12 -123456 -12 -12 -. -12 -123 -123456789 -123 -123 -123 -. -123 -1234567 -123456 -123 -123 -12345678 -1 -1 -1234567 -1234 -123456 -1 -. -. -123 -. -123456789 -. -. -. -. -123 -123 -123456789X -123 -. -123456789X -. -1 -12345 -1 -12345678 -123 -12 -12345 -123456 -123 -123456789 -123456789X -. -. -1 -. -123456789X -123456789X -123456789X -123456789X -123456789X -12 -123456 -123456 -1234 -. -12 -12 -. -1 -12 -1 -12 -12 -1 -1234 -1234 -1 -. -. -12 -12345 -1234567 -123 -123456 -12345678 -1234567 -12345 -. -123 -1 -1234567 -1234 -. -. -12 -123 -12345678 -123456 -123456 -123 -. -123 -1 -12345 -12345678 -123 -12 -123456789X -12 -12345 -12345678 -. -123456 -12 -. -123456789X -. -. -.
% 73.60/73.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -12345 -123456789X -12345 -. -. -12 -12 -. -. -1 -12 -. -12 -1 -. -12 -123 -. -. -123456 -12345 -12 -12 -1234 -123 -123456 -1234 -12 -. -123 -12345 -1234567 -12 -123 -12 -1 -12 -123456789 -12 -12 -123 -. -. -1 -. -123456 -1234 -. -1 -. -. -12 -123456789 -. -. -123456789X -. -1 -12 -. -123 -. -1234567 -123456 -123456789X -12 -1 -123456 -1234 -123456 -12 -. -123456789X -123456789X -123456789XL -123456789 -12 -1 -. -123 -123 -. -12 -1 -. -12 -12 -. -12 -1 -123 -12 -12 -1 -123456 -1234567 -1 -1 -1234 -1 -1 -123456 -12345 -12345 -12 -1 -1 -123 -. -. -. -1 -1234567 -12345 -1 -123456 -12 -. -123456789X -. -12345 -12345 -12345 -1234 -123 -1234 -123456 -12345 -123 -12 -1234 -. -123456789X -. -. -.
% 74.72/74.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1234567 -12 -123456 -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -1234 -12 -. -12345 -1 -12 -123 -12 -. -. -123 -12 -1 -12 -1 -. -1 -12 -123456 -1 -1 -. -. -12 -. -1234 -1 -1 -1 -1 -1 -1234 -12345678 -. -. -1234567 -. -. -. -. -123 -1 -123 -123456 -123456 -12 -. -. -1 -1 -12 -. -123456789 -123456789X -123456789X -123456789X -. -12 -12 -. -1 -1 -. -12 -. -12 -123 -1234 -1 -123 -1 -123 -. -1 -12 -1234 -. -123 -12345 -1 -. -1234 -1 -1 -. -. -. -1 -. -. -. -123 -. -123 -1 -123456789 -123456 -. -1234567 -12 -12345 -123456 -123456 -1234 -1234567 -. -123456789 -12 -12 -1 -12345 -. -12345 -. -. -.
% 75.86/75.94 (SAT)(equ)(fun)(SAT) 205| -1234 -1 -12 -1 -12 -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -12 -1 -. -12 -123 -. -1 -. -1 -1 -12345 -1 -1 -1 -12 -1 -. -1234 -12 -. -. -. -. -123 -. -1234567 -1 -1 -. -. -1 -1 -1234 -. -. -1234 -. -1 -1 -. -12 -1 -1 -12 -1 -. -. -. -1 -123 -1 -. -123456 -123456789X -123456 -123456789 -12 -. -12 -. -. -1 -12 -1 -. -1 -1 -. -. -12 -. -1 -1 -1 -123 -123 -. -. -123 -1 -1 -1234 -. -. -12 -12 -1 -1 -. -. -. -1 -. -1 -12 -123456789X -1234567 -. -123 -. -12 -1234567 -1 -12345 -. -123 -123456789X -12 -1 -12 -12 -. -123 -. -. -.
% 76.90/77.01 (SAT)(equ)(fun)(SAT) 205| -12 -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -1 -. -. -. -. -1 -1 -1 -. -123 -12 -. -1234 -. -. -1 -123 -123 -. -. -. -. -123 -. -. -. -. -. -. -. -12 -12345678 -. -. -12 -. -. -. -. -. -. -1 -1 -12 -. -1 -. -123 -1 -. -. -123 -12345 -12345 -12 -1 -. -. -12 -12 -1 -1 -1 -. -. -123 -1 -. -12 -. -12 -. -1 -1 -1 -. -. -1 -. -1 -1 -. -. -123 -1 -1 -. -. -. -. -1 -1 -12 -12 -123456 -12345 -. -12 -12 -1 -123456 -. -1 -. -. -123456 -12 -. -. -12345 -. -1 -. -. -.
% 77.88/78.03 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -. -. -12 -. -. -12 -1 -1 -. -12 -. -. -. -. -. -. -12 -1 -1 -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -1 -. -1 -123 -12 -. -. -12 -12 -. -123 -. -. -1 -. -. -. -. -12 -. -12 -. -12 -. -12 -. -. -1 -1 -. -1 -1 -. -. -12 -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -1 -123456 -. -1 -. -. -1 -. -1 -1 -. -1 -123 -1 -. -12 -. -. -. -. -.
% 78.79/78.88 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -12 -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -12 -. -. -. -. -. -. -1 -. -123 -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -1 -. -12 -. -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -.
% 79.77/79.85 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -12 -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -1 -12 -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 80.69/80.76 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -1
% 81.64/81.75 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -.
% 82.49/82.61 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.80/82.92 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -. -. -. -. -. -. -. -123456789X -. -1234 -123456789X -. -. -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -1 -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -. -123456789X -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 84.23/84.33 (SAT)(equ)(fun)(SAT) 205| -123456789X -. -. -. -123456 -. -12345678 -12 -123 -. -. -123456 -. -. -. -1 -1 -. -. -12 -1 -. -1234 -1234567 -12 -1 -123456789X -1 -12 -123 -12 -. -12 -123 -1 -12 -123456 -1234 -123 -123456 -. -. -1234 -1234 -12345 -123 -12 -12345 -. -. -. -. -. -123 -. -. -. -123456 -. -1234 -1234567 -. -1 -. -1234567 -. -. -123456789X -. -123456789XLC -123456789XL -123456789X -. -. -123456789X -123 -1 -1234 -1 -123 -12345 -123456 -12 -12 -12345 -. -123 -1 -. -123456789X -123456789X -123 -123456789XL -12345678 -123456789X -123 -1234 -123456789X -. -123456789 -. -12 -123456 -. -123 -1234567 -1234 -12 -12 -12 -. -123456 -12 -12 -. -123 -123456 -. -1234 -1234567 -. -1 -1234 -123456 -12345 -1234 -. -. -. -123 -12 -12 -12 -. -123 -1234 -123456789XL -123456789X -123456789X -. -1 -1 -. -. -123 -1 -12 -123456789X -1 -. -. -1 -1 -. -. -123 -. -. -. -. -. -. -.
% 85.59/85.69 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -123 -. -. -. -. -. -12 -. -. -. -1 -. -. -12345 -1 -12 -12 -. -. -. -123 -. -. -. -. -. -. -. -1 -. -. -1234 -123 -12 -. -12345 -1234 -1234 -. -12345678 -1234 -12 -123 -123456789X -1234 -123456789 -1234 -123 -1 -12 -123456789X -12 -1 -1234 -123 -123 -123456789X -12345 -1 -123456 -12345 -1234567 -1 -. -123456789X -1 -12 -1234567 -. -. -123456 -. -. -12 -1234 -12 -1234 -12345678 -123456789X -1 -. -12 -1 -123456789XL -123456789XL -1 -123456789 -12345 -123456789XL -. -1 -12345678 -123456789X -1234 -123456789X -123456 -123 -12345 -123456789XL -12345 -12345 -123456 -1234567 -123456789 -1234567 -12 -1234 -123456789X -123456789X -123456789 -12345678 -12345678 -1234 -123456789 -1234567 -12345 -12345678 -1 -1 -1 -. -12345 -12 -1 -1234 -12 -. -123 -123456789X -1234567 -12 -. -123 -. -1 -12 -12345678 -12345678 -1 -1234 -1234567 -123456 -1234 -. -123 -. -. -1234 -1234567 -1234 -12 -. -123456789X -12 -123 -1 -123456789X -12 -1234567 -. -12 -1 -1 -1 -123456789X -. -123456789X -. -123 -1 -123456789X -12 -123 -. -. -. -. -1 -. -1 -. -1 -1 -. -. -1 -. -. -. -. -.
% 90.98/91.05 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1234567 -. -. -. -. -. -12 -. -12 -. -. -1 -. -123456 -1234 -1234 -123456 -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -1 -12 -12 -. -1234 -123456 -123456 -. -1234 -123 -12 -12 -123456 -1234 -123456 -1 -123456 -12 -12 -123456789X -123 -12 -1234 -1 -1 -12 -123456789X -123 -12 -12345 -123456 -. -1 -123456789X -12345678 -12 -12345 -. -. -123 -. -12 -12 -123456789X -12 -1234 -123 -12 -123456789 -1 -1234 -12345 -123456 -12 -1 -12345 -. -123456789X -. -. -123456 -12345678 -12 -123456789 -123 -123456789 -123456 -123456789X -1234 -123456 -12345678 -1234 -12345 -1 -. -1234567 -123456789XL -123456789 -123456789XL -123456789X -12 -12345 -123456789X -123456 -12345 -1234567 -12 -. -12 -. -12345 -1 -1 -1 -1 -1 -123 -1234 -123456 -1234 -1 -123 -12345 -123 -1234 -12 -12345678 -. -123456 -12 -12345 -1 -1 -1234567 -. -. -123 -12 -12345 -1234 -12 -1 -. -123456789X -12 -12 -1234567 -123456789X -12 -12345 -1 -1 -123 -123 -123 -1234567 -. -1234 -1234 -123456789X -12 -1234567 -1 -1 -1 -12345678 -123 -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -.
% 96.88/96.97 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -1234567 -. -. -. -. -. -12 -. -1 -. -. -. -. -1234 -123456 -12 -1 -. -. -1 -12 -. -. -. -. -. -1 -. -12 -. -. -1 -. -1 -. -1 -12 -1 -. -12345 -1234 -. -12 -123456 -1 -123 -1 -1234 -. -123 -12345 -123456 -12345 -123456 -12 -. -123 -123456789X -. -12345 -123 -1234567 -12 -. -123456789 -12345 -1234 -1234 -. -. -12 -1 -123456 -12 -123 -123 -12 -123 -123 -1234 -. -123 -12345 -123 -12 -1234 -1234 -. -123456789 -12 -. -1 -1234 -1 -123456789X -1234 -12345 -12345 -123456789X -12 -123456 -12345 -1234 -1234567 -123456 -12 -123456789X -123456789XL -123456789X -123456789XL -123456789X -12345678 -123456 -1234 -123456789 -123456 -123456789X -12 -1 -12 -. -123456 -12 -12 -12345 -1234 -12345 -1234 -1234567 -123 -1234 -123 -1234 -12345678 -123456 -123456789X -123 -123 -123456 -123 -12 -12 -1 -1 -123 -. -. -. -1234 -. -12345 -1 -12345 -1 -123 -123 -123 -12345678 -1 -1234 -123456789X -12 -123456 -123 -123 -1 -1234 -. -12345 -123 -1234567 -123 -12345678 -123456 -1234567 -. -1 -123456 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 100.20/100.29 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)
%------------------------------------------------------------------------------