TSTP Solution File: HWV040-2 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : HWV040-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 : 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 : Sat Jul 16 13:57:40 EDT 2022
% Result : Timeout 299.91s 299.75s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : HWV040-2 : TPTP v8.1.0. Released v5.3.0.
% 0.10/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.32 % Computer : n021.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jun 17 05:05:30 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.33 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.33 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.19/0.43 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.19/0.46 #elt|#instances
% 0.19/0.46 (SAT)(equ)(fun)(SAT) 206| -. -. -1 -1 -. -123456789XLC> -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -1 -1 -1 -. -123456789XLC> -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 0.63/0.81 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -123456789XLC -. -123456789XLC -1 -. -123456789XL -. -. -. -. -. -. -.
% 0.73/0.90 (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.87/1.05 (SAT)(equ)(fun)(SAT) 205| -.
% 0.87/1.07 (SAT)(equ)(fun)(SAT) 205+ -. -123456789XLC> -. -. -. -. -123456789XLC> -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123456789XLC -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.31/1.47 (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)(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) 205| -. -123456789XL -123456789XLC> -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -1 -123456789XLC -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 3.44/3.62 (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) 205| -123456789XLC -. -1 -. -123456789XL -. -123456789XL -. -. -123456789 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 3.75/3.90 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -12 -. -123456789XL -12 -123456789XLC -. -12 -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -123456789XLC
% 3.82/4.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -123456789XL -. -. -12 -. -12 -. -. -. -. -. -. -123456 -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 3.99/4.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -12 -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 4.08/4.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -.
% 4.15/4.36 (SAT)(equ)(fun)(SAT) 205| -. -. -.
% 4.24/4.40 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -123 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -1 -. -. -. -. -. -. -. -. -. -. -. -1234567 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -123456789XLC> -. -. -. -. -. -.
% 4.57/4.73 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -. -. -. -. -. -. -1 -. -12 -. -12 -. -. -. -. -12 -. -123456789XLC -1234567 -. -. -. -1 -. -. -. -. -. -. -12 -12 -. -1 -. -. -. -1 -12 -. -. -. -12 -. -12 -. -. -. -. -. -12 -123456789XLC -. -. -. -1234
% 4.73/4.91 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -12 -. -1234 -123456789XLC -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -1 -. -1 -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -1234 -.
% 4.90/5.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -12 -1234 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -1 -. -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -12
% 5.02/5.20 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -12 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 5.13/5.28 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -123 -1234 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 5.21/5.36 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -12 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -12 -12 -12 -12 -1 -1 -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -. -1
% 5.28/5.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -12 -12 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -.
% 5.34/5.51 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -1 -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -12 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -12 -12 -12 -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -.
% 5.42/5.59 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -12 -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -1 -1 -123 -12 -123 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -1 -. -1 -1 -. -. -.
% 5.49/5.66 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -1 -. -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -12 -12 -. -. -. -. -1 -12 -. -. -1 -. -12 -1 -123 -1 -. -. -. -1 -12 -. -. -1 -. -. -. -. -. -1 -1 -. -. -1
% 5.56/5.75 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -123 -12 -123 -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 5.62/5.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -123 -12 -123 -12 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -1
% 5.76/5.91 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -123 -. -. -1 -1 -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -1 -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -.
% 5.79/5.99 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -12 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -123 -123 -123 -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -.
% 5.89/6.08 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -1 -1 -123 -12 -12 -12 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -1 -1 -. -. -.
% 5.97/6.17 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123 -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -1 -12 -1 -123 -1 -. -. -. -1 -. -. -. -1 -1 -1 -. -1 -. -1 -1 -. -. -.
% 6.04/6.25 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -12 -. -. -1 -12 -. -. -1 -. -12 -12 -123 -12 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -.
% 6.17/6.34 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -1 -12 -1 -. -. -. -1 -1 -. -12 -. -. -. -. -. -. -1 -1 -. -. -.
% 6.27/6.42 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -12 -1 -1 -. -. -. -. -. -. -. -. -1 -. -123 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -1
% 6.35/6.51 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -12 -12 -1234 -. -. -. -1 -12 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -.
% 6.44/6.60 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -12 -. -. -1 -. -12 -1 -1234 -1 -. -. -. -1 -1 -12 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 6.54/6.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -1 -1 -. -. -12 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -12 -1 -12 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 6.57/6.78 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -1 -12 -. -. -. -1 -1 -. -12 -1 -1 -. -. -. -. -1 -1 -12 -12 -123 -123 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 6.68/6.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -12 -. -1 -1 -1 -. -. -. -. -. -. -. -12 -. -1 -. -. -. -123 -1 -. -123 -123 -12 -123 -. -. -. -1 -. -1 -1 -. -. -. -. -12 -. -1 -1 -. -. -.
% 6.78/7.00 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -1 -1 -. -. -12 -. -1 -1 -1 -. -. -. -. -. -. -. -1 -. -1 -1234 -. -. -1 -1 -12 -1 -12 -123 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -. -1
% 6.94/7.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -123 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -1 -. -1 -1 -. -. -123 -123 -. -. -. -1 -. -. -. -12 -. -. -1 -1 -12 -. -123 -1 -. -. -. -1 -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 7.06/7.20 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -. -1 -1 -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -1 -12 -1 -. -1 -1 -12 -. -. -. -. -. -1 -. -12 -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -.
% 7.16/7.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -12 -1 -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -1 -123456 -1 -1 -123 -123 -12 -1 -. -. -. -1 -. -. -. -1 -1 -. -. -1 -. -1 -1 -12 -. -.
% 7.24/7.40 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -1 -1 -12 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -123 -. -12 -1 -. -12 -1 -123 -12 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 7.36/7.51 (SAT)(equ)(fun)(SAT) 205| -12 -12 -12 -1 -. -. -. -1 -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123 -123 -12 -1234 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 7.46/7.62 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -. -1 -1 -1 -. -123 -1 -1234 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 7.53/7.72 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -1 -123 -12 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -.
% 7.68/7.83 (SAT)(equ)(fun)(SAT) 205| -1 -. -12 -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -. -. -1 -1 -1 -. -12 -12 -. -. -. -. -. -1 -. -. -. -. -1 -1 -12 -12 -12 -12345 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -12
% 7.76/7.95 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -1234 -. -12 -1 -. -12 -1 -12 -1 -. -. -. -1 -. -1 -. -. -. -. -. -12 -. -1 -1 -1 -. -. -.
% 7.84/8.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -12 -1 -1234 -12 -. -. -. -1 -1 -. -. -12 -. -. -. -. -. -1 -1 -. -. -1
% 8.00/8.19 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -12 -1 -12 -1 -. -. -. -1 -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 8.15/8.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -123 -12 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -1 -. -.
% 8.27/8.42 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -12 -1 -. -1 -. -. -. -. -. -. -. -12 -. -. -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -12
% 8.39/8.54 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -1 -. -1 -123 -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -1234 -12 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -.
% 8.44/8.65 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -1 -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -12 -1 -. -1 -. -. -. -. -. -. -12 -1 -12 -12 -123 -12 -. -. -. -1 -12 -12 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 8.60/8.77 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -. -. -1 -1 -. -. -123 -12 -. -. -. -. -. -. -. -. -. -. -. -1 -12 -1 -123 -123 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 8.74/8.90 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -12 -12 -1 -. -. -. -12 -1 -1 -. -. -1 -12 -. -1 -12 -1 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -12 -. -1 -1 -1 -. -1 -.
% 8.89/9.02 (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 -12 -. -. -. -. -. -1 -1 -. -. -1 -.
% 8.98/9.15 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -1 -1 -1 -. -. -12 -1 -. -. -. -. -. -. -. -12 -. -12 -1 -. -12 -1 -123 -1 -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -.
% 9.13/9.28 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -123 -12 -12 -12 -. -. -. -1 -. -. -. -1 -. -. -. -12 -. -1 -1 -1 -. -. -1
% 9.26/9.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -. -1 -12 -1 -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -123 -12 -1 -. -. -. -. -1 -. -. -. -1 -. -. -12 -. -123 -. -. -. -. -1 -. -. -1 -1 -. -. -. -1 -. -1 -1 -. -. -1 -.
% 9.33/9.56 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -12 -12 -1 -1 -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -12 -. -. -1 -. -1 -1 -. -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -1 -1 -123 -12 -12 -1 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -1 -1
% 9.49/9.70 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -12 -. -. -1 -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123 -. -123 -12 -12 -12 -. -. -. -1 -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 9.65/9.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -12 -1 -12 -12 -123 -123 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -.
% 9.78/9.98 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1234 -123 -1 -1 -. -. -. -. -. -. -. -1 -. -. -12 -1 -123 -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -1
% 9.95/10.13 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -12 -12 -1 -12 -12 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 10.09/10.27 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -12 -12 -1 -12 -12 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -.
% 10.26/10.42 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -123 -123 -123 -123 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -1 -. -. -1
% 10.38/10.58 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -12 -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -12 -123 -. -. -. -. -. -. -. -. -1 -. -12 -1 -12 -123 -. -. -. -1 -123 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 10.56/10.73 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -1 -. -1 -12 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -12 -1 -12 -12 -. -. -. -. -. -1 -. -. -. -12 -123 -12 -12 -1 -1 -. -. -1 -12 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -1
% 10.74/10.88 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -1 -1 -1 -1 -1234 -. -. -. -. -. -. -. -. -. -. -12 -1 -123 -1 -12 -12 -12 -12 -123 -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -1 -1 -123 -. -. -.
% 10.89/11.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -1 -. -. -. -1 -1 -1 -. -1 -1 -. -1 -1 -1 -. -1 -. -. -. -. -12 -. -1 -. -1 -. -. -1 -. -12 -123 -123 -123 -. -. -. -1 -. -. -1 -. -. -. -1 -1 -. -1 -1 -1 -. -1
% 11.03/11.19 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -. -. -. -. -1 -1 -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -123 -. -. -. -. -1 -12 -1 -. -123 -1 -12 -1234 -1 -. -1 -1 -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -1
% 11.19/11.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -. -1 -. -. -1 -. -. -1 -12 -. -1 -1 -. -12 -1 -12 -1 -. -. -1 -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -1
% 11.37/11.50 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -12 -12 -123 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -.
% 11.51/11.67 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1234 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -12 -1 -123 -12 -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -1
% 11.65/11.82 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -123 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -123 -123 -. -. -. -. -. -1 -. -. -1 -. -12 -1 -123 -12 -1 -. -. -1 -123 -. -. -1 -. -. -. -. -. -1 -1 -. -1 -. -1
% 11.81/12.00 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -123 -. -1 -1 -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -123 -123 -123 -1234 -. -. -. -1 -1 -12 -1 -. -. -. -. -. -. -1 -1 -1 -. -. -.
% 12.03/12.17 (SAT)(equ)(fun)(SAT) 205| -12 -12 -12 -1 -. -. -. -1 -. -123 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -1 -12 -. -1 -123 -. -. -. -. -1 -. -. -. -1 -1 -1 -. -123 -123 -12 -1234 -. -. -. -1 -1 -1 -1 -. -. -. -. -1 -. -1 -1 -1 -. -.
% 12.18/12.35 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -12 -. -. -. -. -1 -. -1 -. -1 -1 -1 -1 -1 -. -12 -1 -1 -1 -1 -1 -. -12 -1 -. -. -. -. -. -1 -. -1 -. -12 -1 -. -123 -12 -1234 -123 -. -. -. -1 -. -. -12 -. -. -. -. -1 -. -1 -1 -12 -. -.
% 12.39/12.53 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -12 -. -1 -1 -. -. -1 -1 -1 -. -. -. -1 -. -. -. -1 -12 -. -1 -1 -. -. -123 -12 -. -. -1 -1 -1 -12 -12 -1234 -. -12 -. -. -12 -1 -1234 -1 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -1
% 12.54/12.70 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -123 -12 -1 -123 -1 -123 -12 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -1 -1 -12 -. -12 -1
% 12.69/12.88 (SAT)(equ)(fun)(SAT) 205| -1 -1 -12 -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1234 -. -. -1 -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -1234 -. -1 -1 -. -. -. -.
% 12.86/13.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -1 -1 -1 -. -1 -. -. -. -1 -. -. -. -. -12 -12345 -1 -1 -1 -1 -123 -12 -1234 -12 -. -. -. -1 -. -. -. -12 -. -. -. -1 -. -1 -1 -. -. -.
% 13.09/13.25 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -1 -1 -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -1 -. -123 -. -1 -1 -. -1 -1 -. -. -1 -12 -. -. -1 -1 -123 -12 -123 -12 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -.
% 13.28/13.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -. -. -. -1 -1 -12 -. -12 -. -12 -1 -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -1 -. -. -1234 -1 -. -. -. -. -. -1 -1 -12 -1 -12 -1 -. -. -. -1 -. -. -12 -1 -. -. -. -. -. -1 -1 -. -. -.
% 13.46/13.62 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -123 -. -1 -1 -12 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -12 -1 -. -. -. -12 -. -1 -. -. -. -. -12 -. -12 -. -12 -1 -. -. -. -1 -. -. -12 -1 -. -. -. -1 -. -1 -1 -. -. -.
% 13.58/13.81 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -. -1 -. -. -. -. -1 -1 -. -. -. -. -1 -1 -123 -12 -12 -1234 -. -. -. -1 -1 -12 -. -. -. -. -. -1 -. -1 -1 -. -. -.
% 13.87/14.00 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -123 -12 -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -12 -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -1 -1 -. -. -12
% 14.05/14.19 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -1 -12 -. -. -1 -12 -123 -12 -123 -1234 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 14.18/14.40 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -1 -. -1 -. -1 -1 -. -1 -1 -1 -. -. -. -12 -. -. -. -12 -. -. -1 -1 -123 -12 -12 -1 -. -1 -. -1 -12 -. -1 -1 -1 -. -1 -. -. -1 -1 -. -. -1 -1
% 14.45/14.59 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -. -12 -12 -1234 -123 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 14.60/14.79 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -12 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -12 -1 -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -.
% 14.84/14.99 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -1234 -. -. -1 -. -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -.
% 15.00/15.19 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -123 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -12 -12 -1 -123 -12 -. -. -. -1 -1 -. -1 -1 -. -1 -. -. -. -1 -1 -. -. -.
% 15.25/15.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -12 -1 -1 -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -1 -12 -. -12 -. -. -. -. -. -. -1 -. -123 -12 -123 -1 -. -. -. -1 -1 -1 -. -. -1 -. -. -. -. -1 -1 -1 -. -.
% 15.45/15.60 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -1 -12 -12 -12 -123 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 15.70/15.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -12 -1 -12 -123 -. -. -. -1 -. -. -. -12 -. -. -. -. -. -1 -1 -. -. -1
% 15.91/16.04 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -1 -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1 -12 -12 -. -. -1 -1 -. -. -. -. -1 -. -12 -1 -12 -1 -1 -. -. -1 -12 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -1
% 16.13/16.26 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -123 -12 -12 -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -.
% 16.29/16.48 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -12 -1 -. -123 -12 -123 -1 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 16.51/16.70 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -12 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -12 -123 -12 -123 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -12
% 16.81/16.94 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -1 -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -1 -1 -. -1 -. -. -1 -12 -. -. -1 -. -12 -12 -123 -123 -. -. -. -1 -12 -1 -. -1 -. -. -. -. -. -1 -1 -. -. -1 -1
% 16.99/17.17 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -12 -. -. -1 -1 -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -1 -1 -123 -12 -123 -12 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -.
% 17.27/17.41 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -12 -. -. -1 -. -123 -123 -123 -123 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 17.49/17.65 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -123 -1 -12 -1 -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -1 -.
% 17.76/17.90 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -12 -12 -123 -. -. -1 -1 -. -12 -. -. -. -. -. -12 -. -1 -1 -. -. -. -.
% 17.98/18.14 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -12 -1 -123 -1234 -. -. -. -1 -1 -. -. -12 -. -. -. -. -. -1 -1 -. -1 -.
% 18.28/18.41 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -1 -123 -12 -. -. -. -. -. -1 -. -. -. -. -. -. -12 -12 -123 -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -1
% 18.51/18.66 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -. -1 -1 -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -12 -123 -1 -12 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 18.79/18.91 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -1 -. -1 -1 -. -. -. -1 -12 -. -. -. -. -12 -. -1 -1 -1 -. -1 -. -1 -1 -. -. -1 -1 -. -1 -. -. -. -. -. -12 -. -. -1 -. -123 -123 -12 -12 -. -1 -. -1 -12 -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 19.05/19.17 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -1 -. -1 -1 -. -. -12 -. -. -. -1 -. -. -1 -1 -. -1 -123 -12 -. -. -. -. -12 -12 -. -. -. -. -. -1 -12 -1 -123 -1 -. -. -. -1 -1 -. -1 -1 -. -. -. -1 -. -1 -1 -. -. -. -.
% 19.27/19.43 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -. -1 -. -. -. -. -. -. -12 -1 -. -1 -1 -. -. -. -. -. -. -. -123 -. -. -. -12 -. -. -1 -1 -123 -12 -12 -1 -. -. -. -1 -. -. -1 -. -. -. -. -12 -. -1 -1 -. -. -.
% 19.54/19.72 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -1 -. -1 -. -1 -1 -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -12 -1 -. -. -1 -123 -. -. -. -. -. -. -. -. -12 -12 -12 -123 -. -. -. -1 -1 -. -1 -1 -. -. -1 -. -. -1 -1 -. -. -. -1
% 19.85/19.99 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -12 -12 -123 -12 -12 -123 -. -. -. -1 -12 -1 -. -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 20.10/20.26 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -1 -1 -. -. -. -12 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123 -12 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1
% 20.40/20.53 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -12 -1234 -12 -12 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 20.59/20.80 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -1 -1 -1 -123 -. -. -1 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -12 -12 -. -. -. -. -. -1 -. -. -1 -. -123 -123 -12345 -123 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -.
% 20.90/21.12 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -1 -. -. -1 -1 -1 -. -12 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -1234 -123 -. -. -. -1 -1 -. -123 -. -1 -. -1 -. -. -1 -1 -. -. -. -.
% 21.28/21.40 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -1 -12 -1 -1 -1 -. -. -. -. -1 -12 -. -. -1 -12 -12 -1 -12 -12 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -.
% 21.47/21.68 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -1 -. -. -. -. -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -123 -1 -1234 -1 -. -. -. -1 -. -1 -1 -1 -. -1 -. -. -. -1 -1 -. -. -1
% 21.77/21.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -1 -123 -. -. -. -. -. -. -1 -. -12 -1 -123 -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 22.15/22.27 (SAT)(equ)(fun)(SAT) 205| -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -1 -. -12 -12 -12 -1234 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -1
% 22.44/22.57 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -123 -. -. -1 -1 -. -. -. -. -1 -12 -. -. -1 -. -12 -1 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -.
% 22.66/22.87 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -1 -123 -1234 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -.
% 23.04/23.16 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -123 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 23.25/23.46 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -1 -123 -12 -. -. -. -1 -1 -1 -1 -. -. -. -. -1 -. -1 -1 -. -. -. -.
% 23.65/23.78 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -1 -. -12 -1 -123 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1
% 23.95/24.08 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -1 -. -. -. -1 -1 -. -12 -. -. -. -. -. -. -1 -. -12 -12 -12 -1 -. -. -. -1 -1 -1 -. -. -1 -. -. -. -. -1 -1 -1 -. -. -1
% 24.25/24.38 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -12 -1 -1 -. -1 -. -. -. -. -. -. -. -1 -1 -1 -12 -1 -12 -123 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -.
% 24.48/24.67 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -12 -12 -12 -1234 -. -. -. -1 -1 -. -. -12 -. -. -. -. -. -1 -1 -. -. -1 -1
% 24.78/24.99 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -12 -1 -12 -1234 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 25.17/25.31 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -12 -1 -12 -12 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 25.47/25.64 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -12 -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -1 -1 -. -. -. -1
% 25.84/25.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -1 -. -12 -1 -1234 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 26.18/26.31 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -12 -1 -. -. -. -. -1 -1 -. -. -. -. -. -1 -12 -12 -12 -123 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 26.52/26.65 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -1 -. -. -. -1 -. -1 -1 -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -12 -12 -1 -12 -12 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -.
% 26.82/26.98 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -1 -12 -. -1 -1 -. -12 -1 -123 -1 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -.
% 27.20/27.33 (SAT)(equ)(fun)(SAT) 205| -1 -12 -1 -1 -. -. -. -12 -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -1 -. -123 -12 -12 -12 -. -. -. -1 -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 27.49/27.68 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -1 -1 -1 -. -1 -12 -1 -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -1 -. -. -12 -1 -. -1 -1 -12 -. -. -. -. -. -. -1 -. -12 -1234 -123 -12 -. -. -. -1 -. -1 -12 -. -. -. -. -. -. -1 -1 -. -. -.
% 27.88/28.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -12 -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -. -12 -12 -123 -123 -. -. -. -1 -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -1
% 28.28/28.40 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -123 -1 -123 -1 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -.
% 28.65/28.77 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -12 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -1 -1 -12 -12 -12 -12 -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 29.02/29.14 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -1 -. -1 -1 -. -1 -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -12 -. -. -1 -. -12 -1 -12 -123 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 29.32/29.50 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -12 -12 -. -. -. -. -1 -. -12 -1 -12 -1234 -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1
% 29.92/30.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -12 -12 -1 -1 -. -. -. -. -. -. -. -. -1 -. -123 -12 -1234 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 30.30/30.48 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -12 -12 -12 -12 -123 -. -1 -. -1 -. -. -1 -. -. -. -. -12 -. -1 -1 -. -. -12 -1
% 30.68/30.86 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -1 -1 -. -1 -. -. -1 -1 -. -. -. -. -1 -1234 -. -. -1 -. -12 -1 -12 -12 -. -1 -1 -1 -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -12
% 31.10/31.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -123 -12 -123 -123 -. -. -. -1 -. -. -1 -1 -. -. -. -1 -. -1 -1 -1 -1 -. -.
% 31.47/31.64 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -12 -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -. -1234 -. -. -. -. -. -. -1 -. -12 -12 -123 -123 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -1 -1 -. -. -1
% 31.90/32.03 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -12 -12 -12 -123 -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 32.28/32.42 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -1 -. -. -12 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -1 -. -. -123 -12 -. -. -. -1 -1 -. -12 -12 -12 -12 -. -1 -. -1 -12 -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -.
% 32.67/32.82 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1234 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -123 -12 -. -. -. -1 -. -. -1 -. -. -. -. -12 -. -1 -1 -. -. -. -.
% 33.08/33.21 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -12 -12 -1 -1 -. -. -. -. -1 -12 -. -. -1 -. -123 -1 -1234 -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -1
% 33.49/33.61 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -1 -1 -12 -1 -12 -1 -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -.
% 33.88/34.01 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -123 -1234 -123 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -1 -1 -. -. -1
% 34.29/34.43 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -1 -1 -1 -1 -. -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -12 -1 -12 -123 -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 34.69/34.83 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -1 -. -. -. -. -1 -. -1 -12 -1 -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -123 -12 -123 -12 -. -. -. -1 -1 -. -1 -. -. -1 -. -1 -. -1 -1 -. -. -. -.
% 35.09/35.27 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -1 -. -. -123 -12 -. -. -. -. -. -. -1 -123 -. -12 -1 -1 -12 -1 -123 -1 -. -. -. -1 -. -. -1 -. -1 -. -. -1 -. -1 -1 -1 -. -1
% 35.50/35.67 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -1 -1 -1 -1 -. -. -1 -. -. -. -12 -1 -. -. -1 -. -. -1 -. -1 -. -1 -. -. -1 -1 -. -12 -. -. -1 -1 -. -. -. -1 -. -1 -. -. -1 -12 -123 -12 -12 -12345 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -12 -1
% 35.97/36.10 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -1 -12 -. -1 -1 -123 -1 -. -1 -. -. -. -1 -. -. -. -123 -. -. -12 -1 -12 -12 -12 -1234 -12 -. -1 -1 -1 -. -. -1 -. -1 -. -12 -. -1 -1 -1 -. -. -1
% 36.39/36.52 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -12 -12 -. -. -12 -. -. -. -. -. -. -1 -1 -1 -. -12 -1 -1 -1 -1 -12 -1 -12 -. -. -1 -12 -. -. -12 -1 -123 -1 -. -1 -. -1 -1 -. -1 -1 -. -. -. -. -. -1 -1 -1 -1 -. -.
% 36.79/36.93 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -12 -. -. -1 -12 -12 -1 -1 -1 -12 -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -12 -1 -1 -1234 -. -. -. -. -. -1 -1 -. -123 -12 -123 -123 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 37.18/37.36 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -1 -1 -1 -. -. -1 -12 -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -1 -12 -. -. -. -. -. -. -. -. -1 -. -123 -12 -1234 -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -.
% 37.61/37.77 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -12 -12 -123 -1 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -1
% 38.08/38.19 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -1 -1
% 38.50/38.64 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -12 -1 -123 -1 -12 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 38.90/39.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -123 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -123 -12 -12 -1 -12 -12 -. -. -. -1 -123 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 39.38/39.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -1 -. -. -. -12 -12 -. -. -. -. -. -. -1 -12 -1 -. -123 -123 -123 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -.
% 39.81/39.92 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -12 -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -12 -1234 -. -. -1 -12 -. -1 -1 -. -12 -12 -12 -123 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -.
% 40.39/40.53 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -12 -. -1 -1 -1 -1 -12 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -12 -. -12 -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -.
% 40.78/40.98 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -1 -12 -123 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -1 -1 -. -. -1
% 41.30/41.44 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -12 -. -. -1 -. -12 -12 -123 -1 -. -. -. -1 -. -. -. -. -. -. -. -123 -. -1 -1 -. -. -. -.
% 41.79/41.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -1 -12 -. -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -12 -1 -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -123 -. -12
% 42.20/42.34 (SAT)(equ)(fun)(SAT) 205| -12 -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -123 -123 -12 -1234 -. -. -. -1 -123 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -.
% 42.80/42.94 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -1 -. -. -1 -. -. -1 -12 -. -. -12 -1 -1234 -1 -12 -12 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 43.32/43.45 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -12 -12 -. -. -1 -. -. -. -. -. -1 -. -12 -12 -1234 -12 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 43.79/43.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -12 -12 -12 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 44.30/44.44 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -1 -. -12 -12 -12 -12 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 44.82/44.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -12 -1 -1 -1 -. -. -1 -1 -. -. -. -. -. -1 -123 -1 -12 -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 45.29/45.42 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -12 -1 -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -123 -12 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -12 -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -12
% 45.71/45.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -12 -1 -123 -12 -12 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 46.19/46.40 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -123 -12 -123 -12 -123 -1 -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -1
% 46.78/46.90 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -1 -1 -. -1 -. -1 -1 -. -. -. -1 -1 -. -. -. -1 -1 -1 -. -. -. -12 -. -. -1 -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -12 -1 -123 -123 -123 -12 -1 -1 -. -1 -. -12 -1 -. -. -. -. -. -. -1 -1 -. -. -12 -.
% 47.22/47.39 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -123 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12345 -. -. -1 -. -12 -12 -123 -12 -. -. -. -1 -. -. -. -. -. -. -. -123 -. -1 -1 -. -1 -. -1
% 47.83/47.92 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -. -1 -12 -1 -. -. -. -. -. -. -1 -12 -. -. -. -. -12 -12 -1234 -. -. -. -. -1 -1 -. -. -123 -. -. -. -1 -. -1 -1 -. -. -. -.
% 48.29/48.43 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -123 -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -12 -1 -123 -1234 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1
% 48.72/48.91 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -123 -123 -123 -1234 -. -. -. -1 -. -. -1 -. -. -. -. -12 -. -1 -1 -. -. -. -.
% 49.30/49.44 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -12 -1 -1 -1 -. -1 -. -. -. -. -1 -123 -. -. -12 -. -12 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -123 -. -.
% 49.78/49.98 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -. -. -123 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -1 -12 -. -. -1 -1 -12 -1 -12 -1 -. -. -. -1 -123 -1 -. -. -. -. -. -. -. -1 -1 -. -. -.
% 50.31/50.48 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -1 -. -. -. -1 -1 -1 -12 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -123 -123 -123 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1
% 50.89/51.04 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -1 -. -12 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -123 -12 -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -1 -123 -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -1 -. -1 -.
% 51.41/51.59 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -1 -. -. -. -. -. -1 -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -12 -1 -1 -1 -. -. -. -. -. -. -1 -12 -. -. -12 -. -123 -1 -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -1 -1 -. -. -1 -1
% 52.01/52.16 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -1 -. -1 -1 -12 -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -123 -123 -12 -1 -1234 -123 -. -. -. -1 -. -. -12 -1 -. -. -. -1 -. -1 -1 -. -. -. -.
% 52.62/52.74 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -1 -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -1 -1 -1 -1234 -. -. -. -1 -. -. -12 -1 -12 -1 -12 -12 -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1
% 53.22/53.32 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -12 -. -. -1 -1 -12 -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -12 -1 -12 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -1 -12 -. -. -.
% 53.80/53.90 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -1 -12 -. -1 -1 -. -12 -. -. -. -. -. -. -. -. -. -123 -. -. -1 -. -12 -12 -123 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -1 -1 -. -. -.
% 54.32/54.49 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -12 -123 -12 -12 -. -. -. -1 -. -. -12 -. -. -. -. -1 -. -1 -1 -. -. -.
% 55.00/55.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -12 -. -12 -1 -. -12 -1 -123 -12 -. -. -. -1 -1 -. -. -123 -. -. -. -. -. -1 -1 -. -. -.
% 55.59/55.70 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -12 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 56.13/56.31 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -1 -. -. -. -. -12 -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1234 -12 -123 -1 -. -. -. -1 -. -. -12 -. -. -. -. -1 -. -1 -1 -. -. -.
% 56.83/56.91 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -1 -. -12 -1 -1234 -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -1 -1 -. -. -1
% 57.43/57.56 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -12 -12 -12 -1 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -1 -1 -. -. -1
% 58.08/58.22 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -1 -. -12 -1 -. -. -. -. -. -. -. -. -. -12 -1 -. -12 -12 -12 -12 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -1 -.
% 58.78/58.87 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -12 -1 -. -. -. -1 -. -. -1 -12 -. -1 -. -. -12 -. -12 -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -. -1
% 59.42/59.51 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -12 -12 -1 -123 -123 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -.
% 60.01/60.15 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -. -12 -1 -1 -12 -. -. -1 -. -12 -1 -123 -1 -. -. -. -1 -. -. -1 -. -. -1 -1 -1 -. -1 -1 -. -. -1
% 60.53/60.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -1 -. -1 -1 -1 -. -. -. -. -. -1 -12 -. -. -. -1 -. -. -1 -. -12 -12 -12 -123 -. -. -. -1 -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1
% 61.14/61.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -1 -1 -123 -1 -1234 -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -.
% 61.69/61.78 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -1 -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -1 -1 -. -1 -12 -12 -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -12 -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -1
% 62.21/62.34 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -1 -. -. -. -1 -1 -. -. -. -1 -. -. -1 -1 -1 -. -1 -. -. -. -1 -. -1 -1 -1 -1 -12 -1 -. -1 -. -. -. -1 -. -. -. -. -. -1 -12 -1 -12 -12 -1 -. -1 -1 -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -.
% 62.81/62.92 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -123 -1 -1 -12 -1 -123 -1 -. -. -. -1 -. -. -12 -. -1 -. -. -. -. -1 -1 -12 -1 -. -.
% 63.32/63.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -. -123 -12 -12 -12 -. -. -. -1 -. -12 -. -. -. -. -. -. -. -1 -1 -. -. -1
% 63.92/64.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -123 -12 -12 -123 -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1
% 64.53/64.64 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -12 -1234 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -1 -.
% 65.04/65.20 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -1 -. -1 -1 -1 -123 -. -. -. -1 -. -. -1 -1 -. -. -. -1 -. -1 -1 -. -. -. -1
% 65.64/65.78 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -.
% 66.22/66.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 66.72/66.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.13/67.22 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.71/67.80 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -1 -. -12 -. -.
% 67.83/67.94 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -.
% 68.03/68.11 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.21/68.33 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -123456789XLC> -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -123 -123456789XLC -. -. -. -. -. -123 -123456789X -. -. -. -. -. -123456789XLC> -. -. -123456 -12 -123 -. -. -1 -123456789XL -. -. -. -. -1 -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789X -123456789X -123456789 -. -123456 -1 -12 -. -123456789X -123456789X -123456789X -. -. -1 -1 -. -. -123456789XL -123456789X -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -123456789XL -. -. -. -123456789XL -. -1 -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -123456789XL -. -. -. -. -.
% 69.33/69.45 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -123 -123456789XLC -123456789XLC -. -12 -123 -. -. -. -12 -12 -123 -. -1234 -1234 -12 -1 -12 -123456 -12 -. -12345678 -12 -1 -1 -1234567 -. -123 -. -123 -12345 -123 -123456 -. -123456789XL -123456789X -1 -. -. -1234 -123456789XL -12345678 -1 -1 -. -1 -12 -123 -. -. -1 -123456789XLC -1234567 -1234 -12 -1 -1 -1234 -. -. -12345 -123456789X -. -1234 -123456789X -123456789 -. -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -12345 -123456789X -12345678 -123456789X -123 -1234 -12 -. -12 -12 -1234 -1 -1 -123 -1 -123456 -12 -12 -12 -12345 -. -. -. -12 -1 -1 -. -. -. -123456 -. -. -. -123 -123456789XL -. -. -1 -1 -. -123 -. -123456789X -123456789X -. -. -. -. -. -. -. -. -. -123456789X
% 70.51/70.60 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -. -123456789X -. -. -. -. -. -123456789X -123456789X -. -12 -12 -12 -. -123 -1234 -12 -123 -12 -12345 -12345 -12 -1 -1 -12 -1 -1234 -1234 -1234 -1 -123 -123456789 -12 -123 -123456 -123456789X -123456789X -123456789X -12 -. -123456789X -123456789 -123 -. -. -123456789X -12345 -123456789XL -123456789 -123456 -1234567 -. -12345678 -. -. -123456789X -. -12345 -123456 -12 -12345 -1234 -1 -1234 -123456789 -123456 -1 -123456789X -123 -123456789X -. -123456789X -123456789X -123456789XL -123456789XLC -123456789XLC> -123456789XLC -123456789X -123456789X -1234567 -123456789X -123 -1 -12345 -. -123 -12 -1 -12 -12345 -1 -1 -123456789X -123 -12 -12 -12 -123 -12 -. -123 -12 -12 -123 -1234 -12345678 -123456 -. -. -. -123456789 -123 -12345 -1234 -1234567 -1234 -12 -12 -1 -123 -123456789X -12 -123456789X -. -123456
% 71.73/71.81 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789XL -. -123456789X -12 -. -. -. -. -12 -12 -. -1234 -123456 -12345678 -. -1234567 -1234 -12345 -1234 -12345 -1234567 -123456789X -123 -12345 -12 -12 -12 -123456 -1234567 -123456 -1234 -123 -1234567 -1234 -12345 -123456789 -12 -12 -1 -1234567 -123456789X -12345678 -12345 -1234 -. -. -1 -123 -123456789X -12345 -123 -123 -123 -12345 -123 -. -123456789XL -. -1234 -123456789 -12345 -123456789X -1234567 -12 -123456789X -123456789X -12345678 -123 -123456789 -12345 -123456789X -123456 -123 -123456 -1234567 -123456789XL -123456789X -123456789X -123 -123456789 -1234567 -1234567 -12345 -1234 -1234 -. -12 -1 -1 -12345 -1 -1 -12 -12345 -1 -1234 -12 -12345 -1234 -1234 -123 -123456789 -12 -123 -12345 -12 -12 -123 -12 -. -. -123456 -123456789X -1234567 -123 -123456789X -1 -123 -12345 -12345 -1234567 -123456 -1234567 -. -123456789X -. -. -. -123
% 72.81/72.90 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -. -123456789 -1 -. -. -. -. -12 -12 -. -12345 -123456 -123456 -. -12345678 -123456789 -123456 -1234 -12345 -123456 -123456789X -. -1 -. -1 -123456 -123 -12 -12 -1 -12 -1 -12345678 -12345 -123456 -12 -123 -. -1 -1234 -123456789 -12 -1234 -. -. -1 -1234 -123456789X -123 -1 -1 -1 -123 -. -. -123456789X -1 -1 -1234567 -123456 -123456789 -123456 -12 -123 -123 -123456 -1 -1234 -1 -123456789 -1234 -1234567 -1 -123456789X -123456789XL -123456789X -123456 -1234 -12345 -123 -12345678 -123 -1234 -12 -. -1234 -1234 -1234 -123 -1 -1 -1 -12 -. -. -1 -12 -. -1 -. -12 -123 -123456 -1 -123 -12 -1234 -12 -. -. -12 -1234567 -12 -12 -123456 -. -12 -12345 -12 -12 -123456789X -1234567 -. -12345678 -. -. -. -123
% 73.82/73.96 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -. -1234 -1 -. -. -. -. -1 -1 -. -123 -123456 -12345 -. -12345 -123456 -123 -1 -12 -1234 -123456789 -123 -1234 -1 -12 -123456 -123 -12 -12345 -1 -123 -. -1234 -1 -1234 -1 -1 -1 -. -123 -12345678 -12345 -123456 -. -. -. -. -123456789 -1234 -123 -1 -12 -. -. -. -123456789X -. -1 -123 -1 -12345 -1234 -12 -1234567 -1234567 -123456 -. -123456789X -123 -123456789X -12 -123 -123456789X -123456789X -123456789X -123456789 -12 -12 -12 -12345 -1234567 -1 -1 -1 -. -. -123 -1 -1 -12 -1 -12 -. -. -. -12 -12 -1 -12 -123 -12 -12 -1 -12 -12 -1 -12 -. -. -. -. -12 -123 -123 -123 -. -123 -12345 -12 -12 -12345 -123456 -. -1234567 -. -. -. -1
% 74.91/74.99 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1234567 -. -123 -1 -. -. -1 -1 -. -1 -12 -12 -. -1 -1 -1 -1 -1234567 -1 -12 -12345 -1234567 -1 -. -12345 -123 -12345 -123456789 -1234 -1 -1 -12 -12 -1234 -1 -1 -. -. -1234 -12 -12 -. -. -. -. -1 -123456789X -1 -. -1 -. -. -. -. -1234567 -. -. -. -1 -123 -12 -123456 -123456789X -1234567 -1234567 -. -123 -. -. -1 -12 -12345 -123456789X -123456789X -12345678 -1 -12 -1 -1 -1 -1 -1 -. -. -12 -1 -12 -12 -12 -123 -12 -. -. -1 -. -. -. -12 -. -1 -. -12 -. -. -. -. -. -. -. -. -1 -123 -1 -1 -. -1 -12 -1 -123 -123 -123 -. -1234 -. -. -. -.
% 75.95/76.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -. -1 -1 -. -. -. -. -. -123 -123 -12 -. -123 -1 -12 -12 -1234 -12 -1 -1 -1234 -1 -. -1234 -1 -1 -12345 -123 -1 -1 -1234 -1 -1234 -12 -123 -. -. -12 -123 -1 -12 -. -. -. -. -12 -123 -. -. -. -1 -. -. -12 -. -. -. -1 -12 -. -12 -123456 -123 -123 -1 -123 -1 -1234567 -1 -12 -12 -123456 -123456 -12 -12 -. -1 -. -. -. -. -. -. -. -. -. -12 -12 -1 -1 -1 -. -. -. -. -1 -1 -1 -. -. -1 -1 -. -1 -. -. -. -. -12 -. -. -. -12 -. -1 -1234 -. -1 -12 -1 -. -1 -. -. -. -. -. -.
% 76.92/77.00 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -1 -123 -123 -. -1234 -1234 -12 -. -1234 -123 -123 -. -1 -. -. -123 -. -. -12 -12 -. -1 -1 -12 -. -. -. -. -. -123 -12 -. -12 -. -. -. -1 -123 -1 -1 -. -1 -1 -. -. -1 -. -1 -1 -1234 -1 -12 -123 -12 -. -. -12 -1234 -12 -1 -. -123 -1234 -1234 -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -1 -1 -12 -. -. -. -. -12 -. -12 -1 -. -. -. -12 -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -1 -. -. -. -. -.
% 77.74/77.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -1 -. -123 -123 -12 -. -. -. -1 -12 -12 -. -. -1 -1 -12 -12 -12 -. -. -1 -1 -1 -. -. -. -. -12 -123 -. -. -. -. -. -1234 -12 -. -. -1 -1 -. -. -. -. -12 -1 -1 -1 -. -1234 -. -12 -. -. -. -. -1 -1 -. -12345678 -123456 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -123 -. -1 -. -1 -1 -. -. -. -.
% 78.61/78.71 (SAT)(equ)(fun)(SAT) 205| -1234 -. -123 -. -1 -1 -1 -. -1 -12 -1 -. -123 -1 -12 -1 -1 -1 -. -. -. -. -. -. -. -. -12 -1 -. -1 -12 -. -. -. -1 -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -1234 -. -1 -1 -12 -12 -123 -. -. -. -123 -. -. -1 -. -12345 -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -1 -123 -.
% 79.52/79.60 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -1 -. -1 -1 -. -. -. -. -12 -1234 -. -. -1 -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 80.34/80.48 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -123 -12 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.13/81.28 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1
% 81.95/82.09 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -.
% 82.84/82.91 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12
% 83.03/83.11 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 83.31/83.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -.
% 83.46/83.58 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -123456789XL -. -123456789X -123456789XL -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -1 -. -. -. -123456789XLC> -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -123456789XL -. -. -123 -. -123456789X -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.74/84.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -1 -. -. -. -12 -123456789X -123456789X -123456789X -. -. -. -. -. -. -. -12 -123 -. -12 -. -. -. -. -1 -. -1 -1 -. -. -. -12 -1 -1 -1 -. -123 -. -. -. -. -. -. -12 -. -1 -1 -123 -. -. -. -. -1 -. -123 -. -. -. -123 -. -. -123456789X -. -. -123456 -123456789XL -. -. -. -123456789X -1234 -1 -. -. -1 -1 -12345 -12 -1 -1 -. -12 -1 -. -123456789XL -123456789X -1234 -123456789XL -12345 -1 -123 -1 -123456789X -. -12345 -12 -123 -1 -. -123 -1 -. -. -1 -. -. -1 -12345 -123456 -123456789X -12 -123456789 -123456789X -123456 -. -123456789X -. -. -. -. -1 -1 -. -. -. -. -. -1 -123456789X -. -1234 -. -. -. -1 -. -. -. -1 -123 -123456789XLC -123 -. -. -. -. -. -1 -. -.
% 85.94/86.07 (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)(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)(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)(fun)(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)(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)(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)(fun)(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)(SAT)(equ)(fun)(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)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -. -. -. -123456 -. -. -123456789XL -. -. -. -. -. -123456789X -. -. -. -1 -. -. -123456789X -123456789X -123456789X -123456789X -. -12 -123 -123456789X -. -. -. -. -. -. -. -1 -. -. -123456789X -1 -12 -. -. -1 -1 -. -12 -1234 -123 -12 -12345 -1 -12 -1 -123 -. -1 -123 -1 -1234 -123 -12 -1 -12 -12 -123 -1234 -1234 -. -123 -123 -123 -123 -. -123 -. -. -1234 -123 -1 -1 -123456789X -1 -123 -12345 -12345678 -1 -12345678 -123456789XL -123456789X -123456789X -12 -12 -12345678 -. -. -123 -12 -1 -12345678 -1 -1234 -12 -123456789 -1234 -123 -123456 -12345 -12 -12 -1 -123456789XL -123456789XL -12345678 -123456789XL -123456789X -123 -1234567 -12345678 -123456789X -12345 -123456789X -12345678 -123456 -12345 -. -123 -1234 -123456 -123 -. -1 -123 -1234 -12345 -123456 -123 -123 -123456789X -123 -12345 -123 -123456789X -1 -123 -1 -12345 -1234 -12 -1234 -. -. -12 -1 -1 -1 -123456789 -12345 -12345 -1 -. -12 -12345 -123456789X -123 -. -. -1 -. -123456 -1 -1 -1 -. -. -. -. -1 -12345 -12345 -. -. -. -1 -1 -. -. -. -. -. -.
% 107.86/107.94 (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)(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)(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)(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)(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)(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)(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)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -. -. -. -1234567 -. -12345 -123456789X -. -. -. -. -. -123456789X -. -. -. -123456789X -1 -. -123456789X -123 -123456789X -12345 -. -1 -1 -123456789 -. -1 -. -1 -. -. -. -. -. -. -123456789X -1 -1 -. -123 -123 -123 -. -12345678 -1234 -1234 -123 -12 -123 -12345 -1 -12 -. -12 -1234 -123456 -12 -12 -123 -1234 -12345 -12345678 -1234567 -123 -1 -123456 -1 -12 -12345678 -12345678 -12 -12345 -1 -1 -1 -123456789 -1 -123 -12345 -1 -12 -12345 -123456789X -123456789X -12 -123456789X -123456789X -123456789X -. -12 -123456789 -. -12 -123 -1234 -12 -123456789X -123 -12345 -1234567 -123456789X -123 -1234 -1234567 -123456 -12345678 -123456 -12 -123456789X -123456789X -123456789X -123456789X -123456789X -12345 -1234567 -123456 -123 -1234 -1234567 -12 -123 -123 -. -123456 -123 -12 -12345 -. -1234 -1234567 -12345 -12345 -12 -12 -12 -1234567 -123456 -1234567 -1234567 -123456789X -1234 -12345 -123 -12345 -1 -123 -1 -. -. -123 -12345 -123 -1 -1234 -123456789X -123 -123456 -123456789X -1234 -1234 -123456 -123 -12 -123 -. -1 -12 -123456789X -1234567 -1 -123 -12345 -1 -. -1 -12345 -12 -12345 -1 -. -. -1 -. -. -. -. -. -. -.
% 142.81/142.86 (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)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12345678 -. -123 -12345 -123 -. -123456 -123456789X -. -. -. -. -. -1234567 -. -. -. -12 -. -. -12345678 -1234 -123456789X -12345678 -123 -. -12345 -123 -. -. -. -. -. -1 -1 -. -. -. -12 -. -. -. -12 -1 -1 -. -1234 -1234 -1234 -123 -123456789 -1 -12345 -1 -123456 -12 -1 -12345 -12 -123 -1234 -123 -12 -1234567 -1234 -12345 -1234 -1234 -1234 -12 -. -12345 -123456 -123 -1 -. -. -123 -123 -123456789X -123 -12 -12 -1234 -123 -123456789X -123456789X -1 -123456789X -123456789X -123456789X -123 -12 -12 -1 -12 -1234567 -123456789 -1234 -1234567 -1234 -12345 -123456 -123456789X -12 -123456 -12345 -1 -123 -123456 -1 -123456789X -123456789X -123456789X -123456789X -123456789X -123 -12345 -1234567 -1234 -12 -123456 -12 -12 -1234 -. -1234 -1234 -12345 -1234 -12 -. -123 -12345678 -12345678 -12 -123 -123 -1 -. -1 -123 -123456 -. -12345 -1 -1234 -1 -12 -12 -1 -1 -123 -12 -123 -1 -1234 -123456789X -1 -1234 -12345678 -1234 -1 -12345 -12 -1234 -123456789X -12 -12 -1234567 -12345 -12345 -1234567 -1 -12345 -. -. -1 -1 -12345 -123 -. -. -. -. -. -. -. -. -. -. -.
% 159.94/159.95 (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)(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)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1234567 -. -123 -123456 -123 -. -1234 -123456789X -. -. -. -. -. -12345678 -. -. -. -12 -. -. -123 -12345 -12345 -123456 -12345 -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -123 -1 -1 -. -12345678 -12345678 -1234 -. -1234 -12 -12 -1234 -123456789 -123 -1234 -12 -1234 -12345 -1 -12345 -12345678 -123 -123456 -123456 -12 -123456 -123 -123 -12345 -12345 -123456789 -12 -12 -1234 -123456 -123 -. -. -. -12 -123 -123456789X -12 -12345 -1 -123 -123 -1234 -123456789X -1 -123456789X -123456789 -123456789X -123 -12 -123456789X -. -. -12 -123456789 -123 -123456789X -1234567 -1234 -12345678 -123456789X -123456789 -123 -123456789X -. -1 -12345 -1 -123456789X -123456789X -123456789X -123456789XL -123456789X -1234567 -123456789X -123 -123 -123456 -12345 -12 -1234 -1 -. -1 -12 -12345 -1234567 -12345 -123 -123456789 -123456 -123 -. -1 -12 -123 -. -123 -1234 -123 -12 -1234 -1234 -12345 -12 -12 -123 -. -. -12 -1 -1234 -1 -123456 -123456789 -12 -123456 -123456789 -1234567 -12345 -123456789X -12 -12 -1234 -1 -123456789X -1234 -1234567 -1234567 -1234 -1 -12 -. -. -1 -12 -1234567 -. -. -. -. -. -. -. -. -. -. -.
% 188.05/188.07 (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)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456 -. -1 -1234 -1 -. -1 -12 -. -. -. -. -. -1234567 -. -. -. -1 -. -. -123456 -. -12345 -1234 -. -. -. -12345 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123 -12345 -123456 -. -123456 -1234 -123 -. -123456 -12 -12345 -1234 -12345 -1 -12 -123456789X -123456789X -1234 -1234 -1234 -1 -12345 -123456789X -12345 -1234 -. -. -. -12 -123 -12345 -1 -1 -. -. -123 -123 -123456 -12 -1 -12 -. -1 -1234 -123456789X -1 -12 -123456789X -123456789X -. -. -123456 -. -. -123 -12345 -1 -123456789X -12 -1234 -1234567 -123456789X -123456 -1 -123456 -1 -1 -1234 -12 -123 -123456789XL -123456789X -123456789XL -123456789X -1234567 -12345678 -123 -123456789 -12345 -123456 -12 -12 -1234 -. -123 -1234 -12345 -1234 -1234567 -123456 -1234567 -12345 -1 -. -1 -12 -123 -12 -1234 -12 -12345 -1234 -12 -123 -1234 -123 -12345 -123 -. -. -12345 -12 -12345 -12 -1234 -12345 -1 -123 -1234567 -123 -123 -1234567 -12 -1234567 -123 -12 -1234 -123 -12345 -12 -1234567 -. -12 -. -. -1 -. -1 -12 -. -1 -. -. -1 -. -. -. -. -.
% 214.97/214.89 (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)(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)(fun)(SAT) 205| -12345 -. -1 -1 -12 -. -12 -123456789X -. -. -. -. -. -1 -. -1 -. -12 -. -. -1 -1234 -1234567 -12345 -. -1 -12 -. -. -. -. -. -. -. -. -1 -. -. -1 -123 -12 -. -1 -1 -12 -. -123456 -123456 -1234 -1 -123456789X -12 -1234 -123 -123 -1 -12 -12345 -1234 -123 -1234 -12 -. -. -123456 -12345 -123 -1 -12 -12 -1 -12 -123456 -1 -1234 -. -. -. -1 -123456789X -1234 -12345 -12 -. -123456 -12345 -123456789X -12 -123456789X -12 -12 -12 -123 -12345 -1 -1 -12 -123456 -1234 -123456789X -12 -1234 -1234567 -12345678 -1234 -12345 -1234 -12 -12 -1234567 -12 -12345678 -123456789X -123456789X -123456789XL -1234 -12345678 -123456789X -123 -12 -12345678 -123 -123 -1234567 -1234 -. -12 -. -1 -12 -1 -1234 -12345 -12 -1 -1 -1 -12 -12345 -12345 -. -123456 -12345 -123456 -12345 -. -1 -12 -1 -123 -. -. -. -1234 -123456 -1 -123456 -123456789X -. -123456 -123456789X -123 -12345 -1234 -. -12 -12 -1 -12345678 -1 -1234567 -1234 -123 -. -. -. -. -. -1 -12345 -. -. -. -. -. -. -. -. -. -. -.
% 244.62/244.57 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -12 -. -. -. -123 -. -. -. -123 -. -. -. -. -. -. -1234 -. -12 -123 -12 -. -. -123 -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -12345 -1234 -12345678 -1 -1234 -12 -1234 -12 -12345 -12 -123 -123456789X -1 -12345 -123 -12345 -1 -1 -123456789X -123 -12 -123456 -123 -12 -. -1234 -123456 -1234 -12 -. -. -12 -1234 -1234567 -1 -. -1 -123 -123456 -123 -1234567 -123 -123 -12345 -12345678 -123 -1 -12345 -. -. -12345678 -123456789 -1234 -123456789 -1 -123456789 -123456789X -1234 -123 -123 -1234567 -1 -123 -1234 -12 -1234 -123456789X -123456789 -123456789X -123456789X -123 -12345 -123456 -12345678 -1 -1234 -12 -123456 -123456 -. -1 -123 -1234567 -. -12345678 -123456789 -12345678 -123 -123 -12 -12345 -123 -1 -1234 -123 -1234 -123 -12345 -123 -12 -12 -. -1 -12 -. -. -1234 -123 -12345 -. -123456789X -1234567 -1234 -1234567 -123456 -. -1 -123456 -12345 -12 -12345 -123 -1234 -12345678 -123456 -1 -12345 -. -1 -. -. -. -123 -. -. -. -. -.
% 256.96/256.85 (SAT)(equ)(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)(fun)(SAT)(equ)(SAT)(equ)(fun)(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)(fun)(SAT) 205| -12345 -. -. -. -12 -. -1 -1234 -. -. -. -. -. -. -. -. -. -12 -. -. -123 -1 -12 -123 -1 -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1234 -1234 -. -1 -1 -12 -1 -12345 -1 -12 -123 -1234567 -. -1 -12345678 -1234 -1234 -123456 -1234 -12 -. -123456 -12345 -12 -123 -123456789 -. -. -1234 -123 -123 -. -. -. -123 -1 -12345 -. -. -1 -12 -123456 -12345 -12345678 -12 -1234 -12 -1 -12 -. -1234567 -. -. -123 -123456789 -123456 -123 -1 -123 -123456789X -1234567 -1 -12345 -123456 -1234 -12 -123 -123 -123 -123456789X -123456789X -123456789XL -123456789 -1234 -12345678 -. -1234 -12345 -12 -1234 -1 -1 -. -123456 -1234 -123456789 -12 -12 -. -1234 -. -1234 -123456789X -123 -12 -12 -123 -123 -1234567 -1234567 -1 -12345 -1 -123 -. -. -. -. -. -12 -1 -1 -1234 -123456789X -1234567 -1 -123 -12345678 -1 -12345 -12345678 -12 -12 -123456 -. -123456789X -1234567 -12345 -12 -12345 -. -. -. -. -1 -. -123 -. -. -. -. -. -. -. -. -. -. -.
% 285.56/285.41 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -1 -12 -. -. -1 -. -. -12 -. -. -1 -. -. -12 -. -. -. -1 -. -. -. -. -. -1 -123 -12 -. -1234 -123 -123 -12 -123456789X -12 -1 -12 -1234567 -123 -12 -123456 -12 -12345 -1234 -12345 -12 -12 -123 -12 -123 -1 -1234567 -1 -. -1234567 -1234 -12 -12 -. -. -. -12 -123456 -12 -1234 -1234567 -. -1234567 -123 -1234567 -12 -12 -1234 -12 -12 -. -1234 -. -. -1234 -123456 -12 -. -12 -123456789 -123456789X -123456789 -123 -123456 -12345 -123 -1234 -12345 -1234 -123 -123456789X -123456789X -123456789X -1234567 -1 -123456789X -12 -123456 -1 -1234 -123 -12345678 -1234 -. -12345 -123456 -12345 -1 -123456 -123456789X -12345 -123 -. -12 -123 -12345 -1234 -1234 -. -123456 -123456 -123 -1234 -. -12 -12 -12 -. -. -. -1 -12 -1234567 -12 -12345 -. -1234 -12 -123456 -123 -123 -1234 -12 -. -12345 -1 -12345678 -123 -12345 -123 -1234 -. -. -. -. -. -12 -. -. -. -. -. -. -. -.
% 299.91/299.75 (SAT)(equ)
%------------------------------------------------------------------------------