TSTP Solution File: SYN078-1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYN078-1 : TPTP v8.1.0. Released v1.0.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 : Thu Jul 21 05:14:41 EDT 2022
% Result : Timeout 286.06s 285.96s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : SYN078-1 : TPTP v8.1.0. Released v1.0.0.
% 0.12/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.34 % Computer : n007.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue Jul 12 08:44:18 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.12/0.35 +++ 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.35 (SAT)(equ)(fun)(SAT) 6+ -1 -1 -1 -. -. -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 7| -. -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 7+ -1 -1 -1 -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 8| -. -. -. -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 8+ -1 -1 -1 -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 9| -. -. -. -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 9+ -1 -1 -1 -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 10+ -1 -1 -1 -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 11| -. -. -. -. -. -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 11+ -1 -1 -1 -. -. -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -.
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 12+ -1 -1 -1 -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 13| -. -. -. -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 13+ -1 -1 -1 -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 14| -. -. -. -. -. -.
% 0.12/0.40 (SAT)(equ)(fun)(SAT) 14+ -1 -1 -1 -. -. -.
% 0.12/0.40 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -.
% 0.12/0.41 (SAT)(equ)(fun)(SAT) 15+ -1 -1 -1 -. -. -.
% 0.12/0.41 (SAT)(equ)(fun)(SAT) 16| -. -. -. -. -. -.
% 0.12/0.41 (SAT)(equ)(fun)(SAT) 16+ -1 -1 -1 -. -. -.
% 0.12/0.42 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -.
% 0.20/0.42 (SAT)(equ)(fun)(SAT) 17+ -1 -1 -1 -. -. -.
% 0.20/0.43 (SAT)(equ)(fun)(SAT) 18| -. -. -. -. -. -.
% 0.20/0.43 (SAT)(equ)(fun)(SAT) 18+ -1 -1 -1 -. -. -.
% 0.20/0.44 (SAT)(equ)(fun)(SAT) 19| -. -. -. -. -. -.
% 0.20/0.44 (SAT)(equ)(fun)(SAT) 19+ -1 -1 -1 -. -. -.
% 0.20/0.45 (SAT)(equ)(fun)(SAT) 20| -. -. -. -. -. -.
% 0.20/0.45 (SAT)(equ)(fun)(SAT) 20+ -1 -1 -1 -. -. -.
% 0.20/0.46 (SAT)(equ)(fun)(SAT) 21| -. -. -. -. -. -.
% 0.20/0.46 (SAT)(equ)(fun)(SAT) 21+ -1 -1 -1 -. -. -.
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -.
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 22+ -1 -1 -1 -. -. -.
% 0.20/0.47 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -.
% 0.20/0.48 (SAT)(equ)(fun)(SAT) 23+ -1 -1 -1 -. -. -.
% 0.20/0.48 (SAT)(equ)(fun)(SAT) 24| -. -. -. -. -. -.
% 0.20/0.48 (SAT)(equ)(fun)(SAT) 24+ -1 -1 -1 -. -. -.
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 25| -. -. -. -. -. -.
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 25+ -1 -1 -1 -. -. -.
% 0.20/0.49 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -.
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 26+ -1 -1 -1 -. -. -.
% 0.20/0.50 (SAT)(equ)(fun)(SAT) 27| -. -. -. -. -. -.
% 0.20/0.51 (SAT)(equ)(fun)(SAT) 27+ -1 -1 -1 -. -. -.
% 0.20/0.51 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -.
% 0.20/0.51 (SAT)(equ)(fun)(SAT) 28+ -1 -1 -1 -. -. -.
% 0.20/0.52 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -.
% 0.20/0.52 (SAT)(equ)(fun)(SAT) 29+ -1 -1 -1 -. -. -.
% 0.20/0.53 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -.
% 0.20/0.53 (SAT)(equ)(fun)(SAT) 30+ -1 -1 -1 -. -. -.
% 0.20/0.54 (SAT)(equ)(fun)(SAT) 31| -. -. -. -. -. -.
% 0.20/0.54 (SAT)(equ)(fun)(SAT) 31+ -1 -1 -1 -. -. -.
% 0.20/0.54 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -.
% 0.20/0.55 (SAT)(equ)(fun)(SAT) 32+ -1 -1 -1 -. -. -.
% 0.20/0.56 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -.
% 0.42/0.56 (SAT)(equ)(fun)(SAT) 33+ -1 -1 -1 -. -. -.
% 0.42/0.57 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -.
% 0.43/0.58 (SAT)(equ)(fun)(SAT) 34+ -1 -1 -1 -. -. -.
% 0.43/0.59 (SAT)(equ)(fun)(SAT) 35| -. -. -. -. -. -.
% 0.43/0.60 (SAT)(equ)(fun)(SAT) 35+ -1 -1 -1 -. -. -.
% 0.43/0.61 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -.
% 0.43/0.62 (SAT)(equ)(fun)(SAT) 36+ -1 -1 -1 -. -. -.
% 0.47/0.63 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -. -.
% 0.47/0.64 (SAT)(equ)(fun)(SAT) 37+ -1 -1 -1 -. -. -.
% 0.49/0.64 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -.
% 0.49/0.65 (SAT)(equ)(fun)(SAT) 38+ -1 -1 -1 -. -. -.
% 0.49/0.67 (SAT)(equ)(fun)(SAT) 39| -. -. -. -. -. -.
% 0.49/0.68 (SAT)(equ)(fun)(SAT) 39+ -1 -1 -1 -. -. -.
% 0.49/0.68 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -.
% 0.49/0.69 (SAT)(equ)(fun)(SAT) 40+ -1 -1 -1 -. -. -.
% 0.49/0.70 (SAT)(equ)(fun)(SAT) 41| -. -. -. -. -. -.
% 0.49/0.71 (SAT)(equ)(fun)(SAT) 41+ -1 -1 -1 -. -. -.
% 0.56/0.71 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -.
% 0.56/0.72 (SAT)(equ)(fun)(SAT) 42+ -1 -1 -1 -. -. -.
% 0.56/0.73 (SAT)(equ)(fun)(SAT) 43| -. -. -. -. -. -.
% 0.56/0.73 (SAT)(equ)(fun)(SAT) 43+ -1 -1 -1 -. -. -.
% 0.56/0.74 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -.
% 0.56/0.75 (SAT)(equ)(fun)(SAT) 44+ -1 -1 -1 -. -. -.
% 0.56/0.75 (SAT)(equ)(fun)(SAT) 45| -. -. -. -. -. -.
% 0.56/0.76 (SAT)(equ)(fun)(SAT) 45+ -1 -1 -1 -. -. -.
% 0.56/0.77 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -.
% 0.62/0.77 (SAT)(equ)(fun)(SAT) 46+ -1 -1 -1 -. -. -.
% 0.62/0.78 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -.
% 0.62/0.79 (SAT)(equ)(fun)(SAT) 47+ -1 -1 -1 -. -. -.
% 0.62/0.79 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -.
% 0.62/0.80 (SAT)(equ)(fun)(SAT) 48+ -1 -1 -1 -. -. -.
% 0.62/0.81 (SAT)(equ)(fun)(SAT) 49| -. -. -. -. -. -.
% 0.62/0.82 (SAT)(equ)(fun)(SAT) 49+ -1 -1 -1 -. -. -.
% 0.62/0.82 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -.
% 0.62/0.83 (SAT)(equ)(fun)(SAT) 50+ -1 -1 -1 -. -. -.
% 0.62/0.84 (SAT)(equ)(fun)(SAT) 51| -. -. -. -. -. -.
% 0.62/0.85 (SAT)(equ)(fun)(SAT) 51+ -1 -1 -1 -. -. -.
% 0.62/0.85 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -.
% 0.71/0.86 (SAT)(equ)(fun)(SAT) 52+ -1 -1 -1 -. -. -.
% 0.71/0.87 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -.
% 0.71/0.88 (SAT)(equ)(fun)(SAT) 53+ -1 -1 -1 -. -. -.
% 0.74/0.89 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -.
% 0.74/0.89 (SAT)(equ)(fun)(SAT) 54+ -1 -1 -1 -. -. -.
% 0.74/0.90 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -.
% 0.74/0.91 (SAT)(equ)(fun)(SAT) 55+ -1 -1 -1 -. -. -.
% 0.74/0.92 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -.
% 0.78/0.93 (SAT)(equ)(fun)(SAT) 56+ -1 -1 -1 -. -. -.
% 0.78/0.93 (SAT)(equ)(fun)(SAT) 57| -. -. -. -. -. -.
% 0.79/0.94 (SAT)(equ)(fun)(SAT) 57+ -1 -1 -1 -. -. -.
% 0.79/0.95 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -.
% 0.79/0.96 (SAT)(equ)(fun)(SAT) 58+ -1 -1 -1 -. -. -.
% 0.79/0.97 (SAT)(equ)(fun)(SAT) 59| -. -. -. -. -. -.
% 0.79/0.98 (SAT)(equ)(fun)(SAT) 59+ -1 -1 -1 -. -. -.
% 0.79/0.99 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -.
% 0.79/1.00 (SAT)(equ)(fun)(SAT) 60+ -1 -1 -1 -. -. -.
% 0.79/1.01 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -.
% 0.87/1.02 (SAT)(equ)(fun)(SAT) 61+ -1 -1 -1 -. -. -.
% 0.87/1.03 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -.
% 0.87/1.04 (SAT)(equ)(fun)(SAT) 62+ -1 -1 -1 -. -. -.
% 0.87/1.05 (SAT)(equ)(fun)(SAT) 63| -. -. -. -. -. -.
% 0.87/1.06 (SAT)(equ)(fun)(SAT) 63+ -1 -1 -1 -. -. -.
% 0.87/1.07 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -.
% 0.87/1.08 (SAT)(equ)(fun)(SAT) 64+ -1 -1 -1 -. -. -.
% 0.94/1.09 (SAT)(equ)(fun)(SAT) 65| -. -. -. -. -. -.
% 0.94/1.09 (SAT)(equ)(fun)(SAT) 65+ -1 -1 -1 -. -. -.
% 0.94/1.10 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -.
% 0.94/1.11 (SAT)(equ)(fun)(SAT) 66+ -1 -1 -1 -. -. -.
% 0.94/1.12 (SAT)(equ)(fun)(SAT) 67| -. -. -. -. -. -.
% 0.94/1.13 (SAT)(equ)(fun)(SAT) 67+ -1 -1 -1 -. -. -.
% 0.94/1.13 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -.
% 0.94/1.14 (SAT)(equ)(fun)(SAT) 68+ -1 -1 -1 -. -. -.
% 0.94/1.15 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -.
% 0.94/1.16 (SAT)(equ)(fun)(SAT) 69+ -1 -1 -1 -. -. -.
% 0.94/1.17 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -.
% 1.02/1.17 (SAT)(equ)(fun)(SAT) 70+ -1 -1 -1 -. -. -.
% 1.02/1.18 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -.
% 1.02/1.19 (SAT)(equ)(fun)(SAT) 71+ -1 -1 -1 -. -. -.
% 1.05/1.20 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -.
% 1.05/1.21 (SAT)(equ)(fun)(SAT) 72+ -1 -1 -1 -. -. -.
% 1.05/1.22 (SAT)(equ)(fun)(SAT) 73| -. -. -. -. -. -.
% 1.08/1.23 (SAT)(equ)(fun)(SAT) 73+ -1 -1 -1 -. -. -.
% 1.08/1.23 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -.
% 1.08/1.24 (SAT)(equ)(fun)(SAT) 74+ -1 -1 -1 -. -. -.
% 1.08/1.25 (SAT)(equ)(fun)(SAT) 75| -. -. -. -. -. -.
% 1.08/1.26 (SAT)(equ)(fun)(SAT) 75+ -1 -1 -1 -. -. -.
% 1.08/1.27 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -.
% 1.08/1.28 (SAT)(equ)(fun)(SAT) 76+ -1 -1 -1 -. -. -.
% 1.08/1.29 (SAT)(equ)(fun)(SAT) 77| -. -. -. -. -. -.
% 1.08/1.30 (SAT)(equ)(fun)(SAT) 77+ -1 -1 -1 -. -. -.
% 1.15/1.31 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -.
% 1.15/1.32 (SAT)(equ)(fun)(SAT) 78+ -1 -1 -1 -. -. -.
% 1.15/1.33 (SAT)(equ)(fun)(SAT) 79| -. -. -. -. -. -.
% 1.15/1.34 (SAT)(equ)(fun)(SAT) 79+ -1 -1 -1 -. -. -.
% 1.15/1.35 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -.
% 1.15/1.36 (SAT)(equ)(fun)(SAT) 80+ -1 -1 -1 -. -. -.
% 1.15/1.37 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -.
% 1.22/1.38 (SAT)(equ)(fun)(SAT) 81+ -1 -1 -1 -. -. -.
% 1.22/1.39 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -.
% 1.22/1.40 (SAT)(equ)(fun)(SAT) 82+ -1 -1 -1 -. -. -.
% 1.22/1.41 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -.
% 1.22/1.42 (SAT)(equ)(fun)(SAT) 83+ -1 -1 -1 -. -. -.
% 1.22/1.43 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -.
% 1.22/1.44 (SAT)(equ)(fun)(SAT) 84+ -1 -1 -1 -. -. -.
% 1.22/1.45 (SAT)(equ)(fun)(SAT) 85| -. -. -. -. -. -.
% 1.22/1.46 (SAT)(equ)(fun)(SAT) 85+ -1 -1 -1 -. -. -.
% 1.32/1.47 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -.
% 1.32/1.48 (SAT)(equ)(fun)(SAT) 86+ -1 -1 -1 -. -. -.
% 1.35/1.50 (SAT)(equ)(fun)(SAT) 87| -. -. -. -. -. -.
% 1.35/1.51 (SAT)(equ)(fun)(SAT) 87+ -1 -1 -1 -. -. -.
% 1.35/1.52 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -.
% 1.38/1.53 (SAT)(equ)(fun)(SAT) 88+ -1 -1 -1 -. -. -.
% 1.38/1.54 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -.
% 1.38/1.55 (SAT)(equ)(fun)(SAT) 89+ -1 -1 -1 -. -. -.
% 1.38/1.56 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -.
% 1.38/1.58 (SAT)(equ)(fun)(SAT) 90+ -1 -1 -1 -. -. -.
% 1.38/1.59 (SAT)(equ)(fun)(SAT) 91| -. -. -. -. -. -.
% 1.38/1.60 (SAT)(equ)(fun)(SAT) 91+ -1 -1 -1 -. -. -.
% 1.46/1.61 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -.
% 1.46/1.63 (SAT)(equ)(fun)(SAT) 92+ -1 -1 -1 -. -. -.
% 1.46/1.64 (SAT)(equ)(fun)(SAT) 93| -. -. -. -. -. -.
% 1.46/1.65 (SAT)(equ)(fun)(SAT) 93+ -1 -1 -1 -. -. -.
% 1.46/1.66 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -.
% 1.46/1.68 (SAT)(equ)(fun)(SAT) 94+ -1 -1 -1 -. -. -.
% 1.54/1.69 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -.
% 1.54/1.70 (SAT)(equ)(fun)(SAT) 95+ -1 -1 -1 -. -. -.
% 1.54/1.71 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -.
% 1.54/1.73 (SAT)(equ)(fun)(SAT) 96+ -1 -1 -1 -. -. -.
% 1.54/1.74 (SAT)(equ)(fun)(SAT) 97| -. -. -. -. -. -.
% 1.54/1.75 (SAT)(equ)(fun)(SAT) 97+ -1 -1 -1 -. -. -.
% 1.54/1.76 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -.
% 1.54/1.78 (SAT)(equ)(fun)(SAT) 98+ -1 -1 -1 -. -. -.
% 1.63/1.79 (SAT)(equ)(fun)(SAT) 99| -. -. -. -. -. -.
% 1.64/1.80 (SAT)(equ)(fun)(SAT) 99+ -1 -1 -1 -. -. -.
% 1.66/1.82 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -.
% 1.66/1.83 (SAT)(equ)(fun)(SAT) 100+ -1 -1 -1 -. -. -.
% 1.66/1.84 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -.
% 1.66/1.86 (SAT)(equ)(fun)(SAT) 101+ -1 -1 -1 -. -. -.
% 1.66/1.87 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -.
% 1.66/1.89 (SAT)(equ)(fun)(SAT) 102+ -1 -1 -1 -. -. -.
% 1.76/1.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -.
% 1.76/1.91 (SAT)(equ)(fun)(SAT) 103+ -1 -1 -1 -. -. -.
% 1.76/1.93 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -.
% 1.76/1.94 (SAT)(equ)(fun)(SAT) 104+ -1 -1 -1 -. -. -.
% 1.76/1.96 (SAT)(equ)(fun)(SAT) 105| -. -. -. -. -. -.
% 1.76/1.97 (SAT)(equ)(fun)(SAT) 105+ -1 -1 -1 -. -. -.
% 1.84/1.99 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -.
% 1.84/2.00 (SAT)(equ)(fun)(SAT) 106+ -1 -1 -1 -. -. -.
% 1.84/2.02 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -.
% 1.84/2.03 (SAT)(equ)(fun)(SAT) 107+ -1 -1 -1 -. -. -.
% 1.84/2.05 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -.
% 1.84/2.06 (SAT)(equ)(fun)(SAT) 108+ -1 -1 -1 -. -. -.
% 1.84/2.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -.
% 1.94/2.09 (SAT)(equ)(fun)(SAT) 109+ -1 -1 -1 -. -. -.
% 1.95/2.11 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -.
% 1.98/2.12 (SAT)(equ)(fun)(SAT) 110+ -1 -1 -1 -. -. -.
% 1.98/2.14 (SAT)(equ)(fun)(SAT) 111| -. -. -. -. -. -.
% 1.98/2.16 (SAT)(equ)(fun)(SAT) 111+ -1 -1 -1 -. -. -.
% 1.98/2.17 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -.
% 1.98/2.19 (SAT)(equ)(fun)(SAT) 112+ -1 -1 -1 -. -. -.
% 1.98/2.20 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -.
% 2.07/2.22 (SAT)(equ)(fun)(SAT) 113+ -1 -1 -1 -. -. -.
% 2.07/2.24 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 2.07/2.25 (SAT)(equ)(fun)(SAT) 114+ -1 -1 -1 -. -. -.
% 2.07/2.27 (SAT)(equ)(fun)(SAT) 115| -. -. -. -. -. -.
% 2.07/2.29 (SAT)(equ)(fun)(SAT) 115+ -1 -1 -1 -. -. -.
% 2.15/2.30 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -.
% 2.15/2.32 (SAT)(equ)(fun)(SAT) 116+ -1 -1 -1 -. -. -.
% 2.15/2.34 (SAT)(equ)(fun)(SAT) 117| -. -. -. -. -. -.
% 2.15/2.35 (SAT)(equ)(fun)(SAT) 117+ -1 -1 -1 -. -. -.
% 2.15/2.37 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -.
% 2.24/2.39 (SAT)(equ)(fun)(SAT) 118+ -1 -1 -1 -. -. -.
% 2.24/2.41 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -.
% 2.24/2.42 (SAT)(equ)(fun)(SAT) 119+ -1 -1 -1 -. -. -.
% 2.24/2.44 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -.
% 2.24/2.46 (SAT)(equ)(fun)(SAT) 120+ -1 -1 -1 -. -. -.
% 2.24/2.47 (SAT)(equ)(fun)(SAT) 121| -. -. -. -. -. -.
% 2.34/2.49 (SAT)(equ)(fun)(SAT) 121+ -1 -1 -1 -. -. -.
% 2.37/2.51 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -.
% 2.37/2.53 (SAT)(equ)(fun)(SAT) 122+ -1 -1 -1 -. -. -.
% 2.37/2.55 (SAT)(equ)(fun)(SAT) 123| -. -. -. -. -. -.
% 2.37/2.57 (SAT)(equ)(fun)(SAT) 123+ -1 -1 -1 -. -. -.
% 2.37/2.58 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -.
% 2.37/2.60 (SAT)(equ)(fun)(SAT) 124+ -1 -1 -1 -. -. -.
% 2.47/2.62 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -.
% 2.47/2.64 (SAT)(equ)(fun)(SAT) 125+ -1 -1 -1 -. -. -.
% 2.47/2.66 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -.
% 2.47/2.68 (SAT)(equ)(fun)(SAT) 126+ -1 -1 -1 -. -. -.
% 2.55/2.70 (SAT)(equ)(fun)(SAT) 127| -. -. -. -. -. -.
% 2.55/2.72 (SAT)(equ)(fun)(SAT) 127+ -1 -1 -1 -. -. -.
% 2.55/2.74 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -.
% 2.55/2.76 (SAT)(equ)(fun)(SAT) 128+ -1 -1 -1 -. -. -.
% 2.55/2.78 (SAT)(equ)(fun)(SAT) 129| -. -. -. -. -. -.
% 2.64/2.80 (SAT)(equ)(fun)(SAT) 129+ -1 -1 -1 -. -. -.
% 2.64/2.81 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -.
% 2.64/2.84 (SAT)(equ)(fun)(SAT) 130+ -1 -1 -1 -. -. -.
% 2.64/2.86 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -.
% 2.64/2.88 (SAT)(equ)(fun)(SAT) 131+ -1 -1 -1 -. -. -.
% 2.74/2.90 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -.
% 2.77/2.92 (SAT)(equ)(fun)(SAT) 132+ -1 -1 -1 -. -. -.
% 2.78/2.94 (SAT)(equ)(fun)(SAT) 133| -. -. -. -. -. -.
% 2.78/2.96 (SAT)(equ)(fun)(SAT) 133+ -1 -1 -1 -. -. -.
% 2.78/2.98 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -.
% 2.78/3.00 (SAT)(equ)(fun)(SAT) 134+ -1 -1 -1 -. -. -.
% 2.78/3.02 (SAT)(equ)(fun)(SAT) 135| -. -. -. -. -. -.
% 2.88/3.04 (SAT)(equ)(fun)(SAT) 135+ -1 -1 -1 -. -. -.
% 2.88/3.06 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -.
% 2.88/3.09 (SAT)(equ)(fun)(SAT) 136+ -1 -1 -1 -. -. -.
% 2.96/3.11 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -.
% 2.96/3.13 (SAT)(equ)(fun)(SAT) 137+ -1 -1 -1 -. -. -.
% 2.96/3.15 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -.
% 3.03/3.17 (SAT)(equ)(fun)(SAT) 138+ -1 -1 -1 -. -. -.
% 3.03/3.19 (SAT)(equ)(fun)(SAT) 139| -. -. -. -. -. -.
% 3.03/3.22 (SAT)(equ)(fun)(SAT) 139+ -1 -1 -1 -. -. -.
% 3.03/3.24 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -.
% 3.03/3.26 (SAT)(equ)(fun)(SAT) 140+ -1 -1 -1 -. -. -.
% 3.13/3.28 (SAT)(equ)(fun)(SAT) 141| -. -. -. -. -. -.
% 3.16/3.31 (SAT)(equ)(fun)(SAT) 141+ -1 -1 -1 -. -. -.
% 3.19/3.33 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -.
% 3.19/3.35 (SAT)(equ)(fun)(SAT) 142+ -1 -1 -1 -. -. -.
% 3.19/3.37 (SAT)(equ)(fun)(SAT) 143| -. -. -. -. -. -.
% 3.19/3.40 (SAT)(equ)(fun)(SAT) 143+ -1 -1 -1 -. -. -.
% 3.19/3.42 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -.
% 3.29/3.45 (SAT)(equ)(fun)(SAT) 144+ -1 -1 -1 -. -. -.
% 3.29/3.47 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -.
% 3.29/3.49 (SAT)(equ)(fun)(SAT) 145+ -1 -1 -1 -. -. -.
% 3.36/3.51 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -.
% 3.36/3.54 (SAT)(equ)(fun)(SAT) 146+ -1 -1 -1 -. -. -.
% 3.36/3.56 (SAT)(equ)(fun)(SAT) 147| -. -. -. -. -. -.
% 3.43/3.59 (SAT)(equ)(fun)(SAT) 147+ -1 -1 -1 -. -. -.
% 3.43/3.61 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -.
% 3.43/3.64 (SAT)(equ)(fun)(SAT) 148+ -1 -1 -1 -. -. -.
% 3.43/3.66 (SAT)(equ)(fun)(SAT) 149| -. -. -. -. -. -.
% 3.54/3.69 (SAT)(equ)(fun)(SAT) 149+ -1 -1 -1 -. -. -.
% 3.57/3.71 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -.
% 3.57/3.73 (SAT)(equ)(fun)(SAT) 150+ -1 -1 -1 -. -. -.
% 3.60/3.76 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -.
% 3.60/3.79 (SAT)(equ)(fun)(SAT) 151+ -1 -1 -1 -. -. -.
% 3.60/3.81 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -.
% 3.69/3.84 (SAT)(equ)(fun)(SAT) 152+ -1 -1 -1 -. -. -.
% 3.69/3.86 (SAT)(equ)(fun)(SAT) 153| -. -. -. -. -. -.
% 3.74/3.89 (SAT)(equ)(fun)(SAT) 153+ -1 -1 -1 -. -. -.
% 3.74/3.91 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -.
% 3.74/3.94 (SAT)(equ)(fun)(SAT) 154+ -1 -1 -1 -. -. -.
% 3.82/3.96 (SAT)(equ)(fun)(SAT) 155| -. -. -. -. -. -.
% 3.83/3.99 (SAT)(equ)(fun)(SAT) 155+ -1 -1 -1 -. -. -.
% 3.87/4.01 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -.
% 3.90/4.04 (SAT)(equ)(fun)(SAT) 156+ -1 -1 -1 -. -. -.
% 3.90/4.07 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -.
% 3.90/4.09 (SAT)(equ)(fun)(SAT) 157+ -1 -1 -1 -. -. -.
% 3.90/4.12 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -.
% 3.99/4.15 (SAT)(equ)(fun)(SAT) 158+ -1 -1 -1 -. -. -.
% 3.99/4.17 (SAT)(equ)(fun)(SAT) 159| -. -. -. -. -. -.
% 4.04/4.20 (SAT)(equ)(fun)(SAT) 159+ -1 -1 -1 -. -. -.
% 4.04/4.23 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -.
% 4.04/4.26 (SAT)(equ)(fun)(SAT) 160+ -1 -1 -1 -. -. -.
% 4.14/4.28 (SAT)(equ)(fun)(SAT) 161| -. -. -. -. -. -.
% 4.14/4.31 (SAT)(equ)(fun)(SAT) 161+ -1 -1 -1 -. -. -.
% 4.19/4.34 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -.
% 4.19/4.37 (SAT)(equ)(fun)(SAT) 162+ -1 -1 -1 -. -. -.
% 4.19/4.40 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -.
% 4.27/4.43 (SAT)(equ)(fun)(SAT) 163+ -1 -1 -1 -. -. -.
% 4.27/4.45 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -.
% 4.33/4.48 (SAT)(equ)(fun)(SAT) 164+ -1 -1 -1 -. -. -.
% 4.33/4.51 (SAT)(equ)(fun)(SAT) 165| -. -. -. -. -. -.
% 4.33/4.54 (SAT)(equ)(fun)(SAT) 165+ -1 -1 -1 -. -. -.
% 4.41/4.57 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -.
% 4.44/4.60 (SAT)(equ)(fun)(SAT) 166+ -1 -1 -1 -. -. -.
% 4.48/4.63 (SAT)(equ)(fun)(SAT) 167| -. -. -. -. -. -.
% 4.50/4.66 (SAT)(equ)(fun)(SAT) 167+ -1 -1 -1 -. -. -.
% 4.50/4.69 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -.
% 4.57/4.72 (SAT)(equ)(fun)(SAT) 168+ -1 -1 -1 -. -. -.
% 4.57/4.74 (SAT)(equ)(fun)(SAT) 169| -. -. -. -. -. -.
% 4.57/4.78 (SAT)(equ)(fun)(SAT) 169+ -1 -1 -1 -. -. -.
% 4.64/4.81 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -.
% 4.64/4.84 (SAT)(equ)(fun)(SAT) 170+ -1 -1 -1 -. -. -.
% 4.64/4.87 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -.
% 4.76/4.90 (SAT)(equ)(fun)(SAT) 171+ -1 -1 -1 -. -. -.
% 4.79/4.93 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -.
% 4.79/4.96 (SAT)(equ)(fun)(SAT) 172+ -1 -1 -1 -. -. -.
% 4.79/4.99 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -.
% 4.86/5.02 (SAT)(equ)(fun)(SAT) 173+ -1 -1 -1 -. -. -.
% 4.86/5.05 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -.
% 4.94/5.08 (SAT)(equ)(fun)(SAT) 174+ -1 -1 -1 -. -. -.
% 4.94/5.11 (SAT)(equ)(fun)(SAT) 175| -. -. -. -. -. -.
% 4.94/5.15 (SAT)(equ)(fun)(SAT) 175+ -1 -1 -1 -. -. -.
% 5.03/5.18 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -.
% 5.06/5.21 (SAT)(equ)(fun)(SAT) 176+ -1 -1 -1 -. -. -.
% 5.09/5.24 (SAT)(equ)(fun)(SAT) 177| -. -. -. -. -. -.
% 5.09/5.28 (SAT)(equ)(fun)(SAT) 177+ -1 -1 -1 -. -. -.
% 5.09/5.31 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -.
% 5.18/5.34 (SAT)(equ)(fun)(SAT) 178+ -1 -1 -1 -. -. -.
% 5.18/5.37 (SAT)(equ)(fun)(SAT) 179| -. -. -. -. -. -.
% 5.25/5.41 (SAT)(equ)(fun)(SAT) 179+ -1 -1 -1 -. -. -.
% 5.25/5.44 (SAT)(equ)(fun)(SAT) 180| -. -. -. -. -. -.
% 5.25/5.47 (SAT)(equ)(fun)(SAT) 180+ -1 -1 -1 -. -. -.
% 5.36/5.50 (SAT)(equ)(fun)(SAT) 181| -. -. -. -. -. -.
% 5.37/5.54 (SAT)(equ)(fun)(SAT) 181+ -1 -1 -1 -. -. -.
% 5.37/5.57 (SAT)(equ)(fun)(SAT) 182| -. -. -. -. -. -.
% 5.46/5.61 (SAT)(equ)(fun)(SAT) 182+ -1 -1 -1 -. -. -.
% 5.46/5.64 (SAT)(equ)(fun)(SAT) 183| -. -. -. -. -. -.
% 5.46/5.67 (SAT)(equ)(fun)(SAT) 183+ -1 -1 -1 -. -. -.
% 5.55/5.71 (SAT)(equ)(fun)(SAT) 184| -. -. -. -. -. -.
% 5.55/5.74 (SAT)(equ)(fun)(SAT) 184+ -1 -1 -1 -. -. -.
% 5.55/5.77 (SAT)(equ)(fun)(SAT) 185| -. -. -. -. -. -.
% 5.67/5.81 (SAT)(equ)(fun)(SAT) 185+ -1 -1 -1 -. -. -.
% 5.69/5.84 (SAT)(equ)(fun)(SAT) 186| -. -. -. -. -. -.
% 5.69/5.88 (SAT)(equ)(fun)(SAT) 186+ -1 -1 -1 -. -. -.
% 5.77/5.91 (SAT)(equ)(fun)(SAT) 187| -. -. -. -. -. -.
% 5.77/5.95 (SAT)(equ)(fun)(SAT) 187+ -1 -1 -1 -. -. -.
% 5.77/5.98 (SAT)(equ)(fun)(SAT) 188| -. -. -. -. -. -.
% 5.86/6.02 (SAT)(equ)(fun)(SAT) 188+ -1 -1 -1 -. -. -.
% 5.86/6.05 (SAT)(equ)(fun)(SAT) 189| -. -. -. -. -. -.
% 5.94/6.09 (SAT)(equ)(fun)(SAT) 189+ -1 -1 -1 -. -. -.
% 5.94/6.12 (SAT)(equ)(fun)(SAT) 190| -. -. -. -. -. -.
% 5.94/6.16 (SAT)(equ)(fun)(SAT) 190+ -1 -1 -1 -. -. -.
% 6.06/6.20 (SAT)(equ)(fun)(SAT) 191| -. -. -. -. -. -.
% 6.08/6.24 (SAT)(equ)(fun)(SAT) 191+ -1 -1 -1 -. -. -.
% 6.08/6.27 (SAT)(equ)(fun)(SAT) 192| -. -. -. -. -. -.
% 6.16/6.31 (SAT)(equ)(fun)(SAT) 192+ -1 -1 -1 -. -. -.
% 6.16/6.34 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -. -.
% 6.25/6.38 (SAT)(equ)(fun)(SAT) 193+ -1 -1 -1 -. -. -.
% 6.25/6.42 (SAT)(equ)(fun)(SAT) 194| -. -. -. -. -. -.
% 6.25/6.46 (SAT)(equ)(fun)(SAT) 194+ -1 -1 -1 -. -. -.
% 6.35/6.49 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -.
% 6.39/6.55 (SAT)(equ)(fun)(SAT) 195+ -1 -1 -1 -. -. -.
% 6.39/6.59 (SAT)(equ)(fun)(SAT) 196| -. -. -. -. -. -.
% 6.44/6.63 (SAT)(equ)(fun)(SAT) 196+ -1 -1 -1 -. -. -.
% 6.51/6.67 (SAT)(equ)(fun)(SAT) 197| -. -. -. -. -. -.
% 6.51/6.71 (SAT)(equ)(fun)(SAT) 197+ -1 -1 -1 -. -. -.
% 6.51/6.75 (SAT)(equ)(fun)(SAT) 198| -. -. -. -. -. -.
% 6.61/6.79 (SAT)(equ)(fun)(SAT) 198+ -1 -1 -1 -. -. -.
% 6.67/6.82 (SAT)(equ)(fun)(SAT) 199| -. -. -. -. -. -.
% 6.67/6.87 (SAT)(equ)(fun)(SAT) 199+ -1 -1 -1 -. -. -.
% 6.74/6.91 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -.
% 6.74/6.95 (SAT)(equ)(fun)(SAT) 200+ -1 -1 -1 -. -. -.
% 6.81/6.99 (SAT)(equ)(fun)(SAT) 201| -. -. -. -. -. -.
% 6.81/7.03 (SAT)(equ)(fun)(SAT) 201+ -1 -1 -1 -. -. -.
% 6.81/7.07 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -.
% 6.95/7.11 (SAT)(equ)(fun)(SAT) 202+ -1 -1 -1 -. -. -.
% 6.98/7.15 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -.
% 6.98/7.19 (SAT)(equ)(fun)(SAT) 203+ -1 -1 -1 -. -. -.
% 7.07/7.23 (SAT)(equ)(fun)(SAT) 204| -. -. -. -. -. -.
% 7.07/7.28 (SAT)(equ)(fun)(SAT) 204+ -1 -1 -1 -. -. -.
% 7.13/7.31 (SAT)(equ)(fun)(SAT) 205| -. -. -. -. -. -.
% 7.20/7.36 (SAT)(equ)(fun)(SAT) 205+ -1 -1 -1 -. -. -.
% 7.21/7.40 (SAT)(equ)(fun)(SAT) 206| -. -. -. -. -. -.
% 7.28/7.44 (SAT)(equ)(fun)(SAT) 206+ -1 -1 -1 -. -. -.
% 7.28/7.48 (SAT)(equ)(fun)(SAT) 207| -. -. -. -. -. -.
% 7.37/7.53 (SAT)(equ)(fun)(SAT) 207+ -1 -1 -1 -. -. -.
% 7.37/7.57 (SAT)(equ)(fun)(SAT) 208| -. -. -. -. -. -.
% 7.43/7.62 (SAT)(equ)(fun)(SAT) 208+ -1 -1 -1 -. -. -.
% 7.43/7.65 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -.
% 7.53/7.70 (SAT)(equ)(fun)(SAT) 209+ -1 -1 -1 -. -. -.
% 7.58/7.74 (SAT)(equ)(fun)(SAT) 210| -. -. -. -. -. -.
% 7.58/7.79 (SAT)(equ)(fun)(SAT) 210+ -1 -1 -1 -. -. -.
% 7.66/7.83 (SAT)(equ)(fun)(SAT) 211| -. -. -. -. -. -.
% 7.71/7.88 (SAT)(equ)(fun)(SAT) 211+ -1 -1 -1 -. -. -.
% 7.71/7.92 (SAT)(equ)(fun)(SAT) 212| -. -. -. -. -. -.
% 7.80/7.96 (SAT)(equ)(fun)(SAT) 212+ -1 -1 -1 -. -. -.
% 7.82/8.01 (SAT)(equ)(fun)(SAT) 213| -. -. -. -. -. -.
% 7.88/8.05 (SAT)(equ)(fun)(SAT) 213+ -1 -1 -1 -. -. -.
% 7.88/8.09 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 7.95/8.14 (SAT)(equ)(fun)(SAT) 214+ -1 -1 -1 -. -. -.
% 8.03/8.18 (SAT)(equ)(fun)(SAT) 215| -. -. -. -. -. -.
% 8.03/8.23 (SAT)(equ)(fun)(SAT) 215+ -1 -1 -1 -. -. -.
% 8.11/8.27 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -.
% 8.17/8.32 (SAT)(equ)(fun)(SAT) 216+ -1 -1 -1 -. -. -.
% 8.17/8.37 (SAT)(equ)(fun)(SAT) 217| -. -. -. -. -. -.
% 8.24/8.42 (SAT)(equ)(fun)(SAT) 217+ -1 -1 -1 -. -. -.
% 8.24/8.46 (SAT)(equ)(fun)(SAT) 218| -. -. -. -. -. -.
% 8.31/8.51 (SAT)(equ)(fun)(SAT) 218+ -1 -1 -1 -. -. -.
% 8.31/8.55 (SAT)(equ)(fun)(SAT) 219| -. -. -. -. -. -.
% 8.44/8.60 (SAT)(equ)(fun)(SAT) 219+ -1 -1 -1 -. -. -.
% 8.47/8.64 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -.
% 8.47/8.70 (SAT)(equ)(fun)(SAT) 220+ -1 -1 -1 -. -. -.
% 8.55/8.74 (SAT)(equ)(fun)(SAT) 221| -. -. -. -. -. -.
% 8.63/8.79 (SAT)(equ)(fun)(SAT) 221+ -1 -1 -1 -. -. -.
% 8.63/8.84 (SAT)(equ)(fun)(SAT) 222| -. -. -. -. -. -.
% 8.72/8.89 (SAT)(equ)(fun)(SAT) 222+ -1 -1 -1 -. -. -.
% 8.76/8.93 (SAT)(equ)(fun)(SAT) 223| -. -. -. -. -. -.
% 8.76/8.98 (SAT)(equ)(fun)(SAT) 223+ -1 -1 -1 -. -. -.
% 8.85/9.03 (SAT)(equ)(fun)(SAT) 224| -. -. -. -. -. -.
% 8.85/9.08 (SAT)(equ)(fun)(SAT) 224+ -1 -1 -1 -. -. -.
% 8.93/9.12 (SAT)(equ)(fun)(SAT) 225| -. -. -. -. -. -.
% 8.93/9.17 (SAT)(equ)(fun)(SAT) 225+ -1 -1 -1 -. -. -.
% 9.06/9.22 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -.
% 9.07/9.27 (SAT)(equ)(fun)(SAT) 226+ -1 -1 -1 -. -. -.
% 9.16/9.31 (SAT)(equ)(fun)(SAT) 227| -. -. -. -. -. -.
% 9.16/9.37 (SAT)(equ)(fun)(SAT) 227+ -1 -1 -1 -. -. -.
% 9.25/9.41 (SAT)(equ)(fun)(SAT) 228| -. -. -. -. -. -.
% 9.25/9.46 (SAT)(equ)(fun)(SAT) 228+ -1 -1 -1 -. -. -.
% 9.33/9.51 (SAT)(equ)(fun)(SAT) 229| -. -. -. -. -. -.
% 9.33/9.56 (SAT)(equ)(fun)(SAT) 229+ -1 -1 -1 -. -. -.
% 9.44/9.60 (SAT)(equ)(fun)(SAT) 230| -. -. -. -. -. -.
% 9.46/9.66 (SAT)(equ)(fun)(SAT) 230+ -1 -1 -1 -. -. -.
% 9.55/9.70 (SAT)(equ)(fun)(SAT) 231| -. -. -. -. -. -.
% 9.55/9.76 (SAT)(equ)(fun)(SAT) 231+ -1 -1 -1 -. -. -.
% 9.63/9.80 (SAT)(equ)(fun)(SAT) 232| -. -. -. -. -. -.
% 9.63/9.86 (SAT)(equ)(fun)(SAT) 232+ -1 -1 -1 -. -. -.
% 9.73/9.90 (SAT)(equ)(fun)(SAT) 233| -. -. -. -. -. -.
% 9.77/9.96 (SAT)(equ)(fun)(SAT) 233+ -1 -1 -1 -. -. -.
% 9.85/10.00 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -.
% 9.85/10.06 (SAT)(equ)(fun)(SAT) 234+ -1 -1 -1 -. -. -.
% 9.92/10.10 (SAT)(equ)(fun)(SAT) 235| -. -. -. -. -. -.
% 9.92/10.16 (SAT)(equ)(fun)(SAT) 235+ -1 -1 -1 -. -. -.
% 10.04/10.20 (SAT)(equ)(fun)(SAT) 236| -. -. -. -. -. -.
% 10.07/10.26 (SAT)(equ)(fun)(SAT) 236+ -1 -1 -1 -. -. -.
% 10.14/10.31 (SAT)(equ)(fun)(SAT) 237| -. -. -. -. -. -.
% 10.14/10.36 (SAT)(equ)(fun)(SAT) 237+ -1 -1 -1 -. -. -.
% 10.21/10.41 (SAT)(equ)(fun)(SAT) 238| -. -. -. -. -. -.
% 10.21/10.47 (SAT)(equ)(fun)(SAT) 238+ -1 -1 -1 -. -. -.
% 10.36/10.52 (SAT)(equ)(fun)(SAT) 239| -. -. -. -. -. -.
% 10.39/10.57 (SAT)(equ)(fun)(SAT) 239+ -1 -1 -1 -. -. -.
% 10.39/10.62 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -.
% 10.48/10.68 (SAT)(equ)(fun)(SAT) 240+ -1 -1 -1 -. -. -.
% 10.54/10.72 (SAT)(equ)(fun)(SAT) 241| -. -. -. -. -. -.
% 10.62/10.78 (SAT)(equ)(fun)(SAT) 241+ -1 -1 -1 -. -. -.
% 10.66/10.83 (SAT)(equ)(fun)(SAT) 242| -. -. -. -. -. -.
% 10.69/10.89 (SAT)(equ)(fun)(SAT) 242+ -1 -1 -1 -. -. -.
% 10.78/10.94 (SAT)(equ)(fun)(SAT) 243| -. -. -. -. -. -.
% 10.83/11.00 (SAT)(equ)(fun)(SAT) 243+ -1 -1 -1 -. -. -.
% 10.83/11.04 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -.
% 10.93/11.10 (SAT)(equ)(fun)(SAT) 244+ -1 -1 -1 -. -. -.
% 10.99/11.15 (SAT)(equ)(fun)(SAT) 245| -. -. -. -. -. -.
% 11.06/11.21 (SAT)(equ)(fun)(SAT) 245+ -1 -1 -1 -. -. -.
% 11.06/11.26 (SAT)(equ)(fun)(SAT) 246| -. -. -. -. -. -.
% 11.12/11.32 (SAT)(equ)(fun)(SAT) 246+ -1 -1 -1 -. -. -.
% 11.20/11.37 (SAT)(equ)(fun)(SAT) 247| -. -. -. -. -. -.
% 11.27/11.43 (SAT)(equ)(fun)(SAT) 247+ -1 -1 -1 -. -. -.
% 11.29/11.49 (SAT)(equ)(fun)(SAT) 248| -. -. -. -. -. -.
% 11.36/11.55 (SAT)(equ)(fun)(SAT) 248+ -1 -1 -1 -. -. -.
% 11.43/11.60 (SAT)(equ)(fun)(SAT) 249| -. -. -. -. -. -.
% 11.43/11.66 (SAT)(equ)(fun)(SAT) 249+ -1 -1 -1 -. -. -.
% 11.54/11.71 (SAT)(equ)(fun)(SAT) 250| -. -. -. -. -. -.
% 11.58/11.77 (SAT)(equ)(fun)(SAT) 250+ -1 -1 -1 -. -. -.
% 11.65/11.82 (SAT)(equ)(fun)(SAT) 251| -. -. -. -. -. -.
% 11.72/11.88 (SAT)(equ)(fun)(SAT) 251+ -1 -1 -1 -. -. -.
% 11.72/11.94 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -.
% 11.85/12.00 (SAT)(equ)(fun)(SAT) 252+ -1 -1 -1 -. -. -.
% 11.88/12.05 (SAT)(equ)(fun)(SAT) 253| -. -. -. -. -. -.
% 11.97/12.11 (SAT)(equ)(fun)(SAT) 253+ -1 -1 -1 -. -. -.
% 11.97/12.17 (SAT)(equ)(fun)(SAT) 254| -. -. -. -. -. -.
% 12.04/12.23 (SAT)(equ)(fun)(SAT) 254+ -1 -1 -1 -. -. -.
% 12.04/12.28 (SAT)(equ)(fun)(SAT) 255| -. -. -. -. -. -.
% 12.16/12.34 (SAT)(equ)(fun)(SAT) 255+ -1 -1 -1 -. -. -.
% 12.25/12.40 (SAT)(equ)(fun)(SAT) 256| -. -. -. -. -. -.
% 12.25/12.46 (SAT)(equ)(fun)(SAT) 256+ -1 -1 -1 -. -. -.
% 12.34/12.51 (SAT)(equ)(fun)(SAT) 257| -. -. -. -. -. -.
% 12.34/12.58 (SAT)(equ)(fun)(SAT) 257+ -1 -1 -1 -. -. -.
% 12.48/12.63 (SAT)(equ)(fun)(SAT) 258| -. -. -. -. -. -.
% 12.48/12.69 (SAT)(equ)(fun)(SAT) 258+ -1 -1 -1 -. -. -.
% 12.56/12.75 (SAT)(equ)(fun)(SAT) 259| -. -. -. -. -. -.
% 12.65/12.81 (SAT)(equ)(fun)(SAT) 259+ -1 -1 -1 -. -. -.
% 12.65/12.87 (SAT)(equ)(fun)(SAT) 260| -. -. -. -. -. -.
% 12.73/12.93 (SAT)(equ)(fun)(SAT) 260+ -1 -1 -1 -. -. -.
% 12.83/12.99 (SAT)(equ)(fun)(SAT) 261| -. -. -. -. -. -.
% 12.86/13.05 (SAT)(equ)(fun)(SAT) 261+ -1 -1 -1 -. -. -.
% 12.95/13.11 (SAT)(equ)(fun)(SAT) 262| -. -. -. -. -. -.
% 12.95/13.18 (SAT)(equ)(fun)(SAT) 262+ -1 -1 -1 -. -. -.
% 13.03/13.23 (SAT)(equ)(fun)(SAT) 263| -. -. -. -. -. -.
% 13.14/13.30 (SAT)(equ)(fun)(SAT) 263+ -1 -1 -1 -. -. -.
% 13.18/13.36 (SAT)(equ)(fun)(SAT) 264| -. -. -. -. -. -.
% 13.26/13.43 (SAT)(equ)(fun)(SAT) 264+ -1 -1 -1 -. -. -.
% 13.33/13.48 (SAT)(equ)(fun)(SAT) 265| -. -. -. -. -. -.
% 13.33/13.55 (SAT)(equ)(fun)(SAT) 265+ -1 -1 -1 -. -. -.
% 13.45/13.61 (SAT)(equ)(fun)(SAT) 266| -. -. -. -. -. -.
% 13.48/13.67 (SAT)(equ)(fun)(SAT) 266+ -1 -1 -1 -. -. -.
% 13.55/13.73 (SAT)(equ)(fun)(SAT) 267| -. -. -. -. -. -.
% 13.62/13.80 (SAT)(equ)(fun)(SAT) 267+ -1 -1 -1 -. -. -.
% 13.62/13.85 (SAT)(equ)(fun)(SAT) 268| -. -. -. -. -. -.
% 13.77/13.93 (SAT)(equ)(fun)(SAT) 268+ -1 -1 -1 -. -. -.
% 13.80/13.98 (SAT)(equ)(fun)(SAT) 269| -. -. -. -. -. -.
% 13.88/14.05 (SAT)(equ)(fun)(SAT) 269+ -1 -1 -1 -. -. -.
% 13.94/14.11 (SAT)(equ)(fun)(SAT) 270| -. -. -. -. -. -.
% 14.02/14.18 (SAT)(equ)(fun)(SAT) 270+ -1 -1 -1 -. -. -.
% 14.09/14.24 (SAT)(equ)(fun)(SAT) 271| -. -. -. -. -. -.
% 14.09/14.31 (SAT)(equ)(fun)(SAT) 271+ -1 -1 -1 -. -. -.
% 14.18/14.37 (SAT)(equ)(fun)(SAT) 272| -. -. -. -. -. -.
% 14.24/14.45 (SAT)(equ)(fun)(SAT) 272+ -1 -1 -1 -. -. -.
% 14.33/14.51 (SAT)(equ)(fun)(SAT) 273| -. -. -. -. -. -.
% 14.39/14.58 (SAT)(equ)(fun)(SAT) 273+ -1 -1 -1 -. -. -.
% 14.46/14.65 (SAT)(equ)(fun)(SAT) 274| -. -. -. -. -. -.
% 14.52/14.73 (SAT)(equ)(fun)(SAT) 274+ -1 -1 -1 -. -. -.
% 14.63/14.79 (SAT)(equ)(fun)(SAT) 275| -. -. -. -. -. -.
% 14.69/14.86 (SAT)(equ)(fun)(SAT) 275+ -1 -1 -1 -. -. -.
% 14.76/14.93 (SAT)(equ)(fun)(SAT) 276| -. -. -. -. -. -.
% 14.83/15.00 (SAT)(equ)(fun)(SAT) 276+ -1 -1 -1 -. -. -.
% 14.93/15.07 (SAT)(equ)(fun)(SAT) 277| -. -. -. -. -. -.
% 14.98/15.16 (SAT)(equ)(fun)(SAT) 277+ -1 -1 -1 -. -. -.
% 15.08/15.24 (SAT)(equ)(fun)(SAT) 278| -. -. -. -. -. -.
% 15.15/15.31 (SAT)(equ)(fun)(SAT) 278+ -1 -1 -1 -. -. -.
% 15.22/15.38 (SAT)(equ)(fun)(SAT) 279| -. -. -. -. -. -.
% 15.28/15.46 (SAT)(equ)(fun)(SAT) 279+ -1 -1 -1 -. -. -.
% 15.38/15.53 (SAT)(equ)(fun)(SAT) 280| -. -. -. -. -. -.
% 15.38/15.61 (SAT)(equ)(fun)(SAT) 280+ -1 -1 -1 -. -. -.
% 15.47/15.67 (SAT)(equ)(fun)(SAT) 281| -. -. -. -. -. -.
% 15.57/15.76 (SAT)(equ)(fun)(SAT) 281+ -1 -1 -1 -. -. -.
% 15.66/15.82 (SAT)(equ)(fun)(SAT) 282| -. -. -. -. -. -.
% 15.75/15.90 (SAT)(equ)(fun)(SAT) 282+ -1 -1 -1 -. -. -.
% 15.75/15.97 (SAT)(equ)(fun)(SAT) 283| -. -. -. -. -. -.
% 15.86/16.05 (SAT)(equ)(fun)(SAT) 283+ -1 -1 -1 -. -. -.
% 15.86/16.11 (SAT)(equ)(fun)(SAT) 284| -. -. -. -. -. -.
% 15.98/16.19 (SAT)(equ)(fun)(SAT) 284+ -1 -1 -1 -. -. -.
% 16.06/16.25 (SAT)(equ)(fun)(SAT) 285| -. -. -. -. -. -.
% 16.15/16.33 (SAT)(equ)(fun)(SAT) 285+ -1 -1 -1 -. -. -.
% 16.24/16.39 (SAT)(equ)(fun)(SAT) 286| -. -. -. -. -. -.
% 16.24/16.47 (SAT)(equ)(fun)(SAT) 286+ -1 -1 -1 -. -. -.
% 16.36/16.54 (SAT)(equ)(fun)(SAT) 287| -. -. -. -. -. -.
% 16.45/16.61 (SAT)(equ)(fun)(SAT) 287+ -1 -1 -1 -. -. -.
% 16.45/16.68 (SAT)(equ)(fun)(SAT) 288| -. -. -. -. -. -.
% 16.54/16.76 (SAT)(equ)(fun)(SAT) 288+ -1 -1 -1 -. -. -.
% 16.67/16.82 (SAT)(equ)(fun)(SAT) 289| -. -. -. -. -. -.
% 16.76/16.90 (SAT)(equ)(fun)(SAT) 289+ -1 -1 -1 -. -. -.
% 16.82/16.97 (SAT)(equ)(fun)(SAT) 290| -. -. -. -. -. -.
% 16.82/17.05 (SAT)(equ)(fun)(SAT) 290+ -1 -1 -1 -. -. -.
% 16.95/17.12 (SAT)(equ)(fun)(SAT) 291| -. -. -. -. -. -.
% 16.98/17.20 (SAT)(equ)(fun)(SAT) 291+ -1 -1 -1 -. -. -.
% 17.05/17.26 (SAT)(equ)(fun)(SAT) 292| -. -. -. -. -. -.
% 17.12/17.35 (SAT)(equ)(fun)(SAT) 292+ -1 -1 -1 -. -. -.
% 17.27/17.42 (SAT)(equ)(fun)(SAT) 293| -. -. -. -. -. -.
% 17.30/17.50 (SAT)(equ)(fun)(SAT) 293+ -1 -1 -1 -. -. -.
% 17.38/17.57 (SAT)(equ)(fun)(SAT) 294| -. -. -. -. -. -.
% 17.44/17.65 (SAT)(equ)(fun)(SAT) 294+ -1 -1 -1 -. -. -.
% 17.57/17.72 (SAT)(equ)(fun)(SAT) 295| -. -. -. -. -. -.
% 17.60/17.80 (SAT)(equ)(fun)(SAT) 295+ -1 -1 -1 -. -. -.
% 17.69/17.87 (SAT)(equ)(fun)(SAT) 296| -. -. -. -. -. -.
% 17.74/17.95 (SAT)(equ)(fun)(SAT) 296+ -1 -1 -1 -. -. -.
% 17.84/18.02 (SAT)(equ)(fun)(SAT) 297| -. -. -. -. -. -.
% 17.90/18.10 (SAT)(equ)(fun)(SAT) 297+ -1 -1 -1 -. -. -.
% 18.03/18.17 (SAT)(equ)(fun)(SAT) 298| -. -. -. -. -. -.
% 18.11/18.26 (SAT)(equ)(fun)(SAT) 298+ -1 -1 -1 -. -. -.
% 18.19/18.33 (SAT)(equ)(fun)(SAT) 299| -. -. -. -. -. -.
% 18.20/18.41 (SAT)(equ)(fun)(SAT) 299+ -1 -1 -1 -. -. -.
% 18.27/18.48 (SAT)(equ)(fun)(SAT) 300| -. -. -. -. -. -.
% 18.34/18.56 (SAT)(equ)(fun)(SAT) 300+ -1 -1 -1 -. -. -.
% 18.48/18.64 (SAT)(equ)(fun)(SAT) 301| -. -. -. -. -. -.
% 18.48/18.72 (SAT)(equ)(fun)(SAT) 301+ -1 -1 -1 -. -. -.
% 18.58/18.79 (SAT)(equ)(fun)(SAT) 302| -. -. -. -. -. -.
% 18.73/18.88 (SAT)(equ)(fun)(SAT) 302+ -1 -1 -1 -. -. -.
% 18.78/18.95 (SAT)(equ)(fun)(SAT) 303| -. -. -. -. -. -.
% 18.88/19.04 (SAT)(equ)(fun)(SAT) 303+ -1 -1 -1 -. -. -.
% 18.88/19.11 (SAT)(equ)(fun)(SAT) 304| -. -. -. -. -. -.
% 19.06/19.20 (SAT)(equ)(fun)(SAT) 304+ -1 -1 -1 -. -. -.
% 19.07/19.27 (SAT)(equ)(fun)(SAT) 305| -. -. -. -. -. -.
% 19.17/19.35 (SAT)(equ)(fun)(SAT) 305+ -1 -1 -1 -. -. -.
% 19.25/19.43 (SAT)(equ)(fun)(SAT) 306| -. -. -. -. -. -.
% 19.37/19.52 (SAT)(equ)(fun)(SAT) 306+ -1 -1 -1 -. -. -.
% 19.37/19.59 (SAT)(equ)(fun)(SAT) 307| -. -. -. -. -. -.
% 19.48/19.68 (SAT)(equ)(fun)(SAT) 307+ -1 -1 -1 -. -. -.
% 19.57/19.76 (SAT)(equ)(fun)(SAT) 308| -. -. -. -. -. -.
% 19.65/19.85 (SAT)(equ)(fun)(SAT) 308+ -1 -1 -1 -. -. -.
% 19.75/19.92 (SAT)(equ)(fun)(SAT) 309| -. -. -. -. -. -.
% 19.88/20.01 (SAT)(equ)(fun)(SAT) 309+ -1 -1 -1 -. -. -.
% 19.88/20.08 (SAT)(equ)(fun)(SAT) 310| -. -. -. -. -. -.
% 19.96/20.18 (SAT)(equ)(fun)(SAT) 310+ -1 -1 -1 -. -. -.
% 20.05/20.25 (SAT)(equ)(fun)(SAT) 311| -. -. -. -. -. -.
% 20.19/20.34 (SAT)(equ)(fun)(SAT) 311+ -1 -1 -1 -. -. -.
% 20.26/20.42 (SAT)(equ)(fun)(SAT) 312| -. -. -. -. -. -.
% 20.33/20.51 (SAT)(equ)(fun)(SAT) 312+ -1 -1 -1 -. -. -.
% 20.43/20.59 (SAT)(equ)(fun)(SAT) 313| -. -. -. -. -. -.
% 20.48/20.68 (SAT)(equ)(fun)(SAT) 313+ -1 -1 -1 -. -. -.
% 20.56/20.75 (SAT)(equ)(fun)(SAT) 314| -. -. -. -. -. -.
% 20.63/20.84 (SAT)(equ)(fun)(SAT) 314+ -1 -1 -1 -. -. -.
% 20.78/20.92 (SAT)(equ)(fun)(SAT) 315| -. -. -. -. -. -.
% 20.81/21.01 (SAT)(equ)(fun)(SAT) 315+ -1 -1 -1 -. -. -.
% 20.95/21.09 (SAT)(equ)(fun)(SAT) 316| -. -. -. -. -. -.
% 21.03/21.18 (SAT)(equ)(fun)(SAT) 316+ -1 -1 -1 -. -. -.
% 21.10/21.26 (SAT)(equ)(fun)(SAT) 317| -. -. -. -. -. -.
% 21.19/21.35 (SAT)(equ)(fun)(SAT) 317+ -1 -1 -1 -. -. -.
% 21.25/21.43 (SAT)(equ)(fun)(SAT) 318| -. -. -. -. -. -.
% 21.35/21.52 (SAT)(equ)(fun)(SAT) 318+ -1 -1 -1 -. -. -.
% 21.40/21.61 (SAT)(equ)(fun)(SAT) 319| -. -. -. -. -. -.
% 21.53/21.70 (SAT)(equ)(fun)(SAT) 319+ -1 -1 -1 -. -. -.
% 21.62/21.78 (SAT)(equ)(fun)(SAT) 320| -. -. -. -. -. -.
% 21.70/21.88 (SAT)(equ)(fun)(SAT) 320+ -1 -1 -1 -. -. -.
% 21.77/21.95 (SAT)(equ)(fun)(SAT) 321| -. -. -. -. -. -.
% 21.84/22.05 (SAT)(equ)(fun)(SAT) 321+ -1 -1 -1 -. -. -.
% 21.99/22.13 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -.
% 22.09/22.23 (SAT)(equ)(fun)(SAT) 322+ -1 -1 -1 -. -. -.
% 22.16/22.31 (SAT)(equ)(fun)(SAT) 323| -. -. -. -. -. -.
% 22.26/22.40 (SAT)(equ)(fun)(SAT) 323+ -1 -1 -1 -. -. -.
% 22.29/22.49 (SAT)(equ)(fun)(SAT) 324| -. -. -. -. -. -.
% 22.39/22.58 (SAT)(equ)(fun)(SAT) 324+ -1 -1 -1 -. -. -.
% 22.47/22.67 (SAT)(equ)(fun)(SAT) 325| -. -. -. -. -. -.
% 22.57/22.77 (SAT)(equ)(fun)(SAT) 325+ -1 -1 -1 -. -. -.
% 22.67/22.85 (SAT)(equ)(fun)(SAT) 326| -. -. -. -. -. -.
% 22.76/22.95 (SAT)(equ)(fun)(SAT) 326+ -1 -1 -1 -. -. -.
% 22.88/23.03 (SAT)(equ)(fun)(SAT) 327| -. -. -. -. -. -.
% 22.99/23.14 (SAT)(equ)(fun)(SAT) 327+ -1 -1 -1 -. -. -.
% 23.08/23.22 (SAT)(equ)(fun)(SAT) 328| -. -. -. -. -. -.
% 23.17/23.32 (SAT)(equ)(fun)(SAT) 328+ -1 -1 -1 -. -. -.
% 23.25/23.41 (SAT)(equ)(fun)(SAT) 329| -. -. -. -. -. -.
% 23.38/23.51 (SAT)(equ)(fun)(SAT) 329+ -1 -1 -1 -. -. -.
% 23.38/23.59 (SAT)(equ)(fun)(SAT) 330| -. -. -. -. -. -.
% 23.55/23.69 (SAT)(equ)(fun)(SAT) 330+ -1 -1 -1 -. -. -.
% 23.55/23.78 (SAT)(equ)(fun)(SAT) 331| -. -. -. -. -. -.
% 23.69/23.88 (SAT)(equ)(fun)(SAT) 331+ -1 -1 -1 -. -. -.
% 23.77/23.97 (SAT)(equ)(fun)(SAT) 332| -. -. -. -. -. -.
% 23.93/24.07 (SAT)(equ)(fun)(SAT) 332+ -1 -1 -1 -. -. -.
% 23.99/24.15 (SAT)(equ)(fun)(SAT) 333| -. -. -. -. -. -.
% 24.07/24.25 (SAT)(equ)(fun)(SAT) 333+ -1 -1 -1 -. -. -.
% 24.13/24.34 (SAT)(equ)(fun)(SAT) 334| -. -. -. -. -. -.
% 24.31/24.46 (SAT)(equ)(fun)(SAT) 334+ -1 -1 -1 -. -. -.
% 24.40/24.54 (SAT)(equ)(fun)(SAT) 335| -. -. -. -. -. -.
% 24.45/24.65 (SAT)(equ)(fun)(SAT) 335+ -1 -1 -1 -. -. -.
% 24.58/24.73 (SAT)(equ)(fun)(SAT) 336| -. -. -. -. -. -.
% 24.70/24.83 (SAT)(equ)(fun)(SAT) 336+ -1 -1 -1 -. -. -.
% 24.75/24.92 (SAT)(equ)(fun)(SAT) 337| -. -. -. -. -. -.
% 24.89/25.03 (SAT)(equ)(fun)(SAT) 337+ -1 -1 -1 -. -. -.
% 24.98/25.13 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -.
% 25.04/25.23 (SAT)(equ)(fun)(SAT) 338+ -1 -1 -1 -. -. -.
% 25.15/25.31 (SAT)(equ)(fun)(SAT) 339| -. -. -. -. -. -.
% 25.28/25.42 (SAT)(equ)(fun)(SAT) 339+ -1 -1 -1 -. -. -.
% 25.35/25.51 (SAT)(equ)(fun)(SAT) 340| -. -. -. -. -. -.
% 25.47/25.62 (SAT)(equ)(fun)(SAT) 340+ -1 -1 -1 -. -. -.
% 25.49/25.70 (SAT)(equ)(fun)(SAT) 341| -. -. -. -. -. -.
% 25.66/25.81 (SAT)(equ)(fun)(SAT) 341+ -1 -1 -1 -. -. -.
% 25.76/25.90 (SAT)(equ)(fun)(SAT) 342| -. -. -. -. -. -.
% 25.79/26.01 (SAT)(equ)(fun)(SAT) 342+ -1 -1 -1 -. -. -.
% 25.90/26.10 (SAT)(equ)(fun)(SAT) 343| -. -. -. -. -. -.
% 26.07/26.21 (SAT)(equ)(fun)(SAT) 343+ -1 -1 -1 -. -. -.
% 26.08/26.30 (SAT)(equ)(fun)(SAT) 344| -. -. -. -. -. -.
% 26.27/26.41 (SAT)(equ)(fun)(SAT) 344+ -1 -1 -1 -. -. -.
% 26.37/26.50 (SAT)(equ)(fun)(SAT) 345| -. -. -. -. -. -.
% 26.38/26.61 (SAT)(equ)(fun)(SAT) 345+ -1 -1 -1 -. -. -.
% 26.49/26.70 (SAT)(equ)(fun)(SAT) 346| -. -. -. -. -. -.
% 26.67/26.81 (SAT)(equ)(fun)(SAT) 346+ -1 -1 -1 -. -. -.
% 26.76/26.90 (SAT)(equ)(fun)(SAT) 347| -. -. -. -. -. -.
% 26.88/27.02 (SAT)(equ)(fun)(SAT) 347+ -1 -1 -1 -. -. -.
% 26.97/27.11 (SAT)(equ)(fun)(SAT) 348| -. -. -. -. -. -.
% 27.05/27.22 (SAT)(equ)(fun)(SAT) 348+ -1 -1 -1 -. -. -.
% 27.15/27.31 (SAT)(equ)(fun)(SAT) 349| -. -. -. -. -. -.
% 27.27/27.42 (SAT)(equ)(fun)(SAT) 349+ -1 -1 -1 -. -. -.
% 27.35/27.51 (SAT)(equ)(fun)(SAT) 350| -. -. -. -. -. -.
% 27.50/27.62 (SAT)(equ)(fun)(SAT) 350+ -1 -1 -1 -. -. -.
% 27.57/27.72 (SAT)(equ)(fun)(SAT) 351| -. -. -. -. -. -.
% 27.65/27.83 (SAT)(equ)(fun)(SAT) 351+ -1 -1 -1 -. -. -.
% 27.79/27.92 (SAT)(equ)(fun)(SAT) 352| -. -. -. -. -. -.
% 27.90/28.04 (SAT)(equ)(fun)(SAT) 352+ -1 -1 -1 -. -. -.
% 27.96/28.13 (SAT)(equ)(fun)(SAT) 353| -. -. -. -. -. -.
% 28.11/28.25 (SAT)(equ)(fun)(SAT) 353+ -1 -1 -1 -. -. -.
% 28.20/28.34 (SAT)(equ)(fun)(SAT) 354| -. -. -. -. -. -.
% 28.26/28.46 (SAT)(equ)(fun)(SAT) 354+ -1 -1 -1 -. -. -.
% 28.41/28.56 (SAT)(equ)(fun)(SAT) 355| -. -. -. -. -. -.
% 28.54/28.67 (SAT)(equ)(fun)(SAT) 355+ -1 -1 -1 -. -. -.
% 28.63/28.77 (SAT)(equ)(fun)(SAT) 356| -. -. -. -. -. -.
% 28.71/28.88 (SAT)(equ)(fun)(SAT) 356+ -1 -1 -1 -. -. -.
% 28.78/28.98 (SAT)(equ)(fun)(SAT) 357| -. -. -. -. -. -.
% 28.94/29.09 (SAT)(equ)(fun)(SAT) 357+ -1 -1 -1 -. -. -.
% 29.00/29.19 (SAT)(equ)(fun)(SAT) 358| -. -. -. -. -. -.
% 29.17/29.31 (SAT)(equ)(fun)(SAT) 358+ -1 -1 -1 -. -. -.
% 29.27/29.40 (SAT)(equ)(fun)(SAT) 359| -. -. -. -. -. -.
% 29.39/29.53 (SAT)(equ)(fun)(SAT) 359+ -1 -1 -1 -. -. -.
% 29.48/29.63 (SAT)(equ)(fun)(SAT) 360| -. -. -. -. -. -.
% 29.58/29.76 (SAT)(equ)(fun)(SAT) 360+ -1 -1 -1 -. -. -.
% 29.68/29.86 (SAT)(equ)(fun)(SAT) 361| -. -. -. -. -. -.
% 29.76/29.98 (SAT)(equ)(fun)(SAT) 361+ -1 -1 -1 -. -. -.
% 29.88/30.09 (SAT)(equ)(fun)(SAT) 362| -. -. -. -. -. -.
% 30.08/30.23 (SAT)(equ)(fun)(SAT) 362+ -1 -1 -1 -. -. -.
% 30.18/30.33 (SAT)(equ)(fun)(SAT) 363| -. -. -. -. -. -.
% 30.26/30.46 (SAT)(equ)(fun)(SAT) 363+ -1 -1 -1 -. -. -.
% 30.39/30.56 (SAT)(equ)(fun)(SAT) 364| -. -. -. -. -. -.
% 30.56/30.69 (SAT)(equ)(fun)(SAT) 364+ -1 -1 -1 -. -. -.
% 30.66/30.79 (SAT)(equ)(fun)(SAT) 365| -. -. -. -. -. -.
% 30.78/30.91 (SAT)(equ)(fun)(SAT) 365+ -1 -1 -1 -. -. -.
% 30.85/31.01 (SAT)(equ)(fun)(SAT) 366| -. -. -. -. -. -.
% 31.00/31.14 (SAT)(equ)(fun)(SAT) 366+ -1 -1 -1 -. -. -.
% 31.08/31.24 (SAT)(equ)(fun)(SAT) 367| -. -. -. -. -. -.
% 31.15/31.36 (SAT)(equ)(fun)(SAT) 367+ -1 -1 -1 -. -. -.
% 31.32/31.46 (SAT)(equ)(fun)(SAT) 368| -. -. -. -. -. -.
% 31.46/31.58 (SAT)(equ)(fun)(SAT) 368+ -1 -1 -1 -. -. -.
% 31.55/31.69 (SAT)(equ)(fun)(SAT) 369| -. -. -. -. -. -.
% 31.62/31.81 (SAT)(equ)(fun)(SAT) 369+ -1 -1 -1 -. -. -.
% 31.76/31.91 (SAT)(equ)(fun)(SAT) 370| -. -. -. -. -. -.
% 31.91/32.04 (SAT)(equ)(fun)(SAT) 370+ -1 -1 -1 -. -. -.
% 31.98/32.14 (SAT)(equ)(fun)(SAT) 371| -. -. -. -. -. -.
% 32.13/32.26 (SAT)(equ)(fun)(SAT) 371+ -1 -1 -1 -. -. -.
% 32.21/32.36 (SAT)(equ)(fun)(SAT) 372| -. -. -. -. -. -.
% 32.36/32.50 (SAT)(equ)(fun)(SAT) 372+ -1 -1 -1 -. -. -.
% 32.47/32.60 (SAT)(equ)(fun)(SAT) 373| -. -. -. -. -. -.
% 32.59/32.73 (SAT)(equ)(fun)(SAT) 373+ -1 -1 -1 -. -. -.
% 32.67/32.83 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -.
% 32.81/32.95 (SAT)(equ)(fun)(SAT) 374+ -1 -1 -1 -. -. -.
% 32.90/33.06 (SAT)(equ)(fun)(SAT) 375| -. -. -. -. -. -.
% 33.07/33.19 (SAT)(equ)(fun)(SAT) 375+ -1 -1 -1 -. -. -.
% 33.09/33.30 (SAT)(equ)(fun)(SAT) 376| -. -. -. -. -. -.
% 33.28/33.42 (SAT)(equ)(fun)(SAT) 376+ -1 -1 -1 -. -. -.
% 33.39/33.52 (SAT)(equ)(fun)(SAT) 377| -. -. -. -. -. -.
% 33.50/33.66 (SAT)(equ)(fun)(SAT) 377+ -1 -1 -1 -. -. -.
% 33.59/33.76 (SAT)(equ)(fun)(SAT) 378| -. -. -. -. -. -.
% 33.77/33.90 (SAT)(equ)(fun)(SAT) 378+ -1 -1 -1 -. -. -.
% 33.87/34.00 (SAT)(equ)(fun)(SAT) 379| -. -. -. -. -. -.
% 33.98/34.14 (SAT)(equ)(fun)(SAT) 379+ -1 -1 -1 -. -. -.
% 34.07/34.25 (SAT)(equ)(fun)(SAT) 380| -. -. -. -. -. -.
% 34.20/34.38 (SAT)(equ)(fun)(SAT) 380+ -1 -1 -1 -. -. -.
% 34.35/34.49 (SAT)(equ)(fun)(SAT) 381| -. -. -. -. -. -.
% 34.47/34.62 (SAT)(equ)(fun)(SAT) 381+ -1 -1 -1 -. -. -.
% 34.58/34.73 (SAT)(equ)(fun)(SAT) 382| -. -. -. -. -. -.
% 34.65/34.87 (SAT)(equ)(fun)(SAT) 382+ -1 -1 -1 -. -. -.
% 34.81/34.98 (SAT)(equ)(fun)(SAT) 383| -. -. -. -. -. -.
% 34.96/35.12 (SAT)(equ)(fun)(SAT) 383+ -1 -1 -1 -. -. -.
% 35.08/35.23 (SAT)(equ)(fun)(SAT) 384| -. -. -. -. -. -.
% 35.20/35.37 (SAT)(equ)(fun)(SAT) 384+ -1 -1 -1 -. -. -.
% 35.35/35.48 (SAT)(equ)(fun)(SAT) 385| -. -. -. -. -. -.
% 35.49/35.62 (SAT)(equ)(fun)(SAT) 385+ -1 -1 -1 -. -. -.
% 35.55/35.73 (SAT)(equ)(fun)(SAT) 386| -. -. -. -. -. -.
% 35.72/35.86 (SAT)(equ)(fun)(SAT) 386+ -1 -1 -1 -. -. -.
% 35.79/35.98 (SAT)(equ)(fun)(SAT) 387| -. -. -. -. -. -.
% 35.98/36.11 (SAT)(equ)(fun)(SAT) 387+ -1 -1 -1 -. -. -.
% 36.10/36.23 (SAT)(equ)(fun)(SAT) 388| -. -. -. -. -. -.
% 36.17/36.37 (SAT)(equ)(fun)(SAT) 388+ -1 -1 -1 -. -. -.
% 36.30/36.48 (SAT)(equ)(fun)(SAT) 389| -. -. -. -. -. -.
% 36.49/36.62 (SAT)(equ)(fun)(SAT) 389+ -1 -1 -1 -. -. -.
% 36.59/36.73 (SAT)(equ)(fun)(SAT) 390| -. -. -. -. -. -.
% 36.69/36.88 (SAT)(equ)(fun)(SAT) 390+ -1 -1 -1 -. -. -.
% 36.86/36.99 (SAT)(equ)(fun)(SAT) 391| -. -. -. -. -. -.
% 37.00/37.14 (SAT)(equ)(fun)(SAT) 391+ -1 -1 -1 -. -. -.
% 37.09/37.25 (SAT)(equ)(fun)(SAT) 392| -. -. -. -. -. -.
% 37.27/37.39 (SAT)(equ)(fun)(SAT) 392+ -1 -1 -1 -. -. -.
% 37.39/37.51 (SAT)(equ)(fun)(SAT) 393| -. -. -. -. -. -.
% 37.49/37.65 (SAT)(equ)(fun)(SAT) 393+ -1 -1 -1 -. -. -.
% 37.57/37.77 (SAT)(equ)(fun)(SAT) 394| -. -. -. -. -. -.
% 37.78/37.92 (SAT)(equ)(fun)(SAT) 394+ -1 -1 -1 -. -. -.
% 37.86/38.03 (SAT)(equ)(fun)(SAT) 395| -. -. -. -. -. -.
% 38.01/38.18 (SAT)(equ)(fun)(SAT) 395+ -1 -1 -1 -. -. -.
% 38.15/38.29 (SAT)(equ)(fun)(SAT) 396| -. -. -. -. -. -.
% 38.32/38.44 (SAT)(equ)(fun)(SAT) 396+ -1 -1 -1 -. -. -.
% 38.41/38.55 (SAT)(equ)(fun)(SAT) 397| -. -. -. -. -. -.
% 38.55/38.70 (SAT)(equ)(fun)(SAT) 397+ -1 -1 -1 -. -. -.
% 38.62/38.81 (SAT)(equ)(fun)(SAT) 398| -. -. -. -. -. -.
% 38.77/38.95 (SAT)(equ)(fun)(SAT) 398+ -1 -1 -1 -. -. -.
% 38.93/39.08 (SAT)(equ)(fun)(SAT) 399| -. -. -. -. -. -.
% 39.06/39.22 (SAT)(equ)(fun)(SAT) 399+ -1 -1 -1 -. -. -.
% 39.22/39.34 (SAT)(equ)(fun)(SAT) 400| -. -. -. -. -. -.
% 39.37/39.49 (SAT)(equ)(fun)(SAT) 400+ -1 -1 -1 -. -. -.
% 39.49/39.60 (SAT)(equ)(fun)(SAT) 401| -. -. -. -. -. -.
% 39.61/39.75 (SAT)(equ)(fun)(SAT) 401+ -1 -1 -1 -. -. -.
% 39.68/39.87 (SAT)(equ)(fun)(SAT) 402| -. -. -. -. -. -.
% 39.81/40.02 (SAT)(equ)(fun)(SAT) 402+ -1 -1 -1 -. -. -.
% 39.99/40.14 (SAT)(equ)(fun)(SAT) 403| -. -. -. -. -. -.
% 40.10/40.30 (SAT)(equ)(fun)(SAT) 403+ -1 -1 -1 -. -. -.
% 40.28/40.41 (SAT)(equ)(fun)(SAT) 404| -. -. -. -. -. -.
% 40.39/40.56 (SAT)(equ)(fun)(SAT) 404+ -1 -1 -1 -. -. -.
% 40.50/40.68 (SAT)(equ)(fun)(SAT) 405| -. -. -. -. -. -.
% 40.68/40.83 (SAT)(equ)(fun)(SAT) 405+ -1 -1 -1 -. -. -.
% 40.77/40.96 (SAT)(equ)(fun)(SAT) 406| -. -. -. -. -. -.
% 40.99/41.11 (SAT)(equ)(fun)(SAT) 406+ -1 -1 -1 -. -. -.
% 41.08/41.23 (SAT)(equ)(fun)(SAT) 407| -. -. -. -. -. -.
% 41.21/41.39 (SAT)(equ)(fun)(SAT) 407+ -1 -1 -1 -. -. -.
% 41.36/41.51 (SAT)(equ)(fun)(SAT) 408| -. -. -. -. -. -.
% 41.51/41.67 (SAT)(equ)(fun)(SAT) 408+ -1 -1 -1 -. -. -.
% 41.66/41.78 (SAT)(equ)(fun)(SAT) 409| -. -. -. -. -. -.
% 41.82/41.94 (SAT)(equ)(fun)(SAT) 409+ -1 -1 -1 -. -. -.
% 41.91/42.06 (SAT)(equ)(fun)(SAT) 410| -. -. -. -. -. -.
% 42.10/42.21 (SAT)(equ)(fun)(SAT) 410+ -1 -1 -1 -. -. -.
% 42.21/42.34 (SAT)(equ)(fun)(SAT) 411| -. -. -. -. -. -.
% 42.37/42.49 (SAT)(equ)(fun)(SAT) 411+ -1 -1 -1 -. -. -.
% 42.49/42.62 (SAT)(equ)(fun)(SAT) 412| -. -. -. -. -. -.
% 42.65/42.77 (SAT)(equ)(fun)(SAT) 412+ -1 -1 -1 -. -. -.
% 42.73/42.89 (SAT)(equ)(fun)(SAT) 413| -. -. -. -. -. -.
% 42.88/43.05 (SAT)(equ)(fun)(SAT) 413+ -1 -1 -1 -. -. -.
% 43.02/43.18 (SAT)(equ)(fun)(SAT) 414| -. -. -. -. -. -.
% 43.19/43.34 (SAT)(equ)(fun)(SAT) 414+ -1 -1 -1 -. -. -.
% 43.32/43.46 (SAT)(equ)(fun)(SAT) 415| -. -. -. -. -. -.
% 43.50/43.62 (SAT)(equ)(fun)(SAT) 415+ -1 -1 -1 -. -. -.
% 43.60/43.75 (SAT)(equ)(fun)(SAT) 416| -. -. -. -. -. -.
% 43.78/43.90 (SAT)(equ)(fun)(SAT) 416+ -1 -1 -1 -. -. -.
% 43.90/44.02 (SAT)(equ)(fun)(SAT) 417| -. -. -. -. -. -.
% 44.01/44.18 (SAT)(equ)(fun)(SAT) 417+ -1 -1 -1 -. -. -.
% 44.19/44.30 (SAT)(equ)(fun)(SAT) 418| -. -. -. -. -. -.
% 44.28/44.47 (SAT)(equ)(fun)(SAT) 418+ -1 -1 -1 -. -. -.
% 44.49/44.61 (SAT)(equ)(fun)(SAT) 419| -. -. -. -. -. -.
% 44.58/44.78 (SAT)(equ)(fun)(SAT) 419+ -1 -1 -1 -. -. -.
% 44.79/44.91 (SAT)(equ)(fun)(SAT) 420| -. -. -. -. -. -.
% 44.96/45.09 (SAT)(equ)(fun)(SAT) 420+ -1 -1 -1 -. -. -.
% 45.09/45.24 (SAT)(equ)(fun)(SAT) 421| -. -. -. -. -. -.
% 45.28/45.40 (SAT)(equ)(fun)(SAT) 421+ -1 -1 -1 -. -. -.
% 45.42/45.54 (SAT)(equ)(fun)(SAT) 422| -. -. -. -. -. -.
% 45.56/45.71 (SAT)(equ)(fun)(SAT) 422+ -1 -1 -1 -. -. -.
% 45.72/45.84 (SAT)(equ)(fun)(SAT) 423| -. -. -. -. -. -.
% 45.88/46.01 (SAT)(equ)(fun)(SAT) 423+ -1 -1 -1 -. -. -.
% 46.00/46.14 (SAT)(equ)(fun)(SAT) 424| -. -. -. -. -. -.
% 46.17/46.31 (SAT)(equ)(fun)(SAT) 424+ -1 -1 -1 -. -. -.
% 46.30/46.44 (SAT)(equ)(fun)(SAT) 425| -. -. -. -. -. -.
% 46.49/46.60 (SAT)(equ)(fun)(SAT) 425+ -1 -1 -1 -. -. -.
% 46.61/46.74 (SAT)(equ)(fun)(SAT) 426| -. -. -. -. -. -.
% 46.79/46.90 (SAT)(equ)(fun)(SAT) 426+ -1 -1 -1 -. -. -.
% 46.91/47.03 (SAT)(equ)(fun)(SAT) 427| -. -. -. -. -. -.
% 47.09/47.20 (SAT)(equ)(fun)(SAT) 427+ -1 -1 -1 -. -. -.
% 47.20/47.33 (SAT)(equ)(fun)(SAT) 428| -. -. -. -. -. -.
% 47.39/47.50 (SAT)(equ)(fun)(SAT) 428+ -1 -1 -1 -. -. -.
% 47.52/47.63 (SAT)(equ)(fun)(SAT) 429| -. -. -. -. -. -.
% 47.69/47.80 (SAT)(equ)(fun)(SAT) 429+ -1 -1 -1 -. -. -.
% 47.78/47.93 (SAT)(equ)(fun)(SAT) 430| -. -. -. -. -. -.
% 47.99/48.10 (SAT)(equ)(fun)(SAT) 430+ -1 -1 -1 -. -. -.
% 48.08/48.24 (SAT)(equ)(fun)(SAT) 431| -. -. -. -. -. -.
% 48.29/48.41 (SAT)(equ)(fun)(SAT) 431+ -1 -1 -1 -. -. -.
% 48.37/48.54 (SAT)(equ)(fun)(SAT) 432| -. -. -. -. -. -.
% 48.59/48.71 (SAT)(equ)(fun)(SAT) 432+ -1 -1 -1 -. -. -.
% 48.66/48.84 (SAT)(equ)(fun)(SAT) 433| -. -. -. -. -. -.
% 48.83/49.02 (SAT)(equ)(fun)(SAT) 433+ -1 -1 -1 -. -. -.
% 48.97/49.15 (SAT)(equ)(fun)(SAT) 434| -. -. -. -. -. -.
% 49.22/49.33 (SAT)(equ)(fun)(SAT) 434+ -1 -1 -1 -. -. -.
% 49.28/49.46 (SAT)(equ)(fun)(SAT) 435| -. -. -. -. -. -.
% 49.51/49.63 (SAT)(equ)(fun)(SAT) 435+ -1 -1 -1 -. -. -.
% 49.66/49.77 (SAT)(equ)(fun)(SAT) 436| -. -. -. -. -. -.
% 49.81/49.94 (SAT)(equ)(fun)(SAT) 436+ -1 -1 -1 -. -. -.
% 49.97/50.08 (SAT)(equ)(fun)(SAT) 437| -. -. -. -. -. -.
% 50.12/50.25 (SAT)(equ)(fun)(SAT) 437+ -1 -1 -1 -. -. -.
% 50.27/50.39 (SAT)(equ)(fun)(SAT) 438| -. -. -. -. -. -.
% 50.42/50.57 (SAT)(equ)(fun)(SAT) 438+ -1 -1 -1 -. -. -.
% 50.60/50.71 (SAT)(equ)(fun)(SAT) 439| -. -. -. -. -. -.
% 50.71/50.89 (SAT)(equ)(fun)(SAT) 439+ -1 -1 -1 -. -. -.
% 50.91/51.03 (SAT)(equ)(fun)(SAT) 440| -. -. -. -. -. -.
% 51.02/51.20 (SAT)(equ)(fun)(SAT) 440+ -1 -1 -1 -. -. -.
% 51.20/51.35 (SAT)(equ)(fun)(SAT) 441| -. -. -. -. -. -.
% 51.41/51.52 (SAT)(equ)(fun)(SAT) 441+ -1 -1 -1 -. -. -.
% 51.49/51.66 (SAT)(equ)(fun)(SAT) 442| -. -. -. -. -. -.
% 51.72/51.83 (SAT)(equ)(fun)(SAT) 442+ -1 -1 -1 -. -. -.
% 51.80/51.97 (SAT)(equ)(fun)(SAT) 443| -. -. -. -. -. -.
% 52.03/52.15 (SAT)(equ)(fun)(SAT) 443+ -1 -1 -1 -. -. -.
% 52.17/52.29 (SAT)(equ)(fun)(SAT) 444| -. -. -. -. -. -.
% 52.34/52.48 (SAT)(equ)(fun)(SAT) 444+ -1 -1 -1 -. -. -.
% 52.49/52.62 (SAT)(equ)(fun)(SAT) 445| -. -. -. -. -. -.
% 52.64/52.79 (SAT)(equ)(fun)(SAT) 445+ -1 -1 -1 -. -. -.
% 52.78/52.94 (SAT)(equ)(fun)(SAT) 446| -. -. -. -. -. -.
% 53.01/53.12 (SAT)(equ)(fun)(SAT) 446+ -1 -1 -1 -. -. -.
% 53.16/53.26 (SAT)(equ)(fun)(SAT) 447| -. -. -. -. -. -.
% 53.30/53.46 (SAT)(equ)(fun)(SAT) 447+ -1 -1 -1 -. -. -.
% 53.50/53.62 (SAT)(equ)(fun)(SAT) 448| -. -. -. -. -. -.
% 53.69/53.82 (SAT)(equ)(fun)(SAT) 448+ -1 -1 -1 -. -. -.
% 53.82/53.97 (SAT)(equ)(fun)(SAT) 449| -. -. -. -. -. -.
% 54.00/54.17 (SAT)(equ)(fun)(SAT) 449+ -1 -1 -1 -. -. -.
% 54.20/54.32 (SAT)(equ)(fun)(SAT) 450| -. -. -. -. -. -.
% 54.41/54.51 (SAT)(equ)(fun)(SAT) 450+ -1 -1 -1 -. -. -.
% 54.52/54.68 (SAT)(equ)(fun)(SAT) 451| -. -. -. -. -. -.
% 54.69/54.88 (SAT)(equ)(fun)(SAT) 451+ -1 -1 -1 -. -. -.
% 54.90/55.03 (SAT)(equ)(fun)(SAT) 452| -. -. -. -. -. -.
% 55.08/55.23 (SAT)(equ)(fun)(SAT) 452+ -1 -1 -1 -. -. -.
% 55.22/55.38 (SAT)(equ)(fun)(SAT) 453| -. -. -. -. -. -.
% 55.46/55.59 (SAT)(equ)(fun)(SAT) 453+ -1 -1 -1 -. -. -.
% 55.59/55.75 (SAT)(equ)(fun)(SAT) 454| -. -. -. -. -. -.
% 55.83/55.96 (SAT)(equ)(fun)(SAT) 454+ -1 -1 -1 -. -. -.
% 55.98/56.11 (SAT)(equ)(fun)(SAT) 455| -. -. -. -. -. -.
% 56.14/56.31 (SAT)(equ)(fun)(SAT) 455+ -1 -1 -1 -. -. -.
% 56.37/56.48 (SAT)(equ)(fun)(SAT) 456| -. -. -. -. -. -.
% 56.57/56.68 (SAT)(equ)(fun)(SAT) 456+ -1 -1 -1 -. -. -.
% 56.73/56.84 (SAT)(equ)(fun)(SAT) 457| -. -. -. -. -. -.
% 56.88/57.05 (SAT)(equ)(fun)(SAT) 457+ -1 -1 -1 -. -. -.
% 57.02/57.19 (SAT)(equ)(fun)(SAT) 458| -. -. -. -. -. -.
% 57.27/57.39 (SAT)(equ)(fun)(SAT) 458+ -1 -1 -1 -. -. -.
% 57.42/57.54 (SAT)(equ)(fun)(SAT) 459| -. -. -. -. -. -.
% 57.61/57.74 (SAT)(equ)(fun)(SAT) 459+ -1 -1 -1 -. -. -.
% 57.70/57.89 (SAT)(equ)(fun)(SAT) 460| -. -. -. -. -. -.
% 57.90/58.08 (SAT)(equ)(fun)(SAT) 460+ -1 -1 -1 -. -. -.
% 58.10/58.23 (SAT)(equ)(fun)(SAT) 461| -. -. -. -. -. -.
% 58.29/58.41 (SAT)(equ)(fun)(SAT) 461+ -1 -1 -1 -. -. -.
% 58.41/58.56 (SAT)(equ)(fun)(SAT) 462| -. -. -. -. -. -.
% 58.59/58.76 (SAT)(equ)(fun)(SAT) 462+ -1 -1 -1 -. -. -.
% 58.80/58.91 (SAT)(equ)(fun)(SAT) 463| -. -. -. -. -. -.
% 58.99/59.10 (SAT)(equ)(fun)(SAT) 463+ -1 -1 -1 -. -. -.
% 59.10/59.25 (SAT)(equ)(fun)(SAT) 464| -. -. -. -. -. -.
% 59.33/59.45 (SAT)(equ)(fun)(SAT) 464+ -1 -1 -1 -. -. -.
% 59.48/59.61 (SAT)(equ)(fun)(SAT) 465| -. -. -. -. -. -.
% 59.63/59.80 (SAT)(equ)(fun)(SAT) 465+ -1 -1 -1 -. -. -.
% 59.78/59.95 (SAT)(equ)(fun)(SAT) 466| -. -. -. -. -. -.
% 60.07/60.19 (SAT)(equ)(fun)(SAT) 466+ -1 -1 -1 -. -. -.
% 60.24/60.35 (SAT)(equ)(fun)(SAT) 467| -. -. -. -. -. -.
% 60.39/60.56 (SAT)(equ)(fun)(SAT) 467+ -1 -1 -1 -. -. -.
% 60.62/60.73 (SAT)(equ)(fun)(SAT) 468| -. -. -. -. -. -.
% 60.83/60.93 (SAT)(equ)(fun)(SAT) 468+ -1 -1 -1 -. -. -.
% 60.92/61.10 (SAT)(equ)(fun)(SAT) 469| -. -. -. -. -. -.
% 61.11/61.29 (SAT)(equ)(fun)(SAT) 469+ -1 -1 -1 -. -. -.
% 61.29/61.44 (SAT)(equ)(fun)(SAT) 470| -. -. -. -. -. -.
% 61.52/61.65 (SAT)(equ)(fun)(SAT) 470+ -1 -1 -1 -. -. -.
% 61.70/61.81 (SAT)(equ)(fun)(SAT) 471| -. -. -. -. -. -.
% 61.91/62.01 (SAT)(equ)(fun)(SAT) 471+ -1 -1 -1 -. -. -.
% 62.00/62.16 (SAT)(equ)(fun)(SAT) 472| -. -. -. -. -. -.
% 62.22/62.36 (SAT)(equ)(fun)(SAT) 472+ -1 -1 -1 -. -. -.
% 62.37/62.52 (SAT)(equ)(fun)(SAT) 473| -. -. -. -. -. -.
% 62.60/62.72 (SAT)(equ)(fun)(SAT) 473+ -1 -1 -1 -. -. -.
% 62.68/62.87 (SAT)(equ)(fun)(SAT) 474| -. -. -. -. -. -.
% 62.93/63.08 (SAT)(equ)(fun)(SAT) 474+ -1 -1 -1 -. -. -.
% 63.14/63.24 (SAT)(equ)(fun)(SAT) 475| -. -. -. -. -. -.
% 63.29/63.46 (SAT)(equ)(fun)(SAT) 475+ -1 -1 -1 -. -. -.
% 63.51/63.63 (SAT)(equ)(fun)(SAT) 476| -. -. -. -. -. -.
% 63.74/63.84 (SAT)(equ)(fun)(SAT) 476+ -1 -1 -1 -. -. -.
% 63.88/64.02 (SAT)(equ)(fun)(SAT) 477| -. -. -. -. -. -.
% 64.12/64.24 (SAT)(equ)(fun)(SAT) 477+ -1 -1 -1 -. -. -.
% 64.30/64.41 (SAT)(equ)(fun)(SAT) 478| -. -. -. -. -. -.
% 64.51/64.64 (SAT)(equ)(fun)(SAT) 478+ -1 -1 -1 -. -. -.
% 64.71/64.81 (SAT)(equ)(fun)(SAT) 479| -. -. -. -. -. -.
% 64.91/65.03 (SAT)(equ)(fun)(SAT) 479+ -1 -1 -1 -. -. -.
% 65.02/65.20 (SAT)(equ)(fun)(SAT) 480| -. -. -. -. -. -.
% 65.29/65.40 (SAT)(equ)(fun)(SAT) 480+ -1 -1 -1 -. -. -.
% 65.41/65.57 (SAT)(equ)(fun)(SAT) 481| -. -. -. -. -. -.
% 65.59/65.76 (SAT)(equ)(fun)(SAT) 481+ -1 -1 -1 -. -. -.
% 65.80/65.92 (SAT)(equ)(fun)(SAT) 482| -. -. -. -. -. -.
% 66.03/66.14 (SAT)(equ)(fun)(SAT) 482+ -1 -1 -1 -. -. -.
% 66.18/66.30 (SAT)(equ)(fun)(SAT) 483| -. -. -. -. -. -.
% 66.34/66.52 (SAT)(equ)(fun)(SAT) 483+ -1 -1 -1 -. -. -.
% 66.58/66.68 (SAT)(equ)(fun)(SAT) 484| -. -. -. -. -. -.
% 66.79/66.88 (SAT)(equ)(fun)(SAT) 484+ -1 -1 -1 -. -. -.
% 66.94/67.06 (SAT)(equ)(fun)(SAT) 485| -. -. -. -. -. -.
% 67.16/67.27 (SAT)(equ)(fun)(SAT) 485+ -1 -1 -1 -. -. -.
% 67.31/67.43 (SAT)(equ)(fun)(SAT) 486| -. -. -. -. -. -.
% 67.53/67.64 (SAT)(equ)(fun)(SAT) 486+ -1 -1 -1 -. -. -.
% 67.70/67.80 (SAT)(equ)(fun)(SAT) 487| -. -. -. -. -. -.
% 67.84/68.02 (SAT)(equ)(fun)(SAT) 487+ -1 -1 -1 -. -. -.
% 68.09/68.18 (SAT)(equ)(fun)(SAT) 488| -. -. -. -. -. -.
% 68.30/68.39 (SAT)(equ)(fun)(SAT) 488+ -1 -1 -1 -. -. -.
% 68.42/68.57 (SAT)(equ)(fun)(SAT) 489| -. -. -. -. -. -.
% 68.62/68.78 (SAT)(equ)(fun)(SAT) 489+ -1 -1 -1 -. -. -.
% 68.80/68.94 (SAT)(equ)(fun)(SAT) 490| -. -. -. -. -. -.
% 69.01/69.16 (SAT)(equ)(fun)(SAT) 490+ -1 -1 -1 -. -. -.
% 69.23/69.33 (SAT)(equ)(fun)(SAT) 491| -. -. -. -. -. -.
% 69.38/69.56 (SAT)(equ)(fun)(SAT) 491+ -1 -1 -1 -. -. -.
% 69.60/69.72 (SAT)(equ)(fun)(SAT) 492| -. -. -. -. -. -.
% 69.84/69.94 (SAT)(equ)(fun)(SAT) 492+ -1 -1 -1 -. -. -.
% 69.99/70.12 (SAT)(equ)(fun)(SAT) 493| -. -. -. -. -. -.
% 70.23/70.33 (SAT)(equ)(fun)(SAT) 493+ -1 -1 -1 -. -. -.
% 70.40/70.50 (SAT)(equ)(fun)(SAT) 494| -. -. -. -. -. -.
% 70.58/70.72 (SAT)(equ)(fun)(SAT) 494+ -1 -1 -1 -. -. -.
% 70.75/70.89 (SAT)(equ)(fun)(SAT) 495| -. -. -. -. -. -.
% 71.02/71.11 (SAT)(equ)(fun)(SAT) 495+ -1 -1 -1 -. -. -.
% 71.13/71.28 (SAT)(equ)(fun)(SAT) 496| -. -. -. -. -. -.
% 71.34/71.50 (SAT)(equ)(fun)(SAT) 496+ -1 -1 -1 -. -. -.
% 71.60/71.69 (SAT)(equ)(fun)(SAT) 497| -. -. -. -. -. -.
% 71.80/71.90 (SAT)(equ)(fun)(SAT) 497+ -1 -1 -1 -. -. -.
% 71.92/72.07 (SAT)(equ)(fun)(SAT) 498| -. -. -. -. -. -.
% 72.21/72.30 (SAT)(equ)(fun)(SAT) 498+ -1 -1 -1 -. -. -.
% 72.30/72.47 (SAT)(equ)(fun)(SAT) 499| -. -. -. -. -. -.
% 72.61/72.69 (SAT)(equ)(fun)(SAT) 499+ -1 -1 -1 -. -. -.
% 72.74/72.86 (SAT)(equ)(fun)(SAT) 500| -. -. -. -. -. -.
% 72.99/73.08 (SAT)(equ)(fun)(SAT) 500+ -1 -1 -1 -. -. -.
% 73.12/73.26 (SAT)(equ)(fun)(SAT) 501| -. -. -. -. -. -.
% 73.35/73.50 (SAT)(equ)(fun)(SAT) 501+ -1 -1 -1 -. -. -.
% 73.57/73.67 (SAT)(equ)(fun)(SAT) 502| -. -. -. -. -. -.
% 73.79/73.90 (SAT)(equ)(fun)(SAT) 502+ -1 -1 -1 -. -. -.
% 73.94/74.07 (SAT)(equ)(fun)(SAT) 503| -. -. -. -. -. -.
% 74.19/74.30 (SAT)(equ)(fun)(SAT) 503+ -1 -1 -1 -. -. -.
% 74.31/74.48 (SAT)(equ)(fun)(SAT) 504| -. -. -. -. -. -.
% 74.53/74.71 (SAT)(equ)(fun)(SAT) 504+ -1 -1 -1 -. -. -.
% 74.81/74.90 (SAT)(equ)(fun)(SAT) 505| -. -. -. -. -. -.
% 75.02/75.15 (SAT)(equ)(fun)(SAT) 505+ -1 -1 -1 -. -. -.
% 75.22/75.33 (SAT)(equ)(fun)(SAT) 506| -. -. -. -. -. -.
% 75.42/75.57 (SAT)(equ)(fun)(SAT) 506+ -1 -1 -1 -. -. -.
% 75.61/75.76 (SAT)(equ)(fun)(SAT) 507| -. -. -. -. -. -.
% 75.80/75.99 (SAT)(equ)(fun)(SAT) 507+ -1 -1 -1 -. -. -.
% 76.00/76.16 (SAT)(equ)(fun)(SAT) 508| -. -. -. -. -. -.
% 76.22/76.38 (SAT)(equ)(fun)(SAT) 508+ -1 -1 -1 -. -. -.
% 76.39/76.57 (SAT)(equ)(fun)(SAT) 509| -. -. -. -. -. -.
% 76.69/76.79 (SAT)(equ)(fun)(SAT) 509+ -1 -1 -1 -. -. -.
% 76.85/76.96 (SAT)(equ)(fun)(SAT) 510| -. -. -. -. -. -.
% 77.08/77.20 (SAT)(equ)(fun)(SAT) 510+ -1 -1 -1 -. -. -.
% 77.23/77.38 (SAT)(equ)(fun)(SAT) 511| -. -. -. -. -. -.
% 77.52/77.61 (SAT)(equ)(fun)(SAT) 511+ -1 -1 -1 -. -. -.
% 77.70/77.79 (SAT)(equ)(fun)(SAT) 512| -. -. -. -. -. -.
% 77.89/78.02 (SAT)(equ)(fun)(SAT) 512+ -1 -1 -1 -. -. -.
% 78.03/78.21 (SAT)(equ)(fun)(SAT) 513| -. -. -. -. -. -.
% 78.33/78.43 (SAT)(equ)(fun)(SAT) 513+ -1 -1 -1 -. -. -.
% 78.51/78.61 (SAT)(equ)(fun)(SAT) 514| -. -. -. -. -. -.
% 78.71/78.85 (SAT)(equ)(fun)(SAT) 514+ -1 -1 -1 -. -. -.
% 78.92/79.03 (SAT)(equ)(fun)(SAT) 515| -. -. -. -. -. -.
% 79.12/79.27 (SAT)(equ)(fun)(SAT) 515+ -1 -1 -1 -. -. -.
% 79.31/79.45 (SAT)(equ)(fun)(SAT) 516| -. -. -. -. -. -.
% 79.51/79.68 (SAT)(equ)(fun)(SAT) 516+ -1 -1 -1 -. -. -.
% 79.73/79.87 (SAT)(equ)(fun)(SAT) 517| -. -. -. -. -. -.
% 80.01/80.10 (SAT)(equ)(fun)(SAT) 517+ -1 -1 -1 -. -. -.
% 80.11/80.27 (SAT)(equ)(fun)(SAT) 518| -. -. -. -. -. -.
% 80.35/80.51 (SAT)(equ)(fun)(SAT) 518+ -1 -1 -1 -. -. -.
% 80.59/80.69 (SAT)(equ)(fun)(SAT) 519| -. -. -. -. -. -.
% 80.79/80.93 (SAT)(equ)(fun)(SAT) 519+ -1 -1 -1 -. -. -.
% 81.02/81.11 (SAT)(equ)(fun)(SAT) 520| -. -. -. -. -. -.
% 81.25/81.35 (SAT)(equ)(fun)(SAT) 520+ -1 -1 -1 -. -. -.
% 81.39/81.54 (SAT)(equ)(fun)(SAT) 521| -. -. -. -. -. -.
% 81.63/81.77 (SAT)(equ)(fun)(SAT) 521+ -1 -1 -1 -. -. -.
% 81.85/81.96 (SAT)(equ)(fun)(SAT) 522| -. -. -. -. -. -.
% 82.11/82.20 (SAT)(equ)(fun)(SAT) 522+ -1 -1 -1 -. -. -.
% 82.22/82.38 (SAT)(equ)(fun)(SAT) 523| -. -. -. -. -. -.
% 82.53/82.63 (SAT)(equ)(fun)(SAT) 523+ -1 -1 -1 -. -. -.
% 82.71/82.81 (SAT)(equ)(fun)(SAT) 524| -. -. -. -. -. -.
% 82.92/83.04 (SAT)(equ)(fun)(SAT) 524+ -1 -1 -1 -. -. -.
% 83.10/83.24 (SAT)(equ)(fun)(SAT) 525| -. -. -. -. -. -.
% 83.34/83.49 (SAT)(equ)(fun)(SAT) 525+ -1 -1 -1 -. -. -.
% 83.59/83.69 (SAT)(equ)(fun)(SAT) 526| -. -. -. -. -. -.
% 83.81/83.97 (SAT)(equ)(fun)(SAT) 526+ -1 -1 -1 -. -. -.
% 84.05/84.17 (SAT)(equ)(fun)(SAT) 527| -. -. -. -. -. -.
% 84.35/84.45 (SAT)(equ)(fun)(SAT) 527+ -1 -1 -1 -. -. -.
% 84.50/84.64 (SAT)(equ)(fun)(SAT) 528| -. -. -. -. -. -.
% 84.78/84.90 (SAT)(equ)(fun)(SAT) 528+ -1 -1 -1 -. -. -.
% 85.02/85.11 (SAT)(equ)(fun)(SAT) 529| -. -. -. -. -. -.
% 85.24/85.35 (SAT)(equ)(fun)(SAT) 529+ -1 -1 -1 -. -. -.
% 85.40/85.53 (SAT)(equ)(fun)(SAT) 530| -. -. -. -. -. -.
% 85.63/85.78 (SAT)(equ)(fun)(SAT) 530+ -1 -1 -1 -. -. -.
% 85.83/85.97 (SAT)(equ)(fun)(SAT) 531| -. -. -. -. -. -.
% 86.13/86.22 (SAT)(equ)(fun)(SAT) 531+ -1 -1 -1 -. -. -.
% 86.33/86.41 (SAT)(equ)(fun)(SAT) 532| -. -. -. -. -. -.
% 86.51/86.65 (SAT)(equ)(fun)(SAT) 532+ -1 -1 -1 -. -. -.
% 86.73/86.85 (SAT)(equ)(fun)(SAT) 533| -. -. -. -. -. -.
% 87.01/87.10 (SAT)(equ)(fun)(SAT) 533+ -1 -1 -1 -. -. -.
% 87.14/87.29 (SAT)(equ)(fun)(SAT) 534| -. -. -. -. -. -.
% 87.44/87.55 (SAT)(equ)(fun)(SAT) 534+ -1 -1 -1 -. -. -.
% 87.61/87.73 (SAT)(equ)(fun)(SAT) 535| -. -. -. -. -. -.
% 87.86/87.99 (SAT)(equ)(fun)(SAT) 535+ -1 -1 -1 -. -. -.
% 88.08/88.17 (SAT)(equ)(fun)(SAT) 536| -. -. -. -. -. -.
% 88.30/88.42 (SAT)(equ)(fun)(SAT) 536+ -1 -1 -1 -. -. -.
% 88.52/88.63 (SAT)(equ)(fun)(SAT) 537| -. -. -. -. -. -.
% 88.75/88.88 (SAT)(equ)(fun)(SAT) 537+ -1 -1 -1 -. -. -.
% 88.90/89.07 (SAT)(equ)(fun)(SAT) 538| -. -. -. -. -. -.
% 89.21/89.34 (SAT)(equ)(fun)(SAT) 538+ -1 -1 -1 -. -. -.
% 89.44/89.54 (SAT)(equ)(fun)(SAT) 539| -. -. -. -. -. -.
% 89.73/89.82 (SAT)(equ)(fun)(SAT) 539+ -1 -1 -1 -. -. -.
% 89.93/90.03 (SAT)(equ)(fun)(SAT) 540| -. -. -. -. -. -.
% 90.22/90.30 (SAT)(equ)(fun)(SAT) 540+ -1 -1 -1 -. -. -.
% 90.43/90.52 (SAT)(equ)(fun)(SAT) 541| -. -. -. -. -. -.
% 90.61/90.79 (SAT)(equ)(fun)(SAT) 541+ -1 -1 -1 -. -. -.
% 90.89/90.98 (SAT)(equ)(fun)(SAT) 542| -. -. -. -. -. -.
% 91.11/91.25 (SAT)(equ)(fun)(SAT) 542+ -1 -1 -1 -. -. -.
% 91.36/91.45 (SAT)(equ)(fun)(SAT) 543| -. -. -. -. -. -.
% 91.64/91.72 (SAT)(equ)(fun)(SAT) 543+ -1 -1 -1 -. -. -.
% 91.81/91.91 (SAT)(equ)(fun)(SAT) 544| -. -. -. -. -. -.
% 92.03/92.16 (SAT)(equ)(fun)(SAT) 544+ -1 -1 -1 -. -. -.
% 92.26/92.38 (SAT)(equ)(fun)(SAT) 545| -. -. -. -. -. -.
% 92.55/92.63 (SAT)(equ)(fun)(SAT) 545+ -1 -1 -1 -. -. -.
% 92.71/92.83 (SAT)(equ)(fun)(SAT) 546| -. -. -. -. -. -.
% 93.03/93.11 (SAT)(equ)(fun)(SAT) 546+ -1 -1 -1 -. -. -.
% 93.23/93.31 (SAT)(equ)(fun)(SAT) 547| -. -. -. -. -. -.
% 93.44/93.58 (SAT)(equ)(fun)(SAT) 547+ -1 -1 -1 -. -. -.
% 93.63/93.78 (SAT)(equ)(fun)(SAT) 548| -. -. -. -. -. -.
% 93.93/94.04 (SAT)(equ)(fun)(SAT) 548+ -1 -1 -1 -. -. -.
% 94.12/94.25 (SAT)(equ)(fun)(SAT) 549| -. -. -. -. -. -.
% 94.35/94.51 (SAT)(equ)(fun)(SAT) 549+ -1 -1 -1 -. -. -.
% 94.60/94.71 (SAT)(equ)(fun)(SAT) 550| -. -. -. -. -. -.
% 94.90/94.99 (SAT)(equ)(fun)(SAT) 550+ -1 -1 -1 -. -. -.
% 95.06/95.19 (SAT)(equ)(fun)(SAT) 551| -. -. -. -. -. -.
% 95.36/95.45 (SAT)(equ)(fun)(SAT) 551+ -1 -1 -1 -. -. -.
% 95.51/95.65 (SAT)(equ)(fun)(SAT) 552| -. -. -. -. -. -.
% 95.80/95.91 (SAT)(equ)(fun)(SAT) 552+ -1 -1 -1 -. -. -.
% 96.04/96.13 (SAT)(equ)(fun)(SAT) 553| -. -. -. -. -. -.
% 96.26/96.39 (SAT)(equ)(fun)(SAT) 553+ -1 -1 -1 -. -. -.
% 96.50/96.59 (SAT)(equ)(fun)(SAT) 554| -. -. -. -. -. -.
% 96.73/96.86 (SAT)(equ)(fun)(SAT) 554+ -1 -1 -1 -. -. -.
% 96.93/97.06 (SAT)(equ)(fun)(SAT) 555| -. -. -. -. -. -.
% 97.25/97.33 (SAT)(equ)(fun)(SAT) 555+ -1 -1 -1 -. -. -.
% 97.43/97.53 (SAT)(equ)(fun)(SAT) 556| -. -. -. -. -. -.
% 97.73/97.80 (SAT)(equ)(fun)(SAT) 556+ -1 -1 -1 -. -. -.
% 97.95/98.02 (SAT)(equ)(fun)(SAT) 557| -. -. -. -. -. -.
% 98.20/98.28 (SAT)(equ)(fun)(SAT) 557+ -1 -1 -1 -. -. -.
% 98.40/98.48 (SAT)(equ)(fun)(SAT) 558| -. -. -. -. -. -.
% 98.65/98.76 (SAT)(equ)(fun)(SAT) 558+ -1 -1 -1 -. -. -.
% 98.86/98.96 (SAT)(equ)(fun)(SAT) 559| -. -. -. -. -. -.
% 99.15/99.23 (SAT)(equ)(fun)(SAT) 559+ -1 -1 -1 -. -. -.
% 99.29/99.43 (SAT)(equ)(fun)(SAT) 560| -. -. -. -. -. -.
% 99.61/99.71 (SAT)(equ)(fun)(SAT) 560+ -1 -1 -1 -. -. -.
% 99.86/99.93 (SAT)(equ)(fun)(SAT) 561| -. -. -. -. -. -.
% 100.06/100.19 (SAT)(equ)(fun)(SAT) 561+ -1 -1 -1 -. -. -.
% 100.33/100.40 (SAT)(equ)(fun)(SAT) 562| -. -. -. -. -. -.
% 100.62/100.69 (SAT)(equ)(fun)(SAT) 562+ -1 -1 -1 -. -. -.
% 100.75/100.90 (SAT)(equ)(fun)(SAT) 563| -. -. -. -. -. -.
% 101.02/101.18 (SAT)(equ)(fun)(SAT) 563+ -1 -1 -1 -. -. -.
% 101.24/101.39 (SAT)(equ)(fun)(SAT) 564| -. -. -. -. -. -.
% 101.56/101.67 (SAT)(equ)(fun)(SAT) 564+ -1 -1 -1 -. -. -.
% 101.81/101.88 (SAT)(equ)(fun)(SAT) 565| -. -. -. -. -. -.
% 102.06/102.17 (SAT)(equ)(fun)(SAT) 565+ -1 -1 -1 -. -. -.
% 102.21/102.38 (SAT)(equ)(fun)(SAT) 566| -. -. -. -. -. -.
% 102.61/102.68 (SAT)(equ)(fun)(SAT) 566+ -1 -1 -1 -. -. -.
% 102.82/102.89 (SAT)(equ)(fun)(SAT) 567| -. -. -. -. -. -.
% 103.10/103.17 (SAT)(equ)(fun)(SAT) 567+ -1 -1 -1 -. -. -.
% 103.27/103.39 (SAT)(equ)(fun)(SAT) 568| -. -. -. -. -. -.
% 103.56/103.66 (SAT)(equ)(fun)(SAT) 568+ -1 -1 -1 -. -. -.
% 103.81/103.87 (SAT)(equ)(fun)(SAT) 569| -. -. -. -. -. -.
% 104.05/104.17 (SAT)(equ)(fun)(SAT) 569+ -1 -1 -1 -. -. -.
% 104.24/104.38 (SAT)(equ)(fun)(SAT) 570| -. -. -. -. -. -.
% 104.55/104.67 (SAT)(equ)(fun)(SAT) 570+ -1 -1 -1 -. -. -.
% 104.82/104.90 (SAT)(equ)(fun)(SAT) 571| -. -. -. -. -. -.
% 105.14/105.21 (SAT)(equ)(fun)(SAT) 571+ -1 -1 -1 -. -. -.
% 105.36/105.46 (SAT)(equ)(fun)(SAT) 572| -. -. -. -. -. -.
% 105.61/105.76 (SAT)(equ)(fun)(SAT) 572+ -1 -1 -1 -. -. -.
% 105.86/105.99 (SAT)(equ)(fun)(SAT) 573| -. -. -. -. -. -.
% 106.17/106.30 (SAT)(equ)(fun)(SAT) 573+ -1 -1 -1 -. -. -.
% 106.46/106.52 (SAT)(equ)(fun)(SAT) 574| -. -. -. -. -. -.
% 106.73/106.82 (SAT)(equ)(fun)(SAT) 574+ -1 -1 -1 -. -. -.
% 106.91/107.04 (SAT)(equ)(fun)(SAT) 575| -. -. -. -. -. -.
% 107.22/107.33 (SAT)(equ)(fun)(SAT) 575+ -1 -1 -1 -. -. -.
% 107.46/107.57 (SAT)(equ)(fun)(SAT) 576| -. -. -. -. -. -.
% 107.76/107.87 (SAT)(equ)(fun)(SAT) 576+ -1 -1 -1 -. -. -.
% 107.95/108.09 (SAT)(equ)(fun)(SAT) 577| -. -. -. -. -. -.
% 108.26/108.40 (SAT)(equ)(fun)(SAT) 577+ -1 -1 -1 -. -. -.
% 108.54/108.63 (SAT)(equ)(fun)(SAT) 578| -. -. -. -. -. -.
% 108.84/108.92 (SAT)(equ)(fun)(SAT) 578+ -1 -1 -1 -. -. -.
% 109.06/109.16 (SAT)(equ)(fun)(SAT) 579| -. -. -. -. -. -.
% 109.37/109.46 (SAT)(equ)(fun)(SAT) 579+ -1 -1 -1 -. -. -.
% 109.52/109.68 (SAT)(equ)(fun)(SAT) 580| -. -. -. -. -. -.
% 109.92/109.98 (SAT)(equ)(fun)(SAT) 580+ -1 -1 -1 -. -. -.
% 110.13/110.21 (SAT)(equ)(fun)(SAT) 581| -. -. -. -. -. -.
% 110.41/110.51 (SAT)(equ)(fun)(SAT) 581+ -1 -1 -1 -. -. -.
% 110.65/110.73 (SAT)(equ)(fun)(SAT) 582| -. -. -. -. -. -.
% 110.96/111.05 (SAT)(equ)(fun)(SAT) 582+ -1 -1 -1 -. -. -.
% 111.17/111.27 (SAT)(equ)(fun)(SAT) 583| -. -. -. -. -. -.
% 111.46/111.58 (SAT)(equ)(fun)(SAT) 583+ -1 -1 -1 -. -. -.
% 111.76/111.81 (SAT)(equ)(fun)(SAT) 584| -. -. -. -. -. -.
% 112.04/112.11 (SAT)(equ)(fun)(SAT) 584+ -1 -1 -1 -. -. -.
% 112.25/112.36 (SAT)(equ)(fun)(SAT) 585| -. -. -. -. -. -.
% 112.53/112.66 (SAT)(equ)(fun)(SAT) 585+ -1 -1 -1 -. -. -.
% 112.77/112.89 (SAT)(equ)(fun)(SAT) 586| -. -. -. -. -. -.
% 113.17/113.22 (SAT)(equ)(fun)(SAT) 586+ -1 -1 -1 -. -. -.
% 113.33/113.46 (SAT)(equ)(fun)(SAT) 587| -. -. -. -. -. -.
% 113.73/113.79 (SAT)(equ)(fun)(SAT) 587+ -1 -1 -1 -. -. -.
% 113.93/114.02 (SAT)(equ)(fun)(SAT) 588| -. -. -. -. -. -.
% 114.22/114.33 (SAT)(equ)(fun)(SAT) 588+ -1 -1 -1 -. -. -.
% 114.45/114.57 (SAT)(equ)(fun)(SAT) 589| -. -. -. -. -. -.
% 114.77/114.89 (SAT)(equ)(fun)(SAT) 589+ -1 -1 -1 -. -. -.
% 115.07/115.12 (SAT)(equ)(fun)(SAT) 590| -. -. -. -. -. -.
% 115.35/115.44 (SAT)(equ)(fun)(SAT) 590+ -1 -1 -1 -. -. -.
% 115.56/115.67 (SAT)(equ)(fun)(SAT) 591| -. -. -. -. -. -.
% 115.85/115.98 (SAT)(equ)(fun)(SAT) 591+ -1 -1 -1 -. -. -.
% 116.16/116.21 (SAT)(equ)(fun)(SAT) 592| -. -. -. -. -. -.
% 116.47/116.55 (SAT)(equ)(fun)(SAT) 592+ -1 -1 -1 -. -. -.
% 116.73/116.79 (SAT)(equ)(fun)(SAT) 593| -. -. -. -. -. -.
% 117.03/117.12 (SAT)(equ)(fun)(SAT) 593+ -1 -1 -1 -. -. -.
% 117.27/117.36 (SAT)(equ)(fun)(SAT) 594| -. -. -. -. -. -.
% 117.57/117.67 (SAT)(equ)(fun)(SAT) 594+ -1 -1 -1 -. -. -.
% 117.86/117.91 (SAT)(equ)(fun)(SAT) 595| -. -. -. -. -. -.
% 118.16/118.25 (SAT)(equ)(fun)(SAT) 595+ -1 -1 -1 -. -. -.
% 118.38/118.50 (SAT)(equ)(fun)(SAT) 596| -. -. -. -. -. -.
% 118.78/118.82 (SAT)(equ)(fun)(SAT) 596+ -1 -1 -1 -. -. -.
% 118.97/119.06 (SAT)(equ)(fun)(SAT) 597| -. -. -. -. -. -.
% 119.27/119.38 (SAT)(equ)(fun)(SAT) 597+ -1 -1 -1 -. -. -.
% 119.55/119.63 (SAT)(equ)(fun)(SAT) 598| -. -. -. -. -. -.
% 119.85/119.98 (SAT)(equ)(fun)(SAT) 598+ -1 -1 -1 -. -. -.
% 120.17/120.22 (SAT)(equ)(fun)(SAT) 599| -. -. -. -. -. -.
% 120.47/120.56 (SAT)(equ)(fun)(SAT) 599+ -1 -1 -1 -. -. -.
% 120.74/120.81 (SAT)(equ)(fun)(SAT) 600| -. -. -. -. -. -.
% 121.07/121.13 (SAT)(equ)(fun)(SAT) 600+ -1 -1 -1 -. -. -.
% 121.33/121.38 (SAT)(equ)(fun)(SAT) 601| -. -. -. -. -. -.
% 121.69/121.75 (SAT)(equ)(fun)(SAT) 601+ -1 -1 -1 -. -. -.
% 121.96/122.01 (SAT)(equ)(fun)(SAT) 602| -. -. -. -. -. -.
% 122.28/122.34 (SAT)(equ)(fun)(SAT) 602+ -1 -1 -1 -. -. -.
% 122.55/122.60 (SAT)(equ)(fun)(SAT) 603| -. -. -. -. -. -.
% 122.87/122.93 (SAT)(equ)(fun)(SAT) 603+ -1 -1 -1 -. -. -.
% 123.06/123.18 (SAT)(equ)(fun)(SAT) 604| -. -. -. -. -. -.
% 123.46/123.53 (SAT)(equ)(fun)(SAT) 604+ -1 -1 -1 -. -. -.
% 123.68/123.78 (SAT)(equ)(fun)(SAT) 605| -. -. -. -. -. -.
% 124.06/124.12 (SAT)(equ)(fun)(SAT) 605+ -1 -1 -1 -. -. -.
% 124.29/124.37 (SAT)(equ)(fun)(SAT) 606| -. -. -. -. -. -.
% 124.59/124.71 (SAT)(equ)(fun)(SAT) 606+ -1 -1 -1 -. -. -.
% 124.89/124.96 (SAT)(equ)(fun)(SAT) 607| -. -. -. -. -. -.
% 125.27/125.30 (SAT)(equ)(fun)(SAT) 607+ -1 -1 -1 -. -. -.
% 125.49/125.56 (SAT)(equ)(fun)(SAT) 608| -. -. -. -. -. -.
% 125.79/125.89 (SAT)(equ)(fun)(SAT) 608+ -1 -1 -1 -. -. -.
% 126.08/126.15 (SAT)(equ)(fun)(SAT) 609| -. -. -. -. -. -.
% 126.38/126.48 (SAT)(equ)(fun)(SAT) 609+ -1 -1 -1 -. -. -.
% 126.66/126.74 (SAT)(equ)(fun)(SAT) 610| -. -. -. -. -. -.
% 126.96/127.08 (SAT)(equ)(fun)(SAT) 610+ -1 -1 -1 -. -. -.
% 127.26/127.34 (SAT)(equ)(fun)(SAT) 611| -. -. -. -. -. -.
% 127.56/127.67 (SAT)(equ)(fun)(SAT) 611+ -1 -1 -1 -. -. -.
% 127.89/127.93 (SAT)(equ)(fun)(SAT) 612| -. -. -. -. -. -.
% 128.19/128.27 (SAT)(equ)(fun)(SAT) 612+ -1 -1 -1 -. -. -.
% 128.47/128.53 (SAT)(equ)(fun)(SAT) 613| -. -. -. -. -. -.
% 128.77/128.88 (SAT)(equ)(fun)(SAT) 613+ -1 -1 -1 -. -. -.
% 129.08/129.14 (SAT)(equ)(fun)(SAT) 614| -. -. -. -. -. -.
% 129.47/129.50 (SAT)(equ)(fun)(SAT) 614+ -1 -1 -1 -. -. -.
% 129.67/129.77 (SAT)(equ)(fun)(SAT) 615| -. -. -. -. -. -.
% 130.07/130.11 (SAT)(equ)(fun)(SAT) 615+ -1 -1 -1 -. -. -.
% 130.27/130.38 (SAT)(equ)(fun)(SAT) 616| -. -. -. -. -. -.
% 130.69/130.75 (SAT)(equ)(fun)(SAT) 616+ -1 -1 -1 -. -. -.
% 130.97/131.01 (SAT)(equ)(fun)(SAT) 617| -. -. -. -. -. -.
% 131.30/131.37 (SAT)(equ)(fun)(SAT) 617+ -1 -1 -1 -. -. -.
% 131.60/131.64 (SAT)(equ)(fun)(SAT) 618| -. -. -. -. -. -.
% 131.91/131.99 (SAT)(equ)(fun)(SAT) 618+ -1 -1 -1 -. -. -.
% 132.21/132.26 (SAT)(equ)(fun)(SAT) 619| -. -. -. -. -. -.
% 132.59/132.62 (SAT)(equ)(fun)(SAT) 619+ -1 -1 -1 -. -. -.
% 132.80/132.88 (SAT)(equ)(fun)(SAT) 620| -. -. -. -. -. -.
% 133.17/133.23 (SAT)(equ)(fun)(SAT) 620+ -1 -1 -1 -. -. -.
% 133.38/133.50 (SAT)(equ)(fun)(SAT) 621| -. -. -. -. -. -.
% 133.76/133.85 (SAT)(equ)(fun)(SAT) 621+ -1 -1 -1 -. -. -.
% 134.06/134.12 (SAT)(equ)(fun)(SAT) 622| -. -. -. -. -. -.
% 134.44/134.48 (SAT)(equ)(fun)(SAT) 622+ -1 -1 -1 -. -. -.
% 134.65/134.76 (SAT)(equ)(fun)(SAT) 623| -. -. -. -. -. -.
% 135.11/135.13 (SAT)(equ)(fun)(SAT) 623+ -1 -1 -1 -. -. -.
% 135.41/135.44 (SAT)(equ)(fun)(SAT) 624| -. -. -. -. -. -.
% 135.71/135.80 (SAT)(equ)(fun)(SAT) 624+ -1 -1 -1 -. -. -.
% 136.00/136.09 (SAT)(equ)(fun)(SAT) 625| -. -. -. -. -. -.
% 136.39/136.49 (SAT)(equ)(fun)(SAT) 625+ -1 -1 -1 -. -. -.
% 136.67/136.78 (SAT)(equ)(fun)(SAT) 626| -. -. -. -. -. -.
% 137.08/137.16 (SAT)(equ)(fun)(SAT) 626+ -1 -1 -1 -. -. -.
% 137.38/137.44 (SAT)(equ)(fun)(SAT) 627| -. -. -. -. -. -.
% 137.78/137.80 (SAT)(equ)(fun)(SAT) 627+ -1 -1 -1 -. -. -.
% 138.00/138.08 (SAT)(equ)(fun)(SAT) 628| -. -. -. -. -. -.
% 138.40/138.45 (SAT)(equ)(fun)(SAT) 628+ -1 -1 -1 -. -. -.
% 138.70/138.72 (SAT)(equ)(fun)(SAT) 629| -. -. -. -. -. -.
% 139.05/139.10 (SAT)(equ)(fun)(SAT) 629+ -1 -1 -1 -. -. -.
% 139.28/139.38 (SAT)(equ)(fun)(SAT) 630| -. -. -. -. -. -.
% 139.66/139.74 (SAT)(equ)(fun)(SAT) 630+ -1 -1 -1 -. -. -.
% 139.98/140.02 (SAT)(equ)(fun)(SAT) 631| -. -. -. -. -. -.
% 140.36/140.38 (SAT)(equ)(fun)(SAT) 631+ -1 -1 -1 -. -. -.
% 140.58/140.66 (SAT)(equ)(fun)(SAT) 632| -. -. -. -. -. -.
% 140.98/141.03 (SAT)(equ)(fun)(SAT) 632+ -1 -1 -1 -. -. -.
% 141.28/141.32 (SAT)(equ)(fun)(SAT) 633| -. -. -. -. -. -.
% 141.66/141.68 (SAT)(equ)(fun)(SAT) 633+ -1 -1 -1 -. -. -.
% 141.90/141.96 (SAT)(equ)(fun)(SAT) 634| -. -. -. -. -. -.
% 142.26/142.33 (SAT)(equ)(fun)(SAT) 634+ -1 -1 -1 -. -. -.
% 142.55/142.61 (SAT)(equ)(fun)(SAT) 635| -. -. -. -. -. -.
% 142.97/142.99 (SAT)(equ)(fun)(SAT) 635+ -1 -1 -1 -. -. -.
% 143.26/143.27 (SAT)(equ)(fun)(SAT) 636| -. -. -. -. -. -.
% 143.60/143.65 (SAT)(equ)(fun)(SAT) 636+ -1 -1 -1 -. -. -.
% 143.90/143.93 (SAT)(equ)(fun)(SAT) 637| -. -. -. -. -. -.
% 144.28/144.31 (SAT)(equ)(fun)(SAT) 637+ -1 -1 -1 -. -. -.
% 144.58/144.60 (SAT)(equ)(fun)(SAT) 638| -. -. -. -. -. -.
% 144.96/144.99 (SAT)(equ)(fun)(SAT) 638+ -1 -1 -1 -. -. -.
% 145.16/145.27 (SAT)(equ)(fun)(SAT) 639| -. -. -. -. -. -.
% 145.62/145.65 (SAT)(equ)(fun)(SAT) 639+ -1 -1 -1 -. -. -.
% 145.92/145.94 (SAT)(equ)(fun)(SAT) 640| -. -. -. -. -. -.
% 146.29/146.32 (SAT)(equ)(fun)(SAT) 640+ -1 -1 -1 -. -. -.
% 146.51/146.60 (SAT)(equ)(fun)(SAT) 641| -. -. -. -. -. -.
% 146.90/146.99 (SAT)(equ)(fun)(SAT) 641+ -1 -1 -1 -. -. -.
% 147.19/147.28 (SAT)(equ)(fun)(SAT) 642| -. -. -. -. -. -.
% 147.59/147.66 (SAT)(equ)(fun)(SAT) 642+ -1 -1 -1 -. -. -.
% 147.89/147.95 (SAT)(equ)(fun)(SAT) 643| -. -. -. -. -. -.
% 148.29/148.34 (SAT)(equ)(fun)(SAT) 643+ -1 -1 -1 -. -. -.
% 148.59/148.63 (SAT)(equ)(fun)(SAT) 644| -. -. -. -. -. -.
% 148.97/149.03 (SAT)(equ)(fun)(SAT) 644+ -1 -1 -1 -. -. -.
% 149.27/149.33 (SAT)(equ)(fun)(SAT) 645| -. -. -. -. -. -.
% 149.72/149.73 (SAT)(equ)(fun)(SAT) 645+ -1 -1 -1 -. -. -.
% 150.02/150.04 (SAT)(equ)(fun)(SAT) 646| -. -. -. -. -. -.
% 150.40/150.46 (SAT)(equ)(fun)(SAT) 646+ -1 -1 -1 -. -. -.
% 150.77/150.80 (SAT)(equ)(fun)(SAT) 647| -. -. -. -. -. -.
% 151.20/151.21 (SAT)(equ)(fun)(SAT) 647+ -1 -1 -1 -. -. -.
% 151.49/151.52 (SAT)(equ)(fun)(SAT) 648| -. -. -. -. -. -.
% 151.88/151.93 (SAT)(equ)(fun)(SAT) 648+ -1 -1 -1 -. -. -.
% 152.18/152.24 (SAT)(equ)(fun)(SAT) 649| -. -. -. -. -. -.
% 152.63/152.67 (SAT)(equ)(fun)(SAT) 649+ -1 -1 -1 -. -. -.
% 152.93/152.97 (SAT)(equ)(fun)(SAT) 650| -. -. -. -. -. -.
% 153.39/153.41 (SAT)(equ)(fun)(SAT) 650+ -1 -1 -1 -. -. -.
% 153.67/153.73 (SAT)(equ)(fun)(SAT) 651| -. -. -. -. -. -.
% 154.11/154.14 (SAT)(equ)(fun)(SAT) 651+ -1 -1 -1 -. -. -.
% 154.41/154.46 (SAT)(equ)(fun)(SAT) 652| -. -. -. -. -. -.
% 154.89/154.90 (SAT)(equ)(fun)(SAT) 652+ -1 -1 -1 -. -. -.
% 155.20/155.21 (SAT)(equ)(fun)(SAT) 653| -. -. -. -. -. -.
% 155.59/155.65 (SAT)(equ)(fun)(SAT) 653+ -1 -1 -1 -. -. -.
% 155.96/155.98 (SAT)(equ)(fun)(SAT) 654| -. -. -. -. -. -.
% 156.33/156.40 (SAT)(equ)(fun)(SAT) 654+ -1 -1 -1 -. -. -.
% 156.63/156.72 (SAT)(equ)(fun)(SAT) 655| -. -. -. -. -. -.
% 157.08/157.15 (SAT)(equ)(fun)(SAT) 655+ -1 -1 -1 -. -. -.
% 157.39/157.47 (SAT)(equ)(fun)(SAT) 656| -. -. -. -. -. -.
% 157.92/157.93 (SAT)(equ)(fun)(SAT) 656+ -1 -1 -1 -. -. -.
% 158.20/158.26 (SAT)(equ)(fun)(SAT) 657| -. -. -. -. -. -.
% 158.60/158.68 (SAT)(equ)(fun)(SAT) 657+ -1 -1 -1 -. -. -.
% 158.91/159.00 (SAT)(equ)(fun)(SAT) 658| -. -. -. -. -. -.
% 159.39/159.44 (SAT)(equ)(fun)(SAT) 658+ -1 -1 -1 -. -. -.
% 159.68/159.76 (SAT)(equ)(fun)(SAT) 659| -. -. -. -. -. -.
% 160.13/160.19 (SAT)(equ)(fun)(SAT) 659+ -1 -1 -1 -. -. -.
% 160.43/160.52 (SAT)(equ)(fun)(SAT) 660| -. -. -. -. -. -.
% 160.89/160.95 (SAT)(equ)(fun)(SAT) 660+ -1 -1 -1 -. -. -.
% 161.29/161.28 (SAT)(equ)(fun)(SAT) 661| -. -. -. -. -. -.
% 161.72/161.72 (SAT)(equ)(fun)(SAT) 661+ -1 -1 -1 -. -. -.
% 162.01/162.05 (SAT)(equ)(fun)(SAT) 662| -. -. -. -. -. -.
% 162.41/162.50 (SAT)(equ)(fun)(SAT) 662+ -1 -1 -1 -. -. -.
% 162.81/162.83 (SAT)(equ)(fun)(SAT) 663| -. -. -. -. -. -.
% 163.19/163.26 (SAT)(equ)(fun)(SAT) 663+ -1 -1 -1 -. -. -.
% 163.59/163.60 (SAT)(equ)(fun)(SAT) 664| -. -. -. -. -. -.
% 164.04/164.05 (SAT)(equ)(fun)(SAT) 664+ -1 -1 -1 -. -. -.
% 164.39/164.39 (SAT)(equ)(fun)(SAT) 665| -. -. -. -. -. -.
% 164.83/164.85 (SAT)(equ)(fun)(SAT) 665+ -1 -1 -1 -. -. -.
% 165.19/165.19 (SAT)(equ)(fun)(SAT) 666| -. -. -. -. -. -.
% 165.61/165.62 (SAT)(equ)(fun)(SAT) 666+ -1 -1 -1 -. -. -.
% 165.90/165.96 (SAT)(equ)(fun)(SAT) 667| -. -. -. -. -. -.
% 166.41/166.40 (SAT)(equ)(fun)(SAT) 667+ -1 -1 -1 -. -. -.
% 166.71/166.73 (SAT)(equ)(fun)(SAT) 668| -. -. -. -. -. -.
% 167.14/167.18 (SAT)(equ)(fun)(SAT) 668+ -1 -1 -1 -. -. -.
% 167.45/167.52 (SAT)(equ)(fun)(SAT) 669| -. -. -. -. -. -.
% 167.91/167.96 (SAT)(equ)(fun)(SAT) 669+ -1 -1 -1 -. -. -.
% 168.30/168.31 (SAT)(equ)(fun)(SAT) 670| -. -. -. -. -. -.
% 168.73/168.76 (SAT)(equ)(fun)(SAT) 670+ -1 -1 -1 -. -. -.
% 169.04/169.10 (SAT)(equ)(fun)(SAT) 671| -. -. -. -. -. -.
% 169.52/169.57 (SAT)(equ)(fun)(SAT) 671+ -1 -1 -1 -. -. -.
% 169.82/169.91 (SAT)(equ)(fun)(SAT) 672| -. -. -. -. -. -.
% 170.33/170.35 (SAT)(equ)(fun)(SAT) 672+ -1 -1 -1 -. -. -.
% 170.65/170.70 (SAT)(equ)(fun)(SAT) 673| -. -. -. -. -. -.
% 171.09/171.15 (SAT)(equ)(fun)(SAT) 673+ -1 -1 -1 -. -. -.
% 171.48/171.49 (SAT)(equ)(fun)(SAT) 674| -. -. -. -. -. -.
% 171.93/171.95 (SAT)(equ)(fun)(SAT) 674+ -1 -1 -1 -. -. -.
% 172.31/172.30 (SAT)(equ)(fun)(SAT) 675| -. -. -. -. -. -.
% 172.73/172.75 (SAT)(equ)(fun)(SAT) 675+ -1 -1 -1 -. -. -.
% 173.02/173.09 (SAT)(equ)(fun)(SAT) 676| -. -. -. -. -. -.
% 173.54/173.56 (SAT)(equ)(fun)(SAT) 676+ -1 -1 -1 -. -. -.
% 173.84/173.90 (SAT)(equ)(fun)(SAT) 677| -. -. -. -. -. -.
% 174.39/174.37 (SAT)(equ)(fun)(SAT) 677+ -1 -1 -1 -. -. -.
% 174.72/174.73 (SAT)(equ)(fun)(SAT) 678| -. -. -. -. -. -.
% 175.15/175.19 (SAT)(equ)(fun)(SAT) 678+ -1 -1 -1 -. -. -.
% 175.50/175.53 (SAT)(equ)(fun)(SAT) 679| -. -. -. -. -. -.
% 175.94/176.01 (SAT)(equ)(fun)(SAT) 679+ -1 -1 -1 -. -. -.
% 176.34/176.35 (SAT)(equ)(fun)(SAT) 680| -. -. -. -. -. -.
% 176.82/176.83 (SAT)(equ)(fun)(SAT) 680+ -1 -1 -1 -. -. -.
% 177.12/177.18 (SAT)(equ)(fun)(SAT) 681| -. -. -. -. -. -.
% 177.64/177.65 (SAT)(equ)(fun)(SAT) 681+ -1 -1 -1 -. -. -.
% 177.95/178.01 (SAT)(equ)(fun)(SAT) 682| -. -. -. -. -. -.
% 178.51/178.48 (SAT)(equ)(fun)(SAT) 682+ -1 -1 -1 -. -. -.
% 178.86/178.84 (SAT)(equ)(fun)(SAT) 683| -. -. -. -. -. -.
% 179.31/179.33 (SAT)(equ)(fun)(SAT) 683+ -1 -1 -1 -. -. -.
% 179.71/179.69 (SAT)(equ)(fun)(SAT) 684| -. -. -. -. -. -.
% 180.15/180.16 (SAT)(equ)(fun)(SAT) 684+ -1 -1 -1 -. -. -.
% 180.53/180.52 (SAT)(equ)(fun)(SAT) 685| -. -. -. -. -. -.
% 181.02/181.01 (SAT)(equ)(fun)(SAT) 685+ -1 -1 -1 -. -. -.
% 181.33/181.37 (SAT)(equ)(fun)(SAT) 686| -. -. -. -. -. -.
% 181.84/181.87 (SAT)(equ)(fun)(SAT) 686+ -1 -1 -1 -. -. -.
% 182.23/182.23 (SAT)(equ)(fun)(SAT) 687| -. -. -. -. -. -.
% 182.67/182.70 (SAT)(equ)(fun)(SAT) 687+ -1 -1 -1 -. -. -.
% 183.05/183.06 (SAT)(equ)(fun)(SAT) 688| -. -. -. -. -. -.
% 183.56/183.55 (SAT)(equ)(fun)(SAT) 688+ -1 -1 -1 -. -. -.
% 183.94/183.91 (SAT)(equ)(fun)(SAT) 689| -. -. -. -. -. -.
% 184.34/184.39 (SAT)(equ)(fun)(SAT) 689+ -1 -1 -1 -. -. -.
% 184.74/184.76 (SAT)(equ)(fun)(SAT) 690| -. -. -. -. -. -.
% 185.26/185.23 (SAT)(equ)(fun)(SAT) 690+ -1 -1 -1 -. -. -.
% 185.56/185.60 (SAT)(equ)(fun)(SAT) 691| -. -. -. -. -. -.
% 186.12/186.10 (SAT)(equ)(fun)(SAT) 691+ -1 -1 -1 -. -. -.
% 186.47/186.46 (SAT)(equ)(fun)(SAT) 692| -. -. -. -. -. -.
% 186.94/186.97 (SAT)(equ)(fun)(SAT) 692+ -1 -1 -1 -. -. -.
% 187.34/187.34 (SAT)(equ)(fun)(SAT) 693| -. -. -. -. -. -.
% 187.85/187.82 (SAT)(equ)(fun)(SAT) 693+ -1 -1 -1 -. -. -.
% 188.15/188.19 (SAT)(equ)(fun)(SAT) 694| -. -. -. -. -. -.
% 188.71/188.67 (SAT)(equ)(fun)(SAT) 694+ -1 -1 -1 -. -. -.
% 189.07/189.03 (SAT)(equ)(fun)(SAT) 695| -. -. -. -. -. -.
% 189.53/189.52 (SAT)(equ)(fun)(SAT) 695+ -1 -1 -1 -. -. -.
% 189.90/189.89 (SAT)(equ)(fun)(SAT) 696| -. -. -. -. -. -.
% 190.35/190.37 (SAT)(equ)(fun)(SAT) 696+ -1 -1 -1 -. -. -.
% 190.74/190.75 (SAT)(equ)(fun)(SAT) 697| -. -. -. -. -. -.
% 191.26/191.26 (SAT)(equ)(fun)(SAT) 697+ -1 -1 -1 -. -. -.
% 191.65/191.63 (SAT)(equ)(fun)(SAT) 698| -. -. -. -. -. -.
% 192.13/192.13 (SAT)(equ)(fun)(SAT) 698+ -1 -1 -1 -. -. -.
% 192.54/192.50 (SAT)(equ)(fun)(SAT) 699| -. -. -. -. -. -.
% 193.02/192.99 (SAT)(equ)(fun)(SAT) 699+ -1 -1 -1 -. -. -.
% 193.40/193.37 (SAT)(equ)(fun)(SAT) 700| -. -. -. -. -. -.
% 193.86/193.87 (SAT)(equ)(fun)(SAT) 700+ -1 -1 -1 -. -. -.
% 194.24/194.24 (SAT)(equ)(fun)(SAT) 701| -. -. -. -. -. -.
% 194.76/194.74 (SAT)(equ)(fun)(SAT) 701+ -1 -1 -1 -. -. -.
% 195.14/195.11 (SAT)(equ)(fun)(SAT) 702| -. -. -. -. -. -.
% 195.62/195.61 (SAT)(equ)(fun)(SAT) 702+ -1 -1 -1 -. -. -.
% 195.92/195.98 (SAT)(equ)(fun)(SAT) 703| -. -. -. -. -. -.
% 196.52/196.49 (SAT)(equ)(fun)(SAT) 703+ -1 -1 -1 -. -. -.
% 196.82/196.86 (SAT)(equ)(fun)(SAT) 704| -. -. -. -. -. -.
% 197.35/197.37 (SAT)(equ)(fun)(SAT) 704+ -1 -1 -1 -. -. -.
% 197.74/197.75 (SAT)(equ)(fun)(SAT) 705| -. -. -. -. -. -.
% 198.25/198.23 (SAT)(equ)(fun)(SAT) 705+ -1 -1 -1 -. -. -.
% 198.64/198.61 (SAT)(equ)(fun)(SAT) 706| -. -. -. -. -. -.
% 199.15/199.12 (SAT)(equ)(fun)(SAT) 706+ -1 -1 -1 -. -. -.
% 199.54/199.49 (SAT)(equ)(fun)(SAT) 707| -. -. -. -. -. -.
% 199.97/199.99 (SAT)(equ)(fun)(SAT) 707+ -1 -1 -1 -. -. -.
% 200.37/200.38 (SAT)(equ)(fun)(SAT) 708| -. -. -. -. -. -.
% 200.87/200.86 (SAT)(equ)(fun)(SAT) 708+ -1 -1 -1 -. -. -.
% 201.27/201.24 (SAT)(equ)(fun)(SAT) 709| -. -. -. -. -. -.
% 201.77/201.76 (SAT)(equ)(fun)(SAT) 709+ -1 -1 -1 -. -. -.
% 202.15/202.13 (SAT)(equ)(fun)(SAT) 710| -. -. -. -. -. -.
% 202.66/202.66 (SAT)(equ)(fun)(SAT) 710+ -1 -1 -1 -. -. -.
% 203.05/203.04 (SAT)(equ)(fun)(SAT) 711| -. -. -. -. -. -.
% 203.54/203.54 (SAT)(equ)(fun)(SAT) 711+ -1 -1 -1 -. -. -.
% 203.93/203.93 (SAT)(equ)(fun)(SAT) 712| -. -. -. -. -. -.
% 204.47/204.44 (SAT)(equ)(fun)(SAT) 712+ -1 -1 -1 -. -. -.
% 204.84/204.82 (SAT)(equ)(fun)(SAT) 713| -. -. -. -. -. -.
% 205.38/205.33 (SAT)(equ)(fun)(SAT) 713+ -1 -1 -1 -. -. -.
% 205.73/205.71 (SAT)(equ)(fun)(SAT) 714| -. -. -. -. -. -.
% 206.26/206.21 (SAT)(equ)(fun)(SAT) 714+ -1 -1 -1 -. -. -.
% 206.56/206.59 (SAT)(equ)(fun)(SAT) 715| -. -. -. -. -. -.
% 207.16/207.11 (SAT)(equ)(fun)(SAT) 715+ -1 -1 -1 -. -. -.
% 207.47/207.49 (SAT)(equ)(fun)(SAT) 716| -. -. -. -. -. -.
% 208.04/208.00 (SAT)(equ)(fun)(SAT) 716+ -1 -1 -1 -. -. -.
% 208.44/208.38 (SAT)(equ)(fun)(SAT) 717| -. -. -. -. -. -.
% 208.88/208.88 (SAT)(equ)(fun)(SAT) 717+ -1 -1 -1 -. -. -.
% 209.25/209.27 (SAT)(equ)(fun)(SAT) 718| -. -. -. -. -. -.
% 209.76/209.79 (SAT)(equ)(fun)(SAT) 718+ -1 -1 -1 -. -. -.
% 210.16/210.18 (SAT)(equ)(fun)(SAT) 719| -. -. -. -. -. -.
% 210.66/210.69 (SAT)(equ)(fun)(SAT) 719+ -1 -1 -1 -. -. -.
% 211.06/211.07 (SAT)(equ)(fun)(SAT) 720| -. -. -. -. -. -.
% 211.54/211.58 (SAT)(equ)(fun)(SAT) 720+ -1 -1 -1 -. -. -.
% 211.94/211.96 (SAT)(equ)(fun)(SAT) 721| -. -. -. -. -. -.
% 212.55/212.50 (SAT)(equ)(fun)(SAT) 721+ -1 -1 -1 -. -. -.
% 212.93/212.89 (SAT)(equ)(fun)(SAT) 722| -. -. -. -. -. -.
% 213.49/213.44 (SAT)(equ)(fun)(SAT) 722+ -1 -1 -1 -. -. -.
% 213.87/213.83 (SAT)(equ)(fun)(SAT) 723| -. -. -. -. -. -.
% 214.37/214.34 (SAT)(equ)(fun)(SAT) 723+ -1 -1 -1 -. -. -.
% 214.76/214.73 (SAT)(equ)(fun)(SAT) 724| -. -. -. -. -. -.
% 215.26/215.26 (SAT)(equ)(fun)(SAT) 724+ -1 -1 -1 -. -. -.
% 215.65/215.66 (SAT)(equ)(fun)(SAT) 725| -. -. -. -. -. -.
% 216.24/216.19 (SAT)(equ)(fun)(SAT) 725+ -1 -1 -1 -. -. -.
% 216.64/216.59 (SAT)(equ)(fun)(SAT) 726| -. -. -. -. -. -.
% 217.10/217.10 (SAT)(equ)(fun)(SAT) 726+ -1 -1 -1 -. -. -.
% 217.49/217.49 (SAT)(equ)(fun)(SAT) 727| -. -. -. -. -. -.
% 218.08/218.04 (SAT)(equ)(fun)(SAT) 727+ -1 -1 -1 -. -. -.
% 218.48/218.42 (SAT)(equ)(fun)(SAT) 728| -. -. -. -. -. -.
% 218.96/218.96 (SAT)(equ)(fun)(SAT) 728+ -1 -1 -1 -. -. -.
% 219.38/219.36 (SAT)(equ)(fun)(SAT) 729| -. -. -. -. -. -.
% 219.85/219.87 (SAT)(equ)(fun)(SAT) 729+ -1 -1 -1 -. -. -.
% 220.29/220.27 (SAT)(equ)(fun)(SAT) 730| -. -. -. -. -. -.
% 220.84/220.81 (SAT)(equ)(fun)(SAT) 730+ -1 -1 -1 -. -. -.
% 221.26/221.21 (SAT)(equ)(fun)(SAT) 731| -. -. -. -. -. -.
% 221.78/221.74 (SAT)(equ)(fun)(SAT) 731+ -1 -1 -1 -. -. -.
% 222.16/222.14 (SAT)(equ)(fun)(SAT) 732| -. -. -. -. -. -.
% 222.67/222.65 (SAT)(equ)(fun)(SAT) 732+ -1 -1 -1 -. -. -.
% 223.07/223.05 (SAT)(equ)(fun)(SAT) 733| -. -. -. -. -. -.
% 223.67/223.61 (SAT)(equ)(fun)(SAT) 733+ -1 -1 -1 -. -. -.
% 224.00/224.00 (SAT)(equ)(fun)(SAT) 734| -. -. -. -. -. -.
% 224.60/224.57 (SAT)(equ)(fun)(SAT) 734+ -1 -1 -1 -. -. -.
% 225.00/224.97 (SAT)(equ)(fun)(SAT) 735| -. -. -. -. -. -.
% 225.50/225.50 (SAT)(equ)(fun)(SAT) 735+ -1 -1 -1 -. -. -.
% 225.97/225.90 (SAT)(equ)(fun)(SAT) 736| -. -. -. -. -. -.
% 226.47/226.45 (SAT)(equ)(fun)(SAT) 736+ -1 -1 -1 -. -. -.
% 226.88/226.86 (SAT)(equ)(fun)(SAT) 737| -. -. -. -. -. -.
% 227.47/227.41 (SAT)(equ)(fun)(SAT) 737+ -1 -1 -1 -. -. -.
% 227.89/227.82 (SAT)(equ)(fun)(SAT) 738| -. -. -. -. -. -.
% 228.38/228.34 (SAT)(equ)(fun)(SAT) 738+ -1 -1 -1 -. -. -.
% 228.78/228.75 (SAT)(equ)(fun)(SAT) 739| -. -. -. -. -. -.
% 229.30/229.30 (SAT)(equ)(fun)(SAT) 739+ -1 -1 -1 -. -. -.
% 229.78/229.70 (SAT)(equ)(fun)(SAT) 740| -. -. -. -. -. -.
% 230.29/230.25 (SAT)(equ)(fun)(SAT) 740+ -1 -1 -1 -. -. -.
% 230.69/230.65 (SAT)(equ)(fun)(SAT) 741| -. -. -. -. -. -.
% 231.26/231.18 (SAT)(equ)(fun)(SAT) 741+ -1 -1 -1 -. -. -.
% 231.61/231.59 (SAT)(equ)(fun)(SAT) 742| -. -. -. -. -. -.
% 232.21/232.13 (SAT)(equ)(fun)(SAT) 742+ -1 -1 -1 -. -. -.
% 232.61/232.54 (SAT)(equ)(fun)(SAT) 743| -. -. -. -. -. -.
% 233.16/233.10 (SAT)(equ)(fun)(SAT) 743+ -1 -1 -1 -. -. -.
% 233.59/233.50 (SAT)(equ)(fun)(SAT) 744| -. -. -. -. -. -.
% 234.10/234.03 (SAT)(equ)(fun)(SAT) 744+ -1 -1 -1 -. -. -.
% 234.49/234.43 (SAT)(equ)(fun)(SAT) 745| -. -. -. -. -. -.
% 234.99/234.98 (SAT)(equ)(fun)(SAT) 745+ -1 -1 -1 -. -. -.
% 235.49/235.40 (SAT)(equ)(fun)(SAT) 746| -. -. -. -. -. -.
% 235.98/235.95 (SAT)(equ)(fun)(SAT) 746+ -1 -1 -1 -. -. -.
% 236.42/236.37 (SAT)(equ)(fun)(SAT) 747| -. -. -. -. -. -.
% 236.98/236.91 (SAT)(equ)(fun)(SAT) 747+ -1 -1 -1 -. -. -.
% 237.40/237.33 (SAT)(equ)(fun)(SAT) 748| -. -. -. -. -. -.
% 237.90/237.89 (SAT)(equ)(fun)(SAT) 748+ -1 -1 -1 -. -. -.
% 238.29/238.30 (SAT)(equ)(fun)(SAT) 749| -. -. -. -. -. -.
% 238.89/238.87 (SAT)(equ)(fun)(SAT) 749+ -1 -1 -1 -. -. -.
% 239.38/239.29 (SAT)(equ)(fun)(SAT) 750| -. -. -. -. -. -.
% 239.89/239.83 (SAT)(equ)(fun)(SAT) 750+ -1 -1 -1 -. -. -.
% 240.32/240.25 (SAT)(equ)(fun)(SAT) 751| -. -. -. -. -. -.
% 240.90/240.81 (SAT)(equ)(fun)(SAT) 751+ -1 -1 -1 -. -. -.
% 241.30/241.23 (SAT)(equ)(fun)(SAT) 752| -. -. -. -. -. -.
% 241.80/241.79 (SAT)(equ)(fun)(SAT) 752+ -1 -1 -1 -. -. -.
% 242.30/242.21 (SAT)(equ)(fun)(SAT) 753| -. -. -. -. -. -.
% 242.81/242.75 (SAT)(equ)(fun)(SAT) 753+ -1 -1 -1 -. -. -.
% 243.19/243.17 (SAT)(equ)(fun)(SAT) 754| -. -. -. -. -. -.
% 243.79/243.75 (SAT)(equ)(fun)(SAT) 754+ -1 -1 -1 -. -. -.
% 244.22/244.17 (SAT)(equ)(fun)(SAT) 755| -. -. -. -. -. -.
% 244.82/244.73 (SAT)(equ)(fun)(SAT) 755+ -1 -1 -1 -. -. -.
% 245.21/245.14 (SAT)(equ)(fun)(SAT) 756| -. -. -. -. -. -.
% 245.70/245.69 (SAT)(equ)(fun)(SAT) 756+ -1 -1 -1 -. -. -.
% 246.21/246.11 (SAT)(equ)(fun)(SAT) 757| -. -. -. -. -. -.
% 246.78/246.69 (SAT)(equ)(fun)(SAT) 757+ -1 -1 -1 -. -. -.
% 247.21/247.12 (SAT)(equ)(fun)(SAT) 758| -. -. -. -. -. -.
% 247.80/247.71 (SAT)(equ)(fun)(SAT) 758+ -1 -1 -1 -. -. -.
% 248.21/248.14 (SAT)(equ)(fun)(SAT) 759| -. -. -. -. -. -.
% 248.73/248.70 (SAT)(equ)(fun)(SAT) 759+ -1 -1 -1 -. -. -.
% 249.22/249.12 (SAT)(equ)(fun)(SAT) 760| -. -. -. -. -. -.
% 249.71/249.71 (SAT)(equ)(fun)(SAT) 760+ -1 -1 -1 -. -. -.
% 250.22/250.13 (SAT)(equ)(fun)(SAT) 761| -. -. -. -. -. -.
% 250.79/250.69 (SAT)(equ)(fun)(SAT) 761+ -1 -1 -1 -. -. -.
% 251.13/251.11 (SAT)(equ)(fun)(SAT) 762| -. -. -. -. -. -.
% 251.73/251.67 (SAT)(equ)(fun)(SAT) 762+ -1 -1 -1 -. -. -.
% 252.11/252.09 (SAT)(equ)(fun)(SAT) 763| -. -. -. -. -. -.
% 252.72/252.68 (SAT)(equ)(fun)(SAT) 763+ -1 -1 -1 -. -. -.
% 253.22/253.10 (SAT)(equ)(fun)(SAT) 764| -. -. -. -. -. -.
% 253.70/253.67 (SAT)(equ)(fun)(SAT) 764+ -1 -1 -1 -. -. -.
% 254.14/254.10 (SAT)(equ)(fun)(SAT) 765| -. -. -. -. -. -.
% 254.74/254.66 (SAT)(equ)(fun)(SAT) 765+ -1 -1 -1 -. -. -.
% 255.13/255.09 (SAT)(equ)(fun)(SAT) 766| -. -. -. -. -. -.
% 255.81/255.70 (SAT)(equ)(fun)(SAT) 766+ -1 -1 -1 -. -. -.
% 256.23/256.12 (SAT)(equ)(fun)(SAT) 767| -. -. -. -. -. -.
% 256.81/256.69 (SAT)(equ)(fun)(SAT) 767+ -1 -1 -1 -. -. -.
% 257.21/257.13 (SAT)(equ)(fun)(SAT) 768| -. -. -. -. -. -.
% 257.74/257.69 (SAT)(equ)(fun)(SAT) 768+ -1 -1 -1 -. -. -.
% 258.20/258.12 (SAT)(equ)(fun)(SAT) 769| -. -. -. -. -. -.
% 258.82/258.72 (SAT)(equ)(fun)(SAT) 769+ -1 -1 -1 -. -. -.
% 259.25/259.16 (SAT)(equ)(fun)(SAT) 770| -. -. -. -. -. -.
% 259.84/259.74 (SAT)(equ)(fun)(SAT) 770+ -1 -1 -1 -. -. -.
% 260.22/260.18 (SAT)(equ)(fun)(SAT) 771| -. -. -. -. -. -.
% 260.82/260.76 (SAT)(equ)(fun)(SAT) 771+ -1 -1 -1 -. -. -.
% 261.21/261.20 (SAT)(equ)(fun)(SAT) 772| -. -. -. -. -. -.
% 261.92/261.80 (SAT)(equ)(fun)(SAT) 772+ -1 -1 -1 -. -. -.
% 262.35/262.24 (SAT)(equ)(fun)(SAT) 773| -. -. -. -. -. -.
% 262.93/262.82 (SAT)(equ)(fun)(SAT) 773+ -1 -1 -1 -. -. -.
% 263.32/263.26 (SAT)(equ)(fun)(SAT) 774| -. -. -. -. -. -.
% 263.92/263.83 (SAT)(equ)(fun)(SAT) 774+ -1 -1 -1 -. -. -.
% 264.33/264.26 (SAT)(equ)(fun)(SAT) 775| -. -. -. -. -. -.
% 264.94/264.88 (SAT)(equ)(fun)(SAT) 775+ -1 -1 -1 -. -. -.
% 265.41/265.32 (SAT)(equ)(fun)(SAT) 776| -. -. -. -. -. -.
% 266.02/265.90 (SAT)(equ)(fun)(SAT) 776+ -1 -1 -1 -. -. -.
% 266.45/266.35 (SAT)(equ)(fun)(SAT) 777| -. -. -. -. -. -.
% 267.04/266.92 (SAT)(equ)(fun)(SAT) 777+ -1 -1 -1 -. -. -.
% 267.43/267.37 (SAT)(equ)(fun)(SAT) 778| -. -. -. -. -. -.
% 268.03/267.98 (SAT)(equ)(fun)(SAT) 778+ -1 -1 -1 -. -. -.
% 268.55/268.43 (SAT)(equ)(fun)(SAT) 779| -. -. -. -. -. -.
% 269.16/269.06 (SAT)(equ)(fun)(SAT) 779+ -1 -1 -1 -. -. -.
% 269.62/269.51 (SAT)(equ)(fun)(SAT) 780| -. -. -. -. -. -.
% 270.22/270.09 (SAT)(equ)(fun)(SAT) 780+ -1 -1 -1 -. -. -.
% 270.65/270.54 (SAT)(equ)(fun)(SAT) 781| -. -. -. -. -. -.
% 271.23/271.15 (SAT)(equ)(fun)(SAT) 781+ -1 -1 -1 -. -. -.
% 271.73/271.60 (SAT)(equ)(fun)(SAT) 782| -. -. -. -. -. -.
% 272.32/272.20 (SAT)(equ)(fun)(SAT) 782+ -1 -1 -1 -. -. -.
% 272.76/272.65 (SAT)(equ)(fun)(SAT) 783| -. -. -. -. -. -.
% 273.36/273.23 (SAT)(equ)(fun)(SAT) 783+ -1 -1 -1 -. -. -.
% 273.74/273.67 (SAT)(equ)(fun)(SAT) 784| -. -. -. -. -. -.
% 274.35/274.27 (SAT)(equ)(fun)(SAT) 784+ -1 -1 -1 -. -. -.
% 274.85/274.72 (SAT)(equ)(fun)(SAT) 785| -. -. -. -. -. -.
% 275.45/275.31 (SAT)(equ)(fun)(SAT) 785+ -1 -1 -1 -. -. -.
% 275.85/275.77 (SAT)(equ)(fun)(SAT) 786| -. -. -. -. -. -.
% 276.46/276.37 (SAT)(equ)(fun)(SAT) 786+ -1 -1 -1 -. -. -.
% 276.93/276.81 (SAT)(equ)(fun)(SAT) 787| -. -. -. -. -. -.
% 277.56/277.43 (SAT)(equ)(fun)(SAT) 787+ -1 -1 -1 -. -. -.
% 277.95/277.89 (SAT)(equ)(fun)(SAT) 788| -. -. -. -. -. -.
% 278.54/278.50 (SAT)(equ)(fun)(SAT) 788+ -1 -1 -1 -. -. -.
% 279.05/278.96 (SAT)(equ)(fun)(SAT) 789| -. -. -. -. -. -.
% 279.66/279.55 (SAT)(equ)(fun)(SAT) 789+ -1 -1 -1 -. -. -.
% 280.13/280.00 (SAT)(equ)(fun)(SAT) 790| -. -. -. -. -. -.
% 280.72/280.61 (SAT)(equ)(fun)(SAT) 790+ -1 -1 -1 -. -. -.
% 281.16/281.06 (SAT)(equ)(fun)(SAT) 791| -. -. -. -. -. -.
% 281.75/281.68 (SAT)(equ)(fun)(SAT) 791+ -1 -1 -1 -. -. -.
% 282.25/282.14 (SAT)(equ)(fun)(SAT) 792| -. -. -. -. -. -.
% 282.85/282.74 (SAT)(equ)(fun)(SAT) 792+ -1 -1 -1 -. -. -.
% 283.27/283.20 (SAT)(equ)(fun)(SAT) 793| -. -. -. -. -. -.
% 283.97/283.84 (SAT)(equ)(fun)(SAT) 793+ -1 -1 -1 -. -. -.
% 284.43/284.29 (SAT)(equ)(fun)(SAT) 794| -. -. -. -. -. -.
% 285.04/284.89 (SAT)(equ)(fun)(SAT) 794+ -1 -1 -1 -. -. -.
% 285.46/285.35 (SAT)(equ)(fun)(SAT) 795| -. -. -. -. -. -.
% 286.06/285.96 (SAT)(equ)(fun)(SAT) 795+ -1 -1 -1 -. -. -.
% 286.57/286.41 (SAT)(equ)(fun)(SAT) 796| -. -. -. -. -. -.
% 287.17/287.04 (SAT)(equ)(fun)(SAT) 796+ -1 -1 -1 -. -. -.
% 287.64/287.50 (SAT)(equ)(fun)(SAT) 797| -. -. -. -. -. -.
% 288.25/288.12 (SAT)(equ)(fun)(SAT) 797+ -1 -1 -1 -. -. -.
% 288.68/288.57 (SAT)(equ)(fun)(SAT) 798| -. -. -. -. -. -.
% 289.27/289.18 (SAT)(equ)(fun)(SAT) 798+ -1 -1 -1 -. -. -.
% 289.75/289.64 (SAT)(equ)(fun)(SAT) 799| -. -. -. -. -. -.
% 290.35/290.27 (SAT)(equ)(fun)(SAT) 799+ -1 -1 -1 -. -. -.
% 290.87/290.73 (SAT)(equ)(fun)(SAT) 800| -. -. -. -. -. -.
% 291.47/291.36 (SAT)(equ)(fun)(SAT) 800+ -1 -1 -1 -. -. -.
% 291.96/291.83 (SAT)(equ)(fun)(SAT) 801| -. -. -. -. -. -.
% 292.57/292.43 (SAT)(equ)(fun)(SAT) 801+ -1 -1 -1 -. -. -.
% 293.07/292.91 (SAT)(equ)(fun)(SAT) 802| -. -. -. -. -. -.
% 293.65/293.54 (SAT)(equ)(fun)(SAT) 802+ -1 -1 -1 -. -. -.
% 294.17/294.01 (SAT)(equ)(fun)(SAT) 803| -. -. -. -. -. -.
% 294.78/294.65 (SAT)(equ)(fun)(SAT) 803+ -1 -1 -1 -. -. -.
% 295.26/295.13 (SAT)(equ)(fun)(SAT) 804| -. -. -. -. -. -.
% 295.86/295.76 (SAT)(equ)(fun)(SAT) 804+ -1 -1 -1 -. -. -.
% 296.36/296.23 (SAT)(equ)(fun)(SAT) 805| -. -. -. -. -. -.
% 296.96/296.88 (SAT)(equ)(fun)(SAT) 805+ -1 -1 -1 -. -. -.
% 297.48/297.35 (SAT)(equ)(fun)(SAT) 806| -. -. -. -. -. -.
% 298.08/298.00 (SAT)(equ)(fun)(SAT) 806+ -1 -1 -1 -. -. -.
% 298.65/298.48 (SAT)(equ)(fun)(SAT) 807| -. -. -. -. -. -.
% 299.27/299.11 (SAT)(equ)(fun)(SAT) 807+ -1 -1 -1 -. -. -.
% 299.67/299.58 (SAT)(equ)(fun)(SAT) 808| -. -. -.
%------------------------------------------------------------------------------