TSTP Solution File: SYN306-1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYN306-1 : TPTP v8.1.0. Released v1.2.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n006.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 : Thu Jul 21 05:16:15 EDT 2022
% Result : Timeout 285.99s 285.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SYN306-1 : TPTP v8.1.0. Released v1.2.0.
% 0.07/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.13/0.34 % Computer : n006.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue Jul 12 03:34:20 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.13/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.13/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.13/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.13/0.35 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.13/0.35 #elt|#instances
% 0.13/0.35 (SAT)(equ)(fun)(SAT) 4| -1 -. -1 -.
% 0.13/0.35 (SAT)(equ)(fun)(SAT) 6| -. -1
% 0.13/0.35 (SAT)(equ)(fun)(SAT) 6| -1
% 0.13/0.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 6| -.
% 0.13/0.35 (SAT)(equ)(fun)(SAT) 6+ -1 -. -. -1
% 0.13/0.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 8| -. -1 -.
% 0.13/0.35 (SAT)(equ)(fun)(SAT) 8| -.
% 0.13/0.35 (SAT)(equ)(fun)(SAT) 8+ -1 -1 -. -1
% 0.13/0.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 10| -. -1 -1 -.
% 0.13/0.36 (SAT)(equ)(fun)(SAT) 10| -. -.
% 0.13/0.36 (SAT)(equ)(fun)(SAT) 10+ -1 -. -. -1
% 0.13/0.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 12| -. -1 -1 -.
% 0.13/0.36 (SAT)(equ)(fun)(SAT) 12| -. -.
% 0.13/0.36 (SAT)(equ)(fun)(SAT) 12+ -1 -. -. -1
% 0.13/0.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 14| -. -1 -1 -.
% 0.13/0.37 (SAT)(equ)(fun)(SAT) 14| -. -.
% 0.13/0.37 (SAT)(equ)(fun)(SAT) 14+ -1 -. -. -1
% 0.13/0.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 16| -. -1 -1 -.
% 0.13/0.37 (SAT)(equ)(fun)(SAT) 16| -. -.
% 0.13/0.37 (SAT)(equ)(fun)(SAT) 16+ -1 -. -. -1
% 0.13/0.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 18| -. -1 -1 -.
% 0.13/0.38 (SAT)(equ)(fun)(SAT) 18| -. -.
% 0.13/0.38 (SAT)(equ)(fun)(SAT) 18+ -1 -. -. -1
% 0.13/0.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 20| -. -1 -1 -.
% 0.13/0.38 (SAT)(equ)(fun)(SAT) 20| -. -.
% 0.13/0.38 (SAT)(equ)(fun)(SAT) 20+ -1 -. -. -1
% 0.20/0.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 22| -. -1 -1 -.
% 0.20/0.39 (SAT)(equ)(fun)(SAT) 22| -. -.
% 0.20/0.39 (SAT)(equ)(fun)(SAT) 22+ -1 -. -. -1
% 0.20/0.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 24| -. -1 -1 -.
% 0.20/0.40 (SAT)(equ)(fun)(SAT) 24| -. -.
% 0.20/0.40 (SAT)(equ)(fun)(SAT) 24+ -1 -. -. -1
% 0.20/0.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 26| -. -1 -1 -.
% 0.20/0.40 (SAT)(equ)(fun)(SAT) 26| -. -.
% 0.20/0.41 (SAT)(equ)(fun)(SAT) 26+ -1 -. -. -1
% 0.20/0.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 28| -. -1 -1 -.
% 0.20/0.41 (SAT)(equ)(fun)(SAT) 28| -. -.
% 0.20/0.41 (SAT)(equ)(fun)(SAT) 28+ -1 -. -. -1
% 0.20/0.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 30| -. -1 -1 -.
% 0.20/0.42 (SAT)(equ)(fun)(SAT) 30| -. -.
% 0.20/0.42 (SAT)(equ)(fun)(SAT) 30+ -1 -. -. -1
% 0.20/0.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 32| -. -1 -1 -.
% 0.20/0.43 (SAT)(equ)(fun)(SAT) 32| -. -.
% 0.20/0.43 (SAT)(equ)(fun)(SAT) 32+ -1 -. -. -1
% 0.20/0.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 34| -. -1 -1 -.
% 0.20/0.44 (SAT)(equ)(fun)(SAT) 34| -. -.
% 0.20/0.44 (SAT)(equ)(fun)(SAT) 34+ -1 -. -. -1
% 0.20/0.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 36| -. -1 -1 -.
% 0.20/0.45 (SAT)(equ)(fun)(SAT) 36| -. -.
% 0.20/0.45 (SAT)(equ)(fun)(SAT) 36+ -1 -. -. -1
% 0.20/0.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 38| -. -1 -1 -.
% 0.20/0.46 (SAT)(equ)(fun)(SAT) 38| -. -.
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 38+ -1 -. -. -1
% 0.20/0.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 40| -. -1 -1 -.
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 40| -. -.
% 0.20/0.48 (SAT)(equ)(fun)(SAT) 40+ -1 -. -. -1
% 0.20/0.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 42| -. -1 -1 -.
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 42| -. -.
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 42+ -1 -. -. -1
% 0.20/0.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 44| -. -1 -1 -.
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 44| -. -.
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 44+ -1 -. -. -1
% 0.20/0.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 46| -. -1 -1 -.
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 46| -. -.
% 0.20/0.51 (SAT)(equ)(fun)(SAT) 46+ -1 -. -. -1
% 0.20/0.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 48| -. -1 -1 -.
% 0.20/0.51 (SAT)(equ)(fun)(SAT) 48| -. -.
% 0.20/0.52 (SAT)(equ)(fun)(SAT) 48+ -1 -. -. -1
% 0.20/0.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 50| -. -1 -1 -.
% 0.37/0.52 (SAT)(equ)(fun)(SAT) 50| -. -.
% 0.37/0.52 (SAT)(equ)(fun)(SAT) 50+ -1 -. -. -1
% 0.37/0.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 52| -. -1 -1 -.
% 0.37/0.53 (SAT)(equ)(fun)(SAT) 52| -. -.
% 0.37/0.53 (SAT)(equ)(fun)(SAT) 52+ -1 -. -. -1
% 0.37/0.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 54| -. -1 -1 -.
% 0.39/0.54 (SAT)(equ)(fun)(SAT) 54| -. -.
% 0.39/0.54 (SAT)(equ)(fun)(SAT) 54+ -1 -. -. -1
% 0.39/0.55 (SAT)(equ)(SAT)(equ)(fun)(SAT) 56| -. -1 -1 -.
% 0.39/0.55 (SAT)(equ)(fun)(SAT) 56| -. -.
% 0.39/0.55 (SAT)(equ)(fun)(SAT) 56+ -1 -. -. -1
% 0.39/0.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 58| -. -1 -1 -.
% 0.39/0.56 (SAT)(equ)(fun)(SAT) 58| -. -.
% 0.39/0.56 (SAT)(equ)(fun)(SAT) 58+ -1 -. -. -1
% 0.39/0.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 60| -. -1 -1 -.
% 0.39/0.57 (SAT)(equ)(fun)(SAT) 60| -. -.
% 0.39/0.58 (SAT)(equ)(fun)(SAT) 60+ -1 -. -. -1
% 0.39/0.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 62| -. -1 -1 -.
% 0.39/0.58 (SAT)(equ)(fun)(SAT) 62| -. -.
% 0.39/0.59 (SAT)(equ)(fun)(SAT) 62+ -1 -. -. -1
% 0.39/0.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 64| -. -1 -1 -.
% 0.39/0.60 (SAT)(equ)(fun)(SAT) 64| -. -.
% 0.39/0.60 (SAT)(equ)(fun)(SAT) 64+ -1 -. -. -1
% 0.39/0.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 66| -. -1 -1 -.
% 0.39/0.61 (SAT)(equ)(fun)(SAT) 66| -. -.
% 0.39/0.61 (SAT)(equ)(fun)(SAT) 66+ -1 -. -. -1
% 0.39/0.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 68| -. -1 -1 -.
% 0.39/0.62 (SAT)(equ)(fun)(SAT) 68| -. -.
% 0.39/0.62 (SAT)(equ)(fun)(SAT) 68+ -1 -. -. -1
% 0.39/0.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 70| -. -1 -1 -.
% 0.48/0.63 (SAT)(equ)(fun)(SAT) 70| -. -.
% 0.48/0.64 (SAT)(equ)(fun)(SAT) 70+ -1 -. -. -1
% 0.48/0.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 72| -. -1 -1 -.
% 0.48/0.65 (SAT)(equ)(fun)(SAT) 72| -. -.
% 0.48/0.65 (SAT)(equ)(fun)(SAT) 72+ -1 -. -. -1
% 0.48/0.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 74| -. -1 -1 -.
% 0.48/0.66 (SAT)(equ)(fun)(SAT) 74| -. -.
% 0.48/0.67 (SAT)(equ)(fun)(SAT) 74+ -1 -. -. -1
% 0.48/0.67 (SAT)(equ)(SAT)(equ)(fun)(SAT) 76| -. -1 -1 -.
% 0.48/0.68 (SAT)(equ)(fun)(SAT) 76| -. -.
% 0.48/0.68 (SAT)(equ)(fun)(SAT) 76+ -1 -. -. -1
% 0.48/0.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 78| -. -1 -1 -.
% 0.53/0.69 (SAT)(equ)(fun)(SAT) 78| -. -.
% 0.53/0.70 (SAT)(equ)(fun)(SAT) 78+ -1 -. -. -1
% 0.53/0.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 80| -. -1 -1 -.
% 0.53/0.71 (SAT)(equ)(fun)(SAT) 80| -. -.
% 0.53/0.71 (SAT)(equ)(fun)(SAT) 80+ -1 -. -. -1
% 0.53/0.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 82| -. -1 -1 -.
% 0.53/0.72 (SAT)(equ)(fun)(SAT) 82| -. -.
% 0.53/0.73 (SAT)(equ)(fun)(SAT) 82+ -1 -. -. -1
% 0.53/0.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 84| -. -1 -1 -.
% 0.53/0.74 (SAT)(equ)(fun)(SAT) 84| -. -.
% 0.53/0.75 (SAT)(equ)(fun)(SAT) 84+ -1 -. -. -1
% 0.53/0.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 86| -. -1 -1 -.
% 0.60/0.76 (SAT)(equ)(fun)(SAT) 86| -. -.
% 0.61/0.76 (SAT)(equ)(fun)(SAT) 86+ -1 -. -. -1
% 0.61/0.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 88| -. -1 -1 -.
% 0.61/0.78 (SAT)(equ)(fun)(SAT) 88| -. -.
% 0.61/0.78 (SAT)(equ)(fun)(SAT) 88+ -1 -. -. -1
% 0.61/0.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 90| -. -1 -1 -.
% 0.61/0.80 (SAT)(equ)(fun)(SAT) 90| -. -.
% 0.61/0.80 (SAT)(equ)(fun)(SAT) 90+ -1 -. -. -1
% 0.65/0.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 92| -. -1 -1 -.
% 0.65/0.81 (SAT)(equ)(fun)(SAT) 92| -. -.
% 0.65/0.82 (SAT)(equ)(fun)(SAT) 92+ -1 -. -. -1
% 0.65/0.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 94| -. -1 -1 -.
% 0.65/0.83 (SAT)(equ)(fun)(SAT) 94| -. -.
% 0.69/0.84 (SAT)(equ)(fun)(SAT) 94+ -1 -. -. -1
% 0.69/0.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 96| -. -1 -1 -.
% 0.69/0.86 (SAT)(equ)(fun)(SAT) 96| -. -.
% 0.69/0.86 (SAT)(equ)(fun)(SAT) 96+ -1 -. -. -1
% 0.69/0.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 98| -. -1 -1 -.
% 0.69/0.87 (SAT)(equ)(fun)(SAT) 98| -. -.
% 0.69/0.88 (SAT)(equ)(fun)(SAT) 98+ -1 -. -. -1
% 0.69/0.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 100| -. -1 -1 -.
% 0.69/0.89 (SAT)(equ)(fun)(SAT) 100| -. -.
% 0.69/0.89 (SAT)(equ)(fun)(SAT) 100+ -1 -. -. -1
% 0.69/0.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 102| -. -1 -1 -.
% 0.69/0.91 (SAT)(equ)(fun)(SAT) 102| -. -.
% 0.69/0.91 (SAT)(equ)(fun)(SAT) 102+ -1 -. -. -1
% 0.69/0.92 (SAT)(equ)(SAT)(equ)(fun)(SAT) 104| -. -1 -1 -.
% 0.69/0.92 (SAT)(equ)(fun)(SAT) 104| -. -.
% 0.78/0.93 (SAT)(equ)(fun)(SAT) 104+ -1 -. -. -1
% 0.78/0.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 106| -. -1 -1 -.
% 0.78/0.94 (SAT)(equ)(fun)(SAT) 106| -. -.
% 0.78/0.95 (SAT)(equ)(fun)(SAT) 106+ -1 -. -. -1
% 0.78/0.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 108| -. -1 -1 -.
% 0.78/0.96 (SAT)(equ)(fun)(SAT) 108| -. -.
% 0.78/0.97 (SAT)(equ)(fun)(SAT) 108+ -1 -. -. -1
% 0.78/0.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 110| -. -1 -1 -.
% 0.78/0.98 (SAT)(equ)(fun)(SAT) 110| -. -.
% 0.78/0.99 (SAT)(equ)(fun)(SAT) 110+ -1 -. -. -1
% 0.84/0.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 112| -. -1 -1 -.
% 0.84/1.00 (SAT)(equ)(fun)(SAT) 112| -. -.
% 0.84/1.01 (SAT)(equ)(fun)(SAT) 112+ -1 -. -. -1
% 0.84/1.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -.
% 0.84/1.02 (SAT)(equ)(fun)(SAT) 114| -. -.
% 0.84/1.03 (SAT)(equ)(fun)(SAT) 114+ -1 -. -. -1
% 0.84/1.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 116| -. -1 -1 -.
% 0.84/1.04 (SAT)(equ)(fun)(SAT) 116| -. -.
% 0.84/1.05 (SAT)(equ)(fun)(SAT) 116+ -1 -. -. -1
% 0.91/1.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 118| -. -1 -1 -.
% 0.91/1.07 (SAT)(equ)(fun)(SAT) 118| -. -.
% 0.91/1.07 (SAT)(equ)(fun)(SAT) 118+ -1 -. -. -1
% 0.93/1.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 120| -. -1 -1 -.
% 0.93/1.09 (SAT)(equ)(fun)(SAT) 120| -. -.
% 0.93/1.10 (SAT)(equ)(fun)(SAT) 120+ -1 -. -. -1
% 0.93/1.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 122| -. -1 -1 -.
% 0.93/1.11 (SAT)(equ)(fun)(SAT) 122| -. -.
% 0.97/1.12 (SAT)(equ)(fun)(SAT) 122+ -1 -. -. -1
% 0.97/1.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 124| -. -1 -1 -.
% 0.97/1.14 (SAT)(equ)(fun)(SAT) 124| -. -.
% 0.97/1.15 (SAT)(equ)(fun)(SAT) 124+ -1 -. -. -1
% 1.01/1.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 126| -. -1 -1 -.
% 1.01/1.16 (SAT)(equ)(fun)(SAT) 126| -. -.
% 1.01/1.17 (SAT)(equ)(fun)(SAT) 126+ -1 -. -. -1
% 1.01/1.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 128| -. -1 -1 -.
% 1.01/1.19 (SAT)(equ)(fun)(SAT) 128| -. -.
% 1.01/1.20 (SAT)(equ)(fun)(SAT) 128+ -1 -. -. -1
% 1.01/1.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 130| -. -1 -1 -.
% 1.01/1.21 (SAT)(equ)(fun)(SAT) 130| -. -.
% 1.01/1.22 (SAT)(equ)(fun)(SAT) 130+ -1 -. -. -1
% 1.08/1.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 132| -. -1 -1 -.
% 1.08/1.24 (SAT)(equ)(fun)(SAT) 132| -. -.
% 1.08/1.25 (SAT)(equ)(fun)(SAT) 132+ -1 -. -. -1
% 1.08/1.26 (SAT)(equ)(SAT)(equ)(fun)(SAT) 134| -. -1 -1 -.
% 1.08/1.27 (SAT)(equ)(fun)(SAT) 134| -. -.
% 1.13/1.28 (SAT)(equ)(fun)(SAT) 134+ -1 -. -. -1
% 1.13/1.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 136| -. -1 -1 -.
% 1.13/1.30 (SAT)(equ)(fun)(SAT) 136| -. -.
% 1.13/1.31 (SAT)(equ)(fun)(SAT) 136+ -1 -. -. -1
% 1.13/1.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 138| -. -1 -1 -.
% 1.13/1.33 (SAT)(equ)(fun)(SAT) 138| -. -.
% 1.13/1.34 (SAT)(equ)(fun)(SAT) 138+ -1 -. -. -1
% 1.19/1.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 140| -. -1 -1 -.
% 1.19/1.36 (SAT)(equ)(fun)(SAT) 140| -. -.
% 1.22/1.37 (SAT)(equ)(fun)(SAT) 140+ -1 -. -. -1
% 1.22/1.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 142| -. -1 -1 -.
% 1.22/1.39 (SAT)(equ)(fun)(SAT) 142| -. -.
% 1.22/1.40 (SAT)(equ)(fun)(SAT) 142+ -1 -. -. -1
% 1.22/1.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 144| -. -1 -1 -.
% 1.22/1.42 (SAT)(equ)(fun)(SAT) 144| -. -.
% 1.27/1.43 (SAT)(equ)(fun)(SAT) 144+ -1 -. -. -1
% 1.27/1.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 146| -. -1 -1 -.
% 1.27/1.45 (SAT)(equ)(fun)(SAT) 146| -. -.
% 1.30/1.46 (SAT)(equ)(fun)(SAT) 146+ -1 -. -. -1
% 1.30/1.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 148| -. -1 -1 -.
% 1.30/1.48 (SAT)(equ)(fun)(SAT) 148| -. -.
% 1.30/1.50 (SAT)(equ)(fun)(SAT) 148+ -1 -. -. -1
% 1.30/1.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 150| -. -1 -1 -.
% 1.30/1.52 (SAT)(equ)(fun)(SAT) 150| -. -.
% 1.38/1.53 (SAT)(equ)(fun)(SAT) 150+ -1 -. -. -1
% 1.38/1.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 152| -. -1 -1 -.
% 1.38/1.55 (SAT)(equ)(fun)(SAT) 152| -. -.
% 1.38/1.56 (SAT)(equ)(fun)(SAT) 152+ -1 -. -. -1
% 1.42/1.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 154| -. -1 -1 -.
% 1.42/1.59 (SAT)(equ)(fun)(SAT) 154| -. -.
% 1.42/1.60 (SAT)(equ)(fun)(SAT) 154+ -1 -. -. -1
% 1.42/1.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 156| -. -1 -1 -.
% 1.42/1.62 (SAT)(equ)(fun)(SAT) 156| -. -.
% 1.42/1.64 (SAT)(equ)(fun)(SAT) 156+ -1 -. -. -1
% 1.42/1.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 158| -. -1 -1 -.
% 1.51/1.66 (SAT)(equ)(fun)(SAT) 158| -. -.
% 1.53/1.68 (SAT)(equ)(fun)(SAT) 158+ -1 -. -. -1
% 1.53/1.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 160| -. -1 -1 -.
% 1.53/1.70 (SAT)(equ)(fun)(SAT) 160| -. -.
% 1.53/1.72 (SAT)(equ)(fun)(SAT) 160+ -1 -. -. -1
% 1.53/1.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 162| -. -1 -1 -.
% 1.59/1.74 (SAT)(equ)(fun)(SAT) 162| -. -.
% 1.61/1.76 (SAT)(equ)(fun)(SAT) 162+ -1 -. -. -1
% 1.61/1.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 164| -. -1 -1 -.
% 1.61/1.78 (SAT)(equ)(fun)(SAT) 164| -. -.
% 1.61/1.80 (SAT)(equ)(fun)(SAT) 164+ -1 -. -. -1
% 1.61/1.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 166| -. -1 -1 -.
% 1.67/1.82 (SAT)(equ)(fun)(SAT) 166| -. -.
% 1.67/1.84 (SAT)(equ)(fun)(SAT) 166+ -1 -. -. -1
% 1.67/1.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 168| -. -1 -1 -.
% 1.72/1.87 (SAT)(equ)(fun)(SAT) 168| -. -.
% 1.72/1.88 (SAT)(equ)(fun)(SAT) 168+ -1 -. -. -1
% 1.72/1.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 170| -. -1 -1 -.
% 1.72/1.91 (SAT)(equ)(fun)(SAT) 170| -. -.
% 1.72/1.93 (SAT)(equ)(fun)(SAT) 170+ -1 -. -. -1
% 1.72/1.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 172| -. -1 -1 -.
% 1.80/1.96 (SAT)(equ)(fun)(SAT) 172| -. -.
% 1.80/1.97 (SAT)(equ)(fun)(SAT) 172+ -1 -. -. -1
% 1.83/1.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 174| -. -1 -1 -.
% 1.83/2.00 (SAT)(equ)(fun)(SAT) 174| -. -.
% 1.83/2.02 (SAT)(equ)(fun)(SAT) 174+ -1 -. -. -1
% 1.89/2.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 176| -. -1 -1 -.
% 1.89/2.05 (SAT)(equ)(fun)(SAT) 176| -. -.
% 1.91/2.07 (SAT)(equ)(fun)(SAT) 176+ -1 -. -. -1
% 1.91/2.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 178| -. -1 -1 -.
% 1.91/2.10 (SAT)(equ)(fun)(SAT) 178| -. -.
% 1.97/2.12 (SAT)(equ)(fun)(SAT) 178+ -1 -. -. -1
% 1.97/2.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 180| -. -1 -1 -.
% 1.97/2.15 (SAT)(equ)(fun)(SAT) 180| -. -.
% 1.97/2.17 (SAT)(equ)(fun)(SAT) 180+ -1 -. -. -1
% 2.03/2.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 182| -. -1 -1 -.
% 2.03/2.20 (SAT)(equ)(fun)(SAT) 182| -. -.
% 2.03/2.22 (SAT)(equ)(fun)(SAT) 182+ -1 -. -. -1
% 2.03/2.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 184| -. -1 -1 -.
% 2.03/2.25 (SAT)(equ)(fun)(SAT) 184| -. -.
% 2.11/2.27 (SAT)(equ)(fun)(SAT) 184+ -1 -. -. -1
% 2.11/2.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 186| -. -1 -1 -.
% 2.15/2.31 (SAT)(equ)(fun)(SAT) 186| -. -.
% 2.15/2.32 (SAT)(equ)(fun)(SAT) 186+ -1 -. -. -1
% 2.19/2.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 188| -. -1 -1 -.
% 2.19/2.36 (SAT)(equ)(fun)(SAT) 188| -. -.
% 2.19/2.38 (SAT)(equ)(fun)(SAT) 188+ -1 -. -. -1
% 2.19/2.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 190| -. -1 -1 -.
% 2.26/2.41 (SAT)(equ)(fun)(SAT) 190| -. -.
% 2.26/2.43 (SAT)(equ)(fun)(SAT) 190+ -1 -. -. -1
% 2.26/2.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 192| -. -1 -1 -.
% 2.32/2.47 (SAT)(equ)(fun)(SAT) 192| -. -.
% 2.32/2.49 (SAT)(equ)(fun)(SAT) 192+ -1 -. -. -1
% 2.32/2.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 194| -. -1 -1 -.
% 2.32/2.53 (SAT)(equ)(fun)(SAT) 194| -. -.
% 2.32/2.55 (SAT)(equ)(fun)(SAT) 194+ -1 -. -. -1
% 2.41/2.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 196| -. -1 -1 -.
% 2.41/2.59 (SAT)(equ)(fun)(SAT) 196| -. -.
% 2.45/2.61 (SAT)(equ)(fun)(SAT) 196+ -1 -. -. -1
% 2.45/2.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 198| -. -1 -1 -.
% 2.49/2.65 (SAT)(equ)(fun)(SAT) 198| -. -.
% 2.49/2.67 (SAT)(equ)(fun)(SAT) 198+ -1 -. -. -1
% 2.49/2.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 200| -. -1 -1 -.
% 2.49/2.71 (SAT)(equ)(fun)(SAT) 200| -. -.
% 2.57/2.73 (SAT)(equ)(fun)(SAT) 200+ -1 -. -. -1
% 2.57/2.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 202| -. -1 -1 -.
% 2.57/2.77 (SAT)(equ)(fun)(SAT) 202| -. -.
% 2.63/2.79 (SAT)(equ)(fun)(SAT) 202+ -1 -. -. -1
% 2.63/2.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 204| -. -1 -1 -.
% 2.63/2.84 (SAT)(equ)(fun)(SAT) 204| -. -.
% 2.63/2.86 (SAT)(equ)(fun)(SAT) 204+ -1 -. -. -1
% 2.72/2.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 206| -. -1 -1 -.
% 2.74/2.90 (SAT)(equ)(fun)(SAT) 206| -. -.
% 2.78/2.92 (SAT)(equ)(fun)(SAT) 206+ -1 -. -. -1
% 2.78/2.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 208| -. -1 -1 -.
% 2.78/2.97 (SAT)(equ)(fun)(SAT) 208| -. -.
% 2.78/2.99 (SAT)(equ)(fun)(SAT) 208+ -1 -. -. -1
% 2.86/3.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 210| -. -1 -1 -.
% 2.86/3.03 (SAT)(equ)(fun)(SAT) 210| -. -.
% 2.86/3.06 (SAT)(equ)(fun)(SAT) 210+ -1 -. -. -1
% 2.94/3.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 212| -. -1 -1 -.
% 2.94/3.11 (SAT)(equ)(fun)(SAT) 212| -. -.
% 2.94/3.13 (SAT)(equ)(fun)(SAT) 212+ -1 -. -. -1
% 2.94/3.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -1 -.
% 3.03/3.18 (SAT)(equ)(fun)(SAT) 214| -. -.
% 3.05/3.20 (SAT)(equ)(fun)(SAT) 214+ -1 -. -. -1
% 3.08/3.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 216| -. -1 -1 -.
% 3.10/3.25 (SAT)(equ)(fun)(SAT) 216| -. -.
% 3.10/3.27 (SAT)(equ)(fun)(SAT) 216+ -1 -. -. -1
% 3.10/3.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 218| -. -1 -1 -.
% 3.18/3.32 (SAT)(equ)(fun)(SAT) 218| -. -.
% 3.18/3.35 (SAT)(equ)(fun)(SAT) 218+ -1 -. -. -1
% 3.18/3.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 220| -. -1 -1 -.
% 3.25/3.39 (SAT)(equ)(fun)(SAT) 220| -. -.
% 3.25/3.42 (SAT)(equ)(fun)(SAT) 220+ -1 -. -. -1
% 3.25/3.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 222| -. -1 -1 -.
% 3.33/3.47 (SAT)(equ)(fun)(SAT) 222| -. -.
% 3.34/3.50 (SAT)(equ)(fun)(SAT) 222+ -1 -. -. -1
% 3.37/3.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 224| -. -1 -1 -.
% 3.38/3.55 (SAT)(equ)(fun)(SAT) 224| -. -.
% 3.38/3.58 (SAT)(equ)(fun)(SAT) 224+ -1 -. -. -1
% 3.38/3.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 226| -. -1 -1 -.
% 3.47/3.62 (SAT)(equ)(fun)(SAT) 226| -. -.
% 3.47/3.65 (SAT)(equ)(fun)(SAT) 226+ -1 -. -. -1
% 3.47/3.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 228| -. -1 -1 -.
% 3.55/3.70 (SAT)(equ)(fun)(SAT) 228| -. -.
% 3.55/3.73 (SAT)(equ)(fun)(SAT) 228+ -1 -. -. -1
% 3.55/3.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 230| -. -1 -1 -.
% 3.64/3.79 (SAT)(equ)(fun)(SAT) 230| -. -.
% 3.64/3.82 (SAT)(equ)(fun)(SAT) 230+ -1 -. -. -1
% 3.70/3.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 232| -. -1 -1 -.
% 3.70/3.87 (SAT)(equ)(fun)(SAT) 232| -. -.
% 3.70/3.90 (SAT)(equ)(fun)(SAT) 232+ -1 -. -. -1
% 3.70/3.92 (SAT)(equ)(SAT)(equ)(fun)(SAT) 234| -. -1 -1 -.
% 3.79/3.95 (SAT)(equ)(fun)(SAT) 234| -. -.
% 3.79/3.98 (SAT)(equ)(fun)(SAT) 234+ -1 -. -. -1
% 3.85/4.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 236| -. -1 -1 -.
% 3.85/4.04 (SAT)(equ)(fun)(SAT) 236| -. -.
% 3.92/4.07 (SAT)(equ)(fun)(SAT) 236+ -1 -. -. -1
% 3.92/4.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 238| -. -1 -1 -.
% 3.96/4.13 (SAT)(equ)(fun)(SAT) 238| -. -.
% 3.99/4.16 (SAT)(equ)(fun)(SAT) 238+ -1 -. -. -1
% 3.99/4.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 240| -. -1 -1 -.
% 3.99/4.22 (SAT)(equ)(fun)(SAT) 240| -. -.
% 4.08/4.25 (SAT)(equ)(fun)(SAT) 240+ -1 -. -. -1
% 4.08/4.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 242| -. -1 -1 -.
% 4.14/4.31 (SAT)(equ)(fun)(SAT) 242| -. -.
% 4.14/4.34 (SAT)(equ)(fun)(SAT) 242+ -1 -. -. -1
% 4.22/4.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 244| -. -1 -1 -.
% 4.24/4.40 (SAT)(equ)(fun)(SAT) 244| -. -.
% 4.28/4.44 (SAT)(equ)(fun)(SAT) 244+ -1 -. -. -1
% 4.32/4.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 246| -. -1 -1 -.
% 4.32/4.50 (SAT)(equ)(fun)(SAT) 246| -. -.
% 4.39/4.53 (SAT)(equ)(fun)(SAT) 246+ -1 -. -. -1
% 4.39/4.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 248| -. -1 -1 -.
% 4.44/4.59 (SAT)(equ)(fun)(SAT) 248| -. -.
% 4.44/4.63 (SAT)(equ)(fun)(SAT) 248+ -1 -. -. -1
% 4.50/4.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 250| -. -1 -1 -.
% 4.52/4.69 (SAT)(equ)(fun)(SAT) 250| -. -.
% 4.58/4.73 (SAT)(equ)(fun)(SAT) 250+ -1 -. -. -1
% 4.61/4.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 252| -. -1 -1 -.
% 4.61/4.79 (SAT)(equ)(fun)(SAT) 252| -. -.
% 4.61/4.83 (SAT)(equ)(fun)(SAT) 252+ -1 -. -. -1
% 4.69/4.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 254| -. -1 -1 -.
% 4.73/4.89 (SAT)(equ)(fun)(SAT) 254| -. -.
% 4.73/4.93 (SAT)(equ)(fun)(SAT) 254+ -1 -. -. -1
% 4.81/4.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 256| -. -1 -1 -.
% 4.84/4.99 (SAT)(equ)(fun)(SAT) 256| -. -.
% 4.84/5.03 (SAT)(equ)(fun)(SAT) 256+ -1 -. -. -1
% 4.91/5.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 258| -. -1 -1 -.
% 4.91/5.10 (SAT)(equ)(fun)(SAT) 258| -. -.
% 4.98/5.13 (SAT)(equ)(fun)(SAT) 258+ -1 -. -. -1
% 5.02/5.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 260| -. -1 -1 -.
% 5.02/5.20 (SAT)(equ)(fun)(SAT) 260| -. -.
% 5.10/5.24 (SAT)(equ)(fun)(SAT) 260+ -1 -. -. -1
% 5.10/5.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 262| -. -1 -1 -.
% 5.14/5.31 (SAT)(equ)(fun)(SAT) 262| -. -.
% 5.19/5.35 (SAT)(equ)(fun)(SAT) 262+ -1 -. -. -1
% 5.21/5.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 264| -. -1 -1 -.
% 5.27/5.42 (SAT)(equ)(fun)(SAT) 264| -. -.
% 5.27/5.46 (SAT)(equ)(fun)(SAT) 264+ -1 -. -. -1
% 5.34/5.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 266| -. -1 -1 -.
% 5.34/5.53 (SAT)(equ)(fun)(SAT) 266| -. -.
% 5.42/5.57 (SAT)(equ)(fun)(SAT) 266+ -1 -. -. -1
% 5.46/5.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 268| -. -1 -1 -.
% 5.50/5.65 (SAT)(equ)(fun)(SAT) 268| -. -.
% 5.50/5.69 (SAT)(equ)(fun)(SAT) 268+ -1 -. -. -1
% 5.56/5.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 270| -. -1 -1 -.
% 5.62/5.76 (SAT)(equ)(fun)(SAT) 270| -. -.
% 5.62/5.80 (SAT)(equ)(fun)(SAT) 270+ -1 -. -. -1
% 5.62/5.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 272| -. -1 -1 -.
% 5.72/5.88 (SAT)(equ)(fun)(SAT) 272| -. -.
% 5.76/5.92 (SAT)(equ)(fun)(SAT) 272+ -1 -. -. -1
% 5.80/5.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 274| -. -1 -1 -.
% 5.80/6.00 (SAT)(equ)(fun)(SAT) 274| -. -.
% 5.88/6.04 (SAT)(equ)(fun)(SAT) 274+ -1 -. -. -1
% 5.94/6.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 276| -. -1 -1 -.
% 5.94/6.12 (SAT)(equ)(fun)(SAT) 276| -. -.
% 5.94/6.16 (SAT)(equ)(fun)(SAT) 276+ -1 -. -. -1
% 6.06/6.20 (SAT)(equ)(SAT)(equ)(fun)(SAT) 278| -. -1 -1 -.
% 6.09/6.24 (SAT)(equ)(fun)(SAT) 278| -. -.
% 6.09/6.29 (SAT)(equ)(fun)(SAT) 278+ -1 -. -. -1
% 6.16/6.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 280| -. -1 -1 -.
% 6.16/6.37 (SAT)(equ)(fun)(SAT) 280| -. -.
% 6.24/6.41 (SAT)(equ)(fun)(SAT) 280+ -1 -. -. -1
% 6.24/6.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 282| -. -1 -1 -.
% 6.33/6.49 (SAT)(equ)(fun)(SAT) 282| -. -.
% 6.40/6.54 (SAT)(equ)(fun)(SAT) 282+ -1 -. -. -1
% 6.40/6.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 284| -. -1 -1 -.
% 6.48/6.62 (SAT)(equ)(fun)(SAT) 284| -. -.
% 6.48/6.67 (SAT)(equ)(fun)(SAT) 284+ -1 -. -. -1
% 6.55/6.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 286| -. -1 -1 -.
% 6.55/6.75 (SAT)(equ)(fun)(SAT) 286| -. -.
% 6.64/6.80 (SAT)(equ)(fun)(SAT) 286+ -1 -. -. -1
% 6.68/6.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 288| -. -1 -1 -.
% 6.68/6.88 (SAT)(equ)(fun)(SAT) 288| -. -.
% 6.77/6.93 (SAT)(equ)(fun)(SAT) 288+ -1 -. -. -1
% 6.77/6.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 290| -. -1 -1 -.
% 6.85/7.02 (SAT)(equ)(fun)(SAT) 290| -. -.
% 6.85/7.07 (SAT)(equ)(fun)(SAT) 290+ -1 -. -. -1
% 6.94/7.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 292| -. -1 -1 -.
% 7.00/7.16 (SAT)(equ)(fun)(SAT) 292| -. -.
% 7.00/7.21 (SAT)(equ)(fun)(SAT) 292+ -1 -. -. -1
% 7.10/7.25 (SAT)(equ)(SAT)(equ)(fun)(SAT) 294| -. -1 -1 -.
% 7.16/7.30 (SAT)(equ)(fun)(SAT) 294| -. -.
% 7.16/7.35 (SAT)(equ)(fun)(SAT) 294+ -1 -. -. -1
% 7.23/7.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 296| -. -1 -1 -.
% 7.31/7.44 (SAT)(equ)(fun)(SAT) 296| -. -.
% 7.31/7.49 (SAT)(equ)(fun)(SAT) 296+ -1 -. -. -1
% 7.40/7.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 298| -. -1 -1 -.
% 7.40/7.58 (SAT)(equ)(fun)(SAT) 298| -. -.
% 7.46/7.64 (SAT)(equ)(fun)(SAT) 298+ -1 -. -. -1
% 7.55/7.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 300| -. -1 -1 -.
% 7.59/7.73 (SAT)(equ)(fun)(SAT) 300| -. -.
% 7.62/7.78 (SAT)(equ)(fun)(SAT) 300+ -1 -. -. -1
% 7.62/7.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 302| -. -1 -1 -.
% 7.74/7.88 (SAT)(equ)(fun)(SAT) 302| -. -.
% 7.74/7.93 (SAT)(equ)(fun)(SAT) 302+ -1 -. -. -1
% 7.83/7.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 304| -. -1 -1 -.
% 7.88/8.03 (SAT)(equ)(fun)(SAT) 304| -. -.
% 7.92/8.08 (SAT)(equ)(fun)(SAT) 304+ -1 -. -. -1
% 7.99/8.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 306| -. -1 -1 -.
% 8.04/8.18 (SAT)(equ)(fun)(SAT) 306| -. -.
% 8.04/8.24 (SAT)(equ)(fun)(SAT) 306+ -1 -. -. -1
% 8.14/8.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 308| -. -1 -1 -.
% 8.20/8.34 (SAT)(equ)(fun)(SAT) 308| -. -.
% 8.22/8.39 (SAT)(equ)(fun)(SAT) 308+ -1 -. -. -1
% 8.28/8.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 310| -. -1 -1 -.
% 8.32/8.49 (SAT)(equ)(fun)(SAT) 310| -. -.
% 8.40/8.55 (SAT)(equ)(fun)(SAT) 310+ -1 -. -. -1
% 8.45/8.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 312| -. -1 -1 -.
% 8.52/8.65 (SAT)(equ)(fun)(SAT) 312| -. -.
% 8.58/8.72 (SAT)(equ)(fun)(SAT) 312+ -1 -. -. -1
% 8.58/8.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 314| -. -1 -1 -.
% 8.64/8.82 (SAT)(equ)(fun)(SAT) 314| -. -.
% 8.72/8.88 (SAT)(equ)(fun)(SAT) 314+ -1 -. -. -1
% 8.76/8.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 316| -. -1 -1 -.
% 8.80/8.99 (SAT)(equ)(fun)(SAT) 316| -. -.
% 8.86/9.05 (SAT)(equ)(fun)(SAT) 316+ -1 -. -. -1
% 8.92/9.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 318| -. -1 -1 -.
% 8.92/9.15 (SAT)(equ)(fun)(SAT) 318| -. -.
% 9.06/9.22 (SAT)(equ)(fun)(SAT) 318+ -1 -. -. -1
% 9.10/9.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 320| -. -1 -1 -.
% 9.18/9.32 (SAT)(equ)(fun)(SAT) 320| -. -.
% 9.24/9.39 (SAT)(equ)(fun)(SAT) 320+ -1 -. -. -1
% 9.24/9.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 322| -. -1 -1 -.
% 9.34/9.49 (SAT)(equ)(fun)(SAT) 322| -. -.
% 9.38/9.56 (SAT)(equ)(fun)(SAT) 322+ -1 -. -. -1
% 9.46/9.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 324| -. -1 -1 -.
% 9.46/9.67 (SAT)(equ)(fun)(SAT) 324| -. -.
% 9.54/9.73 (SAT)(equ)(fun)(SAT) 324+ -1 -. -. -1
% 9.64/9.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 326| -. -1 -1 -.
% 9.71/9.84 (SAT)(equ)(fun)(SAT) 326| -. -.
% 9.71/9.91 (SAT)(equ)(fun)(SAT) 326+ -1 -. -. -1
% 9.78/9.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 328| -. -1 -1 -.
% 9.86/10.02 (SAT)(equ)(fun)(SAT) 328| -. -.
% 9.95/10.09 (SAT)(equ)(fun)(SAT) 328+ -1 -. -. -1
% 9.99/10.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 330| -. -1 -1 -.
% 9.99/10.21 (SAT)(equ)(fun)(SAT) 330| -. -.
% 10.08/10.28 (SAT)(equ)(fun)(SAT) 330+ -1 -. -. -1
% 10.16/10.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 332| -. -1 -1 -.
% 10.25/10.39 (SAT)(equ)(fun)(SAT) 332| -. -.
% 10.31/10.46 (SAT)(equ)(fun)(SAT) 332+ -1 -. -. -1
% 10.31/10.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 334| -. -1 -1 -.
% 10.40/10.58 (SAT)(equ)(fun)(SAT) 334| -. -.
% 10.46/10.65 (SAT)(equ)(fun)(SAT) 334+ -1 -. -. -1
% 10.57/10.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 336| -. -1 -1 -.
% 10.60/10.77 (SAT)(equ)(fun)(SAT) 336| -. -.
% 10.70/10.84 (SAT)(equ)(fun)(SAT) 336+ -1 -. -. -1
% 10.76/10.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 338| -. -1 -1 -.
% 10.82/10.96 (SAT)(equ)(fun)(SAT) 338| -. -.
% 10.89/11.03 (SAT)(equ)(fun)(SAT) 338+ -1 -. -. -1
% 10.92/11.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 340| -. -1 -1 -.
% 11.00/11.16 (SAT)(equ)(fun)(SAT) 340| -. -.
% 11.05/11.23 (SAT)(equ)(fun)(SAT) 340+ -1 -. -. -1
% 11.14/11.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 342| -. -1 -1 -.
% 11.23/11.36 (SAT)(equ)(fun)(SAT) 342| -. -.
% 11.30/11.43 (SAT)(equ)(fun)(SAT) 342+ -1 -. -. -1
% 11.35/11.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 344| -. -1 -1 -.
% 11.43/11.56 (SAT)(equ)(fun)(SAT) 344| -. -.
% 11.46/11.63 (SAT)(equ)(fun)(SAT) 344+ -1 -. -. -1
% 11.53/11.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 346| -. -1 -1 -.
% 11.63/11.76 (SAT)(equ)(fun)(SAT) 346| -. -.
% 11.63/11.84 (SAT)(equ)(fun)(SAT) 346+ -1 -. -. -1
% 11.75/11.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 348| -. -1 -1 -.
% 11.83/11.97 (SAT)(equ)(fun)(SAT) 348| -. -.
% 11.89/12.04 (SAT)(equ)(fun)(SAT) 348+ -1 -. -. -1
% 11.95/12.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 350| -. -1 -1 -.
% 12.03/12.18 (SAT)(equ)(fun)(SAT) 350| -. -.
% 12.11/12.26 (SAT)(equ)(fun)(SAT) 350+ -1 -. -. -1
% 12.11/12.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 352| -. -1 -1 -.
% 12.21/12.39 (SAT)(equ)(fun)(SAT) 352| -. -.
% 12.33/12.47 (SAT)(equ)(fun)(SAT) 352+ -1 -. -. -1
% 12.33/12.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 354| -. -1 -1 -.
% 12.47/12.60 (SAT)(equ)(fun)(SAT) 354| -. -.
% 12.51/12.68 (SAT)(equ)(fun)(SAT) 354+ -1 -. -. -1
% 12.61/12.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 356| -. -1 -1 -.
% 12.68/12.82 (SAT)(equ)(fun)(SAT) 356| -. -.
% 12.74/12.90 (SAT)(equ)(fun)(SAT) 356+ -1 -. -. -1
% 12.74/12.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 358| -. -1 -1 -.
% 12.89/13.04 (SAT)(equ)(fun)(SAT) 358| -. -.
% 12.99/13.12 (SAT)(equ)(fun)(SAT) 358+ -1 -. -. -1
% 12.99/13.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 360| -. -1 -1 -.
% 13.07/13.26 (SAT)(equ)(fun)(SAT) 360| -. -.
% 13.14/13.35 (SAT)(equ)(fun)(SAT) 360+ -1 -. -. -1
% 13.26/13.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 362| -. -1 -1 -.
% 13.29/13.49 (SAT)(equ)(fun)(SAT) 362| -. -.
% 13.41/13.58 (SAT)(equ)(fun)(SAT) 362+ -1 -. -. -1
% 13.48/13.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 364| -. -1 -1 -.
% 13.56/13.72 (SAT)(equ)(fun)(SAT) 364| -. -.
% 13.67/13.81 (SAT)(equ)(fun)(SAT) 364+ -1 -. -. -1
% 13.69/13.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 366| -. -1 -1 -.
% 13.79/13.95 (SAT)(equ)(fun)(SAT) 366| -. -.
% 13.87/14.04 (SAT)(equ)(fun)(SAT) 366+ -1 -. -. -1
% 13.95/14.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 368| -. -1 -1 -.
% 14.01/14.19 (SAT)(equ)(fun)(SAT) 368| -. -.
% 14.11/14.28 (SAT)(equ)(fun)(SAT) 368+ -1 -. -. -1
% 14.17/14.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 370| -. -1 -1 -.
% 14.28/14.43 (SAT)(equ)(fun)(SAT) 370| -. -.
% 14.31/14.52 (SAT)(equ)(fun)(SAT) 370+ -1 -. -. -1
% 14.41/14.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 372| -. -1 -1 -.
% 14.54/14.67 (SAT)(equ)(fun)(SAT) 372| -. -.
% 14.62/14.77 (SAT)(equ)(fun)(SAT) 372+ -1 -. -. -1
% 14.71/14.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 374| -. -1 -1 -.
% 14.75/14.92 (SAT)(equ)(fun)(SAT) 374| -. -.
% 14.84/15.01 (SAT)(equ)(fun)(SAT) 374+ -1 -. -. -1
% 14.92/15.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 376| -. -1 -1 -.
% 15.00/15.17 (SAT)(equ)(fun)(SAT) 376| -. -.
% 15.13/15.26 (SAT)(equ)(fun)(SAT) 376+ -1 -. -. -1
% 15.20/15.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 378| -. -1 -1 -.
% 15.29/15.42 (SAT)(equ)(fun)(SAT) 378| -. -.
% 15.33/15.51 (SAT)(equ)(fun)(SAT) 378+ -1 -. -. -1
% 15.45/15.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 380| -. -1 -1 -.
% 15.52/15.67 (SAT)(equ)(fun)(SAT) 380| -. -.
% 15.59/15.77 (SAT)(equ)(fun)(SAT) 380+ -1 -. -. -1
% 15.66/15.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 382| -. -1 -1 -.
% 15.80/15.93 (SAT)(equ)(fun)(SAT) 382| -. -.
% 15.90/16.03 (SAT)(equ)(fun)(SAT) 382+ -1 -. -. -1
% 15.96/16.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 384| -. -1 -1 -.
% 16.04/16.19 (SAT)(equ)(fun)(SAT) 384| -. -.
% 16.10/16.30 (SAT)(equ)(fun)(SAT) 384+ -1 -. -. -1
% 16.20/16.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 386| -. -1 -1 -.
% 16.29/16.47 (SAT)(equ)(fun)(SAT) 386| -. -.
% 16.40/16.57 (SAT)(equ)(fun)(SAT) 386+ -1 -. -. -1
% 16.49/16.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 388| -. -1 -1 -.
% 16.57/16.75 (SAT)(equ)(fun)(SAT) 388| -. -.
% 16.70/16.85 (SAT)(equ)(fun)(SAT) 388+ -1 -. -. -1
% 16.80/16.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 390| -. -1 -1 -.
% 16.89/17.02 (SAT)(equ)(fun)(SAT) 390| -. -.
% 16.98/17.12 (SAT)(equ)(fun)(SAT) 390+ -1 -. -. -1
% 17.08/17.20 (SAT)(equ)(SAT)(equ)(fun)(SAT) 392| -. -1 -1 -.
% 17.09/17.29 (SAT)(equ)(fun)(SAT) 392| -. -.
% 17.27/17.40 (SAT)(equ)(fun)(SAT) 392+ -1 -. -. -1
% 17.27/17.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 394| -. -1 -1 -.
% 17.40/17.57 (SAT)(equ)(fun)(SAT) 394| -. -.
% 17.50/17.68 (SAT)(equ)(fun)(SAT) 394+ -1 -. -. -1
% 17.57/17.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 396| -. -1 -1 -.
% 17.70/17.85 (SAT)(equ)(fun)(SAT) 396| -. -.
% 17.80/17.96 (SAT)(equ)(fun)(SAT) 396+ -1 -. -. -1
% 17.87/18.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 398| -. -1 -1 -.
% 18.01/18.14 (SAT)(equ)(fun)(SAT) 398| -. -.
% 18.10/18.25 (SAT)(equ)(fun)(SAT) 398+ -1 -. -. -1
% 18.16/18.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 400| -. -1 -1 -.
% 18.31/18.44 (SAT)(equ)(fun)(SAT) 400| -. -.
% 18.40/18.55 (SAT)(equ)(fun)(SAT) 400+ -1 -. -. -1
% 18.46/18.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 402| -. -1 -1 -.
% 18.61/18.74 (SAT)(equ)(fun)(SAT) 402| -. -.
% 18.68/18.86 (SAT)(equ)(fun)(SAT) 402+ -1 -. -. -1
% 18.75/18.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 404| -. -1 -1 -.
% 18.92/19.04 (SAT)(equ)(fun)(SAT) 404| -. -.
% 18.98/19.15 (SAT)(equ)(fun)(SAT) 404+ -1 -. -. -1
% 19.06/19.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 406| -. -1 -1 -.
% 19.21/19.34 (SAT)(equ)(fun)(SAT) 406| -. -.
% 19.30/19.45 (SAT)(equ)(fun)(SAT) 406+ -1 -. -. -1
% 19.36/19.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 408| -. -1 -1 -.
% 19.51/19.64 (SAT)(equ)(fun)(SAT) 408| -. -.
% 19.60/19.75 (SAT)(equ)(fun)(SAT) 408+ -1 -. -. -1
% 19.68/19.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 410| -. -1 -1 -.
% 19.79/19.94 (SAT)(equ)(fun)(SAT) 410| -. -.
% 19.88/20.06 (SAT)(equ)(fun)(SAT) 410+ -1 -. -. -1
% 19.97/20.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 412| -. -1 -1 -.
% 20.10/20.25 (SAT)(equ)(fun)(SAT) 412| -. -.
% 20.20/20.37 (SAT)(equ)(fun)(SAT) 412+ -1 -. -. -1
% 20.29/20.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 414| -. -1 -1 -.
% 20.38/20.56 (SAT)(equ)(fun)(SAT) 414| -. -.
% 20.48/20.68 (SAT)(equ)(fun)(SAT) 414+ -1 -. -. -1
% 20.59/20.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 416| -. -1 -1 -.
% 20.68/20.88 (SAT)(equ)(fun)(SAT) 416| -. -.
% 20.87/21.00 (SAT)(equ)(fun)(SAT) 416+ -1 -. -. -1
% 20.90/21.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 418| -. -1 -1 -.
% 21.06/21.20 (SAT)(equ)(fun)(SAT) 418| -. -.
% 21.20/21.32 (SAT)(equ)(fun)(SAT) 418+ -1 -. -. -1
% 21.28/21.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 420| -. -1 -1 -.
% 21.36/21.52 (SAT)(equ)(fun)(SAT) 420| -. -.
% 21.52/21.64 (SAT)(equ)(fun)(SAT) 420+ -1 -. -. -1
% 21.60/21.74 (SAT)(equ)(SAT)(equ)(fun)(SAT) 422| -. -1 -1 -.
% 21.66/21.85 (SAT)(equ)(fun)(SAT) 422| -. -.
% 21.82/21.97 (SAT)(equ)(fun)(SAT) 422+ -1 -. -. -1
% 21.90/22.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 424| -. -1 -1 -.
% 22.05/22.18 (SAT)(equ)(fun)(SAT) 424| -. -.
% 22.18/22.30 (SAT)(equ)(fun)(SAT) 424+ -1 -. -. -1
% 22.24/22.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 426| -. -1 -1 -.
% 22.37/22.52 (SAT)(equ)(fun)(SAT) 426| -. -.
% 22.49/22.64 (SAT)(equ)(fun)(SAT) 426+ -1 -. -. -1
% 22.57/22.74 (SAT)(equ)(SAT)(equ)(fun)(SAT) 428| -. -1 -1 -.
% 22.71/22.85 (SAT)(equ)(fun)(SAT) 428| -. -.
% 22.80/22.98 (SAT)(equ)(fun)(SAT) 428+ -1 -. -. -1
% 22.96/23.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 430| -. -1 -1 -.
% 23.01/23.20 (SAT)(equ)(fun)(SAT) 430| -. -.
% 23.19/23.33 (SAT)(equ)(fun)(SAT) 430+ -1 -. -. -1
% 23.29/23.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 432| -. -1 -1 -.
% 23.38/23.55 (SAT)(equ)(fun)(SAT) 432| -. -.
% 23.47/23.68 (SAT)(equ)(fun)(SAT) 432+ -1 -. -. -1
% 23.59/23.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 434| -. -1 -1 -.
% 23.71/23.90 (SAT)(equ)(fun)(SAT) 434| -. -.
% 23.89/24.03 (SAT)(equ)(fun)(SAT) 434+ -1 -. -. -1
% 23.98/24.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 436| -. -1 -1 -.
% 24.09/24.25 (SAT)(equ)(fun)(SAT) 436| -. -.
% 24.19/24.39 (SAT)(equ)(fun)(SAT) 436+ -1 -. -. -1
% 24.38/24.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 438| -. -1 -1 -.
% 24.48/24.61 (SAT)(equ)(fun)(SAT) 438| -. -.
% 24.56/24.75 (SAT)(equ)(fun)(SAT) 438+ -1 -. -. -1
% 24.70/24.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 440| -. -1 -1 -.
% 24.86/24.98 (SAT)(equ)(fun)(SAT) 440| -. -.
% 24.99/25.11 (SAT)(equ)(fun)(SAT) 440+ -1 -. -. -1
% 25.10/25.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 442| -. -1 -1 -.
% 25.16/25.35 (SAT)(equ)(fun)(SAT) 442| -. -.
% 25.32/25.48 (SAT)(equ)(fun)(SAT) 442+ -1 -. -. -1
% 25.46/25.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 444| -. -1 -1 -.
% 25.57/25.72 (SAT)(equ)(fun)(SAT) 444| -. -.
% 25.75/25.87 (SAT)(equ)(fun)(SAT) 444+ -1 -. -. -1
% 25.85/25.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 446| -. -1 -1 -.
% 25.99/26.11 (SAT)(equ)(fun)(SAT) 446| -. -.
% 26.07/26.26 (SAT)(equ)(fun)(SAT) 446+ -1 -. -. -1
% 26.22/26.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 448| -. -1 -1 -.
% 26.38/26.51 (SAT)(equ)(fun)(SAT) 448| -. -.
% 26.52/26.65 (SAT)(equ)(fun)(SAT) 448+ -1 -. -. -1
% 26.61/26.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 450| -. -1 -1 -.
% 26.78/26.90 (SAT)(equ)(fun)(SAT) 450| -. -.
% 26.89/27.05 (SAT)(equ)(fun)(SAT) 450+ -1 -. -. -1
% 26.97/27.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 452| -. -1 -1 -.
% 27.10/27.31 (SAT)(equ)(fun)(SAT) 452| -. -.
% 27.29/27.46 (SAT)(equ)(fun)(SAT) 452+ -1 -. -. -1
% 27.38/27.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 454| -. -1 -1 -.
% 27.59/27.72 (SAT)(equ)(fun)(SAT) 454| -. -.
% 27.68/27.87 (SAT)(equ)(fun)(SAT) 454+ -1 -. -. -1
% 27.88/27.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 456| -. -1 -1 -.
% 27.98/28.13 (SAT)(equ)(fun)(SAT) 456| -. -.
% 28.17/28.28 (SAT)(equ)(fun)(SAT) 456+ -1 -. -. -1
% 28.29/28.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 458| -. -1 -1 -.
% 28.37/28.54 (SAT)(equ)(fun)(SAT) 458| -. -.
% 28.53/28.69 (SAT)(equ)(fun)(SAT) 458+ -1 -. -. -1
% 28.67/28.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 460| -. -1 -1 -.
% 28.83/28.94 (SAT)(equ)(fun)(SAT) 460| -. -.
% 28.97/29.10 (SAT)(equ)(fun)(SAT) 460+ -1 -. -. -1
% 29.08/29.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 462| -. -1 -1 -.
% 29.19/29.36 (SAT)(equ)(fun)(SAT) 462| -. -.
% 29.38/29.52 (SAT)(equ)(fun)(SAT) 462+ -1 -. -. -1
% 29.49/29.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 464| -. -1 -1 -.
% 29.67/29.79 (SAT)(equ)(fun)(SAT) 464| -. -.
% 29.81/29.96 (SAT)(equ)(fun)(SAT) 464+ -1 -. -. -1
% 29.97/30.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 466| -. -1 -1 -.
% 30.11/30.25 (SAT)(equ)(fun)(SAT) 466| -. -.
% 30.30/30.42 (SAT)(equ)(fun)(SAT) 466+ -1 -. -. -1
% 30.39/30.55 (SAT)(equ)(SAT)(equ)(fun)(SAT) 468| -. -1 -1 -.
% 30.58/30.69 (SAT)(equ)(fun)(SAT) 468| -. -.
% 30.71/30.86 (SAT)(equ)(fun)(SAT) 468+ -1 -. -. -1
% 30.79/30.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 470| -. -1 -1 -.
% 30.98/31.12 (SAT)(equ)(fun)(SAT) 470| -. -.
% 31.09/31.28 (SAT)(equ)(fun)(SAT) 470+ -1 -. -. -1
% 31.28/31.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 472| -. -1 -1 -.
% 31.41/31.56 (SAT)(equ)(fun)(SAT) 472| -. -.
% 31.57/31.72 (SAT)(equ)(fun)(SAT) 472+ -1 -. -. -1
% 31.71/31.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 474| -. -1 -1 -.
% 31.87/32.00 (SAT)(equ)(fun)(SAT) 474| -. -.
% 32.02/32.16 (SAT)(equ)(fun)(SAT) 474+ -1 -. -. -1
% 32.17/32.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 476| -. -1 -1 -.
% 32.32/32.44 (SAT)(equ)(fun)(SAT) 476| -. -.
% 32.48/32.61 (SAT)(equ)(fun)(SAT) 476+ -1 -. -. -1
% 32.63/32.74 (SAT)(equ)(SAT)(equ)(fun)(SAT) 478| -. -1 -1 -.
% 32.76/32.89 (SAT)(equ)(fun)(SAT) 478| -. -.
% 32.93/33.06 (SAT)(equ)(fun)(SAT) 478+ -1 -. -. -1
% 33.08/33.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 480| -. -1 -1 -.
% 33.23/33.34 (SAT)(equ)(fun)(SAT) 480| -. -.
% 33.38/33.52 (SAT)(equ)(fun)(SAT) 480+ -1 -. -. -1
% 33.52/33.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 482| -. -1 -1 -.
% 33.70/33.80 (SAT)(equ)(fun)(SAT) 482| -. -.
% 33.81/33.98 (SAT)(equ)(fun)(SAT) 482+ -1 -. -. -1
% 33.98/34.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 484| -. -1 -1 -.
% 34.11/34.27 (SAT)(equ)(fun)(SAT) 484| -. -.
% 34.30/34.44 (SAT)(equ)(fun)(SAT) 484+ -1 -. -. -1
% 34.39/34.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 486| -. -1 -1 -.
% 34.60/34.73 (SAT)(equ)(fun)(SAT) 486| -. -.
% 34.79/34.91 (SAT)(equ)(fun)(SAT) 486+ -1 -. -. -1
% 34.91/35.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 488| -. -1 -1 -.
% 35.07/35.21 (SAT)(equ)(fun)(SAT) 488| -. -.
% 35.21/35.38 (SAT)(equ)(fun)(SAT) 488+ -1 -. -. -1
% 35.38/35.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 490| -. -1 -1 -.
% 35.53/35.68 (SAT)(equ)(fun)(SAT) 490| -. -.
% 35.77/35.88 (SAT)(equ)(fun)(SAT) 490+ -1 -. -. -1
% 35.91/36.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 492| -. -1 -1 -.
% 36.09/36.20 (SAT)(equ)(fun)(SAT) 492| -. -.
% 36.26/36.38 (SAT)(equ)(fun)(SAT) 492+ -1 -. -. -1
% 36.39/36.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 494| -. -1 -1 -.
% 36.57/36.69 (SAT)(equ)(fun)(SAT) 494| -. -.
% 36.72/36.87 (SAT)(equ)(fun)(SAT) 494+ -1 -. -. -1
% 36.87/37.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 496| -. -1 -1 -.
% 37.02/37.18 (SAT)(equ)(fun)(SAT) 496| -. -.
% 37.19/37.36 (SAT)(equ)(fun)(SAT) 496+ -1 -. -. -1
% 37.39/37.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 498| -. -1 -1 -.
% 37.47/37.67 (SAT)(equ)(fun)(SAT) 498| -. -.
% 37.70/37.86 (SAT)(equ)(fun)(SAT) 498+ -1 -. -. -1
% 37.90/38.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 500| -. -1 -1 -.
% 37.99/38.17 (SAT)(equ)(fun)(SAT) 500| -. -.
% 38.20/38.36 (SAT)(equ)(fun)(SAT) 500+ -1 -. -. -1
% 38.39/38.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 502| -. -1 -1 -.
% 38.58/38.68 (SAT)(equ)(fun)(SAT) 502| -. -.
% 38.71/38.87 (SAT)(equ)(fun)(SAT) 502+ -1 -. -. -1
% 38.87/39.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 504| -. -1 -1 -.
% 39.03/39.19 (SAT)(equ)(fun)(SAT) 504| -. -.
% 39.27/39.38 (SAT)(equ)(fun)(SAT) 504+ -1 -. -. -1
% 39.41/39.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 506| -. -1 -1 -.
% 39.59/39.71 (SAT)(equ)(fun)(SAT) 506| -. -.
% 39.76/39.90 (SAT)(equ)(fun)(SAT) 506+ -1 -. -. -1
% 39.92/40.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 508| -. -1 -1 -.
% 40.07/40.23 (SAT)(equ)(fun)(SAT) 508| -. -.
% 40.31/40.42 (SAT)(equ)(fun)(SAT) 508+ -1 -. -. -1
% 40.46/40.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 510| -. -1 -1 -.
% 40.61/40.75 (SAT)(equ)(fun)(SAT) 510| -. -.
% 40.81/40.95 (SAT)(equ)(fun)(SAT) 510+ -1 -. -. -1
% 40.98/41.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 512| -. -1 -1 -.
% 41.11/41.29 (SAT)(equ)(fun)(SAT) 512| -. -.
% 41.29/41.48 (SAT)(equ)(fun)(SAT) 512+ -1 -. -. -1
% 41.50/41.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 514| -. -1 -1 -.
% 41.70/41.83 (SAT)(equ)(fun)(SAT) 514| -. -.
% 41.92/42.03 (SAT)(equ)(fun)(SAT) 514+ -1 -. -. -1
% 42.08/42.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 516| -. -1 -1 -.
% 42.22/42.37 (SAT)(equ)(fun)(SAT) 516| -. -.
% 42.38/42.57 (SAT)(equ)(fun)(SAT) 516+ -1 -. -. -1
% 42.62/42.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 518| -. -1 -1 -.
% 42.81/42.92 (SAT)(equ)(fun)(SAT) 518| -. -.
% 42.98/43.12 (SAT)(equ)(fun)(SAT) 518+ -1 -. -. -1
% 43.13/43.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 520| -. -1 -1 -.
% 43.36/43.47 (SAT)(equ)(fun)(SAT) 520| -. -.
% 43.50/43.68 (SAT)(equ)(fun)(SAT) 520+ -1 -. -. -1
% 43.73/43.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 522| -. -1 -1 -.
% 43.88/44.03 (SAT)(equ)(fun)(SAT) 522| -. -.
% 44.11/44.24 (SAT)(equ)(fun)(SAT) 522+ -1 -. -. -1
% 44.31/44.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 524| -. -1 -1 -.
% 44.48/44.61 (SAT)(equ)(fun)(SAT) 524| -. -.
% 44.71/44.83 (SAT)(equ)(fun)(SAT) 524+ -1 -. -. -1
% 44.90/45.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 526| -. -1 -1 -.
% 45.10/45.23 (SAT)(equ)(fun)(SAT) 526| -. -.
% 45.30/45.48 (SAT)(equ)(fun)(SAT) 526+ -1 -. -. -1
% 45.50/45.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 528| -. -1 -1 -.
% 45.71/45.86 (SAT)(equ)(fun)(SAT) 528| -. -.
% 45.87/46.08 (SAT)(equ)(fun)(SAT) 528+ -1 -. -. -1
% 46.12/46.25 (SAT)(equ)(SAT)(equ)(fun)(SAT) 530| -. -1 -1 -.
% 46.34/46.45 (SAT)(equ)(fun)(SAT) 530| -. -.
% 46.48/46.67 (SAT)(equ)(fun)(SAT) 530+ -1 -. -. -1
% 46.70/46.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 532| -. -1 -1 -.
% 46.94/47.04 (SAT)(equ)(fun)(SAT) 532| -. -.
% 47.08/47.26 (SAT)(equ)(fun)(SAT) 532+ -1 -. -. -1
% 47.32/47.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 534| -. -1 -1 -.
% 47.53/47.63 (SAT)(equ)(fun)(SAT) 534| -. -.
% 47.70/47.85 (SAT)(equ)(fun)(SAT) 534+ -1 -. -. -1
% 47.90/48.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 536| -. -1 -1 -.
% 48.12/48.23 (SAT)(equ)(fun)(SAT) 536| -. -.
% 48.30/48.45 (SAT)(equ)(fun)(SAT) 536+ -1 -. -. -1
% 48.50/48.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 538| -. -1 -1 -.
% 48.70/48.83 (SAT)(equ)(fun)(SAT) 538| -. -.
% 48.92/49.06 (SAT)(equ)(fun)(SAT) 538+ -1 -. -. -1
% 49.13/49.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 540| -. -1 -1 -.
% 49.31/49.44 (SAT)(equ)(fun)(SAT) 540| -. -.
% 49.54/49.67 (SAT)(equ)(fun)(SAT) 540+ -1 -. -. -1
% 49.69/49.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 542| -. -1 -1 -.
% 49.92/50.06 (SAT)(equ)(fun)(SAT) 542| -. -.
% 50.14/50.29 (SAT)(equ)(fun)(SAT) 542+ -1 -. -. -1
% 50.37/50.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 544| -. -1 -1 -.
% 50.58/50.68 (SAT)(equ)(fun)(SAT) 544| -. -.
% 50.74/50.91 (SAT)(equ)(fun)(SAT) 544+ -1 -. -. -1
% 50.98/51.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 546| -. -1 -1 -.
% 51.20/51.31 (SAT)(equ)(fun)(SAT) 546| -. -.
% 51.41/51.54 (SAT)(equ)(fun)(SAT) 546+ -1 -. -. -1
% 51.62/51.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 548| -. -1 -1 -.
% 51.80/51.95 (SAT)(equ)(fun)(SAT) 548| -. -.
% 52.00/52.18 (SAT)(equ)(fun)(SAT) 548+ -1 -. -. -1
% 52.21/52.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 550| -. -1 -1 -.
% 52.41/52.58 (SAT)(equ)(fun)(SAT) 550| -. -.
% 52.71/52.82 (SAT)(equ)(fun)(SAT) 550+ -1 -. -. -1
% 52.91/53.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 552| -. -1 -1 -.
% 53.11/53.23 (SAT)(equ)(fun)(SAT) 552| -. -.
% 53.34/53.47 (SAT)(equ)(fun)(SAT) 552+ -1 -. -. -1
% 53.57/53.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 554| -. -1 -1 -.
% 53.79/53.88 (SAT)(equ)(fun)(SAT) 554| -. -.
% 54.01/54.13 (SAT)(equ)(fun)(SAT) 554+ -1 -. -. -1
% 54.20/54.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 556| -. -1 -1 -.
% 54.39/54.55 (SAT)(equ)(fun)(SAT) 556| -. -.
% 54.69/54.79 (SAT)(equ)(fun)(SAT) 556+ -1 -. -. -1
% 54.84/54.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 558| -. -1 -1 -.
% 55.10/55.21 (SAT)(equ)(fun)(SAT) 558| -. -.
% 55.29/55.46 (SAT)(equ)(fun)(SAT) 558+ -1 -. -. -1
% 55.53/55.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 560| -. -1 -1 -.
% 55.72/55.88 (SAT)(equ)(fun)(SAT) 560| -. -.
% 56.01/56.13 (SAT)(equ)(fun)(SAT) 560+ -1 -. -. -1
% 56.23/56.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 562| -. -1 -1 -.
% 56.39/56.56 (SAT)(equ)(fun)(SAT) 562| -. -.
% 56.69/56.82 (SAT)(equ)(fun)(SAT) 562+ -1 -. -. -1
% 56.93/57.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 564| -. -1 -1 -.
% 57.15/57.25 (SAT)(equ)(fun)(SAT) 564| -. -.
% 57.41/57.51 (SAT)(equ)(fun)(SAT) 564+ -1 -. -. -1
% 57.58/57.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 566| -. -1 -1 -.
% 57.82/57.95 (SAT)(equ)(fun)(SAT) 566| -. -.
% 58.05/58.20 (SAT)(equ)(fun)(SAT) 566+ -1 -. -. -1
% 58.30/58.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 568| -. -1 -1 -.
% 58.52/58.65 (SAT)(equ)(fun)(SAT) 568| -. -.
% 58.80/58.91 (SAT)(equ)(fun)(SAT) 568+ -1 -. -. -1
% 58.93/59.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 570| -. -1 -1 -.
% 59.22/59.36 (SAT)(equ)(fun)(SAT) 570| -. -.
% 59.52/59.63 (SAT)(equ)(fun)(SAT) 570+ -1 -. -. -1
% 59.71/59.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 572| -. -1 -1 -.
% 60.01/60.11 (SAT)(equ)(fun)(SAT) 572| -. -.
% 60.23/60.39 (SAT)(equ)(fun)(SAT) 572+ -1 -. -. -1
% 60.51/60.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 574| -. -1 -1 -.
% 60.70/60.85 (SAT)(equ)(fun)(SAT) 574| -. -.
% 61.00/61.12 (SAT)(equ)(fun)(SAT) 574+ -1 -. -. -1
% 61.22/61.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 576| -. -1 -1 -.
% 61.45/61.58 (SAT)(equ)(fun)(SAT) 576| -. -.
% 61.75/61.85 (SAT)(equ)(fun)(SAT) 576+ -1 -. -. -1
% 61.99/62.06 (SAT)(equ)(SAT)(equ)(fun)(SAT) 578| -. -1 -1 -.
% 62.22/62.31 (SAT)(equ)(fun)(SAT) 578| -. -.
% 62.51/62.59 (SAT)(equ)(fun)(SAT) 578+ -1 -. -. -1
% 62.64/62.80 (SAT)(equ)(SAT)(equ)(fun)(SAT) 580| -. -1 -1 -.
% 62.92/63.05 (SAT)(equ)(fun)(SAT) 580| -. -.
% 63.22/63.33 (SAT)(equ)(fun)(SAT) 580+ -1 -. -. -1
% 63.44/63.55 (SAT)(equ)(SAT)(equ)(fun)(SAT) 582| -. -1 -1 -.
% 63.64/63.80 (SAT)(equ)(fun)(SAT) 582| -. -.
% 63.96/64.07 (SAT)(equ)(fun)(SAT) 582+ -1 -. -. -1
% 64.20/64.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 584| -. -1 -1 -.
% 64.40/64.55 (SAT)(equ)(fun)(SAT) 584| -. -.
% 64.69/64.83 (SAT)(equ)(fun)(SAT) 584+ -1 -. -. -1
% 64.93/65.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 586| -. -1 -1 -.
% 65.16/65.31 (SAT)(equ)(fun)(SAT) 586| -. -.
% 65.46/65.59 (SAT)(equ)(fun)(SAT) 586+ -1 -. -. -1
% 65.74/65.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 588| -. -1 -1 -.
% 65.91/66.07 (SAT)(equ)(fun)(SAT) 588| -. -.
% 66.23/66.36 (SAT)(equ)(fun)(SAT) 588+ -1 -. -. -1
% 66.42/66.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 590| -. -1 -1 -.
% 66.72/66.84 (SAT)(equ)(fun)(SAT) 590| -. -.
% 67.04/67.13 (SAT)(equ)(fun)(SAT) 590+ -1 -. -. -1
% 67.20/67.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 592| -. -1 -1 -.
% 67.52/67.62 (SAT)(equ)(fun)(SAT) 592| -. -.
% 67.76/67.91 (SAT)(equ)(fun)(SAT) 592+ -1 -. -. -1
% 68.06/68.15 (SAT)(equ)(SAT)(equ)(fun)(SAT) 594| -. -1 -1 -.
% 68.33/68.42 (SAT)(equ)(fun)(SAT) 594| -. -.
% 68.63/68.71 (SAT)(equ)(fun)(SAT) 594+ -1 -. -. -1
% 68.81/68.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 596| -. -1 -1 -.
% 69.11/69.21 (SAT)(equ)(fun)(SAT) 596| -. -.
% 69.43/69.50 (SAT)(equ)(fun)(SAT) 596+ -1 -. -. -1
% 69.63/69.74 (SAT)(equ)(SAT)(equ)(fun)(SAT) 598| -. -1 -1 -.
% 69.94/70.02 (SAT)(equ)(fun)(SAT) 598| -. -.
% 70.23/70.31 (SAT)(equ)(fun)(SAT) 598+ -1 -. -. -1
% 70.43/70.55 (SAT)(equ)(SAT)(equ)(fun)(SAT) 600| -. -1 -1 -.
% 70.73/70.82 (SAT)(equ)(fun)(SAT) 600| -. -.
% 71.05/71.12 (SAT)(equ)(fun)(SAT) 600+ -1 -. -. -1
% 71.25/71.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 602| -. -1 -1 -.
% 71.55/71.64 (SAT)(equ)(fun)(SAT) 602| -. -.
% 71.81/71.94 (SAT)(equ)(fun)(SAT) 602+ -1 -. -. -1
% 72.11/72.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 604| -. -1 -1 -.
% 72.35/72.46 (SAT)(equ)(fun)(SAT) 604| -. -.
% 72.70/72.77 (SAT)(equ)(fun)(SAT) 604+ -1 -. -. -1
% 72.94/73.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 606| -. -1 -1 -.
% 73.17/73.29 (SAT)(equ)(fun)(SAT) 606| -. -.
% 73.47/73.60 (SAT)(equ)(fun)(SAT) 606+ -1 -. -. -1
% 73.75/73.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 608| -. -1 -1 -.
% 74.05/74.13 (SAT)(equ)(fun)(SAT) 608| -. -.
% 74.34/74.46 (SAT)(equ)(fun)(SAT) 608+ -1 -. -. -1
% 74.64/74.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 610| -. -1 -1 -.
% 74.95/75.02 (SAT)(equ)(fun)(SAT) 610| -. -.
% 75.25/75.36 (SAT)(equ)(fun)(SAT) 610+ -1 -. -. -1
% 75.55/75.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 612| -. -1 -1 -.
% 75.82/75.90 (SAT)(equ)(fun)(SAT) 612| -. -.
% 76.14/76.22 (SAT)(equ)(fun)(SAT) 612+ -1 -. -. -1
% 76.40/76.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 614| -. -1 -1 -.
% 76.68/76.77 (SAT)(equ)(fun)(SAT) 614| -. -.
% 76.98/77.09 (SAT)(equ)(fun)(SAT) 614+ -1 -. -. -1
% 77.28/77.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 616| -. -1 -1 -.
% 77.56/77.64 (SAT)(equ)(fun)(SAT) 616| -. -.
% 77.86/77.96 (SAT)(equ)(fun)(SAT) 616+ -1 -. -. -1
% 78.14/78.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 618| -. -1 -1 -.
% 78.44/78.51 (SAT)(equ)(fun)(SAT) 618| -. -.
% 78.76/78.84 (SAT)(equ)(fun)(SAT) 618+ -1 -. -. -1
% 79.02/79.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 620| -. -1 -1 -.
% 79.32/79.39 (SAT)(equ)(fun)(SAT) 620| -. -.
% 79.66/79.72 (SAT)(equ)(fun)(SAT) 620+ -1 -. -. -1
% 79.93/79.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 622| -. -1 -1 -.
% 80.21/80.28 (SAT)(equ)(fun)(SAT) 622| -. -.
% 80.53/80.61 (SAT)(equ)(fun)(SAT) 622+ -1 -. -. -1
% 80.81/80.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 624| -. -1 -1 -.
% 81.13/81.18 (SAT)(equ)(fun)(SAT) 624| -. -.
% 81.45/81.51 (SAT)(equ)(fun)(SAT) 624+ -1 -. -. -1
% 81.66/81.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 626| -. -1 -1 -.
% 81.94/82.08 (SAT)(equ)(fun)(SAT) 626| -. -.
% 82.36/82.42 (SAT)(equ)(fun)(SAT) 626+ -1 -. -. -1
% 82.63/82.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 628| -. -1 -1 -.
% 82.93/83.00 (SAT)(equ)(fun)(SAT) 628| -. -.
% 83.28/83.33 (SAT)(equ)(fun)(SAT) 628+ -1 -. -. -1
% 83.55/83.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 630| -. -1 -1 -.
% 83.85/83.92 (SAT)(equ)(fun)(SAT) 630| -. -.
% 84.19/84.26 (SAT)(equ)(fun)(SAT) 630+ -1 -. -. -1
% 84.49/84.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 632| -. -1 -1 -.
% 84.77/84.85 (SAT)(equ)(fun)(SAT) 632| -. -.
% 85.07/85.19 (SAT)(equ)(fun)(SAT) 632+ -1 -. -. -1
% 85.35/85.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 634| -. -1 -1 -.
% 85.65/85.78 (SAT)(equ)(fun)(SAT) 634| -. -.
% 86.06/86.13 (SAT)(equ)(fun)(SAT) 634+ -1 -. -. -1
% 86.34/86.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 636| -. -1 -1 -.
% 86.64/86.73 (SAT)(equ)(fun)(SAT) 636| -. -.
% 87.02/87.08 (SAT)(equ)(fun)(SAT) 636+ -1 -. -. -1
% 87.24/87.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 638| -. -1 -1 -.
% 87.62/87.68 (SAT)(equ)(fun)(SAT) 638| -. -.
% 87.99/88.03 (SAT)(equ)(fun)(SAT) 638+ -1 -. -. -1
% 88.28/88.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 640| -. -1 -1 -.
% 88.58/88.64 (SAT)(equ)(fun)(SAT) 640| -. -.
% 88.88/89.00 (SAT)(equ)(fun)(SAT) 640+ -1 -. -. -1
% 89.16/89.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 642| -. -1 -1 -.
% 89.57/89.63 (SAT)(equ)(fun)(SAT) 642| -. -.
% 89.94/90.01 (SAT)(equ)(fun)(SAT) 642+ -1 -. -. -1
% 90.26/90.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 644| -. -1 -1 -.
% 90.57/90.67 (SAT)(equ)(fun)(SAT) 644| -. -.
% 90.94/91.03 (SAT)(equ)(fun)(SAT) 644+ -1 -. -. -1
% 91.26/91.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 646| -. -1 -1 -.
% 91.56/91.66 (SAT)(equ)(fun)(SAT) 646| -. -.
% 91.98/92.02 (SAT)(equ)(fun)(SAT) 646+ -1 -. -. -1
% 92.26/92.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 648| -. -1 -1 -.
% 92.58/92.65 (SAT)(equ)(fun)(SAT) 648| -. -.
% 92.96/93.02 (SAT)(equ)(fun)(SAT) 648+ -1 -. -. -1
% 93.16/93.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 650| -. -1 -1 -.
% 93.56/93.65 (SAT)(equ)(fun)(SAT) 650| -. -.
% 93.98/94.02 (SAT)(equ)(fun)(SAT) 650+ -1 -. -. -1
% 94.28/94.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 652| -. -1 -1 -.
% 94.59/94.66 (SAT)(equ)(fun)(SAT) 652| -. -.
% 94.99/95.03 (SAT)(equ)(fun)(SAT) 652+ -1 -. -. -1
% 95.28/95.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 654| -. -1 -1 -.
% 95.58/95.68 (SAT)(equ)(fun)(SAT) 654| -. -.
% 95.96/96.06 (SAT)(equ)(fun)(SAT) 654+ -1 -. -. -1
% 96.28/96.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 656| -. -1 -1 -.
% 96.67/96.71 (SAT)(equ)(fun)(SAT) 656| -. -.
% 96.98/97.09 (SAT)(equ)(fun)(SAT) 656+ -1 -. -. -1
% 97.28/97.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 658| -. -1 -1 -.
% 97.65/97.74 (SAT)(equ)(fun)(SAT) 658| -. -.
% 98.07/98.13 (SAT)(equ)(fun)(SAT) 658+ -1 -. -. -1
% 98.40/98.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 660| -. -1 -1 -.
% 98.70/98.79 (SAT)(equ)(fun)(SAT) 660| -. -.
% 99.08/99.17 (SAT)(equ)(fun)(SAT) 660+ -1 -. -. -1
% 99.39/99.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 662| -. -1 -1 -.
% 99.78/99.84 (SAT)(equ)(fun)(SAT) 662| -. -.
% 100.18/100.23 (SAT)(equ)(fun)(SAT) 662+ -1 -. -. -1
% 100.49/100.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 664| -. -1 -1 -.
% 100.87/100.90 (SAT)(equ)(fun)(SAT) 664| -. -.
% 101.26/101.29 (SAT)(equ)(fun)(SAT) 664+ -1 -. -. -1
% 101.57/101.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 666| -. -1 -1 -.
% 101.90/101.97 (SAT)(equ)(fun)(SAT) 666| -. -.
% 102.28/102.36 (SAT)(equ)(fun)(SAT) 666+ -1 -. -. -1
% 102.59/102.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 668| -. -1 -1 -.
% 102.97/103.05 (SAT)(equ)(fun)(SAT) 668| -. -.
% 103.38/103.44 (SAT)(equ)(fun)(SAT) 668+ -1 -. -. -1
% 103.68/103.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 670| -. -1 -1 -.
% 104.07/104.13 (SAT)(equ)(fun)(SAT) 670| -. -.
% 104.51/104.55 (SAT)(equ)(fun)(SAT) 670+ -1 -. -. -1
% 104.81/104.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 672| -. -1 -1 -.
% 105.21/105.29 (SAT)(equ)(fun)(SAT) 672| -. -.
% 105.70/105.72 (SAT)(equ)(fun)(SAT) 672+ -1 -. -. -1
% 106.01/106.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 674| -. -1 -1 -.
% 106.40/106.43 (SAT)(equ)(fun)(SAT) 674| -. -.
% 106.79/106.84 (SAT)(equ)(fun)(SAT) 674+ -1 -. -. -1
% 107.07/107.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 676| -. -1 -1 -.
% 107.49/107.54 (SAT)(equ)(fun)(SAT) 676| -. -.
% 107.88/107.96 (SAT)(equ)(fun)(SAT) 676+ -1 -. -. -1
% 108.27/108.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 678| -. -1 -1 -.
% 108.61/108.67 (SAT)(equ)(fun)(SAT) 678| -. -.
% 109.01/109.09 (SAT)(equ)(fun)(SAT) 678+ -1 -. -. -1
% 109.36/109.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 680| -. -1 -1 -.
% 109.79/109.81 (SAT)(equ)(fun)(SAT) 680| -. -.
% 110.20/110.23 (SAT)(equ)(fun)(SAT) 680+ -1 -. -. -1
% 110.49/110.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 682| -. -1 -1 -.
% 110.90/110.95 (SAT)(equ)(fun)(SAT) 682| -. -.
% 111.27/111.37 (SAT)(equ)(fun)(SAT) 682+ -1 -. -. -1
% 111.69/111.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 684| -. -1 -1 -.
% 112.01/112.10 (SAT)(equ)(fun)(SAT) 684| -. -.
% 112.48/112.52 (SAT)(equ)(fun)(SAT) 684+ -1 -. -. -1
% 112.78/112.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 686| -. -1 -1 -.
% 113.22/113.26 (SAT)(equ)(fun)(SAT) 686| -. -.
% 113.68/113.69 (SAT)(equ)(fun)(SAT) 686+ -1 -. -. -1
% 114.00/114.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 688| -. -1 -1 -.
% 114.39/114.43 (SAT)(equ)(fun)(SAT) 688| -. -.
% 114.79/114.86 (SAT)(equ)(fun)(SAT) 688+ -1 -. -. -1
% 115.18/115.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 690| -. -1 -1 -.
% 115.58/115.61 (SAT)(equ)(fun)(SAT) 690| -. -.
% 116.01/116.04 (SAT)(equ)(fun)(SAT) 690+ -1 -. -. -1
% 116.31/116.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 692| -. -1 -1 -.
% 116.78/116.80 (SAT)(equ)(fun)(SAT) 692| -. -.
% 117.20/117.24 (SAT)(equ)(fun)(SAT) 692+ -1 -. -. -1
% 117.50/117.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 694| -. -1 -1 -.
% 117.98/117.99 (SAT)(equ)(fun)(SAT) 694| -. -.
% 118.40/118.44 (SAT)(equ)(fun)(SAT) 694+ -1 -. -. -1
% 118.79/118.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 696| -. -1 -1 -.
% 119.19/119.20 (SAT)(equ)(fun)(SAT) 696| -. -.
% 119.62/119.66 (SAT)(equ)(fun)(SAT) 696+ -1 -. -. -1
% 119.99/120.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 698| -. -1 -1 -.
% 120.43/120.48 (SAT)(equ)(fun)(SAT) 698| -. -.
% 120.89/120.94 (SAT)(equ)(fun)(SAT) 698+ -1 -. -. -1
% 121.29/121.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 700| -. -1 -1 -.
% 121.70/121.71 (SAT)(equ)(fun)(SAT) 700| -. -.
% 122.09/122.17 (SAT)(equ)(fun)(SAT) 700+ -1 -. -. -1
% 122.52/122.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 702| -. -1 -1 -.
% 122.91/122.95 (SAT)(equ)(fun)(SAT) 702| -. -.
% 123.41/123.40 (SAT)(equ)(fun)(SAT) 702+ -1 -. -. -1
% 123.73/123.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 704| -. -1 -1 -.
% 124.11/124.19 (SAT)(equ)(fun)(SAT) 704| -. -.
% 124.62/124.64 (SAT)(equ)(fun)(SAT) 704+ -1 -. -. -1
% 125.01/125.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 706| -. -1 -1 -.
% 125.42/125.43 (SAT)(equ)(fun)(SAT) 706| -. -.
% 125.90/125.90 (SAT)(equ)(fun)(SAT) 706+ -1 -. -. -1
% 126.21/126.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 708| -. -1 -1 -.
% 126.69/126.70 (SAT)(equ)(fun)(SAT) 708| -. -.
% 127.13/127.17 (SAT)(equ)(fun)(SAT) 708+ -1 -. -. -1
% 127.48/127.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 710| -. -1 -1 -.
% 127.93/127.97 (SAT)(equ)(fun)(SAT) 710| -. -.
% 128.42/128.44 (SAT)(equ)(fun)(SAT) 710+ -1 -. -. -1
% 128.81/128.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 712| -. -1 -1 -.
% 129.21/129.25 (SAT)(equ)(fun)(SAT) 712| -. -.
% 129.73/129.73 (SAT)(equ)(fun)(SAT) 712+ -1 -. -. -1
% 130.04/130.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 714| -. -1 -1 -.
% 130.51/130.55 (SAT)(equ)(fun)(SAT) 714| -. -.
% 131.02/131.03 (SAT)(equ)(fun)(SAT) 714+ -1 -. -. -1
% 131.41/131.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 716| -. -1 -1 -.
% 131.83/131.85 (SAT)(equ)(fun)(SAT) 716| -. -.
% 132.31/132.34 (SAT)(equ)(fun)(SAT) 716+ -1 -. -. -1
% 132.73/132.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 718| -. -1 -1 -.
% 133.12/133.16 (SAT)(equ)(fun)(SAT) 718| -. -.
% 133.59/133.64 (SAT)(equ)(fun)(SAT) 718+ -1 -. -. -1
% 134.04/134.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 720| -. -1 -1 -.
% 134.44/134.49 (SAT)(equ)(fun)(SAT) 720| -. -.
% 134.95/135.00 (SAT)(equ)(fun)(SAT) 720+ -1 -. -. -1
% 135.41/135.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 722| -. -1 -1 -.
% 135.91/135.93 (SAT)(equ)(fun)(SAT) 722| -. -.
% 136.43/136.45 (SAT)(equ)(fun)(SAT) 722+ -1 -. -. -1
% 136.83/136.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 724| -. -1 -1 -.
% 137.35/137.33 (SAT)(equ)(fun)(SAT) 724| -. -.
% 137.81/137.83 (SAT)(equ)(fun)(SAT) 724+ -1 -. -. -1
% 138.24/138.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 726| -. -1 -1 -.
% 138.63/138.68 (SAT)(equ)(fun)(SAT) 726| -. -.
% 139.14/139.18 (SAT)(equ)(fun)(SAT) 726+ -1 -. -. -1
% 139.52/139.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 728| -. -1 -1 -.
% 140.04/140.04 (SAT)(equ)(fun)(SAT) 728| -. -.
% 140.54/140.54 (SAT)(equ)(fun)(SAT) 728+ -1 -. -. -1
% 140.95/140.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 730| -. -1 -1 -.
% 141.41/141.40 (SAT)(equ)(fun)(SAT) 730| -. -.
% 141.86/141.91 (SAT)(equ)(fun)(SAT) 730+ -1 -. -. -1
% 142.31/142.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 732| -. -1 -1 -.
% 142.75/142.78 (SAT)(equ)(fun)(SAT) 732| -. -.
% 143.24/143.29 (SAT)(equ)(fun)(SAT) 732+ -1 -. -. -1
% 143.63/143.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 734| -. -1 -1 -.
% 144.14/144.17 (SAT)(equ)(fun)(SAT) 734| -. -.
% 144.71/144.69 (SAT)(equ)(fun)(SAT) 734+ -1 -. -. -1
% 145.06/145.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 736| -. -1 -1 -.
% 145.61/145.58 (SAT)(equ)(fun)(SAT) 736| -. -.
% 146.12/146.13 (SAT)(equ)(fun)(SAT) 736+ -1 -. -. -1
% 146.62/146.60 (SAT)(equ)(SAT)(equ)(fun)(SAT) 738| -. -1 -1 -.
% 147.12/147.15 (SAT)(equ)(fun)(SAT) 738| -. -.
% 147.73/147.73 (SAT)(equ)(fun)(SAT) 738+ -1 -. -. -1
% 148.15/148.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 740| -. -1 -1 -.
% 148.63/148.67 (SAT)(equ)(fun)(SAT) 740| -. -.
% 149.17/149.19 (SAT)(equ)(fun)(SAT) 740+ -1 -. -. -1
% 149.63/149.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 742| -. -1 -1 -.
% 150.11/150.15 (SAT)(equ)(fun)(SAT) 742| -. -.
% 150.73/150.71 (SAT)(equ)(fun)(SAT) 742+ -1 -. -. -1
% 151.15/151.16 (SAT)(equ)(SAT)(equ)(fun)(SAT) 744| -. -1 -1 -.
% 151.63/151.68 (SAT)(equ)(fun)(SAT) 744| -. -.
% 152.22/152.25 (SAT)(equ)(fun)(SAT) 744+ -1 -. -. -1
% 152.67/152.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 746| -. -1 -1 -.
% 153.23/153.21 (SAT)(equ)(fun)(SAT) 746| -. -.
% 153.82/153.80 (SAT)(equ)(fun)(SAT) 746+ -1 -. -. -1
% 154.25/154.25 (SAT)(equ)(SAT)(equ)(fun)(SAT) 748| -. -1 -1 -.
% 154.75/154.79 (SAT)(equ)(fun)(SAT) 748| -. -.
% 155.33/155.37 (SAT)(equ)(fun)(SAT) 748+ -1 -. -. -1
% 155.84/155.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 750| -. -1 -1 -.
% 156.32/156.37 (SAT)(equ)(fun)(SAT) 750| -. -.
% 156.92/156.95 (SAT)(equ)(fun)(SAT) 750+ -1 -. -. -1
% 157.37/157.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 752| -. -1 -1 -.
% 157.94/157.96 (SAT)(equ)(fun)(SAT) 752| -. -.
% 158.55/158.55 (SAT)(equ)(fun)(SAT) 752+ -1 -. -. -1
% 159.06/159.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 754| -. -1 -1 -.
% 159.54/159.56 (SAT)(equ)(fun)(SAT) 754| -. -.
% 160.14/160.16 (SAT)(equ)(fun)(SAT) 754+ -1 -. -. -1
% 160.65/160.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 756| -. -1 -1 -.
% 161.13/161.17 (SAT)(equ)(fun)(SAT) 756| -. -.
% 161.73/161.77 (SAT)(equ)(fun)(SAT) 756+ -1 -. -. -1
% 162.28/162.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 758| -. -1 -1 -.
% 162.84/162.80 (SAT)(equ)(fun)(SAT) 758| -. -.
% 163.44/163.40 (SAT)(equ)(fun)(SAT) 758+ -1 -. -. -1
% 163.85/163.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 760| -. -1 -1 -.
% 164.46/164.44 (SAT)(equ)(fun)(SAT) 760| -. -.
% 165.06/165.05 (SAT)(equ)(fun)(SAT) 760+ -1 -. -. -1
% 165.58/165.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 762| -. -1 -1 -.
% 166.18/166.13 (SAT)(equ)(fun)(SAT) 762| -. -.
% 166.85/166.82 (SAT)(equ)(fun)(SAT) 762+ -1 -. -. -1
% 167.37/167.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 764| -. -1 -1 -.
% 168.06/168.02 (SAT)(equ)(fun)(SAT) 764| -. -.
% 168.67/168.66 (SAT)(equ)(fun)(SAT) 764+ -1 -. -. -1
% 169.17/169.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 766| -. -1 -1 -.
% 169.65/169.66 (SAT)(equ)(fun)(SAT) 766| -. -.
% 170.26/170.24 (SAT)(equ)(fun)(SAT) 766+ -1 -. -. -1
% 170.68/170.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 768| -. -1 -1 -.
% 171.27/171.23 (SAT)(equ)(fun)(SAT) 768| -. -.
% 171.85/171.80 (SAT)(equ)(fun)(SAT) 768+ -1 -. -. -1
% 172.26/172.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 770| -. -1 -1 -.
% 172.86/172.80 (SAT)(equ)(fun)(SAT) 770| -. -.
% 173.38/173.38 (SAT)(equ)(fun)(SAT) 770+ -1 -. -. -1
% 173.88/173.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 772| -. -1 -1 -.
% 174.44/174.39 (SAT)(equ)(fun)(SAT) 772| -. -.
% 174.96/174.97 (SAT)(equ)(fun)(SAT) 772+ -1 -. -. -1
% 175.47/175.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 774| -. -1 -1 -.
% 175.97/175.99 (SAT)(equ)(fun)(SAT) 774| -. -.
% 176.56/176.58 (SAT)(equ)(fun)(SAT) 774+ -1 -. -. -1
% 177.08/177.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 776| -. -1 -1 -.
% 177.67/177.60 (SAT)(equ)(fun)(SAT) 776| -. -.
% 178.19/178.19 (SAT)(equ)(fun)(SAT) 776+ -1 -. -. -1
% 178.66/178.67 (SAT)(equ)(SAT)(equ)(fun)(SAT) 778| -. -1 -1 -.
% 179.27/179.22 (SAT)(equ)(fun)(SAT) 778| -. -.
% 179.86/179.84 (SAT)(equ)(fun)(SAT) 778+ -1 -. -. -1
% 180.39/180.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 780| -. -1 -1 -.
% 180.99/180.95 (SAT)(equ)(fun)(SAT) 780| -. -.
% 181.57/181.55 (SAT)(equ)(fun)(SAT) 780+ -1 -. -. -1
% 182.07/182.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 782| -. -1 -1 -.
% 182.59/182.59 (SAT)(equ)(fun)(SAT) 782| -. -.
% 183.27/183.20 (SAT)(equ)(fun)(SAT) 782+ -1 -. -. -1
% 183.76/183.69 (SAT)(equ)(SAT)(equ)(fun)(SAT) 784| -. -1 -1 -.
% 184.27/184.25 (SAT)(equ)(fun)(SAT) 784| -. -.
% 184.87/184.87 (SAT)(equ)(fun)(SAT) 784+ -1 -. -. -1
% 185.37/185.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 786| -. -1 -1 -.
% 185.97/185.92 (SAT)(equ)(fun)(SAT) 786| -. -.
% 186.58/186.54 (SAT)(equ)(fun)(SAT) 786+ -1 -. -. -1
% 187.10/187.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 788| -. -1 -1 -.
% 187.69/187.60 (SAT)(equ)(fun)(SAT) 788| -. -.
% 188.30/188.22 (SAT)(equ)(fun)(SAT) 788+ -1 -. -. -1
% 188.78/188.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 790| -. -1 -1 -.
% 189.37/189.30 (SAT)(equ)(fun)(SAT) 790| -. -.
% 189.99/189.92 (SAT)(equ)(fun)(SAT) 790+ -1 -. -. -1
% 190.49/190.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 792| -. -1 -1 -.
% 191.00/191.00 (SAT)(equ)(fun)(SAT) 792| -. -.
% 191.70/191.63 (SAT)(equ)(fun)(SAT) 792+ -1 -. -. -1
% 192.21/192.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 794| -. -1 -1 -.
% 192.81/192.72 (SAT)(equ)(fun)(SAT) 794| -. -.
% 193.40/193.35 (SAT)(equ)(fun)(SAT) 794+ -1 -. -. -1
% 193.88/193.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 796| -. -1 -1 -.
% 194.48/194.46 (SAT)(equ)(fun)(SAT) 796| -. -.
% 195.19/195.11 (SAT)(equ)(fun)(SAT) 796+ -1 -. -. -1
% 195.77/195.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 798| -. -1 -1 -.
% 196.59/196.55 (SAT)(equ)(fun)(SAT) 798| -. -.
% 197.31/197.29 (SAT)(equ)(fun)(SAT) 798+ -1 -. -. -1
% 197.89/197.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 800| -. -1 -1 -.
% 198.59/198.54 (SAT)(equ)(fun)(SAT) 800| -. -.
% 199.31/199.27 (SAT)(equ)(fun)(SAT) 800+ -1 -. -. -1
% 199.89/199.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 802| -. -1 -1 -.
% 200.60/200.53 (SAT)(equ)(fun)(SAT) 802| -. -.
% 201.31/201.26 (SAT)(equ)(fun)(SAT) 802+ -1 -. -. -1
% 201.92/201.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 804| -. -1 -1 -.
% 202.62/202.52 (SAT)(equ)(fun)(SAT) 804| -. -.
% 203.30/203.26 (SAT)(equ)(fun)(SAT) 804+ -1 -. -. -1
% 203.90/203.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 806| -. -1 -1 -.
% 204.60/204.53 (SAT)(equ)(fun)(SAT) 806| -. -.
% 205.30/205.26 (SAT)(equ)(fun)(SAT) 806+ -1 -. -. -1
% 205.92/205.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 808| -. -1 -1 -.
% 206.62/206.55 (SAT)(equ)(fun)(SAT) 808| -. -.
% 207.32/207.29 (SAT)(equ)(fun)(SAT) 808+ -1 -. -. -1
% 207.90/207.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 810| -. -1 -1 -.
% 208.62/208.58 (SAT)(equ)(fun)(SAT) 810| -. -.
% 209.43/209.33 (SAT)(equ)(fun)(SAT) 810+ -1 -. -. -1
% 209.99/209.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 812| -. -1 -1 -.
% 210.79/210.72 (SAT)(equ)(fun)(SAT) 812| -. -.
% 211.72/211.63 (SAT)(equ)(fun)(SAT) 812+ -1 -. -. -1
% 212.81/212.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 814| -. -1 -1 -.
% 214.22/214.16 (SAT)(equ)(fun)(SAT) 814| -. -.
% 215.71/215.59 (SAT)(equ)(fun)(SAT) 814+ -1 -. -. -1
% 216.33/216.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 816| -. -1 -1 -.
% 217.02/216.96 (SAT)(equ)(fun)(SAT) 816| -. -.
% 217.84/217.74 (SAT)(equ)(fun)(SAT) 816+ -1 -. -. -1
% 218.43/218.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 818| -. -1 -1 -.
% 219.21/219.10 (SAT)(equ)(fun)(SAT) 818| -. -.
% 219.93/219.88 (SAT)(equ)(fun)(SAT) 818+ -1 -. -. -1
% 220.63/220.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 820| -. -1 -1 -.
% 221.32/221.25 (SAT)(equ)(fun)(SAT) 820| -. -.
% 222.12/222.02 (SAT)(equ)(fun)(SAT) 820+ -1 -. -. -1
% 222.73/222.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 822| -. -1 -1 -.
% 223.43/223.35 (SAT)(equ)(fun)(SAT) 822| -. -.
% 224.23/224.12 (SAT)(equ)(fun)(SAT) 822+ -1 -. -. -1
% 224.84/224.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 824| -. -1 -1 -.
% 225.65/225.52 (SAT)(equ)(fun)(SAT) 824| -. -.
% 226.43/226.35 (SAT)(equ)(fun)(SAT) 824+ -1 -. -. -1
% 227.13/227.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 826| -. -1 -1 -.
% 227.84/227.76 (SAT)(equ)(fun)(SAT) 826| -. -.
% 228.65/228.56 (SAT)(equ)(fun)(SAT) 826+ -1 -. -. -1
% 229.33/229.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 828| -. -1 -1 -.
% 230.04/229.97 (SAT)(equ)(fun)(SAT) 828| -. -.
% 230.84/230.77 (SAT)(equ)(fun)(SAT) 828+ -1 -. -. -1
% 231.54/231.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 830| -. -1 -1 -.
% 232.26/232.19 (SAT)(equ)(fun)(SAT) 830| -. -.
% 233.12/233.01 (SAT)(equ)(fun)(SAT) 830+ -1 -. -. -1
% 233.82/233.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 832| -. -1 -1 -.
% 234.56/234.45 (SAT)(equ)(fun)(SAT) 832| -. -.
% 235.34/235.28 (SAT)(equ)(fun)(SAT) 832+ -1 -. -. -1
% 236.03/235.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 834| -. -1 -1 -.
% 236.86/236.72 (SAT)(equ)(fun)(SAT) 834| -. -.
% 237.66/237.55 (SAT)(equ)(fun)(SAT) 834+ -1 -. -. -1
% 238.34/238.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 836| -. -1 -1 -.
% 239.14/239.00 (SAT)(equ)(fun)(SAT) 836| -. -.
% 239.94/239.84 (SAT)(equ)(fun)(SAT) 836+ -1 -. -. -1
% 240.65/240.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 838| -. -1 -1 -.
% 241.45/241.30 (SAT)(equ)(fun)(SAT) 838| -. -.
% 242.26/242.14 (SAT)(equ)(fun)(SAT) 838+ -1 -. -. -1
% 242.95/242.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 840| -. -1 -1 -.
% 243.76/243.62 (SAT)(equ)(fun)(SAT) 840| -. -.
% 244.57/244.46 (SAT)(equ)(fun)(SAT) 840+ -1 -. -. -1
% 245.25/245.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 842| -. -1 -1 -.
% 246.07/245.94 (SAT)(equ)(fun)(SAT) 842| -. -.
% 246.86/246.79 (SAT)(equ)(fun)(SAT) 842+ -1 -. -. -1
% 247.57/247.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 844| -. -1 -1 -.
% 248.43/248.29 (SAT)(equ)(fun)(SAT) 844| -. -.
% 249.26/249.14 (SAT)(equ)(fun)(SAT) 844+ -1 -. -. -1
% 249.96/249.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 846| -. -1 -1 -.
% 250.77/250.63 (SAT)(equ)(fun)(SAT) 846| -. -.
% 251.58/251.49 (SAT)(equ)(fun)(SAT) 846+ -1 -. -. -1
% 252.27/252.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 848| -. -1 -1 -.
% 253.06/252.99 (SAT)(equ)(fun)(SAT) 848| -. -.
% 253.94/253.86 (SAT)(equ)(fun)(SAT) 848+ -1 -. -. -1
% 254.67/254.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 850| -. -1 -1 -.
% 255.46/255.38 (SAT)(equ)(fun)(SAT) 850| -. -.
% 256.37/256.25 (SAT)(equ)(fun)(SAT) 850+ -1 -. -. -1
% 257.06/256.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 852| -. -1 -1 -.
% 257.95/257.78 (SAT)(equ)(fun)(SAT) 852| -. -.
% 258.78/258.67 (SAT)(equ)(fun)(SAT) 852+ -1 -. -. -1
% 259.55/259.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 854| -. -1 -1 -.
% 260.29/260.20 (SAT)(equ)(fun)(SAT) 854| -. -.
% 261.18/261.08 (SAT)(equ)(fun)(SAT) 854+ -1 -. -. -1
% 261.89/261.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 856| -. -1 -1 -.
% 262.79/262.62 (SAT)(equ)(fun)(SAT) 856| -. -.
% 263.59/263.49 (SAT)(equ)(fun)(SAT) 856+ -1 -. -. -1
% 264.28/264.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 858| -. -1 -1 -.
% 265.19/265.04 (SAT)(equ)(fun)(SAT) 858| -. -.
% 266.07/265.93 (SAT)(equ)(fun)(SAT) 858+ -1 -. -. -1
% 266.78/266.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 860| -. -1 -1 -.
% 267.58/267.48 (SAT)(equ)(fun)(SAT) 860| -. -.
% 268.50/268.39 (SAT)(equ)(fun)(SAT) 860+ -1 -. -. -1
% 269.30/269.12 (SAT)(equ)(SAT)(equ)(fun)(SAT) 862| -. -1 -1 -.
% 270.06/269.96 (SAT)(equ)(fun)(SAT) 862| -. -.
% 270.98/270.84 (SAT)(equ)(fun)(SAT) 862+ -1 -. -. -1
% 271.68/271.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 864| -. -1 -1 -.
% 272.59/272.41 (SAT)(equ)(fun)(SAT) 864| -. -.
% 273.48/273.31 (SAT)(equ)(fun)(SAT) 864+ -1 -. -. -1
% 274.19/274.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 866| -. -1 -1 -.
% 274.99/274.89 (SAT)(equ)(fun)(SAT) 866| -. -.
% 275.97/275.80 (SAT)(equ)(fun)(SAT) 866+ -1 -. -. -1
% 276.71/276.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 868| -. -1 -1 -.
% 277.51/277.39 (SAT)(equ)(fun)(SAT) 868| -. -.
% 278.49/278.31 (SAT)(equ)(fun)(SAT) 868+ -1 -. -. -1
% 279.18/279.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 870| -. -1 -1 -.
% 280.10/279.91 (SAT)(equ)(fun)(SAT) 870| -. -.
% 280.91/280.81 (SAT)(equ)(fun)(SAT) 870+ -1 -. -. -1
% 281.72/281.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 872| -. -1 -1 -.
% 282.58/282.38 (SAT)(equ)(fun)(SAT) 872| -. -.
% 283.41/283.28 (SAT)(equ)(fun)(SAT) 872+ -1 -. -. -1
% 284.19/284.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 874| -. -1 -1 -.
% 285.02/284.89 (SAT)(equ)(fun)(SAT) 874| -. -.
% 285.99/285.83 (SAT)(equ)(fun)(SAT) 874+ -1 -. -. -1
% 286.88/286.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 876| -. -1 -1 -.
% 287.92/287.73 (SAT)(equ)(fun)(SAT) 876| -. -.
% 288.82/288.72 (SAT)(equ)(fun)(SAT) 876+ -1 -. -. -1
% 289.59/289.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 878| -. -1 -1 -.
% 290.49/290.36 (SAT)(equ)(fun)(SAT) 878| -. -.
% 291.39/291.29 (SAT)(equ)(fun)(SAT) 878+ -1 -. -. -1
% 292.20/292.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 880| -. -1 -1 -.
% 293.10/292.95 (SAT)(equ)(fun)(SAT) 880| -. -.
% 294.10/293.90 (SAT)(equ)(fun)(SAT) 880+ -1 -. -. -1
% 294.83/294.67 (SAT)(equ)(SAT)(equ)(fun)(SAT) 882| -. -1 -1 -.
% 295.73/295.58 (SAT)(equ)(fun)(SAT) 882| -. -.
% 296.70/296.53 (SAT)(equ)(fun)(SAT) 882+ -1 -. -. -1
% 297.41/297.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 884| -. -1 -1 -.
% 298.29/298.16 (SAT)(equ)(fun)(SAT) 884| -. -.
% 299.29/299.10 (SAT)(equ)(fun)(SAT) 884+ -1 -.
%------------------------------------------------------------------------------