TSTP Solution File: SWV422-1.365 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV422-1.365 : 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 : n012.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:11 EDT 2022
% Result : Timeout 286.06s 285.86s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWV422-1.365 : TPTP v8.1.0. Released v3.5.0.
% 0.06/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.34 % Computer : n012.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Wed Jun 15 21:56:09 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.13/0.34 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.13/0.34 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.20/0.41 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.20/0.49 #elt|#instances
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 374| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.53/0.71 (SAT)(equ)(fun)(SAT) 374| -123456789XLC> -. -. -1 -. -. -. -1 -. -. -. -.
% 0.67/0.83 (SAT)(equ)(fun)(SAT) 374| -123456789XLC> -. -. -. -. -. -. -. -.
% 0.79/0.95 (SAT)(equ)(fun)(SAT) 374| -123456789XL
% 0.93/1.08 (SAT)(equ)(fun)(SAT) 374| -.
% 1.02/1.18 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 1.43/1.59 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC> -. -123456789XLC> -. -. -.
% 1.71/1.88 (SAT)(equ)(fun)(SAT) 374| -123456789XLC> -123456789XLC> -123456789XLC>
% 2.03/2.24 (SAT)(equ)(fun)(SAT) 374| -123456789XL -123456789XL -123456789XL
% 2.57/2.74 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 3.54/3.72 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 4.90/5.04 (SAT)(equ)(fun)(SAT) 374| -123456789XLC> -. -. -. -123456789XLC> -1 -. -. -1 -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -123456789XLC> -123456789XLC> -1 -. -123456789XLC> -. -. -.
% 5.45/5.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -123456789XLC> -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -123456789XLC> -1
% 6.42/6.63 (SAT)(equ)(fun)(SAT) 374| -123456789XLC> -. -123456789X -. -123456789XLC> -. -123456789X -. -. -. -12 -. -. -123456789XL -123456789XLC> -. -1 -. -. -123456789XL -123456789XLC> -. -. -123456789XL -.
% 7.69/7.86 (SAT)(equ)(fun)(SAT) 374| -123456789XL -. -123456789X -. -123456789XL -. -123456789X -. -. -1234 -12 -. -. -. -123456789XL -. -12 -12 -. -. -123456789XL -. -. -.
% 8.82/8.98 (SAT)(equ)(fun)(SAT) 374| -. -. -1234567 -. -. -. -123456789X -. -. -. -123 -. -. -. -. -. -12 -. -. -. -. -. -.
% 9.69/9.91 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.64/10.85 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 13.68/13.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -123456789X -123456789XL -123456789X -. -123456789XL -. -123456789X -. -123456789XLC> -123456789XL -123456789XL -123456789X -123456789X -. -. -. -. -123456789XLC> -123456789X -123456789X -. -123456789X -. -. -123456789XL -123456789XLC> -123456789XL -. -. -. -. -. -. -. -. -1 -. -.
% 15.12/15.30 (SAT)(equ)(fun)(SAT) 374| -. -123456789XL -123456789X -123456789X -. -123456789XL -. -123456789XL -. -123456789X -123456789X -123456789XLC -123456789XL -123456789XL -1234 -1234567 -. -. -. -123456789X -123456789XL -123456789XL -123456789XL -. -123456789XL -. -. -. -123456789X -123456789XLC -123456789XLC -. -. -. -. -.
% 16.60/16.78 (SAT)(equ)(fun)(SAT) 374| -. -123456789XL -123456789X -123456789 -. -123456789X -. -123456789X -. -123456789XL -123456789X -123456789X -123456789XL -123456789XL -123456 -12 -1 -. -. -123456789X -123456789X -123456789X -123456789XL -. -123456789X -1 -. -. -123456789X -123456789X -123456789XL -. -.
% 17.90/18.12 (SAT)(equ)(fun)(SAT) 374| -. -123456789 -12345678 -12345678 -. -12 -1 -12345 -. -123456789XL -123456789X -123456789X -1234 -123456 -1 -12 -. -. -. -123456789X -1234567 -123456789X -12345 -1 -. -. -. -. -123456789X -1 -1 -1 -.
% 19.12/19.27 (SAT)(equ)(fun)(SAT) 374| -. -1234567 -123456 -1 -. -123 -1 -. -. -123 -1234 -123 -1 -12 -12 -. -. -. -. -1 -. -. -12 -. -. -. -. -. -1 -1 -. -. -.
% 20.15/20.35 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -.
% 21.29/21.49 (SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.37/22.55 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.27/23.40 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -12 -12 -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 26.31/26.45 (SAT)(equ)(fun)(SAT) 374| -. -123456789X -123456789X -123456789 -. -123456789X -123456789XL -12345 -. -1 -123456 -1 -123456789XL -123456789XLC -123456789XL -123456789XL -1234 -1234 -. -. -123 -123456789XL -123456789X -1234 -. -. -. -123456789X -. -123456789XLC> -123456789XL -123456789XL -123456789XL -123456789X -123456789XL -123456789X -1 -123 -. -. -123 -1234 -123456789XLC> -123456789XLC> -123456789X -123456789X -1234 -12345 -. -1 -1 -. -. -.
% 28.28/28.45 (SAT)(equ)(fun)(SAT) 374| -. -123456789XL -123456789X -123456789X -. -123456789XL -123456789XL -123456789X -123456789X -12345 -123 -1234 -123456789X -123456789X -123456789XL -123456789XL -123456789X -123456789XL -123456789X -123456789XL -123456789XL -123456789X -1234 -. -. -123456789X -123 -123456789X -123456789X -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789X -12 -. -. -12345 -12 -123456789X -123456789XL -123456789XL -123456789XL -123456789 -12345 -. -. -. -. -. -. -1 -. -. -.
% 30.29/30.42 (SAT)(equ)(fun)(SAT) 374| -. -123456789X -123456789X -123456789X -. -123456789X -123456789X -123456789X -123456789XL -1234 -123456789X -12345678 -123456789X -123456 -123456789XL -123456789X -123456789X -123456789XL -123456789X -123456789X -123456789X -123456789 -123456789X -. -. -123456789XL -123456789X -123456789 -123456789X -123456789XL -123456789XL -123456789X -1234567 -123456789X -123456789X -12 -. -. -123456789X -12345 -123456789X -123456789X -123456789XL -123456789XL -123456789X -12345 -. -. -1 -.
% 32.12/32.28 (SAT)(equ)(fun)(SAT) 374| -. -12345678 -123456789 -123456789X -. -123456789X -123456789X -123456789X -123456789XL -123456789X -123456789X -123 -123456789X -123456789X -123456789XL -123456789X -123456789X -123456789XL -12345678 -123456789X -1234567 -123456789 -123456789 -. -. -123456789X -123456 -123456789X -123456789 -123456789XL -123456789X -123456789X -12345678 -123456 -123456 -123 -. -. -123456789 -12 -123456789X -12345678 -123456789XL -123456789XL -123456789X -123456789X -. -1 -.
% 34.01/34.14 (SAT)(equ)(fun)(SAT) 374| -. -123456789X -1 -12345678 -. -123456789X -12345678 -123456 -123456789XL -123456789X -12345678 -1 -123456789X -123456789X -123456789XL -123456789X -123456789X -123456789X -12345678 -1234 -1234567 -123456789X -1234567 -. -. -123456789X -1 -123456 -123456 -123456789X -123456789X -123456789 -1234 -123456789X -12 -123456 -. -. -12345 -1 -123456789X -12345678 -123456789XL -123456789XL -123456 -123456789X -. -. -1 -.
% 35.83/35.99 (SAT)(equ)(fun)(SAT) 374| -. -1234 -1234 -12345 -. -12345 -12 -12345 -123456789XL -123456789X -1234567 -1 -123 -1234 -123456789X -123456789X -123456789X -123456789X -12345 -1234 -1234 -12345 -12345678 -. -. -1234567 -1 -1 -12 -123456789X -123456789 -1234 -1 -12345 -1234 -. -. -. -12 -12 -1234 -12 -123456789XL -123456789XL -12 -1234567 -. -1 -.
% 37.61/37.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -1234567 -12345 -12345 -. -123456 -1234 -123456789X -123456789XL -123456789X -12 -123 -12345 -12 -123456789X -12345 -123456789X -123456789X -12345678 -1234 -1234567 -123 -123 -. -. -1 -. -12345678 -12345678 -12 -12 -1234 -12345 -1234 -123456 -12345 -. -. -1234567 -. -123456 -12345 -123456789XL -123456789XL -123456 -123456 -. -. -. -.
% 39.39/39.51 (SAT)(equ)(fun)(SAT) 374| -. -12 -12345678 -123456 -. -12 -12 -123456 -123456789X -123456789X -1234 -. -1 -12 -123 -1234 -123456 -123456 -1234567 -1 -123 -123456 -1234 -. -. -1 -. -12 -1 -1234567 -12345 -1234 -12 -1 -12 -1234 -. -. -12345 -123 -123 -. -123456789XL -123456789XL -12345 -12345678 -.
% 41.01/41.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -123 -. -12345 -. -12 -123 -1 -123456789X -123456789X -12 -. -. -123 -12345 -123 -12345 -12345 -1 -1 -1234 -123 -123 -. -. -1 -. -123 -1 -. -. -12345 -12 -123 -123 -. -. -. -12 -. -123 -123 -123456789X -123456789X -1 -12345 -.
% 42.65/42.76 (SAT)(equ)(fun)(SAT) 374| -. -1234 -1 -12345 -. -123 -1 -12 -123456789 -123456 -1 -. -1 -1 -123 -1234 -123 -123456 -. -1234 -. -1234 -. -. -. -1 -. -. -. -1 -1 -12345 -. -123 -12 -12 -. -. -123 -12 -123 -12 -123456789X -123456789X -1 -1234 -.
% 44.23/44.37 (SAT)(equ)(fun)(SAT) 374| -. -123 -. -12 -. -1234567 -1 -. -1234 -123456 -. -1 -123 -123 -1 -1 -1 -12 -12 -. -12 -12345 -12 -. -. -1 -. -12 -1 -1 -123 -12 -12 -12 -123 -1 -. -. -1 -. -1 -12 -123456789X -123456789X -12 -1234 -.
% 45.82/45.95 (SAT)(equ)(fun)(SAT) 374| -. -. -1 -123 -. -12 -1 -1 -123456789X -1234567 -1 -. -1 -1 -1 -1 -. -. -. -1 -1 -12 -12 -. -. -1 -1 -. -1 -12 -1 -123 -12 -123 -1 -. -. -. -12 -12 -1234 -. -123456789X -123456789X -12 -123 -.
% 47.54/47.63 (SAT)(equ)(fun)(SAT) 374| -. -1 -12 -1 -. -12 -1 -1234 -123456 -1234 -. -. -. -1 -12 -1 -1 -1 -1 -1 -. -1 -. -. -. -. -. -. -123 -12 -1 -. -12 -123 -123 -. -. -. -12 -. -1 -12345 -123456789X -12345678 -1 -12 -.
% 49.14/49.23 (SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -1 -1 -1 -12 -. -1 -. -. -. -1 -1 -. -1 -1 -1 -1 -. -1 -. -. -. -1 -. -. -. -. -12 -1 -1 -12 -1 -. -. -1 -1 -. -1 -123 -123 -12 -1234 -.
% 50.64/50.75 (SAT)(equ)(fun)(SAT) 374| -. -12 -1 -1 -. -. -1 -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -1 -1 -1 -1 -1 -1 -1 -. -. -1 -. -. -. -123 -123 -1 -1 -.
% 52.11/52.26 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -1 -1 -. -. -1 -. -1 -1 -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -123 -. -. -. -12 -. -. -1 -1 -1 -. -1 -.
% 53.60/53.76 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -. -. -1 -. -1 -. -. -123 -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -12 -. -. -1 -1 -1 -. -. -.
% 55.13/55.22 (SAT)(equ)(fun)(SAT) 374| -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -1 -1 -12 -12 -. -. -. -. -. -1 -1 -. -12 -1 -. -12 -12 -1 -. -. -. -1 -1 -. -1 -1 -1 -. -. -.
% 56.66/56.75 (SAT)(equ)(fun)(SAT) 374| -. -1 -12 -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -1 -1 -. -1 -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -.
% 58.13/58.23 (SAT)(equ)(fun)(SAT) 374| -. -. -12 -12 -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -12 -. -. -12 -1 -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -.
% 59.63/59.72 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -1 -. -. -1 -. -1 -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -1 -12 -12 -. -. -.
% 61.15/61.25 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -1 -. -12 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -12 -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -1 -. -12 -12 -1 -1 -.
% 62.61/62.72 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -1 -. -. -. -. -. -. -1 -1 -1 -1 -. -. -.
% 64.13/64.22 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -1 -.
% 65.55/65.71 (SAT)(equ)(fun)(SAT) 374| -. -1 -1 -. -. -. -. -1 -. -1 -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 67.07/67.17 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 68.54/68.67 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -1 -. -. -.
% 69.06/69.14 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -1
% 69.46/69.53 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.58/70.70 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XLC -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -123456789XL -123456789XL -123456789X -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 74.08/74.15 (SAT)(equ)(fun)(SAT) 374| -. -123456789X -12345678 -1234567 -. -123456 -12345678 -123456789X -1 -123456789X -123456 -. -1234 -1234567 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789X -123456789XL -123456789XL -123456789X -123456 -123456789X -123 -12345678 -. -. -123456 -1234 -12345 -12 -123456789X -123456789X -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -1 -12 -123 -12345678 -123456789 -. -. -12345 -1 -123 -12 -123456789X -123456789X -123456 -123 -. -1 -1 -. -. -. -.
% 76.47/76.60 (SAT)(equ)(fun)(SAT) 374| -. -123456789X -123456789X -123456789XL -. -123456789X -123456789X -123456789XL -12 -123456789X -12345678 -12 -123456789 -12345678 -123456789X -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789X -12345678 -123456789X -123456789X -123456789X -. -. -123456789X -. -12345 -1234567 -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789X -123456789X -123456789X -123456789X -123456789X -. -. -1234567 -. -1234 -12 -123456789XL -123456789XL -123456789X -123456789X -. -. -. -. -1 -. -.
% 79.09/79.15 (SAT)(equ)(fun)(SAT) 374| -. -123456789X -123456789X -123456789X -. -123456789X -123456789X -123456789X -1 -123456789X -123456789 -1 -12345678 -123456 -123456789X -123456789XL -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789X -123456789X -123456789X -123456789 -123456789X -. -. -1234 -12 -123456789 -1234567 -1234567 -12345678 -123456789 -123456789X -123456789XL -123456789XL -123456789XL -123456789XL -123456789XL -123456789X -123456789X -123456789X -123456789X -123456789X -. -. -1234567 -1 -123456 -1234 -123456789X -123456789X -123456789X -1234567 -. -1 -.
% 81.59/81.70 (SAT)(equ)(fun)(SAT) 374| -. -1234567 -123456 -123456789X -. -1234567 -123456 -123456789 -1234567 -123456789X -12345678 -12 -123456789 -123456 -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789X -123456789X -123456789XL -123456789XL -12345678 -123456789X -123456789X -123456789X -123456789X -. -. -12345 -1234567 -123456789X -123456 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789XL -123456789 -123456789 -123456789 -1234567 -123456789X -. -. -12345 -1 -123456 -12345 -123456789X -123456789X -123456 -123456 -. -. -. -.
% 84.26/84.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -123456789X -12345678 -123456789X -. -123456789X -123456789X -123456789X -12 -123456789X -12345 -12 -12 -123 -1234567 -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345678 -12345 -1234567 -123456789X -123456789X -. -. -123456 -1234 -1234 -123456789X -123456789X -123456789X -123456789 -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789XL -123456789X -12 -123456789 -123456789X -123456789X -. -. -123456789 -123 -12345 -123456 -123456789X -123456789X -12345678 -123456789X -.
% 86.90/86.94 (SAT)(equ)(fun)(SAT) 374| -. -123456789X -1234567 -123456789X -. -123456 -123456789 -123456789X -1234 -123456789X -12345 -12 -123456 -1234 -1234 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -1234567 -123456789 -1234 -123456789 -123456789X -. -. -123456789X -12 -123456 -123456789 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789X -1234567 -1234567 -123456789X -123456789X -. -. -12345678 -1 -123456 -1 -123456789X -123456789X -1234 -12345678 -.
% 89.27/89.38 (SAT)(equ)(fun)(SAT) 374| -. -1234567 -12345678 -123456789X -. -1234567 -12345678 -1234567 -1234567 -1234567 -123456789 -. -1234 -123456 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789XL -12345678 -1 -123456789 -123456789X -12345678 -. -. -12345678 -1234 -1 -1 -12345678 -1234567 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345 -12345 -12345 -123456789X -123456789X -. -. -123456789X -1 -12345678 -123456 -123456789X -123456789X -1234567 -123456789X -.
% 91.69/91.79 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -123456789X -12345 -123456789 -. -123456789X -1234567 -123456789X -12 -123456 -12345678 -. -12345 -. -123456 -12345 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -1234567 -123 -. -123456789X -123456789X -. -. -123456789 -1234 -1234 -123456 -1 -12345 -12345 -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789X -1234567 -123456789X -123456789X -123456789X -. -. -123456789X -. -1234567 -1234 -123456789X -123456789X -123 -123456789X -.
% 94.14/94.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -12345678 -1234567 -123456789X -. -1234567 -123456789X -123456789X -123 -123456789X -123456789X -1 -12345678 -12345 -1234 -123456 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -1234567 -123 -123456789X -123456789X -123456789X -. -. -123456789X -1 -123456 -12345 -1 -12345 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456 -12 -123456789X -123456789X -123456789X -. -. -123456 -. -1234567 -123 -123456789X -123456789X -123 -123456789X -.
% 96.58/96.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -123456789 -1234567 -123456789X -. -123456789X -123456789X -123456 -1234 -123456 -1234567 -123 -123 -123456789 -123456 -123456789X -123456789X -1234567 -123456789X -12345678 -123456789X -123456789XL -123456789XL -123456789 -123 -1234 -123456789X -123456789X -. -. -123456 -1234 -123456 -12345678 -12345 -12345678 -12 -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -12345678 -12345 -123456 -123456789X -123456789X -. -. -123456789X -1 -12345 -12345 -123456 -123456 -123456789 -123456789X -.
% 99.00/99.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -1234 -123456789X -123456789X -. -123456789X -123456789X -1234567 -123 -12345678 -123456789 -123 -12 -1 -1234 -123456 -1234567 -123456789 -123456789X -123456 -12345678 -123456789XL -123456789XL -12345678 -123 -12345678 -123456789X -123456789X -. -. -12345678 -123 -12 -123 -12345 -12345678 -123456789X -1234567 -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456 -1234567 -123456789X -123456789X -123456789X -. -. -1234 -123 -1234567 -1 -12345678 -123456789 -12345 -123456789X -.
% 101.31/101.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -1 -123456789 -123 -. -123 -1234567 -123456789 -. -12345 -12345 -12 -12345 -123456 -12 -123456789 -123456789 -123456789X -1234 -123 -123456789 -123456789XL -123456789XL -1234 -1234567 -123456 -123456 -123456789X -. -. -1234 -1 -1234 -123456789X -12345 -1234 -12345678 -1234 -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456 -123 -123456789X -123456789X -123456789X -. -. -1234567 -. -1 -1234 -123456789X -123456789X -1234567 -1234567 -.
% 103.80/103.86 (SAT)(equ)(fun)(SAT) 374| -. -12345 -123 -1234567 -. -123 -1234 -12345 -. -1 -123456789 -1234 -123456 -1234 -1 -123 -123456789X -123 -123456789 -123456789X -123456789 -123456789XL -123456789XL -1234 -12345 -123456789X -123456789X -12345678 -. -. -12345 -1 -1234 -123456789X -1 -1234 -123456789 -123456789 -12345678 -123456789 -123456789 -123456789XL -123456789XL -123456789 -123 -123456789X -123456789 -1234567 -. -. -123 -1 -12 -1234 -1234 -1234 -1234 -123456789X -.
% 106.07/106.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -123456 -1234 -123456 -. -123 -1234 -123456 -12345678 -. -12 -1 -12345 -123 -1 -123456789X -123456789X -1234 -123456789 -1234 -123456 -123456789XL -123456789XL -123 -1234567 -1234567 -123456789X -123456789 -. -. -12 -12 -12 -1234 -123 -123456 -123456 -123456789X -123456789 -12345678 -123456789X -123456789XL -123456789XL -1234 -1234567 -123456789 -123456789 -12345678 -. -. -1234 -. -12 -12345 -12 -12 -123 -123456789X -.
% 108.41/108.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -12345 -1234 -1234 -. -12345 -12345 -123456 -. -123 -123456789 -12 -12345678 -123456789X -12 -12 -12345 -123 -123456789X -12345 -1234567 -123456789XL -123456789XL -123456789X -12345 -12345 -123456789X -12345 -. -. -123456789 -12 -1234 -123456 -12 -1234567 -1234567 -123456 -123456 -12345678 -123456 -123456789XL -123456789XL -12 -1234567 -1234 -123456789 -123456789X -. -. -123 -1 -12 -1234 -12 -12 -123456 -123456789X -.
% 110.70/110.70 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -1 -123 -123456 -. -12 -1234567 -1234 -1 -1234 -123 -1 -12345 -123 -1 -123456789 -1234567 -123 -123456789X -1234 -123456 -123456789X -123456789X -123 -12345 -123 -123456789X -123456789X -. -. -1234 -1 -1 -123456 -1 -1234 -1234 -1234 -1234567 -123456789 -123456789X -123456789XL -123456789XL -12345 -123456 -123456 -1234567 -123456789 -. -. -1 -. -. -1234 -1234567 -123456 -1234 -123456789X -.
% 113.03/113.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -123456 -123 -123456 -. -1 -12345678 -123 -. -12345 -12 -1 -12 -12 -. -12345 -123456 -1234 -12345 -1234 -1234567 -123456789X -123456789XL -123 -1234 -1234 -12345678 -1234567 -. -. -1 -12345 -1234 -. -12 -1 -123456 -123 -12345 -12345678 -12 -123456789X -123456789X -12 -1234 -1234 -123456789X -123456789X -. -. -1 -1 -1234 -123 -1 -123 -12 -123456789X -.
% 115.20/115.24 (SAT)(equ)(fun)(SAT) 374| -. -12 -1234 -12345 -. -. -123 -123 -. -12345 -123 -. -123 -123 -123 -12 -123 -. -1234 -12345 -. -123456789X -123456789X -123 -1234 -12345 -123456789 -123456789 -. -. -12 -1234 -123456 -1 -1 -12 -1234 -1 -1234567 -1234 -123456789 -123456789X -123456789X -12 -. -1234567 -12345678 -1234 -. -. -. -. -. -1 -123 -123 -12345678 -12345678 -.
% 117.37/117.39 (SAT)(equ)(fun)(SAT) 374| -. -1 -123 -12 -. -12 -12 -123 -. -12 -1 -1 -123 -123 -1234 -123 -123 -12 -1234 -1234 -123 -123456789X -123456789X -12345 -12345 -123456 -1234 -123 -. -. -1 -123 -1 -123 -12 -1234 -123456789 -123 -12345 -12 -123456 -123456789X -123456789X -123456 -1234 -12345 -123456789 -123456 -. -. -12 -1 -1 -1 -. -. -123 -12345 -.
% 119.51/119.51 (SAT)(equ)(fun)(SAT) 374| -. -. -123 -1234 -. -. -12345678 -12 -12 -. -123 -1 -12345 -12 -. -123 -1234567 -. -12 -12 -123 -123456789X -123456789X -12345 -12 -123 -12345678 -123456789X -. -. -1 -. -1 -123456 -1 -12 -1234 -. -12345 -1 -12345 -123456789X -123456789X -1 -12 -1234 -123456789X -12 -. -. -1 -. -1 -. -12 -123 -. -123456789 -.
% 121.57/121.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -123 -1 -. -. -1234 -123 -. -. -12 -. -1 -. -1 -12345 -12 -1 -1234 -1 -12345 -123456789X -123456789X -123 -. -1 -123456 -1 -. -. -12 -. -1234 -123456 -12 -123 -1 -. -12 -12 -12 -123456789X -123456789X -1 -12 -123 -12345 -12345678 -. -. -123 -1 -1 -. -. -. -123 -123456789 -.
% 123.61/123.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -12345 -1 -. -12 -12345 -. -. -. -. -. -12 -12 -. -1234 -1 -. -123 -1 -12 -12 -12 -123 -12 -1 -123 -12 -. -. -12 -1 -123 -. -. -1 -1 -. -. -. -123 -12345678 -12345678 -1234 -12 -1 -12345 -123 -. -. -. -1 -. -1 -. -. -12 -123 -.
% 125.71/125.72 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -1 -. -1 -1 -. -12 -1 -. -12 -123 -12 -. -. -1 -12 -12345 -12345 -12 -. -. -1 -1 -. -. -. -1 -1 -1 -. -12 -. -12 -. -123 -12 -123 -123 -12 -. -1 -1 -12 -. -. -1 -1 -. -. -1 -12 -12 -123 -.
% 127.61/127.64 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -. -123456 -12 -. -1 -. -. -. -1 -. -123 -1 -. -1 -. -123 -12345 -12345 -1 -. -. -12 -1 -. -. -1 -. -. -12 -. -1 -. -. -12 -12 -. -12 -12 -1 -. -. -1234 -12 -. -. -1 -. -. -. -1 -12 -1 -1234 -.
% 129.56/129.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -1 -12 -. -. -1 -1 -1 -. -1 -1 -. -123 -1 -. -12 -. -1 -1 -12 -1 -123456789 -123456789 -. -. -. -123 -. -. -. -1 -. -1 -12 -. -123 -. -. -12 -1 -. -123456789X -123456789X -12 -12 -12 -1 -. -. -. -. -. -. -. -. -1 -12 -123 -.
% 131.54/131.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -. -12 -. -. -. -. -. -1 -1 -. -. -1 -. -. -1 -. -1 -1 -12 -. -. -123 -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -12 -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -.
% 133.44/133.49 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -. -12 -. -. -. -. -. -12 -12 -. -. -. -1 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -123 -1234 -1 -. -. -123 -1 -. -. -. -. -. -. -. -. -12 -123 -.
% 135.46/135.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -12 -. -1 -. -. -. -. -. -123 -123 -. -1 -. -12 -. -. -. -1 -. -. -1 -. -. -. -. -. -123 -123 -1 -1 -. -123 -. -. -. -. -. -. -. -. -1 -. -. -.
% 137.33/137.32 (SAT)(equ)(fun)(SAT) 374| -. -12 -. -. -. -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -12 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -12 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -12 -123 -.
% 139.16/139.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -123456 -1234567 -1 -. -. -1 -1 -. -. -. -. -1 -12 -1 -. -. -. -. -123456 -123456 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -12 -.
% 140.96/140.97 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -1 -1 -. -. -. -12 -. -. -. -1 -. -. -. -. -. -1 -1 -.
% 142.83/142.80 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -1 -. -. -. -. -. -. -12 -. -. -. -1 -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -.
% 144.66/144.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -.
% 146.48/146.43 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 148.26/148.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -.
% 149.95/149.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.74/151.70 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 154.65/154.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -1 -. -.
% 154.89/154.88 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 154.97/154.96 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 155.04/155.06 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 158.06/158.06 (SAT)(equ)(fun)(SAT) 374| -.
% 158.16/158.17 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 161.17/161.13 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -.
% 161.28/161.23 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -.
% 161.38/161.34 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -1 -. -. -. -.
% 161.57/161.50 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -.
% 161.68/161.63 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 164.66/164.61 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -.
% 164.79/164.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -.
% 164.96/164.88 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 165.01/164.96 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 165.09/165.08 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 168.19/168.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 168.29/168.23 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 168.38/168.30 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 168.47/168.39 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 171.27/171.26 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 171.42/171.38 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 171.52/171.45 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 171.58/171.54 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 174.50/174.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 174.61/174.55 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 174.71/174.62 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 174.80/174.72 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 177.60/177.56 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 177.71/177.66 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 177.81/177.73 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 177.91/177.83 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 180.80/180.73 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -.
% 180.95/180.86 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 183.70/183.69 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -.
% 183.85/183.78 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -.
% 184.00/183.91 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 184.10/184.01 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 186.93/186.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 187.04/186.96 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 187.14/187.04 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 190.01/189.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 190.04/190.00 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 190.14/190.08 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 190.22/190.17 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 193.11/192.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 193.21/193.10 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 193.26/193.18 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 193.34/193.27 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 196.21/196.14 (SAT)(equ)(fun)(SAT) 374| -.
% 196.36/196.23 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 199.15/199.04 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -.
% 199.24/199.17 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 199.37/199.24 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 199.45/199.34 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 202.25/202.16 (SAT)(equ)(fun)(SAT) 374| -.
% 202.35/202.25 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 205.16/205.05 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -.
% 205.25/205.18 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 205.35/205.26 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 208.23/208.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 208.35/208.22 (SAT)(equ)(fun)(SAT) 374| -. -1 -.
% 208.43/208.30 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 208.53/208.39 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 211.38/211.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -.
% 211.47/211.39 (SAT)(equ)(fun)(SAT) 374| -. -1 -.
% 211.55/211.46 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 211.67/211.54 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 211.75/211.63 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 214.57/214.43 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -. -. -.
% 214.64/214.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 214.79/214.65 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 214.88/214.74 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 217.66/217.55 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 217.79/217.68 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 217.89/217.77 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 220.69/220.58 (SAT)(equ)(fun)(SAT) 374| -.
% 220.77/220.67 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 223.58/223.48 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -.
% 223.77/223.61 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 223.88/223.71 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 226.79/226.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 226.87/226.76 (SAT)(equ)(fun)(SAT) 374| -. -1 -.
% 226.99/226.83 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 227.09/226.93 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 229.88/229.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -.
% 229.99/229.84 (SAT)(equ)(fun)(SAT) 374| -. -1 -.
% 230.10/229.93 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 230.10/230.00 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 230.20/230.09 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 233.10/232.91 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 233.19/233.02 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 233.29/233.11 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 236.08/235.91 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 236.21/236.04 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 236.29/236.14 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 239.13/238.95 (SAT)(equ)(fun)(SAT) 374| -.
% 239.19/239.04 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 242.13/241.94 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -.
% 242.22/242.07 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 242.29/242.14 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 242.43/242.24 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 245.20/245.04 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 245.33/245.14 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 245.42/245.23 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 248.22/248.06 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 248.32/248.18 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 248.40/248.28 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 251.22/251.09 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 251.30/251.19 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 251.41/251.26 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 251.51/251.36 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 254.31/254.16 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 254.43/254.26 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 254.51/254.36 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 257.48/257.27 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -.
% 257.55/257.36 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -.
% 257.63/257.46 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 257.81/257.61 (SAT)(equ)(fun)(SAT) 374| -. -1 -.
% 257.83/257.68 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 257.93/257.76 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 258.01/257.85 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 260.86/260.66 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -. -. -.
% 260.92/260.77 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 261.06/260.87 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 261.14/260.95 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 261.21/261.04 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 264.05/263.84 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 264.15/263.94 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 264.22/264.01 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 264.32/264.11 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 267.11/266.92 (SAT)(equ)(fun)(SAT) 374| -.
% 267.25/267.01 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 270.05/269.85 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -.
% 270.15/269.94 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -.
% 270.24/270.06 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -1 -. -.
% 270.45/270.22 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 270.45/270.29 (SAT)(equ)(fun)(SAT) 374| -. -1 -.
% 270.54/270.37 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 270.63/270.47 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 273.63/273.45 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -. -. -.
% 273.74/273.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -.
% 273.85/273.67 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 273.95/273.77 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 276.74/276.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 276.93/276.68 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 276.96/276.77 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 277.06/276.86 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 279.88/279.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 280.02/279.79 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 280.12/279.87 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 280.18/279.95 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 282.96/282.78 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 283.06/282.88 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 283.15/282.98 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 286.06/285.86 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 286.26/286.00 (SAT)(equ)(fun)(SAT) 374| -. -1 -.
% 286.26/286.09 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 286.36/286.18 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 289.37/289.09 (SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -.
% 289.47/289.20 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 289.49/289.30 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 292.41/292.21 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 292.58/292.31 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 292.68/292.42 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 295.56/295.32 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -.
% 295.70/295.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -1 -. -. -.
% 295.85/295.58 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 295.91/295.68 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 298.86/298.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 298.97/298.71 (SAT)(equ)(fun)(SAT) 374| -1 -.
% 299.03/298.78 (SAT)(equ)(fun)(SAT) 374| -. -. -.
% 299.11/298.87 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
%------------------------------------------------------------------------------