SQLite format 3@ ).C  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info r<4 ]/]ZF-Induct:threads=6elapsed=3.327cpu=12.004gc=0.4727zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0%MÎ|FHXȄf/^ۜLK;*5䷛ғ_#/Nj+:fuP~u0yݔ1ES.?-$\p(%Lzd"Y@Me s%UVƻ0V~= hm*P(0gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz<_9? qɃf3yW$&vJ)^Ұzcs!JPBfNԷ>ж0>F.v 4~pG>+ٗ?CͽO]{p{hblKZׁqlNel`>,NR:V,Ep7w 7h n6ewחfZFf咩M֗tRfڐt;9gYZ7zXZִF! ]ŗXi%Lµ&dU:$K60ey67/s;2\Q;Q3LQ+H]zګ/ Ew`xzx=*"ڷ.QbCcfMPQ}LksCَ8&tD>Q'RFxJ- ii&R~BMD"=xv@&N%eHuE*nA "S=,% &'E6b&}D8pF1v_9"!k.vH5uٲ ;UDyJp{TF!(G_nr&xBZ^"[bPw z+`bN&K[٫wRo%_G؅Ӳ|~@ڢSk%뎒%P.4 3闲: -7ԖiZNH(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+Ƣ*=|OmHR%[CÝ๩*D]S=+0P-!X3!^uZ:_$󏢯} |Z~b2";,eHԧ ;?/O_~zt<ìZLm'OrBcĬ~W!jG~Ov n'8W;hNAdnkNwkp,Yyi"țy_2!!`5'}dzCK*Dͽ3c¶3yaSĂf{ƜQ0q-Ǐ%λZ="GZƴe'T`ʖ}ԉ߅1>[A5¬ (!tym[g~wm8!dXX>7;XmTɻp0'hmhVf຃Q8+շVG$D,IssDl[O7.YԄ U9vugCxnKھnMĹ q$+o 8CywC?Th 8pu>uM8^}S2`;)Ja\%kسFsenR**HTfEWp(QJKBGޕl~_TfGt:pB2E9}Etldq\MprCa}Nɝ=:#jϗn6|6t&]nΥGy IE7;'I#$.V8N!fv|LN!k=A煋!Nރ]zQFd/+DFb}\j{>ى5/a:E!N#_As=1TˈC3x\8bږ+ҌK z:l,5t~TtS7W#tm h_u;E&eR-b aQi5W=8՜keUP`~yeT{[vRj1|H[ʭd]m*C 1o[24~1^`p/1GpN[JmSzZdATv& ʀ)(K1q C@qUEIv%ǝ~^\~ڑqfC/Ov8`P懤Ig.IA*Nuk$oUPp>0um58F~@ܩ8bX5;7+щ4m1)r׋fw{Y= .@RԸ)S^ aC̐i# u>RV2x9gqjAɡ/9ͩ~49]|/!EkqB{ @mD; Q%T xm~y~nSC.G )5yF٧\$"+xv4`=ѨrNYi['.a$a|ܲa 2{?n]X٧ߋNYU5@$=D)-7U<&  F!̀2W7uf&P(OAw5A4^f9a*\?Sb[%_ٸ`_=z @(,ߵx3C鼩<>5M^Aؕg[/PE+ R@[g'W60xṟ1$Z^ N"Zq19 JHDr$C6Gʚ>(1ӹ2?Զ)"Ie'lXMێrM.b(ͨ6 :!ҵBlю7 O xz[d)YE\`sznyK:Jܟ&M;_*& 4Sab?jx/G 6:4Gֈ5RnU#Mac Y|JbSer?&(jdw=gP%&p"1Ff_H3KU;'b+Wfi =}m+^Wu iیs[lZ'%t9m5BfW" N Ğ]A!AW9ϻ&qZŤ+YSz>G~wĵ5/|%@5βV9-2?C7 DD) j.f֫>d'1cQcpx BO48QXMvm243%_eK7Df4]{(fW5OtLI,7lŒLSUꡝUz:Fi;A\o既e07&Q?f@U*/5C'Um&K3)j-!/JpyH=ކ] 9S 0XK/I"ȴ-dq8iA DR1Tw׈~V4ZW>brӻ#G2NRex!߄x7k7*62a$lo=@:9lH15߈}bۂ{}5 s][a;Y\tX;Ύށ9G<*q6 `өݮ\j'Re/_jNUE5t߇M#"!          D   K  < ] : 5lk  n  q617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex.)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex0+1ZF-InductZF-Induct.ListNdocument/ListN.tex-'/ZF-InductZF-Induct.Accdocument/Acc.html1+3ZF-InductZF-Induct.ListNdocument/ListN.html/)1ZF-InductZF-Induct.Rmapdocument/Rmap.html839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex93;ZF-InductZF-Induct.Datatypesdocument/Datatypes.html5/7ZF-InductZF-Induct.Brouwerdocument/Brouwer.html0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex?9AZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.html719ZF-InductZF-Induct.Multisetdocument/Multiset.html 4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex 1+3ZF-InductZF-Induct.Mutildocument/Mutil.html =7?ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.html 1+3ZF-InductZF-Induct.Ntreedocument/Ntree.html 4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex5/7ZF-InductZF-Induct.FoldSetdocument/FoldSet.html5/7ZF-InductZF-Induct.Primrecdocument/Primrec.html5/7ZF-InductZF-Induct.PropLogdocument/PropLog.html/)1ZF-InductZF-Induct.Combdocument/Comb.html.)1 ZF-InductZF-Induct.Termdocument/Term.html E)1 4ZF-InductZF-Induct.Termdocument/Term.html7zXZִF! M ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+Ƣ*=|OmHR%[CÝ๩*D]S=+0P-!X3!^uZ:_$󏢯} |Z~b2";,eHԧ ;?/O_~zt<ìZLm'OrBcĬ~W!jG~Ov n'8W;hNAdnkNwkp,Yyi"țy_2!!`5'}dzCK*Dͽ3c¶3yaSĂf{ƜQ0q-Ǐ%λZ="GZƴe'T`ʖ}ԉ߅1>[A5¬ (!tym[g~wm8!dXX>7;XmTɻp0'hmhVf຃Q8+շVG$D,IssDl[O7.YԄ U9vugCxnKھnMĹ q$+o 8CywC?Th 8pu>uM8^}S2`;)Ja\%kسFsenR**HTfEWp(QJKBGޕl~_TfGt:pB2E9}Etldq\MprCa}Nɝ=:#jϗn6|6t&]nΥGy IE7;'I#$.V8N!fv|LN!k=A煋!Nރ]zQFd/+DFb}\j{>ى5/a:E!N#_As=1TˈC3x\8bږ+ҌK z:l,5t~TtS7W#tm h_u;E&eR-b aQi5W=8՜keUP`~yeT{[vRj1|H[ʭd]m*C 1o[24~1^`p/1GpN[JmSzZdATv& ʀ)(K1q C@qUEIv%ǝ~^\~ڑqfC/Ov8`P懤Ig.IA*Nuk$oUPp>0um58F~@ܩ8bX5;7+щ4m1)r׋fw{Y= .@RԸ)S^ aC̐i# u>RV2x9gqjAɡ/9ͩ~49]|/!EkqB{ @mD; Q%T xm~y~nSC.G )5yF٧\$"+xv4`=ѨrNYi['.a$a|ܲa 2{?n]X٧ߋNYU5@$=D)-7U<&  F!̀2W7uf&P(OAw5A4^f9a*\?Sb[%_ٸ`_=z @(,ߵx3C鼩<>5M^Aؕg[/PE+ R@[g'W60xṟ1$Z^ N"Zq19 JHDr$C6Gʚ>(1ӹ2?Զ)"Ie'lXMێrM.b(ͨ6 :!ҵBlю7 O xz[d)YE\`sznyK:Jܟ&M;_*& 4Sab?jx/G 6:4Gֈ5RnU#Mac Y|JbSer?&(jdw=gP%&p"1Ff_H3KU;'b+Wfi =}m+^Wu iیs[lZ'%t9m5BfW" N Ğ]A!AW9ϻ&qZŤ+YSz>G~wĵ5/|%@5βV9-2?C7 DD) j.f֫>d'1cQcpx BO48QXMvm243%_eK7Df4]{(fW5OtLI,7lŒLSUꡝUz:Fi;A\o既e07&Q?f@U*/5C'Um&K3)j-!/JpyH=ކ] 9S 0XK/I"ȴ-dq8iA DR1Tw׈~V4ZW>brӻ#G2NRex!߄x7k7*62a$lo=@:9lH15߈}bۂ{}5 s][a;Y\tX;Ύށ9G<*q6 `өݮ\j'Re/_jNUE5t߇My}o-&5H~YsUkxxpL1d$ zMw dM f|>.: ڱgYZ =)1 $ZF-InductZF-Induct.Combdocument/Comb.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s:kY**tb-'vK c*]LؘkA<[d =+"waB`!U7L˸ݘW ӐEtD:b!!B*qB [=*&> IzA.,)j19.W\8a|URb?Ǫ:uD fG'\d 9z+\TɉUHVj6$MEhE7?PJo.XqP ")Wxˈ@̥sX+HvxS+f+&hW+`Ѫ[S)-Tm&ڏan!~gOa21Ustr+&9pry,7OAn?;,!>!S߱󓚊K̓m? +!iiPwf ]qKU~}ETI&##?24lKQ(]<ȑi$#`<8TC?dH>?ķC[Xc6~AКLIG 5gB 'gU5"]zf?;~Ӏ>R5LC hq\ H` LyEF? Qw "هv|W O?/?⨺xcc ~-dk.f=LKMY9/:rWA,z S) yUk1* zIe.?Hr "p$4>a&3AitE3iR@ 1We ~JQ Vz \yֶO%5t 3&D/+TIv[j{I0(E,|t@ѡnF`P n9rhcKe2&x6"JֳC?'#y[T[&Ul۰0"mq+r&OV|$u(`.蓡_8xTY4y6ӗ=bb#^YOA8?˽rq{"zR`+kL9?F-?2@QTsÇtp"{}j_VGʗvޑV FT`=qC, 6r: -IBU}ի4;ž>1a.$0bRǾɁu~(*f3 c,1 `?C?oFb<] s(~mr_Znw1f!Q;qwD0֎M{dOi:&OʲoDG{c6/T c苷]1jVU1_>][!NmK{%F-2\B(8`|fU:c9~ FqdFko: [24^Zf mzu3W[Ƹ@ cm_+¡Р)PoiϯKySjHP311SxW\Quړ\&H ^נ5b 455;k Hpjפ %?PwʽØ0`TC}b mF )J&^ymWC- ֵB BOԿ@ ď;M ,ҥRX`";z$ VDXe0^:!k'F~]y5 Y]> kPsoRzM ḭ+^[eyzC P7B#py95ˊ#\7>xH<_-V8 I̲YeƋ#jA$t'M|V֭ xDtи 77~Y`䦹6VMR󉵮ΝpY1K]q#T{ Ww_v c:Q˳}NLY)^qh #(]n kݽlqixݲ>g@#rs*'0qnZTMblU`H \IKLB$gquh,ugêP8a'|]ImRGn-s;XZJQ=mZ撌L?w @w5}q AP+DQkӏYN'L7I"^X 4ZνI䍿'=;i `J"1I(~GS@u*TI1^˯m[,%8B%+bxnU4K{X[՟i㊂6 -D-Zu/DYPDG8>4.3J@ia'hϦ!Nu0T-dg?cWx!y1˒؀giXh\R t5 ۵* #op/- aݱRG ĄC0bA[Z` [g= ^yW JTeLv/?ele<0 Pv.I^Ö x 4 Mrk2'~ 4z_jńRǣl0Z3^ȗ_z'wɗ@_ojte'a1BH3E(D{“9$ΚBe˩𫡺ե&#y7]qzМ램=)ҹno $d@):>Ҫ:v+H,=뭲tCEZ uj-)GF=vTy<o @Q(&b@y~ÿOy}%oHӢ`)I;8#])גV"!m{S+2>mHuP}[s~ky$W[)|"n!n&"ŗ]KxgHJ61yF>|z߁;\[7yjkYLr:(& fڡz\IH3n5 c6%W ZIDŽȎxj4OTƬ >E1cȚ-;2PwlCӺ B!,k:ͧ۹xxQX#O"ڍN'JXBЩ"I(j]CŚovu=dO߈!;-ȕu^B mQS* =Hk3jh[ բ]4o59Jr1pϐFu-vi;Jh74N r'1 tlEoaL$p&$ >b3(*^"3uM6ڇ,9~a x N"S}\93NW/J, ] 32 ɱ̆P/-?z_"(Hy0SUk^87'iy bnx{‚1ĦwEo:Y;+)ܩI {9s %ZkB)وN{MQVeSQYX_ ෷ySLrlS`oW@R@U@.J Y{[JfYutdC4.nRK'jDH6me|>C+v #/&>"Wv_j Z2/; u_KTww8fhtYS~~GыZk0YTv,kpGI`,iVJ+BDոE(:_~7 ~':v| I_SIv;t Wb̈<4Ԑ%&\,۰qv荴9zr!#wi,uĘezv"`ӹi=R!1-!&#a ~9:=v,4at@+Pp. Yk}>QZWzCq1Lb4S^fX)HPؽzmF]JOpW.8iqN_:.,*q4gSq90*Vv9J9ࢉC#݆/{9k!Ick{H INrNMS~?&gYMzgk)ޒ|Nmu^]̄a\yt㾌G;<f0GJ72u/>cmѪ]oW2:q ,ɡ!+~QOjaq ):}8Lɸ&MiT˹KӜW!M^NRC&bG'ޔ:<&|*< -E Bygc @`]N]&A!xtEDSC#&vgYZ  4P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)pHbʺLi2Fx+P$ZT`~2S!n<R_WZR@4u$AZ\w[ﰋ Y0 HrQr=A^ &~4ym&Mk;ewšc4Z gMDŽ!#dh>˜4rJX^Dk:)2R!130ڽT?4\3EG5*Q_*$$C;vȍ2.1YqJ%^Èui\hY+X?3hvt|c9Iw(}ZtizHe-:(2 nЭtQlKmxG1\W%l]\Pg&ɘ>:<}(?Mbjjw׎FAYedۻfpNWxF#ƁHH ,náDx̯D1꿃*#P okn?>UBlTb:4Hb8 g^qָ=u$#)р:ݽ#m^=3Tb و$ QmZƐ^ @|F{t-^}c6Ω` *%_NsRfErD7T48Hbo=IbM=f.oh,P| A [bpp8q('Gu2o~J7 /7 $ZF-InductZF-Induct.Primrecdocument/Primrec.html7zXZִF! % ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*j'&LElj䣎N͆ xpXs=FkbB&Xc a S.r Z.cˁ9.ϐ9Ek(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*!kLx&'ԫP /x3xejf9ca^wNk!6.^lSm^0)Bj!9x7*.Z3G_cO0UC/ <<2^*V8 &Lc&lɀ ֳ8tELSo14V1FCT&5ǭ7%76= PB%H5"'QpߞUݤHb!ٸa}˯U"aR3n_-CLK_>eeTXloԇU:Qњ€ߑK.VL]J0fc) 6*e/ܘ)6j檾GQ:(Dpg<9#U3eanG?\ol-֔8⿐P9p9D͇FG p|'#*8CUH[nd-^.3(x{ԬS4\%}쪠>tYN 0#b:'/d,nٴCG m`\$EX.R!*}1hi ayЂ C-)V-ؚ0zq=;: k& r"ݲO5rUyIN;~"(YckT z3_Z,4&R^|)P cJ@@s HZ;mȂKyN@ Mtt VBE9u%Pp`1GLDXT q`vF~Wx oܙ^wKDrNV@AG@Y_jiC!;I1~H\&:E/.> s Ι'qr)v7XYBFpQW=f 9ӏIA'(&5m`]W68pzJ;y O,902rR~l&faDc@}7V4Նb3L~4BfT2m#s#3,!" 07fF]J;|H; ,ǩ4 7Ak,p}-`|q]@ Pﹺeq SB-%7č&T>n Lt⑶i=d͓!YT􃥖䞝q.Q@9u )i8zVji&6'4XӖ)95"_knm՜.Iºo2m,Py .a#4_vzlzJ]USre mNRDI^gGqf>1&RfDZ$$EdZ /?yb Γ|z\aԑ]sow kL,~`mx|D>FǃhsY AiY[ڷ˾9h$D~)Ɓ` }o"sAz+)pnf<9?B.N. 9kcYb?X*R"gͅqXz3tݍORy;5 )vN]tvmP!qENWѸC%l6x2wS2 |].SF=pΊ3| d(GhSI\:\6?)޺o̔U(QXCh;aĻz҆׍b0JLhQ@K3MY-19r5vt*4Y]&3{5&|378}ӡ32+qTz&P}$9ũlA&.߫" >W?s"Ž%Q./!Z>jUgf[)'O||N'f0n9 ݵf Sdhu{rO5obBVKWTpgS,bnex# d$N˛N-Ͷ]SۆQ|(p"Pz-g2,P5` Vfu28ٞ#\`|Π›"DV}rDrE3xh{,|R&fd:mk'ƱrpR=w54kiڵ>U+:!5 7Ncu{ih`RpqԘV[EB˗;7{Ӟ;b GwH"_xG6ex h 9k(3=U;Q4/h \YbyI i4q1%  h'7xLn &95T\YE2a. JSda1U\:[ɇXta|wX ThFJi.-+"Ji>/<ɼq{d퀿׫ehPі]6s֗T\f~-E=!/0^c7ul*PRtZ'Mjr0< +Z\c;[1տ,ᐳ&EWFJ`=.[YpfO"3DsLsڄMlT}ɘ_bL_=`"Fv0*ϣ2$Fyrcn]U#G X ' R%.$iݣ m5p6hjWC3jxpjhŅ,6B(R!XLxBE| _j&9I)sZ|C"Szo˯Z:Z'B+i-a=T#ˬX3K@OF&H pJ :@%ΘuƦN.k/V}Iso9pqjt(O&ےP ;NYRM]hZT[8Fepve4L 3SfST-t?pڊu¾.8ZfFk6̬([abW`{ qb%@4m;ptt9K@mwտkwbRW^يm阠L׭dJJ?_ Yyk#v 1wb%2~-6WZR7ȁhf FǃJ m~`*z*:|A)*møD. j$ߣFX}ϒwEAE"xԎը;d MP8[hZN:wq~I^r+$TKߵ)?~Ԭv- ݶ RR M|a'SIkA\SgYJ(O#zj:j;ASK0 aLġbeTNp:-zKVM4@Jy %7HÕKbB=V3a`R}Ŕ ῳ<-&U}Y9.Ժm-z·9}׌a^CXXKzf$揪f 4'ˋ[#y @O6E/.=54+Bڻ"uC 铅y g׹}YwpFKHv8f9?*}/Dhb\Joђ׻||qSpDZt>mYc띙9>w=>?S+"A\~ee֛6:L``U,`+\5&xҲLK` %E䡖"&wu+,ؗE.1C:ے J>/DX \1گAVOݲ)1eO}}zu';xH&!\$1/Y(N(Q|~K&rqe|%FWo-+QlNNױ,%@öғF]~.l ,X}ZhPzH s `$n]gYZkDZ<yKQfn㇌ogj p/!M$sUݶoVCD`VK"(xMRw{RJdW.e-p kTou+|ܷv}6`vj+%{B`RH*'Ӱ:j4~;NiT.BIֲMhaӸQޖc1Fŕ`Vy̆?TIG{꿨 #榘'2ݵXyN,cue ~F c>Å*V/ԷhKN8޴TXu#_J]/W'}vhEkRRP.noCOt Bj3|r0'rl0[ԺŌ{(4N"BK6@Jol>NrVGd@ᡕᵊMxJ#XXU( jmh/nX*<"KԘҊpb {i\4'Eo f\+[JZomxU\VX_(! :fMfQ 38x8Pc"H3`)TΠO0Mj] \|Cupg?&v~~ޜةsLX-P@e]# /r خk|}N-EX*m?3^  XW>%8`_%NpCEֆWIE?qFXz'aˋN Q/-Rf@RNKPq!fdBFLyx<ku5Up$h5 }*5*_\q[RMf .3u0X R17Ho}VW,y4 ty8M;u}z[[K-x{,??`F ֕H J XPl#eGc 'pdG&`67X3py.t v%Ɛyl\iasoKxb\h剼{|Pp&X=;t>lbՃajXe3|{ҝ5=uGrNFtK·Ɔ.Hˉ oOx~N3XՏb: 9"zڣ?tYKǭ(Zxr/Ux$[L/.v(ʜ3*(HsM9hB|*@:Hj2GFy=&vn/Ê,<o7*L K{:2p܉ mX3ӬS]ǹ8Ii4 Uă=yCV@#cq׌ΰۧs Zo܍ m, +fx BKJ.5>3,Zi~ky<,`C"5otH`[7Aqf+{Lz#.KzY~a{V7<4?3FllK$f`i;zYI }cuENg3eO5U &"v[/f:2bN[@h |}Dl/TZy2@ r*@5ıh/6܉k ԃxia;ߐy05.V n+0N<'| ]PΤfݚ7/ C Ș8(3V> wer<# NmRo=  5Gxح *{ p!Đ۳;:fÖ7j*QdK寚,eQ// 6ROE]'W$?Mt'3?_cTG~yE(q)kiz-# 0Fdj9 7G]eSk5X3uEv'r dgZع!ԣ.}f$v5^Oks'L|*0+= oU )lOIl*̊,솙@yq-+N%^8H}ڠK"f"):][V@yL)~XlEr[j2Xf 'D;}Azx~yLzo/,D\&aSt~?sQmTULg@!}y-^AXd4$N3Q2oO:zbV#&=cp ~I'»获i:xir9!@-&棲Sf8s%,=EP Z{\Y}@gC,BҀُgRj:tp3yCT }IhX@?Q[׆Y\gZ׎C$,XhhUxzgPe;st{E,.gYZ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb W +3 TZF-InductZF-Induct.Ntreedocument/Ntree.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*BI &Z'od8"'[JRuZujpFŨ *MCr}LI8v'Ҕَwct68M\0ɑ' b3SKY1%KɵQL,]ek+ !O j,?4jLZrr7OZJ J ay,ݩq<n q~BқA~ٚL;NC $ 5PThS.LX3:I.?zQi7$~仕<)xQѪ2B iT"`g<ߍ9..'w=툥:!Vr,AyR< k6u.]QQ}7Gg#;i s'UM)ygK[HS7 }ҋuK2XTHO#6-ƭ$O˪$0n ҿB T.fhFrr<޵uC.wVF=|ٛi[Eӏh/#1^y ~q̱*5GB[+J&j^ luo1s HNAt ۷R뱎2=_K%y@lV-w&F w­0igoIq Wtw@:HT]\FѬy " fg:)Y]mD8?Gh2RyߐzjA]Kb|AA膺˄t_L $S 4l A7"[e~ePon-,n tJ #v%I3qwu}!PZ!.kwl6O¥Tc/ЀO66bT0zCĪ??%f]f\F&") Hx[vt tfbN뻘c7iY Hʹ@`;>q.+A+rL5TÞ- դ:0 |ƮCd~GN@q¨8j5:0bKyFLl(T~S-j̵PJ}{)S47ñ ß=#x#roaö:ig_ ^b娜^)cdlmv룃 N35 5L:<!ؽ$uCSBҚC2saes S2R-O/Yg : X -Exee AH(VgYZ { 7? ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~t~m=aJ Q2. }GBç'/taL47*)y#@Jx==0#Hsw0he~R.ĴUl*ʯѼ {}%2'cˊҬ:S,*A˟ V' *CxQAB(8Mp8>rQm ^r&p#2bWG4$4QNE,CWCh#_`}RTlX<kW$~r2TSծŴUl<\p<[֓8s{3p衋ҍdMn|ĭ@Nwu*8;x6%iR\j{'^"+^NZ_b&6@oL񣥍c`.^~7rz~0>q%C]  )!j᱁ ҶH5ZzaIPP ,p%wC)}mS 5^272Wr(x7EM;L;4L]jFzM?N.ZFo[T,&Fʁ3 j3;kz,mM1EA;Y;5n ac)GQR(KUiv\(j."8R u# Mj`!{Ae%ihY6;Pjؚ1kMz2=l wf"~up.bd߆jkF{(X##B m8n;34.Odf s&8n@}+ܣF# v}k<7d* 0 S8_u#ypC2 ,.jo.DbOnƈLh M/'Śyuy:tynKDL%iٕ*'6* ټyI쒈ښ:|i7aHИ;CbPr!kpܕQ,؅/Ts!o'_|`f\ק%ZAm-Y 2_NfDsi4^2Wy]dPHK{݉~uL Sqǂ%7@?ݣ,0#8ЁtOm;YP v2<Nwa.을]_.v`Q_>F(I(c#qfM &-Fy/|Ţ35-/ATP?O OSA)?d `72:*ײ)[g2l8bAê?|F Ey}n7vG*-+snYbW{\*339 58*vXH}bIk4V.N8D˜?1C_x]Q׮FWV>@XC|pɚE*P.rx`K]&i67O&c;}o@COl7i(eW+cĔ208qdo'AYq1LOvwk``Yx/S+N> sex//U"[FS@N{RܪȻ+;rHixkI͏%)_a6hhoUV=pcf79b"_Ee͒h_E`1Q Gah23DIPYRmas<7,*#X"ieJMxNrP~TŁB߻#T@ޒ 5 ѽb9ݼgYZ k +3 |ZF-InductZF-Induct.Mutildocument/Mutil.html7zXZִF! $ ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*x9QcKSOIڿq1G(q[^ k?H zhv FҎgux;X(@"-Fg]L_//,adk& ў? eazz^ HJlt@GEEyy(tK9 m+2˭q*h&mLͷ0-Wt뫫qYAcfBOGX1CB"bq9z`U̅'|z_8ܝ :#z02 PuF-,̓<3aѸׅbޮn9 L{ȯ [S\;gNY'Y12#wiWGw1Ǵዻz"sɄs2DFV`Ku'0J򬼆byVˋ8*w"9e؎:wsBY v8>Q_ !{'[YUyh*7s @z0*r{1D $ó5 E'X o~`$c\Y@zk0"䔎^qA {1xSR.Rb ;Thi~9fߔ:pGjVe?zsN{k-[~6]mP,uɽ|$r8)},e.3fܠv^0}&Qv߁1g`;4SO7eJ=pM02u(&+7|T1{ra(y(20.+'XVL>ȯo z!WiMb!1h8{'mcx|X… Է&nNA-$`|nHc <;EfF/iZŢuX팲V+gEM2%=/Ȣ--; BI0\3%톥;CctDrxmx3:TM9"fHi]\aTM?+kd5-DŜe//`JEߙTBT #?/LPaYFYy,BR,iS),ߕ2ej+~m!S_QTTCӬDB*Fl^4lCLăF>E}zIeˇsO*PW"w5@vģ4 ɸoj_?r5=bp 2hp,5 0\܆t=tKf0Ο4G7pl`~"CCev8/~g u hBGs \KT6vw2:;[ʾqc9Uz8CśɝU:lsrF$ T`-җ6G)lig\6#MN[c!Tq5wZY^$%U_{K [P+@I>!:G0LU(l.=UAbc88!gsNLQb +fqd lN; P!ՆԣbNŅMY-+' Ȝ2*jMd '>f80/=+:<Y@ )J~|}P~l>%%YZSƞxc}h|˼*«8 2r(`끰Wh kп/;0 >Dk饞"bu։Z2.HpC۱9эX nf9JaecQ54 6$jת1H 6BC Ej>-^N ^ Bs߂xФbIp)rRrf.O^@c0,!忲j hFMӝx=vbO%tbn*eA$ƀHLQUv&u*5‘Iʹ Ԍ}7gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ j /5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`IxEX~*:kWG8E"#̳xwȣJn/vq`_q;>a2wBwܧ;X/&aA1vL4\I~KbU1lSh<w)ĤݐWvy\aB(7JWw% k+4'xo96)0р =*Q"ӭ;c&2m/S I=P$  k5^A8SK2Z*d1u>Anj"lJd͔$Sdjv4B]{#USC$Mp wnj*CGp"yK 1i 1Gd )Sw-b%&̸Ie+tHޭ>JÆA#ruW\Ȼݔ~A !>2⣑&)a8g 8맑~}q5(^<ҳМ;yXBCis37C03- RcPܕ~k]4v}%$F T%pƼJY(D T!.AAF\́ǎLx u*|ɑt =.ѱ_$]&L2nRC[.td~WD0+Izu==mCϿ20K^z0'm-ՠ70Dp!OP|34Tj/SY3VO.1;5YUxB-w14TYOY]I%nɮT%bײI_{*(<}kV`nOKyߥ᷄iҁqt*_>{!`W;)˱КEyRt9]<|gk, u؏ۣf5.wsѡ`) Q>mfilâo#>Rڇr Ӭ&x,!  -1|4lM،PB)[j8"Q!H6}$BySSϨ0jCPE3H@V\ߗfIҷ¨y: k$Z9Q|J1*Qn8[9L24_!@*fhDR`/!էs)Hi]7&{SDX&$'d=QdU܂Q`=Y3\AuȚz .Nj*4qi(ܩJYB .Z9HN_GC:1kCp@QO3$4oECĸLh:7-f ''d(:֬vQƇ3k/&i͜/$yG=j -Q 1(jEH866f;R U75ej gZ;wE,g>@ZͻEٰ%*RRu"sf1%kZ`tLX{ٵP@qTbjxAزt+CZ64ۉfAXMn=.7X(^8ɃJ`C:P r t^b/j9lPBXn4C ۤ89:~oqz/o_] 2d\a;ˡCUA!T^m݅~wOP]A!R;U.`M2i _iR5?,[mbZcP'WR% ;$2 rpSg vQGD'3-e5d2sf7 O47[<"|1WV 9p)WҞ f0`U.s&y·=0w߿o@yL ERv>ߔtqcWkg~f̑SgWT_#>)ڰ~Wc[d'431do!$|'& &6 Uy? GAIjGJrNA*h|ǻYLtc_pS`@ CsrY?3%hW&7{^v=f.taLFEQN-w+ӫQT 9>I&cRcuv.kU,>ᙜ]CO$¬ Y|W]B쮷W2,Ff[<2ՎO0x6 N#s, AV*O6ڤRZ~f6F䮒$NӅS9jSY'WV**V)jgl`[ SH-Btw#Uɾxó$G/*VXώ+K&!iKg caSEmBt|,WX9&xdjJSD>چL?&.):5c$N#h :"*X Ʊk[j}_th.u$?P)i`{'nh3?1ni6~jc䤗gjwcgdP_gmdNn˃JBϘ:%fZ;w},|A*|J|3#*$2cVr1$?w =uT*84>Q/Uto`4@h-}RY0a0o^A<\r} nb)]"=tD|x]q'_:=˒G.4+Yɀl n3U#Dbه AMٵFgsN\Dg:KT>9ےIՍ2a%e-eߎ"<.%7]n#VYGjHvM_?|5;`4Mؙ_H˨dOS)WO]D{$QMuFMI2X**Nǃ^pQ#wZٓe܎\ Uyh}FD$L2 t$ZMi1 sHKi:kK>J^feڏ1XtG[p&ʕwv2),| {xM*n.ΉqY<B.](@ȭꕷf>~{?$6XOC/ak!,B 3g3u55,9rA3b)X͟/Rg\.3wܪGI5.Ev L[sDu8L1%W70Mzz\ c5$} 0cxS=&:*hDPpUK]@U -: >V{aU5&8cwx$L :)@;Sс*o>^&L93a#NثR5vʫp`}q~tsM]7ɹu /ԙ@<a]B8\?`F?A 7 I3 ênQՉ7#8TrUF˙4lV s%Rsp!5SmqG`'BvE\h$wU nW 3wJw(ر VR[O#yf#i} Žge>Ob)+Cafv8TFzQĽ,G&m;JGC:JA~͞.,4y6 &Z/sh7̺,,_h~0x҃~p@6lenoWC[$ ;Xw_곛V: 7%}uXߩ1X{/~*q}Ƞ.v9]V|ѣ\[ɡ [|8cD3+hؕR*ԒXF,E<97["ً^MS Dl:]<Ρڥ.$5:/%:{>C5r!3M!!aY}SGvcl*z0k/ơڊ ;-s W~2a~$?"m(C]dҩ&z  ^ד{F% *c\ߍPлa6ȄG9Ibx l0pڀ6 VK>sj2龡)De'#Əu%R(jGj[;y2*홼d.>\|_%?!cVwafhK6Կ1P8Nlʍd2ɛ0 4^- ۋ6C:#:|ҘawAI,3܀4jj#@z;b=:MSY.h]йbCvϭC}0\-#1#(Z%JɤV_B:͉!+U/<*oAi%{tdԻ\~1OI͚c5 T>a+F"qy=t[-$; :0%Q& G=M6!D0K?L>^ǶXn_Eߨ}XU/"ls q0uC^D5jB ?j(ft <&tOiE^wwaR:w>ȸ2hj "-@W}VO& NwIJV5mY6"O>=6@1:8,N_DuӯLڥ,'`A)FB3VHVzҗw̩ k :>bNĶo:k1|rΖ1V0#1RX}j0 t0F$Jt}ֳR鄟7V3x&JwB־°#KH6*8IlBXq&_DE`)P=LZ PT.h@T88hȹ f=P[H8񫍣;ZAwP΋ }k* ܜhx56ə5#gT471flF-dZ4EuC#YU]GFKz$hKMWOHȡa Y%fv8ˏS+Y$"=2{dסi*yݍ |رx')g"@<47hA!7בLNGUb^xcSP?—br^`VЌǖFkuH3(EU0CC{Ӣ -^ҞCL Ic$SHE-='1R8ql??N{ 9ٳk+{*me5_wog1#'J&WՆ۫7Rb+y%dϠ V=vCa~Z0cGf'D ɹ VZw b)B )ڌCU{tɽl!4oyRh|ȡCQ:U8׆s/&z³؝!RR)f3kάyFpyn;iʒJd0؞HP$.Նoh\V>\zB0Tk*Ϻ 41A`G:cCn4Ķ ,JYZ ֹ"Ys6^Cl|Ns@q)rէFLmPfӵ'rZm$?L$)qZB%)h8rm(N8xIϵ$*GK[j0WHGP*uZ2, #S<5~UCh?ysЭ5JKe)1ь}[sc,LYkV3$`pFhX-`3lu5^ Yog{>^hȢ]xy`<7<PoOPd,}ܖ}8zDcڑ>mϧB*thϡ p8hߒD_~J360)rA@Mm.Fb۱;FwˍׇE[ _x6 hB&]R: ",!]KHdxRAֹeLm*;cs>m &6'$1X=رpHL3p\pwYi(עQu^PQ~D̄ľڹ˃zW a[<6íĶv)J}6 h7b9g\4|)Di@\?kAj笢#!P16_p!Tw{h0$(P])Z=lf IC1X& O[us.?@TH {]0FR{exs1wWP"@8;R.OOU\6K4+7qrQS4ںWBWSW68^~995.6v_ST-p„I#y1!fET3#uYIrD a+)j=7yTt i>7ձDV÷쀵O@>AjwjϚ=Z+eHQ*LKM!г[1m_5Po\\ڶ"t̤o/QE"B ÿN 09( &ꌯꀛR*˒oy2t[II֌593G<-LJ\ڵe. r{t)m#Jy?w3րy4m&f zz#z@$D*CXIz$,z2mdZXA}Iճ  a,۝@,\@qleioUB`=h3j~@Opmߵm@"Eua5u"]4DmWJgIm/ڟ1 #tTu7^)9BvpTFd,SmdNh,\8W_bPuWfr{9q6fw*[HNǰɚ}P]i7$Q7'Mq-T_|y+͑{aɬqn) ГT;~0k}v8bn[±E1 [K\9*5omtգ<>v߼h7yAF @eD; Ī_ɼ7k&䣏o,GZfgCKL=F_ P۰iw"f{jU!n\zfq peG3`h #b8=~0)3wHh&MD;hE*8>\׫{e*EJ6QTVh>5 a,:IE Pgǧ< ff%)UĎ@RO,7]PsaDC@LhH_Z/aP7)C^SUYp0ry5* i;>v &۾}bQ:ZM۔EaRx>ҩRck cO"6+ |nYLwQ v}9 WM gNBJE3n k1c\|4#/2PB3K6i;"${lQH- AHl\p{H ١O;j_jܐMZh sz y ŶhOJfd)-5X/z  N%tQ쌱sہV'r]p|vdź(3Lb{O %?9h-Nhl$GH-MD;[;$b1? (Ak3&yoͱᣫ:Xs 㔆rf2 E}!IwkK52kŅD4CEvȧ;plOmEeJdY72:]w$hk5t.u~-L1;o[<Ä?(3NkI"5)>{! "-𠨞bD ȳd,\ׄ TӛgG_8=aM>Ã+%rpUROaOCG`J75dg(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*x2BI㪽ϕ~~<,vGNr_C2Oq'2# ~wo8^S1#\~ ~ */©`$A0l> ^eOfc)#,<ڢ.:_AS6"jCQ}n,g^ß18?>ʧy}Zocw 3M*HlW=eto>UP҆SPqlq g@@ ݠ)lA֐ru$F{lZ^)rlx. R %%Ɵ 33^5_Xsx֔ZD/x|E֏ b  zmMZO/][hU|D 28^HhfVy n~k{i|؂ ?mmV3r/n԰?"PQ |# 1qi7)D$^<&7N?tg(&iO)DƈOBP}Et>r% {L-od:߇7HNPkFd0Ҳ9`kzHDA%=zJ`d*0,bT@JؾCݚ\ƍcjk4"A!hAو eϐ@oC<~ =qȀNDw%sOS'rN(g2ӭcERU!}qa!GcYOBT=oUAYV:~{}o&9Lbȼ8_vAxo"'4"]TYOl{06jEҲt-1>BU7\(v' #7e| 3֋aJ͈ zCԉˑza"e eҀհ8 ϶3˅KlrGSY~ cxSc9xdP_pպZd۴Ateͻ,b'=M, ڋ?UFOGҀ/yI' T4;^F. Z6Bz@m8<=D<ڿm:4J!ZYUy53 >G;o5TyhNY&ൕm{ zuTrbzt} h' [,W%pJN R0y/A΃'tK3R0RnP4a]8 _RwiyG0JW /Ol+/2jzG65#?YZ"Nޘ5$.mrb,,"Q&O_6gR:d5Seގ)9"e+ئZ?o[-8'X<Ѕ&̊6"056l|@ ]z/~bIo^#8-;1LEdr8Fo(<bQdBUuUwn6=Ȅy J}k)i؛;Su<(xN ]9A DZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.html7zXZִF! ZE]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(TzX AܫJ֑d®$ʤWzX/ lmDʥLD{/D.ơimuxH^'@&P줈T$ {k_R^el3?RU Cch7KI̮L IkO%x6K6a1@ㅪ \SoZx*RW<N.bʗ x8RT ]~ק,7 sǒhȂrz*ЈgO{Ŷ 7>RT'13f>mᾷ`M#[8a32tw;l,.jz^R@CC:GpuC\٪y_*13cllςx) Ne]6t#8&ɕQ')>T{QlsxA 9ۖMh$:Xߔ+k'/0EɠxD$m~wY"x;'ֺ*3+1#\SQ\5KyDocx+Zn4CURؐiE3H"Z1O";kq}%gUzFz9=_d&@K]ehCH͂»Sgm`lQTBw2Za0s0q 6 F vsl)Y9F']!D/aosu R5i 蝢pjЄ'!GvAC@zqżm+]2Ƞ6IU |U*Kh @G&2 L绚o GKp/E`=9xi&&M5S-B'/hnq2+Jd#7j;{qp(v`c 7 Hl`7Ht;ݵdS" XY*ڂ6yB9U XA>%,~/"[)#O-7~HGҸù^.X " []@{V{>EO7y!#+fzBA\FY#Oab$+|x#Zh“ޗs8 7/V &A*?_*+$+)T*׷,b}R"܆e3`xnwKDn@ z2R;mdy^#Y3LQq %fzdg313т=S<-@ g PHbtI^:z)c'yP[5 se39<^h7ֳ잴ISdb0[]950bg5IҤYJaPz Ҷ+  2I]U{ S@:o^Ǵ>ĢqC֋zȍmvoS>l i4~ +Y|NZ=a]Uo[)e V/qM9m;(1x>xЅ);O5qqYY59Ϡ|S74$ ͑ol|M/1n#v{=p_eޥ[LfK}"!-pyLLz"7rR}_ʼn1F[ j9G KnAg(n4J5.8*Ur`/ƴ'~gYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ)]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)3×i0<0Qߙ\iE=7p \R+(䞪mxRt@H@}EgPi>sCۍc~ֈ@ƹNLӺU5L a5\fwۧtԱŠ߾IbǓOՆ3Al+H+՘{_U=༦)ϤpZ36𩸚S%kN] jUϧ0–sh %'PTbψ:@fӑ{7)"*f.MP}ŭljŽU~{<͌ mc* OJku(ʷ)j`Bcꍷb  ^noh9;55vE ~J 05t=_M6_"ZKڝG)qdgD3Z7xe AXy&A^NZZ0lL/W7 P9Рd%p;œTZua֎K8nlO{k8%uk= nzkT 4OI-\~WF-ʭKctJ`6&j<2cfz,P6 w{z]N>gW͛>sA|{%F JoU:)-@8+[s$D9􋳄8<=&boj嫝z0gJ {Q*ҷWkmx_#.~Z atY/P[ u<wi0)?hzƠo98rhFm0zfJ<>.6Qĩ3c|v&KǯӺKm@5c"t!,65ݎ$:phD@?&MZ?}P@mOڈR"PQ]7<;d m7rs&vt  2Z JsOBMl4llklF]6@OEYM>XTTu, 4٢*CruӅvS(̓:y.ڠ)_$24}j>,=F K>l2 Z9k/k{;6;%}ήٿ@D=8& # .jb|5Êz{3t1C2yF=[vEa7rŖB"l[0}!ZU"?ꓳ |Y3gYZW/7 LZF-InductZF-Induct.Brouwerdocument/Brouwer.html7zXZִF! ?^]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(_'SOvBk`*7'mJmt>x N$»85"Oy!apc*9=Ch5}-Q(t!rj_^ȚKްþxTOrLowg'^įXZ.A~`cy9NuS{,40xA:W;qtd}Ќ97fN H=$ c]RJoi`XyU;KYLָlz$vi6CLcQ2-,`/>|am7l#Z4*2OŰv*g @L'rDy{-Jx͕D4{z0<~g}NͰ=E zzC8 N;<[!GՏy0{(v%щ{GU_+󧭫6sκ04fYL%A[,< {䵪~PC ? a(&WPYSlpso>'7',@IƍQUŴ*EL%pj&x"-c@ZhrXrw Ѿ [歠wb+zP|w;ajG}dv6,0vZHx@p|g?t.DԀk4!J QlxGs_0؟nYϱq`\ /jq:Sqθ7`?=f$+,)#*}[ƚR#\ʲ0GCq3;Uݒ@&ERl˘ ^gYZ d9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ R39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ  $W+3 TZF-InductZF-Induct.ListNdocument/ListN.html7zXZִF! .]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*SY8}q'aIn-:\j8pJ 8W,,ֽ &Rq5`7;[v0X'- GM8+mT]T(|4o)Hp榽?ALj)tNNRʦ,ǔ{Q=s7oҶ_ܸ'oaZĈxCr_ '2{ŚN7Qު*M1dNw>FvX(8GN"g X73m}|{TJoQuީHr",]("(Q)K)HϊZnWNRZ>j 0 *Kٚ%aawda=WlO^c]wVi`8yKQքso~=@v$w醝Bv.Y\x@mGA hW`կ"4gVWEzdbzTBlfǬ TWH >ƛgE29ZXI{ޢL/*ٜÁL^fLKXS! Sn"W۹" ?دX`5_O(fyA\*O2:TO!λ.܃XI22+Phm0tÜ/mHLlc,$=ޢ|j)}he(_j]5B2D)4ô!8=> :&aƻ$-]ؕͩ"K%-kQ!@v{c&5yPf$.2)[Cobu,RpDIey>YW8Q21xܲ5CK6cK\b4>jlؿ1N ƁWb{AYrp0}Е/?æ*d!G{ƺE=Rb۟b{X'e )}OL3^fN ihzw8n:h 0@~.xVpx})(V~L9`Su(q R_~j[`2"Erf6)J}+j.t}G rȼ -t谉`( 铄P](FTŖeo>RXThRxRS% 55x-ɿ͟_/솅գt;2*]s[~xjW jxf45GNC#Au'Qc2Dȷ,)0,.pS(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+U.p9mK_(+2U"U̔=㜘(W5n,fu mFBNSMzH ڥ#uCAxCdP^I>5\~zn)%Ev!FHf. ҅e 5xd@_zv᷶L7gP:Jy:4lKA;D݆˿X*l$96_Q3)K#t?'elX{ .qV GL7 kI-wL.]3LNd?C'/@PSB3I@;HT^ޑk)'-{.L%^ixOl͝8S@CnM֢h,"#4Ko{ܩgy"$Ih>GXSoIK㝤XTt{CfuP [׋R @/N-G2|q;4Aݎc̾/^YNΥu7{Ae`/2l⏘.?7~#iBݽ@p ׳A5`IdCRi`oeT?d[Q/-/:[kH)3Uյ^ȭg#)bd܀~&aq:hWZkVn, +2vj E+< X5?߶"C!>A@c0sXc~?+JYE YU5H!$` p-e#]㏕X 7+@e!;X18!BMa͵@Ņ: ``wڏ b9p6KnӘG49ɗ* +bWE6Pe͵u$ N{1:4tq~{nmz$-w'LZE Ej iQ7A3El8EPReW`Z $k:Qw~C2) xB?z'au8VӭD-~6pm`bmKn +y~;@h޼9  JawM83jq^?ÉxEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ''/ |ZF-InductZF-Induct.Accdocument/Acc.html7zXZִF! ']ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(;@2,+7iaih)4_Qҧ*Vc1V P}tٰEEɭI4h]Glb(u@d6|+6A#6^r6:Zh^getlK.rGw,ע;%js q:f6@3I)y*%%I7M گ6ij+,~L"rHԸKgc]6Mk,Ĵ`iVȷGjCIJNp\ɇۥsxw2 l<}rĜh~k} }YA*59-k[R;T9eV{]S>S3?#-&f.IQ&Sz}c @īStL3dKrU`!iF/n?|$ .63'fGnZ:uQYe|ᬼ!K>eoWjN =#Q.d?xx,T*pRtdnPF;x7JcH> U^%2(:MOf*(%LV|7o[@o}]:"ɴ '^۬}=-T= a"bnҳa*IB(Vn' yhhūo4]Sc_2Y5^~S愰OA}2cJKJ!}{LPy^m8܊R<ʸW_K,` .S_mI8 uo }sh5ˠ4ф,-sv_g'nktٴpjcSP,"rY"0@$<ɌhVw+#>(Nr቞ c&y;ғJ+,,DwA9%ܸmkǮm+AVIuOY`>/>.٠m 򙝸KtN2=$>5H hP{u8wz+=])Lr 5t<"9JF0v (Hy8m!9H X`bMO߂)RDќڳx١[3?i'OɜHD_mSQrUR۷DYP NDr+@KuiqVzȓ9RIvp,fp҇׮';׾uNa k.!z`\0Q졻UI=-_yT}BRdb/J6mCCg^ O\+fgYZ   x)/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ 7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ F F~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'FLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,C?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ&VFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zl(l#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ A 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z%