"`s s ఠ,FMapWeakList%FSets#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@H)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ*Extraction*extraction#Coq@0DJS.~Xt=堠&FunInd&funind#Coq@0I#A0$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS-DecidableType*Structures#Coq@0kO!Z7++OrderedType*Structures#Coq@0#73t1E iW-FMapInterface%FSets#Coq@0 m #P|*oKLxeР,FMapWeakList%FSets#Coq@A#RawA@!X@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%&Y.@.@*&Y.A@@@@@'eq_refl @@!x@@<&Y.E@&&`A@@@@@0&eq_sym @@U@Q&Y.!y\@X&Y.@b@C&`Bi@J&`C@@@@@T(eq_trans @@;y@u&Y.$~@z&Y.!z@&Y.@@l&`")@@s&`@x&`E/@@@@@&eq_dec @@i@&Y.R@&Y.&Specif$Init@'sumbool7̂K@@&`\%Logic@#notШ@&`k@@@@@@-DecidableType*Structures#Coq@-DecidableType@@@@&Y.@@&Y.J@@A@&`@@"eq&`^@@A@AB@"PX0KeyDecidableType#eqk @#elt_A-DecidableType*Structures@@@!p)Datatypes$Init@$prodt@@#43@&Y.ݷ"p' ũ@"eq&` @#fst ө@;9., l+k() 77" 77"7%'@!Dp:@GH'G''+k6''@@ABAB@@@@@*is_empty_1 @@{Bk@b װ2@G'ʀ0@@@w@A @@ABC@@ *is_empty_2 @@Cȶ@J%D~@@@@@#mem @ٞA@ !sڐ>eArq@@@@@Dpfeڷ+BBB@@@@D|UР&Specif@ 7̂K@BAAAA@@@@@A-om@&eq_dec6 @ @ $@$C 0+k,m'(*()== RR'>= R:'>7!= R'>G'>3% '''H''+k6'+k6'+k6'+7Tk+7 T'6' ̠ 점AABAE;AABAAC$|\AGp@@1@@%R_mem,<@Ҡsq0Z@Z@@HA@a@@'R_mem_0'R_mem_1'R_mem_2(lE@k9;ĩnF2v#OO"_xC@u:HN?*$#_x0Q@}!${A  JI#jK@HBj`Q}}F.oH@,%>%@Ӱ#B$_res5@K!/L$la ic JBB@AB@]BGIBGI@@7@@@@@$@@@CABBGCI@@A@BB@@@%A@A@)@/@0A@ABCD@7*R_mem_rect @˷!P!bx!r@7@T[xڠK@@!f+$ǩ4cA<q9 wU͠$ܩI{T!ŠWȐ ~bDB$Fg ;d<KKնsEʶѩꐩ"NL۶nlM@>Oyȩ|C,NE՞B@!F[ BBGIBGI@@@@@@@@@@@@@@@@@@@@@@@@Dͩ1 *+ r߰2%bJŐsh^ﰩQ|qUysW$+HOgZʠniqMWy>5<Y6n,$ e~@=pRQk{(]RIPm@Զ y +k(),g'(*()= %RC'> %'>#' > 3"         # ' '+k() &'+7 Tk +7T'+  7T'&'w4ASx0@@@@A@A@@@g)R_mem_ind @"0B@.,*@(6-*$]AS:x0@@@@@)R_mem_rec @I"WigU˶SQ@E@i(3#@V/d [ @+k() 7&'l@@@@@,mem_equation @(lE9J򩚠i@Ӡ,@=1bڐ[$> x v@@[BnA JoJvyB\é;(ڠ@$@:w@m^Ωذ3A˷6,+hƷk;^x@OK +k() = R'>+ '+ '$'G'G'+k+7T'K=E Rf'>5= RL'> 7!= R, '>G'> 7"'''H' 7"77&'+ k6'+k6'+k6' 蠐@Ld@GYHi<C@Q$L P@@@.@4@AB@@:(mem_rect @@DζwL@@Sv#a?߶ݩq-ɶIȶƶ!HadeZ$|EiGCI+@@@2@A@A@@As@6A1J`N^@}@ABC@@'mem_ind @>L^\J7@X6@H!V K򐐠 l@@@G@A[@>@AB@@'mem_rec @a:om#@"f?ti+l@@@Ax@[@AB@@à-R_mem_correct @:~Ȑ%princ?_["x0߷x"fv  @ Y"y0Q !z"z0İ @)eq_rect_r&' !5v  #C.@9 h "U"y1"y2"y3"y4T"y5방\R_; E9Q7T JM5VO?W^ ~bCe S$v(Eg:  1 8 UC-`@z, ~oB @ٷW5E3η1ʷ//.,&D%"y6Dw@z pBd GY Whf( yN`fO r۰xv ,Xzxm 6  e  o Cd@`A s @<:k@F ' H v } $+k7 +'() + +d ++#'()   L7" !7"       8 +7"77#' ::7#'()8+ L77#' ::7#'() :+ M77# 'L7#'()+7T'+  77"T'7#'ࠑ0 `䠑, 蠒X`䠒4@@@AJ@A,@FAM@A@AO@@ABCD@@.R_mem_complete @ U2.rַ\"z1S| ֩\㩷=@@k   ީ é5 ȩiP[s  hK w̶1BH ) &     K=w  u >jǷ@P    &c jةF @6 ha$8 j   | E- ީ-cаtzV P   %,E F}oܰ M ߩP 6AɩQI  :@uַK@S ! ( EQ *_T &b0 . Kϐ([@  0 7 T ` 9nU 5O   Pr <t,WTRtG  > E ɶnYW J gͷ<Dw@ L S p !| U P up )w z 5@(eq_ind_r!2# 3  9 k nC ;g@( @+ kigeb 'G r@@ X? \ G1ӷ ޷˷A   k~ b V    ߠY  uB a x@Ű ϩUM ϰ   gZ o 䠷@@Vϩ` C Sc   ĩé  "y7%  "y8  !" /*2@@1-& Ͱ( q  O ` U ܰ  i ^f `   5U V  착 ] `  FĠ hc 1k* 3 \SYX < WS d =rZ i ; ݠ  Wq @l@\[^ypW ! so % Y#" ] | " ~ / c'.)y+ c  j= ({y n 7  e l C : g~ة   n u.@,*( w ~ TQ @@#L  U      ,U ضq ;}  bI         ة   o ĩ $P  q    ÷En(  T  | &     Ѷ ޶fdm  ׶@3  k ,m   3  Þ쐶zxvv  鐷~|      < { ʷb +ĩ  I  Z` A 6 > 8   ŷηq :" V  X/   l S('@ ϰ* 8 u  @ k \̶0@ ذ3 A +k(),h&'(*()= (R:'>G7"L7"L + M77# '> ::7"::7" * 7!L +9 7!7  7!7!7 +7!= R'>G'> 7"'77#' >  ::7"::7" =   3" 7! ++97!7 7!7!7  +07!= R,'>G'> 7"'77#' 'M77&'= R'>G'>7"'L77&'+k6'L77&'+k6'() ++7"77# 'G' +  7T'7"77&'+7T'+  7T'+7"77"T'= R'>G'>7"'77&'+k6'77&'+k6'+k()7" 77&'+7 Tk+7T' +  7T'7"77&'4 xP0AY$L@Gx _4접԰ t$L(WL  (  l 4 D\T0g0  4LT|ؠߠ@ $   <Ld$8y@@T@@A@A@@2@ 8@ABC@@>%mem_1 @@ E   "Hm   t  @ /  x T ) * _ @@O@@X%mem_2 @@ F   # @ < G@@b@@k$find @ &A@  MK @&option >v@  WPOY    B %  )"s'Q    !  ( MKk>7@="A 6@ W) x+k,{'(*()=? R\'>= R@'>7!= R'>9'>3% '''G''+k7$'+k7$'+k7$'+7Tk+7 T'7$'RHH̠<$t3AEl1AC?dAGp@@@_@xA ůM #@AB@@ˠ&R_find,<@W 7c I@@@3(R_find_0(R_find_1(R_find_2 T Eq@,  d )_ Z Kw w @ ~ i_ B@&+@   . Wu f WǶ  L  uk N@27@eBBBGIBGI@ {@<'l\@@@@$@@@CABBGCI@@A@BB v @@@@AU@@ @ABC@ +R_find_rect @ ڷ !o橛@g'l\@䔑ʠ[ @@   Aީ A޷    Tݶ ٶҶ Щdũx"B·%      Z0@ e5CB@>Dڶ(BCI .HHBBGIBGI@@@@@@@@@@@@@@@@@@@@@@@@DbhMg h "  )  {yn (  / k i(_ygd@  \  5jTqUhVZA +k(),g'(*()= %RC'> %'>#' > 3"         # ' '+k() &'+7 Tk +7 T'+  7T'&' \?4KAS@@@@A@A@@@ Ƞ*R_find_ind @ ?  0 \W @ E  6 b-* h4tAS@@@@@ *R_find_rec @ f  W ȶ~a @< @ q  b  Y_ l@@@@@ -find_equation @  ʷ w    |   @M^ x 1  ^ 6    h \4W@]O@@^X_  ũW   R ( ķ  ˩] F     UQ@ @V,P @    ٶ   'ԩ2   $ {   k    4d    i  / @ à m@ ET +k() = R'>+ '+ '$'G'G'+k+7T'M=G Rr'>7= RT'> 7! = R0 '>9'> 7"'''G' 7"7 7&'+ k7$'+k7$'+k7$'   蠐 2@Ld *@GT H @Q$LbD ]`@@@@ @ @ABC@@ )find_rect @@G I  "W i go \ @@I r k GDfN wI 1  8 > :3 1Š&aX  ; B g#  "TҠ 4RQM L@@ @)@A@A@ a@A@ @.AL@ @ABCD@@ ͠(find_ind @D  5 a  \  @NYw( _@N  ? k A< l@@@JAP@ @(@ABC@@ (find_rec @g  X   ɶa#@l  ] _Z+l@@@ ^An@ @F@ABC@@ .R_find_correct @ K>   I & G @ I,E ƷDB@>QN= eH96;XC 0 @ 5 ׷U3 C1̷/ȷ-+*(VTgǩS `!SpC H@  mK [IGEB S¶@.9+us5@ rID ~7 , _     t= l  vC k@@@ #   B @ q@L:W I T+k7 +'() + +f ++#'()   L7" !7"       8 +7"7 7#' ::7#'()8+97 7#' ::7#'() :+ L7 7# 'L7#'() +7 T'+  7 7"T'7#'ࠑQ<젒X Hj 蠑eT@@@ A@A 2@ KA@AB@ @A@@ABCD@@ /R_find_complete @ [8 4 x.~ W    >  A @&é { e   HO 0- / % Q  ƩK@(ש 1  {  ^'e FC ڶEֶ y ˶@ ? k ʷ e@ɩjƩ J v ŷ pҷ@ũɰv  _  ]   @ڰ<O-  ;(޷s q6  20 !C @   R?r Z^]US ٷ @ c9@Y U3 u1/-* MN  ǐm@ @,ig.%w C(+3:  uS QOMJ/7kBj  7y@ˠ ( @MzC F 1yƷq 3owmskihe&ZT L[:PRTZQgS_ E = ]SJ @UN @VuQSMkPs qPM`˩vO}ϩzu| ^$Ǡ#NMLCKJKL+ ? t  " pF Da @@ h  -EưC n  T QX 9B6A  S8 Q 91 6 z  6 ]&d ϶E5B3  4D 0 v -@ # &,}(zx  S '    &v  ַ( % $  ۷ ~Gfc\   Lk!h 7 Ʒj ķ    }d   9 r@Po@{ l   ܶ @ ) +k(),&'(*()= *R|'>G7"L7"L+L7 7# '> ::7"::7" , 7!L  +9 7!7  7!7!7+ 7! = R '> 9'> 7"'7 7#' >  ::7"::7" ?   3" 7! + +97!7 7!7!7  +_7! = R]'> 9'> 7"'7 7#' 'L7 7&'= R$'>9'>7"'97 7&'+k7$'97 7&'+k7$'() ++7"7 7# 'G' +  7T'7"7 7&'+7 T'+  7T'+7"7 7"T'= R#'>9'>7"'7 7&'+k7$'7 7&'+k7$'+k()7" 7 7&'+7 Tk+7 T' +  7T'7"7 7&'4   dLT Ġ  @G \od@ dL|8 L  <  l (   HXt0|@'AY p,0   H (|ؠ$   4   < L@@ D@@A@A0@@ K&find_2 @@H    Y@/:u3ahؐ@@@ @@AB@@ c&find_1 @@I !.%#@G|JNU @@@ @A@ q@w@ABC@@ }'find_eq @@J 8;H?=ڶ۶@)bfmc@@@@ #add @ LB@  -2 t m F 16 x J p z  Ѡ+  :  < ^)  s I DB x  l  _tʩ ũ ]@E& T # V E@ L  @? / +k,'(*()=I Rl'>= RP'>7!= R/'>::'>3" ::'''G ::''+k7$'+k7$'+k7$'+7Tk+T'+7 T'7$'ࠒ ~<̠ t̠ hd  _AF  ]AD  AHp@@@@ %R_add,<@    \ n @ @@@ Y'R_add_0'R_add_1'R_add_2z k   ׶@  fm d ɶv "  l P@ C {u&-J ] @   @ >`_} D7f  H Fh  <    j@ q@ 8 =@ 3 7 V Td  6 9 X :|OðOBB 4 7  )@7@M{4q@@ ' P " ԩ^6Ae  9 b RH~    p      v!0 2   !7B(   `&ӷ U ~ 8n  , nE   ߶@  U;-UMC0    v<̞B@   \ X [    ]b 4 a   bCBGIBGI@@@@@@@@@@@@@@@@@@@@@@@@D    ;     aΰW   M D kذ/| D^X D - @L GuⰩ S ,V  2<   i ` Ta #   ۩   L @ٶ2    c +k(),h'(*()= %RD'> %'>#' > 3"         # ' '+k() &'+7 Tk +7 T'+  7T'&'aASޠHɐ@@4@@A@A@@@B)R_add_ind @ַV   @ݶ] +(ASH@@@@@g)R_add_rec @"{ 1C<  - ک@%3~ *@.  = U H+k() 7#'p@@@@@,add_equation @E#e^^$)r D@Vjt 8 1%4]6_ҩX @ m  <r fY sQ@W8G p6@Z=1/# u;蠷"NS  FC"UA,d,X]  ]3  5L]& zU! ԩx@`Ao ީ>q `@ g  M e@[Lx}ǰ U y `uVsSu_Qbp % UJ iD@Ji#f%G@O% pu*L +k() = R"'>+ '+'%'()G'()G'+k+7T' +T'b=V R'>F= Rn'>7!0= RK '> ::'>  7::'''G::'  77 7&'+ k7$'+k7$'+k7$' |D̠@P@KlC@UhP  @@@@8(add_rect @@K̶L  甑sr@@   kR Ͷ " >   p,H     }ߩ ^ab N !yB R  hFB H*@@s@2@A@A@pA1I!M\@A@w@A:A @~@A@ABCD@@'add_ind @APb[$5ũ;@^2pH@L%*[ Qp@@@ A`@B@AB@@'add_rec @!e>CtHY $@'kDIĶzp=-p@@@A@a@AB@@ɠ-R_add_correct @@ ?c_ ط"x1zSG @mo\O  7   viJx&Gz(ĩ VsO ]5 $r y &C$@  p $W  o m   % ɷ # 6p[m]. ' xQuS) 7^hbGy(X9[.%,IC! @\  |`c64 K~ ) ' % #v " 8 6 @ b7Vu69KI Z  X+kİ)~?BT Z wʰE h | mѰ é qnl|0Npn c, [  v eCZ Ӷ@Vi@l3,b@= v?mt $+k7 +'() + +++# '()   L   7 !   7       8 +   7::7 7#' ::7#'()8+::7 7#' ::7#'() :+L::7 7# 'L7#'()+7 T'+  7 7"T'7#'ࠒ, <l۰LSܠ  8X@@@|AA@A"@ , HqԶ  Q/4v@7$ѩ #(c /Ʃ >gĩ(iܶ^۶A wж Ŷ& ö (   !MR ʷ @UBrթ/ GũN*$LR.a P/( Rgd- UI T%&]O-/  0(@T- @ u"Ӱb >z ?  (b  @ H 1Ⱙvq  , 0lf+Mȩ 4Y0 41/Q$"|ө64'D~h  O@ A(/L 1,$C-4QRQ M  (&; 8p r` \BfC\8a?^\eRCb S@2u q Oj M _ K ] I U F @ +k @䰩Š?@ #{FYJ 5^ ʷ u  s  q  o< nW$Ƞ hZː" 7/Ӡ n֐e m& ٩(  l {rOoB rW̠@'6 `8 b  |@ . g  ih k  ©Ӡ8G I   8Y0Ch% x  ޷  ӷ  ѷ  ˷  Ƿ  \   ܩ6    { " y@aBp?r  @ h D>P ' ةǰ ʩq  m ߷I  ۷   ԰x~_T ѩ\V + KL  ⰩS NV< ^ 'a )  ީ J   1L H3   ߩ  MK7٠} S䐐]@    ^@ȰHg  gԷ z ' & *| x.c & - ,g 546    ,9'o  " 3 :?=<: ) ( 9qx U CG Z > <v2  B*y .:L 6 Юw@@/XL Hd 8aQ}~ fZr,^.`(bYz̷Nw1g ۶ ٶ g> ض@4  l80 p6ƞ ~S 9{Ry쐷 >YX  ӷ_ ^ ٷ?  ʷ ޷b+ ܷG ַ g0 L ݷǷNŷطt bIuzyP@pưTlb@bS@а-^v 8+k(),v& '(*()= ;RA'> G7  G7L+fL::7 7# '>::7 ::7 / 7!L   +,9 7!7  7!7!7+Z7!0= R^'> ::'> 7  ::'7 7#' > ::7 ::7 G   3" 7!  +  +T97!7 7!7!7  +7!0= R'> ::'> 7  ::'7 7#' 'L::7 7&'.= R8'>::'> 7::'::7 7&'+k7$'::7 7&'+k7$'() +"+  77 7# 'G' +  7T' 7::::7 7&'+7 T'+  7T'+  77 7"T'2= R<'>::'> 7::'::7 7&'+k7$'::7 7&'+k7$'+k() 7 7 7&'+7 Tk+7 T' +  7T' 77 7&'01AZPp<   @     P Dd(H  Ƞ@K ,YhDt̰Р  PT0  p   0P\|Ԡt$$ L   \p젒nP@@Ю@@A@A@%A1GK@A@+@1@2A@ABCD@@9%add_1 @@L@_TKR@@@@A@AB@@O%add_2 @@M  ն1@d@{9ީri@@`@@i%add_3 @@N$'Ŷ2ƶK@@.}0QS2@@x@@&add_3' @@O<?2ݶJ޶c@2@:$I?ϩnM@@@@)add_NoDup @@#PWZg ^ \62":@@@@&add_eq @@5Q%ily p nH G &@v ) t:$vΩ $@@M@@Ơ*add_not_eq @@MR=  `#_$>@ߩ A R@@b@@۠&remove @RA@ KwNz1TFI]@v@}^@o +k,~'(*()=B R_'>= RC'>7!= R"'>'>3! ::'''G''+k7$'+k7$'+k7$'+7Tk+7 T'7$'ࠒpT̠0AEAC-AGp@@ @@(R_remove,<@@@@*R_remove_0*R_remove_1*R_remove_2Ķ @@||ʶ,@y~p@n`_^¶նǶ7@X@VP@NKOnJհJHaBBF!BGIBGI@@@u@@CC@EEEEEEE@$GGGGGGGG@@@CABBGCI@@A@BB#@@ 7@r-R_remove_rect @-;MKG7(@eu@5Dɠ\@@4]V2//A.=f8 '-)"  BKt.5Z hd-@04C힠B@됶PxA萷UQ}FFBBGIBGI@@@@@@@@@@@@@@@@@@@@@@@@Dsٷd p9w߷ Nt={۷Y׷([ڷs@cTzkcV< K4BAS@@D@@A@A@@@,R_remove_ind @ɷv׶M@϶|( pˠ4gAS@@@@@1,R_remove_rec @ŷ  @n@ж P l@@@@@Q/remove_equation @ +)$Gٶ7ͩ @,2.q޷S(u @s@@e= Է75U@A\@)X@?^\fY/Yc5ַT #*Mm@*8@<+@ 0+k() = R'>+ '+ '$'G'G'+k+7T'R=L Rw'><= RY'> 7!%= R5 '> '> 7"::'''G' 7"7 7&'+ k7$'+k7$'+k7$' PhF:蠐r1@Ldj/@GXX@Q$Lt@@@@Ǡ+remove_rect @@NS>/[dE]%@@G}}j3qwOslQj_bVt={UYS(K[G mv-Р#@@E@+@A@A@@A@/A@@ABC@@*remove_ind @~·oжE@O ]@̶y Bv l@@@AQ@@AB@@)*remove_rec @"@¶_*l@@@An@@AB@@F0R_remove_correct @<+ܷV^%¶U@0~d}|zxvrb|mjoCd@i' gweca_^\hJ1IQLCxq@ K;з{ywuFrDA|@^E'? >Ie}]0?{yl5@?,Op C]@":@V/uso@KЩH%+9 d+k7 +'() + +l ++#'()   L7" !7"       8 +7"::7 7#' ::7#'()8+ 7 7#' ::7#'() :+ L7 7# 'L7#'() +7 T'+  7 7"T'7#'ࠒYXX9LZ 蠑$԰d@@@A@Ac@}A@A@A@@ABCD@@Ѡ1R_remove_complete @Hie ^7MM5CorI@h2100\/"yB*.^--%`#V߷&@{Ӱya&Uq@s©@m@vO@';m ۩婷&@Y6wUcP3  >]ƷY٩W?@GC>>٩@{e޷xeCA?={:y6Ҡ@&@שҰ7ӷ ͩ.?-ҷ{YWзU̷SƷPĩ4<`;8k@v@방̠%nCCL)87̷wusqn=[$3:Zs@ŷ@ ZN0 $k~bXZM{saS̩&yɩQHv, j ldz.@zͷ@y7 vԩZxz?u̩aspmnHrJN&Q%#rutsC NursR␩:f o`mJCb2@@ Tl[j{xA i]h,z_x `pX\\L[hY7ZjVS@ILRR UPRP ǩO7  з̩NO EѩMALo:D (s> HF^%!9`,R@P;8@4@CP +k(),&'(*()= *R'>G7"L7"L+5L7 7# '> ::7"::7" . 7!L  +9 7!7  7!7!7+$7!&= R"'> '> 7"  ::'7 7#' >  ::7"::7" E   3" 7!  +  +97!7 7!7!7  +7!&= R'> '> 7"  ::'7 7#' 'L7 7&'#= R''>'>7"::'7 7&'+k7$'7 7&'+k7$'() ++7"7 7# 'G' +  7T'7"::::7 7&'+7 T'+  7T'+7"7 7"T'%= R/'>'>7"::'::7 7&'+k7$'::7 7&'+k7$'+k()7" 7 7&'+7 Tk+7 T' +  7T'7"7 7&'0P  H   x 4   @lTl˰  `8@G  x($@ 0   h h``ؠAY4;$   @  ࠒ@@JC@@A@A3@@n(remove_1 @@T),90.˶8̶@]@@z@@(remove_2 @@ U>ANECMe@@ҩ4lK@@@@(remove_3 @@!VUXe\Z40d|@+@@@@)remove_3' @@4W$hkxomGCw %@e,*@iS/ ͐@@@@Ġ,remove_NoDup @@KX;^Zjhp@@@@ՠ(elements @L@N (+k()'@@@@蠠*elements_1 @@oY_D^@xkir@%Zl@@@@*elements_2 @@Zv[u @*ga6 @@ @@+elements_3w @@[ζ޶өk3)@@@@$$fold @ߞB@ !Agf@@@ʶ@C@D #accH@Զ@  O#Xv"m' _op]f1@) l+k,Q'(*()=+ R6'>= R'> "3# ''''+k'+k'+7Tk+ +7TT'+7 T'+T''+T'+T''Р ࠑ2|/AF=AHp@@gf@@@A@A@@{&R_fold,<@C=Q2LWUA@AY@@H_(R_fold_0(R_fold_1 QjhHbVj_@{DZ|![trRl`ti ^C@?>@2ߩ1nCCCHCH@5@F'le @@@ @@@BACBH@@A@CCvA@@@Ԡ+R_fold_rect @Ko\@l'le @dm<@@m_̰)Gq<A $kն`Sm;?oܰ > %# $T2@& 7  K0B,M_.P#!C@LR,նک?;]'.KՐKܷbGECe/6SHCCHCH@@@@@@@@@@@@@@@@@D8<:a|=IPm>n@D#W;hзGK.^-ذʩx_f[y{|c}$o8fmߩ#Wp@31+)znN +k(),c'(*()= R>'> & '>    " 3# ' '+k() #'+7 Tk +T' +T'+  7T'#'PAQ@@m@@A@A@@@*R_fold_ind @=VT4NLCWL I@E^\<VT+)BxAQ@@@@@*R_fold_rec @c|zZtri}rC0o_@ 駀l@,pg V Bp@@@@@ˠ-fold_equation @B}^@g@㩚@VG` Pbb K%'N#NA[ @@  "]OǷ@@:  ·gېgZt")  4 @}ضҶڶ 4 ݷi ! ?zNط} &}pX?8Z $ǐ P+k() = R"'>+ '+'%'()G'()G'+k+7T' + +r7TT' +T'7=1 RM'>!= R3'> " 7'''  77&'+k'+k'+T'+T''ࠑD@MS@L@RP@@@7@ A@?@ABC@@E)fold_rect @@ \ U͔n@@ֶiذ i iͶ 7b s n @g wj H vlo xk+4 M   Ɛ@@n@(@A@A@@Av@HA @.A@@ABCD@@(fold_ind @AZX8RPG[P !Ʃ<@R j$I@ MfdD^\ D p@@@AS@C@AB@@(fold_rec @ "f}]wulu F3%@ )md~|d ?.p@@@As@c@AB@@ˠ.R_fold_correct @ B@e z"x2 ީ W   @!   `  x 뵷ư)!  l     !0 q !!C@ 4u!/ ҷ P ٰ  @ް!/(R#! 'B!'%!81I  %]5U_ %R3b78Rdx r<Y,7!G,`j9[.  !&An!0!MC%!@Ehr!l !e!6!6!S@ !40@ ! !\U ͩSD! !;!B +k7 +'() +++# '()L   " 7 !   " 7      8+   " 77#' ::7#'();+ 7# 'L7#'() +T'+  7"T'7#'Р^0pXb8 !̠^D@@@HA@A@A@ABM@ A@A@@ WA@ Y@ABCDE@@_/R_fold_complete @ 1+ 3!nǶ&/&ީ K!}B@ @@q:089!{@!U!!! X!!Y! !![/=F¶ ܶ; e!dضI!!@b`@@$@XZPtY! @o!u !!!ǩ x!!y ! !!ͩsqQ@5@ka j! (@! +!!!ة !j! /!6! wn!!,yp! 6!!ƶr {ն}ضx!!!驷m@Q@}!̷ D@! G!!! !٩! K! L!!!!bө ! ݩ! k !"طܷ-! fC !!!󩚠@!lЀ|)!CRg=e ϰ7"91 uV=!ԩ>  ٰ }"*&ķ!Z   !k!eQ""":Rҩ2U"Va"?@ "%; @! B 3b@"P!"5KFhHM"OT B"9"]"@$Np C"  ":"A"^C!U"<<YWytR" "?"F @̶@Y"H d@" "L"S"pr!@@ T ̶ !+"_]  "a"a_ e"."\"c" R"1!    _z"^}"gZ"@Y`_!I w"@"nY,Kd! y"B "p"wVT '/0 2(-+"z""S .7.94"""R 5i>{@y;c|"""?" <pE !a "8> BvK! n@ LgS"6"5 "ldbBZ PY"!@W!v " "w!"@"VomMg [od"!"@Ʃ! "a "!'" +k(),K# '(*()= 2R'> L7  L7L+7# '>::7    ::7 D  "3 +U   +J "77 +k   " 77#' '7&'G'+ "7T'"77&'7&'+k() 7 7&'+7 Tk+T'+T'+  7T' 77&'[͠ؠHpi8ݠTP!`AZ@@r@@A@A@j@A@@A @!@ABCD@@֠&fold_1 @@#]]"M t噠"2@@!i#@v@"@!g"©!Ű"""#!k"$List @)fold_leftɀր"N""^x#"=#(!#  # @@t@#@A@A@A&@AA" @,A%t@AB/A@2A!@A"A @" @" A"@"A"@ABCDE@@%check @"׷#cmp@#O@#3Z !#.AA@A@@@@@D!e# #9#]!# #?^@" Ƕ!#@o +k() 7"= R'>%'H''+k6'wAA@@ACT0l@@@@U&submap @"97!-)! !#9 "@$andb=@SZZ &!~#u#|!##|@"&OM!*C%? +k()G + 77# '()  77%'L@!@@%@@%equal @#Gpn!KdF`2A@G,vbN"!"" #w#x####@2 +k() +7  77%'() %'pDH@@L@@&Submap @#*n"L##!t!ro!;"!"#@ ###ɩ !##˶!(#"5#"!׶@  ###@  "K##"  t@#D!!!S# 8+k() +7T +`7T7%' +T' +T' +  7T'+  7T'G!77&' +  7"T'7&'ࠑ"l  $#8`|!4"ȐĀ@@@KA"@Af@@"@ABC@@&Equivb @#rH!!!"頶!h#[ G FD@8  +k() +7T +`7T7%' +T' +T' +  7T'+  7T'G!77&' 7" 7"7%'𠑑"l 蠒#l`|!54! U"Ā@@7@@ -(submap_1 @@$^#! !#Hm'!!$d"$o"Lq@@'~"S$n$$J#z $U"W"u@@E@@ N(submap_2 @@$_# " !!Զ!6@$1@"i@#6 @@\@@ e'equal_1 @@$`# "#!0'%!86M4@ @{%2#P "@_\b5@@@@Ay@ 5A!~@#@ABC@@ 'equal_2 @@%a# B"E!RIGA" ZXo9@#mȩR©%O@@@@ #map @$ W$elt'ﰠ#@@A@^@$$"mb@$$"q^"s!*$$!"5p$$U$͐"$$#1 !F!""$!$ԩ""!"$@$= *( +k() ,X'(*()=* R9'>= R'>3!  ::''G''+k7$'+k7$'+ +TTk+7 T'7$'' }HXADAF@@@ }@A;A @=A#@#@ABC@@ 頠$mapi @$` MKA@@ BE@ @#z#z"E%)B$e"y9D%"g$Z#t!B!!F"e$_!F%#%C@$~ ¶ki H+k() ,Y'(*()=+ R:'>= R'>3! ! ::''G''+k7$'+k7$'+ +7TTk+7 T'7$'+T'' L ĠAE 6AG@@D@@!'%map_1 @@%b$m$@@" # ö##@%%@"U#J%A%H#"W#L#%K"ݩ @΀!#S%Q%@@@A$@AA!@@A @A@ABC@@!R%map_2 @@%c$+,# *# _@"?#%k %8#%%f"C#q%h#ߐ@@@@!h)map_NoDup @@%d$AB#'#%+ #V%w İ##@@@1@A.@-@MA$@${@ABCD@@!&mapi_1 @@&e$Z[#@ Y$!#$6@!@##@U"$"R$$w$۠%%m""N%o%%$!D@g!"V%#@@@[@AZ@Y@X@$A"@ABCD@@!&mapi_2 @@&2f%"#j $E!A_@!C~@"$5%ũZY@@u@@!*mapi_NoDup @@&Fg%6##~#|Ws!#f#d@@U@@!Р)combine_l @%G*%*@@:#  E$]%Bh#E!q$R%#A`K#&̰%%%%@%]J#  ! +k() + 7 7 7! 7#'() 7" 9:']h%\XL|@@@D@A1A!@4A!@A5Af@7AJ@9A% @ABCD@@")combine_r @%EyF#  &%?#!$l$#~$4&2$%&Q&Q@= +k() + 7 7 7!7#'()9 7":'h%XL|@@@{@A7@5@5@4@ABCD@@"F/fold_right_pair @%@@!B&%@@!Ce%@@ @&k)w@*fold_right#&y%%&|%&J$&%F@B)#! ""a0&#g$1%"$ +k() + 7!7&'7" 7"%'P%Ȑ%@%bt@@@G@A@&@@@A@e@9@A@ABC@OA+@ARA%@KA@ABLA%@EA*@@@ABCD@@"'combine @&$ݷ޷$l!g!#"a@/R n w"g@/XR"l&%?"p@=M"Y&-G"x6&&@搐 0+k() 7  7 7 7 7!7 7 7 7!7 7 7 7!77# ' "ؠd&x"n&HpxT@@@"A@A@ A@A@%A@%A@ABCD@@#5fold_right_pair_NoDup @@'h&w0d1#$&k&`&m!ީ$ ˩$Ɛ&t&i&v "Hl"j&}&r=%/'+"p&&x`%b'1"u&&}]%[d"`^\'1%@@@ @6@&.@ABC@@#4-combine_NoDup @@'i&de$$̶$""@ka%U'%'S@@@tA&@AA@vA@AB@@xA&T@X@&P@ABCD@@#V-at_least_left @&5P"o'S7:)'p%%ʠ$0'o'v{@&E`a +k()= R'>:9'G'' +k7 7 7!7$'&ؐРW8AB@@@@v@A@@#.at_least_right @&g2g40'&'/+@* +k()= R'>:9'G'' +k7 7 7!7$'&Р%|]AB@@@%@@#+combine_l_1 @@(3j'#ܶݶ%k%ioD g%3~&I#E&?'+' $x%''ǩ#l@q $~%֩$''%''ѐ@@@@A@@@&@ABCD@@#֠+combine_r_1 @@(]k'M:%%n %]&s#o&*ǰ*()&#@d@%@@ @@#,at_least_one @'h!U"(k@ +k()= RG'>:9'= R'>:9'G''' +k7 7 7!7$' +k7 7 7!7$''d4|@(AB@@@@@$)combine_1 @@(l'CwD%%ж %&#&gg(Lc#@8ƞb@@]@@$.+option_cons @ '@@%#ȷ.%(%'#(F %(P&&©$Ȱ%#(!&(s(V(s@ %#ٶ$?%9&U +k()= R'> ::'''+k77!7$'& Ƞ#'9AC@@@@1@A@A@4A@A5A'o@7A$@'l@$@ABCD@@$s$map2 @'%elt''"(@@&8"% 3"&Ȑ"m0D&(^((Ȑ"m1K'ѩ(e'ϰ('d($< $#r&K$A@n/I& (@(Ƕȶ$ɶ"J"&X"E S"FT +k())     7 +/7 7 7 7!7L7 77!7 7 77# '7 7 7" 7 7 7"%'(gP&a$=ࠒs!Р'( H |lL<'X@@@#%A$@A#&A'@#(A'@AB@@AA@@ABC@A'@AA'@@A'@@@ABCDE@@$⠠*map2_NoDup @@)im(YFo"m&%s$=&f&d) %D$A&d&b)$C&f&d$@0%6%' ('w)@@@@@'@ABC@@%3at_least_one_then_f @(z3g45"ӷ)'' '()>'(@(BvCD"㐐 X+k()= R:'>% '= R'>% 'G'''+k7$'+k7$'D AC@@@@@%0&map2_0 @@)n(`ab"&%N %L'$˩(#%)kM#]%%'R))I$@F,,y#c%&'X-#e)u)#/`@@@@%R&map2_1 @@)o(#ݶ'%p %(n'$@%ܠ&E&Fx(?J%)ut##%&!'y'&"P#){'}R#)}'@@@)@Ai@h@A'@A&t@(w@ABCD@@%}&map2_2 @@*p( #0'>&B :%ݶS(%@&nL&&q"&r!@@@@%@@@d%l@Aã@%L@A@"8@AB!#@Tf@A@ @ABC DW@4c@As*@Юv@ABD@E@AJC :@gf .@ABCDm '@n -@Ar@t@AB@@A@m@}@A@A*@@A@@A&@e@K@ABCDEF@!@A@@A@ @@ABCD @@A@@A@BC@@@ABDE 2@/@A?@@Au@@A%@BCD%@#@@ABR@@A%>@BCEF%i@ @@A;@L@A @@A@BCD$@@A%A1@D%Logic$Init#Coq@@B%A1DH%Logic$Init#Coq@@%A1FdJ@AC%A1GK@!z@A.@y@A@@ABCDE @+@A }@ |@@ABC@@A@@@ABCDF@A%@AAa@A ůM%@AA%@BA5@CDA1DH6@A)@A@B@AA%@ACE @@&@J@ABC@@AJA%@K@ABJ@NAK@A@BCD@@A@B@@@ABCDEF @@A@f@A@9@8@ABCD)1@),@%@@ABC$@@A@&@A$@BCDEGHI)E@$Make*AA**@** @*@ @*'9h@@*'9h*@*@@** @**@*'9h @*'9p+*@*@@** @***@*'9h*/@*'9h@5@*'9p+*:@*'9p+*@*@@*נ* @**D@*'9h*I@*'9h*N@+'9h@T@*'9p+*@Z@*'9p+*_@*'9p+*~@*|@@**z @*y*ᚠi@+'9h*ʚn@+ '9h*xu@+ '9p+*ɩ*m|@+'9p+*А@*e@@+@*c*Z@@'9h@@+6'9h*Y@A@'9p+@@*X'9p+*W@A@AB@+H+K+T+P*b *e*a *] @*\*Z*O*MA+e*B@+_'9h+*@*V + @*>'9p+*=++ *?++*@*s*q*f*O*8*75@+y'9h*2*1*,;@+d'9p+*+@@*@@** @***2*j***)+()&)%@$)ࠑ)@)Z@+'9h)*V)`@+'9p+)))렑)@)@@)@@*3)ݐ @@@+r@A@+ |*W@A@)*a@**)e)]@*+*@*I=)ߩ @*=Q)ސ@@*@@*V)ܐ @# )*~A**ܶ))ِ@@@@@*d)ؐ @1.)*B**)))@@)@@*r)֐ @?<)*C**))@0*1)Ӑ@@)@@*)А @PM)*D+ + *)@JJ)@@)@@*)Ɛ @`])*E++*))ũ++@T@U)éV)@@)@@*) @ur)*F+0+.*-Զ* ̶)@p*A@r)שs)֐@@)@@*) @)*G+D+B)y)@@)@@*ˠ) @)*H+S+Q)͠)@@@@@*ڠ) @)+I+b+`*))@)K),,")+\*y),, @@)@@*) @)+J+{+y+n))ĩ)b@@)+t'+)*,")+y,*()*, @@*_@@+) @++)8*,3)Ӱ|1)=,0,7,T@++)?*,:@"+c)g+@+'=)e@,'9h))@)~)}@)w@@*@@+:)v @++)b*^)u,X*,Y@) ;)o@++ɶ)m*i+)n)m@)k+@) ;)k@@)j@@+_)d @,))e+K++))c)a'@)=Ͽ+),*,*.)+,,,@@)\@@+{)X @HE)Y+L,,)~*H+')W++@,~@G)UH)T@@)R@@+)O @_\)P+M,,)+<)l@,@5)N6)M@@)L@@+)K @sp)L+N,.,,*ж)JѶ+-,Ŷ)*vȶ@J,+B)H*$,,,,)E)?S)>@@)=@@+à)4 @)5+O,K,I*<)g+J,+(+Z)ʩ*ζ@*ʩ*@*,,)hЩ*D*+f,-@)3).*,Q)-),*O)0),,@@)+@@+ꠠ)' @)(,P,r,p++)@* *- )--3@)S)&**,-@@)G@@,@@@@,)%)$ @-@'n)%٠@@@@@)&- @,)#@,)$')%')*@)e@-'9h),@)@@d@):@A@A@)=A,K@A)>A)@,G@)@ABC@@)N)  @,))@,) ,-@--lJ?+:)@@(@@)f( @,) +#ٶ(@)~-l覀+-w) (@,)++.,(@)-l(- @* ;()(@@(@@)( @IF@.@-)H>@)/.Ԁ-©D@)Y.A0+{@@@@@)( @`]@.+A-)_(@@)@@)( @-')k*b(*(-(@Ʒ@(@-.)r*i(񐐠((@(ࠐР+~@A)))(AB(ހ@@)j@@)Ѡ(ݐ @@.YB-I)+F@G-,)@)% -)@@(@@)砠(ڐ @@.oC-_)+@,ʰ)%.)`-ؐ@@@@@)(ې @-o)(ڰ(ؐ+d(֩()8+h(ک+(ӷ(J)>.4)3-p*/(η-s)C.*$,*(Ƿ(( (*`)M-@(7 f(@ )M@ (@-)!(𠒐Z@.-lJ?(X@(7 f(b@*B-l(Р-@B((((AE(Р(@B((((AC()s@(Р+@A))))\AG(@@)@@*L(,<(()%O+((((-*+)-W@-6V.* Q.7,.f*)-*+)7a*x(,+S@-C+,*V+,~.u.|.(z(@-M)(*`((.((*+-(+(,.\-)-*;+)Z+(-+v@#(*Ր@-j(()Ƕ@((((+-(+(*+S,.BB(F((@@) .3@@@@@@@@@@@@@$@@@@@@@@@@@C(@@A@BB, R(@(@*à( @.9*},*\()Ƕ()(y@);.3@(((~)Ͷ-C-,q/x.߰**A(|() +n),+Щ,.H+-W-İ+&-i+o,K+,../)!({-a-ΰ)(z+A(})/')+i,^)-.-*08B(y()ܩ,+)H+ö+,Ð -~-방(x-+,r*)1//$/A)H+a$(w--)Ġ*(v+j (y)*/P)(*[(\(u@(s(v+.C(q,E(s)L+n+/8gC(p(n(l*Ѷ(*p(q(i(h*(g)*v(w(fwB(e(d(c*(M)*})~(L(K/u* -.)(J/{+(I*' +h))P,C- .n(-ʩ.7 (H-ܩ+Ⱙ.àv(,x(/k/r/)p(G-֩.C*v(F+V(I)/(E*F,,))o,b-)+-.V) )*);(C(@@.+8,)F)0)1)2M(=DA@(,@@@+(* @/+K,*)Y*k)W*Ͷ)U.@/ +Q,0)_()ZW@@@@@+( @/+a-@)o*)m*)k(\@);x.9@/(+l-K)z 4(ur@@@@@+ ( @/8+|-)[*ũ*,-.`.+z@*-ll(**+ /*/;ŷ,ĩ-*/@+/鐷,j.M,***(,-+(@+@(0-O( /RB,/-R(+&*/,.d,**˩*b,Cd+0/⠷@g+,@2(*@/t+-e*.߰+:8.*ҷ*+=03+2/o_,L*ͷ/r+B0,#.. *@F((Ҡ@@'@@,' @ܠ@0D/+۶-)*%')Զ*#.V02S+U)ٶ+X,C*m.@-N.J*dC.B*P8+d)+ 0,M*w,-(/.-*n&.#'ߩ*].t'ݩ*A,Ȱ-\)-.X0!{'ܶ+0$0w'ې@''@@,T'ѐ @/,-*+.X'Щ@('݀.@/,-*% ;'Ϡ @@'@@,m'ǐ @/,'-*5+Gq'@/,+- *9O'Š41@@'@@,' @/,;'+.eb/'00+_'+*+¶@''-R'/m0'+ʷ'''++'+Ω*-S,L0ȩ'00C*+Զ@',.,S0-fη''.'ķ''+?'/+T','*ְ0൷'+'''++'+)*-A_.)*,-y0'00C*+@'**ĩ-Jp.&*--.0ط-''.ݷ'''ǩ-)'Ʃ/(#*"'*, @/,1''','/,1 '','(,*+*5-m.I*/+ +-*1,*)*+ + -,-.0/m 0 ),(11C*,)@**1*:11"@0k,.\+*,0@/ذ,31)1/~4''@@'z@@- 'q @0,ŷ/(C(.,F(,G'p*+//1D,B.+3+ ,S@T'n/,W10U'm/4,A,NK'l*Ӷ+-=+g-g../0 /-0G+P.I+R1<1C1`+gA'k/0+ᠩG'j-''m+c1m.ٷ,+H,{@|'i0$,1X}'g+G-а.d*/`1)/,~N'f*,'-h++p.C/ '/ȩ05 /٩-߰Ʃ.s+]1f1m1+-m'e/ө0@, s'd-S'g+s1+q,+,'c@. ,I"'b+y,@'a0U,1'_'].,S,'\+,@'[0_,1'Z'. 0*L.*N+-.E1\'X,c+O,Ŷ+M'W.),iB'V+,̷@'U0u,1'T'1.a6(é0|c1~'S,,'N.i(˩01)1C'Kݰ-.d Y@*;.tI(Ƿ(-(((('i,,p,,c'I. ,'L@,@'H'G.v'D(߷(+(ʩ/12'(̩0_0R.XM/4*112(Щ'C(Ω0,'B.*'E,2','A.4,1,0˰-&-,,ǩ,'@.@--2#@-(@.'?'='T2(*C0ٰ-4--E2+M+U.)').B)۷)ڷ(.RԷ(0Ω,ͷ(-D';E'9'80-I2"G'6'-L,ͷ,,&'5.f-S'8@-O@U'4'3.'0)K<))*)'/ᐩ1B())1 '/0.1J(/L(2?2F2c)0.F'.)01,栩L'-.,'0,L2r',V',.,U2^-%)-'~'+'{11-2e'(14-2a--0-i'&.-0ߠ@-@'%)'-''"'1E-2y' (-)0-''1M-2''E'L/.*-'222a'Z2'C1V-2e(+//(,./:122/,J-\,H-,F'',8-aN01j22-',@-i/#,,/0OH1 1v1/ 2,/,222Ͷ,1,/*{0+021(-ة',X-/;¶,,/0g1"113/9_0,222,1*,-,y'@, , /E0!(,//}2̩'++-,.,'+-,.,'-x,. , '+3-}1J1'3 .+׷-/o- )/ѩ0]1V1ðj1g/m2N+0K+223-/~-/)/1c -&~1e|,.,,-' +1x0_--.3@u1۰.634' 0@2v.0g--.;@<1.>3</$' Ƞ@&&@@/&א @Ҡ@3E2.Ѷ0&ة.n+-3J14@&֩1.YW&.S@@.#@@/,&Ԑ @@3F2.0&1ɶ@2.lj&.f&@@.7@@/@&Ր @2.&԰&Ґ0ݶ.G&А0. F.."&3y&ȷ2W&t.2=&3a/i10. .,E&@@E&;@2/&𠒐@3-lJ?&@.7 f&@/|-l&Р2@B.2.1.0-AE&Р.*@B.%.$.#-AC&&@&Р13@A...J.AG&@@&@@/&,<&&._0"&&-&3/H0'.g@:3n237'3 /N0-.m0'2.2'@6-/@.--/$&3/Y18.x02292$'ʶ@A-@-'BB-&&@@&:N@@@@@@@@@@@@@$@@@@@@@@@@@C&@@A@BB10b&@&@/Ӡ& @3I/1:l-.׶&'a-@':N@-&-.ݶ2S3 & A--.0z 21'b 2_..2a.&B-k-.0 20'p2m.<2o.&-'-P@-N-Q4 ,C-E&&.&'-ͩ6->-=.շ&&-ҩ;-:;B&&&.Է&&-ةA--4Hӷ.ٷ0 42.'̷2ȷ.a.߷0 :2."'ҷ2η.g2..&-R,,@3/1Ŷ-Y-P-H-;&&@&y@@@0?&w @3/1ط./C''Ͷ.l3}f@3/1޶. &v  @@@@@0U&f @301.//Y'5'.,Ʃ @'E$ 2@301.( 4&e # @@@@@0p&a @30*1 /Is/B1em13U'(@(-wL,/L/V&`4'H3s'/G3'41 30/@/`&_@&^@,41'&\31շ1*,&u/YF41' 3.1S/Q/q(@(@%,/r@40Y28/x3(-+3,/s/}&q4Ԡ&Y4 (/n4&41= ķ3D2/g/'C@&X@;,&V u r@@&7@@0 &4 @  |@5JG4:0~2+]./&5.w/ƶ3<4ՠ'.|/1_ 3f2(G3D/3F.'./Ӷ1i 3p1(QҶ3Nж/ɶ3Pƶ,/3bi,.l,{/4à5p,z@&.&,@@0&& @4i02Z./&%@&r";}3@4r02c. 7&$  @@& @@1 & @40Ʒ2s.Զ/&@40ʶ2w.K& Ӡ @@&@@1 & @40,\+3^3,Z!5/57/T,X(/.' @&R,T1Y,S,O',M&,I'& ,S'Ʃ[Q,A5F5cC/;'@&_1f,` Q,>3N,<\,:X,8,5,a',_& ,[&&,e& mU,!5X5uC/M'@&q2x,r c,P3`,Nn,Lj,J,G,/X'Ƕ@43(5,,,z(,x4:&!5,,w&,,&~`,./c//12 3x5A35p-& 5z5C/o(@y5@41'20Fp/u(@4P'>53, & 6 3@@%@@1% @41=4,,),+/90b3x2&0f/(@+4q(5+3u&s+/G0p32* 411۶)t4s/k4j390yH/%@+ɩ4( 5/+/`%+¶/Z0p2= Ķ4D/̶)%\4"Z/T4$Q/&X/s+@3P0G/%߷@+4%5ϩF++3'Y0F/%ݷ@+4%5ةO++E5ө+0()8/+36h0?/&@+4&5^+,(62t->+(p&%ٵ2-<%5C%ҩi:@'5?2- ,2*,÷,·,,+&009&4@9%з@9}+{%ε23-  ,/@,2,.,(,'+04&%00%64@%Ƿ@+P%68.C4&&D+2-6 '-2Q----  ,&ڷ+E?+C+B4&Z6,+@+%0׷0 (@ %@ +8%2-N ?-,.-*-(-&-#+1,%+`Z+ +]5%6G+ 5%6C01%4@%@+-%+oi*+l5"%6V*+%- %̶+xr*5*%6^+|v+"+)3 .t%Щ*6]66d6*C52%6_7ܩt46a6h30!13)9)϶0*%018%4ש6m&]*01>2 40)ն4Զ04~0%~*ܷ0 1Id3 5 0u)ȶ4ƶ0c4`0~&09*Ӷ@/ɩ/̰6{*Ξ) )1[A)a(0E*/1`=)f)50J*x1e4)k&η0O*/61j93$ 5+,* 5 w1o>3) 50,*50)5'0&0_*/d5#4  <1|?0*@I5*61*4G@6!2e4 D10*8@ש5*/6©92ϐ% s p@%w)@@2%u @ } z@7HH682|4 s5Z \576϶@5(P5%v z%t@@%s@@2Ԡ%q @  @7\I6L24 I*5o 5L5[@ %r5(f3%q@@%p@@2頠%l @  @7qJ6a24 ^*Զ5 5 @ H5ϰ(z%m@@%@@2%l @6s2%k%i4h 571 14l 57151׷1 07836s 64p 677"2Ő6| 4A1ڷ6507(3 033Z1ӷ11Ơ ,%g3lީ %j@36 1H4 1J3j35@ 3%f@62-%eࠒ j@7-lJ?%f h@17 f%g r@3R-l%hР6@B2221AF%iР2@B1111AD%jР5@A2222hAH%k@@+@@3X%j,<%n@22 X%i4 %h%f1%b634 57u2< b@5z7D57r3]4 7H57v[63'4 672G m4 477N4c@6S:534 457771ն@ԩ1~1134R4 157^64 ^4 113663A4 672a 4 4Q7h4}@1¶@1N@%^011144 134S547BB1:%\%[@ @%.+@@@@@@@@@@@@@$@@@@@@@@@@@C%k@@A@CC%g5# U%f@+@3Ơ%d @7<35- _6^7ٷ12 Ƕ%c1 }@%.+@%b%a12 6GG74^7? s55< u576^3A%[124v 444߶6[ݶ2*Զ6]6ʰΩ2ͩ2 4wW5S 1676u4{7\ 15Y 1126{/B%Z12 4 44B4۶6vڶ2E6x2 A1ǩ<%Y@1W1Z4B8CC%X%W%U2۶% 11ةM%T1H2 5% 1ݩR%SRC%R%Q%P2ַ%1X%:1)8S2۷678X3}1%34 D41}55Է67Z64 5 O1}8B8I8f2y G%9672砩 M%84 -%;2i8s134 ^5 15962467-2Z 2Wַ2%71@745 68h222 v2 \E%6  @%)@@@4i%' @74#5 78|223D j& 2.7@74*5 7829%& 4 1@@@@@4% @74;5 782J3\ & 2F0󩚠 7@&/8ڀ2C@84G5 &7%82V 8% Q N@@@@@4% @84X6 77683x 3q5 6  =7<67 l X@'!-ld%3|3  8578 L5o6 N5q884j8! ׷5 38$ @ y8͐5N շ523x3 / @ 5Jϩ6& _2567H@ 5O/-"%863 e7d80 j5W63 l6898= ߷5 6= o7n50 38D  7]5n 52333 %51  %@5p8Q 26N 287p7@ 5w ^J%8@8j46[ 793 7ְ &Q23ɷ3 @ 9*58e 76b 79 948n 5 -3̷8q  95"553ŷ3 @58x 326u 345V57@5  q%% ۠ @@,@@5($ @  @9K846 ö79=24 +& \$2߶4 ^79=]24  15N556) 07 .3{ %7Q3[NJ24 ڶ5X656373@7>03h7ʩ$3L5Ӱ 6g26 7c9,5װ $4+ 919$@$$@@5a$ې @856 79t3*4< b& 8 @%8pŀ3"@85&6 8935 @$ڠ0-@@$@@5}$Ӑ @8576 893F4X ~' 1@85=6 893LW$ҠGD@@$@@5$ː @9 5N0Щ/7xl8- /09$ Ʃ8994s 0 73 b@8~ 99$ȷ6h 00 j0ĩ8 9ש609 E57 G5795c0 6:7 O36r7ʩ5k0 356w5pi9$99C3 @36}7 *9ӷ6 0۷060 0 0 ۷0 ڵ090896U96 j3!73 l3#3390 |6]9> r37; t33370 3$3.3 : $9:C3O@3!336k 7G3%6(6796 1060 0 06; 08а  3 03d@8ְ3:'Q$ũ.$ĵ1718ݰ :.6 Z$é1+6  ۩_$·1)/=0.3H3Z6A7n&024/4-6O:=03V3`4414/6Q68$98 : 27;:&:CC4P@K3^3h4 :*:G@95Զ7 8:-4 4# K@8 :Oy0V$$@@$@@61$ @958 ʷ1i:D%e 11U b1Sj035 Զ87 շ84\5 4E @u$9!~:U$78Y 6Ͱ7 678]k$35$ 6e74m7@848ũ924{쩷7 835174`@$9< *y:q$34`6 7}38y:B867 334h8p$45D 67447`۶8ڶ46$89U5"*6Ȑ h*4:44A$@7 93L5_)4[@$9j =*P:$$7 )9(0|5je4 D*@$9v I* :$3`07#73e467[7':$5{ (= b4e$8 A9@35 Q4ҷ@$9 >:$$:7y x1*0i 7>(R 9 y7C:6r:7 19 : 2 |7Oߩ8+ d4446:C9 (477 : @'R=7 1141 1 1 ~10 555$72  $@7q:R 438O 454-4?:̷@ 7x ɩ8T 4:79M$( 9ְ;'7 2#21!111$19Ⱙ5$7U $51;;05$7_5:;'597: 0b8~ 0d01:5ط55ˠ1$7q;T@7: /8 /0s19A@ 7:J/8L/7u7$3Z7: 18 11#1(9 )$;m4C: a445Aq8  2l]2J5e2H 2F 2D 2A 2 0{$0x:. .;b$1 6 6-6f$7 ߩ F$@7尩:Ơ 4'8 4)4(17@ 784.55$) :J 79;87 22w1^2u9/ F2u:W98:1T81V;;;2{7ΐ$2{:d61$7א w$5;1C6;$75;6p2^J+0ʩ$0ǩ:}P+;$:T+8,; 0k9 0m55;6d66W$~7b$}:4@8<;Q$9S$0}0|5ٷ@ 8C;$$9!$55${2t+N0$z0:z+M;ܩ#$y1.-2/0$x:!8Z;1 00087368a534$w;< ; $< 0C: n8g \ Z;:425) `:f;;9N:856 ) ޶5!$v$u56 :c-; 8z )$o56 8858 :n 6= :p68 |9c4:;:8;l4̩9i46 6*:$n56 8%85^9:߶6R : 6 5ԩI$m@5d5g89|416;8]8ة8<)$l)e)c6 ) `5[$k5V7 d) ѷ5`$j7 ) 5e$i56<`7  :; 8:y<7: ̷8:}<7:Ys=<;;w96>]:e<:99(to@t<Է@t:۰ ( &6~>;6}=;M;69%Y>k:z<;99=rXn@>D@s:Z)6w9@@=:';9Fp=Nn/<9A9Kl>=η;g9<=k>; =<959Unid@m;@6y#DA@@2V@@:#ʐ @NK@?S> :M;,8[9m,/#˶8G9p= ɩ>ƶ8L9u˶;/=6<;=8=8à='8V9;9=@;e;=8= 6R8Р=2o6P8s;;ast6M9R>>x6L@##@@:Š# @>;:<,^89ɶ,a>y@$ 3=V@>E:<6h8 :#@@#@@:ߠ# @>U:Z:j:60,<c=6.?? 9(6,9@=ݰ?.?^6*;/6)u6%6# i6!i6)"gs]6??9C9@ pkp;<66'6=$626.6n6 m67˷65= ?H>63 V=/6= W{ec5?0?MC9%Զ@ `;P6J;6(=86&F6$B6"[6Y590߶@>  ?\55뵷6R 6P> o?c;r56Q;56^Zp,8~9?9a9_;;=T?=?L7g ?V?sC9K @U?v@>;<:"L9QI@>,|?} =ҩ5搐#@@#@@;_# @>;=6b6_65Ķ9:>b=T<:B9q^@5>M$?.5=QQ59#:L<> ;`?A59<>596:_L<> 9<{8=690>-959O5@<,:l#9@5>w l?X55=5:u"9@@5|>?a5{5!ũ5s:~-@9h5r=D:9 @ 5o> ?ép5n6?<{P65k-Rө>$?굩<ط67?C>%%u@%~2]ʺ"<e66< 66665 ::{@?@<_}5`-t>?@ <769(66665:>ɰX?:: a@@ >@ 8 >{@(8C>ٰ6>})8<7&7 1@505 :Ƿ:  @ <>@K< 7G87%87# 7! 7 7 5  ݷ; 6f5Y55V? e@@5?<?M4=O4:X:V@B:; >@ :Z@ <İ=X5:B:a575r55o?%@Y5575{4?-<װ@c55'5.=&8y<ް%#5@d@@k @5C?99PN  >@h@o=:(;:-(:$4#:;?,> ީ@tө4:;E<?:=a ܶ> ۶:>: >4:';Pk= ?:|=l ϶> Ͷ:j>g:]:@4ڶ@9Щ9Ӱ ǩ= ^ @4מ&ٰ&א;dJ.&B:N49;iF.+:S4;n=.0 :X49@Ȱ ŷ;sB=-?46=  ;wF=1?86ŷ= ·? :1?/::g49l?+>D;G:r@J?@©o4>O@@)L;:@?@ʩw<א#{x@#\4@@<Ƞ#Z @@APT@@<>=4 ?c=@'=\>@=u@@;@@<ޠ#[ @@AfU@V<>S4 ɶ?y=?W@@@(.=*?k@#\@@;@@<#[ @@A}V@m<>j4 ?=?n@ض@?AA-,@@<@@= #\ @Ơ@AW@<Ŷ>~4 ?=&?@@>>t,?(A&ACB>5` ?*@@<@@=!#] @ޠ@AX@<ݶ>4 ?<{204@@<*@@=3#^ @@<>Ab@@<>7#]@@<@@=D#\ @@AY@=??_?AS@۩>>>@#1}?AwA) @@SA?#J@A=U#EР@B-lJ?#F#E#C@=-l#DРA@B?A@QAAAG=##;J?Ѷ#A߶?<@I?#@@A;>@#0;;;;>ACC;#,#+@@#p:Na@@@@@@ @@@@@@@@@@B#4@@A@CC;o#1@5@>#- @Aw=##ҷ;z;ʶ?#B=@;ǩ@#:Na@#,#+;?=#@@@B%@B'B'A#%;ʶ?#A?5@>_#@AA<)iB3"B###?̶#@F>>;-##?#>>>z;3#3C###?$ڰ?n8zBaBhB<]8{<Q##@A>$.$,< Զ<$Z<P<E/"!@"@@@>n" @A>($A$?<<7@.o$7B}>@<4mAg@A>0$I$G<'"ߐ @A>A$Z$X<8!A@#.N$g$e"ڐ @B>_$x$v$$<M@Զ$BAA[)0k=@BBC BGѷ$ =BJ?B@JAW?%4"͐"̠@@"@@>" @@C|\Bl>$$Ƕ<o<@"<@)$A~ApACC<@$B߶@jAw?E$޶Ay:?IC"Y"=*?t@p(=BACA$`"@$A'BC'CDe-j@""@@?!" @B>۷$$<<@""@"Lim<@B>$$<< 4"@@"@@?<" @B>%% <=@="@B>%%<= J"@@"@@?R" @B? :.A6^A%%:ȷ."CbC5ACdA% C8:Ap=c@@"W"@&:C>:fBB~CvƵ:@":":=A:=c=k== CCICW"CCC=t@*@"h=s=?%AC@8 :CP:x:v=:t$:rBW.CV":q==@B\=C"~x"}:=:Bc=C"|:<ة"{:<ک9<<ܩ@é@9?@LA=Ch,<<==?@NACoB C ;<CCC==@<<=@"sCy?CCC@C?X%q%o=OA]%fC=B$@BCCԩ.E"x"wif@@"d@@?"W @C,?pBM%:/."Cķ:B<::=nA|%@|B4BC,%%=v@`"VA7%CԷ=BL@"UBAC"T=@ CC$=A%@A<BI=ض%+BKBC)==+="S@%%=@{"QAh%C=Bg@"PBǰAC9"O"N%%=@"LA %C=Bs@"KBӰB DE"J:==@tA[<@BC@<D"IA%>@> ="H%%Է=@"GA-%D>B@"FBB D\"E"DD=@*;8@R;BD& Y9>7D("C@η;A>;"@BC">k>>>><D/@$]Ȳ%@=;K@e;)=;'>(;%{;#P; =y:N9ZC =sD?}"<9:T";"9@÷;\<;:N;8:;6A;6C D@ŰMAY9DLDSDp;99;<"69tC%9 DY"499$"2;C9&;F"0C.9Db"-;K9'9.9-D1": D9BDgDn&2&0>@"(>)B V&)Do?B>&_"'"&>B&'&/BBީCKD DB'DDZ" >!B/'&8DPAB=&-(B'>~>>9r"@%w>~AOA:gA=BD^@DY"%s%qBD&MBAOAE>J"%oBJȷ&SAJAU@з>P"VBP"&Y>A[>>V"%YDƠBV(&_>CC{ ?D@Rw%XB\.&e>BC:&ZkCi>:ɷ>f"%NBD&}&{>[KBi&rD>C0@ICBDé"@@D*@n&&>e-Bs&|D¶>C:@CBDͩ ""~{@!!@@@ˠ! @@ES]DC@B~&!!D>@j!CDީ#!!D ʷ@lDDA D䰩D uAE CDD@!!@@@蠠!̐ @D^@!!ɷBPC]D&!!u!!@De@!!жBWCdD& @+!@@@@@A! @Dw@!!B&SC@>BmCzD>@A!@!.<!E>E!@A@D@˶!!B&@L!ՠ@@@@@A"! @D@ܷ""B%&"!Ǡ@!?X˷>!@!i@!?X˷!!!@@@@@AB! @D@"%!CV&=D/B_@!!BcCE)CCa@!@!!@DA "6!Cg' ND!@@!n@@Ad!i @DA"G!C"x'_DQBBX#="@!h𠑑D]@!hE@B=Ͽ!j@E'9h!kE@B ;!mBr!l@@!lDj@!l@@!@@A!k @UR@F ^EATCW 9['S!l@Eζ"!j@R@!:W!hD@!g@ې@@@@@A!f @qn@F<_E,ApCs)9w'o!"!g@D@!@!}@@@@@Aʠ!e @@FR`EBAC?9'Ƕ!2"!@@!8W!DA@"W.A!A@@!f@@A蠠!a @@FpaE`AC]9Ӷ'!P"!@DϰA*!A$!!@@!|@@A!b @EtA!a!_!Y!W?!UC?!TC5@׷C0F8Et'9@ҷEw-F Cw(DBRB)Cu-BVF'!S!R@EAѶ!z!x!PT@F-lJ?!QРE@B@@@@AD!RРC@AAkAj@AEAF!S@@!R@@B5!L @EA!!!K!I?@!8?@!GCmA8FoE5'pA 7FVC^DBBϰ_CcBF]!F!@EB!!!E@F-lJ?!F@Bn-l!GРE@BA$A#A"@AE!HРD@AAAA3AAG!I@@!@@Bo!H @,)@FbE!I!!JD/tE  DD@%!C@(!B)DD!A*@!-l#!@@@!?@@B!7 @FC@GcF!c!!dDIE$&@>!@EF!8!7@@!T@@B!6 @[X@G&dF!x"!yD^:bA.FӶ@U!A@@!7@@B!1 @ol@G:eF*!"!DrEMOE*E9@h@R!2@DCԷCթE!1rC~F!0s@!-xC!.@@!-@@BҠ!' @@GZfFJ!"7!D׶Emo@@q!@eE]F!J@@!@@B砠!( @@GogF_!"L!¶D:I@BB@@!~@@B!) @Fo!("\!)D(9E!"DeErFܩDa8:! !G@Fz!3"g!4D(!!ɠ@@! @@C! @F!E"y!FD(VG%!?DElED~9:! GN@ @@ @@C.  @ @  @  @@C;  @F!j"!kD>(?D/@!y[@=A@!:[=ߩ @!⢀   GGd@P @@ k@@Ca a @@GhF!"!DUEF͠ bA)E$FҠ ^ \BİFנ!!G bBʰFݠ " GBϰF ' 4 0/GF@@ Z@@C W @HE@HiG!"!EK;O)G#`BD@ N1 X@@ W@@C M @ L@ < 7c`@@ )@@C ( @ '@ I pm@@ 6@@C  @zw@HEjG5!#"!E}Ӷ;)y#&F[]F O G z@ ~"\pDEX Y @@ @@Cܠ  @@HdkGT" #A"E;>)ڶ#EFz|Fð 1n 1H -@ k%@@ '@@C  @ @  @@ ~@@D @ @HlG}"6#j"7E;g)#nFF Z ZH?} V@ +ۀH@@ P@@D! @)E:!EEސGH2%;9EH<FFD"EH FH_HBH_@* E˶;!+E%E2@@@DDѐ @G"s#"t"uAηFu)v̩ɩǩ:1F s@ -iўEyH@G"#""B F*'(@!N1F @@D-l@#-l# @"5à@ QiўĠGàG@à< @àG[€@@@@D @LI@ImH"#" "¶BC FQٶ''+k7$'ΐ(IAB|@I@@F.[ @IsE;3E.E>@my*EJfp;nJi@I43*SetoidList%Lists#Coq@@&NoDupA @IeJ_Ja @yJgJ +k()= R '>''+k7!7 77!7&'ࠑEĠx I͐qAB|;@J @@FzJ @I𔑠I@@@I@^ ,+k7$'X@@@@A@A@A@A@@FFZ @JI@@AJZ@F /ϿH@J&@K%mH @+k7 7 :'X*h@@@#AF|@%A @'AL@ABC@@FѠF @JG2H"JJ@JL7H'F L+k() 7! 7%'xh@@"@@F9\ @JcNI@GmIeKHDHPIxOIzKK 9@2h5mݯI @7:J9KK@J|gIIzKHYH +k()7! 7!7  7!7:'h|dT@@[@@G&> @JI9HxEK5K<@JI?H> P+k() 7! 7&'|h@@@z@Ax@w@A>@ABC@@GI2n @JI\I#KW@&remove?]s)@-';FKc&Y+gKk@JInI5i +k()7!7!7 7! 7":'ctX6pH@@@@GyF[ @JڷJI7SR@J޶JI;WFQQh|@@@@G& @K &EE&ISKJ@&<*KvJ!KK@K'ER&I` +k()7!7!7  7!7:'t3}L`@@@@AA'@A&@@@ABCD@@GǠ&ސ @K=('*)Ex@'Iש&Kש ֩~@&G4@KJ5'76E 32ېt`L@@1@@G#~ @KgR'TS#}TE#{I-QJyZJ KJ{LF%ک@#$LzȀ JKJL F%@K{f'hg#hE#I- 0+k()%7! 7! 7! 7!    7  7! 7!    7:'dtx|L@@@&@AA&M@\@[@ABC@@H+.V @KI| Z@KII鐩KELD\ xh@@@~@A|@{@AKM@KH@ABCD@@HN(cardinal @KJ K@&length䷀!g@KJK@#nat@ `+k() 7! 77!7%'L!xKҐ@7@@xa@KMaMD@LJ.Lo +k() +7T' 7" 7"7 7&'pX@ʐL#Zx@@@@@AB@@IV%Equiv @L&eq_elt@M@MmLK5/jLHJsJOn@Jm)EJ|KMGKK@x@J R)@))@LֶK3O/.L +k() +7T +Z7T7%' +T' +T' +  7T'+  7T'%' 7" 7"7%'Р4LllJs`|(Ѐ@@@@A@@I) @M*|)KWs/R@M*))吠ҐPt|h@@@@I&eq_key @M+!@M,@MM@L󐐠3"hX@@@@@L@ABC@@IϠ*eq_key_elt @MF1!@I"X@@@@I⠠(MapsTo_1 @@NiqMYDK4L{JLYLh@i@|J}J@@@@IA @@N{rMkVKFL @NN(N LٰI4@HmLKI2@@@@@J A @@NsMlK\L@LIHIBL\@@Q@@JI @@NtM}'@I]NP-@IA=L @@@f@A@@J2I> @@NuMK@NGMIoB@I- hN%Im@@{@@JFI9 @@NvML@M'IN]I|/N5@@@@JV6 @@NwMLLjKkLL۶@ܩLpNgNnh@<mK @@@@Jl6 @@NxMͶL)MK4LLLNM@J(6@ JNTL6@@@@J6 @@O yML@ԶMKKLMLNd@@KGM N/6 6@@@@J1* @@OzNLUM0K`@6J鐩;N|N@S+KH@@@@J1, @@O5{N%LlMGöKwĶM%M4@K7@JLNNNLKvM<NũKxNLА@@@@JǠ1- @@OM|N=(LM_۶KܶM=ML@_NNN.@@ @@Jؠ=u @@O^}NN9L)MpMMN@oJgMB]KBIG@@@@J렠= @@Oq~NaLL<MM`N@Mΰ@M<==@@@@J1 @@ONs^LNMMrO @%LNiNᩚ@@"nLLkNOO@1A=K@@@@K1 @@O@N|LlM/MO(@LN5MLL8MO7OT65@@@@K11 @@OANLJ?@@_4J -OL@@@@KD*cardinal_1 @@OBNMN%署S@=xO_@@@@@NV@ABC@@K\, @@OCNM10-N@@,OI@y,NFOst@1Oxi,,OzmKO{NکNؠMONL3ONPOmO@@-@@A@A@,z@A,A@,v@ABA,@@A@@ABCAN@,|@AN@,z@,y@,B-@ABCDE@@K+1 @@PDO MS1Np,{N0OFNJӶ@@+ N#OOONJܩ@,"BpOON+OJې@@@@K+- @@P:EO*Mq1l,@O¶@N:J@NJJ!@@@@KȠ* @@PNFO>hO"@@+2O*@@M%@PNmBNw%@KmNYDI@EOɶ@%@M` RFCBD NN}PP%@+lmlLNPO@@h@<@A@@6@A@AB@AA*@ABAP@EA@AFAp@@A*@BAt@ABCD@@L*̐ @@PGOOx@@+%O@@M꩚VBN˚TI@DN@&@Msm퀰DBGEDACNdP[NҐ@@@3@A@%@-@A@AB@8A+/@A9A@v@F@OO@@"or @`@/@A/SBCDFGHIJ@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@As2@@&shiftls2 @vY@A@Bs8@@&shiftrs8@vY@A@ѓ@!@&squareѓ@y@A@@'@&to_intϑ@@A@AB/@,@)log2_iter/#@wd@A@l@2@)sqrt_iterl)@!$:@A@ACD c@7@'testbit c.@!ć@A@^Ҷ@?@'to_uint^Ҷ6@#m@A@A,@D@'bitwise,;@/v@A@l@J@'comparelA@3R@A@ABs8@O@+of_uint_accs8F@5+@A@.@W@!t.N@ ;@A@A.먩@\@#add.먩S@ `@A@B.U@a@#div.UX@ @A@.B@h@#eqb.B_@ @A@A. @m@#gcd. d@ @A@.=@s@#leb.=j@ @A@ABCDE. @x@#lor. o@ @A@.Z@@#ltb.Zz@ @A@A.p@@#max.p@ '@A@B.@@#min.@ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@@#one.&@ @A@A.뾴@@#pow.뾴@ k@A@.L@@#sub.L@ @A@.@@#two.@ @A@ABCD.,a@@$div2.,a@ @A@.Xz@@$even.Xz@ ?1@A@A.@@$iter.ؑ@ @A@B. @@$land. @ @A@. @@$log2. @ @A@ACE.@@$lxor.@ R@A@.y@@$pred.y@ `<@A@A.Ʉ@@$sqrt.Ʉ@ ;@A@.@@$succ.@ @A@.t @@$zero.t @ Z@A@AB/@@.to_little_uint/@ @A@CD/@@%ldiff/@ H@A@3@@(tail_add3@^q@A@A3@@(tail_mul3@^@A@B6w~@ @'of_uint6w~@^5@A@@@&divmod> @C@A@>@@&double>@NĴ@A@A?;@ @&modulo?;@"i@A@BDEFG@H&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1PPP@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/OߠSW0kO!Z7+'Decimal$Init#Coq@0C涳N*ua*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ*Extraction*extraction#Coq@0DJS.~Xt=堠-FMapInterface%FSets#Coq@0 m #&FunInd&funind#Coq@0I#A0-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR")Morphisms'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&+OrderedType*Structures#Coq@0#73t1E iW&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ$Plus%Arith#Coq@04tmG'Prelude$Init#Coq@0JqTttֱ/RelationClasses'Classes#Coq@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0*SetoidList%Lists#Coq@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$&Sorted'Sorting#Coq@0bb1z٠&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03WɠrHȠW@VݠrHȠ@Vؠ@VڠWVVg@A@VsVܠ@@&Y.@VV@A@&`@VV@A@AB@ASu2 Q@@@@"_9W@SQA@@@@@@@@@#_102M접4#Typ@!t Z#_11'`o@@@@W2 Q@@@@#_12X@X'@@@@@#_132M접@#_14'`o@A*type_scope@@@So2 Q@@@@#_18X3@Sz^L@@@@@#_192M접XA@S^@#_20'`o@XI@S^A(@@@Sr2 Q@@@@#_21XZ@S}Is@W^B@A@@@@#_222M접Xn@SIT#_23'`o@Xv@SIBU*list_scope@@U@Sz2 Q@@A@#_24X@SA@@@@@@WC@ASD@AV@A@@@@#_252M접X@S#_26'`o@X@SA@@@S2 Q@@A@#_28X@SNJjA@@@@@@@@@@#_292M접X@SNJj#_30'`o@X@SNJjA@@@S2 Q@@@@#_31X@S'*@WB@A@@@@#_322M접Y@S'BB@A#_33'`o@Y@S'B@@@TJ@S2 Q@@A@#_34Y$@S(A@@@@@@X)B@AVuC@A@@@@#_352M접Y?@S(#_36'`o@YI@S(C(Ӡ@@@VTE@Sנ2 Q@@A@#_37Yc@S)A@@@@@@XhBE@AVC@A@TF@AWx@A@@@@#_382M접Y@T )#_39'`o@Y@T)Ct@@@@TѠX@T2 Q@@E@#_40Y@TA@@@@@@XC@A@@@@@#_412M접Y@T2CC@A#_42'`o@Y@T;C@@@@TU @SϠN$@@B@SԔA@SSS@@@Y@#_43Y@S7@@@@@@@@@@@A@@@@B@@@@C@@@@@#_44'`o@Z@T7@D@@*bool_scope@@U7UVT@#_45'`o@Z0@T$7@AD@@@@@UQUpX@#_46'`o@ZJ@T>7@BI)@@@@ؠ@@@@@UqUY>@WXʠY:X@#_47'`o@Zw@Tk7@CKV@@@@@@@j@@@UUYn@WҠXVkYU]/@@S2 Q@@G@#_48Z@T(3à@@@@@#_492M접Z@T(3II@A#_50'`o@Z@T(3I@.function_scope@@@@UAAAAVUT/@#_51? 3V/_rect_from_typeZ@T@Z@TPS"2 Q@@W@#_52[@S,"#R@@@@@#_532M접[@S:"#RII@A#_54'`o@[@SC"#RI@VXZ\@@@@VIAAAAVpUT@#_55? 3V._ind_from_type[N@UB@[P@SuSP2 Q@@@#_56[\@SZ"/Wn@@@@@#_572M접[j@Sh"/WII@A#_58'`o@[s@Sq"/WIR@@g@@@VAAAAVŠVRT@#_59? 3V._rec_from_type[@U@[@SS2 Q@@@@#_60[@S( @A@@@@@@ZC@A@@@@@#_612M접[@S( @CC@A#_62'`o@[@S( @C@@@@V񠐑W@S12 Q@@@@#_63[@S<68@ZCD@AX吐E@AUK @A@@@@@@@#_642M접\ @S_6#_65'`o@\@Si6G@OQSU@@@W?AAAAWf@S>2 Q@@G@#_66\@@SIk@[DCD@AY;E@AU @A@@@@@@@#_672M접\c@SlkV#_68'`o@\k@StkGJ@@@@WAAAAW@So2 Q@@T@#_69\@Syw ᠠ@[CD@AYE@AU @A@@@@@@@#_702M접\@Sw #_71'`o@\@Sw G@@@@W栐AAAAX @#_72yk$\@WO\@V@\@T@@\@T<\@S\@S@S2 Q@@@@#_73\@Ss K@\C@AYE@AWn@AV @A@@@@#_742M접]!@Ss #_75'`o@])@Ss E@@@@@XLXkW[@#_76yk$]E@W]H@W<@]K@U&]N@T@]Q@T]T@T:]W@T`@SK2 Q@@@@#_77]d@SV; @\hCE@AZ_@AWՐ @AW@A@@@@#_782M접]@Sz; EE@A#_79'`o@]@S; Ep@@}@@@XXӠX`V@#_80yk$]@X]@W@]@U]@T]@S]@U]@T]@T@Q2 Q@@A@#_81]@QmA@@@@@@\ԐB@A[ C@A@\E@A@@@@#_822M접]@Q?m#_83'`o@]@QImEڠ@@@@@[EX㠐\렐Z{@QF2 Q@@A@#_84^@QQmA@@@@@@]"B@A[nC@A@\OE@A@@@@#_852M접^?@Qsm#_86'`o@^I@Q}mE(Ӡ@@@@@[Y1Yr\@Q2 Q@@E@#_87^k@QMA@@@@@@]pC@A@@@@@#_882M접^@QMCC@A#_89'`o@^@QMCi@@@@YY@QYN$@@B@Q^@QLQLQL@@@@#_90^@Qi'l\@@@@@@@@@@@A@@@@B@@@@C@@@@@#_91'`o@^@Q'l\@D@@@@@YZQ@#_92'`o@^@Q'l\@ADǠ@@@@@Z Z(][@#_93'`o@_@Q'l\@BI@@@@@@@@@Z)ZH]@\Z]]򠐒]@#_94'`o@_/@Q'l\@CK@@@@@@@@@@@ZXZw^%@\]["]Re.@@Qʠ2 Q@@@#_95_g@Q<@@@@@#_962M접_u@Q@_^c @apbcb@$_144'`o@dE@Q7@CL $@@@@@ Ԡ@@@@@@@_o@_c=@abɠ`:bϠ_0@@Q2 Q@@ @$_145d@Q%3~Ǡ@@@@@$_1462M접d@Q%3~JJ@A$_147'`o@d@Q%3~J u@@ Ϡ Ѡ Ӡ ՠ@@@@@_@AAAA_預_점Q@$_148? 3V ΐd@Rd@d@QQ2 Q@@ $@$_149d@Q'@@@@@$_1502M접d@Q,'JJ@A$_151'`o@d@Q5'J ʠ@@ $ & ( *@@@@@`@AAAA`>`AR+@$_152? 3V ΐe@R@e@QgQD2 Q@@ y@$_153e)@QN'%q@@@@@$_1542M접e7@Q\'%JJ@A$_155'`o@e@@Qe'%J @@ y { } @@@@@`k@AAAA``R@$_156? 3V ΐep@S@er@QQv2 Q@@@@$_157e@Q2A@@@@@@dC@A@@@@@@$_1582M접e@Q2DD@A$_159'`o@e@Q2D ~@@@@@`@`@Q2 Q@@@@$_160e@Q2p;@dC@AbEF@Ac@A_  @A@@@@@@@$_1612M접e@Q62p$_162'`o@e@Q@2pH ˠ@@ % ' ) +@@@a@AAAAa=@Q2 Q@@ @$_163f@Q:a@eC@AcEF@AdG@A_| @A@@@@@@@$_1642M접f>@QD:a\$_165'`o@fF@QL:aH%@@    @@@ao@AAAAa@QH2 Q@@ 1@$_166fp@QR:m񠠑@etC@AcjEF@Ad@A_֑ @A@@@@@@@$_1672M접f@Qz:m$_168'`o@f@Q:mH@@ ٠ ۠ ݠ ߠ@@@aɠ@AAAAa@$_169yk$f@Tf@Tf@f@R@@f@R"f@Qf@Q@Q2 Q@@@@$_170f@Qib@e吐C@AcۑF@Ae@AaW @A`@A@@@@$_1712M접g @Qi($_172'`o@g@QiF@@@@@@@b5@bUbXe@$_173yk$g/@U*g2@T@g5@S7g8@Q@g;@Rg>@R gA@RG@Q?2 Q@@@@$_174gN@QJVfϠ@fRC@AdHF@Ae~@AaĐ @A`@A@@@@$_1752M접gw@QsVfFF@A$_176'`o@g@Q|VfF_@@@@@@@b@bàbƠT@$_177yk$g@Ug@U>@g@Sg@Rig@Qg@Sg@Rg@R@O2 Q@@A@$_178g@OUuA@@@@@@fĢBE@A@e쐐F@Ad!@A@@@@@$_1792M접g@O5Uu$_180'`o@g@O?UuFˠ@@@@@@@c+f٠fܠ@f@OA2 Q@@A@$_181h@OLUvA@@@@@@gB@Ae`H@Af@G@Adu@Af'@A@@@@@@$_1822M접h<@OyUv$_183'`o@hF@OUvH%Р@@@@@@@@eg6g9@@d1e@O2 Q@@A@$_184hp@OUwA@@@@@@guBE@Ae‘H@AfG@Adב@Af@Afk@A@@@@@$_1852M접h@OUw$_186'`o@h@OUwH@@@@@@@@@cgg@@del@Oՠ2 Q@@A@$_187h@O)A@@@@@@gڢBE@Af'H@AgG@Ae< @Af@AfБ@A@@@@@$_1882M접i@P)$_189'`o@i@P)H@@@@@@@@@dRhh@@dfb@P2 Q@@A@$_190i:@P*"ZA@@@@@@h?B@AfC@A@@@@@@$_1912M접iW@PG"Z$_192'`o@ia@PQ"ZE@@@@@@fdId@@PT2 Q@@A@$_193i@P_)ŰA@@@@@@hB@AfҐC@A@gG@Ad@A@@@@@$_1942M접i@P)Ű$_195'`o@i@P)ŰG=@@@@@@@fdhh@h@P2 Q@@A@$_196i@P7elA@@@@@@hB@Ag,C@A@h G@Ae@A@@@@@$_1972M접j@P7el$_198'`o@j @P7elG점@@@@@@@gYdhi@e@P۠2 Q@@E@$_199j5@P,2A@@@@@@i:C@A@@@@@$_2002M접jK@P,2CC@A$_201'`o@jT@Q,2C3@@@@ete@PРN$@@B@P@PàPàP@@@@$_202jr@Pu@@@@@@@@@@@A@@@@B@@@@C@@@@@$_203'`o@j@Qu@Dw@@@@@eeؠe@$_204'`o@j@Q u@AD@@@@@eӠe򠐒i%@$_205'`o@j@Q:u@BI@@@@Z@@@@@e󠐑fi@h$iLiiR@$_206'`o@j@Qgu@CKؠ@@@@@@@@@@@f"fAi@hSi{f점ifT.@@QA2 Q@@@$_207k1@QKn@@@@@$_2082M접k?@QYnII@A$_209'`o@kH@QbnI'@@@@@@frAAAAffQx@$_210? 3V~kv@Q@kx@QP2 Q@@@$_211k@Q!r/@@@@@$_2122M접k@Q!r/II@A$_213'`o@k@Q!r/Iz@Ӡՠנ٠@@@@@fŠAAAAf점fQ@$_214? 3V|k@R7@k@QIQ(2 Q@@'@$_215k@Q2!r4e@@@@@$_2162M접k@Q@!r4II@A$_217'`o@k@QI!r4I͠@&(*,@@@@@gAAAAg?gBR@$_218? 3Vzl@R@l@QyQ[2 Q@@@@$_219l+@Qf{eA@@@@@@k0C@A@@@@@$_2202M접lA@Q|{eCC@A$_221'`o@lJ@Q{eC)@@@@gjg@Q2 Q@@@@$_222lc@Q( ]8@kgCD@Ai^E@Aeđ @A@@@@@@@$_2232M접l@QK ]$_224'`o@l@QU ]Go@Ƞʠ̠Π@@@gAAAAg@Q32 Q@@y@$_225l@Q=5@kCD@AiE@Af @A@@@@@@@$_2262M접l@Q`5U$_227'`o@l@Qh5G @!@@@h AAAAh2@Qd2 Q@@@$_228m @Qn5ࠠ@lCD@AjE@Afl @A@@@@@@@$_2292M접m.@Q5$_230'`o@m6@Q5G@nprt@@@h^AAAAh@$_231yk$mY@T ,2m\@S@m_@R@@mb@R'me@Qmh@Q@Q2 Q@@@@$_232mu@Q!?8J@lyC@AjoE@Ag@Ag @A@@@@$_2332M접m@Q!?8$_234'`o@m@Q!?8E@@@@@@hàh⠐h堐l@$_235yk$m@Tm,2m@T-@m@Rm@R @m@Rm@R.m@RS@Q2 Q@@@@$_236m@Q<@lߢCE@Aj֐@AhL @Ag@A@@@@$_2372M접m@Q,4A@@@@@@ndB@AlC@A@mG@AkƐ@Amx @A@@@@$_2502M접o@Qj,4$_251'`o@o@Qt,4Gt@@@@@@@l᠐jjn@l@Qz2 Q@@A@$_252o@QA@@@@@@nB@AmC@A@@@@@$_2532M접o@Q$_254'`o@o@QD m@@@@m,jʠk @Q2 Q@@@@$_255p@QZD@oB@A@@@@$_2562M접p@QZBB@@$_257'`o@p@QZB@@@kY@Q̠2 Q@@A@$_258p3@Q;doA@@@@@@o8B@AmE@And@AnE @A@@@@$_2592M접pX@Q;do$_260'`o@pb@R;doEA@@@@@moO@m@R2 Q@@A@$_261p@R;dpA@@@@@@oBD@AmԑE@An@An @A@@@@$_2622M접p@R5;dp$_263'`o@p@R?;dpE@@@@@@k𠐑o@m@R?2 Q@@A@$_264p@RJG$A@@@@@@o֐B@An"C@A@@@@$_2652M접p@ReG$$_266'`o@p@RoG$Cՠ@@@n>k@Rm2 Q@@E@$_267q@RxVGA@@@@@@pC@ARw@A@@@@@@$_2682M접q,@RVGDD@A$_269'`o@q5@RVGEn@@@@@Aly@@RZN$@@B@R_n@RCRC@@@k@$_270qX@Ri'le @@@@@@@@@@@A@@@@B@@@@@$_271'`o@qw@R'le @FVX@@@@@@Al@@@$_272'`o@q@R'le @AFtvΠ@@@@@@Alڠ@p@$_273'`o@q@R'le @BK@@@@G@@@@@@Am@p@op;@*@@R2 Q@@9@$_274q@R @@@@@$_2752M접q@R JJ@A$_276'`o@r@R Jߠ᠐9;=?@@@@@@@AAAAmR@@R@$_277? 3V6r.@S?@r0@RR<2 Q@@@$_278r<@RF:`䠠@@@@@$_2792M접rJ@RT:`JJ@A$_280'`o@rS@R]:`J24@@@@@@@AAAAm@@S@$_281? 3V4r@S@r@RRi2 Q@@@$_282r@RsFe7@@@@@$_2832M접r@RFeJJ@A$_284'`o@r@RFeJߠ᠐㠐@@@@@@@AAAAm@@Sr@$_285? 3V2r@S@r@RR2 Q@@@@$_286r@RlA@@@@@@q萐C@ATJ@A@@@@@@$_2872M접r@RlDD@A$_288'`o@s@RlE砐預A@@@@@AnL@@Rc2 Q@@@@$_289s'@Rn j$D@r+C@AT@AloF@AlE@A@@@@@@@$_2902M접sO@R j$$_291'`o@sY@R j$H8:@@@@@AAAAn@@R2 Q@@D@$_292s@RK@rC@AT@AlˑF@Al葐E@A@@@@@@@$_2932M접s@RK\$_294'`o@s@RKH점@@@@@AAAAo@@R2 Q@@@$_295s@RP@rᐐC@AUC@Am%F@AmBE@A@@@@@@@$_2962M접t@RP$_297'`o@t @RPH점FHJL@@@@@AAAAo]@@$_298yk$t2@UVGt5@UF@t8@S@@t;@St>@StA@SG@S2 Q@@@@$_299tN@S%'k@sRC@AU@AmG@Aq@AU @Am@A@@@@$_3002M접t|@S=%'-$_301'`o@t@SE%'Gce@@@@@@@Aoʠ@@r@$_302yk$t@V VGt@U@t@Tjt@Sm@t@St@St@S@R2 Q@@@@$_303t@R# ߠ@sƐC@AV(@An G@Ar@AV* @Anp@A@@@@$_3042M접t@S# GG@A$_305'`o@t@S&# Gؠڠ2@@@@@@@Ap?@@U@$_306yk$u@VVGu@V,@u@Tu!@Su$@SQu'@Tnu*@T u-@T3@Q2 Q@@A@$_307u:@Q*kmA@@@@@@t?BE@A@VD@A@@@@@$_3082M접uX@R*km$_309'`o@ub@R*kmEA@D@@@p@@A@Q2 Q@@@@$_310u@QZZG@tB@A@@@@@@@$_3112M접u@RZZEE@A$_312'`o@u@RZZEؠ@@@@@ApƠ@p@Q2 Q@@@@$_313u@Q,vb@tĐB@A@@@@@@$_3142M접u@R ,vbDCAA$_315'`o@u@R,vbD@@@@Aqq"@Q2 Q@@@@$_316u@Q_\b @uB@A@@@@@@$_3172M접v@R_\bDCAA$_318'`o@v@R_\bDR@@@@Aq[q^@R2 Q@@@@$_319v8@R'~@uywD@T2 Q@@@@$_398|x@T Y@{|C@AWnD@A@@@@@$_3992M접|@T DC@A$_400'`o@|@T D${$}@@@@@oo@T2 Q@@@@$_401|@T@@{C@AWD@A@@@@@$_4022M접|@T@DD@A$_403'`o@|@T@D$$@@@@@oo@TϠ2 Q@@A@$_404|@T:A@@@@@@{C@AWE@AzQD@A@^RF@A@@@@@$_4052M접}#@U:$_406'`o@}-@U :G% %$@$@@@@@z}xzx!xb@U2 Q@@A@$_407}X@UCfA@@@@@@|]C@AXOE@AzD@A@^F@A@@@@@$_4082M접}@U7Cf$_409'`o@}@UACfG%j%l%@%@@@@@z۠xyz᠐xx@UF2 Q@@@@$_410}@UQƞ^@|C@AXD@A@@@@@$_4112M접}@UlƞDC@A$_412'`o@}@UuƞD%%@@@@@pp@Ue2 Q@@A@$_413}@Up/A@@@@@@|C@AXE@A{ND@A@_OF@A@@@@@$_4142M접~ @U/$_415'`o@~*@U/G& & %@%@@@@@{zy{yy_@U2 Q@@@@$_419~U@U/I^@_C@A@@@@@@$_4202M접~k@U/IDC@A$_421'`o@~t@U/ID&S@@&@@yq{@U2 Q@@@@$_422~@U0@}D@AY@AU @A@@@@@@$_4232M접~@U0FE@A$_424'`o@~@U0F&&&#@@@@@@Azz@U2 Q@@A@$_425~@U-j5sA@@@@@@}吐D@AYא@AV @A@|@o2 Q@@A@$_554^ @o9A@@@@@@ŢBE@AH@AG@A'@Aّ@A@@@@@@$_5552M접^7@p+9$_556'`o@^A@p59H0נ@@@@@@@@@=ڠ==@@⠐;+@p92 Q@@A@$_557^j@pD9A@@@@@@&BE@AsH@ASG@A@A:@A@A@@@@@$_5582M접^@pv9$_559'`o@^@p9H1<@@@@@@@@@>?>>@@G;@k2 Q@@A@$_560^@k'p:A@@@@@@B@AבF@AE@A@A@@@@@$_5612M접^@k'p:$_562'`o@_@k'p:E1@@@@@@>>\>_@@k֠2 Q@@A@$_563_!@k'p;A@@@@@@ݢBE@A*G@A F@A?@A@A@@@@@$_5642M접_N@l'p;$_565'`o@_X@l'p;G1@@@@@@@@>𠐑>>@<@@l2 Q@@A@$_566_@l('p> A=@d2 Q@@A@$_608c@dPFA@@@@@@DG@AisE@Ae @AؑH@Aoؑ@A @A@@@@@$_6092M접24$_610'`o@:H666@@@3@@@@@>s>v>qA<@d2 Q@@A@$_611d)@dPFA@@@@@@墐DG@AiآE@Af @A=H@Ap=@A" @A@@A@@@@$_6122M접68$_613'`o@>H666@@@4Z@@@@@>ܠ>ߠ>ڠA>@@@@,:r6 p<P3L >z<<U@8CT/@B g@#memLo.Mf6Sp r@@$mem0~ȩ Gdʐ Kv@)eq_rect_r-Iנ}I<l)퐷Ƿ }BAAAA@@@@@A-~@@J>Es=Ȑ"f2h{6 ӶNIEZ^` cѶ&cЩ$i O1Ml#Bذo}ͩ 8H7CP氩ޠ預NOI* P+,ͰD>QA %@ZaL!,*E{#谩_Y"[$sr~)6!$)5d0EްSRIyT@|-J LQNLt`^-EܐK:OQOOMRfQIT%e@;+1)f)SpxoΩd~Z~)|.~m[y^rGᐷKtQk@@7UR#Heq&+/jֶ897r֩ i ͩfϩϩpѷֶڶ2Ȱ_6̰ҠAװn1C~v?7I}{:~Y٩RA,  YİVa2ʠϠ԰KE{ G}K+xXpo10 ~(1m;C:N/AIȩgL!5>@;PMK_]@DېV[ U SQ jUMXWjE@6Yn[xw@zx%۩qHjL"Զ'{XsDǩAZ./jې[rM puYa!שg˩@@d.\_$$Heq0)Զ:W0ưUS qdSM8ΰKDCICEhJ఩w[.(_*a.eFVEQj ^젩\V7ipqٰPJ\Mt0Q 1//@~"^(d|{3<~}((9,$/#o"_AA9D0Ȑ$HrecuiV#wf,d-xnv@ŠƩ4ʩie:Щo©1Gn(ةnfq9֐]XЩN4DvB@@@@@D@(Dxh:7X x]TD[_ϩ^elѩ*!>ޠ@׷@z $W]$Heq1ҰICIG-DCٰ@@>5<:BJ/ð/-+)1@OߠDOа ԰ LN\SO!n,sm*նmli)dbjrW(RP#V@v'!* +rlC@װy,h1װ 3=--;aO@D@C@<B//QNL`^ EܐHJSQOhSKVgB=3|hUrzq:tr.'өi%>" oА۩q*&NSp.PVN:JnP<ɷy@@E=P0C@ tB  ?jaͶԩRway˷u!&4*$ީ@Է@1:"3#z$A@,mem_equation( @[Y"Hm4!x #;<Y@'mem_indkT ѷ/'ǩ/|Z@V@"In˯ƀRT )ϷhW𵷐%NoDup<Է'belong1CР @"ex @BBB@@@@D@ҷөwvƩ!=90z"x0ܷ_ a bMZ@Dթ?X9uK@6]!YWKTFVP"H1E9~᩷K  8e,ߩ%XbjusI@@x)M렶=n1i3VDM,D|Щw+·)'+#K^NdT@vXѐBB]C{@w_S·WMR\:Txs뵷ΰlEABEC @ݷuyot $\"d#IHbکʶ@°XYũөhSȵbeΰ[+B@D@D@@@@@@@@DƷ@ /@ٰhCw߰K+$°ک3ЩaO@@ RTK3"l09d Do^@Hsɩ S&hUTө֩(0"^2V@'f_equal=ַGL&JO+<-6reF2BթmY^U8Ʒ\+1HMwXDHPNU)MiUSP@(eq_ind_r!2#^)(V@\,uʩA__izn 'tO"Fېuu7ֶ\۩5@됩*V^lȰ+YP@| mݩCVѐ{^ ` _ yE#QȐ"H2ϩ͐`@ aɐ  @ߐ  b 0 18̰}c6 ( թ* 6 C"H3ް * $ > N *AO착  8 2dư  MȰ 98PM  F @e l "  N Hf % S Mg e    / h ! )  WrVn n  /pn ͷ > h bh z  D B $  8& 2 n&ym  .* ! 2)  : v){Ȑ"H4  9  A }v  i H t}@@ F d  j  [k W 1g  Solfe Y w "'   |    s n ) p dl lm%q~ũ $# z &vР u@#andЖw@BBB@@@@D@H 4 ␷J    CnG :  M   Ʒ ة  ©wuq oWkhl@f M a` S^Y| mbU V    d ȐfU Q ^o ˩Ap 2q +Z~ ! ! l !  !   K@ ˰   =jH Ѱn - ? "  "BIv +t 4 u 4  4 + + 5 6 F@ ߰   = OC-@*  "  C (  0  @  N  ~ | ) '#! o@   j ! E -@h  s    {  M   d : y #hyp L  1-`  $ n      0  + % a   x xCJ@  ڷ  ۩ :  U8 j6  J  / / mpH I Il Dѩ > zm S ҩ B ~R  y /AB @#fst  ` b Nd @#snd   m mCĶ@Bq)0m k 4  * /d @ g  wQ  87 Co`  g@@^G H  M  O p 蠷   a t   շcG  gIKx p] [M K p GC1> 2@< : v5        6  IT2v 3 0 *         + %   % u@ , i! 1"  ֐  $ $ $ =    . ? B)  )5 FU 5 v 5  5 , ,@Ơ L    ' > C+@2Р V ש ۩  1 H C@ Uڠ ɷ ` ʩ   ѩ  :   Q C# 3  ;  V@    k   ,   9 z 7 5 3!o a@&option >v@  \ @@ : G 8  7 u B ) 5 P = 3 eH "s'   1 6 *  $  #A  A  a  D vY     E  s ߠ T @$findM ݠ䞠@@%find0 } ` ␷ L 1   $O  ? 6 Z &9  I ] V ː s  ޷ ש\Ҡ@ة=  շ@٩0ӷf϶ Ω G V 5Ͷ   R  ̶ ¶  P   ¶ ]     LO ?  .@ i  նp  } y ҩ _nmkbd   ׶~c a Y WwL|s  Ͷ JàEƠ  b sn Ġ F  D? $   7 Cz>@D6@D> ݠ<:    m5 81 + :' ۠ נ   Ͷ F  H  M  } G >    ]   ,  Y  [ ) Š   :  g  iϠةط # nթ 8ѩ   @Ѷ   N1ֶ϶ {Ͷ  }  & X;  '  U 6  #% ? 9 kN  Z"L~@ @ &  w  ~| L I {^϶ x J ro R  T i!k i U[ W  dLKD s b b w c/ CA b0 ,  'C!  k.    p3 %   v <  =C ~ v& @ 5 @ K  ߩޠթ<ζ   ͩuéR *  өz @ @өL > d        j 2 ' r   '   $   , C@ {  l    ( 0@@<~C@{ ʶ   y &w m (kw`9     0] Y 2W o TDSO N       L N LeG@M E@NHGC@D   "  L OB   '   ۶ T@  V>           (  ݷ   _  9  r (> :@@Ҡ  j@A;8 x@-find_equation>   = 1 Ӱ k j { @(find_ind y 1  V 6 &  @ !    } :   . j    @ W D  ,   "e' $&eqfind 6  q  #@ = @ @6    [ Y ) M    W    K    Qߩ%   2 : ȷ MAA@A@@@@@DX  @  S  !  S !  @ g } " , q  " A   Ő נC  c@=  < NM 7C    S iR Q    -󵵷N L v ҩU - vW /    q"@  `  U @  - f         l     5 ? R  ֩ 9s D w8 ܩ y   ߷S   S  h    j ˩    [ w   T k  )   E          o t RU         n  e Π     հ   A  2 ) )@ ܰvss  Fv "  :  J &    > P]CCU @l  0  X ð  4    C  !  6  зc  R P#IHoi @İ     ֩ ΰ    gH  @ذ K  o@+ 0 ":$` " S.  &(d &   {]& >   @e. eEEF A L 8J< B s  BN  O ީ 9   N Ca \SV  % Z   j  ܩ^ ) \.` + p  "2Ʃ0 /4  @a99w .k  : o   0Ð ՠ?C @g  y  CC@w[Kҩp pCض@w FީXߩ  зVwwé Ӱd  v@X bXcwI  :Z 6y֩ wrj tA\@SS@ &FX  dxib԰ q  s3̰ s(8SҰ < <.  ˩   5η@ ɷ@ nxr y8Щn (   ٩5  Cm ˩ = A)I'#թ    R|@ީ oӠש[m tC0Z@X fC 8  Mӷȷ )Won # "e1 FV a ũ(d 2:\]E @` _h @,  6r ;@G 9Q;w 9 K ة  =?{ =;G   UzC  j M ]:WK ?   U %B.   u @ ]@I,I*"x1 ŷ~ RÐw NB lbз&i> ũ@ u ? &0sH J  J #] < <0 =. @ ؠs~  ۩W OwY Q Q + 2" J$ũo O B P@ % Y J i lk    = D rש Wg \   0\ N  ܩX ũ $   ȶ@AS   $ P "X c@ W  Z 8   ;  Ű  ? " d̰  & ~ w ӷ x 5 >t >  0 uD@ 8]" 9 N { =& =  \ b )  + X$O ;3 _   Щ, ] ķ;K- U@ @`A @ f mX@ ^nٰ`Je   © CߠZ \ h l20 Wj$t[v  @mmxo(do   ɩJ&Tq@s2ns   nnoRTFC1TUI tGO vA}v   =|U ة"caddXHCXgMi<YkS E  OoBSe)[e  M!X\`\   XdX \[@b[ rEmGiwѩi_,?.A0qũrp9 >$QҷR̩:<u}>ĩu7U9W;۩h#j@ ˩S됷 SMҩHK˷LqJsL xXJ]) trdb ^eZ@XʐXaVN_p\MId&Xd2@'InA_eqk0G[Y! 9@,InA_eqke_eqkb6b(444++^@ް8JЩ '( '   ^??66 @ S@#0#Ġ Ơ N` C #ݶ@ d @oԠ7ة֠9C 3H η÷n  <L W,@+  'ݰP HX ` I[ \D@ R@( @?  3o bC©/v<թhn쩷p9       H.̠wa{ B! = F  :ѩ J  4 .    ) $P ` 5     * Y /] $<` |  j 4hb @h  l H @m1   r )}Q  $ E ې u ԶZ@ wԩF | >X 됩  *[jư  )_ NǷ@@xީ]  o    ̩֩}ҩ y  շgeǷʷr +  ӷusʷ1٩x 25Ͱz $Ѱy+԰x ͩ % 5ж@ܰ 9 2fIb *` 9 '@   6  @13 # ,P 0ɠ M@y 0i W  V 5k˰ ;ݠ S7ee\\ P.  d% `Jnj 8l :h jdZ lXL nJsH  F @D t5\B w>|I  rFͶ |=8=9 Ah z E@2 PP42[@9-@P'PX>DVXC o'@\HZ U XCZC uB^@e)`ީZ*lGV*SC j@Nk]<!5wR37ސ@(list_indj ʶ "x'@wyX=Q?S   ķŷ|kC   ̶Ͷ@RT #IHm ©Ұ ݶ)޶@'Ichej  ѩ\~ :@8pR N.$V@V@efdӐ `@۩/gޠ@g@vw-Bɷ  G6  l!j @4 P?@ Sbg砩Wd@I@0u+er@W@˰>! |֩@ cY  ש   ̷=v@@7y7{r DQ= l d  /#hIjݩ 7 $ ˷_  3>̷b SJ$ZFV\& + շ m Lp @%ݩZ$V,6Z! ](  ^gl_a@e 6Dʐ~ +qg[lw|AܐpƩd@RI@ ES*}Rt@@S8pUKd T2 F`w/po _ڰ? +թ{#P@+@ x/04 @@+=)T_ r `F _mbհ[O0('@-B"^eZ 4ݰ0W נG ?@@g砩W@@RR* },fVڠa8 ri@U@ٰX~pk%Hneq'"r}~i@(eq_trans7͇p@&eq_sym6$HneqfCIh<<4>͠B <+E' OQX r@PCCR̷LWp.C@@طXc:Ȑ O@ʷ@ .Ɛؠ]C  ˶ @x  <1ԩO5Ro @5א lsr @@efݠ  o޶si ne c]Y\ {T!VFPķBwlt#   xgܩ:@#addnuef7 t{ហ@@$add0 h68l>2_a©D۷D\6o%e_&@հLy {@ ܰqM!euG#%rqo|k 鰩` rv.`@M#K3I1C'A: 9̠4p9!>Fz=:?iJLfFx X ;d.4KAXZE=H ˩3 ΩehV]j)^(.Kh-,`gl@cs;uO'ԩj%z#xywr:BABtHtr@Hc ~pqlhfQ[WΠQY{#[cڠ ɩI) H6 lө f@&k(m+|˷@ mir0Р/Fն-/Рީ͠޷?հCܠ}%RTM}}|?LDV G=fȰ]_NͶ9fѰ cn?נ D"ܠũR N$)&X8ö ce(d|{0$=( +  <x)FNY:pIGN2FԶ@L"a^8ǶpS(e޶cض.˩ew7qKЩf;[v|x  mFmjmGL00dx2 g%x on @]Ԡ')58@ d.q. :=b׷gީd`d߶XĶ ©wD>#ǩ(*#Pͷ_&[[jΩ%Ġ`ݶ2Ȱ / ) m<CD4488F#[u@N}2-Y°3_K[J϶_]W8pذ2Au* t̰nɩȶ& =,^>4@,h[($2n$ö:0(3EUWķs@H@K7'^T©XP[TȠ7lj;bny٩ogrאXЩpNթ 'MRɠީS# @ @`_YD_ĩLFwLJnGC~CA?=E 331/-5@P  ©U02ysz-s1ǰo,jhݶp7Ͱ^+YW]@;*$ְ-#w0C@ڰI߰נ=SC,CG(GU]@dq' \@E@hjYC@G϶'ȶt Ʃ߰zɠ*$V6)WƠ8\:b8++-吷@raS@ Aշ@ZTzڰ6C@F^^X2_j>M<:b_9qT  w©X.u! #x[IJ^FːsM5޷!䠷@@>j c֠ȩ'7Fɩ@,add_equation2eMV@'add_ind:a } q rv϶@ l77(H ڷ H  Ada^G`I KYZ| QC@!W# CH}rk ~ "y0 =p : 1a>lc̠  Ӱ 0AC@Ct# ַ $IHt0,@+$()$⵵54,  :b ʩ4C=@ Ӱ CCC@  IqaCJ@  ovfHh9CA7UV- &U3t+ .? ' cƶ@&@>x ;v:@4pF>]uطnL I©c DC*@ @Z  CwַZ4lOg$YaW:"y'#e''%eqky'ǐf =}o >qsq$4CL@{Fζ@x8MEE& }9|TTܠ,eR+IMac 5<,S*kOmQV?F{ķ Q47z2|4RNPͷcF S_!ɩש6'ð``Ȱ 8Ω{558@Ұ02C>&V"|q:>  ǩ,/.eIB3NưtjRNcmԩQ!<Sr@{DC'FEGaC  jQl SnUp͵,gQ \gﰩfk&maک,eCvvj+η?  trnj4@hO ^dbZm G` HWhV"Z ioqmi˶@K ةUeީ&&]([mà0e0CI@@ym7<*q;v2C }W%#~%]@@0O M D%·#!搩u>h2@Z BZ@UMRlPUdE^}x a8y]gϩ7aDZ ÷Q]ϩOZ*Poh)P-bթd1ɰfͰ#'а9̩϶@ذ G92#>=ҩB>S]ĩ>B   ڶ˩Lީ@*5@ȰD9Dp3F:`ة =!YR XC"XXOOCE]c_[QOCAbf? =  @;(Ww97/ko@ 9 0vo=u-3bD赩K|uC?'/Y:}CG}}tt@'̩= gbѩCt>@@K|?{ QީwASC 0C'@C @Z 3\,PbZC4"@PD@ nhGw1p0J <vзMNoR@H@ @Dcе^TV ƩOԩ("T֐ة@(In_inv_3#*[KI൷Hɰ._O搩`9CC{Զ7@q@<gkC%۷QCOQI׷@]{T7:G_s,~IEuoMI CC&@X@ILYsCLxj/vx߶ 4@f@x[^k@߷Scfĩe_@Q@KS]QO@"y10NCLYGJɰM2p LGѰC:yYé IDܰFE@uDB4g@ > @ ˩Po}>-sl:u ۩LZGz _fF :=xb8z62O~~Ft3/DB<53pn`l6j:7@,-($g/ 1 d 2+\m%sk9(Ͷ@Mcש*C=`@Զ@m"CLCC"@@s LwuECK9@@ѩ ?0"ZDB\  N_`d @Z@'Vu⵵pɷ,fhLķV@ r@l֩>?کʩw8Hdj~%JɩC($xffogmd~ϷN۩\ǰrqr}';-AٰݰT9a[@B6c/j5l( ]  S9,O©SN$WX˷#éD}ѩ7 VNzdͩN!+#qqqhh\:ک1T Qvsvunh\ZLJLFD&@BAI <:5UG 1R!I @-LT G8p[ͷ@Rk 4@AY?M?uk*V TS(OQ] e2wB& T;x W iĠ]@Ƿ@ƐaQҩ}1jȩ#6'^!4۷2*d"wg@!됩=<;N@aTT | é uN[CL@@ Q1C:fXdf^#UrHXp}k@IQ@ǰ1mʩ f%YuI'԰HU+ذlB+>9WZ;750S۩Iibml_m_b@*;&A>a$ȷ'Z1 Է$ ĩEH,(c~ɩJe5gu'  mmmdd,֩-YspIrGCs<75I|3/#@W>S.IR\6O7Fu4W+I^@8ѩNwC(u@޶@X<CsҷV0hW  e6@@fXN hLc׷8pTH@v-I@y!Xl))˷~|.vo0m2%ptq@f8c<al/n]oA \E6x-@ ϷKKeQSͩUɩHǷ@[B$^Qc#f #Ob.@ay6_C@/@X}YCC"}@w@`,өY.vbZHF ] X<4ة } 6%䵷 OD<詜BLNC21  K@0]_DC@ 9f[IK a֩8q f հ \l é$ ܰ !c *X"*ķ53o@ p@7rt ^ʩ({  D/;8-+& ! D @!@3Q  $BBC]Ce `UwQO {Qkt= o j:!Z !cv ۷q·$:N| *J s03P 1 8 m =bm~ȩҐlwkܐӠ@QD#Vs$@ V(( *]z+pķ*@ @We76\ϰol֩ RbE֩=t=Phܩ/zS `ls1 ? ; Kݷ  r cz} dSS թ[   uU W 6ΰY Ұu ,հ[G׶@ v  t o Hݠ ,  YR  S ?    #N   3 G O \©,]ɰ E m_pq 2]  TƷ 2#/ M©  Q#@@D@ ">tA w fCq  y h h__4@ ss MX oFt ST <@ 9@([Z\n a\  b d   ~ ˷ P] j   z ot  qpl sj  h<;=@ ܶ y ڶ  նKh~s u    *  s ot f / [d + #ӷ b : f  w^\ } @&add_3') >=6  ƀCѐ* :B    @b|`C      Ґ!!   ·    @&find_1*t `  b   !@)add_NoDup"Z i      ! @%add_1Uu p   ! m   !&!$Ϸɷ ! !  ީ %Q@ Xr w  !  Yv k   m   }! Y k   e  !: v 3 x     !+!7@%add_2Uv     !2 ൷ˠ   吩   !)C 4!H@&find_2*t   !C!2  ܰ@ 1!< !O   # !!C    <  !I     ˠ !S!R @  X Ӡ !k~    !m!y@%add_3Uw     !t!a ! !   !kC vB  R ! !(  !!q!rة!6 C@! ;;!"p @C@!(˩!*E|  А!!e!ca_SE]!@@]j[!Z!  To\R!g!6!d!!NSG!A %!a!y\!q!#!n!!]!! !l!@&remove,2 !1 @@'remove0!z!ĩw!!!=?!ˠ!7 q!=!!0 ` t!!ᐷ!!砷@!@!T&-i!!\!!!˶!.!!)!ֶ!ԩ2!¶!Զ!-!""!ѩ!FѠ!rK!S!!B@}!!""!!ǩ[!|`zʶ!!y"&wo"(mb!ֶ",^נYY٠!!u j!ՠ] !W  i"3" F hK@Q!@P!~L!렷JH"{!C"F?9"H5"!*)!)'%") " ݶ"V$϶"X"" "\U"L !""kζ ":.""g  "i"7Ϡ"Ӡ!ذ  "J-"*"w "yߠ"' 2"}Gੵ!!@߶ - *"\?"<ݶ"۶ +ζ"̩Ǡ"9 3"eH"E" 4""b"CȠ"! "L F"x[ @@"YS"1! "" W T"i"fڶ" Uʶ"}àz"c # ]"r"ot"r ^d"`""mUŠT"-TQO ~ m"m""nN l:"6" & M":M-  w:",!  |?"1   "H""I 1"   @ T "ީ"V۩/ٶ  "ةY   "@_@۩"eҩ>"H%Ʒ n #  #  ". y #%   #  )#C@  #"\ ƶ # # 0 !O8@ @;C@ Ҷ #"#. u#0sh"޶  # "#7d `#9^#v"|[KZ"ZXW!÷!" #U W! UnO@U"{@T"okPOC@L  #*  # T#WJ! #/ ##\H!#^F ""!$"! /#!! #e! #?" x!.D a>@D#@C"ذЩ# #I#a#qA>#~@/remove_equation{eD##"C"A=;8#V"#W! 쵩#@*remove_ind5蒀##z#A# M@!%##6"7"##!Y #Y#i #A"#'+@ "ӷ#"ԩ# ###-#"ط# "##{#f@#] #Q# "#c#@#N ##?# #q E#a _#\# a!#f#}#Y#. a##(#_  ##"# ##%###W@ 2@)#"###Z"#{ 7#v# 9 {#'#c#a#" ٷ# fȩ# `!#η#j#ѩ# I1##o##@##r#ې" y "#v#C"UCܶ@eC!!!#ͷi#S##H#!!#C!w#ͩ!#0#:#uѷ# @Ƕ@u" o #V$ #X#lc#f 5s#9q###5 $"N  j#kig#ss$ d#Jmza$ _#]x$[jXY"Y@W#a~\##а^ #T$_vT #U#RL#.۰< F#HD'˩$.˷@$F$?9C$5#8S$7$L!60#$'2$OAC  bC#*9 ̩; $GC/#$G#$G#>#>@#S !#Cض@a#Y!.##C"(!" $=#÷$#$j" # ,@o#g!<#5$E" !#e!!#  @!$!$ !2$u# ʰ !U#$$y$!&x $$[$F̷@$= ܩ$1$m !6$$@$.$$ /ܰ !!$#$ w y8$$E $@$| !>$R$$= $!!䩷$Ej $!!_$(-;;Q $!j !$$RA$j$27P $+ !e$ĩ$\$O$<$`$6q$$c$*_#c`@$iq$ !4$J${$v$"$$a$O$s $:m !F$'f$ $h$Y$ک$$!y$p$^$@" $! 1${$㐷$jL$! $$ Lm !e$$9$$L$##$  ۷W$v$  b$Z`\Z$|TN$~LF$D$BT#@@$$ <$N$$:%E]6$$$ 5% $$$G=u$@# B%@$%($! $°%$ǰK$%"$}$ $q%'$h@ @$$d%*$©$`$%,$#y.&$:$#$ %E%41$$C%I$$$%> $$$%!$%H$$Ű$%$ǰ%M$%$%U$۩$Ұ$$$԰Z%k%$ĩ%$1]%a% $$ ж@%$WЩ$u%)$Uh%$l$Qb$Y`"% ک%$js%w[%Aö$%:o %.%j*8%~$c%u%o$m%% $%H%<%xFhq$q k$Ƞ%,%~}ѷ%ҩ%%F <"y$%$%$$i@%GECC%8%$-$%%%$$$ζ@%N%#!٩!%B%$%*""ѩ"""]$C$KC>@QC%mC@#`%y%$Őr%,%}%#␑%%$$%%U%%%}$=~#Y%J%%%O\#}$%2%%@$ސ#}%T%q@%%e%%%%Y%v%%"%%#1%N%]%##%<"絷$Ű%F9%%%m%%-u"%C@@%" ##$#%ڷv%P%%B%N N##aɩ$ٰ" %v" %%"%%%%ߩ% %%"%%"#W%G%"%o%%"A@%"@C%%""#Z&@%`&$ _%"o%&"""%b& "Ʒl%Ѱ"%&"""&0%ɰ%"&%&5 S"%ϰ!%!%&+ C!h!h%!i%%  &0%$!d% &3%!%% D&5%ް!r%#!!m%!%& !&>%$!&z&R%!u%% C&T%!w% C%! % 5&J%!% 0!" -$!#@%%"&  &&@ !w!&h& [#&&D [!!{"ӷ©& %#,&_ 6"ط&) 7ɩ& e  &" Qq&&R Q!~!"ٷЩ& !  A@$!"& t!"&t%ݩ&  a!"%&8~w&,&h!!"#2!"!!"!!&%&%&%|%|% p#31ٷ&E"vm&kgcYWMK`&I!i t%:!j@G&U!;E%C?i&L s#&f t&] lI&= &`!FP#&%&&&%%%϶@&O"  &e"&&% C@@&n#`x&b&#`#$&2$#$n&<&&&& $o$)L$% }%"G&@¶@&#V&^&#s#s#&E%#K&H#&&&#8@%#w&Զ@&~)& 3@%㐩$##@&#Q9 &" &&###&_" 8##^&(&砷&ɩ&#R#)婷&ͩ&#%"c -&u&YD]&ME&K&B&?&&6@"@ _&&2 T&&&.#&%G##2&ݩ&&#3''&%"'k& n&#{&'  8q&"u&"&& (&"M"M&m"N&k'&&"u&& &'&"T&$j&!"O&x!&v'&&"T&& "'3&˰"V& "'&ϰ!& &')&Ұ"o& " %"@&ذe&|#ܶ'&=&!x'G&w&&!;`$@&E$"L"S@&B; ϩ&9#&'.9!"S&= =!I"'*&!&#&'M $#Ʒ' %'1&\'!W| 'U&۩&7!B 'i@&d%!"k@'V@ ީ'RO''MR!d"&V''QV""X!R"'K&v'*" D#&&Q!t#9p5B'S'>o@'5jg'z@'$c'&c'.'jc"""'>J'9^'4'p`!o'P'8'td""ްf"'y:e^'Gu'B'~w!}!''?a]'a"ܩ'EYT'Y'O'Y"A""p-RR'SM>'"S'W'S!"I"''SY'k"{8US' V<2'-V'b'V!!"T'Ʃ'^Z'Q'bY'8'j'Y!Ȑ"H5''iK'0'q'Kȩ0'u'0&m3@'s-'*'('~'*mr'''''\q'Qǩ''+,-C','L!'7*Ϸ'+'7'c'a''#Rq'fh'''A)Mɷ'L$''Nש&K$ ''B''U'&&'!ηǩ'i'ogqc]VTMKG(E]qA&r@?ש'S='W;1P(DfY'Zߩ'A(/'^H FB@"$$('f('y('''E@'Ű  ('1'#r'e($'o($''@'ΰ$!!@'3%Ҡ$%v@'$a d! '$^'$ }$$'(6'H$owC! p@'F%%%@'$'$v y6'$x $%$''C!'*'!'@'W%((@('&((>'( ('é(''p((B''((C!+@'f@(j(k'(( '''' (('?'=!9!7!4('(S(~("&%'(0(9'&!!E@(2'' (&M%'%~!L(\(9'''!(~C!P@&V%&9(k!'(K'ӷ'߷&:%!Z(j(G%j(;(w%j''(E`%"Kx(*(C!b@&h%Ƿ&K(}!'(]''&L&)&Z!lݶ@(Y%|%|%(W޵!s( (l% @Զ@Ҷ@y((((2(E'('%B [$((8!!((((A( #'c#@((G@("^(A""#%9((P( #%D((~(Uz@(V(Ok(#v$y(m(^i!@((@((@(((Rh(堷 (((ԩ(j()(lsE$é(q (V(T((('()(}cV$)((  (f(d()('()"ȩ(kf$#)&((o (°(h)(Ű(c v^'@(˰r(w * #(ݰ())<(t'^(v<  ,(ٰ(#)5  -) 7J(-+j(/h ! <(()- & 2'@wS 4)F()F()F(=(=(p1 H  @ Eѷ ^ V ITH KF: M8)R6 '޶@4 S)0(. V*)[9 &)% [)[)a& ^);-6`s T()f()f(](](@) )j(| e(()m()m(d(d9@I@),&6(& F>C"E@)2& 2s(&  a̰&-&);)C"M3@):(().)j()@))0C"S޶@))))((0))(b(`"\"Z"W)))v))E(&̵ ))S)\)#'D"hǶ@)U( C))W( )['r&ѷ(&"q))^( L",)C"u@)b( %'}&ܷ'`)".))r()'a'>"))n&2')j&G! )O)C"@)t&K!'&'r)"@))) )'s'-P')"@)&D9')&Y!)a")!)&3@@@)% )&E a)Ӡ)쩷))])p) )(ѷ'&m!&))cܷ"Eک"G)˩)©))l)!?$ȷ($@))r@)# +)  u ))y)ũ!L&m)̶))~@)  ))  , |))"g ))@)  5*@') w* ! !!! (% $ !! ! *!p X( @!)) gQ! *"!z ) !") 5) V!&)( t^:!*-)x*-)*-)$)$)W!/!!'!,)!"*2!G!?!2=1!4/#!6! *;! {( Ƕ@!<) ))j)%!@ *E#! * !E* |*K$!H*   %  ]!>)*P)*P)G)G)z@U)*Q)*Q)H)H @-@*'!*&!I"C#)@*&"-W*' ")C#/@*)m*r*) )C#5@*")#**R)*j*z*&)w))**)G)E)A)J)D#D#?*)U*/ -ɰ*/*x*y#K#F**C#M#H*)^*@+Ұ*@*)*)R)[)$#V#Q*)g*$۰*$**#\#W**m"n*V*@)q**@*<)*©)v) )*X*)* ***}*F* *(**J**(*)* *)ݷ** ))*)@)@)*C)**C)*)#2*-*v*!*)*o* ***:)* *ȷ#*a)*6)*{**8***,#&*i'*>'*{**@'**$*"Q#7#7*#8*"*&'g*̠*g)r&ݷ*'j*ϩ*K(*k**M(***ө*|#C** *"a&&*&*2*'w'n*ܠ*K)'*'F**[&*^*{*]&(4*$**&*b(6*ǩ*'*W(3*o**'~*J'"D''ʷ)'@*#D*='ζ*ө)*& +*8*})ٰ'l (K)۰& ة O''ک*z&'x'w**'9*a'*+"\#S'*#T***'~ '+ *)& + )&o S d&t'ũ*&s''**!*' ''̷*)' 'ȩ))&ƶ+*,*& g+%'*&Yd z&w'ԩ*&]+<''a+&+*:*&ep*+&+F+5'%^) (נ('+=*G*&E(a)(ȩ*O+F@&@*Ű&*+6&b++  &d'&(+e+ % *&Z++@&++X &'&#+&b  +`+}@)remove_3',4&|&+'++&+gC*r'+"'C*L&0 &'*&4&.')C*+q*+q*h*h!=@+*)h)h*U* ɰ*+)+y**)+|++*X*V$L+j+++c++D++++++*a)Ƿ$U+s+++l+I+O*9*7+@(elementsZ+++÷*p*n$j$h+++ȷ!Agf+@@)o@+ö@+@++h)*)q#acc+++nn+@@)q*)y +w+̩+b(++T+{+4++η)<*):+w)+++0"m'+'+٩+o_+^++8+ܩ+*++++@$foldVG+++2+ +3+R(ͩ++)+++++t )-++'+ݩ+(+++x@@%fold0*)#=+++++[+j+++퐷*)#D+m)"+`+J*+V+R,+*+V4+F**+<+:, )+,)M/)H)O+?++@,,+,+o+&X) +*K,+){,+>+$,,)+*N)+, +NK(,"(++R,#)d+,+G()`)g,')h+(+,(++,+O(()h,)i++++z++i@(ƶ)*,,;(f(Ķ,=(¶, (,>) +,0+b(() ,B)+(g+, (++,8+j(((,:(+++),P+(,@( )(++),+++()!,+÷*)%(*ڷ*((,[*',5,`(ĩ(((,P(,b,Q+,(o(m)Ҷ*0,>,i)(h,k(d,9),l),,^+˩));),p)+ݰ),,N),,$,f+é)))C,h)D, ,(+Ƿ*%,~,)<$$+(=, , )y,q+(D(B,t++,=)J((:)*T,b,)V(,(6,])Z,)2,@,+̩().)5,)6,(s,+ȩ)))4,)5,B,J+̷*G,,6((Щ)ڰ(+++%+9)'@,?)E,2,**u,,)&,,F&,(G,X+%,),),e,)c( (),),&'ީ,[,',e,m,)'((,(а,i,q))e,0(,,3++H+\()0,*,,)+()-)5,)6,,* ,v+5,,)m',l(,B,t,)>,,Ƿ*F*,,):(3,ߩ,u(1,J(.C,(,,)B,(,,)(%(8(,(,U',,',,,)'(-(@,(A,,)**,,,,)",0( @+(,d(,,(:,i,,-,($('s,ϩ),_)i,,*D&)e)m)l,c)m,s(,,),,,Y*E.))m)u,[)v,,*I*'])ޠ,a){,c -+-C@,),,**,-)J%Z-!,&6,) -,)-&),-*aJ)8))-*),({,-(,,- )ܩR()@)-"),,)*(,p++)Y),+--=)]))),)-?-.*,@),-BC@&?*+--H*s)G-J&=߶*-L,* ,%gΩ,},,,,)P),,ڷ+)P)+Է+))-U+!-/-Z)z)))-J)-\-K,&,-L-],,,-_-N-k@-fold_equationlЀ--,0+t噠-@@!i-b*@-@-@-%--- -j-i-(-z-j-@(fold_indK - -0-*--*---,-v$List-T@)fold_leftɀր,?-,,&-"-,-"--,a*ķ-A--4+;-,,- -Q,,-C-=--,o*ҷ-O+t--,,,-E)-U#IHa-J,*,---ک0,-,,N,#-*k-#-!] -C-Z,*,---٩@,%-,,^_,# -*-#-Щ1+ -=+ --]-z-C-l--ũO-۷--,m-#/--;-ͩ#&-ߩ@ Q-А.-,,,,,&-#Hm',-#-޶#cmp&-|&g-`,@$ +-ж@&-X--&-J--+-ֶ.-\ g-M@--=-.-`@--6-.-r-,-?,-,--j,+..-\+,©-@$andb=.#@%checkZZ-N-..-. -,,õ&7M,7 3&-ʶ&-,׷-$;+.@&ϰ-.-&!+..1- -@.,-.#.3-Y@./-p-.6-0,C&Nd,ȶN7J@-Ӱ,_-,, .K.C-,,2---.6.F-.5-,,.T--,طJ' Hw-Ƕa--.=_' -&--@$g,.-@&-.G-&-.Z.,%.3.^- -@.Y-.P.`-@.\+..c-]----,2.s.k-,C-ZU+..^.n-.]---,-.'1`-Ҷ'/-¶&--(@$,D.R@' -.l--.-ܩ'$+..',L.Z.- +Ķ@.+.w.-+--ö@.+8.:.-.$-@--B,[..+ҷ,l-E~+C.=....-<-<.,.q..#'\[--n-.'\-ܶ'--U.s$,q.@'M+.-'O+..R,w..+!+@.+^...* h-@.+.e..#$ٷ@$Π,.@'b+.l'd+m..J,..+!++p@.+..,@.+k.x..'.b-~.9 -r.e-, -,.ݷ.+,-Ġ+y.a...5..Ƞ,..9.H.--.ː.#.S,..+!I+@.+..D@.+...5.-.H !-'A&.*@_@.+H.Q.-+-,/.+^,-頩+\.7..,=.++.m,A.1.N--.m'X.+*S'\.++9n%.b+b+9P.5k...1.-'+ .+'fH%D%ϩ.'VB[%ө.'U<.* Y+'q&(t(t82.+ d+/.(x.+'y&*}*.(.*_+/(.*.a'.İ*{../*++&/ .ɰ*T.&z).-)@.ϰ&a.s*' &&.Ӱ-_)-- /K/C)0--2-&9+T/6/F*/5*w61)+**+--'.).+[&9/=&)*/)'.L/*U&./0*U*+f/G&D.. })L.-(/i/a)6-9.PK&G*/T/d*s/S*hTO)W+*w*+v. . '.c/*0O/ /G*s+}+*&[.@*q&*&/,*%K*/z*/s)i*/i.)m//V)m****ε-*[//[****-à*C/***ש.**(.**+(@( )~/)/)i*/*/*.F)m.H-a//&-r.K&z*//*/*)x,***.F.F/" )&`&$&/$8/B.^&.`-y//&-.c&}*//*/)!(sE.k/""&**/-k.b.b'.q.d-.r/X.t&.v)/.k.k*/w+++ש%#-/@(r&/)(t&/+-//&";&@/&//&ʶ@/&//*ש/r.* .&?*.x t (&(W&.@%-/@(&/&Ω(&//-/ƶ/&"W&@/&//&Ķ@/&///b/.&.-0/&-.&//0/m/&..-/ڷ4(&/)ܩ+V0(@(&ܷ0&ݩ0&//&(&0/{&ȩ//&)*&0N&H %&0&0&/0 /&//&''&0 $&˩/Ȑ&˩//&/0'/0&'*'0C0$&/0+/&' &PO-0/y' #e'0'e0/&0&06'"H604&/0;*ɩ+K//0-$&ک/&ک/0&//&'0DC0?&//*05C/ް.j'=..0V0N'/.&.=8'"+`0A0Q+U0@*ߩA...,b+0U,+[+0W.'K%D/05'P+a+*.'RC0Z'T+e+/̰'S*C0SC0_'Y+j0f+$'[+l+{']+++n0j0YC0/'a/ $*^Y'e,+v++///0a/0a/X/X&-@0 ,ué0 /)-D/+.D00}-.U/.lg,/0p0/0o-pk-O0*////)/)0t/-C)IH/@0%/A-/C.\00-̷.m/F-c0>0000/=/=0C/`/^)Z)X/+z@0@&Submap'~0.00K00=/Y0@&submap,vb00070\/S00̵/z/x/t/}/w)w߶0l̶ʶ@0D@0(/n@0U/q0-/s.0ͷ00 ./v00v000Q00n/m/m&ݠ.0@)q000:)s0 00Y.000#:0 @00000#@0.0006)/l۷@0@0i/0.&;.0@)0D00A)0600r.0¶00H#S09@00)00)g@00"000O(.0˷0h)@)u0E00F00500)s)0700i0쐷)0L0t)V0η007@0-!00.H000@0)h1 )&)-0y0=000A0-ӷ)f0.L00.N001(0-0-1 1,ש(0--N)t0w-w,1$-x0i!e10@-@)g0U0O-S100K)~0ΰ-ũ01-0g00)Ұ-0_-10H00b0-)0.o)!1#( (")00])0-%01,0V@0ְ0t-E-E).00120D. )f/11J0#00])[(711.@0.)!1@@)000 n/1U0.;1)(D0.!1[()()(J0-)0-)0,1Q00(P1 -!000. k01Y00.O1")ɷ(X1-m)!1^(,)é(.)(^00(a1"-)!11g0@)10-0 0!)C*=0}@105107/P110/a0:xs01:1|111{10101'10N0W0 *R1H@1@00I@100L00N/g110/x0Q01Q111,11I0H0H'/p1~@*L011*N0114/v110$0޶@1.110@1.1b11050I1^*w1(ʶ@1@00n@1U0q00s/1ͷ10/0v/1v111Q11311p160o0o'ߠ/1@*s/11;.1>1*w/ 11]/11/$>/@1.11ک1E-1)1 @1.111<1ϐ0D111k*1FH@1"@1011010/11/0/0ᠩ.1111~11R堩1)1111001n)ʷ1.@0Ͱ/:)1@1.2P(/1ݶ@*.1g*.2 1W/12.$t.@2 .v22V@2 .z121C10ǩ1P L01111*y*7*r1u.-ܷ1i. 1g1.1[21R@.@.{11Ns211J%21 */ 1*11$1., 2.2*0."21)1ʰ.*)!1ΰ.]*~1)*|*|1*}12,12-1ְ*1/ 1)*.1*1251.2G1߰.$1#11.1#*2=1-1)-$0-@1-1.1˩1Q2- 2[1*1,-R/(s0+29@+-a2S1ϰ-e-u+ ,2h.Ƕ032A2l-g$,@2g,]2^2n@2j,H22q-2 1%. 112 -1.*2g$),.21-11v2*-t22Z-..2q*ة1S-H"g2(0R2`@+.-2z+0,|2.0X2f2-$,@2,j221,n232o,n---@2)2H2-ש221N- 1B212L-T.*1s--2u11Z-/M./ /1Q01_2E1a-1c0|22-A01f,/22.2-21]/$Bool2@+andb_true_r2=À2[1w-1y02ӷ2-Ʒ01|,/522.2. $1s)0-/l."./91 -d10122o1,1E2210յ0122v1212C0122z1,12"2102-x1"01221)12210굷012©211v1)1202ѷ2)ש)1033)Ʒ01).23,22).32. 2111)2ک2111)12023)ک4)1Ʒ03 3)01ɩ)- 3 3*3 2 ).#33-21ĩ21212ǐ"t122o)221۩K)1ݷ0373/)ӷ11)-3"32- 3!2").g363%.321۵3E3$@)andb_prop,P().E313A-22ˠ3234)Z2߰1 12121)m@)b22:).P33C-B1222122 213F2 +3IC2@C142 3+22*C22˰*G33R3Q21\.3Q3b222 34221A232-[2.p3[23l23[32 -2"1.223~.3!///3b)1@3N@,-P3h.v,*n3{.1F3T3-T%*q@3z*d3q3-p@3}*a323.328. 2,)@)1V3d@,2*3~.,4*t3.1\3j3*%*w@3*t33-n@3*k3H3.322N. 2B)1j3x@,F*33*3C3*..-ض1r33*&*@3*~333*3M3*-.?*3*o(*㩵%(F#D@3Q!(*.K.3)Ҡ13@,f*3,h*k3.S133*&/*n@3*c33@3*^3|3-3f2-2v(+*..⠷&<* 3n!(B*3*Ʃ33(i)ة(8*-.(o3y2&!,(q Q23ՠ&O*.-3123V(T*33۩32..~32)J13˶@,*3˩,*3-13Ѷ3*&b*@3*333i*33****ʶ@3*34*32->213,@,*4*4 *44,*4-43^*Ȑ"H733*@3*"33*344@3*`4#3*~33*~***,̰*u3*43*3*3Ұ*34 *3341"H83̰*3*4(483*34****ǩ 3ְ*x3*x3423*z34****0+3**$3444424,*V4C324 4F3°*8343İ*:345****4L34 *J+η$344F4@o4X3ַ24"4 4n3ٰ343۰ݩ44L****4t4 3a4(344T*~**Ȑ"H94n43ީ44[**ک+4e4_p4&4b**ַ3@4$4B4p4jq3*}49r454q1d14->s1=*454S3*%4+4X44@4_4O4J41O1Z4L4**ة-Ut1M*4Y 4T4"***ڷ@*Ϡ2S1_*4V%1l*44[1*ǩ*u44v134*0ک4@)MapsTo_eq  *L190 <1;N4թ*P016444$43334W+e4+Ké4+5#4˷nlh4f,,b_3{c@]ө4F4XW4(URs4d,7N4Oݩ44֠4]4_N4J4Wf1 1*f5g4R14r144>44Q4334@4+4r+44++++-+4+44+4|+44++++244`++44+@4+y#44+y445@4+u5%43٩,A35(4+4+h4Ѱ+z45+|44504ɰ+k4+k5%554ϰ4+45+ ,%445043453444554ް4+,%455>4355R4444+5V44ީ(44Ȑ#H105N44٩,ө55=++3ֶ@4485ѩ5 5F2295n54"+4@5 4+v5d,5+50I5 ˩55W22 55Y+545+̠22&4*T5++@+3#2(&5&21+5[a5+2/-,4ͩ504L+à524A Ω4*+֩)+*25<*2w5*01*2G++2I+22K52|5I*15L@!%!y4m++2#+-04d 4s-:@4v4v325*+64Ƞ-C$4~221 -E(&(K)( *_*]xy5Ġ@52>*A12?0512?5555&54445Y,R5,5,,#K5ͷbd5-.Y4}Z@55(}5-7{k5|©55֠5F5H}5yɩ5v2 2225385955L5445@5,t54, 455,F;5%;**,5f$U*$54(Q.846(~,1I06345*,6 .5s43˷5g435G46 55C,50*6C@5%TT,:36@.ΰ,6~.а,6-1*3661-(,@6,,6#63@6/,5660%5ΰ40o4ސ5:%k5l6+5v6+5"5"+@5հ3""©,T4 6@.264.36G5h675I."C/ #  y5c_h@55 t55f"446CC55// 4m#Vi{@5556~6|5*5(/$/" 4{#dwD67,}456C6@#iffС)/56c5/56e6$4A6O6z5(5ֶ@G6@'and_ind14ۀж4L6Z/)56u5/+56w6.4S6a65(5ض@656~656&5B6(6656E56E6 5<6 .4d6r65)5ֶ@65665ٶ@636P656@/andb_true_intro;w=56Y6645)565695696 , 6J5f 5Y6L5h 5[6@(submap_1! A6 66*C5666I6gC566L6q,46@/m666/o566)4666)65@64666@646666m56%5}4666q@&ex_ind 5{66664$666/66-Ӷ64")Q3@636v63@636\64)6543)5-/3642/366+ж@/363/36n4;@/#/36r3- -i@ /36h3-n/3@73w7 3z6M735/3|6O3{-Ӷ/3~@7373|6M7 36/°3~6O3R@ 5V775/3@6ѐ-37137*3?4q7 3717 /3ͷ@%7%- 37;37436k7*37;7*7*66ܐ657.7.C666,57@/6y7I657"7M6)6|@@7I467P46667D7557-7%|67[67T47K7J6067,.Jw.lfae. g-]-Z.%R@55ݩ0363֩7`L7s5LB7b867b5>7L7w6)67Fȷ.c*.67}4')4G@7x4 674J@7{4674.76646*-ж@014(64:7&6B6\66-Ķ@093640ɶ0S3@c6.-0X4@r60E344m@x5q272724Y74 7E6a4J646V0l3|644a647760s4 @7a-3̷73ͩ73473770}4)@*7-4'74(735 7417777*6ߐ7X7nC1$7C6600 6c $Ҷ  @7@&Equivb%87t67@%equal_\b76886600 6{ $ 776 K7}*\7~77b777768Sh7.W76l6. @.76]7c77r7676a7g*r7h87Y77&77y6."57JkF870ja7y7S*7T87K77577i/7O77Y7|ж57@0Ȱ5^85e0ʰ48'7W588+5b*4ֶ@8&488-4ٶ@8)47805i@.E58 Ƞ0ڰ5p8&7q/#.688=4*5@8848/8?5 @8;478B4ж68@05875048J568#8N5*4@8I48@8P4@8L488S47756.k6#8115(8L5 6(868a5**5@8\48S8c5@8_488f51775789&.̶668D8o5*5@8j48a8q5<@8m48"8t4ک8 7(5B$7-6D8R1!58m51#58o5,6K8Y85*4@848v84@848785#8!7=5-716W8e-@15485]@18485/48485885 1V5h84+4@838-85 @838838?7[5W7O@1R48U51T48:51n4@838388371^384ɩ@ 8^888b14@8.3ٷ83ک838838888n8R5885985<885vB15<:Ķ@1485D1408i4˶143@84#838E847Ω138G4'@ 88//14B@8䐩.48484+8G84J888888頩9@(submap_2! A8<8n88O8_88>8Q8a8p889C77ʶ11Ķ 37 & +@87.i77a9.m9,@@$elt' 76ݷ19'98˷6@88ũ&P878@988999 88ͩ9794@#map΀8899/89+89"9288988@887898889)@8Ӱ89=8c988888R8|881918888888*?9H188889=9M1ũ1885V8Ʃ868689 189F8߷@6@5Z881z9I888ѩ9689968889\6888k<6685#9U888շ98ɷ8ݩ987*b9Z1#1888896199c8@9 888ݩ9r89RQ889k8թ9k8}88ٷ99 8H8&@9~89+939t989969'`889898 88۶@9889889998896l8899899F9&9r,8յ9l9889 9 8ө9?9{8999Q99q9\6i@9S62J9@9B5995996\685959Q96a9>89U66d8999969q2909a6j(X929W6K29,669 29]62926J99>1C55959&&99u&%29:6m9o96m909?9 9©9k5999K1P259#29!&%9ʠ9H&$#v9G59|96F9-9=999x69k9X9|59R996O9"9509ة96L9H996L99'145995719!85@959B69j95599576Y6a99596 6d,9h5 995>6̩6i555A6k69y95^9d6091O4694ƶ99599566o: 5!5b6r3c9~4ǩ995&66w6I5K5)6y6995Z%995\67X8d5B95F995a62(%"Щ76869°5;66ة0A9ư5m4/: 29ʰ5e6B6/7͠5u6ҩ9а5k6I56J6:<5p1@5F5F5s7:35h6R6R9D6T15L5y6V56:7C:7C0]7ᠩ/:&5,/:(5Q95//C954W9:E9:E9<9<9o97;:29ͩ:6Y2(:J229991O:S{15w85@u9ݩ:5Js9q9g1X:\z15*7:&5+9:5%:5)f:cd9:!5V7/85XWzw79aC:'5\[{9:l9:l9c9c9@:7C97f7d:(:}7998ݩ97k:%:a7:798b779::|9297 :C@:99:9n79::F:9d8_3X:8 @:N:N':J9j:@3I:L:~:1:N::3M::X::{3Q:\:93:@3/:X::Y::>:c::=3Z:#:e::::_::::s:-@:j:91:^:::K::@3h9:"6::F:5:~:)::n::i:::9:{:ͷ:B:D::X9::y8:t:8::5:a3}787 :9:Z:I::=:::.98:η:T:V::j:::8#3N:::@t3:8:t:pC@3:::::93'::9:'@3:::e:::3:X::9}9:]@3:^:99:R8f:8:ݷ;:@:q:D:::D; :w9:=:G:y:3:I:{:z:M;:;(6:;:a03:d:::h:::h;:::X:k:::3@3:];&:^;:V:s;::Z:;:Z:8l:\::3Ѱ8n:{:8:;3:l;;;08w:q;7:8:;8{::9թ8w8~:::; :3@:7B3r:;78:;5@:߰7;I:8:;%8:88p&788:377:7!:;C:8; 7W:̩:8%:;48'8;;\3:7K:ʰ7:;;8:89ԩ<888:3;7L:հ8; ;F8:89ǩG78 88:233OI:߰7;;P7:8D:Q778F8;j;3;+:237\LF:7^;!;]78ũ8'7^778)84;; 7e;;;$7:;,;h78ɩ8+8x2};;*7):;2;n78B78T26;7;s68f:/6@;56Z:w6688;;G6;B;~668R;4K66;6m!x8 2;C6; 6688I2l;2676678;k6:;*;[6;V;668;X;68"7 8 4b66Ω;*6!7Ϸ4;g6 ;b;68`16̷;6ͩ;66; 8e:6;r+;l;67 8j!8/XЩ9k78<;n7 81;r68v8v;Q 2ɩ;v6877h1;9z78D;}6u8N8N;:6w8P;C191@;6!1B;6!;61;1<C;6)!;1;;D;::;;w93;7;n;81];4R4T;t;vz;xx2;s3L7Tn:7U@l;~;6h;Ff2b2;q3U6^;6;;7G;6]<X4k;6tf817N< 7O<7$7/<77&7_808<4ǰ7(7a84@47%<+7&<$67\<7{4а67^;6 7<"i7.1 26#<76$<0674<&;6!7H<906,+;<6,7A<=!7z<,;w<,;<,;#;#;V@;ְ4;9};<9};89;;499;9);<:;L8N;8N;<*8;;;e+9 9;;;;4;;;°;";<2H;<<"5)4<5*)H;<4M==D4O88q8"<=4B'ߩ=]4D=_<<84=(4<=84)=d5&5"<=<<=(4c=$=m<@=7  =-84"Gҩ=s<4=u4C=484#T=8N74#2==d=A8'4Ko78'8G<<07v=m=J7y8=>=z7y8ߩ88<$<84%=;q==4=4=H=4=8<448=8=[4"R=4==Y=a<==4==c4ĩ=W=48ʩ88='4=\=4=8<448=i=8==|4@=s4=g=48ϩ88K=@=e4=ϩ=:4=o=4=y8b=4===4===4=T4 =4={==4=P4=(5h4|==4|;e4:,<4@=4z=w4t4x4:Ͷ==4w=> 4y4ש4>2=7==>4`;::5$=Ѱ4x=445;4>-54x444:ܷ=4{==4=> 444%=>#4;4: = =$4R=>*4T44= =>.4X:;!:6=-4*=>34;4;<a(:>M=>M=>M=D=D=w=5D>5$=թ> 56>R6}6t=kb=`W=U5W>[P54K=4ȶ@H=>4D=A5_;51>dM547>.4=>%4Z5>j/6ѩ>(4O>3?J:;=g=>p=>p=g=g=@>5k=5k>$>`5k>x955^C=5`>+>g5`>=>=>=5W=5t>3>o5t>E9<p5k5w9>=C>F8u 4$GD9>C=: =>=>==4Z@>8==r=}>=ة>D>=>V;o>=;o7W>>>>>>Z>b>>=<{7t>ŷ>>i<)@>;+>J=>M@7@>>C>4٠<]>>Q>>'>S>y>>r>@$mapig> >0>>÷>>I>>>G@@7X>>[>4>=>>>?>l>>P>> >o:>ՠ>g>V>>J>^7@7B>b>u>>e7p>˷>s>̩5 <><8>;<:>5>>,0;;>8;.>>>~>m>>a>u7W7Y>y>>*>|>>!@7>>>5!H? >m>FD>_>o>>8? >=>,@7>>>5.<9?>k>>XS>[>n>?==>r@7>>>5<<?>x?&>]>z>Ob`>><?">?",W? 1>o?>?>;@@7?>?5T<ؠ?2<|?><<~>vO><>?"<>>{d;<>}>?<><3?7>77>>w>u6E?Iq6:m=:@k>i7ޠ?9>?:5w<?U:?a:w:;Ƞ?Y;x>հ:? ?F:}<;W>l6]?a6:/<?+:0>j7?P>?Q5=?l:?x::;>:? ?\:<; ::;;>m5^?b)Ơ7A::;>>?Z<?89?Q8385?U?W ?Y6?7-;}>|;~@?_?`6?74:<?:?e{?f}?<y8r?ͷ?u?Ω6 ?; ;J8@8{?ַ?~?ש6?;4;@~8?ݷ??ީ6=?;@;;;]?x:ҩ??;@f=??D==?@@b\c?<>790@=@@Z-@"?B?@9!@$@n׵C@9&@1@@@-?M@-@9-@@8? ?!?@94?@?@>^@l@?ϩ@?ө@5@q?@=@-@t@?6$9C?@ @ ?@@@|?@@.>۩@v93@9(?@?@??@@?@N@?@`ȩ@9(?@ @@=?@@%=@Z@=@d]@4@@x9@@@\=P@Ʃ@1=@f@=@'> @)@8~}@@N> @<з@Ey9'@j=*#@?=W@t@=y@%>@'@7v92@u=#@J=}@@=}@=@@2v@[8`9*9*##@T= @@=S@="u@ީ@92@@g8l91<##@`<ҩ@@=`>9=.t@@<@@s@=b@m@@=b><=7@@<@d@@===pΩ8Qr@=8@?9h9_@VN@LD@B8-A1=8<8?<@4=8218A768;.:9@;1ݩ=7&<AU<AN!AE42@AE@AE@<@<@o@@9@İ>@A5>@@ϩAO@a=c@ΰ=cAA?>@@NAWC@:@A A\A^X_@8@2.AS@;@:5.s>@FA 7:;>C:= >@NA06AAa@IA6.:D>@A@VA.ѩ:K>@A@@@@@$@:R@b@!@A?aAoA@ȩA@̩A8At@AAC.Aw4@:aAq9rAZ@ط@.W@@v>9A>AHA>A5AAAAA'A:@ؠA@:p@Am>zA.)A-.%:橷:A٩A!A!A6A!9 =Y'ʷ@X=Z@ҶA-A<-@<|-A5<~AjA<>h>5 KзAAFAީ9<>;A<A!AK-ͩ@= -ͩAD=AyA=>C>E̩ͷA̷AUȩ"<. ::A<.!x!vAِ/<@<+AA<1ҩAA<>Y>R̩'ŷAĩA=*-+õAnAǷA<:@A<94AA<>`>AAA<ǷA9(Az@ܰ<AA<>=[>>kB :b:dAAA5A@8AA8=H==J=(ABA2A<ݷA9>AA<9OB :tϩ:vAAAGAA9 $DABA@CB5<@9L/+AA=,9b.aAA<9b)e@@<BA<#ѩAB<=x=K=z=@B-@ BBC9$A9(AB9(BE=J@|zA@B!BL9=BA9=$XAB'9B=^==`=A9CAB-9HBU=@AB%B9A@B9<AB79<=c=]=e=BP@A99BdAϰ99BB@99B< BYA9QB#91AAD9ABBJ9C=o=%Bs:ɩB 9.9*A9.BBR9BB@5B[B9j2B#B^.9B::29%+B9&BcB8n*BBfB9*u=2vB.BBABAAB @B9ީBb9ީBB9B>A.sB쐩A9ĩBk9BB9B>;9mACl>VBCB#jB8BBBBAA8ö@iAٰB=#BvB?BBB?BBFth@C;@AB;HdCC5*C3@@ B֩BԐCBC7@7B0YЩC CC 7BB!rB萩CCC4O7ƶ"HlB CCC!54XBCE BC(C"C*0\5ƩB"CNBC0C*C250dB*Cb@/fold_right_pair=MCh A .0 COC /2'B2.B:.CT2#Hl0-CYC9<1 20B='#C|'A%.D&CcCa-CLC-C#IHlIC/>C8DBO1-CBQCcC]Ce75B]3CA.^C}C;BB#H_CECYBdCCCF^BiC{CuC}77ߩBuCBqCC}C57B}.{8CC[8XC A . CC;CBCBHcCk6B!C'#C\C#CCCfC;CyCw"@BCCC86"BC@CgCCCC58 CשCBCwCCdCC8BCCC85BCBCƠCCȠ58B.CKCZCB.C{C,CᠷCéC3C3CbVCCVCCCC̩CC9CCm<CC<CCCrC{C_8C8D :CRCéC1CHCC?@3@CƐ.CC==DCC9;DB<t;CCCJBJDDCBD@D" 2Cw2`D2Ep@'combinekaDEEEkEV WWD8D2>22D2r>/E7:7@E99ְDE~EEmE: 9۰EsDCPEEDE%97ߩ9DEz9DEDDE@-at_least_left DDE29EEE<EEEhE19$v$IDE E)EE>99: ,2DE@&mapi_1+mDEEE&$oDEEEE>,EE/E;ŠCIEEbEEdCE÷EDEW797Ω:EEDE>K@>@EECE;٠C]EEoEg:8!:5DE{:'&ECEܷECEp:77^:.CEE#E#EE~Ev:80:4EEEHEːE]E<<@;CzEEnEEpE7::SC+E0C-CEEC(E7:!:[3Z:LC-EE.E.EEbE:(8:bC3E:TC<EhEI0C7CF FBE88 :lBE:^ E5EE{$>]F*EvE:<8":fCNEE[=U:@1<::AF E`E88 :BEtFKBCF%FBE:8ũ:BF:yBF!CZCZF:{C\EE]F/@'find_eqCcEdEwEEة1EEF,CEİE}E3'FEɰ888t:Ʃ:@EҰF+E԰:F?::FBvEDFPFHEE8::EF9:cEԠDȷE©Eϩ:FA⩚F_@&mapi_2+mEEF<0F_FXFFNF_%#FFaFP?EFE>@>EFjEFcCEFYEF:O:נF:RF_>E> FCE::аCEE;:F8Fj:B:F:%CEEEF~FmF::7X=lE88tF88·;8EFu@CSEFE FwFEF";[:]E; FFF*\T; E;C@F1c[[F3Eh`CF8jbFF:oC@F=9F?qiFF/vE9#CEvEp?p3ضEA3?mFFK;Aa;fFF@)combine_l/RF+FHFeF2F-FJ-;(F EE?3EZ3ɷ?Fש9 ;^3@Fi9HF©FkU;/:Fǩ F6<DF9BF(Fy;93;7FFF,FF@.at_least_right@F3FC;@F5FFTF'FFsFF9b9a&SFOUFFFF;1;49?F>QFTZFFFDGFFF%FXFFFF?zFշF}F֩=NF]FDGGF?F9;=;aDIG FCM=FXfF?@?FFF=%LG JFF;L9l;pFHGFe9mLFTPDG&GFLF;N94;xDYG FP93FGXFȩF;Z9z;~FVFFs9{ZFb^DG49FZFGFG>=O@=DNG,^FF9K;k.;iFgbEGCG;DyF9F;k;CG=D}8FG8_FF;q9W9VuDcEGO9D~F9L9R;DGIDXFG8Fh?GGnFF;9f;DGBF9gDtEG`GXDF>9c;DGD;9fGV*FF9d9jGN9iD .E,Gm9D.G;H: ;DGgD2;ѠD GXFGX;ðDFDHDDFFGCCGFF9GAG 449<A@GGk@;ְG~FEKG9FߩG 9;;ްFGF&.G4FFG! ;9FGG<EYG9F=fGGG;GoG&YF G"GGGG@>FGIG$@'@@FٷGFکGFG+GF8G@F޷?GuF9<79GA;G8G4<2H&DFG GGGGF9<*D>G ;<DGG;9?uH=5H:=MWGH@pHHGG=+xHa<;ma<HHLG꠩H_a=#zF H(=5|Hk;q<\3FGnG8GCFIH><I@>I!@>FH+DDFFIR > F%4 II,jIFHDDFpFII&BI_">3IT< >]5XIHG@Il>bI55>4EGODDIF@Iw>mIà55Ω>?E7FMDwDIFI>wI͠<5>IE.IH 4 F\FCDIFBMI$>d$II<:>5IJD>jI55IF>~.@'I>bEG4GLI<FIWE?I?@I=9EE>EJF@I95;DE>DJFI51DD>DIFBzIQ->QI66GFA@H6IE@Iɰ>J=I=>GyJ(@IҰ>ȐJ8U=RJ@>I8Y=V>A9IFIް>ԐJ*98a>ER5 GFJ]H 5% EF> I98m> A=IFJZAIs>ȠsI>ʠuJ=J6BFA"I51>Ҡ5J=~=R>֠DEJF@ЩA53:6<?,JT8t:JeI .JgG$><G:JiJ>G:@ߩJ6G,*"JpJGNJ!8:>AdIFAJi8J)8>A`IE߷I#J(?Jt>D5jGJDJH 5o EF? J>ũ? AlIEA I:JwIxJJIJJMJGJFCJJ?@J?Dԩ?#J?%J[ک?)AgIEЩJY?OJ?S?"A5G+Jj?8AhHFzJ H5EF?> JIJJRITJHJ}JXG{VG@C7JzRFFJ@&add_eq)Ű5J7I95:EF?ABJJJԠJ@@IǰJ٠J6I8J@JJJJ۩J㠩?A@KJrJJGJF?wAHHFFI߰JJJ?AIK&IH5E FNKA۩J/K/J0JJpGiFvAJJސ3KJ6JK lGeFnAJ5K"5;7J}JJ)JsK)Jj@+@JKKK!?:/JJm=K3J˩Ji7K5J,CSBBJCJLJ#LKOK>AJ A;KR#JJKKGJ°JK3FJH?ǠAH*EFc#JKKEK?KG:&J԰KKJְK KGF~K :.?۠AHEbFpB0BK*KXKRKZ::;JķK5K3KaK[Kc:x:K9KgKaKi::~KzKJ  KD K}JKK6JK0KlFũK2::é@AH2EoF&KK0$K@F(BXC< JKWKK{K@1&:KKJ;!K_K] KK,KK6K.KMK.FKO::ʩ@AHBEKKM6K#BuKQ4KKYK4FK[::@)BH(BB#KKZ#KKbK#FTKd#:©@2AH)BCKKK@\ ,KoKE©Kq0@?AGBJk @KqKKKK@m{KBBJސKKȠK©Kʠ@xg JĐKK BRJKӠKͩKՠ@1 JΐI:JʰKܠK֩Kޠ@ JאLJ26B}BBĩKK@KYBBnK4CTKÐ)BKBϩK K$KK$BK$/@G,BL BJ$L JLKL@.'JL6JX6BBŷBK(KJDKL JC'KJU@GuBC BK HCCBBL,BKmL,KwL,K#K#A@KְNKIGrL2KDFHIHLFIKHL5K,K,@K߰^K@G\7IIL\J~7$HHLCKU$CKnQ9L*K+K@K@@HIGiG@K@KK>ŷAKLx@KLKALLKL&>η8C_I,LG"@aL4??~AAHALCL2@G7pKK.*KLLOCFADL;@I KCeDyLaL_@K~L@LILgLLLL"LWLKLILS!GMGIYI`LHC}LYLL/LdLL%L4KCLbLLL:LoLL L0JC5L,#L#L%LLLLLLL͠L@@LLàLLlL.LLlL ,LKͷE[6DCK䐩L9KLL޷CQKKL%%LLaLLLcLLJ<L,Iǩ%/LLLLϩLoLLLqLLJCJJICǩDLLLMLYLʩLȐLLΩL̐LLM LKLMLLLǩLLLIJ^IMLLICDM.LsLUMLKLLZM3LLLL!LMJIIM9LѰ%LCLհ%LLMIJ CM1LڰkLLMIIDLM"IIK@L\LHD LILZXMSLCL$U JLAAAHD88-JHIkD1CCGH\DLMLIrCMTD=HM>D%LcMl M MGlI}IM^C MA3Aΰ5DG8H7HHȩ "M9K8M GSHPCD GmH D;LyM-M!M]IIH·CLV;HL2AyDisB5M%M~M@*add_not_eq7el}ID#D(HGMDDuHIJ9;HMJeJLMLMLLCU@M3٩M5?AJ8sLM MMJFJyHHJrJSMLCKC@MDMB +J\M /MPM /MMM=!@ MMBC B J[ dM "K 8 !JM) (M^M (MhMpMIILLLMrMMM@+combine_l_1:M8MUMrMzMMMM@+combine_r_1CfCLLF:"Le:ԶFMMo$B3 MʩwM ȷ ɷ%elt'' ̷KR@Br@BsBsLMF"Mf MaM@-combine_NoDup+mMQM`MMMMLİ s oMUMdMMEMHMXMMȐ"f'L ZM]CTB9@YMCKL `BBF[N@)map_NoDup! CBJN MMLݰMMBNLBP KBRNNȐ"l1 E@pNN LG@r;MMMBV MՐFyLNN@>L@@NLKgF N9B^.N:@+option_cons/IJ4N4FMM BoN'M9+F=CM K#F? NL@W.©K)2ZN0NR'0M$IHl1FMN-N'BM%BN@M!JQ<ɩ N`@`N 0G(J0INWFM(N:N4@gM2@iMɰNPN`N0F1NNNEN?@l@M8NJNDAMBAN]@NN%NSNMBXNuMNNMGJF #NAN/7ΩNJ7ЩM谩N_NYA#MN NpNRN"Ns"M#N6NxNYN"N@$N|M'N7N?NM#N#N%MݷNNNLMNMʷ@@NQNNyB~N(M,NN(MƠ,NMG^?N[NuMNT7MBNNN!M}0MASNENJNNdNN!NN$ENRNpNNA\N+NhNpN-NN!NF>N{NNBNNNNNNBBNNNANŠN`MkNNȩNDNdNNFNN*N̩NuNN,NFZNN+NNƠNBRNנNFM}NNNNXN[NxNZ!N!N+NN#N_N#NĩN#NTL7NlNNNGL3FANܠN;#KM@NNNN;"N@KN֩NNNN:M:ON?NM఩NN:ũM:LVMI F. O%BN1QF11SNNNBKKNNNא)NrL^NO&FmNܐKNNN&NKONNN BO5NI0ϩ ODBKN1a D31cNOOBQKKON:N97KLNN53KMɷM,ONENN%BcO@KN!FC1^ O`=jO 7n)D@OFNİO;O5=rO]KKÐMO7CBrO0N[O N;=|OOA=~OiOXKЩAC>O<NgOOQOK=qNI=sOOO=uO%OfKNGFL*1 #OO/O]OFPQEzOnN착OcO]O#O_O-OJOOFlOYNO8O,Oh=O>K0W*KO1OFfO;O ?OJ絷GOE*S/,/*O<OOzOWONvOONOO|OYOOFINqOPOFLOOZ ^OOj xOOOfOONO^OOD,FTOMOO9N'NO&OOwOOFuOmOFwO=O {OOOOŐ1H/OO&@OOOFqNܩOOFtO1OmOӶ@O}OOɠOFvO OةOOݐOѠOީOOՠON͐OOO+DeFsOZO OOROO%HZN۰FOPFOCOuP FOOOPFO{PP P>P GOOΐOP)FuOOP P-?O?OP PPP?UH~OOߐP P:F{OOO߷O{OyOO萩PPCFOqP'O@@OPPJFOnOh PL?X?XP0P1P%P?^P6OΩOlHO FOPYFLO~OשOP0P*?LO(?NOP.?PM!DFMPF PIOsOPZHP vO5JYPOGLWGNKH;OOHP3*PPXO@P PyP\PPPJPPbPfOxx $PwzNwPk{ P߷jP4:OOSO[PvPWP4 4PPP8Od{P.Pj}O̩DGPPP Oe٩PPPPiPF= FPP PNPHHqPYPW@OuO}?P@PBP`iPPjPP8P[PP?O?PSP?McE!GOP$ PP'PIPU©P*PgPoIP[PyP1PQPnGP!P PPPP PP@!@P{P[O'PP[O'POIPI.OӐPO?PPηG˩O1/PGP{PPPPשPRP6PFGPPPϠPLP\PPP^P/PBIKHoPPڠP,PFPDPPPP"PPPPPOPPPuPPPwP>PHPPPPJIgHP^P\PPP"QPwOPҩPАQPPPP!NbPRQ"P#PNdI{P#PNaHQPPxMשHrQ Q/MO@PɰP琩QQPqNIP2PQQEFPQAPqH-PQ$QEҐPNPQ,Q&P$PQ*LPMMIPQ ,PNHEQI)HQ"MQIPZQ MQSHPP5QgQQIQCũPAǩQ QGLsƩPڰMMطIǩPlQ :7NNHbPG51NOP0QLQ)Q_Q٩PW۩Q QLL.QQ: ZQwP#Q{MIPQ;QqQk©PiQMQAQwQqF%ǩPqQ;QwL-F LҩQ  QMN Q}F4QvQSQQةPکQJQLLXQߩQd QQ%QTQQQNJPQg&"Q[Q&QQMͩCFPFNzQQrQQՐ{PQkQKL̩yQܩF]Q  QQAQQ QxQ QQMJ2PאQQQFo|PQQQsQLQQ̠QƩFz}PǐQQHةF_KQb QQ QgQM,Q렷QF9QͩQ853R 10.-Qm,QQ5QFp>QMEJ^QQ,'QQ,QFy,RM QQQ˩QɐQR$)@QQR)~PQR.IKR@QQڐRR5R+QQR:Q|QթR<F  R"M2QRRFŐ@QQRIFI%Q QR QF QLRHQ3RQ1Q©Q$&QR](I#IERRIQ방R R7RdQİRKR[QưQRj$QQ Rl( 3(RP LI!QRRIRvAQװRR^QٰRR}QQީRG HReLgQIR/R]RBCQȷR9R7ReRCR<RjRDR|R4Q" RFRQR8R@QR2ROQ@RG$lR LsRR4#RLRJC" QR[RRERRQ= RaR_RR*R8RUR,ROR,OR]RGA04R5IRRQ6RD R1RU5R+R]R5OmQI#RRZR!RbROQJ RRՐFRiROnP Qa@RgRRRGR#RGd R IRQQHR~RI*IXRRRĠRGrIQRRI.GWIFRZ RR OZG] OIRjRR2RWSG4RIIbR2JHRRS(SG,R IR RQ)RS+ITIjRS -O|ORRRGJQRRIHGInR RR OG OIRQLKRS8NOO٩QrKFD>ISRiSR|SRRRHRRRR R S$I㩷IRRRIS-|JxuQy@sRR@R<fRdRQIS7yJGCSHRRS.S[hR&j@S@<RƩROtMHrmkeIIOSGRSGRSGR>R>Rq@RFRưFRSjoRSO SlsL3sSPMNSSES?GHR>SSDJIG֠PMERٰ SSJ RϩGܠVS"NxSdRv-R^SS^RS*&S3P_Sm4NCS,RS"S^RGSxNSXS5SkSɩRc˩S,SMN:SЩSF fҩSSSxSrةS8StSJHNKRSLʩRxөSBS~SLH N䵩HiĩSHSJHN<SLSS9H*NNDCS^ SNQ8RSRSRRIq@SOSeSYSBPH'JS SROS/SCR,ORCRJ.rSOKJS5ISjSStOSRɐS}SSCaRCcSuSCeSP8P:SzCRJ.SAݩSSSJJSSPvSSASORQSSS#SRRI@SffRPoKSFS=Pv=cS␩RjgSSCRưSAAT@$map20S\SkSSSST"Qr RSL&(4S&%LTS۩T@)combine_1/S`SpSSTTTSHozT SfSvHsShT SHuSzT T K 1SZSmSSSTR{(R[SsIzF?H_TIqRaFȐ"m00HHQkSSHb +HQnSSHeTAh K&S  T,JR@Sذ HSTD PPST6SްFHPSTWF\[=$FST>TZ@3at_least_one_then_f,,yPPPQ ST@S 4 SGHBKFS+, * ȐT2G "X0G SѐTG HKThTW@G@GG T[SGI@T H  GPPSTT GHO*PPPQST@T   TG!TOFIGTST I  [PPTxST!G'IG'>OPPPTSSTPT`T) *  gPPHPTTFַI(HqTjT3I)I sOOI OTTT;HIOXOOOPIOOTTSPT{TD OPIPTT(T  I0E7 FIH ST@TCSSI&T\H*GG}TTGS堩TZGI>OPHJI1OTTCTaH;&}OP PP%GTTfIJ4 P#PI=OINN%TKT/<;T#=GIj 5TTˠ@2TeT TIH=T~GHRA=TTiTT|HVAP@$TCTHP)P<PQKKGSҷTT Ii  QQQYgT{G1IGTũTA( PJQUTTH(P;PNQ Q]:TTjUQ_TЩTL3 PUQ`pT{T_lk0T2IshTGH}I:TTT2THlQ IOsUCTHBPUPhQ&QwTETT  Q+Q|ITGCTGPtQ2QQPT T TĩQRI@IIȐ"X1URNI CKA@Tǰ IT ۩ QRU%U5TͰG<IRTUFG@T86Qn88GDT QQR QTU1@Tڰ ( ʩTܰGKHUT $IHm0L7TT$ *U>Kd@T ITUV *QQTUTI=IQTUiIAU?`1Q?b8IETURQQQRTU @T  ީTILHLUT: TװU^UnJ@U  ST  U$SUPN3RS?S SITxɩRI@IU@IR4UU H,IQR̩6UH0>TT# SIoU8S^UlUU٩U5UqH5UTTrH8TU%$@U5 +-U7HC*Uq0T%T9#LTwT @UUURU|UET0TDUSYUNnRķSzSDSO ]@UA S9 _@J' U@JR\U QQUU!U\IJ QRrUIU~?ީOUTOTc/SIBUSUU)U@UuUHU٩RT(HRU)QQ.QR=UU+USUTtPTbTvILϩTEAUQGUUGUUUVUU FRSS}Rk@RlUy BSqRl@RoJ_CU@8 Q Q7U*U4UHJVQ;RV HU8Q&8Um0UUHURT-Q:QQFQYSIU9U"ooI}#oo'ILTieU~kUUkUũUIHVVUvUU lS,SSR@RU R@RJKUBCBLUV@JPRUd Q]Q;SlU\UMU d@U ~ EV"@Ṵ \V6U \UV WUUAB%UUS|U԰B'JQ=RNQ?URUI,AUUϩVSB1U8P8" _B5RSP=PQKQRRSVNUĩU  U|UV.|U1UU̩U  UŰ UV6 UʩUBIB|VVUNU VQ Vg UV UVVU@ @ jUU4VYUU0V[URNV$ UUiV  VsVbNɩUD UL VwM4V zU zV*VlU |VVX KUVIIhUUS.M@V yU yV.V6U {V(Vd NUV*DIUUSYVN } }V ~UٷVJ | cVVU) |VM fVV V"V?V V9Vu SSݩV;F+DUUS@VV7 VGSBVN  V UV^ w VVU= ѷVa IVV VV6V VMV =SVODF?UUSMVVK V!V+VO VVWV 2SgVY"DSUOVVV V V^V .SV`""STN  ҩVdV SiVf "SvTU^ ׶@Vd VRܶVCUɐV}  VVO)U  TVn өK2MjMMlS;P̐V|  SFSzV fe  PQM\MqMvM~QQV[V V6SHO?VN1 R<V VbU萩V  ۩VV S[V  SSVOLUǰ U VV KVMM۩MSPؐVF1 SkSjW   PR9MaMMMQRVVV  ©VV SwV  LSSRcOiU  RST۩TMSxTTVQ6TTTNS3VVVK T<TTTǠNR@VK W$@K VF.FRSIS@ K NR;MMQ/QΩVذFoKMN  MRN*WUFw0('" FyN/RIMMMMQ%Q=W=WR-W V)K ۩VFnFSSNDIKFONIV. ٩V6 QMw@VK ƩKð NQZ?MMWmN`WFiKɰMNW~Fm8 EMPWb9M FqN?QN)M{MMMWiN\@WKWFyKM\WPWK W# FRRWFM:QaVMԷDNy0M@W),*gMM֩KMWNW/F*KMMMMLMWN$WmW69 I߷L1 [NVu ʩV} NM@WDL: L  N'N#,#KL#.W[WWM ֩L#QNcW کWoWW#W  ީW  NSNu#3#>#]MǩL/#5WPW@W`LD ܩWc LG WWg#L; Wq  RS$Wm M0NHYNN7M@Ww32#\#{0LM#}WW} 0#W#b#M$LS#dW$WW@ NUWqL~ @WL La W  RRW@WL WLi ݩW  Lm#jWbLo#qWW #xLu#[WZLw#tW#~QRXNW#L "W " -SSL &W & 1X4O W+*L %W % .L#WL#WNO. ,"e21JmLLX X$VVV̩XX*LLX-R-L W  BR1RCX1Wڰ DR?OO JL٩Lא"X<VVзVX1" "XBL"L"XVOIL%W 4R1RILĠ)W  8SQX^W"R7UOWOWLΠ#WNXVW"OLLӠ#WO"ǩLנ"UL"ʶ@X "OPLݠ"WX "ѩ#L"U'L"W#XOPO<X"OeL#WNXtO" M"X ""㠩LUYL"UЩ"XW"OeXOqXWzWzWz@X-~~X/ $2vt$41/XWCX8 ˷ZOWt کW| RN@XCM9M O;O$JNM$LXbM.fXM MNO/cX XoXXN qX  O[Ou$>$]NN@X^MB!Xa XXd!M8 Xn  TS"OVܷXU(@XoXȶ@XrXܩMF X|  MZ#Xy $]M_#$`RSvXאOթX>MV X  =#OݩXߩM^ X  3Mr OPs I|K;M XW WWXMǷMXS*XX T(OƩP IKKMXWWW#tYMϷMYRةM X  5YX S OOYPf#M#@X#PM#X#$bM#YVeM#$gY/P OXȰP%MOY#P{# M#Xϰ#$o©M#j$rY-X>#PY/P#Y/X&X&X&@XٰWWX۰ dOHOpY7XIYWCX }OvWP;X  ѩX(TPOh@XMM PS/OOS4XHRMOO YnHV / 5OLYR 0 = HZP8SVOOOOM3P]@YM YHcMOYYAY Mޠ YHrHkTUKN Hu3Ph٩O@YԩV%OYY ϩ8%% OOYxöYXY! Y# @PXOзGP|O@Y,j%0O˩NOYY2 N%%6OON%8Y۷YpY9 PWY&@Ѷ@YAYN YK  ʩN%YWYI %-N/$N %"YAYPYRN& ԩY\  "PYZN. ѩYd  N2%CYxPQD "YYe T PQJ N= Ys  "!YשYo S$PYsSNW#P@YQ&$BNp$C@Y{$FPȩNO%Y!Y$J%#NU$EYPYPNZ%+Y?PTYQ:$O N$PY$R%.NtaNe$*W=%3YX$bPYPYXXX@YVHHY%P (@1YY HCY>rƶPXqXTP(@YNrNsMPSPPEiYzNyPIPZ.~YאZZ2PO 4Z!LPQ%P/PUPn`y@YưNYɰʷZY̰NjYjUIUwQ'XDY@YװpZ0@YڰRZDNLYݰ[OZ6Q4Y}Q8Y~Q Y`=YaLN_YZD@YYYYZFYީY|ZHY?@YYZNY`CY9PMXUjZUYIP^QIPàUV{NIZIcNʰPQ  DPUQFZeȐ"o0ILO IqQjZI{3PPPPQ`QfZrZN߰PQ YPUZ3Zhdc!cY!POZOQZZYPݷQZ.IIX^XQ'UX*X5YTXgX1X<QU5YZAWXqX;XFQTYZ@@O&1QbZΩZnZZ&7 ҩZ!ַYVũ&=PZPQZKI%YʠF.&:^@ZVZg#CZi.O-PQ` PUBNBQéZpIͩQQQ$Q(QQlZTXP@Zz˩PQQQɩZ~Cɩ&PQQ+QQQ @Q@ZDC&PQQЩZ%>&p&PQQQ2Z)OSPQq[-B>=!/YQPU ZPLQQZ$_tmpQkCZMLO@ZOmQaQ[Z[OOr%QqQY'Q٩Z) O#[ZFZ'O['XaIZ[8 Qu[-Z[ R"QZiI Q9QQ{[3["QZ̰DZ6BO7C@ZҰJ$$Z԰H+Z?O)CZٰJ=OQQթ QVKȩ[TJC թ"!}JEY~QPo[?PU(YCZJjOQQ 'QVfQPJUJNP[iJu 3  "6JwYةQPJ_[TPUCZJO°QR <QV{RJ[{J E / ."HJROV$QQQQRgUK[cC4FP[E[NOҰRKV~<JMPJ[JuOܰQR VQV[u0[J{ T%$"`J}ZQԠP[~PU[[Q޵YXYR.VǩY$Y/ZUYaY+Y6R1VZ[;XYk [@ PQ[Y@ [Z;?@[7[H  UR[UZ%Q׷@Q̠@[R '7'VRR[V r'0';'ZQRhR[ZP'^Rp[  "Z^֩'dQ [QR[R̶@[lP0'QR$[ "RgR$jC[tJѩP8R(Rx R*WPLR,[^ [V[Q@[R/R6RUũ[JR@R@[R!R:RR[Jz[JPWR@R~[R թ\[C[KP_RSR RUWPK C[K9PfReR֩ RgWMRQeKK+۩Q\\"KD   "KFZRrQoKK\ QfWCCX[O\[Y\[[Qڶ@[VЩ[HIP~WWX WY[Xʐ̩\7HQ[>3 V>5#XHUX[`W/W6WcWAXYk\"[4C[ΰOPWIX\GO[>ҩV>ԩ[ Z[\O[˩Y#lOY[WLWyWWWYYZ~C\Z̷ZʶS9\[[P*[Z\-ZZ׷ZSDu\)[o[Ob\MUOзSOѷSMQ\2[IP[T8\ @:@8\HW0\n[ [T[[ \d[[T\-ķ[ TS6S8[ީ[̩[T\qĩS[@[T\ Q\T\|SW߷\F\T\*Q\ TZ\VZ_z\k\4trQt\7K_QK\\\t\=}T S\ws[xNQ;U[\@&[\6[ةQ)|\\7[ՠ\JKL\H\\N@BSKNQKKԩ\UK=O\\S Z/-VڷZ(\]""^\\*]O\aC\OƩQ\]B [\\\\\]E \\\\ > <]wB$CCzDZx\%]V/r1\ܷ/v/V]m]2\@"or @V RV QTQ !\\\\ݩQ,Q̰\]t]"RQ] Q]f\ՠQӰ\]k\Qհ\]m]#BAAAA@@@@@D@#,V-]!Qȩ =\\\\]|],V@V\÷]\ĩ]Z]D]\].O JZ\\\QZ]J\Q\]L]'\]]\ҷ]rTQQҷR4Q֩]>O ZZVZZ\] w\۠] yR;RZ]U]OOR?Q]IQ eZZaZZO]ZO]]]Z\QZOC]VQ rZZnZ[O\àO۩\ONC]_Oߩ {Zw[[ \ON <[]]*]s]]]BFVZ@VO] ]] ]]]]]^?]Đ]]]UO/RiO]sO Z[[]R9Z]j]]Щ]]Rr RP"RtO]~R ZZ[#[*]٩RTH@[,]]ܠ]8Z\R"[3 C]R& ZZ[1[8\P],IC]P Z[:[A]1MT=[C]o]]^]R]]b^ ]A]T]d]s]]^@&map2_0+m2$]H][]k]z]]]]^^.$1[/\]ɷV0)2C]0-/̷V^$]VV@V]|^"]}^]o^^ *]T]^]q]]]ʩVV^^,]] UrP<ķRP@]ǰRg^  [l[s]c]m РVVV RPOPwRRk@^?[v@]ְPKRZ]]Q^=[]^D]~@^H[@]߰P^9^DZ]^K[@]PYRZ]٩ Z[Z[^BR[]]VZ][VZ]]^I][R *RPRPj@^c[,@]Q ^d^_[]^f[@^j[@^Q RZR֠Z^]^iZ]^p[;@^ QM %Z[[[@ ^eWZ][DWZ][^jN[)]^[K@^Q+(VUp^Q/M-[S%'ATdZ^Z^Z[^[4^^^]RtS[^"C@@4@^4QFMD P[[:[A[k5<+^^[O@^<PRY^[I]^]طV^[K@^CRSZ^[]^[\U^IPMI[`R,W\[][eW^[U][T[#^[$^[']^[^f^^h] QfYC@#@@^_PM_ {[e[l[[wRhS\!PQ S^S@^[~@^kP^/@^[x@^pRRl,@^sPMs [y[[[Rq^^Π^*\^W^[@^}PAW=Uԩ^PM[R䩜B;9T[^[^[]^'^\0^^^]RNC@@'@^QM [[[[R7^x_\>@^QƷW^_ [ն@^QRķU^QUͩ^iQM^]QQRSQ^O_@[^G^^AR_^^=O_ C@@@^Q*ѩ [[[\ZS R͠=^T^^ҩ=\f^^ԩS^b^֩ 0\j^Z^d^w^^>=^f_8@*map2_NoDup-j5s \s^c^m^^^^^^_3_",$\u^e^o^^^^^^㐑_U_S@@^_[$Make@_m^-_e _U_C@*4造_Q@$thisy]_w"^"_x_h@%mem_1.P=_e&@W:J]_5^5/@%mem_2.P=_?@]Iڀ^b_G^GA%@*is_empty_1.}6_Q^QK/@*is_empty_2.~@_[^[U9@>.88ʀI_d^d^B@>r.88ˀR_m^mgK@>9.88̀[_v^vpT@(remove_1pQ_^z^@(remove_2p[_^h@(remove_3pe_^r@>=Vn_^{@>=V_^@*elements_1Ā`^@*elements_2ŀ`^@+elements_3w$)i`ķ^^_@#nat@_@&length䷀_젚@`m`@4s=^M`7^ܩ@&fold_1=b€ѐ`A^4R]詚@'equal_1ELՀ`^a^b^S^T`R^4c@'equal_2ELր`]h`[@@'/`b@@_(@%map_1.O!`E`U%`u`s@@'G%`z@@_-@ @%map_2.O"`d`@@'^`@@_DW"@>O.``@@'t!`@@_Zm8@@>OD```@@'`@@ǔޠ`@@_wq^ķ4Ym^!@MŶ@MMƩ[@&map2_1>OxS$`)`F`c`lXϩYXЩn`J`\``┑`@@'\ `@@񔑠 `@@_*5+Yη^J)@&map2_2>OxT'xF_Ա+