TSTP Solution File: SWV420-1.040 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV420-1.040 : 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 : n027.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:06 EDT 2022
% Result : Timeout 288.09s 288.10s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SWV420-1.040 : TPTP v8.1.0. Released v3.5.0.
% 0.12/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.34 % Computer : n027.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue Jun 14 14:46:33 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.19/0.43 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.19/0.46 #elt|#instances
% 0.19/0.47 (SAT)(equ)(fun)(SAT) 57| -123456789XL -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -.
% 0.19/0.57 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.41/0.58 (SAT)(equ)(fun)(SAT) 57+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 0.55/0.70 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -.
% 0.55/0.75 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.61/0.81 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1
% 0.61/0.82 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1
% 0.61/0.84 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1
% 0.61/0.85 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1
% 0.70/0.87 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1
% 0.70/0.88 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1
% 0.70/0.89 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.74/0.90 (SAT)(equ)(fun)(SAT) 57+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 0.84/1.03 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -123456789XL -. -. -. -123456789XL -. -. -. -123456789XL -. -. -. -. -. -123456789XL -. -. -. -. -. -. -.
% 0.92/1.09 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 0.92/1.14 (SAT)(equ)(fun)(SAT) 57| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -.
% 0.92/1.16 (SAT)(equ)(fun)(SAT) 57| -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -.
% 1.01/1.19 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -1 -1 -. -. -. -. -.
% 1.07/1.24 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -123456789XL -. -. -. -1 -. -1 -.
% 1.07/1.26 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -123456789XL
% 1.16/1.33 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XL -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -1 -. -123456789XL -. -1 -1 -. -. -. -. -1 -. -1 -. -. -. -.
% 1.22/1.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -123456789XL -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -.
% 1.37/1.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 1.46/1.66 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.55/1.76 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.66/1.82 (SAT)(equ)(fun)(SAT) 57+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -123456789XL -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.95/2.14 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -123456789XL -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -1 -123 -123456789XL -. -1234 -. -1 -123456789XL -. -. -. -. -. -. -. -. -. -1
% 2.24/2.42 (SAT)(equ)(fun)(SAT) 57| -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -123456789XL -1 -1 -123456789XL -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -123456789XL -.
% 2.76/2.91 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123456789XL -. -. -. -. -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -123456789XL -123456789XL -123456789XL -. -12 -. -123456789XL -. -1 -1 -1 -1 -1 -1 -. -1 -. -. -. -. -123456789XL
% 3.38/3.58 (SAT)(equ)(fun)(SAT) 57| -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -1 -1234 -123456789XL -. -. -1 -. -. -. -1 -. -. -. -. -. -123 -. -. -123456789XL -12 -123 -123 -123456789XL -1 -1234 -12 -123456789XL -. -1 -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -.
% 4.74/4.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -1 -. -. -1 -123456789X -. -. -. -. -1 -123456789X -. -. -1 -. -1234 -12 -1 -1 -. -1234 -1234 -12 -123456789X -. -123456789X -. -. -123456789X -123456789X -123456789X -1 -1 -1 -1 -1 -. -123456 -123456789XL -. -. -1 -.
% 5.15/5.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -. -. -. -. -1 -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -. -12 -123 -. -. -. -12 -1234567 -. -. -. -. -12 -. -. -. -123456789X -12 -. -123456789X -. -. -. -. -. -1 -12 -12 -. -12 -. -12 -. -. -1 -. -. -1 -1 -1 -. -. -. -123 -123456789X -12 -. -123456789XL -.
% 6.54/6.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -123456789X -123456789X -. -. -. -1 -. -. -. -. -. -. -. -1234567 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -. -. -. -. -123456789X -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -. -. -12 -. -. -. -1 -. -. -. -. -1 -. -. -123 -. -. -12 -12 -12 -12 -12 -12 -1 -1 -. -12 -1 -. -1 -1 -.
% 7.86/8.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -1 -1 -. -. -. -12 -. -. -1 -12 -. -. -. -. -123456 -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -123 -1 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -12 -. -. -. -1 -1 -1 -12 -12 -12 -12 -1 -123456789 -. -123456789X -1234567 -. -.
% 9.34/9.49 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -123456789X -1 -1 -123456789X -1 -1 -123456789X -1 -1 -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -123456789 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -123 -. -. -. -1 -12 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -1234 -1 -. -. -. -1 -. -. -1 -1 -1 -. -1234567 -1 -123456789 -123456789X -. -.
% 10.78/10.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -12 -. -1 -12 -. -1 -12 -. -1 -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -123456789 -. -1 -123456789X -12345 -. -. -. -. -12345 -. -. -. -. -. -. -123456789X -. -12 -. -. -.
% 12.25/12.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -123456789X -. -. -123456789X -. -. -123456789X -. -. -123456789X -123456789X -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1234 -123456789X -. -. -. -. -1234 -. -. -. -. -. -1 -1234 -. -. -. -. -. -. -1 -. -. -. -. -12345678 -. -1234 -12 -123 -123456789X -123456789X -. -. -. -. -1 -. -. -. -1 -123456789X -. -. -. -. -.
% 13.73/13.91 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -123456789X -. -123456789X -. -123456789X -. -123 -123 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -123 -1 -1 -1 -. -. -. -. -123456789X -1 -. -. -. -. -. -1234 -1 -. -. -. -. -. -. -1234 -. -. -. -. -12 -. -1 -1 -123456789X -. -. -123456789X -123456789X -123456789X -. -1 -1 -1 -1 -12 -123 -. -. -. -. -.
% 15.17/15.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1234 -. -. -. -. -. -1234 -. -. -. -. -. -1 -1234 -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -1234 -1234 -. -. -. -. -. -. -123456789X -123456789X -123456789X -. -. -1 -. -. -. -. -. -.
% 16.56/16.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -123456789X -. -123456789X -. -123456789X -. -. -123456789X -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -12 -. -. -. -. -. -1234 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789X -123456789X -12 -. -. -. -. -. -.
% 18.00/18.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -123456789X -. -123456789X -. -123456789X -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -123 -123 -. -. -. -. -. -123456789 -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -12 -. -. -. -. -.
% 19.26/19.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -12 -. -123 -. -123 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -123456 -. -. -1 -. -12 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -.
% 20.66/20.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -123 -. -123 -. -123 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -12345 -. -. -. -. -12345 -. -. -. -. -. -. -12345 -. -. -. -. -. -. -. -1 -. -. -. -. -123 -12345 -. -. -. -. -. -. -. -. -. -. -. -.
% 22.09/22.23 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -12 -1 -. -123 -. -. -. -. -123 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 22.57/22.74 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -12 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -.
% 22.97/23.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -1
% 23.08/23.26 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 23.27/23.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -.
% 23.36/23.53 (SAT)(equ)(fun)(SAT) 57+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123 -. -1 -123456789X -. -. -1234567 -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -1 -. -. -. -123456789X -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -12345678 -. -. -123456789X -123456 -. -. -12345678 -. -123456789XL -1 -123 -123456789X -123456789XL -123456789XL -1 -1 -. -. -. -. -. -. -1234567 -1234567 -. -. -. -123456789XL -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789X -. -. -. -123456789XL -. -. -1234 -. -12345 -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.47/25.64 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -123456 -. -123456789X -123456789X -. -123 -123456789X -123456789X -. -12 -123456789X -123456789XL -. -12 -. -. -123456789X -. -. -. -123456789XL -. -123 -123 -. -. -. -1 -1 -. -. -1 -. -. -1 -. -. -. -. -. -123456789X -12345 -. -. -. -. -1234567 -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -123 -. -. -. -. -123 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -123456789X -1234 -123 -. -. -. -1234 -1234 -123456 -123 -1 -123456 -12345 -12 -1234567 -123 -1 -. -123456789XL -123456789X -1234567 -123456789X -123 -12 -. -1234 -12345 -1 -1 -. -. -1 -. -. -. -123 -123 -123 -12 -1 -1234567 -12 -12 -123456 -123456 -. -123 -123 -12 -. -. -. -1234 -123456789X -123456 -1 -. -1 -. -123456789X -1 -12 -123 -. -12 -1 -12345 -1234 -123 -123 -123 -1234 -. -123 -12 -1 -1 -. -. -. -. -123456789X -1 -123456789 -. -12 -. -. -. -. -. -.
% 27.57/27.77 (SAT)(equ)(fun)(SAT) 57| -123456789X -. -. -. -. -1 -. -. -. -12 -. -1234 -. -1 -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -123456789X -123456789X -123456789X -123456789XL -123 -123456789X -123 -123456789X -123456789X -123456789XL -1 -. -12345678 -1 -123456789X -123456789X -123456789XL -12 -. -12345 -123 -123456789X -123456789X -123456789XL -12 -. -1 -. -. -. -. -. -. -. -. -12 -123 -. -12 -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -123456789X -. -. -. -. -123 -123456 -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1234567 -. -123456789X -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -12 -1 -. -. -. -1234 -12345 -12 -1 -1 -. -. -. -123456 -1 -1 -12 -1 -123456 -123456789X -123456789X -123 -1 -123 -. -1234 -1234 -12 -123 -. -. -. -1 -. -. -. -. -. -123456789X -12 -. -1 -. -. -12345678 -12 -. -1 -. -1 -12 -123 -123456789X -1 -1 -123456789X -123456789X -123 -. -1 -. -1 -1 -1 -1 -. -12 -12345 -1 -1234 -. -. -1234567 -123456 -123456789 -12345 -1234 -12345678 -123 -12 -1 -. -. -12 -12 -. -. -. -12 -. -.
% 29.88/30.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -12345678 -123456789X -. -. -. -123456789X -123456789X -1 -. -. -. -. -123456789X -123456789X -. -. -. -. -1 -123456789X -123456789X -. -. -. -. -. -. -1 -. -1 -. -12 -1 -1 -. -. -. -1 -1 -. -. -. -12345678 -123456789 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -. -. -. -1 -. -123456789 -. -1234 -1 -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -1234 -123 -1 -1 -. -. -. -1234567 -1234567 -. -12 -123 -1 -1 -12 -12345678 -1234 -123 -. -123 -12 -123456789X -123456789X -123456789X -12 -1234567 -123 -123456 -12345 -123 -12 -1 -1 -12 -123456789X -. -. -1 -. -1 -1 -123 -12345 -1 -12 -1 -. -123456789X -1 -1 -. -. -12 -1234567 -12345 -12 -123 -123456 -12 -1 -123456789X -123456 -1 -123 -1 -12 -12345 -123 -1234 -1 -12345 -123456789X -1 -12 -123 -12 -123456 -1234567 -1234567 -123456789X -12345678 -123456789X -123456 -123456 -1 -1 -1234 -. -. -1 -. -. -.
% 32.31/32.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -1 -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -123 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -123456789X -12345 -. -. -123456789X -123456789X -. -. -. -1 -123456789 -123456789X -. -. -12 -123456789X -123456789 -. -. -1234 -. -. -12 -1 -. -. -. -. -12 -. -12 -12 -. -. -. -123 -12345 -. -123 -. -. -. -. -. -. -. -1 -. -. -. -123 -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -12 -12 -1 -. -. -. -. -12345 -1234 -. -. -. -. -1234 -. -. -1 -. -. -. -1 -1 -. -12 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1234 -12 -12345 -123 -. -. -. -123456789X -1234567 -12345 -123456 -12 -. -1 -1 -12 -12 -. -. -1 -1 -123456789X -12345 -12345 -12 -123 -. -12345 -123456 -1234567 -12345 -1 -1 -12 -123 -1 -1 -. -. -. -123456789X -1234 -1 -1 -12 -1 -. -12345 -123456 -12345 -. -. -. -1 -123456789X -1 -123 -1 -1234 -1234 -123456789 -1234 -1234 -1 -123 -12 -1 -12345 -12345678 -123456 -123 -1234 -. -1 -1234 -1 -12 -12 -12 -1234567 -1234567 -123456 -123456789 -123456789X -12 -. -1 -. -1 -12345 -12345 -. -.
% 34.69/34.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -1 -. -1 -. -. -. -. -. -. -123 -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -123 -1 -. -. -12 -1234567 -12345678 -. -. -12 -1 -1234 -123456789X -. -. -12 -1234 -123456 -12345 -. -. -. -12 -1 -12 -123 -12 -. -1 -. -. -. -. -1 -1 -123 -. -. -. -1234 -12345 -. -. -1 -123456 -123456 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -12 -1 -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -12345 -1234 -12 -. -1 -. -123 -12345 -. -1 -. -12 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -. -1 -123 -1 -1234 -123 -123 -. -. -. -123456789X -123456789X -123456 -1234567 -12 -123 -. -1 -12 -12 -1 -. -12 -1 -123 -12345 -12345 -. -12345 -1 -12 -123 -123456789 -123456789X -. -12 -1 -1234 -123 -12 -1 -. -. -12 -12345 -1234 -1 -1234 -. -. -12345 -123 -1 -. -1 -. -. -123456 -12345 -12 -1 -12 -123456789X -12345 -123 -1234 -123 -1234 -1 -1 -12345 -1234567 -123 -12345 -12345 -123 -1234 -. -123 -1 -123 -1234 -12345 -1234 -123456 -123 -123 -123 -12 -1 -. -1 -. -123 -. -.
% 37.19/37.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -123456 -1 -12 -1234 -1234 -12345678 -1 -12 -. -123 -. -12 -1234567 -12 -. -. -12 -12345 -123456789X -12 -. -1234 -1 -. -. -12 -1234 -. -. -. -. -. -12 -. -. -. -12 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -12 -. -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -12 -. -1 -1 -. -12 -. -. -1 -. -12 -. -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -123456 -1 -123 -1234 -12 -. -12345 -1234567 -. -1 -. -123456789X -123456789X -123 -12 -12 -1 -1 -1 -1 -12 -. -. -1 -1 -12 -1234 -12345 -. -. -12 -1234 -123 -12345 -123456 -. -. -. -123456 -12 -. -. -. -. -123456 -12345 -1 -. -1 -. -. -12345 -. -1 -. -1 -1 -. -123 -. -1234 -123 -1 -12345 -123 -123456 -1234 -1234567 -1234 -1234 -12 -1234567 -123 -12 -1234 -12345 -123 -12 -12 -1 -1234 -1234 -1234 -1234567 -12345 -12345678 -12345 -1234 -12 -. -. -1 -123 -12 -1 -. -.
% 39.78/39.92 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -12345 -. -1234 -1 -12 -1234 -12345 -. -1234 -1 -12 -12 -1234 -1234 -1234 -. -1 -. -123 -123456 -1234 -1 -. -. -1 -1 -. -1 -1 -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -12 -12 -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -1 -1 -1 -1 -. -1 -. -12 -. -. -12 -1 -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -123 -12 -12 -123 -. -1 -. -1234 -. -. -. -12 -. -. -1 -1 -1 -123 -. -12345 -. -. -. -123456 -123456 -123 -1234 -1234 -1 -. -. -12 -123 -123456 -123456 -1 -. -1 -123 -. -. -. -. -. -12345 -123 -123 -. -1 -. -. -123 -1 -1 -. -. -. -. -12345 -1 -123 -1 -12 -. -123456 -12345 -123 -1234 -123 -12 -. -123 -123456789 -12 -123 -12345 -12 -1 -12 -12 -123 -1234 -12345 -123 -1234 -123456 -123456 -12 -1234 -1 -. -1 -12 -1 -. -. -.
% 42.29/42.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -12 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12345 -12 -1 -. -1 -1234 -1234 -1 -. -1 -1234 -1234 -1 -1 -. -1 -. -1234 -123456 -1 -. -. -1 -. -1 -. -12 -. -. -. -. -. -1 -. -. -. -1 -. -1 -12 -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -. -12 -1234 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -1 -123456 -1 -. -123 -12 -123 -. -. -. -123456 -12345 -. -1 -1 -1 -12 -. -1234 -. -12 -. -1 -. -12 -1234 -12 -1 -123 -. -12 -1 -123456 -123456 -12 -12 -1 -12 -1 -1 -12 -. -. -12 -12 -123 -. -. -. -. -123 -. -1 -. -. -. -. -123 -1 -1 -. -1234 -123 -1234 -1 -12345 -1 -12 -. -123 -123456789 -123456 -1 -12 -1 -12345 -123 -1 -12 -12345 -12345 -123456 -123456 -1234 -12345678 -12 -123 -1 -. -1 -1 -123 -12 -1 -. -.
% 44.90/45.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -1 -. -. -. -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -1234 -12 -12345 -12345 -12345678 -12 -. -1 -1 -123456 -123456 -12 -. -12345 -. -1234 -123456 -12 -. -1234 -. -. -. -. -1 -. -. -. -1 -. -1234 -12 -12345 -. -. -. -123 -123 -. -1 -. -1 -12 -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -1 -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -. -. -. -123 -1 -12345 -. -. -. -12 -. -. -. -. -1234 -1234 -. -1 -123 -12 -. -1 -1 -12 -123 -. -123 -12 -12 -12 -1234 -1 -. -. -. -1 -12345678 -12345678 -1 -. -1 -123 -. -1 -. -. -. -12 -123 -1234 -. -. -. -. -1234 -1 -. -. -. -. -. -123 -1 -1 -1 -1 -12 -12 -12 -1 -. -1 -12 -12 -123 -12345 -1 -12345 -123 -1 -1 -12345 -123 -12 -123 -1234 -123456 -12345 -123456 -1234 -12 -1 -1 -. -. -1 -. -. -. -.
% 47.47/47.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -12 -. -. -1 -. -. -. -123 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -123456789X -1234 -1 -. -. -123456789X -123456789 -1 -. -1 -1 -12345 -12345 -1 -. -. -. -123456789X -12345678 -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -12345 -. -1 -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1234 -1234 -12 -1 -1 -1234 -1 -1 -. -. -. -12345 -123456 -1 -123 -12 -. -1 -. -. -12 -. -. -1 -12 -123 -12 -12345 -1 -123 -1 -123 -. -12345 -1234 -. -. -. -12345 -. -. -. -. -. -123 -. -12 -. -. -. -. -123456 -1 -. -. -. -. -. -1 -123 -1 -. -123 -1234 -1 -1 -. -. -. -. -123 -1234567 -123 -1 -12 -12 -12 -12 -123 -12 -1234 -1234 -123 -. -1 -. -1234 -12345 -12 -1 -1 -1 -12 -1 -123 -. -.
% 50.02/50.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -12 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1234 -. -1 -12 -123 -1234 -. -. -. -12 -1234 -1234 -. -. -12 -. -1234 -123 -. -. -12 -1 -. -1 -. -. -. -. -12 -1 -. -. -1 -. -1234 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -1 -. -1 -. -1 -1 -. -. -. -. -12 -. -1 -. -. -1 -. -. -. -. -1 -1 -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -12 -123 -. -123 -12 -1 -1234 -12 -. -. -. -123456 -123 -1234 -12 -. -. -. -1 -1 -1 -1 -. -. -. -12345 -123 -12 -12 -1 -1 -12 -1 -12 -123 -. -. -. -1234 -. -. -. -. -. -1234 -1 -1234 -. -. -. -. -12 -12 -12 -. -. -. -. -123 -1 -1 -1 -1 -. -1 -1 -. -1 -1 -12 -. -12 -12 -. -12 -123 -. -. -12 -123 -123456789X -123456789 -1234567 -123 -12 -12 -12 -1 -1 -12 -1 -1 -. -. -. -. -.
% 52.60/52.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -12 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -12 -. -12 -123 -12 -1 -. -1234 -12 -12 -12 -12345 -1234 -1 -. -. -. -1 -1 -. -. -. -. -. -12 -. -1 -. -1 -. -12 -123 -. -1 -. -1 -123 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -12 -12 -1 -1234 -1 -. -. -. -12 -123 -. -123 -. -. -1 -1 -. -12 -. -. -12345 -12345 -1234 -12 -1234 -. -1 -1 -12 -1 -12345 -123 -. -. -. -123 -1 -. -. -. -. -1234 -. -. -. -. -. -. -1234 -12 -12 -. -. -. -. -123 -12 -1 -12 -1 -1 -. -1 -. -123 -12 -123 -123 -1234 -1 -. -1 -12 -. -12 -1 -1 -1234 -123 -123 -12345678 -1234567 -12345678 -12 -12 -. -1 -. -1 -. -1 -. -. -.
% 55.12/55.25 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -123456789X -. -1 -123 -123456789X -. -1 -. -12345 -123456789X -. -. -. -12 -123456789X -. -1 -. -. -. -. -1 -. -1 -. -. -. -1 -12 -1 -. -1 -1 -1234 -1 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -12 -. -1 -12 -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -123 -. -. -. -123456 -123456 -. -12 -1 -. -. -. -1 -12 -1 -. -12345 -123 -. -. -12 -. -1 -1 -12 -. -123456 -1234 -. -. -. -1 -. -1 -. -. -. -1234 -12345 -12 -. -1 -. -. -12 -1 -. -. -. -. -. -12 -. -1 -. -. -. -123 -12 -1 -123 -12 -123 -12 -12 -1234 -1 -123456 -12 -. -1 -. -. -1 -1 -1 -1 -1 -1 -12345678 -123456 -. -. -. -1 -1 -. -. -. -.
% 57.70/57.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -12 -. -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -123 -1 -1 -1 -1234 -12 -1 -1 -1 -1 -123456 -123 -1 -. -. -12 -1234567 -12 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -123 -123 -. -. -. -12345 -123 -. -1 -. -12 -12345 -1 -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -123 -1 -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1234 -1 -1 -. -. -. -. -1 -1 -1 -1 -12 -1 -. -12 -. -. -. -1 -. -12345 -1234567 -. -. -12 -1 -1 -123456 -123456 -. -. -. -. -. -1 -12 -1 -. -. -123456 -. -. -. -. -1 -. -1 -. -. -. -1 -. -1 -123 -. -12 -12345 -12 -12 -1 -. -1 -1 -1 -123 -12 -1234 -. -1234 -. -12 -. -1 -1 -1 -1 -1 -12345 -123 -1234 -1 -1 -. -1 -. -. -. -. -. -. -.
% 60.31/60.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -123 -1 -. -. -12345 -12345 -1 -. -. -. -1234 -123 -1 -. -. -. -1234567 -1234 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -1 -. -. -. -12 -12 -. -12 -. -12 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -12 -1 -. -. -. -1234 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -12345 -. -. -1 -. -. -. -. -12345 -1234 -1 -. -1 -. -. -12 -12 -12 -1 -. -12 -12 -12 -123 -123 -1 -1 -. -. -12345678 -123456 -. -. -. -123 -. -12 -. -. -. -12 -1234 -123 -. -1 -. -. -123 -. -1 -. -. -1 -. -12 -. -1 -12 -. -1 -. -. -. -12 -. -1 -. -. -123 -. -123 -123 -12 -1 -. -. -1 -1 -. -123 -12 -12 -1234 -12 -1 -1 -. -12 -. -. -. -. -.
% 62.91/63.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -12 -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -123 -1 -. -. -1234 -1234 -1 -. -. -1 -1234 -1234 -1 -. -. -1 -1234 -123 -1 -. -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -1 -123 -. -. -. -123 -1234 -. -1 -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -123 -. -1 -123 -. -12 -12345 -. -. -. -. -123 -123456 -1 -12 -. -. -1 -1 -. -1 -123 -. -123 -12 -123 -123 -1 -1 -1 -1 -. -1234 -123456 -. -. -. -. -. -. -. -. -. -12 -1234 -12 -1 -. -. -. -1 -1 -1 -. -1 -1 -. -12 -12 -12 -1 -1 -. -1 -1234 -1234 -1234 -12 -1 -123 -1 -. -1 -1 -1 -. -. -. -123 -12 -1 -. -1 -. -1234 -12 -12 -1 -. -. -. -. -.
% 65.48/65.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -. -. -. -12 -123456 -. -. -12 -1 -1 -12345 -. -. -1 -1 -. -12345678 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -12345 -. -123 -. -1234 -12 -. -12 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -12 -12 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123 -1 -. -12 -. -12 -1 -12 -. -. -. -1234 -1234 -12 -1 -1 -12 -. -1 -12 -12 -. -. -123 -123 -12345 -123 -12 -. -. -12 -. -123456 -123456 -. -. -. -123 -1 -. -12 -. -. -. -1 -123 -. -. -. -. -12 -. -. -12 -. -1 -. -1 -1 -1 -1 -. -1 -12 -1 -12 -123 -12 -. -12 -12345 -12 -. -1234 -1 -12 -12 -. -. -1 -1 -1 -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -.
% 68.03/68.20 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -12345 -12345 -1 -12 -1234 -12345 -1 -1 -. -123 -12 -1 -12 -. -12345 -1234 -1 -12 -. -. -1 -. -. -. -. -. -. -. -12 -1 -1 -. -12 -1 -. -1 -. -. -. -. -12 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -12 -. -. -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -. -12 -. -. -. -1234 -1234 -. -. -. -123 -12 -1 -. -1 -. -. -. -1 -12 -1 -1 -12 -1 -1234 -12345 -123 -1 -12 -. -. -123 -1234 -. -123 -1 -123 -1 -1 -. -. -. -12 -. -. -1 -1 -. -. -123 -. -. -. -. -1 -. -. -12 -1 -1 -. -. -1 -1 -1 -12 -123 -1 -1 -1 -1 -1 -123 -123 -12 -1 -. -1 -1 -1 -1 -1 -1 -1 -. -. -1 -1 -1 -. -. -1 -. -. -.
% 70.62/70.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -. -. -123 -1 -. -. -1 -. -123 -1 -. -. -. -123 -123 -123 -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -123 -123 -. -12 -1 -1 -123 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -123 -12 -. -. -. -12 -. -. -. -12345 -12345 -1 -. -12 -1 -1 -. -12 -12 -. -. -12 -12 -1 -12 -. -. -1 -. -. -12345678 -123456 -1 -. -12 -. -1 -. -. -. -. -123 -1 -12 -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -1 -1 -. -12 -1 -123 -1 -1 -12 -1234567 -12 -. -12 -. -1 -. -1 -. -1 -12 -1 -123 -12 -1 -1 -1 -. -. -1 -1 -1 -1 -1 -. -.
% 73.30/73.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -1 -. -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -12345 -123 -1 -1 -123456 -1234 -1 -12 -12 -12345 -123456 -1 -. -1 -12345 -1234 -1 -1 -12 -. -1 -. -. -. -. -. -. -. -1 -12 -123 -. -. -1 -1 -1 -. -. -. -12 -1 -. -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -1 -. -. -1 -1 -. -1 -12 -. -1 -1 -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -1 -12345 -1 -. -. -. -123 -123 -. -1 -1 -12 -12 -123 -12 -1 -. -. -. -. -. -123 -1 -. -. -. -. -123456 -12345 -. -. -1 -12 -. -. -12 -123 -. -. -. -123 -. -1 -. -. -1 -. -1 -. -12 -. -. -1 -12 -. -12 -. -12 -. -12 -1 -12 -1 -1 -1234 -1234 -. -1234567 -1 -. -. -1 -1 -. -. -123 -1 -1 -1 -123 -. -1 -. -. -12 -123 -. -. -. -.
% 75.93/76.05 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1234 -1 -. -12 -12345 -12 -1 -. -1 -. -12 -1234 -1 -. -1 -. -123456 -1 -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -12 -. -. -1 -. -. -. -12 -1 -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -12 -. -. -. -1 -. -. -1 -12 -. -. -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -123 -. -12 -12 -. -. -. -1 -. -. -. -1 -12 -. -. -. -. -1 -1 -1 -12 -. -. -1 -1 -123456 -123456 -1 -1 -. -. -1 -1234 -12 -. -1 -1 -1 -1 -. -. -. -. -1 -12 -12 -. -. -. -. -1 -1 -1 -1 -. -1 -. -12 -. -12 -123 -. -. -1 -. -123 -. -123 -. -. -12 -1 -. -123 -1 -12 -1 -. -. -1 -. -. -1 -12 -1 -1 -12 -12 -1 -. -. -12 -. -. -. -.
% 78.54/78.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1 -. -1 -1 -123 -1 -. -1 -1 -1 -123 -12 -. -1 -12 -. -123 -123 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -1 -. -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -12 -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1234 -. -1 -1 -1 -. -. -. -123 -1234 -. -1 -. -1 -. -. -. -. -. -. -1234 -1234 -1234 -123 -1 -. -. -. -. -1234 -12345 -1 -. -. -1 -. -1 -. -. -. -1 -123 -1 -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -1 -1 -12 -1 -1 -12 -. -1 -. -. -. -. -1 -. -1 -12 -. -1 -. -. -1 -. -. -. -. -1 -12 -1 -1 -. -. -1 -. -. -.
% 81.21/81.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -123 -1234 -. -1 -123 -12345 -. -1 -. -123 -123 -. -1 -1 -123 -1234 -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -1 -1234 -. -12 -1 -1 -12 -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -. -. -. -. -. -. -12 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -1 -. -. -. -1234 -1234 -. -1 -1 -. -. -. -12 -. -. -. -1234 -1234 -123 -123 -. -1 -1 -1 -. -12345 -1234567 -. -. -. -. -. -1 -. -. -. -1 -12 -12 -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -12 -1 -1 -. -12 -12 -1234 -12 -12 -. -1 -12 -12 -. -1 -. -. -. -. -. -. -1 -1 -12 -. -. -1 -. -1 -1 -1 -1 -1 -1 -. -. -.
% 83.82/83.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -1 -1 -1234 -12 -1 -1 -. -123 -12345 -1 -. -. -123 -12 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -12345 -. -. -1 -1 -. -1 -1 -123 -1234 -. -12 -1 -. -. -. -1 -12 -. -. -1 -. -1 -12 -12 -12 -. -1 -. -12345 -1234 -. -. -1 -12 -. -1 -. -. -. -. -1 -. -. -. -. -. -12 -1 -1 -. -. -. -. -1 -1 -12 -123 -. -12 -1 -1 -12 -1 -1 -12 -12 -123456 -. -. -12 -1 -. -. -. -123 -123 -12 -. -1 -1 -12 -1 -. -1 -1 -1 -12 -. -. -. -.
% 86.45/86.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -12 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. -. -12 -. -. -. -. -1 -123 -123 -. -. -. -. -123 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -12 -. -. -. -12345 -12345 -. -12 -. -. -. -. -. -. -. -. -123 -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -1234 -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -12 -. -. -. -1 -. -. -. -1234 -1234 -. -1 -1 -1 -. -1 -. -12 -. -. -. -. -12 -12 -1 -1 -. -1 -1 -1 -123 -. -. -. -1 -. -1 -1 -. -. -12 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -12 -. -1 -12 -1 -. -. -1 -1 -1 -123 -. -. -1 -1 -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -. -. -.
% 89.13/89.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -123 -1234 -1 -123 -12345 -12 -1234 -123 -123456 -1 -. -12 -12345 -. -. -. -. -. -1 -. -1 -12 -12 -. -. -. -12 -123 -. -1 -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -123 -. -1 -12 -1 -. -. -1 -1 -12 -12 -. -12 -. -1 -. -. -1 -. -1 -1 -12 -12 -. -. -. -. -. -123 -12 -. -. -. -. -. -. -12 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -1 -12 -1 -. -12345 -. -. -1 -. -1 -1 -. -. -. -. -. -1 -12 -. -. -. -. -. -1 -1 -. -. -. -. -.
% 91.93/92.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1234 -1 -12 -12 -1 -1 -. -. -123 -12 -1 -12 -. -12 -12 -1 -1234 -. -. -. -. -. -. -12 -1 -12 -. -. -1 -12 -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1234 -. -. -12 -. -. -. -. -12 -12 -. -. -1 -. -. -. -1 -12 -. -. -123 -12 -12 -12 -. -. -. -1 -. -1 -123 -1 -. -. -1 -. -. -. -. -. -. -123 -123 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -12 -1 -. -1 -123 -. -1 -. -123 -1 -. -1 -. -. -. -. -1 -. -. -. -12 -12 -12 -. -. -1 -. -. -. -. -.
% 94.84/94.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -1 -12345 -. -. -. -. -123 -1 -. -. -. -. -12 -12 -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -1 -. -123 -. -. -. -1234567 -12345678 -1 -1 -. -1 -. -. -. -12 -. -. -1 -. -12345 -1234 -1 -1 -. -. -. -123 -123 -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -1 -1 -1 -. -1 -. -. -1 -. -. -1 -. -. -1 -1 -12 -. -. -1 -1 -12 -. -. -. -. -1 -. -. -1 -1 -. -1 -12 -. -. -. -. -1 -. -. -. -1 -. -. -.
% 97.73/97.80 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1 -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -12 -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -12 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -. -1 -1 -1 -. -. -. -12345 -12345 -. -12 -. -. -. -. -1 -1 -1 -. -. -. -12345 -123456 -. -1 -. -. -. -12345 -12345 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -12 -. -123 -1 -1 -. -. -. -1 -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -.
% 100.45/100.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -12 -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -123 -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -12 -. -. -. -1 -. -. -. -123 -123 -. -. -. -. -. -. -. -. -. -. -1 -. -1234 -1234 -. -. -. -. -. -123456 -1234567 -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -. -1 -1 -12 -12 -1234 -. -. -12 -. -. -1 -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -. -1 -. -1 -. -. -. -. -.
% 103.23/103.38 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -123 -1 -1 -12 -. -1 -. -. -. -. -12 -123 -. -1 -. -. -. -. -1 -. -. -. -1 -. -1 -1 -1 -. -. -. -. -123456 -12345 -. -. -. -1 -. -. -. -. -. -123 -. -. -. -. -. -1 -. -1 -. -. -12 -. -. -1 -1 -12 -. -12 -12 -1 -1 -12 -. -123 -. -1 -. -12 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -.
% 106.06/106.18 (SAT)(equ)(fun)(SAT) 57| -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -12 -. -. -. -. -123 -. -. -. -1 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -123 -123 -. -1 -. -1 -1 -. -. -. -123456 -1234567 -12 -1 -. -. -. -. -. -1 -. -. -1 -. -1 -12 -1 -. -. -. -. -12 -123 -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -1 -1 -. -. -1 -. -1 -. -1 -1 -123 -. -. -1 -. -12 -12 -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -.
% 108.83/108.91 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -12 -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -12 -123 -. -. -. -1 -12 -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -1 -. -. -. -. -12 -. -1 -. -. -. -. -. -12 -. -. -12 -1 -123 -12 -. -. -. -. -. -12 -12 -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 111.65/111.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -12 -. -1 -. -. -. -1 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -12 -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -12 -12 -. -. -. -. -. -. -. -. -12 -12 -1 -. -. -. -. -. -. -1 -. -. -. -. -1234 -1234 -. -1 -. -1 -. -12 -123 -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -. -12 -1 -. -. -. -1 -. -1 -. -1 -.
% 114.35/114.51 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123456 -. -1 -123 -. -. -1 -123 -. -. -1 -12345 -. -1 -1 -1 -. -. -. -1 -1 -. -. -. -1 -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -12 -. -. -. -12 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -1 -1 -. -. -. -. -12 -123 -1 -. -. -. -. -1 -1 -1 -. -1 -. -12 -12 -. -. -. -12 -. -1 -12 -. -. -. -. -1 -1 -1 -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -. -1 -. -. -12 -12 -. -1 -. -. -123 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 117.14/117.26 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -12 -1 -1 -. -12 -1 -. -. -123 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -. -. -. -1 -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -. -1 -12 -. -. -1 -. -. -. -. -123 -123 -1 -. -. -1 -1 -1 -. -. -. -12 -. -1 -1 -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -1 -. -. -. -. -.
% 119.92/120.01 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -12 -. -. -1 -1 -. -12 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123 -123 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -12 -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -12 -1 -1 -. -. -1 -12 -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 122.74/122.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -1 -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -1 -. -1 -. -. -. -123 -12 -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -12 -1 -12 -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -.
% 125.55/125.63 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -12 -. -1 -. -1 -. -. -. -12 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -1 -. -. -. -1 -1 -. -. -1 -1 -. -. -. -1 -1 -. -. -1 -1 -. -. -123 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -123 -. -. -. -. -. -12 -1 -. -. -1 -12 -1 -. -1 -1 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -.
% 128.13/128.23 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -12 -1 -. -1 -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -123 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -123 -1 -1 -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -1 -1 -. -. -1 -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -.
% 130.84/130.98 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -. -1 -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -12 -12 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 133.66/133.74 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -12 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -123 -123 -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -123 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -. -. -. -1 -.
% 136.36/136.50 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -123 -123 -1 -. -. -. -. -123 -12 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -.
% 138.95/139.03 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -1 -. -. -1 -. -1 -1 -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -1 -. -. -1 -. -. -.
% 141.47/141.55 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -1 -. -. -. -. -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -1 -. -. -. -.
% 144.15/144.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -123 -123 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -12 -12 -. -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -. -. -.
% 146.86/146.96 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -1 -1 -. -1 -. -. -. -. -. -. -123 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -1 -. -.
% 149.36/149.47 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -1234 -12345 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -1 -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -.
% 151.97/152.03 (SAT)(equ)(fun)(SAT) 57| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -12 -12 -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -12 -. -.
% 154.45/154.56 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -1 -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -1 -1 -. -1 -. -. -. -. -1 -.
% 157.15/157.24 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -12 -1 -. -. -1 -. -. -. -. -. -. -. -1 -.
% 159.74/159.88 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -123 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -1 -1 -. -. -. -1 -. -. -1 -. -. -1 -1 -. -.
% 162.27/162.39 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -12 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 164.83/164.92 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -12 -1 -. -. -12 -1 -. -1 -12 -12 -. -. -1 -1 -. -. -. -. -1 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -12 -1 -. -. -. -. -. -. -. -. -.
% 167.53/167.59 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -. -12 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.16/170.23 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -.
% 172.57/172.65 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 174.85/174.96 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.35/177.45 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -.
% 179.75/179.87 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -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 -. -. -. -. -.
% 182.35/182.47 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 184.96/185.05 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -. -. -. -12 -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 187.65/187.77 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -123 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 190.44/190.48 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -12 -1 -. -. -1 -. -.
% 193.16/193.24 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -. -1 -. -. -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -.
% 195.68/195.78 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -1 -1 -. -. -1 -1 -. -. -. -1 -. -. -. -1 -1 -. -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 198.08/198.14 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 200.75/200.79 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 203.18/203.29 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 205.68/205.76 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 208.38/208.46 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -12 -1 -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 210.85/210.95 (SAT)(equ)(fun)(SAT) 57| -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 212.98/213.06 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 215.34/215.38 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 217.37/217.47 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 218.79/218.82 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 219.49/219.55 (SAT)(equ)(fun)(SAT) 57| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -. -. -1 -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 221.66/221.72 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 222.79/222.89 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 224.99/225.07 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 227.36/227.45 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 229.87/229.92 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.17/232.26 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 234.36/234.47 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 236.90/237.00 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -.
% 237.20/237.31 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 237.60/237.67 (SAT)(equ)(fun)(SAT) 57+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -12345 -12345678 -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12345 -12345 -123 -12 -. -. -123456789X -123456789X -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -123456789XL -123456 -12345 -1 -. -. -. -. -. -. -. -1 -12345 -1 -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -12345 -12345 -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -1 -123456 -123456789XL -123456789XL -123456789 -123456789 -1234 -1234 -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -123 -123456789 -12345 -123456789X -. -. -12345678 -123456 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -123456789X -123456789XL -. -. -123456789XL -123456789X -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 240.88/240.93 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1 -1 -. -. -1 -1 -123456789 -. -1 -1 -. -. -. -12 -12345 -. -1 -1 -. -. -. -12 -12345678 -. -1 -12 -. -. -. -. -. -. -. -123456789X -. -. -. -. -1 -. -. -1 -. -123456789XL -1 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -1 -1 -123 -1 -12345 -12345 -123 -. -. -123456789X -12 -1 -. -1 -. -1234 -1234 -123456789XL -12 -. -. -. -. -. -. -. -. -. -12345 -. -. -12 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -12 -1 -. -. -. -1234 -1234 -. -. -. -1 -1 -123 -1 -1 -. -. -12 -. -. -. -12 -12 -. -. -. -. -. -12 -12 -. -. -. -. -. -. -123456789X -123456789X -123456789X -123456789X -123 -12 -. -. -. -1 -1234 -123456789X -1 -12 -1234 -1234 -1 -. -1234 -1234 -. -. -123 -. -123456 -123 -. -. -1 -123 -1 -12 -123456789X -. -. -1 -123 -. -. -1 -123 -. -12 -. -12 -. -1234 -1 -123 -1 -12345 -12 -123456789X -12345 -12345 -123456789X -. -1 -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1234 -. -. -. -. -. -. -. -1 -. -.
% 243.79/243.89 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -123 -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -123456 -1 -. -123456789 -. -. -. -. -12345 -1234 -. -123456789X -. -. -1 -. -12345 -1234 -. -123456789X -. -. -1 -. -12 -1234 -. -123456789X -. -. -. -. -. -1 -1 -. -12 -. -1 -. -. -. -. -. -1234 -. -. -. -12 -. -. -. -1 -. -. -. -123 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1 -1 -1 -1 -. -1 -1234 -123456789X -. -1 -123 -123 -123 -1 -1 -1 -. -1 -. -1234 -123456789X -. -. -1 -12 -1 -. -. -. -1234 -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -1 -12 -. -. -. -1 -. -12 -1 -123 -. -12 -. -. -. -. -1 -123 -. -. -. -. -. -12 -12 -123 -123 -1 -123 -12345 -123456789X -123456 -123456789X -123456789X -. -. -. -1 -123 -123456789X -12 -12 -12345 -12 -123 -123 -1234 -12 -12345 -123 -123456 -12 -123 -12 -12345 -. -12 -. -123 -123 -12 -123456 -. -. -12 -12 -. -1 -1 -1 -. -. -1 -123 -1 -12345 -12 -12345 -123 -1 -123456789 -1234 -1 -. -1 -1 -12 -123456 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12345 -1 -.
% 246.79/246.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -1 -. -123 -1 -12 -. -123 -. -1 -1 -12 -. -123 -. -. -. -1234 -. -123 -. -1 -123 -. -. -. -12 -. -. -. -. -1 -. -. -. -1 -123 -. -. -12 -. -. -. -12 -. -. -. -12 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1234 -12 -. -. -1 -. -12 -12 -1234 -. -12 -1234 -12345678 -1 -. -. -12345 -. -123 -. -12345 -123 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -123 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123 -123 -. -. -1 -1 -. -12 -1 -. -. -123 -. -. -. -. -. -. -. -. -1234 -123 -123456 -123456789X -123456 -12345678 -123456789X -123456 -123456789X -12345 -12345 -. -1 -. -. -. -123456789X -. -. -1234 -1234 -123 -123 -123 -. -1 -123 -1234567 -. -123 -12 -123456 -. -1 -. -1 -. -1 -1234567 -. -1 -. -123 -. -1 -. -. -1 -. -1 -12 -1 -12345 -1 -12 -123 -1234 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -123 -. -1 -.
% 249.76/249.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -12 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -1 -. -1234 -123 -. -12 -1 -. -12 -12 -. -123 -. -. -. -. -12 -1 -. -123 -. -. -1 -. -123 -1234 -. -123 -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -12 -. -1 -1 -123 -. -. -1 -. -123 -. -. -1 -1234 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1 -. -. -. -1 -1 -1 -12 -. -1 -123 -12 -. -. -. -123 -. -123 -123 -. -12 -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -. -. -. -. -123 -. -. -. -12 -. -. -. -. -1 -1 -. -123 -. -. -. -. -. -. -. -. -. -. -. -12 -12 -123 -1234567 -1234567 -123 -123456 -1234 -12345 -123456789X -123456789 -. -. -. -1 -1 -123456 -. -1 -12345 -123456 -1234567 -1234567 -12 -123 -12 -123456 -1 -1234 -1 -123 -. -. -1 -. -1 -. -12345 -. -. -. -. -. -. -. -. -. -1 -1 -123 -. -123456 -1 -1 -1 -12 -. -1 -1 -1 -1 -. -. -. -. -1 -. -12 -1 -1 -12 -12 -. -. -. -. -1 -. -. -. -123 -1 -.
% 252.78/252.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -1 -. -1 -. -. -12 -12345 -. -1 -. -1 -. -. -123 -1234 -. -1 -. -1 -. -. -123 -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -. -1 -12 -. -. -1 -. -12 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -123 -1234 -1 -. -1 -. -. -. -. -123 -. -. -. -. -1 -. -123 -123 -. -. -. -. -. -. -. -123 -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -1 -1 -12 -. -. -. -123 -12 -1 -. -. -1 -1 -1 -. -. -1 -1 -. -1 -123 -. -. -. -. -. -1 -12 -1 -1 -123456 -12345 -12345678 -. -12345 -12 -123 -. -. -. -1 -. -1 -1 -12 -1 -123 -12345 -1 -1234 -12 -1234567 -. -123 -. -12 -1 -123 -. -. -. -1 -12 -. -. -. -123 -. -1 -. -12 -. -12 -12 -12 -123 -1234 -. -. -. -1 -1 -123 -1 -. -123 -1 -1 -. -. -. -. -. -. -12 -12 -. -12 -1 -1 -12 -. -. -1 -. -1 -. -. -. -1 -.
% 255.88/255.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -. -1 -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -12 -. -123 -. -. -12345 -12345 -. -12 -. -. -. -. -123 -1234567 -. -12 -. -. -. -. -1234 -123 -. -12 -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -1 -1234 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -12 -12 -1 -. -1 -1 -12 -. -1 -. -. -. -1 -1 -. -123 -1 -. -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -123 -12 -. -. -. -12 -12345 -. -. -. -1234 -1234 -12345 -123 -12 -1 -. -. -. -. -. -. -. -12 -1 -. -. -. -1 -. -1234567 -123456 -. -. -. -. -1 -12 -1234 -1234 -12345 -. -1 -1 -123 -1234 -12 -. -1 -1 -12 -123 -12 -123 -12 -12345 -123 -12 -. -1 -1234 -123 -1 -. -12 -12 -. -123 -1 -. -. -. -1 -. -. -1 -1234 -. -1 -. -123 -. -. -1 -123 -12 -123 -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -. -12 -12 -. -1 -12 -. -. -1 -. -12 -. -1 -.
% 258.98/259.07 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -1234 -. -1 -. -1 -. -1 -. -12 -1 -1 -. -1 -. -. -12 -12345 -1 -1 -. -1 -. -1 -12 -12345 -1 -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -. -. -. -12 -. -. -. -. -12 -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -12 -. -. -1 -. -12 -12 -1 -. -. -12 -. -. -. -1 -. -. -1 -. -. -1 -12 -. -. -1 -. -. -. -1 -12 -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1 -12 -. -1 -. -1 -12 -. -. -. -123 -123 -12 -12 -1 -. -1 -1 -. -. -12 -. -12 -123 -12 -. -. -. -123 -. -12345678 -1234567 -123 -123 -123 -. -. -. -1 -1234567 -12345 -. -. -. -. -1 -12 -1 -. -12 -12 -123 -12 -1 -123 -12 -1234 -1 -12 -1 -12345 -. -. -. -123 -123 -. -123 -. -. -. -1 -. -1 -. -. -. -1 -. -1 -. -1 -1 -12 -12 -12 -1 -1 -1 -. -1 -. -. -12 -. -. -. -. -. -1 -. -12 -. -1 -. -. -. -1 -. -. -. -. -. -.
% 262.19/262.27 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -1 -12 -1 -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -12345 -123 -. -12 -. -1 -. -1 -12345 -12 -. -. -. -. -. -. -123456 -1234 -. -. -. -. -. -. -123 -12345 -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -1 -. -1 -12 -. -1 -. -1 -12345 -. -. -. -. -123 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -123 -123 -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -1 -1 -. -. -1 -12 -. -. -. -12 -123 -1234 -123 -. -. -1 -1 -. -. -. -12 -12345 -1 -1 -. -. -. -. -. -1234567 -12345 -1 -12 -1 -1 -1 -. -. -123 -123456 -. -. -. -1234 -. -12345 -1 -12 -12 -12 -12345 -123456 -1 -1234 -. -12 -. -123 -123 -123 -. -. -. -. -12 -12 -123 -. -. -1 -123 -. -. -1 -. -. -1 -. -123 -. -. -. -1 -1 -12 -1 -123 -1 -. -1 -. -1 -12 -. -1 -1 -1 -1 -1 -1 -. -1 -1 -1 -. -. -. -. -1 -.
% 265.48/265.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -1 -1 -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -1 -. -1 -. -. -12 -12 -1 -. -. -1 -. -. -12 -12 -1 -. -. -1 -. -. -1 -1234 -1 -. -. -1 -. -. -1 -. -. -. -12 -. -. -. -. -1 -. -. -. -. -1 -. -. -123 -. -. -. -. -12 -. -. -. -1 -123 -1 -. -. -1 -1 -. -. -. -123 -. -. -. -. -. -. -1 -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -1 -1 -1 -. -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -1 -. -1 -. -12 -. -. -. -12 -. -. -123 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -123 -12 -. -12 -. -. -123 -. -. -. -123 -12 -1 -. -1 -123 -. -. -. -. -. -123 -. -1234 -1234 -. -. -. -1 -. -1234 -1234 -. -. -. -. -12 -12 -1 -1234567 -12345 -. -. -. -. -1 -. -1 -123 -12 -1 -1234 -123 -1 -12 -1 -1 -1 -123456 -1 -12 -. -1 -12 -1 -12 -12 -123456 -1 -. -1 -. -12 -. -123 -. -. -. -12 -. -1 -12 -. -1234 -1234 -123 -12 -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -1 -1 -1 -. -. -. -. -. -1 -1 -. -.
% 268.68/268.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -12 -. -123 -12 -. -. -. -1 -. -. -1234 -1 -. -. -. -1 -1 -. -1234 -123 -. -. -. -1 -1 -. -12 -1 -. -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -1 -1 -. -. -. -1 -123 -. -12 -. -1 -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -. -12 -1 -. -. -. -123 -1234 -. -1 -. -1 -. -. -. -12 -. -. -. -12 -1 -. -. -. -. -. -123 -12 -1 -. -12 -. -. -. -1 -1 -123 -. -. -. -. -1 -. -1 -123 -12 -12 -12 -123 -12 -1234 -1 -123 -. -1 -1234 -1234 -. -. -12 -1234 -. -123 -1 -. -. -1 -. -12 -. -. -. -. -1 -12 -. -12 -1 -12345 -1 -123 -. -1234 -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -.
% 271.90/271.96 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -1 -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -123 -. -1 -. -1 -123 -123 -. -1 -. -. -12345 -12 -. -1 -1 -1 -12345 -1234567 -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1 -123 -. -. -. -. -1 -. -1 -. -. -12345 -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -1234 -. -. -. -. -1 -. -. -1 -. -. -. -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 -1 -. -. -1234 -. -12 -1 -1 -. -1 -1 -1 -. -1 -12 -123 -12 -123 -1 -1 -. -. -123 -1 -. -. -. -1 -. -1 -123 -123 -12 -1 -12345 -12345 -. -12345 -1 -12 -1 -. -123 -12 -. -. -12 -123 -. -123 -12 -. -1234567 -. -. -. -12 -1 -. -123456 -123 -12 -12 -. -12 -123 -1234567 -1 -1 -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -12 -1 -1 -1 -. -. -1 -. -.
% 275.20/275.21 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -12345 -. -1 -. -. -1 -. -1 -12345 -. -1 -. -. -1 -. -. -12 -. -1 -. -. -1 -. -. -. -. -1 -. -. -12 -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1234 -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -12 -. -1 -. -. -123 -12 -. -. -. -123 -12 -1234 -12345 -. -1 -1 -. -1 -. -. -12 -1 -1 -1 -. -. -. -. -. -123 -1 -. -1 -1 -. -1 -. -. -1234 -123 -1 -. -. -. -123 -1 -12 -1 -12 -1 -12 -1 -1 -12 -1 -1234 -. -1234 -1234 -1234 -. -. -12 -12 -1 -1 -123 -. -1 -. -1234 -. -. -. -123 -12 -12 -12 -12 -. -1 -. -1234 -. -12 -. -. -12 -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -.
% 278.38/278.45 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -1 -12 -. -. -1 -12 -. -12 -. -1 -. -1234 -. -12 -. -1 -1 -123 -. -12 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -12 -. -. -. -12 -123 -1 -12 -1 -. -1 -. -. -. -1 -12 -. -. -. -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -123 -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1234 -. -. -. -1 -. -. -. -1 -1 -1 -1 -. -12 -1 -. -1 -. -1 -. -1 -. -1 -1 -. -1 -. -. -. -1234 -12345 -. -. -. -1 -12 -12 -1234 -12 -123 -. -. -1 -1 -1 -1 -1 -12 -. -. -12 -1234 -12 -1 -1 -12345 -. -123 -. -1234 -. -. -1 -1 -1234 -. -12 -. -. -1 -123 -. -1 -1 -. -. -. -12 -123 -1 -12 -123 -12 -1 -123 -. -. -. -. -. -1 -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -1 -1 -. -1 -1 -.
% 281.60/281.62 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -123 -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -12 -1 -1 -1 -1 -1 -1234567 -123 -. -. -. -. -. -1 -123456 -123456 -. -1 -. -. -. -1 -123456 -123456 -. -1 -. -. -. -. -1234567 -123 -. -1 -. -. -1 -1 -. -123 -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -12 -1234567 -. -1 -. -. -123 -. -. -. -1 -1234 -. -. -1 -. -12345 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -1 -1 -. -. -. -. -1 -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12345 -1 -1 -. -. -12 -12 -. -. -. -12 -. -12345 -1234 -. -. -1 -12 -. -. -. -1 -12 -123 -12 -1 -. -1 -1 -. -12345 -1234 -. -1 -12 -123 -12345 -12345 -1 -1 -. -. -1 -123456 -123 -12 -1 -1234 -12 -12 -1 -12 -1 -. -1 -1234 -12345 -1234 -1 -. -. -1 -12 -123 -12 -. -. -1 -. -. -. -1234 -. -. -1 -1 -12 -1 -1234 -123 -1234 -1 -. -1 -123 -. -. -123 -. -1 -. -. -. -. -1 -12 -1 -123 -12 -. -. -12 -. -12 -123 -. -. -.
% 284.87/284.88 (SAT)(equ)(fun)(SAT) 57| -. -. -1 -. -. -. -12 -. -12 -. -. -. -. -. -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -12 -. -. -. -1 -. -. -1 -12 -. -. -. -1 -. -1 -1 -1234 -. -. -. -1 -. -1 -12 -1 -. -. -. -1 -1 -1 -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -123 -. -. -1 -. -. -1234 -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -1 -. -. -1 -1 -1 -. -. -. -12 -. -1 -. -1 -. -12 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -1 -1 -. -. -1 -1 -. -. -. -123 -123 -1 -123 -. -. -1 -. -1 -. -1 -12 -. -123 -1234 -. -1 -12 -123 -. -1234 -123 -12 -123 -1 -1 -1 -1234 -1 -. -. -1 -1 -1 -123 -123 -12345 -1234567 -. -. -12 -1 -1 -12 -1 -12 -123 -123 -. -. -. -1234 -12 -12 -12 -. -. -12 -123 -. -12 -123 -1234 -. -12 -1 -123 -1 -1 -1 -12345 -. -. -12 -12 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 288.09/288.10 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -1 -. -12 -. -. -. -. -. -1 -. -12 -. -. -. -. -1 -12 -. -12 -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -123 -. -1 -. -1234 -1 -. -12 -123 -. -1 -. -1 -12 -. -. -1 -1 -12 -1 -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -12345 -123 -. -. -. -12 -123 -1 -. -1 -. -. -12 -. -1 -. -1 -123 -12 -. -. -1 -. -. -. -1 -. -1 -. -1 -12 -123 -12 -. -12 -1 -. -. -. -1 -. -12 -1 -123 -12 -1 -1234 -1 -12 -1 -12 -123 -1 -. -1 -. -. -1234 -1 -1234 -. -. -. -12 -. -. -. -12 -. -12345 -1 -123 -. -1 -12 -123 -. -1 -. -1 -. -. -123 -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -.
% 291.28/291.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 57| -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -. -12 -. -. -123 -1 -. -. -. -123 -. -. -12 -12 -. -. -. -123 -. -. -12 -12 -. -. -. -123 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -123 -1 -. -. -12 -. -. -. -. -. -1 -12 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -123 -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -1 -1 -. -1 -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -12 -. -. -. -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -12 -123 -. -. -123 -12 -. -. -. -12 -12 -1 -12 -12 -. -. -1 -1 -1 -1 -1 -. -12 -1234 -. -1 -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -12 -1 -1 -12 -1 -12 -. -1234 -. -12 -12 -12 -123 -123 -. -. -. -123 -. -. -1 -. -1 -. -. -. -1 -1 -12 -1 -1 -1 -1234 -. -. -1 -123 -. -. -. -1 -. -. -. -. -1 -12 -. -1 -. -. -. -1 -1 -. -. -. -1 -1 -. -1 -1 -. -.
% 294.51/294.53 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -12 -123 -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -123 -1 -. -. -. -1 -1 -. -. -1 -. -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -1 -. -1 -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -12 -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -12345 -123 -123 -1 -. -1 -123 -. -. -1 -1 -1 -12 -12 -. -. -. -12 -. -. -. -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -123 -. -12 -123 -123 -123 -. -12 -1 -1 -. -. -1234 -1 -. -. -. -12 -12 -123 -. -. -. -. -. -. -. -1234 -1 -. -. -12 -12 -. -1 -1234 -1234 -1 -. -. -. -. -1 -1 -. -1 -1 -12 -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -12 -123 -. -.
% 297.69/297.77 (SAT)(equ)(fun)(SAT) 57| -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -1 -. -1 -. -1 -12 -. -. -. -1 -. -. -. -12 -. -. -. -1 -. -. -1 -12 -. -. -. -1 -. -. -12 -123 -. -. -. -1 -. -12 -. -. -. -1 -. -. -. -. -1234 -. -. -1 -1 -. -. -12 -1 -. -1 -1 -12 -12345 -. -. -. -. -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -123 -1 -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -12 -. -. -. -123 -123 -123 -12 -12 -. -. -1 -1
%------------------------------------------------------------------------------