SQLite format 3@ F.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 yrDd ]/]ZF-Induct:threads=6elapsed=3.651cpu=12.988gc=0.7447zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0j"Qu <6aЙWy"rHYs ұ$˒_#.5Lݍ.~Sע!\K(*鋸qaU$ >%R 4H {ą yg,?n :q{Zj9 AI׷,܄?ol8׼zjؔ UٱgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5̂MԍD ?&lu-CPEN5_W‰5eԸyVa"8Lc6b| vE;9+/Y%#v"˜Xg:L y#X)EAlHY1d_2-.p5MZ|ińh P;2KHxK%Dy6ѐ|AρWeg3'Mr]_敳s##`51tRgYZ7zXZִF! ]ŗXi%R,K2#4$@;2Vl @E?VrRY|!13@LWqIOq ^IFnX擐TsaӰX^w?Lm]MݸAw@'7yR:r=]%ic~=~/;U"MUvl<^_i6Tg{2фBM@8BsWr晋 +MЯTѮ #珥TY}Ϩ/^/k>In t?Dڌ@j#Ti -Fx= 0c鱉%&6{?Nk+For|58>z[C|)Cݾ@I)5|hZ3̙:a`9a.q-Aq(?J|qt /BMw"q8OgAq֏՛K}c6fξcX9MD@_WǤ2KEX'BAVW נrr;nꪙ ѡ{CkO*00ehƩ$Z16΁Y{=n ,D 3wQjt&"!Ʊ'q s!&]&g@&M>33 Si׏` I !=p !5b:N=VyD)G׉JFȩ]S9uNacEZ Q h`xJ)~p>K% &ЖL_>LJ'"3͊5=6_n$8RgE^^L٣>2Cu[+:Ťk*2ICOgSHDauۏ#^N7>gYZ7ab2dd833404c1bae2158c3d3e85e499f7ee701b401e1f28f5a50f5c72f2ef48f3f4831c174724f2 78a3fc640a7828a96f917aa639744a41405b356efe5bd10ac20ca0229e128424d8dd8af322c7de71   ZF-InductFj/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`~`I P)/ 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<ڹ7SC=;;:877302.*,&+)       O* ` b /&@Wq _3nS*  /  ) x O % evM#=   a}O u J !c10+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex-)/ ZF-InductZF-Induct.Termdocument/Term.tex  ~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;ש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`~`I P)/ 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<ڹ7Sg .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?ܗ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{+(gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})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  /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#~܏ogYZf/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 ;;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 d 9? 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 0 0R 39 -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; mrgYZx )/ 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 v v. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#Ӕ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,CxEdx3|˥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\ gYZVFtNh+ 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~zll#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)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/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'tc{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:Z0TIQB >?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 f)# ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue "'n"܁Pp\9 >&q[?V]2bC^Ϛc;4PGo 6$?L#Ȕ]^4-oo-V_&Zs`>lj )vRvOld!9\Ds0f0pmy1 ~}7;Ʃ4W+)=&WI6BJ Xfi^'Ń/gp#w53t>3r6Z_z ms,͗2:=hP0&Xx :BE Wʏm߉fT"]נ8> N2n9#d]xyp|HM<\Kg`Ûī,owf7Y+{ϭ@y|!eDn%i1S8*=[ϠRnp~hb1IdC=\ą<ߜcp JRM=JpCSV%U_|+oRQ[ >7%А=*Aۆ(%{ mkZ[y/채#R^?C^HkPyr("o NMoffhqVGjNd9|lbj9K;RcZRv7HmοFJ[ ;eA%dj*~ XZ뮕F-#:(r|qUeak&Rt5/KQCɜf]&/pJX D 81a8b|PWϊslu d bTP*YhT'( ,S. hk4G"Ţ?va7!T¬h%FpSwKĻ$E"y}W?2LO#O]x[o%_vAU($D!+#NVM ж]}Ѓ^9΋m*;u~ܵ0;oC쩭AN%d#D!oÊAi(gJ;ALr[(r ?ZMIu/Z0Y;Fpcw̘_H{,޷d"Te fǑKm}0XѶo9P\ΥYfF'1(cucmY7 eC.4a1]А0sS2zTUV2vFy 'oyRe-z%܎G [d6Me8S9)3!okepxyyeh U\Rypdk5XUdW_~U'L2ǪERz, ;/N-Ai[i"= >~ot L}mSJ8C~4h9ǚ5Rƚ6$QJjxm dieD2C+RL\07KVB `&%t/_3} Y]QYkcl$^$[WFW~/#i-  NMzy5y'Gbc%O@쳱&Q06@5SŨze KN0QYFn2!h傝cߎQMv4[梒fZW@*$>hA,ʿ^IU7TKA- B'j I=l3:YMz\Sݒ:X\jo2y.on Oj_0,䊮#[)K. j~~=)`)g&g (_XWBɨ2?g.|+VԖ)|P?rfXRZ9]ҮS~M'{lr=؊lDfRͨͧ 3 ! 3<>",sg0ئ_`aNAKL/:tcTk"5 NP0|U2UoG^"Rqts-![dqmI\XDD GV$Me6oo^10r$5QZ ՛)Iv>5 tHg@{BKO,]  F']"-)0M̦ň3q92xGɕym|Wrb)3iJ^H꬟\p<޲ Gw3r'#$/œsT/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λfPnZlehdڟmYz-pj7MxZi[#-xUY1(ħ8d/VMeGU*9ǥί5"5lG|0X$ tiyGXr=Ob^e]K9Xy |Ő:nxv%6`Nͥ- M"W:-1e0SٖȪK&.- v Q;uYZpk|[= ݲ^mxoF whm'`#L^ݺw,;AyݢOkߧmSΙr"Xcfly?ﶨ3Κq ^ЍNe8dype@s-HGQÊݏ1!HvɋZQpL @a'nR-AI1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}2iQ8rX_ 3kЊ_q‚.} N<·B.*%/gYZ> /# ,ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2M]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9&%>&}ϻ!tgbY?)D#&_֮uqvnxZ<v$v=$7fɄݻ֔%!Y=i[y/A݈oѤ%K1=WX+tMUmvizPi%=,<.W*lODJoj?9ƻ6Hh{5 ;Oasϔߦ&c TiZ8 S cQ6 +Rc[`a@]! aC`5[Ӵ7G/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}]+&gGYN 暰3e}ۣ:@|b"nO4t%$|~!l#edwB-[}̎#a}4 qPB|ئ{fXX[/ao?X>ŅvPm0Ƞ^)]_$4ͻ7(飂V5b m\ *szxFBk-c336F}yܨ7~3/k9E%ݔϥv`( "D,?i BL7z5nViqLrdֹ3yT@g~?./y=񂷍ſu\C,H` z^?+|PN \ zٕU07J65"6`N8q>J}V!^.$:6)W+՘'!G@ 7̗2q%1N1=F봇~7-X`5Ep6=/AsA9[}2̑;о]wR{GitfLSM阡%yVp_&oMh=6i/:#pd]1(nK"l*}5}t[R#Prtvs7h*]IkՆcx(6D*( ь Tg>R䮷*9-)e4ح0G<:'Y(e;-\z$jhW4z c4Ad%ظ&iX3H6LdbX_n&)ţ` BMFnEuO7CqWԒd[4 HH`l&ɷ޴6kG >1-r^M o:$%aOmXMUhw8cx?Eg%sS1O ;|SK<cEUH8i\ '?Z_ QTKY>l:jҮ;:)< 6?O3 OE ʝ#MŠK/}RHD;Fby|=&6-fzTp&^ \\qV %EX~? x*_طD stzkM@f('"} >Ć(Wn>6lIޭ3=. A{' ho;ϥ)\^\s,شnկcJƤ$8q`V+FaƦ'7YQ3UDU J/mq%۔N8 |g>wOmJ@R.ҕЧO6jU4+Ğd=f;IE!s8хj`$RpZ }*r5/nMd({iA03 M9PZt^,LVusVG wH<pUi9:/}Ȇus4˺xs8ߟBJбl(U0XV^=WآYWg*(`}![?m mL;'6*2US'?IM-ICT g*Usv^es^Ij*RLݢ=l6.gEm<؃Qxa6=Agg՛ `,JsJ01>[]0:3 ^BR\B).5.Z5%_8׏2> A[+xQR3a/Cj nK|h4KGQ:rώE|Z d .yq{G% 0=qU>=2 i*z/UD ܯƥ%NcKe@+knu&FDu=\Ohy@A7QǺsx*| L{؊L5PkTAveIaw}c*)qRݝ,s#]ã ѽe([>:ȨU(k=}Ųr^ 4>)+OLJ@e9rs&iyOch%@y$=vIa:I %7m$ZiAjw21qQ}IeRa>l|)-i@wsbZk@]zgm4#%m]M5olҐ^A+{+JyXî!ӴۉAU-8 ?~,g7 dzב~w3_5Ta.H8d>b֎rEL[#y'rWp{VYPӦ ,^} eqVPȍ%iV&rnb +OQU.g) 9=s"6ÍԎ/_ ћ#}}Km?i!{m| aJjum$S ъ)5_f5:zz+oxȍPs{4PY`B9F .&XR|тr 6+79)eKS;kv!ngUΗ8ovmu#і^xBvdJ.&3^:A K@Gb]l  vQ>1lN80x י586[,s֔@Y@'~ -Dǡ{nڊzMc^Y=R?KZ](ð>Kщwl&Kv=PNU* d36kuEYUin8 []hYaQ29g"Q+֒;YeT7w[ZfNGad[zTV:E}KQ۰چ(Z'xљF!`aD&^ S1<UaKtZʺZ҂^W)|"8oXcTg;"7XAq5/r/\ϓ47Sdڸx+18OW;5ڏi=9'=w\*qpbwtwku )A@F%IIJAwE(ME.(]Ä"'ttd lKc ײeݍ/DnQ<^g:zG)鉠x`3RئP"6d|p ٿVхe09GmE!ɢ[@lyK*7xI`Bu0ğQz>-oz4dT퇻[)=hOœѥfX3%:ʸ&ݥdwx"Mڝ(D9iDT"Xug!Xʧq@Nh%f>b2c[u9Q6S\uDZi~+M7v<ͱX1\cGvrsyƐɵMoS&d c0KӎQ#"0o=]l<; r*K2Bfݕ@| ['b}. L]W^%*^WZBi5u f7=eRaC9Gq!!cK'QC.YİCX)ul }|dNjoh1_ 4פ |'<%15:pklmcT"v- zPh?+Lޛn;W"1 T L>ѳwBMmVc0ڿ}}! {_Sz yHׅft[+XjDSdRL=_jY՚ \[HvѕVմMx'o:埢5Yk1-=]35|j'MZ&8 A FjZ&$=ҶKp~|5dqsP) d^W.tJ@g0|t qa՟0Uy{"%*naylE&7Bۑ.jafT|>ѰFJaVZу#hW?,zJ#8}C^[s{w%Dc8;EWBa,&)T_;OE!gV"sAGSD.I]U]Vp9G˜l7խ",&a}14LЮݞfj1JĪY+8vJ@+)#$N{b?z *H`։fHoV/=AXگ⚇BX/QC^jo%lsu*$dD܂=ƖyOb'㲼j &)K3b pO$ۡ +Gi XY1jbF1Y3fN I8JqY;i1"IB+vYci~mh9]{IiԞbkbiƀ D(+,`èoE܉0H'~թja;b;zN: PsL9:r!Nk+cȀJo?r Ө&2 cKS颕TG?mZ:Ax cg saWI) Au+kVN>#@ҢM{9haմPvi]Y] XJoB{K "(}2A^um3wuK@tՑ~L28 7Ӟ~auY{:v5QE%h'7)4Ȓ ̉R<gF+Q{B`15+Jb|~#m V|$=?btyNETZw7&P3fFtNv wN8lr hu QfŔoY&BG3r9 !M^}m¾$:)gJn9hрHJG&NSvjnjؼ ݀d=tR1bl(^_][aF@JSHɩ𸘮ojHg`0O%gCf/;5Yԑr! ;ƭ<-":̷`zvp[{n[ XL!KhF$E kYno&xz--^%i ^w| .fQqZ WDݼ9Q-ʯ]HUf{E&=< /Sy='8J/C:^RzR]o>$eB#dP_+0~*V_ev`'G`ⷍ+%Fh̀TѪp>sp {'o8n )NY7c2veT0Rs:<ށ `NF2`+GR*4}P ',jLZ{P8͹1!}tMکܧbw f~.akVqo a3kȆ bWK %b$iпC!d]܏:{@Bp@14|>SE k{:G( t8u<"%LS 7{Y/\Uo.q6}U#%c-QwcS[$Gi-Z[\lyCeY1usoBmGEEF+YD߭ *Ye unɄZMpgvN]V a?N15AoydhsTl4x[5 S3`PYVF~Cc86#]dɵcI(2 ޥU5-fK:&We M;=RWQz(r17$5ª*rQZS8H ej?~p:3L?$epS'O θj>"ΎShI5{rfn(h^ &LȮ7a+Ik}*;*^`x)Gـh fQ@8n`maqJJr=l'}TF3g U͊BRY5Smկ e-EܛCi%ڧɚP*P{g2 zDfG#,1ݺW(l9|0HOD v0ȤȪ#$.n+D`B|$Eqqtp瘺8..A' 4llBҶ\ 3ԵU!OJhMJ'3uQ2Nbw}'&?ǏmKAt1^g&բC1L\WH!q7΄?{I6SXU*3O%(_7PmS= x :j(1*jHnʀ,ֿG!Yե^46b(y2(h{WdV9[ë,ژ`4\Cp-#J$3X-ws<]XH}:*F# \3 V~ԩ0GTi`K(0-^ErQI$ R=ȡo'p5b\xf+~iL+y}3yfg Gk ($2Md/cYȫ~fqU{ ju(:^j?{- oDF=q/*`D s2B[+Pq E0qxgDm\R戎$t;?o0,\YE444ȫ'e)CK%H3A+EShҮE!ElU4yYkK~ 2 vٽmXl'W U %:47 #)7?WYsjAL]ErI:]'A:v ?IEJ<)M3һEQH yY%{7 {dS^dSܑ b}9& `U ڸp]YG>kF]%yndڧwB?9'EyXs/*NR/+eptn{Gu0.>3Ṇ8[󅿷4z2'GOS/I(<k@Q}VrC )j'`5"~Xb%T'l绞e!x1[,&rwcg}G\!|5|}hτSvB2k4iT-7co:.wuS > )4pcXIyR0هG=_`uuF g:Iqv Y~ވSvS$ >V{wy+X)%<0 j/\xXz%ڇ )`6 (EЋTaQl qkߚt%B$t01Q4ENMdp; ; &&+0+OK7}ͻ ajdh+ZFQ TPQ"LV{{Bm+]l}Aezb( G(i~VYLj-Wspp52cHMܤ'ƺFFE~jPjGApܔV5b<`kzvƏ\kAչgD`ov"UkH! zWT驔Q M6J0ٶf/܊b?p?`Z ~Җ],ϸ/bJn+BK;rFq_OhٶUApk5\wZ^E1נ2d@-'3(n>${'*HSTyqz }Z*3_mꖃ;!dKqR|Ԧ]+\Mnhtl gb~lCLm4IjިHcNeX"ꈮwL15$P02Z󾟛uQC"c<~az8- 7:Pký#:}ʖ>d}W 6 ֹ,on\ b[\aUU?pwv:ƹ8}/Rƒe6ҥ[bڭ78Yf]>n}dNH_UA+j/i0{ I- 0Pskj]7nR ?R{  gzu).5o-SY쿩3A::Ѯ<&ΤXPFŦ3h(&\fOTQWp•3jP=SEo _*E|+→CJ/Z0Oʈ$[aG:dYAPY2$U_};)ZozU+٪_OS{AۻrQɰ5Ho`!8o*y:Ȱ$cQ#r7Ca -=&0da j(>Bf3 GP;xك'vGFPcgj.ծ^Ik#&7c0BbZt;wԬ䤏uR)37f,$ȒB2zFu*KӇ\=(l?1 ~p{M4Z [pM}xiAdfu OU1܇F*PQ5k:?_`?زxғi1;+=tLHږˌBl~Y-2 ޿$m'|uf<]8IR|'vq>&˂[|jb#lUN>]CjD+c"c:dG.%0mum>o9`g6d}_CДp -/qCC̗r+Έ-I¬Mc*>z8`#W ib u7=J}\JQiC:zsZPNԠWu_it fD8f-0G3ғz Uu,aq]49#lBښc .%x eMNp C,'SI{ɛes-J5̑%~?IPrfQYC$ ņQO^gSK˃B?ytD_To @DϟNgf|PmZ3Gvz^c@4=u][$ZD&Z⺁VIEYT^P#+䅫7?;@mYT\B͵f$aZwAo]3F`OV6$,yKUXGKh\N wA*RrK=9|pDoL$h8Kwm*4 z;cx<3P(<(ZtiJS!?^󒵆Ùv(?B5̴?rhBOjvl$ʑEJZJ珬Z曾܈PwL[SoL}=*5*=ݘy9/8YBfɛd?e6jβpMg#&T2a۲R w _i4"f X,)~|Z[\/_Pj[D ,h|Dau)0J @m.6 =}M9~:rwy(wۖu~p6#4, ?T}o zT94 yc^,ׯmr6t`̕ ӕ6S߅O~|z{{^76_jJE#ScK…9s|>F޸03Nr%`2 pOY zY=K!A@I5vOTa)zA2V3!>م@BhuᣜdڭY͢uzZ(=vGn "GhV?#§"{bɝ-@0z р>Տ7 a3G5osRJǃE+\ *L~ @ΌKǐ=arl㓚h1]մT_BK*\߮GmcN6u>@:]! GpJ}ۚdEp xrE۹2b<1mkoTҏ CrHT,5&'(^sǺ5@cP41ɽ8o=ԪzJVXI@~I꽥V\M#̋Rmfz8xYem/8TRc.q\6rwلl'tZ+{'u_ߌv\ N( TUGƠvYYE}kD}A4JQBV#sZڻ JRYKټA}ndo0dD@I,`$8j\|D6kpF>Rt/`8 4~PX곙5,Dc 'Q '4#McPR#W`ChzXs}y.OZ_qvcisZi|?/_Z \u12&[sH⭩Ry ,bAVI@i-mJ؏UO],?ĉ'±@C4`́+1h@(5/B a3~)cӿG Τ:$u4wDPM.R:6L6uhJU{ 7|~&W}eKx4 LxO_K:KS[eBrʎh&?Rj˲ qjLCʕYÑ ^{۸dxżs?ҍfpS6̳dӒ!s,Ջ3 oo'yqN9_.Js`(!SANh~ʹI +RQ滮GKY}Tʫ9m_pNWѱX Fӣj+ϭ̸:&?*~!L|hB5S-A}|@xa*<!kF6@TyIꃪ<~ A9zVOk$ Pw#`bBVVCt3voLB1m;2.s[J!2R' WFݼ.,*ve[)#@*ߘ +mN(r;jL[|Kn.[gBu] nTazOL*Nrd"R^:V,@- j ?gLpbDw<#]4%y)' !t edG>fzqt7)Ǻ{ 4->(T,ǵIz̬SOw0^R)& ;Ydtng~s\k 婰WUk|w]SQvh@"a)u"x3ՖbEUfVpi#Qœn(kDյtyu>Y/I,=׿l2 ~؃u&ȬljDp~q;o)r={J{XdZ eQ&$}! d445mw^i heKT b):=6@"&c@泄}j}dຂݢ~z0L1yWʼn\QH46 [Q%սlbfp3v.U.1 n\2_1`jJ&\_o1'{_ngԊnJO%L]y3!LyvG`]ٔA ,e+0ـanqb.NUt5͆@Yw+Sṁ`4;R%i! ,tN,HuV C%IVA O-7㌹|E%87iBGgd;Nj`I$ QbySѭD-on G T3?>LI-Wifs on=ۥLux\X!4<(sCojDTF"Ѳr(ϥ|!١hWWsh5$ o*VD\k6 Q1mOBTm!S *(TJL}yPmwM!{}Ҧ"ə$M!|k!09ڙhN8D?Ґ|[K6hJ'E. (4ҹqUQ;h+f~CNlPIb W^9j)-G\ wI9wΜQ_X&TF-9]0Oniz Bk>C C! " Ux֕p+j;F^vUu_ bƎӐ99; [?5bM 7Z5^vkA_%,ot.G^(h!mS {R3llUh#\VVAfck>m7* cH5y ԓC6~6!аQ 噖jftL;G?+E:w4C XYq5~×8_q`>ee i&=_Z΁4f!J{DRJ!e8u;ݼh3[ 8EAS?_;&SԔVfl,x?- wpakA{y@F)xK%b9@|<, %5)Tq#K2HzGt՝+Uu ˁ|Ğ"}=PR$r^V˴IsM<ĵȾdh;ǣYG{~BZ$2MƤ v3vD'=pp rӑO\ns/H}f~v7)("Ԩ +J*7VǬ1¼5)q Ҕq 2v GĪh<xB,;^;76$)5LmS_Yi l%hsh旇AT6OƖU!Ziro2>ʄ&9|X+س6̌;95s<ʜ⹪ѿI0`.15a g:xV*'ֆzhhѻ/mSϕ$psE5ht'RYuW u rj¨/ᘯ)vVk^+ȪgdZkXT@1Ϊ]AytFs\\vt'4|777-OR0n20:r%nod,^cFJQCͯ 8yI4HDd ӚnngjrGl]>Y6:O@{n*NaL=qm.xo5bDIz;Q _l +?Mu v bֻT!֤" 8/T[B3aza ,>MRq<P.1[D6YUDS|t]0h/H.Uus"I41c~ 53Ҭ)zè(L/}O2h[^J_NYl56evS: ײ{UdVօ''Y#3_]T* ǿQ j&x 0B?ƔPت>Sg}~c^G\ u\}Dg0XٰB6~9;tC>z4n@ڤttނnL/ N:0U9ѨI˕i LbbTpt̎gGO [sŘ'Йܒ݅V\lXopfޝy 0t&Fo[~оPyHLYKBzn>pfTT/(6׎%5E>ykϵ++Xy R D*WlRYDq2ݻ vP)oec쾤QrŒ8K`r3ؤJN?;&N(5yO+]V 3W:3VKt?ͫ))~=aХ1aדvAOZ}N$a3ih-lgnFLҜ䆀 ;WvPhʶýF`bQ`cWqSluUaycD0F?Z{'5* q4.U+ jOu,Ƣ0n^?aF8;yisnΊd(Hm|a8:yATiCd9M* _+}Nc zmZ?`m(RS (7ZtԨJ`NAl;ڸI#oRyKb}JA N1-j[T>H)Kܬ1q/cxN>ޟr6?,;4|TT$nBk Q+Bp0Z#?L`zPM~ܛC(0[:m B zVּ'hT gk#FHB| msk_-›ړ㲿S%2ީ7m7'oz 9F⷗hfWug4}5}g Nbc:ةN.{foT\eɴ@5OVp~ shұ/tIŸyna snQ5RoفmPqQ?P\4L!?J5x@4ʆE9D6[ po9xHus-瑪5v gˠvʬ_=Nsdl-ZR dctUmEIs^qU:#'k[et*#Pxϕ Z(g|fyJ>UvI&$q[: @[|HsPrK !ÂBm%F3%ǹ6}٦bWߙHg7AwK]^QeWUq`똃ܺxYّ (Gaϣ(x,TһCh:O|'D0f)eІrK]=kq݄π0ʔ(r=B%4{ -2n@n :Jkj'l,?g43JNc'[\!セMVr|dG7ᇾx8$  g,ej!'%:7xBRzxTB7̊_;ҺT`,aDMH 譨GitaKh)2nikg,Nټj/nFr`Ӥ 5Ga7 ['x' ('b!jN_ x9_k%C6){rF<-<9ZhE亏S C8G0Mf9 Zyy`,L |:$}-fQ`R?T+Clw+N՘/Y?>R s:=3?V|:aMoq6k2ĭf"Ӭ3ttӧ)UCi:S4 L;oHuq&ג~@^9.,D΋r1ȖN*3Gxf<Ul8@8oxAvg/R ʝ;A"}Ҡ*):bFcEW-2i}Ҿ!x䖗BbL×-vF ďh/u}O[ؐ yO>RΝ~3=|-vuTQTT}al\G-_aT k*:lo/ډ+xM ]M~J4j+}^O:|R*Q<` V/ v.D"}|}/*n F/r2ڻwm,¦&뙞]q[{A)q6UbM>jC):jed8s3!t0_QF}t$xu%>\?,,`Ekk?U^.+#3H枝+ _xS܋:;$CUg?=zБA2{v'XxY&6sР)fɛSBD,`ēk~$a]dȯ2z;ŭ=2+ۢ)+ίl֨ Fׁ?Gf'*1c"oQ~ @q; C9̢*a$ ay֍JsG]c 'fH$ ˤG'!NݕC8o7IQrؾmv&?2Dr0AU'}50*oH>aB4afgy٬ߝ%7mzX#K$-& pӐw^4S6aHADt[dmrccI ckF,UY~DCf-Gl(oE"'zjy>q herd[qQl_Ac"mO߻h.x#gzsq[:&K+dT_2=ޤD*@(?:nM,X184TH%:xKFJhmhd%"%KW&;ٶKr|Yĉ$o W mVT> nYHYDiّ lr%jߌM_\F׺\!#1PMY,ʘf=d얆$ o.o?s"mȗq!GfY3&@:7[fKJOCc* +:A ɧTHNs]d=hmoХO9=zCcsRx-('5[0ѽ4YwƙB2Gg"i^+y@O~ӇG & P"[AcrYwr0Մkb\q {h/=bDzɸ>gu"}D&DP; n˽d{L6' _#f]wE͹Wp)0kI@;A3BLHބHij(򤃶349}"q wzZJPpJ✋vou1zDt[cⅎ+ޏm1kG>CMV]K2+I,@kR79Or+-3Ut`MMri [#ş/^7r|T}fH&]\.3|A@7y5 HVyI4u4REZS Jw2_LtpH`~IqB m#~6 lϭ&^KA]#_h%|]sSV^ywƢQ% 36f%8umfQ+ (&aDN1ɺNYES Daj>0m>HTm&@_,3/j3.n((V4JkWE$(y6!![x4k `]RPFFӂ4%<՚[/MKYf81Z!{/l ,nK#af~{RigN$?И{* j~sM'$W4f(q'D1AgGquQAvMBWI;-H 4swRS?W^h̙KF׾ZG nOk"*9&(fsQf +cFZX1.lqq;o,6u95BPP:`z緂nA`P~'@riOs6t.E " w5Jb#?,nqK@!\ˆqDVq%le 鹉$̆V2 aΔhvZSk\zdAX4,ldÖkDs *o%Oٹ q_>yUUN'u|VqMv{|OɰaA Ml3<Ƶ]`GNac^ E:)K,=Ҭ-PXpg;:c׋۲zrh)C|c[­)#!] iFey EfFjv"vۅ}# (K=Q"&bU7q~'7Ø C:.x?Yb=!ďpjz khUKpl` -u=^3pDNW+9bx*lߧ҆0"ϕT_qEU1eT3n ;O ]:PoXOçWΒ RE}-sYQ8e߱ m@X>ʚ=l{b`I}, Mbt/"0]K<"bJY0^5 ^75EhCB3|\ LZ9 V k8?ʦ Pي _R%Ȗm&/]=J_GT(BX$~pk1\ cmXo0?*Lr6<@3%/~~0>prUay&\6g(m [YD3*ە13,FpyTǸ gBGۄsȠ!EGRPʤ7ҙ$ ӯ9 uS<2އt^UP`-2 Q_K ^LZL4Wjh\ā@<On*fg =ai:Z@*+;#xrLpMȇ % iDG -K5B4o"fo .4N f5EOߕ{ pbKaҘzk@pcnfޚͥ;iy}^2/p!ovi "X*c[8(ʂP4ޣo[a ,f =~Oa9_y [l5!IjM+ hlVKŁF8D Xcbiz]t-u 3>"ǐ4\AOVS߄'Bl$R@7gc%Y\=ʭ8bluml C~蓴 jb_2D<}Qb'dŧ_kiRhSc:c fFF"ERK1%yT_j%|d+ʾ-)i >}SlsxXs!=1%kb\ q"‚0n^X.{HfiɀKߪXGH tIbE{,9EFq 3]ʂ߰ N13%KNB!QzR6;Uhv柋Ü+ Olc Cy]WLQzQ6_y2[eHؖ:Pc΀ߢz 43eP C4x2PSWɤMM`qZ,9Zt 0ㅬ )5>Y~ѯLS+U_ C/'5}B.-s AtV>>SvڂKE2y# GrJV8Hִqp1Oq\mĢf րޥ.@ډXm >G9=3rN%X#ׂ= Xr3š QJZTAQOpc<urn_ؤ}&`Q7hxM{鎳3v:$p&>/_):kf Y+2$̊=bo # ?8H}Jg*ם#vWCq+5[SAX[çi>DQKv,ufm-Q ŝoue Bޡq6|,Y[nI:\yRjm5IKS= 8!'/taCd!L9X =劍.ေ݈GGrU7[YEH&OZbcW%^҇L$,/>џ_?/|Ty[@mgԺUj'JjDk,0 ~H6h4RbE@פczVQbx|rT/ZTDrvI6_m\@PA$eI3<\R?/ _[OAER 5#P*yA hg}ވ[W*Z%jrX(]VXiL]͗k|eΊ$ۡhH7=P.Ψ)Lt勼a6u٬]AHƘ Jm7%Ġ;nI~ {%UNf3W'ŒA@7hod p%- x<#Q hb46R 8Cˆu&}-Tp ݁_#,%wT w(d#P8Jqp]ݔfR*Xu#|sA@:\S oՀ{DzM:P9M@*J}`_N$; o'~1qDxK営+8:9/ rZץVEҴk!(> 2r㎩u^ eoJEJzXriW:wVqEr:zvR#< rajEӰjYhVߵdL7ywuV<'%Zcŕ$),ڙ/>)ɠօN;~fe5^n]t6j 13d~` )bA[p$ڀZ]A?F#OujH ҄i7?+@)LXuĉr7/3dmI;U4NQ %{XՍ#{pܢX0O9^O9q.I!H P; 7=oh򩁺r{9%fŕܾS}>ɏ ݄yw%~Vl,“2ʡ=YM1UF~A:Yը'&xI;k$ǓܯJa-бgnKK0MtY<V2Y/uCEe$ Yan,Sbeu+(r5oyk/hAh>KhjID؏޲A[%gs qp;\M+ܯ (5oMݣ49Z܏ˉX<@˅}C*77|T<!zםأ0n%%kXm7Q^d:0&"8ʁ;n*yd|cI. 5gKBVKN>V2l%z=uT[rKHZTz೔ {[Iq Wƭ!$ Mܐs]%z[L6PC%m9B+ @Qyqg 4gwMrRWԷ hN],{oqMw(XbԑƁ{ҵZ; xXon}=Og.ra Ҕ`";m-[:bng עuDt{_A+yuD o.q_W'G y̼-$6TPN|SFB6q؆bvju$~KT:،l/,ΎF L!)V%x_Ԇ`D!FQ'M6_.8|P2C#?0Kra;ϛ -Rd0%\\n0P=ߪY.%}*@22goH3k?2Gḁ":|b& +~V}}S*P: 3\`8[YGipI`rT 7ϾOœ f'Ut& ?{Xo, .S_o<_6zCGe(Μ- S6{1u`~½ǖgF;`|fB֮„ d q5tw],p/Zfe-f(f1Dȯ " .##u9I;\,`3&7yB^ #wrz]ώ7 OCƧPm8Ex:<\ w[4B͔ CVI?ʗΈ$͸+ >hy3՘4xX?#I$ׁeZ( <=CoGJo.O}yF)}||zXm '&brޕ8o"XHӸ8뷧~zAFrJQs({bVBrsN;X߃ ŸO\eecD"? O? HXuy9i3j./ Q q}4&?Z~510(_ֳd+$)wg@-cbsJrd K6G|'7%Q}_& c9QErҍTAz-uh+ J L󒕐t%}TF1On` j=EĂ z$7ўcbȲUcu|O![ZD::%ݖ$^U e'g! xQ;i)^cl m*PAEz@툨&Y `Y*_mq.W)'-WU|i 6#3rQsr5yz XE"  x~fm+ ww)Z )Dg6AO9I:KÅo>8/&fCY{xXneI+p60{M2E#0ȥUj4Ҝ%c}K Qg<67N6Ĉ$sdK|֯[^ZMVfrIVwYU%3AP?3[L/bz!IR ꛔk@J+ks-i8ΖX˂x<\9J#ѷ 6hyPl#[>2(m"J{Q$A5[0>y,cRϏ6RT0k-4sm]k/7`5-;@)'O_ŧ@st}T'O@?M2kԆo,Sifh,0ܢ@CZ|H/3V}Ѿ]իkQS!bS? 0CU(+qȧJB~nI]9(e Eswy`/&Xu JPgaO˾DBs&h\mԿ+G.7AGxdV,ۍ621j>a3f' 血ϢبԠCrB+8l!w'nЀĸfG&?'+p2Fjz-׸x6ĩ hZkDqo6|M-Iyٷ{j6NO4p ݐ/@Ӿ >8xCO qPd1hKJO#XQL\>Nw%#R8Nd*?dhk*K?thxS~ji )2PIA, l TҼtPݷ)mL V غ3ݩAegv.vcӞV6V&{P@3GwWU6o뵽QG0<>N5-&3n;R aqft%M<|T}HJNo .G+;(~Z.QXEbXJisk͊j2A=_O++%CRH[= YHo,LRBhÔ$%}ؔ(UI'jΜA+~ ,BeƍF+IbՂUc5)~q@ Zs]~˅)t^o7@_A =w\LA]?>P 34S=b7)ܰv!;rѐ!M"Rr:@Y`NdFxP /v)R%„v`K³FD@%"ዖs c.Wt_3Zqbc?Ikm|(5֘WPB'T7 2zSK:`ڡBLhRѹ\aI I|tRRPDbćǏ !(O"~tyl,(jʩ>Y /My8cRk7@:-Y$ ,TidӋ*qؒui[﹤5 %b)G 봶%\-+Aw#a9rOeVdwy08ǯda@.f\s,iڮW̚&zloY 5Bȿ?7-8,AuDوoscQv㩺C)ד*-;ߞzRx>)~`͑0 \m Aѓ oG' vW8*p *(uXN} Md)c^_$r$jh="$12.{wزz|OmA)[Ni{2>M4s`%r&xq|y1쇫qfJm[PXPQW1=foqu":ؔ\P,/gjqgIx QWK\X"3v6 )^4NPeUypfX81(6oZf6d/C N֓(H,MՏ!א2<2qʽƤ^8 +wasG)WYjoP6 /sdPv|GI6;5HB^Zd'\%g+BU_΀yp‰,8Oq(ԄlW{^㵄`;8s Y ECo!LAf2"G:~iFcu'EVN֝z| |n/SSɃ2f:NAf=^ F%AeH6^cJ-O]y2x|9d3JrsKNeZA9ð3eQtݪWzw\sjvɬ\m:g-%SNs:NQͮv#ۘ$mmq?1 Xs*oy3̛L#ˠ~(ЃNp2pH֙E[o+'<%KԶ=b|+W ӠSn%x޲>O/>6WYsEw6:  ra,KSu/h%oJ Ͷ`G4*fpMQѫ7&V[fKԵm8=]ʔ1!rבɏ)Q;Mc\` 0>19p<~KqX"SQGDyy-'Ŧ).uAl;/W P3#3840-[ MaFꢜ)ۣRF˘o5McP MƵě@ f\ {6_&i3ޣ}D|E*zp=2>pN,,gƴF!) Vg '{"~CLb!I`iY[|j^;;(q霼!kik U Y;ЃYK6oύuH&S+j{c%- AcA$W{+NBaqmͅ3ؐ٦tւ^~ݞ(+OvY[f\0x Euz:IJGg9?'?mrRD%<R fk,D<XBsBpq?=fyZnaGm8d~Wq}0D|@c ZjvFU9YQ@T6E6x(UkRMe8m?nEUYwnyKqpwdMhLJ8(4~](P,0&=*gόBF0,QJ695@Ŷ}# ukRHz6}2I7dF H0K9)2VGiE Dy%`a[%Jc^.\iJԘ*4A-@1iK1ҿ(rPzOKB[*!{_b϶mQAXFu$w9Yl[I R]n<˄oTd (#jEtZbRE,A8o.[/2nfWᮙG4v p+g*J3L#ScM#Uн$ِ GfHX`/aYQP~hTqEG|K+45p%p]?ߩAWxN^_'"u$75F^ $fB{ q>r|I__PE>A<sXv5GLxt8PH_AiLh໙Eu**N)~66a8\!?dzTϭlBs{ YVl: Ks8/b6?͇A{cO1Z(5 k1Y}Յ̽PXd^ yC{AN8>l&A Dix5G4k:aBx3ǎl}Ц+6L]1aw %="eͰ8B6~yF C ev(^mf ($n #e'j-nZ6UtW.)Ue~# ؁fWZpmc{q2u/Yvb!2+7\)7>R g^&c&x\g67EA[R\lʌ,42'jd6ąꔂH6i|z/@-'Vm v\ Z/z }9(ݻA5O$s6SdMnVmtziCsC6POɳ[˓tH3Y%*W>ᱍ]q|0L D1J>荿׶ClxS@](?CXC_+M†7NGC^>\ψVEl֒; KD T7 9PuqolY2rMїl4$`|ϗz\rb n-̙ePp]Kn6'O KbA~1-QE/),2s=\ @Gq4]Epvd,E)oeC7_z7s m rDb6noGZ)N9BgC)]G<:FM{nF[8YA5 &=p/ Dfg3L'' b7/u(|UdDTs͌:r$/Pတ'&&-+x2tp_K - zgbǁe1uԅT:c$0xw{?lLՂUDw`Y/_ E$36ϻB;lKLX(f_}B;\"ⴎ;_6>vW 6#V]nņ]. ;r6A SD >~ƣ+KTpnZzоzes\'|`^eX`,j貌Q_K%=B?~X`wKXL. # NxPV+[&5DYv.1pcQ-Xj' 9@l<@12lW_6\bj358-cRrn,D"mԹؿ9Y-LIt i?;p}ӯcvs=x q Db~HXP¤".mFͦ@{&DF Y>ႳCFI1q pTf=q391Z+B(S|uTH? 4ҁxpSU %hdnarB}2( w~ȥ@?O|V ` =$ j3錺T(vA7qCfo'{WR RVcVvKT@P?g"h.r7)$.=9 bO֛ۄ#zfa=5y%(UxNtk@E54U:!^|Mhͽ?hpaMMvztmJ$ 'N̙M?zOhSpp/ZA K&|@tɓrzaC#8yj{I0CM?T]Էn1hk#5>)J\L xX7e$fq%%2U<ۊM!_Yzm%LZ<$~r˭‘ Hel`LAV dO]['v|5Qvn zle8Dh~uN{tNo+ }HVĚY<:Fź<9r({SKޕR͏t%- 71-D2ěBQ 0KT SQ;QLcM2Z>#Jw޶q>ٶtV] _~EfJoBdx1Q.uAP:1L2aA`=T-dtxY Ih]G˩[8בUgiuba۴k,AhJ جsuYdgH6w(Ŭ9~J,G8%|p-V^k°A9G,Uަ7k+R  lWjH*;*D}Fwީj IC%%fc^^Ľ5څ*#")6p-W3uĖTK@,1fOäcVJr $veҁ> H(]_XifTWQF< Dk8>MN؏}CD5B"z@VXJjɺY>O@gJƒW>bRroG5/6]2Yg@P.,oFU>-"@cŋRߍТھ]8ǩT~! PuT4?6>eip4.G1}œҷ@)Pymx-)]6bX*3ځj4pz9ɖndW,zR0e f0Nsh7* i}/py,Hs!lid_zUDH3ؘ݂v.aHA^0GynDl_j 2ٞXyٕ<=|X5ۅTYg./Djru )sP^2Aفޝ_0ptʕJL;8HM pg{8 <)!oj>a뉁"PdDY!K/zZ*0q6f04lm3JXx*gT@ PzLq:cfE6$͈ 쳘>9]9|]EMT(cDt \~ c3,Q Z[ӗګk{cyySyʎqEՉ1v8Tv&pV7wHG$LxC|M!*2SгhE43-P4Imu&0ki#PgYYsymSjI{Obk=,׻P=5pՃ<4Dw^[ fcz<ڈu 0W){.537lb(ٿꐓw GtgW?&{^2&Zb{IxI`/2InyS*fxinV,Z9XAW!lk`n++nb&=yR*"5 ҈w:e?T^B>KMVu $,0yB.=-&:mEU{_w 9`Jmg`UϦ3pE$w/?}ARFá-D\o6sIpbS4`rR&6Y0哊6Ew' ~I &gm[MyJo erxdzmG M +ܭٺE"UkȽ4(e\;WK~eGn?yZ E1ʄ+@M+HO HSoGw'1j񒳗 ~J?1GDX#/PKaW[kfrk_6S DHHO'fSi'W%)Z`*'EӍKI:.A7\x}ph5=L4 `GN")v0y%vuRaRNlEe T+ I n4T`TsJcvhj@J90hYaJY w93gǵZ 9dr]_ FpvR϶/F?k C=?_#zFw#G]<2EVaLbSފ8yL_ ^`nW&xW:G΁k7-#<ޫrN 'I?{@:_yr<=b#n@AI$ }z " |viflOX:7[j4%1^⪀\^$ٓo,J H:m Ak.ٲpFǭT*1zZi AC/Sɷ@v{~'kC x:aY<,z8qǛ,+p]>1f(!^dٸcb{(]>pkcIZV?,x0T4{ww{wpgR53ɪ #̴8uͿ[6/3!ˆm6=KxUjI樨t"N2u ϊ`qN֖w 53fEϾd4 E6iN4epS_v-$qM9!_M#| +?NF #]ֽekct=up!?aqiI ˇO[w(j+T|L$(}' UP=\e.Kǧ>,L c 8k^FθDUL.2x?T1w؆QR۬6b ԛ}ΑtsS)CyP#MD"'C:OUMpuO*ryӦ|Hh7a,=QY ͂l ESfCaknjꠜi9ў_ݹ(c l vX"}R96O 8v`<ν:TYO!lO*cI}ngOVBr ѧfjG2|7K\=XKD..FX);fTH2=vYzZuز6~nwbe#h-XA:2HDTIUvEb4̣N`3%,=2xQ$u| '[ 7,+2Æ0a[Ikp~=\IWХQUڨmcWSJCL`]Zyi^EXJ4hQ8|k3o:ɜ Kf!<R=fk}PVFطSVKj(0l0…w" y1w/|tsTLN6͇)͍pme<\yX4etr\ BTK`uTcth17tѣ# 3ShͿ֦qF*EA)F;Xt>⏬8(/2JjDF"6lۗHoAjFYp{<'b˪/ 8壤Όq50*/ vcudG?n $kO2w4`[IVAK:Oɵ lk@ orĐe(ʤĝjri'Tr<q MJXh?`&{ }0.57F  vlg:@<-^F]wۚBjiK goGLs'V$ Zs. *arH]MNB^ ֛$l{ٟ0N,aq$1Sv,HG^!LC ׁ\DKSl3X=p1S1X)Fu3?(z(w N@uk$_@P65QMmFa']WjIC@ V|G5Fï&+@̈́ߖS>|m_c `N3ѕhz]* x0sMYK9;<)G_M5'\ ca.:5ď({"I 'mc[DlHCqgp=gn/:A^nH $Bho:$X*)~d4cnŵ!?VJd V2ij,b ?f>d3&x8I( Ϗ\c[ls$?QJj_ЀGQġ$mVy+m$ O֢fLK:E^=3UłROJy4*I=r˟g&t:#ȴ'"VR*9A{n՟?ͯ- %L\cT%By8?93r=8&B]:o܅iø̴8hr!4$fHBtsˏ#dZ\;MC<>E:779|DWrv:h-!R\WAFaց:,6dau{fp ~$9}\x[Ӱ^arՋ[sBX 0)y CNlsBax# Z>av_.#n: W2۽Y5n/ +3OQAD{2UKJK󨄼 KJAv;7I4qbvGn6 yssd,z%hgnm/# P@F lv3+8wɪ\y{EFFJb$/){VޱzgYNf>*CÊ(&?4R y\莢eٶ;+iby${nssbyy19E%Z[SToǀ- ;FBˎ,'* 6*-@%y#wgz t-H015];SsJSRg VȚ(Nƶ¸BϚ _9o餟$B ]RPhkByy9\I\`4QБ^o8Dm QӸu7;I$u@΂jriQvO>[9*DGұS>U/yir73 w0Dw:_' %لyO7gY.BF"=tqmJw,zMѯ|3; f._@FVGa 1Z{)uQ(Y+VkSڧ ?Jk9kzwSEs_B$(Y/QX&'NElhjmkՇ/Qβr9nP=G?2Cykkξu T']Uƌ3G!@ϓ_ſt ?g,q됧aJޖO4`UtθLqKox E}CM]0C쨉-K@ި9#ѡˆQ%4 o5xR PsΆj̡M_V,+h%a}-:qWK 2ۂ)^'CW}HȄᡁx{(X ?W LIDwl;mO0w#ETcΖ%49Eؓ0=-HHQ-s c/֭yarHfy8͞6xݢ;YsYM`F%2 kh{y=$cbfv߈? t oB;ڿ׎P6enhMgSkP{8ø.gJCOɧg-DJJq/mW=f^вvQF fv];b3oyR/mqL`ET $?a1; :27ͯ6~ff3[| [':BjʤO.8Co>")m`.`1R*.ZMiҺHNqWh%/Hrwt$C[BZk.oU::SѰhjmq, ;?chh2fFX'/ :@a_\_{ Fy~#bBS:07Gm5{ߐLQh:.'O̬GDE2)MoaF'ϲ̽pyM4<3 t [4o tzcT4GܝX8+|3֧ ou솜eMdU\8=5}0RQ#`؞◛XI.RP ޠchzܢ"r#?^$lI=my( n]B7*&.G"av('*o*޺de7ƈCÿ蔚3(6zoX8'+}jՈ8b6k /EO0e뼪O/C_ԝmͮę" =R;>]0]*)R%tGvƒ:K#EF/z=9B;bP@>4lg~m6*-S&t rIw"-xU+)"H6X8J=;"&YwF% z+?"¡v!}=^.krt@-k죂SPlvRv67ȴa2VȚ'B0NȼKbF\e`0wU v,p -ul+'6HfQODU&*d2šILYiΞev0uuj)D088+ !׎cN"ߦd;9<+4 8~Dnӆ@u6ϑH/󥁧4 -Heƛ+N|ݽ苇q[@kGv=tl=mq3&z} '#􍒡_[.ݷr"'6jw~6DdnoĘ B g%Qju3-u. W Qݍc/G1< 2EacS~F.=tOvg8 ( Z "[\3ԉbA40Ζy鞰F{Te[c~#9 k]oxjqe@qV.?_]QR1 a2@l.Ȍ !O{АL2)kB>a^smб;Ur_YF|Dp3!RErLRoJ(ږq$hxglLޚ,KD)@ L8a C۳Ȑky]?c%a\k)­6{;LFD4 w`7CG[ۃN'Wc!2 H,Xs"-O#xc,Rd\أ5R^uDPC: t4EFGF@!Wv,)۫ql[]L0%̍~M5Bl"e<;;O\ JY4UI;{e )u&q}HH%m܀ӯ < 3G.GTB.r=({=%}WR=+P p1T)p"R|E7^Aq qcYz0gd'gV LϿp2q' 0HOrES8wnĈ}rdsO uC[(Voۓ.(Rwx/x¸D5+(Ppz!/լI . 9/` r(I/BROpxJKڿ-ۖlߩhv{ a^jx%eY$"f^ژ98~H?[1 TG&oqCM7Vcgxfղzއ᲼оU;UIW&캭7`IMf&6D\#&l%B ;8Di^-ܟ6"ql|\CI52R;nJ#qΘo.pWCޭv+Ԟe2b㎧u/k $oosa2.̳Vadʅb޸EnpTlegΰeMY- wO͡;>id6~J ZXy"cyM(v̛|Ԑ;+7teXYv QZB+fen7^Tݓx_M^roZe2.f`.fbr\⋝yp jIMer4H|˄n3ACیN%6J$P"lB EXgBZ<>lJ6? AkH62ɩ%( 7-FԁQT8@xZGZp$"CVWZ8goU1&`j( )RmTۛEePF=3x_,/1{^%F{u0m= ׳E) yZVwu6X")m!~cc]K9bS]9M'$XAk)SB#0@]Vy8OPBDDYj]c>a^!c W*{#tcwe(q N6 WLlFRsBo yboJvtemP['M\[D@˖ քRp,B=66~qr N8N';S{OY"1QZnN54Yx\ F~q64Yy[JNqh.b3h{2rL\@O)TAZ*0q{[UHSz~d*Uo6]bI1ƨOޭ )AlT9)&n=ɹ]:'Xh׮cW7B 8䰢9uI F(@XlMvq`kJG]-̙i(0JLGM3 /slֹ{$[敭 ݽ@ׇK?`({O_5¢m0o,0jY`x(.@sx[y#u_3@@Fi:nxDre\)=5B[Ƿ"l֛ U[ɿ1r-vuas`y EK>DCJa* f|ٰ+ ZoGoO t~ [6k֙t(^Ş(JR/qI x,h G VϪq'~I#cxfj๗bOlX&uK:0*WN ٱsRKfCMZQ0l$*#URodpC7f\D LeȐ2зiݨLk5wP7И(3hܻ%h23CjuD|-3a˸=JadhIC3(0~QM)=e~E)7hx-I 4LJH&DH9Mf<52u{4s1af$k?ЅO nꟾ~v*-K6B7UVǶ}Pg{DCA;g8_@owgk'%VpqG쒝CzЯHgw@/l3␇ͺxe85kDD:Xޔ ;~n_І?"ۚc iߟ}Ďy<;B{j Iv@V_/~( rm H|4=pX3#U*[UxWHe- 쩓~[ ;%oU\@U^AXF"$ТaYQ xxLzZBv#0Euw fV版a0`1wt D‰vNUIy+TW(l v}m oYi&,TN\,tT @{7=`w])܂*:xe BЄ\"fA ~5D.? I0t6vMNvFFϱmk}i#Jj1jd!m#1J]\w % nuE,]8<<7A@ty]x;p7W T'ی$b()B3!D[yl1l\UAtf +OȝE!ȋfX~+3hC(Q1M ZͩY"6cMDZ^/lOf=8|\/J;ST~'EҚW8D(>8< :I7J<%YaÓ p?! r,P ؐ1KaYv4+@:)$_) -0=BI , .UW&7xE%`+ՋЎ;ٱgYZ7{Hc42#AjG[Mݜ5uBO(P2Ob+SQ 3 ~)|#7Έ|heg(L75TU BS=z]*0DN'T0cps/;^vuДRv/-? a#7miW8 a"F76z%KUaVd$l!MS"6)Ewr:_Jdaۏ*FLPwh$H *QCRM[Y ~P&3F ;j2zjx<74'aU|COBWh˻=, )D:<:3R n(iEtJK @B{gb7MiR)H/+]wr,i8x y,d5Wp55IkF&&LH0U,[1zhg^"n۞]B %}׈1c`e`Xq{{򬓚5'J v_[Y xj k~bm_ w {f=-6n`N{2LʃSZ]v̑x]{ԯ䮊$I%nێ߳޴N\nN'.KٕFTҏ02?˱!n\Ak=$p7EV>HM<rP O"0p#Oa?G"$mf[܋lj,S_?3xPt>khS" >ffranȜ,M ny _fwc/=^吟J#~o6hjp&>fݡp6T2/EgV)r%9Ƈ> 955n C0)S-lڟE$MQOIzS7uԼqkQ1zdjA۵zJMTgJ៷Li._t13u]7Vba(;c;WdUy>؜ʬ8AC]up5N^k5y gVP[]xx>M?2Lf'r+5蘻3DNDX3imKX i0 6c(|7t._/1W6I9؜>Lj6Xn {Q4-\#{]:IarK=DmS]"Hw5H_eZ%kHiYd 6EjPCG|T8s KDXc!](b}7^"6G&5Gb/?0j) Z{$B͕8D zPX.jXP1Ƅ%4dXV2G,_!fkW0K;E-,zDBT5>Tx|Y=<{֜3Ea4r.uz1"Mx-i[=I*a +9F>(6>=Dr\cjpc% 7 bպ)A.R( ~+$2=ZjoND,.9 觇 Hg:h88l`#< ?.Z"gUo>|o @^ G``4N=/FRjNbǎPAlǻ4 aSCp [e\ NNscC'YtsvC8ce*5*v Fw aRixȀX==5_$'*`.2B"*PzFR*3^ɪ`4D~BDR07baqv*>`xry|Zۤmue_n88tMe$]Ci-`lBrAsϫ6ɳmL9"SXڮ/v#z_.[ӞP턆\~ irؓ{zS33X[S6`s22=l}޲2e{IcCrf?桻 ^J)+o}Ubps7OYG:z;W!kv)X[4j) uTlRn6\F;A`*X9>MÛZ cKKoW5 OڨAү$/Li4j+ѹا<6z}Z7M>*?зZF'u+a8~E@N?9ؑ3ZpMaAtՒfآGb*OCq6&w(gDc i.CRN;wy2O)#P0fOWx"H=u8gc /0j4dsLڶv{klD8w+Я!0'3ODe%R~E!ذric"SsYRYDhI$X'ǽ]1Y/fzRחaMi[r\tK`+!2oN0hi̤#>Ϛ ddgYZ g+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?mN Z[H7oRZȕaxDCA,#œ($UXٜOaʋ"r!vhyVޖW,a'k~3efCƓ^J-06ٓ[v<\IACR3(/d5׵dFzUZE uWXJDm)S3!YwrA!N+HS pzrʤ8&tE ?d0̯΢׵I1 tf<~_ǘ#G=TidDiԘݕ/02h>|)$nj5+ZV8Wm(BHvd*MSCX#bBv̼.*:` /Φߠ|߷ֳ \&lr %b`Umwh^3"[؍>YlfVd^jݑ$!Ne,tZg{KߠթNH+EOz:d h'qs$Alk}0|$.姛O1DAdVo` b |J1 {mj1s{j. QX qTu,)O Mv$r&25:`Wr&Nw`C.<`(nȘ$Ǜ>=X6{=:y$H4͑kqt@ӫVn\^* U{0+v_GjcXG0]5#0a 4>O7R>;aluCg/'r4DXbX}Rc Xf$c}~,PC` ۖLx5I6#8X9R 3G2%4#YYߪvk[q0bu=Wgo6٦7=!vTtIJIrH;ΰr3vܵqLO>̩KSvO3q)~A9VaNӫ/ mӬTȯ̒^z}2 w'*n2P =𿸑AκiPnP mOe,\!ܷ&JJq84 ?edeL_V=9P59rbk11g w*윸GZp\_CwYZnTaOfvx$\Ǭ GKv/r(,_j23rb{ S@n.{5艰^DÏ!V\0 8>τUCO`1[O$bf;ٙ~Klwf\.fi?]?֫8"lbԞM*C}4̥$jٻ ^@uAJ SO$@ j&A~8ÑM0ZXxЗDwPORrLxtˬMGOx^{O*0*Ut\cYɰ̵A utSOAO)o^vߨ&aeoh )fߵ/L1M:pNnai3)ۜYoc2g+"f5"$~)d `AE &bdP że\J(PBͤKPyE~N4YUD&kt ,e-{ٛ sm??"Lc47Ir\=]r(ע+wWTTqGE޿RG:Pkxi޽3G(CI0犸GD)N,CAʽ\{de=8ˁ=\a^a)ϮwanV< 0! oml\640b}Ȯ|dWP?hkO(xkILz핫hb(c=_Ue?gXɾՖ!P\1M\d"^I: 8Ay NVBkʃ;AUUbL?midߓCT⬠Շ،xA?Ju-?^hei^LbbX_ 0%^ۅ~e~ys9Y)m囚rv%yd$p:+&qa=䚸gYtåQ]W Z ֬ {t~%"ˎ'@W#zA*ĥ$4iNf%3*:m#taPIo؉Xp"[%UeD~J&f|65Qfrh-r^&APӾkȀhQCW:6zT uՖe73}bܣǗl_S`U&_>Mso|Ue:=1ѣKS89?%~w(Z!5dǑϦ7 =zu tI 5f4G=(j8<3<qX l5E#_1h;48: ʤwOkJ[Ń*)#Br?߷̶_ 0nVRԵa *V ]B)JHAD5kkM"tvez8db*$b1IYkb>!U%mv(^ͅw\Qk ey"]V5N`5eƠm]zȔj,TbyId»5a~D}G@/Y4<bj{.,IGBkG'` JHVVBߘqO5,j$@׻ŏNga +x92>WZL}PN1m .D&EH]obM^U'Zk,WHf&$vSհ񋦢W$}ipj&ݦ{wzn/duyhɚ$O%P^ΨRWQOM 5R81^,efʜo$U`# /II<9 JCQw(L#ہf5薢(t=rT=/]jϐ<&/|rV6q^(#ja b42.㉯\\pƮ* o ` & boK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂ$zmxuX'XX&r"[p ^|Vp!'YϜ=}Fu舦:E<4X޽'\>]4P"4ًC5lVGQ%B~%ʠ’l=nf(6>vS*A gYZf#9# tZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQCΆa?mJq^&gaJŇGgYTTdbo( Y1QJ hOxAqL~.MܺI39MFޘ Pȡ~㈨2htHV(tS`6q_쬔֫gFz=A5/w'GydQXOL ghIƃ*`M`yT\,dui7"Bp%Ϝj|h!]~Z)3=8m1AM4wHޚ {םVi 鮉/%*2hgRΐ);$>3]EfO5ʠWK~WyX\T\K"wVBFjwf⸸pP7DYct%^(iQ'kg.+nDӦI+7c SQ梶"$㬒:.OY QYr~ƍ|5( J+G%vU~(}Dbmxo T4v=jGPp<ݻ<1 w4Ԁ6oxjMھBFlѮ{@Y:S ZԐv;N)5:UL3E3v3HS_ۜOCi:OX2&e *Q PoRFm4bx}M@4 ʐ` 78l5~RQU9wo.JE!^o=fnђ>5dU?{IyʅNAkϊ<#Hր7Cׂ ԘcJ[)EikIoQ6wf`~Qt6肽LxO]泺÷;&1\ߴB]->,7^Jj^\#ExhC|Ɍ~̴mc2̆01h$y¡ikAЖԜP侶CAq*fλnCZr/-Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' lZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+/]·Iq n[:|&[z0NLik=Wئrn |6sď+|ٓ yP<̖nM 5o9>' )r2~sʎG1kD A?弙?/!<} :KחlBB> H>+p~qk_0AS%Ÿ2(WK{OFJt>=#oWUiu=W_yXYɐɲgq[/Շwn_JX`r.m.cLUᑅ-sಌ!rMŊM)tA}QQ u2R3jz}͋L_KZE1vЎDmA1R}}d\Ypib#(A΃vT0jj /wzrhVC§6pOuoVW&5ץe>㒛mARw2[PI4)@2o]*cttLP,|bIR9H.ۻ01Euc= xXڦ=EH|~6sޫ?U w+ ;wI.lmX㠐 ɣS=` @ DO&c+uk4~>D-@D "I^S|?9&t/}hGU$f~dW'z.7w ǭPU|T}NMdvf%ݖ-^>vT T=l& &( ʠ 3 ؍?(H% /  )r_vBj\@a㢱< ;N1(3YF4Z) ;}?"X;@zq4~vh2ye7.{"Uu11\wx31rAK%M~th4].8i׳4:Lb_vHK2jê=v΂H?A;Lr7gYZj%tD(D^]Ь,} ONUf*xV.ݏ?Ùin(GGugOܴH8YuK>b [PC@t] BHQyU5ǘ Oޛ-'h( * +&,p\XcJԠ5 l+>ѐHИ$ϑ9 J+gq1oCIq9 ]\ ƙwni *M5ݎ of< GAJN;?}f;c.]F9lo!|k) ͐2DY4s3N-M\i7Z*ߠzq]1T2[2/ Ŝ G\Ȫ6_*@hNqc^Yܭ{,= hTMPoݻ>csWgl [SCx(s74.0@]˭A6 '`PT/M®T iw^WW^{ O".ٟ.,ƽ DJWlز-p*E6ϬMCp؆ԸMAlt<#\Z1E$^JW&=ûd*<х/9O01# .>Ȟc&S ,GwIfTխH.Ƶ8B`t"(:l8CzcJLdٿ;umtYěB/׼3w&U?nϙ314fYy ;Bc⨜(%pkby\[BTAO6!¦`Q _B~E0'F~A 6nG@=eW`/fJ%uת\ѧuin 3h2Į{u %[JT4axAe&y|va!s!wVϏnǢڝ~.a|dan3Ono s#|fefKJSKem,m^v;Os,m5hə&6؏C 6W0tc+Tf6bTC >.`4q;fjX%0Li]#@L mzIԣ׈RKPw?~MXΔ0EI <\YU$poQ^z]'ІE$3KSvWc! ReҸaFYSR a%h>̋?Ĥ[3 +m"YLkԿJXn~YW,kxu'BeZ6l. %xQ4_]қ "zx5vI;H6 3m:2C$eW30\;7 zgÄ?Z{鏏eHGoݻ ċ>c?"I-VZyҡOYFoL&e[ux@;KD+^@~A?Pmn}H'tw)+ lXM)ɒNw~Ku#KRN)$~Oy3og*ِ*/6S?|W\v3nc<8;GGΕi]`d ܐ>&ޞ/,gJ28]n%Y?:Y}'aL[N /t;gHX8j"b8잤.6|G\Dl b8),26r-ٰfTpWS+Lo)[Gm62S$ȁ(rMZOgUu&%Qjm{kd&b8G@XK%16Ǫ9G;#uhYE v'T@z5 նP_OQʐ/լ;P=9-vgVem2MʑpC4LnV:;EV2e%3=N=|޹0(1sL;.:IDqiG6WWϙ8y#u/B=Qݑ#MWZn]HI=ӧ=g7+lf^% k A?3|{2,Zv:oh&=d E3C84E:L8-sI/UČ&GC; bgZ7ڶڈ\[uO.swp-uҲ՚@SRBز|FlΪ`rwS8'@^6ra% !n[KMX(knB񽣉< -%aq4D<lJ%;1LY";WṇP baݛdh+7z>)bjѺOOC$?(WanԾ# %-i\yU^6jDѱ BR~?*xEi)#u+hKbrX$ @Ie|K|gRFxA|i8u6 ~#U=A:@qY=}<2ڴy"IV} 0]5{^`7w >vGPF.rȝ:<{:ˉQ'&ӳ7Z ;>-N`~c67O0C-4AjL$ML-^XsnVǨnt&LXq{Wf\P8xZd5i8KTk/;}ۅR Y=GeRTGZ1|.C)p? Q\vJe<<IJ=Qف4𣡎{< +^,P_m{ `kd%^JV@͠XA0͚9i3C2@ 4(+%Zkl"\QDps.>6nb #JgYZ'3# \ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  (]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($R#M[(ުonCYs_1ώq(,7KA2?ND%Ҿw0q9'o;H7`U'@R+/Ps(FIOdC%?>CLQEFkF8&Xɷȡ|P"R +YuIdIBUzObJaNXƏ >,6> 5ELzL<u8Y0jѤ!E2g Jn*v@Sv4ڙBoUX򉉜CImz1&>_!{jE|JCc<)c}0 U tsOɅ/[<Ն|4w۴D^Y!=3 h킴Up c)Ku'hAYkDe)|u3J?rkX4yd*3J3aw Q50CbMi@OZ?{E884NCڟ1УEcpSc6=;h!o1[CZbCNÜS=*:)KGG3+#FV8<1 >"`..Ϗ6 p#s,X_> $Mf5Ϳ1n>\0xN`*YiqhePLEUiz}6z᪾I>$C\WG@خ ۱U'cG1Hn_En|;O@F".eHsJZqVe>N'ى sY$ڳ-XO΍fA|)XOBS* X,)W-[hyfyVB+]G]u jB@\C+R{k$WhjURx]!->2V|("LzF x(#YќP:;E 鶋^xH BF{IwK!p.bgy R =:.716,Tm̍@ _. ه1fH4 GL!k⩈CœC46AF$"{awg4Ɉl Gџ`-PwP2Q c,ssཀྵznCZ:Iz%?ss(7xuC5$iexpxhr$0|Vl`T`]حyHeiվQ`Ads#Z-?\KNpZZOMCГ(QYgِҘz' b+\y_BIW(Kj/EP* Ý"[LhJn/#jPᕰU~ >mG,i0tAHf[Bp0trg־Ր2I-Hix7:"*vD9; ъ(1w#o]!;8xo-E tMޞ_R`I|$HSҝ3Qr.(p2LDr_d7{g# @lw3XA7}Zky "Aa8#8au'׶ ~+1ݯ  Hyd0O&#d虏[2s#_WWyC]yqE d +!:2\DfW 0 Ehvf#+}WԙGhUiH#!GG? ^ZɒtGaHpIThi9إarB/9O඲W4#?2jD^\Rh̐f=|p, :efQ)aDI)^+Lta a"l2N凫z*FݭLso]"p{p/jmIFƷY j|S\IK /|70] HC\pF?ic^n[`z˪ ozcͫ["Y]m/߆.GoS J|ŊٱgYZ{SMO.^em쿱".; &LA]+g:YXNV(_* CS" )XS1әӫ-(u}SgM+kSB aQ9cS659!MTm,{tm@, ɖ' dIL7߀ri3Pk p]84]VygxҨ$f5PMNm%Ο˪2u$ ;f c_vSkj:8BB'dkUd3r(eYi.w˼+5Ȋ_)yԵD6S~$%FVǪݵOꗰ7dYAO`֐ACԬҼ<@0FMn8OLm- \ Z* KxZ5H%']F:8vFOe(LNIL#VƳp2H y7!]׎MIz%K N#9Mm!d7$߫޶][Η]+镡*H[׃rBVmh\j3?HB{6K]*6YUaƞ mݹGiǥm*aљE3NbuyI]R]S|o龿4]pŒf ]~B ]|^[p( &aHetCfyTFT!Oҋc錣pbO`mf{,.hqtHt!UПWQ`X_>hy<2[tv$cw YoђLk<"QNK ~''uL!G$2n8B9Lܞ^!ԗ-2{̬4e1|JXn8ZY^Y(+E}Јݨcw.Y5йUًiOR6)yu1%B+O'JX8nRsk:RVڍ1TDĨeXs4 `g__!D" H%}3kK34tfh!U;Pii3Ѝ.tMW'yxuD bмjqEk8[$*V[|+u΅2>k~5.<mc(c-E-n&4S&&UqEf"2EFge y2u9zi]חKKviԿN9_Xܬ1LM(ݔ{HZ00kxYo Ew,c+{"F:<Á# =U_Gp0FGhb졂fη$HRĥ˃ikNc`/"\W0ǝ,>T#t[BF<$5;Qhr~M:{E 甚>]"MHOe˫ g;s`z $ 6U 숾dnj]nϮwED f!h83r2-:910 8Rm( eRh:YDE1 ]TеzJ+sտ̦e"$erEܝ fU3 OioxÚm&now]%O?K~:70sA#-YLRqvb]tq1bȫliw*܍!$(cdBmf1\^bXR}+ɭ̛wrxE}MD_5y1slUIW\ZzdmXJ4O!ecƜmJ&s^_@NS p0e(?)|Ob2\bH a迃q)ڤBQ \W'|YsrMiKjao@| lEkx"Y H[܌nH7'+ەo ed z|dOq\ ݇'li\^*36~3k@Q /㸑|VE wU?l.96m-g+:{s"ul`n>F\_B:vʙ0MK4\ıbGٛcĞ&j&y&Cw׵ t|T=}(fDQR]U|bsJ"KsO%;5sޞw?Q4B^ԌАdlŸG)P+~ٵ@]r3d]3|74Zj#0Z^ED ^lV'_Dp>Gf(t*)q ۉfٗ "9\C;!<)!$-XzUt3I|M]Ϩe.WőUeV#mv0I6~p̜T$ wnć:L]i5H>~Vǰv1Qyw2:Eߙ6/XphTE_1TC/[t"LT"y^9d|F^B _ ws2uMBsb{j,a7zdzMM߰-f:C; 7lA.Tc8thMkƔ̔L'{Gb J̴ۤV7"z=ۡ ZRW45?iͥ<iΆn=UpP2 uHIeA| $`sd@m}'"|t`[l=JETZ,YYBTg7h*{/! JXSKZRv;9K=P\E3bMy W\ϯმ 1Rj} '$ nZH|d|ig8KP"=1uZ6 {u X<{K s}ʶe,iXtH㳛 sJ+|G"cTQ9NiQ֥1FaSOfYعE14ncO#>Gf Ƽ{zLmzєW&ҵp 8SS,/_"sR@]@)g> ,gELԮ ) Z̺'EOeeSvoH! +% 4\W`N\RfGOi*W UG5cwT9sx^ "ۢgYZ  J  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108S0/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Na]·Iq n[:|&[z׳dcGn#9 )2dkum-Awr!`:*l(%X'k ѿ v Up=7hE .[z(ǀ;lϬFAQedQjh} G)t6)0(Dhy/.Mr*'Ev 9*Y9lySG5G8xqr'd\J Ui 8q"심ڴ nn(heڡ{D"o kc|!e<Cr2 t̺{K'z .}*_n=Ar.2h e iw>\2_"XKw0ȓ$N%)9p"2r'چ"Ƭ1S(D>mAacE=CfSn7d&.SeveZZ=8c6/ҀH-6xU0}Ap\CWMD:<;5ǿw|\0FOk V*mxʅх){.ի͋5]$(wܔsg2sK-֐` Ntc+jA -ЋTx+cK/O"6NZeU@M -| ZS)MkꚒXՐZ/,s4 Zrhpplzf3 l|L#ĴHB`qĪ}u8x4pW˴\ x1 Ki 2"lHg2 K#_I$S4@דM8h-Ú){*4.|fߏ, 4 2#~etx(?Yg^n(1=/o v&x{-? ӹq0r-12og%YmMӊjő'f%ʽ>9H4?O1]Ud`Ӝ.[s|5gG0i(0H%Dm5S6 Ym%.@)'Pc9ٗV1L!qοO1Bu]`"'5k5"Xpz 99gYZn/ /# ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! Us@]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{39= !qgA\6O)NH5 6%.?|D!0c+4+WJ_hm,ވp=ABrC)Ӟ.kz雁x)1G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GT]·Iq n[:|&[zIbݔͺ5vŰk~S7lY$WŁ"^4L>p3!9mw旅D \94nBRl}mT0:>rp NEW>T=/=69OK_z5 :* Ҳ=>ϴp\z:\0I@Sj#P m׌ֈԒ:)Ic_Ee~|ӓps#0Oc}DZB=Ÿ? Р$mQn[p6Tl jHoFB;Tf3'NGu`gYZI+/# DZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*[]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM:o^c'F,204_1ĖGJ*2;a9^7= (}߽&.r:7Bn|nmaر[ IOQCeО'Tur80+y]]ײ!P; ![u)~2-> zHE\NX]|Gj9?z:c`f8\`9Y4ܱ-=/2 ﰲz8E~ KޙiPi` y7C*JPu# c t%X=gL>{g 2ژʨ_]{6PPYI]ZnPI=wﴣ;hVPz9WtFzLC_WG]ey g!Xc>~QcMqJ2‡ qkac\.5y/Z 8y_iNIU7&Q"I;rqv{/ť5ԜW{.}OoP $% ,6c'0V&`$d*!&w +%>DDs/F锖٩v>dQda1Df2@*JѳfwmllXH}`1+qb+qmL= [6MSvhqja |ϸ FBϼu1ͿhP%wb&,؄|`~QNٴTvD=DcšAhϸA S*s݋lxd0rT{ xNlppZd[D41G\ [Ɛš[\R/&? .>;uXQc ' 5w19Xf]y^x[.&lmzjId],W;~ Pga9 Y(HFEH8,Xg* i)#AP94lVGRBM[2@!`Xr@j (9i<]$|]rsLU~RN[k A{=V!Yz6ka}]|-;@n )|G^wfm:D_H{mfyie*DPCM( /|%]ŗVkgё}^wjAK2\MRqC`H) ^>ZXq JvD=4"yGĐNnPvy)@lz࣮qֆHCO+% ^˿B\.\E۩\{.F(s!)$Opb0p1k5 [h>tg"d^3uG$ daC22./qӄrdmnlrӟ /d%1 N~.'嬶/U/!цQh9RF ׾-ʓSOr{gz2R)ˢ֌F+θk _38Hzq9obQmv˿p_qg+Y\mlf[]'je/21^lNa9-M9w}&uHW_[сCXFin&m"[b~ᓱ1`[G!%-"j?U`EE~ʵor|#lt@XuWgL^D {]^9<+w}G(ݵE׉,QfH)q(޾%Y{J?. Q[^%Dxj&6n_ ugklV6~YD-V7\chpgC a=_(g1?$cO2FI7Vd>oA&9XIԏ UVDISKǒ^)8_KL% HgT@d)|ݛq0d$+J"YnDcT8GdmDaOfbG1WUﰩGksKzLagtpnXnNCkPRVv3/;opn8BoMUHծs>uaEx+˩=yit-7ǤoWgeĜ($hpe=x9bYjs8h`?M,QiOS{4` ΛP6js) KxIR -B3 `e'u bX`L)xx`$kɼo ?f51#'.ZH(S550`Z'vIC+fFZ~}M_+=qc4ߨ_Sʮ5F ŋՓ{t~QjCŽUkhÿٌӯ+Ӯl84)yD!At3"Ys̹2o=y4T _;u,@,2vYBdm|{u⧖Wwu8trxXVh ^C{hExu8 4MX> BfhOlVO|vAjupiQ(ѕݤ)ja4&aC?%NM;w  * FlSjJY^LJ >:7פ"d sI)g]SNՇ"E};nxh췔vUQr 7ٻ@/ԯe^(X)iWC^h>#bD52 ٤r`.n3AqR /R Uza>szB5uѕ}ਗ਼$XwKjrP fNbˏ!/kMPS, .6Gg{#C4 H>( 1.YS/`]?|>NJ7$9wbTq>Kdb0C.y 77wՙگ9[y1N/ZYK`!m;]6"\cl0/?iaPeI4ΰʞO7TAR˥WWna St=WJ+3>2x;&i?1{5O remYE(QU!plO|]I2|0b= ^܊Bh</8R-T2.*OEїXm+ a("l[#f k$Z YLhBX Je\F>IBQE`?US`l` k9UBvtAVx4I4@ٔ_fᔞx7QW*kxVfU5`>[ZI\G C 8h7aD" (ϻf {cuJw5&a?~cs]s}_*0|P~FWJ*8 |ںbI/%IյXQ|MH|B=I)\cz !(R槾B:}huƍѐrWT&h&8dtż] 2Sb߸ v3JE35my42%\}"+2ѕS{_Qb0;PD9_wdnwg5PPJA~l\n Ȍ^>*ϯeC ԉ@VHDs='q{C31ljC٣;ɒixrp4]=;1giH{`-9TlSr*)_]N˃A2g7(^7w0WCh?ȎzRQ \e{P<EO@ Uv~oS,[K\cs|.ɀщBRg-`!* ),{AC}¤W+b7cw'rLqtOZ73\-KTz6b@ 頊u>XmdHtVܿ޸x՝Asa r'Sigq1} A淋} c@@˨i.˺rKaa+ce \d'0i (YʓϤS_Fy'R 6iW1 :I|t=hi&pBY Y Gg4H>-O4%e]6h^N7/QbiΛưY96!3fBmuG*x:Av&3e/^ lI#8k:P%_ae'z;A1y|j <ϟs;B(\ε0?a#au y- 0@i\& jFа!)=kݏ -\bVLiUL-cM6> ^-3-\$$iWK伻p)J&jR"!9XjsG,LTҧokf{7` nSm!I0Jc=eq)CJ. Lr|zzxlmq]5IueX|r# ւ*hdm8>}s:›=.]:->&)dxkljt/Pk<(,Htlr o༯Ѕût^.E H Aʾn8!;Jk~#Dy@*` a؞ۣ7ICuF3ҍ=! e6.Po;_/ "uGL5V50:k3/;y7_j}g9 %pPa?6Gh1$ 9UMf>m-Ç]2PLQuf Mk_<> A^!/9[I$ʊ1TdqՒzXV0mw5puOmKt\n(tb#I݈{~aGG[]l0RXVUn;9"-ymy UJh3r3|xbz4r*h^Cք;+[1_L;ȋ@{ͯ645ڠ|?OLA(R)n_cv<*oZe8,^V+ᆵ]Wl"`{$f[/ A`IlV;6Eԑ˯y..+**ҁJ{/瞙Ykx3JGM=?Jh>cߪ4&7/Q(fruI#i"+n"+^]U=Tjo7\\qTVN觝0֢D+YdHﱭ64* L۾ kHbp+rԕBqŋc`CoN%;̓ ad\SБ Fˮ17C<YRTt,X vZcdI*boi!*j5pP&Effי .lEUc @@h_GDz/xɡ^xj)3hrcOꡯ'"1 X%0gk7![A*St}=)dMnNH=PzcmʍtjG:Ay+V* 4fS/`VVAiVzq2`$S%Gͦ-, M~Gf'\De"2SGuMoi6z̅_Eo .)Qh7,"P}K2A*haXs6M纣,! AMlk}|6"Gl-RKpuG"ȸv$#!V+‡cYH1 )MW;BB\݌69w^66t\OdG$,]9ۨ^ك @Z(e1 AMe"ќd5Pul/N7dZf<.8Cb~}- ɇϾ\ć36~{IHŷ޼֛tByP|lk'uJ*!TB`D3.tKe|#2itF]P*Ni,odhg]̥.ߗeuc SVУM X{ǤRN x :)>oʰ>Zu&nU&v3] s񫲲zڜ3yOIpYK0-UϱMjB@$C/ S$ ]>](]V̒r5lF%G漮 ~ϛi/ׅ}9>>?lRe~-++8d.90: t|V7A&c]+}Uts ;i$Ti(6h^lG1H=T^AjC*YUSg4H4z!؂#w`ڨ8^if::f9;Z9kC17; KK-ֱh[Mf n¾O6[MTouu?ErϾ2`{߀ F5;l>7r3'!DMW\Luu/|OO ;GT  HF|u4GLAHkg߷Oqưdg);u0Qpof ~CkZi:OgMI_zJ1iH2Oɛ1;XʱYpȪ O5tɣʤ`q6HW&ZYm/QƋ $C%>ro0khI.sJ#s<@_ޏ"tA.@ %҇"bI܈ ۍI$bd`3wY έmP> ^0#>a4C.yU?k - y PGixlw1ւFUi N &KvppAZ/K\緽56ƅI[Lj;VwP{ZH7lZI $[ EbR49>N^p2y7K2r~v,5BS,$n  e qs+Je 1-Y9Hx;t[xi\" ❀^ȵbT{)i^-YX>NfRk\ˢ%x``-^dB(Ӝ̺&]+~Ie=)yƕb5e5,垉7&R+McI< Ys4; 8h`rӲ"{'ݝ'&ڂbBtHXJKuNWpe37nqLG_yBYeHÖ@&K%̽ َ֝Nn% -T Y\!;kfx]]||z1n[(|>&c--4&`F*KT}$GpB1]0_C{4% ,üZJgk(TzuL§ /Bk\qڣ ׏-j_;8:*bB0DG:Eφs9+M0:h40<\9Ap<`,])}6~rG!E( d1$mzFR-g@_%l ]]Y3/l;!1֊ÏZemyL\KZzp<pT3TФ?ɬ#N I9P=*npЪ5̳Z`& 6Kk ŗ >yHbdտgWVEJ,Z?,tdhDEKi7DaKStDՓ~Kd DXqms?fF&` i=&'l>UG/$}N @U|EQ _6 "\qL.pǢroVt{72­7 7%oԊ{E`P`L+ֿtO;\ke[u76Y̫~_89^5J)'|*[w)`ga >[(ٺwA:IM:.%meΑy.`B-?wy%]$?k9.SNeűWOB; F/Y 6 nǠҤ?Bck`-#);i*,urG&r/FC<8 xZyʍXw*HM Hq5rOS R͊ 01#Btyq3>§{!(P)5$3T e/v! g=Ν^`:PG-i S_^ߴH(ϑ}Hh:f2&1 )ZUC}ޏʒL ^ Cr*jLF@'9, ϕىӸ\|vČ+8"}$dKRL^ rT|dYDɈ(`{SSspT*ߞĭπ)QȫwF}~SJ:Ԁ+wN6NF2|¡."9agt~'(2)t]V`}Sr]5H̥ !]e>^^)*,[Wq4؏[)}~$Ř?1f߱`<{I[rF)Iު.~\b9y".ocGB|hi a5OJlț=JE~Ç] ]84J+-ټF{v@GbN<|䊠6QB6`pwptQt:[v)AF 9?jbuӅ?txbtGɀܕWL3:G \v)Z4,kk'%(m  scuPJT綠* Ҵ:%D5SN5āةCsJwwm5of:>g96.anVSm4S-CJx<9g:(!Q._®Afav^E[pm۽#+E22W9ryGxn.ъ}AbOH1#.nSa+cDHr{biKq29CI$?Aۚq" I dQ13}j' 4ZddW4qV,.RN dP50Nl8=~w!]W]թke0)̸ORHrDU$TXn *vj져˄-MXPe&$'уɛab擞6l)՞cf矮ӫ&U[!mah/acS'C;3:xV$BW!)&6JENgᨯԄIw 3ԹV*Kq CDP}oi tg:+NqT~y"`ns51&X8/D`Gg:;[`hpU1;N1RVhPy0݂ 1> =g7D \u#m`Ń(AeU{L~@Uűc=0Tl cղ*Xr;Oǿa51SG|Ḏ327 RHka{h!=_Po&{9i 8C,ÓdݕsP:(++}VN 0)]\ psr-[C|:U-nk3ˆ{څ\L'Z CT 8oDE'բqZV5PA}uǽƛzJx@MZ`Wy669[c`Rx( , `x=%]ΛN @yɼ&"] ^u, j2130biESĚ9L_i1aX0ohyfEFcn2xƪEIDBuC*hgh$삗}='0Y89de*w=yW!DN's4%k(ٵnpг0O4?Ο0N'T(˜0JfL% /`b#wL*r/U0]=UPq. Y?Ý MХwa)8Xv̭OdFW`7j~UzO~,m-JK4j@~ʂeV)(bRX9AlO z2lP3H4!K4c wb!*Ϫ87 O}%x'ָʄ@>uh KsYn qcIzb>D A>iI3A0o/>gF AqIYvf δǠ*;MbwDbnȏ]udFy!39P 7N'r\ýW0j_!= 2yT䀡%5 }*׉DEpqm7ۂ^Bsg[36ktW;_ 2b%KQ^9/V En?nT<[LU زi9SJ `v^Piyޔ'(.nn~~!z"fGIW(p{6;,t9 >2ӑDܚr\!zǟ20D=_+;((˔"ޞY1\x\]j'bV%lYIBS"HUQз)~4:hFg/#`E 1 wA g^Ñ5Ie.ļsIƙu D;R_ l(^y ^)*r)p![.#z@Tt/h^OȾiU[{?єX\sejd&"cʎO mqe'qE'Lpz u; @^+D`^ \$.lЗn?ܸ]z'x*n@P_YfUmp竩SaGa sֿ{:y ,y6 %AxIGMxC\Eӊ0?"U 1|'73cv\Ec2 [h@J5.(e! uHSOXQbLt8j=]VNG,\:AuFo:lsSĕGkbgo:Ѫ\Y&&3if lE3vP(ƒzX//=b-[*|YkA+_fʂ(-y̱0tw.];xoV15,&=dO9AS IO _Ȓ:аO6B"V˖.qBю2) Q_l"-)DJg=yXډ>]d[`i- <ZuJb1M4I!LTWtrICw)EY:n#]?H2 []}IDo&d9uFL=bd=h*a 4hZ\c>S_5!pOME5վuSAY QMru m)Yls$Ms0ˀ`vaD*DHIؐiwg}i A[W-^zJ-edgYZ6k+|+Z&j 玨1u ?5N;떖4qqi7#`]h8N__wv֊*lE77up \I"G11<6$&}?3`[I`Ԫ2gC˧>bۉ07x]r%Ò};exŋc2~qNR3@p.kWϻNKtOVP1, r ,U!| %Z7Ff|HlzvMRVo4j<]>w8Cy'V0-'-^Q 0_~}h%oT-QX!'2LZ\;t\\!9 8| p,'@{CRfDcAleJ(U 9,e.f[0?k|YFkWhL&WAɬgq|Pzӻ{zh[hm#Դ%?)[ 1]jw۵H|m[_ܝjǵU v0-n Z1`u}*;:Jh`k { ɠNsrzqI uvr$ D&A1@r$h AKU;;I{8yFhǚB`9\zre6^%?7M'4sו yQyV^'l7qZ4ˑ J Q( tDEp7WBayG~P^O1]ۣ$̧<_(/EڐZƵ@+JOK9YNNu̩NRZ!X-(h[:Q+ uRE}T}*.%mMu|Ot#多}3a7i`b{=VrAk}+ʥ/|wC0",22Lٹl;bX-:VѬ" .Eh~؇@ߜ:0{"Jb4[c=8{S}Zi\5A\]+N7_ȐE&u-(A/6[]?2$(ўWCy9rY$zYs;h ӊkVe#UxY$*ԻBVGc؆( `O&"ϣy .Qvց>][HXLU+&JJ=Tޓ_ HW^@G1%uSfzf vH49];̆Gt&Y+ťY\]B%z-7JY-JC*%> CUجon)^vww4Lt1sy ًĆ~i!Z_9ĥiN;r:[g7z/OcK觗hA;W: lJϐK17;I6G~QE)oD%Qϡb HP= J8,]:N4g*^p,yuH&_ }I(!>< Ȫq tS"#]I>yo2}041sDIWNu֣fF=wl]U3rqP\jh"S&׽Pᨭsc~Ƽbq˸ DCR~dcRaCqٹʠLa.:S~ xHB%&Gy4dҔ7D3ieoA;Zp}(]TBkrFU: *[p1y&3 zRyfWBmg/+AlLzV7*F( B&("»j?B_\tߑ K@f;.iBOgcxcv-?0=ܣhP=RC}ĕ$7:-DžMoNL󲼋w_c3V -eSȰ,6Qǘ.JSb2 fv1Vb݉ orڏ6}KZۼ?9.$zʪKӵ(E-^`4 Úu dil~dۮOuŁ: 婦T)0y`ZSK&K|Oݙw.sy] `]a6XAe 33Tc,.>O^2O,-6%`M]Ȓ oF,xE!2o\BeGgxw+;|Rxx(L ~:WKlsްp*>\b9xEl \/$懚,SB{'PhD@= c&) 9%SدR /l.*IZ]&,:he5F1{;VĤ>SizWְXjC؉Չt/kIzP6DGen$rf-'ȧn%m9hzISkio bXc\!nnrrw;-m}K׃&7wcT#,6źmu DcO>=dSr/_Ю12z1-~2i<nFkvAx6:t.Ÿ<N$laGWR'y/87gesy8ʶfqNs_Lrnq,e,V.bNa)o7hզl{`U'%wmr@<ʦͳ=/Q.J3t׌LB밞T93g-XVDJ` ;(du f@v…|`AlO=;;L%eX:0m: Źč)a°t͊*]T-V`'RwIzC1f@\(/r$H(\u5|Y0\8@$dClj)[^8G.,P=:]R hyØ5YERQebs@lEgҾz&q #^ڲ&2@oo_TQ`NOJV`;Jd8/j=QĔ:;rIW1\;F2uyǓkiHz"IB>S+vR[ B#'+[{ҍge Pʔ]iݎ8OAh&-M0o-Yփq̇Osv6FYSKKL\.NP,n|B(\PLM}~YĉT{c*52 k3=BJR ivB$ڎX‰4lM!Qxա+:9p%q6+d uU>bT8lcaC P)Gΐ#֦Ɩƃd"˺)YZؕu47=71qbRv\2h>ښ빠`Au&-y.+bRCp=2a !2ɜ|Q4{s> bl|A k ty-n;Y!OGWfA=}P][7-stww8yRɱ:h䮏UVD:99f:4febI(DMT#0HM9?ipxR{$2n;Ft%,…3à/';PL/ǟUa_9j4\⨜N \g5Cț6j{^QvRy;1,Xߡ^k:ëJ}̂2ϵ!6ԩ-+*b#"naRЯ&5:/;׍N$IݯOG}cf4*łfఒ=z!BfOA cimSZMB҂U<nq|h~ZP<%iUƐ[GqB?׍gdw2j[wh5ŶvT=`gR 52;+xn 0ًzM~ q^b\kŖn-R@0ĝ9`v"vm:[], $ f*ݷ(ÈSsj6>:`wo?%h bUGxÝt"am3̊R u3L\Oaz1m*{ *j.;xK_]i;I.YUEx7 2gRj(cTFHyoPHV-v/ D?abj|W}^Ԉz<*<ȁgW<&lW>@CpJx{tndZ r (5U̒.tF&"O Q*xsutIOS6{"%@\5hb>F~Z8&G\-x KxW+V̼-.|gYZ CC.3 /# ZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+>]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu._/믥u]z*CCE†gPD0=r9'P|rSIؑHM $(jqkp9_ }["Ue㔇fN4K%iޡSHE:Թ_dI9|%)fq7MB4JMdw0F@À}Mo U+`AC^%wrNXiF?.y`Ob0Z.j\JmEWFF>?=k5Ccx|Rrʦ7U~dS|\$xѭbڏkRI7yyǝ;&c=L<+K=9k㧽<Ɯ kT`?:g-$1“ |v. chT1Ks칸e[zQ o_vx3;>GHدtj{:܍fў}Wb"X~A?Wj_OS% 6-ۆX3[ܹ*6>E+Z9vX q#^08`o>gf2b@Ʀ A;7k quQe)I ",W%D0_{GNu /r='m]Yd?vgk_26N nOw*C6$ز_ibt~؊cO\q'jos)bշ@]F"BP!C>!'^EFu0}][ňvd ͆ 92¾pMBھi78hd4P} \;>DmnIf٬VnW6Cd]C(JJ6O*֒ƌċ+Y(fYRA/ˎp]ە[)[,Kurh,Ʋk9dKZܓbN)W2 Ju +PqH:Q=vЯDaXkf;M|D" |P `_cc)y^*O56N6=7#l u-Ԗ`8Sr?cb[ǭ tOeeA|o>-f4H񼖍9QPbc Ƨ,ϒCx=w&W[xf$|tG'ݒVӟ<1a*MR#+Uh 4+q K`2+d,\P5k ;<}/Y%Yc,ӿ$; Ճ?C1Uz6t{ MFJ{vl鷔ku"Z-T*z-p+dwDY9ueY:R-™^x׬Sjm5G)<(\$/V8%o5  R  S7 )# \ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )f]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEEQNEnf32ēDd]eZBE9I2(r2~x9r&9]Ktju d:*w[BäHT-HJ?j5[HDc-П sA$5xtyEM4ФqWhj j#z&%/iz盎_wg#oU;+&Py~ܳ0)LXs%;^>羿=CJ N533X*'h#ٵc}-T5o )rWL푆逇Ql}OPN$fpcl_U(CHqahZ͍toN_TcIU&R2Uń"B|TN6 ElF=o2-U_'1zUxa* $~e\:OE1F6?hɟ %`fķy]j,n"8Ėj/\TOsNͱr N/d=R[tثW:1T d20#8gb2֨qJ&f])~L>Ԯe*ȭ|P$Yȍ\~@%}6iNh*Z Ay|_z¦CP˩OT흇1R0[s]$1|E%ybrV78r#A8+']%zcґyA" K;jÞ4@adf@0cj<]Rm'9#lj?P<)`E1 HWmR>~PoJݰIMymy4=U:*U~5|3- OGn칕lRp6]rJS."j h=, 9A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112+4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N;]·Iq n[:|&[z|הF&e5Wa[̢+(Qk[JMC29o4-!NtՋyz$`=Ӱ$nn]q:s.̨d lX#޴TEn"st~W C {>hW ?&!&2\JGF'Fq}7iM b@_b3xv^HL" -%BK({t ZhfۈWbb(Eqdȇ_<,n2PWhx˖, H}{-^(=1; v⵰ ۔oS)S-#,wrEtOr܆w#m o@/5k\@$u}o"*勒LL4䝏 dsU=}Tmo/ T^a`dҀ )7DIη븗OV4pu= ňZZstt]!xRprjRBՊ }*O96!qA[Ao-o[cOTUtHŅ8*OVүe) |{ttvMggRCYwsٲ"֏h Pf"^yV Ẻ:jbg>!^*ڃJڝ'YgYZ:|}Pa] KGc͝Rf3o⦌ZJOkm<1YVD\`]v-ȏ!@QUShy#`)xIǡk1?r v1˴]=%x>xJrW4{ w)@F dO3xj4ųrH'U_[xWm/JU~)(fuYKgYpbx<)3cLh#K#w^TNZ/єhKW IL]Da;\+f6U;Q2Y>oa{ C]iʅGgYIB%v)C@b @$!bdR-y zU,gg -ŐTfʱݑ|4NN (b#|<}:㲱ZSfP{l!] \px|B,S0Q%i41+}=0Afn{wbU9鸤cd^M|Ѳ"T()J]QHEggDhx`+.N |J caY&J]ݝ&r/uΤ%ي~:Q}- OIճ>:#aEkǜOC%QaT>V%E[jB࿼"f9lz( scc\U$~H\ (aim4^hj0 mGjQ &V>ͮeM5VMoSZA&҃d># ]Ek Cl S39__;&:侶؆b+Mu}//dd[ w-a1A3j]TRbO&-%@:?\S6rb%VGXp;?_E]0"C*Z 0UHwf0Xg <;\kNmʚ:P϶Hgf 5W+&R"IEe5\`IXT CLͦ@ߪIE Д= (I/9.e:kjiwHXrmߒlc$/6*o~xs$u)| MG9t-W:iXro," VEt6K\n}\{?yÇbTuhlq7j. ~O&H(zF}4\qL(yΆgpU9'My;KKp] x² uR3Q*1/T0#dX%ֶۈ oCйm5W+˞CMl܀V?!؉ڀb8̱;13Ęv];t"%WFhmIޘ`ix$p$9`+wTw 5Pmtzt= 퇅ާ2l#]v7eSTg \$@U/04i!,maS֔7``?ohvY y7c ЃIYZbUhW}KǦ dl6Za\S>L&vBp!z]&;mb#tпN$ߏVK:9G- +'uɔf Jmxz0y5| $g(R1AFgpڠ䴈LdGF[-MѲT|.UnB *-.;rt15$qL@2_ɑ|ʶgVO2b'0,ATe9ÚWhJD-(i/7OArDՓyT&9t{`Y[>x1bkt,[WYuR"De`HiX#(:Ĕޔ;ZzRRo-^0n|t1i$Y=L~ƾ =rvU;`LRڡ}CzNAn%4t-qeF |߳A F$XVV֏HyAa^~Wwc7Q*-nÙW(֎i fmYj{h1ҶtHԸײfS}hݥ1eF0!w Ǣ_ݦ8CvS!ԘN@y:?5]o<1*Q. }j]2ש ѥfyrv ӇulcFj9IN5ac+UrwGMSr;E2 5N]|%";g[Ywˈ{=GkN޽d6 E¶a_8`J^8 3^+=U+e{hU. ScKK2~czM.5OU^CYT4ɼpwC=d8ȹko{b+o+8i.'*>M"C1EA[u~6dO4qf飜dZ"^,KTbꎇ% RR\2"1O0V=Ыe G 3~u<+zUz}ƿ#v2ۥf(OIXn*ˍYNOL3GPQMǢq/CA[ɽ=fLl|4/?|Uȡ Z<,usMk圇B7}e;R#LB3嶌-s@>/CD`+(%LIC4t=]2ׁ SlduAi=n1݉2;tPT2]!3vd=GS)jK 5'>#K̘_Cû< tG)_Q(Bb%yiqKbQ;Z.midR4A, faB˩~t2Ep+,D_A6ͨh̎/emTI4W[3)R/ш bV’uuigw8㕸Π=H ]9Gq:G pyH]u7ۗ-0ɜfvٶ㕪p\)0ZK `U(.T_J_Ă.i>O}d_\P26 2z#Ke:JO#vIp!B2cŮ  VdJdV!9kP<%M6.To˱7ZK[:ųۧ5O:N#ȧz=bd#=T'&ZARp!X~OmFd* \ 9^֛XBny5DlΠmmkuy|6n=RwGjtc49M|e*Jl6''>eZW#\E/|J ۿJ_ݜ-=7N)hfeFy8.I_jW0Wт7[`w wMVi \)g&Ir(TZQ!JP<(m kܔ2!\FѠV|#Au7__&'iYK猔4Eݪfeq$+ł6E|SPf$Hc'G*fa5е e༥}27?7لa{3b T|D{k~RzyuGpHtt8&-_0 BW+iX؇)/n HPKQ`--.IKed p,\/CzEbϚGL\!)v9]ChyJ"᯲Q/tC _"cAgVΨ_oV;!a1Jz&BkPCRǚɩ{FL [+96^Uz[iDo&NbUS`G*EhR}Zi~ !A T9mٴKjLyMo千e/GP\~b}W{ Xgݨe{1nXjH-&gB[ ;+N4;8BLDJٔL3X$'L%;X ..ҷ{&ӶQ>|n \?|E-AGB&ThɌ Hjzͭ7-X̧OJxL'9d"P&m䣉BHD⸅Qj_x ٽ\K.5 2hiV!oiSߠYB'3"u^iBu*EǯP*r4r'Iq.4DuƆA0{ccpޞNPZZ9FOA4۾S.n?&Rf IeOqNhѭE7w)շ>SuC9f7&?Oe0HJY <+\L2:q^pA|ZgH~8MD^>%VOkvƜ0Ֆo3uژZN$Po!_0H.-g|pHA[Aj:8azG 䳏>^i]s᢯YT3*xMBgeqH j ~n[6G Xdgdd\`N/RcJibm %ȳ,'X!)\)ȉS^ uzc=W5x[-f't֒)Pa KY2$$)`{֩V;,;m)bA D3FQ"dl'@I4l­"ږ_m}~axT9.iqnjȵ 03$⯡F/[n?!nGGd=wE# 5,De~IQwimG/M^ =g-Zrg,! uў[{?^ |;ű{X¾J b0fR 0l>|+"ugAU},H*FR{Of.S4KIzO `w=F-E/T1kWXL2'@/\Ϫ>ռy. KV^ǭ0b6 \=UzgX PA&-QӪ<0U4WY.׽(UBZ>b)a^JҢڪ29YL8 <=49B-y/:~cYF>a){w* 6~&L;8ky}jiEVQ⵲CR`{%r{+z.%i.W¹;iR X `0+C-shjI{s, P)5 6z#l*[XV%b֖lb**i 7uGvK GEG4f(%7#ˏZeX 0wԈkKxM9nm!X#Z5%"X҄Tp1M#ͫ@3sWT_%P1!ppGMmYۨZxvf eK#;b䜅ʒPT15?)]kZh*4`~2cALf=Զ J{<։^dgN_q4w^$W[I(5yyN_V;W7O=Έ69&p > >TF(wx塭cVSg楲`W6ϻ9݇*gprw7$!S]:YD04VWD}SgYZ ]C:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104l8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_p#Aڐ׿]Mp. `|]E*LwWSϙD+>!`%h0D|NRfy-b{]Fj)dil47W b~o-f-3ݜI%pkSt$I=,?3_l*;^duv5݃4e Vk E\_oN|CK(s+іwcc%9:<QxgYZz辒\ .IG~)v9J Dٳ¶?]w6/CC[3%IyI|iXÑ wwv[px?TJ(g1FH`Dg(`#u%gMxu؛:eEHˮG" GoD^؂kR,=mLW @l_XH7AØb/ROhn0~kq€h[A.v$aYkuʈ'W;xaK>Iq}[9SbX[ҨuϔL/!WMalDKTL1 Q߀ e-e*p9ZR?ϙJ`:Z~zÊfj>d_=B֝Bgڡp%N"Anj^8`'EeTs}qwSO14>4L*(| ]$`зJWauc;N"Ov-P4xªi{YjhPi=H1M&RE]g*LgiJ4&MWxoOo N)j&Uw+G7;@"m-Lx—Xf[;Uԉ~5x-gŝQ:v3Mj86]nn ;EP\l``d"cBdWjyD/9(F\jQU"t0 M5ӱ`."nR6Q,ZtU|cpQb0]Ǟ'"|^rmz`&%\SsȺTp$Uf|ADIVèo `b)dIf5}=R`> X*z`Q3GLxޫEniǶK`,n%_9Ñ4wUfxѾ9Xܮ:e頋=F/Lȳ<+0à!  48EbGDiͨaf-54IpuCnyȻ5 ?ވŐrwڇ^ ЬgB[S@D (ns2Ȗ}?ssr(vBó#_C@#S8ZdpK>LɄlKO'3z]4؞.Ƞdz. O/ev>A_d5{}k 9q^vWFjCNc;^RdhmOL'>fIO.8edLFm-B +G?T6Z=s%2āSYȿZA{cZY,emM3LJtI+GTE>"FMD#,oxoEI.¸;tiGQCSvI_ إ{j!-G?ߢhD'-0m=Ƶu p>{!e?NO%R_d!=UuF*hZטk~e}o5; ;Mު0wѤjPI‰,B%-ԱZ3.B͢]/ǘ|5TQZh2-4YmC-p"0(wzeAd^կF=ԚUm71?UpK)Dc{dX1K(FwԮ!W[ /՚]9:-e坝K:$YYO%ov|`C^&5*MA~w5r^7=| ZӦrJU&#8S񻬭צH#_0BӪczZ7G^p.\spZ+0=SafwTr7| Oeu9%(\ͮJ8AʆuCO5wBVe>"e9[r}CNm3Bg8o6!\pS;1|&bsOl3v㊼sz웚fXyyy֣Ô)em`2wEp%L_wk۠f QKssg^%.Ild2Q6dmIޡ;yl֡( gT?GDԕ]X!UD$.miFjف=='k:Vʽp\boҮI|p=%Arzb0^h4u4cP2Con28\eސ cq܀@ess&+e". t:W,"V: !{DaBnq}cFpŮ׆iy+_tq:~Y'lGЃ:0P~]]FiPlݽ_Ibg XۨYHL} -Z"= SgYZ  ;+# LZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖fx9.BRlS=:/Y(t}+m"4FM\#w<Ԓ^Ânv Z߯eꝈZ=T?s ̨ lɓR3 J&^x |:8"b /8h~MduL }b!%bTa=N*˞SAr&yL+]tE dy->D*RJ(؁~I ~߫鹶m [SE=0M4n~8x+hlh+:dz&(&V):] iK0Z(VNHN?Ŋ&CĢy04O47JFb5xX)r{=w`ghXk9Ny5rŽA,.H -OF^]PolbA&*R@B<ϋ L߸\*8{ "NVR8ʗ p]WtAmX/^s"l\e&vԡ(}A-,މ4N֒Y8'o0UBulv{|6q|kd;m{no9ywrv]wj2/SpbyĪ=EdқArZʳ8yhZ 3iV IehפqDS#;P`qTN54,y$ɮ%:fhq z!T1I ~{ɪC3)#Gn/B R>݃İ$)48U!E#3҃>:@ ᳧ƺ DHb+G Q|8+fY#DUdvݞ}2F)tx^55}ђFl<7 q_aGrEؑEtJIR[L^u[&ۭЗ?h} 1GCV;mi`@Dؐ\A[4eZ2!٨шQ-5BK\4#!. vr؁\蹂_#)3-r^l%欧pgPdCW6-s1pOXȘl~p] {N*gOÍsBa('svPSfɏ%y~JBBf6]Zy8kCAZP&XpҹT05P nI #d`br6|/"Drs x˵Vs>@xw[&?X`Sڴ;:#CpP]8u䌎'-ʅ}\ {MNG9̮1̓Yxk6bDʱ]v&m]D;ܮFfH[d4oFM1oͷ眲527 >:Ք'+x_f+PWuIx{[w2乶`MT7up#h:sHtrL94k>;U`>Ֆɹ$Av|?Rw#:hȦA0J#Ef PRbFhCgTTkzji& MJHw} [aG@P=$؉R 觐= U:@&Mbg%s\4Zoy w}l-c?_6i-ӞEW@wJp\'W<0kiTt!ݰy.Qzv1K~a59BJZ ߿l !GlM<"Ty fǃ8ii%ú$ 25`n\<vQ@\M.77k58wd]V _ & dY7獶71\ @sZCy`LG/3v6bp3ђ*!I>3 hQ tn! "o@x}+o/(!֒xO}־MVDSU()QCG_D4t+{wjէCKb e.-\]#.tF6&<pk7͔q5V:e`ćdk7845e?;P 2` gČR82z彺T fJ']ա.O~K#l!Z'hriҐsz7;&%?JڱRwc!K@Ey\GAtߨGxjRHnLogRugnDo>R<2h '+J+8Slt/Ulϐk:Pnp;20nNՒF,_S20]X`qx˄pO&\r6eh0u_S EG<© 3m{ny8ky=Se?G {'6ܽi n|23H[1YO$T,!ZԒѺO{GU$FtI"u74wz/ȧ+5L}Ѐ+M,)Cz27' hEPP7)Dqkr/Ւ)׼0p t$|2/Ă5x/pz8J@/cH-FxH xL!TۂXT4_m %[nAQ` r.&i b@E(!p#AJL]xuJiak?1ZXwLzَѹ]QZlq4h^<;&N;GDK璩GB%I1W&NITc;/2hCFϰtޖ΀&=:SٻXK'#!ޮ tte&BkG _ya@`u/tE6ZL7M ao#Mo1$ ˗]Ǚvg3։u`:*0wedF%?O1ݳᎂh~D1]b$ֆ =d\Wo,ϳ ~CZIowtVxʜl4 [T-e&wJ&!e83rO+k㏼^T^n_P>ZqN8僅yJ^7]lNwvQ7jt--J&K|0E#U\nUm5@y0\ Bo]0gRI7 A46IuJV,@M 8ImIS`X!tV-r!5< v=cM nBn;'ZLG#fsPu$a <  H  @x53C )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&POē=1]sqJ\icq|꟔AݡhF٠U4; FJWzxkR%:~#eEE!D:ۦl =,9Y܋3;!MJn5*tHA~( xV;|کW18%::@&hݟՂoGDD "iCmTl[>S;j.Z#񫸟B%π Iq¨*SAAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z5Xþp]#? !Kf沪DYFBnsOO7$*=e25 i[ Ѵ:hC3^u#!adPѺ20r/:@j ÉSM, CU"0Ջ9iFFDoS6WADgpL 6Th_|5ȼ M]mYDzc 3rNq7FCg@Ku)R.3?D虆LXڤ HWa[7%xc;JACAZj6{5S&MVEG+sNlmYK 8p-3R̐;3TWG4BS^֦B Wv'Ucyw?`Zq6[M}a6aJJ]yzىgX8_Q aEGE q7)P )kALMW=UEiI)T|cJ^a}ޕüԑd \L#43 g.-xaO#}6Pm'-ӥǭܡcc'ګf%eQQEwY4KG_O$0tORm: nC,Uv(ܪaS*&=gS2ŘriU|'A>1ҶoCъjԄl mIE) ` I72#P!̜^ЖYO5_z;yJrI>֑|ReFO21ytpTrZ=i܌ѼF+R%>xƥ 7ARP^;>,dŎa:sрUoJ۶;ȌhEZ.*2fV$9ϰظ TR]gYZn? 7# ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H!]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;22RE zZ|L>KuM}'M1'TS&%l0, xkSGpMSpt@ a NQTq}osyfc~prNDݓv owY ?M|t_%\u"w,SQ=9q-OBո~'Õ .tB28~1x4`.y#ێ{pS.|}KLL="Nw/U0kn d (Ǖ)M:V('*NZ&^yƒ.L?7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! H]·Iq n[:|&[zTSE$ g0VjY;}n5 g |NN-ɮ \LU@B{H7`= f8Z0Ʉ۬^3SM!pJ}"hI?.x;+w XCĠ[z 1 @ EFY殒F0d(uwȚBKcE}u6DR~ եjM \^J21WnuoE9,eJS{Q7z/YOs mU1ĹVŋq KTί{gGm 0R{ wb} ysnC tcM0FDF_Y+16{ŐJICtV0F#N,VC`}֋=s;]m( ,1q6z@uەx! :c@VDP A Rn)%iGL@;ǓY ;b7q` o_h ^ylB' )sYΔZ0@I) yH&Vmd (kXĥxP,3|)Z8_}o`ߛse" s*Iþ\lST1}/N "$tSk Pc̔OަXg9,>Wac ,1>!}d .t( EL'1nk) 9qW/6ښ5[s~ɹ,/"R N׺pePVd6zh]V8{NAa_K2Aw3!gl`pB*J&ɱ%7 N(Dhe]X]6h0_cnM$z)UQ& gW PU)yP}tES;<~V.A2!4S)0P;Gj* qS\`jyGnUB.VG:бb}$E+Da"L\1Z~8,Dl_0p&@c NVh2ybCC.1 `vqbJ=ndZ ;e>,_3| @ rRT8PNMa8ZȻ̹mnaHhR@Ј4gJChs۽d7SԺDV⤷_L/3yk5{Վ峋.Q~ 9D|rqϞv,Bj>:E1Qb[͐2oH;ŲkMn㖖eA:"sS:03r,CM!Tٞ6Zmo}YtUÿn+91oIΟoEjSxUl7o[h\٫9$9c8$.Nk21MQ+2.$JΨYV^ !p)]>ԢGV>B;7HG*wPX1_1_^SOWť.X,wۧ9_5;>m{RLi{)dÝ$'j9sPPܜc_̟A+r`sNsKuCOxD A~Y61LJ|LoqSP^Un6%lb; w'%"Xu![zûV|uTo9nc~|zC'IQYrzA+Bu="k e/ ;1uq}VP70IʟV/iojMX(mA>>zgL;=ywԷ6Ȉ6z"Y0O,{[# A2||ƽ 7RpmHA~ph\.>6ǻ>9qC.+ԛd,$EgKԹh eiWAKy[1If(u~;> #GkWMpMX` ~da8FЋ)WT$ٟsݬENj˄euy6'aO l mp!>../kg_E@偮W5;,?eN*# ջ&25.xڿ&omR.dƻbD%Hsp㔐T!}즙^ełcsLlFYnI;kD.F)oU'Ê*U_sߑlGR 3C [x6Hì;P3#KDC# r+T%x"Z~yIT]u'eS_gJUZ~\A(sU{žpvEetR\‚*|wR p$ID0/P\e%v~+ļ3r$.m#R2 !wYlz~ K觋C/4I}' mst gi㋶WG Lpj}N`GH’E2kͭ?)J509xJ&dF48#1q,oJbWgGĪ8I2nf.cF}AGS(dD#sknVW15~BPHKY7uj4D50Osu%vtav߅wo $"(w_v MS\;ʖynq0oe-k͆ \|]th|Wb\cK%zDmDž'vQ>Go \۔'lU݈’kNWۻ80 Bܟ(y㧎ӳ \AJn+-Zwi Zo/ih0b?N8g.sm.ׁ2 ^5> R4; 4w[PW\2 s#l6' ٚ%5煩;TT~Gzhx+tFhYt@I-7 Qzj͍M$~F]k޶)xPS3QO혘7^YjJ^ ]K1OB!2J :"9 KbeݲlSck>$yLb.@:ҟ`f]:W jbVP;no4KwP _&--"LYh{QM+̫NW6ď[?RS07HDYߩ2kA'[>`c觔h0cveLħ啕hŸ(beJ]pB.EJV8P7>XŮBЩ%חrg<(K^viQ>5]hd$ov;D04'x.F)S2iѣD&* dXxW.F;#*1'Tto}RB`ڻO_|T0 +R!QA7tKRna%>1'c( 9CB ޑޘ_IGU# i( مy7VmCE>6)ˎ{E]Hӵܐ 1TЋ:Bo^断Ϭ ٞme#d h~3&(#B J| \i7w\UuԹfMXZKMĩe'&p㗬]M0yaFS^cawQΩPSRz5V3BGpVN܋X'IO؏%P_Z!P'CٕKquOd̹bϘ41seX8 )LiR~36+r͉DֹWBU4}1/+P nFu-񝔧ڥo~aNbh|d͇_Css*6-3|a9Huq}%|olt #/`|^řEOt2@dJqó?o쵂ئ?td sAypZFŒv8\d~q1d0鷋 m#Bq>+rl䒸^e27v)< D2 zz$JPk}Yh4FYo.ٻNcj}$l"Nup=d!L(bQe|zQVk/өᤣV>2,@@:[ӧOo<=N+QQ5vT_hMֆdVr"_1#$$d^[>Tǵb`79 a>[XQѦoW7P;vYsc#x8)78*8iקuݬDgOqS.#q>a(` q5Ȟ>2b $}ԙ!S2mȨB95(%0O[ /#[1ʉ,̒e?Aqn7e:o, =Lx>Ybyp^`x_څi#;S~P)@Nȏ@ _L\KHlEle=g {zlңe~Y g !v%Wh.|ɞp6'45g\dx.aȪC3l:wNA?NXv7qF1AiCE{-Z?2ʕ -P X!{co*Oud4_AS:(>&|NP Z̕4w`2kq6ѰxUIva[hyIJ3<\k!B*s0^r Qm!Eu~g&WCxb݅mVhUOI>AAG"G/у,.\^5!yCBȤ2eꚰ|$>zc!V.v;:f'׀or}7Q= U6Lnitc2O2B>vR)MMsHyhⰉKbhZrNGcA.= Z{Sg_-OЩ$FU: RUy:͍",UwKB`~E< h&`~%ic]E E,qF~rA0h+ A0t.j>e^\w[cⳉG=bBE+JO0;bP{z@di`G`8ܥ{*Ui^uU'߀E"'=`X~)m~'\k~+qCJZZ¦}.4dMbZ Pf׸P` ь|Yvl,( ,)B/]p]DcTI)I6м@RFe]_dcC+Try~3 gM?p+FCߑ4S$A %c& T30lҁ$bwζJ+;@TuS\pP?bxY_?OHb{(L:.$O# N>08kd>)P*,i"HwRz]o6*"ϥYGPqt`n;i?)( gwLJ@Gڵ0|ז/Lδ<}x>&Q?~wOA^n;4rBSvtg+UVu|lQ {jH6di"| g(fT^Bw䏩2QL 22:d$p&י4]ӐOK~Mz/4 wadjrs҈YЊ6{-r];L"6.)J)@3[F%ejzѩ$K*KWRp7="ɻɑeKzQ!Es" \t"(-uOكL;SZeF xl)I#viPJuXR}Aui&eS.gn;A-1 Ax53BpiJh$motabqFhw_fQ3,u'9_'W=21yԔûw+9twg$=~˞y/<y-YZ۶ sQo-"F%TBM+?ƥw])ݵ*{_uHu̳R5x{Aߣ{+kil J?gg@|et_rH Ur[RB[2mq7sW yXvS ~}0jF(Y?ϑWzVHorbd+mwJ*j5U LRTAt;\9">蹉X"As$ӬKB*Yr .DEqEЇ9,ȓ47232zUda`]gͬQV0rQcP+78e R( QZ"}k3Xh4.dyS8j̛twX-5#K:ฎvs1! W6جYyYCq|(C{WD9%JAMv11TGMJb>C+0c݃ȕE"%[7Fi߱g_~`$&-+ :bpE)/Y&aωKpeMQ<^7 M3tP_wɮP3LYCMEP&>Z}CLڞ'.czv, vP!L#b@)ylKڌ_%~nǍNL.{$ \<ΧnL(A[w2<|3[䠛EfȔ !(rkLQ)蹢=])mmgO@Q9y*[V=0z갩;=2+*k;.9$9|эr5-u!iIo&1)vj4͗ZU(gpoX*6!'B4KN՝'ko[ɾ{iq.HB.ʲ9*B%xwt *P[Pt ̫~y@C{8W?m Dsi\M}Ke"?ꦊ vUbEq?qhx34Y^D#ttu UGmC%cX|X TǵZ7#~KiGzYmFOԻUwG# %aSNd"V-u_u k+%37P/ Gus Gzp25l'B1*(~l cM5'{]o`e3-Һtܞ(mb6 |zʕSHct%;׹ܯv:>P~,y[E(DGF޿HɂゟX2o+5>H a.Z=BCe#G 7LPj p4x3C9J]TIB)EgU~|A63{I`T;O!<QFVΚNauTNTzՍ#roy 7>3E+ }hĻ26~;y_B1NCjc_НsEik:Q ܛ`n}fOk繓ܼ"NE wv %Xe۰Mϝ R(/0rz9Z/O.u!c4_sOLZyK%ul5ݛeM i|9@iWk`t'+ûTۈB5|/x UHs6+@|'W~a %nP8f (({,xud{d-\/|SU\l7tۀJAޑ `(mM+v)l[V["Ttq|IV5ׂV4,kγf&Cis1#|c<9Z9.yA%"ѹ/ZyzoT!{N(rRJ+ӹ&d&x;0ۘgܙcJJݢMq5ņOM([ʩ:;b64*Sэ4<a +ˈ)o?DF&}5șY%.qEK=y5N0.!,,0G'! ^ه6Q6q"Dcթpy$<2*yQA"ȍpdݫ%`VB _Q`1AA])8 >y%i17Dol8]͗2JJHāGb]f> _×2Ho t.ZH= $%PR" \q (Ke bv˕{է,*4AaAt,Fk[DpGnX2%уGYFs (f[ G歎I,(R0KzB@ߣ}*;Fq{ \WN!!wVb]omǒoC4L,j]@3JM+[ 8o2<:x\UZϕscS<`%'˦$b5e>8-&ht5㰊I Q{,+ttҳcu ȳs yմ]SIOpꚅN˵$yYJswыG]Ym>ϧLsT/Fv^x$mfLR&'?zlSQvS_wm9/r#FRUab$h杯Yc,rl=i sEza ̝ օ jltlN??Id#~suebS^gH.f+sU~k~5Pr2S*&&NDJ\͸c}A"`d8E@YSxbXfS ~ xWj&% ސ)Bd^ս;HumLs¦¸L 77"I sctղJ3ҟiXYʹ7ZIS,"16hX;C#1aZD=\%8-Lh +YW@5]1'MiuЩb%)En j mD;Ca8cw+MyP܀NfC=v1 PА+.OV7zp̘k [캭Ofu?FV(>;&F7[j͖DO9$Mk| ^=1MKkH֣ }txy&d")WBpGO'':QM ,:>4/s澁 ~Kl`ne+{)Py:r F"h4ãUN[0X-\Ar|2,(2KCJhC[yB]ZS[VyӈX3&q @/@21==N> cd+{8lF+0.#I`,5$S5N&ؼ}6-X'I_i7a1؏]Ǥˁ"}jw IWD#j0U3j{jƍVw(UGԬiyKJut^?q֗Y>;>!Q(n]ĥdT6kVs}'e/I*2}jG=0WF.#PIOEjIƬLդC?௮,--GRo,nOr,+ LH[h)$Cٿum]1rn@´ŀ&%W)|wf|@~D9FvV'VC7+o*Ʊnj%=%?<#c@1KL3.?8#B(# ĸ06H%oJ@TpnMc'JC$3@K(Կ#V+NE"\t}Q=%㪒@2P\iA;؁TX '=g}_F jXVD> EK츓(԰;#^fT(f6gDUv#\Ox:P_?%WK >Ƃv H2&AD\4bO 2-.G2x,HEQ} l-/Un_ܒ))֗[D\hscaQD]frf o2ÖO>2> \ pCaז4Pv5ծrursIjW%QpaZXܙos(k3@1܃I FG|S!9eCh_B9z;s x.PZ-}~k ~N1I4,Aǀ}R;l]|AT,+?5܈!w0XR]zcrAnsb R=e2T'F⶜RǟlIQmqQ]ѱ›_,oWṽ)|kd^[KV(džៜI:wX_C* PZ|kl&%CfR#n/g]gk( j=sfY?)4<_8 ]8O_}T~bGudx䡳1k'qUC{6);s,[<umiG|i_LHZdNɄwUL8^Hr'jw1xӏ:>ʧRQBOJ-Dݩ\F6e;3,+㤄6MP /x2}V鑚g p1F iОB6 -qyLf6~.YDU =B#w\HZtq90Xxrq{j88/)CKoB-!Wav[+AEܾɫDo-Fw&'|q"| ^LNh3u/%>F]^ k|'`=K &`'"f-VYyZdЗ?Z_g'f+ QG8.m< <ЫF5@, (w42|~Tm22oMCB<K>t9B9y.$@Z[yjn&<,+7&z9\1yh"pZ->J|gsmU@뗞deMOskImksUvCP:EbTױdKe Q&K7S[0}=wӤC_.e~ F\їYrq>U봈ƣTܨ$ u G jlK1^Yf%jE™wDRTnM\e}m@8F)HԂ |Rq㽺ed"RǞ.n S-lrH:~w.Iy#I)ۣ s!gbLƑP)`m#U TгAcvOt.g°?8JO/~y6!\s $~*%Na ..~JOw,ăfD(prB(yأnGLyFQM{y6L@Br)$^qW6Y,^I/8f߲}F`2Cl! %t o9'8L^?WYfjFTmKN̝w悱Y:x a˾CûqW!N8meV)~㥺ds/qg$s?͢sQ ps~c.G|a10^3R]{+Z=\ lLVe-UzϭݑqSQx3rD.cINL|=hf?odBᏊE$wgYZ ~ -~?G'!Kd'Қ#.ރqS o>OD4TIB\*#.)_"d&I%EA >I-&udf$ts2ʈ[lv:՜]px@>iҮy+Z+mΊjrd-NgF=JPeYGJ%8IqWfdT'pe=r3̗C*~cϞ{R,J;"^oG.A%4H4cmA%J ycTKB{Ik [$(X%u4jX ާDi{䔺@V! e@OkNB7ܟGWmnco"Ew|UR%{^i(DKTlyM+|wfWUv2c?s'nu_uiWr\ب7$xm4]cICD&C^6n1n87}L|$X㖺̅ÝvD7`t+h+٠i6޴q;k#e:#0.+^-RJr'EË!1vV4R8:!+ܣ0r2d7bd}-V]'DpѨ9UYJu!}rQy]7ojvЄVn%hedvXoR\lπ`V(g"U/O`u[䴲?,S0]j .uُl-' +bk/XK8}R;jw-F[zB \()@)PГU#f[XWgi@g^5H {v"8Ҁkv^j I+QjGt$ypRYOĠw &s9g!f{V9:%; Z[[@r7_ -^ Ob 'orjJ@!-Bb2`)ߝ=\L݂uT#5\meB \Cnl[ e/+Z Q@GH:*&;u(3TVܺ(ZQĿxIp3 9ЙU ҿ񫍁cSl>Y.RXM1f_F|s3M@,u -팼 dzjswhI%^_Oָϱ'E Ť~'~\=0Sx<ϯl_?i1`$a[.*{Z< %;Wyd8&'2+cg~޸p3b8%h3V|Վ8ҶM0M4߆Wg rDX ,\7:VIˌ)} iYidwkMc }`_},_ucE+C,ZaB %ƛR/P=]$#F#sp1heu'n4T\=I%9ypa-"j;і ҳ9}솎7 mZT ggYZ R R2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׁuy7᳥Eb5>nfgnfdY`&5Mq[%=(?T  .}nͳdj.D"͂_W/],;)Gw{ݑ!S vrq 39tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηq? Tk 9 k)Y4WEOԯV&d !me[l̀"I[<-6$ys$ 0ŷU-Nlq޽jTAɗg~ri~ԎHeP5#|[RGHȓvtHGm@"=wDtz7Ze0GU7݂ZPh}NSO d&_ҒLp@&&o( ZWm=ljet~ā sƊYn_>{i<]'PP7Ⱥ&D}M ^It1U|3泲 9:]{6OI>K^p3Xw~[Uw nTNEba{qs4_?RZa*Vo#*]DZ,vhqNbX- `8/7Uᮢ- mQ.fH~/vl/]:岟`Wn+>CIJE'&V m~N7N,y!e[DjR@Py3X[z02T\b9 wS  6vktR+biAG?O!aqzEDOMfakaфoZqϋ+v|3 Nvm E#4@'n'NZVh~ @Lڰc{%0V"4;Ʃ2Rh Ta6L&x5:mT[xҔt(,6~`> JMո1ZM9>49s&͖#O`gd0)A'HlD#ʼn{_}P0R(3^7ᖛru:=$ztj}slT\""pUc4/':|ML|LM(S䜦c?Sa1b36U?S(3`9?\o7ޘ |rCksOQP!SPr#6j]'>jD2'H[0tm)L,C'A@';M` +ϰ7T*BZAXu|lw 4?B_46wb}$bS^_069K\t+SxQ-Vwg ;ikN3&H= c؜iP+"Xbj/ճ_H~K'O\y ˭|I] } Q.DX ʀ)p/Ş,P[f=flO)uHE/ 5o-#1H}45L10&CVKS䚰h{y…L^>pGۺ uWbZT"RDueuJs]@ Me9ɜD>;=XJӭ02,_6]$H[Wf&=銏S;Vi4JAt9_dWOc*݌Mx "mM6Ü])B$"l *-mmmt\l_,_<毴#v>GUN_LpXfIa!~j?zX96u:qG6r/|1tAT;ɱҮA8P`!u3qNCǮZ?at*"ca'36s=&x(h-.'/)gKYRxQ7yȓyGa}~stB9r$Gwuqg5^6EzA N׷n5Eڅl)rl.OmUq:2_ bwN]ҫ|@T/XP\/,r-xF**ʂxpPVTµIQOC-g5ѧ:S 2ԿtXԢU7yY9NO7m+ۚ^ nWK8X/oRd_nY_𭄜9йK^8GZꁜ}3߹{=|9p7`e9b́|r8 Qڽ (ˣT{~^ ={<ͭXrI8bjTAzJ\Xʡs78K @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CM.o}_m~,J/U8<|:dZF}q(i`ϕ^!j؃~#r:- ;>3ʌP,*uX9T bؾ * \EPtx5A@X17J{<ڞ{vMX&L[1pVA < rXQhh@Ã[:\ϛRcбM=ry.|~J O߹Ms~vK=b:Sbz+&hm,XȜJۄT5~PEKf~ l2y7l:"9!E^İ֏Yl 2թi0nrhje+c=)c^kBI3Hr$ י<\@0KCM>Ezx@7mv>ȼF9Ldis6c(c=\ʩn{ #q. 8 rƴL:a Hmq;ws0!"sR$$S:eqAJ@ٞDk>4k9K zR]o@yx=u7}l:t_u ޲QX{-prE/ )bpQ.|^|7k"{'"?EyV p/$ kO1M/P&Bj|ev nRm= = aV3ORkwB{Z5I+id"B>0=]].Ksk-9ܿeCg類$=Y$;*;!>(Q2}acEiU ?sdg8${$g}ē2c+seO啨\, ]Ҟ1FV~`^āh2\)R6,2g7knY.TXT6T;֒Sȭ2`XI}=NJ>U4;^ܔŠ vF?R- L?KC\bwC| >Z\tʓxj$36:M$vxG$;7Ed<;Kלڵ?xa 鮑>Wт" 'BO'n!L9+"t x Z֭CJ Nt[6-:<"'=Qcڼ4N%UHB*ůҮ8V冕caI.~ e ˍP Ya$륦]N {o,;S$~$Unp@󛉲9r|2m4Δ; i]jQ|gG#G^$ |9yA{ss_"R0?Oia оmt1 Ʈ04Iq>36JƵxCH2$ _ .CEe8m_mM}] ,&kΘH7?=|@Td%`s+pR9š4]ڭnGmgh2?? E^j≯zQŭlB*^58ar];Kj,{H8ӧ=b:ݭ7G'/i7} ]ZqqE(W?^k](zQ]C#rVjM[ &fal *<܊x 0 >5tPV:G}Y1 i"EN<+_HWl羰cp8߄q({i0_1ם[ b(|p?7j9n1'{W/sRʏ i]5"k]6&E:6)_gpU~vE­bdmB:X oti0]޳Ôu^b1޵^\m `VoѤ~r?ZQ֙`ЈXn]Qkli\{Ɵj^-gdxwy]#X"܋o3Hb2nnu~ro Um jdsQ +cYʐ9}pK#10fGhe?-EVx+y/q;_{# DԶ0[,IX^ mJV!˚͢Cwe IizUC+uXe~ai/g4OmyDyNj1dӼIƼ*)6b_R<ýY K}+,&!e챟+Yu܆Q:VA]e 4"7-,+"C wI:~ys׽F=0 '4ئ*. jA0Тu2BEWQt8qEMoykO9[lFUnt/M2Cԁ(`/ [/q>Us,Cv%Y #zl]|R VdN?ݙ*͘7#hR vے{CH0\VjJjћ[@Eدug]L@r-m!{<²n^i$4o9FMDģ|rD A%x?4]TGvԜ,Ŋ1mݹo Hjg5Ѭ"o{ňg1Ee{A _C`eE nރ0XF9NJgb~lAy~\74Xp39y#ݭog8AG8E5:ݯ?O꛻CYNnG:<w3_0t֞L Ytp䜴 P>eQH9cj!Y@*ATk=Kf|utTN=܎cL7wY!+%h0a ;&rKgYZ