TSTP Solution File: HWV050-2 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : HWV050-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 : n015.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:58:04 EDT 2022
% Result : Timeout 288.74s 288.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : HWV050-2 : TPTP v8.1.0. Released v5.3.0.
% 0.13/0.14 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.35 % Computer : n015.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Thu Jun 16 23:25:41 EDT 2022
% 0.13/0.35 % CPUTime :
% 0.13/0.36 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.13/0.36 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.13/0.36 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.21/0.46 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.21/0.49 #elt|#instances
% 0.21/0.49 (SAT)(equ)(fun)(SAT) 206| -. -. -1 -1 -. -123456789XLC> -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -1 -1 -1 -. -123456789XLC> -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -.
% 0.60/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.85/1.05 (SAT)(equ)(fun)(SAT) 205| -.
% 0.85/1.07 (SAT)(equ)(fun)(SAT) 205+ -. -123456789XLC> -. -. -. -. -123456789XLC> -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123456789XLC -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.18/1.34 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(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 -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -.
% 2.98/3.15 (SAT)(equ)(SAT)(equ)(SAT)(equ)(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)(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)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789XL -. -1 -. -123456789X -. -. -. -12345 -. -. -. -123456789XL -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -.
% 3.96/4.12 (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)(SAT)(equ)(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)(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)(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) 205| -123456789X -. -. -. -123456789XL -. -. -. -123456789XL -123456789XL -. -. -1 -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -1 -1 -. -. -. -. -. -. -.
% 7.99/8.14 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -123456789XL -. -1 -123456789X -. -. -123456789X -. -123456789XL -1 -1 -1 -123456789X -. -. -1 -. -123456789XL -.
% 8.14/8.30 (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)(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) 205| -123456789XL -12 -123456789X -123456789XL -123456789X -. -123 -. -. -1 -12345 -. -. -. -. -12345 -. -12345678 -. -12 -. -123456789XL -. -. -. -1 -. -. -123456789XL -12345 -. -123456789XL -12345678 -1 -. -. -. -.
% 10.09/10.30 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -123 -1 -. -. -. -. -1 -123456789XL -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -123456 -. -123456 -. -123456 -123456 -. -123456 -123456 -. -123 -123 -. -123 -. -123456 -. -. -. -123456 -123456 -123456 -123456789X -. -123 -12345678 -123456789XL -. -. -. -12345678 -. -. -. -. -123456 -. -. -. -.
% 10.42/10.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -123456789 -. -. -. -1 -1234 -1 -1 -1234 -1234 -. -1234 -12345 -. -1234 -12 -1 -1234 -. -123456789X -. -. -. -1 -1234 -1234 -123456789X -. -12345 -. -. -. -. -1 -. -123456789XL -1 -12 -1234 -1234567 -.
% 10.56/10.73 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -12 -12 -1 -1 -1 -. -1 -123 -1 -12 -1 -. -123 -1 -123 -. -. -. -. -1 -1 -12345 -. -1234 -123456789XL -. -. -. -1 -123456789XL -. -. -1 -1 -12 -.
% 10.74/10.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -123456789XL -. -12 -1 -12345 -1 -1234567 -. -123456 -123456 -1 -123456 -123456789X -. -123456 -123456 -12 -123456 -. -1234567 -. -1 -. -123456789 -123456 -123456 -123456789X -. -123456 -. -. -1 -. -123456789 -. -. -. -. -123456789 -. -.
% 10.89/11.08 (SAT)(equ)(fun)(SAT) 205| -. -. -. -12 -. -. -1 -123 -12345678 -1234 -1 -. -1 -123 -12 -123 -123 -123 -123 -1 -1234 -. -12345678 -. -. -. -12345 -123 -12 -123456 -1 -123456 -. -. -. -. -. -. -1 -12 -12 -1234 -.
% 11.07/11.22 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -12 -12345 -123 -1234 -12 -1 -12345 -1 -. -. -. -1 -. -123 -1 -. -1 -. -123 -12345 -12345 -1 -. -1 -. -1 -123 -123 -. -. -. -. -. -1234 -.
% 11.19/11.36 (SAT)(equ)(fun)(SAT) 205| -. -1 -1 -. -. -. -1 -. -. -12 -1 -. -1 -1 -12 -1 -. -. -. -12 -1 -12 -1 -. -1 -. -123 -123 -12 -12 -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -.
% 11.35/11.50 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -12 -. -. -. -. -. -. -12 -1 -. -. -1234 -. -. -. -. -. -. -. -. -. -1
% 11.47/11.63 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.61/11.76 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.71/11.90 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -123456789X -. -. -12345678 -. -. -. -. -. -. -1234567 -. -. -1 -1 -. -. -12345678 -12345 -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -123 -. -. -. -1234 -. -. -. -123456789XLC -. -. -. -. -123456789XLC -123456789XLC -123456789X -1 -. -1 -. -123456789XLC -. -. -. -. -. -. -. -. -1234567 -. -. -. -123456789X -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -123456789XL -. -. -. -. -. -.
% 12.30/12.47 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789 -. -. -. -. -. -. -. -. -1234 -. -12 -. -1 -. -12 -. -123456789 -123456789XL -1 -123 -12 -123456789XL -123456789X -1234 -1234 -1 -12345 -123456 -123456789XL -123456789X -123456789X -. -123 -1234 -12345 -12345678 -. -1 -12345 -. -12345678 -123456789X -123 -123 -123 -12345678 -. -12 -1234 -. -. -. -123456 -1234 -. -12 -12345678 -. -123456 -. -123456789X -1 -12345 -1 -123456789X -. -12345678 -1 -. -123456789X -123456789XL -123456789XL -123 -1 -12 -. -123456789X -123456789XL -123456789X -123456789XLC -. -. -. -123456789X -1234567 -1 -. -. -. -. -12 -12345 -1234567 -123456789X -. -. -. -12345
% 12.88/13.12 (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)(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)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -1 -1 -123456789 -. -. -. -. -123456789 -. -12 -123456789X -1 -. -. -. -1 -1 -. -1 -12 -12 -123456789X -123456789XLC -123456789X -123456789X -. -. -. -123456789X -123456789X -12 -1 -. -1 -. -12345678 -123456789X -12345 -1 -. -1 -123456789 -. -. -. -123456789X -1 -123456789X -. -. -. -. -12345678 -123 -1 -12345 -123456789 -. -123456789X -. -123456789X -. -1 -1 -123456789X -. -. -123456789XLC -123456789XLC -1 -123456789XL -123456789XL -1 -. -123456789 -. -12 -1234567 -123456789X -123456789X -123456789X -. -12345 -12 -123456789X -. -. -1 -1 -12345 -1 -1 -123456789X -. -. -123456789X -. -. -. -.
% 16.38/16.58 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789 -12 -. -. -. -. -. -. -. -12345 -12345678 -12345678 -123456789X -123456789X -123456789X -123456789X -123 -1234567 -123456 -12345 -123456789XLC -123 -1 -12345 -123 -12345 -123456789X -123456789X -1234567 -1234 -12345678 -123456789X -1 -12345 -12 -1234 -1234567 -. -1 -12345678 -. -. -. -123456789X -123456789X -1 -1 -123456789X -1 -123456789X -. -123456789X -. -123456789X -. -123456789XL -. -123456789X -123456789X -123456789X -12 -123456789XL -123456789X -. -. -. -. -123456789 -123 -12345 -123456789 -123456789X -. -123456789X -1 -1234 -. -1 -1 -1 -1 -123456789 -123456789X -123 -123456789X -. -. -. -. -. -. -. -.
% 17.38/17.52 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -123456 -123 -123 -123 -12 -12345678 -1234567 -123456789X -12 -12345 -1 -1234 -123456789X -123456789X -12345678 -1234567 -12 -1234 -123456789X -123456789XLC -123456 -1234 -12345 -1234567 -1 -12345678 -123 -123456 -123456789X -123456789X -123456789X -. -. -. -. -123 -1 -1234567 -12 -123456 -12345 -123456789X -1 -123456789X -1234 -123456789X -. -123456789X -. -123456789XL -123456789 -12345678 -1234567 -123456789 -123456789X -1 -. -. -. -123 -1234 -1 -123456789X -. -12345 -123456 -1 -. -. -1 -. -. -1234 -12 -123 -1234 -. -.
% 18.23/18.37 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -123456 -12345 -12 -. -123 -123456 -123456 -1 -12 -1 -1234 -12345678 -123456789 -12345 -12 -12 -1 -123456789 -123456789X -123456789X -1234 -123456789XL -1234567 -12 -123 -1 -1 -123456789X -1234567 -1234567 -123 -. -. -. -1 -12 -. -1 -1234567 -123 -12345 -12 -12345 -123 -123456789 -12 -1234567 -123 -123456789X -123 -. -12345 -1234567 -1234567 -. -. -. -1 -. -12 -12 -. -12345678 -1 -1234567 -. -. -. -. -1 -1 -. -1234 -. -.
% 18.86/19.03 (SAT)(equ)(fun)(SAT) 205| -12 -1 -12 -12 -12 -123 -123456789X -1234 -123 -. -123 -123 -1234567 -1234567 -12 -12 -1 -12345 -123456789X -123456789 -1234567 -123456789X -123456789X -12345 -1 -1 -. -12 -123456789XL -12345 -12 -1 -1 -. -12 -. -. -. -12 -123456789X -123456789X -. -123456789X -1234 -1234 -1 -123456789X -1234 -123456789X -12345 -1 -. -12 -123456 -. -. -. -. -12 -12 -. -1 -. -. -. -. -123 -1234 -1234 -12345 -.
% 19.48/19.62 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -12 -123 -12 -1234 -123 -123 -1234 -12 -12345 -12345 -1 -1 -. -12345 -12 -123456789 -123456 -123456789X -12345678 -123456 -1234 -1 -12 -1234 -123456789X -123456789X -12 -1 -. -1 -1 -. -. -12 -12 -12 -1 -1 -123456789X -1234567 -1234 -1 -123456 -12 -12345 -12 -1 -. -12 -1234 -. -1 -. -. -1 -. -12345 -1 -. -. -1 -1 -1 -1234 -.
% 20.09/20.23 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -1 -12 -1 -. -. -. -123 -123 -12 -1234 -123 -1 -1 -1 -123 -12345 -1234 -1 -123456789X -123 -. -. -1 -12 -123456789 -123456789 -123 -. -. -. -12 -. -. -1 -12 -1 -. -1 -12345 -12345 -1234 -1 -123456 -1 -1234567 -1 -1 -. -1234 -1 -1 -1 -. -12 -. -. -. -. -. -1 -1 -. -.
% 20.67/20.80 (SAT)(equ)(fun)(SAT) 205| -12 -12 -12 -1 -. -12 -. -1 -1 -. -12 -1 -. -1 -1 -. -1 -. -1 -123456 -. -12 -1234 -1 -1 -1 -1 -12 -1 -123456789X -12 -. -. -. -12 -. -. -12 -12 -1 -1 -. -1 -12 -1 -12 -12 -12 -12345 -1 -. -. -12 -. -1 -12 -1 -1 -. -. -. -. -1 -1 -1 -. -.
% 21.21/21.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -123 -1 -. -. -1 -1 -. -. -12 -12345 -1 -. -. -. -1 -1 -123456 -1 -. -. -. -. -. -. -. -. -. -1 -. -1234 -. -. -12 -1234 -1 -12 -1 -. -. -. -. -. -. -. -. -12 -. -12 -12 -. -1 -.
% 21.74/21.91 (SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -. -. -1 -1 -12 -1 -. -. -1 -. -12 -. -. -. -12 -. -. -1 -1 -. -1 -12 -. -. -. -1 -12345 -1 -. -. -. -. -. -1 -. -. -1 -. -123 -1 -1 -. -1 -. -1234 -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 22.32/22.46 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.86/23.00 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -1 -1 -12 -.
% 23.30/23.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.87/24.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -.
% 24.17/24.29 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -.
% 24.70/24.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 25.20/25.33 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -.
% 25.45/25.57 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.63/25.82 (SAT)(equ)(fun)(SAT) 205| -. -. -. -.
% 25.77/25.91 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -123456789XLC> -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -123456789 -. -1 -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -1 -. -. -123456789X -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -. -. -. -123456789X -. -. -123456789XL -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -12 -123456 -. -. -. -. -.
% 26.70/26.86 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(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)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(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)(fun)(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)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(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)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(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)(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)(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)(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)(fun)(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)(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)(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)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(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)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(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)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(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)(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)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT)(equ)(fun)(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)(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) 205| -. -12345 -. -. -. -. -. -123456789XL -. -. -. -. -123 -123456789X -. -. -. -123456789X -12 -. -. -. -. -. -. -12345 -. -. -. -. -123456789XLC -123456789XLC -. -1 -1 -123 -1 -12 -12 -. -12 -1234 -1234 -12345678 -1 -1 -123 -1234 -12345 -1 -123456 -1 -12 -1 -1234 -. -1 -123 -123 -1 -12345 -123456 -1 -123 -12 -1 -12345 -123456789 -1 -12 -. -1 -123456789XL -123 -123456789XLC -123456 -123 -1 -1 -1 -123456789X -12345 -123 -1 -12 -123 -123456789X -12 -. -123456789XL -123456789XLC -123456789XLC> -123456789XLC> -123456789XLC> -123456789X -123456789X -123456789X -. -. -1 -1 -. -12 -1 -12 -. -. -123 -. -. -1 -123 -12 -123 -. -123456789X -. -1 -. -12 -12 -1 -. -. -. -12 -12 -123 -1 -123456 -. -. -. -. -123456789X -123456789XL -. -. -. -.
% 53.22/53.36 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -123456 -123456 -. -123456 -1234 -12 -1 -12 -12345 -1234 -123456 -1234 -12 -123456789X -123 -12 -1234 -123456 -1234567 -123 -123456789 -1 -12 -1234 -1234567 -12 -1234 -1234 -12345 -1 -123 -123 -12 -12 -12 -12 -1 -123456789X -12345 -1234 -. -. -123456789XL -12 -1234567 -123456789 -123 -12 -1234 -12345 -123456789 -123456 -123456789 -12345 -1234 -123 -1234 -1234 -. -12345678 -1234 -123456789XLC -123456789XLC> -123456789XL -123456789XL -123456789XL -. -. -. -. -123456789XL -. -12345 -1 -1 -1234 -. -12 -1 -. -. -12 -1234 -1 -1 -12 -. -12 -. -. -. -. -. -. -. -. -12345 -123456789 -123456789 -123456 -. -. -. -. -. -1234 -. -.
% 54.72/54.81 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -123456789X -. -. -. -. -12 -123456789X -1 -. -. -. -. -. -. -12345 -12345 -. -123456789 -123456789 -1234567 -12 -12345 -123456789 -12 -12345678 -123456789X -1234 -1234 -12 -1234 -123456789X -12345 -12 -123 -123456 -12345678 -1234 -12 -123456789X -12 -1234 -123 -1 -. -123456 -12345678 -12345 -12 -1 -1 -1 -1234567 -12345 -123 -12 -. -123456789X -. -123 -123456789X -12345 -1234567 -1234 -1234567 -123456789XL -123456 -123 -123456 -123456789X -1 -1234567 -123456789 -12 -12345 -123456 -123456789XL -123456789XL -123456789X -123456789X -123456789X -12 -12 -. -. -123456789X -1 -12 -123 -1 -1 -. -1 -. -. -12 -1 -12 -123 -1 -1 -. -. -. -. -. -. -. -. -1 -. -1234 -123 -1234 -1234 -. -. -. -. -. -. -.
% 55.87/56.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123456789X -. -. -. -123456 -. -. -. -. -. -. -123456789 -1234567 -1234567 -. -1 -12345678 -1 -123456 -1234567 -12 -. -12345 -1234567 -1234567 -123456 -1234 -12 -12345 -123 -1234 -123 -123456 -1234 -. -1234 -123 -1 -12 -123456789X -1234 -. -. -1 -1 -1234 -123456789X -1234 -12 -. -123456789X -12 -1234 -123456789X -123456789X -1234 -12345 -123456 -123456789X -123456789X -123 -12 -12 -12 -12345678 -12345 -. -12345678 -1234567 -123456789X -123456789XL -123456 -123456789 -12345678 -1 -1 -. -. -123456789X -1 -1 -1 -. -12 -. -123 -. -. -123 -123 -12 -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -12 -12 -. -. -. -.
% 56.90/57.00 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -123 -. -. -1 -1 -1 -123456 -123456 -. -1 -1 -12 -1234 -. -1 -123 -1 -123 -1 -12 -12 -12345 -12345 -123456 -12 -123 -. -1234567 -123456789 -123 -12 -12345 -123456 -123 -123 -12 -. -1234567 -123 -12 -1 -1 -12 -1 -123456789X -12345 -12 -. -123 -1 -12 -12 -1 -123 -123 -1234 -123456789 -123456789X -123456 -1 -123456 -12 -1234567 -12 -1 -12 -123456789X -123456789X -123456789 -123456 -123 -. -. -. -. -. -12 -. -1234 -123 -1 -. -. -. -. -. -12 -1 -123 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1 -1234 -12345 -. -1 -. -. -.
% 57.94/58.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1234 -12 -1234 -12 -. -. -1 -1 -. -123 -123456 -123456 -. -. -12345678 -1 -123 -1234 -1 -. -. -1 -12345 -12 -. -. -. -12345 -123456 -1 -1234567 -123456789 -. -1234 -12 -1 -12 -123 -123456 -. -. -. -. -. -1234 -1234 -. -. -1234 -. -. -123456789X -1234567 -1 -1 -1234 -123456789 -12 -1 -1 -1234 -12 -1234 -123 -. -1234 -123456 -1234567 -123456789X -1 -123 -12 -. -12 -. -. -1 -. -. -. -1 -. -1 -1 -. -1 -12 -. -1 -1 -. -1 -1 -. -. -. -. -. -123 -1 -1 -1 -. -. -.
% 58.93/59.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -. -. -. -. -. -. -1 -1 -1 -. -. -1 -1 -1 -1 -. -1 -. -1234 -1 -123 -123 -. -1 -1 -1234 -12 -1234567 -123456 -. -1 -. -. -. -123 -123456789X -12 -1 -1 -1 -. -123456 -12345 -1 -. -12 -. -. -1 -1 -. -1 -1 -12 -12 -1 -. -123 -1 -1 -1234 -. -123 -123456789 -12345678 -1234567 -. -123 -. -. -12 -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -12 -. -. -. -. -.
% 59.78/59.88 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -. -. -. -1 -1 -. -1 -1 -1 -. -. -1 -. -. -1 -1 -12 -. -. -. -1 -. -. -. -. -1234 -1 -. -1234 -. -1 -1 -. -. -1234567 -123456 -. -. -12 -1 -. -123 -123456789X -. -. -12 -. -. -1 -. -1 -. -. -. -1 -. -. -. -1 -1 -. -. -1 -123456 -12 -12345678 -12 -. -12 -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -.
% 60.70/60.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -12345 -1234 -. -. -. -12 -. -1234 -. -. -12 -12 -1 -1234567 -123456 -. -. -1 -. -. -. -. -. -. -. -12 -. -. -12 -1234 -. -. -. -. -12 -12 -123 -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -123 -1 -. -. -. -.
% 61.44/61.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -1 -. -1 -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1234 -. -. -12 -. -1 -1 -1234 -1 -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -12 -12 -123 -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 62.22/62.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1234 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -123 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 62.98/63.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -.
% 63.72/63.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -.
% 64.41/64.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 65.07/65.19 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.46/65.57 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -123456789XL -. -123456789XL -123456789XL -. -1 -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -1 -123456789XLC> -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -123456789X -. -. -. -. -. -. -. -. -12 -. -. -. -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.69/66.76 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -123456789X -. -. -. -. -. -123 -. -. -. -. -1234 -1234567 -123456789X -123456789 -. -1 -1234 -. -. -. -. -123 -. -. -. -1234567 -12 -1234567 -. -1 -1 -12 -12 -12345678 -1 -123 -12 -. -. -12 -123 -. -1 -1 -. -1 -. -. -1 -. -1 -. -12345 -. -1 -. -1 -. -. -123456 -. -. -123456789X -. -. -123456789X -. -123456789XL -123456789XL -123456789X -1 -1 -123456789X -1 -1 -12345 -12 -12 -12 -12 -12 -12 -12 -. -1 -. -. -123456789X -123456789XL -12345 -123456789XL -123456 -12345 -123456 -123456789X -123456789X -. -. -1 -12 -. -12 -12 -. -1 -. -12 -. -1 -. -1 -. -12 -. -123456789X -. -. -. -. -1 -. -. -. -. -. -1 -. -. -12 -. -. -. -.
% 68.47/68.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -. -123456789X -. -123456789X -. -. -. -1 -. -. -123456789X -123456 -123456789X -12345 -. -. -1 -1234 -. -12 -1 -1 -. -123 -123 -1234 -. -. -123456 -12 -123456 -123 -123 -12 -123 -1 -1 -12345678 -12 -12345 -1234 -12345 -1 -12 -1234 -1 -1 -1234 -123 -12 -12345 -1 -. -1 -123456 -12 -1 -12 -1 -1 -1 -123456789 -. -123456789XLC -123456789XL -12 -123456789X -123 -123456789 -1 -1 -123456789 -123456 -12345 -123456789X -12345 -123 -1234567 -123456789X -12345 -123 -1234 -1234 -12345678 -123456789X -. -123456789X -123456789X -12345 -12345 -12345678 -12 -123456 -123456789X -123456 -. -123 -. -12345 -1 -12 -123 -. -1 -. -1 -12 -1234 -. -123 -123 -123456789 -. -. -. -. -. -. -. -12 -123456 -. -1 -. -.
% 69.72/69.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -12345678 -. -. -. -12345678 -. -. -. -. -. -. -123456789 -12 -123456789X -123456 -. -. -. -1234 -. -. -. -. -1 -1 -. -1234 -1234567 -123456 -1 -1 -12 -12 -123 -123 -1 -. -123 -1 -1 -123456789 -12 -12345 -123 -123456 -12 -12 -123 -1 -123 -123456789X -1234567 -. -12345 -123 -123 -1 -1234567 -1 -1 -1234 -12 -123456789XL -1234567 -12345 -123456789X -123456789X -123456789X -12 -1234567 -1234 -123456789X -. -1 -1234567 -123456789X -123 -1234 -12 -1 -12345 -123456789X -12345678 -123456 -1234567 -123456789X -123456789 -123456789 -. -123456789X -123456789X -123456789X -123456789X -12345 -12345 -123 -123456789X -123456789X -. -12 -. -123 -123 -1 -12 -. -123456 -. -. -12 -. -12 -1234 -12 -1234 -. -. -. -. -. -. -. -. -. -. -123 -12345 -. -123 -. -. -. -.
% 71.12/71.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -12 -12345678 -. -1234 -. -1 -. -. -. -. -1234 -12 -123456 -12345 -123 -. -1 -12 -. -. -12 -12 -. -12 -1234 -12345 -. -1 -1234 -1234 -12345 -1234567 -. -1234 -1234 -12345 -1 -123456 -12 -12 -12345 -123456 -. -1234 -1234567 -123 -. -123456 -12 -12 -1234567 -123456 -1234567 -123456789X -12 -123 -1 -1234 -1234 -123456789X -1234 -1234 -123456789 -123456789X -1234567 -123 -123 -1 -123456789X -. -. -1234 -123456789X -123 -123456789X -1 -12345 -123456789 -123456789X -1234567 -123456 -123456789X -123456789X -123456 -123456789X -. -123456789X -123456789X -123456789X -123456789X -123456789X -12 -1234567 -123456789X -123456789X -. -. -. -12345 -. -12345678 -1234567 -123 -1 -. -. -. -1 -1234 -1234 -1 -12 -1234 -12 -. -. -. -. -. -. -. -12345 -123456789 -123 -1234567 -. -.
% 72.53/72.60 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -12 -. -. -1 -12 -. -12 -. -. -12345 -. -123 -123 -. -. -. -12 -. -. -. -. -. -12 -1234 -123456 -12 -. -1234 -123456 -123456789X -1234567 -123 -123 -12 -123 -12345678 -12 -1234 -1234 -12345678 -1 -12 -1234567 -12345678 -12 -. -123 -1234 -12 -12 -12 -1234567 -1234 -123456789X -12345678 -1234567 -123 -123 -123456789 -12 -1 -1234567 -12345 -123456 -1 -12 -1 -12345 -. -. -123456 -123456789X -12345 -123456789X -1234567 -123456789 -123456789X -123456789X -12345 -1234 -1 -123456 -12345678 -123456789 -. -1234 -123456789X -123456789X -123456789X -123456789X -123 -123456789X -123456789X -123456789 -. -12 -. -123456 -12345 -1 -12 -. -. -. -. -123 -123 -123456 -123 -12 -. -. -. -. -. -. -. -. -12 -123 -123 -123456789 -. -.
% 73.87/73.96 (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)(fun)(SAT) 205| -. -. -. -1 -. -. -1 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1234 -123 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12345 -1 -. -12345 -123 -1 -1234 -12 -1 -12 -123456 -123456 -12345 -12345 -12 -123 -12345 -123456 -1234 -. -1 -123 -12345678 -12345 -1234 -1234 -12345 -1 -12345 -12345 -1234 -1234 -123456789X -1234567 -123456 -1234 -12 -12345678 -1234 -12 -12 -123 -1 -1234567 -. -. -. -1234567 -. -123456 -12 -12 -123 -123456789X -123456 -123456 -12345678 -1234 -12345678 -12345 -. -123456 -123456789XL -123456789X -123456789XL -123456789X -1 -123456789 -123456789X -123456789X -. -. -. -. -12 -. -1 -12 -. -12 -. -123 -. -1 -1 -1234 -1234 -123 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -12 -1 -1234 -. -. -. -. -. -. -. -.
% 79.66/79.78 (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) 205| -. -. -. -1 -. -12 -. -. -12 -. -123 -. -. -12 -. -. -. -12 -. -. -. -12 -12 -1 -. -. -123 -12345 -12 -12 -. -123 -. -123 -. -123456789X -12345 -123456 -123456 -123 -1234567 -123456 -12345 -12345 -12 -12345678 -12345 -1234 -123456 -. -. -123456 -123456 -12345 -123 -. -12345 -1 -123 -12 -123 -12345 -1234567 -. -123456789X -12 -12345 -. -. -1234 -12345 -. -123456789X -12 -12 -1234 -123456789X -123 -1234 -1234567 -1234 -123456789X -12345678 -. -123 -123456789X -123456789X -123456789XL -123456789X -1234567 -12345 -123456789X -123456789X -. -12 -. -12 -. -. -12 -. -. -. -. -123 -12 -. -1234 -12345 -. -. -. -. -. -. -. -. -. -. -. -123 -123 -12 -12 -. -. -. -.
% 82.00/82.11 (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)(fun)(SAT) 205| -. -. -. -. -. -. -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -123 -1234 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -12 -123 -. -. -12 -12345 -1 -1 -. -1 -. -12345 -1 -1234567 -12 -1 -12 -. -123 -1234 -12 -1234 -1 -12345 -123 -123 -123456 -12 -1234 -12345 -12 -1 -12 -12 -12345 -123 -. -1234 -123456789X -123456 -12345 -1 -1 -1 -123456789X -. -. -12 -1234 -12 -123456789X -1234 -. -1 -123456789 -1 -1234 -123456 -123456789X -123456789X -123456 -. -1234567 -123456789X -12345678 -123456789XL -123456789X -1234 -1234567 -1234567 -123456 -. -. -. -. -1234 -. -1234 -123456 -1 -12 -. -12 -. -. -. -123456 -123 -123 -12345 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -12345678 -1234 -1 -1 -. -. -. -. -. -. -. -.
% 85.67/85.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -123 -. -. -. -1 -. -. -1 -. -1 -123 -. -. -. -1 -. -. -. -1 -1 -12 -1 -. -1234 -12345 -1234 -123 -12 -. -. -123 -1 -1 -. -. -123 -1 -123 -12 -12 -1 -12 -12 -1 -123 -1 -12 -123 -12345 -123456 -1234 -123 -12 -12345 -123 -1 -123 -12 -12345678 -123456789X -. -12345 -1 -123 -. -. -1234 -1234567 -123 -123456789X -1234 -1234 -12345678 -12345 -12 -. -. -123456 -12345678 -123456789X -. -12345 -123456789X -123456789 -123456789X -123456789X -1234 -12345678 -12345 -12345678 -. -12 -. -123456 -12345 -. -123 -. -123 -. -. -12 -1 -1 -12345 -1234 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -.
% 87.03/87.15 (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)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123456 -1234 -. -. -123 -1234 -1 -123 -1 -12 -1 -1234567 -12 -1 -12 -123 -123 -12 -1 -12 -12345 -12 -1 -123 -1 -12345678 -123456 -123 -123 -12 -12345 -. -12 -12 -123 -123456 -1 -1 -123456 -12345 -12345 -. -12345678 -1234 -123456789 -. -. -12345 -123456789X -12 -123456789X -1 -123 -123 -1234 -1 -. -123 -12 -12345 -12345 -. -1 -123456789XL -123456789X -123456789XL -123456789X -1234567 -123456789X -12345678 -123456789 -. -. -. -. -. -. -123 -12345 -. -12 -. -12 -. -. -123 -12 -12 -1234 -123456 -1 -. -. -. -. -. -. -. -. -. -1 -. -12345 -12 -1 -. -. -. -. -. -. -. -. -.
% 89.79/89.90 (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)(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)(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)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -123 -1 -1 -123 -1 -123 -123 -12 -. -12 -123456 -1 -12 -1 -1 -1234 -123 -123 -1234 -12 -123 -12 -123 -. -123 -. -. -. -123 -12345 -12 -. -1 -12345 -123 -1 -1 -123456 -1234 -12345 -1 -123456 -123 -123456789X -. -. -123 -1234 -1 -123456789 -12 -12 -12 -123456789X -1234 -123 -12 -12345 -123 -123456789 -. -123 -123456789X -123456789X -123456789XL -12345678 -12345678 -123456 -123456789X -123456789X -. -. -. -. -12 -. -12 -1 -. -12 -. -123 -. -. -12 -123 -1234 -12 -12345 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -123 -123456 -12 -12345 -. -. -. -. -. -. -.
% 96.39/96.42 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1234 -123 -. -. -. -123 -12 -123 -123 -1234567 -1 -1234 -1234 -12 -12345 -1 -12345 -1 -12 -1 -12 -123 -1 -123456 -1234 -123 -123 -123456 -12 -123 -1234 -12 -. -12 -1234 -1234 -. -1 -12345678 -123456 -12 -. -123 -1 -123456 -. -. -. -123 -. -123456789X -12 -12345 -12345 -1234 -1 -123 -12 -12345 -1 -1234567 -. -1 -123456789X -1234 -123456789X -123456789X -12345 -1234567 -123456 -123456789 -. -. -. -. -. -. -12 -1 -12 -. -. -12 -. -. -123 -123 -12345 -123 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -123 -123 -1 -12 -. -. -. -. -. -. -. -.
% 98.57/98.62 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -12 -1234 -12 -1 -. -12 -1234 -12 -12 -1 -12345 -. -1 -12 -123 -1234 -1 -12345 -1 -123 -123 -12 -12 -. -1 -12 -12 -12 -1 -. -. -1234 -. -12 -1 -1234 -12 -. -. -1234 -12 -1234 -. -123456 -1 -123 -. -. -1234 -12345678 -12 -123456789X -123456 -1234 -1234567 -12345 -1 -12 -. -12 -123 -123456789 -. -. -123456789X -12345 -123456789X -12345678 -12345 -12345 -123456789X -123456789 -. -. -. -. -. -. -1234 -1 -1 -1 -. -123 -. -. -123 -123 -12 -123 -123 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -12 -1 -. -. -. -. -. -. -. -.
% 100.10/100.22 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -. -12 -1234 -123 -1 -. -1 -1 -1234 -12345678 -12 -123 -1 -. -. -12345 -12 -123 -1 -. -12 -12 -. -12345 -. -1234 -1 -1 -. -. -1234 -1 -1234 -. -123 -123 -123456 -1 -1 -1 -12 -123 -123 -. -1 -12 -1234567 -. -. -12 -12345 -. -1234567 -12 -123456 -123456 -1234567 -. -123 -123 -1234 -123456 -123 -. -123 -123456789X -123456 -123456789X -123456789X -12345 -12345678 -123 -1234567 -. -12 -123 -. -12 -. -123 -. -1 -123 -1 -12345 -123456 -1 -1 -. -. -1 -. -. -1 -. -1 -1 -. -. -. -. -.
% 102.04/102.05 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -. -1 -. -. -. -. -1 -. -1 -12 -123456 -1234 -12 -. -123 -1 -1 -123 -1234 -1234 -123 -1 -. -1234 -12 -12 -1 -12 -1234 -1 -123 -12 -1 -1 -1234 -123 -123456 -1 -1234 -1234 -12 -1 -1234 -. -12 -1 -123456 -1 -12 -. -. -123 -12 -. -1234567 -123 -12345 -1234567 -1234567 -1 -1 -. -1234 -1234 -1234567 -. -123 -123456789X -1234 -123456789X -123456789 -1234567 -123456789 -12345 -1234567 -1 -12 -12 -1 -1 -. -1234 -. -. -12 -1 -1234 -1 -1234 -1 -. -1 -. -. -. -. -1 -. -. -. -. -1 -12 -. -123 -. -.
% 103.51/103.58 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -123 -1 -. -1 -123 -12 -123 -12 -123 -. -123 -1 -1 -. -1 -1234 -1 -12 -1 -1 -1 -. -12345 -12345 -123456 -1234 -1 -1 -1234 -123456 -1 -1 -1234 -123 -12 -1234 -. -123456 -. -12 -1 -1 -1 -123 -. -. -12 -123456 -1 -123456789 -12 -123456 -12 -123456789 -1 -1234 -12 -1234 -123 -12345678 -. -123 -123456789X -1234567 -123456789 -1234567 -123 -123 -12345 -12345678 -. -. -. -. -1 -. -1 -1234 -1 -. -. -1 -. -. -1234 -123 -1 -. -123 -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -1 -1 -123 -1234 -12 -123456 -. -. -. -. -. -. -. -.
% 105.66/105.71 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -. -. -. -12 -1 -1 -. -1234 -. -123456 -123 -123 -. -12 -1 -. -12 -1234 -. -12 -1 -1 -. -. -12 -1 -. -12 -123456 -123456 -1234567 -. -1 -. -12 -. -12345 -12 -12345 -. -12 -12 -1234 -. -. -1 -1234567 -1234 -123456789X -123 -1234 -123456 -123456 -12 -1234 -123 -12 -123456 -12345 -. -. -123456789X -12 -123456789X -123456789X -1234 -12345 -123456 -123456789X -. -. -. -. -. -. -1 -1 -1 -123 -. -12 -. -. -123 -1 -123 -1234 -123 -. -1 -. -1 -1 -. -. -. -. -1 -. -. -. -1 -1 -. -12345 -1234567 -1 -. -. -. -. -. -. -. -. -.
% 108.15/108.18 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -1 -. -1 -1 -. -1 -1 -. -1 -. -123 -12 -1 -123 -. -123 -1 -123 -123 -1234 -1 -. -. -. -123 -123 -. -123 -1234 -123 -1234 -1 -1234 -123 -123 -12 -12345 -123456 -123 -12 -1234567 -1 -. -1 -12 -1 -12345 -. -12345 -12 -1234 -. -. -12 -12345 -1 -123456789X -123 -. -1 -12345678 -1234 -123456789 -1234567 -123456 -12345 -123 -. -. -1234567 -123 -123456789X -12 -1234567 -123456789X -123456 -123456789X -. -. -. -. -. -. -1 -123 -. -1 -. -1 -. -. -1 -. -123 -1 -12 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1234 -1234 -. -123 -. -. -.
% 110.31/110.40 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -12 -12345 -1234 -. -. -123 -1234 -1 -1 -. -1 -. -12345 -123 -12345 -12 -1 -12345 -12 -12 -. -. -123 -123 -123456 -1 -1234 -1 -1 -. -1 -12345 -12 -1234 -123456 -12345 -123 -1 -. -123 -123 -1 -. -12345 -123 -1234 -. -. -12 -12345 -. -12345678 -. -1 -12345 -1234567 -12 -. -123 -12 -123456 -12345678 -. -123 -1234567 -. -123456789X -1234567 -12345 -1234567 -12345 -1234567 -. -. -123 -1 -1 -. -. -1 -. -. -1 -1 -1 -. -123 -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -123 -. -1 -. -.
% 111.86/111.88 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -1 -. -123 -123 -12 -. -. -12345 -1 -123 -123456 -1 -12 -. -123456 -12 -12 -12 -. -12345 -. -1234 -1 -1 -12 -123 -1234 -123 -12 -1 -1 -1 -1 -12345 -1234 -12345 -12345678 -123 -. -123 -. -123 -1 -1 -. -123 -1 -1 -. -. -1 -1234567 -123 -123456789X -12 -123 -1234567 -123456 -1 -12 -1234 -123 -123 -12 -. -123 -12345678 -12345678 -123456789X -123 -. -123456 -123456 -1234 -. -. -1234 -12 -12 -12 -. -12 -. -. -1 -12 -123 -. -123 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -123 -12345 -12 -. -. -.
% 113.98/114.00 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -123 -1234 -123 -1 -. -12 -. -1 -123 -. -1 -. -123 -12345 -1234 -123 -. -. -. -12 -123 -. -1 -. -. -. -12 -1 -1 -1 -1 -12345678 -12 -1234567 -12 -1 -12 -123 -. -12 -. -1234 -. -. -1 -1234567 -. -. -. -123456789 -123 -1234567 -123 -123456 -123456 -123456789 -1234 -12 -123 -. -. -123456 -. -. -1234567 -123456 -123456789 -123456789 -123 -123456 -123 -12345678 -. -. -12 -1 -. -1 -. -12 -. -. -12345 -. -1 -123 -12 -. -. -. -. -. -. -. -1 -. -1 -1234 -12 -. -. -. -.
% 115.34/115.37 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -12 -123 -. -. -1 -1 -123 -1234 -1 -1 -. -12 -123 -. -1 -1 -12 -. -123456 -. -1 -12 -12 -1 -. -1 -. -. -1 -. -123456 -123456 -1234567 -1 -1 -1 -1 -. -12345 -12 -1 -. -12345 -1 -1 -. -. -12 -12345 -. -1234567 -12 -12345 -12 -1 -. -1 -123 -1234 -12345 -12 -. -. -1234 -. -123456789X -123456789 -12 -123456 -1234 -1234567 -. -. -. -. -. -. -1 -1 -. -12 -. -1 -. -. -123 -. -12345 -. -123 -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -1 -12 -. -12 -. -. -. -. -. -. -.
% 117.12/117.21 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -12 -. -. -. -. -1 -1 -. -. -1 -. -12 -123 -12 -. -. -123456 -. -12 -1 -. -12 -123 -123 -. -12 -1 -. -1 -. -12345 -12 -1234567 -1 -123 -12 -. -123 -12345 -12 -12 -. -123 -. -. -1 -1 -1 -123456 -. -12 -123 -12 -12 -1234 -1234 -123 -12345 -123 -. -123456789X -123456789 -1234 -123 -12345 -1234 -123456 -123 -1 -1 -. -12 -. -. -. -12 -1 -12 -12 -. -. -1 -. -. -1 -. -. -1 -. -. -. -12 -1234 -. -. -. -.
% 118.57/118.59 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1 -. -12345 -1 -1234567 -1 -12 -. -123 -12 -. -. -1 -. -. -123 -12 -. -. -12 -123 -. -. -12 -1 -123 -12 -1234 -1 -12 -1234 -123 -. -123 -. -123456 -. -12 -. -12 -1 -12 -. -. -1 -12 -. -123456789X -1234 -123 -1234 -12345 -12 -12345 -1234 -1 -123 -123456789 -. -. -123456 -12 -123456789X -123456 -123 -123 -12345 -123456 -. -. -. -. -. -. -12 -12 -. -. -. -1 -. -. -1 -. -1234 -1 -123 -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -. -1 -1 -1 -12 -. -1 -. -. -. -. -. -. -. -.
% 120.09/120.10 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -1 -1 -1 -. -1 -. -1 -12 -123 -. -. -123 -. -1 -1 -. -123 -123 -12 -1234 -. -123 -1 -12 -1 -123456 -1234 -1234 -. -. -1 -123 -123456 -1 -123 -1 -1 -1 -. -. -123 -1 -12 -12 -1 -. -1234 -123456 -. -123456 -12345 -1234 -1234 -12345678 -. -12345678 -12345 -1234567 -123456 -12 -12 -12 -1234 -. -12 -1 -. -. -1 -. -123 -. -1 -. -12 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -12 -123 -. -1234 -. -. -. -.
% 121.23/121.24 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -12 -12 -123 -. -. -1 -12 -. -12 -. -1 -. -. -12 -123 -123 -1 -1234 -. -12 -1 -. -. -123 -1 -. -1 -123456 -. -1 -1 -1 -1234 -. -12345 -1 -12 -. -123456 -. -1234 -123 -12 -1234 -. -. -1 -12 -1 -12345 -1 -123 -123456 -123 -123 -12345 -. -123456 -. -123 -. -123 -12 -12345678 -1 -1 -1234567 -12345 -1234567 -1 -1 -. -. -1 -12 -1 -1 -. -. -. -. -123 -. -123 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -123 -. -. -1 -. -. -.
% 122.37/122.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -12 -12 -. -. -12 -. -. -1 -1 -1234 -. -. -. -1 -12 -. -12 -. -. -12 -. -1 -1 -. -1 -. -12 -. -. -123 -12 -12 -1 -123 -. -. -123456 -. -1 -12345 -123 -1 -123 -. -. -1 -1234 -123 -1 -. -1 -. -123456 -. -12 -. -1234 -1234567 -1234 -. -123 -1234 -1234 -12 -12 -1 -1234 -1234567 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1234 -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -123 -. -.
% 123.50/123.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -12 -12 -. -. -. -1 -1 -12 -. -. -. -12 -. -1 -. -. -. -1 -. -1 -. -. -1 -12 -1 -. -1 -. -. -12345 -12 -1234 -12 -1 -1 -12 -. -1 -12 -1 -1 -123456 -12 -. -. -12 -123 -. -123 -. -12 -. -1234 -123 -123 -1 -12 -12 -123 -. -1234567 -1 -. -12 -12 -123 -123 -12345 -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -1234 -. -1 -. -.
% 124.51/124.51 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -12 -12 -123 -. -. -123 -. -. -123 -. -123 -. -1 -12 -12 -12 -. -123 -. -123 -1 -. -. -1 -1234 -1 -1 -123 -1 -. -. -1234 -1 -1 -123 -12 -. -12 -. -12 -1 -. -1 -1234 -. -. -1 -12345 -1 -12345 -1 -1234 -12345 -1234567 -1 -123 -12 -123 -123 -123456 -. -12 -. -123456 -12345 -1 -1 -123 -123 -1234 -1 -1 -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -.
% 125.67/125.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -12 -. -. -. -1 -123 -1234 -1 -. -. -1 -123 -. -. -1 -. -. -12 -12 -1 -1 -12 -1 -12 -. -123 -. -1 -12 -123456 -12 -1 -. -12345 -. -1234 -123 -. -1 -12 -1 -1 -. -. -1 -123 -. -123456 -123 -123 -1 -12345 -1 -123456 -1 -1234 -1234 -1234567 -. -12 -. -123 -1 -. -123456 -1 -123 -1 -1 -. -. -1 -1 -12 -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -12 -. -. -.
% 126.65/126.65 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -12 -1234 -. -. -. -12 -. -123 -. -12 -12 -. -. -. -. -. -1 -12 -123 -1 -. -1 -12 -. -. -123456 -123 -123456 -123456 -12 -. -12 -1234 -1234 -12 -12 -123 -. -1234 -. -. -. -123 -. -12 -. -1 -. -12345 -12 -123 -12 -12345 -1234567 -12 -. -1234 -123 -1 -12 -. -12 -1 -1234 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -123 -12 -1 -. -. -.
% 127.81/127.84 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -12 -1 -. -. -1 -1 -. -. -. -12 -. -1234 -12 -123 -12 -. -. -. -12 -. -. -. -12 -1234 -. -1 -12 -123 -1 -123 -12 -1234 -12 -12 -12 -1 -123 -1 -12 -12 -1234 -1 -12 -. -. -. -12 -. -1234 -123 -12345678 -1234 -. -. -1 -1 -1 -123 -1234 -. -12 -1 -123 -1 -1 -12 -12 -12 -1 -12 -. -1 -. -. -. -. -. -. -. -12 -1 -1 -. -. -. -. -. -. -. -1 -. -1 -1 -.
% 129.07/129.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -12 -. -. -. -12 -1 -. -1 -. -12 -. -12 -. -. -. -1 -. -. -123 -. -. -12 -. -. -1 -123 -. -. -1 -1234 -12 -123 -1234 -. -12 -1 -1234 -1 -12 -12 -1 -1 -12 -. -. -. -12 -1 -123 -. -123 -12 -123 -12 -1234 -12 -12 -. -. -. -. -. -12 -12 -. -1 -1 -1 -1 -1 -. -123 -. -. -. -1 -. -1 -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -.
% 130.05/130.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -123 -12 -1 -. -. -12 -. -1 -1 -1 -. -. -1 -. -1 -. -. -12 -. -12 -. -. -1 -. -1 -. -1 -1 -12 -1 -. -1 -. -1234 -1 -12 -12 -. -1 -. -. -1 -123 -. -123 -1234 -123 -12 -12 -1234 -1 -12 -1 -1 -1 -. -1 -. -12 -. -123 -1234 -1234 -12 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -1 -. -12 -1 -.
% 131.02/131.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -1 -. -. -1 -12 -. -1 -. -1 -. -12 -123 -12 -. -1 -. -. -12 -. -. -. -123 -12 -123 -1 -1 -. -1 -123 -. -. -. -12345 -. -. -12345678 -1 -12 -12 -1 -. -12 -. -. -. -1 -. -123456 -1 -123 -12 -12345 -. -12 -1 -1 -12345 -1 -. -. -. -1 -12 -1 -12 -. -12 -. -12 -. -. -. -. -. -. -. -123 -. -. -. -. -1234 -1 -1 -.
% 131.99/131.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -12 -. -. -1 -. -. -1 -12 -. -1 -. -1 -. -. -1 -. -. -12 -. -. -12 -1 -. -. -12 -. -. -12 -1 -1 -12 -1 -. -12 -12 -. -1 -1 -1 -12 -1 -. -. -. -1 -. -1 -. -12 -1 -1 -. -1 -12 -1 -123 -1234 -. -12 -1 -. -1 -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -12 -1 -. -. -.
% 132.86/132.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -12 -. -1 -. -. -. -12 -123 -12 -12 -1 -123 -. -12 -123 -. -123 -. -123 -1 -1 -1 -. -1 -. -1 -1 -1 -12 -12 -1 -123 -1 -. -1 -12 -1 -1 -. -. -. -1 -. -12345 -1 -1 -1 -12345 -1 -1 -. -1 -1234 -123 -. -. -12 -12 -1 -1 -. -1234 -12 -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 133.86/133.84 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -1234 -123 -12 -. -123 -1 -1 -1 -123 -. -. -. -1 -1 -. -. -. -. -12 -1234 -. -12 -12 -1 -. -. -12 -. -. -. -1 -123 -123 -1 -. -. -. -1 -. -1 -. -. -12 -. -. -. -12345 -1 -12345 -1 -123 -123 -123 -1 -12 -1 -12345 -12 -12 -. -1 -1 -1 -1 -. -123 -. -123 -. -12 -. -. -. -. -. -12 -. -12 -. -1 -. -. -1 -1 -.
% 135.00/135.02 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -12 -12 -. -. -. -. -. -1 -. -. -. -. -123 -1 -. -. -. -. -. -. -. -. -1 -. -1 -123 -. -. -1 -1 -1 -12 -12 -12 -. -. -1234 -12 -1 -12 -123 -. -1 -. -. -. -1 -1 -123456 -. -1234 -12 -. -. -123 -1234 -1234 -123456 -1 -. -123 -1 -12 -. -. -12 -. -12 -1 -1 -. -1 -. -. -. -. -. -12 -. -. -12 -12 -. -123 -.
% 136.09/136.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -1 -. -. -1 -. -. -1 -. -. -. -12 -. -1 -. -. -12 -. -. -1 -. -. -1 -. -. -1 -. -. -. -12 -1 -1 -. -. -. -1 -12 -. -12 -1 -123 -1 -12 -. -. -. -1 -1 -123 -1 -. -. -1 -1 -1 -1 -1 -12 -1234 -. -12 -. -12 -. -1 -123 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -.
% 136.96/136.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -12 -1 -1 -. -. -. -. -1 -. -. -. -12 -1 -. -. -. -. -1 -123 -12 -. -123 -1 -. -1 -. -. -1 -. -12 -12 -. -. -. -1234 -. -123456 -12 -1 -123 -123 -. -1 -. -12 -12 -12 -. -1 -. -12 -1 -12 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -12 -12 -. -.
% 137.85/137.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -. -1 -. -. -. -1 -1 -1 -. -. -. -. -12 -. -. -. -1 -. -12 -. -. -. -12 -123 -. -12 -. -. -. -12 -1 -1 -12 -. -1 -. -1 -12 -. -12 -. -123 -. -. -. -. -12 -1 -123 -. -12 -12 -. -. -123 -1 -. -1 -1 -. -. -. -1 -. -. -. -. -12 -. -. -. -12 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -.
% 138.70/138.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -. -. -. -1 -. -. -. -12 -. -1234 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -1 -1 -12 -. -1 -1 -1234 -. -. -1 -1 -1 -. -. -. -. -. -. -123 -. -1 -. -12345 -123 -12 -1 -1 -. -12 -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -12 -. -. -. -1 -. -. -. -. -.
% 139.61/139.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -12 -12 -. -. -. -1 -1 -12 -. -1 -. -1 -12 -1 -. -. -. -. -1 -1 -. -1 -12 -. -. -. -. -. -. -1 -12 -12 -123 -1 -1 -. -12 -1 -. -. -. -1 -1 -. -. -. -123 -. -1234 -1 -12 -12 -12 -. -1 -. -. -. -123456 -. -. -1 -1 -123 -1 -1 -. -1 -123 -123 -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -.
% 140.46/140.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -12 -. -12 -. -1 -1 -1 -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -1 -123 -. -12 -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -123 -. -12 -. -. -. -. -. -123 -1 -12 -. -. -. -. -1 -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -.
% 141.34/141.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -1 -1 -. -. -. -1 -1 -. -1 -. -. -1 -1 -. -. -. -. -. -12 -1 -. -. -12 -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -1 -12 -. -. -. -1 -. -. -. -. -1 -. -123 -. -123 -12 -12 -. -. -1 -. -1 -12 -. -. -. -. -. -. -. -12 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -.
% 142.25/142.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -1 -12 -1 -1 -. -. -. -. -1 -1234 -123 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -1 -1 -1 -. -. -1 -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -123 -. -12 -.
% 143.08/143.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -12 -. -. -. -. -. -1234 -1 -. -. -. -. -. -. -1234 -. -123 -1 -. -. -. -. -. -1 -123 -12 -. -12 -. -. -1 -12345 -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -12 -12 -12 -12 -. -. -. -12345 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -.
% 144.02/143.99 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -1 -. -. -. -. -1 -1 -12 -1 -1 -1 -. -1 -. -. -. -1 -. -. -. -12 -. -1 -. -12 -123 -1234 -1 -123 -1 -1 -. -1 -. -1 -. -. -. -. -. -. -. -12 -12 -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -.
% 144.92/144.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -12 -. -. -. -1 -. -12 -12 -. -1 -12 -1 -1 -. -1 -. -. -1 -1 -1234 -. -. -. -. -12 -1 -. -. -. -1 -12 -. -. -1 -123 -1 -12 -12 -1 -1 -1 -. -123 -. -1 -. -. -. -. -. -. -12 -. -. -1 -1 -1 -1 -. -1 -. -. -. -1 -. -. -. -. -. -12 -1 -. -.
% 145.78/145.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -123 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -1 -1 -. -. -. -. -. -. -1234 -. -. -. -1234 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -1 -123 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -.
% 146.61/146.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -12 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1234 -1 -. -. -12 -. -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -1 -1 -123 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -.
% 147.49/147.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -12 -. -. -12 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -12 -12 -. -1 -1 -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -.
% 148.35/148.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -1 -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -12 -12 -12 -1 -. -12 -. -. -. -. -. -. -. -. -. -1 -. -123 -12 -123 -12 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -.
% 149.28/149.28 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 150.09/150.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 150.87/150.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 151.41/151.37 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 152.18/152.18 (SAT)(equ)(fun)(SAT) 205| -1 -. -1 -1 -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -12 -. -. -12 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -.
% 153.01/153.01 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -1 -. -. -. -12 -. -. -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -123 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -12 -12 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 153.91/153.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 154.83/154.78 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 155.58/155.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -12 -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -12 -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 156.50/156.47 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -123 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 157.32/157.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.11/158.13 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.98/158.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 159.70/159.72 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 160.53/160.47 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.22/161.22 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.71/161.66 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -1234 -. -123 -1234 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -. -. -. -. -. -. -. -. -. -. -123456789 -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -1234567 -. -. -. -. -.
% 162.82/162.77 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -12 -12 -. -. -123456789XL -. -123456789XL -. -. -123 -123456 -. -. -. -. -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 163.22/163.21 (SAT)(equ)(fun)(SAT) 205| -. -. -123456789X -123456789X -. -1 -. -. -123456789 -. -. -12 -. -12345 -. -. -123456789X -. -123456789X -. -. -. -. -. -. -123 -. -. -. -. -. -1 -. -. -. -1 -. -.
% 163.40/163.43 (SAT)(equ)(fun)(SAT) 205| -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -12345 -1234567 -. -. -1234 -. -12 -123456789 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 163.66/163.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -1 -. -. -. -. -. -. -123 -. -. -. -. -. -123456789 -. -1 -123 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 163.93/163.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -123 -123 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -123 -123456789 -. -. -. -. -. -. -. -. -. -. -. -.
% 164.11/164.09 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -.
% 164.32/164.27 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 164.53/164.49 (SAT)(equ)(fun)(SAT) 205+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -1234 -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 165.63/165.57 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -123 -. -123 -. -. -. -1 -. -1 -. -. -. -. -. -123456789X -. -1
% 165.78/165.73 (SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -123456789X -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 166.92/166.92 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -12 -12 -. -12345678 -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -12 -1 -. -1 -. -. -. -1 -. -123456 -. -. -. -. -1 -1 -. -. -. -. -. -.
% 167.24/167.20 (SAT)(equ)(fun)(SAT) 205| -. -. -1234 -1234 -. -12 -. -. -. -. -12 -. -. -1 -. -. -. -1 -. -. -1234 -. -. -. -1 -1 -. -. -1 -123456 -. -1234 -1 -1 -. -. -. -. -. -1 -. -.
% 167.49/167.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -123 -123 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -123 -1 -. -. -. -. -. -. -. -1234 -. -123456 -. -. -. -. -. -1234 -. -. -. -1 -1 -. -.
% 167.71/167.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -123 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -123 -12 -. -. -. -. -. -12345 -. -. -. -. -. -123456 -1 -. -12 -. -. -. -.
% 167.99/167.94 (SAT)(equ)(fun)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -123 -123 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -. -1 -. -. -. -. -. -. -. -1 -. -12 -1 -. -1 -1 -123456 -. -1 -123456 -1 -12 -. -.
% 168.42/168.40 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -12 -. -. -. -. -. -12345678 -. -12345 -. -.
% 168.65/168.61 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -12 -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1234 -. -1 -1 -. -. -. -. -123456789 -. -.
% 168.85/168.85 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -123 -123 -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -123456789X -. -. -. -. -1 -1 -1 -. -. -.
% 169.14/169.15 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1234567 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -12345678 -. -1 -12 -. -.
% 169.40/169.35 (SAT)(equ)(fun)(SAT) 205| -. -. -1234 -1234 -. -12 -. -. -. -1 -. -. -. -. -. -1234 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -1 -12345 -. -. -1234 -. -.
% 169.60/169.55 (SAT)(equ)(fun)(SAT) 205| -. -. -123456 -1234567 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1234567 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -123 -. -.
% 169.83/169.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -123456 -. -.
% 170.06/170.03 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -.
% 170.22/170.22 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.43/170.39 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -1 -1 -. -. -. -.
% 170.54/170.53 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 170.71/170.68 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -1 -. -. -.
% 170.84/170.82 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -. -.
% 171.01/170.96 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -.
% 171.15/171.08 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 171.30/171.26 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 171.45/171.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 171.66/171.62 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 172.77/172.73 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -.
% 173.14/173.09 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 173.22/173.23 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -.
% 173.42/173.39 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -.
% 173.52/173.53 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 173.73/173.67 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 173.84/173.79 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 174.00/173.94 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -.
% 174.14/174.11 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -.
% 174.32/174.26 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 174.44/174.41 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 174.60/174.53 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 174.74/174.69 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 174.92/174.87 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 175.09/175.05 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 175.22/175.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 175.32/175.30 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 175.45/175.43 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 175.60/175.56 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 175.75/175.69 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 175.89/175.83 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 176.02/175.97 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -.
% 176.15/176.11 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 176.31/176.23 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.42/177.37 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 177.55/177.50 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 177.72/177.65 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 177.81/177.76 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 177.94/177.90 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 178.04/178.03 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 178.22/178.16 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 178.36/178.28 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 178.43/178.40 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 178.54/178.52 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 178.73/178.65 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 178.86/178.79 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 178.96/178.90 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 179.10/179.03 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 179.16/179.16 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 179.33/179.29 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 179.48/179.41 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 179.54/179.55 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 179.71/179.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -.
% 179.85/179.83 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 181.04/180.96 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -.
% 181.22/181.16 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 181.33/181.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -.
% 181.45/181.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 181.65/181.58 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 181.77/181.70 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 181.89/181.82 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 182.02/181.94 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 182.15/182.06 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 182.26/182.20 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 182.41/182.33 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 182.50/182.47 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.74/182.66 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -.
% 182.88/182.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 183.03/183.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 183.18/183.14 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 183.35/183.30 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 183.48/183.43 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 183.59/183.55 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 183.74/183.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 183.85/183.82 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 183.96/183.94 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.14/184.12 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.36/184.32 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 184.56/184.49 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 185.68/185.61 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 185.87/185.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 186.05/185.97 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 186.19/186.12 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 186.33/186.24 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 186.42/186.36 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 186.56/186.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 186.65/186.62 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 186.84/186.76 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 186.95/186.88 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 187.09/187.01 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 187.22/187.15 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 187.37/187.28 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 187.44/187.40 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 187.57/187.54 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 187.76/187.67 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 187.87/187.80 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 188.02/187.93 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 188.13/188.07 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -. -.
% 188.27/188.24 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 188.45/188.36 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 188.64/188.55 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 188.75/188.71 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -. -. -.
% 188.95/188.88 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 190.09/190.02 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 190.25/190.17 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 190.39/190.33 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -.
% 190.57/190.47 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 190.74/190.70 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 190.87/190.84 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 191.06/190.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 191.17/191.10 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 191.25/191.22 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 191.44/191.35 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 191.57/191.47 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 191.68/191.61 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 191.82/191.75 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.99/191.92 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 192.13/192.04 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 192.26/192.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -.
% 192.41/192.31 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 192.62/192.52 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 193.70/193.62 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 193.95/193.86 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 194.05/194.00 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 194.17/194.14 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 194.34/194.26 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 194.48/194.38 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 194.56/194.50 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 194.67/194.63 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 194.88/194.77 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 194.99/194.90 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 195.11/195.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 195.24/195.16 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 195.36/195.28 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 195.48/195.40 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 195.63/195.53 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 195.72/195.67 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 195.89/195.82 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 196.04/195.98 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 196.21/196.13 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 196.34/196.26 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 196.48/196.38 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 196.66/196.58 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -. -. -.
% 196.81/196.75 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 197.93/197.83 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -.
% 198.14/198.05 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 198.29/198.21 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 198.42/198.33 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 198.55/198.46 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 198.66/198.58 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 198.78/198.71 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 198.94/198.86 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 199.08/199.01 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 199.26/199.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 199.47/199.38 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -.
% 199.64/199.53 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -.
% 199.78/199.71 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -.
% 199.96/199.87 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -.
% 200.11/200.03 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 200.30/200.22 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 200.48/200.42 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 200.66/200.56 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 200.78/200.69 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 200.95/200.85 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 201.08/200.98 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 201.17/201.10 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 201.28/201.24 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 201.50/201.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 201.66/201.55 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 202.71/202.63 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 202.94/202.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 203.01/202.97 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 203.17/203.13 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 203.37/203.25 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.46/203.41 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 203.69/203.58 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -.
% 203.86/203.77 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 204.04/203.95 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 204.19/204.08 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 204.29/204.22 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 204.44/204.34 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 204.55/204.46 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 204.68/204.59 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 204.79/204.74 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 204.96/204.87 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 205.07/204.99 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 205.26/205.15 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 205.39/205.28 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 205.51/205.40 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 205.62/205.55 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 205.81/205.72 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 205.94/205.85 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 206.13/206.02 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.28/207.16 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 207.50/207.38 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 207.60/207.50 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 207.75/207.64 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 207.90/207.82 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 208.10/208.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -1 -. -.
% 208.27/208.19 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 208.38/208.32 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 208.56/208.44 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 208.70/208.58 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 208.85/208.73 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 209.00/208.88 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 209.12/209.01 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 209.25/209.14 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 209.32/209.26 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 209.45/209.39 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 209.62/209.54 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 209.77/209.67 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 209.92/209.82 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 210.07/209.95 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 210.17/210.09 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 210.30/210.21 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 210.56/210.43 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 210.69/210.60 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.87/211.74 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 212.01/211.95 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 212.16/212.07 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -.
% 212.31/212.20 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 212.47/212.37 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -. -. -.
% 212.62/212.53 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -.
% 212.85/212.75 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 213.05/212.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 213.22/213.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 213.33/213.24 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 213.47/213.38 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 213.60/213.51 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 213.69/213.63 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 213.89/213.78 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 213.99/213.92 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 214.10/214.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 214.29/214.17 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 214.38/214.31 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 214.60/214.46 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 214.71/214.60 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 214.83/214.72 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 214.99/214.91 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 215.25/215.13 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 215.43/215.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -.
% 215.61/215.55 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 215.78/215.71 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 215.93/215.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 216.06/215.98 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 216.23/216.12 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 216.38/216.25 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 216.47/216.38 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 216.64/216.52 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 216.77/216.68 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 216.96/216.85 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 217.11/216.97 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 217.19/217.10 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 217.37/217.24 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 218.40/218.35 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 218.69/218.55 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 218.82/218.70 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 218.97/218.84 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -.
% 219.14/219.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 219.34/219.21 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -.
% 219.48/219.38 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 219.71/219.57 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 219.86/219.72 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -1 -. -1 -. -. -.
% 219.93/219.85 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -1 -1 -. -. -. -.
% 220.08/219.99 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 220.30/220.17 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 220.38/220.29 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -.
% 220.53/220.43 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 220.70/220.60 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 220.90/220.77 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 221.00/220.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 221.12/220.99 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 221.22/221.12 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 221.36/221.23 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 221.48/221.34 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 221.58/221.46 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 221.71/221.58 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 221.79/221.69 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 222.79/222.67 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -.
% 222.94/222.85 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 223.07/222.97 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 223.16/223.09 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 223.37/223.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 223.54/223.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -.
% 223.69/223.55 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 223.78/223.68 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -.
% 223.93/223.81 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -.
% 224.08/223.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -1 -. -. -1 -1234 -.
% 224.31/224.18 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -12 -12 -. -.
% 224.66/224.52 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -12 -12 -. -. -. -. -. -. -. -12 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 224.96/224.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -.
% 225.29/225.18 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -12
% 225.40/225.33 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 225.59/225.51 (SAT)(equ)(fun)(SAT) 205| -12 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -.
% 225.76/225.65 (SAT)(equ)(fun)(SAT) 205| -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 225.94/225.81 (SAT)(equ)(fun)(SAT) 205| -12 -. -. -. -. -. -. -1 -. -. -.
% 226.07/225.94 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -. -1 -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.24/226.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.38/226.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 226.65/226.50 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.84/226.69 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -.
% 227.08/226.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -.
% 227.25/227.11 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 227.38/227.24 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 227.53/227.38 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 227.61/227.50 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 227.73/227.63 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 227.88/227.75 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 228.03/227.88 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 228.14/228.00 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 228.21/228.11 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 228.31/228.23 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 228.51/228.36 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 228.62/228.51 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 229.68/229.55 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 229.83/229.75 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 229.98/229.87 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 230.09/230.01 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 230.24/230.12 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 230.37/230.23 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 230.47/230.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 230.63/230.48 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 230.69/230.59 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 230.84/230.70 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 230.96/230.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 231.09/230.96 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 231.21/231.07 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 231.31/231.19 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 231.43/231.32 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 231.58/231.45 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 231.69/231.57 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 231.83/231.68 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 231.97/231.82 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 232.09/231.94 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 232.19/232.05 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.32/232.25 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 232.49/232.41 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 233.54/233.43 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 233.80/233.64 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 233.88/233.76 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 234.04/233.88 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 234.08/233.99 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 234.26/234.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -.
% 234.40/234.24 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 234.50/234.36 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 234.62/234.48 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 234.70/234.59 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 234.86/234.74 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 235.02/234.86 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 235.09/234.97 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 235.22/235.11 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 235.44/235.28 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 235.60/235.44 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 235.72/235.60 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 236.74/236.66 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 236.98/236.89 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 237.14/237.01 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 237.28/237.12 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 237.40/237.25 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 237.48/237.37 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 237.64/237.49 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 237.68/237.60 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 237.85/237.72 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 238.01/237.85 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 238.10/237.99 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 238.27/238.10 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 238.30/238.22 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 238.46/238.34 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 238.62/238.48 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 238.74/238.62 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 238.89/238.73 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 239.00/238.85 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 239.15/238.98 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 239.33/239.16 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 239.45/239.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 239.58/239.47 (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) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 242.73/242.56 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -.
% 243.13/242.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1
% 243.20/243.12 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 243.37/243.25 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 243.51/243.40 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 243.69/243.51 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 243.79/243.63 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 243.89/243.74 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 243.97/243.87 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 244.10/243.99 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 244.21/244.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 244.37/244.23 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 244.49/244.38 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 244.67/244.55 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -1 -. -.
% 244.81/244.68 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -. -.
% 244.97/244.82 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -.
% 245.11/244.96 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -1 -1 -. -.
% 245.27/245.10 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 245.39/245.23 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 245.50/245.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 245.64/245.49 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 245.73/245.60 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 245.85/245.75 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 247.01/246.84 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 247.19/247.02 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 247.29/247.15 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 247.37/247.27 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 247.49/247.38 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 247.61/247.50 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -.
% 247.78/247.64 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 247.90/247.79 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.08/247.94 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.21/248.09 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 248.38/248.22 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 248.51/248.34 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -.
% 248.61/248.48 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 248.80/248.64 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -.
% 248.96/248.79 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -1 -1 -. -. -.
% 249.10/248.93 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1
% 249.26/249.08 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 249.41/249.24 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 249.50/249.35 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 249.63/249.46 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 249.74/249.59 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 249.86/249.75 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 250.12/249.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 250.32/250.16 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 250.50/250.31 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 250.70/250.53 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 251.92/251.75 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 252.08/251.93 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 252.23/252.05 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -.
% 252.36/252.19 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 252.50/252.34 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 252.61/252.45 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 252.75/252.57 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 252.83/252.68 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 252.94/252.82 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 253.12/252.94 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 253.20/253.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 253.35/253.18 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 253.42/253.30 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 253.58/253.42 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -.
% 253.72/253.56 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 253.82/253.68 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 253.99/253.80 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 254.10/253.92 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 254.18/254.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 254.30/254.16 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 254.41/254.29 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 254.67/254.49 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -.
% 254.79/254.64 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 255.86/255.67 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 256.07/255.89 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 256.18/256.01 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -.
% 256.30/256.14 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 256.48/256.30 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 256.60/256.41 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 256.66/256.53 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 256.84/256.64 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 256.93/256.78 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 257.05/256.90 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 257.14/257.01 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 257.30/257.13 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 257.42/257.25 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 257.51/257.39 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -.
% 257.70/257.51 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 257.82/257.63 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 257.90/257.76 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 258.08/257.89 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 258.20/258.01 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 258.28/258.14 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -.
% 258.43/258.28 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.66/258.48 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 258.82/258.66 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 260.00/259.85 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 260.23/260.04 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 260.33/260.16 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 260.45/260.29 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 260.53/260.41 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 260.70/260.53 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 260.82/260.64 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 260.91/260.76 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 261.07/260.90 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 261.12/261.02 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 261.30/261.14 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 261.38/261.26 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 261.51/261.38 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 261.68/261.52 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 261.83/261.65 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 261.92/261.77 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 262.06/261.88 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 262.13/262.00 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 262.29/262.15 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 262.45/262.30 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 262.67/262.47 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 262.83/262.66 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -.
% 262.99/262.83 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 263.24/263.05 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 264.32/264.12 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 264.51/264.31 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 264.63/264.49 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 264.79/264.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1
% 265.09/264.90 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -1 -. -. -. -. -. -. -. -. -1
% 265.23/265.04 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1
% 265.39/265.20 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -.
% 265.53/265.34 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -1 -. -. -. -. -. -1
% 265.63/265.48 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 265.85/265.66 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1
% 266.04/265.86 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 266.22/266.05 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 266.39/266.23 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 266.65/266.46 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -.
% 266.88/266.68 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 267.93/267.74 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -1234 -. -. -. -. -. -1234 -1 -. -. -1 -12 -.
% 268.19/268.05 (SAT)(equ)(SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 205| -. -. -. -12 -. -. -. -12 -. -1 -. -. -12 -. -. -. -12 -. -. -.
% 268.59/268.39 (SAT)(equ)(fun)(SAT) 205| -12 -12 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -12 -.
% 268.73/268.55 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -12 -. -. -. -. -. -.
% 268.91/268.71 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -.
% 269.03/268.87 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -1
% 269.26/269.07 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 269.48/269.28 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 269.56/269.39 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 269.68/269.51 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 269.85/269.65 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 269.97/269.77 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 270.10/269.89 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 270.16/270.01 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 270.28/270.14 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -.
% 270.45/270.26 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.60/270.43 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.75/270.60 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -1 -. -. -1
% 270.92/270.75 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -1 -. -. -. -. -. -1
% 271.03/270.88 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1
% 271.20/271.03 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 271.33/271.19 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1
% 271.51/271.37 (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| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 273.82/273.62 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 274.01/273.84 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 274.16/273.96 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -.
% 274.25/274.09 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 274.44/274.25 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 274.61/274.41 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 274.74/274.58 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 274.85/274.70 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 275.01/274.85 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 275.13/274.99 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 275.31/275.10 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 275.44/275.23 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 275.54/275.35 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 275.69/275.49 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 275.75/275.61 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 275.91/275.73 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -.
% 276.07/275.86 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 276.19/276.01 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 276.34/276.14 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 276.44/276.25 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 276.58/276.37 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -.
% 276.72/276.52 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 276.86/276.65 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 277.93/277.74 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 278.14/277.93 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 278.25/278.06 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 278.41/278.20 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 278.53/278.37 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 278.71/278.55 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -.
% 278.85/278.72 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 279.08/278.90 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -.
% 279.25/279.06 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -.
% 279.41/279.22 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 279.60/279.38 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 279.69/279.52 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 279.85/279.64 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 279.98/279.76 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -. -. -.
% 280.08/279.89 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 280.18/280.01 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 280.36/280.15 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -.
% 280.50/280.28 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 280.66/280.44 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 280.82/280.60 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 281.82/281.66 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 282.03/281.86 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 282.12/281.97 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 282.26/282.11 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 282.41/282.23 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 282.55/282.34 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 282.65/282.47 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 282.80/282.60 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 282.87/282.71 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 283.06/282.84 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 283.17/282.97 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 283.29/283.08 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 283.40/283.24 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -.
% 283.59/283.39 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -.
% 283.77/283.55 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 283.90/283.75 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -.
% 284.07/283.91 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -.
% 284.28/284.06 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -.
% 284.37/284.21 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 284.63/284.41 (SAT)(equ)(fun)(SAT) 205| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 284.82/284.61 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -. -.
% 284.95/284.74 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 285.06/284.86 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 285.22/285.06 (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)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 288.74/288.56 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 288.92/288.75 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 289.06/288.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 289.23/289.04 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 289.37/289.20 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 289.60/289.37 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -.
% 289.77/289.56 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 289.96/289.72 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 290.07/289.85 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 290.20/289.97 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 290.29/290.11 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 290.39/290.23 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 290.59/290.37 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 290.71/290.50 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 290.88/290.64 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 290.97/290.76 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -.
% 291.10/290.89 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.27/291.06 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.46/291.29 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.75/291.53 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 291.87/291.66 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 291.95/291.78 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 292.15/291.93 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 292.25/292.05 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.35/293.14 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 293.51/293.35 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -.
% 293.69/293.47 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 293.79/293.59 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -.
% 293.92/293.71 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 294.04/293.85 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 294.20/293.97 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 294.28/294.09 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 294.42/294.21 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 294.58/294.34 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 294.66/294.47 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 294.82/294.60 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 294.94/294.73 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 295.02/294.86 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -.
% 295.16/294.99 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 295.34/295.11 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 295.43/295.25 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 295.55/295.37 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -.
% 295.65/295.49 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -.
% 295.84/295.60 (SAT)(equ)(SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 296.92/296.76 (SAT)(equ)(fun)(SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 297.20/296.96 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -. -.
% 297.30/297.08 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -1 -. -. -. -. -. -. -.
% 297.39/297.21 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 297.61/297.39 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 297.79/297.55 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 297.93/297.75 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 298.09/297.92 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -1 -. -. -. -.
% 298.24/298.04 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 298.37/298.17 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 298.52/298.29 (SAT)(equ)(fun)(SAT) 205| -1 -1 -. -. -. -. -. -. -.
% 298.67/298.43 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 298.77/298.56 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 298.93/298.69 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 299.05/298.83 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -. -.
% 299.14/298.96 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -. -. -. -. -.
% 299.23/299.08 (SAT)(equ)(fun)(SAT) 205| -. -. -1 -. -. -.
% 299.37/299.22 (SAT)(equ)(fun)(SAT) 205| -1 -. -. -. -.
% 299.56/299.36 (SAT)(equ)(fun)(SAT) 205| -. -1 -. -. -. -. -. -.
% 299.72/299.49 (SAT)(equ)(fun)(SAT) 205| -. -. -. -1 -. -. -. -.
% 299.86/299.62 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 300.01/299.77 (SAT)(equ)
%------------------------------------------------------------------------------