"`nRB .u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>$Bool#Coq@0j 2cZ`FW*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@0KI2Transitive_Closure+Wellfounded#Coq@0#V"px \9_6vUHX$6D&+РD @"ex @_/"y'@#andЖw@"@"eq @tGON`^Ih@@@@@H+desc_prefix @@B!ax@q@$Desc1yy@{k}BAy@@@@@n)desc_tail @@C&!b@'# @/clos_refl_trans -@ː@@@@@(dist_aux @@D޶ڶҶ@Gݶȩ@m|©ySkΩUm@@@@@0dist_Desc_concat @@E@f˰Yl@@@@@Ǡ(desc_end @@%F~ X @zW[@*clos_trans4 ;@Ő@@@@@蠠(ltl_unit @@FG6420*(z@v@!թ=(ǐ@@@@@ 'acc_app @@gHWUSQ"x1K"x2="y1_@"WfR@#Acc>b@A@#Pow1r>5<KH@'lex_exp0,)>&Specifk@#sig#* @ANzjI@aH VOY/&I"y@@@@@Y*wf_lex_exp @@I@F@,well_founded8EE@@@@@@r@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@"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@,&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1[ZY@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ-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>I%Logic$Init#Coq@0\͉!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&&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-SetoidTactics'Classes#Coq@0S_`nOU$&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@032 Q@@A@#_18@2ӳ@A@@@@@@@@@@#_192M접&@"2ӳ#_20'`o@0@,2ӳF*type_scope.function_scope*list_scope@@@A(+.@2 Q@@A@#_21[@(@If@A@@@@@@@@@@#_222M접k@(@If#_23'`o@u@ (@IfFEDCEG@@@AjmpX@2 Q@@A@#_24@!"@A@@@@@@@@@@#_252M접@!"퐐#_26'`o@@!"E@@@@A@!@ 2 Q@@A@#_27@$W@A@@@@@@@@@@#_282M접@'$W#_29'`o@@1$WF@@@@@A@@]@$2 Q@@A@#_30@/'hl@A@@@@@@@@@@#_312M접#@?'hl#_32'`o@-@I'hlG@@@@A#),@L2 Q@@A@#_33Y@W.@A@@@@@@@@@@#_342M접i@g.#_35'`o@s@q.ECBAC@@@Afi@r2 Q@@A@#_36@}D+r@A@@@@@@@@@@#_372M접@D+r#_38'`o@@D+rF@@@@@A@@D@2 Q@@A@#_39@/=@A@@@@@@@@@@#_402M접@/=#_41'`o@@/=G@@@@@@A@@Y@2 Q@@A@#_42@>%@A@@@@@@@@@@#_432M접"@>%#_44'`o@,@>%I@@@@@@A$'۠0@2 Q@@@@#_45`@"@A@@@@@@@@@@#_462M접p@"#_47'`o@z@"CJI@@@A@@@/3ٕdž6m@A(CQ#mhC>6@΅We:!'s 6@ b(ԳFAEӘ 䣄oo(!A@#leA@A@BA!x)Datatypes$Init#Coq@@$list]@@(list_indjАC!yD!z#E@2Relation_Operators)Relations'@#Ltl1r8@F4@#appʀ&BDG  E%( $2#!@"JA8V'X!H/39^5Ȑ"H04BBEDBED@@@@@@@@@@@@@@@@@D!lr&t$@OH;@%Logicz@"eq @IrT@JxEhKI!ad"x0'B"(W|"H1*!B$b&T4%"r7!"<9@&eq_ind JLuPGÐM N-U+z !eA@B@B@@@@@Dr렛i@%Falsee@@ @쐐Ot@$Truey@A0}@)False_induُ6xkͷ!bƷn"y0iZg~"H2YnYXvWtW%=yVm7}7:)P֩ RQ)OOQkiԩDKNc@@I[URfRTTSU(۷H*Y[ڰ˩9BI߰8G˩jש*Zư01HFJ>H*/eѰE V@V@>Eo@ rr@;;dOA u"FC@ptzdvCCtixTT z0.M@{fp}.hM1k3A)8CB@@@xzh@C}E8G:ɷ,S$HIndV@թWյ_^]/_a~lWmR@OS@g(ͩ=(^*o@n'!'F#]a"a0kZhzCdPgðiշYBWBک@;]@xаBfT(>4)2!@!@,jGݰI0u-s-/wZb' 0ȩ$ibF_0AA 5   r|ਗ਼@'f_equal=kiDSOR'Xְ- "~Tbη]e--/u.1k3y%@\t9@(eq_ind_r!2#UB@zVHKTpW߰\.tcYX\7 `"b *eVg-$oK+Z(0f-T& (E\+4[09÷dB7?G2ːx>-;n 9ҷ)Q ' ̷V, 4\2KU rNu?mj\M}{,Ƿg@mok] tCK}d׷ڰFr]#Xz4+ obϩb5֩ oCnpCC~CCxx@°  ,@ɰ// *R©2 =C94@/#7=bd5,;fhsqomgeKNWINLlGJ@E0:t92Zx@"or @Q<d[@"ex @䷐"y'穛 @#andЖw@ pZ lj }xusCpet*BwblP&. /+ 1k0A: *A9Ay(EC@ĩwȩP$HPBQ@M+S+$7^{^]@\ک^ީfSb`WZXXeV©VX^ϷMrIcrDeǩgMf?@+@ @{Q.lİ0tǩ4YptbMհ{  "x1`r[XVsV!uXZAW,:rku  <msð)S L5˰$ "Ȑ"H3|z\ )']۰#' 'e,".-0j2$|Ȑ"H4uD<@@BR2ְ8J </SDca"ZfȐ"H5!&ad))tFY%*]4tR! x>A9408n#-(%'طnBwH9%ϩM#S:'H`Wv-|N/~8kcjɩ9egiaj_lfɩBfhjruK{ΩM,fV$"ji-++bs0t.yufЩhݩr\ө·@o*np_r.v5\LF H֩ǰN)H̩ࠩ+ҩܠ#$Ԡᰩ]]7ة/n? 1pޠ@GA:wwww#`jѩL{}fҰ[d<-װZiٰLEu ^@F^C.D@LL Tl<O%p$@&fp!  &((po*q,3ݷ[/by5yM tllmطCV <\F#&<tzé_c`O,CǠ/+LRHȩk7LW$LS7^ѩOO]I8J@U10HG d/L2143`gb\Zg=+?-c/m1Brl]X] AҷBQLi?PSAwѩϷ{Щyͩ\wƷ{z<詷wdǷȩ-+@&or_ind"ct/"H6 zq)שթΩ|>@&ex_ind 5{  ǰݩӠ"x2"H7 @'and_ind14ۀЩذT^"_2aߩ렩6   שᠩj_ǰɰ<{L }"H8&"H9T'g`Met`a -/W bFHiAy  }%:'q&)s0-*.(5! *T~,~.X02:/>EBBW64FP͐n7D@@P&=?`C.^\VTa7Xi&젩V4ȩX6CT˶{ȶ@yP@jylMnlrSn֩r{syOͰs^uw{ x@$Desc1yy@s# B@AE@AE@@@@@@@@@@@D@ 6@7&?ߩ'E穷ǰ&1ַtSSѰհ0F^ܰ#(зԩP$List%Listsa@0app_cons_not_nil.Īz0t@@D@c|?а:T  ְJ5;&ܰF4SKt9;  s:  r # g ,*C"@&eq_sym X o0.QI@+app_eq_unit7N% -vD1>-@ 9F5H SBAAAA@@@@@D@]JWB Y/J1aTaLc а$頷]BBB@@@@D@gt3$vL)c(N+o* -3  ˰ \?ֶcéaL԰eB@ǩj$ܩlOީé+N-ީu/`|z"$_tmp"Ai6VL@SxAUEkA?P!-=JG[G2UKK*ҷ @)clos_refl.62@9UAکZ@GݰΩ$Ω&G@멷Q.ԩ0HD0u8:L˰?>} FHKٰCL QSLW[]Y [)@Sq jtjln0qpz_!v&"VN@,app_inj_tail2?wͩAڷ@:Gz4 M۩Ӑs +ǰ4@dkѰfm̷԰Aũp)+@vթg    @'rev_ind4s؀ p@d װh ǩ@/clos_refl_trans -@a Ʃ v &@ .@ / ک  7ש  ;  ߩ '   lj J MW@@dS PdP R Ұک  X ذ \- a dyѷ f is@@o A 1 ppZ . 8 t 9 S 0ѷ ) \ xѩd @ }Ѱ cj ɩ G I jڰ cܰ F O੷x ϩ Uϩ W o k  ] ;[Է  cթ e w j  k  (  ѩ N .ȩ u w z  r&  %   9ɩ ɩ  {  C~'  ,    K  > V m 8 < (  A ( ? 1 H NƩǰ  S 4 OiN   = թ k A  :  ] H 3  L ! / ϩo |  ~ 5@w  ˰ E \ ?( ϰ* `,  ?թ _ L ~ G   Q  M5@  S   3@ ˩ .    w$ , ۩   ;   ީ         K  ΰ  6       ? @ ܰ!̩H# 5 L٩  * *ܩ ޷   1ܩ 3 5 İ 8Ʃ ư(ȩ Ȱ <;# + Ͱ/0 @Ω B9;4  $G H ,q#K ܰ% O' =) * < 8 8  :  G< \= ^? A  > 0 e0 g2 4 W6 7 9 ; (=  Vu w9 yy g{ |7f :Y Y< [64 ] _8 aD: g Go o qK2 !s<9 #uG:CB@B@@@@@@@D j@Xm0 @ `S 3EU$  tOv:   lO .W  oc ~d Z_ fevf       ΰ  _    g ڰ ܰ  m   p  r  h *2 ,$ |.& ˩  '  5 7%' 9' ;!A'@  G   = > <   F İ 3Z M    :;a c V e g  ٰ Ui "k $m a o  r  tRnv UVީ 2" ð$   n : <#% Ͱ% ϰ@ (  'l װ) J ۰  =  - } T} Vxz  yz D  z | ~ { Q f h  i   Q J tNP eJ T 4 { Hg ; 8 0B7j  H g       @ GW 6 6DY  9 ΐ 8H = =     p   <  #    ݶ@ R \     ِ C ` <  f   B   @˰   6     ^ L    հ n  @ p   r  t  Kз  j@ e k @ y B  O f ة ° h İ j U @ l    ]  | V [ |  ΰ ~ а   g   } e   ذ  ڰ    ^ a  > b    1   T  w   u  %  }  n {  ) .   k k P l N  f G 1 b  f  J 4  q  p  s   u  w  <  { x (  w u d x b  [ O E   t  T F  } # z       M Ͱ  *  ; Ѱ  (  V ԰ b  ة  ' ˷  (@ ڰ   ! # # % OJ ( '  ˷  6 1 * 6 , k   /  V " 4   7 6 6  r @ ^  *   x ; > z 4 z   b  Y 緐"l0 ķ ֩1   d  kl   H   ٰ  k 4   O  Q  r   k    g    P Y ũ [E   `  b  z   v ^   i `   ' j  l  i | |  }  q } s     x ~   p    )Q  6    : r        ~ I   F K   3j  ɩ G z      !  Q  #  D  %  <]       [ -  N /  J h  7   J N ̩Ͱ i   k S : m Qѩ h o   թ   Z `ٰ     e F  a  ; ^ K ~ (     © Q   S    i    9 ɰ  Z  7  @-app_comm_consbS  >    j X  h  " ۰  ݰ   n   p           b y  \ {  X +      9%  ;          t   n کC       ʩ !     l   ( '  ) 3  H ٠      9 @ ᠩ " 5  ~ ư  C. Ȱ  * ;  -   ? -     ~    G  F  mG o8"J  ;:-$  ɷ t=O   R  , ,  V.  0   3 > ]> N @ =   a9 ;   =   "A iA l C \  O _ Q #  N   " /W e 1W T ʷ@ * 7I Z I (  ;K Bp8M Z    B= B_  7 < (8 h+; -  /r "1  `4 y  vIQ ,K + Mw 0O T H oCS O "   O U   U R Q  b  8@ * ; o @ k  [ e @   Bǩ D y   w  J  z  <  cs{ Bة sȩ X   ̷ݩ  [    ` t R   e y n  ݰ n  © r   s v d x( )Ʒ  ˩      w wv 9  ; p@    &©@   C       SZpI ~S@ Ȱ CC4  '0O  ?R][YW.O!DC>Z\,@(Desc_indi: <E;?_:C @  K,%ik ޠV )QX +olMPH  %9<vx # {  %@*app_eq_nil3cБ^g  b  m @  d ީl  ~[ l9  %  C d g@" `      ,Q+rP0 x >   \6  }   /     gA    .VuOW%}lȐ!E34,\4 +ݩ[9 -S j WUd[ʩ:[7 ]jalc=$@ z gtebvgөLgf o|m~ol umqʩos@ \Ubyx Q}ЩSh YV|Z©UrURW$޶@=yVU 7Z9\ԩoonqpթn QRKK M C .Q0SGȰb%{z' 9\ ;^#`@Be[Y[.`q@ Ѡް&R7Rd 6L@D>3@6/ U<>>} hNӰPM<(_Ia 8:46 D]di_2? ѷ8yLU$Hind v@_qa   G'nps}r˶T4ĩ{ĩ}-} 1y"bBܩJk W۩ZީPCW֩n@+app_nil_end!ݩ])ߩ%C WϰѰo 4հC.Z^ds  ) $IHy0Zz* sfַͰϩϰu`CӰհf ܷ ȶy ζ     ,t  v   &  | , F      2  թ ԩ ک j I[1 ? _ Ea  1  , 3   L5 13OQ ĠѰ 57Ӱ Ul@ ٰ̠ ۩  , $;:߰ 'E L  8e  ߩ, . 1  @ D Z  qG (OCIv  vC 2 c ?e2 1Cp4 j"I+ڰNdMO p j  {v } Y q  ;b8U fhj~ (! *L8suw!#| + % -C9+-s/b 1H ũ24 _@1app_assoc_reverse;;N*?A(C K*Ey Mye%KM3O 5l,b 79<;o>=j?BA`b-dvB=h Nj PGPİRưTWV z # \ "@  ݩְSgUڰWܰYm[ǩ]   aݩ  c  { s} u- v   Ω     "  ԩ ߩ  |Ȑ#H0'B°          U Ƞհ װ  p@ Рݰ ͩ$   ؠ P  Щ R  . 0    İ  5t Iͩ , Y ! .   !( i E ְ.+f@]O cS }x 7^ )xbdpgWx G'np kvx: ,  =r8  Ωn!T#x  E M o  8 H : - <Ii@_ߩ qBZ Ұͩ ԰l DY zð q31ŰǰX{  ѰbpWذڰ˩k  #% Y' +  ǩ^+f 2b D@  ! &ީ (KI 5*  9j֩ <ͩ Ʃ   b]qda "a%a:_4a_Ca_aljhf`^DG  QCL-Ejl0@(dist_aux'hlFL6HWsuWsޠL~|zs_xYU@ lIXHKٰMb8ZO^ >\@*clos_trans4 ;@MWfl:  mso~<mqw Y KЩ fushw WjyEydnfT qI7 8#@$@2)@7 0$(?3?0-0E/pD 1 J   ; { ՠ߷@@۩* A ڠ[1 Vܷd"b0XЩZI/(j#@#~o  sIҩK.ͷ S֩U2ѩη-+ y`ԩbީ@ vY  I. c`^A}DD°éljMN\Pа^ש԰% ,Yװϩȷ@ݰ$.J$b  ' :3s  j ޷V1   35ĩA ;z=z>zzz&Zf)Ӱ\eذ[j 4ްwMcHOcKS]_V[nlo*Vfg-Tt'a%v)֩96`qa@.M ζ@1:6=/08?[J;s* &J' K(QBDDg?GvJ3 S77QQR^L.֠ :La1٩WY CUSVj:N_FOm-7[je]lQiXip l\dlzAfUB@r ߩ7 AnJ ϩz    IŶ wzηG Q Q  @  @ @ ~6 w   "a1  ͩ  x x  u # ֩ II  ~  ީs @US36K@ B@ 5B<9M9 G J  =6$׷Z   :) 3  Ʃ°  F ȩǰթ Z K ѩͰ ] , R Z+z Ux ,X[p@ `@ Jga X^r^ ߰ 4 h8 V j٩ F T l ljQS] ?  np  ۩Ű NW  ٩ʰ M\ +  M &. $Ӱ =G ' @ @ Z $    T @b  M     @3  @?  )?^^E e @ &j@% G G+e""k& QC@' {Z  wFDc2 }\ uЩ LN*P uERR0(XZ6O.OQ1iT@@LP 7Z"NRX Ѱ[jAX^?Z©\. s۩ \`f5.@)/@{ Q lİ t @ {5Ej@$:`=Ӱ?!g! émdDB"%/@@<+ze,@, 5.qRjl2F ɩ> C -ԩŰ$z vvtRVQ,e# {_ݰ4 !WgV.9/x" Wn?9w=-@B3Ӱն6ذ ;3M RUgFY7 R#Kh LK>f3"zesstɷ4oGo7J [-{ [qxvyշ@SZSC_ ~+ =-A^uƩDjRV-W@JG]yGϩF2BJ_Rd .Y aAbBKviR >NVmX4Operators_Properties@)clos_rt_t#iK[cx`wM]z##U)##*O%!sƩI޷`xN 멷~ѩT7ǰAX-+S R`ũ86RQk' @~q{) ֩}ain 8{ Avѩ° mkNQ Qϰ (!y"wZϷ[ ]ݰ̩6&f  @1 ƶ@4©Ű9'G { )PDհW %@^ @ 5tU 6  1@ {     "a2# - Kf >  O'& M  G0,  s >   4s    { 1    :  ?>   3   Ȑ#H10ɩG / ) ,   -[SR{)JY~Nk 1 _[1 6a& oߐ@@䐐l H E J 2*YeVzX  {z ϩP H: U  詷 m[ @==0>a f B"Aiݩܰ %m W9rGܩI &vK {?k={=@f'mkon MuRRTfdϩ?FI^@@DWQNbNPd UfTķ=G ک) d gXZکٰ Y a8Aް 3 g7F U T T.=)  ѷ n L*4p w`ͰӰCUUNW©ݰ g d@d@OVv @@ O O ee W  Yl@'gps@.թ' :}v%ᐩ @)desc_tail$W-17ĩ9Ȑ K'ːԷзZ5@ö@ R^NޠB·˰ѩ4AL̷sƷװB uGwʩyiPoj@@}>S>tư@A@=7=x }lzdUvbyհ{sToPKmPR@d8N%tQS*&:&7 7x-&JngKD"  q {r z8GŰ Y~7O䩷Tڶ@ְũ ۰ҩ$޶ҩ3 ة*,Gj/ ȩİ8ȩF."ϩ7ӷ.~ 1۩C:X۷W A`2|Y YZ@7i7;o,B.c !h  0L1MMm}%:'Iq)A M rBXw"yzb(%9h<.@/*˩I%ԩ)f~c^u9v@V?AsY[ 4ЩKTn7_~NpfqghbCln Giij)tn3uPTgU{}lũYqW|HmI@Veҩ԰שgfHnuru%ɩygɷӷ@ö@ϩ X@  JL ?'зԩط2Ȱ0L nΰ?  { Zik^ܰ J 'pݩrige.oܩqiBbC[aǰaZHUc˰WͰY ۷fQҰ<s!qr @f@nPx42!t$O@E@r:_~:DdyyE&{GJ*!ts_3 $s|ũ (AJmAu.Glfw zN$)?s|נ٩0ݩ-2>mYRZ̩bG8Ggu=שmCIw{r~RFhVqwk9\as}Idvz6c8e:|jx_L?M=J 5@з@<,&`#7#%l%Z@@ }|}.q77llr77ll@@ܩԩD C0*#G@;1:ζ@*.jhfdK\E"y1 "Wfa@#Acc>b@D@#Pow1r>5NTK@'lex_exp0,)>&Specifz@#sig#* @Abvmd/bMVYh+@'Acc_inv2M(#e^hw}#Cy*'@)proj1_sigY$ &C8&5_Q@,well_founded8E$N©A@'sig_ind5π0Li`YԷةpAid_h jϠ٩o@qnmJ٠rԩXV򵵩}YTةn}@kqʩ˩Kg  [e~W@C@$@-C ũ Ʃ) (fx ZU}6|6q2/C/Ȱ!92B1}$r"y2V)~.|Ű$ UpnNQf@@]WyThT ﰩĩH` i̷I%Mt#Rݷ!2)BƩ!")ru@)@{:xxѩL/A7  3m@;@  ͩydjP"GR!P@@@ @   ީ 5@@LC>9ҩ@©4]Gȷ<8@+W @Զ@ne _ Z ܶɰ@5~ht1+0@%,("K$V ҩ}зwѩuߩɰ FҩķũذHHѷҩ)+N° "x3Щ: <\װ-  +G@!%尩ܠƩ>8TQ۷&Cߩ^@0_8(IeQ -S>I6#Heq8Ҷd} 4m o שxSCVƠF@e (i~3* 0$ 1"x4U"y3|npqSC_!p @v z I7};UL[GB`Cw @N  ˩8@ D .TUP`nJRLض@FO٩-HPtUS^)RO~ͰQZSU<W_S[Z]өC_EEaGʩjJgLiNةQPЩCTҩEVʰGܩ[I  v԰Q Uڰݩkc cũũw̶é+°13%HInd2@#ʶ&?@@۰Ҡ4.J4ƶ+7P@"Q jIC_4Щ #H11ޠV-Xð Щ^"`"532*V#H12 #H13lװ/#H14"5{V!fx@occe90+& !g:@62N#H15@©jzi aX |#SNЩ0.S:-s,:G79Ƞ6<@j <f  y? r *} x򵵷"x5(J Q#H16& İ(ư*|W,C8Z@2 c(+h-/I,?1CNp&@H  #@'acc_app>%/7|7-3;09A7l8:@0dist_Desc_concat.$@(ltl_unit/=#ϰK. 0@(desc_endD+rH"$ש6(5g@g-tmhLj$jjj/@,right_prefix(@If?|TErp @0well_founded_indع 2Transitive_Closure?@-wf_clos_transdFfC }@X ߰ dj( - . 1zC@  C@ީ%ޓsIqlm