"`ڄڰ3ExtensionalityFacts%Logic#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@0)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ֱ*0T `&t)愕& B"!FР3ExtensionalityFacts%Logic#Coq@A*is_inverse @!AcE@@@!BjSL @@!f!xB!gD6$Init @#andЖw@!a@"eq @ECA!b$ ,  @GF@@?@<;B;:@B;A +k() + T  + T7%'   7&'   7&'C`8@@c@i@A@jS@_@A@AB@mA1DH%Logic$Init#Coq@@kA @AB@@AA@@A@%Delta,<mO@@@@+Build_Delta#pi1]#pi2jpfdk@@@AB@CC@@-,"@@@@AAC@BA@AA/@@m@/@A@A@1A1DH@A@C) @>!d@O,"@A,-@@@@@@E÷CA@Y@h,"@ѐ +k()= R '>''+k'#BAC|@@@@@{^ @v86/)Đkiɷg&@}$#퐐 +k()= R '>''+k'?^AC|@@@ @SQJUD䩚T@\ۀ詚Z@\܀퐷O@/ML @@"eq @"K@\ۀ(Q@\܀. +k()= R '>''+k7! 7!7&')2AC|*@g@@ᠠ%delta @foQd@@@0AX55DA]:@x@PA@k 8+k()G ;'@@o@%@A@A@'A@)A @AB@@@W@P@@Q@C.@C2VEQ <+k() $'@@y@<@A@zC@7@A@{@0@A@ABC@@@9FunctExt_iff_EqDeltaProjs @@CT@#iffС)~a@@݀b@@@B@Ci@DxDCABA@݃ze@@@#AAA@@~@I@A@݀@C@A@݃z@@A@ABC@QAp@A$AW@&AF@AB'AU@)Av@+A1GKx@UB/@ABCD@@r4FunctExt_UniqInverse @@D@݇vi@@݈j@@@B@CԶ@D〰ҩ瀰@݌n@@ݍo$@@@"g1"g2@c"@hF #(H) @@݇v@Q@A@A݈@J@A@݌@/@A@ݍ@)@A@ABC@ZA@ASA@8AT@AB9AV@@B[@BU@ABCDEF@@@@@c(@AjS&@Bm@o @Aq @BCs@ut@Ay"@BzC @{ @A~@BCD݀@݃z@A݇vU@B݈T@݌T@AݍR@BCݒ+@ݓj@Aݗf@Bݛbj@ݜk@Aݠi@BCDݡg@ݦ@AݧV@Bݬ@ݭ@AݯN@BCݳJW@ݴY@AݶW@ݹV@ݺU@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ADEFG@T@AJ@B @8@A6@@A@@ABCD@@A@B@@AC@@A@B@@A@B@@ACDE@@@@ABCDFG~B|@|@{@#@ABC"!DE!@@AB@@@ABCDE}{y@z@A @BCDEFGC@ @A @@AB@@AC~D||v@u@At@@ABC@@A@BCDEF@@A@B@Cz@y@ADGHI@@@0UTS@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"->2 Q@@@@"_6AA@@@@@C@A@A@@@@@"_72M접@"_8'`o@!D*type_scope.function_scope@@@AA@7N$@@B@AeAA@@@@@@@@#_412M접#_42'`o@@@@2 Q@@A@#_43@ AA@@@@@@D@A@AG@Aܐ@AݐH@A@@@@@#_442M접-/#_45'`o@5H{@@@A@@AAAjm@ܠ2 Q@@A@#_46 \@#AA@@@@@@@@@@#_472M접#_48'`o@B@A@@2 Q@@@@#_49 @öAA@@@@@@@@#_502M접#_51'`o@@@@02 Q@@A@#_52 @;*B AA@@@@@@ E@A @A@ G@A @A@@@@#_532M접')#_54'`o@/G!(*,)+@@A@@@AA@2 Q@@A@#_55 @)AA@@@@@@ D@A @A@@@@@@#_562M접#_57'`o@%Fmtvsuw@A@@AAA@@@W }1V+-"*@-OhqІ:*8@ydj,Aw*a@V.*!:  Y /$!Aq S3ExtensionalityFacts%Logic#Coq@@@!x@%Delta,"@A ACC@@@@@D!dB'$Init(@"eq @C%@#pi1\ۀ$,@#pi2\܀*"a1"a2#Heq$D(77TsUR@@1@#andЖw@A!aL<?1AX@%deltakHWW!bcJO OA _`QA nd\ZWrOQPmmC`AT#eq0?bB@@@@@D!yE!eqFNtG9nA 3 }}9uW@@d][S]ZQYLeJHB@?=:p:761@㔑~a@@!B݀b@@!f@Ͷ!g@Ķ@Ұְ@llڶ݃ze@@శ@@ .&FunExt1 @ <0ED 7I݇viG@@f݈jN@@dW݌nU@@tݍo\@@rp"g1Z@"g2^7ַJ\@*is_inverse$ %?LBBB@@@@D@#Y6Mm^Qr@YeICy$Hg1f$Hfg1)q{1HR-@&C}J < $K$Hg2f$Hfg2M-0"L&%@(eq_trans!y >?*(' @'f_equal='M"f0PPhR0!T2Ω@@&eq_sym X; )= ! ?#K'UniqInvݒ+t@@ݓju@@@@rx尶uqܷݗfy@@  @1diagonal_inverse1i  @1diagonal_inverse2i @.ݛb},@@Kݜ~3@@I<ݠB:@@YݡܠCA@@A@7@4FunctExt_UniqInverse 񨀷,Ȑ"H0޷@נvHHD@9FunctExt_iff_EqDeltaProjs>Ae@}@PEPFO@8UniqInverse_EqDeltaProjs#?YkݦHi@@ݧVIp@@yݬNw@@ݭРO~@@!CݯNQ@@%n$Dkz@5of+sP3o@&action&6 [ w#Hgf#HfgC-]V@@.)0! %Q#"5&#7(',%*9)4!h'0/13$d5FgGIݩb= C%8P@QI$̷U@ϷAC('BijComp𔑠ݳJU@@ ݴV@@wݶX@@ @umsfou֩hwq@ʚ@8FunctExt_iff_UniqInverseö@@ҩ5ܷ-+"H1"H2Ȑ!i@"@ֶ@@((Ѷ5811!?4$_tmp*HAA3ǩ@ ©@頶@A@ީXXeJhЩaaQc. WuNѩoo^@&eq_ind J@ 0lOt:t(! 흋w 4fI