%------------------------------------------------------------------------------
% File : Zipperpin---2.1.9999
% Problem : NUM416^1 : TPTP v9.2.0. Released v3.6.0.
% Transfm : none
% Format : tptp:raw
% Command : python3 /export/starexec/sandbox2/solver/bin/portfolio.lams.parallel.py %s %d /export/starexec/sandbox2/tmp/tmp.7jAjc3BOaz true
% Computer : n015.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 : 300s
% DateTime : Thu Oct 2 04:46:54 PM UTC 2025
% Result : Theorem 0.55s 0.82s
% Output : Refutation 0.55s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM416^1 : TPTP v9.2.0. Released v3.6.0.
% 0.03/0.13 % Command : python3 /export/starexec/sandbox2/solver/bin/portfolio.lams.parallel.py %s %d /export/starexec/sandbox2/tmp/tmp.7jAjc3BOaz true
% 0.14/0.34 % Computer : n015.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 300
% 0.14/0.34 % DateTime : Wed Oct 1 16:34:23 EDT 2025
% 0.14/0.34 % CPUTime :
% 0.14/0.34 % Running portfolio for 300 s
% 0.14/0.34 % File : /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.14/0.35 % Number of cores: 8
% 0.14/0.35 % Python version: Python 3.6.8
% 0.14/0.35 % Running in HO mode
% 0.54/0.67 % Total configuration time : 828
% 0.54/0.67 % Estimated wc time : 1656
% 0.54/0.67 % Estimated cpu time (8 cpus) : 207.0
% 0.54/0.72 % /export/starexec/sandbox2/solver/bin/lams/40_c.s.sh running for 80s
% 0.54/0.74 % /export/starexec/sandbox2/solver/bin/lams/35_full_unif4.sh running for 80s
% 0.54/0.74 % /export/starexec/sandbox2/solver/bin/lams/40_c_ic.sh running for 80s
% 0.54/0.75 % /export/starexec/sandbox2/solver/bin/lams/15_e_short1.sh running for 30s
% 0.54/0.75 % /export/starexec/sandbox2/solver/bin/lams/40_noforms.sh running for 90s
% 0.54/0.75 % /export/starexec/sandbox2/solver/bin/lams/40_b.comb.sh running for 70s
% 0.55/0.76 % /export/starexec/sandbox2/solver/bin/lams/20_acsne_simpl.sh running for 40s
% 0.55/0.77 % /export/starexec/sandbox2/solver/bin/lams/30_sp5.sh running for 60s
% 0.55/0.82 % Solved by lams/40_b.comb.sh.
% 0.55/0.82 % done 0 iterations in 0.038s
% 0.55/0.82 % SZS status Theorem for '/export/starexec/sandbox2/benchmark/theBenchmark.p'
% 0.55/0.82 % SZS output start Refutation
% 0.55/0.82 thf(mult_type, type, mult: (($i > $i) > $i > $i) > (($i > $i) > $i > $i) >
% 0.55/0.82 ($i > $i) > $i > $i).
% 0.55/0.82 thf('#sk1_type', type, '#sk1': $i > $i).
% 0.55/0.82 thf(five_type, type, five: ($i > $i) > $i > $i).
% 0.55/0.82 thf(ten_type, type, ten: ($i > $i) > $i > $i).
% 0.55/0.82 thf('#sk2_type', type, '#sk2': $i).
% 0.55/0.82 thf(plus_type, type, plus: (($i > $i) > $i > $i) > (($i > $i) > $i > $i) >
% 0.55/0.82 ($i > $i) > $i > $i).
% 0.55/0.82 thf(thm, conjecture,
% 0.55/0.82 (( mult @ ten @ ( mult @ ten @ ten ) ) =
% 0.55/0.82 ( mult @ ( plus @ ten @ ten ) @ ( mult @ five @ ten ) ))).
% 0.55/0.82 thf(zf_stmt_0, negated_conjecture,
% 0.55/0.82 (( mult @ ten @ ( mult @ ten @ ten ) ) !=
% 0.55/0.82 ( mult @ ( plus @ ten @ ten ) @ ( mult @ five @ ten ) )),
% 0.55/0.82 inference('cnf.neg', [status(esa)], [thm])).
% 0.55/0.82 thf(zip_derived_cl0, plain,
% 0.55/0.82 (((mult @ ten @ (mult @ ten @ ten))
% 0.55/0.82 != (mult @ (plus @ ten @ ten) @ (mult @ five @ ten)))),
% 0.55/0.82 inference('cnf', [status(esa)], [zf_stmt_0])).
% 0.55/0.82 thf(zip_derived_cl1, plain,
% 0.55/0.82 (((mult @ ten @ (mult @ ten @ ten) @ '#sk1' @ '#sk2')
% 0.55/0.82 != (mult @ (plus @ ten @ ten) @ (mult @ five @ ten) @ '#sk1' @ '#sk2'))),
% 0.55/0.82 inference('neg_ext', [status(thm)], [zip_derived_cl0])).
% 0.55/0.82 thf(five_ax, axiom,(( five @ (X0)@ (X1)) =
% 0.55/0.82 ((X0 @ (X0 @ (X0 @ (X0 @ (X0 @ X1)))))))).
% 0.55/0.82 thf('0', plain,
% 0.55/0.82 (![X0:( $i > $i ),X1:$i]:
% 0.55/0.82 ( ( five @ X0 @ X1 ) = ( X0 @ ( X0 @ ( X0 @ ( X0 @ ( X0 @ X1 ) ) ) ) ) )),
% 0.55/0.82 define([status(thm)])).
% 0.55/0.82 thf(ten_ax, axiom,(( ten @ (X0)@ (X1)) =
% 0.55/0.82 ((X0 @ (X0 @ (X0 @ (X0 @ (X0 @ (X0 @ (X0 @ (X0 @ (X0 @ (X0 @ X1))))))))))))).
% 0.55/0.82 thf('1', plain,
% 0.55/0.82 (![X0:( $i > $i ),X1:$i]:
% 0.55/0.82 ( ( ten @ X0 @ X1 ) =
% 0.55/0.82 ( X0 @
% 0.55/0.82 ( X0 @
% 0.55/0.82 ( X0 @
% 0.55/0.82 ( X0 @ ( X0 @ ( X0 @ ( X0 @ ( X0 @ ( X0 @ ( X0 @ X1 ) ) ) ) ) ) ) ) ) ) )),
% 0.55/0.82 define([status(thm)])).
% 0.55/0.82 thf(plus_ax, axiom,(( plus @ (X0)@ (X2)@ (X1)@ (X3)) =
% 0.55/0.82 ((X0 @ X1 @ (X2 @ X1 @ X3))))).
% 0.55/0.82 thf('2', plain,
% 0.55/0.82 (![X0:( ( $i > $i ) > $i > $i ),X2:( ( $i > $i ) > $i > $i ),X3:$i,
% 0.55/0.82 X1:( $i > $i )]:
% 0.55/0.82 ( ( plus @ X0 @ X2 @ X1 @ X3 ) = ( X0 @ X1 @ ( X2 @ X1 @ X3 ) ) )),
% 0.55/0.82 define([status(thm)])).
% 0.55/0.82 thf(mult_ax, axiom,(( mult @ (X0)@ (X1)@ (X2)@ (X3)) =
% 0.55/0.82 ((X0 @ (X1 @ X2) @ X3)))).
% 0.55/0.82 thf('3', plain,
% 0.55/0.82 (![X0:( ( $i > $i ) > $i > $i ),X3:$i,X1:( ( $i > $i ) > $i > $i ),
% 0.55/0.82 X2:( $i > $i )]:
% 0.55/0.82 ( ( mult @ X0 @ X1 @ X2 @ X3 ) = ( X0 @ ( X1 @ X2 ) @ X3 ) )),
% 0.55/0.82 define([status(thm)])).
% 0.55/0.82 thf(zip_derived_cl4, plain,
% 0.55/0.82 ((('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 ('#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.82 (
% 0.55/0.82 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 '#sk2'))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
% 0.55/0.83 != ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 ('#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 (
% 0.55/0.83 '#sk1' @
% 0.55/0.83 '#sk2')))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),
% 0.55/0.83 inference('rw', [status(thm)],
% 0.55/0.83 [zip_derived_cl1, '0', '0', '0', '0', '0', '0', '0', '0', '0',
% 0.55/0.83 '0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '0', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '2', '3', '3', '3', '3', '3', '3',
% 0.55/0.83 '3', '3', '3', '3', '3', '3', '3', '3', '3', '3', '3', '3',
% 0.55/0.83 '3', '3', '3', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1', '1',
% 0.55/0.83 '1', '1', '1', '1', '1', '1', '3', '3', '3', '3', '3', '3',
% 0.55/0.83 '3', '3', '3', '3', '3'])).
% 0.55/0.83 thf(zip_derived_cl5, plain, ($false),
% 0.55/0.83 inference('simplify', [status(thm)], [zip_derived_cl4])).
% 0.55/0.83
% 0.55/0.83 % SZS output end Refutation
% 0.55/0.83
% 0.55/0.83
% 0.55/0.83 % Terminating...
% 1.68/0.88 % Runner terminated.
% 1.68/0.89 % Zipperpin 1.5 exiting
%------------------------------------------------------------------------------