TSTP Solution File: SWV422-1.105 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV422-1.105 : 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 : n013.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:10 EDT 2022
% Result : Unsatisfiable 88.43s 88.60s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : SWV422-1.105 : 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.33 % Computer : n013.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Wed Jun 15 08:10:59 EDT 2022
% 0.12/0.33 % 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.12/0.37 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.39 #elt|#instances
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 114| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.18/0.47 (SAT)(equ)(fun)(SAT) 114| -123 -. -. -1 -. -. -. -1 -. -. -. -.
% 0.18/0.49 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -.
% 0.18/0.50 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 0.54/0.71 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -123 -. -. -123 -. -123 -. -. -.
% 0.60/0.78 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 0.60/0.83 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 0.76/1.00 (SAT)(equ)(fun)(SAT) 114| -123456789XLC> -. -. -. -123456789XLC> -1 -. -. -1 -. -. -. -. -12 -123456789XLC> -. -. -. -. -12 -123456789XLC> -1 -. -123 -. -. -.
% 1.05/1.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -12 -. -. -. -1
% 1.15/1.38 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.34/1.51 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 1.64/1.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -12345 -1 -. -12 -. -123 -. -. -12345 -123456789XL -1 -1 -. -. -. -. -. -12 -123456789XL -. -123 -. -. -. -12 -12345 -. -. -. -. -. -. -. -. -1 -. -.
% 1.73/1.98 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1234 -. -. -. -12 -. -123 -123456789X -123456789X -12 -. -. -. -. -. -. -123 -12 -123 -. -. -1 -. -. -. -. -. -12 -. -. -. -. -.
% 1.94/2.14 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 2.05/2.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 2.14/2.32 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 2.44/2.63 (SAT)(equ)(fun)(SAT) 114| -. -. -123456789X -. -. -1 -1 -. -. -. -. -. -123456789XL -123456789X -. -123456789X -123456789X -. -. -. -. -. -. -. -. -12 -123456789X -123456789XL -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -.
% 2.63/2.84 (SAT)(equ)(fun)(SAT) 114| -. -1 -1234567 -123456789X -. -. -. -. -123456789X -123456789X -1 -123 -123456789XL -12345678 -. -. -1234 -1 -. -. -. -12345678 -1234567 -12 -1 -123456789X -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 2.84/3.03 (SAT)(equ)(fun)(SAT) 114| -. -1234 -12345678 -12 -. -. -123456 -12 -1 -1 -123456 -1234567 -12345 -1 -. -12345 -123456 -. -. -. -. -123456789X -123456789 -12345 -1234 -1234 -12345 -1 -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -.
% 3.02/3.20 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -. -. -. -. -1 -1 -. -1234 -123 -1234567 -1 -. -12 -1 -. -. -. -. -1 -12 -1234567 -1234567 -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 3.13/3.38 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -1 -12 -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -12 -12 -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 3.36/3.54 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -1 -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 3.53/3.70 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.67/3.86 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.83/4.01 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.97/4.14 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -123456 -12345678 -1 -1234 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XL -12 -12 -123 -12 -123 -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 4.27/4.45 (SAT)(equ)(fun)(SAT) 114| -. -1234 -12345 -12 -. -123 -123456789X -1234 -. -. -12 -. -12 -1 -1234567 -123 -123456 -1234567 -123456789XL -123456789XL -1 -123456789X -123456789X -. -123 -1 -1 -1 -. -. -12345 -1 -12 -. -12 -1 -123456789XL -123456789XL -12345 -12345 -1234567 -123456789X -123456789X -12 -123 -123456789X -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -.
% 4.56/4.73 (SAT)(equ)(fun)(SAT) 114| -. -123456789 -12345678 -123456789X -. -1234 -123456789X -123456789X -1 -. -123456789X -. -123456 -1234 -123 -123 -123 -12 -12345 -12345 -. -123456789X -123456789X -12345 -12345678 -1234567 -12 -1234 -. -. -1 -. -1 -123 -123 -12345 -123456789X -123456789X -123456789X -123456789X -123456789X -12345678 -123456789X -123456 -123456 -12 -1 -12 -. -. -1 -. -1 -1 -1 -1 -123456789 -12 -.
% 4.84/5.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12345678 -1234567 -123456789 -. -123456789 -12345 -123456789X -123456 -1234567 -123 -. -1 -1 -1 -1234 -1 -123 -12345 -1 -12 -123456789X -123456789X -123456789X -123 -123 -1 -123456789 -. -. -12 -12 -1 -. -. -123456789X -12 -123456 -123456789 -123456789 -123456789X -12345678 -123456789X -123 -123 -. -123 -1 -. -. -. -. -. -. -123456789X -123456789X -123456789X -. -. -. -1 -. -. -. -.
% 5.14/5.31 (SAT)(equ)(fun)(SAT) 114| -. -12345678 -1234 -123456789X -. -123456789X -12345 -123456789 -123456789X -123456789X -123456 -1 -1 -12 -123 -12345 -123 -12 -1234 -1234567 -12345 -123456789X -123456789X -1234567 -1 -123 -12345678 -12345678 -. -. -123 -1 -1 -1 -1 -123 -123456 -1234567 -12345 -1234567 -12345678 -123456789 -123456789X -12345678 -. -. -123456 -1234 -. -. -1 -. -. -1 -123456789XL -123456789XL -123456 -1234567 -. -. -. -. -1 -. -.
% 5.44/5.63 (SAT)(equ)(fun)(SAT) 114| -. -123456 -1234 -. -. -123456789 -12 -1234 -123456789X -123456789X -123 -. -. -12 -12 -12345 -123 -1234 -12345 -12345 -123456789X -123456789X -123456789X -12345 -1234 -12 -1234 -1234567 -. -. -12345 -1 -1 -12 -1 -12 -123 -1 -123456 -123456 -123456 -123456789X -123456789X -1234 -1234 -1 -12345 -1234567 -. -. -12 -. -1 -. -123456789XL -123456789XL -1234 -123 -. -1 -.
% 5.74/5.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -123456 -1234 -12345678 -. -12 -12 -12 -123456789X -123456789X -1234 -. -12 -123 -1 -1 -1 -. -1 -1234 -12345678 -123456789X -123456789X -123 -123 -123 -12345678 -1234 -. -. -1 -. -12345 -12 -. -12 -123456 -12345678 -12345 -123 -123 -123456789X -123456789X -12345678 -123 -. -123 -12345 -. -. -12 -. -12 -1 -123456789X -123456789X -12 -123456789X -. -. -. -.
% 6.04/6.26 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -1 -123 -. -123456789 -. -12 -123 -12345 -12 -. -123 -123 -1 -12 -12 -1 -123 -123456 -123456789X -1234 -12345678 -12345 -1 -1 -123 -12 -. -. -12 -. -12 -1234 -12 -12345 -123 -1 -1234567 -12345 -12345 -123456789X -123456789X -1234 -12 -1 -1234567 -123 -. -. -12345678 -. -1234 -. -123456789X -123456789X -123456 -1234567 -.
% 6.35/6.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1234 -1234 -123456 -. -123456789X -1234 -123456 -12345678 -123456789X -12 -1 -123 -123 -12 -. -1234 -1 -1234 -12 -123456 -123456789X -123456789X -12345 -12 -12 -12345 -12345 -. -. -123 -1 -12 -1 -12 -123456 -123456789 -123456789 -123456 -123456 -123 -12345678 -123456789 -123456 -12 -12 -12 -1234 -. -. -123 -. -12345 -. -123456789X -123456789X -12 -12345 -.
% 6.64/6.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12345 -123 -1234 -. -123 -123456 -12 -1234567 -123 -1 -. -. -1 -. -123456789X -12 -1234 -12 -1 -1234 -123456789X -123456789X -1234567 -1 -123 -1234567 -12 -. -. -. -. -12 -12 -1 -123 -123 -123456 -123456789 -1234567 -12345 -123456789X -123456789X -12 -12 -. -1234567 -123 -. -. -12 -. -12345 -. -123456789X -123456789X -1234 -123456 -.
% 6.96/7.17 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -12 -123 -. -12 -1234567 -123456 -1 -1234567 -1 -. -. -1 -. -123 -123 -12 -123 -12 -123456 -123456789X -123456789X -12 -12 -12 -1234567 -123 -. -. -1 -. -123 -1 -12 -12345 -123 -12345 -1234 -123 -12 -123456789X -123456789X -123 -. -1234 -12345 -123456 -. -. -123 -. -1234 -1 -123456789X -123456789 -12 -123 -.
% 7.26/7.47 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -1 -123 -. -123456 -1234 -1234 -1234 -1 -. -. -. -. -1 -12 -1234 -. -12 -1234 -12345 -123456789X -123456789X -12 -12 -12 -123 -12345 -. -. -1234 -1 -123 -1 -. -123 -123 -. -123 -12 -123 -123456789X -123456789X -1 -123 -. -1234567 -123456 -. -. -1234 -. -12345 -1 -123456 -123456789 -123 -1234 -.
% 7.55/7.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1234 -1 -1234 -. -1234567 -1 -1234567 -123 -123 -123456 -. -1 -123 -. -12 -1 -1 -123 -1 -1234 -12345678 -123456789X -1 -1 -1 -123456 -1234 -. -. -1 -. -123456 -1 -. -123 -1234 -12 -123 -123 -1234567 -123456789X -123456789X -123 -1 -12 -12345 -1234 -. -. -12345 -. -1 -. -123456789X -12345678 -123 -123 -.
% 7.85/8.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -123 -12 -12 -. -1234 -123 -123 -123 -1234 -1 -. -1 -123 -. -123 -12 -1 -12 -1 -123 -123456789 -123456789 -12345678 -1 -123 -12345 -123456 -. -. -12 -. -123 -. -1 -12 -. -1234 -1 -12 -12 -1234567 -12345678 -12 -. -123 -123456789X -12345 -. -. -1 -. -12 -. -123456789X -123456 -1234567 -123456 -.
% 8.16/8.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12345 -1 -1 -. -123456 -123 -123 -1234 -1234 -123 -. -1 -1234 -1 -12 -12 -123 -1234 -. -123 -123456 -12345 -12 -1 -1 -123456789 -123 -. -. -123 -. -12 -1 -1 -1234 -1 -12345 -1234 -1 -123 -1234567 -123456789X -12 -1 -. -1234 -1234 -. -. -123 -. -123456 -. -12345 -1234 -12345 -1 -.
% 8.45/8.66 (SAT)(equ)(fun)(SAT) 114| -. -12 -1234 -1 -. -12 -1 -12 -12 -. -1 -. -12 -1 -. -1234 -12 -1 -1 -1 -123 -12345 -1234 -123 -12 -1 -12345 -1234567 -. -. -123 -1 -12 -1 -1 -. -12 -12 -123 -123 -12 -123456789X -123456789X -123 -1 -. -12 -1234567 -. -. -1234 -. -1234 -1 -12345 -12345 -1 -123 -.
% 8.74/8.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12 -123 -12 -. -. -12 -1234 -. -. -1 -. -1 -123 -. -1234 -1 -1 -123 -. -1 -12345 -1234567 -123456 -1 -12 -1 -1 -. -. -123 -. -123 -. -. -1 -. -1 -12 -1 -1 -1234567 -123456789X -1 -. -1 -12345678 -. -. -. -123 -. -. -. -12 -12 -123 -1 -.
% 9.05/9.23 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12 -. -12 -. -12345 -1234 -1 -. -12 -. -. -1 -1 -1 -1234 -. -. -12345 -. -123 -12345 -123456 -12 -123 -. -1234567 -12 -. -. -1 -. -1 -12 -. -12 -12 -. -12 -1234 -1 -123456 -12345 -123 -123 -12 -1234 -1 -. -. -. -. -123 -. -123 -1 -1 -123 -.
% 9.34/9.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -. -12 -12 -. -123 -1 -. -. -1 -12 -. -. -. -1 -. -12 -1234 -123456789 -123456789X -1 -. -1 -1234 -1 -. -. -12 -1 -123456 -1 -. -12 -12 -1 -1 -. -. -12345678 -1234567 -12 -1 -123 -12 -12345 -. -. -12 -. -12 -. -12 -12 -1 -1234 -.
% 9.55/9.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -. -1 -12 -123 -. -. -12 -. -. -1 -. -. -. -. -12 -12 -12 -123456789 -12345678 -. -. -1234 -1 -1 -. -. -1234 -. -1 -1 -1 -12 -1234 -1 -. -1 -12 -123456 -1234567 -12 -1 -123 -12 -123 -. -. -1 -. -. -. -. -. -12 -12 -.
% 9.85/10.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -. -12 -. -1 -123 -1 -1 -. -. -. -12 -1 -. -12 -. -. -. -1 -1 -1234567 -1234567 -123 -. -1 -123 -123 -. -. -123 -1 -. -1 -. -12 -12 -1 -. -1 -. -1234567 -12345678 -1234 -. -. -1 -1 -. -. -. -. -. -. -12 -1 -12345 -12 -.
% 10.15/10.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -1 -. -1 -12 -1 -1 -. -1 -. -. -. -. -. -. -. -12 -1 -. -12345 -123456 -1 -. -. -1234 -1 -. -. -12 -. -123 -. -. -12 -. -1 -12 -. -. -12 -123 -12 -1 -. -1234 -123 -. -. -1 -. -1 -. -12 -1 -12 -12 -.
% 10.38/10.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -. -1 -123 -. -1 -. -. -. -1 -. -12 -. -. -1 -. -. -1 -1 -1 -1 -. -1 -. -. -. -1 -. -12 -. -. -1 -. -. -1 -. -. -1234 -12345 -12 -1 -. -1 -123456 -. -. -. -. -1 -1 -1 -. -. -12 -.
% 10.67/10.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -. -12 -. -. -1 -1 -. -. -. -. -. -1 -. -1 -. -1 -123 -1234 -1 -1 -. -. -12 -. -. -1 -. -. -. -1 -1 -. -. -12 -1 -12 -12 -12 -12 -. -1 -1 -1 -. -. -1 -. -12 -. -1 -1 -. -1 -.
% 10.93/11.10 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -1 -12 -. -1 -. -1 -. -. -1 -. -1 -. -. -. -. -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -1234 -1234 -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -12 -12 -.
% 11.12/11.36 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -12 -1 -. -. -12 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -.
% 11.44/11.61 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.67/11.85 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -.
% 11.87/12.08 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -12 -.
% 12.16/12.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.34/12.54 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -.
% 12.56/12.77 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -.
% 12.85/13.00 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -.
% 13.06/13.22 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.27/13.45 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -.
% 13.57/13.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -.
% 13.83/14.00 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -.
% 14.04/14.23 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.27/14.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.47/14.69 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 14.55/14.73 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 14.85/15.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 15.07/15.27 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 15.07/15.28 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 15.07/15.30 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 15.37/15.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 15.47/15.65 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 15.47/15.67 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 15.76/15.96 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 15.76/15.98 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 15.85/15.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 15.85/16.02 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 15.85/16.04 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 15.85/16.06 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 16.16/16.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 16.16/16.36 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 16.16/16.38 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 16.16/16.40 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 16.44/16.67 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 16.55/16.70 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 16.56/16.71 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 16.56/16.73 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 16.56/16.75 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 16.87/17.03 (SAT)(equ)(fun)(SAT) 114| -.
% 16.87/17.05 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 17.17/17.32 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -.
% 17.17/17.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 17.17/17.37 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 17.47/17.64 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 17.47/17.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 17.47/17.69 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 17.47/17.71 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 17.58/17.72 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 17.58/17.74 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 17.58/17.76 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 17.58/17.77 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 17.65/17.79 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 17.88/18.07 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 17.88/18.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 17.95/18.11 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 17.95/18.13 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 18.24/18.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 18.24/18.43 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 18.24/18.44 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 18.24/18.46 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 18.33/18.48 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 18.35/18.50 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 18.55/18.77 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 18.64/18.79 (SAT)(equ)(fun)(SAT) 114| -.
% 18.66/18.81 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 18.93/19.08 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 18.94/19.10 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -.
% 18.97/19.12 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 18.97/19.15 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 18.97/19.18 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 19.25/19.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 19.25/19.49 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 19.35/19.50 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 19.35/19.52 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 19.56/19.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 19.66/19.82 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 19.66/19.83 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 19.66/19.85 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 19.66/19.86 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 19.66/19.88 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 19.95/20.16 (SAT)(equ)(fun)(SAT) 114| -.
% 19.95/20.17 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 20.25/20.45 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 20.25/20.47 (SAT)(equ)(fun)(SAT) 114| -.
% 20.34/20.49 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 20.56/20.76 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 20.64/20.78 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 20.64/20.80 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 20.64/20.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 20.93/21.09 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 20.93/21.11 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 20.93/21.13 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 21.24/21.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 21.24/21.43 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 21.24/21.45 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 21.55/21.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 21.55/21.74 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 21.55/21.76 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 21.55/21.78 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 21.83/22.05 (SAT)(equ)(fun)(SAT) 114| -.
% 21.92/22.07 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 22.14/22.35 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 22.14/22.37 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 22.24/22.39 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 22.26/22.41 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 22.27/22.42 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 22.27/22.44 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 22.56/22.71 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 22.57/22.74 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 22.86/23.00 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 22.86/23.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 22.86/23.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 22.86/23.08 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 22.86/23.09 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 22.95/23.11 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 22.95/23.13 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 23.15/23.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 23.25/23.42 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 23.25/23.44 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 23.25/23.46 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 23.55/23.73 (SAT)(equ)(fun)(SAT) 114| -.
% 23.55/23.75 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 23.86/24.01 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 23.86/24.04 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 23.86/24.06 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 23.86/24.07 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 23.95/24.09 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 24.17/24.37 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 24.24/24.39 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 24.24/24.40 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 24.24/24.42 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 24.54/24.70 (SAT)(equ)(fun)(SAT) 114| -.
% 24.54/24.72 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 24.78/24.98 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 24.85/25.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 24.85/25.03 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 24.85/25.05 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.15/25.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 25.15/25.34 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 25.15/25.36 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 25.15/25.38 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 25.44/25.65 (SAT)(equ)(fun)(SAT) 114| -.
% 25.53/25.67 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 25.76/25.94 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 25.76/25.96 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 25.85/25.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 25.87/26.01 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 25.88/26.03 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 26.15/26.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 26.18/26.32 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 26.18/26.34 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 26.18/26.36 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.47/26.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 26.47/26.65 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 26.47/26.67 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 26.47/26.69 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 26.76/26.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 26.76/26.98 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 26.76/27.00 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 26.86/27.02 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 26.86/27.04 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 27.16/27.31 (SAT)(equ)(fun)(SAT) 114| -.
% 27.16/27.33 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 27.37/27.60 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 27.47/27.62 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 27.47/27.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 27.47/27.67 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 27.47/27.69 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 27.78/27.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 27.78/27.99 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 27.78/28.00 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 27.87/28.02 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 28.08/28.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 28.17/28.32 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 28.17/28.34 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 28.17/28.36 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 28.48/28.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 28.48/28.65 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 28.48/28.67 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 28.48/28.69 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 28.55/28.71 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 28.55/28.72 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 28.86/28.99 (SAT)(equ)(fun)(SAT) 114| -.
% 28.86/29.01 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 29.15/29.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 29.15/29.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 29.15/29.33 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 29.15/29.34 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 29.15/29.37 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 29.46/29.65 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -.
% 29.46/29.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -.
% 29.57/29.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 29.58/29.74 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 29.58/29.75 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 29.58/29.77 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 29.58/29.79 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.88/30.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 29.88/30.10 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 29.97/30.13 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 29.97/30.15 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 30.27/30.44 (SAT)(equ)(fun)(SAT) 114| -.
% 30.27/30.46 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 30.56/30.73 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 30.56/30.76 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 30.56/30.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 30.67/30.81 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 30.67/30.82 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 30.67/30.84 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 30.67/30.86 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 30.95/31.14 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 30.95/31.16 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 31.05/31.18 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 31.06/31.20 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 31.08/31.22 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 31.08/31.24 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 31.08/31.26 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 31.39/31.53 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 31.39/31.55 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 31.39/31.58 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 31.69/31.85 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 31.69/31.87 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 31.69/31.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 31.78/31.92 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 31.78/31.94 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 31.78/31.96 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 31.78/31.97 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 31.86/31.99 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.09/32.26 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 32.09/32.29 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 32.17/32.30 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 32.39/32.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 32.47/32.60 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 32.47/32.62 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.75/32.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 32.75/32.92 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 32.75/32.93 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 32.75/32.95 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 33.07/33.23 (SAT)(equ)(fun)(SAT) 114| -.
% 33.07/33.25 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 33.36/33.52 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 33.36/33.54 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 33.36/33.57 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 33.45/33.59 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 33.47/33.61 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 33.48/33.62 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 33.48/33.64 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 33.77/33.92 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 33.77/33.94 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 34.07/34.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 34.07/34.25 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 34.07/34.27 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 34.38/34.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 34.38/34.56 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 34.38/34.58 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 34.69/34.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 34.69/34.88 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 34.69/34.90 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 34.78/34.92 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 34.99/35.19 (SAT)(equ)(fun)(SAT) 114| -.
% 34.99/35.21 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 35.29/35.48 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 35.29/35.50 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 35.38/35.52 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 35.38/35.54 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 35.38/35.56 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 35.70/35.83 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 35.70/35.86 (SAT)(equ)(fun)(SAT) 114| -.
% 35.70/35.88 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 36.00/36.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 36.00/36.18 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 36.08/36.20 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 36.08/36.22 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.36/36.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 36.36/36.52 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 36.36/36.54 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.67/36.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 36.67/36.84 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 36.67/36.85 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 36.67/36.87 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 36.97/37.14 (SAT)(equ)(fun)(SAT) 114| -.
% 36.97/37.16 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 37.28/37.43 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 37.28/37.46 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 37.28/37.48 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 37.28/37.49 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 37.37/37.52 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 37.57/37.79 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 37.67/37.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 37.67/37.84 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 37.67/37.86 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 37.98/38.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 37.98/38.16 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 37.98/38.18 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.26/38.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 38.26/38.48 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 38.37/38.50 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.56/38.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 38.56/38.80 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 38.68/38.81 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 38.70/38.83 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 38.96/39.11 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 39.00/39.13 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 39.00/39.15 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 39.30/39.43 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 39.30/39.45 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 39.30/39.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 39.30/39.50 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 39.30/39.51 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 39.41/39.54 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 39.61/39.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 39.71/39.83 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 39.71/39.85 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 39.99/40.12 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 39.99/40.15 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 39.99/40.17 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 40.07/40.19 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 40.29/40.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 40.29/40.48 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 40.38/40.50 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 40.38/40.52 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 40.68/40.79 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 40.68/40.82 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 40.68/40.84 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 40.68/40.86 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 40.99/41.13 (SAT)(equ)(fun)(SAT) 114| -.
% 40.99/41.15 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 41.28/41.43 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 41.28/41.45 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 41.28/41.48 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 41.38/41.50 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 41.59/41.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 41.68/41.80 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 41.68/41.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 41.90/42.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 41.98/42.12 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 41.98/42.14 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 41.98/42.16 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 42.28/42.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 42.28/42.46 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 42.28/42.47 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 42.37/42.49 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 42.59/42.77 (SAT)(equ)(fun)(SAT) 114| -.
% 42.68/42.79 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 42.90/43.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 42.90/43.08 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 42.97/43.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 42.97/43.13 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 42.97/43.15 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 42.97/43.17 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 43.07/43.19 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 43.09/43.21 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.36/43.48 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 43.39/43.51 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 43.41/43.53 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 43.67/43.80 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 43.71/43.83 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 43.71/43.85 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 43.71/43.87 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 44.01/44.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 44.01/44.17 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 44.01/44.19 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 44.09/44.21 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 44.30/44.49 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 44.39/44.52 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 44.39/44.54 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 44.39/44.56 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 44.69/44.85 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 44.69/44.88 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 44.99/45.18 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 45.09/45.21 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 45.09/45.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 45.09/45.27 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 45.09/45.28 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 45.19/45.30 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 45.19/45.32 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 45.19/45.34 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.60/45.80 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 45.70/45.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 45.79/45.92 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 45.79/45.96 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 45.88/46.00 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 45.88/46.04 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 45.98/46.09 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 46.56/46.68 (SAT)(equ)(fun)(SAT) 114| -.
% 46.61/46.73 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 47.18/47.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 47.21/47.37 (SAT)(equ)(fun)(SAT) 114| -.
% 47.30/47.42 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 47.80/48.00 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 47.89/48.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 47.98/48.12 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 47.98/48.16 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 48.08/48.20 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 48.09/48.25 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.69/48.82 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 48.69/48.88 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 48.79/48.93 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 49.39/49.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 49.39/49.56 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 49.48/49.61 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 49.99/50.18 (SAT)(equ)(fun)(SAT) 114| -.
% 50.07/50.23 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 50.67/50.81 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 50.67/50.86 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 50.80/50.92 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 50.80/50.96 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 50.80/51.00 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 50.89/51.05 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 50.97/51.10 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.48/51.68 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 51.57/51.74 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 52.18/52.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 52.27/52.39 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 52.30/52.43 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 52.30/52.48 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 52.89/53.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 52.98/53.12 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 52.98/53.18 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 53.09/53.22 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 53.09/53.26 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 53.19/53.30 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 53.19/53.35 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 53.80/53.93 (SAT)(equ)(fun)(SAT) 114| -.
% 53.80/53.97 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 54.41/54.55 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 54.41/54.60 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 54.50/54.66 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 54.57/54.70 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 54.57/54.74 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 54.67/54.79 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 55.18/55.39 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 55.27/55.44 (SAT)(equ)(fun)(SAT) 114| -.
% 55.37/55.49 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 55.88/56.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 56.00/56.14 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 56.00/56.18 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 56.09/56.23 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 56.68/56.80 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 56.68/56.86 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 56.78/56.91 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 56.78/56.96 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 57.37/57.54 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 57.48/57.59 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 57.50/57.63 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 57.50/57.68 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 58.10/58.26 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 58.19/58.32 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 58.70/58.91 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 58.80/58.96 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 58.87/59.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 58.95/59.08 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 59.01/59.13 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 59.59/59.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 59.59/59.78 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 59.68/59.82 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 59.68/59.86 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 59.76/59.91 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 60.27/60.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 60.37/60.56 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 60.47/60.61 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 60.99/61.19 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 61.09/61.25 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 61.09/61.29 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 61.17/61.33 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 61.17/61.38 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 61.30/61.43 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 61.87/62.02 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 61.90/62.08 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 62.20/62.37 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 62.20/62.41 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 62.30/62.43 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 62.30/62.45 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 62.58/62.74 (SAT)(equ)(fun)(SAT) 114| -.
% 62.58/62.76 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 62.88/63.03 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 62.88/63.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -.
% 62.88/63.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 62.96/63.12 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 62.96/63.13 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 62.96/63.16 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 63.27/63.43 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 63.27/63.46 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 63.27/63.48 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 63.36/63.50 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 63.58/63.77 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 63.67/63.80 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 63.68/63.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 63.97/64.09 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 63.97/64.12 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -.
% 63.97/64.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 63.97/64.18 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 64.07/64.20 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 64.07/64.22 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 64.07/64.24 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 64.38/64.52 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 64.38/64.55 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 64.38/64.57 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 64.66/64.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 64.66/64.87 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 64.76/64.89 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 64.97/65.16 (SAT)(equ)(fun)(SAT) 114| -.
% 64.97/65.18 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 65.28/65.46 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 65.36/65.49 (SAT)(equ)(fun)(SAT) 114| -1 -. -1 -.
% 65.36/65.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 65.36/65.54 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 65.36/65.56 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 65.44/65.58 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 65.66/65.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 65.76/65.89 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 65.77/65.91 (SAT)(equ)(fun)(SAT) 114| -. -.
% 65.80/65.93 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 66.08/66.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -.
% 66.11/66.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -. -1
% 66.11/66.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 66.21/66.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 66.37/66.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 66.49/66.62 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -.
% 66.56/66.72 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 66.67/66.80 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -. -. -. -. -.
% 66.71/66.84 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -.
% 66.71/66.87 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -.
% 66.79/66.91 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 67.00/67.18 (SAT)(equ)(fun)(SAT) 114| -.
% 67.00/67.20 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 67.30/67.47 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.30/67.49 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.30/67.50 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -1 -. -. -.
% 67.39/67.55 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 67.49/67.67 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 67.58/67.78 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 67.78/67.90 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -.
% 67.88/68.00 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 67.88/68.08 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -1 -. -.
% 67.98/68.11 (SAT)(equ)(fun)(SAT) 114| -. -. -. -.
% 67.98/68.15 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 68.29/68.41 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -. -.
% 68.29/68.45 (SAT)(equ)(fun)(SAT) 114| -. -. -. -.
% 68.29/68.48 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 68.56/68.75 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -.
% 68.69/68.82 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 68.79/68.94 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 68.88/69.05 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 68.96/69.16 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 69.10/69.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 69.27/69.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -.
% 69.37/69.50 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 69.50/69.61 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -12 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 69.57/69.78 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 69.81/69.95 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 69.88/70.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 70.01/70.15 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.11/70.26 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.26/70.38 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.31/70.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.46/70.61 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.61/70.73 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.69/70.85 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 70.78/70.96 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.90/71.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 70.99/71.15 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.08/71.27 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.20/71.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.30/71.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.49/71.62 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 71.59/71.73 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 71.69/71.83 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.79/71.94 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 71.90/72.05 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1
% 72.00/72.13 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -1 -1
% 72.10/72.26 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 72.19/72.38 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 72.39/72.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 72.50/72.62 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 72.59/72.74 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 72.68/72.83 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 72.81/72.95 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 72.90/73.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 72.97/73.15 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.11/73.27 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.27/73.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.39/73.51 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.51/73.63 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 73.58/73.75 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 73.72/73.84 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.81/73.96 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.88/74.08 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 74.02/74.19 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1
% 74.10/74.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 74.28/74.40 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 74.32/74.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.48/74.63 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 74.60/74.74 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -1
% 74.70/74.81 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.78/74.93 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 74.91/75.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 75.00/75.17 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.19/75.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 75.29/75.43 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 75.39/75.54 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.49/75.67 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 75.59/75.80 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1
% 75.70/75.90 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 75.89/76.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 75.97/76.18 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 76.10/76.22 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -. -.
% 76.41/76.54 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -.
% 76.41/76.58 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -123456789X -.
% 76.51/76.66 (SAT)(equ)(fun)(SAT) 114| -1234567 -1234567 -. -. -. -. -. -. -.
% 76.58/76.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -.
% 76.72/76.84 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789 -.
% 77.02/77.15 (SAT)(equ)(fun)(SAT) 114| -. -123456789 -.
% 77.02/77.18 (SAT)(equ)(fun)(SAT) 114| -. -12345678 -.
% 77.02/77.20 (SAT)(equ)(fun)(SAT) 114| -. -12345678 -.
% 77.12/77.23 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -.
% 77.12/77.25 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -.
% 77.12/77.28 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -.
% 77.19/77.31 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -.
% 77.19/77.34 (SAT)(equ)(fun)(SAT) 114| -. -123456 -.
% 77.19/77.36 (SAT)(equ)(fun)(SAT) 114| -. -123456 -.
% 77.27/77.39 (SAT)(equ)(fun)(SAT) 114| -. -123456 -.
% 77.30/77.42 (SAT)(equ)(fun)(SAT) 114| -. -123456 -. -.
% 77.32/77.45 (SAT)(equ)(fun)(SAT) 114| -. -123 -.
% 77.32/77.47 (SAT)(equ)(fun)(SAT) 114| -. -123 -.
% 77.32/77.50 (SAT)(equ)(fun)(SAT) 114| -. -123 -.
% 77.42/77.53 (SAT)(equ)(fun)(SAT) 114| -. -123 -.
% 77.42/77.56 (SAT)(equ)(fun)(SAT) 114| -. -123 -.
% 77.42/77.58 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -.
% 77.49/77.61 (SAT)(equ)(fun)(SAT) 114| -. -1 -12 -.
% 77.49/77.64 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -.
% 77.49/77.67 (SAT)(equ)(fun)(SAT) 114| -. -1 -12 -.
% 77.58/77.70 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -.
% 77.62/77.73 (SAT)(equ)(fun)(SAT) 114| -. -1 -12 -.
% 77.62/77.76 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -.
% 77.62/77.79 (SAT)(equ)(fun)(SAT) 114| -. -1 -12 -.
% 77.71/77.82 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -.
% 77.71/77.85 (SAT)(equ)(fun)(SAT) 114| -. -1 -12 -.
% 77.78/77.88 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -.
% 77.78/77.90 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -.
% 77.78/77.93 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -.
% 77.78/77.96 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -.
% 77.88/77.99 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -.
% 77.91/78.02 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -.
% 77.92/78.05 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -.
% 77.92/78.08 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 78.00/78.11 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 78.00/78.14 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 78.00/78.16 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 78.00/78.19 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 78.09/78.22 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 78.09/78.25 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -.
% 78.09/78.28 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -.
% 78.20/78.31 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -.
% 78.21/78.34 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -.
% 78.21/78.36 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -.
% 78.21/78.39 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -1 -. -1 -.
% 78.31/78.45 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 78.50/78.60 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -. -1 -.
% 78.61/78.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -.
% 78.80/78.91 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 78.90/79.05 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 78.99/79.19 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 79.20/79.33 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -.
% 79.30/79.48 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.49/79.61 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.58/79.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.70/79.90 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.88/80.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 80.02/80.18 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 80.18/80.32 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 80.32/80.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 80.48/80.60 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 80.62/80.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 80.72/80.88 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 80.89/81.02 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 81.02/81.17 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 81.18/81.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 81.30/81.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 81.48/81.60 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 81.60/81.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 81.78/81.89 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 81.90/82.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 82.07/82.18 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 82.20/82.33 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 82.30/82.48 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 82.49/82.62 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 82.60/82.76 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 82.80/82.91 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 82.91/83.05 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 83.01/83.19 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 83.19/83.32 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 83.31/83.47 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 83.49/83.61 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 83.62/83.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 83.78/83.90 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 83.92/84.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.01/84.18 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.20/84.32 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.32/84.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.50/84.60 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.62/84.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.78/84.88 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.90/85.02 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 84.97/85.17 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -.
% 85.21/85.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 85.30/85.48 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -1 -1 -.
% 85.42/85.54 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 85.60/85.70 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 85.60/85.77 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -.
% 85.91/86.08 (SAT)(equ)(fun)(SAT) 114| -.
% 86.01/86.11 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -.
% 86.31/86.42 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -.
% 86.41/86.58 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -. -1 -. -.
% 86.61/86.76 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -1
% 86.79/86.93 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1
% 87.00/87.10 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.09/87.28 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -.
% 87.49/87.59 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -.
% 87.51/87.62 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -.
% 87.61/87.77 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -. -1 -. -.
% 87.83/87.94 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -1 -.
% 88.00/88.11 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -. -1 -12 -.
% 88.13/88.29 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -.
% 88.30/88.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 88.43/88.57 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 88.43/88.60 (SAT)+++ RESULT: Unsatisfiable
% 88.43/88.60 SZS status Unsatisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------