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 urDl ]/]ZF-Induct:threads=6elapsed=3.704cpu=13.168gc=0.7607zXZִF! _]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ћn㘬7l!1DBBG+Lˊx߽ u 7Ǿ}aZG-q^$[Xt9ﻴ GEB8TnD[E8 a15v=# *(\pVT@DzxUߴzh $pt$%h90r\K /gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?55W)oq?AYc.5%7 A0_9apXSCVQ˕b<) n| @}7馟n"S.*rӸP9AH|yvON^=۾8=XqP$kW|Hr~[24Ecc*<0.U^~>VO j2fb?oܟ<0.;O3;۔ vW'hԱgYZ7zXZִF! ]ŗXi%x; OFCiB{,oǧvۨ@DnP_z7=o6+ H6Xn(;Vُ@U%l-mUؿM;U q3խޭY$+ggz%ZZncz>k nS%v9*?QpRz3`5y3DK,eZ;mc>|<s|ArJڹ>Puqm{ISq nApVhX"SW3k5t#'FƤ.{p//vfRԀhZKhk(5{vcæ3w&7!IG"Ls;bb͕l=y{gYZ1f1c49152673c37e99c6c45e8c58a9abdb2569bb72c151fc6d7155c0917f3fea895a6bda7ed6705b 61b16145bc25d8e53505acae7f001f5c72431ffd97068ec4b2fe92c7736b811662835823877758ef   ZF-InductGh)/ |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<ڹ7S53669$@_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^ߊۆhz6FMEKDG?C>;<:978312/*-&,*      O* ` b /@cWq _3S*  /  ) x O % vM#  9 a}O u J4!nc1 0+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 <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;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~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"!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 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<ڹ7S53669$@_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   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;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?ܗ7;_|}-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 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/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  +V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZR 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; mrgYZ  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ v vA 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. '- 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,CD'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`Kw7QgYZ0TIQB >?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   w D 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'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue "'n"܁Pp\9 >&nVF*yA>=;SFST+br9j &!Fr1)$"-˅d=QnOm :蝌Ipi`P1OАJ[MJ5-ơWΫ QOmU-$ rq'd5Ί~Y6e\>|?`_$1t%b܉r|ʇ$ .#+pgHID$wgbSTP# c |NkF}sLF3+Eujwx W{Q0Țx?`x҄ +ڥal{KԽUJs d:H2ei|phH9V3i;5b`z1ڨvG jzVob4??MCMܓu[f2v?;x/!8;ܿ#T4}u ciJ5nJ*hh`!`%纙KӬ@Na}kL$ t/ 1*S-%q7KmǦ c9l[jUd͝KJ>3ßVLjpdn` ڏ_Jra'ޘ^+&I8#Dɪ%qaXQ,+8M3vfd0TۑƮR,HS `W0^qlS=@XgޭS"t@{Jd8w.'_ӊ*X5 n:-s`8L`Ku+,9[ZiMfn_O]nouޮY|G_1u9 5)3KKznйoM܂oёyuw6f?8Lwɿwj QU636;!w7YHnik05J`_)͎תZU nHm&ߥ24H<:N*S~[.e/vNqa*xÝ'؝f<xKK-KGpk0'Q^(ue NiU̫|{Jey'c"dv44)[ l$SmQT9:G0i׮S[>5[>ڦmeuIP7Opѿ ci}O\dN :ޕ=yzxd|3 G{ʿwXtP'6NA4CX:=]2xp荓 @O+ I#*kݗ)'yU(- O-6MC 6d|PxSKAfLFHyT^kVoɽ|3͑2olge:D>N0ݏ k3B @"j>0Vo7"YpD64mltѦ0F1UO!YL,[x঵U"<"2F=gVĝjx=5yR5Nc(932JL^5'IW ֤M?!fXene Ho]EhQGEUQKa !CBmsEqrngDrOdciKA*bͺX~~\;멱\mzh3L톧n Sk3m~5K۪o (*Er-^>vÚ᪘~w D7?4a$BX-%PbFjXQ}n$ WB?= ,ϭm:G*vdF]uBu2Zl=Z_| <*pCT)knvzf7CQ/SgF# $ LĶf?ґ&?~ܔѴh;{~H<:JAF‰<=FTiTŽ*ԔsK's;2Z|k)ǠIeDgfg qs_e Ts4WJ1 1Ncb|kßv"[/EUe*y{e/xh$7A`Lا. 䃹Mpo.Ef.}'S m͆B.BCN851$\O Pn!ej`5rc59'-2/] ޙ G딻.u>_zgBg(1boYJ/^r{Ac]ȭ ˵+7%zal^?8n)IVk$Lw-S>X"]'=p_%{:Fukm (d;iZ4|½o_k?qv{:wf>o&wtH9}3N7# gf7W7$գ@/+V,Gx5G<ޔƥAþVLMy:0 d0Z*ܶ3^еJGCt/`4aƝ_'!HF̌T&{K۔axL!#6G[%:DD(Uy_toXvo_~! g\gYT Knڠ=[ oxzܟ'FyHݕ t,= Mgp?Z Ҙ J.DܣJ:yOfo gF'תEkH0WO5Jvdw?T}~kij*V닲ͳ^bbN N}hu2슨^R,5$;F0[C^>/_ paSy ivڧ>Rm͟2yiiPN[kaM mrL^ԉa!mKbGR8Ԃj,. lTt:ph=/ڹy\p9$ HS=}t&`ծ{5T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λfPnZlehdڟmYz-pj7MxZi[#.2`q?FO]:j "JK?Q~"kF\{ﭚ`;`Vwzdg[~uDSMթw~?,P Ir:OLoo=j@7xPE'F.^.u:O~rV={s^rspt~T\M ZU+xЗpM!ںVqE:a3tHmw̎oIYpNuc4PG%;jo7n@?6[Ქ~Pl>Z:"3۩ ӑ܅7C۲vӴ X! I1!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}2sMidI<셳|3)hYPS`^蓸9ߝ=\ʤv2蚮VVL±!]fm2}>vrg)B&}ϻ!tgbY?)D#&_֮uqvnxZ<v$v=$7fɄfQ1Ə'GߌH]|/c"|cb2VP3'NO@Vq)B$)\uXdirX4-ϔSyI'9h"WV^G19x; A4D _zI)0rX~ )+@$-{@o[bivG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' \ZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}X+S)xP,%9ܻ{o ,Gjo8*7IuMؑrd;:UC!+4T u02//;C$\J0֟qs9~ӛ\!E!NK7*!GAj6)#kX5 x0+[~/.䋆HfUaS`5D?u?VʲS%i0o]QPHo_N 0>f]EI)nu3Iy2~ʈW $>$A;J.8xK#l l-8Xou g"+yW3JjŹհ IlB$ډc x!N.0PeQe/T Uolޱ!ciA24s?Yvb&ov E*چTT֔uDq\O8uJ5Q{΅^5V ׅv#8U.3ns; 1 ù9)a/*tmsKl*d]K[hCF %p&?2j5,j;k(fleXD#7>2)T'4ǢA影^V;fN\\`(l?`gnQ k1oc*.X{1T{ɪRQnaҠMHFq_lD3\~1ڞ4$ c=B9y O#ystC`dxN B=[!/`! NoMYs6"SZ1v=Nu&esS2%`Ĵ 9Y[{Zt,f]}\ .ܻzG J{=Dl*'ָ}:}[TfL1PS/׺Ji}3_[Y5KJ4B,헖L.CY?x酛zP9Ԓ1aR;YxBD}A(=Zk?LLo1R% L(X؉*%JAnOؠخ(Zj-(o:5(k&T@ޮ矞 LZjIw|ѿ$\i^ɶJZǶCHJ?yn0p/Fb>OZȋ86쀏,mn d~y+<+ПT k,ss `cN$0I8pg0H|NɾXFyBLaJˊ/ GMw`L-?|Y{`kxMǝ o_Isf Jĩ&Bd" :}'NB@V+ Z}ׄ,C"~wx1GC/x&Г9xӮH_CJ\hjFFR8[Obd?*qXbS`TO,`6+jMpo@ Mmd91[zbΒӐme $yd@.슜rōs_7N^1[BG.Kҡeɻ=fMJ3 47T#Isy|%g{j (\D%=g9Wuw##oMT;-`&ނ|q'pnn#3ZQ-F,EǓ[cL=K{~nru)*OYUW "!dʑ|tY`<%@^1 =)N2rnQ *Ir >e)gtt* Jotxmm~n0[Rf߀#k!У')KQ ˚bMS]͏Ep` lL]`9-61>3\.O&eb5Y]-lJ&]䕝N-3֫"?ߨ{D_DE7A;f)<=w4U@ύK$C4@TwqvoHsVbB!,vk&13娔<&9ߐSn8'һWʹj9g@`FYX c> vs rcǃUKt7S1dq0\Ro;{]s# iISH:z)/m/v7JCvI?B>yZ& 9a/+a¯`|ҡTM3؅ Ϊi#C08 O,쏓'8DXJY4GO `0DO^UqcsBүQ_?C%W\1 PY '9b^c$esduxOxΪ6MZXŎ4L=,2>ׄ|nبJ-z9㒠 ʥ;l?;+p V/"9CEnaֶo*ێ\;]t<ƍ7XAԷ^/oE@a! $r[= O(H3r<ڈ6Z{;(ӛ(ս ;8^ld!z ]x2M(I9~{4czJHœdzQQ+T }8.s&X!qrh`Cy$rEiR5߳#gv<zʂaDbWn,E9T@o/؆gS##3 GmN؆{P#ke_2+jBQONFpd/GD qկi!p)Mc Pk^klmYWY^O+BW(:gۀױD anP`GxF_6]B2tF#P#bBRQA >c<tT^(Irm.؈+Tt6"~ a)HC]vH>ްFHk1iyx/>JC-Rzbt'B)%/ܒj%Rv 962_4ƒN)[בE^O4JڻVŷ@\}_|8,9!1>NtssH?lxx,zYJz^JuLgɾoeI60X{) p0L mE1 `V(ab8YO.`g~`VȞ(yl5_AG7*2G7,MJ\EOx|/7Lw6;Po-!MEgOgIwU:I¨i 9cIЂ,\Ȉ& _<&Sӿ(1Z7;MvWS4+BCڛYޟ>uVkib8<_no#? DduX.F3%7&Y+ȈfEn쨳V] |40`1u@i=ƺjbH~U}44V,nWgܧ DUȍ4UfJhq4ɨw.q-fghAky{W G,Aٰ(ffbg|"Zٙ%Q]>H\cʕWmg!/";K2mY{ζTuTm%6- ,N?^~s4eܻ;6UF(lv4^ҮgsPgG߰JWvId U8jgX6WxqkAyf59=;91xaTю= Bml>oaD`{4VZ0z6pl} ZvUoaK/ixY}->ӥZ.To;gBN<!>qҰ-='&js &gGh/|e]~JcGgQ,uр(`(`]6c'5{Iv4v?ww(VE~4Г'; MN=rhY7x,/(4 F`Bz`83,rh hJW2(SE5Ni줻Қ>v lbTe4' K7R˽Ο1\;oC܆$#RU8£k[H|팎F^6/Dn!)M|e]V(#ctv D`'KW`n"Unbo+5ad  6!As(}I3>pG_Dyn: ݉谹?X5>fۑHcGx5@:~GMS)x*3#gb8<e+̩~6A{1X,D4fݮ)Z+ *:I8ΐwq!c.wYk:vGEw=z{>DA颐$ THodQR'BDQ/wk܂+O./]4_9jv 3*mK#nD"Vb`J5ĸIWTd+>'$sy_/@am)rUH_BckScYّ= \;py}.%u1+V]82dskÄ(v{ P]%/1>(`HH8w#f+H 0q-H^]bu:_6DVTHǦ++P#n7o`J feB{O*d}? ,? cWNJ,gJ6 ;g2? VCJk=E6̟x!Q!`捻f,PZqQP>M1wqk?i%rBKr)W˱mI?h?Xe+ lCɣ&zKίO't9o2]2ll?go5^n>h׳8apmoq9AQ7o N{w7âaJ²r;nhF 3io4ٯ vHPlv&2N'3mI T(7 !"/Py,7BKFFx DwUWv7LBXLK)˻@+_qД:keƫky 4x @16 ^ zgKzsXh HQ::XKf"{l ah6u`B5I 0sZ 6}Ak?{=no4;M&0~0ycl4A`b)dPbQN3cCޒ.>2#b=#V.DB_!sM+EU&Ph#F 2Ky^=v@ucl_CXq啠-K.Sbӈl8&*?3mf/Q2&mRR\|CnfpeV cMT/ުO'c2v3!E4SU\D<8 wSm@$Xn[u9BQO8:tw;/z}x U &")[[Zy{(BAqD&>k A.0`e)6ss|4t45C:@&q\^U j*F6P{ jirdU &|snHAsطZLǙus]Gsd=~11#T:|p3`)A R  m 9YLhLUxU'坚In뭥/j ;"EH*m)wi羶[)q Jq@ g yGɷhb %e&D$\ę7.U" +tȵr_w>!jF7JH_J&jN5_I7n-:͇Ïo܆d38p6aCz/>gRa,a'm-Vѡjd!=@<@&\!~ψ$e.eG|¨g`l|EW2~LY,F!J}pLCkxjx$yg?o:YÝ]24~x]b,a;+2q/p L$j{[YI"M~(ښt龜e6Fu:]%՜b< eiAcIc߃Qx뽿jЉ`x-'^GM Y&oݶ-I6/:5ڶ*gyb#3SE `4Cum"]Q8nI%/K`k_2~)\L!v=Lw۠uQ}MBA=[F|1FoTUfY\}G9˥BaY+c|T Ȇ۸<@-mf\x IHdTp|koyJRjDυVZרs<H=Cm͌\U;#c,o"mkcj]լ^0nȅ N f @02Mey2$8@ mĮ\Qi -s=(A`nf;5-$Y-O.8-5 88)ZZMfᶇ'Zk՗e,Ha XCٽ3Y!#/L| *]psf(#Gv;I\N3?끆Յ&wKėB|b"iX v錘zKydG/ )x)ӽkQǓ |&(Pdq>iڸ!:gD9(5cٛHiͯ7_Bsԯ9DW" JRS"ru5Ư`jި0楁ڰy7M_Vq#u9 `dAfVD4VJv] ``\Gv-/ 䊏F}Wx'-?UO(D3/mҍJd{`f^&*CTdڃ8 iVl*^žN ރN7Pl;2[r6cpCl5el͵bKbGr kzIYx$_ ʅ޽u'{0y31P,h9 TYx4Ƶoww}bjGSZ 'zvkH#0R:#zb.i[_,ːލqꤏV2xj>j6(&˴jί{zs^4??*R=nzĽwxgVu;%u`g$RRc62֪tԺiRnJ&2њUWC );#2Uk9! sߧnl"Vro͟"fP줐[B=."إxnrSMu-[:®.0l7d=~JVGiCo1̎@rѢXƭ97hAa)|P:0eFL'@|l"Ѣ Z}N.(ݾ&1 鍸 5O*DLs5F*S#Ggp\i/p4iPJ^J:66B))0q>` ܙo\+3YV]kV9׼q=;|׎eY 3YHHqڧ7AV}p3xx7'uMS[o't*K'\ ?+zL njgeW[_z6;G\6 {Li$L">mచ-7ے<, Sj`gG. RJa0%X= {cŭ *?#rVFpD[P!ʷ:.1nim_W37C]i ! ,-O\9=)\+h w +^v]תs}e&1=+3v=Weo*\Sv.*v>7O3;}I9kEu@" -J6™ 6㺭 uHe~ z9_jSJ0[%XZ.- nUQޯ{cXdCjv"r˞w-( yN4RSt@X scޣ3Nc‰G\(ϑy)Nz0H\+4#dxZX'h,Ӽ{4P8ZGbͱLoI.wimQGfɱ i-hÞ U^sҀ`0#=f&Uj=!}quE]݈f94)5mھnP*+ͽwKǪMBv{:=D))҅ {5۫/1T\Ww*}YS8Maj|BݟpvScRmkl٪/ Ԥp<00;hu^nȖ\ P ؎X ߋ' K^1rrarI]~peq_LhG`uS===S|ʩ#Lkzs!nߩ/+b#D͗jcAPpC|f\5}(B_Cv?I3)k[2ʄo)z29>Aԛ:0v c҉e@sBh[jeI2եDu[hdzn'1 qQ {iw D&s4v4_Cyy:};IrWi߭~bK "Kb f> xM €ײm^e ך Zy$Z㛄%߮"qp z)F\-K]&ҾdfsUg~_`U G|VcNdPsJ.=$vԤ=cŀ:)mרRVżj@x/}Eaw'Rh+Rh`ajK6oRN+[G-|ܖ|bE_*f{}G ux (#9g"!1묖։{Sޝ ;9fJoWiOpe+O㓱;N|锄R'$Oℯ8E -ACcS_Tx޷؅]e_^:]LKi//};yuOChfw͔pzቄSz(𕯩R a[`S 3$JΠ䬅+o~d !jIh⎛x,Mr^ $鑄UN/l JB?bϙ*݈6.2 k.WlyVYCuziM~^yR~) ޿!2LRh5rLdƭna|3 ߔc/1@r=76~z*`{6!6rMenw+ m$Upfm:0] 3ls)"*'@z8l+̛PhC06?aK;m$AXOY$1(^bڄ42Ȧ"E6`g}==!ؐ,I@i|cv[?f9'ºc6Q/Io@ū4 BDR ]4slgx7<;܎*ڠĒڴ%] f~A(a= :&ƯF>Pnbn+" A & xD]ĄRAd)1"Fm ΁_Z6_n!x0'QLKLϋJP|I_Dڮ$ݖvEKI4(X+*&h`W!('8[5i /J79ȇm).Ϛu@z$ f%4'U3)v)Wh:Uj|,вTqg^Y:?_U+CgT/> 7BRZmPF#WhoNCeon4rm_`h/L ǖغk!} FxH} MeS_Zv^KApP? x01[,ɟ׋i{7YĂLԴ\l@ً T_jѯܯ /rotr ϠK#4 ӹ e$xԠ'3xu$g]5 :X -MUDcY._Ia@7Гn,0ϧ1̫-}` qWZjû;Sr/*Fݨ:I,' 'ϋU?j( 1Uc泴Nszs%72HT'ģ¥;.ܟY@U_xAͅ òQ}~#tb,4, y[$o^H.Ȟu|N6b񒿡I+w4'# ߒm€~Aʜ>%y{L\V,W~Jch܃GQƦWx٪[<m%{X>}SO7QfB@z]Ht5@S"i_E ̋ ޚǮ8cso; vTWtl\BeVv3Ri[EtwoI,.ivzKgO*-Q E%ǘ[Rrӽo(8;@6)}XъΟK m"jnUp.Gp!k]5v}> َ6`t˘U~I_(R"JKZ$O&KVn5+0i=+|!!r.4:lSKv! Er |a3,@3Ir+2П >iv6|+4Åid5-DM!9M,ᢞ}4ؕ dABv/2G+A#1Ft!p +VR4wSJAXX_p=O OWͫ#2v Va¸/Tf+isn(oVh5RC s}QmCfεW !_>bWZT)J1Cv;74jsqgSS8m_2*uHKeLK>m`_HۗצKKPXE5>zGyX[L8g<BAu5Ru [`**p ۈWH!MzFsIl DvbFe,XW ((-򄌋ںi6!OGآ$O j[RnŲ'wgؗmk\jdHx}n|e# T}'ɦ]fJ/nUlR\9bߌg$qٯ[H.W >9i@Lt1\i#IK2fɼj[ԊRKH^X\hH~`vTq"-&EjM Gkz!.Q}WDED7|۱sc/!t_Ss': ]PSCS LX˭ې1^JoDdWUjrAvވo*XZcERO7j[K Xw?jp{Zx]edJj*{G$eR[XecqT~Bg8rDY̲JES2 ~/or­{DOC}LR4o~NT4L}M޼;wYU(_0i|9'P1~mUW{LA獙4i(XG -rؒe#a&" ' ?!E <P(^&˦, -*Ij3/L".'༥95&uϫډRĸNbur{E3-GkqlRm1Ј/Vjad#mޠ)~ |{ H"HX7ߩGgcIZqTM5W՝ =+\Ḯw?樠^F 谝 O Snj' a̎<,#?%rW'Z}ll,;Lqꏿ]ւ_+4d  ݹX߄ I}qvM!' u3ǹ{yڳ##RG|oV8_ 4CdvrMF#ė*v4qy=fJvrēthLĸQgBL|SE:'"Cp;}Ƙ DmVWaE.[N-_*AWMVj`M ͠6d^c^}-Ffc^k9)uɞzs¥}lMՉUb9<$Ĺjmi"V&|@,-d4o jn"EvQemLe$fB$-jBF):;`')fį R/bK,-t£׍=0UfxQ$U m=AFƊh:]5I3w(`}Brr7JLw",!q2,9SoN-_}59R_'aA490wzD[::"Km }qgG1vPwWѐtss&AI*;s;~'D}__OQaay֭ƙY[l :86[ȱ?7|IkE4o?!`c&dib(TObś 1A;hZ $7^ mFkЃ{ t$ +לj抭{.3k>C{m2rTh$( ]I8r:WY ]"!.u5ѰJ99lvza=XcNP4ZJ4x߄*Avu54Ft{y+GS&idWKc[Gg'\jnxaˎ(V>9+EůP偆l<媄Yޏ֋~>z/!U?**,|2%"{rvm㥶;@arO$>rKE(#f{guEaklN_؀ϞDۚs=Y$yn ^JaRv?QXJGrD<Q4a6\QXfC0/6M]Br؅`N(UC@9<,Mȃ 5sPp灗$`z0\=ơNA4FAK輗 Zͻ~Yt>TɆwNƮƪC4c^᯷ jqCO2A= "]ݱ`>Uh"#0=kwcg&gfojqjHt`t?-7wge<Nإ*h]9藘QhR:9T5R^Vk]AQ8BqL5z}7A6~Jev*bo]p?loL3:VvHtvU؎'~x^)D gy=`~7BmyǤC{\Q|U%nC?PK^ÖGlwoZɇL5zGMHEbc5ȰY1K,~K0_|v]Y`EZҺ4kL\B!y7ݯSau.H^F4ꡘCbSI48pI'ruV/m43ҧ9r︎5ןsKzb) z2%jijp˸h^B_5Lssl1=9rb9WȦXJ*B~!ۺ^Ot L6%JN_B # T%#]+gvLV7V-C{Cӫ^ nV2!>2zA!O]GL<+h_,} JLc2GlptG>KrW Bj{J5<2iSWsšf<ČZ}{Teq*,Z@τ֏Mû mK@̘F/3ӯ}uW|}(貵v!?]ײÂ0} W0*`F,ƶn|^owas\i8+*"7uMsH4a50 P;H~y 8.O@ :mV\{`QW_~) 6Bfv1`{n!pؤ|.tMg<Hܮ/> ]̻h"ԔN *0G-I2.Sd K .bב0NT 3ʂ;{jfrlU Loi[n\N^Sj¡} PDNlQ4lu^ҹHUVS_t@$a$G 9҇cETׂI<{"+.@Δuj9܊+ ,=.6\QN.E0oG3A@N_ {ILC% 5f@H*HKvRzFY$Z-6j:ٰמ88&[5Z!%BY{.n[$ Wg܆6p3cW9Nvv2 E!vpΦ<4-FoY(mpF꼷HEl7ʛRVIׯm jj)\]{GscY8y\ s[A ±Ob =^вׇFnΫ(߆[p)-&LXJC1_8 yad i;L<Ō \=.9S:1  UL}\9m0bQ7R(#4Slf< _TQcgI iAy+] qeЮ(e+#ғ8st 2l(% / :{Q p\6656Ok!1-~nw\0\k(KXxLDO^X1 ՝y|B ՛5M=[;r葄,g2Sfے?>@dR"wZ8=aK{DY*N7b%9؞@K TBjIcJ@G;Jk}9>uX*[Ϩ!4g13Nr?t8׉7G(:d!S1jߢЅP5Y$q_cﲰr[/PA0E mspCVI w)צt#XuY퓙phP?nm+Fe$ 4ЫbS6]!Ov*vhH.Χ)K;VWAUg]OʟJaը-~<4,~g_w9& 02QGϛCsmM1SR\L8ѻ޸~[Żo"{/oh@2 R|B[ R#kKNt;1"ds0y  ?p6ۜMƙqd-^ D9V( to&'rFj@|KK rN4Oy %(<ӬB' ߨ\6׃Zɀ,rDJ DKyC!,7oۃdNΔ¢gEp&053Uحdv[g#ef2ꢰ5`&d ɶg΋`OTv+_<D/(gr X_j0,zD(wNTݞ`^Yլ:H+(p_()xgߚ,Ea@f@P)p++O kcn6tVhCh-+aR?f'2E=F8b[HRz=OTzB,-q'5팸]pF\3]y|bm2ˣ[Aڀl ^Y#n@`B{P0IT6agwI2DBl. "3̒~f 1I^{><'yz"xQOv`)1 +fIčB)PLɫ)6e|t{O!S޲& 1y׀W$Bvq1z7&<m[P.gH:qPy8?# 80~Ķ*&g)VJF,Q٢jnkd:,pZ."rɌD%\Uൂ'hgoctFEd= lGT\lvAp@Z :HO"Ȓm6;S.B""]~xS#eeNx#zm핤(*tl޾8)ؘF (ӿSr xϙJS*ry# uIO 8D6++D"f)j\ƃ,K(C&TnQpr嫴yg%s0k۾'ZG MPU,iWx.l̋|0;7ﱦ;84Cʰr/W Pb.S(w=kA.u?pm&K!+Fz>xЀo [׷+<<'WXkIL>BLj٣D \Rʏ+qjsUۉ 4QJcv8~,{cF)&!1D޻I޵T<HjT4t)xDw^ t)$\`0grsO]3pĪhr`Cw|6,y(Gq&Wj &ɘ:aDkBfܤ5Pf*&Qc6vH ^:otAw");I8kFr'cehXwEgp;i|.vާpf` ReڳINKy;#Bhn'/| .h_:/Cke6t\"k|8DyIEԷx~3 E~]ssޔť4"2ʀ:>ZScDdK~B=8#4Qׯ>5)Ģo`Fe3!/9&EҼ9ojt5d+xW42vAQ,FenSnjv7:)Ft4"draz5pfݒZoqP8PnFֶ$ȊD$-EiPK,F!mTO g4nkoTkEp0D@¥M׆iJ KJugCa5QZA 2pJ!1+#A kATa-0G ҬX27y<vYex1Q~3n6 9*T%UMeڂ8_0gǩ4Uu݌%@v!1f^0ass7F^Et`MHo -gbf.*yo0 3ܥ@R(Y^tw`4!H*R/˽G(ԵhNS$`B$qz-s2Jw|Rҷ -j{BعGc^r7d||I)\=rn3 1 @x GwWH RFJ}W.&M-힜rsέšemdf,*  j*0DctG½Y*c -TJ{6"aU܀`ԭ + zE ߜuSٌScY|mCg=A}\$6:Ӈ}ԇf`^88To4<T,_]>}P~GYo,Y vZF9z/'ܱSiM:9]FO d*bQ>UMi^$l?I3&2OgS`ʋ(59\碡pWڎ FEC#ldu|ZcS:osuiѧ ]4 hG>AݷRЅ0])m3/ zFU{SmlR>P5Јg?0}u!Pyؚ֓1ka"ZF fm8qf uO!&*ӎogUfrA*+.~fR;% u7B?Ƒ**(5ET͐L(X䩝hU#҇ އ9TݏBmRȯe>hSrwZ0qȭL0%ɔH%¿;D 34`JFi̲B*CW A~jJB bbi|My³iT@ٖ=x/|ek;[uZzbe.F~Llo]+#rnCjg9-PSwDvXɄJiC2\ֱu.$ Ҽ-jN>A@UYZs {褰k81QtJ8ZN4N2˪!t+qȅl+}2~)ͻ9U_ncsUuJo2z~мV̬%Q Og`r.@$TGDjgv`w|ݎ۳v ]c.nDQIq A$}|F=,>Btzb.w W3QT11 pĨa Ufߝ E(RDd2 #DCu}$kz6SbQw1VLN˖]UG){ nj+7k*:αGg)q;7(C7߇(H򼢬q!({k[α\dJdDǬD|xLVb?ٖʡqJ8X VUh6J-x?(Y6 S*P܄NnCQBb՝!2j3-DvTZz~D5U#']Σ ^G֖Rf"YB "{1~3_ơqnIWeOw镩zm 6XNȝq _ljV]!?Eը<;Uh/)6sWڬ< T TTOĥ%w}H@+U;s SޠʭW=j1h8n^1O5l,Lppo[JNe ײ_ucTֶnjk$Kwwb dc,R%>̚gWDjǗv!pẽ=\;q`"Amt:ߎ=OńO[ˮ'7hvHn%g)~r_%2Em yy.J.rI_MpR{aAsq;9|ɩPxT̀3FE'/Gjş PXQ*ZvG M^c B|I27\TR}~ 1()Nxsf EwN '}#}qw}A>ö1MNy+MUA%$T*E+R qi "_dY[AVZ*qxNg0]7PϞ/,? [<ʒᴽgb'OіfYج{.{CC|۰+Mk*5VtۃF+.$Kӊ4J]jDmNF|EgF2m^׈4}oZZ ' ˉg q_%n B4Ēoꋬ&{\_9D"HP\$ hi?ݣ3*T|~ shX Y8~ƊZbG2L|FƄgD4HS7$7C|y5)vݗh^oaWeĥ lR轮 19Ӗ7VcȈXR~LF s7;WbF A3!ٽUlPjW?E5bG/Ä J 7ˠ¤$o'eW9@t}0"{G >6e-vS-^Sx)%hz~]7a^h46wPg +ncY֓c#F;Fe/ψ ݊=>Wfr^E ڳ6U14\}ߨaXKO3 *YLFYFn%5 $bg|,m!9+<uPUf\LQ(8nY& 6tc/V@&p09ac1 ? |#'j:ly=HPʺ{iWAL/uVhBZDȜAEQy&ϜV&`2v'ӿOdTYm>(A2'J9: Mͥ%}9M,~>UA=\IJҴ挟%a0䱮L}5T0%y`2l] kw +iNC!e#†pDԳotJ h 4 JBQƈZ9 kׯ0̆_3  ej[;5F}z:ӯ3NQv|Dg+~GKQXGYSvL=+q}\d= }BePTi6S3 V{:5 ST +)4̗mˣjGi# owp` C͖[fG||1 DձȡI[ҝ%3]Y]ci6d*MNjF1?h*%o{EM=es#;) "jS0E14?Nf#h{+,in؀S[֓ة aȰ2lz]Kj;wW{A-FZoKA\9Ν:t4COm.>7<W ~EX }1&7(Te?uOb]! Eߩ?j㐯S7bKC] -e 9 7fdzy)ihKCX#sH%1Wq޵J-G\Ed0WI"VM?|uhu7UoS}ȉ;(cE3NJn\\'`:;}w;$GUBa[L3 $8HL_ϧ|o-oh䧆)h#W{~L tL f[ nDѼ]3 W jYbŖ4eG;` YmG(eg-$ڪ ZSA-ѹO v]'{<g{BY.$_J(N3Z':SLI\9E(io(w G41ЈHk?ԀMG8@_5O2T$o?mVgYq,>+ zlJ ];< u??op: BܶFkRZR2I:R֜AC%,ka"Eq+Ízգt@ GU}-F)w*=`Ufv@dB1;0Y^lUt?1XdEXbaM &8N;H;`FSx{} %(ZXk۸;ɕnA! G;ns榒1eQ2uj>l} F|$ǰl{JiRw'(7JS{Z7cFj۵y 6Fu Z8$6/y%煜f5ڍ=X._o<J%}S9BZ鶻/%*D9awk-PKt΃ӂ4 ߲qI J*b,F)=+Rdk.S8:.r5ѳRҔ>7Cz9'WJ{7q#=` >*Ym$ Sa"48q7vND.wFJ~   iƻ̙MMN(ơ4j(Mt,hl399Qnwv?[Q=2K1[~e0ÞS ^bkqfŃ4lb +>я4yzj` # 2ު"8Q8D[@}`h'_SmtH^-6'#ߠs]:}3ˀD*na5;R[_e>%P .{أe^P,ЁEqt 1Xb=b*ҒwڭO^n\Q 6#>][X@Sˮv9½>Xkx oy  ~"ypmGn8.>fD03$TR˾@fFyM!$(X7u:(IP{Ucp=mݺM<Ҷ3љRW-|qu 5N;SykqgAظHjr)%\؟A3%o]N ƿʢb:k6ɠtFPInkWcJV u6"5c*AB#UAS)|Y}`8ΔnUiuI 'A^_)z m |Ae֠Q_C*8/\&$.ه+OLNe-{e9ii9FȾi3o8j`~U^i /$9!:EDĬ,vs7'9(Ksl=%h& y'WHq {::\lZ߉~_\j0`vio/pgLzӏO.4>;lHO:iʻ 68Q{T}`_ƚ Bd Q65ej}3ɘ',9abQܙH0ԏ>h! uyO0Ʀ "|3()iDԀSZ.Ӧm!T BmD: V2z-Wc,$1j3=s e{hڪMh}^8 VA?Ϯ-Ő%/uz'C&Iw@aOs(@25ipzeZ΃;JV8tN#l' B@΢ʑq/D7}= ~rcXq1 Wl:hTkK Kb;E2_!1)G Kqf 7 Oƽ:u[Vc3HZKay!.m,ZDjaAXs,@FSV6|ꮌض aޓt=!"J6a3!\5-f6{t+D4'[0hǙyǞب` ҕ*aDܞ#p׫, r /D}@\ڝLdb>ޥE}zF5E!ɋjpY;]ffƴ5i _X þݷY*ۡz^1Lhim#(Lz[05=v%'L.}¤;}?⤶YFNXxt ;liX~wĽG?$t 50'鴿m$할}۟Krޗx9kX/jn3.}CU y^R~)?T<{fK/d'#7|dd?,p_ϔG/G/B1RQNOw{lu+͌((v2Hx̞ 浦,ȍ~`e#8ƭYNⵘI($xޮ)]$(&&ϮqG(ҁ 399r~ n`Fyك;Ae0P ]e9-mE>%!OfQ9aL ϐKtU#/6FR>+'ezFNW>U* ?IG;5A/˯<<_O$ϣLiLَQhegZݑ}P;!G|3& ʨ=!t.de3#cks ' ʳlzywF`xAI"MK8 ezD4LrpXĴ([?^r{aid?sVÚ-[栕ApnM0~Uk};Xcv@Id[Mq̭7)k> 3nSJ\+Mgvtqoɂh%m{+}<8JIEיɴ`yCnJ7-w-c w6)-yŹϹNLاJ\zkuX~az%tvǥU0A}c psCT@ Qa2dvЭ'z h:TgH\cI*(-腈=!0Ks^ U°.LjiD܏s4hK͎6;Fam?AQ.=Kaj<c# LIEe$h tEƋWP^7I@_1`K :K`]hLc]rFR«7p `.az1EX.ψ ]> pG# ~ղŲ0YrMi"{Y$`y?іlƞ\3kvͻ|}3YR"`M_͚`*ܴy$n*+iDdRDM|T˚iqʖ߹j6[қ$ s/Hvd0K@@eA^C@wEt5P{ִ0^~qV*ᦛ ԌL* :>nz&mެ8f^ ʤ Ipf`lWj.$,/ t4>#oSN~iܖ'fL>^rPo }ؔy^SoRI ߾J&ڢq^ɱ RCnIz>Dݱ8sHB+~Necp *\ 8FMKe;+.jy(.u-37i` M ̮LŁv Z>סiA,Ni 4\E Eu!b|^$ZS$ə9)I;i&Kab\&2Jkug4)Vۢ'?8hX*-7W 31jQIV7 ͭAI,|>B6YT(.\ o7Nݨ\-y*? ƽL|6R? P2MS .g1ZTœ;&d&Y:|w8fNur4$Œ3%+جev́J${|csD2qsA˳D VaJq>Of2ןQ A,|#-`wb11JG[ AC+J`B-TQW 'l^ nR"u:+$]/ 2DLtW!tB(7䳯%B2P\,l[We]Qϊ׻RJRھT78{ۚcZݼK1YwFpFKDJڤV?#򹄾[9p`.QPOm}q&OsYhԎ@ o)U2:ItO hT(]If NP˰zzYMcDD͇crDB`žK1jWC٭:Pz6e)+de >bF8{mFahThtjqFn>=h0tF[֍^܅&BN~h|Yd9{*UrM-@_CX.,?^PТGY%;QwcSiYyvob+Vo:k"~W'deӀI{ƾBEr*FsԺމHC!~y2 {Zn^,R)M!' 8 _i 8r{N1MN(i2(f]KMY| H ؘM'%N=; HH x3RT f*%)J>2#'F+Cg%/yz|;w~7O? A07o 7[a.OB=uf2L#|񌗙4+?YY` G_|jBm;^rn vO+8_ ]%Yn#n؄(=h&zl\mC, 1u+ZAgE+nqlBL4L^$*z k$v ^ۙtJo qN@,Fb>Wk7bԒgT@~M%B狵[F8AŊh/o J50O m;DZF-rh7[.aq:k2xҵgН|Fo'2b(_  W-4aԻEãRr8 BIdi'5WCgPvfCWqXX+^._Oo$|o\-2))oCaDK0x'k*b7Gkbn\x<hmqÅ5%Q[0඼R"O5T",[Ⱥ)ߓ2K(;]݌P m\oOSt(殞8/wxX 1.0ܻޓbBPsh N0H^΀ww͔Je5N=^&ʤ*%i f Z/C"j|Fm>5wKF\ ݞ?j4 |*+WaفȋE6. vGr5 + Yy?dPNCe`-C=[ m :!d@Q{5YX5%zg \Ƥस)Wgm[DCZ79;1_^'GK@ d`~VA3 AVW?`m?P\TuȥJ7spF(:(E8!'tB# t5.ݐm/!*ɝq&To!=%G:SLMObWq]%=|Md_Ҩ #Б@;QOpJPWv4\Y0#,ʉ"%vI!tn'ptu\TD2gC2^"jJCOi^܊j^+m6BduSjt8 #)~q)fy.;N@Iw(,Zײ@2BBnJݮ}яj -5m #?.f &cFbpW 'a[D.˗ 'T2n,`Q+Dy1(}M=vƼ7/aύ7u4{l 5˞ ^~)qcS1S@Miy[ >ϢcHU7x!Woֻ׾MNuu/,6cDVl =79rsɚKOG~yXop4J˨J槆БVVExNNiԡ /uVt4:H( ĭYtQ+9nlcrԉ{_J9CkqH=4=!$_藿_dmjXslX]x^ k %CG`qu;n0k, }2la[DF:ٕс:WMxJO}L>6fd ='M,wpVbFf}:AC7`ؖ!0@wM{6 Nҧ*رHTEЕvR"=ߟVsv kƍv?sۇ;{<,q co;Ai%ǭQTm}~hD/_Òַ^Pg873'[7:3I ~.NSU\z8Vܓe^H2 l( Ì}UkҙnbP xR]7!7Ћ"$#L6rX|TuG>;f/R4Xͥ6ߕEjaӫMD/>0dלE7=lS -uB+֪ Ê: `̭?kK枬LCtqr]~&GdR}W?/yM%o>AVvbhLw>/PsD;1i"ڗ};V PB:Q"QAݘQ0; z, M< L H'DALpBC~Y=\ܠzv_4؜녢EiHށEW7ۍT>&a0Tm7&[iQ\g0L&ٙ{ GգdTGku YEN8^ SVjCvX5"yov@C7 \>ʄ :?)Ц%d2!FoXQ_2/ e@"тK ;(n_׬~`Ph#ΝS,WCD F  pFM~oٔHڇ{RPv^_ZL6 gX+DY[ B+2g {"ҹJOIٮ}!pg%gT>t@ gxfO4'?u$aY-"S=`j50_B+&.dú Z'gBbW--83%IJU y 4Jbv|oK${:MNB(/o\Yla`שe;`rJwC7 W-g8ޱX[,Mxu6\QENPUe\Iw*v&ARR!>f2pU`A:!uDت`<,s3&M# Gf6V; UI(_o6$R KzP"|ZY@ 䳲 y EO_:+M>ArÝ1%sٵ2|:ÞMͅw(?p3p=K?\gma>XJ1 fm/Yjܩ zr}8NFl>xϔeeY c!Zɨx*{k*//OREWSf/0H=Yq(f?6$!ŭXc8fcR!俦 _m KSA55,5]'OvJyooͯAm ӡ( &IE1k/wlgӕ4g0xnZ׀ So)x{ˆkcQK.⹟gMF$IN mΜ΃siw҅>*JEpw?G{enB ,}?#x{@Y֎C9H1S ӄY6E"ncHF*_E(#- 2U] GiΤ:ڹoEltXC{h:_^MvHќe X=i z-)D0MVk<}yGvHDy,w$52/qa%þVv5ED Q2X;// QӘ8Ʌ_eZ&n`tFkAx)F@0gx)[ {w;^so,Л5G9/84O07Ey [5E=Fv{!z~Q}@x;۵P}qz]-C&}bUtઐ$QIqS\Vw3C_fl,$U* G-te`|k $;H^*%rF%`b K!ʥ]ȘNM'nDU[OOǙ_bg̷TֿS04SPf8J0?^iaAj˖pb{pI7 ]ˋ J)=Z^#K@50UAACAq.urԬ*5LLW&? é `'];GJWZ;])&NF|~Z ^LԗZT6Mˡ'oA_/fi,2;A?FdF +6074:;L$;,Em vC[/8_|pUɝ9Bu sBjLXGr]?|h>5naͽjXRn/q:dWE$o$ z԰RIYb}"+8vwBR'OV󒞉WL+8Uo\>;Ge*SU!d R7~~C}Zqg A֑~(.VGN 0@@CKZȹC"q&9>ڋjà.(P\\>J9 F jG9cd8S #ŏ l9]'V]^LGj,D7j/-J탸Tސ]9(H;mvo.0ݜ/0 /%Np8~=gQP['j 4x3q8A+AiN B7E4guWQ82h9-,!pM,-p:{kGwN=`鍴8f̭}8i/d:mbKBZoVՋӻpT/L L^+SIIIT TE:>*.qeԏTXsse|sqoqLi4^ c@`3d׶|Ag]x}䰓kѨ}ѵ㼫9t[I5c: )+/Qk|Nƈמq.zZEIlp*b45\{qEڭH%Z(+L0`v@97AgZZ+Oȯ"8g]s2:"~1V\B VR)4; TfwKEC3 ljOIhHld}irb0.8ڬpvrYe%$dO>iO`|V>hXX- }@2(:Җvz{â`DJVQc fY݈j,!A*H_t|v8u=J5iHVn9Z@(䡇(YWZ':+ n*Pe>H &2V:НSS!"ᐠ5~û .t67#BIrdg4\ߍTOfl`Igʀ֍quQ(yֲ&XH%}OSG-QBt ,ΑWVًRxCdGɚ#XŢU%Y~F4xFX%Vt$]R7#i?YZ?5M5T vƜe!? =m5٪\}\Ly&]rw3VQx Olb]E>Hs̤$& Pphc}ʷrs=];+-Q"6*S34c0?j%;qC-D{vϲruUG2JG{qN٣;!cX|Q*ؑ4QFVVZi78ezKn]*jWhN<=\fm 4<W_(Ѭ_ c #%y8:}٬(5«ͦ} Fqbެ{_ON6 sՕ T.Ts#)Ս;!))6qH,3ja;8'~C,-~\ ѱ@*/$G`p'-q~x*K9j_y*><ʘ7Fjhdp@/-Dd;1nOMA®鄨u~GQ-<R R-X&-a׾vοmE&?$:RON`J*2Z]8սْstnKFTVtp6wzYj\X3>L(* I[r0wMqyxHZ9TX&9u) B]w[!m_C1fkrV~'Y9-/W& 11Nv.@-KMX3lJJwq( <.=!g~ 4lCnm<5yvJ\aTQ kAiR, @uRcB0#~]JbOa7pmIOG-Yo삵x ܤNw"R%bqX\زRY4vVvO^řHIrN 爳݃77+pgOSr'Pz<7ZEEʝM[@E郩[q+=5 Rm#ʽ"- IJQ-4[SfxRM&}qq&uW~v Ԇ*Zc}\;sW$qH9Ԩ+;gT_x(h9B8 5Z֎Ġ3'ua5Q.vkHm4c"}"傪~U& 91 @T2ł,,]!|cmCF@DB#x8U)Џ+zu;a$Oʽdנ.Jy-LG"<{:r-!:=K¯r'{’'&7 6 G\ӶGX͈4$YH$x&=~9h|LN4XׁSVBQFR_4*.g7)2#OktA9B-$7XHػMtZg6e~_>a+ยvBրpc)U*',K @`&Y1^my+5s`/3{m4Ga}n?IpӝttxgYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O A]Άxʆ5.f-9 rq9ζ_N&#gD8B2K%0P)=q,t h@dJ`!6MkIg d,!n[ԽΥNU =uT(wg=+XeV Yi;@CUDW. q.W|36cv4k%1 9T%,(sPZQ;㛯Uʌ_lwD2(ϣM$slE*(\寈Cͪ_R֬&O"e%v{C;9`2V$T8فO1!Ҷ.ϟh+hQ#p@P+@qlm\i^ nMѵA&۸gm>+Fc􏥻J\?&@TxUfZ񷃫^a@$խ U։_KT^8lre7 /+'H9r騳0K*ęfZTq$ oL #t5+żr#jṳMQM¤Ig uY.}Has阫oԒ tD3|`$ľ7=e_NTeȱ9:%_scNA}6u v'ɊmnlqB(T3 @֪N.׏'w~rU/:FSs[? M}O0qU(\TNXӽЎHagYZސefhf7/#Jtԅu;3ϏaY$Aq]Y)NDˣw{`i;g$bۿC'],V 9فvԎ+l͖O gWmtt"ۻ߁~K|grWVY_3jRĶyU(4TNʸo9nnjn^H09:SK>&Ȅ?Dž ½W ٞvHh.@.)Y0^[?3 Z> ~ BnyQ"ag?Q;Rf4=8q\x۔T߹eE 'OSK|}BE eZݍ24)R@c(zWksf VBI96 Ÿ)h# !ڇA`Ya!$龿_\*MX3 HW+A(8ZsĘ,Wvnr>;4MگU8?W^p!{!7cKsC3cCetm;M.J)n1iY/4aYJ~TGḠx},XQI󢉤*Ȋt*u۵0O3kŝV9 ]:m3WSQz}yYEϦ#,;_,zorDd]>>VY pd~cfi #]jc'Ed+jA]Vr'NxmG* = tnMyk8 ~z2: s Z_Ie# E𠁀{U@ IJHv Z5*GId(“W*<2Ptf"&>sFE [KP?UW-,r$9a#ר-SO-<8E[GP]ȣ[wkumpLsF t) %LLM!tG%J~.l'!:ubvq$k4-Ol~պ{ kBCP'k劻e[\t!㜵H+HW wG",#9 mz시t>x#-3  AoAU([F,3oDQ'PdEa.T-q/<;f*\!9B]ԍ#nF"o{ ҠkAOcޱaSޡѡNjv<̪\Fi,kƬ36i&h]avmI k}L} p0 oU,;m%ep}GE hܥ(J).o7sB!KQ|j6:3SmwУ),e$HIm#YMQ0q0cq`9[,_A}Ȑj<{hҦ~QMtK>eP*7цkB,R5f_iJeNg;gpΧt1o3mLg,C9X.jW|^>`^rV3+(~5o2i0&)xt7hxqpSt`NHj}葥mlT1dDm_1oI¿c "O" arx,wî2w@'rf_mS&%>Ϛ #gYZ S+# \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 pzrRi p>j(HO(FHEr˳>*%񋃒z{S JB}.HESm.z eBā*RwFf(]w;A{P)AB jUtzmj@n;Y.̡nT΁yRcK(~C\X⑭n9P *㷿2 *S񥞎o,fյ_?ʹM fGBͮlf}7/ZBs:{qnjD:R'liu=2JUqֈSʊLEN4. xm㗰{ 3f2%n˿ "74V hho'.D3q? m,qdU#rRRScTv0%o[B=zNu`TǤ 'á0DBU}$?g #7pJdaR <Qpx,2 J8;j<'Z,]VR!#ǵ7q"wԛod:TuO೶NǍy.rJVX}gdr,46C$fu>[(mQ=Fêf`įlj3zz2Eo_NE{fTv]4KiWj`=@? JDie,&ݴM>~R%/3MܘğU=K>ƣ\+KE;(wZ85 *jK`bn1ޣǛRʻ%0'rn oYQAPi~Tq+5]ۇnSaxL~!^.Q&I3EIG:-D'Ju?4#'3wi?nzQJ)ojY;Qo{gGٝbԹI^y"HOєTmlTOS, Suw(tiKD6C\|+^ݪj?e14ňJZD(G9_Dq[3,؎I%O|ֲt˻In'uG=DN弤Yݫ?##k!d^D} _ Ȕ˅0SA,Ӱd* [`8O3G&E-{W+Ufm:k"> ]?_ ߀d 1cF|?;שpvw J@ka^}DKfߙm SSPߦ.pMY^֙L@R&uϬ)RH}ĈU13$G /vg QeiQ6s5 `ɏ{EJ&W. Y-|$׽bѱ?i@9DC{[` YܽhSLF|Kv*H~kXI񀠝 䫢$D:7"V0,*q-4QZF zRB?g#ՇFܼmBڿ Y3K֡,Ȱ4OX}#@hvFwZ#Q[6*U,`taHڠղ$1<X^Je]dÉ@{ ćUk<| FgȧMa?桙|.L>/8bVY >{ A鳑C5q <.qLn _lau%N1w#&?uĕȟKWiRj@/y7+k5vU(Vb`h {`AQFFkYA*lL'cR7w6NmbyW5xsΞ:ݤSǯ<*tYWx;5q q^N%0 EX8ci'T˛Vxåi2V\>֐U/3+Y'Ѫ06NR<Γ%oM;|,ISh޵ k[Mc"` K<[ ӄs ]ܻ׈FH:qQMD,b,Zw5#:" Уs‚(/xbN+IvI]:h!9vzoOþr(˥Cb ) 9udQ <汔f9 KMd.ز98q ܾ5U:$a'H\P^g=5"6A:| Cl#W*yv`bfe<:y\mf|~jÜll*C6{ŽzX=6ͤ!Dw//*ݥ<#2 =~ĄZK΋KˈXVR6/~c?~P˵[I|KǗM != nYREfNq5+  l 2 z K&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ׁ-||aLȂP(iR~wGgUѦ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$:bs,؟u\j ),'K^j`ik!mÌR\Re=C:7=榨8 60Ԙ͡Ho ]S,l$\^aX224 X4xL]#fl-3XO 󀫶;l=öۮw9HAe4i?YP+ע۝)3e/RCh:aBI}'NY ӗ So(ܚ /[{mSG續_,' `#N^T}L0QK#UAb%{*` *[)CL/gf&ђiKgۦ%=R9k߲"c-)xWwHb1|^\ `\ D0#.σH@N/tc1p,6$z]J|oJUC%+)w2/5gsd ?V@9Pކ Бõ \Pv1WqH%c/Y@d,jZ>'dP+t^r+&9 oGU_ gLءf[Yʓ=n? 1"|QɒTr< _S*pv́F;1Q;axEѦA tًDz 8Nkȸ2_2ُVԫ5j}#)(!e߅=`IQd/-Z9٭) c*-wBnNI?AT%`qw 4f1ԤlhN&m!rlXgV<=t6̍[Fh((șۏrƒeGCcH\5آ01X{E`e2),}`^8q!aJڵѨ)Sy:y6*}[-QvަUWlhZ 0/r`)S?$:K?l!m1.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' TZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+$]·Iq n[:|&[z&B}+$2Z2HCsd":F)ᢢpzM8'%=ʎMUrwnyŏ-3Ÿ E㸼_7 @Ļ_Hg32lR)%7+}ʴ+lM#ꝆV*>;_ YƌLIlud=Z}%X{B6HC?2~̈́Y \`I41/2mPMsb:&!7yHTt=U,ɾ1QïC >L˚BV2HO6ݯfj02&ǂjʼ#LHnjv}ը{ ٰ]V+^IpsJ'ϡ`*e@k3֢;w(|=,ѳAj->`TFO?e` آ6xØW"y7*Jo 5]`}6tz1d8s8o=;B(cj r>W3O 55893jm|iK%AkjLL柚34,[^z"'bǶ7= >TU\id٦Mf!sՀn\N.4C-1-$n!莛MHd "ȥ\#j$as< 2<΁I4Ce0r?^/XJ Y~^L߲瑛1gCa{D|PJθ[$%8`/1*$޵- Ak~3Q{CkqU%.>i0҃V8h#1|(V+8#QG19 vDϊ3&<@~.-CٓJqTܗ 'Xb}K#Ǘ#R{+iްAț^W D3@((FUl fρ+u@װHt<.xH5F`TJ۵W,u]iX/>tx؁qkz 1r'=?#Y`xSZaO'O}#q 1żY! QS4 jO4ܱzԓFlw}Qt OPUۄ yxxå7KR5}k4~߇vߗ+&5l;vg)a]eHHU .=!<׈Ym @9|ݽj C5?QV@P/d\i2¤^=oTdSK-R8UDR S60L{b;8< U'|ݺ)VlIӡ'd=-kX~Bm`>"yEBiqj\%9B(<'u'brٿJjnǑLg0PNGL4uIuP@6W~^JGL^3)gQ:2RUx[c:VèE,߮|J] &Țv?:J<HVj#oٳ9[߹@Tq"1YL}Zn9ݰ '8\o2ul?:j$t̫zxk%LÏ$}9 8 t!B+Lk&6>ʀrl/٬(n ߵ +xQ|g#"!}M36}г{ѝY<a{|v%Zb"H@WOI',`ay3% V!970eqqQ<0 0dx,QGodIʆ e'8uE 8/[?yl^gȬv]&Q_i>Q hEWy@ƸVI!=*4GõQ``{`;.E'i@{_Kd+$N'[XVz0*7I˗A83=Vk=G>lVp)bL}~5,#Z`E:a;`l%!iJRs1O`nї.RlhrpFK^x\m KkɗN1kjќL $Q6@w@&0JM@ZI%/o.ɖo?5I}ZPeǨ_R|yIY.sM?圄cujjwKJppN;Xp g9ǚL#!".KFu] hIeX jKZUۊ<~G0!] _Bv.KdZI9̯}y([ P mm:6-@mO, 72TēKK>آh^/.M9&pF2 |P3r^eLj__)-$E%q╴r+sA=6ɋHf`Wm=&u:x]8=\Qc,]N^>_ܳfͧjndC2I*?S;[Ua[]Q13(vG5pqneqCԹ.I`w"*}wJ\OhOs46ھzijB#b4DgZ<6Q,fQ*l傥=5]CFI+:99t9W> }qK W1ԺO4"t.evCtX]8<,n9CAr, o¸'n'>9bl{ tWBg9V*sHA .7a&3lgXA(CؗQWyQz䫔<.1_HyڌWNw2-Ӑ+oP[6Ҁ>zPdSvE~ h.3!03SFT5|e b E*q>(:}F 2|9]M:K=J?d/" Kw24/XSqDž`p6fĝ;;$15u.ĵ> eMQ>ij89;,E# ?yٛLSp6F9nXvt"XZ$$>bE ]{aLOh :*m{iXXF  {5ኡT~O>X$QXTfe{;AyT+ߣ{Yqc57Q~J%&=MI 2^wNB CcTzEOA>͢'KCdGS^9 0-BQDJ9~?owwP'u pUq;YXMz|h"ڔoO %E)X2y%mt uxU[m^VQ5%GWPHKɓx%!fSK2H·CLQEFkF8&Xɷȡ|P"R +YuIdIBUzObJaNXƏ >,6> 5E$.Y`W9#W@YeÛ30DY(GCG=0H">U<CntCR5'!RO_Uty`کJ>]V1{>6ł c]\ g3 95&z@HCY ?(T}(5C5JxC7Ej  E0Rg㥣7c\ͯ7fMz"CqZIPd6K9P*~a Cnh6}(m;pq QRA;ǰkOx͖__hٯ1&#m4"v6{ S{.j-8z,m3Ojl4yڽkb;t,&UCd>_:7c2 q 'L|H{3BW狭rqT*Qo]0pRJ_M2{<S+eYiTםrǫ G1A ܗuYĊz#!:xM4`b K@p2p)z'4,X1,`۸\8Rk XXk$9"R\Uf}-LߜԃbJyصQ^o~P~-UuM8k%+Nbτf,5#TP&nk@ 1$,u"GT \kScd I}5hLz -^V]xIoƐM *bwWgK: It-9uy":43=ы:ۍ@ 8tC`!ߙ TdWw4BPv1.6:̀[+-G$2Gdm{A$@W8{ȹNUQE6vN}KHmc2zAg;dgM0`>kDzxTQg8M%S>94d9r3O~S;CS]?hbNME/*p B]!+CXd!ǨD3c;UE"> i汽["(>5ԅ8k^SyQm]w^F#}6TK}M%b-}>t~D̗G#j:d'}GMLl LL@-r.aWо*X#%?uds%FաƂZ`'KlcrfxX< kF S6uZ^t3$;`jKS/io@y(ɰ]#>٘kl(bMʤ12Btv0.yS_gkWycR3CsJ=eڝ*WL,o'Er<2Жj.9qX7TJ IozDz9#t\V+O> u 10>cE$!r w+y:y{IƴWvmOvAA:_|p?de/P42fN`jwAC%VmJ[+b@{"HB@Ԓ9<"LK6W-`Ylz/Wlר*b}.]@sT8y,\8ZbS:6GpQ:)S0]`[/M1'ì Q}wb{̖-nYml{ 13nC b7ox0 &基eX{C/g%W@)Җ/PڮvzB9 9q5jQv-AI1gl~Zc]3"D>}Dz?Kރ\S`G( L+.4YRf(A ?c#ekx[O۹Tk"澙V wƪ(Z P!^s &{<S~!/]A5_Ao\oMe$Jckcr&FZ_gEoPpgԦAQK%m=J~~ [ JxXwHZ7M$.;528\W횵 Pa G/ ijsMݨFH%&f~RA).)"pmeMHXO `zx".F!x"()m?eH*]o-E!Oe'> Y.G^`/ž.Y)!{cZ]eCdGh/-~f!\Q! 1g<9~(Rs=T淓VUEG0)Io I;?f=AyHCC%RCBT?Iws_LiYRƙ5'k>鉆C{{7՚1ıgYZYd)S !#\pHpt=OϟZ.v>i7.!"|J_ (;@cSNQx/`L b輄imOɦX6PmB޻җn8Ğ{%i7\(yes}O*vșla_OE(<[(J!$M[1@/hz=ܘTOD>;h`9k-lH~VIMsO[sl,Ce--ɱnPݘ^4+P ˲}#«و" }%`3`hY0='{"q:WRrD)_&V7tfX%G_o=Kn4 zZ /T6 PDrSTN< x]~F pAt%;vh |V384ߚԁ]h3)τ>¹ĦGlh_м}=-਽S%\ufE& UDۏ< &LmcζQ_T&*<:KL ߴٍD1x:`9a>3:p7tpdR03½{:R;ܔ\-Q:䌻U^,Е7fZB;KmL!_Y]l]DH\k?nwp*XDaS̨uB&~zT旾nuE|˖pdz\R3#d T5G|b)FȤ\/ypn״4cR˻ami/HYL)!!"KQ>q ~8[g{ʯ:8qh"\3C43编N"I zWiJQ;)a􆀒hXvhDk0YųGV(qv5ceCn"Imcts\ } :RJ"G/* d:&`tgOvHJd2~yR{RR <|sˤpyF}`LϾ\nJfv:{?9./cJ/#tz2c|gr+x&]6'ǵ ydk[Q"aϛg~5r'IhY]eP#no&HK!Z^zF/ܲHʯ4[h%]oS -bOrUzkzͅ/ tD'5mn*$-!usr_3G М R{Y=*Qc,{ۈ n! Z<Ꭿ>(ݎ3I_LIOO`.6?o6Q/z`x?ψb? ^E!ۂ!iJ^X( MC-q ,g344 Fgea ӽgnwʢ7hQ !(5WWonL -)W#{<'FD|ԤTaAkļ$ي>D/;S:Af䕭tZ d+\u\#q%W3fdX&O@)D "_s8|Nam-Qx7'|?>Fi/4M2BD I%=k-vdK>$g xi<"?JZ90px^ſ1wY`:ж/b+gV wj͐g([c\ "Uqb2-F::"L>A #"dՃmmS 1gvȖ*Ҷ7X4Vnf6K s`.E~a\Eo/K`Й;,I٣C5_\H+[ g~G#J?V(X}#h] z}NH{8h^U.GXSXf 7bR@ٍB)_.ݽ=V PKP!@el3(3#L9)/_̤zNhwn|/9ف_Qf0[3D.Ŏ:&w)RD/mqCxCznG`AȢj6AP9ifN&VzUj=u3)W ,v˾ʤv+ x 'GC!urQlL\S]2Zjj!TƲra(K[W9V؆̵%bC㼃?ҭ+ugGHa摝^èΣGŤdF  2@:d5oD'@t;Mk6$w.S~ heaKmY@X\21pɛyySBۋ 9"G=7Z< sjLRGwՕ^-4/jZM7#^ ɔ"0ސH^fi⯏Kum&Pke?b(vT4[78؟py:\MM-(2!B"]ODaV%b gbFЅs=ifAe}3{X@R;WCF)ޔ=QZ+?Ui}{rXK;f.]"~h,~ { r+NmIL0֍hCymTӁ+q4HǨ6v[~ C.m4kZqCώv{ưŤC&,iMD$_롋Km{rb#^e~ O5&sðv 4mٙ5D5ER carԏ"P[py,9ZLv/g#dmxn4cxyHʁ\clmJ=5/>սapOA!NPټc!,LI;TY/q$tnX^ұ(9vln DfR;xyT .OM0B AyS3wDy˫xH\x;+)W+-,o/Iuu=vn&L:K5t4σ$6\O@%GvYf 879NR2RUT [ǹ {Ki-dn*Tȵ!;9 8c)Q: BPӡ#UOP__Dqآ3%^oCsƱ1*B ]R_ n Px0*Oza/7 ݛ,%ac-]S/'cb^\Ufy1Lh(!E[^CV#"$#~5l!ҟ9Vx-øAl(xy 7_GL#E?f8IWTK i3n kEU!$`HiT(}>[?t82yWm/=JDR~l%Xw79"#5gYZ  R   G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108S0/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nd]·Iq n[:|&[z׳Q Cu$G,#a zҚ1\,HEU1/g8I\iEFp૆xx,S=.jj,h{5y2JٳiDU3-Mp[ cA]yqkx#h 6XV@G-Ϻm/?P{N9;܈m6&>m"تi9q> SwHUg6Os$dv?GE?XsNGZԻJf2øieVsq_nequERIO륎LSHid&BI@Qz 5h:i0Rޯ:TNx]a۶|J@ugܸ::ܹ#SEw&h8 Qm¬N 9d: AQ9̘Dv:(O?}fʊʎ_ lEh#;@J T2&f^};dO A_g~~6'\[yGvpiJlҥjު5MSn){/qs&335ILE4;DUE8)>kzhEՒ ]g{ۿ#R8h3/$!68UwwMr"h 7sю0pE]e۬\eqeNՎ7+|zzh2L 9n@:}qu!e`NwOh$Ȁ'e?d 2OiTB xX ]N#pcxf֠BOtTВQp]gϋF0%YL@H8| #O[7εG.r,x*$>,8>vvqۊW2uRY҆iq# NhÛ Б!n3Gx.^v$c Ž1=utEкudXRNz)vYju_ 2q R0|ua)>c5'WV7Qjۊl,4p:; ;g-B_ 7EkZr%auޚy0P f\h&Du7Ֆ'KiJ5fn.H'vNs;|FBN@ p!D73373K:e5X^CyK#BC(y2Ȳ!,J 2 x8 ˍmCmQm rL~# 6^Ex7:P}^8@WDf꬗UivLk"ֻ: sNޛ4* TUGhі2]nWt73nH g7DYN@+OH 2gYZ/ /# 4ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA]ˠ)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+W [.AH!\kM*jjӳ&œWzX/DiOY>^\Djw2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98;,/' $ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GL]·Iq n[:|&[zٰBWm(+|I .JodOεZ !NF D~ϢUa n!@^~ж% 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\`9X/"cU03͂'wFHt/.*U/$/X+p'v him4ZM{#SMm&s.#s |W ]b]}V >3#:0.N|5˹?L̝pg; vݛ'J1"ER9+I+VHuܞD(-DT ڧy+dC#Qq|UN䝯(UF sӡwlE \J!)^EX_s!?fV)1f8F1FF}ûjEm(|>-;n70bm"TGhiogXPpӉXwƎމ3]!2GKnJ؞k=h|>.m6] F0&g@?dV{a%Nղ28T@쑧$"UX]Ts轟eG/M-HvY>D9VjFBy>TψO9l%vbU`hg 8&@g 6ol'\A[dF@/,q31st|UA#[Uɐ"ݱ$woOlTZq肶=m,GQnDrҢuBr-C%[#mz]o>UoJU1{ 6RTh P?'$ /Fd(,I(+03эke7˭z{c3Ӎ>e4ItUؽ+?5fp+[lu}LE Opk5 G߱R!M8΢nqTѐO$3L=M8U٠((4!VA%.U5d#yRg.p |˘MkdK+뾖VQ\[S f W5|'!pІF %}qcmQkfU~ 4d$ a:Vx%~uޅUZϩً8 ymC|mˬ6Ct~?^h*I?8qhl瘂Oȸ%Z^sS r` wDuL+A|%q'c!Da% I:} ƦAbJ rBpJnE]q6]f Ԇ YQ̠lƾfLFw\_EB/&L"e*'!8Oi&byk)RM[SZQ,m = zxf~ݸ@ ׂ&V %[q b* iEqef R+TԎ0-1HU[x,Q',f CSCdzRTj6w[l<\X ]hAsjWC R3~LIG BcjMy1RGݏ]N:m>g<z]u `@"ٽ݂DA%}Ա8V"idp\,J)vk`U^)]XFpZre=طf՜$}./Wٌi3⦻p>ٖ{7!XB\M뙴N%fq[ɕE;q-%|ژ0>yBTB;A;~@9CfMrŪ:~t]KW.9'oPT.b#BB3n̼D R5Wx7c۴8ѪLIn&{_23raNu޻]cY琨aL )A瓺7̾p^Iv)>[oåQ_h XoWJ =tL#Y۪@ ͠ط0VU7͇*-8=#k-52RaY{#!py(LKנ}.z<~7& ϳOA7ۃpsatnXj$i]IT$~ rxr왖2͞s.0S1UezFyr~N-Qj3.rpP,*MoF,:DΠYBZ+v* &-B G=x +Gwc}SW LCjY π^Guv@c(<"1¿ jj@[#Fc(XB*ge &PFI5ILkt*smAni Ÿ#'^Z:7\JT2(} {/jfSÇjI&ݔTC k9X{cT-gLٴW:`3`-)tw%jBỀ,1TЎM6Ta_c쯮,3lZ:nUʦ#vz6rW6s̰Ɇa0 Q jE5X' @UA f0?Y iS"D:"15@-JȊ~m}b#x :#J4,3 U(/ D?!ю3"?^-)Fzf`ײ"wm4ŷ܀Q7T?*rzyU g?N(\sĤB->s9cǧ:͎lmasQ 9bx,v=H/0 ʢVڲ Ye} _RYA'W bEg?uN/3=+']|' 2XOWW?uNbm%S 7"u~Lq0B @z $2 `7 7}{#WW_ܑؓrd{Z0e$:x95RèȅiryxCԜZ!Er<.h:?MH-SRlbS͇L$WmvbS/QI#3e6oo]45B,}'?Qe])v YMSb* I7Qa1ed#" QOsٱ`QFHeh 2$KX,o-H|hJFYAMbT;6t8^W=O*TÎ{K1rxKf &^;Q|-`bjN|ڶ&E-l<Թd[ݛJ&Dꗻ4qDQ"44a3QY2wll94uKs$EeJL$"/9a&|eqFrQ4"S,ۓswFCuk9uÕ<6%YLʖo1sw&Jx[ (d)jZ5ݓ>$ѱdE BC5b5p5-&{f$ti} υk\3n %8N|Frd۬x#3ҕz;! *"m"gx,ǘj4~+wrt!ԭSr48+Li<>/Ql^l.ǻlPF@,ДrA5ʗ^حv[V[/R5wc[;ufy>>}*`CCfbse6nd<Մ{v blPؾZY0G$* )[ 2ќ.px^SIV~% ƼVbLYuarYdCN1$o oǺȰ~ib2rHӬb/(4TUI`_DݹEƇVB~< (|E6)L~0Ybj*Wg=70*Jnnh٥%Cs=0ҙ}ۼNnQç5WrKni> ~uo15;"15oN"eI7D! d-}ъ$avD#0Ϟo/de4i7ߧ|$D~S#&;Khfl:i >mTyr LG1-.:LKJ(oa5)>U VI7fvo7H@I=V:p1IƘFx0Ra?jhz=-LG!4ZRv<pl,A 'tq8dqN#BzmtVN~K/'kY1j *hG{Ib ,̪33a[>XqYl)qZg)cwZQYz9ɔ^Wٔ0~xKUT_qw"z 8eBkU^y2zv).b0fL9_pR;2Zamyootv؜# V.,Wk>%/>x$S^#NW3 Jaֻ62j5b8lAY*nm? ^}@V0WjuE&R<[+a4 iSg?q̻д[ϬE!\biV+zG؛ZԚ8HAdؑHsY8 [C" B܏n/(B'(s'j=2Pw }!M9táUBlzj{%$I5m#IUO'XO@*pwGq8ؒPDwY|̯l_xOJe1d$m~WzS.O917 &.gv0Fߐo77r'|'eue]ۙthɧ)?.i7޷i 7]6@(ݘsĎuĖ3dm~Хu_-l>!49pZ+rIyW gFR]ή i&֨6pv.an{pbSƞdt#^I8(}2V6AQfm,29 r} 2: 2Ҭ#V"!Sg9%E {+{N}΋|T]k cAcZt"=n&$~ՒV~~e\&ٱK{n֒ 'T7m~ޚ$}$ׅ- dl,=3@Z 0SI'ӜjMFia_I[n;w'Mlc+h@+Њ_b=H-- A,֓v2h"NP{1;M҅y;r{t5$e# 1&03ruCvM^=V[}].h"ѓ0߽T6z2u61(#Tiۨ7η*`>0{J(_WeHX_}V",ceM=҂`Wm[BbHc7 pZt<Ǥk }5[Խ]'np66IDI n;M U{ab'+. YmnE/q%nP̷B"ӴX3F/jbdw᎝ V r0 Mj5*TQe~93!?ԗ{`#q-c _/ľi<(YBK'gQNBFҸ^ P6ºX6[V4`OBxd_9t5S=(d栲E?7@O{7]9|'U"畢tk 501clT.q7~`Ⅳ2)E⫿ s2D[du ϩϥq-Ob)~aIT w5@Ȗb#ah0.(Q:i]NBhD\ތT]뗉`ȶAtPGZ-|ieSjs(PJ'lv*0]9*xx E,C U7c'?i]V!da"!=W<=Lڶ!*f7 `)Ԩ(r%UP[Pux_-:n`+axL+[?XL7T:czNvHLNۑq$,")5=44m" ߡ?^֦WNL9oSm W9csw`+2MY"G&RoM c.}l7ʉ>9oA>ɢuh:B0N7x~-r^:AdNvrqaIS)gf27BcoܰxƈW[ ?<;~WǪHhF. 0LˣT [*ei0"SO0CEKT^mq[Bt%CɆS!žet. x#?+ŀ,Z +QhNM E2sDۏqjn< \]: LP"K)d'cY5pݍ]= sN%cSN.UO;y~攀xhݦNltQ5@}8"ӡPpmȱnQr.q+M5;KiٰaCUTVyE\oB=uc aƔ:_V,a) 6`4~tNO.U{# wHLcPwA ^n-ZlwNllں7 s&To^$\3%)-2X@5zs% 6@kh~ɣSes'n3~/_٧3lUC & (/dx1X0b(Hke~ b'\؄lޓ ƐY[p \Hqv2j՟י:ׂj?ߵBF">c}g0"9?<HCzs-K;zAW[WOT'e?de(,2;?u8T׈7B$õ%]!]Yb^8>nL ir;Jפ rGN'OI3K5wYvNe&aE-7;&ĹoIK`( Gi(E#z^$.֔$k | }' cr/OI;Ь$҅>*FXՏlS{K"rnNH?*HJ (HJ5*"C֏FĮA=mִmUrXPIF %|X|9Y,UGOL4pg^ hEO(DOr'sW(R]dQ:]O&caO{Z;hG*G I3_&/ɺy_u[P2|ƌ6)'BDqcЕ9g:NWa"(CaBc<Ѯe9OWf^O]opl ؇]} L4xtXBGMx yr\#z!]m}tg(T]GP>2M1Ont:9H)gsX'wxEu{ ĂEDO&:JȂBeQZOA$2b}8# 'R?^ Y?7O'Fbe~0ׄ=2 @tKanyqy?[&m`" rGM9Eĕ(-fFZzԢU!rS ‹DDMZOg _xZv97 IJwx E>>:mKsո$"HY1In߳nV! GV6vP|¢ 7oT$(oj?Z09=p+VYPW08nlEѣ}78ve;t*+ לz}grE-%,Ϣ  z\'؋yBu嫉AeF$OmMhbcm)3֝d|Cf}_k_hfO&1v~FѿJYLE p GL_7_9f0pn5uzNj~āg x <[d` bJ&Jd>߉q M/ FVc zapWleSڲs>WH (CFZYG]A= @^UXpXID٠8bFe5ghEG(cKlGDboܮF5~DoGg-׵/)yzK]Lۗ^9|\X5bOF y[`ZV(\g2]'CKGfq3/Wˉ][] Й6=Qx(!Ec2'kBRh{>UW ⹆#HgGgွ %i`Msr;ٻ ~IHB_wB!L+J-^tCar=^K$؋H[!=+eo~FoURc-t +),w  ذmp)>O{9 4dDzWqndٱ`%˂lIu[k\Qma;p±ujV`(b"<2IA ݓ\ҥDB#}LC+nY<š gc#TUωؾ QZR칩pf!']QCE_(%g?h;='f6VD]Er>ַ9nM.?xP<YH*dOiij Welc|Ln崚 \s"X= ‰qim0%>˘ 0~wdžFPeeS4Bϣ,܍Nf%Sc0㶑.h[q0\ >#HDf/F6vR D!!| 0! !Nx$nwUa o[M-/P2_S?Vh8rrʈwz@WSgliF q ZRh:5.0r@!]A^Ws7Cܾٝi~U@JRW0;F`C]/C3͘tC&X%Ħ^ ()ZqkLt-vhg GpTrdQ1D#ZjZϫPهʲ`gaֹ7x_DX*}[À,@ ^HP|Ҟ i&+2iK.V}r\ڡ4rւʈ>(TsLcAD~e֠<* =| [ OyAܲQ{I5F~m-ce J}MJ)TȼlߡߛCqYz0 qyB6\LT& țkA[=^Ԡ3-Ž4J&C-&.%ߘ!@o 6oSx HRA&/@GgH~1򹟶c}Lԍ\Lrq%ц%}^ W:>P ^,9L\I.S9ڶGTd_ n$}g@ ygwߝũJUw]  YKPAFţyv^uhGJ%q"'Τ3 pS\]U%BYFVh.+qW6d! g #tEr D=ڠQJ>.k;ܰa%j6POE; w3ӺbWj2. 2Gχ)t\@RnĴ5n< 1ՌxFЈH1V[)Z"H =qЬTnIWgg}u۲ĶAȌZkI3y״l ۴r)%b$r(Ϫ PRA_ >)*f@o_!*ŋkEe! 6tύ*sT vʥ^?xNsWejCPv1ށ]d`4#[~ t Ydc)K*, ;T57'^ <h3cPq՟[p\( F%22q~.8=VvΤ?DIpɬs t{dQځ"@= Ӗ6Lc,s|9W6ٝ]6CgЪ3tLY`T5ͯNb oઍvs3%*:U!#M[yR=*! l׭euPVrNjK2;4 in?`̶xDR=Th`G`\AK|$lepL7wM#6u:OT2*,8B;+htfjN<⡩UA-u)Aʳ(Pm/d5nq2`0Pv gǮ<ޑq}#|XJ7;ޱ6{ސnW6]0!Ѭw5Kl<aT e J{d$%i~< Ch6:uAn=7O&FdiDzCfI;DUoH%X5G`SQ9$y3l-BJ^*?%8,Nݨ~Z_uw[=((/ z ˜ FNĒ8&nX[jCM =E19_yPUlS1PXrxLu2>MTȣ'"'=A]myÏQ-MsnshZ0>&"YeDNgFIiM4>;+detp,/@uz'=v~~WL>pPp5#%XV/#:uVhGeCF<~8N9 ߆:;ޝ[GqnڈW[06r JalW\M )#0zM >fەzp\.wE~3a: ƽ/=YH\dU&m:9Ʒ"UGvp!8&>mu7[,ӛp:]n# fÃr tJ0c Y ީK 8mAOwQ,; ǖ*f~wQ+η<:(HAdOVL] 1eh?%b@b5./iZG4ҟ+\m9(r:EzM va|ED^.O塠-)B=”2])<6vU J&lVC:>󰯁v6a8  e,K[l>e}kftv"m'27坥U.Ҟʵ+}:GJ/a֪h/R@bn]\));H$X[E.|3EhN Ǿst8dV@YN\F>*xµYr%)+AdsEҗ+;g]E9i{Y褓 ƏUJ |v&@rKm " t_~Tm/vTJD,;Ϫ-b!99R]ӵWaaz4Ǧ/#msBZJg26 |̭.A^+YjP$7=;Db쀮c<9[ 5\&_E=H^R%=PmxWTK 2if 2TkC^ڻPe%2) ɷO:L=% 8.[ ?VӎMvaCD( ⵅ憖^_Gdɾĩ3َ)uga;4wQ~ XE C(Y>7;>Y)'F0t \(J'sڠ¼b1՛B3 ~$P[oAp*ά9\WB2fa{dSشx"jˆH]mr836ңK&^d+Мj,B"HFi< QnO2-#/755PIrvݨKHflمXj W?t~)p6=q ) N]Ǘޛ*ܝ1 j/F  \pyMusbe,ۚ qY*CLݩ.Id+4ִԁ"[HS)ku5pZi`0Ҕ-!5 ɨRFɃ'*}LNvGJSQ M9jS*sw}q m-%ҴTjf:9su/z|ʪ:JP0vw\0&tѨ;ƴާp)raN*Fa~M+5hA)#a0w}jGhZ2 |}1 w9EeFxБU QlW\Bl'c4nN?6&)-AoؒYuy]F+[`~ obScHTy+)߃^n=OˈPAPïj']VٔpD[5;)֘TcՋg|lt/ l f)sbx&6MtDDŽU)v I!_ܗecG1gi?3:rҭ/=:h XsͰs$APRĵ?]#CG&kI~&/L/ RYNnڋDrnɦpNX 8s~9^,!y9]*f u0ayQ#UI$^-&11ݟ7N4^kk&Ŋm`iь@\1@zYK~}ar_kP {h&O+"%[v'$4Jb(4]L2(*Ґot+;Q1 Si*x-sę S Zly:yx>?.`u1jDa*[_LBkہRjʪ5>X:l8h,VvmPj#TLD` ]vdFE&=*l7ii~r  iqL0ya>c*y=K8Jh,u@ c핇 `ytօVHj1@Hȿ G%p9z4y偡%|从7Yydu?_(܊ѝjIZn pyӽz]tW{0lPǮsuM N&|uE]ǜ9*7FFW KΖ@%C#jͬu$o jg]D D'D8 CL5Tߣc=)OcU3y 3ڶ1N%Y*65v^R`#It@L*MW]|'V&9:@YVc!b&箏!K,hH@YH  8iK2ha`,v CQ>Gw $ S GPu.>#eyv.]'@;cbZHqQ;ϳAMRfNx t8ϡ9䬧nl@Zgd̲D`⫹G=1rϏ0*MQY x^ {fعv t(C{X2u aYgD·K: [++=FXE`˿z9u=AO@ހ xxhs|RXGe#@8M}#ȋ?\  =vaWS$ߢ(nx,u46ҔMVl7nA-Vp/iyeRnL<9:F`^J9T Ydn@ekF4}Zt7nᆫ9rWd9$u; ˟Ok쭛O$$xFXߟXB bcf?!?(J2.;֋n|]r=v~I 'W [B>::OE%Czܥ~J?t°8K v.PxoDk6 P€ݲ1`:$?Tw8SXwM;ZuϰW4jmt%#LSPSxa넊;}$RQTxes.5$#lN`ڼsI^͌iNeJ;AzBzįA. !7ȥɪrR+4v̬ H( C'sSWY5=;^m0gY 4؈;d,]{O+C64H6`s31@5._ɦ2w4{҃Ns(0ߐÒJć;{5!|Bg/XôfH($B!M03 F }3u])*[/kI?F6.fkw1/AҹpM] >~ph:@?MuE.W*2 (4/ߕ;)-Ƀ0H|]X0ˌE tqĵ_ *Cx)Aejɩd pyow6Ѕ($tj@)q=JI-JJx7Ԙ|ckbLqM\yfIŸa,FJo6 S$\u4[KgSS8ɩ|HNč:V"pExO]@:pI5dsՑ^*4 |Ӱ8X$qb$@˭ж\3`g2>SӇ%Y"q!:{~rĄ\* q3 +,Fxh蹝}*_ASsUQuz(En_NkpA9n6Tѽ#9h}nzt#g&{Va{;Op4TGdqo`8 |I{s9 Wd:>l} ;.Q~BZbjZ@t[knDdʒN"{4zRL=jєl\tMZ&ZhYԚch0|KY Rٍ@Ԟ@p:*>J+DȊի1!uDw:1)qd&~*c!H'm(oeuӣN!.mCx2d%M\YyG]~X4{Zi#^M; 5?Eh /sPQ{WDa]YOvzPS:"`^8z D:ȤA;S {kXKi+%a0aiL& odž0sйsLe$NB ;#F9K8cҭQ\ÊȳGbOb*"Z<:oږD´ƈCxicnm8_%#fpL0Ub$e3tӃZЫ}Z ;C{+Zes RkH?7{MHtj_\ɲq. S-^2eʗ}3vWY*%LڏYy> fI q^%a/#(%eW'n\t-**ʊ꒟ٷx$>fLB iQ6ƌ?yg%jXN2~}97ej2N5vEsGdS"mAa8wD.GQQC>.0G3-Zy{;!wNVT硞hD.fҟs0x<Km}q&͉E˃\rc] 2/9"_Vkk fB_[e+e  !Lf;UuD q D4 #T19BY[FQIJ2]extޢy@A!k{bKDre8b򩛚!{@t+2Ri$aBNy0f*a( I7_W>s.VI9fkDVt@\iuXKbDPCB&CNꦪ8WMѴ?kFE|\LV&(_ i~ϑ: z(]h%/aLQ< Z0(+>~$KXXAKU/4I ζȹ@Lez%b"P+Xx}}e!~D˰ߤEcݨ&1s{H#]̚j=|Ve+? hϵMᔓ-s&#W8#"BpJMnzUFG J0#Ȟkh.OӺKD \Q7^ ()]ѓbB$&CL]ămcaWh'(ʹ?ۊZfaIGp)'C84aׯݍBk 1LWqS p.ryY]F2W __ԙr(H|7V˟xLf۳f\b0=US&*'6|c.QE=2ػR<.3P}Fo ̱ }tC\TgV+#<)A>$!Z,2pa ҋG?Msеv4(.K ëW?aEa; sҘbI\ag|62KfjsuEt924:q$w(12L`QRŽ5kgh +pr?%mEjuݺ;k֖557Ѥ1PFJ]qF _1(z?u:Kd&ոBXוʦ|)1| .=AAJ!*@fc؆Fa)PJO$ G˓lQ85: $Mȴzٌ=\2Zj3y̐Kiy Ȫ$lw^uVAT~ǔbpb, vmnxm7ʟXxf畃3h;4ifPyؗwF7-a_V5kІةMsZ = V";LO/fGG hUMzdW+5LۿɅkV9f # O眈tWv ]B?@!@ ZfG(Ѿ>-!CJ=Q * ^OBn]\DQj[+!=F2Ц }޼C>π|R敫wልeۄ+dcXRX?⤰Y9a7vaqKoLȠc\J̓(Z{׎;]J jS0oO-M9D@a?^mgǂz1HVZ]C[e%_ 4AV˛Tuޙ`ZOQ⚵9O-{B`8gH~,jH^}r 鉮ܣTPgҀ;30whf`,bRX`=Eu*;3U r_PpYKzx[ɛ+GXsx"X*#?ܢ'LRys⒖b_#=^kS0징/`{;Nz`˿j{=MmA&gmm5 _d0#!Θ^/ΕRFOPpBgHpB ? {=m~0C5U ?.O'v}DzaXP[;#6i4Obv\ͶR_Bn3ݱy?y{ J0H'jn zK5 ;H^ţ6a Vh} ~|,/}mX7WN fN}!rߋ6\&PeM߱Lj͢ Q)J }`K;FgfTaF2]|0az\I q41~{[F)}7%ߧrB(&''p{}-Z%•MxI3b'N=!c8avqwp}Y k#mwWѾmŽ (Tvts}Ihn(%<܈E9S-,E) pI~4G)8:@Vtl=R<3]QsݼfUT"#T~u_U-P)Y_s8;9f:>q^k^NT+Ktx 'zWIY `y ?h !6<:筙2TB(fiy S#&d^,zz6"SMrlMn"29X1:Os>lDEQ Iz Y/M܃%7e rÂڢ{2:bu N+DMfL$+:aFz_"׍^d9 WDdj|FI/#)*;Toi&3djowRI-"V2U!P؄P,,GGc]/AѠW vX ͞5}\ " j<ϻ"cPjc?yIT9o=uE-a_L`Hx4t&Ì0PhLB"!IFe. g( M~۫_*w4;t_ 肨xWi5FR2ՕuI!8iޯJ<6y+KޛPJ<rY-{ףWZ@` [I;5ZKԬڤ [* J(gWdH8EI P^UEm2U."n's]IHՀܢ$lʹO'P:%4zJ[W#`A2:eT(>fų~wjS?Ri%NQ ?1i'TΑBj˜^槃[>8‰./V_O0%|1K|%t Й3Gζ;E*BjYyMH&:9*~^[4U4Lf8 _@?+h}Yf0]l xL4K(/fwKI 5NS>B#)et)uaul;@GR|nitZA[P,u1>OA_a,h;Ad ) SRܾ؉DzdYExvFP5 Az2=(9'K@ Xd>tYXv?2U $1DcCn/MC]AziWf2"[Kg1e?(qЕU Vtwbԥ*5[šp\44!|fl{v"aY?:7tH]]ޭZ n+Y,vtoEk^͞Ui=V6Z6.gϗ7 VYL1a?=J2t@aCFO\OJm~2;hbv4mɭjoP%8}p J,ٮ`q bysi#dϮBc 4|:\ 2e=+?o6%PPlbS3BMA*~t(U$jmEΟӿ(:~S>{ot`K6#(RȫZVP5OJcZƂ>KkU5ZGς`̍6Q0Y)FP@*/~xA<f3mA,[u|yP2.FUܠ6M$noERB]7\xEZbw9sH@^騞 JR')~6x88Y!>n#%fnqbzn%[n~f(_7yZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N7]·Iq n[:|&[z|܋K'AW.᥷2'h#*Q r'>k/b O77.גDt8q"|)ChL9 |rB-[4Tt <@(o1>|TJPF+2=މ<Mì ⅛ r$jwyb _f83Z:|]߼I-ҷ.нhԤ.=;bH H<sO$Zkw6˦PQny|kg=".>^961ɹe+ZԱd*<g&S?I GKn^Hpo#ch1HY~51$kh3'E{$(Nbz~ TE'ą8ܬ5=߭LX_+?~ cgiS7Isϒ@-)9GӼR?ÍsJ+}sD-x66Rzd}@ȯ~$ci`\DHm.ڎg}* sv5Q_VrHך s ']!!ȿ7ڏs /_qK srDOJs@DRF9*2 { wֆŎ_,<DXf/ͱ:#Ϯٖ[۫fѼs:"ឬgx}~ITɴx)pwlK:ћ!3TµMڠvC)ߗUPr776aÑۼ#CA>t&+}yy趣%x;]KEuL7mywߟk'ztZB6Q [[VSAhhF Ð Qh;r9L~` ؁x?1Mdz0ϼ9QoX15Gb90d#g;G٪3d~-x@ű?TEA]MCK[R}mӾW,&IkЀ;K;wڝ±gYZ;)JZX.X (SрX9i\h`,|"nj86y"&`lʏ[&@F8*>7fƞA9m8Ìܠg0&sAl ciHDW[no\6EL Pa5U,LN#3W*'@_OبC*;&7#H6usS `r2/qDu,+f0>H$;mn/ۓvF3ʩ =6w\[d5/zM1xE (}]EZݲ9ؐOFؾfd4xcqߘ@"C;N8lL 2ۛB7 MO4 d9iO&E`[v;CkDe1+ }i#`^1}6V_ҽr:IA蘒Z:D$gZ8fM &pt$}^\FkZ&͔=z)NҶjȎ O?@ȏ6!UܻUB3^hH)[]@*ewLsix0f"W^̫h."0=,7jc869Vˍx%Ŋ6;8qjX3T^D]%Ĉh{@fm+mh NSL@'L 77] 35 ?/[;\! v<"[25 wG; "aS zW[7"i3,{[]Cu>o<@0qWdW Q]u|N܃y#ݡ(wj\@>7r%?HK3I~$81"3IQ,۞!dݿ,W9q"&#fxkxD,wm)$*(,.4Bhh}b(iO t鰷% 2ie<+낪 f`"^;dRpKrA|E{{"Gb x\*ƐѐIO kudhr=,ԿP&&wd?tAD5AӏĦKѿ#8kixW%"{mgVL%']c0:HS\+Yd0оyZ-8aP"HeD=rW0NaWlU4M9=ow`M#30N3<)g|s`瓰@S|{ӖJ;5A! ~ai-H/֏Y5l_b YvK\8T9a! ߍ| ˺h;{-1ʢ0GriZMUDج8%`u J{{\0ב+oIC]6rjƬrBBo=PUE5F45jVGUPښ.uo=X r 8EҒCSS cbhQs>!CN &S(ȻȄ~ re%5=zmQ(aNce3K@W Pt@DJc pu<-,ŏH/gZj7'N%bfMi?שPHo 5B[Um95AA5 '5lDU{ ݵՂMR $1]9w8 iG 9$qI\QYY,iޓ>i Ii(@Jl6(1cxq;"r[ezDd*(^E% A v@U.J_4 ?dZq́ T"!RDa::`aR20h="<[;yz~aO`0u%ìSX2+灃0qCQA-fPPXhz&B9{2iPfq-{è`GXluq%"5)"طW@{-S<S{,:w1Kc}讴sq"BkLk9W0MOLI;Ŷ㤧b-v9OA h \LJ؂4)$R۾;]E^M}7Ćⱸ,uo b>Ҭ2Lg+%eyqecyVQ ߆nG 2ӇJgE 9ţ¹&%:z_ ]CȌӹV"eX-jM} +.*hD" {F.AU*Ap($Oêk"ߢwL]m<6=i8ijV^!)>5f̴bD,* {:ϗLfTվIxg恊 e L=9X-~ۜwJf/|CjҐ(4ڎCɶ琿BKoF T\UMb`o8$YB[:#w 㩻|Լ,CWZ^F9t[FZ̀.Aey(wGS;h&T,u4ZXVR<#+~Fxx T߆EX]M s~ҿje' C5)B h@6i3?Ep~_y^iqg#t`Ӷ"Q4k F&bS(= h$a썪-f#~ߨbnV9!@_W̙ݹ: 4˱ϡ_zJW(WR}ҦLCJ")/N8?">1P#q%R@_qѯsa1&_:W6] &ɋfS<)[~nj徯핌&J\X-7q 0N䊗b<9~c&{O&Jj"ۑlsUW l J]P?f흼7>QYOxƋ-9=C&-n/J{ "r:cb9[UOZID (}Ry$3N9чp6Ox|@6pIK̭L;:-+B$c} MU9sq"<!VQ=ȳ+1tO9Ɠye#(O".8?:6{3]׎-\Dkt(X;tE0OYSTx[T̨ZvF}_F )#qD$ _)/GjJOCxʮM?;}rΉoQ3e`|c %4l|cQUCfy)pˑ24;?!T!BN'wBQwv2Ϧ Rw,g_ O=D9 @5Q`sk`ZVuIv(d}Rs=y֒ #}?ZjdmrZ;:^!E4MQg8zȜj f,WP#1K~PC.`j޳ɒA=o s?zD܃FX: 3f emN.b9խ<"1cHk9vߵ"\82'Z!'J-) /=_H,D$2}qk#c] wzN[gCz!Y6kxRːY4'Ip؛a8V-x+/jEkGpI}"3;*Ye%[af2E|D&j?I\@ga0|. .jc!fW"Z@}G]BmYo9L4~w-;JEsUt>mt-D`}Z Ie1w*#%!՞F1l+"(KFh }V ig?i_ޘhڸT0E~r1Y}kL7VV4~ع37“2lljfITY#R5O6׉1Z`#<+@{Wfm%Z.̬9A(["VQM$.)Sul=ȘMT}v#Q6wQ37qI{/'o2No7ݭn?u|ƛPѯ%]VۥW.t6w26̩ ϶>͉߀[m%Γy^8YnUVZ^9ႏۍPm2f~0erUD5hIKս 6[BMrS)% U\ vָ)=oXㄮc\>:0hM)Uat*RGaƺQ 1>6cc5Nн/&i2<'t堛 ٴ Ԍ27<0 lx$^ľ~W)QGG;n5Z yFHcYY¥ছ -\MԈѹleqwe.K= C]9"ǗK9VyҦL6}cpc8tc}FBL9ͺS'=_|NlB]1k*7̉8hF"58v}VooՇ’6U_SVgYZ YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_Stۮ0 <Ɗ˙+{5;=$~#,QLd̷Iϴ1z~*jqk#U5,7CR+h6)kfj7`|ܦjyGr;93ly2uyѡ \d%cTޘ&ѫCfY/y_0o:xxy|DO sy_Nܧ IC9@܃ b$ALRۮgYZAJ k4難6ictm~KjޔЬ x딭!@vݷ34jgb7P?nKǕN7XD%9‹Li Wl8_p(g 5 0[Ec聂{6b{4b4X]/}d NMK5޸ q(V慀B,j;*crSJ8$QWCB7jLta~$4,Re]yL <>u]]qOӔŖb>1J!|[ >sw$Z5`%hEكI:#ᥠaS ZpHH|0 8.觫̿ .. FQmޠk$ A$io=aQeۗ&vQ/nun y ]_m Z e Z߿`Sz\CE]R=WϜF`෶B.V?T8ghDW- Ռiq>1ML8yay?[6l7{4i?ͅ*}@}F+ ܁scMD_XQtjO9G(" Zx)@AԾ91ZOW94!dw.e4/_dwx}TrXP'6VXX'CVP67-gx`"TVK SEh\ Ari9QZT)ftptm$v#z>=Ӏn1?+Ll+{:ޏ+>[y=oKF^OYnXIQ&w;~Gă@׿[0Url$FljuėxsQxm?QDQFsZmՎe*VW+ybS =;L&+Oȇ> !6_#w `Yp^@_MC wGexy6~YM%Ƞևm =3J C4R LVsQ6uG`זn0m'X,^G/nv&Z׾^^LOE\J,I'BqAS+yuJRq <+ aTd9b Y# V7`"!BT#lP/Gh|G<EuT{%j};,)a'ٰ8ʊ'5w[t1pXWNҋ v8 d\$S Yba;G2u !מRvo$fHaߑ7uSɅ&95H^Z7@";X-Sn.;5u-ۿM盌ߨD0:fa A˅U<$>Ӗpn7f*SB7q1+,ltē9vڎB]e;AϪqYB!3+g RQ 6fZwsnH)f[30_YahR-{'d d)J?ܞYN`4 r#u =HW"Ú 6_iTxI$RUm\&!]RP?%Sfmps~/TŊ a<2+|yy1i} \DMIH,I6qX!єyB5c9$(~RI9*;Qd]Ch,_R D)'f'ߛ:MEwDQHHN]wuXf n eV`nJO`" uc$@fqƗӥ2rEZKf8sq#7r@u{|rlyP'Nԫ|J-r2W:o%y40Ok CQq}U=]("Θѯ̵*hScB,-f1,O[ez"m\Y^)wߐlj%M78uYT~SFZs6 v# SJX3,sF|( ~#G٦=F:!gB#PW"iMp3H!)?60sB/*|$cQ YSJu}K1 yrd!6/Nl4r3T:FK܇r3dÏ+!tLo۱sbya_Ar1x1JUAw'foNU園?*^sE=6q'N# 7͇Nz/Œy+%ma6Bll͗ ,k.hm aYAUUC *Rn#6O+mvPآ$:VZO&\+'cW7T N(KpQET~>x(mV6aKJ +{TJWA6f)Pq?P٪a[Z&iF`D >1V)a.Ġq|dHUBA'2Z͡ T3R3jVIm#,.&VW`{<D&n}/ ?r k@þV!ڎՕB-Z gx@ w/XR5}Aߞ[P8v n/6g4ڞt{@"9H{"!!UaP!PY q)۫<<`ɭ`B;{gc/ɪ@0A1{![8Lg8 MbG[fM:݂dBO  :3.l9i֑͢i:Th!ɬ;M|RWy]pFVjQĤ=4%Sw\5PsijWHlS=:/Y(t}+m"4FM\#w<Ԓ^Ânv Z߯eꝈZ=T?sS lNڮcH7M=% )H0.QCfWb ߳ >8,Ê<(m \]w As0+&£sؚܰ&Gs+?P]wȁ̐3lGeX EhųA™Yr13bB-0&, tYL!~tKywГﭦ9P9i}(d49ÿqئnqRdqkXXGl 6b̗ZpYJ#:IEZ٥\:EzzpGyvs QM^y5Dx|<}FRB)y=ߺ(A7sDT 4oA}p_KҼxof?@`y8rn\:Ud8ױy}Ƹְ2UrDcu[~u݅#[0]53;Nu`xG  ݢ>.1La xK.a~ oUQI|L(sP$ _Cqi|."yNL_J\Q9wSfC[iepBEPQ fC(p=U(2Y+ӒAI)@-oy Q}QTV —z!u? i != g୵/JPOS}^`;F)Gìܔi3U 7[ΗuNB/O'WqLz׸jֆmr?XK_".EIel~QHAF(Kd2cmU@MZ/6<^J-Y^y+.7M 5Ֆʃ&ַqijr\rJd&Zktujn(GS>>2 UZ4KlS5A":x~]v?9QB_)d(hʩ80^F}NKsm8(-4p::30nfw,^ ޖ WsX:Ҫ u!wt@mU} :#wJ0w1Y4 bu0m]Bm*$GY0'c';Tʱ69z4~yEN7rr[Pkx":xbnv hshˣI;˂.B'lS|Wk1Qī$ZCZ"yQ9pO78+jFjf{| 2&RюZx$Њ@nsWM{>T,6uN9naݞ0CnѾOp_OGX mBFΙ'zԼZ̐]U[ҬW-kg~wa-Qۧ2q6@uq6獹䮥*n0hީ ,ui] ' PjT+S۹,/Gxh8FދO Y{"9{!sZI_ N=ZT| oI D t ejT~;l+W Ob:I= Gb,w5jZhr=aFhO(v%QoE)Þ萂$X{qLg}ALE샩TJ(,̺jmv?9 ˬu(Hl(V%Ǭ#!yUtrh:Ԑ+K /z14ujQQoaR`K "E?~5g4'y윹=(<6BqrXfM5\E9Lzk)XYu^՟=U;-7P `L`3 5?};W?(ax؞{þ#Ws j m/( ^`wX+lFIx5@;mY{>O4%9p CT"wܑ4hi *@l&1lUѐQ#51e%ilድ OQ:Oa͙1CV^(RyG<8^)½(rO]H6gnȶ^)$M8< KX+LeNuZV@rlWyq;$0 =  H  T?C )# 4ZF-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܋3ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' TZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *."]·Iq n[:|&[zw;G:xZE$:Tec[~$+#>t4ꇿ+} s8Ww=/>0 Q-*H<\Y393s (6vޜŽ>Ʌa}*rbH8 FR@sH4o۫yd?5tQmY`'F=|}؏ Lc7F 1h>nnWD{~Tb5%/ȶ(c2Vh@9vs?)^<Ȍ!'E WpjZL x=k(AGZȗhZʓ# zj6NކѠJ:'CxC'dGz*ƾ'N|joa4kC+1yBXܻ4?{׊1{rEKsiXcFR~Cnݷ}T`I=ʊ2) RҴ,ZA3dȜq nwl3NDcֺcdrA].'V`B>8*:;ҭQ膮쏳7>82O ԗQZѡVK2;]OBf@ߨhAD'9\_ϵà= -j E4VP UІ jMp&JsXqKyx/$v^@4F}OہG AB)JDT&bXgYZ? 7# DZF-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ո~'Õ .tB4^k&|^fsyjZ> Lt\~B}'Kɨz&&!F(5FxB@ z;۴"Ɏ&;ZA19âI略73;od?Q flBzWҥ(MZA3UY ׋)Y@O>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! G]·Iq n[:|&[zT?!:yq >#Ϝ$zz)&MmQO/jT1Z A&= ýmKl3ԝ:23b:*ftĺᆉY0;6׷le&7N!^Winܗi JǷK  zr^ 1dDŽ?_ XGUv{HA*>sXoEʺ%߿q=5 Fq+]!j1>)f ߮ F; O܈@=1_H'{ Er?Z(O+r5hw}xKlMre^MUA4iU#"O:iYIJ~]崞t#rIh9'2;X_M3ưyGߙ[I^qO`lLx&l! _׈$hǥ:3^^BhQ| bNa8 ݀.s<B6e.dQhD2ģ&ƅ⺞cx]X de@DCT.e1z=n%{S;ʐ-nQw)^9P2'*à&&+mXA6R(m X@WO($9{G 7cT&7*ϭ+?4D ˭ :q*ϥ pv_m*P`J1_DѼ[HsmCJVQ:%Y_>{W1m~ܦ%S$4x/H 4V?cVg)6DZgYZA@On2Іqsh|t6@Ss*nd\,~}Wj~;**UBfD N8br āXw{~843j)Έtr8>/AVWguI:_RD8~Cgַ.ZRqMbT: -ʕ9W$M'CZ |Қ w~%_Fϟ0;jgj#_"c\.G=vǧ杈b1w0houJ1| :SZƬ)U/zϖ-غb5JC2UzM J% gC*;2#VaTߴ=  vr31HKDb&e=p4*0vA}+)8f0ω=(2k$ŋJ\B&v85@϶}TH%`ēC[qF+p)"9{+v,HVi'Vf]4-[v+Plq9?7sp^4ش4@E R#&Qx>z$!YD$R6h"ӥ數,KX"@[=Wl^"=m[ C3&DoIŹE?7<\=:DY%!9zI1e8{-¶A]9\0TAȆ#SE홇X/QgXV1zt}#ڬF^P|=oFU6)/ r:㴀e|I|0a5R܁F*#rqھ~^CT~1[y\o؇_ɬӣ۪lE9];5`F表H~47T:a$> \ލ33nC!/LP0^.V`D $V:O>+\Ǎ(:w KMXd9Nbec 3WK\uLlN -}x8rjmM8G;*w,e>#X*!qq.R`-81X`Lȿhݽu~҄PR(@EB=j0I1 |B4/gpea"s8vKhG-~_F5$p NRԭfm q' ڒo޴ˑ(u%RLbdf*1"&$ALź0YdJ|HՑ$3MBJ0'C7kiI)+}Qq3= r2 ̒\h ?Ptc^:5)He LuX.B N,ˈ278cLHZ#r l>Uxy&v)^{]^_Ut)|.9p3_V%y͔ޮy;wpHp{JZ@^\(>Vw>u%MpN>ә)8My=co2}g>>j+Mƿk]Ae_ EVr#ʞϏ:FV%y gaѼ F1N#s8ڏʈ(9aK˕VgYr,V7ge|APaLZ7zj8(ԟ)e_}iHٵQqc5&'Pl^ߕf]Y-CM ḲЅUPjYŒ `7km-j^E f>>F[O&@O/| A:xXxMHPmv(H9]#2ߐҋ^ cBܝ;D/J~ˣwn+C>y" ,r!@xXU ̎$Zo% g 'G9he@A8w2Hkp XFo%y` /5ZIUE[|bip(C%h3>r[a#ڑOvwIZn-fӂ3hk?篑*^0#7AUCN)':gwƂZ5xi1)XnI*$2| tyThq6q yGE'VWuZY=BA$!ȩYD̃-1AE!I yʼLcEob'Yestd3^ ÚyJE)CcoEHUT<و 'pB[H橓) ׍.lMAw r~^c$Ș!i@gOvauf~w}X:` yK ՋU!ٔeΉ3s?b2PN/~̩1ږF2r V󸠿c:۠,&W,:+ܿq4iHsrg A)j &f{eʄ5~rMrwr񦾺r3E+]`w8〇)Y,#$â /$ض f Zu| 6f'lEۃz9EIa Pe'%27߂;2YML|L0&Bz(dtUy~si%3od(R̢Pef9)rg NFd^2s'D}>E3^`DY1In`dxHw\@oIyĪ>M?QQ||"bwe,U1il뽶GA\[˂'#߫ o^lbnm54^ ,AFrbc՛I]-+5c%bS0J. oFlzߚOKd):vbrZeW"foz)NiIjQ JI&D!()0:. M|4Ѫ(RGSk?"hxJb6SH3fޗ[-#TN 9ٿߐ@{@LY^?` >o[E21Ja,@+ircJ[)?2FrV>L|1>gWgvjw ָF2n@?onD`a1j996h1[4)Wp{A ܨkLC%<CҔ`i>)W6)6$lgC}FjYۖ;rЦ`dRuU˅Ndh.]?KY?N8(u]vʞVF&i[63c ,v)]=U!dŦlIԸF*= z{[UXj[j~É)ߒ1az7h\{ ":=U4؉Ө>DL,x#<@M+-#`47a*4nEH1c|Tɴ jyfIa˝J@>b ķla(iV: ȟ/ _<>R5[xE4kGp&Q-F@PXFXϱ4·ɴ.njom0Y1I7GmrW dplydyŻgn\zTZ3byf0Rqz)cWvtd|Mw0'XߺZ"L7aMSmHۛagzaiȊ?7\EG-dWnfsk7NLO6N2iY*d%juwDzbZQqKgk\<1sPi_Zs9P'Hza7jUFDR_Q564e[e-Kx(|YA.:|V|x_oik+3bd궬*xzTSvIЊ $]sB1e!vNu}hʞ~lZ`y|ҥM[vmp?\!ѶR!.滕 qrũ9dsQ٘|0xL#y?Hkć y$_W z^*Hbͷa("e*([k-ͩp y&0Wr#/D ~|;>V*uɋ' 2c U7D_Xtu9mYuYHe8mTF$<WYf XvnƊbcH.3:{h!&]}xCJx?a|M)4.SB {@~Ae݈ 'yW FxLy8ޠcv( -s`E?5Y)^:e,KYy,OZsW..:h[}8ikpCSWuW،64~B׷һn5е ʿ# sHnKb~>Ŋ$nFc(Gc|7Q>}t#ͬPXXK՞ֻs ?E:?pVhy ;(m*Kƹfm>p'X FGwZH=0a²M)Zdi]4eV+F[ŻUs3cX%#{1ΨFSjUbK$? 6[ ʝ,K2&)3;B0)~gȬbNo9=G=hS j\ЯUoW@Y@!ffLSmփ4Tkr)R'^ B=x-xC) / }O[&FބB-*y/_g|;*Y ,A+ (9q>Yx]V;.2p}=?rp2p_A{Jhl P3'y!/(0µ2n3آ5ch! n4jm rj'n/Dʰ@_afGu0|ȋ`⊪F ϷgmcW'RƭV`"ak.[FNZ6:a80T+ U70t6m,x^A!܂Bbi_WCI@8*cpp|5GS-1eL.g.{_Ѭ3s]7WEu:ѕl"FVAL1jo}Aǘ6dX1*DCZfRP$?r L'x[˜PT [txNb8Jtm%;^-؀_B3.y$ټoosg.̱O~>KyU%T*6IO)iL#6d?7fJ`a qk\9k^N9גT<b_0EEx3cW'%(V:m*z 9^/91t)}E7c[zPw4%L`!O.ߡk8_EjzwB-O^cTxfYp8GӤ[ [( ReNcR4aC]JCҍ Y;q?vi! &ϒwߘfmCǜΏM=V׎6t>MF}4G}YfHT*i\nS `'GюÐ D4;y8T܌$^CpGI ؔ.,bwbsQxOWR@+mtIKadW0*BtɃX; ܴIsEKFL`5y#ϪN7xovg*ʗAP:mUiyK=M4R+ OPsH9 SB)_6/& [/rsϺF]ATX*/Tyƒfmy=o;;SEk' 7$Ϧ]rCOE-R ̈m4Av3KA2!mCiI3VQcj^jMfIh{4Cofóz, ݣ?kbЖD'HDm =!tg ~# 'cb!9ʭ֧O"xt`=DUqQ-ӻOa`pŴzsAY\{áGFq)t`0Y"TGh;{'rJB! %xJX=,(e 1,H]c <3Xm_O Pq+~P WQ[?' ܡ^7u;)Ӌ|)u exxn4MSQ x&`qJ# H@U> c)50C-@$TFLd ;r*=`*$1f 6ݻۑ-d[f_I. nysϻ@Smd72IdYD$'8PnNEʬe8 1}9ި7㦌GTxqYO4x4fs]3 ̑ ٚcnhۖw_[pf7a Oq:g]=5Zc4h Q pF#dѤ&3^x{_x@-ۂm+jg1̗tóޚmt#iIjo(-yqBtF:IhOFA邂PO! Lv*9FMz@;;}`"+ErAZ̻f>.䭍2Ί034'G?)=”w{:KiA6=OSK!N9ن?dJ˹T*sfXEC+$ ^~Ӫ$Z" 0j_q1]Tњ:teX̮c,(֠Phk!PΞ67+kpc1dVrέԣ#]RGn׈; ˝ZnܒV\]N7Cl}[]4yjȭUDѵLȳB#YI$0,GVk^/nU2!KN'VЗ\f"^6w|_V~h 6=Tm!cGX!S#6䈡MF) 9sګ}i#@*NOq%5%0z('LټH>X)w1$NC^xTsC$扚tAvkKޠ߆qkbb Wn"I>Bޑ+j‘lY d5; ?U5Q3b`atar7+$nOS:̨PzE=)羽~^+?-t=#evpРQY I a&\ z/Eu:hs})eJ0)DiOU*ՈB-iKWq =SbH"7JJV,d's7alNib$V8a x62J2ȞqTbUA`6Ej`5-s8RݛE{X>L$jSoNr[<η^I51仫Ŀ\9.`Zɬk܀z᥌eˑ$lYG)rdviy=,NBw;~4mr42q>M/}p#hW׿l~kx*,9*Zڰ-^]RezLU/d`1 !RLv|o8!v/,f|Eq}a\ɨ)Y~OR ZJSXx'!:mn4U3мD%ҸWI2DSLs"sCie!ʱ+5޽f9HgA}SmGH}1Jh*Y9}NjD yNh|\e7݊>%:YE?&">4*C *G sز˾\{धc(? ԎOjΣ)7 ؝o3$5MܣPd! D,WBnxoJ1a =D@_F#t970q+0NK2@?XN h ]nX> hHFY\}(ʈ";cڥ̃5Py6.qjM'hua-Y"Pj2/G&x6 ϣ6RPp{/ou;:TFiiQ&sA9rXQWD{EP|ɟIϮt^t-N讵3J@P_2 ^dž.ia3w|t=>ۧAFda!yQBpqF'sȈ,1ߩx:yO x=ѽoP&k[>p"; +9hU"5nԳ/.Ɗ|. za0Z?Edy>_, H/_M| }%ꘐtw5ѨԦ%0tK,^K/^ˬ<]EָoR9>Kd4RXk r> 4nO7n|HɗHG"t7:N;83܈+O#^"0Q@J^Ӭ\-B1gH.Ȕ'{N͊]7d#}5iCqAF4=(íJ߰:MPMǖ!I17Bo_W=:ޛzN`4\U(04Ȏէ`&R& ()7;ohXhH)_BB_dz+G<.*Y($ZH< u$͍$i!4Zj )cRմ̩. }) (\yb: mXbNSMu#i-n4a,zk|YFNbrț1xQiwVt`)#),YܖWYL;}4lùnmcX%6].7}j>^.52f>Zg`SOe3Rb\^N>J\FM%(0,H3LOUQ$ta;H&ʷ$|@.kLF*=fh+SR\C44&> 8V^v¬T {mXS3~?n=z\HG q0,kQoY6\:u (ʴp44TFQHdrޜ~3,f1an{ΩKda>gDz) ȷK}Xryi$/D5|F ! uЍb 5/0}*57q&[g@ Q?LlG#y0*pěV1L4qf/Ʋo,%HOBrH4U+w-fGoܗ>S30`{a(-u.6sa=#u.i0&0hՓ_*"zc 295єls f)M-%E'؉n&A~,s8]21.-ʊ{8'e@Hڂ~a؛t9aP|&XB?ⷒ&QG{M饙1FIqj"X x~d'%0닖3e $IUD&DasԬd/a_fՃB=t.;Bp bկbz=0K> 盯)b"|W>J&dlLUcU07b|klV .6/,?ڄ7/ f$r}QʝNEzEL ik6gBɀ,f#)Llu*ɂ;cŁjr"2x]> >'4s tUvCTfQc,DsR!hxpI&$p!(E:I;z +;?R03CIx:jN=nK5Y8}%Z6ID@ZpmSΞ( 7aQtNEcCC_KA__~#؋:<]5R;&]L^`cglo/b<\l o@!o!`GA:TTnFu#}oiw#YF`@6ěPEO` Wc\"mJ&Fݘ/s_NAHOla45ӣ$sDi-wDO djZ+C ^N\<߲Ox fͣV)w>P`nnq8Z.q^=!Ç^RMclJ?BG>FJ@ƔOtw4o7]dbLj.RU4U9#h::tD$wMT"JM= -gEN_WHf'W+=r={&7F.%~,>w) ߎ)P*|xŷ!uϬ2帻Uy_")\yd;j;tGe|'K Sl&^ԳSD;\?{UxO/M2 ֬㿝:._kqf=ٽ_J2[;^<4m__HzǨn_ln5${ݫ x"/g*!ɥ8fv\";(ѵKޥK~E ↋-{M-T"Z;.TBLbDdea]<,<6iw pDQs$҆v /esѿFMWXX! ڻ.#:P"2tB(X gņ&7vx5+]V=>'gG@L:Qi͑7R6\88"$P#9]M[̥RB[<0m|{ۥpP8|±Z>J[ %vGgK|%)s0wo]ϝߡ}a'PI zR k/?i؆;WaD5R_g (TpO2C 祠\8췬~݄#~T @*cb7)tL,qIV iiW{W pv{[XZ`.C%K8kضN }Tpa0Ǖ{/!9v嵮EXY:z ĀY#^ǗjF$@m$'mG}A]1?Dn-c&#BDaǯzP%boCs) \ȿ\&0Ù>.^zp gYZmH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηq? Tk 9 k)Y4WEOԯW:ȇA̞'S}s@WBr O@qPމc>¸ G'݄t.9Bh8l |zK?:m+< EFgz0Q/l ^z$J斓G%^Qd2iɞg̦Kge*'xMi-@={OFwϯ VDouʔB h]E}ł_< MX,N8+?ԲR:?-sNSK"RDU5u7MIԊ-+1(ھhe[{XC&>O= &{Bwtȴ(zTv##{2H }QסZ7&‘4SGE46o4 CbqښoR8 Xv:]2ApgH$i7pDŽtg9XRH="a\dcW+fO? d^Y/zټx&%%H#Ht%a()O|{ KNBXTk8ͩ7hi䀒Z$p yo^/Ò9*Fqh3phuRֹФ SZJU!rwf|nզ˄R[/Y&WJS^^3 = N ύ8k!%hFfVm=1q$e09o%5( ust P?7zk|k\b(V+_ R AW@6}wxEPZyQ ϶z1lr? Ub^cJB4MV7Tf۸O41TD~m :N'Ab^(ё{ɈZÈzTqI0Oņ@H>SW7Bo4iuɀ{%B egpzDR&Vb;\dw+GIJ_ h?5Nؕ OH@ .|_ѹ(HW|Z:Iyb4pBO_HO^:^l}' i Uޘϕ!3+wP{L  GzN`D-, , ŎusN`o*z$rG+?;MBЦ}*ne=9`WAZ(m @tH"3hgd}ތt[aI69dzH/۟VRqHQ}VkTvZcw ϥ%cZǓwBdYBFfmRTn= }/$V 鱘QtT2ê|:o'BEB_YzI^-}evyo 5nsY.cfC)yWY:CMD^‡Ѣbk; b;0tK+p 7|9z&pZlӾ):'|Sܭ4HT{ QfGrRlXN{C^3A*[8^wp${7I+RMZ{gbq(ﭗ%lu o3pȰ4ne9Hps8ʶi,~i@Uy)^cDՒ`N6&,ݲe bKk#$fRַxѴإ!p7Y~Q{:/%&^>DdإeyݻS3Wޙ0ز$@fHXW:\iRTF2[NȚi1 Q`ރ7MV9j\/ '(Xѫۮ>R˵[j4ւU- $! G},i[ >o+xtMn7f^ P|l.XjBTIEʳMM^Y".F?[ߟ[UcRm}`k?;+V7Ճw,nGNYʉnՕPdےhtn~xHkl܍Rh"H6ҌO{ |k"}e$DY;.q!3in' >ϒ7~x̸ ȜhuMSb=V\T O l(a9 km1=m @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[1pV _ß8gi]-R:/-=)%$|͠Kģ6="*%4Nc\]O=W"gHVuYM8%uS m:w_H|8;@|q&:VK0Ey^x$M )n#kCynpg,-2#0ҭ$P'K¢iZ0~ӭ9zJ񑜳P5q:)i\ɈJ13 XѰgBE_Uaj :qڃ c5\ZIUA|B%A;*`C  @7r^,:C;Yᩬ!&gQ#Z-SxFNGn5zU#韚fo+B̬nQ`V+:>ul -ϼi/kÀy…)ﯱxۼzaa] 5&IR f:4|Ȗ[ 1$6XöUTU8BV4YIm5 ՜[909 ${xd+Hة\1֒+ ;Ք&x1C{vf~GDGDsO/aMQ?"X {S3*|P9U =6E۲`0h{:BelEqT[z :DIG=W-:5CIILG0rf^+V;DPnǭq=im}1\+j# vذ+gnlfyx;9XW(;\ƴQUآ''ȒhP0}Dʫ;z.#K ǀlqArYn" k+Ʌp[h׋%`zHߞ(RcCؘiAϸ#ʂa!ԙHQmNjjFJa(OM 9`>:ꭕu9׽Z|vԽ_M)Wtof: HÓ_LjlZMb3b8P10mt%`n0oPL;˯ڰ.4D7e;Мp 0 kFSra%HL[>;̨7뫗sI7AeH8 y0s#wʑnlyЃ1I/+i-08ϒݬzTg҄m31>fI}.;H*+> B~ӭ:Nis(EO+7H8s~+:UF`IUږlzf }1K>zff>˄!$7k8K'$YCN&E-v7Ǯ6IhM[3pۉwL{4݉e<= $nj>)ͤKXFQvT/x]">,}6Ca G=:Zۈtar5Z2ǣIKfU.R–r<'ɺc{d[O3_Tl'֙pQF)P4EN<gyOS~9&Ch3.RMsc) }NZyR2LLq1 @ML,լ$ӜQKWČn:<2 LXݣ(*(PH}0'?L6vazژ+m%S;od`;gM ,@hTb bQj԰l_䖶ES)efYv3jbቑE H2gJ/D cLPIM3 ''fW0lRF wP9͡F.]Y=0zK4gl{;ˌ?4@JYXD-2#ha+risD$$gj%RP(4nbd5ow,ef-N V,rE#iW7~-m@֦D؛J50GK J=͂j_YŠ_Z}gK` G鸷۱ҝr-`aox&*!ńU[ɕc!}{S`ʗ@t}q1u!: gt)%O\d$c^9ʬS791Xs|Xxh^[7=ٛ$x4!T&tgp_0nr7eG'R˰MtL.b. `eg b&^ }Cl4U5c~aYBS7iureo[{׉ Q@=u`pSHh&}Ll=E _H Q@Yi;Y2!i1N*Nbi}^vٜ?͗i^Z2mP5 V^ b}*xZI Ĉ#Za1m@:fur/u3GfNM7@I3L; BD \ Rgbƅ)/)HxJm sMcy JUUl)\u9?>v2*0U@&R $ba}ǒg`A;̊?y~yy?j2[_p4CǗ(7^/Zst>x3:& ZxL`=,@/WM"}Wnf{9q,Nd*DpfΒoW=̻:kziܟ&۟ t22;ݵ Na0{yo~<[@~s cɉg`H%? ۞Axm;)_^u!j/_Q&Hԝ/5_ϙY)8eQ