%------------------------------------------------------------------------------ % File : Equinox---6.0.1a % Problem : SWV422-1.100 : TPTP v8.1.0. Released v3.5.0. % Transfm : none % Format : tptp:short % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s % Computer : n014.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 : Wed Jul 20 17:59:10 EDT 2022 % Result : Unsatisfiable 88.97s 89.03s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.13 % Problem : SWV422-1.100 : TPTP v8.1.0. Released v3.5.0. % 0.03/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s % 0.13/0.35 % Computer : n014.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Tue Jun 14 19:01:36 EDT 2022 % 0.13/0.35 % CPUTime : % 0.13/0.35 Equinox, version 6.0.1alpha, 2011-12-07, pre-release. % 0.13/0.35 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p % 0.13/0.35 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK % 0.20/0.38 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p % 0.20/0.40 #elt|#instances % 0.20/0.40 (SAT)(equ)(fun)(SAT) 109| -123456789XLC -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. % 0.20/0.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -1 -. -. -. -. % 0.20/0.50 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. % 0.20/0.51 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -1 -1 -. -. -. -. -. -. -. % 0.47/0.64 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 0.51/0.68 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC -1 -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -1 -. -. -. -. -. % 0.60/0.81 (SAT)(equ)(fun)(SAT) 109| -123456789XLC -. -. -. -123456789XLC -1 -. -. -1 -. -. -. -. -. -123456789XLC -. -. -. -. -. -123456789XLC -1 -. -. -. -. -. % 0.81/1.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 0.98/1.15 (SAT)(equ)(fun)(SAT) 109| -. % 1.01/1.18 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. % 1.29/1.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 1.40/1.59 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 1.53/1.68 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 1.76/1.95 (SAT)(equ)(fun)(SAT) 109| -. -. -123456789X -. -. -. -123456789X -123456789X -. -123456789X -123456789X -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. % 1.96/2.12 (SAT)(equ)(fun)(SAT) 109| -. -1234567 -1 -123456789X -. -. -12 -. -1234 -1 -. -12 -. -12 -. -. -. -123 -1 -123456789X -123 -123456789X -. -. -. -. -. -. -. -. % 2.08/2.27 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -1 -. -. -. -1 -123 -1234 -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. % 2.20/2.39 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 2.28/2.51 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 2.44/2.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. % 2.44/2.65 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -1234567 -1234567 -. -. -123456789XL -1234 -1234 -123456 -. -12 -. -1 -1 -. -. -. -. -. -. -. -. -123456789XL -123456789X -. -. -123456789XL -123456789X -1 -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 2.74/2.93 (SAT)(equ)(fun)(SAT) 109| -. -123456789X -1234567 -1 -. -. -1234 -. -123 -. -1 -. -123 -1234 -123 -1 -123456789X -123456789XL -123456789X -123456789X -. -123456789X -123456789X -. -. -123456789 -. -1 -. -. -1234 -12 -123456789XL -123456789X -1234567 -123456 -123456789XL -123456789XL -12 -12 -12 -12345 -12345 -12 -12 -123 -. -. -. -. -1 -1 -. -1 -. -. -. -1 -1 -. -. -. -. % 2.99/3.18 (SAT)(equ)(fun)(SAT) 109| -. -123 -12345678 -123 -. -1 -123456789X -1234567 -123 -. -1234 -12 -1 -. -123456789X -12 -123456789 -123456789X -123456789X -123456789X -. -123456789X -123456789X -1 -12345 -12345678 -1 -. -. -. -1 -1 -12 -1234 -123456789X -12345678 -12345 -1234567 -123456789X -123456789X -123456789X -12345 -123456 -12345 -123 -123456 -. -. -. -. -123 -123 -1 -1 -. -. -. -1 -. -. % 3.21/3.43 (SAT)(equ)(fun)(SAT) 109| -. -12345 -123456789X -1234 -. -1 -123456789X -1234567 -1234 -1 -1234 -. -12 -1 -1 -1 -1234567 -123456 -123456789X -123456789X -12 -12345678 -123456789 -12 -12345678 -123456 -1234 -1 -. -. -. -. -1234 -1 -123 -123456 -123456789X -123456789X -1234567 -12345678 -123456789X -123456789X -123456789X -12 -123456789X -12345678 -1 -. -. -. -123456 -123456 -1234 -1 -1 -. % 3.51/3.68 (SAT)(equ)(fun)(SAT) 109| -. -123456789X -1234 -1234567 -. -1234 -123456789X -123456789X -12345 -12345 -1234 -1 -1234 -12 -123 -123 -12345 -1234567 -123456 -1234567 -. -123456 -123456789 -123456789 -1234 -123 -12345 -1234 -. -. -. -. -12 -1234 -12345 -123456789 -123 -12345 -123456789X -1234567 -123456789X -123456789X -123456789X -1234567 -1234 -123 -1234 -1 -. -. -12345678 -123456789 -123456789X -1 -. -. -. -. % 3.78/3.95 (SAT)(equ)(fun)(SAT) 109| -. -1234 -1234 -12345678 -. -123456789X -1234 -123456789X -1234567 -123456789X -1234 -1 -. -1 -123 -12345 -1 -12345 -123456 -1234 -12345 -123456789X -123456789X -1234567 -123 -1 -1234 -1234 -. -. -. -12 -1 -1 -1 -12 -123 -123 -1234 -123456 -123 -123456789X -123456789X -123456 -1 -. -1234567 -12345 -. -. -123456789X -123456789X -123456789X -123 -. % 4.01/4.23 (SAT)(equ)(fun)(SAT) 109| -. -123456 -123 -12345678 -. -123456 -1 -12 -123456789 -123456789X -1234 -. -1 -. -12 -123 -1 -123 -1234 -12345 -12345678 -123456789X -123456789X -123456 -123 -123 -1234567 -1 -. -. -1 -1 -1 -. -1 -12345 -12345 -1234 -123456789X -123456 -1234567 -123456789X -123456789X -123 -1 -12 -1234 -1 -. -. -123456789X -123456789X -1234 -12 -. % 4.32/4.51 (SAT)(equ)(fun)(SAT) 109| -. -1234 -. -12 -. -12345 -1 -123456789X -12345 -123456789X -1234 -. -12 -1 -1 -123 -123 -12345 -. -. -123456789 -12345678 -123456789X -12 -1 -1 -123456 -12345 -. -. -1 -. -1 -1 -. -12 -123 -12 -12345678 -12 -12 -123456789X -123456789 -1234 -123 -1 -123456 -123456789X -. -. -123456789X -123456789X -1 -1234 -. % 4.62/4.78 (SAT)(equ)(fun)(SAT) 109| -. -12345 -1 -12345 -. -1 -1234 -123 -123456789X -123456789 -. -. -12 -123 -. -123 -1 -12345 -12 -123 -12345678 -123456789X -123456789X -12 -. -1 -1234 -123 -. -. -1 -. -1 -123 -1 -1 -1 -1 -123 -12345 -12345 -123456789X -123456789X -123 -. -12 -1 -123456789X -. -. -123456789X -123456789X -. -12345 -. % 4.83/5.06 (SAT)(equ)(fun)(SAT) 109| -. -123 -. -1234 -. -123456789 -1 -12345 -123456789X -123456789 -123 -. -. -12 -12 -123 -1234 -12345 -1234567 -123 -123 -123456789X -123456789X -12345 -. -12 -1234 -1234 -. -. -12 -. -1 -. -. -12 -. -12345 -123 -12345 -123 -1234567 -1234567 -12 -1 -. -123456 -1234567 -. -. -123456789X -123456789X -123 -1 -. % 5.13/5.33 (SAT)(equ)(fun)(SAT) 109| -. -123456789 -1 -12 -. -1234 -1 -123 -12 -12345 -123 -. -12 -1 -123 -1234 -12 -123 -. -123 -12 -123456789X -123456789X -1234 -1 -12 -1234 -123 -. -. -1 -1 -1 -1 -1 -1 -1 -123 -12345 -12 -123 -123456789 -123456789X -1 -12 -. -123456789X -12345 -. -. -123456789X -123456789X -123456 -1234 -. % 5.44/5.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1234 -123 -123 -. -12345678 -123 -1234 -1234 -12345 -1 -. -12 -12 -1 -12345 -12345 -123 -12 -1 -123456 -123456 -1234567 -123 -. -123 -123 -123 -. -. -1 -1 -12 -. -1 -123 -. -123 -1 -1234567 -123456 -1234567 -12345678 -1234 -1 -12 -12 -1234 -. -. -123456789 -123456789 -1234 -1234567 -. % 5.69/5.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -123 -1234 -12345 -. -12345 -1 -1234 -1 -12 -12 -. -. -123 -. -12 -12345 -1 -123 -1 -1 -1234567 -12345678 -12345 -12 -1 -123 -1234 -. -. -123 -. -. -. -12 -1 -12 -. -1 -12 -123 -12345678 -123456789 -1 -12 -123 -123 -12 -. -. -1234567 -123456 -12345 -12 -. % 5.91/6.14 (SAT)(equ)(fun)(SAT) 109| -. -1234567 -12 -1234 -. -1234567 -12 -1234 -123 -1234567 -123 -. -12 -1 -1 -12345678 -12 -1 -123456 -1234 -12 -123 -123 -12345 -1 -1 -12 -123456 -. -. -1 -. -1234 -12 -. -1 -12 -. -12 -1234 -123 -12345678 -123456789X -12345 -1 -12 -123 -12 -. -. -123456 -1234 -12 -1234 -. % 6.21/6.39 (SAT)(equ)(fun)(SAT) 109| -. -1 -123 -12345 -. -1234 -1 -12 -. -1234 -1 -. -1 -1 -. -1234 -. -12 -12 -12 -12345 -12345 -12345678 -12345 -. -. -123 -123456 -. -. -123 -1 -12 -. -1 -12 -1 -1234 -1 -12 -1 -123 -123456 -123 -. -1 -12345 -123456 -. -. -12345 -12345 -12 -123 -. % 6.45/6.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1234 -12 -12 -. -12345678 -1234 -123 -12 -12 -123 -. -1 -. -12 -123 -12 -. -1 -1 -123 -123456789X -123456789X -1 -123 -123 -123 -123 -. -. -1 -. -1 -1 -1 -1 -1 -12 -1 -12 -12 -1234567 -12345678 -12 -12 -1234 -123 -123 -. -. -1234567 -1234567 -12 -1234 -. % 6.70/6.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1 -123 -1234 -. -12345 -1 -. -12 -1 -12 -. -1 -1 -. -123 -1 -12 -123 -. -1234 -1234567 -12345678 -12345 -1 -1 -1234567 -1234567 -. -. -1 -. -12 -1 -. -. -. -12 -12 -1 -. -123456789X -123456789X -. -12 -12 -123 -1234 -. -. -123 -123 -123 -1 -. % 7.00/7.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -12 -1 -12345 -. -12 -123 -1 -123 -. -1 -. -1 -1 -. -1 -1 -12 -12 -. -123 -12345678 -1234567 -123 -. -1234 -. -1234 -. -. -12 -. -12 -. -. -123 -123 -12 -1 -12 -12 -1234567 -1234567 -1 -. -123 -12 -12345 -. -. -123 -123 -1234 -. -. % 7.22/7.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -123 -123 -. -123 -. -1234 -. -12 -12 -. -1 -12345 -. -12345 -1 -12 -. -. -1234 -1234567 -12345678 -12345 -1 -1 -12 -123 -. -. -1234 -. -12 -12 -. -1 -. -12 -. -1 -1 -123456789X -123456789X -1 -1 -123 -123456 -1234 -. -. -12 -1 -1234 -12 -. % 7.52/7.69 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. -. -12 -1234 -1 -1 -1 -12 -. -1 -. -1 -123 -1 -. -1 -12 -123 -1234567 -1234567 -12 -. -. -12345 -12 -. -. -1 -. -1 -. -. -123 -1 -123 -123 -. -. -123 -1234 -1234 -. -. -123 -123 -. -. -1234 -1234 -1234 -123 -. % 7.78/7.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -123 -. -1 -12 -. -. -123 -. -. -1 -. -. -. -. -. -. -1 -. -1234567 -1234567 -12 -1 -. -1234 -123456 -. -. -. -. -12 -. -. -1 -. -12 -123 -1 -. -12345 -1234 -1 -1 -. -12 -1 -. -. -1 -123 -1234 -1234 -. % 8.03/8.19 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -1 -1 -123 -123 -. -1 -. -. -. -12 -1 -1 -. -. -1 -. -12345 -123456 -123 -. -12 -. -1 -. -. -12345 -. -1 -. -. -1 -1 -. -1 -. -1 -1 -123 -123 -1 -1 -123 -. -. -. -12 -123 -. -12 -. % 8.21/8.42 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -. -123 -1 -. -12 -1 -. -123 -12 -12 -. -1 -1234 -1 -. -. -. -. -12 -. -. -12 -. -. -12 -1 -. -123456 -123456 -12 -. -. -12 -. -. -. -. -. -. -123 -. % 8.48/8.66 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -12 -1234 -1 -. -1 -. -. -1 -1 -. -. -1 -. -1 -1 -12 -123 -123 -. -. -12 -1234 -. -. -. -. -. -12 -. -. -1 -1 -. -. -. -. -123456789 -123456789 -1 -. -. -1 -. -. -. -. -. -12 -12345 -. % 8.68/8.91 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1234 -. -. -. -. -1 -12 -12 -12 -. -. -12 -123 -. -. -. -. -1 -. -. -12 -. -1 -. -. -1 -12345 -12345 -1 -. -. -1 -1 -. -. -1 -1 -. -. -. % 8.97/9.14 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1 -. -1 -. -. -1 -. -12 -. -. -. -. -12 -. -123 -1 -. -1 -1 -123 -12 -12 -1 -. -. -. -12 -. -. -. -. -1 -. -. -12 -. -. -. -1 -1 -1 -12 -12 -. -. -12345 -1 -. -. -12 -123 -. -1 -. % 9.21/9.38 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -12 -1 -12 -. -. -123 -12 -12 -1 -. -. -12 -12 -. -. -1 -. -. -1 -. -1234 -. -. -. -12 -1 -1234 -1234 -. -. -. -123 -1 -. -. -. -. -123 -1 -. % 9.44/9.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -12 -1 -. -. -12 -1 -. -. -1 -. -1 -1 -1 -. -. -. -1234 -1234 -1234 -. -. -12 -. -. -. -. -. -12 -1 -. -. -. -. -. -. -1 -123 -1234 -. -. -. -123 -1 -. -. -. -1 -1 -1 -. % 9.70/9.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -12 -. -. -1 -1 -. -. -. -. -. -. -12 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -12 -12 -. -. -. -1 -. -. -. -. -. -1 -12345 -. % 9.91/10.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. % 10.12/10.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 10.34/10.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -12 -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 10.52/10.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. % 10.72/10.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -12 -12 -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -12 -12 -1 -. -. -1 -. -. -. -. -. -. -12 -. % 10.98/11.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. % 11.18/11.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. % 11.39/11.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -1 -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. % 11.60/11.75 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 11.78/11.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 11.93/12.08 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -. -123456 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 12.13/12.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -1 -. -. -. -. % 12.38/12.57 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 12.58/12.79 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 12.82/13.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. % 13.05/13.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 13.15/13.31 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 13.42/13.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. % 13.48/13.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 13.48/13.66 (SAT)(equ)(fun)(SAT) 109| -1 -. % 13.53/13.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 13.53/13.69 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 13.78/13.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 13.82/13.98 (SAT)(equ)(fun)(SAT) 109| -1 -. % 13.82/13.99 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 13.82/14.02 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 14.12/14.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 14.12/14.30 (SAT)(equ)(fun)(SAT) 109| -1 -. % 14.12/14.31 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 14.19/14.33 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 14.42/14.59 (SAT)(equ)(fun)(SAT) 109| -. % 14.42/14.61 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 14.71/14.87 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 14.71/14.89 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 14.77/14.92 (SAT)(equ)(fun)(SAT) 109| -1 -. % 14.77/14.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 14.77/14.96 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 15.01/15.22 (SAT)(equ)(fun)(SAT) 109| -. % 15.09/15.24 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 15.29/15.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 15.37/15.53 (SAT)(equ)(fun)(SAT) 109| -1 -. % 15.37/15.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 15.37/15.57 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 15.60/15.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 15.69/15.85 (SAT)(equ)(fun)(SAT) 109| -1 -. % 15.69/15.86 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 15.69/15.89 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 15.99/16.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 15.99/16.17 (SAT)(equ)(fun)(SAT) 109| -1 -. % 15.99/16.19 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 16.06/16.21 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 16.31/16.47 (SAT)(equ)(fun)(SAT) 109| -. % 16.31/16.49 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 16.61/16.75 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 16.61/16.77 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 16.66/16.80 (SAT)(equ)(fun)(SAT) 109| -1 -. % 16.66/16.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 16.66/16.84 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 16.94/17.10 (SAT)(equ)(fun)(SAT) 109| -. % 16.94/17.12 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 17.21/17.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 17.24/17.41 (SAT)(equ)(fun)(SAT) 109| -1 -. % 17.24/17.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 17.24/17.44 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 17.53/17.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 17.53/17.73 (SAT)(equ)(fun)(SAT) 109| -1 -. % 17.59/17.75 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 17.63/17.77 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 17.84/18.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 17.91/18.05 (SAT)(equ)(fun)(SAT) 109| -1 -. % 17.91/18.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 17.94/18.09 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 18.22/18.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 18.22/18.37 (SAT)(equ)(fun)(SAT) 109| -1 -. % 18.25/18.39 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 18.25/18.41 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 18.54/18.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 18.55/18.69 (SAT)(equ)(fun)(SAT) 109| -1 -. % 18.58/18.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 18.59/18.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 18.59/18.75 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 18.88/19.01 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 18.88/19.04 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 18.91/19.06 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 18.91/19.08 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 19.14/19.33 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 19.14/19.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 19.23/19.38 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 19.44/19.64 (SAT)(equ)(fun)(SAT) 109| -. % 19.44/19.66 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 19.72/19.92 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 19.72/19.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 19.82/19.97 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 20.02/20.23 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 20.02/20.25 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 20.13/20.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. % 20.13/20.30 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 20.18/20.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 20.18/20.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 20.22/20.37 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 20.48/20.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 20.52/20.66 (SAT)(equ)(fun)(SAT) 109| -1 -. % 20.52/20.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 20.52/20.70 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 20.79/20.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 20.82/20.98 (SAT)(equ)(fun)(SAT) 109| -1 -. % 20.82/21.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 20.82/21.02 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 21.12/21.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 21.12/21.30 (SAT)(equ)(fun)(SAT) 109| -1 -. % 21.12/21.32 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 21.19/21.34 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 21.40/21.60 (SAT)(equ)(fun)(SAT) 109| -. % 21.48/21.62 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 21.71/21.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 21.71/21.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 21.80/21.93 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 21.99/22.19 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 22.08/22.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 22.08/22.24 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 22.08/22.26 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 22.08/22.28 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 22.40/22.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 22.40/22.57 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 22.40/22.59 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 22.47/22.61 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 22.69/22.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 22.77/22.90 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 22.77/22.92 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 23.02/23.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 23.08/23.21 (SAT)(equ)(fun)(SAT) 109| -1 -. % 23.08/23.23 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 23.08/23.25 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 23.13/23.27 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 23.38/23.52 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 23.38/23.55 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 23.43/23.56 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 23.43/23.59 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 23.72/23.85 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 23.72/23.87 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 23.93/24.13 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 24.02/24.15 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 24.02/24.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 24.06/24.20 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 24.06/24.22 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 24.34/24.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 24.34/24.51 (SAT)(equ)(fun)(SAT) 109| -1 -. % 24.34/24.53 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 24.41/24.55 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 24.65/24.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 24.65/24.85 (SAT)(equ)(fun)(SAT) 109| -1 -. % 24.72/24.87 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 24.75/24.89 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 24.94/25.15 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 25.02/25.17 (SAT)(equ)(fun)(SAT) 109| -1 -. % 25.05/25.19 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 25.05/25.21 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 25.34/25.47 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 25.35/25.50 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 25.38/25.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 25.39/25.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 25.39/25.57 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 25.69/25.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 25.71/25.86 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 25.71/25.88 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 25.95/26.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 26.04/26.17 (SAT)(equ)(fun)(SAT) 109| -1 -. % 26.04/26.19 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 26.07/26.21 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 26.34/26.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 26.34/26.50 (SAT)(equ)(fun)(SAT) 109| -1 -. % 26.38/26.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 26.38/26.54 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 26.67/26.80 (SAT)(equ)(fun)(SAT) 109| -. % 26.67/26.82 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 26.93/27.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 26.98/27.12 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 26.98/27.14 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 27.22/27.40 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 27.29/27.43 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 27.29/27.45 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 27.55/27.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 27.61/27.74 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 27.64/27.76 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 27.85/28.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 27.91/28.05 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 27.94/28.07 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 28.20/28.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 28.22/28.36 (SAT)(equ)(fun)(SAT) 109| -1 -. % 28.22/28.38 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 28.22/28.40 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 28.52/28.67 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 28.52/28.70 (SAT)(equ)(fun)(SAT) 109| -1 -. % 28.52/28.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 28.60/28.74 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 28.80/29.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 28.89/29.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 28.89/29.04 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 29.11/29.31 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 29.20/29.34 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 29.20/29.36 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 29.50/29.62 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 29.50/29.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -1 -. -. -. -. % 29.50/29.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 29.58/29.71 (SAT)(equ)(fun)(SAT) 109| -1 -. % 29.58/29.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 29.58/29.75 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 29.88/30.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 29.88/30.04 (SAT)(equ)(fun)(SAT) 109| -1 -. % 29.93/30.06 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 29.93/30.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 29.93/30.10 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 30.23/30.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 30.23/30.39 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 30.23/30.41 (SAT)(equ)(fun)(SAT) 109| -1 -. % 30.23/30.43 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 30.23/30.46 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 30.57/30.72 (SAT)(equ)(fun)(SAT) 109| -. % 30.62/30.74 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 30.87/31.01 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 30.87/31.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 30.94/31.06 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 31.15/31.32 (SAT)(equ)(fun)(SAT) 109| -. % 31.22/31.35 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 31.47/31.61 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 31.47/31.64 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 31.54/31.66 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 31.75/31.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 31.84/31.96 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 32.07/32.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 32.07/32.25 (SAT)(equ)(fun)(SAT) 109| -1 -. % 32.15/32.27 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 32.17/32.29 (SAT)(equ)(fun)(SAT) 109| -1 -. % 32.19/32.31 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 32.21/32.34 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 32.21/32.36 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 32.49/32.62 (SAT)(equ)(fun)(SAT) 109| -. % 32.52/32.64 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 32.75/32.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 32.75/32.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 32.75/32.96 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 33.05/33.23 (SAT)(equ)(fun)(SAT) 109| -. % 33.05/33.25 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 33.34/33.51 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 33.34/33.54 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 33.43/33.56 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 33.43/33.59 (SAT)(equ)(fun)(SAT) 109| -1 -. % 33.47/33.61 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 33.47/33.63 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 33.75/33.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 33.79/33.93 (SAT)(equ)(fun)(SAT) 109| -1 -. % 33.79/33.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 33.84/33.97 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 34.09/34.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 34.14/34.26 (SAT)(equ)(fun)(SAT) 109| -1 -. % 34.14/34.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 34.14/34.30 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 34.44/34.57 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 34.44/34.60 (SAT)(equ)(fun)(SAT) 109| -1 -. % 34.44/34.61 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 34.52/34.64 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 34.75/34.90 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 34.75/34.92 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 34.82/34.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 34.87/34.98 (SAT)(equ)(fun)(SAT) 109| -1 -. % 34.87/35.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 34.87/35.03 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 35.16/35.29 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 35.16/35.31 (SAT)(equ)(fun)(SAT) 109| -1 -. % 35.16/35.33 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 35.16/35.35 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 35.47/35.61 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 35.47/35.64 (SAT)(equ)(fun)(SAT) 109| -1 -. % 35.47/35.66 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 35.56/35.68 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 35.77/35.94 (SAT)(equ)(fun)(SAT) 109| -. % 35.77/35.96 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 36.09/36.22 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 36.09/36.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 36.09/36.27 (SAT)(equ)(fun)(SAT) 109| -1 -. % 36.16/36.29 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 36.16/36.31 (SAT)(equ)(fun)(SAT) 109| -1 -. % 36.16/36.33 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 36.16/36.35 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 36.46/36.60 (SAT)(equ)(fun)(SAT) 109| -. % 36.46/36.62 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 36.75/36.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 36.75/36.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 36.75/36.93 (SAT)(equ)(fun)(SAT) 109| -1 -. % 36.84/36.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 36.84/36.97 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 36.88/36.99 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 37.05/37.25 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 37.16/37.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 37.16/37.30 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 37.44/37.55 (SAT)(equ)(fun)(SAT) 109| -. % 37.44/37.58 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 37.68/37.84 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 37.74/37.86 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 37.76/37.89 (SAT)(equ)(fun)(SAT) 109| -1 -. % 37.76/37.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 37.82/37.93 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 38.06/38.19 (SAT)(equ)(fun)(SAT) 109| -. % 38.06/38.21 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 38.34/38.47 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 38.37/38.50 (SAT)(equ)(fun)(SAT) 109| -1 -. % 38.37/38.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 38.43/38.54 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 38.67/38.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 38.71/38.82 (SAT)(equ)(fun)(SAT) 109| -1 -. % 38.73/38.84 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 38.73/38.86 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 39.02/39.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 39.02/39.15 (SAT)(equ)(fun)(SAT) 109| -1 -. % 39.02/39.17 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 39.02/39.19 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 39.33/39.46 (SAT)(equ)(fun)(SAT) 109| -. % 39.33/39.48 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 39.57/39.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 39.57/39.76 (SAT)(equ)(fun)(SAT) 109| -1 -. % 39.66/39.78 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 39.69/39.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 39.72/39.83 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 39.96/40.09 (SAT)(equ)(fun)(SAT) 109| -. % 40.00/40.11 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 40.24/40.37 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 40.29/40.39 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 40.29/40.42 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 40.33/40.44 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 40.33/40.47 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 40.60/40.73 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 40.65/40.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 40.65/40.78 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 40.90/41.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 40.94/41.06 (SAT)(equ)(fun)(SAT) 109| -1 -. % 40.94/41.08 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 40.94/41.10 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 40.94/41.12 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 41.24/41.38 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 41.24/41.41 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 41.32/41.43 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 41.55/41.69 (SAT)(equ)(fun)(SAT) 109| -. % 41.55/41.72 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 41.83/41.98 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 41.91/42.01 (SAT)(equ)(fun)(SAT) 109| -1 -. % 41.91/42.03 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 41.91/42.05 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 42.13/42.31 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 42.22/42.34 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 42.22/42.36 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 42.50/42.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 42.50/42.65 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 42.50/42.67 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 42.82/42.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 42.82/42.96 (SAT)(equ)(fun)(SAT) 109| -1 -. % 42.82/42.98 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 42.82/43.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 42.89/43.02 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 43.12/43.28 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 43.19/43.31 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 43.19/43.33 (SAT)(equ)(fun)(SAT) 109| -1 -. % 43.19/43.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 43.26/43.37 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 43.49/43.64 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 43.55/43.67 (SAT)(equ)(fun)(SAT) 109| -. % 43.55/43.69 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 43.79/43.95 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 43.85/43.98 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 43.85/44.00 (SAT)(equ)(fun)(SAT) 109| -1 -. % 43.85/44.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 43.85/44.05 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 44.19/44.32 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 44.24/44.35 (SAT)(equ)(fun)(SAT) 109| -1 -. % 44.25/44.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 44.25/44.39 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 44.55/44.65 (SAT)(equ)(fun)(SAT) 109| -. % 44.57/44.68 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 44.84/44.94 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 44.84/44.97 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 44.87/44.99 (SAT)(equ)(fun)(SAT) 109| -1 -. % 44.87/45.01 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 44.93/45.04 (SAT)(equ)(fun)(SAT) 109| -1 -. % 44.95/45.06 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 44.95/45.08 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 45.24/45.34 (SAT)(equ)(fun)(SAT) 109| -. % 45.24/45.37 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 45.52/45.63 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 45.54/45.66 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 45.54/45.69 (SAT)(equ)(fun)(SAT) 109| -1 -. % 45.54/45.71 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 45.62/45.73 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 45.82/46.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 45.91/46.03 (SAT)(equ)(fun)(SAT) 109| -1 -. % 45.91/46.05 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 45.91/46.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 45.98/46.09 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 46.22/46.36 (SAT)(equ)(fun)(SAT) 109| -. % 46.22/46.38 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 46.52/46.65 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 46.52/46.68 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 46.60/46.70 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 46.84/46.97 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 46.84/46.99 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 46.90/47.02 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 47.15/47.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 47.21/47.31 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 47.21/47.33 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 47.26/47.36 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 47.46/47.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 47.55/47.65 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 47.76/47.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 47.85/47.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 47.85/47.97 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 48.13/48.23 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 48.13/48.26 (SAT)(equ)(fun)(SAT) 109| -1 -. % 48.17/48.28 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 48.17/48.30 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 48.17/48.33 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 48.49/48.59 (SAT)(equ)(fun)(SAT) 109| -. % 48.49/48.62 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 48.77/48.89 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 48.77/48.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 48.77/48.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 48.86/48.97 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 48.89/48.99 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 49.08/49.25 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 49.17/49.28 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 49.19/49.30 (SAT)(equ)(fun)(SAT) 109| -1 -. % 49.22/49.32 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 49.22/49.35 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 49.51/49.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 49.53/49.64 (SAT)(equ)(fun)(SAT) 109| -1 -. % 49.53/49.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 49.53/49.69 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 49.78/49.96 (SAT)(equ)(fun)(SAT) 109| -. % 49.88/49.98 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 50.08/50.25 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 50.18/50.27 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 50.18/50.30 (SAT)(equ)(fun)(SAT) 109| -1 -. % 50.22/50.32 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 50.25/50.35 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 50.50/50.62 (SAT)(equ)(fun)(SAT) 109| -. % 50.55/50.65 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 50.82/50.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 50.82/50.95 (SAT)(equ)(fun)(SAT) 109| -1 -. % 50.86/50.97 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 50.86/50.99 (SAT)(equ)(fun)(SAT) 109| -1 -. % 50.86/51.01 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 50.86/51.04 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 51.16/51.30 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 51.16/51.33 (SAT)(equ)(fun)(SAT) 109| -1 -. % 51.25/51.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 51.25/51.38 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 51.53/51.64 (SAT)(equ)(fun)(SAT) 109| -. % 51.57/51.67 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 51.83/51.93 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 51.83/51.96 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 51.83/51.98 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 51.89/52.01 (SAT)(equ)(fun)(SAT) 109| -1 -. % 51.89/52.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 51.96/52.06 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 52.17/52.33 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 52.26/52.36 (SAT)(equ)(fun)(SAT) 109| -1 -. % 52.26/52.38 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 52.29/52.40 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 52.50/52.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 52.60/52.70 (SAT)(equ)(fun)(SAT) 109| -1 -. % 52.63/52.72 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 52.63/52.74 (SAT)(equ)(fun)(SAT) 109| -1 -. % 52.63/52.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 52.63/52.79 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 52.94/53.06 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. % 52.94/53.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 52.94/53.11 (SAT)(equ)(fun)(SAT) 109| -1 -. % 53.03/53.14 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 53.03/53.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 53.03/53.18 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 53.33/53.45 (SAT)(equ)(fun)(SAT) 109| -. % 53.33/53.47 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 53.65/53.74 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 53.66/53.77 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. % 53.72/53.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 53.72/53.83 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. % 53.77/53.86 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 53.77/53.89 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 54.07/54.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 54.07/54.19 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 54.07/54.21 (SAT)(equ)(fun)(SAT) 109| -1 -. % 54.07/54.24 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 54.07/54.26 (SAT)(equ)(fun)(SAT) 109| -1 -. % 54.18/54.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 54.22/54.31 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 54.46/54.57 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 54.46/54.60 (SAT)(equ)(fun)(SAT) 109| -. % 54.52/54.63 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 54.78/54.89 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. % 54.78/54.92 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 -. -. % 54.86/54.96 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -1 -. -. -. -1 -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. % 54.98/55.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. % 55.16/55.26 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. % 55.23/55.37 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -1 -1 -. % 55.29/55.43 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. % 55.36/55.48 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. % 55.52/55.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 55.58/55.75 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 55.90/56.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -1 -1 -. % 56.03/56.12 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 % 56.12/56.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -1 -. -12 -. -. -. -. -. % 56.20/56.35 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. % 56.35/56.45 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -1 -. -. -. -. -. -. % 56.35/56.51 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -1 -1 % 56.52/56.61 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. % 56.59/56.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 56.74/56.85 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. % 56.82/56.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 % 56.89/57.05 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. % 57.06/57.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 57.17/57.28 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. % 57.26/57.38 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 57.35/57.50 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. % 57.47/57.60 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 57.62/57.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 57.67/57.83 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 57.85/57.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 57.97/58.06 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 58.06/58.17 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 58.34/58.44 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 % 58.39/58.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 58.49/58.60 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 58.57/58.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 58.70/58.84 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 58.86/58.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 58.99/59.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 59.10/59.19 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 59.16/59.31 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 % 59.24/59.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 59.39/59.47 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 59.44/59.60 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 59.60/59.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 59.75/59.84 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 59.84/59.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 59.99/60.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.11/60.19 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.22/60.31 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.29/60.43 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.46/60.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.57/60.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.71/60.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.82/60.92 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.87/61.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.07/61.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.16/61.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.28/61.40 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.38/61.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.51/61.64 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.67/61.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.79/61.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.89/62.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.97/62.12 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.10/62.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.26/62.37 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.39/62.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.50/62.61 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.64/62.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. % 62.70/62.86 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. % 62.84/62.98 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 63.00/63.10 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 63.13/63.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. % 63.24/63.34 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -1 -1 -. -1 -. % 63.32/63.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 63.39/63.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. % 63.54/63.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -. -. -. -. -. % 63.62/63.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 63.69/63.85 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 % 63.86/63.97 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 63.98/64.09 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 64.28/64.37 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 % 64.28/64.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 64.43/64.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 64.56/64.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 64.68/64.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 64.78/64.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 64.91/65.05 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. % 65.08/65.18 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. % 65.20/65.30 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 65.35/65.43 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 65.45/65.56 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 65.61/65.69 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 65.73/65.82 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 65.79/65.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 65.96/66.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 66.11/66.21 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -1 -1 -1 % 66.21/66.30 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 66.33/66.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 66.41/66.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 66.56/66.68 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. % 66.73/66.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -. % 66.80/66.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 66.95/67.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. % 67.10/67.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -1 -1 -. -1 -. % 67.20/67.29 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 67.33/67.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 67.39/67.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 67.57/67.68 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 67.69/67.82 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 67.88/67.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 67.97/68.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 68.14/68.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 68.27/68.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 68.40/68.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 68.48/68.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 68.67/68.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 68.78/68.90 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 68.91/69.03 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.06/69.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.20/69.29 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.31/69.41 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.45/69.54 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.51/69.66 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.64/69.79 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.81/69.92 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 69.96/70.05 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 70.05/70.18 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 70.21/70.31 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 70.36/70.44 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. % 70.43/70.57 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. % 70.63/70.70 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 70.73/70.83 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 70.89/70.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. % 70.97/71.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. % 71.09/71.23 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. % 71.28/71.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 71.41/71.50 (SAT)(equ)(fun)(SAT) 109| -. % 71.41/71.53 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 71.72/71.82 (SAT)(equ)(fun)(SAT) 109| -. % 71.72/71.85 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 72.00/72.13 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.07/72.16 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.10/72.18 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.10/72.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.15/72.22 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.18/72.25 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.18/72.27 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.18/72.30 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.18/72.32 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.25/72.35 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.25/72.37 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.31/72.39 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.31/72.42 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.31/72.44 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.39/72.47 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.42/72.49 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.42/72.51 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.46/72.54 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.46/72.56 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.46/72.59 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.53/72.61 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.53/72.63 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.53/72.65 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.60/72.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.60/72.70 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.60/72.73 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.60/72.75 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.70/72.77 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.72/72.80 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.72/72.82 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.77/72.85 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.77/72.87 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.77/72.89 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.85/72.92 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.85/72.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.85/72.97 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.92/72.99 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.92/73.02 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.92/73.04 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 72.92/73.07 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.02/73.09 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.05/73.12 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.05/73.14 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.05/73.17 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.05/73.19 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.14/73.22 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.14/73.24 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.14/73.26 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.22/73.29 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.22/73.31 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.22/73.33 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.22/73.36 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.31/73.39 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.34/73.41 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.36/73.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.36/73.46 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.36/73.48 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.36/73.51 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.46/73.53 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.46/73.56 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.46/73.58 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.54/73.61 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.54/73.63 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.54/73.66 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.61/73.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.61/73.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.61/73.73 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.61/73.76 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.71/73.78 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.73/73.81 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.76/73.83 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.76/73.86 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.76/73.88 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.84/73.91 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.84/73.93 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.84/73.96 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.91/73.98 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.91/74.01 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.91/74.03 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 73.91/74.06 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.01/74.08 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.04/74.11 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.07/74.13 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.07/74.16 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.07/74.18 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.14/74.21 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.14/74.23 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.14/74.26 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.20/74.28 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.20/74.31 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.20/74.33 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. % 74.29/74.36 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 74.49/74.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -1 -. -. % 74.60/74.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.60/74.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.64/74.73 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.68/74.75 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.68/74.78 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.68/74.80 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.68/74.83 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.77/74.85 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.77/74.88 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.82/74.90 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.82/74.93 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.88/74.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.89/74.98 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.89/75.00 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.94/75.03 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.98/75.05 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.98/75.08 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.98/75.10 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.98/75.13 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.07/75.15 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.07/75.18 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.12/75.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.12/75.23 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.12/75.25 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.20/75.28 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.20/75.30 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.26/75.33 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.28/75.35 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.28/75.38 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.28/75.40 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.35/75.42 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.35/75.45 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.40/75.47 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 75.40/75.50 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 75.71/75.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. % 75.71/75.83 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.71/75.85 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.79/75.88 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.82/75.90 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.85/75.93 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.86/75.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.86/75.98 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.86/76.00 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.94/76.03 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 75.94/76.05 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.01/76.07 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.01/76.10 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.01/76.12 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.01/76.15 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.10/76.17 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.13/76.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.16/76.22 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.17/76.25 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.17/76.28 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.17/76.30 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.26/76.33 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.26/76.35 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.26/76.38 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.33/76.41 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.33/76.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.33/76.46 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.42/76.48 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.43/76.51 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.46/76.53 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.46/76.56 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.46/76.58 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.55/76.61 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.55/76.63 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.55/76.66 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.55/76.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.63/76.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.63/76.73 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.63/76.76 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.72/76.79 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.75/76.81 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.77/76.84 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.77/76.87 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.77/76.89 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.77/76.92 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.86/76.94 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.86/76.97 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.86/77.00 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.94/77.02 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.94/77.05 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 76.94/77.07 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.02/77.10 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.02/77.13 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.02/77.15 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.11/77.18 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.13/77.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.16/77.23 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.16/77.25 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 77.16/77.28 (SAT)(equ)(fun)(SAT) 109| -. -. -1 % 77.24/77.30 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. % 77.32/77.45 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 77.48/77.58 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 77.60/77.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 77.78/77.84 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 77.90/77.97 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 78.00/78.10 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 78.08/78.24 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 78.29/78.37 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 78.38/78.50 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 78.52/78.64 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 78.69/78.77 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 78.81/78.90 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 78.96/79.03 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 79.06/79.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 79.22/79.30 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 79.34/79.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 79.49/79.57 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 79.57/79.70 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 79.72/79.83 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 79.86/79.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 80.03/80.10 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 80.17/80.23 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 80.27/80.37 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 80.42/80.50 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 80.56/80.64 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 80.64/80.77 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. % 80.72/80.86 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 80.88/81.00 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 81.00/81.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 81.18/81.26 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 81.30/81.40 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 81.45/81.53 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 81.58/81.67 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 81.69/81.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 81.79/81.94 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 82.01/82.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 82.09/82.21 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 82.29/82.35 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 82.40/82.48 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 82.53/82.61 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 82.68/82.75 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 82.82/82.89 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 82.93/83.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 83.07/83.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 83.23/83.29 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 83.35/83.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 83.43/83.56 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 83.58/83.69 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 83.75/83.83 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 83.82/83.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 83.97/84.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 84.12/84.23 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 84.28/84.36 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 84.41/84.50 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 84.58/84.63 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 84.71/84.77 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 84.85/84.91 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 84.99/85.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 85.10/85.17 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 85.19/85.31 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 85.33/85.44 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 85.49/85.58 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 85.61/85.71 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 % 85.71/85.79 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 85.87/85.92 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 86.00/86.06 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 86.08/86.19 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 86.21/86.33 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 86.38/86.46 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 86.53/86.60 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 86.66/86.73 (SAT)(equ)(fun)(SAT) 109| -. % 86.66/86.76 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 86.98/87.05 (SAT)(equ)(fun)(SAT) 109| -. % 86.98/87.08 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 87.32/87.38 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 87.34/87.41 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 87.37/87.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 87.37/87.46 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 87.37/87.48 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 87.45/87.51 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 87.45/87.54 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. % 87.62/87.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 87.75/87.82 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 87.81/87.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 87.99/88.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 88.11/88.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 88.30/88.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 88.44/88.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -1 % 88.50/88.55 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 88.60/88.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 % 88.74/88.82 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 88.97/89.03 (SAT)+++ RESULT: Unsatisfiable % 88.97/89.03 SZS status Unsatisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p %------------------------------------------------------------------------------