TSTP Solution File: SWV423-1.150 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV423-1.150 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n024.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Wed Jul 20 17:59:13 EDT 2022
% Result : Timeout 285.82s 285.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWV423-1.150 : TPTP v8.1.0. Released v3.5.0.
% 0.07/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.34 % Computer : n024.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Thu Jun 16 00:12:33 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.13/0.34 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.13/0.34 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.40/0.63 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.52/0.73 #elt|#instances
% 0.59/0.75 (SAT)(equ)(fun)(SAT) 195| -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -1 -. -1 -. -. -. -1 -. -1 -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -1 -1 -1 -. -. -1 -1 -1 -1 -1 -1 -1 -1 -1 -. -. -1 -1 -1 -1 -. -. -. -1 -. -1 -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 2.19/2.39 (SAT)(equ)(fun)(SAT) 195| -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.27/2.51 (SAT)(equ)(fun)(SAT) 195| -.
% 2.36/2.55 (SAT)(equ)(fun)(SAT) 195+ -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 6.90/7.09 (SAT)(equ)(fun)(SAT) 195| -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -. -123456789XL -. -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -. -. -123456789XL -. -123456789XL -. -123456789XL -123456789XL -123456789XL -123456789XL -. -123456789XL -. -123456789XL -. -. -. -123456789XL -. -123456789XL -. -123456789XL -. -. -123456789XL -. -123456789XL -123456789XL -123456789XL -. -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -. -123456789XL -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.37/9.58 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.13/12.35 (SAT)(equ)(fun)(SAT) 195+ -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -123456789XLC> -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -123456789XLC> -. -123456789XLC> -. -. -. -123456789XLC> -. -1 -. -. -. -. -. -1 -. -. -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -123456789XLC> -. -. -. -123456789XLC> -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 19.04/19.23 (SAT)(equ)(fun)(SAT) 195| -. -123456789XL -123456789X -123456789XL -. -123456789XL -. -123456789XL -123456789XL -123456789XL -123456789XL -. -123456789XLC> -. -. -123456789XLC> -. -. -123456789XL -123456789XLC> -. -123456789XL -. -. -123456789XL -. -123456789XL -123456789XL -123456789XL -. -. -123456789XL -. -. -123456789XL -. -. -123456789XL -. -. -123456789XL -123456789XL -123456789XL -123456789XL -. -123456789XLC> -. -123456789XLC> -. -. -. -. -123456789XL -. -. -. -123456789XL -. -123456789XL -. -123 -. -. -. -. -123456789XL -123456789X -. -. -123456789XL -123456789XL -. -123456789XL -. -. -123456789XL -. -123456789XL -123456789XL -123456789XL -123456789XL -. -123456789XL -123456789XL -. -. -. -123456789XL -. -. -123456789XL -. -. -123456789XL -. -. -123456789XL -. -. -. -. -. -. -. -. -123456789XLC> -. -. -1 -123456789XLC> -. -. -. -123456789XLC> -. -123456789XLC> -. -1 -. -. -. -123456789XLC> -. -. -. -. -. -123456789XLC -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -1 -1 -1 -. -. -1 -. -1 -. -. -. -1
% 22.63/22.85 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -123456789X -. -. -. -. -. -. -. -. -. -123456789XL -1 -. -123456789XL -123456789XLC> -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -123456789XL -. -. -. -123456789XL -. -123456789XL -. -. -. -. -. -123456789XL -. -. -1 -. -1 -123456789XL -1 -. -. -. -1 -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 25.92/26.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -1234 -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -12345678 -123456789XL -12345678 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -12345678 -123456789X -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 28.56/28.76 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.69/30.94 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.52/32.72 (SAT)(equ)(fun)(SAT) 195+ -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -1234 -. -. -. -. -. -. -. -. -. -123456789XLC> -1234 -. -. -. -. -. -. -. -. -. -1 -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -1 -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -1 -123456789XLC> -. -. -. -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123456789XLC> -123456789XLC> -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -123 -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123456789XLC> -. -. -. -. -. -123456789XL -. -. -. -1 -123456789XLC> -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.17/41.34 (SAT)(equ)(fun)(SAT) 195| -. -123456789XL -. -. -1234 -. -123456789XL -. -1234567 -. -. -123456789XL -. -. -. -123456789XL -123456789XL -123456789XL -. -. -123456789XL -. -123456 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789X -123456789X -. -. -. -. -123456789X -123456789X -. -. -. -. -123456789X -123456789X -123456789X -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -123456789X -. -. -. -123456789XL -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -123456789X -123456789X -. -. -. -123456789XL -123456789X -. -. -. -. -. -. -. -123456789XL -. -123456789X -123456789X -1234567 -. -. -. -. -123456789XL -. -. -. -. -123456789XL -. -. -. -. -. -. -123456789XL -. -123 -. -. -. -. -123456789XL -123456789XLC -. -. -123456789XL -123456789XL -. -. -. -1 -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -123456789X -123456789X -. -. -. -123456789 -123456789 -123456789 -. -. -. -. -123456789XL -. -123456789XLC -. -. -. -. -. -. -. -. -123456789XL -123456789X -. -. -. -. -12345 -12345 -12345 -12345 -12345 -. -123456789XLC> -. -. -. -12345 -12345 -12345 -12345 -12345 -. -123456789XLC> -. -. -. -. -. -123456 -123456 -123456 -123456 -123456 -. -. -. -. -. -. -123456789XL -123456789XL -. -123456789XL -. -. -. -. -. -123456789XLC -. -. -. -123456789XL -. -123456789XL -. -. -. -. -123456789XL -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 43.79/43.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -123456789XLC -. -123456789XLC -. -1 -. -. -. -. -. -. -. -. -. -123456789X -. -. -123456789XL -. -123456789X -. -. -123456789X -. -. -. -. -123456789X -. -123456789XL -. -. -. -. -. -. -. -123456789X -123456789X -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -. -123456789X -. -. -. -. -. -. -1 -1 -. -. -123456789XL -123456789XL -. -. -. -. -. -. -123456789X -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -123456789XLC -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -1 -1 -1 -. -1 -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -123456789XL -. -. -1 -. -. -123456789XL -123456789X -. -. -123456789X -. -123456789X -. -. -. -. -123456789X -. -. -. -. -123456 -1 -. -. -. -. -. -. -. -. -. -12 -123456 -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.84/47.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -123456789XL -. -123456789XL -. -1234567 -. -. -. -123456789X -. -. -. -. -123456789X -. -. -. -. -123456789X -. -. -123456789X -. -123456789X -. -. -123456789X -. -123456789XL -. -. -12 -12 -. -. -. -123456789X -123456789X -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -123456789XL -. -1 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -12345678 -123456789 -. -. -. -. -. -. -123 -. -. -123456789XL -123456789XL -. -. -. -123456789 -. -. -123456789XL -. -123456789XL -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -1234 -. -. -. -. -. -. -123456789X -. -. -. -1 -. -. -123 -. -. -123456 -123456789XL -. -. -123 -. -. -. -. -. -. -. -. -. -1234 -. -123456789XL -1 -. -. -. -. -. -. -. -. -. -. -123456789 -. -. -. -12 -123456789XL -. -. -1 -123456789XL -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.40/49.60 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -12345678 -. -123456789XL -123 -. -. -. -. -12345 -. -. -12 -. -123456789X -. -. -123 -. -123456789X -. -. -1234 -1234 -. -. -. -123456789X -. -. -1 -. -. -. -1234567 -. -. -12 -12 -. -123456 -. -. -. -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1234 -1234 -. -. -. -. -. -. -123456789X -. -. -123456789X -123456789X -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -123 -. -. -. -. -. -. -12345 -. -. -. -123456789X -. -. -. -. -. -. -123456789X -1 -. -. -. -12345 -. -. -123456789X -. -. -123456789X -1234 -. -. -. -1234 -123456 -. -. -. -123456789X -. -. -. -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.61/51.81 (SAT)(equ)(fun)(SAT) 195| -1 -. -1 -1 -. -. -123456789 -. -. -. -1 -. -. -. -. -12 -. -123456789X -. -. -1234 -. -1234567 -12 -. -123 -1234 -. -1 -. -123456789X -123 -. -. -. -. -. -1 -. -. -1234 -1 -. -1234 -. -. -. -123 -123456789 -12345 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -. -. -. -. -. -. -. -123456789 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -1234567 -123456 -. -. -. -123 -1 -. -. -. -123456789XL -. -. -12 -123 -. -. -. -. -. -. -123456 -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.80/54.01 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -12345678 -. -. -. -. -. -. -123456789X -. -. -123 -. -12345 -. -. -12345 -12345 -. -. -. -1234 -1 -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -1 -123456 -12 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -123456789X -123456789X -. -. -. -. -. -. -. -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -1 -. -. -. -12345 -. -. -1 -. -1 -123456 -12 -. -1 -. -12345 -. -. -. -. -123456789 -. -. -1 -1 -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 55.83/55.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -1 -. -. -12345 -12345 -. -. -. -. -1 -1 -. -1234567 -123456 -. -12 -. -123 -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -12 -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -12345678 -12345678 -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -123456 -. -. -1 -1 -. -. -. -12 -. -. -. -. -. -12 -1 -. -. -. -123456 -. -. -. -. -12345678 -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.86/58.06 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -1 -123 -. -. -1 -. -12 -. -. -1 -1 -. -1 -. -1234 -123 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -12345 -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -12345 -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1234567 -. -. -. -. -1 -12345 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.71/59.89 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -1 -. -12 -. -12 -123 -. -123 -12 -. -1 -. -1234 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1234 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1234 -. -. -. -1 -. -. -. -. -. -. -. -. -. -123456 -12 -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.69/61.87 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -1 -. -. -. -. -123 -. -123 -. -. -1 -. -1234 -1 -. -123 -. -. -. -. -. -. -. -1 -1 -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -1 -1 -. -. -12 -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.01/63.22 (SAT)(equ)(fun)(SAT) 195| -. -. -. -12 -. -. -1 -. -. -. -. -1 -. -. -1 -. -1234 -1 -. -. -. -. -. -. -. -. -1234 -1234 -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -. -. -. -1 -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 64.28/64.44 (SAT)(equ)(fun)(SAT) 195| -. -1 -. -. -1 -. -. -. -. -123 -123 -. -. -. -. -. -. -1 -. -. -. -. -. -. -123 -123 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -.
% 65.42/65.58 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -123 -12 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -.
% 66.60/66.75 (SAT)(equ)(fun)(SAT) 195| -12 -1 -. -1 -. -12 -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -.
% 67.27/67.44 (SAT)(equ)(fun)(SAT) 195| -12 -12 -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -123 -. -. -. -.
% 67.98/68.14 (SAT)(equ)(fun)(SAT) 195| -12 -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -.
% 68.71/68.88 (SAT)(equ)(fun)(SAT) 195| -12 -12 -. -. -. -. -1 -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1234 -. -. -. -.
% 69.39/69.60 (SAT)(equ)(fun)(SAT) 195| -1 -. -. -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -.
% 70.13/70.30 (SAT)(equ)(fun)(SAT) 195| -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -.
% 70.82/71.03 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 71.51/71.68 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 72.22/72.42 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 72.83/73.01 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 73.27/73.42 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 73.63/73.82 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 74.02/74.21 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 74.42/74.60 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 74.81/75.00 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 75.23/75.39 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 75.61/75.78 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 76.00/76.16 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 76.40/76.55 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 76.82/77.01 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 77.23/77.40 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 77.61/77.80 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 78.04/78.18 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 78.42/78.58 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 78.83/79.01 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 79.28/79.42 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 79.62/79.83 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 80.05/80.21 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 80.49/80.65 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 80.91/81.05 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 81.22/81.42 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 81.65/81.81 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 82.13/82.27 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 82.52/82.67 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 82.92/83.07 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 83.30/83.46 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 83.68/83.85 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 84.14/84.30 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 84.52/84.69 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 84.90/85.09 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 85.31/85.47 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 85.75/85.94 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 86.20/86.34 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 86.61/86.75 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 86.99/87.14 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 87.34/87.54 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 87.79/87.94 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 88.26/88.39 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 88.61/88.79 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 89.05/89.19 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 89.50/89.65 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 89.92/90.05 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 90.34/90.46 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 90.73/90.86 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 91.13/91.26 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 91.57/91.71 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 91.98/92.12 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 92.35/92.53 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 92.83/92.98 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 93.21/93.37 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 93.60/93.76 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 94.05/94.21 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 94.52/94.64 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 94.87/95.04 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 95.28/95.44 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 95.76/95.88 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 96.14/96.28 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 96.56/96.68 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 97.02/97.14 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 97.43/97.56 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 97.82/97.96 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 98.24/98.36 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 98.64/98.82 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 99.13/99.26 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 99.56/99.70 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 99.96/100.12 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 100.42/100.54 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 100.81/100.95 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 101.24/101.35 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 101.60/101.75 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 102.08/102.22 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 102.50/102.65 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 102.92/103.06 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 103.32/103.47 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 103.83/103.94 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 104.17/104.34 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 104.64/104.75 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 105.08/105.21 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 105.51/105.62 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 105.87/106.03 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 106.35/106.51 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 106.82/106.94 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 107.25/107.36 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 107.65/107.77 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 108.03/108.18 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 108.50/108.62 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 108.87/109.03 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 109.36/109.51 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 109.83/109.96 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 110.27/110.38 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 110.64/110.80 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 111.10/111.22 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 111.56/111.69 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 112.01/112.12 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 112.44/112.55 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 112.88/113.02 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 113.34/113.46 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 113.76/113.89 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 114.19/114.32 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 114.56/114.74 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 115.11/115.21 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 115.44/115.64 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 115.92/116.07 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 116.46/116.55 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 116.86/116.98 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 117.29/117.41 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 117.76/117.91 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 118.21/118.34 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 118.64/118.78 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 119.08/119.21 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 119.55/119.70 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 119.98/120.14 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 120.47/120.57 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 120.85/121.00 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 121.37/121.47 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 121.82/121.91 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 122.25/122.41 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 122.72/122.85 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 123.18/123.29 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 123.58/123.72 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 124.06/124.14 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 124.52/124.63 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 124.96/125.08 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 125.35/125.52 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 125.82/125.96 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -1 -. -. -. -.
% 126.36/126.44 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -. -1 -. -. -. -.
% 126.79/126.88 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -.
% 127.34/127.44 (SAT)(equ)(fun)(SAT) 195+ -. -. -. -. -123456789X -123456789XLC -123456789XL -12 -. -. -. -. -. -. -. -123456789XL -123456789XL -123456789XL -. -. -. -. -. -. -. -. -123 -123456789XLC> -123456789X -. -. -. -1 -. -. -. -. -. -123 -123456789XLC> -123456789XLC> -123456789XLC> -123456789XLC> -12345 -1 -. -. -. -. -. -. -123456789XL -123456789XL -123456789XL -12 -. -. -. -. -. -. -. -. -. -. -. -123456789 -1234567 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -1 -. -123456789XL -123456789XL -. -. -. -. -. -. -. -123456789XLC> -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -123456789XLC> -123456789X -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -12345678 -123456789XLC> -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -12345678 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -12345 -. -. -. -. -. -. -. -. -1234 -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123 -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -. -12 -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -1 -. -. -1 -. -. -. -1234 -123 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -123456 -123456789 -123456789XL -123456789X -123456789XL -123456789XL -123456789X -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -123456789X -1234567 -123456789XL -123456789XL -1 -123456789XL -123456789XL -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -12 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -123456789XLC -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XL -123456789XL -. -1 -. -1 -. -. -1 -1 -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789X -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XL -123456789XLC -123456789X -123456789XLC> -. -. -. -. -. -. -. -. -. -. -12345678 -1234567 -123 -12 -. -. -. -. -. -123456789XLC> -123456789XLC -123456789XL -123456789XL -123456789X -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.57/135.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -1234567 -. -1234 -1 -12 -123 -123456789 -12345 -. -123456 -. -. -. -123 -1 -12 -. -12 -. -123456789X -. -. -. -. -123456789XL -12 -. -. -. -12345 -. -1 -. -12 -. -123 -1 -123 -12 -123456789XL -123456789X -12345 -. -. -. -. -1234 -1 -123456789 -123456789X -123456789X -. -123 -. -1234 -12345 -. -12345 -. -123456 -1234567 -12 -123456789X -. -1234 -1234 -. -123 -. -. -. -. -. -. -1234 -123 -12345678 -. -123456789XL -123456789XL -1234 -12345 -1234 -. -123456789XL -1 -. -1234 -123456789XL -. -123456789XL -123456789XL -1234 -. -. -. -. -123456789 -12 -123456789X -1 -123456789X -123456789X -12 -. -1 -12345 -123456789XL -12 -. -. -123456789X -. -123456789X -1 -. -. -123456789XL -123456789XL -1 -1 -. -. -1 -123456789X -123456789XL -1 -. -123 -1 -. -1 -. -. -. -. -1234 -. -. -. -. -. -. -. -. -123456789XL -. -. -. -1 -1 -. -. -. -123456789XL -. -123456789XLC -123 -123456789XLC -123 -. -123456789XL -. -1 -. -1234 -. -. -. -. -123456789X -123456789X -. -12 -. -. -. -. -. -. -. -123456789XL -12 -. -1 -. -. -. -123456789XL -. -1234 -. -. -1 -1 -. -123456789XL -123456789XL -. -. -. -1234 -12 -12345 -. -1234567 -1234 -1234567 -1234567 -123 -. -1234567 -. -. -. -. -. -. -. -123456789XL -123456789XL -1 -. -1 -12345 -. -. -123456 -123456789X -. -123 -1 -1 -. -123 -12 -. -123 -123 -123 -123 -1 -1 -1 -12 -1 -1 -123456789X -123456789X -1 -12 -. -1 -. -. -. -123 -. -123456789X -123456789X -12345 -. -123 -. -. -123456789X -. -. -1234 -. -123456 -. -123 -123456789X -1234 -1 -123456789X -123456789XL -123456789XL -. -. -. -. -1 -1 -. -1 -. -1 -1 -. -1234567 -1234567 -. -. -. -. -. -. -1234567 -123456789X -12 -. -123456789X -. -123 -123456 -1234 -1 -12345 -1 -. -. -12 -123456789XL -123 -. -12 -123 -1 -1 -123 -12 -1234 -. -1 -123456789X -. -. -1 -12 -. -. -. -1 -. -123 -123 -. -. -1 -. -. -. -12 -1 -12 -1 -. -12 -. -. -. -1 -12345 -. -. -123456789XL -123456789X -1 -123 -. -12 -123 -12 -123 -123456789X -. -123 -. -12345 -. -. -. -1 -. -. -123 -. -. -123456789XL -1234 -12 -. -. -. -12345678 -. -1234 -123456789XL -1234 -. -12 -. -. -123 -1 -123456789 -123456789X -. -12 -. -123456789X -1 -1 -123456789X -12345678 -12345 -1234 -123456789X -. -. -. -1 -. -. -. -. -1234 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 140.26/140.35 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -1 -. -1 -. -123 -1234567 -12345678 -12345678 -1 -123456 -. -. -. -12 -1 -1234567 -123456 -1234567 -. -123456789X -. -. -. -. -. -. -12 -. -. -1 -. -. -1 -. -. -123 -1234 -123 -123 -123456789X -1234567 -1234567 -. -. -. -. -123456789X -. -123456789X -123456 -123 -. -123456789X -. -12345678 -12345 -. -1234 -. -123456789 -1234567 -1 -123456789 -. -123456 -1234 -. -1234 -. -12 -12 -. -12345 -. -1234 -12 -12 -123456 -123456789X -123456789X -12345678 -123456789X -123456 -. -12 -1 -1234 -123 -123456789XL -. -123456789XL -123456789XL -1234 -. -. -. -. -. -1234 -1234567 -123456 -123456789X -123456789XL -123456789 -123456789X -12 -12345 -123456789X -12345 -. -. -. -. -. -12 -. -. -. -. -1 -1 -. -. -1234 -. -. -1 -. -123456 -12345678 -. -. -. -. -1 -. -1 -. -12345 -12345 -. -. -. -. -. -. -. -. -1234 -12 -. -. -12 -12 -. -. -. -. -. -12 -. -123456789XL -. -123456789XL -. -1 -123456789X -1234 -. -1234 -. -123456789X -. -. -. -. -. -. -. -1 -. -12 -. -. -1 -. -. -. -1234 -. -12 -1234 -. -. -. -1 -1 -. -. -1234 -123 -1 -12345678 -123456 -. -. -. -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789X -123456 -1234 -123456789X -123456789XL -123456789XL -1 -. -123 -1234567 -. -. -123 -12345 -. -123456789X -123456 -12345 -123456789X -123456789X -123456789X -1 -123456789X -123456789X -123456789X -123456789X -. -. -. -. -. -. -123456789X -123456789X -. -. -. -12345678 -. -1 -123 -123 -. -1 -. -. -. -123456789X -. -12 -. -. -. -123456789X -. -. -. -12 -1 -1 -1 -123456789X -123456789X -123456789XL -123 -123 -1234 -12 -123 -. -1234 -1234 -1 -123456 -123456789X -123 -. -. -. -. -. -1 -123 -1 -1 -1234567 -. -. -. -. -. -. -12345 -12 -1 -. -1234567 -. -. -123 -1 -1 -. -12 -123456789 -123456 -. -. -123 -1 -. -. -. -1 -1 -. -. -. -. -123456789 -. -1234 -123 -123 -12345 -. -. -1 -. -. -1 -. -1 -12 -1 -1 -123456 -. -. -123456789X -123456789X -12 -. -123 -. -1234567 -123456789X -12 -123456789X -12 -123 -. -12 -. -12345 -1 -1 -. -. -12 -. -. -1 -. -123 -. -123 -12 -1234 -123456789XL -1 -1 -12 -. -12 -12345678 -1234 -. -1 -. -1234567 -123 -123456 -12345 -1234567 -123456789X -123 -12 -123456789X -. -123456 -123456789X -123456789X -12345678 -12345 -123456789X -1234 -. -. -. -. -1 -1 -. -. -123 -12 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.08/145.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -1 -. -1 -1 -123456 -123 -123456789X -123456 -1 -. -. -. -12 -1 -1 -. -1234 -12345 -. -12345 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -12 -1234 -1234 -12345 -1234 -123456789X -123456789X -1234567 -. -. -. -. -12345 -123 -123456789X -12345 -123456 -1 -123456 -. -12345 -1 -. -1234 -. -1234567 -12345678 -123 -123 -. -1234567 -12345 -. -1 -. -1234 -1234 -. -12345678 -. -123 -123456789X -1 -12 -123456789 -12345678 -1234567 -123456789 -1 -. -. -12 -12345 -1234 -123456789X -. -123456789 -123456789X -1234 -. -. -. -. -. -12345 -12345 -123 -123456789X -123456789X -123456 -123456789X -. -12345678 -12345 -12345678 -. -. -. -. -. -. -1 -. -. -. -12345 -1 -123 -1234 -. -. -. -. -. -. -12 -. -. -. -12345 -123456 -. -. -. -. -. -1 -. -1 -. -12 -. -. -. -123456789X -123456789X -. -. -. -12 -. -123 -. -. -12345678 -. -123456789 -. -123 -123 -1 -. -12 -. -123456 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -12345 -. -1 -. -. -. -. -. -. -1234 -12 -1 -123 -123 -. -. -. -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456 -12345 -123456789X -1234567 -12345678 -. -. -1 -12 -1 -. -. -123 -. -123456789X -12345678 -123456789X -12345 -123456789X -123456789X -. -123456789X -123456789X -123456789X -123456789X -12 -12 -123 -123456789X -1234567 -. -. -1 -12 -1 -. -12 -12 -. -. -. -. -. -12 -. -. -. -12 -. -123 -. -123 -. -. -12345 -12 -12 -123456789X -12345 -123456789X -123 -12 -12345 -1 -12345 -. -12345 -12345 -1 -12 -123456 -1234 -. -. -. -. -. -. -12 -. -. -1234 -. -. -. -. -. -. -1 -123 -1 -1 -1234 -. -. -. -. -. -. -. -1234567 -1234 -. -. -1234 -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -1234 -123 -12345 -12 -. -. -. -1 -12345 -12345 -123 -12 -1 -12345678 -123456 -. -. -12 -12345678 -123 -. -. -123456789 -1234 -123456789X -1 -1 -. -123456789X -. -1 -1 -12 -1234567 -12 -. -. -12 -. -. -. -. -123 -. -1 -12 -1 -123456789X -. -. -1234 -. -12 -12 -123456 -. -1234 -. -123456 -. -12345678 -123 -1 -123456789X -. -12 -1234 -. -123 -1234 -1234 -123456 -1234 -123456789X -1234 -1 -1 -12 -. -123456789XL -. -. -. -. -12 -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 149.66/149.72 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -1 -123 -123 -123 -123456789X -123 -. -123 -. -. -1234 -12 -12 -1 -1 -12 -. -123 -. -. -. -12 -1 -. -1 -. -12 -1 -. -12 -1234567 -12345 -123456 -12345678 -123456789X -123456789X -1 -. -. -123 -. -123 -123 -12345678 -123456 -123456789X -. -1234567 -. -12 -1234567 -. -12 -. -1234567 -12 -1 -123 -. -12 -12 -. -1 -. -12345678 -12345678 -. -1234 -. -12 -1 -. -123 -1234567 -12345 -1 -123456 -12 -. -1 -1234 -123456 -1 -123456 -. -123 -123 -. -. -. -. -. -. -. -123 -12345 -123456789X -1234 -12345 -12345678 -1 -123456789X -123 -123456789 -. -. -. -. -. -. -. -. -. -. -. -1234 -12 -. -. -. -. -. -. -123 -. -1 -. -123456789X -123456789X -. -1 -. -. -. -. -. -. -. -1234 -12345 -. -. -123456789X -123456789X -. -. -1 -. -1 -. -1 -. -1 -. -. -123 -. -123 -. -1234 -. -1 -. -. -. -. -. -1 -1 -. -. -1 -. -. -123 -1 -. -12 -. -12 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -123456 -1234567 -12345 -12 -12345678 -123456 -123456789 -12345678 -123 -1234 -1234567 -1 -12 -. -. -. -123 -. -. -1 -. -. -12345678 -12345 -1234 -. -12345678 -123456 -1 -12345678 -12345678 -12345678 -1234567 -12 -1 -12 -12 -12 -. -. -. -12 -. -. -1 -. -. -. -. -1 -. -12 -. -. -. -. -. -123 -. -. -. -. -12 -1 -1 -12345678 -123 -123 -. -. -. -. -. -. -. -. -12 -1234 -1 -12 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -12 -12345 -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1234 -. -12 -12 -1 -. -1 -1 -1 -. -. -1 -1 -12 -12 -. -12 -. -. -. -1234 -1234 -. -. -1 -. -. -12345 -. -1234 -1 -12 -. -1 -1 -1234567 -123456789X -1234 -. -. -1234 -1 -. -1 -. -1234 -. -. -. -. -12345 -. -1 -12 -. -. -123 -12 -. -1 -. -1234 -. -12345678 -12 -12 -123 -1 -. -1234 -. -1234 -. -1234 -1234 -12345678 -1234 -123 -. -. -1 -. -123456789X -1 -. -. -. -1 -. -12 -. -1234 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 154.13/154.23 (SAT)(equ)(fun)(SAT) 195| -. -. -. -12 -12 -12345 -12345 -1 -1 -123 -. -1 -. -12 -. -. -12 -1234 -. -. -. -. -. -12345 -1234 -1 -. -1 -. -. -1234 -1234 -123 -123 -12 -123456 -123456789X -1 -1 -. -. -. -12 -1234 -12345 -123 -123456789X -. -123 -. -12 -1234 -. -1 -. -1234 -1234 -. -1 -. -123 -123456789 -. -12 -. -12 -1 -. -123 -. -12 -1 -. -. -12345 -12345 -. -123 -1 -. -. -12 -. -. -1234 -. -. -. -. -. -. -. -. -. -. -123 -1 -123456789X -123456 -123456 -123456 -1234 -123456 -. -12345678 -. -. -. -. -. -12 -1 -. -1 -. -. -12 -. -1234 -. -1 -. -12345678 -12345 -1 -. -. -. -. -. -. -123 -1234567 -12 -. -123456789XL -123456789XL -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -123 -. -. -. -. -. -. -1 -123 -. -. -123 -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -123 -. -. -. -. -. -. -1234 -12 -. -12 -1234 -123 -1234 -1234 -1 -1234 -1234 -12 -1 -. -. -. -1 -. -. -. -. -. -12 -1 -. -. -1 -12 -1 -1 -12 -12 -12 -123 -1 -123 -12 -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -123 -. -. -. -. -. -. -12 -1 -. -1 -1 -1 -. -1 -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123 -. -123 -123 -12 -1 -12 -1 -. -. -. -1 -1 -. -. -1 -1 -12 -. -. -12345 -12 -. -123 -. -12 -. -123 -. -. -. -123 -. -1 -123 -123456 -123456789X -123456789X -. -. -12 -. -. -12345 -. -12 -123 -. -12 -123 -. -123 -12345 -1234 -. -. -. -1234 -1 -12345 -12 -. -1234 -. -. -123 -. -12 -1 -12 -. -123 -123 -. -12 -. -. -. -1234 -12345 -1 -. -. -123 -. -12 -12345 -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.27/158.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -12 -. -. -1 -12 -1 -123 -123 -. -1 -. -. -1 -1 -1 -. -. -123 -. -1 -. -. -12 -123 -12 -. -1 -. -12 -. -. -12 -1234 -1234 -1234 -12 -123 -1234567 -12 -1 -. -12 -. -12345 -12345 -1234 -1234 -123456789X -. -1234 -. -123 -1234 -. -. -. -1234 -123 -. -123 -. -123 -1 -. -12 -. -. -. -. -12 -. -. -. -. -1 -1234 -12 -12 -1 -. -. -. -. -. -. -. -. -1234 -12 -1 -. -. -. -. -12 -1 -1 -12 -. -1234 -1234567 -1 -. -12 -123 -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -123456 -123456 -. -. -. -. -. -. -. -1 -12345 -1 -. -123456789X -123456789X -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -12 -1 -1 -. -. -. -1 -1 -123 -1 -. -. -. -. -1 -1 -. -. -1 -12 -12 -1 -123 -123 -123 -123 -1 -1 -1 -12 -1234 -. -. -. -1 -. -. -. -. -. -12 -12 -12 -12 -123 -123 -. -123 -123 -123 -123 -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -12 -12 -1 -. -. -1 -. -. -1 -. -. -. -. -12 -. -1 -12 -. -1 -. -. -. -. -. -1234 -12 -1 -123 -1 -12345 -1234 -. -. -. -1234567 -. -. -. -12 -. -1 -. -123 -. -12 -. -. -. -123 -123456789X -12345678 -. -. -1 -. -. -1234 -. -12345 -12 -. -1 -12 -. -. -1 -12 -. -. -. -123 -. -123 -12 -123 -. -. -. -123 -. -1 -1 -1 -1 -. -12 -. -. -12 -1234 -. -12 -1 -1 -. -123 -1 -. -1 -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 162.41/162.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -. -12 -12 -1 -123 -123 -. -1 -. -. -1 -. -1 -. -12 -12 -. -. -. -. -. -123456 -1234 -1 -. -. -1 -. -. -123 -12 -12 -1 -1234 -1234 -1234 -12345 -123 -. -1 -. -12 -1 -12 -12345 -1234567 -. -123456 -. -1 -1 -. -123 -. -12 -12 -. -1 -. -12345 -123 -. -1 -. -1 -. -. -. -. -1 -. -. -. -123 -. -1 -12 -. -. -. -. -1 -1 -1 -. -123 -12 -. -1 -. -. -. -. -. -12 -12 -1234 -12 -12 -12345 -123 -123 -. -12 -. -. -. -. -. -1 -1 -. -12 -1 -1 -. -. -. -. -. -. -. -1 -. -1 -. -1234567 -1234567 -. -. -. -. -. -. -. -1 -12345678 -. -. -123456789X -123456789X -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -1 -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -1234 -1 -123 -12 -1234 -123 -1234 -123 -1 -12 -123 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -123 -123 -1 -. -. -. -. -. -1 -12 -1 -. -1 -12 -123 -. -. -1 -. -1 -. -. -1 -. -. -. -12 -. -1 -. -. -1 -123456 -123456789X -12345678 -. -. -. -. -. -1 -. -12345 -. -. -. -. -1 -. -1 -. -. -. -. -12 -. -. -. -12 -. -12 -. -1 -12 -. -. -. -. -12 -12345 -1 -. -12 -. -1 -. -. -. -1 -1 -. -. -. -12 -1 -. -12 -1 -1234567 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 166.68/166.71 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -12 -1234 -12 -12 -123 -12 -. -. -. -1 -12 -. -1 -12 -. -. -. -. -. -12345 -12345 -. -. -. -123 -. -. -1 -1 -12 -. -1 -12 -12345 -123 -123 -. -1 -. -123 -. -. -123 -123 -. -123 -. -. -. -. -1 -. -1 -1 -1 -12 -. -123 -. -. -1 -. -. -. -. -123 -. -1 -12 -1 -. -12 -12 -1 -1 -. -. -. -. -. -1 -. -. -12 -1 -1 -. -. -. -. -. -. -. -. -123 -12 -123 -123 -1 -. -. -12 -. -. -. -. -. -. -1 -. -. -. -1 -12 -1 -. -. -. -1 -. -. -1234 -. -12 -. -12345 -12345 -. -. -. -. -. -. -. -12345 -1234567 -. -. -123456789X -123456789X -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -1 -. -1 -. -1 -12 -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1234 -1234567 -123456789 -123 -. -. -1234 -. -. -12 -. -12 -. -. -. -. -. -. -. -12 -. -1 -12 -1 -. -1 -. -123 -. -12 -1 -. -. -. -1 -1 -. -1 -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -123 -. -. -12345 -. -1234567 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.56/170.64 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -1 -123456 -. -123 -. -. -1 -12 -12 -1 -1 -1 -. -. -. -. -. -123 -12 -1 -. -. -1234 -. -. -1234567 -123 -12 -1 -. -12 -12345 -1 -. -. -. -. -. -123 -1 -12 -1 -. -1 -. -. -12 -. -1 -. -1234 -12 -. -1 -. -. -. -. -12 -. -. -1 -. -1 -. -. -. -. -. -12 -1 -1 -. -. -. -. -1 -1 -12 -. -. -. -1 -. -. -. -. -. -1 -. -. -12 -. -12 -12 -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -1 -. -1234 -. -1 -. -123 -12 -. -. -. -. -. -. -. -1 -12 -. -. -123456789X -123456789X -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -12 -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -12 -1 -12 -1 -12 -. -. -. -. -. -. -. -. -12 -1 -12 -. -. -1 -. -1 -1 -. -. -. -1234 -12 -12345678 -12345678 -. -. -1 -1 -. -. -. -123 -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -123 -. -. -1 -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 174.57/174.63 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -1 -1 -12 -12345 -. -12 -. -. -. -1 -12 -. -1 -12 -1 -. -. -. -. -12 -. -1 -. -. -12 -. -. -1 -1 -1 -1 -. -123 -12 -12 -123456 -. -1 -. -123 -. -. -1 -1 -. -123 -. -1 -12 -. -1234 -. -123 -12 -. -1 -. -123 -12 -. -. -. -. -. -. -12 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -1 -. -. -1 -. -. -. -1 -1 -. -1 -. -1 -1 -. -. -. -. -1 -. -1 -. -. -. -1234567 -12345678 -. -. -. -. -. -. -. -123 -123456789 -. -. -123456789X -123456789 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -1 -. -1 -1 -123 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1234567 -12345 -1234 -. -. -12 -. -. -12 -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -12 -. -123 -. -. -1 -12 -. -1 -. -1 -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -123 -. -. -123 -. -123456789 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 178.58/178.61 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -1 -1 -1234 -123456 -. -. -. -. -12 -. -1 -. -1 -1 -. -. -. -. -1 -. -1 -. -. -. -12 -1 -. -123456789X -. -. -. -. -1 -123 -. -1 -. -1 -. -1 -123 -12 -12 -12 -. -. -. -12 -12 -. -12 -. -123 -1 -. -1 -. -1 -. -. -1 -. -. -123 -. -1 -. -1 -. -. -. -12 -12 -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -123 -12345 -. -. -. -. -. -. -. -. -123 -. -. -1234567 -123456 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -1 -. -1 -1 -1 -1 -1 -1 -. -. -1 -. -. -. -1 -. -. -1 -. -12 -. -1 -. -. -. -1 -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -1 -. -. -. -1 -12 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -123 -123 -1 -1234567 -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -123 -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.29/182.35 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -1 -12 -1234 -123 -12 -1 -. -. -1 -12 -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -1 -1234 -. -1 -. -12 -. -. -. -12 -. -. -. -1 -12 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -. -. -12 -123 -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -12 -. -. -. -. -1 -. -. -1 -1 -. -1 -1 -. -1 -. -. -12 -. -. -. -123456 -1234 -1 -. -. -. -. -. -. -12345 -123456789 -1 -. -1234 -123456 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -123 -. -. -1234 -. -. -. -1 -1 -. -. -1 -. -. -. -12 -1 -12 -12 -1 -1 -. -12 -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -1 -1 -1 -12 -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -1 -. -. -1 -123456 -1 -12345 -. -. -1234567 -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -12 -12 -. -12 -. -. -. -. -. -12 -. -. -. -1 -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -123 -. -. -12345 -. -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 186.24/186.26 (SAT)(equ)(fun)(SAT) 195| -. -. -. -12 -1 -. -1 -12 -1234 -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -1 -1 -1 -. -. -. -. -123456 -. -1 -. -1 -12 -1 -. -1 -. -1 -. -12 -12 -. -1 -. -. -. -. -1 -. -. -1 -. -. -1 -. -1 -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -1 -. -1 -1 -12 -. -1 -. -. -. -1 -. -. -12 -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -12 -. -. -12 -. -. -. -1234 -1234567 -. -. -. -. -. -. -. -123 -123456 -. -. -12 -12 -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -1 -12 -1 -. -. -1 -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -1234 -. -. -1 -. -. -1 -. -. -. -1 -1 -12345 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1234 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -1 -12 -. -. -. -1 -12 -. -. -. -. -. -. -. -1234 -. -. -12 -1 -123456 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.97/189.99 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -. -. -. -1 -123 -1 -. -. -1 -1 -. -. -. -1 -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -. -12 -. -12345 -. -. -. -12 -12 -12 -1 -. -. -1 -. -1 -1 -. -1 -. -1 -123 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -123 -123 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -12 -. -12345 -. -. -. -12345 -123456789 -. -. -. -12 -. -. -. -12345678 -12345678 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1234567 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -1 -12 -12 -12 -12 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -1234567 -12 -1 -12 -. -. -1234 -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -1 -. -. -. -. -123 -1 -. -. -. -1 -. -. -1 -1 -. -. -. -123 -. -. -. -. -. -. -. -. -12345 -1 -. -1234567 -. -1234567 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 193.96/193.99 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -123 -1 -. -1 -1 -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -12345678 -. -. -. -. -. -12 -. -1 -. -1 -. -1 -1 -1 -. -1 -. -1 -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -12 -123 -. -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1234 -. -. -. -123456 -1234 -1 -1 -. -1 -. -1 -. -12345 -1234 -1 -. -1 -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -1 -12 -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1234 -12 -. -1 -. -. -123 -1 -. -. -. -1 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1234567 -1 -. -123 -1 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 197.58/197.59 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -12 -. -. -. -123 -. -. -1234567 -. -1 -. -. -1 -1 -. -12 -. -. -. -. -12 -1 -12 -1 -. -1 -. -. -1 -. -1 -. -12 -12 -. -1 -. -1 -. -. -1 -. -. -. -. -1 -. -12 -1 -. -. -12 -12 -. -. -. -. -12 -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -12 -12 -1 -. -. -. -. -. -. -123 -123 -. -123 -. -. -. -1 -1 -. -. -. -1 -. -. -. -123 -1234 -1 -. -123 -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -12 -. -. -123 -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -123 -1234 -1 -12 -. -. -123 -1 -. -. -. -1 -1 -1 -. -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -1 -. -. -123 -1 -. -. -. -1 -. -123456 -123 -. -12345 -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 201.21/201.24 (SAT)(equ)(fun)(SAT) 195| -1 -. -. -. -1 -. -. -1 -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123456 -. -. -. -. -. -. -. -12345 -. -. -. -1 -1 -1 -. -1 -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1234 -123456 -. -. -1 -. -. -. -. -1234 -123 -. -. -12 -12345 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -1234 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -12 -123 -1 -123 -. -. -123456 -. -. -1 -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -1 -. -1234 -. -. -12345 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 204.82/204.82 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -1 -12 -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -1 -1 -. -1 -. -. -. -12 -. -. -. -1 -1 -1 -12 -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -123 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -123 -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -12 -1 -12 -. -. -1 -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -12 -123456 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 208.33/208.31 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -12 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -1 -123 -. -. -. -1 -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -. -. -. -123 -1 -. -. -. -. -. -. -. -12 -1234 -. -. -1 -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -1 -12 -12345 -1 -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.58/211.57 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -1 -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1234 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -. -. -1 -. -12 -. -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 214.67/214.70 (SAT)(equ)(fun)(SAT) 195| -1 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -. -. -. -1 -12 -. -12 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -12 -. -. -. -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -1 -. -. -12 -. -1 -. -1 -. -. -. -12 -12 -123 -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -1 -1 -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 218.01/217.99 (SAT)(equ)(fun)(SAT) 195| -1 -. -. -1 -12 -1 -1 -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -1 -12 -. -1 -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -1 -123 -1 -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -1 -. -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 221.42/221.38 (SAT)(equ)(fun)(SAT) 195| -. -. -1 -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1234 -1234 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -1 -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -12 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -. -12 -1 -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -1 -12 -1 -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 225.04/225.02 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -12 -12 -. -12 -. -. -. -. -1 -. -1 -. -1 -1 -. -. -123 -. -. -. -. -1 -. -. -. -123 -. -. -12 -. -12 -1 -. -1234 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -123 -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -12 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -12 -. -. -1 -. -. -12 -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 228.37/228.37 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -1 -12 -. -. -. -. -. -. -. -12 -. -1 -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 231.84/231.79 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -1 -12 -. -. -. -. -. -1 -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 235.21/235.16 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 238.13/238.07 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 240.75/240.70 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 243.15/243.11 (SAT)(equ)(fun)(SAT) 195| -. -1 -. -. -. -. -. -. -. -. -1 -12 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 244.23/244.16 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 245.14/245.12 (SAT)(equ)(fun)(SAT) 195| -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 246.08/246.04 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 247.12/247.07 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 247.85/247.78 (SAT)(equ)(fun)(SAT) 195| -1 -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.53/248.50 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 249.42/249.34 (SAT)(equ)(fun)(SAT) 195+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -123456789XL -123456789XL -. -. -. -. -. -123456789XL -123456789XLC -123456789XL -1234567 -123 -1234567 -12345 -12345 -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -1234 -. -. -. -. -1 -. -. -. -123456789X -123456789X -. -. -. -. -. -12345678 -. -. -. -. -. -123456789X -. -. -12345678 -123456 -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -1234 -1234 -. -. -. -. -. -123456789X -123456789X -123456789X -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789 -. -123456789XL -. -. -123456789XL -123456789XL -123456789XL -123456789X -123456789X -123456789X -1234 -1234567 -123456789X -. -1 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -123 -123 -. -. -. -. -. -123456 -123456789XL -123456789X -123456789X -123456789X -123456789XL -123456789 -12 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -123456789XLC> -123456789XL -123456789XL -12345678 -1 -. -12345 -123456 -123 -123 -. -. -. -. -. -. -. -. -. -. -123456 -. -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -123456789XL -123456789XL -. -. -. -. -1 -12 -1 -123 -12345678 -123456789X -1234 -12345 -12345 -. -. -. -. -. -. -. -. -. -. -. -12345 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XL -123456789XL -123456789XL -123456789XLC -123456789XL -123456789X -123456789XLC -123456789XLC> -123456789XLC> -123456789X -1234 -12345 -1234567 -12 -12 -12 -. -. -. -. -123 -12 -12 -12 -12 -12 -1 -12 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -12 -. -1 -. -12 -12 -12 -12 -123456789XL -123456789XL -123456789XL -123456789XL -123456789XLC -123456789XL -123456789X -123456789X -123456789X -. -. -. -123456 -123456 -1234 -123456 -123456 -12345 -. -12345 -123 -123 -123 -1234 -123 -12 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -1 -123 -. -. -. -123456789XL -123456789XL -. -. -. -. -1 -. -1 -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -12345 -1 -. -1 -. -. -123456789XLC -123456789XL -123456789XL -. -1 -12 -12 -. -. -12 -12 -1234567 -123456789X -123456789X -123456789X -123456789X -12 -123456 -123456789X -1234 -123 -123456 -1234 -1234 -1 -1234567 -1234567 -12 -1234 -123456 -1234 -1234 -123456 -12345 -12345 -1234 -1234 -. -. -. -. -. -. -. -. -. -. -12 -12 -123 -. -. -. -123456789X -123456789X -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -123456789XL -123456789XLC -123456789XL -123456789X -123456789 -123456789X -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -123456789XL -123456789XLC -123456789XL -12 -123 -1234 -1234 -. -. -. -. -. -. -1 -. -1 -12 -1 -12 -1 -1 -1 -. -. -12 -1 -1 -123456789XL -123456789XLC -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.15/258.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -. -. -1 -. -1234 -1234 -. -12 -. -. -12 -123 -. -1 -123456 -12345 -. -12345 -. -. -1 -. -1 -1 -12345 -123456 -1 -12 -. -. -. -. -1 -. -1 -1 -. -. -. -123 -123 -. -1 -. -1 -1 -1 -1 -. -. -1234 -. -1 -12 -. -123 -. -1234567 -1234 -. -1234 -. -1234567 -1234 -. -123456 -. -. -. -. -1234 -. -. -1 -. -. -123 -123 -1234567 -. -. -. -. -. -1 -123456 -123456789X -123456789XL -123456 -1 -12345678 -. -123 -123456789 -1234567 -123456789XL -123456789X -123456789XL -123456789X -123456789 -1234567 -1 -. -1234 -123456789XL -123456789XL -123456789X -1234 -1234 -. -. -. -123 -12 -1 -123456 -123 -123 -123456 -123456789X -123456789X -123456789X -12345 -12345 -123456 -. -12345 -123 -. -. -. -. -. -123456789X -123456789X -123456789X -. -. -. -. -1 -. -123456789X -123456789X -12345678 -. -. -. -. -. -1 -123456789X -123456789X -123456789X -12345678 -1234567 -. -123456789 -123456789X -. -123 -1234 -12 -123 -1 -. -12345 -12345 -1 -. -. -1234 -123 -. -123456789X -. -1234567 -123456789 -1 -123456789X -. -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -1234 -1234567 -123456789X -. -1 -123 -123456789X -123456789X -123 -123456 -1234 -123 -. -12345 -. -123456 -12 -123456789X -123456789X -123456789X -123456789X -123456789X -. -. -123456 -1234 -12 -12 -123456 -123456789X -1234567 -12345678 -123 -1234 -12 -123456789X -. -123 -. -1234567 -1 -1234 -1 -1234567 -12 -1 -123456789 -123 -123456789X -123456789 -1234567 -123456789X -12345 -1 -123456789X -123456789X -1234567 -123456789X -12 -. -12 -12345678 -12345678 -1 -. -. -123456789 -123 -1 -1 -123456789X -123 -12345 -1 -123456789XL -123456789X -1 -123 -. -123456789X -123456789 -123456789X -. -. -. -. -. -. -. -12345678 -12345 -1 -12 -. -. -. -12 -12345678 -123456789X -123 -12345678 -. -123456 -12345678 -12 -1 -12 -1234 -123456 -1234 -12345 -123456789X -123456789X -1234567 -123456 -. -. -1234 -. -12 -1234 -123 -123 -1234 -123 -1234 -12 -123 -1234 -1 -123456789X -123456789X -123456789XL -123456 -12345678 -1234567 -1234 -12345 -1234 -12345 -123 -12345 -123 -12345 -1234 -12345 -123456789 -123456789X -. -1 -1234 -123 -. -1 -1234 -1 -. -12 -12 -12 -12 -123 -1 -123 -12 -12 -12 -123 -1234 -1 -1 -1 -12 -12 -12345 -123 -12 -123456789X -123456789X -123456789X -123456789X -123456789X -12345678 -123456789X -123456789X -123456789X -12345 -123456789X -123456789 -123456789X -123456789X -1234567 -123456 -12 -1234 -1234567 -12345 -12345678 -123456789X -. -1 -123 -123 -. -1 -12345 -12 -. -. -. -. -. -. -. -123456789X -123456789X -1 -123 -. -. -. -. -123456789XL -123456789XL -12 -12 -. -. -. -. -123 -1234 -123 -123456789 -1234567 -1 -12345 -123456789X -12 -123456789X -123456789X -123456789X -123456789X -123456789X -12345678 -123456789X -123456789X -12345678 -123456 -123456789X -123456789X -123456789X -1234567 -1234567 -123456789X -123456 -123 -12345678 -12345 -1234567 -1234 -123456789X -1234567 -12345 -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -. -12345 -123 -123456 -. -12 -1 -. -. -1 -. -1 -1 -1 -. -123456789 -123456 -12 -1234 -. -1 -. -. -1 -12 -12 -123456 -1234567 -12345678 -123456789X -1234567 -12345 -123456789XL -123456789X -123456789X -123456789X -1 -. -12 -123456789XL -. -12 -. -12 -. -123 -1234567 -123456789X -1 -1 -123 -123 -1 -123456789XL -123456789XL -123456789X -123456789X -1 -. -. -123456789X -. -1 -12 -. -1 -12 -1 -1 -1 -. -123 -1234 -123 -1 -1 -. -12345 -123 -. -123456 -12 -. -1 -1 -1 -12 -1 -1234567 -. -. -1 -12 -12 -123456 -123 -1234 -. -123456789X -123456789X -. -12 -. -1 -1 -123456 -12 -123456789 -123 -. -1 -123456789X -12345 -123456789X -123456789 -. -123456789X -123456789X -123456789X -. -1234567 -. -123456789 -12345678 -123456789XL -. -12345 -. -12345 -. -123456 -123456789X -123456789 -123 -123456 -1234 -123456789X -. -123 -1234 -1234 -. -12 -. -12345678 -. -. -. -12 -123456 -1 -12345 -12345678 -. -123456789 -123456789X -123456789X -123456789X -12345678 -123456789X -123456789X -12345 -. -123456 -1 -123 -12 -123 -12345 -. -1234567 -. -123456789X -123456789X -123456789XL -12345 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 264.98/264.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -. -12 -. -1 -1234 -123 -123 -12 -. -. -12345 -1 -1 -. -123 -1 -1 -12 -. -. -123 -. -. -. -1234567 -123456 -123 -1 -. -1234 -. -. -1234 -1 -. -. -. -1 -1 -12 -12 -. -123456 -. -1 -1234 -12 -1 -12345 -. -12345 -. -1234 -12 -. -123456 -. -12 -12345 -1 -123456 -. -123 -. -. -1234 -. -12 -12 -. -123456789X -. -12 -. -1 -1 -123 -123 -12345 -12345 -. -. -. -. -1 -1234 -123456789X -123456789X -123456789 -1 -1234 -. -123456 -1234 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -1234 -. -1234 -123456789X -123456789X -1234 -123 -1234 -1234 -. -. -123456789 -1 -1234 -12345678 -1234 -1234 -123 -123456789XL -123456789X -1234 -123 -12 -1234 -. -123456789 -1234567 -12 -. -. -123456 -12345 -12345 -. -. -. -123456789X -. -12 -1234 -123456789X -123 -123 -. -123 -12345678 -1 -. -123456789X -123456789X -12 -12 -12345 -. -123 -1 -123 -. -. -. -12 -12 -. -12 -. -123456789X -123456789X -. -123456789X -. -1234 -12345 -1 -123456 -. -1234567 -123456 -12345 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -. -1 -1 -123456789X -123456789X -123 -1234 -123456789 -1 -. -12345 -1 -123456789X -123456789X -123456789X -123456789X -12345 -123 -12345 -. -. -1234567 -123 -12345 -1234 -123 -123456789X -123456 -12 -12345678 -123456789X -123 -1234567 -. -12 -. -12345 -. -1234567 -1 -123456789X -123 -123 -123456789X -12345678 -12 -123 -12 -123456789XL -123456789X -1234567 -123456789X -123456789X -123456 -123456789X -123 -123 -. -123456789X -12345678 -12 -. -1 -123456789X -12345 -. -123456789X -1 -12 -12345678 -1234567 -123456789X -123456789 -123456789X -123456789X -. -123456789X -1234 -123456789X -. -. -123 -. -. -1 -. -123 -123 -. -1 -. -. -. -. -1234567 -12345678 -. -1 -. -123456789X -123456789X -123 -1 -12 -12345 -12345678 -123456 -12345 -123456789X -123456789X -1234567 -123 -. -12 -. -. -1234 -1 -12 -12 -12 -12 -1 -12 -1234 -123 -. -123456789X -123456789X -123456789X -123456789 -12345678 -1234567 -1234 -123 -123 -1234 -1234 -12345 -. -1234 -1234 -123 -123456 -1234 -. -1 -123 -123456 -. -1 -1 -1234 -. -1 -. -1 -1 -. -1 -. -. -1 -. -1 -123 -12 -12 -123 -123 -12 -1 -12 -1 -123456789 -123456789X -123456789X -1234 -123456 -1234567 -123456789X -123456789X -123456789X -123456789 -12345 -1234567 -123456 -12345 -12345678 -123 -123456 -123 -1234 -1 -123456789X -123456789X -. -. -12345678 -1 -12 -123 -1234 -. -. -1 -. -. -. -. -12 -123456789X -123456789X -1 -12345 -. -123456789XL -123456789XL -1234 -1 -. -. -. -1 -12 -1 -123456 -12345 -123 -12345 -12345678 -1234 -123 -1234567 -123456789X -123456 -12345678 -1234 -12345678 -123456789 -1234567 -123456789X -123456789X -123456789X -12345678 -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789 -1234567 -123456789X -1234 -1234567 -123456789X -123456789 -123456789X -123456789X -123456789 -12345678 -123456789X -123456789X -. -123456789 -1234 -123456 -. -. -. -. -. -. -. -. -. -. -. -123456 -12345 -. -123456789X -. -12 -1 -12 -123 -1234 -12 -123 -1234 -12 -12 -123 -1 -123456789XL -12345678 -123456789XL -123456789XL -123 -. -1 -123456789X -. -12 -1 -1 -1 -1234 -123456 -1234 -1 -12 -1 -1 -. -123456789X -123456789X -123456789XL -123456789XL -123 -. -. -123456 -. -1 -. -. -. -. -. -. -. -. -. -. -123 -. -1 -1 -12 -12 -12 -12345 -1 -. -123 -12 -123 -123 -12 -123456 -. -. -12 -12 -. -123 -1234567 -123 -1 -123456789X -123456789X -1 -1 -. -1 -12 -123456 -. -123456789X -1234 -1 -12345 -123456 -12345 -123456789X -123456789X -. -1234567 -123456789X -12345 -12 -123456789 -. -123456789X -12345 -123456789X -1 -123 -. -123456 -. -123456789X -12 -1234 -123 -123456 -12 -1234567 -. -123 -1234 -123456789X -. -1234 -. -12345678 -. -12 -12345 -123 -1234 -123 -1234567 -123 -. -123456 -123456789X -1234567 -123456 -12345678 -123 -123456789X -123456 -. -1234 -1 -1 -12345 -12345678 -1234 -1234 -12345 -. -12345 -123456789 -12 -12345678 -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 271.76/271.68 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -. -123 -12345678 -123456 -123 -1 -. -. -123 -123456 -12 -1 -1234 -1 -. -. -. -. -. -. -. -. -123456 -12345 -1 -1234 -. -1234 -. -. -12345 -. -. -12 -. -12 -12 -. -. -. -1234 -. -1234 -12345 -123 -123 -12 -. -1234 -. -1 -1234 -. -123456 -. -1234567 -12345678 -. -123456789X -. -1234 -1234 -. -1234 -. -1234 -123456789X -. -123456789 -. -1 -123 -12 -1 -1234 -1234 -123456789X -12345 -. -. -1 -1 -1 -123 -123456789XL -123456789X -123456789X -123 -1234 -. -12 -1 -12345 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -1234 -12 -123 -123456789X -123456789XL -12345 -123456789X -1234 -1234567 -. -. -1234567 -12 -1234 -123 -1234 -1234567 -123456789X -123456789XL -123456789X -1234 -12345678 -12 -12 -. -123 -123 -12 -. -. -123456 -123456 -1234567 -. -. -. -123456789X -. -. -1234567 -12345678 -12345 -1234 -. -. -123456789X -1 -12 -123456789X -123456789X -1 -123 -123 -. -1234 -12345 -1234 -1 -. -1 -1234 -123 -. -. -. -123456789X -123456789 -. -12345 -. -1234567 -123456789 -. -1234 -. -1234567 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -. -. -1234 -123456789X -123456789X -12 -12 -123456789X -12345 -. -1234 -. -123 -123456 -123456789X -123456789X -12 -1234 -123456789 -. -12345678 -123456789 -1234567 -123456789 -12345 -123456789X -123456789 -12 -12345 -1234 -123456 -. -12 -. -1234567 -1 -123456 -1 -123456789X -. -12345678 -1 -12 -1234567 -12345 -. -1 -. -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -. -. -. -1 -12345 -1 -. -. -123456789X -1 -1 -12 -1 -12 -. -1234 -123456789X -123456789X -123456789X -123456789X -. -12345 -123 -1234 -. -. -. -. -. -. -1 -12 -12345 -1 -12 -. -. -. -1 -123456789 -123456789X -123 -1234 -. -123456789X -123456789X -123 -1234 -123456789X -123456789X -12 -12 -12 -12345678 -123456789X -12345 -. -1 -. -123456 -. -1 -1 -. -1 -1 -1 -1 -. -1 -1 -. -1234567 -1234 -123456789 -1234567 -123456 -123456789X -123456 -1234 -1234 -1234 -123 -123 -123 -1 -1 -12 -123456 -12345678 -. -1 -123 -123 -. -1 -12 -1 -. -1234 -123 -1234 -12 -1234 -1234 -12 -12 -12345 -12345 -12345 -123 -12 -. -12 -123 -1 -12 -123 -1 -123456789X -123456789X -123456789X -123456789X -1234567 -1234567 -1234567 -1234 -1234567 -12345678 -1234567 -1234 -1234 -12 -1234 -12 -12345 -1234 -12 -123 -12345678 -12345678 -. -1 -12345 -123 -1234 -12 -12345 -1 -. -123 -. -1 -1 -1 -1 -123456789XL -123456789X -1234 -123 -. -123456789XL -123456789XL -12345 -123 -. -1 -. -. -1 -123456 -12 -123 -1234 -1 -123 -1234 -123456 -123456789 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789 -123456789X -12 -1234567 -12345678 -123456789 -123456 -1234 -1234567 -1234567 -1234 -12345678 -123456789 -12345 -12345 -1234567 -123456 -12345678 -12345678 -12345678 -123456789X -123456789X -123456789X -123456789X -1 -123456789X -123456789X -123456789X -. -123 -12 -12 -. -. -. -1 -. -1 -. -. -123456789 -1234567 -12 -1 -. -1 -12 -123 -12 -12 -12345 -123 -. -123 -1 -. -123 -1234567 -12345 -123456789XL -123456789XL -12345 -1 -1234 -12345678 -. -. -1 -1 -1 -1 -1234 -1234 -12 -1 -1 -1 -12345 -123456789X -1234 -123456789XL -123456789XL -1234567 -. -12 -12345678 -. -12 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -123 -123 -12 -. -1 -1 -12 -123 -1234 -12 -. -. -12 -. -. -. -12 -1234 -1 -123456789 -123456789X -. -123 -. -1 -1234567 -12345 -. -123456789X -12345 -. -12345678 -123456789X -1234 -123456789X -123456789X -. -1 -123456789 -123 -12 -12345 -. -123456789X -1 -123456789X -. -123 -. -123 -. -123456 -12345 -12345 -1 -123456 -123456789X -123456789 -. -12345 -123456 -123456789X -1 -12345 -. -12345 -. -123 -1234 -1 -123 -123456789X -123456789 -123456789X -. -123456789X -12345678 -123456789X -1234567 -123456789X -12345678 -123 -12345678 -12345 -12345 -123456789X -123 -12345 -12345678 -123456789 -1234 -12 -. -1234 -123 -12345678 -123456 -1 -12345678 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 278.90/278.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -1 -. -. -1 -12 -1 -12345678 -123456789 -123 -12 -. -. -12 -1 -1 -. -123 -123 -. -. -. -. -1 -1 -. -1 -12345 -1234 -1 -1 -. -1234567 -. -. -1 -1 -. -1 -12 -1234 -1234 -1 -1 -. -123 -. -1 -12 -12 -1234567 -1234 -. -123 -. -123 -123456 -. -1234 -. -12 -12345 -1 -123 -. -123 -123 -. -123456789X -. -1234 -1234 -. -123456 -. -. -. -. -. -123456789X -123456789X -1234567 -123456789X -1 -. -1 -12 -. -12345 -123456789X -123456789X -12345678 -1234 -1234567 -. -12345 -1234 -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123 -1 -123 -123456789X -123456789X -12 -123456 -123 -123456 -. -. -123456789X -1 -1234 -123456 -12 -123456789 -12345678 -123456789XL -123456789X -1234 -12345 -1 -1 -. -1234 -123 -123 -. -. -123456789 -12345678 -12345678 -. -. -. -1234567 -. -. -12345678 -123456789X -1234 -1 -. -123 -123456789X -. -. -123456789X -123456789X -1 -1234 -123 -. -1234 -123 -12 -. -. -. -1234 -12345 -. -123 -. -123456789 -123456789X -. -1234 -. -12345 -123456 -. -12345678 -. -12345 -12345678 -123456 -123456 -123456 -123456 -123456789X -1234567 -123456789X -. -1 -12 -123456789XL -123456789XL -123 -12345 -123456789X -12345 -. -12345 -. -12345678 -12345678 -123456789X -123456789X -123456789X -1 -1234567 -. -123 -. -12 -1 -1 -. -123456789X -123456789X -123 -123456 -12345678 -12 -123456 -. -12345 -1 -123456789X -. -123456789X -. -1234 -. -12 -1234 -1 -1 -12 -12 -123456789X -123456789 -123456789 -123456789X -123456789X -123456789X -123456789XL -1234567 -123 -. -123456789 -12 -123 -. -1 -12345678 -1 -. -123 -123 -. -1 -123 -123456789X -123456789X -123456789XL -123456789X -. -123456789X -123 -1234 -. -. -12 -. -1 -. -. -1234567 -1234567 -. -. -. -1 -. -. -123456 -123456 -123 -12 -. -12345 -123456789 -123 -12 -123456789X -123456789X -123456789X -123456789 -1234567 -1234 -12345 -123 -1234 -1 -. -123 -. -. -. -. -. -. -. -. -. -. -. -1 -123 -1234 -1234567 -123456789X -12345678 -123456789 -123456 -12345 -1234567 -123 -12 -12 -12 -12 -123 -123 -123 -1234 -. -. -12 -12345678 -. -1 -12 -1 -. -1234 -1 -12 -12 -123 -123 -123 -1 -12 -12 -12 -1234 -12 -12 -1 -12345 -12345 -12345 -1234 -. -123456789X -123456789X -123456789X -123456789 -12345 -123456789X -123456 -123456789X -123456789X -123456789X -123456789 -1234567 -12345 -1 -123456 -123456 -12345 -12345678 -123456 -123 -12 -123 -. -. -12345 -1 -. -1 -1234 -1 -. -12 -. -1 -1 -. -. -123456789X -123456789XL -1 -123 -. -123456789X -123456789X -1234 -. -. -1 -. -. -1 -123 -1 -123456789 -1234 -1 -12 -123 -1 -12345678 -1234567 -123456789X -123456789X -1234 -1234567 -12 -123456789X -123456 -123456789 -123456789X -123456789X -12345678 -123456789X -123456789X -123456789X -1234 -1234567 -123456789X -123456789X -123456789 -12345678 -12 -123456789X -1234 -12345 -1234567 -12345 -12345678 -123456 -12345 -1234567 -123456789X -123456789X -. -12 -. -12 -. -. -1 -. -. -1 -1 -1 -12345678 -123456789 -1 -1 -. -123 -1 -1 -12 -12 -123 -12345 -123 -12345 -1 -1234 -12345 -123456789X -12345 -123456789X -123456789XL -12345678 -. -12345 -1234567 -. -123 -. -123 -1 -1 -12 -12 -1234 -123456 -123 -1234 -1234 -123456789 -12345 -123456789X -123456789X -12345678 -. -123 -12345678 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1234 -12 -12 -. -12 -1 -12345 -1 -12 -1234 -. -. -12 -12 -. -12 -12 -123 -. -123456789X -123456789X -. -123 -. -. -123456 -123 -. -123456789X -123 -. -123 -1234 -. -1234567 -123 -. -12 -123456789X -1234 -1 -123 -. -1234567 -1234567 -123456789X -. -12345 -. -1 -. -123456 -123 -123456 -. -123456789X -1234567 -123456789X -. -1234567 -12 -12345678 -. -12 -. -123456 -. -123 -123456789X -123456789X -12 -12345678 -1234567 -12 -. -1234567 -123 -123456789 -12345678 -12345 -12 -12345 -123456789X -123456789 -1234567 -1234 -1 -1234 -1234567 -123456789X -123456789X -123 -. -123456789X -123456789X -12345 -123 -. -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 285.82/285.70 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -. -1234 -. -12 -123456 -12345678 -123 -12 -. -. -12345 -. -1 -1 -12 -1234 -. -1 -. -. -12 -1 -. -1 -12345 -1234 -1 -123 -. -1234 -. -. -123 -. -. -. -. -123 -. -1 -123 -. -123 -. -1234 -1 -1 -1234 -1234 -. -12 -. -123 -123456 -. -12345678 -. -12 -12345 -. -12 -. -123 -123456789 -. -1 -. -12 -1234567 -. -12345 -. -12 -1234 -. -. -123456789X -123456789 -12345 -12345 -. -. -12 -12 -. -12345 -123456789X -123456789X -1234 -12 -1234 -. -123 -123456 -123456 -123456789X -1234567 -1234567 -123456789X -123 -123456 -12 -1 -12 -123456789X -123456789X -12 -1234 -12345 -123456789 -. -. -12345678 -1 -123456 -123 -1234 -1234567 -123456789X -123456789XL -123456789XL -12345678 -1 -1 -123456 -. -1234567 -1234567 -1234 -1 -. -12345678 -1234567 -12345678 -. -. -. -123456 -. -. -12345678 -123456 -12345 -123 -. -12 -123456789X -. -. -123456789X -123456789X -1234567 -12 -1234 -. -12 -12 -1 -123 -. -123 -1234 -1234 -. -. -. -123456 -123456789 -. -1234 -. -12345 -123456 -. -1234567 -. -123 -12 -123 -123456789X -123456789X -123456789 -1234567 -123456 -12345678 -1234 -123 -1 -123456789X -123456789X -12345678 -12 -12345678 -123456 -. -12345678 -. -123456 -123 -123456789XL -123456789X -123 -12345 -12345 -. -123 -12345 -12345 -1234 -12 -1234567 -1234 -12345 -1234 -123456789X -12345678 -1 -1234 -. -123456789X -. -123456789X -. -123456789 -. -12345678 -. -12 -123456 -12 -12 -123 -12 -123456789X -12345 -123456 -123456789X -123456789X -123456789XL -123456789XL -. -1 -1 -123 -1234 -1 -. -. -123456789X -123 -12 -1 -12 -12 -123 -1 -123456789X -123456 -123456789XL -123456789XL -. -123456789X -1234 -12 -. -12 -123 -. -12 -. -1234 -12345678 -1234567 -. -12 -. -. -. -. -12345678 -12345678 -123456 -1 -. -1234 -1234567 -1 -12345 -1234567 -12345 -123 -1234 -123 -1234567 -12345 -1234 -12345678 -12 -. -12345678 -. -12 -1 -1 -1234 -12 -123 -12 -1 -1 -12 -1 -1 -123 -1234 -12345 -12 -12345 -1 -12 -1 -1 -. -. -1 -. -. -. -123456789 -12345678 -. -. -1234 -12345 -. -123 -1234 -1 -. -1234 -1234 -12 -12345 -1234567 -123456 -123456 -1 -123456 -12345 -12345 -1234567 -123 -1234 -12345 -1234567 -12345 -123 -123456789 -12 -12345678 -12345 -1234567 -12345 -1234 -12345 -12345678 -123456789X -123456789 -12345678 -1234567 -123456789X -1234567 -12 -123456 -1234567 -12345 -12345 -12345 -12 -123456 -123456 -. -. -123 -. -. -12345 -12345 -12 -. -12 -. -1 -. -. -. -123456789X -123456789X -12 -1234 -. -12345678 -123456789X -12 -1 -. -. -. -1 -1 -1234 -12 -1234567 -12345 -1 -123 -1 -1234 -123456 -12 -1234 -123 -12 -12345 -1 -123456 -12 -12 -1234567 -1234 -123 -1234 -123456 -12345 -1234 -12 -12345 -1234 -1 -1 -123 -1234 -12 -123 -123456 -1234567 -12345 -1 -1 -12345 -123456789XL -123456789XL -. -123 -1 -12 -. -1 -. -. -. -1 -12 -. -123456789X -123456789 -1 -12 -. -1 -12 -. -12 -123 -12345 -12345 -123456 -1234 -12345 -123456789 -12345678 -12345678 -12 -123456789X -123456789X -1234567 -1 -1234 -1234 -. -. -. -. -12 -12 -1 -123 -123 -123 -12 -1234 -123456 -123456 -123 -123456789X -123456789X -12345 -. -123 -12345678 -. -. -. -. -. -. -. -. -1 -1 -123 -12 -. -. -. -1 -12 -1 -12345 -12345 -. -. -1 -1 -1 -12 -12 -1 -1 -123456789X -123456789X -. -1 -. -12 -12 -123456789X -. -12345678 -1234567 -1 -12345 -123456789X -12345 -123 -123456789X -. -123 -1234 -12345 -123 -12345 -. -123456789X -123 -123456789 -. -123 -. -12 -. -1234 -1234 -1234567 -. -123456789X -12345678 -12345678 -. -12345 -123 -1234 -. -1234 -. -1234567 -1 -123 -1234567 -12345678 -12 -12345678 -123 -1234 -. -123456789X -12345678 -123456789X -12345 -123456789 -123456 -1234 -123456789 -1234567 -123456789X -12345678 -1234 -12345678 -123456 -123456789 -12 -1234567 -. -12345678 -123456789X -1 -12345678 -123 -1234 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.13/293.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 195| -. -. -1 -123456 -. -12345 -1234 -12345 -1234 -. -. -. -1 -12 -. -1 -1234 -123 -. -123456 -. -. -. -. -. -1 -123456 -12 -12 -123456789 -. -12345678 -1 -. -1234 -. -. -. -. -1234 -12345 -1 -12 -. -1234 -. -1234 -12345 -123 -12345 -123 -. -123456 -. -1234 -123456789X -. -12345 -. -12345678 -1234 -. -1234 -. -123 -1234567 -. -123456789X -. -123 -12345 -. -123 -. -12 -12 -1 -. -12345678 -1234567 -12 -123 -. -. -1 -1 -. -12345 -123456789 -123456789X -1 -12345678 -1 -. -123 -1234 -123456 -1234567 -123456 -123456 -123456789X -123456789X -123456789 -12 -12 -1 -123456789X -123456789X -123456 -1234 -1234 -12345 -. -. -123456789X -. -123456789 -1234 -12 -12345 -12345 -123456789X -123456789XL -1234 -1 -12 -1234 -. -12345 -1234 -12 -1 -. -12345 -123456 -1234567 -1 -. -. -12345 -. -1 -12345 -1234 -12345 -12 -. -12345 -123456789X -1 -1 -123456789X -123456789X -12345 -1234 -12345 -. -1 -12 -1234 -12 -. -1 -1234567 -12345678 -. -123456 -. -123 -123456789X -. -12345 -. -123456789X -1234567 -. -123456 -. -12345 -1234567 -123456789X -123456 -12345678 -12345678 -1234567 -1234567 -12345678 -. -. -123 -123456789X -123456789X -12 -12 -123456789 -1234567 -. -12 -1 -123 -. -123456789XL -123456789XL -1 -1 -12345678 -. -123 -123456 -12345 -123 -123456 -12345 -123456 -123 -1234 -12345678 -12345678 -1 -12345 -. -1234 -. -123456789 -1 -123456789X -1 -1234567 -. -12345 -123456 -12345678 -12 -12345 -12345 -1234567 -123456 -123456 -123456 -123456789X -123456789X -123456789X -123 -1 -12 -123456 -12 -. -. -. -123456 -12 -123 -12345678 -123456 -123 -123456 -12345678 -123456789X -12345678 -123456789X -123456789X -. -123 -1234 -12345 -. -. -1234 -. -1 -. -123 -12345678 -123456789X -. -123456789X -. -. -. -. -123 -12 -123456789X -. -. -12 -123456789 -123456789 -12345 -123456 -123456 -123456 -123456 -12345 -12 -12 -1234567 -1234 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -1234 -123456789X -12345 -12345 -123456789 -1 -123 -12 -1 -. -1 -. -1 -12 -. -. -12 -1 -1 -. -. -1 -. -123 -. -12 -1234 -12 -12 -123 -. -1234 -1234 -1234 -123456 -123 -1 -1234 -123 -12345 -12 -12345 -123 -1234567 -1234 -1234 -1234567 -123456789 -123456789 -1234567 -123456 -1234 -1234567 -123456789 -123456789X -123456789X -12 -123456789X -12345678 -1234567 -12 -12 -1 -123456789X -1234567 -. -. -1234 -. -. -. -1 -1234 -. -. -1 -. -1 -12 -1234 -123456789X -123456789X -1 -. -. -123456789X -123456789X -12345 -. -. -. -. -. -1 -123 -1 -123 -123 -1 -12 -12345 -12 -123456 -123 -123456789 -123456789 -1234 -1234567 -1 -12345678 -. -1234 -1234 -12 -123 -1 -12345 -1234 -12 -1234 -12345 -123456 -123 -123 -1 -1234 -1234 -1234567 -123456789X -123456789X -123456789 -12345678 -1 -1234567 -123456789X -123456789X -. -12 -12345 -1234 -1 -. -. -. -. -1 -12 -. -123456789X -123456789X -12 -123 -. -123 -12 -123 -. -123 -12 -12 -12 -1234 -12 -1 -12345 -123456789 -12345678 -123456789X -123456789X -12345678 -12 -123 -1 -. -1 -. -. -. -1 -12 -1234 -1234 -1234 -1 -12 -12345678 -123456789 -1 -123456789X -123456789X -123456789X -. -1234 -1234567 -. -. -. -. -1 -1 -1 -. -. -1 -1 -123456 -123 -. -1234 -123 -12 -123 -1234 -1234 -. -. -1 -1 -1 -1 -1 -12345678 -1 -123456789XL -123456789XL -. -12 -. -1 -12 -. -. -1234567 -123456789X -. -123456789 -123 -12345 -123456 -123456 -. -1234 -123456 -12 -123 -123456789X -. -123456 -12 -1234 -. -123 -. -1234 -. -1234 -12 -1 -1 -123456789 -12345678 -12345 -. -1234 -123 -123456 -. -123456 -. -1234 -. -12 -12345 -1234567 -1 -12345 -123 -1 -. -12345 -1234567 -12345 -123456 -123456789X -12 -123 -1234567 -12345 -12345 -12345678 -12 -12 -1234567 -12345678 -123456789 -123456 -. -1234 -1234 -1 -123456 -12 -1234
%------------------------------------------------------------------------------