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 IrtD$ ]/]ZF-Induct:threads=6elapsed=3.403cpu=12.848gc=0.6527zXZִF!  ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Њ&!Ȧv<{X-`v;HՆ B&sɡgW{>"-N'(ݲzghl~O|?~~a x W4t,gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5k<>I&6%yWw -=rcj_/}.3.cDOd]M%|]vdA8ƶ2P~ۃokSic#ZQ15DuU6e?׆ZIl,(wP䗳ge*(|B>2#LOk>;(s[9oւ$tר&$U"w9YC@*۝0"J9=)`g)4!5|IBLa43Zc[)Z@ŐM2w+ORT !d|׮FAH$ iG)Mns`Ȥmߠk`}5^dJ>2JdcosR.g'6>홲,J*$^Uwse=].<91 5NA@LF|= .,amt0幺t%#DXI_!H)pv\_oVI(RXgoh"Lo7LčǙۛZ/KNv\ ;~ k~>|JO.) 6/7{# 3,4&xH([؜HQk;AEzDC0;4c֙e"}#-:ޘ]BQ˕IJ;" M(@MHf9PO:]2._yPj <Irte%u'[13-g!V9t%Pa7VLY`KΙf)bayq'0;]"`4753669$@_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_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 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.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.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?ܗ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  R 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; mrgYZV +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\ gYZ  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ 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*e'Ki#'5PYQV~bAű8qtOI|ĀJkf(8/<<S q 0%@-dҚ5x>HHʏV0 Bn*rGf'B=!e;,%yirt8Y*OLq[!Zz^:um P:Ty>!Q/!ᆻ^ϘQD/m xWEF/#7'Tͣ0[CD\f dl#/h1{H4(IGXW>jlҠ}P/v5L8"<9>b!-luR-4H]iHQFЪ0S7' Z%wց qNC p&şcENIk˿ dvxώYv ͉rO/]2 =:Xh Ccohfбߩ݋]<|kkH.'\Y=9yD\Ux.* jC.5 A.U,'y3UBh$8ɐnCǮSâ^/@ XT7"dz& *Qubi^$i!+z'H?IS*80kF lQ=**"c_-}Mٮ@  ߠ2PŪvh;aEi$R7';U5E심{>*b)IBSoks$]!O9`Lǩ13`C٢l{!5f mAԱAyS7D<&@t j|f{#@s 1 vh ":iPރI { ·xXJ oA~ Sv8&Vʒj&ӚVZ1aLA Wu4.Dz~L"$}݀A9 W{Z~>D):Qxr+3WռgxUO@#nN/s(Ifvj1ed.>/? >ܯ`0*)NpL Sm*ׂ?gsg-7xU?v˺)bB Uv)0c)#5rn8t#3M=;ٳ $/vό޷Xw܈?}JP={<[ܩ?U303C. $StTVzJ0;py*i[ɅR'T)_\==PI:Bb1qC'Eq0Ȅc[Zjnf|#R|Vߎbͳ.6Ҵ tpnVуfS#2B|γ&&qǐw!yY7U"ȻI3#xn"ΊE&UWXqTag^9nft!屄'nZTNs IXHֺԿ XbRLݞ#}D eA D/nf%e 4Ђr&U34ˡ,R. K5X-l+s@7#od_n76nzc kAJvyi"[OsD0.!a|ʏZE+cs9.x]z'|Bf2uzF>#Q2V+t u;rRLfZQ(6rX?6`3b!N#:a鈒te, տphGWejtԢi.h xZ['-IfXk1Φl!#c[J/=LLB|CZS^YB OIo(?{Zn(=Ķ@֞=5s:.LP4ݮ ٢EA0$Et#%r?{4j`;B"PNYrhKkM%. ab˧2˼^ʒ![?Bۮ>]x> o7Rc( $59aLZ() 3w`MiH-Q=?ؽxMtcx3ZU^Kj:9^imHziɗt 4<.VfʃNB3 rlEF_L"^vz;\Q|ܙDj+V#*n@`q2 WwO7 CnFVRwtYr:2 k_Feez[.:Kyk|Cb,YKP<ɛC~3%sI0}ٮ9ai2i?)G, ah16K)*sPujhzwț`0ҐlRVr͵3COJTw8Uj`jf*{ dP6CoAXL" mpDWIEBga#ޠ) ]f m#_`ȄUvk$wE#-g֣F.E$O_^Z3X:7f(ֿ5=-X~|BA$xd/FER1N?2`1 uyyDpn*&WMz\ڔ|T8"* .Hj]'VJ64 U&]sϪt?r#R=Wsь=.,ȨVݹ?6;amMMlx`{J?;7~- ̔n$FȥRQ٦1_S88ϛkW)GoKJCZ#|G5#l!E)cqաS2(;&Xf?sdҽ[h{3pR9@% 2E4I'DOSpu?NFfH3a3̾. VIa C:FطPcf\#5&5#s2s{wEey\Xw:sȧa}"0:~b.Se_fߌ~Tȕ:E>ݮ@Z7ƒBq,г2罉D||Xkl>KG<,T7AI4,v]D_?- 8'v`j̼]oV4"iRͬ{#? 4Svۄ[_wu"Ï=25ժNCȫX *C 1# 4ZF-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λ㭯@NCe~rC8؎ O\gVGy9դ<ЫƪNxpa\O!{wT`E)O;B]BBVZ#lRBq/Dq.&/\Si{plF6KQ\G5,dSuL L7|0)@o4&ƇGcFx> /U^5kuv_p)v ƈ*7L%y0MVrGFe ' E='n!cI23F 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}DYecZ/lr*Lϗ͒8D:=Ed00l,&3m7K蠐؊H{$LhyVy@*! }@`1T=fFhƜI9(J:M;i𵤮$ ̓`gPdI-#N?_2?Nȕ3‰MC^^*~l ZNBĉ,O>2ʙ[yQ]3XJu"q6m z|iiZLSäDoK}BsU|L&Q)9bCϼLԹ,X ZSɠF tNzhNdυV#[#`W^w19cCC2WRo1?tU̥kS~Mj`lKo"z1` r ӱ.%n薤#=H`2U3EWNW%4S!Jj&i֪O"%6ҏ-=GZ'aWp9I"?IRCsѭ\뢪Gq&RX菚v˗ž2yКD3@F^OS- ڳet016\@p= $TFZV٩ >֜p0{eE [nW O3FdLib$*1rgYZb /# tZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9AZq@&0Y5RUp3?D9As!"VT]vˈ8aِTjI)Cl)vp ETW6):/ sō{9oV; Nd@^Wep"ˢ6k9x9}7a[ƒSLd?-whۇ"Wq^졫Vc3DTHv Ttʫ!`(W&]M5}stHrh^n,$o@p{s8fYxk0}Deo{g*<rPy8DĞhZK+߶$0gǽG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}LӋިCups|BGӀA":zr6mV%g,p9ΊZ .>,wl"~ϿL#lyAp4Q"k;uxYè݉hp'rB:hᐾ\8k8+x6_@MluxbmVH6Ί4~ql<tg-^ }uBH񔠀MEk2!VS_Ǵ^!7iB ]%2ʖ 3~,:{&l);rqKceG8S,)HL$0CSծ?ّvU"K{<וpS*%z{pm8ܿ>`[}/IbKJiU I5b)%Of8j%k춑\m}2p!^&@L-?؊Sp`JS44b~T j ^!m|)' *W2cD,@AG'Nbc Cw-/};iLVcņ` _ @̢=ao$O^DZgYZS>yD2qOkjINCZ296킂BUYK0"(JvMEoZѤ,K\Eq{?3KƳ58#wYVÚ-"r/!\)ydm+Z||UM &QTR-EùQ N;T^WVfpsy+&?q~[g&E»LyŔV )iS]e L 1i_$]C}6f =)gAU5t Cgx3{ 0FC)yYmBfvhHTMi[rh(R ږlgG G ɳO)R}`.w:Ք :RJ2Ѭp]/B&qFcreզD& !mEL0=jpֵVO~ mb,e`>i xu۠YZY?r$z AxQ׋)V>͖h_4vܹ0rģ,X˔ V ghi g%':*Ktȱ'5XcDpzZNrv|WA.jܢ- 9s8Ӳ8r):g:M77}k]Uy>-`t{@f繥 <3h#t"ɤ䳡@ڽvPߊhd_hm|k~Bh!u8g.aa^pvxbqra~p: } B\=*TqѺGmsWs]^>wo~IY Rv=k{M mOnYs1Yh6w E2/uɿغ jn}z߁QrTҍmXXNmw9Y%?>73[\OK7ȬC!<784 ;"AA[d.|ߛ, d(7ѵy6y>b"*d?_Nݥnuhͻ;z9\h 81FKS,(xwH0GZ%ЯJ+MaK8 -kkA !^l"^(>e3U-S6 "!TjcB~;Gb/Q6J2h5QȪ}BP|&`m$#3nUO@2a4&Ioi"ٯGby:X ذ[c;S"6"tٲ!P}@c,QN`mvb^[= 1'Egc Ed[.o'=sA6,"=eqr` Rj}VSUNQ@[`aBBxt3M S 7ts!au}!z !ኋ\@S1&%- X$bBYg:]ѿ>Ur ՜YZc@:~̨ъi 0Ypb?s=NIPB@K^t l͎'qB.oI{5p珷cM``"!(Gl=>q!< N4(n+nʹI5B&m˰&丳aCͼ!H[V:ʞE[[aۺQX8f袣ۑ. v0@j;h,0֓"3$[7hp#!}WZ5]IbER3Ч(^i*c4F vW^LvFcZ;=s 3s7\STōQLߒ:PH^xw}Db;hifdvX*gCPzvX!: J'6U2ra{@*kL^LރgWyD'L A.(.aÄ98ԍdgoc(`":a*0+X *DruA$`V?8y]I;ǥ6\zsAgelE{:h:DX{ >,0mj2}4<+ _^r Eot-5j=i*0pt#Ư Dz@)k䍭opTee/M e0}dpoƸu/ͧ]]!o{g"5eo"9O!e?oZbds '@<]Y GMPȧJ ])R﷮@uF0})/e(<j֦g&LOImG6S"HW1Q1 bDn O6j:EWF*Zrgn[ngU?j<;mU j[()W3er,oyBDQ9֋YCUώ!WShS7mVXHBhQ65Nmf% 6Gf9cŘhhQɂύҬ]Ά쩜}kAcy$!=ᔵ &6#KE3'V|L3vwYu2. `HOA9ѧ 'tJ3 &ceo {rb#+NI f8;Ցf%YBSݺ_I 9/DuϹT2|0szjy7 UV | ȫFy1ngL=9 w8um^]C*4wql0d"+e:GE ʹEݪ/'g=ky~Z;8v']a-pH4l,WVMgNBaےH/4@Tt]]:SmDC(7ytnN, |E6 Gh1.7,^k4/sa_lj̜CҶ^*́ 4ѣv/"]l XtGX$$R <߾c CXu ?H0adqV&zR|]K3DsG4ӞQ}[] j]̆lFqur[: dA#zV"MQPi-$VѪ=dTEL%5M"ܶja-^lSތ2e5;f5 V(D?^F¯"fU] f̊H^la~CgJJ ;輷">Y,Ucac0w$-:n)O2cdMB;/4V=kЈؾw;XY|0jLwBIZhvQYϐί;T*rkL Yñ޳%?nmj4,D x!“}Jb$B)lcNdV>IꙪdd:WkT!Hկhnue9\!hԀ2< w3qo[e*;,f,Ŋ:9\RzޝDռ) ;Wpa==GfNl>o/ϫG'o;Ow3 Dd+]]F͜cPyC*!R_8cUXܹVSz4>p+!Ĥ1wv/Z&5oHg?YJ3(](c}6yӣBCv{-3x4puVRߵJpDz挘z6I1tNlì p[6/_i=W(Զ:_,;-{<w`?E  VȠwG }Q$>l+j 8䗲=_ %gJY|pRG !c)Y;# p?z*"5t^~d1W./oS Ƹhx%@|xb3o:uʻ2f(#cwgx#7-}yVp* ̎NXꋇJJW[Cr?{TZd/7kI`866@9FlbRlhWE#@ @nnju 7=3-wETv8jZIi%œ@/q߾ ӱtvGWIUA]X_oz}oſw&*;h99}X(nW{]3,q_xʂ $"9p>*BU>z4*둀  3/Y2ĸ $oB/0c𪯽FaMʨ%q(eeX?~zF-?Ayw@{F_P dLx[#M6jc]Kb{` z岠;\AF'Iڭ^Naa863S9µ{Zb[`HNJ&s&Id-ZPhuXܾڋ޽U}zjxp`B^:娖P])$ "rPu17rM( b|?_A6bѐ˔ޛR֔7Y]s%G' i5@xpW$jBpnAW"Oŗm]?!'mНY; Mdi8&i|""ӹvܫ)_D> R;tٯB+y, .؋ <@K'7X^/X_ ֊0W#Y0eݺbEw4HpRw焑+KdT"3x/Pib>IY_xjܬ o,#JIgK <2)J=8∟Pl28+ӟljw3۴ .עbzYq-ͨ<{衞UI23b|feT1CU^Wp!́Y_k§C $XݴpKt2BӅ$K="1:EO2G9M GzX }xb$ݦ`VJڀ"iHM*;J]qU~,]YȼmPݍVSC}3g&q+|,+OXyHΏ"PcS73ܝ5w.TV&'Q;=/TY2o) ^;)17Fy\-\Ud"P \i!#r»n̂sp$"1Bf/CHyxÍ[<)ҿ$|:=,_0'!;ZMa Ro\^BLMl"V7S2;3٘AWEUD!*74J1!<nUHb{y-G1zL,ŗ0ڦ%Dw 5Pp'Uh*I9brg eR =-`u|x^:+L f1Pu. ,] n~Fɾ4kpgLCw2W94d&vC{%$+;ii5c' ͨAα &~~K>CZ"1wYYKRЗEzNLe[8DͰ FqkrŠ7@( /5QCgD[o7r L.ӆ';*J7o8t ̇2]D66%@jl \|q{)S,+WF 4N/0X?"\pC Hҥ[hᾍD.Z/w 5o+`]n=u'@ }Ca`^ҟŻn|,ޢ j_KCjN5ZorBVLЧ3C̄sx|Z > Z2iGTӊحĶ;BO/ Bz gC^=q1XeLϖEWfR>m͓ Bn9gVܤSGY[ʦiCV_E& tM/XUnA"/9kÇM7_GBTE#G47*m)9DL9^DW*+zHm$Ѿ\=U6RpTT}*O h7!'X [-~Mn"/0g xZ oXsL$+.B$C).j@C]9 vv Ė0yED)wn cEF4,yȹGlY ~'BuCT| E"̏.-d\G?B2$Z 4MTi ޶u@@MHYY8xj}>7ob: gROPVA+Bcgjz A+u'P^"&{`>Q5 %O_$U;ʧ;J:A=CDs!Upl=p!).1Ž:CjU} -t':Zk?^{yHIx@E PⲠ샄dY ojOuƅ CI>AFaEwpy0SNΏ_mROx^f]!zcʴ$nAB}}L ҮTESN@C)jfƍ'W'Kķ LHw _m: UpS<$+ *<_C 0zl;v*m$Z"Iכ#wGS'7@v3klݍ)%U<Ε޵(DzD嶗x/A_6fK2!N6kk|.qbjH-Qi ͓-l4b^Ӛ) ,!:k֔=/X2_> $߰ܳR1պH%Ew$ u,Qqv`UvRYgZ1>o*TT?# 7̑b/ `ԅ12.`I9#\[^7")@(Q-e!ޮB&0Iw^FA}rrPjX9uЁ"߇[^.UWe?=bbf摯?7B?=Xd] 6*12EnNkta5S*jeljrm4 u&3-NuhUߞJ W 7rnq( +h{ZO]BO=vjo+"L _xqi\~" d.AI$ߒ_V91\g!?$v߽9Ѿ09V -Ә4Ղ٫`6<q,' nUՌ-~W'U#QKf+V]3QU4ߞy  9ß05 GW{=/,9>(=Bm:\%716op;Efaѷ<ㅿ8ñqR L ޴)hy&/{"یFϵR?CR@r*? Q\i"KEG 9s/YMm[yd +gCԏY}բ]Vj6e6SkWDtxn+ !v]j5iL - \\6KX9ރMsh~J }͂Q@5);@1PHgS^Sx//rq룏|X-Q+N ~8s7Շ աJ멀QWO]@TiuZ;쓴 W|Qo[W}&=н$GHjRT0-Zezg'aN^N0C0g RW"߻MWԕ0Z}&=jWٺ>榈޶7Y97ushKXv v\ .ͳ:?(#Ѧ$S\+P}z?B[НMWQm3؃ZңoΦ?PE "RI 0yEޜxO7˓z^^_>>Oj"ښgyF1X "%|ƃoL]9z3h%΂STxfxet 'mdIVqhyT;'u 5!X)kΐ,yb*w֤ Ž A#x:Tzt6EJc.[.O@ j#-q c;ql/.F0X>Cxg<5uWO[K4o+Y>&=TB0&֒@ȿiH&׬9˧e;ETh5.a:EݫH@gi_GfB&$2*y^֟ 4LX9`1d,R~(W6L nBz SA ZНmB3|RHoyQ$ɝ qx+c+{ŷ܇HN|6,3œ/p0VF:y 鿢;ւV's?5c8? YrT3l]xbL4%CtF̄jۿ7XлCjrL|CH#QgPҀE B||Y% P/8!rg؝u_x%!ekNg5O %?IԤԦ̤ɔOtnub~ӗx-,l NԱ%+{emSNLiJWpx>zo8PԘ׍j[&/y# + Ͱ5~0$j q,y]R-ϋ^y1FEg,qK=^M*+GBM'+boR:rdUKkoy_rb +KAhs M(U=Cu4C4( 926#JLxq\1QrFcObT"L'$2;"wDm=i:q5HqV*B `6_SFT\,<D i2iِ>1̟d4t4/WoGRX1pm?ɭ23 HCk}F߉nSnSky0wEϯGaw K=rGsŶ./S1kXfKpqmg@]dLH(!N&BʹpMA`8BF! IZW.rc`ee[uc~윶!]W;{ A$iߩ2CddaTtj_|d̔XƩ~>Z7qfkoq0t/7DZ8T2z-N_2[9_Cl#i7"麳%´yޕS X rX/)Fk*߳ &$O~AXݽ>Ͷ".S-b բxX뙕qMYlwƨ{\TDV)`jGOz/Y)]2)\YeKuQTKR_ZdՋmUܽh#p'1vŧ!ԐA9##E5".`+r҇'I:r![Z(HHu-sT)fV-<çJ6| YvW %V ^pMbAM\bX?hotA$Y-(9]mT qtl bv*`)Y!DjHYΧ=$_R'Y~oj\:7^L ٔxIJ wNW5)X#RɅjv+Հ[u/:l1p\b6'Itd;n/-}#^KB97XJe%G0_B ,o/Tx6B~Ğ-.hdLbGC ơ/f[7ն- YhpH`B":%^S~b )D[%N_Q0S 9!cvYnj)*,ꦭ$ X>j>ҋ)^AmO%RBʓ Y5?h:ԯC}3{L4N7!Y OWÿ|EĊ[U"\T>{TކP#.!\3"UF]KME)*;kpLva8nE+19n1L?qNQ],SV37%grBOJر ( K@O$lq#q@?nŔ@_}v]fȺ9l?r@@ nzX;TrdpcufdMd-DF oTmTM Z.SM@yS=fPW"#a9cJ:s?{:qX}EDg|qȠqm4p`!jél@sJOZx"Vx*(g |/M(sAӗzG8.&Rac1Zچ'\Z7*=B(q]bF^>tx2* @B!TC~uL;>c.G*/.SڂA%'* +F$ۻH|DFOa$Ow%^&sGsvɟ2=Ի΢}`Т%+i,O%cX6s44]T}E9l=*?n+WJqQ6ayJalFQB/_%Ը|rUe'\-᭑0QF XѪtEp JMx*L.1nPI!~ RSf;FpAdmUg`1HSLvv:'"HvPi En$r< ;7xNXlw^JY7zD+|.\$D=U2!րE/3DXeg˧+Vi/ ]yg!}iv5L']s #x i+hVv%M^8[RoRdgo/SJs_x2N#ؠx֐`QK<bws- `·GAoS#J Qw@jq Bg̓vɄE]j#բmֽA $e&\,{`?э܊{\A1!m襛rvD0j>@)z^ @b›K5h]0_-Rh:ObNAZ5a뮿y8=I&]Spzqкpy~d: D7du tF! ω;V>&"iʍ?f]!۝YUPrR}Qšg:V۶ƌG,}9Eb9dX>ImtmKVJ,]igk3aּ/م?_x NFS)6Wy/inf8 %Bܮ)2HW.Bhdt*M$!/#5?+ M\\A:#^NHl*u9'RC РϝxE{fuwKhCsLEՕَZ=|ݽu,eן'cE ,Kw9,<ߤ<w!Vꊉ =i\6}rLg/U˖\TD .arw>2m.7 -7``Z?IvslQp4 f3|jQOBU'qÛ%?XX8PM[hC=}}d+ou EdvC( M;f<+);8lD\ "&u =,MdZ-YGkwQ7\# oORUc26Ewvh'pLf? `Y A^\$\x&|mT|e9'Lg+B9{|U%Vݩ.?GtrQ4g6FIx;㧕Ȩ` \>ȅ7.-#,`ydVx +meHhDC ?o<:Z!nsXa?!7&_a Z#zI޻?څ;eH?S6?Nɐ#*l;aO2?(+4`J`1pͮ<^$,BVEeɴ+^*ifMth2\ڬ׷@xvB0τx wN%q+ۚ^Bd["HUwltLz8zפ3G`Kqc+LJ@UEҗJm<(ZF?vQLljZ8^n#=Nd㦫@@l;xn GAJ Rkkߔq3BH"Fv^RqAt0XU\9b)tfN Dul x5<"6uֿI^"/6|XU vV_&py_yw:2hUtņu{m΁ a=ybJ`#~D6]g&J8ڈk[0De/ 2_4̷*=vC4vJ˟W*p{f VbG]%Qs2%_ 1v!KEPJsb$蘩եBnbj'e=EP8cvx~CNB>MH|Gԕ:D>5^_.1Gl*Kd*Ӳ?0^64tqwCO\*C@4gUGH^k5@mXeZ+q hv{P1CD-Vq"X3I/j^*'š'&x| Z;ݍw2G|%gq-lSE61ËmQ<8H8Z$ۯgE3HM*\u2̥ P?9l[>s lއBz8b~1)nXO=%[[8< #֛"kPҭ^K[_HSS]жHz> vI`]|Qۚm*tipQx,@k0l1 "W5=0tmeQakx& Օd䛚vҋtz_P)@|7kLSZ\KmXh˷Z['n^1ÕJKX􆯟iB3Ĉ^X K]+6@Ld2<^bu6~ӻ0`iԷ0SOtjW[ʼn[RR7otNqVH0ɇl[sLovI'X Y_vzk3 #"j=q)WsI+{#w' klldZ >xL'@WbJcKxp91coCsc|=@\#8`zXP<-HX˻E\P q<XYSrPk@Fff&1t%b< N^U WjA]ىN hly] s7_Dpx/nTQ<~sE'ٸDP('63PCXST r6Q>>+%ω@/}RA% )'Α05jdx x6 UX${*VK4YX6n<@UExmO]zr[Ahuv6ʮF])ιrC 3pAR]|M+~#섎`T핋Mp\($cl>?XC%Lfm?+h%O;zY ЩaVy.mgeћhZiHqwgXʸ1(zfnVN?Qߟf8 SxN :g:<>Wy.ޙYz-:T?׮\>.?OTݚDJvK }h O@EeBcINVPYx>؃v8 lBtMȔ~r <E.IKY%yV"3cws}T{2jzWOEWQOd !`\/yu=u]Oa'p|#zntGKɌ2"4с3)^P࿜>L_Kou/qJHkϐ ș&Y{A¨:} 兼a8<`hp`odPlSV"~L/cB| w8o(-U|Td֥R{`_#\u# [)>_Jk1v۠y_?I`g;M=CL%oa<3$]Yf RieY͉36Рe^F`F~pb Kbz lZ>Jv$gy-T|I2QzQ~l{hG5լEdBs ^$S2MX?P $G:_+hdkND7Euovkno:؆ cb´eی @gcyadUnk00~;@arp:btV]gIc^f ~RꂱiB-{,gۓcZ$I%A\ٔ2% et '3)L픸Fm'bYyd/[ z0[i|}R"o4Z w+7m(!`hR7Gȴ3՝Mo Du> p"I\ ѠԷ6aA^5گn|c8RIpCIOp!).Xϳl %2= ϼ#ڌOT#/MXC0]{HKf{,GW2f= A">A&*_`AQ}V.{DYIE%wu\8>|smeg]CXӤbٍ-/E50\2&$iԇ9 d0Q%֔EΉ(g7ͻ'QbEƧvI4Vuq'2<+'c*C θp(B ~|Ac 5[vnckeqz4z| He n~"$qobg$qr4΢ehǧIgHb8g*r*2fr"9B# `yB$ 10d|ɢ$1eE"[ m`ÉVm UűJ0͘_V䓎R$o (Qp5'^z.[Vo"=l]f'5IKʬTޝؿ.(\s|ЂͅDc6 M޽52ԣu@pH\T #d\aVvЇ6TtL:EZdgU׈h:pdF%baVqܤjx'\+sFm[B)Xg䄯\UΉԭgX={ Sh+C_6Tw>%"hOfȾ:%m<~9"Mqß@w| ً fRZon \I9/=r\y (RqI`_i\F*Y GmDkkԪY!aFH>*cLC0'Wc)gn.-A3ﰳAn{ vtq\h]X8ŧ%[ t\e,X7],gVr&JCrWfQ}T; a_Wv4LPds.L5Yw66Yy~웊S@qX%\֣E1yؿZJU5=D;L dMόm'j ?._^uFm bǴm}ـB< $X5%ϯYC }No_]HNH&9wUݥ=/#r%9 Ά]1&fXʹj+՜CgrVM4GFBGilӼ[Tu||BWkǬ=NJ uqv,+!ovfD^FR\J検BK*x2>*ށc Tʚ@Y;] 3S}dDc/|Śϡ ѭա PcB veg`޺ь>QjaA #v+.7{k{jz:3d8{.OAg'ŭQ:%CT  F="gy`y』sL"zчA8L02eSIp C/>(8;n4߅; Vk&;Z'ņ2پ Íl=OgjD)qx|9<(Nr$iD^Ƶ [%^doV!E cd֟2s93KnlQ\k{7xP_4iz9)oLHis5M%F8uㄭvٟ  ^:[zEQMKITa|P)_@d 3?v.j9FLttm:"E,<ku( 'хwZu<1Se:!+թ >fb*~{b (u{!a^f~m-MaLULN$4׈ ^|nRծTemd J2{[M< c} %Q] ޢJ4Ryo p-Eqy;QbQQ &˚X>X[L9w r&3E8r7MmG6(Luz1Me)9=ځ4 N޺5je*_TRfvڢĆ,{,4Ҵ%choX$Zz\ ʪrZ.&VA+~j1[|f& Ɗn"+J@qF I0JFC m!k&n4 ]kX'sB6`gƭcYW:3-ְg0 9Sm٢?Ėߊΐs}a'Ox'k_r%I<`JNҚi:'^)vJ`7$(Uf ׫ BGu^=hʃv2.#omrtS2TϘˮ{Hg!'EqZԨP/ne_3M[]ɱtJX?pj-j4Df#^ۙ1gPJmj":YI?`9`1y}[?+`RzeZJd:]]uyJ򍛝45%޵똷:('#pڶ@6G" >jj9"5B7bFF mJ&\25m8Blc#˨&wTE+[1O@ٹ3*Q !pfQ"C39L8xC M;ҺKu4VWlal(~makp*"oijS%_#H,1J#?ӒS߱ɯ}*fydk>[q9rjF3%t,eFҀpH3 jTe񭀔Ds{CQ[u;K8Q2LzhctOk_iZ`ʊQdBGEi2,̽ I3cb/!49Pd*?68S~t `Xx8cԱÎ?A<{̗DmH\o,ǽTj{ ^V܈,{-dh0tiۙE?x= ajJX!7*/숵^ܥ^n}9L,얃hUZ=vj4y aaibl踹 hу3j |Q xh#R*Ny)Y).|$BNíaxR@Z*0!^RxG10y:.]5Et1KdCsbfP<#6Lnk] #EW]P\"s"nL =QDrIՈf3[< P$rǩoCQ6֞g2j6qR ˘-av( xH*,`^Ksmq~$+¨bY5) umF픹=8Q@붎 غwճň+ZQUM2ØE\UpiG??{2N'+bܞ |NH\Y0JF6 )U4Dzz̿JNƿ4$Pu&]#\p, 3enI(+xzV2`aK~lcE~&`G_rqP";SأΙ뵿+{ᚱ\r l˄͹eӹ̉?Nt;Xꭂk$䀥%!ro"b8UZdM )QN`V?gKVZox;՜$^c)YEJ$$W".,W&j PUzvTK>|`Soa|3]yEK<٥]߯$g>+{jB.|W'<+|jmD҃]l*|t[=FVT~HyFT$Ced kRC2-vM7$;Q-dEx#NpďR^ɔ|*vȮpW3᥯aiA~8樎يs͸ɱڛvm~pH1%pMʳIS`ªllj3V\W0q W*p(C(i=*%Mp!r׻>׉ EI8 ϦJk%홖^i֚tzh:=K* ܌xmSE|鹷T?ǥ?v ?Y\or͈ x55To\UO5HaulL'oMi _TҼ/ޫ[u;keIgg =֔%.˚ZV%M#E Yd1amf+1ƪ-qB٥,EDUF+ՖC+^osuuM1,Toi#E7"x&E@3&Yʷ\=> &X̕Fti`~Ϟ&e̬kYmmImv7fVF(yKQMjI:L Fv;95f}oB}CgP4|sQL%re9R%Zz]Pw]~qUsN?|X2ޫ]@b4/0Pᓯ5(JY*dr\:H?f֭JmpDZ1$Le,v}׷;OQ[grq1qEGڸsy# (J&0Ur}2~(^6&STmVZiAWU' {})irQ~`OM͜GVI<)>Bm<9;%Z_au܆T,s y^v񲾌 U&B,F:!c34%h*2QAJ>m=̀tRӈRC~Z)oIL%0j];Z~SRUdDawki]1r:SMeyQ5FTaM@#Aƛ1_SǑ]͕dSwv+ϣao4GOڰƠ>0+i7cP7:\EH 8:TNyxUQ\ӭ,xe{ 6Ue ^jTߟvc0+ 4 lKqLihU#z//˞鎕=a4,df zwhfEQPXrӪGNj8!~[}ˇ gÖْ,D3 c\,/iqGl͊ͯ#K8Z!IQUыtY< /*I1wH֒ :};*qgAIK`לեբ*yB 4AXDmo6jNTα~W2P܀])2N!w,Fԧ8ˆaXRѐIchbΤ-GUl~.o0ங8pەXouŇK %r ڟ v Kǖ5'mg-`FUֺ$zYIG-U^GPu9-$5]cvKf'd|N+YBW([hO53WR^9X5VFcg_zV[ɛșh{0 x?"Pz4cϭE$.of\7#msЛ]_瓅kA5j|!=m SC֏tBL$ֆ]KjThuN-s'o)h2lk\v(I\p;{D6Ua*оomM͕FR+k:jv/#ß˶Qht&VRS=/T`_@/w"Ŕ#]ptUH %N~Gl6dOB/>;S=jǛL!HHTnyFi`Tx$eΕs$1jZHX%%ho w\]qYeūyM"&ObNo\Sq>.o۰weU۝vMI_<@ڒ2Jވ<4=<R`-|#=mj^d!O˳:I zB!Hvjx2yӆi$No]0V@V8+JCf=/6zH3Go76=:o7uЄm=?Mzi8 u. _~r' Yr tz`;Pg]N|Zn(*|t%"> u y``j0*my@AZ7TwVҽ\-M%q#/^Eɩ@IïfqF6jr1ԃj]C= H\DfmFm"AȘ磱<ي ]j`O.&1tØ(M|{ccB}߭itW&]du'n"oԙ?pل*9io쑍QYvpe?G5ɲ֚~1t_ߟULċ xpjaZ\z)0.ܼ-!PSwWٶ/.EU:L Kw~Z1?"9|,ԅW8: iieU%ɒCq: #UJ١&x-Bjkc?+~it-$ oyoI 7 rx=ecfW1$K aqܪ8~ϥ<܆&|NYQEw P ] ?Oa7-\9)cզ T:5ABjQ&5z:Rp7A3(ǝM{< ꧕yY( HhLקvp(ѳpB Ak݇$@>~bd%\D~"dՔh.Mj#=rp=A];Uʥpm+O!J?a-| ;܎qn&wd^RAvɓ6mI(3D*' I k`>)Z}>B#F%ra]GD"g (tuusѡ2y+fRK&}ѓވ3pXPy} 5EqeyYgN`sM܂|VTG!a3, + Ix.čiʪ/0`=߳/CɚnJbvR/M f/o[֘3uJi/לì)3u+745vCf;4I= Uų!#:ѥ͸Q>ep[kCvH-@??ƒ?O>IT0@=9FP=CnkFPx\\w+jPŇ<۬vq~_e6lNFȘՈOVMg JgBlB$fǣrYgb݇ƸGt#+cn0w_`MOјo6ge_-x}FRׄG޴  1|ORO$nwN2'thpLJYн 3DWEŸ_(b/&zksXN! ҩͅvPONՑIQ]Y:{c-PgK'A4< ͞]:a0#<0~ ԟ3L >Lr ϽW~Q ce9Nqcc4&*S_S<,p4GQ2uĶhF$=O6Wt8"y7鎦gL^\elw6>>*?˂UfFG1( 8 7^$B++'@3E4کpc\ԋ6:]g1N\._kxY>c.Y5UPX?NlhBi豲1 XW#0Do^O (.&]絀sq kc1CnIKY쪟e!3dk&KYeTQ$h2jIL\&囵u L.һBwyjΚbE 9Nlnё\6%;]י: St ̭Ϝ%=C2F).g P+ K>8U)RjǸ՝?@W@\SQ1j+l/MS{9M3x o?lwRhm7gu~֓p@ }4TtfՔ~c:61~fJ5qqн6E1Nkb޼\ֱ)qmd`W%gV}!yrW-s+F( 4KGE++\?q\K*G:i' Dp+:FX*/}_` o̼#2xUlY4 p2CtoEXZ:0/im&6\&Ȏ[`N6xApT8 IqkBCj}fbZ4+NH˷ZN(]VDW{d"R$t2M:K Iof4?:ڊh7pNE==S<%h'$lS%FǝlHZZXmXi@j+?qfeR ,4zLBgwZS0Pk675zs/[949'RzR0 cm\zsh$pq%OAvd;`w C oViXvSPļ/muZ|Uk q=ky?PmPՠ ,`Iu^_u!O]y }?$r d_˧z}]k(Tj!iZ6X]rjYTPpkgPH0#18rgprLꭟ_@5yWT!/ z;>lPq[A5[:$<8Kt໦2dy@Ӏۺݯe h,ȨZMFBAڰj֑97U5Xo|I% St $"!ZV:Yny;1O;6f V eL6vrX?jSE޷ǖ0 U V"vu5Z:@1) gUX,1ۼG$ùH) Ei߀Z~dVi&Ot-֡X647]SgO^x{5*R2O=&$zx 1DHn@;0s'ٛ|{6D;7yR2:`=An•^3e,h=Kh$\uE#Mw*DF]_6A٤IRmz!q_S9FdzۑX[gDm&gL t>:&>"!/IkX$R rd!;/vB'duL<bg.f=gTlK F/i]B,R$x4(;zuU\8%iEَI o/Oۀm B<{3-E*&k Uδ4Җz+_iPp280;)uryvf$W1Mt(iJoaڻߝp~?g{13$G({xLs23E_BFܯҚsYP '{-y hlEiq6ϡMaU vLek< |c"P<ܐ'-/ gl{4:]7I_gզ}t{w&Ra2lЋP:p$}yzڞGXb'lQ:I6Mo)jtD=YؒN<OJq\P2;a%n^f?:S{of#pAc t' WXpJռ2ᒵ®(q0uڝd9 xbG?:ph3$|yFs>dmF+3ixs#vLYk 'G+=ݍ/{p_v6_=7qW=D~+< ﭮ }{,V_aYuN9í~Mb4Cȇ}ቖLvL.Ŭ@ jȔ~.\zdi䧫 6@CK8# ț@z~eRfe6}w7:Ln, e7nF7{vIN}(&/rvST)1b kyh&͂aF \M`Xf,ȄvsNYT9}g#A핷2ZKˢCL 9 377"&%|3Ysz1;¸*5N =͞.1g)TO0\8'(<$Z (`e Htly Ĉ D IA)!dhwփ QS`9#ucM7~c9¶-ۻoF ^+Wv!}[_)HO@qfl3Qn+!TlZkY/}8]5Z%:Z[96bRG8 y‘ l E0?lɎsMƯO-@2㜩:zo.Z 8R˼45*}P'1N8,ѻ@FēHpz1ur7nx_gzurtM[=Vxߨd˿lp#ksqZbMf."1od#HQ#0 X< 'D]Khu by&qUKIά6e{VܯVB ~}CɷxI-<O.U\spѫϭe ?I48 JΠ,́\LI j Wⵘ8j/31 <=qHXvU%"lS0{45x4U/2x݊blF476Cxօǻ:[՟Ra*}he+M u,SM ͳe.N/$Hgz3ò@OrNR/ܦǔaN?zM:汻6nip̝_d`EUT= 3AȯP搶  .9|2P7im#9iRdO FvP\yuX3$ b61 0Oev1|J|k!\QC8(:3=waq\~yP4S!h;!Af!mmFTC}03%;Yݒiq;ژýmvx~PaUZ醴8|hl1`PrQ~Ɩv.K<]tb\Zw! =$tT|π5B̠3faM;( wy%%3' }۹2s:)y/c!ւAvMDV?nVvpCGATp[>2Y"oԤ MšO9cG|H29/.tUQh,DE~=,j*fԍٶһYލL"*HJ˾CtkSTeGE(ҊD@]xNһ*Q4808yܮ3c.ʣc}=dNj5)2ґO0i;P(4CcOI͗fw&32Q".qpHG ;q?S[e{׭LqãeX 9HBsw_ 3|A6H,ࡧaHgbg>6Ȑ{^:nxBkD/֔UMt'IqId[IryO 7'>It~Hqx"k6yYp DIJ48@Sc,υ+ kjI/z3:V"haUF3Oz B^d *(td!fQaNh,M[RxgMDԻ1.I-!KHzD.XV\+y3m6iI)|O:qGTs 񕩋 ? FW nqULs_ْr(y|'Z,)Go[_l]!7;QUDyY'VQwx.[RjGұM{eЩ%#,(\dMJsi/5 [>3dxUݱ^\ lnbx/}tYˆ+4Ӿ]FO3谇e*bhQq 'L22&a*vvS==~&2¨ ^L]ozW62 }ScB<xe}XFEq1Ͼk }@ѨPn+xA1 lәyXeI fʼn[ ljsMW$n:^*8͟xq y(B ǶWZJ6Q,N%pJs[<5kۅT1a 2ȟ͹Ad7:6OgAmgQ಄-yI0 AZK6<*٦\J/'j#ߩArI`5%$-Tum8t`Ћ6##NȔC>[/:JP)5;&T(,g%eR\5'ma +J0Gc*9\Ii$[w+uN%)S{cIR'pF)DOG9m۠dU;/a!j$:N#]ːau{ƴ^A#j8i}/6<.y-Kt1 6% B1\K O5;O52.C%i!́}n8 r5Si!֓u]l~%C2|_>ӕ؟J`# PDt*kX1Rּ@`_t94c檑XoVvV8{ʷ 2FeAei|*h$OI߸qz@1.E^ɭDEhp6Zy6*2ۢ3CPF Z@0EdF"nt_o<t"5’H1i 2 %T9F۰eE P+zd.p*B,̋%( Yaa͓Ru Κur͛o*j*(CcQ4yvb{/UkR}'b˴^Irs)QuE [ ՠe 1-g=#%{穎ak#.v=ɗiܴI]融;CyΗ?沉8t1{rvV|ʼƜyDR)g`a=,S J6|BYc]xWۢS3DPXښw":+ھʗOB;R./ 頲Ǎ50߅D|z_>2FVYk JmYrma 0lD=2f(,_gIfqk/vc =ߵJgf57R/LNIp%Vwް v)e|e3jJh,q:$6#O bPw扫Ʒ,k-syl̉#JYJЎ.&Ln]b|<}(ԃI `V`BCZIoZBqn1LJczcvg{Oyۮ8L&`5P!>3j6l_[Qxb$[~E0f*zK.|a~UGk.z74M,OVa] l㦉 Dw{D pukZ4=;޻v66&uUByLGؗMbPkUơdfCK2jܶ?l#~ʭE2]\oDr#:x075eHR 6'5~_-[礪LBM+4O/M/; q Aws@Ƨ_/ kOZZq ~!:pax5`@ˆ8 _{cPvaWc8 |30DKl e6NadtW{`zi MRdb8Xw-U/,Ov-QXe-g>)ncԔt~\Rm&Qӓc/{)SumxMPuh^2KO]Va)T1O#›;ti|v' JDdw">GxvTٰM.a]:7^v٪+DAA 2`Ȃ-ad}/imrfq絅ӄ}Uk{@EIXW`֙%*#iJ lAb\,AHᡜS=V NY ,1֠9biW * V͐QHt An."¾줳tN(%|) Fxhq x0'; `^&o7k&{,!G~߽VZ؃%eTz)<+XUt3ǝQ =a?W@g]}Zip],mz& ZٍS 0*'d8ٟOORywq|ow.;/41zI_U*DujmDE=KEf!V1莭X$Eǁ7߯klV4+ðz柫RC9h V:?$^KHFn>2S[׫؉hVSyݹZ—)bޘxcm>^@Y1{V4$Ku)}R\NC0v)3QMH&g)N"Go ɽ=TS -]$› jhSR;P:Y 5oMwK廧-}ҚQa~Jz=8"oB&-MYX(ù3m@|Ou\(a3\ι@=ɣH|R?2jh9/)+2Ψn`dnlP>svyPt-JpAZlfչ}3wcn3h h[xK+j]h_Lq+L4\grXHxhC;Du,g򿝼42M^j aao߱іŬ_t{HW{G|.],Rkjd]cVnb#lru9Me%[:\Ŀpi"zkjF IK= td筀Q;6 sXOyH\?2Ծ>ș7bn'2X`kd͊߀ݤM*"'H1v,"]\mtPC5[GtolbbH>,͸AU=?wP)T^}cǂŁ\ jIf17/fz%%')ɢfg:LG`kZD{xH3[f`&V?wGSE@#kh pkBz$sn.P&)2cWJJl%uDTbCO_)l:*v0~j:6 siگk&c$HхAˏQS*5QC#c &Q2w>>iMhBeҋ1,?K4&a FIݥo <Ḻ9um.>Dz#|aA".(Kfw7 T34Ü]ȱ[H(k ,^<߼-E·mVk7)[CELY1-$_ *90RyQ)x&fmf5CY7UaBJcܯױ8"$ چtL v?3ن[ 6G*.OWskϨ1rsQQEl4cGzY_0`2ZXGumb% AjBmYVVn+)WFˋc>qlZ.\M Xl1"|ې r)8ۛкN;hvD%-RlWfY2Pr*Yd`tz9gKdgkcR~ !dwRB 01m3q>Ύ`Jz1%%fH|/v_ ҆~"eM;ETY#&ɓz95\Q0vIvϧf*Zfا&*gD~ro霷ەE2IYP lHsVxMmvu4b4_Kj\ẅW6 &b3X3_n1 a0arqxU_/m nyI8hFNrYE!*qo4fu8 KiHrhf47r֐7Mh+5~ʊ0!CrkOuăHgwƯM.oӁ.A˟o)d4 K ޶KK)$:F[x&/ 0aw;rCe^v{Ra8{7"<;I_C qOBo.o-{}?x \`cDh vFg5R)xe Y,}yX;pEepuBAΦEZCԳV4%|ӯDWp|^a8Wc%}:?2z>\=A5nf 'N::Rެl&߁!XD \g\.׷,v9ƃR%|2ᅐ4KyQu/䜫 xm @?O 3 $7%E,ۧma?rgIyxfd*r{ B|e''̄ n/!!2چ m0Vk9ɮ5!GQ}ʕ薑f%JbōeRyNb8ar,Tۥ8 lb[P&Hc%b-s*Ј!7l - +-Tה.'MWJso+ѱ0.9!yEԟW l0A@p5^}'Y[q2+f}V8C?65U#kR(+ߩn6bXFzy1`(cNL> } SJ+*daJg bljԴh$B9_ORaZ7 N? DO,0jǹZ"ij"bR*oHڡ>@}hneiLq3(OQR9xa_Jq!}f]K5afﺓ wro:2`gVTMerN@c X΋{($Uib }?FA'*h#3ްֱJy̗I&wOcOUț\i;•JC0;-¥%}~G e: { jI%oC}`aӨB(۔X s;+-eݻKlL|[ "|̔,2cZV@zPX"'19$+ M=%t] 6Q.b?!rJhz®?LJCzVx1XA!w_QOrGa! ݄2Yic2.ԁ,X/Ć6g]%\s(l_FUK~!+R1 6z8nlC)5ž?޸gyiQz^ԫDnT٤NsIwحb+j{ #FSPṷ1NMHf֎z&ĩgVgONׅ6 _,0*}a{e0^#j*.4iJC^T_3n4%0AtvoFǕġ",$! 025zpK*L xg/:3e1Q,@u3i.z GJ?co@pd$e٠ V9*+Z~}T+8~Mک{{%`&{mi%glӆ/m>f b~LՓ Y`Kv֘M?J"lgo$@m U—݈ Wb Ps{ͶS-9y¶Z"!_W;AYm֒yG1C-\ԛ\#o-CUx&aY%(v!'0_M]E<_wRV/I^R%s~}fur=c)TV8!d (i %gU%?v -F{~g6 t*/ ȧ<ɨX6{"_(g芑LmžH> lVOc/ zj>e/Dwś/z{ޑ$_᥆(C4rT*OILE1z7V0u6ل23:?Ds$ͬDW JO.UdTS1ɁL3L25(P8V2煓J;t'=R|a:y'SKr3]^;dC0BcpȋRfӜQ^9Yq1|N/\ɊPgkˏo2i@PdSC<t'ʿTO6,!vvϡ;iD-{r T>s; y>08e& }&S醄lJ7|DjЏtoy]A`?ʅ,tW 2S3ޅd^O$tF;be~Mw^¯>].(+67k5r,vYb&DALs PxϩpV›RCl Bh#Ɉ@`͵E~vF۸+l/ -0eZ7?nW7ֱFr(]i{aqYyF-LMu;e Iohy$~G] hQ1l3+I&szE©<4軴Ț3+Kr#?Aw$ {7f#JkٵOmXHjYm`zC=MFpgܶr qxW m4{PPY 5UDMd3¶v;8Vl?*8'q:T8\.F[4\-^Hw!_@ !ZPPĚN8)';Y sZ\_kٴ*/C[pu7r^L,T>xHlRO>p9K0ȚͳXcLY H?5, 8a+aS sr;G? S|pڥ=(m&?9^DE{{,>cc-5H^oN%8Cj˳A=Jb5bңq,8]wL:qUg~~cȍFтHf,Zz;(Bo~RCa5֥?KXi1t/؏MeQ&GH] Euj`z"хD5^x݄U BZ[݊-NX#^}9 Y6>D46p@eU|/,˗1iW]Pʔƙa&\z"")cs춑XpL4uSv^<U78Z߮.6Дw5RhbY#&P=cmk3-y}ܦweV'Jsrխiҍ~—7rJT(-z.M?* ާ?(ane3֚nBȨr 5wr-Doc:!Q wdjS l(aT5vŝj{y%8#&SW*@>%nq0SU=@u-}4&3"pwXG_e#P$z~. T&mAZfylc[ZJ``5@\vi_ʬ{Av]z'V ϛzZΗ%B9́a/|pV!$R&\ta@q17ەXK\g8!?Ϲ"=? 4ﮪF5U'-ƨIoZ cUը_i]Syʿ0?m 7.>H0=+BŒVV틌s=˗iDd2SggQK|| #I -§ h yyH1K<W`yk=M@TAe<_`Tj!Xڪ96.Z9HU5sQ~d<^Ie87]i01}*Im9F25j^mt k<{- ?]q+{B tz==KY,)[nh >6HX=8p\)V#VɎZJL1N08Dԍ&kHD)xj!A-3$ŐiHhoT%._H;uDPz:󕁽˒tYI_.3pR'À뒱`(7 sj<"[;%}EKgQ5*ou1 LNIc>9 M>2eo3%`ԕLڶzua'7& GFr=JS $5ԩ f->G`z[sN~:C?hf;]ȩnv,/Y8J24+}pP?enR:[W$ srK9/2#i 5X'2Jl}]7,Vw0>% :ceN.@;&H?YAZ%6de* M|W`-SO?I0EVR `y)$x$Lc|ӚQ#;e ' .H)7,_iO=e4T/ z BgP~%;FtNwhm^OBP 2O.ʷ$4|8PPz8;$n}žUv*~*n>('r~!R7lGmSqKr,-R9 L=|١X ?ܤN=O ?> ӡY7BMd)7ٺ[I}櫓/'EmJl}Bơij1czcF5⇄dGo}Ţ$=@ϖ_taFt/L}zy_MqeélU#e棋˸u(;.>Ha"FZWn SmK%CSޮWw /kN]M<E%U 7$hk&Cgqhwr|+xYt:&̱gYZ EC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10281' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O F]Άxʆ5.f-9 rq;6h˃>!,ī#3~"7&VX <4wOѨT4Zpa97Pxܺ )ЁT#7sL{(տ9g_9A8 U7;DN|c8]z! KxC2 o䧯5ʈx[t˩wGpY n?6; `e&Z3]%\ٙc;i$Т{=?.N*={Xms5R&<ʅ1,h28|q=F|_&{@ɠ4/1 L4VN XW$h鯦_wR͚%kl㜮ncUf* u:%Gx`i,->x:\*kЂa0bե/"3S:<~ZUJr9$sQ[ qz}N^Q#6(d9:fZ(ٶ@[r,"'" »`Y_TLQ"l![3H$ƯԦ{55uU[D "m8.nc sܺQe5(}*Qz8n%ZB) c-I^^.]O`;x?( I/އ8`ޢĞO ܴv%^" E:asy8 DJ^عk2w teԭz0:EE P $} -%@[VӀ'LkAPgtֽ]}4ttKzx59ED:Ev'+lTG!O ǩ0`J_sL#6r>دkv?yK+fP^J ņ{fnzvP>gS“,N3fɘ*֖bBD@ y Xo9c΄)Q 'xcq)6oVi&%pbddڸk(o)/`x;5t[:&`1M'g׳"P475!^"^"&5A@ɻ"۹E$qdPwVc,bX2. F!Hy2"d/ =f*9QVX`iDHqRjFv|N,"#7ʒg+'ZHᅇh{0rCкF)50h5eL\J&x XcNHL;6|g;gsP jbt{M.)q".Ȩ5»Dx/G1H0e Z\U"'PwomJ>&F2ɋ~ *C2ik_B2?' S06gG@~凌T n=i Ux4uؽH ~qK}neVpzdӾ0l2^{jk%jK*az>;e۱VΤD2)Qthri @!`I982|E! & ˸r} ArQث Q^)53Ql.Fvx7M cP̕*iBp"=JZOM >2F'Ͼ| (s\u_!.'$#Jg~ϓ ӱۅWP쫡W:One5 hm]b::aU)(B j5!*n-uR i~ݠK?Lrls|~^ߞe}㐴Rf.HfWrO56N(#,n;hS[{3_^^bQvJ͋)켫I_($X'KޞUvh.!1 !SwPŏ ((鴁6]~g}YM[nR~SfoWx.Xǀa[BZ6] Zakdh.ArkLžPhc!2+v;U ]oXMzOfS1_Cdm^ 铷tmoEYjD̏Pmf`7{v )^ R|\hN@3@s>a2|l{XwtK|ﯳ<4@Wb|('aI` dB'bZa;V[ltY.;<"n>Hm J|ʺ[Ў0T(gYZ gxg :RPnZ)WQE%A z1c@GlvKȔĻd?z8 > Tѝ~]\kxezS6ړ雤yBWX3,Ce^;A3G8by˷ YAO@wL ІU@Z4-pSE)zv]XuI x#s Lk/8?38_[!_`([͜olQ'^9z=N; $lm:\YU/n}R|93LxY^{ñp tST牵vU}6W~&;U,U1?YKq0JȺaejs&洡TiCFpZ@dfBgI-y0O9%[C)̫5xM d 5v{o1/c_Hm Bfo@t{t~| ]/uHwG菥|(_@!{un<:+C0MZXмӗ,5<=7枮7g6іĬ}0` y_ΧTuwFA\m;9i /Z-䟱ɀYŽleN ։F﹡ NT1:Ҿ|G fX9X+#Dy[ >5,ʗ. d9᭗?®3R塴`@֚FFGC![ 3g(x04m @yuMbxb p; ?^@NE,}Jbu{ܼܨ (zWX/VJ>$;l;c/-W#+ٵ fxz 0?,`x;kd1i7O 'Bb30' CxZm5=@#Fe8eWՇsc~Ċ;s*ađܼ *0fqQ; o4}4{j܊C??*?E; ?dI\$Pxa5 Y=u":W1.vWitE0&TIYur:b˝Bv?DM9'bw}Mb431iVn9HX<&9cRTaR#4tƳ 1cp#|-3 z*Mh^n̉IWraPz4mb6&޾E C n*EFQ0uhY/d|K[ AδJGQ W(o3,n'{T͘hJpƮHWԹBr7&=An ,2"̻TtE$|SjvkcN|7YHz7b![VOڢzu aRMM&5~,3'֘7c(9tsG!gT/z3]܉ .QR V; s -4k9Zܛ. 27i]D|;%dywЬY%1(DDr< +̂E.e;߱݇C;^y9Mhju!#"(1wM|_Lm=6x~0@y 8DRP D7#0<nǏo*pV i/N>S+4TjukNh`)P_eVZC*)!t+]5mYxD#Q=38fi4F婊~jS'V´jp>~/w}7 .2JO>f 1q 4fgi;1qBxz|69KBإb=~jC[B`ZCP]=UO8Mʬ!m/ڽC(7@.~"?BՕ d F-%kQ9?7>5f Ty1Vrvh3= cR-8.,\1InA.z#"y"3)eL16%8:x8S5Iġ}>3tB79)Ezx<U!Ӫxe:nZȰΠ/kD/R%#`]"q!PC.>E; ~MĈ iLkE^K6ctM ֫&D!ͥDwCqJNV1R6/pP-M2p([S6䩏5r~E[`Lg`ߥ]>*-X %EJi[L Hk.1X^v-')côshE(zvK<ǐGjy(PzF)V'sɯޥTdIm.kN?$d: ԇ%TE^~LƫD؀Uˬ.Dt īW;*ꮰԠ {5i@DX:>oNaY%ьLG/taXV^%gK !y@]}6,?\#:%>+\F"!?E_܁Nﬥ{G {+k 쬝4iHڛ* / (# Z L &Bi"@mTd?O)w, iP 7s*[n^[&K^~7ݛ\kz@Zs}cmKqc}E>6yOVd[ ן񛙨ӠŴW%t#Ow۞hZeyCz0/M m; /+H&+Xԟ&HHi$} y^<PNT&r=U# VOe6&G/;(>p-ݝ+k" '_"恜EM+%9ztFy 0qbJBrg.\ޜ\DlA72} w5f}<+Q4&9O~J > ¬8.cIk+\G60.#3ŏ[2諺 n;qb#~o|Pܛ-4"&M`K=$BrU$ +qcɱQkHgKjܐߚ>9 8U%:+VD(T4w,čŌ8 i*Cӽg8N0 Ѷ!ːc[r!>~{ۡ`U o*g9՛خdo9"2H]}w 礘k!I|FO|0U;e&W@BmR^2Reݑ~bGY ~2bp L~_Jȫyf\J%<1m=>Ϛ =0gYZ s+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?;@.I#q/WnMoXKd޷fj~mz bR n8(o4ReXk :D)@_Ѱ#z\JQ!$X#!nr2Û]S[鲘F$Yuxٗx>Tp0 ύO$Hn,+ B=ZӅ hT r}Hf;FqԚAϙxѸhXD׾9aYpD<[էr"p-G#/ҪY *^' ! xhf3VC27pZU;wut4IM;ʽ]oG=tMwѠnIcd{8}8}l >0罽O)M/neNK3}Q,0 dWoأf pYOaO4/g%>e8Mf J^֌ʫLvpsѐ FIHz{mćӰ֣1Zq֟ ZU,?{d"]/!@e{" **)3wBXV6lS:ADC-QNƳͅIÁ sDuor}VR'+~oAijk轼eH #aX? RkxY7bVoѾD`,kMu+*/*i퐥źżܝSsх4>dbQ Ap•F2X*9y-I$sFݳ j#$s hޏ bj/L(EcH)?fYu/IoJA7SSз$KfvA9\L±P.lt>;Z7ѥ j;aD1B׉@ m ;Fh톜Wq>i" JI^9mOɦ]l& ^"ʅC6ԒK0ֶ5űq.׫Ѓꀟݭ%Nt2?R) cP8yÄz"d[s3ӥ xz^3#C&#}2q 1RÒ=^HK,~@2aj)҅,UخgZ6b;,hA]x$K:9Y"#g2%K`B"ϐX"YAwC4 1w~`~]j\Pc]X 9uξJ+s}X,",hQ~X[ЧMɚ8Fڕ2R&`΃ _q?76HZ ؒl9νsTeO1Y32= P8E?\dj{ҢPc(mN;a7ste-opw]% IDY$w9W 'Ó3_&Sߑ4t.7"h_jǴLPHT+^&iBaj[YTTgShahU]PYSgx0xے%Ey9<ET$BȈ>jkji}?d5_6.2hR yN惏]b>!$CJ{Յ6Zqc Z`qUWg`.ׁp=%X?q4+s iJ kUO' NO,)A{HMp( 7:S!JQ'ydEų=?}Xt>K@tbB>t_#xi$͟:*8'Ƿs<[b59Xzw ܠp%#rbMB4|+SdOngWd(yCLx LЛ(a|C!bY5PkU/ԏϝ-TJbC\P6#C`ܩ Mru<`]Ah)`8f$YZ[R HYhD{7 % +R@:YSZPbkFs$ j͞?m!a'ބ23̞j1B#jZPR ȬK}%OHr w"sOQNsF3vdw"3ƥ={ ha1,>?&]9;p SQ<&N&Q&/CD瓾-ZRVe_,w0W႙uCz+[yj|%%ĐSF^lzLj?RX^&g#l1h/J1ϓo;S`62zf!iMgGѭv>66ODŽ*a֞5r\/!{khņZ muPnn5j104qAWZ""IRG-%!394\@nН+a+=y9QNMF}YDK,$]$2>Ae? 0mC9j捞4hO!l{NLgK5 úfH;fUw l9uت V?RƆ~4}x念+b?8%?z8{38A7Č6;D.AauLqcHc×fl{5j2~%&%Ts'ϴ8ʁɭ}CG#rd( 2ݔ5_Ec/, Hj)m 1);.zM<<՞П /LU!_'fSఴ$10 a/x^xԈ"]tbvLvY]=\z5O`ZWVF$$|-jrԼE }УmܮKk]wXC.x˭݌[ /3[[Rq,^K , ={\}cp(-= ͤVMr]N$7%lH_L]Ԓ%OsӦ%e!$D~5UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQQS;r#M@ѲU͋D M=Mu."B9xw(Vdt=U˙ѤAR>.qx(խL:ICNtq0K[~©ŢNI>Nr4=Xd4!^@M0Rh;o0*^x'BcA|Iw{;E&paBV{4κھ%$kJ&\Mx궡*zkO^8 @iLTԷu`glVopʾ! oq (1ȼJf9; CD *m^s~,oxy/Gv:Z\Iw %;<M{ ,/<%7ur^ۜ<}HD#<} -Ec8h!}YCv3cPj̜ջ7RqD΋b~ ǧպjΑx}@ <"XŨrݡ!1wPOUR悎.Ұ,'%=2'[ Rr~w@/: iKшS",Vcϟ9JGRAsjCiǢ8XN1p5$g!VGNVEF7V:ӕ6m:68gn_*3mʐjԛU~3Չ܅ܪ By;f-,;i~JW:HHZ6qjH{J M Ʀ :dKDNdEȶW%׆qZR?Tw۶{> BzLk8 px-7_Ecp wWciU9 6bS^If7A燏O 2s$05xu@v^;/vNyޒ*cGKiz~~}m*VRT4\EePIu C h61Rw`-G[*%RF@uiD`<"*H0D⎘{0|Ս4se~@ 5Qy~եPtai kepG(v׃}9 OC!^1|T8p\#pkmxX@6SۇM)L ;Er"qDtABq%š.L0@ODBI:?, a)fFij.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+']·Iq n[:|&[zX*;O9=mt<,kDUAz-+P`jk6qFяcֱHBV,Z_+^Sv]OQ8S-.b{hэ̮9.W 6gh+]_7o;$ʇ!@ˈnsfU&sљ #A UpnSĸx<1#3!:2ɩ]u^C BqfeuFsm C.Mdven9{=" :;-f$A,ty86I {I<+]fMZj,Sٷ]8Wvu+Kӌa}%6"Y;´I)8uTr3`z݊'_G!t҇ө.^/~{oYFJ̾*x9S uo7jg74ϥ f_Mĉߥ8P;qd\W> nى$p.+=|Ry+%c1° Jاz'7t|UjHb@/Av4zr @ѨΪ`|@15@fYiPs.pp jAC@). coA[]~414 w? 'NgP7IgׅKCtA*!2ߓKP@e)#HdyGaDP©u]sF/X܇Z$~]\81^ +)jfBˑ% aVɪn`d?$񘇧W7ksѥL)F-n1R>` ] 䝜?K1Ke3Fq8eJ0]XV Ua_NW5 puɺIZWh9l,{%#MZxxEw Oz UHrm ->*Ei$( Y[ [NLҰ W堺{*J)q޴>tzfeAG1#T~vB:o 哣8 CF6 9w~M-Ӎ蕉zFO+^O\PAFQwUUɻR+T@qXk#`.Y<{ltƪP47Eq[u^56VQ wB΢ o}`}KI5 kyY_#ݶ+td Jiy$ ^"xߪ)n,]y~ ڇ#=)S`2 0R{)4 TQMpYW  e+π߽Yql 'i =HInwVK{=ĩTPA[(>vPeFFӬ1_ՙ+Mg^s/ӛj @{ #`|k3M 8!AWbye)]q ~_([,:Lb`۰ÜkAe22V&x=J K.cw44zaO |+aw0 $wjJ#,9=Q*9]^Ш6ALl SeJ+.2+' .Qw'zAl+Hpl*Oªs'Lbx $!oτZ[3otTrvõ֛ pak%{$xwyM7|{`3O(||@mQF_(LIzB9Qpg+dU4Zk)zv&EKA7Z2 &[D 5׷Џ&t!9xmK ZU09 <t7O)=شfq+ȔyԡC*jd*8@o`.MıԨc9? V#+]s -zH8F<8(73}4Gmp6}.֢q~l˵Ӧ԰e&?2'#p 꾡5-slFlrS`(wg@ =߿ʗtMt!_4jq7ۙjuAӖo Vwj{u˱͑vMOV[bb-5Ntk]Kxbr F55ivbR#j\8ְU5ڽWyɺEaCߛe-\6ŵ `! +74Yn_Qe ^Yyƚd*[,%@N*\P*ۉ!v^R̀_.Bb'SlWe'Ot?.ЅJg>SQDTL-Qf: σ[?^]/ [m2״1!bS]pL/擌/bmTZ.㜋ee&Ŀm">^ s](wyC@\ee YM8ApS nh vo*#>xUYɘP/]pn[X~^W nJaĚQY|K(S \BvrnugWnw;[||eozbŦkd Bo2̴O&m j36=jn#b*. \z&;-n=0~Mx2v)sZq `3v6y]@6wqHo&M8f^VCu_Q‹d, sqgYZ XRX4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UO]·Iq n[:|&[zׂ#pi>`H)H}g)D2;'5[MN4WO$SWJR)?Pܺ#^@`  R̆a QJ:DWSQjC̸QP @1XCOZF / Lƨ`D}ˬX3٨Zڭbʇ47U櫀d'\tق@njNU`}Aƈ;Mh  oc%uLO Q.DׇV |@7D1k||C6O:kdOxe].#_?E̱gYZ+'3# ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  9]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T3^Q,غX8j5 뺑kmDJvW'H^%w*)\*$ƕDv%jUy<IU t4>ERiL])<YA!Bk͘mUgѰ(#XV_BkHba\ Fn5g(7YCfuY9+{\M-Hz'Z|S2v7zj˫U<ꖥ=}/4*`vV?1Q*8gInBO!Yҟ#=3|ۺVṑ2k>M[cMoYpZeCW Ur`M6c-9eijB |A/)T,MxuqsGiaddULXa69VVpys@:`Ѯ(^Ƭ9հw L-V 0PzX5H.Oab|myTMyIbբ$c˫c BHk+Vjy Ry LS@Zq.h FѕW>O{*,&`/v w s񥞡HOӉ(I`h`uU8"#S.,*X*16nhw$kҍV`,}jKRWBǎkQGP8<JW #ɊڃxMWx挖dp_X_5O2>W^6C aCc#ݳ)f!M D7O%6e`3P:`]J+i{dIw _[z7.n>V f@El40~%;8m:zG.+Jj|V3ۍQ^(wmI.ٻc) 'q i:7y;s˯u+5#$x*1z0E\>50b6Zѽpn0o,Bqzg^w֒IߜKA5/hX\[:8׸!(\BfI;F@8.h6|$uG&i|vViyng!?; \p J\-^F ,H`nfT(/L}Ua'0oxǕb-zBK&7fMO\h!(rBQuFRH"w7yBec-?YjVE?>Px]Hrõz#f]J'hv3B ֦ <QEvWMmv6@ >_VԽ|Kl [/>I8o bsM3fs>-Dfaf?EAMfp- FvىU{5J]Ii}KLR|W66%ǦDرm|3N#qM˕M0ߒ ÉT (%Z%ۃF5 ­aCD]BFҮz6h3}T$i-EEJ}Lhnap2tC<ۀP);Y36u_NSfPl"L~c9[ztHbbmB]F4]UEOdXDĮ:Y A2]EN(Z m8M CBuh.N4ru,En:^bm龍`ٰzN9*n*IuSy!V@C<@C@7Y4~]?ޅ/z|tJk d,YB)!/#(.%k:2u*1ԫYd<ã!`=;wnMY:W~mH9"-d ED#%=dnsO9Am1e$k)GN&{:+ 85H01T#XQbouKrX-T:tn"bXkG\$"w .OX@70qS/kZdN; r*\AtVF،=:7p%҂)A0=" &!CdgR5NptVaҋT!p`i2^x*4r{ k[|թHD2hG֟::6i)9?4Smy*jPL8D&䢜}8M5EB~P[Ϥ6)*ƹ"\$QWdvukʌA{]MkݙDeѠڬNM6-n2䓞ld7:TdUJJ2> M}2@{aggJ[5f)5iFcEYʭyk~:Ur~K+HOtBgYZ   C.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1-+-ZF-InductZF-Induct.ListNPIDE/document_id98G,/' LJͪN xTKe{B11c!)**6VH+[E8c֔s%B)>~"$T0-c1d K y8}dMX`v;!V&WMʇv c>3ߴ>MΦiDK5?k/u#S%ٚwTc7]y! #U3xmybyQޕ9uN񴒭\B"k5 "<ޱgYZe+/# |ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*v]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM+7Pd2g&b#w ZEK/V>5-ҁ"~\@Fʜ*7㐬dK#dR1B,v>?"rVmqkK[O LpX|?u[kM7i`r <?@j0J̼D6J31t]ڼ*He#;y cPp#i)3H5Jx. yvEM ր TOB1yZêÝ(˕1G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thyJx #-2DI* o:aWrw 8l(r_j"/!yEp<ɏ|8LI-C@81;oy?Dj=8| ]n Z-'/Ul IF0>R3oܚ|Ip}._M|\Qg,I,rgPJvCͬol7($Ǟr'D)YpuN+E(τ~8}0m<0;cܷ]۬\r!}ox3nkJLMǯZq5Aj[zʤtkS:wEmba0.e( aW/جiwϟ]@#Yrq%㕕pq.T>!MIJ2q)U. JSH !jy(k x{LA U?>o~?(+v^]ֽ3p2@kpKYy",Q7 IZl{YL,A;lM~tSfab_TV-2bTO %Zq(g\+:`A'4;t:+'O2N& Bn3q8\j&УZȈNwI [K>)O?ii)Bݤu ׋A cPkx~Zٝ^ItA 09O#J{ۇ 3qv[(l$ۤ_ZM%KhѕzhIޗzZۘȁt:Ï?<*曋j=* j6 tOV'3`D؎]D|ؠҶm0#l#Vd؀(qjר 0za<(j5䭲C҂iGA9/qT>9e"./7샗) F36 ;5 0Y(~BR0["6' 2uK.qf漘S~'9-=&^FXrTrʽg ݝ>Ir3GakDu!Dks"̏P<43^Gw;%Rt #&XMlj?{Հ~/ѕ#>2õypv4./`!$$j)tk$ (hUyP[NF+ZRkU2mi,:)#T]yhkB=Zoӿ̳E {D;5~hpS63MrSGvu $6GѮŁyes({M@E<3z2$3⤇IQ:I]A3CsMq{`ГXTnoF@ZE+nQ.OԹPEְ:wz2h(Gj%g^[^Yk:wnϥR5`b/AG招* hW>} e//*=&^]ZRd >VS- U2ʚ_9MZé2kӇKlp //#!08zP4Ezq0#u׃ִ_ۣq`JyRmp :\e Qm`o˄g*_ H~$:d뽅i_'~g(HjIH(^zDb7@I4RHW97hecRTDJĺڄluhO,5jE/{_ X N%YtODd%նak72t!(׿GuW)gqsZu-nZ@of7rD5*`csi{EhCzx(Z@]! #r5.`x~M0i=~ cL2nRۻ&o~-cp1I+fog ft["^heD/W[pkq|a{6 ,<^%4`6<ɹ58zR9|$\"AJD'WU"._{=\{1h{#Prpx^^P;͠\3 ؕ& /ݨok|NKUIf e5"%vZMU U^_ͽqLN,Nػ'l_qW vxXlFIz:kpm}ug:N +*}L&@GύH5zk!b#Ԃ]M„)']9WԲBx7(napϜFK_0cR#3kҞ1ӼzRJ}Ԉz`~ J_?MN; (n4l/3jƦcC_#LfCR3 A~舂(MbS[v_d"mw6-cP`ue4C>jK$ gt'):[o66]]z!E(Lw ],h4](s_rfj +_>@a Wcdno'JOݠ==rR}FK)Bmۖ C} tA4-,R99@Un648dFĶ}zmtSfՋ ae;l>h'S/0MHn|buד灃.T]?I>EB'&m d.{%K=ܒ,.Wʗa-o4uBM'Ws&G,H2OS%WG4szۡ27c 4ށ>[{[(KkLX]6HfƼ٘&rV;*g0vP~X'2<7~ eڟ|bWyRj#Aj^=UZ hYX,+,"AGisHuu|fjNy^,hyzZlϜtZ+M^+s ?d6qZL{yPs: jCoEA49]f/9iUI-w*x75nbR1S((?Oփ"b̒4{gYQ.ޮOEbw !i 'AmxƤJ tB6d|`Jt=4)l_QvCcRj q P0ʣlnw]Z#{8l:}Ǫ/g^LQ]0Ln;s(>G0[Ÿ9VŽXSIub!nH;ewa.4 Џ1{y<5y҇hWB}i 浴¸SeE>;Zv}wYb!qޞ ιH VQU7vIQ;ҔŸoFŶ=B;UwJ׊Zwb G+@%B#9Y5~E w8jTҔbkbnu~5x!dza կn3vr?e#{gYZ bb/+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U0]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CWq`)V wf(eNrpYQir|u͒9yp网) xCJ b 8rOs@->wDd |+䃜$@iaRq;g{;o$,o꼊--+w#x6 p|Vv1d@Q ĝs ]Z%xBlv||@y"or Ovs1{o*s^ /k|ޢS}x-si܊0l@W};RoO?bD /DKh8+,Gv:˜9;` ǢQctܝ7)7Lp"o!Zv ΚdvX^NF94͑hQϧб/e5FKSrb4Y(ɖzXX5!-3*96%~A]zh>Ow(bES_uEϋa#1 0P|@Y첿nÎtc#L$3{)KN!RįPM8J1yF21aHA,\vh92EX( G]<mAփ֢[8ׯXգ+nף"wDL'Liq; bUo vP[JICs:WYL+%Iwh9mBxsÐ ;Hm<Q~(V0LηZíjQ)?zPݔ!th%;~%j%$M_y\~,}@L|g2!@޸Ⱦq|I,T֪j8ns085@|9Cm "%Ao RQ"j_\AS\cի('"7\fo"͵iW@>jy-^mԻ't)ݣm\BAN5&lu9hY ~8j>04RAABh>"L WKfUZ0`Yn'Y/Otg⋶ ^xeWָBcwDGz\Рc*M⺄C-r߼F!(9y7KGte EjCޚ(d{Ց \1p'Qa\;vQO? .Ji_3ے(2&l] ,rWyVz f#x7ZeYič_@ kR=?&\'WAkGV=!BTZ16isN|,` ۻ @Q@"Xy*p3;E-$!G^{EVA5[^[Z%=CD"Dc|6za*bdjo=N!jO]ҏwXyn_,EK խHoIQGg-23+Yǝԥ/~JQjAl甆JOp :<$PEB4uM(LM1yq^k1Q[bĐSQK,EH{g-{ckvڸ, ù٭3<{ﭴ)%IYՁE8/–;"4r<ƭZCu烯mTgqqBY9:ilz3ܸ\IM=vr/S^ H)m!x{u:< /M*{k٬v?Wy##q䮼K z,JG;!=ٖ{XS5 e|>DJ:pT`FP{_.nϯ?q%$Wcj!TՂg$fYPHo`| IIokGh*ŦCMƾ*:р)Èy 4{-ĘB_Qs"s'1[H9k6btGm.ti$]$}Ц#Nm4]nQР!&RS{ͨ5U)qi%,ߥfoo\P&BCb05|ӐK ‚ M5{S RW7ߑ` ,A$;$'xtE(76@rdݙE,j`}#[K IA(}{T&fp6˥ȑX / fN:<>/9vo3|B/ee%a۸GPl?J2(ĹAheCԣ$ˆWt^ 2ԏ6R1b?, f;?`K4*7(*PVhJHϡ"|Yșeaz 砶9$@BMn WW,7] % 2!2.j/o:YWօNmz碙Z ImCxu5@̍>z,g{=pяB)i J^Y@OpgVpցp#Ki 0O%7JϑC(.Q\N[ؔQSw,R}35`ub&+vj ok\RicpGۭҹ6j1 eāyfkmO,xa- yz/蜥(> w ҦDثg.s3x-XH4 ݋,Πt>է?Ѱ8Z_~тUDgЅWBˋ659] 53RH pi ^bzmN85CJr.%6-!4ǐYp,+'FsD'u}7-v0M4L'nPedTRH@P$fٽ OFTg~\nBzqT٤#n߾az0O <[f~yPc."_@x؍& ;?&mk&wsTӂ.:X nҀ4ɹ@i`ij% \-/W#<Ԥ&7PKWή`kIأ y1l1)j}KKkg3e' 3\ Ω Eno'to&Z$#N!=8CSy w+~Xqڋrvo] cY=l,zA+,K8x 'l LhXkjlGo> ĉ!SڤwJ| 8T%ۯQxPKe:Z8/1./B\۳ 8z`5i.77:y .G݁IנbF(9ֶC>N+;/@Y?'u'PQ,) e0eȻo5na8Gv{%OnQ҆~៶{@6N]s7ո唊\zKhzWwh𹾩,E6,iP5cF>GEfgne@.cw7+l[# Ԭ)g ۝:/P#^&6=e!<!p 67%vtI 8]15dzm ʞxcjj1F$swuۋHVh )ɮ/I@zdHA'd4^im>,, 2@jtI,V! $*8ʄciI|@*ĈQW7C6he{̛ŠO`x)Wvϕ=%kQA:rwK$G' dru!0]Ka= ˜%JH!eɜі6 t T~Was9E'SjEQq@'T>BJVNMnhA`q]T,zb!,N-". WA=dS]aƜX>1$G4G3/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy42/-ZF-InductZF-Induct.PropLogPIDE/document_id108<1+1"ZF-InductZF-Induct.ListNdocument/citationspaulin-tlcaI0+' DZF-InductZF-Induct.ListNPIDE/messages7zXZִF! {Z]·Iq n[:|&[zׂV`$f}{?Tŵi~Ga@#9"?SPv(,@ `(P^%nm$MK_@y1O"VXTldKoNy QGnFW}}@Sik:4C˥_WKxa>.=p1v R9m`-"(篧5owcjty|+L{0X9q=GЈ ;&3q^ևQ+xl*`@YW㘄s`򷨂&Ӵ{|&4i\g)ǏU$RDE3sc9zPjuиxMTˊ4kn^ppf]g4'z1Zb5B&"D3ˡ>D lX_.'B kA 39vũe\M4.a{vHu"~CuĠuqA+ $sb :E+`2 8mV &gYZ5 "3AWJ Br<$$K@!EuzoG> _K1s$7H7uZٍW? 6\imB5 Gb'[;eӀ9pTǗQm">PTn}gjPo9lv#@mVv=+֎cW Ler2!~iZrǺT[]Xu.nV} աBz ~urХkqN qUV%W+ZG{Vzpk !LPʼn~+!t1ʑiة@y%vnH3KHRu]a%#5H>*$BRRrj]"vN;ϊb% (!2K#u]x.ԇyFk)J/b/.b3!x]]!kJaf S]Rbm@f7_ q.SrKI,v WUȲt>KiWΑyT -Eó Dɡx;*G(qXqjO?_p;x, >wV]sbbηPW7 bZtuuE2}D'o&ZVSZ|#)?@f0'c Cl3Oƒl;MJ26R&Qo'4nXJ,!^!zߦq(2|G]6:VV:o%,>__0V}~mrs7H}\:'yݖ-l _7^dUe٘$ٵ9 #B< '_y ZEk⩁ʅ:P-jQbMas6qaXr![<(z\?{- 9g*eͼ.e'T|ITB^g Y^S+5_Hl)Gv3NE I3o2jH%dȐ٣tȥװU?0aWGY'$޴ _WlC|WBZ:dZou_n4V/ u E{UN+qT,XnV?NrC#(~qIfCl=vHA;*߸CV-Q0T8*]ڢ#33G= CP ދ]~bxfDMyd襉|-WRD4ѯen<-P}'Z ߗj7_ fco]TC|M֘o~?tBX-䔍0|eOwcfcY@A9XޛΧ^SaIctf!rmA6q\n4G\䉸+YzܢO d4ڥXՋ5+q)4:[Cћ'膡]i)XP4lb[JQh\VO!9Ɂ={Bk#UGIc\SyV4>!؀4%P- {7w4oAr&?I@&l[]" @5u{NJ {a?Ybo7RA˿Qd+T\w4p`N3.蜸J(`6>.p X!Fo{^ @ȇ|v'a&7,8ZUuw\84Fs!G ,ל XiڴI6IdDzb<8/6v/FFǾ\1V>SfiFrq{6`=iO_]=3;-tXG֧`Il`ll U+ FB9h\ySٻwXFa#uO.e~yQ NF.2z[!=JQQxfoNUT}XF:;KnVK?w&CH9AJ%S@ Ag%Z-LʧjKκ:ő ;6ĐVeq{B[amyA[bc JP76,S%4D>Ra5R'_0vjF_:d.τ2)m&,vq0 N{=^&j,&0QсB!X;*1|w qy\qFj̇u)SFC6w'cԛW^&[I0r_T=Xbq榳7ɥ/wkNDh+ΰqpسE1&$Cy6&s:i{KP1˄JZ?ڴ{w<H6=*6_NM0F=< bPdEJ j]K45#\YEOh㬘3$!G3jHLÇd%.@[bQCn1 |Z .dkװ5X h 2]~k'IBœ4^İ3%D\ǯ(]}Ѭrgw'^JXLL)ouuB:n@jP<~v|Ȁp塚)S7'hƻ( /0ybb>U֞PR$Tl |=V6DWWdClZXֱ\:Gr:w|Dm%T^\I6K{=e 5ݜTї vݭF;O0 ~FN[TPeYQH*h>[vjo[(xG?Ek1q,ve!.FD-'\7 ilBC(AP#IYUwG w8}a~ 9URs8<Ň\e yǨ 2V|>˴Ob$mĸB4M4\,-\.}x[?sk@TQO+3 tO iF,} [+Ț[[.dn?2WU4ppVI1nCޥ7*>Ϣ<ڞYu\x ,_ G!M{VѼ/ޣ`4j #mHvE"8.k*6m pT|D Hj ߼NEBR/f+EV!pсi|w = ɲR e܋`2QdF׭#.ƺr&l6pe,*UWKXIxH{:닚hO܌-}Ƚ҂Il5rolp{ތW#KtVLz_M"CЊQ-$WGiU%$Kem"?:Szq $,M÷W?Weqsup2Mo1,Ѝ* >m{~J_'h=thVˊb[xУEZ%B, i!\[ˤՓML羑' !cnI[*zL*\ (*l\]3"\{MFB@`rn6(GIC7*Z4X*_z~a+?㊖Ua[Kp6^:h4)\@t=3Ko!8 }Ų5#[nwͶ w8*{n7mѻSm+_DtG%a-h( fGiozYBLy{ά`т/*ؿa)'Ĺ9 %f j#ܹ{4K›K;h {JWDEcȘ-v͋?'6ۛ5\Eefv+V[ +JO$%@p\ޫk.1E,qU_mzS@FZ3.d/E1ueţ]u?wn4&ZX/C)iߝ-]7W4{`(bwYÁz= 3V Ghz-EVw̯v:zPX^7y@|.[Bc65gL OP)OI!",]eⰱP=. G24Ϫ^'zِQ3^wؗN p*xO7ͳweH-Ğw$Ԁ>g"ީ?Ro=.Æu3YyrΗ1!'l'Tu^H&^J1unY-;ǔ73C?rVǼ<.r~ں93A)i¤J<Њ:Gx"Np-gxViv݀ K !L kw&fdZxNrH ٿFȢOE,O3ug!G#,XsZ/!X*NIt^]h ơf]f#:8٤qszp 8㩪mĬIn[ڪgS))fдd#}= K2l3'S!,E!u{I_BJy߷!CkLnU%}4&M/jxk5eq4+1.Q`"KOdT6Ɣ.lWJԔ|cdi(*vUSrQDv󴽝&&G@;AqkٮoL$!EBe,,w] @gj@՗)[r#-~bARH@1%%PpǪ[{':p#'R.,SRUgvcs -Ni#x*5˧?P"óLʢ-d}R|=B:fœg a,c шVʪ[ yPRET罟-`7 %(w$F/Δ%ِ$+4D-{ئ1? "3޶v% 9_4Dx>AkK n麣:0W\ԡl>u/F~C鋳$N1ީ|Y!oqWTz)ǰsv (͉oN ;ob׍I9wF&(" [$;0!AC'!R lDg\Kf h0 Q%'Y][,Rd)y'4cDƿj:W75su!X%Ou-XŠLwt2ia60OB8txdF=n#|AY4"!]h =s ՈVս4({hĽ3M,i A *Ԝv5Oe )N 5 $52mSCQlpA$~hm^{j&[<-iGζEӯ_`l#C|$DE-j鎣KH".Sm,"dŝIZ;qLhϲU,|\-i?U@';0-V5Ǥ6wҍcOc7xMhn]$5ګ`s+_  땄 ;!-nCO.c?:\ %s\ؚpu|e5dSХ?䵇WmLYEm\TqK!]WYb ͒gdh[lATp6;TO~Wh4jXjrΟSYڬ6+cWu2V2u/n ,ۡqn vӁ"\X;`[Oڳ Db_aj6~@DFi֑UqEiFT1"&[ 1p=iR,`!JΆR.E^ב f?^/rU@=B3Aֻq;n0z:"wxRѿq@[L-X-*!$i8ZXFQgoɑtOj.?,9~:c铭>EIhf偐T8oiA>Kc'l| oGs$j*c7# ȫ}"jjNFm\9M;:` K8|`-h%1^ F\;(]zp;V̼gYZ  N  G8 )# DZF-InductZF-Induct.TermPIDE/markup7zXZִF! )\]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JFU3+"ԔI<ɭ9_~1[L Fv2d98Qǒ#"|x0+LM;g7bAMKE`94djd,.o4=%'ҩ$7<1Rcz?KXJhChJ4tsdvcW r:2 g_^{H%AyipH>!&q*L6䨲tV82^0*?0Tx2•-'J! %BR-.+V& td<( X}YJWKC=l1!kO)@!Q=tЇO1eˤwI[߆EIOSii]໾ܹHsIwY:A{lGAp1H G.򅙦2(44^~B=a;%.5;Y/Q?(k+ތ3o/`¯馉FH(s굹i5ryBPYwuv .Ba)"I'! (k-C _sGG .@'t46=IEa=L LMqSoWe61rat RŏpRL#Þp HC^n$bj_&lg+2޸x*]c6G'3O3Ŧ1sRӧM+$k3mX03qn_Sl|\<7j`gtbNp.K\[&ia/pm($'#[7aI_˱eyLk8L&ƓW6hlO<|E@;g+@ ]aKҨ >E\ǀ++ V ˱Wuee])|K&= 6xm牀LgJ ʨj q,M4PN)uj+!A6îGB awE`ΌI.%'ĞɰiG 95<.g0e"tM_.qKE-^=# 4+ׄK{<C6&=e;419sDS\0X+/S3d,jLx} &vI-z]). u[He!&AoHIЬe!@s@]*+e"A:A4)d::~`2)Lj0)ݱ-Qgc!%\ fpS^8j@L/SxdɎ1 x'[Gy&沿Yoo<ȏ(`18Ij[1nGEo㲙  ]߾Ϥ9}g'W-BhYgŽx:LjVXNʸR~=ڻe)~^D\i=g&x /Q.EL7A7)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112/5/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N=]·Iq n[:|&[z|vSyUbec׶˦:C]w[cS0eWV} S]8cx:vnǛ M"|H\D:Vdž|]"&Fҵ-88?=~EDDWAMJ j(%K҉/%!&LkmD8 2 ~mu/(NpRۧu$=H"  [&˭2<<  ŭs>vlQG!Rx6bEVt@dEӻh4Sv#qгdߜҦ#v/ >MQ:h=y@q3nB-t`J&S[ ]?|פiB [+ag$Dח L<L;U3몣n%sx:_3+<_&B,2N_ _NL`u3Jl=T` +skQU9s1ƌF' }!&gx^„QEVmQeokEW%@zw}bge d;?e$2!a;gQc#l){kvv p -Dަ_!D9b'n&T^; ~ZlMeoyh@ŕG ?Jeak[~nLĀt>+.8'J/YG؆ߚP:Q` (bǙKHC?R e*͘m{[Օ* Kّ 3^\R<v۲J+e鑰sO(_D_,pΨ%k%r愎e1cCܙhsi qjIKvqj?UA/{h(ŷaOwI@+͔ڝ-cgYZ8Wt{lkWՀ F;K|‘ס%Nsۇ[Ogx[Wj[RlGJ`nD1̻covx)3Yjyi"o y6]6Z|oyzqf@ucf)CUt]1=J}yl2juv '݅8===|JƑO]J.X.JjYLCR]4FNnWh=Q7=Z*5&T쎰 8HW<H yو@w ߚ8aj!V6l C[mܷ^RXDNL!!X%̚<`ⳕ0m1mWuW6ɝxōy$RoR 憇NF:ag+-~2 ~lSv)[O7H( ;MAvWZ1x6Aq[p%vWyV;{//qã7y-y4Ron_6jjV+Q։S0Sm}%a'u-!\JFA\tjn(+ Q{]HӋt5P\P iRjQo*^*u3}E5=h\ɲ2s|z{onxkOUks5-:%YH1[/D)˻|r+ϊ .fx3=_=%tװCҒeۚ?X^,pHn5[D\r0ܠK~Z4]=#;7? 7 UbL &٪*"+8us}UO"Ncu5U8_ueixMcUK4:Fn'îG2[ݿA2ev:̓? ;zT0u`>36hs*E23ia!PLXcN||:wZDžJd^z kUg\ ѻѳLaV_o>֊6pRCD`/`[{2c\ƾ[:Ls!z]|Y%$u<qB"II?Zai=N;)o dK?%()"\~=9ZX_|܄(B; Tf\!˃G+ʛ ,LR[v)Ѕf"f39Vxh J8ab>,Pz{F]vQ&L6i0X(?v ē^aGg%;u!;x2tƗk*92"BQ pČܣ)d%i | P _Y/v3 zNL쎊`sWь1 GcɾČ-;S e2L DLg,87"|+6ʽZT΢2 ڧB-1_3t>~6'Y&߬7dUKuݒ3$!9sя!} ^iCЦű2.T7A(}sӅo#>u-ѺPXV^I?K*K9g& NHӭܮ=`m6Nݤc@B;Cvpa@I)AFJi!N2xve},@`3 ^k̖DЍ->ϯ~cx`XdBԹ#+ۏɵ47i4M\*`4 @G76,9Z sO-y☙]y^d[!|QSBb4 ۺCgD.t UBU$n\J#W%<a˧{m=մ"Q-W 7eNE#EQtBh:D7R*h e}QՈa|]^m7'TT8%kIQg㘰 :k;a/&B.3,3`:8?Ψ Y)B{Ǟޝ5 평!XN•^ݩPƃ {ImT,fweq,ǝ>$*"#o*]="؊InI9 c3E¬U]_&3y3xRHuq7"nDHSNFJjP#@r`riu$>x8T%\D&zW)G$U1dbSTE= @tѮL)?-?Qg#`&l_^KAY`߃ 0z>Z/{L塻+ӭK|1IsFu%+r&=|qU%"Ix{M8KAp"TZԵ {m޸Cifo T)N N/2 `W(¬Q"lɯ";3lo~[- y GwXn K+r 5%nC뛥3v`ˊdjȤ{%],ȻϺ }] =2rIS9@8 ir^cMG,*GDNǧV'x$j(Y WD !qC´dx}q!ZtK~N0ƢA|f]Ȟ7#\SBڙD ڛL9׬L ,~aB< >pduRѕߑА|2E=d ֌Y{#jEFBP,IF-!.pB(j򳦃G OE_I_Z%o8'>45P, #u\X'hGǀ^M`HFeh(xeYRFv],Qu֫븄jHxafhJ\b;ޟh2 Yo"N|+ 9JPBd'oAa{Xf|.QII<Ssa-j_γo}chpՌC-,q#XfkO0a3ԩO%2`FoRREnr  {'-D;֯PgX kmyl䊺j.32'0F9d,ɳJ2zbR"RMNzN !uflEuPu2Ɋ[R$ՊW(lSI[rNC)<`Fa" [)F Q82SC=kO]W5%OM  kԇ ֪`b_I@=?¿ebZw,&|C#HƔ? V-(;{?w~Ʒ˿w`Ih}dxFﮯN;w%iKAϤx(S-IJ(3/)`Df]'#I'Aca#-sW: e?M|lfIx>V<0|.seů´ FhgM,ү{-qi ?'eѡam;T{_FϘqfFRlŔo%Ξjir肒 ԓ|gmCWɥ(;t"_1AA{u\G.տRwr{uS(j\\dr(8ǢֱM9%+dn]7ui{XDY7۩쒖vv)r}#w5pFqkФvrʣf!uG]@-ӹsoUDNe˼{W9kݩIVuu< ~xS,Mk#k`_D &8tڵV@optfhwqE<o]:6]mKeNj#h H ڢ+NGڜ䝖S$3:M" }*J$n{ ;OV}P,If2=HaȾŽtW׹"W[,?ëT/PEi5Xlm:ou0"]Řpntڱw [,$ұa^U/MmW$[;ٮM)>R',P%`z@3ίmi\넔EXbN[yڳs)[8,UvAߡ MoT<ǮdxR g0ܗ̯Aٟc+;d@b_?Rhw31f_NwFּurEwK* XBrDЄ1$Td4/%\~ }>~R)@)b0C|lT׏a/#xnG/%dq?q7elqN Z9sf)!|ٕet$ݐx=@= M_.zˈHTR7[ڐ|`+ 3vW0̭ݜ$d90| ݐĄ# QwSEW7+Q;ėڣ|X"zh`kYS}qʹ#E7GM\NPLRj`|oѐ\}@SO?D툌AwMq9F'_aB%¼l竽@'9= F<6U"[;k\l+/0p r>*|0A I!1&Wt9'vUcc~f`<mAUgBpn8ZG9Lt5 `{E=Ui#}^ўI~8g<lm},0P[3{D + r# p~>S>Jn ͊Sr`ocf7,Pn-DRXSP789ﳶ]m  = }e)SáWELD1~ xېrc%1Ӌ賨t;iށ.8ñu鴻7me CQkZ5:')[ re]qzk5hp#g|gdMVhtfJ/5#,+,LcYhnaO.S2Uz_.,U8WqJZyJ^aȇ(ć4W~w.j$^lU^#{>ZnO`E?oLQD-FK۠(ǡ?nn]6ҳLu=^ngFEt.s~](GiW="* =uf{6 b9/ͼקL]?I.;YlQnC R}[ZF`%7;\RxI gYZ YC;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104p9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_lwÙmJ:r i55'8) wjƈq>B񿞆Z؟xxLLÈBm4\2VY7"\SJ/b}E-33[ }Ogk󷇒Cm)ҡZbm aig0Λ9umo'$GB7wtUtYτLJB0"4 O(gYZ [W&] t*{dG}p{.%r( %FUheetx P8+TjwLRc_/%BLZ?ϻЋRhsAaE))Zr/:8< umxa_]/J]XEU1i7:Y=XHÊ͙L9㭗`6Ƒ(|DؕC[k 0A?Xtoͣ{~\L'R5/j,Vй4ه}lbU@NTr̾&nPoۙ$nԛy1j=dAބ(اɃ f xs&s@oG7RzL^r__LV7uoe% 1 PZk?Jl;pk. hk%\qxY0i9z!:ߚPvw߭m#̫\]kcE6g,{cjCW5"G]M@0w@cW1;SCZk_9DЧ8*,Vu2IkO,ofDT0S>+Ml7Mnl >Q]EbD\*r6[Gˤ]HB ;vyNLW#C6Y(#c3;~#j/e8(aYDd0_aa f0!KxMawVu\J5o84 ߓ25sgUǤDk$gga1LL℮D &)' JrS(޽NR _U?M֚Ej ܞ |k89,yGe1[ZL9O!NP _St7H˽3t];O5M%.sa}ۦ#@!9{wJ"5!,be7$x2"^?`Ip8Sm<,% ""iw\w92`S6,)jc~"\t@Y8ǹΧG Fcqh_=6kXw]Z}r N |9;~i!ihm>_wYR[$l5`("@A#FޢrSo iā\wU"y~r/RiV̥{ap!,wR 5mXS($h)|l[1o8DMb]2r)6F-':d晍, |ˆ {&`@ z%%Oo(~f |ԏH{7O9fz8V1ґ4(YlMSO?S|vG@5 !tHVF/^=xD\ƋB@1$ oծSW%1p~jKvm!VPM}"`x(E ^"nj7M1O^Uл-Y/o~3oR?őjm \&cmAV}d908p6h݊`ak xU[85"˳dK>tOXRa3u3XU"Y6~baV`Y۸_%2·E!Qԏq*\$MZSюi*Hv,?cLN_Fq-3Ml^bZͅs _.J6L` %j@EUΏ&-3|[w=A&T,"`Xw=/7D!uDE3D۳jZIY /T5#/qgڍƋWŐt0wDht[hn1!x ZF,9Fѽq^>^)~@S@XbH}g8- QƁ0#!WD~ sqeyB{q+HOr-’יA*k_6% YW.񩟮:Vך5td&;hV$ 6>%Ґꮌzj= +gYZ {<+# ,ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗ \+E|K}$ܐcf| <cةs2g=̷ךH}vXl9QĀE^Z(Go3`cQ 쮸EΚ@,[Vu>>Ȕ? 7Dht}МbOX|HZb?e\oVdư~-60F1S(_oM놭̰PdCMCheZ?⍋xfmrs8^N) (1eR}*$q"5Q29tz]1sJ lf[m~P4eLZw{5!®K}SI,<);;b@ǧl"̤֔UIJ8WOe8 Ovh4 $BU:0P՛{(HqO)߿af 0([b (p5{txQd[mI]`<D5JBTUdW*¨RpM ]i ̴X:./9 *ug^d쬸" ѥO\O`KV#XʹwlFKy6oq;~* q "+#y@#KR1OCk]q=e Ǝ/Z]z+Qe#Bq9]J^E诖HB=)ӎ npt1Nt;*^m:.;&wqiW<0d),a;~'lR`2"kYS584h? BIybu!S]l #Z2!yj vz|>|u!TC lȫDʵ'Ijy^ϜjɷlWQs#A-&FFg+*-5L +kzFE%vbk-]7 ^T:õ@L >ل¨z9Cn,c h/YDT!"ű7m ؓYp8XJp 8+2+L,PJ.2StuZwk|Bh(̉y0G}H^ĺ:@@ONR z;僫p:ϯ!gQMo°MvS_:` 5kk IDKp?{Ѵr+쮞G6l#YLWZ,^}1pAkw-/fHǍ+x }lB R XV`PSǠBD]eDu¥:::^ӒQ /ءTaH<Xin9qGY bff3(4g"JT%4GG`^D~L hԪE=Nz,cd!PAVTZÚ:@=G9-D ,S2<7Q4_! 5A @"W~U"ى4'Yΐ=F3'Dָ!w:#EYHն0nKDJJ\@i+{99;1'[ZuIZgڝVdY!nK{e7-vl%7+3_='11}}`ZLm:JT99'l @{ִwx3%&Cj 6폏9mu?GdkeK1 Ts__ٶCyTAARC0.dvLH]!3̅Wx_>&a瀙QHb *!]rxfwV5EBOZ/|`8ZǴ:-gɦ)Y)?v{"w0R+=EjpNGy48CYABuX\% hnz6߶/a,M("t #nnikT鵋pp]t1CA"u8-mjCs1Fg}7ҧ*P)OIIhAO_mzn{7loN+WM90 &ٶ (,d3KOZZ,g7-/C Xb 8GIE]X֫ lob CWUL!"9|u!A.QmזoJ΃ w7Y=Y57H!815:ʶYKK65ijeG/2+LzrgM>@7|*O9{jH%<'S-ϩagQ-w*ZoPI3ݏ8W! GxOL,<֔$A>qݕ CQ@%kxmQzB~iEbi]x`HplȤ>aIp3N;3 F 3H"E|TJfxpз3Y \_Sɏ[n?+|D̙$?@pj| B' $mC{.Gy (B+}BKlcq8ϥ +JMez9(ARzr n}Ed?}%X݆̬_0 X[$T{:4/zqIh(wgt+* xk2Sp>R x QitHRb#ڕ+/Fd4X{Y==* "Ӂy9;E]Z eґ؋ F?.\{Y=Ѐu[bKRbٻo#(p7۾fC7Jr} jSNa _epD[FDHB}4'dEq@yh/9z^ I&DV*+m 1Ah=4TXyk|"Q Γ2JdP)=X=V/5OGR646 Vn?hAX]:  H  XD )# lZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&e?uo Lj92aGo$R Y+`S$lį=r}8ZBME*%1!+JTN:eh/TΆ{牦=ÚL`%fS$w*ԪƬ͠ JiGƇa0~of;08hqr/|Ξc;>8p=ޠ0_wc^;lzD<,,YXlZ:RkCJ\ո\afܓC 4[_C8J2bLT(q,9!lzҜ67'av3luS#2|JY`YkZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0B)-ZF-InductZF-Induct.CombPIDE/document_id94A7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *. ]·Iq n[:|&[z,TaH(s^fK %Ҿ_6߿UhiWҪ,skWN9˄rg<;=["vb} K7JAg|% @7W*a3~K *%'~sd}_dKǦwsZ^8;ߝFq#\9]u&mM!nt<w}:Db\؄y8$d O E@݈̀-_j3VMU{J&'͓]9n)>nP3D,,`]N906@^r,Ku]9,"W!}Ŕn:[Ϩh=0 >1qf9ݼ{NzU6Z0c>'{ {WzRjw+.9~m=.NAm7M+Eȇ|#Y_?rz nAʐs4fq"+0pW.=. WtA"8g\1 3ۼ7~-JhbJEc:^I*HC]׮!#B;u0N--@BmMK`ab+-:Gᶹ 0mmQ6"&w:R"vEo`U3:54 ȍ& NP[300{ޒ&z6T؆Xv)cmHemrId]ciov?DQlȭYW'PԪ5 *S rwT&` iXle=Ti`<툣@CCM)?^ɄVΌkODq h!BW7b@X5(#D{FUZyЊ>@xq)ƃ`R{7,z4ߏbYq/C #Z4~ Ci"0Jgsw]+p?_AcT-ÐgYZ@ 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;j in/J/Mqd\-rMLfQߑj )fYNi3g|dO w/V; O+A""x`^qڱ4GŖlQ@)]&%D˩1s@qeLE׍U#3U@LpHzZ#"xcQ[ 5=k;,W<5x5շC>$6󻱥-߭t%&4c@YxW']#tP|LBHF * Ed7UtWSHGsj@7knVtJz` I *t/d"=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! E]·Iq n[:|&[zYjɻg#y Xܹf̪BujS܄GR ?<_M93.K$"gzr Ay!q1;ڷDH!_ql?Ct=̂YR 7Z4=`9^:t F+:*,/~< %pއ!l-.ˊwHgoa8n Rً[T*׬25wQ0]Ֆg\[a pBJek?3) A'!dBazC b?:_UhB Y "גڽ̕fj_X MiCEUo.DtwB.yرO&Dv톿aXl_ނ^pG y|Za92Ynlgw!,A3 *QÞ {Fy %~iBl|af}nzD&FIݘ|h Y67ٮ@19L͜BŷrjQӱK*]'[ZԎX?'hˁTZ%o`QHp [SԩBZUc9J&< Byt'VNt^mh]ihB(5O$3HЙW}/(UCDP[r CAH%4?G&b5;(i)JgYZ>Dhz_7OXܺ-1#*Mb 7Aΰ,&SrTl)I~G.K/] 6e"7n<\6V 2hû`3Wvg} *&4u94Tu~"JJ!'RϪ~@3h]%uQ0Mz`jhJ,woH7z+Jb*Y#VTҀCETc5$(?Aÿ 56 S*_a~w ZG?q)Nw?8 ~]Jr*$T GpxMג|S\y|y)$GJ@pȘ pcbɰ>!̨z{eIنtzoUT(C Uj ;^VmLI[n((̗X-1ۿ@"6infqb\g4]Q'p~@ yOH0{9e@ 'Cџ9\`$XA mK7&%CIjjfR 'yVΐ}$Gd6L<E5ːr33s )ʥ>R5]yU^z .,xySvSnns(y[ ßKAZe=AӔ&Wu~(Hd>"䱡)c!980l'#\~exZ)F]y"?}CʚW-@[’VcȎ\zGCsR5P@D! O~FZ_IAIK9Nϖ"X*>E0yFtWVi6=McX]jZjXăY;PmRB/4+ l uTҀs.b:)樋,p$,NX@-, Bz-'+XQ_~J Eʤ JG`frG'ǯT k5q-mG]<^P^"lamb`r g9#Fra"K$[i946(#w e<,z-(GR0o<&I逓[wa\l(\G QYe%62 и!i>ŷ< czWFxw6 ދD@}6ܘ1gAX|˕8`Kk ^LXP`/-/+m )j.4ֿ.~̇X! uG;D˕Ull--$=tLOmIp.Cw֟t|SQ#^T?ؙ}ugw5T'Q^e]CgD+dvQhxZ 1 VξFFlcgAບjd֥GN^"민n& *Op)$W<D8i (UmK@g+p躞 rx=! k?-?aKI(DW3 خxwb 1’kڵG5;qf ǸB>tX <5 b\+\<8йL PO)VdJSA?)fb5"`8bG,f %۸Hť 'TGuvĭofZ;:n֡@ܤ0mŽ?--~@"[43gUn]^=|dI(d/oxJ; lGX53urT`>E7p}l|Px[I2[qZ"zKk" .y?H4 j}%fS23uypmsfno?:%]3q@MmR (?ݛX4{G|&8$ &* xlš[#r QܒfEȆTkۆP(W4I89P숢]GB'IQ*委 T(5(ظa H>)|y S_ O~ RW]-d[}Kk">?E#]Z2X,)gC)T*,g10uwۣEg`k N 0sګ:"$fXT7 kRd S~A@EX2ڜoұÒ4X,3b EhABf i/lQ!1-=@\XTV  &z)(}0|'@Nwp*whqaMlT4\6㬰5磖K)\sL{tf4f*S› )-#Kً0F؎^xP+}OGu&3Eɪ߻DHc%|nҮ4KCIGc0 ZPʻ@J\:r֘;D5yF< R&mF"֪oyh͚ nQY/8(r /dJk"3˜gmg䷖`I[ڐhB`w0ë ZTXGAv/ ^50ysD ݖ1O^'LC{խZué>,L&a|g]eRFb:xIIy QL1p&oΰ 5B/(dϣ IʑP@ԟ- umrrߝ&ڜ[)XV@>i$ ktҜQ:ׅॡM ~à.eUR3yiuQrH3X+VVFG/ m!S#3^"6O69*7JB9ÑN )NxW \gV'uZ>g͸E(։*E#+ {}+%*C0dhsOd>W|s6}ŗ w^_9_C^fa#Ygeej `=RZ\wN-{p~w@gӂ۴v휾$Ȱ3UdAOK}<dzl\Q'z1zg>S7UրjbS5`;j~*&#dfy|"bN;qCh݉ǭy}QiW| a6وcF?ܙ9"57ɖpEyԫX M\H^p?q?6f)ܽՏ_,@Z*sUjP'R6phK[~!#Ber bq)q|> A ;GkEPĀkja,ao:V.awҬU:ʠr-U:>bLbQK(kP%}"}j$иMnAp'`PQLB4N157)D|4Kl?Ŭ(|}?Re3|^p8}=n<*4FH/ClUfCzFvuQěNw8&7zjZ:b;7!aO u%# D#VLwE@ߺ?&-_0y^w$Jjy:%.X>~#ݜ4kWkrzsAFc1, لc q`&6He[ Z)t+H} MY +w(Tu1miإs lt ڋ;/qJ3d jg&!`4WqjUIKPx85#Jbͳ{A ?d0Fn ՜Kv+gϵ9B4DG||zPEֲב4єpdtwac!%蝝 uzQ=۝4~εڀփ˝:"_t~&iJW99YkN*^#USiE^` ea# )]H p?$ +3,OHe v.?K G!#L\+afUIRM5^0y#_;ǦVFg9tJ U* 'BZbєN?32h[m8#[ʋbZEn}`q'‡\6OiB̴׏S~Ud%nX&dvR;KZ:?V$n㐌Fo%soDQA3(RSQ*U,cvQM==&nhRbwnjqU~fb}*J[xp!`*DF3Ų!q@kK׮&kbuojns:]eԟ.ᚖjfA>PB@9捘48a+s(ƁRcB>tFj )Ŷw/V7.*'27d#[?FeTS& w%N)F$rbr UaRIzE};l2B![R 9Lvfyr広/Fקjkn$/0,&kh"qv [ (@Bϲ^gLN3ek2;HOaKUS{98+DyShJp|KR%Ȩ~ :nJ벡|h89]ث={ 3]=@Dw29Ip_J",l @}^H7B˜v߽S[(k Ig1@ &e(MV07)G/okh`4J aՎ~^$ ^1u K i=aR0ucf vss~wHg)p 58_MߘZ{k##A+sevf,.o/ '#J*JG)H_6VGLMIFz@yG M+6XcJ5e#>yWP&0>vq=J7wW.4>pr(eixPό_((p`*/ᘛSSNߐ83-%N&w-G!>SHF'z/NX/]pt!QB-Lbj2Yvçkˁ_;Ϝ)yb+d}efGdq.E۔.('=z#ӟ#(L~IC栗SA7Q|V"F% 3Wxhc; H=O&a\)չOꔜ75aR48W uU2u+2UޥL H-}tT*2cg c3L27u(-Hy!x|~Jc_N {a>I`G9=Řw=\JMJ:* liHI<z$QLˈ\ qK"vp΢,h%UIG}Lu$IZ)=,c8pC*.1˶g56'8!MVg2,!p2Ib\1x~71\pu3-B40Vd|J:x6L*`4_8|M9MJRs$E},+~XHvP;q8TeWҪ(we$?"8';\B:YP*'xR('՘j٤ 47hfDJyԔȆdU׸۾if@A0H@8 vSbT,3 +jZߩEڃX,[v[]2?å|F<7N>VcFQf0#td"VTfJ hEc|.zeJreLNv0=oFk=o&[я',(p+@P\zQr%AUe<Ŭ,/losP tQq*$r+,VqmS:;AH{a}$ %sD/"ZlOh2/Vx|Q|r@c-ņ2\,C)l%PH}s gNwCJc`(jPq1a->gR``/}Gf7YQkuBvs^ ^k$Q;7dFQe/Aq{Lc~Aa2m. m٦[s-FELIS4M-ivG͠dA#jeӨerRzqwֶ_쌄?W ]b7-N#2Rf+RBrd <]8dtq6 W* }4@og@XhЄ\IfBI[.kKBfs#BX٫Pq(ڢ˯z{7 ho,%@U3? ږP 3D M*W/7~s~;~g򁬓]*hI*B xTs5ZPVf,~׶4U5u?OEBCV9(ZXo{+=N)g;ře^UxFxPuiI!ht.4T;XX]Q Z$W,E( 7~ݳsyǷ*4D|+>?~7kY#.d=<"]f—'ǑD%_}}q,);EؔzV(P)+.cm;GڎmQ=9RǠaKC؀xXS!cO8̑  x:WR^Պ`٪\z3$DWumxwHͱ;>'g )ܫ55"8d@JHbL(!H#N OeW0 u| 6J٨|="ZgfrQN?Z(q_W7R^s_099YKwJa_ջyr?xmѪLܧ fB`9/kAe^WU?Ή'[MS;vX~-s +" zo:xyomR{et^z֫uJIy1@Eqj8;(KoaX%/x)[ŒBR"·{OZF36"jXJj4T~#/z_B,_e^Π'5FvˮZG@m|@-1~c)44~rUbZh`ިJX5~85!^ ҐO^C* E8_W9kF?*/ 37R 4ժWafSgMC7UR3ҭܼ-dUFEbN@*AhDi\۩vZbjLx6v{OcAvrK*B^)Xu걠CRe|`+^WQ\̫MHivcǪJW`9Z hbyȯ440+0;^@Ng@5ĭiup)Y}$%|Γ\if;#2  +>{3.UnT>dL6udEh%loB0KxuۥVLT@űʋHu|vN"X͕6 -׮3 ɷ]GDb$ȿt6/Y^|^Uyx 8!M_i/+@sc) ,@h&T+Km.ٗծDiQm):)&ɻ@EƟoywĕ^ cw>R*5ឡ-dԋUM .$πj50oNxePK9*}.n=}TY):i2^9<;ޞۆ_:^(8P7@Y^0W\|]z~bzmpUl@τl\6R2!SGTݏEN~h流1z`4yyϤMyϹM_ɈF~Nc P0%LTZ7\حJ߇qj[)@~6^lkLA(3[;K脐A|m,bґLa<6!zXHp= Uݧs V֙t CA Pm]2[16(&%&\]KNtnH7iggq5]eb[b`|I|~|Wf6/4NA՛M7M猂7sDJT>h%Ysۡ,Q1Ż;ϝ{tPwVu;$)s%׼:]6SlJlLf$e z fov߲JndN_C?qcmc5AEͱ,w%I"!qͯtnkom>|'C5{r/+|hkdi_^h\ ~ewXՎw~5+ ~Q)n1j!x#)LݻEpإCqG|ۍۘ)!]K49N6hʪUB6N^#iq꽋׈VU^'`ԥjǞq@EH7z)+ :wW:/$K(X?ri$|rqBE4Fyc/ΨpaHhM50h ;zni:yEĂu)V V#Y"cܨrVj,KS qBsYgYZ 0f04L/-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ׂ:7k 8!#B%joXa`ӎjrߖ oˁzO۳_wgw}B*ji;ȍYE%ʐ.%Ss90ip!$oy*Iz.icDDqt$g& :W ׉wsᨑ[oMNk#ʗ8r(gYZ}I'# 4ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗN=xȇ] +mSË3±YmNfH{UvHzcy^xRt^=v$ 4?0^TaMĕ/rZjP+lp\' $r>=_*w8Vb1c+aHj{-}2nt"OHe߆s!Ϗ>uW]N!g wRo0}jhm7FfԤMLᄺD֣Xk]/̱1^m"s}e;oK̜B;#x~hpT`;ν{ 4?sN w {$T!\'Sކ\!䤛COB߉jcn>Ow&IHh+ayCZPRzQ~peΫ-;^Mylj&cSf8V B d$}¹4mGnL o1Jȃl_ T,n*L^[=%T@K}i-V%3h^ʯ" K;Xr|h 9tvT}9^ M&p?ԉu=$;;NwYL&)h!ɠ_t97|=FqoJjpj+?ݴ܉QUx '3JA9f–$d2sxx}n~C(~Sʡ%a[l *7䔤)Ƨ;㈢[JN$w{KX# "C$Pe:""W+y6 i6zK9=u_b\d^emN&Ǔ%0ܴ 'nD &0`ECɶ8aS,bSAq9ccCJ#Z=E[, &,=:(0ıiZ+@EJͶx"T&dC /Z@?wMpa8rZٝ ;g7nuT00Q=6B?O7:[x3 90ŠJsGFQrB'. \:7P$jOr& :r~%B@^[bH1դ9ޏ]X ;nSJ5@i1LJح501;TNNݷ!(ט.Uȅzh!Irv+:@0p eU^{r~+{='%1p❕#{.,sn;\̞~9PN2ߠ;Rݑ:ʖ!> R t?Ԕ'8V@}o ߊ_+;Qaf1DAhzQOAX%y^hHvx4ssӭXi]I:GZ M`:*S`E;ԟZ ?DF4GFnk+̰#ş/Tgj^w܃f6kb8얽{̓ IȸߑkOaR + +lOEi_> 3cԝ=e?[zOC෬ykklpgA25/҅Vi EϦմXZ^&2;#{.zL%Z Vw m# 1b?!/$gG/;/# WHBc]rB/ś wiOf !dT6Q&Uq#HNf zxq%̢F6;:r;Ĭc: TZ1Po{TVt~#KP!9W7Q1(nfΆ$aʑ KğvS6 ` vN{d)1MIa: 7һTGU"rbNs-^ fMOz|s}7er?~:AАdsS_H)Lq˜݊"ʀob ;,|$)08A۰O`Jd~BCM:?WS0%ӴDaS5CYnzr) = F`[nSE(A9)k|kl^gqTKjgj]O2 Dym¼ -.Xt? BVI1@ }U4iDz+%}Oօ$]5!D@Ek` @2~f*K \팱Y?F̣? ^=>E? ,/CV,k LI»]K$>b, qv=J=BԦ#=H\94%\Wh}d{x}.gfUiYj5ThSE*}@h'hFWޓ ^H^S,z[nIB{@܎z˶2ΰVWƅꦾ^mÉ4~^Q]& 3}$تJ˔Q.&Q L[v48pi9gYZ  cO/' tZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nr]·Iq n[:|&[z״F*G$A6Hǣ~Hkufd<0I(}Ƽ'e7^[$՗>fLA\~Hކr #5BbN\;W}}JyA6h7&zH/1awA*;KS#0Zǻ`l9zzKLq72]LXc1Lj \ B(h}b=bk=ڮYbZQ #&+/&1g"Q9BH ڷ{pPB oo>>4kx <~Ĵ=S;peG)yφ*1̾xlbo`i8]cB|S@b"+*7B,p,0pdgi0EjC]N^k4)uyQe^cĝb£=Xp,bno p,&mW9C2^fܫdqhVkh~ Ǜ;(H$ӪΩ)8yGѨȠ%qCcdx#+Yr+}?c!D0XBϪx44e x/_Jr~xM9eU@)!m{ @77X]=S!plB96cfuW,?{˳T1o~\^ D,f:a롱!qѬgWk y c=*5[EOw ?FY14ߧkq4)YGkm]<fw.{7-YWD_1VS HKbMhU Qaay3J~NWubGm*_`9Qֹt+Āc]0 Ď`ʖkwf8$h}j}vix鴟:{ǂ`9b]Eosu`+'kYdG6:#B|&F^d(dcALt6xFM&5v̦n#>x+(OQkMts4-(qLG6L׳tWiZ~D30ݸ_ݘ21Q>yIQB ,'b-"Cib:T|FuxDH :5j 2(gX=};z6 A۱ФBxng ºfUPS خ@AJ\Chݶ),VT{&bEGPZHSJV:m:-ANzx8R"r`\@Ĺp</@3Kpu4d>ݚ%qz2<ZX*gև: x$ gYZN /# dZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! WvA,]ˠ)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{3Ce{9k8lV_"r@@,qۆ.&:tDcyV7-(a2]i@W4gAxBI>0hqiǪb̎Ac掶2ɣQPEI Cv5DGM/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyEཀྵm9ݼ߯=%vm5(zI0TpRriũYcn WnԔE^b k2f5%Y>x޴zxrjhrYGiNEZh"E+xXzu;4~7Df,@r}V%:Au@')#CU-{m{)4eRX^ ۖ)mM%BX]Э S0jXxy*ٹYon+E`h^jLJǀ91LE:KBK/R%RO{RP)(NQ}],,"TozC^'$Tǜun u0ane_jis[,8%[)rn2V!ʡfX'Auò Ȩ-NnҔG_clGvbS@mw^\o\zHyn7zTlr Gn20lh)G1/hg8/3˨3_(}DH"35 Vjj1o,ڎՉc?0 8[I. )n}?L$ HDȍ!u[އ9eP>Rj(%./.Oqf>&-'~1;Ù$ۍ=[C*u4ۋYO dJ x>е#dH >B0!ADq'3+Lq#9M{l'QIdM{J*ss:h;**F( H}yoVxhr1&*Vm:F"[QN2F}G0NKpPw['s3.RQk6tO;`,Nf9?CoVz]GJ$l]<e:%XfQ?Ao6T~'= tⰼ^4dnxb*=YVذ_#mVWv߁hs+wzİ\jؒ>chOpA$E O֢{Q)ɐ+{Ff}s.I6 -pQ7?<|ۻX4>K+`&诬?OA- Y$tVE(LK]ݨitQhsk{(Zɶ5E艹l(L&{P*2jm_znH*b,>pԒ.2H Ȗ-1=:ԒL&Ŋ䓮!Hyh^BQ _>S2lw'}ECv6*Γj9-nǏ3(dNc,#AYjʀ\ UQTtvΏrK)F @N` *jSQ6ֽ͈I[V b;Kda o[ѐAWxT[vRs]"W)5E5\eX~vJ}z  +^S/րo Fb76Eۋ\"}?uӔ`\ L1!,"po@%- lŴdZJ (VP4PEhtKz U5'f ?=E~rV-QWTcq^x^=lٛP7&0)Iز35'fV8gh(j,P=n7wjU3۰TG-ubfa-Y2Gܑa]c~*Gb?/Q,מ+i2 i~̠rBxb; "VW:- 6Z;2W/c05AJ,nNW~i3"B?ٸP@XysLFܾ Z靴׃Fs|)3YT@Xי>з,_!ϨAJlZUkU_T%dJV+`}S2@tH!} T,rf_v3`11VvIY_53&7nS7-dw7=RFqp߃e<21OƱt{7ݢIntɎ2~BaFEpuXՓXbI!w2; SUD5/]kKʴv#ץ|ùuf&~D0K\Wǿ ry9(od(SW0(C"Gc G 81^G[Ԛfh-lԬɩx t]*^M~QqmB}*~|I}C!qk'@QФ#x$p|8-xJb{e$@uv*.0D BP# ]oTmS[e>Kٖy-aA誆]ҟxap(~xv[ѸaHU #CMj^ʈ3GϺT\@'Fπ& LjS4uuOJ x5-V3ֲ^RX;ע PuZ){ޏo=\,p?}ܱ%=2P6A+KUh`t\V=p{%GKg0iԔXo()!j>1You\GqO>_s\! l+ w|?g{T8oYD2%B(Bݑ}FKXĸ,"W}JrV/heLMO5ռyDmw6|%KU_-2ts mzza Ʃ?VowgXEQ_ zr d_6ddgH3.L[#*b=yU~<9@*SF)#J>&:,D_v}d0hk;R_;²[{EIudLO@ \|/ Tď / &-+_:޽sS,vzFvLc= %ȰSi*^e+x¬D̓+POb.҆T47҄~º7^uU  f~!Zv68 ,WڲH3uQfЋz@4 G\ . \y3TG!;uLN%l˞/Єos[R3u' 7VJȬsrT&qS,{4V 'j娱h/.F =;ȏE{BK@I%Hc=\.I,J֬?B q{>&da?EɏVz+4^ԕhg>c_`l/ v͔m0Ga˰13ȥͼUĿ}Z$&Dxj`qT.]-yű\Ï-oL3[tl`,h{{kGbxs@5w,uV'/3JpчU]JUzEwC9s{!甭O1Wy:ֈ 9w!y1+Dw騎_<1)Gn8/"Sa*(言Nf3+ 6WSio 8bm#ChΪv3 F?4a'b AErz5T>kB @Wl#H tA\& 4.ovӮGX/|~3c(-A~3̊W$)_#$zW% (=[10SBזV[plGXTlyԀ_ {LT9C)B@X]`F]1 %PԹfj*"iZ32˿&e)M:v4 @;{NiNӄjsl?ɭomwǔy=]ZvBϮMBjjz6^yX-Бnk:P(l?Ǚ+G:hdC&ݧNAN! z3Y7QVoODPQm_>TaZQ)?MȂC3@e !ĩ֢B'lr|5&7#$]O @SVL+!sNSKJZIE7ˠ4|k~`yqKWwLDf'jf9s V-ȨO2-!)[YWFt5(5] <$6R0 YTnqdI;m']kT12H׊֮ T:emA.ը.|)a"Mvg]wی6AbYF;`SQׯPI&Ew!e;xZTEԻkG$4'ٌ4OO{?PH2uWS(#fX5QbSjM0vSᆌv *lhQDepͽqIdY5pi씽ehj{ri |h>pp< 7n:FA]bG8w3zUp 0 N,0}8Ǜ-ޯĢ΂pFK痔 (lQ AW$BP?8_j韙K" Tÿ?Ia](}KW>xjr7l:Fim!ge|y0I5HI{+ӥ.@"Ȕaϫ%׶1r/d19ϤxwJ+ꆪdcVɂ IGMLB%udݴkQeNLi2q.eq0mtLcmN@Ntvb=A4MUЭlUJ)XKrώ[/D9"DBU@ڸE99!g֛M:BbC}ͅ0}4R$B^M M9@{vt}S*ζ́ap+b 3F+ {/ēvUBĩWF$52*6Q9^/ 0@[}kDyG6#}qYtW ebB^%pڬ@54o8OO;Z((A*u ƒ ]i'_GQh ']U%sH;*|k95M [=YziCɛؚ%Ч`oםifL ~fE ⃜bHqXcnf8*[]ci>`~B`r +fK M+mB\luՆ:8o{귟, #sA>?Ӱ ^i^v*Lhtd[޲_=]DB)I%|񗑉Е1'$ 7~Ȅo{F>Y(^`%>,^UfcH B!cWArZY:1j񿼁 ?W[ӝ_`M\3@ꫧ[(''`|yw0D="691b%9Bn&%0CnWsC="[u;]?ؚ //D6Q=;wzΒ+E4ӆ5TMٸ}4u -sCܚHonQ +kzP)+٢cKjmY%7pk2`NbH+6U":KA>ic w /m33 c48;=rw#k?a<~qف[MREW.Fi:cw2yݐm&nvĠ_Vpt}}Q,۱P!`1 R,Fu.gT38}EYOLϡp7獑G@!zdDH$1Zbrr8HU0r6v(7.< ;D$T v @`QW:4$,PMʫIHݍA P<05M]` R.?Z$UхK|F%Kw5yР;ŽhMX(<]X?GsB~#Ϫu;׍^ Oh+: omWwE E[_1 ,(zRM%*tU%8h@]irGScܾx-VFʂ W%& Az[zh3o[-W07~.!^EBwc=LW{XrC,p3S TGqmhd_Ugqa5x%D7|i0,+)Kh3Qm˶H6oq' 2n2Iґ6)uf,tr}F빙U<7"獻,>4ZzϬ SQ0nFdUODUD O@fl'7׀Wu1pi+ܤ/W7/3% 9bEH~g!Ris\nQK8kSy}{wc&ʰ#zqM`kf-kV$}sXCm(-4 gCZDJЊNlJwZFm@3m|c,TY-@{JA 84^72媘/r7Չ|TǫflVp=$䱣to .n*'PpFD9$H#ņcBEʚLe3P#BϔF5gҁڢZAڄnq툋Lx3!"J%rud:b=K2J7^ӆR||\X)'1(}PliC௦#QQ#y@M99 ㎞lQd.izTX2Qil[VDjФTƿh:YUYۤ·W!T9Pc%SyR(5K^/o>&8|[|blq@=]ỏH;_\'k.S§[̓TڗƤƨWӱ >6 uvXЅ*'kJ"b!&vL:9w񠣉m= gxr>ͥ8h/.s dRn~M)a Vs@j( (j)PTl?/\3#Vj"68ZZ`O.`;r6_=\Y .E~e|0 8@5r)~];6DפԒI͖׳0/9?ɇǬ BJRMB}I,na]e`a(;R(YړM##uJQb V(b/Qu 1+QN$Xwhոfc:"F4lw%K͒! V|)tFA r@^Cb`xRy09e bLX֛`}QBN=17]"T-r)x8fT㾴a{_g-'㹑'.tndxQՄL B@`!J{,@SKYzL O'҉<لt[^|6.[|b9/qLTaAqv~yȚs@B~ ÜVRa`G p1z߷K!D 6ɱދN3uň9Nu_ . (xW2g5ʊ~e[8Ah駨YJ2y|aNW%y@Jə>-acf `,Mv*Rě0e<B~ A<>l4@)׀{|^7Ӑ:lFcL' XY}2(}2&{օBuL`KAqs ˾`B^4|2*sb[تcV:Mf vnY$ pA=K:"%bԉң$"a|5~,A1FY4ϷܸbgS^sK,!d-<87 &m U642F]-=Cl!rЌHzby)[ҮA,荫}#;hy3q+%ӈg\';d87ͪ;TGj{mڬ1bV6Ln^zv ]&czۼ? y]#e9#RB Y2Ҏ}aK )E$8鄋=`/3J$`gק⟓gz~_5&fIx} ebB1 Y3ݑsrS( N]ɝj>q)AQp&@q w,F?d~ˬUbb~^IP/;g&6YSٶ2~6+,>$ vV_aIW2_i^m?lZ\4؀)nzwԬD@_Rj#Ɏ2oQ >wdg“tk )yҟ\lY p|(vg]~ghmh~lPg,VXx|P`u^CbCj~AΩQ\zS,$? %a5 FǟpXvb|'z ?zיi̭d;ǿ)?d^3 kGI" ja0aLj V Iʤd2IFʑNU9k` r9t}VÎZyRg[TR~-͞.#ld%Wwz˽+/¢#B]qDD/IBd佸 1:.bK?Y]*R6ӸwJt,䰷sDaBUQZ&??Yю7ԙ %Lɿ=|J(5bVkZ酨xr, ~TçfdiU^^Xω}ζbדݐ( V\1'2ãΎs{k͜n*h#'0jTs{Rk;3k&I¸ 0EL2d]`-?rCDUʤZ/Fca ZDP?'iUOI렌SvٽVH8F;5CͥE^5+y]t1hyeC)_l[0EzC n |(GJ܀vX?$ObADvInLǥ6KEoW<ٕ=V5+~^}ȋ6tKM?_ x2?8My[ܥnZh`1bE R\blPezVQ.Hj:cs6wV;W0S.SlwWm޹ zDMKp YFX P0. V_K8 6֘t煘g"i{1Q5ldܔx'lW"~P)ʸ;S/WFY FD;tP &j1ʸFgmd7ndG=wI:0~DrǜS6X$ rKZ0(XTK{5?oHޜDCgkChPd`W#K/Blǖ#8DŽ6y*Ip,=Zz~e`qK慽}A vQ+&y1$j~m?%0N  u3ZhIg%d|1[B()8,I'?XF\wMG_N'ͯ9.%J f#,Bs`n1$ऊ2 W|2ѥL-OThCo) u kЖc q"FLG ={o60XD%VD[ۊOJ/Q@M \.SQ2_Z[3Qml \\L*J:Q֜>`J2CYrČlIImIj]7+v+փو3J^5TF Q*]8ӱ:[»5XR@=V{ҴJR-A}1ֶ̭&>| _l<ۑ,>+sY{`w.hi&C\ m]+#.^SW# }8O*& سh?KM*E.%ƺb,2=sai6.n"%#< toct"` `D~/e[ =NFLpBSҼ^˚,C?'2nEVxDPq#_Uk UbԜat`0H4GU䜞̑zbGV񫁓d34@Fh=)H&ee!/Vtq9Wx^{fR_LV?m9="`*}x Vv;}!Տ(}|ʶs94 Ɋ4-@Xqt@ ;ᡏ /eZ8ҡ2gᆍAӣX% j۹Bv"c6kK!WK"Nf"BpPV-nri8ѝ2ZH(%p7DJ/9 ?4MG$Fd6'(F?>{D]kIO {l{ DaJDΐ;n'E@f^cffKU~ž}ݎ9xc?3o\ *"Y5LcDE MHe%ˆ@?#dS+m,5ahw i$z%k(&7p EEvF/  A84;F+6ԇ:3Mm`U'?dUf>>Ye !DoØ#:5y;Ho(; J(CL> ;mST(L$C@ 3aMٕ#2i+#ٶ5`R2_KL#p}/=GsvYafyc']-ym22Ti58Y*&+#%;<4C`5T}e/ݵ! ++C$H](E\sMj:aI57su4h# = -۪Xl5ju`YFv$}`xgN"n"R]V*P-$' G 뗨z.\Sȥ8Rmߑ ͤ A TqF;Ʉ#q}+0Ho+|i7 r`R'rRrg) orDYq@[^fhRt>0OQ|K՛q=i)$2°@kQp&apHC AF9C,0,3Tb8 {|,)Tv+CH|epkt4Fb4clp_iN&/k:̵vU,E|3х"eJRp$D ^NNrI?חLĘpc#+,zBy 0XgE>,a@m`¢[!8;e$pQLt@hdpz(8iTW[PsUt(T N"5QRs3]ڒ?mgV 5O ;.%hY!(9fMevp.⮼6] #ٻ#vLf0uB.@X1zx}sU{pݽ:_!Z')Է T -FqzvJJD2~H~ҍ`fg H?qba(;UbOpYAPA>ioküZz+c@l!8d5r7gƂqO=_HOL/yx1dZ8P4@KYV i|fUԽSAsߪuy<Qs_䇢MnYBøwAvvh$'L$W`xLPU~k:ASg{2/U:~Fwmҩ&Ax"n