%------------------------------------------------------------------------------ % File : Equinox---6.0.1a % Problem : SWV424-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 : n024.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:14 EDT 2022 % Result : Unsatisfiable 19.53s 19.67s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.11 % Problem : SWV424-1.100 : TPTP v8.1.0. Released v3.5.0. % 0.06/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s % 0.12/0.33 % Computer : n024.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Thu Jun 16 04:50:33 EDT 2022 % 0.12/0.33 % CPUTime : % 0.12/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release. % 0.12/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p % 0.12/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK % 0.12/0.35 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p % 0.12/0.37 #elt|#instances % 0.12/0.37 (SAT)(equ)(fun)(SAT) 103| -123456789XLC -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. % 0.19/0.42 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. % 0.19/0.45 (SAT)(equ)(fun)(SAT) 103| -. -. % 0.19/0.45 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -123456789XLC -. -. -. -1 -1 -. -. -. -. -. -. -. % 0.19/0.51 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. % 0.19/0.52 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. % 0.19/0.55 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. % 0.19/0.56 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 0.19/0.59 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -1 % 0.19/0.60 (SAT)(equ)(fun)(SAT) 103| -. % 0.19/0.60 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 0.48/0.63 (SAT)(equ)(fun)(SAT) 103| -1 -. -1 -1 -. -. -. -1 -1 -. % 0.48/0.64 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. % 0.48/0.65 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. % 0.48/0.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 103| -1 -. % 0.48/0.68 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 0.48/0.69 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 0.54/0.72 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. -. % 0.54/0.73 (SAT)(equ)(fun)(SAT) 103| -1 -. % 0.54/0.73 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 0.54/0.74 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 0.61/0.77 (SAT)(equ)(fun)(SAT) 103| -. -. % 0.61/0.78 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 0.61/0.81 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. -. % 0.61/0.81 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -12 -12 -. -. -. -. -. -. -. % 0.61/0.82 (SAT)(equ)(fun)(SAT) 103| -12 -. -. -12 -1 -1 -. -. -. -. -1 -. -. % 0.61/0.84 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. -1 -. % 0.61/0.84 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. -. -. -. % 0.61/0.85 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.61/0.86 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.71/0.87 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.71/0.88 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.71/0.88 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.71/0.89 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.74/0.90 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.74/0.91 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.74/0.92 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.74/0.92 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.93 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.94 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.95 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.96 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.97 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.98 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.98 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.77/0.99 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.84/1.00 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.84/1.01 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.84/1.02 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.84/1.03 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.84/1.04 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.84/1.05 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.84/1.06 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.07 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.08 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.09 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.10 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.11 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.12 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.13 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.14 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.15 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.16 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 0.91/1.17 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.03/1.18 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.03/1.19 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.03/1.20 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.06/1.21 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.06/1.22 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.06/1.24 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.10/1.25 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.10/1.26 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.10/1.27 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.10/1.28 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.10/1.29 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.10/1.31 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.10/1.32 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.18/1.33 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.18/1.34 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.18/1.36 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.18/1.37 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.18/1.38 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.23/1.39 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.23/1.41 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.23/1.42 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.23/1.43 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.23/1.45 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.30/1.46 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.32/1.47 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.32/1.49 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.32/1.50 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.36/1.52 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.36/1.53 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.39/1.55 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.39/1.56 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.39/1.57 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.39/1.59 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.39/1.60 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.39/1.62 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.48/1.63 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.48/1.65 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.48/1.66 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.48/1.68 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.53/1.70 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.53/1.71 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.53/1.73 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.53/1.74 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.53/1.76 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.62/1.78 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.63/1.79 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.63/1.81 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.68/1.83 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.70/1.84 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.70/1.86 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.70/1.88 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.70/1.90 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.76/1.92 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.76/1.93 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -1 -. % 1.76/1.95 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -1 -1 -. -1 % 1.82/1.97 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -1 -1 -. -1 -. -. % 1.82/2.00 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -1 -. -1 % 1.82/2.03 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 1.90/2.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 1.90/2.08 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 1.93/2.10 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 1.98/2.13 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 1.99/2.15 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 1.99/2.18 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 1.99/2.20 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.06/2.23 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.06/2.25 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.06/2.28 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.13/2.30 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.13/2.33 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.13/2.35 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.22/2.38 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.25/2.40 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.28/2.43 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.28/2.45 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.28/2.48 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.35/2.50 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.35/2.53 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.35/2.55 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.42/2.58 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.42/2.61 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.42/2.63 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.42/2.66 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.52/2.68 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.55/2.71 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.58/2.73 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.58/2.76 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.58/2.78 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.58/2.81 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.66/2.84 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.66/2.86 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.73/2.89 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.73/2.91 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.73/2.94 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.73/2.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.83/2.99 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.86/3.02 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.86/3.04 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.86/3.07 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.86/3.10 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.96/3.12 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.96/3.15 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 2.96/3.18 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.05/3.20 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.05/3.23 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.05/3.25 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.05/3.28 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.13/3.31 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.13/3.33 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.13/3.36 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.23/3.39 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.26/3.41 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.26/3.44 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.26/3.47 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.26/3.50 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.26/3.52 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.37/3.55 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.37/3.58 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.46/3.61 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.46/3.64 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.46/3.66 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.46/3.69 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.55/3.72 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.55/3.75 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.55/3.77 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.63/3.80 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.63/3.83 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.63/3.85 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.74/3.88 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.75/3.91 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.77/3.94 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.77/3.96 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.77/3.99 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.87/4.01 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.87/4.04 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.87/4.07 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.87/4.10 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.95/4.12 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.95/4.15 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 3.95/4.17 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 4.04/4.20 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 4.04/4.23 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. % 4.04/4.26 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 % 4.14/4.28 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. % 4.16/4.31 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.18/4.36 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.18/4.37 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.18/4.37 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.18/4.38 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.18/4.42 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.28/4.43 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.28/4.44 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.28/4.45 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.28/4.49 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.35/4.50 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.35/4.51 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.35/4.52 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.35/4.56 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.42/4.57 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.42/4.57 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.42/4.58 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.42/4.62 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.42/4.64 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.42/4.64 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.42/4.65 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.52/4.69 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.55/4.70 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.55/4.71 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.55/4.72 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.58/4.76 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.58/4.77 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.58/4.78 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.58/4.79 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.68/4.83 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.68/4.84 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.68/4.85 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.68/4.86 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.75/4.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.75/4.91 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.75/4.91 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.75/4.92 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.75/4.96 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.82/4.98 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.82/4.98 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.82/4.99 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.82/5.03 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.82/5.05 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.82/5.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.82/5.06 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 4.93/5.11 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 4.93/5.12 (SAT)(equ)(fun)(SAT) 103| -1 -. % 4.97/5.12 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 4.97/5.13 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.00/5.17 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.00/5.19 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.00/5.19 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.00/5.20 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.08/5.24 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.08/5.26 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.08/5.26 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.08/5.27 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.13/5.31 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.13/5.33 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.13/5.33 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.13/5.34 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.23/5.38 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.23/5.39 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.23/5.40 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.23/5.41 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.31/5.45 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.31/5.46 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.31/5.47 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.31/5.48 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.31/5.52 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.39/5.53 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.39/5.54 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.39/5.55 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.44/5.59 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.44/5.61 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.44/5.61 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.44/5.62 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.52/5.67 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.52/5.68 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.54/5.68 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.54/5.69 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.59/5.74 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.61/5.75 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.61/5.76 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.61/5.77 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.61/5.81 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.67/5.82 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.67/5.83 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.67/5.84 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.72/5.88 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.72/5.89 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.72/5.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.72/5.91 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.80/5.95 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.80/5.96 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.80/5.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.80/5.98 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.84/6.02 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.89/6.04 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.89/6.04 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.91/6.05 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.91/6.10 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 5.91/6.11 (SAT)(equ)(fun)(SAT) 103| -1 -. % 5.97/6.11 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 5.97/6.12 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.97/6.17 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.03/6.18 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.03/6.19 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.03/6.20 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.03/6.24 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.03/6.25 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.11/6.26 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.11/6.27 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.15/6.31 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.15/6.33 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.15/6.33 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.19/6.34 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.19/6.38 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.19/6.40 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.19/6.40 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.19/6.41 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.30/6.46 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.30/6.47 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.30/6.48 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.30/6.49 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.36/6.53 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.36/6.54 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.36/6.55 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.42/6.56 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.42/6.60 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.42/6.62 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.42/6.62 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.42/6.63 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.52/6.68 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.52/6.69 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.56/6.70 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.56/6.71 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.59/6.75 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.59/6.76 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.59/6.77 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.59/6.78 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.59/6.82 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.69/6.84 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.69/6.84 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.69/6.86 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.69/6.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.77/6.91 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.77/6.92 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.77/6.93 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.77/6.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.83/6.99 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.83/6.99 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.83/7.00 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.83/7.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.83/7.06 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.83/7.07 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.93/7.08 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.98/7.12 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.98/7.13 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.98/7.14 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 6.98/7.15 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.98/7.20 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 6.98/7.21 (SAT)(equ)(fun)(SAT) 103| -1 -. % 6.98/7.22 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.08/7.23 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.08/7.27 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.08/7.29 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.08/7.29 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.16/7.30 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.16/7.35 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.16/7.36 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.16/7.37 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.23/7.38 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.23/7.42 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.23/7.44 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.23/7.44 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.23/7.45 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.35/7.50 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.35/7.51 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.37/7.52 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.37/7.53 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.37/7.57 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.37/7.59 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.37/7.59 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.37/7.60 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.49/7.65 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.49/7.66 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.49/7.67 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.49/7.68 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.57/7.72 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.57/7.74 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.57/7.75 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.57/7.76 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.65/7.80 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.65/7.82 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.65/7.82 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.65/7.83 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.73/7.88 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.74/7.89 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.74/7.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.76/7.91 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.78/7.96 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.78/7.97 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.78/7.98 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.78/7.99 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.88/8.03 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.88/8.05 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.88/8.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.88/8.06 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 7.95/8.11 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 7.95/8.12 (SAT)(equ)(fun)(SAT) 103| -1 -. % 7.95/8.13 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 7.95/8.14 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.05/8.19 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.05/8.20 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.05/8.21 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.08/8.22 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.10/8.26 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.10/8.28 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.10/8.29 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.10/8.30 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.19/8.34 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.19/8.36 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.19/8.36 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.19/8.37 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.25/8.42 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.25/8.43 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.25/8.44 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.25/8.45 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.33/8.50 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.37/8.51 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.37/8.52 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.37/8.53 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.40/8.58 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.40/8.59 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.40/8.60 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.40/8.61 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.49/8.66 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.49/8.67 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.49/8.68 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.49/8.69 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.55/8.73 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.55/8.75 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.55/8.76 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.62/8.77 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.64/8.81 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.68/8.83 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.68/8.84 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.68/8.85 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.71/8.89 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.71/8.91 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.71/8.92 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.79/8.93 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.79/8.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.84/8.99 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.84/9.00 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.84/9.01 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.91/9.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 8.93/9.07 (SAT)(equ)(fun)(SAT) 103| -1 -. % 8.93/9.08 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 8.93/9.09 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.98/9.13 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.01/9.15 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.01/9.16 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.01/9.17 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.01/9.21 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.09/9.23 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.09/9.24 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.09/9.25 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.13/9.29 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.13/9.31 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.13/9.32 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.13/9.33 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.22/9.38 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.24/9.39 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.24/9.40 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.24/9.41 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.32/9.46 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.32/9.47 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.32/9.48 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.32/9.49 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.38/9.54 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.38/9.55 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.43/9.56 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.43/9.57 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.43/9.62 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.43/9.63 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.43/9.64 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.51/9.65 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.55/9.70 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.55/9.71 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.55/9.72 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.60/9.73 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.61/9.78 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.61/9.80 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.61/9.80 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.68/9.82 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.68/9.86 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.74/9.88 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.74/9.89 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.74/9.90 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.74/9.94 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.83/9.96 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.83/9.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.83/9.98 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.86/10.03 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.90/10.05 (SAT)(equ)(fun)(SAT) 103| -1 -. % 9.90/10.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 9.90/10.07 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.90/10.11 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 9.90/10.13 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.00/10.14 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.00/10.15 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.00/10.20 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.06/10.21 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.06/10.22 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.06/10.23 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.12/10.28 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.12/10.30 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.12/10.31 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.12/10.32 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.22/10.36 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.22/10.38 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.22/10.39 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.26/10.40 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.30/10.45 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.30/10.46 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.30/10.47 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.30/10.48 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.30/10.53 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.40/10.55 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.40/10.56 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.40/10.57 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.48/10.62 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.48/10.64 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.48/10.64 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.48/10.66 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.54/10.70 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.54/10.72 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.54/10.73 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.54/10.74 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.64/10.79 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.66/10.81 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.66/10.82 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.69/10.83 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.69/10.88 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.69/10.89 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.69/10.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.69/10.91 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.78/10.96 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.78/10.98 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.78/10.99 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.86/11.00 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.86/11.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.86/11.06 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.86/11.07 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.94/11.08 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.94/11.13 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 10.94/11.15 (SAT)(equ)(fun)(SAT) 103| -1 -. % 10.94/11.16 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 10.94/11.17 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 11.08/11.22 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 11.08/11.23 (SAT)(equ)(fun)(SAT) 103| -1 -. % 11.08/11.24 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 11.08/11.26 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 11.08/11.30 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 11.08/11.32 (SAT)(equ)(fun)(SAT) 103| -1 -. % 11.08/11.33 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 11.20/11.34 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 11.20/11.39 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 11.20/11.41 (SAT)(equ)(fun)(SAT) 103| -1 -. % 11.28/11.42 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 11.28/11.43 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 11.28/11.48 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 11.36/11.50 (SAT)(equ)(fun)(SAT) 103| -1 -. % 11.36/11.51 (SAT)(equ)(fun)(SAT) 103| -. -. -. % 11.36/11.52 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. % 11.36/11.57 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. % 11.45/11.58 (SAT)(equ)(fun)(SAT) 103| -1 -. % 11.45/11.59 (SAT)(equ)(fun)(SAT) 103| -. -. % 11.47/11.60 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. % 11.49/11.65 (SAT)(equ)(fun)(SAT) 103| -1 -. % 11.49/11.66 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 11.49/11.68 (SAT)(equ)(fun)(SAT) 103| -. % 11.49/11.69 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 11.58/11.74 (SAT)(equ)(fun)(SAT) 103| -. % 11.58/11.75 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 11.66/11.80 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 11.66/11.81 (SAT)(equ)(fun)(SAT) 103| -. -. -1 % 11.66/11.81 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. -. % 11.66/11.83 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -1 % 11.66/11.85 (SAT)(equ)(fun)(SAT) 103| -. -1 -1 -1 % 11.75/11.88 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 11.75/11.91 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 11.80/11.94 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 11.80/11.98 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 11.80/12.01 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 11.90/12.04 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 11.90/12.07 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 11.96/12.11 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. -1 -. % 11.96/12.14 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 % 12.04/12.17 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 12.07/12.20 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -1 -1 -. % 12.10/12.24 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. -. -. -1 % 12.10/12.27 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. % 12.10/12.29 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. % 12.20/12.34 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. % 12.20/12.35 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 12.26/12.40 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.26/12.41 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.26/12.42 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.26/12.43 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.26/12.44 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.26/12.45 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.26/12.46 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.33/12.47 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.33/12.48 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.35/12.49 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.35/12.50 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.35/12.51 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.39/12.52 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.39/12.53 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.39/12.54 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.39/12.55 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.42/12.56 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.42/12.57 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.42/12.58 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.42/12.59 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.42/12.60 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.42/12.61 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.42/12.62 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.49/12.63 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.49/12.64 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.49/12.65 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.49/12.66 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.49/12.67 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.54/12.68 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.54/12.69 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.54/12.70 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.54/12.71 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.54/12.71 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.54/12.72 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.54/12.73 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.61/12.74 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.61/12.76 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.61/12.77 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.63/12.78 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.63/12.79 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.63/12.80 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.63/12.81 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.63/12.82 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.69/12.83 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.69/12.84 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.69/12.85 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.72/12.86 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.72/12.87 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.72/12.88 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.72/12.89 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.72/12.90 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.72/12.91 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.72/12.92 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.79/12.93 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.79/12.94 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.79/12.95 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.79/12.96 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.79/12.97 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/12.98 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/12.99 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/13.00 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/13.01 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/13.02 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/13.03 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/13.04 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.84/13.06 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 12.92/13.07 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. -. -. % 12.95/13.10 (SAT)(equ)(fun)(SAT) 103| -. % 12.95/13.11 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 13.02/13.16 (SAT)(equ)(fun)(SAT) 103| -. % 13.02/13.17 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 13.09/13.22 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.09/13.23 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.09/13.24 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.09/13.25 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.26 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.28 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.29 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.30 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.31 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.32 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.33 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.14/13.34 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.22/13.35 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.22/13.36 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.22/13.37 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.26/13.39 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.26/13.39 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.26/13.41 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.26/13.42 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.26/13.43 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.31/13.44 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.32/13.45 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.32/13.46 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.32/13.47 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.32/13.48 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.32/13.49 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.32/13.50 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.39/13.52 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.39/13.53 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.39/13.54 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.39/13.55 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.39/13.56 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.39/13.57 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.58 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.59 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.60 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.61 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.63 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.64 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.65 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.45/13.66 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.53/13.67 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.53/13.68 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.53/13.69 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.57/13.70 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.57/13.71 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.57/13.72 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.74 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.75 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.76 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.77 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.78 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.79 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.81 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.82 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.61/13.83 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.71/13.84 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. -. -. % 13.71/13.87 (SAT)(equ)(fun)(SAT) 103| -. % 13.71/13.88 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 13.77/13.93 (SAT)(equ)(fun)(SAT) 103| -. % 13.77/13.95 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 13.87/14.00 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.87/14.01 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.87/14.02 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.87/14.03 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.04 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.06 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.07 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.08 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.09 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.10 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.11 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 13.91/14.13 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.00/14.14 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.00/14.15 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.00/14.16 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.00/14.17 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.00/14.18 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.00/14.20 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.00/14.21 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.08/14.22 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.08/14.23 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.08/14.25 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.08/14.26 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.08/14.27 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.15/14.28 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.15/14.29 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.17/14.31 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.17/14.32 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.33 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.34 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.35 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.37 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.38 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.39 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.40 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.19/14.42 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.29/14.43 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.29/14.44 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.29/14.45 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.29/14.47 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.29/14.48 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.29/14.49 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.37/14.50 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.37/14.51 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.37/14.53 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.37/14.54 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.37/14.55 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.37/14.56 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.45/14.58 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.45/14.59 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.47/14.60 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.47/14.61 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.63 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.64 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.65 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.66 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.67 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.69 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.70 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.71 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.49/14.72 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.60/14.74 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.60/14.75 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.60/14.76 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 14.60/14.78 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 -. -. -. % 14.60/14.81 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 14.68/14.84 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 14.68/14.87 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 14.76/14.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 14.76/14.94 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 14.76/14.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 14.85/15.00 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 14.89/15.03 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -1 % 14.89/15.06 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -. % 14.89/15.09 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 14.98/15.14 (SAT)(equ)(fun)(SAT) 103| -. % 14.98/15.15 (SAT)(equ)(fun)(SAT) 103+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 15.06/15.20 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 15.06/15.22 (SAT)(equ)(fun)(SAT) 103| -. -1 -. % 15.06/15.23 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. -. -. % 15.06/15.26 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.15/15.29 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.15/15.32 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.20/15.35 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.20/15.37 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. % 15.20/15.40 (SAT)(equ)(fun)(SAT) 103| -. -. -. -. -1 % 15.30/15.43 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.30/15.46 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.30/15.48 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.36/15.51 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.36/15.54 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.45/15.57 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.45/15.60 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.48/15.63 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.51/15.65 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.51/15.68 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.51/15.71 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.61/15.74 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.61/15.77 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.67/15.79 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.67/15.82 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.67/15.85 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.74/15.88 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.76/15.90 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.80/15.93 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.83/15.96 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.83/15.99 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.83/16.02 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.90/16.05 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.90/16.07 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.95/16.10 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 15.95/16.13 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.02/16.16 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.04/16.18 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.04/16.21 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.10/16.24 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.13/16.27 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.13/16.30 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.13/16.32 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.20/16.35 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.25/16.38 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.25/16.41 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.25/16.43 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.33/16.46 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.36/16.50 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.36/16.52 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.43/16.55 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.43/16.58 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.43/16.61 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.49/16.63 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.54/16.66 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.54/16.69 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.54/16.71 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.54/16.74 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.62/16.78 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.66/16.80 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.66/16.83 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.73/16.86 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.73/16.89 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.79/16.92 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.79/16.94 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.85/16.97 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.85/17.00 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.85/17.03 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.94/17.06 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.94/17.09 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 16.97/17.11 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.01/17.14 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.01/17.17 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.01/17.20 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.11/17.23 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.11/17.26 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.11/17.29 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.17/17.32 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.17/17.34 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.24/17.37 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 % 17.24/17.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 103| -. -. -. -123456789XL -. -. -. % 17.24/17.45 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.34/17.47 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.34/17.48 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.34/17.49 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.37/17.51 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.37/17.52 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.41/17.54 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.41/17.55 (SAT)(equ)(fun)(SAT) 103| -1 -. % 17.41/17.57 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.41/17.58 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 17.41/17.61 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.41/17.62 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.51/17.64 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.51/17.66 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 17.51/17.68 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 17.51/17.71 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.59/17.73 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.59/17.75 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.59/17.76 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.66/17.78 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.66/17.80 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.66/17.81 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.66/17.83 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.66/17.85 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.66/17.86 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.76/17.88 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.78/17.90 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.78/17.91 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.79/17.93 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.79/17.95 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.79/17.96 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.79/17.98 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.79/18.00 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.89/18.01 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.89/18.03 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.89/18.05 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.89/18.07 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.89/18.08 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.97/18.10 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.97/18.12 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.97/18.13 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.97/18.15 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 17.97/18.17 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.06/18.18 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.06/18.20 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.06/18.22 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.06/18.23 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.06/18.25 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.06/18.27 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.16/18.29 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.17/18.30 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.19/18.32 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.19/18.34 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.19/18.35 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.19/18.37 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.19/18.39 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.19/18.40 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.19/18.42 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.31/18.44 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.31/18.46 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.31/18.47 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.31/18.49 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.31/18.51 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.39/18.53 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.39/18.54 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.39/18.56 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.39/18.58 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.47/18.59 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.47/18.61 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.47/18.63 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.47/18.64 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.47/18.66 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.56/18.68 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.56/18.70 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 18.58/18.71 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 18.59/18.74 (SAT)(equ)(fun)(SAT) 103| -. -12345 -. -. -. -. -. % 18.59/18.77 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.59/18.80 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.69/18.84 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.69/18.87 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.77/18.90 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.77/18.93 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.77/18.96 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.86/18.99 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.89/19.03 (SAT)(equ)(fun)(SAT) 103| -. -1 -. -. -. % 18.91/19.06 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. -. -. -. -. % 18.91/19.10 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 18.91/19.12 (SAT)(equ)(fun)(SAT) 103| -. -12 -. -. -. -. -. % 19.00/19.16 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. -. % 19.00/19.19 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 19.07/19.21 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 19.07/19.24 (SAT)(equ)(fun)(SAT) 103| -. -. -1 -. -. -. -. % 19.07/19.26 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.14/19.28 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.14/19.30 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.18/19.31 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.21/19.33 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.21/19.35 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.21/19.37 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.21/19.38 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.21/19.40 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.21/19.42 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.31/19.44 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.31/19.46 (SAT)(equ)(fun)(SAT) 103| -1 -. -. -. % 19.31/19.47 (SAT)(equ)(fun)(SAT) 103| -. -123456789X -. -. -. -. -. % 19.38/19.51 (SAT)(equ)(fun)(SAT) 103| -. -. -. -12 -. -. -. % 19.38/19.55 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. -. -. -. % 19.46/19.59 (SAT)(equ)(fun)(SAT) 103| -. -. -. -1 -. -. -. -. -. % 19.50/19.62 (SAT)(equ)(fun)(SAT) 103| -. -12 -. -. -. -. % 19.53/19.66 (SAT)+++ RESULT: Unsatisfiable % 19.53/19.67 SZS status Unsatisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p %------------------------------------------------------------------------------