"`΄װ+ssrmatching#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ֱt7-_q]= 񄕦CР+ssrmatching#Coq@A1SsrMatchingSyntaxA@@@@@@@@@@ ӳ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"->"_5-z@2ssrmatching_plugin@*ssrpatternF@@A'pattern@@2ssrmatching_plugin*ssrpattern@@"_6(@=ssrinstancesoftpat_#_242C2351Ba@@2ssrinstancesoftpat@*$$arg@@@2ssrmatching_plugin-ssrinstoftpat@@@AǠrHȠ@"_7@@ȐȠȐ@@@*( _ in _ )@@ @@!(!a"in!b!)@@@@@@AȠ@A@@#in @BȠ@@@@@"_8@@ȐȠȐ@JL@*( _ as _ )@@ @@!([H"ascG!)@@@F@@AȠ@A@@#as @BȠ@@@@@"_9@@ȐȠȐȠȐ@@/( _ in _ in _ )@@   @@!("in"in!c!)@@@@@AȠ@A@@#in @BȠ@A@@#in @CȠ@%@@@@#_10@@ȐȠȐȠȐ@@/( _ as _ in _ )@@   @@!(󠐐"as򠐐"in`!)@@@@@AȠ@A@@#as @BȠ@A@@#in @CȠ@%@@@@#_11@N*( _ in _ )A$@@#_12%c?@/ssrpatternscope!X@@@!t@@@@@@@@@@ @@@*( _ in _ )KB@,( X 'in' t )#_13YS/ssrpatternscope'pattern#RHS9D{(@@@@-@@6@"eq @@@@@@@@@A@@#LHS9D{(@@=@@L@@@@T@@@@@@@#_143 @@2R.H#)ss C@=tOue t l@̮NݿyLRC P-y7F~