%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SWV482+2 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n017.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Wed Jul 20 20:31:57 EDT 2022 % Result : CounterSatisfiable 1.92s 2.10s % Output : Saturation 1.95s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.12 % Problem : SWV482+2 : TPTP v8.1.0. Released v4.0.0. % 0.12/0.13 % Command : metis --show proof --show saturation %s % 0.12/0.34 % Computer : n017.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Wed Jun 15 08:10:09 EDT 2022 % 0.12/0.34 % CPUTime : % 0.12/0.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 1.92/2.10 % SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.92/2.10 % 1.92/2.10 SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.92/2.10 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.92/2.10 |- ~p n1 n1 $X1 $X2 $X3 $X4 n1 $I $H $G $F $E $D $C $B $A n0 $X9 $X10 % 1.92/2.10 $X11 \/ % 1.92/2.10 p n1 n1 $X1 $X2 $X3 $X4 n1 $I $H $G $F $E $D $C $B $A n1 $X9 $X10 $X11 % 1.92/2.10 |- ~p n1 n1 $X1 $X2 $X3 $X4 $X5 n1 $X6 $X7 $X8 $X9 $X10 n1 $B $A $X13 $X14 % 1.92/2.10 n0 $X16 \/ % 1.92/2.10 p n1 n1 $X1 $X2 $X3 $X4 $X5 n1 $X6 $X7 $X8 $X9 $X10 n1 $B $A $X13 $X14 % 1.92/2.10 n1 $X16 % 1.92/2.10 |- ~p n1 $X0 $X1 $X2 $X3 $X4 n1 n1 n1 $X7 $X8 $X9 $X10 $X11 $B $A $X13 n0 % 1.92/2.10 $X15 $X16 \/ % 1.92/2.10 p n1 $X0 $X1 $X2 $X3 $X4 n1 n1 n1 $X7 $X8 $X9 $X10 $X11 $B $A $X13 n1 % 1.92/2.10 $X15 $X16 % 1.92/2.10 |- ~p $I $H $G $F $E $D $C n1 n1 $X2 $X3 $X4 $X5 n1 $B $A $X8 $X9 $X10 % 1.92/2.10 n0 \/ % 1.92/2.10 p $I $H $G $F $E $D $C n1 n1 $X2 $X3 $X4 $X5 n1 $B $A $X8 $X9 $X10 n1 % 1.92/2.10 |- ~p n1 $X0 n1 $X2 $X3 $X4 $X5 $I $H $G $F $E $D $C $B $A n1 $X9 $X10 % 1.92/2.10 $X11 \/ % 1.92/2.10 p n1 $X0 n1 $X2 $X3 $X4 n1 $I $H $G $F $E $D $C $B $A n1 $X9 $X10 $X11 % 1.92/2.10 |- ~p n1 $X0 n1 $X2 $X3 $X4 $X5 n0 $X6 $X7 $X8 $X9 $X10 $X11 $B $A $X13 % 1.92/2.10 $X14 n1 $X16 \/ % 1.92/2.10 p n1 $X0 n1 $X2 $X3 $X4 $X5 n1 $X6 $X7 $X8 $X9 $X10 n1 $B $A $X13 $X14 % 1.92/2.10 n1 $X16 % 1.92/2.10 |- ~p n0 $X0 $X1 $X2 $X3 $X4 $X5 n1 $X6 n1 $X8 $X9 $X10 $X11 $B $A $X13 n1 % 1.92/2.10 $X15 $X16 \/ % 1.92/2.10 p n1 $X0 $X1 $X2 $X3 $X4 n1 n1 $X6 n1 $X8 $X9 $X10 $X11 $B $A $X13 n1 % 1.92/2.10 $X15 $X16 % 1.92/2.10 |- ~p $I $H $G $F $E $D $C n1 $X1 n1 $X3 $X4 $X5 $X6 $B $A $X8 $X9 $X10 % 1.92/2.10 n1 \/ % 1.92/2.10 p $I $H $G $F $E $D $C n1 $X1 n1 $X3 $X4 $X5 n1 $B $A $X8 $X9 $X10 n1 % 1.92/2.10 |- ~p n1 n0 n0 $X2 n0 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A \/ % 1.92/2.10 p n1 n1 n0 $X2 n0 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A % 1.92/2.10 |- ~p n1 n0 n0 n0 $X3 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A \/ % 1.92/2.10 p n1 n0 n1 n0 $X3 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A % 1.92/2.10 |- ~p n1 n0 n0 n0 $X3 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A \/ % 1.92/2.10 p n1 n0 n0 n1 $X3 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A % 1.92/2.10 |- ~p n1 n0 $X1 $X2 n0 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A \/ % 1.92/2.10 p n1 n0 $X1 $X2 n1 $X4 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A % 1.92/2.10 |- ~p n1 $X0 $X1 $X2 $X3 n0 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A \/ % 1.92/2.10 p n1 $X0 $X1 $X2 $X3 n1 $X5 $M $L $K $J $I $H $G $F $E $D $C $B $A % 1.92/2.10 |- ~p $M $L $K $J $I $H $G n1 n0 n0 $X3 n0 $X5 $X6 $F $E $D $C $B $A \/ % 1.92/2.10 p $M $L $K $J $I $H $G n1 n1 n0 $X3 n0 $X5 $X6 $F $E $D $C $B $A % 1.92/2.10 |- ~p $M $L $K $J $I $H $G n1 n0 n0 n0 $X4 $X5 $X6 $F $E $D $C $B $A \/ % 1.92/2.10 p $M $L $K $J $I $H $G n1 n0 n1 n0 $X4 $X5 $X6 $F $E $D $C $B $A % 1.92/2.10 |- ~p $M $L $K $J $I $H $G n1 n0 n0 n0 $X4 $X5 $X6 $F $E $D $C $B $A \/ % 1.92/2.10 p $M $L $K $J $I $H $G n1 n0 n0 n1 $X4 $X5 $X6 $F $E $D $C $B $A % 1.92/2.10 |- ~p $M $L $K $J $I $H $G n1 n0 $X2 $X3 n0 $X5 $X6 $F $E $D $C $B $A \/ % 1.92/2.10 p $M $L $K $J $I $H $G n1 n0 $X2 $X3 n1 $X5 $X6 $F $E $D $C $B $A % 1.92/2.10 |- ~p $M $L $K $J $I $H $G n1 $X1 $X2 $X3 $X4 n0 $X6 $F $E $D $C $B $A \/ % 1.92/2.10 p $M $L $K $J $I $H $G n1 $X1 $X2 $X3 $X4 n1 $X6 $F $E $D $C $B $A % 1.92/2.10 |- ~p n1 $X0 $X1 $X2 $X3 $X4 n1 $M $L $K $J $I $H $G $F $E $D $C $B $A \/ % 1.92/2.10 p n1 $X0 $X1 $X2 $X3 $X4 n0 $M $L $K $J $I $H $G $F $E $D $C $B $A % 1.92/2.10 |- ~p $M $L $K $J $I $H $G n1 $X1 $X2 $X3 $X4 $X5 n1 $F $E $D $C $B $A \/ % 1.92/2.10 p $M $L $K $J $I $H $G n1 $X1 $X2 $X3 $X4 $X5 n0 $F $E $D $C $B $A % 1.92/2.10 |- ~p n1 $X0 $X1 $X2 n1 $X4 $X5 $G $F $E $D $C $B $A n0 $X8 n1 $X10 $X11 % 1.92/2.10 $X12 % 1.92/2.10 |- ~p n1 $X0 $X1 $X2 n1 $X4 $X5 $G $F $E $D $C $B $A $X7 n0 $X9 $X10 n1 % 1.92/2.10 $X12 \/ % 1.92/2.10 p n1 $X0 $X1 $X2 n1 $X4 $X5 $G $F $E $D $C $B $A $X7 n1 $X9 $X10 n1 $X12 % 1.92/2.10 |- ~p $G $F $E $D $C $B $A n1 $X1 $X2 $X3 n1 $X5 $X6 n0 $X8 $X9 n1 $X11 % 1.92/2.10 $X12 % 1.92/2.10 |- ~p $G $F $E $D $C $B $A n1 $X1 $X2 $X3 n1 $X5 $X6 $X7 n0 $X9 $X10 $X11 % 1.92/2.10 n1 \/ % 1.92/2.10 p $G $F $E $D $C $B $A n1 $X1 $X2 $X3 n1 $X5 $X6 $X7 n1 $X9 $X10 $X11 n1 % 1.92/2.10 |- ~p n1 $X0 $X1 n1 $X3 $X4 $X5 $G $F $E $D $C $B $A $X7 n1 $X9 $X10 n0 % 1.92/2.10 $X12 \/ % 1.92/2.10 p n1 $X0 $X1 n1 $X3 $X4 $X5 $G $F $E $D $C $B $A $X7 n1 $X9 $X10 n1 $X12 % 1.92/2.10 |- ~p $N $M $L $K $J $I $H $G $F $E $D $C $B $A $X2 n1 $X4 $X5 $X6 n0 \/ % 1.92/2.10 p $N $M $L $K $J $I $H $G $F $E $D $C $B $A $X2 n1 $X4 $X5 $X6 n1 % 1.92/2.10 |- ~p $N $M $L $K $J $I $H $G $F $E $D $C $B $A n0 n1 $X4 n1 $X6 $X7 % 1.92/2.10 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.10 $X16 $X17 $X18 $X19 \/ $X0 = n0 \/ $X0 = n1 % 1.92/2.10 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.10 $X16 $X17 $X18 $X19 \/ $X1 = n0 \/ $X1 = n1 % 1.92/2.10 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.10 $X16 $X17 $X18 $X19 \/ $X10 = n0 \/ $X10 = n1 % 1.92/2.10 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.10 $X16 $X17 $X18 $X19 \/ $X11 = n0 \/ $X11 = n1 % 1.92/2.10 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.92/2.10 $X16 $X17 $X18 $X19 \/ $X12 = n0 \/ $X12 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X13 = n0 \/ $X13 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X14 = n0 \/ $X14 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X15 = n0 \/ $X15 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X16 = n0 \/ $X16 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X17 = n0 \/ $X17 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X18 = n0 \/ $X18 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X19 = n0 \/ $X19 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X2 = n0 \/ $X2 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X3 = n0 \/ $X3 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X4 = n0 \/ $X4 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X5 = n0 \/ $X5 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X6 = n0 \/ $X6 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X7 = n0 \/ $X7 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X8 = n0 \/ $X8 = n1 % 1.95/2.11 |- ~p $X0 $X1 $X2 $X3 $X4 $X5 $X6 $X7 $X8 $X9 $X10 $X11 $X12 $X13 $X14 $X15 % 1.95/2.11 $X16 $X17 $X18 $X19 \/ $X9 = n0 \/ $X9 = n1 % 1.95/2.11 |- ~p $R $Q $P $O $N $M $L $K $J $I $H $G $F $E n1 $X1 $D $C $B $A % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.11 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.12 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.12 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n1 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n1 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n1 n0 n1 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.13 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.14 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n1 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n0 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n1 n0 n0 n0 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n0 n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n0 n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n1 n0 n1 n0 n0 n1 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n1 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n0 n0 n1 n1 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n0 n0 n1 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n0 n0 n1 n0 n0 n1 n1 n0 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- p n1 n1 n0 n1 n0 n1 n0 n1 n0 n1 n0 n0 n1 n0 n0 n0 n0 n0 n0 n0 % 1.95/2.15 |- ~(n0 = n1) % 1.95/2.15 SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.95/2.15 %------------------------------------------------------------------------------