TSTP Solution File: NLP028+1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : NLP028+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n010.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Mon Jul 18 02:00:36 EDT 2022
% Result : Timeout 286.05s 285.89s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : NLP028+1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.11/0.32 % Computer : n010.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Fri Jul 1 10:02:03 EDT 2022
% 0.11/0.32 % CPUTime :
% 0.11/0.32 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.11/0.32 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.11/0.32 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.11/0.34 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.11/0.34 #elt|#instances
% 0.11/0.35 (SAT)(equ)(fun)(SAT) 7| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.36 (SAT)(equ)(fun)(SAT) 7+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 0.17/0.37 (SAT)(equ)(fun)(SAT) 11| -. -.
% 0.17/0.38 (SAT)(equ)(fun)(SAT) 11+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.39 (SAT)(equ)(fun)(SAT) 12| -12 -12 -. -. -. -. -. -. -. -. -. -.
% 0.17/0.40 (SAT)(equ)(fun)(SAT) 12| -. -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.40 (SAT)(equ)(fun)(SAT) 12+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -.
% 0.17/0.42 (SAT)(equ)(fun)(SAT) 15| -1 -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.43 (SAT)(equ)(fun)(SAT) 15| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.43 (SAT)(equ)(fun)(SAT) 15+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.45 (SAT)(equ)(fun)(SAT) 17| -. -. -. -1 -. -. -. -. -. -. -. -.
% 0.17/0.46 (SAT)(equ)(fun)(SAT) 17| -1 -1 -. -1 -. -. -. -. -. -. -. -.
% 0.17/0.46 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.47 (SAT)(equ)(fun)(SAT) 17+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -12 -. -. -. -. -. -. -.
% 0.17/0.48 (SAT)(equ)(fun)(SAT) 23| -1 -1 -. -12 -. -. -. -. -. -. -. -.
% 0.17/0.49 (SAT)(equ)(fun)(SAT) 23| -1 -1 -. -1 -. -. -. -. -. -. -. -. -.
% 0.17/0.49 (SAT)(equ)(fun)(SAT) 23| -. -. -. -. -. -. -. -. -. -.
% 0.17/0.49 (SAT)(equ)(fun)(SAT) 23+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -1234 -1234 -1234 -1234 -1234 -. -. -. -. -. -. -. -. -. -.
% 0.17/0.51 (SAT)(equ)(fun)(SAT) 29| -. -. -12 -1 -. -. -. -. -. -. -. -1 -. -. -.
% 0.17/0.52 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 0.17/0.53 (SAT)(equ)(fun)(SAT) 29| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.17/0.54 (SAT)(equ)(fun)(SAT) 29+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -.
% 0.38/0.56 (SAT)(equ)(fun)(SAT) 33| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -.
% 0.40/0.57 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 0.40/0.58 (SAT)(equ)(fun)(SAT) 33| -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 0.40/0.58 (SAT)(equ)(fun)(SAT) 33| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.40/0.60 (SAT)(equ)(fun)(SAT) 33+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -123 -123 -123 -123 -123 -. -. -. -. -. -. -. -. -. -.
% 0.40/0.62 (SAT)(equ)(fun)(SAT) 37| -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -.
% 0.40/0.63 (SAT)(equ)(fun)(SAT) 37| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 0.48/0.64 (SAT)(equ)(fun)(SAT) 37| -. -1 -. -. -. -.
% 0.48/0.64 (SAT)(equ)(fun)(SAT) 37| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.48/0.66 (SAT)(equ)(fun)(SAT) 37+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -. -. -. -. -12 -.
% 0.51/0.68 (SAT)(equ)(fun)(SAT) 42| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -.
% 0.51/0.70 (SAT)(equ)(fun)(SAT) 42| -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.51/0.71 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -.
% 0.51/0.72 (SAT)(equ)(fun)(SAT) 42+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.57/0.74 (SAT)(equ)(fun)(SAT) 47| -. -. -12 -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 0.61/0.76 (SAT)(equ)(fun)(SAT) 47| -. -. -. -. -. -. -. -. -. -.
% 0.61/0.77 (SAT)(equ)(fun)(SAT) 47+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -.
% 0.61/0.80 (SAT)(equ)(fun)(SAT) 51| -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.61/0.82 (SAT)(equ)(fun)(SAT) 51| -. -. -.
% 0.61/0.82 (SAT)(equ)(fun)(SAT) 51+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 0.67/0.85 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 0.67/0.86 (SAT)(equ)(fun)(SAT) 53| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.71/0.88 (SAT)(equ)(fun)(SAT) 53| -. -1 -.
% 0.71/0.88 (SAT)(equ)(fun)(SAT) 53| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.71/0.89 (SAT)(equ)(fun)(SAT) 53+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 0.71/0.92 (SAT)(equ)(fun)(SAT) 55| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 0.71/0.92 (SAT)(equ)(fun)(SAT) 55| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.77/0.94 (SAT)(equ)(fun)(SAT) 55| -. -. -. -. -. -.
% 0.77/0.95 (SAT)(equ)(fun)(SAT) 55+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.80/0.97 (SAT)(equ)(fun)(SAT) 58| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.80/0.98 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -. -.
% 0.80/0.99 (SAT)(equ)(fun)(SAT) 58+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 0.80/1.02 (SAT)(equ)(fun)(SAT) 60| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.86/1.03 (SAT)(equ)(fun)(SAT) 60| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.86/1.04 (SAT)(equ)(fun)(SAT) 60| -. -. -.
% 0.86/1.05 (SAT)(equ)(fun)(SAT) 60+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 0.92/1.08 (SAT)(equ)(fun)(SAT) 61| -. -. -. -. -. -. -. -.
% 0.92/1.09 (SAT)(equ)(fun)(SAT) 61+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 0.92/1.11 (SAT)(equ)(fun)(SAT) 62| -. -1 -. -. -.
% 0.92/1.12 (SAT)(equ)(fun)(SAT) 62| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.92/1.13 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -.
% 0.92/1.14 (SAT)(equ)(fun)(SAT) 62+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 0.99/1.17 (SAT)(equ)(fun)(SAT) 64| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.02/1.18 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -. -.
% 1.02/1.19 (SAT)(equ)(fun)(SAT) 64+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.02/1.22 (SAT)(equ)(fun)(SAT) 66| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.08/1.24 (SAT)(equ)(fun)(SAT) 66| -. -1 -.
% 1.08/1.24 (SAT)(equ)(fun)(SAT) 66| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.09/1.25 (SAT)(equ)(fun)(SAT) 66| -. -. -.
% 1.09/1.26 (SAT)(equ)(fun)(SAT) 66+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 1.09/1.29 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.09/1.31 (SAT)(equ)(fun)(SAT) 68+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 1.16/1.34 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -. -.
% 1.16/1.35 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.16/1.36 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -.
% 1.21/1.37 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.21/1.40 (SAT)(equ)(fun)(SAT) 71| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.21/1.42 (SAT)(equ)(fun)(SAT) 71| -. -. -. -. -. -. -.
% 1.21/1.43 (SAT)(equ)(fun)(SAT) 71+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 1.29/1.46 (SAT)(equ)(fun)(SAT) 73| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.29/1.48 (SAT)(equ)(fun)(SAT) 73| -. -. -.
% 1.32/1.49 (SAT)(equ)(fun)(SAT) 73+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.32/1.52 (SAT)(equ)(fun)(SAT) 74| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.37/1.54 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.39/1.56 (SAT)(equ)(fun)(SAT) 74+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 1.39/1.59 (SAT)(equ)(fun)(SAT) 76| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 1.39/1.60 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 1.39/1.62 (SAT)(equ)(fun)(SAT) 76| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.47/1.64 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -. -. -.
% 1.47/1.65 (SAT)(equ)(fun)(SAT) 76+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.52/1.68 (SAT)(equ)(fun)(SAT) 78| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.52/1.70 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -. -.
% 1.52/1.71 (SAT)(equ)(fun)(SAT) 78+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 1.52/1.75 (SAT)(equ)(fun)(SAT) 80| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.60/1.77 (SAT)(equ)(fun)(SAT) 80| -. -1 -.
% 1.60/1.77 (SAT)(equ)(fun)(SAT) 80| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.62/1.79 (SAT)(equ)(fun)(SAT) 80| -. -. -.
% 1.62/1.80 (SAT)(equ)(fun)(SAT) 80+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.67/1.83 (SAT)(equ)(fun)(SAT) 81| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.67/1.86 (SAT)(equ)(fun)(SAT) 81+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 1.67/1.89 (SAT)(equ)(fun)(SAT) 83| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 1.67/1.90 (SAT)(equ)(fun)(SAT) 83| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.76/1.92 (SAT)(equ)(fun)(SAT) 83| -. -. -. -. -. -.
% 1.76/1.94 (SAT)(equ)(fun)(SAT) 83+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 1.76/1.97 (SAT)(equ)(fun)(SAT) 86| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.82/1.99 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -. -.
% 1.82/2.01 (SAT)(equ)(fun)(SAT) 86+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 1.82/2.05 (SAT)(equ)(fun)(SAT) 88| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.90/2.07 (SAT)(equ)(fun)(SAT) 88| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.92/2.09 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.96/2.12 (SAT)(equ)(fun)(SAT) 88+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 1.99/2.15 (SAT)(equ)(fun)(SAT) 89| -. -. -. -. -. -. -. -.
% 1.99/2.18 (SAT)(equ)(fun)(SAT) 89+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 1.99/2.21 (SAT)(equ)(fun)(SAT) 90| -. -1 -. -. -.
% 1.99/2.22 (SAT)(equ)(fun)(SAT) 90| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.07/2.24 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -.
% 2.07/2.26 (SAT)(equ)(fun)(SAT) 90+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 2.13/2.29 (SAT)(equ)(fun)(SAT) 92| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.13/2.32 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -. -.
% 2.13/2.34 (SAT)(equ)(fun)(SAT) 92+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 2.21/2.37 (SAT)(equ)(fun)(SAT) 94| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.21/2.40 (SAT)(equ)(fun)(SAT) 94| -. -1 -.
% 2.25/2.40 (SAT)(equ)(fun)(SAT) 94| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.25/2.42 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.28/2.45 (SAT)(equ)(fun)(SAT) 94+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 2.28/2.49 (SAT)(equ)(fun)(SAT) 95| -. -. -. -. -. -. -. -.
% 2.28/2.51 (SAT)(equ)(fun)(SAT) 95+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 2.37/2.55 (SAT)(equ)(fun)(SAT) 96| -. -1 -. -. -.
% 2.37/2.56 (SAT)(equ)(fun)(SAT) 96| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.37/2.58 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -.
% 2.44/2.60 (SAT)(equ)(fun)(SAT) 96+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 2.44/2.64 (SAT)(equ)(fun)(SAT) 98| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.51/2.67 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -. -.
% 2.51/2.69 (SAT)(equ)(fun)(SAT) 98+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 2.56/2.73 (SAT)(equ)(fun)(SAT) 100| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.59/2.75 (SAT)(equ)(fun)(SAT) 100| -. -. -.
% 2.59/2.77 (SAT)(equ)(fun)(SAT) 100+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 2.59/2.81 (SAT)(equ)(fun)(SAT) 101| -. -. -. -. -. -. -. -.
% 2.59/2.84 (SAT)(equ)(fun)(SAT) 101+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 2.69/2.88 (SAT)(equ)(fun)(SAT) 102| -. -1 -. -. -.
% 2.69/2.89 (SAT)(equ)(fun)(SAT) 102| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.73/2.91 (SAT)(equ)(fun)(SAT) 102| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.73/2.93 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -.
% 2.79/2.95 (SAT)(equ)(fun)(SAT) 102+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 2.79/2.99 (SAT)(equ)(fun)(SAT) 104| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.84/3.02 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -. -.
% 2.84/3.04 (SAT)(equ)(fun)(SAT) 104+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 2.89/3.09 (SAT)(equ)(fun)(SAT) 106| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.89/3.11 (SAT)(equ)(fun)(SAT) 106| -. -. -.
% 2.89/3.13 (SAT)(equ)(fun)(SAT) 106+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 2.99/3.17 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 3.04/3.20 (SAT)(equ)(fun)(SAT) 107| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.04/3.22 (SAT)(equ)(fun)(SAT) 107| -. -1 -.
% 3.04/3.23 (SAT)(equ)(fun)(SAT) 107| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.11/3.27 (SAT)(equ)(fun)(SAT) 107+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 3.17/3.32 (SAT)(equ)(fun)(SAT) 108| -. -1 -. -. -.
% 3.17/3.33 (SAT)(equ)(fun)(SAT) 108| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.17/3.35 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -.
% 3.21/3.37 (SAT)(equ)(fun)(SAT) 108+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 3.21/3.42 (SAT)(equ)(fun)(SAT) 110| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.29/3.44 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -. -.
% 3.29/3.47 (SAT)(equ)(fun)(SAT) 110+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 3.32/3.51 (SAT)(equ)(fun)(SAT) 112| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.38/3.54 (SAT)(equ)(fun)(SAT) 112| -. -. -.
% 3.40/3.56 (SAT)(equ)(fun)(SAT) 112+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 3.40/3.61 (SAT)(equ)(fun)(SAT) 113| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.46/3.64 (SAT)(equ)(fun)(SAT) 113| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.51/3.68 (SAT)(equ)(fun)(SAT) 113+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 3.51/3.73 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -.
% 3.51/3.74 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.59/3.76 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 3.62/3.79 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.62/3.84 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 3.71/3.89 (SAT)(equ)(fun)(SAT) 116| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.71/3.91 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -. -.
% 3.78/3.94 (SAT)(equ)(fun)(SAT) 116+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 3.81/3.99 (SAT)(equ)(fun)(SAT) 118| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.81/4.02 (SAT)(equ)(fun)(SAT) 118| -. -1 -.
% 3.81/4.02 (SAT)(equ)(fun)(SAT) 118| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.87/4.05 (SAT)(equ)(fun)(SAT) 118| -. -. -.
% 3.91/4.08 (SAT)(equ)(fun)(SAT) 118+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 3.91/4.12 (SAT)(equ)(fun)(SAT) 119| -. -. -. -. -. -. -. -.
% 3.98/4.16 (SAT)(equ)(fun)(SAT) 119+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 4.01/4.21 (SAT)(equ)(fun)(SAT) 120| -. -1 -. -. -.
% 4.01/4.22 (SAT)(equ)(fun)(SAT) 120| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.08/4.24 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -.
% 4.11/4.27 (SAT)(equ)(fun)(SAT) 120+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 4.11/4.32 (SAT)(equ)(fun)(SAT) 122| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.17/4.35 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -. -.
% 4.22/4.38 (SAT)(equ)(fun)(SAT) 122+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 4.22/4.43 (SAT)(equ)(fun)(SAT) 124| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.29/4.46 (SAT)(equ)(fun)(SAT) 124| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.32/4.49 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 4.32/4.52 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.39/4.57 (SAT)(equ)(fun)(SAT) 124+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 4.45/4.62 (SAT)(equ)(fun)(SAT) 125| -. -. -. -. -. -. -. -.
% 4.45/4.66 (SAT)(equ)(fun)(SAT) 125+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 4.51/4.71 (SAT)(equ)(fun)(SAT) 126| -. -1 -. -. -.
% 4.51/4.72 (SAT)(equ)(fun)(SAT) 126| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.60/4.75 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -.
% 4.60/4.78 (SAT)(equ)(fun)(SAT) 126+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 4.68/4.83 (SAT)(equ)(fun)(SAT) 128| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.70/4.86 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -. -.
% 4.70/4.90 (SAT)(equ)(fun)(SAT) 128+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 4.78/4.95 (SAT)(equ)(fun)(SAT) 130| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.83/4.99 (SAT)(equ)(fun)(SAT) 130| -. -. -.
% 4.83/5.02 (SAT)(equ)(fun)(SAT) 130+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 4.91/5.07 (SAT)(equ)(fun)(SAT) 131| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.93/5.11 (SAT)(equ)(fun)(SAT) 131| -. -1 -.
% 4.93/5.11 (SAT)(equ)(fun)(SAT) 131| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.98/5.17 (SAT)(equ)(fun)(SAT) 131+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 5.06/5.22 (SAT)(equ)(fun)(SAT) 132| -. -1 -. -. -.
% 5.06/5.24 (SAT)(equ)(fun)(SAT) 132| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.06/5.27 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -.
% 5.13/5.30 (SAT)(equ)(fun)(SAT) 132+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 5.13/5.35 (SAT)(equ)(fun)(SAT) 134| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.23/5.39 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -. -.
% 5.26/5.43 (SAT)(equ)(fun)(SAT) 134+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 5.29/5.48 (SAT)(equ)(fun)(SAT) 136| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.29/5.52 (SAT)(equ)(fun)(SAT) 136| -. -. -.
% 5.37/5.55 (SAT)(equ)(fun)(SAT) 136+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 5.44/5.61 (SAT)(equ)(fun)(SAT) 137| -. -. -. -. -. -. -. -.
% 5.44/5.65 (SAT)(equ)(fun)(SAT) 137+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 5.55/5.71 (SAT)(equ)(fun)(SAT) 138| -. -1 -. -. -.
% 5.55/5.72 (SAT)(equ)(fun)(SAT) 138| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.58/5.75 (SAT)(equ)(fun)(SAT) 138| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.58/5.78 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 5.58/5.82 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.68/5.88 (SAT)(equ)(fun)(SAT) 138+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 5.75/5.94 (SAT)(equ)(fun)(SAT) 142| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.82/5.98 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -. -. -.
% 5.87/6.02 (SAT)(equ)(fun)(SAT) 142+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 5.90/6.08 (SAT)(equ)(fun)(SAT) 144| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.90/6.12 (SAT)(equ)(fun)(SAT) 144| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.00/6.16 (SAT)(equ)(fun)(SAT) 144| -. -. -.
% 6.00/6.19 (SAT)(equ)(fun)(SAT) 144+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 6.10/6.25 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 6.10/6.29 (SAT)(equ)(fun)(SAT) 145| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.20/6.36 (SAT)(equ)(fun)(SAT) 145+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 6.20/6.42 (SAT)(equ)(fun)(SAT) 146| -. -1 -. -. -.
% 6.20/6.43 (SAT)(equ)(fun)(SAT) 146| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.29/6.46 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -.
% 6.34/6.51 (SAT)(equ)(fun)(SAT) 146+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 6.41/6.57 (SAT)(equ)(fun)(SAT) 148| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.41/6.60 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -. -.
% 6.46/6.65 (SAT)(equ)(fun)(SAT) 148+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 6.51/6.71 (SAT)(equ)(fun)(SAT) 150| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.59/6.75 (SAT)(equ)(fun)(SAT) 150| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.63/6.79 (SAT)(equ)(fun)(SAT) 150| -. -1 -.
% 6.63/6.80 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.70/6.87 (SAT)(equ)(fun)(SAT) 150+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 6.76/6.93 (SAT)(equ)(fun)(SAT) 151| -. -. -. -. -. -. -. -.
% 6.81/6.99 (SAT)(equ)(fun)(SAT) 151+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 6.90/7.05 (SAT)(equ)(fun)(SAT) 152| -. -1 -. -. -.
% 6.90/7.06 (SAT)(equ)(fun)(SAT) 152| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.93/7.10 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -.
% 6.93/7.15 (SAT)(equ)(fun)(SAT) 152+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 7.02/7.21 (SAT)(equ)(fun)(SAT) 154| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.09/7.25 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -. -.
% 7.12/7.30 (SAT)(equ)(fun)(SAT) 154+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 7.22/7.36 (SAT)(equ)(fun)(SAT) 156| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.22/7.40 (SAT)(equ)(fun)(SAT) 156| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.28/7.44 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.32/7.52 (SAT)(equ)(fun)(SAT) 156+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 7.42/7.58 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 7.42/7.62 (SAT)(equ)(fun)(SAT) 157| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.53/7.70 (SAT)(equ)(fun)(SAT) 157+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 7.60/7.77 (SAT)(equ)(fun)(SAT) 158| -. -1 -. -. -.
% 7.63/7.78 (SAT)(equ)(fun)(SAT) 158| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.63/7.82 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -.
% 7.70/7.87 (SAT)(equ)(fun)(SAT) 158+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 7.76/7.94 (SAT)(equ)(fun)(SAT) 160| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.81/7.98 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -. -.
% 7.81/8.04 (SAT)(equ)(fun)(SAT) 160+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 7.93/8.10 (SAT)(equ)(fun)(SAT) 162| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.98/8.15 (SAT)(equ)(fun)(SAT) 162| -. -1 -.
% 8.00/8.15 (SAT)(equ)(fun)(SAT) 162| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.00/8.20 (SAT)(equ)(fun)(SAT) 162| -. -. -.
% 8.08/8.24 (SAT)(equ)(fun)(SAT) 162+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 8.13/8.31 (SAT)(equ)(fun)(SAT) 163| -. -. -. -. -. -. -. -.
% 8.21/8.38 (SAT)(equ)(fun)(SAT) 163+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 8.28/8.45 (SAT)(equ)(fun)(SAT) 164| -. -1 -. -. -.
% 8.28/8.46 (SAT)(equ)(fun)(SAT) 164| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.28/8.50 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -.
% 8.36/8.56 (SAT)(equ)(fun)(SAT) 164+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 8.43/8.62 (SAT)(equ)(fun)(SAT) 166| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.52/8.67 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -. -.
% 8.57/8.73 (SAT)(equ)(fun)(SAT) 166+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 8.60/8.80 (SAT)(equ)(fun)(SAT) 168| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.68/8.84 (SAT)(equ)(fun)(SAT) 168| -. -1 -.
% 8.68/8.85 (SAT)(equ)(fun)(SAT) 168| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.68/8.89 (SAT)(equ)(fun)(SAT) 168| -. -. -.
% 8.75/8.95 (SAT)(equ)(fun)(SAT) 168+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 8.85/9.02 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.88/9.11 (SAT)(equ)(fun)(SAT) 170+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 8.98/9.19 (SAT)(equ)(fun)(SAT) 171| -. -1 -1 -. -.
% 9.04/9.20 (SAT)(equ)(fun)(SAT) 171| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.04/9.24 (SAT)(equ)(fun)(SAT) 171| -. -. -. -. -. -.
% 9.11/9.30 (SAT)(equ)(fun)(SAT) 171+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 9.20/9.38 (SAT)(equ)(fun)(SAT) 173| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.20/9.42 (SAT)(equ)(fun)(SAT) 173| -. -. -. -. -. -. -.
% 9.30/9.49 (SAT)(equ)(fun)(SAT) 173+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 9.41/9.56 (SAT)(equ)(fun)(SAT) 175| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.46/9.61 (SAT)(equ)(fun)(SAT) 175| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.50/9.65 (SAT)(equ)(fun)(SAT) 175| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.60/9.75 (SAT)(equ)(fun)(SAT) 175+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 9.65/9.82 (SAT)(equ)(fun)(SAT) 177| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.77/9.92 (SAT)(equ)(fun)(SAT) 177+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 9.82/10.00 (SAT)(equ)(fun)(SAT) 178| -. -1 -. -. -.
% 9.82/10.02 (SAT)(equ)(fun)(SAT) 178| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.90/10.06 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -.
% 9.93/10.13 (SAT)(equ)(fun)(SAT) 178+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 10.00/10.20 (SAT)(equ)(fun)(SAT) 180| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.06/10.25 (SAT)(equ)(fun)(SAT) 180| -. -. -. -. -. -. -.
% 10.11/10.33 (SAT)(equ)(fun)(SAT) 180+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 10.24/10.40 (SAT)(equ)(fun)(SAT) 182| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.30/10.45 (SAT)(equ)(fun)(SAT) 182| -. -. -.
% 10.32/10.52 (SAT)(equ)(fun)(SAT) 182+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 10.42/10.60 (SAT)(equ)(fun)(SAT) 183| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.49/10.65 (SAT)(equ)(fun)(SAT) 183| -. -1 -.
% 10.52/10.66 (SAT)(equ)(fun)(SAT) 183| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.62/10.77 (SAT)(equ)(fun)(SAT) 183+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 10.69/10.85 (SAT)(equ)(fun)(SAT) 184| -. -1 -. -. -.
% 10.72/10.87 (SAT)(equ)(fun)(SAT) 184| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.72/10.91 (SAT)(equ)(fun)(SAT) 184| -. -. -. -. -. -.
% 10.83/10.99 (SAT)(equ)(fun)(SAT) 184+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 10.90/11.06 (SAT)(equ)(fun)(SAT) 186| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.93/11.11 (SAT)(equ)(fun)(SAT) 186| -. -. -. -. -. -. -.
% 11.00/11.19 (SAT)(equ)(fun)(SAT) 186+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 11.12/11.27 (SAT)(equ)(fun)(SAT) 188| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.12/11.32 (SAT)(equ)(fun)(SAT) 188| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.21/11.38 (SAT)(equ)(fun)(SAT) 188| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.31/11.49 (SAT)(equ)(fun)(SAT) 188+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 11.38/11.57 (SAT)(equ)(fun)(SAT) 189| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 11.44/11.63 (SAT)(equ)(fun)(SAT) 189| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.59/11.74 (SAT)(equ)(fun)(SAT) 189+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 11.67/11.82 (SAT)(equ)(fun)(SAT) 191| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 11.67/11.86 (SAT)(equ)(fun)(SAT) 191| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 11.74/11.91 (SAT)(equ)(fun)(SAT) 191| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.74/11.96 (SAT)(equ)(fun)(SAT) 191| -. -. -. -. -. -.
% 11.87/12.04 (SAT)(equ)(fun)(SAT) 191+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 11.90/12.12 (SAT)(equ)(fun)(SAT) 193| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.98/12.18 (SAT)(equ)(fun)(SAT) 193| -. -. -. -. -. -. -.
% 12.12/12.27 (SAT)(equ)(fun)(SAT) 193+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 12.18/12.35 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.18/12.40 (SAT)(equ)(fun)(SAT) 195| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.28/12.46 (SAT)(equ)(fun)(SAT) 195| -. -1 -.
% 12.28/12.47 (SAT)(equ)(fun)(SAT) 195| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.42/12.59 (SAT)(equ)(fun)(SAT) 195+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 12.50/12.67 (SAT)(equ)(fun)(SAT) 197| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.65/12.80 (SAT)(equ)(fun)(SAT) 197+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 12.70/12.89 (SAT)(equ)(fun)(SAT) 198| -. -1 -1 -. -.
% 12.75/12.91 (SAT)(equ)(fun)(SAT) 198| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.81/12.96 (SAT)(equ)(fun)(SAT) 198| -. -. -. -. -. -.
% 12.91/13.05 (SAT)(equ)(fun)(SAT) 198+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 12.96/13.14 (SAT)(equ)(fun)(SAT) 200| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.02/13.19 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -. -.
% 13.12/13.29 (SAT)(equ)(fun)(SAT) 200+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 13.21/13.38 (SAT)(equ)(fun)(SAT) 202| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.29/13.43 (SAT)(equ)(fun)(SAT) 202| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.31/13.49 (SAT)(equ)(fun)(SAT) 202| -. -. -.
% 13.42/13.58 (SAT)(equ)(fun)(SAT) 202+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 13.50/13.67 (SAT)(equ)(fun)(SAT) 203| -. -. -. -. -. -. -. -.
% 13.63/13.78 (SAT)(equ)(fun)(SAT) 203+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 13.73/13.87 (SAT)(equ)(fun)(SAT) 204| -. -1 -. -. -.
% 13.73/13.89 (SAT)(equ)(fun)(SAT) 204| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.79/13.94 (SAT)(equ)(fun)(SAT) 204| -. -. -. -. -. -.
% 13.89/14.04 (SAT)(equ)(fun)(SAT) 204+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 13.92/14.13 (SAT)(equ)(fun)(SAT) 206| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.02/14.19 (SAT)(equ)(fun)(SAT) 206| -. -. -. -. -. -. -.
% 14.13/14.29 (SAT)(equ)(fun)(SAT) 206+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 14.20/14.38 (SAT)(equ)(fun)(SAT) 208| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.29/14.44 (SAT)(equ)(fun)(SAT) 208| -. -. -.
% 14.37/14.53 (SAT)(equ)(fun)(SAT) 208+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 14.42/14.63 (SAT)(equ)(fun)(SAT) 209| -. -. -. -. -. -. -. -.
% 14.60/14.75 (SAT)(equ)(fun)(SAT) 209+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 14.68/14.84 (SAT)(equ)(fun)(SAT) 210| -. -1 -. -. -.
% 14.68/14.86 (SAT)(equ)(fun)(SAT) 210| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.74/14.92 (SAT)(equ)(fun)(SAT) 210| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.82/14.97 (SAT)(equ)(fun)(SAT) 210| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 14.89/15.03 (SAT)(equ)(fun)(SAT) 210| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.04/15.20 (SAT)(equ)(fun)(SAT) 210+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 15.14/15.29 (SAT)(equ)(fun)(SAT) 212| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.21/15.35 (SAT)(equ)(fun)(SAT) 212| -. -. -. -. -. -. -.
% 15.29/15.46 (SAT)(equ)(fun)(SAT) 212+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 15.36/15.56 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.46/15.62 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.49/15.68 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.65/15.82 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 15.78/15.92 (SAT)(equ)(fun)(SAT) 215| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 15.81/15.99 (SAT)(equ)(fun)(SAT) 215| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.96/16.14 (SAT)(equ)(fun)(SAT) 215+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 16.06/16.24 (SAT)(equ)(fun)(SAT) 216| -. -1 -. -. -.
% 16.11/16.26 (SAT)(equ)(fun)(SAT) 216| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.11/16.31 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -.
% 16.26/16.42 (SAT)(equ)(fun)(SAT) 216+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 16.38/16.52 (SAT)(equ)(fun)(SAT) 218| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.42/16.58 (SAT)(equ)(fun)(SAT) 218| -. -. -. -. -. -. -.
% 16.54/16.70 (SAT)(equ)(fun)(SAT) 218+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 16.61/16.79 (SAT)(equ)(fun)(SAT) 220| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.67/16.86 (SAT)(equ)(fun)(SAT) 220| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.72/16.92 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 16.84/16.98 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.99/17.15 (SAT)(equ)(fun)(SAT) 220+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 17.09/17.25 (SAT)(equ)(fun)(SAT) 221| -. -. -. -. -. -. -. -.
% 17.23/17.38 (SAT)(equ)(fun)(SAT) 221+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 17.33/17.48 (SAT)(equ)(fun)(SAT) 222| -. -1 -. -. -.
% 17.33/17.50 (SAT)(equ)(fun)(SAT) 222| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.39/17.56 (SAT)(equ)(fun)(SAT) 222| -. -. -. -. -. -.
% 17.51/17.68 (SAT)(equ)(fun)(SAT) 222+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 17.61/17.78 (SAT)(equ)(fun)(SAT) 224| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.68/17.84 (SAT)(equ)(fun)(SAT) 224| -. -. -. -. -. -. -.
% 17.81/17.97 (SAT)(equ)(fun)(SAT) 224+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 17.91/18.07 (SAT)(equ)(fun)(SAT) 226| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.99/18.13 (SAT)(equ)(fun)(SAT) 226| -. -. -.
% 18.04/18.25 (SAT)(equ)(fun)(SAT) 226+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 18.19/18.35 (SAT)(equ)(fun)(SAT) 227| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.27/18.42 (SAT)(equ)(fun)(SAT) 227| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.44/18.59 (SAT)(equ)(fun)(SAT) 227+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 18.51/18.69 (SAT)(equ)(fun)(SAT) 228| -. -1 -. -. -.
% 18.51/18.72 (SAT)(equ)(fun)(SAT) 228| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.59/18.78 (SAT)(equ)(fun)(SAT) 228| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 18.65/18.84 (SAT)(equ)(fun)(SAT) 228| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.80/19.02 (SAT)(equ)(fun)(SAT) 228+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 18.96/19.12 (SAT)(equ)(fun)(SAT) 230| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.03/19.19 (SAT)(equ)(fun)(SAT) 230| -. -. -. -. -. -. -.
% 19.11/19.32 (SAT)(equ)(fun)(SAT) 230+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 19.26/19.42 (SAT)(equ)(fun)(SAT) 232| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.31/19.49 (SAT)(equ)(fun)(SAT) 232| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.41/19.56 (SAT)(equ)(fun)(SAT) 232| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.56/19.72 (SAT)(equ)(fun)(SAT) 232+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 19.68/19.83 (SAT)(equ)(fun)(SAT) 233| -. -. -. -. -. -. -. -.
% 19.84/19.98 (SAT)(equ)(fun)(SAT) 233+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 19.91/20.09 (SAT)(equ)(fun)(SAT) 234| -. -1 -. -. -.
% 19.98/20.12 (SAT)(equ)(fun)(SAT) 234| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.03/20.18 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 20.11/20.25 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.30/20.44 (SAT)(equ)(fun)(SAT) 234+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 20.40/20.55 (SAT)(equ)(fun)(SAT) 236| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.43/20.62 (SAT)(equ)(fun)(SAT) 236| -. -. -. -. -. -. -.
% 20.60/20.76 (SAT)(equ)(fun)(SAT) 236+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 20.69/20.86 (SAT)(equ)(fun)(SAT) 238| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.74/20.94 (SAT)(equ)(fun)(SAT) 238| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.85/21.01 (SAT)(equ)(fun)(SAT) 238| -. -1 -.
% 20.85/21.02 (SAT)(equ)(fun)(SAT) 238| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.03/21.24 (SAT)(equ)(fun)(SAT) 238+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 21.21/21.35 (SAT)(equ)(fun)(SAT) 239| -. -. -. -. -. -. -. -.
% 21.35/21.52 (SAT)(equ)(fun)(SAT) 239+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 21.49/21.63 (SAT)(equ)(fun)(SAT) 240| -. -1 -. -. -.
% 21.50/21.65 (SAT)(equ)(fun)(SAT) 240| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.58/21.72 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -.
% 21.65/21.86 (SAT)(equ)(fun)(SAT) 240+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 21.81/21.97 (SAT)(equ)(fun)(SAT) 242| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.89/22.04 (SAT)(equ)(fun)(SAT) 242| -. -. -. -. -. -. -.
% 22.03/22.19 (SAT)(equ)(fun)(SAT) 242+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 22.10/22.30 (SAT)(equ)(fun)(SAT) 244| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.20/22.38 (SAT)(equ)(fun)(SAT) 244| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.27/22.44 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 22.34/22.51 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.57/22.74 (SAT)(equ)(fun)(SAT) 244+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 22.71/22.86 (SAT)(equ)(fun)(SAT) 245| -. -. -. -. -. -. -. -.
% 22.87/23.03 (SAT)(equ)(fun)(SAT) 245+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 22.98/23.14 (SAT)(equ)(fun)(SAT) 246| -. -1 -. -. -.
% 23.03/23.17 (SAT)(equ)(fun)(SAT) 246| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.03/23.23 (SAT)(equ)(fun)(SAT) 246| -. -. -. -. -. -.
% 23.22/23.39 (SAT)(equ)(fun)(SAT) 246+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 23.33/23.50 (SAT)(equ)(fun)(SAT) 248| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.41/23.57 (SAT)(equ)(fun)(SAT) 248| -. -. -. -. -. -. -.
% 23.53/23.73 (SAT)(equ)(fun)(SAT) 248+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 23.70/23.84 (SAT)(equ)(fun)(SAT) 250| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.74/23.91 (SAT)(equ)(fun)(SAT) 250| -. -. -.
% 23.90/24.06 (SAT)(equ)(fun)(SAT) 250+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 24.05/24.18 (SAT)(equ)(fun)(SAT) 251| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.12/24.26 (SAT)(equ)(fun)(SAT) 251| -. -1 -.
% 24.12/24.27 (SAT)(equ)(fun)(SAT) 251| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.34/24.49 (SAT)(equ)(fun)(SAT) 251+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 24.46/24.60 (SAT)(equ)(fun)(SAT) 252| -. -1 -. -. -.
% 24.46/24.63 (SAT)(equ)(fun)(SAT) 252| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.52/24.70 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -.
% 24.65/24.85 (SAT)(equ)(fun)(SAT) 252+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 24.80/24.97 (SAT)(equ)(fun)(SAT) 254| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.88/25.05 (SAT)(equ)(fun)(SAT) 254| -. -. -. -. -. -. -.
% 25.05/25.21 (SAT)(equ)(fun)(SAT) 254+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 25.11/25.32 (SAT)(equ)(fun)(SAT) 256| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.26/25.40 (SAT)(equ)(fun)(SAT) 256| -. -. -.
% 25.40/25.56 (SAT)(equ)(fun)(SAT) 256+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 25.50/25.68 (SAT)(equ)(fun)(SAT) 257| -. -. -. -. -. -. -. -.
% 25.72/25.86 (SAT)(equ)(fun)(SAT) 257+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 25.82/25.98 (SAT)(equ)(fun)(SAT) 258| -. -1 -. -. -.
% 25.87/26.01 (SAT)(equ)(fun)(SAT) 258| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.92/26.08 (SAT)(equ)(fun)(SAT) 258| -. -. -1 -.
% 25.97/26.10 (SAT)(equ)(fun)(SAT) 258| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.02/26.17 (SAT)(equ)(fun)(SAT) 258| -. -. -. -. -. -.
% 26.22/26.36 (SAT)(equ)(fun)(SAT) 258+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 26.33/26.48 (SAT)(equ)(fun)(SAT) 262| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.42/26.56 (SAT)(equ)(fun)(SAT) 262| -. -. -. -. -. -. -. -.
% 26.59/26.75 (SAT)(equ)(fun)(SAT) 262+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 26.72/26.87 (SAT)(equ)(fun)(SAT) 264| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.82/26.95 (SAT)(equ)(fun)(SAT) 264| -. -. -.
% 26.94/27.12 (SAT)(equ)(fun)(SAT) 264+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 27.10/27.25 (SAT)(equ)(fun)(SAT) 265| -. -. -. -. -. -. -. -.
% 27.30/27.45 (SAT)(equ)(fun)(SAT) 265+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 27.42/27.57 (SAT)(equ)(fun)(SAT) 266| -. -1 -. -. -.
% 27.45/27.60 (SAT)(equ)(fun)(SAT) 266| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.52/27.68 (SAT)(equ)(fun)(SAT) 266| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.58/27.75 (SAT)(equ)(fun)(SAT) 266| -. -. -. -. -. -.
% 27.82/27.98 (SAT)(equ)(fun)(SAT) 266+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 27.96/28.10 (SAT)(equ)(fun)(SAT) 268| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.06/28.18 (SAT)(equ)(fun)(SAT) 268| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 28.11/28.27 (SAT)(equ)(fun)(SAT) 268| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.39/28.52 (SAT)(equ)(fun)(SAT) 268+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -.
% 28.51/28.65 (SAT)(equ)(fun)(SAT) 271| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.57/28.74 (SAT)(equ)(fun)(SAT) 271| -. -. -.
% 28.80/28.94 (SAT)(equ)(fun)(SAT) 271+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 28.94/29.07 (SAT)(equ)(fun)(SAT) 272| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.02/29.16 (SAT)(equ)(fun)(SAT) 272| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.27/29.41 (SAT)(equ)(fun)(SAT) 272+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 29.32/29.54 (SAT)(equ)(fun)(SAT) 273| -. -1 -. -. -.
% 29.42/29.57 (SAT)(equ)(fun)(SAT) 273| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.47/29.64 (SAT)(equ)(fun)(SAT) 273| -. -. -. -. -. -.
% 29.64/29.84 (SAT)(equ)(fun)(SAT) 273+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 29.83/29.97 (SAT)(equ)(fun)(SAT) 275| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.89/30.06 (SAT)(equ)(fun)(SAT) 275| -. -. -. -. -. -. -.
% 30.14/30.29 (SAT)(equ)(fun)(SAT) 275+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 30.24/30.42 (SAT)(equ)(fun)(SAT) 277| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.34/30.50 (SAT)(equ)(fun)(SAT) 277| -. -. -.
% 30.54/30.70 (SAT)(equ)(fun)(SAT) 277+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 30.65/30.84 (SAT)(equ)(fun)(SAT) 278| -. -. -. -. -. -. -. -.
% 30.94/31.10 (SAT)(equ)(fun)(SAT) 278+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 31.11/31.24 (SAT)(equ)(fun)(SAT) 279| -. -1 -. -. -.
% 31.12/31.27 (SAT)(equ)(fun)(SAT) 279| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.20/31.35 (SAT)(equ)(fun)(SAT) 279| -. -. -. -. -. -.
% 31.40/31.60 (SAT)(equ)(fun)(SAT) 279+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 31.55/31.74 (SAT)(equ)(fun)(SAT) 281| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.69/31.83 (SAT)(equ)(fun)(SAT) 281| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.72/31.92 (SAT)(equ)(fun)(SAT) 281| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.00/32.20 (SAT)(equ)(fun)(SAT) 281+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 32.17/32.33 (SAT)(equ)(fun)(SAT) 283| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.29/32.42 (SAT)(equ)(fun)(SAT) 283| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.32/32.51 (SAT)(equ)(fun)(SAT) 283| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 32.42/32.59 (SAT)(equ)(fun)(SAT) 283| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.73/32.86 (SAT)(equ)(fun)(SAT) 283+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 32.85/33.00 (SAT)(equ)(fun)(SAT) 284| -. -. -. -. -. -. -. -.
% 33.13/33.26 (SAT)(equ)(fun)(SAT) 284+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 33.24/33.40 (SAT)(equ)(fun)(SAT) 285| -. -1 -. -. -.
% 33.24/33.43 (SAT)(equ)(fun)(SAT) 285| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.36/33.51 (SAT)(equ)(fun)(SAT) 285| -. -. -. -. -. -.
% 33.61/33.73 (SAT)(equ)(fun)(SAT) 285+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 33.75/33.87 (SAT)(equ)(fun)(SAT) 287| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.81/33.96 (SAT)(equ)(fun)(SAT) 287| -. -. -. -. -. -. -.
% 34.06/34.21 (SAT)(equ)(fun)(SAT) 287+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 34.19/34.34 (SAT)(equ)(fun)(SAT) 289| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.24/34.44 (SAT)(equ)(fun)(SAT) 289| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.36/34.53 (SAT)(equ)(fun)(SAT) 289| -. -. -.
% 34.56/34.74 (SAT)(equ)(fun)(SAT) 289+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 34.71/34.89 (SAT)(equ)(fun)(SAT) 290| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 34.86/34.99 (SAT)(equ)(fun)(SAT) 290| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.18/35.30 (SAT)(equ)(fun)(SAT) 290+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 35.31/35.44 (SAT)(equ)(fun)(SAT) 292| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 35.41/35.54 (SAT)(equ)(fun)(SAT) 292| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.48/35.62 (SAT)(equ)(fun)(SAT) 292| -. -. -. -. -. -. -. -.
% 35.72/35.89 (SAT)(equ)(fun)(SAT) 292+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 35.88/36.04 (SAT)(equ)(fun)(SAT) 294| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.93/36.13 (SAT)(equ)(fun)(SAT) 294| -. -. -. -. -. -. -.
% 36.25/36.41 (SAT)(equ)(fun)(SAT) 294+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 36.42/36.55 (SAT)(equ)(fun)(SAT) 296| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.50/36.64 (SAT)(equ)(fun)(SAT) 296| -. -. -.
% 36.73/36.86 (SAT)(equ)(fun)(SAT) 296+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 36.84/37.02 (SAT)(equ)(fun)(SAT) 297| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.94/37.11 (SAT)(equ)(fun)(SAT) 297| -. -1 -.
% 37.01/37.13 (SAT)(equ)(fun)(SAT) 297| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.34/37.46 (SAT)(equ)(fun)(SAT) 297+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 37.43/37.61 (SAT)(equ)(fun)(SAT) 298| -. -1 -. -. -.
% 37.50/37.64 (SAT)(equ)(fun)(SAT) 298| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.55/37.72 (SAT)(equ)(fun)(SAT) 298| -. -. -. -. -. -.
% 37.86/38.00 (SAT)(equ)(fun)(SAT) 298+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 38.01/38.14 (SAT)(equ)(fun)(SAT) 300| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.09/38.24 (SAT)(equ)(fun)(SAT) 300| -. -. -. -. -. -. -.
% 38.42/38.53 (SAT)(equ)(fun)(SAT) 300+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 38.55/38.67 (SAT)(equ)(fun)(SAT) 302| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.62/38.77 (SAT)(equ)(fun)(SAT) 302| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.72/38.86 (SAT)(equ)(fun)(SAT) 302| -. -. -.
% 38.93/39.13 (SAT)(equ)(fun)(SAT) 302+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 39.13/39.29 (SAT)(equ)(fun)(SAT) 303| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 39.23/39.39 (SAT)(equ)(fun)(SAT) 303| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.63/39.75 (SAT)(equ)(fun)(SAT) 303+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 39.73/39.90 (SAT)(equ)(fun)(SAT) 304| -. -1 -. -. -.
% 39.80/39.93 (SAT)(equ)(fun)(SAT) 304| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.85/40.02 (SAT)(equ)(fun)(SAT) 304| -. -. -. -. -. -.
% 40.15/40.31 (SAT)(equ)(fun)(SAT) 304+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 40.32/40.46 (SAT)(equ)(fun)(SAT) 306| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.45/40.56 (SAT)(equ)(fun)(SAT) 306| -. -. -. -. -. -. -.
% 40.73/40.85 (SAT)(equ)(fun)(SAT) 306+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 40.85/41.00 (SAT)(equ)(fun)(SAT) 308| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.96/41.11 (SAT)(equ)(fun)(SAT) 308| -. -1 -.
% 41.01/41.13 (SAT)(equ)(fun)(SAT) 308| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.11/41.23 (SAT)(equ)(fun)(SAT) 308| -. -. -.
% 41.39/41.54 (SAT)(equ)(fun)(SAT) 308+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 41.56/41.69 (SAT)(equ)(fun)(SAT) 310| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.91/42.09 (SAT)(equ)(fun)(SAT) 310+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 42.07/42.24 (SAT)(equ)(fun)(SAT) 311| -. -1 -. -. -.
% 42.14/42.28 (SAT)(equ)(fun)(SAT) 311| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.22/42.37 (SAT)(equ)(fun)(SAT) 311| -. -. -. -. -. -.
% 42.53/42.68 (SAT)(equ)(fun)(SAT) 311+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 42.68/42.84 (SAT)(equ)(fun)(SAT) 313| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.80/42.95 (SAT)(equ)(fun)(SAT) 313| -. -. -. -. -. -. -.
% 43.14/43.26 (SAT)(equ)(fun)(SAT) 313+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 43.26/43.41 (SAT)(equ)(fun)(SAT) 315| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.35/43.53 (SAT)(equ)(fun)(SAT) 315| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.50/43.63 (SAT)(equ)(fun)(SAT) 315| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 43.61/43.74 (SAT)(equ)(fun)(SAT) 315| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.97/44.12 (SAT)(equ)(fun)(SAT) 315+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 44.15/44.28 (SAT)(equ)(fun)(SAT) 316| -. -. -. -. -. -. -. -.
% 44.46/44.63 (SAT)(equ)(fun)(SAT) 316+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 44.61/44.79 (SAT)(equ)(fun)(SAT) 317| -. -1 -. -. -.
% 44.69/44.82 (SAT)(equ)(fun)(SAT) 317| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.76/44.92 (SAT)(equ)(fun)(SAT) 317| -. -. -. -. -. -.
% 45.08/45.24 (SAT)(equ)(fun)(SAT) 317+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 45.21/45.40 (SAT)(equ)(fun)(SAT) 319| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.38/45.51 (SAT)(equ)(fun)(SAT) 319| -. -. -. -. -. -. -.
% 45.68/45.83 (SAT)(equ)(fun)(SAT) 319+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 45.83/45.99 (SAT)(equ)(fun)(SAT) 321| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.98/46.10 (SAT)(equ)(fun)(SAT) 321| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.05/46.20 (SAT)(equ)(fun)(SAT) 321| -. -1 -.
% 46.10/46.22 (SAT)(equ)(fun)(SAT) 321| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.45/46.61 (SAT)(equ)(fun)(SAT) 321+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 46.65/46.77 (SAT)(equ)(fun)(SAT) 323| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.05/47.18 (SAT)(equ)(fun)(SAT) 323+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 47.17/47.35 (SAT)(equ)(fun)(SAT) 324| -. -1 -. -. -.
% 47.27/47.39 (SAT)(equ)(fun)(SAT) 324| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.33/47.48 (SAT)(equ)(fun)(SAT) 324| -. -. -. -. -. -.
% 47.63/47.81 (SAT)(equ)(fun)(SAT) 324+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 47.85/47.98 (SAT)(equ)(fun)(SAT) 326| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.91/48.09 (SAT)(equ)(fun)(SAT) 326| -. -. -. -. -. -. -.
% 48.32/48.44 (SAT)(equ)(fun)(SAT) 326+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 48.46/48.61 (SAT)(equ)(fun)(SAT) 328| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.59/48.72 (SAT)(equ)(fun)(SAT) 328| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.69/48.83 (SAT)(equ)(fun)(SAT) 328| -. -. -.
% 49.03/49.17 (SAT)(equ)(fun)(SAT) 328+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 49.14/49.34 (SAT)(equ)(fun)(SAT) 329| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 49.33/49.46 (SAT)(equ)(fun)(SAT) 329| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.77/49.88 (SAT)(equ)(fun)(SAT) 329+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 49.90/50.06 (SAT)(equ)(fun)(SAT) 330| -. -1 -. -. -.
% 49.95/50.10 (SAT)(equ)(fun)(SAT) 330| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.07/50.19 (SAT)(equ)(fun)(SAT) 330| -. -. -. -. -. -.
% 50.43/50.55 (SAT)(equ)(fun)(SAT) 330+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 50.55/50.71 (SAT)(equ)(fun)(SAT) 332| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.67/50.83 (SAT)(equ)(fun)(SAT) 332| -. -. -. -. -. -. -.
% 51.06/51.21 (SAT)(equ)(fun)(SAT) 332+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 51.26/51.38 (SAT)(equ)(fun)(SAT) 334| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.36/51.50 (SAT)(equ)(fun)(SAT) 334| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.49/51.61 (SAT)(equ)(fun)(SAT) 334| -. -. -.
% 51.81/51.98 (SAT)(equ)(fun)(SAT) 334+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 51.95/52.16 (SAT)(equ)(fun)(SAT) 335| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 52.12/52.27 (SAT)(equ)(fun)(SAT) 335| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.53/52.72 (SAT)(equ)(fun)(SAT) 335+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 52.74/52.90 (SAT)(equ)(fun)(SAT) 336| -. -1 -. -. -.
% 52.74/52.94 (SAT)(equ)(fun)(SAT) 336| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.89/53.04 (SAT)(equ)(fun)(SAT) 336| -. -. -. -. -. -.
% 53.25/53.41 (SAT)(equ)(fun)(SAT) 336+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 53.43/53.58 (SAT)(equ)(fun)(SAT) 338| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.53/53.69 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -. -.
% 53.94/54.07 (SAT)(equ)(fun)(SAT) 338+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 54.12/54.24 (SAT)(equ)(fun)(SAT) 340| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.22/54.36 (SAT)(equ)(fun)(SAT) 340| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.32/54.46 (SAT)(equ)(fun)(SAT) 340| -. -1 -.
% 54.37/54.49 (SAT)(equ)(fun)(SAT) 340| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.82/54.93 (SAT)(equ)(fun)(SAT) 340+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 54.97/55.12 (SAT)(equ)(fun)(SAT) 341| -. -. -. -. -. -. -. -.
% 55.40/55.53 (SAT)(equ)(fun)(SAT) 341+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 55.59/55.71 (SAT)(equ)(fun)(SAT) 342| -. -1 -. -. -.
% 55.59/55.75 (SAT)(equ)(fun)(SAT) 342| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.65/55.86 (SAT)(equ)(fun)(SAT) 342| -. -. -. -. -. -.
% 56.11/56.24 (SAT)(equ)(fun)(SAT) 342+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 56.29/56.42 (SAT)(equ)(fun)(SAT) 344| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.34/56.54 (SAT)(equ)(fun)(SAT) 344| -. -. -. -. -. -. -.
% 56.80/56.93 (SAT)(equ)(fun)(SAT) 344+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 56.97/57.11 (SAT)(equ)(fun)(SAT) 346| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.10/57.23 (SAT)(equ)(fun)(SAT) 346| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.15/57.34 (SAT)(equ)(fun)(SAT) 346| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.66/57.80 (SAT)(equ)(fun)(SAT) 346+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 57.87/57.99 (SAT)(equ)(fun)(SAT) 347| -. -. -. -. -. -. -. -.
% 58.28/58.42 (SAT)(equ)(fun)(SAT) 347+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 58.47/58.60 (SAT)(equ)(fun)(SAT) 348| -. -1 -. -. -.
% 58.47/58.64 (SAT)(equ)(fun)(SAT) 348| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 58.62/58.76 (SAT)(equ)(fun)(SAT) 348| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.71/58.86 (SAT)(equ)(fun)(SAT) 348| -. -. -. -. -. -.
% 59.09/59.26 (SAT)(equ)(fun)(SAT) 348+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 59.33/59.44 (SAT)(equ)(fun)(SAT) 352| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.43/59.56 (SAT)(equ)(fun)(SAT) 352| -. -. -. -. -. -. -. -.
% 59.84/59.97 (SAT)(equ)(fun)(SAT) 352+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 60.04/60.15 (SAT)(equ)(fun)(SAT) 354| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.14/60.28 (SAT)(equ)(fun)(SAT) 354| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.24/60.39 (SAT)(equ)(fun)(SAT) 354| -. -. -.
% 60.68/60.78 (SAT)(equ)(fun)(SAT) 354+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 60.86/60.98 (SAT)(equ)(fun)(SAT) 355| -. -. -. -. -. -. -. -.
% 61.32/61.44 (SAT)(equ)(fun)(SAT) 355+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 61.53/61.63 (SAT)(equ)(fun)(SAT) 356| -. -1 -. -. -.
% 61.53/61.67 (SAT)(equ)(fun)(SAT) 356| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 61.68/61.79 (SAT)(equ)(fun)(SAT) 356| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.75/61.90 (SAT)(equ)(fun)(SAT) 356| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.28/62.40 (SAT)(equ)(fun)(SAT) 356+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 62.48/62.59 (SAT)(equ)(fun)(SAT) 358| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.61/62.72 (SAT)(equ)(fun)(SAT) 358| -. -. -. -. -. -. -.
% 63.03/63.15 (SAT)(equ)(fun)(SAT) 358+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 63.19/63.34 (SAT)(equ)(fun)(SAT) 360| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.26/63.46 (SAT)(equ)(fun)(SAT) 360| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.44/63.58 (SAT)(equ)(fun)(SAT) 360| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 63.94/64.07 (SAT)(equ)(fun)(SAT) 360+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 64.17/64.28 (SAT)(equ)(fun)(SAT) 361| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 64.26/64.42 (SAT)(equ)(fun)(SAT) 361| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.83/64.93 (SAT)(equ)(fun)(SAT) 361+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 64.96/65.12 (SAT)(equ)(fun)(SAT) 362| -. -1 -. -. -.
% 65.06/65.17 (SAT)(equ)(fun)(SAT) 362| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.16/65.28 (SAT)(equ)(fun)(SAT) 362| -. -. -. -. -. -.
% 65.56/65.71 (SAT)(equ)(fun)(SAT) 362+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 65.74/65.90 (SAT)(equ)(fun)(SAT) 364| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.88/66.03 (SAT)(equ)(fun)(SAT) 364| -. -. -. -. -. -. -.
% 66.34/66.47 (SAT)(equ)(fun)(SAT) 364+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 66.50/66.66 (SAT)(equ)(fun)(SAT) 366| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.67/66.78 (SAT)(equ)(fun)(SAT) 366| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.73/66.90 (SAT)(equ)(fun)(SAT) 366| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 66.90/67.02 (SAT)(equ)(fun)(SAT) 366| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.35/67.53 (SAT)(equ)(fun)(SAT) 366+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 67.55/67.74 (SAT)(equ)(fun)(SAT) 367| -. -. -. -. -. -. -. -.
% 68.08/68.23 (SAT)(equ)(fun)(SAT) 367+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 68.27/68.43 (SAT)(equ)(fun)(SAT) 368| -. -1 -. -. -.
% 68.35/68.47 (SAT)(equ)(fun)(SAT) 368| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 68.47/68.60 (SAT)(equ)(fun)(SAT) 368| -. -. -. -. -. -.
% 68.93/69.03 (SAT)(equ)(fun)(SAT) 368+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 69.13/69.23 (SAT)(equ)(fun)(SAT) 370| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.27/69.37 (SAT)(equ)(fun)(SAT) 370| -. -. -. -. -. -. -.
% 69.73/69.83 (SAT)(equ)(fun)(SAT) 370+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 69.88/70.02 (SAT)(equ)(fun)(SAT) 372| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.05/70.16 (SAT)(equ)(fun)(SAT) 372| -. -. -.
% 70.51/70.60 (SAT)(equ)(fun)(SAT) 372+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 70.72/70.82 (SAT)(equ)(fun)(SAT) 373| -. -. -. -. -. -. -. -.
% 71.15/71.32 (SAT)(equ)(fun)(SAT) 373+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 71.35/71.52 (SAT)(equ)(fun)(SAT) 374| -. -1 -. -. -.
% 71.47/71.56 (SAT)(equ)(fun)(SAT) 374| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.57/71.69 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.74/71.84 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.28/72.40 (SAT)(equ)(fun)(SAT) 374+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 72.47/72.60 (SAT)(equ)(fun)(SAT) 376| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 72.59/72.74 (SAT)(equ)(fun)(SAT) 376| -. -. -. -. -. -. -.
% 73.06/73.20 (SAT)(equ)(fun)(SAT) 376+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 73.29/73.40 (SAT)(equ)(fun)(SAT) 378| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.42/73.54 (SAT)(equ)(fun)(SAT) 378| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.58/73.67 (SAT)(equ)(fun)(SAT) 378| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 73.65/73.80 (SAT)(equ)(fun)(SAT) 378| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.22/74.34 (SAT)(equ)(fun)(SAT) 378+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 74.41/74.54 (SAT)(equ)(fun)(SAT) 380| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 74.56/74.68 (SAT)(equ)(fun)(SAT) 380| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.15/75.25 (SAT)(equ)(fun)(SAT) 380+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 75.32/75.46 (SAT)(equ)(fun)(SAT) 381| -. -1 -1 -. -.
% 75.37/75.51 (SAT)(equ)(fun)(SAT) 381| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 75.49/75.64 (SAT)(equ)(fun)(SAT) 381| -. -. -. -. -. -.
% 75.97/76.12 (SAT)(equ)(fun)(SAT) 381+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 76.20/76.33 (SAT)(equ)(fun)(SAT) 383| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.38/76.47 (SAT)(equ)(fun)(SAT) 383| -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.92/77.02 (SAT)(equ)(fun)(SAT) 383+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 77.13/77.23 (SAT)(equ)(fun)(SAT) 385| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.24/77.37 (SAT)(equ)(fun)(SAT) 385| -. -. -.
% 77.68/77.83 (SAT)(equ)(fun)(SAT) 385+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 77.96/78.04 (SAT)(equ)(fun)(SAT) 386| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.07/78.20 (SAT)(equ)(fun)(SAT) 386| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 78.67/78.80 (SAT)(equ)(fun)(SAT) 386+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 78.87/79.01 (SAT)(equ)(fun)(SAT) 387| -. -1 -. -. -.
% 78.98/79.06 (SAT)(equ)(fun)(SAT) 387| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 79.10/79.20 (SAT)(equ)(fun)(SAT) 387| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.25/79.34 (SAT)(equ)(fun)(SAT) 387| -. -. -. -. -. -.
% 79.70/79.83 (SAT)(equ)(fun)(SAT) 387+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 79.93/80.04 (SAT)(equ)(fun)(SAT) 389| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.10/80.19 (SAT)(equ)(fun)(SAT) 389| -. -. -. -. -. -. -.
% 80.60/80.70 (SAT)(equ)(fun)(SAT) 389+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 80.76/80.91 (SAT)(equ)(fun)(SAT) 391| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.91/81.05 (SAT)(equ)(fun)(SAT) 391| -. -1 -.
% 80.98/81.08 (SAT)(equ)(fun)(SAT) 391| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.11/81.21 (SAT)(equ)(fun)(SAT) 391| -. -. -.
% 81.56/81.70 (SAT)(equ)(fun)(SAT) 391+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 81.77/81.92 (SAT)(equ)(fun)(SAT) 392| -. -. -. -. -. -. -. -.
% 82.39/82.47 (SAT)(equ)(fun)(SAT) 392+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 82.57/82.69 (SAT)(equ)(fun)(SAT) 393| -. -1 -. -. -.
% 82.64/82.74 (SAT)(equ)(fun)(SAT) 393| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 82.77/82.87 (SAT)(equ)(fun)(SAT) 393| -. -. -. -. -. -.
% 83.28/83.38 (SAT)(equ)(fun)(SAT) 393+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 83.50/83.60 (SAT)(equ)(fun)(SAT) 395| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.63/83.74 (SAT)(equ)(fun)(SAT) 395| -. -. -. -. -. -. -.
% 84.15/84.27 (SAT)(equ)(fun)(SAT) 395+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 84.39/84.48 (SAT)(equ)(fun)(SAT) 397| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.55/84.63 (SAT)(equ)(fun)(SAT) 397| -. -1 -.
% 84.55/84.66 (SAT)(equ)(fun)(SAT) 397| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.69/84.79 (SAT)(equ)(fun)(SAT) 397| -. -. -.
% 85.19/85.30 (SAT)(equ)(fun)(SAT) 397+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 85.42/85.52 (SAT)(equ)(fun)(SAT) 399| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.09/86.23 (SAT)(equ)(fun)(SAT) 399+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 86.34/86.45 (SAT)(equ)(fun)(SAT) 400| -. -1 -1 -. -.
% 86.39/86.51 (SAT)(equ)(fun)(SAT) 400| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.51/86.64 (SAT)(equ)(fun)(SAT) 400| -. -. -. -. -. -.
% 87.11/87.18 (SAT)(equ)(fun)(SAT) 400+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 87.28/87.41 (SAT)(equ)(fun)(SAT) 402| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 87.48/87.56 (SAT)(equ)(fun)(SAT) 402| -. -. -. -. -. -. -.
% 88.01/88.12 (SAT)(equ)(fun)(SAT) 402+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 88.26/88.34 (SAT)(equ)(fun)(SAT) 404| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.40/88.50 (SAT)(equ)(fun)(SAT) 404| -. -. -.
% 88.94/89.03 (SAT)(equ)(fun)(SAT) 404+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 89.18/89.27 (SAT)(equ)(fun)(SAT) 405| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.33/89.42 (SAT)(equ)(fun)(SAT) 405| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.05/90.16 (SAT)(equ)(fun)(SAT) 405+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 90.30/90.39 (SAT)(equ)(fun)(SAT) 407| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 90.46/90.55 (SAT)(equ)(fun)(SAT) 407| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 90.60/90.70 (SAT)(equ)(fun)(SAT) 407| -. -. -. -. -. -.
% 91.21/91.29 (SAT)(equ)(fun)(SAT) 407+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 91.41/91.53 (SAT)(equ)(fun)(SAT) 409| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 91.56/91.69 (SAT)(equ)(fun)(SAT) 409| -. -. -. -. -. -. -.
% 92.23/92.30 (SAT)(equ)(fun)(SAT) 409+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 92.43/92.52 (SAT)(equ)(fun)(SAT) 411| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.60/92.68 (SAT)(equ)(fun)(SAT) 411| -. -. -.
% 93.08/93.24 (SAT)(equ)(fun)(SAT) 411+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 93.40/93.48 (SAT)(equ)(fun)(SAT) 412| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 93.58/93.65 (SAT)(equ)(fun)(SAT) 412| -. -1 -.
% 93.61/93.68 (SAT)(equ)(fun)(SAT) 412| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.37/94.44 (SAT)(equ)(fun)(SAT) 412+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1
% 94.59/94.68 (SAT)(equ)(fun)(SAT) 414| -1 -1 -. -1 -1 -1 -. -1 -. -.
% 94.68/94.79 (SAT)(equ)(fun)(SAT) 414| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.88/94.95 (SAT)(equ)(fun)(SAT) 414| -. -. -. -. -. -.
% 95.51/95.60 (SAT)(equ)(fun)(SAT) 414+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 95.73/95.84 (SAT)(equ)(fun)(SAT) 417| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 95.93/96.00 (SAT)(equ)(fun)(SAT) 417| -. -. -. -. -. -. -.
% 96.53/96.61 (SAT)(equ)(fun)(SAT) 417+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 96.68/96.83 (SAT)(equ)(fun)(SAT) 419| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.89/97.01 (SAT)(equ)(fun)(SAT) 419| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.08/97.17 (SAT)(equ)(fun)(SAT) 419| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.87/97.93 (SAT)(equ)(fun)(SAT) 419+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 98.08/98.18 (SAT)(equ)(fun)(SAT) 420| -. -. -. -. -. -. -. -.
% 98.82/98.90 (SAT)(equ)(fun)(SAT) 420+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 99.07/99.14 (SAT)(equ)(fun)(SAT) 421| -. -1 -. -. -.
% 99.13/99.20 (SAT)(equ)(fun)(SAT) 421| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.27/99.34 (SAT)(equ)(fun)(SAT) 421| -. -. -. -. -. -.
% 99.89/100.02 (SAT)(equ)(fun)(SAT) 421+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 100.19/100.26 (SAT)(equ)(fun)(SAT) 423| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 100.35/100.42 (SAT)(equ)(fun)(SAT) 423| -. -. -. -. -. -. -.
% 100.97/101.05 (SAT)(equ)(fun)(SAT) 423+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 101.21/101.29 (SAT)(equ)(fun)(SAT) 425| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.37/101.47 (SAT)(equ)(fun)(SAT) 425| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.52/101.63 (SAT)(equ)(fun)(SAT) 425| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.32/102.44 (SAT)(equ)(fun)(SAT) 425+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 102.64/102.70 (SAT)(equ)(fun)(SAT) 426| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -.
% 102.81/102.87 (SAT)(equ)(fun)(SAT) 426| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 103.59/103.68 (SAT)(equ)(fun)(SAT) 426+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 103.84/103.93 (SAT)(equ)(fun)(SAT) 427| -. -1 -. -. -.
% 103.89/103.99 (SAT)(equ)(fun)(SAT) 427| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 104.06/104.15 (SAT)(equ)(fun)(SAT) 427| -. -. -. -. -. -.
% 104.77/104.85 (SAT)(equ)(fun)(SAT) 427+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 105.01/105.09 (SAT)(equ)(fun)(SAT) 429| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 105.20/105.26 (SAT)(equ)(fun)(SAT) 429| -. -. -. -. -. -. -.
% 105.85/105.92 (SAT)(equ)(fun)(SAT) 429+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 106.02/106.16 (SAT)(equ)(fun)(SAT) 431| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.28/106.33 (SAT)(equ)(fun)(SAT) 431| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.41/106.49 (SAT)(equ)(fun)(SAT) 431| -. -. -.
% 107.09/107.18 (SAT)(equ)(fun)(SAT) 431+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 107.34/107.44 (SAT)(equ)(fun)(SAT) 432| -. -. -. -. -. -. -. -.
% 108.21/108.27 (SAT)(equ)(fun)(SAT) 432+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 108.41/108.52 (SAT)(equ)(fun)(SAT) 433| -. -1 -. -. -.
% 108.51/108.58 (SAT)(equ)(fun)(SAT) 433| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.61/108.73 (SAT)(equ)(fun)(SAT) 433| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 108.83/108.90 (SAT)(equ)(fun)(SAT) 433| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 109.63/109.74 (SAT)(equ)(fun)(SAT) 433+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 109.88/109.99 (SAT)(equ)(fun)(SAT) 435| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.02/110.16 (SAT)(equ)(fun)(SAT) 435| -. -. -. -. -. -. -.
% 110.80/110.91 (SAT)(equ)(fun)(SAT) 435+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 111.10/111.15 (SAT)(equ)(fun)(SAT) 437| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 111.21/111.32 (SAT)(equ)(fun)(SAT) 437| -. -. -.
% 111.98/112.04 (SAT)(equ)(fun)(SAT) 437+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 112.21/112.31 (SAT)(equ)(fun)(SAT) 438| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 112.43/112.49 (SAT)(equ)(fun)(SAT) 438| -. -1 -.
% 112.43/112.52 (SAT)(equ)(fun)(SAT) 438| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.27/113.37 (SAT)(equ)(fun)(SAT) 438+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 113.50/113.63 (SAT)(equ)(fun)(SAT) 439| -. -1 -. -. -.
% 113.58/113.69 (SAT)(equ)(fun)(SAT) 439| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.72/113.84 (SAT)(equ)(fun)(SAT) 439| -. -. -. -. -. -.
% 114.50/114.56 (SAT)(equ)(fun)(SAT) 439+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 114.70/114.82 (SAT)(equ)(fun)(SAT) 441| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 114.90/115.00 (SAT)(equ)(fun)(SAT) 441| -. -. -. -. -. -. -.
% 115.69/115.75 (SAT)(equ)(fun)(SAT) 441+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 115.93/116.01 (SAT)(equ)(fun)(SAT) 443| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.14/116.18 (SAT)(equ)(fun)(SAT) 443| -. -1 -.
% 116.14/116.21 (SAT)(equ)(fun)(SAT) 443| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 116.31/116.37 (SAT)(equ)(fun)(SAT) 443| -. -. -.
% 116.89/117.01 (SAT)(equ)(fun)(SAT) 443+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 117.20/117.26 (SAT)(equ)(fun)(SAT) 445| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 118.11/118.18 (SAT)(equ)(fun)(SAT) 445+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 118.36/118.44 (SAT)(equ)(fun)(SAT) 446| -. -1 -. -. -.
% 118.41/118.51 (SAT)(equ)(fun)(SAT) 446| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 118.61/118.67 (SAT)(equ)(fun)(SAT) 446| -. -. -. -. -. -.
% 119.39/119.45 (SAT)(equ)(fun)(SAT) 446+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 119.63/119.71 (SAT)(equ)(fun)(SAT) 448| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.84/119.89 (SAT)(equ)(fun)(SAT) 448| -. -. -. -. -. -. -.
% 120.59/120.66 (SAT)(equ)(fun)(SAT) 448+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 120.87/120.92 (SAT)(equ)(fun)(SAT) 450| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.06/121.11 (SAT)(equ)(fun)(SAT) 450| -. -. -.
% 121.71/121.80 (SAT)(equ)(fun)(SAT) 450+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 122.01/122.09 (SAT)(equ)(fun)(SAT) 451| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 122.21/122.28 (SAT)(equ)(fun)(SAT) 451| -. -1 -.
% 122.21/122.32 (SAT)(equ)(fun)(SAT) 451| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.23/123.27 (SAT)(equ)(fun)(SAT) 451+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 123.44/123.54 (SAT)(equ)(fun)(SAT) 452| -. -1 -. -. -.
% 123.54/123.60 (SAT)(equ)(fun)(SAT) 452| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.73/123.77 (SAT)(equ)(fun)(SAT) 452| -. -. -. -. -. -.
% 124.48/124.54 (SAT)(equ)(fun)(SAT) 452+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 124.74/124.81 (SAT)(equ)(fun)(SAT) 454| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 124.97/125.00 (SAT)(equ)(fun)(SAT) 454| -. -. -. -. -. -. -.
% 125.74/125.81 (SAT)(equ)(fun)(SAT) 454+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 126.02/126.07 (SAT)(equ)(fun)(SAT) 456| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 126.22/126.26 (SAT)(equ)(fun)(SAT) 456| -. -1 -.
% 126.26/126.30 (SAT)(equ)(fun)(SAT) 456| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 126.44/126.46 (SAT)(equ)(fun)(SAT) 456| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 127.31/127.38 (SAT)(equ)(fun)(SAT) 456+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 127.61/127.67 (SAT)(equ)(fun)(SAT) 457| -. -. -. -. -. -. -. -.
% 128.47/128.55 (SAT)(equ)(fun)(SAT) 457+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 128.72/128.83 (SAT)(equ)(fun)(SAT) 458| -. -1 -. -. -.
% 128.82/128.90 (SAT)(equ)(fun)(SAT) 458| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.02/129.07 (SAT)(equ)(fun)(SAT) 458| -. -. -. -. -. -.
% 129.84/129.89 (SAT)(equ)(fun)(SAT) 458+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 130.14/130.16 (SAT)(equ)(fun)(SAT) 460| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 130.31/130.35 (SAT)(equ)(fun)(SAT) 460| -. -. -. -. -. -. -.
% 131.16/131.19 (SAT)(equ)(fun)(SAT) 460+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 131.39/131.45 (SAT)(equ)(fun)(SAT) 462| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.63/131.65 (SAT)(equ)(fun)(SAT) 462| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.78/131.83 (SAT)(equ)(fun)(SAT) 462| -. -1 -.
% 131.84/131.86 (SAT)(equ)(fun)(SAT) 462| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 132.77/132.80 (SAT)(equ)(fun)(SAT) 462+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 133.03/133.10 (SAT)(equ)(fun)(SAT) 463| -. -. -. -. -. -. -. -.
% 133.94/133.99 (SAT)(equ)(fun)(SAT) 463+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 134.21/134.27 (SAT)(equ)(fun)(SAT) 464| -. -1 -. -. -.
% 134.26/134.34 (SAT)(equ)(fun)(SAT) 464| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 134.49/134.52 (SAT)(equ)(fun)(SAT) 464| -. -. -. -. -. -.
% 135.33/135.38 (SAT)(equ)(fun)(SAT) 464+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 135.61/135.67 (SAT)(equ)(fun)(SAT) 466| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.85/135.87 (SAT)(equ)(fun)(SAT) 466| -. -. -. -. -. -. -.
% 136.63/136.74 (SAT)(equ)(fun)(SAT) 466+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 136.96/137.02 (SAT)(equ)(fun)(SAT) 468| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 137.15/137.22 (SAT)(equ)(fun)(SAT) 468| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 137.35/137.40 (SAT)(equ)(fun)(SAT) 468| -. -1 -.
% 137.41/137.44 (SAT)(equ)(fun)(SAT) 468| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 138.34/138.40 (SAT)(equ)(fun)(SAT) 468+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 138.70/138.72 (SAT)(equ)(fun)(SAT) 469| -. -. -. -. -. -. -. -.
% 139.55/139.65 (SAT)(equ)(fun)(SAT) 469+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 139.89/139.93 (SAT)(equ)(fun)(SAT) 470| -. -1 -. -. -.
% 139.94/140.00 (SAT)(equ)(fun)(SAT) 470| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 140.14/140.18 (SAT)(equ)(fun)(SAT) 470| -. -. -. -. -. -.
% 140.97/141.04 (SAT)(equ)(fun)(SAT) 470+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 141.32/141.33 (SAT)(equ)(fun)(SAT) 472| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 141.52/141.53 (SAT)(equ)(fun)(SAT) 472| -. -. -. -. -. -. -.
% 142.40/142.42 (SAT)(equ)(fun)(SAT) 472+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 142.63/142.70 (SAT)(equ)(fun)(SAT) 474| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 142.85/142.89 (SAT)(equ)(fun)(SAT) 474| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 143.03/143.08 (SAT)(equ)(fun)(SAT) 474| -. -1 -.
% 143.03/143.11 (SAT)(equ)(fun)(SAT) 474| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 144.04/144.09 (SAT)(equ)(fun)(SAT) 474+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 144.34/144.37 (SAT)(equ)(fun)(SAT) 476| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.37/145.42 (SAT)(equ)(fun)(SAT) 476+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 145.67/145.72 (SAT)(equ)(fun)(SAT) 477| -. -1 -1 -. -.
% 145.74/145.79 (SAT)(equ)(fun)(SAT) 477| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.97/145.99 (SAT)(equ)(fun)(SAT) 477| -. -. -. -. -. -.
% 146.89/146.92 (SAT)(equ)(fun)(SAT) 477+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 147.14/147.22 (SAT)(equ)(fun)(SAT) 479| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.34/147.42 (SAT)(equ)(fun)(SAT) 479| -. -. -. -. -. -. -.
% 148.26/148.34 (SAT)(equ)(fun)(SAT) 479+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 148.56/148.62 (SAT)(equ)(fun)(SAT) 481| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 148.83/148.83 (SAT)(equ)(fun)(SAT) 481| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 148.97/149.03 (SAT)(equ)(fun)(SAT) 481| -. -1 -.
% 149.04/149.06 (SAT)(equ)(fun)(SAT) 481| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 150.05/150.08 (SAT)(equ)(fun)(SAT) 481+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 150.36/150.37 (SAT)(equ)(fun)(SAT) 483| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 151.45/151.54 (SAT)(equ)(fun)(SAT) 483+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 151.85/151.86 (SAT)(equ)(fun)(SAT) 484| -. -1 -1 -. -.
% 151.91/151.94 (SAT)(equ)(fun)(SAT) 484| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 152.14/152.15 (SAT)(equ)(fun)(SAT) 484| -. -. -. -. -. -.
% 153.05/153.08 (SAT)(equ)(fun)(SAT) 484+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 153.38/153.38 (SAT)(equ)(fun)(SAT) 486| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 153.58/153.60 (SAT)(equ)(fun)(SAT) 486| -. -. -. -. -. -. -.
% 154.55/154.57 (SAT)(equ)(fun)(SAT) 486+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 154.85/154.87 (SAT)(equ)(fun)(SAT) 488| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 155.05/155.09 (SAT)(equ)(fun)(SAT) 488| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 155.26/155.29 (SAT)(equ)(fun)(SAT) 488| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 156.39/156.40 (SAT)(equ)(fun)(SAT) 488+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 156.75/156.75 (SAT)(equ)(fun)(SAT) 489| -. -. -. -. -. -. -. -.
% 157.84/157.86 (SAT)(equ)(fun)(SAT) 489+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 158.17/158.18 (SAT)(equ)(fun)(SAT) 490| -. -1 -. -. -.
% 158.26/158.25 (SAT)(equ)(fun)(SAT) 490| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.41/158.44 (SAT)(equ)(fun)(SAT) 490| -. -. -. -. -. -.
% 159.37/159.41 (SAT)(equ)(fun)(SAT) 490+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 159.68/159.73 (SAT)(equ)(fun)(SAT) 492| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 159.94/159.95 (SAT)(equ)(fun)(SAT) 492| -. -. -. -. -. -. -.
% 160.99/161.00 (SAT)(equ)(fun)(SAT) 492+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 161.31/161.30 (SAT)(equ)(fun)(SAT) 494| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.51/161.53 (SAT)(equ)(fun)(SAT) 494| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.71/161.73 (SAT)(equ)(fun)(SAT) 494| -. -. -.
% 162.67/162.68 (SAT)(equ)(fun)(SAT) 494+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 163.03/163.04 (SAT)(equ)(fun)(SAT) 495| -. -. -. -. -. -. -. -.
% 164.08/164.12 (SAT)(equ)(fun)(SAT) 495+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 164.40/164.42 (SAT)(equ)(fun)(SAT) 496| -. -1 -. -. -.
% 164.50/164.50 (SAT)(equ)(fun)(SAT) 496| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 164.70/164.68 (SAT)(equ)(fun)(SAT) 496| -. -. -. -. -. -.
% 165.63/165.65 (SAT)(equ)(fun)(SAT) 496+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 165.97/165.96 (SAT)(equ)(fun)(SAT) 498| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 166.17/166.18 (SAT)(equ)(fun)(SAT) 498| -. -. -. -. -. -. -.
% 167.15/167.16 (SAT)(equ)(fun)(SAT) 498+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 167.45/167.47 (SAT)(equ)(fun)(SAT) 500| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 167.67/167.69 (SAT)(equ)(fun)(SAT) 500| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 167.90/167.92 (SAT)(equ)(fun)(SAT) 500| -. -. -.
% 168.95/168.95 (SAT)(equ)(fun)(SAT) 500+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 169.34/169.33 (SAT)(equ)(fun)(SAT) 502| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 169.57/169.56 (SAT)(equ)(fun)(SAT) 502| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.76/170.76 (SAT)(equ)(fun)(SAT) 502+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 171.09/171.08 (SAT)(equ)(fun)(SAT) 503| -. -1 -. -. -.
% 171.16/171.16 (SAT)(equ)(fun)(SAT) 503| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 171.37/171.36 (SAT)(equ)(fun)(SAT) 503| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 171.60/171.60 (SAT)(equ)(fun)(SAT) 503| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 172.88/172.86 (SAT)(equ)(fun)(SAT) 503+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 173.18/173.18 (SAT)(equ)(fun)(SAT) 505| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 173.37/173.42 (SAT)(equ)(fun)(SAT) 505| -. -. -. -. -. -. -.
% 174.49/174.47 (SAT)(equ)(fun)(SAT) 505+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 174.78/174.79 (SAT)(equ)(fun)(SAT) 507| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.01/175.02 (SAT)(equ)(fun)(SAT) 507| -. -. -.
% 176.03/176.02 (SAT)(equ)(fun)(SAT) 507+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 176.38/176.41 (SAT)(equ)(fun)(SAT) 508| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 176.57/176.64 (SAT)(equ)(fun)(SAT) 508| -. -1 -.
% 176.67/176.68 (SAT)(equ)(fun)(SAT) 508| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.99/177.98 (SAT)(equ)(fun)(SAT) 508+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 178.31/178.32 (SAT)(equ)(fun)(SAT) 509| -. -1 -. -. -.
% 178.39/178.40 (SAT)(equ)(fun)(SAT) 509| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 178.62/178.60 (SAT)(equ)(fun)(SAT) 509| -. -. -. -. -. -.
% 179.67/179.66 (SAT)(equ)(fun)(SAT) 509+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 179.99/179.98 (SAT)(equ)(fun)(SAT) 511| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 180.19/180.22 (SAT)(equ)(fun)(SAT) 511| -. -. -. -. -. -. -.
% 181.41/181.37 (SAT)(equ)(fun)(SAT) 511+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 181.69/181.69 (SAT)(equ)(fun)(SAT) 513| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 181.92/181.92 (SAT)(equ)(fun)(SAT) 513| -. -1 -.
% 181.99/181.96 (SAT)(equ)(fun)(SAT) 513| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.20/182.17 (SAT)(equ)(fun)(SAT) 513| -. -. -.
% 183.29/183.28 (SAT)(equ)(fun)(SAT) 513+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 183.70/183.66 (SAT)(equ)(fun)(SAT) 514| -. -. -. -. -. -. -. -.
% 184.83/184.80 (SAT)(equ)(fun)(SAT) 514+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 185.11/185.13 (SAT)(equ)(fun)(SAT) 515| -. -1 -. -. -.
% 185.22/185.21 (SAT)(equ)(fun)(SAT) 515| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 185.42/185.42 (SAT)(equ)(fun)(SAT) 515| -. -. -. -. -. -.
% 186.59/186.57 (SAT)(equ)(fun)(SAT) 515+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 186.94/186.91 (SAT)(equ)(fun)(SAT) 517| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 187.19/187.14 (SAT)(equ)(fun)(SAT) 517| -. -. -. -. -. -. -.
% 188.31/188.28 (SAT)(equ)(fun)(SAT) 517+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 188.59/188.61 (SAT)(equ)(fun)(SAT) 519| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 188.87/188.84 (SAT)(equ)(fun)(SAT) 519| -. -1 -.
% 188.89/188.88 (SAT)(equ)(fun)(SAT) 519| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.12/189.10 (SAT)(equ)(fun)(SAT) 519| -. -. -.
% 190.17/190.13 (SAT)(equ)(fun)(SAT) 519+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 190.55/190.52 (SAT)(equ)(fun)(SAT) 520| -. -. -. -. -. -. -. -.
% 191.79/191.76 (SAT)(equ)(fun)(SAT) 520+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 192.17/192.12 (SAT)(equ)(fun)(SAT) 521| -. -1 -. -. -.
% 192.22/192.20 (SAT)(equ)(fun)(SAT) 521| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 192.40/192.42 (SAT)(equ)(fun)(SAT) 521| -. -. -. -. -. -.
% 193.55/193.53 (SAT)(equ)(fun)(SAT) 521+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 193.90/193.88 (SAT)(equ)(fun)(SAT) 523| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 194.15/194.12 (SAT)(equ)(fun)(SAT) 523| -. -. -. -. -. -. -.
% 195.42/195.37 (SAT)(equ)(fun)(SAT) 523+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 195.74/195.70 (SAT)(equ)(fun)(SAT) 525| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 196.00/195.95 (SAT)(equ)(fun)(SAT) 525| -. -. -.
% 196.99/197.02 (SAT)(equ)(fun)(SAT) 525+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 197.45/197.42 (SAT)(equ)(fun)(SAT) 526| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 197.70/197.66 (SAT)(equ)(fun)(SAT) 526| -. -1 -.
% 197.70/197.71 (SAT)(equ)(fun)(SAT) 526| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 199.04/199.00 (SAT)(equ)(fun)(SAT) 526+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 199.41/199.37 (SAT)(equ)(fun)(SAT) 527| -. -1 -. -. -.
% 199.51/199.45 (SAT)(equ)(fun)(SAT) 527| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 199.74/199.68 (SAT)(equ)(fun)(SAT) 527| -. -. -. -. -. -.
% 200.92/200.87 (SAT)(equ)(fun)(SAT) 527+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 201.26/201.23 (SAT)(equ)(fun)(SAT) 529| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 201.51/201.48 (SAT)(equ)(fun)(SAT) 529| -. -. -. -. -. -. -.
% 202.70/202.66 (SAT)(equ)(fun)(SAT) 529+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 203.03/203.00 (SAT)(equ)(fun)(SAT) 531| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 203.29/203.24 (SAT)(equ)(fun)(SAT) 531| -. -. -.
% 204.43/204.45 (SAT)(equ)(fun)(SAT) 531+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 204.91/204.85 (SAT)(equ)(fun)(SAT) 532| -. -. -. -. -. -. -. -.
% 206.24/206.19 (SAT)(equ)(fun)(SAT) 532+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 206.62/206.56 (SAT)(equ)(fun)(SAT) 533| -. -1 -. -. -.
% 206.69/206.65 (SAT)(equ)(fun)(SAT) 533| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 206.92/206.87 (SAT)(equ)(fun)(SAT) 533| -. -. -1 -.
% 206.92/206.92 (SAT)(equ)(fun)(SAT) 533| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.21/207.14 (SAT)(equ)(fun)(SAT) 533| -. -. -. -. -. -.
% 208.43/208.39 (SAT)(equ)(fun)(SAT) 533+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 208.73/208.74 (SAT)(equ)(fun)(SAT) 537| -. -. -1 -. -1 -1 -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 209.09/209.03 (SAT)(equ)(fun)(SAT) 537| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 210.55/210.49 (SAT)(equ)(fun)(SAT) 537+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 210.90/210.84 (SAT)(equ)(fun)(SAT) 539| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.15/211.10 (SAT)(equ)(fun)(SAT) 539| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 211.37/211.35 (SAT)(equ)(fun)(SAT) 539| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 212.85/212.79 (SAT)(equ)(fun)(SAT) 539+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 213.23/213.21 (SAT)(equ)(fun)(SAT) 540| -. -. -. -. -. -. -. -.
% 214.51/214.51 (SAT)(equ)(fun)(SAT) 540+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 214.91/214.88 (SAT)(equ)(fun)(SAT) 541| -. -1 -. -. -.
% 215.04/214.96 (SAT)(equ)(fun)(SAT) 541| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 215.21/215.19 (SAT)(equ)(fun)(SAT) 541| -. -. -. -. -. -.
% 216.53/216.47 (SAT)(equ)(fun)(SAT) 541+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 216.86/216.84 (SAT)(equ)(fun)(SAT) 543| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 217.14/217.10 (SAT)(equ)(fun)(SAT) 543| -. -. -. -. -. -. -.
% 218.36/218.33 (SAT)(equ)(fun)(SAT) 543+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 218.75/218.69 (SAT)(equ)(fun)(SAT) 545| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 219.02/218.94 (SAT)(equ)(fun)(SAT) 545| -. -. -.
% 220.40/220.33 (SAT)(equ)(fun)(SAT) 545+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 220.82/220.76 (SAT)(equ)(fun)(SAT) 546| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 221.12/221.03 (SAT)(equ)(fun)(SAT) 546| -. -1 -.
% 221.12/221.08 (SAT)(equ)(fun)(SAT) 546| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 222.62/222.54 (SAT)(equ)(fun)(SAT) 546+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 222.95/222.91 (SAT)(equ)(fun)(SAT) 547| -. -1 -. -. -.
% 223.04/223.00 (SAT)(equ)(fun)(SAT) 547| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 223.24/223.24 (SAT)(equ)(fun)(SAT) 547| -. -. -. -. -. -.
% 224.65/224.58 (SAT)(equ)(fun)(SAT) 547+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 225.05/224.98 (SAT)(equ)(fun)(SAT) 549| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 225.32/225.25 (SAT)(equ)(fun)(SAT) 549| -. -. -. -. -. -. -.
% 226.65/226.56 (SAT)(equ)(fun)(SAT) 549+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 226.95/226.92 (SAT)(equ)(fun)(SAT) 551| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 227.26/227.19 (SAT)(equ)(fun)(SAT) 551| -. -. -.
% 228.55/228.50 (SAT)(equ)(fun)(SAT) 551+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 228.98/228.94 (SAT)(equ)(fun)(SAT) 552| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 229.28/229.21 (SAT)(equ)(fun)(SAT) 552| -. -1 -.
% 229.28/229.25 (SAT)(equ)(fun)(SAT) 552| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.80/230.74 (SAT)(equ)(fun)(SAT) 552+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 231.18/231.12 (SAT)(equ)(fun)(SAT) 553| -. -1 -. -. -.
% 231.24/231.21 (SAT)(equ)(fun)(SAT) 553| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 231.54/231.45 (SAT)(equ)(fun)(SAT) 553| -. -. -. -. -. -.
% 232.84/232.78 (SAT)(equ)(fun)(SAT) 553+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 233.24/233.17 (SAT)(equ)(fun)(SAT) 555| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 233.54/233.44 (SAT)(equ)(fun)(SAT) 555| -. -. -. -. -. -. -.
% 234.77/234.72 (SAT)(equ)(fun)(SAT) 555+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 235.17/235.09 (SAT)(equ)(fun)(SAT) 557| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 235.44/235.38 (SAT)(equ)(fun)(SAT) 557| -. -. -.
% 236.77/236.73 (SAT)(equ)(fun)(SAT) 557+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 237.26/237.17 (SAT)(equ)(fun)(SAT) 558| -. -. -. -. -. -. -. -.
% 238.67/238.59 (SAT)(equ)(fun)(SAT) 558+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 239.06/238.98 (SAT)(equ)(fun)(SAT) 559| -. -1 -. -. -.
% 239.17/239.07 (SAT)(equ)(fun)(SAT) 559| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 239.36/239.31 (SAT)(equ)(fun)(SAT) 559| -. -. -. -. -. -.
% 240.77/240.67 (SAT)(equ)(fun)(SAT) 559+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 241.17/241.07 (SAT)(equ)(fun)(SAT) 561| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 241.36/241.35 (SAT)(equ)(fun)(SAT) 561| -. -. -. -. -. -. -.
% 242.83/242.76 (SAT)(equ)(fun)(SAT) 561+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 243.20/243.13 (SAT)(equ)(fun)(SAT) 563| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 243.50/243.40 (SAT)(equ)(fun)(SAT) 563| -. -. -.
% 244.87/244.75 (SAT)(equ)(fun)(SAT) 563+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 245.28/245.22 (SAT)(equ)(fun)(SAT) 564| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 245.58/245.51 (SAT)(equ)(fun)(SAT) 564| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 245.88/245.77 (SAT)(equ)(fun)(SAT) 564| -. -. -1 -.
% 245.88/245.83 (SAT)(equ)(fun)(SAT) 564| -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 246.18/246.09 (SAT)(equ)(fun)(SAT) 564| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 247.75/247.72 (SAT)(equ)(fun)(SAT) 564+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 248.17/248.12 (SAT)(equ)(fun)(SAT) 565| -. -1 -. -. -.
% 248.32/248.22 (SAT)(equ)(fun)(SAT) 565| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 248.57/248.46 (SAT)(equ)(fun)(SAT) 565| -. -. -. -. -. -.
% 249.96/249.84 (SAT)(equ)(fun)(SAT) 565+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 250.29/250.24 (SAT)(equ)(fun)(SAT) 567| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 250.61/250.52 (SAT)(equ)(fun)(SAT) 567| -. -. -. -. -. -. -.
% 251.98/251.85 (SAT)(equ)(fun)(SAT) 567+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 252.32/252.24 (SAT)(equ)(fun)(SAT) 569| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 252.59/252.52 (SAT)(equ)(fun)(SAT) 569| -. -. -.
% 253.98/253.87 (SAT)(equ)(fun)(SAT) 569+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 254.45/254.36 (SAT)(equ)(fun)(SAT) 570| -. -. -. -. -. -. -. -.
% 255.87/255.79 (SAT)(equ)(fun)(SAT) 570+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 256.27/256.19 (SAT)(equ)(fun)(SAT) 571| -. -1 -. -. -.
% 256.39/256.28 (SAT)(equ)(fun)(SAT) 571| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 256.59/256.53 (SAT)(equ)(fun)(SAT) 571| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 256.89/256.83 (SAT)(equ)(fun)(SAT) 571| -. -. -1 -.
% 257.06/256.98 (SAT)(equ)(fun)(SAT) 571| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.67/258.56 (SAT)(equ)(fun)(SAT) 571+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 259.08/258.98 (SAT)(equ)(fun)(SAT) 573| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 259.38/259.26 (SAT)(equ)(fun)(SAT) 573| -. -. -. -. -. -. -.
% 260.88/260.77 (SAT)(equ)(fun)(SAT) 573+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 261.29/261.17 (SAT)(equ)(fun)(SAT) 575| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 261.58/261.45 (SAT)(equ)(fun)(SAT) 575| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 261.82/261.70 (SAT)(equ)(fun)(SAT) 575| -. -1 -.
% 261.89/261.75 (SAT)(equ)(fun)(SAT) 575| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 263.48/263.40 (SAT)(equ)(fun)(SAT) 575+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -12 -12 -12 -12 -. -. -. -. -. -. -. -. -. -.
% 263.91/263.80 (SAT)(equ)(fun)(SAT) 577| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 265.61/265.48 (SAT)(equ)(fun)(SAT) 577+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1
% 266.01/265.89 (SAT)(equ)(fun)(SAT) 578| -. -1 -1 -. -.
% 266.11/265.99 (SAT)(equ)(fun)(SAT) 578| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 266.34/266.24 (SAT)(equ)(fun)(SAT) 578| -. -. -. -. -. -.
% 267.78/267.64 (SAT)(equ)(fun)(SAT) 578+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 268.18/268.05 (SAT)(equ)(fun)(SAT) 580| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 268.48/268.33 (SAT)(equ)(fun)(SAT) 580| -. -. -. -. -. -. -.
% 269.90/269.83 (SAT)(equ)(fun)(SAT) 580+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 270.30/270.23 (SAT)(equ)(fun)(SAT) 582| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.66/270.52 (SAT)(equ)(fun)(SAT) 582| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.89/270.76 (SAT)(equ)(fun)(SAT) 582| -. -. -.
% 272.34/272.24 (SAT)(equ)(fun)(SAT) 582+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 272.89/272.74 (SAT)(equ)(fun)(SAT) 583| -. -. -. -. -. -. -. -.
% 274.42/274.33 (SAT)(equ)(fun)(SAT) 583+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 274.92/274.76 (SAT)(equ)(fun)(SAT) 584| -. -1 -. -. -.
% 275.03/274.87 (SAT)(equ)(fun)(SAT) 584| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 275.29/275.14 (SAT)(equ)(fun)(SAT) 584| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 275.54/275.41 (SAT)(equ)(fun)(SAT) 584| -. -. -. -. -. -.
% 276.89/276.82 (SAT)(equ)(fun)(SAT) 584+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -.
% 277.41/277.25 (SAT)(equ)(fun)(SAT) 588| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 277.71/277.57 (SAT)(equ)(fun)(SAT) 588| -. -. -. -. -. -. -.
% 279.24/279.11 (SAT)(equ)(fun)(SAT) 588+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -.
% 279.61/279.53 (SAT)(equ)(fun)(SAT) 590| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 279.98/279.84 (SAT)(equ)(fun)(SAT) 590| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 280.21/280.11 (SAT)(equ)(fun)(SAT) 590| -. -. -.
% 281.68/281.52 (SAT)(equ)(fun)(SAT) 590+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 282.14/282.04 (SAT)(equ)(fun)(SAT) 591| -. -. -. -. -. -. -. -.
% 283.81/283.66 (SAT)(equ)(fun)(SAT) 591+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 284.21/284.08 (SAT)(equ)(fun)(SAT) 592| -. -1 -. -. -.
% 284.34/284.18 (SAT)(equ)(fun)(SAT) 592| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 284.62/284.45 (SAT)(equ)(fun)(SAT) 592| -. -. -. -. -. -.
% 286.05/285.89 (SAT)(equ)(fun)(SAT) 592+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 286.45/286.31 (SAT)(equ)(fun)(SAT) 594| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 286.79/286.62 (SAT)(equ)(fun)(SAT) 594| -. -. -. -. -. -. -.
% 288.42/288.26 (SAT)(equ)(fun)(SAT) 594+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 288.82/288.68 (SAT)(equ)(fun)(SAT) 596| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 289.14/288.99 (SAT)(equ)(fun)(SAT) 596| -. -. -.
% 290.64/290.47 (SAT)(equ)(fun)(SAT) 596+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -.
% 291.11/291.00 (SAT)(equ)(fun)(SAT) 597| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 291.49/291.32 (SAT)(equ)(fun)(SAT) 597| -. -1 -.
% 291.53/291.37 (SAT)(equ)(fun)(SAT) 597| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.31/293.17 (SAT)(equ)(fun)(SAT) 597+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 293.76/293.62 (SAT)(equ)(fun)(SAT) 598| -. -1 -. -. -.
% 293.83/293.72 (SAT)(equ)(fun)(SAT) 598| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 294.11/294.00 (SAT)(equ)(fun)(SAT) 598| -. -. -. -. -. -.
% 295.73/295.59 (SAT)(equ)(fun)(SAT) 598+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 296.23/296.05 (SAT)(equ)(fun)(SAT) 600| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 296.53/296.36 (SAT)(equ)(fun)(SAT) 600| -. -. -. -. -. -. -.
% 298.13/297.96 (SAT)(equ)(fun)(SAT) 600+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 298.52/298.38 (SAT)(equ)(fun)(SAT) 602| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 298.84/298.70 (SAT)(equ)(fun)(SAT) 602| -. -1 -.
% 298.94/298.75 (SAT)(equ)(fun)(SAT) 602| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 299.24/299.05 (SAT)(equ)(fun)(SAT) 602| -. -. -.
%------------------------------------------------------------------------------