"`ׄڰ0RelationalChoice%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ֱ| mC.)ͷ*E۠Р0RelationalChoice%Logic#Coq@A1relational_choice @@!A2qA@@@!B2B @@!R@B@A@!xC6$Init!@"ex @ !yA@D@"R'@#andЖw@!@+subrelation$%]LE+.+,@&unique" ( &@@2q@U@A@2@K@A@AB@HA@1@D%Logic$Init#Coq@@AdA @gA1ɠe @A^A@`A1f@dA1Ši@ABCD@@AA@@A@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@2q1@20@ABC/@@@0 @0.i bYN Z'Decimal$Init#Coq@0C涳N*ua<;:@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@"_5@=@A@@@@@@@@"_62M접"_7'`o@D*type_scope.function_scope@@@AA@@@t0/b脕@x'=L#-,A[@4dqz2Bb:@Eg_R c]pұ/ۅ