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 UrTD\ ]/]ZF-Induct:threads=6elapsed=3.578cpu=13.012gc=0.7407zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ00}=ņjDTxpT!ToU8)lɎbU_6joRz¡̓ŒѴ7Ǘ詄ڹ_k]rKecLyNrr^dPpe5w~+Nnnj{I"[=gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5ˬ\Ie=I_?~;ԩ}p؏^Dw S18ٌDfxWmVB C (6wّ&^׷~n\,/%SDt yŊhG7E.bԡjWv]7]q3ϫ]#bH>HDph~ojzC׶g"G5DĽP0B6T=1 7iG|Ώoz C R+qt>Q5h@y$k3+5#qnm![C*ts'5]ظX\yp>ԏdD_=c4VN-Y6{ZH8#u*LŖ%ɱӢ4*]Aejb2{dL]_C΀}{:$jf 01*HzyR lɞ]O=`u@IpT%"4RF<\l_y;c>&LrצG+^ؕyBd+T&tZ!Tm AʪkR7aڜC=4Qt+m%XE#bzSkQeܜ)`kEI1ng71͌4[ιFP zF!aJ\+=UcܺeDB8}cn ! f$k0D ^+k$oO,{U+-gI|0Kme~,7InvP҇ N3%&K5ØFNYT"K7RgYZf391696100582ff3d137c16be47cd29445662c82d710d56c677e2fcd6d81515c51e8dac82cf68a7e c592144db5057ac387e544b22ce1a1af8c9334c32a168bce10a3605bb00ddfdccc20308511166874   ZF-InductGh)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6FMELDG?C>;<:978312/*-&,*      O* ` b /@cWq _3S* /  ) x O % vM#  9 a}O u J4!nc1 0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 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.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.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ 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; 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?Ue44@0/~N?-, ૡq_<.xb1HRwc]t!lqY2vKXk|Ww& Ta5@:sJj&CܲpvfܢOhLqmO]u |+eK $ ǃ/{qCZΆu1lQqi-':]SϠXxY"c9BnDLWVq֚E kXH=s'rMisR:`rbkE[Noұـ jBA]X4݆{R(-z}vSsA)JzS̬?~* )`ӊf=!d0QѥJ&pW&25qNȗfrq\t[m))Nc#!5R˖i Vٸl.GW>ʔO\#c\lHZRdzxnὗ(P{p׶ FNڨW)\?;>ZM|޲)@df 7BBDOx_LSL{!Hx3*7N˨;&cExmo՚Cu#`Cڅ t!n Umg%AI.h`k09a@\eU~riYê?ؖqf! <-WQ_Ф+(z -gJ!$6Q0b=zoI&Pm8WJyI{B7< U-dl &uS8>:Neٓb5\Up0iFxPz8 #|+[>qmT.>8*~#/7R8\mm &3E{Ē#-F@!"& dmomw{^w'ggwd!O$% Db+FtHEY #1GiC\{Bp#XuD2 8j*uO_k:3Hw.bj ?0{2}&MǽZg-(ʥ|&?"Gc8(v/ziY]3۞) kt[hZ,фmxe yC'kpEC=M(<Y-#f|oW6UzB*yCnTO?1'1l +Yo4RPXTJ'Vؒi9е_fɺIY4Nx[+"ʨ;;ikdQO xIC98+C$&\< rQED"n/l;r1z<"\|E Fan2L= K *yce׏љDG&qq[%,5갎 nj& & ֆcPL1ޘ>Pb:AMeMvY, ?av&u|oBӘų-CY#C|~9Rc'^g[=$c?]9J NҜWM{Z>?=GԬ)r IӓXO15i>핃b%!+_r Xx9F|N樚0>Bׂsu)yja-ʋ_$8F5@`9jEƞoGn*UA>C*P!ug)zV\wʊ~ >OH%#KYSJȻ&ҊKN _:nL?4 gsU].c<UbB, vmp%ə |.]4:jq8ɢ.qTw NQL2uaHV{ b]O/d?WM𽦦AdxP_E=0cuur5]*0aT 0݅I!>D(awy[.U160$z KQiCJ'B=?<$_p IJ?0yn& K4X Zgڗy1DwLT$(OER-4z{y仫U)L% #X|owDu2Tpl fJdbG>l(Ul1S$ ʴ?j]Igw9qdB+|ۻ G;/#N5*DУzCz g{99ݛNi:ec-;ulHI+dYxDp>݂vQ{'nqD/82k 08^:(X bBQA:J$.`NY͐1a R)gT%ojR(~uyHyH ,K'OUr9݌F5bqX 'Ak ys2){`M \pgږK"ֵ=lZrsUl$4@X*B~"ϊtP8sp:?QSmI|ZDZ,7Q]O>ʁ83ה /ԙνĿE 0pT*+RmxvD"3yҟXt",p/m]yG6V|e5Jɖ6:ED,wF 5-5ic!ȅ} D0C0vdJ c RiʝV4oM`G\C&v2mHXGi<1\W&D4k`YQA5{xbv,O'bAHqBtGVuT8N>ܭ;ѡd@*I6{+(hYA1\Fn qYp~%Mt vԃ}RXESe+O"9XV4]=sw&@͸ZS }BtEjMD3g-WØh߀sBeqgS>SUzA>CBj13U׿$!]u"j?e#m,@mWlf^|Vx^LhB8-HC\n7;:DteODmw"u!qW/S}Llݚ/Pk/c pnG b- I"*n Q*?wrfl15j%ո:]_=?Ŏ7_L0Ta7kEfP*Zt4Y>Ae^*# ];iezO+d}[EqXZqb ̲߼/,_<kL_v,rrX  Μ'gYZ D f IDS 1# TZF-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λf?!U6 }35T];=Ithg:g`.撰=aGp݋hY%i"wQ Yj.P@`2Ã<8- :iv-g,ME,q /anQ\s''B-~%D 4KH;2˅֡B dB |"+B.f%ԎMH@2seg 21h^9e*JSki55MYJ׺·;ȳ3d I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson7/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}*YVr|"{ Co8r8e _Zjr4?FY8Ҹr`%ܰ_`Ȍ6\@fBq$: ;,f>R:"Jpx .;8N0|hH 08%ndC_؄BvK+9gBj3p^gu4yi>wQe]+N"%2_'7Kdar/xO.rAAwޛ'"2$9*gYZ  /# DZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9&F|e9 sڒ fRR:W[JDm H|ԴbpŃ 3w}V]=QV`4#31pP:Sbhw_[:TYs`dօfKSGYY. 7t \l0p}8=DD% se"elRD,8 {Sv3Ԏ1M#WM*hDOsCZ~.(E)TXP׿oo_* 2 DĹx:k_vq] N=씰O!G5ST8Mc6qΆmuIZH rkHr_fןtG/!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}BZzo/tMzd /Y$\fLVL ]f|J_߳ W^~/meӺ/v~DD .ILv(6%ql_oJ&p,-g$-O)%.^׾uLv⊼0NZvpwT@ieU0y )Y`74^GqZw;c{b *XDV ؓx'ͯWG^2 a̺T1/ņ:i!Hm!~g6e\0AMO刴h\-kGT Fsfn BDlc1xd榯unA)ڌX2& [vN6J|-|cGq|T?0,2 Zez 7hqN SИB6y-@5J|c#ƿ$?Jw:¿E݄ 5㙷}6ޙ'@S/kHY8z gsw##xꔻzDql:1L?di}fѴq >}59>)g`LSJҕE}\V-3jOrYH$ gYZnF 5 .bTϊlp[`1}RfK&G= V1!7ٙdfF8rW*]Y]Pq$T2SN*:HvTʼnG{mhٙz<%C8 ;{ɇvggee3P bwqvN_MSLpn *u'kX, )^DH3/gQ_j[ -ڒTrԣDP$LM"ɗѝFkx"Պ;xyl 1u5ȵ3 q)qDj 7 ͽpH VEEO$ zOszAL@Gd`?iLR|:CoTU-_/%3h9yܲ\8CVCK `j? Vvu-fVlmvviX.AKڹ xOhY>bw! HYBnX;wjG~K (0r a{Mu4$hfXN]*@o =-=Pw"mc RR|;2g7{JLy%" ȥ90x7YK/a-wߣ³ccfvs \ZM2RKk-p/As Co_G,MP- bd^;P[ܒ͜yb9}+8(V(Uc(˕PQŁebˀ"2iyg6KoJ- 㥌 Hjbhn2x,s ,DP|q|LcûU#bztZ6hP9ZN}4ȓU<%ovYI}~%ol ӄ?A%TGdx 7ei3>wi +ZƸW]O<'.$0>Ӛw~څb:boM@z52?2!3$B8&%)6+¾/!F\Ïw,#w8__Iχ ղn =n*2*yt+{i/52cwmK_ېpg@Jd8~~.U+.՛~AK@|/ g_1%E`mm7(@#qRUཙrOtN:TI7Xm]Bh ׉F@L^#4ewuXm Gl0>oKOq+_._#0n,}qP3ׯ,%yJV ֩V Vv֦>s42IH(ҠujP̖yKkqt bt͑gD"Yj<&ƺS VxR tErsLsBu B@ "[{,0%CJ1rrg]W?0^w1haae W}RL e_mU#Q 0Nnm][] 蹟z1GCAZfS'lQq8426И,fE߰r1l68JZCLꈨ<=u(I 0l9F\qmTz 4+(d,'$YJi1 Nl-u( M]a+64 ը %9Y ֝L3pzL3+xR i}QaF9#v*ۄ"ts`9 -ݩ@uW`J ,5n{6ax"j{?Ѩ@Igй:/^&d>C̼{8O\%ԟ*=gB*ܞZ+i5~CѬY(.J,ΤsQijeX~L <}>iť9% "Rʨ)C!"!)5=i:$~lP$0ua}P 5Ͽ'-$ZDY9Dpncx'X &d<݁r&3 *ȻmqyI1n]3\Xٓ%9QeLZHT {J-.ߎZdHewp#(h+K1/HǕ@تa /dOGwh g[FP_3~ϵZI ZTys5$y8Wx{؃;_[߯Zc,9fԂ NUt D0)ҁќ>p,(]9V\P W~!c )-^􍤢_fOLVҍ1av{'pVaX2`::/t;yX?^`eoPo؃/K `=twV*8(RM[qޯJx(! [U(^@^d?JA UtL֞`AF*"e;YI5wMOz=m6C-Xrl}ɱT3/¦a!T X{zsqooD`ݛ\Q.`TMy$#r\K-ߵMW'H_mi+xEuu5`fX_>7U]tal()$AYj`'Nٚ戠DݙI0Oa[F-V7{I7 bS تM [37iAYl]%r6I*v< ;hYORʊžǯi4IzݿW&V oc-y6TG4L(7r͑+K7I4>S HRp?(Hq)P_xB+\oa5e(6,אh5*= F J{7;txnx3|Yl K۪Èe j. MQH~`l< Fsd3N }xk8a#ζf:S _LܷJE/diדDٻE1XaƎ!%;ΚE/[CRKXwfM pVGtĵ䬸\`d[vZ/!ʺnyd=TT'` )di nCMGM/l~)t aC@Viw,^ gYwk9PVA#LB,9T@#dfb]I+}/[Py^Kui'alrj*K16`MvmHiGuK18c}LByMek*L?VS})HF n¸o=yVW®}Zbm02LRT<uTŘ2MP;Oc6% .1ӻh9 D+I- %~}ِƥ"F@  z@Q/\ӎAlW UXl~ȾmƮ*rqP5OkB(l=lG5)Rj:N()XY㡢t)OIì!}ږgM)]Q-:+aKb=opoȩΡ~":<(?`e w@ivFDg3_-jiSu/b2Ke}bN Vo-Ԗ%q$D4h+~SǍ]VvF$E{ҙzt+DZ({j!Q>;vGe[6G 7ރhMԋ+DlŮOFȖY-DXmK?A B@YAKkU3FxwqvfM>>2Oy8rme|`~Tov.xCviφ3/61}At"(rs"s}v $I,|4jHSBkvulW'ȭXΎ씺ZچIU)JiQs1EglbHaw;I\QRIq*2!ÍYnʉZ\sEF Ks /oΚ:(u:v`"4bSS]E@5++/7uf?qˋAy)|a@XRE5\KE @k,y.aB?a6m˯ mfP($^R)%rע"RUS少4?-% 6, @()480RZzC6#a(P[r8/%׃!Bw[מ2d˕Ӿw<Ēz}p:(L 1ytk6R'1+fqu Gֳsy Èkhr~ G$T?wX@25ŝ>T^i uQj.#{)(dRzR ;z|_5j*O6\Pu>#|aj[@5U&<}Ts ?X_8ej8qv 2wjIAF~]ۆ 6Tߣ[=!гt]:E-lLO@ DKSEDNsWtjl^,s=GO8)! [婿A^&`Du^1WᎾWS 私oY#ctuv[<mW'P\a[!Xi{1x(<;QO=B#u )8fkuU4i?_cvW芩vxv/=Y[<;hmZ ~kgfmv$J#f_AWw=739F!L1dU9lJNe r`u=*֥kn=P @u Tb+H\aD[Lhk!-reک_<3RĐ 4o2m 剋v- 6iFs  i 9ҹg@v:чF=B bCՏh*_e큟[>:ҨZl}am$=颔sw?Ix[Zi RRBUSFdoK?U}T(ݪp?/e,bX E;S.`=D~sm{RdJ)#l0qr,ӫmlw}2rq$U֖G(PSOz=͒au@[fCG@?~˝5ٽgCUL8Ձ tu:VK7C!  ;{vwN]E`>;tm󸛆PJH@y5KiR3Tijo(iI~Ոvsr:`a'b )kca}#:R+/h.dpCب'IN E%EidZDt$>Qb2I;r)nA!oS'ǫ> sV:aPb.ٌ2+4 AWRm@{EuDRF{o{gw=f)ODrT & ,!ή9%wg;)NJu6 op.(/;:E,h쩓7sPzuDފps6oDoZE/[#cKJUB8]ճ"ɴ5~_w:U0cFㆌ\'Pꪸ_׃ Ur}t b| ,FA~p %jxv  RW9GdH3Oa^9g90&TRIzWVpWx2%`Rl *+Ȝ>#I/p_5H#tZ0hOږltƦA}8ѽ]|ibZ*ƒ=$֤0SZ@fwVM~&u7pַhYR@aaF;nUr2V1/0Ċ'7^,vlql w.e]j~R38j (0/aվߨnmb֔͟K } 3VrtV 3!]Ms9k5En\t ?Th}X% &jvLmZd2*ĩx1Fj$tDjwBdI9U M*YJvEGo߂I^bm.([鼾 L)“ iz٘ 3V:_=6.h<<1*[ |eL5 O?pGBAn$鏻[ us^k*3tK~XOeY)b1`W@qN^t<{{{@{pbJU {]_8jr׮'.0En,=T:;a-0@JNh\-9!."=ڮx{%E\> R'/A !:Z@M=бP'$8hJ o>vT*\v ekPʲOW -t@@2ue^S!Ґafo8|r8c, K냞;|R|eA<֞fDN Г5` E̮L[T)jʩs@K_,G/vNߜ%*ͿK;ea&g5K=XayǢ8 & !m!Cѽ`*sbٸOV@e[Qå1f"]ucC/dQxwQ}%[Ĕ"FZdL{BA[o?`saX%…-tǜA1$ Qsj$f5;qDf: 2;O`2,%Ž -CM+G@nҬ:,.!(HS/!jH=E+RtׂP˔udTg0 vi}2MJǾ_V}As#նs63V+hׅȿv2Y_IhdXZ62^:u}Sa 3>| { .9Ƣ֝Ԟ{X 4$8{ j $$pd>j],~S~erCذv#ޒ$u_?;TLmԆmO~qp툴]TN`x&)=utybӸRN)s;LpC/r*TЧ i> >62`,.ضH O4A#)1Yo+^m 0ϤuI~U 8o( <#sl&u%?MC48%_Gl5YvMǹE UN7IqW <"60oA&L ߚSnP S+Ug@)x7EY|#GJł Wkјێ ې%}ebr;#|$Zb!hZܱFQK7"Y>-H-Fj> t Rȷd ԟAji,zD5] iK7X^z 2+M KC긃od7e3{61^uNR%,r=ƭD .ۊ3X{iw߽'ۦʵksx[d|m ^40d~aTtEֆF0he$6: 0![ @f:B$YlJsn;d=vfi5ww;Ea)-+$<[eU,Y漯Zƴ#m!|685/n媗jRAl*OY>۫⿎ =Gk߾9d egYZ!^@YH8ϑ&p^⮟{eH_U^ mbMy_sC'B=,+1fO\25bAvɸpY <KR,L\F]nfXF;Sb͙ki = ;"%u >@YB~[fEEyf͈S{w:bo;I 9^(&xN3*Zc[ ̷R+(0u2sC JMPK &*!C13KS<= cM"n{V gHG!E(Wa$+i 7 . yLU}JTnE=j)H6:+iJLEJђL5ֱ!|_Rru+^;scEݘkؼaY 67@V}^ړ zݙc9bWc2yh6:h%'-;ž{w o>ᶴ%h>>%id6N359ɑIQ®]}B %[EbҦ*k\_|q4^5ġNF~ 󥋢s`̘֤ȣń>4<'8wV?2r'.=P עL{y>Bsc'v'S^%;&]T}ӳ8oEU[EuZziCSn?G9 e&X0u(.V ;jɄ(W$dUT!aq Jvݗ/$ 7"Ym*AN'3BJyBRзibw|/;DR˲ǏfzNl~z>6e"ŻeӰN!3qIʣ$~L nE+EϬ·V$SPx<7,)~ S#10JܹZ XcM܆,y kEшCv Y2Nk)T/p.:5 O2޴nZy y\ҩ8⠓r)Y?@ޙPA3lTՆhbL͗ '3Wh3ɮ`>; Ow8 ИunmWW6w;v B?0uϊJ?Đ\eEU!ŒI @9:7Xe +|z!M^ >?I 4Fg|Gۦ.`D1P eWȻz*Ơ%ݳ65i. 9X Hp;/WvG wb= (xf:Xh>R&a( /+UXECR(BGGW򚏒 vK}1P4/:1Tޢ@Qk eMhO,!xD@k= *}IVI3tƕHqadޔ'cww ہۅI p5&?UWR20߉y8C;r=k^](Ok|R}Gď JwAZ*.pq^$e19ȷ˾Ҟ\Iyq)8$u3֠\=e)$`O±\&A t"'h#_Lr[*to$RhlpCT;>ƪtB\u6/dH. 8>IMSp;evgU9 ۨ/-Po'% jD]vs1:5S2 -{kб%Ozw}=҄u6&_w^pbdž]ϑYʸxhjy٦ڐ9<8~qg _-!tG 3. )AJ!RHKAMȱ ڶZF]VKrꐽ%Gf7AÑ.~\% Pm4eU#5+k\=B$}^ { ڕjm9Xڃ4{ƕU=$v hpqLC;Ξ8?1mz}dȄ‰Nئ?ݦZģɕL S/ش|'Ee>MN_8gqLSCq-5.)^Mv:L7ķ5oNnڎlb>$ITSﮫK(`}83} o n,KY!4Ĥʧ .f[ 5_&g-fؘYR^iHXr4UR$F9o{.`h-&6S<;PH>U! W<^\oHl !^1+$1dmg`eݡob] +]P2k!<$(N-S%Ҿ U( Bj g-9 aS7IQT܄߱XnF>롾-,,(77TryP018U! @orC 2ηO838JLsKF>űœR< ?$Hp0ڟL 2O4(BIt7HnDӭ< "}5ߑO@s:S'rTv:_-b ۦjS)H\,b 9saѺ0CcwY$fYq[ z{Q"{,~Rm|/<ɇ=sߚ#LQCaĩZ}W8+u@nXǝ!wa2T"vK 9bܱl8B '$Abr׶fN0+? pj߅7$5D((#:B!LC|{}wtD '@ iT!yi|X ,[- =7<SL?GſK9 HDw7}zP5I7 0 #ˑy?IC5d{+:x14<)8"doǨj(4zԶ`f޶m&2jCJB} ew..y ⣇ۖ(8%<Κ=] *Y}4/0`dYwTfm(9yӶ:\W2!G"P4x~rPc~[ȡ9sb"@Cs20ӑBtwead$J89e3kK&P~"}{vk;RP~9#<%XGmgbQu %mڣ{A rĀϾ4C TWë0g*b-[F0TbV@AdsWl| ӾT,] 9ȣ:ƆI\QF랊V, $p0: i؉۶^_&+'<1YC?] +"Ecv0|$tʋ#ӡK8z:bj.h#J/mUYEkD\{24ρkLD<0ȱD3`ΠYMkJ k 2^P2o7ym'fTgͲd!`G:3g Duez6 b o޺8rG$j2M؏=Y0'gW.>Fޟב(# nB>+[+ m@Mԭnޤ_w2_f&4L AAf.bҶDT^#q?;kF)E{^m?XWf[lgcK V퇎p,F2BV; gf«^<l(`2v`Gau`Rpn6E}x6 L[zY$,zPy 5f:^PC?qqvc|Ыw`!꿢KކU8𖿨^ݗzGk$WY<0G|-vDc<<LmG9oHYZ־>uQ XP Ɋkb4dŒLi*u){![L?PM@@ڀܪfA5k]f<v'YuDˆT~+ÌW[;;5 q2;*h6AĘmuU1 EO ,3-<#$+oUdew_$هŷ(oMq3BTEL+AʔFPjT4qMOzq lCJQ)vD-߷85倸HZ~[s>FMjwjzī6]IBn7<,XmQw5v0L:ŒPqZ|hU %!;nu4J[:O%ܴ1l=X}w<6JL`I5Rfi1k#:T?ЫS++^wB`~1.X4Ƹ:}/aW 4 c2_I rc[0^^1oXls"cZ^>X -Z~N{Ć{ ykipz#x5?! Q>isü3pO2)մ_ .b1(3QP1M&-?<<RizOP~ZQq"Z;?G,Șud| }\&8x A;uV^%RyvgJiwNIW/|:q7Dkٸj#!Y4"mX'򂀴,t̫7,ۑ)6˘ˋ&C`~=|YgxE xJT* g[! ˔UŏxZ;x쨩QMǃΪDžJOK~ U`e:r(Ⱥ3VDO pNߖ']f㙲#dn_8EJU Uy \5*/*>Y3t Tą4B2 9Xn(ew'#3M=!1Փ%s 2%I )$2-KKDH[E[=Zh+Ҷ* ={+>699Y/VYQ4h( U'8`-;:y9qXBC8E;N,|`>Rgdt."AW$Q#/$\mL h;+:U.2 WÍMcOǽG@X_DQĬgVuxꡑQ|ʓXrޗaNE,.lamQ7gMCefzA&$ev*m~`6G9\RU$:O>L3dN U?8$ۛאac1qzʝ_2NkS&)ݓi@6I~k=[J>:ҙfZև[$D q4tg;CIT<(פmeficVK΁ qݜ: V§R%4d/l'S{]P.۬ . 3Kr1֌yV2A^^!Jx(xR~x i(%BŴ.ߝN6VOty#2]7O\5 3*z߿H?+YW @pħd> y_zt•kOOvױd`^@?29׬l5n^ d0$vUqҢ8JiUXrI\~ק*K5=$@&Uwl RL"#^dw$V<极r >>Pz:%2zcּǓѻA1[;Nuğ9Yl8΃Vfr@N2QFSҒs| nB*Z@섖 ĭdHjJ^ޏ3i EVE"l U0NWLEs뗬P !KKǹ\keq-'IB_%ueX[}Kh-_+OFAo S 7ZM&<9Ѥz[զ ,mbD׽~c/4VbhwxoFOKJ{ F 2 4Am\{mhSt0} kG Ź jĝ|7]џ? sC X"˿FALǭ2fLÏR] oU쁆 C&*?˃ ` /kw`e4$ Ҳ*`^2cC7SG >5˅G9_"9@ Dۅ7цn@œqQB#WJ-#s7b-#8Tg<]`7tP d\>Q(ڔG*) L'<Ϡ3m!z==5'شH i`;] H\^>C/Ѭ)Gw~qMf#ü7LT7Q[ӏ7:)~aE;4om[!Zs%9TDvw%4c׶_q7-;`^Wq !Ի)'ڠIsz@d=b ]ȕOSO.'ekT,v ~|ン,Epqām0|i6Q2Hta%tqr c:gQM8hb1'$Dh^8d+@G:xAF=H2O>i]`W>tַ夶Hl|:t8$/jgdkPoF&t7%_rqЀFN}z3aGf E0$9$nY%ZE-pe#.[.]VԥlFR7"mDHrpidb85gXlr+c4XG6ߐg)}WznWtP&yIܧ=XKyA9ðxO3rnZy\s~)OzNQQ,9S{ BVW r:{ d V*61-_ .5ʓ8iL3bDI}=]wHi9. ɿfe5?'`uAi_ N_c& ^(:n73p&pɳ\Djj:7Lu|VYꫦEI7CVOʶ ({\1^:$ULZu0:;QI)7:Kc ȴd2l]gzl[iKu %vkݓ~BEXzdF|0L'MXܮ'@h}-}s^AД@;s2N"cmV)[Fonz)E}@4tIvo:*> מjnUPO2zw"5;Ix]& `\OΫ*O45LHޘ;ĪلZ61nCD&RG-NVf6[,J c'4)ܞ\дvjŨAj)jS0 2jlw %Z%=u i"X7QF/-c(^.Nr8 p=h* Jwb0mDAFQ}vUZiBg.=z7)eL9LDž;\Վz:;752u䋎-T0_帖qLGT8]cQ@T'tes!g齔EՑCtw3^Jmqҭ៶8;X O=dǤW-!F$cܴeRj3اm "wP[!r[ =J$Uo^ALDNs+AH_LMƝw Edg'/\b.ϜS&TGo{%ù I@ Lh/>&7?ɍ 8iꔑ`̗q^c5Xcf**!vMžlhWUa_)+rx9xh+y)tl95ygѴ.6qai=% `vu~0뗏KF 7cjپ?!*862rkQd"w\fKzb%ʣCHfTpُBbU kZ{w}8Q4iQ. 6]17G.Ӥo#FZ -xU~\{DIz SjFcQrįّجU&n+g6lK {`ߞqRL,bd<'f<(Y ̬}: PFd1!iWYċZiS,jMh6dկY7RֲZ]-{d rV^6 e&SFGmKG!$qXXL!0-1ܙ"',?.&W3uIyYн;$0v+K:uT %6Qd(5)[ĝɑfd!QF{Rq(W&]Rp9& ?5)/@BA܃J:F#Ya͗&V!Bfv1<ܪVDŵ7¶zIߏJ8flFXK!Zn3fȎٰU 0YYC:~ꞖH~B\CexLqpypF\qEgWt $ 'h6x} ؈o'yR`#l*]S}N#3(Mm'51+_ѽGkinUcgofwaęVл)t{d0>++!EOմǂ;Y="/DNFP{|OzLBqk[r,HX\_+nJN HSx221(h,4Kv_;e(MJ=?WJo4%yܜ#]$| 'I-_QL j]Z+-xU8/r,8La`LV#>tJqEb nf]w X&Ww~k<7w,CĪ%wtB &}3v-kuI@:2)} \sҧp\ {Zpm,x%& wb}|pWI*DRST.Ixg$ E?⪉c "b+˩`z $2'$jk4AZ ̢|aV }F2zߙxU+6Fa $7]ϲ++9(QGiI]v3BIUc-ZgH\+' A8M=V $$YflXbtM`.yE 2 s;U&ZJ<xCD9= Ns.ͺou*^Zh?-⧶.؎Bpc6C|`r,ʗq [ͷIfbeAU~':M(sCCaC ]&RM7CZ|,CzHÓ!+ADBǁ[.bF7ŲŎM^[hZ7%+_V-T;no [ocχM2mi"c`/̈Fp}%-`Z760+~B~eUD@1S'imHa+D(=ֿ,#⛝ Xl4Ȍ1@;'D9w=  \P3R6\Ll6'^`Ȉ 6mi#Cnξ|ìcSn !ƪoȳh)fFn>XU#V@K.:"20 lk*6*!&,DNW#eZSZO;F GVH[s?;\[ʮor^]kg~>J ,Ø`{ &FKP?N=Kx1Ђ)rCG\9TGa;4{y&Xz=`\'֚w8|dF 5YdC^B Y99WV$gr ^lKJW2pdl/&vRz^2K;re `J^Mկ9!Exo3s:@^;u/ٯ%?AR%+A;@?Ǖ 5EQJX۠HRN;>! JTD+)C_pø>Eωr FHl}<6'keS*kqE-e$S8oVs2;)d];Q¤ I<D3uwu7GOs_S3> N+A틯 CH ]cTE5Qz(~8e&CMC4L8YFiBҲhdoͯ \L;(f7i>_؊D"M;xJ-R@,WKB1|Z*b?e=)yv~ f2<.g+1\ ֒z #$$Q(.*~æyf_ZRߤ ;VBYUH+zJ!ڼY0$y7B" %Jn]~^n7Yu u[;ҭͶ9-~"N̠H"Z`s9"z*rDDpPxtԣ9d3Tk¡ )Ѫs135Enp||Lx!KSUm^V{$4MŴ+1n\Zd8@ݨ6-9gEX*5;\*5lR슣;M 0MV۶%EFcύ։OE~̖tQF:colC1B+VSefd,4P"1=ڍ;IREw<@9)L?@VgέbY~j'QUML3( x(<(@5v Ec\2g+XYe [ -7C5hvN*KjlJJ=ca\dћD7c`ޣO[S[:R;-Y8՟2jv]ꪑ? l sy={BxLI'fHm!"sJb]lqf5W/$6"qr~n 5h9ia=r2#^UmQHT D@EK7WEl0աb|QY:u`±vυ;=O˘",B=ph}R?* 2mc7l#j:0L#$l2jP'~9UGydԡ:)phFs|GǴZ|fR؃#Dq@'2Bbm?.)V:fD`g>m?n3צ?׏Ę(B6HI\8 YMK~M| ]!86ګlҬT#E*"w5%d  ø qAء׊az족,~#S:LESɦ#fXO˵&KG).V x X*C̺ n>Q(3fr@GEuv[!ۀ]ч^?H;,ȕ5P)^J- DOTـ8 %I+\|f7םP34# Z1pw(u Xhu QH% z'7a KAûR>bh«k^0DJcќ:$SA'?*d܃BfL6(ZK/ݏBDݕk ؎b6Fk hoM;w>\+s_7 pX2hTsE'=e N+@A")Xkft-%M<Yg8Gŗ ?X/4s:R6l2%]/cD + "'2Uhm$pE. );Up1K2" Vv^7;I󡷝$Q K d ڲq~` ^o$Q*fDWc&[g1 :(~̑i 6q?[ 1Or 8~KLsOAZJS c9X;c*p&'I.YY7I"1i=0_RHD|zN9Y`PI3l%g 2.zxYp&l5Zزg :Wַ. -R 0Uͳ[[NGɜh^Zq&1UL wo@NC&kj]cի0VOo¥ g!2rg Xp%Y N,,CJE:ky~M)ۅ%5HZ%8 mKTg#.ScSj)|-I U4.za;]QzHl5r5{sz%cO vZQ˄r xyɪBv+Q "Wfji-F4RՖЎ폈g?U/C\O7M*ThQ*.GCoJPS{S+nq$`IH*!K&u\!+6~4>d n>F2kc/9͊?-=z4FuJALMNXQ@ǻ7'C7{;zFz# (E߱\5+~ Ts7G@y :(5I; &f:ZW-gDOFv6]_XxONS:a/AfZ -EIÒLከ5حG2<$% aۖOo=ïa~wT#թӟyOXfXN:V+{=7ಢc%\U{D'fl`w֪)bI[}Hm4Mc9hxנUZVGIHO=jءm.Fhy+XYEXel}Z"N꺣Q=1҅vF`g6z~j7*14xLi:ȏi4B;25 -5zhEl2yY}Z/nGTvQs8č! R*b!je/bJktmzu"'l\7q烙_q L|SʘqqQ3 #S-w+#EH}2@H蛞&{02 ƥt{I4>k ]^"dN[܊gy}B"_GيwWx$wq})_Ox)^]tvHB4}B sKf ?健)?*C{"B %F7: EeȇB^̏!fA`^f۰&Fa|Bu$h z_|,fDtОnڳ`%Fy`ؑi=M)fLrR0K0-g׆d@ITh;Ws߈X&4Y(aLۏEG3Q"0eYճt03{}z4 UT5LuE&ȼ\AKGV4R7H6*MOIG`>A9ѯ!q/ד+%ᠺ 5Jejn@ ܧtz_UY Mj:Y)uv CF+63;0Td׸\[7Xt5,Nk.7xlRi˛zy҂Ua;6fsov03h0tfo[,_2i W ڼlY9clLC%X.nFDVMATK1ɺ+Vd݉X XO 2@sS=/I^2fԹb2mPhӎ"/<+V>po|'QeOnM3HB4,9SAlCbC F _l8)+2>t ףG&!bp9@valhȌCN#Kre({y]6P7nm Ε H&4# ҙq# ljc6QM٩e?@mW [?5idS v8s&3.z7>vڧ9F0ռrCn«npgU?P5gA3jߴN"&<=-6 MzZXBH$G{&m)ÏѤPrpJd}}$B$%h'O1`s&k7#wjT_C(Uo-Uƫ8Ehmx>S:'~syRmPUڃ;WGߡwXu/+bPUpOr$2i vэZ]zsBb Y_#W#!~Sg09{qw#۩dODYQ|:e&TVS nW]PC&Uw1QwsG#GIr_BvRۆ15YP3BN95fo+Xw9?B0~[ `!i`k?yAN W9q}Un:bY dd0`,2D%\ g:Kbq_}XKH4my,y-nkBPkG {Uqs팧DYXpnl* | p u@gH- `JtFN:6oW!4[M\>V2]rL FS-6dz14˪NE%sb]Ǵ֛)=U8BR"ɆHo']rfws/]|.@SCJ`tN= 0O:'R?e8a==liKL{"wC|}s Z28?^ΖzHke`Fv?y2ĉ(?7,|{ahv*IJHЗpK3gSl!jS TI0.$bF>cx;fL08ThDtm zlӢ@> mpw'՞Y q+a0(j$Nz}c JUV(7; z$0u.xo#p݀9ޓcC] )5-I ;@nu׍2TB[!U'o?teqRKJuoXoJhDOFKU79 (5EOQ]i "@On, xA7)x$ `'27i  [\L^A _іi=^~~O\weJE FwD8q&uV#C1u |̚ʱip\.ChW4bQH*Xt[`/+ڠI̐d'cLϱ$x,E2ZXS3i|Ze:l)s`8 G {nślM9-s4T>2`Ϟ񭃝^O ? a`0H"<dz3|GS >HC1lWpwo<%4:rߞFO{IYzfz3au9yd齡6HȪIpqBb0.RrHK|Ⱦ}[02O|v3asͩ:F5č^?g/˚w1YX4^ϖ(ReڑQzs pU(Iz X~%doVbVݩʻj2`8^U\,֒Yh$P,]f_^N15[oD.&3L$+pEGb8xϢZސrE9qFkyb],#W]7m$Lߔ2<up Mj]?7[ƴGCi. cZ:."CI l c,!Zc0<\+}yq)SzicF͋wo ݧP qrp2 ;@ZEW<1eR%Dt۠o4?KQR0&f$L2KImżiMl~:npBPX˚,^IVs2zI#{v5ox]RpZlιb153"Neͧ> UpVc4ވb,(N?5SwbAvGCff/8Mt6N# zɜQ9ВDo Q@qhDg*̋ K"Dg\vY5C 9,u#*=ZSg7nFplU^sK6o{v{`v\l\&fe~~}) [wUpc 3NkCl'糲F~_V.sm7"t;rM"zȍw% 7R5n'A)5۰2B+{*%ɼqRфf"ֻxN0@]';+`=HpH=RF]fa?hEA աJ,쯭Ck:3]U}&[؇4eo^uʋ.}c`7+y3vݿm`;QM wJ֚2u#P%q)X9q_eRC6/BFAګEImJإvJWT'WFscwuPD/r,Zt ] b[㻭Iz3ZQ'D{wkItmEnq5TL<|P#:h%'`s#эz@*d5JTFaqBLu@/J[]"_zW)oe)3vLU]cWf2|%[ˠ?udc51GZ0n er3LAi<5y1Yq b器\2q$Ck`hRWOAO~G(FVd9E58`/ gi-O4*Xqj GyHdSq)ARCs A _;CZn32^U&A$iG)$kbNJr 2_~jg!xȡL" 覰؇?CdBt(aWuH˺  o]>TA-ڽ&!fQfGzus<vٙ̑ɣ1nYwKo~wq'FAO0N"S.N`\5Zn+^qN)D/A.=;~d [\7uZ:uy@#vj7+ O|V;Zf+FI#F*𵂿gW!2*6g:cϤ~=~S\ٛKq.ubPM Z09n1_LcJpj<"ʏ=Ye~D ٕ䞪q p}wŷ{8vof7r 쳫Aŧ:bE 3=GǫA!|^Sn'ʛHrQ# c6"ʶC "u>Qbm(kL$}IR-¶}ݲ\V_D詒]ߍ11Ћl);O}ʼn0 گsf.{!o/GyZ>nl ULsװJ)?3Q"[J'W2Qenv~`b缯XN'RQ#=d{=6%$#]DjWN&ʱ2;K%G-+-P 򍝝$& S\'n3\A_>&xΧ@wڢe"ҵmw"YRyhX5.XſzTH5ζzQ?lERTj+߫f:TgþԸpq$:*\Z!~&D.qESmg+v .aO-٥Î=IPSDn*32L"[\.- A*H, ʗʘK3٥(T~NHN lUGc|.3fT. v"LmJ1.3qUlgp=1 IUA&|3-Q0~X-2/V ouӠ uJj[+ps՛c iX3gV0"<zb4Q<:|kd"=֣H֔ hxy4(^H-0~М3$wl"댥#M*Nr;0+~u iHW73>aZ%P|p24S蛀'%~D. >w-٭&0Y -KUV/v'xш=?×5H0:T6q[VU> !?^F7Ą=.M=`6>ϯӔ(Cʔil3ڭęCDNν͏< 8!};^G)]QW nþ9aI\ZD&!:Q=P;ߥdy{r0fjўڋ{ 6:&zZQR58\Gˈ:B7p fU^6ס;V%}tڏ,D:E"̡@SHfD>5)p.֦##0 6?m܄&{&2kJ aWC~u W|QH |mEe=arB:I3̩s@MT*"]`um!RɣDl ?\vQ?p1Hbj 7(_ mJkd>A;ir(=vNH5ҳ$VmicN(y M}ؐbPƄFgBH箠QFH&55[$dیWM1s9%*&יĭg#ƕ#fl@-I|"+/n2Ə7=Nj~S;\Qga'KWpyf,%Il!T/1M BԤ*uk:;Y ]G:|6JhvVtwvܮݲv,j (D!G1ב< 8/Y !NfSCcqgxo銇__E+z K1w&&ԤvY!&8Q夵y6yR t'Hd.w>gVlOPO,)F G'7% -n)@.q A?4ApL- ^$hHaqZcNsᐢ@G ;r PJ,)MRނFEsea| ߍ ɁlahBϫ> kkS5xtbMa+"q^csr nuO³@HhZKDHʼnјҒ-%n f|5%2ƨAX՛_t\]_}imOV;n ]~f,LkSI%75FMi7aʏ -4e'ezזGEh(g*`vӬO33wmf1A"\=%fv{kmŪrB1x]̅?y6IzKz礓;efTo1 9yj\\w?B,rFݮ廓vdҐqukRuh6"Msf-F^S RJ,L:~x: 츁Cr2q)Mk"ĝWDZ^w&-Gɧ],bKa!kgnF.``3v991|-#4yF>Gq{+I 'D ybm:A!t%]`F݋8:]AZ0ck~,:P %mA#óS TQE싰&>k;ƣeuZ|`4*Vev,* AP1|ċ8Լ<,X^ث^Uj|muMzD́~>'v1bTghPac\Ocgzi5R\=l5hHEf pD'5&:2uRa}:o$Ђ+rti"2ɫR [W陂t t_ăW IIdZB'mj  p]ev8U8(rk( \7\`p3z,5e1bItmں OKNE[ #@ܸ$/[b*R+W8 m!5T6+*l8g}e "T5ifP`q䔗VKec:Z%X@"r4k$Y(ɯA'"=sxꆼVvƺI J[/:b~rHf@+ŏd ^.)v%_akT̍S7'?hU)XPrtΊh}pdSo& :h؟@mA%cὠvD§/[G-Q6 SeqYz7D0 @"m!J-.5IprchW!i߃q' |xl kim]4ˮUdYY+Z{ !7QkcBŝ :vסxg.cZ=g9ۤr[:Lc*ZDA%v#MuSjf/XBބH+:jz pjC~t QWv37_U)8N "K\<.FgA vFT9 2;uK~ :5uST`LiY?+,9/맘 &.ByP2o6Er'C&c8նzAO_y6QTܥ1kYцZvUb:90 <6WE Xgeew9o48FbqxVAb'=Ӟ@bUedLj텔:M?2Ve=/wE jWZjVzAMK%dk@_L Iɝ>P]Uѽ7(TK~h);eW(nEjt"Ty0~zK*<5]t ]. L;7҄cuかX xb24=5\¾)%>2J^L`9mWsb\_QO"['Cg=/u@ι5G> ZQ'6a?]W<8H6VOĤwj9Yϸ<'V B@XZ֋B}s3cm0o¶mEsc*<Vcɲe53϶Nc_˗ӊϰkZ]:EЄ\~leMY rC;g׉ꦧXq:Wɶ31,x~`rm"DT5B [Vb|/Uqu:cDX7hbuIi"jV*^o@JcU1A:a3Fө`KOVFb !(l[PKbz֜ uĠP^(>p_f%-j0KלyQ ON:[4F IQyjium*O2[i(oH/[˿ oYgcB~1Tdl~Bg5I UU.k^ϓ w\kOc`sj1.g|awu X^ɈdLrEJv75M0P0scY;`MYXU^:M嵃5# D-)˕;N091a F9?`k"k H@(TڧS`m 8 MR!sqGfs!PUc&>+bW**h;٫';Prn7@~V_2 my.{W\้Ƈwr lsR]̖YVZ'y⪢d,̚7XЌ.MtC$H\6fҝYom{j1j'om?"zV\4jOiR,IGiTfpVj-ߜͺXhEԷRenʌ!3zXN.z6'})Gdg"Qv^K'25}8 1=$ٌ:gڀOzO ntu_^"dΚhJ/U(c*USO}`KLf[>ֈb-G+<7ʭd$t8 g:/JuZLd؞M톌~,IgJ&H .M4S(74&V ;+ "6aϣ& ^"[괨 3TdId2h릮o)Mxڱ~71f'抃rLm9dZ*\{~':=J@R 4})ScJc1z->yZNO|PFZ9b|0e̩3i_=Y_'obX޲ͫ[Sָ4 cY)cWׇhRO2R*!}5KJE-4/ڧ}C*7}@W#dL.gAZ* {P^٩F2 <Ц{"9t}D*N;ͻe֎ܸBa0|`}͇Da4/nk6YF3`i_g<9GJ8hHT @]Ѵ Y>-ņr@݉#i1Um6t|SjQ ybO'|#+@(骔N&k/\x\Hw>A)#\t]ca};lI=im.\̐f`}S0Y@ zL XDaq/0`bReSEu +# bzҋ0ȸ{E3G /], #lq[V!Z+NG5~.Sۚ`<u&0<ܵO62eDL ;([E  J ##UnhQ y%ۗeOL{xdrˁUh, Iz%L3Fi_]c?d.0ab i֓k Ghe: h*)Qa X|:H-LjipF}7ʥ*+pBM&1/|5[3Ja{*ciaO8` ndXe;c1;We8ն!p&!yRzzr`S${sdr/EޙG]n_. :߮kb2Zg 'X+|YM-O;QA.|v'^U!5 И E zjS;LG= @_JIW~#J43 qj*-:=u*lÌ炙ߊ<p@1kLcv]{+Ȕ~ҌB?r2Xϙ/Pkúx6ER;6@A1?=$mPx]OAIq+go()&ghatbi,<;g= :ؕq{5%, إr<,90R~J6HZ0VR߸0\>ɘ.azpFPIצ|qUAgyͷ=0q 7b_rX VO,C;WFlZ>'H y)B.L-rHAbgEY"p5Эbm_Tڶ\CH6AuAQK枴ehyTUqϏm,OyRVh*gFRx; rfJw+a9b.sLZ 0c/Ю|!nR2,HpM~7е)i]*IBnZOC~qHOkmP9X:#3|R? \$}~yp&ф)Д1 1}Fի?uc.@:?ǫs?<,RORlzGoc*GękHMB/CEyh4e66onCG\D{˜Sntv۔ra(`Ng^O^34YK.G"Kš68 p~2A8E.]3Pp D&嫐 gTPի̈́:mAWodhJux|+L&7Bj0qiOo-j ]݅Q9AS(-=tM>q?~ޮ݄iN1tL<ϓɧWt G[ʰJi\\538Z0yNv󖒭L/-J`,ix8@9s_Db[!zA] o(QwraҧmVઘД{b7JGRM"S%7)u(!NE9 *#Yo. y]L3Go$BϮzXJ hbrhFeGr~RwKVFRPBX ]Ϻ.ү 7- 4e5̼fA$55FȔJFo̲UC6\ '6QPO`dh?DqYš- ,e$C^6PuepՆ䍒,ɲ)O[u`)XjF2l|ɪyZ}ݴBdoO~gct'f9Rv={, Jg҄sʭW M>UszA XngYؘV{x%Pqfj] <>_h)70`wu_C4w`{ˏq)R@iʢz~ANz{ ;`{FٝLDҟhⴀ<5loX84)gՓ7Nd& Ҳd&Q& pZzC./қ`o eh_ iM; |X YV>.SŹ87 x3ō qԵ3|8WW]lr1 XIZZ*'#ɦiu)I`vja|V' Y.Lz!Ӷח50{ͦl2=$yzUQ(Hjz=~d ~l5| yL~I0R B{ȵeuRQg ۭ;wZ}p4v}ӴMOÉL6m>/ٺtu Oirr*9z ͊vFV7؞ЌnTn Sj{'doQ9V9MEi1j3zK%I@?%jVkݸɑ_b$)m!g\Ǵs>ݜ 8,NJXʼn"ODkyKY~8-Fi[Q~VCkǕv(orLt$}`Q( wpb^3OD5KNANތ);q%b8Ioj]'FadK7 p+;铊.H4!M4y;wE83r BMg#' ˘eD˭c,:3 bLx%͆(<?3ۄS?yt^'J^"SD]2zӸY-U8d/"KSEz3[7;.p>^0%g.|LJ1V9]Xb ˇrz./B2hIlA9jm6Y3= ٱ.^"JM܎߃ /T5NT7Ș[?0 aϠ _K@J%U'ߺߚ 9Z̫nY4wv!B=qU=e+)>XJ\چ ;8ԦLØstڪ#2#L}՞q$=H)4#Qٮ7ʎo紬M OGPFFG%D;*Y?eWDaB󂒃z)lQϑs-py%n42Y66IvX/U`nMefw'G/(B}n8e/2pc*/"~5ʱzإ@$g !Z:2o?24 bF;vguncx쪺 Gg<@4O~d@3yO!.1x>O|y)Psm|PW|U*|8`ė9rΦ($ov ]os:l1*ȁUQ1~|yQGaB݂OvVSE]9N:e^8l[+oإ^y8?*EG3P/]ԱT~?JFY.ja wP(hj'jYzjP ߗ \AcRLuތ%o7hVo{]yM3~* s-Z2[1em/ M` ğp &i:VB*|#! H~V R[#!0d w|O4C[d%$@h .}͡8c꥚a v"Enq%Dh`.b꿓f|J,Hu[r OGR$|>MY1O5 0TkuwvQQ;Z/СJa6=]NSߐ[5)m~ѻwtW-w˞)ΤbrJAu2[ifuJנu#i c`HL󜷜2T=2I(}7 k.܍g6XPC'懞?녫|ȯ%5NqNkB I{N1} @@@icũDr䧼@t (INvlI9~{M넙X h3`-׀D:Q:86t Ł 9L#h#f(r^w4~ %l}5N Y<"wNgj +Sju]@oD*+8tI%g-zwC8q]ox[e;s *)Ed$ILJ !+aHe Ur[3{ZC,A7=3"}2VNYv`AQ4 E)#\HgƯBӮU2~~K2c!4땋]L"HqUbiUnw&pYLsZkGa216nHo dZf~b.*1ϺLdl2k<Ϡ+-sp$Y7/IO?T$;q")<}OM]4W4 =vzɯ0$VR k<nema9%֬Ej“yVjw*rG Hg*W|U)?7ko;b+P=P)(S]l*Dt;؜Q.l)y̓ "i=quȊ\[a Ji-HFvi:py#&b?-YS{:5{$Lb>amSE$1vg@^JL"|c@gZŭOO5#MjжU'yV؝w])E!ڦ} 2K`?t1>71ESz"*u2&qU]igPw@ ; -›JGt6t\fV]9@]bޘ8I-∳хP"EtRz{/>kEo[1"vdF9AZETF1];+ytK2[shJMwHZם| \:G dHVF -^ n ?Bj}ˎ pTTuO'`baQǺZ%LURm^Ma%/O 鐷Q͒H" %6xUThȕR_K?})b;մos^(it0H~^r6C1immҩC0%X1ܩo'E(G\b$8kq+Ś77:=Z/cFE9c]pjWCL~pSPp۶?0 r‹ZD1Nux`czRz=דN2*];0ƛZow:b~KTo7;-=.*neBEP+ sJxݝu Õ?}A 1UHynx̔r _Bd1l(]ausC& }8Uxԧ3Av+╎Ʉ1̇IWKБ:SN=u. 'yck•՞EjL(h< C4H#M Y\jFB˞ .O?{?ȉH5[N9),~:.tt 4Kzh͵B=/πOi+E+ t:e߭& 0 Ѓ?%N`T/ݯh7{ʨƳj"z;P$M¯P[=fkB ѭXH+/R:*tfjIߝ1m(;E046-(NKE~:2?eR0kюCM>g\' H"Mo A!7"FM|K":;p,HM3 nz潨!-tgϹt 2D0E!JSvpEZ̬VHm鐉K}CխddY;v;]OJ4.D|JW7@ ocB35u9k5 =-Eh@6@^  )E94SوF|?bWzRXÂyBf 2o*˺sWr.׳H^:t':D!QB J?7tIt^&t\{{o7;8JS:~Ba v19QptnیhOd!w٫np H0ND:;٧Ɠ6tlMnlH%̡kM^2Zذ !m3B{dd-Ks0:) oIn)`B WG_RVӑQ_ dq4m|{ߑ{ ´o'qpW]Ѡ%v̄ӯ WjP[5 I[ů;ߔ};fAI0Mt3 (GMO>C8c.W숭$ 0gbZe~ֈQ1-E3&YOc=HFT'cC\}`Dt2m4l%7j?.J-aE]-v;Z VxȖS,ͷCM蛀UJ *Ǿ(CSsj# áGYY\쑷f17u$1Ke, ,픏!R[$G ͇Lmց⍦hۗ2Pd^+ OE4Aphxق䱲ƞ`2;BCڐ5 ɸPWNPIqogW`UiI >|Kt<'Q,gMsn_bBxMq[5.%igeڨ}u .([ěϥƂs~#͵璵Ƒ_2U dcVE= ߲ш3nyljggXj46Uk*%tSicB .řGOcFPõeez冮k{/xlLVb XWe Lf*hO5 ?,qЌZDp?wk=Ea$PR>Q-ze~o[*_r//=2gMJGխKtbVȂ?I"k$5!U~Ǡ&]ZsB"owED>jKiK{Z+K 'aɜl7t7B&řCv}f ~?0^ٮ/y 8YޙQ={l'זÕ$#LL{cE('PE%@6+vdM 8 7xbaVX a ZbmǢؤqLv~Ov!D[w :M)lœt? Qv_U/lQ.0eNOgS}|T6Yqh+Rz` X'z7^qkuĕixONM1dB5ѿ4pÔxw6zym8-sI2BWÿTw(>aUR7.t@=bH!Iّl<*DêuMKƀEd B+c}V ?,A}l]T&۸3 lh_6|n4zA!m֯R s>S|X 3>SA6Tj 64,jmݒ@7DD%ng>cҪVkk0q1}]A_ؽ hDkb§tUjFϓ qG\w#2IJ/vs%,Sډx3a?>/_t^'CAs\-A L/WpXᐔ`@| a:[l%߃#4ЎG(gYZ*ʐBc>xՄcDx< {+ӽw9 ]HЂ?1r<M%hRq-E p].3(R'FFoW4*̕nF4Z$jIl:8T}!ى1ts:Ƴʫ5:w\o(ٿFf.ZtޏH2%0_8wAh(UPO'ɵ3`!xqTq3'r 2]:oK1w׃ID"k3|PIE*Af#1U, NH)ѻ~{ E m"nv\w$H6kRB(p)ʼ\7hb%}E"viaxMy=@fQ4ZmpV^ l hƝE pڇ9meedԂAB<kP~r3EUz`U7:U2im4M5q{/2r(&Hxmq=J"4쏿=-J|VfeE5T+yI :z8Ỳz-,: p&KԵ3uզ% qӮ<*ݩms[wJr7Ŷ#?' cBehPٞj'/+=FMg1M`^ /6vע)}y;yU^I[#40%hO ,A䉢6’Ry󶽦1{= FR5a+T.%UâO7R[z[m' 3EX <귃eH}OZ~Z^q4iCض|YYyjY f~ g'OSOϭa dA]{lp8 `qƿ+L9/̏J/}[S}6,=\^tEif5! UD}{#j4h;T%م(p:Uv갇MIU|TOp ߆Ʉbz#TIkw30bkz ][{n{"F +smsZwZmDڴ5YGƪjX!_\tNNŸcb5a m̑귋(͕U;EUb<_3kA&V=s`K6SL~IBn}Q,oo$Jl'Rs% ']%8}1TyHsUo1P^/g&oV'&% *^d_kЛ(P/9#!0vG؇qiYM,<B%,y|[0/9}8.CXHtCIq:U}RXw<;04~M/ՏI*7nKඦR?BaC lqS\5)ga趀+9 dl -]~{BR ۵ & »9;!꽪7y$dC틌˞myA**Bi`-,^셠^ylF't ?>\H_yu>yX y:. 3;[g+DYu>W$Up&,^*Bsm=4Rhj_,߭RbfToz 1T^NG8LR{\/ͱۑ5Л)Ia,yUt (4B=5!/{~{넩NڽbПά:#t%.댏CL ?9jc}`EVLxy%<[{Qዟ?sM4]WuPc|)32ZIFbZ"s/vG.qbJU AzLM  9) [GOlVD iw/ m-wS 7}z8[]O>i @T/Zߙ&LD? ފ+7C ܠ_Il؃IĄVw'# Cԅ%YleK{wpR:͆]yl8RLjS@]9'@rC`3BMK}rpD4X(?:WW Cj(A"U Vl{ع#ֳt0Q {)[?r4j ]z/#܉\7;艾oyjӗtM܋h))dG+lI\2WHKH.ME,A ˋuXld> 9_$Wg!KOBʄ +Cн)<`(;[xQ*8$tݚ n8p?'b4.Ly}2`[HRT>=d~6 xҐ ~k* #WZ]oרnnEC& /1|&EhYk]nYl ;ΙBa\0[ O㞤/M{xW`N=bZ_>4@4$C).9s1HlJj>Ϛ BgYZ ~~w+# $ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N ]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?duܕBey,AV?H* w ,ROcGdǡ*}ߺZWn*X}2Gm?I߄akbyy=]`(; J-lqO>F݂^JaW-`Ή_莪Y\PV%3ɥ)E}A(ΦJ/ێi>KG 6Ӑkӱ$ݣa(魣<!Y|`|+Ms$}k7nI4EOɫ\G-7klwh'R*#LH1OStR]MgNoMyXRh^^R1sUA݅}Vgu L*cXK^@ }2vt|$Qr{b%Ns mQqV=x/=-vPfgy#ڮ eզksmŷD)I1v;1.\\/@^e{/Q\8iԶBF?PX{ &v8uC^dD\ϣ8_z}t(hU}Dp/IeBY1LWN01pÁF.;ٚ |5$L>f5zE-V:Ntni*{(ۿf?~b!&G:V9o(ˍ,09g2(a{3wJ'e%?U,Ff*(Y${ F6]xMXeA"uJ\?UX0Mfk\6Cv(j;8X& z8}}(s[z-7&0`|JF9n_aqJEȺ9!, ɫ֐wivv󡣍'wQYE77LX퉆6|HLs.T&bOHH73.'Oʰ#J\7&縞tTMH}uLsٙR#'^ᾢK"tv!{:ߒٷOvY@T(< \b<<,)XX;W4 ZR -qI,K+{E*A n+>D̠u{0< E6:`\ˈb8ֿsTrAM^~Q%_#a%B0t ;;L;!RgλbRqDMillA9PShGx +zŽGnXoC'k49t'!g:;R$p *x7 ʼl/vQo1;rZ5=!f~ce!ߒ)EQh# jPY~wO2䶎y7")oV],r5mX\] QK[X/= ZD( *0]qK3ZؠzQ}|&h!4m|7ۣ9ޱH{>hЏo)P1gNtWgs\p~KkJ=Byĺ|.޽rZN9JDB,q\reO7·+df`*<ώR*_ҽv^gE=$yg7ݢћ$>ko/j9tzsqC@aHBG$ˈS<&l凚w)O} [,%2DnGyKI`o C&=;T8p?wVe[kJ Le~:(t'O~k J觯֠[R|gc_Cvۦ7T L.KW-ޭ!y*נV\'}$Z҉2uCJkk՗;(s2,s`7z?}7{5As Vx| fP#o!7uَf ?pcr_158MZ)ox[ELqn^^A $d f&e.1/ j5ɋfඦ ^ʣE}eS즾7ܾطH<ĉ4Y#YvGx )&ς^\)1%55`W#-rs1gQӇtf͎RPy\bS:O !ܤX9u`rv6^O9A I&NR^J)bIsi|4.ѥA7uc/jj]*6J6F"9 Exw*,6֖:1 Z+)WٞSD*C>.f{:uWrL %!k 3W]xZInbIbAPG]'qi5NAvcFo:?;?32]?ľ]&pټB{-]XIOXY`߲p$jFKrm`y;:"3áNY"% /~M4f>a SB]DLT6h3R$ ٓ0^k!:!~܁M-.Ln\]LFq{}!p6h 3F;n0Zfwݵ;2 g&:Qo鬜e䞦 1+K A/, s 2Fz1o\#D}TcQ+Ʃ^X<{$&MŋyIK0E9]ѓobׅ~Ɖ%n@`+  ` & ~K&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂ&Gzlx7 mV0! ' ;/ /#c3:r`{ZT%~*ߵ@HʤnHf;1BT\} x{~O|:R AMjnp>o;{E~.QOMJ炙R2zX4W DK̾i^T"ef5ckgYZJ#9# UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ `BL']NJ ] wlVr[=#,_||8tc&z1J|ۍý( s%: AtnMUebbmah$0R$D4̉4fv%%.e <9 0%(]np61k6a*,6\OrVCbƸµM`tת{PdOwQLkԶѺ%]kOpISz.&=ͦR("}׆HDxO1/{+d C%*6|>@)-d О!R( hΞW! H5Y Lk);2),wv.S F3Gl3PvPӹhD[R̚©ASP+od"4p*ۙ$0ɑ{uBat2 VhL[$ײ:/,BqL ǮpɅAu깾i9a#ZA_,"h+Oy<ȫQǗIXDM@à %~CBfѝЈI4>ǵ0,ו|yB9f㌴&Po$Z: E}7C#GK;:̽.]$Vc7iN^LT.tYqW l PvR%+%)Y=GV@y:?ƪ T!6\~bu s !<("`?mm78.ٟ*d.95 bT~v?GM7_\OVp.e$䑡vyKj,1%aZmD5l;f@1Sba%sTL%y2G[WAL/u 73 H%;T*HDgKMD&6V ch+ӜQcEf=hR,̋zz =+zС&oG{! H'*!+|S13& 8͎C)D.|w 7h 䐈OɀEѴ]5k}U F!rd!Oo<1w;/KVNKhw9.H\g#"24 bݮ:Fςhɳ jEH˜cq@쾝x|j2\gϾT؂gH]Zqg~o~\`\=8 XGiOQݵNFpo0|rYHPotIcZvVR=c\F4;&5UJ&f񅖋 ʠq\r#JKaҲۚ>(fL붸&FCP8X>wZQD>fΦ]G>Y/$KE٘mREİp(zg4,{x<&7 TY,  [{V:׎ydXP^D&p1j~;)-GSc2 $+lEI%#Lhex] OV .VUY19Dq&.|ڠMYsA+c'1  B-[XLpk=gYZ9r = DQ4)Tso"&zsNrɇNT&/U_$\ `f(i/ $= je\(OJ|\ WFX$ELZLp!$('/eƳ\"-C16UM)'{~EeAIoBBk6}Y;Bg䨾$74}?3eq5SyE)~LT\; ^2@$1gYJOW O Ʀr;]+65Zn%qb'~pSO ,7~u6oZx5kDq<8n3$e|áQ1 ͕>B`RRgyrs] ckomhߌ%Ki3!aEHXh'֭_ !vVvd#6>rn*gqvmDL`]5^{~iM_MJ>UHOGnA릎kʝǝçm$=6N7̲/Z) SM9Y'{< $wbɾމN[o4'*wg1+3_>js|镭pcrs|;2GYɘQYΆpo0w"φqZ`\F=VوFrZS1 8 %kh)*l"MFp.wts^ AF~=3NpჁ,} Ե6~D$۔Fq+>1EmpEXMQ;>TGˍ ʗNH a 'd;qO0tI1{$H7gb##s04G5Fl>epć N&Dv9㉏uYLuh\!Z g+: ٮG*Kuvv?G|5>=lͤLNr,@P]v cߊ^4XiEh؎gHk(GG[|IUj—˴E<*>'fLiRJPP9y8]Fx>[7caKOk!oU-[n3V>i^!bmõdaYK!\xV6SK_wC/^Q@"|2+'qKc03 }S,ZPJ{^`/;L}@0$&NI,y`B#F}V%9iuf#B} cXC2T K4x- Σo~I@a,}')RVrBw,wE \mWyDȲU>Y z8;gɴ%>W N.UZ,sP' zY ~D ,LQZ/OJsc'q G}/Mf3!|Ȩr kgțr˗AGp성~LwT{@y__E?""t?NARl-5/d5Ka.ɣ`YM)媡}`+w3%Ewf2_~%%eafK?N&8'@8i% jվ2 ǩ}enyR0~:ϝhcHde1W9쪝ֹj716kvI_odaɀcM g-rZdX@vPfhX 6ij"0/OGBUA > gڎH v|_3m!=\!+@s"oou6U.TҷzJ蕇V&gy:6 ⸱^%\t#{"z؂58gBhrxvZ c]i/N¸$ԪKL@}6Cꅰ/w!G fo\D^eIýIlU$/UTk9ǮW%~AbCo[Ce*ŤT=wbZ Ȣo~NIE B\q!F:8A3i\^HD4vYb/BzR4fH@|Lp"D<bqO6'=ӖJӡI4 xͅ}no/[;Ӈx0,F|-)ik/Q\4Vy֍cF \&0 !Z2?og5Hϙ^P$ɞJk ;n_R!m&/ʕae ?;gE0K6x'PcJa:M9m ۭ'eS<-. ޣuL جvoZ*"G y-Ødgga~{o^͝n*Ԭ'<*}_sBi)!-:-m1ܘ1pFY L:S5ݙtBXrTLV6mKдߘABnb-mX &}gxSPյ*57 sbM+!FXUHbbWtV-psUÔ[葴֐qiFU1Tƨ!bLk} (<:JUJXjI`?ug=Zڮ*E<HdW3B _o0I=Hl00EȀg]I(kib  T_ji5:crYF3a Тaz ZċQC:~]<Nb݂Yk/*m팆sNo=A"+p^@ǁZIEYA,'>\$/?1̷p{,AH)'`Q10aJ!󊉈Ty \ׇ]ZrR.+ tgYZ 'jp'G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UO]·Iq n[:|&[z׌7(2i>aoȕq-ED9 n`3|DQX vh-c{AVXA<1ŵ1ϕ9~6/`!F3 KʟNǫ ZG "xU>{ٹOhz W?ܳ H[[Uw.tr )ISQvuG(7:sb Dsc<ߌ̵ lLG؆OOSr_TD| Yt!0us39~k^W*ĩ{یtG⑑j_ CbػtWӴ@gpܲkFʉZPh/_ʌ¥h=P86a55zE}83\/wط!o#uu mZRvKue:*v$ $nq>J, yi/܋,=n.$ fKTfCZ֝<^¦^*7zF(=A9O(Ȍ`l R-Ȏ ~aoK,ܱhUzG3;f͏91Tnͩ7Ί3"9}=6`v+S5^gCl91Cm3M ^Ǡe+3ffM|t./+Q*b=#. 0]!&v\ Q1!VŸIŇ`n+wtL"meQBф gAXrݍH[ȞTs=0ߥeWyb-R[A _5攗 pc y3P#51~9D##Θb fkPk]Q4ZMn" 47nHZP“5 oVc,5,HR/:h*uVGrQq`F7cR% Ryo^p,j{=/}*+!}=,Ȼ5Vb Q~PIwv^b ~i5D`+VL]{`n\N -1/׬sՕtDcҚI-:SƃnSV'J8G6z | ա>c}H-TާVNwꟀ=L27cWR*$ 2oz5BaP~]OisVnLKy( ԁm; Y7G,?_@S7H %MeoKѰH vxZ]%x[l]OL_v6\ƔloCG@(}g\l-Z:kE8Djc7:&chYs(^E:d=dɧ9E LZ|[Q+Rxs hemdjf~m9t:ӫo0.\h~2>ҷyA͏‚Z$r\ZIISM˸Hq:֘ '&(t.=TµѯE[GZ*yE+:`=A ?ځS9q#?P ╧ԋkQ6)6Zbw|4ew9u:.LR\0ϝY`UBrMOqݯ]2+3.mrbMinl > (|O/ǟN],V"LOaWHЎLۏkAK/2KNX$;[a'uR/éINfS>ܲV垠N㋉PK&9jS/g:buL >ߣ!au.`vBK ѥV'ףɜ9Ya'\*Gv/$AmN:d.ڠ2Pu% Hln)F #sG8LJh~ѝ^m \]~!8E! 9E6VhJ UA8lB{ $+QVÑ<OZ]znk(BПPl"Qgb2dg.#%jVPcЌt/~1Fh$水H84yWc "p~pY2z:5'Gap—YoVW|v>#E$ЎB ъ.HB/K}<#sPK>_EWFiy<g *,z JN:P S1P6Ƣˁz2,uYBCf_Z/*S#d~8ogYZ/45MZ?c 0JڂgO)0~;m4G(Cn\ޘ5n<`Mn4%q"VSO{D2½eo3?'>WzPٽI=p-^E֝Sn }_NP0.vS)21 }T@Jiػ^#)Aeh;YCo,B]b0˨d4ۣ*V109:4ZU0-9i/PPJ&]o);436֧2dPDCjy:z.RD*lou ss/L0AK4B~J'_i"7[!ؙ|=Q㑆«uU77wx?oG|sdmUdC=Cޗ]˴T\ 2`Noo(qgn6u1ָ!T 6kMP8dA}Yg5OgT |+fPN@t,vr[g J0W\[i |BXگޒaPkKɁcMwX$a(><>Pվ-F)Ó,*q cIp %d;+h9_D?rMH$[m%s)-h3#-ISFwE2ιS\ 9% WUuB8$$%fz](ߜp04,*TteK}鞢,:c/hc\P!Kf7)R Z&sRɖ z۸oCvKf"nETܤZXrYj%tSj;t5x䟗 /ǪYy$;I5ư1sA_JVTkOp5̖p<*!ʃ2EfTsXX޸t =۔u#Q5UID ܺ%_`Vh^fAڃx]]%$dJ5Az{\_:&%ey䳷xiX >\ e=jk܀Y]57#wLA_s_1 PHD#W2w7>ZS̖Ȃjd;l&:J\ 4>Vg7{a`!b1pȝ\A@$^sڥmpD|oL;f9sMl,bwObt0 1=A[&_L_4OWWźg MN魠UlDau͖àtCcTy2 $q{/}՘O;^Jà T2YE]@paJk{H;7xb Ac އ1VY44"{+'P1g;M#x(`,7,z$n{ .>JÊ2Aq+7-̛Ic(.F;+ճΦ2tTlpH&OQO9C1 R8%J*5QٌVئ3tb1,~-LWT=hsU; (Ys1 -(o*a V`e3&Q:ȿR`s,Sr^ @@g mlZ`'"Y8Y[v-kavܶ/$f衤@۴2`M{kyΤі$aMhL6L3⊝ŏaR?v:u &؜Q\.ҷILu[޻ &."96FZɻ=Wv Ƿ{sE|9b[;87Re% o dH}tW؎a[MXJ|,Io(1p=VR ~"hڻi[Wl{%GR "uB0|T0Qd-dzdvmSMq1,1El..u`NtҐi.@` 8_aW#N4,:||a{/mIܓy '|:č(Iwc$(InLFE/4(߽]Zc&\H&*%6xkʼݻ`b|D3}:m:_S(hzMM`[MA:0*;5E\GH }?^ L[0tnE:ҤGpMa>TֳUDs 1UGA0a:œBKrͦ ^ զWQ`[덩͚s`ӂu\P`b"O'lz¹DJ;A3oݼ듬e/K&CeOƟyk F+hW]-pP]DJ$M@^e4A28HaKWE+:sJߞRzuRɘf +aȲCp7e#!!<"嶐%Ԍ_w] _#9rI.[)-UEjuY:/sS-EsC4q\c̣Tf1tZ_pyя5?\TV ]bJ¸5&㵶qћV1aE/Fb~(  ^VukJn#d_D+dmy:bQ(73;ԉ\YGy)=wKdxLmBcraj=w(-諠P{2$㻭xQ@'HČkINk"˙WA3宩1%YSqRenaהwwYxг d."Ȅ!kYx:NPߨ|ذnjy9V7b[FD7)bI!S8D߾C{jJƈ*TxsS1@BMm34$g@/YAዚ--W;+A8;[= YSϽ{KcgӢ: h.NOR';.D,j>T*]FHb !W=F(G0Whlx2uIU+4GXNg>6+h"SgYZ  N   G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108O0/' LZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! N`]·Iq n[:|&[z״GL]zr?J}|x6y5Y8OUP8VAkA(K H FjjS_x}prX 1%z׈k<5U=l۠%0%%0El\@c7x{`кfUr$Rw?ς?iq|mïgX _|scpcۿId#m pYXɔ𓤒P/I?G&\RSjGˣӪ ͎ɓ<-q$!/m$ןyPc*MGM],߄MiA)V\Y)z̖{]6[ҍY1J eA63>F%[xD/HR@ A[ HvFc~Qי-vs{{+(]R\ 9@qJ:+P+ /SмV'6B$sqR$xlzgN!u7Zul>?yXqK0I))HSv׌bN`}w{8p/9:qf/Q &xqYutqli4> lUx ُ TaR'{~oV< >5"A<2pER1'P) E,c[wBO&:| 5\<ǶGTsu?7J{擧  ؄K _b8j fI 87y4n7eQĝMsLЀP\O,*9Po<"~b}F1Jo6٘]${`>cs?RYwe~ZT9oTGVd1ގvi.%qI7~xvňzɮc"4Bz iO.<&4 qgYZR/ /# 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#2'x DC6f?/j|02OiKAQ2Ak6f9#@y *:b2ECxj>߿ϧi(HK䅟DZ2c]_,=~2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GM]·Iq n[:|&[zhp%־ 0zC;95 e$gú'jki9Fg!cfϑ>Rǁ[ݏ*t4lRB2hq5= '@u,d6F 1nn*<̣Vlm3Osw}곯_֚+KKeԒ.%mL"4 ŻlAakOόB~W ɆbyDqQA5R2Esqw#єڋ8/·s3bVpcqq<9eSmr&1gYZI+/# DZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*Y]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM4uzpvEB?@oұcA$7x{LY"jagrG٧~aJ]JڝuFG~|7':]lt \|T0[Gdߓgdސ o Vm;βos*IϤ).^'ؔ8**nbbL4MM'}Y%<ВFQ/03k-^m=g(0FM)@$>jd,t}(YQYBۦҔq7O,Ss(DA0㿘Ըf<}<$qʊ{8w~4Wi:tYjH܌6)gt_9UY#W'= "Oj]|>=Ov8BͰV^Qbw2O03 ܄#8ӆfkJIY݀Ԡ8?Ρ.E6a(Y"hbK*D flL{%4g2O]AʹG-5d;- `!+ګV|!1AQmBMr#٣Ivs:=24)s˜LB!PrNi\=>Ԯ"}!';7$z Q1h)@lo8{} *9jnE'']r޲ goq*т¢7b] q8 ܛ{zqQ1&YH ' /M"!Ҋ%"?Wvu12}#3+d)yIcm_ܗC Av$[XHel +Z3/ʹS+16ԒZN ZKvr,;Hj=$TҥӥI>a@NR$ A zmYrbMM{| 3m:8{$\ t)γL_XhG4z]tbĵz$<)ҫ׌aəacx ^z !%n ,GqӪOԍsU7:tu}^·ڕ6gMy8D׷i T84q${f=YRk]BS ?ώs7MPHIKJz<ϔ1Š eH.߯H)O+i}2e/biz|ֳiB p/dwn ,ПNζ2uUC}!W / MuIܦ:Q)4$:41FtِFKUͲ[\8,j6T LTMb$Rp/đ '9ʑNnҐ5%}t~E a[̾[LP*QV5w9 ׏ڑQ η^ύ-;q)YAߐMLP*Wx}T,C/4ث`J0Og!%\x$2pG"-ǼWWf9[Q^$0oS-3y⭇|t^T[X{#lQ&w%l0۬TO2U %zq:&YzmoMHϘXNT'm+之S$*mmxR[ӈtG$IO\nXg$33oФ/RWOm4' }$Cǹ"ȞlgƍS'-} ;XXߒI.zǦHz ]5);0BA߷gUL;!eEO_ H.= )X=iB8:'C CS?##۠~#==R:$C՚MtwAyiKi?=esZySl۽%W(}(3vWoReXw_X亃2IcڧǷ$bGёVN2F/ϗWYT#SHjJYT]\`>j,@lZ#ʰobm:0GjhANNh; u[`*v0,PsBwwLgO>߈7Mb %Lux^˂k`>80 ?sCA4:R[.sY VqaQQ#t ;q:eΜӊ 5 \)llWP?w^PEML | ޓY7k\OkXlyY j܏}MEZg23Ur`:/@S)/Pfq/#K+9nd *뛼Q`CZ){ -g f)m:=It拶ev5!3}?Z۔˂ p )w0 أË˱ugǯa",:_`9o#5V2=0ohfEs|.Ǟ렭D_uߍ(f9bdUѸC:uI[ӊ|"kWgr|<},~WHdu[!=&vɫ{uc^gA`6C Lݤ !y:/ڣ—#|Q#}A|fonLoCO j*HK?0x|-]ֻP{F$ CfLmӬoZs`-jUW2¤ܱWx_T:5q،+hv8ܡڽCK;$JVo5ckJ%`d#z

$GTcs mX-#Ϛ́K*֭Sryݻ.$cEBNݢ#zP4+Z>_>Z!'u9Fj9 v6l`ºRtg_dSa$ ʛaԘd4SVez@{%`{8l}U$/ aJvN؁w)g2Woyv.@p;mn/OZ?bӘ\OLY h,+ aB'(^*S:ȵc͕L7v_,3R+0d9!ЈFNݷwaJ n"Gr$sfehscB`4SU!S'I9Iݤ@~LݏQU ܖSt3q^T}n|Aal6"L}?62nD7Q'ދ ?A_US S&k7I81{nȥ6TiyH43JS1FRWo!I(/Ӯ -EB~!u^& jz2BbYn[4BmFxjOΨ#O|H^*vg[#th`EhS`Xev6AݚҖ[oe?$@BCuRixW(9#Y$0DLߎwϾVb)_\`zԥVXo_+1I#A_j* ĖD4 PmܲT-psZ16B\*RQܫnI'ĵ3R%z^{CPqH 3Y @lOU隢.x,JO>J IE"'IU%y=b͞_AL4rCiګhV{,7MmY5*MVxTKeDFI@,Uh*,WR ӫ:Q"n@qYTG!;hwy<͍#Ng»˝5:Zw~)a`P*50:\/tݛO<# uR&m;k,L<:%Çv:I;ͯfZ>eWA\NrB{ZV%=dA悟㵁A73VlRw r{,;lF!Bѯ7 MCeX]|:S^.y&^eӬw4ˑ)?/ܡ,\#(e |}mRatRkg" ߥ<.+[릘9 .eeQ)cX]DBF,e;(șF&ہI7tܲu,fwƽ)&S')08TC1TX~Iֳ{ՀoƊD~o v[g'-y/t @a/0կ(+Np9 +}K #4>WrN1H?B)A>p&UeS bhbe?䨤V8&_:EL& \n4[t۬A^4Xȡs2}E?UrFoÌNTx ."Tm0ܯ3SNFG9$ZIQin6gu~{b\m C(OZ:`ÚHWC'rI]Y9|jk<\Mv$u^g";{ S}MOc[5zrc(d68njppsnL'>'s<\.O68KTeaoYCƱ?~GVp߻,36vBqpL"_1b%A<,~P]x³Q##CȾ~%[GJ]d@yTNRpwE"~%01zdwHjji0c7~m xiG~$|Mz \/8KOǩڽoH`ٕI!5|_-19J^9ebo_\+ᷗ2JT"JOgo>v*gZ"7Z^p#Oƞû^ޞOЅR+EuKTmey[H,r9 AO4P&_bÕiqaT^h _WtHʚ@"ՁN:00*vƓKEm7~aY~uz|}ݳ=Ѵ\͹b9NVP=ނp(bFRq uɀ,-. =5:8lgCo"\a"FSr~s.m?'3f"Y)|5I#_*/T!tQJҲQ7:¬"&:CUqgڐ}k)tPA).ԟ5rLRtՍLMK: y=dz&M DKsصDWl;xߢdKĘqd|]lۍPU]]،Inil{ }%= \hT7<{χϑa Q sXWK3eDθ!)hbldTXӎkΉTKh,dQ,.&Q:Av߶G׋:o'@{YQ88P`R/R0HD1tvK]!z8wfI!WZ+zle $"oAl=@8וv/t:bann, m%h4 OJULcZ*+>QTIߡX(Z97?Qpi=os6ҬbJx-rt)fLb.g9W/*, g ]p?#6Ud'_b:+2`)~`޼*X@ޛ߫3ӱTN y%1F eL·^Yt**];^a4 ѴQlB^<23O7QwIFu>o$qbAYr$d^gӌִj#Ə3*oܲ 3 S爛٧r^77ς^K_#xbNlC8+50#5rrJϔmbG&w^l:3)p͈ 3!ZC~3bȶREBCz#>P>mtD@'3O$"p)8m )T^&<R}(rޔ;!7MgΘq$@s];܎m0 u%Mi"A &r0lD@,Mn y2Ͳ2_/< *Mr"|M'|yŀN"G\n3Qx>vRjx O .bbgķ2RgLQA@0|f{P7J:;[F:rgTk7%ҾP\&'0)F~T6CJA<:[ Yxٵ C$m vF8TzM&>btɐ];KW߹zw&aW2@L(Rb20Ic}VyɭKemrSm)OT-S5D {XCoڤ-zo~k*lDh3/bGހ\ ʤ!M dO'j3(M?Y7S\0-nV0~FVfL5\0<-giYc" .e%S+O}c^=5?T¤An{ٟ&qH?L΁+nydtSih= +S+Z9)#o櫓l֌)B`e7m=*xь4 MF\\/ك\D;XɿŜ-y( sOBЎ$GƬ ٧&dT•cBK/_ub{"S />QFJ׌P "?]r1oF˕1n+Obao_v(DtN { Ƀ.Bt&Om/Z5%j-ȏ'u;Cy;3y^_kA@[~hbg-GKJfZ-[p2 !43VxE*,|I$V*㈖Z ]Lau'I.x[ 9 S(} )~ȱA,WtcŧT,}+X7GLJWmm'5Q}slQL$ 7.M^8xc_n#ձ481H6pokj' K3)ydBm[,NHy²v[Cp-6ӛU>[U*Zq,axF(2+A(ۏ ZLmPqMP^9ꙴ~A⴫JxK<NtÄ֚QeJg 6",L4kH(u6h!"n pްgguV!o%HqnB`]s  C8u7p㭄aCfIR<Ю!ȋp_;_3nؿZѣn>VBHĥmA ,+8#!oQڶ4W5>! ՆzQӆmmcRv2;䎱%hE@[읱 a/w0zqX)8%lސN >뱞|̐LoOϙq ZV#+PX[ X9-TIxt0eBU}`1>5ŤC;|?oe U(v{3%>/hpONƁ_Dus-Ga<)l6:wg+CȨـӼh!%?D( D xr(Et4?PHM"m,|ȫ"p#& <ۖ”틔N]k ^~ j:ӰYjZ9w{d@0>C/N XfĈ XkqFoB#`$Ѐ|i]FOK}ki~ %^z7 X$]qp,/"Xu_Y0~į8O%1 /ZU )(98.ߙa2Ǚ9W'@!a]Q_-@:ux|@=:+N߁ ̦~`/K|_U ~Hm+߿_ 8w>DFGO8c6J{i`U^Ɩülŏ4&t:bM$4`s5yÇ\ĽhmfާoCzDnē/uyeHm"X2vμZR'̀ 2d@DٴV鰆{ ÊL4hСRbp?_ Wl2y~yq}ƠCaxRbݩr 7M^v[mD]%SSkF[Sɺո-VJRWP)r^'YK> "QU$ܚ$Th ƺ'I9=7,5NHH{^g Wyp1|QĨӦH4jgcU6DYekV.&3dСw0MSI6k5V45&~4 J癲zKEyK+%Ňac|#ذ[<;ZFÌs*+ftLS{S@B6`RQm%HL H| eS"P!)Kї ̽ ~,x[$ZǑc[q6 zVsafTYJmj6# [&7ԨLc//[|xmKfkJм})A6Qd18$1pȦ+)M7)TokNL̓KC?W(LlvzaP0GkG_t[TjZTD&9cie۱=쾵:.V6XW4쎪x_Xm[ m$]s*f+fpM6d$ S:0"N9*'SmƯy.:7kznn;i3<6L\=- @;k =ͺ9ˈHVɩrߥfyZ`bEѵ(, cQqؿJ[;g6򺭢V5j$ÙYZ$>VvO `f_pl8(Raȫ=3eӹAObII ZN{q&[׸'FzX,\=-+75 ,j* /KK=ixN$mψ`j g"zd1Ų) Suڕ?7^4ȗUjtVӏ>n0 Lڋo\= t '{8G >rVh Kn?Fa7L6ؠK{EItt%R{niy cR-|p򫝯No l&K UγRCBLdx^fƼAb731kwa,/tDeâZu VB7: J$4O3`j*m&AUh9l%'7&\>M؀9Z퀓*<7m=2ԥWk5Mb%ʗT}:~7[kvęwݟSk+c>i-'AX84Xv^_Κ0X6t)-$tÇּ*Mk֑m@<+s4ANDO[NPH 3rۅ,{],b`-(mޜ-4@9Yx+PaZu -1= b'8׊_ia)@e&*UM\wUcm ϾvҐ gq#\UV8 uSKNN0m{WFޚ5Bj;yFN7*ps#F)?6WڣbnkƏVhR^C(f936cl;:+ (喥>3DXH` x) zEv)"A*-^yCeN d‡UD],/wg泟b&{ȗ݈89߿N_@rntoz:JX`r|U#ұqA1ާ76162dd)h_[P hOXK)\9?Bܬu،8gݑ҄()'}jҊ̯2R` ]Q$6l"H9[ɌmW`2Uy}A0*3*QD Puka-+Z %|ۏfˍr  b1|?R*!Mp;pfs3{x'.pZTi%<p4"{~Ĉ_o 1ؾH -&?8$QޕSa!~5gÔsNsn,^pISM U+hH )~CM^+F #~ ԶO_6vFY0pDPXx[|l"]ƾbLGh=5bc6ا&RFmY6XAi?^`h)gY)8 ^ҘUPILWŎ7RnXAU/)k"]$CrbHR3EmRIn|RA8glЦ;=.aY ϸΐ;/rbwM/#l&{2+c)G4S& JV~ ܲ*YTE6UFsۑ=P_OG~ 4Zt ;9{H y>̭L%U$W1PD~d1\/vl-Ñ#ff;AXMj(d.alx6}' }NQE3 U&\58j{UxˈbªXnЌw~P=@؏:nWR*\$RBf)\5.,Bb²*s]Pc-yx;\h/eK''tqxqv^a 7jA,YM8t@޵χ;K`>0u64|iE/R=ݒ+7Tv:;ܮӟKn{L HN:SA:M.0ƥ*v:w3Bܕ]/66 C'mf{pm7D'"y?nGCJK E<á5ܵ?$Vs$jh0\Nր_ߟY:wr;=+xHo(-:[AՌsD1(Rmi On$ksY#O3Ć#xD7= ˇT{ń;Nh`# isIsl ML{nY;p٠1jR:󽈑L[, mW= NjhKQ퍙7$+*W+96?-iU{#SDW|+Dees3r Q6˜lb:'l;lo $wTZ6৴]kKw|c](^זRGDZ'y2wgpT7H*;lM?~QNk,>~{ u|?ȶqͧTÙNXV^+iW/Þ{ ]p ̖Qм`!eb V-HK0M-%'+K$T]fLU&O D:|gp+qKGBp6W'*-KcnͨZQwdvt#>pOhAZD>tKJzMmp20MrOT9}4r&HOX{iL!ߣg3{)`]FmB%`:609 J]?_ `y8Y|+)ݓ2e9qF=l|0;h`23D*~C\K^'%2u&7i okےIG3;i~B#J`jA>h}ĶsSt-$u Vd)?”RPtq>A6`@c,hP@Sҷ4pBkN(ƣ$\Djs6I}zJb){]8jyR,H6fL VA_RƱ85dIZIRvk&lY+Z]$z#3a ^x 2І:4yW8ĕzeޣjkSA4b"3a U~O8,R3 .nfbT ɆuQTFkKв4?Unw 2Aצa]Fs0rΕ?TbNcE%η,N׈#z)?Tʅ[!nEl8@y"*W 2bAO?x 7?)Cm*drklN?fH"NyI'lWsV`{,D5)P$#l䡾EZ"Ų$)B߫oumNlT#aQSfȬ,0/A_=ֻMTSd}9S>|k2$s i4_%YʰV VHZ!s^,5$"Z1oc^ķA>%OY }yNf)vv)e2_*RO]܂ R.,xv}oR-E,khUestWJ%\|g/.}S#xpVԯKvTӾTyǎRpә=Fb8@aEs۰JďKD28#$?oؕl& ^wEVX _؞Du o5ݍ+ujŦB+,BSHﶯQ=6wK u Ă;Iw*ɻ`W=N>5{>Dพȴ\Wfmٗ+B Y`IeD3̃o|X2fWғѰU\dq?%9^;`#&ۥ^{"rPC;'l/_$1gS嚐PitGM\ULkAGp/HV!!Î-(2>vFt6N;n&>vApw*\ i_U+ JF\&R<~1ajs%vEֶE->7EQt1j_z~.&9(O klRsN,*+) `jJ,a[ tR*q52I<$<ⵑb暔1OMeV஬wVS8ڏ{)?؅Ԯ yOO1z?^[aZ8B  Uh_B4ː=Qm+5|@ީf9M~w#?"ek+gFdݷr8ѻtŎ*11 ؾ.H(;⭃ZD7r\p`8LEnn?H aqS AA R{t!C˱G XEA. 3'EP]>uMA|{xH߂ jm2xxN%gf't(bKRuy \vk9sÃeccEJ휎>Bu{GD^ 5ŔGh( YVS!4zB JCHࣷ.w >_dP*k%kwS`FpL Z^9׺GyŔa},)dI^z+%TZpűXFdZqL8wo8vW&~0L91EbKn,֎#fhg(RyşIxѹ(Њ;R%S>鄷XЫdU'sY>ꊇo[yȡsEyfPqqQݏ`R.eB΋~6wԑWp FIu닐e= kYaooobVd$YfN>:'baYǰU=@lQ ïlOzH~QiH}a~$ b.-~6&'3tމ$A?>۔/}kA٨΀buh8J;0Tfѐ}m;͞C-]g"n))K4UJf/Gۨlf? 3NƺM2$_u9)&!{˸[Y,ɼ!hm@TrjGM3OA\>Busg Xbbdm~6r6=:sfFSXQ=͏ x@ .j`>@Wg2Qf3Oqw;H0AhX}Qp rXy?6=1,5aQwXFˠp c1Q4l26?S}J]5a1XF4m"3}[) z.ɘ5n[PwgMsS͂҇v{|}qd}?~NCb /y/wԭ2C;גb1jpƀ3}\՟҂7V81Gzdi|(OfKr4:7LeUUGR 1=l犻_bѩhc TXns9z`f!3MLQ0$rp֓b0VE/6pQc>{7jiEAċnmm٫p4iU5.\7v`TnӠ񷨢e3|-8\ B(2:4;lzaQpNĿ=jAluݭyOt?jث.3bB?I^{l 70j74h cg=RA.?UZ,`; bZm&&FM;7}APrPlԍGYp"ׂ~\'So_y,jf 7a/E=u|x1&[& Tr {S] qUIn_t+S;S*/( fnvGB:6}{r||He{|ݬ[4rDG#/rLASVJRۣM*^b4wۡ®1Ʉ fܬ.\?ܖLSuź^q1%te3`OtyGqonWTTlyY(Q%#ODn|SkɨLmu ]밶lmF$p3|+?7,a  wڷIKn$ݷdjgԖPTSAc"C!q%g@"AB<Y)%etP||\\GW]#LڬtDCJle#v'k4Th&,75kZx{Rg:涧yQV('w--vneRf%XKےg)(w^"lJi%WO\\֮kSr6B¨<ױؤJE̳|-~ylϕU{I:Ɂ\*;%z <@ ?bXG[]G׋{Zi;\bpu7 vH.w&{1DBumUPB+_^_n7@E3q!LNÒ;1i5F_W :y?Ry3X%RKV5Nc^ nܗd* PmS:0dGPJ/QgU]RJ^eGr8 }?9y :Ĉrfj:f޷הZSk"xׂ#x6*kА|ZJ} I\ЪC6Rt}WybVLNlۑ3ߧt I_s`H)͒KQw@2,MڲbV tZt+⚤tEnܓv 3OMLjH֠{g")Wn\^#p! 7Pyc09,Ȣ0^>sMy{H~mDbiGiӿำDdC:7s'BSNy?Ę/K@-Оm)7 !bSc+Xjf\w{uS/0P' d+U?p@ޞoo}ȸE_"+:Uad6f 3IE4ulSΰs\mc:v6r8:r,E ^,OP,uajeBi[8.9f}HfDДpo'śu-H->er35T0c`Ix_Aژ`B"8 džbOFx_B|8ڶوh0I^u3^hr>:tTmlATJz" 4SYyQuʥ4c yV fd4ԜJrsz!\bsKb"A٦A oo tB&uɥH‚RbQB&y3Gm,`S-wib!OO=1b-Mڨ<K<#XSrg|!otq}AomVPq 3iϲ{LsMo[g 8ڜ7r1N, Qem097K/l^Яlc8&@-]~*$=mbU.ꍩL^һf52U0p:rbKd-@ӑ<ڂi%KaXīSYR[F]%th\-`ltWf #fc5_0Aa񅃷*WDT#o`R._EF/ dJp2'=T4n=Q;bsr|Gڗs !S43Fe Ew&/%ROM&}#I'0cN ~ps(u䘘ǛKIk[e# /塣^+sWj"<;㯬x.(a&Xq=L𑛕}r2[0I+ݒqE(f2ws68_ADE}9Ff,]ߠ'`Hh@&US%s5򚕵&|";#Ui%@+Uj$201!$:ckj:y L 8vLۨeáfc--s)xdD.c:YSߔ /s[,r,t>4±\7=`Mi>  2_)6ڀ e"g^~և C^JNGT:/xbAsp1QsFHoLU&T3CƷݾ-f$^vp[#F˦V+{"}vV̼h?4gYZ WW3 /# dZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K++]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu.aɅ6֡nk%gd)]Fu_$t-W0WKD (܌/5N7Ir9b*h pdrZϜ@ ^+9 Ylj%[QeS6!^ŏ2©3lw=b޶E0x+d~ W֤oOq,/FeBv u/'i>hSSLעq{t#R (S)wVͿL (U?όޛ09xOdSۥ%cmBx:i%jV"nSᏓpyƁlY՟W^IrblS3b$pEl*ʭ9LrWr,s5OezNѧ " dbJ֏s|w0?jz):O F>*oj}|$ECtA  FcgL9N.b$Xd*Y?UHఢ*{7O4UGSW^׏s}EbzyCM:$xh*^->Qݱ(vv1wUD>S.J|/tIyϨ)V^ـU?^c5Ї=Z[D@K" [+f3 n1ڛX&@nT]hD?(#rܠː02̜h)H9%UvT}JZ47){Vz̹iS#a#L^IBf0]H/$ L &vY~VrbN \V㼷sf QkِIn7W* ni 4\[zTI۱K}{*2ZKE V{+|LM\/"g':5'C71DjuC>7۴˵nX=Uvse ݉#|zbP #+2,.66m!:XKiȨBB, xct?b|npx%2y86ld\{d]>yeh/X\j%s#D1FWw}5Z[%x+Q <&wjm4C!XoVցb۱xۆph#T M߈ytk0m(x?Pr3Z%$§_}F I.{ g.Pv4Y,.S֓6Ue;g) 6ػ:[]G<dR4"C-? Ͷ]Dn88+ת?hؗN.$h/KX|>+3J[eݡvgFc|k =/غQA[oOz"͊W3^ >>M[gF2Z! kc,6 *?!0O,wAr5- ɷ@/K ǼYT=ɤb9gu}`g㒪x5W9l_/8෍ ,i oŒU͝\!Թ֒6  V # _7 )# tZF-InductZF-Induct.TermPIDE/markup7zXZִF! )s]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JED! hsG' z,*@OFns=^n>9KNz]Qi nj- 4R*P-dRDx~ Vo'7·BҶF9뢝I::P u2Zg:W :`h~|u_dác7aY-?Vo<)@U*2~- bOJ7s ?9>)*#dζ*oPIJaQA` r-պVqzQD^q=)8جfUx".Ie\o1)[4֩ľ8kדm{Z?)H7.4ƸX)Ò݅d޷C\ MZI8mWYNk:4(}Q1«@0gs9"3{uF2]xT(Z1o%Ghc[4K?^=},;ЅwlՕ&&?骡=h#!,e⪎|v`ɣS]9cWD (kw'xJJ wTز'ץ8$N} x^j]Wm"ky041ʚfd1Ap& J@!U~qngrt:x> f,pW+fn4oa=AĦd_ ݊.E~ɂ^OJ~]JCʱ ӻ3ݖgrY\ls5:p:H=#0"4 O3Eq\\-PݫZ/8:t׎ɩxiz/e4;JS츿CZ{|ZdnV)?Eyυ3*Fн݋'f+2"hWXa"敕6MRh]~Se*v{ig=gUU|f{ 4+eHRFVZ<E;+)>BkN$ODJtV h +Uuu>N}g+S%APu ϞY5vQpAvM&5]pMXQC#(V?Rm:A]] 1Q@r"aD O17-a9g٘hrYH3:ojg vd֔>ҩ(R{Z.+7T'$U 볓!y`;Og"*[$㘈9ER!T2g}8ež𕏄DUA q<L,3xL8ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N6]·Iq n[:|&[z|f}%4r#d30քK C:~%a坢̙I(=*B)>~yg)^^I[ނ!ޕ(1 P9ι8y3_dH7BA(٭1%sUq|1_?l[=7kQIgjU07}p[x[Bv⸇q0v}(N= {^8ܽ ᧏fE_R#mf1ѳw PDn+6DjY y@[.` ~D2y616/~?[>e*\"(4lOr}<2e@XJӺ_R3a R5cxNzEצc5mn-!f 14]ᆪ/}[^>C΃v|>E6.[qZg.:j?~]V7LhɵSMfl~jM$ŁU>eL UH'@ &"}钛%E &ӊ5[JobKbGGй5Tk[^ {O,^p/:7b/|-"_N~njj, wTvKo»d34y#|*ӟɫt~a1qE@M^C : i3g?#Qݝ{10Z!tmkȋM lBZԋ1̈8dF஖% F蒽{.P/n&`f/ҰMQ4C >j.f{>⺚[i _BDMcR9RԆvc5^Ł4:ρEq/r<ՒY@1zG9(wPGn?ӻݥ1=r8F­L.JiR F;sis;.CR`b<c.~ \h^B3m2E`zF1H%|-mvr-(*Eacws=:g((Z6g*d:wu񭔠t-[pqVRbNmUa"pDYP dQ>|'R+͝SB3shzI΄dT̉:/0}=^߮coyvEw&Y~W*99xH[|h Ùtݽz~O\]U^PСNle9[yP sJE_M~w- 0~Y"y-\~8elG(OrCJ厵M ]S[6"^l/6DGala .Kb'fpQ@T9 ^W'5*5ttxRt<ANw[omae^K(9"Ȼeis]W`} n md(#$%~Ocֿ+:yZcSeLh}mMV} kw@狓"R8$ȡcu(ܼ#cDVt 1Y;zJλY@ܼzT]LXB5 O3&?[PG##ڎd\/Vr0/`w/AqVea$Zb{T/ᓞ15/#\Fzy#vTG+7RCa~ŘFmz;FB0P;Tq(ܢ*vLq%K{Wb+-5Y&oCB_IWXT7GsjMrl;$7'L\bXp9"kto-O.674jsUpdAka=3ˋ;_6UHHdU6=@8śE@?X$W(dG$mNW[G|i{j''b ZGV! ͢CɈپhw;,=<ᬈRJB6Z񊆂)Qiؠ͍$1i!-p߇^# jPۆ4kƜDD2`â]uB4J !Xw G 7l+O VַIf{ 5N.;~ް)Wn\-D$VP;|+_;fk, Nfga| pCwf8(SJSi!-fc6@Hdd,[3gC»hσ/׷s;P Rsd! y82{A|nLZs4E]V= y u* ²+;9 [w$*&Yr}V| r@@pn",Ri<G;^-A/=9ڇtpg2 :>7Rl>#]W:sL&|\x"3M&dL-]ÆHr(T<5*Sn,js'D1,3en.&)f{#ʬx(Q#6uL aTWn;_Ě]omܡvSq)jw3.Ȕz_5OV1fɫ^1QA೚M9n'E}ˌi7A e^.Kh4/MXnGCԒ:9+Ngp"|GwĐ|9Ǔ6XP[{BV;ؖ"?u[5.DG6{!<斸ͫN\D# mΨ՛ H9zq얛"Up-c[3bQ60;g ?4U6vTM55bJwP߯/ѵvɽ^(7 pYY3oۿs?C.3H/m5,{^ݺX@% l@*t1qeݲ=2DiFI?FѢ_I۽D*P JjA c$n툧pgfPਪSt J04eeB8~mwa҈hQoX<ŶQpJ:2M[-'<&/%m R(U͑Sω:ƇO~M E"5dL \]CQj~dOxPy F=EKw}Qnߪ5ýğEݛ*J ՏVuf0 +h(W!;>j!1<@:'_rR? e `'])]H3Z; n<@V ~|I~*'Z5%= {μҬJO` T3 Z(M f/, D㴜YS8{DPv(kκׯ51]`6ŏJ <#`~~őVQwzuTRW %>_`t:Bm:u!-,lw/EwjvY\(|ڴW0:sWнE専s5^)b5 ;'B?[luЇ\әE2ףfϓx[f4}T0˩ qxErt^XVhjitjn-#ks珬 5`89¸3FMYl}ei 7+JbjdHLL==TRHz+V(:NJn4E'7H ɩW3ntL1SU_U:UdHǑZĔuNW9;͈7Y{3Y6vt$H<;gƕMkXo1= p˒H(ȱ+DHIXD;?[FHkHnd\hV&8UA s1! oJ{[qaMCP"vYf3yG@zW) u>фuӤr-Jů<(?ܔ҈ gfߛi :Ĩ}_`LOlq?7/=ʔ_y.ǥVLܠ`/hT $$rQm6:KᇗER=" )4RZ~CAKtw5\O}[Lm]HK+{z4Ϫ`` ]+*Ώz+hNU`OqER  : UQ^6:'>s Nnۜ(*V7 (Cᱧ0{Kmӌ3Z2d YW:@tr8ik ';"A4ksν5ny:Μa"ʱYh=AȨN*6mXIB%c1ӵ>~x XwEiXh#m* <:S.mNtZm YzS+uh@ =%˫ur\T,јq19|w<5zտZtBѷ1?HC>7\&X>Xl[(Yc._N]/ (C~ z$1oA1Az`d7ًW9N.E1_\\{;u.:U#"IaVo\@ f] "ҵ7A?P\4GQwX PTAYc"A>PysQםɵFJDp%}od2T(4@Q>EYCW*u |V #"yQEp៎{0CEXQS Й5qFm=luQayoV;~uE!뎪aRh-`(zE+,/s@~d3UǘN̩, JkbY CR:~d|#}OEFb4簣z< c{h$d#@mq'C%޿;Rr!Efus h64t$(,EQ<2O+]|΍C v/G[;fDeE[XdfkxT]ۛ e(L7$'z tW5ŵ%H?+LJN ?#йwEI]|ڈCCsI8g}Ej`J Ts2Їk{`0gO'h> wأ~燷cE ,FosF,45݁/Kq~k7 20ndTw2Yp {K:-D̐qЙ:3C:o{b'-+EDzm!`梞^FomMvG,YwmvlV9R;.Lj dNe }|Q+W{skb1H0_ꥒq)Pʉ{Ti|Ԑ%A(vq?tĊBA \e*n -Tf%֢Q]Efi)1 $6z%a9J시bd"GS~@yZǐ{ V%+$0=YB09F XOiaO#kd~KIBA]ڨ"&m ]@_n P\C&hgJKvho50Wha1Bƈdzf-3g"rӫMp@:h+,"*,DCa?zO}ARcYm1 t%F[1ʊ*?OT8Rmxb&D UAPF˰5KDDڃ[.nA_ V7H9U?iE:v0O!0u4佯kdF|hv< *Sur J I鈯&ƼRֶ3 Z $NUai"{_!:]VM=~) +ZqOCլk%d]X|w E.H讒L܌|P`[[ri xZ_#W֟M:6E۝L eәǧ%X)٩p}5j 3;IM$=hGX𖇆Ì "Ss]uS׬rSĉB֨  z`S}r~?D#f\S_;V=dZqts]pŇ0\td+'hwzgAmWE2:HP W'EeȂ~"GLgtca; 2@>_nWƢp0 q٣D!XRm.OOۣj)k0 xMq [-8.$)`QIV)@!*U i7g;ԔwoY$Tk]R/ ^}k -+N9>sH:WEE|>ٻ-Lp0`t0:u& vPt BՃ"SzVS%E,aM׍"Fi 5j(L4+l )Fw 94F&-(%B@2]5JIìq6~:sAǗ9n D8XsFjc|m&O(*%hǽ^ʏ; hjrxeơuףݫ%NЙ\hW6*2R ۰K{gNC#Yv"ß@I80:p`G,|.d襊 ,S.soM/|ɀȩs7Mn&)NGN}Oě@u0eus[YrU:ʼ9n| 5ĸq\GCD\U<ʼnuCY1qF]0qx,3ڥxZg}gje`Yگ3 q+Ѣىmv$*75av:PӀH0d9^KRqCcwFCxk |̰DWdcrƇ- *Pl{u۲OcxSIV3.aylA2e(b䶘T\뽜)*'0+$'>.pmF(lD/IsҢ,Z]r!~c^rjBPjPhTeH~ƛg+t͍.=AǼ"t_Mz’,rn@9h"pRN:ȖӮ[6`=9ɡM0Nq%0AezNw2լlL zfA2+Ts}g|FCzt|JVr+O}68H!O!46QHPzuUoz`ܮ6I:_65;}c?6{SAHSޮS[˪scl]v*캫k:j)ͪ /fA;U[]T~eo~X`*dIpA`;&0ci=`-ȻK|-' 9aVH>I868oL^2"'!3I* b@A.؄>RE}~GJC(_[Mn9Zm<>0%%ƹlv. ~iB/c ¥bHXPMO`,s "2zqDn%gD{04Ny>g6)tSɝ>֐w*ET6F|LI9ɥYxg6;Zs/,vbF ӰX'Ԁf.;* x]E$ "5Dolkq跆KC "\yG&ZdEp9GgYZү/%\"u,#cay:@4oF*jɝȋ*\5XjkBEB}\TKçH*JLj;sD˚Fy>9_hq;mqɔu+.$/j6K&S7 w4l$9`,Ott d9j)e N3rkP!tV0WTܜU+aObsa |M5G?"$z$ T ,a_7bBfRnvOAN_*t޴38Ś<|[fvJkb ,7"gdVm@ZG1m=vaC-ٺ;cQ2?}:f"/aDR.[`,P a'dDj\WC_R~W -K;~ zIx@XB-vf{˄͘G|5Zbs!C Zߚ4AeT={<\yٚw.!rbW[};v n)lxq;dWLCgPLDzbW @EZF!9ts\I/PMEC I Dʀo̓κA g$IgRy aGȷ7#)s?W("X&9I'o#WI/oȗ-R @Ħ/#t. *<,]'Iٱ(^)X{s8G :5dz(]mehf%kH)>{yeQj2)yйGF~M\\BƼ#=1)!^Le֛f*ĵZ?*?"< S'O(«+/߸ besDgC7qBy/%72gKB R([w{$S3EB5LjE[_D(p!>!EYY> 6PF{NL>amLk82Y\Kh=jܛȾxpkM:¬Wٌ!潉>k=e>؈Ѓ=ql {tQ СE5^o9"i˂~:]pijP.#U˵?jDb5k}B}[dJ~ l%)qW硵5x| 02x-ǟ)=J9?U[$a/YLF>X:y$*Ƃs;BhJNݛ勫x XL \ay,2%wa%K]BJB s'Y[ր:`#wg5}cKYC)$:@I  E>,`\/m^oKUlڥx(;Q)YHgH{LV0cTP2s׷U&duF>t5Y ^)~|#u_H|^52ZIG吏e=}fgAjoiRwkF7-otEnɴ;TKx NgA.}ihjtBaYi9(*y.HMTy j/tL]w7yb8q?`4P[ eFZxYPCgec.r a)4]`K8}x+i NA*d. \.ȩeUT2X4΅/BV"7# m؂%x9@֋X0IR̽*DYxov; JZ+iAWUi4ޡoLK9]E_[4ҋ"nJ"4"[u 4 *_Lj/&Zɰ BH7Hk _|DvX\˅0Ɉb3 &U~7 x؈P7aWq= ޹Yhc|z G"Hueri]'&{\5%v`&4G{1p[4IgKowͳ*[AaU)E=\[pF>,v?&+fA-J0rc&OqkqY6o)C"u0:ò.=ڛ??h`Cc- g=Hޯ)Cl6CF\ 73(8oGb%'z2(u]&Jm#CU*k'i |ܲʻq'}-MgP?XmDD,RoڳYkk XR!AiT)&ޑ%%A Q s*3BVKLťF?~!ܬ;bF+XTӷ *pLdNLyA^^>*["`)wx*<=dïaX6o5Goגㇴhn'q ]gn[8+F,C=Y#H8v3 (a$UWqy#07%B4Q >,P§ǪeܐɸC?hT8v#c]F= rUñgYZ c;+# |ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-w]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖eV"i**Gv]cY*CՔ eN)de6 2[|Z5=҉ݲ<T: ޖi+k^v& /(lk_GQYz־r#!< 5 c,oE*IՂ{+N=ꀙCF$PE(i`J\Z&Gܗ )› AFy D^Wd qn2mƛHGڲn%et8Ny"x{aۂѳb2T2e)eeA.l]VV hZOP_3qE0c[ ~uZ.h 0Ē_~|VU`;"ͯH֑{0?1݈Aw~hRN"JvZ`C"&+ 1z텸FEhtT84j) `%!E$Z/iDrT 3Aswaz:*]֖YMTF}QRt>Yhs41q !ЃΏA:ݳE.}PG:.F8 y0Ŗ\ˈ!!53 [ɒM@~vA7]PFVRL!(k:nj@W'T ˷'-KUgxnɑ-N6Q4g7uO-2}m2[6u2Ԯ{7BWM`8DqjdI%5da@bk@\k`QFC%7K%_7$ÀpڿZ؃=xղ\/YGH$5Nny:) "LH&56 :;n АP:nL@ "/8z g?6VpXE;tRIiǜFٰ%7HeyqK>OSdl}Bd㿯+{%jܖN7Ѣ\I ć7sb) {_B i#f_,}+N&:\4 EFfnbOqVp?IIra:9Ty) ͢\H^&-Qbų6#Xg O5BKwf1߲ n`~WT~fj0`jYJܰoK Si6h'}FlYUIuefɳAkwYǟ5FU) ZN)/+8 JL.@`#a Ng QXwW2LoAJBIɗUBZǴf9owziWng8U则W@+.cd<| ٥RCO9!P Jî \[z֞WţzۺQ󈷎V&QN?j8D"{HQ[5RR/J_q1&nE[йz O G"YMrT n5%fm_zr?asgI) o='jXi)>CU7zqef6ٻmsVbތ)3 "ޓrچNC,%$lX>PCC2Xq Di)l8gI2DIC< -\yY$6QR_mBݲJE ̺b^(R}ٲ 0Im4 䚁AvI? 酼sժD M.0ҔM8Ϩsl̞X{хG8YzrCmn5[a殾rI0>{xIQ}kMܖ V̻sAJz^\\^هso0E4M$F`:͸]RoaA^&qitSA{CԞq'%GI1dDNǕOU\owe5pkDZGU,Wc‹Ucpv=xȍ)̒|.? hKzC{($~Ԑ,@yEx!~*j}\ϒ˼VQaD72) T[ts<$2P,]lCDFk$*7….#k%}ZC#>5H$J'nuwOU˪mT9%>T3DvU6,qnN;†Дʽh"dalJLGGJ7:"MC7^z8b y=7V^8uYV7O {~‹Q2"1ލ|>/Ϋ,o'8B٬n=nw͍ -Y6Р3} 曉2bskӠkSm'^*D48}@2+(8a7HnَD@rBlG'lf{M1S<]T@e0 EF2 F@BvC!{= ; H  \U; C )# LZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&PO}M-h鬓h['K4iGfuxeG|%X"+s*6ɸX1LM6 8PY"g3RDܭ*4*)h#CNEm\uLsM DF"z$oC n"UxaM^\vl}Y<+)K[1LXo:RXǐ|ėjY ryG]…VnͽA;pdUO}hBDK^]$F5d+}ئ!HFE}bFr.3F/*Mʼnjx3eφ Fj2)SChGk{~V ԇ'{-CD~wi)W{|tw=v[Iy>egc~F)+>3Q>TȬZ;+P= * -"q|sYE?5+[^ȱ;D7u&uQR9T,/RN^V Ge.BAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z?,m)PU%p %ǪЄ+•`to8Ҷ>R}h *.۲]=?șJnT+14;_ EI=}?sԬ6}BGk~oS(g%K'C&ޖm._2vȾ_"̇߾#-b0Yi[qS1Cx }@2n?S (;naXI0Cp]|?{:dj?\ljH#?;Jx PMJ +JImٿ]RD/ޣH#r =YP=o= ޤdnsyXAz^7bJzuzۇ1g7lIL/#t7?`G]2(NsqSkD{l"˃| 9$hDMc|:>WÅ=Sd2 DFQ1꒩8+kt!6*"˜eDOiIS7V'4 P<m0[[O6ztp0V ap:U#9ļ"\5U.os LWXygVG0r7ܧDI9}6}p)K2L҂ᠼ`Ty *_`Tbkd;.j()%  XD#;@ } :c)L"k@L&V.I,j%1zEULt4M.<4 R(#+ .u7}'Ot,B6U$PE}o85߁/pCu;6`2(#LԤ#=@d_U9+ET3WgYZR? 7# LZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H!]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;2PhH\"Hv?|GԐvt2EʎĪEkC$֗eXfd!Q*}@w%;Û6y?0Qь BhԨ z.9-]yHr/II{v@/= F`򿪭zEX0nO1z u&?1#, ܚ(?G4zˋ5X|:]pQrUoCR"* }+d"Ut"-GE7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! H]·Iq n[:|&[z.{a (* =L/YJ5\:S;=EmbJ O"/tFV\s,룐,3U-O G~8|Di|\ZF.&&Jſ]^٭t>q-4],_p] g qrr8=NSv0IYAEpćoH/DLfG|9 v6 6& i Sˬ ]JA0!fSlBIU*%".7YjwK(¯yCQj?bKmS1-`XQkh4~rʝKh^9ؤQzH~_ʽp{!Zrԅ- $(u%]H Ee|lB'a!̱4>yS AiuwlawBXjUwEʈM]耚jF]MCd0{A^BL2N+ds.r}gW;rOWnseOfl4b]0t'6{RZYn?Y4BV5hS19h\F I +q"]_$N&n백 ඛܯN,m\qؼwPm$iN 򕽠-DB\]aWѫ;"%EYtLV2m=XrE$EQp0 LW>#=ahw*pv([?UL?(M٧*Ϛ`M)3ڱgYZA1'ȯ1S&_ѾsDzFl]Nt"j`A@_ƃ!fr48[xo>{Nyavqă5>Ch aA[M9EY;CBD`QPTdJjFe/ 9mziݤ 3rW[' V4s:\BFPfgI9a?CD#_oWp,CbPA{i.g(?={m`m<%HWPAr#7[ĿVY*[%<(*ԎuF"bPp!'GbCu+)urJ^h|IFdx("Hh李OX!mf7xD@a0J \{1ԲWzJ+//)|1+5nuAuYI^S 4&|^EO**S\7P3_191qґPJQOn4i 3 @OSUlĘ8k G6@1z,_T%L&zPWfism_ aIbɎ p¿Bjf|sBz5 4S ,(.W#|yaAa-+ƿh/cr@x@E %9I8HI8ۓ(ĵNZ!6›'>9K<gCRЩX &_y>K~@&yj:"6iɹ}u|oY? oZ0 AU\]wx J't~H2<`kg ƍ쫎^{th&)%4 [2+nBS[} `!WGw "Q?oέQ:=e/OUlȮ=Kз#P={kN,'uۙpzYr$.1cx]+9@Mvq|n _M\+?zv˵ZFHU3l\#\1p2⯸Uzq]יavtLnK۹ny .`q60nV#@&`*1D:[ pR} %UPPw /# LW߻R-&3ż`U?w?.<g`b݇~>Ė$NC9*<|x}ã}:陌xʬ闰EJSrx V x|``ǧF_lO4?Ow~S fOǙɦSfT x%*%>c5iןn)D>{vAQG|s'a&Irάc m*ngh6KgrvjK4zBWvFTDcЀ|g})[qAғ* Sjg?qY25xT;HF6!Hr~ĄPpWRa( yIURМw(WQ?gYr7$=j-<%hBŜv),A&є̟w?/|pOtkq$/p$ {<"4OVET%a;NU8n[M>^jsaܚ-AhCT=(mt`_eX֠Z*riX){ۇ+`/]eb'֚o*FG3,EӃ'e G1!n_G{=+7Ettd)*U=cD%]j#6-=-#5-Ř-vmʘ_x 4W5 meYR u,Up%%-5gJ='rzS) JiHb> *7`)^#NZ|5 4o4q5.YLMD 6h!Mg1^ׄ$"Ihxd٦a#_q*7tO HL>7M8XjE/&nHTuyf4~ 51ly(16RIֲxZ0,=gO;G:oS2Z ٶMMҥnahK4N lx8;F"13[@*Z/sKX>"'kb3R8Q C{LKoA~$~;nXd1HtIkpa ze|>NlLn>M[ޟ/ 1$S &♕ԷTAexr"wyq;ЈJ(5 I+9o_*Q_ ~qF_ٞ gROg&qng70KVĒDfx JdH3zsS=pv ʕ*u{(R!U]QlT6X[(w ƃ ]p³]x?wnTYs1fXҕs2;LJs4]] !*o~rG,ƇJpe(,lTD[/y,_=šwM ~./t4H[`7Gߗ$Yoz7<-la\/i̍ɕ75}},WNK:oJ OT(֙3-\A7ÌP"v XHVAl3OE×)l\0DA䜒E\]MFҲdYaxwrZSBmD1UH2W͒+jѬ)M+dtXlh~[H ~e )e0RoMq5D_+lfuHQSzd-q1`Ct)c]8>cӓQ`1i77G,!Z/Jas ktO'bJMC]"qw52Sc WXA#%H/>lU'b!Npn5me .Xge#i;58!3 v)}D t9J4*܀N8Kʒ'Xz:rdG2C)${c^ w* ?Ѷm%rw'?H$%HeB1Q>~a?gN,1D@w:, :x]AfXEls3S_6L"PN!ҟJ><8ˤVRH ZGUf2\IjX붒3H Zz|=QξGPk63T:KEQ8=0*\J#\#-DRmQ^{m2ZQ=,o>[H܅li6nJlA09sD!&/*)x1Q{Î;^gw&Ժ:ƪDV Wh321+?aE/ٹd -jin$rˊ>#"7XiH o 0a〆 [ᜓ|8uW;^m6ХF$ڵJHXRIb|_ո37|ǁ(My+Qw'9z0~\f/7%@h ϣ+ kC!|_iWΨ nuLYX?vH\Otk`H^݉VB4Xt]̭5n)~b?6}9vZ-3/Zj~A͔q8 ڬ*S3#KNΕKqN;t=a::@#|bK m{|2~j29E!r 1DTM0å9O67JI7(p Dڻl/E<-I%Gs>%RJ^u73ЈixhRVV3 rӗ.zmMRn š'y(^zRl/2RP^(Wq!B61r^Ra=jW\ mZ, %E"9I5uv ]bFku2#!ޤ"婆0wF 0;w-9L8ߏ?x[tbv, =}ns$>UOӡ`؀ҕg_FvLz3x&&)?%S-hmK?SNIUjovQ1Z剦fns8b^kH<*'|'?,|Nb#7z .%Sl|@=3&,2VdNiCW6 yƂ`8Cuczv+cƖ|BtCíڰے$dl~E|M9h 7/ˠAmk 9au4?r?}!v]?ANle6uȯ%‸r60.QV ie4Wrn:pz=ȀW8j*Q(kKaZPXY~rW.H!) 9Pōn}uKQn LnaMq~3nr#s Ε?!EdFA)s&?R>%;߯jdchBqJ1;}$Aρ+*2@7GlsXFX/醩ϝ8^rE>6-?Sb[fݹ B7D7* ?Rɕ SC`&xȃ..F"}]f)bQTݔȡap73w6x]DRsa Gv6cvӃ5Ć0]_1H! .5l+;YN"\םPW(0>ovfZ(Mtꉢ++?N]v52UP%SM+)4'ŋ{wm/ ӎSV֘:bEr0= xXVg+0US d,%?I< ;S)8ga)!.vvBhu!gv!$;_ZGh iE3k,1dU1/ϕ,1|&nyA,L'ISU՜dvN)O7[^hn"l]DT\߰*#iv$P{Brig/y4+og4?r#gix29 v}sN/IZYReI:cھ;3|#8gWuы0]O|ߣ$CWq:,E\Z5}թIN~ĺs0VHmTͷJBk^5\y >,Fc: u_As*Ox.͂A)̅Z7}K8ykj1jG064 $ٞ "8O#td5 *?aS4Ys8_Y䒌&SM\cFƶ6 D>[@{[xluJ..z޿>F^yS[nfjt1b_^g!:iL3!1`5w nkCâ%Yiw=)ot9R? ?3m_W+roz=ty^w v}][k얫x}2ˇ1P$nD9gUHuy!,up* D^MbeCR vx= oa~;ޤRYVnL śa!!鲲e]*`$頸A((2 BC"sэ9kEt :Z-EU~ltPxVRC.ȅ0|ͥ`S]H(qB5u<-Z/@66Pġ86 o%qg_]%P6QR[7wzbJvgCS>}<f TTH]PIKߤ=:W=H2O B|wv.ZV;$4HUE93mȑ"IBB@~BE4ڝ2{VZ?`'zE`Qal]}!E;ڽ$.½}89GpM!:fNNhjA>fɜQݱ#/U90ׯ㎗Γ9xJG%wƺA7|dN%`GYuHًac%1|nr?-R3@i{Qo0G"Rǎs2h߉*95+pzƬXJ)Y%X 3{]-7_ɘ;\6h ;;r["_+ ٭( w=}@Z6v\!xz}'ȣ2),m)f2CӃ|ȏQȺ$ __`pZ6% sM]娝:.ӹSYڴ6)0pZhYv(-1C( ukDi\@8HQpUk d9QW':&ȓϷMfC|!}T/K'$s+߿ӄctZ>'@ȸbp2+?>ʣR S %ԃ/܄ 'B7+JCٶ];AKv[WpN1ΈJJv=1-lYK3jQ> b _w2 ǡ!yqX&F[gNYZQk{d&ԑ56C::+-c,E$ٙ9BJ:F0Lw O'st{x*[lED F!ukCMUAY7'iCkJLK3,yj #kN-yjKt:<2@_śb[sz;3Q73 ϴ* M4Ks8#X L5 Hc'-d wz$EwʩAx"*HH샰 l>%! ~'o_z"_op:{~_XDaχ~!ʊS6M.w7W7ހxsid1TC{Z]qc*v<:%x6$ǽe-Nd9-:Q .(djC=Re'ohS5nϹCn0UmوJX&gWm>:ɫ`_@Gズ%&V vn&`<̿zPTȺģ1eP%Kww_򎚴eyӀeOidokt+ /, +9=XfJw#tYv;wV$ NƉp8P;[Ղ<|(=Di({}@v74~G;rO 'O>m 9;Mi:!k (*V /I؇7 zjF6 l1 6. %MC ɢ]ƕ35R).ڵфxW# fr7?'~:b6 [fPdC~@)DDAξ-x !w0|+S!/,7zfw Dž}%6HNEHpij|ܭ}>S}{rev5h{K kNv(d5-y& I2ҕ: sFvA v}ThfeC 7SܤRJZdZNwk)Z4he a@I57BC9[@/v{" U ;2)vpP{yK[BMe( $HV{ n(p P-Ka볡, ,3(5 tŋ+Nx݈'DWQ,˕DE3}V+x҃*mO;{,X8CEnrcSYOuf|ʮIBq?9_i3i#!-SK8οp]B5 kou,\î*sG}^]7}-G^_w>/j$U s2\R (]vd*ͥ+`9f˪jJT%/ΕsYq&~` $;E漨 H&zn},ʵeo7)dL)ɱ#VoS-'tX{-";f-Ki𿀾%~l9l2a6*|kB oޮ3B Yꇯwa2{z.ݠeߺC4[岄CGQ)oݓ|i+eY=buLO'hBS0S93JH. %G-JýV["pV :5dGKdd:f'>kziQk2 +>(J~ˤ|9ȂhTVmoР@~sH=qf6JfRGĢćs݆;I1WQjJ;'Z˞ﺚ:MJ* ZI2à{ M7ᩒHވS"F~ K=8ܱ8]5Oþ=j\Q" De9-!isc*֪egdq&Eeq*?tQ+DS?כT2* \ެ:£LJ<č?O[`MGyl{ۋx B xB \.=QLjbC(jLmz|,8Nxs 0GMցxcBf,蚍׿<Պsn$g6=zG8g)TQwZS1=9-58jv;u=ZKI pg|e$yzB{noiR@ e8dDv>#E~]/Eay9\hL|t$`Y|IO> R ##&WIZ1n.`חOY%Őgc #dP?ԵtlF\>Î7ӦSĞ_"t@$A?H?>UƲL6ѝc(DOtE"$ٮ;.G/[-4OUL(طPz~93-$LHMǺј]\rzλ?kz@WVAz6$@BEH#`BnQ?焑`wl = ]?PڂDD AeaJt+/n_^lt7ǽ^Gu>#);_\emN,Fd…dKׄQRUyL>zޗᅹj<կ?O bmޔ`ƫO|ikG]?R kHdQwLF<0m <&N6KvQŹǖ$ {~o0 P$dZjαU/hb2DFDHөoRW 6+frbӣ'y*mxzڶ>B,bQy;:E4$RP*B ^.#kmaV `(jVUʲv%gKZBIVm+y٢=4Bp4CD+wmlc 7FugVJ;n FxX?N1 LjZz(hw번&ffaO&Z2CHۙI *8'ݾጚ R"K=DՇKg)rΥ1Zgu㼊sULSF : 8n wㄆ^./kC>,m''S)U8!E7h SY^7gb $%#V+5fFT:m=KџBS=>&{5n>5yCUC/H,l6CDڎwT>31eX7 RҹErlēk]W.X-^.B},m^م6G n|J3ԯ fN)ׯsWs 狧 i`/_t-N/P%V@ {c)ai+NFɁyN9ղd?{+f{XL nmZe=$ ֬O[eJ\M}=3w@p̕0ݻu2qge檀B4؛ztw%KOVzcZf aG]Dt_sQ-X1 ^B7~,{'Q\zDɌ޵BCնO]VDž?<ѳl~Lʩ! ؟awh],]}/;jϤjiyYˠ܅"4kZȋy6DF+XԮ[F@MxGuaM'7L`w:Ү=8:QC1tO٬q:=ϡ9VbqIdWf :2,GV}{xu? eSF]Z"ݫ ĿxS>m P׉!d2mgLGq.1MV sN-NA]FuyOw)i ‘ Ѻ} WKO,Ѳ*KLLp!b4Nxǹ 9Ţo.MI䀿Fh!{jpH1nqw\7x pha3}eNە>>T,Htq1Vԭdvw5}dZ9HĶPQs{ {ffupę[}EAD1[ PŪ,o-#OVuh bDY&K3?A{XSCQTFoΘH`랚uMB-;?$ݎef[oYR=Z  Zu; o>8e/xx{B|܈VhDoB2CX0 wUKq}#d4W _|&hcar?sb~uYgQ_>iY!U$`V Uvqo0 RB7 H8ڃ`5,l`8ъ؊"2yeW+Q\7"h=!MH0sCK߻2hN`J-NxsZc}rBrU w'/D|jgBGUP9u^ 3#sHx̯R3J_6-V3L Ov4&WJ+$&uQF6[Lؿ k B\GRx_)C%Krh]vD8{ga lG29Wc,۠x v)*0yn&?ʛ|aci08ȁYO C`ۭE!F2}THO%Z5XJbEubgYZ r !r?G'!EA;femcbPx 7/CywUj*u@=Yk'@(CVfdM;J'#GHfX0#ʰGs+zٴ](by7gBp.>&!2_}'QjD?Kyxk{ {|(ub ^z0}8KtpgxgyoμL#RZb< ӓ} EyMUr?..Yjc/%9Dv14zS Bf$uZy8~RJ wB9Ly3KzZt[r)t)do&BY,B/-WB6[ּߦ6\>D1-(fCf'*@mߤ Arr173Y'Y.,KcT穂ti^WX`W]8lCBl J h/2jJ1kD[.d9$rbF[B K:SIGR!dԃXh7[xLW> fr#?8()\RZVݴӼvf]>3OIBIk Ӫv|@2?u&Z4=1s?W)꺲DMҤ)UY="\o%l[W6o)4W>;,<}p_W]M&Z;/y[STb>Yhf>wQ:R͛9k,yåٜV5"j2DKb4GNg9"8B>ZX:~뀫ѝV 6"-4Uī=ѾPwjN8S`AsqPtIBWblTR"ԗiՎJqRPq_44w2=ubkc1"ESD[447xsxGO,09c M\J ֟F'|k >BLdvhILZ}cf-c*8 jTafo;B6n!nȀ l4 &@!7:O0^`"&)M 3gYZ (ZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#N69z9\&y%g˜D KW"O!OLͧ}O'#@z 8y"qij-[%^uaʩߞ&=(S@Do[wQ y ㊭R h2uXM>0V䉯_^Mv09tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗT65^5(:ɼ0/_A߳& I$m:@`Πr UK'B;b{AOMƆ_mocqC n+qD%c 7:!/UFHx$m} 4"'Fffd4@^NGn팀*b)4N?4oi9*R+°Z፴Tz"-VxL]%XAzUi]Kz^Ps651u <,t8 "*Xf:x.=_%J <)ڂE$k(.Tv;N 2ÇmBnN3:[}nLfs7O\:#6 m/{gIcyW,|* G!$sXFc5pZQOws:-eLXS6}2c:zgB&(uyM]]SAыX+Xވm4?iI5^q\G!Fyh~4zgQ!H}zpH~мs'#@31T7⚸b_?_^{:/Ɯu%ܿ]8vafP3 pMA( K79u,[,D>1|}1^y &/Oj Zav&M/$kH/=Y! H>6WxH*zQCϳTJ>kx'g`nTdMyϧPTG=.0ta+ ]eX?s'ڽёBٯ)R ПԠ$qIT.3a+rX p=E`!Q7 HElSE3c9v޷jި0}=/",$4ޢw`AְQOOs߀a)\5L+Aе9͠QK,Uw 8<1[YW`L/ ~L7^f@ uWz\ר28w%A",I՛JV'0k_փ5!_8ǰUU|̕Y)gq1Ưw;ר \?*Oޱ2Jad*U3b/wDW+&PNb;'%JsA)jVӣyNsC4+8f9MM1?'fP[Äx-=4S欻[Dn[rd\Dfw8W  $+E?]ud+mH9\!^Swt*#R߷@^:M#=k̙viJ3a'( T1I!ݯI9+}J|OUqBߟ̉챾nǘEs5n^&D9wRv3Fف+Gt>ȉx ֛ʴ?fL'h%hŸnέHE6c$b:J.i$ZePot@RGZ\evdM r2+^#'Q8&ɥpb N^2 `{PNr @{_;!{T#Yuz蒀}.7UxuzN$:n"0C:*6Phc?p[;sԛF ,ڔ%{e7tԈ "EBAX2DS֬M59kh_ NV3o؅ĶJg>E%0@5cעSu5y/7$N1=g{ZUkTs=vľma*hB pJ|)O!w{><윓A`L3 $ta(pb| k]Eg[͑40X*ZnK[x^ŷe2ux`Tm.qvZF,jAZbz Gkx,o}'G1'6T A J ;!TݒYT_H/63to(ؚVR> ߅ 9 pbfC/d0bu;MA1ƌIŸfoS}l~JKbӈV~9fh=uzriq;3 R?!YLnw%:k=¢%UbQ3\&buj<UWy yQjc~eI%g H)Q  mp;":ȉ|vþd}+D?<"R o/gDiNk 4yGnU*pހ? 6jbAN }\2 Uu7!'D<3%$3)^ s;纫> k8{'(?j"̘|jem74C$; GJKDtYYUd΃@A -C]*}%@YobN=[;̔п(9 tҹy yo,9}vwFF|z*W_,I$;ۀEN?_(ekz_㗓tHńo_OOѷ-ʊdxSc=J`nrm韋?JzBzՒei/#"tP ZeP{e&ݟ br'}N'YkD4|T,޿s%'Ŭ|;g 1'?ݢPXgmm`Wt:O{BjMV^HoUD+!_<$HR4J#gYZ vvM+# DZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CM,t7C:MT|,]bzESZ~.ZvO֫ׯ^b即 2Zl#&zBwx. Dű}߿|orss\/:ѵHpRPv_IQN/{C `20نn)Z;%uM>E`*";Lc\@"xtz"ueEŶJ~DRh>J+r} Wsl&#Aޘ1L '>`,kP{O.ʁYP|S!'i::e)yb:C_lk?Z1l)&]@oMk) uXIx,MH;Dկ7PP|ҭZ0H.Tz\`*+MHAq9{0lyaOa\j4RC[Ep\iq@U}a:Jt&,^=(M"G~g]u=] ׻ƣ"Aꈴ7hrBozշ0y;қ[)JY76 D>W(`uFDU0f :/T>`6 W}Ո>{^EyLBfNq4txh2f bAgraeZg5lIݳ WAVhu^3Wkڠ9UK5[{\͍:21F+m]4P뛋]:LՓ|]N؃kspԎ5Dc?.|2_&`;TKz 3qx \Vw&tDs9WNE(њY[lkC<*osӚ>b*ZB^W'=g Ō=N'7Yh>͝o="dQs 2objPy ؉ĉ#!ݒ#lu탢ބ}U5-(L SaP/ [*"ch~v3} YܤZWr7ɧ;?w@ ?x'nvE[m"PB:`ETia4=pzcK0| ;TkVM!X ]0nAtAuJD̀_-Rꕷ$W/lBQ|ކ Gzc:Pnb7Ӣ'$j`!TBVN>Z&D4$Ϛpvb޾D5fA uv)C*G ׺UU7b+OPFU˦n}* &g*#>2~pY$ݤs~iցE.W5+XW{tn)#oXɶ*+Z|X3[2\.z14KxNqDm7 1%!xypcP&JC|Mz4ߩ1 ;ȣ##5ȉy׉|̡hZFI}#^RWZ"WۏVH<~F0= ߞٚF#$Ca={/ڴ67@zb拴| l~ASUy4c=?X!7ZY0XҁWV.IrL>Y'R)! ʼn)نSQL/R?5VBS3jBzkʆ_دzT vF BhsR {T%"ZlQDJCJ waM>APwU {;#,⤁Y ǚ5$ǞNQ.EhJU@1BJU^)`>z\B\EbgYZ  4 > t Qێ,[*} \uIL(Ed^+RcolJ LTEe7G'ݮV42?@bl'ަM