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 =rL<< ]/]ZF-Induct:threads=6elapsed=3.278cpu=11.796gc=0.4757zXZִF!  ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0(_z2JCcDBBG, VW.E҉0s&#t[p>@vv|4G ?jUܖ5fd@2ۈ 7֩ة;-7 <"Ϟ3 ŶC2BBY<0`hcD.gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?JMk!ApL1mncl9r:D^D"v?mA:%d@Sà]i< %!^ x+׈݊#-X"p \{ԤMI!! #[$QGҞN6~#UH Pa\wThe#e_蓫j=9d,3b?kz.FNұ? 8utAb%X<3u8D'iT,Rʾ)@2\ˋ',(gYZ7zXZִF! ]ŗXi%8Nn`кo_Oj1ۺSQUtmC,N 'xȍ?%g>+f-:xmr= Ab-?XABZCnـAbQ?ϭ!II@K_GҁnW-'ʥ}!m0ѮOjs[lSٛSM*qطhZ8걚ڽOt&_@5e<8QCU`{MYl V/FzR<0:T+%Z]vFIBM"woutEm:@b}..g@4 y*kcoYlh0 c/J Zh-q$,Ma0 kO ūq;=WyL-Wi!U1q ym&$G:G9ܛ.ԥF[aJ2 xqI7K}NԮۏVpt%뀉Y*ySTGoPTЙOFL2TcݡdDd踤4b:tStG|8דV3%ƙ,qU{b۵Elh}M ъRJ 2"o;c͘פ|rwa(+YacRh,ȱut٘I9ws" w䥾,hӵA=ic6(&WƒE1Tjoyayy%:?4jxiB38+t-c@I.۷M.&oT>wo)$!7OU F%8ҕBgYZ6bb2c4646d95ba3fc7f2d7d5592ebf9479ce82f5fcb8d292400906ad61bee94a2a3dd8bb649ba641 48076305c1f39257bb4533c37f648c444d2fd8fe38875a62bd4ca7ff7000ac04ee3594bc2c0ec486   ZF-InductCj/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6BLAH++'ZF-InductZF-Induct.NtreePIDE/messages=)+#ZF-InductZF-Induct.NtreePIDE/markup<(+!ZF-InductZF-Induct.NtreePIDE/files;.+-ZF-InductZF-Induct.NtreePIDE/document_id:*)'ZF-InductZF-Induct.TermPIDE/messages9()#ZF-InductZF-Induct.TermPIDE/markup8')!ZF-InductZF-Induct.TermPIDE/files7-)-ZF-InductZF-Induct.TermPIDE/document_id6-/'ZF-InductZF-Induct.PropLogPIDE/messages5+/#ZF-InductZF-Induct.PropLogPIDE/markup4*/!ZF-InductZF-Induct.PropLogPIDE/files30/-ZF-InductZF-Induct.PropLogPIDE/document_id20+1ZF-InductZF-Induct.ListNdocument/citations1++'ZF-InductZF-Induct.ListNPIDE/messages0)+#ZF-InductZF-Induct.ListNPIDE/markup/(+!ZF-InductZF-Induct.ListNPIDE/files..+-ZF-InductZF-Induct.ListNPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.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[gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J   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 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 ;;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 WGWh)/ |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<ڹ7Sg .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?ܗ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"!gYZ V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ 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 0 +0x )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ v 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?UeI{JS{Pm#//Η{c7%$ &\3?wgH(;։9?_x;Uvof7n Sý/c)$We*1zv6/ӆS:{Lum0Z1$ˆ-"#3f:CZXlzv ҰP,s}=|3=Y7se0-ڤ" "ɵ ť'(.$L``ol҂jэE\biP?PJ}K Uv42xZ,c^o[+!z#r b02Ý;;_?T5CGϗ gηƌfu[% ͬˆT/GNXC D.v=.!@XG|#50ڵ֭}G$C|u.bqt}֕Ep1R{xlSpd\s$fqvCZ_]H% ecǺrC̐Y?E^QУ{54=n4 'sjxaD)ʮq[T܈JЙN>2]P9 Ԗ/"@k:v7}Aqz2P TwW%/]!C8y7{iEp!5))-< ɴNvOKi{),}9y:=2ȷ[l7g%$y&7G[ [qBt=LfC(%Cu*3ΫΠbN; I/urHɚJ٬|r<{]IsODVM WV 1J\qo}vJ(?E>$^`v?W>G!!_m-hA Ro]Sq(G6Q 1"(-9^%;A>.Ǡb0]ML0IP~?f7[S&Um!Mz&sbAC=UhvKbf4 ;IϿ&ӭDφ^ZM: D'T U)ՓUzzVb$OKǩ?Z.ޡʅ*I&N֔d޳).CҺ.%Y{8> ~ġ9t|H8%o?!ky XaAqrjg6%BzTBH%8MK=nђ x޺ \|SbeWxn2N])L(l8> L /ܺ3EUF&SE3ƘCNȇ ڹ˼xص"7dq%:'uBi;{8:gmӉO-V30Gڑ$d f#AؒMihAJrɨ=.f8]_pcfVV}}s6]`MU9 w>ר{M? }yyd >y)}h/VEI:U*WO5ϗ+]aW|xfOK1K,?,41[ u gkQrssIJR>6)58N9شՉKAϼ|.I5Bv|7z謌mX/w߿hP@;̛8u}x;n(AӢc%&k]M1USk&ziMZ+)[")Xʠ~ܽ". **3p/tN'bZ SUϣNQS抔Y'먜CgPqmd,9umt*:bHtmމRqLzT\2Φk1cϟ!!N¦#cQSoߢ\ݨZbtu)ʡ6Z5RkZfW:Q5!l&7iF,B>-rV5pӘ^>Cya31R@&"> zx\w GX\EJ,,۳@}U0j" yCq%gUeCY^'Q%N]3MMY} sj<$XD#¼:A؈T<ꄢ> ;6I8̥3\ꚿHs3 Lj(ɲ`AnU`˒Ɯ,!Og%ЎʿБf4}tחt t]Xt$<9ߎ3Vݥ /d"g XLY"U^ t"3ކ߆k`aD(-TyytXA!NV_g䡥SH i˫:C'4R )cN5+aGti:i)7˞ַ8t5H6 K5c0}s 0hzgCq͍Yas=9NQVXN(Z4<p.=Ȅ>%fx\bc/XSdaGt"3YI*8gQ7Mu{V#5_f罡^lFE{yAv@n{rf!&?3LIT̾OQ>-м`nH^W${ƃ߈ Y s_ks ?Faa19f~ts MY ^*jw3pD ~u4#U+`E70L̚gM%>s@#.WϜ|pL!-G `J*[H&#Mn{\vd5 FM&f3Y#EA\dkp_!OY±A:KL,n(>\`o2W(z1C}gYZ @ f }F@  1# DZF-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$׳x35.Gaɰ'wdlF9S*9 <^bk3 reb 3O7";]_ǕrTOTL,ۆ7D8aRZ0;ga2 fHٛZVu̦eeVb(vDv8]G.5œ4sGx}*/3GAE:Q7C:0J'~"**TBE#mr6no$ߢ/)lFbɸ{e!uSv>Ů!~HXS+70ͧ'B)^llbBv.G'ocm I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}1۹ L)JGGokۈk̉jH՚OfG(k5ҙ?Mа;/ qZ4;MR=qSyw@$3 :A!&˩Qc1O̦LPhwU@ F(x1-ko8kL5|ezfRD/r^lL&ɵ4z+j-m88k}y QŞ@hgW!:*5¦ ~*RZjP1)?.j2#3%z J"Us6x&];FqG|ν*t9DIWcX(F-0{!eheśfaH6mVD X5{k}ed g.iª T <窱gl, @muϵz.҂Mn@C;bwWZzAoA=DEz[_Oy;2 8s%y۽֑=bTV5,M{`LJ:%d*ݧJ` _Y 6Ҡ}uJ'G~ad7jR4S>unsl1yC,Q;"<_8%p@w b~>U&P6漬P/mb[]ԓ6zO苹-׸G>e*yCgYZZ /# dZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9B܆rMPsW=:ǔi5#|b_z(NnR>곑M+<%JuliJ*X8+Lt ڻŏ+[+3+Jy&ixU (-;|B$2XZ]ZR ^;7k|~#">6ݝuHK#yПK'2jMhk5&! dYnmɠI>}.匁X\JH9)ƼשK8dAo]|gYfȗ  3J#N I^h'P`ۅa{ AOr+WFn:[@GG/!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}*!MUrU^T<&F\1jA`)1Lܾ*~w=:\y;5asM|d:,w̰UQ@$Sc]Ջ-S9=#Dz%W)#8fZ9 „M?{DLꌎ9ڕA+1g tj5ܒM׌4"2TBخmd5=%N"Ka/laM9`*:AE׿~[;Y,GYB ,c†i&}?JxT}ɉՇFg\yz{] 瀜-泌BYXW77S5ל"E;HI.5H0 0;"޹2-j[\QR?w,7f`SYC"tvBX1{LkE$2Cl ʕ֣MA)-/ԊuN.>Kwzq5f[j*ƴYq EqbM }Rw )r+~/ǨmwWpDv$̓jv{P"XɕČ=Bd.8b$ gYZ" 1qVaU&TyÏnߧSCV1a"Z4=_NŪ'~_I"zFÖqJ@qH.c w,1#5`Vt( T)/_P)&}ۇ.w)0+v_R<"<3\"_rx 4~^i@7d[νn>T&^ B*U1s[6zoT7 GM&Ǫ MRj'T('UGI6S]+騹b?)0:Mûסہxw\.gz' 'Mcޝ1V -7}d`OÄz Ykk%I\g78$d*:/ltΣE2>z"dN#dT)W+"I=&^F8?_U A<4y<3| wqM4_Rgw/"V.z-0cVkh>ؼaAd8& caCsu=ɿwN|JuQ_jsAE 9a;aY4pa\mv l^'n̑dU>#MO>@^,%gm>BweL5)%y|N)x8I}ѓ.UHA Sm4CQ %2N'w\mWq9hXDQC 9 sƵR+@V)}\>ܭ~ G,4eԐ;FA%YNv8wюvS^e;nE\j?_ c=G Oi4JqˎLnU'(-")ȻƜ5~h쬶PfQ*hQ);]W~m` )5씑nǢ$j4":E[gsdצU៪dImVޣ/qdЧj;A,**K.r DVBj2nBFDXzQaoy~1yPLKNhN7hPf GpuhFYNWQq)hrh%Abqfv\}}cr-}~h́6 c ->v& 68MVi %YW7pu޶q/rt87j \h>gTRZ,<ڔł@{V#&#_#H]6zdW>[VI1Ic5$6YLpHO^v~k!2՟2јЩdal>WKu\⮅+$0'3+maӁ4߽ԯCY19aC%iل 2 GR MBZGNYT1"E$qAnxQڝ*cK B-{憚Oya=TDX*rjsCcǯ84U<%(oJd0j=4&/yz+[48#ke*1SQ p'|>̦ ʾ,$6F*2VJsʲk"#zm/w60ӝv]m;9@2φ(5ůWvXr_KXnA.fߐg7G̵kC<0ʨz"5. -bZX̊/ 䚥\/wș "H_Ɉ@2j\n C$Fܶ}pi-)+^Mk5L6}gQQ~ŮaA @ flc;˲v?ۅ&w'#9 F2#λxo2K8/V I` ٥@:YR li|*Qc켘E,bze9R4(ʋF-ՃRMoUoArj&zCŧNF/g𶬌?Uf("2"҅WD,we׮obCH)~n:u|-\'깙[FI~M8ҥQt_&(7%i:*sύDmVGY{zy<Ѩ کOAy"!ғEVwM/*X-4f6)t3,c! WYov: RP.L= aMȏƮE:$+'s$:wElBȸ}|BBMߠ\USxsw察y&ZNbaY}&qXfcPb\;t)3փ ,/Q \}AaPr{gkk qZD9E_BwhMmseT" Ѻ+`Mm5<Ÿ2sۨ.#rUv/{sk؜9fE"}W9 Y b J{Fх]0)fJ ;|+`_C.h˾r^O|2XH@JX !NTr0q^F*j V >q4K仡%d*#ySyHl[P5Br9t?VRg^Qu%es gܒE of V\bvW<4)d!l9]8A>>aFyOSb9m'yZcd8^2\Ę mПPRP.v8CrvEiלB&pZ.p %>sZ{QZ(t2QBfI.nΦnb=J bw u"F)EC4,f[Ҵw|n]u j}:dx٩, 鵇1tyCdMywƂ=7 ޺tnUsZ=ÿb:=57IĔ'B4|e㉳mi_0lC$<2۹⬔@`#MRL(8FU|]ڪ3Y[GB$ OWmh,y"^^Wpd0¦fՐ\fX\0"_Q%hd-%$a!.t uC "Zla} zG1&, +&#lY?TǝM 6iGC҄ 0V 8]+}{Y ĹB@B/5"9ipƻvA1˒q?`>I8j]G4_IAָ‰6!5jjF IP9_#Yω:eמ?ƽ!򕸉u3#rz `Qn ӽ,mBBAj(qzhI:wݭ:PlnX_hjtM2P[c|ȵ ,~vNSvM6 CRɯKcڧ]mtIUr +'*Pȭ/8`  PN'c_!mGv&Xոꭥ썿.bjf+Z=y}MBz4Ka$o߼k?\h y&:5@>{Jf4}"8lqrAߡY07֞38wZFo6O*.g|dR{Z6z;D^FRjd$Ÿ)7Fa/M;./xA$-ـT)KލnQtlmcSr8*5@#]*͈Tن0&yG&*W"e+`T=Ԓkn D(t3JC',z)!! .f'Kss$"'Ƹ'e h7ޒ2; h&ؽLP,&Pq4[ 1dd?ͪ*>mf,# kµ:&E0w'SyBDI]6-kՖ%I<;ti̒jԯ;"hz\?lE~W9;Ync;_H=N9I€fnECz˝/vP -ʩRD9 ՍQ?Zbb<&y<4 T!ADz%3`*^H]THl ~9=i hYZ*d<4{R;82}鎗S;jWK1 JJFyLd m<+ ˍc`sO2s]+NBÿ(eJYY+QY%/qhU8f &~ _ -H:e)*3AXOd<@\Y`O!lג #\ R[Ro*P׎ /*m@wH\ lq ]SraIF /nBA cfg땱fE39}䔓}[_e"s%P}~(ʈ"P@v6KWs\"4[2-Axr|5͗mou\t"N(Rt X!Vy=UYEM/)> sа[P9 Ώ k-'aLoSfGLZ;*.HݴYj:w>)9l{NP<ͽw@? -lH ɵLx?XU]{926[ji/.oGIzKe/vheէ fGiT:t=cq1ebH8qjk1F<U@zGQw*6ld$q>yDxx@gdrC@LD<]v@-Zv j)d)n.od,R!Qj3V֘NnNႦPwhw w}$¸%GZuX@ &-?{ԋAz@VMH;KC09Cg cq^e 'k<0pYD9+ oIAGC#"sZxkfZ FоB>4g"-2*Fy@24܃D?6GDᒇ* i~55 ~ *I'ejJ"d'NV_I%7!E"$`$ByۗZ74.-K|BF @C~l$FqN>gR[mKlJ (ti?hdVNpIRO?qۂ]H |eŻ#o{E"De!0ծYcoLGZ#iq>eb!ꪋгZNHM!7t)Rmđz}QV3jTGg APGQԾ;IA=N>m3#ikoQ TPfN}4oB,qȑHN {ipLdk Pz.+Wozm!Ln`8vt6޿CE6<ք/󹒒sӇş[jҺU6E{0BLuOxUXE-ai3̚Uo1$#uLWzVq&Yq](_:n)]vGb18B]A;/Na !YR/ Y`<ȕ뇺3 ;A?;YrΪLxXw|w鈉SuH ~>DdDJrZvtdb˸OmiNyݛ+cҦ+iy+|WvUlf2Q%\36P %E*w IbGCL.J]sT $#եwOmP,dH +ɽtp8orOW2ޮR&"z_L^&`uIA)8)YC=Y| *}( x:C"pSoT !Ħ[g]3. `qkbN#G_90_oQu6&kȵl;)-lb5趮1Y~/~U O_GX8n>o @&=JdɪsKcAG[ .\!*[+g٢Lohw]pU`{qD7~AN}Rde Fȃ)$Bpid\J=B+,kx;Yb1uh;zhJ&ap" 6P2/'MςL请acJ}1+Aݧ5*#^)N1v-TX9wΰ!2%l«T3 WnUf⾘= 7UZLGo~6Jx gt?qv9˨SN,c4 [߼>e5\F3$ϟ sjMX]u0*zjSO`&=0aJLw1}Ҧ%ݍW[ bՁ캊/g3fqD5I,q]xWơDzA}' 6Sz/uD~! : %iu2^ly#eAVk',XWy1+e]B MB~jbV(Q֢iӹEqp5(?yM 1ݧLjRT̯~Q'GiILў(6;e3r0mC|@Kll{2O ݳ`:sT9]cˆ``䎪^~ .Iko 쉲W0:AL=8=lH_Fkf0EDaJQ-(Ay(LeVp9!nshZnPa]2Sp.hKy:xެ R`2qTv;%T7 Ũrc S} )W)䷵`R:cT5xt@ W9MhO yif:2Q%x7M;5'Ѵ:\-P-hZ`D¼E_C2Zt qWKit]TT6%;^ I+SES* 9ǭ7K9l`={nFLy~{>Ũؿ課*D);c`bޫ e`Xb| j0 -+S)s}+,FfŤIgHA3˭*Al{/ax*^"O69{@3c -wj(޷[ٮ zedrCPlE>uF9K۬Zg9^|»;D+om k+UCu$7WhoОQn Q:+>+->- Og"G>go9kg 薵G?q2{.? i` Y94J5A L^' 0DVئЦP~|'!$\۬A:KRrbM#h1'=ˀ4-J_!eD67XI?!C$7`8mV4;[#̵B]ȡax:~y$v^,+iJңؤc[[WToΘ*KCuA*duz?c73MV<*eF_jBq5Uhz&@dlQ2# 2UWET~L%0Pl? #T If_ZԪO HqŴ x*~lZ=g;A˟gL_$x糅wyTN2"kGb8SCʼHM$Y_x#0}mT/ ysx| >8 Y,z+2/ ,Xƛv M=*Ä\νs#J`wy^4f <IiRGP`־[n o}޲4`9_HnFSz ]F.R5%EZg{QUA^;LG>؇Je[F~rtAh 0+}fT:12RlI9)trn1]AHrth I 1.kY ]_0: CsP#MӲ3AJ'Z?Q9j(=Jgi^Q|œ{(ajzE%<:\>>c@A`GOЊ];_0~5G ȭ?' ~=~PQ/3Hg[~|E@U<[VHHۭ .SHjH%KG+-Wn,1RQObn;AB֌ y|`Su $"ϓ/5w{aH2^)bL4heBjAp1Sc )Ϥíޖ֬e.Aȧ3ABvi,?ĸϡ ?%xa 4{%򁱗@T}#Xb}T]<7׋:눇\nXK11캅 }JPkVڽ꼀W2OH3ksqYx ?^rя]#'݋_n-o,gZr8ci/> Xr<"WM25419 z(h涓3q4?7swxjvhY{u*Xz]2!oNR_mQ/9. ӚVR)CVP-V]6~6RT٬L}CćAf&s?Z[1cߩ(nYAӔIVSmx..H}MTA~7BqPƾ#g3.b)-(gb+6U1@ Ry”h  7yIRG~*5@$؀bk89#%IZ;ߔyëBua4,eJ,y_=%n!jA6xR;f3Bc qʙ:$mcEdzL#/e!'1|)m(w,d&~Ci2fط*}c^%i+%mX?\22R[N +rv頝n%H½՟pD7w8ߦ6@j̎pGׯCZZGڀU"U"ML([[ʢ nQFl""Ϣ7Ё>GAV !,t9a>c\V j$2]d'f#OW2G1-*v޸ǧ0+ǥӭ8GaџxIWtnWV(Ah$$\<oQs|Qbгߒ@B2t RT!BE8 pkrlt1lX0SD2jΚ֧,Vb\_ smE! qMQV]-~7ݓ`8m>|`\@B>4kn{#56^Z#D(Olp~glS' E7J$/Cxl^9L]T3p&[D_v>GצB.RtIں圫,+iː߀s]SA4oےͶVA %- RJN _m<[ܓ] j WwgL !$ yt6K>t\9EJcQ9mS%ՓJ39 1)b~ѧɽ삠Ą+_ ff4Tݿ1opo Dya~q|;JZc벮P5.-#]w~I"U?TZ@6bP^[ޙ/ )l<8aE}ѩFlaXLD0`vuKYGĊ:\Ia-*Q'"3[$g\UM=bV́ mY'e7>Yo\Alu擕%IRvoB}O0`<@hN@_jUf/l5BGő^(s+.Ƥ4arc]ÄhIE>'km{ћViƿ{EĝPCpNZƞSmr9ggK";_`{p-ϸǵe 7獸5O2-)W1W &XDkbP!1ã)LKWNm>ם/Q}'7um!&[]tN<"}Dޱ%## [uJyX⣗hw]MƜ|^ZSGk/:*3Kh,jՇa[s6[}{|,$0p_4pg RaX{vO{oÇBC-5ˈȹt"jtٻ 9#TLo%|40Z[[TɫM16]?_Ӗ{Zzah(c" +.1 VFӢ2]' 7ƭ]4 NaNwxWHA-ϰƱ$eb0)%?ځNXmގo+T)}yt+2ק_ɾ}xev,XQC9ʤ[Bݟd+ɷHX'GW/:]'4+Wr<~\u L$hNq[ (|P;OJF9õTup;\m%"i9SߙX>+]@1 =W8Tr<Mfhl{+}ʎNEK9HbN.k+:Ď ('N;EƏjqt]WǼՀ10')0^;F9<Ȏ, NEƼzLŤ6:cy Z xq: Dh7ni>ζߒr=!%;oD,U$WA`l3RL&9 ,7(f]U#8aq5e+>kj؟s i`>𒡂ȆJoT0cbR&QQc]&5k! }1˰@ӣ6|*Ǹgkx8t* Pcʼn5rS1U ]~hf zVƷH'yhsMEv-\5NbӚ 6/QC1Ҧ)duh >0k<aY9:lW*mn`d4 @U `%_$/pbRGՉh}M5\}X@2TdP5M`5(WDT+nZy  4}@bx gb&-[3֗Qڵa$.ܽ{a8"GBC)wpD I&ӭ33 b0BߛKKagKPSJ?sLni;͢A'QnZ(*-o]ͳ%s*it`umueyFQ E"o#PăDpnH\gEl!b?Dw5^ 5n$,씋{TW^`(tw J"dYn_⻥̤4# RgӑF型*⿐_aySꭗlaQ/+ t "x`,t>RFi~_kKp1Hdf !GvbȣDkLaN튾&X^prT#Ix$A5 \^"㓋'"g~k V-\_MBcoPSCCLxAͩ jʗ.!GHIO/aDچcKhE2_%WvޥK]9 RQ ؊hDp'˦%t_]h[נSW>qb!BK7)իEgwڰzw-.K*oS\6Jr'GSxw-2q sШ]t>5 w!'*m>dޫB)6n 2P]H!_kͲ-&b2d`xŁH(~5I#K&׵,Ǵտ>83Dž:wN_19`EeTAJIDL^q ޾vCQJS"=AQZ@9k^$jQMRsz~"~\c튻TgD6j -%%Wu2wde3YrB/GM).d3N ˾J?1N3 s##S>L*|!*ǒS-ϵW ^6lu_Lmxv;)4gw2| Kѳ٭02r7&粢i^>0_jκ:UfD\&G{]cۻD諌gLEO'2ˆ;,@"Q;$sR[Op6Mim.a1n"w %GsX4Dx[} bA4д8S t xU\oNx9˸7BAujY9(4>N:(ݮhvԏֲ|o ,y[x:TCR`/op޾&o>EZ6B#U=u1¥п}::-}`(Hp˞%:_g+.ߝ+dr;2zx12*cĻ|ƓRR]‚3GX^7R7*ZM-V2}|f̫x-Hי'>]!n% B>NWŖǠ2蠊^ d}$G"H% op ! Ct]5(*}Hj)f{HN1E]cʧH첟 &laDT#\ L #t`tCiNDŸM^zJa'ͼ&@%) ҰfgN?F;qlx5уkMN)E൧i+ ֔6HUʳMGC]P6节-jG|u/ZZ`6O409Ź) Unb 2X'V6Qen4; rj@$:v]e zZYdmEV5t*]@#|Y/+Q^ }ZQbOA4(I_#7#wP"3&I [䚗B 5^ko )%$}fC)m\w\xNoOu* f孭1ڇxc#iw 02 'N73\ ;5%xe:\%U)xT 짴$}Ң}ƮDoќ* 1= g(F`h`rbQi1,Sݎ?oe5PUz1$GmjoG"8V)6zS`$Cd׀%5z۬7|J4GnW\TkEIZv&JܶM.Cu)."zU*ɥ{DԞy`Y\[TUؔ4i==F׍V ܀AzkЛ%`J\QxtvNEG'zC;!C+<*t1WHOm Bl"$,I)P=^vt < I$GpW9G+ՈZLAr K#- '{ok)erc:fF?:3)5 <~#LzѕMD%>ٯYYvO}@nAυ]$`û0ϊ# xSVgOa*NFL$vKK; 0Mq|nߘg^TA5%V@bx eA@DV3'aa @*z,BD+Hx2ȃdԭL+g tC톣Jq~hp]~5aXQP;yR73S˪ xq Q[q^:(RhLs SrEȫfG?G Ƚjmm鴄y[3eB`IO|w vn: <10Vp9FnMI~.P=ln^lQ0A$y~hA D)^`il5-8*3DЬrW+Nx4#X G@s=_G1^Z߯+C%{H 8GewpyݮC 1qHF"tCeI`g/ϷIu9x@Kw2Dc$/DirW]e;rVQv;b!DN]##дӘ!&aRN҄RX+YЗ\?P2=2i?}8Cl9 ܲ8f{sWG9h\{=ѤH;0B6a%@JA*kVªcV`7iv$X7 ]Ñ97;)Y0zw||i'eq컍D/$yqW<GS3FK}S5meF=?rpsI Zub `! WϠAdswa)]/<44=HB"]1B1v&n$J*i lc69]%#t>4~orrɱ\"Sc71>U$BP0r<6#xaO.˾ LI#G*!:Mz{i-$C#?ҊaDĵ(E5*ZH㱅Vbnks”Rq~|ám /– DaNOs/_i}`rJ5 sqleuH'vQ[!޸n% 6=joC8ИE])e2_ҋ+5ᬗ:b{Y,=bX`*C9_AOihA_ RaGTakyed )VuȦVQz=^5mV0/xSl6Bs }tjvQʗjPUՏ:%KQ7` #tm{ $.qCQ*7@g\1{h>!=lBrЅKpA3{ )xLZ8Ю={c1CF+_ZudDɻO&?$, I7!LQSe%qΨ"p3:@pa9]9sB6yPx8L71e@(J e!҈j,_F UNz(_u|-sBO(&H'ZXҗu]u}hwC:I 62۞}B]4qrJ+,ЫyWRi-~q}wB.s89;J<0oLj Ն M{#}ffnS8m0أBFժG 2t ]%ZSFM1<`˞1F`΍MI*< QKނ^w6֒AD7n{NP݈O{PZbGy~;ht|;' !aaӈp[2rZ8/d D6 .ACƽDKL^䤳 4 iIė~w\!HgDt[ăoi["v!bh9=7po|1vmO/H6~G=IPL$൞tk<hwϔ+z CRMcF[L[n@T VDFp10&wG4LS˴OFLP͗:.|t|䉸9 ':FcQkbafG #ƍZ3BX-/-Y,m(1TiT& K'R!t=9` !1%t#e[ɒ qLŚ㈅769:f?)qFaE*3?cDCݬsCA߫Hyм EN?`!I(Fza. FsFo<޽k` x #uC u$'2kAYKQ? k::8|FBE?ܥ1vC< iꭎVuWiNYQ*t҉($]z^(aO''Ҫ-gvؗ# WP39]#H\`tпW )+@X?W~'`rEFbo|6/k6ltbP!k"tdž`ǂOg0=A6H*KC{{TҊ=Lw;3F46TD,|P0˛DW`\!t'-\)}Sen)i@!>GE.^H~(zMt^iWd0U97E4gq乶_Ȟ lYnPB nƗg,SD℉iϛ5=~'!+VuGHf3#sx7n+`qfq$f>5ETa`y=Uiȓ패zZaZFJ/551#䒈@gsK`4.O%nf3K~1am@*ct{`MBÕL'o :LYC`^{g-)[Z siQU9D@KW9&^ A{#p 4{Pj"KI n,{l:Td4ɩV[I864eqr[3k:s*3w5[".r磹O_rnTtWƲR.e Cov]DkZfE8ͥǼO;qoKE׼ FXQ`-'\aXψЏ9H9 O{S@F2r;ѡ{.¦Wkf Zww{XNI<7&x4SGh#qX[VJv9Ą/lv_7XqC8oW{~PZ=I6O* 7zHGG3Q0<7oӿ񊫔i>dqZL i1"^YL!Fn* U?dkqޞq'8F+I`ᶢBoA),$Խ!#xmȕFzR?~(-_Cn{6N:{t[ 饰 ;uY٤!rq8B[1Ze%6v6gGq16 gwu{B rMt-K5 Hݿ馼k"vQSb9.([E2WpLS-e!,Aoޚ,bg|ռȊՍ.n|w-yCVjD v)> _^uSqe}@W*؟; & K9M7X{%Lړw17'ZfHMuN P~Z]]kqcEv| +H+Ny)KD O#8{f+϶-XRdҨg 9#p]3AT2N,T;C"=t֒g"|"R`).0sA2<`I B=(\۱f0V).Mr}Ά4H Y}c ^n 6mZ < [< OLSɸw9lWj pݛvHÕ5O-QɷE[lࢰ/ /2}b)Hutq5i٬#c/WBS%BR"%$][}" kd2 A}0az%D Y曵XYO,L|@Z*^ӔM$о5)6 ekul8aɾ:|lI߽TJ' 9>a)iYˬF9R&t8FWb.+zڸeTQ_*x H aJE" 20!rt&_2 Eu6A~t-d/a`*;0 +fT=!.ud0@DpQ9X|.}2nyd$kqɟQNkֵǫ|? 3]ͬ TV^)d܁| PI~Z?)`[Iw/-+KD;凒*IIO4G8*Frc?L0[x-^ˇCg.P eK<.x= !R\(CL׷۪8\]|wY<iA5R_bUKm}RC)`z?,Gi K8͸v%i1ֈir|tEN=YѶTs?6uwA9`"?;b)S %w2C=zS>'Un$XjeGS^&+lo>wj+ dkelPd[Yqʺ/v~ӂuŮ'\)5PoRGl2M7;R] RWIgzO\qaTlpڈqEr1g#9-Xb dT@be.|W+ $;:du1Nk$H}fXBށ3][:R~O"Q4G܀jT{WxC Db^gRzk%hydg~!muzGg~bU%Sx.W-=˔&%%z=kb\K~G7؝9 y*ʈɇH]GDOmיH[\"y/fMR0\^p@Y/=I^wMX0Gv 1F~ &8+#tLl[xwY RPӈayyBQ ?om0B4'1 g4H+9if0"l;f(t6y)Y>(?󁖙 gc{NNHkuGMjZuu;4͔҉GJEJ¼i?#|` JZ;XDUj8z% G2Cse&x鉌˷ @sW|J_${?[9啟$'P;_奠\3W?lM?}FǍZ ءx%  B{UDGZ?8 $Cæ>w|2dΊu{ԐU_2:1قb vd7Z娼?\U<)rc[} -jt? "u*\qB"c8Jf }~5*C}ݭQ_ė^PQ6`t=dUE !;Ǹj \Bʂ(<)9 JgH,yϦJO@"fT2'aRtLbI('YVֽ /Y]^Jr%R(.XĎL5,]5ːGLmS0֟ @+f62EԽ &,=KD~ˬ8GU[w>\k_B0ow1K:"":Y@QNQINW0wo )}#qǎזCךr{|D7|>>}'Nz9-P^1fMEEQʄ\#aٜ,9B!4}$pdDǰ!툘khh )e??-5nWꡲkCi[u`8,L Qfw Fcߌ+YdӵJ&z w;aKT9U"nC.~x!P ZP:%Â=gN]=nIP3%^F$D?D>s_\lT )2VK,O%:!b:eAWN%]ti=蓝ǀa|OPcNyVn1JUS-dB, .s2tS#NJ>h]j;ƥePJKMYP6j1 f S4Ga`E߱Hg#:ժyO w>K(:=NRqJҩO?}{0}94^+x޿ *e` pGYMnmbda;K/SAEIp64X>~!q\2XAWigvUƵ'ۨzP\0ߌ@p%@R6͡ܐ$S _Z 4"oXc4ĮOQIc]k5ESUXs ~ QBa1! "S_`Qե OgП,7b]&`ǃ  R2 + sQ>[ϣmk983HA _UӄQ+{z<=zv 5gǍЄ@d}h6yӌ ޘ jI1sĒ{5JDYc1xw+fVa4%\@-xXFp s;j5]_B#ſswm9]gWOKi/KZbsܕjo&iޣM T-~0aeiX\,/1bPl`J 51@wAI=̐D3y8ixˍN>aLjj5+^Ä axE-"oO2<>Ұj9A\ ƙKNbIpbWV)uBwjwwVg֣"A˂ *6J;\M,|аQ-+|(Ӌbyڝz#i+RzPoơHP`=]ˊiop <)ފlF:3r, .xՔ0?Ɛx.#U)ḦW N{]\=q("Ž1 UՃV pC_s0#fJrl~˻ĺ"Mģh_/}0H<$w]O &%NOg(a3dlg2-RgFK=Y~s:GL`xljs=ƌ,% G]W*\w2'qHf>q|~"cJ-=">gՄm82&$[J$+zkzl)vz֪{'RMPr2d# 0rnu~*ޣ @Ⱦj<MyEe&TOt8?hKڌW>olKU0u1YO0S< ǝ"N`dm3C?PC#Z< -~1VͲ9&[8B?٭$*+,uN ܒC;e]y AtFi{YXf^kʼPs{R_{iDer)F{|]yxxo7*e\WN\i5ϤcW*S##ݐւ pj{yv5/5?&ջ>u}z|slykK@\ " Wz٠Ϭ.~42p\$] Y˽*:WIytM7J)lb~fO&.0uab9P0$Ve<$)eCS0v7Qo =3Y":IBc4n,?oǻ ή-v8]0Qx+qd[ p]#y@ddNGk.޾xw购`bn:J`@va1eL<1N!hDa7 8:eC@b/ >hتS%(<!L9\fZ(;9o 8Ṵir^ "9*,X|%#8$6U1C=7 !mXJoqSu6^*EҝX?;y6V2r(Jҏ# H/"3:_\xt4j Oe ^"yvU%#?0Z̘֒/ɘvC >j9C2R3a)9/[ذD( T"Ҥ)%zۚ<(jMR@?gcF"aϲǵ?_ ܿ:qc ԅ x. MZȬ@:R@jK@FCAr&Α>Leζ^_(]:q583$DסkDoE" iߡE{?;WīcX7k_vk%PL^ kkubKU2cI-4 -@#pFy)ΪORV_5lt[~zoc'A(vFފ .ID J%*Me@`PFU<0,ęxu6D73O2`ގ&6+|:)vQq/B#k;y̸=~vphC,#xS.fRFJfg&mKF"?~#ʊQV|f'R\xbݖLRM\.˗cy<75{RM%g 4f lR{=eaHzRIyQY>G6Ω` 2i.i՜0h~11UG~Gjyw^_R>L6j^RM`Zɦ46S0I)_S{JOhMQ\^%Y^R.p Dz@m;j3H gN2ӆ[9+%[1nMYUcu7H)|r$pZݑi\44NG&y׹5Xج|`M?>hm~ ;ޞ8H߀S}v9AQS'*jhoQu K0nZWy:Ae<>z= d6fιgoN<V ^IJoJ_BvLXO9CtbzՏE9kXa҄{8|< 'ATzdţEI>ljpUz/!X}g:<`%K±@<]3)0jњR>Cdwm fO|_nN[݌_Nt!3mC YS}.dgu|3<trw(oe!."H )xگێ"%"^R+#fNF5h|HA5ssv'C@5y~m~Y4 uEŦt]am.!ý 2SYJ$RC=AEXi5{&^Z1kL[%o=g7E]VtF[cjP`9s}3eQE(DL,)Yk`EETWBl+ VmjlgFLLciLynWM~$#;F庡N nPZg8-d6ewYip\f*6꒏?Or3Nm 5pB#1%Kg#͓0C.Qg](TVܐ?rw.=:L\Cmf'pM޸E8?U|" =XP}R"s`v%w5|ؔO\^_<No#W qB@ \ }tVH PF,R+ $( -hLBVJ"WFXl.mk^rNrT=xؕ3EZNE -,f@Ha-|oxB^3|Hi c=m/!W:puX 1ƅzieoѸԼmEnUYr-]6F4(fBKIwNKW}+7*ƍZhPp]y AC#葒Delȏo&X~F c>3А  χ1 bG1 g-"ڟ2zuUNw5ղ4IKy_ $a 61x ꊋiV)LW'.Ep P?.5Oq{C0(~\ r#{ xCfnW2܅z} (7Ϋ.q[N7R0y-ӍuoYżEpqކM,~'[Ho^S]{TkTJ)qDd*Ͷ-ΌX'o!mpF1T s~fb`/(R^^;1ߑ(j%~j/>YW2ivtlZOZ@0r\Ao0?Rfj)e@.WP 1 DGGUu*~DcitG]&F=H& B NuĜM鲿h8fmȊmpxR0cVu` 3!< r}쳖"de3еտ"\G6a q=ea0VT]veEj,䉪nrwu:c$sŔ]|h`^sl3:H['?ELa<"vB P|b{{e%5Q\nT'Aa=˻l2>3'ߧNK.̫rcu Kx{uXE $Ehdf%S8Fl Hk9I"XrrVQp9֥ ɵ čI|5Qo5hࡺʼno+Z%;(`Ne7K}HCC@W,iP` a02!/r h3=:5*V @N9֍ Sf/"V{ 챘`H+܋_Λ֏i?c ]= +™We OB([ebr]o֕'tSeMDᆻ4ϼY``mvah}Ô~z+D} ޺kYp1-~"mZzQa„m@%ުN@\_ U)E,{Mv 8,Ċ.3Vn=fG1Iɜ8ͿSZ xz حM:?\?F{ nǙb+qZOڙJ >aQx/?ޑK3!$ G%hbyJzhѓ$.!keUHߚ=NĜ#$Q$kLZQ69Nu'쉓3|hYWl`7vk63Wg@ϵ7LS hQXNfO*="n!THq/%dnles=xOD$7r򭠀iI9 .wBʤ08ɛZS1>+A*& I}.z[=ba1"O]e XO6xw~)=[J2z:@,Ҁ!8a? ɹa$;uAm47Y:F ڵo_ py;O uxza-xp3Vَe'A} 5 %5 d˘Q<9qԭyb>@vL$SJ(uI6Zx?nu(_Kq_O_} h_HZL,i>*+HY9&k=&S:LLbG}.5B9 @Aj|Z>}3bn%~ŇT ˂ ՚; - aݨ`Dr3 ǵ?W*C߇ v5$8l||a<uE~ ZCÜ ERvViF" a;F~&4,ȲibԔ+jc~vI2oȁZ[vnI8;BVb4sHW?#FW6ʺbf |>S1`[D=PAaX⠝˚J^fudHWC]?lN=O 4JVfЌP I9r$K:{:URsr&+":rvbCkAIYAj8A3J-\3=-{bz t4jFN @#*}^)5Wn[C&#iyGJzu9ipQi ^ʕ0#YI68{C~"18<(}%|yl]jg>sadQ$qQ;7"8.&5}^Igmg> BGZ*vPwM,vTǯxuSpHVʍ{32E+YG< OI.' 2$P@kѲ\UgIrx6.#A=:J}eآ+8?z21=Mđ|o$Aet)M9Ek5-,-][ZF+uH,WM,{0]E}/t*|U8omdY VWlu ( akG@ӎtoBQϬ5ʂV&y)Y*yV}7CPB4ẘA 2SEВ SOfj 6&3)DuI;E>'U3iJy7SjRTX=LC( ,R`-ze5R:fxX¤;2{픝ȑ2a5 9K.Ɠu e]w~`iϢ7r~n\سE ^K `3164C t_K0F#eAz$xBY1ua ߃})(Mkz_oNԑ\e-Zq@[1JuO#V-%'+DH$77ٽ2y3|oUrc4H4>n17o5,D05ri {\jP8.Y}"RLZշ61JZ{a5"Qa вs`{[A~dRD&N۳!T)8Ȥ٫uxoX U+04B){}qQGnR(+\xa G1Ve¾۰A<*U{ #U[@{S*U8GU5,JWe9@՘P6820a!|3=6Mul+:A"i†Oܵ$(mMV m+yeGU%0ޙVdzt\wY.NcA;j7\s(K@ҜS l|7G۷0vю"шUH_JQ0&nr5_3hmb^!-ccS8<EKhFiM'd0*͹3-|Nc˭,`j& 5Iq=HO O[%P 1K2Mp*ZEkJ 0A]֧V1u*FC]y6N4Rڄ7 4A |?]$J6[t, R%L^^] (}#}(@rq8K5n}5(>rPc1ww`^w$]|s7q2=-TL=c?y%^6藌Iz$ ś@j9%Uȕbqe1JEuS{u6Rc޻sXYlE!iyz1C6; c)fD ;e F .|UǫgL?eP2n}5Ѯ1=HY=oe$l o>93}q8zڠ9YnPBKm-ղDG'/Yۺs,lcz=m;qr#cʈj`SWm-0wNփC;2Pҍ#ȫJ)ZEs+$fKLXŦ޻-m"wiE6p|L I|_Sy2DXwlFɚV%LF~P;N#_6K3HV C:%;./=;/-Zޖˌ_Cx/?g&.ܽ]f#.347)y?HhE_4A~ͽx}zہ-B'l*Qi[ˇ\hKF*ƒ{8xK(o+>5ڙf&7#a'] wf;ftƋf(]0ÿmX: _)RiJ18Wo#fQ,%j,V .d-*){V"7{1r#~з=΃OQRu|`e qGÖ ug5E덪݆,S'K'Μ^.Sϭ"Ъgְ47SȻ Ж1^07PG;wMZL?$*pZMI?$!vˆ2t!D{&9]$3AH_bxKu,>r~UP\w_̹/(jn2|sJLv,BcSZS{ &'ڳTD:.JJTpP9:Iv{a3Ǻ8^[ 5Lrq_qs].bvo>X -Q468,Ϣ_nK<9e^mSbHn>4+?C8ؓ -X_[R&1}E_?;V28wlx2K TFĬ@I䊽p}=32n(9y/ 1f?9ٖ',{o^J96i䅧$T R`s?"-Ju (!?w!2]QݎKk3+UP1)^g̀yLȜ{Rg;mڼo ɍ‚`Yx1-ilE,Ft 6fL5Zoݿs?֯!ya2nl] oqF*4Kk[XxVq(yi~ۋ)]4ZyI)j0cV M.]̄Ox&]hm<`'TitG[:%\Ҿ[OWmtNfVx1Kh-HW!TCP7Te[76+v,Xe}ȣMa*:3F,iC*˝LI0gD #ܶ'r+`z,`Ib:y{hC{=i27˧$SI5. -}xw \sS3`z7Ҧ6tی!ٛP#ȲeI:ۦ19@9}&i+]:+i(Or(&ԕg;y 0z=6WTelnekMBM ̾L3q#cB%'~{k%&yf߽K#s6B_3~k'IǷ5IY쀀`ù-$E3kMGWDžs/zE0ʉOԅkʫ5O\mi;2>IJԣnNe{?`gdmnW8z9@3AVWqѯ},"20 j!b4mH$߹o֬_`h 7r~L L.!&[S=wuDܬ<V[ѕI@@$p7(K*G"O&عZ63=}ߪrS d5&&7:fɁpQ_#+>I 0#&hLPH`f<{J]ȭxm6 =,Y%Kp+ݤBʻW>)Qk>o9HN+S$*~5Izz\O %\= a}aWkk<$"CBbp9ŝf_s: WH -s;r ?'!t ԛO jCu|lēW/ $vAıخ.co \J0Ryqy'Q43#?ESZϭR஑QD{xX3"AFDr^?{P]Kqp*KEQ@Qa_L\G?p1.`EWΣXy5fE^3r,ꫂ]mOˆw|Fae)SHI&JWQ$nܦ".vi-4y>}m=$!S7w,ºLDB(9IxAA5"F70,Yxmjq+EP$&wЌ'RpIHL%Ka^ggBid ?+.8<~B?&7]ZC<wAm~f|<<Ԣk!Pgby]-X?I`,Cmr]/ |8 czh l겡IύtTq󳄁VhTy1KSD;^K=y㵇daoJ|6z? ?/YSu& TW&kldCM}ooZbاI } E8pJ`rZ-+iDjglq:Tp[3S~9^۽j*O!EcAᖲٰG ܯ+TDl6ǟx@pT%w.C5I9r㧡5\ŋOtqKWbNȅ@1!~(.:CyoFn`|1ze]z~iAs4`ؙ0VG!8) 9LIn**c5ǥw'H):>~;X;Kb[eM|H̋ly/EOHcAo<&fY!),khY`X?h5wFW8S8j9|#*/PYD4@x ;33G[y[vWTlB~RT sPqM6pH]S9v.Sa=V]_hfy 0qPp53UrHJ=]٪ZX\.=B0WWCv=;TK-/I=8 4 @7ɍjZl IZK} Ŀqs>0hk)b]֟Wdv$j4$3PRZ%>"5`_^vٶYŠJ/Km7AG$͘qɅ:H KJ)2v2blF-[]$ ݸ:@ ˌwAlYS[&!2BW~zJv(KbYC=3,BIȮmk&KlWە֮'%itѮ fBB1'pVPrepb Э(AS-7i#td`SD8zGh4P8F"'ͧ(l:Ei]z-XlY2()h(}?tyfu1A B]D,9alA[RivY( QF wlOd;Ii htzԊ̰ .`Up9YEyL;J ll|XBch,漾z܅hМBR 1Rj$FaZxE9LćUJGD/f\9谼% e)v݄_d7fN[s&W 6zSW_'IjDWH*>srL+dz'xs߶EφFR~# #>T[ KuvLi]r[HB$G'oж {2QN7ZKatbcG_nks$"qKjbtq- qH#pdb..XBs҄WDǺ:Hgퟫ>cuCu[V44p<ݪ޸ΘQQr>IcJs`YY= Y26{O!^n=DX| vM}`hj0Bt"<¾ Ճ'AAk#`77sb$ fw Fv=略,f'(Ӟ2lVyݟ܉f;tPJi@j1J̑;hЮtu^H8qF]sPVe0r+ZYfH0I&}jPUfW!0# n4}BzIM:P3D{ {CZ7X2sz<5t/u#AMq_OZE@=eH O)td94X-NY]Qz)髇נ0&4 q\%p3΅idE"nt@0 8v1'(2,^Y]`)qa AYM`C>Cz31Tb*7"Niz,er&:`ܳіzz>w :EPi x!靴7r m1yNE_YXD-(H"xhQpc~nh!*|nPO1 j{/쬵."ݖ;^SUP B1c7NvwwO~X5nn˞1fƪAVKʕ P1p2ɰ+ƿ{)y7I-8qwBr84y]VZ6+?P?l'޶YroZ>u#kԉdRqI(iMUcjsr% lPfV/#{%J:G첳a|fwӟ4MmJC5SO )'P1)(zkZ+፳S6} A:>qض|lG˾`Z=%nE6^>0].4 6Y/tC_DUUt$Dk Tٞ-~F{P R#YEq^L٦n?Ln5eDjb\qtc5/ RWnņWaYI;=zK4$\2>V2:=NOHX<6/ $\"NbŦe^RU_- QᴏG4pw\wfoMf߉ҵE^ kmyeH6d6t*T1)l wƴE(@SV=?Ho$jCІh`;WD\;JZl jcxc%$;,Y )ǀOTx䶛Rd!9/P '/VOV.AO(qLݶI?ɋ=?%ܩdA2R8':lNY)qZ@@c#:#Ӑv pK|FlnʯVswf`Qiսd@|.?:TVhhsՊ7LNnuYFs* Dv <~Aq8߿b\7 (NB"qC^|@?zIr\칳gܗJj17!/˄9I)B}K`1ҽv-| )*GQY^#[L* [V:$(˿4Pu9Z".) j[SFW</S* &ҡj 1#re@Քv\X(Y~<- g\j(S;7D)ոsSiuHJ]ZB*'p؃>UiܠZT9V e0/(Ùށ랊=~0(9ٽ?5AbW " "b iC:oP6AH?~]1 5ACCX6$+h: `ꂶ6e=gP9sU-F}sgm6[G_l@Zd!/ebx>咊tWVG+ p'{OUŅ^2A)\r^?^!`NN,TcFAA<֨ؾ|u7]^T@bXٻcv8kY+hʦ jw$E)NqAв`ys*Dr^Ġ0#MALn^&c)4?.DDH ;mxAƸ F?}O<(nL*M;/%q<8tk~"ӥD@ ,}gxg>Hfemd< g~6_B'-^A*%DE?+~"[<O,@W1p `%n`d[QGJkWPj~Xomm\2^ \mb@ M6? o_{%ǸW^y] I)UPLyr?ճ-|̫Oo{UƏ rnzP_Yᮐ< u`y?5؇:S\KpIYgWBpxoyOD yTuvX(4T[g䷼l\+ Nqx"eO$ @XIi4W@8v8a F d}A}L1ȁ$p^_}f l>΃F>Ʒνq7q3 7OijY=.4f-cdЧ/NCkxA=9hq>H}Ifw3 }cTvL뵢bݏT$x.3Ѭ;SJIZTp%QT%omaz0ؚP'P~}H0C~ ,>˕ j ')knGEx`C~iaDOiݩu`\>^H]Tyۀ})ؐ`ؠ~ t,#Y]Sn%8DAQYr|5q6:/#[AA2h3)ENm.}ѯ9mwCW(oc4A[L)#"chR3=oQC+nL_&vH2!2F5(nZ1`0_]L4Wgӝ @doCBNeW1Ŗ`J+VkHu-_K=:?S?tkG!dTj2)0Jft&=1~p!6%cAI HCLi#n="<`#x'G*zZu=ff-6b ^SEA¿6Oa_Xi\+pI*_ɭ.זF[/_O5DfrY5!t/XΗ)q\ M =,:㌮ݚ7Q+6S{26ji{ FD;g'_AgwÛV 8_'ѷsj&o . W8,CrQɉ Y䵫C%Jzة'c6WQz 8Q{.s#(k{|޴t#Kqt۞gYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O B]Άxʆ5.f-9 rq;6f+d_  BL@E=_ ś dGyy<&:"G:!WgB<u{[&G[#z@M}X wYnpkPx{\gsLsrZǥ)^CaHi$`'Yê~0xxM BMWJV@7m[~+LJ+V($eř'dP`p"B;%L7FjdFqKY4xԃ8{(>f9Y+0 Y!gۛ ӯ'Lʁ(, _|J0wxfl\&}';-Sm|m yG pKԇcASԉ0;Ov5C1) yw.Ҡd"<۬X4gH9;!$B共{+-/ hou˄P y{ϳXg:R:yBƤ@s BI9„͍yU(U whU2w'M zG[\3VNovrm`B,q2"! ۄ^I<@'~E_w41|FeC2ikBR)!O$K j%%u~2%֜.[[_ËXV ~n.mޓLo&N5A;uƠAw߃jcSƯTo+^_\k)|3jy߳vClzMύrFdQ4! =:ɢGdl'B6ɹ@5 (]GnyovKsf7hn;8MqJ< <^ 8ʟ97ιΓDVnPEi :-6F-TJ'8NTCwD(Lz+QG "gIE3Eh;A&lX\@к#G5܁T B6#\ AGØTwɠ$2YZktk ECzT7"Ybx[wTv/çVTNfw+7D;;mŞvu<7S}UFt&ߗTKnୱ"vg!27y'Fq]G $jxAҌ|-oM&yYhUr܂";f!4Ў擐gYZσE잓ZsE5IߓVɂxG %Zԕ@~ʸ4HdCQ0 . L* <4m&GX^.&}?b;<e۰qZת(`(Pǹ:j=k /o0DťwyV˯o}_tzgK2J r֝\OS~.;P1^^Ml-aө5ɟS ᄲWKW\lLhٰ"[hل447*jvVtӨoHwyJt .CYbX)jX(JkM*0ZFu;Ȗ|SP]eK2n 뾟1`Ak)sU)=^X,UƷF7x6r[ f ^*ՌeSqgWV0.D]6z#/K]3J-*EWUDv6{\Xc~lk1 S}tڜlme7SkO\%Z'4R;Νq0خd`\8LqBlգD=^͍x󨁲0uU[7tVTXTD|K_xNkv5k3ƤmoI՚Lx.5W%SOzθ{WEJqN"C8⁧dr6/n"s⤾ W;~\~3>oKChOK- Iwne,Qkj0}J ϛ|J9S{b0H!aΔexH!%(nq;x/aIen֮Am>xb]kM,+j΀%:^R2"{5|'r#f"}WTGHM&#:ԩp_&xj. ]0^v aJ2q_m9&9Tf//}}bwu(ж#Ev`1@䄗NP]F1 w 8 o^ېO'8g 'c$kBK@Xy1_Ax;!]ф7t cҠb0>ܜ}#~7Kg]~nIK!DxIˏ)tȩMyqD/~84K7FS_C Qu3PƇdbb` ;.H]4G9NVn(4CTHKnQk.J@[`2_N񀣈xX9aczahZd'g(&̋lYJݾ]?~Ԋ:U/~T|tgiO]l%0þ@Zw>ms:AHl&Y6(ת*d2BTZ dxlYŴ19#]Ua{gO+K^O*43C0MO7HH`z<_ _VyaNk*vMbftOJFSP| E&vh.Z]= 73;)ژdF^ѳ,?AE q&,LϔIPJ'b ݔ aS5F80#L{/e1Rd2}!S{`ylRlzTTKޅ՞·A0Eut`I!5U&Hmby~BA}ƷXjKoGTG9ݢW\0$%n2_$;ه5_wBh*8=#_վTjow75Ep t=8MtE3Ku0(_i@`"6N.uzՒ'o/V4Vc`콤( ^t7^cܟ4fGNn _cuelU~x JX2jt{![y"qaF|Oe|OT=j`"Xɗt./j ajpCP2S`gNHs-u)YR.m.%sIKk9'^@bYzyvYi.E 6tV!WO=R:v&L"jx/qB(6LrOƩ`c䐥7(Ϛ ʑ9vgYZ RR#+# |ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N5]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?=^W{""(ㅒ\&n =ΗQ=&DMp%Wz}yXCSxԈ,8'HΖ9YV?Q ܩb ;X8f܂mOI\giKWzmT8g[ M*Vk4e0oHz=|@'I |H%y#-aqT@ų޽Kz{kv2P;fzt?VÉKQۦ6@@ ) TFev|,0 w^욱%@tk~[]Zio­XM(;bI[4((L(D^&$:*?{7L69bI.w-}dù{Eu' ۨ`|82bH8ΠfIDEqd5]>ށm)\QY=4񗓳ң9@lLd]謒h8 i&vRѻ_6bY'LnB 3DJ ^%q"J\Np1mc}R8d't߾G<}$q/HzR:'Qck O"-E$#ah =81 9"qBN\-<]m tq|0>I}M%_I)Fy/$'wsE@cPvI|^.d!"1qyIM6|Y*УUnPDAU8:_M:J 0Կ Ep63K$#gqઞ,3 }$:b܉==}gwi72o@My!s<\,%b93*οn2܈Q-OHNyS g!3KVLdۯViC}?]*Hn0 xQaQ2rӿf_PB!Wd[Y]C3/O̿J+- *Fx\P.Ġ@T0y?m"nӋO#c72iv\dKͤX?Ngs_3_aNdrY\vJTd %׬WI5pJO*5YPFK- ]MV̛h?"jOI}Lx&@1dm_0p"P^|嶄T ]/^¯!ID#*Y=8b_yVߢs#׸f(`4piq զ 7vt 3Dك"%:ϑֵGÐSjw0y5$ig-:J㉌&*+z (_FcpN$t0RE 3"j ~B ItȁXFCx; E8۰A݂ 6f7YR~|D9B"XhXCA`a`=O&Vq*oְ8:끎yDeSڣFʫEuC&S͊{(k.3U °a&>Sl "DV9{9~7&5%;hLrYW訟m?Ý ?'~>-N6VK[3n<nTQF{o~RFj R xi%y"2! d)+#]ؠ'v#H`mvKzuq6hVQ#)w)4֕pv&B2Y@RF"9[f·$ 9 >~zKP3n^w#-N,jͽ<rA/l/XGUZ돜Uck7$(5g Q5!8*ưR(l%UAc  %;[=Ev.AP=}[TI'MΠa|_q>}=+Q;A$?WAQ?^EKJ2XIA #M ٯx27mK(fL.MqvXPeo=!#,aIUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ 7_>]i@X#KZLA $=f>=:oAq"(Xq'qElz[ZQp vd fg5OyTwm5vIsE,/ ePwI Vz>)ZzjVm[<ݢ"*SV$[n=(-e=2]T(*Ѭ;=̂G[uH_Le#O'tB&M2!\^)6X 6 ՙ@yz^)NQP?cSZOcC{B, nv ,wjF9BRm8l72 \H#zNֵWGbֽ?90VЩXcnvn~|3I w!:_${>s&#wضG*ENɯV"2NF]Aj/k\uY=AedD=du8G%{ oono:"Q9WX4<ǖ||@1&n qhphUzޞ[dN [җ)º¡l}wbkKe;}>13P5?cg#Mj8rt݆:-`^7>*.M5H*>,7Nۓ6sdGzx6&a1 ;a>jE>*ab.}kl|nRXRЭeJq{:ЩD?QN _)wKWtJ 1g2dxBѫ>ya>^5UPlꙤ~/\Ejw|dR|9{@aH`yxbv"͸>D0%V4}5bkf@Vk齊\hr*>VbŠrN8!MsK S2TV31&Ytx!wULdžH~hT0E`lI pj i/<%X`gf(!~iȆM<@>=" @]WlOyE wηX$(WWׅت8Km<>.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+,]·Iq n[:|&[zD17loS ? /WJ.?GQyl]x7:Ϟ&hÀV>_B R[`ULDҩ`wV"dG_n 7u\=5&YFc=f\4J.d5\>%*¦@7é#{ayԎ [4\Cb ) 1|X1O/J6ށY5ş=vKW|MxO$˞ᵔjՄ(1W@&"m-hQvUx0U^ UD[vW㷋%/@jF"4 XAV85%̌b$PQ]&*ۧ&g eb(A%=Dz1n@/CZCKs) pZ} {@fe*u̴J,CN.͉-gVK1Pl'A\l`;k 3I@UnT_}VmspɀtrƢ>j]- *ܻsmz~.@` eXLضjHdkp):f~ %TdnyG(=rVn$s .΁%ej>U>')mn8>)my{<%d[N@t<$z1¡Q/ƪD.m_OuS$ϞK1U`lp\D6:ȗP}ѮݳL(M1E{٧қujV̍&tߙ==jK&=u㖏Qz<$ٻwR4͗EU5l#F/jl;2qF/7΅1cY-3'۟ t-[Fka[>肧ᧈ캾#&Ҽxf^3x, &P6/.`yDYmm% -X4e+hJAְ,K{$)bil "AGP=۵:"n5,G۫Q ȸNO>Wi:G\j,_3 H#__9 d}Wkv5Z@$+)d)4#9™&@U2l^y"@5D{TE!xs8Izi@Q ]7:y9c7wv/xqi qTpPᏳAE!$U^5o?ҷ'9txh{{)hrL\]MZhz?]mH7$ظB9KD85Mo#MUZaqA8H! Y9Jˏv\t+;UR闿ÀS/PP`@\.v$wp$JƐan&)R:@Iu q fT\[к~ytIXՑVČ )%#7wm1ă>rn_:Q P!M%K] UB0&Gk0O_p=6k ?Ӽ=%+]so?6S=d%*l\IypV`߷L4o>= c_>$E52` 4>dԃeK]GJqD)"g{Tq`eR (Gͪ gD&y2jwLLMc 1^̡oN8oY{2Đ׋nDm3 ^{OI. In4{nyT1P $uZ bq&E?oD=ah߽F z>@+~H۰ U%\spʗ 074fRI`F4/8n<ן&wOa44˼`lEϋ\k<"m!٣Nf*?]qL3}Wpsdǜn>K`RKǂ}A>Itȿ p";q_p_ub2`QwH!+ HujÍ7.G9K핝TDRe F"U$Nf!`3ݱ!Y(4F.vLX7@={<;Hb!ön5|m-[Wg1QȱUy' Z~俵[LT"K]KX {$<wTpjR+U`Ui«{"sB [P.!4 r* 3fYu,s6=,2=$Ǜ)_5xߚ)rGX֟TgfaޡdA`.f4.(]38ͶҒ$8u$H3/YNeʴ{>,WD8 6[1<(w Pz  U#;?Zo>A.zi~`b0ܳJr+sM>awVl7{폽VOvܲWi$DZ% MtԹ]"p99O;(߉QIp}6akuOXeVg qaXB:5{+1xV*B=#PeZjXN^6 OfiRDY=2Lx@7@;]ǔ UK9B/7<$uŸU9+SrqԜϧ.yRU.=F$q!  Ǝq3ExdK3LvOWwcYo<2D1dm_ mV=wݮa`Jn&sR|\qrzrJ9^eI>,1WRu|%;O|>NI,; 4%:-S 4x^҆ 0k}"8}Z#d4h_YsKl Ax/]WH0)rt| J'ґP_3q c1p9H_co6#ԈՏa8 \Z KG %4ˌGS9xŗe1෽n&gڥ?S,tZd1FF9Yc A!9`#YW>؟bp^=}c&ĸNPn,6pgVU\^N $ 3 +j2 AU_"yn_Ti;rM%`D#J-D$qA%2Wd!& F9+,+TVm !_R c``n 7"힒l픝s;rN|u˷{Lt]& (K葚fy7 6s1D!Q4״124p: b`"E;~&$ _84_7+]~'^Nu3yP!Bk W1D*AOQ$Ic[eޞs) .7p#N*Ldᆵ2/yn.oA`KqPv:>a W4ٷ:룾@VKp nRsa 5 yّvMʒgl/Z8'-aH6hVT;MuD)zR>ȉ!4/U2oCQڎ۰tSഏ4CiL}'ApzBKyu3=zKEs?7€k}jsoq(̬@e)9ٍ !|T k/RvU%3HϚ]!pg쫣i. |_, 쥂ad%g0Det<0T"B0A+*1;?a`b,`ץGƖ%63qZtĭ[E[NL^N8@l-ݷ74F3i*[P" w2vkGwS!mwiv;owHy xzoԧ:rC>@Y ;Z`φ ?sOvp?׌oKi-Bc MA1O{y4|,ma6~V*xjN 94V&bX(nB5҃uO,!2qL5M< ۴n| _ps/XޢW XDnϸkPE֔4PzSq<nny`xp8#@L~@</|;} XP֧%RÄR܏ %OˆM.%Vށ z?`EH4M jG"p~AYtۂHQ3z!l|{^⪉k$M%L`|7- =$nPOF ZC5xjz]I9N6#)lDX\\@u~szM6dQѐĔuR>U!+*o@7ҐH0ϔ3bm~+hU45WӫY K"ҝI_6w Mjy3`%v7:+J3S\5*d%Ac"7F` cLkr:TDgFbd TZ֪yN% œVv39`PQφxSۘ?/zG9<8w鵙<^Ld@r^>VGkAY/ !KB ZkW7s1fE @v`ߑ!'Ig@;SER+niAVQR':qS*轩im(8.MA^kr Y|~wPHlGOdFe7'a f2' Hdܗ^L2Ɂ-$(tMؐJfS3- sB;ٸI21zCI(WN!}NZ٥m=R3Cԥi$?q7@ZEBMycN"7 B%3mI0FH]ؾ'=z["ҬutEQi 9jeÄ'ѢNK}?|%s0ʐs h^;it/t,1+H@r"EThf$I|hʔsm1;5_^J7g^;[.21(^Yh96J4y'_8IvE<U(OX9;Q+`xJEƴ\Z rTko RK@'QZ*(f_'J1L:ʗs !,`t8.oZ [g R* Ǐ"TrwB,=Ȭ4تn8)^3S>pNjUr_,.iҡOXSF "- WΗoOP4[?\E\< ↳O2F&rA.tZ%~'kۦXnVQ* ѧ=V&q^7C󅺤w <"l^ 2f-BDZ'q%nAYb77 2cpvJ;Xp9s^*NXN;ؐ!j z8ͩ^u?p>Wޢ6|GcgLJ.-ky/;Ãσ{ cƶ;zPۇ %'0\:Dᙳ=#0Q[ 4p`*]|UEuHJws=j h|oW6.:hNarIc;du$q $ {Y"$l`elx2k3\RgB#E8WϽ!QLl_N~o=F0E`7hcИLhFu n,uzW`Rْ ^9/y)Oc/&+E 7ٓғ4-31:0V*gh8t/._(J +C"2t}94 \E$Lev 5><'ׯ!Txzy>BK4B @!p[{P휥 U+ $z^>.f[p]V0sk^ M3'SYTyJCRHdN0d ~s9n^$ƣ`{*<<.dۖy-Y͟7m~OwyCƥL gڔ8mc,οg\Z; S烈yRh^]ؾoWgvljM8ia2rI㩒?gcU3t큺+&4nԓQ 8߸hvJ'// %mNh}̭ǫXN?U{W5oa{W6HFS҄N51 #*%ܧ$Ni؞IOʙ{#,rM)"J5FGGW˟VTi!x^,ޜ@g"K9 ށ$#@EňgFᘱg` A='t[8*J`Ygxw|u@ u2 =5NvdHCEtl"5搪fcWC?>}KmS}~[al s*<]-i/0A^`-Ȥ:;F) odM௭: 0ܰʈh"Ds"R٥zk{\g/7IYx%oܑL<˪Pjt1&{ օpF.FPojD=) 4%Ur-X#bחgYZ   J  C.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1-+-ZF-InductZF-Induct.ListNPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GQ]·Iq n[:|&[z\L||j]G=~5G?5< ~AHcf8@+%KB]9O)\ʛ|Ck 'f~Q-7 3v#:='m[3@tܐ05E,v);* Q^YXa;ٓy*u ԧ$47cz&YkU#f80-Q1z۰hQPy 4n *? Mp]0p>@`}?'4bo/$ܧK~n+ێDCtH{<zt5 Id(gYZa+/# tZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*r]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM=43 \@FS&~@HmU}iM*x1zZZ;ԗdXk.ؘ5iSP)aFnjP7'f>kcmz '^/ @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌C2e$6LGpj U[%uHuu_|S9cM׽HĺCy͓ q洃}M-ܜrE7[G!rƨaFMV6M$gϖg2Qh5[2=2'Gڽr#)T5^ %L!F hb 4h2R7@r!r/F33J тՀDp h' :S=jOEӗt ̡jJ~hϫ7).2tkLW~a]UVPbr`FIč  lk cl?N>5\d+RϝI9ns1>2$J<1#wu҂JQIltw(2r|RTV]F6$DѧiL#D0h LNs~9q+K0 )RT֦E8!.W樣}t"S3TW/ն&IqO&NfG`Q~E %뎙EmK8d1G̓_v<<^nl|V@Ϝӗݓд";f͖@RJqJJb ny K;mFƄU _;"^@V"XX4%JRU$`T=EUOOZ>CYH荻M<-4gq9tcI 4֮'2煉"҃),AI^?bʱtoBU/ rp{kVg2i*\{Oh 㧃.X;RN,QWQ.fh/+{8F7Llbx0B\hx½Ajk N~q ByBGԨ!խvDuux;^p}s逄ܓ"sWGɦC=8~^{+c0TހW\۶o<\y);Ew &}q.7ؿłf?  zG8YQ-X/%Z Lm &o΄N_rHaτ`ՏtoK];gzmY$/n2$#Ü{\צǸڨ]"`ّH*m$fW7#g9\%&m ]"V+};l?1yv0D9>s;axSu/bv/˅O2%{['Ơ2+9()̃nA*Y )Tʢ ] x#Y u3ӀJ `RKIYF>݋c^28a yP!&$CCL"LY 66Mdkt:)XBbA–h$b]Ѽ}rrcu9Fݰ+I>Hğ&q7n#e\mhs)G|3%3a5;3t__2.Էٴ,Z{'hV7ѭ:u4 }-+TM#Ÿ [% 6EFKXNk;j Q[$YC~TZ:6T棗oYjjy3ak;Fw _Xr9M2~_`WӼ0:곪HE*G #L7$T/."%)Kc,fjڣʅ 6Ўs^sxeQ=a.TDErpC8JUʡMV>e(xac ;*Q9PH!mDnr*?|x}ZþTSZєrmůa4uJ\m'`-\ԫV6}r .̴i)V }MqPFlLVkt䡌 31pT@DZ)mlTxn59|;;0+@`Ao"}Z?/|\k`ϛa'Fȵį.큙(zGUMlaI'x$O4"IUuLNL/Za9H@"=3Α6ձΨ:7>ٌ.uA:x dl<W0G;U(!@S~1rqJj#X 0f6@/ `+8@M4XCu,@pp gnފV|f6עœg_;gGA 9+]=q:b@ TnU\J43E4:7iʑiS b̩#C3- Jxd]&97cL v*1|%e`yRj W$Nz%JW m EۤRywQ[1[b (ba|.g^ERRKTw#oU"@93 ddI%w¹xLQA}ZKɤłb|5cK6vJU7H|ό$zw'ec4f]) E b3 Rަ{Kgy |BWGC9 KH#- a_.Wz*!Obo2WdNpNguKIٸJ/GGnŃ(%AY#yrHK%MJb?z#Zw|րgYZ  4 w4 /# 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Ɠ跬kfu0Zmeo +L(eW^{p_߀M7|S>a ,&I_|qxAˇؖ#D=uc$3s!u2e{Xc>f[ZIf u~e hz=3π#CJI wfK,l P =YC>a znX; kʂ&_4kT$*;%!u4W6'i'n̖Dzqz>NrՁ[׽JebwNM7\'F_o0C?R f?BnP|Dw2tj+:+6ZX0. {!_V:ewt}T'oe򳞃=aYZ pFCyb|Oo4d"h;gd@ٻ/ ՙŇ97iJl:nyv=@ozN]@ 3"x_'3m;-8eG~|- 1mÃRJ|揳 w<>/7Es6aV_9{)lc)ЩG3|Yu5ދYʒe +s>w[ wȿ(!ܾήX~XO݀^3R&̭3KyѬ^P="Ad{uo UNlne8i j5|k׮/&3^DwPu6I)mQ?(kF%尫\FiaK\S|S/ [Iuw@o7{K1֠b#cs׾tMinFC2 >c n@E#ܷg7zEvnTs.fNjGcsJEH8; %9; Ȅ܀>zQB4JQi8L7p_{kb_yV2}Annrbt8Vi|Zs%* <(?JDl3/ (?$7{IO,$Xgz^XOj"4 AN`9ۂ;HL9ͣA O۠a(}J5^YQ=u Jv7:/*l'u+F\q F;jKC"|k r#nẹPҕ:?.O&ֵhf6- ڜRKٳrbsKu_MDhQT%R6.nL}߿՗N\N'y)Q5h64wP95Wp<+ǺF;qq_vKL˿dY Ĭa 5âe]A!6o*z5$uV^d\'qO$%)CEvXʒ>{ݷ/ˡM)r4_`JRߦVJYIJj:@:s 'x&i3}A6…ɪ;ś-6!нRuޒg"/(_cv6(eN >FZ%G>F1IDH̥։q~c5 L5ls鱮9jT2e|2vÈ5Eb!  ;ΠqɅ1,lVj1VX;2r[bQw{݄uI!GCRFˎN23;wn U]%vbM7+ @<%)IYy(QXpC7xglz4(!ٕ>c–Sh*&Wq?adM b!3#l&JZ5O./PHu7 b@Gx=#cOH`{iwz`]c؞ Zq $uW++j,N u̸1*$ \GCۺ␚d} Y'{j\T%E%6]+'NuoHi:UV㼐9_LjNj:J)Q!%(9!D.d5V!?p;g_3a `S+̧N4Hj(y"CpM.fwn18x豄N:jk 6*kmO\վvXӼeiD N`'Fq_jl+rgzy+Y aw joS_u57HסyQhO:J.? ̨VIc 5^nHUoH+RU.<?g`kB ?duaeG*:sc%z}].{:H @%}mo b2!tETBf9)n:Đt||!bV;̭w b7k} bӸ:6bjvЈN`քDHܽIړ"0sj {(rs,ΆӟĽ Fg*Ѷ &tVZŽLnzU?)Ծe" PAKd>rnNJ1 d>Oӹ Gk50UQ,:̰kPiuE{^Lˆݍ*iiDa1vl큭h 3I:$vʗz X2c}') xnHrQeJ}cW8 ?؂ yd'NXsӍ' Og݅zSP>w?GODÞL%i wA!֯˄$xTej=M7lw4F/ġ: Y Y6l} ][/"N5ȂrL~[(tK-{m*>B%(C IcJ𧞅hc?Fh&K'ށ#G_^#} =y.$e53i}(yV2\oU\& €SIa,b4tD9o\- U26^ x?l߲u@ˑy(<\jpe9H\㨇C݌V`C544(NuG劝sa ״,PH`rsm,|Wo5N:Uix7(_6)-W43@R>~ Ayˏ}C;}2m-\jAD6^pBa9٭UsPfrܟy(9 1ȒNy,gb5tX0qL;҆! J {.4lߋi1TSNU=<"c[iM`g6r:NW+GVBvƁAdTA&+>7JxT &V"Frޱɠߋ%FQPٚh_<kd=q#ʀᣂ8*VŔ#kv΍ AbP'oi A]iK<+ORgNlP%kgl`EMq( VCb&p:p?pl/;\#>Rl_r(f%W#e pƌ_omR(*o~4"Er2u|99DŚ/+A+AK{ f˾W=Ix_G Hj*Yn⊹ƣrSnyzķ?Qqf]ýt '0@ź4n`0咯,,7'_U[sRS > b\>nԔRǞ.L$ޭ%3B<< 7?.>ᖗT}.H.زhL^oOZe[~hoE6`?:U5Uz韯:OgުU_) |6 *)CYH_|POaN"N@f!Jkּd/v|^A @ۯ.GXbxZ 0KoS dsOjS!(!bR \=xk̠ÔӔWb\8Zc>@olayQctSfX-巡r0W tK*a3UD#: .-Z8`R#)t ~ROI>8OiF{|LD:Ͱ(/;vv?VӆeUdiL"rCvp_ݿ:ĉԶhޡC#d#*zqc4 e(klm4W[7Hal?:¥bШ˄cڊzfuS=W2+f";Z8@4^ĤnnUW|PՀ#-˓R^dϛW=3. WAA q gM ,v8 pj>Tp:?ԍ䴽6GEoMnT#;LNV`~XdyhN*^!P'>0)ؓcK{C5,K޽zh5Zwq`)#Ͻqd:fѨW @f++N^O!cI##/evQjEQQk~Y^ K4ħ<׽ETkgOG"2`cu*#|hסש6혧d[+ CM&sTY:M";ЁIUgA&+lE}%iw;LcjuOZ뛼|#>6]<kqb+D*e2g%6.wxո6 "(W&ԑA׿/;٩si܈x0܀ dTwM2'*(+s]_g{TꞴs2ܳ"GІ+*E L?ͮ0n%N=q#"Mϒ0d#LYV)+ޑ8߻(=Hkښ/K! -n[˿iT<{p8l U0AhݝkJy(zfZ^wMH Xn=}HU7Wvi.r΁Z g!:g֗b<[uv^1J_.|/=Ly\vΖ f@@i*SZuwIRUZ&-qF}o5ʋ'TANR(d=( f5#wf B/+|becPs[R0<5J=N놨!+8/cںFwԌ웬bV+=nfx6y6{A=<1&-A)cf 6tUϺt)*2F?+ ,Af,$W+b@^/WDfѕDG j%`]*)/]C4=(N,g`#u S+ȁ~ψ5fjfrg關1t5æj-D+/<|S~GpVh5A[OA9x3fOo=|ZӗP$@t?< 4Di8i-;oi~N6myO+@} $2]8brG֟_ eٛ~ED>t,O+;,P2DNm&M̱"D?7(RN0pύ`& .V&eOO.RtsStbtVª S /CM=β/;vwVYpї(#\a!JdW?mCw@Q|bU%]cn1ԙf#J '/{YR*tNu{j'ܚ9%]K0d6|1wd ?B.2;>(f,;EPU6R CaoH6i>G6n4"!àz̹+tՓGq՚F]ۗP!/ZԨQMªmW17MG|$x\ W3^QcG~*D'Q7Ďʏе5V)\g8شhKzWh~(WKԭ.fM3w㛎w0e7fLXv锪Hk9]/d\8w 0Zv$UrDᡪH24U]W2^'ESZBxd(Gm=6m5K+MrSkL*S{_mHnnجTˉH=5Xf165(6 k"Z5,p2H#t9W`~bL3d_;&oj-yo͖MZF~`NkJz{8ZnrC*M~#K)I+0ڼ֭~=i˦TBX%AMBSl:REK~ A}BChż5Y4)s]} L GW^cW!MNe Pxu TȔ6iބ]Nw˴4MDCX1 F]J6ϟh;~}C_u1"&xNMBhё"lUʺm.7je:H x?YxI _,-Cw f 6Yb2+ɎwY6-Qh0Ni[4$g9{ "_f&R_a-\f%Z;3Vxi A(=IЛ>ذ++.Ny @<|_,_19 ͵L 퐴۸'QQ)U`N!x_jvH;ON.첇-!7~[7븵 V̼hرgYZ  V # O8 )# TZF-InductZF-Induct.TermPIDE/markup7zXZִF! )a]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JF/\ur Ƕy!xŝ{p/3ؒBp̶lO*&lSJE$!PľD4ni$ oNW5h!hy"^,F`C W#9_칈)zf~#L7 {YQDMw=ÇK3"w1aO-$$$FoCr'P5 ]+/OYP4NYBUT/y4%=ğܾ`cwb^/|B}|Eތ@d&q"IVMԹBпC,.> $>sv~459I{(6zRgKorIQog஑6ey_\/>[bTA ~f%J{w2NNg0iarj#`lT &⣶nȄSX5߁M@-.Yf\%A3n._ǭ8D x<ٯ~Ro'-\+i߉iBX&v0IhK͚:|: L0yw fxCbB?ζO}yz)|l+C !MɯeW/8#c<'*Z̭ri[WPĤFOKz^F<ć"훏jvčC ٖӳahS^$]Wx4BO\;n.4궝v% {6J\#X#Cux %?|/rZ@3ަIlxYb`}&ѡ%Ƣ}HwN9\',0< 2'axV21KT]maR𺕔J i tԦ[[3qSbq3z_x0ivаwnK hJ,u|Q!Y)4^Lq]t-)}_74᨜;?q;ov{0x@^oe 2#Jiw@EOu@s>-1-+hEVOu,G[D#L@I$sO~W'gFg,LNcbnU^P^y:}T^:ړXin>,*O叿rB)}*+3Q?T7TFn|n|)Zݰ0SF_#Ғe kSZŚ`uuPԶ!9uB,fDoZE\%(nvӰ>MU~cPpl(V:_hTzkg);] =dH/K`ǜ[20H{JR;hq j{o#qyM9dW6ا ?nfhw'>4W_-8eNAGDhx03:u xiSlHy'Mݯ. !ff[cnx()/2;/ 5hoPP*УGNWY|pq$ ROzGu`oދ7-R՛{.؄3 ,_^PGN2 C(R?qnhmj;%(IOx S^MdR'>6F9#% 9%8G-H)2fH~Wn:J]tWd@^gCy#G5h•C}}wY ́oÕ[ʱUNϯcEr>Oh`t~o3t T횇ªm3Bӷg qerj!ŏMS~ x]`y΀KŰ04sBS8qJ^YL?-Y9Rej/cjIL䰆9?g9'Y\ heH|acYFAv+Jðs={W&-AUXM g?;H4\Ls^|:uٯm;$} JζV0$ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112'5/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N8]·Iq n[:|&[z|+Al@ȗ g vsqTk7 LbԄoγ6T/4kţѧu&iD6HvZTr/kt~:bwRnhHwwR@&Ӆ[݅-3_?kl*٨" D<xƙj^Jlh"Xt!_^TӯcM]oFT 2&.9b{ob׮3SH)e K3Ԭ W/M?v[M"\?h/|0߬NkVQ+I 7'R VU\\,}e:sŦU^=r1N:hbBBِz*tWvir5 TCyd_fG1GpWbmڮG2 |N˽:ü4R}fBiU?n_.W6"L'C)ukj$.z!\jX5"G(݀H 6W) O2ȳM6Tf[ȁJܷ %Ozz8HOXrQ ;pF譿s.XᢃH‹RwfM+7*2)j;WNu?FKOa kvS40g};wR7M_*Nv{?Xf)2R<%NΩZӣ8yJĬ UUGsB,9I!Iow2@GfA')62Sn, pDt93frq=0T߬H?a\q͇U㰣ɸS4dk[֩ ]& K{!&;7!$P@-EGBo_(@qȇM' D3V$[BOsSahg1QMVW^70&{_?Q:4H3V7wK j "ibEkVWQՖyQn&pj)˂0p{X1/-m#UH4<[4ŪFn"@٘*>;seF((k4GT%A5A˚r$+∄42>0a%J 2Jk}qȭHqΌ3BuƓ1DCNQDH1u~x+3v>s`hCFHN?{=#nTX \Hp&TcX/cP!jܩ䉝8_6c+ע(G)KI\,([;5e)1aDMЏx%%fI1řvgB9~k6zA!u^EA2.55~  Ar*+*H}T{2 rc=)|Gf6ԆZ a5O5RQO$>6w!NP%Ω%SVĈR 0H.7&.;^W7{ϬVjhj5&H u k)$xKQ.&!hnJnR*Imj%Į7E=j^vJ{)FwAE,mt'6DѣRփ lphs5a>'Gsܑ"2A(=Vx^w&}}v ,Be SKoteD4yŻJh 2x&^'谇.gj׉21*T*p(%!6"^$U;qJC<Y~oW~{!?1WLKF݆BhQOIrIE$ "}ͯ)E3 Dje>TQ.ȋ9+3.3Zm$We3 ;$blSl'3 M6EkBtNzooreZ-aj &vĠ~JKT vieo_ϳD>}GBՔ:KU|. >f Vt/A9䒇"g @ QR"?Q9"dQ4_ڣkM&2ԙwqsş~L^F6փߔ/#7nWp[D>9p;MFʝmi`tgұȥ§w.1{+t?{zW OZ( & %6C$M)dLʻBc@$ԍ&"&(r0 <;Iirz|E >i nۄg81%вݳlɜ?fh#qfR, )}vxt7OX3&π6?4¶vSrΑ8\(wŢy<՚z|=w-p!U)3`*>"#kՁR 9ZUt9ܓܽ 'GEdAo=Uׯ_R+CKֺ͇=b(yZ0 BS !R,;}G~5p̰6!kނZ Z157AYGag)20 fq`O>ߓ٤Oȵl^ CzJh"D#h.&cΪIOC2t_0ultiN`h%#J1 @,|ҿx3b%)1BZW;to?.f}o?:Nt.UT Dw2R$s|_eυ3R/)z2VPNenMJ*Crky6cM@R`> 8>m;༉.7~J8JN59$!]RK[6{݃ċ 9W{&||1)롉" 9ŸbԪRmg=*E~j|SVmeZ}]{yU[პv9, 6@2q+R,*6 '3*E,6ꆀ{!P#^S1VJ-79AIu4_8uY 뮏^$Fo|)'vx[Rk|-9ʎX(/gjAZiGN:&AjEV&/[{b  4sSV< 54d({#ـ,7umΡNg[gȏWvoek zN#ًDHM>eb'9#Yo^JDSh28][ vV݆dX!ErIÞuyݱ:9"}ȏk5 h 2)K\FDsY=(bDVX}FyOCF|Yɑ6ug#dOz&9Eby Gi 4h2t$j N\] h&vo 'nö*3ꘗ]!Y I;ĞQ}G:8O:J /RgBƠNANU"n5|w/u{츕=dS|gʞ)mݎ/A觾' ZqupEֲLf \۷DJx{T' 8-.R?x#X!oWN6IH [(IKcgE~"FM}к -^ '$Y33VрRUS%?sQ[#v6 vX`Ja:P"Nlj6끪6SBf9ȘY,mWR,S:4} tex >6Ua R£tn-}Te73(l,RPƦ-SܻkQؾ*w^|;3gZ35]ynLC*k˨S=v{o${hViJJlz*фn.y{+#ݨEXYQIxg&1MF'؞g0C5Q/c}Ǽ:D5~O^W| ;$S_Y%+攛1hjxF/^GO7@\JhU˰19gTnconU<˼p^74 FZRu qoj2_FID}pٳ@*)Gfa]NtELr ҹpN>>U8FFs6Z+ +AcL/wYMa_.:Y9ecsftw!)IAL4=U3 L4e MW ,pwbFBI)JY'P碯GΑȍe;  yN2>3rd- |o0_찬( W}#e_-)jo&;1ӪΡz7bja2h $/w07xh.j-ƋM+CZ.ܹK96v3>Rtɘ:o6~"t5<3YGIY1d;~T+?V5]N.;{&7~2lq@OtsL H 1/%BF$+eGM-BWvL_>un"r xq'otME\ptm臡!HW9YdJЗܪlN^?[Zbk pQܱR 'qQLIU]ֶ}ݷ'؈s -m`>2FU1-ŹKp8`'eoq,Q)={V7WN˜3``~O S%2&.1I-g9C x7dGBlK&Ֆes+ҟT>l iHy;/CMf82'<] |U5' 'H[Ě}#,umR4BJ2p,z̙D򦩿)qPg '5|oÀ!;ʹrEz? 񰥳zwO~R CIXƙ<JDI<*:l"5FWy&p`v}A2$Z4zT 4 &vr/ԗ/E>NjM$ɻ ϲ> đ곍XBRLJdjS[ OLuKZ#H\ tO0mט_Am᳘!Y"\d'z3}9ПwsHVL6FVy2%@\#-1YoZ%^܈T[ (0Q:@OTNBՍ?$vkl˯S7)e%Õ(A b91#:)NފOxsSn5Bq-E&gٗxZ[I2GQo*MN_p/^_$L4!M4BM_&8[miIbF/BŽpi ^TI&%m_Bΰ,?q5b$[^R41>`ПY9VoU/w6ߙ叺11rkް ~_Qb\khdҿAʅ\B( GDvPSUh_st"q3x;9Ilɔ[EndRZgYZ ]C;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104l9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z+m^VpwySHޢmz bQg) \QSFg"LԽ]> FW9ؑbɲLvW/WQ ˔ 2䣤+߰߯Ɣ:H9G&$wlUcnlW+ %bF]禭HB71)2?8B<`nv<(Wxt=Ijjϑ*aQxgYZ0pB!a.ee#Vnyl#j+&o[L ( +y*MH>=;/i~HpFW'ƛX$*WڕHU8U.Ef$Z@EQD>`;Y8Q300 (#yjJOUx65F+_!J1'71Rmd2́l$vd`^u9( h@:)Vqznmh3^FdAfWH& Rf9Bp4 n=<e/&DWmjDw~ `k;wEbP@D/Kr (_'b"LkBƋSx6%OM::# !w')A/bM*=.p<ިzx1&E$5%~De` 7_GA@: S@zRoa[_ ^ZnƸAs% 7Fh@%=|O dlz{wkPqMEbE6HEH͖u+1>iBT;e wv7}FcE#{u:1`_u @Y`=Dl${ܣj77}ygCFK>>W`gyΈ唙GؐW1ӎkk<5ma yVw3MEgAzd݂5“x*y B |ck L|Obٌ~],~tlQlO HNr]b+̅hoI(ֲ*K'{ZEVDYyUb\RNGHjք?Ȃ\Cj$%!B!n:uH ^y}2_kn&UE& pGY= 77 JH:dBnKDkkX<&i{+dŭ m*Fo4+V5yx=q֢C]9jayMqi.C'b9n@TU&QIi#Li);[ε{ϼCn^s1e{oP/vyZp q| H GnusݪU\(Y؛=] n.@L2N25 Ω&O6]5.}zZxDh[^%#ĥaaOGcڡE}B;bvWAX?#o\b|:6k5 81̜L;O:q5Lg;z;m~V=<l>tyL`?!' sc26zn_Je!`punۘqjl+hԖzbz?_LS-t2TIx c1 [88Jۇ4UaZ/\4f9O4:H8ATz[9?D9STC2m2=HZHI8@unڭIS0\fgdSÜ"HԝU ̀'jw.Sԅ 5 ;}F42o5{z6OtX69%jE@ b;wBZѝOV!-1aU m q7y8`R ]ǙR"HG牭1xĢpeNp+Z4UQHvWS,Nq+1Qeܞ u83Z>1%R p:(J6,jֶĎ6yWI? ]yIUãZ/+ɐ6~ 51glz}tEަM}s(R%~mTo~RrR| i 1c[! OS^R[- \&ie rμ0uvLE\fD sFq/=]ڋُ@2~  VI( ("-)!hk1,]JOƙ;&6Evqq9.lkx)mBTUbOJAGv)I]1fŧGH|i.jYYSK6[:Yo㯒oAQt`8p:8w;e/ѥg0)dnt|k8X.k,~D7&ay =5],svJae6|Pp#<䰑ȗ*~XBZ(i/A{(d{ĽȺEG/dpLjڼ!(sқKmro0:9YIQ`erO.T\)[Vmvw؏["ϲP!ޏcmk#:- VdM!Z&PCҘg tt2NVum~Ƽ;'*ylZ`Иud6خ=D N8n|)\XZQNd߱:$sӶO<޳ַgTt0Y\SJV]Y.( p1ƴ߇Q!ؙ*;bݍzy%X `$'p- #T0HaGɎOE(X?j?_j.4{#(p"y3fJyA+lFu"o2]8IRU ئpb;$ <1RlT[ ߺp. J᯲4g\ɗsĥ+MEˉ͘e7KpS:9@:uU{1^:m+\Lܡ=i+4`O7 ;rwW ea&FrylER)tѸ2NVWZa6OI" sԃVӡv%x왷:1tBϏIOH90\ڟsuЉCORt3]wRfprz 4W|v'N\sװJ M}̇BzMUu(hCp5ԠUb5$ tgGQvhpV{iv%!p;L._բ n,wcRz؅$$BoN)Bfߒd 9ሼn'1H,]:>CuuσS:+S ~S2b)+6 YC}|cAȆ":,U `P1yL<HQࢯQLt=W%B+ ,]4mn8/0jK HpDĐAI;}應-"EY Kc__O9&SE z0# D/&BjA}Ay [)ә6([Jͱ0^d0@s'Ȱ,b[,J'+mVn}c;Fc:&lD^o&][jK iMg{-z_FX8\kzV%93 7p ИgI…Ehh؏?E!תk^՜&ʧ-C#|tg}3.6w}-48/l4:%Ct{?o[4tTt$=l>,R:̆pYz@q#:(lkZ"Bh. ds 8\i[Ž{r[-b3hrB/>T:l{/н\ʱi XRy+:%ɲq_a~h C΅m?,MtU@NCL  Qy*6Q8pT`BFh>Cb^=a[d}.KHsM(_x~T ݹ/ŕqo&u}vR 1CS ᨾb'}`}{^8ś&ڇKm+WCR7lMpS$KoDoM(14 _l!zFdiBSsKٖFoWAunVaXSfAلy=9MoWpfkeaA8K8vcx"4[y[xɥ̾1W<7B{H4]*4_;V#Qyrz΍2\Dw|FVɖMypDr kvbAq4$eb wn#< wk9i? 9@ڦwӤǘV$ޔ5R*q w 벥 9q ]}$Zr|d_ALFA^;U ܀D0=YVg^WBd-[K$LO ;}$.:]nǬ`NjZ[mUǬrgU6u·pZ<9mgd:/Y0zpu+:g'@WS:/ኈ֋eؐB\n'*GER+nrړ7KhKXґUP:ec߮FǍ2/ژGpDcO}/FVZJ-ǭ$#^.kf@g;ì_f]փ/F2ǸԂ_Vx8xƻdq<I"B eY@;nr2fTRT-0&.nў"b]$ۿԸ0Hb՘fH32^PVeٺ>0p$&*]W 5XW"INg&#\87~=6(P TXwNsI*Ko& F.ˎHnp[wl6  *\da6/Ƙ ׯ 8x>/nDi p0?ahS%?9LڶMOْhLn2hwLl YJYܠD"/YSOs ^Ym.Qs nI=3ǿ0Q+4_-ʀ醛2$ɥt* (X4MKKj)!C0FZr`M71D(,ym0"DCxU1Ad:\n^y)w1qwP` @ЭW&gмzu8H:OeBqPlTƿ"Ej#V/|DcVK@Œ_\ܗ;XH9w[ T{)Gf Ip fE* QK֙>3OefSDJ3Ҝ ;P5n8`:T H/7dIɮ28ҁ@i@e۽Tzڗ i0ֽ-epE_bl췡\HsaL!oC@x89 QIUmo762 3 fȘvFc>/-%VW0YpBp 7=E4EܰmX^X&]GmA):d0ƂwV*8}n6^f׵:YD7AA=m\glZ=y;!;T cbBcFHLi:jyzBK%B<`HS-ڔ~02SćOwF)\9ͯi +A(w@$Pe!`O-炎bKWT 0K@ , y,׺pA|:PM?32H;88S aL2NmQ5xcHp዁҃JR|G;5h6ά[idm־wVL87[`FbEmvz:  L  @|9'D )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&f`B6Um0g(Qs"ow/09q+>ۋڬr0좒Ox/eU'hkX>JHWW؛7i7$z|l&H,_ig#QɇA)Ӆof:usma&{#;b&c۩>M_)ww?Ʃ1_r/s{fp_m?roc%N2(])NNOBe716dZ GIHj39.ĝm)7b!r)񫿕ё b%epMHTB@ Pyp ,G.?jVrMJ'P)Sd4qXȪ$4VE_1VE`>y1>syF5\3j eݮ~qIAJF:H߻#g~˃բ(ꬄ2% *o[*ɿRvCXH]LxeXYjvjs5z0):+ x)ז[dkx Ll۱< i?AC)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0B)-ZF-InductZF-Induct.CombPIDE/document_id94A7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z?,m)PU%p %ǪЄ+•`to8Ҷ>R}h *.۲]=?șJnT+14;_ EI=}@6 ܄(Z]Q&FzS:H[YFhTpnے7 )Qd/^o ף_8 l8SW͍A4J>+tMTmD@9zObY43Y)-H 7`G fh\ gʞ1}=0MEj nH#>!ަZٺ#f]Wցۤ._`}~*J uo{%^YG؜`{=$="9J-04:(gyZ2v\S %I %5Pl0PxT;{gYZr@ 7# ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H!]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;mwXgzcA4ak /t w!V,S8]fge >qCY/2#n&KC&Z~=f 7#ꪙahaFg%: <-T|Mh G97|3b9vP:HrUYzL 1fYyO a U/8\돽&yZ^m2f>M@Hin^|U5 EgjE^0FÓ5=8*s-%bБ{ a>F$\+6ad١r eY}ENtey%v[(i-T밟=O?7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8>7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141=+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! B]·Iq n[:|&[zC`ɳb4oGIV.4s̿B.)A@z†䡃N<)/"Y9*\XoqT)DJG_tT=YKI1NCnʻ3׮qwœt FǴd?9kA===!+ tTG.! ]ԌOߌRrBW3g&F'[7&kMXZЇ `eWZ9a+.}A=Txނֻ+e͉?䓴B'>6wm#vD-$gz6Y%mE{3]F3R@NÇSzBU>0&.C O+RP-vLL + 1}xӊ񃽬rdTW}W|J+ 3ֻbAې`Dɢ 9@u`7!"3jpҪ#IQhh薺_IJf#ӭ#g5+-҃K4Lǯ|P%Yw]Ui/e]ՔU&`X_J |sLVz 2BLrh.c07q`R7fTĆ`zΤ-$)1Ō6<Ў lWRQ%/E)T6^KQ}3&h¨(͛X? #!9Go.'MHgJ/ZiM3ZVZޑ3!x6ʮ,T&U)agYZ>'( X I3M D&Ḻ˘9/rA4YwAP:B'5J}pr4ȤeP'j#Wh4o]d zT5X-5ֶ%]7POí/#9j`ƮSC8j؜{ޒV0^1͌o+ bYlwio8 6Ւ8"ҐI5gArO  iQztb-ѱ=SRBk7>(~ Fxb&uB\@m luwXO bo}ĝ>թB3dZ4]=챥uFѨ U[OxH*~o~M螔Dd|wYJäL)}< vt2H)D[U֬` T:g9Of8W{SlU%ha׍^qb zںB B6|OS8[J7[R\joObGx%+-;{s?L$FVQ%s/?Ea1],IޚԔjfq^A\yΆ7>S-G]QrK)ogp}6Fe0u`9qJ9r5SQ[lhw@y(3]5h_JmlfQ9LɁGyqI\`>)4Trg v<QƏvic%%x"1^ЛhG:A?Y<~n a*BF3lYʵ5KROYh%ҍ~Zd}4μTT-b9D+]zu1Ot8EE2՝@oX_9S>$j;EzN6;1TTd[ǵ%ںn{[-`<4BAh5N)K ZHhBnA(-3A 6r|Q\`'"ʋ NOTyX~/.o/k%$[UOWOzʟ" Cw`eHW",X'DPW?'|y}VBV=ٙJ)-Fv]IÅU$M 9^vE\PbTIx$0JRc8PWw>!7Ӌ>qk€Y+!~/j'{]4Y{HQ0 #wB Z.fKXdXRޔE4x;1X4܁8ˏk#e8Ck-L":-ٚox}rNCEǮ R g_'8v~J}mDnB<g4O!֞#R4lo4!"ast3ᝧ^"a 'c=ol~Jsb7b!mx6rʫݸ[U`8U5╨-S8^/z[oiОu'zƸ_GP<{&uA8}諣볁Ipl-8q mm"_f>KbL~Hghw Fl"FQ,T'[w9 33l VR=D4LBF)ƔF^_琯n}|){$އ0ы̶˾ѐܗuTS !A1PDr@V8.ZP!ATÜ:s' ߲'ŢDq\,\m(W;j5!#e`/|,5ϕףNQۍ{ĤEnqBϥS\+6"7ZTx# r> |"MXyR,ڪa d學$+[m[:7SS!&VB>J r7|pC>)A w.֌Mt/ڒAX wVpgsztnuJFy:Z"mj+U= ]hfU\ W.% n`u&A84h܄"$CY jbl2E6 zSټȣz\ha1Q oR<&Ħq$#|9^4bQnV˒,ے-e]$y5|}Īf:3-G;ArÃeˌkFeֲZ$^a)` xfb$X ܈#k* r-Xdًeex :6WQL a 6wz,?rIL5"m}i\49>9$93GFp 1bt\dTY~_*I!c͆c*!S@xVr@^ݥ$S*˚~.;\P[Iϻ +w ex8M<1uxTGuu }5Rf :x+>p:X ض?c' 6lxXdbxZ~[b9fGKa@ҾANEu|02 \-Jn8J͌!c4DU[0RZNp #s[xa6OJ0!:r>Xõ`QUegDv[}+g܄I/U>aVlte=oF< 8T,̉, ~0FۺI3(/9wOϨ9dURN,'ZߗIvD%HG(8y]J o|`yL=٪e4{/E'[< #\ \ ׏&U6a:4" f o [%⯈/VD]c(rp.F Q xf׃° ׽bs!v+a*C?nt.К+}{ys  hD]Kg2 W(;zs?BR~~i9;=OBrz*1v8g}8vP/][͑ͤ: odHhU󛊉^ASIsnڹ2Twƺ(w30YbmŨ ]r{adҖJyڤA-tqҭHY.u\8S^=B1ߞ7);|JD)y$ZgJ鱣G,SH0_k!P0WKeNS?C[F/vO=E99zbO3';NuؐkѴMO' hk)e2o^'PAI2mLzyk딗4lkkRddEzJ&l~(|ZX+kY8 ;pyJ*N͹l71 -Xpsy|RZ4F"س#%+ǿ_+:E mݟ.k]rvabbfLNIҟ]01e$2h0NƔ=+mvS[(FՈ2ZPǃzSE?e g`8i%){w"8^Nנ2\~. Di~/Y}6xQLtVIWkݕ Ťخ}O+#t84cfKfC|ܿlVX jT>A'J[fTa'Q1pvR:v,>*f샏!u bG5 (tOd@@s TUi9@wT`vlsdP%ՂtH+aYk4Ҩd{;wFZrX EJn =) < _sP8$b^*#ݜH@ I[C-3M׏><$7-a='N3 Y_ؾnX̝G~WaN'N)>t hF6ؙLfsE(C 2:6Dzm#?W@=_}2w~QUaJ/H/Hw qghbR].Pƪ8R8sc~ Bka*{>CpK[Y+jyCB&$w/`2=ʁX"k)LXąyE"=G=HB^[Oޚ 9 ?N@L4PZW |x 翑!4@ ^܋PИ /ăeufլ 'py * H&l(6a9" ,{瘵 gлL‰J(R_R9e zx~g 3vNǿ!E͋ٻk/6huXQIޣ\ԶEJs Zv8/#4 LPt޴xfxh%Xzy<L\TUw-9[ t0fsJ@6I_ϲt}Kw٠*[acLXaqܡD_6$)ɔG^X#N0'D`m Ʀ_'ӯ{ r0&0+ ltdETo,.<Δ}9agpAcR灮4Z J4#dnI0D &STU{|`!4bFɒ)!^s(0=hi߼0|JgH+Ϭs kZĭ(MXk3ԙr,ZH"H)~pnc䇵JÉk}^}N='J=-[cqZRBz㝴C FfZ gFtH)'1hAB}?4`TVul)2->9C=*bT}Kҷk Rn_|MO.J?U:`ʒC^4}K kxQ # -6i|Ѿ]5ӄgͣ틗3J'v2N-j8DX3lgĽsk nD8rTp!>a9AN{DN 2>[CxܒG_y%ۖe%H߸ar`! F6RXArM!;7 .%l*T'!W*=s$lnvh_(wBCHp }C^᯺!c.NXT~mU{Iӹ痱.F0B"H7c,s|T n(8|v9 *g'l3={̦=&2ƕ܍j?*sQfK;@K=3%揓qQMʖE$ڄMW1vi)5IB3!`2_>Ϲ4{+p^[x)LsՑeS^}N<29'x o?HX:?OM5 5}gdwlf໳C0J7&o{===ZN6y,83pb|HC]vw]dtw0~yzrZ~ rG*XRi-f{s2x=,, **ޕ=bЍS 3 {Ql,l} ^Da[rY>A#۔Y1NćH+_hp5TSyFMэhÄNpsLtL<}VM6 ';Rk+ڑpVQ[+^7[p?%eom3 StS|ޜSCyj5xkžBΠ zs`5ncK }+騽=d#H7cPjxXzOj<#zQBa}N 'Ey@8 z^ t,iDɬs gYZ@,U"Dm^ 2$utRK7U+h(>x]7۾J\ ^ ,2RU>Lz^O{9t#ί>n.k(nQ. 68V#dVao`|fCPv_L|;s¾:-(GR}mFCdϣ6^Efk2f@kبPlv z"fp=xG زYo/HGjU^[W~绻;α ̜?.@n(eO=3쑼=hD'al,m֚~K|pk -; )E7|CDcjZ _hY껱&<.lūl1߸HVIg|w7[B+;m *msxd뇘=}azFôi@ hfDݼREπAkĚk*òAVVU)uzK?tto4 HW#4 -yģh2XximM֝1ԚG8u@*IۀZ҃}bt6q 83~8P "t*x gD`g-8ԧK [p#}܄kd#߅vWy u b.9M)" 1+2gLgmPgm+e#9+CY cޗ^Qs` `㉏(9/Lҥt.W[-S,ލ5 |X"J$&2$C8䓳t*4@kb5T}feA>Sӗ 3OdT|^Nq?NdNx5+Xwu] V-7X@J*/^0 欲XhV!9AVz2m^2Cxc;1I.TP FdW+J7S2"Z*Ǒx&ͩVnfP8>4CkHTA)¸d ‹HQzꕄ`+Ύ;Sw{>,YThښ||7ю|N30sf{!y,.'XYF 8_3d%#iS9Uśɓs]X,Rc r>Oz9>$"/}(Og:~Iٌ.;rb'&P a>{#V13[;YH<7h2_am=meeȿ9lqAʚMXSA"%G/xzs4sjXhsQ<+yXɕ^]dClF@~pj넓6ǭcP$?{e<+'J=΍"tThgTa {ZRَ&5@2;5 f4{~l8m{X?,7;&dYqXJ?"gw>᙮/+u8|p ٩Vm v2${ފewM㋭e<6`)':<.ʼng/]QĆVNf.ڧHƿ2FƚJ0Ŵ0/ͨcuYUtبk?H&F^ҁ8tQf:ױ `w އ*N_Kb$q =ϥuA MDKvyz NS f$Ӿ?0 i"HޒoP)Q%M+7<<fւ  :Hof@y)NAz;H{a(S'M<`Y*ҏc>?3$l6L6 59~h0lcL~4#!ҹUp|oh{NEKCRr". EJ40vG²B3Ĉ BE, Ar83:5`M9=oZ(jnl FB'㓡٣jgViT/sJ/{6ġioD4ֹeX탸+|l?;X : Ydvna|M`صЈ}2p} WԠ;wN#8`9|frMNl[d0U>B+407^ݏSnlki9) %pt![F^Jo1߅xc3]_3_NFCd%s璷'cY(ۂQ^-K/6Y 8IQVR*1=VY>o/f0Z7;+ 3,q&ÍXϫ"UVbѸ wt ]O,GL4EPֱRaX4HK[\%l =5.Ds.b؛s52ٸ0' mְ{߼Ѓ~[$fm 8Ffuqy^>{BxPA!i A+ %>WOFY(HppKg!4ҷcaR^.13ϭ*ǝjQ YIF݉h(&|Cf:oZfo)zJ/1a+1enV+Dl#V0mcs Up JV&ĖY6FXVJMˬw /x嚎 i(q _$Ih6< 2YWͯn$mp= 4޺Ԩ `5zݍ-:.{%EsyWl?huYBޢDEqUтkUZ%GvTLb4傓L_<.*<>~(*!/#:ezby!QmPn]L|pљQ-ĿRH-h\W=NI$.t Q `*Q!腶&i]ê *XR!] Uq5kCvFUX+!SpD-][olI(-vn# R!=m46.!,fJdYWB60 x&x3w{(a({ٷ h)ҳou!NbZ4^Q\{^~&=SvLOyb}1Rlll-kD6s' Q2nk{B+A)=A=jRăY(JoAW߇,hϨ$(=]J߼/'Ev'ҎGMSR88 Ԓo_aWl|Y vw& l?O{7iMOg yK@q_{$6;-8Zj6hgҴP?:*fLNha| ,k&bKUߍ\Ҭ P;7+s/  GCW>ݼ^Enۦ̽(4(YJB.;&@1f [hPD=4XEvTidZ;|M=VIFi{!JHPEtxIwv* H-/8w /Gưo,< '=p`aT2X*KK6sӠ pj]Pi.O81ZANxP{=l% 4 >hfI1RLN)3[d` tEI7 {On@r\j>jg\휳eM܉n %`O׫.62&^ZwPTM@}xRd`5O&7\-_dϳK`LY/|db="bȡ7̎#;I -9]x8&m):<&L 9Vt١+͂(~ENY`?Y\@>Xk<"[{{r"UBfQyZ"O]2#v[ϗ&Q0pJV#T 7o)A5@ߎhM@^IX<O=.^н>"7hu<`ac?/Ϟi@urq`\وF3tl' eP")_aE~u4j 'X*7<TBVfRVәRI@o*$v1kDH65Wm֜V3x`ӚGr>K)L%ؖ=|G k>}y섭·W}MZEU>{|6% `"Gfu0ruW=툨1cw^%- Q?4JTM@-T% 9or.L8攲NC3|dɎWV~l'}P2}ޠ++=D56|Ya0_?t5fQ-kcI!Rb}=ešpP>߾c] T %laHCşJ[0IQUK0OL}WnF@gƀ(Oů?*%jQ{Wq Brxl*'iH(C-Gۀ@Iwш)=,!ONf1W k}?^jSA3 ɗ1M_⃉]8<hۭ;[kbBfkjjF<\!Bs\ ߇'%U:Yη<@ }A=zJYb+87߳ŕ^j:$ہMdœ~&_C+1taa g%0pcݸ2=do/3 b[0uݶx~c+Zd,3};MwF& LAj-D9"9ĥgAZ37XƥK,O2Uon.R n:HA1ޗ8HfƝ$NvhU ˸u]<ͦRʖ_OtaSCW+QnczhE^ YPa)tOcXrH- !,,}T=?} ^凼Xn\n̏2{شPg;0ܥ~Fq%奫REU5Bkv 薼GNw{#pFA ;6P$N $F_W)-ti6Y˓PuE30(en)SȆ.c$&3w}hJ E,kmfM!3:/sY C c wZb=bnC<& Wyem%Si2g; }VUVsp LPƚ)$jUc_@5n 3\+09|EĦaAZM5{ *Tq@q趰F(qMI*5L]=$QtqD<֙ Ta%Gh-ɲQ7 & I$] 느r4ʛ[xwԠF]u_OW~ڱ7jɑo\-|.=17L_မϋ*31.7E,^/j"oT] K7#h dv,i Nصsz8&[$cx'46Ū''Pdr_7_J"× f+kuYKoGv@?qRit[NHϛ2^U<T=66iE ,M*&[ե3.r)#k/ u7`XEq}p) }Nk%ir'|Lf =  h3;8DzLyczoTJܧ"*wY;XjuQcu1NFda|ǻ g' at _ẝn}\yMZT* $M nh~) ۤ.k5(CMR )ra ~?N%HKVy0>bv({Y^;UJV$6- zZƲD's[.o(K,t\ꕓ%Y)+ànqb~ny8<;7D=B 5em$.yEd%,q~"/:2D7U~5ģP6VFMHTTW~>Rb]+iplW=AU=E_a/gYZ z )z?H'!z~o|Jx@[^~ܖS:?Bͼf^k{&ot|N%5o1U [+H$[3>wzr XBS$WLU_$x4f'sbO@(ۺ' EM$VX-_~O6g*])Cj5T&@m4fi^Ƭ>]LbEpҨsD_ rMk4ZYv -e%~&:@y( Ë*a%>;@bUn 1^g ["IOHu yF #Fnr"1}H )5cح{H-jY"TzľZԢֵ]q[_Mz;/!8;{v 6WC4rƮlu(?! #8Vent+#ioj~𧻓 {dRR33o<=y*3!:c\ 0Emofi IrpD"8ŏ쫫]}!:^TipHro⍺Q(A1zxޏQ#(h) mD;jUB$d6(,[3Xu{4F\1x"Mi>O>с-&p~QCo):f\Lp ^@tZ`̑b^II&7BH%ZLD9|N9%\^L9o5rZPm [b9GH#1!y=ڕFe=p%)K*sঢ়얮iybNgis8rJռ.$jvn+ F#.] 4xst4{N*Uv Wjp]!0_0P&jVrCM'Z;8jf:-\Ԓ蝇0cv3GR|[aCo+7X^̌^*q0\ro`eIm*:Evi4? 'Ֆ aGaG`M_v#`º\W;C:&Nsʡ?蘪'yxMJ4gA|2ߙYm ~P1WegYZmI'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗWLf(qsXic&>iwR8[S;D *B]|S_uNJ0Cˑ^Z5slǡ 88enb:`B"ʆt*uOAlo%\n,n&}7֎3׷A{獕V~PNC^tuTՃ(QcTEӨҤ.h@_J:Fn,!]e0}TVW+j/5S\}uS8lZ+/Z3|Mxf6#}UtkljX|2h2X1/[מ/,4=.En)仅9۝0*/EPBAi 5Ll4[v!(pmIAs X$NmGc "?0<C4UOWgTR̟N{BxԂK+ !tAqŜӸp 'OkDgB#<:XoUgw+$REǰSY), QZ$(@39BbMɴ-Yv'3aAZ5.+zQDž/őiI [Ȏ;>9E77Ә~AA#MT^PO 9>1IkN}tO/eEmXpy茯F7ag|F gg[Jܹ-ow !Iuϱ#``ygt[T5;k8M)3\=ɜj0TnYN;^gD2_(;Ǭ61Xo݊xDZ}D/0VAm3:Tf l wasOJ@ɫhz9agx7;˘.Gv{ˌVeXC_|[F.E?Խ<2M4حニAbQ 5<jM4z؉o$z'G-ҼF̃}/F3k/>@{U{MYveup| v/kC'_s|98=Mqxi|TkS(68IXH<2fE E_d Nnvyf$`V%] HP7o.3UW_'OpDܬFRW >mYj?-Fa:zϧ3zcğ`r8]†rϟRIÿ&/#}QrU䂴A^'84P P1Ob)~f8b *4X@/?9܍慾l:DĦځI<8pg 3๺PK!x*s])\\枪QP ї<XީOSS0|_k xXd.2 KG0p`*!cz67^l%{#||zȺ5p-۱2[{;F?>Dԗw=!i].d &R ٷ"p.~:"?gуKPA ]qA(bd' @z !m'ݎ\m?7Ţ[0 $TO niV`WM ,bhO?xkꘔb1T;z24ݙ[+ofmO$5`B;gmQPɤ+Tʂ>n;9>M7nHJre3kGeZ*IJR,Ssï͊d2FV+vuJt>ɶ F2Tp+9x>k\p7 q[G>ϥwc#۬Xx6/H&TBe=YKGⱑwJAʡn1 ;nbt࢓/>o [^h=o49CЭZgO<60)R~\;e1 yf8?P!jݘ⥶lt=]h_{frwrA!x Μ$*犟:g:>8p>``K?%'S~ ﺍK<!3+uۢ~u̗*p\|o;o_zb1` P7Y\ D=WZR 1$[ Mi?@]-D,Ud/Hlq6zR'Z7$c@V# CHbyؖaEuT(•ID$Y !Y r |h[9+d7h_\"p#:7ڬ*c̀0 uKD"m#eSB;V%}7H;?Ⱌ-`ahU_*&Gѫ_5:F0Qr6*i͌}'/4lm4ه5;l[ꗘX%olƟ4Q2 e<$6a}5ߞLSǖ~ c ϗ&LXo 8OײD$@TMxhŸ́|בyIu.̐GAȝ4IȯLb:&#-} -; B ]sa*8ǨT]bnZR^#EI yzDSpͰ1b-+d< ( Xn 3yn]$p`d]' |\˳hwbE,j00b yCAZ+ wvBm^X@tzҬw3C+(G±B+H-=pgYZ  SO/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nc]·Iq n[:|&[z״.RjLAb虈L-N ZtU70 yO3A ,ivbV \w!N0c1c(H\F} 4-Z8w) iL.\houc$^.y$kT4_ h[Ҥ*fЏaRN1U})ujYA:Y5SQ|Tj@"F0Հ:MaQs4sDj`fJ o K-nқZJ|߷&_G@)=kr?ָ-CXkV+EYXʑؤ~] Uz5 : u%=lBllS0BgpU!\7aR2B#q8bllXk>(W]S1DM۴CkxB|6]R(V/p{N,msmI ^LM٠RG%)"3%,}kFlz9[\2twlۯ!'=O:5打}.\FGm\OmJbZ8šQ _>G60Ǡ r,0o.Wf~TWiB`İQ hQB2s/ {{ O:ʴ6Fi0㲖/<55K\֣mٳ@FJRu5W_#p b5RH ɭsC/R֕]hz #(F /:(xJSU֖^N%cԍebG$kF>y"Pg"I`NbeYFl|ʜ W`,Jߴ!Hz5*0-L\H!~k;g7ԈWυ9Eu't29 CTG:e1$gY E[fr L@}kPfı-, /e&hZliX ӣv ĠmyJ͗af $]Q cݶK|Ы1 ilsS ݠ0۷8C >gYZ2N /# ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! WvAA]ˠ)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{3aw!G-3һ b7J tfQɢӱzOq~Nz3o-nMjZ"dP2;7>/LF*. 2;\K YY󄓘ҰuDGM/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyEy"?r0ξXp)wkݳ],?^u7 \=R!:mJI/ 5K׋[Ee;C߱D+N%>}JȨiۻAB|opʙuaZϸ Q:|T4\03u|[;܀LΪ!^_֝!UJRkX4ma&]-XIȳt!(.?:r6~CD;@階[!XLTL9\P a&T1lwV̪,j R,]+9),jā~q\ɿ.b  tX.ke1N1u=WYi@Z[;9h&[(VTt/hkylUV8&;Sʘ)Țh+|_uZgP5DY3q KYIg"qlGOny :ڣNMi Dsy|W0%+i8B(aT$}㛝~Hl=($)8GH&$ 鱽zoij􋱫?z[u(VrYsPY6Rumök}\AS3Ǩ1^[<}󧉜>JT9r ˝_$zĢt\K]YS;9+uAGP>o1);^+ 򉂮1$95%tLiuW7J' Y!6a=Q"7|LKOve=85ń/*^7σ1;P"ۘ/8Z{Z{El4e HW$Q 1b4mS OSOtZffXg<#a"KF-M[]j8Kv bœqE (`]fmuAtZfqCyz6TiUNcNqKm&m6 {] ~9M6D3H?HtwMDF/" 'sQmV ~ji^\6.y]|cQ6. @#P\Ğy>**!F!PHMWa _q_FeL+Zv`aJg9X#^#r<:v\]2C(@,FA]u'R& (H ,,*sZW$JZ躵eaOG7W'@2Kz QW!#qFhܑ̼×-_jit&iFǾlx-fan.9Ѧa3mӃ]+) _e\D*7Oc2$Vm{Hz'G0?! ,P*!Xgg+}BL3  ͕? fEGbr^uk=v@s=4-D3$^ !1e~x,Tl|I[^kB(N$}n"N ̘}k˫̵p@XL@.ą^SI;2zz:` KpcY46Eq>e+k]Fg(vԩ̤ofٛ E7M=*%֢gMi{ C<.-(/XI6SQS]dπUu[c1~c ծ%}ҬjDyN0e}w܋j)Eu>IOwZ-N>$Pb2( J8'ML \&O*'D+܆؄Whls6Œ }ZKC3 K0 Cғ|;ݭVG%\ Ӻ1bҠzPǯFP)19ټd+fHGNKBQ}!@귬Cj=&Dʭh"ЖTVE^TZrA/s9)5E+&ҝ!I x/~^:h_xbJRI~ƋU kU"1oTh35DLZ:?ѰFyQ:fG" d(' ڞ1E%Fv1H?[J`:4}qrlJWfl㞽c'vgTt̓`:ۙ_6#(yᧅCJl–CՂ#ÂQ#z_ՊA*n@+`1ץckzYM%kp+voGs4396Cuo\{ttv. 쨶~X"9\oGD(5 ;C;!"TD1 IvsAPNԂ*c7ZI;i8c՜M~:QqhY# l.*l|>Qj+&}iof=սSG <1Ͷ{4+ld4>@7vV5*"tor,йe\d4-𞯒Kqhl\kjg.摫tQ$ly7:fy C.Œ!wPMZڂڴ4=p㻴L|+  Ht*;vE僩Kבqy28XDT|J3/2Aj>f|Owó S=C,wJECzu][?=/]I絽t #?u0l#Yha24sYjS͋oW~7o>bz,VQi[BD.^gp:4O$e/ݞ-RoB/uh:? \%oUJnV GdIJԤ.ed< kjT.at,Mڅ΀ӹ`qCN#g*{[o QVۋ *L~$5H6]w[A!ORNڠF6~^Xz;hsC*O7Үfd]4s83rw9(rf.+Ws,Iv~'(_ػI ȕO!Lr{\щj;tjyπ CW܇tڑ*}G,)AbW(EiǢ ҉$RK˼a`Z Q]x JXH+D-炍uXM¢F8dm:w]p-ߜs:E`+@OܳL XC,9|O$pj &h5*59:-/jAPj-td }swaXnSlHc+3^K#_G}ja 6JL [N 9ٙ-^}+nR#ˆ'[BGmєZF3Ҝ`F [M;J\ğGb5 G$UîsJ#8I; (bŌ0̔xqA. 5? MZ); 9oo{o6k蹼[')?x85 kq\!\,7=䇀5I˩+) {AF5~[3q'}aA|NR|Yn/,zwh_s%,־X9dsxw 9Β5)!–Ò7$Pu]rmѨVAzR857U\y8 9@ZK-4*X1$2K| =MkGԘ hsgIo86R쒸glď@>nPvt"ׅ͞L"=Ԯ rb^&H%zj(<(%EuGXtt@s hLm7llhpQHj ٲrYSN rύOid\AV.E!J3]`m3S3\ %ԫ4Ԣ?Յ曢hhbRvc'!"D:z1swXLBj2šڥz=vy4V);A[Ӕ:|t%7mµqT|ns+g&c-[ljIH?=,Unİ~g"3U7}& %V92a8`Qht1^j1S(-h+NdW1ӁZ'DA*IRl "aV ($lT#,;e4tC0v5@9~<}Tfp0,gN?}g#.~.L=?}Eh҉Nw0d̃ >Lv+7VA,鷰QsxLm$u2uGX^H*v60ӨgTbu58蟌Ks.1>T|=ulg3.c8IJLiUDn^Q:W&J i|*/~OߡqnU[i׷qSTl.8%&rwbkۮ:tLl~.Alg&Y [q*73jp[3ܡx{H#M?H>P ƾdžmfobsk(+Gr|Bo 7[K ORXfW#?Nzp9;x&} ~Koq-8$`h#;\+M'LꩤB E^<2tUWlǾEvJ9/sWw=B&G!q2v@)0: fœjV^Nb BLt{wvoOL̏V>44.&n71/i?NKOD(Nvqʮ O J(SV\)V~im8F V(COTX[r7ְD9=J߈S]إ8aqW*0v,IU?[T[ֿ99y8OO2M=6=폌\ 1$!=FV,/1_Y;\=cN hdLL n8pK)'(GutERx(3],څΪw0L.G[dO-Ε٤yCǺ(Hy[~w̜ +zTt+p]IGu8#Z vv!f$IIlK_/dչ!`/D;1<>kDA 0'$ZMyk]lmW@Kf>l8diD@C(G&!@Jh:MuFH;rwI[f] M|壗+KgZ r8±<KVp1_*7 Jnw>>PA$ug(7J/Acϟ\ȍ,>qbپxʩQu(\ÚJ{سIؗn9:@ X QCB=fjUӍ04b/j/]u jk0/RE? FX;Dqߵ^O|G`EެL@(΀[W[n՛@+CZ8IIMX9 Rjiљ/@f1.5T3V?XeZwј,'/ /9P”8Wel=UJVRMpOAj_s8#-q-0U r۵Aȿ]j>vZ 4؞p%awK!rCIorМBn~0~orr&ѻs.Y "0,u|aǂwE>|4ho\]v)oƗ,ުUYr/+ F3|jG3wa 9MT7 <%]P|׊^oGl%D۪4ƱE8쓈3:Pm\Vari"7b+q:bjҔb 'ekaQidf,[(x5o0ԋ=l8s; B-REMR'Z(%wvAT$43+<ڷ]phd8mU*-",@}GS{VQGd^@T]\{)9'9 "[*1]u>̔]Nfď7{MSi؁+jޠ:g.b{×u^g1b y'ܟ[}LLTD;O'dfo ݌\'W*G<_m| |Qh])#Hl),0N>qF\;#^Q)cQHs}%T.)r$mXwU3];8^ w[N&u'%y^e|7p:Vu9TgQaC Ead ,A8`#v!-- XqgI6<- mYN10NE-L ''t *'LRKqwvVzZ Vy]PAG]˹Er7-S oe\$teaT-6E*v+Ո0tσj@6j;;4Y)gVE۔:Fa֭כdo;G@O/Z[z͝"SO:I>;یS׋*s_W,XAjob2r={JØMAa =c)<80>&B}/vTOdLG h#x؞{b"ܽn/cꝡD@:LݒC^T?-X~C5ԂWrW> ȥ>zXt(0\ǀ;|M!\ϵM̵V8'_NM+Dʈ.bO '_a yolz)!15J|Q3ri_.3:K˭gw7k4epTڷf`SH҈8I2}abb1 Q˜ + lĔND'-bqVز>462?NYȳteh"Jq?tUS&,95! S<nSIWQwo=]%)vCVkc*&,LD+AɍT=DQ| 1B*K|SG Ҍe*ȫFp:6s{1ܾUmDV?{[蒌@_x0 d8]=v|@u6{v 4CT YO.x6͂){($YAlj x:e5`߸xߗt 5&/7?rUc=ʭ:gb 7:ZDN#lPbz%`j,T qTd)PFvzP9S*Rl*Ubvv%`c.(o{,ocilQC8Vc2J2dAހWǪfHeWue5sv;#veqWe ]Rx _U&BRRu4}L㲿|W~Zy>J{>ҧ#:Տ̇A^tvȃp;!S83u[%C[$ME!Xcj'%T+~2=*Er(G.mڀoD-aV&ƹYPWY.7YԐU>NGIn վ/ze`ކ&/ТnӝCف0~vVL~ZyxosHJӎ'!ۣ'YŹEjxOl+eD3=tMK/\g߁~saVaCDT9J1 7r!+<a{!%w`nWsuGkƼp̄.\Nӄ@*u621ފrm ' "`ɑ;3[AgͭEcƆsNjS/P]!lIggRjp$gU'\#K@i`j2!xoPsoa\Lljߨ7MG[Rlm :<L =^}J=C4m]<<̢?[rcF¶UXRL~A2)`ICzJ#?j$RT4w(6]xi_85NY0ޓYV8dc]or]:sF1꿿5̛dԑGcy"tL; \Pm8=YpK#O..`d"N$ V`:Ve`+OsNJ`IIihV^xs̄3TM@dMMcIP؆ T4o̙_:M,9uJa%nA{I& .F,Usdp?S1U/wBIRJ`nSTe6/2xY%"P.+2U l3Ƌ|ߔ FGJ\y.ƫShÐ nF{w9!KpGP;RH) bZN۲#M-PER=6O*:4B$-vT UN޸ mpA|ék/G`5Ѩ%sak*zB#fR-G><˰U湲9taYȪ;#>65$T" }R[^ѐL'S};s=`",f!(SF.";+%*k2#Dg K鎜(dMx!ZMp0/x?Kؓ2N|Lumj)ȖhIYP`׊ e\U/~su wHU_=*Soc۠k2_&Je9pVIn@rN8zDf*>iÌ\'p3[Jj?TelɧFoEk f,\蔜hgDM$OIy/~ L`<\yGߚ~Ulw8u 2vU) c+ S#>ڷS'QjzqC8y~v*UqY@rr!K) dc94gڒ|XX`x;u J R'9m,j} biiح &: iel&!bCTbl },$XT-!N4) 4UვiljoBV;y .FtPI^~4󮕟]gF\$O$& 1$4d57j 1c0,2J%sSd;8n"*fDcrM> OrJw~ ;. Wsmv[F7Q_}ݑ#34 aL,5ksSkZeWҜ3.v#$:,S=r_&XvrP \]F:o}L=\OcH6)xZOJ$j-?TUu>,AE1s}z R}x+r_&7}zN:?;|Fή`=NdCKro1MyíkWU_n].^]XYA;fК L6#}/uw z$;A`+8Чzr*ӚEw7}y;/ӮiB\}R^m*^dGA^QVVCکtPH5@Pޏ5ܰ 5{[ raL4[[yVx,uf|{ݢ}w= MY:,4L'O^xc%*iUР0);Q&!~~ em򅞗\vrNH!~^~QGcTdGwV,↯lj;*]u>1hEKJe[ȵ/G} c 'bHA.[:%]w)*D&rmp뾳j\E.&R0{^qM&eppR(h[C 1A/ lG2]DZ70 I g@]!%:c㜪F@ZK Nܢ>x? 9sbnq2^8jZOs$K"ڧ9Nj@?/Gsu ja;*Py?Y=^ >(F2o!r.X!Q G~j2K2)c1L+(nSfs5!a@Y8'fA5|:;@33`O M |t E_2>I`ևMX1(pGg b( ?)r:L\xk[ܽrF/*E|e4y3(W=d<9$@2gfW` '"f1z\M=*P4dp+z4`9 DwAQ6ĊmI$St I:~O ^<`piğl# t*,|fb/CNII-l[G*"d u@W`X(<& IrN+6ig@_BUlx nYZvjD|PIVav`ˢ(DzxXױf]w|QrU*t b]n[H+0>A.p g?T58/x_.69n7so< o3-1&\P˳ ;WP~Ic|Ǔ!nfOh0_ZV9cE@yY1 dφ.62S :0,j(ky(nwS(g@hpC@zt ;\\$~LϦ+̱ .X>i L hjty -.-3 Ԣ߱cih$-Gu%+Yg <)lYh誓1U_\2Pqx}DzGO6-bX=\ߨ^1x׍}9I Hi0Agj=F+B׹qeMX5aba;"$zr&j.CNn}re#oL+$/DGs_=GjEּJ.x"D<;uŐ 74l#럭c,D UBdmA|A<:*! Ç]NfQ߶å4{ Dcv7_uvŐ*}Cm6ǭ 349Ɋg$HxAR ɎrpyhAyN8 R<4~qlep:>8FeS2Ծ~6|G@cm;(Q ZȤ|3Yd 9rh4|:,($tI6.g΀d? /< 1P]Żu G0bބިyǃ8sI?Ho}PLqhc m"npSh:&FX~93:E/w!TJn6Ә7@?%=dكܱ3_՛iq-Dy`,s1lfфZ~A}4ЅdDK6VB ALO`ToMfgӕ#G{F,/kus|,ݹ~k Csjxa';4*zws)Ʊ иﺄ M@Y`YrFI |ti rmfH*1D?e1'X*t׵Xur3N5颤KZԮX?)"ħ<}LeN*+ |_HytdKB &Ek@F9.έ?Lv}G˜;*?ՖdX{p]N$&VUDYǢ( |-LxGc֐|S4F EyZuCd #ESrlZo X|!;e 0ef$ ^HɩnVj5^pk!#-]nL#$_5Sn_-#[P+LVގ8fxԞ/6-$G9P b[6."8J`8Ff. ̘BzA7 _f };?Lϖ/~5vB볁7 G)ѐhcNqvr8g$o!y\~),!|Xet*z[D %"J "*h;.݂-۱gYZ