"`΄ذ'Streams%Lists#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‘OD~Y;'81 ,+^Р'Streams%Lists#Coq@A&Stream,<!AϠA@@@@ @ $Cons@A@CBD@@@AB@BB@4@0u@@@@@@AAB@AA@AA20@@@@AA@@A@"hd @?=!xA@Pu@6ABB@@@@D<=@!a?!s@C@][E +k()= R '>''+k':AB|@@@@@7"tl @sq42*6#b"_ e@zx;9( +k()= R '>''+k7$':WAB|D@@@@@X*Str_nth_tl @@@ !n)Datatypes$Init@#nat@RXPUS@@A@A@@@@DtE!m|@W;a @* h+k,7'(*()= R'>7! 3%'''+k7$'+7Tk+7 T'7$'T8젒6,@@AAACp@@@@@'Str_nth @MK@;`ک@h/]@\Z㐐 P+k() 7" 7%'l|@@@@@ՠ-unfold_Stream @@"@Щ%Logict@"eq @  ƩA  @@@%A1DH@A@@)tl_nth_tl @@FA53%ީzJI%#}'*@@@@ /Str_nth_tl_plus @@ZBIG: 5_7;a.b:#Nat@#add `HFK@@@9@_A1GKN@AB@@3,Str_nth_plus @@ComѶҶ`Y1@6(&@@@@I$EqSt,<"s25"s1J@P @A$eqstXH@Ac@F@@BB@@4;6@@@@@AAB@AA@CA5h3{@@@+EqSt_reflex @@DǶq@Q;6@@@@@(sym_EqSt @@EڶSX@ː@@@A1FdJ@A@@*trans_EqSt @@Fhm"s3@-@0D2VF@@@@͠*eqst_ntheq @@G mk@CXh[@@@@⠠*ntheq_eqst @@/HݶͶ@   1@@@@&Exists,<ᠠ!P@;9@>< $Here'FurtherEC@0RKI @4@@@@ AAAA@d@,욂@@0@@@@BAABA@@A@CB$0.hf@@@@6*Exists_ind @rp=;>5!f8@c1d<.@;@V욂@iŠr@mʠrpA@!FVඐ!e^\ $G&CAAAA@@@@@D@0H !pz!;  I@¶RPSM3 +k(),B'(*()= R#'> %'> 7!3! &''+k$'+7 Tk+ 7"T'$'-sADhܠ]@@@@@&ForAll,<@[.HereAndFurther@@@TR@@BB@ @ '.@@٠@@@AAB@AA@CBԠ @@@@ܠ1ForAll_Str_nth_tl @@)I_{@@@'.@ m 4+@@@@@,ForAll_coind @@BJ1/#Inv@(InvThenP߶@!$+InvIsStable@@)(-@@@@@#map @QEKO@@!B @CC@  DLQ~R@m +k() -"'()7! 7! : @?: C'+7 Tk7$'4ؠ|`@@@/A~@A@@P.Str_nth_tl_map @@K;5<37B~Dy{Q@N;V@@@@OAy@AB@@p+Str_nth_map @@L[U\9SWb> A@@@7@@hAX@ABC@@*ForAll_map @@MtnuRl!S}@#iffС)|C1!ũG@@[@@*Exists_map @r !Ho@ĶKVڐbUP@0[|S^ A_JnUa\geǐhTy`lgPn(IHExistss^iup^Bnu]p|  @ ϶жǶ[ֶ@9oq l+k() + +# +! ++7# '()9'()9' 77&' 7$'LE@@@@%const @D̀PB@@7@1]@TA +k() -': @?: C'7 k@@@A^@A@@0'zipWith @l̿Qj@@!C @a@bb@*2!b55/ϷЩeЩnszx@'<(!)! d+k() --'()7! 7!! 7! 7!!: @?: C'+7 Tk+7 T'7$'[P4 xd@@@;A@A@@w2Str_nth_tl_zipWith @@NG\HAIA?b8ʰz@\"F9  " ԰$ְ!@@@#@_A@AB@@/Str_nth_zipWith @@Oklemec><&\'˰'k$Ơno@@@>@@{A@ABC@@@@@@@A@AE@@A@̀@@A@̿@@A@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AD@@@@ABC@e@AL@@a@AB="CDE@@@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"->N$@@B@@{@@@@@@"_9@uAA@@@@@@@@@A@B@A@@@@@#_10'`o@@u@A*type_scope@@@#_11'`o@@u@AC@@@@@ @@2 Q@@@@#_12@;`F@␐B@A@@@@#_132M접@;`BB@A#_14'`o@@;`BD@@@@2 Q@@@@#_15@;ax@B@A@@@@#_162M접,@;aBB@A#_17'`o@5@;aBv@@@@2 Q@@E@#_18J@/]@FC@A@@@@@#_192M접_@/]BB@A#_20'`o@h@/]C)nat_scope@@@Ǡ&@2 Q@@@@#_21@6㠠@C@A@@@@@#_222M접@6CBAA#_23'`o@@6C⠐9@@@^@2 Q@@A@#_24@#-AA@@@@@B@A@@@@#_252M접@#-#_26'`o@@#-B@@@@2 Q@@A@#_27@, 2AA@@@@@쐐C@A@@@@@#_282M접@, 2#_29'`o@@, 2CP@@@m@Р2 Q@@A@#_31)@!hAA@@@@@&D@A@@@@@@#_322M접@@!h#_33'`o@J@!hD⠐@@@ @2 Q@@A@#_34i@ !AA@@@@@fD@A@@@@@@#_352M접@  !됐#_36'`o@@ !Dˠ"$@@@ꠐL@N$@@B@@@@@@#_37@";6C@@B@A@@@@A@B@A@@@@@@@#_38'`o@@I;6@C@@@@@#_39'`o@@_;6@AE*@@@@@@ڠ@@22 Q@@@@#_40 @=K4AA@@@@@B@A@@@@#_412M접 @RK4#_42'`o@*@\K4Bk@@@@S2 Q@@@@#_43?@^sAA@@@@@>P|z@&Eq_sym"s1u"s2c@%Tdr'QfV j [-A$Mm]/CBB@@@@D@9Xhxwjlli"H0dtfvvh"H1NϩHI@&eq_sym X̩xWX1@*" ̟@(Eq_transRŶP"s3@v@@y^\ PG>y@(eq_trans!y31^@ΰH Ġ֐OװDB"H2  t@թנb#U$ 4Щ]\,@+q"  @ v%+)ԩ׶@ PRİTVȰX @_ aӰc eװg3(&hypind$éI>RƷ@fgHi*H;tu.] NC.ɶ@B{5}::N\C RC@Q4)6AF+8CX@&Equiv2zf@75eS=UxZ?WzlpaB@pSHUeJWw0YiygOM!P@AZQ]|@@&ForAll'.@xzNܷ0 o#IHm+%CBB@@@@D@ "hmĐ$_tmpO,|IC4zI אHF#Inv@I(InvThenPǶ@ٷ+InvIsStableɶ@ʐ$⟠@,ForAll_coindq@<2aA$+֠蠩*'EK%@@!B !f@  ܩ߶ǰ+@#map;V^*` 7#  װ3#IHn/o,e=C4t/vvlxD!nzpHHe>8?64E.q1/&16K4F)95;):@A3@U@7BGem@.Str_nth_tl_map&0>IN^lC]K5 R8Ehbi`^!SZm@#andЖw@A@Y~kg^ni`k@.ƷɩqS@*ForAll_map%@w.ݷ- ҷթ~@ط۩6L)ӐJѩ~@ 7 ِMaG@AةKȩM é吩Ɛ @`u@_ܩa)W9f:ĩ)QS@l4[N J:Z@JO?@yHAKJ<2}5'8PL=U%6Z85(D̿QB@@!C @@r!bu0ww%K@'zipWith"F9kr~<Jmto0@x2P+ʷ˩ ͩ~(3JZ'!7\U#Q !Xf#\lly"xs5qje6WRYZ_}:[%] ' !y"ysl*C~q5٩OMqũlitnuVw˩A  C{Cxyrzpig k!$hЩS)ة]ajȩ@2Str_nth_tl_zipWith HC (v;{?\2