#,gdР0JRussell_Russell$Meta&Lambda@B0JRussell_Russell 3jrussell_to_russell@%Types(JRussell&Lambda@@2typ_coerce_jeq_ind!G#Env @@#env!t%Terms@@$term@!T !H(@&coerceBCBA1'Russell0@@BD /-!U&!V)!s,@$sort@%#@! %Logic$Init#Coq@@#and@+E$G@A55 : 7@1>=_]!uV!vYQZOMA>KJI*JBN.N#SR)Reduction@@$conv@P][BA$List%ListsB@@$list@AlAApBB!efd~NwSBCЩ'@B^ABc)Datatypesrq@@#nat@A@$lift@B@#ex2@A·oé@"eq@ɩzΩ&MyList@@$item@©;F4@A/@AZ跐"t0ݷշ·"t1㰐Ga"H0ఐH(Thinning@@(thinningI c| "s1|x!M"s2-{'!&& ڷ1$ J"H1,KS驜BD$L:@Y>569),!9"Ur<T/L*A@F.P.N3o43BEJU[ -:8Y,PG%TGTlG}AcAgE4[I0nO=J̷:I8N c"t2XMSi@%substu*"H2ZN_ r"s3MP@(sum_sort iiBF4QPOUcCsrq^i{b~}~QBGWzr }v.y|,BH$i"m@Cө!y@BϩBI@ַͷηϷ°@G̩ǩBJ˷VBKַa޷ݰ˷!c Ƞ'̠ -򩚰@'and_indЩ ɐ۠:#<> 堩+ِ)/Щ -&138 "H3.XBL$ >D"!!!B!A;!B>!j#0/9BЩ4s ?8w0C2   8Ee5&FlAZЩLl?t2RrxE6 v|+d  z?@AaVv5Gg\2^~ao(Coercionm@@*coerce_symj l nz@+conv_coercesv/@(sym_convecvtpm"s'zg62y< Bn  ˷GQͩxϩЩʩ̩7%" ð+(  ܷ|qϰKw96©ٰ A> ʩ V @/thinning_coerce  x"A' "B' 6ܠ"Щࠩ&?ԩ(A%*G9 O"c01 -é8 # )P1C5-H*;M'"H49TΐR.NЩ@Sթ'G  -M '3S-  }"H5"H6AaT"6/&xЩj1U-Qq< 3Ww Q9Ʃ]}0ʩH2"H7gIVO^W-SЩW gZ`6\{ u1ʩ*Ωl,N"H8rX>jЩ*'YEd~#If ) $&rg"H9C7Z!Appΰ[!oհs jZ P)lƩ^4TKpᩜ@B429PYuɷpշ *РҠ1%lvᠩ}ש砩۩ 4ַܷ#s''"s05%-*Щ"(o5.u; 7٩8LЩ>Y)&F /,LA2R*E,)bթ:Zְu'pЩbЩ6/Jj Pp$;&ϩ?Щz\ԩQJe ̠ԩk!ةV#3̩Z ]):^ȩ̩j $ 'hI$l@C@0q?:зǷ!Pʷ"U'ͷ֩ũ#''ީΰ,Ȱ/԰2ΰ 5ڰ,|԰/Щذ?ܰCC ɩ@HNˠ PѠXXЩ^^ݠf hl )txxf ~@D##FD;q<u=F ,+5 p.3(5LnVlc>Ut)8M^cDV]2c@[W/bTn(H/=17?.v0P7nGg;A@!:Z G% CInЩ`Gǩ+IǩFf ͩJjSYө7ӷ|;#שv  ݩZz"-Gv$(3W  멜@E1<`~|xuaWw_yebnhYhtWMYUp|^StQHPzWTHCٷзѷ!CԷީ·ͩİȰ ηҷҰְͩѩЩЩܰϩөƠ Ƞ'۩ )Р1Щ ڠ"ࠩ $*꠩ _!,Щ]'cg1A2Щ$ Q  *W  ة6:\B,Transitivity@o@@,coerce_transMKMMMMlTc!Nf.g( ] .jA?nŷxHLO\ZYA©mLAaNvXxGg>VȩMm̩Է_\Uu\j'dlЩ{,hp-dja4gĩ9̷V=>t3 &;yKʩ0CrC4RvR@.conv_conv_liftLW 4ʷ·÷"V'Ʒn©Ʃm"j0~ͷǰ©˰ Ʃ} éӰũٰƩΩ̩߰ԩ طɠЩӠ נѠݠ$& 堩ZЩ ` dɠ">͠Ω/Щ!<P'T +Xݠשש59]|9򩚰@,typ_conv_env°a Lİc @-coerce_in_env@AyQ^S @.conv_conv_prod%eceeeeB{u|sQ><s:DnUlhu"M'-`ZwvgXx~}\|.Щ(3f,mj0@C@iBu; ~ID2P_QGRЩx|~cA#BDI+]i sЩðWauZYɰ?`bѰGg nЩݰY~~àYکˠa |lkީѠݠts $z#B ѩȩʩ̩Ω0@/1Đ8$xԩ$hF10'32ĩ&ĩr V4ɩ˩ͩϩ|24~ԩB@A ש@-conv_conv_abs06NLNNN^m+d)eWfg( &UT+KXa8X]2/R>^bx"N'{!zihJj_oNncrЩr_VvcZzg@Dw/yer 9}5ovi~CЩH~{LpUP%QX-~[ WbeЩH:L?۩knTGu <Щ˰`_jϰdUwƩfװl] hgwʩzɠo~ . Ȑ!o*Generation %@@+type_sorted@"or@Z ڐ@A@"ex@  %Logic$Init#Coq@@@BAA@D@&| A"    - /é 6 ۩ @&eq_ind Tķ"e0 W%Terms&Lambda@@$term@@(AABBCBBBAA@D f dA P(@ < 2@%False@@@@ p@ q @ r@ s@ t >@$True@  @A\ e E@)False_ind i0  pYFX@c@BB@D@j d g e zT  !x ml Ȑ!a@0generation_prod2   m z {      ( hЩ    ! _ %@5Q8I$ M@@@B=@D@ )   < >(zj[  "x0 f ,Substitution Ġ @@,substitutionPk `_ ΰR~do@W( g հBk ,$A_RTaMcIXNet  䩜 @F4N        ꩚ @/conv_conv_substbYoo ]m[dԩ @Av\    @-conv_conv_app      з             3 (   0   ݷ   J %©    é  Y ʠ !   Р ' a Ԡ + )  $  g  = N  h k ! $ 1 / @(red_conv @,one_step_red  @$red1@A | B  a XR Y P . P! ]T ^ L 3  E N M Ϸ n . N E F " 2 R I W &  @ C k N YhЩ Z  AЩ > ^  K B b  K  8 H h  W  >   ` Щ rJ  V vN  Z z  " w `  Ǡ 3 } 4  q j ] )Щ  # !M @ $ # t  )۠ *  z  / /  N  kݩЩ ^   ho [  n E  b  ]\Z LY M0  R  f6 r  3$Xc  W u   ٩j  7$\  n y F k` r Щ H bdoefqghsiju]lw   ݩ On   署 @-conv_conv_sum~ r        m     з     շ+   ط   "u' "j1       ڠ     ޠ      "v' "j2     H       6     S f )Щ    Ѡ #Y r    )ȩ  ݠ̩ ?Щ 1 ϩ  5 r Cߩ  ; d MЩ ? & # C 0ȩ E) j  + K 2 ]Щ O D   5 U j W Ӱ r0 M ک ? _ T   sЩ e 9  k   ȩ  Щ s  ݐ_ͩ J *ѩ | H  0Щ Щ aE`g    ^ܷ5 #H10e Щ c * E   b  pзD #H11 Tdi J       U 8 ʩ  < G u }{  % Xy usq vYm ie  i l9_ YU + QB i\S QJ İO Y,TH FFqG< : ΰ:b3t=0.         d Ұf   g#Nk k Щ ۰Ro ݰ q à Qw  ^{ Щ n  Ѡ O Щ , E  s I0f z ߠG^ Щ   z  ` 頩 v   y Щ ws   ,{j   T ɠ +Щ   8o x #Z  נY^ 9Щ + -  HʷL CЩ 5d  :  U · #H12#  h h h h b 7   W Tk F [ڷ ni Za L 9 Zda `] ] u^W dU V  JXS jM \ ɷ PG pE b " H? v=; h @ |9ʩ n9ڷ<0Q W      e   r "   3    Щ {H $ " a  3 B C  k  Kl Щ  5 : 0h  w  =ɩ I , ? Щ     = ީ     U < Щ 6o: V _: Щ +) YN ҩ  = 9{: Щ e  p M İ @ . 5 $ #H13        _   U" wV uS   SM I  J 3E ? @ ; 5 6R3 1` 2D}  fg -˩ - Z H0$           ^~   J j a  Щ  N ez  P p g   z ߠ  O m  X o |  < \ U s  b zީ x  D ? ] 2 L U #Щ } pt  I    Ω ͠  o 1Щ #]v   ٠ ;Щ - _Ʃ  ĩ CЩ 5   o: KЩ =f ݩ     #H14a Аhg      p v v v v v E 7  @ ' ҩ    ̩ gЩ Y  F^\   ? _   q Z c  D q  I i  {Щ m ^   S s  Щ w Z^η k٩ ] } # - ?  Щ  W^ 0G 9    a  ٷz   i U! Щ T 1 M  X un #H15&       X < FP %    Щ   9T   ꩜ @E   Y k            t   gJ e  ΰ R   I e   ְ Z#   n     ܷP  C_ s Ơ  N3 / W A   Π  V; 7 v `     V ڠ6! Щ w  ࠩ{M I ;   蠩U Q t \     Щ   Ġ  H (Щ  m i   (u q ^    ޠ f  DЩ6 :    "B         \ЩN ֩2R   :Z )    tЩf ݩ  Ll$ '  Tt, ;   *#H16 $jа ̠iS  l ٰ ՠH   B ,4 K (  {_ :    :  }$   24RQ   $ TS  0 1VU 3XW 5 ZY )"\[  8 &^  e$#( &d* q A  $,  ^ { ` 6 r Q 92 S t # :"(A A '$61o L ^C  )$8rq &E " A:.7Gv7* @,q@.conv_conv_pair$@7 2 I  @3       m  [Uⷐ"t'    ߩְ ڰ   Щް %Ġ  Ƞ@I,Ѡ   ۠: B  Щ' HB 砩)H "%5N   /9 54?Ѡ  ^CI   b<GM+@-conv_conv_pi1!A///P G>K> K9 d Y  #& QcD">(/> B%X K E <9 G K 6 M e  :X 7W        B 4   UDJrb`}  W30-@Bm L J G| Uu@J*` W4y  0l>etH D  @)Pȩ1Z   R Ʃ  DB@D@Ġ ˰|SϰZؠ é@@D(}n̩$|Bz@D@ݷީ:{yw@/generation_sum2⠩֩栩!ܩ @#Coq@@#and@BB@D@(!< .***'٠C0 4 /,...HЩ: -2> ɐԩZ   >   M e  ϩ   9T      Oo ][ ҩ  "     " 7 fd ҩ & ީO$            czy   e{|   S     $ 1@-conv_conv_pi2zgu hy1|VYWVJU@Q</%ML7T J<XV s oC_C_ uȐGȐ"t3 w |]  yiak $ ^J  Xuߐ\y^ l  `sЩ  n b өV p wԩ ffEtn=;EG橜@C%t  éSѠXՠ\ y :UߠZ㠩^ Щ'n  " +/v( 1;|Ǡ  é=/Щ!`|%ߩ ) G j/ MF A 9 xK  ? ](a%E c4m n  ]ЩO'd 3S qJ9Y w p©   c L̩Ii Xҩ V k` 2 Tby   -  ީy{4@0conv_conv_subsetou]k3sC9% O{uZWЩvm [ kЩim igeðǰyͩoMηY  ַذܩܰ Ġ#ܩȠЩ РԠ֠ 5 + ܠ; kЩ&䠩$* s蠩. 7 %0 "Щ) -1 A  0Щ"  &    .ߩ2 R 8@/trans_conv_conv><>>>>]ET UVW.,:GP'Gm?i0jBOo/G1Qf&Lh(Ke9 Ʃ;[PpcO o xCcJ.LzIiPVMmTb { ZSs$ȩ>&jЩy`f ]}#.ra'hv  N ЩnR:pvm! tq%7x< ;^*;F|;^.?}b1C ک$d42EPE ީ$h76ITʶ¶@жǶȶ@նx̶vͶζ@tp@@A@8type_jrussell_to_russell@@@%proj1!G@@!t@@@!T @@@B꩛@@B1@@,*$&ꛠ(@@@"@ 6@A( *@ LJDF@G@>A%$#0;(4?-,ڠX@@@(5Box_@@nn@@A@:coerce_jrussell_to_russell@!Ggr@@f!Ue{@@$term@!V !s @F@!H@@n@`mlkȐ!aB@@UTS@@R@9713@!B@@BNLGE>F<:@5#mN@A,v @zdbl\k^-_@MA?.C2j@@i@B@D@S#ɐ"H0P"H1@B@D@D0֐ F"H23pjYGp_D u@'and_indЩhVn S "H3 "H4zhaЩpi"H5 "H6qҶ˶̶@y@@A@7jeq_jrussell_to_russell@!GJU@@I!uH^@@G@!v !T !Hqpo@@MA?LKJȐ!aBy@@432@@1@53v-$.@ Bgfed@@qBcpoIGdAcCbE@a@@:@t,UxS@A5%^ '@bigb`ZaXb@TB2kF6oL@@K@B@D@VVFZJ"H0["H1LB@D@Pk[o_)ȐZ"H2= }mq;@'and_indЩz~H "H3 "H4VЩ\ "H5 "H6j@Aw  @@A@/jeq_unique_sort@!GF&Lambda@@F!uE @@D@!s @"@"s'!H%Typesq@@&coerceBAN@AR"H0(K Ȑ!tB5@@3Xd"'RussellA@@"B? Ȑ"t0s0UnicityOfSortingQ@@+unique_sortP~\ZTRLJGK@C@1fed@@"eq@W@@A@@@ˠɐȠڐ٠\[|{@@@@)Inversion'Russell&Lambda@0tu!ƹ{R=g'Russell&Lambda@0Uy}:͘+Injectivity'Russell&Lambda@0[29Թ~ik}s$à-Russell_TPOSR$Meta&Lambda@0!sZIAld:;F)UnlabConv%TPOSR&Lambda@0",B:JQy𠠠+TPOSR_trans%TPOSR&Lambda@0|bGJl4&H/0SubjectReduction%TPOSR&Lambda@0(=@Ơ+ŘXR+Injectivity%TPOSR&Lambda@0fpvYX,Transitivity%TPOSR&Lambda@0 RH~VQdQw󰹠/TransitivitySet%TPOSR&Lambda@0JJtb \-CoerceNoTrans%TPOSR&Lambda@0vK |:+e+CoerceDepth%TPOSR&Lambda@0h%4砲U4,ChurchRosser%TPOSR&Lambda@0fX sW-7`1ChurchRosserDepth%TPOSR&Lambda@0Ѷ6E%QJe1UniquenessOfTypes%TPOSR&Lambda@0sMޔų2TypesFunctionality%TPOSR&Lambda@0RJ|ӝu9E(Validity%TPOSR&Lambda@02 s-AZkħ*Generation%TPOSR&Lambda@0/ir)۠%Equiv%TPOSR&Lambda@0xXX\f4iF۠*TypesDepth%TPOSR&Lambda@0x};X 6 F)MaxLemmas%TPOSR&Lambda@0iܖo 2S 0UnicityOfSorting%TPOSR&Lambda@0!&|h߱vȠ.TPOSR_JRussell$Meta&Lambda@0rNU+tܠ%Unlab%TPOSR&Lambda@0=U4r!@#Fꠠ0UnicityOfSorting(JRussell&Lambda@04dN4K5UnicityOfSortingRange(JRussell&Lambda@0ھCUՃqt~/GenerationRange(JRussell&Lambda@0t4?Xנ0GenerationCoerce(JRussell&Lambda@0R#4wㅀeL^1GenerationNotKind(JRussell&Lambda@0ŬdyɟԨaD-CtxConversion%TPOSR&Lambda@0u H69%Basic%TPOSR&Lambda@0k4\^N1SubstitutionTPOSR%TPOSR&Lambda@0X 9o#i#!ؠ+CtxCoercion%TPOSR&Lambda@0V |^E0RightReflexivity%TPOSR&Lambda@08sdNЂn44PreSubstitutionTPOSR%TPOSR&Lambda@081ngJ>ߎT,Substitution%TPOSR&Lambda@0WEV~Q^J.PreCtxCoercion%TPOSR&Lambda@0tiI4)%;s,CtxExpansion%TPOSR&Lambda@0#n|jl~]m!ٓQ,CtxReduction%TPOSR&Lambda@0 t@"2p(Thinning%TPOSR&Lambda@0H{]% J7/LeftReflexivity%TPOSR&Lambda@04)*()"e%Types%TPOSR&Lambda@0J!m@͑ә;ˠ#Env%TPOSR&Lambda@02%〠$Conv%TPOSR&Lambda@00#Ƚ"c})Reduction%TPOSR&Lambda@06yZڍ:񧠠)LiftSubst%TPOSR&Lambda@0խD?(wah;R%Terms%TPOSR&Lambda@0*p <%MfyUƠ)Narrowing'Russell&Lambda@0-=3]}ý}DѠ%Depth'Russell&Lambda@0ݗ"YF^%7`2}&Lambda@032չφ䠠5UnicityOfSortingRange'Russell&Lambda@0QB :GO3?9/GenerationRange'Russell&Lambda@0=jzii=E%y'Russell&Lambda@0bP_xNr0GenerationCoerce'Russell&Lambda@0'攆Tgq 1GenerationNotKind'Russell&Lambda@0—ˁd0Z̔Ġ'Russell&Lambda@0|¨i%ż=1C ͠'Russell&Lambda@0MiegL4-'Russell&Lambda@055kCrU@*Ѡ@0/{Pϓ9!­(Validity(JRussell&Lambda@0w?B@{Sɠ*Generation(JRussell&Lambda@0@Ď$UR6HZ,InvLiftSubst&Lambda@0c+Ttћ'Tactics&Lambda@0z*a,%Utils&Lambda@0Kj;~ܙ0PreFunctionality(JRussell&Lambda@0 kUs?G}gv,Substitution(JRussell&Lambda@0^O)Ht4eFX(Thinning(JRussell&Lambda@0V.'n(Coercion(JRussell&Lambda@0v[+T:%~*Conversion(JRussell&Lambda@089,,Xsᠠ%Basic(JRussell&Lambda@0s տ>c.3(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^ܠL&Lambda@0/t)>ye,ܠ#Env&Lambda@0beӯD Ơ&MyList&Lambda@0 F1t"P$Conv&Lambda@0*}Q;<&Lambda@0WUlod)LiftSubst&Lambda@03eiV^o5%Omega%omega#Coq@0mJ%,y'(PreOmega%omega#Coq@0wR51|5&NArith&NArith#Coq@0\[nTZS*NArithRing+setoid_ring#Coq@0Z4xj+OmegaLemmas%omega#Coq@0-ww'7XU>EO@0KH!8DmSD)Relations)Relations#Coq@0cҨv>s =)נ4Operators_Properties)Relations#Coq@0 . bkB}2Relation_Operators)Relations#Coq@0~ ɀL?7fy(%Arith%Arith#Coq@0)f^joqU#r[L)ArithRing+setoid_ring#Coq@0^⺯d-1$Ring+setoid_ring#Coq@042 $'])Ring_base+setoid_ring#Coq@0K W)(Ring_tac+setoid_ring#Coq@0%& Š+InitialRing+setoid_ring#Coq@03bm|ҵZXQ!)ZOdiv_def&ZArith#Coq@0 kiomO|(Zpow_def&ZArith#Coq@0e%`E Tk'ƕ+ZArith_base&ZArith#Coq@0p+;Ftx&Zhints&ZArith#Coq@0yLt Ŝ>$Wf_Z&ZArith#Coq@0Usw. &Wf_nat%Arith#Coq@0ClG]Wd/%%Zmisc&ZArith#Coq@0@YM-pȠ%Zbool&ZArith#Coq@0q W{`)auxiliary&ZArith#Coq@0ckk*a Ӡ$Zabs&ZArith#Coq@0;ƘGMb *ZArith_dec&ZArith#Coq@0Eo#'Zminmax&ZArith#Coq@0 3A?qWl%Zeven&ZArith#Coq@0Ip?n,Ring_polynom+setoid_ring#Coq@035<'BinList+setoid_ring#Coq@0!M:GD+cv*+ListTactics%Lists#Coq@0hVEq EA.+Ring_theory+setoid_ring#Coq@0Jٸ`pN!~R$Nnat&NArith#Coq@0] N3]EP?0$Znat&ZArith#Coq@0h#yeT+$Xx$Zmin&ZArith#Coq@0( k 1^} $Zmax&ZArith#Coq@0yt-?2ad&Zorder&ZArith#Coq@0jy:E0۠(Zcompare&ZArith#Coq@0x1+C2B6&BinInt&ZArith#Coq@0WmIM$Pnat&NArith#Coq@0ٯL j㾠#Max%Arith#Coq@0mAà2adUU$Div2%Arith#Coq@0d&ulg}k宖$Even%Arith#Coq@0^w2&x-n#u'Sumbool$Bool#Coq@016Iu#m&BinNat&NArith#Coq@0[lu,Bp(NBinDefs&Binary'Natural'Numbers#Coq@0 KP/JP<(E&NMinus(Abstract'Natural'Numbers#Coq@0KHH@bӦؠ+NTimesOrder(Abstract'Natural'Numbers#Coq@0|A3Խ*NPlusOrder(Abstract'Natural'Numbers#Coq@0Y~z:sf.B*&NOrder(Abstract'Natural'Numbers#Coq@0X>XP j&NTimes(Abstract'Natural'Numbers#Coq@0-Hx/pG.u$W%NPlus(Abstract'Natural'Numbers#Coq@0X*nV=N˖%NBase(Abstract'Natural'Numbers#Coq@0' CqOeI*6O,NZTimesOrder&NatInt'Numbers#Coq@0TԘ޴3к?#Ǡ+NZPlusOrder&NatInt'Numbers#Coq@0 xZx) *'NZOrder&NatInt'Numbers#Coq@0=8 ;{ث'NZTimes&NatInt'Numbers#Coq@0Sp,˘ o kP&NZPlus&NatInt'Numbers#Coq@0Yqi"9"3&NZBase&NatInt'Numbers#Coq@0 PӂΟ'NAxioms(Abstract'Natural'Numbers#Coq@0I`oQdåAJ(NZAxioms&NatInt'Numbers#Coq@0{Vmޗ, 蠠*NumPrelude'Numbers#Coq@0EqDOL,oa;8堠(QRewrite'Numbers#Coq@0`rBNJԖ$List%Lists#Coq@0ف.Z|\z5-ޠ$Bool$Bool#Coq@0yVb҆X@#Min%Arith#Coq@0&εj/i!t&Setoid'Setoids#Coq@0q6X@ny+Setoid_Prop'Setoids#Coq@0߮m, "Lt%Arith#Coq@0]2V"Le%Arith#Coq@0{U5R|:g*Logic_Type$Init#Coq@0W RDNJ^'Prelude$Init#Coq@0002[:8(( mͨ'Tactics$Init#Coq@0-88YZP61"Wf$Init#Coq@0"U.ю@%Peano$Init#Coq@0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮm)Datatypes$Init#Coq@07^kO(>=@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@(CONSTANTA@@@#_52/ARGUMENTS-SCOPE@@ @ @F#_53@ @ &@@@@@$#@F#_54@@@@@@@@٠54@F#_55/@.@@@@@@@FE@F#_56@@?@@@@@@@@@#_38-RESERVED-TYPE!i @@@#nat@#_39!k#_40!m#_41!n#_42#!p"#_43)!s(@7@#_445!A4 @j@#_45@!B #_46F!M#_47L!N#_48R!T#_49X!t##_50^!u)#_51d!v/@ƠѠ٠䠠 !,&71B<MGXRc]nhys~ˠ֠ᠠ젠 )#6.E;RJ_Wldyq~ŠԠ㠠 !,&71B<MGXRc]nhys~ˠ֠ᠠ젠 )#4.?9JDUO`Zkevp{ĠϠڠ堠 "+'60A;JFUO`Zkevp{ ʠԠޠ蠠"-'82C=NHYSd^oizt̠נ⠠ *$5/@:KEVPa[lfwq|ɠԠߠꠠ '!1,<6@%5?IS]g2r@0I% L#