TSTP Solution File: SYN773-1 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SYN773-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:short
% Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% Computer : n017.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Thu Jul 21 05:20:16 EDT 2022
% Result : Timeout 286.59s 286.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : SYN773-1 : TPTP v8.1.0. Released v2.5.0.
% 0.06/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.33 % Computer : n017.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jul 12 01:32:19 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.33 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.12/0.33 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 0.12/0.34 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.12/0.35 #elt|#instances
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 1| -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 3| -. -.
% 0.12/0.35 (SAT)(equ)(fun)(SAT) 3+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456 -. -. -. -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 3| -. -. -.
% 0.12/0.36 (SAT)(equ)(fun)(SAT) 3+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.37 (SAT)(equ)(fun)(SAT) 5| -. -. -123456789X
% 0.12/0.38 (SAT)(equ)(fun)(SAT) 5| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 5| -. -. -. -.
% 0.12/0.39 (SAT)(equ)(fun)(SAT) 5+ -12 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.40 (SAT)(equ)(fun)(SAT) 10| -. -. -123 -1234567 -123456789X
% 0.18/0.42 (SAT)(equ)(fun)(SAT) 10| -. -. -1 -. -. -. -. -. -. -12 -12 -. -. -.
% 0.18/0.43 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -1
% 0.18/0.44 (SAT)(equ)(fun)(SAT) 10| -. -. -. -. -. -. -. -. -.
% 0.18/0.45 (SAT)(equ)(fun)(SAT) 10+ -1234 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.46 (SAT)(equ)(fun)(SAT) 17| -. -. -. -123456 -. -.
% 0.18/0.47 (SAT)(equ)(fun)(SAT) 17| -. -. -. -. -. -. -. -. -.
% 0.18/0.48 (SAT)(equ)(fun)(SAT) 17+ -12 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.18/0.50 (SAT)(equ)(fun)(SAT) 22| -. -. -. -1234 -. -.
% 0.18/0.51 (SAT)(equ)(fun)(SAT) 22| -. -. -. -. -. -. -. -. -.
% 0.35/0.52 (SAT)(equ)(fun)(SAT) 22+ -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.37/0.55 (SAT)(equ)(fun)(SAT) 26| -. -. -. -1 -. -.
% 0.37/0.56 (SAT)(equ)(fun)(SAT) 26| -. -. -. -. -. -.
% 0.37/0.57 (SAT)(equ)(fun)(SAT) 26+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.37/0.60 (SAT)(equ)(fun)(SAT) 28| -. -. -. -1 -. -.
% 0.37/0.61 (SAT)(equ)(fun)(SAT) 28| -. -. -. -. -. -.
% 0.37/0.62 (SAT)(equ)(fun)(SAT) 28+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.47/0.65 (SAT)(equ)(fun)(SAT) 30| -. -. -. -1 -. -.
% 0.47/0.66 (SAT)(equ)(fun)(SAT) 30| -. -. -. -. -. -.
% 0.47/0.67 (SAT)(equ)(fun)(SAT) 30+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.54/0.70 (SAT)(equ)(fun)(SAT) 32| -. -. -. -1 -. -.
% 0.54/0.71 (SAT)(equ)(fun)(SAT) 32| -. -. -. -. -. -.
% 0.54/0.73 (SAT)(equ)(fun)(SAT) 32+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.54/0.76 (SAT)(equ)(fun)(SAT) 34| -. -. -. -1 -. -.
% 0.60/0.77 (SAT)(equ)(fun)(SAT) 34| -. -. -. -. -. -.
% 0.60/0.78 (SAT)(equ)(fun)(SAT) 34+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.63/0.81 (SAT)(equ)(fun)(SAT) 36| -. -. -. -1 -. -.
% 0.63/0.82 (SAT)(equ)(fun)(SAT) 36| -. -. -. -. -. -.
% 0.66/0.83 (SAT)(equ)(fun)(SAT) 36+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.66/0.86 (SAT)(equ)(fun)(SAT) 38| -. -. -. -1 -. -.
% 0.66/0.87 (SAT)(equ)(fun)(SAT) 38| -. -. -. -. -. -.
% 0.66/0.88 (SAT)(equ)(fun)(SAT) 38+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.66/0.92 (SAT)(equ)(fun)(SAT) 40| -. -. -. -1 -. -.
% 0.76/0.93 (SAT)(equ)(fun)(SAT) 40| -. -. -. -. -. -.
% 0.76/0.94 (SAT)(equ)(fun)(SAT) 40+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.76/0.97 (SAT)(equ)(fun)(SAT) 42| -. -. -. -1 -. -.
% 0.76/0.98 (SAT)(equ)(fun)(SAT) 42| -. -. -. -. -. -.
% 0.83/1.00 (SAT)(equ)(fun)(SAT) 42+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.83/1.04 (SAT)(equ)(fun)(SAT) 44| -. -. -. -1 -. -.
% 0.83/1.05 (SAT)(equ)(fun)(SAT) 44| -. -. -. -. -. -.
% 0.83/1.06 (SAT)(equ)(fun)(SAT) 44+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.91/1.10 (SAT)(equ)(fun)(SAT) 46| -. -. -. -1 -. -.
% 0.95/1.11 (SAT)(equ)(fun)(SAT) 46| -. -. -. -. -. -.
% 0.95/1.13 (SAT)(equ)(fun)(SAT) 46+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 0.98/1.17 (SAT)(equ)(fun)(SAT) 48| -. -. -. -1 -. -.
% 0.98/1.18 (SAT)(equ)(fun)(SAT) 48| -. -. -. -. -. -.
% 0.98/1.20 (SAT)(equ)(fun)(SAT) 48+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.06/1.24 (SAT)(equ)(fun)(SAT) 50| -. -. -. -1 -. -.
% 1.06/1.25 (SAT)(equ)(fun)(SAT) 50| -. -. -. -. -. -.
% 1.06/1.27 (SAT)(equ)(fun)(SAT) 50+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.13/1.32 (SAT)(equ)(fun)(SAT) 52| -. -. -. -1 -. -.
% 1.13/1.33 (SAT)(equ)(fun)(SAT) 52| -. -. -. -. -. -.
% 1.13/1.35 (SAT)(equ)(fun)(SAT) 52+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.21/1.40 (SAT)(equ)(fun)(SAT) 54| -. -. -. -1 -. -.
% 1.25/1.41 (SAT)(equ)(fun)(SAT) 54| -. -. -. -. -. -.
% 1.25/1.43 (SAT)(equ)(fun)(SAT) 54+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.28/1.48 (SAT)(equ)(fun)(SAT) 56| -. -. -. -1 -. -.
% 1.28/1.49 (SAT)(equ)(fun)(SAT) 56| -. -. -. -. -. -.
% 1.28/1.51 (SAT)(equ)(fun)(SAT) 56+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.37/1.56 (SAT)(equ)(fun)(SAT) 58| -. -. -. -1 -. -.
% 1.37/1.58 (SAT)(equ)(fun)(SAT) 58| -. -. -. -. -. -.
% 1.43/1.59 (SAT)(equ)(fun)(SAT) 58+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.43/1.65 (SAT)(equ)(fun)(SAT) 60| -. -. -. -1 -. -.
% 1.51/1.67 (SAT)(equ)(fun)(SAT) 60| -. -. -. -. -. -.
% 1.52/1.69 (SAT)(equ)(fun)(SAT) 60+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.58/1.75 (SAT)(equ)(fun)(SAT) 62| -. -. -. -1 -. -.
% 1.58/1.76 (SAT)(equ)(fun)(SAT) 62| -. -. -. -. -. -.
% 1.58/1.78 (SAT)(equ)(fun)(SAT) 62+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.66/1.84 (SAT)(equ)(fun)(SAT) 64| -. -. -. -1 -. -.
% 1.66/1.86 (SAT)(equ)(fun)(SAT) 64| -. -. -. -. -. -.
% 1.71/1.88 (SAT)(equ)(fun)(SAT) 64+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.71/1.94 (SAT)(equ)(fun)(SAT) 66| -. -. -. -1 -. -.
% 1.80/1.96 (SAT)(equ)(fun)(SAT) 66| -. -. -. -. -. -.
% 1.82/1.98 (SAT)(equ)(fun)(SAT) 66+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.88/2.05 (SAT)(equ)(fun)(SAT) 68| -. -. -. -1 -. -.
% 1.88/2.07 (SAT)(equ)(fun)(SAT) 68| -. -. -. -. -. -.
% 1.88/2.09 (SAT)(equ)(fun)(SAT) 68+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.95/2.16 (SAT)(equ)(fun)(SAT) 70| -. -. -. -1 -. -.
% 2.02/2.18 (SAT)(equ)(fun)(SAT) 70| -. -. -. -. -. -.
% 2.02/2.21 (SAT)(equ)(fun)(SAT) 70+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.11/2.28 (SAT)(equ)(fun)(SAT) 72| -. -. -. -1 -. -.
% 2.13/2.30 (SAT)(equ)(fun)(SAT) 72| -. -. -. -. -. -.
% 2.13/2.32 (SAT)(equ)(fun)(SAT) 72+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.17/2.40 (SAT)(equ)(fun)(SAT) 74| -. -. -. -1 -. -.
% 2.24/2.42 (SAT)(equ)(fun)(SAT) 74| -. -. -. -. -. -.
% 2.24/2.44 (SAT)(equ)(fun)(SAT) 74+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.31/2.52 (SAT)(equ)(fun)(SAT) 76| -. -. -. -1 -. -.
% 2.31/2.54 (SAT)(equ)(fun)(SAT) 76| -. -. -. -. -. -.
% 2.31/2.56 (SAT)(equ)(fun)(SAT) 76+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.47/2.65 (SAT)(equ)(fun)(SAT) 78| -. -. -. -1 -. -.
% 2.47/2.67 (SAT)(equ)(fun)(SAT) 78| -. -. -. -. -. -.
% 2.47/2.69 (SAT)(equ)(fun)(SAT) 78+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.56/2.78 (SAT)(equ)(fun)(SAT) 80| -. -. -. -1 -. -.
% 2.63/2.80 (SAT)(equ)(fun)(SAT) 80| -. -. -. -. -. -.
% 2.63/2.82 (SAT)(equ)(fun)(SAT) 80+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.76/2.91 (SAT)(equ)(fun)(SAT) 82| -. -. -. -1 -. -.
% 2.76/2.94 (SAT)(equ)(fun)(SAT) 82| -. -. -. -. -. -.
% 2.76/2.96 (SAT)(equ)(fun)(SAT) 82+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.85/3.05 (SAT)(equ)(fun)(SAT) 84| -. -. -. -1 -. -.
% 2.85/3.08 (SAT)(equ)(fun)(SAT) 84| -. -. -. -. -. -.
% 2.93/3.11 (SAT)(equ)(fun)(SAT) 84+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.04/3.20 (SAT)(equ)(fun)(SAT) 86| -. -. -. -1 -. -.
% 3.06/3.22 (SAT)(equ)(fun)(SAT) 86| -. -. -. -. -. -.
% 3.07/3.25 (SAT)(equ)(fun)(SAT) 86+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.16/3.35 (SAT)(equ)(fun)(SAT) 88| -. -. -. -1 -. -.
% 3.16/3.37 (SAT)(equ)(fun)(SAT) 88| -. -. -. -. -. -.
% 3.24/3.40 (SAT)(equ)(fun)(SAT) 88+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.33/3.50 (SAT)(equ)(fun)(SAT) 90| -. -. -. -1 -. -.
% 3.33/3.52 (SAT)(equ)(fun)(SAT) 90| -. -. -. -. -. -.
% 3.33/3.55 (SAT)(equ)(fun)(SAT) 90+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.46/3.66 (SAT)(equ)(fun)(SAT) 92| -. -. -. -1 -. -.
% 3.46/3.68 (SAT)(equ)(fun)(SAT) 92| -. -. -. -. -. -.
% 3.46/3.71 (SAT)(equ)(fun)(SAT) 92+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.64/3.81 (SAT)(equ)(fun)(SAT) 94| -. -. -. -1 -. -.
% 3.64/3.84 (SAT)(equ)(fun)(SAT) 94| -. -. -. -. -. -.
% 3.64/3.87 (SAT)(equ)(fun)(SAT) 94+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.82/3.98 (SAT)(equ)(fun)(SAT) 96| -. -. -. -1 -. -.
% 3.85/4.01 (SAT)(equ)(fun)(SAT) 96| -. -. -. -. -. -.
% 3.87/4.04 (SAT)(equ)(fun)(SAT) 96+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.97/4.15 (SAT)(equ)(fun)(SAT) 98| -. -. -. -1 -. -.
% 3.97/4.19 (SAT)(equ)(fun)(SAT) 98| -. -. -. -. -. -.
% 4.04/4.22 (SAT)(equ)(fun)(SAT) 98+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.11/4.33 (SAT)(equ)(fun)(SAT) 100| -. -. -. -1 -. -.
% 4.11/4.36 (SAT)(equ)(fun)(SAT) 100| -. -. -. -. -. -.
% 4.24/4.40 (SAT)(equ)(fun)(SAT) 100+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.27/4.52 (SAT)(equ)(fun)(SAT) 102| -. -. -. -1 -. -.
% 4.37/4.55 (SAT)(equ)(fun)(SAT) 102| -. -. -. -. -. -.
% 4.37/4.58 (SAT)(equ)(fun)(SAT) 102+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.52/4.70 (SAT)(equ)(fun)(SAT) 104| -. -. -. -1 -. -.
% 4.52/4.74 (SAT)(equ)(fun)(SAT) 104| -. -. -. -. -. -.
% 4.52/4.77 (SAT)(equ)(fun)(SAT) 104+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.69/4.90 (SAT)(equ)(fun)(SAT) 106| -. -. -. -1 -. -.
% 4.78/4.93 (SAT)(equ)(fun)(SAT) 106| -. -. -. -. -. -.
% 4.78/4.97 (SAT)(equ)(fun)(SAT) 106+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 4.92/5.10 (SAT)(equ)(fun)(SAT) 108| -. -. -. -1 -. -.
% 4.96/5.13 (SAT)(equ)(fun)(SAT) 108| -. -. -. -. -. -.
% 4.99/5.17 (SAT)(equ)(fun)(SAT) 108+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.13/5.30 (SAT)(equ)(fun)(SAT) 110| -. -. -. -1 -. -.
% 5.13/5.34 (SAT)(equ)(fun)(SAT) 110| -. -. -. -. -. -.
% 5.22/5.38 (SAT)(equ)(fun)(SAT) 110+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.36/5.51 (SAT)(equ)(fun)(SAT) 112| -. -. -. -1 -. -.
% 5.36/5.55 (SAT)(equ)(fun)(SAT) 112| -. -. -. -. -. -.
% 5.42/5.59 (SAT)(equ)(fun)(SAT) 112+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.57/5.73 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 5.59/5.77 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 5.59/5.81 (SAT)(equ)(fun)(SAT) 114+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.73/5.95 (SAT)(equ)(fun)(SAT) 116| -. -. -. -1 -. -.
% 5.84/5.99 (SAT)(equ)(fun)(SAT) 116| -. -. -. -. -. -.
% 5.87/6.04 (SAT)(equ)(fun)(SAT) 116+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.01/6.18 (SAT)(equ)(fun)(SAT) 118| -. -. -. -1 -. -.
% 6.01/6.22 (SAT)(equ)(fun)(SAT) 118| -. -. -. -. -. -.
% 6.11/6.27 (SAT)(equ)(fun)(SAT) 118+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.26/6.41 (SAT)(equ)(fun)(SAT) 120| -. -. -. -1 -. -.
% 6.26/6.46 (SAT)(equ)(fun)(SAT) 120| -. -. -. -. -. -.
% 6.34/6.50 (SAT)(equ)(fun)(SAT) 120+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.47/6.65 (SAT)(equ)(fun)(SAT) 122| -. -. -. -1 -. -.
% 6.47/6.69 (SAT)(equ)(fun)(SAT) 122| -. -. -. -. -. -.
% 6.55/6.74 (SAT)(equ)(fun)(SAT) 122+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.74/6.90 (SAT)(equ)(fun)(SAT) 124| -. -. -. -1 -. -.
% 6.78/6.94 (SAT)(equ)(fun)(SAT) 124| -. -. -. -. -. -.
% 6.78/6.99 (SAT)(equ)(fun)(SAT) 124+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 6.95/7.15 (SAT)(equ)(fun)(SAT) 126| -. -. -. -1 -. -.
% 7.03/7.19 (SAT)(equ)(fun)(SAT) 126| -. -. -. -. -. -.
% 7.03/7.24 (SAT)(equ)(fun)(SAT) 126+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.16/7.40 (SAT)(equ)(fun)(SAT) 128| -. -. -. -1 -. -.
% 7.26/7.45 (SAT)(equ)(fun)(SAT) 128| -. -. -. -. -. -.
% 7.34/7.50 (SAT)(equ)(fun)(SAT) 128+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.47/7.67 (SAT)(equ)(fun)(SAT) 130| -. -. -. -1 -. -.
% 7.47/7.71 (SAT)(equ)(fun)(SAT) 130| -. -. -. -. -. -.
% 7.57/7.76 (SAT)(equ)(fun)(SAT) 130+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 7.71/7.93 (SAT)(equ)(fun)(SAT) 132| -. -. -. -1 -. -.
% 7.81/7.98 (SAT)(equ)(fun)(SAT) 132| -. -. -. -. -. -.
% 7.87/8.03 (SAT)(equ)(fun)(SAT) 132+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.05/8.21 (SAT)(equ)(fun)(SAT) 134| -. -. -. -1 -. -.
% 8.05/8.26 (SAT)(equ)(fun)(SAT) 134| -. -. -. -. -. -.
% 8.12/8.31 (SAT)(equ)(fun)(SAT) 134+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.30/8.49 (SAT)(equ)(fun)(SAT) 136| -. -. -. -1 -. -.
% 8.38/8.55 (SAT)(equ)(fun)(SAT) 136| -. -. -. -. -. -.
% 8.44/8.61 (SAT)(equ)(fun)(SAT) 136+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.60/8.79 (SAT)(equ)(fun)(SAT) 138| -. -. -. -1 -. -.
% 8.68/8.84 (SAT)(equ)(fun)(SAT) 138| -. -. -. -. -. -.
% 8.74/8.90 (SAT)(equ)(fun)(SAT) 138+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 8.90/9.09 (SAT)(equ)(fun)(SAT) 140| -. -. -. -1 -. -.
% 8.97/9.14 (SAT)(equ)(fun)(SAT) 140| -. -. -. -. -. -.
% 9.03/9.20 (SAT)(equ)(fun)(SAT) 140+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.20/9.39 (SAT)(equ)(fun)(SAT) 142| -. -. -. -1 -. -.
% 9.27/9.45 (SAT)(equ)(fun)(SAT) 142| -. -. -. -. -. -.
% 9.34/9.51 (SAT)(equ)(fun)(SAT) 142+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.55/9.71 (SAT)(equ)(fun)(SAT) 144| -. -. -. -1 -. -.
% 9.55/9.76 (SAT)(equ)(fun)(SAT) 144| -. -. -. -. -. -.
% 9.62/9.83 (SAT)(equ)(fun)(SAT) 144+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 9.86/10.03 (SAT)(equ)(fun)(SAT) 146| -. -. -. -1 -. -.
% 9.94/10.09 (SAT)(equ)(fun)(SAT) 146| -. -. -. -. -. -.
% 9.94/10.15 (SAT)(equ)(fun)(SAT) 146+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.15/10.36 (SAT)(equ)(fun)(SAT) 148| -. -. -. -1 -. -.
% 10.24/10.42 (SAT)(equ)(fun)(SAT) 148| -. -. -. -. -. -.
% 10.33/10.48 (SAT)(equ)(fun)(SAT) 148+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.46/10.69 (SAT)(equ)(fun)(SAT) 150| -. -. -. -1 -. -.
% 10.55/10.75 (SAT)(equ)(fun)(SAT) 150| -. -. -. -. -. -.
% 10.66/10.82 (SAT)(equ)(fun)(SAT) 150+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 10.86/11.04 (SAT)(equ)(fun)(SAT) 152| -. -. -. -1 -. -.
% 10.94/11.10 (SAT)(equ)(fun)(SAT) 152| -. -. -. -. -. -.
% 10.99/11.17 (SAT)(equ)(fun)(SAT) 152+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.23/11.38 (SAT)(equ)(fun)(SAT) 154| -. -. -. -1 -. -.
% 11.29/11.44 (SAT)(equ)(fun)(SAT) 154| -. -. -. -. -. -.
% 11.29/11.51 (SAT)(equ)(fun)(SAT) 154+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.57/11.74 (SAT)(equ)(fun)(SAT) 156| -. -. -. -1 -. -.
% 11.60/11.79 (SAT)(equ)(fun)(SAT) 156| -. -. -. -. -. -.
% 11.69/11.86 (SAT)(equ)(fun)(SAT) 156+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 11.90/12.09 (SAT)(equ)(fun)(SAT) 158| -. -. -. -1 -. -.
% 11.98/12.15 (SAT)(equ)(fun)(SAT) 158| -. -. -. -. -. -.
% 12.04/12.22 (SAT)(equ)(fun)(SAT) 158+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.27/12.46 (SAT)(equ)(fun)(SAT) 160| -. -. -. -1 -. -.
% 12.33/12.52 (SAT)(equ)(fun)(SAT) 160| -. -. -. -. -. -.
% 12.44/12.59 (SAT)(equ)(fun)(SAT) 160+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.64/12.83 (SAT)(equ)(fun)(SAT) 162| -. -. -. -1 -. -.
% 12.75/12.90 (SAT)(equ)(fun)(SAT) 162| -. -. -. -. -. -.
% 12.78/12.97 (SAT)(equ)(fun)(SAT) 162+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.05/13.21 (SAT)(equ)(fun)(SAT) 164| -. -. -. -1 -. -.
% 13.08/13.28 (SAT)(equ)(fun)(SAT) 164| -. -. -. -. -. -.
% 13.17/13.35 (SAT)(equ)(fun)(SAT) 164+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.45/13.60 (SAT)(equ)(fun)(SAT) 166| -. -. -. -1 -. -.
% 13.45/13.67 (SAT)(equ)(fun)(SAT) 166| -. -. -. -. -. -.
% 13.54/13.74 (SAT)(equ)(fun)(SAT) 166+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.78/14.00 (SAT)(equ)(fun)(SAT) 168| -. -. -. -1 -. -.
% 13.86/14.07 (SAT)(equ)(fun)(SAT) 168| -. -. -. -. -. -.
% 13.95/14.15 (SAT)(equ)(fun)(SAT) 168+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.24/14.40 (SAT)(equ)(fun)(SAT) 170| -. -. -. -1 -. -.
% 14.24/14.47 (SAT)(equ)(fun)(SAT) 170| -. -. -. -. -. -.
% 14.39/14.55 (SAT)(equ)(fun)(SAT) 170+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 14.66/14.82 (SAT)(equ)(fun)(SAT) 172| -. -. -. -1 -. -.
% 14.69/14.89 (SAT)(equ)(fun)(SAT) 172| -. -. -. -. -. -.
% 14.83/14.97 (SAT)(equ)(fun)(SAT) 172+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.09/15.24 (SAT)(equ)(fun)(SAT) 174| -. -. -. -1 -. -.
% 15.15/15.31 (SAT)(equ)(fun)(SAT) 174| -. -. -. -. -. -.
% 15.23/15.39 (SAT)(equ)(fun)(SAT) 174+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.45/15.66 (SAT)(equ)(fun)(SAT) 176| -. -. -. -1 -. -.
% 15.59/15.74 (SAT)(equ)(fun)(SAT) 176| -. -. -. -. -. -.
% 15.68/15.82 (SAT)(equ)(fun)(SAT) 176+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 15.91/16.09 (SAT)(equ)(fun)(SAT) 178| -. -. -. -1 -. -.
% 15.98/16.17 (SAT)(equ)(fun)(SAT) 178| -. -. -. -. -. -.
% 16.05/16.26 (SAT)(equ)(fun)(SAT) 178+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.33/16.54 (SAT)(equ)(fun)(SAT) 180| -. -. -. -1 -. -.
% 16.46/16.61 (SAT)(equ)(fun)(SAT) 180| -. -. -. -. -. -.
% 16.49/16.70 (SAT)(equ)(fun)(SAT) 180+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 16.78/16.98 (SAT)(equ)(fun)(SAT) 182| -. -. -. -1 -. -.
% 16.86/17.06 (SAT)(equ)(fun)(SAT) 182| -. -. -. -. -. -.
% 16.95/17.15 (SAT)(equ)(fun)(SAT) 182+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.26/17.44 (SAT)(equ)(fun)(SAT) 184| -. -. -. -1 -. -.
% 17.34/17.52 (SAT)(equ)(fun)(SAT) 184| -. -. -. -. -. -.
% 17.46/17.61 (SAT)(equ)(fun)(SAT) 184+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 17.75/17.90 (SAT)(equ)(fun)(SAT) 186| -. -. -. -1 -. -.
% 17.80/17.99 (SAT)(equ)(fun)(SAT) 186| -. -. -. -. -. -.
% 17.94/18.08 (SAT)(equ)(fun)(SAT) 186+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.24/18.38 (SAT)(equ)(fun)(SAT) 188| -. -. -. -1 -. -.
% 18.24/18.46 (SAT)(equ)(fun)(SAT) 188| -. -. -. -. -. -.
% 18.41/18.56 (SAT)(equ)(fun)(SAT) 188+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 18.71/18.86 (SAT)(equ)(fun)(SAT) 190| -. -. -. -1 -. -.
% 18.80/18.95 (SAT)(equ)(fun)(SAT) 190| -. -. -. -. -. -.
% 18.85/19.04 (SAT)(equ)(fun)(SAT) 190+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.22/19.35 (SAT)(equ)(fun)(SAT) 192| -. -. -. -1 -. -.
% 19.31/19.44 (SAT)(equ)(fun)(SAT) 192| -. -. -. -. -. -.
% 19.38/19.54 (SAT)(equ)(fun)(SAT) 192+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 19.67/19.85 (SAT)(equ)(fun)(SAT) 194| -. -. -. -1 -. -.
% 19.74/19.94 (SAT)(equ)(fun)(SAT) 194| -. -. -. -. -. -.
% 19.90/20.04 (SAT)(equ)(fun)(SAT) 194+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.18/20.36 (SAT)(equ)(fun)(SAT) 196| -. -. -. -1 -. -.
% 20.27/20.45 (SAT)(equ)(fun)(SAT) 196| -. -. -. -. -. -.
% 20.35/20.55 (SAT)(equ)(fun)(SAT) 196+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 20.67/20.87 (SAT)(equ)(fun)(SAT) 198| -. -. -. -1 -. -.
% 20.75/20.96 (SAT)(equ)(fun)(SAT) 198| -. -. -. -. -. -.
% 20.88/21.07 (SAT)(equ)(fun)(SAT) 198+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.27/21.40 (SAT)(equ)(fun)(SAT) 200| -. -. -. -1 -. -.
% 21.33/21.49 (SAT)(equ)(fun)(SAT) 200| -. -. -. -. -. -.
% 21.46/21.60 (SAT)(equ)(fun)(SAT) 200+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 21.77/21.94 (SAT)(equ)(fun)(SAT) 202| -. -. -. -1 -. -.
% 21.81/22.03 (SAT)(equ)(fun)(SAT) 202| -. -. -. -. -. -.
% 21.95/22.14 (SAT)(equ)(fun)(SAT) 202+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.33/22.48 (SAT)(equ)(fun)(SAT) 204| -. -. -. -1 -. -.
% 22.41/22.57 (SAT)(equ)(fun)(SAT) 204| -. -. -. -. -. -.
% 22.53/22.68 (SAT)(equ)(fun)(SAT) 204+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 22.85/23.03 (SAT)(equ)(fun)(SAT) 206| -. -. -. -1 -. -.
% 22.99/23.12 (SAT)(equ)(fun)(SAT) 206| -. -. -. -. -. -.
% 23.06/23.24 (SAT)(equ)(fun)(SAT) 206+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.45/23.59 (SAT)(equ)(fun)(SAT) 208| -. -. -. -1 -. -.
% 23.55/23.69 (SAT)(equ)(fun)(SAT) 208| -. -. -. -. -. -.
% 23.66/23.80 (SAT)(equ)(fun)(SAT) 208+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 23.99/24.16 (SAT)(equ)(fun)(SAT) 210| -. -. -. -1 -. -.
% 24.07/24.26 (SAT)(equ)(fun)(SAT) 210| -. -. -. -. -. -.
% 24.15/24.37 (SAT)(equ)(fun)(SAT) 210+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 24.55/24.74 (SAT)(equ)(fun)(SAT) 212| -. -. -. -1 -. -.
% 24.70/24.84 (SAT)(equ)(fun)(SAT) 212| -. -. -. -. -. -.
% 24.80/24.96 (SAT)(equ)(fun)(SAT) 212+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.17/25.33 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 25.24/25.43 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 25.41/25.55 (SAT)(equ)(fun)(SAT) 214+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 25.71/25.92 (SAT)(equ)(fun)(SAT) 216| -. -. -. -1 -. -.
% 25.85/26.02 (SAT)(equ)(fun)(SAT) 216| -. -. -. -. -. -.
% 26.01/26.15 (SAT)(equ)(fun)(SAT) 216+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.38/26.53 (SAT)(equ)(fun)(SAT) 218| -. -. -. -1 -. -.
% 26.45/26.64 (SAT)(equ)(fun)(SAT) 218| -. -. -. -. -. -.
% 26.60/26.76 (SAT)(equ)(fun)(SAT) 218+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 26.98/27.15 (SAT)(equ)(fun)(SAT) 220| -. -. -. -1 -. -.
% 27.05/27.25 (SAT)(equ)(fun)(SAT) 220| -. -. -. -. -. -.
% 27.18/27.38 (SAT)(equ)(fun)(SAT) 220+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 27.58/27.78 (SAT)(equ)(fun)(SAT) 222| -. -. -. -1 -. -.
% 27.75/27.88 (SAT)(equ)(fun)(SAT) 222| -. -. -. -. -. -.
% 27.88/28.01 (SAT)(equ)(fun)(SAT) 222+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.26/28.41 (SAT)(equ)(fun)(SAT) 224| -. -. -. -1 -. -.
% 28.30/28.52 (SAT)(equ)(fun)(SAT) 224| -. -. -. -. -. -.
% 28.47/28.65 (SAT)(equ)(fun)(SAT) 224+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 28.87/29.06 (SAT)(equ)(fun)(SAT) 226| -. -. -. -1 -. -.
% 28.94/29.17 (SAT)(equ)(fun)(SAT) 226| -. -. -. -. -. -.
% 29.11/29.30 (SAT)(equ)(fun)(SAT) 226+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 29.56/29.71 (SAT)(equ)(fun)(SAT) 228| -. -. -. -1 -. -.
% 29.70/29.83 (SAT)(equ)(fun)(SAT) 228| -. -. -. -. -. -.
% 29.79/29.96 (SAT)(equ)(fun)(SAT) 228+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.25/30.38 (SAT)(equ)(fun)(SAT) 230| -. -. -. -1 -. -.
% 30.30/30.49 (SAT)(equ)(fun)(SAT) 230| -. -. -. -. -. -.
% 30.47/30.63 (SAT)(equ)(fun)(SAT) 230+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 30.86/31.05 (SAT)(equ)(fun)(SAT) 232| -. -. -. -1 -. -.
% 30.98/31.17 (SAT)(equ)(fun)(SAT) 232| -. -. -. -. -. -.
% 31.16/31.32 (SAT)(equ)(fun)(SAT) 232+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 31.58/31.75 (SAT)(equ)(fun)(SAT) 234| -. -. -. -1 -. -.
% 31.67/31.88 (SAT)(equ)(fun)(SAT) 234| -. -. -. -. -. -.
% 31.87/32.03 (SAT)(equ)(fun)(SAT) 234+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.24/32.46 (SAT)(equ)(fun)(SAT) 236| -. -. -. -1 -. -.
% 32.40/32.60 (SAT)(equ)(fun)(SAT) 236| -. -. -. -. -. -.
% 32.54/32.74 (SAT)(equ)(fun)(SAT) 236+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.01/33.19 (SAT)(equ)(fun)(SAT) 238| -. -. -. -1 -. -.
% 33.16/33.31 (SAT)(equ)(fun)(SAT) 238| -. -. -. -. -. -.
% 33.31/33.46 (SAT)(equ)(fun)(SAT) 238+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 33.75/33.90 (SAT)(equ)(fun)(SAT) 240| -. -. -. -1 -. -.
% 33.87/34.02 (SAT)(equ)(fun)(SAT) 240| -. -. -. -. -. -.
% 34.00/34.17 (SAT)(equ)(fun)(SAT) 240+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 34.49/34.63 (SAT)(equ)(fun)(SAT) 242| -. -. -. -1 -. -.
% 34.59/34.75 (SAT)(equ)(fun)(SAT) 242| -. -. -. -. -. -.
% 34.78/34.90 (SAT)(equ)(fun)(SAT) 242+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 35.16/35.37 (SAT)(equ)(fun)(SAT) 244| -. -. -. -1 -. -.
% 35.37/35.50 (SAT)(equ)(fun)(SAT) 244| -. -. -. -. -. -.
% 35.59/35.71 (SAT)(equ)(fun)(SAT) 244+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.04/36.24 (SAT)(equ)(fun)(SAT) 246| -. -. -. -1 -. -.
% 36.22/36.38 (SAT)(equ)(fun)(SAT) 246| -. -. -. -. -. -.
% 36.36/36.53 (SAT)(equ)(fun)(SAT) 246+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 36.89/37.01 (SAT)(equ)(fun)(SAT) 248| -. -. -. -1 -. -.
% 36.94/37.14 (SAT)(equ)(fun)(SAT) 248| -. -. -. -. -. -.
% 37.11/37.31 (SAT)(equ)(fun)(SAT) 248+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 37.65/37.79 (SAT)(equ)(fun)(SAT) 250| -. -. -. -1 -. -.
% 37.71/37.92 (SAT)(equ)(fun)(SAT) 250| -. -. -. -. -. -.
% 37.89/38.08 (SAT)(equ)(fun)(SAT) 250+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 38.41/38.57 (SAT)(equ)(fun)(SAT) 252| -. -. -. -1 -. -.
% 38.58/38.71 (SAT)(equ)(fun)(SAT) 252| -. -. -. -. -. -.
% 38.67/38.87 (SAT)(equ)(fun)(SAT) 252+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 39.25/39.37 (SAT)(equ)(fun)(SAT) 254| -. -. -. -1 -. -.
% 39.38/39.51 (SAT)(equ)(fun)(SAT) 254| -. -. -. -. -. -.
% 39.48/39.67 (SAT)(equ)(fun)(SAT) 254+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.02/40.17 (SAT)(equ)(fun)(SAT) 256| -. -. -. -1 -. -.
% 40.16/40.31 (SAT)(equ)(fun)(SAT) 256| -. -. -. -. -. -.
% 40.32/40.49 (SAT)(equ)(fun)(SAT) 256+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 40.87/41.01 (SAT)(equ)(fun)(SAT) 258| -. -. -. -1 -. -.
% 40.98/41.16 (SAT)(equ)(fun)(SAT) 258| -. -. -. -. -. -.
% 41.22/41.33 (SAT)(equ)(fun)(SAT) 258+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 41.67/41.84 (SAT)(equ)(fun)(SAT) 260| -. -. -. -1 -. -.
% 41.81/41.98 (SAT)(equ)(fun)(SAT) 260| -. -. -. -. -. -.
% 41.99/42.15 (SAT)(equ)(fun)(SAT) 260+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 42.52/42.68 (SAT)(equ)(fun)(SAT) 262| -. -. -. -1 -. -.
% 42.65/42.83 (SAT)(equ)(fun)(SAT) 262| -. -. -. -. -. -.
% 42.88/43.01 (SAT)(equ)(fun)(SAT) 262+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 43.39/43.54 (SAT)(equ)(fun)(SAT) 264| -. -. -. -1 -. -.
% 43.57/43.69 (SAT)(equ)(fun)(SAT) 264| -. -. -. -. -. -.
% 43.73/43.90 (SAT)(equ)(fun)(SAT) 264+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 44.31/44.47 (SAT)(equ)(fun)(SAT) 266| -. -. -. -1 -. -.
% 44.46/44.63 (SAT)(equ)(fun)(SAT) 266| -. -. -. -. -. -.
% 44.61/44.81 (SAT)(equ)(fun)(SAT) 266+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 45.22/45.37 (SAT)(equ)(fun)(SAT) 268| -. -. -. -1 -. -.
% 45.39/45.52 (SAT)(equ)(fun)(SAT) 268| -. -. -. -. -. -.
% 45.58/45.70 (SAT)(equ)(fun)(SAT) 268+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 46.06/46.26 (SAT)(equ)(fun)(SAT) 270| -. -. -. -1 -. -.
% 46.29/46.44 (SAT)(equ)(fun)(SAT) 270| -. -. -. -. -. -.
% 46.50/46.62 (SAT)(equ)(fun)(SAT) 270+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 47.07/47.19 (SAT)(equ)(fun)(SAT) 272| -. -. -. -1 -. -.
% 47.21/47.35 (SAT)(equ)(fun)(SAT) 272| -. -. -. -. -. -.
% 47.43/47.55 (SAT)(equ)(fun)(SAT) 272+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.01/48.12 (SAT)(equ)(fun)(SAT) 274| -. -. -. -1 -. -.
% 48.11/48.28 (SAT)(equ)(fun)(SAT) 274| -. -. -. -. -. -.
% 48.31/48.48 (SAT)(equ)(fun)(SAT) 274+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 48.88/49.06 (SAT)(equ)(fun)(SAT) 276| -. -. -. -1 -. -.
% 49.10/49.21 (SAT)(equ)(fun)(SAT) 276| -. -. -. -. -. -.
% 49.30/49.42 (SAT)(equ)(fun)(SAT) 276+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 49.90/50.02 (SAT)(equ)(fun)(SAT) 278| -. -. -. -1 -. -.
% 50.09/50.20 (SAT)(equ)(fun)(SAT) 278| -. -. -. -. -. -.
% 50.24/50.41 (SAT)(equ)(fun)(SAT) 278+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 50.84/51.00 (SAT)(equ)(fun)(SAT) 280| -. -. -. -1 -. -.
% 51.06/51.18 (SAT)(equ)(fun)(SAT) 280| -. -. -. -. -. -.
% 51.27/51.42 (SAT)(equ)(fun)(SAT) 280+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 51.88/52.06 (SAT)(equ)(fun)(SAT) 282| -. -. -. -1 -. -.
% 52.12/52.23 (SAT)(equ)(fun)(SAT) 282| -. -. -. -. -. -.
% 52.27/52.43 (SAT)(equ)(fun)(SAT) 282+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 52.87/53.04 (SAT)(equ)(fun)(SAT) 284| -. -. -. -1 -. -.
% 53.11/53.23 (SAT)(equ)(fun)(SAT) 284| -. -. -. -. -. -.
% 53.35/53.46 (SAT)(equ)(fun)(SAT) 284+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 53.95/54.10 (SAT)(equ)(fun)(SAT) 286| -. -. -. -1 -. -.
% 54.17/54.30 (SAT)(equ)(fun)(SAT) 286| -. -. -. -. -. -.
% 54.39/54.51 (SAT)(equ)(fun)(SAT) 286+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.99/55.16 (SAT)(equ)(fun)(SAT) 288| -. -. -. -1 -. -.
% 55.21/55.37 (SAT)(equ)(fun)(SAT) 288| -. -. -. -. -. -.
% 55.43/55.59 (SAT)(equ)(fun)(SAT) 288+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.14/56.26 (SAT)(equ)(fun)(SAT) 290| -. -. -. -1 -. -.
% 56.26/56.44 (SAT)(equ)(fun)(SAT) 290| -. -. -. -. -. -.
% 56.56/56.67 (SAT)(equ)(fun)(SAT) 290+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.19/57.33 (SAT)(equ)(fun)(SAT) 292| -. -. -. -1 -. -.
% 57.42/57.56 (SAT)(equ)(fun)(SAT) 292| -. -. -. -. -. -.
% 57.65/57.78 (SAT)(equ)(fun)(SAT) 292+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.33/58.45 (SAT)(equ)(fun)(SAT) 294| -. -. -. -1 -. -.
% 58.52/58.64 (SAT)(equ)(fun)(SAT) 294| -. -. -. -. -. -.
% 58.78/58.88 (SAT)(equ)(fun)(SAT) 294+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.47/59.58 (SAT)(equ)(fun)(SAT) 296| -. -. -. -1 -. -.
% 59.67/59.77 (SAT)(equ)(fun)(SAT) 296| -. -. -. -. -. -.
% 59.84/60.00 (SAT)(equ)(fun)(SAT) 296+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 60.61/60.70 (SAT)(equ)(fun)(SAT) 298| -. -. -. -1 -. -.
% 60.76/60.89 (SAT)(equ)(fun)(SAT) 298| -. -. -. -. -. -.
% 61.03/61.13 (SAT)(equ)(fun)(SAT) 298+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 61.74/61.84 (SAT)(equ)(fun)(SAT) 300| -. -. -. -1 -. -.
% 61.93/62.03 (SAT)(equ)(fun)(SAT) 300| -. -. -. -. -. -.
% 62.19/62.29 (SAT)(equ)(fun)(SAT) 300+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 62.94/63.03 (SAT)(equ)(fun)(SAT) 302| -. -. -. -1 -. -.
% 63.07/63.22 (SAT)(equ)(fun)(SAT) 302| -. -. -. -. -. -.
% 63.37/63.48 (SAT)(equ)(fun)(SAT) 302+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 64.13/64.23 (SAT)(equ)(fun)(SAT) 304| -. -. -. -1 -. -.
% 64.30/64.43 (SAT)(equ)(fun)(SAT) 304| -. -. -. -. -. -.
% 64.61/64.70 (SAT)(equ)(fun)(SAT) 304+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 65.33/65.46 (SAT)(equ)(fun)(SAT) 306| -. -. -. -1 -. -.
% 65.59/65.69 (SAT)(equ)(fun)(SAT) 306| -. -. -. -. -. -.
% 65.82/65.95 (SAT)(equ)(fun)(SAT) 306+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 66.65/66.74 (SAT)(equ)(fun)(SAT) 308| -. -. -. -1 -. -.
% 66.78/66.96 (SAT)(equ)(fun)(SAT) 308| -. -. -. -. -. -.
% 67.11/67.22 (SAT)(equ)(fun)(SAT) 308+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 67.86/68.00 (SAT)(equ)(fun)(SAT) 310| -. -. -. -1 -. -.
% 68.15/68.29 (SAT)(equ)(fun)(SAT) 310| -. -. -. -. -. -.
% 68.45/68.56 (SAT)(equ)(fun)(SAT) 310+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 69.30/69.40 (SAT)(equ)(fun)(SAT) 312| -. -. -. -1 -. -.
% 69.53/69.62 (SAT)(equ)(fun)(SAT) 312| -. -. -. -. -. -.
% 69.77/69.90 (SAT)(equ)(fun)(SAT) 312+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 70.62/70.71 (SAT)(equ)(fun)(SAT) 314| -. -. -. -1 -. -.
% 70.82/70.93 (SAT)(equ)(fun)(SAT) 314| -. -. -. -. -. -.
% 71.11/71.22 (SAT)(equ)(fun)(SAT) 314+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 71.95/72.03 (SAT)(equ)(fun)(SAT) 316| -. -. -. -1 -. -.
% 72.10/72.26 (SAT)(equ)(fun)(SAT) 316| -. -. -. -. -. -.
% 72.42/72.54 (SAT)(equ)(fun)(SAT) 316+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 73.32/73.40 (SAT)(equ)(fun)(SAT) 318| -. -. -. -1 -. -.
% 73.49/73.63 (SAT)(equ)(fun)(SAT) 318| -. -. -. -. -. -.
% 73.79/73.90 (SAT)(equ)(fun)(SAT) 318+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 74.74/74.82 (SAT)(equ)(fun)(SAT) 320| -. -. -. -1 -. -.
% 74.98/75.05 (SAT)(equ)(fun)(SAT) 320| -. -. -. -. -. -.
% 75.22/75.34 (SAT)(equ)(fun)(SAT) 320+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 76.12/76.20 (SAT)(equ)(fun)(SAT) 322| -. -. -. -1 -. -.
% 76.36/76.51 (SAT)(equ)(fun)(SAT) 322| -. -. -. -. -. -.
% 76.66/76.79 (SAT)(equ)(fun)(SAT) 322+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 77.58/77.67 (SAT)(equ)(fun)(SAT) 324| -. -. -. -1 -. -.
% 77.78/77.90 (SAT)(equ)(fun)(SAT) 324| -. -. -. -. -. -.
% 78.10/78.21 (SAT)(equ)(fun)(SAT) 324+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 79.01/79.10 (SAT)(equ)(fun)(SAT) 326| -. -. -. -1 -. -.
% 79.22/79.35 (SAT)(equ)(fun)(SAT) 326| -. -. -. -. -. -.
% 79.52/79.65 (SAT)(equ)(fun)(SAT) 326+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 80.44/80.54 (SAT)(equ)(fun)(SAT) 328| -. -. -. -1 -. -.
% 80.67/80.79 (SAT)(equ)(fun)(SAT) 328| -. -. -. -. -. -.
% 80.98/81.09 (SAT)(equ)(fun)(SAT) 328+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 81.88/82.00 (SAT)(equ)(fun)(SAT) 330| -. -. -. -1 -. -.
% 82.17/82.26 (SAT)(equ)(fun)(SAT) 330| -. -. -. -. -. -.
% 82.47/82.57 (SAT)(equ)(fun)(SAT) 330+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 83.47/83.56 (SAT)(equ)(fun)(SAT) 332| -. -. -. -1 -. -.
% 83.74/83.82 (SAT)(equ)(fun)(SAT) 332| -. -. -. -. -. -.
% 84.02/84.13 (SAT)(equ)(fun)(SAT) 332+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 84.98/85.08 (SAT)(equ)(fun)(SAT) 334| -. -. -. -1 -. -.
% 85.25/85.32 (SAT)(equ)(fun)(SAT) 334| -. -. -. -. -. -.
% 85.57/85.63 (SAT)(equ)(fun)(SAT) 334+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 86.46/86.59 (SAT)(equ)(fun)(SAT) 336| -. -. -. -1 -. -.
% 86.72/86.85 (SAT)(equ)(fun)(SAT) 336| -. -. -. -. -. -.
% 87.02/87.16 (SAT)(equ)(fun)(SAT) 336+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 88.04/88.13 (SAT)(equ)(fun)(SAT) 338| -. -. -. -1 -. -.
% 88.31/88.39 (SAT)(equ)(fun)(SAT) 338| -. -. -. -. -. -.
% 88.61/88.70 (SAT)(equ)(fun)(SAT) 338+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 89.56/89.69 (SAT)(equ)(fun)(SAT) 340| -. -. -. -1 -. -.
% 89.87/89.96 (SAT)(equ)(fun)(SAT) 340| -. -. -. -. -. -.
% 90.21/90.28 (SAT)(equ)(fun)(SAT) 340+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 91.19/91.29 (SAT)(equ)(fun)(SAT) 342| -. -. -. -1 -. -.
% 91.49/91.57 (SAT)(equ)(fun)(SAT) 342| -. -. -. -. -. -.
% 91.79/91.89 (SAT)(equ)(fun)(SAT) 342+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 92.83/92.92 (SAT)(equ)(fun)(SAT) 344| -. -. -. -1 -. -.
% 93.05/93.18 (SAT)(equ)(fun)(SAT) 344| -. -. -. -. -. -.
% 93.46/93.51 (SAT)(equ)(fun)(SAT) 344+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 94.52/94.60 (SAT)(equ)(fun)(SAT) 346| -. -. -. -1 -. -.
% 94.81/94.89 (SAT)(equ)(fun)(SAT) 346| -. -. -. -. -. -.
% 95.17/95.23 (SAT)(equ)(fun)(SAT) 346+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 96.24/96.33 (SAT)(equ)(fun)(SAT) 348| -. -. -. -1 -. -.
% 96.54/96.59 (SAT)(equ)(fun)(SAT) 348| -. -. -. -. -. -.
% 96.85/96.91 (SAT)(equ)(fun)(SAT) 348+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 97.82/97.94 (SAT)(equ)(fun)(SAT) 350| -. -. -. -1 -. -.
% 98.15/98.23 (SAT)(equ)(fun)(SAT) 350| -. -. -. -. -. -.
% 98.45/98.55 (SAT)(equ)(fun)(SAT) 350+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 99.49/99.59 (SAT)(equ)(fun)(SAT) 352| -. -. -. -1 -. -.
% 99.77/99.87 (SAT)(equ)(fun)(SAT) 352| -. -. -. -. -. -.
% 100.09/100.20 (SAT)(equ)(fun)(SAT) 352+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 101.22/101.27 (SAT)(equ)(fun)(SAT) 354| -. -. -. -1 -. -.
% 101.49/101.57 (SAT)(equ)(fun)(SAT) 354| -. -. -. -. -. -.
% 101.84/101.91 (SAT)(equ)(fun)(SAT) 354+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 102.89/103.00 (SAT)(equ)(fun)(SAT) 356| -. -. -. -1 -. -.
% 103.18/103.30 (SAT)(equ)(fun)(SAT) 356| -. -. -. -. -. -.
% 103.58/103.63 (SAT)(equ)(fun)(SAT) 356+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 104.63/104.76 (SAT)(equ)(fun)(SAT) 358| -. -. -. -1 -. -.
% 104.95/105.04 (SAT)(equ)(fun)(SAT) 358| -. -. -. -. -. -.
% 105.34/105.39 (SAT)(equ)(fun)(SAT) 358+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 106.46/106.49 (SAT)(equ)(fun)(SAT) 360| -. -. -. -1 -. -.
% 106.67/106.78 (SAT)(equ)(fun)(SAT) 360| -. -. -. -. -. -.
% 107.07/107.14 (SAT)(equ)(fun)(SAT) 360+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 108.21/108.27 (SAT)(equ)(fun)(SAT) 362| -. -. -. -1 -. -.
% 108.51/108.59 (SAT)(equ)(fun)(SAT) 362| -. -. -. -. -. -.
% 108.89/108.97 (SAT)(equ)(fun)(SAT) 362+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 110.07/110.12 (SAT)(equ)(fun)(SAT) 364| -. -. -. -1 -. -.
% 110.39/110.42 (SAT)(equ)(fun)(SAT) 364| -. -. -. -. -. -.
% 110.69/110.79 (SAT)(equ)(fun)(SAT) 364+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 111.92/111.95 (SAT)(equ)(fun)(SAT) 366| -. -. -. -1 -. -.
% 112.22/112.26 (SAT)(equ)(fun)(SAT) 366| -. -. -. -. -. -.
% 112.59/112.63 (SAT)(equ)(fun)(SAT) 366+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 113.70/113.76 (SAT)(equ)(fun)(SAT) 368| -. -. -. -1 -. -.
% 114.06/114.10 (SAT)(equ)(fun)(SAT) 368| -. -. -. -. -. -.
% 114.41/114.47 (SAT)(equ)(fun)(SAT) 368+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 115.62/115.66 (SAT)(equ)(fun)(SAT) 370| -. -. -. -1 -. -.
% 115.92/115.99 (SAT)(equ)(fun)(SAT) 370| -. -. -. -. -. -.
% 116.29/116.36 (SAT)(equ)(fun)(SAT) 370+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 117.50/117.56 (SAT)(equ)(fun)(SAT) 372| -. -. -. -1 -. -.
% 117.82/117.89 (SAT)(equ)(fun)(SAT) 372| -. -. -. -. -. -.
% 118.19/118.26 (SAT)(equ)(fun)(SAT) 372+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 119.40/119.46 (SAT)(equ)(fun)(SAT) 374| -. -. -. -1 -. -.
% 119.75/119.79 (SAT)(equ)(fun)(SAT) 374| -. -. -. -. -. -.
% 120.07/120.17 (SAT)(equ)(fun)(SAT) 374+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 121.35/121.39 (SAT)(equ)(fun)(SAT) 376| -. -. -. -1 -. -.
% 121.65/121.71 (SAT)(equ)(fun)(SAT) 376| -. -. -. -. -. -.
% 122.04/122.10 (SAT)(equ)(fun)(SAT) 376+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 123.27/123.29 (SAT)(equ)(fun)(SAT) 378| -. -. -. -1 -. -.
% 123.59/123.62 (SAT)(equ)(fun)(SAT) 378| -. -. -. -. -. -.
% 123.91/124.01 (SAT)(equ)(fun)(SAT) 378+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 125.16/125.18 (SAT)(equ)(fun)(SAT) 380| -. -. -. -1 -. -.
% 125.45/125.50 (SAT)(equ)(fun)(SAT) 380| -. -. -. -. -. -.
% 125.83/125.89 (SAT)(equ)(fun)(SAT) 380+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 126.99/127.10 (SAT)(equ)(fun)(SAT) 382| -. -. -. -1 -. -.
% 127.40/127.42 (SAT)(equ)(fun)(SAT) 382| -. -. -. -. -. -.
% 127.79/127.82 (SAT)(equ)(fun)(SAT) 382+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 129.08/129.10 (SAT)(equ)(fun)(SAT) 384| -. -. -. -1 -. -.
% 129.37/129.43 (SAT)(equ)(fun)(SAT) 384| -. -. -. -. -. -.
% 129.82/129.84 (SAT)(equ)(fun)(SAT) 384+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 131.11/131.12 (SAT)(equ)(fun)(SAT) 386| -. -. -. -1 -. -.
% 131.42/131.45 (SAT)(equ)(fun)(SAT) 386| -. -. -. -. -. -.
% 131.79/131.86 (SAT)(equ)(fun)(SAT) 386+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 133.08/133.12 (SAT)(equ)(fun)(SAT) 388| -. -. -. -1 -. -.
% 133.37/133.44 (SAT)(equ)(fun)(SAT) 388| -. -. -. -. -. -.
% 133.80/133.85 (SAT)(equ)(fun)(SAT) 388+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 135.09/135.12 (SAT)(equ)(fun)(SAT) 390| -. -. -. -1 -. -.
% 135.44/135.47 (SAT)(equ)(fun)(SAT) 390| -. -. -. -. -. -.
% 135.83/135.88 (SAT)(equ)(fun)(SAT) 390+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 137.09/137.14 (SAT)(equ)(fun)(SAT) 392| -. -. -. -1 -. -.
% 137.39/137.47 (SAT)(equ)(fun)(SAT) 392| -. -. -. -. -. -.
% 137.88/137.89 (SAT)(equ)(fun)(SAT) 392+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 139.14/139.21 (SAT)(equ)(fun)(SAT) 394| -. -. -. -1 -. -.
% 139.52/139.57 (SAT)(equ)(fun)(SAT) 394| -. -. -. -. -. -.
% 140.00/140.00 (SAT)(equ)(fun)(SAT) 394+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 141.30/141.29 (SAT)(equ)(fun)(SAT) 396| -. -. -. -1 -. -.
% 141.78/141.77 (SAT)(equ)(fun)(SAT) 396| -. -. -. -. -. -.
% 142.18/142.19 (SAT)(equ)(fun)(SAT) 396+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 143.51/143.54 (SAT)(equ)(fun)(SAT) 398| -. -. -. -1 -. -.
% 143.82/143.89 (SAT)(equ)(fun)(SAT) 398| -. -. -. -. -. -.
% 144.31/144.31 (SAT)(equ)(fun)(SAT) 398+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 145.65/145.67 (SAT)(equ)(fun)(SAT) 400| -. -. -. -1 -. -.
% 145.95/146.03 (SAT)(equ)(fun)(SAT) 400| -. -. -. -. -. -.
% 146.47/146.47 (SAT)(equ)(fun)(SAT) 400+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 147.73/147.81 (SAT)(equ)(fun)(SAT) 402| -. -. -. -1 -. -.
% 148.13/148.16 (SAT)(equ)(fun)(SAT) 402| -. -. -. -. -. -.
% 148.58/148.60 (SAT)(equ)(fun)(SAT) 402+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 149.96/149.97 (SAT)(equ)(fun)(SAT) 404| -. -. -. -1 -. -.
% 150.32/150.32 (SAT)(equ)(fun)(SAT) 404| -. -. -. -. -. -.
% 150.71/150.76 (SAT)(equ)(fun)(SAT) 404+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 152.11/152.11 (SAT)(equ)(fun)(SAT) 406| -. -. -. -1 -. -.
% 152.46/152.47 (SAT)(equ)(fun)(SAT) 406| -. -. -. -. -. -.
% 152.91/152.91 (SAT)(equ)(fun)(SAT) 406+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 154.23/154.27 (SAT)(equ)(fun)(SAT) 408| -. -. -. -1 -. -.
% 154.64/154.64 (SAT)(equ)(fun)(SAT) 408| -. -. -. -. -. -.
% 155.11/155.11 (SAT)(equ)(fun)(SAT) 408+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 156.46/156.51 (SAT)(equ)(fun)(SAT) 410| -. -. -. -1 -. -.
% 156.84/156.89 (SAT)(equ)(fun)(SAT) 410| -. -. -. -. -. -.
% 157.34/157.34 (SAT)(equ)(fun)(SAT) 410+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 158.73/158.75 (SAT)(equ)(fun)(SAT) 412| -. -. -. -1 -. -.
% 159.10/159.13 (SAT)(equ)(fun)(SAT) 412| -. -. -. -. -. -.
% 159.57/159.59 (SAT)(equ)(fun)(SAT) 412+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 161.02/160.99 (SAT)(equ)(fun)(SAT) 414| -. -. -. -1 -. -.
% 161.36/161.37 (SAT)(equ)(fun)(SAT) 414| -. -. -. -. -. -.
% 161.84/161.83 (SAT)(equ)(fun)(SAT) 414+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 163.26/163.24 (SAT)(equ)(fun)(SAT) 416| -. -. -. -1 -. -.
% 163.56/163.62 (SAT)(equ)(fun)(SAT) 416| -. -. -. -. -. -.
% 164.12/164.10 (SAT)(equ)(fun)(SAT) 416+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 165.55/165.54 (SAT)(equ)(fun)(SAT) 418| -. -. -. -1 -. -.
% 165.91/165.94 (SAT)(equ)(fun)(SAT) 418| -. -. -. -. -. -.
% 166.44/166.43 (SAT)(equ)(fun)(SAT) 418+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 167.92/167.89 (SAT)(equ)(fun)(SAT) 420| -. -. -. -1 -. -.
% 168.25/168.27 (SAT)(equ)(fun)(SAT) 420| -. -. -. -. -. -.
% 168.73/168.75 (SAT)(equ)(fun)(SAT) 420+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 170.23/170.22 (SAT)(equ)(fun)(SAT) 422| -. -. -. -1 -. -.
% 170.66/170.62 (SAT)(equ)(fun)(SAT) 422| -. -. -. -. -. -.
% 171.14/171.11 (SAT)(equ)(fun)(SAT) 422+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 172.58/172.59 (SAT)(equ)(fun)(SAT) 424| -. -. -. -1 -. -.
% 173.01/173.01 (SAT)(equ)(fun)(SAT) 424| -. -. -. -. -. -.
% 173.56/173.54 (SAT)(equ)(fun)(SAT) 424+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 175.06/175.07 (SAT)(equ)(fun)(SAT) 426| -. -. -. -1 -. -.
% 175.54/175.49 (SAT)(equ)(fun)(SAT) 426| -. -. -. -. -. -.
% 175.99/176.00 (SAT)(equ)(fun)(SAT) 426+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 177.56/177.58 (SAT)(equ)(fun)(SAT) 428| -. -. -. -1 -. -.
% 177.95/177.97 (SAT)(equ)(fun)(SAT) 428| -. -. -. -. -. -.
% 178.47/178.48 (SAT)(equ)(fun)(SAT) 428+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 180.05/180.05 (SAT)(equ)(fun)(SAT) 430| -. -. -. -1 -. -.
% 180.44/180.45 (SAT)(equ)(fun)(SAT) 430| -. -. -. -. -. -.
% 180.96/180.96 (SAT)(equ)(fun)(SAT) 430+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 182.57/182.53 (SAT)(equ)(fun)(SAT) 432| -. -. -. -1 -. -.
% 182.94/182.93 (SAT)(equ)(fun)(SAT) 432| -. -. -. -. -. -.
% 183.39/183.38 (SAT)(equ)(fun)(SAT) 432+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 184.95/184.89 (SAT)(equ)(fun)(SAT) 434| -. -. -. -1 -. -.
% 185.38/185.33 (SAT)(equ)(fun)(SAT) 434| -. -. -. -. -. -.
% 185.85/185.80 (SAT)(equ)(fun)(SAT) 434+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 187.48/187.44 (SAT)(equ)(fun)(SAT) 436| -. -. -. -1 -. -.
% 187.85/187.85 (SAT)(equ)(fun)(SAT) 436| -. -. -. -. -. -.
% 188.37/188.36 (SAT)(equ)(fun)(SAT) 436+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 189.97/189.93 (SAT)(equ)(fun)(SAT) 438| -. -. -. -1 -. -.
% 190.34/190.35 (SAT)(equ)(fun)(SAT) 438| -. -. -. -. -. -.
% 190.89/190.82 (SAT)(equ)(fun)(SAT) 438+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 192.39/192.41 (SAT)(equ)(fun)(SAT) 440| -. -. -. -1 -. -.
% 192.85/192.84 (SAT)(equ)(fun)(SAT) 440| -. -. -. -. -. -.
% 193.37/193.32 (SAT)(equ)(fun)(SAT) 440+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 194.97/194.93 (SAT)(equ)(fun)(SAT) 442| -. -. -. -1 -. -.
% 195.36/195.35 (SAT)(equ)(fun)(SAT) 442| -. -. -. -. -. -.
% 195.89/195.82 (SAT)(equ)(fun)(SAT) 442+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 197.46/197.46 (SAT)(equ)(fun)(SAT) 444| -. -. -. -1 -. -.
% 197.98/197.91 (SAT)(equ)(fun)(SAT) 444| -. -. -. -. -. -.
% 198.47/198.43 (SAT)(equ)(fun)(SAT) 444+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 200.11/200.07 (SAT)(equ)(fun)(SAT) 446| -. -. -. -1 -. -.
% 200.55/200.53 (SAT)(equ)(fun)(SAT) 446| -. -. -. -. -. -.
% 201.10/201.02 (SAT)(equ)(fun)(SAT) 446+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 202.77/202.71 (SAT)(equ)(fun)(SAT) 448| -. -. -. -1 -. -.
% 203.20/203.13 (SAT)(equ)(fun)(SAT) 448| -. -. -. -. -. -.
% 203.66/203.64 (SAT)(equ)(fun)(SAT) 448+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 205.30/205.28 (SAT)(equ)(fun)(SAT) 450| -. -. -. -1 -. -.
% 205.79/205.72 (SAT)(equ)(fun)(SAT) 450| -. -. -. -. -. -.
% 206.29/206.24 (SAT)(equ)(fun)(SAT) 450+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 207.99/207.92 (SAT)(equ)(fun)(SAT) 452| -. -. -. -1 -. -.
% 208.37/208.37 (SAT)(equ)(fun)(SAT) 452| -. -. -. -. -. -.
% 208.91/208.88 (SAT)(equ)(fun)(SAT) 452+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 210.67/210.59 (SAT)(equ)(fun)(SAT) 454| -. -. -. -1 -. -.
% 211.12/211.07 (SAT)(equ)(fun)(SAT) 454| -. -. -. -. -. -.
% 211.69/211.62 (SAT)(equ)(fun)(SAT) 454+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 213.40/213.38 (SAT)(equ)(fun)(SAT) 456| -. -. -. -1 -. -.
% 213.89/213.82 (SAT)(equ)(fun)(SAT) 456| -. -. -. -. -. -.
% 214.37/214.32 (SAT)(equ)(fun)(SAT) 456+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 216.12/216.05 (SAT)(equ)(fun)(SAT) 458| -. -. -. -1 -. -.
% 216.59/216.51 (SAT)(equ)(fun)(SAT) 458| -. -. -. -. -. -.
% 217.11/217.04 (SAT)(equ)(fun)(SAT) 458+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 218.84/218.79 (SAT)(equ)(fun)(SAT) 460| -. -. -. -1 -. -.
% 219.57/219.50 (SAT)(equ)(fun)(SAT) 460| -. -. -. -. -. -.
% 220.12/220.03 (SAT)(equ)(fun)(SAT) 460+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 221.87/221.79 (SAT)(equ)(fun)(SAT) 462| -. -. -. -1 -. -.
% 222.31/222.25 (SAT)(equ)(fun)(SAT) 462| -. -. -. -. -. -.
% 222.85/222.79 (SAT)(equ)(fun)(SAT) 462+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 224.64/224.55 (SAT)(equ)(fun)(SAT) 464| -. -. -. -1 -. -.
% 225.12/225.07 (SAT)(equ)(fun)(SAT) 464| -. -. -. -. -. -.
% 225.72/225.62 (SAT)(equ)(fun)(SAT) 464+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 227.45/227.41 (SAT)(equ)(fun)(SAT) 466| -. -. -. -1 -. -.
% 228.01/227.93 (SAT)(equ)(fun)(SAT) 466| -. -. -. -. -. -.
% 228.58/228.48 (SAT)(equ)(fun)(SAT) 466+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 230.41/230.32 (SAT)(equ)(fun)(SAT) 468| -. -. -. -1 -. -.
% 231.01/230.89 (SAT)(equ)(fun)(SAT) 468| -. -. -. -. -. -.
% 231.56/231.49 (SAT)(equ)(fun)(SAT) 468+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 233.38/233.33 (SAT)(equ)(fun)(SAT) 470| -. -. -. -1 -. -.
% 233.97/233.87 (SAT)(equ)(fun)(SAT) 470| -. -. -. -. -. -.
% 234.52/234.42 (SAT)(equ)(fun)(SAT) 470+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 236.36/236.28 (SAT)(equ)(fun)(SAT) 472| -. -. -. -1 -. -.
% 236.98/236.86 (SAT)(equ)(fun)(SAT) 472| -. -. -. -. -. -.
% 237.57/237.46 (SAT)(equ)(fun)(SAT) 472+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 239.53/239.41 (SAT)(equ)(fun)(SAT) 474| -. -. -. -1 -. -.
% 240.07/239.95 (SAT)(equ)(fun)(SAT) 474| -. -. -. -. -. -.
% 240.61/240.52 (SAT)(equ)(fun)(SAT) 474+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 242.48/242.43 (SAT)(equ)(fun)(SAT) 476| -. -. -. -1 -. -.
% 243.00/242.94 (SAT)(equ)(fun)(SAT) 476| -. -. -. -. -. -.
% 244.22/244.10 (SAT)(equ)(fun)(SAT) 476+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 246.65/246.49 (SAT)(equ)(fun)(SAT) 478| -. -. -. -1 -. -.
% 247.15/246.95 (SAT)(equ)(fun)(SAT) 478| -. -. -. -. -. -.
% 247.74/247.56 (SAT)(equ)(fun)(SAT) 478+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 249.56/249.38 (SAT)(equ)(fun)(SAT) 480| -. -. -. -1 -. -.
% 250.12/249.91 (SAT)(equ)(fun)(SAT) 480| -. -. -. -. -. -.
% 250.67/250.51 (SAT)(equ)(fun)(SAT) 480+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 252.67/252.45 (SAT)(equ)(fun)(SAT) 482| -. -. -. -1 -. -.
% 253.18/253.00 (SAT)(equ)(fun)(SAT) 482| -. -. -. -. -. -.
% 253.78/253.56 (SAT)(equ)(fun)(SAT) 482+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 255.68/255.48 (SAT)(equ)(fun)(SAT) 484| -. -. -. -1 -. -.
% 256.27/256.09 (SAT)(equ)(fun)(SAT) 484| -. -. -. -. -. -.
% 256.93/256.71 (SAT)(equ)(fun)(SAT) 484+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 258.93/258.74 (SAT)(equ)(fun)(SAT) 486| -. -. -. -1 -. -.
% 259.48/259.29 (SAT)(equ)(fun)(SAT) 486| -. -. -. -. -. -.
% 262.43/262.19 (SAT)(equ)(fun)(SAT) 486+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 266.62/266.32 (SAT)(equ)(fun)(SAT) 488| -. -. -. -1 -. -.
% 267.32/266.96 (SAT)(equ)(fun)(SAT) 488| -. -. -. -. -. -.
% 268.25/267.90 (SAT)(equ)(fun)(SAT) 488+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 270.72/270.41 (SAT)(equ)(fun)(SAT) 490| -. -. -. -1 -. -.
% 271.24/270.90 (SAT)(equ)(fun)(SAT) 490| -. -. -. -. -. -.
% 271.84/271.53 (SAT)(equ)(fun)(SAT) 490+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 273.92/273.55 (SAT)(equ)(fun)(SAT) 492| -. -. -. -1 -. -.
% 274.44/274.10 (SAT)(equ)(fun)(SAT) 492| -. -. -. -. -. -.
% 275.04/274.70 (SAT)(equ)(fun)(SAT) 492+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 277.05/276.67 (SAT)(equ)(fun)(SAT) 494| -. -. -. -1 -. -.
% 277.57/277.18 (SAT)(equ)(fun)(SAT) 494| -. -. -. -. -. -.
% 278.17/277.79 (SAT)(equ)(fun)(SAT) 494+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 280.13/279.75 (SAT)(equ)(fun)(SAT) 496| -. -. -. -1 -. -.
% 280.70/280.35 (SAT)(equ)(fun)(SAT) 496| -. -. -. -. -. -.
% 281.35/280.96 (SAT)(equ)(fun)(SAT) 496+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 283.35/282.97 (SAT)(equ)(fun)(SAT) 498| -. -. -. -1 -. -.
% 283.94/283.55 (SAT)(equ)(fun)(SAT) 498| -. -. -. -. -. -.
% 284.52/284.16 (SAT)(equ)(fun)(SAT) 498+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 286.59/286.23 (SAT)(equ)(fun)(SAT) 500| -. -. -. -1 -. -.
% 287.18/286.80 (SAT)(equ)(fun)(SAT) 500| -. -. -. -. -. -.
% 287.83/287.44 (SAT)(equ)(fun)(SAT) 500+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 289.84/289.49 (SAT)(equ)(fun)(SAT) 502| -. -. -. -1 -. -.
% 290.44/290.06 (SAT)(equ)(fun)(SAT) 502| -. -. -. -. -. -.
% 291.07/290.69 (SAT)(equ)(fun)(SAT) 502+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 293.14/292.75 (SAT)(equ)(fun)(SAT) 504| -. -. -. -1 -. -.
% 293.75/293.35 (SAT)(equ)(fun)(SAT) 504| -. -. -. -. -. -.
% 294.37/294.01 (SAT)(equ)(fun)(SAT) 504+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 296.50/296.13 (SAT)(equ)(fun)(SAT) 506| -. -. -. -1 -. -.
% 297.09/296.72 (SAT)(equ)(fun)(SAT) 506| -. -. -. -. -. -.
% 297.78/297.42 (SAT)(equ)(fun)(SAT) 506+ -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 299.96/299.59 (SAT)(equ)(fun)(SAT) 508| -
%------------------------------------------------------------------------------