TSTP Solution File: NLP034+1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : NLP034+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 : n007.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:40 EDT 2022
% Result : Timeout 285.77s 285.67s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : NLP034+1 : TPTP v8.1.0. Released v2.4.0.
% 0.07/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.32 % Computer : n007.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 600
% 0.12/0.32 % DateTime : Thu Jun 30 21:04:38 EDT 2022
% 0.12/0.32 % CPUTime :
% 0.12/0.32 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.32 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.32 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.12/0.34 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.35 #elt|#instances
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 6| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 6+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 10| -. -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 10+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 11| -12 -12 -. -. -. -. -. -. -. -. -. -.
% 0.18/0.40 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.40 (SAT)(equ)(fun)(SAT) 11+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 0.18/0.42 (SAT)(equ)(fun)(SAT) 14| -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.43 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -. -. -. -. -. -. -1
% 0.18/0.43 (SAT)(equ)(fun)(SAT) 14| -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.18/0.44 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -. -.
% 0.18/0.44 (SAT)(equ)(fun)(SAT) 14+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -123 -123 -123 -123 -. -1 -. -. -. -. -. -1 -. -.
% 0.18/0.46 (SAT)(equ)(fun)(SAT) 19| -1 -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.46 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -. -.
% 0.18/0.47 (SAT)(equ)(fun)(SAT) 19+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -12 -12 -. -. -. -. -. -. -. -.
% 0.18/0.48 (SAT)(equ)(fun)(SAT) 24| -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.49 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.50 (SAT)(equ)(fun)(SAT) 24+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.51 (SAT)(equ)(fun)(SAT) 27| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.52 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -1 -.
% 0.18/0.53 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.54 (SAT)(equ)(fun)(SAT) 27+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.18/0.55 (SAT)(equ)(fun)(SAT) 29| -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.18/0.56 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -.
% 0.18/0.57 (SAT)(equ)(fun)(SAT) 29+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 0.18/0.59 (SAT)(equ)(fun)(SAT) 30| -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.59 (SAT)(equ)(fun)(SAT) 30| -. -1 -. -. -. -.
% 0.18/0.60 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.47/0.63 (SAT)(equ)(fun)(SAT) 30+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 0.47/0.66 (SAT)(equ)(fun)(SAT) 31| -. -1 -.
% 0.47/0.66 (SAT)(equ)(fun)(SAT) 31| -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.47/0.68 (SAT)(equ)(fun)(SAT) 31| -. -. -. -.
% 0.47/0.68 (SAT)(equ)(fun)(SAT) 31+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.54/0.72 (SAT)(equ)(fun)(SAT) 33| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.54/0.73 (SAT)(equ)(fun)(SAT) 33| -.
% 0.54/0.74 (SAT)(equ)(fun)(SAT) 33+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 0.54/0.76 (SAT)(equ)(fun)(SAT) 35| -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.54/0.77 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -.
% 0.62/0.77 (SAT)(equ)(fun)(SAT) 35+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 0.62/0.80 (SAT)(equ)(fun)(SAT) 36| -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.62/0.81 (SAT)(equ)(fun)(SAT) 36| -. -1 -. -. -. -.
% 0.62/0.81 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.62/0.83 (SAT)(equ)(fun)(SAT) 36+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 0.62/0.85 (SAT)(equ)(fun)(SAT) 38| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 0.62/0.86 (SAT)(equ)(fun)(SAT) 38| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.71/0.87 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -.
% 0.71/0.88 (SAT)(equ)(fun)(SAT) 38+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.74/0.90 (SAT)(equ)(fun)(SAT) 41| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.74/0.92 (SAT)(equ)(fun)(SAT) 41| -.
% 0.76/0.92 (SAT)(equ)(fun)(SAT) 41+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 0.76/0.95 (SAT)(equ)(fun)(SAT) 43| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.76/0.96 (SAT)(equ)(fun)(SAT) 43| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.76/0.98 (SAT)(equ)(fun)(SAT) 43| -. -. -. -.
% 0.76/0.98 (SAT)(equ)(fun)(SAT) 43+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 0.84/1.01 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 0.84/1.02 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 0.84/1.04 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.84/1.06 (SAT)(equ)(fun)(SAT) 44+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -12 -. -. -.
% 0.91/1.08 (SAT)(equ)(fun)(SAT) 49| -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.91/1.10 (SAT)(equ)(fun)(SAT) 49| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.91/1.11 (SAT)(equ)(fun)(SAT) 49| -. -. -. -.
% 0.91/1.11 (SAT)(equ)(fun)(SAT) 49+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -12 -1 -. -. -. -. -. -1 -. -. -.
% 0.91/1.14 (SAT)(equ)(fun)(SAT) 56| -1 -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.91/1.15 (SAT)(equ)(fun)(SAT) 56| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.91/1.16 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.91/1.18 (SAT)(equ)(fun)(SAT) 56+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -12 -12 -12 -12 -12 -. -. -. -. -. -12 -. -. -.
% 1.04/1.20 (SAT)(equ)(fun)(SAT) 65| -1 -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -.
% 1.06/1.22 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -12 -. -.
% 1.06/1.23 (SAT)(equ)(fun)(SAT) 65| -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.09/1.25 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -. -. -.
% 1.09/1.26 (SAT)(equ)(fun)(SAT) 65+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12345 -12345 -12345 -12345 -12345 -12345 -1 -. -. -. -. -. -1 -. -. -.
% 1.09/1.29 (SAT)(equ)(fun)(SAT) 75| -1 -1 -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.09/1.31 (SAT)(equ)(fun)(SAT) 75| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.17/1.33 (SAT)(equ)(fun)(SAT) 75| -. -. -1 -.
% 1.17/1.33 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.17/1.36 (SAT)(equ)(fun)(SAT) 75+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -123 -123 -123 -123 -123 -12 -. -. -. -. -. -12 -. -. -.
% 1.23/1.39 (SAT)(equ)(fun)(SAT) 85| -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.23/1.42 (SAT)(equ)(fun)(SAT) 85| -1 -1 -. -1 -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -. -.
% 1.23/1.44 (SAT)(equ)(fun)(SAT) 85| -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 1.31/1.46 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.32/1.49 (SAT)(equ)(fun)(SAT) 85+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -123456 -123456 -123456 -123456 -123456 -123456 -1 -. -. -. -. -. -. -. -. -.
% 1.36/1.53 (SAT)(equ)(fun)(SAT) 95| -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.39/1.56 (SAT)(equ)(fun)(SAT) 95| -. -. -1 -. -.
% 1.39/1.56 (SAT)(equ)(fun)(SAT) 95| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.39/1.59 (SAT)(equ)(fun)(SAT) 95| -. -. -. -.
% 1.39/1.60 (SAT)(equ)(fun)(SAT) 95+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -12 -. -. -. -. -. -. -. -. -.
% 1.47/1.64 (SAT)(equ)(fun)(SAT) 100| -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.47/1.67 (SAT)(equ)(fun)(SAT) 100| -. -1 -. -.
% 1.47/1.67 (SAT)(equ)(fun)(SAT) 100| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.53/1.70 (SAT)(equ)(fun)(SAT) 100| -. -. -. -.
% 1.53/1.71 (SAT)(equ)(fun)(SAT) 100+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 1.53/1.75 (SAT)(equ)(fun)(SAT) 102| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.62/1.78 (SAT)(equ)(fun)(SAT) 102| -. -1 -. -.
% 1.63/1.79 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.63/1.82 (SAT)(equ)(fun)(SAT) 102+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 1.68/1.86 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -.
% 1.68/1.88 (SAT)(equ)(fun)(SAT) 103| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.68/1.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -.
% 1.76/1.92 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.76/1.96 (SAT)(equ)(fun)(SAT) 105| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.82/1.98 (SAT)(equ)(fun)(SAT) 105| -.
% 1.82/2.00 (SAT)(equ)(fun)(SAT) 105+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.82/2.04 (SAT)(equ)(fun)(SAT) 107| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.91/2.07 (SAT)(equ)(fun)(SAT) 107| -. -. -. -.
% 1.91/2.08 (SAT)(equ)(fun)(SAT) 107+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.97/2.13 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -. -. -.
% 1.98/2.15 (SAT)(equ)(fun)(SAT) 108+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 1.98/2.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -.
% 1.98/2.21 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.06/2.23 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.06/2.26 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -.
% 2.06/2.28 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 2.13/2.32 (SAT)(equ)(fun)(SAT) 111| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.13/2.35 (SAT)(equ)(fun)(SAT) 111| -. -.
% 2.13/2.36 (SAT)(equ)(fun)(SAT) 111+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 2.24/2.41 (SAT)(equ)(fun)(SAT) 113| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.27/2.44 (SAT)(equ)(fun)(SAT) 113| -. -1 -. -.
% 2.27/2.45 (SAT)(equ)(fun)(SAT) 113| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.27/2.48 (SAT)(equ)(fun)(SAT) 113| -. -. -. -.
% 2.27/2.49 (SAT)(equ)(fun)(SAT) 113+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 2.37/2.54 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -.
% 2.37/2.57 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 2.44/2.61 (SAT)(equ)(fun)(SAT) 115| -. -1 -. -. -.
% 2.44/2.62 (SAT)(equ)(fun)(SAT) 115| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.44/2.65 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -.
% 2.52/2.67 (SAT)(equ)(fun)(SAT) 115+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 2.55/2.72 (SAT)(equ)(fun)(SAT) 117| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.58/2.75 (SAT)(equ)(fun)(SAT) 117| -. -.
% 2.58/2.76 (SAT)(equ)(fun)(SAT) 117+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 2.58/2.81 (SAT)(equ)(fun)(SAT) 119| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.68/2.84 (SAT)(equ)(fun)(SAT) 119| -. -1 -. -.
% 2.68/2.85 (SAT)(equ)(fun)(SAT) 119| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.68/2.88 (SAT)(equ)(fun)(SAT) 119| -. -. -. -.
% 2.68/2.89 (SAT)(equ)(fun)(SAT) 119+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 2.76/2.95 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.84/2.99 (SAT)(equ)(fun)(SAT) 121+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 2.86/3.04 (SAT)(equ)(fun)(SAT) 122| -. -1 -1 -. -.
% 2.86/3.05 (SAT)(equ)(fun)(SAT) 122| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.86/3.08 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -.
% 2.86/3.10 (SAT)(equ)(fun)(SAT) 122+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 2.96/3.16 (SAT)(equ)(fun)(SAT) 124| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.96/3.19 (SAT)(equ)(fun)(SAT) 124| -. -.
% 3.05/3.20 (SAT)(equ)(fun)(SAT) 124+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 3.05/3.26 (SAT)(equ)(fun)(SAT) 126| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.13/3.29 (SAT)(equ)(fun)(SAT) 126| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.16/3.32 (SAT)(equ)(fun)(SAT) 126| -. -. -. -.
% 3.16/3.34 (SAT)(equ)(fun)(SAT) 126+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 3.16/3.40 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -. -. -.
% 3.27/3.43 (SAT)(equ)(fun)(SAT) 127+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 3.27/3.48 (SAT)(equ)(fun)(SAT) 128| -. -1 -. -. -.
% 3.27/3.49 (SAT)(equ)(fun)(SAT) 128| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.36/3.52 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -.
% 3.36/3.55 (SAT)(equ)(fun)(SAT) 128+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 3.44/3.60 (SAT)(equ)(fun)(SAT) 130| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.44/3.64 (SAT)(equ)(fun)(SAT) 130| -.
% 3.44/3.65 (SAT)(equ)(fun)(SAT) 130+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 3.53/3.71 (SAT)(equ)(fun)(SAT) 132| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.53/3.74 (SAT)(equ)(fun)(SAT) 132| -. -. -. -.
% 3.53/3.76 (SAT)(equ)(fun)(SAT) 132+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 3.67/3.82 (SAT)(equ)(fun)(SAT) 133| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.67/3.86 (SAT)(equ)(fun)(SAT) 133| -. -1 -. -.
% 3.67/3.87 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.77/3.91 (SAT)(equ)(fun)(SAT) 133+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 3.77/3.97 (SAT)(equ)(fun)(SAT) 134| -. -1 -. -. -.
% 3.77/3.98 (SAT)(equ)(fun)(SAT) 134| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.85/4.02 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -.
% 3.85/4.04 (SAT)(equ)(fun)(SAT) 134+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 3.94/4.10 (SAT)(equ)(fun)(SAT) 136| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.94/4.14 (SAT)(equ)(fun)(SAT) 136| -.
% 3.94/4.15 (SAT)(equ)(fun)(SAT) 136+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 4.07/4.21 (SAT)(equ)(fun)(SAT) 138| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.08/4.25 (SAT)(equ)(fun)(SAT) 138| -. -. -. -.
% 4.08/4.28 (SAT)(equ)(fun)(SAT) 138+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 4.17/4.34 (SAT)(equ)(fun)(SAT) 139| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.17/4.38 (SAT)(equ)(fun)(SAT) 139| -. -1 -. -.
% 4.17/4.39 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.25/4.44 (SAT)(equ)(fun)(SAT) 139+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 4.32/4.50 (SAT)(equ)(fun)(SAT) 141| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 4.32/4.53 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 4.32/4.56 (SAT)(equ)(fun)(SAT) 141| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.44/4.60 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -.
% 4.47/4.63 (SAT)(equ)(fun)(SAT) 141+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 4.47/4.69 (SAT)(equ)(fun)(SAT) 144| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.57/4.73 (SAT)(equ)(fun)(SAT) 144| -.
% 4.57/4.75 (SAT)(equ)(fun)(SAT) 144+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 4.64/4.82 (SAT)(equ)(fun)(SAT) 146| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.64/4.85 (SAT)(equ)(fun)(SAT) 146| -. -. -. -.
% 4.72/4.88 (SAT)(equ)(fun)(SAT) 146+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 4.72/4.95 (SAT)(equ)(fun)(SAT) 147| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.83/4.99 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.88/5.04 (SAT)(equ)(fun)(SAT) 147+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 4.88/5.10 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -.
% 4.97/5.14 (SAT)(equ)(fun)(SAT) 149| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.97/5.18 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -. -. -.
% 5.03/5.21 (SAT)(equ)(fun)(SAT) 149+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 5.12/5.28 (SAT)(equ)(fun)(SAT) 151| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.16/5.32 (SAT)(equ)(fun)(SAT) 151| -.
% 5.19/5.34 (SAT)(equ)(fun)(SAT) 151+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 5.19/5.41 (SAT)(equ)(fun)(SAT) 153| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.28/5.45 (SAT)(equ)(fun)(SAT) 153| -. -1 -. -.
% 5.28/5.46 (SAT)(equ)(fun)(SAT) 153| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.34/5.50 (SAT)(equ)(fun)(SAT) 153| -. -. -. -.
% 5.34/5.53 (SAT)(equ)(fun)(SAT) 153+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 5.44/5.60 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -. -. -.
% 5.49/5.64 (SAT)(equ)(fun)(SAT) 155+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 5.56/5.71 (SAT)(equ)(fun)(SAT) 156| -. -. -1 -. -.
% 5.56/5.72 (SAT)(equ)(fun)(SAT) 156| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.56/5.76 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -.
% 5.62/5.80 (SAT)(equ)(fun)(SAT) 156+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 5.71/5.86 (SAT)(equ)(fun)(SAT) 159| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.74/5.91 (SAT)(equ)(fun)(SAT) 159| -. -.
% 5.79/5.94 (SAT)(equ)(fun)(SAT) 159+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 5.79/6.00 (SAT)(equ)(fun)(SAT) 161| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.86/6.05 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 5.93/6.09 (SAT)(equ)(fun)(SAT) 161| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.93/6.13 (SAT)(equ)(fun)(SAT) 161| -. -. -. -.
% 5.93/6.17 (SAT)(equ)(fun)(SAT) 161+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 6.08/6.24 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -.
% 6.08/6.29 (SAT)(equ)(fun)(SAT) 163+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 6.17/6.36 (SAT)(equ)(fun)(SAT) 164| -. -. -1 -. -.
% 6.17/6.37 (SAT)(equ)(fun)(SAT) 164| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.24/6.42 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -.
% 6.24/6.46 (SAT)(equ)(fun)(SAT) 164+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 6.37/6.53 (SAT)(equ)(fun)(SAT) 167| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.37/6.57 (SAT)(equ)(fun)(SAT) 167| -.
% 6.37/6.60 (SAT)(equ)(fun)(SAT) 167+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 6.47/6.67 (SAT)(equ)(fun)(SAT) 169| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.55/6.72 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 6.55/6.77 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.66/6.84 (SAT)(equ)(fun)(SAT) 169+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 6.75/6.92 (SAT)(equ)(fun)(SAT) 170| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.75/6.96 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.84/7.04 (SAT)(equ)(fun)(SAT) 170+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 6.96/7.11 (SAT)(equ)(fun)(SAT) 171| -. -1 -. -. -.
% 6.96/7.13 (SAT)(equ)(fun)(SAT) 171| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.96/7.18 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -.
% 6.96/7.22 (SAT)(equ)(fun)(SAT) 171+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 7.07/7.29 (SAT)(equ)(fun)(SAT) 173| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.16/7.34 (SAT)(equ)(fun)(SAT) 173| -. -.
% 7.16/7.38 (SAT)(equ)(fun)(SAT) 173+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 7.25/7.45 (SAT)(equ)(fun)(SAT) 175| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.34/7.50 (SAT)(equ)(fun)(SAT) 175| -. -1 -. -.
% 7.34/7.51 (SAT)(equ)(fun)(SAT) 175| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.34/7.56 (SAT)(equ)(fun)(SAT) 175| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.46/7.63 (SAT)(equ)(fun)(SAT) 175+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 7.55/7.71 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -. -. -.
% 7.55/7.77 (SAT)(equ)(fun)(SAT) 176+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 7.64/7.84 (SAT)(equ)(fun)(SAT) 177| -. -1 -. -. -.
% 7.64/7.86 (SAT)(equ)(fun)(SAT) 177| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.74/7.90 (SAT)(equ)(fun)(SAT) 177| -. -. -. -. -. -.
% 7.77/7.95 (SAT)(equ)(fun)(SAT) 177+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 7.85/8.03 (SAT)(equ)(fun)(SAT) 179| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.92/8.08 (SAT)(equ)(fun)(SAT) 179| -. -.
% 7.92/8.12 (SAT)(equ)(fun)(SAT) 179+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 8.02/8.19 (SAT)(equ)(fun)(SAT) 181| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.07/8.24 (SAT)(equ)(fun)(SAT) 181| -. -. -. -.
% 8.07/8.28 (SAT)(equ)(fun)(SAT) 181+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 8.15/8.36 (SAT)(equ)(fun)(SAT) 182| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.22/8.42 (SAT)(equ)(fun)(SAT) 182| -. -1 -. -.
% 8.22/8.43 (SAT)(equ)(fun)(SAT) 182| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.33/8.51 (SAT)(equ)(fun)(SAT) 182+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 8.38/8.59 (SAT)(equ)(fun)(SAT) 183| -. -1 -. -. -.
% 8.38/8.61 (SAT)(equ)(fun)(SAT) 183| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.48/8.66 (SAT)(equ)(fun)(SAT) 183| -. -. -. -. -. -.
% 8.54/8.71 (SAT)(equ)(fun)(SAT) 183+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 8.62/8.79 (SAT)(equ)(fun)(SAT) 185| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.69/8.85 (SAT)(equ)(fun)(SAT) 185| -. -.
% 8.69/8.88 (SAT)(equ)(fun)(SAT) 185+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 8.78/8.96 (SAT)(equ)(fun)(SAT) 187| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.84/9.02 (SAT)(equ)(fun)(SAT) 187| -. -. -. -.
% 8.84/9.07 (SAT)(equ)(fun)(SAT) 187+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 8.99/9.15 (SAT)(equ)(fun)(SAT) 188| -. -. -. -. -. -. -. -.
% 9.06/9.22 (SAT)(equ)(fun)(SAT) 188+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 9.12/9.30 (SAT)(equ)(fun)(SAT) 189| -. -1 -. -. -.
% 9.12/9.32 (SAT)(equ)(fun)(SAT) 189| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.21/9.37 (SAT)(equ)(fun)(SAT) 189| -. -. -1 -.
% 9.24/9.38 (SAT)(equ)(fun)(SAT) 189| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.28/9.43 (SAT)(equ)(fun)(SAT) 189| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.36/9.52 (SAT)(equ)(fun)(SAT) 189+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 9.43/9.60 (SAT)(equ)(fun)(SAT) 191| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.43/9.66 (SAT)(equ)(fun)(SAT) 191| -. -.
% 9.55/9.70 (SAT)(equ)(fun)(SAT) 191+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 9.57/9.78 (SAT)(equ)(fun)(SAT) 193| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.67/9.84 (SAT)(equ)(fun)(SAT) 193| -. -1 -. -.
% 9.67/9.86 (SAT)(equ)(fun)(SAT) 193| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.74/9.91 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.83/9.99 (SAT)(equ)(fun)(SAT) 193+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 9.88/10.08 (SAT)(equ)(fun)(SAT) 194| -. -. -. -. -. -. -. -.
% 9.98/10.15 (SAT)(equ)(fun)(SAT) 194+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 10.06/10.24 (SAT)(equ)(fun)(SAT) 195| -. -1 -. -. -.
% 10.06/10.26 (SAT)(equ)(fun)(SAT) 195| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.16/10.31 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -.
% 10.17/10.37 (SAT)(equ)(fun)(SAT) 195+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 10.26/10.45 (SAT)(equ)(fun)(SAT) 197| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.35/10.52 (SAT)(equ)(fun)(SAT) 197| -. -.
% 10.35/10.56 (SAT)(equ)(fun)(SAT) 197+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 10.46/10.65 (SAT)(equ)(fun)(SAT) 199| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.46/10.71 (SAT)(equ)(fun)(SAT) 199| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.57/10.77 (SAT)(equ)(fun)(SAT) 199| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.66/10.86 (SAT)(equ)(fun)(SAT) 199+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 10.75/10.96 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 10.85/11.02 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.97/11.12 (SAT)(equ)(fun)(SAT) 200+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 11.06/11.20 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -.
% 11.06/11.27 (SAT)(equ)(fun)(SAT) 202| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.15/11.32 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -.
% 11.15/11.38 (SAT)(equ)(fun)(SAT) 202+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 11.28/11.47 (SAT)(equ)(fun)(SAT) 204| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.36/11.54 (SAT)(equ)(fun)(SAT) 204| -. -. -. -. -.
% 11.43/11.60 (SAT)(equ)(fun)(SAT) 204+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 11.53/11.69 (SAT)(equ)(fun)(SAT) 206| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.58/11.75 (SAT)(equ)(fun)(SAT) 206| -. -1 -. -.
% 11.58/11.77 (SAT)(equ)(fun)(SAT) 206| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.65/11.82 (SAT)(equ)(fun)(SAT) 206| -. -. -. -.
% 11.72/11.88 (SAT)(equ)(fun)(SAT) 206+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 11.72/11.97 (SAT)(equ)(fun)(SAT) 208| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.90/12.09 (SAT)(equ)(fun)(SAT) 208+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 12.04/12.18 (SAT)(equ)(fun)(SAT) 209| -. -1 -1 -. -.
% 12.04/12.22 (SAT)(equ)(fun)(SAT) 209| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.13/12.28 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 12.19/12.34 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 12.28/12.44 (SAT)(equ)(fun)(SAT) 211| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.34/12.51 (SAT)(equ)(fun)(SAT) 211| -.
% 12.34/12.57 (SAT)(equ)(fun)(SAT) 211+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 12.50/12.66 (SAT)(equ)(fun)(SAT) 213| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.57/12.73 (SAT)(equ)(fun)(SAT) 213| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.63/12.80 (SAT)(equ)(fun)(SAT) 213| -. -. -. -.
% 12.72/12.86 (SAT)(equ)(fun)(SAT) 213+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 12.80/12.97 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 12.87/13.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.94/13.16 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 13.08/13.25 (SAT)(equ)(fun)(SAT) 215| -. -1 -. -. -.
% 13.08/13.28 (SAT)(equ)(fun)(SAT) 215| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.18/13.34 (SAT)(equ)(fun)(SAT) 215| -. -. -. -. -. -.
% 13.25/13.41 (SAT)(equ)(fun)(SAT) 215+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 13.36/13.51 (SAT)(equ)(fun)(SAT) 217| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.38/13.57 (SAT)(equ)(fun)(SAT) 217| -.
% 13.48/13.64 (SAT)(equ)(fun)(SAT) 217+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 13.57/13.74 (SAT)(equ)(fun)(SAT) 219| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.67/13.82 (SAT)(equ)(fun)(SAT) 219| -. -. -. -.
% 13.67/13.89 (SAT)(equ)(fun)(SAT) 219+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 13.85/14.00 (SAT)(equ)(fun)(SAT) 220| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.85/14.06 (SAT)(equ)(fun)(SAT) 220| -. -1 -. -.
% 13.94/14.09 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.97/14.20 (SAT)(equ)(fun)(SAT) 220+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 14.08/14.31 (SAT)(equ)(fun)(SAT) 221| -. -1 -. -. -.
% 14.17/14.33 (SAT)(equ)(fun)(SAT) 221| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.26/14.41 (SAT)(equ)(fun)(SAT) 221| -. -. -. -. -. -.
% 14.35/14.49 (SAT)(equ)(fun)(SAT) 221+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 14.45/14.60 (SAT)(equ)(fun)(SAT) 223| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.46/14.66 (SAT)(equ)(fun)(SAT) 223| -. -.
% 14.56/14.74 (SAT)(equ)(fun)(SAT) 223+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 14.64/14.84 (SAT)(equ)(fun)(SAT) 225| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.77/14.91 (SAT)(equ)(fun)(SAT) 225| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.79/14.99 (SAT)(equ)(fun)(SAT) 225| -. -. -. -.
% 14.93/15.08 (SAT)(equ)(fun)(SAT) 225+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 15.06/15.20 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 15.09/15.28 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.23/15.42 (SAT)(equ)(fun)(SAT) 226+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 15.37/15.53 (SAT)(equ)(fun)(SAT) 227| -. -1 -. -. -.
% 15.40/15.56 (SAT)(equ)(fun)(SAT) 227| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.48/15.63 (SAT)(equ)(fun)(SAT) 227| -. -. -. -. -. -.
% 15.54/15.72 (SAT)(equ)(fun)(SAT) 227+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 15.67/15.83 (SAT)(equ)(fun)(SAT) 229| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.69/15.91 (SAT)(equ)(fun)(SAT) 229| -. -.
% 15.78/15.98 (SAT)(equ)(fun)(SAT) 229+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 15.94/16.08 (SAT)(equ)(fun)(SAT) 231| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.00/16.16 (SAT)(equ)(fun)(SAT) 231| -. -1 -. -.
% 16.00/16.18 (SAT)(equ)(fun)(SAT) 231| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.07/16.24 (SAT)(equ)(fun)(SAT) 231| -. -. -. -.
% 16.13/16.32 (SAT)(equ)(fun)(SAT) 231+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 16.29/16.43 (SAT)(equ)(fun)(SAT) 233| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.37/16.58 (SAT)(equ)(fun)(SAT) 233+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 16.53/16.69 (SAT)(equ)(fun)(SAT) 234| -. -1 -1 -. -.
% 16.56/16.72 (SAT)(equ)(fun)(SAT) 234| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.59/16.80 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -.
% 16.68/16.88 (SAT)(equ)(fun)(SAT) 234+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 16.83/17.00 (SAT)(equ)(fun)(SAT) 236| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.89/17.08 (SAT)(equ)(fun)(SAT) 236| -. -.
% 16.98/17.16 (SAT)(equ)(fun)(SAT) 236+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 17.06/17.27 (SAT)(equ)(fun)(SAT) 238| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.18/17.35 (SAT)(equ)(fun)(SAT) 238| -. -. -. -.
% 17.27/17.45 (SAT)(equ)(fun)(SAT) 238+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 17.36/17.57 (SAT)(equ)(fun)(SAT) 239| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.47/17.65 (SAT)(equ)(fun)(SAT) 239| -. -1 -. -.
% 17.47/17.67 (SAT)(equ)(fun)(SAT) 239| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.67/17.81 (SAT)(equ)(fun)(SAT) 239+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 17.76/17.92 (SAT)(equ)(fun)(SAT) 240| -. -1 -. -. -.
% 17.76/17.95 (SAT)(equ)(fun)(SAT) 240| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.85/18.03 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -.
% 17.97/18.13 (SAT)(equ)(fun)(SAT) 240+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 18.07/18.24 (SAT)(equ)(fun)(SAT) 242| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.16/18.33 (SAT)(equ)(fun)(SAT) 242| -. -.
% 18.28/18.42 (SAT)(equ)(fun)(SAT) 242+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 18.37/18.53 (SAT)(equ)(fun)(SAT) 244| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.44/18.60 (SAT)(equ)(fun)(SAT) 244| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.54/18.69 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 18.59/18.77 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.74/18.92 (SAT)(equ)(fun)(SAT) 244+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 18.90/19.04 (SAT)(equ)(fun)(SAT) 246| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.04/19.19 (SAT)(equ)(fun)(SAT) 246+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 19.17/19.31 (SAT)(equ)(fun)(SAT) 247| -. -1 -1 -. -.
% 19.21/19.34 (SAT)(equ)(fun)(SAT) 247| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.29/19.42 (SAT)(equ)(fun)(SAT) 247| -. -. -. -. -. -.
% 19.35/19.53 (SAT)(equ)(fun)(SAT) 247+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 19.50/19.65 (SAT)(equ)(fun)(SAT) 249| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.58/19.73 (SAT)(equ)(fun)(SAT) 249| -. -.
% 19.64/19.84 (SAT)(equ)(fun)(SAT) 249+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 19.80/19.95 (SAT)(equ)(fun)(SAT) 251| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.87/20.05 (SAT)(equ)(fun)(SAT) 251| -. -. -. -.
% 19.95/20.16 (SAT)(equ)(fun)(SAT) 251+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 20.09/20.29 (SAT)(equ)(fun)(SAT) 252| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.18/20.36 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.40/20.54 (SAT)(equ)(fun)(SAT) 252+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 20.49/20.66 (SAT)(equ)(fun)(SAT) 253| -. -1 -. -. -.
% 20.49/20.69 (SAT)(equ)(fun)(SAT) 253| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.58/20.78 (SAT)(equ)(fun)(SAT) 253| -. -. -. -. -. -.
% 20.68/20.90 (SAT)(equ)(fun)(SAT) 253+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 20.86/21.02 (SAT)(equ)(fun)(SAT) 255| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.97/21.10 (SAT)(equ)(fun)(SAT) 255| -. -.
% 20.98/21.21 (SAT)(equ)(fun)(SAT) 255+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 21.17/21.33 (SAT)(equ)(fun)(SAT) 257| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.27/21.41 (SAT)(equ)(fun)(SAT) 257| -. -1 -. -.
% 21.27/21.44 (SAT)(equ)(fun)(SAT) 257| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.35/21.52 (SAT)(equ)(fun)(SAT) 257| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.47/21.69 (SAT)(equ)(fun)(SAT) 257+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 21.65/21.83 (SAT)(equ)(fun)(SAT) 258| -. -. -. -. -. -. -. -.
% 21.79/21.98 (SAT)(equ)(fun)(SAT) 258+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 21.94/22.10 (SAT)(equ)(fun)(SAT) 259| -. -1 -. -. -.
% 21.94/22.13 (SAT)(equ)(fun)(SAT) 259| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.06/22.20 (SAT)(equ)(fun)(SAT) 259| -. -. -. -. -. -.
% 22.17/22.33 (SAT)(equ)(fun)(SAT) 259+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 22.24/22.46 (SAT)(equ)(fun)(SAT) 261| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.41/22.54 (SAT)(equ)(fun)(SAT) 261| -.
% 22.49/22.66 (SAT)(equ)(fun)(SAT) 261+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 22.64/22.79 (SAT)(equ)(fun)(SAT) 263| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.70/22.87 (SAT)(equ)(fun)(SAT) 263| -. -. -. -.
% 22.85/23.00 (SAT)(equ)(fun)(SAT) 263+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 23.01/23.14 (SAT)(equ)(fun)(SAT) 264| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.08/23.22 (SAT)(equ)(fun)(SAT) 264| -. -1 -. -.
% 23.08/23.26 (SAT)(equ)(fun)(SAT) 264| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.31/23.44 (SAT)(equ)(fun)(SAT) 264+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 23.38/23.57 (SAT)(equ)(fun)(SAT) 265| -. -1 -. -. -.
% 23.46/23.60 (SAT)(equ)(fun)(SAT) 265| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.55/23.69 (SAT)(equ)(fun)(SAT) 265| -. -. -. -. -. -.
% 23.60/23.81 (SAT)(equ)(fun)(SAT) 265+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 23.77/23.94 (SAT)(equ)(fun)(SAT) 267| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.90/24.05 (SAT)(equ)(fun)(SAT) 267| -.
% 23.99/24.16 (SAT)(equ)(fun)(SAT) 267+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 24.08/24.28 (SAT)(equ)(fun)(SAT) 269| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.18/24.37 (SAT)(equ)(fun)(SAT) 269| -. -. -. -.
% 24.36/24.51 (SAT)(equ)(fun)(SAT) 269+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 24.48/24.65 (SAT)(equ)(fun)(SAT) 270| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.59/24.75 (SAT)(equ)(fun)(SAT) 270| -. -1 -. -.
% 24.59/24.77 (SAT)(equ)(fun)(SAT) 270| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.77/24.95 (SAT)(equ)(fun)(SAT) 270+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 24.86/25.08 (SAT)(equ)(fun)(SAT) 272| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -.
% 24.98/25.17 (SAT)(equ)(fun)(SAT) 272| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.07/25.26 (SAT)(equ)(fun)(SAT) 272| -. -. -. -. -. -. -. -.
% 25.26/25.40 (SAT)(equ)(fun)(SAT) 272+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 25.37/25.54 (SAT)(equ)(fun)(SAT) 274| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.45/25.65 (SAT)(equ)(fun)(SAT) 274| -.
% 25.59/25.77 (SAT)(equ)(fun)(SAT) 274+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 25.74/25.90 (SAT)(equ)(fun)(SAT) 276| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.85/25.99 (SAT)(equ)(fun)(SAT) 276| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.91/26.09 (SAT)(equ)(fun)(SAT) 276| -. -1 -. -.
% 25.91/26.11 (SAT)(equ)(fun)(SAT) 276| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.14/26.31 (SAT)(equ)(fun)(SAT) 276+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 26.30/26.45 (SAT)(equ)(fun)(SAT) 277| -. -. -. -. -. -. -. -.
% 26.50/26.62 (SAT)(equ)(fun)(SAT) 277+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 26.58/26.76 (SAT)(equ)(fun)(SAT) 278| -. -1 -. -. -.
% 26.64/26.79 (SAT)(equ)(fun)(SAT) 278| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.76/26.90 (SAT)(equ)(fun)(SAT) 278| -. -. -. -. -. -.
% 26.89/27.04 (SAT)(equ)(fun)(SAT) 278+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 27.05/27.19 (SAT)(equ)(fun)(SAT) 280| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.10/27.28 (SAT)(equ)(fun)(SAT) 280| -.
% 27.27/27.42 (SAT)(equ)(fun)(SAT) 280+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 27.40/27.55 (SAT)(equ)(fun)(SAT) 282| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.49/27.64 (SAT)(equ)(fun)(SAT) 282| -. -1 -. -.
% 27.49/27.68 (SAT)(equ)(fun)(SAT) 282| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.58/27.77 (SAT)(equ)(fun)(SAT) 282| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.78/27.97 (SAT)(equ)(fun)(SAT) 282+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 27.98/28.12 (SAT)(equ)(fun)(SAT) 283| -. -. -. -. -. -. -. -.
% 28.09/28.30 (SAT)(equ)(fun)(SAT) 283+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 28.27/28.44 (SAT)(equ)(fun)(SAT) 284| -. -1 -. -. -.
% 28.27/28.47 (SAT)(equ)(fun)(SAT) 284| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.36/28.58 (SAT)(equ)(fun)(SAT) 284| -. -. -. -. -. -.
% 28.57/28.74 (SAT)(equ)(fun)(SAT) 284+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 28.66/28.88 (SAT)(equ)(fun)(SAT) 286| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.80/28.99 (SAT)(equ)(fun)(SAT) 286| -.
% 28.94/29.13 (SAT)(equ)(fun)(SAT) 286+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 29.10/29.27 (SAT)(equ)(fun)(SAT) 288| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.18/29.36 (SAT)(equ)(fun)(SAT) 288| -. -. -. -.
% 29.39/29.53 (SAT)(equ)(fun)(SAT) 288+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 29.56/29.70 (SAT)(equ)(fun)(SAT) 289| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.69/29.82 (SAT)(equ)(fun)(SAT) 289| -. -1 -. -.
% 29.71/29.84 (SAT)(equ)(fun)(SAT) 289| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.95/30.09 (SAT)(equ)(fun)(SAT) 289+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 30.09/30.25 (SAT)(equ)(fun)(SAT) 290| -. -1 -. -. -.
% 30.15/30.28 (SAT)(equ)(fun)(SAT) 290| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.26/30.41 (SAT)(equ)(fun)(SAT) 290| -. -. -. -. -. -.
% 30.46/30.62 (SAT)(equ)(fun)(SAT) 290+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 30.61/30.78 (SAT)(equ)(fun)(SAT) 292| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.70/30.88 (SAT)(equ)(fun)(SAT) 292| -.
% 30.91/31.06 (SAT)(equ)(fun)(SAT) 292+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 31.08/31.21 (SAT)(equ)(fun)(SAT) 294| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.20/31.34 (SAT)(equ)(fun)(SAT) 294| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.29/31.45 (SAT)(equ)(fun)(SAT) 294| -. -1 -. -.
% 31.29/31.47 (SAT)(equ)(fun)(SAT) 294| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.50/31.72 (SAT)(equ)(fun)(SAT) 294+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 31.68/31.88 (SAT)(equ)(fun)(SAT) 296| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.99/32.12 (SAT)(equ)(fun)(SAT) 296+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 32.07/32.28 (SAT)(equ)(fun)(SAT) 297| -. -1 -1 -. -.
% 32.20/32.32 (SAT)(equ)(fun)(SAT) 297| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.30/32.44 (SAT)(equ)(fun)(SAT) 297| -. -. -. -. -. -.
% 32.48/32.61 (SAT)(equ)(fun)(SAT) 297+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 32.60/32.78 (SAT)(equ)(fun)(SAT) 299| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.76/32.91 (SAT)(equ)(fun)(SAT) 299| -.
% 32.96/33.10 (SAT)(equ)(fun)(SAT) 299+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 33.12/33.25 (SAT)(equ)(fun)(SAT) 301| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.20/33.36 (SAT)(equ)(fun)(SAT) 301| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.26/33.46 (SAT)(equ)(fun)(SAT) 301| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.54/33.73 (SAT)(equ)(fun)(SAT) 301+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 33.72/33.88 (SAT)(equ)(fun)(SAT) 303| -. -. -. -. -. -. -. -. -. -. -.
% 33.99/34.12 (SAT)(equ)(fun)(SAT) 303+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 34.11/34.28 (SAT)(equ)(fun)(SAT) 304| -. -. -1 -. -.
% 34.18/34.32 (SAT)(equ)(fun)(SAT) 304| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 34.28/34.42 (SAT)(equ)(fun)(SAT) 304| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.31/34.52 (SAT)(equ)(fun)(SAT) 304| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.60/34.79 (SAT)(equ)(fun)(SAT) 304+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 34.77/34.95 (SAT)(equ)(fun)(SAT) 307| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.89/35.06 (SAT)(equ)(fun)(SAT) 307| -.
% 35.08/35.24 (SAT)(equ)(fun)(SAT) 307+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 35.27/35.40 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.39/35.51 (SAT)(equ)(fun)(SAT) 309| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.48/35.61 (SAT)(equ)(fun)(SAT) 309| -. -. -. -.
% 35.61/35.81 (SAT)(equ)(fun)(SAT) 309+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 35.85/35.99 (SAT)(equ)(fun)(SAT) 310| -. -. -. -. -. -. -. -.
% 36.08/36.23 (SAT)(equ)(fun)(SAT) 310+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 36.23/36.39 (SAT)(equ)(fun)(SAT) 311| -. -1 -. -. -.
% 36.31/36.44 (SAT)(equ)(fun)(SAT) 311| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.46/36.57 (SAT)(equ)(fun)(SAT) 311| -. -. -. -. -. -.
% 36.66/36.78 (SAT)(equ)(fun)(SAT) 311+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 36.83/36.95 (SAT)(equ)(fun)(SAT) 313| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.95/37.06 (SAT)(equ)(fun)(SAT) 313| -.
% 37.13/37.27 (SAT)(equ)(fun)(SAT) 313+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 37.26/37.43 (SAT)(equ)(fun)(SAT) 315| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.41/37.54 (SAT)(equ)(fun)(SAT) 315| -. -1 -. -.
% 37.41/37.61 (SAT)(equ)(fun)(SAT) 315| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.58/37.71 (SAT)(equ)(fun)(SAT) 315| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.81/38.00 (SAT)(equ)(fun)(SAT) 315+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 38.00/38.18 (SAT)(equ)(fun)(SAT) 316| -. -. -. -. -. -. -. -.
% 38.30/38.43 (SAT)(equ)(fun)(SAT) 316+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 38.41/38.60 (SAT)(equ)(fun)(SAT) 317| -. -1 -. -. -.
% 38.49/38.64 (SAT)(equ)(fun)(SAT) 317| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.58/38.78 (SAT)(equ)(fun)(SAT) 317| -. -. -. -. -. -.
% 38.88/39.03 (SAT)(equ)(fun)(SAT) 317+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 39.01/39.20 (SAT)(equ)(fun)(SAT) 319| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.18/39.31 (SAT)(equ)(fun)(SAT) 319| -. -.
% 39.32/39.51 (SAT)(equ)(fun)(SAT) 319+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 39.56/39.68 (SAT)(equ)(fun)(SAT) 321| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.63/39.80 (SAT)(equ)(fun)(SAT) 321| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.77/39.91 (SAT)(equ)(fun)(SAT) 321| -. -1 -. -.
% 39.77/39.94 (SAT)(equ)(fun)(SAT) 321| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.06/40.23 (SAT)(equ)(fun)(SAT) 321+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 40.29/40.41 (SAT)(equ)(fun)(SAT) 323| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.59/40.72 (SAT)(equ)(fun)(SAT) 323+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 40.76/40.90 (SAT)(equ)(fun)(SAT) 324| -. -1 -. -. -.
% 40.82/40.94 (SAT)(equ)(fun)(SAT) 324| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.92/41.05 (SAT)(equ)(fun)(SAT) 324| -. -. -. -. -. -.
% 41.12/41.28 (SAT)(equ)(fun)(SAT) 324+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 41.29/41.46 (SAT)(equ)(fun)(SAT) 326| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.40/41.58 (SAT)(equ)(fun)(SAT) 326| -. -.
% 41.70/41.84 (SAT)(equ)(fun)(SAT) 326+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 41.89/42.01 (SAT)(equ)(fun)(SAT) 328| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.98/42.13 (SAT)(equ)(fun)(SAT) 328| -. -1 -. -.
% 41.98/42.15 (SAT)(equ)(fun)(SAT) 328| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.10/42.26 (SAT)(equ)(fun)(SAT) 328| -. -. -. -.
% 42.38/42.50 (SAT)(equ)(fun)(SAT) 328+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 42.51/42.68 (SAT)(equ)(fun)(SAT) 330| -. -. -. -. -. -. -. -.
% 42.81/42.96 (SAT)(equ)(fun)(SAT) 330+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 43.01/43.14 (SAT)(equ)(fun)(SAT) 331| -. -. -1 -. -.
% 43.03/43.18 (SAT)(equ)(fun)(SAT) 331| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.17/43.29 (SAT)(equ)(fun)(SAT) 331| -. -. -. -. -. -.
% 43.41/43.53 (SAT)(equ)(fun)(SAT) 331+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 43.58/43.71 (SAT)(equ)(fun)(SAT) 334| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.70/43.83 (SAT)(equ)(fun)(SAT) 334| -.
% 43.93/44.10 (SAT)(equ)(fun)(SAT) 334+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 44.16/44.28 (SAT)(equ)(fun)(SAT) 336| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.23/44.40 (SAT)(equ)(fun)(SAT) 336| -. -. -. -.
% 44.52/44.65 (SAT)(equ)(fun)(SAT) 336+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 44.71/44.85 (SAT)(equ)(fun)(SAT) 337| -. -. -. -. -. -. -. -.
% 44.98/45.15 (SAT)(equ)(fun)(SAT) 337+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 45.22/45.33 (SAT)(equ)(fun)(SAT) 338| -. -1 -. -. -.
% 45.22/45.37 (SAT)(equ)(fun)(SAT) 338| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.40/45.53 (SAT)(equ)(fun)(SAT) 338| -. -. -1 -.
% 45.40/45.56 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 45.49/45.68 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 45.70/45.80 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 45.79/45.93 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 45.92/46.05 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.00/46.17 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.19/46.29 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.30/46.42 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.37/46.54 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.53/46.66 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.62/46.78 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.80/46.93 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.92/47.04 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 46.98/47.16 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 47.13/47.27 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 47.27/47.39 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 47.38/47.50 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 47.50/47.62 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -1 -. -.
% 47.58/47.74 (SAT)(equ)(fun)(SAT) 338| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.72/47.87 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -.
% 48.02/48.16 (SAT)(equ)(fun)(SAT) 338+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -123456 -. -. -. -. -. -. -. -. -. -. -. -.
% 48.21/48.37 (SAT)(equ)(fun)(SAT) 346| -. -. -1 -. -12345 -12345 -. -1 -12345 -12345 -. -. -. -. -. -. -. -. -. -.
% 48.40/48.52 (SAT)(equ)(fun)(SAT) 346| -. -. -. -. -. -. -. -. -.
% 48.72/48.86 (SAT)(equ)(fun)(SAT) 346+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 48.90/49.05 (SAT)(equ)(fun)(SAT) 348| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.98/49.18 (SAT)(equ)(fun)(SAT) 348| -. -. -. -.
% 49.29/49.45 (SAT)(equ)(fun)(SAT) 348+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 49.50/49.66 (SAT)(equ)(fun)(SAT) 349| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.67/49.79 (SAT)(equ)(fun)(SAT) 349| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.03/50.20 (SAT)(equ)(fun)(SAT) 349+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 50.27/50.39 (SAT)(equ)(fun)(SAT) 351| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 50.33/50.48 (SAT)(equ)(fun)(SAT) 351| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.48/50.62 (SAT)(equ)(fun)(SAT) 351| -. -. -. -. -. -.
% 50.77/50.94 (SAT)(equ)(fun)(SAT) 351+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 51.00/51.13 (SAT)(equ)(fun)(SAT) 354| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.08/51.27 (SAT)(equ)(fun)(SAT) 354| -. -.
% 51.39/51.57 (SAT)(equ)(fun)(SAT) 354+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 51.62/51.76 (SAT)(equ)(fun)(SAT) 356| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.79/51.89 (SAT)(equ)(fun)(SAT) 356| -. -. -. -.
% 52.11/52.22 (SAT)(equ)(fun)(SAT) 356+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 52.31/52.44 (SAT)(equ)(fun)(SAT) 357| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.40/52.58 (SAT)(equ)(fun)(SAT) 357| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.91/53.01 (SAT)(equ)(fun)(SAT) 357+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 53.07/53.21 (SAT)(equ)(fun)(SAT) 358| -. -1 -. -. -.
% 53.07/53.26 (SAT)(equ)(fun)(SAT) 358| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.22/53.39 (SAT)(equ)(fun)(SAT) 358| -. -. -. -. -. -.
% 53.63/53.73 (SAT)(equ)(fun)(SAT) 358+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 53.82/53.93 (SAT)(equ)(fun)(SAT) 360| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.93/54.07 (SAT)(equ)(fun)(SAT) 360| -. -.
% 54.27/54.40 (SAT)(equ)(fun)(SAT) 360+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 54.44/54.59 (SAT)(equ)(fun)(SAT) 362| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.59/54.74 (SAT)(equ)(fun)(SAT) 362| -. -. -. -.
% 54.90/55.04 (SAT)(equ)(fun)(SAT) 362+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 55.13/55.26 (SAT)(equ)(fun)(SAT) 363| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.31/55.40 (SAT)(equ)(fun)(SAT) 363| -. -1 -. -.
% 55.32/55.48 (SAT)(equ)(fun)(SAT) 363| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.73/55.89 (SAT)(equ)(fun)(SAT) 363+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 55.99/56.10 (SAT)(equ)(fun)(SAT) 364| -. -1 -. -. -.
% 55.99/56.15 (SAT)(equ)(fun)(SAT) 364| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.11/56.28 (SAT)(equ)(fun)(SAT) 364| -. -. -. -. -. -.
% 56.50/56.63 (SAT)(equ)(fun)(SAT) 364+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 56.73/56.83 (SAT)(equ)(fun)(SAT) 366| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.88/56.98 (SAT)(equ)(fun)(SAT) 366| -. -.
% 57.19/57.30 (SAT)(equ)(fun)(SAT) 366+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 57.34/57.50 (SAT)(equ)(fun)(SAT) 368| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.49/57.64 (SAT)(equ)(fun)(SAT) 368| -. -. -. -.
% 57.90/58.00 (SAT)(equ)(fun)(SAT) 368+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 58.09/58.21 (SAT)(equ)(fun)(SAT) 369| -. -. -. -. -. -. -. -.
% 58.48/58.58 (SAT)(equ)(fun)(SAT) 369+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 58.63/58.79 (SAT)(equ)(fun)(SAT) 370| -. -1 -. -. -.
% 58.71/58.84 (SAT)(equ)(fun)(SAT) 370| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.81/58.98 (SAT)(equ)(fun)(SAT) 370| -. -. -1 -.
% 58.91/59.01 (SAT)(equ)(fun)(SAT) 370| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.00/59.14 (SAT)(equ)(fun)(SAT) 370| -. -. -. -. -. -.
% 59.41/59.51 (SAT)(equ)(fun)(SAT) 370+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 59.62/59.72 (SAT)(equ)(fun)(SAT) 374| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.71/59.87 (SAT)(equ)(fun)(SAT) 374| -. -.
% 60.08/60.21 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 60.31/60.43 (SAT)(equ)(fun)(SAT) 376| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.38/60.58 (SAT)(equ)(fun)(SAT) 376| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.63/60.73 (SAT)(equ)(fun)(SAT) 376| -. -. -. -.
% 60.99/61.09 (SAT)(equ)(fun)(SAT) 376+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 61.22/61.31 (SAT)(equ)(fun)(SAT) 378| -. -. -. -. -. -. -. -. -. -. -.
% 61.68/61.78 (SAT)(equ)(fun)(SAT) 378+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 61.90/62.00 (SAT)(equ)(fun)(SAT) 379| -. -. -1 -. -.
% 61.90/62.05 (SAT)(equ)(fun)(SAT) 379| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.03/62.19 (SAT)(equ)(fun)(SAT) 379| -. -. -. -. -. -.
% 62.42/62.58 (SAT)(equ)(fun)(SAT) 379+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 62.62/62.80 (SAT)(equ)(fun)(SAT) 382| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.82/62.95 (SAT)(equ)(fun)(SAT) 382| -. -.
% 63.21/63.31 (SAT)(equ)(fun)(SAT) 382+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 63.45/63.53 (SAT)(equ)(fun)(SAT) 384| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.59/63.69 (SAT)(equ)(fun)(SAT) 384| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.75/63.83 (SAT)(equ)(fun)(SAT) 384| -. -. -. -.
% 64.05/64.21 (SAT)(equ)(fun)(SAT) 384+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 64.35/64.44 (SAT)(equ)(fun)(SAT) 385| -. -. -. -. -. -. -. -.
% 64.79/64.89 (SAT)(equ)(fun)(SAT) 385+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 65.03/65.11 (SAT)(equ)(fun)(SAT) 386| -. -1 -. -. -.
% 65.03/65.17 (SAT)(equ)(fun)(SAT) 386| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.21/65.31 (SAT)(equ)(fun)(SAT) 386| -. -. -. -. -. -.
% 65.54/65.71 (SAT)(equ)(fun)(SAT) 386+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 65.83/65.93 (SAT)(equ)(fun)(SAT) 388| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.93/66.09 (SAT)(equ)(fun)(SAT) 388| -. -.
% 66.33/66.48 (SAT)(equ)(fun)(SAT) 388+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 66.61/66.70 (SAT)(equ)(fun)(SAT) 390| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.71/66.85 (SAT)(equ)(fun)(SAT) 390| -. -. -. -.
% 67.09/67.25 (SAT)(equ)(fun)(SAT) 390+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 67.39/67.48 (SAT)(equ)(fun)(SAT) 391| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.56/67.64 (SAT)(equ)(fun)(SAT) 391| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.09/68.17 (SAT)(equ)(fun)(SAT) 391+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 68.29/68.41 (SAT)(equ)(fun)(SAT) 392| -. -1 -. -. -.
% 68.38/68.47 (SAT)(equ)(fun)(SAT) 392| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 68.53/68.62 (SAT)(equ)(fun)(SAT) 392| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.69/68.77 (SAT)(equ)(fun)(SAT) 392| -. -. -. -. -. -.
% 69.04/69.17 (SAT)(equ)(fun)(SAT) 392+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 69.32/69.41 (SAT)(equ)(fun)(SAT) 396| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.42/69.57 (SAT)(equ)(fun)(SAT) 396| -. -.
% 69.82/69.95 (SAT)(equ)(fun)(SAT) 396+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 70.04/70.17 (SAT)(equ)(fun)(SAT) 398| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.21/70.33 (SAT)(equ)(fun)(SAT) 398| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.35/70.47 (SAT)(equ)(fun)(SAT) 398| -. -. -. -.
% 70.72/70.86 (SAT)(equ)(fun)(SAT) 398+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 70.96/71.10 (SAT)(equ)(fun)(SAT) 399| -. -. -. -. -. -. -. -.
% 71.40/71.56 (SAT)(equ)(fun)(SAT) 399+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 71.70/71.79 (SAT)(equ)(fun)(SAT) 400| -. -1 -. -. -.
% 71.70/71.84 (SAT)(equ)(fun)(SAT) 400| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.87/71.99 (SAT)(equ)(fun)(SAT) 400| -. -. -. -. -. -.
% 72.32/72.41 (SAT)(equ)(fun)(SAT) 400+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 72.55/72.64 (SAT)(equ)(fun)(SAT) 402| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.65/72.80 (SAT)(equ)(fun)(SAT) 402| -. -.
% 73.04/73.19 (SAT)(equ)(fun)(SAT) 402+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 73.34/73.42 (SAT)(equ)(fun)(SAT) 404| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.45/73.58 (SAT)(equ)(fun)(SAT) 404| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.63/73.74 (SAT)(equ)(fun)(SAT) 404| -. -1 -. -.
% 73.63/73.77 (SAT)(equ)(fun)(SAT) 404| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.15/74.29 (SAT)(equ)(fun)(SAT) 404+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 74.45/74.54 (SAT)(equ)(fun)(SAT) 405| -. -. -. -. -. -. -. -.
% 74.91/75.05 (SAT)(equ)(fun)(SAT) 405+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 75.21/75.31 (SAT)(equ)(fun)(SAT) 406| -. -1 -. -. -.
% 75.30/75.37 (SAT)(equ)(fun)(SAT) 406| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.44/75.54 (SAT)(equ)(fun)(SAT) 406| -. -. -. -. -. -.
% 75.92/76.01 (SAT)(equ)(fun)(SAT) 406+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 76.13/76.26 (SAT)(equ)(fun)(SAT) 408| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.36/76.45 (SAT)(equ)(fun)(SAT) 408| -. -.
% 76.83/76.91 (SAT)(equ)(fun)(SAT) 408+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 77.04/77.15 (SAT)(equ)(fun)(SAT) 410| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.21/77.33 (SAT)(equ)(fun)(SAT) 410| -. -. -. -.
% 77.66/77.79 (SAT)(equ)(fun)(SAT) 410+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 77.97/78.06 (SAT)(equ)(fun)(SAT) 411| -. -. -. -. -. -. -. -.
% 78.54/78.62 (SAT)(equ)(fun)(SAT) 411+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 78.80/78.89 (SAT)(equ)(fun)(SAT) 412| -. -1 -. -. -.
% 78.88/78.95 (SAT)(equ)(fun)(SAT) 412| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.00/79.12 (SAT)(equ)(fun)(SAT) 412| -. -. -. -. -. -.
% 79.54/79.61 (SAT)(equ)(fun)(SAT) 412+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 79.77/79.87 (SAT)(equ)(fun)(SAT) 414| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.92/80.06 (SAT)(equ)(fun)(SAT) 414| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.14/80.23 (SAT)(equ)(fun)(SAT) 414| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.75/80.88 (SAT)(equ)(fun)(SAT) 414+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 81.05/81.13 (SAT)(equ)(fun)(SAT) 416| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.20/81.31 (SAT)(equ)(fun)(SAT) 416| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 81.37/81.49 (SAT)(equ)(fun)(SAT) 416| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 81.61/81.68 (SAT)(equ)(fun)(SAT) 416| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.82/81.91 (SAT)(equ)(fun)(SAT) 416| -. -. -. -.
% 82.28/82.39 (SAT)(equ)(fun)(SAT) 416+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 82.58/82.66 (SAT)(equ)(fun)(SAT) 418| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.17/83.31 (SAT)(equ)(fun)(SAT) 418+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 83.46/83.58 (SAT)(equ)(fun)(SAT) 419| -. -1 -. -. -.
% 83.54/83.64 (SAT)(equ)(fun)(SAT) 419| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.75/83.81 (SAT)(equ)(fun)(SAT) 419| -. -. -. -. -. -.
% 84.23/84.33 (SAT)(equ)(fun)(SAT) 419+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 84.54/84.63 (SAT)(equ)(fun)(SAT) 421| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.73/84.83 (SAT)(equ)(fun)(SAT) 421| -.
% 85.22/85.30 (SAT)(equ)(fun)(SAT) 421+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 85.48/85.56 (SAT)(equ)(fun)(SAT) 423| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.69/85.75 (SAT)(equ)(fun)(SAT) 423| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 85.81/85.94 (SAT)(equ)(fun)(SAT) 423| -. -. -. -.
% 86.35/86.44 (SAT)(equ)(fun)(SAT) 423+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 86.66/86.74 (SAT)(equ)(fun)(SAT) 424| -. -. -. -. -. -. -. -.
% 87.25/87.34 (SAT)(equ)(fun)(SAT) 424+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 87.56/87.62 (SAT)(equ)(fun)(SAT) 425| -. -1 -. -. -.
% 87.56/87.68 (SAT)(equ)(fun)(SAT) 425| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.72/87.86 (SAT)(equ)(fun)(SAT) 425| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 87.94/88.05 (SAT)(equ)(fun)(SAT) 425| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.62/88.72 (SAT)(equ)(fun)(SAT) 425+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 88.92/88.99 (SAT)(equ)(fun)(SAT) 427| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.09/89.19 (SAT)(equ)(fun)(SAT) 427| -.
% 89.60/89.69 (SAT)(equ)(fun)(SAT) 427+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 89.81/89.95 (SAT)(equ)(fun)(SAT) 429| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.06/90.15 (SAT)(equ)(fun)(SAT) 429| -. -. -. -.
% 90.58/90.69 (SAT)(equ)(fun)(SAT) 429+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 90.92/90.99 (SAT)(equ)(fun)(SAT) 430| -. -. -. -. -. -. -. -.
% 91.54/91.60 (SAT)(equ)(fun)(SAT) 430+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 91.82/91.89 (SAT)(equ)(fun)(SAT) 431| -. -1 -. -. -.
% 91.89/91.96 (SAT)(equ)(fun)(SAT) 431| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.03/92.14 (SAT)(equ)(fun)(SAT) 431| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.28/92.34 (SAT)(equ)(fun)(SAT) 431| -. -. -. -. -. -.
% 92.79/92.89 (SAT)(equ)(fun)(SAT) 431+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 93.07/93.17 (SAT)(equ)(fun)(SAT) 433| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.30/93.37 (SAT)(equ)(fun)(SAT) 433| -.
% 93.83/93.90 (SAT)(equ)(fun)(SAT) 433+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 94.07/94.18 (SAT)(equ)(fun)(SAT) 435| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.32/94.38 (SAT)(equ)(fun)(SAT) 435| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 94.45/94.57 (SAT)(equ)(fun)(SAT) 435| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.11/95.27 (SAT)(equ)(fun)(SAT) 435+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 95.51/95.58 (SAT)(equ)(fun)(SAT) 436| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.73/95.78 (SAT)(equ)(fun)(SAT) 436| -. -1 -. -.
% 95.73/95.82 (SAT)(equ)(fun)(SAT) 436| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.48/96.53 (SAT)(equ)(fun)(SAT) 436+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 96.74/96.82 (SAT)(equ)(fun)(SAT) 438| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 96.86/96.96 (SAT)(equ)(fun)(SAT) 438| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.07/97.17 (SAT)(equ)(fun)(SAT) 438| -. -. -. -. -. -.
% 97.67/97.73 (SAT)(equ)(fun)(SAT) 438+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 97.97/98.03 (SAT)(equ)(fun)(SAT) 441| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 98.15/98.22 (SAT)(equ)(fun)(SAT) 441| -.
% 98.69/98.76 (SAT)(equ)(fun)(SAT) 441+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 98.99/99.04 (SAT)(equ)(fun)(SAT) 443| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.20/99.25 (SAT)(equ)(fun)(SAT) 443| -. -. -. -.
% 99.74/99.80 (SAT)(equ)(fun)(SAT) 443+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 100.04/100.12 (SAT)(equ)(fun)(SAT) 444| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.23/100.32 (SAT)(equ)(fun)(SAT) 444| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.97/101.05 (SAT)(equ)(fun)(SAT) 444+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 101.29/101.35 (SAT)(equ)(fun)(SAT) 445| -. -1 -. -. -.
% 101.29/101.42 (SAT)(equ)(fun)(SAT) 445| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.56/101.62 (SAT)(equ)(fun)(SAT) 445| -. -. -. -. -. -.
% 102.17/102.21 (SAT)(equ)(fun)(SAT) 445+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 102.44/102.51 (SAT)(equ)(fun)(SAT) 447| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.63/102.73 (SAT)(equ)(fun)(SAT) 447| -. -.
% 103.22/103.31 (SAT)(equ)(fun)(SAT) 447+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 103.55/103.59 (SAT)(equ)(fun)(SAT) 449| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.76/103.81 (SAT)(equ)(fun)(SAT) 449| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.98/104.02 (SAT)(equ)(fun)(SAT) 449| -. -1 -. -.
% 103.99/104.07 (SAT)(equ)(fun)(SAT) 449| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 104.78/104.87 (SAT)(equ)(fun)(SAT) 449+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 105.08/105.21 (SAT)(equ)(fun)(SAT) 450| -. -. -. -. -. -. -. -.
% 105.80/105.89 (SAT)(equ)(fun)(SAT) 450+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 106.10/106.19 (SAT)(equ)(fun)(SAT) 451| -. -1 -. -. -.
% 106.17/106.26 (SAT)(equ)(fun)(SAT) 451| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.40/106.47 (SAT)(equ)(fun)(SAT) 451| -. -. -. -. -. -.
% 106.99/107.07 (SAT)(equ)(fun)(SAT) 451+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 107.27/107.37 (SAT)(equ)(fun)(SAT) 453| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 107.55/107.60 (SAT)(equ)(fun)(SAT) 453| -. -.
% 108.07/108.15 (SAT)(equ)(fun)(SAT) 453+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 108.39/108.45 (SAT)(equ)(fun)(SAT) 455| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.55/108.66 (SAT)(equ)(fun)(SAT) 455| -. -. -. -.
% 109.20/109.26 (SAT)(equ)(fun)(SAT) 455+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 109.50/109.61 (SAT)(equ)(fun)(SAT) 456| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 109.78/109.83 (SAT)(equ)(fun)(SAT) 456| -. -1 -. -.
% 109.80/109.87 (SAT)(equ)(fun)(SAT) 456| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.52/110.62 (SAT)(equ)(fun)(SAT) 456+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 110.84/110.94 (SAT)(equ)(fun)(SAT) 457| -. -1 -. -. -.
% 110.97/111.01 (SAT)(equ)(fun)(SAT) 457| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 111.14/111.22 (SAT)(equ)(fun)(SAT) 457| -. -. -. -. -. -.
% 111.78/111.83 (SAT)(equ)(fun)(SAT) 457+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 112.09/112.14 (SAT)(equ)(fun)(SAT) 459| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.32/112.38 (SAT)(equ)(fun)(SAT) 459| -. -.
% 112.90/112.96 (SAT)(equ)(fun)(SAT) 459+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 113.21/113.26 (SAT)(equ)(fun)(SAT) 461| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.44/113.48 (SAT)(equ)(fun)(SAT) 461| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.63/113.70 (SAT)(equ)(fun)(SAT) 461| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 114.39/114.47 (SAT)(equ)(fun)(SAT) 461+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 114.76/114.82 (SAT)(equ)(fun)(SAT) 462| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 114.99/115.05 (SAT)(equ)(fun)(SAT) 462| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 115.78/115.83 (SAT)(equ)(fun)(SAT) 462+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 116.03/116.14 (SAT)(equ)(fun)(SAT) 463| -. -1 -. -. -.
% 116.16/116.22 (SAT)(equ)(fun)(SAT) 463| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.36/116.43 (SAT)(equ)(fun)(SAT) 463| -. -. -. -. -. -.
% 116.99/117.03 (SAT)(equ)(fun)(SAT) 463+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 117.28/117.35 (SAT)(equ)(fun)(SAT) 465| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 117.51/117.59 (SAT)(equ)(fun)(SAT) 465| -. -.
% 118.10/118.19 (SAT)(equ)(fun)(SAT) 465+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 118.38/118.50 (SAT)(equ)(fun)(SAT) 467| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 118.68/118.72 (SAT)(equ)(fun)(SAT) 467| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 118.86/118.94 (SAT)(equ)(fun)(SAT) 467| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 119.08/119.16 (SAT)(equ)(fun)(SAT) 467| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 120.00/120.04 (SAT)(equ)(fun)(SAT) 467+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 120.32/120.42 (SAT)(equ)(fun)(SAT) 468| -. -. -. -. -. -. -. -.
% 121.03/121.14 (SAT)(equ)(fun)(SAT) 468+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 121.35/121.46 (SAT)(equ)(fun)(SAT) 469| -. -1 -. -. -.
% 121.50/121.54 (SAT)(equ)(fun)(SAT) 469| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.64/121.75 (SAT)(equ)(fun)(SAT) 469| -. -. -. -. -. -.
% 122.37/122.39 (SAT)(equ)(fun)(SAT) 469+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 122.69/122.72 (SAT)(equ)(fun)(SAT) 471| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 122.87/122.95 (SAT)(equ)(fun)(SAT) 471| -. -.
% 123.50/123.57 (SAT)(equ)(fun)(SAT) 471+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 123.95/123.98 (SAT)(equ)(fun)(SAT) 473| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 124.11/124.21 (SAT)(equ)(fun)(SAT) 473| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 124.40/124.44 (SAT)(equ)(fun)(SAT) 473| -. -1 -. -.
% 124.41/124.49 (SAT)(equ)(fun)(SAT) 473| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 125.30/125.40 (SAT)(equ)(fun)(SAT) 473+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 125.67/125.73 (SAT)(equ)(fun)(SAT) 475| -. -. -. -. -. -. -. -.
% 126.47/126.50 (SAT)(equ)(fun)(SAT) 475+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1
% 126.70/126.83 (SAT)(equ)(fun)(SAT) 476| -. -. -1 -. -.
% 126.87/126.90 (SAT)(equ)(fun)(SAT) 476| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 127.10/127.14 (SAT)(equ)(fun)(SAT) 476| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.34/127.47 (SAT)(equ)(fun)(SAT) 476| -. -. -. -. -. -.
% 128.20/128.25 (SAT)(equ)(fun)(SAT) 476+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 128.49/128.58 (SAT)(equ)(fun)(SAT) 479| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 128.78/128.82 (SAT)(equ)(fun)(SAT) 479| -. -.
% 129.38/129.45 (SAT)(equ)(fun)(SAT) 479+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 129.69/129.77 (SAT)(equ)(fun)(SAT) 481| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.99/130.01 (SAT)(equ)(fun)(SAT) 481| -. -. -. -.
% 130.61/130.66 (SAT)(equ)(fun)(SAT) 481+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 131.03/131.06 (SAT)(equ)(fun)(SAT) 482| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.25/131.30 (SAT)(equ)(fun)(SAT) 482| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 132.07/132.15 (SAT)(equ)(fun)(SAT) 482+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 132.48/132.50 (SAT)(equ)(fun)(SAT) 483| -. -1 -. -. -.
% 132.51/132.58 (SAT)(equ)(fun)(SAT) 483| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 132.78/132.80 (SAT)(equ)(fun)(SAT) 483| -. -. -. -. -. -.
% 133.49/133.52 (SAT)(equ)(fun)(SAT) 483+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 133.82/133.86 (SAT)(equ)(fun)(SAT) 485| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 134.02/134.11 (SAT)(equ)(fun)(SAT) 485| -. -.
% 134.86/134.88 (SAT)(equ)(fun)(SAT) 485+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 135.14/135.21 (SAT)(equ)(fun)(SAT) 487| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.40/135.45 (SAT)(equ)(fun)(SAT) 487| -. -1 -. -.
% 135.47/135.50 (SAT)(equ)(fun)(SAT) 487| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.68/135.74 (SAT)(equ)(fun)(SAT) 487| -. -. -. -.
% 136.29/136.40 (SAT)(equ)(fun)(SAT) 487+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 136.70/136.81 (SAT)(equ)(fun)(SAT) 488| -. -. -. -. -. -. -. -.
% 137.61/137.63 (SAT)(equ)(fun)(SAT) 488+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 137.95/137.98 (SAT)(equ)(fun)(SAT) 489| -. -1 -. -. -.
% 138.01/138.06 (SAT)(equ)(fun)(SAT) 489| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 138.25/138.29 (SAT)(equ)(fun)(SAT) 489| -. -. -. -. -. -.
% 139.10/139.12 (SAT)(equ)(fun)(SAT) 489+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 139.40/139.47 (SAT)(equ)(fun)(SAT) 491| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 139.72/139.73 (SAT)(equ)(fun)(SAT) 491| -. -.
% 140.48/140.50 (SAT)(equ)(fun)(SAT) 491+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 140.81/140.85 (SAT)(equ)(fun)(SAT) 493| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 141.07/141.10 (SAT)(equ)(fun)(SAT) 493| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 141.30/141.35 (SAT)(equ)(fun)(SAT) 493| -. -1 -. -.
% 141.39/141.40 (SAT)(equ)(fun)(SAT) 493| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 142.25/142.37 (SAT)(equ)(fun)(SAT) 493+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 142.71/142.73 (SAT)(equ)(fun)(SAT) 495| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 143.72/143.75 (SAT)(equ)(fun)(SAT) 495+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 144.02/144.10 (SAT)(equ)(fun)(SAT) 496| -. -1 -. -. -.
% 144.12/144.18 (SAT)(equ)(fun)(SAT) 496| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 144.41/144.43 (SAT)(equ)(fun)(SAT) 496| -. -. -. -. -. -.
% 145.17/145.24 (SAT)(equ)(fun)(SAT) 496+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 145.57/145.64 (SAT)(equ)(fun)(SAT) 498| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.82/145.89 (SAT)(equ)(fun)(SAT) 498| -. -.
% 146.66/146.70 (SAT)(equ)(fun)(SAT) 498+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 147.04/147.05 (SAT)(equ)(fun)(SAT) 500| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.28/147.30 (SAT)(equ)(fun)(SAT) 500| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.48/147.56 (SAT)(equ)(fun)(SAT) 500| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 148.71/148.76 (SAT)(equ)(fun)(SAT) 500+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 149.18/149.19 (SAT)(equ)(fun)(SAT) 501| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 149.38/149.45 (SAT)(equ)(fun)(SAT) 501| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 150.48/150.52 (SAT)(equ)(fun)(SAT) 501+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 150.88/150.88 (SAT)(equ)(fun)(SAT) 503| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -.
% 151.07/151.14 (SAT)(equ)(fun)(SAT) 503| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.38/151.39 (SAT)(equ)(fun)(SAT) 503| -. -. -. -. -. -.
% 152.29/152.33 (SAT)(equ)(fun)(SAT) 503+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 152.69/152.75 (SAT)(equ)(fun)(SAT) 505| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 153.00/153.02 (SAT)(equ)(fun)(SAT) 505| -. -.
% 153.87/153.90 (SAT)(equ)(fun)(SAT) 505+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 154.26/154.26 (SAT)(equ)(fun)(SAT) 507| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 154.48/154.52 (SAT)(equ)(fun)(SAT) 507| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 154.88/154.91 (SAT)(equ)(fun)(SAT) 507| -. -. -. -.
% 155.81/155.87 (SAT)(equ)(fun)(SAT) 507+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 156.31/156.32 (SAT)(equ)(fun)(SAT) 508| -. -. -. -. -. -. -. -.
% 157.33/157.36 (SAT)(equ)(fun)(SAT) 508+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 157.73/157.73 (SAT)(equ)(fun)(SAT) 509| -. -1 -. -. -.
% 157.80/157.81 (SAT)(equ)(fun)(SAT) 509| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.05/158.07 (SAT)(equ)(fun)(SAT) 509| -. -. -. -. -. -.
% 158.95/158.96 (SAT)(equ)(fun)(SAT) 509+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 159.34/159.34 (SAT)(equ)(fun)(SAT) 511| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 159.64/159.64 (SAT)(equ)(fun)(SAT) 511| -. -.
% 160.42/160.42 (SAT)(equ)(fun)(SAT) 511+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 160.72/160.79 (SAT)(equ)(fun)(SAT) 513| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 160.99/161.05 (SAT)(equ)(fun)(SAT) 513| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.31/161.31 (SAT)(equ)(fun)(SAT) 513| -. -1 -. -.
% 161.31/161.36 (SAT)(equ)(fun)(SAT) 513| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 162.63/162.64 (SAT)(equ)(fun)(SAT) 513+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 162.99/163.07 (SAT)(equ)(fun)(SAT) 515| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 164.20/164.20 (SAT)(equ)(fun)(SAT) 515+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 164.52/164.58 (SAT)(equ)(fun)(SAT) 516| -. -1 -1 -. -.
% 164.61/164.68 (SAT)(equ)(fun)(SAT) 516| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 164.91/164.96 (SAT)(equ)(fun)(SAT) 516| -. -. -. -. -. -.
% 165.78/165.85 (SAT)(equ)(fun)(SAT) 516+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 166.25/166.28 (SAT)(equ)(fun)(SAT) 518| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 166.56/166.56 (SAT)(equ)(fun)(SAT) 518| -.
% 167.48/167.48 (SAT)(equ)(fun)(SAT) 518+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 167.80/167.85 (SAT)(equ)(fun)(SAT) 520| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 168.11/168.13 (SAT)(equ)(fun)(SAT) 520| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 168.53/168.52 (SAT)(equ)(fun)(SAT) 520| -. -1 -. -.
% 168.53/168.58 (SAT)(equ)(fun)(SAT) 520| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 169.75/169.73 (SAT)(equ)(fun)(SAT) 520+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 170.20/170.20 (SAT)(equ)(fun)(SAT) 521| -. -. -. -. -. -. -. -.
% 171.25/171.29 (SAT)(equ)(fun)(SAT) 521+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 171.64/171.68 (SAT)(equ)(fun)(SAT) 522| -. -1 -. -. -.
% 171.74/171.78 (SAT)(equ)(fun)(SAT) 522| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 172.03/172.05 (SAT)(equ)(fun)(SAT) 522| -. -. -. -. -. -.
% 172.93/173.01 (SAT)(equ)(fun)(SAT) 522+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 173.35/173.41 (SAT)(equ)(fun)(SAT) 524| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 173.72/173.71 (SAT)(equ)(fun)(SAT) 524| -.
% 174.70/174.69 (SAT)(equ)(fun)(SAT) 524+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 175.06/175.09 (SAT)(equ)(fun)(SAT) 526| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.35/175.38 (SAT)(equ)(fun)(SAT) 526| -. -1 -. -.
% 175.44/175.44 (SAT)(equ)(fun)(SAT) 526| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.64/175.71 (SAT)(equ)(fun)(SAT) 526| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.15/177.13 (SAT)(equ)(fun)(SAT) 526+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 177.59/177.60 (SAT)(equ)(fun)(SAT) 527| -. -. -. -. -. -. -. -.
% 178.67/178.69 (SAT)(equ)(fun)(SAT) 527+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 179.05/179.08 (SAT)(equ)(fun)(SAT) 528| -. -1 -. -. -.
% 179.19/179.18 (SAT)(equ)(fun)(SAT) 528| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 179.43/179.46 (SAT)(equ)(fun)(SAT) 528| -. -. -. -. -. -.
% 180.44/180.45 (SAT)(equ)(fun)(SAT) 528+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 180.86/180.87 (SAT)(equ)(fun)(SAT) 530| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 181.16/181.16 (SAT)(equ)(fun)(SAT) 530| -.
% 182.11/182.09 (SAT)(equ)(fun)(SAT) 530+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 182.47/182.49 (SAT)(equ)(fun)(SAT) 532| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.75/182.77 (SAT)(equ)(fun)(SAT) 532| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 183.16/183.17 (SAT)(equ)(fun)(SAT) 532| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 183.45/183.45 (SAT)(equ)(fun)(SAT) 532| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.65/184.65 (SAT)(equ)(fun)(SAT) 532+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 185.13/185.13 (SAT)(equ)(fun)(SAT) 533| -. -. -. -. -. -. -. -.
% 186.28/186.26 (SAT)(equ)(fun)(SAT) 533+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 186.66/186.66 (SAT)(equ)(fun)(SAT) 534| -. -1 -. -. -.
% 186.73/186.76 (SAT)(equ)(fun)(SAT) 534| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 187.15/187.18 (SAT)(equ)(fun)(SAT) 534| -. -. -. -. -. -.
% 188.21/188.19 (SAT)(equ)(fun)(SAT) 534+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 188.61/188.61 (SAT)(equ)(fun)(SAT) 536| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 188.94/188.91 (SAT)(equ)(fun)(SAT) 536| -.
% 189.90/189.92 (SAT)(equ)(fun)(SAT) 536+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 190.34/190.31 (SAT)(equ)(fun)(SAT) 538| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 190.77/190.73 (SAT)(equ)(fun)(SAT) 538| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 191.02/191.02 (SAT)(equ)(fun)(SAT) 538| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 192.24/192.24 (SAT)(equ)(fun)(SAT) 538+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 192.71/192.76 (SAT)(equ)(fun)(SAT) 539| -. -. -. -. -. -. -. -.
% 194.01/194.00 (SAT)(equ)(fun)(SAT) 539+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 194.44/194.41 (SAT)(equ)(fun)(SAT) 540| -. -1 -. -. -.
% 194.47/194.51 (SAT)(equ)(fun)(SAT) 540| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 194.84/194.80 (SAT)(equ)(fun)(SAT) 540| -. -. -. -. -. -.
% 195.86/195.87 (SAT)(equ)(fun)(SAT) 540+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 196.35/196.30 (SAT)(equ)(fun)(SAT) 542| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 196.58/196.60 (SAT)(equ)(fun)(SAT) 542| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 196.98/197.01 (SAT)(equ)(fun)(SAT) 542| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 198.29/198.25 (SAT)(equ)(fun)(SAT) 542+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 198.68/198.65 (SAT)(equ)(fun)(SAT) 544| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 198.98/198.96 (SAT)(equ)(fun)(SAT) 544| -. -. -. -.
% 199.97/199.96 (SAT)(equ)(fun)(SAT) 544+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 200.45/200.47 (SAT)(equ)(fun)(SAT) 545| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 200.78/200.76 (SAT)(equ)(fun)(SAT) 545| -. -1 -. -.
% 200.85/200.82 (SAT)(equ)(fun)(SAT) 545| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 202.31/202.25 (SAT)(equ)(fun)(SAT) 545+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 202.69/202.67 (SAT)(equ)(fun)(SAT) 546| -. -1 -. -. -.
% 202.79/202.77 (SAT)(equ)(fun)(SAT) 546| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.09/203.05 (SAT)(equ)(fun)(SAT) 546| -. -. -. -. -. -.
% 204.37/204.34 (SAT)(equ)(fun)(SAT) 546+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 204.79/204.78 (SAT)(equ)(fun)(SAT) 548| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 205.12/205.09 (SAT)(equ)(fun)(SAT) 548| -.
% 206.20/206.18 (SAT)(equ)(fun)(SAT) 548+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 206.65/206.60 (SAT)(equ)(fun)(SAT) 550| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.03/207.04 (SAT)(equ)(fun)(SAT) 550| -. -. -. -.
% 208.18/208.12 (SAT)(equ)(fun)(SAT) 550+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 208.66/208.64 (SAT)(equ)(fun)(SAT) 551| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 208.96/208.94 (SAT)(equ)(fun)(SAT) 551| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 210.45/210.39 (SAT)(equ)(fun)(SAT) 551+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 210.80/210.82 (SAT)(equ)(fun)(SAT) 552| -. -1 -. -. -.
% 210.97/210.92 (SAT)(equ)(fun)(SAT) 552| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.20/211.21 (SAT)(equ)(fun)(SAT) 552| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 211.68/211.64 (SAT)(equ)(fun)(SAT) 552| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 212.90/212.91 (SAT)(equ)(fun)(SAT) 552+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 213.40/213.35 (SAT)(equ)(fun)(SAT) 554| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 213.85/213.82 (SAT)(equ)(fun)(SAT) 554| -.
% 214.99/214.95 (SAT)(equ)(fun)(SAT) 554+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 215.39/215.38 (SAT)(equ)(fun)(SAT) 556| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 215.67/215.70 (SAT)(equ)(fun)(SAT) 556| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 216.19/216.18 (SAT)(equ)(fun)(SAT) 556| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 216.47/216.50 (SAT)(equ)(fun)(SAT) 556| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 217.95/217.91 (SAT)(equ)(fun)(SAT) 556+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 218.38/218.34 (SAT)(equ)(fun)(SAT) 558| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 219.68/219.65 (SAT)(equ)(fun)(SAT) 558+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 220.15/220.09 (SAT)(equ)(fun)(SAT) 559| -. -1 -. -. -.
% 220.20/220.19 (SAT)(equ)(fun)(SAT) 559| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 220.54/220.49 (SAT)(equ)(fun)(SAT) 559| -. -. -. -. -. -.
% 221.74/221.70 (SAT)(equ)(fun)(SAT) 559+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 222.21/222.20 (SAT)(equ)(fun)(SAT) 561| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 222.61/222.54 (SAT)(equ)(fun)(SAT) 561| -.
% 223.68/223.61 (SAT)(equ)(fun)(SAT) 561+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 224.01/224.02 (SAT)(equ)(fun)(SAT) 563| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 224.41/224.34 (SAT)(equ)(fun)(SAT) 563| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 224.65/224.66 (SAT)(equ)(fun)(SAT) 563| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 225.05/224.98 (SAT)(equ)(fun)(SAT) 563| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 226.41/226.36 (SAT)(equ)(fun)(SAT) 563+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 226.98/226.92 (SAT)(equ)(fun)(SAT) 564| -. -. -. -. -. -. -. -.
% 228.25/228.20 (SAT)(equ)(fun)(SAT) 564+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 228.64/228.64 (SAT)(equ)(fun)(SAT) 565| -. -1 -. -. -.
% 228.82/228.75 (SAT)(equ)(fun)(SAT) 565| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 229.12/229.07 (SAT)(equ)(fun)(SAT) 565| -. -. -. -. -. -.
% 230.28/230.22 (SAT)(equ)(fun)(SAT) 565+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 230.69/230.69 (SAT)(equ)(fun)(SAT) 567| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 231.01/231.01 (SAT)(equ)(fun)(SAT) 567| -.
% 232.18/232.12 (SAT)(equ)(fun)(SAT) 567+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 232.63/232.57 (SAT)(equ)(fun)(SAT) 569| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 232.93/232.90 (SAT)(equ)(fun)(SAT) 569| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 233.30/233.22 (SAT)(equ)(fun)(SAT) 569| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 233.60/233.55 (SAT)(equ)(fun)(SAT) 569| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 235.08/234.98 (SAT)(equ)(fun)(SAT) 569+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 235.58/235.55 (SAT)(equ)(fun)(SAT) 570| -. -. -. -. -. -. -. -.
% 236.93/236.85 (SAT)(equ)(fun)(SAT) 570+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 237.33/237.29 (SAT)(equ)(fun)(SAT) 571| -. -1 -. -. -.
% 237.63/237.54 (SAT)(equ)(fun)(SAT) 571| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 237.91/237.88 (SAT)(equ)(fun)(SAT) 571| -. -. -. -. -. -.
% 239.12/239.07 (SAT)(equ)(fun)(SAT) 571+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 239.75/239.69 (SAT)(equ)(fun)(SAT) 573| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 240.11/240.04 (SAT)(equ)(fun)(SAT) 573| -.
% 241.31/241.27 (SAT)(equ)(fun)(SAT) 573+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 241.78/241.72 (SAT)(equ)(fun)(SAT) 575| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 242.08/242.06 (SAT)(equ)(fun)(SAT) 575| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 242.47/242.40 (SAT)(equ)(fun)(SAT) 575| -. -1 -. -.
% 242.52/242.46 (SAT)(equ)(fun)(SAT) 575| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 243.97/243.89 (SAT)(equ)(fun)(SAT) 575+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 244.57/244.48 (SAT)(equ)(fun)(SAT) 576| -. -. -. -. -. -. -. -.
% 245.88/245.79 (SAT)(equ)(fun)(SAT) 576+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 246.32/246.24 (SAT)(equ)(fun)(SAT) 577| -. -1 -. -. -.
% 246.38/246.35 (SAT)(equ)(fun)(SAT) 577| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 246.77/246.68 (SAT)(equ)(fun)(SAT) 577| -. -. -. -. -. -.
% 247.98/247.87 (SAT)(equ)(fun)(SAT) 577+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 248.43/248.36 (SAT)(equ)(fun)(SAT) 579| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.72/248.69 (SAT)(equ)(fun)(SAT) 579| -.
% 249.95/249.85 (SAT)(equ)(fun)(SAT) 579+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 250.37/250.31 (SAT)(equ)(fun)(SAT) 581| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 250.68/250.65 (SAT)(equ)(fun)(SAT) 581| -. -. -. -.
% 251.91/251.88 (SAT)(equ)(fun)(SAT) 581+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 252.54/252.48 (SAT)(equ)(fun)(SAT) 582| -. -. -. -. -. -. -. -.
% 253.91/253.83 (SAT)(equ)(fun)(SAT) 582+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 254.41/254.30 (SAT)(equ)(fun)(SAT) 583| -. -1 -. -. -.
% 254.52/254.41 (SAT)(equ)(fun)(SAT) 583| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 254.84/254.73 (SAT)(equ)(fun)(SAT) 583| -. -. -. -. -. -.
% 256.09/255.99 (SAT)(equ)(fun)(SAT) 583+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 256.58/256.49 (SAT)(equ)(fun)(SAT) 585| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 256.88/256.83 (SAT)(equ)(fun)(SAT) 585| -.
% 258.05/257.98 (SAT)(equ)(fun)(SAT) 585+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 258.54/258.44 (SAT)(equ)(fun)(SAT) 587| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.91/258.79 (SAT)(equ)(fun)(SAT) 587| -. -. -1 -.
% 258.94/258.86 (SAT)(equ)(fun)(SAT) 587| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 259.25/259.20 (SAT)(equ)(fun)(SAT) 587| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 259.64/259.54 (SAT)(equ)(fun)(SAT) 587| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 259.99/259.89 (SAT)(equ)(fun)(SAT) 587| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 261.46/261.39 (SAT)(equ)(fun)(SAT) 587+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 262.06/261.98 (SAT)(equ)(fun)(SAT) 589| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 263.57/263.48 (SAT)(equ)(fun)(SAT) 589+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 264.23/264.12 (SAT)(equ)(fun)(SAT) 590| -. -1 -. -. -.
% 264.29/264.24 (SAT)(equ)(fun)(SAT) 590| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 264.68/264.58 (SAT)(equ)(fun)(SAT) 590| -. -. -. -. -. -.
% 266.05/266.01 (SAT)(equ)(fun)(SAT) 590+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 266.61/266.49 (SAT)(equ)(fun)(SAT) 592| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 266.95/266.84 (SAT)(equ)(fun)(SAT) 592| -.
% 268.17/268.07 (SAT)(equ)(fun)(SAT) 592+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 268.62/268.54 (SAT)(equ)(fun)(SAT) 594| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 268.93/268.87 (SAT)(equ)(fun)(SAT) 594| -. -. -. -.
% 270.20/270.12 (SAT)(equ)(fun)(SAT) 594+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 270.78/270.73 (SAT)(equ)(fun)(SAT) 595| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 271.19/271.09 (SAT)(equ)(fun)(SAT) 595| -. -1 -. -.
% 271.27/271.15 (SAT)(equ)(fun)(SAT) 595| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 272.86/272.73 (SAT)(equ)(fun)(SAT) 595+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 273.32/273.20 (SAT)(equ)(fun)(SAT) 596| -. -1 -. -. -.
% 273.42/273.32 (SAT)(equ)(fun)(SAT) 596| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 273.90/273.82 (SAT)(equ)(fun)(SAT) 596| -. -. -. -. -. -.
% 275.22/275.10 (SAT)(equ)(fun)(SAT) 596+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 275.67/275.59 (SAT)(equ)(fun)(SAT) 598| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 276.04/275.93 (SAT)(equ)(fun)(SAT) 598| -.
% 277.48/277.35 (SAT)(equ)(fun)(SAT) 598+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 278.05/277.93 (SAT)(equ)(fun)(SAT) 600| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 278.39/278.27 (SAT)(equ)(fun)(SAT) 600| -. -1 -. -.
% 278.48/278.34 (SAT)(equ)(fun)(SAT) 600| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 278.76/278.67 (SAT)(equ)(fun)(SAT) 600| -. -. -. -.
% 280.06/279.94 (SAT)(equ)(fun)(SAT) 600+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 280.57/280.43 (SAT)(equ)(fun)(SAT) 602| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 282.23/282.09 (SAT)(equ)(fun)(SAT) 602+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 282.64/282.56 (SAT)(equ)(fun)(SAT) 603| -. -1 -. -. -.
% 282.76/282.67 (SAT)(equ)(fun)(SAT) 603| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 283.33/283.20 (SAT)(equ)(fun)(SAT) 603| -. -. -. -. -. -.
% 284.81/284.67 (SAT)(equ)(fun)(SAT) 603+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 285.44/285.30 (SAT)(equ)(fun)(SAT) 605| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 285.77/285.67 (SAT)(equ)(fun)(SAT) 605| -.
% 287.09/286.97 (SAT)(equ)(fun)(SAT) 605+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 287.53/287.43 (SAT)(equ)(fun)(SAT) 607| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 288.13/288.00 (SAT)(equ)(fun)(SAT) 607| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 288.52/288.40 (SAT)(equ)(fun)(SAT) 607| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 288.87/288.77 (SAT)(equ)(fun)(SAT) 607| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 290.63/290.54 (SAT)(equ)(fun)(SAT) 607+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 291.32/291.18 (SAT)(equ)(fun)(SAT) 608| -. -. -. -. -. -. -. -.
% 292.85/292.72 (SAT)(equ)(fun)(SAT) 608+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 293.38/293.22 (SAT)(equ)(fun)(SAT) 609| -. -1 -. -. -.
% 293.45/293.35 (SAT)(equ)(fun)(SAT) 609| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.85/293.71 (SAT)(equ)(fun)(SAT) 609| -. -. -. -. -. -.
% 295.40/295.30 (SAT)(equ)(fun)(SAT) 609+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 296.08/296.00 (SAT)(equ)(fun)(SAT) 611| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 296.47/296.36 (SAT)(equ)(fun)(SAT) 611| -.
% 297.97/297.82 (SAT)(equ)(fun)(SAT) 611+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 298.47/298.31 (SAT)(equ)(fun)(SAT) 613| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 298.80/298.67 (SAT)(equ)(fun)(SAT) 613| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 299.18/299.04 (SAT)(equ)(fun)(SAT) 613| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 299.49/299.39 (SAT)(equ)(fun)(SAT) 613| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
%------------------------------------------------------------------------------