"`̄ذ%Quote%quote#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ֱD~~&hW(3%?fܠР%Quote%quote#Coq@A&varmap,<!A A@@@@ @ HA@@(Empty_vm'Node_vmBA@@C @DE@@@AB@@C@C@@@<,w@@@@@@AA@@AC@@A@AA@>@@@@AA@@A@+varmap_rect @MK!P!vR@a,w@@ iCX@@!fIAH !aMG@MW!F@]G(BHY\g@@!F9;9g:A@C@C@@@@@@DG&"}u/&JH%MK!-|}@XVFDG> X+k() ,7'*(= R'>3 3 # '''+k$'+7 Tk$'\0'{AH|@@ i@]@A@A@@@y*varmap_ind @vtrAg@ƶ{#!|0GAH|@@@@@*varmap_rec @߷@@;D@ G <+k() 7%'h@@@@@%index,<@(Left_idx)Right_idx'End_idx@@@AA@AA@@@@@@@@@ABAABA@@@@A@@@@@@@ܠ*index_rect @ض!i@3@D,@@Զ @Aݶ@!'B&)"C@@͐.,0..@AA@AA@@@@@@@D97GF<:J%?=@G@B4 , # h+k()  ,='*(=! R!'>3 %'>3 %'''+k$'+7Tk$']ACND@@@L@A@A@@@<)index_ind @8`^S@: 9yACjD@@@@@V)index_rec @RzxM@!Iۀ@Y? ,+k7$' X@@@@@q+varmap_find @B@ -default_valuewu|_v["i1Ec]!xe"v1A"v2AaiȷTʠq K Iiq[_wР̷Ʒ|"v0V@/ +k,'(*()=G )Ry'>= RL'>3& '''>= R8'>3& '''= R&'>''''+k'+k'+k'+k'+Tk+7T'+7 T''AGtРuAC(ݐ@@@@@ɠ(index_eq @A@ !n!m)Datatypes$Init @$boolZ'@׷"n' ݷ "m'QB ( (  %A@- ,k(*()=Q .R'>= R['> 3%'>H'H''>= RB'>H'> 3%'H''= R+'>H'>H'G'''+k6'+k6'+k6'+k6'+7Tk+7T'6'9AA(\3lD.@@@@@(index_lt @A@ QQCOD?U>G<X;;J/74?YOM2:@\ ,k(*()=Q .R'>= R['> 3%'>G'H''>= RB'>H'> 3%'H''= R+'>G'>G'H'''+k6'+k6'+k6'+k6'+7Tk+7T'6'(hAA(\blD]@@@@@I-index_eq_prop @@@xjvk@%Logicv@"eq @L@8^Ca~@@@@@h@@@ @@A@ i@3@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AD@@@@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@,quote_plugin@"_6(L@ #quote_#_[_#_]_in_#_using_#_5C0AB39F6@p/@@%quote@E "$f![@E #$lc!]"in@?LFI"$c%using@="$k@(@@,quote_plugin%quoteC6@.@$@@@A"_7(@=quote_#_in_#_using_#_5C0AB39C%y@@%quote@E T"in@?LFID%using@=C@jQG@@ABt@^@W@@A"_8(@6quote_#_[_#_]_5C0AB39D@@%quote@E ![@E !]@@@tA@@@A"_9( @0quote_#_5C0AB39A @@%quote@E @@@@@@AN$@@B@"V@  @@@@@@#_143@/,wAA@@@@@@@@@A@@@@B@?B@A@@@@@@#_15'`o@Z@V,w@A*type_scope@@@#_16'`o@i@e,w@AA@@@#_17'`o@w@s,w@BD@@@@@@@@62 Q@@G@#_18@A;D`@B@A@@@@@@@#_192M접@X;DEE@A#_20'`o@@a;DEY.function_scope@@@@A@Ae@#_21? 3V/_rect_from_type@@@ 2 Q@@M@#_22@,q@ېB@A@@@@@@@#_232M접@.,qEE@A#_24'`o@@7,qEL@O@@@A@A@#_25? 3V._ind_from_type@@@V:2 Q@@@#_26*@D,}@&B@A@@@@@@@#_272M접A@[,}EE@A#_28'`o@J@d,}E@@@@A@A@#_29? 3V._rec_from_typeg@c@i@eN$@@B@jJ@ccc@@@J@#_30{@uH@@@@A@@@@B@@@@C@@@@#_31'`o@@@@@@#_32'`o@@@AA@@@@#_33'`o@@@BA@@@@#_34'`o@@@C@@@2 Q@@@@#_35@!I@@@@@@@@@#_362M접@!IEE@A#_37'`o@@!IE8:<@@@AAA@@#_38? 3V9 @@ @2 Q@@@#_39@^䠠@@@@@@@@@#_402M접)@^EE@A#_41'`o@2@^E}@@@AAA@@#_42? 3V3N@H@P@2 Q@@@#_43\@j)@@@@@@@@@#_442M접n@jEE@A#_45'`o@w@jE ĠƠ@@@AAA@S@#_46? 3V-@@@נ2 Q@@E@#_47@;y%o@B@A@@@@@@#_482M접@;y%DD@A#_49'`o@@;y%Dg@@@@@@n@2 Q@@E@#_50@8^C@@@@@@#_512M접@8^CBB@A#_52'`o@@8^CB@@@à@2 Q@@E@#_53 @8^֠@@@@@@#_542M접@8^BB@A#_55'`o@!@8^B@@@𠐒@2 Q@@A@#_566@<^AA@@@@@@@@@@@#_572M접G@<^Ӑ#_58'`o@Q@<^C@@@@!$@@@J@ŹVz-,3%(\@ACT(@3m9t%F(@1*DR<{i.=gm!n%Quote%quote#Coq@@%index@ @)index_ind^з!m@%Logic$Init@"eq @)Datatypes @$boolZ'@/@(index_eq8^CBAA"=C!iA!H//E8з2H@0%OAD:UE""i0\"H0"H1I>50.L@(eq_ind_r!2#m0/nUp#;%ZAw*}@6@f[R.6OMl:1/D-tijBZȐ"H2{@&eq_ind Jv !eyy@@@@@@@@D!bAs@%Falsee@@$Truey@A@)False_induُévGByC˶@@| NM]zJxC-CC@ǰm˰ ӷз@԰ɩ+ذ- kfdN?7:C@@ݩԠͩA ѷKL@C@*@(JIuf $1HC@ UM+eO,з/@ X6Z8 $?cC@@@)j-Hlѵ J 6QuCR@$@;0'| ?Z~C8&&`C@H=4-Lg00V1-)r:C950g