SQLite format 3@ F.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ]rL<| ]/]ZF-Induct:threads=6elapsed=3.564cpu=12.832gc=0.7127zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0oLΪo&{VӳuIo#@Oh,yd7{u[ VmW!zU[w])g8ӫF8y ;yoD.~KmV`=PZ̈́ě&#APj`PDZgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5+a|vgpD5]ݟG9s7WӃj!ڗBTG{/{:új9,b=)HQl-;* 3&Ky,=jj@&MSn#fo\oriF)b 0=n9mYH^#:]r-^0"+ %nwd=,@y6ÏTQ|丨Zfq?n1IsQ6Q86,1*qOgYZ7zXZִF! ]ŗXi%!]G >.G͢j!^` eضtjC Ol+4EM^}JbIEW)T0+~Lce I_echQwK?ħ@~6K]Z SY,,`.p~"hB_%!:yGrX'rV\0&3FNXGgG21MOkrAX7B\3Bl1[f p.B؅Ya9Mq^[T M.oil^ aϲz:xQ=+V|EjONG'2"R_@.G~ 9zIk+2MxF[/%ԦyW4yK 0h-.+::yq- n9[$"|[4fh>N[(ќkb-;e$ӭ\woH"}hy}xM hl l f9YB A! )ݖF;kdArhJs IzG2. UX>l.RDc>1J}#<8&q~xH,k>z Nkg_D83A"{Ӥ&_ۣu !9! "f1~t0mѫU1y{7'-pO+YuIEZE">n0n˄z_4v.seF8z,`L53669$@_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 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)+#ZF-InductZF-Induct.NtreePIDE/markup=(+!ZF-InductZF-Induct.NtreePIDE/files<.+-ZF-InductZF-Induct.NtreePIDE/document_id;*)'ZF-InductZF-Induct.TermPIDE/messages:()#ZF-InductZF-Induct.TermPIDE/markup9')!ZF-InductZF-Induct.TermPIDE/files8-)-ZF-InductZF-Induct.TermPIDE/document_id7-/'ZF-InductZF-Induct.PropLogPIDE/messages6+/#ZF-InductZF-Induct.PropLogPIDE/markup5*/!ZF-InductZF-Induct.PropLogPIDE/files40/-ZF-InductZF-Induct.PropLogPIDE/document_id30+1ZF-InductZF-Induct.ListNdocument/citations2++'ZF-InductZF-Induct.ListNPIDE/messages1)+#ZF-InductZF-Induct.ListNPIDE/markup0(+!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*-/'ZF-InductZF-Induct.FoldSetPIDE/messages)+/#ZF-InductZF-Induct.FoldSetPIDE/markup(*/!ZF-InductZF-Induct.FoldSetPIDE/files'0/-ZF-InductZF-Induct.FoldSetPIDE/document_id&/)1ZF-InductZF-Induct.Combdocument/citations%*)'ZF-InductZF-Induct.CombPIDE/messages$()#ZF-InductZF-Induct.CombPIDE/markup#')!ZF-InductZF-Induct.CombPIDE/files"-)-ZF-InductZF-Induct.CombPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Termdocument/Term.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$ Qj 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"!gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[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 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 d9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ 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?ܗ?^\ +;Ƃ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; 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 v. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CxEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ  wA)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'D'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ v)# $ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0 ]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue "'n"܁Pp\9 >&#ZT2\VIl!x/W mN͎;iƢYԜ)#1Z$AtTY O֝h=_n%kꝠ<0?~Ee:!7){վ&!bafџ.UZ\BLY=1qX!`s>Ƭ{YddB1ҊΙM6JW]Ge!JYZUIt4JY|)߯({s,*W3 zPBuk hhCa7.ܜnI?eY#c/-M{Ė=KYA!WQ!#T+L  $H|`Y?Gn}β𦒰/kMoBuM78by;qK/" G/kP4=N%عV\6[ߖE4/r \٥_;Hٲ!EqA [h/!u@mv]iW0c)NdY}iTcVb@Ep1A?Ķ:`" d|پ>jnL_w@^85>m kW`Csm`9PWib=V `mG۳̱ඏ+FtYĪxo"+[<ݱ c=`4.Qa E&.hO?zLS<KD{Н-˶v RfJrHet#Gە7N-또 [dpq*%W SjTqw!ZOmD[ho9xve`^| xJ[ NyQyg Ņ)ϙs?AuW+ߎā@x~ޮ6?Ri16+ng"rí=JŠ.z̄t+ݸkgJۨiH-Z.b(K '*|N]:/ l[626ebYWb2. o\dͱ&aCUjBf!h IlUñ|jr$& ur# O]hCШpz< wpZ}Ӭ7M~f[kPf<j4D4N`$,w~(}}0^n-M&>CWM!7/M֨rIΔYl^idLW0 Gۇ+Zē}3>vvy GYl&B*F/m gg$ (u Z]%bPlt]Ñ˸`'}o8Do\o0g?!-!S8Ã`ZW*ia]Q{͊#ƶp)6WZ 4ʃ "\Q4j #JSzLhd~n%.1dRəNBlB| V7) Uve+i% k ɽ>/m@P6Aeg"LqЩwK=dЛ"R"\kkTEIO**iQV{|f` >#j6r]Rh iEo̻-G2z?}$OZJ|P|qHc_vVBneP_2 Æ䓆}#ck!"Gn'UH{ L)B8bm ;8QӔ0EJ740e +uR@r=+kWEv3(^4i} YƔRG":7W3y?ӣFñ~L4"zcwn%) (enG|JΉm*y[p2P.3SSFұ5)ZrtM IV㞻mNI#F1:_x@5^=Rbd7`9WB?|q{ұgYZ  f =S 1# TZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ңc]ˠ)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λfPnZlehdڟmYz-pj7MxZi[#dmطx=F9P-95&m. gݰ4H(߁t.ocׯa_-}&SbZ xؔog„vs֜?ė=Shڃ3G!ҳ/܇D|uU"B@yl2Iۢjt^uNw|y]uΌ+0{ $is\ú.%"2NٛL+7^d!In92b;e|o{_|Gجq(pݦɶʣG+dIa-s;Qt*&vsj ~<=B?踄T~g 9G:a m8cm mT B1I:q5dSG7!ص |I&⫃P4TLJ:p1b vI$ޑ A$J-ԬӝT32rEHXQ5&Zz쪿}ѣH`ORjV@}kh( KXZgޡ#XPEs.ߴra6czX <]v8DP#Ԩw>ܧ癛 T9&7$hȨP[\*%/gYZ /# dZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2*]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9&%>&}ϻ!tgbY?)D#&_֮uqvnxZ<v$v=$7fɄj;Vn,eKLVn4'sZ#c pG}1ιVPyegS7GXFYek)?@!'ų&ff7֯=qNTY7\6z=j[ȃIYx{6v)9;js=*OQɅuS~~8/ccXG/!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}**lXOS)xeC9Mh8H"%lK[ /S /we]"=ȭ1^kbB}@m˃)dX`o3N1 wN@دç ';DtǨv?Hq3]rkDuZ6q\1%Ӆ:TQC2/n>y\Ѐ(6jo:3-W.HQ VbXP.zo@;ʀp7GR;kx`m/2crR%@-ڨLadqԥ9O؜Mh:K{+bݬ72c"'P.?OhFԅ! ʖ 0'_6X};YWS3rOנn3|%؝ qwdG%T \.gdih?=j A")--e.vZ-jjuC&v~1)55.3\(W=g:Yka>'ge`,Yo \8oTf~%z>3? #>ڸ ki@שA- 1%wΌrGr}κ_am"ɬpt"zW4`غ~cDxD(^/"c " rކT \qqYyH7;Lr⻠Mв7\su/tη+9D+Em㾭ISv-"4/w[=mELtHPmSA(CQ$X?(Qei8"{,>U Icn`,t`VV7/}tć.z?t,cWWGPV3 /H hoFd9*IrKKi.v0y/]LP8Y,m`=q?HaN͖c֙Ez 'yObl1~pu%ġC=1׽るpN@^;+0-N\yp:RVj,#VQe屌Z_TM+R)=_+l}Ɛ ye枖JOK N:k ie"i 6`b|Wmu R0Q&L,u##!;g DEkD~7g">s-'`e!ڏT~|I=7 U\%|O-n 0-GO\<{Ga8]DVBq6c=>7pajv$`g)<;˪) tĕvq5`76a<] 1F<9G 3uKSm L.HRT L9)*q~ amf ێ?8g׸/Ui3dy&cA''0:&9{mBdDMM/>[Z'!AdTҼIЭ ӨcZqwC,Є u)D% DQ J8/&j;Sv"9qcQ0]CKaqGfLl 0V16k絼G_1/_ g!0qf;Øsq?k$q#[H q1%_ל#037a ѭq5͸=@ONVȲ F[,IRet9(_v2D e2\P%4Eq'lz>Dܯkh `U){ 2uGTaG5LC- ;:JMGI/}5#%!7ĥy5v0X |=][ Q^;"E`Į:0u,qɏ-5+.fKG`}FY*MMG&Bպ b)芞Z낸"M8#%3XeaKL"tHXJV^ na?+awIIV)3۹iR5T1Q:@ӐĸXD-xQp}{KqH6@P6[6W/b(&r ow|ۻ݌7>6G%{IdWQה8> )F;@zmM~קZ Y}s=FCl>'5=17e +ʜT:``B\ TgLV6¤h8QwCF@PbN f4Ot&xYkdȰtGS֓ x{EI<&(5rG1I[ '}~ (r*/|IqZI׼0'2/c>mALc'UT\z+ۨe )S:-g ە1h72xX7J"P: hLitT ɍY++r (}TzmLl-5-* |ګ~2rʝ̲oB<wT#4>B&cOp$I PNf&fqV=.͟rS$staټ> He=SRm (CI¾y~(!"Q\)mVEPE;dۡm,t 2U-^Un l@o>vN7쪠!kvFܝntOQ^Rc"4ESEDM-9QJ95B\D݊=b3y\ J)s8#k$GZYl25ي(fs7U@q[K"qOpQ9~lC^5%`viO N%h`m~Cݙ^Ii)'mou}z1i񍙧8]}. 繶[h'd|3V {/ba=9+ߢJL;r6峔 ):i,A K:)و֙&x!_Ň 9Wp Gx?UTw3 wB Jv%Lhb 2MNA^j$G@ =2\3P z*܆M GyUx]9H^Sx" /E-C--*мLɪY>Ǵ--!QA[X'.[;g&Df76DH^;rr~+"AJn9&jV!(p0hH?. [NW@է9.X"Iścl ]VoWC)O@U|0$2*ĞFS/p6mnZ6o@o SsLuCּiq]3!syw 6`\#g|dN0tN#5KI~=N<[B) l|)M!ȘjuDs'i!E!ynj KC}N 2II2rGv6D|:\ԩ萀um{Oxt,. =]J3LqM(qVk1Vwg 7ֺy2fk(H6;g+" ykOYUgĚZ?]QP'\Ldyb'<'c+,GTytܩ7󈲢A&}ە^1VZߝN$j݁hqf4ځ}]_bϼ?E հ'P-zÃTEk)ތfj-;!x$$՗mv^al76}.$JAȎm CoOǐ@Ν;g]r6UVR{vCshM@8E C,M@?`8Z?/f{uiŹ )5M?l! (E0EdBf[Ԕ ]f*U} pɾ=k_hS8=ͪ5׶;]E\LнKE &~K74Dm3܀k80q)ghܯOƺyAlfP_Dcc3TO{ NҌ'hy$ ^~72wa#EAK r4~ 1K>s53 Lm14MN=/ ƚoBU>W|2pD 9 ՗["aWV2y%^쌭1Dt/~[`da$gh- N-wKP%mPF dLJ6HR#߂I; `/""h ?㬄S(&d+jL <'58 lN4~RPcVj$q}o|pJo #ُy{6>^=|\5'FHrLL[R@ ىP,A֌g_UYCmQ6"8>,eXb.gˢJ֊H;NJ,Q"DePpNLc* Z˒Hg Ti w]wWwWP(pޢ"?0ߚ4"q@msjçpH•e~(4\XB@4dC }znr9-uiѲ$,dD gϷ,][~:)p%A̹їO0~?Mj9Qљ$uPx Nh7[J***Do~"Ezt `ҖBP<=(WmX_2K-711hr~+z8˷h+l|}3#y߅ޏ޿ H!\[(0M}lYG `. "kE={»\+SQ )^h}')HQz1uߨOadafsEV'Ɍjq rɞ &[೩򍎘56@=x umb)&e98혀_$qxpn+Cf/OUT+ $#H"p%$zNXێ 7jZJӉS;s-iBm5qj' 3D*'x=d1iKy\ 9ݣ4zl`pJ){.J(Tv)]5X1Ѱ2 "DkYc1]awZ1׸|>kxq=02GqTaY,n.F Iw*0D}oRں?GH6qxB]RB%8xQ04MYc(9:@0N-O ް &ڍk ݹ>ڏx%όZJ_TyhFMi J1OC *hi7f-fGqmdV3m|6lNd~Qy: F%]%da8I՜Gf:v Hh:HP*P\ҺMXm.Y \i 5.?xU7e.г)Of{zc$l&qbgy)_K0Op#>KWٶFkBTyNxsljޔE @oQaxPX  FqxsB!F,!OglNmSfe+W[F*Cg}m}Jhq6\{y0rs rHh2(z009x8|rfz(ԦM6}qtX`^9X$MO byD}c~L{NĘhQ,l^?&4bP<0!6ಃip*O'٪& o,~dž8JҍE M}h@l=p 45x.0KJhspY+*%3Pyqw.kVc𙏡גWYKJoN&4hv۪т `Țl\z$Uذ`̼5%,ez~{4̸( /BWV$T@tkRHZ::*XO6S+.LhC$>ͻL /KǍvTnuw1_I&l2QX}'֚[m3Y2f.mD吨pOE8F$FHJH,# 8g]S=>T%א8j=/h0+'Rbe@*bv&iWBz7fNRF,84>պBލ4  L#cE} D ?ϹPƂt} }`m]D4H3Ź"#ON,H[D[I4Usz(;&I^{/fHvF\+\J@6ra5ܵ PQxtATJ}{h'ҕض.jzgtPÉطry]>A Sz$Ӄn=rS9p|v_|*{./9[ ful y+;{veq &:Kkh%E{'9ظĚVGB7jEL'g Djtx$g-7|KE N˿ EAPEcUG[]x:0lyͰ!";RՀiB4u뀸Y><;Z\iMa"uZnX$ҼěH*r廯Eo=1{Yv__fx=Q`.ަ~\HD]hes~mygg.˱oDg#y2 /}$B6aCa"}o!wQTD躊1\$|L3]ypgT /PO6M4U#p8!*NaE.lLaT: w\g)Ɨ9Qۏ/Ŀ;KGҕ"b[eC)2#Ƚ =@?؅5 b^7ۧU, Pá@LJN:f<_U 4"rD0KZj@pJ')3X|WϱV#*vbTD @>DΤE.xXW=;+ud6_b@`Y*Foq50 Ai-ꩺq"<>tKی.*{kȌiI%iNK4ٵx\|JwDyģ}&V^bW鲞2_7FηIqYgn kvAj1'FdkZԾg=}VS`qL-O r{>8 O#tMsOlH8GnbׂThj[XC^*7eocNȉ xËWbh2Ew$3+ސyCGܮeB11 rJDvwlN<`RXUŊ7fT%:vfg+02@ GQ^݂$Z RA&ye# ^sZ.BSk0 ݃zVȧ('wZ0V(W0b>\:3;`inmwP&$*foK9rū/jThq5Ghz#g(Y+-(Y͵Hi+VS*iq IH @t:7jPx0*Sd7ٍاW82#qu~ /Qu>^}2Z_ojZb.Jt1Wv 105?,vڌՎT|W,q>$j[WMR_4\gtwiw!f~l9&ɜZd}+;^noZF=p`IBpߨoY>]603<h830Nf)!.NZ$d ڱdgYZ!wRs(jfm}k Æ]SZy6򯟪,4D~6-P\9 5CR x*UIIz^R+2Olt3?h?.UʋL-]HJ2A{#_2i*%IeF|-h!='ܺ.sff<2 z]F% T{.x5H=xi}m)yibtP(3'd.VBQh58u?:HMa5E=O\瀀:EqtFaa(o-ɳG hͅMYuUp480rc$,(Cx\˓BRrN`'j~~W`ЛFPH8]%Lmk sk>q-&H5bZ 5 gO7Y޻AQ Pd..>UUjQ1v8@nFhv*RߦBp&A\Q&=֠B)K8oشЪN9 3NVbT\7?_Db?AI%;Ihhu/LW+/#@u0ÆSTmIjjܶC3ecɴB+-*2rWNĚ`OFz`̪T4өK'7Cp>c`- $R=K6v| >2X0Ca\ʛT ym^"L ؒYm~Nw)>-4) ^R:nKwweLbJ ]* fwlF99-vhOTsYSXCDn 0U>R9[ ?{y3+QROb^hPp\S5 meUg"^4Wq.vy)>^.k-"{KV@ !{YTal{P 3z.n_OD?7ʶI~Yk뺗6&=ޑ;d7v"ltl:۾)}y(*d`T6qH7AzJ΀VIPjfIC2Jy,j:AGrYyJM)iEgjo㗎@IG[;!mpRD98XdS"Ii]&xXa vOe'ᕬJ /H~G\zX!UB\G>:o_W[[$ JNлEQFmUh*GZK>.2Ha"C=.OP=)MlmM5=3l}4PAnlEbט@tO-ϸAL "]"5GV5F6oJH0d&ZH^2ܯQ_q\JSWC&r,'Ko~1B7 *UEU MNlrd.F]|Np'S.Prx>9RQWZBQN6>DŽAu/Vq.!y&qUOjqu?Ѱh_5G.cAS6t~!Ӑy@xhD٨L1\p"sI]ޞiny4 AQm39Z͹MIjQGW).juY3@ogg+e3_v%BVېQi-D7@FmH)S֢#2*.!Z>Q>:=gm(ޠ@q9JN*n>BAmh`#H}*.cMet>o,Gbp.vcy}՛ڿ72+Y?V( z{JS)Yw_2wfpӡCX"zOJ`8G\Fn۲f{G 5DҒٱt8Ts&h߼g3M#Y~Rl7vh}*||'p %{mH`K9~]c+,['t5ůd / m27Q8w>y"ӷwtɘۆDCʂWPИSĒbL.―N4XC[(w3QSl߃ "@?;?GA= h rg A=,9t-esG}9*6~-5qmUbm;$ኈj'4aoKU }|XO Аzƹˁ6 Q,p-9 ?N #L~jt խ\m-&_9q7qF/~G_`U1ւfF@Id25)yy2aί),0@LjOYBT0A}l1kJαhXb:ҢqIcI{ GD=9͐g~m/5LSNl5:B٩;O,i!Xwoߖ b&ގ|+?8R]5T[*Fn^58Pcg  x' A8`-Ke80UMØ()y+ _Q$LWʄ}h5 ]{ЫmT/^ qvf!E#( e!JͣZ،y!z_>eiAl/wZ:F?pR7B|[r@#:)-ƨKmTsעD<0Xdi(@u"+|ڣ0KZo2]ޙtv{PO>3+%杨>a1} }|ʋH0`UM  zγ(T. #? ǿw-dL]' 9 8.#x@U 5rcFj]B\+*ባ擐bH%̼)3`r78gJ^gWI:ju 7)<{e($*_ cOV6^ 0Σ f'!D>6z;x"1Cf`|D`D{F^$ .7UJ݆ԑ#th}J*"} aNȘÜ ^օ=wtC.%GMu2l^sax-V'F{6lrT^0}jUwb*"_rD$|F5Ӊ~>ZG~r4q8T >b !Է$0E>%IlA& VYK|*fb>rXYi^>\$.ް6z_}e[@< Ss!x å9ccZ9pLB/ ,/uB׋Mǚ%I+ IV"jd>_}6R3~B wGX9ٹTuhtN!kQ)qT!V`6rҊ>fh4Si2&1jS3#*ݼd&% 7Ao󵨢^( ɫ5եn=:ࡼO* HlDrCc@o!WEp:OVb&$fXͳ s6T*]Y`Ț71F|Tt$ɒ)QZ6yK&۩d;^T+s؆!3}ѻ02`? 97c<-[luZ˙ -B{5/G;\=v SF$;0+<*z䧒]kfǜ̪7-9 x__xE'+-$;[%5s[ϐY3`?9eL/2 6qw :5_tDѷW邽(w],լN#˲%"Hg}v o&kլhm;{:ʎJj ðzR#a\/[)hXjr'"ܒ<U-BEsi_um'd8lͪA!RFWXRx8iZ 2$LbM m>xK<}_0šueg+ca$"*fppR, 8iSlzo3g_5bYnz!y텔CW(%U HsuO춱:2tr&4IM$iHZ,ְ,`u?Y+,׷/b`}0`DoqnDy y "d6_Lʩ3!O[{(!sqd/ ,A7#]GiڧAmMꬋ3wb ķ^ M֗ VגR)+3!Ӡ~ C5:K냞[7E`4w\na/ @h+rOsܪFbkr/fdBj`=ΉDf?_ 滪M*hg{|7uUjI^%=ջ(eʖZ8eN)d)EղsJHzY!:h!"lPy۽z#!*9(\VAW:&2wBq6"WrNh_=ifCOͻ6(Yͨ9JGXM(ܘLJ6m 񁛐byYT BSO?F)Th,_V55XG4A30x}1bDSM۰Cc W:fT" ۪f+RѹlAY+f}sM쇪8BF]e>jm`MEL`Cv @E3iE3bhoF?;;UiTx\ u $<\nSV1di4}*CF4&H(V E݃5ƭ>{ t)A&\Ƴs34Ř9gg3aQa6s]vs4z>HL7Nٚ80jV@x;/9G֬`RS4KuX;݊1SfY;&OMWjlǻlUPFimMg^@](IYv2#sX7+`@W`0'qz2 %8.|$lr9%x>b lyqCxl5X0r?ڮ<4R=2Vajk ݹU9WXnov*uka,)gT:$A6 c [1؛ 6D*ARM!ct{u=i?7C1rPB&B |/Cl _;.@aYP[NSgZ\V+\ Hoax}V{o pwR? 9Xu>ZZ5 lxoEpfw&@[%tÅ1!_&Ac }u`p--¸K/-kz<0DL|r0,;•%nhD_kgΦy3^LnS Sf20gJxYJ?|W@H 7&^AhJTj܂EղsVx7]UzaϹj^J"/AMyKQ6n7s] lߒd[{d!Sp͓՜9p* 7Fh)l1-T6̝1LkCk~ZVزg^LpF^08T8 O`|~h yzNϥYܩ^PmaUap@}H˂V9l<bAcy-΀5k ,Wc7> i BԿm3^~K0eg}H0:sIG$١Vll Ca"PT MV{]k2k7 F>w|2MHR"J:p0$A*ȖFLA}R_i?k O+{Frxb7y35HQ6%{vG!HXvOV;/C~ɖzmTOJ;& 9lvu:XK5Cg`Yn_" u8 wI)eXdZ.,f#QI " -CW{BV5ߑh`I톀BETh Tw|T=wہ?GJQdb AB.8ZSrt{xc+UdK@ "cjן[#ltc ӏq0g6 9;i+[/&@vD@ٙK>k$j1 cj)5>GGAi[͋48+N =nt'u jՠ q=—]upvHWh}8_(\T+zӂF6(;i\,9tɫڨ)X&Jҥ6$h35)gWT,QH aVRWr.쟏;F- жYa(#}=s &`yC}?<;G8hqHL[#GAap8JnT g0:[* UdȂIQs}nT58`&2O| `'j07PcBrx%Kj՘댘gHUf;@TqFo_"P^9SCaRڹH\VG?5su'ETS MZN'SWx1ٖΘ|)%V:$Aø~Amh?sMo+rS)R ^F7,NkX-lNyE '{֓@$ F$-!~pF<׈ǚeD(w=澟Jj|i`qcPaHލAhX/rE[ ;Ho[km".])SHNk_Xc{uL~lAzN{ud7#T3 'C6|$M33px :[` nt4Z_V5+)Y3\H X)bUnI1Y0gfSNCYޫέkc(%}*G\(fdLNeBYʹȩѓ.]i Ȼ|rXKJtK,}D[`4#hśhxlq-Jf!qUΧMg/|7->#3i?4Hj;1N.P1mmm)}M|CM y *;#)K dz—ꊚF<ō)=1*̣X^QgjZjI)(KOL6[ lgw tg&\o-Pg,hKH_C* PF5&ld& 5j Co BY]Ym)D[C5 eҴNW}@v*փ *kPq^CZX4Nhoc4L_R;kD̺&J^H0!7:3:~DDbҝ=4p?G)Cۍ&vPSC66NRC[- ~sipy[܍Cʇ#Ν!R]`̅LZ9nInbH\m_^&HVWC_q@Zcf-\  _y,B@o`4^<-?O9\#3VjvO*#eVw ?52#bZ_iH77CQ}zK5 Bɻdհ𒱘\>"-zb"vQQm0)Ye%)녕 J45 A5'BU--W'`q970+E7 JmHJm8dNЉ;BŘzka/#gf6xF\[hQo@Wj6 :_(cdf62 |D@VAr؛4<כ'{iSHQt=dsᱍ Gd`}.U4 -ƼPMrlz~pPneZm AdRC^Ck%+'iٱIHSNYƙ}!?j-2I]sTo>t}Dn x,C(ъiUz ceUޚ$rjeHŴC zre}-٧ ăl4< $@b֌|^MztY s!NwGe?H9Qt~dN$IS ՑlO." AI6ؼCTu),+:~a_/pƸ+"X# M`&+!4wc>&ح~ ,Yk|]sYA4 pLTTOΧNεibnlܶ _]p\N\$i,#+:K~U{~uHcF=#v$]Fa+ϸm{Aw|GT¬Zw2nz"JʹJ9/t<ߐS]=zG&'7?KhlD1 7DԮn's&LO2m49i䕶e jI\0JD *&Rю 8gp1=E8yȧٝ`3Zj"' 7cQEP8AI䶌4/;BZ $ D-9joS㄂z;+6}n!ӕ(>Y wt9){u*,I-,Ms S͵!w&B7ܮw N&oѽ/}IRB+D|i*2\hNq#k"VjxG: T/4N&Sͼl=b1/7&qv,-eqĤ?P@;2p+Y&ٓC[p }%D@I>h_GkSyEyҋeQ(UuJ .^EUgNK(*Q͋-/1NMj_ @_Hb̲⣬f"mB- ##E] +{i Z~IEy17(|aK(zRKy 7ο> mVrTZ'˳MDٯki5зP t`LQ//r/gU`X=qŔ܇DɺCzVlXy}CQ^1BKF1VY*NM&(Rt%(:KO 9xnHRBc4ΊmuQr=SJ%#&<91A`Ğjȣu`57w]gz~r-UnC7J|m"k՗e~f)ɗ\c&] Ӏ6qE,F,|&n GZRժ{ǒ,gy?7i^;HDŽ՚:o -8 yiWoqݙy#T)[Á,~58Dj8lo/ ;9Ww27@kQMݵ= o/+aaߎSU,.ùLWL?܊l!1:"Ή蹇mK;ac,f }~*Ô} MngL ɆvWL#rDh:MD^±͗?jZ։h/xٿVWV ]o6 um8:nI4\ۻCd4;N',""=k}`XoMy2%*"CĹ1j%rG\?N[5yWtSFM0NZ=(I b g,P$=4kU7 kG[%$OFׇk WqSt[QuI ht*|h\EmdYtS9.XYiz^8TX Z&4!Bf3` 8 ]r<d84L#sB'Cc߼9k*`;._*ߢKLq4];/jp[蘃'ӱH+Z'7lϠ,>V>9 +6цL[B r5ܼcgn.x~3 {NE-_3nxl΄ƌe?1K$hm[\(ruruz9W#j;~qnP%w#\YB&)mw-Ov˟JHͨS@rqʪX*= :,Ih@PF.2gQ2>,2[Oܩd+)xEUu(IU!I< E,,_4"^k1m&~H6mgAz2б);΋*Vk*Bg-uKw1JΓcË7a&̪\r9vSi;R =pY|Kl)[dEթ}<hx˓ RnB6"QSw^;Y㨥WdsSeK5j^ G ]sbo RiMnS5hn>b K0h j:LI0yyZk~WM[z:tYH}Ɩe ]zj ĮPLTHhCW%>;Wz$›`D2S46Nm-VI..6Ujp#q爡:9 Ib!^FƿPz Ne0j*\~h-G—׏ ).h˓$.qo!0v* rm\ u!/Su_O>ŊlVTlinS/CՑ'<Ј}W41lF6bΟ7vfGShܻQxպW\3_YC̏mX(52}Un2k5`qy0R3^ U)ϛJ黬DW+!r40aOǶ/`-;5&NY{099 כA1黟0AZ 50fk5aKA 7qTD,{8[}!U_~@OЛ5Pt`Y=Ј8a6E2ܜt?oO4 F3L T"<:vf.M3 $ռb§w$->rfFhĊ(GI,4i4_$ "#.ǡ=ghW51*ڽ+ @k{(*!|yBX|0jPI)֊C +f Mgyx@j{tF Vp~ٯl%T(b-[𙮇SH/_<`zš i0;s*K>z(H@ ,pZinHW?^xN-k& gU1p =ʖjDS3*5CgۚB9spRfnFJᲊ%" '?Ǜ>1.]r]gq;3u:[O9DE o>k T3] s/NVؕ x}jpq (8Դi{{9S>9BGB`C^2: PH^h6r|@[^|'%2BHzCs8Qq4 q:U' 8zLBl8Q~BQ蠟 JÛy,n?MOJ51^~*CZg=[FCk! ]f<7<.E%0};W 9آa1tbb&ѱYi8X%) џ:~鼹<!՛h=õ-$xzUB#1>0+p! >.m`Me-ֳ[jd&YE|$S%Ӟ9bjmҡ=c$PRzd1-/{+i/괥Ɔ6T/JݘGe&'x[ lxiSAаb #)G\3hdA4-mVo: 늄J#HѮ;y}K]{:2rE.T܋ٻI@ r+^Xk4r&±s(*bOֽ[ s">e kF6\>pנ6ڔ ˸>x奱ϱH/V+Dsj{,V DL@XREiįox_ąT7,ȩ` IQ5*M+P_{ Yf+mx3Y? 7+.4%ݫѤx~6$} C;hoE"15( Hغ{ܓ18Sk}ؽ}fy1SQm<{X]?|^/#lDHEesk.'.Lɞk̗yN_^)Fdb3 sy@O=Kٓ|Q}f Q%f'J!_RB&: /W~F&]%^B!a5&PUF6eļo?D_#EQ9t: !k{|`;* ?rb"ѝzAyG`n(=?1/X@f.ϴQVv?j*'/o נLlu}(]t|@O>n; у%<i֖X֥_i-|,VL雙>hA99bIuN }AP,4pc!cJŽoL"$oKDcۣ*J&>wYlif{[ހ˅TU=zZ2&< Zx*3ls;!2 {uѻ1Y975T Bmq2tmK@rRћ̎d3JRzm+p@zCnPBy!D u8_gg 7-@zIxUtW )JSf 3 _IXm{Rfs(foQVϦ4FhI rFܮLA1h#$M4rz8Δ}1†C;DKn5)7y2! R.v\IE`A 㿯:73j݋r^p Y{S]V vi\4Լ;}ƝJ ?kr/v,DѽzBsTEijƠϠW|F6f=_dJ9Lϟ 5guOjC-$*/}N dlO O&Qec4Wˮ d̤UH>| 0ՐNGaPa}NhHppϰ4T7E'9Xj?踀HNGIes*3φ*uM.? &:Rȟ>oB`%A׸ 7Tmgt|Qx<?& &)pܫt˜_@~=_'SS{-"K q}Jqv~:tC*۩M_i^IVDkDq8G{E]ɯX*sOKO9f1 ~߈d}7yLjԙPUrQ !΍S*7Z /eAL;ա/$1!ls2'q/z(ު(3Ώܼ^Ug[\#IslH~9Kp:L\4j{rϏ͋.L[ܚB>KZlk]8oٛw}Nfa4 y՝W>E$ҡH_ pL&r/2 tN*8;xQ'_:U& , jqcf !gt-J pݥ! ]/<7SGF y8!-,Qwp]M~'LτU3-qhʷޯW^36&dx]]H>K 8!7>e]5hinGKv#UgJP`o59͂I݆<1se֝m{&oɺO@Ku8@G7V1|UqM5^'o)InMWBKr QGh.|zNo21INN=)ұjFu_1 ;Y' iTcf6Eͧ^yZM|9~5=/Vڨm p܊6` Nv^uFm3TטhIʼnΏ0CXDC,9h* H j`1k؊mj0t.BJưA%Q ޢ}' ̃)$? A&Ôn7>1O% /R][g%jmCOTp E*5FyoȨ IjXT SaΕ9l 1~- vȰJrIkGb@4ØJ 4U,:̸x X ?A=ƙVӜЪMm)^rmɭ'"`~hf㘜0 5'-VB䏔fA\Prn^!׍+gOk(H.<'FȴfN@Y05À"43Ye_jVGoq_횜R&oo%c!-& cVf}p֑P8Ev7fSD^@ɻ:Q0ء9PyPgNvQ5R:QDS3b&Oꯄe*Y=Hy;6Bz+$%K|@&[7CGw%|\<'H>aDNχSY$1*!vq_T &f dyDL8d:[7N|ܪӿ +T`8z3i/;@M 3$(B/ "u߂Y2Y B2 Nvsg4e0BL&D%\b]jAb܋ݵFbu㢾H!u/8J% -~7 p0NBIOqd7m{sWrХVjBO=39;$9>f/hO/mil.Piڿ/Tڨm^šoR"o%g1a똝D&7\ 4bAtYטKf~,kDFJ'ȫ"4 kF{C~p2'Z8vrDCO 6bC`ҫS%i2ʎߣn׋}9Zc1|poVl=φJ@&[n=|?W4}vjZ#)K*x|Mu aBޖ^=Ot-vtUn Ֆ{$4l7\<=P$quPva?>KygK{>:wA]51Gh[&m}hJ [!ˊtt^rx)f :}nonWp\ NpҤþq=L+ÀL|̈^&e!bXM"grJϵ9IrʼnS F7Gka"ÌڠjҸ7-C{W՗xX'L&: ?o(5YKѽNl# @ 8SdH-C 2c{7vAf K/`*0Aw.hw)uk;Pu/V; O.r{p& -n:WdD߀ XYtPu]ҏ(Y\z^})pms%}Z߁N$您L5:dJH>/v&}ef)3"1"s (pw1UaS6M0.3E|-^bfvU)!mo5H.b2@ }~4̍ pq0Sߖ/ %'&KՊJkyG< L/뿞&C hDiX凑^qz>BMtʨqX}((>[p?a˜oSxB+*W}Ggy΍\w@.`#}4H 2tpX8_T0ac !"*+Uv]9/"6/}+zKmؕ%XO\\NI@3Z' 1 UɽwZuK숢|[@3>3cC<&fhC ]H87rjNHE?,&.{{ m $TF:I+4:1fdz[ˤ BQaHb`^O?FJ ۍD%ES:`tPԌ74mCо>AT i3O#pu{IRS$q]g&;Wbrv#nA~v- 䙸v" $l!TM4712=7~'4#vaWYl $#R(Y:Yt sȣQmp| H̔MI*HXR1HB&r~TmNrNG IxNlolRdGsFmߦpr10!!_:AwaDVzǭTSacۂi>TAPTH"FgyC*DQ xgӼrLxmHPiI= t` Urc6-Zèɠ``5sۿl՞@d!g~iwOߺ `# ĐWJr#纨bQe> wK2A +)0m|CJ['m3Ѵw'R*q=ztpqK: z2~Q }Ƀ/ 2c jr!vetOyE &~}UqwKPLDT1ZڳRc?G,wvi{1)det@~T[r>MM&(3⷇ }hLd~ p0a6CFB̯m:LΗ6}co݊6i hL1mhS' "^2uCS *H48LR"l4.-R/K6od0vڔ` yL)2Ⱇ~%;?MHp'crV;Qdd,=u73"ĐLek}Xe; T`ʁh26%Ix-e`7(i#j4\QO"lizL`LlicQ.WQ:GĘ2f6U&13VcP[jr\ "Kci>]ۺ^$#, xA{‘Jji¿H+a5E5#VT_M+ ;6Z'%; .$܏x"룽%i"'8抦1(/=nE1Uf*G;l8\C5a t}!}ҳà3^܀$7"2[E J~ -JUL_g/7=K%#j]˫z!̳!mض}\"M’4FuՠFJ>sۏ^>]U8z&SCޔqZ$/ӝ 59]di`X\3t+|<ktGG7Þ$Bq𸄎.kHC?SCSP]Hupd H\i4*Z;*)lA kq TI6iyCVk*:HFA4Qs4[`'vOW`@j>gl{8u#rH?  6N>B'zNOe[+Q6|ݧ̧:uR-96wVкOpJҠ8RhvAl Haz"tK߯^{ңZPfrEݾD.Ġ0-D h/K{rYdś;C-9d '͡T9 v'=Md};xij )`3HhO"놼eW vY.$pMi~ݫ ?z[+1d;rBonejL؈2_!;hslWu5 \/?JsNdFhͻpӎSA6@U0݉xGBi*Z}8ެTo!3,شÊ6CKmXtoW)3 Fa22Μ$\Ƀ/TU| ?xD/8JYTKѻB4HPV?ot Bo9pFcA1P ZbX0(|uejHúGDuBom*g6vy }UwFA;K+P-r WCKJ.37ؗcG+s-7a%;u}o;dԭ25g$ubjw%ܥf͢G<PdEc:a3?}}!֝ 8̨dYk,{ ҳPeZVy O$8uR"ٝN~~E:@fS&pʳc;_8c+mu g'KP ,R%=_V4Z~O:F<v ?뛋Lҗt{6GdB·![ S xjXP2;N7 3SR*,-ӘIMhՌ\Yoc+ur,K=MPQs%J8I*,Gx1p_l`i&mR!Lb˲lcs, ؇R˾+y)(+X9 fKk `TΖemʼy0^(qC!bWj:.©8 &mDQ8{zg э]!}t̥we蔧l3N{&kpnV$(A tD~8.QM3_ƞw `[#OYfo:~P( k7\5i9W0g'^ЋwW+8 >( G/ȏu͍;m<KKf˝{OkhϽZ0\x1o5:+ф@עCB(By 8XI(IvC ,XqJmt-C$ۿ.03#лOKh"9l#R\:mɭ sHzQ*dX=eYǍB|_{v+fs#pyLWu[ k{@rbh7;X)X{ c6D:q呁:Db歚F7`RP"ܭ⌸}۶5 !R糢6 ae),apN ׇջ5 3;a004fqtӧVƦ&I95~ buSN8.&O,9į|[Dp,ƁjOdKɴ0ILK!h5'Tzʧ7 A=;q~\D-Js+[=[~^}O<Lt^W'=jb:]D$Qº9Y*1#0b;ǧh ɖfUÃyN?7UeL&tPWpBPzy) R [gODhC^\p]{"k JJZV`L5w5\;-cS?(iOҢGr#b"X䯄ŃlV؏ȩ@єǤw"] >$e_.`M HQ0ۊe,L(m%%glSJ¾} VXN|ob:$4;c'VΥ{P&E!L Nޣ/GgkA(Ee2N;d6hCf OhcKƤ(Q]ŠD`L+E9z֫ɪVi7D,AVC0}o0Pmprt=BmjݡJ_㗁݊}3wTHt/Sd:ux$|3l48Ep)I"LӿWMĞ݈==_FpB"!8h#8rJU4&;]%HK;fQ6:K,Jrry|B[^\#F:=BU+/!T`o=|ʬ/NՖj9&Y[9=̀y F/SjvΧCЅ#Ϻ< Cl͠bJ2uzrVO!~5 ? Og [6p@$Pj !2Mrx{3?gEu#-1 aÊdwsJ:'dL'/* #uE,yvXl&pjk uƉoxvV5P7N5!vǻzI yA.l[V6iR$-pWXĠR"wQzC~$ $`ħǠ+wʺ&"J}9pe{!͛0;zp6m6p]?[@s,{tdV;^nIRDA@%]Hd%erȒuQ9*`[c6A<_7IE:Lۅty 92{ZD?,z[q< X*aV2D=?QIM6(铤z1ssݯ[(YLUfh0K jZ/-Q;`hREՂ"5WUI+<dqG Hmjs+Ry7ZZ;|-x󖐾 (J+&1mۿO<85v?BTwrЫO't=M"!$<څcTscCjڟPpe6Sś Z'$[\Rl?/c[$ݞzՐ\VA{%%vGwEQ/!iswv 5u@z ڬ3Vl"k=f 2a J!y6NQ]5Uԝ? DX&QThQm`u=.NxrNp4AP؉zk'>#7TG!SN4١EL ߼jMAԂ2s? $fZz4uFBN"cdvNJhxM>I}"  :!/VQꭥ1=[,FH<~pG  *p3r/ROF'xFzA ü0D%:$W-:c5÷CES+halYpJ)(5 SSqŬM%sZ|YJ 7E>X %'Omr+^Gzl x`  -V쌾Su}vHjAԜcBw>SQ8ͻ _oxs5OA]!o[U(qI_f',=@d? f8,Q(Ћz7x(w.FM7CI`iTy [ݜmm\$@ YD URtoő35Hc4gkrE90ҋ@:<,5lx[]3a)O]뵣J V>* X~rt* &Ntfy#u Mt-~}h FO $w9TK-_4ޚ&fyfӔn#kZzwb˄oЀ$}v22îqV ӱY{ܭ0"H&[ݴ8_yw' ,x;hC;Bw-,di{KI_U;'cWA cN$w!F2˚:wsY"XI`"=QqQce?/k-oKxYO ;k(!٫գ۵k3{[X& 1 \UbgI ':W hr%FSև7Лi͆ (E+Ol.UMV/OU}ux},՛)vzS0I7N;nwQ3JdM?HEڍtR͞ntL8BCS~Uٗ0>z1s!uGEr_TFhOY]9;Pڷr#` ЗQz~x_R#QHqJP+T.uߣ0CHY/'Ҷ t?:ղұڦUaug2 JSSp!_u.S۲JfP f`}J g~j '02 %( 0 h:UVB7qxGX`<$o ݒ#=f+:]DZ 0O>_܉1rfgy4SB&1@6} IżDx" \k L^#/ue$nNu&!kYU?O%eG!c^TO2C**Hc cyX+zӞK;מt#~**yu<&v^-.]0M{j>"ooc54Vy>D[գ{jmwT[:rLPp QZէEsPmHxP[%;[L2P& @Lm u7vrnn&/0Qcքv4(ٿ'EO6P -Su63v<]젽~-0Jn!9B1*ft\p7 ludʋ(-2wG\3p oX{ӣό*H(]!ʔ3[ zamsOyu$'慎~tk)>]z?G9]Dxsm=t)R6/ӵ(rm.Qnu~%nF(Sxptn?y-KN-A*ULXNdgd wS/3oD`^gD(i`N>O^-_?0F j]Upo-s\> )XXHT)#N4<>h#~lrAlO6nbPU?tޔhj(X*Ιɂ};F}@ wۉX;O8;b(9 3DlFqq8 z. g (?yHpk ]&8P Thi<^_ėibeq󒸟Tͽ5lQ:%$]80} ro jgo&Qskwi+OamViJeZsQ*4C9h%s]|я> 7Clg(ם{L/m '58ƳwIWٴվLݵ Q zn=䲳֥)UxFo誁\Rf_u栧;%T „D[A7?=ȧK|*qN>&V>2;)z#^lLX\SY$ܗӝz (N^IMz@ffbM6fdq)Fp`ehF~b+7ɻhxoo+7|CT}'Qib)g~X_Ɔ@˕uMR Bvs7}= h>  |A ӑ(p{ϸ3éיD< dRx粷:܂t8 R_E0ꀅxҁvd`Rkχe5J3e:D=P ;_̘Mز=y~Ez-Sx+~{3z'9`!(&jai1<є6Y3}lT]ҾHm=2+"VZ>5p!2b_)je#i){SD*AKX"hoDEaUm@5TnH!RK:T%M3ph<޴JXX#cf>n 7T%)8fnDlEwf & ?fgVQ/&Y\)VОitf%c'kٳ:/ ֪:nOkhŷk2Tk^jb9\uz&3A~&M.l*W ;%y7H66sǟ"{*8Y =!VWqy ,6jNt r嘉ΥS~+ ˣLh_QIǙ#-}a7d{= ^ BVWKЛ4B! D\8r[M&' `ߚ3 > ds{O(a|ZjzDy:6[;O7>6Ѐ bU ¾NNE:@B4cY:LnD>n+b> 7zDOװR-2X{{WV١C ɼ-޲Pz qzvu~]5z7c6 :G!cw iG  MS6~MX9!t]O&3|!D~h' ;'iQfRZvJ0s# k.[>$܂#X< #=u;ydro4/MKx~ʰ|1/N{>dZ-ME-dKipc1mrjf Y5r~?h^T5O oJ(4rSViwd%M:R$uOHPZbAHI%LqƋsms_HUIޅ\EY. rvDĎ6q$&qM. 9PՁ$˲2p%3}q.Dj}^ޘx&~Q,X)n&ľH&մ]s1DmیG1B$9IHK(]i79!\nIJ~x92)i4ӉJoMYoR7At8hwWkR [Z?}izj  5k%zCP*<|e n?ՏPeiYwS;?8F'ܜNNi*Vp-tVHLN‚;Ee-^/L,ԝyʼn1;fF@$D e$sm\Ƭ;>kNa9ޙV$ 蝜ܫ{HmJM͸Q\D\\K;U",_\*_6Y]zjyrT4El:f%v4Om\нq׿%%n i3O>y;b{UP[֘>9(Ծd+QZLnZ\ /hwqw@#| n!)[Ӌ>H gx&6Z(=͓ %cOlN}f9WtHo&w+(Paq JMp黪{_"2H.(Q{5tWQ;e'O󃉻kw*J7fwB^ks- bv`oeM33I7STR𑚈,<@ H#Vq} W"Q ],)&> mH i{,'^㨄{T$%ͭB8v.B5dbkl# w>Wx%M4Mu Ʀ7o%ծeJ PeznDD5mS8_A}6;ĺL]!ڵ\O2"[WD ڠ[xkң#0HxέػyKHy/|RY0)vrG E$XsPu35?LauW"zjgq!Q-Z*PJ7ZwZ΂$/ ؚ6Q.OEj,&Sڎ5 k$&8?ujfU̲Fkrq(k:o t' cfiRn܉Q/;u &~XhV^]nc8 r3-(WKsc<43d),͚n7z ȍPv|%Olob.0}S?O1p9xoЦPc>OA,ܮ%em!Ԋzֶ,HIzFhD>ږ]?-Fz P7vxt 7un[)>txq$p^г%V b0G[iV+G{g &Vk]M]sg%`aqC>9t"+c36@犸-2^n^rJEβfUh;3s{e#NQloT+, {ӎ N2 &яO)Ekq뼜1]_6iTb&v *q b]r1 hv/Q䕡HS˜vGICn͹[oXk?RQ:4giFfR(Iz~`i7՟i3,ҺE( /yjN^r1m:Uo-\'RSxnT#T0G-"JzD UoGoQ.hba7:kb,_:7rôOaޙӂHqDp#w¼68'7\n X%#%>$*CZ@iD͊skϞ ?y&fhPĭH2^Ȱ[ۃd<) VcMbř#u /@kbvNO9i%1g5ַIj)pJ dS'ἏFzY`npYFC7~!&L[A^S"7:R9┣Of!#@ srnH0˽td4 k<՟ ^u;&2z݀۬; @O9EH-.:Hq=DA8)!QY :,Ͻ9#yz[Fg{BG¥QU5~eԙ$‹iLDnN8DJB;VN?hՉhxlx -?tfXs8^bM?i#!h,fNΩ0zCe)QcY]q'velfBr3`hKS=ӡ MG=(ַ`ZO+95C㤳C60L} b?&Ŭ^:brIHz0+$P_z?%"P6\/ZU^ݢkjjm[K܂nM?7i(2ff ;i7HwcYE"JzT>FhIFEEw=`=xa@nؾŘxd;XwiՌP[,1kr2[U2*; 0 x<#nldi;OKD]^!)/cVL|Ӿm..FTH'5cmTdw1SM߸%b4;hN)ttFq2l8) $e6:x;Bm oO A0j5*oz]a%jUX6_sb3簽)~fc+=$\ ׀ J^I6W@ !z"zG{pDIn_I>BpOKK/ X1N؎i*6wu +iQUq#$ZX6m>,BۣZxY$ԘU #",VV6gN{Q["1 }]P]dr\EDTF:a}:71|:>mu#Vyc1U14Zj~$? p~&+{Ïg~!j!͢ ҥ@'Ӣ$fOfLX$&wUG-ג2QF~B.|eK!BI# '_7ȭ~lѼ(Aa9cL]J8ZZ/gN/Rjm[3M!lHGG P N;<~"֩9w~gӝt3EgYZ EC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10281' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O H]Ά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 O҉}{kk?ٕ-P B H@Ob[jͅ;%/[c1V/cZx^\ҼH(GrV*dx,igPȲY ]ΈKBL e%Uvjps $S](_u:H; t_]' n ~"!蘜9!6Q/+0.4iۊSF^oGWNXfTx;Rԇ:MD!IqS)"(+15x^ NL&w@Xd+$o ފwp}y{oCa~o^>AUMvF!=#}d%Ln|,k4vM"^wdu3ǖ/>cK,+bh"/MH;/m>kDafi_lQA-=1vuS'5^e"YQD/UKU#-+ltK_ˏ$@UɊ[`a.$OrݤBd2׎% P3QJtY %'.AmpgmA}u›:/Sj9QH>NQ]b<:4x5 9SpO܁a@ax\mՕ=,)vZCeTХFr{;ydI *.: ݸT%neqpQ?_LM/%^5LPz:Y~I g̩(5MMI])$_UHԨ]wucAȉ0D!|%l;2>ϰ,vۙ3nvdKu@َKrk}ob_c2&j_Yw]3hƋ]s5KzYew&[]LǏ4s;TH]AnṈ|s|jVjZiAsƊn9*K%:'cmBk˕O>3]ѵG[ Z= j9r!2vp %6W\?@UQt!FJ:1kV؀JWjS8?'[ɖPEu%́~4[Ad]M^ KP1s[[nxR&E2:2&56|KҜO͵Aqٝ_"}L%诼3/6iW`mMci.jv荚f8S7MOv~zX+KEsh%/pXT5Vjh4'PGK] P_R+~3:g5 w |$'/P6=+Q&jJ>U‘yf]';t\x+w㊎>L^>7p&*a+M?hmZbG&'ק%@Y,n.ͷ-Q)~sRSjem1hʪoM"lW?uJ)3KAp]GX?m'=|/;@D0ѯˉTФ<9+;Sqop= })H2Dgr!wkѽd' |&Ll4d-7tn+4?&3g^J;D~i}`i+:ۨ 9;棲A  /b9LS:_d:1)t$,,Բ$q`~'_&59=!齬KP96X30qKl{4/L휩 Ѝ._)H7@C3}$qhteGڮGap/*׍ /Amnf@P7E\S!iӔ5toW}K @ٷEkN8` :¿^8j&NiU8'99~c;$[]tf2gleʁK8k [5`8_>pc!Í=}HTbC׼Rt+.  k@z$RgWrz|\gnqv! RO~c-6O#Uo&z6%F&C["3b-Ȅ?߶ji=dKdg, {'73Wahdw] "m\+naNˍQzS-/i3 i lblmn9J@o$cэ|jx!Zerz4JB:۰ZSI 1Ͷj팇c|Ǡ_<7f\7+oBu/.^ll/" Ӯ H3"ZzN,u2uE_qfص+Z8{0Qє|z"~q7oq \+!Np"Qw?"i@/K8kփF H$|9>`;rouf|aW&d!*sQ+۰wobHTehk.d$D,=u/8܍EKe쥀ƕHPU!y[^ZQ[iޣA|5i_OE/0V5稙mI2&`He;r^+Lj0 VA I}o-]/p$Ie_ iƕ`P7%I_ӴQ$n  _hQf 18tZGX 3U0}ڒ 1ϲ |>"C *.ىK\dOGІrD0=ymFsX{ (54? C]:R[Uڣ^D332V,OִvT=;%IeځmrΛ=!$اh~ܭi^łsJ }U\CC`u#EL|˛d\z|2Il|T*ۻ`R `A3iUpP_shDY;{0 >1CHb!(qߑ"/.O)@ґ$oa|Tt>e#˦#FkѝC,t!2-3Db@q* r?h;:ho1!?;R{pL1hՏ)ғ+ (7=>}w@GB]zRQ uKEa_}7$ܲ&ɪ=<@hѩG~Km@%cuVBe an[l=rr|ؖWz߰֍]Cgr2YĐS|&>KE՛ k5w^D ֗7ip.{6|.9[jnA^&Ǻ1AV@Kcfvܳl><%4SC0UR(=^>m}dPoAŘM2xb].U[85>~ c&az9H?frC6|Iwm~VA" CJ)iÛy6 jF9ح!5 *퇑dd?#g8+[6@l}uF$~t^ze1tn\5abbD'ntqУہҔyW:^.8a8sS;BeUC>Ϛ p\ gYZ vv+# 4ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?mN Z[H7oRZȕaxDCA,#œ($UXٜOaʋ"r!vhyVޖW,a'k~3efCƓ^J-06ٓ[v<\IACR3(/d5׵dFzUZE uWXJDm)S3!YwrA!N+HS pzr|n$'#SPHEpݵd)d%$ (8, +:+uE*sUIݬ=;+7d֊.*拲҅iUhmO,aDg$7J:Hs&:$I$uM O9A̷!e4pdy9 ($R{5"voZ]aRAˈGzuK/3>_W6cbQL7$yi&W3:e N^ѿ8Q)KC5Ty簾p&l9`aTi!hTR2T$L~Qx (` }{pzb:nWUl]K$)Qpg˖ܗn2;xBqL,+F0>6&)D/%"h;nT+m1326MU{ϘX;D2 ƳAj[}i*('!?y2B}q}歆TWiD,#+;`ͭ6"}fOdVMsw%6:k@enbv<'؄rm-d%98LqP0yOb$[Z1;U좤qs.ʓL.@kK+}$5n7&v"Ëdśr,&G{=Ҕ;Qk*M 2)/$&?Q1S@<.iuk`*eݕAy13LD(K:a&ez*9 hR[oQޥIGziQ:00&EĘs|ygCfC8J4Px6_BeDvj][™ m U!ˬ/!2}r#e(|\wUGBaem!EJ"ˋ-kHO%#`(r` s/$:O<'KUinbC,!M! g5~FJD3r{^z5. 'rKo2H ųep _,M$PZ3&Yigv]>w%tIҧVv x[N#J~$h6n0ya33\ }g/˸S9߇ F^!P?atٕXP'ܳ4WpZ8}\MNa S`~RsQR^9{}jЉvѶI!to_ [fꑪڕ@\n-W@QOc01dr):9E.M_ %Kk\!8qEk-B-=aquKipGS^f~73SmK+j" ӥH5ٻ@\ + %߀}uz?>@cZy6y {101h%GtB+WZy4? kKٱf*[g D7d}a)_Y:Pt!yjuZob ߟG.TQA(,/(z9`?{.i\ə+NC.-&IJjzO+B7Ƃ&QiAQ6JCxIO* 5+W1b qB)ut/`c~}Fm..`2qjK`luT~z}XʢRT(l땶*S+g圫>-;)eaR!!JC6`|Ã.aKe^ CQׅeyQ̈HqS|c0$팇|Cz]rj!㩐lH'KӃmnc5 5S}0g/_%ee g±gYZ+# )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&POē=1]sqJ\icq|꟔AݡhF٠U4; FJWzxkR%:~#eEE!D:ۦl =,9Y܋3ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0!)-ZF-InductZF-Induct.CombPIDE/document_id92 +' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+&]·Iq n[:|&[zA׿CfA=S  Db6;=$N1k[sqc(/3j.u`-voo!0@n~N.qʠ⚨@~YcQŶk | CV\8i-Ș y}nGhqǯ&D Z(8G `Ekܕ$wB8q!2z$aTU넭o.{hsX]Ճ`IF^ԛg2O$A9/e?a+#!{3)$q+f|}o=/ 3["^4[Q19ugWt!Y,9TIWX@)* A lrf $k>^qP 7uu7fGR(^}؍']95}A{1̀U4r7v?8.[AxQ9C_jJk)\XkKtTe/3ׂs&)+J)o!j,4fO)ǖ0pbsp3ܡ4ܷ/uY0 42ǖc6ebZAeO֢dр#SBm0rcx% LV9 }woql`x=CאoiJ`cЊ#.W&5e 9%8Oۆ@ @ poI#oxCLn ;K4Bm?x 1K|^6?T% !_H$ T heڥTVY=9x h79yEHN uieN |$Y_3̄YHƣ(GZ%xglFgI#&Y2hR1R5*UY-0>Lo+r)\[I7ۺ  ^r,S7B WC_΍ KO~A]lJdžUԧ+\!Nl28 tLjƅ卜Jx_ ^t"opv:(^og`KdH3tC(ק乑i.(͚k=YzT#8{<ͭ+`}ׂ)C: r \/4٥.-ɪW'gv.,Ɖ_$p2a?nױ"8s|WL$%bcpMFX7@#""TWʪfV k3en틌fgQReLɴzda(VJ as,ɏ/ğdSCMeǎ ( VTShuRYŨq2mYT9cVKﮞA@O|i0c "9ސz>CsM|mKuɕrSLJ]U :y GԄm3f%.w~)XC4>齐oBt./bnIX^"Mk ĦM]U%jŭĀZG u|p4 D䕜a>x ]&% nK ) X]*! P^09y|jH.K\Ŭ؂r $תdj됍*.7Sf+ʔࢦk)].ן9 5~±%䔪n߮njVa:pO#0%)*d \tC <>pHOXAg鴖q [fv>Rh7{_E{/~0V'cH$*j1cMxۋz=aB]!,vkf.TQg!3K .yfmQ.:HX' Fl&(}f7o\Kg&B:.,!?*9PPgex*8 .>DֳKf~ %vKf)e&tyZKPʳ$DZ"d|olL/{Bck}!Y5#Lm*U|;ҷg#6H6j;eu=0rEtCpDb[e.f1d{3>l21Tאַ]`9-ѭjhXzڄ5ҌL( 2&ݳhdz ђj0}RxGB-O`76L+ f2|x:1f-ŪvC3 ҹ$'+FF{R5U].kdU7#Tq 9]i^B)4K>EL=;(L l0J\kM {6 Ǫ~_qkOܒ!vO}15Ī{$ל*3t ./W=<b-&ȑ:B"$MMXy\-^eQ)|QnaiV62TO9gs@0v`^E"톈 \~eh*:[TJ> rz<4k~#F#uXø$eͼ~^# h^jϒr#b:q] /RwZ\B!٭RF'-ხmJgV5C1ƱN"])ˎ 72 2(bz QsF;ft';jl(- Q*Beߚ䶖zv(AUET:?tCf+%7RBpHUmUk.&;eb6b/ZSGWmD,Fx6ߓq]|֮[mlgV-EŢ܈&J_֕40XQpX zD>'(q0㭡{z_˽).T &3>+0rG0ʘݯ=S3c}d90Ul[/BH>b".*!^gs@ƽOQN]9-#^<_ED[Ka8hB-*G(D{p7=ҰeFJ\ƯH>aHI!'|CUZ8DkoO7ڪJKi-AeB3|D*u"rZ"h'0#'`+MR%$+yÃbM/! v^s`sj^Q5سk+'.f;^ܜcN1xRc\Xw@ǹ;σ uw+Hc mi8@]@@Ze=fQ|O!,|cBD ܶ(C _ 8`-:1KNX_?G@qF\h .`o~LR0o5C#+lWMix}b4X0$xn":уCMKNг,t]JTX)~FrR/9(d;&ZCɘK喕{10B6[ƥH'IkqAI@9}M'WtA712, tA|rHgXQL!d 5RiGI:ev0 A*4)_.=z8#%ۧdqdP%wl$>+:AZ&0y%w+(mO&`U% ZcZk-ŕ:Q{ p_!d4G\Bv<gMZTLCPrfYM _vT69B7_~٭L*J 6DjzbOkPfE ,4et GjZNTW#g9|nmg~("KBEo3e@ f$?0Õ@e eY?(=C aujh xh:¸:5sRȒ%bdHրЀiQqPdߖ K@9Djnv2ޖ" lbЛyT}b. !"})ȇWՉR9~ViK"H.HʴKTґCrfJL>,sFfz^ 8 \"2+lVUjUɱaJ^VtD9/SgX p~j~֓];s_`8 (tlZ7WEvaR Nٵ}1  p‹rHMjiƝ0Q4,M=C."d4# 4M0#Tdv}OS4=ߓhr[MYg.2uiG/3)u5E^xЀSj*RIFIx쏊A&- ]fy2-kab"LR>. U*02Qҷ3+@4K+WMFoJfb О~y۪Wѽ (Ѡ-yhݺ ٬Ox@2ka4/;,Gs]3l"AUpU`#s?˽k)܂~ թ^r!>5 1as>XEެ1'RXZ"~4[CZ'Z _p<ӃՓvLCi}OQVc@KO3pRi=Iz&ZH "~%J~SsD\RQ6lmgAL1})HO*I1 EVJarv+vq:&T@foo˿nejݑclH䠉 Ԏ@,&ZoDi Z #CdCP!#ً3DseU[yU,4U~*ꔫqVL URf"c+X8d1z;~XװMb % ;CX ;q²aCQ# 6{Rg/qGnduIJlnMa96^xo ͓H ɮ 3R1`> WM5+b'ؠW9gy@HSǚd܀Nۓ[6(PwCwU|9;N7p@"70+ڎqF9Xe(iYgɫІxᲆac龉_@#O>e\dPo%3$k `'4y\gd+-tJgQ^\ml{~VBЍM͑he,-Yk2M0iZLA6/[;[3rۏRE=';S#FDޫ,=C9Ҁ,!GvuaB S䓔 nP bH 9\ŮȗN5~G97,n-DvAbXE$kr 8eB le!m:G%c- -t~3py*j/5vx?J&n8E(]XKnUom# J?sEvLln3P Z=4-˳z7ehSާzml W6m<) ;== w@h`njoݟNo{Ys͂Y?þ76Q B^]CfgrUPtyI:3B%Y)D`L,}ȮKjPjO#)Dޤ޼GE1e)IK7P Qql}E6w6l=EƇTn~RٮzJUyϞIF}c5ӈ?ǯG3pmuh\cȼOIG#@TrTJ`U&i"J7܋8r;YHH豲]vʖD\"r"UOB&M V-\:sN/ՙڨP.  Fnp|e?૨B9NkmRNՓ}]B!Wnqs2CKĥ9V<gT&k(ئiTo%s~vpD}[L]&v=T/'l)l%3BYERb(4r[f[@Om" Xe|&5mTtQ .8EP)?,-Mu hdAڦ`E @~E3ke&fSfJ rwU+H'q ̮LDYN@&L6Q4Z$ /be>`xsQ0>S,c'laaqǡŕX{c ^{~ҥBL((]/HT.2Bή_R&}oi12. ~\ 6m/j- WeƆ(P+m[C %ځP;)i%2j{R/\ͪΒ0C|Pn14oիXN`I15&1R lG/2w-Qth)Y%K2VɉuX 1@'jTL xz8+Y>,7#E uhu[bъI[v%73ٹ_T?? ˡ"O)-+}E$^XgYZ1Qψ;`3y=(VJ0fFyniUS7P-J]VG+ʠG*¦dN'kkMMIlO6h|K0PKJ]-9Yڸ›g|)0N$-{CC>B8~Y]TR0iv%K?<o)saSn^$^ YHt-rf)d#'&7/@+' :w}cQ{3^~*uo[M8m]vV|hw߸)wyaM8?ךt75lh"̀A&@',P<'hrs*y6%V.WpivZ~a<ݻyj>kRџaïHGCM/=rS;\VSkIL4xx)6u;90>EFxBT џ ,;PL$3`aG#zyH ̳"sUiU7Gؐ3 d/oj D~u]z)|m_D9ƒFuo5qF-d*i|}m)kYL<P+j⿦}B1^o`3̖~m_plZbd^) ΅2 us3<tE&?PYG=%R{D7?)q|s9m er!kE;/E\]DGRGW'sI|;+2إnž`niz>G,uR`_S:0VtN#)s|ggIqN0%;!HޯILk[S|g{@Is])F̛7L&&)b c87H\.jIfukf߉_zG4E1ܭ ( " !* o䍘cW)"đM=CmzAxH_G!.NaRuv[:޾ Δ .eJtM4k8HJۖ~z4DSQpAVѫU1`;^[y2Zpzl `ݵQ]@ˊDm?bOF =Zh'p=ҦT6R$koEPh@c]' Qk| A4% VΫxSoalR=zYiVԚJM`iQ`6@h~H6ű Olx] r' u^{10Z‚Fe)dJN#̭_lk}n$'I }Z<`j/tنL/4kfj;$W?;Ӓ/kc[fWYOU#Hxq5KB"15Hܔs%Nu L<9N*qta=݆U#5>J !)g_ݯkLm'}+q`iqOa7O~B1B /4y(46]R% E%ni=i0H67?UO w.?$7A14f?^Ƒ`A:5[߂U&:’UAޑ ,ܦÉr仧9)X|F(`>̈F׿huŤLglWľs %]"[K 4ׯee(͆[jVM:)m m2۞2WoA؁\sr1p]8(gunFw@?!_PNnƊ"[}s$ Eh2bMb$K0՟7' S W䁋u `Fνhߋ18֟laָ>_|bN܌PoIQ6 xN$$aDݚkI2hQr0庤T˩G䇅ص8ת2<;s5|`RYsyzUPm9yfќQT=GPK;}S/x 桫OO(\ }\$U^Dܠ_J-RJYƣ|= ˌw}R'"s)>K<~{ꍖE>R M' fHrY+f:xiD[!~﬎>[xW03`}7[<,d,` ZUO17§<dԨ;˒s{n8;J`҅in*)oTGӍB+}4U+w}wuThF o 䎾 /5!r'1LCV1S3<$G hnmvS1wЮXcE%XN*Úd\DX ˕~QP&S[-ENbWǹQZ*uδ^qX0#dӳ9^綯60vC5taɋá)MV^pHBRbr28,  4rRיH8-`%9-_Ǚآ} X ƁwMcp ԿH7 'q]cڈ FͻXYiO72v>䩋2"pGH]g $w4MNn Ԩ7RfV!w{@SL_&$_]_B_>(=vu(;- NǴ^[;XNF∤uFEp`D kʵ)Wqw|nQ~z}3?)T'!(%ΥAcQi'.XdJ.a.p=ю#6n:8~Zΐ;M[dC (Æ'퀗bQХ[p|XoI@E(]&Sĺޑ-zapvzf(Dzͭ`t s^ɚI~cM 5psQ;>WI䇖p(/7m} j'!wdr2'o2V"ޗ MG+Z/bs%><$*^أc7l@=6 @OYEVO ^ÔKPO݈_bIAjb2zla` ڸS"|ߋ>ʠE GW8 QVR(X&$A 16MW!q5z𭚛m'樱" ʐNZڱj_ ;;jVHi9JE${KոvuIf7R \ŽyamVmnc`e#鞮CһP]/f-#Uء9%ҍuÝ m@_%`%jnؚN$GAOZ5$ߨ 7EDRTF\ˁeU y[9T?D c.30M0qeW5 37;gX;;l8,)/N)v__0Uᚪp}ʤ U EWk tǰ?E-1v rCHf46-o-Ib 4?X鉘|A622f~jցn~ܯÓ"}VpGl^iZzμy-_|z)=}x %n';PO^^\DҒÞt^Z!R֞-pN&(!ח>Jpx=# $4҂-bZRJSZy9+)ύFyI^8\[^7s7YLK'q7ȣg֔(gC ~ct9r[!R[ )7:i[c)+' WB%piu@V^6U=Ov,dnP)|(=nGp*>sOFE@r9O-^_Dffי:U~mH` ^്|A#6^\7Ghv=Opmf̺P99 Z1x٧4ꄫ\]>Q+|BζwC >#&u&!\꼉%YP!<7*gX'IGr*XCSŤP1(s>l#~%ubӳveciZbT#8X\A0uX"XgT4[e,RRQWYYM9/B[ Fj_a{oԁXHa[ٱc)~ *avA*-H <շ^"c('r)nNL& WûF:ԐPA=U]#6QKK*D3<BӠf,iUk }*ĈS_[I:31 rsv1k \`R-u(DW<4o.QvdvEJ!fX/-Pٰ&2LCHY˼D9:B)lg<$EEPܑc\Ѹm2[zv(mc{sT?v0BK#|\#ƉJgX$xˌHmq l3DzJ{A! 3%a;_:|׈_sW XR;)՗`8#*ތ$i0 l&,.m[F r4B@x"skj?+@p:fꎧ0/Y(z}70=B;:+_Gq64?+_|{~GI ab=?M(A5v NU9޵8;f5Eu,V%*왰dB\\ @A㣁uvjBiإdU2%@g]: >C,/L劺%ei1VInY AhUqymLZ +;piiVK1u*I'jMf JUGc )9m+"Lu>uD!B b=qEVPВW ΔuQ5}Ucu%boBe¸V,tomd.tn[mxT2{]h+ tWΦ:_UD2OU _= q=z) +ȶB̰dnB)ǂۻuJ"99_Le~K75*);̋ "Pc\_L ULcl{~m*>- fPd;kǚq E)7Dᵱm_drYy_?eD{"ʂni;Z5_-8R.k)m^ $D JŃ] &mrA7s8=uG۰`Qr#QC{ݛ=2Yp71^Q=G~WROB>1ἥb>lwcJBmv &c@zaTв(9>.nLA\傇.BDI Q_ ZM;΂}+`RrNQ S92k8g6<”:nt7xdץ1W6}s^(EgϘ#ҽRErAgF=@^*xB: *4|HbcxlJ9#6%{NÒ>]8@Px]{T 6ܗfdoq{>P"yhWO}5/,2w$Xb9=S0ݣiLͪ{UjT=^)NIS|Y_huy&IXbѻ %`e%O+As͓!GC^'`a1.^IAqO2KH& _6ըgO)~:]g!q/NPfzOJKԼ oO7tIT1| \/gNȥAM5MBsf1 "/'|,}9W9lk\3=B+6] f3 L jȔ*IXG0*nX"ax"[shmO薞A!0d@zR @=Q62VBnƉrOkkN`"* zOyHG荺2M0#&퉉Cފi'+Ҟ?@._Kn}|ގAuG3#HeR^ b [̴G1)/ KNŠ/Z,3IY[,0OhaQ|w@2-  ˍ5כQh[lû}N4"'R K?5pe$ʻ>UEas7%&rHi?0 JEYp"/^ݡ}sw*_+:BtvS@'!<(< $:g_6"?+ǺdQItqV?> φ~/1ez8sɑ9{.A3EkVn7feN?M3q^-²_xPIu򯊧Kx)3Ժs@+IMr75&uy(~.~rzqUX0"ڙi=?f_BGƶlffMhX|a{&)f 5_5MH[_Z!e}Q9[JE-,fK}#U@</3 r1jf$| ڜo#]?=$BR|T 7%ZQu]p ߵ]1>H Qりyo_/Am$a\!)0˧% "4ge3Nٮnrmee9i:R-%M6؁{邋R4$4sPj7 $ fёcjB,UT#}G5_^`Az`A_}  eD 6=V;1K) @ΐ8=8Djr|iy:{i/ijn=SaO<.g ˌ ʪ8PǤGr qG5Il ۟:hiqXhXwq&bgR_ cwjih:g+@lzdpr~ϓ{= $>@oӗ6?[}XWer$'"y8O;%ٹ"g \VԟK90g"*=(cd=;Y93q]FN5K[_㲘0-_YS{F~شZb--o8&һ 3 Cx>؞n1rF[aꔋ:*"slP'i1wwʆ͛ FmmU UbiO##gD$ZRYh7L%0}mTH eF+xFy.ըᅺ(x ;NUm͘ n Fq2 wGXUEr>i| vZLg؁dc) ~i5 biln'KR-멥 t-8;Ē.G 3ŕ>Zj\Pi{",7!El^IqFWP!ہ7υl\0Ndsf@Ԋ_%z*|>0L i81V\Ћ%1.suK<^V60љ>;,{ɕC-+#hrt *j.:ܚ:V cQ_EƯNj0V3YyKbl}*-4 j-qMX A.>n#ΧD&Tp@$ATcр3✏Mwr sɋkNٓzZRLLhs^;n; >T0s&w qe7C2R4ɴZs%"x;EiG4& CA+@If,k`ֺ=%) rPy{Iae}1]$%S\(?%d n n tܴYxsl WrGG,omS@!? `e~F5#܍%FBskCLo@JXT/Fo]P y.Q#=؆Di?cAP1 䳱VMI<)*1f_~`$9A l_mܠvm'%`<\.[&3C"V 6ԴؕS^%WhM4,6hq){yoPd{u H>gDZ|23]Ѧ1">"yO֪nC=}[)gԛf9K"p$D&{2l"֨`<Z`,]闏Hkk#FŐF)$_ j#%'*sJG.kU1,897< "?HY񁤙y#P;Fi~n>B/Vy`9?8y[kY##cЕw{e,;I zqrVAo ̷Vk15`c2YYXK4Sb[!غOG*[C>,:97 >[+i p&c7q6L`c]CgE9)sAnE`XR7xȹ3*rGNFJW=NfYOu9)A8Nܻ-!nxHi'[O &k:k^CnOE/5a&#r-uӡn9D_fD.O@Gz|Q]^^ݦ:y>@4kgx]ug!v-:eI`iq87?|Em9c|#+UU2+*= QB @\~47wZIJQ^!aޥ]Ã9ilDzpqe!o oA,4Ӿjx{z*Z6~tm{4v[W,V@6 ֠k7n%+ mah8x ̂ 7ꔞ)r37#z ZZE-1WnuG\5 KP&)t|tԒ弆YP MOȆDa*'%[}zyF)`M4n_`k~>J&+-ˆ2,Yj8aje( 8lPoubxXvgx<'aY 2o{2ǣ҉FU6s)y9k%];M@qvyNi@q9:kImQHS`#;qncLnahO^VVou@9WCY=s@@ӊJcD,sBӃa)5^.HYJJ:v^lb嶬;ƓU^sp`U#T? T~V)2-k>4U._1sDZ\9 ƚۘ`Jg0ҁ:XV}6+tYOF:ta o*屡rhl2wwϡ JPv}i* yP.nxWWŇDߗq޻}Xw;/LrTBGf c E ^HWW>:Z!_ŒČ~nuJm+iX*# R#\(GsT&["kDJ70hABzu!It\/4=A>`I+L·7ER~yEs/AՕ`ub S{Cy?[)hxֈ '%| $A#)eWV*ns|uZ Z ,8kUzm„KD<2m$z28e82xwGڪ}JLj8 b2qx"&Xfq90tUȓZt7[$0myvUe>͑] Րt)ofw)זFm5_Zt^:{woûy4 ~=J"VՈZ^$8{ 6fQ~ lS$Y%-ԋ5pMK%&ͺGI\ (SF%=Aw%-:_ibKй6Ln +HIUE7d݃^1}ĺwzJ})~"r ef*?"]3ekIaތw™") vV}rQo}s.<'5EcԍVkaVJ#jhZƷ$X cF[$QSm^$Du5X@ZΆi[J_N=]@c0o9k|X՚ qƻo fy>طB o`?}WAHBX s]QY+gttbběܾnĉ 1CF+Ye ^[B؞EQzű1B$R##[ȼՑ0@r[  fH,ț]mԌZ6CP5zB^&\ҽ 1yy7(@n%L)ЋUyYXRĆ϶ y--3lrdb|%75Lj k/|"7[ݣڊШxYw|*:" fo }67Ԡzw6tvxPA ш6# (MrFCۻ_tx-PI DgigըZ :hq44Ƨ6zG{=V b jUzAx@"<0, Hmr婓fGի6VEX~că_3&I:-EmkxPgmCO֗}gMOe@;{xO=r߾n=WygTZ.&'Ag/WvA Z_?D ck z:OP4+B[ (}4B@r[6%9 aZuP#s*dAE%僄 #^Tume"m?ڈ&҄w=JZ B*z6w!Atc-GBƅv͑'-ygZyɈAn;ȴc홥jh+O$@/E!3QR! Щn3x}v0יSpePF&};>ptS̊G3@Bدu鵇.jX4mI}P$t5oeW!c!Va .x~XP :jQ̰VmLT)>u#a4 Cb%~W ;]9 ږGc=Q-чgq&Z+njmʒ?jXYlC l.}H ;啥яXsq1f2N_d+l\W'cC|Ռ*dG gYZ9,/# $ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*J]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM:o^c'F,204_1ĖGJ*2;a9^7= (}߽&.r:7Bn|nmaر[ IOQCeО'Tur80+y]]ײ!P; ![u)~2-> zHE\NX]|Gj9?z:c`f8\`9k>uW}*qdы5G+/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4*/-ZF-InductZF-Induct.BrouwerPIDE/document_id118O)/' LZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! N`]·Iq n[:|&[zך7Ylv1pVcj}ZߞM-"|ro4̐:/:+n'!JA\ض(>1>zaz6]ϳHlw!,SkO>sx  6l,Op,8z PGRcyVC&AƸŹ|CyQyeV2J4F?L,z2a !Ul'4W-i,%YaHq^pGDjzF,a^Io0h'AxRI͏!SJKtW!}ȺUKX\t upb'ߟYV)+sV3TzC/3NJn41Eߋ7IKbhier?`]!f(Ƙnn=4;1daFK*00d}ʘ+je3J,j3w ADD∶$Dmg`/' 5Y+V>vq3$(~cGG0]iN0= A."(Ӗre}*c-AnxĽ[nNqȨyQb3'MRJ\5H更t&GyOS7[IMpW΀- [$wTS~PFy)-dD+ J4|{H֬3U88f@P"u0Mڡǚ;-Og羫kQO3_l}(҄ķS fR9*L|(4+t(_ߴY7mNzQ> bej #rV23:= xǺ}ݱHy M~[$mezuTb\HDьfLK<. Evؑ_}nEd >t"x)S!f @kBuf V`BAm3Yhl0트7 qgYZb( /# tZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! Us@]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{39= !qgA\6O)NH5 6%.?|D!0c+4+V*K 4QԡVSI9dV`k>Hnf :rAkE~eʶ9P210sVFpYCejrޕ/-榴 |kL6DauTN{ϡkh<.?Hɗ,/@I7Yȥ/DXKPEVvB#G+39UqCK6(,R9/U E' =l{^==ĕ-* ſ.+>#xj 79G.jVtя4>MU'xƗ [`(l7E h &\޾>NE:jCy,ihC#p? za~jԸ_&,T͗QdȖ.c#K}i 7@FN  G0b;]iHmMSȱr=W^or#kZQp|q/}ҐX`P7ohzͲWf|7AG+Ð-(v!VDoiQzCw@y'DT]vwB1l1vAV{A&aNttnZ] .ԏ9_;Sl?8;Mgeg0S5Pu sO?+Y*4#.kE:7Ckޔc/[ߦegl-)uqikB[.ymv-.Qx3JuemMh@g#/*;H`r0|+Ŀ۬+y"kτ|xC%H3vBEkQ. l~jjA 7H*66LW yD/NYn{W2~0[ꮨsnG' NJp9@'`w,CFu@i3)|ůeF+OH!EžsAQ-t%TN ;+\3c!6Q"M֗oKaN9DiE_PPSM>lpKE5̏C63*\5㟟2 pTP4\}gPi)OҖDUoqt́p]9eE*Ō禲TT9+ˈv=z9pn. &6bv(څ!0d 7*&ۻ<0Ty vb/ l)]YuVdv* M0GW̫ `^rJ0>؉lyd('I/Ajud6mz'7N"B"uw#F*Y } b)}ӳF//cvS6zQ |lCZ/\ըFh?\ts sx ːv欫a%Y3u3eVPq+fݢP෪|FjbAp(֬/g?^b_)%]'ڂlK[E˶c0Q&f"\b~^u'IY64M} oo2F K5ɞ@PLI^VxҜ_x ӂ7/HB[[Ř_Z' tI9jC`uS:Ɓ|h| /D7@]59h7S:{1W MZ1)=xQDRk2cA]g {H}pN Jbwǵ z`DPN~HX ǟB:ȏJ竏NnE:~(օʣȮ-@>/N ұKziZ!8J L8FOn=t tVTp8mx@Qn~1ƒY'82QG290Ў]&zL*l= H̓\[Dv 趢 ;"hMc~H[gZ +[5YEyF;IKAK5bEFu*p[bB *'ZG=x993jb,Allϰvۮ0ukf"%VjpmIrņhi0u_ V.-k\Ek+WVhXe0!\aN;,^4VsA2aպdfBk${ŏ?ve|d~B_D2)%bWR,"s<pkǵ\sGo^&S@={~g֝X)g龞cTv5).Le*o=dtO_@%CjDڝ.iP:SÃ*Ip Ll+Y0HHRl36T_t|`n>!%@iQJbovo-T)1M3>ߦ@Α`Ѹì{,T'* a`V-+RYL9? 'u(WMɒ҃h d20*cEV)Tg5":Z|Y5I(ɂR.[w e#`!ȏSXAE/^!8=qgREg:#^?%] U$3 nO6 Cdp(ꉈķŕY}åWه2Np OfW_|6 A3wY!3%tHS_LO!T>3c5˾-@"sPֱgYZ rr 0+# LZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @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"Շ`m 1E7 .Bx"jrQYQpu ͳ}) cGcoAdyh]Aem nnʹ;^}gt 8ỳ 8W`ұ.W ,ӿ'jj4ז s=Չm;zl£zDJc1[&Ӷc'D=<,.ŵ ScGk FĦeǮ=ZN3 h3m2Hً~.NzmuB55З!6L*np&Po2m(1gfV/L}@/aI}S-K_%~o֒LRN܃¡ˀ&O;FŤEǃu65*Na;:V)Q>8`MlZJ/BH6~I8wL4FWrPuzI1Ns`"beNڒn&Z?{ynE]]$hrǦ1f#EWVRBRү>+%.ZP*,'tB2)7Z8ɈaatGʱNYuOY?(;7纱zXV. L2C&ˍw lyep/3SFy˯س&L់#tvmF`0jt)4pހBPspm_l&jӃvSݬeN) h,p/"YȖ=Mھ*uxl@CXL D|.?:4bŝK~bѕV "'M5gG$M~gՎuݕQן#(XiqS<BeVWmiM"œ3'0O?›<8&Pcņ+G_u1c -!NfiT`}< Ye#I]vj##t׫L%A #-3` &0lFʕO.[?%l9s? 2m`Zyŭ|[<+:gU\1o^*˞{y:j8 V`oHSTwDqD.or9asU+n#RsuO L(ڂBcc >Skyc-vtZ49.B(cˁg[@fHD2vI N9E.0Q7M1V,O=Z!ef38@=jO "ED[# TÆ T2c ͚_wJífH9/~7i&զh)&~Y4@55cwF1ck6m$ =NxNAMʥ6 [ܣ)(yWeGħf9iNK!@-ϻҟ2tn02tJ3zXYWI<3!^Yb0#DQH喠{}%+?WNaycw(%Y0T; :Ӱp; .!%v ;|Wzif !n[:Z-"*@LEE2 G!R;aRs\Dlb-UnR)F=w#%K;GT2+ x!{FwIi-G09|҄cUP 8S2uWa#0bV9Uf=8iTx4 _F%1 WgBi:vlL 6z2)]sv=#OwrxXh%XVw{*' ?MZp&nK(dΑL=h]5/o^hK;Ϟ}tҤԼ5ֆMS0{ TpCUb SHI3etrLx+$tJ8 E|ZB1:(Jn/ Uۢm^8|xԡ*v}U@;aIߑA}aPSӌ#bۺ7H݁zx.D/eOt&]+aT#_^6!XkJwILrZ3tЗvH~F)(>ɻå)=~ϝYnNt}kHMEHX_)XB1wONB^sxtMe{W? *E&Kh7Vmdoz!;tIwnI0-ZFcgJxsWDj}CA0F43 !L4T٭)&i 9HT}TlH5po]wY_6'y=5iut_LOS,_wCZ!$i>Uv5QNp`^e',d-F 3[ZT:͞J26DQkY$Dse LJk̑凨8hphHAn5 ۸IJ05@@[?H0-e.(K~V^u73eśg|L9ͲK*7c>D 8~'72V#QR"fa&Z@s'*l!3]- maU%xĒڳ`Oَ~.H 5l=F߱3U@u 2q=2$_sШiWNP0rZię`@\±qWAJIyU %) =,ʬW,GTLp=u8Xަ/]Ay&\Jq DX;isp5[V]CQ F98WQagCf0I[ NbB$i`Óm;ϸ1ſh2*d&-${;$/>tMN(voPWjIy\$Ԥ{75Qw rPlO!ij #6/^=kDKI-.ak(ha= '7 \oŵy^ͨDֳnPp(r &_sN8\ Cw *'GzX9 B}N`Hl6j;&K[м }JbZ wږ 7PQM"#=WP &e4b׿47VTM@Dž 8ak5|ڀx n&*1:P?@AOduEe-K{XH66#F;"?( q14"$/AR/uS> _ ɥǽp>r>R?޶X*uD+=F ^?"7'&s秷tN`t$ )L+r4afyhr *R,-̥|k26kvܙKaykЎH/ /0de'.}qJPY` ?Sq"ΡC]FV]07kǘ[V,߳KgH-) /YH[SZI^RHV.wȒ(P]alEOpZc\>PӐ};m[Cq9Uh(lď%"wyO  |Fm 'jTMyD_S5r\q8 A $udcn_A0Dj%]%2;Hr.%K6H uCS ]J+K'ؠ:$8G4/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy43/-ZF-InductZF-Induct.PropLogPIDE/document_id108<2+1"ZF-InductZF-Induct.ListNdocument/citationspaulin-tlcaI1+' DZF-InductZF-Induct.ListNPIDE/messages7zXZִF! {Z]·Iq n[:|&[zך(A.bHGr rNG*Lv~6BQj9|]J=E+}Vۼo{1+WJ2y%L*V߄ֽo"Sߢ]ŵ Iq;#*bGd+0 +ο&|"mQĎ]& \x63 i@.痠)o=DuYbC^c8EŸ$@qE`W8n8x1dBCvM?M͝/\NLSDP => Zrxb z%ɚQ%tOBr9Igm/29D d=_U{*'wHSZ-Zb9:t.70lL2vd* 6+x1mv¥WtIуYoʴ)Z4@pN-'q̈S0 aCzq=3vq刞Ca+=5;\ʨԅ5>:%XD7<1{j兗%Y N]T52͒?ق՚*V &gYZ9'L `^R = -; ˞ETďUeǵ+:,6_BI[ݠޖۣ]#˙l^1'mXךn膂#mi_R*_QBڬM+M {Fa}rUL)F* ~>$';|3~ +x]/:#6WdbϷ=]_?ćĂ-.DY~Z͚b22x@#oCAXE1Kϩ>LWIsVd[2?W! jiq 3C^]kY_KnôsJ{uʟ [kU͟ևn#mbtfz%7ZsǬA۲ݽ_Q+Yp'K:ĶU_<#Z*%>vfߙK XѰ'=sG%;T0GH#`HӰ T /T12u Džƿ/Y76n>5iD[%c1}N(s}cK'cͼqVF6Z1jһ0UdR X­HKI'1 ИtrȤ.EGć`eXs506MP۟ѡ6 y !XUZ鈁b3Ag3E"+oZBO5h% ,Vc,$/K;=ĵR ^RC4*bf{l:(n5h~8H}#v{L)fƽ6Ha40ڎ 濢` .CC8[8r+̅Ѵ^;o "S‸j *lYO y}(4}F+%o;` |ysD>Hi,8&cabۢ2hdl YSL02f)jhch g뚾Pݜ?}w@-hnf#JTƹXمG:O~9uل[k{[ zw?#Z_|W, +Ji[B3 'zgRSeGD0$? y: TMQD0EF7X)MZ2oRιUN 0-=BM~夰H~Ũ D3 <\.ԝ!^˛h86jwWԠ^tFyuGni?|߹-<8xGēukD}ۨƆ:Z<ltE+jB;ٽr rXqi7Ȣ n{UA$ƭ1T. X_+7iVO(e8(c_^40 %,;}`LӂJ٢r_?Ƀ#,#5 mki7nRo"[29S;[цMJu>B@x-[>lK Z@--Zrָ$ H`)'ʋYJ߲䁨Ԕ~ Az=#W=r@kō6" !ebHZ홳&s}Dg_rWon]ȅc%͢%hm?eoh19x;#v`~{o5F,Xo tL hP+NW PyMVPǣ7JB,}Z: +f6E2xBGX)zw#Żׄ€]kNb iD{ R$)o7rF.ged"b)fzK3(4m)y:Xl›г3ϵ%l @vΙn{ްEsu2:123T8VudI4]{ܸ| \~+5~郀"WFLl]]NSIbSO1*RQF@ktg8y !!Fx(eTmfCv:=ȳ411 G d|ȘzY_l<+ƓW`mm5 G՛aуJtg] n񜋋yxɖ9k4q#-CZf;W%Fom f T&˷3^CLDobqa 9W8,ssʫ TXKC{LM(Tjv7##t|:,v`YﬧiAD\aηC_MWރi5HcNE*$t,? 篈Z^ CȄ8Q\ryrûI,U$Z]Y js?u/mD ?[]\Q2/̿OBJ|ՈrNr#n2r*c`{*8bFas uE10*L+u ]!3x(نEֈ4Q}èo |HDA)x(,\m%]& h%0Dy#+JK2Eg a͠xt2t7h% trՐ Qԡ٘

|??N͔ZaJ,;'F㷽ڬ;MGNMXGTZﲔxv!^XB zM:GH#.Ϭ\wu HiXaPs2D3%ӰJµ`v\jIL%%ݏFA $GIQʣÅ~sU3V+fԫǣҨoٚ Ð7!cq|"W&yn++%eC1QH CH@!tm -3zce)Ҁ-z ?򛫸yQkVu,1)37lJd!᪰咳v\"g--N=rNDXn\=Ϲ2Q8>PQRme`8%:*Kٟ.$Suh'(j s^sb$n{qN)v\|J1OWLF.յQ;zn޺7'ʂ "@D |ok %@G:GG{B%'+JΜ ŒOBJ6\h-Og=7Cw1<Kb(*&9ڽ*=>UM$UZ+A$]eidD,<"E.h7x)1!@i+m$ݤQSi;]빵M;ia6ulpz >.T;l' [lP|OrJ}_̆JT"-zkrN44Q{""E ؽZ(;<K$^:}فX+Γ |} T{K=z3p5},ߗvc˹q&/y+<j0o*ُLmrPIoo\<pYR(ft.*MR3fYo(%J0ZVtY )*prw#QSA2eE*0Jŏ֍C);M̈́Q֮Hli?Jg 7PmK6=To!aU!w/P05qBggoRHe;ؗSZ$/}Pso k \.L%呵(@AU՛%ĺ7?(.-E &!O@ #[V(oH+H%5 ~7qy!- YbÁ(*g(? 5&PGt1q)YNr`mJ,{|!mȢ 3iZ]h^]9}LW@X`x[Oj; Gpr;<9uW wޙ-傖%Ull_3頹Ja?GLXǷ0XҰibo7ۛÅnEB*6c{| -B_|lڮ?vN rI{*XA ֹ_G_(т_ƥ$k$La zWϬ#vaNTS?SmGJO 0Ťv6+Չ8..Yy BkH[Lhp~D^L>e&(fM`m![d2)yؿ(aW+'8䎧PgŠnNπĠֲ+y0ĀMUǔr:'?2qgltD,ԖLQ=. cX}j \JO_֞V5掵zIa"WWb:g ^csۮbuKplBWfnyT5C#MSp\BgݬypPu'x)Qhw㻿$R*g'6]"7\#k> -q,_oBۚwRkq@xؒOvM.5M1!Wv~NL! +8Qmz, ZA{b?|!̄avyԉj#@7KecM#:UNmh$H|Ӿ\9A&?* pL>oSPַYoJڊG`V"xm]D7\b NX-ɄdHQX2AE A۷@SĝC,rK-{CoJ$7*(lmN$Hm'^L?r/&B =O Ŋi{=J )[td˟89^ BS-h􏬶lah7t ,7f'pzX$ayseۤr3ut XN[8T,g) 2B4N%(1\VAO)P 3 :^B|F9T(BpnV(ǦS 4zo^URٳ HZND҉tԑƒ S ͞v%yI'U1(bIeA^͠fRγCgQ?<YBFl-BXlCs-({=&?Ƽ5Uc%eҦ:wdrՃ@Bxxn|^l +4wi!&5qJ)dO-f pS3LCBomGxMِO6BWOŊ8~t>Xٌ΄A-_̈]݆ 2׹wS9Ż"| M^.. gyow´Y ţ 4_S;#VP4Pce) ˵3f^Gc HgQ>=$|zmUfd.la#8fͷC|}Dg  =rːő@V&:w"c 0W]E(A?qN~McJԕ @d&伬ma)r܂ޭ-[?n4T[%"C{RȽwɕ]׳Uv|B<Pal4&ՙl\&I栶Dؿ5 o>3̛F+E*:`AN&7>a1$`9ġ}Om: qtZ>0%}RCb+.`TUp+̶b".4$Uy8↑(pƙѫ<<#: 1X FbeY3U' +Dp;!sQ''18q3&V́ {:N¨3 ~ EUg~2qM]bS*l_X_l(G.r!}cEhLY+EA;w%^be!`|;echH} ^SH.A u ܜHmHq)\2Nq^2fuW_"kL }*U@zr!A)5Q\q9?BȬB!^^._VíD,Q*HX[lDc~@Ȯ)}RxɥRu9ECkxpn 3ZPi+Tel9Ԯ>\xsY4<.)p4J=4ǰM r%>iO]F0[{ֺKǦ"P:lhGV̼ ggYZ  V # _9 )# tZF-InductZF-Induct.TermPIDE/markup7zXZִF! )s]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEE(BL~EzC몢=d^Gv4nś۪ofU^f^ci)˵QBڙZ@Hb(' &_>&C섙p~L*!*[0Zha)g_ө'G"57uQȀ  CiSJ!o89WTZI$GQEa$82UO؊Ð._e+"<}dcl@Pu>-qu)u$0%G Tjbsv®V  ߝB WWQol3a$SeXam!LBDK)09F] 5A,~`KU7EPז727lH*:"0 ~+ fj"~RߩXT%/ 3}LRW$8aZے-^3_>>P Owxe{5Cc&?!.t0ڨ9͠9mko]zwm컉Kو*bZ*Ν. PJhy;.nyD%1G82çA`/G5jR YOan?6zAzowB|}Ѱs} ro;A8)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy17)-ZF-InductZF-Induct.TermPIDE/document_id112'6/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N7]·Iq n[:|&[z|Gn/@&^UןIZS;0`p:ĝg ~IA7K9Y6j5`@]q?[ך{"z@=N|TP`&ᖐQW5`O)Ge[ŶdD[yy0l!t'9mɶFړ i6n׈eTLƖ_d{v*fm-+s%8 (p.ҶH6Ǽb.Ec }m}%fJ$zko3> klȊ !:6Mf/ y`TCnjyohXrՄV\H?E)4ikSsRpfjD*;w Фg-+hdxiqżr_-!y)Vt2)pfN_M1Ȏ ~ONR6S"9qJ[A+)5 ^y½!ˠ֖yɥkITX8 56ɽ#gJ[N%O1{mGLo6X@h5)y{>Z=oӡ`,hmg1톱zC) (~?):"FWv!.{}u0fs$2v=xrDUiAoY8n[R\RZwogNh g?Mx< l=?[yl/g_ jkF| tLc&UB~%W*@ip!H^(;l0c9ʆQjQ56;9LsÍÑjj= Pl9_-usVբ ۮFH&1FI VF-Ө7yW~9δ嗭.n<.uwMoG- O @)2^($W3ӐOۃXz~GP ҙ?bSadvwLWBV/5 Nb IR{D{fر`2YLڝ±gYZ<3ͼbGݐAlI߄.D=e81ƕO荩8ȩ/&tKp*he5a'BȼTk20\C|e0'['4>89L(jMkûHaI[>J5RP]1V|.dB.($%'Hӛaӣ/^ܝxy(u81iEESshVye6X%@l$0Ы4T'Q=HDtIGY׳z3Sn1V֯` J2W*k$<")giXԷ|D73Bq(|V ސY lD`:>n3VKRK~Ҩ?)2u'LCMZXi4vQ!ѣT^%,gQ[g-ϢѵJExHQ@GtvI*y:myOO8UϥY6\Sw`^V1\or J^}6O[R[z/#XO}IL`\xH *c>BX$i҈\^tT=Q\z[79I5DF%i mM"3% ]t)Ʈ}0HMk{Y)o.q S_ф `=쟞'm|IL$-S,Q*_hʼn; LgbիۦXٹ'0`mz zw~_b|1wţ->tE5;YE6^zٖozTUdDB7SƹK^DPeO4S%?0ip)W奜{/6'ESx83ו54&<~W5;)i*"$S!7z,򇈄gdY#o@v!bz|W9ų]L'Jլh\9.)pa6nGAP| TyZl) U6G$UJb p"'sx)1%|L4IDӚsW i7y\>6ԁPxs+tަgSiAeeԂʹ}Y) q1i+J5Oqfx0ZU6?}/U&YE1.sd3|<Gx;euƟv t|cKs|_I=eyi3߶g;[qj b[cR1} w.*6_;+pʼn f5ޗDzH'cttG["(m+?BS&<K}Jm[yBsR7hVt+d%T߱$<VK! oÊj\-l|jͩ`wd>jz^~Ӄ?C7IsdnX]KBֱv R [C` @I#_~dxF$Y, bV9#tM| a]u\FiwCrLäWADDAǸkQn/04l||)ʳdy[E<Д*1KS/ /{cVXa"S>CuXշh1W,Fd_A0KiU[l6'ʁ4|Xe. {8sNeO,@[5xh5gufِ/B~'Xy' C֍qt$] Z uJ't)GWu,& >#l VtBz`R_mh @߫dTF5҈zn,>ZH8dfӌ`NPČm|.t+??ӭ4G 8k^]O0OѢg|u[_=x-l3"­#+qS3&牢 MUG֣VǭmMF~ +It?q'"wd87)HlΤ6[K1oG"`֯On <.:/'jZ𲰀'<>`,ƞm(߱&qÈqeh1c/i9龃bEU'Vx>c`q%$_gSlt4cʞI^VЖ0DÉ9]wҕ}"<,ĦqKګFy7ʁBdG9(= Vz*|8 ^;8ZV۸>7=*r*^ZRt7"P\oO_B3sJ"֖|]Mױ;hU!H p Csm)&F ќeoOۚ|yk$;%T~A5*?M; Yv(V񰂄 ؛} hxS\6Bf` a6!^=`HWaO)3iO&qS}@Aݛz™&+r9c8=rC"l]\.t/K<"*+b&{1U"nDzˠ)J9>IW9l'-;#s%8uWXՆ002Ey^*T9N.w2Uiԥ*UsH(/"rS.vVT kB/n&E4#4ja /;6Dmw덶nsXACɸOa #׎we|' Ja\npHCf}O&IJzMox7͑m. $,sU)S'@2̰M^&O I%:x I!]_Zm}-59h8f̒w*=tc tz3.=H3ۙqǗKmb[\!'W@L^c|~}0 =y^4X7>CoD%bly/f-S^ kV+G{I[C@4eEz<,"mNg4ƘP`9jޜCqL-R(!P`39.2 *Y/uY_ c uDSZ`W lPg?[%7)+r-=Bf o<~`/Mr+(P⸐8 l% ᙝ2%wi:ijzP')݃FlPՏhd#>M}UYI[ 8. ("i)yـ=Q@5ncLd (v6^Mfak &bDgR|G>l8G=E / i[:G]ljxpkCW<s:$cZSB:dhgR DfR!l}q!,KmJQ $8(!}Ἱ}`ZŽ ] &E^s il#9/D:6C)l ar]Qo57YbtbF<{%ܗ(};J㇍xwػ1`aW<{*?՚匡 9y}t.$zݝ?Amb9cv1I D4\.WЉ{sLvY{B^;USTP=X=whgr36Sv_pT{ºMИ w?3|ڵui'93 21U;9v7;2Ng"0s¹sΡf%h pwxFAnf2{C+w"杻_ ".l.0u9^fkC-ctb&RЋ 'Tdݓxv@ '%X8Pexlij2.v]EfbOU8q'F[ 6h4jvܭ &K }JG+2pDMOyIdf"rʆ؄x Tc>l}q<%y4ݑYuDyvGn RnJu90o;^j5JëU[T9oA4Tjo>TN0YȥrG=|k!BOBU_8>GeHg5G妠85r+uF8 #>y׃Y5ઊB ZJ I0bзy2\,aB]/#^?O[EC*okjc~}j}2K/ !.[y.~M+kyX lL2ϡ;0Q 7۬4[5z*|aݓ)ժ%r%1}+q@_B^veorOA]H?E&+Ux2MK V}muۚS]ע$T9͙s @Ŕ ?&^H|X3z;H F dԕ:E^_ǴzvE߈yMB/|ÓDLS^k{]՘ X`O`'6 _9^P]-`k{х&˃(ɏO2|&2k352 >a*x(@7|uI:k!U1K v1a4SS[C{. zU3)|{cwq)}_6 !!2Fc+jע'FeMOs-aQ5t5X86wqо{ kJjԞc7R\oA]1o'K+IՆ|ȀEHpDםkG4MDM!8]R➬amy@M4…U& PCM/1-4;qD/w19w^ؙȂR(a@&\F=.➍ar{9 Oiuh1+5>N 1.ʌFKL= &4VdrY-q-]' _{oӒ>d)ֿ8ʯ5)3SΝV(Z&_nZ@}xm3͕X |&㳚3pOMZP}lb Y̮u~īOQq{l$KNo109\[kUDZd2BOn#10}?r(x;M. Hrd|yqϱdU!6'SPUEȇ(C\8?.kPnJ&63ew8\'$/Yn=%\ h~4E= R"| VbJbu;d_@wIW*j7L)52rE;Ew'CdaUvFYM@aYЈQJD@Ab>^;rJ ~{^,1Vԩun:=aG]=f mx1s|xaaD/hS\^TG9>sMu8. zO ycYA9or.w-[MVJ'X˭'/D%W =;џe7^fu w϶б~sI\Cs2;L#53C}V6S$[FC}@i&gZQKJjn~WUju Pc+@~KUX ff7Y@+/s[ѣf5;3 ) fOeyw>1 nڑAɥMJ]4L%/IRv4'iTSl!gYZ YC<+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2;+-ZF-InductZF-Induct.NtreePIDE/document_id104p:)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}xwiҁXd͇ ~ڎp\?!Yvl P8J< )duMk\"Ja#YD$xHcW73MYz} O~ rn1dD)n>U`Th p.`7 cm ES7"ɹ J5pvAT/_8]u$Bx'}JBc]I;cJl ? ցt.ѿ\}r5YGgYZfАĄhHÑck$fA,<=(kz\ofZ&=Cq?d/Q`PȋɩÚhD\F.\ )@O*+14tfR w#z/QG7h^&psLVϺWzGjW(\ z`I.|h_zv֣0oW/rz!"l;)ĥ%*M?ɰymjn"n(tBu΂YI6b+k;O?6- "֏ +1y? %EqŻY>_4FV%٬v.F?٧%Yr_v!ܭw T A|D2j,׆C.dj׭yyCș4*)=\iN--W(y#/qmM=\9ICoh2.%r8?(Ql?7/eN%ne[CR:} wWb<6*'Gu2s,~TYi(C|VM/]]IY .$ Iś"hLX.fGn[q!ZlYx@q'Μps)5Zw|J/:K¢6C8c3[l| iUNe"# Aca[\UZ1ӿ5"`xVpFۗR `MCC n:$'o4E Q[jz+$c[!L\[dڛ-]!]sL4ZՆ\mp匠?_V8?p|A*Rv((E^tHTnarA*8./g}<@ b xv{6A7$vX%:a]=)61i塸f)іVXf gRJx$6~4CCYb8KAi$u6?\nG/A+G/ENPl07J" q^k-9Ք :M"_a#tS@y(8f0S8+يY5rq@,DŬ$KZ)R]mxA99m 'a`ςX Q&Hb?D-ۢP!Mww~u59'%{ۈٴncIT=oSB"_!@}\9R&uOoِ BO4w`GT2+`E^5(l`auPw1Ԛec{X)w-nmPHHgTow4J'-;Q菕C)W*/XTX=D5& #Ƒ X^ƮHTvjD֙R9L+>7Esaݣu{ELo,0܏Pc ATpF;58;D_ºhw_:*\0e|2)\yfĺ[dȗFcUPc$]$N"o |`wBl=h<'mX_4U4OVDpR&'6Ai8?i/[$g(3{rLɠ1Q_׽m~R 4S~qXzeVq d 7N3{b9'gҵKp %:W$r|vѸL\䃯auᣂKMdKVAړhX&Us4DRD{)eZM+P}4V/,іe53p]bw˰x] m_F#[:|G׊o]Y{IXP״3, >~bĉ]j0K.= 'dEgYZ _=+# tZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-t]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖fx9.BRlS=:/Y(t}+m"4FM\#w<Ԓ^Ânv Z߯eꝈZ=T?iT<A]ژ6@_Etc?.֎o˹_U3X"NM|NKSMQy>n{gJegQFh?:])zGOꗅ@M@B8m00bQ,_j(]3o^% U_oeU\o RKNX"bܝ j3/[5nyɫ5ՈϗWFöyX=}˺PK?`CÚ[":1H06R0E8L_*'MZ0GȼJ&YNpSl{0EMbhĶ9xls{:AtΪd)l!w%!G5- =>5 }A͓qY֖NrZrIi!}\WAΩxmã3;>ksLT&g[8]y[ڱfsV0qzyٖGXl8 UsTw/ ʃ&V=Ŵ҈S 뤩R?JnǀMRL$&Qw)O-!{9QNiIYOO5YFEK;'ܓ?Bׁ̆F @W|/!ԓoJL8"k!8MqZU+-a\i6 .5WT6]aLXv;.( nc|jM,UpW]^H1;֧Ӆ TLD:hXwӥQ 36lwׇ@-TguyhfkA*GZ(j#L:3UӦɷװ2C'Vª5UQݑ>5H @L142Y='TQ̋XsWAP䘒[ 9kWQxD^vYUvWFJutq8Pݫpb 90SFB}$qPBSM"M9A"(/z I,6Ca=0W@'g=TG^Bb'?yZ|EIo حT%me DX ?GƔ$Sbx7zD~vǚ摂r&i+Pc]*r LJ%ZL%^T@B}[M.);Tw K1>)nA%<* ]k #hDz]&i'?_nUHe@ELl ֌бA$gqԖ;kgSYH.(*̐5K=*濜4+ A_ Hjp$yk*Qb~jlטެ})h+HQCWɞ'H߆*x<%ؠb sή4[fB4dTȡJ= ˘@dޝbbL@VA@L..E`M.c#;+վ3iZUx,L֑k*-!3v_`50`.,Ƣҋ%ZKz<@!](K&V",-?5 D: ~k<yeYAYՈ7]̸0$A> % H  Hx%QD9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8C9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id94B7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z+Yl"fBW=zxd)XS8(Abi|,M;݁M /awZm~$]Cb`vaSRqwS |`A3 C4ԴuiA3= zܭA5^rwz- f8h# bCXH\VFdRZ^d_esL--ZƯ"LR&E gg@ޝnCeja8fkyR<ɧXi|;\&Va8k^J5c!X+5䠏آ_oľqS5op{G5TU,E,@Š2Sg_9E >$5ogDeIDŽ'# g?v8ѯZ;haynA g' St r쬺@CG;f7t{֖HQ}[譁i~@"t^.DV{6?dߑ}/voi} 賵;͓zDSfU -%x\?CoR b׎\h3Hxv]Vd;yө:Bi/Er}f.YNjvMĎqC:xrsB gFaYc'Y +($0#MZqW $gʌCz;ӭm\{ ~įZL1)v1Sgv>=~<.\gu#!ohik@7؟!x7^NK|68W|vwkߣ h0F+?I jY?~ۘ!R^I `yFUHhoЮP h «ðmJG=(zCFxMkcQq?0]1vw{kvOc@erDž 16@YhT0 6gYZfA 7# tZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H!]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;22RE zZ|L>KuM}'M1'TS&%l0, xkSGpMSpt@ a NQTq}osyfc~prNDݓv owY ?M|t_%\u"w,SQ=9q-OBո~'Õ .tAy(zv6EEɯQ̿4FQ ̾v"LJOs";lY~`P"> 0q5_k}i4迸bi &ITKyqcC:6AO@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[:|&[zɘ ca8"~՗p9Yv1F{]NOWk|;p77 mLWĶE\ɮX X4-, jMY?T3S!& Mjq|^;&"&R`(*RὟ Z?Cu;?:!rw-OR>/^/NI+ݎVӋh-^}Ut&r6%řMm~ԇI6zplZtU~CXM<mEc:"{MGv3Nui7A3 y<쀮6i . sH>$n/P 1)oQ=NC9\!]旴eɈN " XmC jh6 B זc`zfLIx a" !eRjksOV&!ceH5)l$ "QZ}oPN=f.eOByWӎw翊4DJ&Eg8ZZK*#GzʵV /ϗW$Aru`oLN5@!?DOvLݢhyBk Q}2C<&Kf ȫ8}-F;Z5/rY=ls&2 -z`,RE)6DZgYZBh%;a0K.p ~[m*ف*ΛSC.,jQ3tuUFD`I!QxA<:QL-Q/̵G`.B ]y[A0IB!%\|~lϠbEw_P;  Rf_dCF,%|ge"Ύ幛iW"nN$xg_E3k>z1m01+syfguTE%ۘ hEn5q\u&wb?dS9t=/pp~r<.O^`squ2dTK738dQh BAar`5+[Xps39l5~%hx| ҆Pz]J:gWS (c=HZ1{nnW >oPy.>/I:]2EID>jf+r%|}Wx[4(5?jJi~JztéPBJe6ϒvRrÊ=Y6 j&@Aaijdͫ.:1RͺtQ J cmck|j%*md23&.S=^]o-yam %P5h=3ԅ aHbKbй䆼Ф俚t23}WU CM1pr> peY;'+` ~L,ngQ2=(3@n0F= ?5I$rE{1ln!JSc7ữ#fUD֛ܳ˯&~ hq6R`@ k*EZ;|V:W\BlK~wxtwQ!i%]Cz$~|};F,-CYAD^l·6$TQ:ln/$^FS_Sq+3xbBTI}Z)aG,?~cnpOpM 4])_<4vH4ZMvWi6;ď2u  es2q<߂Ȑ&ܕ‚7{uil0dٽ[+ad$!i6ͮhB^ o)]5N*ٍ?h2qɊC՘s~Rºo~-6zۢ%>dbtJ ިI흰O]X ѝӨssĵ^TIsMH\"֧/nN3/O LDh֙%vf/&˂6BگN Ѡ7%Ǡ?+UB'Klp󢷙f T'}+omֻuf9c Bi%O-ߵ=x P~!Ha* ق U6]C= !ݒh:  A&n.suT¾W=j=uj_Igנa@9IA`DC iw݄GN`VicSrϕ %KTF{ϕVmCAWYPKzHb$ W0="9`өBkʔ~&?ʑS`fGF) vh{p#spB9 LjGL8ɅoX'#W0cd\7|o%NKsRxf}iqtwa ]A=:(gKnռ|ۢ#"+$ETf/u{ 4·fYP(]Wc,Hc%L̨GJ#vo77d "ֺpƕiRr쪶*}XtE@zEmBơE8'Ć-{RY/W,؜ޟ]{Y \N^ rBc vΏy1X-*2Ațm H.5ߐzo 8e' q&+|[o]Ji4 K놬 Ǎ0SC a PjVI9H_lz7/+' WSz%IMS <:]c{iq:)2V* su/" _g14쳯D1rHCq{J#DZK,P܂njfCi_﹃1)k9zeh7?j?gx6`)(s+߁ʵ2@ꁔm*`ݵd{*ny ŚMW~]oj %{崪tL^)Tb1CqɅQp+Zݮa6z5Y˄_v $.m#>7>!VcZ͛Z}VjJFPR .n?fkUp=\ch|<'o[%Zfʐ4?G,TX40Hk=xf S[z &<&-,iez^-o2X]kDa;ͪ"? "BLPҌ~>{pgJidMK=2ô$ᕱ.I0~iS:IBhbgxǐ/7X/SQ^0 x sȈz5:K +І|aHgʤ#Fն*UtC{ r&-ۄ%v*_qn=4*)AXf%S^~_֚TB`3I6j<[|#Äfi@&萺4,NAgp;ɒT#vYNTϵ^mvZChŮ='| So.>TS5wfr10FM浔 KzV* `X喅)p>VѲ:+k,%-!GRވ។PS?=YHi㺫 @%zSXxAq @ PB__?@- Cx%N1%}JaiS֠V"8gB5oB`C}Z]&HT4y76$AL;áLc%O}NCn\σmQ0@7'0F( bgy늚}lb%h|H '8_f26/88<5YS`/Ψe8J@Sk-ߧUcf h}]23M봧CO^yk+ƒ/R:qWX\Ѽmbpl ϔ+n(*geJFn=?_]n#b'CR7|x*Wњ߮dVeޑim9c 퍑4fZ"إi,H3Ial9tAلy >ŕɺ^I~̮@[d;K$ hHQxz 2<-zΆǵ"]b򋛂fyQճ r>E{&7Eb7$.d&? sI.LԺ 4;,#rgx}Q3xkwfDmWDiUrIGB^p*_?isDHS *D#XA-5t!Y$yF)s)&+g~6d m}& vT6G|o_xiύBH WV,;AWYTf%`,6P>eRo^pHhע:>^U`NMJࢆW7_צ] X{7m1oo hS~TED[7}} Vܵ^Z=p6Ul}oR;.k/lC7L0> M7<3F:'8 }GTi+Γ`,}@/}~}'Tb# !o#3F1*?zx0%cK}]IL 8hh_xd+&heiTN|:h6S̔$|>r.|IӇa Cq0)%a/:KrF0) Bܼ4ʶ;1cF98[#E nsrl1}moeRLclK_{"aXh{v Id3/d #`ya +_psP8m5 xyOz&JD Lo$+r5f_ IuTx"!2f ,~8R\UqCӘWIAR\MAv#-Exx.CmfxR"yPU_0T ]@+p2S'RLMf"65vM7f6g#qfuӸR[yHH: P-RE~\ǎ&w֏Taj5Gi%yU]ub'Bc "Cg#G~@DaAG8N+Oc[+C#28|z潦jn`%; qqJ-v'Ջ8-2㩑5XM3: x$'HO_p~2DAuWMfCk_Yh Ų,J/UA:d#1"Uo,Ke|p_-%Ɲi5PY)66mLh+7)V$|7*'q3.5[oEccOLib8ȫI0V ¬ߓQq }.Hw(=>*Wy֜ZPxͣ BP.t8S=a;*[ px?O<,Kە>Qճ97u>=H]xJ&/Q׾2ҚNC\"G.b߫ ׄɯe3ǵ0+6zj`q)a8^QKc mdSh*dyG͡5[8'82ʌ0ٻx}9XwzGƎTdgR>pLF\4xڢzak;h:'~.=?N+]}n7 .䵺io`JK\+ʊQ}gSfj~3n}>nKmHcT%"=Y"g%{+K.яcG &͠E2Fda6?|luh45 6QUC۲_),@w,cj`bk A&w(ՓS{b@VHGyاaavͦ 2J<8?&'/ 2`) ?jvY9(v'.*SyWcUpxh ߭? 1LF\6իB[&u7ΐ ha/-"zN6% 5&TxJPxS=+]G\нGghWbng&s괬*™H 9 !]mZ񫿴k<WGH4։D;f G5;tdகwU0aϠoDB% ܳ8fŝEfM/>c,jibMl7 T~-EVk j$rq(޸szV6('ޕ e/4$ r??TGi̽0WqE־gO#*3Ӽ6|ҖԟSomԻxbʀSC=38%J2;)If _Cpg$baOôwFF*6}Q#^|j멑yO 5:B>bD R V</)Ma|ɝ>f6t۰uf0qqevT_&'m:7T9N0/By/,M^c BIcSMWSo*DɬرgYZ:[lkjvu7墘`N:gBɁ C`೎=0zG:@um (W2wY_ %M9KKF41RzpѨ Kd]3u:υc ӦW$mmTPFHjZ4f7 >  iѸ\r}'GrխimwAj/&e=(g ~_{]}Mwe[QB5gxHY[HZyGoUm!6r^~#@Uqd"ZUI;.UPHzU 2T_rÃ7ʦwtH> ;7%鹳P˱TV2PAd>5LXkq-Q'ݟ:sY^&!xo׃\ba>Q/7T^v> b7!rwM`#],Dqmi`y~S?DDM`xj#g$ގb?G#}eߑvA%Si׈n &RNymaƁX uf"Dugx$o;X-lS/R辡LUl9})DkFŔc[(;qпx@mXƗaume>IF'RYx k Wv6@D;9ˬ`Cx3pMÜ˃s.eq- n}if|{wkit涕=[aZQ|Iw-@A:iChaQ2:Sb| ORh28D=\ ^u1كsgB㟪8D-<#uTiK[(k"q2 xXq5LU t| WbXa81-dDi>1hojبu ZTٯe`D`йp#$J>ɥvjx3G+ȰN)&fb4Uv}B0]+ZEڈf>Bt}룖2+i8]?l4uZ8P%b>y VސIph$.B^evj (u?ˢ#޴x;,x0M+;3pKE0%_䑺mr4opEanӒ2]w``1f)Xlk;yCb˅HOWfkػa>G;7 a$zktƖRS 0bI1o1CGP[a٨'Fi3LzfƸ6J_א>zIM6cǿgd|dH}9hj\438hekOCa"(4i"lvX˶43,~\+cT)l`Q^0EH&io)_/NG"i7 I(UY'3r8>n5Y͘$i!c#!Q3Xڞ-iy{x _&B=!6'7^!`NfbI$.HaPu8r,==Is̩~ ,W^"b9nPh4*=vq~W0| g Y6mM2z1aAo1D"]xpwZiT"ׇ}S'7!NJղKoMϯ$X J%F7|Td~'HiF2:Hm-pS1UPߔѹ FgyDVc%ݷL8]fh3fHqvXZ<>T>#$t}^QlX5vџ>R+'6a*o 7.#iu|T!`oB: 0S(!3qo[O tx `xU rBNajh(0#jL\hQu/0Az^ ~ Bb|OvdWY)5r]Y"W7Y.4㍉!pF__U'8Ml-e /A?@ RbTns`N.&qPRoh,t"yGj7GU?DW8d~gjpi"K=d̹ K%mx۩nT@4Ms~]~OifB(kE [~k@BtީZEM;[(kI/74&c(- {fo#6M_AU<| zziL+ҕoAbˇZ@ 99RgXFqQnЪq!t, w.zmH) .'k*A%b~UR!9(sHS%E/7m_>m -vS(9LS|AfdZQ ]?ۍkBZ5wքOKXRboZooEvQU6eh+(3EMVpK-G=qNŮO[HhA^YX :T$v~M=0hx&k(<_X\ j\[=AqPαG; J_WĤ  Ӳ)]`(1ߞ+*f`Tjm,WL(.jܿw-ߐ8*%U׮AeCPl1tcx?d=1+hSu,d}آ{ n?nօ p{ݡ̀4xc4nfCF]I.Aܮ#$6Qn*ç+\Ԣ(+}}LmOY$yd#㧣j808nYEHNbc\5iP5b e](=ERN3״*I-܊Uz!g@chOoŇY}tBzA;IXud_GaRPK*Fwt/6Vj/bJVݴ^pFls%O=y-\N.tS"p=%?Za}bCȠIA2?w A58ʭ-s_A+Ѯtge1S|!1}l). cC*SQ ٓ(gd C8($Y 6_ 1s^aW[+g=ZHKhd\<a)q1o`zW7DG`MKcZDL$h#<_{\, Csr 6HfqFZH-gDbGFg6JHXŮK8֭Z%a#[?ET922ɬ?Pdq|W][v{S$A5V{ب\ͥdEa, OCtgYZ  w?H'!UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQCΆa?mJq^&gaJŇGgYTTdbo( Y1QJ hOxAqL~.MܺI39MFޘ Pȡ~㈨2htHV(tS`6q_쬔֫gFz=A5/w$2ib [5e|bBF{; >e< \ٛ jm!}vy 0ĭ"o.f4CAeoQԁsK)@,j@ZiD(yYQ8(] үit0wV^8I[3XH2qBN+weOvC)Y8#AN_tj ƺO?uw n@`d %.N'iMӍ2S'%gtk ڻUS$* +\.9F(1H>bOrWG1<*sh\F:ͨǪTN { a/Q[1s'## ?uR+W$_ ,ij3%ƿD7-_("`Fw'۫ x3SeVSh6o_"C7ڢ:v~~>y3vTzl}=X PՋO_ƈ.YxNB↕ $ԙm֟K[ƛoOx;V9](Pu.l/`'V[Lě&bK4/ZϾl.rq[/@J jē&J>ub|xnZLanS}NzA0G|%6 vѪ<#%0W7MګFmO٪a4~I@qcM{C mmp䗺KRӶk\ژs;A;a)=+Ldži`#:&4ִ?e*)ye1#@5ɨ[>ںYWb 6:beϺ?/;T0ȍecgE;$O $8(IlMOtQte.J*,c^h{Ic[P\:9V :5jP=bcuA[0Q%ZniݏVC : r:6L3-ZF-InductZF-Induct.DatatypesPIDE/document_id100:K'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[J'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂr鱕`)>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סZxcߦ*W!˧7aAWZ4Gҵ+7nLvbUy17I垙ANz0AP')k>7'78v"*H#j%Q%FmR(Fƅ6'}Kkb^ɧO.5!+tMi^絽m;hZAU'l~DQ dE&eFTc-3z1A'kJvdo6,3䊠b1ùtBZ{0Qگ 6VGxXP7F0b/k '@A}`UJ6&2#n&H}p IwdL_R%[ l U3SZl! d.0-/͘pu,#G.jڃNPBT5KT\Gq@Xi(L. NߛUYBueXd zx)a5Q1t@fJAmb2ʧRx2R5S:dƞ8+u} ͷ?ׅya&c $ _mg|KHn;21{fyP6L?ƿ+!<*zH~ˡm_$M<AakFr0.rdJר]vHշEi>ֳgz]L0ِd#K:2F[VI!f;ڭD%Ahƣ#Bk2r,`*7yS E,W aOZӆ_,({d MAЈko)Fޅ)U6f0 [>3f>ӎN" ?&{/˩ k["[C1ͪӿ8f<å@tgl }q#YR5d'A>9mn50M&*\u"yy9 Z*찅BaVVrx'(XJ7 QDCɏרҙIߧv}PHT7nү9P|L~2xiSgjS`_ɐ8tFMgMGo'wѱxDCձ;}L܊&" GzW;!ڞ5Oq9oP0Jp's_ͨp\[=( n\NE =lVwd KW+e#80B:9 Z(P h ndqD69L~v4EmoYaV/A& P;uA9f|U|6+>ča Do}]e?H7fo/TJb)+jg>pZ̀ &SX,&,> N%1^|l"SeaRfrGG/@>"{VkjJqe4ҫat2c [85fknl+$U`CHH…U2ɺt};)7mn{ {jA @Vz={$%*}JDKܐJ6I?H_`*e*#:5p&QC9n~|gڃ>=@8gp@"FWpPI 9ʷ8l-u6͞Xw%T:ąM'0~)Į%_XP"`JYaOCLQEFkF8&Xɷȡ|P"R +YuIdIBUzObJaNXƏ >,6> 5E"h+#DDlP&~Zxdl:DAo>f4Òʬ ,WL%j~@hUAw^Qnt{>یF=țҽ4Bn.[4ل(Y3^(aY s" ]m9w~ĻN-ڣ' گ!"%d7. &@IJF8bLJ?-}up ݏFVm_vЫ@:/h Fh~h%HV~Aϰ [YG[|P1bMn#i09fol"&#&ӅͣGnA0^.0) > pm bpf=3gQ4&TTPvv6'zY `ͣ q'AkeAgS B}ֱ"|beJoޖrt`; 64g>W!tM@#/'pZ'E ȳ P -1ŧe}tعFc ])@Q$櫐evuvS…{c.\37L) yP/q]'WAiV:__V}:XU/Y>{rDKz눈GU`~{qFh{xu$IUƜ*+3cO!,R|`Jk87WHda!d&<.h8>@ l܃'j78uj^WF)K!3OkguϱeǛЁM~~;ğy*cu>ZNߪzzљxf&F}N!Y'P$JU'v 3ItV(ӻE] 84,Y\N wpwx~%x)F/;:Ņf\ 7<3?uwDB/ֵbu뙷P'?u##PPs~`,$&d e0S ^ͽabЮ=rp"jK#KN3&4}&Ƨq9nE:9FBzl(k3^^aDоid0K u*O`VOh"ᬕrP] w,9H(,Ԣ&8dlk%Lmp(s.N0]ȵDvrq"B y9 ǩaՒ0)Iy2ibn;/*ɝ_˵&kGnߤ45狓ceE(r{7!C2NTwhJ'z8f Aݥ6ťyr-|XN|e \:w reR*e4} yٝf #;+B N kQX}%LjkcD݅KepTgD~+I cߪd IP4 '1`/QṟT-HL`mME =P0U8ǧAC"?Ra8/ۏ3z'hd0h8b`Ŗг/KI?g 9(J?;H ԋkWp܊w(Lq +F2qٺs9}Xm1up@Wi>(G3z*sӥIo#:r/X:(GϼǑiuG0=6jk$PұՍ>r+ZY:Pb+3>j)QQVXHEMrX?k"X}繜eJӟ d߂5jVayӚI<.Iw/AR!AtFZ~DYwG#1Fفb=zyC%|c!cPd?B=}>z2 tmt@% D\t[2r( Kiy[HYP[ xaft 0S[nYy[eO0:ҹ[`Be?YYتnr[bhEVB{mll_ۯ5bh/Tc~Eb%8'lC4n७*i~OOUl/Q"jP-kf#!]4B;E( pAG9&䝞tli  QA9}D1)Yղf`*)7A`C߉~T:r&JJ2^w7X˔f&ZrxvN S[״juL]mSL;[y"iУ6Qz&lh;}!<.1ަ۬mCQxHS$[w3"zr? Bv''X5>* G'3)WϜ.zن.JWkR*'ם "Qcż...ajF[.8zlE  qNdņ Lk [!+#|geuvuATg-