"`̄ذ&Permut$Sets#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ֱzW/Kr. # Р&Permut$Sets#Coq@A*cong_congr @@@!Uj;A@@@"op@A@BC$cong@@A)cong_left!x!yD!zE@F *cong_right @ G-/.*cong_trans&$! @@ H%:/-*!tI@ 3D@.JK0;@@@@@AA@@A@*comm_right @@}Amkb`[Y'op_commUaSQcTgiVkiIG^U\OYBQEpG HsJ @@@@@')comm_left @@B}$"zxsvpsj@al`mTv}pzcrf[hg@@@@@F*perm_right @@CCA&op_assI@~@@(cong_sym@UЩҐ@@@@@)perm_left @@Dڶ><ضͶǶ@ǩ+1*(%@@@@@)op_rotate @@!Ea_ӶEݶ@[ܶ߶Ҷ˶ũ͠ȠDʠА@@@@@Ơ%twist @@@F0.%#~B @" @t@t)'@ -+(L0,G  H 9MK@@@@@@@@j;@]@A@A ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@@0  @0.i bYN Z'Decimal$Init#Coq@0C涳N*ua%Logic$Init#Coq@0\͉!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@@A@#_32@, @A@@@@@@@@@@@@@@#_332M접@, #_34'`o@@, L*type_scope.function_scope @@@@@@@@AAAAA@@@@@@@Ӡ2 Q@@A@#_35O@{@A@@@@@@@@@@@@@#_362M접b@{ې#_37'`o@l@{HPOQSU@@@@@AAAA@@@@2 Q@@A@#_38@:@A@@@@@@@@@@@@@#_392M접@:#_40'`o@@:H@@@@@AAAA@@@@2 Q@@A@#_41@#=@A@@@@@@@@@@@@@@@@#_422M접@9=ϐ#_43'`o@@C=K۠ڠܠޠࠐ⠐䠐@@@@@AAAAAAA@@@@-2 Q@@A@#_44*@8X@A@@@@@@@@@@@@@@@@#_452M접@@NX#_46'`o@J@XXK.-/13579@@@@@AAAAAAA@@@@]2 Q@@A@#_47}@h=@A@@@@@@@@@@@@@@@#_482M접@}=#_49'`o@@=K@@@@@@AAAAAA@@@@@2 Q@@A@#_50@%eα@A@@@@@@@@@@@@@@@@@#_512M접@%eα#_52'`o@@%eαMҠѠӠՠנ٠۠ݠߠ@@@@@@AAAAAAAA@@@@@@@!?edb>焕@+, G-=@~t0|r?R}9@EqGᨡZ9u𐑷!Uj;A&Permut$Sets#Coq@@@"op@A@BC$cong@@A)cong_left!x!yD!zE@F *cong_right @ G-/.*cong_trans&$! @@ H%:/-*!tI!H 5F"H0 2!ЩK3><@8?CUEVAYnl`^YW'op_commS_QOaRegTigGE\SZMW@ZC D nZ ywrpmkficf]@T_S`GripcmVpLV\,*&op_ass{~x{rzutwy2v|o@|qerfqpwj@m@mfm(cong_syms@@unJЩ U   ©^ ũcːҷ˷trHFɶ@5;42/+.2(Ұ2/(48: 7G°𐑷kiķO۶ζ@eͷз÷NЩQMSUV ߰   #!  A ߶@ᠩ @}@٩t}@b zݷLЩ6 $  }9<-A? /S@*perm_right=π,M -4IJL.!#>P;BTV@)perm_leftX,1$@GK\_Q6eݟ2Zt