SQLite format 3@ G.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 qrl< ]/]ZF-Induct:threads=6elapsed=3.595cpu=12.984gc=0.7807zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ѩ,~I?^R㷮镼C>.K>󌃋Dϐf"@m6&7 M2J Ctۅ1>\@*_Ęofm( /x:%]<86 ?!e$_po-<"i,&4E4&2Wۼ86 ARgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?6Ť70#?)ɾCM_O@A"9%7i SFŚ(8w-M!1':F§au+xI+" M^Ae1 vYh {i':p- *kv$T,;Zʧv"U C%5Ik72uv`A<^M{;=8a o<>T,n[w8;n[o1*qOgYZ7zXZִF! ]ŗXi%{ ,iӜo-"uc^g d4`LoJM 62E.o4hb u?"nⶉCפGЛ\8 hr:F ݍ>*u &;ʆR`Q"1=U4ӸۅX"mJdF7^((چD"m%%ڹEpZ,)o#Z|mh}M#xe-kp#ca]ZV=h6 k"}qW/^٬3a"Pw۸[CrᾬK/y=@kxu їf[={QQ&[A=U06|1n< laQ \%FNp40gg|ؠEarjCªS }Pn6ky@{˜(7Kk7y+l`gd ss3< s9=$zI=1UYdhztrt*CXjK=mBjSjH>ihHy3&eX=.oѷC<l!ݢr/ѽ9O'w H6῅k?m~˨Y $.Rȶ *{S2Řf%ت(]Jg ꬮ+IN"nDhOӖ)G#U8<9Y&B[9C֘!kNl4J53669$@_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<ڹ7S<BLAH++'ZF-InductZF-Induct.NtreePIDE/messages=)+#ZF-InductZF-Induct.NtreePIDE/markup<(+!ZF-InductZF-Induct.NtreePIDE/files;.+-ZF-InductZF-Induct.NtreePIDE/document_id:*)'ZF-InductZF-Induct.TermPIDE/messages9()#ZF-InductZF-Induct.TermPIDE/markup8')!ZF-InductZF-Induct.TermPIDE/files7-)-ZF-InductZF-Induct.TermPIDE/document_id6-/'ZF-InductZF-Induct.PropLogPIDE/messages5+/#ZF-InductZF-Induct.PropLogPIDE/markup4*/!ZF-InductZF-Induct.PropLogPIDE/files30/-ZF-InductZF-Induct.PropLogPIDE/document_id20+1ZF-InductZF-Induct.ListNdocument/citations1++'ZF-InductZF-Induct.ListNPIDE/messages0)+#ZF-InductZF-Induct.ListNPIDE/markup/(+!ZF-InductZF-Induct.ListNPIDE/files..+-ZF-InductZF-Induct.ListNPIDE/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_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex ,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.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[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  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<ڹ7S[͆(}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 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?ܗ -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   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 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 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\ 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{+(gYZ0TIQB >?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  wA)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 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~/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'D'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 n)# 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?UeK72kps / ȚS {k?Nhg@rCͿ9C 0_I iD1kBRӚPq?= z%r-]:ҖYrXR3C&* ɇzܗ $vaDfS[~mi拴БsvP]>89"PIoϙw3^U35C!ܹ[m[ADp@Pj`PTRK+)Do(d=/$D3aqW0^i:g`hh!N>$nib5Bn~X@9'SiLh$yz3H2O Aez-1_6@t▱K='4䥎d_(C^b Jv- Owpk1tG?dZb/pL.I:V$ł<|b1*M 9Wf3yUtmMI^ ZЛ襓]WvW}B= )kr D<JRBkY /ykvȘ4gPD\`fBl$\4ߧ~NKݙ,Sӝ71 R*+Qj+;ґsKUo'HnmҝRo'LJWPtl>4-zG렠lX T*IOdlc@́MMdVC1IdDƗ9 r s1эmr5jeH(HW!po-``O~QվIQ@qe꘳`csJY>dY"pl1tNp,S&GU(4TBQDGDgyAajqU`fu<%Z[_3Y傦v!ޱ|LŮS|HZ"oN_|nlPEZɷc8n| Xt͋iju{T_I%h~6 Z\MofH[`TZquÿMޭ8H??f~% =0p=5B0Xx^WKػ*PB ~`1: giVГf62@P.Ì`exqyT_野C$#wjޭO\2XAhz>y6T?D}gYZ  b Y"+ 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ;]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λѡ50L10Z^IMOAWClC5Zu&Y+"\n!NMKad!"XoW!0UMhrEg!(CXskz`ESesn>D|ϩwm}R7 f{gNsh_1yG{'(q- 4p(Ifө'dQm#{,{œ;aV`i`Q£Xd@#lA޵06s@<CZ 5Wǩ'zŽDrFgT@%sH(Ĉ֭j'(6 5iu)Uϼz J#ufnp/guuz#l%wuKg8KfBjR*^bgYZv /# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'lx(iwIrUփ\iyDl֥yqAoub@nA;2$cӴ`sflxnQ9tt4M^_tO,#ߺИZSXA5KXT7G ip@JL0/Sex *BF$jxf$UKt:8?)6ua;(~{7 9Xh9L'%P?܌6$ZiSƮzҾ ebf*pZGo[,q,HV//mߠiiW /V,qhs]+c.Otjq'otG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' lZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}EXnN@esZcyuɁ]9.|tx,}[U-yM_l%>ACxvM[.Vdߘ Ɪꑮ9Ŭ"ʎLyHlE:+EK0TH!z1 [`>L]ÔmInfuaר굑"xm`p%$yl%_#n~Xl\Bhk my aګ~U hMo%!%tH+ C|kOgfg%8s=kzSRT#wkisZ5r5W7? /dgFD⚈JS"Z!, ,qiO.nzPfD_Ex7jzi-cxsc5 GVGIKvtDPVCbzsK&L?Ai Cvµ}>kĞnȋ L߹jI%z7R-&ru$Le~nAH{u |9T]`ze07ZAL뜊TD[]i?{zeL8$GHx%N&7J" aM=[\)Ee/ECwM炠ulSkz=m/@HqY@s Sd]fėl˻qy k jzs ՅH3Cޡ#ݾ[yiYo^_tJr38Ԕ7bbBP4LA*{h9zqs(?nVRYe* xҢ8cQ#GCGؓ5^$W8u |ђoV!f vwYFs\&Lv-V}߀3g͵B1m}f/rCB;AW D9Sk7K Pl ~^ӒbC(R~V'f'm.qr4.\1ɤ/~o@n6ffu~=M-ukvRKDƽz6+#jZз[:ozEqemΨ8>kycP{lao n}^ _ZH<&Մqy ?f?| S^=M> gMGaԠO˦xFkzg}L<8@J>DCLI]kSWCa$'ƌB~xMC7 Kb0U =k~i32~_5VITN3 ./4wKsUcg#;djf9KoydstfT6<8ʎZQl/MYNXb^P[-qfɓ d)7"S a#Q9 B=XÀ iX (3 >RX_̵5]li77M)ؙ|'*8+?Z 8Bc= 8VXY(F.MC-Td i;"D@P=Smv {D ~la6a\$V5x ^iC\yދT#*E|{yE,TCp" vt>>!xGʥa %}G'C%9}`?mu}?'=e8 ۗ,]&Y5}"3j(ـGG;žmxEL/oIth!m]uТ#*0^(rw 5i+zgtJa#(VP gSu'1dM4Glu,/ێf)s],4G(#0 ;vV1߮ |~Ig^]i2ml(wR`K׶1M@ $揄8_n%"\tC'~Cݠ =sq(XpcgqW\_.f0"Y ۋ@4V^~t9BarlosbtIo-֎pYW$m'Skp@ܞn X?4^\2X ^XtJy%y9U;4_b>gy1J싩t*X zl?x]{RzwOwz{gp9?KjSww]8k *l[,bƼyYfπxzWukH5_mߔH d `gPE5+<`X71zy\M%ˢ6Zz9/]>f`"H(̮1WQ%UçJE~Ӊ4,!ZڼM /M1R5`.4p<H{ 3TP[-S@ KAhY/9mC%k:WAװ3KamK0tjAm0vqqH8P )Veo-?}rz0m^XgÏ99Ja}&^q%?870w|INp?JcުN^:F>A(HVVd}u|(;>ED=5Gpj\*f V&Ľ'{u1!h\ZS@4~vȤr7H𓁲1QN󉭳y2H3+b-hh#B j;"kh8!/X |&Z H?IRbOSJ%uh Õ.Dž~3 ;JB\W$k0/ź#|scIUJT2A$=>IK&CMn_VDa+,"U){C]4`9xC^ v%9(*G~tsjvvӪg#A'9/$xR|`}NH?V)i+_T8aFOΐ7Ni0>9Pѩ ,i<$_F ]Z\q=Dд(Alжޱk5ie?TsO dżb^e}-rjc5.pbWڷ2$z{# g]K5;@/E{| m( 1i7=ts+b?zo:U0!Rhp0$y8.ϣRPȅtU{hqO@٥M'[(vYr?u >(Ƙ9RS0u6!^$p&|0ѣE8QOA%Rĭ[JL? U?@JnCyXG.z$M~K;FDm$jfcK .Z}@Yj`nD$Pl&3jW0T;D0T 3o֥Bv<ND@K<وelOd' Mc=ÝZNH4~ 2jVNOGpz!^[* !!jkv=I%%QkkI HA%7 5Y]0o߄{rO;]DӸP+lw(R#kRdMU~yTؗ61맬Ǟ"ZP}ZNDļ@C0 A_@_Hr|M}iBJV-"RBX<{̤ ^x"5\JQʌ:|&H$%/PQa+>߭ -WMPAT?{g=Oi$WXItAuWF.Ywzz=Ll,SU8Iݲ}H:iK QyrGU5k͟;Ad8{?y۬Ӆ58qeppYx9H1G.gBĵ栽T<w.V x o @ajo8Z+g7Srmv^΢3{,v^OIdar(zu(7$!y$iv38՞H9QN[=T*jnE&E u It d1ճrh~jIl@3 5/htFt~$ǻޮ^AI\,Վ-Ee~POшD#UD T.p^6Eӄ!ՙ_byU^M<ڠv.C)~FmaQ x}4pvr˜޿\ԏT>-W TyEpԲĨ2Zn|ҕhR{-E<$wāsW(liM{AZ^k(zp$%FGaS/}g[sK7-="m{F:)-a:d:a'(:]SP=\ v˽z,c&yM0 ^<+/]ڏNbDL5fJ,q{!*O6TO4e,JZřQ'bWB`_r2mư7}G,Gܟ4Pp+~=:M8$8GB<sK5L|'A`C"!yUvıEQ[YL3-rQ!i|{ו|al !P>d0 QX~C\gxLQ{mѭ}uBf:*1&uNy%lߦ`:c֗ 8[9J.ovqL--E~͈G!TaOPc)+yͤ*Ood\;<CfM 9|fZP}͉]흗5" cE%U;niFz#^Ba~F9ʹ~Kʋ%"yHQ_ M9j=^9e]0R~/Ι5ߝ:xF7LMnF/[+K&]ËXėv\"πc"kqS@b{&l~ WA8 ƭԯ@ G7Ѧ@.veCH .&hEnS _H4 YhFyp.҅LG/L> `9ah# Kpad%? FO LP|h9COB,ݖ`@o)4d 1A6ʸ43_!%,NrL4{ ;%3Np+E#8LF0Շ<3ͼ&6VL2F35EJU@.4@_EɍZVo Rpu=: #c!װCe^LIEOmefA:[;9gnAQ 'n$i}}(a1|k0u%j;[ywn8Xy(YU RpCQ!;bdȇ9D<.4p.RD0ĭ/b2gÁ;M4m o^.?ӎnȠRL;Nq wDVr#ӗ UGscZןSHء,Y U2Rmd$G?KM7_:/A$BV٫݊O&Ԯsd̤b&T '.Bڰ.$+_E ?k!R><>&W߫,(psSJ^)/J|ؾ0 3Vʚ U~Q_R]Smeԩ|8Vw=,:h50a=TةF^,)2$L4~zþUì|xXc\|oO>Au&bKs MʂTpwL=;cv$/@3.wg2ޘ8sW>dtUPԿI6<‰Y y(NDh(;\Y[|uhoLK o68 '<4㛘o܈ D @<1}|JDM|^&zedЌuoypוֹDqz7g3aA'r[ Nul6 w *jD^zGFG`8Pv5Wwjvd@07z#ص R~樲^K¸\;՗єQX@=Ir펜cj^v}{f֕8YneǮ[´b?*.!eaTǀNx6zfZ֐p}M% *zclsM$DB"p;5^Xgp/nKN9Չj<Zь`#3d߿RN̈:WFb[(rq٬m>?jb}ki^D?p]XޢmPA)N [nu GD]Xk0rk銩9|`+$*t6;:kef4ahg|`ڰ?66Lڞ ?81ڴ=5Z8א%Ws鵕TCZB7Fl"fkz46F(XA#m sM}DG[~h~(F`ZͷGѼvF۷,)LhJs?v{~jl:3!^~wZbv,:" (UhD/YlR s!HtPF.Ƅ~p.JukfRt@^({tjwEs D}O}1)H ?fG_Sm+İܖtm[>r' & a鈣":Upo9`>%\6>}EmɡB8ꐮU'vnǰieb~;o!8E0(@g@۬>_SKq7Z?L-?5:=$|f*ד);d}A5tR 5;[j#EYmUlS<CŒ4 e?Eq` ԪOpM=Z "?W@v_ YkLN'wWV05W &obBfM*qœK֔9PP@YJ~J$#~H#HԵL@OJ!߼ׄ`̭^̀_4歶,0MZ&T>`1fRLpfPw#,Jz+QcJgž Z%Ov):ƒ 4䁁/lyU&|0^ Fy*saeߠBro(;P(+7"뤈z}* ċ׿jݢT\go9Z :G`,8` ^RNJ#4zgsfLtwo xݯ2:`.Ak#5aN9$hR)Ϙ@Dt-+32S:mV5uUă+'9*>>OFfAU3'UJGa;^%&heYV ʢ5;+&n,EmEZ黁EiQ.mћV(kDTjcvO,~5v`tX+:9<5$GA/xr1&L rѶ&[QDNstC,8eophnA.ek/3P JCԖ[@i;Kbmyr~ᵁ~ꒌjrbA_ KX0p56?S.EZS@D3yi^~g@ Mn&栧POhFx/e̖`Tؓ! -/k4;/O=2BY t<ۅ-_1%#ĵ[k|u; KXE / |wv1tL6 [0;($/E:f e7`!uwKqy"\l[r DSk2xDXOT 9ɀK /M;>{6P6u%l|%DZՍu` uR#; _-#o# 9U3U[^,䋌x.9R ![V_"}% |]́Bs4/IK1b ~0痭e+VnC8Ԗ Hk| F'm~7x_MgZ?edA*scJ`n%Qם.^?pS mG4 qˆ˚-_U(z\cSi@t7g.ZnLWi o@O}ffuB2O)'LWa8U)*"ס7$BOl\XRpQHzUWo=o⽡↑ Ĵzثo%A ɇ43龓ƍ*M]3H1iR]H\*+q.f5C#V@HQnUu ۩t:{& 5=txӹQR8gMM*,=sTvmzELUV#GIL)vC  -:WUڔݒmU/g2ݔo<\=JS` #ŅZqb(;{Aؾ. $ߩ-YD A?祽:O#v"^9>Wi8e4/2f?bdϻn> eC2&'[EgV?pC#Jr]&0<i *Qt Th6o8?-jxX!e m5.ۯFRi ]?jq ZcUA. `:oXk! -/r^z$d [t!gYZ!3R~@s ٛ쨡1lT"sɻ"9%A'{{KR1r '%*n%VĘC}IsNPzމ4f;=t=H8ZS '> ]whf VIYl \zI69M1j`E 6v4_mzsąmZ݅_g^tav$,+ "r=sF=>mJwψDb79_3TNNXn0*2duJX.7LNj&s/a:M/VM!S3jI9}-{ևX; ڛhU>O39j;P~F.*n*k9ic_ ӥdUd4zôhRWL2*͚±4?s iGH!=9؁\*D%j޹ 㕸O}K G5X6NE^ ˚[DT߇E>~~21<!> )v7&eL)±^# faՕx{17C.N[4NE{V냱zg@? ΅$nI|LܶG񅗟bj*FCN6ֿ[K!W1Rӂ Lc*~wt8u;#Cc6ՃtW f2HXuJtyTP{\@ N-q%m2000a8Nk6{{J?[gkob}N0|qWpfE%;V!zlCL|{4j @٭?{ AB$)!H(['Mw;4PjԍB;mNY^ƌ+ore׳4R)LF9MWAS;7+]zP *MR6O" iWchM8ȒjT5 o0EUq(yo?Ea5IJќf, ű-^3\xtvMZ ݉SJ2U'? @i\~hQ+V1?4Ңiv*'"'[g- a%G!iȍGY6< %WXq|< 7DG/X.ҳO&F49]@^zDPLs¾!P3]gӟnS#Z1JGPE^P kһIcA g!mu2B PVP]G2o5Q"_Ƹ?!ی!($S]n}( )׍ H 7/YBŶ*pD:yBVZ%(ǟ95 ʻS2{+C@Er2: ]@82AF|^ 0%ΔM"q*g:lΓ,+65UgvVU=\}NSwؔ x!WkK|I7'Hzi#ٝ܃ ߹jbj_ZZ?;l2E$_/AR瘦H$M%Na _[K#~j95dvYG'r1r>Z/b b'!Nwb&+ I 7'd;-Kw4?KDtbbPQ К!(|ܞye`YkMwKl\< NMau6]6VDI,ZׅFSx¯2F r3굊b!1[Aɴ16Ao1%34mx3ޭѤY*"pyYgs=k 7E tZ;uj#G+.?Y)m)n; S?h.&߭^srEݠR@&!46ؠ~Na؀RF5i\IkP1|QXCXBc$&z{.* `-Ǡv3M~-v8B,ç,0p=(~Lgfhz4JcN Ɔc\e V:Ew%nG~ -0 d'{2CC=}+{áxR l/>]z)~]7O5JIk R⫵GVߗ@ZfE#;{]I^2wؠ@fSIsp?h}l;3xi.6Ib^5{  :);sfHnB}`8)3Y7Ycꥨ{RX~|-٦h,gcgE*(ia7Ew‰M'JPP>C bʴvcg )Hh)8_mA*#fJnunV-k/Խ93Y<09/:"&nA`C Xi 46JT:s0ڒPk\]4Y,*R\WȯE,` ;E[QKM{gtP6$ШZ$ T]( E'O3g-UG]ꧪn+I}aӝ2ʙi\ZүpvTɂvC~4/R _W|̉'ϙ4i#$[Q Ҁً愦5=믏HYmOmQʅQrΙ ̦rIw ӪJ1Y*l!|9St# |yU5}8)E?1'pqؘ샨6Vg9)b D֒ {%=a߾*U{KJ]uDtu@o ?IU7zw&̙)|5%2/9x*0Vj%fONǓYV(iZ[o_{/rwn9ie ^_6q}gTԛ1tY9W1B%TY#wTtyJyjt]4fK><+~B5r@Nf߉*^f/(Y֫C昒PM8D^N~uJ,Yi϶/H^?%hn "`+QGim5!([}\Nnق\RLu"X !˦=e1hp4K܏tL"dU7~!]WV"BUu[|r=h6 y]\:]c2x贉(M1_CB-x33oOΥÈ E9N*rUP!T}IǪ׼`KҼ޸6:@˪ZZg~l}0q]#;})0ްU L{&[0(ܥiCB#0y_գ)(d~ Pa)@>$ם{)B/486#ϳU;k`ё.4qMEo*^Џ V P ޟq&y[7湚) 1=,R1W&W=+Y[+mF^jNve^߉Tpgu Q2HWrwSzfF[APS&fDTwYu϶]Wme]+K557HybJ*U+nPsʊ2 .$%{9]QhMAR 1 * Uyg s7%t#6uD2M༹Oi" =%l*׎t?3ٻW4~,1]dh(tcƃ焊2wfz*,#A7PqNVFrc=Mi'ucʙuR<.e!"/+LAϑ*f}k;Lѐ#AvI=- ^u7Sv:5g)N&i*et!gݐ 41ثAn)5(C!m.Z]?@8CJ/}vYlԫR4(*Ʉ"_{c%Hc_缸?: '<"Y{&CaZ*~^94S't}ў9l2mC"yb@hc}E$ Y!%\ {۸f _ uge:1Qsc$"wLh;#xdR ANȢlڹcEnPߔ䛝]X2YȢoҦeh|=QXco%%JFDAZ]8N]{zz|"x6J9iS?PS.h^LQ /GQ(ET™w#4HM+* (f27?'Št\*o&:>|2cF*7 <{2-X*ƝuP ԊtODs$$˝X&. #ܶTT_x&꿺M坢U'tǂQ ܭ7,0r_̀ӤؾLYx|$a%);%&BY5  HiqKLr=$ie `ktnm[7YUEJY MhN4g=V$t-'R㍻ =߆P/{A)#IPf6^Qr[|yݶcj}w14v1- @z>OgtHmFRߟˤ"M)*}%-P*J,~iroiMS?# nQ3^gLyVNFl8Pux7I tCPD%~lvPՂ1DI%TΥxGsԫf|K87F0}~ OӋĊy>Xvf{>ub{y4ls6{u0p[DzyeifF5s [ _vW4iM*Һo:[ 4#"]ǝQ,UtMXݐ>Zj%bUyk!sh3(U:@0Hv ԬˍЭ6sxDRF5d`rkn>%TVnM"-B\&`/vX= 9lrrZFn·, l'MBMel!Ufht T*`/ީ}\#w` _1HOv}tSDKѽE 9e:;)65y-Hp Eg_0իbϧ}28>Nj@`xrboJaȧ*Ć& Hƨ`'^ۂ*\c=r}v"E_t!-[%bҖqy~HA?g 8#%5)>Fa=O[gaBm>S#< m#WRߛM3Ƚh#ֶl&"{w/roxB=E6XԾͩڨ姳2;wȆfnWvjNus4`e@r"zdZ券%5 p )@Z+˙->QB9^.iÂZ E u.t5BH՗ )=8e t/re[ 0pr*UgilwGܺt7qJYER]q]8ƎSdcۣb3!+%v.*jJʛ92r+D j~#x4.Q0DurVdw4YQtzy<Ke;ZQ !Mr1AOY*c%]fEiݛe~.GnpzX B~D8sC<>JL𨷖E@[jIjڐ%G V`̮kA< ?wYrᩌٴ?jN4AfQRz쉝=_Dafo T֏*~"؜OO(@h޺?]s m;' ֶ1NT@ShOu mJz-@P 稘m31 CY^ qHNEr"O)Љ0ý dUzU䊥}Uv=Qw6k5~ۉFӛ,|RC}_=e![`*ajUʀ 7c4)aKy%Vj+PʚK gr{H$yЁ;B6Wr\MG_޾ (J"tZx)W.!.YHV{31AxѰS,-`i `?K]{ew3D]ZB>tU g'Mdϟs1DjFs;"dfC+Y@n5g7O(`T ʹq6u)Mgv.ES+T?g{Ă˲1Y#pXm*P|M_`O;l>YYoX:,߽Q47FQOuNg^⧧(u"e(4Gf©m&"P`ok Ez6ȭ$ Xplqœ[Xjfb& $D.دrYUi3rÉSbDP&A[!mŻ$/թG\L`T84F_xvG3'\d܆Dp3#ZJfenaO5TwZ̓>7sY?܊p9wqsˏSJ ]3!_M *yx"sP͵FzEkzrgȧ.MhZRc \^) ,g ZȽ XM[_ܒPóxkv: /%- 3~+6'.NVBKGH: 6 Tr)C%]ī@#Gγe@mFyI z+!a-TJz_^K5AkW'$"\ )GlƯtn=Y{{V;R_lj2t|3+чPZ<ߙf"Ew3PY.֚*WP3`Z|*@[A^?4Y# ).s1/펄WZE{ h.VM~L^DL.?'SwHh\h::: RyѯK7uPFDϗBJ+<9zKL5, f_AT*4`n 6˜A, * X>>Hbbp!n9DRϰ4(3 Qb!#ZN᠛|wcؤO/QSxh;JxcT@cx?OU|@$ʁc/MMLJqN6Z:v;#FTA9Kƨr2]vmqMK}Eo cuMf,Њ)QRAFrD\<іMidy͙>`L?uxW>߆sS}j9\5yY;R;`'CmH+nf2zӊY^w!!$۬F۠$JNG[EljHط>}@0 T~Fr !V8])hUDG~u,!:o@J LUk˛൹s[#KYm#[/ŔC7 &y5/.2W8EV1=CĘhN)wmoO|׽?McJ\I0QvDD[I5nܗlmgg`WH=k@/qcpd(c%+6#.xC\4At{bD^)S/"tӈW@ ɦJNqbHT륭ȑ#/<Y+/c-ZHUx1<+c'vs/uhTͻ`-MC -,q^P#hA];CV4OkhcpA䆛Pu?Jۭ Nl-+Gdh3t*.@|B?qj+Τps]\4fdI Bl<ΛM>E?Q[[gLcA-_;ǜ4xELk-`y>fDGst s8i6\ӉT¾"^~3&IW!horZ)%f.,~|w 69}U0b!rzF3FA[#s{3jOوb* vJke4>Em/AnV}CHiJR2߆Azs2Bk+~ÓJuvA.^Ss꛱9XcDn[lQtXY:-V, >'_?t7$-?,|DCcU-6iIX@Y 7ZnTp!&Dp$n01=z3g LȏXQ3TcA6oUp%,j0aL:z@X xFZJѼbI(+W* 9 wQh|N+X("%u_2Mo%`}ť4_pik9uE֍BNS ҼFId>Dk$7~6}C[*QXq,U"ށ^i.I5 Ef!2prikE;c` Ny[D nCHK[;MImP!WPE\c,b,D] ݵtIPFkUx]kuvN pt>)Opfǣ..E ݷX?NrYN|R;륂u4hz|y "> q :CZ>ʵpjN $}u-A=UxɾnYHVp~K:Z$+\g \_8:t‡ẃ< Lg533H^txXOыd7sJ 9ɉ1P D1p*#01==(fJwqa$z$!z/F_}yzyׅ6teLU8D5ſuƱOѰ9a%fa^Bm3O(ZGtcVu5iUc+fI6y!1Y9yf4-Rߙtӂ_Ϫ+ >W5ŧ (H(_1z%JtO25pǙלskvhߜ u>']?A gq]|#1$KF }ޯEOFcG] @13&'%#5.) KfXJGW(vo\vݚ် h_'^3u*8hsC7 AXZU[HzArĎK_ Q#FZU^!cpNhdTO"ؙSP̣0N߅g 3udr+0tbmg. Nbt r!Ni*ڑD"0Y.V$ُ˨[ yO2 :xCi0{i!=\kuv4AV '.-qc-}[yeԢ) GR G˭>yRr~j&wN1AG%w.PpX W%̰%'`!fkRհk!2V1jx-pdjhA,XSDUןHZ4WfF 2N sqDwpCbVzcϦrR Ft#2d.٠~8 ^M0Jm[%|$EtF[TTvT=۸w.-.32L; -$ o%b@1pÂ0_m; 曠u_1'b. /1eC'd3n&|;܏WI('vPFM=I}\,Dرx©y36fRkBs*MB9;?DWh{ r\6YsyVN%/ȌX0ష[QMM u˫LŒQ 2yWIL"_%CjZ\1U^ њz\, Me-z_Jhexx_OzGh*,[ uDkj&͌f<?+bBqEf<<例Im[2&Q9R-WP4qezL?&$z^Qztk~;uzuXJ!I$SQXrOtJmJ9oX;L_~BoZn lЮU۹TK4WѺ ˏ^;/_A1/hRy]c68=izl83O<ԵGRi"P)Qk[NPȀ  (2bpKu.%;㳭zC^>,(=$}ԣc]I M~ѫD}KM%  Υg >To<^q%1SZE0;blϕSɛwąViJ|TTM0S_ nc1a~iܗCl_ ՜k)x>·)A_831&y:y9^Av}%J*t c"!be~1eB갰oJ\pHF 4M{AO{z1Tc.wR #>]?|>v,,{d#bh_}1{A:/.BVu-[zx|Pڔ.@"T{"}XIcFO\IlrBx8f] 96i4#g:,b(QrlsUœ-u-8:.+v?@5gˡ&$=*}^^|*O&su& lwFu+i>]8k;@;킎B3x!%̉봥#S 3{>$y4, Oa4ohU V kC~׃P4Cݧ'G5 N7iw`~20 0` vgQ:y˿K3]7BoQfKX6r 9x.< c"yH] FviAL=}NM"3&t&sTfNfVV"7Bbk҇%]`œbZxFq[+_k=0O\)'6lh쫋P<s4iяAyI4V[Cdrsw̭ö\츤PF1 70leRl/\\9&b|ah\:>wݦz!9/}kv3J2IaS{#8/6 ,ݲ%dᏦ]$  [ۼLqG8jP<S?ΞU(=__Ley"x`$7y)gaO[@ݺ eҺk\naPu0􆥖2k} ;3{is06ߠx'h>Fqh1zEz99 Xe*;8Q7aPnWȻ4“p >Kybi44p\lirOh'Ƈ Hu+4RnOm(v5d2[D_ ]j`-3vߒKR:@Mv*ka\Jӥ́])`v~!3W7['/,@Gݰpă ^^T_j*#'Kٴuh5B;-Roq^o(i Ik 8kK&{1,w?BCa3S5Rrd^v%0,RWG1^ós[n!cI8:|,/p [Wz ` !ã1}O|Ӵ"ʴL0MgbcNlx]'G3/6:9;ZD^T(֡*Wwa07{Tm*"[`y˗Z_{9#]|lv{-xi(G >TYJfKF߯04#'EyEehc6( uӕ@DZP!ҹ<M[ }~XgG0'*"$徭) ČőG[蝾Xf{oќ'e\LaՖװNM#j9YN)M.uN0_ Jon ֯ "~t&Bj\>i?k9* ûm"fغ-7֤+v eA*h}M;GӪmE[~>huMZ dpaխ!R>S1>4KHXŸ/WTfTσ]V} :z:"IB4y Dz}lu6#=ȨBL'DcԹߒk4>.zUǕ$ f %Z<IAӼń uvg?@2v!^sc5EeA%0qGN4b.fL${m+iuYs.]>ixy ⋢6پH\=6u i)6DoODwtIl:,E>Arl+];7N,͂F&DZ{n7gfBnF(}M5û\A< ;nuR0T]XJspXZ-ޓ456:Uǰ_5>[Rp Nfbur-7]<ZcmcB|v#љxg`oFT9 C&J8Ĵցs VN L?۰p>Ar%?j@y`.kyYo!0UU$ $O9z c|/.NS<gV9rsgB9}C@a Xs hyn-EPY-Bx93s1$y ]%֩;,Be8Jc"aejƜq L{S34!+㸤}ܱpw46LցQI:2-mIfǂ))/^58M$J'c~ ]$v˩ӝQoC]p^iD ,[uX␀CWߞNDE[AmV^ kjoZdUrxE##eݵSw$ŇU~AGNa74K@DI4rb2,wR{;u)4x)NڅXC ή-0 Wӄ[X3<]/d!=#F@R; ٝ7J3wWW?_흉3]#KO2 Zux#t Pw\hy_@)FFk?MSXYXXVmSf䨿.v-Hz CjSIx0Ygkmt@> C/]vTrfDwܳ: `*S5tr&w^g/O7&ȮdId:$հwÀgX6T<}Pˎ< +77}:f D z#i'TYef"OLG> a/3.!R ]*~;="$*m&Dum&8t`, $׮OLk2:1} ݶxf2 N2>;a7~gtdjRSH4x-8ۂdm.f3I7j(Tª*is R1꠶ z"Ydѩ:‹2.Ǣ]DG./]XC_f+q.L<ć|Ź^e Q-V2Ή8ѫ \&͵o{=”Dvmx[VzPJTVv1r no/MRo1tUT1 fC\5zEU!ШvsgM1,q77M䤣Bi7y#g [ؘa/װNu^imvsXTf 䴭}ԫ5BVq+2Y'd! &%m%ՍbG&=F/T9oe,W,%ϳ Dk"dzn˙,h}!n8O}KԮsߝʫ^9-#tѮfꜷxTcrZ8ߍr-\/W*V#@BAC y_Š7${R (f"I#V@a_%8bNݬ{ieD{J ?`GUW8l߂Vc 6?!>fPG׏Ѕ%k3$7o6SzKkA\eMA@-hc|t:Ѧ9b#8 BUҦKwaѲm7hi ܐ>VW܍>OB#E(ˡq1w$HFj+l <@)BU"#UJ]HFi5pGmMWUhuQNp qhO:oy/$5NP5tÓ<&[6N.1!M't$x 9]I:.,ZNlkE;}PrYuSɍƑzE* .IKU+kϚPq+ˉ3GBzt_ٔlJI z`Gq?Ǻy<$b*>E_SP0Zkm!`0z{и-8 4b!T mOmׇؗ$?~u4,+#g_0rcRj˵1%zGҘ'2<4xE3Ë-`R&?f.qaTL~+n(&VhjۇpUR@$"{@X7xϴ~q*ϟE1U]lOV>hk0Ю@s`葎~2{<<_]y?hFOhgX]  G|gg.e_,q1:"DV6kYgGl!v+K[AG vVzF,-C˃LoAƴ[9_藱0אY 9PϹ'SoIK;FB{ gG6МPdc^RJzpnN> Q^0@&FSvySSFxPEoAx\^o.5Tz2՝Zfg e R;PHJMR'|L468 `I}_7^[!2.jPEP,V-yW+ur]vwyb\Y]dDɺXYū ߕl ]v났ܙs6ʛ$ƗytGhU$_D*B "7X9>J-h%JDS! }31vdX&  6YEk.tC= t!z)]H嫵vW&li,l]^߈`_n!ojjҞt9{%ɌiKEDiFbkvz:aTgL"Ȇi(QWQ0R~XcH̴k F3HѢF/X>?1`>L}YMdz%ixM. l3&vb%5Z;޸cL[D֩ڇ /{ȩRTW:&#rPtZAa~z{K3FwQ2ӽ1Q lM2-4yRhtGFGNlI_]c{va4M|gcEh(s>o„oZξ_TZݫkӚ01No4u 4.${\_gtٕLpYӽ8`b4'+h,u'2ƎU魹X>gibA?J]q{ZO˜1;X()59h_"%yHUFkGYrg \NC!X'#؋nt2QA-Ë}τ 3RNi( 7Z5k[n\T)~UyËM<%>`V!HIk؀ -SG3K#dq%l{D!䷨M`u{:.ȷ-c& Eu q3uY.>v.#3e;G]-mb^0i|́l?au~uH b{f[WdӛCbvvGY,vd|?C0 /XDpDŽܱ[RoKh XUvvK̃j5+Νdv3i }G%{|¸uBm~G~ !oZI^x~[K'0p~@pйp[^uD-!&/yu.DꊂH&%P-LϠkf ?jZNF7!tC*{j?DAX;Kp=T@,nInoL+̨vk+۔ˈ%= bH)ѽ?퍷3WDW9^[X45gVa,3UK1"Ie͘?ddWB@\)U36@%ؗ2D~XVtݎu'.pwM6!q?5w~Q#֑SI'&"tn~ F6Fq.q~=ɉt.l, et? nt0[Da>3٫ MW65VJrYig-7QG}Y;ɑ"B8[|nPdųL ~,b`̵h1h%%3(Gn/ >g,.VE脫u$Vnt4%:h}8ͻFK8RReesDӉ{h}a a1&d$'ÔqjL<3w#T;56K8?,&щ6)Yf`Ѵӫ?6@v.nAJTh2H3"_F:4wpThRZ:k\#MjYjb` A,B+hyLj:n56 4~u%~b6&@Yہ͞D=Tj-Z\#_֘.Z6>9G )GV!6=`-(Kq(٬2T>cEʍm&2R h\ p-voamE CUS2hP'FX2-ůNV9(X?|Y=Y>ТJD6a!W¾+"y(v ÄVvPF ^T2\UG ,퍂aÂ|ޓw)!@hSv[F\;䭂&>/Mk gJ\#ęJ؛͟ڐʒXNWmn^ҷ2I 忼9ܘ}C8w'CfǂHUe߀څ ɕ3.WVM-~~nskvE~el&jgB\[}9ql-(":~ș⒏CI876 =Iߖd؅DzPb T5JU6t`.5p-e6y^'ת5 a)emY2{ RI> RqgwΤv'd:Ʉ{5Ov^SP]`96wmv.) Iހh ]lu d?!# hiU20%a3ιU\g"4,+`PBk SI.>Gb[UOXGMFN1M[\=+[`&2Sg0i$/t(u2BZMpOc*jh!tdcc9=]臘hc2(8)ϒhiE6/XȠW`P^Mt))&d^'GbzV;<۩ 4}%Ǖqd@GV:CS>kl3ecsS6GZ1uf>[=}U!="ߍԤ#sxڣ{H-gr΅3 _1C ^MQeBY'L([68` bUƛ${Am Y& 8}j)~._Nwo(yu߄dsCG4$!!ޮ Jwe?~QxˁRU4^wErߖzD`Ԏo(f:*aVVYhctb>dx` M {[ s*5ΌJ7̕dfq$Tی<+l>D%mCdT)'!$k4\{8򱃂e0s@S(m =&ݴv]%)ԵKב۲eڸ0?1(vD䊄l?kp[L4Hlb8f '7zSVmOfXn|-[|Tvc)QȈY{E$#`a ؂{LĿ]]rʹ5Ejj^LRK|.tgKƎd35 Rw0!76&QlMNK4J .CIaY yZ~R=X<^-YoK0WfԯΎj.bpnZlK5R/7wʼr6:k)9/@B$[Gw'lj$JSR-FjP$y){r)],*VZhv:!Ƹvp6#c28m!'FfJHajݱV*K׶5#^b}'Qh&$ ,=1Q1|r5Ŷ>[cҞBf*W1vzp+)cM:Rn)s:S)AL,/N8.g5C4", (!P-e˕Xy\|ʚ])"eJ2;ŜƇEu h9ifKp1W <`w#?bӓ_9 -BAOQYֿCI7 0 4;P3|po}Os$(\,,WCs 3(BY 2MQƂbPgM4?x؅˧ֶcB'ґ_=')׬" ?$G6* dPRj N,\BmIhCW3t$R }.nDcVSCnRC+x51 ,+((1II }@ HZ-E?Ǯ::Ǒ{wrnCRy`$N=L:lݳ iXPdi:G_ggm\{zea3;B&g (l D)dmEJ?=1)N!^o: R֜~U!7q X#;mk+x>9LNz D;s @=uM,ԨN? HfV9<Ԙ? <9)^_C/#NUI'C?K-/E*L iD5HijFC/Ȍ L&/^=\D8aĄ|'Ϙ Fr$x%J5v4$7;ݬ3eJ(hTa+;.YЀ<"Ah(S,HTf/T&Ď"Н>IGEj-:O|՛lR|/vIg94g#v|a/?^Rl1}1cXq/L4*U7w%|A'eM*˜q؂iEʹ-Zjz !O{_* =Āp8t"M?v' I4mp]&AubV4v|za5c c6ԯizN{Q4y#s#K5@lb?w_uQ <Ӭoxc]Z߄LYʲg gq] m~j%GHFYlxg'%P*lvNq:㔇7@3ܩe{_78v6'm/Z dihKDyq lp~}Pg m/Ч^!}Jb#6mԯ\{n(y/9fmk* nبoDfLȟd^UnI4ulU~/hE n1ޗ~ g((ڮS 9 }rkr~i|?G]AG[ [ as$Hմ 'Whoռ M#-^ |Y;NX}LS|TԎD;&%ш/Ն5Ou;L:i&J^F~$N{Y3[kPdhI/Ckw uuަҁb'3Q b5RRHl~Jr^8XW.O~{*]5(C ҮRz4FWyWp,}tͰyA )vBBEDi: ˊb2]Q+P?!*| wڠ ?Ш2͵Lgdz-/ś</-T)lO$Ј#MЎ8mױ b[\/]ALƓl[.lV!3qa##d,78Ⱦrm|:b?V$O팢BN&"=%v3*򸙕F;zFVҁYƃQ n/tD] :G?]A+#@fsȩ@C| x OswB ;g_Od{4| !{)#ުTއLʻym`haUj*W'j(ifo=J`ș8DYbbkM3yr )\0/vcC<- B6Yf.m>M}`H駀 3:n)C4ׇxS!~ԂɏHW畳x"^ՐZ)C|?9b&Aq <-lЪM[ȏ_:v\5Rq5&ګK ol@NyY^Ke(b; UtÏtN/6uNQ̤(=qb_\13tæpe!űtdfzjo&je9nj#cܠFlVJT \r7yz~!.)î2R^=֕Tpe0t/DRt?+IL\Ði\QF*/aC^C1 8',Rٜfh='$30 @2x-ҚJ5 {n@!m3Z'awDW#ׇ"fW]LD.Tydϝ=9PniHæw2BHWe^ݨQC2t)֘;%ndEq*j+q9iu|:SAJ/0 DkB}jsՑcK\! -+Vp >r={ma4u | ʅ:>b H}f[(u" 1X4{`5* !t'@Zy ·\d1c&Yi%mN*`)/rNEԭV?c݊4ἐthU]?p M]cTYqf?`'+⾑|UOHȢ|cf㣖Gtri>*#g*:RġԵd\< >*QiW n4SA 2oBCoFW:*0]/xiZ`5,<YueQ# T5@롵} ﭹ&(2|.H>T[%#3/rԠB}bz~W0h:^ c=.b gc)=@YSt|y2n<݆Ǻ}Sѳ民ڈ۩P/PFݹs? ̤('?e?׃rcJD/fd$&ߙ,'}ꕩP^5@p {;M?yÆ<'..euS8ZQG qmЫ&74G>ݻ"&vNgMm 9dmQsK9{F?+ zCLj+=_8OC-/FD^|lKˉ?RyBμ29fq%9&A*|=:W)c+(6ǾNZWq^Ln\Șt Jsl6.d!õ?*[Hn7~ 𠢹ԄQ#qMS ,bI&i~fTs~X*uׅ"ÎE{j`9}iON;HN{äd.m]x{;~^='dv5iKͤ_s^Vyl@b/-` $G4)RdW l Rf@CӶ'i\1y3 ^eO~|[$˝r{UP2>e{Bs&#P  Wsuv`}Ưwzw&ũᤀ+4"OMRi0)wsE\T]m6ұ4c+8Ma.,"{~S.eȊ6[bDeJF9 j|<'vQ8ewunBu~jUxIqcxŠd>n^P }WD]RhRMܸer.fի ;_rm!W 2HWj63ʆa U¢kNSsjS2`'jI\rU5)JIϦt '6d=Zu U LP1(7>XjC f; }\XUZbSYE,,vDpFҷ{ &]ٙFnX2O1um=kHHVMHfOAF B6FM=W3=\KJB٭ "AmFRҠ'9) 4'a, $*1&W(nh@=D-yj*4B8 t~' Ե-Q)2C/䡁؈м .|H.3<ufu(Ikf^(A0SxkDE$ʩЯ^!+s՗mWn"!7T53X̃Fȃ.8[s0K36X쌘ltQ3[›,;!L4)uD;Z-0rÅ`ο;*vq #Lr]Z6dä*Zi>cb?O|A^HbPVGJT0e:iHs۽Xr-'TajJ9@v0KaҤ*i:jCwՌfʼnulNk26~6D@Q@"֕L-2E)q "V)n6j0ꩈ:и*|EFQXnB`n{:MobH`\riA{o24 xuF]ŎO60N^>=N!%%|lTeAjmL;;9BmKSQͤl&6@ >--_̈#31/5qB7W׍HyP'U`(*Ԛ濭 @Gv[kOWXPȤ&+AWgcєnɽ##ste%_et@/Y…l}o!1}\1uBݦ;XXSC# a-6q[Lk}d,< R_mIBV[*+>թ@MWƟӛy8Iwue+[R֖5zП, 9 zʭ$o}38GAA qUOh*L5_l^l]:2eY{؁*Ic%uiD:7t=ra I.5sk`0HΛzss v<򨪭Ɂˇ/RɝN}x-GD YUG޴U01ETx`W26*Qf<^CyugdD-ÎFh;f## $_g{lfIE̩n!F:Բ>H4ԎyuQjYYV«jՉc\٧-O:K؇%mv)AZW`fOOc)W6t'R0 )3t VCTw']yn1 UX *}#̸ZБ:7BW+MFoՁ7#hqblv-7TW(k-CCܗs{nK[< #B{>6J;/Z~Fܜd]GS2#=3n-ARāJ'AޅZzuҺOҊ mvm<$YA[G|SڹisXW̸l *z2巢J:wX<"9Ͱa"mMek ^pjryiu)8렃j8=;rOK8mo&q2C?l*˷#j׽ڦO*υc 6,h$L.Tw}Ɋ`J-{9h[`b2R{o_&SX<.&Y>$m p]ݞ/D֌[sȹڃK"Pw `Btk79/5]dbU*USyO:M$¯ ynJ`S*Kvm\g mARuMHm^&dSZqRSbF,JALzK<FsqD:g@XQLm9B'ňWk gy0[H#v<hU󲉚_uL] wQ;M[c0꨺Q“Z9j߂vMUlR5lM֙B kfzyr|nyKd C!irDM~C+Ǯpi K}b=>AԂ9>ǘ) Qx|ePTC {C$% `̥N.#WD,-lF"\&Ȯ'"Ґ⺃yb nż8 :tNINϨ_o]$j]A([ Ni"{@wF|:E{cꯇ.Ɯ}Nm)HD`N<1/30AXQ@jڏg`-n͆K]1K7zv0 q;[jhgKjynoV#@g/њ掓&?®bC6ZL<4vif>H?t0Ar3i[)"pUa90aJ|\F4~Viae^1-2 ǔpټAX*)Q_[(/Hcc7\cG`MPJ3N&*92W]/{x`Ny ygO [neGupyЇ8OJB?C!9/lpvw Ί rϢ@cC;L` @4 l tAVGN+&AHx֍]xɹԽ$Of4}Xy!`UdxE@ÈD !*KA+_Q,;gTf:5Jlx)3}cn rLqJR~&W.]W7һ'x8?ބϿB8ꗭNm5AXD j{ ])b> V@b裄 Sڥa#O\<^rgmQ1DFZ#E{5ϠtlWXsSSQOzMz=$ruGg m|u rG5襎ĦݎBP­C#Ps& Ob%,iDAbCF®vF'e]ͰVCثiB&ma1^RlbR_W(*i'`>Z}A00Yt ;\›h{ M$:,vtI ~Rފ5R/m&Q_>S=&UBCRĐY1~5!j-coJ<7,y<8j~à pŨ4,]f%rx|+*WSAgI#ku36y.idOӒ{SYe…hҘB#M~N`hbp a% ө0R" N~o܎ a mP{ɓ!:| pRd '&i3=Ox#X5qј%?2.N9 "`u sFqa-",{լ;etz;,;AieJ-= )d=?Q]H)$-B|Y` "}Md+p6 G6G~-=?>D02a{sy{M5M{{jA- Rut)/39= TY8GxeFK*U`!v.;Ba䚫8 /%z$~dIƭV 8.|*dk/CnT-3E+.Sq.v:xgS1aSUa`ϊqׯVX 3% ?$S8֐O.*< P+ojFҦC+ ;x?pK晼Y{Hah$vXc%|](t hbh8~ď,P}*|Xx^!M}/Ywߩ Z+ޡpPmJC5IG4B'AC-3GۧĈJ~KX C{)-g~;!4:gPf@xf".nGݤ" "` CNXܴ?pG8FKu͘9)\'|9a:cNR&qJ&[?)QYg@THO@~Pϗvs W#<2)/XEB)-njRt,alY_ Y8eV < yK\F./R BTK#|M|0V b{;+tjS Jj^{[S#aPȾY&7>֝2[g/J}DTW otucLTi H$ q9wJ|C+'}(ӹlVz2OQCcMi'W苆)a6X|f04P񅃦~v3QaG)cRM}emDdhTK-X2>׀3@ۍ#oQp85J{Sn芺$zwg 77CY)59=+^W ޏԀpm[w"7nFiJЭ DԼ/ \gI 2l14>6EP&Iy槩A_5Iw3m]f*Éz=5~Z%g {~d@[ga;CvƨH4l.5*.͗d<4=zB kPp685u q&_Z`wV ңjJ{/;I@\`4ZieQ`F[5ZeH/ hq qxUGp6^$+y{=: +*"$i-8{7Rv/"]mpÿ#JyA\&)BeI6D̀w_EؤZ!Z-޷lJYӧ)=m -Gj^5`!R\æ- og!: qM8a #,12C zY`,.@Zs`WlX\Ẅ́^\TKL>Db7W*7-8nW|y4Gg3`Fr l5FѥYx|yf4,pQ9.Aͬ[ʦ SO;3!D,H:r7=*O dqᘴT\b놮p/)΃љpɱSކ3LbG8+, m@%O}M[L5壆g\e-m<_N:C1-GKҎmg{! mwA&ϱg1 XQ)A۸=xb' m!K&aj*I_/4G*铨QH/!p̼=ӞYd'J8#]"~@³q_ w] Qx*H䩹o4E/#9{Qe{)X}l=QoOSwTyAݦ\ ӕC9Eec^9b=W/$uIaW ^ZQ|6#H+(6-䬮9 𳼚:qKwNGPm5"9 rc! K4޶ݚ}ͲsӢ9VG:" %j"܊F|{_4s["wUGvIPOϘX t$7yr:`g[n9KDpM}Lռ1Bm\ ChQ+k-<6j'h <RJt%~3{R&E4OmJŨU G%Țs>~n:tE2jM}أ ;w T\wB\V:hёTyy hޟ?sn 虞m31 +~hx*-귦v&O2B$PYVX#hRe(֬YV_>]T٣g p!ߑBF.q Uy4#n)ma[ IlؓU 6L4j-52NAQⵅyROhd08(Q6oL ^C/?6 yktS9/ ' C?M D01i塆4O2Hպg~Q(|,Ďz Y6اx:cHO1$..cb_J59;y 6 œFo%Gucӡj]jVl t~[a}\Iy9є=:+ʚ~%sJؖ]?4!:D>34>]PVp7+c,h:ae#QOt:=pRĖ[2WbH@ XϢI)iRޔ/|pM{R']Atbr GJ5^m_dGWJ x({w-dHnq29lѰ.ҞdvOH%2@#qϐlkgیdisStIK:S9SQbp1?ؑD6wl+7 Ds029cuC/_n5b? 9(*q( iwS+J,RU;)='쒲!D^|m;Vf)7eQxIvеLN(tK ډS'(Z GttwN3Wq] RK[Ȥ9B\]",矱g paMOa2)ywps[z)$a{mZi.AwlJр`~bDם*?[$Ȱ+b,Yc/Qd~1ᶙ}Ku*8t/E.t> O Ѧi`se̓hKP3XrM+(DZVޠ?ܩ+R;/n!M#: a]{@03ɴ6 i5g07NjL&hzB: h'@a; _lۛL) kGo'F-M38_6ېŻ";!W)@'ZAFpCR8M8YX2zIP`<`áfS63F0>hQ*e^ʺTUXpAUgqȘ 79ykST|gQ2%MWDrKiֆU(l !6_o1TB܄i4l=97(S6(_\i ^M A8y[:-Wl@)<{&QEu|tN]ŰD%ey,{A++Wਢ2((ȹ 1|uotѻjU#Soe)G ?_X!fu}wP'ST{ՏVx G˘hj}D< Bo  zqZ*]72.d[E-KTDKXnI_Z()4qws 3F6}%:yh}} }ݓ!Vl;_`yHe%zbA8SjږΓ5 ~o{ l1RIQUgaAsMfK Z!kᖣgI(DHb0#=r)$솓bЀO3JH*|{®&z{:\a _Z?"mz͝מZ%]ɕ4gf`rO|MX%]W R_y+,!G ;ZQ9`YYwe|@ gS^_ crD1}GH#pZtP{ `56hC6ə쩀.W:݇9 ʗ҉oeY2oY3_"3ȬgABmmf"hL>nٜIXy/9r?o-,ƶ' |:W>@m*^6x\TNṈ]Dٳ'9Ȟ 8]r{ʀU.?:$14Śc[A`h-#XdiZ+ S!Hp6Ur9@\"vbwg-W2"׳[] us>esS]#9jϧ'{j-ŋE&,63Ś JyXJ>e Yeds 8sG?a8c2o;m/R rlN +qp//-$=WnTRcZSF?9ME/zI^*gF>iO4@ߦ!Ў@5"gYZ9r>ux'rLPCEZoU/cCXOD]T-; 5k@'xuC")w}]yFf@C[ Rj%IѺF1*AD+W0WM6d,#&&B0`N@kE; - ?ٓrI hɎXu$j'1F5d@|"驱75gK^Zz=%e&ȏ(nD&*$qNy1Tw:+feTQs:{qH!U⌠Om,ESaa.DF|5P$Si>F0 $&-P53Zb^Xa)Cj3:)K4 ;6 GdP5;:+$Ɓ`Cr݀ʾĂq_BQ+WV2k ;muY1Oqsy*hP- )A9{E% ^d ̎K jd"у 2d \NL);QRf(!lb봸ggIvI=[PO<<d'o̭!] 3 k᭟QAO}wDžI!ܝT>T2>&Ih]F٫+)eEr֝ z߅/$p$es RVgI 5J3M+xqO`"b2;c|%ï_&!p~0IWNJ5DBsJk-.o{OJ7*#]*0޸4!=8iG+0LP} E*|kΨWѕPEk qb.j&";/$Z$f:[٦Ev'!̮aF5Df+1**IvXX,o=,Kэ:BTzOI農}L# :aS+Knq3O}e't(wǾo#«h2ܱӁ")@wP-ۚ1ID j=k5Kdon 8M;ƢFVzGw9!yzRq0!OuS\JItctHvBijWZB26uX*ԫ}^& T*ݹj^.lB )3p)Lv=ڟ;Klc~nS/$bv-\z$8ٕXʄ|.Jo >F4(2{IwFYد@Wo sp@s^6\r" ):Ϋl'B&JRcWC m =PKj);it, 'R1%ƹ3/T&] (d9;kj"`¤wa;pyΞ RL"]'A -0LZ*"ؓfm}ȟ #\Y{@ 1~ߛ.S*.>]8 e0LK"1^ o++t-F %r2ٜrL[AJʦ|`JPo`nvOsMOlM ؔ uG]f ĞQ%f̆i{Z0Eu/*8@PmYH!Ư4!CH6,;؃Fh$8TEUxA{W#t;dLK4$1 N|[ (L"G6\DÒ}4>`>Dz:@}?H'G('0n6 @Ü'D]Mh0ݶAZ.Wz鰺1O(XšJ»d\IZ5֣dL5wS_7ۅ:{k DeM/E 'q7Fyf ߴ#,fFObQ&7F R 'jsBOT8ʌxMX 0Dё ({%mi&m@-5vC7>d2PƗvJ]f'RJ 7gA"u;|N8cbr{"C.e.9} \Y͹^dOܷn 0'%D,L1m5kG}@Y*rLLaO ͱnoSSSP٨vlڒ]њ/:ſ~B8]ep@~\›CfC#8RwAAb4%;Z*xC ę]d;J.P 5\$`쬆Z ra";(s&儧D拂z![颵I1l'󮡔uQHnI?LMNdR7ݕM܄Y@٠1/3[%!ƂKx͋Ek=391Ub䱈>$L⍀dNWw7T koDK ׁGi2U#g#wOA RC<]Ki.[ LVAbgwi/BaJiqɕۄ5G=ÜF<AENвm< ~noD`E̓o83ĻvfߜfT +n0{cz#‡r)su DU'H`k1c^>)gq.wꚄ7N-!@k &?[$`5q'gt^ |Cn,ܲۮ/? 䛸'˗xQCFX|iH7,iwrS͝)c+;s7?$L%b)8ej/8z2#0qP/aaԽ<)\ʀװ̓ҒCaO:r V5ds<4Q̡`7{EqSuH$&;4=>I_>̃RLCɛg# ftMT$ ZӺ68TeCW 'I 屻vzgj=G!mXPaW5_kó&n->Ϛ gYZ c+# |ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?87sѹXVd 'rK?ƜM>%M3 %C7b;v7DZƒ6AHS?9w൉+p|UE #df'F#P/?dI ܱ ϏZQ5 ?Gi3U=eue =ק= ưmȲ+9(ݢ+reRxlWvjB` C;|qҩ1HD%v{Z%vxz[tXdMKۿ+KfGu(63{1H>]6v^W\θگ]շPp򾭲J;8u.CD hܣ*:nCBŬ⩋bKGAFJJ*y"|H%tclX-qkaޱTuVAHU'ic .&_\"ݮ\Ȳ`hR-x$e":V}S g$X ZE\?Ψ}s{J|-*^8|93j6lLQej#S r [J5@FHL/͵< ,}W@>Hs8#(JmB#w-_R΀!UCԇ(8!ӤGH("jz>n ([Lx S\\IuWt%rV}&\Uik藟cxf2'&scȌT 3"1\%9z`[lY4 w#M>]'QVBP8Ra :4WRNΰ >eI~lI?z65|%ݳ{8=7[H]EI68m+.ܼ*sK!e%:4T_unNa%5qmz!27xu^hW?dGb~wɄkMzG;xԥ@;an? 훰b,gJ-)*,KNWO_?VqHAdpKfRfF!f:HA0Gs"*D]8aҭ~4q&VS(Qk'Mzz{`3\[BgJY&K;c4k º(WBX` k{P* #kXdn&p=`CКE`Ya#:K ChvpDTyA8xhGK, aG1X&φvHP) o2je}e{ƕ+%tN{'ߴoAV^Bb@O*:bs j8ɑq|<+XgMK6y~L ݏ]9 /sܢ6 :eqѱf@v&CQ0 jp 븿Acn u" V50c>9WI)OS3)m()=)V)uRn_\6O =Z7:r&p!jtXdP䦘x}PDSJk̡w7b5?4B|dg$?ŋJ>>텗-8!4`q |q`3 U!lgxS:^A\% <.E:(`G #r dhEgGҋ V2rD%fJԣA9nWuEfS$5}EXA6ht6f"?6 Atr2:VKOtsQ~%}`E;K֊IX2 `W iUǠe<`@,X`=B f`}PaƮnzzPS_I;Tm0G$$&dv4 qd]Mzj<囲p/k ;Kv@ ~ʭ,Ӻp\(:@?nvY;9K bHl~BW59z;qY"}8U~[lm? #V \0aƤZ q|jāR~_`CD52,){3g;kb; `kxk`ζ0,yZ O7C:BdvW95G4nGBl5G#"(x6E΁$v ?X}h >d&V /YM.WKK`yr3[`_[~+ w d * jwK&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ׁQ|M]i*ٸgzOp wyb1JUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ])QPy P2l~ӟ 7MDՑl:ڎcNz> UgDf?f <0S0Cӓ2Hvuߍi'~ftJ*(/ ^&5~^`աS"ɍn,xo~T1E~J`Bby {b8lP[w*Aبq, yv<TՅJiiTвE^+"OX_v@]@i_xj}hvX~ Z|Hd;E$Ꮻ*`B)iJC"{8sQ( wyVbI AT=&,ޥI mpR[RG*%(d(Z2U(ӻ\bDWݮG[2emX+9,'VpǸBL >gR|YCmş{bNǛV_\2~N9joKUsd-"84ס7K[1c5ef=ݞr:\w}drʳ[N( nٲu Ѹmː0 }p5$ǽ$J(A :OD,ͷo'k͸ 0k] #5,'ت. Z0~:Q4ӂMJ@((/;(?2LERQ'i$K\wK*]rI;qL!攁E&Wʌ~ @jFnD"'Ul{)k@Yf:|>@Q{k?Ϥ Me3JDO(#̣T%/Ke2z"6Y6hp3EnɩNS>E^*80y$O +t)|ZXK0EJ]pR4̯^TK5Tq&^2`UU.wn^ChA͍)C49 Sݣ>̀KfYٙï<|%Ww > FJ[ G uni*5a_.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+*]·Iq n[:|&[zE8?k)g֭DwFaP Cӗ?nk87(ӬLJ;$Y aUnBsm9PB DJFX W{`7?0=S(_WlL"PYՒvhb4i~FMDefim',.*eo^w҃Tg8]\!]蛓1tCصwd\%!"h4, XLZhmZg'mngHf|jYsǡ'\*JDEsNY/f-'nqXIIqӓ[X(>c;@]n MX*ÛYgvŅ  Chz eMVtvM Z1s08 0>g .<!SԵ̸T6Vr Vd4>8E`jӁPN;Pr h=zoÑ%Rɣ:oM؃+"`(JH Q:WKuA͡9Ov<_3RK4DzKHdP 3KE'񏙨oo{,:/\ZI9T|{?1o8hi0ݴ>l5ê}F%h:"IσSz3IwX,9E7R c| ~C%t>XbVdM]WʦPoQ{*g8~AwX{/w'k mgm?D}j#gR6h+.SzN@Rx+ۃ{Z hٛmщp:>Cb(4U Ӝ2DLjKm1w#ߢnr)oee#l'DAݷҊ,_3B24<=.69'A"kdž~@Su?0QD\_LJgYZf:)ţhyO6w%Z :HZ9|DR\gޘ ]:⤏rFA|@iKoJ}Wو0Y,h˔lrSx! \~_QI0ɼ!'Vy&;!|nREQhcU QCqqؤ^9jI;aAW=Kx T)+0ϰ{Égmafc7>^!~k X$Q]X4Jvv4FWVʨ7JZE#PJ0 u{:-:eC)7lJf/TL2e֐Jޓ^:~Ԩ>/%wT ?Euz9zwԷLFBhJvBn謆bl>vhHO&3hӾv0>+UrYrLEf!;.ȠbE M3̀+$q pы81 Dx:ls# 6H޷`.([QOo]K'xaCEI漑DwVVPQ)=5',ϽBˑ^-"ỏdPЄ2%O8"D]s=34Epr%<ёݗh^!]6mܾ;L,k8nj'Eȵ"Ks?GBkRXA> ^‚dWIIܶWHleq'麛)nY1xn99LdF9,lipmkb2^iLï:"> i҅9Y) -0ir+IrҐ2ӗ`R׏G MN)Y NBڲ!DD$٬Ukp, ?K$PA#VlV%VrWů3i JB軯),A"i6z7 mV&,U٦X`-1a0vk~YŐ'Ъ|- o+3bc8Y\8LRr%y5m'􎔌.]ђ|M1h]ʄ?rxG7-6MKX`p9Ya5땭z:GFu;=MSKVgy+W @|χZ{W;(4CeETdM̀l>{C|Ι:|sHB9) >$Ȑ=ىBvd٘vZ08+sKv}"og?4k~0BN3X.XqړX%2T s!ltצgNnV%i5? DЯ<%K5?SѧBW㬭w-Mm\V=۟QuJG5A_HYݒg4Sʐ|pDyma%^A;R]ʢ H7ZzGD(v4Te j^*c <_of x]G2:g)k7Z/mM$Q"u$y.c_,ЅXTe|cg=jAzGq|m߶ JzpYtc:BØ*~)F/$A1df'B8p1ϼRiUEؚ4cRIMr)Ga)6je}*{P1;jZUJ Ym$)Ca;Xܯm q+:4wS5jJ)-YA<u:4퐛]/;f @6 +q1 S #/ \Qzk'>@F~*ƺ@׀Z,{S#劈6WR)d¹M],0HRgXhP뽽O].N-wj 6 ԼG{ FS>V*pULu C 9dֆ@):^Σ_e1m?{Le 5 }!e-.b*?$M7㛂`pN%*WLq݂c?]q5X5nZ,oSK!ᘹހ#.ՈLIѿ@ok(Q%a?w7 8{1IܸPgpo[d\k^xΑ$v8āR@pP绀ʽ;h3߫3IcrOt \j[8YG͑!cjC m_ZĖ85$q@o⻿KPxmݗ[y~4!ƞv:i|`١kia4AMbYGWDJſgQ~G>ރž;sMۻ0. [Xl!y2TS4eݮQq:ksNELbDϡ@ޔȚCdD߻Bٖ]S8F WoS;p#,n=m]dco ѱgYZ#'3# tZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  4]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RTRćZ /n ,"e0eXH ,tVu7ѿKbxIG`aoDzzX”I\KBM+ҊZ/}L&&|eՁ%c_o ᥏4ԎEyxB5Žf}M#fX;2FfIj}!e{!,Oa+p^$Y_:Ê$SIsD/w|oaP:; ]Gp+Sw]mv,9s}lcx㟽NHrT \ד{5 [1*EF{?Pc|_CA}L>{aobKAj~Z0iMm%qY:U#UB’ _<쨴Ny{ru&@`\Q"{*{]0z ^y 4w.G7a:<;uyAp>3Ya|ÓWLvw!Qguսcb,nFH$*nڲ6HA`h-⻝we1=CrI%Y;2 FhZݖ~/~_J1ome4jvN.ؾ`#mCOR^x⫷ph 8B]rUWݫFg;l5+xqNiz,@ ֆ)̑cV Y\gG|Cawp8:N?nGȣ^c5~H6(g˳_ ӧM ?d1㙥M Gao^/ķدO}iw\ذO ޡ 0 LGK+"LaAW$M&q1K8<(FZ|W?X(~nTH╢]nO@Iq'L#]Յ}3ae(shW)s/\(GJx8 döl:)B_˔P4)9l%`p+ 9}q χ.]PF[ Э4Z/l7!g]k0bd5,׿C<",DǺ1Ld*9y?@]&jt16( o%4kry})gZNW Gn+>1&CO fCi{gٵ K`[pRPбIS: x>% V̥A\b$Sc/+ӑ|-Y b`rv;} M-uҲ҈̪ab^.{#kxK36:3|I}AW]u5m9(a+O@YۡtJ4g(6oB/K4?rݽ_5O܉ٵR&B~#}ZJ|r2/zz0&wid~q'I|$eoUpa=ڧ_,&_5BZ'.р`U7W ^^.R-5WmKf `'>~`d:v3%B N+ :3b %ϡGƪYs0d"ÒņsL sX;?0K5K"@Qͧ?x϶N)j- 8% >/O,^ .r ޳!(mZ.~G{tP.@1RPL b_:O˭w]aƣee>Whxʩu0!>^o4p%#x̛` So⧭YL[8S5VTUb!ӝ^k8~4)EAkqQU8KX*!r/hp?czLоZˡ3tyCu`{rKl2{w*}\7~z jy$,Yb֞D?-QYv^٤b2Vܚ[W뼯JA:x%TXe>ZNmCwhFΊgvD>witP ąW8[k_3<( 3 =#cDzsB?һ-jF8 EKfVq̊Wqz,Z^Ewy%5ҤNg?͗<;낖qUF仍+ :mHvS&NfCKA\RK2i   4Kͼf( nB8l?i֐s`I+IV-|P]DTEΡWҢ( Ӽ)Ғ>Cnua"%_@iwB+ vr_ϟk tjп󐷄֢MIA:*i[%&5˹(e|D{D ]XUaJC3Iiel֯Ӓ9j$MP$ڢL; vY7dUY'p,GL mc4lWnM?naiyxHxr z`@4)adk6NF5@%IG> TAgYZJ MVto^Đnt 3Д]CwdÚr6]>Ҿ:xDkCn͏ozD%6юAbg:D,H4iP!Du-{&eX%g +g+\B#ܗ놌LEϛJScPb`C,Y hPO JN-kjV2W0MoW\;YE~`;o^\-p3ż.qq\ɡūkQn%oĴ턏z0vmfU39EdX3b^]4ثFN1W[]4|+O˜  -/pf~$>H-gK\A@G. zFJGz&/>7SqR$G%|n/wgQ)ӭ\06 [T_>[OɊƎΕ tGӹ֑(*.jG+ou}$TǫuKэy2Ad!qPnj̻")71d6uPGE񙂀P"dh-C:T*FCbJPE Uh>Z$z@S;}/(jj&DUkJ #>=LKOBI~foʃ1:ş2J KpHO4]/7Re wڛ/M/b)c8)v`bΣ' 6 pwђۗbdͦ!>x-6~C%*›i4֔J{dc0 {]5V5҉f> ^f 7SadS-͠'ɠߓ]K sH@`ayc !/gm 57đNT# A -UǍ WT~8#6:OoǑjw U( " ֑Tng$t:)rY*QPj€_Mh^(oHGdYږL_Eڝ XҶF4mN5Շa76LB* K޷jÞ0vDz:|?e=LI06s,_B*AҮ 5cJ4f hꟂr@-&B>d = n!E +Цԯyv3z9jPN9\gxR}wf?nNXXW \>e}bd#;9DQpAuSc!mUj6 EA`C LPOQkuPCImk%(Ϸ5tQ1Y~0a\:f?)f1 ]Nf҈z.lbD-o-6N':ށps|<%crA'mH߾c;ͽ:op^YԻt *c UkMi!um- :p1Iҡڑ)YAIN0&霆6zVlȡL+a ^щ %Ȍ x(;nf_i' g ͏ JI;K#>u@pŘ0+ /2)4>oʍZ72Ӹfc(0v*WpeѮsMB ف{]2Kij"F&1_zSK [@,(I S,ιs?'r&GtI]( y)Q/K2+J3)h'T=mx=7T(Mi ' gI,:<::Xс&vn송@² /^ٽ9[': FqcB7!Q`*Jլ-3sm&Bja )WeH-F W[A# (H '23q&b$ooΩ#tV\\AH{$OG~g`qF\hv+VivP|I#7g Y Į j4ȃ{crJ? pmdW-0tS_-W=d2ר5xa@;ZLF!TWwXApƶȫ{m<{S*sNIk?FL~_~{2=Ds>oS/t Bj%[fc\}cEΰ1H کJ̀ H8yCr7 U[<[zoܞN#U@D^Qg%wDCE7 2M/brb:KZ)/ jpXU>KCa2``;UYIA)Vn<"Vu;!IK*OtPaJƎ~T%kxyÙTQ׭iW6lV~zj#jWjG7bwohѶ =7F\yU)`* ea0:e<&3Q>]&2Ũ;c>J-`W>Z3oʼ-ɮVvW[(E'GV]xdshzQƞj8k: ~OưxʆL[h},(16lmܴ" cړɂ:h .l̟Gs B)47]>CTWgp Vj# gYZ   R  C.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1-+-ZF-InductZF-Induct.ListNPIDE/document_id98;,/' $ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GL]·Iq n[:|&[zٰ!T %&VbB,#IK[W 7z7 6(2=K3ݗBuxYR@#n'}TP5W pr=yݒ,2{dFkO~rƼHZ3:%'$(UD6tmNs 6Lk)r][(n H؆x}%GlW.ɍ| ;: Ӧ%@!!4\*lg))Zo&κnXr(zD9vƎq. DDG5Z$Du,d gYZU+/# \ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*g]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyMzMnÏy&gY ߙ{̥d &pr?&J>2×dR?Ƚ cȟb2h*P@up!M ]NyAl=BÖd{"ۅKJ)WY==֕0ĠiaVq~ 5 ZR#{m-6wxJ2\Y6xI:[B0 ff/+# dZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U*]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CRa/8`yW5z/}]XЃ0a'n Քq\{4)C{ 0͂cEJ~v:;C\XM阰ZnxIk%]Iܠw2Κ 89UR2FG4kSFoK槝SH&!)ɾJV#6[vs|$ cyH̖HMKV'SVWQh]q@ 4uo;qtSSJPuDG=#'nFG2?YkE =8h{2X 0Z3麉v,[PRw! qOHii_0K90QP~nlEL9 )IȎ)uST*:)?+ R } {NE`u/w%v+gdOpPz謂ӕi^pӢJ6_ jghc=Z-U6Kd aze/~ڀ ywi;U^)52+%#ɢ@G5EbAr|{qƲ ? ΃~@#}$H|e80̕K?6WX< CdPp V)+']cn ""Q[5y>_Ifm{yI ޢRԠܼ+-!"RJq;un k^/ 9:D˪Fi9[:-#o(V?yJ924YvQF\ꘌ+>xLdFn^robBX…)S>Z[G:^Mx(m{ZPCKh uH{q"yľG0 ۯkv[ߡW]Np[pǼ-=(jq-BQgkTD7cQom$:Sd۾U_$P?":혗{X'6E%znF4?{ib6Ct._7Rײ:[Kr2Q@J@袤)y\\Tf*#ҞF",f89z~/dR­RP~= 4]kJUhrTO3f.P=<ѝ|a$?F1fPQku{?|~v=$P^;?9Fn hXm6_^ 3 7f~1WC+0Kj+9!AK$ zP9Zab-F9*6i/[YM60kr-e߬DAR22? 1]'\Рꖡ$izzUYc5F/{ob \rM<9pӘNĤ@+%K\`B[uV)sSo՜[N^^ %AqOyaH0ԧCRxOV4 χLZ6VA)^}boaNR҂e΍%@\.ΖaU~].P{ 0!^ò[=K1B9nF>lyKm=vlnS1/GK=wF](*:Ex,aOIq,a7?ziܥ8's25~/a3eϒ0mjJò{`'%v&^d q|G#JXE'm[a2{yMK惍aLiZ ڣt4phw(&?^4ar [p¥QAs{)mbx=?&".5W` oN=~=-醾\^7k% Nh (Џ<;)sqpbHղkޮҲdL#Ae}!Q0\`x̦2logAƬ=gsڑMuc( f<+L;FglhlB0EٿvbCDݖltVϭQNAMr#cTnRdnP0ptq3Ξ!SuJ!M Aɸ&ñX6`M;,w{d%!lQ[`kƈ4j=U ف VΪOom9 'n``گ} 4U%I9[cZa祾a}0R,2[:8INh/C5BP=慞(F,E9;:M=@0/|CzR?kaݲewN}4q(W2=Ħ #Y4'EuWͫQI_obw[ !<(Ȅ?$;f=@WyY? k <<[lr Vv#R>`Yk1ƴ X:s Mq5܌G[Z€eڃ؇T W`} uCTŤw=/C5uT$HTҎ0LޔdĤ $%wxK9.~ݙ{/(WfBtc[xTTp5wU@S4^PʺDx0!-5!N OpJ;tuKTⓏoԺ}}aYZ-jek%Y"EbW)=Fi&,ĴRSo.ҝZt| C;[v 9RS'wL7͟(Yn 9.=ko_0H˭ =Vu rAaJCF: cd^8p\Ǻ+Q 8~lLQ ͖CG2wMNKނ8|Gش$m16nZMz14P a1KqʛLs2| f$gBdvdrP#gēdK6N@]"tMğoX/4*rSw8FC=ќJIB(PI*aEg\g*řԼ'שaRjȌ; I1}XA(( --WZA*YM[-O2G խ?@ր6k'gYZ  4 wr4 /# 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.cȡtB"4G08* ӑXYxO1HsQ8 ݌^6$y#ye ^Q!iyy3 +x] ՝sY_wd?ߎP$|J-9%kisJcfm)sb=MYm9^xPw3PȠ*8 k9ܕѯa{Vj>G,YϿT t~aTZZh "TaWD1b.)73[ܰSZ+heNW5J(aaՈ=VƵh,(CF(- 6m:Zc^wwE|(0Ql1c{9G:$3ى`&j* +@/q7"3h6|^$ЦSh?@!hlԗ׽DfH* f!.ڇyi[e|Jdx^>Z4861Dx`C<6s\6/P;>UyJGTdehR0#4S%i!mlA_{lk3ݐ7eS(aDn(th*VIiXH)2`ZEӈxZNU_íbfI7äyynC0t.D1rT+53|وh s7Dg-WcZڍ! (cdFB%u617qev/y|?{hCVsѬ5 Y߶@ȃr< [yQaWsCt z-_()>u}7 hr HZI/ ɶʹ@ƓL_*_< '{_$7 (ذv: jtvE|XzٻkENNԼСGL^ @/wޮ8#3ϣj9* V]M_l%/A@!_L@?I%]k2t6'xP4ULk|sg[UPfg-Aq$,gQn&/MqLsR25KAB!D@41{׋i8J<0^]:8 )}5d=x/7W<=Rrv/Wݛ׵)ܬyMm8zr}Rr)o9n)<~׀> Kyzi2Uv/vyV7;>`xN֚B싲?ep6z:o+Nt#ds"6]Ta"e8:,pc5.:re6[rLj n+S|f_OjU푌4`މVidá4oܦK.#0*d \`B,pJ/ zaD0|-p aQ{lbwI.4~1#c~}3"cY'6bHPJxBbh#"MaaT8>Y%}BYl\.3.%1-:]e]Pś/p< _jzL;f7z)rCܵ'*&I:Qg.w7)8mXK(;l*^wPԥM[\bi! MsN-"s`mwBG(h9,pX\ !<3UGWQBjg8RۛrHMKDKn ע=|D!jƧU=3ʂ9]K%Gg-6wNyEx+ ڙ2j!jxdVVɨyjLZXE$;XO9q~4+3kan1%Oֲ+@qz$kSl8سƎ(hAz{Q,YQoܡFzv:J[фπ$wy-@a0;)~ y H4 !]]ۘWRRS)ZinM كtnGfqi "25M퇝+͠!˜gA@~C!ۛf'*b;r5A{1Գ-z톊s++;agXCϰx=\j86cu!iE#ng0la*râ'Ω3ʟm~c=-gB,,j7fQhk/wQ_/⇪89 8쪒n[$G߇/OWIQA-͕yq}ߺOW/[gڜy| lڇ]E,߭]2»6Zdg 2 ~ގj gphRϯ_`k  9~ӨBnv^ %ED ud0Ul0Xx%$nc(=dhk GTa;`LK4zD˧CY37eiTe%Uh{YjB|t/K%?eWkQ&}O˼]n|eFvV~yeة)D7Ţ#`P (+s68{G[N84R͠BIonOó+eB=w/!n) 0qm+C̷)յΤv^S,zhK\D l_M!['7iDedpz0nMR{'xl{Ը;U[Qzw GMlQ^ZM]ND$Թ >%zx ^C @PV0ɤ0jZ m;W.0De2W \O))S;%\ 6ɿ9CC NIǨ{Et=r$Oy#l\`;Lj"b|4m"uvGhѮ(]60˺k`ihXHD:L5mlߓV Z`(rd:DW kMAsYi*[Ƚ:}daeؓ HԲ;V 57+JeV)> >: %ZtG7pz5'$Q*' +Uh?m5biO(9e8QbY 7vf>A-ٓaVf#)F=QDqBVvD!k8鐮ʶb,GVӻɞb#61VU-ů\s7.9Ζb[II]q fn!Co\نNy5Ɲ. p衏{G+wְAc|c^ 'ኆ_rv)7AV KJ"k춭r%)6!^Ao{R{ar( OE} 75B蔟6;ѺEr֐m|Ϻݏ^w7`p3x~{|[/>?@5ޣ BIFVm˾PD8`#j(IeXCLRFD y)ƤYt5yxЊM"#wlBVX*??n'x7i:eXZ=}i߁rM@yA#ϱj栌ڮ-JFL†. Oo4}eB[?(Bqazlk86v0MGֹ=|yx(Y"Wnp*䣹c #Ŀ\T4b3w̳v`+<^m4XEpà,fO=\蕴{^-a܇w\Hy8InΣժ.>T j=JYSh{zQ]OOOG P&̈́(ػ˔tmk*zy|zm̶&\D\G'{nO,gi N\i6 <"݆O_GT hs_U|nޭ<< U#"4@Oh}?xݥ]i<&tI]_w>m'ޱ8m'YF=U/[1Bcck$6 \]@*u4p‹=!b2ve8R&L$$ _ҽJPO^oNf&N[v~sNPa\5Ci?D_5/r}9\N6H S};v ]e_b% GJh"Q( kC1ɝ ToxKU1~CPog8[EuB1=3 [F?fxuC</_ufX#,H:5Z|Fjq'J[n] lz wcz*ma|_5Bp?&a`v;>2`TڒIpЫP'Az]L*VLC(.c d 2Oʛ٢xdBOL =jX%S!⚜Li"AҐ= $PD.I"z`;0JgۦkqvKwZ:edy}Ut_[ĦرHrp16O}}-# EP>u>:e}w"PP#gPzk| J/q1x!>Z<+2@FC\RIVAGkl r(<آk{1ӵ hxm:FNo+y+%=c<;Xזu^#G}ə `op~ JGu"o ZBҫ4ل(ݭүnp2Fq d9(HC?XiXͦv6!N J tYfaLV̼!gYZ  V # _8 )# tZF-InductZF-Induct.TermPIDE/markup7zXZִF! )s]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JE̸-mŝq9SF{o"CȾ絛&ZW s eӟWJ[Ri$_P>|1x7M(6c-7y!*]! ,`7|INi_|2MtS_ x&d^I#K~,vjWR!ҁb ïr"TtؑE#Y|.~KGq)zRcʫ W0˙I+ )ے 4w{>ޥX- ɑ};54xT7 ELJo<$S$q2x|V:bDudJl$^@ ^cs,D1Jm6&mui62V^Y45(P Pk.HBIQ=x/!Mu53 yf]U*q ݃v="bSlEbC/9\fEPW3ӹ䓔yHd^g.Iq:B-tʖb𫁚Hf0.*Pbm?M糸2冡 )ꇳCR/8QW׺blF/@Y Y9Mf m8<-s#&Bk[<9s 6 /piF¢ /JB+$.$lwfk eneN2xXASȖ_eukT'R/͔qsf-]*:P#KNڰBD_# bh)fbRy%OFS/‘H~2ʇEwz( s5,xZB&b~MUpB̮epňzZoK)p9vv[SkѴ0>7гgqulF}tjnA*=ZygoPjfh #gjv"~C"֘1_+Id fw5ˑ>4xJ{S$abD].0ǰr1Q[HYʪ>]st 5%~ ^VOzDC"2/A ~n`BÞh܄y sAKd׶F&<{\.)Tޱ:@fx+qb.5  oyr5%O> \Лri{D\^FEad{FL ˑA \Modc̰TZ*ř5wrq5)M+f"oB0;@|{u6$8t3NY%% ,=rڋI\Mѭu>.F814 WU6ա$a ےR>_Q vAS[16 znsl J}&귌@,vaERTgqԟxĻwc|xv)K4}Oeq @QNUzo( U-י#B_GTXdV9,8^ʔy4aaP$e _X9j]LPiYi :8vƔ\l=O'8FQ2\ FI1ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112'5/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N8]·Iq n[:|&[zA׿RGcI$dNEEw>x#A/86 qY+ acJ'psXxbF+;y3Rr͞k"iFemP漌d ۖnպ'^zE.-c2c8'dK*!?ëJ>WE U{c8]9H Ȼ a4IJG6z(YE&R(iXsR2h%nr$B76!wy>kU3ݽ" Tzo"YZgոl}u1`6:N7k* SFюϴ_2iUli߰oF/h)A>u za$`\6:Չ5H| Vsf@y<ŢGr(}g] gqDe:H# z¥p]t? -$HR6799yڝ:߱gYZ8?IC|șVxJ6.Zr B%0-BցT9uSB2 ֝aoH@%P';.%(#AgdfL!_YmFF=@},\[LdX̓4SøޮntEj_NZ/#AB*Tk%Ol)f]bX+f}oBr3ޫTU~ex B}h5 ,Y@J iWƗ G&غiܐ=&Fi_I #.䖊9sj KK!tk}y#!LN(_9{M1ŝUfr7<,_gA6yP8W:rM0(I'1AɐOKB r0颓D,*ό$7+b}WWK.}(yY]:+wM7 bAGm9V9;#2.x5?Y0lvI2uO6V Ϡ[W{9t,2j<<\doB텰sT!05>IJM}⭀W4Ӗ+@.hxd)<6~O133E':}VNR`kߨ`u 2L]Ur<~(pୈ%wek^bƏܞ76κR.cZ~2n$sK ԾӺR!JOK1o`zDr +]E>YT 1͍g0$)R\ZIHqr%ƶתO}L 6"VSBIX&7l }ĮzBqx3k[:occjwנ7TulK!>ݹ͗{֮|tƾ8:ͬv/<'6R(S,K鼫Dz R]lF%`߉⑱VJvX5n$--[f G5[\ϭU[N's)tӘ lnHRR} G'봅B5<a=;ʫ~K Ѷ*+PMi6C2Rm5d4tONj>pW ,nMUD앣3n`3G۴n3K`uձOHEa\&vu:Vߛ.AZ1A~(k"mb$r륕MaU~J92Ķo_Y=dHJ ƥ Ņ^ N E&y% L : ͖~ğ7kpE? ZaZɫ^9osGSB_"kxpxhi}DJO…Gnd-|akטo B^  <}}X6j!Xքe1Ϗ$\Yl!L$`"{_ ^R#s#0$S2QaeC[g2q(emLjBy _'}r݁Ymk%y% (/l**F FD, ݸqaFhp ?|iW9U .Cd@MO:\HIEA9t`Rd[bO*H0oUfâ.fz&mlA/:铨GP~=,c G9y5▒CභEÛ4P3fŀfdto.AM'$]JCwr` O 2Iw2- ci fV๫%sR\3#> 7`RtȆQ 7cMwU%+i](9}do2z8'9>u1OO[hE(~àJ@b : 魁;%i睩3z/V]qIj/Q'?r{vfɊ u?U͸fnC/pssh7Cwɚ CRjsh1N…QsD6P}|LE%ٻ*4HWJnL7Pk:\(̠N䵗9N16uY G;D3Smd/m9 +>?vLssLt`ЧIv;[P_Δ]Mji:e`S/%S\\a&c5ZĖ#mOm |q9I,T!e—s.ޛ` ^Ăs9zl~Q HezXOb"@Qc<&mKQNo㕢#@a'Nz/WwGNJJ1gfU&">G g5_4'K ,t%F5(!lf )% HU͗t~ζ vEBusؤ0j7 ;VzYJAR{&&}DZOR?ۇl Q)!W4a5[Q7ř )O@?\~~ߗށWJg@1PW$YRCjH É]&1߁hBdTc8ńS(o@QB'^Xm^4)J s_k}+^5r)B쎫`c1Wd՘RNo;/|4+b9[õk@ިC{n?HO|:ʒbA̲Ӣ bv/]6iF32:igzz&zH[Y_$ \MT),bMV {d ~vQT`$$ UZ V Mz6+XUE(f`е; xrgtBzB'Iֿo'Oo_NqgbWPlz+&>QDf8S ُ0aEo.Kg]ɹ*VTo`7̓XH\Q3HxuWf$iA&vnUzn(vk"!s!XQs)q;?IDkj#n|hK[񠹁JWl3#W{F}_9XFZ#Q ke"<ѻ} sNJPk"P7ԙJks.d&ZM2 |~k@v[,i408f}]d{ pADF|T֠{;:h?h Z[Kw|7ؼp7lLkP̊]{>ɠ#5].g;èMw8 4ѩDgCGo Ň8]tXRsTN^pR!6i$$8\?~{m@3I*b$˖+}oӝ<5eIy |VX'k"!u*~7 䘷 k0V|=}&6p/ϑbq%VZPI ^Hozn HJ_$sZ˺ hj :s|ajՐE Ѫ7:i,ha1CxL|y%*%/^@qmb oc/kX3?e$a1o ;7-ijgeqgQX=r q2s]v ~xAr//-HV%ȧR.gKʃ43"x@j饖:m_[r\ \BԴeCPot3F*<|2joT :pƮ}*yw$:|{.g~][K+{h;Xs4k󹟯 s?(^UIT;U7a 7+ VeF&ةsC-qm, ok]:9BHKGk†NݚƬ|^ j::?8` َTPD%ȠՌ A6 Lz ~8lp^qe͸]aRSD1ҏjD-(ön(Ʊ7\|aDBѺI.F~B1Ifm Է-@Ų?{J> ;ϒq2 |yMC$'\k|StcwN3t(̮[v 7wz#eLqk7 _uoY٨,o+0S "AQF9`ZioE%1ߕqҵ.. Sq1 ;@9&6vT ECC oy 9BէOѥUo(+`lP!g2b6to qxIkz_(mK&`Com0z xkܑ8@$SN AlY\۹Zkk#_ ዳAZ>L (9 C 0~4w o/Œ2R {[f4zfMYg O#Glrb-I:8߾z' <(Ȕals6B﯁Xe7ht+"Y\OởE2TqŊ2(W3/fbsursO dgWIUc|$hͼ:KC/nEX{.($Ei:*!#f:*ft]}!<ǍvOLpQ}gwp]BJDb 竢JV@d 1RnWp>45eP#kbZZ~N2GB'-L1_]"⟂#FixTkQd"R>t<}Ӂ+w9~-URk"ldsJ]4f?街+r`=D }lc5%h$n [gƇyAdE$CoTg+{S}w#XH? Gғ}dV:u,h0̆1eV:/ W5G#-A$=E[$UUv'dRѢsa,{ ]L n_ YFt !3dNcBۚNi7C*R^>zXmT$Q*XB >2I.=\mTa|ىBIȀjM*C3x:%GO6<bFEcQΙP[@wMxgaf#ίŃ 4bcȻW6W7Ҭe"6T\Z\\u·lj9  :ci%+Osn:ll)2 ' JQκ푺8^̤phDU߿1Q] 0ـg~uw? iRê%hnq9I̼Mu*0cZ^Xc܏1oiU߿y3X1wje e>YU~)fLez~Y=6‘äG6$AKPm.{B%$_4|WʐJVPF'N\XJXMM fn7P!;ahwElRL>q[<#(/KջB[0[]feUI7ć%|AY8Sl!gYZ ]C;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104l9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}xiTٓBȤX9Gϝ=&ξ–p"%\bDW[WOC76)+ t`XvO'k'5i> $pg,…-(ǽ߇Z~_|T_]D֘)< z˼F 4vӻžN3xU%%Ee cQ ZJ5gYZ<;]j5ڂlg'Iy}oLP:vX gsQfh Wu -a;*ʡ߶{Z) >KN`0n5 ޜ9?el996hmJRlq;]^5 خ gz>ܖtL _')$T )Id ո+eI$OUÏG/o0zWcdw^[jNAw6lҙH2ބ=4.F3طS_w>'Ӟ3J韖hU#W0ֵ΂Eҳ7`-: ևR*n1ϬeAϹ61QήQng₀ܫs1[.EhXK)9bmud$"ZE ېae %VPOiFK=@Z$R#K;{:iZd.tR3Ow>`J= KKq(H 4(j=. (b+14kdEUO+Z|'SJ_#7ȍĖ)(B)ycDƋ'fu3᭙JXB)IW{A O̊Cj0IM2KX>_ڶrIyl(Kbvbn3p2R 9b8޿ lzuV{-eZ >܊4Bыɦh G/BPևocY $wfm[oxTPϥUb'[9Zq|ZeukFb.k) *TJt rB6tb5MYfU3Ҭ74 勛 IRN a~͍'x6OńB G*PY͉: -`cE(h2J̾T| !~ %}SLw٨*TjRedH6 :\$8:vݪ:;5 | v/OY^$A􆷛ѝ<]KMht2NIO\wNx-5 ىoXnGЎQKNvS1QĤ[/Y,XBrn@kSiru e)t%1L|'PşC6-Jҝu[nfꦩUX;\`ْ?͍sװY5ŹF%& $6M< [u]wko. hѿ~#t46V#YP7N$xs.?쨤B,ٽOBEfM'XjA%Zzo@ T&j1}& V9b=@SM}ԵU(EBCsd=ʹ_Os#*a݈-H/gl4z!S;腱g/,p^v#2KhBm;)0jІ;wOQ&+J-`fb/Yw;ojY7OLژ12zw%i ›孫ZG— N=S3~N[% UTxtW9YIdqX _c֠FdH$B$ɌY.#l7Pꤲ?zk11`e5 q =/ d$,dIܪ#\f3)X $ (9&c2,,f3'w$0_!FBuj]ul].L}҃JGd+BzO^Bwm~oIiko;[#%i ?go鿓u3TpZ z҆S"GdkSSA:'4 O( (v[|o*RGd="yn9= A!ƥPO6YwʿD_ߧmLQ7Ec#J.;/hLP>[݄+E֍b0calqZN$aw:OO0u<|rgDC-#}% GhCQ@7*PC0%4!TӋ++(J/x|u gK8RܿBqRuV%EË+O5+{cu;e/%b}23 %S$Gs օR&> 'o&UmELW}IqtqS`B%%μW: #ï2/Sm\ytȺ\"Wg6˔7|5׉@rE8q"Jtǻ?7Qcik!_Z4h$_i3/-_%m|8*(JLk<,(Qv)!?yjvHUn'di-1.J2"JEn;b2xOX &͊e13^T]h+X#S 1\[C3gHĻ2KW/.w oqt! bKXjAI2]EU0Q6 t̉L~Xkl ;4=yP' =#".ʾ1](m O&$w`طuEmgBQ: CAe} Jg/iоg-RFVr 0 T<(6a"~ɱw5CGԮ2EkjNUZ %BW,=X|FlS 0C7~ՓW;![ @!;RH3cJsIS4!;36Z]'LqKIA,a[C0Pi#prFJkt"OG!{C$Rnx߳2>.\}AUN9D2I:g`G v;chH 9+u^Rhm<-끇dLd SMC  kυq3|[L':zyt;ADtuӠ3wL p+[m$09;;#S *Clk;%z-unü?RI]Y4oEn =/N^;.48,%O/zmG8hDMZzے4=ѹ8Ǧ= uˢ !FK8L=褸aIx1L2(vvP5+E>7ƓT/"DS[tݲ>0+$jЎ=L2eDJ-,>. sc1:a>BzC%y'=9uf$zG>!ia#ПtZD| ݯXPWGx)zdEH<(GxlPq"yOř_FfZf6oR}uE!w#$aEjy#.jEwC0s@R)DP7P[}=}ЀJi~= CxgYZ <+# TZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖qF T 2aqѐ 2 |Wn#OC̀c:OOt-Nua{-M) y&شІӑƑIe?4BXp.wޘIAo~_F+_1 ys():WBe0$YF^ &^6!h:R㩻8.&ۑ٣u\+ya]>TÞA(9B/Sa@ W PH]d~E/6O |3z[Ynv 38^R],_ ksIҘ%bͪvJŒ_,6_(J)o|n4fNc&J\7.($XSysQ?Bh=~5b=<4 *. 2 Z>HQ$qӳN\a#84 G'շJ%,=M kfJ}87j\DM:_Uys%Z' %")j\ _ԜlmĎ_,ʪ| + 0wp5<ͳ}_Q}:i8>PגK9UT T~fmZGFޫH5lgQ}Dl((D >04.ԴtuU=քfԮdrN?s#NX)ل%Qu^pV7WʙmѶ<sGBgcg@ȿf[$4ʙu~(/DIWnma?e܅Ê|SU(lb+ 4 H5s]n*N-ņC&H zoO)}ZޅJ [U 4f_ J8 و!PcU%JyəZj,oje 6p8uiWj87iZ$2 x|xOJtwN}A0PbDiCzS:;}ˀs4c58o5{(HXxĹcnĽ얩%' d ર}ϊK,k`v@>NWIl̞] 1]blP'޶);q\8@R [cTsp *ripj1߮g2ubbnֽ[AX, 敳²0jheV`@paMC"AES"=[8Ǒ7璬T[^I)+T!J>Eɋ\yK8ԛ:313,|`eN~ N#6q ⸠lQUbQOɲWME 4xg~#a&uʭ?UIƝVgלּx1Rݷ6apC@Is}Uլ6&1~s9ᛸ$D+nvosL$(!|ʫ0%0)j( K:w V UM8f 0~ M,2kx8S\hR?-;pRR`JS#Fjiwك&#orn]Σm5DZ)i=}{mʯt'hR޵C vg$~ !ؾlM a49Qǂ6jhf4:Q(Ȗޯvb i{Xz%RN5C6p { TceVeVib~-Om\.ۄd1pO@8U~F9 \} UQx}92 y)LQ r4@Z$|enyIm +32m)F|]yH(Vwy zY~lSM"ٍ\Ku "9 -vN@IGv"!ޏ:b$aؙ|ͳ*PU &kb샸H*{ɹ G8.ԈgxzA&IE' rm/PJs4."́QƟbP$ǺE/C i+V XO;,\x`D.HH>mCi.`ageax?O|z_? yhEat1ϗ%+FYBS3z})D?RN|D=R3$1+W[c1p/\ ʛJ\"OV \yϵЈck Bg\ ʪ uwP^-'v9'+JHl*" ǯ{.t ̇!2$2fI243VukLhŠovJpo"5VJeAGQ2SxfYw3I/.^c`(bjVw}U\~xV{X!. Z>.~~2?MSQN:-9ⱔ!P.X z<}:  H  ~L D )# dZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&Qn*!%,mܿtDUZG-̔nY?ms"&կyHÒޕiVqn -i1r ȱ6} ZݑT+=_fe7{xkk *QvG!cm:#OĜ *q;oNЦF9& o!fk萲V~Wݡ@~/o k[t`Ql0G02îJGgc9D8>@$$蹏n1Cs -jˆ,6Hjƈ߄foL3b^̳raW"&-|h.o% ĴŨ9@u`Uȳ#H?S+JFz7ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0B)-ZF-InductZF-Induct.CombPIDE/document_id94A7' TZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *."]·Iq n[:|&[z Vc)c;PSTꅽOlq%U+3-|6cxMqJ{MV.C"S 2#@ܫڢ\AⅾL*qHg2yn1܂Ջтoʤ{Ck%%xZy}:__Y>C[:Aѥ>׾o^:)Ocg:E3Wݵ;pNm-RUfq/Rg%XM7,3!onfҵ˯N5|0O/"4>'#YhLXjUDžLӁCujkgS$wg;Ok da KuWgꎰS[^ ].~Ԛ $* [UR'*Je  .BN>'UR`^ fULoD2՜4c0xDHb5"WGp_7JN|A) ?U hYW2J6wQ>D#P?/hd]UH$JHX cl AT&bXgYZ@ 7# TZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"$]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4*E1Á-nH~زi uNqEA_Qg(dt8^}kvENh+sqB,mg}# 2$0vplxCK@_. t4HpkSz _u-;gRb@am2WSR;xܔLqcWx MN)ﷸD%$$%Ù 2&E7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145=+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! E]·Iq n[:|&[zwu*;O!g%$96SɵA10ոÔn43":%5%EdWBe_ٳI\V]؇[+Lʽw=P˿`0m O+ LA Es/Ҍ׈2+<% 쳜TPH.(e#,mƨ#*"Kpߩ/OyyV${6LziX~fL|pSb3͙:ɯr'I@s~֗4ejў,zl#p@r.o_F޵8VzD$;eAŲ"5ʇp.uR1GS&#}wsDO&>[1[U飖7_OopHT==ؿCEPII'Rd\)o`7%qVs˴KkZ{;XN_2b_OK4N0iEL1.'ܲ={+/gzs (JqW[z5ɵ!DO6hHʳ{YqE[!e_c hfX $ZXlgq!F`^g08zKff|ōe/E!7Rq1fY "O.\JM;$B_FϽ̈j;~3i+\Z6PT7BƳ ȃ[`N{qf:'qC@#4iE)JgYZ> Xysh Y)bBo5/^ҍˊ44w3 Ǟ{5뗼0m=j^}T #w :!'0/pl̰8Q.gw8h\ l4na p=iǕ +"ΡԿV*D*[H&9u56A_g#No!9r3Xgr\*ofͅ ~V;JfY`$B!w'y\P8aϬo3Nhd4YGbr"I2hRjaV4FcE uUX].~S@xԺ=ȜY<h89UB8˧'LG}R)4돉Dkؖ #q:o[zHF%2Vv2^mtJm>C]O? ^0(lq> F:p2'G#~7hO] F4FSj;6 JAK_y푨DX%=826s`6Y~>{krb Iz7-S[lgqU#A>}]V[*DQ Q k3ˀ 'z= M0;LA@0z3P'$c[BF,nb[qUd.Z=|qJuS7 Y}_;uC(~WAl› rxdW H϶2T+HYup؎)?)[z-Ȯf;@(L 1| nJUhsS>8|c|bߵM|DHQq1UOU԰5NoD iOL;=&<0 m24$|6Mc xJlL EX%63Ӓny_7A}[:ݕ9}y/tY7kj"Uǒϗf !}ӂ{Ay?_SlB;AI33~.7,w;c &)cq^C5 yY*y-Wf-֧Ry\7iP3qn%ѷTިeV}:,10H!D1 E`v~a:d@I#AI tO!hcW߇#3ɉL贆@xա& Ee\CҲJE&55׆m cR@Һm%)2ۡ4V['n})MOED~R,:6dXt _@E^zr1`#DmLa:SBFb-dzGLaPt=@l1PաV]" utRb ,\+Eܪ I2+ o™ {00h>w 7>-fOƥi]]EBn;Z"f5Fhh @)RM"G w``Ve_th-\ y&OG] 3hw(wlul&g͋N98bs^X¥D0 /O}8tвr3y~/ydkhk~Ī\ޡ! Wnx%/'CVNBݛ軑>u{٦2799Uү*B<ٜHEb`=m_Tq;v o#c{;;,WRB( eؠ財y-qN%zwnv Gß%,yU꺵q?@Je ﹋+ mdsB`ʎk@H#>:_o O7R 9' %Q}rqψxN£\yk7@Q/2 XNp:c&@rp2iHPnNwIM;a$6D:Eů8=)i:]-մfm7}v_Lki(F@NCP{͖CY&z4 z:rk:T<-I*`hK; .j6V_ڠ0lLftG(ɴ,i,%ɦFQa2w"eҷl0>D s^qW;lWvNjMJbM=9Ap+} *o7gpuS'k:HHW۝ɦDGw/T\7Qdt=I1b$H!ph5_D\fޮ,pH-q/vI㋁8ElGr8I"?L>\芢efN\;Y*gGdD\ais;߸ZOX|$`*.|7 )g0e HF'<.'=we-H|*)Kter8W"?qqǬa7fQu 'yA«v0jo&z9Gm{|$f_nJU{2jZNWσ!Gb6Kz4>#6B2 Ҿro%.H[N.BW7b 0,9|JpLZrKОd FDg1xe;ywi!:lTMgo`XDYm4$[!Ē.>"AfEϣ\|4n/Xt2Wȼّl78 T(6i>T踪d1RboN攍<:xj68~SΚI\&<)T5ؽ,?a%E3tL&. 5MPe6*ly.~+8ďCy$̬V#IL5^5;eV HNS AZ1z Y*9֧5L vj';_&16 7A5;4=r&e-Y>B(<%x }QğdCvp-~~ ℷ86c3w8 N_jϐ%̢WtQg.d V*EuC:$a=f"_/AH(}RfL]kbдj(K}^& џ PG:]j9'Ơ Q # z\ETl7G450b{2pip$taCtFFt!@rWakSmP=D/9 |Ȧ?#@I44<}rz {PwA=t.MS>2qw*-KttĝOu\0=ǡqp% [ٴ[eKIQoMc6HgYP̍$>r}سDӲ68"<9p'|(*ge~H:4(Jf[Z܆FO$Cju@wp+wkeJX=t7Y86cEnq m*- 2[܆+q s`%b2b EVLcZhz4A#$!Eo"񓑾ǵ03z!^m2`7{TiMYE2f:Q82l$E5_J;d=u`QRz|,}P.y;|Far,67hp`+S]𷽔v;յ1<@G+aM3dQAī8ڨH甙e ¤aH)$n:b<'Q3W8qx!p 8z*Qt(_֌]=/0|cOMS rax2f+lJ;GSֽWuDWb;8[ߝ)hETN2SL|u* <ù).{PB_Y#i?Y ohVЋ):a΂wjO #E)|@ײٞ-dqZCW 36zXN p;^'0d:_v \_ٸO3rl_ bc )2P)|mYIt_ϞBe@V8ܙCǡf!l8e@/ze-־JQ>>?;B<#=GϽy"hS綾s&G@l5Be*A4)sZA8,Vǁ tnR\AYFu'YyLGI&1zȑ7W@܆-̗G8:j] *픟z⫉ ׁ cdFu&򚄲\9p96$/tw`Gv'./d'zd',.ˠ{j|o,W+6vF%to5flk4x|yzENllK)Tٗʣs ƞrQpE"i lzREjH %tȮh.JUfaȹADh'D+[cr "!ݍwNz&[43fsC zG֬ W*4~3y|ctRw .Y PɡMI&㱆Zmsx >s"_U>A+$P: I:%Dq^+䬉:rҌL w_aj 8' }Z5SwFoPu*Or)7EuQ-nHٮWkvMЬ<'S~s2LE󲳽7-ս/ʱv/ķYH*㏋/>bkqmz=TBH:w7;1W덈'L zOm_`V"KvgLtX'W VNj*!Fz!ؐq*UC%iۭ9=5߼DŽl/5玽R:\`_DdoІWOo`W`dt+na.8!fF\%~!餖xeb5 ГB삖;2?ozDp+L> s R$_v-Zh n p{po'`]5j7LGFeׂʁZ%] ӕk/~mLl6G vD+C,7mW[zZgdgs c Sz{T7|u3s;s R@h˱ܸLɭ֢b WFL!7{y\NF^fX0^N y| xp+@]5/k| Ӽ+cUՁ7:v FG : zRwDtYR!fNPHL4 3}P{ wMa2҂Ʒ> ҊS 1:h"i!Ph%l ^.NT 2kon.ԢM @+ vld&#Om>峐ŒnZ`f) nr5@îNe)\CͳW*NpscN֗v9[oP),>JkK1Kk`qٹ%:vfHb֗Ϧ&A&;m,mAt;,4rn,5UYa.(cu ;>>nBb)nq2:$Xī]o- SsSXlrBe%x4DorwN^{;^ލ o]֭$6bKܢ5؎ū5U5E*t.S[<@޻ ogx|a]QlgPZWN!. CXeK'` sl npx0z 4s̑yۆ!@%)-^b&7i7 KA \U zEU'vA }]d 5,-0U[6&xQ7Ћp*D=yoe`iIqeZEfB^O:\XrqguP\ *{?=7r͢8/Z L$!L6ZDjK?}C:c ?{]#b1 l Hve+C|J6ZrʽߣQ%;0"N E5$d=}ީ*Yž6v.@Hy -T 1Nux=vЍC;O%!"1]~ƟsbQb<;@p8W>֨!ƶ#RbH^Q LMzz%xPT  UoœcTng[NQjH?cd F!|T3 y5j!L;6F.̓ޕt:J/?,m/ ~ o?WuG3EsBLsC?^)w a8_-ϓOg:ǒʇ[}Un @=t%D9PW Q0NuMͥo< Z^b}N^c%Zo$ 0:a"B0w[ XtzסUO}BW~b>l|N4&UUgL9Q08^!jAuQё$ kN6rpа}B$t$Yi0*8谂u*I&]珰>_3 mՃy{O)Ԉ4+4He,ɒ H@gq`Y {h. `P]RMM\EXi*v,#IC𙭌&̫HH^ߒ"M+(,+Ԓ8 Hd8S癚0-Dɬ1&gYZ@?32:˒[OaxAE/>Xp%6169%ݥ̴1AzƷ$;oA9M:r~/@Ih7ZTaRuonm Ay,UJ?uP#5g85{uŽ;{Zz#{_^`Fcbf j09rLVŝxICl 3uJ8Y<Ծcs$pGApXft$B,!"(\b@f=U>pɏ0KvO)N* @P1f Ch Q__oKiUF%!5LֹHMhs6[8 e\CJ q_p2¡*d:gHm;IT~S]MHꥧMܛ@*N[{)Uu}g o"u 4bCR cFy"'6L.ݿ{` 'M]6%m-6? ORS\.P׳9^@e|0+\A=I;Kthgnd?#<ެ@~)ksqaG>3ij3ggp~/ ZO$tqj &PO>0^M4fГ*S|pg9jL.b,{`b Z6W?l'`N5&W  |D Â8PE}u-# <~ 12 $*.[MvJbq@|Is]7vA-F9Uפv #^C+wоDJ Tj\4VHm!`J(o`>}k\ڊT.ș}WO39^aĬU„}\T'RX]d=A hyСW٨m^t/Kd(-u)DQs]kb`hg FAv^;bx΋usawxqɽAj)e&XL~z8xeyyPx0[tVhxZg@9kq|~,{c *oN<2sEL|,)2 tC (AѹC[9Š$0k*0fWPTfTsb{w48@Zm{~bS4<[]̷t]'IiPlFbsٸ2l[uQ\0‘ox|.s}gaJ+dGL~}qUǍTj$t( Txc-aЈLʵ+~(a5z,\-Rʇv(!-seǗa~| s$1"^NkjIu!q&%<"O{Q"֫&;>H[f#8-y*gd IEmW8Gj! =HtmGBiY^_.}bL8Mc!&b?dr:| w睷f$B1Mh+T+rk$ 7bȸ/! pey-EW2-{I4v&y kP(/ @kKe2bN-F">w i#\M+3R) Ng|lg>;r(Ys"o㛁S2UЯl _Vq q ?"Qm+59y 1+˕`sgqnj pr:sžTA97J^0㲬%:z9uC _Iھ#oH± !^my>)~)x^}ǚ_\d0#RHA)L {O *zM,;DmANЏ7(W8ZɐWBOz'MuKdu.FZQ|3t|<U*y}oo"362i-[$j4hƙk';gT72÷fԔC__CZKdHdA)w]ȦA繢B]j T@56@wz*'^!_SZG?EoN,ᐉ;(-:K~:ZǞm-6p^JcY q~H B8? #3^p=۬>KzTE$5EgYDq%cv!jZoKc> T#`Hb4,wA2]x)8~KWHק;'mg_!Y\% p\`d8K[*YowX>f绶ʼ'Z3_S:6n0w#F{i/_ XsOlV*%iWTXCENZZ8C?f=^9<92od$ތV Ap\rM678|LJ]#Ӏp ^ 0~@{?G?=/Bܝog !„Zb ms-Z7-lkǛ4l (4SsA.?&i*G ۪ksvr+ hHթx[/&"Hy+qM߽ 8򃃾p= }cK:lVr4mKCoX6. 3*[k,BLf:B"[caYTR^g)-2e5(l"Dj2y@R}&Jc~#xd|۬v[?VX5$2dJNh$XйbNs%<cuP0h//yjG9ηe `} 5M `s_o+9Y?Ml*:#dK h:JN:֤iq3{'r}YqpOem?VL=MuԈMT-[ij gd`p]O >=&sn6d`>B_-q] &I<6Q'6(i>SσrM @gNԝ$~)JZ}ViA{mh .cJwf|ޯq/8i **Rfr2<P.@sr٧%áZ)Q_H| cwC8 `ԙ/?[zu5J.]6{d 8s/A+((^XiL`ڷ\P/<1Gkt6E@D#e4[g>^N Dqt]"ntْ}1grMz|Pf3?''늲I. ǯZ}5N>`WJfom=/#áWE$KA}~ Z* Q0OwHs0;QG:X/7qaPr٘.Aښ56ԉ>NR:k#_lzgUUu3b gaV,Fld|L6fin!!UIʸՊ2үȷڍƀ>G*&ؒ]\ʔԻgnd~R'hsf櫁G_A)BVA͔*9sdl9[?=D5o+.-M [#.MCIN,`-iz6JC\nPC߼5%BZ'|{0>=*JJ7f dˇ!a@Hb1}pzͨmӒȇkB %`"Q!~G;(;巫EfVoiF t9'fDS)#Zs3b-N#Su% ZsWQ??nύ[g3'C`^|Meutae٥poD'F\t_ݗÕA1Uc+tDAiߜ¸>*PyY,[`Ӑ8/B֣9xTB! ߍ0,; =#($:iq;mϼ Q+н6[u)QHQa vhN"gM9ALHr=7Pxa]e@*sX#<#{%s =|׷Ta$GqaBȆ?(Kݿ!sCV4V1Gs^R`i Wǡ=) ^& s>?6ƩqxA? RjVӽ+l}'u`Bzr{]f}n3ơ"{дX2Z^`EGB+KH_o RD|qCw1+P)7GboCFj 4ϓj>1s ùQs1C8P萴0L^8T̺M;]>Smӧ~07fOq IHc<7lk/Y'8XM'[wa Yሌ%Aœ"jg)c1bc%4>!j4Pbk*4êH̕]eBlԤ(-{9h.vY-"ogtXI`?KcQD= ə0L EU+.X/*Mzصl/H:Mj@}Sqqر*),04W sxxXb2r0,Np| [[e!҄ W7g {\mM<'2EM8`/X88v7ZCjY^ӓԏ'{HFi}\$|ٚ=j@2K2Y1@zbgh]"ly[Ǿ*CGPeȭ1P)N3مBП}K7v鍠BwL>օ])'dt2s"܏NC}J@CASCH5"=$ 5-qUMʿ*%CZa7 BqW ¦KgՇ]*1a mS0(z+Dn{7#~ T:C]^;Jfˢ~9zh@"@ÆqJ(X|jrMtQO&?Eg4h±!煉NL& 7Ԡ9*y? Qj'u1@ DbZl,'*Ny4;FhX`45 =kc?U">UЊZjGr8JoG:ym:'}u)o'[X}}iJQZ/33â:AGT 8 Zy6f^}9m3/qt$,%_JL[:.ơnz`jlmGf s'}FʍkP Y3|(njU2u"Ɂ(CHU`tn $N- ,}1`b,:ps@InyH/޼zg(}w7 \zhIC*mfqC <[Ǫ)ۅooyʒFea=SøBΆSƒOs%$alGΠiq۰ QWkOFiz I@=EJ0 E(@^ԞoH[>$$ &&D29ٓ掹qV]k)#2Շ_f}fMBc&Cg;{fl9?f? ģ)=K m!x@O@K ͫbKX"0Et +}A[A]4Js 9sΡE#75h8<eևWJC}T8nm`_>Sfx7]<|]^m"SBdk%g~&&. |0G,sVf5k#I+>XܺYm)kAh83pl2&֣Jgϒ ܭgpC܌1-: )ǽ;Lҧ{mMPT.SWe`>̈́aaMV+覕wmǗcNp^<.7 ?绶\VC@7ڼW쉚hlQ<\O:vʀ xEk9lR iH.PeXD{l%$+Ii rVQA>% agYZ < r<4L/-ZF-InductZF-Induct.FoldSetPIDE/document_id100:K'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[J'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂM]iK} \f*6% _mLtH" Kn=O4}dtG[\r?$g@:*)geO~ø} y=drhP20@z2.[XODUl␜dW~.%wLpRds HQUWɊL-N>Gd3Oo d&v11(r:a8MfgYZqI'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η*J#NPsV *}ɟ^T6"6¶ex()+/"vMB9T SkuѸpQ XCRٖw7Z7(-*2: K ?{*xiXpZIްRlo[A  z,NZ~rM9y_;;OBQ3?od31pAƀRngg( P iN^"/JT@@U#T)bd=-qcIdvŊIO? LDezt莲E:&`NJE1,-WR%O xzU S}W͈)rm7.EIBBCYRց> ?w;UDкLF ˙7K$ @D2n_v d~̿m0FXl! $ML]ש0E@Xrvnoe"Q'e#&;Ec\I*Amdj_Է5="; TSȱ熮VICU~{m8an=\|n]ڦ5eT\Bq^0ۥ>lX[GB$ErTUh°S_@6 '9|~K_cr願)eLbmpG' t.s|Ӵro:a%Wg*^^_[,vYlݧIi1Z~ouWƠI޺46ka2q1$t=먹ç#/eVHM9m$("?;ˆS2DA5g :ccBѸЉ!,VU)?㌘f J@llXI1tpxOz2zL0\a#K:NHalޞc!.pZhALSB8ȁm]jw[*`\|4= 3,Ug=mh2q`֍U܌1T$f ˷W#iY+I|*he=Fmޛv[hpTSbv:G ̜zWygPbwo$|lAY2JǗ:f|=$~n F`,x ðY,;Vͻ"KP7ʢt{]b@<;'p^)UuqW\IO8.hh=W1xR8 QCV հigdjdc" p3SpG.@W-&@F_]jI w֥~VC|Ok GIgCgҳrDkAT"> sz lo6i_kmåLnt%:\7:Qwf9,]{D)e& 8¦Қ_R-n_A,F8ϾcfJ溳Ӝ_ ܟqOY^G<~}<@3T eS(Ʊ8X,˭P%n|"kkat&YDIhdqX򏎅2^B::~'RE ({Rk3v"Qlh2g](0ܤh)܈egi Yigq]Q)`>o^Gz06j3Oc*e,[Ǝ'!UF^5$B1dF@Bj3L̞5G:0z/`Z7a\gٹA8LKꊣeP5F՛F-91a}Uyvf򉤆w(=s*\]z;F- A|}{KgH=BbhF2Y^|.]JQ-X}oUH3N-E~@ : -BuEnd.y\)*e]ǚ3[,8ߘ}>X"zc%rflj qs4,ryBhD RFlP|ߋYgS3vRKEn1^t>I3%CFKw>|ݙaux$膨cʎs…O NPEOibV?o>$yI걋l؞)$^RJ6A_XZŃEٶU"1c#fPri%ΎZЁj~e(dOc8zE4^H՞N`ljSP\"4hw*/]gu)w3`~/_%>'AgLFєGJ\AF&]]Nϥ'O9&= Fk,oHV7f. x3C4VS _ꅌ͗U >(~HZ(hJqZNtSR+/z:>3(hAYK[UˡŚAuJȢ0 WrB$'Xo$ J+RI\ֻǐpa YUQCq%'2(ZTME.3'TJ7B.mp\o+u&DÏ0DP+l`S)lt1#]s*ʣY%*Zʿ^{谰2}#77zj;ե%Q9խ0/ 5 v0LjeېcF+w[ 1&oN$^`c}', 2"2 CA nW"Ѫp|u$F.{+v8bcGPu5EF b<:rޮhOI ԏnc3BrxkϧI1P 4v_x*G[[6{ % OuZ<|W`Bei: QʕI]0ub.NTyˡmLk74k0-j;YZpXȪ7DW6 F}:AـHzGsu%]ml=1`8>wʢ>DŁvO5j,,3#zw* :dfgTЙ.bJHec,W ?ע 7$J<9+(q("/P<kSgYZ  WO/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Ng]·Iq n[:|&[z״#]zr?J}|x7uƲ 1? 6WceSZۚ@*HX}oz 9dN߁zaրC ݦp;\ri`Sp+FƂafsƮB3 W'bٿr]2NYzKܯ=r 2YAsbq ƭJd`@yiYwB) ¡Ɖ?vAP/-vWtDL/~ l?ɶ{yoM jEzL#(%nQOFNF|W`~t!5Dܖ2z>mЕY B!J` ]{p6gi%ȜӗsA5_*Y;. ds8{; 8g(IJ3MhɃ|:VMи WNzbK.; Z!Nc{ !B(mIU)fo^nG@klNC"ŻnSY{/G͔&~@);eJdbfrz8,P%1MJKYY-slYkĝ6-ɐ:ۿ*/Ʌ}S{g+E{Fs>91eôcG%/1PjΞq: xDv]^|jh8Eԟ6>rR|D?$ @2TP ,O;Y_&0.%9Co0^ۄ=bV2A嚭$D\F{EKo^oN_\%^H{y(xzIK'vhJ?2o ?hk{m,}a/hʼnFo4Gt]B9.Ѐ$~r+QQ;t qgI~}XP퍹+rErNR2gy-*c"&XŢ.ikڦ^ѻmarO2 }Rs<J Ѥ]eaFU|p&1U>ϳ߳Ig oOcȑԢaUA:q V\U=l}w3G!zn0خR[N9⩅ҊsXHrYdݜQ >nK |ZGYF6Zlv.,i 7gYZ"N /# tZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! Wv@]ˠ)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{3CZ>&E=.\TQE$,; F #]$)~iY2, f!C(=T~g+R`͟]lI2φfӱ΀=d[S栺U-~3(wDGM/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyElWq(}?h'@5 fNA7qm"hP-TR.S~Lon ;Ū.ʧQON/䧚ujaNCǎ;A3Z-р65$lsZ8s;桍[LZk?d|u2:z.ꪚ!\Ƌ\xgCUMv[ ͋%!;a_l&H[Im$(׎2KU &\}4Fh#9$_l)X;>hHgO2tk ˅5JB G3+v'|/f%r$~aWVV"]o$>Zo*,殫Ndz/$L함fp?ku~ TȹYz4-E }3+j&e\Szr3`Nh+gHb7S^K 9ϰ]A"qGb+P\FNJ߄J#CH]Ru%<34ouw  f^6K,觯,i#sK=ta"'Ӿy%.tB%%76MvDT v.'+}|Fl{TI5= Ð$ÄdzJI<R ^1\Q;=Z:xu]x؉`KG>/k'3 k# gBC|ktԀhX(TO=Յi\ǕM[87aR(XPWOGe/uLM׉-Y"cZ<3xX;_ T~y>J/ٹL!Ivqpd_FTUtk碤C6 gD/<*з\A}zE[Mp8˲pΊud'ڹg3HcUqJ F+ \,Ys1ʥN?y$ʧg$sBv.(>qJx+}5Q]x)͖E* ͫmφ:k]C%]s=„Ŀ~\9c%j8\}*gt!AV/ks~ooPXq,3٠/Fc祂`ԟ%DJ"btt"DMw#w7&l{e @. IT1. 3|]l$L'0~.*RIC郙IA3:|>Ն;=BJH`"ۙbլX.k6:&>7~64τM(Mp:yRC=0LY'>:=O-i=#c"㱺+6ʖ[.Y (TK1#jg s!yXJGE=Q5t.\Zؚpi/d܅b0c^?' ayɷ#EHZ֟2^ ]=(C_,xF@]Ps${]9NU"Mjkm>7JQ. 3% i'!0RYD%6 N]Aj)Ov ~L:fEwnlvewə__h9Ϟ<ݴA[a/S؝ ˟jg3H|)4L{d'HwL2S^xAΚZ_QO"n.p+F|멨^nKi+Q}OR1) K!IW:HT'H(cHK0duӅ5 X8Qp߂j% 1iBF2h nFA˕H \Ԓe])Xˍ"JS`CΧbm)HBB͘C#N5ruXNxSgw36Bj'_)ŀMAVe\@?qz fwE2& Vo%S Vu""fb Ƿ4tܔa:`D9ґ :̋~ݨ,1rGC8ht ݫz,X,<Qy3ebo0~AbkK؎YߖBvES ijYVͅH b!qk-d*;8@ #Ux8MLG@4vv$`dm ToyaWK;coa+ 6dZ7 <ƷUcvvȍ-`&.g-^Cz I"%հ]B:hXjQY2uX3!%XAMuI9W71 vQ81@b]gm#j}~{fM3 @ =tٜ:_>S-T,~4+&zUTAX˨eY>hM 3g0]x[2)X0sivFJZsYᯙTq@oRFCI2f_ ϞD;Xѕ^'{IdyI72d棒l5TG[}o$>#]?W 3ɡPM/V3n,!ACKncr)b꧙;)r CнȳgI~ue':_䤑.O($RQI\M*Lf45Onp^v+qKIʢ) )XO0D㭣fa2ӓPH].W-ο89/tC\1p2 R6^Ffu:Ĕhݷ,2 5|ULb兕檈JU~ib][T@hXBX+?*Dn+j7\TYJ:Me3nA|N/( nFRYHiC[0OYp}h%$`֥ݫHៗ{]7Ѣ>¿8 'WҌ92"akY!x(@+W%\!qۅ\CleJ|wa%%Ts[mz-i3#^I@V;?}GlYl`} -i8aX|JCK?݅ d .g'>QףH;`_cZ{S. Gw] -5ƍ$p[e7VBqTHP_79šj*ꅊAVgRR 4HQr-T1FfgHW{&G@A|>&/xZY/GI3Lv5<, >2Z`7̌_F2No:(J7~i|5mLc-zNR=_{ʆn/'4FFZso@JuSZԯd>6LhS*;Z,D>ܙsv\6C˽ӡ~[C!|g}6-m " }k m2h&͔Qhn ; -d{ܠ1 *lO~M~T L--G<3G+N {unu;ۍ,w\ zIbak`֛۲=J&}BDխ1G 9]Vj#DzS*X6)E/n0_ם %'-qtOjOb'gpLM,+]Hpicl" &#ٴÌh@qH՚9+r1p 5)D@cyDz}{lW&)f:TGhwpH'hsZ|6Vw6YueྴK9hJoSO6p<Ӧmt (ka5u؋Rnb|n;,L3%v]szQL\Ƽ?_(O=9jvVÜn9=: 9IeM*aҎk9D}5cyOeI`s;@3c"pt k :mUD)#gu7,'m6.6{=~xBe. EUJK]Ty0=fL^EvA `_vpm)Ƥ_*ГQWkhd`'ѹ\hJcM'/T>:. <*X3G02zyګ_~|yvOh0 4|!8lkI4 ts+i1ܠ xD%TZ 03 2TOEnQYI5]d8l[$tK[@X&v !=|XOڟJs.X!尛Y$}03U]M87W_ӯD+v} $Y2-z9e. ?F6.5PkmFS" -6Pn:J ]L wY#H'x2jZbw՞X8vB̪3%b1ϹIZBtşȟLWGeAؚ8 mU(\X2X<1ՃAo E!N@5$n!E$u( @9n 0QKU|VNW+ &,OiY;c82/K<<{J0?0:QwRB|"6^m/JS~K3б=5;iqö %diu]:lQZp8KɱK,ܸgX (fV3%E)COc0&1|ibPwY-lã|WLWW:w/(F:[`aRq@(=qUIUҨQ f@t mE^AY6TAQ%X_42Ar16sSTTٽR.N]lf&9 L'$!Ѿ3'adfnYq1*=G-Z7}Q@l~ ϔ8q`:{;ԅW)DBiD/QXEf"fō F2KR:`_)En. {=qZ]ٝTD5fS+@ͨ¿-Mt;߬ i]|OUKS6.bE<])!Tv_Sڳ-Xф ;Үɷ|g#vܞ-1Klc'8d?6=kJ1iw ZcXSGN;ٍ-/0Tn^+(3nOS՘W|d?^&}_ s0,CGR3;08럄~K+0 8w&pf)Tm]pnw+7!Qp Kx09<oܳ}B3t]Yp릅\ l8"@oKCaUz:q{Uɍ/M/GoL?cm2~!lպFoGh2~eaI1[G3.J#& !MkbBfGQKYEsF@e%sG zȓ=WK\ªlض2S[`4Ԟ9)gH3N|H6(@2aO|a?O mP.>c+l R<8~kz]Eay׎Ns嘏o9q*, UWHV;{v:%I"[㣌jR "s!ZňTh"͉AyM#9W(]QimĮM#Lzs:TVJ3wS 0Nl 2jآbo'\S2~7w1Y'"ַ-4edm>k6r\Y-JRp.AH 5r=5٧' ;HnL҄uhD}d g*Ge.u{:?> ^qPu~B%XjP&*;ŭ]ǮXY7 zaY4V E|R^ʜYd=qo@;;y 8ֳ8'~V=@elp3XGm6\/V1>VRęK`@?#?FL`{r]_Az$ݼ /z(rHGOZ| Øppxk i@HڵЕPqմW.n-UPE/c୧QL6bf sWcUd[7:I{v7# O_rB40i3"M 9z)mBCKi;/ “d^ĆX=n=&pkiء`(˄M{FUF3KȜKi kpKIxTز6w (H@- 9w2FfzaMzDuX[6jqF77 =n?ڈ2HtOQ@^ G:;2 F1/=p/ø@Y fws(@F8Z!a ;V#Ζz A#VQ'F쒲}NI}yXB %.Qq?YmyEuzn@z bCEd=JL t"*'('MJT:Pz7O)pK-}@5aͰR0BI3J @b3ydjsj-赪LJ,3Ӑ~i$!albTaW&kȒ,#!/k ~/ ?(v}14AT-SϠ+(&R_u:Aj#:'mn5;!L`sy))369UV)twJ}[*lΩw8KCm+60 5_hW cE m"')e,{3F:M, \+wU1]1p aoUuYO޺4QGg"5 @1^ 6(1~;J8%5 ٔUFu52Jj] s]?\A*)0ie]fWNdl٭#@uT:>_O³1cYa4p.GB \O}fY.MBd9fQc%&F Aa9a0rf^h&_ppj|Tq42C1oIt|M;.ˮ4"5;=j,ؙ.s8@dmEM;lX$Oұ*#1Z}pm:IjrՔЬ@ut)h| iO3̀ gMٱٟg̱bs͐- ssd2)[P"Q(62?Qey7|fK(ݩz(UAdǶk"nP[[o4(_*%b vʂx@Yn%*L~+03LĞz l1 H!B#P.\ԳLɪQJm{Q:Qu)aމ/R7ӂ6jp܀cho{T_hV 6ޗ~m 0Y\")k+`|x%*7s`KŇp5WbĄ .^|]:}sl!uͻ^|җ݆ͧ@b3Uѽdd`rF2IϞUAc I=DF|z^4;zI;-j}sv?S50/nv Lv5HOs`ZLBE)b*NóR /|( ʨJ~W*:еY[ِ*zz:%{T~yKABN вME(|k.{ ws6̵krbgThk$j*_/uXoXG5,#RSTpiVala?o`1 _5}'0+L<)&'*%D66a0YGb,{t d qJsLH2xBTZ*ksl\=/bIc. wX-)^v.Z|@Υ9BmK>+FtbwbN ɐ# B7uE5fӬ{d0hdn ΗyapUV里t8`2!r0q7i63ά3[w>t4&E]˺H]5pMcl BO_ }EBWf#Ԛ</CH ͍AJNl͸1XyXcI?V ,VWAUv֚97(^i^mu9`#}ԑ%~dqwaX PDic2x/%2jCH`Ȟ̖V.I+r,ӛ<맂)]bRpM3[Z_ojĚ8N#6>6Uʼ>ج-ғ=/(ND@2{rð 8h:hGn%K#~mX5#qJ ú5OW)#1^l^jlٚޥ/aQ&^ܒL&ez@uO7n,U۽i>tr'n!i2yG@&_2Ȼ suT F9W%%z~ J!ST\:IX36v\lJ<AիOt=iQ 薴%}LSY-\'_e<)ۊ^Njۆt 90^Bk8 \KSؐ`~Ϩ>.Ԋ=C}5P>Ҳ<jq_dCGDs9߽ Wvٚ]¸xdC:th,ǃf~ `UCTT^1 {{*=7%>;@įIć롨IIi0A` |m\}VpM.MF! V+]I"ib}^Xw:Sr3ZAkN(X|u,+:}1 !{\7*"slySf< AۍtOns[d67.)'c P$C@gQM}/{ 4DYf+_VF Ok3%.I7]+t~"dcEfV9Z〙߁ox6ca ~~$;/D$+=x8>؝OH!haTbuPN9W~q}bo!5f>pp\mw6~WxzZxP67G B_%7@6J?RHl*/ߙDǘ +?D h˱[KU&Rߣ 4OM&Vz: M ֒Z/--].& fށ!\s쒫Ʒ{OcYPک)@M !F Ŀ3*Gҽ)JyV h_#vn j܍w#T9C<8>k% 肹?䇷KK\C@ $ `=gvjմ+y|(<Fy.B [Z@$gNWk6 Ӻ c}7b \;0hl:86X|J5Xf;JGeBs[(7)߬#˜h-3AݽmVq+;WM0JY'f nE9I3^xn N%9}Ai5i YJ@ 2YH;)-DfdZΤP7C+D\KMgVZiE6`ϙ3zGdFT%Б(ɡJ.Ψ9Fp +' [ Z4E#&}2O z[%Ia2j9ҳ`_c)Q:3]~w4cܛqxbu{W/:~s]yDXCb~b*؛nurc0Sԇ㣆ˮt" !Tyv c`Aӹ{^\/u0L!1ؒu-x&J3ςwIT-ȯ`{˦dm6Eu“$hMt\w)LUw=$!>xki/h4&#ɃI ӠĽ6YTf[,x?F$(d~dW/A[WoC %s%P[ t:p2#m,ܰ2w{j*-W7Ou_+{]w.KaZGw JPj%}%7CI6F[ehuYӂӏ;.ghm NVRF4Ok,fR#9 1}aLf eT?$˄|쮡} FST| g{4B`^k2IR:IA*]{Fͨ9|ﭜ |5%WoYK6ItiږOWo8v~/@&t"i _ۈ9KTE[?!Kd_%^5[/S[˞3j|l(xQ895tc7EҘzOSRCW=|Jء#o{p/W}u(O>g~:r|jJU߸$#}iޡxӪj|Ǧ >?!.]AYSbg GgZMM>=-a'QNXBXXrd'w [hЁ- gYZ