S?<Р,Substitution'Russell&Lambda@B,Substitution /double_sub_weak@!g#Env&Lambda@@#env!d%Terms @@$term@!t !H%Types'Russell@@&coerceBCBA@5double_typ_coerce_mutP!e0!u(!U+"H0 !f!l@BS@$predK)@$liftɐP+԰Nط&Hlt_eqo^@'ex2_ind=>e@@B+"H@$item@N2ҩ@ESR69S74ܷ6V0O*@+sumbool_ind`^,c!xe@h?(EP@%oT;af1E3y `^[K] WS%R,@)Datatypes$Init#Coq@@#nat@@@A@Dca!aɠR~8@ðwu^@[JLNM+,1g#HltV@AT"H3@| "H4{Ȑ"H5%Peano$Init#Coq@@"le@A@BAD@ @ @@-ҰaՐ3U%<Ȑ"H6@&eq_ind"e0)Datatypes$Init#Coq@@#nat@@t@DԔA1@%False@@ܛ6@$True@@Ad =@)False_ind<T!m_M6Mwf:75@@D+($(p^,ZްWQ ${i+7e鰐Vɩ/2@tA*o6{@A$"n1'Dad=;$L!kP)@(eq_ind_rrI24^yk!^5_cXX i{v, jyBCdD. @#ex2@AmlUQ@pvTDVK@+nth_sub_sup(# )w~_H"Le%Arithq@@&le_S_n4SWR0@6)LiftSubst@@+simpl_subst9E?@BDc?#Heqaķ _YYȩc˩MoMSİTvTz\kک·ݩϰ_@(fun_itemd@*nth_sub_eqeinmjnөשn͠ةϠީ(Thinning@@*thinning_n ݠ©Vĩ3@Aa,ਗ਼@+nth_sub_inf(+Compare_decr@@,lt_eq_lt_decڷ-#"s1"t0-@A=@@@(ک շ!M=>"s2ӷ"t16$List%Lists@@$list@BS 8(&`$"@%=[4@@@_E Q$ +"t2X"j$ Զ=w;9@.BT*rW@)@%v\hS!#NLJǩ?BSeMf84k,eyAB.-m_42 26utsEK6BD$P:[=lgT?C>(@F*y[Щ\ \.e@B$aLjP[@BQfeJ: !v!V"Ur|[@Fh2Ҷ@JqO@@~vtszw~ytnE]÷'s⩚@%substhް@Dpyr۩BEǩ$V@+distr_substҩ#@@Ӷ@ ũũİ˩ưͷr'ũ8@@@#֩հ6"t3+YJ @'(@@G-9k("s3穚D@(sum_sort$<*d(&uABoaGYUBF4  IQPO  .UTS=KЩ-u X/^Z|#Za&#"FQ,}x@*c-nD/3rqp#/Q\7+Hn*o%mkidmX)VTT7q omk@`!H:@Y@שInxvtͷ`N&QTdjUBGo6q\`[6?EuWЩwwI<fydhf{AϷ]ŷXɷ\38/}_b{wܷ<zTcR}|Z©BH$iЩwƩЩ {MqשJ ѩީϐ@CԶ ζ@@@ ͩ˰萜@B%@@ն@"ǩư2rj f 2搩4ש'BI۰ ީ#"߰ɩЩC ͩ)G,%S"I!JK >4P@G87(&`$"@ݶ@@کKש ש1k/-Ω"=HIFYBJ 9;)=*oO}LsKtu4*K#IGE1\~"N@I .zB@J16j4uBK9+)'8dSAhUCzwv_Jxvtr@-@^@*N'%@>IJV~@@j@ZY=`vW(˶@ij@{@woCmlGKs!c^v@X@@Vf~}!_ɷBL$  fi!AзɷȷigG@A!B "A' "B'B @@ζ@d-@H@۶@ɩ˩ʰ^ҷ<@`@@'] "s'η"c0C'P@-K0@@ FX$+e)'@v>B`!E@@dJ V 2[%m9.@@z><@15*W-u6UZ@,@(y_ k$FOMK@ Dfg"H7;"H89p1[~@B432T94 K)6 =8x-Z=A~- @ЩV A3$)CGE 5KG\_ЩaL>!/4NRm%P+ VR hFKIEr]Ƕ@@u@Me]0/YUZ׶@NKwo{lh#s''k"s0·Ʒ\jo˷db^@C@v  |Щ\]y} \_  Щưj&i  ̷ !P"U'N#,@@ڶ@ɰ-.;@ 6@@*ݩܰ)H  vt4@D#ЩN"6 VC@-coerce_sort_l[ͩY=7e2[B\F]FEd53m1/@@@ lB[%m%SZڶ@z><@1LW-u/Z@,@Yi^fKIG3q@E&=%W >ЩA,]0 .2dq0~@-coerce_sort_r5L;7Uxr!D0.vWBttrpn@@Z@Jofcb}{y@Ҷ@e@SUO9P¶@@p@G`_=>fh{ ϶@@}@mlsM)Reduction@@$conv@Xg[`@]Ƕ@@qqc"c1l*׷q}@F4z%1@/conv_conv_subst8@Aũ  ǐ @;@#and@&@* !@@@A@,substitution@!e;:@@9!t8C@@$term@!u !U !H:9U@@8B$List%Lists#Coq@@$list@B'EDC!d*"H0K Ȑ!aBZv@@ W*V$Init@@c@OM>F<G@8hgfTTS)Datatypes2@@#nat@@b@P@N;yMz@NA@L@@K@kJH[Hm@GbPFR~|EvlwDy@C@@m@`765@,x=Y@)@%i glm!nocBB@D@[@SQPO@FW@C@7y321@.a`_@VlͶ@S@OQ8JpLrPr@AU"H11"H2ԶXͶζWV@Sٶ@{@x@tR]oq$ɰ%@A@&typ_wfͩ@A@@ΩЩ@%subst ݩ !㐐@@A@3substitution_coerce@!e T S@@ R!t Q \@@@!T !U !s@@!H X W s@@ V@@@@B(   _ ^ ]!d+"H0B  g ;Ȑ!aB  v @@  G s ) r:@@~@QO sI@J@    pW o/M@@@@c@ j@ h .  g @JA @ f @@ e@l  d> bn@ a | j ` l}ovmwki@d s   .-,@%   l @"@  |Qp {       wB@D@RK@JHGF@?    ж@<@n 0   @,XWV@O    @L@H  R C   E     I  Üi@AN    󐷐"H11"H2ζǶȶ@Q}Ӷ|{@t   @q@m  ːS ʩh  Щj   Ʃ (       %@A   @    ߩ@A @޶@ǩ @ 1  3  @@A@:substitution_coerce_conv_l@!e f e@@ d!t c n@@$term@!T !s @ @!H h g @@ fB.-,@@+@B& o 0 n(@A r!d.!u1"H0! 4 ~ Q"H1& W  9"H2Ҡ @@@ P Ȑ"H3 @A j l lȐ!c@ r ] t t)Datatypes$Inith@@#nat@A  $d@)subst_rec   q W@+conv_coerce yp@ r [  ] B  ɠ @@   eX   ~     i    ɐ~|z@u][@W@S@Oz@ x!  #   @@A@E  @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Ԗ@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 Y X#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.ю@ `0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮm@07^kO(>=a$Init#Coq@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@ge(CONSTANTA@@A#_36)IMPLICITS{@wAA@@@@vD@p@i @@@@#_37/ARGUMENTS-SCOPE@@@@@@[10@@#_38+*@e)cE@`@Z @[ @@CG@@@@#_392@"@@@@@@@@ved@@#_40_^@]~F@{@v @w @x@@aH@@@@#_41j@&@@@@@@@@@#_42(AUTOHINT@#cocC$3647ˠ$3652$3649ՠ$3652$3650 @@@@@@@@@@@A@@Р@@@@@@?@@A@@@A@@ABB@@C@䰩ݰ@?AB@?@A@@A@B@ABC@Dڠ@@E@D@?@@@AD@BC@ABCD2?@ABCDE@?@A@@A@ABB@C@D@E@ABCD'#(%)@?@AA@B@AD@BCC$3654$$3660$3656.$3660$3657$3658oj@@@@FCB@@AG=<@@H7?@@ABI6A@@J76@@AK@2+KGFHIJ@F@AG@H@I@J@ABCD@L.X@@M@-L@F@G@AL@BC@ABCD1 FGHIJKLM@F@AG@H@ABI@J@AK@L@M@ABCD`+,-,@F@AH@I@J@ABL@CD@@@#_43|{@zE@@ @ @@eH@gI@@@@@@#_44@)@@@@@@@@@@@@@#_45@E@@ @ @@H@I@@@@@@@#_46ɰ@*@@@@@@@@@@)nat_scope@@#_19-RESERVED-TYPE!i @@(@#@#_20!k#_21!m#_22!n#_23"!p!#_24(!s't@@#_254!A3 @'@#_26?!B #_27E!M#_28K!N#_29Q!T#_30W!t##_31]!u)#_32c!v/#_33i!eh@ɠ#_34t!f #_35z!g@ɠԠߠ蠠 %0*;5E@PJ[Uf`qk|vàˠ֠ᠠ ,$91F>UKdZsixàΠ٠䠠 !,&71B<MGXRc]nhys~ˠ֠ᠠ젠 )#4.?9JDUO`Zkerp}wƠΠנ@UdnҠ|d@0MiegL4-