%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SYN539-1 : TPTP v8.1.0. Released v2.1.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n018.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Thu Jul 21 09:03:49 EDT 2022 % Result : Satisfiable 1.22s 1.44s % Output : Saturation 1.32s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SYN539-1 : TPTP v8.1.0. Released v2.1.0. % 0.11/0.12 % Command : metis --show proof --show saturation %s % 0.12/0.33 % Computer : n018.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 : Mon Jul 11 17:21:44 EDT 2022 % 0.12/0.33 % CPUTime : % 0.18/0.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 1.22/1.44 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 1.22/1.44 % 1.22/1.44 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 1.22/1.44 |- c5_0 % 1.22/1.44 |- c3_0 \/ ndr1_1 a637 % 1.22/1.44 |- c2_1 a587 \/ c4_0 % 1.22/1.44 |- c3_1 a587 \/ c4_0 % 1.22/1.44 |- c4_0 \/ c5_1 a587 % 1.22/1.44 |- ndr1_1 a624 \/ ssSkC4 % 1.22/1.44 |- ndr1_1 $U \/ ssSkP3 $U % 1.22/1.44 |- ndr1_1 a608 \/ ssSkC3 % 1.22/1.44 |- ndr1_1 $U \/ ssSkP2 $U % 1.22/1.44 |- ndr1_1 $U \/ ssSkP1 $U % 1.22/1.44 |- ndr1_1 $U \/ ssSkP0 $U % 1.22/1.44 |- c2_1 a593 \/ ssSkC1 % 1.22/1.44 |- c1_2 a637 a638 \/ c3_0 % 1.22/1.44 |- ~c3_1 a637 \/ c3_0 % 1.22/1.44 |- ~c2_1 a637 \/ c3_0 % 1.22/1.44 |- ~c4_0 \/ c1_1 a631 % 1.22/1.44 |- ~ssSkC0 \/ ~ssSkC1 \/ c1_1 a594 % 1.22/1.44 |- ~ssSkC0 \/ ~ssSkC1 \/ c4_1 a594 % 1.22/1.44 |- ~c3_0 \/ c1_0 \/ c4_0 % 1.22/1.44 |- ~c2_1 a634 \/ ssSkC7 % 1.22/1.44 |- c5_2 a624 a626 \/ ssSkC4 % 1.22/1.44 |- c4_2 a624 a626 \/ ssSkC4 % 1.22/1.44 |- c3_2 a624 a625 \/ ssSkC4 % 1.22/1.44 |- c1_2 $U a621 \/ ssSkP3 $U % 1.22/1.44 |- c4_2 $U a621 \/ ssSkP3 $U % 1.22/1.44 |- c5_2 a608 a609 \/ ssSkC3 % 1.22/1.44 |- c5_2 $U a603 \/ ssSkP2 $U % 1.22/1.44 |- c3_2 $U a603 \/ ssSkP2 $U % 1.22/1.44 |- c3_2 $U a602 \/ ssSkP1 $U % 1.22/1.44 |- c2_2 $U a599 \/ ssSkP0 $U % 1.22/1.44 |- ~c5_1 a593 \/ ssSkC1 % 1.22/1.44 |- ~c3_1 a592 \/ ssSkC0 % 1.22/1.44 |- ~c4_1 a592 \/ ssSkC0 % 1.22/1.44 |- ~c4_2 a637 a638 \/ c3_0 % 1.22/1.44 |- ~c3_1 a633 \/ ~ssSkC6 \/ c3_0 % 1.22/1.44 |- ~c1_1 a633 \/ ~ssSkC6 \/ c3_0 % 1.22/1.44 |- ~c3_1 a631 \/ ~c4_0 % 1.22/1.44 |- ~c3_0 \/ ~ssSkC5 \/ ndr1_1 a629 % 1.22/1.44 |- ~c3_0 \/ ~ssSkC5 \/ c3_1 a629 % 1.22/1.44 |- c1_0 \/ c4_1 a619 % 1.22/1.44 |- c1_0 \/ c1_1 a619 % 1.22/1.44 |- c1_0 \/ c5_1 a619 % 1.22/1.44 |- c1_1 a616 \/ c4_0 % 1.22/1.44 |- ~c3_2 a624 a626 \/ ssSkC4 % 1.22/1.44 |- ~c1_2 a624 a625 \/ ssSkC4 % 1.22/1.44 |- ~c2_2 a624 a625 \/ ssSkC4 % 1.22/1.44 |- ~c2_2 $U a621 \/ ssSkP3 $U % 1.22/1.44 |- ~c4_2 a608 a609 \/ ssSkC3 % 1.22/1.44 |- ~c4_2 $U a603 \/ ssSkP2 $U % 1.22/1.44 |- ~c2_2 $U a602 \/ ssSkP1 $U % 1.22/1.44 |- ~c3_2 $U a599 \/ ssSkP0 $U % 1.22/1.44 |- ~c5_2 $U a599 \/ ssSkP0 $U % 1.22/1.44 |- ~c2_1 a629 \/ ~c3_0 \/ ~ssSkC5 % 1.22/1.44 |- ~c3_1 a616 \/ c4_0 % 1.22/1.44 |- ~c2_1 a616 \/ c4_0 % 1.22/1.44 |- ~c2_0 \/ ~c4_0 \/ ndr1_1 a611 % 1.22/1.44 |- ~c1_0 \/ ~c3_0 \/ ~c4_0 % 1.22/1.44 |- ~c2_2 a629 a630 \/ ~c3_0 \/ ~ssSkC5 % 1.22/1.44 |- ~c3_0 \/ ~c5_2 a629 a630 \/ ~ssSkC5 % 1.22/1.44 |- ~c1_0 \/ ~c4_1 a620 % 1.22/1.44 |- ~c1_0 \/ ~c1_1 a615 \/ ~c3_0 % 1.22/1.44 |- ~c2_0 \/ ~c4_0 \/ c5_2 a611 a612 % 1.22/1.44 |- ~c1_1 a611 \/ ~c2_0 \/ ~c4_0 % 1.22/1.44 |- ~c1_2 a611 a612 \/ ~c2_0 \/ ~c4_0 % 1.22/1.44 |- ~c5_1 $U \/ c3_1 $U \/ c4_0 \/ ndr1_1 $U % 1.22/1.44 |- ~ssSkP0 $U \/ c1_2 $U a600 \/ c2_1 $U \/ ssSkC2 % 1.22/1.44 |- ~ssSkP0 $U \/ c2_1 $U \/ c2_2 $U a600 \/ ssSkC2 % 1.22/1.44 |- ~c5_1 $U \/ c3_1 $U \/ c4_0 \/ c5_2 $U a639 % 1.22/1.44 |- ~c2_1 $U \/ c1_1 $U \/ c2_0 \/ c4_0 \/ ndr1_1 $U % 1.22/1.44 |- ~c3_1 $U \/ ~ssSkC2 \/ c2_0 \/ c2_1 $U \/ ndr1_1 $U % 1.22/1.44 |- ~c3_0 \/ ~c3_1 $U \/ c5_1 $U \/ ndr1_1 a613 % 1.22/1.44 |- ~c3_2 $U a600 \/ ~ssSkP0 $U \/ c2_1 $U \/ ssSkC2 % 1.22/1.44 |- ~c1_2 $U a639 \/ ~c5_1 $U \/ c3_1 $U \/ c4_0 % 1.22/1.44 |- ~c2_2 $U a639 \/ ~c5_1 $U \/ c3_1 $U \/ c4_0 % 1.22/1.44 |- ~c3_1 $U \/ ~ssSkC2 \/ c2_0 \/ c2_1 $U \/ c4_2 $U a601 % 1.22/1.44 |- ~c3_1 $U \/ ~ssSkC2 \/ c2_0 \/ c2_1 $U \/ c2_2 $U a601 % 1.22/1.44 |- ~c3_1 $U \/ ~ssSkC2 \/ c2_0 \/ c2_1 $U \/ c5_2 $U a601 % 1.22/1.44 |- ~c3_2 a608 $U \/ ~ndr1_1 a608 \/ c2_2 a608 $U \/ ssSkC3 % 1.22/1.44 |- ~c3_2 a633 $U \/ ~ndr1_1 a633 \/ ~ssSkC6 \/ c1_2 a633 $U \/ c3_0 % 1.22/1.44 |- ~c2_1 $U \/ ~ssSkP3 $U \/ c2_0 \/ c2_1 $V \/ c5_2 $U a622 % 1.22/1.44 |- ~c3_0 \/ ~c3_1 $U \/ c1_2 a613 a614 \/ c5_1 $U % 1.22/1.44 |- ~c3_0 \/ ~c3_1 $U \/ ~c3_1 a613 \/ c5_1 $U % 1.22/1.44 |- ~c2_1 $U \/ ~c4_2 $U a618 \/ c1_1 $U \/ c2_0 \/ c4_0 % 1.22/1.44 |- ~c2_1 $U \/ ~c3_2 $U a618 \/ c1_1 $U \/ c2_0 \/ c4_0 % 1.22/1.44 |- ~c2_1 $U \/ ~c2_2 $U a618 \/ c1_1 $U \/ c2_0 \/ c4_0 % 1.22/1.44 |- ~c2_0 \/ ~c3_1 $U \/ c2_1 $U \/ c5_1 $U \/ ndr1_1 a588 % 1.22/1.44 |- ~c2_2 a608 $U \/ ~c5_2 a608 $U \/ ~ndr1_1 a608 \/ ssSkC3 % 1.22/1.44 |- ~c1_2 $U a622 \/ ~c2_1 $U \/ ~ssSkP3 $U \/ c2_0 \/ c2_1 $V % 1.22/1.44 |- ~c3_0 \/ ~c3_1 $U \/ ~c4_2 a613 a614 \/ c5_1 $U % 1.22/1.44 |- ~c3_0 \/ ~c3_1 $U \/ ~c3_2 a613 a614 \/ c5_1 $U % 1.22/1.44 |- ~c2_0 \/ ~c3_1 $U \/ c2_1 $U \/ c5_1 $U \/ c5_2 a588 a591 % 1.22/1.44 |- ~c2_0 \/ ~c3_1 $U \/ c2_1 $U \/ c2_2 a588 a590 \/ c5_1 $U % 1.22/1.44 |- ~c2_0 \/ ~c3_1 $U \/ c1_2 a588 a590 \/ c2_1 $U \/ c5_1 $U % 1.22/1.44 |- ~c2_0 \/ ~c3_1 $U \/ c2_1 $U \/ c2_2 a588 a589 \/ c5_1 $U % 1.22/1.44 |- ~c2_0 \/ ~c3_1 $U \/ c2_1 $U \/ c3_2 a588 a589 \/ c5_1 $U % 1.22/1.44 |- ~c1_2 a592 $U \/ ~ndr1_1 a592 \/ c4_2 a592 $U \/ c5_2 a592 $U \/ ssSkC0 % 1.22/1.44 |- ~c2_0 \/ ~c2_2 a588 a591 \/ ~c3_1 $U \/ c2_1 $U \/ c5_1 $U % 1.22/1.44 |- ~c2_0 \/ ~c3_1 $U \/ ~c4_2 a588 a590 \/ c2_1 $U \/ c5_1 $U % 1.22/1.44 |- ~c1_2 a588 a589 \/ ~c2_0 \/ ~c3_1 $U \/ c2_1 $U \/ c5_1 $U % 1.22/1.44 |- ~c1_2 a593 $U \/ ~c4_2 a593 $U \/ ~ndr1_1 a593 \/ c5_2 a593 $U \/ ssSkC1 % 1.22/1.44 |- ~c1_0 \/ ~c2_2 a615 $U \/ ~c3_0 \/ ~ndr1_1 a615 \/ c1_2 a615 $U \/ % 1.22/1.44 c3_2 a615 $U % 1.22/1.44 |- ~c2_0 \/ ~c3_2 a611 $U \/ ~c4_0 \/ ~ndr1_1 a611 \/ c2_2 a611 $U \/ % 1.22/1.44 c5_2 a611 $U % 1.22/1.44 |- ~c2_2 $U $V \/ ~ndr1_1 $U \/ c1_1 $U \/ c2_0 \/ c2_1 $U \/ c3_2 $U $V \/ % 1.22/1.44 ndr1_1 a596 % 1.22/1.44 |- ~c2_2 $U $V \/ ~ndr1_1 $U \/ c1_1 $U \/ c1_2 a596 a598 \/ c2_0 \/ % 1.22/1.44 c2_1 $U \/ c3_2 $U $V % 1.22/1.44 |- ~c2_2 $U $V \/ ~ndr1_1 $U \/ c1_1 $U \/ c2_0 \/ c2_1 $U \/ % 1.22/1.44 c2_2 a596 a598 \/ c3_2 $U $V % 1.22/1.44 |- ~c2_2 $U $V \/ ~ndr1_1 $U \/ c1_1 $U \/ c2_0 \/ c2_1 $U \/ c3_2 $U $V \/ % 1.22/1.44 c5_2 a596 a597 % 1.22/1.44 |- ~c2_2 a613 $V \/ ~c3_0 \/ ~c3_1 $U \/ ~ndr1_1 a613 \/ c1_2 a613 $V \/ % 1.22/1.44 c5_1 $U % 1.22/1.44 |- ~c1_2 $U $V \/ ~c2_2 $U a635 \/ ~c5_1 $U \/ ~ndr1_1 $U \/ ~ssSkC7 \/ % 1.22/1.44 c1_0 \/ c2_2 $U $V % 1.22/1.44 |- ~c1_0 \/ ~c2_2 a615 $U \/ ~c3_0 \/ ~c3_2 a615 $U \/ ~c5_2 a615 $U \/ % 1.22/1.44 ~ndr1_1 a615 % 1.22/1.44 |- ~c2_2 $U $V \/ ~c4_2 a596 a598 \/ ~ndr1_1 $U \/ c1_1 $U \/ c2_0 \/ % 1.22/1.44 c2_1 $U \/ c3_2 $U $V % 1.22/1.44 |- ~c2_2 $U $V \/ ~c2_2 a596 a597 \/ ~ndr1_1 $U \/ c1_1 $U \/ c2_0 \/ % 1.22/1.44 c2_1 $U \/ c3_2 $U $V % 1.22/1.44 |- ~c1_2 a596 a597 \/ ~c2_2 $U $V \/ ~ndr1_1 $U \/ c1_1 $U \/ c2_0 \/ % 1.22/1.44 c2_1 $U \/ c3_2 $U $V % 1.22/1.44 |- ~c1_1 $U \/ ~c4_2 $U a595 \/ ~c5_2 $U $V \/ ~ndr1_1 $U \/ c2_2 $U $V % 1.22/1.44 |- ~c1_1 $U \/ ~c1_2 $U a595 \/ ~c5_2 $U $V \/ ~ndr1_1 $U \/ c2_2 $U $V % 1.22/1.44 |- ~c1_2 $U $V \/ ~c2_2 $U a632 \/ ~ndr1_1 $U \/ c2_1 $U \/ c3_2 $U $V \/ % 1.22/1.44 c5_2 $U $V \/ ssSkC6 % 1.22/1.44 |- ~c1_2 $U $V \/ ~c3_2 $U a632 \/ ~ndr1_1 $U \/ c2_1 $U \/ c3_2 $U $V \/ % 1.22/1.44 c5_2 $U $V \/ ssSkC6 % 1.22/1.44 |- ~c1_2 $U $V \/ ~c4_1 $U \/ ~ndr1_1 $U \/ c2_2 $U $V \/ c3_2 $U $V \/ % 1.22/1.44 c4_2 $U a628 \/ ssSkC5 % 1.22/1.44 |- ~c1_2 $U $V \/ ~c2_0 \/ ~c5_2 $U $V \/ ~ndr1_1 $U \/ c1_1 $U \/ % 1.22/1.44 c2_2 $U $V \/ c4_2 $U a617 % 1.22/1.44 |- ~c1_1 $U \/ ~c3_1 $U \/ ~ndr1_1 $U \/ ~ssSkC3 \/ c1_1 $W \/ % 1.22/1.44 c4_2 $U $V \/ c5_1 $W \/ c5_2 $U $V \/ ndr1_1 $W % 1.22/1.44 |- ~c1_2 $U $V \/ ~c1_2 $U a628 \/ ~c4_1 $U \/ ~ndr1_1 $U \/ c2_2 $U $V \/ % 1.22/1.44 c3_2 $U $V \/ ssSkC5 % 1.22/1.44 |- ~c1_2 $U $V \/ ~c4_1 $U \/ ~c5_2 $U a628 \/ ~ndr1_1 $U \/ c2_2 $U $V \/ % 1.22/1.44 c3_2 $U $V \/ ssSkC5 % 1.22/1.44 |- ~c1_2 $U $V \/ ~c1_2 $U a617 \/ ~c2_0 \/ ~c5_2 $U $V \/ ~ndr1_1 $U \/ % 1.22/1.44 c1_1 $U \/ c2_2 $U $V % 1.22/1.44 |- ~c1_1 $U \/ ~c3_1 $U \/ ~ndr1_1 $U \/ ~ssSkC3 \/ c1_1 $W \/ % 1.22/1.44 c2_2 $W a610 \/ c4_2 $U $V \/ c5_1 $W \/ c5_2 $U $V % 1.22/1.44 |- ~c1_1 $U \/ ~c3_1 $U \/ ~ndr1_1 $U \/ ~ssSkC3 \/ c1_1 $W \/ % 1.22/1.44 c3_2 $W a610 \/ c4_2 $U $V \/ c5_1 $W \/ c5_2 $U $V % 1.22/1.44 |- ~c1_2 $U $V \/ ~c3_1 $U \/ ~c3_2 $U $V \/ ~c5_2 $U $V \/ ~ndr1_1 $U \/ % 1.22/1.44 ~ssSkC4 \/ c1_2 $U a627 \/ c2_0 % 1.22/1.44 |- ~c1_1 $V \/ ~c5_2 $V $W \/ ~ndr1_1 $V \/ ~ssSkP1 $U \/ ~ssSkP2 $U \/ % 1.22/1.44 c1_0 \/ c1_2 $V $W \/ c4_2 $U a604 \/ c4_2 $V $W % 1.22/1.44 |- ~c1_1 $V \/ ~c5_2 $V $W \/ ~ndr1_1 $V \/ ~ssSkP1 $U \/ ~ssSkP2 $U \/ % 1.22/1.44 c1_0 \/ c1_2 $V $W \/ c3_2 $U a604 \/ c4_2 $V $W % 1.22/1.44 |- ~c1_2 $U $V \/ ~c2_1 $U \/ ~c3_0 \/ ~c4_0 \/ ~c4_2 $U $V \/ % 1.22/1.44 ~ndr1_1 $U \/ c2_2 $U $V \/ c4_1 $U % 1.22/1.44 |- ~c2_0 \/ ~c2_2 $U $V \/ ~c2_2 $U $W \/ ~ndr1_1 $U \/ c1_2 $U $W \/ % 1.22/1.44 c2_2 $U a636 \/ c4_2 $U $V % 1.22/1.45 |- ~c1_1 $U \/ ~c1_2 $V a610 \/ ~c3_1 $U \/ ~ndr1_1 $U \/ ~ssSkC3 \/ % 1.22/1.45 c1_1 $V \/ c4_2 $U $W \/ c5_1 $V \/ c5_2 $U $W % 1.22/1.45 |- ~c1_0 \/ ~c3_2 a605 $V \/ ~ndr1_1 $U \/ ~ndr1_1 a605 \/ c2_2 a605 $V \/ % 1.22/1.45 c3_1 $U \/ c4_2 $U $W \/ c5_2 $U $W % 1.22/1.45 |- ~c1_2 $U $V \/ ~c2_2 $U a627 \/ ~c3_1 $U \/ ~c3_2 $U $V \/ % 1.22/1.45 ~c5_2 $U $V \/ ~ndr1_1 $U \/ ~ssSkC4 \/ c2_0 % 1.22/1.45 |- ~c1_1 $V \/ ~c1_2 $U a604 \/ ~c5_2 $V $W \/ ~ndr1_1 $V \/ ~ssSkP1 $U \/ % 1.22/1.45 ~ssSkP2 $U \/ c1_0 \/ c1_2 $V $W \/ c4_2 $V $W % 1.22/1.45 |- ~c2_0 \/ ~c2_2 $U $V \/ ~c2_2 $U $W \/ ~c3_2 $U a636 \/ ~ndr1_1 $U \/ % 1.22/1.45 c1_2 $U $W \/ c4_2 $U $V % 1.22/1.45 |- ~c1_0 \/ ~c2_2 $U $V \/ ~c3_1 $U \/ ~c3_2 $U a623 \/ ~c4_0 \/ % 1.22/1.45 ~c4_2 $U $V \/ ~ndr1_1 $U \/ c1_2 $U $V % 1.22/1.45 |- ~c1_0 \/ ~c1_2 a605 $V \/ ~ndr1_1 $U \/ ~ndr1_1 a605 \/ c3_1 $U \/ % 1.22/1.45 c3_2 a605 $V \/ c4_2 $U $W \/ c5_2 $U $W \/ c5_2 a605 $V % 1.22/1.45 |- ~c1_2 a596 $W \/ ~c2_2 $U $V \/ ~c4_2 a596 $W \/ ~ndr1_1 $U \/ % 1.22/1.45 ~ndr1_1 a596 \/ c1_1 $U \/ c2_0 \/ c2_1 $U \/ c3_2 $U $V \/ c3_2 a596 $W % 1.22/1.45 |- ~c3_0 \/ ~c3_1 a613 \/ c5_1 a613 % 1.22/1.45 |- ~c2_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 a596 \/ c2_0 \/ c2_1 a596 \/ % 1.22/1.45 c3_2 a596 a597 % 1.22/1.45 |- ~c1_2 $U a628 \/ ~c4_1 $U \/ ~ndr1_1 $U \/ c2_2 $U a628 \/ % 1.22/1.45 c3_2 $U a628 \/ ssSkC5 % 1.22/1.45 |- ~c2_0 \/ ~c2_2 $U $W \/ ~ndr1_1 $U \/ c1_2 $U $W \/ c2_2 $U a636 \/ % 1.22/1.45 c4_2 $U $W % 1.22/1.45 |- ~c2_0 \/ ~c2_2 $U $W \/ ~c3_2 $U a636 \/ ~ndr1_1 $U \/ c1_2 $U $W \/ % 1.22/1.45 c4_2 $U $W % 1.22/1.45 |- ndr1_0 % 1.22/1.45 |- ssSkC3 \/ ssSkP1 a608 % 1.22/1.45 |- ~c2_2 a608 a609 \/ ~ndr1_1 a608 \/ ssSkC3 % 1.22/1.45 |- ssSkC3 \/ ssSkP2 a608 % 1.22/1.45 |- c2_1 $_18 \/ ndr1_1 $_18 \/ ssSkC2 % 1.22/1.45 |- c1_0 \/ c3_1 a619 \/ c4_0 \/ ndr1_1 a619 % 1.22/1.45 |- c1_0 \/ c3_1 a619 \/ c4_0 \/ c5_2 a619 a639 % 1.22/1.45 |- ~ndr1_1 a633 \/ ~ssSkC6 \/ c1_2 a633 a602 \/ c3_0 \/ ssSkP1 a633 % 1.22/1.45 |- ~ndr1_1 a633 \/ ~ssSkC6 \/ c1_2 a633 a603 \/ c3_0 \/ ssSkP2 a633 % 1.22/1.45 |- ~ssSkC6 \/ c1_2 a633 a602 \/ c2_1 a633 \/ c3_0 \/ ssSkC2 \/ ssSkP1 a633 % 1.22/1.45 |- ~ssSkC6 \/ c1_2 a633 a603 \/ c2_1 a633 \/ c3_0 \/ ssSkC2 \/ ssSkP2 a633 % 1.22/1.45 |- c1_1 a587 \/ c2_0 \/ c4_0 \/ ndr1_1 a587 % 1.22/1.45 |- c1_1 a593 \/ c2_0 \/ c4_0 \/ ndr1_1 a593 \/ ssSkC1 % 1.22/1.45 |- c2_2 a624 $_41 \/ c3_2 a624 $_41 \/ c5_2 a624 $_41 \/ ssSkC4 % 1.22/1.45 |- ~ndr1_1 a593 \/ c5_2 a593 a621 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.45 |- c1_1 a593 \/ c2_0 \/ c4_0 \/ c5_2 a593 a621 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.45 |- ~c1_0 \/ ~c3_0 \/ ~ndr1_1 a615 \/ c1_2 a615 a599 \/ c3_2 a615 a599 \/ % 1.22/1.45 ssSkP0 a615 % 1.22/1.45 |- ~c1_0 \/ ~c3_0 \/ c1_2 a615 a599 \/ c2_1 a615 \/ c3_2 a615 a599 \/ % 1.22/1.45 ssSkC2 \/ ssSkP0 a615 % 1.22/1.45 |- ~c2_0 \/ ~c4_0 \/ ~ndr1_1 a611 \/ c2_2 a611 a602 \/ c5_2 a611 a602 \/ % 1.22/1.45 ssSkP1 a611 % 1.22/1.45 |- ~c2_0 \/ ~c4_0 \/ c2_1 a611 \/ c2_2 a611 a602 \/ c5_2 a611 a602 \/ % 1.22/1.45 ssSkC2 \/ ssSkP1 a611 % 1.22/1.45 |- ~c1_0 \/ ~c2_2 a615 a603 \/ ~c3_0 \/ ~ndr1_1 a615 \/ ssSkP2 a615 % 1.22/1.45 |- ~c2_1 $_56 \/ c2_0 \/ c2_1 $_57 \/ ndr1_1 $_56 % 1.22/1.45 |- c2_0 \/ c2_1 $_59 \/ c4_0 \/ ndr1_1 a587 % 1.22/1.45 |- c2_0 \/ c2_1 $_59 \/ ndr1_1 a593 \/ ssSkC1 % 1.22/1.45 |- c1_1 $_60 \/ c2_0 \/ c4_0 \/ ndr1_1 $_60 \/ ndr1_1 a587 % 1.22/1.45 |- c1_1 $_61 \/ c2_0 \/ c4_0 \/ ndr1_1 $_61 \/ ndr1_1 a593 \/ ssSkC1 % 1.22/1.45 |- c2_0 \/ c2_1 $_61 \/ c5_2 a593 a621 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.45 |- ~c1_0 \/ ~c3_0 \/ c1_1 a615 \/ c1_2 a615 a599 \/ c2_0 \/ % 1.22/1.45 c3_2 a615 a599 \/ c4_0 \/ ndr1_1 a587 \/ ssSkP0 a615 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a603 \/ c2_0 \/ c3_0 \/ c4_0 \/ % 1.22/1.45 ndr1_1 a587 \/ ssSkP2 a633 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a602 \/ c2_0 \/ c3_0 \/ c4_0 \/ % 1.22/1.45 ndr1_1 a587 \/ ssSkP1 a633 % 1.22/1.45 |- c1_1 $_63 \/ c2_0 \/ c4_0 \/ c5_2 a593 a621 \/ ndr1_1 $_63 \/ ssSkC1 \/ % 1.22/1.45 ssSkP3 a593 % 1.22/1.45 |- ~c1_0 \/ ~c3_0 \/ c1_1 a615 \/ c1_2 a615 a599 \/ c2_0 \/ % 1.22/1.45 c3_2 a615 a599 \/ c4_0 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkP0 a615 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a603 \/ c2_0 \/ c3_0 \/ c4_0 \/ % 1.22/1.45 ndr1_1 a593 \/ ssSkC1 \/ ssSkP2 a633 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a602 \/ c2_0 \/ c3_0 \/ c4_0 \/ % 1.22/1.45 ndr1_1 a593 \/ ssSkC1 \/ ssSkP1 a633 % 1.22/1.45 |- ~c1_1 a593 \/ ~c4_2 a593 a595 \/ ~ndr1_1 a593 \/ c1_1 $_63 \/ c2_0 \/ % 1.22/1.45 c2_2 a593 a621 \/ c4_0 \/ ndr1_1 $_63 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.45 |- ~c1_1 a593 \/ ~c4_2 a593 a595 \/ ~ndr1_1 a593 \/ c2_0 \/ c2_1 $_61 \/ % 1.22/1.45 c2_2 a593 a621 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.45 |- ~c1_1 a608 \/ ~c4_2 a608 a595 \/ ~ndr1_1 a608 \/ c2_2 a608 a609 \/ % 1.22/1.45 ssSkC3 % 1.22/1.45 |- ~c1_1 a619 \/ ~c4_2 a619 a595 \/ ~ndr1_1 a619 \/ c1_0 \/ % 1.22/1.45 c2_2 a619 a639 \/ c3_1 a619 \/ c4_0 % 1.22/1.45 |- ~c1_1 a624 \/ ~c4_2 a624 a595 \/ ~ndr1_1 a624 \/ c2_2 a624 a626 \/ % 1.22/1.45 ssSkC4 % 1.22/1.45 |- ~c1_1 a624 \/ ~c4_2 a624 a595 \/ ~ndr1_1 a624 \/ c2_2 a624 $_72 \/ % 1.22/1.45 c3_2 a624 $_72 \/ ssSkC4 % 1.22/1.45 |- ~c1_1 $_71 \/ ~c4_2 $_71 a595 \/ ~ndr1_1 $_71 \/ c2_2 $_71 a603 \/ % 1.22/1.45 ssSkP2 $_71 % 1.22/1.45 |- ~c1_1 a593 \/ ~c1_2 a593 a595 \/ ~ndr1_1 a593 \/ c1_1 $_63 \/ c2_0 \/ % 1.22/1.45 c2_2 a593 a621 \/ c4_0 \/ ndr1_1 $_63 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.45 |- ~c1_1 a593 \/ ~c1_2 a593 a595 \/ ~ndr1_1 a593 \/ c2_0 \/ c2_1 $_61 \/ % 1.22/1.45 c2_2 a593 a621 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.45 |- ~c1_1 a608 \/ ~c1_2 a608 a595 \/ ~ndr1_1 a608 \/ c2_2 a608 a609 \/ % 1.22/1.45 ssSkC3 % 1.22/1.45 |- ~c1_1 a619 \/ ~c1_2 a619 a595 \/ ~ndr1_1 a619 \/ c1_0 \/ % 1.22/1.45 c2_2 a619 a639 \/ c3_1 a619 \/ c4_0 % 1.22/1.45 |- ~c1_1 a624 \/ ~c1_2 a624 a595 \/ ~ndr1_1 a624 \/ c2_2 a624 a626 \/ % 1.22/1.45 ssSkC4 % 1.22/1.45 |- ~c1_1 a624 \/ ~c1_2 a624 a595 \/ ~ndr1_1 a624 \/ c2_2 a624 $_76 \/ % 1.22/1.45 c3_2 a624 $_76 \/ ssSkC4 % 1.22/1.45 |- ~c1_1 $_75 \/ ~c1_2 $_75 a595 \/ ~ndr1_1 $_75 \/ c2_2 $_75 a603 \/ % 1.22/1.45 ssSkP2 $_75 % 1.22/1.45 |- ~c3_0 \/ ~c3_1 $_79 \/ ~ndr1_1 a613 \/ c1_2 a613 a599 \/ c5_1 $_79 \/ % 1.22/1.45 ssSkP0 a613 % 1.22/1.45 |- ~c3_0 \/ ~c3_1 $_81 \/ c1_1 a613 \/ c1_2 a613 a599 \/ c2_0 \/ c4_0 \/ % 1.22/1.45 c5_1 $_81 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkP0 a613 % 1.22/1.45 |- ~c3_0 \/ ~c3_1 $_81 \/ c1_1 a613 \/ c1_2 a613 a599 \/ c2_0 \/ c4_0 \/ % 1.22/1.45 c5_1 $_81 \/ ndr1_1 a587 \/ ssSkP0 a613 % 1.22/1.45 |- ~c3_0 \/ ~c3_1 $_81 \/ c1_2 a613 a599 \/ c2_1 a613 \/ c5_1 $_81 \/ % 1.22/1.45 ssSkC2 \/ ssSkP0 a613 % 1.22/1.45 |- ~c2_0 \/ ~ndr1_1 $_83 \/ c1_2 $_83 a599 \/ c2_2 $_83 a636 \/ % 1.22/1.45 c4_2 $_83 a599 \/ ssSkP0 $_83 % 1.22/1.45 |- ~c2_0 \/ c1_2 a608 a599 \/ c2_2 a608 a636 \/ c4_2 a608 a599 \/ ssSkC3 \/ % 1.22/1.45 ssSkP0 a608 % 1.22/1.45 |- ~c2_0 \/ c1_0 \/ c1_2 a619 a599 \/ c2_2 a619 a636 \/ c3_1 a619 \/ % 1.22/1.45 c4_0 \/ c4_2 a619 a599 \/ ssSkP0 a619 % 1.22/1.45 |- ~c2_0 \/ c1_2 a624 a599 \/ c2_2 a624 a636 \/ c4_2 a624 a599 \/ ssSkC4 \/ % 1.22/1.45 ssSkP0 a624 % 1.22/1.45 |- ~c2_0 \/ c1_2 a637 a599 \/ c2_2 a637 a636 \/ c3_0 \/ c4_2 a637 a599 \/ % 1.22/1.45 ssSkP0 a637 % 1.22/1.45 |- ~c2_0 \/ c1_2 $_85 a599 \/ c2_1 $_85 \/ c2_2 $_85 a636 \/ % 1.22/1.45 c4_2 $_85 a599 \/ ssSkC2 \/ ssSkP0 $_85 % 1.22/1.45 |- ~ndr1_1 $_92 \/ c1_1 $_92 \/ c2_0 \/ c2_1 $_92 \/ c3_2 $_92 a599 \/ % 1.22/1.45 ndr1_1 a596 \/ ssSkP0 $_92 % 1.22/1.45 |- c1_1 a608 \/ c2_0 \/ c2_1 a608 \/ ndr1_1 a596 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.45 |- c1_1 a624 \/ c2_0 \/ c2_1 a624 \/ ndr1_1 a596 \/ ssSkC4 \/ ssSkP0 a624 % 1.22/1.45 |- c1_1 a637 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ ndr1_1 a596 \/ ssSkP0 a637 % 1.22/1.45 |- c1_1 $_101 \/ c2_0 \/ c2_1 $_101 \/ ndr1_1 a596 \/ ssSkC2 % 1.22/1.45 |- c1_1 $_102 \/ c2_0 \/ c2_1 $_57 \/ ndr1_1 $_102 \/ ndr1_1 a596 \/ ssSkC2 % 1.22/1.45 |- c1_1 $_102 \/ c2_0 \/ c4_0 \/ ndr1_1 $_102 \/ ndr1_1 a596 \/ ssSkC2 % 1.22/1.45 |- c1_1 a596 \/ c2_0 \/ c2_1 $_57 \/ ndr1_1 a596 \/ ssSkC2 % 1.22/1.45 |- c1_1 a596 \/ c2_0 \/ c4_0 \/ ndr1_1 a596 \/ ssSkC2 % 1.22/1.45 |- ~c3_0 \/ ~c3_1 $_79 \/ c1_1 a613 \/ c1_2 a613 a599 \/ c2_0 \/ c4_0 \/ % 1.22/1.45 c5_1 $_79 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP0 a613 % 1.22/1.45 |- ~c1_0 \/ ~c3_0 \/ c1_1 a615 \/ c1_2 a615 a599 \/ c2_0 \/ % 1.22/1.45 c3_2 a615 a599 \/ c4_0 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP0 a615 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a603 \/ c2_0 \/ c3_0 \/ c4_0 \/ % 1.22/1.45 ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a633 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a602 \/ c2_0 \/ c3_0 \/ c4_0 \/ % 1.22/1.45 ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a633 % 1.22/1.45 |- ~c3_0 \/ ~c3_1 $_79 \/ c1_1 a613 \/ c1_2 a613 a599 \/ c2_0 \/ % 1.22/1.45 c2_1 $_106 \/ c5_1 $_79 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP0 a613 % 1.22/1.45 |- ~c1_0 \/ ~c3_0 \/ c1_1 a615 \/ c1_2 a615 a599 \/ c2_0 \/ c2_1 $_106 \/ % 1.22/1.45 c3_2 a615 a599 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP0 a615 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a603 \/ c2_0 \/ c2_1 $_106 \/ c3_0 \/ % 1.22/1.45 ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a633 % 1.22/1.45 |- ~ssSkC6 \/ c1_1 a633 \/ c1_2 a633 a602 \/ c2_0 \/ c2_1 $_106 \/ c3_0 \/ % 1.22/1.45 ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a633 % 1.22/1.45 |- ~ndr1_1 $_109 \/ c1_1 $_109 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_109 \/ % 1.22/1.45 c3_2 $_109 a599 \/ ssSkP0 $_109 % 1.22/1.45 |- c1_1 a608 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 a608 \/ ssSkC3 \/ % 1.22/1.45 ssSkP0 a608 % 1.22/1.45 |- c1_1 a624 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 a624 \/ ssSkC4 \/ % 1.22/1.45 ssSkP0 a624 % 1.22/1.45 |- c1_1 a637 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ ssSkP0 a637 % 1.22/1.45 |- c1_1 $_118 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_118 \/ ssSkC2 % 1.22/1.45 |- c1_1 $_119 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_57 \/ ndr1_1 $_119 \/ % 1.22/1.45 ssSkC2 % 1.22/1.45 |- c1_1 $_119 \/ c1_2 a596 a598 \/ c2_0 \/ c4_0 \/ ndr1_1 $_119 \/ ssSkC2 % 1.22/1.45 |- ~ndr1_1 $_123 \/ c1_1 $_123 \/ c2_0 \/ c2_1 $_123 \/ c2_2 a596 a598 \/ % 1.22/1.45 c3_2 $_123 a599 \/ ssSkP0 $_123 % 1.22/1.45 |- c1_1 a608 \/ c2_0 \/ c2_1 a608 \/ c2_2 a596 a598 \/ ssSkC3 \/ % 1.22/1.45 ssSkP0 a608 % 1.22/1.45 |- c1_1 a624 \/ c2_0 \/ c2_1 a624 \/ c2_2 a596 a598 \/ ssSkC4 \/ % 1.22/1.45 ssSkP0 a624 % 1.22/1.45 |- c1_1 a637 \/ c2_0 \/ c2_1 a637 \/ c2_2 a596 a598 \/ c3_0 \/ ssSkP0 a637 % 1.22/1.45 |- c1_1 $_132 \/ c2_0 \/ c2_1 $_132 \/ c2_2 a596 a598 \/ ssSkC2 % 1.22/1.45 |- c1_1 $_133 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a596 a598 \/ ndr1_1 $_133 \/ % 1.22/1.45 ssSkC2 % 1.22/1.45 |- c1_1 $_133 \/ c2_0 \/ c2_2 a596 a598 \/ c4_0 \/ ndr1_1 $_133 \/ ssSkC2 % 1.22/1.45 |- ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a637 \/ c2_0 \/ c2_1 a596 \/ % 1.22/1.45 c2_1 a637 \/ c3_0 \/ c3_2 a596 a598 \/ c5_2 a596 a597 \/ ssSkP0 a637 % 1.22/1.45 |- ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a624 \/ c2_0 \/ c2_1 a596 \/ % 1.22/1.45 c2_1 a624 \/ c3_2 a596 a598 \/ c5_2 a596 a597 \/ ssSkC4 \/ ssSkP0 a624 % 1.22/1.45 |- ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a608 \/ c2_0 \/ c2_1 a596 \/ % 1.22/1.45 c2_1 a608 \/ c3_2 a596 a598 \/ c5_2 a596 a597 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.45 |- ~ndr1_1 $_137 \/ c1_1 $_137 \/ c2_0 \/ c2_1 $_137 \/ c3_2 $_137 a599 \/ % 1.22/1.45 c5_2 a596 a597 \/ ssSkP0 $_137 % 1.22/1.45 |- c1_1 a608 \/ c2_0 \/ c2_1 a608 \/ c3_2 a608 a599 \/ c5_2 a596 a597 \/ % 1.22/1.45 ssSkC3 \/ ssSkP0 a608 % 1.22/1.45 |- c1_1 a624 \/ c2_0 \/ c2_1 a624 \/ c3_2 a624 a599 \/ c5_2 a596 a597 \/ % 1.22/1.45 ssSkC4 \/ ssSkP0 a624 % 1.22/1.45 |- c1_1 a637 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ c3_2 a637 a599 \/ % 1.22/1.45 c5_2 a596 a597 \/ ssSkP0 a637 % 1.22/1.45 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 a608 \/ c2_0 \/ % 1.22/1.45 c2_1 a608 \/ c2_2 a596 a597 \/ c3_2 a608 a599 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.45 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 a608 \/ c2_0 \/ % 1.22/1.45 c2_1 a608 \/ c2_2 a596 a597 \/ c3_2 a608 a599 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.45 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 a624 \/ c2_0 \/ % 1.22/1.45 c2_1 a624 \/ c2_2 a596 a597 \/ c3_2 a624 a599 \/ ssSkC4 \/ ssSkP0 a624 % 1.22/1.45 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 a624 \/ c2_0 \/ % 1.22/1.45 c2_1 a624 \/ c2_2 a596 a597 \/ c3_2 a624 a599 \/ ssSkC4 \/ ssSkP0 a624 % 1.22/1.45 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 a637 \/ c2_0 \/ % 1.22/1.45 c2_1 a637 \/ c2_2 a596 a597 \/ c3_0 \/ c3_2 a637 a599 \/ ssSkP0 a637 % 1.22/1.45 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 a637 \/ c2_0 \/ % 1.22/1.45 c2_1 a637 \/ c2_2 a596 a597 \/ c3_0 \/ c3_2 a637 a599 \/ ssSkP0 a637 % 1.22/1.45 |- ~c4_2 a596 a598 \/ ~ndr1_1 $_144 \/ c1_1 $_144 \/ c2_0 \/ c2_1 $_144 \/ % 1.22/1.45 c3_2 $_144 a599 \/ ssSkP0 $_144 % 1.22/1.45 |- ~c4_2 a596 a598 \/ c1_1 $_146 \/ c2_0 \/ c2_1 $_146 \/ % 1.22/1.45 c3_2 $_146 a599 \/ ssSkC2 \/ ssSkP0 $_146 % 1.22/1.45 |- ~c2_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 $_132 \/ c1_1 a596 \/ c2_0 \/ % 1.22/1.45 c2_1 $_132 \/ c2_1 a596 \/ c3_2 a596 a598 \/ ssSkC2 % 1.22/1.45 |- ~c2_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a637 \/ c2_0 \/ % 1.22/1.45 c2_1 a596 \/ c2_1 a637 \/ c3_0 \/ c3_2 a596 a598 \/ ssSkP0 a637 % 1.22/1.45 |- ~c2_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a624 \/ c2_0 \/ % 1.22/1.45 c2_1 a596 \/ c2_1 a624 \/ c3_2 a596 a598 \/ ssSkC4 \/ ssSkP0 a624 % 1.22/1.45 |- ~c2_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a608 \/ c2_0 \/ % 1.22/1.45 c2_1 a596 \/ c2_1 a608 \/ c3_2 a596 a598 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.45 |- ~c2_2 a596 a597 \/ ~ndr1_1 $_150 \/ c1_1 $_150 \/ c2_0 \/ c2_1 $_150 \/ % 1.22/1.45 c3_2 $_150 a599 \/ ssSkP0 $_150 % 1.22/1.45 |- ~c2_2 a596 a597 \/ c1_1 $_152 \/ c2_0 \/ c2_1 $_152 \/ % 1.22/1.45 c3_2 $_152 a599 \/ ssSkC2 \/ ssSkP0 $_152 % 1.22/1.45 |- ~c1_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 $_132 \/ c1_1 a596 \/ c2_0 \/ % 1.22/1.45 c2_1 $_132 \/ c2_1 a596 \/ c3_2 a596 a598 \/ ssSkC2 % 1.22/1.45 |- ~c1_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a637 \/ c2_0 \/ % 1.22/1.45 c2_1 a596 \/ c2_1 a637 \/ c3_0 \/ c3_2 a596 a598 \/ ssSkP0 a637 % 1.22/1.45 |- ~c1_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a624 \/ c2_0 \/ % 1.22/1.45 c2_1 a596 \/ c2_1 a624 \/ c3_2 a596 a598 \/ ssSkC4 \/ ssSkP0 a624 % 1.22/1.45 |- ~c1_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a608 \/ c2_0 \/ % 1.22/1.45 c2_1 a596 \/ c2_1 a608 \/ c3_2 a596 a598 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.45 |- ~c1_2 a596 a597 \/ ~ndr1_1 $_156 \/ c1_1 $_156 \/ c2_0 \/ c2_1 $_156 \/ % 1.22/1.45 c3_2 $_156 a599 \/ ssSkP0 $_156 % 1.22/1.45 |- ~c1_2 a596 a597 \/ c1_1 $_158 \/ c2_0 \/ c2_1 $_158 \/ % 1.22/1.45 c3_2 $_158 a599 \/ ssSkC2 \/ ssSkP0 $_158 % 1.22/1.45 |- ~c4_1 $_169 \/ ~ndr1_1 $_169 \/ c2_2 $_169 a621 \/ c3_2 $_169 a621 \/ % 1.22/1.45 c4_2 $_169 a628 \/ ssSkC5 \/ ssSkP3 $_169 % 1.22/1.45 |- ~c4_1 a637 \/ c2_2 a637 a638 \/ c3_0 \/ c3_2 a637 a638 \/ % 1.22/1.45 c4_2 a637 a628 \/ ssSkC5 % 1.22/1.45 |- ~c4_1 a587 \/ c1_1 $_60 \/ c2_0 \/ c2_2 a587 a621 \/ c3_2 a587 a621 \/ % 1.22/1.45 c4_0 \/ c4_2 a587 a628 \/ ndr1_1 $_60 \/ ssSkC5 \/ ssSkP3 a587 % 1.22/1.45 |- ~c4_1 a587 \/ c2_0 \/ c2_1 $_59 \/ c2_2 a587 a621 \/ c3_2 a587 a621 \/ % 1.22/1.45 c4_0 \/ c4_2 a587 a628 \/ ssSkC5 \/ ssSkP3 a587 % 1.22/1.45 |- ~c4_1 a587 \/ c1_1 a587 \/ c2_0 \/ c2_2 a587 a621 \/ c3_2 a587 a621 \/ % 1.22/1.45 c4_0 \/ c4_2 a587 a628 \/ ssSkC5 \/ ssSkP3 a587 % 1.22/1.46 |- ~c4_1 a593 \/ c1_1 $_61 \/ c2_0 \/ c2_2 a593 a621 \/ c3_2 a593 a621 \/ % 1.22/1.46 c4_0 \/ c4_2 a593 a628 \/ ndr1_1 $_61 \/ ssSkC1 \/ ssSkC5 \/ ssSkP3 a593 % 1.22/1.46 |- ~c4_1 a593 \/ c2_0 \/ c2_1 $_59 \/ c2_2 a593 a621 \/ c3_2 a593 a621 \/ % 1.22/1.46 c4_2 a593 a628 \/ ssSkC1 \/ ssSkC5 \/ ssSkP3 a593 % 1.22/1.46 |- ~c4_1 a593 \/ c1_1 a593 \/ c2_0 \/ c2_2 a593 a621 \/ c3_2 a593 a621 \/ % 1.22/1.46 c4_0 \/ c4_2 a593 a628 \/ ssSkC1 \/ ssSkC5 \/ ssSkP3 a593 % 1.22/1.46 |- ~c4_1 a596 \/ c1_1 a596 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a596 a621 \/ % 1.22/1.46 c3_2 a596 a621 \/ c4_2 a596 a628 \/ ssSkC2 \/ ssSkC5 \/ ssSkP3 a596 % 1.22/1.46 |- ~c4_1 a596 \/ c1_1 a596 \/ c2_0 \/ c2_2 a596 a621 \/ c3_2 a596 a621 \/ % 1.22/1.46 c4_0 \/ c4_2 a596 a628 \/ ssSkC2 \/ ssSkC5 \/ ssSkP3 a596 % 1.22/1.46 |- ~c4_1 a608 \/ c2_2 a608 a621 \/ c3_2 a608 a621 \/ c4_2 a608 a628 \/ % 1.22/1.46 ssSkC3 \/ ssSkC5 \/ ssSkP3 a608 % 1.22/1.46 |- ~c4_1 a624 \/ c2_2 a624 a621 \/ c3_2 a624 a621 \/ c4_2 a624 a628 \/ % 1.22/1.46 ssSkC4 \/ ssSkC5 \/ ssSkP3 a624 % 1.22/1.46 |- ~c4_1 a637 \/ c2_2 a637 a621 \/ c3_0 \/ c3_2 a637 a621 \/ % 1.22/1.46 c4_2 a637 a628 \/ ssSkC5 \/ ssSkP3 a637 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c2_0 \/ c2_1 $_57 \/ c2_2 $_171 a621 \/ % 1.22/1.46 c2_2 a596 a598 \/ c3_2 $_171 a621 \/ c4_2 $_171 a628 \/ ssSkC2 \/ % 1.22/1.46 ssSkC5 \/ ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c2_0 \/ c2_2 $_171 a621 \/ % 1.22/1.46 c2_2 a596 a598 \/ c3_2 $_171 a621 \/ c4_0 \/ c4_2 $_171 a628 \/ % 1.22/1.46 ssSkC2 \/ ssSkC5 \/ ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_57 \/ % 1.22/1.46 c2_2 $_171 a621 \/ c3_2 $_171 a621 \/ c4_2 $_171 a628 \/ ssSkC2 \/ % 1.22/1.46 ssSkC5 \/ ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c1_2 a596 a598 \/ c2_0 \/ % 1.22/1.46 c2_2 $_171 a621 \/ c3_2 $_171 a621 \/ c4_0 \/ c4_2 $_171 a628 \/ % 1.22/1.46 ssSkC2 \/ ssSkC5 \/ ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c2_0 \/ c2_1 $_57 \/ c2_2 $_171 a621 \/ % 1.22/1.46 c3_2 $_171 a621 \/ c4_2 $_171 a628 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkC5 \/ % 1.22/1.46 ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c2_0 \/ c2_2 $_171 a621 \/ % 1.22/1.46 c3_2 $_171 a621 \/ c4_0 \/ c4_2 $_171 a628 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.22/1.46 ssSkC5 \/ ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c2_0 \/ c2_2 $_171 a621 \/ % 1.22/1.46 c3_2 $_171 a621 \/ c4_0 \/ c4_2 $_171 a628 \/ c5_2 a593 a621 \/ % 1.22/1.46 ssSkC1 \/ ssSkC5 \/ ssSkP3 $_171 \/ ssSkP3 a593 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c2_0 \/ c2_2 $_171 a621 \/ % 1.22/1.46 c3_2 $_171 a621 \/ c4_0 \/ c4_2 $_171 a628 \/ ndr1_1 a593 \/ ssSkC1 \/ % 1.22/1.46 ssSkC5 \/ ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c1_1 $_171 \/ c2_0 \/ c2_2 $_171 a621 \/ % 1.22/1.46 c3_2 $_171 a621 \/ c4_0 \/ c4_2 $_171 a628 \/ ndr1_1 a587 \/ ssSkC5 \/ % 1.22/1.46 ssSkP3 $_171 % 1.22/1.46 |- ~c4_1 $_171 \/ c2_1 $_171 \/ c2_2 $_171 a621 \/ c3_2 $_171 a621 \/ % 1.22/1.46 c4_2 $_171 a628 \/ ssSkC2 \/ ssSkC5 \/ ssSkP3 $_171 % 1.22/1.46 |- c1_0 \/ c2_2 a619 a621 \/ c3_1 a619 \/ c3_2 a619 a621 \/ c4_0 \/ % 1.22/1.46 c4_2 a619 a628 \/ ssSkC5 \/ ssSkP3 a619 % 1.22/1.46 |- ~c1_2 a608 a609 \/ ~c2_0 \/ ~ndr1_1 a608 \/ c1_1 a608 \/ % 1.22/1.46 c2_2 a608 a609 \/ c4_2 a608 a617 \/ ssSkC3 % 1.22/1.46 |- ~c1_2 a624 a626 \/ ~c2_0 \/ ~ndr1_1 a624 \/ c1_1 a624 \/ % 1.22/1.46 c2_2 a624 a626 \/ c4_2 a624 a617 \/ ssSkC4 % 1.22/1.46 |- ~c1_2 a624 $_173 \/ ~c2_0 \/ ~ndr1_1 a624 \/ c1_1 a624 \/ % 1.22/1.46 c2_2 a624 $_173 \/ c3_2 a624 $_173 \/ c4_2 a624 a617 \/ ssSkC4 % 1.22/1.46 |- ~c1_2 $_172 a603 \/ ~c2_0 \/ ~ndr1_1 $_172 \/ c1_1 $_172 \/ % 1.22/1.46 c2_2 $_172 a603 \/ c4_2 $_172 a617 \/ ssSkP2 $_172 % 1.22/1.46 |- ~c2_0 \/ c1_1 a624 \/ c2_2 a624 a621 \/ c3_2 a624 a621 \/ % 1.22/1.46 c4_2 a624 a617 \/ ssSkC4 \/ ssSkP3 a624 % 1.22/1.46 |- ~c1_2 a637 a628 \/ ~c4_1 a637 \/ ~ndr1_1 a637 \/ c2_2 a637 a638 \/ % 1.22/1.46 c3_0 \/ c3_2 a637 a638 \/ ssSkC5 % 1.22/1.46 |- ~c1_2 a624 $_179 \/ ~c4_1 a624 \/ ~ndr1_1 a624 \/ c2_2 a624 $_179 \/ % 1.22/1.46 c2_2 a624 a628 \/ c3_2 a624 $_179 \/ c3_2 a624 a628 \/ ssSkC4 \/ ssSkC5 % 1.22/1.46 |- ~c4_1 a624 \/ c2_2 a624 a621 \/ c2_2 a624 a628 \/ c3_2 a624 a621 \/ % 1.22/1.46 c3_2 a624 a628 \/ ssSkC4 \/ ssSkC5 \/ ssSkP3 a624 % 1.22/1.46 |- ~c1_2 a608 a609 \/ ~c1_2 a608 a617 \/ ~c2_0 \/ ~ndr1_1 a608 \/ % 1.22/1.46 c1_1 a608 \/ c2_2 a608 a609 \/ ssSkC3 % 1.22/1.46 |- ~c1_2 a624 a617 \/ ~c1_2 a624 a626 \/ ~c2_0 \/ ~ndr1_1 a624 \/ % 1.22/1.46 c1_1 a624 \/ c2_2 a624 a626 \/ ssSkC4 % 1.22/1.46 |- ~c1_2 a624 $_182 \/ ~c1_2 a624 a617 \/ ~c2_0 \/ ~ndr1_1 a624 \/ % 1.22/1.46 c1_1 a624 \/ c2_2 a624 $_182 \/ c3_2 a624 $_182 \/ ssSkC4 % 1.22/1.46 |- ~c1_2 $_181 a603 \/ ~c1_2 $_181 a617 \/ ~c2_0 \/ ~ndr1_1 $_181 \/ % 1.22/1.46 c1_1 $_181 \/ c2_2 $_181 a603 \/ ssSkP2 $_181 % 1.22/1.46 |- ~c1_2 a624 a617 \/ ~c2_0 \/ ~ndr1_1 a624 \/ c1_1 a624 \/ % 1.22/1.46 c2_2 a624 a617 \/ c3_2 a624 a617 \/ ssSkC4 % 1.22/1.46 |- ~c1_2 a624 a617 \/ ~c2_0 \/ ~ndr1_1 a624 \/ c1_1 a624 \/ % 1.22/1.46 c2_2 a624 a621 \/ c3_2 a624 a621 \/ ssSkC4 \/ ssSkP3 a624 % 1.22/1.46 |- c1_1 $_189 \/ c2_0 \/ c2_1 $_189 \/ c5_2 a596 a597 \/ ssSkC2 % 1.22/1.46 |- c1_1 $_190 \/ c2_0 \/ c2_1 $_57 \/ c5_2 a596 a597 \/ ndr1_1 $_190 \/ % 1.22/1.46 ssSkC2 % 1.22/1.46 |- c1_1 $_190 \/ c2_0 \/ c4_0 \/ c5_2 a596 a597 \/ ndr1_1 $_190 \/ ssSkC2 % 1.22/1.46 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 $_190 \/ c2_0 \/ % 1.22/1.46 c2_1 $_190 \/ c2_2 a596 a597 \/ ssSkC2 % 1.22/1.46 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 $_190 \/ c2_0 \/ % 1.22/1.46 c2_1 $_190 \/ c2_2 a596 a597 \/ ssSkC2 % 1.22/1.46 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 $_191 \/ c2_0 \/ % 1.22/1.46 c2_2 a596 a597 \/ c4_0 \/ ndr1_1 $_191 \/ ssSkC2 % 1.22/1.46 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 $_191 \/ c2_0 \/ % 1.22/1.46 c2_2 a596 a597 \/ c4_0 \/ ndr1_1 $_191 \/ ssSkC2 % 1.22/1.46 |- ~c4_1 $_191 \/ c1_1 $_191 \/ c2_0 \/ c2_2 $_191 a621 \/ % 1.22/1.46 c3_2 $_191 a621 \/ c4_0 \/ c4_2 $_191 a628 \/ c5_2 a596 a597 \/ % 1.22/1.46 ssSkC2 \/ ssSkC5 \/ ssSkP3 $_191 % 1.22/1.46 |- c1_0 \/ c2_1 a619 \/ c2_2 a619 a621 \/ c3_2 a619 a621 \/ % 1.22/1.46 c4_2 a619 a628 \/ ssSkC2 \/ ssSkC5 \/ ssSkP3 a619 % 1.22/1.46 |- ~c1_2 a624 a626 \/ ~c2_1 a624 \/ ~c3_0 \/ ~c4_0 \/ ~ndr1_1 a624 \/ % 1.22/1.46 c2_2 a624 a626 \/ c4_1 a624 \/ ssSkC4 % 1.22/1.46 |- ~c2_1 $_195 \/ ~c3_0 \/ ~c4_0 \/ ~ndr1_1 $_195 \/ c2_2 $_195 a621 \/ % 1.22/1.46 c4_1 $_195 \/ ssSkP3 $_195 % 1.22/1.46 |- ~c2_1 a596 \/ ~c3_0 \/ ~c4_0 \/ c1_1 $_102 \/ c2_0 \/ c2_1 $_57 \/ % 1.22/1.46 c2_2 a596 a621 \/ c4_1 a596 \/ ndr1_1 $_102 \/ ssSkC2 \/ ssSkP3 a596 % 1.22/1.46 |- ~c2_1 a596 \/ ~c3_0 \/ ~c4_0 \/ c1_1 a596 \/ c2_0 \/ c2_1 $_57 \/ % 1.22/1.46 c2_2 a596 a621 \/ c4_1 a596 \/ ssSkC2 \/ ssSkP3 a596 % 1.22/1.46 |- ~c2_1 a596 \/ ~c3_0 \/ ~c4_0 \/ c1_1 $_101 \/ c2_0 \/ c2_1 $_101 \/ % 1.22/1.46 c2_2 a596 a621 \/ c4_1 a596 \/ ssSkC2 \/ ssSkP3 a596 % 1.22/1.46 |- ~c2_1 a608 \/ ~c3_0 \/ ~c4_0 \/ c2_2 a608 a621 \/ c4_1 a608 \/ ssSkC3 \/ % 1.22/1.46 ssSkP3 a608 % 1.22/1.46 |- ~c2_1 a624 \/ ~c3_0 \/ ~c4_0 \/ c2_2 a624 a621 \/ c4_1 a624 \/ ssSkC4 \/ % 1.22/1.46 ssSkP3 a624 % 1.22/1.46 |- ~c3_0 \/ ~c4_0 \/ c2_0 \/ c2_1 $_197 \/ c2_2 a593 a621 \/ c4_1 a593 \/ % 1.22/1.46 ssSkC1 \/ ssSkP3 a593 % 1.22/1.46 |- ~c1_2 a593 a621 \/ ~c3_1 a593 \/ ~c3_2 a593 a621 \/ ~ndr1_1 a593 \/ % 1.22/1.46 ~ssSkC4 \/ c1_1 $_63 \/ c1_2 a593 a627 \/ c2_0 \/ c4_0 \/ ndr1_1 $_63 \/ % 1.22/1.46 ssSkC1 \/ ssSkP3 a593 % 1.22/1.46 |- ~c1_2 a593 a621 \/ ~c3_1 a593 \/ ~c3_2 a593 a621 \/ ~ndr1_1 a593 \/ % 1.22/1.46 ~ssSkC4 \/ c1_2 a593 a627 \/ c2_0 \/ c2_1 $_61 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.46 |- ~c1_2 a593 a621 \/ ~c3_1 a593 \/ ~c3_2 a593 a621 \/ ~ndr1_1 a593 \/ % 1.22/1.46 ~ssSkC4 \/ c1_1 a593 \/ c1_2 a593 a627 \/ c2_0 \/ c4_0 \/ ssSkC1 \/ % 1.22/1.46 ssSkP3 a593 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ ~ndr1_1 a596 \/ % 1.22/1.46 ~ssSkC4 \/ c1_1 $_190 \/ c1_2 a596 a627 \/ c2_0 \/ c4_0 \/ % 1.22/1.46 ndr1_1 $_190 \/ ssSkC2 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ ~ndr1_1 a596 \/ % 1.22/1.46 ~ssSkC4 \/ c1_1 $_189 \/ c1_2 a596 a627 \/ c2_0 \/ c2_1 $_189 \/ ssSkC2 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ ~ndr1_1 a596 \/ % 1.22/1.46 ~ssSkC4 \/ c1_1 a637 \/ c1_2 a596 a627 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ % 1.22/1.46 c3_2 a637 a599 \/ ssSkP0 a637 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ ~ndr1_1 a596 \/ % 1.22/1.46 ~ssSkC4 \/ c1_1 a608 \/ c1_2 a596 a627 \/ c2_0 \/ c2_1 a608 \/ % 1.22/1.46 c3_2 a608 a599 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.46 |- ~c1_2 a608 a609 \/ ~c3_1 a608 \/ ~c3_2 a608 a609 \/ ~ndr1_1 a608 \/ % 1.22/1.46 ~ssSkC4 \/ c1_2 a608 a627 \/ c2_0 \/ ssSkC3 % 1.22/1.46 |- ~c1_2 $_201 a603 \/ ~c3_1 $_201 \/ ~ndr1_1 $_201 \/ ~ssSkC4 \/ % 1.22/1.46 c1_2 $_201 a627 \/ c2_0 \/ ssSkP2 $_201 % 1.22/1.46 |- ~c1_2 a593 a621 \/ ~c2_2 a593 a627 \/ ~c3_1 a593 \/ ~c3_2 a593 a621 \/ % 1.22/1.46 ~ndr1_1 a593 \/ ~ssSkC4 \/ c1_1 $_63 \/ c2_0 \/ c4_0 \/ ndr1_1 $_63 \/ % 1.22/1.46 ssSkC1 \/ ssSkP3 a593 % 1.22/1.46 |- ~c1_2 a593 a621 \/ ~c2_2 a593 a627 \/ ~c3_1 a593 \/ ~c3_2 a593 a621 \/ % 1.22/1.46 ~ndr1_1 a593 \/ ~ssSkC4 \/ c2_0 \/ c2_1 $_61 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.46 |- ~c1_2 a593 a621 \/ ~c2_2 a593 a627 \/ ~c3_1 a593 \/ ~c3_2 a593 a621 \/ % 1.22/1.46 ~ndr1_1 a593 \/ ~ssSkC4 \/ c1_1 a593 \/ c2_0 \/ c4_0 \/ ssSkC1 \/ % 1.22/1.46 ssSkP3 a593 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c2_2 a596 a627 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ % 1.22/1.46 ~ndr1_1 a596 \/ ~ssSkC4 \/ c1_1 $_190 \/ c2_0 \/ c4_0 \/ ndr1_1 $_190 \/ % 1.22/1.46 ssSkC2 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c2_2 a596 a627 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ % 1.22/1.46 ~ndr1_1 a596 \/ ~ssSkC4 \/ c1_1 $_189 \/ c2_0 \/ c2_1 $_189 \/ ssSkC2 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c2_2 a596 a627 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ % 1.22/1.46 ~ndr1_1 a596 \/ ~ssSkC4 \/ c1_1 a637 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ % 1.22/1.46 c3_2 a637 a599 \/ ssSkP0 a637 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c2_2 a596 a627 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ % 1.22/1.46 ~ndr1_1 a596 \/ ~ssSkC4 \/ c1_1 a608 \/ c2_0 \/ c2_1 a608 \/ % 1.22/1.46 c3_2 a608 a599 \/ ssSkC3 \/ ssSkP0 a608 % 1.22/1.46 |- ~c1_2 a608 a609 \/ ~c2_2 a608 a627 \/ ~c3_1 a608 \/ ~c3_2 a608 a609 \/ % 1.22/1.46 ~ndr1_1 a608 \/ ~ssSkC4 \/ c2_0 \/ ssSkC3 % 1.22/1.46 |- ~c1_2 $_205 a603 \/ ~c2_2 $_205 a627 \/ ~c3_1 $_205 \/ ~ndr1_1 $_205 \/ % 1.22/1.46 ~ssSkC4 \/ c2_0 \/ ssSkP2 $_205 % 1.22/1.46 |- ~c1_0 \/ ~c2_2 a624 a626 \/ ~c3_1 a624 \/ ~c3_2 a624 a623 \/ ~c4_0 \/ % 1.22/1.46 ~ndr1_1 a624 \/ c1_2 a624 a626 \/ ssSkC4 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c2_2 a596 a627 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ % 1.22/1.46 ~ndr1_1 a596 \/ ~ssSkC4 \/ c1_1 $_213 \/ c2_0 \/ c2_1 $_214 \/ % 1.22/1.46 ndr1_1 $_213 \/ ssSkC2 % 1.22/1.46 |- ~c1_2 a596 a597 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ ~ndr1_1 a596 \/ % 1.22/1.46 ~ssSkC4 \/ c1_1 $_213 \/ c1_2 a596 a627 \/ c2_0 \/ c2_1 $_214 \/ % 1.22/1.46 ndr1_1 $_213 \/ ssSkC2 % 1.22/1.46 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 $_213 \/ c2_0 \/ % 1.22/1.46 c2_1 $_214 \/ c2_2 a596 a597 \/ ndr1_1 $_213 \/ ssSkC2 % 1.22/1.46 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_1 $_213 \/ c2_0 \/ % 1.22/1.46 c2_1 $_214 \/ c2_2 a596 a597 \/ ndr1_1 $_213 \/ ssSkC2 % 1.22/1.46 |- ~c4_1 $_213 \/ c1_1 $_213 \/ c2_0 \/ c2_1 $_214 \/ c2_2 $_213 a621 \/ % 1.22/1.46 c3_2 $_213 a621 \/ c4_2 $_213 a628 \/ c5_2 a596 a597 \/ ssSkC2 \/ % 1.22/1.46 ssSkC5 \/ ssSkP3 $_213 % 1.22/1.46 |- ~c2_0 \/ ~c2_2 $_223 $_225 \/ ~ndr1_1 $_223 \/ c1_2 $_223 $_225 \/ % 1.22/1.46 c2_2 $_223 a636 \/ c4_2 $_223 a599 \/ ssSkP0 $_223 % 1.22/1.46 |- ~c2_0 \/ ~c2_2 $_223 $_224 \/ ~ndr1_1 $_223 \/ c1_2 $_223 a599 \/ % 1.22/1.46 c2_2 $_223 a636 \/ c4_2 $_223 $_224 \/ ssSkP0 $_223 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 $_244 \/ ~ndr1_1 a605 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_244 \/ c4_2 $_244 $_246 \/ c5_2 $_244 $_246 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 $_244 \/ ~ndr1_1 a605 \/ c2_2 a605 a603 \/ % 1.22/1.46 c3_1 $_244 \/ c4_2 $_244 $_246 \/ c5_2 $_244 $_246 \/ ssSkP2 a605 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_1 $_57 \/ c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_2 $_244 $_246 \/ % 1.22/1.46 c5_2 $_244 $_246 \/ c5_2 a596 a597 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_0 \/ c4_2 $_244 $_246 \/ % 1.22/1.46 c5_2 $_244 $_246 \/ c5_2 a596 a597 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_1 $_57 \/ c2_2 a596 a598 \/ c2_2 a605 $_245 \/ c3_1 $_244 \/ % 1.22/1.46 c4_2 $_244 $_246 \/ c5_2 $_244 $_246 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_2 a596 a598 \/ c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_0 \/ % 1.22/1.46 c4_2 $_244 $_246 \/ c5_2 $_244 $_246 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ % 1.22/1.46 c1_2 a596 a598 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 $_245 \/ c3_1 $_244 \/ % 1.22/1.46 c4_2 $_244 $_246 \/ c5_2 $_244 $_246 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ % 1.22/1.46 c1_2 a596 a598 \/ c2_0 \/ c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_0 \/ % 1.22/1.46 c4_2 $_244 $_246 \/ c5_2 $_244 $_246 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_1 $_57 \/ c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_2 $_244 $_246 \/ % 1.22/1.46 c5_2 $_244 $_246 \/ ndr1_1 a596 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_0 \/ c4_2 $_244 $_246 \/ % 1.22/1.46 c5_2 $_244 $_246 \/ ndr1_1 a596 \/ ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_0 \/ c4_2 $_244 $_246 \/ % 1.22/1.46 c5_2 $_244 $_246 \/ c5_2 a593 a621 \/ ssSkC1 \/ ssSkP3 a593 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_0 \/ c4_2 $_244 $_246 \/ % 1.22/1.46 c5_2 $_244 $_246 \/ ndr1_1 a593 \/ ssSkC1 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c1_1 $_244 \/ c2_0 \/ % 1.22/1.46 c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_0 \/ c4_2 $_244 $_246 \/ % 1.22/1.46 c5_2 $_244 $_246 \/ ndr1_1 a587 % 1.22/1.46 |- ~c1_0 \/ ~c3_2 a605 $_245 \/ ~ndr1_1 a605 \/ c2_1 $_244 \/ % 1.22/1.46 c2_2 a605 $_245 \/ c3_1 $_244 \/ c4_2 $_244 $_246 \/ c5_2 $_244 $_246 \/ % 1.22/1.46 ssSkC2 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a602 \/ c3_1 a605 \/ % 1.22/1.46 c4_2 a605 $_246 \/ c5_2 a605 $_246 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a603 \/ c3_1 a605 \/ % 1.22/1.46 c4_2 a605 $_246 \/ c5_2 a605 $_246 \/ ssSkP2 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 a605 \/ c4_2 a605 $_247 \/ c5_2 a605 $_247 \/ ndr1_1 a596 \/ % 1.22/1.46 ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a605 \/ c4_0 \/ % 1.22/1.46 c4_2 a605 $_247 \/ c5_2 a605 $_247 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a605 \/ c4_0 \/ % 1.22/1.46 c4_2 a605 $_247 \/ c5_2 a605 $_247 \/ ndr1_1 a593 \/ ssSkC1 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a605 \/ c4_0 \/ % 1.22/1.46 c4_2 a605 $_247 \/ c5_2 a605 $_247 \/ ndr1_1 a587 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a602 \/ c3_1 a605 \/ c4_2 a605 $_247 \/ % 1.22/1.46 c5_2 a605 $_247 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a603 \/ % 1.22/1.46 c3_1 a605 \/ c4_2 a605 $_248 \/ c5_2 a605 $_248 \/ ndr1_1 a596 \/ % 1.22/1.46 ssSkC2 \/ ssSkP2 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a605 \/ c4_0 \/ % 1.22/1.46 c4_2 a605 $_248 \/ c5_2 a605 $_248 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.22/1.46 ssSkP2 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a605 \/ c4_0 \/ % 1.22/1.46 c4_2 a605 $_248 \/ c5_2 a605 $_248 \/ ndr1_1 a593 \/ ssSkC1 \/ % 1.22/1.46 ssSkP2 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a605 \/ c4_0 \/ % 1.22/1.46 c4_2 a605 $_248 \/ c5_2 a605 $_248 \/ ndr1_1 a587 \/ ssSkP2 a605 % 1.22/1.46 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a603 \/ c3_1 a605 \/ c4_2 a605 $_248 \/ % 1.22/1.46 c5_2 a605 $_248 \/ ssSkC2 \/ ssSkP2 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a602 \/ c3_1 a608 \/ % 1.22/1.46 c4_2 a608 $_252 \/ c5_2 a608 $_252 \/ ssSkC3 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a602 \/ c3_1 a624 \/ % 1.22/1.46 c4_2 a624 $_252 \/ c5_2 a624 $_252 \/ ssSkC4 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a602 \/ c3_0 \/ c3_1 a637 \/ % 1.22/1.46 c4_2 a637 $_252 \/ c5_2 a637 $_252 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_251 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 c5_2 a596 a597 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_251 \/ c2_0 \/ c2_2 a596 a598 \/ % 1.22/1.46 c2_2 a605 a602 \/ c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ % 1.22/1.46 c5_2 $_251 $_252 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_251 \/ c1_2 a596 a598 \/ c2_0 \/ % 1.22/1.46 c2_2 a605 a602 \/ c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ % 1.22/1.46 c5_2 $_251 $_252 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_251 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_251 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 c5_2 a593 a621 \/ ssSkC1 \/ ssSkP1 a605 \/ ssSkP3 a593 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_251 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 ndr1_1 a593 \/ ssSkC1 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_251 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 ndr1_1 a587 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_1 $_251 \/ c2_2 a605 a602 \/ c3_1 $_251 \/ % 1.22/1.46 c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 $_251 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ % 1.22/1.46 c2_2 a605 a602 \/ c3_1 $_251 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 $_251 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 $_251 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 ndr1_1 a593 \/ ssSkC1 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 $_251 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 $_251 \/ c4_0 \/ c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ % 1.22/1.46 ndr1_1 a587 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 $_251 \/ c2_1 a605 \/ c2_2 a605 a602 \/ c3_1 $_251 \/ % 1.22/1.46 c4_2 $_251 $_252 \/ c5_2 $_251 $_252 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 a608 \/ c4_2 a608 $_253 \/ c5_2 a608 $_253 \/ ndr1_1 a596 \/ % 1.22/1.46 ssSkC2 \/ ssSkC3 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a608 \/ c4_0 \/ % 1.22/1.46 c4_2 a608 $_253 \/ c5_2 a608 $_253 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkC3 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a608 \/ c4_0 \/ % 1.22/1.46 c4_2 a608 $_253 \/ c5_2 a608 $_253 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkC3 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a608 \/ c4_0 \/ % 1.22/1.46 c4_2 a608 $_253 \/ c5_2 a608 $_253 \/ ndr1_1 a587 \/ ssSkC3 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a602 \/ c3_1 a608 \/ c4_2 a608 $_253 \/ % 1.22/1.46 c5_2 a608 $_253 \/ ssSkC2 \/ ssSkC3 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a602 \/ % 1.22/1.46 c3_1 a624 \/ c4_2 a624 $_254 \/ c5_2 a624 $_254 \/ ndr1_1 a596 \/ % 1.22/1.46 ssSkC2 \/ ssSkC4 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a624 \/ c4_0 \/ % 1.22/1.46 c4_2 a624 $_254 \/ c5_2 a624 $_254 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkC4 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a624 \/ c4_0 \/ % 1.22/1.46 c4_2 a624 $_254 \/ c5_2 a624 $_254 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkC4 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_1 a624 \/ c4_0 \/ % 1.22/1.46 c4_2 a624 $_254 \/ c5_2 a624 $_254 \/ ndr1_1 a587 \/ ssSkC4 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a602 \/ c3_1 a624 \/ c4_2 a624 $_254 \/ % 1.22/1.46 c5_2 a624 $_254 \/ ssSkC2 \/ ssSkC4 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a602 \/ c3_0 \/ % 1.22/1.46 c3_1 a637 \/ c4_2 a637 $_255 \/ c5_2 a637 $_255 \/ ndr1_1 a596 \/ % 1.22/1.46 ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_0 \/ c3_1 a637 \/ % 1.22/1.46 c4_0 \/ c4_2 a637 $_255 \/ c5_2 a637 $_255 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_0 \/ c3_1 a637 \/ % 1.22/1.46 c4_0 \/ c4_2 a637 $_255 \/ c5_2 a637 $_255 \/ ndr1_1 a593 \/ ssSkC1 \/ % 1.22/1.46 ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ c3_0 \/ c3_1 a637 \/ % 1.22/1.46 c4_0 \/ c4_2 a637 $_255 \/ c5_2 a637 $_255 \/ ndr1_1 a587 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a602 \/ c3_0 \/ c3_1 a637 \/ % 1.22/1.46 c4_2 a637 $_255 \/ c5_2 a637 $_255 \/ ssSkC2 \/ ssSkP1 a605 % 1.22/1.46 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a603 \/ c3_1 a608 \/ % 1.22/1.46 c4_2 a608 $_257 \/ c5_2 a608 $_257 \/ ssSkC3 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a603 \/ c3_1 a624 \/ % 1.31/1.47 c4_2 a624 $_257 \/ c5_2 a624 $_257 \/ ssSkC4 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_2 a605 a603 \/ c3_0 \/ c3_1 a637 \/ % 1.31/1.47 c4_2 a637 $_257 \/ c5_2 a637 $_257 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_256 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 c5_2 a596 a597 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_256 \/ c2_0 \/ c2_2 a596 a598 \/ % 1.31/1.47 c2_2 a605 a603 \/ c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ % 1.31/1.47 c5_2 $_256 $_257 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_256 \/ c1_2 a596 a598 \/ c2_0 \/ % 1.31/1.47 c2_2 a605 a603 \/ c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ % 1.31/1.47 c5_2 $_256 $_257 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_256 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_256 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 c5_2 a593 a621 \/ ssSkC1 \/ ssSkP2 a605 \/ ssSkP3 a593 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_256 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 ndr1_1 a593 \/ ssSkC1 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_256 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 ndr1_1 a587 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_1 $_256 \/ c2_2 a605 a603 \/ c3_1 $_256 \/ % 1.31/1.47 c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 $_256 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ % 1.31/1.47 c2_2 a605 a603 \/ c3_1 $_256 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 $_256 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 $_256 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 ndr1_1 a593 \/ ssSkC1 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 $_256 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 $_256 \/ c4_0 \/ c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ % 1.31/1.47 ndr1_1 a587 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ ~ndr1_1 $_256 \/ c2_1 a605 \/ c2_2 a605 a603 \/ c3_1 $_256 \/ % 1.31/1.47 c4_2 $_256 $_257 \/ c5_2 $_256 $_257 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 a608 \/ c4_2 a608 $_258 \/ c5_2 a608 $_258 \/ ndr1_1 a596 \/ % 1.31/1.47 ssSkC2 \/ ssSkC3 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a608 \/ c4_0 \/ % 1.31/1.47 c4_2 a608 $_258 \/ c5_2 a608 $_258 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkC3 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a608 \/ c4_0 \/ % 1.31/1.47 c4_2 a608 $_258 \/ c5_2 a608 $_258 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkC3 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a608 \/ c4_0 \/ % 1.31/1.47 c4_2 a608 $_258 \/ c5_2 a608 $_258 \/ ndr1_1 a587 \/ ssSkC3 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a603 \/ c3_1 a608 \/ c4_2 a608 $_258 \/ % 1.31/1.47 c5_2 a608 $_258 \/ ssSkC2 \/ ssSkC3 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a603 \/ % 1.31/1.47 c3_1 a624 \/ c4_2 a624 $_259 \/ c5_2 a624 $_259 \/ ndr1_1 a596 \/ % 1.31/1.47 ssSkC2 \/ ssSkC4 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a624 \/ c4_0 \/ % 1.31/1.47 c4_2 a624 $_259 \/ c5_2 a624 $_259 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkC4 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a624 \/ c4_0 \/ % 1.31/1.47 c4_2 a624 $_259 \/ c5_2 a624 $_259 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkC4 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_1 a624 \/ c4_0 \/ % 1.31/1.47 c4_2 a624 $_259 \/ c5_2 a624 $_259 \/ ndr1_1 a587 \/ ssSkC4 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a603 \/ c3_1 a624 \/ c4_2 a624 $_259 \/ % 1.31/1.47 c5_2 a624 $_259 \/ ssSkC2 \/ ssSkC4 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_2 a605 a603 \/ c3_0 \/ % 1.31/1.47 c3_1 a637 \/ c4_2 a637 $_260 \/ c5_2 a637 $_260 \/ ndr1_1 a596 \/ % 1.31/1.47 ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_0 \/ c3_1 a637 \/ % 1.31/1.47 c4_0 \/ c4_2 a637 $_260 \/ c5_2 a637 $_260 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_0 \/ c3_1 a637 \/ % 1.31/1.47 c4_0 \/ c4_2 a637 $_260 \/ c5_2 a637 $_260 \/ ndr1_1 a593 \/ ssSkC1 \/ % 1.31/1.47 ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ c3_0 \/ c3_1 a637 \/ % 1.31/1.47 c4_0 \/ c4_2 a637 $_260 \/ c5_2 a637 $_260 \/ ndr1_1 a587 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_0 \/ c2_1 a605 \/ c2_2 a605 a603 \/ c3_0 \/ c3_1 a637 \/ % 1.31/1.47 c4_2 a637 $_260 \/ c5_2 a637 $_260 \/ ssSkC2 \/ ssSkP2 a605 % 1.31/1.47 |- ~c1_1 a593 \/ ~c3_1 a593 \/ ~ssSkC3 \/ c1_1 $_274 \/ c1_1 $_61 \/ % 1.31/1.47 c2_0 \/ c4_0 \/ c4_2 a593 $_273 \/ c5_1 $_274 \/ c5_2 a593 $_273 \/ % 1.31/1.47 ndr1_1 $_274 \/ ndr1_1 $_61 \/ ssSkC1 % 1.31/1.47 |- ~c1_1 a593 \/ ~c3_1 a593 \/ ~ssSkC3 \/ c1_1 $_274 \/ c2_0 \/ % 1.31/1.47 c2_1 $_59 \/ c4_2 a593 $_273 \/ c5_1 $_274 \/ c5_2 a593 $_273 \/ % 1.31/1.47 ndr1_1 $_274 \/ ssSkC1 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_102 \/ c1_1 $_274 \/ % 1.31/1.47 c2_0 \/ c2_1 $_57 \/ c4_2 a596 $_273 \/ c5_1 $_274 \/ c5_2 a596 $_273 \/ % 1.31/1.47 ndr1_1 $_102 \/ ndr1_1 $_274 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_102 \/ c1_1 $_274 \/ % 1.31/1.47 c2_0 \/ c4_0 \/ c4_2 a596 $_273 \/ c5_1 $_274 \/ c5_2 a596 $_273 \/ % 1.31/1.47 ndr1_1 $_102 \/ ndr1_1 $_274 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_101 \/ c1_1 $_274 \/ % 1.31/1.47 c2_0 \/ c2_1 $_101 \/ c4_2 a596 $_273 \/ c5_1 $_274 \/ % 1.31/1.47 c5_2 a596 $_273 \/ ndr1_1 $_274 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a624 \/ ~c3_1 a624 \/ ~ssSkC3 \/ c1_1 $_274 \/ c4_2 a624 $_273 \/ % 1.31/1.47 c5_1 $_274 \/ c5_2 a624 $_273 \/ ndr1_1 $_274 \/ ssSkC4 % 1.31/1.47 |- ~c1_1 $_272 \/ ~c3_1 $_272 \/ ~ssSkC3 \/ c1_1 $_274 \/ c2_1 $_272 \/ % 1.31/1.47 c4_2 $_272 $_273 \/ c5_1 $_274 \/ c5_2 $_272 $_273 \/ ndr1_1 $_274 \/ % 1.31/1.47 ssSkC2 % 1.31/1.47 |- ~c1_1 a608 \/ c1_0 \/ c1_2 a608 a609 \/ c4_2 a608 a609 \/ % 1.31/1.47 ndr1_1 $_286 \/ ssSkC3 % 1.31/1.47 |- c1_0 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c4_0 \/ c4_2 a619 a639 \/ % 1.31/1.47 ndr1_1 $_291 % 1.31/1.47 |- ~c4_1 $_292 \/ c1_0 \/ c1_2 a619 a639 \/ c2_2 $_292 a621 \/ c3_1 a619 \/ % 1.31/1.47 c3_2 $_292 a621 \/ c4_0 \/ c4_2 $_292 a628 \/ c4_2 a619 a639 \/ % 1.31/1.47 ssSkC5 \/ ssSkP3 $_292 % 1.31/1.47 |- ~c1_2 a596 a597 \/ c1_0 \/ c1_1 $_292 \/ c1_2 a619 a639 \/ c2_0 \/ % 1.31/1.47 c2_1 $_292 \/ c3_1 a619 \/ c3_2 $_292 a599 \/ c4_0 \/ c4_2 a619 a639 \/ % 1.31/1.47 ssSkP0 $_292 % 1.31/1.47 |- ~c2_2 a596 a597 \/ c1_0 \/ c1_1 $_292 \/ c1_2 a619 a639 \/ c2_0 \/ % 1.31/1.47 c2_1 $_292 \/ c3_1 a619 \/ c3_2 $_292 a599 \/ c4_0 \/ c4_2 a619 a639 \/ % 1.31/1.47 ssSkP0 $_292 % 1.31/1.47 |- ~c4_2 a596 a598 \/ c1_0 \/ c1_1 $_292 \/ c1_2 a619 a639 \/ c2_0 \/ % 1.31/1.47 c2_1 $_292 \/ c3_1 a619 \/ c3_2 $_292 a599 \/ c4_0 \/ c4_2 a619 a639 \/ % 1.31/1.47 ssSkP0 $_292 % 1.31/1.47 |- ~c2_0 \/ c1_0 \/ c1_2 $_292 a599 \/ c1_2 a619 a639 \/ c2_2 $_292 a636 \/ % 1.31/1.47 c3_1 a619 \/ c4_0 \/ c4_2 $_292 a599 \/ c4_2 a619 a639 \/ ssSkP0 $_292 % 1.31/1.47 |- ~c1_1 $_296 \/ ~ndr1_1 $_296 \/ c1_0 \/ c1_2 $_296 a603 \/ % 1.31/1.47 c4_2 $_296 a603 \/ ndr1_1 $_295 \/ ssSkP2 $_296 % 1.31/1.47 |- ~c1_1 a587 \/ c1_0 \/ c1_1 $_60 \/ c1_2 a587 a603 \/ c2_0 \/ c4_0 \/ % 1.31/1.47 c4_2 a587 a603 \/ ndr1_1 $_297 \/ ndr1_1 $_60 \/ ssSkP2 a587 % 1.31/1.47 |- ~c1_1 a587 \/ c1_0 \/ c1_2 a587 a603 \/ c2_0 \/ c2_1 $_59 \/ c4_0 \/ % 1.31/1.47 c4_2 a587 a603 \/ ndr1_1 $_297 \/ ssSkP2 a587 % 1.31/1.47 |- ~c1_1 a593 \/ c1_0 \/ c1_1 $_61 \/ c1_2 a593 a603 \/ c2_0 \/ c4_0 \/ % 1.31/1.47 c4_2 a593 a603 \/ ndr1_1 $_297 \/ ndr1_1 $_61 \/ ssSkC1 \/ ssSkP2 a593 % 1.31/1.47 |- ~c1_1 a593 \/ c1_0 \/ c1_2 a593 a603 \/ c2_0 \/ c2_1 $_59 \/ % 1.31/1.47 c4_2 a593 a603 \/ ndr1_1 $_297 \/ ssSkC1 \/ ssSkP2 a593 % 1.31/1.47 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_102 \/ c1_2 a596 a603 \/ c2_0 \/ % 1.31/1.47 c2_1 $_57 \/ c4_2 a596 a603 \/ ndr1_1 $_102 \/ ndr1_1 $_297 \/ ssSkC2 \/ % 1.31/1.47 ssSkP2 a596 % 1.31/1.47 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_102 \/ c1_2 a596 a603 \/ c2_0 \/ c4_0 \/ % 1.31/1.47 c4_2 a596 a603 \/ ndr1_1 $_102 \/ ndr1_1 $_297 \/ ssSkC2 \/ ssSkP2 a596 % 1.31/1.47 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_101 \/ c1_2 a596 a603 \/ c2_0 \/ % 1.31/1.47 c2_1 $_101 \/ c4_2 a596 a603 \/ ndr1_1 $_297 \/ ssSkC2 \/ ssSkP2 a596 % 1.31/1.47 |- ~c1_1 a624 \/ c1_0 \/ c1_2 a624 a603 \/ c4_2 a624 a603 \/ % 1.31/1.47 ndr1_1 $_297 \/ ssSkC4 \/ ssSkP2 a624 % 1.31/1.47 |- ~c1_1 a637 \/ c1_0 \/ c1_2 a637 a603 \/ c3_0 \/ c4_2 a637 a603 \/ % 1.31/1.47 ndr1_1 $_297 \/ ssSkP2 a637 % 1.31/1.47 |- c1_0 \/ c1_2 a619 a603 \/ c3_1 a619 \/ c4_0 \/ ndr1_1 $_302 \/ % 1.31/1.47 ssSkP2 a619 % 1.31/1.47 |- ~c4_1 $_303 \/ c1_0 \/ c1_2 a619 a603 \/ c2_2 $_303 a621 \/ c3_1 a619 \/ % 1.31/1.47 c3_2 $_303 a621 \/ c4_0 \/ c4_2 $_303 a628 \/ ssSkC5 \/ ssSkP2 a619 \/ % 1.31/1.47 ssSkP3 $_303 % 1.31/1.47 |- ~c1_2 a596 a597 \/ c1_0 \/ c1_1 $_303 \/ c1_2 a619 a603 \/ c2_0 \/ % 1.31/1.47 c2_1 $_303 \/ c3_1 a619 \/ c3_2 $_303 a599 \/ c4_0 \/ ssSkP0 $_303 \/ % 1.31/1.47 ssSkP2 a619 % 1.31/1.47 |- ~c2_2 a596 a597 \/ c1_0 \/ c1_1 $_303 \/ c1_2 a619 a603 \/ c2_0 \/ % 1.31/1.47 c2_1 $_303 \/ c3_1 a619 \/ c3_2 $_303 a599 \/ c4_0 \/ ssSkP0 $_303 \/ % 1.31/1.47 ssSkP2 a619 % 1.31/1.47 |- ~c4_2 a596 a598 \/ c1_0 \/ c1_1 $_303 \/ c1_2 a619 a603 \/ c2_0 \/ % 1.31/1.47 c2_1 $_303 \/ c3_1 a619 \/ c3_2 $_303 a599 \/ c4_0 \/ ssSkP0 $_303 \/ % 1.31/1.47 ssSkP2 a619 % 1.31/1.47 |- ~c2_0 \/ c1_0 \/ c1_2 $_303 a599 \/ c1_2 a619 a603 \/ c2_2 $_303 a636 \/ % 1.31/1.47 c3_1 a619 \/ c4_0 \/ c4_2 $_303 a599 \/ ssSkP0 $_303 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 a593 \/ ~c3_1 a593 \/ ~ssSkC3 \/ c1_1 $_307 \/ c1_1 $_61 \/ % 1.31/1.47 c2_0 \/ c2_2 $_307 a610 \/ c4_0 \/ c4_2 a593 $_306 \/ c5_1 $_307 \/ % 1.31/1.47 c5_2 a593 $_306 \/ ndr1_1 $_61 \/ ssSkC1 % 1.31/1.47 |- ~c1_1 a593 \/ ~c3_1 a593 \/ ~ssSkC3 \/ c1_1 $_307 \/ c2_0 \/ % 1.31/1.47 c2_1 $_59 \/ c2_2 $_307 a610 \/ c4_2 a593 $_306 \/ c5_1 $_307 \/ % 1.31/1.47 c5_2 a593 $_306 \/ ssSkC1 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_102 \/ c1_1 $_307 \/ % 1.31/1.47 c2_0 \/ c2_1 $_57 \/ c2_2 $_307 a610 \/ c4_2 a596 $_306 \/ c5_1 $_307 \/ % 1.31/1.47 c5_2 a596 $_306 \/ ndr1_1 $_102 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_102 \/ c1_1 $_307 \/ % 1.31/1.47 c2_0 \/ c2_2 $_307 a610 \/ c4_0 \/ c4_2 a596 $_306 \/ c5_1 $_307 \/ % 1.31/1.47 c5_2 a596 $_306 \/ ndr1_1 $_102 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_101 \/ c1_1 $_307 \/ % 1.31/1.47 c2_0 \/ c2_1 $_101 \/ c2_2 $_307 a610 \/ c4_2 a596 $_306 \/ % 1.31/1.47 c5_1 $_307 \/ c5_2 a596 $_306 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a624 \/ ~c3_1 a624 \/ ~ssSkC3 \/ c1_1 $_307 \/ c2_2 $_307 a610 \/ % 1.31/1.47 c4_2 a624 $_306 \/ c5_1 $_307 \/ c5_2 a624 $_306 \/ ssSkC4 % 1.31/1.47 |- ~c1_1 $_305 \/ ~c3_1 $_305 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_307 \/ % 1.31/1.47 c1_2 a619 a603 \/ c2_2 $_307 a610 \/ c3_1 a619 \/ c4_0 \/ % 1.31/1.47 c4_2 $_305 $_306 \/ c5_1 $_307 \/ c5_2 $_305 $_306 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_305 \/ ~c3_1 $_305 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_307 \/ % 1.31/1.47 c1_2 a619 a639 \/ c2_2 $_307 a610 \/ c3_1 a619 \/ c4_0 \/ % 1.31/1.47 c4_2 $_305 $_306 \/ c4_2 a619 a639 \/ c5_1 $_307 \/ c5_2 $_305 $_306 % 1.31/1.47 |- ~c1_1 $_305 \/ ~c3_1 $_305 \/ ~ssSkC3 \/ c1_1 $_307 \/ c2_1 $_305 \/ % 1.31/1.47 c2_2 $_307 a610 \/ c4_2 $_305 $_306 \/ c5_1 $_307 \/ c5_2 $_305 $_306 \/ % 1.31/1.47 ssSkC2 % 1.31/1.47 |- ~c1_1 a593 \/ ~c3_1 a593 \/ ~ssSkC3 \/ c1_1 $_312 \/ c1_1 $_61 \/ % 1.31/1.47 c2_0 \/ c3_2 $_312 a610 \/ c4_0 \/ c4_2 a593 $_311 \/ c5_1 $_312 \/ % 1.31/1.47 c5_2 a593 $_311 \/ ndr1_1 $_61 \/ ssSkC1 % 1.31/1.47 |- ~c1_1 a593 \/ ~c3_1 a593 \/ ~ssSkC3 \/ c1_1 $_312 \/ c2_0 \/ % 1.31/1.47 c2_1 $_59 \/ c3_2 $_312 a610 \/ c4_2 a593 $_311 \/ c5_1 $_312 \/ % 1.31/1.47 c5_2 a593 $_311 \/ ssSkC1 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_102 \/ c1_1 $_312 \/ % 1.31/1.47 c2_0 \/ c2_1 $_57 \/ c3_2 $_312 a610 \/ c4_2 a596 $_311 \/ c5_1 $_312 \/ % 1.31/1.47 c5_2 a596 $_311 \/ ndr1_1 $_102 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_102 \/ c1_1 $_312 \/ % 1.31/1.47 c2_0 \/ c3_2 $_312 a610 \/ c4_0 \/ c4_2 a596 $_311 \/ c5_1 $_312 \/ % 1.31/1.47 c5_2 a596 $_311 \/ ndr1_1 $_102 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~c3_1 a596 \/ ~ssSkC3 \/ c1_1 $_101 \/ c1_1 $_312 \/ % 1.31/1.47 c2_0 \/ c2_1 $_101 \/ c3_2 $_312 a610 \/ c4_2 a596 $_311 \/ % 1.31/1.47 c5_1 $_312 \/ c5_2 a596 $_311 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a624 \/ ~c3_1 a624 \/ ~ssSkC3 \/ c1_1 $_312 \/ c3_2 $_312 a610 \/ % 1.31/1.47 c4_2 a624 $_311 \/ c5_1 $_312 \/ c5_2 a624 $_311 \/ ssSkC4 % 1.31/1.47 |- ~c1_1 $_310 \/ ~c3_1 $_310 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_312 \/ % 1.31/1.47 c1_2 a619 a603 \/ c3_1 a619 \/ c3_2 $_312 a610 \/ c4_0 \/ % 1.31/1.47 c4_2 $_310 $_311 \/ c5_1 $_312 \/ c5_2 $_310 $_311 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_310 \/ ~c3_1 $_310 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_312 \/ % 1.31/1.47 c1_2 a619 a639 \/ c3_1 a619 \/ c3_2 $_312 a610 \/ c4_0 \/ % 1.31/1.47 c4_2 $_310 $_311 \/ c4_2 a619 a639 \/ c5_1 $_312 \/ c5_2 $_310 $_311 % 1.31/1.47 |- ~c1_1 $_310 \/ ~c3_1 $_310 \/ ~ssSkC3 \/ c1_1 $_312 \/ c2_1 $_310 \/ % 1.31/1.47 c3_2 $_312 a610 \/ c4_2 $_310 $_311 \/ c5_1 $_312 \/ c5_2 $_310 $_311 \/ % 1.31/1.47 ssSkC2 % 1.31/1.47 |- ~c1_1 $_315 \/ ~c1_2 $_316 a610 \/ ~c3_1 $_315 \/ ~ssSkC3 \/ c1_0 \/ % 1.31/1.47 c1_1 $_316 \/ c1_2 a619 a603 \/ c3_1 a619 \/ c4_0 \/ c4_2 $_315 $_317 \/ % 1.31/1.47 c5_1 $_316 \/ c5_2 $_315 $_317 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_315 \/ ~c1_2 $_316 a610 \/ ~c3_1 $_315 \/ ~ssSkC3 \/ c1_0 \/ % 1.31/1.47 c1_1 $_316 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c4_0 \/ c4_2 $_315 $_317 \/ % 1.31/1.47 c4_2 a619 a639 \/ c5_1 $_316 \/ c5_2 $_315 $_317 % 1.31/1.47 |- ~c1_1 $_315 \/ ~c1_2 $_316 a610 \/ ~c3_1 $_315 \/ ~ssSkC3 \/ % 1.31/1.47 c1_1 $_316 \/ c2_1 $_315 \/ c4_2 $_315 $_317 \/ c5_1 $_316 \/ % 1.31/1.47 c5_2 $_315 $_317 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 $_319 \/ ~c5_2 $_319 $_320 \/ ~ndr1_1 $_319 \/ c1_0 \/ % 1.31/1.47 c1_2 $_319 $_320 \/ c4_2 $_319 $_320 \/ ndr1_1 $_318 % 1.31/1.47 |- ~c1_1 $_325 \/ c1_0 \/ c1_2 $_325 a603 \/ c2_1 $_325 \/ % 1.31/1.47 c4_2 $_325 a603 \/ ndr1_1 $_324 \/ ssSkC2 \/ ssSkP2 $_325 % 1.31/1.47 |- c1_0 \/ c1_2 a619 a603 \/ c2_1 a619 \/ ndr1_1 $_328 \/ ssSkC2 \/ % 1.31/1.47 ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_329 \/ ~c1_2 $V a610 \/ ~c3_1 $_329 \/ ~ssSkC3 \/ c1_0 \/ % 1.31/1.47 c1_1 $V \/ c1_2 a619 a603 \/ c2_1 a619 \/ c4_2 $_329 $W \/ c5_1 $V \/ % 1.31/1.47 c5_2 $_329 $W \/ ssSkC2 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_329 \/ ~c3_1 $_329 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $W \/ % 1.31/1.47 c1_2 a619 a603 \/ c2_1 a619 \/ c3_2 $W a610 \/ c4_2 $_329 $V \/ % 1.31/1.47 c5_1 $W \/ c5_2 $_329 $V \/ ssSkC2 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_329 \/ ~c3_1 $_329 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $W \/ % 1.31/1.47 c1_2 a619 a603 \/ c2_1 a619 \/ c2_2 $W a610 \/ c4_2 $_329 $V \/ % 1.31/1.47 c5_1 $W \/ c5_2 $_329 $V \/ ssSkC2 \/ ssSkP2 a619 % 1.31/1.47 |- ~c2_1 $_329 \/ ~c3_0 \/ ~c4_0 \/ c1_0 \/ c1_2 a619 a603 \/ c2_1 a619 \/ % 1.31/1.47 c2_2 $_329 a621 \/ c4_1 $_329 \/ ssSkC2 \/ ssSkP2 a619 \/ ssSkP3 $_329 % 1.31/1.47 |- ~c4_1 $_329 \/ c1_0 \/ c1_2 a619 a603 \/ c2_1 a619 \/ c2_2 $_329 a621 \/ % 1.31/1.47 c3_2 $_329 a621 \/ c4_2 $_329 a628 \/ ssSkC2 \/ ssSkC5 \/ ssSkP2 a619 \/ % 1.31/1.47 ssSkP3 $_329 % 1.31/1.47 |- ~c2_0 \/ c1_0 \/ c1_2 $_329 a599 \/ c1_2 a619 a603 \/ c2_1 a619 \/ % 1.31/1.47 c2_2 $_329 a636 \/ c4_2 $_329 a599 \/ ssSkC2 \/ ssSkP0 $_329 \/ % 1.31/1.47 ssSkP2 a619 % 1.31/1.47 |- c1_0 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c4_0 \/ ndr1_1 $_330 \/ ssSkC2 \/ % 1.31/1.47 ssSkP2 a616 % 1.31/1.47 |- ~c1_1 $_331 \/ ~c1_2 $V a610 \/ ~c3_1 $_331 \/ ~ssSkC3 \/ c1_0 \/ % 1.31/1.47 c1_1 $V \/ c1_2 a616 a603 \/ c2_1 a616 \/ c4_0 \/ c4_2 $_331 $W \/ % 1.31/1.47 c5_1 $V \/ c5_2 $_331 $W \/ ssSkC2 \/ ssSkP2 a616 % 1.31/1.47 |- ~c1_1 $_331 \/ ~c3_1 $_331 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $W \/ % 1.31/1.47 c1_2 a616 a603 \/ c2_1 a616 \/ c3_2 $W a610 \/ c4_0 \/ c4_2 $_331 $V \/ % 1.31/1.47 c5_1 $W \/ c5_2 $_331 $V \/ ssSkC2 \/ ssSkP2 a616 % 1.31/1.47 |- ~c1_1 $_331 \/ ~c3_1 $_331 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $W \/ % 1.31/1.47 c1_2 a616 a603 \/ c2_1 a616 \/ c2_2 $W a610 \/ c4_0 \/ c4_2 $_331 $V \/ % 1.31/1.47 c5_1 $W \/ c5_2 $_331 $V \/ ssSkC2 \/ ssSkP2 a616 % 1.31/1.47 |- ~c4_1 $_331 \/ c1_0 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c2_2 $_331 a621 \/ % 1.31/1.47 c3_2 $_331 a621 \/ c4_0 \/ c4_2 $_331 a628 \/ ssSkC2 \/ ssSkC5 \/ % 1.31/1.47 ssSkP2 a616 \/ ssSkP3 $_331 % 1.31/1.47 |- ~c2_0 \/ c1_0 \/ c1_2 $_331 a599 \/ c1_2 a616 a603 \/ c2_1 a616 \/ % 1.31/1.47 c2_2 $_331 a636 \/ c4_0 \/ c4_2 $_331 a599 \/ ssSkC2 \/ ssSkP0 $_331 \/ % 1.31/1.47 ssSkP2 a616 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ c1_0 \/ % 1.31/1.47 c1_1 $_189 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 $_189 \/ c4_2 $_338 a604 \/ % 1.31/1.47 c4_2 a596 a597 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ c1_0 \/ % 1.31/1.47 c1_1 a637 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ % 1.31/1.47 c3_2 a637 a599 \/ c4_2 $_338 a604 \/ c4_2 a596 a597 \/ ssSkP0 a637 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ c1_0 \/ % 1.31/1.47 c1_1 a624 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 a624 \/ c3_2 a624 a599 \/ % 1.31/1.47 c4_2 $_338 a604 \/ c4_2 a596 a597 \/ ssSkC4 \/ ssSkP0 a624 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ c1_0 \/ % 1.31/1.47 c1_1 a608 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 a608 \/ c3_2 a608 a599 \/ % 1.31/1.47 c4_2 $_338 a604 \/ c4_2 a596 a597 \/ ssSkC3 \/ ssSkP0 a608 % 1.31/1.47 |- ~c1_1 a608 \/ ~ndr1_1 a608 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ c1_0 \/ % 1.31/1.47 c1_2 a608 a609 \/ c4_2 $_338 a604 \/ c4_2 a608 a609 \/ ssSkC3 % 1.31/1.47 |- ~c1_1 a619 \/ ~ndr1_1 a619 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ c1_0 \/ % 1.31/1.47 c1_2 a619 a639 \/ c3_1 a619 \/ c4_0 \/ c4_2 $_338 a604 \/ c4_2 a619 a639 % 1.31/1.47 |- ~c1_1 a624 \/ ~ndr1_1 a624 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ c1_0 \/ % 1.31/1.47 c1_2 a624 $_340 \/ c2_2 a624 $_340 \/ c3_2 a624 $_340 \/ % 1.31/1.47 c4_2 $_338 a604 \/ c4_2 a624 $_340 \/ ssSkC4 % 1.31/1.47 |- ~c1_1 $_339 \/ ~ndr1_1 $_339 \/ ~ssSkP1 $_338 \/ ~ssSkP2 $_338 \/ % 1.31/1.47 c1_0 \/ c1_2 $_339 a603 \/ c4_2 $_338 a604 \/ c4_2 $_339 a603 \/ % 1.31/1.47 ssSkP2 $_339 % 1.31/1.47 |- ~c1_1 a608 \/ c1_0 \/ c1_2 a608 a609 \/ c4_2 a608 a604 \/ % 1.31/1.47 c4_2 a608 a609 \/ ssSkC3 % 1.31/1.47 |- c1_0 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c4_0 \/ c4_2 a608 a604 \/ % 1.31/1.47 c4_2 a619 a639 \/ ssSkC3 % 1.31/1.47 |- ~c1_1 $_344 \/ ~ssSkP1 $_343 \/ ~ssSkP2 $_343 \/ c1_0 \/ % 1.31/1.47 c1_2 $_344 a603 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c4_0 \/ % 1.31/1.47 c4_2 $_343 a604 \/ c4_2 $_344 a603 \/ ssSkC2 \/ ssSkP2 $_344 \/ % 1.31/1.47 ssSkP2 a616 % 1.31/1.47 |- ~c1_1 $_344 \/ ~ssSkP1 $_343 \/ ~ssSkP2 $_343 \/ c1_0 \/ % 1.31/1.47 c1_2 $_344 a603 \/ c1_2 a619 a603 \/ c2_1 a619 \/ c4_2 $_343 a604 \/ % 1.31/1.47 c4_2 $_344 a603 \/ ssSkC2 \/ ssSkP2 $_344 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_344 \/ ~ssSkP1 $_343 \/ ~ssSkP2 $_343 \/ c1_0 \/ % 1.31/1.47 c1_2 $_344 a603 \/ c1_2 a619 a603 \/ c3_1 a619 \/ c4_0 \/ % 1.31/1.47 c4_2 $_343 a604 \/ c4_2 $_344 a603 \/ ssSkP2 $_344 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_344 \/ ~ssSkP1 $_343 \/ ~ssSkP2 $_343 \/ c1_0 \/ % 1.31/1.47 c1_2 $_344 a603 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c4_0 \/ % 1.31/1.47 c4_2 $_343 a604 \/ c4_2 $_344 a603 \/ c4_2 a619 a639 \/ ssSkP2 $_344 % 1.31/1.47 |- ~c1_1 $_344 \/ ~ssSkP1 $_343 \/ ~ssSkP2 $_343 \/ c1_0 \/ % 1.31/1.47 c1_2 $_344 a603 \/ c2_1 $_344 \/ c4_2 $_343 a604 \/ c4_2 $_344 a603 \/ % 1.31/1.47 ssSkC2 \/ ssSkP2 $_344 % 1.31/1.47 |- ~c1_1 $_345 \/ ~ndr1_1 $_345 \/ c1_0 \/ c1_2 $_345 a603 \/ % 1.31/1.47 c4_2 $_345 a603 \/ c4_2 a608 a604 \/ ssSkC3 \/ ssSkP2 $_345 % 1.31/1.47 |- ~c1_1 a587 \/ c1_0 \/ c1_2 a587 a603 \/ c2_0 \/ c2_1 $_59 \/ c4_0 \/ % 1.31/1.47 c4_2 a587 a603 \/ c4_2 a608 a604 \/ ssSkC3 \/ ssSkP2 a587 % 1.31/1.47 |- ~c1_1 a593 \/ c1_0 \/ c1_2 a593 a603 \/ c2_0 \/ c2_1 $_59 \/ % 1.31/1.47 c4_2 a593 a603 \/ c4_2 a608 a604 \/ ssSkC1 \/ ssSkC3 \/ ssSkP2 a593 % 1.31/1.47 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_101 \/ c1_2 a596 a603 \/ c2_0 \/ % 1.31/1.47 c2_1 $_101 \/ c4_2 a596 a603 \/ c4_2 a608 a604 \/ ssSkC2 \/ ssSkC3 \/ % 1.31/1.47 ssSkP2 a596 % 1.31/1.47 |- ~c1_1 a624 \/ c1_0 \/ c1_2 a624 a603 \/ c4_2 a608 a604 \/ % 1.31/1.47 c4_2 a624 a603 \/ ssSkC3 \/ ssSkC4 \/ ssSkP2 a624 % 1.31/1.47 |- ~c1_1 a637 \/ c1_0 \/ c1_2 a637 a603 \/ c3_0 \/ c4_2 a608 a604 \/ % 1.31/1.47 c4_2 a637 a603 \/ ssSkC3 \/ ssSkP2 a637 % 1.31/1.47 |- c1_0 \/ c1_2 a619 a603 \/ c3_1 a619 \/ c4_0 \/ c4_2 a608 a604 \/ % 1.31/1.47 ssSkC3 \/ ssSkP2 a619 % 1.31/1.47 |- ~c1_1 $_347 \/ c1_0 \/ c1_2 $_347 a603 \/ c2_1 $_347 \/ % 1.31/1.47 c4_2 $_347 a603 \/ c4_2 a608 a604 \/ ssSkC2 \/ ssSkC3 \/ ssSkP2 $_347 % 1.31/1.47 |- c1_0 \/ c1_2 a619 a603 \/ c2_1 a619 \/ c4_2 a608 a604 \/ ssSkC2 \/ % 1.31/1.47 ssSkC3 \/ ssSkP2 a619 % 1.31/1.47 |- c1_0 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c4_0 \/ c4_2 a608 a604 \/ % 1.31/1.47 ssSkC2 \/ ssSkC3 \/ ssSkP2 a616 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ c1_0 \/ % 1.31/1.47 c1_1 $_189 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 $_189 \/ c3_2 $_349 a604 \/ % 1.31/1.47 c4_2 a596 a597 \/ ssSkC2 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ c1_0 \/ % 1.31/1.47 c1_1 a637 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ % 1.31/1.47 c3_2 $_349 a604 \/ c3_2 a637 a599 \/ c4_2 a596 a597 \/ ssSkP0 a637 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ c1_0 \/ % 1.31/1.47 c1_1 a624 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 a624 \/ c3_2 $_349 a604 \/ % 1.31/1.47 c3_2 a624 a599 \/ c4_2 a596 a597 \/ ssSkC4 \/ ssSkP0 a624 % 1.31/1.47 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ c1_0 \/ % 1.31/1.47 c1_1 a608 \/ c1_2 a596 a597 \/ c2_0 \/ c2_1 a608 \/ c3_2 $_349 a604 \/ % 1.31/1.47 c3_2 a608 a599 \/ c4_2 a596 a597 \/ ssSkC3 \/ ssSkP0 a608 % 1.31/1.47 |- ~c1_1 a608 \/ ~ndr1_1 a608 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ c1_0 \/ % 1.31/1.47 c1_2 a608 a609 \/ c3_2 $_349 a604 \/ c4_2 a608 a609 \/ ssSkC3 % 1.31/1.47 |- ~c1_1 a619 \/ ~ndr1_1 a619 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ c1_0 \/ % 1.31/1.47 c1_2 a619 a639 \/ c3_1 a619 \/ c3_2 $_349 a604 \/ c4_0 \/ c4_2 a619 a639 % 1.31/1.47 |- ~c1_1 a624 \/ ~ndr1_1 a624 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ c1_0 \/ % 1.31/1.47 c1_2 a624 $_351 \/ c2_2 a624 $_351 \/ c3_2 $_349 a604 \/ % 1.31/1.47 c3_2 a624 $_351 \/ c4_2 a624 $_351 \/ ssSkC4 % 1.31/1.48 |- ~c1_1 $_350 \/ ~ndr1_1 $_350 \/ ~ssSkP1 $_349 \/ ~ssSkP2 $_349 \/ % 1.31/1.48 c1_0 \/ c1_2 $_350 a603 \/ c3_2 $_349 a604 \/ c4_2 $_350 a603 \/ % 1.31/1.48 ssSkP2 $_350 % 1.31/1.48 |- ~c1_1 a608 \/ c1_0 \/ c1_2 a608 a609 \/ c3_2 a608 a604 \/ % 1.31/1.48 c4_2 a608 a609 \/ ssSkC3 % 1.31/1.48 |- c1_0 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c3_2 a608 a604 \/ c4_0 \/ % 1.31/1.48 c4_2 a619 a639 \/ ssSkC3 % 1.31/1.48 |- ~c1_1 $_355 \/ ~ssSkP1 $_354 \/ ~ssSkP2 $_354 \/ c1_0 \/ % 1.31/1.48 c1_2 $_355 a603 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c3_2 $_354 a604 \/ % 1.31/1.48 c4_0 \/ c4_2 $_355 a603 \/ ssSkC2 \/ ssSkP2 $_355 \/ ssSkP2 a616 % 1.31/1.48 |- ~c1_1 $_355 \/ ~ssSkP1 $_354 \/ ~ssSkP2 $_354 \/ c1_0 \/ % 1.31/1.48 c1_2 $_355 a603 \/ c1_2 a619 a603 \/ c2_1 a619 \/ c3_2 $_354 a604 \/ % 1.31/1.48 c4_2 $_355 a603 \/ ssSkC2 \/ ssSkP2 $_355 \/ ssSkP2 a619 % 1.31/1.48 |- ~c1_1 $_355 \/ ~ssSkP1 $_354 \/ ~ssSkP2 $_354 \/ c1_0 \/ % 1.31/1.48 c1_2 $_355 a603 \/ c1_2 a619 a603 \/ c3_1 a619 \/ c3_2 $_354 a604 \/ % 1.31/1.48 c4_0 \/ c4_2 $_355 a603 \/ ssSkP2 $_355 \/ ssSkP2 a619 % 1.31/1.48 |- ~c1_1 $_355 \/ ~ssSkP1 $_354 \/ ~ssSkP2 $_354 \/ c1_0 \/ % 1.31/1.48 c1_2 $_355 a603 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c3_2 $_354 a604 \/ % 1.31/1.48 c4_0 \/ c4_2 $_355 a603 \/ c4_2 a619 a639 \/ ssSkP2 $_355 % 1.31/1.48 |- ~c1_1 $_355 \/ ~ssSkP1 $_354 \/ ~ssSkP2 $_354 \/ c1_0 \/ % 1.31/1.48 c1_2 $_355 a603 \/ c2_1 $_355 \/ c3_2 $_354 a604 \/ c4_2 $_355 a603 \/ % 1.31/1.48 ssSkC2 \/ ssSkP2 $_355 % 1.31/1.48 |- ~c1_1 $_356 \/ ~ndr1_1 $_356 \/ c1_0 \/ c1_2 $_356 a603 \/ % 1.31/1.48 c3_2 a608 a604 \/ c4_2 $_356 a603 \/ ssSkC3 \/ ssSkP2 $_356 % 1.31/1.48 |- ~c1_1 a587 \/ c1_0 \/ c1_2 a587 a603 \/ c2_0 \/ c2_1 $_59 \/ % 1.31/1.48 c3_2 a608 a604 \/ c4_0 \/ c4_2 a587 a603 \/ ssSkC3 \/ ssSkP2 a587 % 1.31/1.48 |- ~c1_1 a593 \/ c1_0 \/ c1_2 a593 a603 \/ c2_0 \/ c2_1 $_59 \/ % 1.31/1.48 c3_2 a608 a604 \/ c4_2 a593 a603 \/ ssSkC1 \/ ssSkC3 \/ ssSkP2 a593 % 1.31/1.48 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_101 \/ c1_2 a596 a603 \/ c2_0 \/ % 1.31/1.48 c2_1 $_101 \/ c3_2 a608 a604 \/ c4_2 a596 a603 \/ ssSkC2 \/ ssSkC3 \/ % 1.31/1.48 ssSkP2 a596 % 1.31/1.48 |- ~c1_1 a624 \/ c1_0 \/ c1_2 a624 a603 \/ c3_2 a608 a604 \/ % 1.31/1.48 c4_2 a624 a603 \/ ssSkC3 \/ ssSkC4 \/ ssSkP2 a624 % 1.31/1.48 |- ~c1_1 a637 \/ c1_0 \/ c1_2 a637 a603 \/ c3_0 \/ c3_2 a608 a604 \/ % 1.31/1.48 c4_2 a637 a603 \/ ssSkC3 \/ ssSkP2 a637 % 1.31/1.48 |- c1_0 \/ c1_2 a619 a603 \/ c3_1 a619 \/ c3_2 a608 a604 \/ c4_0 \/ % 1.31/1.48 ssSkC3 \/ ssSkP2 a619 % 1.31/1.48 |- c1_0 \/ c1_2 a619 a603 \/ c2_2 a608 a604 \/ c3_1 a619 \/ c4_0 \/ % 1.31/1.48 ssSkC3 \/ ssSkP2 a619 % 1.31/1.48 |- ~c2_0 \/ ~c2_2 a608 $V \/ ~ndr1_1 a608 \/ c1_0 \/ c1_2 a608 a604 \/ % 1.31/1.48 c1_2 a619 a603 \/ c2_2 a608 a636 \/ c3_1 a619 \/ c4_0 \/ c4_2 a608 $V \/ % 1.31/1.48 ssSkC3 \/ ssSkP2 a619 % 1.31/1.48 |- ~c2_0 \/ c1_0 \/ c1_2 a608 a604 \/ c1_2 a619 a603 \/ c2_2 a608 a636 \/ % 1.31/1.48 c3_1 a619 \/ c4_0 \/ c4_2 a608 a599 \/ ssSkC3 \/ ssSkP0 a608 \/ % 1.31/1.48 ssSkP2 a619 % 1.31/1.48 |- ~c1_1 $_358 \/ c1_0 \/ c1_2 $_358 a603 \/ c2_1 $_358 \/ % 1.31/1.48 c3_2 a608 a604 \/ c4_2 $_358 a603 \/ ssSkC2 \/ ssSkC3 \/ ssSkP2 $_358 % 1.31/1.48 |- c1_0 \/ c1_2 a619 a603 \/ c2_1 a619 \/ c3_2 a608 a604 \/ ssSkC2 \/ % 1.31/1.48 ssSkC3 \/ ssSkP2 a619 % 1.31/1.48 |- c1_0 \/ c1_2 a619 a603 \/ c2_1 a619 \/ c2_2 a608 a604 \/ ssSkC2 \/ % 1.31/1.48 ssSkC3 \/ ssSkP2 a619 % 1.31/1.48 |- ~c2_0 \/ ~c2_2 a608 $V \/ ~ndr1_1 a608 \/ c1_0 \/ c1_2 a608 a604 \/ % 1.31/1.48 c1_2 a619 a603 \/ c2_1 a619 \/ c2_2 a608 a636 \/ c4_2 a608 $V \/ % 1.31/1.48 ssSkC2 \/ ssSkC3 \/ ssSkP2 a619 % 1.31/1.48 |- c1_0 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c3_2 a608 a604 \/ c4_0 \/ % 1.31/1.48 ssSkC2 \/ ssSkC3 \/ ssSkP2 a616 % 1.32/1.48 |- c1_0 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c2_2 a608 a604 \/ c4_0 \/ % 1.32/1.48 ssSkC2 \/ ssSkC3 \/ ssSkP2 a616 % 1.32/1.48 |- ~c2_0 \/ ~c2_2 a608 $V \/ ~ndr1_1 a608 \/ c1_0 \/ c1_2 a608 a604 \/ % 1.32/1.48 c1_2 a616 a603 \/ c2_1 a616 \/ c2_2 a608 a636 \/ c4_0 \/ c4_2 a608 $V \/ % 1.32/1.48 ssSkC2 \/ ssSkC3 \/ ssSkP2 a616 % 1.32/1.48 |- ~c2_0 \/ c1_0 \/ c1_2 a608 a604 \/ c1_2 a619 a603 \/ c2_1 a619 \/ % 1.32/1.48 c2_2 a608 a636 \/ c4_2 a608 a599 \/ ssSkC2 \/ ssSkC3 \/ ssSkP0 a608 \/ % 1.32/1.48 ssSkP2 a619 % 1.32/1.48 |- ~c2_0 \/ c1_0 \/ c1_2 a608 a604 \/ c1_2 a616 a603 \/ c2_1 a616 \/ % 1.32/1.48 c2_2 a608 a636 \/ c4_0 \/ c4_2 a608 a599 \/ ssSkC2 \/ ssSkC3 \/ % 1.32/1.48 ssSkP0 a608 \/ ssSkP2 a616 % 1.32/1.48 |- ~c1_1 a596 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_1 $_189 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.48 c2_1 $_189 \/ c4_2 a596 a597 \/ ssSkC2 % 1.32/1.48 |- ~c1_1 a596 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_1 a637 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.48 c2_1 a637 \/ c3_0 \/ c3_2 a637 a599 \/ c4_2 a596 a597 \/ ssSkP0 a637 % 1.32/1.48 |- ~c1_1 a596 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_1 a624 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.48 c2_1 a624 \/ c3_2 a624 a599 \/ c4_2 a596 a597 \/ ssSkC4 \/ ssSkP0 a624 % 1.32/1.48 |- ~c1_1 a596 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 a596 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_1 a608 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.48 c2_1 a608 \/ c3_2 a608 a599 \/ c4_2 a596 a597 \/ ssSkC3 \/ ssSkP0 a608 % 1.32/1.48 |- ~c1_1 a608 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 a608 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_2 a608 a609 \/ c4_2 a608 a609 \/ ssSkC3 % 1.32/1.48 |- ~c1_1 a619 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 a619 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c4_0 \/ % 1.32/1.48 c4_2 a619 a639 % 1.32/1.48 |- ~c1_1 a624 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 a624 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_2 a624 $_362 \/ c2_2 a624 $_362 \/ % 1.32/1.48 c3_2 a624 $_362 \/ c4_2 a624 $_362 \/ ssSkC4 % 1.32/1.48 |- ~c1_1 $_361 \/ ~c1_2 $_360 a604 \/ ~ndr1_1 $_361 \/ ~ssSkP1 $_360 \/ % 1.32/1.48 ~ssSkP2 $_360 \/ c1_0 \/ c1_2 $_361 a603 \/ c4_2 $_361 a603 \/ % 1.32/1.48 ssSkP2 $_361 % 1.32/1.48 |- ~c1_1 $_366 \/ ~c1_2 $_365 a604 \/ ~ssSkP1 $_365 \/ ~ssSkP2 $_365 \/ % 1.32/1.48 c1_0 \/ c1_2 $_366 a603 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c4_0 \/ % 1.32/1.48 c4_2 $_366 a603 \/ ssSkC2 \/ ssSkP2 $_366 \/ ssSkP2 a616 % 1.32/1.48 |- ~c1_1 $_366 \/ ~c1_2 $_365 a604 \/ ~ssSkP1 $_365 \/ ~ssSkP2 $_365 \/ % 1.32/1.48 c1_0 \/ c1_2 $_366 a603 \/ c1_2 a619 a603 \/ c2_1 a619 \/ % 1.32/1.48 c4_2 $_366 a603 \/ ssSkC2 \/ ssSkP2 $_366 \/ ssSkP2 a619 % 1.32/1.48 |- ~c1_1 $_366 \/ ~c1_2 $_365 a604 \/ ~ssSkP1 $_365 \/ ~ssSkP2 $_365 \/ % 1.32/1.48 c1_0 \/ c1_2 $_366 a603 \/ c1_2 a619 a603 \/ c3_1 a619 \/ c4_0 \/ % 1.32/1.48 c4_2 $_366 a603 \/ ssSkP2 $_366 \/ ssSkP2 a619 % 1.32/1.48 |- ~c1_1 $_366 \/ ~c1_2 $_365 a604 \/ ~ssSkP1 $_365 \/ ~ssSkP2 $_365 \/ % 1.32/1.48 c1_0 \/ c1_2 $_366 a603 \/ c1_2 a619 a639 \/ c3_1 a619 \/ c4_0 \/ % 1.32/1.48 c4_2 $_366 a603 \/ c4_2 a619 a639 \/ ssSkP2 $_366 % 1.32/1.48 |- ~c1_1 $_366 \/ ~c1_2 $_365 a604 \/ ~ssSkP1 $_365 \/ ~ssSkP2 $_365 \/ % 1.32/1.48 c1_0 \/ c1_2 $_366 a603 \/ c2_1 $_366 \/ c4_2 $_366 a603 \/ ssSkC2 \/ % 1.32/1.48 ssSkP2 $_366 % 1.32/1.48 |- ~c3_1 a619 \/ ~ssSkC4 \/ c1_0 \/ c1_2 a619 a627 \/ c2_0 \/ c2_1 a619 \/ % 1.32/1.48 ndr1_1 $_367 \/ ssSkC2 \/ ssSkP2 a619 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 $_369 \/ ~ndr1_1 a605 \/ c3_1 $_369 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_2 $_369 $_371 \/ c5_2 $_369 $_371 \/ % 1.32/1.48 c5_2 a605 a621 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c2_1 $_57 \/ c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_2 $_369 $_371 \/ % 1.32/1.48 c5_2 $_369 $_371 \/ c5_2 a596 a597 \/ c5_2 a605 $_370 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_0 \/ c4_2 $_369 $_371 \/ % 1.32/1.48 c5_2 $_369 $_371 \/ c5_2 a596 a597 \/ c5_2 a605 $_370 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c2_1 $_57 \/ c2_2 a596 a598 \/ c3_1 $_369 \/ c3_2 a605 $_370 \/ % 1.32/1.48 c4_2 $_369 $_371 \/ c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c2_2 a596 a598 \/ c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_0 \/ % 1.32/1.48 c4_2 $_369 $_371 \/ c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ % 1.32/1.48 c1_2 a596 a598 \/ c2_0 \/ c2_1 $_57 \/ c3_1 $_369 \/ c3_2 a605 $_370 \/ % 1.32/1.48 c4_2 $_369 $_371 \/ c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ % 1.32/1.48 c1_2 a596 a598 \/ c2_0 \/ c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_0 \/ % 1.32/1.48 c4_2 $_369 $_371 \/ c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c2_1 $_57 \/ c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_2 $_369 $_371 \/ % 1.32/1.48 c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ndr1_1 a596 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_0 \/ c4_2 $_369 $_371 \/ % 1.32/1.48 c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ndr1_1 a596 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_0 \/ c4_2 $_369 $_371 \/ % 1.32/1.48 c5_2 $_369 $_371 \/ c5_2 a593 a621 \/ c5_2 a605 $_370 \/ ssSkC1 \/ % 1.32/1.48 ssSkP3 a593 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_0 \/ c4_2 $_369 $_371 \/ % 1.32/1.48 c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ndr1_1 a593 \/ ssSkC1 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c1_1 $_369 \/ c2_0 \/ % 1.32/1.48 c3_1 $_369 \/ c3_2 a605 $_370 \/ c4_0 \/ c4_2 $_369 $_371 \/ % 1.32/1.48 c5_2 $_369 $_371 \/ c5_2 a605 $_370 \/ ndr1_1 a587 % 1.32/1.48 |- ~c1_0 \/ ~c1_2 a605 $_370 \/ ~ndr1_1 a605 \/ c2_1 $_369 \/ c3_1 $_369 \/ % 1.32/1.48 c3_2 a605 $_370 \/ c4_2 $_369 $_371 \/ c5_2 $_369 $_371 \/ % 1.32/1.48 c5_2 a605 $_370 \/ ssSkC2 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 a605 \/ c3_1 a605 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_2 a605 $_371 \/ c5_2 a605 $_371 \/ c5_2 a605 a621 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c3_1 a605 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_2 a605 $_372 \/ c5_2 a605 $_372 \/ % 1.32/1.48 c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a605 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a605 $_372 \/ c5_2 a605 $_372 \/ c5_2 a605 a621 \/ ndr1_1 a596 \/ % 1.32/1.48 ssSkC2 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a605 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a605 $_372 \/ c5_2 a605 $_372 \/ c5_2 a605 a621 \/ ndr1_1 a593 \/ % 1.32/1.48 ssSkC1 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a605 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a605 $_372 \/ c5_2 a605 $_372 \/ c5_2 a605 a621 \/ ndr1_1 a587 \/ % 1.32/1.48 ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c2_1 a605 \/ c3_1 a605 \/ c3_2 a605 a621 \/ c4_2 a605 $_372 \/ % 1.32/1.48 c5_2 a605 $_372 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 a605 \/ c3_1 a608 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_2 a608 $_375 \/ c5_2 a605 a621 \/ c5_2 a608 $_375 \/ ssSkC3 \/ % 1.32/1.48 ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 a605 \/ c3_1 a624 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_2 a624 $_375 \/ c5_2 a605 a621 \/ c5_2 a624 $_375 \/ ssSkC4 \/ % 1.32/1.48 ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 a605 \/ c3_0 \/ c3_1 a637 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_2 a637 $_375 \/ c5_2 a605 a621 \/ c5_2 a637 $_375 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 a605 \/ c2_1 $_374 \/ c3_1 $_374 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_2 $_374 $_375 \/ c5_2 $_374 $_375 \/ c5_2 a605 a621 \/ ssSkC2 \/ % 1.32/1.48 ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 $_374 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ % 1.32/1.48 c3_1 $_374 \/ c3_2 a605 a621 \/ c4_2 $_374 $_375 \/ c5_2 $_374 $_375 \/ % 1.32/1.48 c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 $_374 \/ c1_1 a605 \/ c2_0 \/ c3_1 $_374 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_374 $_375 \/ c5_2 $_374 $_375 \/ % 1.32/1.48 c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 $_374 \/ c1_1 a605 \/ c2_0 \/ c3_1 $_374 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_374 $_375 \/ c5_2 $_374 $_375 \/ % 1.32/1.48 c5_2 a605 a621 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 $_374 \/ c1_1 a605 \/ c2_0 \/ c3_1 $_374 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_374 $_375 \/ c5_2 $_374 $_375 \/ % 1.32/1.48 c5_2 a605 a621 \/ ndr1_1 a587 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ ~ndr1_1 $_374 \/ c2_1 a605 \/ c3_1 $_374 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_2 $_374 $_375 \/ c5_2 $_374 $_375 \/ c5_2 a605 a621 \/ ssSkC2 \/ % 1.32/1.48 ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c3_1 a608 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_2 a608 $_376 \/ c5_2 a605 a621 \/ % 1.32/1.48 c5_2 a608 $_376 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkC3 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a608 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a608 $_376 \/ c5_2 a605 a621 \/ c5_2 a608 $_376 \/ ndr1_1 a596 \/ % 1.32/1.48 ssSkC2 \/ ssSkC3 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a608 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a608 $_376 \/ c5_2 a605 a621 \/ c5_2 a608 $_376 \/ ndr1_1 a593 \/ % 1.32/1.48 ssSkC1 \/ ssSkC3 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a608 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a608 $_376 \/ c5_2 a605 a621 \/ c5_2 a608 $_376 \/ ndr1_1 a587 \/ % 1.32/1.48 ssSkC3 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c2_1 a605 \/ c3_1 a608 \/ c3_2 a605 a621 \/ c4_2 a608 $_376 \/ % 1.32/1.48 c5_2 a605 a621 \/ c5_2 a608 $_376 \/ ssSkC2 \/ ssSkC3 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c3_1 a624 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_2 a624 $_377 \/ c5_2 a605 a621 \/ % 1.32/1.48 c5_2 a624 $_377 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkC4 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a624 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a624 $_377 \/ c5_2 a605 a621 \/ c5_2 a624 $_377 \/ ndr1_1 a596 \/ % 1.32/1.48 ssSkC2 \/ ssSkC4 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a624 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a624 $_377 \/ c5_2 a605 a621 \/ c5_2 a624 $_377 \/ ndr1_1 a593 \/ % 1.32/1.48 ssSkC1 \/ ssSkC4 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_1 a624 \/ c3_2 a605 a621 \/ c4_0 \/ % 1.32/1.48 c4_2 a624 $_377 \/ c5_2 a605 a621 \/ c5_2 a624 $_377 \/ ndr1_1 a587 \/ % 1.32/1.48 ssSkC4 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c2_1 a605 \/ c3_1 a624 \/ c3_2 a605 a621 \/ c4_2 a624 $_377 \/ % 1.32/1.48 c5_2 a605 a621 \/ c5_2 a624 $_377 \/ ssSkC2 \/ ssSkC4 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c3_0 \/ c3_1 a637 \/ % 1.32/1.48 c3_2 a605 a621 \/ c4_2 a637 $_378 \/ c5_2 a605 a621 \/ % 1.32/1.48 c5_2 a637 $_378 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_0 \/ c3_1 a637 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_0 \/ c4_2 a637 $_378 \/ c5_2 a605 a621 \/ c5_2 a637 $_378 \/ % 1.32/1.48 ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_0 \/ c3_1 a637 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_0 \/ c4_2 a637 $_378 \/ c5_2 a605 a621 \/ c5_2 a637 $_378 \/ % 1.32/1.48 ndr1_1 a593 \/ ssSkC1 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c3_0 \/ c3_1 a637 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_0 \/ c4_2 a637 $_378 \/ c5_2 a605 a621 \/ c5_2 a637 $_378 \/ % 1.32/1.48 ndr1_1 a587 \/ ssSkP3 a605 % 1.32/1.48 |- ~c1_0 \/ c2_1 a605 \/ c3_0 \/ c3_1 a637 \/ c3_2 a605 a621 \/ % 1.32/1.48 c4_2 a637 $_378 \/ c5_2 a605 a621 \/ c5_2 a637 $_378 \/ ssSkC2 \/ % 1.32/1.48 ssSkP3 a605 % 1.32/1.48 |- c1_0 \/ c1_1 $_385 \/ c1_2 a619 a639 \/ c2_0 \/ c2_1 $_385 \/ % 1.32/1.48 c3_1 a619 \/ c4_0 \/ c4_2 a619 a639 \/ c5_2 a596 a597 \/ ssSkP0 $_385 % 1.32/1.48 |- ~c1_1 a596 \/ ~c1_2 $U a604 \/ ~ndr1_1 a596 \/ ~ssSkP1 $U \/ % 1.32/1.48 ~ssSkP2 $U \/ c1_0 \/ c1_1 $_386 \/ c1_2 a596 a597 \/ c1_2 a619 a639 \/ % 1.32/1.48 c2_0 \/ c2_1 $_386 \/ c3_1 a619 \/ c4_0 \/ c4_2 a596 a597 \/ % 1.32/1.48 c4_2 a619 a639 \/ ssSkP0 $_386 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $U \/ ~ssSkP2 $U \/ c1_0 \/ % 1.32/1.48 c1_1 $_386 \/ c1_2 a596 a597 \/ c1_2 a619 a639 \/ c2_0 \/ c2_1 $_386 \/ % 1.32/1.48 c3_1 a619 \/ c3_2 $U a604 \/ c4_0 \/ c4_2 a596 a597 \/ c4_2 a619 a639 \/ % 1.32/1.48 ssSkP0 $_386 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $U \/ ~ssSkP2 $U \/ c1_0 \/ % 1.32/1.48 c1_1 $_386 \/ c1_2 a596 a597 \/ c1_2 a619 a639 \/ c2_0 \/ c2_1 $_386 \/ % 1.32/1.48 c3_1 a619 \/ c4_0 \/ c4_2 $U a604 \/ c4_2 a596 a597 \/ c4_2 a619 a639 \/ % 1.32/1.48 ssSkP0 $_386 % 1.32/1.48 |- ~c1_2 a596 a597 \/ ~c2_2 a596 a627 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ % 1.32/1.48 ~ndr1_1 a596 \/ ~ssSkC4 \/ c1_0 \/ c1_1 $_386 \/ c1_2 a619 a639 \/ % 1.32/1.48 c2_0 \/ c2_1 $_386 \/ c3_1 a619 \/ c4_0 \/ c4_2 a619 a639 \/ % 1.32/1.48 ssSkP0 $_386 % 1.32/1.48 |- ~c1_2 a596 a597 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ ~ndr1_1 a596 \/ % 1.32/1.48 ~ssSkC4 \/ c1_0 \/ c1_1 $_386 \/ c1_2 a596 a627 \/ c1_2 a619 a639 \/ % 1.32/1.48 c2_0 \/ c2_1 $_386 \/ c3_1 a619 \/ c4_0 \/ c4_2 a619 a639 \/ % 1.32/1.48 ssSkP0 $_386 % 1.32/1.48 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_386 \/ % 1.32/1.48 c1_2 a619 a639 \/ c2_0 \/ c2_1 $_386 \/ c2_2 a596 a597 \/ c3_1 a619 \/ % 1.32/1.48 c4_0 \/ c4_2 a619 a639 \/ ssSkP0 $_386 % 1.32/1.48 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_386 \/ % 1.32/1.48 c1_2 a619 a639 \/ c2_0 \/ c2_1 $_386 \/ c2_2 a596 a597 \/ c3_1 a619 \/ % 1.32/1.48 c4_0 \/ c4_2 a619 a639 \/ ssSkP0 $_386 % 1.32/1.48 |- c1_0 \/ c1_1 $_387 \/ c1_2 a619 a639 \/ c2_0 \/ c2_1 $_387 \/ % 1.32/1.48 c2_2 a596 a598 \/ c3_1 a619 \/ c4_0 \/ c4_2 a619 a639 \/ ssSkP0 $_387 % 1.32/1.48 |- c1_0 \/ c1_1 $_389 \/ c1_2 a596 a598 \/ c1_2 a619 a639 \/ c2_0 \/ % 1.32/1.48 c2_1 $_389 \/ c3_1 a619 \/ c4_0 \/ c4_2 a619 a639 \/ ssSkP0 $_389 % 1.32/1.48 |- ~c3_0 \/ ~c4_0 \/ c1_1 $_393 \/ c2_0 \/ c2_1 $_394 \/ c2_2 $_393 a621 \/ % 1.32/1.48 c4_1 $_393 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 $_393 % 1.32/1.48 |- ~c3_0 \/ ~c4_0 \/ c1_1 $_413 \/ c2_0 \/ c2_1 $_414 \/ c2_2 $_413 a621 \/ % 1.32/1.48 c2_2 a596 a598 \/ c4_1 $_413 \/ ssSkC2 \/ ssSkP3 $_413 % 1.32/1.48 |- ~c3_0 \/ ~c4_0 \/ c1_1 $_417 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_418 \/ % 1.32/1.48 c2_2 $_417 a621 \/ c4_1 $_417 \/ ssSkC2 \/ ssSkP3 $_417 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_423 \/ c2_1 $_57 \/ % 1.32/1.48 c2_2 a605 a602 \/ c3_1 $_423 \/ c4_2 $_423 $_424 \/ c5_2 $_423 $_424 \/ % 1.32/1.48 ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.48 |- ~c1_0 \/ c2_1 $_423 \/ c2_1 a605 \/ c2_2 a605 a602 \/ c3_1 $_423 \/ % 1.32/1.48 c4_2 $_423 $_424 \/ c5_2 $_423 $_424 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.48 |- ~c1_0 \/ c2_0 \/ c2_1 $_59 \/ c2_1 a605 \/ c2_2 a605 a602 \/ % 1.32/1.48 c3_1 a593 \/ c4_2 a593 $_426 \/ c5_2 a593 $_426 \/ ssSkC1 \/ ssSkC2 \/ % 1.32/1.48 ssSkP1 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 $_102 \/ c2_0 \/ c2_1 $_57 \/ c2_1 a605 \/ % 1.32/1.48 c2_2 a605 a602 \/ c3_1 a596 \/ c4_2 a596 $_426 \/ c5_2 a596 $_426 \/ % 1.32/1.48 ndr1_1 $_102 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a596 \/ c2_0 \/ c2_1 $_57 \/ c2_1 a605 \/ % 1.32/1.48 c2_2 a605 a602 \/ c3_1 a596 \/ c4_2 a596 $_426 \/ c5_2 a596 $_426 \/ % 1.32/1.48 ssSkC2 \/ ssSkP1 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 $_101 \/ c2_0 \/ c2_1 $_101 \/ c2_1 a605 \/ % 1.32/1.48 c2_2 a605 a602 \/ c3_1 a596 \/ c4_2 a596 $_426 \/ c5_2 a596 $_426 \/ % 1.32/1.48 ssSkC2 \/ ssSkP1 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_427 \/ c2_1 $_57 \/ % 1.32/1.48 c2_2 a605 a603 \/ c3_1 $_427 \/ c4_2 $_427 $_428 \/ c5_2 $_427 $_428 \/ % 1.32/1.48 ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.48 |- ~c1_0 \/ c2_1 $_427 \/ c2_1 a605 \/ c2_2 a605 a603 \/ c3_1 $_427 \/ % 1.32/1.48 c4_2 $_427 $_428 \/ c5_2 $_427 $_428 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.48 |- ~c1_0 \/ c2_0 \/ c2_1 $_59 \/ c2_1 a605 \/ c2_2 a605 a603 \/ % 1.32/1.48 c3_1 a593 \/ c4_2 a593 $_430 \/ c5_2 a593 $_430 \/ ssSkC1 \/ ssSkC2 \/ % 1.32/1.48 ssSkP2 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 $_102 \/ c2_0 \/ c2_1 $_57 \/ c2_1 a605 \/ % 1.32/1.48 c2_2 a605 a603 \/ c3_1 a596 \/ c4_2 a596 $_430 \/ c5_2 a596 $_430 \/ % 1.32/1.48 ndr1_1 $_102 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 a596 \/ c2_0 \/ c2_1 $_57 \/ c2_1 a605 \/ % 1.32/1.48 c2_2 a605 a603 \/ c3_1 a596 \/ c4_2 a596 $_430 \/ c5_2 a596 $_430 \/ % 1.32/1.48 ssSkC2 \/ ssSkP2 a605 % 1.32/1.48 |- ~c1_0 \/ c1_1 $_101 \/ c2_0 \/ c2_1 $_101 \/ c2_1 a605 \/ % 1.32/1.48 c2_2 a605 a603 \/ c3_1 a596 \/ c4_2 a596 $_430 \/ c5_2 a596 $_430 \/ % 1.32/1.48 ssSkC2 \/ ssSkP2 a605 % 1.32/1.48 |- ~c1_2 a596 $_433 \/ ~c4_2 a596 $_433 \/ ~ndr1_1 $_431 \/ ~ndr1_1 a596 \/ % 1.32/1.48 c1_1 $_431 \/ c2_0 \/ c2_1 $_431 \/ c3_2 $_431 a599 \/ % 1.32/1.48 c3_2 a596 $_433 \/ ssSkP0 $_431 % 1.32/1.48 |- ~c1_2 a596 a621 \/ ~c2_2 $_431 $_432 \/ ~ndr1_1 $_431 \/ ~ndr1_1 a596 \/ % 1.32/1.48 c1_1 $_431 \/ c2_0 \/ c2_1 $_431 \/ c3_2 $_431 $_432 \/ % 1.32/1.48 c3_2 a596 a621 \/ ssSkP3 a596 % 1.32/1.48 |- ~c1_2 a596 $_435 \/ ~c4_2 a596 $_435 \/ ~ndr1_1 a596 \/ c1_0 \/ % 1.32/1.48 c1_1 $_434 \/ c1_2 a619 a603 \/ c2_0 \/ c2_1 $_434 \/ c3_1 a619 \/ % 1.32/1.48 c3_2 $_434 a599 \/ c3_2 a596 $_435 \/ c4_0 \/ ssSkP0 $_434 \/ % 1.32/1.48 ssSkP2 a619 % 1.32/1.48 |- ~c1_2 a596 $_435 \/ ~c4_2 a596 $_435 \/ ~ndr1_1 a596 \/ c1_0 \/ % 1.32/1.48 c1_1 $_434 \/ c1_2 a619 a639 \/ c2_0 \/ c2_1 $_434 \/ c3_1 a619 \/ % 1.32/1.48 c3_2 $_434 a599 \/ c3_2 a596 $_435 \/ c4_0 \/ c4_2 a619 a639 \/ % 1.32/1.48 ssSkP0 $_434 % 1.32/1.48 |- ~c1_2 a596 $_435 \/ ~c4_2 a596 $_435 \/ ~ndr1_1 a596 \/ c1_1 $_434 \/ % 1.32/1.48 c2_0 \/ c2_1 $_434 \/ c3_2 $_434 a599 \/ c3_2 a596 $_435 \/ ssSkC2 \/ % 1.32/1.48 ssSkP0 $_434 % 1.32/1.48 |- ~ndr1_1 $_436 \/ ~ndr1_1 a596 \/ c1_1 $_436 \/ c2_0 \/ c2_1 $_436 \/ % 1.32/1.48 c3_2 $_436 a599 \/ c3_2 a596 a621 \/ ssSkP0 $_436 \/ ssSkP3 a596 % 1.32/1.48 |- ~ndr1_1 a596 \/ c1_1 a596 \/ c2_0 \/ c2_1 a596 \/ c3_2 a596 a599 \/ % 1.32/1.48 c3_2 a596 a621 \/ ssSkP0 a596 \/ ssSkP3 a596 % 1.32/1.48 |- ~ndr1_1 a596 \/ c1_1 a608 \/ c2_0 \/ c2_1 a608 \/ c3_2 a596 a621 \/ % 1.32/1.48 c3_2 a608 a599 \/ ssSkC3 \/ ssSkP0 a608 \/ ssSkP3 a596 % 1.32/1.48 |- ~ndr1_1 a596 \/ c1_1 a624 \/ c2_0 \/ c2_1 a624 \/ c3_2 a596 a621 \/ % 1.32/1.48 c3_2 a624 a599 \/ ssSkC4 \/ ssSkP0 a624 \/ ssSkP3 a596 % 1.32/1.48 |- ~ndr1_1 a596 \/ c1_1 a637 \/ c2_0 \/ c2_1 a637 \/ c3_0 \/ % 1.32/1.48 c3_2 a596 a621 \/ c3_2 a637 a599 \/ ssSkP0 a637 \/ ssSkP3 a596 % 1.32/1.48 |- ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a637 \/ c2_0 \/ c2_1 a596 \/ % 1.32/1.48 c2_1 a637 \/ c3_0 \/ c3_2 a596 a598 \/ c3_2 a596 a621 \/ ssSkP0 a637 \/ % 1.32/1.48 ssSkP3 a596 % 1.32/1.48 |- ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a624 \/ c2_0 \/ c2_1 a596 \/ % 1.32/1.48 c2_1 a624 \/ c3_2 a596 a598 \/ c3_2 a596 a621 \/ ssSkC4 \/ % 1.32/1.48 ssSkP0 a624 \/ ssSkP3 a596 % 1.32/1.48 |- ~ndr1_1 a596 \/ c1_1 a596 \/ c1_1 a608 \/ c2_0 \/ c2_1 a596 \/ % 1.32/1.48 c2_1 a608 \/ c3_2 a596 a598 \/ c3_2 a596 a621 \/ ssSkC3 \/ % 1.32/1.48 ssSkP0 a608 \/ ssSkP3 a596 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a637 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a637 \/ c3_0 \/ c3_2 a637 a599 \/ c4_2 a596 a597 \/ % 1.32/1.48 ndr1_1 $_480 \/ ssSkP0 a637 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a624 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a624 \/ c3_2 a624 a599 \/ c4_2 a596 a597 \/ ndr1_1 $_484 \/ % 1.32/1.48 ssSkC4 \/ ssSkP0 a624 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a608 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a608 \/ c3_2 a608 a599 \/ c4_2 a596 a597 \/ ndr1_1 $_488 \/ % 1.32/1.48 ssSkC3 \/ ssSkP0 a608 % 1.32/1.48 |- ~c1_1 a624 \/ c1_0 \/ c1_2 a624 $_496 \/ c2_2 a624 $_496 \/ % 1.32/1.48 c3_2 a624 $_496 \/ c4_2 a624 $_496 \/ ndr1_1 $_495 \/ ssSkC4 % 1.32/1.48 |- ~c3_0 \/ ~c4_0 \/ c1_0 \/ c1_2 a619 a603 \/ c2_1 a619 \/ % 1.32/1.48 c2_2 a593 a621 \/ c4_1 a593 \/ ssSkC1 \/ ssSkC2 \/ ssSkP2 a619 \/ % 1.32/1.48 ssSkP3 a593 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a624 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a624 \/ c3_2 a624 a599 \/ c4_2 a596 a597 \/ % 1.32/1.48 c4_2 a608 a604 \/ ssSkC3 \/ ssSkC4 \/ ssSkP0 a624 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a637 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a637 \/ c3_0 \/ c3_2 a637 a599 \/ c4_2 a596 a597 \/ % 1.32/1.48 c4_2 a608 a604 \/ ssSkC3 \/ ssSkP0 a637 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a608 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a608 \/ c3_2 a608 a599 \/ c4_2 a596 a597 \/ % 1.32/1.48 c4_2 a608 a604 \/ ssSkC3 \/ ssSkP0 a608 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a624 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a624 \/ c3_2 a608 a604 \/ c3_2 a624 a599 \/ % 1.32/1.48 c4_2 a596 a597 \/ ssSkC3 \/ ssSkC4 \/ ssSkP0 a624 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a637 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a637 \/ c3_0 \/ c3_2 a608 a604 \/ c3_2 a637 a599 \/ % 1.32/1.48 c4_2 a596 a597 \/ ssSkC3 \/ ssSkP0 a637 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 a608 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 a608 \/ c3_2 a608 a599 \/ c3_2 a608 a604 \/ % 1.32/1.48 c4_2 a596 a597 \/ ssSkC3 \/ ssSkP0 a608 % 1.32/1.48 |- ~c1_1 a624 \/ c1_0 \/ c1_2 a624 $_516 \/ c2_2 a624 $_516 \/ % 1.32/1.48 c3_2 a624 $_516 \/ c4_2 a608 a604 \/ c4_2 a624 $_516 \/ ssSkC3 \/ ssSkC4 % 1.32/1.48 |- ~c1_1 a624 \/ c1_0 \/ c1_2 a624 $_521 \/ c2_2 a624 $_521 \/ % 1.32/1.48 c3_2 a608 a604 \/ c3_2 a624 $_521 \/ c4_2 a624 $_521 \/ ssSkC3 \/ ssSkC4 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_527 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 $_527 \/ c4_2 a596 a597 \/ ndr1_1 $_528 \/ ssSkC2 % 1.32/1.48 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_529 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.48 c2_1 $_529 \/ c2_1 a596 \/ c4_2 a596 a597 \/ ndr1_1 $_530 \/ ssSkC2 % 1.32/1.48 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_101 \/ c1_1 $_529 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 $_101 \/ c2_1 $_529 \/ c4_2 a596 a597 \/ ndr1_1 $_530 \/ % 1.32/1.48 ssSkC2 % 1.32/1.48 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_546 \/ c1_2 a596 a597 \/ % 1.32/1.48 c2_0 \/ c2_1 $_546 \/ c4_2 a596 a597 \/ c4_2 a608 a604 \/ ssSkC2 \/ % 1.32/1.48 ssSkC3 % 1.32/1.48 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_547 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.48 c2_1 $_547 \/ c2_1 a596 \/ c4_2 a596 a597 \/ c4_2 a608 a604 \/ ssSkC2 \/ % 1.32/1.48 ssSkC3 % 1.32/1.49 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_101 \/ c1_1 $_547 \/ c1_2 a596 a597 \/ % 1.32/1.49 c2_0 \/ c2_1 $_101 \/ c2_1 $_547 \/ c4_2 a596 a597 \/ c4_2 a608 a604 \/ % 1.32/1.49 ssSkC2 \/ ssSkC3 % 1.32/1.49 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_551 \/ c1_2 a596 a597 \/ % 1.32/1.49 c2_0 \/ c2_1 $_551 \/ c3_2 a608 a604 \/ c4_2 a596 a597 \/ ssSkC2 \/ % 1.32/1.49 ssSkC3 % 1.32/1.49 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_552 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.49 c2_1 $_552 \/ c2_1 a596 \/ c3_2 a608 a604 \/ c4_2 a596 a597 \/ ssSkC2 \/ % 1.32/1.49 ssSkC3 % 1.32/1.49 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_101 \/ c1_1 $_552 \/ c1_2 a596 a597 \/ % 1.32/1.49 c2_0 \/ c2_1 $_101 \/ c2_1 $_552 \/ c3_2 a608 a604 \/ c4_2 a596 a597 \/ % 1.32/1.49 ssSkC2 \/ ssSkC3 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_1 $_582 \/ c2_0 \/ c2_1 $_583 \/ c4_0 \/ % 1.32/1.49 c4_2 a587 $_581 \/ c5_1 $_582 \/ c5_2 a587 $_581 \/ ndr1_1 $_582 % 1.32/1.49 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_601 \/ c1_2 a596 a597 \/ % 1.32/1.49 c2_0 \/ c4_0 \/ c4_2 a596 a597 \/ ndr1_1 $_601 \/ ndr1_1 $_602 \/ ssSkC2 % 1.32/1.49 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_102 \/ c1_1 $_603 \/ c1_2 a596 a597 \/ % 1.32/1.49 c2_0 \/ c4_0 \/ c4_2 a596 a597 \/ ndr1_1 $_102 \/ ndr1_1 $_603 \/ % 1.32/1.49 ndr1_1 $_604 \/ ssSkC2 % 1.32/1.49 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_57 \/ c2_1 $_607 \/ c3_1 $_607 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_2 $_607 $_608 \/ c5_2 $_607 $_608 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c2_1 $_607 \/ c2_1 a605 \/ c3_1 $_607 \/ c3_2 a605 a621 \/ % 1.32/1.49 c4_2 $_607 $_608 \/ c5_2 $_607 $_608 \/ c5_2 a605 a621 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c2_0 \/ c2_1 $_59 \/ c2_1 a605 \/ c3_1 a593 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_2 a593 $_610 \/ c5_2 a593 $_610 \/ % 1.32/1.49 c5_2 a605 a621 \/ ssSkC1 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_102 \/ c2_0 \/ c2_1 $_57 \/ c2_1 a605 \/ c3_1 a596 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_2 a596 $_610 \/ c5_2 a596 $_610 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 $_102 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 a596 \/ c2_0 \/ c2_1 $_57 \/ c2_1 a605 \/ c3_1 a596 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_2 a596 $_610 \/ c5_2 a596 $_610 \/ % 1.32/1.49 c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_101 \/ c2_0 \/ c2_1 $_101 \/ c2_1 a605 \/ c3_1 a596 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_2 a596 $_610 \/ c5_2 a596 $_610 \/ % 1.32/1.49 c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_621 \/ c1_2 a619 a603 \/ c2_0 \/ % 1.32/1.49 c2_1 $_621 \/ c3_1 a619 \/ c3_2 $_621 a599 \/ c3_2 a596 a621 \/ c4_0 \/ % 1.32/1.49 ssSkP0 $_621 \/ ssSkP2 a619 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_1 $_628 \/ c2_0 \/ c2_1 $_629 \/ % 1.32/1.49 c2_2 $_628 a610 \/ c4_0 \/ c4_2 a587 $_627 \/ c5_1 $_628 \/ % 1.32/1.49 c5_2 a587 $_627 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_1 $_637 \/ c2_0 \/ c2_1 $_638 \/ % 1.32/1.49 c3_2 $_637 a610 \/ c4_0 \/ c4_2 a587 $_636 \/ c5_1 $_637 \/ % 1.32/1.49 c5_2 a587 $_636 % 1.32/1.49 |- ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_662 \/ c1_2 a619 a639 \/ c2_0 \/ % 1.32/1.49 c2_1 $_662 \/ c3_1 a619 \/ c3_2 $_662 a599 \/ c3_2 a596 a621 \/ c4_0 \/ % 1.32/1.49 c4_2 a619 a639 \/ ssSkP0 $_662 \/ ssSkP3 a596 % 1.32/1.49 |- c1_0 \/ c1_2 a616 a603 \/ c2_1 a616 \/ c2_2 a619 a621 \/ % 1.32/1.49 c3_2 a619 a621 \/ c4_0 \/ c4_2 a619 a628 \/ ssSkC2 \/ ssSkC5 \/ % 1.32/1.49 ssSkP2 a616 \/ ssSkP3 a619 % 1.32/1.49 |- c1_0 \/ c1_1 $_673 \/ c1_2 a619 a603 \/ c2_0 \/ c2_1 $_673 \/ % 1.32/1.49 c3_1 a619 \/ c4_0 \/ c5_2 a596 a597 \/ ssSkP0 $_673 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a596 \/ ~c1_2 $U a604 \/ ~ndr1_1 a596 \/ ~ssSkP1 $U \/ % 1.32/1.49 ~ssSkP2 $U \/ c1_0 \/ c1_1 $_674 \/ c1_2 a596 a597 \/ c1_2 a619 a603 \/ % 1.32/1.49 c2_0 \/ c2_1 $_674 \/ c3_1 a619 \/ c4_0 \/ c4_2 a596 a597 \/ % 1.32/1.49 ssSkP0 $_674 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $U \/ ~ssSkP2 $U \/ c1_0 \/ % 1.32/1.49 c1_1 $_674 \/ c1_2 a596 a597 \/ c1_2 a619 a603 \/ c2_0 \/ c2_1 $_674 \/ % 1.32/1.49 c3_1 a619 \/ c3_2 $U a604 \/ c4_0 \/ c4_2 a596 a597 \/ ssSkP0 $_674 \/ % 1.32/1.49 ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ ~ssSkP1 $U \/ ~ssSkP2 $U \/ c1_0 \/ % 1.32/1.49 c1_1 $_674 \/ c1_2 a596 a597 \/ c1_2 a619 a603 \/ c2_0 \/ c2_1 $_674 \/ % 1.32/1.49 c3_1 a619 \/ c4_0 \/ c4_2 $U a604 \/ c4_2 a596 a597 \/ ssSkP0 $_674 \/ % 1.32/1.49 ssSkP2 a619 % 1.32/1.49 |- ~c1_2 a596 a597 \/ ~c2_2 a596 a627 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ % 1.32/1.49 ~ndr1_1 a596 \/ ~ssSkC4 \/ c1_0 \/ c1_1 $_674 \/ c1_2 a619 a603 \/ % 1.32/1.49 c2_0 \/ c2_1 $_674 \/ c3_1 a619 \/ c4_0 \/ ssSkP0 $_674 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_2 a596 a597 \/ ~c3_1 a596 \/ ~c3_2 a596 a597 \/ ~ndr1_1 a596 \/ % 1.32/1.49 ~ssSkC4 \/ c1_0 \/ c1_1 $_674 \/ c1_2 a596 a627 \/ c1_2 a619 a603 \/ % 1.32/1.49 c2_0 \/ c2_1 $_674 \/ c3_1 a619 \/ c4_0 \/ ssSkP0 $_674 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a596 \/ ~c1_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_674 \/ % 1.32/1.49 c1_2 a619 a603 \/ c2_0 \/ c2_1 $_674 \/ c2_2 a596 a597 \/ c3_1 a619 \/ % 1.32/1.49 c4_0 \/ ssSkP0 $_674 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a596 \/ ~c4_2 a596 a595 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_674 \/ % 1.32/1.49 c1_2 a619 a603 \/ c2_0 \/ c2_1 $_674 \/ c2_2 a596 a597 \/ c3_1 a619 \/ % 1.32/1.49 c4_0 \/ ssSkP0 $_674 \/ ssSkP2 a619 % 1.32/1.49 |- c1_0 \/ c1_1 $_675 \/ c1_2 a619 a603 \/ c2_0 \/ c2_1 $_675 \/ % 1.32/1.49 c2_2 a596 a598 \/ c3_1 a619 \/ c4_0 \/ ssSkP0 $_675 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_676 \/ c1_1 a596 \/ % 1.32/1.49 c1_2 a619 a603 \/ c2_0 \/ c2_1 $_676 \/ c2_1 a596 \/ c3_1 a619 \/ % 1.32/1.49 c3_2 a596 a598 \/ c4_0 \/ ssSkP0 $_676 \/ ssSkP2 a619 % 1.32/1.49 |- ~c2_2 a596 a597 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_676 \/ c1_1 a596 \/ % 1.32/1.49 c1_2 a619 a603 \/ c2_0 \/ c2_1 $_676 \/ c2_1 a596 \/ c3_1 a619 \/ % 1.32/1.49 c3_2 a596 a598 \/ c4_0 \/ ssSkP0 $_676 \/ ssSkP2 a619 % 1.32/1.49 |- c1_0 \/ c1_1 $_677 \/ c1_2 a596 a598 \/ c1_2 a619 a603 \/ c2_0 \/ % 1.32/1.49 c2_1 $_677 \/ c3_1 a619 \/ c4_0 \/ ssSkP0 $_677 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_689 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.32/1.49 c3_1 $_689 \/ c4_0 \/ c4_2 $_689 $_690 \/ c5_2 $_689 $_690 \/ % 1.32/1.49 ndr1_1 a587 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_693 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.32/1.49 c3_1 $_693 \/ c4_0 \/ c4_2 $_693 $_694 \/ c5_2 $_693 $_694 \/ % 1.32/1.49 ndr1_1 a587 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_1 $_711 \/ c1_1 $_712 \/ c2_0 \/ c4_0 \/ % 1.32/1.49 c4_2 a587 $_710 \/ c5_1 $_711 \/ c5_2 a587 $_710 \/ ndr1_1 $_711 \/ % 1.32/1.49 ndr1_1 $_712 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_1 $_736 \/ c1_1 $_737 \/ c2_0 \/ % 1.32/1.49 c2_2 $_736 a610 \/ c4_0 \/ c4_2 a587 $_735 \/ c5_1 $_736 \/ % 1.32/1.49 c5_2 a587 $_735 \/ ndr1_1 $_737 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_1 $_745 \/ c1_1 $_746 \/ c2_0 \/ % 1.32/1.49 c3_2 $_745 a610 \/ c4_0 \/ c4_2 a587 $_744 \/ c5_1 $_745 \/ % 1.32/1.49 c5_2 a587 $_744 \/ ndr1_1 $_746 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_765 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.32/1.49 c3_1 $_765 \/ c4_0 \/ c4_2 $_765 $_766 \/ c5_2 $_765 $_766 \/ % 1.32/1.49 ndr1_1 a593 \/ ssSkC1 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_767 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.32/1.49 c3_1 $_767 \/ c4_0 \/ c4_2 $_767 $_768 \/ c5_2 $_767 $_768 \/ % 1.32/1.49 ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_773 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.32/1.49 c3_1 $_773 \/ c4_0 \/ c4_2 $_773 $_774 \/ c5_2 $_773 $_774 \/ % 1.32/1.49 ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_775 \/ c1_1 a605 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.32/1.49 c3_1 $_775 \/ c4_0 \/ c4_2 $_775 $_776 \/ c5_2 $_775 $_776 \/ % 1.32/1.49 ndr1_1 a593 \/ ssSkC1 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_850 \/ c2_0 \/ c3_1 $_850 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_850 $_852 \/ c5_2 $_850 $_852 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a587 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_853 \/ c1_1 a605 \/ c2_0 \/ c3_1 $_853 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_853 $_854 \/ c5_2 $_853 $_854 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a587 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_1 a596 \/ ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_866 \/ c1_2 a596 a597 \/ % 1.32/1.49 c2_0 \/ c2_1 $_868 \/ c4_2 a596 a597 \/ ndr1_1 $_866 \/ ndr1_1 $_867 \/ % 1.32/1.49 ssSkC2 % 1.32/1.49 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_869 \/ c1_2 a596 a597 \/ c2_0 \/ % 1.32/1.49 c2_1 $_871 \/ c2_1 a596 \/ c4_2 a596 a597 \/ ndr1_1 $_869 \/ % 1.32/1.49 ndr1_1 $_870 \/ ssSkC2 % 1.32/1.49 |- ~c1_1 a596 \/ c1_0 \/ c1_1 $_102 \/ c1_1 $_869 \/ c1_2 a596 a597 \/ % 1.32/1.49 c2_0 \/ c2_1 $_57 \/ c2_1 $_871 \/ c4_2 a596 a597 \/ ndr1_1 $_102 \/ % 1.32/1.49 ndr1_1 $_869 \/ ndr1_1 $_870 \/ ssSkC2 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_920 \/ c1_2 a619 a603 \/ % 1.32/1.49 c2_2 $_920 a610 \/ c3_1 a619 \/ c4_0 \/ c4_2 a587 $_919 \/ c5_1 $_920 \/ % 1.32/1.49 c5_2 a587 $_919 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_925 \/ c1_2 a619 a603 \/ % 1.32/1.49 c3_1 a619 \/ c3_2 $_925 a610 \/ c4_0 \/ c4_2 a587 $_924 \/ c5_1 $_925 \/ % 1.32/1.49 c5_2 a587 $_924 \/ ssSkP2 a619 % 1.32/1.49 |- ~c3_0 \/ ~c4_0 \/ c1_1 $_928 \/ c2_0 \/ c2_1 $_929 \/ c2_2 $_928 a621 \/ % 1.32/1.49 c4_1 $_928 \/ c5_2 a596 a597 \/ ssSkC2 \/ ssSkP3 $_928 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_942 \/ c2_0 \/ c3_1 $_942 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_942 $_944 \/ c5_2 $_942 $_944 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_945 \/ c1_1 a605 \/ c2_0 \/ c3_1 $_945 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_945 $_946 \/ c5_2 $_945 $_946 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_951 \/ c2_0 \/ c3_1 $_951 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_951 $_953 \/ c5_2 $_951 $_953 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_954 \/ c1_1 a605 \/ c2_0 \/ c3_1 $_954 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_954 $_955 \/ c5_2 $_954 $_955 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a593 \/ ssSkC1 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_964 \/ c1_2 a619 a639 \/ % 1.32/1.49 c2_2 $_964 a610 \/ c3_1 a619 \/ c4_0 \/ c4_2 a587 $_963 \/ % 1.32/1.49 c4_2 a619 a639 \/ c5_1 $_964 \/ c5_2 a587 $_963 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_969 \/ c1_2 a619 a639 \/ % 1.32/1.49 c3_1 a619 \/ c3_2 $_969 a610 \/ c4_0 \/ c4_2 a587 $_968 \/ % 1.32/1.49 c4_2 a619 a639 \/ c5_1 $_969 \/ c5_2 a587 $_968 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1007 \/ c2_0 \/ c2_2 a596 a598 \/ % 1.32/1.49 c3_1 $_1007 \/ c3_2 a605 a621 \/ c4_0 \/ c4_2 $_1007 $_1009 \/ % 1.32/1.49 c5_2 $_1007 $_1009 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1014 \/ c2_0 \/ c3_1 $_1014 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_1014 $_1016 \/ c5_2 $_1014 $_1016 \/ % 1.32/1.49 c5_2 a596 a597 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1021 \/ c1_2 a596 a598 \/ c2_0 \/ % 1.32/1.49 c3_1 $_1021 \/ c3_2 a605 a621 \/ c4_0 \/ c4_2 $_1021 $_1023 \/ % 1.32/1.49 c5_2 $_1021 $_1023 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1040 \/ c2_0 \/ c2_1 $_1043 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 $_1040 \/ c4_2 $_1040 $_1042 \/ % 1.32/1.49 c5_2 $_1040 $_1042 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1040 \/ c2_0 \/ c2_1 $_1043 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 $_1040 \/ c4_2 $_1040 $_1042 \/ % 1.32/1.49 c5_2 $_1040 $_1042 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1044 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_1046 \/ c2_1 $_57 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 $_1044 \/ c4_2 $_1044 $_1045 \/ % 1.32/1.49 c5_2 $_1044 $_1045 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1044 \/ c2_0 \/ c2_1 $_1046 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 $_1044 \/ c4_2 $_1044 $_1045 \/ % 1.32/1.49 c5_2 $_1044 $_1045 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1047 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_1049 \/ c2_1 $_57 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 $_1047 \/ c4_2 $_1047 $_1048 \/ % 1.32/1.49 c5_2 $_1047 $_1048 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1047 \/ c2_0 \/ c2_1 $_1049 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 $_1047 \/ c4_2 $_1047 $_1048 \/ % 1.32/1.49 c5_2 $_1047 $_1048 \/ ndr1_1 a596 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1070 \/ c2_0 \/ c2_1 $_1073 \/ % 1.32/1.49 c2_2 a596 a598 \/ c2_2 a605 a602 \/ c3_1 $_1070 \/ c4_2 $_1070 $_1072 \/ % 1.32/1.49 c5_2 $_1070 $_1072 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1070 \/ c2_0 \/ c2_1 $_1073 \/ % 1.32/1.49 c2_2 a596 a598 \/ c2_2 a605 a603 \/ c3_1 $_1070 \/ c4_2 $_1070 $_1072 \/ % 1.32/1.49 c5_2 $_1070 $_1072 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1074 \/ c2_0 \/ c2_1 $_1076 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a596 a598 \/ c2_2 a605 a603 \/ c3_1 $_1074 \/ c4_2 $_1074 $_1075 \/ % 1.32/1.49 c5_2 $_1074 $_1075 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1077 \/ c2_0 \/ c2_1 $_1079 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a596 a598 \/ c2_2 a605 a602 \/ c3_1 $_1077 \/ c4_2 $_1077 $_1078 \/ % 1.32/1.49 c5_2 $_1077 $_1078 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1086 \/ c2_0 \/ c2_1 $_1089 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 $_1086 \/ c4_2 $_1086 $_1088 \/ % 1.32/1.49 c5_2 $_1086 $_1088 \/ c5_2 a596 a597 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1086 \/ c2_0 \/ c2_1 $_1089 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 $_1086 \/ c4_2 $_1086 $_1088 \/ % 1.32/1.49 c5_2 $_1086 $_1088 \/ c5_2 a596 a597 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1090 \/ c2_0 \/ c2_1 $_1092 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 $_1090 \/ c4_2 $_1090 $_1091 \/ % 1.32/1.49 c5_2 $_1090 $_1091 \/ c5_2 a596 a597 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1093 \/ c2_0 \/ c2_1 $_1095 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 $_1093 \/ c4_2 $_1093 $_1094 \/ % 1.32/1.49 c5_2 $_1093 $_1094 \/ c5_2 a596 a597 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1102 \/ c1_2 a596 a598 \/ c2_0 \/ % 1.32/1.49 c2_1 $_1105 \/ c2_2 a605 a602 \/ c3_1 $_1102 \/ c4_2 $_1102 $_1104 \/ % 1.32/1.49 c5_2 $_1102 $_1104 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1102 \/ c1_2 a596 a598 \/ c2_0 \/ % 1.32/1.49 c2_1 $_1105 \/ c2_2 a605 a603 \/ c3_1 $_1102 \/ c4_2 $_1102 $_1104 \/ % 1.32/1.49 c5_2 $_1102 $_1104 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1106 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_1108 \/ % 1.32/1.49 c2_1 a605 \/ c2_2 a605 a602 \/ c3_1 $_1106 \/ c4_2 $_1106 $_1107 \/ % 1.32/1.49 c5_2 $_1106 $_1107 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1109 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_1111 \/ % 1.32/1.49 c2_1 a605 \/ c2_2 a605 a603 \/ c3_1 $_1109 \/ c4_2 $_1109 $_1110 \/ % 1.32/1.49 c5_2 $_1109 $_1110 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_1122 \/ c2_1 $_59 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 a593 \/ c4_2 a593 $_1121 \/ c5_2 a593 $_1121 \/ % 1.32/1.49 ndr1_1 a596 \/ ssSkC1 \/ ssSkC2 \/ ssSkP1 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_1125 \/ c2_1 $_59 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 a593 \/ c4_2 a593 $_1124 \/ c5_2 a593 $_1124 \/ % 1.32/1.49 ndr1_1 a596 \/ ssSkC1 \/ ssSkC2 \/ ssSkP2 a605 % 1.32/1.49 |- c1_1 $_653 \/ c2_0 \/ c2_1 $_653 \/ c3_2 a596 a621 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a596 % 1.32/1.49 |- c1_1 $_1165 \/ c2_0 \/ c2_1 $_57 \/ c3_2 a596 a621 \/ ndr1_1 $_1165 \/ % 1.32/1.49 ssSkC2 \/ ssSkP3 a596 % 1.32/1.49 |- c1_1 $_1165 \/ c2_0 \/ c3_2 a596 a621 \/ c4_0 \/ ndr1_1 $_1165 \/ % 1.32/1.49 ssSkC2 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1166 \/ c2_0 \/ c3_1 $_1166 \/ % 1.32/1.49 c3_2 a596 a621 \/ c3_2 a605 a621 \/ c4_0 \/ c4_2 $_1166 $_371 \/ % 1.32/1.49 c5_2 $_1166 $_371 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a596 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~c1_2 a605 $V \/ ~ndr1_1 a605 \/ c1_1 $_1166 \/ c2_0 \/ % 1.32/1.49 c3_1 $_1166 \/ c3_2 a596 a621 \/ c3_2 a605 $V \/ c4_0 \/ % 1.32/1.49 c4_2 $_1166 $W \/ c5_2 $_1166 $W \/ c5_2 a605 $V \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1166 \/ c2_0 \/ c2_2 a605 a603 \/ % 1.32/1.49 c3_1 $_1166 \/ c3_2 a596 a621 \/ c4_0 \/ c4_2 $_1166 $_246 \/ % 1.32/1.49 c5_2 $_1166 $_246 \/ ssSkC2 \/ ssSkP2 a605 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1166 \/ c2_0 \/ c2_2 a605 a602 \/ % 1.32/1.49 c3_1 $_1166 \/ c3_2 a596 a621 \/ c4_0 \/ c4_2 $_1166 $_246 \/ % 1.32/1.49 c5_2 $_1166 $_246 \/ ssSkC2 \/ ssSkP1 a605 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~c3_2 a605 $V \/ ~ndr1_1 a605 \/ c1_1 $_1166 \/ c2_0 \/ % 1.32/1.49 c2_2 a605 $V \/ c3_1 $_1166 \/ c3_2 a596 a621 \/ c4_0 \/ % 1.32/1.49 c4_2 $_1166 $W \/ c5_2 $_1166 $W \/ ssSkC2 \/ ssSkP3 a596 % 1.32/1.49 |- ~c4_1 $_1166 \/ c1_1 $_1166 \/ c2_0 \/ c2_2 $_1166 a621 \/ % 1.32/1.49 c3_2 $_1166 a621 \/ c3_2 a596 a621 \/ c4_0 \/ c4_2 $_1166 a628 \/ % 1.32/1.49 ssSkC2 \/ ssSkC5 \/ ssSkP3 $_1166 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1167 \/ c2_0 \/ c2_1 $_1168 \/ c2_1 a605 \/ % 1.32/1.49 c3_1 $_1167 \/ c3_2 a596 a621 \/ c3_2 a605 a621 \/ c4_2 $_1167 $_375 \/ % 1.32/1.49 c5_2 $_1167 $_375 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a596 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1167 \/ c2_0 \/ c2_1 $_1168 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 $_1167 \/ c3_2 a596 a621 \/ c4_2 $_1167 $_257 \/ % 1.32/1.49 c5_2 $_1167 $_257 \/ ssSkC2 \/ ssSkP2 a605 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1167 \/ c2_0 \/ c2_1 $_1168 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 $_1167 \/ c3_2 a596 a621 \/ c4_2 $_1167 $_252 \/ % 1.32/1.49 c5_2 $_1167 $_252 \/ ssSkC2 \/ ssSkP1 a605 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1167 \/ c2_0 \/ c2_1 $_1168 \/ % 1.32/1.49 c3_1 $_1167 \/ c3_2 a596 a621 \/ c3_2 a605 a621 \/ c4_2 $_1167 $_371 \/ % 1.32/1.49 c5_2 $_1167 $_371 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a596 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~c1_2 a605 $V \/ ~ndr1_1 a605 \/ c1_1 $_1167 \/ c2_0 \/ % 1.32/1.49 c2_1 $_1168 \/ c3_1 $_1167 \/ c3_2 a596 a621 \/ c3_2 a605 $V \/ % 1.32/1.49 c4_2 $_1167 $W \/ c5_2 $_1167 $W \/ c5_2 a605 $V \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1167 \/ c2_0 \/ c2_1 $_1168 \/ % 1.32/1.49 c2_2 a605 a603 \/ c3_1 $_1167 \/ c3_2 a596 a621 \/ c4_2 $_1167 $_246 \/ % 1.32/1.49 c5_2 $_1167 $_246 \/ ssSkC2 \/ ssSkP2 a605 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1167 \/ c2_0 \/ c2_1 $_1168 \/ % 1.32/1.49 c2_2 a605 a602 \/ c3_1 $_1167 \/ c3_2 a596 a621 \/ c4_2 $_1167 $_246 \/ % 1.32/1.49 c5_2 $_1167 $_246 \/ ssSkC2 \/ ssSkP1 a605 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~c3_2 a605 $V \/ ~ndr1_1 a605 \/ c1_1 $_1167 \/ c2_0 \/ % 1.32/1.49 c2_1 $_1168 \/ c2_2 a605 $V \/ c3_1 $_1167 \/ c3_2 a596 a621 \/ % 1.32/1.49 c4_2 $_1167 $W \/ c5_2 $_1167 $W \/ ssSkC2 \/ ssSkP3 a596 % 1.32/1.49 |- ~c4_1 $_1167 \/ c1_1 $_1167 \/ c2_0 \/ c2_1 $_1168 \/ % 1.32/1.49 c2_2 $_1167 a621 \/ c3_2 $_1167 a621 \/ c3_2 a596 a621 \/ % 1.32/1.49 c4_2 $_1167 a628 \/ ssSkC2 \/ ssSkC5 \/ ssSkP3 $_1167 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1173 \/ c2_0 \/ c3_1 $_1173 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_0 \/ c4_2 $_1173 $_1175 \/ c5_2 $_1173 $_1175 \/ % 1.32/1.49 c5_2 a593 a621 \/ c5_2 a605 a621 \/ ssSkC1 \/ ssSkP3 a593 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1188 \/ c2_0 \/ c2_1 $_1191 \/ % 1.32/1.49 c3_1 $_1188 \/ c3_2 a605 a621 \/ c4_2 $_1188 $_1190 \/ % 1.32/1.49 c5_2 $_1188 $_1190 \/ c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1192 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_1194 \/ c2_1 $_57 \/ % 1.32/1.49 c3_1 $_1192 \/ c3_2 a605 a621 \/ c4_2 $_1192 $_1193 \/ % 1.32/1.49 c5_2 $_1192 $_1193 \/ c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1192 \/ c2_0 \/ c2_1 $_1194 \/ c2_1 a605 \/ % 1.32/1.49 c3_1 $_1192 \/ c3_2 a605 a621 \/ c4_2 $_1192 $_1193 \/ % 1.32/1.49 c5_2 $_1192 $_1193 \/ c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1198 \/ c2_0 \/ c2_1 $_1201 \/ % 1.32/1.49 c3_1 $_1198 \/ c3_2 a605 a621 \/ c4_2 $_1198 $_1200 \/ % 1.32/1.49 c5_2 $_1198 $_1200 \/ c5_2 a596 a597 \/ c5_2 a605 a621 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1202 \/ c2_0 \/ c2_1 $_1204 \/ c2_1 a605 \/ % 1.32/1.49 c3_1 $_1202 \/ c3_2 a605 a621 \/ c4_2 $_1202 $_1203 \/ % 1.32/1.49 c5_2 $_1202 $_1203 \/ c5_2 a596 a597 \/ c5_2 a605 a621 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1208 \/ c2_0 \/ c2_1 $_1211 \/ % 1.32/1.49 c2_2 a596 a598 \/ c3_1 $_1208 \/ c3_2 a605 a621 \/ c4_2 $_1208 $_1210 \/ % 1.32/1.49 c5_2 $_1208 $_1210 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1212 \/ c2_0 \/ c2_1 $_1214 \/ c2_1 a605 \/ % 1.32/1.49 c2_2 a596 a598 \/ c3_1 $_1212 \/ c3_2 a605 a621 \/ c4_2 $_1212 $_1213 \/ % 1.32/1.49 c5_2 $_1212 $_1213 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ ~ndr1_1 a605 \/ c1_1 $_1218 \/ c1_2 a596 a598 \/ c2_0 \/ % 1.32/1.49 c2_1 $_1221 \/ c3_1 $_1218 \/ c3_2 a605 a621 \/ c4_2 $_1218 $_1220 \/ % 1.32/1.49 c5_2 $_1218 $_1220 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 $_1222 \/ c1_2 a596 a598 \/ c2_0 \/ c2_1 $_1224 \/ % 1.32/1.49 c2_1 a605 \/ c3_1 $_1222 \/ c3_2 a605 a621 \/ c4_2 $_1222 $_1223 \/ % 1.32/1.49 c5_2 $_1222 $_1223 \/ c5_2 a605 a621 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c1_0 \/ c1_1 a605 \/ c2_0 \/ c2_1 $_1236 \/ c2_1 $_59 \/ c3_1 a593 \/ % 1.32/1.49 c3_2 a605 a621 \/ c4_2 a593 $_1235 \/ c5_2 a593 $_1235 \/ % 1.32/1.49 c5_2 a605 a621 \/ ndr1_1 a596 \/ ssSkC1 \/ ssSkC2 \/ ssSkP3 a605 % 1.32/1.49 |- ~c3_0 \/ ~c4_0 \/ c1_1 $_1237 \/ c2_0 \/ c2_1 $_1238 \/ % 1.32/1.49 c2_2 $_1237 a621 \/ c3_2 a596 a621 \/ c4_1 $_1237 \/ ssSkC2 \/ % 1.32/1.49 ssSkP3 $_1237 \/ ssSkP3 a596 % 1.32/1.49 |- ~ndr1_1 a596 \/ c1_0 \/ c1_1 $_1271 \/ c1_1 a596 \/ c1_2 a619 a603 \/ % 1.32/1.49 c2_0 \/ c2_1 $_1271 \/ c2_1 a596 \/ c3_1 a619 \/ c3_2 a596 a598 \/ % 1.32/1.49 c3_2 a596 a621 \/ c4_0 \/ ssSkP0 $_1271 \/ ssSkP2 a619 \/ ssSkP3 a596 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_1295 \/ c1_2 a619 a603 \/ % 1.32/1.49 c2_1 a619 \/ c3_2 $_1295 a610 \/ c4_0 \/ c4_2 a587 $_1294 \/ % 1.32/1.49 c5_1 $_1295 \/ c5_2 a587 $_1294 \/ ssSkC2 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_1300 \/ c1_2 a619 a603 \/ % 1.32/1.49 c2_1 a619 \/ c2_2 $_1300 a610 \/ c4_0 \/ c4_2 a587 $_1299 \/ % 1.32/1.49 c5_1 $_1300 \/ c5_2 a587 $_1299 \/ ssSkC2 \/ ssSkP2 a619 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_1316 \/ c1_2 a616 a603 \/ % 1.32/1.49 c2_1 a616 \/ c3_2 $_1316 a610 \/ c4_0 \/ c4_2 a587 $_1315 \/ % 1.32/1.49 c5_1 $_1316 \/ c5_2 a587 $_1315 \/ ssSkC2 \/ ssSkP2 a616 % 1.32/1.49 |- ~c1_1 a587 \/ ~ssSkC3 \/ c1_0 \/ c1_1 $_1321 \/ c1_2 a616 a603 \/ % 1.32/1.49 c2_1 a616 \/ c2_2 $_1321 a610 \/ c4_0 \/ c4_2 a587 $_1320 \/ % 1.32/1.49 c5_1 $_1321 \/ c5_2 a587 $_1320 \/ ssSkC2 \/ ssSkP2 a616 % 1.32/1.49 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 1.32/1.49 %------------------------------------------------------------------------------