TSTP Solution File: NLP027+1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : NLP027+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n004.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 : Mon Jul 18 02:00:36 EDT 2022
% Result : Timeout 286.21s 286.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NLP027+1 : TPTP v8.1.0. Released v2.4.0.
% 0.06/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.34 % Computer : n004.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 : Fri Jul 1 07:22:23 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.35 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.13/0.35 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.13/0.35 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.13/0.36 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.13/0.37 #elt|#instances
% 0.13/0.37 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.13/0.38 (SAT)(equ)(fun)(SAT) 6+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 0.19/0.40 (SAT)(equ)(fun)(SAT) 10| -. -.
% 0.19/0.40 (SAT)(equ)(fun)(SAT) 10+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.41 (SAT)(equ)(fun)(SAT) 11| -12 -12 -. -. -. -. -. -. -. -. -. -.
% 0.19/0.42 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.42 (SAT)(equ)(fun)(SAT) 11+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 0.19/0.45 (SAT)(equ)(fun)(SAT) 14| -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.46 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.46 (SAT)(equ)(fun)(SAT) 14+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.48 (SAT)(equ)(fun)(SAT) 16| -. -. -. -1 -. -. -. -. -. -. -. -.
% 0.19/0.49 (SAT)(equ)(fun)(SAT) 16| -1 -1 -. -1 -. -. -. -. -. -. -. -.
% 0.19/0.49 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -. -. -. -. -. -. -1
% 0.19/0.49 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.19/0.50 (SAT)(equ)(fun)(SAT) 16+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -12 -. -. -. -. -. -. -.
% 0.34/0.52 (SAT)(equ)(fun)(SAT) 22| -. -. -. -12 -. -. -. -. -. -. -. -. -.
% 0.34/0.53 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -.
% 0.36/0.53 (SAT)(equ)(fun)(SAT) 22+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -123 -123 -123 -123 -. -. -. -. -. -12 -. -12 -. -.
% 0.36/0.56 (SAT)(equ)(fun)(SAT) 26| -12 -12 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.36/0.58 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -. -. -.
% 0.36/0.58 (SAT)(equ)(fun)(SAT) 26+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1234 -1234 -1234 -1234 -1234 -1 -. -. -. -. -1 -. -. -. -.
% 0.36/0.61 (SAT)(equ)(fun)(SAT) 34| -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.45/0.63 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -.
% 0.45/0.64 (SAT)(equ)(fun)(SAT) 34+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -12 -. -. -. -. -12 -. -. -. -.
% 0.45/0.67 (SAT)(equ)(fun)(SAT) 39| -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.45/0.68 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.52/0.70 (SAT)(equ)(fun)(SAT) 39+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -123 -123 -123 -123 -. -. -. -. -. -. -. -. -. -.
% 0.52/0.72 (SAT)(equ)(fun)(SAT) 42| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.52/0.74 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.52/0.75 (SAT)(equ)(fun)(SAT) 42+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -.
% 0.61/0.78 (SAT)(equ)(fun)(SAT) 44| -1 -1 -. -. -1 -1 -1 -. -. -.
% 0.61/0.79 (SAT)(equ)(fun)(SAT) 44| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.64/0.80 (SAT)(equ)(fun)(SAT) 44| -. -. -. -.
% 0.64/0.81 (SAT)(equ)(fun)(SAT) 44+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.67/0.84 (SAT)(equ)(fun)(SAT) 46| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.67/0.86 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -. -.
% 0.67/0.87 (SAT)(equ)(fun)(SAT) 46+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.67/0.92 (SAT)(equ)(fun)(SAT) 48| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.76/0.95 (SAT)(equ)(fun)(SAT) 48| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.76/0.98 (SAT)(equ)(fun)(SAT) 48| -. -. -.
% 0.83/0.99 (SAT)(equ)(fun)(SAT) 48+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 0.83/1.02 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -. -. -.
% 0.83/1.04 (SAT)(equ)(fun)(SAT) 49+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 0.90/1.06 (SAT)(equ)(fun)(SAT) 50| -. -1 -. -. -.
% 0.90/1.07 (SAT)(equ)(fun)(SAT) 50| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.92/1.09 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 0.92/1.11 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.95/1.12 (SAT)(equ)(fun)(SAT) 50+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.98/1.15 (SAT)(equ)(fun)(SAT) 52| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.98/1.17 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -. -.
% 0.98/1.18 (SAT)(equ)(fun)(SAT) 52+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.98/1.21 (SAT)(equ)(fun)(SAT) 54| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.06/1.23 (SAT)(equ)(fun)(SAT) 54| -. -1 -.
% 1.06/1.24 (SAT)(equ)(fun)(SAT) 54| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.06/1.25 (SAT)(equ)(fun)(SAT) 54| -. -. -.
% 1.06/1.26 (SAT)(equ)(fun)(SAT) 54+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.11/1.29 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -. -. -.
% 1.11/1.30 (SAT)(equ)(fun)(SAT) 55+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.11/1.34 (SAT)(equ)(fun)(SAT) 56| -. -1 -. -. -.
% 1.11/1.34 (SAT)(equ)(fun)(SAT) 56| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.18/1.36 (SAT)(equ)(fun)(SAT) 56| -. -. -. -.
% 1.18/1.37 (SAT)(equ)(fun)(SAT) 56+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.20/1.40 (SAT)(equ)(fun)(SAT) 58| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.20/1.41 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -.
% 1.25/1.42 (SAT)(equ)(fun)(SAT) 58+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.28/1.45 (SAT)(equ)(fun)(SAT) 60| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.28/1.47 (SAT)(equ)(fun)(SAT) 60| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.28/1.48 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 1.28/1.50 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.28/1.52 (SAT)(equ)(fun)(SAT) 60+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.35/1.55 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -.
% 1.35/1.56 (SAT)(equ)(fun)(SAT) 61+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.41/1.59 (SAT)(equ)(fun)(SAT) 62| -. -1 -. -. -.
% 1.41/1.60 (SAT)(equ)(fun)(SAT) 62| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.41/1.61 (SAT)(equ)(fun)(SAT) 62| -. -. -. -.
% 1.41/1.62 (SAT)(equ)(fun)(SAT) 62+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.41/1.64 (SAT)(equ)(fun)(SAT) 64| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.41/1.66 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -.
% 1.49/1.67 (SAT)(equ)(fun)(SAT) 64+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.52/1.70 (SAT)(equ)(fun)(SAT) 66| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.52/1.72 (SAT)(equ)(fun)(SAT) 66| -. -. -.
% 1.52/1.73 (SAT)(equ)(fun)(SAT) 66+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.59/1.76 (SAT)(equ)(fun)(SAT) 67| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.59/1.78 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.59/1.80 (SAT)(equ)(fun)(SAT) 67+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.64/1.83 (SAT)(equ)(fun)(SAT) 68| -. -1 -. -. -.
% 1.64/1.84 (SAT)(equ)(fun)(SAT) 68| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.64/1.86 (SAT)(equ)(fun)(SAT) 68| -. -. -. -.
% 1.70/1.87 (SAT)(equ)(fun)(SAT) 68+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.70/1.90 (SAT)(equ)(fun)(SAT) 70| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.70/1.91 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -. -.
% 1.70/1.92 (SAT)(equ)(fun)(SAT) 70+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.78/1.96 (SAT)(equ)(fun)(SAT) 72| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.78/1.98 (SAT)(equ)(fun)(SAT) 72| -. -1 -.
% 1.82/1.99 (SAT)(equ)(fun)(SAT) 72| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.82/2.01 (SAT)(equ)(fun)(SAT) 72| -. -. -.
% 1.82/2.01 (SAT)(equ)(fun)(SAT) 72+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 1.88/2.05 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -.
% 1.88/2.06 (SAT)(equ)(fun)(SAT) 74+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 1.88/2.10 (SAT)(equ)(fun)(SAT) 75| -. -. -. -1 -.
% 1.88/2.10 (SAT)(equ)(fun)(SAT) 75| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.94/2.12 (SAT)(equ)(fun)(SAT) 75| -. -. -. -.
% 1.94/2.13 (SAT)(equ)(fun)(SAT) 75+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.94/2.16 (SAT)(equ)(fun)(SAT) 78| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.01/2.19 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -.
% 2.01/2.20 (SAT)(equ)(fun)(SAT) 78+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 2.01/2.24 (SAT)(equ)(fun)(SAT) 80| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.01/2.26 (SAT)(equ)(fun)(SAT) 80| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.10/2.28 (SAT)(equ)(fun)(SAT) 80| -. -. -.
% 2.10/2.29 (SAT)(equ)(fun)(SAT) 80+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 2.14/2.33 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -. -. -.
% 2.17/2.35 (SAT)(equ)(fun)(SAT) 82+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 2.17/2.38 (SAT)(equ)(fun)(SAT) 83| -. -. -. -1 -.
% 2.17/2.39 (SAT)(equ)(fun)(SAT) 83| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.17/2.41 (SAT)(equ)(fun)(SAT) 83| -. -. -. -.
% 2.17/2.42 (SAT)(equ)(fun)(SAT) 83+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 2.26/2.46 (SAT)(equ)(fun)(SAT) 86| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.26/2.48 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -.
% 2.33/2.50 (SAT)(equ)(fun)(SAT) 86+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 2.33/2.54 (SAT)(equ)(fun)(SAT) 88| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.40/2.56 (SAT)(equ)(fun)(SAT) 88| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.40/2.59 (SAT)(equ)(fun)(SAT) 88| -. -. -.
% 2.40/2.60 (SAT)(equ)(fun)(SAT) 88+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 2.47/2.64 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -. -. -.
% 2.47/2.66 (SAT)(equ)(fun)(SAT) 90+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 2.47/2.71 (SAT)(equ)(fun)(SAT) 91| -. -. -. -1 -.
% 2.47/2.72 (SAT)(equ)(fun)(SAT) 91| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.57/2.74 (SAT)(equ)(fun)(SAT) 91| -. -. -. -.
% 2.57/2.75 (SAT)(equ)(fun)(SAT) 91+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 2.57/2.79 (SAT)(equ)(fun)(SAT) 94| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.64/2.82 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -.
% 2.64/2.84 (SAT)(equ)(fun)(SAT) 94+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 2.72/2.88 (SAT)(equ)(fun)(SAT) 96| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.74/2.91 (SAT)(equ)(fun)(SAT) 96| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.75/2.93 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.75/2.97 (SAT)(equ)(fun)(SAT) 96+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 2.85/3.01 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -. -.
% 2.85/3.04 (SAT)(equ)(fun)(SAT) 98+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 2.85/3.08 (SAT)(equ)(fun)(SAT) 99| -. -. -. -1 -.
% 2.93/3.09 (SAT)(equ)(fun)(SAT) 99| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.93/3.12 (SAT)(equ)(fun)(SAT) 99| -. -. -. -.
% 2.93/3.13 (SAT)(equ)(fun)(SAT) 99+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 3.01/3.18 (SAT)(equ)(fun)(SAT) 102| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.04/3.20 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -.
% 3.05/3.23 (SAT)(equ)(fun)(SAT) 102+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 3.05/3.27 (SAT)(equ)(fun)(SAT) 104| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.05/3.30 (SAT)(equ)(fun)(SAT) 104| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.16/3.33 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.16/3.37 (SAT)(equ)(fun)(SAT) 104+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 3.24/3.42 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -. -. -.
% 3.24/3.45 (SAT)(equ)(fun)(SAT) 106+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 3.33/3.50 (SAT)(equ)(fun)(SAT) 107| -. -. -. -1 -.
% 3.33/3.51 (SAT)(equ)(fun)(SAT) 107| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.33/3.53 (SAT)(equ)(fun)(SAT) 107| -. -. -. -.
% 3.33/3.56 (SAT)(equ)(fun)(SAT) 107+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 3.44/3.61 (SAT)(equ)(fun)(SAT) 110| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.45/3.64 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -.
% 3.45/3.67 (SAT)(equ)(fun)(SAT) 110+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 3.55/3.71 (SAT)(equ)(fun)(SAT) 112| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.55/3.74 (SAT)(equ)(fun)(SAT) 112| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.55/3.77 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.63/3.82 (SAT)(equ)(fun)(SAT) 112+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 3.63/3.87 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -.
% 3.72/3.91 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 3.77/3.96 (SAT)(equ)(fun)(SAT) 115| -. -. -. -1 -.
% 3.77/3.97 (SAT)(equ)(fun)(SAT) 115| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.77/4.00 (SAT)(equ)(fun)(SAT) 115| -. -. -. -.
% 3.77/4.02 (SAT)(equ)(fun)(SAT) 115+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 3.86/4.07 (SAT)(equ)(fun)(SAT) 118| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.93/4.10 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -. -.
% 3.93/4.14 (SAT)(equ)(fun)(SAT) 118+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 4.01/4.19 (SAT)(equ)(fun)(SAT) 120| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.04/4.22 (SAT)(equ)(fun)(SAT) 120| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.07/4.25 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.07/4.31 (SAT)(equ)(fun)(SAT) 120+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 4.16/4.36 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -. -.
% 4.23/4.40 (SAT)(equ)(fun)(SAT) 122+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 4.23/4.46 (SAT)(equ)(fun)(SAT) 123| -. -. -. -1 -.
% 4.30/4.47 (SAT)(equ)(fun)(SAT) 123| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.32/4.51 (SAT)(equ)(fun)(SAT) 123| -. -. -. -.
% 4.37/4.54 (SAT)(equ)(fun)(SAT) 123+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 4.39/4.59 (SAT)(equ)(fun)(SAT) 126| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.47/4.63 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -. -.
% 4.47/4.66 (SAT)(equ)(fun)(SAT) 126+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 4.51/4.72 (SAT)(equ)(fun)(SAT) 128| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.58/4.75 (SAT)(equ)(fun)(SAT) 128| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.61/4.79 (SAT)(equ)(fun)(SAT) 128| -. -. -.
% 4.61/4.82 (SAT)(equ)(fun)(SAT) 128+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 4.69/4.88 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -. -. -.
% 4.76/4.93 (SAT)(equ)(fun)(SAT) 130+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 4.81/4.98 (SAT)(equ)(fun)(SAT) 131| -. -. -. -1 -.
% 4.81/5.00 (SAT)(equ)(fun)(SAT) 131| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.81/5.03 (SAT)(equ)(fun)(SAT) 131| -. -. -. -.
% 4.90/5.06 (SAT)(equ)(fun)(SAT) 131+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 4.93/5.12 (SAT)(equ)(fun)(SAT) 134| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.00/5.16 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -.
% 5.00/5.20 (SAT)(equ)(fun)(SAT) 134+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 5.10/5.26 (SAT)(equ)(fun)(SAT) 136| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.10/5.30 (SAT)(equ)(fun)(SAT) 136| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.10/5.33 (SAT)(equ)(fun)(SAT) 136| -. -. -.
% 5.18/5.38 (SAT)(equ)(fun)(SAT) 136+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 5.28/5.44 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -.
% 5.29/5.49 (SAT)(equ)(fun)(SAT) 138+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 5.35/5.55 (SAT)(equ)(fun)(SAT) 139| -. -. -. -1 -.
% 5.35/5.57 (SAT)(equ)(fun)(SAT) 139| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.41/5.60 (SAT)(equ)(fun)(SAT) 139| -. -. -. -.
% 5.41/5.64 (SAT)(equ)(fun)(SAT) 139+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 5.50/5.70 (SAT)(equ)(fun)(SAT) 142| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.54/5.74 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -.
% 5.58/5.79 (SAT)(equ)(fun)(SAT) 142+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 5.68/5.85 (SAT)(equ)(fun)(SAT) 144| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.74/5.89 (SAT)(equ)(fun)(SAT) 144| -. -. -.
% 5.74/5.93 (SAT)(equ)(fun)(SAT) 144+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 5.80/6.00 (SAT)(equ)(fun)(SAT) 145| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.88/6.04 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.88/6.11 (SAT)(equ)(fun)(SAT) 145+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 5.98/6.18 (SAT)(equ)(fun)(SAT) 147| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 5.98/6.20 (SAT)(equ)(fun)(SAT) 147| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.05/6.25 (SAT)(equ)(fun)(SAT) 147| -. -. -. -.
% 6.11/6.29 (SAT)(equ)(fun)(SAT) 147+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 6.16/6.36 (SAT)(equ)(fun)(SAT) 150| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.16/6.40 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -.
% 6.26/6.45 (SAT)(equ)(fun)(SAT) 150+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 6.33/6.52 (SAT)(equ)(fun)(SAT) 152| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.33/6.56 (SAT)(equ)(fun)(SAT) 152| -. -. -.
% 6.45/6.60 (SAT)(equ)(fun)(SAT) 152+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 6.47/6.68 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -. -. -.
% 6.58/6.74 (SAT)(equ)(fun)(SAT) 153+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 6.58/6.81 (SAT)(equ)(fun)(SAT) 154| -. -1 -. -. -.
% 6.65/6.82 (SAT)(equ)(fun)(SAT) 154| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.65/6.86 (SAT)(equ)(fun)(SAT) 154| -. -. -1 -.
% 6.65/6.87 (SAT)(equ)(fun)(SAT) 154| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.73/6.92 (SAT)(equ)(fun)(SAT) 154| -. -. -. -.
% 6.73/6.96 (SAT)(equ)(fun)(SAT) 154+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 6.86/7.03 (SAT)(equ)(fun)(SAT) 156| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.86/7.07 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -.
% 6.95/7.13 (SAT)(equ)(fun)(SAT) 156+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 7.03/7.20 (SAT)(equ)(fun)(SAT) 158| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.03/7.25 (SAT)(equ)(fun)(SAT) 158| -. -. -.
% 7.13/7.29 (SAT)(equ)(fun)(SAT) 158+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 7.18/7.37 (SAT)(equ)(fun)(SAT) 159| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.18/7.41 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.33/7.50 (SAT)(equ)(fun)(SAT) 159+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 7.40/7.57 (SAT)(equ)(fun)(SAT) 160| -. -1 -. -. -.
% 7.41/7.58 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 7.45/7.63 (SAT)(equ)(fun)(SAT) 160| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.48/7.67 (SAT)(equ)(fun)(SAT) 160| -. -. -. -.
% 7.48/7.72 (SAT)(equ)(fun)(SAT) 160+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 7.63/7.79 (SAT)(equ)(fun)(SAT) 162| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.63/7.84 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -. -.
% 7.73/7.90 (SAT)(equ)(fun)(SAT) 162+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 7.80/7.97 (SAT)(equ)(fun)(SAT) 164| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.80/8.02 (SAT)(equ)(fun)(SAT) 164| -. -1 -.
% 7.87/8.03 (SAT)(equ)(fun)(SAT) 164| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.92/8.07 (SAT)(equ)(fun)(SAT) 164| -. -. -.
% 7.92/8.13 (SAT)(equ)(fun)(SAT) 164+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 8.01/8.21 (SAT)(equ)(fun)(SAT) 165| -. -. -. -. -. -. -. -.
% 8.09/8.28 (SAT)(equ)(fun)(SAT) 165+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 8.17/8.36 (SAT)(equ)(fun)(SAT) 166| -. -1 -. -. -.
% 8.21/8.37 (SAT)(equ)(fun)(SAT) 166| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.21/8.42 (SAT)(equ)(fun)(SAT) 166| -. -. -. -.
% 8.30/8.47 (SAT)(equ)(fun)(SAT) 166+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 8.38/8.54 (SAT)(equ)(fun)(SAT) 168| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.40/8.59 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -. -.
% 8.50/8.65 (SAT)(equ)(fun)(SAT) 168+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 8.50/8.73 (SAT)(equ)(fun)(SAT) 170| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.59/8.78 (SAT)(equ)(fun)(SAT) 170| -. -. -.
% 8.63/8.83 (SAT)(equ)(fun)(SAT) 170+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 8.76/8.91 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -. -. -.
% 8.82/8.99 (SAT)(equ)(fun)(SAT) 171+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 8.91/9.07 (SAT)(equ)(fun)(SAT) 172| -. -1 -. -. -.
% 8.91/9.09 (SAT)(equ)(fun)(SAT) 172| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.95/9.13 (SAT)(equ)(fun)(SAT) 172| -. -. -. -.
% 8.99/9.18 (SAT)(equ)(fun)(SAT) 172+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 9.08/9.26 (SAT)(equ)(fun)(SAT) 174| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.14/9.31 (SAT)(equ)(fun)(SAT) 174| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.20/9.36 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.29/9.46 (SAT)(equ)(fun)(SAT) 174+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 9.29/9.53 (SAT)(equ)(fun)(SAT) 176| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.38/9.58 (SAT)(equ)(fun)(SAT) 176| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.45/9.64 (SAT)(equ)(fun)(SAT) 176| -. -1 -.
% 9.45/9.65 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.57/9.75 (SAT)(equ)(fun)(SAT) 176+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 9.66/9.83 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 9.66/9.89 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.87/10.03 (SAT)(equ)(fun)(SAT) 178+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 9.87/10.12 (SAT)(equ)(fun)(SAT) 179| -. -. -. -1 -.
% 9.98/10.14 (SAT)(equ)(fun)(SAT) 179| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.98/10.19 (SAT)(equ)(fun)(SAT) 179| -. -. -. -.
% 10.06/10.25 (SAT)(equ)(fun)(SAT) 179+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 10.13/10.33 (SAT)(equ)(fun)(SAT) 182| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.23/10.40 (SAT)(equ)(fun)(SAT) 182| -. -. -. -. -. -. -.
% 10.27/10.48 (SAT)(equ)(fun)(SAT) 182+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 10.35/10.58 (SAT)(equ)(fun)(SAT) 184| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.43/10.63 (SAT)(equ)(fun)(SAT) 184| -. -. -.
% 10.53/10.70 (SAT)(equ)(fun)(SAT) 184+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 10.59/10.79 (SAT)(equ)(fun)(SAT) 185| -. -. -. -. -. -. -. -.
% 10.68/10.87 (SAT)(equ)(fun)(SAT) 185+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 10.81/10.96 (SAT)(equ)(fun)(SAT) 186| -. -1 -. -. -.
% 10.82/10.98 (SAT)(equ)(fun)(SAT) 186| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.89/11.04 (SAT)(equ)(fun)(SAT) 186| -. -. -1 -.
% 10.89/11.06 (SAT)(equ)(fun)(SAT) 186| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.89/11.11 (SAT)(equ)(fun)(SAT) 186| -. -. -. -.
% 10.97/11.17 (SAT)(equ)(fun)(SAT) 186+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 11.11/11.27 (SAT)(equ)(fun)(SAT) 190| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.17/11.33 (SAT)(equ)(fun)(SAT) 190| -. -. -. -. -. -. -.
% 11.20/11.41 (SAT)(equ)(fun)(SAT) 190+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 11.32/11.49 (SAT)(equ)(fun)(SAT) 192| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.39/11.55 (SAT)(equ)(fun)(SAT) 192| -. -. -.
% 11.41/11.62 (SAT)(equ)(fun)(SAT) 192+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 11.51/11.71 (SAT)(equ)(fun)(SAT) 193| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.58/11.77 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 11.62/11.84 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -. -. -.
% 11.74/11.93 (SAT)(equ)(fun)(SAT) 193+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 11.86/12.02 (SAT)(equ)(fun)(SAT) 195| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 11.91/12.06 (SAT)(equ)(fun)(SAT) 195| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.91/12.13 (SAT)(equ)(fun)(SAT) 195| -. -. -. -.
% 12.04/12.20 (SAT)(equ)(fun)(SAT) 195+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 12.10/12.29 (SAT)(equ)(fun)(SAT) 198| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.16/12.35 (SAT)(equ)(fun)(SAT) 198| -. -. -. -. -. -. -.
% 12.22/12.44 (SAT)(equ)(fun)(SAT) 198+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 12.36/12.53 (SAT)(equ)(fun)(SAT) 200| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.40/12.59 (SAT)(equ)(fun)(SAT) 200| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.49/12.66 (SAT)(equ)(fun)(SAT) 200| -. -. -.
% 12.55/12.74 (SAT)(equ)(fun)(SAT) 200+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 12.65/12.83 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -. -. -.
% 12.79/12.94 (SAT)(equ)(fun)(SAT) 202+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 12.87/13.04 (SAT)(equ)(fun)(SAT) 203| -. -. -. -1 -.
% 12.87/13.06 (SAT)(equ)(fun)(SAT) 203| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.96/13.13 (SAT)(equ)(fun)(SAT) 203| -. -. -. -.
% 12.96/13.20 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 13.15/13.30 (SAT)(equ)(fun)(SAT) 206| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.15/13.36 (SAT)(equ)(fun)(SAT) 206| -. -. -. -. -. -. -.
% 13.27/13.45 (SAT)(equ)(fun)(SAT) 206+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 13.38/13.55 (SAT)(equ)(fun)(SAT) 208| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.46/13.61 (SAT)(equ)(fun)(SAT) 208| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.46/13.68 (SAT)(equ)(fun)(SAT) 208| -. -. -.
% 13.55/13.75 (SAT)(equ)(fun)(SAT) 208+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 13.66/13.85 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -.
% 13.76/13.96 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 13.85/14.06 (SAT)(equ)(fun)(SAT) 210| -. -1 -. -. -.
% 13.85/14.08 (SAT)(equ)(fun)(SAT) 210| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.98/14.14 (SAT)(equ)(fun)(SAT) 210| -. -. -. -.
% 14.08/14.22 (SAT)(equ)(fun)(SAT) 210+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 14.15/14.33 (SAT)(equ)(fun)(SAT) 212| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.22/14.39 (SAT)(equ)(fun)(SAT) 212| -. -. -. -. -. -. -.
% 14.28/14.50 (SAT)(equ)(fun)(SAT) 212+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 14.45/14.60 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.52/14.68 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 14.54/14.70 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.60/14.76 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 14.67/14.84 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 14.74/14.94 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 14.83/15.01 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.98/15.16 (SAT)(equ)(fun)(SAT) 216+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -. -. -. -1
% 15.12/15.27 (SAT)(equ)(fun)(SAT) 218| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -.
% 15.19/15.34 (SAT)(equ)(fun)(SAT) 218| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.26/15.42 (SAT)(equ)(fun)(SAT) 218| -. -. -. -.
% 15.32/15.51 (SAT)(equ)(fun)(SAT) 218+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 15.44/15.61 (SAT)(equ)(fun)(SAT) 220| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.49/15.67 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -. -.
% 15.63/15.79 (SAT)(equ)(fun)(SAT) 220+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 15.72/15.89 (SAT)(equ)(fun)(SAT) 222| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.78/15.96 (SAT)(equ)(fun)(SAT) 222| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.88/16.04 (SAT)(equ)(fun)(SAT) 222| -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 15.94/16.12 (SAT)(equ)(fun)(SAT) 222| -. -. -. -.
% 16.06/16.21 (SAT)(equ)(fun)(SAT) 222+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 16.18/16.33 (SAT)(equ)(fun)(SAT) 223| -. -. -. -. -. -. -. -.
% 16.26/16.45 (SAT)(equ)(fun)(SAT) 223+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 16.37/16.56 (SAT)(equ)(fun)(SAT) 224| -. -1 -. -. -.
% 16.37/16.59 (SAT)(equ)(fun)(SAT) 224| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.46/16.65 (SAT)(equ)(fun)(SAT) 224| -. -. -. -.
% 16.55/16.76 (SAT)(equ)(fun)(SAT) 224+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 16.67/16.86 (SAT)(equ)(fun)(SAT) 226| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.78/16.93 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -. -.
% 16.87/17.06 (SAT)(equ)(fun)(SAT) 226+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 16.95/17.16 (SAT)(equ)(fun)(SAT) 228| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.06/17.23 (SAT)(equ)(fun)(SAT) 228| -. -. -.
% 17.16/17.34 (SAT)(equ)(fun)(SAT) 228+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 17.25/17.46 (SAT)(equ)(fun)(SAT) 229| -. -. -. -. -. -. -. -.
% 17.38/17.59 (SAT)(equ)(fun)(SAT) 229+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 17.55/17.70 (SAT)(equ)(fun)(SAT) 230| -. -1 -. -. -.
% 17.55/17.72 (SAT)(equ)(fun)(SAT) 230| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.62/17.79 (SAT)(equ)(fun)(SAT) 230| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.62/17.86 (SAT)(equ)(fun)(SAT) 230| -. -. -1 -.
% 17.72/17.88 (SAT)(equ)(fun)(SAT) 230| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.88/18.05 (SAT)(equ)(fun)(SAT) 230+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 17.95/18.15 (SAT)(equ)(fun)(SAT) 232| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.02/18.22 (SAT)(equ)(fun)(SAT) 232| -. -. -. -. -. -. -.
% 18.18/18.34 (SAT)(equ)(fun)(SAT) 232+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 18.29/18.44 (SAT)(equ)(fun)(SAT) 234| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.34/18.51 (SAT)(equ)(fun)(SAT) 234| -. -. -.
% 18.47/18.63 (SAT)(equ)(fun)(SAT) 234+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 18.58/18.74 (SAT)(equ)(fun)(SAT) 235| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.64/18.81 (SAT)(equ)(fun)(SAT) 235| -. -1 -.
% 18.64/18.83 (SAT)(equ)(fun)(SAT) 235| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.80/19.00 (SAT)(equ)(fun)(SAT) 235+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 18.92/19.11 (SAT)(equ)(fun)(SAT) 237| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 19.01/19.16 (SAT)(equ)(fun)(SAT) 237| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 19.09/19.23 (SAT)(equ)(fun)(SAT) 237| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.10/19.30 (SAT)(equ)(fun)(SAT) 237| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.32/19.48 (SAT)(equ)(fun)(SAT) 237+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 19.38/19.60 (SAT)(equ)(fun)(SAT) 240| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.48/19.67 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -. -.
% 19.67/19.81 (SAT)(equ)(fun)(SAT) 240+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 19.69/19.92 (SAT)(equ)(fun)(SAT) 242| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.79/20.00 (SAT)(equ)(fun)(SAT) 242| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.95/20.09 (SAT)(equ)(fun)(SAT) 242| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.07/20.27 (SAT)(equ)(fun)(SAT) 242+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 20.24/20.39 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -. -.
% 20.39/20.55 (SAT)(equ)(fun)(SAT) 244+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 20.47/20.67 (SAT)(equ)(fun)(SAT) 245| -. -. -. -1 -.
% 20.56/20.70 (SAT)(equ)(fun)(SAT) 245| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.65/20.79 (SAT)(equ)(fun)(SAT) 245| -. -. -. -.
% 20.75/20.90 (SAT)(equ)(fun)(SAT) 245+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 20.85/21.02 (SAT)(equ)(fun)(SAT) 248| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.94/21.10 (SAT)(equ)(fun)(SAT) 248| -. -. -. -. -. -. -.
% 21.09/21.24 (SAT)(equ)(fun)(SAT) 248+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 21.16/21.35 (SAT)(equ)(fun)(SAT) 250| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.24/21.43 (SAT)(equ)(fun)(SAT) 250| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.39/21.53 (SAT)(equ)(fun)(SAT) 250| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.53/21.71 (SAT)(equ)(fun)(SAT) 250+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 21.70/21.85 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -. -. -.
% 21.84/22.01 (SAT)(equ)(fun)(SAT) 252+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 21.97/22.13 (SAT)(equ)(fun)(SAT) 253| -. -. -. -1 -.
% 22.00/22.16 (SAT)(equ)(fun)(SAT) 253| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.08/22.24 (SAT)(equ)(fun)(SAT) 253| -. -. -. -.
% 22.24/22.38 (SAT)(equ)(fun)(SAT) 253+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 22.38/22.51 (SAT)(equ)(fun)(SAT) 256| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.43/22.59 (SAT)(equ)(fun)(SAT) 256| -. -. -. -. -. -. -.
% 22.61/22.77 (SAT)(equ)(fun)(SAT) 256+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 22.74/22.89 (SAT)(equ)(fun)(SAT) 258| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.84/22.98 (SAT)(equ)(fun)(SAT) 258| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.89/23.08 (SAT)(equ)(fun)(SAT) 258| -. -. -.
% 23.06/23.21 (SAT)(equ)(fun)(SAT) 258+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 23.19/23.35 (SAT)(equ)(fun)(SAT) 260| -. -. -. -. -. -. -. -.
% 23.37/23.53 (SAT)(equ)(fun)(SAT) 260+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 23.48/23.66 (SAT)(equ)(fun)(SAT) 261| -. -. -. -1 -.
% 23.48/23.69 (SAT)(equ)(fun)(SAT) 261| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.57/23.77 (SAT)(equ)(fun)(SAT) 261| -. -. -. -.
% 23.76/23.91 (SAT)(equ)(fun)(SAT) 261+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 23.89/24.04 (SAT)(equ)(fun)(SAT) 264| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.98/24.12 (SAT)(equ)(fun)(SAT) 264| -. -. -. -. -. -. -.
% 24.15/24.31 (SAT)(equ)(fun)(SAT) 264+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 24.28/24.44 (SAT)(equ)(fun)(SAT) 266| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.37/24.53 (SAT)(equ)(fun)(SAT) 266| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.46/24.64 (SAT)(equ)(fun)(SAT) 266| -. -. -.
% 24.59/24.79 (SAT)(equ)(fun)(SAT) 266+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 24.74/24.92 (SAT)(equ)(fun)(SAT) 268| -. -. -. -. -. -. -. -.
% 24.96/25.12 (SAT)(equ)(fun)(SAT) 268+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 25.03/25.26 (SAT)(equ)(fun)(SAT) 269| -. -. -. -1 -.
% 25.15/25.29 (SAT)(equ)(fun)(SAT) 269| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.20/25.39 (SAT)(equ)(fun)(SAT) 269| -. -. -. -.
% 25.35/25.52 (SAT)(equ)(fun)(SAT) 269+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 25.51/25.66 (SAT)(equ)(fun)(SAT) 272| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.59/25.75 (SAT)(equ)(fun)(SAT) 272| -. -. -. -. -. -. -.
% 25.81/25.94 (SAT)(equ)(fun)(SAT) 272+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 25.94/26.08 (SAT)(equ)(fun)(SAT) 274| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.03/26.17 (SAT)(equ)(fun)(SAT) 274| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.11/26.29 (SAT)(equ)(fun)(SAT) 274| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.40/26.55 (SAT)(equ)(fun)(SAT) 274+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 26.49/26.69 (SAT)(equ)(fun)(SAT) 276| -. -. -. -. -. -. -. -.
% 26.70/26.89 (SAT)(equ)(fun)(SAT) 276+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 26.87/27.03 (SAT)(equ)(fun)(SAT) 277| -. -. -. -1 -.
% 26.87/27.06 (SAT)(equ)(fun)(SAT) 277| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.99/27.15 (SAT)(equ)(fun)(SAT) 277| -. -. -. -.
% 27.16/27.31 (SAT)(equ)(fun)(SAT) 277+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 27.28/27.46 (SAT)(equ)(fun)(SAT) 280| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.39/27.55 (SAT)(equ)(fun)(SAT) 280| -. -. -. -. -. -. -.
% 27.57/27.74 (SAT)(equ)(fun)(SAT) 280+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 27.76/27.89 (SAT)(equ)(fun)(SAT) 282| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.78/27.99 (SAT)(equ)(fun)(SAT) 282| -. -. -.
% 27.95/28.17 (SAT)(equ)(fun)(SAT) 282+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 28.17/28.33 (SAT)(equ)(fun)(SAT) 283| -. -. -. -. -. -. -. -.
% 28.40/28.54 (SAT)(equ)(fun)(SAT) 283+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 28.54/28.69 (SAT)(equ)(fun)(SAT) 284| -. -1 -. -. -.
% 28.54/28.72 (SAT)(equ)(fun)(SAT) 284| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.69/28.84 (SAT)(equ)(fun)(SAT) 284| -. -. -1 -.
% 28.71/28.86 (SAT)(equ)(fun)(SAT) 284| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.80/28.96 (SAT)(equ)(fun)(SAT) 284| -. -. -. -.
% 29.01/29.14 (SAT)(equ)(fun)(SAT) 284+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 29.15/29.29 (SAT)(equ)(fun)(SAT) 286| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.27/29.40 (SAT)(equ)(fun)(SAT) 286| -. -. -. -. -. -. -.
% 29.44/29.58 (SAT)(equ)(fun)(SAT) 286+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 29.56/29.72 (SAT)(equ)(fun)(SAT) 288| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.68/29.82 (SAT)(equ)(fun)(SAT) 288| -. -. -.
% 29.84/30.00 (SAT)(equ)(fun)(SAT) 288+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 30.00/30.17 (SAT)(equ)(fun)(SAT) 289| -. -. -. -. -. -. -. -.
% 30.20/30.38 (SAT)(equ)(fun)(SAT) 289+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 30.38/30.53 (SAT)(equ)(fun)(SAT) 290| -. -1 -. -. -.
% 30.38/30.56 (SAT)(equ)(fun)(SAT) 290| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.49/30.68 (SAT)(equ)(fun)(SAT) 290| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.59/30.78 (SAT)(equ)(fun)(SAT) 290| -. -. -1 -.
% 30.67/30.80 (SAT)(equ)(fun)(SAT) 290| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.91/31.07 (SAT)(equ)(fun)(SAT) 290+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 31.08/31.22 (SAT)(equ)(fun)(SAT) 292| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.16/31.32 (SAT)(equ)(fun)(SAT) 292| -. -. -. -. -. -. -.
% 31.38/31.52 (SAT)(equ)(fun)(SAT) 292+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 31.46/31.67 (SAT)(equ)(fun)(SAT) 294| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.61/31.77 (SAT)(equ)(fun)(SAT) 294| -. -1 -.
% 31.61/31.79 (SAT)(equ)(fun)(SAT) 294| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.74/31.89 (SAT)(equ)(fun)(SAT) 294| -. -. -.
% 31.90/32.09 (SAT)(equ)(fun)(SAT) 294+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 32.05/32.25 (SAT)(equ)(fun)(SAT) 296| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.37/32.53 (SAT)(equ)(fun)(SAT) 296+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 32.52/32.69 (SAT)(equ)(fun)(SAT) 297| -. -1 -. -. -.
% 32.52/32.72 (SAT)(equ)(fun)(SAT) 297| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.66/32.82 (SAT)(equ)(fun)(SAT) 297| -. -. -. -.
% 32.82/33.00 (SAT)(equ)(fun)(SAT) 297+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 33.03/33.16 (SAT)(equ)(fun)(SAT) 299| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.12/33.26 (SAT)(equ)(fun)(SAT) 299| -. -. -. -. -. -. -.
% 33.27/33.46 (SAT)(equ)(fun)(SAT) 299+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 33.47/33.63 (SAT)(equ)(fun)(SAT) 301| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.56/33.73 (SAT)(equ)(fun)(SAT) 301| -. -1 -.
% 33.56/33.75 (SAT)(equ)(fun)(SAT) 301| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.71/33.85 (SAT)(equ)(fun)(SAT) 301| -. -. -.
% 33.87/34.04 (SAT)(equ)(fun)(SAT) 301+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 34.08/34.21 (SAT)(equ)(fun)(SAT) 303| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.31/34.49 (SAT)(equ)(fun)(SAT) 303+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1
% 34.49/34.65 (SAT)(equ)(fun)(SAT) 304| -. -1 -. -1 -.
% 34.57/34.69 (SAT)(equ)(fun)(SAT) 304| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.70/34.82 (SAT)(equ)(fun)(SAT) 304| -. -. -. -.
% 34.87/35.02 (SAT)(equ)(fun)(SAT) 304+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 35.02/35.18 (SAT)(equ)(fun)(SAT) 306| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.16/35.29 (SAT)(equ)(fun)(SAT) 306| -. -. -. -. -. -. -.
% 35.31/35.50 (SAT)(equ)(fun)(SAT) 306+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 35.45/35.66 (SAT)(equ)(fun)(SAT) 308| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.62/35.76 (SAT)(equ)(fun)(SAT) 308| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.77/35.90 (SAT)(equ)(fun)(SAT) 308| -. -. -.
% 35.92/36.11 (SAT)(equ)(fun)(SAT) 308+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 36.16/36.29 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 36.22/36.39 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.60/36.73 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 36.76/36.89 (SAT)(equ)(fun)(SAT) 310| -. -1 -. -. -.
% 36.80/36.93 (SAT)(equ)(fun)(SAT) 310| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.88/37.03 (SAT)(equ)(fun)(SAT) 310| -. -. -. -.
% 37.10/37.28 (SAT)(equ)(fun)(SAT) 310+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 37.28/37.44 (SAT)(equ)(fun)(SAT) 312| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.39/37.55 (SAT)(equ)(fun)(SAT) 312| -. -. -. -. -. -. -.
% 37.58/37.78 (SAT)(equ)(fun)(SAT) 312+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 37.80/37.94 (SAT)(equ)(fun)(SAT) 314| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.90/38.05 (SAT)(equ)(fun)(SAT) 314| -. -1 -.
% 37.90/38.08 (SAT)(equ)(fun)(SAT) 314| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.09/38.21 (SAT)(equ)(fun)(SAT) 314| -. -. -.
% 38.28/38.44 (SAT)(equ)(fun)(SAT) 314+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 38.49/38.62 (SAT)(equ)(fun)(SAT) 316| -. -. -. -. -. -. -. -.
% 38.72/38.90 (SAT)(equ)(fun)(SAT) 316+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 38.96/39.08 (SAT)(equ)(fun)(SAT) 317| -. -. -. -1 -.
% 38.99/39.12 (SAT)(equ)(fun)(SAT) 317| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.12/39.27 (SAT)(equ)(fun)(SAT) 317| -. -. -. -.
% 39.33/39.50 (SAT)(equ)(fun)(SAT) 317+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 39.56/39.67 (SAT)(equ)(fun)(SAT) 320| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.63/39.79 (SAT)(equ)(fun)(SAT) 320| -. -. -. -. -. -. -.
% 39.93/40.09 (SAT)(equ)(fun)(SAT) 320+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 40.08/40.27 (SAT)(equ)(fun)(SAT) 322| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.21/40.38 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 40.36/40.50 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 40.51/40.63 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 40.61/40.75 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 40.69/40.86 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 40.78/40.97 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 40.89/41.08 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 41.08/41.20 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.22/41.35 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.31/41.46 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.46/41.57 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 41.52/41.68 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.69/41.80 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.79/41.91 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.84/42.01 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 41.96/42.13 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 42.12/42.24 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 42.21/42.34 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 42.26/42.45 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 42.44/42.55 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 42.54/42.68 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 42.64/42.79 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 42.74/42.89 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 42.85/43.00 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 43.00/43.11 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 43.04/43.23 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 43.18/43.34 (SAT)(equ)(fun)(SAT) 322| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.34/43.46 (SAT)(equ)(fun)(SAT) 322| -. -. -.
% 43.60/43.71 (SAT)(equ)(fun)(SAT) 322+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -123456 -123456 -123456 -123456 -123456 -. -. -. -. -. -. -. -. -. -.
% 43.78/43.93 (SAT)(equ)(fun)(SAT) 328| -. -. -. -. -. -. -. -.
% 44.10/44.21 (SAT)(equ)(fun)(SAT) 328+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 44.28/44.39 (SAT)(equ)(fun)(SAT) 329| -. -. -. -1 -.
% 44.32/44.43 (SAT)(equ)(fun)(SAT) 329| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.41/44.58 (SAT)(equ)(fun)(SAT) 329| -. -. -. -.
% 44.72/44.84 (SAT)(equ)(fun)(SAT) 329+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 44.90/45.02 (SAT)(equ)(fun)(SAT) 332| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.02/45.14 (SAT)(equ)(fun)(SAT) 332| -. -. -. -. -. -. -.
% 45.24/45.40 (SAT)(equ)(fun)(SAT) 332+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 45.47/45.58 (SAT)(equ)(fun)(SAT) 334| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.55/45.70 (SAT)(equ)(fun)(SAT) 334| -. -. -.
% 45.84/45.94 (SAT)(equ)(fun)(SAT) 334+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 46.03/46.14 (SAT)(equ)(fun)(SAT) 335| -. -. -. -. -. -. -. -.
% 46.27/46.45 (SAT)(equ)(fun)(SAT) 335+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 46.44/46.64 (SAT)(equ)(fun)(SAT) 336| -. -1 -. -. -.
% 46.54/46.68 (SAT)(equ)(fun)(SAT) 336| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.66/46.80 (SAT)(equ)(fun)(SAT) 336| -. -. -. -.
% 46.90/47.04 (SAT)(equ)(fun)(SAT) 336+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 47.12/47.22 (SAT)(equ)(fun)(SAT) 338| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.19/47.34 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -.
% 47.50/47.62 (SAT)(equ)(fun)(SAT) 338+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 47.68/47.80 (SAT)(equ)(fun)(SAT) 340| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.80/47.93 (SAT)(equ)(fun)(SAT) 340| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.97/48.07 (SAT)(equ)(fun)(SAT) 340| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.03/48.21 (SAT)(equ)(fun)(SAT) 340| -. -. -1 -.
% 48.13/48.24 (SAT)(equ)(fun)(SAT) 340| -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 48.26/48.36 (SAT)(equ)(fun)(SAT) 340| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 48.34/48.49 (SAT)(equ)(fun)(SAT) 340| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.72/48.84 (SAT)(equ)(fun)(SAT) 340+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 48.93/49.03 (SAT)(equ)(fun)(SAT) 342| -. -. -. -. -. -. -. -.
% 49.18/49.34 (SAT)(equ)(fun)(SAT) 342+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 49.36/49.53 (SAT)(equ)(fun)(SAT) 343| -. -. -. -1 -.
% 49.45/49.58 (SAT)(equ)(fun)(SAT) 343| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.56/49.70 (SAT)(equ)(fun)(SAT) 343| -. -. -. -.
% 49.85/49.95 (SAT)(equ)(fun)(SAT) 343+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 49.99/50.14 (SAT)(equ)(fun)(SAT) 346| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.14/50.27 (SAT)(equ)(fun)(SAT) 346| -. -. -. -. -. -. -.
% 50.42/50.61 (SAT)(equ)(fun)(SAT) 346+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 50.67/50.80 (SAT)(equ)(fun)(SAT) 348| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.72/50.93 (SAT)(equ)(fun)(SAT) 348| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.90/51.05 (SAT)(equ)(fun)(SAT) 348| -. -. -.
% 51.21/51.31 (SAT)(equ)(fun)(SAT) 348+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 51.39/51.52 (SAT)(equ)(fun)(SAT) 349| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.74/51.88 (SAT)(equ)(fun)(SAT) 349+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 51.96/52.07 (SAT)(equ)(fun)(SAT) 351| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 52.06/52.17 (SAT)(equ)(fun)(SAT) 351| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.17/52.30 (SAT)(equ)(fun)(SAT) 351| -. -. -. -.
% 52.48/52.57 (SAT)(equ)(fun)(SAT) 351+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 52.66/52.76 (SAT)(equ)(fun)(SAT) 354| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.76/52.90 (SAT)(equ)(fun)(SAT) 354| -. -. -. -. -. -. -.
% 53.07/53.25 (SAT)(equ)(fun)(SAT) 354+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 53.34/53.45 (SAT)(equ)(fun)(SAT) 356| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.47/53.59 (SAT)(equ)(fun)(SAT) 356| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.64/53.76 (SAT)(equ)(fun)(SAT) 356| -. -. -.
% 53.92/54.05 (SAT)(equ)(fun)(SAT) 356+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 54.13/54.26 (SAT)(equ)(fun)(SAT) 357| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.53/54.66 (SAT)(equ)(fun)(SAT) 357+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 54.69/54.87 (SAT)(equ)(fun)(SAT) 359| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 54.84/54.97 (SAT)(equ)(fun)(SAT) 359| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.07/55.16 (SAT)(equ)(fun)(SAT) 359| -. -. -. -.
% 55.36/55.49 (SAT)(equ)(fun)(SAT) 359+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 55.58/55.70 (SAT)(equ)(fun)(SAT) 362| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.74/55.84 (SAT)(equ)(fun)(SAT) 362| -. -. -. -. -. -. -.
% 56.06/56.15 (SAT)(equ)(fun)(SAT) 362+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 56.25/56.36 (SAT)(equ)(fun)(SAT) 364| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.36/56.49 (SAT)(equ)(fun)(SAT) 364| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.47/56.64 (SAT)(equ)(fun)(SAT) 364| -. -. -.
% 56.79/56.94 (SAT)(equ)(fun)(SAT) 364+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 57.04/57.14 (SAT)(equ)(fun)(SAT) 366| -. -. -. -. -. -. -. -.
% 57.40/57.54 (SAT)(equ)(fun)(SAT) 366+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 57.64/57.74 (SAT)(equ)(fun)(SAT) 367| -. -. -. -1 -.
% 57.64/57.79 (SAT)(equ)(fun)(SAT) 367| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.79/57.93 (SAT)(equ)(fun)(SAT) 367| -. -. -. -.
% 58.09/58.24 (SAT)(equ)(fun)(SAT) 367+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 58.33/58.44 (SAT)(equ)(fun)(SAT) 370| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.49/58.59 (SAT)(equ)(fun)(SAT) 370| -. -. -. -. -. -. -.
% 58.93/59.02 (SAT)(equ)(fun)(SAT) 370+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 59.15/59.23 (SAT)(equ)(fun)(SAT) 372| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.28/59.38 (SAT)(equ)(fun)(SAT) 372| -. -. -.
% 59.61/59.70 (SAT)(equ)(fun)(SAT) 372+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 59.81/59.93 (SAT)(equ)(fun)(SAT) 373| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.96/60.08 (SAT)(equ)(fun)(SAT) 373| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.40/60.51 (SAT)(equ)(fun)(SAT) 373+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 60.57/60.73 (SAT)(equ)(fun)(SAT) 375| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 60.71/60.84 (SAT)(equ)(fun)(SAT) 375| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.93/61.03 (SAT)(equ)(fun)(SAT) 375| -. -. -. -.
% 61.25/61.38 (SAT)(equ)(fun)(SAT) 375+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 61.49/61.59 (SAT)(equ)(fun)(SAT) 378| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.61/61.75 (SAT)(equ)(fun)(SAT) 378| -. -. -. -. -. -. -.
% 62.03/62.14 (SAT)(equ)(fun)(SAT) 378+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 62.25/62.36 (SAT)(equ)(fun)(SAT) 380| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.40/62.52 (SAT)(equ)(fun)(SAT) 380| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.57/62.67 (SAT)(equ)(fun)(SAT) 380| -. -. -.
% 62.87/62.99 (SAT)(equ)(fun)(SAT) 380+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 63.11/63.21 (SAT)(equ)(fun)(SAT) 382| -. -. -. -. -. -. -. -.
% 63.52/63.64 (SAT)(equ)(fun)(SAT) 382+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 63.77/63.86 (SAT)(equ)(fun)(SAT) 383| -. -. -. -1 -.
% 63.77/63.92 (SAT)(equ)(fun)(SAT) 383| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.96/64.06 (SAT)(equ)(fun)(SAT) 383| -. -. -. -.
% 64.36/64.43 (SAT)(equ)(fun)(SAT) 383+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 64.50/64.65 (SAT)(equ)(fun)(SAT) 386| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.65/64.80 (SAT)(equ)(fun)(SAT) 386| -. -. -. -. -. -. -.
% 65.12/65.21 (SAT)(equ)(fun)(SAT) 386+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 65.35/65.43 (SAT)(equ)(fun)(SAT) 388| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.50/65.59 (SAT)(equ)(fun)(SAT) 388| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.65/65.74 (SAT)(equ)(fun)(SAT) 388| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.17/66.27 (SAT)(equ)(fun)(SAT) 388+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 66.38/66.50 (SAT)(equ)(fun)(SAT) 390| -. -. -. -. -. -. -. -.
% 66.88/66.96 (SAT)(equ)(fun)(SAT) 390+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 67.07/67.19 (SAT)(equ)(fun)(SAT) 391| -. -. -. -1 -.
% 67.12/67.25 (SAT)(equ)(fun)(SAT) 391| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.29/67.41 (SAT)(equ)(fun)(SAT) 391| -. -. -. -.
% 67.67/67.80 (SAT)(equ)(fun)(SAT) 391+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 67.95/68.02 (SAT)(equ)(fun)(SAT) 394| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.03/68.18 (SAT)(equ)(fun)(SAT) 394| -. -. -. -. -. -. -.
% 68.52/68.59 (SAT)(equ)(fun)(SAT) 394+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 68.72/68.82 (SAT)(equ)(fun)(SAT) 396| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.85/68.98 (SAT)(equ)(fun)(SAT) 396| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.04/69.14 (SAT)(equ)(fun)(SAT) 396| -. -. -.
% 69.42/69.53 (SAT)(equ)(fun)(SAT) 396+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 69.64/69.76 (SAT)(equ)(fun)(SAT) 398| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.16/70.30 (SAT)(equ)(fun)(SAT) 398+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1
% 70.44/70.53 (SAT)(equ)(fun)(SAT) 399| -. -1 -. -1 -.
% 70.47/70.59 (SAT)(equ)(fun)(SAT) 399| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.63/70.74 (SAT)(equ)(fun)(SAT) 399| -. -. -. -. -. -. -.
% 71.07/71.17 (SAT)(equ)(fun)(SAT) 399+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 71.32/71.41 (SAT)(equ)(fun)(SAT) 401| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.43/71.57 (SAT)(equ)(fun)(SAT) 401| -. -. -. -. -. -. -.
% 71.94/72.02 (SAT)(equ)(fun)(SAT) 401+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 72.13/72.25 (SAT)(equ)(fun)(SAT) 403| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.35/72.42 (SAT)(equ)(fun)(SAT) 403| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.44/72.59 (SAT)(equ)(fun)(SAT) 403| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.05/73.13 (SAT)(equ)(fun)(SAT) 403+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 73.27/73.39 (SAT)(equ)(fun)(SAT) 404| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 73.41/73.55 (SAT)(equ)(fun)(SAT) 404| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.03/74.11 (SAT)(equ)(fun)(SAT) 404+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 74.26/74.35 (SAT)(equ)(fun)(SAT) 405| -. -1 -. -. -.
% 74.32/74.40 (SAT)(equ)(fun)(SAT) 405| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.48/74.56 (SAT)(equ)(fun)(SAT) 405| -. -. -. -.
% 74.92/74.98 (SAT)(equ)(fun)(SAT) 405+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 75.15/75.24 (SAT)(equ)(fun)(SAT) 407| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.34/75.40 (SAT)(equ)(fun)(SAT) 407| -. -. -. -. -. -. -.
% 75.76/75.86 (SAT)(equ)(fun)(SAT) 407+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 76.05/76.10 (SAT)(equ)(fun)(SAT) 409| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.15/76.27 (SAT)(equ)(fun)(SAT) 409| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.38/76.44 (SAT)(equ)(fun)(SAT) 409| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.94/77.01 (SAT)(equ)(fun)(SAT) 409+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 77.20/77.26 (SAT)(equ)(fun)(SAT) 410| -. -. -. -. -. -. -. -.
% 77.72/77.78 (SAT)(equ)(fun)(SAT) 410+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 77.96/78.03 (SAT)(equ)(fun)(SAT) 411| -. -1 -. -. -.
% 77.96/78.08 (SAT)(equ)(fun)(SAT) 411| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.16/78.25 (SAT)(equ)(fun)(SAT) 411| -. -. -. -.
% 78.56/78.68 (SAT)(equ)(fun)(SAT) 411+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 78.85/78.92 (SAT)(equ)(fun)(SAT) 413| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.94/79.09 (SAT)(equ)(fun)(SAT) 413| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 79.16/79.26 (SAT)(equ)(fun)(SAT) 413| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.77/79.83 (SAT)(equ)(fun)(SAT) 413+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -1 -. -. -. -. -1 -. -. -. -.
% 80.02/80.08 (SAT)(equ)(fun)(SAT) 416| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.15/80.26 (SAT)(equ)(fun)(SAT) 416| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.38/80.44 (SAT)(equ)(fun)(SAT) 416| -. -. -.
% 80.78/80.89 (SAT)(equ)(fun)(SAT) 416+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 81.06/81.15 (SAT)(equ)(fun)(SAT) 418| -. -. -. -. -. -. -. -.
% 81.56/81.68 (SAT)(equ)(fun)(SAT) 418+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 81.86/81.93 (SAT)(equ)(fun)(SAT) 419| -. -. -. -1 -.
% 81.86/81.99 (SAT)(equ)(fun)(SAT) 419| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.04/82.15 (SAT)(equ)(fun)(SAT) 419| -. -. -. -.
% 82.47/82.60 (SAT)(equ)(fun)(SAT) 419+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 82.74/82.85 (SAT)(equ)(fun)(SAT) 422| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.96/83.02 (SAT)(equ)(fun)(SAT) 422| -. -. -. -. -. -. -.
% 83.42/83.51 (SAT)(equ)(fun)(SAT) 422+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 83.63/83.77 (SAT)(equ)(fun)(SAT) 424| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.85/83.94 (SAT)(equ)(fun)(SAT) 424| -. -. -.
% 84.32/84.41 (SAT)(equ)(fun)(SAT) 424+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 84.62/84.68 (SAT)(equ)(fun)(SAT) 425| -. -. -. -. -. -. -. -.
% 85.14/85.22 (SAT)(equ)(fun)(SAT) 425+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 85.37/85.48 (SAT)(equ)(fun)(SAT) 426| -. -1 -. -. -.
% 85.45/85.54 (SAT)(equ)(fun)(SAT) 426| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.66/85.72 (SAT)(equ)(fun)(SAT) 426| -. -. -1 -.
% 85.66/85.76 (SAT)(equ)(fun)(SAT) 426| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.85/85.94 (SAT)(equ)(fun)(SAT) 426| -. -. -. -.
% 86.27/86.41 (SAT)(equ)(fun)(SAT) 426+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 86.60/86.67 (SAT)(equ)(fun)(SAT) 428| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.81/86.87 (SAT)(equ)(fun)(SAT) 428| -. -. -. -. -. -. -.
% 87.32/87.42 (SAT)(equ)(fun)(SAT) 428+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 87.63/87.69 (SAT)(equ)(fun)(SAT) 430| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.78/87.87 (SAT)(equ)(fun)(SAT) 430| -. -1 -.
% 87.78/87.91 (SAT)(equ)(fun)(SAT) 430| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.03/88.08 (SAT)(equ)(fun)(SAT) 430| -. -. -.
% 88.46/88.57 (SAT)(equ)(fun)(SAT) 430+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 88.77/88.84 (SAT)(equ)(fun)(SAT) 432| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.36/89.48 (SAT)(equ)(fun)(SAT) 432+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 89.68/89.75 (SAT)(equ)(fun)(SAT) 433| -. -1 -. -. -.
% 89.76/89.82 (SAT)(equ)(fun)(SAT) 433| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.96/90.00 (SAT)(equ)(fun)(SAT) 433| -. -. -. -.
% 90.40/90.49 (SAT)(equ)(fun)(SAT) 433+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 90.70/90.76 (SAT)(equ)(fun)(SAT) 435| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.84/90.95 (SAT)(equ)(fun)(SAT) 435| -. -. -. -. -. -. -.
% 91.36/91.48 (SAT)(equ)(fun)(SAT) 435+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 91.68/91.74 (SAT)(equ)(fun)(SAT) 437| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 91.90/91.93 (SAT)(equ)(fun)(SAT) 437| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.06/92.12 (SAT)(equ)(fun)(SAT) 437| -. -. -.
% 92.57/92.63 (SAT)(equ)(fun)(SAT) 437+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 92.85/92.93 (SAT)(equ)(fun)(SAT) 438| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 93.06/93.11 (SAT)(equ)(fun)(SAT) 438| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.76/93.80 (SAT)(equ)(fun)(SAT) 438+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 94.05/94.08 (SAT)(equ)(fun)(SAT) 439| -. -1 -. -. -.
% 94.05/94.15 (SAT)(equ)(fun)(SAT) 439| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.28/94.34 (SAT)(equ)(fun)(SAT) 439| -. -. -. -.
% 94.80/94.85 (SAT)(equ)(fun)(SAT) 439+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 95.10/95.13 (SAT)(equ)(fun)(SAT) 441| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.24/95.33 (SAT)(equ)(fun)(SAT) 441| -. -. -. -. -. -. -.
% 95.79/95.88 (SAT)(equ)(fun)(SAT) 441+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 96.07/96.16 (SAT)(equ)(fun)(SAT) 443| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.28/96.35 (SAT)(equ)(fun)(SAT) 443| -. -1 -.
% 96.28/96.39 (SAT)(equ)(fun)(SAT) 443| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.47/96.58 (SAT)(equ)(fun)(SAT) 443| -. -. -.
% 97.09/97.12 (SAT)(equ)(fun)(SAT) 443+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 97.38/97.42 (SAT)(equ)(fun)(SAT) 444| -. -. -. -. -. -. -. -.
% 98.00/98.06 (SAT)(equ)(fun)(SAT) 444+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 98.30/98.35 (SAT)(equ)(fun)(SAT) 445| -. -1 -. -. -.
% 98.37/98.41 (SAT)(equ)(fun)(SAT) 445| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 98.57/98.59 (SAT)(equ)(fun)(SAT) 445| -. -. -. -.
% 99.06/99.13 (SAT)(equ)(fun)(SAT) 445+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 99.38/99.41 (SAT)(equ)(fun)(SAT) 447| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.57/99.60 (SAT)(equ)(fun)(SAT) 447| -. -. -. -. -. -. -.
% 100.07/100.19 (SAT)(equ)(fun)(SAT) 447+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 100.37/100.47 (SAT)(equ)(fun)(SAT) 449| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.59/100.67 (SAT)(equ)(fun)(SAT) 449| -. -1 -.
% 100.67/100.71 (SAT)(equ)(fun)(SAT) 449| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.87/100.90 (SAT)(equ)(fun)(SAT) 449| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.51/101.61 (SAT)(equ)(fun)(SAT) 449+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 101.88/101.93 (SAT)(equ)(fun)(SAT) 450| -. -. -. -. -. -. -. -.
% 102.49/102.58 (SAT)(equ)(fun)(SAT) 450+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 102.80/102.86 (SAT)(equ)(fun)(SAT) 451| -. -1 -. -. -.
% 102.88/102.93 (SAT)(equ)(fun)(SAT) 451| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.08/103.13 (SAT)(equ)(fun)(SAT) 451| -. -. -. -.
% 103.58/103.67 (SAT)(equ)(fun)(SAT) 451+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 103.88/103.96 (SAT)(equ)(fun)(SAT) 453| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 104.10/104.16 (SAT)(equ)(fun)(SAT) 453| -. -. -. -. -. -. -.
% 104.72/104.76 (SAT)(equ)(fun)(SAT) 453+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 105.02/105.04 (SAT)(equ)(fun)(SAT) 455| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 105.17/105.24 (SAT)(equ)(fun)(SAT) 455| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 105.39/105.44 (SAT)(equ)(fun)(SAT) 455| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 105.62/105.65 (SAT)(equ)(fun)(SAT) 455| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.30/106.38 (SAT)(equ)(fun)(SAT) 455+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 106.67/106.71 (SAT)(equ)(fun)(SAT) 456| -. -. -. -. -. -. -. -.
% 107.29/107.39 (SAT)(equ)(fun)(SAT) 456+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 107.69/107.70 (SAT)(equ)(fun)(SAT) 457| -. -1 -. -. -.
% 107.69/107.77 (SAT)(equ)(fun)(SAT) 457| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.91/107.97 (SAT)(equ)(fun)(SAT) 457| -. -. -. -.
% 108.49/108.52 (SAT)(equ)(fun)(SAT) 457+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 108.77/108.81 (SAT)(equ)(fun)(SAT) 459| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.96/109.02 (SAT)(equ)(fun)(SAT) 459| -. -. -. -. -. -. -.
% 109.57/109.63 (SAT)(equ)(fun)(SAT) 459+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 109.89/109.92 (SAT)(equ)(fun)(SAT) 461| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.09/110.12 (SAT)(equ)(fun)(SAT) 461| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.30/110.32 (SAT)(equ)(fun)(SAT) 461| -. -. -.
% 110.79/110.88 (SAT)(equ)(fun)(SAT) 461+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 111.19/111.21 (SAT)(equ)(fun)(SAT) 462| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 111.39/111.41 (SAT)(equ)(fun)(SAT) 462| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.17/112.22 (SAT)(equ)(fun)(SAT) 462+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 112.45/112.53 (SAT)(equ)(fun)(SAT) 463| -. -1 -. -. -.
% 112.58/112.60 (SAT)(equ)(fun)(SAT) 463| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.77/112.80 (SAT)(equ)(fun)(SAT) 463| -. -. -. -.
% 113.31/113.37 (SAT)(equ)(fun)(SAT) 463+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 113.68/113.69 (SAT)(equ)(fun)(SAT) 465| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.81/113.91 (SAT)(equ)(fun)(SAT) 465| -. -. -. -. -. -. -.
% 114.49/114.52 (SAT)(equ)(fun)(SAT) 465+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 114.71/114.81 (SAT)(equ)(fun)(SAT) 467| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 114.97/115.01 (SAT)(equ)(fun)(SAT) 467| -. -. -.
% 115.53/115.59 (SAT)(equ)(fun)(SAT) 467+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 115.91/115.93 (SAT)(equ)(fun)(SAT) 468| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.13/116.14 (SAT)(equ)(fun)(SAT) 468| -. -1 -.
% 116.13/116.17 (SAT)(equ)(fun)(SAT) 468| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.88/116.95 (SAT)(equ)(fun)(SAT) 468+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 117.19/117.26 (SAT)(equ)(fun)(SAT) 469| -. -1 -. -. -.
% 117.31/117.34 (SAT)(equ)(fun)(SAT) 469| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 117.48/117.55 (SAT)(equ)(fun)(SAT) 469| -. -. -. -.
% 118.10/118.12 (SAT)(equ)(fun)(SAT) 469+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 118.39/118.43 (SAT)(equ)(fun)(SAT) 471| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 118.61/118.64 (SAT)(equ)(fun)(SAT) 471| -. -. -. -. -. -. -.
% 119.18/119.27 (SAT)(equ)(fun)(SAT) 471+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 119.48/119.56 (SAT)(equ)(fun)(SAT) 473| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.71/119.77 (SAT)(equ)(fun)(SAT) 473| -. -. -.
% 120.30/120.37 (SAT)(equ)(fun)(SAT) 473+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 120.68/120.70 (SAT)(equ)(fun)(SAT) 474| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.92/120.92 (SAT)(equ)(fun)(SAT) 474| -. -1 -.
% 120.92/120.96 (SAT)(equ)(fun)(SAT) 474| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.70/121.72 (SAT)(equ)(fun)(SAT) 474+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 122.01/122.03 (SAT)(equ)(fun)(SAT) 475| -. -1 -. -. -.
% 122.11/122.10 (SAT)(equ)(fun)(SAT) 475| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 122.22/122.30 (SAT)(equ)(fun)(SAT) 475| -. -. -. -.
% 122.89/122.88 (SAT)(equ)(fun)(SAT) 475+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 123.19/123.19 (SAT)(equ)(fun)(SAT) 477| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.38/123.40 (SAT)(equ)(fun)(SAT) 477| -. -. -. -. -. -. -.
% 124.04/124.04 (SAT)(equ)(fun)(SAT) 477+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 124.33/124.35 (SAT)(equ)(fun)(SAT) 479| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 124.58/124.57 (SAT)(equ)(fun)(SAT) 479| -. -. -.
% 125.09/125.17 (SAT)(equ)(fun)(SAT) 479+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 125.51/125.55 (SAT)(equ)(fun)(SAT) 480| -. -. -. -. -. -. -. -.
% 126.23/126.27 (SAT)(equ)(fun)(SAT) 480+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 126.53/126.59 (SAT)(equ)(fun)(SAT) 481| -. -1 -. -. -.
% 126.63/126.67 (SAT)(equ)(fun)(SAT) 481| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 126.79/126.88 (SAT)(equ)(fun)(SAT) 481| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.09/127.10 (SAT)(equ)(fun)(SAT) 481| -. -. -1 -.
% 127.09/127.15 (SAT)(equ)(fun)(SAT) 481| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.95/127.93 (SAT)(equ)(fun)(SAT) 481+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 128.19/128.25 (SAT)(equ)(fun)(SAT) 485| -. -. -1 -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 128.50/128.48 (SAT)(equ)(fun)(SAT) 485| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.31/129.30 (SAT)(equ)(fun)(SAT) 485+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 129.61/129.60 (SAT)(equ)(fun)(SAT) 487| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.82/129.83 (SAT)(equ)(fun)(SAT) 487| -. -. -.
% 130.43/130.46 (SAT)(equ)(fun)(SAT) 487+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 130.82/130.83 (SAT)(equ)(fun)(SAT) 488| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.05/131.06 (SAT)(equ)(fun)(SAT) 488| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.88/131.87 (SAT)(equ)(fun)(SAT) 488+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 132.20/132.20 (SAT)(equ)(fun)(SAT) 490| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 132.33/132.35 (SAT)(equ)(fun)(SAT) 490| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 132.54/132.59 (SAT)(equ)(fun)(SAT) 490| -. -. -. -.
% 133.23/133.22 (SAT)(equ)(fun)(SAT) 490+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 133.52/133.55 (SAT)(equ)(fun)(SAT) 493| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 133.72/133.77 (SAT)(equ)(fun)(SAT) 493| -. -. -. -. -. -. -.
% 134.40/134.46 (SAT)(equ)(fun)(SAT) 493+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 134.79/134.78 (SAT)(equ)(fun)(SAT) 495| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.00/135.01 (SAT)(equ)(fun)(SAT) 495| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.22/135.25 (SAT)(equ)(fun)(SAT) 495| -. -. -.
% 135.91/135.89 (SAT)(equ)(fun)(SAT) 495+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 136.23/136.22 (SAT)(equ)(fun)(SAT) 497| -. -. -. -. -. -. -. -.
% 137.02/137.02 (SAT)(equ)(fun)(SAT) 497+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 137.33/137.37 (SAT)(equ)(fun)(SAT) 498| -. -. -. -1 -.
% 137.45/137.45 (SAT)(equ)(fun)(SAT) 498| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 137.71/137.69 (SAT)(equ)(fun)(SAT) 498| -. -. -. -.
% 138.36/138.36 (SAT)(equ)(fun)(SAT) 498+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 138.73/138.71 (SAT)(equ)(fun)(SAT) 501| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 138.96/138.95 (SAT)(equ)(fun)(SAT) 501| -. -. -. -. -. -. -.
% 139.65/139.68 (SAT)(equ)(fun)(SAT) 501+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 140.03/140.01 (SAT)(equ)(fun)(SAT) 503| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 140.24/140.26 (SAT)(equ)(fun)(SAT) 503| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 140.44/140.50 (SAT)(equ)(fun)(SAT) 503| -. -. -.
% 141.13/141.19 (SAT)(equ)(fun)(SAT) 503+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 141.51/141.53 (SAT)(equ)(fun)(SAT) 505| -. -. -. -. -. -. -. -.
% 142.35/142.36 (SAT)(equ)(fun)(SAT) 505+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 142.70/142.71 (SAT)(equ)(fun)(SAT) 506| -. -. -. -1 -.
% 142.83/142.79 (SAT)(equ)(fun)(SAT) 506| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 143.02/143.05 (SAT)(equ)(fun)(SAT) 506| -. -. -. -.
% 143.74/143.74 (SAT)(equ)(fun)(SAT) 506+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 144.14/144.10 (SAT)(equ)(fun)(SAT) 509| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 144.35/144.35 (SAT)(equ)(fun)(SAT) 509| -. -. -. -. -. -. -.
% 145.13/145.12 (SAT)(equ)(fun)(SAT) 509+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 145.42/145.47 (SAT)(equ)(fun)(SAT) 511| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.72/145.71 (SAT)(equ)(fun)(SAT) 511| -. -. -.
% 146.48/146.44 (SAT)(equ)(fun)(SAT) 511+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 146.85/146.85 (SAT)(equ)(fun)(SAT) 512| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.07/147.10 (SAT)(equ)(fun)(SAT) 512| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 148.05/148.05 (SAT)(equ)(fun)(SAT) 512+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 148.43/148.41 (SAT)(equ)(fun)(SAT) 514| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 148.64/148.60 (SAT)(equ)(fun)(SAT) 514| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 148.86/148.86 (SAT)(equ)(fun)(SAT) 514| -. -. -. -.
% 149.63/149.58 (SAT)(equ)(fun)(SAT) 514+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 149.93/149.95 (SAT)(equ)(fun)(SAT) 517| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 150.21/150.20 (SAT)(equ)(fun)(SAT) 517| -. -. -. -. -. -. -.
% 150.97/151.00 (SAT)(equ)(fun)(SAT) 517+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 151.36/151.35 (SAT)(equ)(fun)(SAT) 519| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.56/151.60 (SAT)(equ)(fun)(SAT) 519| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.85/151.86 (SAT)(equ)(fun)(SAT) 519| -. -. -.
% 152.65/152.61 (SAT)(equ)(fun)(SAT) 519+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 153.04/153.01 (SAT)(equ)(fun)(SAT) 521| -. -. -. -. -. -. -. -.
% 153.85/153.86 (SAT)(equ)(fun)(SAT) 521+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 154.23/154.22 (SAT)(equ)(fun)(SAT) 522| -. -. -. -1 -.
% 154.36/154.31 (SAT)(equ)(fun)(SAT) 522| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 154.53/154.55 (SAT)(equ)(fun)(SAT) 522| -. -. -. -.
% 155.27/155.30 (SAT)(equ)(fun)(SAT) 522+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 155.65/155.66 (SAT)(equ)(fun)(SAT) 525| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 155.95/155.92 (SAT)(equ)(fun)(SAT) 525| -. -. -. -. -. -. -.
% 156.87/156.83 (SAT)(equ)(fun)(SAT) 525+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 157.24/157.19 (SAT)(equ)(fun)(SAT) 527| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 157.46/157.46 (SAT)(equ)(fun)(SAT) 527| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 157.76/157.72 (SAT)(equ)(fun)(SAT) 527| -. -. -.
% 158.46/158.48 (SAT)(equ)(fun)(SAT) 527+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 158.84/158.85 (SAT)(equ)(fun)(SAT) 529| -. -. -. -. -. -. -. -.
% 159.86/159.81 (SAT)(equ)(fun)(SAT) 529+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 160.14/160.17 (SAT)(equ)(fun)(SAT) 530| -. -. -. -1 -.
% 160.28/160.26 (SAT)(equ)(fun)(SAT) 530| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 160.58/160.51 (SAT)(equ)(fun)(SAT) 530| -. -. -. -.
% 161.33/161.28 (SAT)(equ)(fun)(SAT) 530+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 161.64/161.64 (SAT)(equ)(fun)(SAT) 533| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.94/161.92 (SAT)(equ)(fun)(SAT) 533| -. -. -. -. -. -. -.
% 162.78/162.76 (SAT)(equ)(fun)(SAT) 533+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 163.16/163.14 (SAT)(equ)(fun)(SAT) 535| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 163.46/163.41 (SAT)(equ)(fun)(SAT) 535| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 163.66/163.67 (SAT)(equ)(fun)(SAT) 535| -. -. -.
% 164.58/164.56 (SAT)(equ)(fun)(SAT) 535+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 164.95/164.94 (SAT)(equ)(fun)(SAT) 537| -. -. -. -. -. -. -. -.
% 165.94/165.87 (SAT)(equ)(fun)(SAT) 537+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 166.28/166.25 (SAT)(equ)(fun)(SAT) 538| -. -. -. -1 -.
% 166.38/166.35 (SAT)(equ)(fun)(SAT) 538| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 166.67/166.61 (SAT)(equ)(fun)(SAT) 538| -. -. -. -.
% 167.46/167.49 (SAT)(equ)(fun)(SAT) 538+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 167.87/167.87 (SAT)(equ)(fun)(SAT) 541| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 168.17/168.14 (SAT)(equ)(fun)(SAT) 541| -. -. -. -. -. -. -.
% 169.07/169.03 (SAT)(equ)(fun)(SAT) 541+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 169.45/169.40 (SAT)(equ)(fun)(SAT) 543| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 169.85/169.79 (SAT)(equ)(fun)(SAT) 543| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.07/170.04 (SAT)(equ)(fun)(SAT) 543| -. -. -.
% 170.97/170.95 (SAT)(equ)(fun)(SAT) 543+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 171.48/171.42 (SAT)(equ)(fun)(SAT) 544| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 172.59/172.52 (SAT)(equ)(fun)(SAT) 544+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 172.98/172.91 (SAT)(equ)(fun)(SAT) 546| -1 -1 -. -1 -1 -1 -. -. -1 -.
% 173.29/173.24 (SAT)(equ)(fun)(SAT) 546| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 173.59/173.56 (SAT)(equ)(fun)(SAT) 546| -. -. -. -.
% 174.48/174.49 (SAT)(equ)(fun)(SAT) 546+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 174.99/174.92 (SAT)(equ)(fun)(SAT) 549| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.26/175.20 (SAT)(equ)(fun)(SAT) 549| -. -. -. -. -. -. -.
% 176.35/176.30 (SAT)(equ)(fun)(SAT) 549+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 176.67/176.69 (SAT)(equ)(fun)(SAT) 551| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 176.97/176.97 (SAT)(equ)(fun)(SAT) 551| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.28/177.26 (SAT)(equ)(fun)(SAT) 551| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 178.47/178.41 (SAT)(equ)(fun)(SAT) 551+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 178.89/178.81 (SAT)(equ)(fun)(SAT) 553| -. -. -. -. -. -. -. -.
% 179.89/179.82 (SAT)(equ)(fun)(SAT) 553+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 180.28/180.22 (SAT)(equ)(fun)(SAT) 554| -. -. -. -1 -.
% 180.40/180.33 (SAT)(equ)(fun)(SAT) 554| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 180.67/180.60 (SAT)(equ)(fun)(SAT) 554| -. -. -. -.
% 181.60/181.56 (SAT)(equ)(fun)(SAT) 554+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 182.00/181.95 (SAT)(equ)(fun)(SAT) 557| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.31/182.24 (SAT)(equ)(fun)(SAT) 557| -. -. -. -. -. -. -.
% 183.29/183.28 (SAT)(equ)(fun)(SAT) 557+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 183.71/183.69 (SAT)(equ)(fun)(SAT) 559| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.01/183.98 (SAT)(equ)(fun)(SAT) 559| -. -. -.
% 184.99/184.96 (SAT)(equ)(fun)(SAT) 559+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 185.51/185.46 (SAT)(equ)(fun)(SAT) 560| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 185.81/185.76 (SAT)(equ)(fun)(SAT) 560| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 186.99/186.99 (SAT)(equ)(fun)(SAT) 560+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 187.47/187.39 (SAT)(equ)(fun)(SAT) 561| -. -1 -. -. -.
% 187.51/187.49 (SAT)(equ)(fun)(SAT) 561| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 187.81/187.78 (SAT)(equ)(fun)(SAT) 561| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 188.11/188.09 (SAT)(equ)(fun)(SAT) 561| -. -. -. -.
% 189.22/189.19 (SAT)(equ)(fun)(SAT) 561+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 189.69/189.60 (SAT)(equ)(fun)(SAT) 563| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.99/189.90 (SAT)(equ)(fun)(SAT) 563| -. -. -. -. -. -. -.
% 191.02/190.94 (SAT)(equ)(fun)(SAT) 563+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 191.40/191.34 (SAT)(equ)(fun)(SAT) 565| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.70/191.65 (SAT)(equ)(fun)(SAT) 565| -. -1 -.
% 191.78/191.70 (SAT)(equ)(fun)(SAT) 565| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 192.11/192.01 (SAT)(equ)(fun)(SAT) 565| -. -. -.
% 193.20/193.12 (SAT)(equ)(fun)(SAT) 565+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 193.72/193.62 (SAT)(equ)(fun)(SAT) 566| -. -. -. -. -. -. -. -.
% 194.91/194.81 (SAT)(equ)(fun)(SAT) 566+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 195.31/195.27 (SAT)(equ)(fun)(SAT) 567| -. -1 -. -. -.
% 195.42/195.38 (SAT)(equ)(fun)(SAT) 567| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 195.72/195.68 (SAT)(equ)(fun)(SAT) 567| -. -. -. -.
% 196.71/196.69 (SAT)(equ)(fun)(SAT) 567+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 197.24/197.15 (SAT)(equ)(fun)(SAT) 569| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 197.53/197.45 (SAT)(equ)(fun)(SAT) 569| -. -. -. -. -. -. -.
% 198.59/198.53 (SAT)(equ)(fun)(SAT) 569+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 199.03/198.93 (SAT)(equ)(fun)(SAT) 571| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 199.33/199.24 (SAT)(equ)(fun)(SAT) 571| -. -. -.
% 200.32/200.25 (SAT)(equ)(fun)(SAT) 571+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 200.83/200.75 (SAT)(equ)(fun)(SAT) 572| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 201.13/201.05 (SAT)(equ)(fun)(SAT) 572| -. -1 -.
% 201.13/201.11 (SAT)(equ)(fun)(SAT) 572| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 202.51/202.44 (SAT)(equ)(fun)(SAT) 572+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 203.02/202.92 (SAT)(equ)(fun)(SAT) 573| -. -1 -. -. -.
% 203.12/203.04 (SAT)(equ)(fun)(SAT) 573| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.42/203.37 (SAT)(equ)(fun)(SAT) 573| -. -. -. -.
% 204.44/204.40 (SAT)(equ)(fun)(SAT) 573+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 204.92/204.87 (SAT)(equ)(fun)(SAT) 575| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 205.30/205.18 (SAT)(equ)(fun)(SAT) 575| -. -. -. -. -. -. -.
% 206.32/206.27 (SAT)(equ)(fun)(SAT) 575+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 206.74/206.69 (SAT)(equ)(fun)(SAT) 577| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.04/207.00 (SAT)(equ)(fun)(SAT) 577| -. -. -.
% 208.12/208.09 (SAT)(equ)(fun)(SAT) 577+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 208.72/208.64 (SAT)(equ)(fun)(SAT) 578| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 209.00/208.97 (SAT)(equ)(fun)(SAT) 578| -. -1 -.
% 209.14/209.03 (SAT)(equ)(fun)(SAT) 578| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 210.43/210.37 (SAT)(equ)(fun)(SAT) 578+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 210.91/210.79 (SAT)(equ)(fun)(SAT) 579| -. -1 -. -. -.
% 210.94/210.90 (SAT)(equ)(fun)(SAT) 579| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.24/211.20 (SAT)(equ)(fun)(SAT) 579| -. -. -. -.
% 212.33/212.23 (SAT)(equ)(fun)(SAT) 579+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 212.75/212.67 (SAT)(equ)(fun)(SAT) 581| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 213.05/212.98 (SAT)(equ)(fun)(SAT) 581| -. -. -. -. -. -. -.
% 214.13/214.08 (SAT)(equ)(fun)(SAT) 581+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 214.65/214.51 (SAT)(equ)(fun)(SAT) 583| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 214.95/214.83 (SAT)(equ)(fun)(SAT) 583| -. -. -.
% 215.94/215.89 (SAT)(equ)(fun)(SAT) 583+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 216.54/216.43 (SAT)(equ)(fun)(SAT) 584| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 216.84/216.75 (SAT)(equ)(fun)(SAT) 584| -. -1 -.
% 216.92/216.80 (SAT)(equ)(fun)(SAT) 584| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 218.35/218.23 (SAT)(equ)(fun)(SAT) 584+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 218.76/218.66 (SAT)(equ)(fun)(SAT) 585| -. -1 -. -. -.
% 218.85/218.77 (SAT)(equ)(fun)(SAT) 585| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 219.15/219.07 (SAT)(equ)(fun)(SAT) 585| -. -. -. -.
% 220.22/220.14 (SAT)(equ)(fun)(SAT) 585+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 220.63/220.58 (SAT)(equ)(fun)(SAT) 587| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 221.04/220.91 (SAT)(equ)(fun)(SAT) 587| -. -. -. -. -. -. -.
% 222.15/222.05 (SAT)(equ)(fun)(SAT) 587+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 222.54/222.48 (SAT)(equ)(fun)(SAT) 589| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 222.94/222.80 (SAT)(equ)(fun)(SAT) 589| -. -1 -.
% 222.94/222.86 (SAT)(equ)(fun)(SAT) 589| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 223.24/223.15 (SAT)(equ)(fun)(SAT) 589| -. -. -.
% 224.37/224.22 (SAT)(equ)(fun)(SAT) 589+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 224.77/224.68 (SAT)(equ)(fun)(SAT) 591| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.24/226.10 (SAT)(equ)(fun)(SAT) 591+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1
% 226.65/226.51 (SAT)(equ)(fun)(SAT) 592| -. -1 -. -1 -.
% 226.75/226.61 (SAT)(equ)(fun)(SAT) 592| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 227.03/226.88 (SAT)(equ)(fun)(SAT) 592| -. -. -. -.
% 228.07/227.98 (SAT)(equ)(fun)(SAT) 592+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 228.56/228.40 (SAT)(equ)(fun)(SAT) 594| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 228.84/228.69 (SAT)(equ)(fun)(SAT) 594| -. -. -. -. -. -. -.
% 229.86/229.77 (SAT)(equ)(fun)(SAT) 594+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 230.34/230.18 (SAT)(equ)(fun)(SAT) 596| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.55/230.48 (SAT)(equ)(fun)(SAT) 596| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.87/230.78 (SAT)(equ)(fun)(SAT) 596| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.25/232.18 (SAT)(equ)(fun)(SAT) 596+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 232.67/232.60 (SAT)(equ)(fun)(SAT) 598| -. -. -. -. -. -. -. -.
% 233.97/233.89 (SAT)(equ)(fun)(SAT) 598+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 234.45/234.30 (SAT)(equ)(fun)(SAT) 599| -. -. -. -1 -.
% 234.55/234.40 (SAT)(equ)(fun)(SAT) 599| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 234.77/234.68 (SAT)(equ)(fun)(SAT) 599| -. -. -. -.
% 235.85/235.71 (SAT)(equ)(fun)(SAT) 599+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 236.28/236.13 (SAT)(equ)(fun)(SAT) 602| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 236.57/236.43 (SAT)(equ)(fun)(SAT) 602| -. -. -. -. -. -. -.
% 237.65/237.53 (SAT)(equ)(fun)(SAT) 602+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 238.07/237.95 (SAT)(equ)(fun)(SAT) 604| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 238.35/238.26 (SAT)(equ)(fun)(SAT) 604| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 238.66/238.57 (SAT)(equ)(fun)(SAT) 604| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 240.16/240.03 (SAT)(equ)(fun)(SAT) 604+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 240.58/240.50 (SAT)(equ)(fun)(SAT) 606| -. -. -. -. -. -. -. -.
% 242.06/241.90 (SAT)(equ)(fun)(SAT) 606+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 242.44/242.33 (SAT)(equ)(fun)(SAT) 607| -. -. -. -1 -.
% 242.57/242.44 (SAT)(equ)(fun)(SAT) 607| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 242.86/242.77 (SAT)(equ)(fun)(SAT) 607| -. -. -. -.
% 244.08/243.94 (SAT)(equ)(fun)(SAT) 607+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 244.48/244.38 (SAT)(equ)(fun)(SAT) 610| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 244.86/244.70 (SAT)(equ)(fun)(SAT) 610| -. -. -. -. -. -. -.
% 245.99/245.87 (SAT)(equ)(fun)(SAT) 610+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -.
% 246.47/246.30 (SAT)(equ)(fun)(SAT) 612| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 246.78/246.62 (SAT)(equ)(fun)(SAT) 612| -. -. -.
% 247.97/247.80 (SAT)(equ)(fun)(SAT) 612+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 248.45/248.34 (SAT)(equ)(fun)(SAT) 613| -. -. -. -. -. -. -. -.
% 249.79/249.67 (SAT)(equ)(fun)(SAT) 613+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 250.19/250.10 (SAT)(equ)(fun)(SAT) 614| -. -1 -. -. -.
% 250.38/250.21 (SAT)(equ)(fun)(SAT) 614| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 250.59/250.51 (SAT)(equ)(fun)(SAT) 614| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 250.98/250.81 (SAT)(equ)(fun)(SAT) 614| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 251.39/251.26 (SAT)(equ)(fun)(SAT) 614| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 252.90/252.75 (SAT)(equ)(fun)(SAT) 614+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 253.30/253.18 (SAT)(equ)(fun)(SAT) 616| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 253.68/253.51 (SAT)(equ)(fun)(SAT) 616| -. -. -. -. -. -. -.
% 254.98/254.81 (SAT)(equ)(fun)(SAT) 616+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 255.40/255.28 (SAT)(equ)(fun)(SAT) 618| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 255.80/255.63 (SAT)(equ)(fun)(SAT) 618| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 256.10/255.97 (SAT)(equ)(fun)(SAT) 618| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 256.50/256.32 (SAT)(equ)(fun)(SAT) 618| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.19/258.03 (SAT)(equ)(fun)(SAT) 618+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 258.70/258.59 (SAT)(equ)(fun)(SAT) 619| -. -. -. -. -. -. -. -.
% 260.29/260.10 (SAT)(equ)(fun)(SAT) 619+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 260.79/260.61 (SAT)(equ)(fun)(SAT) 620| -. -1 -. -. -.
% 260.89/260.72 (SAT)(equ)(fun)(SAT) 620| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 261.19/261.07 (SAT)(equ)(fun)(SAT) 620| -. -. -. -.
% 262.51/262.36 (SAT)(equ)(fun)(SAT) 620+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 262.99/262.87 (SAT)(equ)(fun)(SAT) 622| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 263.41/263.21 (SAT)(equ)(fun)(SAT) 622| -. -. -. -. -. -. -.
% 264.71/264.53 (SAT)(equ)(fun)(SAT) 622+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 265.19/265.01 (SAT)(equ)(fun)(SAT) 624| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.52/265.36 (SAT)(equ)(fun)(SAT) 624| -. -1 -.
% 265.62/265.42 (SAT)(equ)(fun)(SAT) 624| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.92/265.77 (SAT)(equ)(fun)(SAT) 624| -. -. -.
% 267.20/267.00 (SAT)(equ)(fun)(SAT) 624+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 267.69/267.58 (SAT)(equ)(fun)(SAT) 625| -. -. -. -. -. -. -. -.
% 269.12/268.95 (SAT)(equ)(fun)(SAT) 625+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 269.61/269.45 (SAT)(equ)(fun)(SAT) 626| -. -1 -. -. -.
% 269.72/269.57 (SAT)(equ)(fun)(SAT) 626| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.12/269.92 (SAT)(equ)(fun)(SAT) 626| -. -. -. -.
% 271.41/271.25 (SAT)(equ)(fun)(SAT) 626+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 271.90/271.79 (SAT)(equ)(fun)(SAT) 628| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 272.32/272.16 (SAT)(equ)(fun)(SAT) 628| -. -. -. -. -. -. -.
% 273.82/273.67 (SAT)(equ)(fun)(SAT) 628+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 274.32/274.15 (SAT)(equ)(fun)(SAT) 630| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 274.72/274.52 (SAT)(equ)(fun)(SAT) 630| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 275.02/274.88 (SAT)(equ)(fun)(SAT) 630| -. -. -.
% 276.40/276.25 (SAT)(equ)(fun)(SAT) 630+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 277.02/276.83 (SAT)(equ)(fun)(SAT) 631| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 277.32/277.18 (SAT)(equ)(fun)(SAT) 631| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 279.03/278.81 (SAT)(equ)(fun)(SAT) 631+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 279.51/279.32 (SAT)(equ)(fun)(SAT) 632| -. -1 -. -. -.
% 279.63/279.45 (SAT)(equ)(fun)(SAT) 632| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 280.01/279.80 (SAT)(equ)(fun)(SAT) 632| -. -. -. -.
% 281.23/281.08 (SAT)(equ)(fun)(SAT) 632+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 281.80/281.62 (SAT)(equ)(fun)(SAT) 634| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 282.11/281.97 (SAT)(equ)(fun)(SAT) 634| -. -. -. -. -. -. -.
% 283.53/283.38 (SAT)(equ)(fun)(SAT) 634+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 284.03/283.87 (SAT)(equ)(fun)(SAT) 636| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 284.43/284.23 (SAT)(equ)(fun)(SAT) 636| -. -1 -.
% 284.43/284.29 (SAT)(equ)(fun)(SAT) 636| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 284.83/284.65 (SAT)(equ)(fun)(SAT) 636| -. -. -.
% 286.21/286.03 (SAT)(equ)(fun)(SAT) 636+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 286.83/286.62 (SAT)(equ)(fun)(SAT) 637| -. -. -. -. -. -. -. -.
% 288.33/288.14 (SAT)(equ)(fun)(SAT) 637+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 288.83/288.64 (SAT)(equ)(fun)(SAT) 638| -. -1 -. -. -.
% 288.93/288.77 (SAT)(equ)(fun)(SAT) 638| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 289.24/289.08 (SAT)(equ)(fun)(SAT) 638| -. -. -. -.
% 290.51/290.35 (SAT)(equ)(fun)(SAT) 638+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 291.04/290.84 (SAT)(equ)(fun)(SAT) 640| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.42/291.20 (SAT)(equ)(fun)(SAT) 640| -. -. -. -. -. -. -.
% 292.92/292.77 (SAT)(equ)(fun)(SAT) 640+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 293.51/293.30 (SAT)(equ)(fun)(SAT) 642| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.82/293.67 (SAT)(equ)(fun)(SAT) 642| -. -1 -.
% 293.94/293.73 (SAT)(equ)(fun)(SAT) 642| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 294.21/294.06 (SAT)(equ)(fun)(SAT) 642| -. -. -.
% 295.53/295.37 (SAT)(equ)(fun)(SAT) 642+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 296.02/295.88 (SAT)(equ)(fun)(SAT) 644| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 297.84/297.67 (SAT)(equ)(fun)(SAT) 644+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1
% 298.34/298.18 (SAT)(equ)(fun)(SAT) 645| -. -1 -. -1 -.
% 298.53/298.30 (SAT)(equ)(fun)(SAT) 645| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 298.83/298.64 (SAT)(equ)(fun)(SAT) 645| -. -. -. -. -. -. -.
%------------------------------------------------------------------------------