%------------------------------------------------------------------------------ % File : Equinox---6.0.1a % Problem : SWV421-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 : n022.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:07 EDT 2022 % Result : Unsatisfiable 79.19s 79.27s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWV421-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 : n022.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 : Thu Jun 16 03:27:47 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/sandbox2/benchmark/theBenchmark.p % 0.13/0.35 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 0.20/0.38 +++ SOLVING: /export/starexec/sandbox2/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.50 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -1 -. -. -. -. % 0.20/0.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. % 0.20/0.52 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -1 -1 -. -. -. -. -. -. -. % 0.56/0.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 0.56/0.76 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC -1 -. -. -. -. -. -. -. -. -. -123456789XLC -. -. -. -. -. -. -. -1 -. -. -. -. -. % 0.71/0.90 (SAT)(equ)(fun)(SAT) 109| -123456789XLC -1 -. -. -123456789XLC -. -. -. -. -. -. -. -. -. -123456789XLC -1 -. -. -. -. -123456789XLC -. -. -. -. -. -. % 0.92/1.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 1.07/1.25 (SAT)(equ)(fun)(SAT) 109| -. % 1.07/1.28 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. % 1.38/1.55 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 1.53/1.70 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 1.62/1.79 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789X -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 1.83/2.06 (SAT)(equ)(fun)(SAT) 109| -. -. -123456789X -. -. -. -123456789X -123456789X -. -123456789X -123456789X -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. % 2.07/2.23 (SAT)(equ)(fun)(SAT) 109| -. -12345678 -. -123456789X -. -. -12 -. -123 -12 -. -12 -. -123 -. -. -. -1 -. -123456789X -123 -123456789X -. -. -. -. -. -. -. -. % 2.15/2.36 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -. -. -1 -1 -1 -12 -. -. -. -1 -. -. -. -12 -1 -1234 -. -1 -. -. -. -. % 2.31/2.48 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. % 2.45/2.60 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. % 2.52/2.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 2.68/2.84 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 2.74/2.94 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -12345678 -12345678 -. -. -123456789XL -123456789 -12 -1234 -1234567 -123456 -. -1234 -1234 -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -123456789XL -123456789X -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 3.05/3.21 (SAT)(equ)(fun)(SAT) 109| -. -123456 -123456789X -123 -. -1 -123456789X -1234567 -. -. -12 -1 -12345678 -12345 -123456 -1 -123456789X -123456789X -1234 -12345 -. -123456789X -123456789X -123 -123 -123456789X -. -. -. -. -1 -1 -123456789X -12345 -1234567 -123456 -123 -123 -123 -123 -123 -123456 -1 -. -. -. -. -. -12345 -. -. -. -. -1 -1 -. -. -. -. % 3.25/3.43 (SAT)(equ)(fun)(SAT) 109| -. -12345678 -12345 -123 -. -12 -123456789X -123 -. -12 -1234 -12 -. -123 -12345678 -123456 -123456789X -123456789X -123456789X -123456789X -. -12345 -12345 -12 -1234567 -1234 -12 -. -. -. -1 -. -1234 -12345 -123456 -1234 -123 -123 -1234 -1234 -1234567 -12345 -. -. -. -. -12 -12 -12 -. -. -. -. -1 -. -. % 3.49/3.64 (SAT)(equ)(fun)(SAT) 109| -1 -12 -123456 -1234 -. -123 -12 -123456789X -12 -1 -123456789X -. -123 -12 -1234 -123456 -123456789 -123456789X -123456789X -123456789X -1 -123456 -1234567 -1234 -1234 -1234 -. -12 -. -. -1 -. -12 -12 -123 -12 -. -1 -. -1 -123 -12345 -12 -. -. -. -123 -123 -12345 -. -1 -. % 3.69/3.85 (SAT)(equ)(fun)(SAT) 109| -. -. -1234567 -1234 -. -1234 -123456 -123456789X -1234567 -12 -12345678 -1 -123 -123 -12 -1 -1234567 -123456789X -12345 -12345 -1 -123456789 -12345678 -123 -123456 -123 -. -12 -. -. -1 -1 -1 -1 -123 -1234 -1234567 -1234 -12345 -12 -123456 -1 -123 -. -. -. -123456789 -123456789 -12345 -. -. -1 -. % 3.90/4.06 (SAT)(equ)(fun)(SAT) 109| -. -123 -123 -123456789 -. -1234 -12 -123456789X -123456789X -12345 -12 -. -12 -1 -12 -1 -1234 -123 -1234567 -1234567 -123 -123456789X -123456789X -123 -123 -12 -1 -12345 -. -. -. -. -12 -. -. -. -1 -12 -1 -12 -1 -12 -123 -. -. -. -123456789X -123456789X -123456 -. -1 -. % 4.12/4.29 (SAT)(equ)(fun)(SAT) 109| -. -1234567 -12 -1234 -. -12 -12 -. -123456789X -12345678 -123 -. -12 -12 -1 -. -. -123 -123 -1234 -123456 -12345 -12345 -12 -12 -12 -12345 -1234 -. -. -. -. -. -. -12 -12 -1 -1 -1 -1234 -. -12 -123 -1 -. -. -123456789X -123456789X -123 -1234 -. -. -. -. % 4.33/4.51 (SAT)(equ)(fun)(SAT) 109| -. -123456789 -1 -123456 -. -123 -1 -123 -123456789X -1234 -1 -. -1 -. -1 -1 -1 -1234 -12 -12 -12345678 -123456 -123456789X -123 -. -1 -1 -12 -. -. -1 -. -1 -. -. -. -12 -1 -12 -1 -. -. -12 -. -. -. -123456789X -123456789X -1 -12 -. % 4.55/4.74 (SAT)(equ)(fun)(SAT) 109| -. -1234 -12 -1 -. -12 -. -12 -123456789X -12345 -123 -1 -12 -1 -1 -12 -12 -1 -1 -123 -1234567 -123456789 -123456789 -12345678 -. -1 -1 -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -123 -1 -. -. -123456789X -123456789X -123 -1 -. % 4.78/4.97 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -12 -. -123 -1 -123 -123456789X -123456789 -. -. -1 -1 -12 -123 -12 -1234 -1234 -12345 -123456 -1234567 -1234567 -123 -1 -12 -12 -1234567 -. -. -. -. -. -1 -12 -1 -12 -123 -1 -. -. -12 -. -. -123456789X -123456789X -12 -1234 -. % 5.04/5.20 (SAT)(equ)(fun)(SAT) 109| -. -123 -. -1234 -. -12 -. -123 -12345 -123456789X -1 -. -. -12 -12 -12 -1 -123 -12 -123 -12345 -12345 -1234567 -1 -1 -1 -12 -123 -. -. -. -. -1 -. -1 -12 -1 -12 -. -1 -1 -1 -. -. -123456 -123456 -1 -. -. % 5.23/5.42 (SAT)(equ)(fun)(SAT) 109| -. -123 -1 -12 -. -12 -12 -123 -1 -123 -. -. -. -. -1 -. -1234 -123 -. -12 -1234 -1234 -1234 -12345 -. -123 -123 -12 -. -. -1 -1 -12 -1 -. -12 -. -1 -1234 -. -. -. -12345 -123456 -123 -1 -. % 5.47/5.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -12 -1 -123 -. -123 -1 -1 -. -12345 -. -. -. -12 -1 -1234 -. -12 -1 -1 -1234 -12 -12 -123456 -. -1 -1234 -123 -. -. -12 -. -1 -. -. -1 -. -. -123 -. -. -. -1234 -12345 -12345 -1 -. % 5.62/5.84 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -12 -. -12 -12 -12 -. -12 -. -. -. -. -1 -123 -. -1 -. -12 -12 -1234 -1234 -1 -1 -1 -123 -123 -. -. -. -. -1 -1 -1 -123 -. -. -12 -1 -. -. -123 -12 -1 -1 -. % 5.85/6.04 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -123 -. -. -. -12 -123 -1 -. -. -. -1 -. -1 -. -1 -1 -. -12 -1 -123 -1234 -. -. -12 -12 -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -12 -12 -1 -12 % 6.05/6.23 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -12 -. -12 -. -123 -. -. -. -. -. -. -12 -123 -123 -1 -12 -12 -12 -. -. -. -12 -123 -. -. -. -. -1 -. -. -. -1 -. -. -12345 -1234 -. -1 -. % 6.21/6.42 (SAT)(equ)(fun)(SAT) 109| -. -12 -12 -. -. -12345 -. -1 -. -123 -1 -. -. -. -. -12 -12 -1 -1 -. -1 -1234 -123456 -123 -. -. -1 -. -. -. -1 -123 -. -. -. -123 -. -. -. -12 -12 -123 -. -. % 6.46/6.62 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -. -1 -. -1 -123 -123 -12 -. -123 -. -1 -. -. -1 -. -. -. -. -12 -. -. -. -12 -123 -1 -. -. % 6.62/6.81 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. % 6.84/6.99 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 7.01/7.18 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. % 7.14/7.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. % 7.37/7.53 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 7.52/7.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. % 7.67/7.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 7.84/8.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 8.02/8.18 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 % 8.19/8.35 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. % 8.34/8.53 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. % 8.47/8.70 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 8.64/8.86 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. % 8.87/9.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. % 9.03/9.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 9.17/9.39 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 9.33/9.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 9.56/9.73 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -1 -. -. -1234 -12345 -123456789XL -123456789XL -. -. -. -123456789X -123456789X -. -. -. -. -. -. -. -. -123456789X -. -123456789X -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.86/10.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -123 -. -12345 -123 -123 -1 -12 -. -. -. -. -. -. -1 -. -1 -. -. -1234567 -123456789 -. -. -. -12345 -. -. -. -1 -. -. -12 -12 -123456 -123 -1234 -123456789X -123456789X -12 -. -1 -12 -1234 -. -. -12345 -. -. -. -12 -1 -123 -1234 -. -. -1 -. -. -. -. % 10.11/10.29 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -123 -. -12 -123 -12 -. -123 -12 -. -1 -12 -. -1 -. -1 -1 -12 -12 -123456789X -123456789X -12 -1 -12 -1234 -123 -. -. -. -. -. -. -123 -1 -1234 -1 -123456789X -123456789X -123 -12 -12 -12 -1 -. -. -12 -. -1 -. -1234 -12345 -123 -123 -. -. -. -. -1 -. -. % 10.41/10.56 (SAT)(equ)(fun)(SAT) 109| -. -1234 -1 -12 -. -123 -123 -. -. -1234 -1234 -. -1 -12 -12 -12 -. -1 -. -1 -12 -123456 -123456 -12 -. -. -123 -12 -. -. -1 -1 -. -. -1 -123 -. -1 -1234 -12345 -12 -1 -. -1234567 -1234 -. -. -123 -. -123456 -. -1234 -12 -12 -12 -. -1 -. % 10.62/10.81 (SAT)(equ)(fun)(SAT) 109| -. -123 -. -1 -. -1 -1 -12 -12 -1234567 -. -1 -. -1 -1 -12 -1 -1 -12 -. -12 -12345 -1234567 -123 -. -1 -123 -. -. -. -. -. -1234 -. -1 -12 -. -1 -1234 -1234 -123 -. -. -12 -1234 -. -. -123 -. -1 -. -12 -12345 -12 -1234 -. -. -. -. % 10.89/11.05 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -. -12 -123 -. -12 -12 -. -. -12 -. -. -1 -1 -. -1 -1 -. -12345 -12345 -1 -. -1234 -123 -. -. -. -12 -. -12 -12 -1 -1 -1 -1 -123 -12345 -1 -. -. -12 -1 -. -. -. -. -123 -. -1234 -1234 -1 -. -. % 11.14/11.29 (SAT)(equ)(fun)(SAT) 109| -. -1234 -123 -1 -. -1 -1 -. -. -12 -. -. -. -123 -. -1 -. -. -. -. -. -12 -1234 -1 -1 -. -123 -12 -. -. -. -. -12 -1 -. -. -1 -1 -12345 -12345 -1 -. -1 -12 -12 -. -. -1 -. -. -. -1 -12 -. -. -. % 11.37/11.53 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -1 -. -1 -1 -. -12 -. -1 -. -. -12 -1 -1 -. -. -1 -12 -12 -1234 -1234 -12 -. -1 -12 -1 -. -. -1 -. -. -. -. -. -1 -1 -12345 -123456 -. -. -. -1 -123 -. -. -1 -. -12345 -. -. -1 -1 -123 -. % 11.59/11.76 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -1 -. -1234 -1 -123 -12 -. -. -. -. -. -. -1 -1 -. -12 -1 -123 -1234 -1234 -. -. -12 -1234 -12345 -. -. -1 -. -. -. -1 -12 -1 -1 -123 -12345 -. -. -123 -12 -1234 -. -. -123 -. -1 -. -1234 -123 -12 -1 -. % 11.85/12.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -1 -123 -12 -1234 -. -1 -. -. -1 -. -1 -1 -1 -. -1 -12 -1 -1 -. -12 -1 -123 -. -. -. -. -. -12 -. -1 -1 -. -123 -1234 -12345 -12 -12 -. -. -1 -. -. -123 -. -. -. -1 -12 -. -12 -. % 12.05/12.23 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. -. -12 -. -12 -1 -1 -. -. -. -. -. -1 -. -. -1 -1 -1234 -12345678 -1234567 -1 -. -. -12 -12 -. -. -. -. -. -. -1 -1 -123 -1 -1234 -1234 -1 -. -. -. -123456 -. -. -1 -. -1 -. -1 -12 -1 -12 -. % 12.28/12.47 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. -. -12 -12 -12 -. -. -1 -. -. -1 -. -12 -. -12 -12 -1 -123 -123456 -123456 -12 -. -. -1 -12 -. -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -1 -123 -. -. -12 -. -. -. -12 -12 -12 -. -. % 12.55/12.70 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -1 -. -. -. -. -. -1 -1 -. -1 -. -. -1 -1 -. -1 -. -12 -123456 -12345 -123 -1 -12 -123 -12 -. -. -. -. -. -. -1 -1 -. -1 -. -. -1 -. -1 -12 -12 -. -. -1 -. -. -. -12 -12 -1 -1 -. % 12.74/12.93 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -12 -. -12 -12 -. -123 -123 -1 -. -. -. -. -1 -12 -. -1 -1 -1 -1 -12 -12 -1 -1 -1 -12 -. -. -. -. -. -. -. -1 -. -. -12 -12 -12 -. -12 -1 -12 -. -. -. -. -123 -. -12 -12 -1 -123 -. % 12.96/13.15 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -. -. -. -. -1 -. -. -1 -. -1 -1 -. -. -. -. -1 -. -. -12 -123 -12 -. -12 -1 -. -. -. -. -. -1 -. -. -1 -. -1 -. -1 -12 -. -. -1 -. -. -. -1 -. -1 -. -. -. -123 -1 -. % 13.20/13.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -1 -. -123 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -1 -. -1 -123 -1 -. -. -. -. -1 -. -. -1 -. -. -. -1 -12 -. -. -. -12 -. -. -1 -. -1 -. -. -. -. -1234 -. % 13.43/13.61 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -12 -. -1 -. -1 -1 -. -1 -1 -1 -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -1 -12 -12 -. -. -. -1 -1 -. -. -1 -. -. -. -1 -12 -. -12 -. % 13.64/13.83 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -1 -. -1 -12 -1 -. -. -1 -. -1 -. -. -1 -1 -. -. -1 -1 -123 -123 -. -12 -1 -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -12 -. -. -1234 -. -. -12 -. -. -. -. -. -. -12 -. % 13.90/14.05 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. -1 -. -. -1 -. -. -. -. -1 -123 -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -1 -1 -. -. -1 -. -1 -. -. -. -1 -. -. % 14.11/14.27 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -12 -12 -1 -. -. -. -. -. -. -. -. -12 -. -1 -. -1 -1 -. -1 -. -12 -. -. -. -1 -. -. -. -. -. -1234 -. -. % 14.34/14.49 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1234 -1234 -. -. -1 -. -12 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -. -. -. -1 -. -1 -. -. % 14.55/14.71 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -. -1 -. -. -. -1 -. -. -. -12 -. -. -. -12 -. -. -. -. -. -. -. -. -1 -12 -. % 14.77/14.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -1 -. -. -12 -. -. -. -. -. -. -. -12 -12 -12 -12 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. % 15.00/15.15 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -123 -123 -12 -1 -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -12 -. -12 -. -. -. -. -. -. -. -. -. -12 -. -. % 15.15/15.36 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -123 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. % 15.37/15.58 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. % 15.59/15.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 15.84/16.01 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 16.07/16.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 16.29/16.44 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 16.42/16.65 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -123456789XL -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 16.72/16.92 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -1 -12 -. -. -. -. -. -. -. -. -1 -. -. -12 -. -1 -12 -12 -. -. -. -12 -1 -. -. -12345 -. -123 -12 -12 -123 -12 -123 -1 -12 -1 -123456789X -123456789X -12 -. -12 -1234 -. -. -. -. -. -12 -. -. -. -. -12345 -. -. -1 -. -. -. % 17.05/17.20 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -1 -. -123 -1 -. -. -. -. -. -. -. -. -12345 -1 -. -1 -1 -. -12 -123 -. -. -. -12 -123 -. -. -. -. -12 -. -. -12 -1 -12 -12 -1 -123 -123456789X -123456789X -1 -. -. -123 -1 -. -. -. -. -1 -. -. -. -12 -123 -. -1 -1 -. -. -. % 17.31/17.46 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -. -12 -1 -. -12 -. -1 -12 -12 -123 -. -. -. -1 -. -. -12 -. -123 -. -1 -1234 -1234 -1 -. -12 -123 -123456789X -123456789X -1 -. -. -1 -1 -. -. -. -. -. -. -. -. -1234 -1 -. -1 -1 -. -. -. % 17.59/17.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1234 -. -1 -. -. -1 -. -1 -1 -. -1 -1 -. -12 -. -. -123 -123 -. -. -. -. -. -. -. -. -. -12 -1 -. -. -1 -1 -123 -1234 -12 -12345678 -123456789X -. -. -. -12 -123 -. -. -12 -. -. -. -. -. -1 -123 -. -. -. -. -. -1 -. -. -. -. % 17.82/17.97 (SAT)(equ)(fun)(SAT) 109| -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -123 -1 -. -. -. -12 -1234 -1234 -123 -. -1 -123 -12 -. -. -123 -. -1 -. -. -12 -. -. -1 -1 -12 -123456789X -123456789X -1 -1 -1 -12 -12 -. -. -. -. -123 -. -1 -1 -12 -1 -. -. -. -. -1 -. -. % 18.06/18.22 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -12 -. -12 -1 -. -. -. -. -. -. -. -. -123 -1 -. -. -. -. -12 -123 -12 -123 -. -1 -. -. -. -. -. -1 -1 -. -123 -123 -12 -1234 -12 -. -123456789X -123456789X -. -1 -. -1 -12 -. -. -. -. -. -. -. -. -1 -123 -. -1 -. % 18.33/18.47 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. -12 -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. -1 -1 -12 -. -1 -. -. -. -. -1 -. -1 -12 -. -12345 -12 -12 -123456 -123 -12 -12345 -12345 -12 -. -. -1234 -1 -. -. -. -. -1 -. -. -. -. -123 -. -. -. -. % 18.55/18.71 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -12 -. -. -. -. -. -. -. -. -. -123 -1 -1 -. -. -1 -1234 -1234 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -1234 -. -12 -12 -12 -1234 -1234 -1 -. -. -12 -1234 -. -. -. -. -. -. -. -. -. -12 -. % 18.77/18.94 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -1 -. -12 -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -. -. -12 -. -123 -12 -12 -12345 -1234 -. -12 -. -1 -1 -. -. -1 -. -. -. -. -. -1 -1 -. % 19.00/19.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -123 -1 -. -. -. -1 -. -1 -. -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -12 -12 -12 -12345 -12345 -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -123 -. % 19.25/19.41 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -12 -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -12 -12 -12 -123 -123 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -1 -. % 19.47/19.63 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -12 -. -12 -. -. -. -. -. -. -123 -123 -1 -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. % 19.71/19.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 19.92/20.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 20.14/20.29 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -12 -12 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. % 20.33/20.50 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. % 20.58/20.71 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. % 20.76/20.92 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 20.99/21.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 21.21/21.34 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 21.35/21.49 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 21.60/21.75 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 21.83/21.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. % 22.00/22.18 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 22.09/22.25 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 22.28/22.51 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 22.38/22.53 (SAT)(equ)(fun)(SAT) 109| -1 -. % 22.38/22.55 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 22.38/22.57 (SAT)(equ)(fun)(SAT) 109| -1 -. % 22.38/22.59 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 22.47/22.61 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 22.68/22.87 (SAT)(equ)(fun)(SAT) 109| -. % 22.68/22.89 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 22.97/23.15 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 22.97/23.17 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 23.05/23.20 (SAT)(equ)(fun)(SAT) 109| -1 -. % 23.05/23.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 23.05/23.24 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 23.36/23.51 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 23.36/23.53 (SAT)(equ)(fun)(SAT) 109| -1 -. % 23.36/23.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 23.36/23.57 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 23.64/23.84 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 23.64/23.86 (SAT)(equ)(fun)(SAT) 109| -1 -. % 23.73/23.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 23.77/23.90 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 23.94/24.16 (SAT)(equ)(fun)(SAT) 109| -. % 24.05/24.19 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 24.32/24.45 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 24.33/24.47 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 24.33/24.50 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 24.39/24.53 (SAT)(equ)(fun)(SAT) 109| -1 -. % 24.39/24.54 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 24.43/24.57 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 24.65/24.83 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 24.72/24.85 (SAT)(equ)(fun)(SAT) 109| -1 -. % 24.72/24.87 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 24.72/24.90 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 25.03/25.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 25.03/25.19 (SAT)(equ)(fun)(SAT) 109| -1 -. % 25.03/25.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 25.09/25.22 (SAT)(equ)(fun)(SAT) 109| -1 -. % 25.09/25.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 25.09/25.27 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 25.30/25.53 (SAT)(equ)(fun)(SAT) 109| -. % 25.41/25.56 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 25.68/25.82 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 25.71/25.84 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 25.71/25.86 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 25.71/25.89 (SAT)(equ)(fun)(SAT) 109| -1 -. % 25.71/25.91 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 25.71/25.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 25.81/25.96 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 26.09/26.22 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 26.09/26.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 26.09/26.27 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 26.36/26.53 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 26.36/26.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 26.36/26.58 (SAT)(equ)(fun)(SAT) 109| -1 -. % 26.48/26.60 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 26.49/26.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 26.49/26.64 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 26.78/26.90 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 26.78/26.93 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 26.78/26.94 (SAT)(equ)(fun)(SAT) 109| -1 -. % 26.78/26.96 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 26.86/26.99 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 26.86/27.01 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 27.07/27.26 (SAT)(equ)(fun)(SAT) 109| -. % 27.16/27.29 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 27.38/27.54 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 27.45/27.57 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 27.45/27.59 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 27.45/27.61 (SAT)(equ)(fun)(SAT) 109| -1 -. % 27.45/27.63 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 27.45/27.66 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 27.74/27.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 27.74/27.94 (SAT)(equ)(fun)(SAT) 109| -1 -. % 27.74/27.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 27.86/27.98 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 28.06/28.24 (SAT)(equ)(fun)(SAT) 109| -. % 28.14/28.26 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 28.36/28.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 28.36/28.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 28.44/28.57 (SAT)(equ)(fun)(SAT) 109| -1 -. % 28.46/28.59 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 28.46/28.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 28.51/28.64 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 28.76/28.90 (SAT)(equ)(fun)(SAT) 109| -. % 28.76/28.92 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 29.04/29.18 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 29.08/29.20 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 29.11/29.23 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 29.11/29.26 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 29.34/29.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 29.34/29.54 (SAT)(equ)(fun)(SAT) 109| -1 -. % 29.44/29.56 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 29.44/29.58 (SAT)(equ)(fun)(SAT) 109| -1 -. % 29.48/29.60 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 29.48/29.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 29.52/29.65 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 29.77/29.91 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 29.77/29.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 29.77/29.96 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 30.08/30.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 30.08/30.24 (SAT)(equ)(fun)(SAT) 109| -1 -. % 30.08/30.26 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 30.17/30.28 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 30.41/30.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 30.41/30.57 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 30.66/30.83 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 30.66/30.86 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 30.66/30.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 30.78/30.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 30.80/30.93 (SAT)(equ)(fun)(SAT) 109| -1 -. % 30.80/30.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 30.80/30.97 (SAT)(equ)(fun)(SAT) 109| -1 -. % 30.80/30.99 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 30.88/31.01 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 30.88/31.04 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 31.19/31.30 (SAT)(equ)(fun)(SAT) 109| -. % 31.19/31.32 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 31.43/31.58 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 31.49/31.61 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 31.49/31.63 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 31.55/31.67 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 31.55/31.68 (SAT)(equ)(fun)(SAT) 109| -1 -. % 31.55/31.70 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 31.55/31.73 (SAT)(equ)(fun)(SAT) 109| -1 -. % 31.55/31.75 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 31.55/31.77 (SAT)(equ)(fun)(SAT) 109| -1 -. % 31.67/31.79 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 31.70/31.82 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 31.95/32.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 31.95/32.10 (SAT)(equ)(fun)(SAT) 109| -1 -. % 32.00/32.12 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 32.00/32.15 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 32.26/32.41 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 32.32/32.44 (SAT)(equ)(fun)(SAT) 109| -1 -. % 32.34/32.46 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 32.34/32.48 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 32.62/32.74 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 32.64/32.77 (SAT)(equ)(fun)(SAT) 109| -1 -. % 32.64/32.79 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 32.64/32.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 32.70/32.83 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 32.92/33.09 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 32.98/33.12 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 32.98/33.14 (SAT)(equ)(fun)(SAT) 109| -1 -. % 32.98/33.16 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 33.05/33.18 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 33.05/33.21 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 33.33/33.47 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 33.33/33.50 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 33.41/33.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 33.41/33.54 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 33.61/33.80 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 33.71/33.83 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 33.71/33.84 (SAT)(equ)(fun)(SAT) 109| -1 -. % 33.71/33.87 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 33.71/33.89 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 34.01/34.15 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 34.01/34.18 (SAT)(equ)(fun)(SAT) 109| -1 -. % 34.01/34.20 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 34.01/34.22 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 34.38/34.48 (SAT)(equ)(fun)(SAT) 109| -. % 34.38/34.51 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 34.59/34.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 34.67/34.79 (SAT)(equ)(fun)(SAT) 109| -1 -. % 34.67/34.81 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 34.67/34.83 (SAT)(equ)(fun)(SAT) 109| -1 -. % 34.67/34.85 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 34.67/34.88 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 34.95/35.14 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 35.05/35.17 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 35.25/35.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. % 35.25/35.46 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 35.37/35.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 35.40/35.52 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 35.65/35.78 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 35.65/35.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -1 -. -. -. -. % 35.70/35.84 (SAT)(equ)(fun)(SAT) 109| -. % 35.74/35.86 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 35.97/36.12 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. % 36.04/36.15 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 36.04/36.18 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. % 36.04/36.21 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 36.11/36.24 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. % 36.15/36.27 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 36.15/36.29 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. % 36.15/36.32 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 36.24/36.34 (SAT)(equ)(fun)(SAT) 109| -1 -. % 36.24/36.37 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 36.27/36.39 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 36.47/36.65 (SAT)(equ)(fun)(SAT) 109| -. % 36.55/36.68 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 36.80/36.94 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 36.86/36.97 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 36.86/37.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 36.86/37.02 (SAT)(equ)(fun)(SAT) 109| -1 -. % 36.86/37.05 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 36.96/37.07 (SAT)(equ)(fun)(SAT) 109| -1 -. % 36.96/37.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 36.99/37.12 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 37.18/37.37 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 37.30/37.40 (SAT)(equ)(fun)(SAT) 109| -1 -. % 37.31/37.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 37.31/37.45 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 37.58/37.71 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 37.58/37.74 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 37.58/37.77 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 37.91/38.03 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 37.91/38.06 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 37.91/38.09 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 38.21/38.35 (SAT)(equ)(fun)(SAT) 109| -. % 38.21/38.38 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 38.53/38.64 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 38.53/38.66 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 38.53/38.69 (SAT)(equ)(fun)(SAT) 109| -1 -. % 38.59/38.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 38.59/38.74 (SAT)(equ)(fun)(SAT) 109| -1 -. % 38.59/38.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 38.67/38.78 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 38.90/39.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 38.97/39.07 (SAT)(equ)(fun)(SAT) 109| -1 -. % 38.97/39.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 38.97/39.12 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 39.29/39.39 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 39.29/39.41 (SAT)(equ)(fun)(SAT) 109| -1 -. % 39.29/39.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 39.35/39.45 (SAT)(equ)(fun)(SAT) 109| -1 -. % 39.36/39.48 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 39.36/39.50 (SAT)(equ)(fun)(SAT) 109| -1 -. % 39.42/39.52 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 39.42/39.54 (SAT)(equ)(fun)(SAT) 109| -1 -. % 39.45/39.57 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 39.45/39.59 (SAT)(equ)(fun)(SAT) 109| -1 -. % 39.45/39.61 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 39.54/39.63 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 39.54/39.66 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 39.82/39.92 (SAT)(equ)(fun)(SAT) 109| -. % 39.82/39.95 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 40.05/40.21 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 40.12/40.24 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 40.12/40.26 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 40.19/40.29 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 40.19/40.31 (SAT)(equ)(fun)(SAT) 109| -1 -. % 40.19/40.34 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 40.27/40.36 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 40.50/40.63 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 40.50/40.65 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 40.57/40.68 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 40.83/40.94 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. % 40.83/40.97 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. % 40.83/41.00 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 40.92/41.03 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 40.92/41.05 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 40.98/41.09 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 41.21/41.35 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 41.21/41.37 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. % 41.30/41.40 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 41.30/41.43 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 41.30/41.46 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 41.51/41.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 41.63/41.75 (SAT)(equ)(fun)(SAT) 109| -1 -. % 41.63/41.77 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 41.63/41.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 41.72/41.82 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 41.99/42.08 (SAT)(equ)(fun)(SAT) 109| -. % 42.00/42.11 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 42.19/42.36 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 42.29/42.39 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 42.32/42.41 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -1 -. -. -. -. % 42.34/42.45 (SAT)(equ)(fun)(SAT) 109| -. % 42.34/42.47 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 42.64/42.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 42.64/42.77 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 42.64/42.79 (SAT)(equ)(fun)(SAT) 109| -1 -. % 42.71/42.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 42.71/42.83 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 42.96/43.10 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 42.96/43.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 43.04/43.15 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 43.26/43.41 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 43.34/43.44 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 43.34/43.47 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 43.62/43.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 43.62/43.76 (SAT)(equ)(fun)(SAT) 109| -1 -. % 43.67/43.78 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 43.67/43.80 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 43.92/44.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 43.98/44.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 43.98/44.12 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 44.24/44.38 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -1 -. -. -. -. % 44.31/44.41 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 44.31/44.44 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 44.37/44.47 (SAT)(equ)(fun)(SAT) 109| -. % 44.37/44.49 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 44.62/44.76 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. % 44.69/44.79 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 44.72/44.82 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 44.72/44.85 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 45.02/45.12 (SAT)(equ)(fun)(SAT) 109| -. % 45.02/45.14 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 45.31/45.40 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 45.31/45.44 (SAT)(equ)(fun)(SAT) 109| -1 -. % 45.31/45.45 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 45.31/45.48 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 45.61/45.75 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 45.61/45.78 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 45.69/45.81 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 45.97/46.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 45.97/46.11 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 45.97/46.13 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 46.28/46.39 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 46.28/46.42 (SAT)(equ)(fun)(SAT) 109| -1 -. % 46.28/46.44 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 46.28/46.47 (SAT)(equ)(fun)(SAT) 109| -1 -. % 46.39/46.49 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 46.43/46.51 (SAT)(equ)(fun)(SAT) 109| -1 -. % 46.43/46.54 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 46.46/46.56 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 46.73/46.83 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 46.76/46.86 (SAT)(equ)(fun)(SAT) 109| -1 -. % 46.76/46.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 46.76/46.91 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 47.06/47.17 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 47.06/47.20 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 47.13/47.23 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 47.36/47.49 (SAT)(equ)(fun)(SAT) 109| -. % 47.43/47.52 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 47.64/47.78 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -1 -. -. -. -. % 47.64/47.82 (SAT)(equ)(fun)(SAT) 109| -. % 47.74/47.84 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 47.94/48.10 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 48.04/48.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. % 48.22/48.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -12 -. -1 -. -. -. -. -. % 48.50/48.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -12 -1 -. -. -. -. -. -. -. % 48.73/48.82 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -. -. -. % 48.90/49.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. % 49.11/49.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. % 49.35/49.46 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 49.48/49.64 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 49.65/49.77 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. % 49.78/49.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. % 49.96/50.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. % 49.96/50.12 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 50.27/50.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 50.50/50.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. % 50.57/50.66 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 50.80/50.92 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 50.85/50.94 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 50.87/50.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 50.87/51.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 50.93/51.02 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 51.15/51.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 51.15/51.31 (SAT)(equ)(fun)(SAT) 109| -1 -. % 51.25/51.33 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 51.25/51.36 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 51.45/51.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 51.55/51.65 (SAT)(equ)(fun)(SAT) 109| -1 -. % 51.55/51.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 51.55/51.69 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 51.83/51.96 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 51.83/51.98 (SAT)(equ)(fun)(SAT) 109| -1 -. % 51.91/52.01 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 51.91/52.03 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 52.15/52.29 (SAT)(equ)(fun)(SAT) 109| -. % 52.23/52.32 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 52.40/52.58 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 52.51/52.60 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 52.53/52.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 52.53/52.66 (SAT)(equ)(fun)(SAT) 109| -1 -. % 52.53/52.68 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 52.62/52.71 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 52.85/52.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 52.92/53.00 (SAT)(equ)(fun)(SAT) 109| -1 -. % 52.92/53.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 52.92/53.04 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 53.23/53.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 53.23/53.34 (SAT)(equ)(fun)(SAT) 109| -1 -. % 53.23/53.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 53.29/53.38 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 53.56/53.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 53.56/53.68 (SAT)(equ)(fun)(SAT) 109| -1 -. % 53.61/53.69 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 53.61/53.72 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 53.91/53.99 (SAT)(equ)(fun)(SAT) 109| -. % 53.91/54.01 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 54.19/54.28 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 54.19/54.30 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 54.19/54.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 54.27/54.36 (SAT)(equ)(fun)(SAT) 109| -1 -. % 54.27/54.38 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 54.30/54.40 (SAT)(equ)(fun)(SAT) 109| -1 -. % 54.30/54.42 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 54.35/54.44 (SAT)(equ)(fun)(SAT) 109| -1 -. % 54.37/54.46 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 54.37/54.48 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 54.65/54.75 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 54.65/54.78 (SAT)(equ)(fun)(SAT) 109| -1 -. % 54.65/54.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 54.65/54.82 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 54.95/55.09 (SAT)(equ)(fun)(SAT) 109| -. % 54.95/55.11 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 55.23/55.37 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 55.23/55.40 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 55.33/55.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 55.33/55.45 (SAT)(equ)(fun)(SAT) 109| -1 -. % 55.33/55.47 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 55.42/55.50 (SAT)(equ)(fun)(SAT) 109| -1 -. % 55.42/55.51 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 55.42/55.54 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 55.65/55.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 55.74/55.83 (SAT)(equ)(fun)(SAT) 109| -1 -. % 55.74/55.85 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 55.74/55.88 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 56.05/56.14 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 56.05/56.17 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. -. -. % 56.05/56.20 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. % 56.13/56.22 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 56.13/56.26 (SAT)(equ)(fun)(SAT) 109| -1 -. % 56.13/56.27 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 56.22/56.30 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 56.43/56.56 (SAT)(equ)(fun)(SAT) 109| -. % 56.50/56.59 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 56.73/56.85 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. % 56.80/56.88 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 56.80/56.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -1 -. -. % 56.80/56.93 (SAT)(equ)(fun)(SAT) 109| -1 -. % 56.80/56.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 56.80/56.98 (SAT)(equ)(fun)(SAT) 109| -1 -. % 56.91/57.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 56.94/57.02 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 57.19/57.29 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 57.24/57.31 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 57.24/57.34 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 57.51/57.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 57.56/57.64 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 57.57/57.66 (SAT)(equ)(fun)(SAT) 109| -1 -. % 57.57/57.68 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 57.57/57.70 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 57.87/57.97 (SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 57.87/58.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 57.95/58.02 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 58.16/58.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. % 58.16/58.32 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 58.46/58.59 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. % 58.46/58.62 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 58.56/58.64 (SAT)(equ)(fun)(SAT) 109| -1 -. % 58.56/58.66 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 58.56/58.69 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 58.84/58.96 (SAT)(equ)(fun)(SAT) 109| -1 -1 -. -. % 58.84/58.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -. -1 -. -. -. -. % 58.93/59.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -. -1 -. -. % 58.93/59.05 (SAT)(equ)(fun)(SAT) 109| -. -. -. % 58.93/59.07 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 59.25/59.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. % 59.25/59.37 (SAT)(equ)(fun)(SAT) 109| -. -1 % 59.25/59.38 (SAT)(equ)(fun)(SAT) 109| -. -. % 59.34/59.41 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 59.55/59.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -. -. -. -. -1 % 59.63/59.73 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. % 59.72/59.83 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. % 59.86/59.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 % 59.93/60.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.09/60.18 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. % 60.16/60.29 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 % 60.30/60.37 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.41/60.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.49/60.61 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.62/60.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 60.75/60.84 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. % 60.87/60.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.01/61.08 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.09/61.19 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.21/61.31 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.32/61.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.45/61.54 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 61.52/61.65 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -. % 61.67/61.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -1 -1 % 61.77/61.88 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. % 61.97/62.05 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -1 % 62.15/62.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.25/62.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. % 62.35/62.48 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 % 62.43/62.57 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.55/62.69 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.67/62.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.84/62.92 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 62.93/63.04 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 63.05/63.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 63.14/63.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 63.32/63.40 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 63.44/63.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. % 63.51/63.63 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. % 63.60/63.68 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -. -. % 63.81/63.95 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -12 -. -. -1 -1 -1 -. % 63.95/64.03 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.07/64.15 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.21/64.27 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.29/64.39 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.43/64.51 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.58/64.64 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.66/64.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.80/64.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 64.89/65.00 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 65.03/65.12 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 65.18/65.24 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 65.27/65.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 65.42/65.48 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 65.48/65.60 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 65.66/65.72 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 -. % 65.66/65.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 65.76/65.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 65.94/66.01 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 66.06/66.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 66.17/66.25 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 66.26/66.37 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 66.43/66.49 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 66.54/66.60 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 -. % 66.56/66.66 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 66.65/66.78 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 66.83/66.91 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 66.95/67.03 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 67.01/67.15 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 67.18/67.27 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 % 67.32/67.40 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -1 -1 -1 -. % 67.32/67.47 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 67.50/67.59 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 67.64/67.72 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 67.79/67.84 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 67.88/67.97 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 68.03/68.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 68.16/68.22 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 68.22/68.34 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 68.39/68.46 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 68.53/68.59 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 68.65/68.71 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 68.78/68.83 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 68.84/68.96 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 68.98/69.10 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 69.16/69.23 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 69.26/69.36 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 69.36/69.49 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 69.56/69.62 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 69.68/69.76 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 69.76/69.89 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 69.94/70.01 (SAT)(equ)(fun)(SAT) 109| -. % 69.94/70.04 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345678 -. % 70.24/70.33 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 -1234567 -. -. % 70.33/70.38 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1234567 -. % 70.45/70.52 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -12345 -. -. % 70.52/70.66 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -12345 -. % 70.68/70.79 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -123 -. -. % 70.82/70.92 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -123 -. % 70.99/71.05 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123 -1 -. % 71.08/71.18 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -1 -1 -1 -1 -12 -. % 71.22/71.27 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -12 -1 -. % 71.30/71.40 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -12 -. % 71.44/71.53 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -12 -1 -. % 71.59/71.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -12 -. % 71.72/71.80 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -123 -. % 71.89/71.93 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -123 -. % 71.97/72.02 (SAT)(equ)(fun)(SAT) 109| -. -123 -. % 71.97/72.04 (SAT)(equ)(fun)(SAT) 109| -. -123 -. % 71.97/72.07 (SAT)(equ)(fun)(SAT) 109| -. -123 -. % 72.04/72.10 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. % 72.04/72.12 (SAT)(equ)(fun)(SAT) 109| -. -1 -12 -. % 72.04/72.15 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. % 72.13/72.18 (SAT)(equ)(fun)(SAT) 109| -. -1 -12 -. % 72.16/72.21 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. % 72.19/72.24 (SAT)(equ)(fun)(SAT) 109| -. -1 -12 -. % 72.19/72.26 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. % 72.19/72.29 (SAT)(equ)(fun)(SAT) 109| -. -1 -12 -. % 72.19/72.31 (SAT)(equ)(fun)(SAT) 109| -. -12 -1 -. % 72.29/72.34 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 % 72.29/72.37 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -1 -1 -. % 72.35/72.43 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.35/72.45 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.43/72.48 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.46/72.51 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.49/72.54 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.49/72.57 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.49/72.59 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.49/72.62 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.59/72.65 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.59/72.68 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.59/72.71 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.67/72.74 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.67/72.76 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.75/72.79 (SAT)(equ)(fun)(SAT) 109| -. -. -12 -. % 72.77/72.82 (SAT)(equ)(fun)(SAT) 109| -. -12 -. % 72.77/72.85 (SAT)(equ)(fun)(SAT) 109| -. -12 -. % 72.77/72.87 (SAT)(equ)(fun)(SAT) 109| -. -12 -. -. % 72.77/72.90 (SAT)(equ)(fun)(SAT) 109| -. -12 -. % 72.87/72.93 (SAT)(equ)(fun)(SAT) 109| -. -12 -. % 72.87/72.95 (SAT)(equ)(fun)(SAT) 109| -. -12 -. % 72.87/72.98 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.95/73.01 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.95/73.04 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -. % 72.95/73.07 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -. -. -1 -. % 73.07/73.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -. % 73.18/73.26 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. % 73.27/73.40 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. % 73.45/73.53 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -. % 73.57/73.67 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -. % 73.75/73.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -. % 73.89/73.95 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -. % 74.03/74.09 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 74.15/74.22 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.19/74.25 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.19/74.27 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.19/74.30 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.26/74.33 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.26/74.35 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.33/74.38 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. % 74.33/74.41 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.33/74.44 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.33/74.46 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.44/74.49 (SAT)(equ)(fun)(SAT) 109| -. -1 -. % 74.47/74.52 (SAT)(equ)(fun)(SAT) 109| -1 -. -. -. % 74.50/74.55 (SAT)(equ)(fun)(SAT) 109| -. -1 -1 -1 -1 % 74.50/74.60 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 74.64/74.74 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 74.80/74.88 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 74.94/75.02 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 75.10/75.16 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 75.23/75.29 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 75.34/75.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 75.47/75.55 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 75.63/75.68 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 75.69/75.81 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 75.85/75.94 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 76.00/76.07 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 76.09/76.20 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 76.28/76.34 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 76.37/76.47 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 76.57/76.60 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 76.78/76.90 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 76.96/77.03 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 77.08/77.13 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. % 77.39/77.42 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. % 77.47/77.56 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 77.66/77.70 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 77.77/77.84 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 77.84/77.97 (SAT)(equ)(fun)(SAT) 109| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. % 78.01/78.13 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 % 78.23/78.28 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. % 78.31/78.41 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. % 78.45/78.55 (SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 78.61/78.68 (SAT)(equ)(fun)(SAT) 109| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 78.73/78.82 (SAT)(equ)(fun)(SAT) 109+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. % 79.05/79.12 (SAT)(equ)(SAT)(equ)(fun)(SAT) 109| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -1 -. % 79.19/79.27 (SAT)+++ RESULT: Unsatisfiable % 79.19/79.27 SZS status Unsatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p %------------------------------------------------------------------------------